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

Initializing...

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