Thomson $N=7$: certificate data for slab 3 ($-\tfrac{24}{25}\le t_{01}\le-\tfrac{47}{50}$), part 1 of 2

Initializing...

Thomson $N=7$: certificate data for slab 3 ($-\tfrac{24}{25}\le t_{01}\le-\tfrac{47}{50}$), part 1 of 2 · Prove2Me