| u(3_1 # m3_1 # 8_20) | u(3_1 # m3_1 # 8_20) | {3_1 # m3_1 # 8_20} | true |
| u(3_1 # m3_1 # m8_20) | u(3_1 # m3_1 # m8_20) | {3_1 # m3_1 # m8_20} | true |
| u(3_1 # m3_1 # 8_21) | u(3_1 # m3_1 # 8_21) | {3_1 # m3_1 # 8_21} | true |
| u(3_1 # m3_1 # m8_21) | u(3_1 # m3_1 # m8_21) | {3_1 # m3_1 # m8_21} | true |
| u(3_1 # 4_1 # 7_1) | u(3_1 # 4_1 # 7_1) | {3_1 # 4_1 # 7_1} | true |
| u(3_1 # 4_1 # m7_1) | u(3_1 # 4_1 # m7_1) | {3_1 # 4_1 # m7_1} | true |
| u(3_1 # 4_1 # 7_2) | u(3_1 # 4_1 # 7_2) | {3_1 # 4_1 # 7_2} | true |
| u(3_1 # 4_1 # m7_2) | u(3_1 # 4_1 # m7_2) | {3_1 # 4_1 # m7_2} | true |
| u(3_1 # 4_1 # 7_3) | u(3_1 # 4_1 # 7_3) | {3_1 # 4_1 # 7_3} | true |
| u(3_1 # 4_1 # m7_3) | u(3_1 # 4_1 # m7_3) | {3_1 # 4_1 # m7_3} | true |
| u(3_1 # 4_1 # 7_4) | u(3_1 # 4_1 # 7_4) | {3_1 # 4_1 # 7_4} | true |
| u(3_1 # 4_1 # m7_4) | u(3_1 # 4_1 # m7_4) | {3_1 # 4_1 # m7_4} | true |
| u(3_1 # 4_1 # 7_5) | u(3_1 # 4_1 # 7_5) | {3_1 # 4_1 # 7_5} | true |
| u(3_1 # 4_1 # m7_5) | u(3_1 # 4_1 # m7_5) | {3_1 # 4_1 # m7_5} | true |
| u(3_1 # 4_1 # 7_6) | u(3_1 # 4_1 # 7_6) | {3_1 # 4_1 # 7_6} | true |
| u(3_1 # 4_1 # m7_6) | u(3_1 # 4_1 # m7_6) | {3_1 # 4_1 # m7_6} | true |
| u(3_1 # 4_1 # 7_7) | u(3_1 # 4_1 # 7_7) | {3_1 # 4_1 # 7_7} | true |
| u(3_1 # 4_1 # m7_7) | u(3_1 # 4_1 # m7_7) | {3_1 # 4_1 # m7_7} | true |
| u(3_1 # 5_1 # 6_1) | u(3_1 # 5_1 # 6_1) | {3_1 # 5_1 # 6_1} | true |
| u(3_1 # 5_1 # m6_1) | u(3_1 # 5_1 # m6_1) | {3_1 # 5_1 # m6_1} | true |
| u(3_1 # 5_1 # 6_2) | u(3_1 # 5_1 # 6_2) | {3_1 # 5_1 # 6_2} | true |
| u(3_1 # 5_1 # m6_2) | u(3_1 # 5_1 # m6_2) | {3_1 # 5_1 # m6_2} | true |
| u(3_1 # 5_1 # 6_3) | u(3_1 # 5_1 # 6_3) | {3_1 # 5_1 # 6_3} | true |
| u(3_1 # m5_1 # 6_1) | u(3_1 # m5_1 # 6_1) | {3_1 # m5_1 # 6_1} | true |
| u(3_1 # m5_1 # m6_1) | u(3_1 # m5_1 # m6_1) | {3_1 # m5_1 # m6_1} | true |
| u(3_1 # m5_1 # 6_2) | u(3_1 # m5_1 # 6_2) | {3_1 # m5_1 # 6_2} | true |
| u(3_1 # m5_1 # m6_2) | u(3_1 # m5_1 # m6_2) | {3_1 # m5_1 # m6_2} | true |
| u(3_1 # m5_1 # 6_3) | u(3_1 # m5_1 # 6_3) | {3_1 # m5_1 # 6_3} | true |
| u(3_1 # 5_2 # 6_1) | u(3_1 # 5_2 # 6_1) | {3_1 # 5_2 # 6_1} | true |
| u(3_1 # 5_2 # m6_1) | u(3_1 # 5_2 # m6_1) | {3_1 # 5_2 # m6_1} | true |
| u(3_1 # 5_2 # 6_2) | u(3_1 # 5_2 # 6_2) | {3_1 # 5_2 # 6_2} | true |
| u(3_1 # 5_2 # m6_2) | u(3_1 # 5_2 # m6_2) | {3_1 # 5_2 # m6_2} | true |
| u(3_1 # 5_2 # 6_3) | u(3_1 # 5_2 # 6_3) | {3_1 # 5_2 # 6_3} | true |
| u(3_1 # m5_2 # 6_1) | u(3_1 # m5_2 # 6_1) | {3_1 # m5_2 # 6_1} | true |
| u(3_1 # m5_2 # m6_1) | u(3_1 # m5_2 # m6_1) | {3_1 # m5_2 # m6_1} | true |
| u(3_1 # m5_2 # 6_2) | u(3_1 # m5_2 # 6_2) | {3_1 # m5_2 # 6_2} | true |
| u(3_1 # m5_2 # m6_2) | u(3_1 # m5_2 # m6_2) | {3_1 # m5_2 # m6_2} | true |
| u(3_1 # m5_2 # 6_3) | u(3_1 # m5_2 # 6_3) | {3_1 # m5_2 # 6_3} | true |
| u(3_1 # 11a_1) | u(3_1 # 11a_1) | {3_1 # 11a_1} | true |
| u(3_1 # m11a_1) | u(3_1 # m11a_1) | {3_1 # m11a_1} | true |
| u(3_1 # 11a_2) | u(3_1 # 11a_2) | {3_1 # 11a_2, 3_1 # r11a_2} | false |
| u(3_1 # m11a_2) | u(3_1 # m11a_2) | {3_1 # m11a_2, 3_1 # mr11a_2} | false |
| u(3_1 # 11a_3) | u(3_1 # 11a_3) | {3_1 # 11a_3, 3_1 # r11a_3} | false |
| u(3_1 # m11a_3) | u(3_1 # m11a_3) | {3_1 # m11a_3, 3_1 # mr11a_3} | false |
| u(3_1 # 11a_4) | u(3_1 # 11a_4) | {3_1 # 11a_4} | true |
| u(3_1 # m11a_4) | u(3_1 # m11a_4) | {3_1 # m11a_4} | true |
| u(3_1 # 11a_5) | u(3_1 # 11a_5) | {3_1 # 11a_5} | true |
| u(3_1 # m11a_5) | u(3_1 # m11a_5) | {3_1 # m11a_5} | true |
| u(3_1 # 11a_6) | u(3_1 # 11a_6) | {3_1 # 11a_6} | true |
| u(3_1 # m11a_6) | u(3_1 # m11a_6) | {3_1 # m11a_6} | true |
| u(3_1 # 11a_7) | u(3_1 # 11a_7) | {3_1 # 11a_7} | true |
| u(3_1 # m11a_7) | u(3_1 # m11a_7) | {3_1 # m11a_7} | true |
| u(3_1 # 11a_8) | u(3_1 # 11a_8) | {3_1 # 11a_8} | true |
| u(3_1 # m11a_8) | u(3_1 # m11a_8) | {3_1 # m11a_8} | true |
| u(3_1 # 11a_9) | u(3_1 # 11a_9) | {3_1 # 11a_9} | true |
| u(3_1 # m11a_9) | u(3_1 # m11a_9) | {3_1 # m11a_9} | true |
| u(3_1 # 11a_10) | u(3_1 # 11a_10) | {3_1 # 11a_10} | true |
| u(3_1 # m11a_10) | u(3_1 # m11a_10) | {3_1 # m11a_10} | true |
| u(3_1 # 11a_11) | u(3_1 # 11a_11) | {3_1 # 11a_11} | true |
| u(3_1 # m11a_11) | u(3_1 # m11a_11) | {3_1 # m11a_11} | true |
| u(3_1 # 11a_12) | u(3_1 # 11a_12) | {3_1 # 11a_12} | true |
| u(3_1 # m11a_12) | u(3_1 # m11a_12) | {3_1 # m11a_12} | true |
| u(3_1 # 11a_13) | u(3_1 # 11a_13) | {3_1 # 11a_13} | true |
| u(3_1 # m11a_13) | u(3_1 # m11a_13) | {3_1 # m11a_13} | true |
| u(3_1 # 11a_14) | u(3_1 # 11a_14) | {3_1 # 11a_14} | true |
| u(3_1 # m11a_14) | u(3_1 # m11a_14) | {3_1 # m11a_14} | true |
| u(3_1 # 11a_15) | u(3_1 # 11a_15) | {3_1 # 11a_15, 3_1 # r11a_15} | false |
| u(3_1 # m11a_15) | u(3_1 # m11a_15) | {3_1 # m11a_15, 3_1 # mr11a_15} | false |
| u(3_1 # 11a_16) | u(3_1 # 11a_16) | {3_1 # 11a_16} | true |
| u(3_1 # m11a_16) | u(3_1 # m11a_16) | {3_1 # m11a_16} | true |
| u(3_1 # 11a_17) | u(3_1 # 11a_17) | {3_1 # 11a_17, 3_1 # r11a_17} | false |
| u(3_1 # m11a_17) | u(3_1 # m11a_17) | {3_1 # m11a_17, 3_1 # mr11a_17} | false |
| u(3_1 # 11a_18) | u(3_1 # 11a_18) | {3_1 # 11a_18, 3_1 # r11a_18} | false |
| u(3_1 # m11a_18) | u(3_1 # m11a_18) | {3_1 # m11a_18, 3_1 # mr11a_18} | false |
| u(3_1 # 11a_19) | u(3_1 # 11a_19) | {3_1 # 11a_19, 3_1 # r11a_19} | false |
| u(3_1 # m11a_19) | u(3_1 # m11a_19) | {3_1 # m11a_19, 3_1 # mr11a_19} | false |
| u(3_1 # 11a_20) | u(3_1 # 11a_20) | {3_1 # 11a_20, 3_1 # r11a_20} | false |
| u(3_1 # m11a_20) | u(3_1 # m11a_20) | {3_1 # m11a_20, 3_1 # mr11a_20} | false |
| u(3_1 # 11a_21) | u(3_1 # 11a_21) | {3_1 # 11a_21} | true |
| u(3_1 # m11a_21) | u(3_1 # m11a_21) | {3_1 # m11a_21} | true |
| u(3_1 # 11a_22) | u(3_1 # 11a_22) | {3_1 # 11a_22, 3_1 # r11a_22} | false |
| u(3_1 # m11a_22) | u(3_1 # m11a_22) | {3_1 # m11a_22, 3_1 # mr11a_22} | false |
| u(3_1 # 11a_23) | u(3_1 # 11a_23) | {3_1 # 11a_23} | true |
| u(3_1 # m11a_23) | u(3_1 # m11a_23) | {3_1 # m11a_23} | true |
| u(3_1 # 11a_24) | u(3_1 # 11a_24) | {3_1 # 11a_24, 3_1 # r11a_24} | false |
| u(3_1 # m11a_24) | u(3_1 # m11a_24) | {3_1 # m11a_24, 3_1 # mr11a_24} | false |
| u(3_1 # 11a_25) | u(3_1 # 11a_25) | {3_1 # 11a_25, 3_1 # r11a_25} | false |
| u(3_1 # m11a_25) | u(3_1 # m11a_25) | {3_1 # m11a_25, 3_1 # mr11a_25} | false |
| u(3_1 # 11a_26) | u(3_1 # 11a_26) | {3_1 # 11a_26, 3_1 # r11a_26} | false |
| u(3_1 # m11a_26) | u(3_1 # m11a_26) | {3_1 # m11a_26, 3_1 # mr11a_26} | false |
| u(3_1 # 11a_27) | u(3_1 # 11a_27) | {3_1 # 11a_27, 3_1 # r11a_27} | false |
| u(3_1 # m11a_27) | u(3_1 # m11a_27) | {3_1 # m11a_27, 3_1 # mr11a_27} | false |
| u(3_1 # 11a_28) | u(3_1 # 11a_28) | {3_1 # 11a_28, 3_1 # r11a_28} | false |
| u(3_1 # m11a_28) | u(3_1 # m11a_28) | {3_1 # m11a_28, 3_1 # mr11a_28} | false |
| u(3_1 # 11a_29) | u(3_1 # 11a_29) | {3_1 # 11a_29, 3_1 # r11a_29} | false |
| u(3_1 # m11a_29) | u(3_1 # m11a_29) | {3_1 # m11a_29, 3_1 # mr11a_29} | false |
| u(3_1 # 11a_30) | u(3_1 # 11a_30) | {3_1 # 11a_30, 3_1 # r11a_30} | false |
| u(3_1 # m11a_30) | u(3_1 # m11a_30) | {3_1 # m11a_30, 3_1 # mr11a_30} | false |
| u(3_1 # 11a_31) | u(3_1 # 11a_31) | {3_1 # 11a_31} | true |
| u(3_1 # m11a_31) | u(3_1 # m11a_31) | {3_1 # m11a_31} | true |