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