name DSname manifold etc generator reducible
K7–01  ♯1_{2}^{7}
K7–02  ♯1_{2}^{7}
K7–03  ♯1_{2}^{7}
K7–04  ♯1_{2}^{7}
K7–05  ♯1_{2}^{7}
K7–06  ♯1_{2}^{7}
K7–07  ♯1_{2}^{7}
K7–08  ♯1_{2}^{7}
K7–09  ♯1_{2}^{7}
K7–10  ♯1_{2}^{7}
K7–11  ♯1_{2}^{7}
K7–12  ♯1_{2}^{7}
K7–13  ♯1_{2}^{7}
K7–14  ♯1_{2}^{7}
K7–15  ♯1_{2}^{7}
K7–16  ♯1_{2}^{7}
K7–17  ♯1_{2}^{7}
K7–18  ♯1_{2}^{7}
K7–19  ♯1_{2}^{7}
K7–20  ♯1_{2}^{7}
K7–21  ♯1_{2}^{7}
K7–22  ♯1_{2}^{7}
K7–23  ♯1_{2}^{7}
K7–24  ♯1_{2}^{7}
K7–25  ♯1_{2}^{7}
K7–26  ♯1_{2}^{7}
K7–27  ♯1_{2}^{7}
K7–28  ♯1_{2}^{7}
K7–29  ♯1_{2}^{7}
K7–30  ♯1_{2}^{7}
K7–31  ♯1_{2}^{7}
K7–32  ♯1_{2}^{7}
K7–33  ♯1_{2}^{7}
K7–34  ♯1_{2}^{7}
K7–35  ♯1_{2}^{7}
K7–36  ♯1_{2}^{7}
K7–37  ♯1_{2}^{7}

name DSname manifold etc generator reducible
K7–38  ♯1_{2}^{7}
K7–39  ♯1_{2}^{7}
K7–40  ♯1_{2}^{7}
K7–41  ♯1_{2}^{7}
K7–42  ♯1_{2}^{7}
K7–43  ♯1_{2}^{7}
K7–44  ♯1_{2}^{7}
K7–45  ♯1_{2}^{7}
K7–46  ♯1_{2}^{7}
K7–47  ♯1_{2}^{7}
K7–48  ♯1_{2}^{7}
K7–49  ♯1_{2}^{7}
K7–50  ♯1_{2}^{7}
K7–51  ♯1_{2}^{7}
K7–52  ♯1_{2}^{7}
K7–53  ♯1_{2}^{7}
K7–54  ♯1_{2}^{7}
K7–55  ♯1_{2}^{7}
K7–56  ♯1_{2}^{7}
K7–57  ♯1_{2}^{7}
K7–58  ♯1_{2}^{7}
K7–59  ♯1_{2}^{7}
K7–60  ♯1_{2}^{7}
K7–61  ♯1_{2}^{7}
K7–62  ♯1_{2}^{7}
K7–63  ♯1_{2}^{7}
K7–64  ♯1_{2}^{7}
K7–65  ♯1_{2}^{7}
K7–66  ♯1_{2}^{7}
K7–67  ♯1_{2}^{7}
K7–68  ♯1_{2}^{7}
K7–69  ♯1_{2}^{7}
K7–70  ♯1_{2}^{7}
K7–71  ♯1_{2}^{7}
K7–72  ♯1_{2}^{7}
K7–73  ♯3_{2} + ♯1_{1}^{4}
K7–74  ♯3_{2} + ♯1_{1}^{4}
K7–75  ♯3_{2} + ♯1_{1}^{4}

