1 sort bitvec 8
2 sort array 1 1
3 input 2 @arr3
4 input 2 @arr4
5 input 2 @arr5
6 input 2 @arr6
7 sort bitvec 1
8 input 7 @inp8
9 input 7 @inp9
10 input 1 @inp10
11 ite 2 -8 3 4
12 ite 2 -9 5 6
13 read 1 3 10
14 read 1 11 10
15 read 1 5 10
16 read 1 12 10
17 neq 7 13 14
18 neq 7 15 16
19 and 7 -8 17
20 and 7 -9 18
21 or 7 19 20
22 constraint 21