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

Initializing...

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