3 2 1 Case_0 Case 32 34 1 true Push#_1 Push# -4 173 2 Push1_2 Push1 16 251 3 Push#_3 Push# 12 329 3 Push#_4 Push# 100 383 3 Push1_5 Push1 268 4 2 Push1_6 Push1 385 3 3 Push#_7 Push# 432 102 3 Case_8 Case 295 229 3 Push#_9 Push# 295 333 1 Push1_10 Push1 453 231 1 Case_11 Case 485 388 2 Push#_12 Push# 479 510 1 Push1_13 Push1 634 382 1 Label_14 Label 649 501 1 Quit * 27 232 Push#_1 Push1_2 * 35 313 Push1_2 Push#_3 * 38 398 Push#_3 Push#_4 # 104 131 Case_0 Push#_1 * 95 205 Push#_4 Case_0 * 345 16 Push1_5 Push1_6 * 458 52 Push1_6 Push#_7 1 185 19 Case_0 Push1_5 * 244 65 Push#_7 Case_0 # 367 298 Case_8 Push#_9 * 192 146 Case_0 Case_8 * 270 295 Push#_9 Case_8 1 405 271 Case_8 Push1_10 * 397 208 Push1_10 Case_8 * 425 329 Case_8 Case_11 1 590 429 Case_11 Push1_13 * 581 363 Push1_13 Case_11 # 560 474 Case_11 Push#_12 * 468 459 Push#_12 Case_11 * 599 461 Case_11 Label_14