Test:

Bouland and Aaronson, Equation (25)

Logs:

Debug output, Profiling report

Bits:

128 bits

Test timed out