| u(3_1 # 11a_82) | u(3_1 # 11a_82) | {3_1 # 11a_82} | true |
| u(3_1 # m11a_82) | u(3_1 # m11a_82) | {3_1 # m11a_82} | true |
| u(3_1 # 11a_83) | u(3_1 # 11a_83) | {3_1 # 11a_83} | true |
| u(3_1 # m11a_83) | u(3_1 # m11a_83) | {3_1 # m11a_83} | true |
| u(3_1 # 11a_84) | u(3_1 # 11a_84) | {3_1 # 11a_84} | true |
| u(3_1 # m11a_84) | u(3_1 # m11a_84) | {3_1 # m11a_84} | true |
| u(3_1 # 11a_85) | u(3_1 # 11a_85) | {3_1 # 11a_85} | true |
| u(3_1 # m11a_85) | u(3_1 # m11a_85) | {3_1 # m11a_85} | true |
| u(3_1 # 11a_86) | u(3_1 # 11a_86) | {3_1 # 11a_86} | true |
| u(3_1 # m11a_86) | u(3_1 # m11a_86) | {3_1 # m11a_86} | true |
| u(3_1 # 11a_87) | u(3_1 # 11a_87) | {3_1 # 11a_87} | true |
| u(3_1 # m11a_87) | u(3_1 # m11a_87) | {3_1 # m11a_87} | true |
| u(3_1 # 11a_88) | u(3_1 # 11a_88) | {3_1 # 11a_88} | true |
| u(3_1 # m11a_88) | u(3_1 # m11a_88) | {3_1 # m11a_88} | true |
| u(3_1 # 11a_89) | u(3_1 # 11a_89) | {3_1 # 11a_89} | true |
| u(3_1 # m11a_89) | u(3_1 # m11a_89) | {3_1 # m11a_89} | true |
| u(3_1 # 11a_90) | u(3_1 # 11a_90) | {3_1 # 11a_90} | true |
| u(3_1 # m11a_90) | u(3_1 # m11a_90) | {3_1 # m11a_90} | true |
| u(3_1 # 11a_91) | u(3_1 # 11a_91) | {3_1 # 11a_91} | true |
| u(3_1 # m11a_91) | u(3_1 # m11a_91) | {3_1 # m11a_91} | true |
| u(3_1 # 11a_92) | u(3_1 # 11a_92) | {3_1 # 11a_92} | true |
| u(3_1 # m11a_92) | u(3_1 # m11a_92) | {3_1 # m11a_92} | true |
| u(3_1 # 11a_93) | u(3_1 # 11a_93) | {3_1 # 11a_93} | true |
| u(3_1 # m11a_93) | u(3_1 # m11a_93) | {3_1 # m11a_93} | true |
| u(3_1 # 11a_94) | u(3_1 # 11a_94) | {3_1 # 11a_94} | true |
| u(3_1 # m11a_94) | u(3_1 # m11a_94) | {3_1 # m11a_94} | true |
| u(3_1 # 11a_95) | u(3_1 # 11a_95) | {3_1 # 11a_95} | true |
| u(3_1 # m11a_95) | u(3_1 # m11a_95) | {3_1 # m11a_95} | true |
| u(3_1 # 11a_96) | u(3_1 # 11a_96) | {3_1 # 11a_96} | true |
| u(3_1 # m11a_96) | u(3_1 # m11a_96) | {3_1 # m11a_96} | true |
| u(3_1 # 11a_97) | u(3_1 # 11a_97) | {3_1 # 11a_97} | true |
| u(3_1 # m11a_97) | u(3_1 # m11a_97) | {3_1 # m11a_97} | true |
| u(3_1 # 11a_98) | u(3_1 # 11a_98) | {3_1 # 11a_98} | true |
| u(3_1 # m11a_98) | u(3_1 # m11a_98) | {3_1 # m11a_98} | true |
| u(3_1 # 11a_99) | u(3_1 # 11a_99) | {3_1 # 11a_99} | true |
| u(3_1 # m11a_99) | u(3_1 # m11a_99) | {3_1 # m11a_99} | true |
| u(3_1 # 11a_100) | u(3_1 # 11a_100) | {3_1 # 11a_100} | true |
| u(3_1 # m11a_100) | u(3_1 # m11a_100) | {3_1 # m11a_100} | true |
| u(3_1 # 11a_101) | u(3_1 # 11a_101) | {3_1 # 11a_101, 3_1 # r11a_101} | false |
| u(3_1 # m11a_101) | u(3_1 # m11a_101) | {3_1 # m11a_101, 3_1 # mr11a_101} | false |
| u(3_1 # 11a_102) | u(3_1 # 11a_102) | {3_1 # 11a_102, 3_1 # r11a_102} | false |
| u(3_1 # m11a_102) | u(3_1 # m11a_102) | {3_1 # m11a_102, 3_1 # mr11a_102} | false |
| u(3_1 # 11a_103) | u(3_1 # 11a_103) | {3_1 # 11a_103, 3_1 # r11a_103} | false |
| u(3_1 # m11a_103) | u(3_1 # m11a_103) | {3_1 # m11a_103, 3_1 # mr11a_103} | false |
| u(3_1 # 11a_104) | u(3_1 # 11a_104) | {3_1 # 11a_104, 3_1 # r11a_104} | false |
| u(3_1 # m11a_104) | u(3_1 # m11a_104) | {3_1 # m11a_104, 3_1 # mr11a_104} | false |
| u(3_1 # 11a_105) | u(3_1 # 11a_105) | {3_1 # 11a_105} | true |
| u(3_1 # m11a_105) | u(3_1 # m11a_105) | {3_1 # m11a_105} | true |
| u(3_1 # 11a_106) | u(3_1 # 11a_106) | {3_1 # 11a_106} | true |
| u(3_1 # m11a_106) | u(3_1 # m11a_106) | {3_1 # m11a_106} | true |
| u(3_1 # 11a_107) | u(3_1 # 11a_107) | {3_1 # 11a_107} | true |
| u(3_1 # m11a_107) | u(3_1 # m11a_107) | {3_1 # m11a_107} | true |
| u(3_1 # 11a_108) | u(3_1 # 11a_108) | {3_1 # 11a_108} | true |
| u(3_1 # m11a_108) | u(3_1 # m11a_108) | {3_1 # m11a_108} | true |
| u(3_1 # 11a_109) | u(3_1 # 11a_109) | {3_1 # 11a_109} | true |
| u(3_1 # m11a_109) | u(3_1 # m11a_109) | {3_1 # m11a_109} | true |
| u(3_1 # 11a_110) | u(3_1 # 11a_110) | {3_1 # 11a_110} | true |
| u(3_1 # m11a_110) | u(3_1 # m11a_110) | {3_1 # m11a_110} | true |
| u(3_1 # 11a_111) | u(3_1 # 11a_111) | {3_1 # 11a_111} | true |
| u(3_1 # m11a_111) | u(3_1 # m11a_111) | {3_1 # m11a_111} | true |
| u(3_1 # 11a_112) | u(3_1 # 11a_112) | {3_1 # 11a_112, 3_1 # r11a_112} | false |
| u(3_1 # m11a_112) | u(3_1 # m11a_112) | {3_1 # m11a_112, 3_1 # mr11a_112} | false |
| u(3_1 # 11a_113) | u(3_1 # 11a_113) | {3_1 # 11a_113, 3_1 # r11a_113} | false |
| u(3_1 # m11a_113) | u(3_1 # m11a_113) | {3_1 # m11a_113, 3_1 # mr11a_113} | false |
| u(3_1 # 11a_114) | u(3_1 # 11a_114) | {3_1 # 11a_114, 3_1 # r11a_114} | false |
| u(3_1 # m11a_114) | u(3_1 # m11a_114) | {3_1 # m11a_114, 3_1 # mr11a_114} | false |
| u(3_1 # 11a_115) | u(3_1 # 11a_115) | {3_1 # 11a_115, 3_1 # r11a_115} | false |
| u(3_1 # m11a_115) | u(3_1 # m11a_115) | {3_1 # m11a_115, 3_1 # mr11a_115} | false |
| u(3_1 # 11a_116) | u(3_1 # 11a_116) | {3_1 # 11a_116, 3_1 # r11a_116} | false |
| u(3_1 # m11a_116) | u(3_1 # m11a_116) | {3_1 # m11a_116, 3_1 # mr11a_116} | false |
| u(3_1 # 11a_117) | u(3_1 # 11a_117) | {3_1 # 11a_117} | true |
| u(3_1 # m11a_117) | u(3_1 # m11a_117) | {3_1 # m11a_117} | true |
| u(3_1 # 11a_118) | u(3_1 # 11a_118) | {3_1 # 11a_118} | true |
| u(3_1 # m11a_118) | u(3_1 # m11a_118) | {3_1 # m11a_118} | true |
| u(3_1 # 11a_119) | u(3_1 # 11a_119) | {3_1 # 11a_119} | true |
| u(3_1 # m11a_119) | u(3_1 # m11a_119) | {3_1 # m11a_119} | true |
| u(3_1 # 11a_120) | u(3_1 # 11a_120) | {3_1 # 11a_120} | true |
| u(3_1 # m11a_120) | u(3_1 # m11a_120) | {3_1 # m11a_120} | true |
| u(3_1 # 11a_121) | u(3_1 # 11a_121) | {3_1 # 11a_121} | true |
| u(3_1 # m11a_121) | u(3_1 # m11a_121) | {3_1 # m11a_121} | true |
| u(3_1 # 11a_122) | u(3_1 # 11a_122) | {3_1 # 11a_122, 3_1 # r11a_122} | false |
| u(3_1 # m11a_122) | u(3_1 # m11a_122) | {3_1 # m11a_122, 3_1 # mr11a_122} | false |
| u(3_1 # 11a_123) | u(3_1 # 11a_123) | {3_1 # 11a_123} | true |
| u(3_1 # m11a_123) | u(3_1 # m11a_123) | {3_1 # m11a_123} | true |
| u(3_1 # 11a_124) | u(3_1 # 11a_124) | {3_1 # 11a_124} | true |
| u(3_1 # m11a_124) | u(3_1 # m11a_124) | {3_1 # m11a_124} | true |
| u(3_1 # 11a_125) | u(3_1 # 11a_125) | {3_1 # 11a_125, 3_1 # r11a_125} | false |
| u(3_1 # m11a_125) | u(3_1 # m11a_125) | {3_1 # m11a_125, 3_1 # mr11a_125} | false |
| u(3_1 # 11a_126) | u(3_1 # 11a_126) | {3_1 # 11a_126} | true |
| u(3_1 # m11a_126) | u(3_1 # m11a_126) | {3_1 # m11a_126} | true |
| u(3_1 # 11a_127) | u(3_1 # 11a_127) | {3_1 # 11a_127, 3_1 # r11a_127} | false |
| u(3_1 # m11a_127) | u(3_1 # m11a_127) | {3_1 # m11a_127, 3_1 # mr11a_127} | false |
| u(3_1 # 11a_128) | u(3_1 # 11a_128) | {3_1 # 11a_128} | true |
| u(3_1 # m11a_128) | u(3_1 # m11a_128) | {3_1 # m11a_128} | true |
| u(3_1 # 11a_129) | u(3_1 # 11a_129) | {3_1 # 11a_129, 3_1 # r11a_129} | false |
| u(3_1 # m11a_129) | u(3_1 # m11a_129) | {3_1 # m11a_129, 3_1 # mr11a_129} | false |
| u(3_1 # 11a_130) | u(3_1 # 11a_130) | {3_1 # 11a_130, 3_1 # r11a_130} | false |
| u(3_1 # m11a_130) | u(3_1 # m11a_130) | {3_1 # m11a_130, 3_1 # mr11a_130} | false |
| u(3_1 # 11a_131) | u(3_1 # 11a_131) | {3_1 # 11a_131, 3_1 # r11a_131} | false |
| u(3_1 # m11a_131) | u(3_1 # m11a_131) | {3_1 # m11a_131, 3_1 # mr11a_131} | false |