| u(m3_1 # 11n_25) | u(m3_1 # 11n_25) | {m3_1 # 11n_25, m3_1 # r11n_25} | false |
| u(m3_1 # m11n_25) | u(m3_1 # m11n_25) | {m3_1 # m11n_25, m3_1 # mr11n_25} | false |
| u(m3_1 # 11n_26) | u(m3_1 # 11n_26) | {m3_1 # 11n_26, m3_1 # r11n_26} | false |
| u(m3_1 # m11n_26) | u(m3_1 # m11n_26) | {m3_1 # m11n_26, m3_1 # mr11n_26} | false |
| u(m3_1 # 11n_27) | u(m3_1 # 11n_27) | {m3_1 # 11n_27, m3_1 # r11n_27} | false |
| u(m3_1 # m11n_27) | u(m3_1 # m11n_27) | {m3_1 # m11n_27, m3_1 # mr11n_27} | false |
| u(m3_1 # 11n_28) | u(m3_1 # 11n_28) | {m3_1 # 11n_28} | true |
| u(m3_1 # m11n_28) | u(m3_1 # m11n_28) | {m3_1 # m11n_28} | true |
| u(m3_1 # 11n_29) | u(m3_1 # 11n_29) | {m3_1 # 11n_29} | true |
| u(m3_1 # m11n_29) | u(m3_1 # m11n_29) | {m3_1 # m11n_29} | true |
| u(m3_1 # 11n_30) | u(m3_1 # 11n_30) | {m3_1 # 11n_30} | true |
| u(m3_1 # m11n_30) | u(m3_1 # m11n_30) | {m3_1 # m11n_30} | true |
| u(m3_1 # 11n_31) | u(m3_1 # 11n_31) | {m3_1 # 11n_31, m3_1 # r11n_31} | false |
| u(m3_1 # m11n_31) | u(m3_1 # m11n_31) | {m3_1 # m11n_31, m3_1 # mr11n_31} | false |
| u(m3_1 # 11n_32) | u(m3_1 # 11n_32) | {m3_1 # 11n_32, m3_1 # r11n_32} | false |
| u(m3_1 # m11n_32) | u(m3_1 # m11n_32) | {m3_1 # m11n_32, m3_1 # mr11n_32} | false |
| u(m3_1 # 11n_33) | u(m3_1 # 11n_33) | {m3_1 # 11n_33, m3_1 # r11n_33} | false |
| u(m3_1 # m11n_33) | u(m3_1 # m11n_33) | {m3_1 # m11n_33, m3_1 # mr11n_33} | false |
| u(m3_1 # 11n_34) | u(m3_1 # 11n_34) | {m3_1 # 11n_34, m3_1 # r11n_34} | false |
| u(m3_1 # m11n_34) | u(m3_1 # m11n_34) | {m3_1 # m11n_34, m3_1 # mr11n_34} | false |
| u(m3_1 # 11n_35) | u(m3_1 # 11n_35) | {m3_1 # 11n_35, m3_1 # r11n_35} | false |
| u(m3_1 # m11n_35) | u(m3_1 # m11n_35) | {m3_1 # m11n_35, m3_1 # mr11n_35} | false |
| u(m3_1 # 11n_36) | u(m3_1 # 11n_36) | {m3_1 # 11n_36, m3_1 # r11n_36} | false |
| u(m3_1 # m11n_36) | u(m3_1 # m11n_36) | {m3_1 # m11n_36, m3_1 # mr11n_36} | false |
| u(m3_1 # 11n_37) | u(m3_1 # 11n_37) | {m3_1 # 11n_37, m3_1 # r11n_37} | false |
| u(m3_1 # m11n_37) | u(m3_1 # m11n_37) | {m3_1 # m11n_37, m3_1 # mr11n_37} | false |
| u(m3_1 # 11n_38) | u(m3_1 # 11n_38) | {m3_1 # 11n_38} | true |
| u(m3_1 # m11n_38) | u(m3_1 # m11n_38) | {m3_1 # m11n_38} | true |
| u(m3_1 # 11n_39) | u(m3_1 # 11n_39) | {m3_1 # 11n_39, m3_1 # r11n_39} | false |
| u(m3_1 # m11n_39) | u(m3_1 # m11n_39) | {m3_1 # m11n_39, m3_1 # mr11n_39} | false |
| u(m3_1 # 11n_40) | u(m3_1 # 11n_40) | {m3_1 # 11n_40, m3_1 # r11n_40} | false |
| u(m3_1 # m11n_40) | u(m3_1 # m11n_40) | {m3_1 # m11n_40, m3_1 # mr11n_40} | false |
| u(m3_1 # 11n_41) | u(m3_1 # 11n_41) | {m3_1 # 11n_41, m3_1 # r11n_41} | false |
| u(m3_1 # m11n_41) | u(m3_1 # m11n_41) | {m3_1 # m11n_41, m3_1 # mr11n_41} | false |
| u(m3_1 # 11n_42) | u(m3_1 # 11n_42) | {m3_1 # 11n_42, m3_1 # r11n_42} | false |
| u(m3_1 # m11n_42) | u(m3_1 # m11n_42) | {m3_1 # m11n_42, m3_1 # mr11n_42} | false |
| u(m3_1 # 11n_43) | u(m3_1 # 11n_43) | {m3_1 # 11n_43, m3_1 # r11n_43} | false |
| u(m3_1 # m11n_43) | u(m3_1 # m11n_43) | {m3_1 # m11n_43, m3_1 # mr11n_43} | false |
| u(m3_1 # 11n_44) | u(m3_1 # 11n_44) | {m3_1 # 11n_44, m3_1 # r11n_44} | false |
| u(m3_1 # m11n_44) | u(m3_1 # m11n_44) | {m3_1 # m11n_44, m3_1 # mr11n_44} | false |
| u(m3_1 # 11n_45) | u(m3_1 # 11n_45) | {m3_1 # 11n_45} | true |
| u(m3_1 # m11n_45) | u(m3_1 # m11n_45) | {m3_1 # m11n_45} | true |
| u(m3_1 # 11n_46) | u(m3_1 # 11n_46) | {m3_1 # 11n_46, m3_1 # r11n_46} | false |
| u(m3_1 # m11n_46) | u(m3_1 # m11n_46) | {m3_1 # m11n_46, m3_1 # mr11n_46} | false |
| u(m3_1 # 11n_47) | u(m3_1 # 11n_47) | {m3_1 # 11n_47, m3_1 # r11n_47} | false |
| u(m3_1 # m11n_47) | u(m3_1 # m11n_47) | {m3_1 # m11n_47, m3_1 # mr11n_47} | false |
| u(m3_1 # 11n_48) | u(m3_1 # 11n_48) | {m3_1 # 11n_48} | true |
| u(m3_1 # m11n_48) | u(m3_1 # m11n_48) | {m3_1 # m11n_48} | true |
| u(m3_1 # 11n_49) | u(m3_1 # 11n_49) | {m3_1 # 11n_49} | true |
| u(m3_1 # m11n_49) | u(m3_1 # m11n_49) | {m3_1 # m11n_49} | true |
| u(m3_1 # 11n_50) | u(m3_1 # 11n_50) | {m3_1 # 11n_50, m3_1 # r11n_50} | false |
| u(m3_1 # m11n_50) | u(m3_1 # m11n_50) | {m3_1 # m11n_50, m3_1 # mr11n_50} | false |
| u(m3_1 # 11n_51) | u(m3_1 # 11n_51) | {m3_1 # 11n_51} | true |
| u(m3_1 # m11n_51) | u(m3_1 # m11n_51) | {m3_1 # m11n_51} | true |
| u(m3_1 # 11n_52) | u(m3_1 # 11n_52) | {m3_1 # 11n_52} | true |
| u(m3_1 # m11n_52) | u(m3_1 # m11n_52) | {m3_1 # m11n_52} | true |
| u(m3_1 # 11n_53) | u(m3_1 # 11n_53) | {m3_1 # 11n_53} | true |
| u(m3_1 # m11n_53) | u(m3_1 # m11n_53) | {m3_1 # m11n_53} | true |
| u(m3_1 # 11n_54) | u(m3_1 # 11n_54) | {m3_1 # 11n_54} | true |
| u(m3_1 # m11n_54) | u(m3_1 # m11n_54) | {m3_1 # m11n_54} | true |
| u(m3_1 # 11n_55) | u(m3_1 # 11n_55) | {m3_1 # 11n_55} | true |
| u(m3_1 # m11n_55) | u(m3_1 # m11n_55) | {m3_1 # m11n_55} | true |
| u(m3_1 # 11n_56) | u(m3_1 # 11n_56) | {m3_1 # 11n_56} | true |
| u(m3_1 # m11n_56) | u(m3_1 # m11n_56) | {m3_1 # m11n_56} | true |
| u(m3_1 # 11n_57) | u(m3_1 # 11n_57) | {m3_1 # 11n_57} | true |
| u(m3_1 # m11n_57) | u(m3_1 # m11n_57) | {m3_1 # m11n_57} | true |
| u(m3_1 # 11n_58) | u(m3_1 # 11n_58) | {m3_1 # 11n_58} | true |
| u(m3_1 # m11n_58) | u(m3_1 # m11n_58) | {m3_1 # m11n_58} | true |
| u(m3_1 # 11n_59) | u(m3_1 # 11n_59) | {m3_1 # 11n_59} | true |
| u(m3_1 # m11n_59) | u(m3_1 # m11n_59) | {m3_1 # m11n_59} | true |
| u(m3_1 # 11n_60) | u(m3_1 # 11n_60) | {m3_1 # 11n_60} | true |
| u(m3_1 # m11n_60) | u(m3_1 # m11n_60) | {m3_1 # m11n_60} | true |
| u(m3_1 # 11n_61) | u(m3_1 # 11n_61) | {m3_1 # 11n_61} | true |
| u(m3_1 # m11n_61) | u(m3_1 # m11n_61) | {m3_1 # m11n_61} | true |
| u(m3_1 # 11n_62) | u(m3_1 # 11n_62) | {m3_1 # 11n_62} | true |
| u(m3_1 # m11n_62) | u(m3_1 # m11n_62) | {m3_1 # m11n_62} | true |
| u(m3_1 # 11n_63) | u(m3_1 # 11n_63) | {m3_1 # 11n_63} | true |
| u(m3_1 # m11n_63) | u(m3_1 # m11n_63) | {m3_1 # m11n_63} | true |
| u(m3_1 # 11n_64) | u(m3_1 # 11n_64) | {m3_1 # 11n_64} | true |
| u(m3_1 # m11n_64) | u(m3_1 # m11n_64) | {m3_1 # m11n_64} | true |
| u(m3_1 # 11n_65) | u(m3_1 # 11n_65) | {m3_1 # 11n_65} | true |
| u(m3_1 # m11n_65) | u(m3_1 # m11n_65) | {m3_1 # m11n_65} | true |
| u(m3_1 # 11n_66) | u(m3_1 # 11n_66) | {m3_1 # 11n_66} | true |
| u(m3_1 # m11n_66) | u(m3_1 # m11n_66) | {m3_1 # m11n_66} | true |
| u(m3_1 # 11n_67) | u(m3_1 # 11n_67) | {m3_1 # 11n_67, m3_1 # r11n_67} | false |
| u(m3_1 # m11n_67) | u(m3_1 # m11n_67) | {m3_1 # m11n_67, m3_1 # mr11n_67} | false |
| u(m3_1 # 11n_68) | u(m3_1 # 11n_68) | {m3_1 # 11n_68, m3_1 # r11n_68} | false |
| u(m3_1 # m11n_68) | u(m3_1 # m11n_68) | {m3_1 # m11n_68, m3_1 # mr11n_68} | false |
| u(m3_1 # 11n_69) | u(m3_1 # 11n_69) | {m3_1 # 11n_69, m3_1 # r11n_69} | false |
| u(m3_1 # m11n_69) | u(m3_1 # m11n_69) | {m3_1 # m11n_69, m3_1 # mr11n_69} | false |
| u(m3_1 # 11n_70) | u(m3_1 # 11n_70) | {m3_1 # 11n_70} | true |
| u(m3_1 # m11n_70) | u(m3_1 # m11n_70) | {m3_1 # m11n_70} | true |
| u(m3_1 # 11n_71) | u(m3_1 # 11n_71) | {m3_1 # 11n_71} | true |
| u(m3_1 # m11n_71) | u(m3_1 # m11n_71) | {m3_1 # m11n_71} | true |
| u(m3_1 # 11n_72) | u(m3_1 # 11n_72) | {m3_1 # 11n_72} | true |
| u(m3_1 # m11n_72) | u(m3_1 # m11n_72) | {m3_1 # m11n_72} | true |
| u(m3_1 # 11n_73) | u(m3_1 # 11n_73) | {m3_1 # 11n_73} | true |
| u(m3_1 # m11n_73) | u(m3_1 # m11n_73) | {m3_1 # m11n_73} | true |
| u(m3_1 # 11n_74) | u(m3_1 # 11n_74) | {m3_1 # 11n_74} | true |
| u(m3_1 # m11n_74) | u(m3_1 # m11n_74) | {m3_1 # m11n_74} | true |