| u(m3_1 # 10_52) | u(m3_1 # 10_52) | {m3_1 # 10_52} | true |
| u(m3_1 # m10_52) | u(m3_1 # m10_52) | {m3_1 # m10_52} | true |
| u(m3_1 # 10_53) | u(m3_1 # 10_53) | {m3_1 # 10_53} | true |
| u(m3_1 # m10_53) | u(m3_1 # m10_53) | {m3_1 # m10_53} | true |
| u(m3_1 # 10_54) | u(m3_1 # 10_54) | {m3_1 # 10_54} | true |
| u(m3_1 # m10_54) | u(m3_1 # m10_54) | {m3_1 # m10_54} | true |
| u(m3_1 # 10_55) | u(m3_1 # 10_55) | {m3_1 # 10_55} | true |
| u(m3_1 # m10_55) | u(m3_1 # m10_55) | {m3_1 # m10_55} | true |
| u(m3_1 # 10_56) | u(m3_1 # 10_56) | {m3_1 # 10_56} | true |
| u(m3_1 # m10_56) | u(m3_1 # m10_56) | {m3_1 # m10_56} | true |
| u(m3_1 # 10_57) | u(m3_1 # 10_57) | {m3_1 # 10_57} | true |
| u(m3_1 # m10_57) | u(m3_1 # m10_57) | {m3_1 # m10_57} | true |
| u(m3_1 # 10_58) | u(m3_1 # 10_58) | {m3_1 # 10_58} | true |
| u(m3_1 # m10_58) | u(m3_1 # m10_58) | {m3_1 # m10_58} | true |
| u(m3_1 # 10_59) | u(m3_1 # 10_59) | {m3_1 # 10_59} | true |
| u(m3_1 # m10_59) | u(m3_1 # m10_59) | {m3_1 # m10_59} | true |
| u(m3_1 # 10_60) | u(m3_1 # 10_60) | {m3_1 # 10_60} | true |
| u(m3_1 # m10_60) | u(m3_1 # m10_60) | {m3_1 # m10_60} | true |
| u(m3_1 # 10_61) | u(m3_1 # 10_61) | {m3_1 # 10_61} | true |
| u(m3_1 # m10_61) | u(m3_1 # m10_61) | {m3_1 # m10_61} | true |
| u(m3_1 # 10_62) | u(m3_1 # 10_62) | {m3_1 # 10_62} | true |
| u(m3_1 # m10_62) | u(m3_1 # m10_62) | {m3_1 # m10_62} | true |
| u(m3_1 # 10_63) | u(m3_1 # 10_63) | {m3_1 # 10_63} | true |
| u(m3_1 # m10_63) | u(m3_1 # m10_63) | {m3_1 # m10_63} | true |
| u(m3_1 # 10_64) | u(m3_1 # 10_64) | {m3_1 # 10_64} | true |
| u(m3_1 # m10_64) | u(m3_1 # m10_64) | {m3_1 # m10_64} | true |
| u(m3_1 # 10_65) | u(m3_1 # 10_65) | {m3_1 # 10_65} | true |
| u(m3_1 # m10_65) | u(m3_1 # m10_65) | {m3_1 # m10_65} | true |
| u(m3_1 # 10_66) | u(m3_1 # 10_66) | {m3_1 # 10_66} | true |
| u(m3_1 # m10_66) | u(m3_1 # m10_66) | {m3_1 # m10_66} | true |
| u(m3_1 # 10_67) | u(m3_1 # 10_67) | {m3_1 # 10_67, m3_1 # r10_67} | false |
| u(m3_1 # m10_67) | u(m3_1 # m10_67) | {m3_1 # m10_67, m3_1 # mr10_67} | false |
| u(m3_1 # 10_68) | u(m3_1 # 10_68) | {m3_1 # 10_68} | true |
| u(m3_1 # m10_68) | u(m3_1 # m10_68) | {m3_1 # m10_68} | true |
| u(m3_1 # 10_69) | u(m3_1 # 10_69) | {m3_1 # 10_69} | true |
| u(m3_1 # m10_69) | u(m3_1 # m10_69) | {m3_1 # m10_69} | true |
| u(m3_1 # 10_70) | u(m3_1 # 10_70) | {m3_1 # 10_70} | true |
| u(m3_1 # m10_70) | u(m3_1 # m10_70) | {m3_1 # m10_70} | true |
| u(m3_1 # 10_71) | u(m3_1 # 10_71) | {m3_1 # 10_71} | true |
| u(m3_1 # m10_71) | u(m3_1 # m10_71) | {m3_1 # m10_71} | true |
| u(m3_1 # 10_72) | u(m3_1 # 10_72) | {m3_1 # 10_72} | true |
| u(m3_1 # m10_72) | u(m3_1 # m10_72) | {m3_1 # m10_72} | true |
| u(m3_1 # 10_73) | u(m3_1 # 10_73) | {m3_1 # 10_73} | true |
| u(m3_1 # m10_73) | u(m3_1 # m10_73) | {m3_1 # m10_73} | true |
| u(m3_1 # 10_74) | u(m3_1 # 10_74) | {m3_1 # 10_74} | true |
| u(m3_1 # m10_74) | u(m3_1 # m10_74) | {m3_1 # m10_74} | true |
| u(m3_1 # 10_75) | u(m3_1 # 10_75) | {m3_1 # 10_75} | true |
| u(m3_1 # m10_75) | u(m3_1 # m10_75) | {m3_1 # m10_75} | true |
| u(m3_1 # 10_76) | u(m3_1 # 10_76) | {m3_1 # 10_76} | true |
| u(m3_1 # m10_76) | u(m3_1 # m10_76) | {m3_1 # m10_76} | true |
| u(m3_1 # 10_77) | u(m3_1 # 10_77) | {m3_1 # 10_77} | true |
| u(m3_1 # m10_77) | u(m3_1 # m10_77) | {m3_1 # m10_77} | true |
| u(m3_1 # 10_78) | u(m3_1 # 10_78) | {m3_1 # 10_78} | true |
| u(m3_1 # m10_78) | u(m3_1 # m10_78) | {m3_1 # m10_78} | true |
| u(m3_1 # 10_79) | u(m3_1 # 10_79) | {m3_1 # 10_79, m3_1 # r10_79} | false |
| u(m3_1 # 10_80) | u(m3_1 # 10_80) | {m3_1 # 10_80, m3_1 # r10_80} | false |
| u(m3_1 # m10_80) | u(m3_1 # m10_80) | {m3_1 # m10_80, m3_1 # mr10_80} | false |
| u(m3_1 # 10_81) | u(m3_1 # 10_81) | {m3_1 # 10_81, m3_1 # r10_81} | false |
| u(m3_1 # 10_82) | u(m3_1 # 10_82) | {m3_1 # 10_82, m3_1 # r10_82} | false |
| u(m3_1 # m10_82) | u(m3_1 # m10_82) | {m3_1 # m10_82, m3_1 # mr10_82} | false |
| u(m3_1 # 10_83) | u(m3_1 # 10_83) | {m3_1 # 10_83, m3_1 # r10_83} | false |
| u(m3_1 # m10_83) | u(m3_1 # m10_83) | {m3_1 # m10_83, m3_1 # mr10_83} | false |
| u(m3_1 # 10_84) | u(m3_1 # 10_84) | {m3_1 # 10_84, m3_1 # r10_84} | false |
| u(m3_1 # m10_84) | u(m3_1 # m10_84) | {m3_1 # m10_84, m3_1 # mr10_84} | false |
| u(m3_1 # 10_85) | u(m3_1 # 10_85) | {m3_1 # 10_85, m3_1 # r10_85} | false |
| u(m3_1 # m10_85) | u(m3_1 # m10_85) | {m3_1 # m10_85, m3_1 # mr10_85} | false |
| u(m3_1 # 10_86) | u(m3_1 # 10_86) | {m3_1 # 10_86, m3_1 # r10_86} | false |
| u(m3_1 # m10_86) | u(m3_1 # m10_86) | {m3_1 # m10_86, m3_1 # mr10_86} | false |
| u(m3_1 # 10_87) | u(m3_1 # 10_87) | {m3_1 # 10_87, m3_1 # r10_87} | false |
| u(m3_1 # m10_87) | u(m3_1 # m10_87) | {m3_1 # m10_87, m3_1 # mr10_87} | false |
| u(m3_1 # 10_88) | u(m3_1 # 10_88) | {m3_1 # 10_88, m3_1 # r10_88} | false |
| u(m3_1 # 10_89) | u(m3_1 # 10_89) | {m3_1 # 10_89} | true |
| u(m3_1 # m10_89) | u(m3_1 # m10_89) | {m3_1 # m10_89} | true |
| u(m3_1 # 10_90) | u(m3_1 # 10_90) | {m3_1 # 10_90, m3_1 # r10_90} | false |
| u(m3_1 # m10_90) | u(m3_1 # m10_90) | {m3_1 # m10_90, m3_1 # mr10_90} | false |
| u(m3_1 # 10_91) | u(m3_1 # 10_91) | {m3_1 # 10_91, m3_1 # r10_91} | false |
| u(m3_1 # m10_91) | u(m3_1 # m10_91) | {m3_1 # m10_91, m3_1 # mr10_91} | false |
| u(m3_1 # 10_92) | u(m3_1 # 10_92) | {m3_1 # 10_92, m3_1 # r10_92} | false |
| u(m3_1 # m10_92) | u(m3_1 # m10_92) | {m3_1 # m10_92, m3_1 # mr10_92} | false |
| u(m3_1 # 10_93) | u(m3_1 # 10_93) | {m3_1 # 10_93, m3_1 # r10_93} | false |
| u(m3_1 # m10_93) | u(m3_1 # m10_93) | {m3_1 # m10_93, m3_1 # mr10_93} | false |
| u(m3_1 # 10_94) | u(m3_1 # 10_94) | {m3_1 # 10_94, m3_1 # r10_94} | false |
| u(m3_1 # m10_94) | u(m3_1 # m10_94) | {m3_1 # m10_94, m3_1 # mr10_94} | false |
| u(m3_1 # 10_95) | u(m3_1 # 10_95) | {m3_1 # 10_95, m3_1 # r10_95} | false |
| u(m3_1 # m10_95) | u(m3_1 # m10_95) | {m3_1 # m10_95, m3_1 # mr10_95} | false |
| u(m3_1 # 10_96) | u(m3_1 # 10_96) | {m3_1 # 10_96} | true |
| u(m3_1 # m10_96) | u(m3_1 # m10_96) | {m3_1 # m10_96} | true |
| u(m3_1 # 10_97) | u(m3_1 # 10_97) | {m3_1 # 10_97} | true |
| u(m3_1 # m10_97) | u(m3_1 # m10_97) | {m3_1 # m10_97} | true |
| u(m3_1 # 10_98) | u(m3_1 # 10_98) | {m3_1 # 10_98, m3_1 # r10_98} | false |
| u(m3_1 # m10_98) | u(m3_1 # m10_98) | {m3_1 # m10_98, m3_1 # mr10_98} | false |
| u(m3_1 # 10_99) | u(m3_1 # 10_99) | {m3_1 # 10_99} | true |
| u(m3_1 # 10_100) | u(m3_1 # 10_100) | {m3_1 # 10_100} | true |
| u(m3_1 # m10_100) | u(m3_1 # m10_100) | {m3_1 # m10_100} | true |
| u(m3_1 # 10_101) | u(m3_1 # 10_101) | {m3_1 # 10_101} | true |
| u(m3_1 # m10_101) | u(m3_1 # m10_101) | {m3_1 # m10_101} | true |
| u(m3_1 # 10_102) | u(m3_1 # 10_102) | {m3_1 # 10_102, m3_1 # r10_102} | false |
| u(m3_1 # m10_102) | u(m3_1 # m10_102) | {m3_1 # m10_102, m3_1 # mr10_102} | false |
| u(m3_1 # 10_103) | u(m3_1 # 10_103) | {m3_1 # 10_103} | true |
| u(m3_1 # m10_103) | u(m3_1 # m10_103) | {m3_1 # m10_103} | true |