| u(3_1 # 11a_332) | u(3_1 # 11a_332) | {3_1 # 11a_332} | true |
| u(3_1 # m11a_332) | u(3_1 # m11a_332) | {3_1 # m11a_332} | true |
| u(3_1 # 11a_333) | u(3_1 # 11a_333) | {3_1 # 11a_333} | true |
| u(3_1 # m11a_333) | u(3_1 # m11a_333) | {3_1 # m11a_333} | true |
| u(3_1 # 11a_334) | u(3_1 # 11a_334) | {3_1 # 11a_334} | true |
| u(3_1 # m11a_334) | u(3_1 # m11a_334) | {3_1 # m11a_334} | true |
| u(3_1 # 11a_335) | u(3_1 # 11a_335) | {3_1 # 11a_335} | true |
| u(3_1 # m11a_335) | u(3_1 # m11a_335) | {3_1 # m11a_335} | true |
| u(3_1 # 11a_336) | u(3_1 # 11a_336) | {3_1 # 11a_336} | true |
| u(3_1 # m11a_336) | u(3_1 # m11a_336) | {3_1 # m11a_336} | true |
| u(3_1 # 11a_337) | u(3_1 # 11a_337) | {3_1 # 11a_337} | true |
| u(3_1 # m11a_337) | u(3_1 # m11a_337) | {3_1 # m11a_337} | true |
| u(3_1 # 11a_338) | u(3_1 # 11a_338) | {3_1 # 11a_338} | true |
| u(3_1 # m11a_338) | u(3_1 # m11a_338) | {3_1 # m11a_338} | true |
| u(3_1 # 11a_339) | u(3_1 # 11a_339) | {3_1 # 11a_339} | true |
| u(3_1 # m11a_339) | u(3_1 # m11a_339) | {3_1 # m11a_339} | true |
| u(3_1 # 11a_340) | u(3_1 # 11a_340) | {3_1 # 11a_340} | true |
| u(3_1 # m11a_340) | u(3_1 # m11a_340) | {3_1 # m11a_340} | true |
| u(3_1 # 11a_341) | u(3_1 # 11a_341) | {3_1 # 11a_341} | true |
| u(3_1 # m11a_341) | u(3_1 # m11a_341) | {3_1 # m11a_341} | true |
| u(3_1 # 11a_342) | u(3_1 # 11a_342) | {3_1 # 11a_342} | true |
| u(3_1 # m11a_342) | u(3_1 # m11a_342) | {3_1 # m11a_342} | true |
| u(3_1 # 11a_343) | u(3_1 # 11a_343) | {3_1 # 11a_343} | true |
| u(3_1 # m11a_343) | u(3_1 # m11a_343) | {3_1 # m11a_343} | true |
| u(3_1 # 11a_344) | u(3_1 # 11a_344) | {3_1 # 11a_344, 3_1 # r11a_344} | false |
| u(3_1 # m11a_344) | u(3_1 # m11a_344) | {3_1 # m11a_344, 3_1 # mr11a_344} | false |
| u(3_1 # 11a_345) | u(3_1 # 11a_345) | {3_1 # 11a_345, 3_1 # r11a_345} | false |
| u(3_1 # m11a_345) | u(3_1 # m11a_345) | {3_1 # m11a_345, 3_1 # mr11a_345} | false |
| u(3_1 # 11a_346) | u(3_1 # 11a_346) | {3_1 # 11a_346} | true |
| u(3_1 # m11a_346) | u(3_1 # m11a_346) | {3_1 # m11a_346} | true |
| u(3_1 # 11a_347) | u(3_1 # 11a_347) | {3_1 # 11a_347} | true |
| u(3_1 # m11a_347) | u(3_1 # m11a_347) | {3_1 # m11a_347} | true |
| u(3_1 # 11a_348) | u(3_1 # 11a_348) | {3_1 # 11a_348} | true |
| u(3_1 # m11a_348) | u(3_1 # m11a_348) | {3_1 # m11a_348} | true |
| u(3_1 # 11a_349) | u(3_1 # 11a_349) | {3_1 # 11a_349} | true |
| u(3_1 # m11a_349) | u(3_1 # m11a_349) | {3_1 # m11a_349} | true |
| u(3_1 # 11a_350) | u(3_1 # 11a_350) | {3_1 # 11a_350} | true |
| u(3_1 # m11a_350) | u(3_1 # m11a_350) | {3_1 # m11a_350} | true |
| u(3_1 # 11a_351) | u(3_1 # 11a_351) | {3_1 # 11a_351} | true |
| u(3_1 # m11a_351) | u(3_1 # m11a_351) | {3_1 # m11a_351} | true |
| u(3_1 # 11a_352) | u(3_1 # 11a_352) | {3_1 # 11a_352} | true |
| u(3_1 # m11a_352) | u(3_1 # m11a_352) | {3_1 # m11a_352} | true |
| u(3_1 # 11a_353) | u(3_1 # 11a_353) | {3_1 # 11a_353} | true |
| u(3_1 # m11a_353) | u(3_1 # m11a_353) | {3_1 # m11a_353} | true |
| u(3_1 # 11a_354) | u(3_1 # 11a_354) | {3_1 # 11a_354} | true |
| u(3_1 # m11a_354) | u(3_1 # m11a_354) | {3_1 # m11a_354} | true |
| u(3_1 # 11a_355) | u(3_1 # 11a_355) | {3_1 # 11a_355} | true |
| u(3_1 # m11a_355) | u(3_1 # m11a_355) | {3_1 # m11a_355} | true |
| u(3_1 # 11a_356) | u(3_1 # 11a_356) | {3_1 # 11a_356} | true |
| u(3_1 # m11a_356) | u(3_1 # m11a_356) | {3_1 # m11a_356} | true |
| u(3_1 # 11a_357) | u(3_1 # 11a_357) | {3_1 # 11a_357} | true |
| u(3_1 # m11a_357) | u(3_1 # m11a_357) | {3_1 # m11a_357} | true |
| u(3_1 # 11a_358) | u(3_1 # 11a_358) | {3_1 # 11a_358} | true |
| u(3_1 # m11a_358) | u(3_1 # m11a_358) | {3_1 # m11a_358} | true |
| u(3_1 # 11a_359) | u(3_1 # 11a_359) | {3_1 # 11a_359} | true |
| u(3_1 # m11a_359) | u(3_1 # m11a_359) | {3_1 # m11a_359} | true |
| u(3_1 # 11a_360) | u(3_1 # 11a_360) | {3_1 # 11a_360} | true |
| u(3_1 # m11a_360) | u(3_1 # m11a_360) | {3_1 # m11a_360} | true |
| u(3_1 # 11a_361) | u(3_1 # 11a_361) | {3_1 # 11a_361} | true |
| u(3_1 # m11a_361) | u(3_1 # m11a_361) | {3_1 # m11a_361} | true |
| u(3_1 # 11a_362) | u(3_1 # 11a_362) | {3_1 # 11a_362} | true |
| u(3_1 # m11a_362) | u(3_1 # m11a_362) | {3_1 # m11a_362} | true |
| u(3_1 # 11a_363) | u(3_1 # 11a_363) | {3_1 # 11a_363} | true |
| u(3_1 # m11a_363) | u(3_1 # m11a_363) | {3_1 # m11a_363} | true |
| u(3_1 # 11a_364) | u(3_1 # 11a_364) | {3_1 # 11a_364} | true |
| u(3_1 # m11a_364) | u(3_1 # m11a_364) | {3_1 # m11a_364} | true |
| u(3_1 # 11a_365) | u(3_1 # 11a_365) | {3_1 # 11a_365} | true |
| u(3_1 # m11a_365) | u(3_1 # m11a_365) | {3_1 # m11a_365} | true |
| u(3_1 # 11a_366) | u(3_1 # 11a_366) | {3_1 # 11a_366} | true |
| u(3_1 # m11a_366) | u(3_1 # m11a_366) | {3_1 # m11a_366} | true |
| u(3_1 # 11a_367) | u(3_1 # 11a_367) | {3_1 # 11a_367} | true |
| u(3_1 # m11a_367) | u(3_1 # m11a_367) | {3_1 # m11a_367} | true |
| u(3_1 # 11n_1) | u(3_1 # 11n_1) | {3_1 # 11n_1} | true |
| u(3_1 # m11n_1) | u(3_1 # m11n_1) | {3_1 # m11n_1} | true |
| u(3_1 # 11n_2) | u(3_1 # 11n_2) | {3_1 # 11n_2} | true |
| u(3_1 # m11n_2) | u(3_1 # m11n_2) | {3_1 # m11n_2} | true |
| u(3_1 # 11n_3) | u(3_1 # 11n_3) | {3_1 # 11n_3} | true |
| u(3_1 # m11n_3) | u(3_1 # m11n_3) | {3_1 # m11n_3} | true |
| u(3_1 # 11n_4) | u(3_1 # 11n_4) | {3_1 # 11n_4, 3_1 # r11n_4} | false |
| u(3_1 # m11n_4) | u(3_1 # m11n_4) | {3_1 # m11n_4, 3_1 # mr11n_4} | false |
| u(3_1 # 11n_5) | u(3_1 # 11n_5) | {3_1 # 11n_5, 3_1 # r11n_5} | false |
| u(3_1 # m11n_5) | u(3_1 # m11n_5) | {3_1 # m11n_5, 3_1 # mr11n_5} | false |
| u(3_1 # 11n_6) | u(3_1 # 11n_6) | {3_1 # 11n_6, 3_1 # r11n_6} | false |
| u(3_1 # m11n_6) | u(3_1 # m11n_6) | {3_1 # m11n_6, 3_1 # mr11n_6} | false |
| u(3_1 # 11n_7) | u(3_1 # 11n_7) | {3_1 # 11n_7, 3_1 # r11n_7} | false |
| u(3_1 # m11n_7) | u(3_1 # m11n_7) | {3_1 # m11n_7, 3_1 # mr11n_7} | false |
| u(3_1 # 11n_8) | u(3_1 # 11n_8) | {3_1 # 11n_8, 3_1 # r11n_8} | false |
| u(3_1 # m11n_8) | u(3_1 # m11n_8) | {3_1 # m11n_8, 3_1 # mr11n_8} | false |
| u(3_1 # 11n_9) | u(3_1 # 11n_9) | {3_1 # 11n_9, 3_1 # r11n_9} | false |
| u(3_1 # m11n_9) | u(3_1 # m11n_9) | {3_1 # m11n_9, 3_1 # mr11n_9} | false |
| u(3_1 # 11n_10) | u(3_1 # 11n_10) | {3_1 # 11n_10, 3_1 # r11n_10} | false |
| u(3_1 # m11n_10) | u(3_1 # m11n_10) | {3_1 # m11n_10, 3_1 # mr11n_10} | false |
| u(3_1 # 11n_11) | u(3_1 # 11n_11) | {3_1 # 11n_11, 3_1 # r11n_11} | false |
| u(3_1 # m11n_11) | u(3_1 # m11n_11) | {3_1 # m11n_11, 3_1 # mr11n_11} | false |
| u(3_1 # 11n_12) | u(3_1 # 11n_12) | {3_1 # 11n_12} | true |
| u(3_1 # m11n_12) | u(3_1 # m11n_12) | {3_1 # m11n_12} | true |
| u(3_1 # 11n_13) | u(3_1 # 11n_13) | {3_1 # 11n_13} | true |
| u(3_1 # m11n_13) | u(3_1 # m11n_13) | {3_1 # m11n_13} | true |
| u(3_1 # 11n_14) | u(3_1 # 11n_14) | {3_1 # 11n_14} | true |
| u(3_1 # m11n_14) | u(3_1 # m11n_14) | {3_1 # m11n_14} | true |