name DSname manifold etc  generator  reducible
K7–76  ♯3_{2} + ♯1_{1}^{4}
K7–77  ♯3_{2} + ♯1_{1}^{4}
K7–78  ♯3_{2} + ♯1_{1}^{4}
K7–79  ♯3_{2} + ♯1_{1}^{4}
K7–80  ♯3_{2} + ♯1_{1}^{4}
K7–81  ♯3_{2} + ♯1_{1}^{4}
K7–82  ♯3_{2} + ♯1_{1}^{4}
K7–83  ♯3_{2} + ♯1_{1}^{4}
K7–84  ♯3_{2} + ♯1_{1}^{4}
K7–85  ♯3_{2} + ♯1_{1}^{4}
K7–86  ♯3_{2} + ♯1_{1}^{4}
K7–87  ♯3_{2} + ♯1_{1}^{4}
K7–88  ♯3_{2} + ♯1_{1}^{4}
K7–89  ♯3_{2} + ♯1_{1}^{4}
K7–90  ♯3_{2} + ♯1_{1}^{4}
K7–91  ♯3_{2} + ♯1_{1}^{4}
K7–92  ♯3_{2} + ♯1_{1}^{4}
K7–93  ♯3_{2} + ♯1_{1}^{4}
K7–94  ♯3_{2} + ♯1_{1}^{4}
K7–95  ♯3_{2} + ♯1_{1}^{4}
K7–96  ♯3_{2} + ♯1_{1}^{4}
K7–97  ♯3_{2} + ♯1_{1}^{4}
K7–98  ♯3_{2} + ♯1_{1}^{4}
K7–99  ♯3_{2} + ♯1_{1}^{4}
K7–100  ♯3_{2} + ♯1_{1}^{4}
K7–101  ♯3_{2} + ♯1_{1}^{4}
K7–102  ♯3_{2} + ♯1_{1}^{4}
K7–103  ♯3_{2} + ♯1_{1}^{4}
K7–104  ♯3_{2} + ♯1_{1}^{4}
K7–105  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–106  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–107  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–108  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–109  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–110  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–111  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–112  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–113  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}

name DSname manifold etc  generator  reducible
K7–114  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–115  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–116  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–117  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–118  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–119  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–120  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–121  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–122  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–123  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–124  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–125  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–126  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–127  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–128  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–129  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–130  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–131  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–132  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–133  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–134  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–135  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–136  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–137  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–138  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–139  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–140  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–141  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–142  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–143  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–144  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–145  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–146  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–147  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–148  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–149  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–150  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–151  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}

name DSname manifold etc  generator  reducible
K7–152  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–153  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–154  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–155  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–156  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–157  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–158  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–159  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–160  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–161  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–162  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–163  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–164  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–165  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–166  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–167  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–168  ♯3_{1} + ♯1_{1}^{3} + ♯1_{1}
K7–169  T4–1 + ♯1_{1}^{3}
K7–170  T4–1 + ♯1_{1}^{3}
K7–171  T4–1 + ♯1_{1}^{3}
K7–172  T4–1 + ♯1_{1}^{3}
K7–173  T4–1 + ♯1_{1}^{3}
K7–174  T4–1 + ♯1_{1}^{3}
K7–175  T4–1 + ♯1_{1}^{3}
K7–176  T4–1 + ♯1_{1}^{3}
K7–177  T4–1 + ♯1_{1}^{3}
K7–178  T4–1 + ♯1_{1}^{3}
K7–179  T4–1 + ♯1_{1}^{3}
K7–180  T4–1 + ♯1_{1}^{3}
K7–181  T4–1 + ♯1_{1}^{3}
K7–182  T4–1 + ♯1_{1}^{3}
K7–183  T4–1 + ♯1_{1}^{3}
K7–184  T4–1 + ♯1_{1}^{3}
K7–185  T5–1 + ♯1_{1}^{2} >
K7–186  T5–1 + ♯1_{1}^{2} >
K7–187  T5–1 + ♯1_{1}^{2} >
K7–188  T5–1 + ♯1_{1}^{2} >
K7–189  T5–1 + ♯1_{1}^{2} >

name DSname manifold etc  generator  reducible
K7–190  T5–1 + ♯1_{1}^{2} >
K7–191  T5–1 + ♯1_{1}^{2} >
K7–192  T5–1 + ♯1_{1}^{2} >
K7–193  T5–1 + ♯1_{1}^{2} >
K7–194  T5–1 + ♯1_{1}^{2} >
K7–195  T5–2 + ♯1_{1}^{2}⇒
K7–196  T5–2 + ♯1_{1}^{2}⇒
K7–197  T5–2 + ♯1_{1}^{2}⇒
K7–198  T5–2 + ♯1_{1}^{2}⇒
K7–199  T5–1 + ♯1_{1}^{2} >
K7–200  T5–1 + ♯1_{1}^{2} >
K7–201  T5–1 + ♯1_{1}^{2} >
K7–202  T5–1 + ♯1_{1}^{2} >
K7–203  T5–1 + ♯1_{1}^{2} >
K7–204  T5–1 + ♯1_{1}^{2} >
K7–205  T5–1 + ♯1_{1}^{2} >
K7–206  T5–1 + ♯1_{1}^{2} >
K7–207  T5–1 + ♯1_{1}^{2} >
K7–208  T5–1 + ♯1_{1}^{2} >
K7–209  T5–2 + ♯1_{1}^{2}⇒
K7–210  T5–2 + ♯1_{1}^{2}⇒
K7–211  T5–2 + ♯1_{1}^{2}⇒
K7–212  T5–2 + ♯1_{1}^{2}⇒
K7–213  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–214  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–215  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–216  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–217  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–218  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–219  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–220  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–221  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–222  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–223  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–224  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–225  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–226  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–227  ♯3 + ♯1_{1}^{2} + 2♯1_{1}

