exact checks passed (sphere, z>0, gaps in (0,pi), winding 1)
l0 = [0.7888960631491880120775656435139967464949563008579334952, 0.7888960631491880120775656435139967464949563008579375043]
l1 = [0.5203246524735021582669539014359437901867985127339971065, 0.520324652473502158266953901435943790186798512734002452]
l2 = [1.059709072629907850406866017935868028899946513597723374, 1.05970907262990785040686601793586802889994651359772872]
l3 = [0.4988494499224446746552389276279371777765208950010343761, 0.4988494499224446746552389276279371777765208950010403898]
l4 = [1.007747884058091704549521339107595381134085878974589805, 1.007747884058091704549521339107595381134085878974597823]
l5 = [0.2914633818585299378202212489892383579447565260679537339, 0.2914633818585299378202212489892383579447565260679624204]
l6 = [0.6600477045583841969592443514389627279074825599729672385, 0.6600477045583841969592443514389627279074825599729725841]
tau0 = [-1.917573753423170417090626814995538943661026970512398647, -1.917573753423170417090626814995538943661026970512390629]
tau1 = [0.3996688062736972568768649885262177805193730465538820463, 0.3996688062736972568768649885262177805193730465539034284]
tau2 = [2.737397626101988088933344269686233246422667047169243042, 2.737397626101988088933344269686233246422667047169264424]
tau3 = [-0.1637580559964382256565839586746858801615210438101850651, -0.1637580559964382256565839586746858801615210438101306075]
tau4 = [1.762853468189857035471983200746859048766160014540744413, 1.762853468189857035471983200746859048766160014540749759]
tau5 = [1.9867793518819625747722363368423691911285778446772498, 1.986779351881962574772236336842369191128577844677255145]
tau6 = [1.049457433073317079422264938564569519662256532079234507, 1.049457433073317079422264938564569519662256532079242525]
sum tau = [5.854824876101213392729482960696023962676486470697762078, 5.854824876101213392729482960696023962676486470697901061]
cut at vertex 0: crossings [(0, 6, [-1, 1, 1, -1])] undecided []
   determinants: ['[-0.4674739433856634117258923646993203679967908840311802654, -0.4674739433856634117258923646993203679967908840310366043]', '[0.05150318903423074704285312674210868506941226345356417027, 0.05150318903423074704285312674210868506941226345371843891]', '[0.03476828703784041768702920085920698717269795515140094604, 0.03476828703784041768702920085920698717269795515181706209]', '[-0.4842088453820537410817162905822220658935051923334972572, -0.4842088453820537410817162905822220658935051923327842972]']
cut at vertex 1: crossings [] undecided []
cut at vertex 2: crossings [] undecided []
cut at vertex 3: crossings [] undecided []
cut at vertex 4: crossings [] undecided []
cut at vertex 5: crossings [] undecided []
cut at vertex 6: crossings [] undecided []
CERTIFICATE (mpmath.iv) COMPLETE: True
