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