1 sort bitvec 1
2 sort array 1 1
3 input 2 @arr3
4 input 2 @arr4
5 sort bitvec 2
6 zero 5
7 input 1 @inp7
8 read 1 3 7
9 read 1 3 -7
10 read 1 4 7
11 read 1 4 -7
12 concat 5 8 9
13 concat 5 10 11
14 xor 5 12 13
15 eq 1 14 6
16 neq 1 3 4
17 and 1 15 16
18 constraint 17