| u(3_1 # m10_75) | u(3_1 # m10_75) | {3_1 # m10_75} | true |
| u(3_1 # 10_76) | u(3_1 # 10_76) | {3_1 # 10_76} | true |
| u(3_1 # m10_76) | u(3_1 # m10_76) | {3_1 # m10_76} | true |
| u(3_1 # 10_77) | u(3_1 # 10_77) | {3_1 # 10_77} | true |
| u(3_1 # m10_77) | u(3_1 # m10_77) | {3_1 # m10_77} | true |
| u(3_1 # 10_78) | u(3_1 # 10_78) | {3_1 # 10_78} | true |
| u(3_1 # m10_78) | u(3_1 # m10_78) | {3_1 # m10_78} | true |
| u(3_1 # 10_79) | u(3_1 # 10_79) | {3_1 # 10_79, 3_1 # r10_79} | false |
| u(3_1 # 10_80) | u(3_1 # 10_80) | {3_1 # 10_80, 3_1 # r10_80} | false |
| u(3_1 # m10_80) | u(3_1 # m10_80) | {3_1 # m10_80, 3_1 # mr10_80} | false |
| u(3_1 # 10_81) | u(3_1 # 10_81) | {3_1 # 10_81, 3_1 # r10_81} | false |
| u(3_1 # 10_82) | u(3_1 # 10_82) | {3_1 # 10_82, 3_1 # r10_82} | false |
| u(3_1 # m10_82) | u(3_1 # m10_82) | {3_1 # m10_82, 3_1 # mr10_82} | false |
| u(3_1 # 10_83) | u(3_1 # 10_83) | {3_1 # 10_83, 3_1 # r10_83} | false |
| u(3_1 # m10_83) | u(3_1 # m10_83) | {3_1 # m10_83, 3_1 # mr10_83} | false |
| u(3_1 # 10_84) | u(3_1 # 10_84) | {3_1 # 10_84, 3_1 # r10_84} | false |
| u(3_1 # m10_84) | u(3_1 # m10_84) | {3_1 # m10_84, 3_1 # mr10_84} | false |
| u(3_1 # 10_85) | u(3_1 # 10_85) | {3_1 # 10_85, 3_1 # r10_85} | false |
| u(3_1 # m10_85) | u(3_1 # m10_85) | {3_1 # m10_85, 3_1 # mr10_85} | false |
| u(3_1 # 10_86) | u(3_1 # 10_86) | {3_1 # 10_86, 3_1 # r10_86} | false |
| u(3_1 # m10_86) | u(3_1 # m10_86) | {3_1 # m10_86, 3_1 # mr10_86} | false |
| u(3_1 # 10_87) | u(3_1 # 10_87) | {3_1 # 10_87, 3_1 # r10_87} | false |
| u(3_1 # m10_87) | u(3_1 # m10_87) | {3_1 # m10_87, 3_1 # mr10_87} | false |
| u(3_1 # 10_88) | u(3_1 # 10_88) | {3_1 # 10_88, 3_1 # r10_88} | false |
| u(3_1 # 10_89) | u(3_1 # 10_89) | {3_1 # 10_89} | true |
| u(3_1 # m10_89) | u(3_1 # m10_89) | {3_1 # m10_89} | true |
| u(3_1 # 10_90) | u(3_1 # 10_90) | {3_1 # 10_90, 3_1 # r10_90} | false |
| u(3_1 # m10_90) | u(3_1 # m10_90) | {3_1 # m10_90, 3_1 # mr10_90} | false |
| u(3_1 # 10_91) | u(3_1 # 10_91) | {3_1 # 10_91, 3_1 # r10_91} | false |
| u(3_1 # m10_91) | u(3_1 # m10_91) | {3_1 # m10_91, 3_1 # mr10_91} | false |
| u(3_1 # 10_92) | u(3_1 # 10_92) | {3_1 # 10_92, 3_1 # r10_92} | false |
| u(3_1 # m10_92) | u(3_1 # m10_92) | {3_1 # m10_92, 3_1 # mr10_92} | false |
| u(3_1 # 10_93) | u(3_1 # 10_93) | {3_1 # 10_93, 3_1 # r10_93} | false |
| u(3_1 # m10_93) | u(3_1 # m10_93) | {3_1 # m10_93, 3_1 # mr10_93} | false |
| u(3_1 # 10_94) | u(3_1 # 10_94) | {3_1 # 10_94, 3_1 # r10_94} | false |
| u(3_1 # m10_94) | u(3_1 # m10_94) | {3_1 # m10_94, 3_1 # mr10_94} | false |
| u(3_1 # 10_95) | u(3_1 # 10_95) | {3_1 # 10_95, 3_1 # r10_95} | false |
| u(3_1 # m10_95) | u(3_1 # m10_95) | {3_1 # m10_95, 3_1 # mr10_95} | false |
| u(3_1 # 10_96) | u(3_1 # 10_96) | {3_1 # 10_96} | true |
| u(3_1 # m10_96) | u(3_1 # m10_96) | {3_1 # m10_96} | true |
| u(3_1 # 10_97) | u(3_1 # 10_97) | {3_1 # 10_97} | true |
| u(3_1 # m10_97) | u(3_1 # m10_97) | {3_1 # m10_97} | true |
| u(3_1 # 10_98) | u(3_1 # 10_98) | {3_1 # 10_98, 3_1 # r10_98} | false |
| u(3_1 # m10_98) | u(3_1 # m10_98) | {3_1 # m10_98, 3_1 # mr10_98} | false |
| u(3_1 # 10_99) | u(3_1 # 10_99) | {3_1 # 10_99} | true |
| u(3_1 # 10_100) | u(3_1 # 10_100) | {3_1 # 10_100} | true |
| u(3_1 # m10_100) | u(3_1 # m10_100) | {3_1 # m10_100} | true |
| u(3_1 # 10_101) | u(3_1 # 10_101) | {3_1 # 10_101} | true |
| u(3_1 # m10_101) | u(3_1 # m10_101) | {3_1 # m10_101} | true |
| u(3_1 # 10_102) | u(3_1 # 10_102) | {3_1 # 10_102, 3_1 # r10_102} | false |
| u(3_1 # m10_102) | u(3_1 # m10_102) | {3_1 # m10_102, 3_1 # mr10_102} | false |
| u(3_1 # 10_103) | u(3_1 # 10_103) | {3_1 # 10_103} | true |
| u(3_1 # m10_103) | u(3_1 # m10_103) | {3_1 # m10_103} | true |
| u(3_1 # 10_104) | u(3_1 # 10_104) | {3_1 # 10_104} | true |
| u(3_1 # m10_104) | u(3_1 # m10_104) | {3_1 # m10_104} | true |
| u(3_1 # 10_105) | u(3_1 # 10_105) | {3_1 # 10_105} | true |
| u(3_1 # m10_105) | u(3_1 # m10_105) | {3_1 # m10_105} | true |
| u(3_1 # 10_106) | u(3_1 # 10_106) | {3_1 # 10_106, 3_1 # r10_106} | false |
| u(3_1 # m10_106) | u(3_1 # m10_106) | {3_1 # m10_106, 3_1 # mr10_106} | false |
| u(3_1 # 10_107) | u(3_1 # 10_107) | {3_1 # 10_107, 3_1 # r10_107} | false |
| u(3_1 # m10_107) | u(3_1 # m10_107) | {3_1 # m10_107, 3_1 # mr10_107} | false |
| u(3_1 # 10_108) | u(3_1 # 10_108) | {3_1 # 10_108} | true |
| u(3_1 # m10_108) | u(3_1 # m10_108) | {3_1 # m10_108} | true |
| u(3_1 # 10_109) | u(3_1 # 10_109) | {3_1 # 10_109, 3_1 # r10_109} | false |
| u(3_1 # 10_110) | u(3_1 # 10_110) | {3_1 # 10_110, 3_1 # r10_110} | false |
| u(3_1 # m10_110) | u(3_1 # m10_110) | {3_1 # m10_110, 3_1 # mr10_110} | false |
| u(3_1 # 10_111) | u(3_1 # 10_111) | {3_1 # 10_111} | true |
| u(3_1 # m10_111) | u(3_1 # m10_111) | {3_1 # m10_111} | true |
| u(3_1 # 10_112) | u(3_1 # 10_112) | {3_1 # 10_112} | true |
| u(3_1 # m10_112) | u(3_1 # m10_112) | {3_1 # m10_112} | true |
| u(3_1 # 10_113) | u(3_1 # 10_113) | {3_1 # 10_113} | true |
| u(3_1 # m10_113) | u(3_1 # m10_113) | {3_1 # m10_113} | true |
| u(3_1 # 10_114) | u(3_1 # 10_114) | {3_1 # 10_114} | true |
| u(3_1 # m10_114) | u(3_1 # m10_114) | {3_1 # m10_114} | true |
| u(3_1 # 10_115) | u(3_1 # 10_115) | {3_1 # 10_115, 3_1 # r10_115} | false |
| u(3_1 # 10_116) | u(3_1 # 10_116) | {3_1 # 10_116} | true |
| u(3_1 # m10_116) | u(3_1 # m10_116) | {3_1 # m10_116} | true |
| u(3_1 # 10_117) | u(3_1 # 10_117) | {3_1 # 10_117, 3_1 # r10_117} | false |
| u(3_1 # m10_117) | u(3_1 # m10_117) | {3_1 # m10_117, 3_1 # mr10_117} | false |
| u(3_1 # 10_118) | u(3_1 # 10_118) | {3_1 # 10_118, 3_1 # r10_118} | false |
| u(3_1 # 10_119) | u(3_1 # 10_119) | {3_1 # 10_119, 3_1 # r10_119} | false |
| u(3_1 # m10_119) | u(3_1 # m10_119) | {3_1 # m10_119, 3_1 # mr10_119} | false |
| u(3_1 # 10_120) | u(3_1 # 10_120) | {3_1 # 10_120} | true |
| u(3_1 # m10_120) | u(3_1 # m10_120) | {3_1 # m10_120} | true |
| u(3_1 # 10_121) | u(3_1 # 10_121) | {3_1 # 10_121} | true |
| u(3_1 # m10_121) | u(3_1 # m10_121) | {3_1 # m10_121} | true |
| u(3_1 # 10_122) | u(3_1 # 10_122) | {3_1 # 10_122} | true |
| u(3_1 # m10_122) | u(3_1 # m10_122) | {3_1 # m10_122} | true |
| u(3_1 # 10_123) | u(3_1 # 10_123) | {3_1 # 10_123} | true |
| u(3_1 # 10_124) | u(3_1 # 10_124) | {3_1 # 10_124} | true |
| u(3_1 # m10_124) | u(3_1 # m10_124) | {3_1 # m10_124} | true |
| u(3_1 # 10_125) | u(3_1 # 10_125) | {3_1 # 10_125} | true |
| u(3_1 # m10_125) | u(3_1 # m10_125) | {3_1 # m10_125} | true |
| u(3_1 # 10_126) | u(3_1 # 10_126) | {3_1 # 10_126} | true |
| u(3_1 # m10_126) | u(3_1 # m10_126) | {3_1 # m10_126} | true |
| u(3_1 # 10_127) | u(3_1 # 10_127) | {3_1 # 10_127} | true |
| u(3_1 # m10_127) | u(3_1 # m10_127) | {3_1 # m10_127} | true |
| u(3_1 # 10_128) | u(3_1 # 10_128) | {3_1 # 10_128} | true |
| u(3_1 # m10_128) | u(3_1 # m10_128) | {3_1 # m10_128} | true |
| u(3_1 # 10_129) | u(3_1 # 10_129) | {3_1 # 10_129} | true |