1 sort bitvec 4
2 sort array 1 1
3 input 2 @arr3
4 input 1 @inp4
5 input 1 @inp5
6 input 1 @inp6
7 input 1 @inp7
8 input 1 @inp8
9 input 1 @inp9
10 input 1 @inp10
11 input 1 @inp11
12 write 2 3 4 5
13 write 2 12 6 7
14 write 2 13 8 9
15 read 1 14 10
16 read 1 14 11
17 sort bitvec 1
18 eq 17 10 11
19 eq 17 15 16
20 and 17 18 -19
21 constraint 20