1 sort bitvec 16
2 input 1 @inp2
3 input 1 @inp3
4 sort bitvec 32
5 concat 4 -2 3
6 slice 1 -5 31 16
7 sort bitvec 1
8 eq 7 2 6
9 constraint -8