1 sort bitvec 1
2 sort array 1 1
3 input 2 @arr3
4 input 2 @arr4
5 input 2 @arr5
6 input 2 @arr6
7 eq 1 3 4
8 eq 1 4 5
9 eq 1 5 6
10 eq 1 3 6
11 and 1 7 8
12 and 1 9 -10
13 and 1 11 12
14 constraint 13