1 sort bitvec 8
2 input 1 @inp2
3 sort bitvec 1
4 redxor 3 2
5 sort bitvec 4
6 slice 5 2 7 4
7 zero 5
8 eq 3 6 7
9 and 3 4 8
10 constraint 9