% References cited in https://agora.t9k.dev/t/278/polynomial-time-unitary-synthesis-from-a-boolean-oracle