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