num  old-name  non–isolated name manifold etc (reduce)  D_{4}
♯9 − 2(4^{5}, 6, 9^{2})  ○  T9–001  5
♯9 − 2(4^{5}, 8^{2})  ◎  T9–002  5
♯9 − 4(4^{6}, 5^{2})  ○  T9–003  4-1,5
♯9 − 8(4^{4}, 5, 6, 7)  ◎  T9–004  5
♯9 − 8(4^{4}, 5^{2}, 8, 9)  ○  T9–005  5
♯9 − 13(4^{4}, 7^{2})  ◎  T9–006  5
♯9 − 16(4^{5}, 5^{2}, 14)  ○  T9–007  D_{5} >  4-3
♯9 − 16(4^{5}, 5^{2}, 6)  ○  T9–008  D_{4} >  4-2,4-3
♯9 − 16(4^{5}, 8^{3})  ○  T9–009  D_{5} >  4-3
♯9 − 16(4^{5}, 6, 8^{2})  ○  T9–010  4-1,4-3
♯9 − 16(4^{4}, 5^{2}, 6, 10)  ○  T9–011  4-1,4-3
♯9 − 16(4^{4}, 5^{2}, 6, 8)  ○  T9–012  4-2,4-3
♯9 − 16(4^{2}, 5^{4}, 8^{2})  ○  T9–013  4-3
♯9 − 16(4^{2}, 5^{2}, 6^{2}, 7^{2})  ○  T9–014  4-3
♯9 − 20(4^{4}, 5^{3}, 7)  ○  T9–015  D_{4} >  4-3
♯9 − 21(4^{4}, 5^{3}, 7)  ○  T9–016  4-1,4-3
♯9 − 24(4^{4}, 5^{2}, 6, 12)  ○  T9–017  D_{4} >  4-3
♯9 − 24(4^{4}, 5, 7^{2}, 9)  ○  T9–018  D_{4} >  4-3
♯9 − 24(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–019  4-3
♯9 − 24(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–020  4-3
♯9 − 27(4^{5}, 5^{2}, 6)  ○  T9–021  D_{4} >  4-3
♯9 − 27(4^{3}, 5^{2}, 6^{3})  ○  T9–022  4-3
♯9 − 28(4^{3}, 5, 6, 7)  ◎  T9–023  4-3
♯9 − 28(4^{4}, 5, 6)  ◎  T9–024  D_{4} >  4-3
♯9 − 31(4^{3}, 5, 6)  3  T9–025  4-3
♯9 − 31(4^{3}, 5, 6, 7)  ◎  T9–026  4-3
♯9 − 31(4^{3}, 5^{4}, 8)  ○  T9–027  4-3
♯9 − 31(4^{3}, 5, 7^{2})  ◎  T9–028  4-3
♯9 − 35(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–029  4-3
♯9 − 37(4^{5}, 5, 6^{2})  ○  T9–030  D_{4} >  4-2,4-3
♯9 − 37(4^{5}, 5, 6^{2})_{2}  ○  T9–031  4-1,4-3
♯9 − 37(4^{4}, 5, 7^{2}, 8)  ○  T9–032  4-2,4-3
♯9 − 41(4^{5}, 6, 7^{2})  ○  T9–033  D_{4} >  4-3
♯9 − 41(4^{4}, 5, 6^{2}, 7)  ○  T9–034  D_{4} >  4-3
♯9 − 41(4^{3}, 6^{3}, 8)  ◎  T9–035  4-3
♯9 − 41(4^{4}, 6^{2}, 8)  ◎  T9–036  4-3
♯9 − 44(4^{5}, 5^{2}, 13)  ○  T9–037  D_{5} >  4-1

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 44(4^{5}, 5, 7, 9)  ○  T9–038  D_{5} >  4-1
♯9 − 44(4^{4}, 5, 6, 7^{2})  ○  T9–039  4-1
♯9 − 44(4^{3}, 5^{2}, 6, 7, 8)  ○  T9–040  4-1
♯9 − 46(4^{5}, 6)  ◎  T9–041  D_{5} >
♯9 − 46(4^{3}, 5^{2}, 6)  ◎  T9–042  D_{5} >
♯9 − 46(4^{7})  ◎  T9–043  D_{5} >
♯9 − 46(4^{6}, 6)  ◎  T9–044  D_{5} >
♯9 − 46(4^{5}, 5^{2}, 10)  ○  T9–045  D_{5} >
♯9 − 46(4^{5}, 5^{2}, 6)  ○  T9–046  D_{5} >
♯9 − 46(4^{5}, 6^{2})  ◎  T9–047  D_{5} >
♯9 − 46(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–048  D_{5} >
♯9 − 47(4^{5}, 5^{2}, 8)  ○  T9–049  D_{5} >
♯9 − 47(4^{4}, 5^{2}, 6^{2})  ○  T9–050  D_{5} >
♯9 − 48(4^{5}, 5, 8, 9)  ○  T9–051  D_{5} >
♯9 − 48(4^{4}, 6^{2}, 7^{2})  ○  T9–052  D_{5} >
♯9 − 49(4^{6}, 8)  ◎  T9–053  D_{5} >
♯9 − 49(4^{5}, 6^{2})  ◎  T9–054  D_{5} >
♯9 − 49(4^{4}, 5^{2}, 8, 10)  ○  T9–055  D_{5} >
♯9 − 49(4^{4}, 5^{2}, 6, 8)  ○  T9–056  D_{5} >
♯9 − 49(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–057  D_{5} >
♯9 − 49(4^{3}, 5^{2}, 6^{2}, 8)_{2}  ○  T9–058  D_{5} >
♯9 − 54(4^{2}, 5^{3}, 8)  ◎  T9–059  D_{5} >
♯9 − 54(4^{2}, 5^{2}, 6, 7)  ◎  T9–060  D_{5} >
♯9 − 56(4^{4}, 5, 6)  ◎  T9–061  D_{5} >
♯9 − 56(4^{4}, 5, 8)  ◎  T9–062  D_{5} >
♯9 − 56(4^{3}, 5^{3})  ◎  T9–063  D_{5} >
♯9 − 56(4^{3}, 5^{2}, 7)  ◎  T9–064  D_{5} >
♯9 − 56(4^{3}, 5^{2}, 6)  ◎  T9–065  D_{4} >
♯9 − 56(4^{2}, 5^{4})  ◎  T9–066
♯9 − 56(4^{4}, 5^{2}, 6)  ◎  T9–067  D_{5} >
♯9 − 56(4^{3}, 5^{4})  ◎  T9–068  D_{5} >
♯9 − 57(4^{5}, 5^{2}, 6)  ○  T9–069  D_{5} >
♯9 − 57(4^{4}, 5^{3}, 6)  ○  T9–070  D_{5} >
♯9 − 58(4^{2}, 5^{4}, 6)  ◎  T9–071  D_{5} >
♯9 − 58(4^{3}, 5^{2}, 6^{2})  ◎  T9–072  D_{5} >
♯9 − 59(4^{3}, 5^{3}, 6)  ◎  T9–073  D_{5} >
♯9 − 59(4^{2}, 5^{5})  ◎  T9–074  D_{5} >
♯9 − 60(4^{4}, 5, 8)  ◎  T9–075  D_{5} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 60(4^{3}, 5^{2}, 7)  ◎  T9–076  D_{5} >
♯9 − 62(4^{6}, 5^{2})  ○  T9–077  D_{5} >  4-1
♯9 − 62(4^{5}, 5^{2}, 7)  ○  T9–078  D_{5} >  4-1
♯9 − 62(4^{4}, 5^{2}, 6^{2})  ○  T9–079  D_{5} >
♯9 − 63(4^{4}, 5, 6)  ◎  T9–080  D_{5} >
♯9 − 63(4^{3}, 5^{3})  ◎  T9–081  D_{5} >
♯9 − 68(4^{5}, 5, 7, 8)  ○  T9–082  D_{5} >
♯9 − 68(4^{4}, 5, 6^{2}, 7)  ○  T9–083  D_{5} >
♯9 − 69(4^{3}, 5, 6, 7)  ◎  T9–084  D_{5} >
♯9 − 69(4^{2}, 5^{2}, 6^{2})  ◎  T9–085  D_{5} >
♯9 − 72(4^{4}, 5^{2})  ◎  T9–086  D_{5} >
♯9 − 72(4^{3}, 5^{2}, 6)  ◎  T9–087  D_{5} >
♯9 − 75(4^{4}, 5^{3}, 12)  ○  T9–088  D_{5} >
♯9 − 75(4^{4}, 5^{2}, 7, 8)  ○  T9–089  D_{5} >
♯9 − 75(4^{3}, 5^{2}, 6^{2}, 9)  ○  T9–090
♯9 − 75(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–091
♯9 − 79(4^{4}, 6^{2})  ◎  T9–092  D_{5} >
♯9 − 79(4^{3}, 5, 6, 7)  ◎  T9–093  D_{5} >
♯9 − 87(4^{4}, 5^{4})  ○  T9–094  D_{5} >
♯9 − 87(4^{3}, 5^{3}, 6, 7)  ○  T9–095  D_{5} >
♯9 − 88(4^{3}, 5, 7)  3  T9–096  D_{5} >
♯9 − 88(4^{2}, 5^{2}, 6)  3  T9–097  D_{5} >
♯9 − 98(4^{5}, 6^{2})  ◎  T9–098  D_{5} >
♯9 − 98(4^{4}, 6^{2}, 10)  ◎  T9–099  D_{5} >
♯9 − 106(4^{4}, 5^{2}, 6, 8)  ○  T9–100  4-1
♯9 − 106(4^{3}, 5, 6)  3  T9–101  4-1
♯9 − 106(4^{3}, 5, 7^{2})  ◎  T9–102  4-1
♯9 − 106(4^{3}, 5, 6, 7)  ◎  T9–103  4-1
♯9 − 115(4^{2}, 5^{4}, 7^{2})  ○  T9–104
♯9 − 119(4^{2}, 5^{3}, 6)  ◎  T9–105
♯9 − 119(4^{3}, 5^{2}, 6^{3})  ○  T9–106  D_{4} >
♯9 − 119(4^{2}, 5^{5}, 7)  ○  T9–107
♯9 − 119(4, 5^{4}, 7)  ◎  T9–108
♯9 − 122(4^{3}, 5, 6, 7^{2}, 8)  ○  T9–109  D_{4} >
♯9 − 122(4^{2}, 5^{3}, 6, 7, 9)  ○  T9–110
♯9 − 122(4^{3}, 5, 6^{3}, 8)  ○  T9–111  D_{4} >
♯9 − 122(4^{2}, 5^{4}, 7, 8)  ○  T9–112
♯9 − 124(4^{4}, 5^{2}, 8)  ◎  T9–113  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 124(4^{4}, 5, 6^{3})  ○  T9–114  D_{4} >
♯9 − 124(4^{4}, 5, 6^{3})_{2}  ○  T9–115  D_{4} >
♯9 − 124(4^{3}, 5^{2}, 6^{2})  ◎  T9–116
♯9 − 124(4^{2}, 5^{5}, 6)  ○  T9–117
♯9 − 124(4^{2}, 5^{5}, 6)_{2}  ○  T9–118
♯9 − 125(4, 5^{5}, 7)  ◎  T9–119
♯9 − 125(4^{2}, 5^{4}, 6)  ◎  T9–120
♯9 − 127(4^{3}, 5^{3}, 6, 7)  ○  T9–121  D_{4} >
♯9 − 128(4^{2}, 5^{2}, 6^{2}, 7)  ◎  T9–122
♯9 − 128(4, 5^{5}, 8)  ◎  T9–123
♯9 − 128(4, 5^{3}, 6^{3})  ◎  T9–124
♯9 − 130(4^{3}, 5^{3}, 10)  ◎  T9–125  D_{4} >
♯9 − 130(4^{3}, 5, 6^{2}, 8)  ◎  T9–126  D_{4} >
♯9 − 131(4^{3}, 5^{4})  ◎  T9–127
♯9 − 132(4^{5}, 5^{3})  ○  T9–128  D_{5} >  4-1
♯9 − 132(4^{5}, 5^{2}, 6)  ○  T9–129  D_{5} >  4-1
♯9 − 132(4^{4}, 5^{3}, 6)  ○  T9–130  4-1
♯9 − 133(4^{2}, 5^{4}, 6, 7)  ○  T9–131
♯9 − 134(4^{2}, 5^{2}, 6^{3})  ◎  T9–132
♯9 − 134(4^{2}, 5^{4}, 6)  ◎  T9–133
♯9 − 139(4^{3}, 5^{4})  ◎  T9–134
♯9 − 142(4^{3}, 6^{2}, 12)  ◎  T9–135
♯9 − 142(4^{4}, 6, 7^{2}, 9)  ○  T9–136  D_{4} >
♯9 − 142(4^{2}, 5^{3}, 6^{2}, 10)  ○  T9–137
♯9 − 142(4^{5}, 6^{2})  ◎  T9–138  D_{4} >
♯9 − 142(4^{4}, 6, 7^{3})  ○  T9–139  D_{4} >
♯9 − 142(4^{3}, 6^{2}, 8)  ◎  T9–140
♯9 − 142(4^{3}, 6^{4})  ◎  T9–141
♯9 − 142(4^{2}, 5^{3}, 6^{3})  ○  T9–142
♯9 − 156(4^{3}, 5, 6, 7)  ◎  T9–143  D_{4} >
♯9 − 165(4^{2}, 5, 6^{2}, 11)  ◎  T9–144
♯9 − 165(4, 5^{4}, 12)  ◎  T9–145
♯9 − 165(4, 5^{2}, 6^{2}, 10)  ◎  T9–146
♯9 − 165(4^{2}, 5, 6^{2}, 7)  ◎  T9–147
♯9 − 165(4, 5^{4}, 8)  ◎  T9–148
♯9 − 165(4, 5^{2}, 6^{3})  ◎  T9–149
♯9 − 169(4^{5}, 6^{2})  ◎  T9–150  D_{4} >
♯9 − 170(4^{3}, 5^{4}, 8)  ○  T9–151  4-1

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 170(4^{2}, 5^{2}, 6, 7)  ◎  T9–152  4-1
♯9 − 170(4^{2}, 5^{2}, 6)  3  T9–153  4-1
♯9 − 171(4^{2}, 5, 6)  3  T9–154
♯9 − 171(5^{3}, 6)  3  T9–155
♯9 − 179(4^{5}, 6, 9^{2})  ○  T9–156  D_{5} >
♯9 − 179(4^{3}, 6^{3}, 7^{2})  ○  T9–157  D_{5} >
♯9 − 180(4^{2}, 6^{2})  3  T9–158
♯9 − 180(4, 5^{2}, 6)  3  T9–159
♯9 − 180(5^{4})  3  T9–160
♯9 − 183(4^{2}, 6^{2})  3  T9–161
♯9 − 183(4, 5^{2}, 6)  3  T9–162
♯9 − 183(4, 5^{2}, 6)_{2}  3  T9–163
♯9 − 183(5^{4})  3  T9–164
♯9 − 184(4^{3}, 5^{2}, 6, 8^{2})  ○  T9–165  D_{4} >
♯9 − 184(4^{2}, 5, 6^{4}, 7)  ○  T9–166  D_{4} >
♯9 − 185(4^{2}, 5^{2})  3  T9–167  D_{4} >
♯9 − 185(4, 5^{2}, 6)  3  T9–168
♯9 − 188(4^{3}, 7)  3  T9–169  D_{4} >
♯9 − 188(4^{2}, 5, 6)  3  T9–170  D_{4} >
♯9 − 198(4^{4}, 5^{2}, 6)  ◎  T9–171  4-1
♯9 − 198(4^{4}, 5^{2}, 6)_{2}  ◎  T9–172  4-1
♯9 − 199(4^{4}, 6)  3  T9–173  D_{5} >
♯9 − 199(4^{3}, 5, 6)  3  T9–174  4-1
♯9 − 199(4^{3}, 5, 6^{2})  ◎  T9–175  4-1
♯9 − 199(4^{3}, 5, 6, 7)  ◎  T9–176  4-1
♯9 − 203(4^{5}, 6^{2}, 8)  ○  T9–177  D_{4} >  4-1
♯9 − 204(4^{3}, 5)  3  T9–178  4-1
♯9 − 205(4^{4}, 5^{2}, 9, 10)  ○  T9–179  C_{3} >
♯9 − 205(4^{3}, 5^{3})  ◎  T9–180  D_{4} >
♯9 − 205(4^{3}, 5^{2}, 6, 8, 9)  ○  T9–181  D_{4} >
♯9 − 205(4^{3}, 5^{2}, 7)  ◎  T9–182  D_{5} >
♯9 − 206(4^{3}, 5^{2}, 6)  ◎  T9–183  D_{5} >
♯9 − 206(4^{2}, 5^{4})  ◎  T9–184
♯9 − 208(4^{3}, 5, 6, 7^{2}, 8)  ○  T9–185  D_{5} >
♯9 − 208(4^{2}, 5^{3}, 6)  ◎  T9–186
♯9 − 210(4^{3}, 5^{2}, 6)  ◎  T9–187  4-1
♯9 − 211(4^{3}, 5^{2})  3  T9–188  D_{5} >
♯9 − 211(4^{3}, 5, 6, 9)  ◎  T9–189  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 211(4^{2}, 5^{3})  3  T9–190
♯9 − 211(4^{2}, 5^{2}, 6^{2})  ◎  T9–191
♯9 − 212(4^{4}, 5)  3  T9–192  C_{3} >
♯9 − 212(4^{3}, 5, 7, 9)  ◎  T9–193  D_{5} >
♯9 − 212(4^{3}, 5^{2})  3  T9–194  D_{4} >
♯9 − 212(4^{2}, 5^{2}, 6, 7)  ◎  T9–195
♯9 − 214(4^{4}, 5^{2})  ◎  T9–196  D_{5} >
♯9 − 214(4^{4}, 5^{2})_{2}  ◎  T9–197  C_{3} >
♯9 − 214(4^{3}, 5, 6, 7)  ◎  T9–198  D_{5} >
♯9 − 214(4^{3}, 5, 6, 7)_{2}  ◎  T9–199  D_{4} >
♯9 − 215(4^{2}, 5, 6)  3  T9–200
♯9 − 215(4, 5^{2}, 7)  3  T9–201
♯9 − 215(4^{3}, 7)  3  T9–202  D_{4} >
♯9 − 215(4^{2}, 5, 6)_{2}  3  T9–203
♯9 − 221(4^{3}, 5^{2})  3  T9–204  D_{4} >
♯9 − 221(4^{2}, 5^{2}, 6, 7)  ◎  T9–205
♯9 − 222(4^{2}, 5^{3})  3  T9–206
♯9 − 222(4^{2}, 5^{2}, 6^{2})  ◎  T9–207
♯9 − 229(4^{3}, 5^{3})  ◎  T9–208  D_{4} >
♯9 − 229(4^{3}, 5^{2}, 7)  ◎  T9–209  D_{5} >
♯9 − 229(4^{3}, 5^{4}, 8)  ○  T9–210  4-1
♯9 − 229(4^{3}, 5^{4}, 8)_{2}  ○  T9–211  4-1
♯9 − 232(4^{2}, 5^{2})  3  T9–212
♯9 − 232(4^{2}, 5^{2})_{2}  3  T9–213
♯9 − 233(4^{2}, 6)  4  T9–214
♯9 − 233(4^{4}, 6, 8)  ◎  T9–215  D_{4} >
♯9 − 233(4^{2}, 5, 6, 7)  3  T9–216
♯9 − 233(4^{2}, 5^{2}, 6^{2})  ◎  T9–217
♯9 − 234(4^{3}, 6)  4  T9–218  D_{4} >
♯9 − 234(4^{4}, 6^{2}, 8)  ◎  T9–219  D_{4} >
♯9 − 234(4^{2}, 6, 7)  3  T9–220
♯9 − 234(4^{2}, 5^{2}, 6^{3})  ◎  T9–221
♯9 − 236(4^{5}, 5)  ◎  T9–222  C_{3} >
♯9 − 236(4^{3}, 5^{2}, 7)  ◎  T9–223  D_{4} >
♯9 − 236(4^{4}, 5, 6, 7, 8)  ○  T9–224  D_{5} >
♯9 − 236(4^{3}, 5^{3}, 7, 10)  ○  T9–225  D_{4} >
♯9 − 236(4^{3}, 5^{3}, 7, 8)  ○  T9–226  D_{4} >
♯9 − 236(4^{3}, 5, 6, 7^{3})  ○  T9–227  D_{5} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 238(4^{4}, 5^{3}, 10)  ○  T9–228  D_{4} >
♯9 − 238(4^{4}, 5, 6)  ◎  T9–229  D_{5} >
♯9 − 238(4^{4}, 5, 6^{2}, 7)  ○  T9–230  D_{4} >
♯9 − 238(4^{4}, 5, 6, 7^{2})  ○  T9–231  C_{3} >
♯9 − 238(4^{3}, 5^{3}, 6, 7)  ○  T9–232  D_{4} >
♯9 − 238(4^{2}, 5^{2}, 6, 7)  ◎  T9–233
♯9 − 241(4^{5}, 5)  ◎  T9–234  C_{3} >  4-2
♯9 − 241(4^{5}, 7)  ◎  T9–235  C_{3} >
♯9 − 241(4^{5}, 6)  ◎  T9–236  C_{3} >
♯9 − 241(4^{5}, 5^{2}, 6)  ○  T9–237  C_{3} >  4-2
♯9 − 241(4^{5}, 6)_{2}  ◎  T9–238  D_{5} >  4-1
♯9 − 241(4^{5}, 6^{2}, 8)  ○  T9–239  D_{5} >
♯9 − 241(4^{5}, 6^{2}, 8)_{2}  ○  T9–240  D_{4} >  4-1
♯9 − 241(4^{4}, 5, 6)  ◎  T9–241  D_{5} >  4-2
♯9 − 241(4^{4}, 5^{3}, 12)  ○  T9–242  D_{5} >
♯9 − 241(4^{4}, 5^{2})  ◎  T9–243  D_{4} >  4-1
♯9 − 241(4^{4}, 5^{2}, 6, 11)  ○  T9–244  4-1
♯9 − 241(4^{4}, 5^{2}, 6, 10)  ○  T9–245  D_{4} >  4-2
♯9 − 241(4^{4}, 5^{2}, 6, 8)  ○  T9–246  D_{4} >  4-2
♯9 − 241(4^{4}, 5, 6)_{2}  ◎  T9–247  D_{5} >
♯9 − 241(4^{4}, 5, 6, 7, 9)  ○  T9–248  D_{5} >
♯9 − 241(4^{3}, 5, 6, 8)  ◎  T9–249  4-2
♯9 − 241(4^{4}, 5, 6, 7, 8)  ○  T9–250  D_{5} >
♯9 − 241(4^{3}, 5^{3}, 8^{2})  ○  T9–251  D_{4} >  4-2
♯9 − 241(4^{3}, 5^{2}, 9)  ◎  T9–252  4-2
♯9 − 241(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–253  4-2
♯9 − 241(4^{3}, 5, 6^{2}, 7^{2})  ○  T9–254  D_{4} >  4-2
♯9 − 241(4^{2}, 5^{4}, 6, 7)  ○  T9–255
♯9 − 241(4^{2}, 5^{2}, 6^{4})  ○  T9–256
♯9 − 241(4^{2}, 5^{2}, 6^{4})_{2}  ○  T9–257
♯9 − 241(4, 5^{4}, 6^{2}, 7)  ○  T9–258
♯9 − 242(4^{2}, 6)  4  T9–259  D_{4} >
♯9 − 242(4^{2}, 6, 9)  3  T9–260  D_{4} >
♯9 − 242(4^{3}, 6^{3})  ◎  T9–261  D_{4} >
♯9 − 242(4, 5^{2})  4  T9–262
♯9 − 242(4^{2}, 5, 6)  3  T9–263  D_{4} >
♯9 − 242(4, 5^{2}, 6)  3  T9–264
♯9 − 242(4, 5^{2}, 8)  3  T9–265

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 242(4, 5^{4}, 6)  ◎  T9–266
♯9 − 244(4^{3}, 6)  4  T9–267  C_{3} >
♯9 − 244(4^{2}, 5, 6, 9)  3  T9–268  D_{4} >
♯9 − 244(4^{2}, 5^{2})  4  T9–269  D_{4} >
♯9 − 244(4^{3}, 6^{4})  ◎  T9–270  D_{4} >
♯9 − 244(4^{2}, 5^{2}, 6)  3  T9–271  D_{4} >
♯9 − 244(4, 5^{3}, 6)  3  T9–272
♯9 − 244(4, 5^{3}, 8)  3  T9–273
♯9 − 244(4, 5^{4}, 6^{2})  ◎  T9–274
♯9 − 250(4^{4}, 10)  3  T9–275  D_{5} >
♯9 − 250(4^{3}, 6, 10)  3  T9–276  D_{5} >
♯9 − 250(4^{4}, 6)  3  T9–277  D_{5} >
♯9 − 250(4^{3}, 6^{2})  3  T9–278  D_{5} >
♯9 − 250(4^{3}, 5^{4}, 6)  ○  T9–279  D_{4} >  4-2
♯9 − 250(4^{3}, 5^{4}, 6)_{2}  ○  T9–280  D_{4} >  4-2
♯9 − 250(4^{3}, 7, 8)  3  T9–281  D_{4} >
♯9 − 250(4^{3}, 5, 8)  3  T9–282  D_{4} >
♯9 − 250(4^{3}, 5^{2}, 6, 8)  ◎  T9–283
♯9 − 250(4^{3}, 5^{2}, 7^{2})  ◎  T9–284  D_{4} >
♯9 − 250(4^{3}, 5, 6, 8)  ◎  T9–285
♯9 − 250(4^{3}, 5, 7^{2})  ◎  T9–286  D_{4} >
♯9 − 250(4^{3}, 5, 6^{2}, 7)  ◎  T9–287  D_{4} >
♯9 − 250(4^{3}, 5^{2}, 6, 7)  ◎  T9–288  D_{4} >
♯9 − 250(4^{2}, 5^{2}, 6, 7^{2})  ◎  T9–289  D_{4} >
♯9 − 250(4^{3}, 6^{2}, 7)  ◎  T9–290  D_{4} >
♯9 − 250(4^{2}, 5^{3}, 6, 7)  ◎  T9–291
♯9 − 250(4^{2}, 5^{2}, 6, 7)  ◎  T9–292
♯9 − 250(4^{2}, 5^{2}, 6^{2})  3  T9–293
♯9 − 250(4, 5^{2}, 6^{2})  3  T9–294
♯9 − 251(4^{4}, 5^{2}, 6, 9)  ○  T9–295  D_{4} >  4-1
♯9 − 251(4^{3}, 5^{2}, 6^{3})  ○  T9–296  4-1
♯9 − 251(4^{2}, 5, 6^{3})  ◎  T9–297
♯9 − 253(4^{3}, 5^{2}, 6, 7, 9)  ○  T9–298  4-1
♯9 − 253(4^{3}, 5, 6^{2})  ◎  T9–299  D_{4} >
♯9 − 253(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–300  4-1
♯9 − 277(4^{4})  3  T9–301  D_{4} >
♯9 − 277(4^{2}, 5^{2})  3  T9–302
♯9 − 277(4^{4}, 6^{2}, 8)  ◎  T9–303  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 277(5^{4})  3  T9–304
♯9 − 277(4^{2}, 5^{4}, 9)  ◎  T9–305  D_{4} >
♯9 − 277(4^{2}, 5^{3}, 6, 7)  ◎  T9–306
♯9 − 277(4^{2}, 5^{3}, 6, 8)  ◎  T9–307  D_{4} >
♯9 − 277(4^{2}, 5^{2}, 6^{2}, 7)  ◎  T9–308
♯9 − 277(5^{6}, 6)  ◎  T9–309
♯9 − 281(4^{5}, 6)  ◎  T9–310  D_{5} >
♯9 − 281(4^{5}, 6)_{2}  ◎  T9–311  C_{3} >
♯9 − 281(4^{4}, 6, 8)  ◎  T9–312  C_{3} >
♯9 − 281(4^{3}, 5^{2}, 6, 8, 9)  ○  T9–313  D_{4} >
♯9 − 281(4^{2}, 5^{2}, 6^{2}, 7, 8)  ○  T9–314  D_{4} >
♯9 − 281(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–315  D_{4} >
♯9 − 281(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–316  D_{4} >
♯9 − 283(4^{3}, 6^{2}, 8)  ◎  T9–317  D_{4} >
♯9 − 283(4^{2}, 5^{2}, 6, 8)  ◎  T9–318  D_{4} >
♯9 − 283(4^{2}, 5^{2}, 6, 7)  ◎  T9–319
♯9 − 283(4^{2}, 5, 6^{2}, 7)  ◎  T9–320
♯9 − 283(4, 5^{4}, 9)  ◎  T9–321
♯9 − 283(4, 5^{3}, 6, 8)  ◎  T9–322
♯9 − 283(4, 5^{3}, 6, 7)  ◎  T9–323
♯9 − 283(5^{5}, 6)  ◎  T9–324
♯9 − 285(4^{6}, 5)  ◎  T9–325  C_{3} >
♯9 − 285(4^{5}, 5^{2})  ◎  T9–326  D_{5} >
♯9 − 285(4^{4}, 5, 6)  ◎  T9–327  D_{5} >
♯9 − 285(4^{5}, 5, 6)  ◎  T9–328  C_{3} >
♯9 − 285(4^{4}, 5, 6)_{2}  ◎  T9–329  C_{3} >
♯9 − 285(4^{3}, 5^{3})  ◎  T9–330  D_{5} >
♯9 − 285(4^{4}, 5^{3})  ◎  T9–331  D_{5} >
♯9 − 285(4^{3}, 5^{3})_{2}  ◎  T9–332  D_{4} >  4-1
♯9 − 287(4^{2}, 5^{2})  3  T9–333
♯9 − 287(4^{3}, 5^{2}, 6, 7)  ◎  T9–334  D_{4} >
♯9 − 287(4^{3}, 5^{2}, 6, 7)_{2}  ◎  T9–335
♯9 − 287(4^{3}, 5, 6, 7)  ◎  T9–336  D_{4} >
♯9 − 287(4^{3}, 5, 6, 7)_{2}  ◎  T9–337  D_{4} >
♯9 − 287(4, 5^{2}, 6)  3  T9–338
♯9 − 290(4^{4}, 7^{3})  ◎  T9–339  D_{5} >
♯9 − 290(4^{2}, 5^{2}, 6^{2}, 7)  ◎  T9–340  D_{4} >
♯9 − 292(4^{4}, 6^{3})  ◎  T9–341  C_{3} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 292(4^{3}, 5^{2}, 6, 8, 9)  ○  T9–342  D_{4} >  4-2
♯9 − 292(4^{3}, 5, 6^{2}, 7, 9)  ○  T9–343  D_{4} >
♯9 − 292(4^{2}, 5^{4}, 7, 10)  ○  T9–344  4-2
♯9 − 292(4^{2}, 5^{4}, 6)  ◎  T9–345  D_{4} >
♯9 − 292(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–346  D_{4} >
♯9 − 292(4, 5^{5}, 6, 7)  ○  T9–347
♯9 − 292(4, 5^{5}, 7, 8)  ○  T9–348
♯9 − 293(4^{2}, 5^{2}, 6)  3  T9–349  D_{4} >
♯9 − 293(4^{3}, 5, 6)  3  T9–350  D_{4} >
♯9 − 293(4, 5^{4})  3  T9–351
♯9 − 293(4^{2}, 5, 6^{2})  3  T9–352  D_{4} >
♯9 − 296(4, 5^{3}, 6^{3}, 8)  ○  T9–353
♯9 − 296(4, 5^{2}, 6^{4}, 7)  ○  T9–354
♯9 − 296(4, 5^{3}, 6^{4})  ○  T9–355
♯9 − 296(4, 5^{3}, 6^{4})_{2}  ○  T9–356
♯9 − 302(4, 5^{4}, 7^{3})  ○  T9–357
♯9 − 310(4^{5}, 7, 9)  ◎  T9–358  D_{5} >
♯9 − 310(4^{4}, 7, 9)  ◎  T9–359  D_{4} >
♯9 − 310(4^{3}, 5^{2}, 6, 8)  ◎  T9–360  D_{5} >
♯9 − 310(4^{3}, 5, 6^{2}, 7, 8)  ○  T9–361  C_{3} >
♯9 − 310(4^{2}, 5^{2}, 6, 8)  ◎  T9–362  D_{4} >
♯9 − 311(4^{3}, 5^{2}, 6)  ◎  T9–363  D_{4} >
♯9 − 311(4^{3}, 5^{2}, 6)_{2}  ◎  T9–364  D_{4} >
♯9 − 311(4^{3}, 5^{3}, 8^{2})  ○  T9–365  D_{4} >
♯9 − 311(4^{2}, 5^{3}, 6^{2}, 9)  ○  T9–366  D_{4} >
♯9 − 311(4, 5^{6}, 10)  ○  T9–367
♯9 − 311(4, 5^{5}, 7^{2})  ○  T9–368
♯9 − 312(4^{4})  4  T9–369  C_{3} >
♯9 − 312(4^{3}, 5)  4  T9–370  C_{3} >
♯9 − 313(4^{4}, 5, 6, 7, 9)  ○  T9–371  C_{3} >
♯9 − 313(4^{3}, 5^{3}, 6, 10)  ○  T9–372  D_{4} >  4-1
♯9 − 313(4^{3}, 5^{3}, 6, 7)  ○  T9–373  4-1
♯9 − 313(4^{3}, 5^{2}, 6^{3})  ○  T9–374  D_{4} >
♯9 − 314(4^{4}, 6^{2}, 7)  ◎  T9–375  C_{3} >
♯9 − 314(4^{4}, 5^{2})  ◎  T9–376  C_{3} >
♯9 − 314(4^{4}, 5, 6)  ◎  T9–377  C_{3} >  4-2
♯9 − 314(4^{4}, 5, 6)_{2}  ◎  T9–378  D_{5} >
♯9 − 314(4^{4}, 5, 7^{2}, 8)  ○  T9–379  C_{3} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 314(4^{3}, 5, 6^{3})  ◎  T9–380  C_{3} >
♯9 − 314(4^{3}, 5^{3})  ◎  T9–381  D_{4} >
♯9 − 314(4^{3}, 5^{2}, 6)  ◎  T9–382  D_{4} >  4-2
♯9 − 314(4^{3}, 5^{2}, 6)_{2}  ◎  T9–383  4-2
♯9 − 314(4^{3}, 5^{2}, 7^{2}, 8)  ○  T9–384  D_{4} >
♯9 − 314(4^{3}, 5^{2}, 6^{3})  ○  T9–385
♯9 − 314(4^{3}, 5^{2}, 6^{3})_{2}  ○  T9–386
♯9 − 314(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–387
♯9 − 314(4^{3}, 5^{2}, 6^{2}, 7)_{2}  ○  T9–388  D_{4} >
♯9 − 314(4^{3}, 5, 6^{2}, 7^{2})  ○  T9–389  D_{4} >
♯9 − 314(4^{3}, 5, 6^{2}, 7^{2})_{2}  ○  T9–390  D_{4} >
♯9 − 314(4^{2}, 5^{4})  ◎  T9–391  D_{4} >
♯9 − 314(4^{2}, 5^{4}, 6^{2})  ○  T9–392
♯9 − 314(4^{2}, 5^{3}, 6^{3})  ○  T9–393
♯9 − 314(4^{2}, 5^{3}, 6^{3})_{2}  ○  T9–394
♯9 − 314(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–395
♯9 − 314(4^{2}, 5^{3}, 6^{2}, 7)_{2}  ○  T9–396
♯9 − 314(4^{2}, 5^{2}, 6^{2}, 7^{2})  ○  T9–397  D_{4} >
♯9 − 314(4^{2}, 5^{2}, 6^{4})  ○  T9–398
♯9 − 314(4, 5^{5})  ◎  T9–399
♯9 − 314(4, 5^{6}, 7)  ○  T9–400
♯9 − 314(4, 5^{5}, 6^{2})  ○  T9–401
♯9 − 314(4, 5^{4}, 6^{2}, 7)  ○  T9–402
♯9 − 314(5^{8})  ○  T9–403
♯9 − 314(5^{6}, 6^{2})  ○  T9–404
♯9 − 315(4^{3}, 5^{2}, 6, 7, 9)  ○  T9–405  D_{4} >
♯9 − 315(4^{3}, 5^{3}, 7, 8)  ○  T9–406  4-1
♯9 − 315(4^{3}, 5^{2}, 6^{2}, 8)  ○  T9–407  D_{4} >
♯9 − 315(4^{2}, 5^{4}, 6, 10)  ○  T9–408  4-1
♯9 − 316(4^{2}, 5^{2}, 6^{2})  3  T9–409
♯9 − 316(4^{2}, 5^{2}, 6^{2})_{2}  3  T9–410
♯9 − 316(5^{6})  3  T9–411
♯9 − 319(4^{2}, 6^{3}, 8)  ◎  T9–412
♯9 − 319(4^{2}, 5, 6^{2}, 7)  ◎  T9–413
♯9 − 319(4, 5^{3}, 6, 8)  ◎  T9–414
♯9 − 319(4, 5^{2}, 6^{2}, 7)  ◎  T9–415
♯9 − 319(5^{5}, 9)  ◎  T9–416
♯9 − 319(5^{4}, 6^{2})  ◎  T9–417

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 324(4^{4}, 5, 6)  ◎  T9–418  D_{5} >
♯9 − 324(4^{3}, 5^{3})  ◎  T9–419  D_{5} >
♯9 − 329(4^{3}, 5, 6^{2}, 7^{2})  ○  T9–420  D_{4} >
♯9 − 329(4^{2}, 5^{2}, 6^{3}, 7)  ○  T9–421  D_{4} >
♯9 − 332(4^{2}, 5^{2}, 6^{2})  3  T9–422
♯9 − 332(5^{6})  3  T9–423
♯9 − 333(4^{5}, 6^{2})  ◎  T9–424  D_{5} >
♯9 − 333(4^{3}, 6^{2})  3  T9–425  D_{4} >
♯9 − 333(4^{3})  4  T9–426
♯9 − 333(4^{4}, 6^{4})  ○  T9–427
♯9 − 333(4^{4}, 6^{4})_{2}  ○  T9–428
♯9 − 333(4^{3}, 5^{2})  3  T9–429  D_{4} >
♯9 − 333(4^{3}, 5^{2})_{2}  3  T9–430  D_{4} >
♯9 − 333(4^{2}, 5^{3})  3  T9–431  D_{4} >
♯9 − 333(4^{3}, 5^{2}, 6^{2}, 10)  ○  T9–432  D_{4} >
♯9 − 333(4^{3}, 10)  3  T9–433  D_{4} >
♯9 − 333(4^{3}, 5^{2}, 6, 8^{2})  ○  T9–434  D_{4} >
♯9 − 333(4^{3}, 5^{2}, 6^{3})  ○  T9–435
♯9 − 333(4^{2}, 5^{2}, 6, 9)  ◎  T9–436
♯9 − 333(4^{3}, 5^{2}, 6^{3})_{2}  ○  T9–437
♯9 − 333(4^{3}, 5^{2}, 6^{3})_{3}  ○  T9–438  D_{4} >
♯9 − 333(4^{3}, 6)  3  T9–439  D_{4} >
♯9 − 333(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–440
♯9 − 333(4^{3}, 6^{4}, 8)  ○  T9–441  D_{4} >
♯9 − 333(4^{3}, 5, 6^{4})  ○  T9–442
♯9 − 333(4^{3}, 5, 6^{4})_{2}  ○  T9–443
♯9 − 333(4^{3}, 6^{3}, 7^{2})  ○  T9–444  D_{4} >
♯9 − 333(4^{3}, 5, 6, 7)  ◎  T9–445  D_{4} >
♯9 − 333(4^{2}, 5^{3}, 6)  ◎  T9–446  D_{4} >
♯9 − 333(4, 5^{4}, 6)  ◎  T9–447
♯9 − 333(4^{2}, 5^{4}, 6^{2})  ○  T9–448
♯9 − 333(4^{2}, 5^{4}, 6^{2})_{2}  ○  T9–449
♯9 − 333(4^{2}, 5^{4}, 6, 9)  ○  T9–450
♯9 − 333(4^{2}, 5^{4}, 6^{2})_{3}  ○  T9–451
♯9 − 333(4^{2}, 5^{4}, 6^{2})_{4}  ○  T9–452
♯9 − 333(4^{2}, 5^{3}, 6^{3})  ○  T9–453
♯9 − 333(4^{2}, 5^{3}, 6^{3})_{2}  ○  T9–454
♯9 − 333(4^{2}, 5^{3}, 6^{3})_{3}  ○  T9–455

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 333(4^{2}, 5^{2}, 6, 8)  ◎  T9–456
♯9 − 333(4^{2}, 5^{3}, 6^{3})_{4}  ○  T9–457
♯9 − 333(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–458
♯9 − 333(4^{2}, 5^{3}, 6^{2}, 7)_{2}  ○  T9–459
♯9 − 333(4^{2}, 5^{2}, 6^{4})  ○  T9–460
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{2}  ○  T9–461
♯9 − 333(4^{2}, 5^{2}, 6^{2})  3  T9–462
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{3}  ○  T9–463
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{4}  ○  T9–464
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{5}  ○  T9–465
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{6}  ○  T9–466
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{7}  ○  T9–467
♯9 − 333(4^{2}, 5^{2}, 6^{4})_{8}  ○  T9–468
♯9 − 333(4, 5^{6}, 6)  ○  T9–469
♯9 − 333(4, 5^{6}, 6)_{2}  ○  T9–470
♯9 − 333(4, 5^{6}, 7)  ○  T9–471
♯9 − 333(4, 5^{5}, 6^{2})  ○  T9–472
♯9 − 333(4, 5^{5}, 6^{2})_{2}  ○  T9–473
♯9 − 333(4, 5^{4}, 6^{2}, 8)  ○  T9–474
♯9 − 333(4, 5^{5}, 6, 8)  ○  T9–475
♯9 − 333(5^{8})  ○  T9–476
♯9 − 333(5^{8})_{2}  ○  T9–477
♯9 − 333(5^{7}, 6)  ○  T9–478
♯9 − 333(5^{7}, 6)_{2}  ○  T9–479
♯9 − 333(5^{6}, 6^{2})  ○  T9–480
♯9 − 333(5^{6}, 6^{2})_{2}  ○  T9–481
♯9 − 333(5^{6}, 6^{2})_{3}  ○  T9–482
♯9 − 342(4^{4}, 5^{3}, 8)  ○  T9–483  D_{5} >
♯9 − 342(4^{3}, 5, 6^{2}, 7^{2})  ○  T9–484  D_{4} >
♯9 − 342(4^{3}, 5^{3}, 6, 7)  ○  T9–485  D_{4} >
♯9 − 342(4^{2}, 5^{4}, 7, 8)  ○  T9–486
♯9 − 345(4^{6}, 6, 10)  ○  T9–487  D_{5} >  4-1
♯9 − 345(4^{5}, 5, 6^{2})  ○  T9–488  D_{5} >  4-1
♯9 − 348(4^{4}, 5^{2}, 6, 9)  ○  T9–489  D_{5} >
♯9 − 348(4^{4}, 5^{2}, 6, 9)_{2}  ○  T9–490  D_{4} >
♯9 − 348(4^{4}, 5, 7^{2}, 8)  ○  T9–491  D_{5} >
♯9 − 348(4^{4}, 5, 7^{2}, 8)_{2}  ○  T9–492  D_{4} >
♯9 − 352(4^{4}, 5^{2}, 7, 8)  ○  T9–493  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 352(4^{3}, 5, 6^{2}, 7, 8)  ○  T9–494  D_{4} >
♯9 − 354(4^{6}, 5)  ◎  T9–495  C_{3} >
♯9 − 354(4^{5}, 5, 6)  ◎  T9–496  C_{3} >
♯9 − 355(4^{5}, 5, 6, 8)  ○  T9–497  D_{5} >  4-1
♯9 − 355(4^{3}, 5^{3}, 6^{2})  ○  T9–498  D_{4} >  4-1
♯9 − 356(4^{5}, 5^{2})  ◎  T9–499  C_{3} >
♯9 − 356(4^{4}, 5^{3})  ◎  T9–500  C_{3} >
♯9 − 356(4^{3}, 5^{2}, 6, 7, 8)  ○  T9–501  D_{4} >
♯9 − 357(4^{7}, 7)  ○  T9–502  C_{3} >
♯9 − 357(4^{6}, 5, 6)  ○  T9–503  D_{5} >
♯9 − 357(4^{5}, 5^{2}, 8)  ○  T9–504  C_{3} >
♯9 − 357(4^{4}, 5^{2}, 6, 10)  ○  T9–505  D_{5} >
♯9 − 358(4^{6}, 6)  ◎  T9–506  C_{3} >
♯9 − 358(4^{4}, 6^{3})  ◎  T9–507  D_{4} >
♯9 − 358(4^{3}, 5^{2}, 6, 7, 9)  ○  T9–508  D_{4} >
♯9 − 358(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–509
♯9 − 359(4^{4}, 5, 6)  3  T9–510  D_{4} >
♯9 − 359(4^{4}, 5)  3  T9–511  D_{4} >
♯9 − 359(4^{3}, 5, 6)  3  T9–512  D_{4} >
♯9 − 359(4^{4}, 6^{2})  ◎  T9–513  D_{4} >
♯9 − 359(4^{2}, 5^{4})  ◎  T9–514  D_{4} >
♯9 − 359(4^{2}, 5^{3}, 6)  ◎  T9–515  D_{4} >
♯9 − 359(4^{3}, 5^{3}, 6, 9)  ○  T9–516
♯9 − 359(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–517  D_{4} >
♯9 − 359(4^{3}, 5, 6, 8)  ◎  T9–518  D_{4} >
♯9 − 359(4^{2}, 5, 6^{4})  ◎  T9–519  D_{4} >
♯9 − 359(4^{3}, 5^{4}, 6)  ○  T9–520  D_{4} >
♯9 − 359(4^{3}, 5^{3}, 6, 7)  ○  T9–521  D_{4} >
♯9 − 360(4^{2}, 5^{3}, 6^{2}, 9)  ○  T9–522  D_{4} >
♯9 − 360(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–523  D_{4} >
♯9 − 363(4^{5}, 5^{2})  ◎  T9–524  C_{3} >
♯9 − 363(4^{4}, 5, 6, 7, 9)  ○  T9–525  D_{5} >
♯9 − 363(4^{4}, 5^{3})  ◎  T9–526  D_{4} >
♯9 − 363(4^{4}, 5^{3}, 6)  ○  T9–527  D_{5} >
♯9 − 363(4^{3}, 5^{3}, 7^{2})  ○  T9–528  D_{4} >
♯9 − 363(4^{3}, 5^{2}, 6)  ◎  T9–529  D_{4} >
♯9 − 363(4^{2}, 5^{4}, 6, 7)  ○  T9–530
♯9 − 363(4, 5^{5}, 6, 7)  ○  T9–531

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 364(4^{3}, 5^{4}, 7)  ○  T9–532
♯9 − 364(4^{3}, 5^{3}, 6, 7)  ○  T9–533  D_{4} >  4-1
♯9 − 365(4^{3}, 5, 7^{2})  ◎  T9–534  D_{4} >
♯9 − 365(4^{2}, 5^{3}, 9)  ◎  T9–535  D_{4} >
♯9 − 365(4^{3}, 5^{2}, 6, 7, 9)  ○  T9–536
♯9 − 365(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–537
♯9 − 365(4, 5^{3}, 6, 8)  ◎  T9–538
♯9 − 365(4^{2}, 5^{3}, 6)  ◎  T9–539
♯9 − 365(4^{2}, 5^{3}, 6, 7^{2})  ○  T9–540  D_{4} >
♯9 − 365(5^{4}, 6^{4})  ○  T9–541
♯9 − 367(4^{4}, 5^{3}, 8)  ○  T9–542  D_{4} >  4-1
♯9 − 367(4^{4}, 5^{2}, 6, 9)  ○  T9–543  C_{3} >  4-1
♯9 − 367(4^{3}, 5^{4}, 12)  ○  T9–544
♯9 − 367(4^{4}, 5^{3}, 6)  ○  T9–545  D_{4} >  4-1
♯9 − 367(4^{4}, 5^{2}, 6, 7)  ○  T9–546  C_{3} >  4-1
♯9 − 367(4^{2}, 5^{3}, 6^{2}, 9)  ○  T9–547
♯9 − 369(4^{3}, 5^{3}, 6, 8)  ○  T9–548  D_{4} >  4-1
♯9 − 379(4^{2}, 5^{4}, 9)  ◎  T9–549  D_{4} >
♯9 − 379(4^{2}, 5^{4}, 6)  ◎  T9–550
♯9 − 379(4^{2}, 5^{4}, 6, 9)  ○  T9–551  D_{4} >
♯9 − 383(4^{2}, 5^{4})  ◎  T9–552  D_{4} >
♯9 − 386(4^{5}, 5, 6, 9)  ○  T9–553  C_{3} >
♯9 − 386(4^{3}, 5^{2}, 7)  ◎  T9–554  D_{5} >
♯9 − 386(4^{4}, 5, 6)  ◎  T9–555  D_{4} >
♯9 − 386(4^{4}, 5, 6, 7, 8)  ○  T9–556  D_{4} >
♯9 − 386(4^{4}, 5^{4})  ○  T9–557  D_{4} >
♯9 − 386(4^{3}, 5, 6, 7)  ◎  T9–558  D_{4} >
♯9 − 386(4^{4}, 5^{2}, 6, 7)  ○  T9–559  D_{5} >
♯9 − 386(4^{4}, 5^{2}, 6, 8)  ○  T9–560  D_{4} >
♯9 − 386(4^{3}, 5^{2}, 7^{3})  ○  T9–561  D_{4} >
♯9 − 386(4^{3}, 5^{5})  ○  T9–562  D_{4} >
♯9 − 386(4^{2}, 5^{4}, 6^{2})  ○  T9–563  D_{4} >
♯9 − 387(4^{3}, 5^{5})  ○  T9–564  4-1
♯9 − 390(5^{4}, 8^{2})  ◎  T9–565
♯9 − 390(4, 5^{3}, 6^{3}, 8)  ○  T9–566
♯9 − 390(4^{2}, 5^{4})  ◎  T9–567
♯9 − 390(4, 5^{3}, 6^{4})  ○  T9–568
♯9 − 390(5^{4}, 6^{2})  ◎  T9–569

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 393(4^{3}, 5^{3}, 6, 9)  ○  T9–570  D_{4} >  4-1
♯9 − 393(4^{2}, 5^{4}, 6)  ◎  T9–571
♯9 − 393(4^{3}, 5^{3}, 6, 9)_{2}  ○  T9–572  D_{4} >  4-1
♯9 − 393(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–573  4-1
♯9 − 397(4^{3}, 5^{3}, 7^{2})  ○  T9–574  D_{4} >  4-1
♯9 − 397(4^{3}, 5^{5})  ○  T9–575  4-1
♯9 − 400(4^{6}, 5, 7)  ○  T9–576  C_{3} >
♯9 − 400(4^{5}, 5^{2}, 6)  ○  T9–577  D_{5} >  4-2
♯9 − 401(4^{4}, 7)  3  T9–578  D_{5} >
♯9 − 401(4^{4}, 5)  3  T9–579  D_{5} >
♯9 − 402(4^{4}, 5, 6^{2}, 7)  ○  T9–580  D_{5} >
♯9 − 402(4^{3}, 5^{2}, 6^{3})  ○  T9–581  4-2
♯9 − 403(4^{4}, 5)  3  T9–582  C_{3} >
♯9 − 403(4^{4}, 5)_{2}  3  T9–583  C_{3} >
♯9 − 403(4^{3}, 5^{2}, 6)  ◎  T9–584  D_{4} >
♯9 − 403(4^{4}, 5, 7)  ◎  T9–585  D_{5} >
♯9 − 403(4^{3}, 5, 6, 7)  ◎  T9–586  D_{5} >
♯9 − 403(4^{3}, 5, 7^{2})  ◎  T9–587  D_{4} >
♯9 − 403(4^{3}, 5^{2}, 6)_{2}  ◎  T9–588  D_{5} >
♯9 − 403(4^{2}, 5^{3}, 7)  ◎  T9–589  D_{4} >
♯9 − 403(4^{3}, 5, 6, 7)_{2}  ◎  T9–590  D_{4} >
♯9 − 405(4^{6}, 5)  ◎  T9–591  C_{3} >
♯9 − 405(4^{6}, 5, 7)  ○  T9–592  C_{3} >
♯9 − 405(4^{5}, 5)  ◎  T9–593  C_{3} >
♯9 − 405(4^{3}, 5, 8)  3  T9–594  D_{4} >
♯9 − 405(4^{4}, 5^{2})  ◎  T9–595  C_{3} >
♯9 − 405(4^{4}, 5^{2})_{2}  ◎  T9–596  D_{4} >
♯9 − 405(4^{3}, 5^{2}, 7)  ◎  T9–597  D_{5} >
♯9 − 405(4^{4}, 5, 7)  ◎  T9–598  D_{4} >
♯9 − 405(4^{4}, 5^{2}, 7, 9)  ○  T9–599  D_{4} >
♯9 − 405(4^{4}, 5, 6^{2}, 7)  ○  T9–600  D_{4} >
♯9 − 405(4^{3}, 5, 6, 7)  ◎  T9–601  C_{3} >
♯9 − 405(4^{4}, 5, 6, 7^{2})  ○  T9–602  D_{4} >
♯9 − 405(4^{4}, 6^{2}, 7^{2})  ○  T9–603  D_{4} >
♯9 − 405(4^{4}, 6^{2}, 7^{2})_{2}  ○  T9–604  D_{4} >
♯9 − 405(4^{2}, 5^{3}, 6^{2})  ◎  T9–605
♯9 − 405(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–606  D_{4} >
♯9 − 405(4^{3}, 5, 6^{2}, 7)  ◎  T9–607  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 406(4, 5^{2})  4  T9–608
♯9 − 406(4^{3}, 5^{3}, 7^{2})  ○  T9–609  D_{4} >
♯9 − 406(4^{3}, 5^{2}, 6^{3})  ○  T9–610  D_{4} >
♯9 − 406(4^{3}, 5, 6^{3}, 9)  ○  T9–611  D_{4} >
♯9 − 406(4^{2}, 5^{4}, 7)  ◎  T9–612
♯9 − 406(4^{2}, 5^{3}, 6, 7, 8)  ○  T9–613
♯9 − 406(4^{2}, 5, 6^{5})  ○  T9–614
♯9 − 406(4, 5^{3}, 6^{3}, 7)  ○  T9–615
♯9 − 407(4^{5}, 5, 7)  ◎  T9–616  C_{3} >  4-2
♯9 − 407(4^{5}, 5, 7, 9)  ○  T9–617  D_{5} >
♯9 − 407(4^{3}, 5^{2}, 6, 7)  ◎  T9–618  D_{4} >
♯9 − 407(4^{4}, 5^{2}, 8^{2})  ○  T9–619  D_{4} >
♯9 − 407(4^{3}, 5, 6)  3  T9–620  D_{5} >
♯9 − 407(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–621  D_{5} >
♯9 − 407(4^{3}, 5^{2}, 6, 7, 8)  ○  T9–622
♯9 − 407(4^{2}, 5^{2}, 6^{4})  ○  T9–623
♯9 − 407(4^{2}, 5^{2}, 6^{3}, 7)  ○  T9–624
♯9 − 409(4^{4}, 6)  3  T9–625  C_{3} >
♯9 − 409(4^{4}, 6)_{2}  3  T9–626  D_{4} >
♯9 − 409(4^{3}, 5^{2})  3  T9–627  D_{4} >
♯9 − 409(4^{3}, 5^{2}, 6)  ◎  T9–628  D_{4} >
♯9 − 409(4^{3}, 5^{2})_{2}  3  T9–629
♯9 − 409(4^{3}, 5^{2}, 7)  ◎  T9–630  C_{3} >
♯9 − 409(4^{4}, 5, 7)  ◎  T9–631  D_{5} >
♯9 − 412(4^{4}, 6)  3  T9–632  D_{4} >
♯9 − 412(4^{4}, 6^{2})  ◎  T9–633  D_{4} >
♯9 − 412(4^{3}, 6^{2})  3  T9–634  D_{4} >
♯9 − 412(4^{5}, 6, 7, 9)  ○  T9–635  D_{5} >  4-2
♯9 − 412(4^{3}, 5, 6^{2})  ◎  T9–636  D_{4} >
♯9 − 412(4^{3}, 5, 6, 7)  ◎  T9–637  D_{5} >
♯9 − 412(4^{2}, 5^{3})  3  T9–638  D_{4} >
♯9 − 412(4^{3}, 5, 6^{2})_{2}  ◎  T9–639  D_{4} >
♯9 − 412(4^{3}, 5, 6^{2}, 7)  ◎  T9–640  D_{4} >
♯9 − 412(4^{2}, 5^{2}, 6^{2})  ◎  T9–641  D_{4} >
♯9 − 412(4^{2}, 5^{3}, 8)  ◎  T9–642  D_{4} >
♯9 − 412(4, 5^{3}, 6, 7)  ◎  T9–643
♯9 − 412(4, 5^{5}, 6, 8)  ○  T9–644
♯9 − 413(4^{6}, 5, 7)  ○  T9–645  C_{3} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 413(4^{5}, 6, 7, 11)  ○  T9–646  D_{5} >
♯9 − 413(4^{3}, 5^{2}, 6)  ◎  T9–647  D_{4} >
♯9 − 413(4^{5}, 6, 7, 9)  ○  T9–648  C_{3} >
♯9 − 413(4^{4}, 6, 7^{2}, 8)  ○  T9–649  C_{3} >
♯9 − 413(4^{4}, 5^{3}, 6)  ○  T9–650  D_{4} >
♯9 − 413(4^{3}, 5^{3}, 7)  ◎  T9–651  D_{4} >
♯9 − 413(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–652  D_{4} >
♯9 − 413(4^{3}, 5^{2}, 6, 7^{2})_{2}  ○  T9–653  D_{4} >
♯9 − 413(4^{4}, 5, 6, 7, 8)  ○  T9–654  D_{5} >
♯9 − 413(4^{3}, 5^{3}, 6, 8)  ○  T9–655  D_{4} >
♯9 − 413(4^{2}, 5^{2}, 6^{3}, 7)  ○  T9–656
♯9 − 413(4^{2}, 5^{2}, 6^{3}, 7)_{2}  ○  T9–657
♯9 − 414(4^{4}, 5^{2})  ◎  T9–658  D_{4} >
♯9 − 414(4^{4}, 5, 7^{2})  ◎  T9–659  D_{4} >
♯9 − 414(4^{3}, 5^{2}, 7)  ◎  T9–660  D_{5} >
♯9 − 414(4^{3}, 5^{2}, 6)  ◎  T9–661  D_{4} >
♯9 − 414(4^{3}, 5, 6^{2})  ◎  T9–662  D_{4} >
♯9 − 414(4^{3}, 5, 6, 7)  ◎  T9–663  D_{4} >
♯9 − 414(4^{3}, 6^{2}, 7)  ◎  T9–664  D_{4} >
♯9 − 415(4^{2}, 5, 6^{2}, 7)  ◎  T9–665  D_{4} >
♯9 − 415(4^{2}, 6^{2}, 7^{2})  ◎  T9–666
♯9 − 415(4, 5^{2}, 6^{2}, 8)  ◎  T9–667
♯9 − 416(4^{4}, 5, 7)  ◎  T9–668  D_{5} >
♯9 − 416(4, 5^{2}, 6^{2}, 7)  ◎  T9–669
♯9 − 416(4, 5^{4}, 7)  ◎  T9–670
♯9 − 416(5^{4}, 6, 7)  ◎  T9–671
♯9 − 417(4^{3}, 5^{2}, 7)  ◎  T9–672  D_{4} >
♯9 − 417(4^{2}, 5^{3}, 7)  ◎  T9–673
♯9 − 418(4^{4})  4  T9–674  D_{4} >
♯9 − 420(4^{3}, 5^{2}, 6^{2})  ◎  T9–675  D_{4} >
♯9 − 420(4, 5, 6^{2})  3  T9–676
♯9 − 422(4^{5})  3  T9–677  D_{4} >
♯9 − 422(4^{4}, 6)  3  T9–678  D_{4} >
♯9 − 423(4^{4}, 6, 7^{2}, 8)  ○  T9–679  D_{4} >
♯9 − 423(4^{3}, 5^{2}, 6)  ◎  T9–680  D_{4} >
♯9 − 423(4^{3}, 5^{4}, 6)  ○  T9–681  D_{4} >
♯9 − 423(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–682  D_{4} >
♯9 − 423(5^{3}, 7)  3  T9–683

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 423(4^{2}, 5^{3}, 6, 7^{2})  ○  T9–684
♯9 − 423(4^{3}, 5, 6^{3}, 7)  ○  T9–685
♯9 − 424(4^{5}, 6^{2})  ◎  T9–686  C_{3} >
♯9 − 424(4^{5}, 6^{2})_{2}  ◎  T9–687  C_{3} >
♯9 − 424(4^{5}, 6^{2}, 8)  ○  T9–688  C_{3} >
♯9 − 424(4^{5}, 6, 8^{2})  ○  T9–689  D_{4} >
♯9 − 424(4^{4}, 6^{3}, 8)  ○  T9–690  D_{5} >
♯9 − 424(4^{4}, 5^{3}, 6)  ○  T9–691  D_{4} >
♯9 − 425(4, 5^{2}, 6^{3})  ◎  T9–692
♯9 − 427(4^{8})  ◎  T9–693  C_{3} >
♯9 − 427(4^{6})  3  T9–694  C_{3} >
♯9 − 427(4^{6}, 8)  ◎  T9–695  D_{5} >
♯9 − 427(4^{4}, 5^{2}, 8^{2})  ○  T9–696  D_{4} >
♯9 − 427(4^{4}, 6^{2}, 7^{2})  ○  T9–697  D_{4} >
♯9 − 427(4^{2}, 5^{2}, 6^{4})  ○  T9–698
♯9 − 430(4^{4}, 6^{3}, 11)  ○  T9–699  C_{3} >
♯9 − 430(4^{4}, 5^{2})  ◎  T9–700  C_{3} >
♯9 − 430(4^{2}, 5, 6, 7^{2})  ◎  T9–701
♯9 − 430(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–702  D_{4} >  4-1
♯9 − 431(4^{3}, 5, 6^{2})  ◎  T9–703  D_{4} >  4-2
♯9 − 431(4^{3}, 5^{2}, 6)  ◎  T9–704  D_{4} >  4-2
♯9 − 431(4^{3}, 6)  4  T9–705  C_{3} >
♯9 − 431(4^{3})  4  T9–706  C_{3} >
♯9 − 432(4^{5}, 6^{2}, 8)  ○  T9–707  D_{5} >  4-1
♯9 − 432(4^{3}, 5^{2}, 6^{2}, 9)  ○  T9–708  4-1
♯9 − 433(4^{3}, 5^{3}, 6, 7)  ○  T9–709  D_{5} >
♯9 − 434(4^{3}, 5^{2}, 6, 8)  ◎  T9–710  D_{5} >
♯9 − 434(4^{3}, 5^{2}, 7)  ◎  T9–711  D_{4} >
♯9 − 434(4^{3}, 5, 6^{3}, 7)  ○  T9–712  D_{4} >
♯9 − 435(4^{4}, 6, 8)  ◎  T9–713  D_{4} >
♯9 − 435(4^{4}, 7, 9)  ◎  T9–714  D_{4} >
♯9 − 435(4^{5}, 5^{2}, 6)  ○  T9–715  C_{3} >  4-2
♯9 − 435(4^{3}, 5^{4}, 9)  ○  T9–716  D_{5} >
♯9 − 435(4^{3}, 5^{4})  ◎  T9–717  D_{4} >
♯9 − 435(4^{4}, 5^{3})  ◎  T9–718  D_{4} >
♯9 − 435(4^{2}, 5^{2}, 6^{2})  ◎  T9–719
♯9 − 435(4^{3}, 5^{4}, 6)  ○  T9–720  D_{4} >  4-2
♯9 − 435(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–721  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 435(4^{2}, 5^{5}, 9)  ○  T9–722
♯9 − 435(4^{2}, 5^{4})  ◎  T9–723
♯9 − 435(4^{2}, 5^{3}, 6^{2}, 7)  ○  T9–724
♯9 − 435(4^{2}, 5^{3}, 6^{3})  ○  T9–725  D_{4} >
♯9 − 435(4, 5^{5}, 6, 7)  ○  T9–726
♯9 − 436(4^{7}, 15)  ○  T9–727  D_{5} >
♯9 − 436(4^{7}, 11)  ○  T9–728  C_{3} >  4-2
♯9 − 436(4^{3}, 5^{2}, 6)  3  T9–729  D_{4} >  4-2
♯9 − 436(4^{6}, 5^{2})  ○  T9–730  C_{3} >  4-2
♯9 − 436(4^{5}, 5^{2}, 8)  ○  T9–731  D_{4} >  4-2
♯9 − 436(4^{6}, 5, 10)  ○  T9–732  D_{5} >  4-1
♯9 − 436(4^{6}, 5^{2})_{2}  ○  T9–733  C_{3} >
♯9 − 436(4^{3}, 5, 6)  3  T9–734  D_{4} >  4-2
♯9 − 436(4^{6}, 8, 11)  ○  T9–735  C_{3} >
♯9 − 436(4^{5}, 7^{2}, 10)  ○  T9–736  D_{5} >
♯9 − 436(4^{5}, 6, 7^{2})  ○  T9–737  D_{4} >  4-1
♯9 − 436(4^{6}, 7, 8)  ○  T9–738  C_{3} >
♯9 − 436(4^{2}, 5^{2}, 6)  3  T9–739  4-2
♯9 − 436(4^{3}, 5^{2}, 10)  ◎  T9–740  D_{4} >  4-2
♯9 − 436(4^{5}, 7, 8^{2})  ○  T9–741  C_{3} >
♯9 − 436(4^{4}, 5^{3}, 9)  ○  T9–742  C_{3} >
♯9 − 436(4^{3}, 5^{2}, 6, 7^{2})  ○  T9–743  D_{4} >
♯9 − 436(4^{4}, 5^{2}, 7^{2})  ○  T9–744  D_{4} >
♯9 − 436(4^{3}, 5^{4}, 6)  ○  T9–745  D_{4} >  4-2
♯9 − 436(5^{4})  3  T9–746
♯9 − 436(4^{3}, 5^{3}, 7, 8)  ○  T9–747  D_{4} >
♯9 − 436(4^{3}, 5^{2}, 7^{3})  ○  T9–748  D_{4} >
♯9 − 436(4^{2}, 5^{2}, 6^{3}, 7)  ○  T9–749
♯9 − 436(4^{2}, 5^{3}, 6^{3})  ○  T9–750
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{2}  ○  T9–751
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{3}  ○  T9–752
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{4}  ○  T9–753
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{5}  ○  T9–754
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{6}  ○  T9–755
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{7}  ○  T9–756
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{8}  ○  T9–757
♯9 − 436(4^{2}, 5^{3}, 6^{3})_{9}  ○  T9–758
♯9 − 436(4^{2}, 5^{2}, 6^{4})  ○  T9–759

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 436(4^{2}, 5^{2}, 6^{4})_{2}  ○  T9–760
♯9 − 437(4^{6}, 5, 7)  ○  T9–761  C_{3} >
♯9 − 437(4^{5}, 6^{3})  ○  T9–762  C_{3} >
♯9 − 437(4^{3}, 5^{3})  ◎  T9–763  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{3})  ○  T9–764  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{2}, 7)  ○  T9–765  D_{4} >
♯9 − 437(4^{2}, 5^{2}, 6, 7)  ◎  T9–766
♯9 − 437(4^{2}, 5^{2}, 6, 7)_{2}  ◎  T9–767
♯9 − 437(4^{2}, 5^{3}, 6)  ◎  T9–768  D_{4} >
♯9 − 437(4^{2}, 5^{3}, 6)_{2}  ◎  T9–769  D_{4} >
♯9 − 437(4^{2}, 5^{3}, 6, 7, 8)  ○  T9–770  D_{4} >
♯9 − 437(4^{3}, 5, 6^{3}, 7)  ○  T9–771  D_{4} >
♯9 − 437(4^{2}, 5^{4}, 6^{2})  ○  T9–772
♯9 − 439(4^{5}, 5, 7)  ◎  T9–773  D_{5} >
♯9 − 439(4^{5}, 12)  ◎  T9–774  D_{5} >
♯9 − 439(4^{5}, 8)  ◎  T9–775  C_{3} >
♯9 − 439(4^{4}, 5^{3})  ◎  T9–776  C_{3} >
♯9 − 439(4^{3}, 5^{4}, 9)  ○  T9–777  D_{5} >
♯9 − 439(4^{3}, 5^{4}, 9)_{2}  ○  T9–778  D_{4} >
♯9 − 439(4^{3}, 5^{4})  ◎  T9–779  D_{4} >
♯9 − 439(4^{4}, 5^{2}, 6, 9)  ○  T9–780  C_{3} >
♯9 − 439(4^{4}, 5, 6, 7, 8)  ○  T9–781  D_{5} >
♯9 − 439(4^{3}, 5^{2}, 6, 7, 8)  ○  T9–782  D_{4} >
♯9 − 439(4^{3}, 6^{3})  ◎  T9–783  C_{3} >
♯9 − 439(4^{3}, 6^{3})_{2}  ◎  T9–784  C_{3} >
♯9 − 439(4^{3}, 6^{2}, 8)  ◎  T9–785
♯9 − 440(4^{6}, 8)  ◎  T9–786  C_{3} >
♯9 − 440(4^{5}, 5, 6, 9)  ○  T9–787  C_{3} >
♯9 − 440(4^{5}, 5, 6, 9)_{2}  ○  T9–788  D_{5} >
♯9 − 440(4^{5}, 6, 7, 9)  ○  T9–789  C_{3} >
♯9 − 440(4^{5}, 6, 8)  ◎  T9–790  D_{5} >
♯9 − 440(4^{5}, 5^{2}, 6)  ○  T9–791  C_{3} >
♯9 − 440(4^{5}, 5^{2}, 6)_{2}  ○  T9–792  C_{3} >
♯9 − 440(4^{4}, 5, 6, 7^{2})  ○  T9–793  D_{5} >
♯9 − 440(4^{4}, 5^{2}, 6^{2})  ○  T9–794  C_{3} >
♯9 − 442(4^{4}, 6^{2}, 7, 8)  ○  T9–795  D_{5} >
♯9 − 443(4^{4}, 5^{2}, 7, 8)  ○  T9–796  D_{5} >
♯9 − 443(4^{5}, 5, 6^{2})  ○  T9–797  C_{3} >

num  old-name  non–isolated name manifold etc (reduce)  D_{4}
♯9 − 443(4^{4}, 5^{4})  ○  T9–798  D_{5} >
♯9 − 443(4^{3}, 5^{4}, 6)  ○  T9–799  D_{4} >
♯9 − 443(4^{3}, 5^{3})  ◎  T9–800  D_{4} >
♯9 − 443(4^{2}, 5^{4}, 7^{2})  ○  T9–801  D_{4} >
♯9 − 1(4^{9}, 18)  K9–  T9–802  5
♯9 − 2(4^{6}, 5^{2}, 10^{2})  K9–  T9–803  5
♯9 − 3(4^{7}, 7^{2}, 12)  K9–  T9–804  D_{5} >  5
♯9 − 3(4^{7}, 8, 9^{2})  K9–  T9–805  D_{5} >  5
♯9 − 3(4^{6}, 6^{2}, 9^{2})  K9–  T9–806  5
♯9 − 3(4^{5}, 6^{2}, 7^{2}, 8)  K9–  T9–807  5
♯9 − 5(4^{6}, 7^{2}, 8^{2})  K9–  T9–808  4-3,5
♯9 − 5(4^{5}, 5^{2}, 6^{2}, 12)  K9–  T9–809  4-3,5
♯9 − 5(4^{5}, 5^{2}, 8^{3})  K9–  T9–810  4-3,5
♯9 − 5(4^{5}, 6^{2}, 7^{2}, 8)  K9–  T9–811  4-3,5
♯9 − 6(4^{5}, 6^{3}, 8^{2})  K9–  T9–812  5
♯9 − 6(4^{3}, 6^{7})  K9–  T9–813  5
♯9 − 12(4^{6}, 5^{2}, 10^{2})  K9–  T9–814  D_{4} >  5
♯9 − 15(4^{7}, 8^{2}, 10)  K9–  T9–815  D_{5} >  4-3
♯9 − 15(4^{5}, 5^{2}, 8^{3})  K9–  T9–816  4-3
♯9 − 15(4^{5}, 6^{4}, 10)  K9–  T9–817  D_{5} >  4-3
♯9 − 15(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–818  4-3
♯9 − 16(4^{3}, 5^{5}, 8, 9)  K9–  T9–819  4-3
♯9 − 16(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–820  4-3
♯9 − 20(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–821  4-3
♯9 − 35(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–822  D_{4} >  4-3
♯9 − 35(4^{5}, 5^{2}, 6, 9^{2})  K9–  T9–823  D_{4} >  4-1,4-3
♯9 − 37(4^{6}, 5, 7^{2}, 11)  K9–  T9–824  D_{5} >  4-1,4-3
♯9 − 37(4^{5}, 5^{2}, 8^{3})  K9–  T9–825  D_{4} >  4-2,4-3
♯9 − 37(4^{4}, 5^{4}, 9^{2})  K9–  T9–826  4-3
♯9 − 37(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–827  4-3
♯9 − 37(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–828  4-3
♯9 − 46(4^{6}, 6^{2}, 9^{2})  K9–  T9–829  D_{5} >
♯9 − 46(4^{4}, 6^{4}, 7^{2})  K9–  T9–830  D_{5} >
♯9 − 47(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–831  D_{5} >
♯9 − 47(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–832  D_{5} >
♯9 − 49(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–833  D_{5} >
♯9 − 49(4^{3}, 5, 6^{5}, 7)  K9–  T9–834  D_{5} >
♯9 − 52(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–835  D_{5} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 52(4^{4}, 6^{4}, 7^{2})  K9–  T9–836  D_{5} >
♯9 − 57(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–837  D_{5} >
♯9 − 58(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–838  D_{5} >
♯9 − 91(4^{6}, 5, 8^{2}, 9)  K9–  T9–839  C_{3} >  4-2
♯9 − 91(4^{4}, 5, 6^{4}, 9)  K9–  T9–840  D_{4} >  4-2
♯9 − 91(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–841  D_{5} >
♯9 − 91(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–842  D_{5} >
♯9 − 115(4^{5}, 5^{2}, 7^{2}, 10)  K9–  T9–843  D_{4} >
♯9 − 115(4^{4}, 5^{4}, 9^{2})  K9–  T9–844  4-1
♯9 − 121(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–845  D_{5} >
♯9 − 121(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–846
♯9 − 124(4^{3}, 5^{4}, 6^{2}, 10)  K9–  T9–847
♯9 − 124(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–848
♯9 − 129(4^{3}, 5^{4}, 6^{2}, 10)  K9–  T9–849  D_{4} >
♯9 − 129(4^{3}, 5^{4}, 6^{2}, 10)_{2}  K9–  T9–850  D_{4} >
♯9 − 129(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–851  D_{4} >
♯9 − 129(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–852
♯9 − 129(4, 5^{7}, 7, 8)  K9–  T9–853
♯9 − 129(4, 5^{5}, 6^{3}, 7)  K9–  T9–854
♯9 − 132(4^{4}, 5^{3}, 6, 7, 10)  K9–  T9–855  4-1
♯9 − 133(4^{4}, 5^{4}, 9^{2})  K9–  T9–856  D_{4} >
♯9 − 133(4^{3}, 5^{6}, 12)  K9–  T9–857
♯9 − 133(4^{3}, 5^{4}, 6, 7, 9)  K9–  T9–858  4-1
♯9 − 133(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–859
♯9 − 133(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–860  D_{4} >
♯9 − 142(4^{5}, 5^{2}, 6^{2}, 12)  K9–  T9–861  D_{4} >
♯9 − 142(4^{5}, 5^{2}, 6^{2}, 12)_{2}  K9–  T9–862  D_{4} >
♯9 − 142(4^{5}, 5, 6^{3}, 11)  K9–  T9–863  D_{4} >
♯9 − 142(4^{5}, 5, 6^{3}, 11)_{2}  K9–  T9–864  D_{4} >
♯9 − 142(4^{5}, 6^{4}, 10)  K9–  T9–865  D_{4} >
♯9 − 142(4^{5}, 6^{4}, 10)_{2}  K9–  T9–866  D_{4} >
♯9 − 142(4^{5}, 6^{3}, 8^{2})  K9–  T9–867  D_{4} >
♯9 − 142(4^{5}, 6^{3}, 8^{2})_{2}  K9–  T9–868  D_{4} >
♯9 − 142(4^{4}, 5^{4}, 9^{2})  K9–  T9–869  D_{5} >
♯9 − 142(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–870  D_{4} >
♯9 − 142(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–871  D_{4} >
♯9 − 142(4^{4}, 5, 6^{3}, 7, 8)_{2}  K9–  T9–872  D_{4} >
♯9 − 142(4^{4}, 6^{4}, 7^{2})  K9–  T9–873  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 142(4^{3}, 5^{6}, 12)  K9–  T9–874
♯9 − 142(4^{3}, 5^{6}, 12)_{2}  K9–  T9–875
♯9 − 142(4^{3}, 5^{5}, 6, 11)  K9–  T9–876
♯9 − 142(4^{3}, 5^{5}, 6, 11)_{2}  K9–  T9–877
♯9 − 142(4^{3}, 5^{4}, 6^{2}, 10)  K9–  T9–878
♯9 − 142(4^{3}, 5^{4}, 6^{2}, 10)_{2}  K9–  T9–879
♯9 − 142(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–880
♯9 − 142(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–881
♯9 − 142(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–882
♯9 − 142(4^{3}, 5^{2}, 6^{4}, 8)_{2}  K9–  T9–883
♯9 − 142(4^{2}, 5^{6}, 8^{2})  K9–  T9–884
♯9 − 142(4^{2}, 5^{6}, 8^{2})_{2}  K9–  T9–885
♯9 − 142(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–886
♯9 − 142(4^{2}, 5^{5}, 6, 7, 8)_{2}  K9–  T9–887
♯9 − 142(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–888
♯9 − 142(4^{2}, 5^{4}, 6^{2}, 7^{2})_{2}  K9–  T9–889
♯9 − 156(4^{5}, 5^{2}, 8^{3})  K9–  T9–890  D_{5} >
♯9 − 156(4^{5}, 5^{2}, 8^{3})_{2}  K9–  T9–891  D_{5} >
♯9 − 156(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–892  D_{5} >
♯9 − 156(4^{4}, 5^{2}, 6^{2}, 8^{2})_{2}  K9–  T9–893  D_{5} >
♯9 − 158(4^{5}, 5^{2}, 8^{3})  K9–  T9–894  D_{4} >
♯9 − 158(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–895  D_{4} >
♯9 − 158(4^{4}, 6^{4}, 7^{2})  K9–  T9–896  D_{4} >
♯9 − 158(4^{4}, 6^{4}, 7^{2})_{2}  K9–  T9–897  D_{4} >
♯9 − 158(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–898  D_{4} >
♯9 − 158(4^{3}, 5, 6^{5}, 7)  K9–  T9–899  D_{4} >
♯9 − 169(4^{5}, 6^{4}, 10)  K9–  T9–900  D_{4} >
♯9 − 169(4^{5}, 6^{3}, 8^{2})  K9–  T9–901  D_{4} >
♯9 − 169(4^{5}, 6^{3}, 8^{2})_{2}  K9–  T9–902  D_{4} >
♯9 − 169(4^{5}, 6^{3}, 8^{2})_{3}  K9–  T9–903  D_{4} >
♯9 − 169(4^{3}, 6^{7})  K9–  T9–904
♯9 − 241(4^{4}, 5^{3}, 6, 8, 9)  K9–  T9–905  C_{3} >  4-2
♯9 − 241(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–906  D_{4} >  4-2
♯9 − 250(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–907  D_{4} >
♯9 − 250(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–908  4-2
♯9 − 284(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–909  D_{4} >
♯9 − 284(4^{3}, 5^{2}, 6^{3}, 7^{2})_{2}  K9–  T9–910  D_{4} >
♯9 − 289(4^{4}, 5, 6^{2}, 7^{3})  K9–  T9–911  D_{5} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 289(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–912  D_{4} >
♯9 − 292(4^{4}, 6^{5}, 8)  K9–  T9–913  D_{4} >
♯9 − 292(4, 5^{6}, 6^{2}, 8)  K9–  T9–914
♯9 − 310(4^{6}, 6^{2}, 8, 10)  K9–  T9–915  C_{3} >
♯9 − 310(4^{6}, 6^{2}, 8, 10)_{2}  K9–  T9–916  D_{5} >
♯9 − 310(4^{5}, 6^{3}, 8^{2})  K9–  T9–917  D_{5} >
♯9 − 310(4^{5}, 6^{3}, 8^{2})_{2}  K9–  T9–918  D_{5} >
♯9 − 333(4^{3}, 5, 6^{5}, 7)  K9–  T9–919  D_{4} >
♯9 − 342(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–920
♯9 − 342(4^{3}, 5^{2}, 6^{4}, 8)_{2}  K9–  T9–921  D_{5} >
♯9 − 343(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–922  D_{5} >
♯9 − 343(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–923
♯9 − 355(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–924
♯9 − 357(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–925  C_{3} >
♯9 − 357(4^{5}, 6^{2}, 7^{2}, 8)  K9–  T9–926  C_{3} >
♯9 − 357(4^{4}, 5^{3}, 6, 8, 9)  K9–  T9–927  D_{4} >
♯9 − 357(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–928  D_{5} >
♯9 − 357(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–929  D_{4} >
♯9 − 357(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–930
♯9 − 359(4^{6}, 5, 6^{2}, 13)  K9–  T9–931  D_{5} >  4-1
♯9 − 359(4^{6}, 5, 6, 7, 12)  K9–  T9–932  D_{5} >  4-2
♯9 − 359(4^{4}, 5^{3}, 6^{2}, 11)  K9–  T9–933  D_{4} >
♯9 − 359(4^{4}, 5^{3}, 6, 7, 10)  K9–  T9–934  D_{5} >
♯9 − 359(4^{4}, 5^{3}, 6, 7, 10)_{2}  K9–  T9–935  C_{3} >
♯9 − 359(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–936  D_{4} >
♯9 − 359(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–937  D_{4} >  4-1
♯9 − 359(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–938  D_{5} >  4-2
♯9 − 359(4^{3}, 5^{4}, 7^{2}, 8)  K9–  T9–939  D_{4} >
♯9 − 359(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–940  D_{4} >
♯9 − 359(4^{2}, 5^{5}, 6, 7, 8)_{2}  K9–  T9–941  4-2
♯9 − 361(4^{5}, 5^{2}, 7^{2}, 10)  K9–  T9–942  C_{3} >
♯9 − 361(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–943  4-1
♯9 − 361(4, 5^{4}, 6^{5})  K9–  T9–944
♯9 − 362(4^{4}, 5^{4}, 9^{2})  K9–  T9–945  C_{3} >
♯9 − 362(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–946  D_{4} >
♯9 − 362(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–947  D_{4} >
♯9 − 364(4^{6}, 5^{2}, 9, 11)  K9–  T9–948  C_{3} >
♯9 − 364(4^{5}, 5^{2}, 6^{2}, 12)  K9–  T9–949  C_{3} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 364(4^{5}, 5^{2}, 6, 9^{2})  K9–  T9–950  D_{5} >  4-1
♯9 − 364(4^{5}, 5^{2}, 8^{3})  K9–  T9–951  C_{3} >
♯9 − 364(4^{4}, 5^{4}, 6, 12)  K9–  T9–952  4-1
♯9 − 364(4^{4}, 5^{3}, 6, 7, 10)  K9–  T9–953  D_{4} >  4-1
♯9 − 364(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–954  D_{4} >  4-1
♯9 − 364(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–955  4-1
♯9 − 364(4^{3}, 5^{3}, 6^{3}, 9)  K9–  T9–956  4-1
♯9 − 364(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–957  D_{4} >  4-1
♯9 − 364(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–958  D_{4} >
♯9 − 364(4^{2}, 5^{5}, 7^{3})  K9–  T9–959
♯9 − 364(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–960  4-1
♯9 − 364(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–961  D_{4} >
♯9 − 365(4^{4}, 5^{3}, 6^{2}, 11)  K9–  T9–962  D_{5} >
♯9 − 365(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–963  D_{4} >
♯9 − 365(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–964  D_{4} >
♯9 − 365(4^{2}, 5^{5}, 7^{3})  K9–  T9–965
♯9 − 365(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–966
♯9 − 379(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–967  D_{4} >
♯9 − 380(4^{5}, 6^{3}, 8^{2})  K9–  T9–968  D_{5} >
♯9 − 380(4^{5}, 6^{3}, 8^{2})_{2}  K9–  T9–969  D_{5} >
♯9 − 380(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–970  D_{4} >  4-1
♯9 − 380(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–971  D_{4} >
♯9 − 386(4^{5}, 5^{3}, 9, 10)  K9–  T9–972  C_{3} >
♯9 − 386(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–973  D_{4} >
♯9 − 386(4^{3}, 5^{3}, 6^{2}, 7, 8)_{2}  K9–  T9–974  D_{4} >
♯9 − 386(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–975  D_{4} >
♯9 − 386(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–976  D_{4} >
♯9 − 386(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–977  D_{4} >
♯9 − 386(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–978
♯9 − 386(4^{2}, 5^{4}, 6^{2}, 7^{2})_{2}  K9–  T9–979  D_{4} >
♯9 − 387(4^{3}, 5^{3}, 6^{3}, 9)  K9–  T9–980  4-1
♯9 − 390(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–981
♯9 − 390(4^{2}, 5^{4}, 6^{2}, 7^{2})_{2}  K9–  T9–982
♯9 − 390(4^{2}, 5^{2}, 6^{6})  K9–  T9–983
♯9 − 391(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–984  4-1
♯9 − 392(4^{4}, 5^{2}, 7^{4})  K9–  T9–985  D_{4} >
♯9 − 392(4^{2}, 5^{6}, 8^{2})  K9–  T9–986
♯9 − 392(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–987

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 392(4^{2}, 5^{4}, 6^{2}, 7^{2})_{2}  K9–  T9–988
♯9 − 393(4^{5}, 5^{2}, 6, 9^{2})  K9–  T9–989  D_{5} >  4-1
♯9 − 393(4^{4}, 5^{4}, 6, 12)  K9–  T9–990  4-1
♯9 − 393(4^{4}, 5^{4}, 6, 12)_{2}  K9–  T9–991  4-1
♯9 − 393(4^{4}, 5^{4}, 6, 12)_{3}  K9–  T9–992  4-1
♯9 − 393(4^{4}, 5^{2}, 6^{2}, 7, 9)  K9–  T9–993  D_{4} >  4-1
♯9 − 393(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–994  4-1
♯9 − 393(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–995  4-1
♯9 − 393(4^{4}, 5^{2}, 6, 7^{2}, 8)_{2}  K9–  T9–996  4-1
♯9 − 393(4^{3}, 5^{5}, 7, 10)  K9–  T9–997  4-1
♯9 − 393(4^{3}, 5^{4}, 6^{2}, 10)  K9–  T9–998  4-1
♯9 − 393(4^{3}, 5^{4}, 6^{2}, 10)_{2}  K9–  T9–999  4-1
♯9 − 393(4^{3}, 5^{4}, 6, 7, 9)  K9–  T9–1000  4-1
♯9 − 393(4^{3}, 5^{4}, 6, 7, 9)_{2}  K9–  T9–1001  4-1
♯9 − 393(4^{3}, 5^{4}, 6, 7, 9)_{3}  K9–  T9–1002  4-1
♯9 − 393(4^{3}, 5^{4}, 6, 7, 9)_{4}  K9–  T9–1003  4-1
♯9 − 393(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–1004  D_{4} >  4-1
♯9 − 393(4^{3}, 5, 6^{5}, 7)  K9–  T9–1005  D_{4} >  4-1
♯9 − 393(4^{2}, 5^{6}, 6, 10)  K9–  T9–1006
♯9 − 393(4^{2}, 5^{6}, 6, 10)_{2}  K9–  T9–1007
♯9 − 393(4^{2}, 5^{6}, 7, 9)  K9–  T9–1008
♯9 − 393(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–1009
♯9 − 393(4^{2}, 5^{4}, 6^{3}, 8)_{2}  K9–  T9–1010
♯9 − 393(4^{2}, 5^{4}, 6^{3}, 8)_{3}  K9–  T9–1011
♯9 − 393(4^{2}, 5^{4}, 6^{3}, 8)_{4}  K9–  T9–1012
♯9 − 393(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–1013  4-1
♯9 − 396(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1014  D_{4} >
♯9 − 396(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–1015  D_{4} >
♯9 − 396(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1016  D_{4} >
♯9 − 396(4^{2}, 5^{5}, 7^{3})  K9–  T9–1017
♯9 − 405(4^{6}, 5, 7, 9^{2})  K9–  T9–1018  D_{5} >  4-1
♯9 − 405(4^{6}, 6^{2}, 9^{2})  K9–  T9–1019  C_{3} >
♯9 − 405(4^{5}, 5, 6, 7, 8^{2})  K9–  T9–1020  D_{5} >
♯9 − 405(4^{5}, 6^{2}, 7^{2}, 8)  K9–  T9–1021  D_{5} >
♯9 − 405(4^{5}, 6^{2}, 7^{2}, 8)_{2}  K9–  T9–1022  C_{3} >
♯9 − 405(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–1023  D_{4} >
♯9 − 405(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–1024  C_{3} >
♯9 − 405(4^{4}, 5, 6^{2}, 7^{3})  K9–  T9–1025  4-1

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 405(4^{4}, 6^{4}, 7^{2})  K9–  T9–1026  D_{4} >
♯9 − 405(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1027
♯9 − 407(4^{5}, 5^{2}, 6^{2}, 12)  K9–  T9–1028  C_{3} >
♯9 − 412(4^{4}, 5^{3}, 6, 8, 9)  K9–  T9–1029  D_{4} >  4-1
♯9 − 412(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1030  4-1
♯9 − 413(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1031
♯9 − 413(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1032  D_{4} >
♯9 − 419(4^{6}, 6^{3}, 12)  K9–  T9–1033  D_{4} >
♯9 − 419(4^{6}, 6^{2}, 8, 10)  K9–  T9–1034  C_{3} >
♯9 − 419(4^{4}, 6^{5}, 8)  K9–  T9–1035  D_{4} >
♯9 − 420(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1036  D_{4} >
♯9 − 420(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–1037
♯9 − 427(4^{6}, 6^{2}, 8, 10)  K9–  T9–1038  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{2}  K9–  T9–1039  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{3}  K9–  T9–1040  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{4}  K9–  T9–1041  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{5}  K9–  T9–1042  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{6}  K9–  T9–1043  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{7}  K9–  T9–1044  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{8}  K9–  T9–1045  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{9}  K9–  T9–1046  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}0  K9–  T9–1047  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}1  K9–  T9–1048  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}2  K9–  T9–1049  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}3  K9–  T9–1050  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}4  K9–  T9–1051  D_{5} >
♯9 − 427(4^{6}, 6^{2}, 8, 10)_{1}5  K9–  T9–1052  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 9^{2})  K9–  T9–1053  C_{3} >
♯9 − 427(4^{6}, 6^{2}, 9^{2})_{2}  K9–  T9–1054  C_{3} >
♯9 − 427(4^{5}, 5, 6^{2}, 8, 9)  K9–  T9–1055  C_{3} >
♯9 − 427(4^{5}, 5, 6^{2}, 8, 9)_{2}  K9–  T9–1056  C_{3} >
♯9 − 427(4^{5}, 5, 6^{2}, 8, 9)_{3}  K9–  T9–1057  D_{5} >
♯9 − 427(4^{5}, 5, 6^{2}, 8, 9)_{4}  K9–  T9–1058  D_{5} >
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1059  D_{4} >
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})_{2}  K9–  T9–1060  D_{4} >
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})_{3}  K9–  T9–1061  D_{4} >
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})_{4}  K9–  T9–1062
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})_{5}  K9–  T9–1063  D_{4} >

num  old-name  non–isolated name manifold etc (reduce)  D_{4}
♯9 − 427(4^{4}, 5^{2}, 6^{2}, 8^{2})_{6}  K9–  T9–1064  D_{4} >
♯9 − 429(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1065  D_{5} >
♯9 − 429(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–1066  D_{4} >
♯9 − 429(4^{4}, 5^{2}, 7^{4})  K9–  T9–1067  D_{4} >
♯9 − 430(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–1068  D_{4} >  4-1
♯9 − 430(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1069  4-2
♯9 − 432(4^{7}, 6, 8, 12)  K9–  T9–1070  D_{5} >  4-1,4-2
♯9 − 432(4^{6}, 6^{3}, 12)  K9–  T9–1071  4-1
♯9 − 432(4^{6}, 6^{3}, 12)_{2}  K9–  T9–1072  4-1
♯9 − 432(4^{6}, 6^{3}, 12)_{3}  K9–  T9–1073  D_{4} >  4-2
♯9 − 432(4^{5}, 6^{3}, 7, 9)  K9–  T9–1074  4-1
♯9 − 432(4^{5}, 6^{3}, 7, 9)_{2}  K9–  T9–1075  4-1
♯9 − 432(4^{4}, 5^{2}, 6^{2}, 7, 9)  K9–  T9–1076  4-1
♯9 − 432(4^{4}, 5, 6^{4}, 9)  K9–  T9–1077  4-1
♯9 − 432(4^{4}, 6^{5}, 8)  K9–  T9–1078  4-2
♯9 − 432(4^{4}, 6^{5}, 8)_{2}  K9–  T9–1079  4-1
♯9 − 432(4^{4}, 6^{5}, 8)_{3}  K9–  T9–1080  4-1
♯9 − 432(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1081  4-1
♯9 − 433(4^{4}, 5^{3}, 7^{2}, 9)  K9–  T9–1082  D_{4} >  4-2
♯9 − 433(4^{4}, 6^{4}, 7^{2})  K9–  T9–1083  D_{4} >
♯9 − 433(4^{4}, 6^{4}, 7^{2})_{2}  K9–  T9–1084  D_{4} >  4-1
♯9 − 433(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–1085
♯9 − 433(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1086
♯9 − 433(5^{9}, 9)  K9–  T9–1087
♯9 − 433(5^{6}, 6^{4})  K9–  T9–1088
♯9 − 434(4^{4}, 5^{4}, 9^{2})  K9–  T9–1089  C_{3} >
♯9 − 434(4^{4}, 5^{3}, 6^{2}, 11)  K9–  T9–1090  D_{4} >
♯9 − 434(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1091  C_{3} >
♯9 − 434(4^{2}, 5^{6}, 6, 10)  K9–  T9–1092  D_{4} >
♯9 − 435(4^{5}, 5, 6, 7, 8^{2})  K9–  T9–1093  D_{5} >  4-1
♯9 − 435(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–1094  D_{4} >  4-2
♯9 − 435(4^{4}, 5^{2}, 7^{4})  K9–  T9–1095  D_{4} >
♯9 − 435(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–1096  D_{5} >  4-2
♯9 − 435(4^{4}, 5, 6^{3}, 7, 8)_{2}  K9–  T9–1097  D_{4} >  4-2
♯9 − 435(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1098  4-1
♯9 − 435(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1099  D_{4} >  4-1
♯9 − 436(4^{6}, 5, 8^{2}, 9)  K9–  T9–1100  D_{5} >
♯9 − 436(4^{6}, 6^{2}, 7, 11)  K9–  T9–1101  D_{5} >  4-2

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 436(4^{5}, 5^{3}, 6, 13)  K9–  T9–1102  D_{5} >
♯9 − 436(4^{5}, 5^{3}, 9, 10)  K9–  T9–1103  D_{5} >  4-2
♯9 − 436(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–1104  C_{3} >  4-1
♯9 − 436(4^{5}, 5^{2}, 8^{3})  K9–  T9–1105  D_{4} >  4-1
♯9 − 436(4^{5}, 6^{2}, 7^{2}, 8)  K9–  T9–1106  D_{5} >
♯9 − 436(4^{4}, 5^{4}, 6, 12)  K9–  T9–1107  D_{4} >  4-2
♯9 − 436(4^{4}, 5^{3}, 6, 7, 10)  K9–  T9–1108  D_{4} >  4-2
♯9 − 436(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–1109  D_{4} >
♯9 − 436(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–1110  D_{4} >
♯9 − 436(4^{4}, 5^{2}, 6, 7^{2}, 8)_{2}  K9–  T9–1111  D_{5} >
♯9 − 436(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–1112  D_{4} >  4-2
♯9 − 436(4^{4}, 5, 6^{3}, 7, 8)_{2}  K9–  T9–1113  4-2
♯9 − 436(4^{3}, 5^{5}, 6, 11)  K9–  T9–1114  D_{4} >  4-2
♯9 − 436(4^{3}, 5^{4}, 6, 7, 9)  K9–  T9–1115  4-2
♯9 − 436(4^{3}, 5^{4}, 6, 7, 9)_{2}  K9–  T9–1116  D_{4} >
♯9 − 436(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1117
♯9 − 436(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–1118  D_{5} >
♯9 − 436(4^{3}, 5^{3}, 6, 7^{3})_{2}  K9–  T9–1119  D_{5} >
♯9 − 436(4^{3}, 5^{3}, 6, 7^{3})_{3}  K9–  T9–1120  D_{4} >
♯9 − 436(4^{3}, 5, 6^{5}, 7)  K9–  T9–1121  D_{4} >
♯9 − 436(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–1122
♯9 − 436(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–1123  4-2
♯9 − 436(4^{2}, 5^{4}, 6^{3}, 8)  K9–  T9–1124
♯9 − 436(4^{2}, 5^{4}, 6^{3}, 8)_{2}  K9–  T9–1125
♯9 − 436(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–1126
♯9 − 436(4^{2}, 5^{4}, 6^{2}, 7^{2})_{2}  K9–  T9–1127
♯9 − 437(4^{5}, 5, 6, 7, 8^{2})  K9–  T9–1128  D_{5} >
♯9 − 437(4^{5}, 6^{3}, 7, 9)  K9–  T9–1129  D_{5} >
♯9 − 437(4^{4}, 5^{2}, 6^{2}, 7, 9)  K9–  T9–1130  D_{4} >
♯9 − 437(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1131  C_{3} >
♯9 − 437(4^{4}, 5, 6^{3}, 7, 8)  K9–  T9–1132  D_{5} >
♯9 − 437(4^{4}, 5, 6^{2}, 7^{3})  K9–  T9–1133  D_{5} >
♯9 − 437(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1134  D_{4} >
♯9 − 437(4^{3}, 5^{3}, 6^{2}, 7, 8)_{2}  K9–  T9–1135  D_{4} >
♯9 − 437(4^{3}, 5^{3}, 6, 7^{3})  K9–  T9–1136  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–1137  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{4}, 8)_{2}  K9–  T9–1138  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1139  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 437(4^{3}, 5^{2}, 6^{3}, 7^{2})_{2}  K9–  T9–1140  D_{4} >
♯9 − 437(4^{3}, 5^{2}, 6^{3}, 7^{2})_{3}  K9–  T9–1141  D_{4} >
♯9 − 437(4^{2}, 5^{5}, 6^{2}, 9)  K9–  T9–1142
♯9 − 437(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–1143  D_{4} >
♯9 − 437(4^{2}, 5^{5}, 6, 7, 8)_{2}  K9–  T9–1144  D_{4} >
♯9 − 437(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–1145
♯9 − 437(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1146
♯9 − 437(4^{2}, 5^{3}, 6^{4}, 7)_{2}  K9–  T9–1147
♯9 − 437(4, 5^{5}, 6^{3}, 7)  K9–  T9–1148
♯9 − 439(4^{4}, 5^{4}, 9^{2})  K9–  T9–1149  C_{3} >
♯9 − 439(4^{4}, 5^{4}, 9^{2})_{2}  K9–  T9–1150  C_{3} >
♯9 − 439(4^{4}, 5^{3}, 7^{2}, 9)  K9–  T9–1151  C_{3} >
♯9 − 439(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–1152  D_{4} >
♯9 − 439(4^{4}, 5^{2}, 7^{4})  K9–  T9–1153  D_{4} >
♯9 − 440(4^{6}, 5, 6, 9, 10)  K9–  T9–1154  C_{3} >
♯9 − 440(4^{6}, 7^{3}, 9)  K9–  T9–1155  D_{5} >
♯9 − 440(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–1156  D_{5} >
♯9 − 440(4^{5}, 5, 6, 7^{2}, 9)  K9–  T9–1157  D_{5} >
♯9 − 440(4^{5}, 5, 7^{3}, 8)  K9–  T9–1158  D_{5} >
♯9 − 440(4^{4}, 5^{3}, 7, 8^{2})  K9–  T9–1159  D_{5} >
♯9 − 440(4^{4}, 5^{3}, 7, 8^{2})_{2}  K9–  T9–1160  C_{3} >
♯9 − 440(4^{4}, 5^{2}, 6^{3}, 10)  K9–  T9–1161  D_{4} >
♯9 − 440(4^{4}, 5^{2}, 6^{2}, 7, 9)  K9–  T9–1162  D_{4} >
♯9 − 440(4^{4}, 5^{2}, 6^{2}, 7, 9)_{2}  K9–  T9–1163  D_{4} >
♯9 − 440(4^{4}, 5^{2}, 6, 7^{2}, 8)  K9–  T9–1164  D_{4} >
♯9 − 440(4^{4}, 5^{2}, 6, 7^{2}, 8)_{2}  K9–  T9–1165  D_{4} >
♯9 − 440(4^{4}, 5^{2}, 6, 7^{2}, 8)_{3}  K9–  T9–1166  C_{3} >
♯9 − 440(4^{3}, 5^{3}, 6^{3}, 9)  K9–  T9–1167  D_{4} >
♯9 − 440(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1168  D_{4} >
♯9 − 440(4^{3}, 5^{3}, 6^{2}, 7, 8)_{2}  K9–  T9–1169  D_{5} >
♯9 − 440(4^{3}, 5^{2}, 6^{4}, 8)  K9–  T9–1170  D_{4} >
♯9 − 440(4^{3}, 5^{2}, 6^{3}, 7^{2})  K9–  T9–1171  D_{4} >
♯9 − 440(4^{3}, 5^{2}, 6^{3}, 7^{2})_{2}  K9–  T9–1172  D_{4} >
♯9 − 440(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1173  D_{4} >
♯9 − 441(4^{6}, 6^{3}, 12)  K9–  T9–1174  D_{4} >
♯9 − 441(4^{4}, 6^{5}, 8)  K9–  T9–1175  D_{4} >
♯9 − 442(4^{3}, 5^{4}, 6, 8^{2})  K9–  T9–1176  D_{4} >
♯9 − 442(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1177  D_{4} >

num  old-name  non–isolated name manifold etc (reduce) D_{4}
♯9 − 442(4^{2}, 5^{5}, 6, 7, 8)  K9–  T9–1178  D_{4} >
♯9 − 442(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1179
♯9 − 443(4^{5}, 5^{2}, 6, 7, 11)  K9–  T9–1180  D_{4} >
♯9 − 443(4^{5}, 5^{2}, 6, 8, 10)  K9–  T9–1181  D_{5} >
♯9 − 443(4^{4}, 5^{4}, 9^{2})  K9–  T9–1182  D_{5} >
♯9 − 443(4^{4}, 5^{2}, 6^{2}, 7, 9)  K9–  T9–1183  D_{4} >
♯9 − 443(4^{4}, 5^{2}, 6^{2}, 7, 9)_{2}  K9–  T9–1184  D_{4} >
♯9 − 443(4^{4}, 5^{2}, 6^{2}, 8^{2})  K9–  T9–1185  D_{4} >
♯9 − 443(4^{4}, 5^{2}, 6^{2}, 8^{2})_{2}  K9–  T9–1186  D_{4} >
♯9 − 443(4^{3}, 5^{3}, 6^{2}, 7, 8)  K9–  T9–1187
♯9 − 443(4^{3}, 5^{3}, 6^{2}, 7, 8)_{2}  K9–  T9–1188  D_{4} >
♯9 − 443(4^{2}, 5^{6}, 6, 10)  K9–  T9–1189
♯9 − 443(4^{2}, 5^{6}, 7, 9)  K9–  T9–1190  D_{4} >
♯9 − 443(4^{2}, 5^{5}, 7^{3})  K9–  T9–1191
♯9 − 443(4^{2}, 5^{4}, 6^{2}, 7^{2})  K9–  T9–1192
♯9 − 443(4^{2}, 5^{3}, 6^{4}, 7)  K9–  T9–1193
♯9 − 443(5^{8}, 6, 8)  K9–  T9–1194