name DSname manifold etc  generator  reducible
K7–228  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–229  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–230  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–231  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–232  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–233  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–234  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–235  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–236  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–237  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–238  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–239  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–240  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–241  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–242  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–243  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–244  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–245  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–246  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–247  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–248  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–249  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–250  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–251  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–252  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–253  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–254  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–255  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–256  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–257  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–258  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–259  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–260  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–261  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–262  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–263  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–264  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–265  ♯3 + ♯1_{1}^{2} + 2♯1_{1}

name DSname manifold etc  generator  reducible
K7–266  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–267  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–268  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–269  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–270  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–271  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–272  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–273  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–274  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–275  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–276  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–277  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–278  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–279  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–280  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–281  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–282  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–283  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–284  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–285  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–286  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–287  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–288  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–289  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–290  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–291  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–292  ♯3 + ♯1_{1}^{2} + 2♯1_{1}
K7–293  T5–3 + ♯1_{1}^{2}⇒
K7–294  T5–3 + ♯1_{1}^{2}⇒
K7–295  T5–3 + ♯1_{1}^{2}⇒
K7–296  T5–3 + ♯1_{1}^{2}⇒
K7–297  T5–3 + ♯1_{1}^{2}⇒
K7–298  T5–3 + ♯1_{1}^{2}⇒
K7–299  T5–3 + ♯1_{1}^{2}⇒
K7–300  T5–3 + ♯1_{1}^{2}⇒
K7–301  ♯3_{2} + ♯3_{1} + ♯1_{1}  D_{4} >
K7–302  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–303  ♯3_{2} + ♯3_{1} + ♯1_{1}

name DSname manifold etc  generator  reducible
K7–304  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–305  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–306  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–307  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–308  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–309  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–310  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–311  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–312  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–313  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–314  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–315  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–316  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–317  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–318  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–319  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–320  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–321  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–322  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–323  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–324  ♯3_{2} + ♯3_{1} + ♯1_{1}
K7–325  T6–01_{1} + ♯1_{1} >
K7–326  T6–02 + ♯1_{1}⇒
K7–327  T6–01_{1} + ♯1_{1} >
K7–328  T6–01_{1} + ♯1_{1} >
K7–329  T6–01_{1} + ♯1_{1} >
K7–330  T6–01_{1} + ♯1_{1} >
K7–331  T6–02 + ♯1_{1}⇒
K7–332  T6–02 + ♯1_{1}⇒
K7–333  T6–01_{1} + ♯1_{1} >
K7–334  T6–01_{1} + ♯1_{1} >
K7–335  T6–01_{1} + ♯1_{1} >
K7–336  T6–01_{1} + ♯1_{1} >
K7–337  T6–01_{1} + ♯1_{1} >
K7–338  T6–02 + ♯1_{1}⇒
K7–339  T6–03 + ♯1_{1}⇒
K7–340  T6–03 + ♯1_{1}⇒
K7–341  T6–03 + ♯1_{1}⇒

