| u(m3_1 # 11a_42) | u(m3_1 # 11a_42) | {m3_1 # 11a_42} | true |
| u(m3_1 # m11a_42) | u(m3_1 # m11a_42) | {m3_1 # m11a_42} | true |
| u(m3_1 # 11a_43) | u(m3_1 # 11a_43) | {m3_1 # 11a_43} | true |
| u(m3_1 # m11a_43) | u(m3_1 # m11a_43) | {m3_1 # m11a_43} | true |
| u(m3_1 # 11a_44) | u(m3_1 # 11a_44) | {m3_1 # 11a_44} | true |
| u(m3_1 # m11a_44) | u(m3_1 # m11a_44) | {m3_1 # m11a_44} | true |
| u(m3_1 # 11a_45) | u(m3_1 # 11a_45) | {m3_1 # 11a_45} | true |
| u(m3_1 # m11a_45) | u(m3_1 # m11a_45) | {m3_1 # m11a_45} | true |
| u(m3_1 # 11a_46) | u(m3_1 # 11a_46) | {m3_1 # 11a_46} | true |
| u(m3_1 # m11a_46) | u(m3_1 # m11a_46) | {m3_1 # m11a_46} | true |
| u(m3_1 # 11a_47) | u(m3_1 # 11a_47) | {m3_1 # 11a_47} | true |
| u(m3_1 # m11a_47) | u(m3_1 # m11a_47) | {m3_1 # m11a_47} | true |
| u(m3_1 # 11a_48) | u(m3_1 # 11a_48) | {m3_1 # 11a_48} | true |
| u(m3_1 # m11a_48) | u(m3_1 # m11a_48) | {m3_1 # m11a_48} | true |
| u(m3_1 # 11a_49) | u(m3_1 # 11a_49) | {m3_1 # 11a_49, m3_1 # r11a_49} | false |
| u(m3_1 # m11a_49) | u(m3_1 # m11a_49) | {m3_1 # m11a_49, m3_1 # mr11a_49} | false |
| u(m3_1 # 11a_50) | u(m3_1 # 11a_50) | {m3_1 # 11a_50} | true |
| u(m3_1 # m11a_50) | u(m3_1 # m11a_50) | {m3_1 # m11a_50} | true |
| u(m3_1 # 11a_51) | u(m3_1 # 11a_51) | {m3_1 # 11a_51} | true |
| u(m3_1 # m11a_51) | u(m3_1 # m11a_51) | {m3_1 # m11a_51} | true |
| u(m3_1 # 11a_52) | u(m3_1 # 11a_52) | {m3_1 # 11a_52, m3_1 # r11a_52} | false |
| u(m3_1 # m11a_52) | u(m3_1 # m11a_52) | {m3_1 # m11a_52, m3_1 # mr11a_52} | false |
| u(m3_1 # 11a_53) | u(m3_1 # 11a_53) | {m3_1 # 11a_53, m3_1 # r11a_53} | false |
| u(m3_1 # m11a_53) | u(m3_1 # m11a_53) | {m3_1 # m11a_53, m3_1 # mr11a_53} | false |
| u(m3_1 # 11a_54) | u(m3_1 # 11a_54) | {m3_1 # 11a_54, m3_1 # r11a_54} | false |
| u(m3_1 # m11a_54) | u(m3_1 # m11a_54) | {m3_1 # m11a_54, m3_1 # mr11a_54} | false |
| u(m3_1 # 11a_55) | u(m3_1 # 11a_55) | {m3_1 # 11a_55} | true |
| u(m3_1 # m11a_55) | u(m3_1 # m11a_55) | {m3_1 # m11a_55} | true |
| u(m3_1 # 11a_56) | u(m3_1 # 11a_56) | {m3_1 # 11a_56} | true |
| u(m3_1 # m11a_56) | u(m3_1 # m11a_56) | {m3_1 # m11a_56} | true |
| u(m3_1 # 11a_57) | u(m3_1 # 11a_57) | {m3_1 # 11a_57} | true |
| u(m3_1 # m11a_57) | u(m3_1 # m11a_57) | {m3_1 # m11a_57} | true |
| u(m3_1 # 11a_58) | u(m3_1 # 11a_58) | {m3_1 # 11a_58} | true |
| u(m3_1 # m11a_58) | u(m3_1 # m11a_58) | {m3_1 # m11a_58} | true |
| u(m3_1 # 11a_59) | u(m3_1 # 11a_59) | {m3_1 # 11a_59} | true |
| u(m3_1 # m11a_59) | u(m3_1 # m11a_59) | {m3_1 # m11a_59} | true |
| u(m3_1 # 11a_60) | u(m3_1 # 11a_60) | {m3_1 # 11a_60} | true |
| u(m3_1 # m11a_60) | u(m3_1 # m11a_60) | {m3_1 # m11a_60} | true |
| u(m3_1 # 11a_61) | u(m3_1 # 11a_61) | {m3_1 # 11a_61} | true |
| u(m3_1 # m11a_61) | u(m3_1 # m11a_61) | {m3_1 # m11a_61} | true |
| u(m3_1 # 11a_62) | u(m3_1 # 11a_62) | {m3_1 # 11a_62} | true |
| u(m3_1 # m11a_62) | u(m3_1 # m11a_62) | {m3_1 # m11a_62} | true |
| u(m3_1 # 11a_63) | u(m3_1 # 11a_63) | {m3_1 # 11a_63} | true |
| u(m3_1 # m11a_63) | u(m3_1 # m11a_63) | {m3_1 # m11a_63} | true |
| u(m3_1 # 11a_64) | u(m3_1 # 11a_64) | {m3_1 # 11a_64} | true |
| u(m3_1 # m11a_64) | u(m3_1 # m11a_64) | {m3_1 # m11a_64} | true |
| u(m3_1 # 11a_65) | u(m3_1 # 11a_65) | {m3_1 # 11a_65} | true |
| u(m3_1 # m11a_65) | u(m3_1 # m11a_65) | {m3_1 # m11a_65} | true |
| u(m3_1 # 11a_66) | u(m3_1 # 11a_66) | {m3_1 # 11a_66, m3_1 # r11a_66} | false |
| u(m3_1 # m11a_66) | u(m3_1 # m11a_66) | {m3_1 # m11a_66, m3_1 # mr11a_66} | false |
| u(m3_1 # 11a_67) | u(m3_1 # 11a_67) | {m3_1 # 11a_67, m3_1 # r11a_67} | false |
| u(m3_1 # m11a_67) | u(m3_1 # m11a_67) | {m3_1 # m11a_67, m3_1 # mr11a_67} | false |
| u(m3_1 # 11a_68) | u(m3_1 # 11a_68) | {m3_1 # 11a_68, m3_1 # r11a_68} | false |
| u(m3_1 # m11a_68) | u(m3_1 # m11a_68) | {m3_1 # m11a_68, m3_1 # mr11a_68} | false |
| u(m3_1 # 11a_69) | u(m3_1 # 11a_69) | {m3_1 # 11a_69, m3_1 # r11a_69} | false |
| u(m3_1 # m11a_69) | u(m3_1 # m11a_69) | {m3_1 # m11a_69, m3_1 # mr11a_69} | false |
| u(m3_1 # 11a_70) | u(m3_1 # 11a_70) | {m3_1 # 11a_70, m3_1 # r11a_70} | false |
| u(m3_1 # m11a_70) | u(m3_1 # m11a_70) | {m3_1 # m11a_70, m3_1 # mr11a_70} | false |
| u(m3_1 # 11a_71) | u(m3_1 # 11a_71) | {m3_1 # 11a_71, m3_1 # r11a_71} | false |
| u(m3_1 # m11a_71) | u(m3_1 # m11a_71) | {m3_1 # m11a_71, m3_1 # mr11a_71} | false |
| u(m3_1 # 11a_72) | u(m3_1 # 11a_72) | {m3_1 # 11a_72, m3_1 # r11a_72} | false |
| u(m3_1 # m11a_72) | u(m3_1 # m11a_72) | {m3_1 # m11a_72, m3_1 # mr11a_72} | false |
| u(m3_1 # 11a_73) | u(m3_1 # 11a_73) | {m3_1 # 11a_73} | true |
| u(m3_1 # m11a_73) | u(m3_1 # m11a_73) | {m3_1 # m11a_73} | true |
| u(m3_1 # 11a_74) | u(m3_1 # 11a_74) | {m3_1 # 11a_74} | true |
| u(m3_1 # m11a_74) | u(m3_1 # m11a_74) | {m3_1 # m11a_74} | true |
| u(m3_1 # 11a_75) | u(m3_1 # 11a_75) | {m3_1 # 11a_75} | true |
| u(m3_1 # m11a_75) | u(m3_1 # m11a_75) | {m3_1 # m11a_75} | true |
| u(m3_1 # 11a_76) | u(m3_1 # 11a_76) | {m3_1 # 11a_76, m3_1 # r11a_76} | false |
| u(m3_1 # m11a_76) | u(m3_1 # m11a_76) | {m3_1 # m11a_76, m3_1 # mr11a_76} | false |
| u(m3_1 # 11a_77) | u(m3_1 # 11a_77) | {m3_1 # 11a_77} | true |
| u(m3_1 # m11a_77) | u(m3_1 # m11a_77) | {m3_1 # m11a_77} | true |
| u(m3_1 # 11a_78) | u(m3_1 # 11a_78) | {m3_1 # 11a_78} | true |
| u(m3_1 # m11a_78) | u(m3_1 # m11a_78) | {m3_1 # m11a_78} | true |
| u(m3_1 # 11a_79) | u(m3_1 # 11a_79) | {m3_1 # 11a_79, m3_1 # r11a_79} | false |
| u(m3_1 # m11a_79) | u(m3_1 # m11a_79) | {m3_1 # m11a_79, m3_1 # mr11a_79} | false |
| u(m3_1 # 11a_80) | u(m3_1 # 11a_80) | {m3_1 # 11a_80, m3_1 # r11a_80} | false |
| u(m3_1 # m11a_80) | u(m3_1 # m11a_80) | {m3_1 # m11a_80, m3_1 # mr11a_80} | false |
| u(m3_1 # 11a_81) | u(m3_1 # 11a_81) | {m3_1 # 11a_81, m3_1 # r11a_81} | false |
| u(m3_1 # m11a_81) | u(m3_1 # m11a_81) | {m3_1 # m11a_81, m3_1 # mr11a_81} | false |
| u(m3_1 # 11a_82) | u(m3_1 # 11a_82) | {m3_1 # 11a_82} | true |
| u(m3_1 # m11a_82) | u(m3_1 # m11a_82) | {m3_1 # m11a_82} | true |
| u(m3_1 # 11a_83) | u(m3_1 # 11a_83) | {m3_1 # 11a_83} | true |
| u(m3_1 # m11a_83) | u(m3_1 # m11a_83) | {m3_1 # m11a_83} | true |
| u(m3_1 # 11a_84) | u(m3_1 # 11a_84) | {m3_1 # 11a_84} | true |
| u(m3_1 # m11a_84) | u(m3_1 # m11a_84) | {m3_1 # m11a_84} | true |
| u(m3_1 # 11a_85) | u(m3_1 # 11a_85) | {m3_1 # 11a_85} | true |
| u(m3_1 # m11a_85) | u(m3_1 # m11a_85) | {m3_1 # m11a_85} | true |
| u(m3_1 # 11a_86) | u(m3_1 # 11a_86) | {m3_1 # 11a_86} | true |
| u(m3_1 # m11a_86) | u(m3_1 # m11a_86) | {m3_1 # m11a_86} | true |
| u(m3_1 # 11a_87) | u(m3_1 # 11a_87) | {m3_1 # 11a_87} | true |
| u(m3_1 # m11a_87) | u(m3_1 # m11a_87) | {m3_1 # m11a_87} | true |
| u(m3_1 # 11a_88) | u(m3_1 # 11a_88) | {m3_1 # 11a_88} | true |
| u(m3_1 # m11a_88) | u(m3_1 # m11a_88) | {m3_1 # m11a_88} | true |
| u(m3_1 # 11a_89) | u(m3_1 # 11a_89) | {m3_1 # 11a_89} | true |
| u(m3_1 # m11a_89) | u(m3_1 # m11a_89) | {m3_1 # m11a_89} | true |
| u(m3_1 # 11a_90) | u(m3_1 # 11a_90) | {m3_1 # 11a_90} | true |
| u(m3_1 # m11a_90) | u(m3_1 # m11a_90) | {m3_1 # m11a_90} | true |
| u(m3_1 # 11a_91) | u(m3_1 # 11a_91) | {m3_1 # 11a_91} | true |
| u(m3_1 # m11a_91) | u(m3_1 # m11a_91) | {m3_1 # m11a_91} | true |