1 sort bitvec 1
2 sort array 1 1
3 input 2 @arr3
4 input 1 @inp4
5 zero 1
6 one 1
7 write 2 3 5 6
8 write 2 7 6 6
9 eq 1 7 8
10 read 1 8 9
11 input 1 @inp11
12 eq 1 11 10
13 constraint 12