true.

[a_p1,default_k1]
[a_p2,default_k1]
[a_p2,default_k2]
[a_p2,default_k4]
[a_p2,default_k6]
[b_p000,default_k6]
[b_p001,default_k9]
[b_p002,default_k4]
[b_p003,default_k3]
[b_p004,default_k5]
[default_p2,default_k9]
[default_p9,default_k1]
12 tuples.
false.


