| u(3_1 # 11n_115) | u(3_1 # 11n_115) | {3_1 # 11n_115} | true |
| u(3_1 # m11n_115) | u(3_1 # m11n_115) | {3_1 # m11n_115} | true |
| u(3_1 # 11n_116) | u(3_1 # 11n_116) | {3_1 # 11n_116, 3_1 # r11n_116} | false |
| u(3_1 # m11n_116) | u(3_1 # m11n_116) | {3_1 # m11n_116, 3_1 # mr11n_116} | false |
| u(3_1 # 11n_117) | u(3_1 # 11n_117) | {3_1 # 11n_117} | true |
| u(3_1 # m11n_117) | u(3_1 # m11n_117) | {3_1 # m11n_117} | true |
| u(3_1 # 11n_118) | u(3_1 # 11n_118) | {3_1 # 11n_118} | true |
| u(3_1 # m11n_118) | u(3_1 # m11n_118) | {3_1 # m11n_118} | true |
| u(3_1 # 11n_119) | u(3_1 # 11n_119) | {3_1 # 11n_119} | true |
| u(3_1 # m11n_119) | u(3_1 # m11n_119) | {3_1 # m11n_119} | true |
| u(3_1 # 11n_120) | u(3_1 # 11n_120) | {3_1 # 11n_120, 3_1 # r11n_120} | false |
| u(3_1 # m11n_120) | u(3_1 # m11n_120) | {3_1 # m11n_120, 3_1 # mr11n_120} | false |
| u(3_1 # 11n_121) | u(3_1 # 11n_121) | {3_1 # 11n_121} | true |
| u(3_1 # m11n_121) | u(3_1 # m11n_121) | {3_1 # m11n_121} | true |
| u(3_1 # 11n_122) | u(3_1 # 11n_122) | {3_1 # 11n_122, 3_1 # r11n_122} | false |
| u(3_1 # m11n_122) | u(3_1 # m11n_122) | {3_1 # m11n_122, 3_1 # mr11n_122} | false |
| u(3_1 # 11n_123) | u(3_1 # 11n_123) | {3_1 # 11n_123} | true |
| u(3_1 # m11n_123) | u(3_1 # m11n_123) | {3_1 # m11n_123} | true |
| u(3_1 # 11n_124) | u(3_1 # 11n_124) | {3_1 # 11n_124, 3_1 # r11n_124} | false |
| u(3_1 # m11n_124) | u(3_1 # m11n_124) | {3_1 # m11n_124, 3_1 # mr11n_124} | false |
| u(3_1 # 11n_125) | u(3_1 # 11n_125) | {3_1 # 11n_125} | true |
| u(3_1 # m11n_125) | u(3_1 # m11n_125) | {3_1 # m11n_125} | true |
| u(3_1 # 11n_126) | u(3_1 # 11n_126) | {3_1 # 11n_126} | true |
| u(3_1 # m11n_126) | u(3_1 # m11n_126) | {3_1 # m11n_126} | true |
| u(3_1 # 11n_127) | u(3_1 # 11n_127) | {3_1 # 11n_127} | true |
| u(3_1 # m11n_127) | u(3_1 # m11n_127) | {3_1 # m11n_127} | true |
| u(3_1 # 11n_128) | u(3_1 # 11n_128) | {3_1 # 11n_128, 3_1 # r11n_128} | false |
| u(3_1 # m11n_128) | u(3_1 # m11n_128) | {3_1 # m11n_128, 3_1 # mr11n_128} | false |
| u(3_1 # 11n_129) | u(3_1 # 11n_129) | {3_1 # 11n_129, 3_1 # r11n_129} | false |
| u(3_1 # m11n_129) | u(3_1 # m11n_129) | {3_1 # m11n_129, 3_1 # mr11n_129} | false |
| u(3_1 # 11n_130) | u(3_1 # 11n_130) | {3_1 # 11n_130, 3_1 # r11n_130} | false |
| u(3_1 # m11n_130) | u(3_1 # m11n_130) | {3_1 # m11n_130, 3_1 # mr11n_130} | false |
| u(3_1 # 11n_131) | u(3_1 # 11n_131) | {3_1 # 11n_131, 3_1 # r11n_131} | false |
| u(3_1 # m11n_131) | u(3_1 # m11n_131) | {3_1 # m11n_131, 3_1 # mr11n_131} | false |
| u(3_1 # 11n_132) | u(3_1 # 11n_132) | {3_1 # 11n_132, 3_1 # r11n_132} | false |
| u(3_1 # m11n_132) | u(3_1 # m11n_132) | {3_1 # m11n_132, 3_1 # mr11n_132} | false |
| u(3_1 # 11n_133) | u(3_1 # 11n_133) | {3_1 # 11n_133} | true |
| u(3_1 # m11n_133) | u(3_1 # m11n_133) | {3_1 # m11n_133} | true |
| u(3_1 # 11n_134) | u(3_1 # 11n_134) | {3_1 # 11n_134, 3_1 # r11n_134} | false |
| u(3_1 # m11n_134) | u(3_1 # m11n_134) | {3_1 # m11n_134, 3_1 # mr11n_134} | false |
| u(3_1 # 11n_135) | u(3_1 # 11n_135) | {3_1 # 11n_135} | true |
| u(3_1 # m11n_135) | u(3_1 # m11n_135) | {3_1 # m11n_135} | true |
| u(3_1 # 11n_136) | u(3_1 # 11n_136) | {3_1 # 11n_136} | true |
| u(3_1 # m11n_136) | u(3_1 # m11n_136) | {3_1 # m11n_136} | true |
| u(3_1 # 11n_137) | u(3_1 # 11n_137) | {3_1 # 11n_137} | true |
| u(3_1 # m11n_137) | u(3_1 # m11n_137) | {3_1 # m11n_137} | true |
| u(3_1 # 11n_138) | u(3_1 # 11n_138) | {3_1 # 11n_138} | true |
| u(3_1 # m11n_138) | u(3_1 # m11n_138) | {3_1 # m11n_138} | true |
| u(3_1 # 11n_139) | u(3_1 # 11n_139) | {3_1 # 11n_139, 3_1 # r11n_139} | false |
| u(3_1 # m11n_139) | u(3_1 # m11n_139) | {3_1 # m11n_139, 3_1 # mr11n_139} | false |
| u(3_1 # 11n_140) | u(3_1 # 11n_140) | {3_1 # 11n_140} | true |
| u(3_1 # m11n_140) | u(3_1 # m11n_140) | {3_1 # m11n_140} | true |
| u(3_1 # 11n_141) | u(3_1 # 11n_141) | {3_1 # 11n_141} | true |
| u(3_1 # m11n_141) | u(3_1 # m11n_141) | {3_1 # m11n_141} | true |
| u(3_1 # 11n_142) | u(3_1 # 11n_142) | {3_1 # 11n_142} | true |
| u(3_1 # m11n_142) | u(3_1 # m11n_142) | {3_1 # m11n_142} | true |
| u(3_1 # 11n_143) | u(3_1 # 11n_143) | {3_1 # 11n_143} | true |
| u(3_1 # m11n_143) | u(3_1 # m11n_143) | {3_1 # m11n_143} | true |
| u(3_1 # 11n_144) | u(3_1 # 11n_144) | {3_1 # 11n_144} | true |
| u(3_1 # m11n_144) | u(3_1 # m11n_144) | {3_1 # m11n_144} | true |
| u(3_1 # 11n_145) | u(3_1 # 11n_145) | {3_1 # 11n_145} | true |
| u(3_1 # m11n_145) | u(3_1 # m11n_145) | {3_1 # m11n_145} | true |
| u(3_1 # 11n_146) | u(3_1 # 11n_146) | {3_1 # 11n_146} | true |
| u(3_1 # m11n_146) | u(3_1 # m11n_146) | {3_1 # m11n_146} | true |
| u(3_1 # 11n_147) | u(3_1 # 11n_147) | {3_1 # 11n_147, 3_1 # r11n_147} | false |
| u(3_1 # m11n_147) | u(3_1 # m11n_147) | {3_1 # m11n_147, 3_1 # mr11n_147} | false |
| u(3_1 # 11n_148) | u(3_1 # 11n_148) | {3_1 # 11n_148} | true |
| u(3_1 # m11n_148) | u(3_1 # m11n_148) | {3_1 # m11n_148} | true |
| u(3_1 # 11n_149) | u(3_1 # 11n_149) | {3_1 # 11n_149} | true |
| u(3_1 # m11n_149) | u(3_1 # m11n_149) | {3_1 # m11n_149} | true |
| u(3_1 # 11n_150) | u(3_1 # 11n_150) | {3_1 # 11n_150} | true |
| u(3_1 # m11n_150) | u(3_1 # m11n_150) | {3_1 # m11n_150} | true |
| u(3_1 # 11n_151) | u(3_1 # 11n_151) | {3_1 # 11n_151, 3_1 # r11n_151} | false |
| u(3_1 # m11n_151) | u(3_1 # m11n_151) | {3_1 # m11n_151, 3_1 # mr11n_151} | false |
| u(3_1 # 11n_152) | u(3_1 # 11n_152) | {3_1 # 11n_152} | true |
| u(3_1 # m11n_152) | u(3_1 # m11n_152) | {3_1 # m11n_152} | true |
| u(3_1 # 11n_153) | u(3_1 # 11n_153) | {3_1 # 11n_153} | true |
| u(3_1 # m11n_153) | u(3_1 # m11n_153) | {3_1 # m11n_153} | true |
| u(3_1 # 11n_154) | u(3_1 # 11n_154) | {3_1 # 11n_154, 3_1 # r11n_154} | false |
| u(3_1 # m11n_154) | u(3_1 # m11n_154) | {3_1 # m11n_154, 3_1 # mr11n_154} | false |
| u(3_1 # 11n_155) | u(3_1 # 11n_155) | {3_1 # 11n_155} | true |
| u(3_1 # m11n_155) | u(3_1 # m11n_155) | {3_1 # m11n_155} | true |
| u(3_1 # 11n_156) | u(3_1 # 11n_156) | {3_1 # 11n_156} | true |
| u(3_1 # m11n_156) | u(3_1 # m11n_156) | {3_1 # m11n_156} | true |
| u(3_1 # 11n_157) | u(3_1 # 11n_157) | {3_1 # 11n_157} | true |
| u(3_1 # m11n_157) | u(3_1 # m11n_157) | {3_1 # m11n_157} | true |
| u(3_1 # 11n_158) | u(3_1 # 11n_158) | {3_1 # 11n_158} | true |
| u(3_1 # m11n_158) | u(3_1 # m11n_158) | {3_1 # m11n_158} | true |
| u(3_1 # 11n_159) | u(3_1 # 11n_159) | {3_1 # 11n_159, 3_1 # r11n_159} | false |
| u(3_1 # m11n_159) | u(3_1 # m11n_159) | {3_1 # m11n_159, 3_1 # mr11n_159} | false |
| u(3_1 # 11n_160) | u(3_1 # 11n_160) | {3_1 # 11n_160, 3_1 # r11n_160} | false |
| u(3_1 # m11n_160) | u(3_1 # m11n_160) | {3_1 # m11n_160, 3_1 # mr11n_160} | false |
| u(3_1 # 11n_161) | u(3_1 # 11n_161) | {3_1 # 11n_161} | true |
| u(3_1 # m11n_161) | u(3_1 # m11n_161) | {3_1 # m11n_161} | true |
| u(3_1 # 11n_162) | u(3_1 # 11n_162) | {3_1 # 11n_162} | true |
| u(3_1 # m11n_162) | u(3_1 # m11n_162) | {3_1 # m11n_162} | true |
| u(3_1 # 11n_163) | u(3_1 # 11n_163) | {3_1 # 11n_163} | true |
| u(3_1 # m11n_163) | u(3_1 # m11n_163) | {3_1 # m11n_163} | true |
| u(3_1 # 11n_164) | u(3_1 # 11n_164) | {3_1 # 11n_164} | true |
| u(3_1 # m11n_164) | u(3_1 # m11n_164) | {3_1 # m11n_164} | true |