true.

[default_p19,default_a11]
[default_p19,default_a4]
[default_p20,default_a12]
[default_p20,default_a5]
[default_p20,default_a9]
5 tuples.
false.


