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