1 sort bitvec 1
2 sort bitvec 3
3 sort array 2 1
4 input 3 @arr4
5 const 2 000
6 const 1 0
7 write 3 4 5 -6
8 input 2 @inp8
9 write 3 4 8 -6
10 write 3 9 -5 -6
11 eq 1 7 10
12 constraint 11