| u(m3_1 # 11a_192) | u(m3_1 # 11a_192) | {m3_1 # 11a_192} | true |
| u(m3_1 # m11a_192) | u(m3_1 # m11a_192) | {m3_1 # m11a_192} | true |
| u(m3_1 # 11a_193) | u(m3_1 # 11a_193) | {m3_1 # 11a_193} | true |
| u(m3_1 # m11a_193) | u(m3_1 # m11a_193) | {m3_1 # m11a_193} | true |
| u(m3_1 # 11a_194) | u(m3_1 # 11a_194) | {m3_1 # 11a_194} | true |
| u(m3_1 # m11a_194) | u(m3_1 # m11a_194) | {m3_1 # m11a_194} | true |
| u(m3_1 # 11a_195) | u(m3_1 # 11a_195) | {m3_1 # 11a_195} | true |
| u(m3_1 # m11a_195) | u(m3_1 # m11a_195) | {m3_1 # m11a_195} | true |
| u(m3_1 # 11a_196) | u(m3_1 # 11a_196) | {m3_1 # 11a_196} | true |
| u(m3_1 # m11a_196) | u(m3_1 # m11a_196) | {m3_1 # m11a_196} | true |
| u(m3_1 # 11a_197) | u(m3_1 # 11a_197) | {m3_1 # 11a_197} | true |
| u(m3_1 # m11a_197) | u(m3_1 # m11a_197) | {m3_1 # m11a_197} | true |
| u(m3_1 # 11a_198) | u(m3_1 # 11a_198) | {m3_1 # 11a_198} | true |
| u(m3_1 # m11a_198) | u(m3_1 # m11a_198) | {m3_1 # m11a_198} | true |
| u(m3_1 # 11a_199) | u(m3_1 # 11a_199) | {m3_1 # 11a_199, m3_1 # r11a_199} | false |
| u(m3_1 # m11a_199) | u(m3_1 # m11a_199) | {m3_1 # m11a_199, m3_1 # mr11a_199} | false |
| u(m3_1 # 11a_200) | u(m3_1 # 11a_200) | {m3_1 # 11a_200} | true |
| u(m3_1 # m11a_200) | u(m3_1 # m11a_200) | {m3_1 # m11a_200} | true |
| u(m3_1 # 11a_201) | u(m3_1 # 11a_201) | {m3_1 # 11a_201, m3_1 # r11a_201} | false |
| u(m3_1 # m11a_201) | u(m3_1 # m11a_201) | {m3_1 # m11a_201, m3_1 # mr11a_201} | false |
| u(m3_1 # 11a_202) | u(m3_1 # 11a_202) | {m3_1 # 11a_202} | true |
| u(m3_1 # m11a_202) | u(m3_1 # m11a_202) | {m3_1 # m11a_202} | true |
| u(m3_1 # 11a_203) | u(m3_1 # 11a_203) | {m3_1 # 11a_203} | true |
| u(m3_1 # m11a_203) | u(m3_1 # m11a_203) | {m3_1 # m11a_203} | true |
| u(m3_1 # 11a_204) | u(m3_1 # 11a_204) | {m3_1 # 11a_204} | true |
| u(m3_1 # m11a_204) | u(m3_1 # m11a_204) | {m3_1 # m11a_204} | true |
| u(m3_1 # 11a_205) | u(m3_1 # 11a_205) | {m3_1 # 11a_205} | true |
| u(m3_1 # m11a_205) | u(m3_1 # m11a_205) | {m3_1 # m11a_205} | true |
| u(m3_1 # 11a_206) | u(m3_1 # 11a_206) | {m3_1 # 11a_206} | true |
| u(m3_1 # m11a_206) | u(m3_1 # m11a_206) | {m3_1 # m11a_206} | true |
| u(m3_1 # 11a_207) | u(m3_1 # 11a_207) | {m3_1 # 11a_207} | true |
| u(m3_1 # m11a_207) | u(m3_1 # m11a_207) | {m3_1 # m11a_207} | true |
| u(m3_1 # 11a_208) | u(m3_1 # 11a_208) | {m3_1 # 11a_208} | true |
| u(m3_1 # m11a_208) | u(m3_1 # m11a_208) | {m3_1 # m11a_208} | true |
| u(m3_1 # 11a_209) | u(m3_1 # 11a_209) | {m3_1 # 11a_209, m3_1 # r11a_209} | false |
| u(m3_1 # m11a_209) | u(m3_1 # m11a_209) | {m3_1 # m11a_209, m3_1 # mr11a_209} | false |
| u(m3_1 # 11a_210) | u(m3_1 # 11a_210) | {m3_1 # 11a_210} | true |
| u(m3_1 # m11a_210) | u(m3_1 # m11a_210) | {m3_1 # m11a_210} | true |
| u(m3_1 # 11a_211) | u(m3_1 # 11a_211) | {m3_1 # 11a_211} | true |
| u(m3_1 # m11a_211) | u(m3_1 # m11a_211) | {m3_1 # m11a_211} | true |
| u(m3_1 # 11a_212) | u(m3_1 # 11a_212) | {m3_1 # 11a_212} | true |
| u(m3_1 # m11a_212) | u(m3_1 # m11a_212) | {m3_1 # m11a_212} | true |
| u(m3_1 # 11a_213) | u(m3_1 # 11a_213) | {m3_1 # 11a_213, m3_1 # r11a_213} | false |
| u(m3_1 # m11a_213) | u(m3_1 # m11a_213) | {m3_1 # m11a_213, m3_1 # mr11a_213} | false |
| u(m3_1 # 11a_214) | u(m3_1 # 11a_214) | {m3_1 # 11a_214} | true |
| u(m3_1 # m11a_214) | u(m3_1 # m11a_214) | {m3_1 # m11a_214} | true |
| u(m3_1 # 11a_215) | u(m3_1 # 11a_215) | {m3_1 # 11a_215} | true |
| u(m3_1 # m11a_215) | u(m3_1 # m11a_215) | {m3_1 # m11a_215} | true |
| u(m3_1 # 11a_216) | u(m3_1 # 11a_216) | {m3_1 # 11a_216, m3_1 # r11a_216} | false |
| u(m3_1 # m11a_216) | u(m3_1 # m11a_216) | {m3_1 # m11a_216, m3_1 # mr11a_216} | false |
| u(m3_1 # 11a_217) | u(m3_1 # 11a_217) | {m3_1 # 11a_217, m3_1 # r11a_217} | false |
| u(m3_1 # m11a_217) | u(m3_1 # m11a_217) | {m3_1 # m11a_217, m3_1 # mr11a_217} | false |
| u(m3_1 # 11a_218) | u(m3_1 # 11a_218) | {m3_1 # 11a_218, m3_1 # r11a_218} | false |
| u(m3_1 # m11a_218) | u(m3_1 # m11a_218) | {m3_1 # m11a_218, m3_1 # mr11a_218} | false |
| u(m3_1 # 11a_219) | u(m3_1 # 11a_219) | {m3_1 # 11a_219} | true |
| u(m3_1 # m11a_219) | u(m3_1 # m11a_219) | {m3_1 # m11a_219} | true |
| u(m3_1 # 11a_220) | u(m3_1 # 11a_220) | {m3_1 # 11a_220} | true |
| u(m3_1 # m11a_220) | u(m3_1 # m11a_220) | {m3_1 # m11a_220} | true |
| u(m3_1 # 11a_221) | u(m3_1 # 11a_221) | {m3_1 # 11a_221} | true |
| u(m3_1 # m11a_221) | u(m3_1 # m11a_221) | {m3_1 # m11a_221} | true |
| u(m3_1 # 11a_222) | u(m3_1 # 11a_222) | {m3_1 # 11a_222} | true |
| u(m3_1 # m11a_222) | u(m3_1 # m11a_222) | {m3_1 # m11a_222} | true |
| u(m3_1 # 11a_223) | u(m3_1 # 11a_223) | {m3_1 # 11a_223} | true |
| u(m3_1 # m11a_223) | u(m3_1 # m11a_223) | {m3_1 # m11a_223} | true |
| u(m3_1 # 11a_224) | u(m3_1 # 11a_224) | {m3_1 # 11a_224} | true |
| u(m3_1 # m11a_224) | u(m3_1 # m11a_224) | {m3_1 # m11a_224} | true |
| u(m3_1 # 11a_225) | u(m3_1 # 11a_225) | {m3_1 # 11a_225} | true |
| u(m3_1 # m11a_225) | u(m3_1 # m11a_225) | {m3_1 # m11a_225} | true |
| u(m3_1 # 11a_226) | u(m3_1 # 11a_226) | {m3_1 # 11a_226} | true |
| u(m3_1 # m11a_226) | u(m3_1 # m11a_226) | {m3_1 # m11a_226} | true |
| u(m3_1 # 11a_227) | u(m3_1 # 11a_227) | {m3_1 # 11a_227} | true |
| u(m3_1 # m11a_227) | u(m3_1 # m11a_227) | {m3_1 # m11a_227} | true |
| u(m3_1 # 11a_228) | u(m3_1 # 11a_228) | {m3_1 # 11a_228} | true |
| u(m3_1 # m11a_228) | u(m3_1 # m11a_228) | {m3_1 # m11a_228} | true |
| u(m3_1 # 11a_229) | u(m3_1 # 11a_229) | {m3_1 # 11a_229} | true |
| u(m3_1 # m11a_229) | u(m3_1 # m11a_229) | {m3_1 # m11a_229} | true |
| u(m3_1 # 11a_230) | u(m3_1 # 11a_230) | {m3_1 # 11a_230} | true |
| u(m3_1 # m11a_230) | u(m3_1 # m11a_230) | {m3_1 # m11a_230} | true |
| u(m3_1 # 11a_231) | u(m3_1 # 11a_231) | {m3_1 # 11a_231} | true |
| u(m3_1 # m11a_231) | u(m3_1 # m11a_231) | {m3_1 # m11a_231} | true |
| u(m3_1 # 11a_232) | u(m3_1 # 11a_232) | {m3_1 # 11a_232, m3_1 # r11a_232} | false |
| u(m3_1 # m11a_232) | u(m3_1 # m11a_232) | {m3_1 # m11a_232, m3_1 # mr11a_232} | false |
| u(m3_1 # 11a_233) | u(m3_1 # 11a_233) | {m3_1 # 11a_233, m3_1 # r11a_233} | false |
| u(m3_1 # m11a_233) | u(m3_1 # m11a_233) | {m3_1 # m11a_233, m3_1 # mr11a_233} | false |
| u(m3_1 # 11a_234) | u(m3_1 # 11a_234) | {m3_1 # 11a_234} | true |
| u(m3_1 # m11a_234) | u(m3_1 # m11a_234) | {m3_1 # m11a_234} | true |
| u(m3_1 # 11a_235) | u(m3_1 # 11a_235) | {m3_1 # 11a_235} | true |
| u(m3_1 # m11a_235) | u(m3_1 # m11a_235) | {m3_1 # m11a_235} | true |
| u(m3_1 # 11a_236) | u(m3_1 # 11a_236) | {m3_1 # 11a_236} | true |
| u(m3_1 # m11a_236) | u(m3_1 # m11a_236) | {m3_1 # m11a_236} | true |
| u(m3_1 # 11a_237) | u(m3_1 # 11a_237) | {m3_1 # 11a_237} | true |
| u(m3_1 # m11a_237) | u(m3_1 # m11a_237) | {m3_1 # m11a_237} | true |
| u(m3_1 # 11a_238) | u(m3_1 # 11a_238) | {m3_1 # 11a_238} | true |
| u(m3_1 # m11a_238) | u(m3_1 # m11a_238) | {m3_1 # m11a_238} | true |
| u(m3_1 # 11a_239) | u(m3_1 # 11a_239) | {m3_1 # 11a_239} | true |
| u(m3_1 # m11a_239) | u(m3_1 # m11a_239) | {m3_1 # m11a_239} | true |
| u(m3_1 # 11a_240) | u(m3_1 # 11a_240) | {m3_1 # 11a_240} | true |
| u(m3_1 # m11a_240) | u(m3_1 # m11a_240) | {m3_1 # m11a_240} | true |
| u(m3_1 # 11a_241) | u(m3_1 # 11a_241) | {m3_1 # 11a_241} | true |
| u(m3_1 # m11a_241) | u(m3_1 # m11a_241) | {m3_1 # m11a_241} | true |