| u(m3_1 # 10_104) | u(m3_1 # 10_104) | {m3_1 # 10_104} | true |
| u(m3_1 # m10_104) | u(m3_1 # m10_104) | {m3_1 # m10_104} | true |
| u(m3_1 # 10_105) | u(m3_1 # 10_105) | {m3_1 # 10_105} | true |
| u(m3_1 # m10_105) | u(m3_1 # m10_105) | {m3_1 # m10_105} | true |
| u(m3_1 # 10_106) | u(m3_1 # 10_106) | {m3_1 # 10_106, m3_1 # r10_106} | false |
| u(m3_1 # m10_106) | u(m3_1 # m10_106) | {m3_1 # m10_106, m3_1 # mr10_106} | false |
| u(m3_1 # 10_107) | u(m3_1 # 10_107) | {m3_1 # 10_107, m3_1 # r10_107} | false |
| u(m3_1 # m10_107) | u(m3_1 # m10_107) | {m3_1 # m10_107, m3_1 # mr10_107} | false |
| u(m3_1 # 10_108) | u(m3_1 # 10_108) | {m3_1 # 10_108} | true |
| u(m3_1 # m10_108) | u(m3_1 # m10_108) | {m3_1 # m10_108} | true |
| u(m3_1 # 10_109) | u(m3_1 # 10_109) | {m3_1 # 10_109, m3_1 # r10_109} | false |
| u(m3_1 # 10_110) | u(m3_1 # 10_110) | {m3_1 # 10_110, m3_1 # r10_110} | false |
| u(m3_1 # m10_110) | u(m3_1 # m10_110) | {m3_1 # m10_110, m3_1 # mr10_110} | false |
| u(m3_1 # 10_111) | u(m3_1 # 10_111) | {m3_1 # 10_111} | true |
| u(m3_1 # m10_111) | u(m3_1 # m10_111) | {m3_1 # m10_111} | true |
| u(m3_1 # 10_112) | u(m3_1 # 10_112) | {m3_1 # 10_112} | true |
| u(m3_1 # m10_112) | u(m3_1 # m10_112) | {m3_1 # m10_112} | true |
| u(m3_1 # 10_113) | u(m3_1 # 10_113) | {m3_1 # 10_113} | true |
| u(m3_1 # m10_113) | u(m3_1 # m10_113) | {m3_1 # m10_113} | true |
| u(m3_1 # 10_114) | u(m3_1 # 10_114) | {m3_1 # 10_114} | true |
| u(m3_1 # m10_114) | u(m3_1 # m10_114) | {m3_1 # m10_114} | true |
| u(m3_1 # 10_115) | u(m3_1 # 10_115) | {m3_1 # 10_115, m3_1 # r10_115} | false |
| u(m3_1 # 10_116) | u(m3_1 # 10_116) | {m3_1 # 10_116} | true |
| u(m3_1 # m10_116) | u(m3_1 # m10_116) | {m3_1 # m10_116} | true |
| u(m3_1 # 10_117) | u(m3_1 # 10_117) | {m3_1 # 10_117, m3_1 # r10_117} | false |
| u(m3_1 # m10_117) | u(m3_1 # m10_117) | {m3_1 # m10_117, m3_1 # mr10_117} | false |
| u(m3_1 # 10_118) | u(m3_1 # 10_118) | {m3_1 # 10_118, m3_1 # r10_118} | false |
| u(m3_1 # 10_119) | u(m3_1 # 10_119) | {m3_1 # 10_119, m3_1 # r10_119} | false |
| u(m3_1 # m10_119) | u(m3_1 # m10_119) | {m3_1 # m10_119, m3_1 # mr10_119} | false |
| u(m3_1 # 10_120) | u(m3_1 # 10_120) | {m3_1 # 10_120} | true |
| u(m3_1 # m10_120) | u(m3_1 # m10_120) | {m3_1 # m10_120} | true |
| u(m3_1 # 10_121) | u(m3_1 # 10_121) | {m3_1 # 10_121} | true |
| u(m3_1 # m10_121) | u(m3_1 # m10_121) | {m3_1 # m10_121} | true |
| u(m3_1 # 10_122) | u(m3_1 # 10_122) | {m3_1 # 10_122} | true |
| u(m3_1 # m10_122) | u(m3_1 # m10_122) | {m3_1 # m10_122} | true |
| u(m3_1 # 10_123) | u(m3_1 # 10_123) | {m3_1 # 10_123} | true |
| u(m3_1 # 10_124) | u(m3_1 # 10_124) | {m3_1 # 10_124} | true |
| u(m3_1 # m10_124) | u(m3_1 # m10_124) | {m3_1 # m10_124} | true |
| u(m3_1 # 10_125) | u(m3_1 # 10_125) | {m3_1 # 10_125} | true |
| u(m3_1 # m10_125) | u(m3_1 # m10_125) | {m3_1 # m10_125} | true |
| u(m3_1 # 10_126) | u(m3_1 # 10_126) | {m3_1 # 10_126} | true |
| u(m3_1 # m10_126) | u(m3_1 # m10_126) | {m3_1 # m10_126} | true |
| u(m3_1 # 10_127) | u(m3_1 # 10_127) | {m3_1 # 10_127} | true |
| u(m3_1 # m10_127) | u(m3_1 # m10_127) | {m3_1 # m10_127} | true |
| u(m3_1 # 10_128) | u(m3_1 # 10_128) | {m3_1 # 10_128} | true |
| u(m3_1 # m10_128) | u(m3_1 # m10_128) | {m3_1 # m10_128} | true |
| u(m3_1 # 10_129) | u(m3_1 # 10_129) | {m3_1 # 10_129} | true |
| u(m3_1 # m10_129) | u(m3_1 # m10_129) | {m3_1 # m10_129} | true |
| u(m3_1 # 10_130) | u(m3_1 # 10_130) | {m3_1 # 10_130} | true |
| u(m3_1 # m10_130) | u(m3_1 # m10_130) | {m3_1 # m10_130} | true |
| u(m3_1 # 10_131) | u(m3_1 # 10_131) | {m3_1 # 10_131} | true |
| u(m3_1 # m10_131) | u(m3_1 # m10_131) | {m3_1 # m10_131} | true |
| u(m3_1 # 10_132) | u(m3_1 # 10_132) | {m3_1 # 10_132} | true |
| u(m3_1 # m10_132) | u(m3_1 # m10_132) | {m3_1 # m10_132} | true |
| u(m3_1 # 10_133) | u(m3_1 # 10_133) | {m3_1 # 10_133} | true |
| u(m3_1 # m10_133) | u(m3_1 # m10_133) | {m3_1 # m10_133} | true |
| u(m3_1 # 10_134) | u(m3_1 # 10_134) | {m3_1 # 10_134} | true |
| u(m3_1 # m10_134) | u(m3_1 # m10_134) | {m3_1 # m10_134} | true |
| u(m3_1 # 10_135) | u(m3_1 # 10_135) | {m3_1 # 10_135} | true |
| u(m3_1 # m10_135) | u(m3_1 # m10_135) | {m3_1 # m10_135} | true |
| u(m3_1 # 10_136) | u(m3_1 # 10_136) | {m3_1 # 10_136} | true |
| u(m3_1 # m10_136) | u(m3_1 # m10_136) | {m3_1 # m10_136} | true |
| u(m3_1 # 10_137) | u(m3_1 # 10_137) | {m3_1 # 10_137} | true |
| u(m3_1 # m10_137) | u(m3_1 # m10_137) | {m3_1 # m10_137} | true |
| u(m3_1 # 10_138) | u(m3_1 # 10_138) | {m3_1 # 10_138} | true |
| u(m3_1 # m10_138) | u(m3_1 # m10_138) | {m3_1 # m10_138} | true |
| u(m3_1 # 10_139) | u(m3_1 # 10_139) | {m3_1 # 10_139} | true |
| u(m3_1 # m10_139) | u(m3_1 # m10_139) | {m3_1 # m10_139} | true |
| u(m3_1 # 10_140) | u(m3_1 # 10_140) | {m3_1 # 10_140} | true |
| u(m3_1 # m10_140) | u(m3_1 # m10_140) | {m3_1 # m10_140} | true |
| u(m3_1 # 10_141) | u(m3_1 # 10_141) | {m3_1 # 10_141} | true |
| u(m3_1 # m10_141) | u(m3_1 # m10_141) | {m3_1 # m10_141} | true |
| u(m3_1 # 10_142) | u(m3_1 # 10_142) | {m3_1 # 10_142} | true |
| u(m3_1 # m10_142) | u(m3_1 # m10_142) | {m3_1 # m10_142} | true |
| u(m3_1 # 10_143) | u(m3_1 # 10_143) | {m3_1 # 10_143} | true |
| u(m3_1 # m10_143) | u(m3_1 # m10_143) | {m3_1 # m10_143} | true |
| u(m3_1 # 10_144) | u(m3_1 # 10_144) | {m3_1 # 10_144} | true |
| u(m3_1 # m10_144) | u(m3_1 # m10_144) | {m3_1 # m10_144} | true |
| u(m3_1 # 10_145) | u(m3_1 # 10_145) | {m3_1 # 10_145} | true |
| u(m3_1 # m10_145) | u(m3_1 # m10_145) | {m3_1 # m10_145} | true |
| u(m3_1 # 10_146) | u(m3_1 # 10_146) | {m3_1 # 10_146} | true |
| u(m3_1 # m10_146) | u(m3_1 # m10_146) | {m3_1 # m10_146} | true |
| u(m3_1 # 10_147) | u(m3_1 # 10_147) | {m3_1 # 10_147, m3_1 # r10_147} | false |
| u(m3_1 # m10_147) | u(m3_1 # m10_147) | {m3_1 # m10_147, m3_1 # mr10_147} | false |
| u(m3_1 # 10_148) | u(m3_1 # 10_148) | {m3_1 # 10_148, m3_1 # r10_148} | false |
| u(m3_1 # m10_148) | u(m3_1 # m10_148) | {m3_1 # m10_148, m3_1 # mr10_148} | false |
| u(m3_1 # 10_149) | u(m3_1 # 10_149) | {m3_1 # 10_149, m3_1 # r10_149} | false |
| u(m3_1 # m10_149) | u(m3_1 # m10_149) | {m3_1 # m10_149, m3_1 # mr10_149} | false |
| u(m3_1 # 10_150) | u(m3_1 # 10_150) | {m3_1 # 10_150, m3_1 # r10_150} | false |
| u(m3_1 # m10_150) | u(m3_1 # m10_150) | {m3_1 # m10_150, m3_1 # mr10_150} | false |
| u(m3_1 # 10_151) | u(m3_1 # 10_151) | {m3_1 # 10_151, m3_1 # r10_151} | false |
| u(m3_1 # m10_151) | u(m3_1 # m10_151) | {m3_1 # m10_151, m3_1 # mr10_151} | false |
| u(m3_1 # 10_152) | u(m3_1 # 10_152) | {m3_1 # 10_152} | true |
| u(m3_1 # m10_152) | u(m3_1 # m10_152) | {m3_1 # m10_152} | true |
| u(m3_1 # 10_153) | u(m3_1 # 10_153) | {m3_1 # 10_153, m3_1 # r10_153} | false |
| u(m3_1 # m10_153) | u(m3_1 # m10_153) | {m3_1 # m10_153, m3_1 # mr10_153} | false |
| u(m3_1 # 10_154) | u(m3_1 # 10_154) | {m3_1 # 10_154} | true |
| u(m3_1 # m10_154) | u(m3_1 # m10_154) | {m3_1 # m10_154} | true |
| u(m3_1 # 10_155) | u(m3_1 # 10_155) | {m3_1 # 10_155} | true |
| u(m3_1 # m10_155) | u(m3_1 # m10_155) | {m3_1 # m10_155} | true |