% References cited in https://agora.t9k.dev/t/221/the-double-dimer-loop-ensemble-converges-to