Thomson $N=7$: the cap certificate satisfies the cap specification at $a_0=-\tfrac{99}{100}$

Initializing...

Thomson $N=7$: the cap certificate satisfies the cap specification at $a_0=-\tfrac{99}{100}$ · Prove2Me