DBL11(A B),DBL11(A B)
DBL11(B A),DBL11(B A)
DBL11(Y B),DBL11(Y B)
DBL12(A B),DBL12(A B)
DBL12(Y B),DBL12(Y B)
DBL13(A B),DBL13(A B)
DBL13(A C),DBL13(A C)
DBL13(B B),DBL13(B B)
