1 sort bitvec 1
2 sort bitvec 2
3 sort array 2 1
4 input 3 @arr4
5 const 2 00
6 const 1 0
7 write 3 4 5 -6
8 input 2 @inp8
9 write 3 7 8 -6
10 input 1 @inp10
11 concat 2 6 10
12 read 1 9 11
13 write 3 7 -5 -6
14 read 1 13 11
15 eq 1 12 14
16 eq 1 4 7
17 and 1 -15 -16
18 constraint 17