1 sort bitvec 8
2 sort bitvec 1
3 sort array 2 1
4 input 3 @arr4
5 input 2 @inp5
6 input 2 @inp6
7 read 1 4 5
8 read 1 4 6
9 eq 2 -5 -6
10 eq 2 7 8
11 or 2 -9 10
12 constraint -11