1 sort bitvec 3
2 zero 1
3 sort bitvec 1
4 zero 3
5 sort bitvec 2
6 sort array 1 5
7 input 6 @arr7
8 input 5 @inp8
9 write 6 7 2 -8
10 eq 3 9 7
11 sort bitvec 4
12 concat 11 2 10
13 sort bitvec 5
14 concat 13 4 12
15 zero 13
16 mul 13 14 -15
17 slice 3 16 3 3
18 concat 11 2 17
19 input 11 @inp19
20 add 11 18 -19
21 zero 11
22 eq 3 20 21
23 input 5 @inp23
24 eq 3 8 23
25 and 3 22 24
26 constraint 25