| u(3_1 # 11n_65) | u(3_1 # 11n_65) | {3_1 # 11n_65} | true |
| u(3_1 # m11n_65) | u(3_1 # m11n_65) | {3_1 # m11n_65} | true |
| u(3_1 # 11n_66) | u(3_1 # 11n_66) | {3_1 # 11n_66} | true |
| u(3_1 # m11n_66) | u(3_1 # m11n_66) | {3_1 # m11n_66} | true |
| u(3_1 # 11n_67) | u(3_1 # 11n_67) | {3_1 # 11n_67, 3_1 # r11n_67} | false |
| u(3_1 # m11n_67) | u(3_1 # m11n_67) | {3_1 # m11n_67, 3_1 # mr11n_67} | false |
| u(3_1 # 11n_68) | u(3_1 # 11n_68) | {3_1 # 11n_68, 3_1 # r11n_68} | false |
| u(3_1 # m11n_68) | u(3_1 # m11n_68) | {3_1 # m11n_68, 3_1 # mr11n_68} | false |
| u(3_1 # 11n_69) | u(3_1 # 11n_69) | {3_1 # 11n_69, 3_1 # r11n_69} | false |
| u(3_1 # m11n_69) | u(3_1 # m11n_69) | {3_1 # m11n_69, 3_1 # mr11n_69} | false |
| u(3_1 # 11n_70) | u(3_1 # 11n_70) | {3_1 # 11n_70} | true |
| u(3_1 # m11n_70) | u(3_1 # m11n_70) | {3_1 # m11n_70} | true |
| u(3_1 # 11n_71) | u(3_1 # 11n_71) | {3_1 # 11n_71} | true |
| u(3_1 # m11n_71) | u(3_1 # m11n_71) | {3_1 # m11n_71} | true |
| u(3_1 # 11n_72) | u(3_1 # 11n_72) | {3_1 # 11n_72} | true |
| u(3_1 # m11n_72) | u(3_1 # m11n_72) | {3_1 # m11n_72} | true |
| u(3_1 # 11n_73) | u(3_1 # 11n_73) | {3_1 # 11n_73} | true |
| u(3_1 # m11n_73) | u(3_1 # m11n_73) | {3_1 # m11n_73} | true |
| u(3_1 # 11n_74) | u(3_1 # 11n_74) | {3_1 # 11n_74} | true |
| u(3_1 # m11n_74) | u(3_1 # m11n_74) | {3_1 # m11n_74} | true |
| u(3_1 # 11n_75) | u(3_1 # 11n_75) | {3_1 # 11n_75} | true |
| u(3_1 # m11n_75) | u(3_1 # m11n_75) | {3_1 # m11n_75} | true |
| u(3_1 # 11n_76) | u(3_1 # 11n_76) | {3_1 # 11n_76} | true |
| u(3_1 # m11n_76) | u(3_1 # m11n_76) | {3_1 # m11n_76} | true |
| u(3_1 # 11n_77) | u(3_1 # 11n_77) | {3_1 # 11n_77} | true |
| u(3_1 # m11n_77) | u(3_1 # m11n_77) | {3_1 # m11n_77} | true |
| u(3_1 # 11n_78) | u(3_1 # 11n_78) | {3_1 # 11n_78} | true |
| u(3_1 # m11n_78) | u(3_1 # m11n_78) | {3_1 # m11n_78} | true |
| u(3_1 # 11n_79) | u(3_1 # 11n_79) | {3_1 # 11n_79} | true |
| u(3_1 # m11n_79) | u(3_1 # m11n_79) | {3_1 # m11n_79} | true |
| u(3_1 # 11n_80) | u(3_1 # 11n_80) | {3_1 # 11n_80, 3_1 # r11n_80} | false |
| u(3_1 # m11n_80) | u(3_1 # m11n_80) | {3_1 # m11n_80, 3_1 # mr11n_80} | false |
| u(3_1 # 11n_81) | u(3_1 # 11n_81) | {3_1 # 11n_81} | true |
| u(3_1 # m11n_81) | u(3_1 # m11n_81) | {3_1 # m11n_81} | true |
| u(3_1 # 11n_82) | u(3_1 # 11n_82) | {3_1 # 11n_82} | true |
| u(3_1 # m11n_82) | u(3_1 # m11n_82) | {3_1 # m11n_82} | true |
| u(3_1 # 11n_83) | u(3_1 # 11n_83) | {3_1 # 11n_83} | true |
| u(3_1 # m11n_83) | u(3_1 # m11n_83) | {3_1 # m11n_83} | true |
| u(3_1 # 11n_84) | u(3_1 # 11n_84) | {3_1 # 11n_84} | true |
| u(3_1 # m11n_84) | u(3_1 # m11n_84) | {3_1 # m11n_84} | true |
| u(3_1 # 11n_85) | u(3_1 # 11n_85) | {3_1 # 11n_85} | true |
| u(3_1 # m11n_85) | u(3_1 # m11n_85) | {3_1 # m11n_85} | true |
| u(3_1 # 11n_86) | u(3_1 # 11n_86) | {3_1 # 11n_86} | true |
| u(3_1 # m11n_86) | u(3_1 # m11n_86) | {3_1 # m11n_86} | true |
| u(3_1 # 11n_87) | u(3_1 # 11n_87) | {3_1 # 11n_87} | true |
| u(3_1 # m11n_87) | u(3_1 # m11n_87) | {3_1 # m11n_87} | true |
| u(3_1 # 11n_88) | u(3_1 # 11n_88) | {3_1 # 11n_88} | true |
| u(3_1 # m11n_88) | u(3_1 # m11n_88) | {3_1 # m11n_88} | true |
| u(3_1 # 11n_89) | u(3_1 # 11n_89) | {3_1 # 11n_89} | true |
| u(3_1 # m11n_89) | u(3_1 # m11n_89) | {3_1 # m11n_89} | true |
| u(3_1 # 11n_90) | u(3_1 # 11n_90) | {3_1 # 11n_90} | true |
| u(3_1 # m11n_90) | u(3_1 # m11n_90) | {3_1 # m11n_90} | true |
| u(3_1 # 11n_91) | u(3_1 # 11n_91) | {3_1 # 11n_91} | true |
| u(3_1 # m11n_91) | u(3_1 # m11n_91) | {3_1 # m11n_91} | true |
| u(3_1 # 11n_92) | u(3_1 # 11n_92) | {3_1 # 11n_92} | true |
| u(3_1 # m11n_92) | u(3_1 # m11n_92) | {3_1 # m11n_92} | true |
| u(3_1 # 11n_93) | u(3_1 # 11n_93) | {3_1 # 11n_93, 3_1 # r11n_93} | false |
| u(3_1 # m11n_93) | u(3_1 # m11n_93) | {3_1 # m11n_93, 3_1 # mr11n_93} | false |
| u(3_1 # 11n_94) | u(3_1 # 11n_94) | {3_1 # 11n_94} | true |
| u(3_1 # m11n_94) | u(3_1 # m11n_94) | {3_1 # m11n_94} | true |
| u(3_1 # 11n_95) | u(3_1 # 11n_95) | {3_1 # 11n_95} | true |
| u(3_1 # m11n_95) | u(3_1 # m11n_95) | {3_1 # m11n_95} | true |
| u(3_1 # 11n_96) | u(3_1 # 11n_96) | {3_1 # 11n_96} | true |
| u(3_1 # m11n_96) | u(3_1 # m11n_96) | {3_1 # m11n_96} | true |
| u(3_1 # 11n_97) | u(3_1 # 11n_97) | {3_1 # 11n_97, 3_1 # r11n_97} | false |
| u(3_1 # m11n_97) | u(3_1 # m11n_97) | {3_1 # m11n_97, 3_1 # mr11n_97} | false |
| u(3_1 # 11n_98) | u(3_1 # 11n_98) | {3_1 # 11n_98} | true |
| u(3_1 # m11n_98) | u(3_1 # m11n_98) | {3_1 # m11n_98} | true |
| u(3_1 # 11n_99) | u(3_1 # 11n_99) | {3_1 # 11n_99} | true |
| u(3_1 # m11n_99) | u(3_1 # m11n_99) | {3_1 # m11n_99} | true |
| u(3_1 # 11n_100) | u(3_1 # 11n_100) | {3_1 # 11n_100, 3_1 # r11n_100} | false |
| u(3_1 # m11n_100) | u(3_1 # m11n_100) | {3_1 # m11n_100, 3_1 # mr11n_100} | false |
| u(3_1 # 11n_101) | u(3_1 # 11n_101) | {3_1 # 11n_101} | true |
| u(3_1 # m11n_101) | u(3_1 # m11n_101) | {3_1 # m11n_101} | true |
| u(3_1 # 11n_102) | u(3_1 # 11n_102) | {3_1 # 11n_102} | true |
| u(3_1 # m11n_102) | u(3_1 # m11n_102) | {3_1 # m11n_102} | true |
| u(3_1 # 11n_103) | u(3_1 # 11n_103) | {3_1 # 11n_103} | true |
| u(3_1 # m11n_103) | u(3_1 # m11n_103) | {3_1 # m11n_103} | true |
| u(3_1 # 11n_104) | u(3_1 # 11n_104) | {3_1 # 11n_104} | true |
| u(3_1 # m11n_104) | u(3_1 # m11n_104) | {3_1 # m11n_104} | true |
| u(3_1 # 11n_105) | u(3_1 # 11n_105) | {3_1 # 11n_105} | true |
| u(3_1 # m11n_105) | u(3_1 # m11n_105) | {3_1 # m11n_105} | true |
| u(3_1 # 11n_106) | u(3_1 # 11n_106) | {3_1 # 11n_106} | true |
| u(3_1 # m11n_106) | u(3_1 # m11n_106) | {3_1 # m11n_106} | true |
| u(3_1 # 11n_107) | u(3_1 # 11n_107) | {3_1 # 11n_107} | true |
| u(3_1 # m11n_107) | u(3_1 # m11n_107) | {3_1 # m11n_107} | true |
| u(3_1 # 11n_108) | u(3_1 # 11n_108) | {3_1 # 11n_108, 3_1 # r11n_108} | false |
| u(3_1 # m11n_108) | u(3_1 # m11n_108) | {3_1 # m11n_108, 3_1 # mr11n_108} | false |
| u(3_1 # 11n_109) | u(3_1 # 11n_109) | {3_1 # 11n_109, 3_1 # r11n_109} | false |
| u(3_1 # m11n_109) | u(3_1 # m11n_109) | {3_1 # m11n_109, 3_1 # mr11n_109} | false |
| u(3_1 # 11n_110) | u(3_1 # 11n_110) | {3_1 # 11n_110, 3_1 # r11n_110} | false |
| u(3_1 # m11n_110) | u(3_1 # m11n_110) | {3_1 # m11n_110, 3_1 # mr11n_110} | false |
| u(3_1 # 11n_111) | u(3_1 # 11n_111) | {3_1 # 11n_111} | true |
| u(3_1 # m11n_111) | u(3_1 # m11n_111) | {3_1 # m11n_111} | true |
| u(3_1 # 11n_112) | u(3_1 # 11n_112) | {3_1 # 11n_112} | true |
| u(3_1 # m11n_112) | u(3_1 # m11n_112) | {3_1 # m11n_112} | true |
| u(3_1 # 11n_113) | u(3_1 # 11n_113) | {3_1 # 11n_113} | true |
| u(3_1 # m11n_113) | u(3_1 # m11n_113) | {3_1 # m11n_113} | true |
| u(3_1 # 11n_114) | u(3_1 # 11n_114) | {3_1 # 11n_114, 3_1 # r11n_114} | false |
| u(3_1 # m11n_114) | u(3_1 # m11n_114) | {3_1 # m11n_114, 3_1 # mr11n_114} | false |