% References cited in https://agora.t9k.dev/t/174/the-circulant-hadamard-and-barker-sequence-conjectures