| u(m3_1 # 11n_75) | u(m3_1 # 11n_75) | {m3_1 # 11n_75} | true |
| u(m3_1 # m11n_75) | u(m3_1 # m11n_75) | {m3_1 # m11n_75} | true |
| u(m3_1 # 11n_76) | u(m3_1 # 11n_76) | {m3_1 # 11n_76} | true |
| u(m3_1 # m11n_76) | u(m3_1 # m11n_76) | {m3_1 # m11n_76} | true |
| u(m3_1 # 11n_77) | u(m3_1 # 11n_77) | {m3_1 # 11n_77} | true |
| u(m3_1 # m11n_77) | u(m3_1 # m11n_77) | {m3_1 # m11n_77} | true |
| u(m3_1 # 11n_78) | u(m3_1 # 11n_78) | {m3_1 # 11n_78} | true |
| u(m3_1 # m11n_78) | u(m3_1 # m11n_78) | {m3_1 # m11n_78} | true |
| u(m3_1 # 11n_79) | u(m3_1 # 11n_79) | {m3_1 # 11n_79} | true |
| u(m3_1 # m11n_79) | u(m3_1 # m11n_79) | {m3_1 # m11n_79} | true |
| u(m3_1 # 11n_80) | u(m3_1 # 11n_80) | {m3_1 # 11n_80, m3_1 # r11n_80} | false |
| u(m3_1 # m11n_80) | u(m3_1 # m11n_80) | {m3_1 # m11n_80, m3_1 # mr11n_80} | false |
| u(m3_1 # 11n_81) | u(m3_1 # 11n_81) | {m3_1 # 11n_81} | true |
| u(m3_1 # m11n_81) | u(m3_1 # m11n_81) | {m3_1 # m11n_81} | true |
| u(m3_1 # 11n_82) | u(m3_1 # 11n_82) | {m3_1 # 11n_82} | true |
| u(m3_1 # m11n_82) | u(m3_1 # m11n_82) | {m3_1 # m11n_82} | true |
| u(m3_1 # 11n_83) | u(m3_1 # 11n_83) | {m3_1 # 11n_83} | true |
| u(m3_1 # m11n_83) | u(m3_1 # m11n_83) | {m3_1 # m11n_83} | true |
| u(m3_1 # 11n_84) | u(m3_1 # 11n_84) | {m3_1 # 11n_84} | true |
| u(m3_1 # m11n_84) | u(m3_1 # m11n_84) | {m3_1 # m11n_84} | true |
| u(m3_1 # 11n_85) | u(m3_1 # 11n_85) | {m3_1 # 11n_85} | true |
| u(m3_1 # m11n_85) | u(m3_1 # m11n_85) | {m3_1 # m11n_85} | true |
| u(m3_1 # 11n_86) | u(m3_1 # 11n_86) | {m3_1 # 11n_86} | true |
| u(m3_1 # m11n_86) | u(m3_1 # m11n_86) | {m3_1 # m11n_86} | true |
| u(m3_1 # 11n_87) | u(m3_1 # 11n_87) | {m3_1 # 11n_87} | true |
| u(m3_1 # m11n_87) | u(m3_1 # m11n_87) | {m3_1 # m11n_87} | true |
| u(m3_1 # 11n_88) | u(m3_1 # 11n_88) | {m3_1 # 11n_88} | true |
| u(m3_1 # m11n_88) | u(m3_1 # m11n_88) | {m3_1 # m11n_88} | true |
| u(m3_1 # 11n_89) | u(m3_1 # 11n_89) | {m3_1 # 11n_89} | true |
| u(m3_1 # m11n_89) | u(m3_1 # m11n_89) | {m3_1 # m11n_89} | true |
| u(m3_1 # 11n_90) | u(m3_1 # 11n_90) | {m3_1 # 11n_90} | true |
| u(m3_1 # m11n_90) | u(m3_1 # m11n_90) | {m3_1 # m11n_90} | true |
| u(m3_1 # 11n_91) | u(m3_1 # 11n_91) | {m3_1 # 11n_91} | true |
| u(m3_1 # m11n_91) | u(m3_1 # m11n_91) | {m3_1 # m11n_91} | true |
| u(m3_1 # 11n_92) | u(m3_1 # 11n_92) | {m3_1 # 11n_92} | true |
| u(m3_1 # m11n_92) | u(m3_1 # m11n_92) | {m3_1 # m11n_92} | true |
| u(m3_1 # 11n_93) | u(m3_1 # 11n_93) | {m3_1 # 11n_93, m3_1 # r11n_93} | false |
| u(m3_1 # m11n_93) | u(m3_1 # m11n_93) | {m3_1 # m11n_93, m3_1 # mr11n_93} | false |
| u(m3_1 # 11n_94) | u(m3_1 # 11n_94) | {m3_1 # 11n_94} | true |
| u(m3_1 # m11n_94) | u(m3_1 # m11n_94) | {m3_1 # m11n_94} | true |
| u(m3_1 # 11n_95) | u(m3_1 # 11n_95) | {m3_1 # 11n_95} | true |
| u(m3_1 # m11n_95) | u(m3_1 # m11n_95) | {m3_1 # m11n_95} | true |
| u(m3_1 # 11n_96) | u(m3_1 # 11n_96) | {m3_1 # 11n_96} | true |
| u(m3_1 # m11n_96) | u(m3_1 # m11n_96) | {m3_1 # m11n_96} | true |
| u(m3_1 # 11n_97) | u(m3_1 # 11n_97) | {m3_1 # 11n_97, m3_1 # r11n_97} | false |
| u(m3_1 # m11n_97) | u(m3_1 # m11n_97) | {m3_1 # m11n_97, m3_1 # mr11n_97} | false |
| u(m3_1 # 11n_98) | u(m3_1 # 11n_98) | {m3_1 # 11n_98} | true |
| u(m3_1 # m11n_98) | u(m3_1 # m11n_98) | {m3_1 # m11n_98} | true |
| u(m3_1 # 11n_99) | u(m3_1 # 11n_99) | {m3_1 # 11n_99} | true |
| u(m3_1 # m11n_99) | u(m3_1 # m11n_99) | {m3_1 # m11n_99} | true |
| u(m3_1 # 11n_100) | u(m3_1 # 11n_100) | {m3_1 # 11n_100, m3_1 # r11n_100} | false |
| u(m3_1 # m11n_100) | u(m3_1 # m11n_100) | {m3_1 # m11n_100, m3_1 # mr11n_100} | false |
| u(m3_1 # 11n_101) | u(m3_1 # 11n_101) | {m3_1 # 11n_101} | true |
| u(m3_1 # m11n_101) | u(m3_1 # m11n_101) | {m3_1 # m11n_101} | true |
| u(m3_1 # 11n_102) | u(m3_1 # 11n_102) | {m3_1 # 11n_102} | true |
| u(m3_1 # m11n_102) | u(m3_1 # m11n_102) | {m3_1 # m11n_102} | true |
| u(m3_1 # 11n_103) | u(m3_1 # 11n_103) | {m3_1 # 11n_103} | true |
| u(m3_1 # m11n_103) | u(m3_1 # m11n_103) | {m3_1 # m11n_103} | true |
| u(m3_1 # 11n_104) | u(m3_1 # 11n_104) | {m3_1 # 11n_104} | true |
| u(m3_1 # m11n_104) | u(m3_1 # m11n_104) | {m3_1 # m11n_104} | true |
| u(m3_1 # 11n_105) | u(m3_1 # 11n_105) | {m3_1 # 11n_105} | true |
| u(m3_1 # m11n_105) | u(m3_1 # m11n_105) | {m3_1 # m11n_105} | true |
| u(m3_1 # 11n_106) | u(m3_1 # 11n_106) | {m3_1 # 11n_106} | true |
| u(m3_1 # m11n_106) | u(m3_1 # m11n_106) | {m3_1 # m11n_106} | true |
| u(m3_1 # 11n_107) | u(m3_1 # 11n_107) | {m3_1 # 11n_107} | true |
| u(m3_1 # m11n_107) | u(m3_1 # m11n_107) | {m3_1 # m11n_107} | true |
| u(m3_1 # 11n_108) | u(m3_1 # 11n_108) | {m3_1 # 11n_108, m3_1 # r11n_108} | false |
| u(m3_1 # m11n_108) | u(m3_1 # m11n_108) | {m3_1 # m11n_108, m3_1 # mr11n_108} | false |
| u(m3_1 # 11n_109) | u(m3_1 # 11n_109) | {m3_1 # 11n_109, m3_1 # r11n_109} | false |
| u(m3_1 # m11n_109) | u(m3_1 # m11n_109) | {m3_1 # m11n_109, m3_1 # mr11n_109} | false |
| u(m3_1 # 11n_110) | u(m3_1 # 11n_110) | {m3_1 # 11n_110, m3_1 # r11n_110} | false |
| u(m3_1 # m11n_110) | u(m3_1 # m11n_110) | {m3_1 # m11n_110, m3_1 # mr11n_110} | false |
| u(m3_1 # 11n_111) | u(m3_1 # 11n_111) | {m3_1 # 11n_111} | true |
| u(m3_1 # m11n_111) | u(m3_1 # m11n_111) | {m3_1 # m11n_111} | true |
| u(m3_1 # 11n_112) | u(m3_1 # 11n_112) | {m3_1 # 11n_112} | true |
| u(m3_1 # m11n_112) | u(m3_1 # m11n_112) | {m3_1 # m11n_112} | true |
| u(m3_1 # 11n_113) | u(m3_1 # 11n_113) | {m3_1 # 11n_113} | true |
| u(m3_1 # m11n_113) | u(m3_1 # m11n_113) | {m3_1 # m11n_113} | true |
| u(m3_1 # 11n_114) | u(m3_1 # 11n_114) | {m3_1 # 11n_114, m3_1 # r11n_114} | false |
| u(m3_1 # m11n_114) | u(m3_1 # m11n_114) | {m3_1 # m11n_114, m3_1 # mr11n_114} | false |
| u(m3_1 # 11n_115) | u(m3_1 # 11n_115) | {m3_1 # 11n_115} | true |
| u(m3_1 # m11n_115) | u(m3_1 # m11n_115) | {m3_1 # m11n_115} | true |
| u(m3_1 # 11n_116) | u(m3_1 # 11n_116) | {m3_1 # 11n_116, m3_1 # r11n_116} | false |
| u(m3_1 # m11n_116) | u(m3_1 # m11n_116) | {m3_1 # m11n_116, m3_1 # mr11n_116} | false |
| u(m3_1 # 11n_117) | u(m3_1 # 11n_117) | {m3_1 # 11n_117} | true |
| u(m3_1 # m11n_117) | u(m3_1 # m11n_117) | {m3_1 # m11n_117} | true |
| u(m3_1 # 11n_118) | u(m3_1 # 11n_118) | {m3_1 # 11n_118} | true |
| u(m3_1 # m11n_118) | u(m3_1 # m11n_118) | {m3_1 # m11n_118} | true |
| u(m3_1 # 11n_119) | u(m3_1 # 11n_119) | {m3_1 # 11n_119} | true |
| u(m3_1 # m11n_119) | u(m3_1 # m11n_119) | {m3_1 # m11n_119} | true |
| u(m3_1 # 11n_120) | u(m3_1 # 11n_120) | {m3_1 # 11n_120, m3_1 # r11n_120} | false |
| u(m3_1 # m11n_120) | u(m3_1 # m11n_120) | {m3_1 # m11n_120, m3_1 # mr11n_120} | false |
| u(m3_1 # 11n_121) | u(m3_1 # 11n_121) | {m3_1 # 11n_121} | true |
| u(m3_1 # m11n_121) | u(m3_1 # m11n_121) | {m3_1 # m11n_121} | true |
| u(m3_1 # 11n_122) | u(m3_1 # 11n_122) | {m3_1 # 11n_122, m3_1 # r11n_122} | false |
| u(m3_1 # m11n_122) | u(m3_1 # m11n_122) | {m3_1 # m11n_122, m3_1 # mr11n_122} | false |
| u(m3_1 # 11n_123) | u(m3_1 # 11n_123) | {m3_1 # 11n_123} | true |
| u(m3_1 # m11n_123) | u(m3_1 # m11n_123) | {m3_1 # m11n_123} | true |
| u(m3_1 # 11n_124) | u(m3_1 # 11n_124) | {m3_1 # 11n_124, m3_1 # r11n_124} | false |
| u(m3_1 # m11n_124) | u(m3_1 # m11n_124) | {m3_1 # m11n_124, m3_1 # mr11n_124} | false |