1 sort bitvec 2048
2 input 1 @inp2
3 input 1 @inp3
4 mul 1 2 3
5 sort bitvec 1024
6 slice 5 4 1024 1
7 input 5 @inp7
8 input 5 @inp8
9 input 5 @inp9
10 mul 5 7 8
11 mul 5 7 9
12 mul 5 8 9
13 mul 5 10 11
14 mul 5 12 13
15 sort bitvec 1
16 neq 15 6 14