| u(m3_1 # 11a_92) | u(m3_1 # 11a_92) | {m3_1 # 11a_92} | true |
| u(m3_1 # m11a_92) | u(m3_1 # m11a_92) | {m3_1 # m11a_92} | true |
| u(m3_1 # 11a_93) | u(m3_1 # 11a_93) | {m3_1 # 11a_93} | true |
| u(m3_1 # m11a_93) | u(m3_1 # m11a_93) | {m3_1 # m11a_93} | true |
| u(m3_1 # 11a_94) | u(m3_1 # 11a_94) | {m3_1 # 11a_94} | true |
| u(m3_1 # m11a_94) | u(m3_1 # m11a_94) | {m3_1 # m11a_94} | true |
| u(m3_1 # 11a_95) | u(m3_1 # 11a_95) | {m3_1 # 11a_95} | true |
| u(m3_1 # m11a_95) | u(m3_1 # m11a_95) | {m3_1 # m11a_95} | true |
| u(m3_1 # 11a_96) | u(m3_1 # 11a_96) | {m3_1 # 11a_96} | true |
| u(m3_1 # m11a_96) | u(m3_1 # m11a_96) | {m3_1 # m11a_96} | true |
| u(m3_1 # 11a_97) | u(m3_1 # 11a_97) | {m3_1 # 11a_97} | true |
| u(m3_1 # m11a_97) | u(m3_1 # m11a_97) | {m3_1 # m11a_97} | true |
| u(m3_1 # 11a_98) | u(m3_1 # 11a_98) | {m3_1 # 11a_98} | true |
| u(m3_1 # m11a_98) | u(m3_1 # m11a_98) | {m3_1 # m11a_98} | true |
| u(m3_1 # 11a_99) | u(m3_1 # 11a_99) | {m3_1 # 11a_99} | true |
| u(m3_1 # m11a_99) | u(m3_1 # m11a_99) | {m3_1 # m11a_99} | true |
| u(m3_1 # 11a_100) | u(m3_1 # 11a_100) | {m3_1 # 11a_100} | true |
| u(m3_1 # m11a_100) | u(m3_1 # m11a_100) | {m3_1 # m11a_100} | true |
| u(m3_1 # 11a_101) | u(m3_1 # 11a_101) | {m3_1 # 11a_101, m3_1 # r11a_101} | false |
| u(m3_1 # m11a_101) | u(m3_1 # m11a_101) | {m3_1 # m11a_101, m3_1 # mr11a_101} | false |
| u(m3_1 # 11a_102) | u(m3_1 # 11a_102) | {m3_1 # 11a_102, m3_1 # r11a_102} | false |
| u(m3_1 # m11a_102) | u(m3_1 # m11a_102) | {m3_1 # m11a_102, m3_1 # mr11a_102} | false |
| u(m3_1 # 11a_103) | u(m3_1 # 11a_103) | {m3_1 # 11a_103, m3_1 # r11a_103} | false |
| u(m3_1 # m11a_103) | u(m3_1 # m11a_103) | {m3_1 # m11a_103, m3_1 # mr11a_103} | false |
| u(m3_1 # 11a_104) | u(m3_1 # 11a_104) | {m3_1 # 11a_104, m3_1 # r11a_104} | false |
| u(m3_1 # m11a_104) | u(m3_1 # m11a_104) | {m3_1 # m11a_104, m3_1 # mr11a_104} | false |
| u(m3_1 # 11a_105) | u(m3_1 # 11a_105) | {m3_1 # 11a_105} | true |
| u(m3_1 # m11a_105) | u(m3_1 # m11a_105) | {m3_1 # m11a_105} | true |
| u(m3_1 # 11a_106) | u(m3_1 # 11a_106) | {m3_1 # 11a_106} | true |
| u(m3_1 # m11a_106) | u(m3_1 # m11a_106) | {m3_1 # m11a_106} | true |
| u(m3_1 # 11a_107) | u(m3_1 # 11a_107) | {m3_1 # 11a_107} | true |
| u(m3_1 # m11a_107) | u(m3_1 # m11a_107) | {m3_1 # m11a_107} | true |
| u(m3_1 # 11a_108) | u(m3_1 # 11a_108) | {m3_1 # 11a_108} | true |
| u(m3_1 # m11a_108) | u(m3_1 # m11a_108) | {m3_1 # m11a_108} | true |
| u(m3_1 # 11a_109) | u(m3_1 # 11a_109) | {m3_1 # 11a_109} | true |
| u(m3_1 # m11a_109) | u(m3_1 # m11a_109) | {m3_1 # m11a_109} | true |
| u(m3_1 # 11a_110) | u(m3_1 # 11a_110) | {m3_1 # 11a_110} | true |
| u(m3_1 # m11a_110) | u(m3_1 # m11a_110) | {m3_1 # m11a_110} | true |
| u(m3_1 # 11a_111) | u(m3_1 # 11a_111) | {m3_1 # 11a_111} | true |
| u(m3_1 # m11a_111) | u(m3_1 # m11a_111) | {m3_1 # m11a_111} | true |
| u(m3_1 # 11a_112) | u(m3_1 # 11a_112) | {m3_1 # 11a_112, m3_1 # r11a_112} | false |
| u(m3_1 # m11a_112) | u(m3_1 # m11a_112) | {m3_1 # m11a_112, m3_1 # mr11a_112} | false |
| u(m3_1 # 11a_113) | u(m3_1 # 11a_113) | {m3_1 # 11a_113, m3_1 # r11a_113} | false |
| u(m3_1 # m11a_113) | u(m3_1 # m11a_113) | {m3_1 # m11a_113, m3_1 # mr11a_113} | false |
| u(m3_1 # 11a_114) | u(m3_1 # 11a_114) | {m3_1 # 11a_114, m3_1 # r11a_114} | false |
| u(m3_1 # m11a_114) | u(m3_1 # m11a_114) | {m3_1 # m11a_114, m3_1 # mr11a_114} | false |
| u(m3_1 # 11a_115) | u(m3_1 # 11a_115) | {m3_1 # 11a_115, m3_1 # r11a_115} | false |
| u(m3_1 # m11a_115) | u(m3_1 # m11a_115) | {m3_1 # m11a_115, m3_1 # mr11a_115} | false |
| u(m3_1 # 11a_116) | u(m3_1 # 11a_116) | {m3_1 # 11a_116, m3_1 # r11a_116} | false |
| u(m3_1 # m11a_116) | u(m3_1 # m11a_116) | {m3_1 # m11a_116, m3_1 # mr11a_116} | false |
| u(m3_1 # 11a_117) | u(m3_1 # 11a_117) | {m3_1 # 11a_117} | true |
| u(m3_1 # m11a_117) | u(m3_1 # m11a_117) | {m3_1 # m11a_117} | true |
| u(m3_1 # 11a_118) | u(m3_1 # 11a_118) | {m3_1 # 11a_118} | true |
| u(m3_1 # m11a_118) | u(m3_1 # m11a_118) | {m3_1 # m11a_118} | true |
| u(m3_1 # 11a_119) | u(m3_1 # 11a_119) | {m3_1 # 11a_119} | true |
| u(m3_1 # m11a_119) | u(m3_1 # m11a_119) | {m3_1 # m11a_119} | true |
| u(m3_1 # 11a_120) | u(m3_1 # 11a_120) | {m3_1 # 11a_120} | true |
| u(m3_1 # m11a_120) | u(m3_1 # m11a_120) | {m3_1 # m11a_120} | true |
| u(m3_1 # 11a_121) | u(m3_1 # 11a_121) | {m3_1 # 11a_121} | true |
| u(m3_1 # m11a_121) | u(m3_1 # m11a_121) | {m3_1 # m11a_121} | true |
| u(m3_1 # 11a_122) | u(m3_1 # 11a_122) | {m3_1 # 11a_122, m3_1 # r11a_122} | false |
| u(m3_1 # m11a_122) | u(m3_1 # m11a_122) | {m3_1 # m11a_122, m3_1 # mr11a_122} | false |
| u(m3_1 # 11a_123) | u(m3_1 # 11a_123) | {m3_1 # 11a_123} | true |
| u(m3_1 # m11a_123) | u(m3_1 # m11a_123) | {m3_1 # m11a_123} | true |
| u(m3_1 # 11a_124) | u(m3_1 # 11a_124) | {m3_1 # 11a_124} | true |
| u(m3_1 # m11a_124) | u(m3_1 # m11a_124) | {m3_1 # m11a_124} | true |
| u(m3_1 # 11a_125) | u(m3_1 # 11a_125) | {m3_1 # 11a_125, m3_1 # r11a_125} | false |
| u(m3_1 # m11a_125) | u(m3_1 # m11a_125) | {m3_1 # m11a_125, m3_1 # mr11a_125} | false |
| u(m3_1 # 11a_126) | u(m3_1 # 11a_126) | {m3_1 # 11a_126} | true |
| u(m3_1 # m11a_126) | u(m3_1 # m11a_126) | {m3_1 # m11a_126} | true |
| u(m3_1 # 11a_127) | u(m3_1 # 11a_127) | {m3_1 # 11a_127, m3_1 # r11a_127} | false |
| u(m3_1 # m11a_127) | u(m3_1 # m11a_127) | {m3_1 # m11a_127, m3_1 # mr11a_127} | false |
| u(m3_1 # 11a_128) | u(m3_1 # 11a_128) | {m3_1 # 11a_128} | true |
| u(m3_1 # m11a_128) | u(m3_1 # m11a_128) | {m3_1 # m11a_128} | true |
| u(m3_1 # 11a_129) | u(m3_1 # 11a_129) | {m3_1 # 11a_129, m3_1 # r11a_129} | false |
| u(m3_1 # m11a_129) | u(m3_1 # m11a_129) | {m3_1 # m11a_129, m3_1 # mr11a_129} | false |
| u(m3_1 # 11a_130) | u(m3_1 # 11a_130) | {m3_1 # 11a_130, m3_1 # r11a_130} | false |
| u(m3_1 # m11a_130) | u(m3_1 # m11a_130) | {m3_1 # m11a_130, m3_1 # mr11a_130} | false |
| u(m3_1 # 11a_131) | u(m3_1 # 11a_131) | {m3_1 # 11a_131, m3_1 # r11a_131} | false |
| u(m3_1 # m11a_131) | u(m3_1 # m11a_131) | {m3_1 # m11a_131, m3_1 # mr11a_131} | false |
| u(m3_1 # 11a_132) | u(m3_1 # 11a_132) | {m3_1 # 11a_132, m3_1 # r11a_132} | false |
| u(m3_1 # m11a_132) | u(m3_1 # m11a_132) | {m3_1 # m11a_132, m3_1 # mr11a_132} | false |
| u(m3_1 # 11a_133) | u(m3_1 # 11a_133) | {m3_1 # 11a_133} | true |
| u(m3_1 # m11a_133) | u(m3_1 # m11a_133) | {m3_1 # m11a_133} | true |
| u(m3_1 # 11a_134) | u(m3_1 # 11a_134) | {m3_1 # 11a_134} | true |
| u(m3_1 # m11a_134) | u(m3_1 # m11a_134) | {m3_1 # m11a_134} | true |
| u(m3_1 # 11a_135) | u(m3_1 # 11a_135) | {m3_1 # 11a_135} | true |
| u(m3_1 # m11a_135) | u(m3_1 # m11a_135) | {m3_1 # m11a_135} | true |
| u(m3_1 # 11a_136) | u(m3_1 # 11a_136) | {m3_1 # 11a_136, m3_1 # r11a_136} | false |
| u(m3_1 # m11a_136) | u(m3_1 # m11a_136) | {m3_1 # m11a_136, m3_1 # mr11a_136} | false |
| u(m3_1 # 11a_137) | u(m3_1 # 11a_137) | {m3_1 # 11a_137, m3_1 # r11a_137} | false |
| u(m3_1 # m11a_137) | u(m3_1 # m11a_137) | {m3_1 # m11a_137, m3_1 # mr11a_137} | false |
| u(m3_1 # 11a_138) | u(m3_1 # 11a_138) | {m3_1 # 11a_138, m3_1 # r11a_138} | false |
| u(m3_1 # m11a_138) | u(m3_1 # m11a_138) | {m3_1 # m11a_138, m3_1 # mr11a_138} | false |
| u(m3_1 # 11a_139) | u(m3_1 # 11a_139) | {m3_1 # 11a_139} | true |
| u(m3_1 # m11a_139) | u(m3_1 # m11a_139) | {m3_1 # m11a_139} | true |
| u(m3_1 # 11a_140) | u(m3_1 # 11a_140) | {m3_1 # 11a_140} | true |
| u(m3_1 # m11a_140) | u(m3_1 # m11a_140) | {m3_1 # m11a_140} | true |
| u(m3_1 # 11a_141) | u(m3_1 # 11a_141) | {m3_1 # 11a_141, m3_1 # r11a_141} | false |
| u(m3_1 # m11a_141) | u(m3_1 # m11a_141) | {m3_1 # m11a_141, m3_1 # mr11a_141} | false |