Max:
Go
PĆ³lya conjecture
First 1000
: Green height is number of even factorizations so far, red height (beyond green) is how many more odds so far.
First 10000
(warning: 100 megapixel image!)
Efficient
disprover
[
formatted
] (and necessary
helper code
[
formatted
].)