@lore I love it. I've never looked at Z mod 2 equivalency classes in binary. The 2n class would have binary ending in zero and the 2n + 1 class would have the binary end in one. That's pretty damn interesting.
Superficially it's not that impressive but it does a lot more than it seems to. That's a very good dive into the code and explanation. It's textbook worthy, really.