The SetStack Computer
Problem Number:
12 096
Type of Problem:
Problem Category:
Input:
Random Input
Critical Input
Critical Input:
1
1999
PUSH
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
DUP
ADD
Random Input:
1000
14
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
ADD
PUSH
ADD
DUP
INTERSECT
PUSH
INTERSECT
DUP
10
PUSH
PUSH
DUP
UNION
PUSH
DUP
ADD
UNION
PUSH
UNION
5
PUSH
PUSH
UNION
PUSH
UNION
11
PUSH
DUP
UNION
PUSH
DUP
ADD
ADD
DUP
PUSH
INTERSECT
INTERSECT
19
PUSH
PUSH
UNION
DUP
PUSH
UNION
INTERSECT
DUP
DUP
UNION
PUSH
DUP
INTERSECT
ADD
PUSH
PUSH
UNION
PUSH
INTERSECT
4
PUSH
PUSH
INTERSECT
PUSH
7
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
DUP
UNION
5
PUSH
DUP
INTERSECT
PUSH
INTERSECT
10
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
DUP
INTERSECT
PUSH
UNION
6
PUSH
PUSH
INTERSECT
PUSH
DUP
ADD
8
PUSH
DUP
INTERSECT
DUP
DUP
UNION
PUSH
PUSH
15
PUSH
PUSH
ADD
PUSH
ADD
PUSH
PUSH
UNION
UNION
DUP
PUSH
DUP
UNION
INTERSECT
PUSH
20
PUSH
PUSH
ADD
PUSH
DUP
ADD
INTERSECT
DUP
UNION
PUSH
ADD
PUSH
DUP
DUP
DUP
INTERSECT
DUP
INTERSECT
INTERSECT
PUSH
15
PUSH
DUP
DUP
ADD
PUSH
ADD
DUP
INTERSECT
ADD
DUP
DUP
INTERSECT
INTERSECT
PUSH
DUP
8
PUSH
PUSH
INTERSECT
DUP
INTERSECT
PUSH
INTERSECT
PUSH
8
PUSH
DUP
UNION
PUSH
PUSH
DUP
INTERSECT
DUP
15
PUSH
PUSH
ADD
PUSH
UNION
DUP
INTERSECT
DUP
DUP
ADD
INTERSECT
PUSH
ADD
PUSH
PUSH
5
PUSH
PUSH
DUP
INTERSECT
UNION
5
PUSH
DUP
UNION
DUP
DUP
14
PUSH
PUSH
PUSH
ADD
ADD
PUSH
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
18
PUSH
DUP
UNION
PUSH
DUP
DUP
DUP
UNION
UNION
DUP
UNION
PUSH
ADD
INTERSECT
ADD
DUP
DUP
INTERSECT
10
PUSH
DUP
UNION
DUP
UNION
PUSH
DUP
INTERSECT
PUSH
PUSH
9
PUSH
PUSH
UNION
DUP
DUP
INTERSECT
UNION
DUP
ADD
12
PUSH
DUP
PUSH
ADD
UNION
PUSH
DUP
UNION
INTERSECT
DUP
PUSH
UNION
4
PUSH
DUP
ADD
DUP
4
PUSH
DUP
DUP
PUSH
7
PUSH
PUSH
PUSH
DUP
INTERSECT
UNION
PUSH
17
PUSH
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
UNION
PUSH
PUSH
INTERSECT
UNION
DUP
ADD
DUP
INTERSECT
PUSH
DUP
6
PUSH
DUP
UNION
DUP
DUP
DUP
9
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
ADD
19
PUSH
DUP
UNION
DUP
UNION
PUSH
INTERSECT
DUP
UNION
PUSH
DUP
UNION
DUP
DUP
ADD
UNION
PUSH
DUP
DUP
18
PUSH
DUP
UNION
DUP
ADD
PUSH
INTERSECT
DUP
DUP
DUP
INTERSECT
DUP
DUP
UNION
PUSH
ADD
PUSH
INTERSECT
17
PUSH
DUP
PUSH
ADD
INTERSECT
DUP
ADD
DUP
UNION
DUP
UNION
DUP
DUP
INTERSECT
DUP
ADD
UNION
4
PUSH
PUSH
DUP
INTERSECT
17
PUSH
PUSH
DUP
ADD
ADD
PUSH
ADD
PUSH
UNION
PUSH
INTERSECT
PUSH
PUSH
INTERSECT
UNION
DUP
UNION
10
PUSH
DUP
DUP
PUSH
ADD
ADD
PUSH
PUSH
PUSH
DUP
14
PUSH
DUP
INTERSECT
PUSH
DUP
PUSH
INTERSECT
ADD
ADD
DUP
INTERSECT
PUSH
UNION
DUP
19
PUSH
PUSH
PUSH
PUSH
PUSH
ADD
DUP
PUSH
UNION
ADD
DUP
UNION
PUSH
PUSH
ADD
UNION
ADD
DUP
INTERSECT
16
PUSH
DUP
UNION
DUP
PUSH
INTERSECT
DUP
PUSH
ADD
INTERSECT
PUSH
DUP
ADD
DUP
ADD
DUP
3
PUSH
PUSH
ADD
6
PUSH
DUP
INTERSECT
PUSH
DUP
UNION
2
PUSH
PUSH
18
PUSH
DUP
DUP
DUP
UNION
ADD
UNION
DUP
PUSH
ADD
INTERSECT
PUSH
PUSH
DUP
ADD
INTERSECT
INTERSECT
PUSH
1
PUSH
17
PUSH
PUSH
ADD
DUP
ADD
DUP
UNION
DUP
ADD
DUP
PUSH
ADD
DUP
DUP
DUP
ADD
DUP
18
PUSH
DUP
UNION
DUP
DUP
UNION
PUSH
ADD
INTERSECT
DUP
UNION
DUP
ADD
PUSH
UNION
PUSH
DUP
DUP
12
PUSH
PUSH
INTERSECT
PUSH
PUSH
ADD
ADD
DUP
INTERSECT
DUP
ADD
DUP
4
PUSH
PUSH
PUSH
DUP
1
PUSH
10
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
ADD
DUP
INTERSECT
DUP
2
PUSH
DUP
20
PUSH
PUSH
DUP
PUSH
UNION
UNION
DUP
DUP
UNION
ADD
UNION
DUP
DUP
DUP
INTERSECT
UNION
UNION
PUSH
ADD
PUSH
5
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
13
PUSH
PUSH
UNION
PUSH
PUSH
INTERSECT
PUSH
PUSH
ADD
INTERSECT
PUSH
INTERSECT
UNION
13
PUSH
PUSH
PUSH
PUSH
INTERSECT
PUSH
PUSH
DUP
PUSH
ADD
DUP
DUP
ADD
8
PUSH
DUP
PUSH
UNION
PUSH
PUSH
PUSH
UNION
14
PUSH
DUP
PUSH
DUP
DUP
DUP
INTERSECT
UNION
UNION
PUSH
PUSH
PUSH
UNION
INTERSECT
17
PUSH
PUSH
INTERSECT
DUP
ADD
DUP
UNION
PUSH
ADD
DUP
INTERSECT
DUP
UNION
DUP
INTERSECT
DUP
ADD
2
PUSH
PUSH
19
PUSH
DUP
UNION
DUP
UNION
DUP
UNION
DUP
INTERSECT
PUSH
ADD
DUP
DUP
ADD
UNION
PUSH
ADD
PUSH
UNION
1
PUSH
15
PUSH
DUP
INTERSECT
DUP
INTERSECT
DUP
UNION
PUSH
INTERSECT
PUSH
ADD
PUSH
INTERSECT
DUP
ADD
2
PUSH
PUSH
1
PUSH
6
PUSH
DUP
PUSH
PUSH
ADD
UNION
9
PUSH
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
DUP
ADD
19
PUSH
PUSH
ADD
DUP
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
DUP
DUP
PUSH
PUSH
INTERSECT
UNION
INTERSECT
UNION
DUP
PUSH
2
PUSH
DUP
12
PUSH
PUSH
DUP
PUSH
DUP
INTERSECT
PUSH
UNION
DUP
ADD
INTERSECT
INTERSECT
19
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
ADD
DUP
PUSH
DUP
ADD
ADD
INTERSECT
PUSH
ADD
PUSH
UNION
PUSH
UNION
6
PUSH
PUSH
PUSH
INTERSECT
UNION
DUP
14
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
PUSH
PUSH
DUP
UNION
ADD
PUSH
UNION
ADD
20
PUSH
DUP
INTERSECT
DUP
UNION
DUP
UNION
DUP
PUSH
UNION
INTERSECT
DUP
ADD
DUP
INTERSECT
PUSH
ADD
PUSH
UNION
PUSH
5
PUSH
PUSH
DUP
PUSH
ADD
19
PUSH
PUSH
UNION
DUP
ADD
DUP
UNION
DUP
INTERSECT
DUP
DUP
PUSH
DUP
ADD
ADD
PUSH
UNION
PUSH
DUP
6
PUSH
DUP
ADD
PUSH
DUP
ADD
3
PUSH
DUP
DUP
4
PUSH
PUSH
PUSH
ADD
20
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
ADD
DUP
INTERSECT
PUSH
DUP
INTERSECT
PUSH
UNION
DUP
UNION
INTERSECT
PUSH
5
PUSH
PUSH
DUP
INTERSECT
INTERSECT
15
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
PUSH
DUP
UNION
UNION
PUSH
ADD
INTERSECT
DUP
INTERSECT
19
PUSH
PUSH
PUSH
PUSH
PUSH
DUP
ADD
ADD
DUP
ADD
INTERSECT
ADD
PUSH
PUSH
UNION
PUSH
ADD
DUP
PUSH
9
PUSH
DUP
ADD
PUSH
ADD
PUSH
UNION
PUSH
INTERSECT
18
PUSH
PUSH
DUP
INTERSECT
INTERSECT
PUSH
UNION
DUP
INTERSECT
DUP
INTERSECT
PUSH
DUP
INTERSECT
DUP
INTERSECT
ADD
DUP
11
PUSH
DUP
UNION
DUP
UNION
DUP
UNION
DUP
UNION
DUP
DUP
17
PUSH
DUP
INTERSECT
PUSH
ADD
DUP
INTERSECT
DUP
UNION
PUSH
PUSH
UNION
DUP
INTERSECT
INTERSECT
DUP
UNION
16
PUSH
PUSH
DUP
INTERSECT
DUP
INTERSECT
DUP
UNION
DUP
INTERSECT
ADD
PUSH
DUP
DUP
INTERSECT
INTERSECT
20
PUSH
PUSH
PUSH
PUSH
PUSH
ADD
INTERSECT
INTERSECT
UNION
PUSH
INTERSECT
PUSH
ADD
PUSH
UNION
DUP
ADD
DUP
PUSH
DUP
3
PUSH
DUP
ADD
7
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
INTERSECT
2
PUSH
DUP
9
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
PUSH
INTERSECT
INTERSECT
7
PUSH
PUSH
PUSH
PUSH
PUSH
INTERSECT
PUSH
20
PUSH
PUSH
INTERSECT
PUSH
UNION
DUP
PUSH
INTERSECT
PUSH
ADD
INTERSECT
DUP
DUP
DUP
UNION
UNION
PUSH
PUSH
PUSH
INTERSECT
12
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
ADD
DUP
DUP
DUP
PUSH
INTERSECT
14
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
DUP
DUP
INTERSECT
DUP
UNION
ADD
PUSH
PUSH
9
PUSH
DUP
INTERSECT
PUSH
DUP
ADD
ADD
PUSH
INTERSECT
7
PUSH
PUSH
UNION
PUSH
UNION
DUP
PUSH
10
PUSH
PUSH
PUSH
DUP
ADD
UNION
DUP
ADD
DUP
DUP
20
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
ADD
PUSH
PUSH
INTERSECT
ADD
PUSH
UNION
DUP
UNION
DUP
ADD
PUSH
ADD
DUP
4
PUSH
PUSH
ADD
PUSH
11
PUSH
PUSH
DUP
PUSH
PUSH
ADD
ADD
UNION
ADD
DUP
ADD
1
PUSH
4
PUSH
DUP
INTERSECT
DUP
4
PUSH
PUSH
UNION
PUSH
6
PUSH
DUP
PUSH
INTERSECT
PUSH
INTERSECT
17
PUSH
PUSH
ADD
DUP
ADD
DUP
INTERSECT
PUSH
UNION
PUSH
INTERSECT
PUSH
PUSH
ADD
DUP
PUSH
UNION
17
PUSH
PUSH
UNION
PUSH
PUSH
UNION
INTERSECT
PUSH
ADD
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
ADD
DUP
UNION
6
PUSH
PUSH
UNION
DUP
UNION
PUSH
7
PUSH
DUP
INTERSECT
PUSH
PUSH
UNION
PUSH
7
PUSH
PUSH
INTERSECT
PUSH
DUP
ADD
DUP
3
PUSH
DUP
ADD
16
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
DUP
UNION
DUP
INTERSECT
ADD
DUP
INTERSECT
DUP
DUP
DUP
17
PUSH
PUSH
INTERSECT
DUP
UNION
PUSH
PUSH
INTERSECT
INTERSECT
PUSH
ADD
PUSH
ADD
PUSH
DUP
INTERSECT
DUP
5
PUSH
PUSH
DUP
INTERSECT
INTERSECT
9
PUSH
PUSH
INTERSECT
DUP
DUP
ADD
DUP
ADD
PUSH
13
PUSH
DUP
INTERSECT
DUP
ADD
DUP
ADD
DUP
ADD
PUSH
INTERSECT
PUSH
INTERSECT
10
PUSH
DUP
DUP
UNION
DUP
ADD
DUP
UNION
UNION
DUP
15
PUSH
PUSH
UNION
PUSH
DUP
DUP
PUSH
UNION
DUP
INTERSECT
ADD
UNION
ADD
DUP
UNION
10
PUSH
PUSH
DUP
UNION
ADD
DUP
INTERSECT
PUSH
UNION
DUP
1
PUSH
12
PUSH
PUSH
DUP
UNION
UNION
PUSH
INTERSECT
PUSH
PUSH
PUSH
PUSH
ADD
15
PUSH
PUSH
INTERSECT
PUSH
PUSH
DUP
DUP
DUP
ADD
PUSH
ADD
UNION
DUP
DUP
ADD
19
PUSH
PUSH
UNION
DUP
DUP
DUP
DUP
ADD
UNION
ADD
DUP
INTERSECT
INTERSECT
DUP
UNION
PUSH
DUP
ADD
UNION
17
PUSH
DUP
UNION
PUSH
ADD
DUP
INTERSECT
PUSH
PUSH
DUP
INTERSECT
INTERSECT
ADD
DUP
PUSH
ADD
UNION
15
PUSH
DUP
INTERSECT
DUP
ADD
DUP
ADD
DUP
PUSH
INTERSECT
PUSH
ADD
UNION
DUP
PUSH
12
PUSH
DUP
ADD
DUP
PUSH
UNION
UNION
DUP
ADD
PUSH
INTERSECT
DUP
12
PUSH
DUP
DUP
DUP
ADD
DUP
UNION
INTERSECT
DUP
ADD
UNION
PUSH
18
PUSH
PUSH
ADD
DUP
PUSH
DUP
INTERSECT
UNION
UNION
PUSH
PUSH
INTERSECT
ADD
DUP
UNION
PUSH
PUSH
ADD
10
PUSH
PUSH
ADD
PUSH
UNION
DUP
DUP
INTERSECT
UNION
DUP
6
PUSH
PUSH
INTERSECT
DUP
DUP
INTERSECT
3
PUSH
DUP
UNION
13
PUSH
DUP
DUP
UNION
PUSH
INTERSECT
INTERSECT
DUP
DUP
ADD
DUP
PUSH
UNION
7
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
INTERSECT
5
PUSH
DUP
PUSH
ADD
INTERSECT
16
PUSH
PUSH
UNION
DUP
ADD
DUP
UNION
PUSH
UNION
DUP
ADD
PUSH
ADD
DUP
INTERSECT
PUSH
7
PUSH
PUSH
PUSH
UNION
ADD
DUP
PUSH
11
PUSH
DUP
DUP
PUSH
ADD
ADD
PUSH
INTERSECT
INTERSECT
PUSH
DUP
5
PUSH
PUSH
DUP
UNION
UNION
15
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
DUP
PUSH
DUP
ADD
DUP
UNION
ADD
16
PUSH
PUSH
PUSH
PUSH
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
INTERSECT
ADD
UNION
DUP
UNION
PUSH
UNION
9
PUSH
DUP
DUP
INTERSECT
UNION
PUSH
DUP
DUP
DUP
15
PUSH
DUP
DUP
ADD
PUSH
INTERSECT
DUP
ADD
DUP
ADD
PUSH
INTERSECT
ADD
DUP
INTERSECT
15
PUSH
PUSH
PUSH
PUSH
UNION
ADD
PUSH
ADD
ADD
DUP
INTERSECT
PUSH
PUSH
PUSH
PUSH
13
PUSH
PUSH
UNION
DUP
ADD
DUP
PUSH
INTERSECT
INTERSECT
DUP
UNION
PUSH
DUP
5
PUSH
DUP
ADD
PUSH
UNION
14
PUSH
PUSH
ADD
PUSH
UNION
PUSH
ADD
DUP
DUP
PUSH
PUSH
PUSH
DUP
DUP
19
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
DUP
PUSH
UNION
PUSH
UNION
ADD
DUP
ADD
PUSH
INTERSECT
DUP
INTERSECT
DUP
UNION
12
PUSH
DUP
DUP
ADD
UNION
DUP
INTERSECT
PUSH
ADD
PUSH
ADD
PUSH
3
PUSH
PUSH
INTERSECT
14
PUSH
DUP
DUP
ADD
INTERSECT
DUP
INTERSECT
DUP
PUSH
UNION
ADD
DUP
ADD
PUSH
4
PUSH
DUP
UNION
DUP
2
PUSH
PUSH
14
PUSH
PUSH
PUSH
DUP
INTERSECT
PUSH
ADD
UNION
INTERSECT
DUP
UNION
PUSH
INTERSECT
PUSH
19
PUSH
PUSH
UNION
DUP
PUSH
DUP
PUSH
ADD
UNION
PUSH
INTERSECT
UNION
UNION
DUP
ADD
DUP
ADD
DUP
UNION
10
PUSH
PUSH
PUSH
ADD
PUSH
INTERSECT
UNION
DUP
INTERSECT
PUSH
17
PUSH
PUSH
PUSH
DUP
UNION
UNION
PUSH
UNION
DUP
UNION
UNION
PUSH
UNION
PUSH
INTERSECT
DUP
ADD
8
PUSH
PUSH
ADD
PUSH
PUSH
UNION
DUP
ADD
20
PUSH
PUSH
PUSH
UNION
DUP
PUSH
DUP
ADD
INTERSECT
DUP
DUP
UNION
DUP
DUP
DUP
ADD
DUP
UNION
ADD
DUP
12
PUSH
DUP
INTERSECT
PUSH
UNION
PUSH
ADD
PUSH
PUSH
INTERSECT
UNION
DUP
12
PUSH
PUSH
UNION
DUP
INTERSECT
DUP
UNION
DUP
ADD
PUSH
PUSH
INTERSECT
18
PUSH
DUP
DUP
INTERSECT
DUP
PUSH
PUSH
PUSH
UNION
INTERSECT
ADD
PUSH
PUSH
PUSH
ADD
INTERSECT
PUSH
INTERSECT
12
PUSH
PUSH
UNION
PUSH
PUSH
UNION
PUSH
UNION
INTERSECT
DUP
INTERSECT
DUP
15
PUSH
DUP
ADD
PUSH
ADD
PUSH
ADD
PUSH
DUP
ADD
ADD
PUSH
UNION
DUP
INTERSECT
4
PUSH
DUP
ADD
PUSH
9
PUSH
PUSH
PUSH
ADD
ADD
PUSH
PUSH
INTERSECT
UNION
18
PUSH
DUP
DUP
PUSH
UNION
PUSH
ADD
INTERSECT
PUSH
ADD
PUSH
ADD
ADD
PUSH
DUP
UNION
PUSH
INTERSECT
3
PUSH
DUP
UNION
16
PUSH
PUSH
ADD
DUP
DUP
DUP
DUP
DUP
UNION
UNION
UNION
UNION
UNION
DUP
PUSH
DUP
5
PUSH
DUP
ADD
DUP
INTERSECT
19
PUSH
PUSH
DUP
DUP
INTERSECT
ADD
ADD
DUP
PUSH
PUSH
PUSH
UNION
DUP
DUP
ADD
DUP
PUSH
ADD
UNION
11
PUSH
PUSH
PUSH
DUP
UNION
INTERSECT
PUSH
PUSH
INTERSECT
PUSH
PUSH
8
PUSH
DUP
INTERSECT
PUSH
DUP
DUP
INTERSECT
INTERSECT
16
PUSH
DUP
PUSH
UNION
ADD
DUP
DUP
INTERSECT
INTERSECT
PUSH
ADD
PUSH
INTERSECT
DUP
ADD
DUP
9
PUSH
DUP
PUSH
PUSH
UNION
ADD
INTERSECT
DUP
INTERSECT
15
PUSH
DUP
UNION
DUP
DUP
UNION
PUSH
INTERSECT
DUP
UNION
ADD
DUP
ADD
DUP
PUSH
13
PUSH
PUSH
UNION
PUSH
INTERSECT
DUP
DUP
INTERSECT
ADD
DUP
ADD
DUP
ADD
20
PUSH
DUP
PUSH
PUSH
INTERSECT
ADD
DUP
ADD
ADD
DUP
PUSH
UNION
PUSH
UNION
DUP
ADD
PUSH
PUSH
PUSH
PUSH
1
PUSH
14
PUSH
PUSH
ADD
PUSH
DUP
PUSH
INTERSECT
DUP
DUP
UNION
ADD
PUSH
PUSH
UNION
4
PUSH
DUP
INTERSECT
PUSH
4
PUSH
DUP
DUP
UNION
16
PUSH
PUSH
UNION
DUP
PUSH
PUSH
DUP
UNION
DUP
INTERSECT
ADD
UNION
PUSH
ADD
PUSH
PUSH
10
PUSH
DUP
UNION
DUP
DUP
PUSH
UNION
UNION
UNION
PUSH
20
PUSH
DUP
ADD
PUSH
DUP
ADD
UNION
PUSH
DUP
ADD
INTERSECT
PUSH
INTERSECT
PUSH
DUP
PUSH
DUP
DUP
PUSH
DUP
7
PUSH
PUSH
DUP
DUP
PUSH
INTERSECT
ADD
8
PUSH
PUSH
INTERSECT
DUP
ADD
DUP
DUP
ADD
12
PUSH
DUP
UNION
DUP
UNION
PUSH
INTERSECT
DUP
UNION
DUP
INTERSECT
DUP
9
PUSH
DUP
DUP
ADD
PUSH
INTERSECT
INTERSECT
DUP
INTERSECT
1
PUSH
9
PUSH
PUSH
INTERSECT
PUSH
PUSH
ADD
UNION
DUP
ADD
19
PUSH
DUP
INTERSECT
PUSH
UNION
PUSH
DUP
DUP
UNION
UNION
DUP
ADD
DUP
UNION
DUP
DUP
ADD
DUP
ADD
3
PUSH
DUP
DUP
20
PUSH
DUP
PUSH
DUP
INTERSECT
DUP
PUSH
ADD
PUSH
PUSH
UNION
PUSH
UNION
PUSH
PUSH
UNION
INTERSECT
UNION
DUP
PUSH
1
PUSH
11
PUSH
PUSH
UNION
PUSH
ADD
PUSH
INTERSECT
DUP
ADD
DUP
ADD
18
PUSH
PUSH
UNION
DUP
INTERSECT
PUSH
UNION
DUP
DUP
PUSH
PUSH
PUSH
PUSH
UNION
DUP
INTERSECT
INTERSECT
ADD
15
PUSH
DUP
ADD
PUSH
DUP
PUSH
UNION
PUSH
DUP
DUP
UNION
DUP
UNION
DUP
DUP
18
PUSH
PUSH
DUP
INTERSECT
DUP
INTERSECT
ADD
PUSH
INTERSECT
DUP
DUP
UNION
UNION
DUP
UNION
DUP
INTERSECT
PUSH
17
PUSH
PUSH
ADD
DUP
ADD
PUSH
DUP
PUSH
UNION
DUP
ADD
PUSH
ADD
UNION
UNION
PUSH
INTERSECT
14
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
PUSH
PUSH
UNION
PUSH
PUSH
DUP
PUSH
INTERSECT
19
PUSH
DUP
PUSH
DUP
UNION
DUP
UNION
PUSH
ADD
DUP
INTERSECT
INTERSECT
PUSH
UNION
DUP
INTERSECT
INTERSECT
DUP
INTERSECT
1
PUSH
14
PUSH
DUP
PUSH
ADD
UNION
PUSH
DUP
DUP
DUP
PUSH
INTERSECT
UNION
PUSH
PUSH
15
PUSH
DUP
DUP
PUSH
ADD
DUP
ADD
ADD
INTERSECT
PUSH
INTERSECT
DUP
PUSH
UNION
PUSH
18
PUSH
DUP
UNION
PUSH
DUP
PUSH
PUSH
DUP
DUP
UNION
ADD
INTERSECT
ADD
DUP
UNION
UNION
DUP
PUSH
1
PUSH
1
PUSH
4
PUSH
DUP
PUSH
PUSH
5
PUSH
PUSH
PUSH
DUP
DUP
20
PUSH
PUSH
UNION
PUSH
ADD
PUSH
UNION
DUP
UNION
PUSH
ADD
PUSH
ADD
DUP
ADD
DUP
UNION
PUSH
UNION
DUP
13
PUSH
DUP
UNION
DUP
ADD
DUP
DUP
UNION
PUSH
PUSH
INTERSECT
DUP
INTERSECT
3
PUSH
DUP
INTERSECT
5
PUSH
PUSH
ADD
PUSH
PUSH
12
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
PUSH
DUP
INTERSECT
UNION
PUSH
INTERSECT
18
PUSH
DUP
DUP
UNION
UNION
DUP
ADD
DUP
UNION
PUSH
ADD
DUP
ADD
PUSH
PUSH
UNION
UNION
PUSH
7
PUSH
DUP
INTERSECT
PUSH
PUSH
INTERSECT
INTERSECT
15
PUSH
PUSH
ADD
PUSH
ADD
DUP
PUSH
INTERSECT
INTERSECT
PUSH
ADD
PUSH
DUP
INTERSECT
PUSH
4
PUSH
DUP
ADD
PUSH
3
PUSH
DUP
PUSH
14
PUSH
DUP
UNION
DUP
DUP
PUSH
UNION
PUSH
INTERSECT
INTERSECT
UNION
DUP
UNION
DUP
3
PUSH
PUSH
ADD
19
PUSH
PUSH
UNION
PUSH
PUSH
ADD
PUSH
UNION
INTERSECT
DUP
UNION
DUP
PUSH
DUP
INTERSECT
PUSH
PUSH
DUP
INTERSECT
11
PUSH
DUP
DUP
PUSH
INTERSECT
ADD
DUP
DUP
DUP
PUSH
UNION
4
PUSH
PUSH
ADD
PUSH
8
PUSH
DUP
DUP
ADD
DUP
UNION
PUSH
DUP
7
PUSH
PUSH
PUSH
PUSH
DUP
PUSH
INTERSECT
10
PUSH
PUSH
PUSH
ADD
DUP
PUSH
DUP
PUSH
PUSH
INTERSECT
11
PUSH
PUSH
DUP
ADD
ADD
DUP
PUSH
UNION
PUSH
ADD
UNION
19
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
ADD
DUP
INTERSECT
PUSH
INTERSECT
PUSH
ADD
DUP
DUP
ADD
DUP
DUP
UNION
11
PUSH
DUP
DUP
INTERSECT
UNION
PUSH
UNION
PUSH
DUP
DUP
ADD
7
PUSH
DUP
UNION
DUP
INTERSECT
PUSH
DUP
1
PUSH
20
PUSH
PUSH
DUP
UNION
DUP
ADD
DUP
UNION
UNION
DUP
DUP
INTERSECT
ADD
PUSH
ADD
DUP
PUSH
PUSH
ADD
INTERSECT
2
PUSH
PUSH
15
PUSH
DUP
UNION
DUP
ADD
PUSH
PUSH
INTERSECT
DUP
PUSH
ADD
ADD
UNION
DUP
PUSH
5
PUSH
PUSH
ADD
DUP
ADD
15
PUSH
DUP
UNION
PUSH
INTERSECT
DUP
DUP
PUSH
INTERSECT
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
INTERSECT
10
PUSH
DUP
INTERSECT
DUP
UNION
DUP
DUP
DUP
PUSH
DUP
11
PUSH
PUSH
DUP
UNION
ADD
DUP
INTERSECT
DUP
ADD
PUSH
INTERSECT
1
PUSH
14
PUSH
PUSH
UNION
DUP
UNION
PUSH
PUSH
PUSH
DUP
PUSH
ADD
ADD
ADD
PUSH
1
PUSH
6
PUSH
DUP
PUSH
PUSH
DUP
INTERSECT
16
PUSH
PUSH
PUSH
INTERSECT
INTERSECT
PUSH
ADD
DUP
INTERSECT
PUSH
ADD
PUSH
UNION
PUSH
UNION
PUSH
1
PUSH
12
PUSH
DUP
ADD
DUP
DUP
ADD
INTERSECT
PUSH
PUSH
PUSH
DUP
UNION
2
PUSH
PUSH
14
PUSH
DUP
INTERSECT
PUSH
ADD
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
DUP
INTERSECT
DUP
20
PUSH
PUSH
ADD
DUP
ADD
PUSH
DUP
PUSH
ADD
UNION
INTERSECT
DUP
UNION
DUP
DUP
UNION
PUSH
UNION
INTERSECT
PUSH
20
PUSH
PUSH
PUSH
ADD
DUP
UNION
INTERSECT
PUSH
PUSH
ADD
DUP
ADD
UNION
DUP
UNION
PUSH
PUSH
DUP
PUSH
PUSH
6
PUSH
DUP
ADD
PUSH
INTERSECT
PUSH
20
PUSH
PUSH
ADD
PUSH
ADD
PUSH
DUP
INTERSECT
PUSH
DUP
ADD
PUSH
ADD
PUSH
INTERSECT
INTERSECT
PUSH
ADD
INTERSECT
DUP
4
PUSH
PUSH
INTERSECT
DUP
8
PUSH
DUP
ADD
PUSH
ADD
DUP
ADD
DUP
8
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
18
PUSH
DUP
INTERSECT
PUSH
INTERSECT
DUP
UNION
DUP
UNION
PUSH
ADD
PUSH
UNION
DUP
INTERSECT
PUSH
ADD
PUSH
18
PUSH
DUP
UNION
DUP
PUSH
INTERSECT
UNION
PUSH
ADD
DUP
INTERSECT
PUSH
PUSH
PUSH
UNION
ADD
ADD
DUP
10
PUSH
PUSH
DUP
UNION
ADD
PUSH
INTERSECT
DUP
DUP
UNION
9
PUSH
PUSH
UNION
PUSH
UNION
PUSH
UNION
PUSH
ADD
20
PUSH
DUP
DUP
INTERSECT
UNION
DUP
UNION
DUP
DUP
DUP
UNION
DUP
ADD
UNION
ADD
DUP
DUP
INTERSECT
ADD
PUSH
9
PUSH
PUSH
UNION
DUP
DUP
DUP
UNION
ADD
UNION
10
PUSH
DUP
DUP
UNION
PUSH
INTERSECT
DUP
UNION
ADD
PUSH
2
PUSH
PUSH
19
PUSH
DUP
UNION
PUSH
UNION
PUSH
ADD
DUP
ADD
PUSH
UNION
PUSH
ADD
PUSH
DUP
INTERSECT
INTERSECT
PUSH
INTERSECT
19
PUSH
PUSH
ADD
PUSH
UNION
PUSH
DUP
INTERSECT
DUP
PUSH
ADD
ADD
DUP
PUSH
INTERSECT
PUSH
INTERSECT
DUP
ADD
20
PUSH
PUSH
DUP
DUP
ADD
ADD
DUP
INTERSECT
UNION
DUP
INTERSECT
DUP
DUP
INTERSECT
DUP
UNION
ADD
DUP
PUSH
ADD
1
PUSH
16
PUSH
DUP
PUSH
PUSH
ADD
UNION
ADD
DUP
UNION
DUP
PUSH
INTERSECT
PUSH
ADD
PUSH
DUP
14
PUSH
PUSH
UNION
PUSH
ADD
PUSH
ADD
PUSH
ADD
PUSH
INTERSECT
PUSH
PUSH
ADD
17
PUSH
PUSH
ADD
DUP
UNION
DUP
DUP
ADD
ADD
DUP
UNION
DUP
ADD
PUSH
ADD
DUP
DUP
5
PUSH
DUP
INTERSECT
DUP
UNION
12
PUSH
DUP
ADD
PUSH
ADD
PUSH
DUP
ADD
INTERSECT
DUP
DUP
PUSH
1
PUSH
6
PUSH
PUSH
ADD
DUP
ADD
DUP
2
PUSH
PUSH
11
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
UNION
DUP
UNION
PUSH
ADD
6
PUSH
DUP
UNION
PUSH
PUSH
ADD
16
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
ADD
DUP
ADD
PUSH
UNION
PUSH
PUSH
UNION
ADD
PUSH
5
PUSH
DUP
DUP
ADD
INTERSECT
17
PUSH
PUSH
DUP
DUP
INTERSECT
PUSH
ADD
INTERSECT
INTERSECT
DUP
INTERSECT
DUP
DUP
UNION
UNION
PUSH
ADD
20
PUSH
DUP
UNION
DUP
ADD
PUSH
INTERSECT
DUP
ADD
DUP
ADD
DUP
PUSH
ADD
INTERSECT
PUSH
ADD
PUSH
PUSH
ADD
8
PUSH
DUP
DUP
ADD
ADD
PUSH
ADD
DUP
12
PUSH
DUP
PUSH
UNION
PUSH
INTERSECT
ADD
PUSH
UNION
PUSH
PUSH
PUSH
1
PUSH
9
PUSH
DUP
DUP
DUP
UNION
UNION
ADD
DUP
ADD
8
PUSH
PUSH
DUP
DUP
UNION
UNION
INTERSECT
DUP
1
PUSH
16
PUSH
PUSH
PUSH
ADD
DUP
ADD
INTERSECT
PUSH
DUP
INTERSECT
UNION
PUSH
UNION
DUP
UNION
PUSH
19
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
DUP
UNION
UNION
DUP
INTERSECT
PUSH
ADD
PUSH
INTERSECT
PUSH
DUP
INTERSECT
ADD
11
PUSH
DUP
ADD
PUSH
PUSH
PUSH
UNION
DUP
DUP
INTERSECT
UNION
5
PUSH
PUSH
PUSH
PUSH
INTERSECT
14
PUSH
PUSH
PUSH
DUP
UNION
PUSH
UNION
UNION
UNION
DUP
PUSH
ADD
ADD
PUSH
7
PUSH
DUP
INTERSECT
DUP
ADD
PUSH
UNION
4
PUSH
DUP
INTERSECT
PUSH
6
PUSH
PUSH
UNION
DUP
UNION
PUSH
6
PUSH
PUSH
PUSH
INTERSECT
ADD
DUP
8
PUSH
PUSH
PUSH
UNION
UNION
DUP
DUP
INTERSECT
9
PUSH
PUSH
UNION
PUSH
ADD
DUP
INTERSECT
DUP
PUSH
4
PUSH
PUSH
ADD
DUP
7
PUSH
DUP
DUP
PUSH
INTERSECT
ADD
UNION
3
PUSH
DUP
DUP
13
PUSH
PUSH
ADD
PUSH
ADD
PUSH
PUSH
DUP
DUP
UNION
INTERSECT
UNION
PUSH
7
PUSH
PUSH
INTERSECT
PUSH
ADD
DUP
ADD
17
PUSH
PUSH
DUP
UNION
INTERSECT
PUSH
INTERSECT
DUP
UNION
PUSH
INTERSECT
DUP
UNION
PUSH
ADD
DUP
ADD
7
PUSH
DUP
DUP
DUP
DUP
ADD
ADD
7
PUSH
PUSH
PUSH
INTERSECT
DUP
DUP
ADD
8
PUSH
DUP
ADD
DUP
DUP
ADD
PUSH
UNION
13
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
DUP
INTERSECT
INTERSECT
DUP
INTERSECT
PUSH
UNION
7
PUSH
DUP
DUP
ADD
INTERSECT
DUP
ADD
10
PUSH
PUSH
INTERSECT
PUSH
PUSH
UNION
DUP
PUSH
DUP
ADD
13
PUSH
PUSH
DUP
DUP
INTERSECT
UNION
INTERSECT
PUSH
INTERSECT
DUP
DUP
UNION
UNION
1
PUSH
10
PUSH
DUP
UNION
DUP
UNION
PUSH
PUSH
DUP
PUSH
DUP
20
PUSH
DUP
INTERSECT
PUSH
DUP
ADD
UNION
DUP
ADD
PUSH
DUP
PUSH
PUSH
UNION
DUP
ADD
DUP
INTERSECT
DUP
UNION
4
PUSH
PUSH
UNION
PUSH
5
PUSH
DUP
INTERSECT
DUP
DUP
6
PUSH
PUSH
DUP
DUP
PUSH
DUP
12
PUSH
PUSH
DUP
DUP
UNION
DUP
PUSH
INTERSECT
ADD
INTERSECT
INTERSECT
PUSH
11
PUSH
DUP
ADD
DUP
ADD
PUSH
DUP
PUSH
INTERSECT
UNION
DUP
20
PUSH
DUP
PUSH
DUP
DUP
DUP
UNION
DUP
INTERSECT
UNION
UNION
INTERSECT
DUP
UNION
PUSH
UNION
INTERSECT
PUSH
INTERSECT
PUSH
15
PUSH
PUSH
PUSH
ADD
DUP
PUSH
ADD
ADD
ADD
DUP
ADD
DUP
ADD
PUSH
INTERSECT
1
PUSH
14
PUSH
PUSH
INTERSECT
PUSH
DUP
PUSH
UNION
DUP
DUP
PUSH
UNION
INTERSECT
DUP
ADD
1
PUSH
2
PUSH
PUSH
20
PUSH
DUP
DUP
INTERSECT
UNION
PUSH
ADD
PUSH
DUP
INTERSECT
UNION
PUSH
UNION
PUSH
DUP
INTERSECT
DUP
PUSH
ADD
PUSH
3
PUSH
DUP
UNION
3
PUSH
PUSH
DUP
11
PUSH
PUSH
PUSH
ADD
DUP
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
4
PUSH
PUSH
INTERSECT
DUP
17
PUSH
DUP
DUP
UNION
INTERSECT
PUSH
INTERSECT
DUP
UNION
PUSH
DUP
PUSH
DUP
ADD
DUP
UNION
UNION
16
PUSH
PUSH
ADD
DUP
ADD
PUSH
ADD
DUP
INTERSECT
DUP
UNION
DUP
DUP
PUSH
DUP
ADD
8
PUSH
DUP
INTERSECT
PUSH
ADD
DUP
PUSH
UNION
10
PUSH
PUSH
DUP
INTERSECT
INTERSECT
DUP
UNION
PUSH
ADD
DUP
16
PUSH
PUSH
PUSH
DUP
INTERSECT
INTERSECT
UNION
PUSH
ADD
PUSH
INTERSECT
PUSH
DUP
DUP
UNION
PUSH
7
PUSH
DUP
UNION
DUP
ADD
DUP
DUP
2
PUSH
DUP
10
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
ADD
DUP
ADD
PUSH
13
PUSH
DUP
PUSH
ADD
UNION
PUSH
INTERSECT
PUSH
ADD
DUP
ADD
DUP
DUP
1
PUSH
10
PUSH
DUP
INTERSECT
PUSH
DUP
INTERSECT
INTERSECT
PUSH
UNION
DUP
8
PUSH
DUP
UNION
PUSH
UNION
PUSH
UNION
PUSH
11
PUSH
PUSH
INTERSECT
PUSH
UNION
DUP
UNION
PUSH
DUP
PUSH
ADD
9
PUSH
PUSH
UNION
DUP
INTERSECT
DUP
DUP
DUP
ADD
4
PUSH
PUSH
DUP
INTERSECT
8
PUSH
PUSH
DUP
PUSH
UNION
INTERSECT
DUP
UNION
12
PUSH
DUP
UNION
DUP
UNION
PUSH
INTERSECT
PUSH
ADD
PUSH
PUSH
UNION
9
PUSH
PUSH
DUP
DUP
INTERSECT
ADD
DUP
PUSH
UNION
8
PUSH
DUP
DUP
ADD
DUP
UNION
UNION
DUP
17
PUSH
DUP
PUSH
DUP
ADD
UNION
PUSH
ADD
INTERSECT
DUP
PUSH
ADD
DUP
PUSH
UNION
DUP
PUSH
5
PUSH
PUSH
UNION
DUP
ADD
9
PUSH
PUSH
DUP
ADD
UNION
DUP
DUP
ADD
UNION
16
PUSH
PUSH
PUSH
PUSH
UNION
INTERSECT
PUSH
DUP
INTERSECT
ADD
ADD
DUP
UNION
PUSH
ADD
PUSH
20
PUSH
DUP
UNION
PUSH
UNION
DUP
ADD
PUSH
DUP
PUSH
PUSH
UNION
INTERSECT
DUP
DUP
ADD
ADD
DUP
UNION
UNION
16
PUSH
DUP
UNION
DUP
INTERSECT
DUP
PUSH
UNION
INTERSECT
PUSH
ADD
DUP
ADD
DUP
INTERSECT
DUP
20
PUSH
PUSH
INTERSECT
DUP
DUP
INTERSECT
INTERSECT
PUSH
UNION
DUP
INTERSECT
DUP
UNION
DUP
PUSH
ADD
UNION
DUP
INTERSECT
PUSH
12
PUSH
DUP
UNION
DUP
PUSH
UNION
DUP
PUSH
ADD
UNION
ADD
DUP
17
PUSH
PUSH
DUP
INTERSECT
ADD
DUP
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
ADD
UNION
DUP
ADD
13
PUSH
PUSH
INTERSECT
DUP
INTERSECT
PUSH
ADD
DUP
PUSH
PUSH
INTERSECT
UNION
INTERSECT
19
PUSH
PUSH
PUSH
ADD
PUSH
DUP
PUSH
PUSH
INTERSECT
ADD
PUSH
DUP
UNION
DUP
INTERSECT
ADD
PUSH
UNION
INTERSECT
2
PUSH
DUP
12
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
INTERSECT
PUSH
ADD
PUSH
INTERSECT
PUSH
13
PUSH
DUP
DUP
PUSH
UNION
ADD
INTERSECT
DUP
ADD
DUP
UNION
PUSH
ADD
5
PUSH
PUSH
DUP
INTERSECT
UNION
11
PUSH
DUP
INTERSECT
PUSH
ADD
DUP
PUSH
PUSH
INTERSECT
PUSH
ADD
20
PUSH
PUSH
DUP
INTERSECT
DUP
DUP
DUP
UNION
INTERSECT
PUSH
UNION
INTERSECT
INTERSECT
PUSH
PUSH
ADD
PUSH
INTERSECT
UNION
DUP
2
PUSH
PUSH
5
PUSH
PUSH
UNION
PUSH
UNION
2
PUSH
DUP
6
PUSH
DUP
PUSH
UNION
ADD
DUP
11
PUSH
PUSH
UNION
DUP
INTERSECT
DUP
DUP
ADD
ADD
DUP
PUSH
9
PUSH
DUP
DUP
INTERSECT
DUP
PUSH
ADD
UNION
INTERSECT
3
PUSH
PUSH
INTERSECT
11
PUSH
DUP
DUP
UNION
INTERSECT
DUP
ADD
PUSH
INTERSECT
PUSH
DUP
14
PUSH
DUP
INTERSECT
PUSH
PUSH
INTERSECT
INTERSECT
DUP
DUP
ADD
ADD
PUSH
UNION
PUSH
18
PUSH
DUP
DUP
DUP
DUP
UNION
DUP
DUP
PUSH
UNION
PUSH
DUP
ADD
DUP
PUSH
PUSH
PUSH
DUP
6
PUSH
DUP
UNION
DUP
UNION
PUSH
18
PUSH
PUSH
DUP
DUP
DUP
PUSH
PUSH
ADD
PUSH
ADD
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
ADD
DUP
PUSH
16
PUSH
PUSH
INTERSECT
PUSH
UNION
DUP
DUP
INTERSECT
UNION
DUP
ADD
DUP
ADD
DUP
INTERSECT
PUSH
2
PUSH
PUSH
12
PUSH
DUP
PUSH
INTERSECT
UNION
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
5
PUSH
PUSH
UNION
DUP
UNION
4
PUSH
DUP
PUSH
DUP
6
PUSH
PUSH
PUSH
DUP
ADD
ADD
10
PUSH
DUP
UNION
PUSH
ADD
PUSH
INTERSECT
DUP
UNION
PUSH
1
PUSH
11
PUSH
DUP
UNION
DUP
PUSH
DUP
PUSH
PUSH
INTERSECT
ADD
PUSH
13
PUSH
PUSH
INTERSECT
DUP
DUP
DUP
ADD
INTERSECT
ADD
PUSH
DUP
INTERSECT
ADD
9
PUSH
DUP
UNION
DUP
DUP
ADD
ADD
DUP
DUP
15
PUSH
DUP
DUP
UNION
INTERSECT
DUP
DUP
INTERSECT
UNION
DUP
DUP
DUP
PUSH
DUP
ADD
3
PUSH
DUP
PUSH
18
PUSH
PUSH
ADD
DUP
PUSH
DUP
INTERSECT
UNION
INTERSECT
DUP
UNION
DUP
DUP
PUSH
UNION
ADD
UNION
DUP
16
PUSH
PUSH
PUSH
DUP
DUP
ADD
PUSH
DUP
DUP
PUSH
UNION
INTERSECT
UNION
DUP
DUP
ADD
13
PUSH
PUSH
UNION
DUP
DUP
ADD
UNION
DUP
PUSH
PUSH
ADD
PUSH
DUP
11
PUSH
PUSH
ADD
DUP
DUP
INTERSECT
UNION
DUP
INTERSECT
PUSH
INTERSECT
17
PUSH
DUP
PUSH
PUSH
UNION
UNION
PUSH
PUSH
ADD
ADD
DUP
ADD
INTERSECT
DUP
INTERSECT
DUP
UNION
4
PUSH
PUSH
DUP
UNION
7
PUSH
PUSH
PUSH
ADD
PUSH
INTERSECT
INTERSECT
15
PUSH
PUSH
INTERSECT
DUP
UNION
PUSH
PUSH
DUP
PUSH
UNION
INTERSECT
INTERSECT
INTERSECT
DUP
PUSH
20
PUSH
PUSH
INTERSECT
DUP
PUSH
UNION
ADD
DUP
ADD
DUP
INTERSECT
DUP
UNION
DUP
PUSH
UNION
UNION
PUSH
DUP
PUSH
13
PUSH
PUSH
ADD
DUP
DUP
PUSH
INTERSECT
UNION
UNION
DUP
DUP
INTERSECT
PUSH
14
PUSH
PUSH
INTERSECT
DUP
PUSH
PUSH
INTERSECT
ADD
INTERSECT
DUP
ADD
DUP
INTERSECT
PUSH
14
PUSH
PUSH
INTERSECT
PUSH
PUSH
DUP
DUP
PUSH
INTERSECT
ADD
UNION
UNION
PUSH
ADD
7
PUSH
DUP
ADD
PUSH
INTERSECT
PUSH
INTERSECT
8
PUSH
PUSH
DUP
PUSH
INTERSECT
INTERSECT
DUP
PUSH
9
PUSH
PUSH
ADD
DUP
INTERSECT
PUSH
UNION
PUSH
INTERSECT
1
PUSH
13
PUSH
DUP
PUSH
ADD
ADD
DUP
DUP
DUP
PUSH
PUSH
UNION
INTERSECT
ADD
15
PUSH
DUP
PUSH
INTERSECT
DUP
PUSH
UNION
UNION
ADD
DUP
UNION
DUP
DUP
ADD
DUP
19
PUSH
DUP
PUSH
INTERSECT
INTERSECT
PUSH
ADD
PUSH
ADD
DUP
DUP
INTERSECT
DUP
ADD
ADD
PUSH
DUP
DUP
DUP
18
PUSH
DUP
INTERSECT
PUSH
PUSH
ADD
INTERSECT
DUP
DUP
PUSH
INTERSECT
UNION
ADD
PUSH
DUP
DUP
UNION
INTERSECT
6
PUSH
DUP
DUP
PUSH
PUSH
UNION
11
PUSH
PUSH
UNION
PUSH
INTERSECT
DUP
PUSH
UNION
UNION
DUP
INTERSECT
13
PUSH
DUP
INTERSECT
PUSH
UNION
PUSH
INTERSECT
PUSH
DUP
INTERSECT
PUSH
ADD
INTERSECT
12
PUSH
PUSH
UNION
DUP
INTERSECT
PUSH
INTERSECT
DUP
UNION
DUP
INTERSECT
DUP
18
PUSH
PUSH
INTERSECT
DUP
UNION
PUSH
INTERSECT
DUP
INTERSECT
DUP
UNION
DUP
PUSH
DUP
PUSH
ADD
DUP
ADD
8
PUSH
DUP
UNION
DUP
INTERSECT
DUP
UNION
PUSH
2
PUSH
PUSH
10
PUSH
PUSH
ADD
PUSH
ADD
DUP
DUP
PUSH
UNION
INTERSECT
13
PUSH
PUSH
INTERSECT
PUSH
PUSH
UNION
DUP
PUSH
DUP
UNION
PUSH
PUSH
ADD
20
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
DUP
INTERSECT
DUP
INTERSECT
DUP
PUSH
UNION
PUSH
DUP
PUSH
ADD
INTERSECT
INTERSECT
ADD
2
PUSH
DUP
1
PUSH
13
PUSH
DUP
PUSH
ADD
UNION
PUSH
PUSH
ADD
ADD
DUP
ADD
PUSH
INTERSECT
19
PUSH
PUSH
PUSH
UNION
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
DUP
DUP
INTERSECT
UNION
ADD
PUSH
INTERSECT
PUSH
UNION
6
PUSH
PUSH
PUSH
UNION
DUP
DUP
10
PUSH
PUSH
UNION
PUSH
DUP
UNION
PUSH
UNION
PUSH
DUP
6
PUSH
PUSH
INTERSECT
DUP
DUP
PUSH
6
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
2
PUSH
PUSH
13
PUSH
DUP
INTERSECT
PUSH
DUP
ADD
UNION
PUSH
DUP
INTERSECT
ADD
PUSH
ADD
13
PUSH
PUSH
PUSH
INTERSECT
ADD
DUP
DUP
ADD
UNION
PUSH
DUP
DUP
INTERSECT
14
PUSH
DUP
INTERSECT
PUSH
ADD
PUSH
DUP
UNION
ADD
PUSH
INTERSECT
DUP
DUP
PUSH
11
PUSH
DUP
UNION
DUP
PUSH
UNION
ADD
PUSH
UNION
DUP
INTERSECT
2
PUSH
PUSH
10
PUSH
DUP
PUSH
INTERSECT
UNION
PUSH
INTERSECT
DUP
INTERSECT
PUSH
7
PUSH
DUP
ADD
DUP
PUSH
INTERSECT
UNION
12
PUSH
PUSH
ADD
PUSH
UNION
DUP
INTERSECT
PUSH
DUP
INTERSECT
UNION
PUSH
17
PUSH
DUP
UNION
PUSH
DUP
INTERSECT
DUP
ADD
INTERSECT
DUP
ADD
PUSH
UNION
PUSH
PUSH
PUSH
INTERSECT
15
PUSH
DUP
UNION
PUSH
PUSH
DUP
PUSH
INTERSECT
INTERSECT
PUSH
UNION
DUP
DUP
INTERSECT
INTERSECT
4
PUSH
DUP
DUP
DUP
5
PUSH
DUP
UNION
PUSH
PUSH
4
PUSH
DUP
ADD
PUSH
5
PUSH
PUSH
INTERSECT
DUP
UNION
3
PUSH
PUSH
DUP
15
PUSH
PUSH
INTERSECT
DUP
PUSH
ADD
UNION
DUP
UNION
PUSH
DUP
DUP
PUSH
ADD
ADD
11
PUSH
DUP
PUSH
PUSH
UNION
PUSH
PUSH
ADD
ADD
DUP
PUSH
18
PUSH
PUSH
UNION
PUSH
DUP
UNION
INTERSECT
PUSH
PUSH
DUP
PUSH
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
UNION
10
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
DUP
ADD
UNION
PUSH
4
PUSH
DUP
UNION
DUP
1
PUSH
20
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
UNION
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
PUSH
PUSH
PUSH
DUP
DUP
PUSH
7
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
DUP
8
PUSH
PUSH
INTERSECT
DUP
DUP
UNION
ADD
PUSH
5
PUSH
DUP
INTERSECT
DUP
PUSH
10
PUSH
PUSH
INTERSECT
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
INTERSECT
11
PUSH
DUP
INTERSECT
DUP
DUP
DUP
INTERSECT
INTERSECT
INTERSECT
DUP
INTERSECT
4
PUSH
PUSH
ADD
DUP
1
PUSH
8
PUSH
PUSH
ADD
PUSH
DUP
DUP
ADD
DUP
6
PUSH
DUP
DUP
PUSH
INTERSECT
DUP
16
PUSH
DUP
UNION
DUP
UNION
PUSH
UNION
DUP
ADD
PUSH
PUSH
PUSH
UNION
ADD
UNION
DUP
5
PUSH
DUP
ADD
PUSH
PUSH
20
PUSH
PUSH
UNION
DUP
DUP
PUSH
INTERSECT
DUP
ADD
DUP
DUP
UNION
INTERSECT
UNION
DUP
INTERSECT
UNION
DUP
ADD
DUP
4
PUSH
DUP
INTERSECT
PUSH
8
PUSH
DUP
ADD
DUP
UNION
DUP
DUP
PUSH
20
PUSH
PUSH
ADD
DUP
DUP
INTERSECT
PUSH
DUP
UNION
ADD
PUSH
ADD
INTERSECT
PUSH
DUP
PUSH
PUSH
DUP
ADD
PUSH
17
PUSH
DUP
UNION
DUP
PUSH
ADD
ADD
PUSH
ADD
DUP
DUP
ADD
UNION
PUSH
UNION
DUP
DUP
14
PUSH
DUP
ADD
DUP
UNION
DUP
UNION
DUP
DUP
UNION
ADD
DUP
PUSH
ADD
19
PUSH
DUP
ADD
PUSH
ADD
DUP
ADD
DUP
DUP
UNION
PUSH
ADD
PUSH
ADD
DUP
INTERSECT
DUP
INTERSECT
INTERSECT
5
PUSH
DUP
INTERSECT
DUP
INTERSECT
11
PUSH
PUSH
UNION
PUSH
UNION
PUSH
ADD
PUSH
UNION
PUSH
ADD
15
PUSH
DUP
UNION
PUSH
DUP
UNION
ADD
PUSH
DUP
INTERSECT
ADD
PUSH
PUSH
UNION
UNION
16
PUSH
PUSH
ADD
PUSH
UNION
DUP
PUSH
ADD
ADD
DUP
ADD
DUP
DUP
PUSH
ADD
PUSH
12
PUSH
DUP
ADD
DUP
DUP
ADD
INTERSECT
PUSH
PUSH
UNION
ADD
DUP
11
PUSH
DUP
DUP
PUSH
UNION
ADD
INTERSECT
PUSH
PUSH
UNION
INTERSECT
8
PUSH
DUP
ADD
PUSH
ADD
DUP
INTERSECT
PUSH
5
PUSH
DUP
PUSH
ADD
INTERSECT
5
PUSH
PUSH
UNION
DUP
INTERSECT
12
PUSH
PUSH
UNION
DUP
UNION
DUP
ADD
PUSH
INTERSECT
PUSH
UNION
DUP
6
PUSH
PUSH
DUP
INTERSECT
UNION
PUSH
3
PUSH
PUSH
DUP
2
PUSH
DUP
2
PUSH
DUP
12
PUSH
PUSH
INTERSECT
PUSH
UNION
DUP
UNION
DUP
ADD
PUSH
DUP
DUP
8
PUSH
PUSH
UNION
DUP
PUSH
UNION
ADD
PUSH
19
PUSH
DUP
DUP
DUP
UNION
ADD
PUSH
ADD
DUP
PUSH
UNION
ADD
ADD
PUSH
ADD
DUP
ADD
PUSH
DUP
16
PUSH
DUP
ADD
PUSH
DUP
DUP
PUSH
UNION
ADD
ADD
UNION
DUP
INTERSECT
DUP
UNION
PUSH
10
PUSH
PUSH
UNION
DUP
ADD
PUSH
UNION
DUP
DUP
UNION
3
PUSH
PUSH
INTERSECT
20
PUSH
PUSH
ADD
DUP
ADD
PUSH
ADD
DUP
UNION
DUP
PUSH
DUP
ADD
PUSH
UNION
UNION
INTERSECT
DUP
UNION
DUP
1
PUSH
15
PUSH
DUP
ADD
PUSH
UNION
PUSH
INTERSECT
PUSH
ADD
DUP
DUP
DUP
ADD
INTERSECT
ADD
1
PUSH
10
PUSH
PUSH
DUP
DUP
UNION
UNION
INTERSECT
PUSH
INTERSECT
DUP
6
PUSH
DUP
ADD
PUSH
INTERSECT
PUSH
15
PUSH
PUSH
DUP
UNION
PUSH
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
UNION
UNION
14
PUSH
PUSH
DUP
DUP
PUSH
INTERSECT
ADD
ADD
DUP
DUP
PUSH
PUSH
UNION
UNION
6
PUSH
PUSH
DUP
PUSH
ADD
DUP
20
PUSH
PUSH
DUP
INTERSECT
DUP
DUP
UNION
PUSH
ADD
UNION
DUP
DUP
INTERSECT
PUSH
INTERSECT
DUP
ADD
ADD
INTERSECT
PUSH
10
PUSH
PUSH
INTERSECT
PUSH
PUSH
ADD
DUP
PUSH
ADD
ADD
6
PUSH
DUP
ADD
PUSH
ADD
DUP
3
PUSH
PUSH
ADD
18
PUSH
PUSH
ADD
PUSH
DUP
UNION
UNION
PUSH
ADD
PUSH
ADD
PUSH
ADD
PUSH
PUSH
UNION
UNION
DUP
14
PUSH
PUSH
PUSH
PUSH
PUSH
INTERSECT
PUSH
ADD
UNION
DUP
INTERSECT
UNION
DUP
INTERSECT
9
PUSH
PUSH
PUSH
INTERSECT
ADD
DUP
UNION
PUSH
UNION
4
PUSH
PUSH
UNION
PUSH
1
PUSH
5
PUSH
PUSH
ADD
DUP
INTERSECT
6
PUSH
PUSH
ADD
PUSH
ADD
PUSH
18
PUSH
DUP
ADD
DUP
INTERSECT
DUP
UNION
DUP
PUSH
UNION
UNION
DUP
ADD
PUSH
DUP
UNION
UNION
DUP
2
PUSH
DUP
10
PUSH
PUSH
PUSH
PUSH
INTERSECT
ADD
INTERSECT
DUP
INTERSECT
DUP
10
PUSH
PUSH
UNION
PUSH
PUSH
PUSH
PUSH
ADD
ADD
INTERSECT
2
PUSH
PUSH
19
PUSH
PUSH
ADD
PUSH
DUP
DUP
UNION
INTERSECT
ADD
DUP
UNION
PUSH
UNION
DUP
ADD
PUSH
ADD
DUP
PUSH
11
PUSH
PUSH
UNION
DUP
ADD
DUP
ADD
DUP
PUSH
INTERSECT
INTERSECT
7
PUSH
PUSH
INTERSECT
DUP
PUSH
INTERSECT
PUSH
17
PUSH
DUP
ADD
DUP
INTERSECT
PUSH
PUSH
ADD
ADD
DUP
PUSH
ADD
UNION
DUP
ADD
PUSH
ADD
19
PUSH
PUSH
PUSH
PUSH
DUP
DUP
PUSH
UNION
PUSH
PUSH
DUP
DUP
INTERSECT
ADD
PUSH
INTERSECT
PUSH
DUP
PUSH
19
PUSH
DUP
ADD
PUSH
PUSH
ADD
PUSH
UNION
INTERSECT
PUSH
UNION
DUP
ADD
DUP
PUSH
UNION
UNION
DUP
UNION
11
PUSH
PUSH
INTERSECT
DUP
INTERSECT
PUSH
INTERSECT
DUP
PUSH
PUSH
PUSH
17
PUSH
DUP
PUSH
UNION
DUP
PUSH
ADD
DUP
DUP
DUP
UNION
DUP
UNION
ADD
PUSH
ADD
PUSH
14
PUSH
PUSH
PUSH
DUP
INTERSECT
UNION
ADD
PUSH
ADD
PUSH
PUSH
ADD
INTERSECT
PUSH
15
PUSH
PUSH
ADD
DUP
DUP
DUP
ADD
DUP
PUSH
PUSH
DUP
INTERSECT
INTERSECT
UNION
ADD
13
PUSH
PUSH
INTERSECT
PUSH
UNION
PUSH
ADD
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
16
PUSH
DUP
INTERSECT
DUP
INTERSECT
DUP
PUSH
ADD
ADD
PUSH
INTERSECT
DUP
PUSH
ADD
ADD
DUP
17
PUSH
DUP
DUP
ADD
PUSH
PUSH
INTERSECT
INTERSECT
DUP
UNION
INTERSECT
DUP
DUP
DUP
INTERSECT
ADD
UNION
9
PUSH
DUP
INTERSECT
PUSH
DUP
DUP
UNION
PUSH
INTERSECT
17
PUSH
PUSH
INTERSECT
DUP
DUP
DUP
UNION
INTERSECT
PUSH
PUSH
PUSH
PUSH
UNION
INTERSECT
PUSH
INTERSECT
ADD
15
PUSH
PUSH
INTERSECT
DUP
ADD
DUP
INTERSECT
DUP
PUSH
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
18
PUSH
DUP
DUP
INTERSECT
UNION
DUP
ADD
DUP
UNION
PUSH
DUP
INTERSECT
ADD
PUSH
PUSH
ADD
PUSH
ADD
7
PUSH
PUSH
ADD
DUP
ADD
PUSH
INTERSECT
4
PUSH
DUP
UNION
DUP
13
PUSH
DUP
DUP
PUSH
INTERSECT
INTERSECT
PUSH
PUSH
INTERSECT
UNION
DUP
DUP
UNION
4
PUSH
PUSH
ADD
PUSH
20
PUSH
DUP
ADD
PUSH
DUP
UNION
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
DUP
DUP
PUSH
DUP
ADD
5
PUSH
DUP
ADD
DUP
PUSH
1
PUSH
19
PUSH
DUP
PUSH
INTERSECT
ADD
PUSH
PUSH
ADD
PUSH
UNION
UNION
DUP
UNION
PUSH
DUP
UNION
ADD
PUSH
INTERSECT
7
PUSH
PUSH
DUP
INTERSECT
UNION
DUP
PUSH
9
PUSH
PUSH
DUP
UNION
INTERSECT
PUSH
ADD
DUP
UNION
18
PUSH
PUSH
UNION
DUP
UNION
PUSH
ADD
DUP
DUP
PUSH
PUSH
ADD
UNION
ADD
UNION
DUP
INTERSECT
DUP
5
PUSH
DUP
DUP
PUSH
ADD
2
PUSH
DUP
3
PUSH
PUSH
INTERSECT
13
PUSH
PUSH
INTERSECT
PUSH
DUP
DUP
PUSH
UNION
INTERSECT
DUP
ADD
DUP
PUSH
3
PUSH
PUSH
PUSH
7
PUSH
DUP
DUP
ADD
ADD
DUP
DUP
18
PUSH
DUP
PUSH
PUSH
INTERSECT
PUSH
ADD
INTERSECT
UNION
DUP
INTERSECT
PUSH
ADD
PUSH
UNION
PUSH
PUSH
PUSH
17
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
ADD
DUP
INTERSECT
DUP
PUSH
INTERSECT
DUP
DUP
DUP
INTERSECT
ADD
9
PUSH
DUP
PUSH
ADD
DUP
PUSH
PUSH
ADD
UNION
18
PUSH
PUSH
UNION
DUP
PUSH
ADD
PUSH
DUP
DUP
INTERSECT
PUSH
UNION
UNION
ADD
PUSH
DUP
PUSH
DUP
1
PUSH
4
PUSH
PUSH
DUP
DUP
8
PUSH
DUP
UNION
PUSH
PUSH
ADD
UNION
PUSH
17
PUSH
DUP
INTERSECT
PUSH
PUSH
ADD
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
PUSH
INTERSECT
ADD
PUSH
DUP
12
PUSH
DUP
DUP
PUSH
UNION
UNION
INTERSECT
PUSH
DUP
DUP
UNION
PUSH
17
PUSH
DUP
INTERSECT
PUSH
PUSH
ADD
INTERSECT
PUSH
PUSH
DUP
ADD
DUP
DUP
PUSH
INTERSECT
UNION
PUSH
19
PUSH
DUP
INTERSECT
DUP
UNION
DUP
ADD
PUSH
ADD
DUP
INTERSECT
PUSH
DUP
ADD
PUSH
UNION
DUP
ADD
INTERSECT
8
PUSH
PUSH
UNION
DUP
ADD
DUP
PUSH
INTERSECT
3
PUSH
DUP
UNION
12
PUSH
PUSH
PUSH
UNION
UNION
PUSH
PUSH
PUSH
ADD
DUP
DUP
DUP
2
PUSH
DUP
16
PUSH
PUSH
PUSH
PUSH
INTERSECT
INTERSECT
INTERSECT
DUP
DUP
PUSH
ADD
PUSH
DUP
INTERSECT
PUSH
PUSH
18
PUSH
DUP
PUSH
DUP
UNION
PUSH
ADD
DUP
DUP
ADD
DUP
ADD
INTERSECT
DUP
DUP
PUSH
INTERSECT
ADD
16
PUSH
DUP
INTERSECT
PUSH
DUP
DUP
UNION
INTERSECT
INTERSECT
DUP
INTERSECT
PUSH
DUP
DUP
DUP
PUSH
11
PUSH
DUP
INTERSECT
PUSH
DUP
INTERSECT
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
9
PUSH
DUP
UNION
PUSH
UNION
PUSH
PUSH
DUP
DUP
7
PUSH
DUP
PUSH
DUP
INTERSECT
DUP
ADD
14
PUSH
PUSH
PUSH
UNION
ADD
DUP
UNION
DUP
INTERSECT
PUSH
ADD
DUP
DUP
ADD
5
PUSH
DUP
UNION
PUSH
INTERSECT
14
PUSH
PUSH
UNION
PUSH
DUP
UNION
UNION
DUP
UNION
PUSH
ADD
DUP
DUP
INTERSECT
17
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
UNION
PUSH
ADD
DUP
PUSH
INTERSECT
UNION
DUP
ADD
DUP
ADD
7
PUSH
DUP
PUSH
DUP
PUSH
PUSH
DUP
1
PUSH
12
PUSH
PUSH
INTERSECT
PUSH
UNION
PUSH
DUP
INTERSECT
DUP
INTERSECT
INTERSECT
DUP
3
PUSH
PUSH
ADD
5
PUSH
DUP
UNION
PUSH
ADD
13
PUSH
DUP
INTERSECT
PUSH
PUSH
ADD
ADD
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
ADD
5
PUSH
PUSH
DUP
INTERSECT
PUSH
1
PUSH
17
PUSH
PUSH
ADD
DUP
DUP
ADD
DUP
PUSH
UNION
PUSH
ADD
UNION
PUSH
DUP
UNION
ADD
ADD
20
PUSH
PUSH
INTERSECT
DUP
UNION
DUP
DUP
INTERSECT
INTERSECT
DUP
INTERSECT
PUSH
UNION
PUSH
PUSH
UNION
PUSH
ADD
DUP
PUSH
18
PUSH
DUP
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
PUSH
ADD
INTERSECT
PUSH
PUSH
UNION
ADD
PUSH
PUSH
DUP
12
PUSH
DUP
PUSH
ADD
DUP
INTERSECT
INTERSECT
PUSH
ADD
DUP
PUSH
UNION
1
PUSH
19
PUSH
DUP
DUP
PUSH
DUP
UNION
INTERSECT
ADD
PUSH
UNION
INTERSECT
DUP
UNION
PUSH
DUP
UNION
ADD
PUSH
DUP
3
PUSH
PUSH
PUSH
19
PUSH
PUSH
PUSH
ADD
INTERSECT
DUP
ADD
DUP
UNION
DUP
INTERSECT
PUSH
PUSH
DUP
PUSH
ADD
DUP
ADD
ADD
18
PUSH
PUSH
PUSH
INTERSECT
ADD
DUP
ADD
PUSH
UNION
PUSH
ADD
DUP
UNION
PUSH
INTERSECT
DUP
DUP
DUP
13
PUSH
DUP
DUP
PUSH
DUP
ADD
DUP
DUP
ADD
INTERSECT
UNION
ADD
PUSH
5
PUSH
DUP
INTERSECT
DUP
UNION
17
PUSH
DUP
UNION
DUP
ADD
DUP
UNION
PUSH
UNION
DUP
DUP
DUP
PUSH
UNION
DUP
DUP
DUP
13
PUSH
PUSH
DUP
UNION
ADD
PUSH
UNION
DUP
PUSH
UNION
UNION
DUP
DUP
8
PUSH
DUP
ADD
DUP
UNION
PUSH
DUP
UNION
4
PUSH
PUSH
DUP
ADD
17
PUSH
DUP
ADD
DUP
INTERSECT
PUSH
DUP
INTERSECT
UNION
DUP
DUP
UNION
DUP
ADD
UNION
PUSH
DUP
15
PUSH
DUP
UNION
PUSH
DUP
ADD
UNION
DUP
PUSH
INTERSECT
DUP
PUSH
DUP
PUSH
ADD
10
PUSH
PUSH
DUP
PUSH
ADD
INTERSECT
DUP
ADD
INTERSECT
PUSH
20
PUSH
PUSH
PUSH
PUSH
DUP
ADD
ADD
DUP
DUP
INTERSECT
UNION
UNION
INTERSECT
DUP
PUSH
DUP
DUP
DUP
PUSH
ADD
11
PUSH
PUSH
UNION
DUP
ADD
PUSH
PUSH
DUP
ADD
ADD
INTERSECT
2
PUSH
DUP
6
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
20
PUSH
DUP
PUSH
DUP
ADD
PUSH
INTERSECT
INTERSECT
UNION
PUSH
UNION
PUSH
INTERSECT
DUP
DUP
INTERSECT
INTERSECT
PUSH
ADD
DUP
20
PUSH
PUSH
PUSH
UNION
DUP
DUP
PUSH
INTERSECT
DUP
INTERSECT
INTERSECT
ADD
INTERSECT
PUSH
ADD
DUP
UNION
PUSH
INTERSECT
PUSH
20
PUSH
PUSH
INTERSECT
PUSH
DUP
ADD
UNION
DUP
ADD
PUSH
INTERSECT
DUP
INTERSECT
DUP
INTERSECT
PUSH
ADD
PUSH
DUP
ADD
12
PUSH
DUP
INTERSECT
DUP
INTERSECT
DUP
PUSH
PUSH
INTERSECT
ADD
PUSH
DUP
17
PUSH
DUP
DUP
PUSH
UNION
ADD
ADD
PUSH
ADD
PUSH
UNION
PUSH
UNION
PUSH
DUP
UNION
PUSH
6
PUSH
DUP
ADD
DUP
DUP
DUP
2
PUSH
DUP
15
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
DUP
INTERSECT
UNION
DUP
PUSH
INTERSECT
ADD
PUSH
UNION
7
PUSH
PUSH
INTERSECT
DUP
INTERSECT
PUSH
PUSH
15
PUSH
DUP
PUSH
ADD
INTERSECT
DUP
UNION
PUSH
ADD
PUSH
ADD
PUSH
ADD
PUSH
PUSH
12
PUSH
DUP
INTERSECT
PUSH
DUP
PUSH
ADD
UNION
UNION
PUSH
UNION
PUSH
13
PUSH
DUP
DUP
ADD
PUSH
UNION
INTERSECT
DUP
UNION
PUSH
UNION
DUP
INTERSECT
13
PUSH
DUP
UNION
PUSH
PUSH
PUSH
DUP
DUP
DUP
ADD
UNION
ADD
INTERSECT
18
PUSH
PUSH
DUP
PUSH
DUP
PUSH
UNION
ADD
ADD
DUP
DUP
UNION
DUP
ADD
PUSH
ADD
ADD
PUSH
2
PUSH
DUP
18
PUSH
PUSH
ADD
DUP
DUP
INTERSECT
PUSH
INTERSECT
ADD
PUSH
ADD
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
ADD
PUSH
5
PUSH
PUSH
DUP
DUP
UNION
5
PUSH
DUP
UNION
PUSH
UNION
15
PUSH
DUP
ADD
PUSH
UNION
DUP
PUSH
ADD
DUP
DUP
ADD
INTERSECT
ADD
PUSH
DUP
17
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
ADD
PUSH
DUP
DUP
PUSH
PUSH
DUP
UNION
INTERSECT
UNION
INTERSECT
19
PUSH
PUSH
UNION
DUP
INTERSECT
DUP
UNION
DUP
UNION
DUP
ADD
DUP
ADD
DUP
UNION
PUSH
PUSH
PUSH
DUP
10
PUSH
DUP
ADD
PUSH
INTERSECT
PUSH
PUSH
UNION
ADD
PUSH
2
PUSH
PUSH
7
PUSH
DUP
UNION
PUSH
INTERSECT
DUP
DUP
18
PUSH
PUSH
PUSH
INTERSECT
UNION
PUSH
PUSH
INTERSECT
DUP
PUSH
INTERSECT
ADD
UNION
PUSH
ADD
DUP
PUSH
PUSH
2
PUSH
DUP
11
PUSH
DUP
DUP
DUP
ADD
INTERSECT
DUP
PUSH
ADD
ADD
INTERSECT
19
PUSH
DUP
UNION
DUP
PUSH
UNION
PUSH
INTERSECT
ADD
PUSH
DUP
UNION
ADD
DUP
ADD
PUSH
PUSH
DUP
ADD
12
PUSH
PUSH
PUSH
UNION
DUP
PUSH
ADD
DUP
DUP
DUP
DUP
PUSH
10
PUSH
DUP
INTERSECT
PUSH
UNION
DUP
PUSH
PUSH
DUP
UNION
15
PUSH
PUSH
ADD
DUP
PUSH
PUSH
INTERSECT
ADD
ADD
PUSH
ADD
PUSH
INTERSECT
DUP
DUP
12
PUSH
DUP
DUP
DUP
INTERSECT
DUP
PUSH
ADD
PUSH
PUSH
DUP
UNION
3
PUSH
PUSH
DUP
2
PUSH
PUSH
13
PUSH
DUP
UNION
PUSH
DUP
UNION
ADD
PUSH
DUP
DUP
DUP
UNION
PUSH
2
PUSH
DUP
10
PUSH
PUSH
UNION
PUSH
INTERSECT
DUP
DUP
DUP
DUP
PUSH
8
PUSH
DUP
INTERSECT
DUP
UNION
PUSH
UNION
PUSH
2
PUSH
DUP
1
PUSH
9
PUSH
DUP
DUP
UNION
INTERSECT
DUP
DUP
DUP
UNION
2
PUSH
DUP
6
PUSH
DUP
DUP
DUP
UNION
DUP
4
PUSH
PUSH
ADD
PUSH
7
PUSH
DUP
DUP
INTERSECT
PUSH
ADD
UNION
8
PUSH
PUSH
ADD
PUSH
UNION
PUSH
ADD
DUP
1
PUSH
2
PUSH
PUSH
3
PUSH
PUSH
DUP
13
PUSH
PUSH
DUP
ADD
UNION
PUSH
UNION
DUP
DUP
INTERSECT
ADD
DUP
PUSH
5
PUSH
PUSH
DUP
INTERSECT
INTERSECT
2
PUSH
PUSH
12
PUSH
DUP
PUSH
ADD
INTERSECT
PUSH
INTERSECT
PUSH
UNION
DUP
INTERSECT
DUP
6
PUSH
DUP
ADD
PUSH
UNION
PUSH
20
PUSH
DUP
PUSH
UNION
ADD
PUSH
INTERSECT
PUSH
PUSH
UNION
DUP
UNION
DUP
DUP
PUSH
INTERSECT
DUP
INTERSECT
PUSH
ADD
9
PUSH
DUP
DUP
PUSH
PUSH
UNION
DUP
INTERSECT
UNION
6
PUSH
DUP
PUSH
UNION
ADD
DUP
15
PUSH
PUSH
PUSH
INTERSECT
UNION
PUSH
PUSH
INTERSECT
ADD
DUP
PUSH
UNION
DUP
INTERSECT
DUP
8
PUSH
DUP
PUSH
DUP
UNION
PUSH
UNION
UNION
12
PUSH
DUP
UNION
DUP
INTERSECT
DUP
ADD
DUP
INTERSECT
PUSH
ADD
PUSH
19
PUSH
DUP
INTERSECT
PUSH
UNION
DUP
INTERSECT
DUP
ADD
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
8
PUSH
DUP
UNION
PUSH
PUSH
INTERSECT
DUP
INTERSECT
8
PUSH
PUSH
INTERSECT
PUSH
UNION
DUP
UNION
PUSH
16
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
DUP
UNION
ADD
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
7
PUSH
PUSH
INTERSECT
PUSH
DUP
PUSH
INTERSECT
16
PUSH
PUSH
PUSH
UNION
UNION
PUSH
UNION
DUP
ADD
DUP
UNION
PUSH
PUSH
ADD
ADD
DUP
7
PUSH
DUP
INTERSECT
PUSH
ADD
PUSH
INTERSECT
3
PUSH
DUP
UNION
10
PUSH
PUSH
ADD
PUSH
ADD
DUP
DUP
DUP
INTERSECT
INTERSECT
9
PUSH
PUSH
DUP
UNION
ADD
PUSH
DUP
UNION
ADD
5
PUSH
DUP
INTERSECT
DUP
DUP
3
PUSH
PUSH
UNION
16
PUSH
PUSH
DUP
INTERSECT
DUP
INTERSECT
DUP
PUSH
INTERSECT
DUP
PUSH
INTERSECT
ADD
INTERSECT
PUSH
UNION
7
PUSH
PUSH
INTERSECT
DUP
UNION
PUSH
UNION
4
PUSH
DUP
INTERSECT
PUSH
8
PUSH
DUP
INTERSECT
DUP
UNION
DUP
INTERSECT
PUSH
12
PUSH
PUSH
PUSH
ADD
DUP
INTERSECT
PUSH
UNION
INTERSECT
PUSH
DUP
ADD
8
PUSH
DUP
ADD
PUSH
UNION
DUP
PUSH
PUSH
11
PUSH
PUSH
ADD
PUSH
PUSH
UNION
DUP
ADD
ADD
PUSH
PUSH
13
PUSH
PUSH
ADD
PUSH
ADD
PUSH
DUP
DUP
UNION
UNION
ADD
PUSH
DUP
12
PUSH
PUSH
UNION
PUSH
DUP
INTERSECT
INTERSECT
DUP
ADD
DUP
DUP
INTERSECT
1
PUSH
6
PUSH
DUP
ADD
PUSH
UNION
DUP
7
PUSH
PUSH
ADD
PUSH
PUSH
PUSH
ADD
7
PUSH
PUSH
DUP
ADD
UNION
PUSH
UNION
16
PUSH
PUSH
DUP
UNION
ADD
DUP
DUP
DUP
ADD
UNION
INTERSECT
PUSH
UNION
PUSH
UNION
DUP
14
PUSH
DUP
ADD
DUP
PUSH
ADD
UNION
PUSH
INTERSECT
DUP
PUSH
ADD
DUP
INTERSECT
12
PUSH
DUP
ADD
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
DUP
PUSH
PUSH
3
PUSH
PUSH
PUSH
5
PUSH
PUSH
PUSH
ADD
DUP
5
PUSH
DUP
UNION
DUP
DUP
9
PUSH
PUSH
INTERSECT
PUSH
PUSH
INTERSECT
UNION
DUP
ADD
11
PUSH
DUP
PUSH
DUP
DUP
INTERSECT
ADD
UNION
ADD
PUSH
INTERSECT
14
PUSH
DUP
ADD
DUP
ADD
PUSH
PUSH
INTERSECT
DUP
INTERSECT
UNION
DUP
ADD
PUSH
5
PUSH
PUSH
PUSH
ADD
INTERSECT
7
PUSH
DUP
INTERSECT
PUSH
UNION
DUP
PUSH
5
PUSH
DUP
UNION
PUSH
PUSH
14
PUSH
PUSH
ADD
DUP
ADD
DUP
PUSH
UNION
PUSH
UNION
INTERSECT
PUSH
ADD
DUP
4
PUSH
DUP
PUSH
PUSH
4
PUSH
PUSH
UNION
PUSH
10
PUSH
PUSH
PUSH
DUP
ADD
ADD
DUP
INTERSECT
PUSH
ADD
6
PUSH
DUP
ADD
DUP
ADD
DUP
10
PUSH
DUP
PUSH
INTERSECT
PUSH
UNION
DUP
UNION
INTERSECT
PUSH
13
PUSH
DUP
PUSH
DUP
INTERSECT
UNION
ADD
PUSH
DUP
UNION
ADD
DUP
UNION
7
PUSH
DUP
ADD
DUP
DUP
PUSH
DUP
14
PUSH
PUSH
UNION
PUSH
DUP
PUSH
PUSH
DUP
PUSH
PUSH
PUSH
ADD
PUSH
INTERSECT
14
PUSH
PUSH
ADD
PUSH
UNION
PUSH
UNION
DUP
DUP
ADD
INTERSECT
DUP
DUP
ADD
2
PUSH
DUP
9
PUSH
PUSH
INTERSECT
PUSH
DUP
INTERSECT
UNION
DUP
DUP
11
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
DUP
UNION
INTERSECT
PUSH
UNION
11
PUSH
DUP
PUSH
DUP
INTERSECT
DUP
DUP
DUP
DUP
DUP
DUP
13
PUSH
PUSH
ADD
DUP
ADD
DUP
ADD
PUSH
PUSH
ADD
UNION
DUP
PUSH
18
PUSH
PUSH
DUP
PUSH
INTERSECT
UNION
UNION
PUSH
UNION
DUP
DUP
INTERSECT
DUP
UNION
DUP
INTERSECT
INTERSECT
DUP
8
PUSH
PUSH
INTERSECT
PUSH
UNION
PUSH
INTERSECT
PUSH
8
PUSH
PUSH
UNION
DUP
PUSH
DUP
UNION
PUSH
10
PUSH
DUP
PUSH
PUSH
DUP
INTERSECT
UNION
ADD
INTERSECT
DUP
1
PUSH
11
PUSH
PUSH
ADD
DUP
UNION
DUP
INTERSECT
DUP
ADD
DUP
DUP
5
PUSH
DUP
DUP
INTERSECT
PUSH
4
PUSH
DUP
INTERSECT
PUSH
9
PUSH
DUP
DUP
PUSH
UNION
ADD
INTERSECT
PUSH
DUP
12
PUSH
PUSH
DUP
DUP
PUSH
DUP
ADD
DUP
DUP
UNION
UNION
DUP
4
PUSH
PUSH
ADD
PUSH
6
PUSH
PUSH
DUP
DUP
INTERSECT
UNION
2
PUSH
DUP
19
PUSH
DUP
INTERSECT
PUSH
DUP
PUSH
UNION
PUSH
ADD
DUP
DUP
PUSH
ADD
ADD
UNION
DUP
ADD
UNION
UNION
13
PUSH
DUP
DUP
PUSH
DUP
INTERSECT
ADD
INTERSECT
DUP
ADD
INTERSECT
DUP
PUSH
5
PUSH
DUP
ADD
PUSH
INTERSECT
2
PUSH
PUSH
12
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
ADD
DUP
DUP
UNION
ADD
PUSH
3
PUSH
DUP
DUP
18
PUSH
DUP
PUSH
DUP
UNION
UNION
PUSH
ADD
INTERSECT
PUSH
ADD
DUP
ADD
PUSH
DUP
INTERSECT
ADD
DUP
9
PUSH
PUSH
PUSH
UNION
INTERSECT
PUSH
INTERSECT
PUSH
DUP
20
PUSH
PUSH
UNION
PUSH
UNION
PUSH
DUP
DUP
ADD
PUSH
DUP
UNION
INTERSECT
UNION
INTERSECT
PUSH
ADD
DUP
PUSH
ADD
5
PUSH
DUP
UNION
PUSH
UNION
20
PUSH
PUSH
PUSH
DUP
PUSH
INTERSECT
UNION
ADD
DUP
PUSH
UNION
PUSH
PUSH
INTERSECT
INTERSECT
ADD
INTERSECT
PUSH
INTERSECT
DUP
16
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
INTERSECT
PUSH
INTERSECT
DUP
DUP
UNION
UNION
DUP
UNION
PUSH
3
PUSH
DUP
INTERSECT
20
PUSH
PUSH
INTERSECT
PUSH
ADD
PUSH
DUP
UNION
UNION
PUSH
INTERSECT
DUP
DUP
ADD
INTERSECT
DUP
PUSH
UNION
UNION
PUSH
2
PUSH
PUSH
11
PUSH
DUP
UNION
DUP
INTERSECT
PUSH
PUSH
ADD
PUSH
DUP
DUP
18
PUSH
DUP
DUP
DUP
DUP
DUP
DUP
INTERSECT
INTERSECT
UNION
INTERSECT
UNION
UNION
PUSH
DUP
INTERSECT
DUP
ADD
18
PUSH
DUP
INTERSECT
PUSH
INTERSECT
DUP
PUSH
DUP
UNION
INTERSECT
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
ADD
DUP
19
PUSH
DUP
INTERSECT
PUSH
DUP
UNION
INTERSECT
DUP
UNION
PUSH
INTERSECT
DUP
UNION
DUP
ADD
DUP
UNION
PUSH
INTERSECT
2
PUSH
DUP
11
PUSH
DUP
PUSH
UNION
UNION
PUSH
PUSH
UNION
ADD
DUP
DUP
5
PUSH
PUSH
INTERSECT
PUSH
ADD
20
PUSH
DUP
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
PUSH
PUSH
DUP
PUSH
INTERSECT
PUSH
INTERSECT
INTERSECT
ADD
DUP
ADD
ADD
19
PUSH
PUSH
PUSH
ADD
UNION
PUSH
DUP
UNION
DUP
DUP
ADD
PUSH
UNION
PUSH
UNION
UNION
UNION
DUP
PUSH
16
PUSH
DUP
ADD
PUSH
PUSH
PUSH
ADD
PUSH
INTERSECT
INTERSECT
PUSH
INTERSECT
DUP
ADD
UNION
PUSH
12
PUSH
PUSH
PUSH
ADD
PUSH
PUSH
UNION
DUP
ADD
DUP
PUSH
DUP
15
PUSH
DUP
INTERSECT
PUSH
PUSH
DUP
ADD
UNION
PUSH
ADD
PUSH
PUSH
DUP
PUSH
DUP
6
PUSH
DUP
ADD
PUSH
UNION
PUSH
7
PUSH
PUSH
DUP
DUP
INTERSECT
ADD
PUSH
19
PUSH
DUP
DUP
DUP
ADD
DUP
INTERSECT
ADD
ADD
PUSH
UNION
PUSH
DUP
DUP
UNION
UNION
PUSH
DUP
DUP
5
PUSH
DUP
DUP
INTERSECT
UNION
17
PUSH
PUSH
PUSH
UNION
INTERSECT
DUP
ADD
DUP
PUSH
PUSH
DUP
PUSH
ADD
UNION
ADD
PUSH
UNION
14
PUSH
PUSH
ADD
DUP
PUSH
UNION
PUSH
UNION
ADD
DUP
PUSH
UNION
UNION
DUP
10
PUSH
DUP
DUP
PUSH
UNION
INTERSECT
PUSH
INTERSECT
UNION
PUSH
13
PUSH
DUP
INTERSECT
PUSH
DUP
INTERSECT
DUP
DUP
DUP
ADD
ADD
ADD
PUSH
16
PUSH
PUSH
DUP
UNION
UNION
DUP
ADD
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
INTERSECT
INTERSECT
PUSH
16
PUSH
PUSH
DUP
INTERSECT
UNION
PUSH
UNION
DUP
PUSH
DUP
UNION
INTERSECT
DUP
PUSH
ADD
INTERSECT
6
PUSH
DUP
ADD
PUSH
UNION
DUP
15
PUSH
DUP
INTERSECT
PUSH
ADD
DUP
ADD
PUSH
UNION
DUP
UNION
DUP
INTERSECT
DUP
ADD
12
PUSH
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
PUSH
PUSH
INTERSECT
DUP
INTERSECT
11
PUSH
PUSH
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
PUSH
INTERSECT
UNION
4
PUSH
PUSH
DUP
UNION
9
PUSH
PUSH
ADD
DUP
DUP
UNION
PUSH
ADD
ADD
20
PUSH
DUP
ADD
DUP
DUP
PUSH
ADD
DUP
UNION
ADD
ADD
PUSH
DUP
UNION
INTERSECT
DUP
ADD
PUSH
ADD
DUP
16
PUSH
PUSH
PUSH
PUSH
INTERSECT
UNION
DUP
DUP
DUP
INTERSECT
DUP
PUSH
PUSH
ADD
ADD
ADD
13
PUSH
DUP
UNION
DUP
ADD
PUSH
UNION
PUSH
ADD
DUP
UNION
PUSH
UNION
17
PUSH
PUSH
ADD
DUP
DUP
DUP
UNION
UNION
UNION
DUP
DUP
DUP
ADD
INTERSECT
INTERSECT
PUSH
UNION
5
PUSH
DUP
PUSH
DUP
DUP
15
PUSH
PUSH
UNION
PUSH
ADD
DUP
ADD
PUSH
UNION
PUSH
INTERSECT
PUSH
DUP
INTERSECT
UNION
8
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
DUP
1
PUSH
1
PUSH
4
PUSH
PUSH
ADD
PUSH
5
PUSH
DUP
INTERSECT
DUP
ADD
15
PUSH
PUSH
PUSH
DUP
DUP
ADD
ADD
ADD
ADD
DUP
DUP
INTERSECT
INTERSECT
PUSH
DUP
20
PUSH
PUSH
INTERSECT
DUP
UNION
DUP
PUSH
PUSH
DUP
DUP
DUP
PUSH
UNION
UNION
ADD
INTERSECT
PUSH
PUSH
DUP
PUSH
10
PUSH
PUSH
ADD
DUP
PUSH
DUP
DUP
UNION
DUP
INTERSECT
19
PUSH
PUSH
UNION
PUSH
INTERSECT
DUP
DUP
UNION
PUSH
ADD
ADD
DUP
PUSH
PUSH
UNION
DUP
UNION
DUP
DUP
18
PUSH
DUP
UNION
PUSH
ADD
DUP
DUP
PUSH
ADD
PUSH
ADD
UNION
PUSH
ADD
INTERSECT
DUP
UNION
PUSH
3
PUSH
DUP
UNION
8
PUSH
DUP
INTERSECT
PUSH
UNION
PUSH
INTERSECT
PUSH
14
PUSH
PUSH
DUP
DUP
UNION
ADD
INTERSECT
DUP
UNION
DUP
ADD
PUSH
UNION
DUP
15
PUSH
DUP
UNION
PUSH
UNION
PUSH
ADD
DUP
DUP
DUP
UNION
UNION
PUSH
PUSH
DUP
16
PUSH
DUP
DUP
ADD
ADD
DUP
PUSH
UNION
ADD
PUSH
DUP
INTERSECT
ADD
PUSH
INTERSECT
PUSH
10
PUSH
DUP
PUSH
INTERSECT
PUSH
ADD
INTERSECT
DUP
DUP
PUSH
11
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
DUP
ADD
PUSH
ADD
DUP
14
PUSH
PUSH
PUSH
DUP
INTERSECT
ADD
INTERSECT
DUP
PUSH
UNION
DUP
DUP
UNION
PUSH
5
PUSH
PUSH
DUP
PUSH
INTERSECT
12
PUSH
DUP
ADD
DUP
DUP
DUP
ADD
PUSH
DUP
ADD
INTERSECT
PUSH
5
PUSH
DUP
ADD
DUP
INTERSECT
19
PUSH
PUSH
INTERSECT
PUSH
PUSH
PUSH
PUSH
INTERSECT
PUSH
UNION
UNION
DUP
UNION
ADD
INTERSECT
DUP
DUP
UNION
ADD
4
PUSH
DUP
UNION
DUP
18
PUSH
DUP
UNION
PUSH
UNION
PUSH
UNION
PUSH
INTERSECT
DUP
ADD
DUP
UNION
DUP
DUP
ADD
ADD
PUSH
19
PUSH
DUP
UNION
DUP
UNION
DUP
UNION
PUSH
DUP
ADD
PUSH
UNION
UNION
PUSH
PUSH
PUSH
ADD
INTERSECT
INTERSECT
14
PUSH
DUP
INTERSECT
PUSH
INTERSECT
DUP
DUP
PUSH
INTERSECT
PUSH
INTERSECT
INTERSECT
INTERSECT
DUP
17
PUSH
DUP
INTERSECT
DUP
PUSH
UNION
DUP
INTERSECT
UNION
PUSH
INTERSECT
DUP
ADD
PUSH
ADD
PUSH
DUP
17
PUSH
PUSH
PUSH
DUP
UNION
ADD
ADD
PUSH
UNION
DUP
PUSH
ADD
DUP
INTERSECT
DUP
ADD
DUP
11
PUSH
PUSH
PUSH
ADD
DUP
UNION
UNION
PUSH
PUSH
UNION
INTERSECT
4
PUSH
PUSH
ADD
PUSH
7
PUSH
DUP
DUP
DUP
ADD
DUP
UNION
4
PUSH
DUP
PUSH
UNION
16
PUSH
DUP
PUSH
INTERSECT
DUP
UNION
DUP
ADD
ADD
PUSH
PUSH
PUSH
PUSH
DUP
DUP
PUSH
10
PUSH
DUP
PUSH
INTERSECT
DUP
ADD
DUP
UNION
PUSH
UNION
19
PUSH
PUSH
DUP
UNION
ADD
DUP
DUP
ADD
DUP
DUP
UNION
PUSH
INTERSECT
DUP
UNION
INTERSECT
INTERSECT
PUSH
PUSH
1
PUSH
19
PUSH
PUSH
PUSH
DUP
DUP
ADD
DUP
INTERSECT
INTERSECT
INTERSECT
UNION
PUSH
INTERSECT
DUP
DUP
ADD
INTERSECT
DUP
ADD
17
PUSH
PUSH
PUSH
INTERSECT
INTERSECT
PUSH
INTERSECT
PUSH
DUP
DUP
INTERSECT
INTERSECT
DUP
INTERSECT
ADD
DUP
UNION
14
PUSH
PUSH
PUSH
ADD
PUSH
DUP
INTERSECT
DUP
ADD
PUSH
UNION
UNION
UNION
DUP
8
PUSH
PUSH
INTERSECT
DUP
ADD
PUSH
INTERSECT
DUP
14
PUSH
PUSH
DUP
UNION
UNION
PUSH
INTERSECT
PUSH
ADD
DUP
INTERSECT
PUSH
ADD
PUSH
12
PUSH
DUP
INTERSECT
DUP
DUP
PUSH
DUP
DUP
INTERSECT
DUP
INTERSECT
PUSH
17
PUSH
DUP
INTERSECT
PUSH
DUP
UNION
PUSH
ADD
DUP
ADD
PUSH
UNION
DUP
ADD
INTERSECT
DUP
PUSH
9
PUSH
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
DUP
ADD
3
PUSH
PUSH
ADD
19
PUSH
PUSH
PUSH
DUP
ADD
ADD
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
PUSH
UNION
UNION
INTERSECT
UNION
DUP
INTERSECT
17
PUSH
DUP
INTERSECT
DUP
PUSH
DUP
UNION
PUSH
INTERSECT
ADD
ADD
DUP
DUP
ADD
ADD
PUSH
PUSH
12
PUSH
PUSH
INTERSECT
PUSH
PUSH
PUSH
ADD
PUSH
INTERSECT
INTERSECT
DUP
PUSH
18
PUSH
DUP
ADD
DUP
UNION
DUP
INTERSECT
PUSH
INTERSECT
DUP
PUSH
INTERSECT
DUP
ADD
UNION
PUSH
INTERSECT
DUP
2
PUSH
DUP
2
PUSH
DUP
13
PUSH
DUP
ADD
PUSH
PUSH
ADD
INTERSECT
DUP
DUP
ADD
DUP
INTERSECT
ADD
2
PUSH
DUP
13
PUSH
PUSH
DUP
PUSH
ADD
PUSH
UNION
UNION
DUP
PUSH
PUSH
ADD
ADD
14
PUSH
DUP
DUP
UNION
DUP
PUSH
PUSH
PUSH
ADD
UNION
PUSH
PUSH
ADD
UNION
8
PUSH
DUP
INTERSECT
PUSH
DUP
PUSH
DUP
DUP
9
PUSH
PUSH
UNION
DUP
DUP
DUP
UNION
UNION
ADD
15
PUSH
PUSH
PUSH
ADD
PUSH
ADD
UNION
PUSH
DUP
ADD
ADD
PUSH
INTERSECT
DUP
UNION
6
PUSH
DUP
DUP
PUSH
DUP
UNION
15
PUSH
DUP
UNION
DUP
UNION
DUP
ADD
PUSH
ADD
DUP
UNION
DUP
DUP
PUSH
DUP
13
PUSH
DUP
ADD
DUP
DUP
INTERSECT
ADD
PUSH
DUP
UNION
INTERSECT
PUSH
ADD
4
PUSH
DUP
DUP
UNION
3
PUSH
DUP
PUSH
11
PUSH
DUP
UNION
DUP
PUSH
UNION
DUP
UNION
UNION
PUSH
INTERSECT
9
PUSH
DUP
DUP
INTERSECT
ADD
PUSH
DUP
INTERSECT
INTERSECT
17
PUSH
PUSH
DUP
PUSH
DUP
UNION
DUP
DUP
UNION
ADD
INTERSECT
PUSH
INTERSECT
UNION
UNION
PUSH
ADD
4
PUSH
DUP
PUSH
PUSH
20
PUSH
DUP
UNION
DUP
PUSH
ADD
ADD
DUP
ADD
PUSH
ADD
PUSH
UNION
PUSH
DUP
DUP
DUP
INTERSECT
DUP
PUSH
2
PUSH
PUSH
2
PUSH
DUP
19
PUSH
DUP
ADD
DUP
ADD
DUP
INTERSECT
PUSH
ADD
PUSH
ADD
PUSH
DUP
PUSH
ADD
PUSH
DUP
PUSH
DUP
13
PUSH
PUSH
INTERSECT
DUP
DUP
INTERSECT
ADD
DUP
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
14
PUSH
DUP
PUSH
UNION
DUP
INTERSECT
PUSH
PUSH
UNION
DUP
DUP
DUP
PUSH
UNION
7
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
ADD
7
PUSH
PUSH
INTERSECT
DUP
PUSH
DUP
DUP
13
PUSH
PUSH
DUP
PUSH
UNION
PUSH
INTERSECT
INTERSECT
PUSH
ADD
UNION
DUP
DUP
13
PUSH
PUSH
UNION
DUP
UNION
PUSH
PUSH
UNION
DUP
PUSH
UNION
UNION
INTERSECT
3
PUSH
PUSH
INTERSECT
10
PUSH
DUP
INTERSECT
DUP
UNION
DUP
UNION
PUSH
PUSH
INTERSECT
8
PUSH
DUP
INTERSECT
PUSH
INTERSECT
PUSH
UNION
PUSH
4
PUSH
DUP
PUSH
DUP
5
PUSH
DUP
DUP
DUP
ADD
20
PUSH
PUSH
DUP
PUSH
PUSH
DUP
ADD
UNION
PUSH
INTERSECT
UNION
PUSH
PUSH
ADD
INTERSECT
INTERSECT
DUP
INTERSECT
INTERSECT
PUSH
18
PUSH
PUSH
PUSH
DUP
PUSH
DUP
UNION
DUP
UNION
DUP
ADD
INTERSECT
ADD
PUSH
PUSH
PUSH
INTERSECT
PUSH
15
PUSH
PUSH
UNION
PUSH
UNION
DUP
UNION
DUP
UNION
DUP
DUP
PUSH
UNION
INTERSECT
PUSH
20
PUSH
DUP
PUSH
UNION
ADD
DUP
DUP
UNION
UNION
DUP
UNION
DUP
INTERSECT
DUP
ADD
PUSH
INTERSECT
PUSH
ADD
PUSH
3
PUSH
DUP
ADD
15
PUSH
PUSH
ADD
PUSH
DUP
DUP
ADD
DUP
ADD
DUP
PUSH
UNION
UNION
DUP
ADD
10
PUSH
PUSH
PUSH
ADD
UNION
PUSH
ADD
PUSH
ADD
DUP
7
PUSH
PUSH
UNION
PUSH
ADD
PUSH
ADD
17
PUSH
DUP
DUP
UNION
DUP
ADD
UNION
PUSH
ADD
DUP
ADD
PUSH
ADD
DUP
UNION
PUSH
ADD
5
PUSH
DUP
DUP
DUP
UNION
5
PUSH
PUSH
ADD
PUSH
DUP
3
PUSH
PUSH
INTERSECT
4
PUSH
DUP
ADD
DUP
19
PUSH
PUSH
INTERSECT
PUSH
ADD
DUP
ADD
PUSH
DUP
UNION
ADD
PUSH
DUP
INTERSECT
UNION
DUP
PUSH
ADD
DUP
5
PUSH
PUSH
INTERSECT
PUSH
DUP
12
PUSH
PUSH
INTERSECT
DUP
PUSH
PUSH
DUP
INTERSECT
PUSH
PUSH
DUP
UNION
3
PUSH
PUSH
ADD
12
PUSH
PUSH
PUSH
INTERSECT
UNION
PUSH
PUSH
INTERSECT
INTERSECT
DUP
PUSH
UNION
20
PUSH
DUP
UNION
DUP
PUSH
INTERSECT
DUP
ADD
ADD
PUSH
PUSH
PUSH
PUSH
UNION
PUSH
INTERSECT
PUSH
PUSH
PUSH
DUP
7
PUSH
DUP
DUP
PUSH
UNION
UNION
ADD
15
PUSH
DUP
ADD
PUSH
PUSH
PUSH
DUP
DUP
PUSH
PUSH
UNION
DUP
INTERSECT
PUSH
UNION
8
PUSH
PUSH
DUP
UNION
DUP
UNION
PUSH
INTERSECT
13
PUSH
DUP
INTERSECT
PUSH
ADD
DUP
ADD
PUSH
DUP
INTERSECT
DUP
UNION
UNION
6
PUSH
DUP
PUSH
UNION
PUSH
DUP
11
PUSH
PUSH
INTERSECT
DUP
UNION
DUP
UNION
DUP
INTERSECT
PUSH
DUP
10
PUSH
PUSH
UNION
PUSH
UNION
PUSH
INTERSECT
DUP
DUP
ADD
18
PUSH
PUSH
DUP
DUP
PUSH
UNION
PUSH
DUP
ADD
PUSH
ADD
PUSH
ADD
INTERSECT
PUSH
PUSH
ADD
INTERSECT
11
PUSH
DUP
DUP
ADD
UNION
DUP
PUSH
ADD
ADD
DUP
ADD
14
PUSH
PUSH
DUP
ADD
ADD
DUP
UNION
PUSH
INTERSECT
PUSH
PUSH
DUP
UNION
PUSH
8
PUSH
DUP
ADD
DUP
PUSH
PUSH
ADD
ADD
14
PUSH
DUP
ADD
PUSH
UNION
DUP
ADD
PUSH
PUSH
ADD
INTERSECT
PUSH
ADD
DUP
18
PUSH
PUSH
ADD
PUSH
UNION
PUSH
INTERSECT
PUSH
UNION
DUP
DUP
ADD
DUP
UNION
INTERSECT
DUP
UNION
DUP
19
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
UNION
DUP
UNION
PUSH
INTERSECT
PUSH
PUSH
UNION
INTERSECT
DUP
DUP
ADD
INTERSECT
11
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
ADD
DUP
INTERSECT
PUSH
ADD
13
PUSH
DUP
UNION
PUSH
DUP
UNION
PUSH
INTERSECT
UNION
DUP
ADD
PUSH
DUP
7
PUSH
DUP
INTERSECT
PUSH
INTERSECT
DUP
DUP
16
PUSH
DUP
DUP
PUSH
PUSH
ADD
ADD
UNION
INTERSECT
DUP
PUSH
DUP
ADD
UNION
DUP
INTERSECT
6
PUSH
PUSH
UNION
DUP
PUSH
INTERSECT
5
PUSH
PUSH
INTERSECT
DUP
PUSH
15
PUSH
DUP
INTERSECT
DUP
UNION
DUP
DUP
DUP
PUSH
PUSH
UNION
ADD
INTERSECT
PUSH
UNION
7
PUSH
DUP
ADD
PUSH
UNION
DUP
DUP
14
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
DUP
UNION
PUSH
PUSH
INTERSECT
ADD
ADD
PUSH
16
PUSH
PUSH
INTERSECT
PUSH
DUP
UNION
PUSH
UNION
ADD
DUP
ADD
PUSH
INTERSECT
DUP
PUSH
UNION
12
PUSH
DUP
ADD
DUP
PUSH
DUP
DUP
UNION
UNION
ADD
UNION
PUSH
20
PUSH
PUSH
ADD
PUSH
UNION
PUSH
INTERSECT
DUP
INTERSECT
DUP
DUP
UNION
UNION
DUP
DUP
ADD
ADD
DUP
PUSH
ADD
10
PUSH
DUP
UNION
PUSH
UNION
PUSH
INTERSECT
DUP
UNION
DUP
15
PUSH
DUP
DUP
INTERSECT
PUSH
UNION
INTERSECT
DUP
PUSH
UNION
UNION
DUP
UNION
DUP
UNION
6
PUSH
DUP
ADD
DUP
DUP
INTERSECT
7
PUSH
PUSH
INTERSECT
DUP
PUSH
UNION
UNION
8
PUSH
DUP
PUSH
UNION
PUSH
INTERSECT
PUSH
UNION
19
PUSH
PUSH
ADD
PUSH
INTERSECT
DUP
UNION
DUP
ADD
DUP
UNION
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
ADD
PUSH
DUP
1
PUSH
1
PUSH
12
PUSH
PUSH
ADD
DUP
DUP
INTERSECT
ADD
PUSH
PUSH
ADD
ADD
DUP
1
PUSH
4
PUSH
DUP
UNION
PUSH
7
PUSH
PUSH
PUSH
INTERSECT
PUSH
DUP
DUP
3
PUSH
PUSH
DUP
16
PUSH
DUP
DUP
ADD
INTERSECT
PUSH
DUP
ADD
PUSH
UNION
PUSH
ADD
ADD
PUSH
DUP
UNION
14
PUSH
DUP
DUP
PUSH
DUP
INTERSECT
ADD
DUP
PUSH
DUP
PUSH
ADD
INTERSECT
INTERSECT
20
PUSH
PUSH
ADD
DUP
UNION
PUSH
UNION
DUP
PUSH
ADD
INTERSECT
PUSH
DUP
PUSH
DUP
PUSH
INTERSECT
PUSH
PUSH
PUSH
13
PUSH
PUSH
DUP
UNION
PUSH
ADD
PUSH
DUP
UNION
UNION
UNION
PUSH
PUSH
4
PUSH
PUSH
INTERSECT
DUP
7
PUSH
DUP
INTERSECT
PUSH
DUP
DUP
ADD
1
PUSH
2
PUSH
PUSH
12
PUSH
DUP
DUP
ADD
PUSH
INTERSECT
INTERSECT
PUSH
PUSH
INTERSECT
DUP
INTERSECT
14
PUSH
PUSH
ADD
PUSH
ADD
DUP
UNION
PUSH
ADD
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
16
PUSH
PUSH
PUSH
PUSH
PUSH
INTERSECT
UNION
PUSH
INTERSECT
DUP
PUSH
UNION
UNION
DUP
PUSH
INTERSECT
8
PUSH
PUSH
UNION
PUSH
UNION
PUSH
ADD
DUP
4
PUSH
PUSH
ADD
DUP
15
PUSH
PUSH
PUSH
PUSH
INTERSECT
UNION
PUSH
UNION
PUSH
PUSH
ADD
PUSH
ADD
PUSH
INTERSECT
5
PUSH
DUP
INTERSECT
DUP
DUP
9
PUSH
PUSH
UNION
DUP
PUSH
INTERSECT
ADD
DUP
PUSH
13
PUSH
PUSH
PUSH
ADD
INTERSECT
DUP
DUP
DUP
DUP
DUP
UNION
INTERSECT
INTERSECT
17
PUSH
DUP
DUP
UNION
DUP
ADD
INTERSECT
PUSH
PUSH
UNION
UNION
PUSH
UNION
DUP
PUSH
UNION
DUP
4
PUSH
PUSH
ADD
PUSH
20
PUSH
DUP
UNION
DUP
DUP
DUP
INTERSECT
DUP
PUSH
PUSH
PUSH
UNION
DUP
INTERSECT
PUSH
ADD
UNION
UNION
UNION
UNION
20
PUSH
DUP
INTERSECT
DUP
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
PUSH
INTERSECT
DUP
INTERSECT
PUSH
PUSH
DUP
DUP
INTERSECT
UNION
DUP
10
PUSH
DUP
PUSH
DUP
UNION
DUP
UNION
DUP
DUP
PUSH
10
PUSH
DUP
PUSH
ADD
INTERSECT
PUSH
PUSH
UNION
ADD
DUP
10
PUSH
DUP
DUP
ADD
DUP
UNION
DUP
PUSH
DUP
INTERSECT
3
PUSH
PUSH
PUSH
20
PUSH
PUSH
ADD
DUP
INTERSECT
DUP
INTERSECT
PUSH
ADD
DUP
UNION
PUSH
DUP
UNION
UNION
PUSH
UNION
DUP
PUSH
DUP
7
PUSH
DUP
DUP
DUP
UNION
DUP
INTERSECT
15
PUSH
DUP
INTERSECT
PUSH
PUSH
ADD
ADD
DUP
UNION
DUP
DUP
INTERSECT
DUP
PUSH
PUSH
19
PUSH
PUSH
ADD
DUP
PUSH
INTERSECT
UNION
PUSH
INTERSECT
PUSH
PUSH
ADD
PUSH
INTERSECT
DUP
PUSH
UNION
PUSH
PUSH
1
PUSH
5
PUSH
DUP
DUP
PUSH
DUP
13
PUSH
DUP
INTERSECT
DUP
ADD
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
INTERSECT
DUP
3
PUSH
DUP
UNION
20
PUSH
PUSH
DUP
ADD
ADD
PUSH
INTERSECT
DUP
INTERSECT
DUP
ADD
PUSH
INTERSECT
PUSH
PUSH
PUSH
INTERSECT
ADD
PUSH
PUSH
15
PUSH
PUSH
PUSH
ADD
INTERSECT
DUP
DUP
DUP
PUSH
INTERSECT
PUSH
DUP
DUP
ADD
INTERSECT
15
PUSH
DUP
ADD
PUSH
INTERSECT
DUP
UNION
PUSH
DUP
UNION
UNION
DUP
ADD
PUSH
INTERSECT
10
PUSH
PUSH
PUSH
INTERSECT
INTERSECT
PUSH
PUSH
PUSH
UNION
DUP
3
PUSH
DUP
INTERSECT
6
PUSH
DUP
UNION
DUP
PUSH
PUSH
13
PUSH
DUP
PUSH
DUP
ADD
PUSH
PUSH
UNION
INTERSECT
PUSH
ADD
DUP
INTERSECT
10
PUSH
PUSH
ADD
DUP
ADD
DUP
UNION
PUSH
INTERSECT
PUSH
9
PUSH
PUSH
PUSH
DUP
ADD
UNION
DUP
ADD
UNION
6
PUSH
DUP
UNION
DUP
UNION
PUSH
3
PUSH
DUP
ADD
6
PUSH
PUSH
DUP
DUP
INTERSECT
PUSH
13
PUSH
PUSH
ADD
PUSH
UNION
PUSH
ADD
PUSH
ADD
PUSH
UNION
PUSH
INTERSECT
12
PUSH
PUSH
UNION
PUSH
DUP
DUP
ADD
ADD
UNION
PUSH
INTERSECT
PUSH
14
PUSH
DUP
INTERSECT
PUSH
DUP
DUP
ADD
PUSH
UNION
DUP
DUP
PUSH
ADD
PUSH
5
PUSH
PUSH
UNION
PUSH
INTERSECT
17
PUSH
DUP
DUP
PUSH
PUSH
PUSH
INTERSECT
INTERSECT
INTERSECT
ADD
PUSH
PUSH
ADD
INTERSECT
ADD
PUSH
INTERSECT
7
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
PUSH
4
PUSH
PUSH
ADD
DUP
13
PUSH
PUSH
INTERSECT
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
DUP
DUP
DUP
ADD
5
PUSH
PUSH
ADD
PUSH
UNION
8
PUSH
DUP
ADD
DUP
UNION
DUP
ADD
PUSH
8
PUSH
DUP
UNION
PUSH
UNION
PUSH
ADD
DUP
8
PUSH
PUSH
ADD
DUP
PUSH
UNION
INTERSECT
PUSH
8
PUSH
DUP
DUP
INTERSECT
INTERSECT
PUSH
INTERSECT
PUSH
2
PUSH
DUP
2
PUSH
PUSH
5
PUSH
PUSH
UNION
DUP
PUSH
3
PUSH
PUSH
DUP
14
PUSH
PUSH
PUSH
ADD
ADD
DUP
PUSH
INTERSECT
INTERSECT
PUSH
ADD
DUP
INTERSECT
DUP
3
PUSH
PUSH
PUSH
19
PUSH
DUP
PUSH
UNION
UNION
DUP
INTERSECT
PUSH
UNION
PUSH
INTERSECT
PUSH
PUSH
ADD
ADD
DUP
INTERSECT
PUSH
UNION
5
PUSH
DUP
UNION
PUSH
ADD
3
PUSH
PUSH
PUSH
16
PUSH
PUSH
UNION
DUP
INTERSECT
DUP
PUSH
INTERSECT
UNION
DUP
INTERSECT
DUP
UNION
PUSH
DUP
INTERSECT
15
PUSH
DUP
UNION
PUSH
UNION
DUP
UNION
DUP
ADD
DUP
ADD
PUSH
UNION
PUSH
INTERSECT
18
PUSH
PUSH
INTERSECT
DUP
INTERSECT
DUP
DUP
INTERSECT
DUP
PUSH
INTERSECT
ADD
PUSH
PUSH
DUP
DUP
DUP
INTERSECT
10
PUSH
DUP
DUP
UNION
UNION
PUSH
ADD
DUP
ADD
PUSH
4
PUSH
DUP
PUSH
DUP
14
PUSH
DUP
PUSH
INTERSECT
INTERSECT
DUP
UNION
DUP
ADD
PUSH
PUSH
DUP
UNION
UNION
3
PUSH
PUSH
PUSH
4
PUSH
DUP
PUSH
PUSH
18
PUSH
DUP
ADD
DUP
INTERSECT
DUP
UNION
DUP
ADD
PUSH
PUSH
PUSH
INTERSECT
PUSH
UNION
UNION
UNION
PUSH
10
PUSH
DUP
UNION
DUP
INTERSECT
PUSH
PUSH
UNION
INTERSECT
DUP
18
PUSH
PUSH
INTERSECT
PUSH
PUSH
INTERSECT
UNION
DUP
UNION
DUP
DUP
PUSH
DUP
INTERSECT
UNION
UNION
ADD
DUP
7
PUSH
DUP
ADD
PUSH
PUSH
INTERSECT
ADD
7
PUSH
PUSH
ADD
PUSH
ADD
DUP
INTERSECT
17
PUSH
DUP
INTERSECT
PUSH
DUP
ADD
INTERSECT
PUSH
DUP
UNION
PUSH
UNION
INTERSECT
DUP
ADD
DUP
INTERSECT
Problem Description Link:
Problem Id:
12096
