1 sort bitvec 8
2 input 1 @inp2
3 constd 1 7
4 add 1 2 3
5 add 1 3 4
6 constd 1 5
7 mul 1 5 6
8 mul 1 3 6
9 mul 1 6 2
10 mul 1 3 6
11 add 1 8 9
12 add 1 11 10
13 sort bitvec 1
14 eq 13 7 12
15 constraint -14