1 sort bitvec 8
2 ones 1
3 input 1 @inp3
4 input 1 @inp4
5 input 1 @inp5
6 and 1 3 4
7 and 1 -4 5
8 and 1 6 7
9 sort bitvec 1
10 eq 9 2 8
11 constraint 10