P
Initializing...
Fact 1: three Clifford cosets, each of order 64 · Prove2Me