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

Initializing...

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