name DSname manifold etc  generator  reducible
K7–342  T6–03 + ♯1_{1}⇒
K7–343  T6–04_{1} + ♯1_{1} >
K7–344  T6–05_{1} + ♯1_{1} >
K7–345 T6–06 + ♯1_{1}⇒ D_{4} >
K7–346  T6–04_{1} + ♯1_{1} >
K7–347  T6–04_{1} + ♯1_{1} >
K7–348  T6–04_{1} + ♯1_{1} >
K7–349  T6–07 + ♯1_{1}⇒
K7–350  T6–04_{1} + ♯1_{1} >
K7–351  T6–05_{1} + ♯1_{1} >
K7–352  T6–05_{1} + ♯1_{1} >
K7–353 T6–06 + ♯1_{1}⇒ D_{4} >
K7–354  T6–04 + ♯1_{1} >
K7–355  T6–04_{1} + ♯1_{1} >
K7–356  T6–04 + ♯1_{1} >
K7–357  T6–04_{1} + ♯1_{1} >
K7–358  T6–04 + ♯1_{1} >
K7–359  T6–08_{1} + ♯1_{1}
K7–360  T6–07 + ♯1_{1}⇒
K7–361  T6–05_{1} + ♯1_{1} >
K7–362  T6–04_{1} + ♯1_{1} >
K7–363  T6–07 + ♯1_{1}⇒
K7–364  T6–04_{1} + ♯1_{1} >
K7–365  T6–04 + ♯1_{1} >
K7–366  T6–04 + ♯1_{1} >
K7–367  T6–08_{1} + ♯1_{1}
K7–368  T6–08_{1} + ♯1_{1}
K7–369  T6–07 + ♯1_{1}⇒
K7–370  T6–08_{1} + ♯1_{1}
K7–371  T6–09_{1} + ♯1_{1} >
K7–372  T6–09_{1} + ♯1_{1} >
K7–373  T6–09_{1} + ♯1_{1} >
K7–374  T6–09_{1} + ♯1_{1} >
K7–375  T6–09_{1} + ♯1_{1} >
K7–376  T6–09_{1} + ♯1_{1} >
K7–377  T6–09_{1} + ♯1_{1} >
K7–378  T6–09_{1} + ♯1_{1} >
K7–379  T5–1 + 2♯1_{1} >

name DSname manifold etc  generator  reducible
K7–380  T5–1 + 2♯1_{1} >
K7–381  T5–1 + 2♯1_{1} >
K7–382  T5–1 + 2♯1_{1} >
K7–383  T5–1 + 2♯1_{1} >
K7–384  T5–1 + 2♯1_{1} >
K7–385  T5–1 + 2♯1_{1} >
K7–386  T5–1 + 2♯1_{1} >
K7–387  T5–1 + 2♯1_{1} >
K7–388  T5–1 + 2♯1_{1} >
K7–389  T5–1 + 2♯1_{1} >
K7–390  T5–1 + 2♯1_{1} >
K7–391  T5–1 + 2♯1_{1} >
K7–392  T5–1 + 2♯1_{1} >
K7–393  T5–1 + 2♯1_{1} >
K7–394  T5–1 + 2♯1_{1} >
K7–395  T5–1 + 2♯1_{1} >
K7–396  T5–1 + 2♯1_{1} >
K7–397  T5–1 + 2♯1_{1} >
K7–398  T5–1 + 2♯1_{1} >
K7–399  T5–1 + 2♯1_{1} >
K7–400  T6–10 + ♯1_{1} >
K7–401  T6–10 + ♯1_{1} >
K7–402  T6–10 + ♯1_{1} >
K7–403  T6–10 + ♯1_{1} >
K7–404  T6–11 + ♯1_{1} >  C_{3} >
K7–405  T6–11 + ♯1_{1} >  D_{4} >
K7–406  T6–11 + ♯1_{1} >  D_{4} >
K7–407  T6–11 + ♯1_{1} >  D_{4} >
K7–408  T6–10 + ♯1_{1} >
K7–409  T6–10 + ♯1_{1} >
K7–410  T6–11 + ♯1_{1} >  D_{4} >
K7–411  T6–11 + ♯1_{1} >  D_{4} >
K7–412  T6–11 + ♯1_{1} >  D_{4} >
K7–413  T6–11 + ♯1_{1} >  D_{4} >
K7–414  T6–11 + ♯1_{1} >  D_{4} >
K7–415  T6–11 + ♯1_{1} >  D_{4} >
K7–416  T6–11 + ♯1_{1} >  D_{4} >
K7–417  T6–11 + ♯1_{1} >  D_{4} >

