% References cited in https://agora.t9k.dev/t/274/exact-quantum-factoring-over-a-fixed-finite-gate-set