| u(m3_1 # 11a_342) | u(m3_1 # 11a_342) | {m3_1 # 11a_342} | true |
| u(m3_1 # m11a_342) | u(m3_1 # m11a_342) | {m3_1 # m11a_342} | true |
| u(m3_1 # 11a_343) | u(m3_1 # 11a_343) | {m3_1 # 11a_343} | true |
| u(m3_1 # m11a_343) | u(m3_1 # m11a_343) | {m3_1 # m11a_343} | true |
| u(m3_1 # 11a_344) | u(m3_1 # 11a_344) | {m3_1 # 11a_344, m3_1 # r11a_344} | false |
| u(m3_1 # m11a_344) | u(m3_1 # m11a_344) | {m3_1 # m11a_344, m3_1 # mr11a_344} | false |
| u(m3_1 # 11a_345) | u(m3_1 # 11a_345) | {m3_1 # 11a_345, m3_1 # r11a_345} | false |
| u(m3_1 # m11a_345) | u(m3_1 # m11a_345) | {m3_1 # m11a_345, m3_1 # mr11a_345} | false |
| u(m3_1 # 11a_346) | u(m3_1 # 11a_346) | {m3_1 # 11a_346} | true |
| u(m3_1 # m11a_346) | u(m3_1 # m11a_346) | {m3_1 # m11a_346} | true |
| u(m3_1 # 11a_347) | u(m3_1 # 11a_347) | {m3_1 # 11a_347} | true |
| u(m3_1 # m11a_347) | u(m3_1 # m11a_347) | {m3_1 # m11a_347} | true |
| u(m3_1 # 11a_348) | u(m3_1 # 11a_348) | {m3_1 # 11a_348} | true |
| u(m3_1 # m11a_348) | u(m3_1 # m11a_348) | {m3_1 # m11a_348} | true |
| u(m3_1 # 11a_349) | u(m3_1 # 11a_349) | {m3_1 # 11a_349} | true |
| u(m3_1 # m11a_349) | u(m3_1 # m11a_349) | {m3_1 # m11a_349} | true |
| u(m3_1 # 11a_350) | u(m3_1 # 11a_350) | {m3_1 # 11a_350} | true |
| u(m3_1 # m11a_350) | u(m3_1 # m11a_350) | {m3_1 # m11a_350} | true |
| u(m3_1 # 11a_351) | u(m3_1 # 11a_351) | {m3_1 # 11a_351} | true |
| u(m3_1 # m11a_351) | u(m3_1 # m11a_351) | {m3_1 # m11a_351} | true |
| u(m3_1 # 11a_352) | u(m3_1 # 11a_352) | {m3_1 # 11a_352} | true |
| u(m3_1 # m11a_352) | u(m3_1 # m11a_352) | {m3_1 # m11a_352} | true |
| u(m3_1 # 11a_353) | u(m3_1 # 11a_353) | {m3_1 # 11a_353} | true |
| u(m3_1 # m11a_353) | u(m3_1 # m11a_353) | {m3_1 # m11a_353} | true |
| u(m3_1 # 11a_354) | u(m3_1 # 11a_354) | {m3_1 # 11a_354} | true |
| u(m3_1 # m11a_354) | u(m3_1 # m11a_354) | {m3_1 # m11a_354} | true |
| u(m3_1 # 11a_355) | u(m3_1 # 11a_355) | {m3_1 # 11a_355} | true |
| u(m3_1 # m11a_355) | u(m3_1 # m11a_355) | {m3_1 # m11a_355} | true |
| u(m3_1 # 11a_356) | u(m3_1 # 11a_356) | {m3_1 # 11a_356} | true |
| u(m3_1 # m11a_356) | u(m3_1 # m11a_356) | {m3_1 # m11a_356} | true |
| u(m3_1 # 11a_357) | u(m3_1 # 11a_357) | {m3_1 # 11a_357} | true |
| u(m3_1 # m11a_357) | u(m3_1 # m11a_357) | {m3_1 # m11a_357} | true |
| u(m3_1 # 11a_358) | u(m3_1 # 11a_358) | {m3_1 # 11a_358} | true |
| u(m3_1 # m11a_358) | u(m3_1 # m11a_358) | {m3_1 # m11a_358} | true |
| u(m3_1 # 11a_359) | u(m3_1 # 11a_359) | {m3_1 # 11a_359} | true |
| u(m3_1 # m11a_359) | u(m3_1 # m11a_359) | {m3_1 # m11a_359} | true |
| u(m3_1 # 11a_360) | u(m3_1 # 11a_360) | {m3_1 # 11a_360} | true |
| u(m3_1 # m11a_360) | u(m3_1 # m11a_360) | {m3_1 # m11a_360} | true |
| u(m3_1 # 11a_361) | u(m3_1 # 11a_361) | {m3_1 # 11a_361} | true |
| u(m3_1 # m11a_361) | u(m3_1 # m11a_361) | {m3_1 # m11a_361} | true |
| u(m3_1 # 11a_362) | u(m3_1 # 11a_362) | {m3_1 # 11a_362} | true |
| u(m3_1 # m11a_362) | u(m3_1 # m11a_362) | {m3_1 # m11a_362} | true |
| u(m3_1 # 11a_363) | u(m3_1 # 11a_363) | {m3_1 # 11a_363} | true |
| u(m3_1 # m11a_363) | u(m3_1 # m11a_363) | {m3_1 # m11a_363} | true |
| u(m3_1 # 11a_364) | u(m3_1 # 11a_364) | {m3_1 # 11a_364} | true |
| u(m3_1 # m11a_364) | u(m3_1 # m11a_364) | {m3_1 # m11a_364} | true |
| u(m3_1 # 11a_365) | u(m3_1 # 11a_365) | {m3_1 # 11a_365} | true |
| u(m3_1 # m11a_365) | u(m3_1 # m11a_365) | {m3_1 # m11a_365} | true |
| u(m3_1 # 11a_366) | u(m3_1 # 11a_366) | {m3_1 # 11a_366} | true |
| u(m3_1 # m11a_366) | u(m3_1 # m11a_366) | {m3_1 # m11a_366} | true |
| u(m3_1 # 11a_367) | u(m3_1 # 11a_367) | {m3_1 # 11a_367} | true |
| u(m3_1 # m11a_367) | u(m3_1 # m11a_367) | {m3_1 # m11a_367} | true |
| u(m3_1 # 11n_1) | u(m3_1 # 11n_1) | {m3_1 # 11n_1} | true |
| u(m3_1 # m11n_1) | u(m3_1 # m11n_1) | {m3_1 # m11n_1} | true |
| u(m3_1 # 11n_2) | u(m3_1 # 11n_2) | {m3_1 # 11n_2} | true |
| u(m3_1 # m11n_2) | u(m3_1 # m11n_2) | {m3_1 # m11n_2} | true |
| u(m3_1 # 11n_3) | u(m3_1 # 11n_3) | {m3_1 # 11n_3} | true |
| u(m3_1 # m11n_3) | u(m3_1 # m11n_3) | {m3_1 # m11n_3} | true |
| u(m3_1 # 11n_4) | u(m3_1 # 11n_4) | {m3_1 # 11n_4, m3_1 # r11n_4} | false |
| u(m3_1 # m11n_4) | u(m3_1 # m11n_4) | {m3_1 # m11n_4, m3_1 # mr11n_4} | false |
| u(m3_1 # 11n_5) | u(m3_1 # 11n_5) | {m3_1 # 11n_5, m3_1 # r11n_5} | false |
| u(m3_1 # m11n_5) | u(m3_1 # m11n_5) | {m3_1 # m11n_5, m3_1 # mr11n_5} | false |
| u(m3_1 # 11n_6) | u(m3_1 # 11n_6) | {m3_1 # 11n_6, m3_1 # r11n_6} | false |
| u(m3_1 # m11n_6) | u(m3_1 # m11n_6) | {m3_1 # m11n_6, m3_1 # mr11n_6} | false |
| u(m3_1 # 11n_7) | u(m3_1 # 11n_7) | {m3_1 # 11n_7, m3_1 # r11n_7} | false |
| u(m3_1 # m11n_7) | u(m3_1 # m11n_7) | {m3_1 # m11n_7, m3_1 # mr11n_7} | false |
| u(m3_1 # 11n_8) | u(m3_1 # 11n_8) | {m3_1 # 11n_8, m3_1 # r11n_8} | false |
| u(m3_1 # m11n_8) | u(m3_1 # m11n_8) | {m3_1 # m11n_8, m3_1 # mr11n_8} | false |
| u(m3_1 # 11n_9) | u(m3_1 # 11n_9) | {m3_1 # 11n_9, m3_1 # r11n_9} | false |
| u(m3_1 # m11n_9) | u(m3_1 # m11n_9) | {m3_1 # m11n_9, m3_1 # mr11n_9} | false |
| u(m3_1 # 11n_10) | u(m3_1 # 11n_10) | {m3_1 # 11n_10, m3_1 # r11n_10} | false |
| u(m3_1 # m11n_10) | u(m3_1 # m11n_10) | {m3_1 # m11n_10, m3_1 # mr11n_10} | false |
| u(m3_1 # 11n_11) | u(m3_1 # 11n_11) | {m3_1 # 11n_11, m3_1 # r11n_11} | false |
| u(m3_1 # m11n_11) | u(m3_1 # m11n_11) | {m3_1 # m11n_11, m3_1 # mr11n_11} | false |
| u(m3_1 # 11n_12) | u(m3_1 # 11n_12) | {m3_1 # 11n_12} | true |
| u(m3_1 # m11n_12) | u(m3_1 # m11n_12) | {m3_1 # m11n_12} | true |
| u(m3_1 # 11n_13) | u(m3_1 # 11n_13) | {m3_1 # 11n_13} | true |
| u(m3_1 # m11n_13) | u(m3_1 # m11n_13) | {m3_1 # m11n_13} | true |
| u(m3_1 # 11n_14) | u(m3_1 # 11n_14) | {m3_1 # 11n_14} | true |
| u(m3_1 # m11n_14) | u(m3_1 # m11n_14) | {m3_1 # m11n_14} | true |
| u(m3_1 # 11n_15) | u(m3_1 # 11n_15) | {m3_1 # 11n_15} | true |
| u(m3_1 # m11n_15) | u(m3_1 # m11n_15) | {m3_1 # m11n_15} | true |
| u(m3_1 # 11n_16) | u(m3_1 # 11n_16) | {m3_1 # 11n_16} | true |
| u(m3_1 # m11n_16) | u(m3_1 # m11n_16) | {m3_1 # m11n_16} | true |
| u(m3_1 # 11n_17) | u(m3_1 # 11n_17) | {m3_1 # 11n_17} | true |
| u(m3_1 # m11n_17) | u(m3_1 # m11n_17) | {m3_1 # m11n_17} | true |
| u(m3_1 # 11n_18) | u(m3_1 # 11n_18) | {m3_1 # 11n_18} | true |
| u(m3_1 # m11n_18) | u(m3_1 # m11n_18) | {m3_1 # m11n_18} | true |
| u(m3_1 # 11n_19) | u(m3_1 # 11n_19) | {m3_1 # 11n_19} | true |
| u(m3_1 # m11n_19) | u(m3_1 # m11n_19) | {m3_1 # m11n_19} | true |
| u(m3_1 # 11n_20) | u(m3_1 # 11n_20) | {m3_1 # 11n_20} | true |
| u(m3_1 # m11n_20) | u(m3_1 # m11n_20) | {m3_1 # m11n_20} | true |
| u(m3_1 # 11n_21) | u(m3_1 # 11n_21) | {m3_1 # 11n_21, m3_1 # r11n_21} | false |
| u(m3_1 # m11n_21) | u(m3_1 # m11n_21) | {m3_1 # m11n_21, m3_1 # mr11n_21} | false |
| u(m3_1 # 11n_22) | u(m3_1 # 11n_22) | {m3_1 # 11n_22, m3_1 # r11n_22} | false |
| u(m3_1 # m11n_22) | u(m3_1 # m11n_22) | {m3_1 # m11n_22, m3_1 # mr11n_22} | false |
| u(m3_1 # 11n_23) | u(m3_1 # 11n_23) | {m3_1 # 11n_23, m3_1 # r11n_23} | false |
| u(m3_1 # m11n_23) | u(m3_1 # m11n_23) | {m3_1 # m11n_23, m3_1 # mr11n_23} | false |
| u(m3_1 # 11n_24) | u(m3_1 # 11n_24) | {m3_1 # 11n_24, m3_1 # r11n_24} | false |
| u(m3_1 # m11n_24) | u(m3_1 # m11n_24) | {m3_1 # m11n_24, m3_1 # mr11n_24} | false |