1 sort bitvec 4
2 sort bitvec 2
3 sort array 2 1
4 input 3 @arr4
5 sort bitvec 1
6 zero 5
7 input 5 @inp7
8 concat 2 6 -7
9 zero 1
10 write 3 4 -8 -9
11 eq 5 10 4
12 input 5 @inp12
13 eq 5 -11 -12
14 and 5 7 11
15 and 5 -13 14
16 constraint 15