| u(3_1 # 11a_132) | u(3_1 # 11a_132) | {3_1 # 11a_132, 3_1 # r11a_132} | false |
| u(3_1 # m11a_132) | u(3_1 # m11a_132) | {3_1 # m11a_132, 3_1 # mr11a_132} | false |
| u(3_1 # 11a_133) | u(3_1 # 11a_133) | {3_1 # 11a_133} | true |
| u(3_1 # m11a_133) | u(3_1 # m11a_133) | {3_1 # m11a_133} | true |
| u(3_1 # 11a_134) | u(3_1 # 11a_134) | {3_1 # 11a_134} | true |
| u(3_1 # m11a_134) | u(3_1 # m11a_134) | {3_1 # m11a_134} | true |
| u(3_1 # 11a_135) | u(3_1 # 11a_135) | {3_1 # 11a_135} | true |
| u(3_1 # m11a_135) | u(3_1 # m11a_135) | {3_1 # m11a_135} | true |
| u(3_1 # 11a_136) | u(3_1 # 11a_136) | {3_1 # 11a_136, 3_1 # r11a_136} | false |
| u(3_1 # m11a_136) | u(3_1 # m11a_136) | {3_1 # m11a_136, 3_1 # mr11a_136} | false |
| u(3_1 # 11a_137) | u(3_1 # 11a_137) | {3_1 # 11a_137, 3_1 # r11a_137} | false |
| u(3_1 # m11a_137) | u(3_1 # m11a_137) | {3_1 # m11a_137, 3_1 # mr11a_137} | false |
| u(3_1 # 11a_138) | u(3_1 # 11a_138) | {3_1 # 11a_138, 3_1 # r11a_138} | false |
| u(3_1 # m11a_138) | u(3_1 # m11a_138) | {3_1 # m11a_138, 3_1 # mr11a_138} | false |
| u(3_1 # 11a_139) | u(3_1 # 11a_139) | {3_1 # 11a_139} | true |
| u(3_1 # m11a_139) | u(3_1 # m11a_139) | {3_1 # m11a_139} | true |
| u(3_1 # 11a_140) | u(3_1 # 11a_140) | {3_1 # 11a_140} | true |
| u(3_1 # m11a_140) | u(3_1 # m11a_140) | {3_1 # m11a_140} | true |
| u(3_1 # 11a_141) | u(3_1 # 11a_141) | {3_1 # 11a_141, 3_1 # r11a_141} | false |
| u(3_1 # m11a_141) | u(3_1 # m11a_141) | {3_1 # m11a_141, 3_1 # mr11a_141} | false |
| u(3_1 # 11a_142) | u(3_1 # 11a_142) | {3_1 # 11a_142} | true |
| u(3_1 # m11a_142) | u(3_1 # m11a_142) | {3_1 # m11a_142} | true |
| u(3_1 # 11a_143) | u(3_1 # 11a_143) | {3_1 # 11a_143} | true |
| u(3_1 # m11a_143) | u(3_1 # m11a_143) | {3_1 # m11a_143} | true |
| u(3_1 # 11a_144) | u(3_1 # 11a_144) | {3_1 # 11a_144} | true |
| u(3_1 # m11a_144) | u(3_1 # m11a_144) | {3_1 # m11a_144} | true |
| u(3_1 # 11a_145) | u(3_1 # 11a_145) | {3_1 # 11a_145} | true |
| u(3_1 # m11a_145) | u(3_1 # m11a_145) | {3_1 # m11a_145} | true |
| u(3_1 # 11a_146) | u(3_1 # 11a_146) | {3_1 # 11a_146, 3_1 # r11a_146} | false |
| u(3_1 # m11a_146) | u(3_1 # m11a_146) | {3_1 # m11a_146, 3_1 # mr11a_146} | false |
| u(3_1 # 11a_147) | u(3_1 # 11a_147) | {3_1 # 11a_147, 3_1 # r11a_147} | false |
| u(3_1 # m11a_147) | u(3_1 # m11a_147) | {3_1 # m11a_147, 3_1 # mr11a_147} | false |
| u(3_1 # 11a_148) | u(3_1 # 11a_148) | {3_1 # 11a_148} | true |
| u(3_1 # m11a_148) | u(3_1 # m11a_148) | {3_1 # m11a_148} | true |
| u(3_1 # 11a_149) | u(3_1 # 11a_149) | {3_1 # 11a_149, 3_1 # r11a_149} | false |
| u(3_1 # m11a_149) | u(3_1 # m11a_149) | {3_1 # m11a_149, 3_1 # mr11a_149} | false |
| u(3_1 # 11a_150) | u(3_1 # 11a_150) | {3_1 # 11a_150, 3_1 # r11a_150} | false |
| u(3_1 # m11a_150) | u(3_1 # m11a_150) | {3_1 # m11a_150, 3_1 # mr11a_150} | false |
| u(3_1 # 11a_151) | u(3_1 # 11a_151) | {3_1 # 11a_151, 3_1 # r11a_151} | false |
| u(3_1 # m11a_151) | u(3_1 # m11a_151) | {3_1 # m11a_151, 3_1 # mr11a_151} | false |
| u(3_1 # 11a_152) | u(3_1 # 11a_152) | {3_1 # 11a_152, 3_1 # r11a_152} | false |
| u(3_1 # m11a_152) | u(3_1 # m11a_152) | {3_1 # m11a_152, 3_1 # mr11a_152} | false |
| u(3_1 # 11a_153) | u(3_1 # 11a_153) | {3_1 # 11a_153} | true |
| u(3_1 # m11a_153) | u(3_1 # m11a_153) | {3_1 # m11a_153} | true |
| u(3_1 # 11a_154) | u(3_1 # 11a_154) | {3_1 # 11a_154} | true |
| u(3_1 # m11a_154) | u(3_1 # m11a_154) | {3_1 # m11a_154} | true |
| u(3_1 # 11a_155) | u(3_1 # 11a_155) | {3_1 # 11a_155} | true |
| u(3_1 # m11a_155) | u(3_1 # m11a_155) | {3_1 # m11a_155} | true |
| u(3_1 # 11a_156) | u(3_1 # 11a_156) | {3_1 # 11a_156, 3_1 # r11a_156} | false |
| u(3_1 # m11a_156) | u(3_1 # m11a_156) | {3_1 # m11a_156, 3_1 # mr11a_156} | false |
| u(3_1 # 11a_157) | u(3_1 # 11a_157) | {3_1 # 11a_157, 3_1 # r11a_157} | false |
| u(3_1 # m11a_157) | u(3_1 # m11a_157) | {3_1 # m11a_157, 3_1 # mr11a_157} | false |
| u(3_1 # 11a_158) | u(3_1 # 11a_158) | {3_1 # 11a_158} | true |
| u(3_1 # m11a_158) | u(3_1 # m11a_158) | {3_1 # m11a_158} | true |
| u(3_1 # 11a_159) | u(3_1 # 11a_159) | {3_1 # 11a_159} | true |
| u(3_1 # m11a_159) | u(3_1 # m11a_159) | {3_1 # m11a_159} | true |
| u(3_1 # 11a_160) | u(3_1 # 11a_160) | {3_1 # 11a_160} | true |
| u(3_1 # m11a_160) | u(3_1 # m11a_160) | {3_1 # m11a_160} | true |
| u(3_1 # 11a_161) | u(3_1 # 11a_161) | {3_1 # 11a_161} | true |
| u(3_1 # m11a_161) | u(3_1 # m11a_161) | {3_1 # m11a_161} | true |
| u(3_1 # 11a_162) | u(3_1 # 11a_162) | {3_1 # 11a_162, 3_1 # r11a_162} | false |
| u(3_1 # m11a_162) | u(3_1 # m11a_162) | {3_1 # m11a_162, 3_1 # mr11a_162} | false |
| u(3_1 # 11a_163) | u(3_1 # 11a_163) | {3_1 # 11a_163, 3_1 # r11a_163} | false |
| u(3_1 # m11a_163) | u(3_1 # m11a_163) | {3_1 # m11a_163, 3_1 # mr11a_163} | false |
| u(3_1 # 11a_164) | u(3_1 # 11a_164) | {3_1 # 11a_164, 3_1 # r11a_164} | false |
| u(3_1 # m11a_164) | u(3_1 # m11a_164) | {3_1 # m11a_164, 3_1 # mr11a_164} | false |
| u(3_1 # 11a_165) | u(3_1 # 11a_165) | {3_1 # 11a_165} | true |
| u(3_1 # m11a_165) | u(3_1 # m11a_165) | {3_1 # m11a_165} | true |
| u(3_1 # 11a_166) | u(3_1 # 11a_166) | {3_1 # 11a_166} | true |
| u(3_1 # m11a_166) | u(3_1 # m11a_166) | {3_1 # m11a_166} | true |
| u(3_1 # 11a_167) | u(3_1 # 11a_167) | {3_1 # 11a_167, 3_1 # r11a_167} | false |
| u(3_1 # m11a_167) | u(3_1 # m11a_167) | {3_1 # m11a_167, 3_1 # mr11a_167} | false |
| u(3_1 # 11a_168) | u(3_1 # 11a_168) | {3_1 # 11a_168, 3_1 # r11a_168} | false |
| u(3_1 # m11a_168) | u(3_1 # m11a_168) | {3_1 # m11a_168, 3_1 # mr11a_168} | false |
| u(3_1 # 11a_169) | u(3_1 # 11a_169) | {3_1 # 11a_169, 3_1 # r11a_169} | false |
| u(3_1 # m11a_169) | u(3_1 # m11a_169) | {3_1 # m11a_169, 3_1 # mr11a_169} | false |
| u(3_1 # 11a_170) | u(3_1 # 11a_170) | {3_1 # 11a_170} | true |
| u(3_1 # m11a_170) | u(3_1 # m11a_170) | {3_1 # m11a_170} | true |
| u(3_1 # 11a_171) | u(3_1 # 11a_171) | {3_1 # 11a_171} | true |
| u(3_1 # m11a_171) | u(3_1 # m11a_171) | {3_1 # m11a_171} | true |
| u(3_1 # 11a_172) | u(3_1 # 11a_172) | {3_1 # 11a_172, 3_1 # r11a_172} | false |
| u(3_1 # m11a_172) | u(3_1 # m11a_172) | {3_1 # m11a_172, 3_1 # mr11a_172} | false |
| u(3_1 # 11a_173) | u(3_1 # 11a_173) | {3_1 # 11a_173} | true |
| u(3_1 # m11a_173) | u(3_1 # m11a_173) | {3_1 # m11a_173} | true |
| u(3_1 # 11a_174) | u(3_1 # 11a_174) | {3_1 # 11a_174} | true |
| u(3_1 # m11a_174) | u(3_1 # m11a_174) | {3_1 # m11a_174} | true |
| u(3_1 # 11a_175) | u(3_1 # 11a_175) | {3_1 # 11a_175} | true |
| u(3_1 # m11a_175) | u(3_1 # m11a_175) | {3_1 # m11a_175} | true |
| u(3_1 # 11a_176) | u(3_1 # 11a_176) | {3_1 # 11a_176} | true |
| u(3_1 # m11a_176) | u(3_1 # m11a_176) | {3_1 # m11a_176} | true |
| u(3_1 # 11a_177) | u(3_1 # 11a_177) | {3_1 # 11a_177} | true |
| u(3_1 # m11a_177) | u(3_1 # m11a_177) | {3_1 # m11a_177} | true |
| u(3_1 # 11a_178) | u(3_1 # 11a_178) | {3_1 # 11a_178} | true |
| u(3_1 # m11a_178) | u(3_1 # m11a_178) | {3_1 # m11a_178} | true |
| u(3_1 # 11a_179) | u(3_1 # 11a_179) | {3_1 # 11a_179} | true |
| u(3_1 # m11a_179) | u(3_1 # m11a_179) | {3_1 # m11a_179} | true |
| u(3_1 # 11a_180) | u(3_1 # 11a_180) | {3_1 # 11a_180} | true |
| u(3_1 # m11a_180) | u(3_1 # m11a_180) | {3_1 # m11a_180} | true |
| u(3_1 # 11a_181) | u(3_1 # 11a_181) | {3_1 # 11a_181} | true |
| u(3_1 # m11a_181) | u(3_1 # m11a_181) | {3_1 # m11a_181} | true |