1 sort bitvec 4
2 input 1 @inp2
3 sort bitvec 1
4 slice 3 2 3 3
5 slice 3 2 2 2
6 and 3 4 5
7 constraint 6