2 --> # 12 states -- 20 arcs
3 --> # 24 states -- 42 arcs
4 --> # 48 states -- 88 arcs
5 --> # 80 states -- 150 arcs
6 --> # 120 states -- 228 arcs
7 --> # 168 states -- 322 arcs
8 --> # 224 states -- 432 arcs
9 --> # 288 states -- 558 arcs
