| u(m3_1 # 11a_292) | u(m3_1 # 11a_292) | {m3_1 # 11a_292} | true |
| u(m3_1 # m11a_292) | u(m3_1 # m11a_292) | {m3_1 # m11a_292} | true |
| u(m3_1 # 11a_293) | u(m3_1 # 11a_293) | {m3_1 # 11a_293} | true |
| u(m3_1 # m11a_293) | u(m3_1 # m11a_293) | {m3_1 # m11a_293} | true |
| u(m3_1 # 11a_294) | u(m3_1 # 11a_294) | {m3_1 # 11a_294} | true |
| u(m3_1 # m11a_294) | u(m3_1 # m11a_294) | {m3_1 # m11a_294} | true |
| u(m3_1 # 11a_295) | u(m3_1 # 11a_295) | {m3_1 # 11a_295, m3_1 # r11a_295} | false |
| u(m3_1 # m11a_295) | u(m3_1 # m11a_295) | {m3_1 # m11a_295, m3_1 # mr11a_295} | false |
| u(m3_1 # 11a_296) | u(m3_1 # 11a_296) | {m3_1 # 11a_296, m3_1 # r11a_296} | false |
| u(m3_1 # m11a_296) | u(m3_1 # m11a_296) | {m3_1 # m11a_296, m3_1 # mr11a_296} | false |
| u(m3_1 # 11a_297) | u(m3_1 # 11a_297) | {m3_1 # 11a_297} | true |
| u(m3_1 # m11a_297) | u(m3_1 # m11a_297) | {m3_1 # m11a_297} | true |
| u(m3_1 # 11a_298) | u(m3_1 # 11a_298) | {m3_1 # 11a_298, m3_1 # r11a_298} | false |
| u(m3_1 # m11a_298) | u(m3_1 # m11a_298) | {m3_1 # m11a_298, m3_1 # mr11a_298} | false |
| u(m3_1 # 11a_299) | u(m3_1 # 11a_299) | {m3_1 # 11a_299, m3_1 # r11a_299} | false |
| u(m3_1 # m11a_299) | u(m3_1 # m11a_299) | {m3_1 # m11a_299, m3_1 # mr11a_299} | false |
| u(m3_1 # 11a_300) | u(m3_1 # 11a_300) | {m3_1 # 11a_300, m3_1 # r11a_300} | false |
| u(m3_1 # m11a_300) | u(m3_1 # m11a_300) | {m3_1 # m11a_300, m3_1 # mr11a_300} | false |
| u(m3_1 # 11a_301) | u(m3_1 # 11a_301) | {m3_1 # 11a_301, m3_1 # r11a_301} | false |
| u(m3_1 # m11a_301) | u(m3_1 # m11a_301) | {m3_1 # m11a_301, m3_1 # mr11a_301} | false |
| u(m3_1 # 11a_302) | u(m3_1 # 11a_302) | {m3_1 # 11a_302} | true |
| u(m3_1 # m11a_302) | u(m3_1 # m11a_302) | {m3_1 # m11a_302} | true |
| u(m3_1 # 11a_303) | u(m3_1 # 11a_303) | {m3_1 # 11a_303, m3_1 # r11a_303} | false |
| u(m3_1 # m11a_303) | u(m3_1 # m11a_303) | {m3_1 # m11a_303, m3_1 # mr11a_303} | false |
| u(m3_1 # 11a_304) | u(m3_1 # 11a_304) | {m3_1 # 11a_304} | true |
| u(m3_1 # m11a_304) | u(m3_1 # m11a_304) | {m3_1 # m11a_304} | true |
| u(m3_1 # 11a_305) | u(m3_1 # 11a_305) | {m3_1 # 11a_305} | true |
| u(m3_1 # m11a_305) | u(m3_1 # m11a_305) | {m3_1 # m11a_305} | true |
| u(m3_1 # 11a_306) | u(m3_1 # 11a_306) | {m3_1 # 11a_306} | true |
| u(m3_1 # m11a_306) | u(m3_1 # m11a_306) | {m3_1 # m11a_306} | true |
| u(m3_1 # 11a_307) | u(m3_1 # 11a_307) | {m3_1 # 11a_307} | true |
| u(m3_1 # m11a_307) | u(m3_1 # m11a_307) | {m3_1 # m11a_307} | true |
| u(m3_1 # 11a_308) | u(m3_1 # 11a_308) | {m3_1 # 11a_308} | true |
| u(m3_1 # m11a_308) | u(m3_1 # m11a_308) | {m3_1 # m11a_308} | true |
| u(m3_1 # 11a_309) | u(m3_1 # 11a_309) | {m3_1 # 11a_309} | true |
| u(m3_1 # m11a_309) | u(m3_1 # m11a_309) | {m3_1 # m11a_309} | true |
| u(m3_1 # 11a_310) | u(m3_1 # 11a_310) | {m3_1 # 11a_310} | true |
| u(m3_1 # m11a_310) | u(m3_1 # m11a_310) | {m3_1 # m11a_310} | true |
| u(m3_1 # 11a_311) | u(m3_1 # 11a_311) | {m3_1 # 11a_311} | true |
| u(m3_1 # m11a_311) | u(m3_1 # m11a_311) | {m3_1 # m11a_311} | true |
| u(m3_1 # 11a_312) | u(m3_1 # 11a_312) | {m3_1 # 11a_312} | true |
| u(m3_1 # m11a_312) | u(m3_1 # m11a_312) | {m3_1 # m11a_312} | true |
| u(m3_1 # 11a_313) | u(m3_1 # 11a_313) | {m3_1 # 11a_313} | true |
| u(m3_1 # m11a_313) | u(m3_1 # m11a_313) | {m3_1 # m11a_313} | true |
| u(m3_1 # 11a_314) | u(m3_1 # 11a_314) | {m3_1 # 11a_314} | true |
| u(m3_1 # m11a_314) | u(m3_1 # m11a_314) | {m3_1 # m11a_314} | true |
| u(m3_1 # 11a_315) | u(m3_1 # 11a_315) | {m3_1 # 11a_315, m3_1 # r11a_315} | false |
| u(m3_1 # m11a_315) | u(m3_1 # m11a_315) | {m3_1 # m11a_315, m3_1 # mr11a_315} | false |
| u(m3_1 # 11a_316) | u(m3_1 # 11a_316) | {m3_1 # 11a_316, m3_1 # r11a_316} | false |
| u(m3_1 # m11a_316) | u(m3_1 # m11a_316) | {m3_1 # m11a_316, m3_1 # mr11a_316} | false |
| u(m3_1 # 11a_317) | u(m3_1 # 11a_317) | {m3_1 # 11a_317} | true |
| u(m3_1 # m11a_317) | u(m3_1 # m11a_317) | {m3_1 # m11a_317} | true |
| u(m3_1 # 11a_318) | u(m3_1 # 11a_318) | {m3_1 # 11a_318} | true |
| u(m3_1 # m11a_318) | u(m3_1 # m11a_318) | {m3_1 # m11a_318} | true |
| u(m3_1 # 11a_319) | u(m3_1 # 11a_319) | {m3_1 # 11a_319, m3_1 # r11a_319} | false |
| u(m3_1 # m11a_319) | u(m3_1 # m11a_319) | {m3_1 # m11a_319, m3_1 # mr11a_319} | false |
| u(m3_1 # 11a_320) | u(m3_1 # 11a_320) | {m3_1 # 11a_320, m3_1 # r11a_320} | false |
| u(m3_1 # m11a_320) | u(m3_1 # m11a_320) | {m3_1 # m11a_320, m3_1 # mr11a_320} | false |
| u(m3_1 # 11a_321) | u(m3_1 # 11a_321) | {m3_1 # 11a_321} | true |
| u(m3_1 # m11a_321) | u(m3_1 # m11a_321) | {m3_1 # m11a_321} | true |
| u(m3_1 # 11a_322) | u(m3_1 # 11a_322) | {m3_1 # 11a_322, m3_1 # r11a_322} | false |
| u(m3_1 # m11a_322) | u(m3_1 # m11a_322) | {m3_1 # m11a_322, m3_1 # mr11a_322} | false |
| u(m3_1 # 11a_323) | u(m3_1 # 11a_323) | {m3_1 # 11a_323, m3_1 # r11a_323} | false |
| u(m3_1 # m11a_323) | u(m3_1 # m11a_323) | {m3_1 # m11a_323, m3_1 # mr11a_323} | false |
| u(m3_1 # 11a_324) | u(m3_1 # 11a_324) | {m3_1 # 11a_324} | true |
| u(m3_1 # m11a_324) | u(m3_1 # m11a_324) | {m3_1 # m11a_324} | true |
| u(m3_1 # 11a_325) | u(m3_1 # 11a_325) | {m3_1 # 11a_325} | true |
| u(m3_1 # m11a_325) | u(m3_1 # m11a_325) | {m3_1 # m11a_325} | true |
| u(m3_1 # 11a_326) | u(m3_1 # 11a_326) | {m3_1 # 11a_326, m3_1 # r11a_326} | false |
| u(m3_1 # m11a_326) | u(m3_1 # m11a_326) | {m3_1 # m11a_326, m3_1 # mr11a_326} | false |
| u(m3_1 # 11a_327) | u(m3_1 # 11a_327) | {m3_1 # 11a_327} | true |
| u(m3_1 # m11a_327) | u(m3_1 # m11a_327) | {m3_1 # m11a_327} | true |
| u(m3_1 # 11a_328) | u(m3_1 # 11a_328) | {m3_1 # 11a_328, m3_1 # r11a_328} | false |
| u(m3_1 # m11a_328) | u(m3_1 # m11a_328) | {m3_1 # m11a_328, m3_1 # mr11a_328} | false |
| u(m3_1 # 11a_329) | u(m3_1 # 11a_329) | {m3_1 # 11a_329} | true |
| u(m3_1 # m11a_329) | u(m3_1 # m11a_329) | {m3_1 # m11a_329} | true |
| u(m3_1 # 11a_330) | u(m3_1 # 11a_330) | {m3_1 # 11a_330, m3_1 # r11a_330} | false |
| u(m3_1 # m11a_330) | u(m3_1 # m11a_330) | {m3_1 # m11a_330, m3_1 # mr11a_330} | false |
| u(m3_1 # 11a_331) | u(m3_1 # 11a_331) | {m3_1 # 11a_331, m3_1 # r11a_331} | false |
| u(m3_1 # m11a_331) | u(m3_1 # m11a_331) | {m3_1 # m11a_331, m3_1 # mr11a_331} | false |
| u(m3_1 # 11a_332) | u(m3_1 # 11a_332) | {m3_1 # 11a_332} | true |
| u(m3_1 # m11a_332) | u(m3_1 # m11a_332) | {m3_1 # m11a_332} | true |
| u(m3_1 # 11a_333) | u(m3_1 # 11a_333) | {m3_1 # 11a_333} | true |
| u(m3_1 # m11a_333) | u(m3_1 # m11a_333) | {m3_1 # m11a_333} | true |
| u(m3_1 # 11a_334) | u(m3_1 # 11a_334) | {m3_1 # 11a_334} | true |
| u(m3_1 # m11a_334) | u(m3_1 # m11a_334) | {m3_1 # m11a_334} | true |
| u(m3_1 # 11a_335) | u(m3_1 # 11a_335) | {m3_1 # 11a_335} | true |
| u(m3_1 # m11a_335) | u(m3_1 # m11a_335) | {m3_1 # m11a_335} | true |
| u(m3_1 # 11a_336) | u(m3_1 # 11a_336) | {m3_1 # 11a_336} | true |
| u(m3_1 # m11a_336) | u(m3_1 # m11a_336) | {m3_1 # m11a_336} | true |
| u(m3_1 # 11a_337) | u(m3_1 # 11a_337) | {m3_1 # 11a_337} | true |
| u(m3_1 # m11a_337) | u(m3_1 # m11a_337) | {m3_1 # m11a_337} | true |
| u(m3_1 # 11a_338) | u(m3_1 # 11a_338) | {m3_1 # 11a_338} | true |
| u(m3_1 # m11a_338) | u(m3_1 # m11a_338) | {m3_1 # m11a_338} | true |
| u(m3_1 # 11a_339) | u(m3_1 # 11a_339) | {m3_1 # 11a_339} | true |
| u(m3_1 # m11a_339) | u(m3_1 # m11a_339) | {m3_1 # m11a_339} | true |
| u(m3_1 # 11a_340) | u(m3_1 # 11a_340) | {m3_1 # 11a_340} | true |
| u(m3_1 # m11a_340) | u(m3_1 # m11a_340) | {m3_1 # m11a_340} | true |
| u(m3_1 # 11a_341) | u(m3_1 # 11a_341) | {m3_1 # 11a_341} | true |
| u(m3_1 # m11a_341) | u(m3_1 # m11a_341) | {m3_1 # m11a_341} | true |