1 sort bitvec 8
2 sort bitvec 1
3 sort array 2 1
4 input 3 @arr4
5 input 1 @inp5
6 zero 2
7 one 2
8 ones 1
9 one 1
10 write 3 4 6 8
11 write 3 10 7 9
12 eq 2 10 11
13 read 1 11 12
14 eq 2 5 13
15 constraint 14