| u(3_1 # 11n_15) | u(3_1 # 11n_15) | {3_1 # 11n_15} | true |
| u(3_1 # m11n_15) | u(3_1 # m11n_15) | {3_1 # m11n_15} | true |
| u(3_1 # 11n_16) | u(3_1 # 11n_16) | {3_1 # 11n_16} | true |
| u(3_1 # m11n_16) | u(3_1 # m11n_16) | {3_1 # m11n_16} | true |
| u(3_1 # 11n_17) | u(3_1 # 11n_17) | {3_1 # 11n_17} | true |
| u(3_1 # m11n_17) | u(3_1 # m11n_17) | {3_1 # m11n_17} | true |
| u(3_1 # 11n_18) | u(3_1 # 11n_18) | {3_1 # 11n_18} | true |
| u(3_1 # m11n_18) | u(3_1 # m11n_18) | {3_1 # m11n_18} | true |
| u(3_1 # 11n_19) | u(3_1 # 11n_19) | {3_1 # 11n_19} | true |
| u(3_1 # m11n_19) | u(3_1 # m11n_19) | {3_1 # m11n_19} | true |
| u(3_1 # 11n_20) | u(3_1 # 11n_20) | {3_1 # 11n_20} | true |
| u(3_1 # m11n_20) | u(3_1 # m11n_20) | {3_1 # m11n_20} | true |
| u(3_1 # 11n_21) | u(3_1 # 11n_21) | {3_1 # 11n_21, 3_1 # r11n_21} | false |
| u(3_1 # m11n_21) | u(3_1 # m11n_21) | {3_1 # m11n_21, 3_1 # mr11n_21} | false |
| u(3_1 # 11n_22) | u(3_1 # 11n_22) | {3_1 # 11n_22, 3_1 # r11n_22} | false |
| u(3_1 # m11n_22) | u(3_1 # m11n_22) | {3_1 # m11n_22, 3_1 # mr11n_22} | false |
| u(3_1 # 11n_23) | u(3_1 # 11n_23) | {3_1 # 11n_23, 3_1 # r11n_23} | false |
| u(3_1 # m11n_23) | u(3_1 # m11n_23) | {3_1 # m11n_23, 3_1 # mr11n_23} | false |
| u(3_1 # 11n_24) | u(3_1 # 11n_24) | {3_1 # 11n_24, 3_1 # r11n_24} | false |
| u(3_1 # m11n_24) | u(3_1 # m11n_24) | {3_1 # m11n_24, 3_1 # mr11n_24} | false |
| u(3_1 # 11n_25) | u(3_1 # 11n_25) | {3_1 # 11n_25, 3_1 # r11n_25} | false |
| u(3_1 # m11n_25) | u(3_1 # m11n_25) | {3_1 # m11n_25, 3_1 # mr11n_25} | false |
| u(3_1 # 11n_26) | u(3_1 # 11n_26) | {3_1 # 11n_26, 3_1 # r11n_26} | false |
| u(3_1 # m11n_26) | u(3_1 # m11n_26) | {3_1 # m11n_26, 3_1 # mr11n_26} | false |
| u(3_1 # 11n_27) | u(3_1 # 11n_27) | {3_1 # 11n_27, 3_1 # r11n_27} | false |
| u(3_1 # m11n_27) | u(3_1 # m11n_27) | {3_1 # m11n_27, 3_1 # mr11n_27} | false |
| u(3_1 # 11n_28) | u(3_1 # 11n_28) | {3_1 # 11n_28} | true |
| u(3_1 # m11n_28) | u(3_1 # m11n_28) | {3_1 # m11n_28} | true |
| u(3_1 # 11n_29) | u(3_1 # 11n_29) | {3_1 # 11n_29} | true |
| u(3_1 # m11n_29) | u(3_1 # m11n_29) | {3_1 # m11n_29} | true |
| u(3_1 # 11n_30) | u(3_1 # 11n_30) | {3_1 # 11n_30} | true |
| u(3_1 # m11n_30) | u(3_1 # m11n_30) | {3_1 # m11n_30} | true |
| u(3_1 # 11n_31) | u(3_1 # 11n_31) | {3_1 # 11n_31, 3_1 # r11n_31} | false |
| u(3_1 # m11n_31) | u(3_1 # m11n_31) | {3_1 # m11n_31, 3_1 # mr11n_31} | false |
| u(3_1 # 11n_32) | u(3_1 # 11n_32) | {3_1 # 11n_32, 3_1 # r11n_32} | false |
| u(3_1 # m11n_32) | u(3_1 # m11n_32) | {3_1 # m11n_32, 3_1 # mr11n_32} | false |
| u(3_1 # 11n_33) | u(3_1 # 11n_33) | {3_1 # 11n_33, 3_1 # r11n_33} | false |
| u(3_1 # m11n_33) | u(3_1 # m11n_33) | {3_1 # m11n_33, 3_1 # mr11n_33} | false |
| u(3_1 # 11n_34) | u(3_1 # 11n_34) | {3_1 # 11n_34, 3_1 # r11n_34} | false |
| u(3_1 # m11n_34) | u(3_1 # m11n_34) | {3_1 # m11n_34, 3_1 # mr11n_34} | false |
| u(3_1 # 11n_35) | u(3_1 # 11n_35) | {3_1 # 11n_35, 3_1 # r11n_35} | false |
| u(3_1 # m11n_35) | u(3_1 # m11n_35) | {3_1 # m11n_35, 3_1 # mr11n_35} | false |
| u(3_1 # 11n_36) | u(3_1 # 11n_36) | {3_1 # 11n_36, 3_1 # r11n_36} | false |
| u(3_1 # m11n_36) | u(3_1 # m11n_36) | {3_1 # m11n_36, 3_1 # mr11n_36} | false |
| u(3_1 # 11n_37) | u(3_1 # 11n_37) | {3_1 # 11n_37, 3_1 # r11n_37} | false |
| u(3_1 # m11n_37) | u(3_1 # m11n_37) | {3_1 # m11n_37, 3_1 # mr11n_37} | false |
| u(3_1 # 11n_38) | u(3_1 # 11n_38) | {3_1 # 11n_38} | true |
| u(3_1 # m11n_38) | u(3_1 # m11n_38) | {3_1 # m11n_38} | true |
| u(3_1 # 11n_39) | u(3_1 # 11n_39) | {3_1 # 11n_39, 3_1 # r11n_39} | false |
| u(3_1 # m11n_39) | u(3_1 # m11n_39) | {3_1 # m11n_39, 3_1 # mr11n_39} | false |
| u(3_1 # 11n_40) | u(3_1 # 11n_40) | {3_1 # 11n_40, 3_1 # r11n_40} | false |
| u(3_1 # m11n_40) | u(3_1 # m11n_40) | {3_1 # m11n_40, 3_1 # mr11n_40} | false |
| u(3_1 # 11n_41) | u(3_1 # 11n_41) | {3_1 # 11n_41, 3_1 # r11n_41} | false |
| u(3_1 # m11n_41) | u(3_1 # m11n_41) | {3_1 # m11n_41, 3_1 # mr11n_41} | false |
| u(3_1 # 11n_42) | u(3_1 # 11n_42) | {3_1 # 11n_42, 3_1 # r11n_42} | false |
| u(3_1 # m11n_42) | u(3_1 # m11n_42) | {3_1 # m11n_42, 3_1 # mr11n_42} | false |
| u(3_1 # 11n_43) | u(3_1 # 11n_43) | {3_1 # 11n_43, 3_1 # r11n_43} | false |
| u(3_1 # m11n_43) | u(3_1 # m11n_43) | {3_1 # m11n_43, 3_1 # mr11n_43} | false |
| u(3_1 # 11n_44) | u(3_1 # 11n_44) | {3_1 # 11n_44, 3_1 # r11n_44} | false |
| u(3_1 # m11n_44) | u(3_1 # m11n_44) | {3_1 # m11n_44, 3_1 # mr11n_44} | false |
| u(3_1 # 11n_45) | u(3_1 # 11n_45) | {3_1 # 11n_45} | true |
| u(3_1 # m11n_45) | u(3_1 # m11n_45) | {3_1 # m11n_45} | true |
| u(3_1 # 11n_46) | u(3_1 # 11n_46) | {3_1 # 11n_46, 3_1 # r11n_46} | false |
| u(3_1 # m11n_46) | u(3_1 # m11n_46) | {3_1 # m11n_46, 3_1 # mr11n_46} | false |
| u(3_1 # 11n_47) | u(3_1 # 11n_47) | {3_1 # 11n_47, 3_1 # r11n_47} | false |
| u(3_1 # m11n_47) | u(3_1 # m11n_47) | {3_1 # m11n_47, 3_1 # mr11n_47} | false |
| u(3_1 # 11n_48) | u(3_1 # 11n_48) | {3_1 # 11n_48} | true |
| u(3_1 # m11n_48) | u(3_1 # m11n_48) | {3_1 # m11n_48} | true |
| u(3_1 # 11n_49) | u(3_1 # 11n_49) | {3_1 # 11n_49} | true |
| u(3_1 # m11n_49) | u(3_1 # m11n_49) | {3_1 # m11n_49} | true |
| u(3_1 # 11n_50) | u(3_1 # 11n_50) | {3_1 # 11n_50, 3_1 # r11n_50} | false |
| u(3_1 # m11n_50) | u(3_1 # m11n_50) | {3_1 # m11n_50, 3_1 # mr11n_50} | false |
| u(3_1 # 11n_51) | u(3_1 # 11n_51) | {3_1 # 11n_51} | true |
| u(3_1 # m11n_51) | u(3_1 # m11n_51) | {3_1 # m11n_51} | true |
| u(3_1 # 11n_52) | u(3_1 # 11n_52) | {3_1 # 11n_52} | true |
| u(3_1 # m11n_52) | u(3_1 # m11n_52) | {3_1 # m11n_52} | true |
| u(3_1 # 11n_53) | u(3_1 # 11n_53) | {3_1 # 11n_53} | true |
| u(3_1 # m11n_53) | u(3_1 # m11n_53) | {3_1 # m11n_53} | true |
| u(3_1 # 11n_54) | u(3_1 # 11n_54) | {3_1 # 11n_54} | true |
| u(3_1 # m11n_54) | u(3_1 # m11n_54) | {3_1 # m11n_54} | true |
| u(3_1 # 11n_55) | u(3_1 # 11n_55) | {3_1 # 11n_55} | true |
| u(3_1 # m11n_55) | u(3_1 # m11n_55) | {3_1 # m11n_55} | true |
| u(3_1 # 11n_56) | u(3_1 # 11n_56) | {3_1 # 11n_56} | true |
| u(3_1 # m11n_56) | u(3_1 # m11n_56) | {3_1 # m11n_56} | true |
| u(3_1 # 11n_57) | u(3_1 # 11n_57) | {3_1 # 11n_57} | true |
| u(3_1 # m11n_57) | u(3_1 # m11n_57) | {3_1 # m11n_57} | true |
| u(3_1 # 11n_58) | u(3_1 # 11n_58) | {3_1 # 11n_58} | true |
| u(3_1 # m11n_58) | u(3_1 # m11n_58) | {3_1 # m11n_58} | true |
| u(3_1 # 11n_59) | u(3_1 # 11n_59) | {3_1 # 11n_59} | true |
| u(3_1 # m11n_59) | u(3_1 # m11n_59) | {3_1 # m11n_59} | true |
| u(3_1 # 11n_60) | u(3_1 # 11n_60) | {3_1 # 11n_60} | true |
| u(3_1 # m11n_60) | u(3_1 # m11n_60) | {3_1 # m11n_60} | true |
| u(3_1 # 11n_61) | u(3_1 # 11n_61) | {3_1 # 11n_61} | true |
| u(3_1 # m11n_61) | u(3_1 # m11n_61) | {3_1 # m11n_61} | true |
| u(3_1 # 11n_62) | u(3_1 # 11n_62) | {3_1 # 11n_62} | true |
| u(3_1 # m11n_62) | u(3_1 # m11n_62) | {3_1 # m11n_62} | true |
| u(3_1 # 11n_63) | u(3_1 # 11n_63) | {3_1 # 11n_63} | true |
| u(3_1 # m11n_63) | u(3_1 # m11n_63) | {3_1 # m11n_63} | true |
| u(3_1 # 11n_64) | u(3_1 # 11n_64) | {3_1 # 11n_64} | true |
| u(3_1 # m11n_64) | u(3_1 # m11n_64) | {3_1 # m11n_64} | true |