1 sort bitvec 4
2 input 1 @inp2
3 sort bitvec 1
4 slice 3 2 3 3
5 input 3 @inp5
6 and 3 4 5
7 input 3 @inp7
8 and 3 6 7
9 and 3 4 8
10 constraint 9