| u(m3_1 # 11n_125) | u(m3_1 # 11n_125) | {m3_1 # 11n_125} | true |
| u(m3_1 # m11n_125) | u(m3_1 # m11n_125) | {m3_1 # m11n_125} | true |
| u(m3_1 # 11n_126) | u(m3_1 # 11n_126) | {m3_1 # 11n_126} | true |
| u(m3_1 # m11n_126) | u(m3_1 # m11n_126) | {m3_1 # m11n_126} | true |
| u(m3_1 # 11n_127) | u(m3_1 # 11n_127) | {m3_1 # 11n_127} | true |
| u(m3_1 # m11n_127) | u(m3_1 # m11n_127) | {m3_1 # m11n_127} | true |
| u(m3_1 # 11n_128) | u(m3_1 # 11n_128) | {m3_1 # 11n_128, m3_1 # r11n_128} | false |
| u(m3_1 # m11n_128) | u(m3_1 # m11n_128) | {m3_1 # m11n_128, m3_1 # mr11n_128} | false |
| u(m3_1 # 11n_129) | u(m3_1 # 11n_129) | {m3_1 # 11n_129, m3_1 # r11n_129} | false |
| u(m3_1 # m11n_129) | u(m3_1 # m11n_129) | {m3_1 # m11n_129, m3_1 # mr11n_129} | false |
| u(m3_1 # 11n_130) | u(m3_1 # 11n_130) | {m3_1 # 11n_130, m3_1 # r11n_130} | false |
| u(m3_1 # m11n_130) | u(m3_1 # m11n_130) | {m3_1 # m11n_130, m3_1 # mr11n_130} | false |
| u(m3_1 # 11n_131) | u(m3_1 # 11n_131) | {m3_1 # 11n_131, m3_1 # r11n_131} | false |
| u(m3_1 # m11n_131) | u(m3_1 # m11n_131) | {m3_1 # m11n_131, m3_1 # mr11n_131} | false |
| u(m3_1 # 11n_132) | u(m3_1 # 11n_132) | {m3_1 # 11n_132, m3_1 # r11n_132} | false |
| u(m3_1 # m11n_132) | u(m3_1 # m11n_132) | {m3_1 # m11n_132, m3_1 # mr11n_132} | false |
| u(m3_1 # 11n_133) | u(m3_1 # 11n_133) | {m3_1 # 11n_133} | true |
| u(m3_1 # m11n_133) | u(m3_1 # m11n_133) | {m3_1 # m11n_133} | true |
| u(m3_1 # 11n_134) | u(m3_1 # 11n_134) | {m3_1 # 11n_134, m3_1 # r11n_134} | false |
| u(m3_1 # m11n_134) | u(m3_1 # m11n_134) | {m3_1 # m11n_134, m3_1 # mr11n_134} | false |
| u(m3_1 # 11n_135) | u(m3_1 # 11n_135) | {m3_1 # 11n_135} | true |
| u(m3_1 # m11n_135) | u(m3_1 # m11n_135) | {m3_1 # m11n_135} | true |
| u(m3_1 # 11n_136) | u(m3_1 # 11n_136) | {m3_1 # 11n_136} | true |
| u(m3_1 # m11n_136) | u(m3_1 # m11n_136) | {m3_1 # m11n_136} | true |
| u(m3_1 # 11n_137) | u(m3_1 # 11n_137) | {m3_1 # 11n_137} | true |
| u(m3_1 # m11n_137) | u(m3_1 # m11n_137) | {m3_1 # m11n_137} | true |
| u(m3_1 # 11n_138) | u(m3_1 # 11n_138) | {m3_1 # 11n_138} | true |
| u(m3_1 # m11n_138) | u(m3_1 # m11n_138) | {m3_1 # m11n_138} | true |
| u(m3_1 # 11n_139) | u(m3_1 # 11n_139) | {m3_1 # 11n_139, m3_1 # r11n_139} | false |
| u(m3_1 # m11n_139) | u(m3_1 # m11n_139) | {m3_1 # m11n_139, m3_1 # mr11n_139} | false |
| u(m3_1 # 11n_140) | u(m3_1 # 11n_140) | {m3_1 # 11n_140} | true |
| u(m3_1 # m11n_140) | u(m3_1 # m11n_140) | {m3_1 # m11n_140} | true |
| u(m3_1 # 11n_141) | u(m3_1 # 11n_141) | {m3_1 # 11n_141} | true |
| u(m3_1 # m11n_141) | u(m3_1 # m11n_141) | {m3_1 # m11n_141} | true |
| u(m3_1 # 11n_142) | u(m3_1 # 11n_142) | {m3_1 # 11n_142} | true |
| u(m3_1 # m11n_142) | u(m3_1 # m11n_142) | {m3_1 # m11n_142} | true |
| u(m3_1 # 11n_143) | u(m3_1 # 11n_143) | {m3_1 # 11n_143} | true |
| u(m3_1 # m11n_143) | u(m3_1 # m11n_143) | {m3_1 # m11n_143} | true |
| u(m3_1 # 11n_144) | u(m3_1 # 11n_144) | {m3_1 # 11n_144} | true |
| u(m3_1 # m11n_144) | u(m3_1 # m11n_144) | {m3_1 # m11n_144} | true |
| u(m3_1 # 11n_145) | u(m3_1 # 11n_145) | {m3_1 # 11n_145} | true |
| u(m3_1 # m11n_145) | u(m3_1 # m11n_145) | {m3_1 # m11n_145} | true |
| u(m3_1 # 11n_146) | u(m3_1 # 11n_146) | {m3_1 # 11n_146} | true |
| u(m3_1 # m11n_146) | u(m3_1 # m11n_146) | {m3_1 # m11n_146} | true |
| u(m3_1 # 11n_147) | u(m3_1 # 11n_147) | {m3_1 # 11n_147, m3_1 # r11n_147} | false |
| u(m3_1 # m11n_147) | u(m3_1 # m11n_147) | {m3_1 # m11n_147, m3_1 # mr11n_147} | false |
| u(m3_1 # 11n_148) | u(m3_1 # 11n_148) | {m3_1 # 11n_148} | true |
| u(m3_1 # m11n_148) | u(m3_1 # m11n_148) | {m3_1 # m11n_148} | true |
| u(m3_1 # 11n_149) | u(m3_1 # 11n_149) | {m3_1 # 11n_149} | true |
| u(m3_1 # m11n_149) | u(m3_1 # m11n_149) | {m3_1 # m11n_149} | true |
| u(m3_1 # 11n_150) | u(m3_1 # 11n_150) | {m3_1 # 11n_150} | true |
| u(m3_1 # m11n_150) | u(m3_1 # m11n_150) | {m3_1 # m11n_150} | true |
| u(m3_1 # 11n_151) | u(m3_1 # 11n_151) | {m3_1 # 11n_151, m3_1 # r11n_151} | false |
| u(m3_1 # m11n_151) | u(m3_1 # m11n_151) | {m3_1 # m11n_151, m3_1 # mr11n_151} | false |
| u(m3_1 # 11n_152) | u(m3_1 # 11n_152) | {m3_1 # 11n_152} | true |
| u(m3_1 # m11n_152) | u(m3_1 # m11n_152) | {m3_1 # m11n_152} | true |
| u(m3_1 # 11n_153) | u(m3_1 # 11n_153) | {m3_1 # 11n_153} | true |
| u(m3_1 # m11n_153) | u(m3_1 # m11n_153) | {m3_1 # m11n_153} | true |
| u(m3_1 # 11n_154) | u(m3_1 # 11n_154) | {m3_1 # 11n_154, m3_1 # r11n_154} | false |
| u(m3_1 # m11n_154) | u(m3_1 # m11n_154) | {m3_1 # m11n_154, m3_1 # mr11n_154} | false |
| u(m3_1 # 11n_155) | u(m3_1 # 11n_155) | {m3_1 # 11n_155} | true |
| u(m3_1 # m11n_155) | u(m3_1 # m11n_155) | {m3_1 # m11n_155} | true |
| u(m3_1 # 11n_156) | u(m3_1 # 11n_156) | {m3_1 # 11n_156} | true |
| u(m3_1 # m11n_156) | u(m3_1 # m11n_156) | {m3_1 # m11n_156} | true |
| u(m3_1 # 11n_157) | u(m3_1 # 11n_157) | {m3_1 # 11n_157} | true |
| u(m3_1 # m11n_157) | u(m3_1 # m11n_157) | {m3_1 # m11n_157} | true |
| u(m3_1 # 11n_158) | u(m3_1 # 11n_158) | {m3_1 # 11n_158} | true |
| u(m3_1 # m11n_158) | u(m3_1 # m11n_158) | {m3_1 # m11n_158} | true |
| u(m3_1 # 11n_159) | u(m3_1 # 11n_159) | {m3_1 # 11n_159, m3_1 # r11n_159} | false |
| u(m3_1 # m11n_159) | u(m3_1 # m11n_159) | {m3_1 # m11n_159, m3_1 # mr11n_159} | false |
| u(m3_1 # 11n_160) | u(m3_1 # 11n_160) | {m3_1 # 11n_160, m3_1 # r11n_160} | false |
| u(m3_1 # m11n_160) | u(m3_1 # m11n_160) | {m3_1 # m11n_160, m3_1 # mr11n_160} | false |
| u(m3_1 # 11n_161) | u(m3_1 # 11n_161) | {m3_1 # 11n_161} | true |
| u(m3_1 # m11n_161) | u(m3_1 # m11n_161) | {m3_1 # m11n_161} | true |
| u(m3_1 # 11n_162) | u(m3_1 # 11n_162) | {m3_1 # 11n_162} | true |
| u(m3_1 # m11n_162) | u(m3_1 # m11n_162) | {m3_1 # m11n_162} | true |
| u(m3_1 # 11n_163) | u(m3_1 # 11n_163) | {m3_1 # 11n_163} | true |
| u(m3_1 # m11n_163) | u(m3_1 # m11n_163) | {m3_1 # m11n_163} | true |
| u(m3_1 # 11n_164) | u(m3_1 # 11n_164) | {m3_1 # 11n_164} | true |
| u(m3_1 # m11n_164) | u(m3_1 # m11n_164) | {m3_1 # m11n_164} | true |
| u(m3_1 # 11n_165) | u(m3_1 # 11n_165) | {m3_1 # 11n_165} | true |
| u(m3_1 # m11n_165) | u(m3_1 # m11n_165) | {m3_1 # m11n_165} | true |
| u(m3_1 # 11n_166) | u(m3_1 # 11n_166) | {m3_1 # 11n_166, m3_1 # r11n_166} | false |
| u(m3_1 # m11n_166) | u(m3_1 # m11n_166) | {m3_1 # m11n_166, m3_1 # mr11n_166} | false |
| u(m3_1 # 11n_167) | u(m3_1 # 11n_167) | {m3_1 # 11n_167} | true |
| u(m3_1 # m11n_167) | u(m3_1 # m11n_167) | {m3_1 # m11n_167} | true |
| u(m3_1 # 11n_168) | u(m3_1 # 11n_168) | {m3_1 # 11n_168} | true |
| u(m3_1 # m11n_168) | u(m3_1 # m11n_168) | {m3_1 # m11n_168} | true |
| u(m3_1 # 11n_169) | u(m3_1 # 11n_169) | {m3_1 # 11n_169} | true |
| u(m3_1 # m11n_169) | u(m3_1 # m11n_169) | {m3_1 # m11n_169} | true |
| u(m3_1 # 11n_170) | u(m3_1 # 11n_170) | {m3_1 # 11n_170} | true |
| u(m3_1 # m11n_170) | u(m3_1 # m11n_170) | {m3_1 # m11n_170} | true |
| u(m3_1 # 11n_171) | u(m3_1 # 11n_171) | {m3_1 # 11n_171} | true |
| u(m3_1 # m11n_171) | u(m3_1 # m11n_171) | {m3_1 # m11n_171} | true |
| u(m3_1 # 11n_172) | u(m3_1 # 11n_172) | {m3_1 # 11n_172, m3_1 # r11n_172} | false |
| u(m3_1 # m11n_172) | u(m3_1 # m11n_172) | {m3_1 # m11n_172, m3_1 # mr11n_172} | false |
| u(m3_1 # 11n_173) | u(m3_1 # 11n_173) | {m3_1 # 11n_173} | true |
| u(m3_1 # m11n_173) | u(m3_1 # m11n_173) | {m3_1 # m11n_173} | true |
| u(m3_1 # 11n_174) | u(m3_1 # 11n_174) | {m3_1 # 11n_174, m3_1 # r11n_174} | false |
| u(m3_1 # m11n_174) | u(m3_1 # m11n_174) | {m3_1 # m11n_174, m3_1 # mr11n_174} | false |