Submit a Clifford+T circuit equivalent to the reference mod_mult_55 (9 qubits, 49 T gates after standard Toffoli expansion); the sandbox proves equivalence and counts T gates. Baseline: a PyZX rewrite at 35.
Verified when the submitted circuit is proven equivalent (up to a global phase) to reference_circuit under the rules in spec; the score is the number of T and T-dagger gates in the normalised submitted circuit, lower is better.
circuitThe optimised circuit as OpenQASM 2.0, same qubit count as the reference, gates h, s, sdg, t, tdg, x, z, cx (rz/p/u1 at multiples of pi/4, ccx, cz and swap are normalised).