Thomson $N=7$: certificate data for Case 1 ($t_{ij}\ge-\tfrac9{10}$ for all pairs), part 2 of 2

Initializing...

Thomson $N=7$: certificate data for Case 1 ($t_{ij}\ge-\tfrac9{10}$ for all pairs), part 2 of 2 · Prove2Me