full

(if (= 3 4) 6 (+ (- (if (= 2 3) 96 (- (if (= 4 2) 92 (- (- (+ (- (if (= 2 2) 62 (- (if (= 2 4) 17 (+ (+ (+ (- (if (= 3 4) 7 (+ (- (+ (- (- (- (if (= 4 4) 42 (- (+ (- (- (if (= 5 2) 69 (- (- (if (= 5 4) 5 (- (+ (if (= 4 1) 20 (+ (if (= 4 5) 47 (if (= 2 5) 35 (- (if (= 2 2) 68 (if (= 5 5) 52 (+ (+ (+ (- (- (+ (if (= 5 3) 54 (- (- (if (= 2 3) 6 (- (+ (+ (- (if (= 5 5) 69 (if (= 1 1) 56 (- (+ (- (+ (- (- (- (if (= 3 5) 24 (- (- (if (= 3 5) 44 (- (if (= 5 3) 25 (+ (- (+ (- (+ (+ (+ (+ (+ (if (= 2 3) 23 (- (+ (if (= 4 2) 69 (+ (- (if (= 5 4) 56 (if (= 1 4) 85 (- (+ (- (if (= 1 3) 66 (- (if (= 5 3) 28 (if (= 2 2) 4 (if (= 4 2) 6 (if (= 1 4) 92 (if (= 4 4) 79 (+ (if (= 3 5) 13 (if (= 4 3) 47 (- (- (if (= 2 1) 27 (if (= 1 4) 91 (+ (+ (if (= 5 5) 84 (- (+ (- (- (+ (if (= 5 5) 14 (- (+ (+ (+ (+ (- (+ (+ (if (= 1 4) 39 (- (if (= 2 2) 48 (- (- (if (= 5 5) 37 (+ (- (if (= 4 5) 18 (if (= 2 3) 26 (if (= 5 3) 9 (+ (- (+ (if (= 4 4) 50 (+ (- (- (- (- (if (= 2 1) 19 (- (- (+ (- (+ (if (= 2 2) 45 (if (= 5 1) 47 (if (= 4 4) 42 (+ (- (if (= 5 4) 3 (- (- (- (if (= 3 5) 47 (- (+ (- (+ (if (= 3 5) 83 (if (= 3 5) 39 (- (- (+ (+ (- (+ (- (if (= 3 1) 84 (+ (+ (+ (if (= 1 2) 75 (- (- (- (- (if (= 5 1) 79 (- (- (+ (- (+ (+ (+ (if (= 2 5) 44 (+ (+ (if (= 3 5) 15 (if (= 1 2) 49 (- (if (= 1 3) 54 (- (- (- (if (= 2 3) 91 (+ (if (= 5 3) 16 (+ (+ (if (= 2 5) 19 (- (+ (if (= 5 5) 98 (+ (if (= 5 4) 25 (- (- (if (= 1 1) 29 (+ (if (= 4 5) 95 (- (+ (+ (if (= 1 4) 75 (- (+ (if (= 4 2) 38 (if (= 1 1) 30 (if (= 5 1) 21 (if (= 1 4) 39 (if (= 1 1) 71 (if (= 4 5) 40 (+ (+ (if (= 5 3) 59 (+ (+ (+ (+ (+ (- (if (= 3 1) 69 (if (= 2 2) 36 (- (+ (+ (+ (- (- (- (+ (- (if (= 5 4) 78 (+ (if (= 5 2) 6 (+ (- (- (+ (+ (+ (if (= 5 3) 99 (- (- (if (= 3 3) 22 (+ (+ (if (= 1 1) 91 (if (= 1 3) 10 (if (= 3 1) 1 (- (+ (if (= 2 3) 15 (- (+ (if (= 3 3) 21 (if (= 1 2) 15 (+ (if (= 2 4) 56 (if (= 3 3) 6 (+ (- (- (- (if (= 4 3) 56 (if (= 2 1) 73 (if (= 3 1) 43 (- (+ (- (+ (- (if (= 1 1) 12 (- (- (+ (+ (+ (+ (- (if (= 2 3) 27 (- (+ (- (if (= 2 1) 100 (if (= 2 3) 91 (+ (+ (+ (+ (- (if (= 2 1) 12 (- (- (+ (- (- (- (- (+ (- (+ (if (= 4 4) 34 (- (- (+ (+ (- (if (= 3 4) 7 (if (= 5 2) 74 (if (= 3 2) 92 (if (= 5 5) 26 (if (= 1 3) 47 (- (- (if (= 5 1) 33 (- (+ (if (= 1 5) 74 (if (= 1 3) 83 (- (- (+ (- (if (= 1 2) 58 (- (+ (if (= 5 3) 85 (if (= 3 3) 8 (- (+ (if (= 2 1) 32 (- (- (if (= 2 2) 56 (- (- (- (if (= 2 4) 40 (if (= 4 4) 57 (if (= 4 4) 50 (if (= 4 5) 49 (if (= 1 4) 50 (+ (if (= 2 3) 26 (- (+ (+ (+ (- (if (= 4 5) 87 (- (+ (+ (- (+ (if (= 5 2) 36 (+ (if (= 2 5) 56 (- (- (+ (+ (- (+ (- (+ (if (= 1 4) 13 (+ (+ (- (- (if (= 5 1) 89 (if (= 2 4) 23 (if (= 2 5) 83 (if (= 2 1) 54 (- (if (= 5 3) 51 (if (= 2 2) 52 (if (= 4 4) 62 (+ (if (= 1 1) 30 (if (= 2 1) 68 (- (- (- (- (+ (- (if (= 4 3) 22 (+ (if (= 3 2) 89 (if (= 5 1) 13 (+ (+ (- (+ (if (= 2 1) 46 (if (= 2 2) 28 (+ (+ (if (= 5 5) 25 (- (- (if (= 4 4) 14 (+ (+ (if (= 1 2) 22 (+ (- (if (= 1 4) 42 (+ (- (if (= 2 5) 21 (if (= 2 1) 74 (+ (if (= 5 4) 98 (if (= 5 4) 89 (if (= 1 4) 66 (+ (if (= 4 2) 78 (+ (if (= 4 1) 87 (- (+ (if (= 4 4) 78 (- (+ (if (= 4 3) 73 (if (= 5 3) 13 (if (= 3 2) 55 (- (if (= 5 2) 63 (- (+ (- (- (+ (if (= 4 4) 9 (- (- (+ (if (= 5 2) 55 (- (if (= 5 2) 31 (if (= 2 2) 70 (+ (+ (+ (- (if (= 1 3) 35 (+ (+ (- (+ (- (- (+ (+ (if (= 2 1) 34 (- (if (= 5 3) 72 (if (= 3 5) 35 (+ (- (if (= 5 2) 24 (if (= 4 3) 11 (- (+ (if (= 1 4) 26 (if (= 2 5) 47 (if (= 2 5) 80 (- (- (if (= 3 1) 97 (- (+ (- (- (if (= 3 5) 26 (if (= 3 5) 32 (if (= 4 5) 43 (if (= 4 5) 86 (- (if (= 4 5) 83 (if (= 1 2) 94 (if (= 5 3) 6 (- (+ (- (- (if (= 1 3) 57 (- (+ (- (- (+ (+ (+ (+ (- (+ (- (+ (- (- (+ (- (if (= 3 3) 4 (+ (- (+ (if (= 2 1) 19 (- (- (if (= 3 5) 17 (+ (if (= 4 5) 51 (+ (- (if (= 2 2) 20 (if (= 2 5) 56 (- (- (if (= 5 3) 74 (+ (+ (if (= 5 1) 68 (if (= 5 4) 66 (- (if (= 2 5) 23 (if (= 2 1) 54 (+ (if (= 3 3) 40 (if (= 4 3) 83 (if (= 4 2) 4 (+ (+ (- (- (if (= 2 5) 17 (if (= 1 4) 89 (+ (+ (- (+ (+ (+ (- (if (= 4 1) 71 (if (= 2 5) 71 (if (= 5 1) 18 (if (= 5 5) 70 (+ (- (+ (- (if (= 3 3) 88 (+ (if (= 2 5) 68 (- (+ (if (= 5 3) 81 (- (+ (if (= 2 3) 87 (- (- (if (= 5 3) 55 (+ (if (= 1 2) 62 (- (+ (if (= 1 5) 32 (- (if (= 5 4) 90 (- (- (if (= 2 1) 45 (- (+ (- (if (= 4 3) 70 (+ (if (= 1 5) 64 (+ (if (= 5 3) 1 (if (= 4 4) 31 (+ (- (if (= 1 2) 55 (if (= 3 1) 18 (+ (- (+ (- (+ (+ (if (= 2 5) 48 (- (+ (- (- (if (= 4 4) 94 (if (= 3 5) 47 (+ (if (= 5 1) 11 (+ (- (if (= 1 3) 94 (if (= 1 5) 59 (- (+ (if (= 2 1) 6 (if (= 2 4) 65 (- (+ (- (+ (if (= 3 4) 6 (- (if (= 4 4) 34 (if (= 3 3) 69 (+ (- (+ (- (if (= 3 4) 64 (+ (- (+ (- (+ (- (+ (+ (- (+ (+ (- (- (+ (if (= 5 3) 24 (if (= 3 1) 84 (- (+ (if (= 4 4) 65 (+ (+ (+ (if (= 4 4) 80 (+ (- (if (= 1 1) 23 (if (= 3 2) 14 (- (+ (+ (- (- (- (if (= 5 4) 53 (+ (+ (- (- (+ (+ (- (- (if (= 3 3) 15 (if (= 4 2) 75 (if (= 3 1) 32 (if (= 3 1) 27 (- (- (- (if (= 1 4) 97 (+ (- (- (if (= 4 4) 2 (+ (if (= 1 5) 12 (+ (if (= 4 2) 93 (+ (if (= 4 3) 29 (- (if (= 5 3) 79 (- (- (if (= 3 1) 46 (+ (- (+ (- (if (= 3 2) 25 (+ (if (= 5 4) 23 (if (= 2 2) 85 (- (+ (- (+ (+ (+ (- (+ (if (= 3 5) 53 (+ (- (+ (+ (if (= 5 3) 76 (if (= 4 4) 2 (+ (if (= 5 4) 3 (+ (- (if (= 1 3) 56 (if (= 5 1) 92 (+ (+ (- (+ (+ (- (if (= 1 1) 35 (- (- (if (= 1 4) 17 (- (if (= 5 1) 82 (+ (if (= 3 3) 11 (+ (if (= 4 2) 84 (+ (+ (+ (+ (+ (- (- (if (= 4 3) 98 (- (if (= 5 3) 42 (if (= 1 4) 45 (+ (+ (+ (if (= 2 5) 6 (- (+ (+ (if (= 5 1) 39 (if (= 5 1) 34 (if (= 2 3) 30 (if (= 2 3) 71 (+ (+ (- (+ (- (- (if (= 1 5) 69 (+ (if (= 4 3) 24 (+ (- (- (+ (if (= 2 2) 52 (if (= 2 5) 93 (if (= 4 1) 43 (- (+ (if (= 2 5) 47 (if (= 3 2) 49 (- (+ (- (if (= 3 2) 5 (if (= 5 2) 31 (+ (- (if (= 2 1) 19 (+ (+ (if (= 4 4) 87 (- (+ (- (if (= 2 5) 37 (if (= 2 4) 98 (if (= 5 1) 10 (- (- (+ (if (= 5 1) 91 (+ (if (= 5 4) 23 (if (= 5 1) 80 (+ (- (if (= 1 4) 9 (- (+ (+ (+ (if (= 2 1) 4 (if (= 2 5) 4 (- (+ (+ (if (= 1 5) 43 (+ (- (if (= 1 2) 38 (+ (if (= 1 4) 22 (- (+ (+ (- (- (+ (if (= 1 4) 54 (- (+ (if (= 2 2) 62 (- (if (= 2 4) 56 (- (if (= 1 5) 58 (if (= 2 1) 66 (+ (if (= 3 5) 60 (- (if (= 5 5) 60 (+ (if (= 4 1) 44 (- (- (- (- (+ (- (if (= 4 4) 8 (- (+ (+ (+ (+ (- (+ (- (- (- (- (- (if (= 2 2) 16 (+ (+ (+ (- (+ (if (= 2 3) 76 (- (- (- (- (- (if (= 3 1) 41 (- (+ (if (= 4 3) 30 (- (if (= 4 3) 74 (if (= 4 2) 40 (+ (+ (if (= 1 2) 14 (- (+ (+ (- (+ (+ (- (- (if (= 2 2) 14 (- (if (= 3 1) 66 (if (= 2 3) 95 (if (= 4 2) 42 (+ (+ (+ (if (= 4 2) 77 (+ (- (+ (- (- (if (= 2 2) 31 (if (= 1 1) 80 (if (= 2 1) 5 (if (= 1 5) 59 (if (= 4 1) 28 (+ (+ (- (+ (if (= 1 2) 100 (+ (- (- (+ (if (= 4 4) 48 (+ (if (= 5 1) 93 (if (= 3 4) 66 (if (= 3 1) 43 (- (if (= 4 3) 44 (- (if (= 1 4) 89 (+ (- (- (+ (if (= 3 4) 36 (- (if (= 2 1) 48 (- (+ (if (= 3 2) 22 (if (= 3 5) 80 (+ (- (if (= 2 4) 67 (if (= 2 1) 7 (- (- (+ (if (= 5 2) 55 (if (= 3 1) 64 (- (- (- (if (= 2 3) 76 (if (= 3 2) 22 (if (= 4 2) 1 (+ (- (- (- (- (- (- (if (= 2 1) 16 (- (- (- (if (= 2 1) 21 (- (- (if (= 5 4) 50 (- (+ (if (= 1 3) 56 (+ (if (= 4 5) 76 (- (+ (if (= 3 3) 74 (- (+ (if (= 1 5) 57 (- (if (= 2 4) 2 (- (if (= 5 2) 68 (+ 13 81)) 73)) 45)) 44) 3)) 100) 60)) 29)) 59) 73)) 90) 57)) 24) 35) 37)) 4) 62) 93) 18) 51) 29) 4)))) 9) 61) 52))) 62) 61) 100))) 12) 65))) 66) 99)) 62)) 13) 23) 29) 53)) 16)) 31)))) 68)) 11) 9) 50) 72)) 66) 4) 23) 75)))))) 93) 43) 7) 97) 34)) 4) 84) 35)))) 49)) 85) 40) 56) 68) 1) 37) 13) 73)) 96) 17))) 22)) 12) 95)) 76) 51) 94) 34) 91)) 54) 20) 73) 86) 73)) 35) 26) 70) 6) 16) 59) 56) 31) 66) 91) 66) 99)) 53) 98) 86) 1) 96) 23)) 50)) 16)) 64))) 98)) 11)) 34) 26)) 47) 40) 30) 59) 94) 42)) 22)) 86) 41)) 69) 10) 18))) 20) 11) 39) 16)) 41) 81))) 18)) 6) 76) 87)))) 96) 89) 73)) 20) 17)) 48) 49))) 17) 16) 60))) 40) 17)))) 96) 14) 24) 27)) 13)) 28) 25) 23) 12) 5) 16))))) 89) 95) 64)) 27) 39) 61))) 46)) 81) 52) 69) 79) 6) 72) 2)) 66)) 35)) 33)) 20) 24)) 47) 73) 37) 67) 94) 17))) 77) 99)) 76))) 51) 69) 88) 94)) 95) 83) 63) 51) 41) 35) 73) 77))) 76)) 86) 31) 88) 52)) 18) 98)) 27)) 22)) 66)) 31)) 4) 69) 5)) 36) 1) 94))))) 30) 53) 14) 55) 34) 80) 33) 27)) 88) 49) 41) 88) 84) 9))) 73) 34)) 92) 13) 15)) 30) 2))) 26) 76) 7) 82) 8) 30) 77) 53) 58) 79) 8) 39) 14) 66)) 21) 88) 83) 59))) 61)) 37) 95) 71) 19))) 59) 59))) 17) 20)) 24))) 54) 97) 50) 50)) 26) 97) 61) 91) 32) 70))) 14) 16))) 59)) 43)) 16) 66) 84)) 41) 95)) 23)) 100) 79)) 58)) 46) 28)) 100) 34)) 85) 17)) 14)) 91) 98) 100) 17))))) 54) 41) 81) 32) 63) 3) 48))) 81) 84) 36) 93)))) 83))) 88))) 59) 92)) 22) 62))) 34) 33)) 79)) 13) 12)) 51) 92) 68)) 71) 64) 94) 71) 90) 48) 88) 66) 26) 16) 61) 19) 43) 45) 86) 90)) 86) 19) 4) 20)))) 1))))) 23) 32) 2) 100)) 76) 26)))) 36) 51))) 83) 66))) 93)) 38) 88) 50) 12) 6) 29) 53) 49)) 91) 45) 39) 92))) 46)) 28) 77) 32)) 10) 32) 73) 33) 59)) 44)))) 36) 40)) 48) 41)) 64)) 3)))) 8))) 42) 100)) 50) 31)) 94) 30)) 58) 46)) 28) 83))) 79) 65) 38) 3))) 15)) 98) 76) 51) 46) 70) 34))) 39)))) 26))))) 75) 70) 50) 6)) 79) 99) 22) 15) 41) 1) 86) 15)) 28)) 25) 82) 95) 7) 56)) 50) 31) 28) 50) 2)) 44)))))) 58) 62) 77)) 20) 39)) 51) 81))) 87) 40)) 13) 24) 21) 45))) 42) 92)) 54) 77)))))) 97) 67) 45) 57) 8)) 67) 13) 99) 59) 82) 43) 57) 69) 4) 68)) 64) 33) 33) 30) 15))) 50) 26) 86)) 100) 43) 74) 16) 74) 38) 81)) 65) 90) 64) 98) 40)))) 34) 73) 11) 96))) 47))) 90) 88)) 99) 57)))) 78) 68)) 61) 59)) 49) 81) 4) 11) 24) 62)) 42)) 58) 59) 8) 20) 95) 56) 8) 67) 98))) 4) 3) 7) 28) 26) 86)) 1) 21))))))) 41) 31)) 89) 29) 53)) 31)) 94) 94)) 74)) 38) 3)) 30) 25)) 65)) 10) 92) 26)) 49))) 81) 41)) 2) 44) 33) 65) 53) 35) 95)) 24) 20) 46) 61)) 12) 45) 66)) 45) 30) 71) 57) 37) 61) 39))) 17) 8) 38) 22)) 23) 4) 25)) 20) 39)))) 78) 53) 2) 83) 71)) 12) 11) 70) 87) 69)) 68) 49) 13)))) 3) 81)) 53) 61)) 71)) 33) 33) 75) 57) 95) 59) 43) 42)) 99) 46) 95) 62) 67)) 5) 82))) 54) 45))) 33)))))) 45)) 100) 52) 63))) 4) 83)) 23) 70)) 25) 25) 96) 89) 63) 62) 43) 11) 12)) 56)) 15) 3)) 93) 5) 9) 3) 24) 9) 17))) 62) 100) 65) 74)) 78) 62)) 27) 42) 72) 77) 86) 72))) 10))) 8)) 68) 60)) 36) 41)) 65) 38) 33) 31)) 32) 16) 67) 33) 40) 50)) 61) 14) 85) 76)) 32)) 52) 98) 25) 73)) 28)) 29) 43))