1 sort bitvec 1
2 sort array 1 1
3 input 2 @arr3
4 const 1 0
5 write 2 3 4 4
6 eq 1 3 5
7 write 2 3 6 4
8 read 1 7 4
9 constraint 8