1 sort bitvec 1
2 sort array 1 1
3 input 2 @arr3
4 zero 1
5 write 2 3 4 4
6 input 1 @inp6
7 read 1 5 6
8 constraint 7