| u(m3_1 # 11a_142) | u(m3_1 # 11a_142) | {m3_1 # 11a_142} | true |
| u(m3_1 # m11a_142) | u(m3_1 # m11a_142) | {m3_1 # m11a_142} | true |
| u(m3_1 # 11a_143) | u(m3_1 # 11a_143) | {m3_1 # 11a_143} | true |
| u(m3_1 # m11a_143) | u(m3_1 # m11a_143) | {m3_1 # m11a_143} | true |
| u(m3_1 # 11a_144) | u(m3_1 # 11a_144) | {m3_1 # 11a_144} | true |
| u(m3_1 # m11a_144) | u(m3_1 # m11a_144) | {m3_1 # m11a_144} | true |
| u(m3_1 # 11a_145) | u(m3_1 # 11a_145) | {m3_1 # 11a_145} | true |
| u(m3_1 # m11a_145) | u(m3_1 # m11a_145) | {m3_1 # m11a_145} | true |
| u(m3_1 # 11a_146) | u(m3_1 # 11a_146) | {m3_1 # 11a_146, m3_1 # r11a_146} | false |
| u(m3_1 # m11a_146) | u(m3_1 # m11a_146) | {m3_1 # m11a_146, m3_1 # mr11a_146} | false |
| u(m3_1 # 11a_147) | u(m3_1 # 11a_147) | {m3_1 # 11a_147, m3_1 # r11a_147} | false |
| u(m3_1 # m11a_147) | u(m3_1 # m11a_147) | {m3_1 # m11a_147, m3_1 # mr11a_147} | false |
| u(m3_1 # 11a_148) | u(m3_1 # 11a_148) | {m3_1 # 11a_148} | true |
| u(m3_1 # m11a_148) | u(m3_1 # m11a_148) | {m3_1 # m11a_148} | true |
| u(m3_1 # 11a_149) | u(m3_1 # 11a_149) | {m3_1 # 11a_149, m3_1 # r11a_149} | false |
| u(m3_1 # m11a_149) | u(m3_1 # m11a_149) | {m3_1 # m11a_149, m3_1 # mr11a_149} | false |
| u(m3_1 # 11a_150) | u(m3_1 # 11a_150) | {m3_1 # 11a_150, m3_1 # r11a_150} | false |
| u(m3_1 # m11a_150) | u(m3_1 # m11a_150) | {m3_1 # m11a_150, m3_1 # mr11a_150} | false |
| u(m3_1 # 11a_151) | u(m3_1 # 11a_151) | {m3_1 # 11a_151, m3_1 # r11a_151} | false |
| u(m3_1 # m11a_151) | u(m3_1 # m11a_151) | {m3_1 # m11a_151, m3_1 # mr11a_151} | false |
| u(m3_1 # 11a_152) | u(m3_1 # 11a_152) | {m3_1 # 11a_152, m3_1 # r11a_152} | false |
| u(m3_1 # m11a_152) | u(m3_1 # m11a_152) | {m3_1 # m11a_152, m3_1 # mr11a_152} | false |
| u(m3_1 # 11a_153) | u(m3_1 # 11a_153) | {m3_1 # 11a_153} | true |
| u(m3_1 # m11a_153) | u(m3_1 # m11a_153) | {m3_1 # m11a_153} | true |
| u(m3_1 # 11a_154) | u(m3_1 # 11a_154) | {m3_1 # 11a_154} | true |
| u(m3_1 # m11a_154) | u(m3_1 # m11a_154) | {m3_1 # m11a_154} | true |
| u(m3_1 # 11a_155) | u(m3_1 # 11a_155) | {m3_1 # 11a_155} | true |
| u(m3_1 # m11a_155) | u(m3_1 # m11a_155) | {m3_1 # m11a_155} | true |
| u(m3_1 # 11a_156) | u(m3_1 # 11a_156) | {m3_1 # 11a_156, m3_1 # r11a_156} | false |
| u(m3_1 # m11a_156) | u(m3_1 # m11a_156) | {m3_1 # m11a_156, m3_1 # mr11a_156} | false |
| u(m3_1 # 11a_157) | u(m3_1 # 11a_157) | {m3_1 # 11a_157, m3_1 # r11a_157} | false |
| u(m3_1 # m11a_157) | u(m3_1 # m11a_157) | {m3_1 # m11a_157, m3_1 # mr11a_157} | false |
| u(m3_1 # 11a_158) | u(m3_1 # 11a_158) | {m3_1 # 11a_158} | true |
| u(m3_1 # m11a_158) | u(m3_1 # m11a_158) | {m3_1 # m11a_158} | true |
| u(m3_1 # 11a_159) | u(m3_1 # 11a_159) | {m3_1 # 11a_159} | true |
| u(m3_1 # m11a_159) | u(m3_1 # m11a_159) | {m3_1 # m11a_159} | true |
| u(m3_1 # 11a_160) | u(m3_1 # 11a_160) | {m3_1 # 11a_160} | true |
| u(m3_1 # m11a_160) | u(m3_1 # m11a_160) | {m3_1 # m11a_160} | true |
| u(m3_1 # 11a_161) | u(m3_1 # 11a_161) | {m3_1 # 11a_161} | true |
| u(m3_1 # m11a_161) | u(m3_1 # m11a_161) | {m3_1 # m11a_161} | true |
| u(m3_1 # 11a_162) | u(m3_1 # 11a_162) | {m3_1 # 11a_162, m3_1 # r11a_162} | false |
| u(m3_1 # m11a_162) | u(m3_1 # m11a_162) | {m3_1 # m11a_162, m3_1 # mr11a_162} | false |
| u(m3_1 # 11a_163) | u(m3_1 # 11a_163) | {m3_1 # 11a_163, m3_1 # r11a_163} | false |
| u(m3_1 # m11a_163) | u(m3_1 # m11a_163) | {m3_1 # m11a_163, m3_1 # mr11a_163} | false |
| u(m3_1 # 11a_164) | u(m3_1 # 11a_164) | {m3_1 # 11a_164, m3_1 # r11a_164} | false |
| u(m3_1 # m11a_164) | u(m3_1 # m11a_164) | {m3_1 # m11a_164, m3_1 # mr11a_164} | false |
| u(m3_1 # 11a_165) | u(m3_1 # 11a_165) | {m3_1 # 11a_165} | true |
| u(m3_1 # m11a_165) | u(m3_1 # m11a_165) | {m3_1 # m11a_165} | true |
| u(m3_1 # 11a_166) | u(m3_1 # 11a_166) | {m3_1 # 11a_166} | true |
| u(m3_1 # m11a_166) | u(m3_1 # m11a_166) | {m3_1 # m11a_166} | true |
| u(m3_1 # 11a_167) | u(m3_1 # 11a_167) | {m3_1 # 11a_167, m3_1 # r11a_167} | false |
| u(m3_1 # m11a_167) | u(m3_1 # m11a_167) | {m3_1 # m11a_167, m3_1 # mr11a_167} | false |
| u(m3_1 # 11a_168) | u(m3_1 # 11a_168) | {m3_1 # 11a_168, m3_1 # r11a_168} | false |
| u(m3_1 # m11a_168) | u(m3_1 # m11a_168) | {m3_1 # m11a_168, m3_1 # mr11a_168} | false |
| u(m3_1 # 11a_169) | u(m3_1 # 11a_169) | {m3_1 # 11a_169, m3_1 # r11a_169} | false |
| u(m3_1 # m11a_169) | u(m3_1 # m11a_169) | {m3_1 # m11a_169, m3_1 # mr11a_169} | false |
| u(m3_1 # 11a_170) | u(m3_1 # 11a_170) | {m3_1 # 11a_170} | true |
| u(m3_1 # m11a_170) | u(m3_1 # m11a_170) | {m3_1 # m11a_170} | true |
| u(m3_1 # 11a_171) | u(m3_1 # 11a_171) | {m3_1 # 11a_171} | true |
| u(m3_1 # m11a_171) | u(m3_1 # m11a_171) | {m3_1 # m11a_171} | true |
| u(m3_1 # 11a_172) | u(m3_1 # 11a_172) | {m3_1 # 11a_172, m3_1 # r11a_172} | false |
| u(m3_1 # m11a_172) | u(m3_1 # m11a_172) | {m3_1 # m11a_172, m3_1 # mr11a_172} | false |
| u(m3_1 # 11a_173) | u(m3_1 # 11a_173) | {m3_1 # 11a_173} | true |
| u(m3_1 # m11a_173) | u(m3_1 # m11a_173) | {m3_1 # m11a_173} | true |
| u(m3_1 # 11a_174) | u(m3_1 # 11a_174) | {m3_1 # 11a_174} | true |
| u(m3_1 # m11a_174) | u(m3_1 # m11a_174) | {m3_1 # m11a_174} | true |
| u(m3_1 # 11a_175) | u(m3_1 # 11a_175) | {m3_1 # 11a_175} | true |
| u(m3_1 # m11a_175) | u(m3_1 # m11a_175) | {m3_1 # m11a_175} | true |
| u(m3_1 # 11a_176) | u(m3_1 # 11a_176) | {m3_1 # 11a_176} | true |
| u(m3_1 # m11a_176) | u(m3_1 # m11a_176) | {m3_1 # m11a_176} | true |
| u(m3_1 # 11a_177) | u(m3_1 # 11a_177) | {m3_1 # 11a_177} | true |
| u(m3_1 # m11a_177) | u(m3_1 # m11a_177) | {m3_1 # m11a_177} | true |
| u(m3_1 # 11a_178) | u(m3_1 # 11a_178) | {m3_1 # 11a_178} | true |
| u(m3_1 # m11a_178) | u(m3_1 # m11a_178) | {m3_1 # m11a_178} | true |
| u(m3_1 # 11a_179) | u(m3_1 # 11a_179) | {m3_1 # 11a_179} | true |
| u(m3_1 # m11a_179) | u(m3_1 # m11a_179) | {m3_1 # m11a_179} | true |
| u(m3_1 # 11a_180) | u(m3_1 # 11a_180) | {m3_1 # 11a_180} | true |
| u(m3_1 # m11a_180) | u(m3_1 # m11a_180) | {m3_1 # m11a_180} | true |
| u(m3_1 # 11a_181) | u(m3_1 # 11a_181) | {m3_1 # 11a_181} | true |
| u(m3_1 # m11a_181) | u(m3_1 # m11a_181) | {m3_1 # m11a_181} | true |
| u(m3_1 # 11a_182) | u(m3_1 # 11a_182) | {m3_1 # 11a_182} | true |
| u(m3_1 # m11a_182) | u(m3_1 # m11a_182) | {m3_1 # m11a_182} | true |
| u(m3_1 # 11a_183) | u(m3_1 # 11a_183) | {m3_1 # 11a_183} | true |
| u(m3_1 # m11a_183) | u(m3_1 # m11a_183) | {m3_1 # m11a_183} | true |
| u(m3_1 # 11a_184) | u(m3_1 # 11a_184) | {m3_1 # 11a_184} | true |
| u(m3_1 # m11a_184) | u(m3_1 # m11a_184) | {m3_1 # m11a_184} | true |
| u(m3_1 # 11a_185) | u(m3_1 # 11a_185) | {m3_1 # 11a_185} | true |
| u(m3_1 # m11a_185) | u(m3_1 # m11a_185) | {m3_1 # m11a_185} | true |
| u(m3_1 # 11a_186) | u(m3_1 # 11a_186) | {m3_1 # 11a_186} | true |
| u(m3_1 # m11a_186) | u(m3_1 # m11a_186) | {m3_1 # m11a_186} | true |
| u(m3_1 # 11a_187) | u(m3_1 # 11a_187) | {m3_1 # 11a_187, m3_1 # r11a_187} | false |
| u(m3_1 # m11a_187) | u(m3_1 # m11a_187) | {m3_1 # m11a_187, m3_1 # mr11a_187} | false |
| u(m3_1 # 11a_188) | u(m3_1 # 11a_188) | {m3_1 # 11a_188} | true |
| u(m3_1 # m11a_188) | u(m3_1 # m11a_188) | {m3_1 # m11a_188} | true |
| u(m3_1 # 11a_189) | u(m3_1 # 11a_189) | {m3_1 # 11a_189, m3_1 # r11a_189} | false |
| u(m3_1 # m11a_189) | u(m3_1 # m11a_189) | {m3_1 # m11a_189, m3_1 # mr11a_189} | false |
| u(m3_1 # 11a_190) | u(m3_1 # 11a_190) | {m3_1 # 11a_190} | true |
| u(m3_1 # m11a_190) | u(m3_1 # m11a_190) | {m3_1 # m11a_190} | true |
| u(m3_1 # 11a_191) | u(m3_1 # 11a_191) | {m3_1 # 11a_191} | true |
| u(m3_1 # m11a_191) | u(m3_1 # m11a_191) | {m3_1 # m11a_191} | true |