| u(3_1 # 11a_32) | u(3_1 # 11a_32) | {3_1 # 11a_32} | true |
| u(3_1 # m11a_32) | u(3_1 # m11a_32) | {3_1 # m11a_32} | true |
| u(3_1 # 11a_33) | u(3_1 # 11a_33) | {3_1 # 11a_33} | true |
| u(3_1 # m11a_33) | u(3_1 # m11a_33) | {3_1 # m11a_33} | true |
| u(3_1 # 11a_34) | u(3_1 # 11a_34) | {3_1 # 11a_34} | true |
| u(3_1 # m11a_34) | u(3_1 # m11a_34) | {3_1 # m11a_34} | true |
| u(3_1 # 11a_35) | u(3_1 # 11a_35) | {3_1 # 11a_35} | true |
| u(3_1 # m11a_35) | u(3_1 # m11a_35) | {3_1 # m11a_35} | true |
| u(3_1 # 11a_36) | u(3_1 # 11a_36) | {3_1 # 11a_36} | true |
| u(3_1 # m11a_36) | u(3_1 # m11a_36) | {3_1 # m11a_36} | true |
| u(3_1 # 11a_37) | u(3_1 # 11a_37) | {3_1 # 11a_37} | true |
| u(3_1 # m11a_37) | u(3_1 # m11a_37) | {3_1 # m11a_37} | true |
| u(3_1 # 11a_38) | u(3_1 # 11a_38) | {3_1 # 11a_38, 3_1 # r11a_38} | false |
| u(3_1 # m11a_38) | u(3_1 # m11a_38) | {3_1 # m11a_38, 3_1 # mr11a_38} | false |
| u(3_1 # 11a_39) | u(3_1 # 11a_39) | {3_1 # 11a_39} | true |
| u(3_1 # m11a_39) | u(3_1 # m11a_39) | {3_1 # m11a_39} | true |
| u(3_1 # 11a_40) | u(3_1 # 11a_40) | {3_1 # 11a_40} | true |
| u(3_1 # m11a_40) | u(3_1 # m11a_40) | {3_1 # m11a_40} | true |
| u(3_1 # 11a_41) | u(3_1 # 11a_41) | {3_1 # 11a_41} | true |
| u(3_1 # m11a_41) | u(3_1 # m11a_41) | {3_1 # m11a_41} | true |
| u(3_1 # 11a_42) | u(3_1 # 11a_42) | {3_1 # 11a_42} | true |
| u(3_1 # m11a_42) | u(3_1 # m11a_42) | {3_1 # m11a_42} | true |
| u(3_1 # 11a_43) | u(3_1 # 11a_43) | {3_1 # 11a_43} | true |
| u(3_1 # m11a_43) | u(3_1 # m11a_43) | {3_1 # m11a_43} | true |
| u(3_1 # 11a_44) | u(3_1 # 11a_44) | {3_1 # 11a_44} | true |
| u(3_1 # m11a_44) | u(3_1 # m11a_44) | {3_1 # m11a_44} | true |
| u(3_1 # 11a_45) | u(3_1 # 11a_45) | {3_1 # 11a_45} | true |
| u(3_1 # m11a_45) | u(3_1 # m11a_45) | {3_1 # m11a_45} | true |
| u(3_1 # 11a_46) | u(3_1 # 11a_46) | {3_1 # 11a_46} | true |
| u(3_1 # m11a_46) | u(3_1 # m11a_46) | {3_1 # m11a_46} | true |
| u(3_1 # 11a_47) | u(3_1 # 11a_47) | {3_1 # 11a_47} | true |
| u(3_1 # m11a_47) | u(3_1 # m11a_47) | {3_1 # m11a_47} | true |
| u(3_1 # 11a_48) | u(3_1 # 11a_48) | {3_1 # 11a_48} | true |
| u(3_1 # m11a_48) | u(3_1 # m11a_48) | {3_1 # m11a_48} | true |
| u(3_1 # 11a_49) | u(3_1 # 11a_49) | {3_1 # 11a_49, 3_1 # r11a_49} | false |
| u(3_1 # m11a_49) | u(3_1 # m11a_49) | {3_1 # m11a_49, 3_1 # mr11a_49} | false |
| u(3_1 # 11a_50) | u(3_1 # 11a_50) | {3_1 # 11a_50} | true |
| u(3_1 # m11a_50) | u(3_1 # m11a_50) | {3_1 # m11a_50} | true |
| u(3_1 # 11a_51) | u(3_1 # 11a_51) | {3_1 # 11a_51} | true |
| u(3_1 # m11a_51) | u(3_1 # m11a_51) | {3_1 # m11a_51} | true |
| u(3_1 # 11a_52) | u(3_1 # 11a_52) | {3_1 # 11a_52, 3_1 # r11a_52} | false |
| u(3_1 # m11a_52) | u(3_1 # m11a_52) | {3_1 # m11a_52, 3_1 # mr11a_52} | false |
| u(3_1 # 11a_53) | u(3_1 # 11a_53) | {3_1 # 11a_53, 3_1 # r11a_53} | false |
| u(3_1 # m11a_53) | u(3_1 # m11a_53) | {3_1 # m11a_53, 3_1 # mr11a_53} | false |
| u(3_1 # 11a_54) | u(3_1 # 11a_54) | {3_1 # 11a_54, 3_1 # r11a_54} | false |
| u(3_1 # m11a_54) | u(3_1 # m11a_54) | {3_1 # m11a_54, 3_1 # mr11a_54} | false |
| u(3_1 # 11a_55) | u(3_1 # 11a_55) | {3_1 # 11a_55} | true |
| u(3_1 # m11a_55) | u(3_1 # m11a_55) | {3_1 # m11a_55} | true |
| u(3_1 # 11a_56) | u(3_1 # 11a_56) | {3_1 # 11a_56} | true |
| u(3_1 # m11a_56) | u(3_1 # m11a_56) | {3_1 # m11a_56} | true |
| u(3_1 # 11a_57) | u(3_1 # 11a_57) | {3_1 # 11a_57} | true |
| u(3_1 # m11a_57) | u(3_1 # m11a_57) | {3_1 # m11a_57} | true |
| u(3_1 # 11a_58) | u(3_1 # 11a_58) | {3_1 # 11a_58} | true |
| u(3_1 # m11a_58) | u(3_1 # m11a_58) | {3_1 # m11a_58} | true |
| u(3_1 # 11a_59) | u(3_1 # 11a_59) | {3_1 # 11a_59} | true |
| u(3_1 # m11a_59) | u(3_1 # m11a_59) | {3_1 # m11a_59} | true |
| u(3_1 # 11a_60) | u(3_1 # 11a_60) | {3_1 # 11a_60} | true |
| u(3_1 # m11a_60) | u(3_1 # m11a_60) | {3_1 # m11a_60} | true |
| u(3_1 # 11a_61) | u(3_1 # 11a_61) | {3_1 # 11a_61} | true |
| u(3_1 # m11a_61) | u(3_1 # m11a_61) | {3_1 # m11a_61} | true |
| u(3_1 # 11a_62) | u(3_1 # 11a_62) | {3_1 # 11a_62} | true |
| u(3_1 # m11a_62) | u(3_1 # m11a_62) | {3_1 # m11a_62} | true |
| u(3_1 # 11a_63) | u(3_1 # 11a_63) | {3_1 # 11a_63} | true |
| u(3_1 # m11a_63) | u(3_1 # m11a_63) | {3_1 # m11a_63} | true |
| u(3_1 # 11a_64) | u(3_1 # 11a_64) | {3_1 # 11a_64} | true |
| u(3_1 # m11a_64) | u(3_1 # m11a_64) | {3_1 # m11a_64} | true |
| u(3_1 # 11a_65) | u(3_1 # 11a_65) | {3_1 # 11a_65} | true |
| u(3_1 # m11a_65) | u(3_1 # m11a_65) | {3_1 # m11a_65} | true |
| u(3_1 # 11a_66) | u(3_1 # 11a_66) | {3_1 # 11a_66, 3_1 # r11a_66} | false |
| u(3_1 # m11a_66) | u(3_1 # m11a_66) | {3_1 # m11a_66, 3_1 # mr11a_66} | false |
| u(3_1 # 11a_67) | u(3_1 # 11a_67) | {3_1 # 11a_67, 3_1 # r11a_67} | false |
| u(3_1 # m11a_67) | u(3_1 # m11a_67) | {3_1 # m11a_67, 3_1 # mr11a_67} | false |
| u(3_1 # 11a_68) | u(3_1 # 11a_68) | {3_1 # 11a_68, 3_1 # r11a_68} | false |
| u(3_1 # m11a_68) | u(3_1 # m11a_68) | {3_1 # m11a_68, 3_1 # mr11a_68} | false |
| u(3_1 # 11a_69) | u(3_1 # 11a_69) | {3_1 # 11a_69, 3_1 # r11a_69} | false |
| u(3_1 # m11a_69) | u(3_1 # m11a_69) | {3_1 # m11a_69, 3_1 # mr11a_69} | false |
| u(3_1 # 11a_70) | u(3_1 # 11a_70) | {3_1 # 11a_70, 3_1 # r11a_70} | false |
| u(3_1 # m11a_70) | u(3_1 # m11a_70) | {3_1 # m11a_70, 3_1 # mr11a_70} | false |
| u(3_1 # 11a_71) | u(3_1 # 11a_71) | {3_1 # 11a_71, 3_1 # r11a_71} | false |
| u(3_1 # m11a_71) | u(3_1 # m11a_71) | {3_1 # m11a_71, 3_1 # mr11a_71} | false |
| u(3_1 # 11a_72) | u(3_1 # 11a_72) | {3_1 # 11a_72, 3_1 # r11a_72} | false |
| u(3_1 # m11a_72) | u(3_1 # m11a_72) | {3_1 # m11a_72, 3_1 # mr11a_72} | false |
| u(3_1 # 11a_73) | u(3_1 # 11a_73) | {3_1 # 11a_73} | true |
| u(3_1 # m11a_73) | u(3_1 # m11a_73) | {3_1 # m11a_73} | true |
| u(3_1 # 11a_74) | u(3_1 # 11a_74) | {3_1 # 11a_74} | true |
| u(3_1 # m11a_74) | u(3_1 # m11a_74) | {3_1 # m11a_74} | true |
| u(3_1 # 11a_75) | u(3_1 # 11a_75) | {3_1 # 11a_75} | true |
| u(3_1 # m11a_75) | u(3_1 # m11a_75) | {3_1 # m11a_75} | true |
| u(3_1 # 11a_76) | u(3_1 # 11a_76) | {3_1 # 11a_76, 3_1 # r11a_76} | false |
| u(3_1 # m11a_76) | u(3_1 # m11a_76) | {3_1 # m11a_76, 3_1 # mr11a_76} | false |
| u(3_1 # 11a_77) | u(3_1 # 11a_77) | {3_1 # 11a_77} | true |
| u(3_1 # m11a_77) | u(3_1 # m11a_77) | {3_1 # m11a_77} | true |
| u(3_1 # 11a_78) | u(3_1 # 11a_78) | {3_1 # 11a_78} | true |
| u(3_1 # m11a_78) | u(3_1 # m11a_78) | {3_1 # m11a_78} | true |
| u(3_1 # 11a_79) | u(3_1 # 11a_79) | {3_1 # 11a_79, 3_1 # r11a_79} | false |
| u(3_1 # m11a_79) | u(3_1 # m11a_79) | {3_1 # m11a_79, 3_1 # mr11a_79} | false |
| u(3_1 # 11a_80) | u(3_1 # 11a_80) | {3_1 # 11a_80, 3_1 # r11a_80} | false |
| u(3_1 # m11a_80) | u(3_1 # m11a_80) | {3_1 # m11a_80, 3_1 # mr11a_80} | false |
| u(3_1 # 11a_81) | u(3_1 # 11a_81) | {3_1 # 11a_81, 3_1 # r11a_81} | false |
| u(3_1 # m11a_81) | u(3_1 # m11a_81) | {3_1 # m11a_81, 3_1 # mr11a_81} | false |