| u(m3_1 # 5_1 # 6_2) | u(m3_1 # 5_1 # 6_2) | {m3_1 # 5_1 # 6_2} | true |
| u(m3_1 # 5_1 # m6_2) | u(m3_1 # 5_1 # m6_2) | {m3_1 # 5_1 # m6_2} | true |
| u(m3_1 # 5_1 # 6_3) | u(m3_1 # 5_1 # 6_3) | {m3_1 # 5_1 # 6_3} | true |
| u(m3_1 # m5_1 # 6_1) | u(m3_1 # m5_1 # 6_1) | {m3_1 # m5_1 # 6_1} | true |
| u(m3_1 # m5_1 # m6_1) | u(m3_1 # m5_1 # m6_1) | {m3_1 # m5_1 # m6_1} | true |
| u(m3_1 # m5_1 # 6_2) | u(m3_1 # m5_1 # 6_2) | {m3_1 # m5_1 # 6_2} | true |
| u(m3_1 # m5_1 # m6_2) | u(m3_1 # m5_1 # m6_2) | {m3_1 # m5_1 # m6_2} | true |
| u(m3_1 # m5_1 # 6_3) | u(m3_1 # m5_1 # 6_3) | {m3_1 # m5_1 # 6_3} | true |
| u(m3_1 # 5_2 # 6_1) | u(m3_1 # 5_2 # 6_1) | {m3_1 # 5_2 # 6_1} | true |
| u(m3_1 # 5_2 # m6_1) | u(m3_1 # 5_2 # m6_1) | {m3_1 # 5_2 # m6_1} | true |
| u(m3_1 # 5_2 # 6_2) | u(m3_1 # 5_2 # 6_2) | {m3_1 # 5_2 # 6_2} | true |
| u(m3_1 # 5_2 # m6_2) | u(m3_1 # 5_2 # m6_2) | {m3_1 # 5_2 # m6_2} | true |
| u(m3_1 # 5_2 # 6_3) | u(m3_1 # 5_2 # 6_3) | {m3_1 # 5_2 # 6_3} | true |
| u(m3_1 # m5_2 # 6_1) | u(m3_1 # m5_2 # 6_1) | {m3_1 # m5_2 # 6_1} | true |
| u(m3_1 # m5_2 # m6_1) | u(m3_1 # m5_2 # m6_1) | {m3_1 # m5_2 # m6_1} | true |
| u(m3_1 # m5_2 # 6_2) | u(m3_1 # m5_2 # 6_2) | {m3_1 # m5_2 # 6_2} | true |
| u(m3_1 # m5_2 # m6_2) | u(m3_1 # m5_2 # m6_2) | {m3_1 # m5_2 # m6_2} | true |
| u(m3_1 # m5_2 # 6_3) | u(m3_1 # m5_2 # 6_3) | {m3_1 # m5_2 # 6_3} | true |
| u(m3_1 # 11a_1) | u(m3_1 # 11a_1) | {m3_1 # 11a_1} | true |
| u(m3_1 # m11a_1) | u(m3_1 # m11a_1) | {m3_1 # m11a_1} | true |
| u(m3_1 # 11a_2) | u(m3_1 # 11a_2) | {m3_1 # 11a_2, m3_1 # r11a_2} | false |
| u(m3_1 # m11a_2) | u(m3_1 # m11a_2) | {m3_1 # m11a_2, m3_1 # mr11a_2} | false |
| u(m3_1 # 11a_3) | u(m3_1 # 11a_3) | {m3_1 # 11a_3, m3_1 # r11a_3} | false |
| u(m3_1 # m11a_3) | u(m3_1 # m11a_3) | {m3_1 # m11a_3, m3_1 # mr11a_3} | false |
| u(m3_1 # 11a_4) | u(m3_1 # 11a_4) | {m3_1 # 11a_4} | true |
| u(m3_1 # m11a_4) | u(m3_1 # m11a_4) | {m3_1 # m11a_4} | true |
| u(m3_1 # 11a_5) | u(m3_1 # 11a_5) | {m3_1 # 11a_5} | true |
| u(m3_1 # m11a_5) | u(m3_1 # m11a_5) | {m3_1 # m11a_5} | true |
| u(m3_1 # 11a_6) | u(m3_1 # 11a_6) | {m3_1 # 11a_6} | true |
| u(m3_1 # m11a_6) | u(m3_1 # m11a_6) | {m3_1 # m11a_6} | true |
| u(m3_1 # 11a_7) | u(m3_1 # 11a_7) | {m3_1 # 11a_7} | true |
| u(m3_1 # m11a_7) | u(m3_1 # m11a_7) | {m3_1 # m11a_7} | true |
| u(m3_1 # 11a_8) | u(m3_1 # 11a_8) | {m3_1 # 11a_8} | true |
| u(m3_1 # m11a_8) | u(m3_1 # m11a_8) | {m3_1 # m11a_8} | true |
| u(m3_1 # 11a_9) | u(m3_1 # 11a_9) | {m3_1 # 11a_9} | true |
| u(m3_1 # m11a_9) | u(m3_1 # m11a_9) | {m3_1 # m11a_9} | true |
| u(m3_1 # 11a_10) | u(m3_1 # 11a_10) | {m3_1 # 11a_10} | true |
| u(m3_1 # m11a_10) | u(m3_1 # m11a_10) | {m3_1 # m11a_10} | true |
| u(m3_1 # 11a_11) | u(m3_1 # 11a_11) | {m3_1 # 11a_11} | true |
| u(m3_1 # m11a_11) | u(m3_1 # m11a_11) | {m3_1 # m11a_11} | true |
| u(m3_1 # 11a_12) | u(m3_1 # 11a_12) | {m3_1 # 11a_12} | true |
| u(m3_1 # m11a_12) | u(m3_1 # m11a_12) | {m3_1 # m11a_12} | true |
| u(m3_1 # 11a_13) | u(m3_1 # 11a_13) | {m3_1 # 11a_13} | true |
| u(m3_1 # m11a_13) | u(m3_1 # m11a_13) | {m3_1 # m11a_13} | true |
| u(m3_1 # 11a_14) | u(m3_1 # 11a_14) | {m3_1 # 11a_14} | true |
| u(m3_1 # m11a_14) | u(m3_1 # m11a_14) | {m3_1 # m11a_14} | true |
| u(m3_1 # 11a_15) | u(m3_1 # 11a_15) | {m3_1 # 11a_15, m3_1 # r11a_15} | false |
| u(m3_1 # m11a_15) | u(m3_1 # m11a_15) | {m3_1 # m11a_15, m3_1 # mr11a_15} | false |
| u(m3_1 # 11a_16) | u(m3_1 # 11a_16) | {m3_1 # 11a_16} | true |
| u(m3_1 # m11a_16) | u(m3_1 # m11a_16) | {m3_1 # m11a_16} | true |
| u(m3_1 # 11a_17) | u(m3_1 # 11a_17) | {m3_1 # 11a_17, m3_1 # r11a_17} | false |
| u(m3_1 # m11a_17) | u(m3_1 # m11a_17) | {m3_1 # m11a_17, m3_1 # mr11a_17} | false |
| u(m3_1 # 11a_18) | u(m3_1 # 11a_18) | {m3_1 # 11a_18, m3_1 # r11a_18} | false |
| u(m3_1 # m11a_18) | u(m3_1 # m11a_18) | {m3_1 # m11a_18, m3_1 # mr11a_18} | false |
| u(m3_1 # 11a_19) | u(m3_1 # 11a_19) | {m3_1 # 11a_19, m3_1 # r11a_19} | false |
| u(m3_1 # m11a_19) | u(m3_1 # m11a_19) | {m3_1 # m11a_19, m3_1 # mr11a_19} | false |
| u(m3_1 # 11a_20) | u(m3_1 # 11a_20) | {m3_1 # 11a_20, m3_1 # r11a_20} | false |
| u(m3_1 # m11a_20) | u(m3_1 # m11a_20) | {m3_1 # m11a_20, m3_1 # mr11a_20} | false |
| u(m3_1 # 11a_21) | u(m3_1 # 11a_21) | {m3_1 # 11a_21} | true |
| u(m3_1 # m11a_21) | u(m3_1 # m11a_21) | {m3_1 # m11a_21} | true |
| u(m3_1 # 11a_22) | u(m3_1 # 11a_22) | {m3_1 # 11a_22, m3_1 # r11a_22} | false |
| u(m3_1 # m11a_22) | u(m3_1 # m11a_22) | {m3_1 # m11a_22, m3_1 # mr11a_22} | false |
| u(m3_1 # 11a_23) | u(m3_1 # 11a_23) | {m3_1 # 11a_23} | true |
| u(m3_1 # m11a_23) | u(m3_1 # m11a_23) | {m3_1 # m11a_23} | true |
| u(m3_1 # 11a_24) | u(m3_1 # 11a_24) | {m3_1 # 11a_24, m3_1 # r11a_24} | false |
| u(m3_1 # m11a_24) | u(m3_1 # m11a_24) | {m3_1 # m11a_24, m3_1 # mr11a_24} | false |
| u(m3_1 # 11a_25) | u(m3_1 # 11a_25) | {m3_1 # 11a_25, m3_1 # r11a_25} | false |
| u(m3_1 # m11a_25) | u(m3_1 # m11a_25) | {m3_1 # m11a_25, m3_1 # mr11a_25} | false |
| u(m3_1 # 11a_26) | u(m3_1 # 11a_26) | {m3_1 # 11a_26, m3_1 # r11a_26} | false |
| u(m3_1 # m11a_26) | u(m3_1 # m11a_26) | {m3_1 # m11a_26, m3_1 # mr11a_26} | false |
| u(m3_1 # 11a_27) | u(m3_1 # 11a_27) | {m3_1 # 11a_27, m3_1 # r11a_27} | false |
| u(m3_1 # m11a_27) | u(m3_1 # m11a_27) | {m3_1 # m11a_27, m3_1 # mr11a_27} | false |
| u(m3_1 # 11a_28) | u(m3_1 # 11a_28) | {m3_1 # 11a_28, m3_1 # r11a_28} | false |
| u(m3_1 # m11a_28) | u(m3_1 # m11a_28) | {m3_1 # m11a_28, m3_1 # mr11a_28} | false |
| u(m3_1 # 11a_29) | u(m3_1 # 11a_29) | {m3_1 # 11a_29, m3_1 # r11a_29} | false |
| u(m3_1 # m11a_29) | u(m3_1 # m11a_29) | {m3_1 # m11a_29, m3_1 # mr11a_29} | false |
| u(m3_1 # 11a_30) | u(m3_1 # 11a_30) | {m3_1 # 11a_30, m3_1 # r11a_30} | false |
| u(m3_1 # m11a_30) | u(m3_1 # m11a_30) | {m3_1 # m11a_30, m3_1 # mr11a_30} | false |
| u(m3_1 # 11a_31) | u(m3_1 # 11a_31) | {m3_1 # 11a_31} | true |
| u(m3_1 # m11a_31) | u(m3_1 # m11a_31) | {m3_1 # m11a_31} | true |
| u(m3_1 # 11a_32) | u(m3_1 # 11a_32) | {m3_1 # 11a_32} | true |
| u(m3_1 # m11a_32) | u(m3_1 # m11a_32) | {m3_1 # m11a_32} | true |
| u(m3_1 # 11a_33) | u(m3_1 # 11a_33) | {m3_1 # 11a_33} | true |
| u(m3_1 # m11a_33) | u(m3_1 # m11a_33) | {m3_1 # m11a_33} | true |
| u(m3_1 # 11a_34) | u(m3_1 # 11a_34) | {m3_1 # 11a_34} | true |
| u(m3_1 # m11a_34) | u(m3_1 # m11a_34) | {m3_1 # m11a_34} | true |
| u(m3_1 # 11a_35) | u(m3_1 # 11a_35) | {m3_1 # 11a_35} | true |
| u(m3_1 # m11a_35) | u(m3_1 # m11a_35) | {m3_1 # m11a_35} | true |
| u(m3_1 # 11a_36) | u(m3_1 # 11a_36) | {m3_1 # 11a_36} | true |
| u(m3_1 # m11a_36) | u(m3_1 # m11a_36) | {m3_1 # m11a_36} | true |
| u(m3_1 # 11a_37) | u(m3_1 # 11a_37) | {m3_1 # 11a_37} | true |
| u(m3_1 # m11a_37) | u(m3_1 # m11a_37) | {m3_1 # m11a_37} | true |
| u(m3_1 # 11a_38) | u(m3_1 # 11a_38) | {m3_1 # 11a_38, m3_1 # r11a_38} | false |
| u(m3_1 # m11a_38) | u(m3_1 # m11a_38) | {m3_1 # m11a_38, m3_1 # mr11a_38} | false |
| u(m3_1 # 11a_39) | u(m3_1 # 11a_39) | {m3_1 # 11a_39} | true |
| u(m3_1 # m11a_39) | u(m3_1 # m11a_39) | {m3_1 # m11a_39} | true |
| u(m3_1 # 11a_40) | u(m3_1 # 11a_40) | {m3_1 # 11a_40} | true |
| u(m3_1 # m11a_40) | u(m3_1 # m11a_40) | {m3_1 # m11a_40} | true |
| u(m3_1 # 11a_41) | u(m3_1 # 11a_41) | {m3_1 # 11a_41} | true |
| u(m3_1 # m11a_41) | u(m3_1 # m11a_41) | {m3_1 # m11a_41} | true |