| u(3_1 # 11a_282) | u(3_1 # 11a_282) | {3_1 # 11a_282, 3_1 # r11a_282} | false |
| u(3_1 # m11a_282) | u(3_1 # m11a_282) | {3_1 # m11a_282, 3_1 # mr11a_282} | false |
| u(3_1 # 11a_283) | u(3_1 # 11a_283) | {3_1 # 11a_283, 3_1 # r11a_283} | false |
| u(3_1 # m11a_283) | u(3_1 # m11a_283) | {3_1 # m11a_283, 3_1 # mr11a_283} | false |
| u(3_1 # 11a_284) | u(3_1 # 11a_284) | {3_1 # 11a_284, 3_1 # r11a_284} | false |
| u(3_1 # m11a_284) | u(3_1 # m11a_284) | {3_1 # m11a_284, 3_1 # mr11a_284} | false |
| u(3_1 # 11a_285) | u(3_1 # 11a_285) | {3_1 # 11a_285} | true |
| u(3_1 # m11a_285) | u(3_1 # m11a_285) | {3_1 # m11a_285} | true |
| u(3_1 # 11a_286) | u(3_1 # 11a_286) | {3_1 # 11a_286, 3_1 # r11a_286} | false |
| u(3_1 # m11a_286) | u(3_1 # m11a_286) | {3_1 # m11a_286, 3_1 # mr11a_286} | false |
| u(3_1 # 11a_287) | u(3_1 # 11a_287) | {3_1 # 11a_287, 3_1 # r11a_287} | false |
| u(3_1 # m11a_287) | u(3_1 # m11a_287) | {3_1 # m11a_287, 3_1 # mr11a_287} | false |
| u(3_1 # 11a_288) | u(3_1 # 11a_288) | {3_1 # 11a_288} | true |
| u(3_1 # m11a_288) | u(3_1 # m11a_288) | {3_1 # m11a_288} | true |
| u(3_1 # 11a_289) | u(3_1 # 11a_289) | {3_1 # 11a_289, 3_1 # r11a_289} | false |
| u(3_1 # m11a_289) | u(3_1 # m11a_289) | {3_1 # m11a_289, 3_1 # mr11a_289} | false |
| u(3_1 # 11a_290) | u(3_1 # 11a_290) | {3_1 # 11a_290, 3_1 # r11a_290} | false |
| u(3_1 # m11a_290) | u(3_1 # m11a_290) | {3_1 # m11a_290, 3_1 # mr11a_290} | false |
| u(3_1 # 11a_291) | u(3_1 # 11a_291) | {3_1 # 11a_291} | true |
| u(3_1 # m11a_291) | u(3_1 # m11a_291) | {3_1 # m11a_291} | true |
| u(3_1 # 11a_292) | u(3_1 # 11a_292) | {3_1 # 11a_292} | true |
| u(3_1 # m11a_292) | u(3_1 # m11a_292) | {3_1 # m11a_292} | true |
| u(3_1 # 11a_293) | u(3_1 # 11a_293) | {3_1 # 11a_293} | true |
| u(3_1 # m11a_293) | u(3_1 # m11a_293) | {3_1 # m11a_293} | true |
| u(3_1 # 11a_294) | u(3_1 # 11a_294) | {3_1 # 11a_294} | true |
| u(3_1 # m11a_294) | u(3_1 # m11a_294) | {3_1 # m11a_294} | true |
| u(3_1 # 11a_295) | u(3_1 # 11a_295) | {3_1 # 11a_295, 3_1 # r11a_295} | false |
| u(3_1 # m11a_295) | u(3_1 # m11a_295) | {3_1 # m11a_295, 3_1 # mr11a_295} | false |
| u(3_1 # 11a_296) | u(3_1 # 11a_296) | {3_1 # 11a_296, 3_1 # r11a_296} | false |
| u(3_1 # m11a_296) | u(3_1 # m11a_296) | {3_1 # m11a_296, 3_1 # mr11a_296} | false |
| u(3_1 # 11a_297) | u(3_1 # 11a_297) | {3_1 # 11a_297} | true |
| u(3_1 # m11a_297) | u(3_1 # m11a_297) | {3_1 # m11a_297} | true |
| u(3_1 # 11a_298) | u(3_1 # 11a_298) | {3_1 # 11a_298, 3_1 # r11a_298} | false |
| u(3_1 # m11a_298) | u(3_1 # m11a_298) | {3_1 # m11a_298, 3_1 # mr11a_298} | false |
| u(3_1 # 11a_299) | u(3_1 # 11a_299) | {3_1 # 11a_299, 3_1 # r11a_299} | false |
| u(3_1 # m11a_299) | u(3_1 # m11a_299) | {3_1 # m11a_299, 3_1 # mr11a_299} | false |
| u(3_1 # 11a_300) | u(3_1 # 11a_300) | {3_1 # 11a_300, 3_1 # r11a_300} | false |
| u(3_1 # m11a_300) | u(3_1 # m11a_300) | {3_1 # m11a_300, 3_1 # mr11a_300} | false |
| u(3_1 # 11a_301) | u(3_1 # 11a_301) | {3_1 # 11a_301, 3_1 # r11a_301} | false |
| u(3_1 # m11a_301) | u(3_1 # m11a_301) | {3_1 # m11a_301, 3_1 # mr11a_301} | false |
| u(3_1 # 11a_302) | u(3_1 # 11a_302) | {3_1 # 11a_302} | true |
| u(3_1 # m11a_302) | u(3_1 # m11a_302) | {3_1 # m11a_302} | true |
| u(3_1 # 11a_303) | u(3_1 # 11a_303) | {3_1 # 11a_303, 3_1 # r11a_303} | false |
| u(3_1 # m11a_303) | u(3_1 # m11a_303) | {3_1 # m11a_303, 3_1 # mr11a_303} | false |
| u(3_1 # 11a_304) | u(3_1 # 11a_304) | {3_1 # 11a_304} | true |
| u(3_1 # m11a_304) | u(3_1 # m11a_304) | {3_1 # m11a_304} | true |
| u(3_1 # 11a_305) | u(3_1 # 11a_305) | {3_1 # 11a_305} | true |
| u(3_1 # m11a_305) | u(3_1 # m11a_305) | {3_1 # m11a_305} | true |
| u(3_1 # 11a_306) | u(3_1 # 11a_306) | {3_1 # 11a_306} | true |
| u(3_1 # m11a_306) | u(3_1 # m11a_306) | {3_1 # m11a_306} | true |
| u(3_1 # 11a_307) | u(3_1 # 11a_307) | {3_1 # 11a_307} | true |
| u(3_1 # m11a_307) | u(3_1 # m11a_307) | {3_1 # m11a_307} | true |
| u(3_1 # 11a_308) | u(3_1 # 11a_308) | {3_1 # 11a_308} | true |
| u(3_1 # m11a_308) | u(3_1 # m11a_308) | {3_1 # m11a_308} | true |
| u(3_1 # 11a_309) | u(3_1 # 11a_309) | {3_1 # 11a_309} | true |
| u(3_1 # m11a_309) | u(3_1 # m11a_309) | {3_1 # m11a_309} | true |
| u(3_1 # 11a_310) | u(3_1 # 11a_310) | {3_1 # 11a_310} | true |
| u(3_1 # m11a_310) | u(3_1 # m11a_310) | {3_1 # m11a_310} | true |
| u(3_1 # 11a_311) | u(3_1 # 11a_311) | {3_1 # 11a_311} | true |
| u(3_1 # m11a_311) | u(3_1 # m11a_311) | {3_1 # m11a_311} | true |
| u(3_1 # 11a_312) | u(3_1 # 11a_312) | {3_1 # 11a_312} | true |
| u(3_1 # m11a_312) | u(3_1 # m11a_312) | {3_1 # m11a_312} | true |
| u(3_1 # 11a_313) | u(3_1 # 11a_313) | {3_1 # 11a_313} | true |
| u(3_1 # m11a_313) | u(3_1 # m11a_313) | {3_1 # m11a_313} | true |
| u(3_1 # 11a_314) | u(3_1 # 11a_314) | {3_1 # 11a_314} | true |
| u(3_1 # m11a_314) | u(3_1 # m11a_314) | {3_1 # m11a_314} | true |
| u(3_1 # 11a_315) | u(3_1 # 11a_315) | {3_1 # 11a_315, 3_1 # r11a_315} | false |
| u(3_1 # m11a_315) | u(3_1 # m11a_315) | {3_1 # m11a_315, 3_1 # mr11a_315} | false |
| u(3_1 # 11a_316) | u(3_1 # 11a_316) | {3_1 # 11a_316, 3_1 # r11a_316} | false |
| u(3_1 # m11a_316) | u(3_1 # m11a_316) | {3_1 # m11a_316, 3_1 # mr11a_316} | false |
| u(3_1 # 11a_317) | u(3_1 # 11a_317) | {3_1 # 11a_317} | true |
| u(3_1 # m11a_317) | u(3_1 # m11a_317) | {3_1 # m11a_317} | true |
| u(3_1 # 11a_318) | u(3_1 # 11a_318) | {3_1 # 11a_318} | true |
| u(3_1 # m11a_318) | u(3_1 # m11a_318) | {3_1 # m11a_318} | true |
| u(3_1 # 11a_319) | u(3_1 # 11a_319) | {3_1 # 11a_319, 3_1 # r11a_319} | false |
| u(3_1 # m11a_319) | u(3_1 # m11a_319) | {3_1 # m11a_319, 3_1 # mr11a_319} | false |
| u(3_1 # 11a_320) | u(3_1 # 11a_320) | {3_1 # 11a_320, 3_1 # r11a_320} | false |
| u(3_1 # m11a_320) | u(3_1 # m11a_320) | {3_1 # m11a_320, 3_1 # mr11a_320} | false |
| u(3_1 # 11a_321) | u(3_1 # 11a_321) | {3_1 # 11a_321} | true |
| u(3_1 # m11a_321) | u(3_1 # m11a_321) | {3_1 # m11a_321} | true |
| u(3_1 # 11a_322) | u(3_1 # 11a_322) | {3_1 # 11a_322, 3_1 # r11a_322} | false |
| u(3_1 # m11a_322) | u(3_1 # m11a_322) | {3_1 # m11a_322, 3_1 # mr11a_322} | false |
| u(3_1 # 11a_323) | u(3_1 # 11a_323) | {3_1 # 11a_323, 3_1 # r11a_323} | false |
| u(3_1 # m11a_323) | u(3_1 # m11a_323) | {3_1 # m11a_323, 3_1 # mr11a_323} | false |
| u(3_1 # 11a_324) | u(3_1 # 11a_324) | {3_1 # 11a_324} | true |
| u(3_1 # m11a_324) | u(3_1 # m11a_324) | {3_1 # m11a_324} | true |
| u(3_1 # 11a_325) | u(3_1 # 11a_325) | {3_1 # 11a_325} | true |
| u(3_1 # m11a_325) | u(3_1 # m11a_325) | {3_1 # m11a_325} | true |
| u(3_1 # 11a_326) | u(3_1 # 11a_326) | {3_1 # 11a_326, 3_1 # r11a_326} | false |
| u(3_1 # m11a_326) | u(3_1 # m11a_326) | {3_1 # m11a_326, 3_1 # mr11a_326} | false |
| u(3_1 # 11a_327) | u(3_1 # 11a_327) | {3_1 # 11a_327} | true |
| u(3_1 # m11a_327) | u(3_1 # m11a_327) | {3_1 # m11a_327} | true |
| u(3_1 # 11a_328) | u(3_1 # 11a_328) | {3_1 # 11a_328, 3_1 # r11a_328} | false |
| u(3_1 # m11a_328) | u(3_1 # m11a_328) | {3_1 # m11a_328, 3_1 # mr11a_328} | false |
| u(3_1 # 11a_329) | u(3_1 # 11a_329) | {3_1 # 11a_329} | true |
| u(3_1 # m11a_329) | u(3_1 # m11a_329) | {3_1 # m11a_329} | true |
| u(3_1 # 11a_330) | u(3_1 # 11a_330) | {3_1 # 11a_330, 3_1 # r11a_330} | false |
| u(3_1 # m11a_330) | u(3_1 # m11a_330) | {3_1 # m11a_330, 3_1 # mr11a_330} | false |
| u(3_1 # 11a_331) | u(3_1 # 11a_331) | {3_1 # 11a_331, 3_1 # r11a_331} | false |
| u(3_1 # m11a_331) | u(3_1 # m11a_331) | {3_1 # m11a_331, 3_1 # mr11a_331} | false |