| u(3_1 # 11a_232) | u(3_1 # 11a_232) | {3_1 # 11a_232, 3_1 # r11a_232} | false |
| u(3_1 # m11a_232) | u(3_1 # m11a_232) | {3_1 # m11a_232, 3_1 # mr11a_232} | false |
| u(3_1 # 11a_233) | u(3_1 # 11a_233) | {3_1 # 11a_233, 3_1 # r11a_233} | false |
| u(3_1 # m11a_233) | u(3_1 # m11a_233) | {3_1 # m11a_233, 3_1 # mr11a_233} | false |
| u(3_1 # 11a_234) | u(3_1 # 11a_234) | {3_1 # 11a_234} | true |
| u(3_1 # m11a_234) | u(3_1 # m11a_234) | {3_1 # m11a_234} | true |
| u(3_1 # 11a_235) | u(3_1 # 11a_235) | {3_1 # 11a_235} | true |
| u(3_1 # m11a_235) | u(3_1 # m11a_235) | {3_1 # m11a_235} | true |
| u(3_1 # 11a_236) | u(3_1 # 11a_236) | {3_1 # 11a_236} | true |
| u(3_1 # m11a_236) | u(3_1 # m11a_236) | {3_1 # m11a_236} | true |
| u(3_1 # 11a_237) | u(3_1 # 11a_237) | {3_1 # 11a_237} | true |
| u(3_1 # m11a_237) | u(3_1 # m11a_237) | {3_1 # m11a_237} | true |
| u(3_1 # 11a_238) | u(3_1 # 11a_238) | {3_1 # 11a_238} | true |
| u(3_1 # m11a_238) | u(3_1 # m11a_238) | {3_1 # m11a_238} | true |
| u(3_1 # 11a_239) | u(3_1 # 11a_239) | {3_1 # 11a_239} | true |
| u(3_1 # m11a_239) | u(3_1 # m11a_239) | {3_1 # m11a_239} | true |
| u(3_1 # 11a_240) | u(3_1 # 11a_240) | {3_1 # 11a_240} | true |
| u(3_1 # m11a_240) | u(3_1 # m11a_240) | {3_1 # m11a_240} | true |
| u(3_1 # 11a_241) | u(3_1 # 11a_241) | {3_1 # 11a_241} | true |
| u(3_1 # m11a_241) | u(3_1 # m11a_241) | {3_1 # m11a_241} | true |
| u(3_1 # 11a_242) | u(3_1 # 11a_242) | {3_1 # 11a_242} | true |
| u(3_1 # m11a_242) | u(3_1 # m11a_242) | {3_1 # m11a_242} | true |
| u(3_1 # 11a_243) | u(3_1 # 11a_243) | {3_1 # 11a_243} | true |
| u(3_1 # m11a_243) | u(3_1 # m11a_243) | {3_1 # m11a_243} | true |
| u(3_1 # 11a_244) | u(3_1 # 11a_244) | {3_1 # 11a_244, 3_1 # r11a_244} | false |
| u(3_1 # m11a_244) | u(3_1 # m11a_244) | {3_1 # m11a_244, 3_1 # mr11a_244} | false |
| u(3_1 # 11a_245) | u(3_1 # 11a_245) | {3_1 # 11a_245} | true |
| u(3_1 # m11a_245) | u(3_1 # m11a_245) | {3_1 # m11a_245} | true |
| u(3_1 # 11a_246) | u(3_1 # 11a_246) | {3_1 # 11a_246} | true |
| u(3_1 # m11a_246) | u(3_1 # m11a_246) | {3_1 # m11a_246} | true |
| u(3_1 # 11a_247) | u(3_1 # 11a_247) | {3_1 # 11a_247} | true |
| u(3_1 # m11a_247) | u(3_1 # m11a_247) | {3_1 # m11a_247} | true |
| u(3_1 # 11a_248) | u(3_1 # 11a_248) | {3_1 # 11a_248} | true |
| u(3_1 # m11a_248) | u(3_1 # m11a_248) | {3_1 # m11a_248} | true |
| u(3_1 # 11a_249) | u(3_1 # 11a_249) | {3_1 # 11a_249} | true |
| u(3_1 # m11a_249) | u(3_1 # m11a_249) | {3_1 # m11a_249} | true |
| u(3_1 # 11a_250) | u(3_1 # 11a_250) | {3_1 # 11a_250} | true |
| u(3_1 # m11a_250) | u(3_1 # m11a_250) | {3_1 # m11a_250} | true |
| u(3_1 # 11a_251) | u(3_1 # 11a_251) | {3_1 # 11a_251, 3_1 # r11a_251} | false |
| u(3_1 # m11a_251) | u(3_1 # m11a_251) | {3_1 # m11a_251, 3_1 # mr11a_251} | false |
| u(3_1 # 11a_252) | u(3_1 # 11a_252) | {3_1 # 11a_252, 3_1 # r11a_252} | false |
| u(3_1 # m11a_252) | u(3_1 # m11a_252) | {3_1 # m11a_252, 3_1 # mr11a_252} | false |
| u(3_1 # 11a_253) | u(3_1 # 11a_253) | {3_1 # 11a_253, 3_1 # r11a_253} | false |
| u(3_1 # m11a_253) | u(3_1 # m11a_253) | {3_1 # m11a_253, 3_1 # mr11a_253} | false |
| u(3_1 # 11a_254) | u(3_1 # 11a_254) | {3_1 # 11a_254, 3_1 # r11a_254} | false |
| u(3_1 # m11a_254) | u(3_1 # m11a_254) | {3_1 # m11a_254, 3_1 # mr11a_254} | false |
| u(3_1 # 11a_255) | u(3_1 # 11a_255) | {3_1 # 11a_255, 3_1 # r11a_255} | false |
| u(3_1 # m11a_255) | u(3_1 # m11a_255) | {3_1 # m11a_255, 3_1 # mr11a_255} | false |
| u(3_1 # 11a_256) | u(3_1 # 11a_256) | {3_1 # 11a_256, 3_1 # r11a_256} | false |
| u(3_1 # m11a_256) | u(3_1 # m11a_256) | {3_1 # m11a_256, 3_1 # mr11a_256} | false |
| u(3_1 # 11a_257) | u(3_1 # 11a_257) | {3_1 # 11a_257} | true |
| u(3_1 # m11a_257) | u(3_1 # m11a_257) | {3_1 # m11a_257} | true |
| u(3_1 # 11a_258) | u(3_1 # 11a_258) | {3_1 # 11a_258} | true |
| u(3_1 # m11a_258) | u(3_1 # m11a_258) | {3_1 # m11a_258} | true |
| u(3_1 # 11a_259) | u(3_1 # 11a_259) | {3_1 # 11a_259} | true |
| u(3_1 # m11a_259) | u(3_1 # m11a_259) | {3_1 # m11a_259} | true |
| u(3_1 # 11a_260) | u(3_1 # 11a_260) | {3_1 # 11a_260} | true |
| u(3_1 # m11a_260) | u(3_1 # m11a_260) | {3_1 # m11a_260} | true |
| u(3_1 # 11a_261) | u(3_1 # 11a_261) | {3_1 # 11a_261, 3_1 # r11a_261} | false |
| u(3_1 # m11a_261) | u(3_1 # m11a_261) | {3_1 # m11a_261, 3_1 # mr11a_261} | false |
| u(3_1 # 11a_262) | u(3_1 # 11a_262) | {3_1 # 11a_262, 3_1 # r11a_262} | false |
| u(3_1 # m11a_262) | u(3_1 # m11a_262) | {3_1 # m11a_262, 3_1 # mr11a_262} | false |
| u(3_1 # 11a_263) | u(3_1 # 11a_263) | {3_1 # 11a_263} | true |
| u(3_1 # m11a_263) | u(3_1 # m11a_263) | {3_1 # m11a_263} | true |
| u(3_1 # 11a_264) | u(3_1 # 11a_264) | {3_1 # 11a_264, 3_1 # r11a_264} | false |
| u(3_1 # m11a_264) | u(3_1 # m11a_264) | {3_1 # m11a_264, 3_1 # mr11a_264} | false |
| u(3_1 # 11a_265) | u(3_1 # 11a_265) | {3_1 # 11a_265, 3_1 # r11a_265} | false |
| u(3_1 # m11a_265) | u(3_1 # m11a_265) | {3_1 # m11a_265, 3_1 # mr11a_265} | false |
| u(3_1 # 11a_266) | u(3_1 # 11a_266) | {3_1 # 11a_266} | true |
| u(3_1 # m11a_266) | u(3_1 # m11a_266) | {3_1 # m11a_266} | true |
| u(3_1 # 11a_267) | u(3_1 # 11a_267) | {3_1 # 11a_267, 3_1 # r11a_267} | false |
| u(3_1 # m11a_267) | u(3_1 # m11a_267) | {3_1 # m11a_267, 3_1 # mr11a_267} | false |
| u(3_1 # 11a_268) | u(3_1 # 11a_268) | {3_1 # 11a_268, 3_1 # r11a_268} | false |
| u(3_1 # m11a_268) | u(3_1 # m11a_268) | {3_1 # m11a_268, 3_1 # mr11a_268} | false |
| u(3_1 # 11a_269) | u(3_1 # 11a_269) | {3_1 # 11a_269, 3_1 # r11a_269} | false |
| u(3_1 # m11a_269) | u(3_1 # m11a_269) | {3_1 # m11a_269, 3_1 # mr11a_269} | false |
| u(3_1 # 11a_270) | u(3_1 # 11a_270) | {3_1 # 11a_270, 3_1 # r11a_270} | false |
| u(3_1 # m11a_270) | u(3_1 # m11a_270) | {3_1 # m11a_270, 3_1 # mr11a_270} | false |
| u(3_1 # 11a_271) | u(3_1 # 11a_271) | {3_1 # 11a_271} | true |
| u(3_1 # m11a_271) | u(3_1 # m11a_271) | {3_1 # m11a_271} | true |
| u(3_1 # 11a_272) | u(3_1 # 11a_272) | {3_1 # 11a_272, 3_1 # r11a_272} | false |
| u(3_1 # m11a_272) | u(3_1 # m11a_272) | {3_1 # m11a_272, 3_1 # mr11a_272} | false |
| u(3_1 # 11a_273) | u(3_1 # 11a_273) | {3_1 # 11a_273, 3_1 # r11a_273} | false |
| u(3_1 # m11a_273) | u(3_1 # m11a_273) | {3_1 # m11a_273, 3_1 # mr11a_273} | false |
| u(3_1 # 11a_274) | u(3_1 # 11a_274) | {3_1 # 11a_274, 3_1 # r11a_274} | false |
| u(3_1 # m11a_274) | u(3_1 # m11a_274) | {3_1 # m11a_274, 3_1 # mr11a_274} | false |
| u(3_1 # 11a_275) | u(3_1 # 11a_275) | {3_1 # 11a_275, 3_1 # r11a_275} | false |
| u(3_1 # m11a_275) | u(3_1 # m11a_275) | {3_1 # m11a_275, 3_1 # mr11a_275} | false |
| u(3_1 # 11a_276) | u(3_1 # 11a_276) | {3_1 # 11a_276, 3_1 # r11a_276} | false |
| u(3_1 # m11a_276) | u(3_1 # m11a_276) | {3_1 # m11a_276, 3_1 # mr11a_276} | false |
| u(3_1 # 11a_277) | u(3_1 # 11a_277) | {3_1 # 11a_277} | true |
| u(3_1 # m11a_277) | u(3_1 # m11a_277) | {3_1 # m11a_277} | true |
| u(3_1 # 11a_278) | u(3_1 # 11a_278) | {3_1 # 11a_278} | true |
| u(3_1 # m11a_278) | u(3_1 # m11a_278) | {3_1 # m11a_278} | true |
| u(3_1 # 11a_279) | u(3_1 # 11a_279) | {3_1 # 11a_279} | true |
| u(3_1 # m11a_279) | u(3_1 # m11a_279) | {3_1 # m11a_279} | true |
| u(3_1 # 11a_280) | u(3_1 # 11a_280) | {3_1 # 11a_280} | true |
| u(3_1 # m11a_280) | u(3_1 # m11a_280) | {3_1 # m11a_280} | true |
| u(3_1 # 11a_281) | u(3_1 # 11a_281) | {3_1 # 11a_281} | true |
| u(3_1 # m11a_281) | u(3_1 # m11a_281) | {3_1 # m11a_281} | true |