name DSname manifold etc  generator  reducible
K7–418  T6–12 + ♯1_{1} >  D_{4} >
K7–419  T6–12 + ♯1_{1} >  D_{4} >
K7–420  T6–12 + ♯1_{1} >  D_{4} >
K7–421  T6–12 + ♯1_{1} >  D_{4} >
K7–422  T6–13 + ♯1_{1}  D_{4} >
K7–423  T6–14 + ♯1_{1}  D_{4} >
K7–424  T6–12 + ♯1_{1} >
K7–425  T6–13 + ♯1_{1}
K7–426  T6–14 + ♯1_{1}
K7–427  ♯3_{2} + ♯1 + ♯3_{2}
K7–428  ♯3_{2} + ♯1 + ♯3_{2}
K7–429  ♯3_{2} + ♯1 + ♯3_{2}
K7–430  ♯3_{2} + ♯1 + ♯3_{2}
K7–431  ♯3_{2} + ♯1 + ♯3_{2}
K7–432  ♯3_{2} + ♯1 + ♯3_{2}
K7–433  ♯3_{2} + T4–1  D_{4} >
K7–434  ♯3_{2} + T4–1  D_{4} >
K7–435  ♯3_{2} + T4–1
K7–436  ♯3_{2} + T4–1
K7–437  ♯3_{2} + T4–1
K7–438  ♯3_{2} + T4–1
K7–439 Σ(Q_{28}) S^{3}/Q_{28}  T7–35
K7–440  T7–36
K7–441  T7–01_{2} >
K7–442  T7–01_{2} >
K7–443  T7–02_{1}⇒
K7–444  T7–37  D_{5} >
K7–445  T7–38  D_{5} >
K7–446  T7–39
K7–447  T7–40
K7–448  T7–03_{1}⇒
K7–449  T7–41  D_{5} >
K7–450  T7–42  D_{5} >
K7–451  T7–04_{2} >
K7–452  T7–04_{2} >
K7–453  T7–04_{2} >
K7–454  T7–04_{2} >
K7–455  T7–05_{1}⇒

name DSname manifold etc generator reducible
K7–456  T7–43  D_{4} >
K7–457  T7–06_{2} >
K7–458  T7–06_{2} >
K7–459  T7–06_{2} >
K7–460  T7–07_{3} >
K7–461  T7–07_{3} >
K7–462  T7–08_{1}⇒
K7–463  T7–09_{2} >
K7–464  T7–10_{2}⇒
K7–465  T7–11_{2}⇒
K7–466  T7–12_{3} >
K7–467  T7–12_{3} >
K7–468  T7–12_{3} >
K7–469  T7–12_{3} >
K7–470  T7–13_{2} >
K7–471  T7–14_{1}⇒
K7–472  T7–15_{3}⇒
K7–473  T7–13_{2} >
K7–474  T7–16_{2} >
K7–475  T7–16_{2} >
K7–476  T7–17_{1} >
K7–477  T7–18_{1}⇒
K7–478  T7–19_{4} >
K7–479  T7–19_{4} >
K7–480  T7–19_{4} >
K7–481 T7–44 D_{4} >
K7–482  T7–19_{4} >
K7–483  T7–19_{4} >
K7–484  T7–19_{4} >
K7–485  T7–20_{1}⇒
K7–486 T7–45 D_{4} >
K7–487  T7–19_{4} >
K7–488  T7–20_{1}⇒
K7–489  T7–21_{1} >  C_{3} >
K7–490  T7–21_{1} >  C_{3} >
K7–491  T7–22_{1} >  D_{5} >
K7–492  T7–46  D_{5} >
K7–493  T7–47  D_{4} >

name DSname manifold etc generator reducible
K7–494  T7–23_{1}⇒
K7–495  T7–48
K7–496  T7–49
K7–497  T7–50
K7–498  T7–24_{1}  D_{5} >
K7–499  T7–25_{2}  D_{5} >
K7–500  T7–26_{2}  D_{4} >
K7–501  T7–24_{1}  D_{5} >
K7–502  T7–27_{1}  D_{4} >
K7–503  T7–28_{1}  D_{4} >
K7–504  T7–30_{2}  C_{3} >
K7–505  T7–30_{2}  C_{3} >
K7–506  T7–51  D_{4} >
K7–507  T7–52  D_{4} >
K7–508  T7–53  D_{4} >
K7–509  T7–54  D_{4} >
K7–510  T7–31_{2}  D_{4} >
K7–511  T7–55  D_{4} >
K7–512  T7–32_{1}  D_{4} >
K7–513  T7–56  D_{5} >
K7–514  T7–57
K7–515  T7–58
K7–516  T7–59
K7–517  T7–60
K7–518  T7–61
K7–519  T7–62
K7–520  T7–33_{2} >  D_{4} >
K7–521  T7–34_{1} >  D_{4} >
K7–522  T7–63  D_{4} >
K7–523  T7–33_{2} >  D_{4} >
K7–524  T7–64
K7–525  T7–65
K7–526 T7–34_{1} > D_{4} >
K7–527  T7–66
K7–528  T7–67