1 sort bitvec 3
2 input 1 @inp2
3 sort bitvec 1
4 redor 3 2
5 constraint 4