p=2

Bar graph

1
2
14
34
62
64
126
128
192
254
256
even odd f(a,2) >= 250 a=34

p=2 table

Click a row — its certificate, the exact witness list a = a₁ < a₂ < …, appears on the right and can be re-verified in this browser.

af(a,2)