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 Id: 
12096