1 sort bitvec 1
2 input 1 @inp2
3 const 1 0
4 input 1 @inp4
5 input 1 @inp5
6 const 1 1
7 add 1 -5 6
8 add 1 -4 7
9 and 1 -3 -8
10 and 1 2 -9
11 input 1 9
12 and 1 11 -8
13 and 1 -3 -4
14 and 1 3 4
15 and 1 -13 -14
16 and 1 -12 15
17 and 1 10 -16
18 constraint 17