| u(m3_1 # 11a_242) | u(m3_1 # 11a_242) | {m3_1 # 11a_242} | true |
| u(m3_1 # m11a_242) | u(m3_1 # m11a_242) | {m3_1 # m11a_242} | true |
| u(m3_1 # 11a_243) | u(m3_1 # 11a_243) | {m3_1 # 11a_243} | true |
| u(m3_1 # m11a_243) | u(m3_1 # m11a_243) | {m3_1 # m11a_243} | true |
| u(m3_1 # 11a_244) | u(m3_1 # 11a_244) | {m3_1 # 11a_244, m3_1 # r11a_244} | false |
| u(m3_1 # m11a_244) | u(m3_1 # m11a_244) | {m3_1 # m11a_244, m3_1 # mr11a_244} | false |
| u(m3_1 # 11a_245) | u(m3_1 # 11a_245) | {m3_1 # 11a_245} | true |
| u(m3_1 # m11a_245) | u(m3_1 # m11a_245) | {m3_1 # m11a_245} | true |
| u(m3_1 # 11a_246) | u(m3_1 # 11a_246) | {m3_1 # 11a_246} | true |
| u(m3_1 # m11a_246) | u(m3_1 # m11a_246) | {m3_1 # m11a_246} | true |
| u(m3_1 # 11a_247) | u(m3_1 # 11a_247) | {m3_1 # 11a_247} | true |
| u(m3_1 # m11a_247) | u(m3_1 # m11a_247) | {m3_1 # m11a_247} | true |
| u(m3_1 # 11a_248) | u(m3_1 # 11a_248) | {m3_1 # 11a_248} | true |
| u(m3_1 # m11a_248) | u(m3_1 # m11a_248) | {m3_1 # m11a_248} | true |
| u(m3_1 # 11a_249) | u(m3_1 # 11a_249) | {m3_1 # 11a_249} | true |
| u(m3_1 # m11a_249) | u(m3_1 # m11a_249) | {m3_1 # m11a_249} | true |
| u(m3_1 # 11a_250) | u(m3_1 # 11a_250) | {m3_1 # 11a_250} | true |
| u(m3_1 # m11a_250) | u(m3_1 # m11a_250) | {m3_1 # m11a_250} | true |
| u(m3_1 # 11a_251) | u(m3_1 # 11a_251) | {m3_1 # 11a_251, m3_1 # r11a_251} | false |
| u(m3_1 # m11a_251) | u(m3_1 # m11a_251) | {m3_1 # m11a_251, m3_1 # mr11a_251} | false |
| u(m3_1 # 11a_252) | u(m3_1 # 11a_252) | {m3_1 # 11a_252, m3_1 # r11a_252} | false |
| u(m3_1 # m11a_252) | u(m3_1 # m11a_252) | {m3_1 # m11a_252, m3_1 # mr11a_252} | false |
| u(m3_1 # 11a_253) | u(m3_1 # 11a_253) | {m3_1 # 11a_253, m3_1 # r11a_253} | false |
| u(m3_1 # m11a_253) | u(m3_1 # m11a_253) | {m3_1 # m11a_253, m3_1 # mr11a_253} | false |
| u(m3_1 # 11a_254) | u(m3_1 # 11a_254) | {m3_1 # 11a_254, m3_1 # r11a_254} | false |
| u(m3_1 # m11a_254) | u(m3_1 # m11a_254) | {m3_1 # m11a_254, m3_1 # mr11a_254} | false |
| u(m3_1 # 11a_255) | u(m3_1 # 11a_255) | {m3_1 # 11a_255, m3_1 # r11a_255} | false |
| u(m3_1 # m11a_255) | u(m3_1 # m11a_255) | {m3_1 # m11a_255, m3_1 # mr11a_255} | false |
| u(m3_1 # 11a_256) | u(m3_1 # 11a_256) | {m3_1 # 11a_256, m3_1 # r11a_256} | false |
| u(m3_1 # m11a_256) | u(m3_1 # m11a_256) | {m3_1 # m11a_256, m3_1 # mr11a_256} | false |
| u(m3_1 # 11a_257) | u(m3_1 # 11a_257) | {m3_1 # 11a_257} | true |
| u(m3_1 # m11a_257) | u(m3_1 # m11a_257) | {m3_1 # m11a_257} | true |
| u(m3_1 # 11a_258) | u(m3_1 # 11a_258) | {m3_1 # 11a_258} | true |
| u(m3_1 # m11a_258) | u(m3_1 # m11a_258) | {m3_1 # m11a_258} | true |
| u(m3_1 # 11a_259) | u(m3_1 # 11a_259) | {m3_1 # 11a_259} | true |
| u(m3_1 # m11a_259) | u(m3_1 # m11a_259) | {m3_1 # m11a_259} | true |
| u(m3_1 # 11a_260) | u(m3_1 # 11a_260) | {m3_1 # 11a_260} | true |
| u(m3_1 # m11a_260) | u(m3_1 # m11a_260) | {m3_1 # m11a_260} | true |
| u(m3_1 # 11a_261) | u(m3_1 # 11a_261) | {m3_1 # 11a_261, m3_1 # r11a_261} | false |
| u(m3_1 # m11a_261) | u(m3_1 # m11a_261) | {m3_1 # m11a_261, m3_1 # mr11a_261} | false |
| u(m3_1 # 11a_262) | u(m3_1 # 11a_262) | {m3_1 # 11a_262, m3_1 # r11a_262} | false |
| u(m3_1 # m11a_262) | u(m3_1 # m11a_262) | {m3_1 # m11a_262, m3_1 # mr11a_262} | false |
| u(m3_1 # 11a_263) | u(m3_1 # 11a_263) | {m3_1 # 11a_263} | true |
| u(m3_1 # m11a_263) | u(m3_1 # m11a_263) | {m3_1 # m11a_263} | true |
| u(m3_1 # 11a_264) | u(m3_1 # 11a_264) | {m3_1 # 11a_264, m3_1 # r11a_264} | false |
| u(m3_1 # m11a_264) | u(m3_1 # m11a_264) | {m3_1 # m11a_264, m3_1 # mr11a_264} | false |
| u(m3_1 # 11a_265) | u(m3_1 # 11a_265) | {m3_1 # 11a_265, m3_1 # r11a_265} | false |
| u(m3_1 # m11a_265) | u(m3_1 # m11a_265) | {m3_1 # m11a_265, m3_1 # mr11a_265} | false |
| u(m3_1 # 11a_266) | u(m3_1 # 11a_266) | {m3_1 # 11a_266} | true |
| u(m3_1 # m11a_266) | u(m3_1 # m11a_266) | {m3_1 # m11a_266} | true |
| u(m3_1 # 11a_267) | u(m3_1 # 11a_267) | {m3_1 # 11a_267, m3_1 # r11a_267} | false |
| u(m3_1 # m11a_267) | u(m3_1 # m11a_267) | {m3_1 # m11a_267, m3_1 # mr11a_267} | false |
| u(m3_1 # 11a_268) | u(m3_1 # 11a_268) | {m3_1 # 11a_268, m3_1 # r11a_268} | false |
| u(m3_1 # m11a_268) | u(m3_1 # m11a_268) | {m3_1 # m11a_268, m3_1 # mr11a_268} | false |
| u(m3_1 # 11a_269) | u(m3_1 # 11a_269) | {m3_1 # 11a_269, m3_1 # r11a_269} | false |
| u(m3_1 # m11a_269) | u(m3_1 # m11a_269) | {m3_1 # m11a_269, m3_1 # mr11a_269} | false |
| u(m3_1 # 11a_270) | u(m3_1 # 11a_270) | {m3_1 # 11a_270, m3_1 # r11a_270} | false |
| u(m3_1 # m11a_270) | u(m3_1 # m11a_270) | {m3_1 # m11a_270, m3_1 # mr11a_270} | false |
| u(m3_1 # 11a_271) | u(m3_1 # 11a_271) | {m3_1 # 11a_271} | true |
| u(m3_1 # m11a_271) | u(m3_1 # m11a_271) | {m3_1 # m11a_271} | true |
| u(m3_1 # 11a_272) | u(m3_1 # 11a_272) | {m3_1 # 11a_272, m3_1 # r11a_272} | false |
| u(m3_1 # m11a_272) | u(m3_1 # m11a_272) | {m3_1 # m11a_272, m3_1 # mr11a_272} | false |
| u(m3_1 # 11a_273) | u(m3_1 # 11a_273) | {m3_1 # 11a_273, m3_1 # r11a_273} | false |
| u(m3_1 # m11a_273) | u(m3_1 # m11a_273) | {m3_1 # m11a_273, m3_1 # mr11a_273} | false |
| u(m3_1 # 11a_274) | u(m3_1 # 11a_274) | {m3_1 # 11a_274, m3_1 # r11a_274} | false |
| u(m3_1 # m11a_274) | u(m3_1 # m11a_274) | {m3_1 # m11a_274, m3_1 # mr11a_274} | false |
| u(m3_1 # 11a_275) | u(m3_1 # 11a_275) | {m3_1 # 11a_275, m3_1 # r11a_275} | false |
| u(m3_1 # m11a_275) | u(m3_1 # m11a_275) | {m3_1 # m11a_275, m3_1 # mr11a_275} | false |
| u(m3_1 # 11a_276) | u(m3_1 # 11a_276) | {m3_1 # 11a_276, m3_1 # r11a_276} | false |
| u(m3_1 # m11a_276) | u(m3_1 # m11a_276) | {m3_1 # m11a_276, m3_1 # mr11a_276} | false |
| u(m3_1 # 11a_277) | u(m3_1 # 11a_277) | {m3_1 # 11a_277} | true |
| u(m3_1 # m11a_277) | u(m3_1 # m11a_277) | {m3_1 # m11a_277} | true |
| u(m3_1 # 11a_278) | u(m3_1 # 11a_278) | {m3_1 # 11a_278} | true |
| u(m3_1 # m11a_278) | u(m3_1 # m11a_278) | {m3_1 # m11a_278} | true |
| u(m3_1 # 11a_279) | u(m3_1 # 11a_279) | {m3_1 # 11a_279} | true |
| u(m3_1 # m11a_279) | u(m3_1 # m11a_279) | {m3_1 # m11a_279} | true |
| u(m3_1 # 11a_280) | u(m3_1 # 11a_280) | {m3_1 # 11a_280} | true |
| u(m3_1 # m11a_280) | u(m3_1 # m11a_280) | {m3_1 # m11a_280} | true |
| u(m3_1 # 11a_281) | u(m3_1 # 11a_281) | {m3_1 # 11a_281} | true |
| u(m3_1 # m11a_281) | u(m3_1 # m11a_281) | {m3_1 # m11a_281} | true |
| u(m3_1 # 11a_282) | u(m3_1 # 11a_282) | {m3_1 # 11a_282, m3_1 # r11a_282} | false |
| u(m3_1 # m11a_282) | u(m3_1 # m11a_282) | {m3_1 # m11a_282, m3_1 # mr11a_282} | false |
| u(m3_1 # 11a_283) | u(m3_1 # 11a_283) | {m3_1 # 11a_283, m3_1 # r11a_283} | false |
| u(m3_1 # m11a_283) | u(m3_1 # m11a_283) | {m3_1 # m11a_283, m3_1 # mr11a_283} | false |
| u(m3_1 # 11a_284) | u(m3_1 # 11a_284) | {m3_1 # 11a_284, m3_1 # r11a_284} | false |
| u(m3_1 # m11a_284) | u(m3_1 # m11a_284) | {m3_1 # m11a_284, m3_1 # mr11a_284} | false |
| u(m3_1 # 11a_285) | u(m3_1 # 11a_285) | {m3_1 # 11a_285} | true |
| u(m3_1 # m11a_285) | u(m3_1 # m11a_285) | {m3_1 # m11a_285} | true |
| u(m3_1 # 11a_286) | u(m3_1 # 11a_286) | {m3_1 # 11a_286, m3_1 # r11a_286} | false |
| u(m3_1 # m11a_286) | u(m3_1 # m11a_286) | {m3_1 # m11a_286, m3_1 # mr11a_286} | false |
| u(m3_1 # 11a_287) | u(m3_1 # 11a_287) | {m3_1 # 11a_287, m3_1 # r11a_287} | false |
| u(m3_1 # m11a_287) | u(m3_1 # m11a_287) | {m3_1 # m11a_287, m3_1 # mr11a_287} | false |
| u(m3_1 # 11a_288) | u(m3_1 # 11a_288) | {m3_1 # 11a_288} | true |
| u(m3_1 # m11a_288) | u(m3_1 # m11a_288) | {m3_1 # m11a_288} | true |
| u(m3_1 # 11a_289) | u(m3_1 # 11a_289) | {m3_1 # 11a_289, m3_1 # r11a_289} | false |
| u(m3_1 # m11a_289) | u(m3_1 # m11a_289) | {m3_1 # m11a_289, m3_1 # mr11a_289} | false |
| u(m3_1 # 11a_290) | u(m3_1 # 11a_290) | {m3_1 # 11a_290, m3_1 # r11a_290} | false |
| u(m3_1 # m11a_290) | u(m3_1 # m11a_290) | {m3_1 # m11a_290, m3_1 # mr11a_290} | false |
| u(m3_1 # 11a_291) | u(m3_1 # 11a_291) | {m3_1 # 11a_291} | true |
| u(m3_1 # m11a_291) | u(m3_1 # m11a_291) | {m3_1 # m11a_291} | true |