true.

[a_p2,default_a2]
[a_p2,default_a9]
[b_p000,default_a12]
[b_p001,default_a1]
[b_p002,default_a3]
[b_p003,default_a8]
[b_p004,default_a6]
[b_p1,default_a1]
8 tuples.
false.


