exact: 7 vertices on S^2 with z>0; all consecutive xy-cross products > 0; winding number (L->U count) = 1
exact: min z = 0.210202, i.e. max polar distance < pi/2
signs of sin(tau_i) (exact): [-1, 1, 1, -1, 1, 1, 1]
signs of cos(tau_i) (exact): [-1, 1, -1, 1, -1, -1, 1]
l0 = [0.788896063149188, 0.788896063149188] (w=3.6e-66)
l1 = [0.520324652473502, 0.520324652473502] (w=3.6e-66)
l2 = [1.05970907262991, 1.05970907262991] (w=3.6e-66)
l3 = [0.498849449922445, 0.498849449922445] (w=3.6e-66)
l4 = [1.00774788405809, 1.00774788405809] (w=3.6e-66)
l5 = [0.29146338185853, 0.29146338185853] (w=2.4e-66)
l6 = [0.660047704558384, 0.660047704558384] (w=3.6e-66)
cut at v0: certified proper crossings [(0, 6, [-1, 1, 1, -1])]; undecided pairs []
    determinants: [-0.467473943385663, -0.467473943385663] (w=3.3e-65); [0.0515031890342307, 0.0515031890342307] (w=5.2e-65); [0.0347682870378404, 0.0347682870378404] (w=1.1e-64); [-0.484208845382054, -0.484208845382054] (w=1.9e-64)
cut at v1: certified proper crossings []; undecided pairs []
cut at v2: certified proper crossings []; undecided pairs []
cut at v3: certified proper crossings []; undecided pairs []
cut at v4: certified proper crossings []; undecided pairs []
cut at v5: certified proper crossings []; undecided pairs []
cut at v6: certified proper crossings []; undecided pairs []
VERDICT: cut at v0 has a certified proper crossing of segments 0 and 6; cuts v1..v6 certified simple: True
