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

Initializing...

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