1 sort bitvec 1024
2 input 1 @inp2
3 input 1 @inp3
4 input 1 @inp4
5 input 1 @inp5
6 input 1 @inp6
7 input 1 @inp7
8 udiv 1 2 3
9 udiv 1 2 4
10 udiv 1 3 4
11 mul 1 5 6
12 mul 1 5 4
13 mul 1 3 6
14 mul 1 8 9
15 mul 1 10 11
16 mul 1 12 13
17 mul 1 14 15
18 mul 1 16 17
19 input 1 @inp19
20 add 1 7 19
21 sort bitvec 1
22 neq 21 18 20
23 constraint 22