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