Four predicates that look like they need a search loop, and the closed forms that index them directly. Every number on this page is computed live in your browser — change the inputs and watch what survives. x = (k² ⊕ m)²
⊕ is XOR, not exponentiation — that ambiguity is the whole joke. All four machines verified against brute force in-browser; results shown live in each panel.