/* * CS 42, Fall 2009, Assignment 9 * *Programming in Logic * * Due: Thursday Dec 10 by 11:59 PM * * Note: This is a skeletal Prolog file, a09.pro, which you can complete * with your own solutions. */ /* * Download your own free copy of SWI-Prolog from: * * http://www.swi-prolog.org/ * * or run on a CS Linux server (such as knuth.cs.hmc.edu) by typing * * swipl -f a09.pro * * after the prompt. * * Get the movies database from the CS 42 website * * The database will be loaded by including the following in your source file: */ :- ensure_loaded('movies.pro'). /* * A few Prolog gotcha's to remember: * * // is not a comment symbol. It means integer division. * * The two comment forms are: * * slash-star to star-slash * * percent (%) to end-of-line * * Identifiers starting with lower-case are either constants or predicate * names. * * Identifiers starting with upper-case are variables, unless they are in * single quotes '...' which may be also treated as if string quotes. * * Do not use double quotes "...", as this is a shorthand for the list of * individual characters inside the double quotes. * * Using arithmetic symbols such as +, *, -, / WILL not cause evaluation * unless within the right-hand side of an 'is' expression. */ tbd :- fail. % This is to make uncompleted problems fail. /* Problem 0: * * Explore the movies database by running the following queries * interactively, backtracking through several solutions. * (The ?- prompt appears automatically. Don't forget that each * query ends with a period. * * ?- movie(Title, Director, Categories). * * Example output: * * Title = ['Any Given Sunday', 1999], * Director = 'Oliver Stone', * Categories = [drama] ; <<<<< semicolon entered by user for more. * * Title = ['Armageddon', 1998], * Director = 'Michael Bay', * Categories = [action, romance, scifi, thriller] * * Yes * * ?- actress(Name, BirthCity, BirthYear). * * ?- actor(Name, BirthCity, BirthYear). * * ?- plays(ActorOrActress, Role, Title). * * Note that you can also list the entire database at once by: * * ?- listing. * */ /* * There are four main sections to the assignment, each worth 25 points: * movies Movie database * sudograph Generalized sudoku puzzle * forty-two Forty-two puzzle * snacks College snacks puzzle */ /****************************************************************************** * Movies: Complete the definitions of Prolog predicates that respond to * the following queries, made to the Prolog database in the following * ensure_loaded directive. This database defines the following predicates: * * movie([Title, Year], Director, [... categories]) * * actress(Name, [Birth City, Birth State], Birthyear) * * actor(Name, [Birth City, Birth State], Birthyear) * * plays(Player, Role, [Title, Year]) * * Your predicate names must be exactly those given below, or your solutions * will not be able to pass the tests that will be applied in grading. * * Since the essence of the solutions is in your predicate definitions and * not the actual answers, we will provide the answers in test cases. * * In defining your predicates, remove the _ from the variables. These * are present for now so the compiler doesn't complain about singleton * variables, which are often the sign of an error, such as a spelling error. * *****************************************************************************/ /* * 1. directedBandits(Director) iff Director is the director of the movie * ['Bandits', 2001]. */ directedBandits(_Director) :- tbd. /* * 2. directedByBay(Movie) iff Movie is directed by 'Michael Bay'. */ directedByBay(_Movie) :- tbd. /* * 3. actressAfter1970(Actress) iff Actress was born after 1970. */ actressAfter1970(_Actress) :- tbd. /* * 4. player(Name, BirthPlace, Birthyear) iff either * actor(Name, BirthPlace, Birthyear) * or actress(Name, BirthPlace, Birthyear). */ player(_Name, _Birthplace, _Birthyear) :- tbd. /* * 5. bornInLondon(Player) iff Player was born in ['London', 'England']. */ bornInLondon(_Player) :- tbd. /* * 6. playerAndDirector(Player) iff Player is a player that directed * some movie. */ playerAndDirector(_Player) :- tbd. /* * 7. playedAndDirected(Player) iff Player is a player that directed a movie * in which he or she played. */ playedAndDirected(_Player) :- tbd. /* * 8. playedMultiple(Player) iff Player played in more than one movie. */ playedMultiple(_Player) :- tbd. /* * 9. playedInComedy(Player) iff Player played in a comedy. */ playedInComedy(_Player) :- tbd. /* * 10. playedNotDirected(Director) iff Director directed some movies, but * played in at least one movie he/she did not direct. */ playedNotDirected(_Director) :- tbd. /* The following will be used for testing your answers. */ testMovies(Name, Var, Query, Desired) :- setof(Var, Query, Ans), !, ( Ans == Desired -> write('*** test '), write(Name), write(' passed'), nl ; write('*** test '), write(Name), write(' failed'), nl, write(' desired was '), write(Desired), nl, write(' actual was '), write(Ans), nl ). testMovies(Name, _Var, _Query, []) :- !, write('*** test '), write(Name), write(' passed'), nl. testMovies(Name, _Var, _Query, _Desired) :- write('*** test '), write(Name), write(' failed'), nl, % uncomment for info: write(' desired was '), write(_Desired), nl, write(' no answer produced'), nl. testMovies(1) :- testMovies(1, D, directedBandits(D), ['Barry Levinson']). testMovies(2) :- testMovies(2, M, directedByBay(M), [['Armageddon',1998], ['Pearl Harbor',2001]]). testMovies(3) :- testMovies(3, A, actressAfter1970(A), ['Amanda Peet','Cameron Diaz','Drew Barrymore', 'Gwyneth Paltrow','Kate Beckinsale','Liv Tyler']). testMovies(4) :- testMovies(4, [N, B, Y], player(N, B, Y), [['Adam Garcia',['Wahroonga','New South Wales'],1973], ['Al Pacino',['South Bronx','New York'],1940], ['Alec Guinness',['London','England'],1914], ['Amanda Peet',['New York','New York'],1972], ['Ben Affleck',['Berkeley','California'],1972], ['Ben Stiller',['New York','New York'],1965], ['Billy Bob Thornton',['Hot Springs','Arkansas'],1955], ['Bruce Willis',['Idar-Oberstein','Germany'],1955], ['Cameron Diaz',['San Diego','California'],1972], ['Cate Blanchett',['Melbourne','Australia'],1969], ['David Arquette',['Winchester','Virginia'],1971], ['Drew Barrymore',['Culver City','California'],1975], ['Gary Oldman',['London','England'],1958], ['Glenn Close',['Greenwich','Connecticut'],1947], ['Gwyneth Paltrow',['Los Angeles','California'],1972], ['Harrison Ford',['Chicago','Illinois'],1942], ['Jack Black',['Hermosa Beach','California'],1969], ['Jason Alexander',['Newark','New Jersey'],1959], ['John Cusack',['Evanston','Illinois'],1966], ['John Leguizamo',['Bogota','Colombia'],1964], ['John Malkovich',['Christopher','Illinois'],1953], ['Jose Ferrer',['Santurce','Peurto Rico'],1909], ['Josh Hartnett',['San Francisco','California'],1978], ['Kate Beckinsale',['London','England'],1973], ['Kris Kristofferson',['Brownsville','Texas'],1936], ['Liv Tyler',['Portland','Maine'],1977], ['Martin Landau',['Brooklyn','NY'],1931], ['Matt Dillon',['New Rochelle','New York'],1964], ['Nicole Kidman',['Honolulu','Hawaii'],1967], ['Steve Zahn',['Marshall','Minnesota'],1968], ['Tom Everett Scott',['East Bridgewater','Massachussets'],1970], ['Zsa Zsa Gabor',['Budapest','Hungary'],1916]]). testMovies(5) :- testMovies(5, L, bornInLondon(L), ['Alec Guinness','Gary Oldman','Kate Beckinsale']). testMovies(6) :- testMovies(6, P, playerAndDirector(P), ['Ben Stiller']). testMovies(7) :- testMovies(7, P, playedAndDirected(P), ['Ben Stiller']). testMovies(8) :- testMovies(8, P, playedMultiple(P), ['Al Pacino','Ben Affleck','Ben Stiller','Billy Bob Thornton', 'Bruce Willis','Cameron Diaz','Cate Blanchett','Drew Barrymore', 'Gary Oldman','Glenn Close','Gwyneth Paltrow','Harrison Ford', 'Jack Black','John Cusack','Kate Beckinsale','Liv Tyler', 'Martin Landau','Matt Dillon','Nicole Kidman','Steve Zahn']). testMovies(9) :- testMovies(9, P, playedInComedy(P), ['Adam Garcia','Amanda Peet','Ben Stiller','Billy Bob Thornton', 'Bruce Willis','Cameron Diaz','Cate Blanchett','David Arquette', 'Drew Barrymore','Gary Oldman','Glenn Close','Gwyneth Paltrow', 'Jack Black','Jason Alexander','John Cusack','John Malkovich', 'Kate Beckinsale', 'Liv Tyler','Matt Dillon','Nicole Kidman', 'Steve Zahn', 'Tom Everett Scott']). testMovies(10) :- testMovies(10, D, playedNotDirected(D), ['Ben Stiller']). /* test all Movies solutions, by backtracking */ testMovies :- testMovies(_), fail; true. /***************************************************************************** * Part 2: Construct a Sudograph solver. * * Sudograph is a generalization of the popular sudoku puzzles. * * A single puzzle specifies: * an id number for the puzzle case, * a list of nodes, represented by logical variables, * a list of constraints, represented as lists of those same local variables, * a list of colors, which are atomic (atoms or numbers). * * The objective is to find a solution of the puzzle, which is defined to be * an assignment of a color to each node, such that no two nodes in any * constraint are assigned the same color. Ideally a puzzle has only one * solution. * * Your solver should be named as follows: * * sudographSolver(Nodes, Constraints, Color) * *****************************************************************************/ sudographSolver(_Nodes, _Constraints, _Colors) :- tbd. /* The following will be used for testing your sudograph puzzles. */ testSudograph(IdNumber) :- sudographPuzzle(IdNumber, Nodes, Constraints, Colors), write('sudograph number '), write(IdNumber), ( sudographSolver( Nodes, Constraints, Colors) -> ( nl, write('Colors: '), write(Colors), nl, write('Nodes: '), write(Nodes), nl, write('Constraints: '), nl, showConstraints(Constraints) ) ; write(' failed'), nl ). showConstraints([]). showConstraints([Constraint | Constraints]) :- write(' '), write(Constraint), nl, showConstraints(Constraints). % Sudograph puzzles sudographPuzzle(1, Nodes, Constraints, Colors) :- A = red, Nodes = [A, B, C], Constraints = [[A, B], [B, C]], Colors = [red, blue]. sudographPuzzle(2, Nodes, Constraints, Colors) :- A = red, C = green, E = blue, G = yellow, Nodes = [A, B, C, D, E, F, G], Constraints = [[A, B, C], [B, C, D], [C, D, E], [D, E, F], [E, F, G], [G, A, B]], Colors = [red, blue, green, yellow]. sudographPuzzle(3, Nodes, Constraints, Colors) :- B = red, E = green, D = blue, Nodes = [A, B, C, D, E, F, G], Constraints = [[A, B, C, D], [B, C, D, G], [D, E, F, B]], Colors = [red, blue, green, yellow]. % This is a 4x4 sudoku grid sudographPuzzle(4, Nodes, Constraints, Colors) :- X12 = 3, X13 = 1, X23 = 2, X32 = 2, X42 = 1, X43 = 3, Nodes = [X11, X12, X13, X14, X21, X22, X23, X24, X31, X32, X33, X34, X41, X42, X43, X44], Constraints = [[X11, X12, X13, X14], [X21, X22, X23, X24], [X31, X32, X33, X34], [X41, X42, X43, X44], [X11, X21, X31, X41], [X12, X22, X32, X42], [X13, X23, X33, X43], [X14, X24, X34, X44], [X11, X12, X21, X22], [X13, X14, X23, X24], [X31, X32, X41, X42], [X33, X34, X43, X44]], Colors = [1, 2, 3, 4]. testSudograph :- testSudograph(_), fail; true. /***************************************************************************** * Part 3: Construct a solver for the generalized "42" (or was it "24") puzzle. * * In the original game, players view a card with four numbers on it and * try to make an arithmetic expression using the operators +, -, *, / * so that the result is 42. * * Each number must be used exactly once. * Each operator can be used any number of times. * * In our generalization of the game, the fixed number 42 is replaced * with an arbitrary positive value, * the set of operators is specified in a list, and * the list of numbers can have any length, not just 4. (By definition, * no result can be made if the list is empty.) * * Define a 4-ary predicate solve such that * solve42(Ops, Values, Result, Exp) * will solve for an expression using operators Ops on the set Values * to give the value Result. For example, alluding to the original game * a dialog with Prolog would be: * * | ?- solve42([+, *, -], [2, 3, 4, 5], 24, Exp). * * Exp = [*, [+, [-, 3, 2], 5], 4] * * meaning that the expression evaluates to the target 24. * * Assume that the set of operators will always be a subset of * [+, *, -]. * * Below we provide some predicates that could be helpful in solving this * problem. Use recursion and back-tracking to do the work for you. *****************************************************************************/ % solve42(_Operators, _Numbers, _Target, _Expression) :- tbd. /* The following will be used for testing your 42 puzzles. */ test42(Name, Var, Query, Desired) :- setof1(Var, Query, Ans), !, ( Ans == Desired -> write('*** forty-two test '), write(Name), write(' passed'), nl ; write('*** forty-two test '), write(Name), write(' failed'), nl, write(' desired was '), write(Desired), nl, write(' actual was '), write(Ans), nl ). test42(Name, _Var, _Query, Desired) :- write('*** forty-two test '), write(Name), write(' failed'), nl, write(' desired was '), write(Desired), nl, write(' no answer produced'), nl. setof1(X, G, Z) :- setof(X, G, Z). setof1(X, G, []) :- \+setof(X, G, _). % Test cases test42(1) :- test42(1, Exp, solve42([+, -], [2, 3], 9, Exp), []). test42(2) :- test42(2, Exp, solve42([+, -], [2, 2], 4, Exp), [[+, 2, 2]]). test42(3) :- test42(3, Exp, solve42([*, -], [3, 3], 9, Exp), [[*, 3, 3]]). test42(4) :- test42(4, Exp, solve42([+, *, -], [3, 3, 5], 9, Exp), []). test42(5) :- test42(5, Exp, solve42([+, *, -], [4, 6], 10, Exp), [[+, 4, 6], [+, 6, 4]]). test42(6) :- test42(6, Exp, solve42([+, *, -], [4, 5, 6], 10, Exp), [[*, 5, [-, 6, 4]], [*, [-, 6, 4], 5]]). test42(7) :- test42(7, Exp, solve42([+, *, -], [5, 6, 7], 10, Exp), []). test42(8) :- test42(8, Exp, solve42([+, *, -], [5, 6, 7, 8], 10, Exp), [ [+, 5, [+, 6, [-, 7, 8]]], [+, 5, [+, 7, [-, 6, 8]]], [+, 5, [+, [-, 6, 8], 7]], [+, 5, [+, [-, 7, 8], 6]], [+, 5, [-, 6, [-, 8, 7]]], [+, 5, [-, 7, [-, 8, 6]]], [+, 5, [-, [+, 6, 7], 8]], [+, 5, [-, [+, 7, 6], 8]], [+, 6, [+, 5, [-, 7, 8]]], [+, 6, [+, 7, [-, 5, 8]]], [+, 6, [+, [-, 5, 8], 7]], [+, 6, [+, [-, 7, 8], 5]], [+, 6, [-, 5, [-, 8, 7]]], [+, 6, [-, 7, [-, 8, 5]]], [+, 6, [-, [+, 5, 7], 8]], [+, 6, [-, [+, 7, 5], 8]], [+, 7, [+, 5, [-, 6, 8]]], [+, 7, [+, 6, [-, 5, 8]]], [+, 7, [+, [-, 5, 8], 6]], [+, 7, [+, [-, 6, 8], 5]], [+, 7, [-, 5, [-, 8, 6]]], [+, 7, [-, 6, [-, 8, 5]]], [+, 7, [-, [+, 5, 6], 8]], [+, 7, [-, [+, 6, 5], 8]], [+, [+, 5, 6], [-, 7, 8]], [+, [+, 5, 7], [-, 6, 8]], [+, [+, 5, [-, 6, 8]], 7], [+, [+, 5, [-, 7, 8]], 6], [+, [+, 6, 5], [-, 7, 8]], [+, [+, 6, 7], [-, 5, 8]], [+, [+, 6, [-, 5, 8]], 7], [+, [+, 6, [-, 7, 8]], 5], [+, [+, 7, 5], [-, 6, 8]], [+, [+, 7, 6], [-, 5, 8]], [+, [+, 7, [-, 5, 8]], 6], [+, [+, 7, [-, 6, 8]], 5], [+, [+, [-, 5, 8], 6], 7], [+, [+, [-, 5, 8], 7], 6], [+, [+, [-, 6, 8], 5], 7], [+, [+, [-, 6, 8], 7], 5], [+, [+, [-, 7, 8], 5], 6], [+, [+, [-, 7, 8], 6], 5], [+, [-, 5, 8], [+, 6, 7]], [+, [-, 5, 8], [+, 7, 6]], [+, [-, 5, [-, 8, 6]], 7], [+, [-, 5, [-, 8, 7]], 6], [+, [-, 6, 8], [+, 5, 7]], [+, [-, 6, 8], [+, 7, 5]], [+, [-, 6, [-, 8, 5]], 7], [+, [-, 6, [-, 8, 7]], 5], [+, [-, 7, 8], [+, 5, 6]], [+, [-, 7, 8], [+, 6, 5]], [+, [-, 7, [-, 8, 5]], 6], [+, [-, 7, [-, 8, 6]], 5], [+, [-, [+, 5, 6], 8], 7], [+, [-, [+, 5, 7], 8], 6], [+, [-, [+, 6, 5], 8], 7], [+, [-, [+, 6, 7], 8], 5], [+, [-, [+, 7, 5], 8], 6], [+, [-, [+, 7, 6], 8], 5], [-, 5, [-, 8, [+, 6, 7]]], [-, 5, [-, 8, [+, 7, 6]]], [-, 5, [-, [-, 8, 6], 7]], [-, 5, [-, [-, 8, 7], 6]], [-, 6, [-, 8, [+, 5, 7]]], [-, 6, [-, 8, [+, 7, 5]]], [-, 6, [-, [-, 8, 5], 7]], [-, 6, [-, [-, 8, 7], 5]], [-, 7, [-, 8, [+, 5, 6]]], [-, 7, [-, 8, [+, 6, 5]]], [-, 7, [-, [-, 8, 5], 6]], [-, 7, [-, [-, 8, 6], 5]], [-, [*, 8, [-, 7, 5]], 6], [-, [*, [-, 7, 5], 8], 6], [-, [+, 5, 6], [-, 8, 7]], [-, [+, 5, 7], [-, 8, 6]], [-, [+, 5, [+, 6, 7]], 8], [-, [+, 5, [+, 7, 6]], 8], [-, [+, 6, 5], [-, 8, 7]], [-, [+, 6, 7], [-, 8, 5]], [-, [+, 6, [+, 5, 7]], 8], [-, [+, 6, [+, 7, 5]], 8], [-, [+, 7, 5], [-, 8, 6]], [-, [+, 7, 6], [-, 8, 5]], [-, [+, 7, [+, 5, 6]], 8], [-, [+, 7, [+, 6, 5]], 8], [-, [+, [+, 5, 6], 7], 8], [-, [+, [+, 5, 7], 6], 8], [-, [+, [+, 6, 5], 7], 8], [-, [+, [+, 6, 7], 5], 8], [-, [+, [+, 7, 5], 6], 8], [-, [+, [+, 7, 6], 5], 8] ]). test42(9) :- test42(9, Exp, solve42([+, *], [1, 3, 4, 5], 42, Exp), [ [*, [+, 1, 5], [+, 3, 4]], [*, [+, 1, 5], [+, 4, 3]], [*, [+, 3, 4], [+, 1, 5]], [*, [+, 3, 4], [+, 5, 1]], [*, [+, 4, 3], [+, 1, 5]], [*, [+, 4, 3], [+, 5, 1]], [*, [+, 5, 1], [+, 3, 4]], [*, [+, 5, 1], [+, 4, 3]] ]). test42(10) :- test42(10, Exp, solve42([+, *, -], [3, 5, 7, 9, 35, 79], 42, Exp), [ [*, 3, [+, 5, [+, 79, [*, 35, [-, 7, 9]]]]], [*, 3, [+, 5, [+, 79, [*, [-, 7, 9], 35]]]], [*, 3, [+, 5, [+, [*, 35, [-, 7, 9]], 79]]], [*, 3, [+, 5, [+, [*, [-, 7, 9], 35], 79]]], [*, 3, [+, 5, [-, 79, [*, 35, [-, 9, 7]]]]], [*, 3, [+, 5, [-, 79, [*, [-, 9, 7], 35]]]], [*, 3, [+, 35, [-, [*, 7, 9], [+, 5, 79]]]], [*, 3, [+, 35, [-, [*, 7, 9], [+, 79, 5]]]], [*, 3, [+, 35, [-, [*, 9, 7], [+, 5, 79]]]], [*, 3, [+, 35, [-, [*, 9, 7], [+, 79, 5]]]], [*, 3, [+, 35, [-, [-, [*, 7, 9], 5], 79]]], [*, 3, [+, 35, [-, [-, [*, 7, 9], 79], 5]]], [*, 3, [+, 35, [-, [-, [*, 9, 7], 5], 79]]], [*, 3, [+, 35, [-, [-, [*, 9, 7], 79], 5]]], [*, 3, [+, 79, [+, 5, [*, 35, [-, 7, 9]]]]], [*, 3, [+, 79, [+, 5, [*, [-, 7, 9], 35]]]], [*, 3, [+, 79, [+, [*, 35, [-, 7, 9]], 5]]], [*, 3, [+, 79, [+, [*, [-, 7, 9], 35], 5]]], [*, 3, [+, 79, [-, 5, [*, 35, [-, 9, 7]]]]], [*, 3, [+, 79, [-, 5, [*, [-, 9, 7], 35]]]], [*, 3, [+, [*, 7, 9], [-, 35, [+, 5, 79]]]], [*, 3, [+, [*, 7, 9], [-, 35, [+, 79, 5]]]], [*, 3, [+, [*, 7, 9], [-, [-, 35, 5], 79]]], [*, 3, [+, [*, 7, 9], [-, [-, 35, 79], 5]]], [*, 3, [+, [*, 9, 7], [-, 35, [+, 5, 79]]]], [*, 3, [+, [*, 9, 7], [-, 35, [+, 79, 5]]]], [*, 3, [+, [*, 9, 7], [-, [-, 35, 5], 79]]], [*, 3, [+, [*, 9, 7], [-, [-, 35, 79], 5]]], [*, 3, [+, [*, 35, [-, 7, 9]], [+, 5, 79]]], [*, 3, [+, [*, 35, [-, 7, 9]], [+, 79, 5]]], [*, 3, [+, [*, [-, 7, 9], 35], [+, 5, 79]]], [*, 3, [+, [*, [-, 7, 9], 35], [+, 79, 5]]], [*, 3, [+, [+, 5, 79], [*, 35, [-, 7, 9]]]], [*, 3, [+, [+, 5, 79], [*, [-, 7, 9], 35]]], [*, 3, [+, [+, 5, [*, 35, [-, 7, 9]]], 79]], [*, 3, [+, [+, 5, [*, [-, 7, 9], 35]], 79]], [*, 3, [+, [+, 79, 5], [*, 35, [-, 7, 9]]]], [*, 3, [+, [+, 79, 5], [*, [-, 7, 9], 35]]], [*, 3, [+, [+, 79, [*, 35, [-, 7, 9]]], 5]], [*, 3, [+, [+, 79, [*, [-, 7, 9], 35]], 5]], [*, 3, [+, [+, [*, 35, [-, 7, 9]], 5], 79]], [*, 3, [+, [+, [*, 35, [-, 7, 9]], 79], 5]], [*, 3, [+, [+, [*, [-, 7, 9], 35], 5], 79]], [*, 3, [+, [+, [*, [-, 7, 9], 35], 79], 5]], [*, 3, [+, [-, 5, [*, 35, [-, 9, 7]]], 79]], [*, 3, [+, [-, 5, [*, [-, 9, 7], 35]], 79]], [*, 3, [+, [-, 35, 5], [-, [*, 7, 9], 79]]], [*, 3, [+, [-, 35, 5], [-, [*, 9, 7], 79]]], [*, 3, [+, [-, 35, 79], [-, [*, 7, 9], 5]]], [*, 3, [+, [-, 35, 79], [-, [*, 9, 7], 5]]], [*, 3, [+, [-, 35, [+, 5, 79]], [*, 7, 9]]], [*, 3, [+, [-, 35, [+, 5, 79]], [*, 9, 7]]], [*, 3, [+, [-, 35, [+, 79, 5]], [*, 7, 9]]], [*, 3, [+, [-, 35, [+, 79, 5]], [*, 9, 7]]], [*, 3, [+, [-, 79, [*, 35, [-, 9, 7]]], 5]], [*, 3, [+, [-, 79, [*, [-, 9, 7], 35]], 5]], [*, 3, [+, [-, [*, 7, 9], 5], [-, 35, 79]]], [*, 3, [+, [-, [*, 7, 9], 79], [-, 35, 5]]], [*, 3, [+, [-, [*, 7, 9], [+, 5, 79]], 35]], [*, 3, [+, [-, [*, 7, 9], [+, 79, 5]], 35]], [*, 3, [+, [-, [*, 9, 7], 5], [-, 35, 79]]], [*, 3, [+, [-, [*, 9, 7], 79], [-, 35, 5]]], [*, 3, [+, [-, [*, 9, 7], [+, 5, 79]], 35]], [*, 3, [+, [-, [*, 9, 7], [+, 79, 5]], 35]], [*, 3, [+, [-, [-, 35, 5], 79], [*, 7, 9]]], [*, 3, [+, [-, [-, 35, 5], 79], [*, 9, 7]]], [*, 3, [+, [-, [-, 35, 79], 5], [*, 7, 9]]], [*, 3, [+, [-, [-, 35, 79], 5], [*, 9, 7]]], [*, 3, [+, [-, [-, [*, 7, 9], 5], 79], 35]], [*, 3, [+, [-, [-, [*, 7, 9], 79], 5], 35]], [*, 3, [+, [-, [-, [*, 9, 7], 5], 79], 35]], [*, 3, [+, [-, [-, [*, 9, 7], 79], 5], 35]], [*, 3, [-, 5, [-, [*, 35, [-, 9, 7]], 79]]], [*, 3, [-, 5, [-, [*, [-, 9, 7], 35], 79]]], [*, 3, [-, 35, [+, 5, [-, 79, [*, 7, 9]]]]], [*, 3, [-, 35, [+, 5, [-, 79, [*, 9, 7]]]]], [*, 3, [-, 35, [+, 79, [-, 5, [*, 7, 9]]]]], [*, 3, [-, 35, [+, 79, [-, 5, [*, 9, 7]]]]], [*, 3, [-, 35, [+, [-, 5, [*, 7, 9]], 79]]], [*, 3, [-, 35, [+, [-, 5, [*, 9, 7]], 79]]], [*, 3, [-, 35, [+, [-, 79, [*, 7, 9]], 5]]], [*, 3, [-, 35, [+, [-, 79, [*, 9, 7]], 5]]], [*, 3, [-, 35, [-, 5, [-, [*, 7, 9], 79]]]], [*, 3, [-, 35, [-, 5, [-, [*, 9, 7], 79]]]], [*, 3, [-, 35, [-, 79, [-, [*, 7, 9], 5]]]], [*, 3, [-, 35, [-, 79, [-, [*, 9, 7], 5]]]], [*, 3, [-, 35, [-, [+, 5, 79], [*, 7, 9]]]], [*, 3, [-, 35, [-, [+, 5, 79], [*, 9, 7]]]], [*, 3, [-, 35, [-, [+, 79, 5], [*, 7, 9]]]], [*, 3, [-, 35, [-, [+, 79, 5], [*, 9, 7]]]], [*, 3, [-, 79, [-, [*, 35, [-, 9, 7]], 5]]], [*, 3, [-, 79, [-, [*, [-, 9, 7], 35], 5]]], [*, 3, [-, [*, 7, 9], [+, 5, [-, 79, 35]]]], [*, 3, [-, [*, 7, 9], [+, 79, [-, 5, 35]]]], [*, 3, [-, [*, 7, 9], [+, [-, 5, 35], 79]]], [*, 3, [-, [*, 7, 9], [+, [-, 79, 35], 5]]], [*, 3, [-, [*, 7, 9], [-, 5, [-, 35, 79]]]], [*, 3, [-, [*, 7, 9], [-, 79, [-, 35, 5]]]], [*, 3, [-, [*, 7, 9], [-, [+, 5, 79], 35]]], [*, 3, [-, [*, 7, 9], [-, [+, 79, 5], 35]]], [*, 3, [-, [*, 9, 7], [+, 5, [-, 79, 35]]]], [*, 3, [-, [*, 9, 7], [+, 79, [-, 5, 35]]]], [*, 3, [-, [*, 9, 7], [+, [-, 5, 35], 79]]], [*, 3, [-, [*, 9, 7], [+, [-, 79, 35], 5]]], [*, 3, [-, [*, 9, 7], [-, 5, [-, 35, 79]]]], [*, 3, [-, [*, 9, 7], [-, 79, [-, 35, 5]]]], [*, 3, [-, [*, 9, 7], [-, [+, 5, 79], 35]]], [*, 3, [-, [*, 9, 7], [-, [+, 79, 5], 35]]], [*, 3, [-, [+, 5, 79], [*, 35, [-, 9, 7]]]], [*, 3, [-, [+, 5, 79], [*, [-, 9, 7], 35]]], [*, 3, [-, [+, 35, [*, 7, 9]], [+, 5, 79]]], [*, 3, [-, [+, 35, [*, 7, 9]], [+, 79, 5]]], [*, 3, [-, [+, 35, [*, 9, 7]], [+, 5, 79]]], [*, 3, [-, [+, 35, [*, 9, 7]], [+, 79, 5]]], [*, 3, [-, [+, 35, [-, [*, 7, 9], 5]], 79]], [*, 3, [-, [+, 35, [-, [*, 7, 9], 79]], 5]], [*, 3, [-, [+, 35, [-, [*, 9, 7], 5]], 79]], [*, 3, [-, [+, 35, [-, [*, 9, 7], 79]], 5]], [*, 3, [-, [+, 79, 5], [*, 35, [-, 9, 7]]]], [*, 3, [-, [+, 79, 5], [*, [-, 9, 7], 35]]], [*, 3, [-, [+, [*, 7, 9], 35], [+, 5, 79]]], [*, 3, [-, [+, [*, 7, 9], 35], [+, 79, 5]]], [*, 3, [-, [+, [*, 7, 9], [-, 35, 5]], 79]], [*, 3, [-, [+, [*, 7, 9], [-, 35, 79]], 5]], [*, 3, [-, [+, [*, 9, 7], 35], [+, 5, 79]]], [*, 3, [-, [+, [*, 9, 7], 35], [+, 79, 5]]], [*, 3, [-, [+, [*, 9, 7], [-, 35, 5]], 79]], [*, 3, [-, [+, [*, 9, 7], [-, 35, 79]], 5]], [*, 3, [-, [+, [-, 35, 5], [*, 7, 9]], 79]], [*, 3, [-, [+, [-, 35, 5], [*, 9, 7]], 79]], [*, 3, [-, [+, [-, 35, 79], [*, 7, 9]], 5]], [*, 3, [-, [+, [-, 35, 79], [*, 9, 7]], 5]], [*, 3, [-, [+, [-, [*, 7, 9], 5], 35], 79]], [*, 3, [-, [+, [-, [*, 7, 9], 79], 35], 5]], [*, 3, [-, [+, [-, [*, 9, 7], 5], 35], 79]], [*, 3, [-, [+, [-, [*, 9, 7], 79], 35], 5]], [*, 3, [-, [-, 35, 5], [-, 79, [*, 7, 9]]]], [*, 3, [-, [-, 35, 5], [-, 79, [*, 9, 7]]]], [*, 3, [-, [-, 35, 79], [-, 5, [*, 7, 9]]]], [*, 3, [-, [-, 35, 79], [-, 5, [*, 9, 7]]]], [*, 3, [-, [-, 35, [-, 5, [*, 7, 9]]], 79]], [*, 3, [-, [-, 35, [-, 5, [*, 9, 7]]], 79]], [*, 3, [-, [-, 35, [-, 79, [*, 7, 9]]], 5]], [*, 3, [-, [-, 35, [-, 79, [*, 9, 7]]], 5]], [*, 3, [-, [-, [*, 7, 9], 5], [-, 79, 35]]], [*, 3, [-, [-, [*, 7, 9], 79], [-, 5, 35]]], [*, 3, [-, [-, [*, 7, 9], [-, 5, 35]], 79]], [*, 3, [-, [-, [*, 7, 9], [-, 79, 35]], 5]], [*, 3, [-, [-, [*, 9, 7], 5], [-, 79, 35]]], [*, 3, [-, [-, [*, 9, 7], 79], [-, 5, 35]]], [*, 3, [-, [-, [*, 9, 7], [-, 5, 35]], 79]], [*, 3, [-, [-, [*, 9, 7], [-, 79, 35]], 5]], [*, 3, [-, [-, [+, 35, [*, 7, 9]], 5], 79]], [*, 3, [-, [-, [+, 35, [*, 7, 9]], 79], 5]], [*, 3, [-, [-, [+, 35, [*, 9, 7]], 5], 79]], [*, 3, [-, [-, [+, 35, [*, 9, 7]], 79], 5]], [*, 3, [-, [-, [+, [*, 7, 9], 35], 5], 79]], [*, 3, [-, [-, [+, [*, 7, 9], 35], 79], 5]], [*, 3, [-, [-, [+, [*, 9, 7], 35], 5], 79]], [*, 3, [-, [-, [+, [*, 9, 7], 35], 79], 5]], [*, 7, [+, 5, [+, 79, [*, 3, [-, 9, 35]]]]], [*, 7, [+, 5, [+, 79, [*, [-, 9, 35], 3]]]], [*, 7, [+, 5, [+, [*, 3, [-, 9, 35]], 79]]], [*, 7, [+, 5, [+, [*, [-, 9, 35], 3], 79]]], [*, 7, [+, 5, [-, 79, [*, 3, [-, 35, 9]]]]], [*, 7, [+, 5, [-, 79, [*, [-, 35, 9], 3]]]], [*, 7, [+, 79, [+, 5, [*, 3, [-, 9, 35]]]]], [*, 7, [+, 79, [+, 5, [*, [-, 9, 35], 3]]]], [*, 7, [+, 79, [+, [*, 3, [-, 9, 35]], 5]]], [*, 7, [+, 79, [+, [*, [-, 9, 35], 3], 5]]], [*, 7, [+, 79, [-, 5, [*, 3, [-, 35, 9]]]]], [*, 7, [+, 79, [-, 5, [*, [-, 35, 9], 3]]]], [*, 7, [+, [*, 3, [-, 9, 35]], [+, 5, 79]]], [*, 7, [+, [*, 3, [-, 9, 35]], [+, 79, 5]]], [*, 7, [+, [*, [-, 9, 35], 3], [+, 5, 79]]], [*, 7, [+, [*, [-, 9, 35], 3], [+, 79, 5]]], [*, 7, [+, [+, 5, 79], [*, 3, [-, 9, 35]]]], [*, 7, [+, [+, 5, 79], [*, [-, 9, 35], 3]]], [*, 7, [+, [+, 5, [*, 3, [-, 9, 35]]], 79]], [*, 7, [+, [+, 5, [*, [-, 9, 35], 3]], 79]], [*, 7, [+, [+, 79, 5], [*, 3, [-, 9, 35]]]], [*, 7, [+, [+, 79, 5], [*, [-, 9, 35], 3]]], [*, 7, [+, [+, 79, [*, 3, [-, 9, 35]]], 5]], [*, 7, [+, [+, 79, [*, [-, 9, 35], 3]], 5]], [*, 7, [+, [+, [*, 3, [-, 9, 35]], 5], 79]], [*, 7, [+, [+, [*, 3, [-, 9, 35]], 79], 5]], [*, 7, [+, [+, [*, [-, 9, 35], 3], 5], 79]], [*, 7, [+, [+, [*, [-, 9, 35], 3], 79], 5]], [*, 7, [+, [-, 5, [*, 3, [-, 35, 9]]], 79]], [*, 7, [+, [-, 5, [*, [-, 35, 9], 3]], 79]], [*, 7, [+, [-, 79, [*, 3, [-, 35, 9]]], 5]], [*, 7, [+, [-, 79, [*, [-, 35, 9], 3]], 5]], [*, 7, [-, 5, [-, [*, 3, [-, 35, 9]], 79]]], [*, 7, [-, 5, [-, [*, [-, 35, 9], 3], 79]]], [*, 7, [-, 79, [-, [*, 3, [-, 35, 9]], 5]]], [*, 7, [-, 79, [-, [*, [-, 35, 9], 3], 5]]], [*, 7, [-, [+, 5, 79], [*, 3, [-, 35, 9]]]], [*, 7, [-, [+, 5, 79], [*, [-, 35, 9], 3]]], [*, 7, [-, [+, 79, 5], [*, 3, [-, 35, 9]]]], [*, 7, [-, [+, 79, 5], [*, [-, 35, 9], 3]]], [*, [+, 5, [+, 79, [*, 3, [-, 9, 35]]]], 7], [*, [+, 5, [+, 79, [*, 35, [-, 7, 9]]]], 3], [*, [+, 5, [+, 79, [*, [-, 7, 9], 35]]], 3], [*, [+, 5, [+, 79, [*, [-, 9, 35], 3]]], 7], [*, [+, 5, [+, [*, 3, [-, 9, 35]], 79]], 7], [*, [+, 5, [+, [*, 35, [-, 7, 9]], 79]], 3], [*, [+, 5, [+, [*, [-, 7, 9], 35], 79]], 3], [*, [+, 5, [+, [*, [-, 9, 35], 3], 79]], 7], [*, [+, 5, [-, 79, [*, 3, 35]]], [-, 7, 9]], [*, [+, 5, [-, 79, [*, 3, [-, 35, 9]]]], 7], [*, [+, 5, [-, 79, [*, 35, 3]]], [-, 7, 9]], [*, [+, 5, [-, 79, [*, 35, [-, 9, 7]]]], 3], [*, [+, 5, [-, 79, [*, [-, 9, 7], 35]]], 3], [*, [+, 5, [-, 79, [*, [-, 35, 9], 3]]], 7], [*, [+, 35, [-, [*, 7, 9], [+, 5, 79]]], 3], [*, [+, 35, [-, [*, 7, 9], [+, 79, 5]]], 3], [*, [+, 35, [-, [*, 9, 7], [+, 5, 79]]], 3], [*, [+, 35, [-, [*, 9, 7], [+, 79, 5]]], 3], [*, [+, 35, [-, [-, [*, 7, 9], 5], 79]], 3], [*, [+, 35, [-, [-, [*, 7, 9], 79], 5]], 3], [*, [+, 35, [-, [-, [*, 9, 7], 5], 79]], 3], [*, [+, 35, [-, [-, [*, 9, 7], 79], 5]], 3], [*, [+, 79, [+, 5, [*, 3, [-, 9, 35]]]], 7], [*, [+, 79, [+, 5, [*, 35, [-, 7, 9]]]], 3], [*, [+, 79, [+, 5, [*, [-, 7, 9], 35]]], 3], [*, [+, 79, [+, 5, [*, [-, 9, 35], 3]]], 7], [*, [+, 79, [+, [*, 3, [-, 9, 35]], 5]], 7], [*, [+, 79, [+, [*, 35, [-, 7, 9]], 5]], 3], [*, [+, 79, [+, [*, [-, 7, 9], 35], 5]], 3], [*, [+, 79, [+, [*, [-, 9, 35], 3], 5]], 7], [*, [+, 79, [-, 5, [*, 3, 35]]], [-, 7, 9]], [*, [+, 79, [-, 5, [*, 3, [-, 35, 9]]]], 7], [*, [+, 79, [-, 5, [*, 35, 3]]], [-, 7, 9]], [*, [+, 79, [-, 5, [*, 35, [-, 9, 7]]]], 3], [*, [+, 79, [-, 5, [*, [-, 9, 7], 35]]], 3], [*, [+, 79, [-, 5, [*, [-, 35, 9], 3]]], 7], [*, [+, [*, 3, [-, 9, 35]], [+, 5, 79]], 7], [*, [+, [*, 3, [-, 9, 35]], [+, 79, 5]], 7], [*, [+, [*, 7, 9], [-, 35, [+, 5, 79]]], 3], [*, [+, [*, 7, 9], [-, 35, [+, 79, 5]]], 3], [*, [+, [*, 7, 9], [-, [-, 35, 5], 79]], 3], [*, [+, [*, 7, 9], [-, [-, 35, 79], 5]], 3], [*, [+, [*, 9, 7], [-, 35, [+, 5, 79]]], 3], [*, [+, [*, 9, 7], [-, 35, [+, 79, 5]]], 3], [*, [+, [*, 9, 7], [-, [-, 35, 5], 79]], 3], [*, [+, [*, 9, 7], [-, [-, 35, 79], 5]], 3], [*, [+, [*, 35, [-, 7, 9]], [+, 5, 79]], 3], [*, [+, [*, 35, [-, 7, 9]], [+, 79, 5]], 3], [*, [+, [*, [-, 7, 9], 35], [+, 5, 79]], 3], [*, [+, [*, [-, 7, 9], 35], [+, 79, 5]], 3], [*, [+, [*, [-, 9, 35], 3], [+, 5, 79]], 7], [*, [+, [*, [-, 9, 35], 3], [+, 79, 5]], 7], [*, [+, [+, 5, 79], [*, 3, [-, 9, 35]]], 7], [*, [+, [+, 5, 79], [*, 35, [-, 7, 9]]], 3], [*, [+, [+, 5, 79], [*, [-, 7, 9], 35]], 3], [*, [+, [+, 5, 79], [*, [-, 9, 35], 3]], 7], [*, [+, [+, 5, [*, 3, [-, 9, 35]]], 79], 7], [*, [+, [+, 5, [*, 35, [-, 7, 9]]], 79], 3], [*, [+, [+, 5, [*, [-, 7, 9], 35]], 79], 3], [*, [+, [+, 5, [*, [-, 9, 35], 3]], 79], 7], [*, [+, [+, 79, 5], [*, 3, [-, 9, 35]]], 7], [*, [+, [+, 79, 5], [*, 35, [-, 7, 9]]], 3], [*, [+, [+, 79, 5], [*, [-, 7, 9], 35]], 3], [*, [+, [+, 79, 5], [*, [-, 9, 35], 3]], 7], [*, [+, [+, 79, [*, 3, [-, 9, 35]]], 5], 7], [*, [+, [+, 79, [*, 35, [-, 7, 9]]], 5], 3], [*, [+, [+, 79, [*, [-, 7, 9], 35]], 5], 3], [*, [+, [+, 79, [*, [-, 9, 35], 3]], 5], 7], [*, [+, [+, [*, 3, [-, 9, 35]], 5], 79], 7], [*, [+, [+, [*, 3, [-, 9, 35]], 79], 5], 7], [*, [+, [+, [*, 35, [-, 7, 9]], 5], 79], 3], [*, [+, [+, [*, 35, [-, 7, 9]], 79], 5], 3], [*, [+, [+, [*, [-, 7, 9], 35], 5], 79], 3], [*, [+, [+, [*, [-, 7, 9], 35], 79], 5], 3], [*, [+, [+, [*, [-, 9, 35], 3], 5], 79], 7], [*, [+, [+, [*, [-, 9, 35], 3], 79], 5], 7], [*, [+, [-, 5, [*, 3, 35]], 79], [-, 7, 9]], [*, [+, [-, 5, [*, 3, [-, 35, 9]]], 79], 7], [*, [+, [-, 5, [*, 35, 3]], 79], [-, 7, 9]], [*, [+, [-, 5, [*, 35, [-, 9, 7]]], 79], 3], [*, [+, [-, 5, [*, [-, 9, 7], 35]], 79], 3], [*, [+, [-, 5, [*, [-, 35, 9], 3]], 79], 7], [*, [+, [-, 35, 5], [-, [*, 7, 9], 79]], 3], [*, [+, [-, 35, 5], [-, [*, 9, 7], 79]], 3], [*, [+, [-, 35, 79], [-, [*, 7, 9], 5]], 3], [*, [+, [-, 35, 79], [-, [*, 9, 7], 5]], 3], [*, [+, [-, 35, [+, 5, 79]], [*, 7, 9]], 3], [*, [+, [-, 35, [+, 5, 79]], [*, 9, 7]], 3], [*, [+, [-, 35, [+, 79, 5]], [*, 7, 9]], 3], [*, [+, [-, 35, [+, 79, 5]], [*, 9, 7]], 3], [*, [+, [-, 79, [*, 3, 35]], 5], [-, 7, 9]], [*, [+, [-, 79, [*, 3, [-, 35, 9]]], 5], 7], [*, [+, [-, 79, [*, 35, 3]], 5], [-, 7, 9]], [*, [+, [-, 79, [*, 35, [-, 9, 7]]], 5], 3], [*, [+, [-, 79, [*, [-, 9, 7], 35]], 5], 3], [*, [+, [-, 79, [*, [-, 35, 9], 3]], 5], 7], [*, [+, [-, [*, 7, 9], 5], [-, 35, 79]], 3], [*, [+, [-, [*, 7, 9], 79], [-, 35, 5]], 3], [*, [+, [-, [*, 7, 9], [+, 5, 79]], 35], 3], [*, [+, [-, [*, 7, 9], [+, 79, 5]], 35], 3], [*, [+, [-, [*, 9, 7], 5], [-, 35, 79]], 3], [*, [+, [-, [*, 9, 7], 79], [-, 35, 5]], 3], [*, [+, [-, [*, 9, 7], [+, 5, 79]], 35], 3], [*, [+, [-, [*, 9, 7], [+, 79, 5]], 35], 3], [*, [+, [-, [-, 35, 5], 79], [*, 7, 9]], 3], [*, [+, [-, [-, 35, 5], 79], [*, 9, 7]], 3], [*, [+, [-, [-, 35, 79], 5], [*, 7, 9]], 3], [*, [+, [-, [-, 35, 79], 5], [*, 9, 7]], 3], [*, [+, [-, [-, [*, 7, 9], 5], 79], 35], 3], [*, [+, [-, [-, [*, 7, 9], 79], 5], 35], 3], [*, [+, [-, [-, [*, 9, 7], 5], 79], 35], 3], [*, [+, [-, [-, [*, 9, 7], 79], 5], 35], 3], [*, [-, 5, [-, [*, 3, 35], 79]], [-, 7, 9]], [*, [-, 5, [-, [*, 3, [-, 35, 9]], 79]], 7], [*, [-, 5, [-, [*, 35, 3], 79]], [-, 7, 9]], [*, [-, 5, [-, [*, 35, [-, 9, 7]], 79]], 3], [*, [-, 5, [-, [*, [-, 9, 7], 35], 79]], 3], [*, [-, 5, [-, [*, [-, 35, 9], 3], 79]], 7], [*, [-, 7, 9], [+, 5, [-, 79, [*, 3, 35]]]], [*, [-, 7, 9], [+, 5, [-, 79, [*, 35, 3]]]], [*, [-, 7, 9], [+, 79, [-, 5, [*, 3, 35]]]], [*, [-, 7, 9], [+, 79, [-, 5, [*, 35, 3]]]], [*, [-, 7, 9], [+, [-, 5, [*, 3, 35]], 79]], [*, [-, 7, 9], [+, [-, 5, [*, 35, 3]], 79]], [*, [-, 7, 9], [+, [-, 79, [*, 3, 35]], 5]], [*, [-, 7, 9], [+, [-, 79, [*, 35, 3]], 5]], [*, [-, 7, 9], [-, 5, [-, [*, 3, 35], 79]]], [*, [-, 7, 9], [-, 5, [-, [*, 35, 3], 79]]], [*, [-, 7, 9], [-, 79, [-, [*, 3, 35], 5]]], [*, [-, 7, 9], [-, 79, [-, [*, 35, 3], 5]]], [*, [-, 7, 9], [-, [+, 5, 79], [*, 3, 35]]], [*, [-, 7, 9], [-, [+, 5, 79], [*, 35, 3]]], [*, [-, 7, 9], [-, [+, 79, 5], [*, 3, 35]]], [*, [-, 7, 9], [-, [+, 79, 5], [*, 35, 3]]], [*, [-, 9, 7], [-, [*, 3, 35], [+, 5, 79]]], [*, [-, 9, 7], [-, [*, 3, 35], [+, 79, 5]]], [*, [-, 9, 7], [-, [*, 35, 3], [+, 5, 79]]], [*, [-, 9, 7], [-, [*, 35, 3], [+, 79, 5]]], [*, [-, 9, 7], [-, [-, [*, 3, 35], 5], 79]], [*, [-, 9, 7], [-, [-, [*, 3, 35], 79], 5]], [*, [-, 9, 7], [-, [-, [*, 35, 3], 5], 79]], [*, [-, 9, 7], [-, [-, [*, 35, 3], 79], 5]], [*, [-, 35, [+, 5, [-, 79, [*, 7, 9]]]], 3], [*, [-, 35, [+, 5, [-, 79, [*, 9, 7]]]], 3], [*, [-, 35, [+, 79, [-, 5, [*, 7, 9]]]], 3], [*, [-, 35, [+, 79, [-, 5, [*, 9, 7]]]], 3], [*, [-, 35, [+, [-, 5, [*, 7, 9]], 79]], 3], [*, [-, 35, [+, [-, 5, [*, 9, 7]], 79]], 3], [*, [-, 35, [+, [-, 79, [*, 7, 9]], 5]], 3], [*, [-, 35, [+, [-, 79, [*, 9, 7]], 5]], 3], [*, [-, 35, [-, 5, [-, [*, 7, 9], 79]]], 3], [*, [-, 35, [-, 5, [-, [*, 9, 7], 79]]], 3], [*, [-, 35, [-, 79, [-, [*, 7, 9], 5]]], 3], [*, [-, 35, [-, 79, [-, [*, 9, 7], 5]]], 3], [*, [-, 35, [-, [+, 5, 79], [*, 7, 9]]], 3], [*, [-, 35, [-, [+, 5, 79], [*, 9, 7]]], 3], [*, [-, 35, [-, [+, 79, 5], [*, 7, 9]]], 3], [*, [-, 35, [-, [+, 79, 5], [*, 9, 7]]], 3], [*, [-, 79, [-, [*, 3, 35], 5]], [-, 7, 9]], [*, [-, 79, [-, [*, 3, [-, 35, 9]], 5]], 7], [*, [-, 79, [-, [*, 35, 3], 5]], [-, 7, 9]], [*, [-, 79, [-, [*, 35, [-, 9, 7]], 5]], 3], [*, [-, 79, [-, [*, [-, 9, 7], 35], 5]], 3], [*, [-, 79, [-, [*, [-, 35, 9], 3], 5]], 7], [*, [-, [*, 3, 35], [+, 5, 79]], [-, 9, 7]], [*, [-, [*, 3, 35], [+, 79, 5]], [-, 9, 7]], [*, [-, [*, 7, 9], [+, 5, [-, 79, 35]]], 3], [*, [-, [*, 7, 9], [+, 79, [-, 5, 35]]], 3], [*, [-, [*, 7, 9], [+, [-, 5, 35], 79]], 3], [*, [-, [*, 7, 9], [+, [-, 79, 35], 5]], 3], [*, [-, [*, 7, 9], [-, 5, [-, 35, 79]]], 3], [*, [-, [*, 7, 9], [-, 79, [-, 35, 5]]], 3], [*, [-, [*, 7, 9], [-, [+, 5, 79], 35]], 3], [*, [-, [*, 7, 9], [-, [+, 79, 5], 35]], 3], [*, [-, [*, 9, 7], [+, 5, [-, 79, 35]]], 3], [*, [-, [*, 9, 7], [+, 79, [-, 5, 35]]], 3], [*, [-, [*, 9, 7], [+, [-, 5, 35], 79]], 3], [*, [-, [*, 9, 7], [+, [-, 79, 35], 5]], 3], [*, [-, [*, 9, 7], [-, 5, [-, 35, 79]]], 3], [*, [-, [*, 9, 7], [-, 79, [-, 35, 5]]], 3], [*, [-, [*, 9, 7], [-, [+, 5, 79], 35]], 3], [*, [-, [*, 9, 7], [-, [+, 79, 5], 35]], 3], [*, [-, [*, 35, 3], [+, 5, 79]], [-, 9, 7]], [*, [-, [*, 35, 3], [+, 79, 5]], [-, 9, 7]], [*, [-, [+, 5, 79], [*, 3, 35]], [-, 7, 9]], [*, [-, [+, 5, 79], [*, 3, [-, 35, 9]]], 7], [*, [-, [+, 5, 79], [*, 35, 3]], [-, 7, 9]], [*, [-, [+, 5, 79], [*, 35, [-, 9, 7]]], 3], [*, [-, [+, 5, 79], [*, [-, 9, 7], 35]], 3], [*, [-, [+, 5, 79], [*, [-, 35, 9], 3]], 7], [*, [-, [+, 35, [*, 7, 9]], [+, 5, 79]], 3], [*, [-, [+, 35, [*, 7, 9]], [+, 79, 5]], 3], [*, [-, [+, 35, [*, 9, 7]], [+, 5, 79]], 3], [*, [-, [+, 35, [*, 9, 7]], [+, 79, 5]], 3], [*, [-, [+, 35, [-, [*, 7, 9], 5]], 79], 3], [*, [-, [+, 35, [-, [*, 7, 9], 79]], 5], 3], [*, [-, [+, 35, [-, [*, 9, 7], 5]], 79], 3], [*, [-, [+, 35, [-, [*, 9, 7], 79]], 5], 3], [*, [-, [+, 79, 5], [*, 3, 35]], [-, 7, 9]], [*, [-, [+, 79, 5], [*, 3, [-, 35, 9]]], 7], [*, [-, [+, 79, 5], [*, 35, 3]], [-, 7, 9]], [*, [-, [+, 79, 5], [*, 35, [-, 9, 7]]], 3], [*, [-, [+, 79, 5], [*, [-, 9, 7], 35]], 3], [*, [-, [+, 79, 5], [*, [-, 35, 9], 3]], 7], [*, [-, [+, [*, 7, 9], 35], [+, 5, 79]], 3], [*, [-, [+, [*, 7, 9], 35], [+, 79, 5]], 3], [*, [-, [+, [*, 7, 9], [-, 35, 5]], 79], 3], [*, [-, [+, [*, 7, 9], [-, 35, 79]], 5], 3], [*, [-, [+, [*, 9, 7], 35], [+, 5, 79]], 3], [*, [-, [+, [*, 9, 7], 35], [+, 79, 5]], 3], [*, [-, [+, [*, 9, 7], [-, 35, 5]], 79], 3], [*, [-, [+, [*, 9, 7], [-, 35, 79]], 5], 3], [*, [-, [+, [-, 35, 5], [*, 7, 9]], 79], 3], [*, [-, [+, [-, 35, 5], [*, 9, 7]], 79], 3], [*, [-, [+, [-, 35, 79], [*, 7, 9]], 5], 3], [*, [-, [+, [-, 35, 79], [*, 9, 7]], 5], 3], [*, [-, [+, [-, [*, 7, 9], 5], 35], 79], 3], [*, [-, [+, [-, [*, 7, 9], 79], 35], 5], 3], [*, [-, [+, [-, [*, 9, 7], 5], 35], 79], 3], [*, [-, [+, [-, [*, 9, 7], 79], 35], 5], 3], [*, [-, [-, 35, 5], [-, 79, [*, 7, 9]]], 3], [*, [-, [-, 35, 5], [-, 79, [*, 9, 7]]], 3], [*, [-, [-, 35, 79], [-, 5, [*, 7, 9]]], 3], [*, [-, [-, 35, 79], [-, 5, [*, 9, 7]]], 3], [*, [-, [-, 35, [-, 5, [*, 7, 9]]], 79], 3], [*, [-, [-, 35, [-, 5, [*, 9, 7]]], 79], 3], [*, [-, [-, 35, [-, 79, [*, 7, 9]]], 5], 3], [*, [-, [-, 35, [-, 79, [*, 9, 7]]], 5], 3], [*, [-, [-, [*, 3, 35], 5], 79], [-, 9, 7]], [*, [-, [-, [*, 3, 35], 79], 5], [-, 9, 7]], [*, [-, [-, [*, 7, 9], 5], [-, 79, 35]], 3], [*, [-, [-, [*, 7, 9], 79], [-, 5, 35]], 3], [*, [-, [-, [*, 7, 9], [-, 5, 35]], 79], 3], [*, [-, [-, [*, 7, 9], [-, 79, 35]], 5], 3], [*, [-, [-, [*, 9, 7], 5], [-, 79, 35]], 3], [*, [-, [-, [*, 9, 7], 79], [-, 5, 35]], 3], [*, [-, [-, [*, 9, 7], [-, 5, 35]], 79], 3], [*, [-, [-, [*, 9, 7], [-, 79, 35]], 5], 3], [*, [-, [-, [*, 35, 3], 5], 79], [-, 9, 7]], [*, [-, [-, [*, 35, 3], 79], 5], [-, 9, 7]], [*, [-, [-, [+, 35, [*, 7, 9]], 5], 79], 3], [*, [-, [-, [+, 35, [*, 7, 9]], 79], 5], 3], [*, [-, [-, [+, 35, [*, 9, 7]], 5], 79], 3], [*, [-, [-, [+, 35, [*, 9, 7]], 79], 5], 3], [*, [-, [-, [+, [*, 7, 9], 35], 5], 79], 3], [*, [-, [-, [+, [*, 7, 9], 35], 79], 5], 3], [*, [-, [-, [+, [*, 9, 7], 35], 5], 79], 3], [*, [-, [-, [+, [*, 9, 7], 35], 79], 5], 3], [+, 5, [+, 79, [-, [*, 7, 9], [*, 3, 35]]]], [+, 5, [+, 79, [-, [*, 7, 9], [*, 35, 3]]]], [+, 5, [+, 79, [-, [*, 9, 7], [*, 3, 35]]]], [+, 5, [+, 79, [-, [*, 9, 7], [*, 35, 3]]]], [+, 5, [+, [*, 7, 9], [-, 79, [*, 3, 35]]]], [+, 5, [+, [*, 7, 9], [-, 79, [*, 35, 3]]]], [+, 5, [+, [*, 9, 7], [-, 79, [*, 3, 35]]]], [+, 5, [+, [*, 9, 7], [-, 79, [*, 35, 3]]]], [+, 5, [+, [-, 79, [*, 3, 35]], [*, 7, 9]]], [+, 5, [+, [-, 79, [*, 3, 35]], [*, 9, 7]]], [+, 5, [+, [-, 79, [*, 35, 3]], [*, 7, 9]]], [+, 5, [+, [-, 79, [*, 35, 3]], [*, 9, 7]]], [+, 5, [+, [-, [*, 7, 9], [*, 3, 35]], 79]], [+, 5, [+, [-, [*, 7, 9], [*, 35, 3]], 79]], [+, 5, [+, [-, [*, 9, 7], [*, 3, 35]], 79]], [+, 5, [+, [-, [*, 9, 7], [*, 35, 3]], 79]], [+, 5, [-, 79, [-, [*, 3, 35], [*, 7, 9]]]], [+, 5, [-, 79, [-, [*, 3, 35], [*, 9, 7]]]], [+, 5, [-, 79, [-, [*, 35, 3], [*, 7, 9]]]], [+, 5, [-, 79, [-, [*, 35, 3], [*, 9, 7]]]], [+, 5, [-, [*, 7, 9], [-, [*, 3, 35], 79]]], [+, 5, [-, [*, 7, 9], [-, [*, 35, 3], 79]]], [+, 5, [-, [*, 9, 7], [-, [*, 3, 35], 79]]], [+, 5, [-, [*, 9, 7], [-, [*, 35, 3], 79]]], [+, 5, [-, [+, 79, [*, 7, 9]], [*, 3, 35]]], [+, 5, [-, [+, 79, [*, 7, 9]], [*, 35, 3]]], [+, 5, [-, [+, 79, [*, 9, 7]], [*, 3, 35]]], [+, 5, [-, [+, 79, [*, 9, 7]], [*, 35, 3]]], [+, 5, [-, [+, [*, 7, 9], 79], [*, 3, 35]]], [+, 5, [-, [+, [*, 7, 9], 79], [*, 35, 3]]], [+, 5, [-, [+, [*, 9, 7], 79], [*, 3, 35]]], [+, 5, [-, [+, [*, 9, 7], 79], [*, 35, 3]]], [+, 7, [-, [*, 3, [-, 79, 9]], [*, 5, 35]]], [+, 7, [-, [*, 3, [-, 79, 9]], [*, 35, 5]]], [+, 7, [-, [*, [-, 79, 9], 3], [*, 5, 35]]], [+, 7, [-, [*, [-, 79, 9], 3], [*, 35, 5]]], [+, 35, [+, 79, [*, 9, [-, 7, [*, 3, 5]]]]], [+, 35, [+, 79, [*, 9, [-, 7, [*, 5, 3]]]]], [+, 35, [+, 79, [*, [+, 5, 7], [-, 3, 9]]]], [+, 35, [+, 79, [*, [+, 7, 5], [-, 3, 9]]]], [+, 35, [+, 79, [*, [-, 3, 9], [+, 5, 7]]]], [+, 35, [+, 79, [*, [-, 3, 9], [+, 7, 5]]]], [+, 35, [+, 79, [*, [-, 7, [*, 3, 5]], 9]]], [+, 35, [+, 79, [*, [-, 7, [*, 5, 3]], 9]]], [+, 35, [+, [*, 9, [-, 7, [*, 3, 5]]], 79]], [+, 35, [+, [*, 9, [-, 7, [*, 5, 3]]], 79]], [+, 35, [+, [*, [+, 5, 7], [-, 3, 9]], 79]], [+, 35, [+, [*, [+, 7, 5], [-, 3, 9]], 79]], [+, 35, [+, [*, [-, 3, 9], [+, 5, 7]], 79]], [+, 35, [+, [*, [-, 3, 9], [+, 7, 5]], 79]], [+, 35, [+, [*, [-, 7, [*, 3, 5]], 9], 79]], [+, 35, [+, [*, [-, 7, [*, 5, 3]], 9], 79]], [+, 35, [-, 79, [*, 9, [-, [*, 3, 5], 7]]]], [+, 35, [-, 79, [*, 9, [-, [*, 5, 3], 7]]]], [+, 35, [-, 79, [*, [+, 5, 7], [-, 9, 3]]]], [+, 35, [-, 79, [*, [+, 7, 5], [-, 9, 3]]]], [+, 35, [-, 79, [*, [-, 9, 3], [+, 5, 7]]]], [+, 35, [-, 79, [*, [-, 9, 3], [+, 7, 5]]]], [+, 35, [-, 79, [*, [-, [*, 3, 5], 7], 9]]], [+, 35, [-, 79, [*, [-, [*, 5, 3], 7], 9]]], [+, 79, [+, 5, [-, [*, 7, 9], [*, 3, 35]]]], [+, 79, [+, 5, [-, [*, 7, 9], [*, 35, 3]]]], [+, 79, [+, 5, [-, [*, 9, 7], [*, 3, 35]]]], [+, 79, [+, 5, [-, [*, 9, 7], [*, 35, 3]]]], [+, 79, [+, 35, [*, 9, [-, 7, [*, 3, 5]]]]], [+, 79, [+, 35, [*, 9, [-, 7, [*, 5, 3]]]]], [+, 79, [+, 35, [*, [+, 5, 7], [-, 3, 9]]]], [+, 79, [+, 35, [*, [+, 7, 5], [-, 3, 9]]]], [+, 79, [+, 35, [*, [-, 3, 9], [+, 5, 7]]]], [+, 79, [+, 35, [*, [-, 3, 9], [+, 7, 5]]]], [+, 79, [+, 35, [*, [-, 7, [*, 3, 5]], 9]]], [+, 79, [+, 35, [*, [-, 7, [*, 5, 3]], 9]]], [+, 79, [+, [*, 7, 9], [-, 5, [*, 3, 35]]]], [+, 79, [+, [*, 7, 9], [-, 5, [*, 35, 3]]]], [+, 79, [+, [*, 9, 7], [-, 5, [*, 3, 35]]]], [+, 79, [+, [*, 9, 7], [-, 5, [*, 35, 3]]]], [+, 79, [+, [*, 9, [-, 7, [*, 3, 5]]], 35]], [+, 79, [+, [*, 9, [-, 7, [*, 5, 3]]], 35]], [+, 79, [+, [*, [+, 5, 7], [-, 3, 9]], 35]], [+, 79, [+, [*, [+, 7, 5], [-, 3, 9]], 35]], [+, 79, [+, [*, [-, 3, 9], [+, 5, 7]], 35]], [+, 79, [+, [*, [-, 3, 9], [+, 7, 5]], 35]], [+, 79, [+, [*, [-, 7, [*, 3, 5]], 9], 35]], [+, 79, [+, [*, [-, 7, [*, 5, 3]], 9], 35]], [+, 79, [+, [-, 5, [*, 3, 35]], [*, 7, 9]]], [+, 79, [+, [-, 5, [*, 3, 35]], [*, 9, 7]]], [+, 79, [+, [-, 5, [*, 35, 3]], [*, 7, 9]]], [+, 79, [+, [-, 5, [*, 35, 3]], [*, 9, 7]]], [+, 79, [+, [-, [*, 7, 9], [*, 3, 35]], 5]], [+, 79, [+, [-, [*, 7, 9], [*, 35, 3]], 5]], [+, 79, [+, [-, [*, 9, 7], [*, 3, 35]], 5]], [+, 79, [+, [-, [*, 9, 7], [*, 35, 3]], 5]], [+, 79, [-, 5, [-, [*, 3, 35], [*, 7, 9]]]], [+, 79, [-, 5, [-, [*, 3, 35], [*, 9, 7]]]], [+, 79, [-, 5, [-, [*, 35, 3], [*, 7, 9]]]], [+, 79, [-, 5, [-, [*, 35, 3], [*, 9, 7]]]], [+, 79, [-, 35, [*, 9, [-, [*, 3, 5], 7]]]], [+, 79, [-, 35, [*, 9, [-, [*, 5, 3], 7]]]], [+, 79, [-, 35, [*, [+, 5, 7], [-, 9, 3]]]], [+, 79, [-, 35, [*, [+, 7, 5], [-, 9, 3]]]], [+, 79, [-, 35, [*, [-, 9, 3], [+, 5, 7]]]], [+, 79, [-, 35, [*, [-, 9, 3], [+, 7, 5]]]], [+, 79, [-, 35, [*, [-, [*, 3, 5], 7], 9]]], [+, 79, [-, 35, [*, [-, [*, 5, 3], 7], 9]]], [+, 79, [-, [*, 3, [-, 35, [*, 5, 9]]], 7]], [+, 79, [-, [*, 3, [-, 35, [*, 9, 5]]], 7]], [+, 79, [-, [*, 7, 9], [-, [*, 3, 35], 5]]], [+, 79, [-, [*, 7, 9], [-, [*, 35, 3], 5]]], [+, 79, [-, [*, 9, 7], [-, [*, 3, 35], 5]]], [+, 79, [-, [*, 9, 7], [-, [*, 35, 3], 5]]], [+, 79, [-, [*, [-, 35, [*, 5, 9]], 3], 7]], [+, 79, [-, [*, [-, 35, [*, 9, 5]], 3], 7]], [+, 79, [-, [+, 5, [*, 7, 9]], [*, 3, 35]]], [+, 79, [-, [+, 5, [*, 7, 9]], [*, 35, 3]]], [+, 79, [-, [+, 5, [*, 9, 7]], [*, 3, 35]]], [+, 79, [-, [+, 5, [*, 9, 7]], [*, 35, 3]]], [+, 79, [-, [+, [*, 7, 9], 5], [*, 3, 35]]], [+, 79, [-, [+, [*, 7, 9], 5], [*, 35, 3]]], [+, 79, [-, [+, [*, 9, 7], 5], [*, 3, 35]]], [+, 79, [-, [+, [*, 9, 7], 5], [*, 35, 3]]], [+, [*, 3, [-, 35, [*, 5, 9]]], [-, 79, 7]], [+, [*, 3, [-, 35, [*, 9, 5]]], [-, 79, 7]], [+, [*, 3, [-, 79, 9]], [-, 7, [*, 5, 35]]], [+, [*, 3, [-, 79, 9]], [-, 7, [*, 35, 5]]], [+, [*, 7, 9], [+, 5, [-, 79, [*, 3, 35]]]], [+, [*, 7, 9], [+, 5, [-, 79, [*, 35, 3]]]], [+, [*, 7, 9], [+, 79, [-, 5, [*, 3, 35]]]], [+, [*, 7, 9], [+, 79, [-, 5, [*, 35, 3]]]], [+, [*, 7, 9], [+, [-, 5, [*, 3, 35]], 79]], [+, [*, 7, 9], [+, [-, 5, [*, 35, 3]], 79]], [+, [*, 7, 9], [+, [-, 79, [*, 3, 35]], 5]], [+, [*, 7, 9], [+, [-, 79, [*, 35, 3]], 5]], [+, [*, 7, 9], [-, 5, [-, [*, 3, 35], 79]]], [+, [*, 7, 9], [-, 5, [-, [*, 35, 3], 79]]], [+, [*, 7, 9], [-, 79, [-, [*, 3, 35], 5]]], [+, [*, 7, 9], [-, 79, [-, [*, 35, 3], 5]]], [+, [*, 7, 9], [-, [+, 5, 79], [*, 3, 35]]], [+, [*, 7, 9], [-, [+, 5, 79], [*, 35, 3]]], [+, [*, 7, 9], [-, [+, 79, 5], [*, 3, 35]]], [+, [*, 7, 9], [-, [+, 79, 5], [*, 35, 3]]], [+, [*, 9, 7], [+, 5, [-, 79, [*, 3, 35]]]], [+, [*, 9, 7], [+, 5, [-, 79, [*, 35, 3]]]], [+, [*, 9, 7], [+, 79, [-, 5, [*, 3, 35]]]], [+, [*, 9, 7], [+, 79, [-, 5, [*, 35, 3]]]], [+, [*, 9, 7], [+, [-, 5, [*, 3, 35]], 79]], [+, [*, 9, 7], [+, [-, 5, [*, 35, 3]], 79]], [+, [*, 9, 7], [+, [-, 79, [*, 3, 35]], 5]], [+, [*, 9, 7], [+, [-, 79, [*, 35, 3]], 5]], [+, [*, 9, 7], [-, 5, [-, [*, 3, 35], 79]]], [+, [*, 9, 7], [-, 5, [-, [*, 35, 3], 79]]], [+, [*, 9, 7], [-, 79, [-, [*, 3, 35], 5]]], [+, [*, 9, 7], [-, 79, [-, [*, 35, 3], 5]]], [+, [*, 9, 7], [-, [+, 5, 79], [*, 3, 35]]], [+, [*, 9, 7], [-, [+, 5, 79], [*, 35, 3]]], [+, [*, 9, 7], [-, [+, 79, 5], [*, 3, 35]]], [+, [*, 9, 7], [-, [+, 79, 5], [*, 35, 3]]], [+, [*, 9, [-, 7, [*, 3, 5]]], [+, 35, 79]], [+, [*, 9, [-, 7, [*, 3, 5]]], [+, 79, 35]], [+, [*, 9, [-, 7, [*, 5, 3]]], [+, 35, 79]], [+, [*, 9, [-, 7, [*, 5, 3]]], [+, 79, 35]], [+, [*, [+, 5, 7], [-, 3, 9]], [+, 35, 79]], [+, [*, [+, 5, 7], [-, 3, 9]], [+, 79, 35]], [+, [*, [+, 7, 5], [-, 3, 9]], [+, 35, 79]], [+, [*, [+, 7, 5], [-, 3, 9]], [+, 79, 35]], [+, [*, [-, 3, 9], [+, 5, 7]], [+, 35, 79]], [+, [*, [-, 3, 9], [+, 5, 7]], [+, 79, 35]], [+, [*, [-, 3, 9], [+, 7, 5]], [+, 35, 79]], [+, [*, [-, 3, 9], [+, 7, 5]], [+, 79, 35]], [+, [*, [-, 7, [*, 3, 5]], 9], [+, 35, 79]], [+, [*, [-, 7, [*, 3, 5]], 9], [+, 79, 35]], [+, [*, [-, 7, [*, 5, 3]], 9], [+, 35, 79]], [+, [*, [-, 7, [*, 5, 3]], 9], [+, 79, 35]], [+, [*, [-, 35, [*, 5, 9]], 3], [-, 79, 7]], [+, [*, [-, 35, [*, 9, 5]], 3], [-, 79, 7]], [+, [*, [-, 79, 9], 3], [-, 7, [*, 5, 35]]], [+, [*, [-, 79, 9], 3], [-, 7, [*, 35, 5]]], [+, [+, 5, 79], [-, [*, 7, 9], [*, 3, 35]]], [+, [+, 5, 79], [-, [*, 7, 9], [*, 35, 3]]], [+, [+, 5, 79], [-, [*, 9, 7], [*, 3, 35]]], [+, [+, 5, 79], [-, [*, 9, 7], [*, 35, 3]]], [+, [+, 5, [*, 7, 9]], [-, 79, [*, 3, 35]]], [+, [+, 5, [*, 7, 9]], [-, 79, [*, 35, 3]]], [+, [+, 5, [*, 9, 7]], [-, 79, [*, 3, 35]]], [+, [+, 5, [*, 9, 7]], [-, 79, [*, 35, 3]]], [+, [+, 5, [-, 79, [*, 3, 35]]], [*, 7, 9]], [+, [+, 5, [-, 79, [*, 3, 35]]], [*, 9, 7]], [+, [+, 5, [-, 79, [*, 35, 3]]], [*, 7, 9]], [+, [+, 5, [-, 79, [*, 35, 3]]], [*, 9, 7]], [+, [+, 5, [-, [*, 7, 9], [*, 3, 35]]], 79], [+, [+, 5, [-, [*, 7, 9], [*, 35, 3]]], 79], [+, [+, 5, [-, [*, 9, 7], [*, 3, 35]]], 79], [+, [+, 5, [-, [*, 9, 7], [*, 35, 3]]], 79], [+, [+, 35, 79], [*, 9, [-, 7, [*, 3, 5]]]], [+, [+, 35, 79], [*, 9, [-, 7, [*, 5, 3]]]], [+, [+, 35, 79], [*, [+, 5, 7], [-, 3, 9]]], [+, [+, 35, 79], [*, [+, 7, 5], [-, 3, 9]]], [+, [+, 35, 79], [*, [-, 3, 9], [+, 5, 7]]], [+, [+, 35, 79], [*, [-, 3, 9], [+, 7, 5]]], [+, [+, 35, 79], [*, [-, 7, [*, 3, 5]], 9]], [+, [+, 35, 79], [*, [-, 7, [*, 5, 3]], 9]], [+, [+, 35, [*, 9, [-, 7, [*, 3, 5]]]], 79], [+, [+, 35, [*, 9, [-, 7, [*, 5, 3]]]], 79], [+, [+, 35, [*, [+, 5, 7], [-, 3, 9]]], 79], [+, [+, 35, [*, [+, 7, 5], [-, 3, 9]]], 79], [+, [+, 35, [*, [-, 3, 9], [+, 5, 7]]], 79], [+, [+, 35, [*, [-, 3, 9], [+, 7, 5]]], 79], [+, [+, 35, [*, [-, 7, [*, 3, 5]], 9]], 79], [+, [+, 35, [*, [-, 7, [*, 5, 3]], 9]], 79], [+, [+, 79, 5], [-, [*, 7, 9], [*, 3, 35]]], [+, [+, 79, 5], [-, [*, 7, 9], [*, 35, 3]]], [+, [+, 79, 5], [-, [*, 9, 7], [*, 3, 35]]], [+, [+, 79, 5], [-, [*, 9, 7], [*, 35, 3]]], [+, [+, 79, 35], [*, 9, [-, 7, [*, 3, 5]]]], [+, [+, 79, 35], [*, 9, [-, 7, [*, 5, 3]]]], [+, [+, 79, 35], [*, [+, 5, 7], [-, 3, 9]]], [+, [+, 79, 35], [*, [+, 7, 5], [-, 3, 9]]], [+, [+, 79, 35], [*, [-, 3, 9], [+, 5, 7]]], [+, [+, 79, 35], [*, [-, 3, 9], [+, 7, 5]]], [+, [+, 79, 35], [*, [-, 7, [*, 3, 5]], 9]], [+, [+, 79, 35], [*, [-, 7, [*, 5, 3]], 9]], [+, [+, 79, [*, 7, 9]], [-, 5, [*, 3, 35]]], [+, [+, 79, [*, 7, 9]], [-, 5, [*, 35, 3]]], [+, [+, 79, [*, 9, 7]], [-, 5, [*, 3, 35]]], [+, [+, 79, [*, 9, 7]], [-, 5, [*, 35, 3]]], [+, [+, 79, [*, 9, [-, 7, [*, 3, 5]]]], 35], [+, [+, 79, [*, 9, [-, 7, [*, 5, 3]]]], 35], [+, [+, 79, [*, [+, 5, 7], [-, 3, 9]]], 35], [+, [+, 79, [*, [+, 7, 5], [-, 3, 9]]], 35], [+, [+, 79, [*, [-, 3, 9], [+, 5, 7]]], 35], [+, [+, 79, [*, [-, 3, 9], [+, 7, 5]]], 35], [+, [+, 79, [*, [-, 7, [*, 3, 5]], 9]], 35], [+, [+, 79, [*, [-, 7, [*, 5, 3]], 9]], 35], [+, [+, 79, [-, 5, [*, 3, 35]]], [*, 7, 9]], [+, [+, 79, [-, 5, [*, 3, 35]]], [*, 9, 7]], [+, [+, 79, [-, 5, [*, 35, 3]]], [*, 7, 9]], [+, [+, 79, [-, 5, [*, 35, 3]]], [*, 9, 7]], [+, [+, 79, [-, [*, 7, 9], [*, 3, 35]]], 5], [+, [+, 79, [-, [*, 7, 9], [*, 35, 3]]], 5], [+, [+, 79, [-, [*, 9, 7], [*, 3, 35]]], 5], [+, [+, 79, [-, [*, 9, 7], [*, 35, 3]]], 5], [+, [+, [*, 7, 9], 5], [-, 79, [*, 3, 35]]], [+, [+, [*, 7, 9], 5], [-, 79, [*, 35, 3]]], [+, [+, [*, 7, 9], 79], [-, 5, [*, 3, 35]]], [+, [+, [*, 7, 9], 79], [-, 5, [*, 35, 3]]], [+, [+, [*, 7, 9], [-, 5, [*, 3, 35]]], 79], [+, [+, [*, 7, 9], [-, 5, [*, 35, 3]]], 79], [+, [+, [*, 7, 9], [-, 79, [*, 3, 35]]], 5], [+, [+, [*, 7, 9], [-, 79, [*, 35, 3]]], 5], [+, [+, [*, 9, 7], 5], [-, 79, [*, 3, 35]]], [+, [+, [*, 9, 7], 5], [-, 79, [*, 35, 3]]], [+, [+, [*, 9, 7], 79], [-, 5, [*, 3, 35]]], [+, [+, [*, 9, 7], 79], [-, 5, [*, 35, 3]]], [+, [+, [*, 9, 7], [-, 5, [*, 3, 35]]], 79], [+, [+, [*, 9, 7], [-, 5, [*, 35, 3]]], 79], [+, [+, [*, 9, 7], [-, 79, [*, 3, 35]]], 5], [+, [+, [*, 9, 7], [-, 79, [*, 35, 3]]], 5], [+, [+, [*, 9, [-, 7, [*, 3, 5]]], 35], 79], [+, [+, [*, 9, [-, 7, [*, 3, 5]]], 79], 35], [+, [+, [*, 9, [-, 7, [*, 5, 3]]], 35], 79], [+, [+, [*, 9, [-, 7, [*, 5, 3]]], 79], 35], [+, [+, [*, [+, 5, 7], [-, 3, 9]], 35], 79], [+, [+, [*, [+, 5, 7], [-, 3, 9]], 79], 35], [+, [+, [*, [+, 7, 5], [-, 3, 9]], 35], 79], [+, [+, [*, [+, 7, 5], [-, 3, 9]], 79], 35], [+, [+, [*, [-, 3, 9], [+, 5, 7]], 35], 79], [+, [+, [*, [-, 3, 9], [+, 5, 7]], 79], 35], [+, [+, [*, [-, 3, 9], [+, 7, 5]], 35], 79], [+, [+, [*, [-, 3, 9], [+, 7, 5]], 79], 35], [+, [+, [*, [-, 7, [*, 3, 5]], 9], 35], 79], [+, [+, [*, [-, 7, [*, 3, 5]], 9], 79], 35], [+, [+, [*, [-, 7, [*, 5, 3]], 9], 35], 79], [+, [+, [*, [-, 7, [*, 5, 3]], 9], 79], 35], [+, [+, [-, 5, [*, 3, 35]], 79], [*, 7, 9]], [+, [+, [-, 5, [*, 3, 35]], 79], [*, 9, 7]], [+, [+, [-, 5, [*, 3, 35]], [*, 7, 9]], 79], [+, [+, [-, 5, [*, 3, 35]], [*, 9, 7]], 79], [+, [+, [-, 5, [*, 35, 3]], 79], [*, 7, 9]], [+, [+, [-, 5, [*, 35, 3]], 79], [*, 9, 7]], [+, [+, [-, 5, [*, 35, 3]], [*, 7, 9]], 79], [+, [+, [-, 5, [*, 35, 3]], [*, 9, 7]], 79], [+, [+, [-, 79, [*, 3, 35]], 5], [*, 7, 9]], [+, [+, [-, 79, [*, 3, 35]], 5], [*, 9, 7]], [+, [+, [-, 79, [*, 3, 35]], [*, 7, 9]], 5], [+, [+, [-, 79, [*, 3, 35]], [*, 9, 7]], 5], [+, [+, [-, 79, [*, 35, 3]], 5], [*, 7, 9]], [+, [+, [-, 79, [*, 35, 3]], 5], [*, 9, 7]], [+, [+, [-, 79, [*, 35, 3]], [*, 7, 9]], 5], [+, [+, [-, 79, [*, 35, 3]], [*, 9, 7]], 5], [+, [+, [-, [*, 7, 9], [*, 3, 35]], 5], 79], [+, [+, [-, [*, 7, 9], [*, 3, 35]], 79], 5], [+, [+, [-, [*, 7, 9], [*, 35, 3]], 5], 79], [+, [+, [-, [*, 7, 9], [*, 35, 3]], 79], 5], [+, [+, [-, [*, 9, 7], [*, 3, 35]], 5], 79], [+, [+, [-, [*, 9, 7], [*, 3, 35]], 79], 5], [+, [+, [-, [*, 9, 7], [*, 35, 3]], 5], 79], [+, [+, [-, [*, 9, 7], [*, 35, 3]], 79], 5], [+, [-, 5, [*, 3, 35]], [+, 79, [*, 7, 9]]], [+, [-, 5, [*, 3, 35]], [+, 79, [*, 9, 7]]], [+, [-, 5, [*, 3, 35]], [+, [*, 7, 9], 79]], [+, [-, 5, [*, 3, 35]], [+, [*, 9, 7], 79]], [+, [-, 5, [*, 35, 3]], [+, 79, [*, 7, 9]]], [+, [-, 5, [*, 35, 3]], [+, 79, [*, 9, 7]]], [+, [-, 5, [*, 35, 3]], [+, [*, 7, 9], 79]], [+, [-, 5, [*, 35, 3]], [+, [*, 9, 7], 79]], [+, [-, 5, [-, [*, 3, 35], 79]], [*, 7, 9]], [+, [-, 5, [-, [*, 3, 35], 79]], [*, 9, 7]], [+, [-, 5, [-, [*, 3, 35], [*, 7, 9]]], 79], [+, [-, 5, [-, [*, 3, 35], [*, 9, 7]]], 79], [+, [-, 5, [-, [*, 35, 3], 79]], [*, 7, 9]], [+, [-, 5, [-, [*, 35, 3], 79]], [*, 9, 7]], [+, [-, 5, [-, [*, 35, 3], [*, 7, 9]]], 79], [+, [-, 5, [-, [*, 35, 3], [*, 9, 7]]], 79], [+, [-, 7, [*, 5, 35]], [*, 3, [-, 79, 9]]], [+, [-, 7, [*, 5, 35]], [*, [-, 79, 9], 3]], [+, [-, 7, [*, 35, 5]], [*, 3, [-, 79, 9]]], [+, [-, 7, [*, 35, 5]], [*, [-, 79, 9], 3]], [+, [-, 35, [*, 9, [-, [*, 3, 5], 7]]], 79], [+, [-, 35, [*, 9, [-, [*, 5, 3], 7]]], 79], [+, [-, 35, [*, [+, 5, 7], [-, 9, 3]]], 79], [+, [-, 35, [*, [+, 7, 5], [-, 9, 3]]], 79], [+, [-, 35, [*, [-, 9, 3], [+, 5, 7]]], 79], [+, [-, 35, [*, [-, 9, 3], [+, 7, 5]]], 79], [+, [-, 35, [*, [-, [*, 3, 5], 7], 9]], 79], [+, [-, 35, [*, [-, [*, 5, 3], 7], 9]], 79], [+, [-, 79, 7], [*, 3, [-, 35, [*, 5, 9]]]], [+, [-, 79, 7], [*, 3, [-, 35, [*, 9, 5]]]], [+, [-, 79, 7], [*, [-, 35, [*, 5, 9]], 3]], [+, [-, 79, 7], [*, [-, 35, [*, 9, 5]], 3]], [+, [-, 79, [*, 3, 35]], [+, 5, [*, 7, 9]]], [+, [-, 79, [*, 3, 35]], [+, 5, [*, 9, 7]]], [+, [-, 79, [*, 3, 35]], [+, [*, 7, 9], 5]], [+, [-, 79, [*, 3, 35]], [+, [*, 9, 7], 5]], [+, [-, 79, [*, 9, [-, [*, 3, 5], 7]]], 35], [+, [-, 79, [*, 9, [-, [*, 5, 3], 7]]], 35], [+, [-, 79, [*, 35, 3]], [+, 5, [*, 7, 9]]], [+, [-, 79, [*, 35, 3]], [+, 5, [*, 9, 7]]], [+, [-, 79, [*, 35, 3]], [+, [*, 7, 9], 5]], [+, [-, 79, [*, 35, 3]], [+, [*, 9, 7], 5]], [+, [-, 79, [*, [+, 5, 7], [-, 9, 3]]], 35], [+, [-, 79, [*, [+, 7, 5], [-, 9, 3]]], 35], [+, [-, 79, [*, [-, 9, 3], [+, 5, 7]]], 35], [+, [-, 79, [*, [-, 9, 3], [+, 7, 5]]], 35], [+, [-, 79, [*, [-, [*, 3, 5], 7], 9]], 35], [+, [-, 79, [*, [-, [*, 5, 3], 7], 9]], 35], [+, [-, 79, [-, [*, 3, 35], 5]], [*, 7, 9]], [+, [-, 79, [-, [*, 3, 35], 5]], [*, 9, 7]], [+, [-, 79, [-, [*, 3, 35], [*, 7, 9]]], 5], [+, [-, 79, [-, [*, 3, 35], [*, 9, 7]]], 5], [+, [-, 79, [-, [*, 35, 3], 5]], [*, 7, 9]], [+, [-, 79, [-, [*, 35, 3], 5]], [*, 9, 7]], [+, [-, 79, [-, [*, 35, 3], [*, 7, 9]]], 5], [+, [-, 79, [-, [*, 35, 3], [*, 9, 7]]], 5], [+, [-, [*, 3, [-, 35, [*, 5, 9]]], 7], 79], [+, [-, [*, 3, [-, 35, [*, 9, 5]]], 7], 79], [+, [-, [*, 3, [-, 79, 9]], [*, 5, 35]], 7], [+, [-, [*, 3, [-, 79, 9]], [*, 35, 5]], 7], [+, [-, [*, 7, 9], [*, 3, 35]], [+, 5, 79]], [+, [-, [*, 7, 9], [*, 3, 35]], [+, 79, 5]], [+, [-, [*, 7, 9], [*, 35, 3]], [+, 5, 79]], [+, [-, [*, 7, 9], [*, 35, 3]], [+, 79, 5]], [+, [-, [*, 7, 9], [-, [*, 3, 35], 5]], 79], [+, [-, [*, 7, 9], [-, [*, 3, 35], 79]], 5], [+, [-, [*, 7, 9], [-, [*, 35, 3], 5]], 79], [+, [-, [*, 7, 9], [-, [*, 35, 3], 79]], 5], [+, [-, [*, 9, 7], [*, 3, 35]], [+, 5, 79]], [+, [-, [*, 9, 7], [*, 3, 35]], [+, 79, 5]], [+, [-, [*, 9, 7], [*, 35, 3]], [+, 5, 79]], [+, [-, [*, 9, 7], [*, 35, 3]], [+, 79, 5]], [+, [-, [*, 9, 7], [-, [*, 3, 35], 5]], 79], [+, [-, [*, 9, 7], [-, [*, 3, 35], 79]], 5], [+, [-, [*, 9, 7], [-, [*, 35, 3], 5]], 79], [+, [-, [*, 9, 7], [-, [*, 35, 3], 79]], 5], [+, [-, [*, [-, 35, [*, 5, 9]], 3], 7], 79], [+, [-, [*, [-, 35, [*, 9, 5]], 3], 7], 79], [+, [-, [*, [-, 79, 9], 3], [*, 5, 35]], 7], [+, [-, [*, [-, 79, 9], 3], [*, 35, 5]], 7], [+, [-, [+, 5, 79], [*, 3, 35]], [*, 7, 9]], [+, [-, [+, 5, 79], [*, 3, 35]], [*, 9, 7]], [+, [-, [+, 5, 79], [*, 35, 3]], [*, 7, 9]], [+, [-, [+, 5, 79], [*, 35, 3]], [*, 9, 7]], [+, [-, [+, 5, [*, 7, 9]], [*, 3, 35]], 79], [+, [-, [+, 5, [*, 7, 9]], [*, 35, 3]], 79], [+, [-, [+, 5, [*, 9, 7]], [*, 3, 35]], 79], [+, [-, [+, 5, [*, 9, 7]], [*, 35, 3]], 79], [+, [-, [+, 79, 5], [*, 3, 35]], [*, 7, 9]], [+, [-, [+, 79, 5], [*, 3, 35]], [*, 9, 7]], [+, [-, [+, 79, 5], [*, 35, 3]], [*, 7, 9]], [+, [-, [+, 79, 5], [*, 35, 3]], [*, 9, 7]], [+, [-, [+, 79, [*, 7, 9]], [*, 3, 35]], 5], [+, [-, [+, 79, [*, 7, 9]], [*, 35, 3]], 5], [+, [-, [+, 79, [*, 9, 7]], [*, 3, 35]], 5], [+, [-, [+, 79, [*, 9, 7]], [*, 35, 3]], 5], [+, [-, [+, [*, 7, 9], 5], [*, 3, 35]], 79], [+, [-, [+, [*, 7, 9], 5], [*, 35, 3]], 79], [+, [-, [+, [*, 7, 9], 79], [*, 3, 35]], 5], [+, [-, [+, [*, 7, 9], 79], [*, 35, 3]], 5], [+, [-, [+, [*, 9, 7], 5], [*, 3, 35]], 79], [+, [-, [+, [*, 9, 7], 5], [*, 35, 3]], 79], [+, [-, [+, [*, 9, 7], 79], [*, 3, 35]], 5], [+, [-, [+, [*, 9, 7], 79], [*, 35, 3]], 5], [-, 5, [-, [*, 3, 35], [+, 79, [*, 7, 9]]]], [-, 5, [-, [*, 3, 35], [+, 79, [*, 9, 7]]]], [-, 5, [-, [*, 3, 35], [+, [*, 7, 9], 79]]], [-, 5, [-, [*, 3, 35], [+, [*, 9, 7], 79]]], [-, 5, [-, [*, 35, 3], [+, 79, [*, 7, 9]]]], [-, 5, [-, [*, 35, 3], [+, 79, [*, 9, 7]]]], [-, 5, [-, [*, 35, 3], [+, [*, 7, 9], 79]]], [-, 5, [-, [*, 35, 3], [+, [*, 9, 7], 79]]], [-, 5, [-, [-, [*, 3, 35], 79], [*, 7, 9]]], [-, 5, [-, [-, [*, 3, 35], 79], [*, 9, 7]]], [-, 5, [-, [-, [*, 3, 35], [*, 7, 9]], 79]], [-, 5, [-, [-, [*, 3, 35], [*, 9, 7]], 79]], [-, 5, [-, [-, [*, 35, 3], 79], [*, 7, 9]]], [-, 5, [-, [-, [*, 35, 3], 79], [*, 9, 7]]], [-, 5, [-, [-, [*, 35, 3], [*, 7, 9]], 79]], [-, 5, [-, [-, [*, 35, 3], [*, 9, 7]], 79]], [-, 7, [+, [*, 3, [-, 9, 79]], [*, 5, 35]]], [-, 7, [+, [*, 3, [-, 9, 79]], [*, 35, 5]]], [-, 7, [+, [*, 5, 35], [*, 3, [-, 9, 79]]]], [-, 7, [+, [*, 5, 35], [*, [-, 9, 79], 3]]], [-, 7, [+, [*, 35, 5], [*, 3, [-, 9, 79]]]], [-, 7, [+, [*, 35, 5], [*, [-, 9, 79], 3]]], [-, 7, [+, [*, [-, 9, 79], 3], [*, 5, 35]]], [-, 7, [+, [*, [-, 9, 79], 3], [*, 35, 5]]], [-, 7, [-, [*, 5, 35], [*, 3, [-, 79, 9]]]], [-, 7, [-, [*, 5, 35], [*, [-, 79, 9], 3]]], [-, 7, [-, [*, 35, 5], [*, 3, [-, 79, 9]]]], [-, 7, [-, [*, 35, 5], [*, [-, 79, 9], 3]]], [-, 35, [-, [*, 9, [-, [*, 3, 5], 7]], 79]], [-, 35, [-, [*, 9, [-, [*, 5, 3], 7]], 79]], [-, 35, [-, [*, [+, 5, 7], [-, 9, 3]], 79]], [-, 35, [-, [*, [+, 7, 5], [-, 9, 3]], 79]], [-, 35, [-, [*, [-, 9, 3], [+, 5, 7]], 79]], [-, 35, [-, [*, [-, 9, 3], [+, 7, 5]], 79]], [-, 35, [-, [*, [-, [*, 3, 5], 7], 9], 79]], [-, 35, [-, [*, [-, [*, 5, 3], 7], 9], 79]], [-, 79, [+, 7, [*, 3, [-, [*, 5, 9], 35]]]], [-, 79, [+, 7, [*, 3, [-, [*, 9, 5], 35]]]], [-, 79, [+, 7, [*, [-, [*, 5, 9], 35], 3]]], [-, 79, [+, 7, [*, [-, [*, 9, 5], 35], 3]]], [-, 79, [+, [*, 3, [-, [*, 5, 9], 35]], 7]], [-, 79, [+, [*, 3, [-, [*, 9, 5], 35]], 7]], [-, 79, [+, [*, [-, [*, 5, 9], 35], 3], 7]], [-, 79, [+, [*, [-, [*, 9, 5], 35], 3], 7]], [-, 79, [-, 7, [*, 3, [-, 35, [*, 5, 9]]]]], [-, 79, [-, 7, [*, 3, [-, 35, [*, 9, 5]]]]], [-, 79, [-, 7, [*, [-, 35, [*, 5, 9]], 3]]], [-, 79, [-, 7, [*, [-, 35, [*, 9, 5]], 3]]], [-, 79, [-, [*, 3, 35], [+, 5, [*, 7, 9]]]], [-, 79, [-, [*, 3, 35], [+, 5, [*, 9, 7]]]], [-, 79, [-, [*, 3, 35], [+, [*, 7, 9], 5]]], [-, 79, [-, [*, 3, 35], [+, [*, 9, 7], 5]]], [-, 79, [-, [*, 9, [-, [*, 3, 5], 7]], 35]], [-, 79, [-, [*, 9, [-, [*, 5, 3], 7]], 35]], [-, 79, [-, [*, 35, 3], [+, 5, [*, 7, 9]]]], [-, 79, [-, [*, 35, 3], [+, 5, [*, 9, 7]]]], [-, 79, [-, [*, 35, 3], [+, [*, 7, 9], 5]]], [-, 79, [-, [*, 35, 3], [+, [*, 9, 7], 5]]], [-, 79, [-, [*, [+, 5, 7], [-, 9, 3]], 35]], [-, 79, [-, [*, [+, 7, 5], [-, 9, 3]], 35]], [-, 79, [-, [*, [-, 9, 3], [+, 5, 7]], 35]], [-, 79, [-, [*, [-, 9, 3], [+, 7, 5]], 35]], [-, 79, [-, [*, [-, [*, 3, 5], 7], 9], 35]], [-, 79, [-, [*, [-, [*, 5, 3], 7], 9], 35]], [-, 79, [-, [-, [*, 3, 35], 5], [*, 7, 9]]], [-, 79, [-, [-, [*, 3, 35], 5], [*, 9, 7]]], [-, 79, [-, [-, [*, 3, 35], [*, 7, 9]], 5]], [-, 79, [-, [-, [*, 3, 35], [*, 9, 7]], 5]], [-, 79, [-, [-, [*, 35, 3], 5], [*, 7, 9]]], [-, 79, [-, [-, [*, 35, 3], 5], [*, 9, 7]]], [-, 79, [-, [-, [*, 35, 3], [*, 7, 9]], 5]], [-, 79, [-, [-, [*, 35, 3], [*, 9, 7]], 5]], [-, [*, 3, [+, 7, [*, 5, 9]]], [+, 35, 79]], [-, [*, 3, [+, 7, [*, 5, 9]]], [+, 79, 35]], [-, [*, 3, [+, 7, [*, 9, 5]]], [+, 35, 79]], [-, [*, 3, [+, 7, [*, 9, 5]]], [+, 79, 35]], [-, [*, 3, [+, [*, 5, 9], 7]], [+, 35, 79]], [-, [*, 3, [+, [*, 5, 9], 7]], [+, 79, 35]], [-, [*, 3, [+, [*, 9, 5], 7]], [+, 35, 79]], [-, [*, 3, [+, [*, 9, 5], 7]], [+, 79, 35]], [-, [*, 3, [-, 35, [*, 5, 9]]], [-, 7, 79]], [-, [*, 3, [-, 35, [*, 9, 5]]], [-, 7, 79]], [-, [*, 3, [-, 79, 9]], [-, [*, 5, 35], 7]], [-, [*, 3, [-, 79, 9]], [-, [*, 35, 5], 7]], [-, [*, 5, [+, 79, [*, 35, [-, 7, 9]]]], 3], [-, [*, 5, [+, 79, [*, [-, 7, 9], 35]]], 3], [-, [*, 5, [+, [*, 35, [-, 7, 9]], 79]], 3], [-, [*, 5, [+, [*, [-, 7, 9], 35], 79]], 3], [-, [*, 5, [-, 79, 7]], [+, 3, [*, 9, 35]]], [-, [*, 5, [-, 79, 7]], [+, 3, [*, 35, 9]]], [-, [*, 5, [-, 79, 7]], [+, [*, 9, 35], 3]], [-, [*, 5, [-, 79, 7]], [+, [*, 35, 9], 3]], [-, [*, 5, [-, 79, [*, 7, 9]]], [+, 3, 35]], [-, [*, 5, [-, 79, [*, 7, 9]]], [+, 35, 3]], [-, [*, 5, [-, 79, [*, 9, 7]]], [+, 3, 35]], [-, [*, 5, [-, 79, [*, 9, 7]]], [+, 35, 3]], [-, [*, 5, [-, 79, [*, 35, [-, 9, 7]]]], 3], [-, [*, 5, [-, 79, [*, [-, 9, 7], 35]]], 3], [-, [*, 7, 9], [-, [*, 3, 35], [+, 5, 79]]], [-, [*, 7, 9], [-, [*, 3, 35], [+, 79, 5]]], [-, [*, 7, 9], [-, [*, 35, 3], [+, 5, 79]]], [-, [*, 7, 9], [-, [*, 35, 3], [+, 79, 5]]], [-, [*, 7, 9], [-, [-, [*, 3, 35], 5], 79]], [-, [*, 7, 9], [-, [-, [*, 3, 35], 79], 5]], [-, [*, 7, 9], [-, [-, [*, 35, 3], 5], 79]], [-, [*, 7, 9], [-, [-, [*, 35, 3], 79], 5]], [-, [*, 7, [-, 79, 3]], [*, 35, [+, 5, 9]]], [-, [*, 7, [-, 79, 3]], [*, 35, [+, 9, 5]]], [-, [*, 7, [-, 79, 3]], [*, [+, 5, 9], 35]], [-, [*, 7, [-, 79, 3]], [*, [+, 9, 5], 35]], [-, [*, 9, 7], [-, [*, 3, 35], [+, 5, 79]]], [-, [*, 9, 7], [-, [*, 3, 35], [+, 79, 5]]], [-, [*, 9, 7], [-, [*, 35, 3], [+, 5, 79]]], [-, [*, 9, 7], [-, [*, 35, 3], [+, 79, 5]]], [-, [*, 9, 7], [-, [-, [*, 3, 35], 5], 79]], [-, [*, 9, 7], [-, [-, [*, 3, 35], 79], 5]], [-, [*, 9, 7], [-, [-, [*, 35, 3], 5], 79]], [-, [*, 9, 7], [-, [-, [*, 35, 3], 79], 5]], [-, [*, 9, 35], [*, 3, [+, 5, [+, 7, 79]]]], [-, [*, 9, 35], [*, 3, [+, 5, [+, 79, 7]]]], [-, [*, 9, 35], [*, 3, [+, 7, [+, 5, 79]]]], [-, [*, 9, 35], [*, 3, [+, 7, [+, 79, 5]]]], [-, [*, 9, 35], [*, 3, [+, 79, [+, 5, 7]]]], [-, [*, 9, 35], [*, 3, [+, 79, [+, 7, 5]]]], [-, [*, 9, 35], [*, 3, [+, [+, 5, 7], 79]]], [-, [*, 9, 35], [*, 3, [+, [+, 5, 79], 7]]], [-, [*, 9, 35], [*, 3, [+, [+, 7, 5], 79]]], [-, [*, 9, 35], [*, 3, [+, [+, 7, 79], 5]]], [-, [*, 9, 35], [*, 3, [+, [+, 79, 5], 7]]], [-, [*, 9, 35], [*, 3, [+, [+, 79, 7], 5]]], [-, [*, 9, 35], [*, [+, 5, [+, 7, 79]], 3]], [-, [*, 9, 35], [*, [+, 5, [+, 79, 7]], 3]], [-, [*, 9, 35], [*, [+, 7, [+, 5, 79]], 3]], [-, [*, 9, 35], [*, [+, 7, [+, 79, 5]], 3]], [-, [*, 9, 35], [*, [+, 79, [+, 5, 7]], 3]], [-, [*, 9, 35], [*, [+, 79, [+, 7, 5]], 3]], [-, [*, 9, 35], [*, [+, [+, 5, 7], 79], 3]], [-, [*, 9, 35], [*, [+, [+, 5, 79], 7], 3]], [-, [*, 9, 35], [*, [+, [+, 7, 5], 79], 3]], [-, [*, 9, 35], [*, [+, [+, 7, 79], 5], 3]], [-, [*, 9, 35], [*, [+, [+, 79, 5], 7], 3]], [-, [*, 9, 35], [*, [+, [+, 79, 7], 5], 3]], [-, [*, 9, [-, 35, [*, 3, 7]]], [+, 5, 79]], [-, [*, 9, [-, 35, [*, 3, 7]]], [+, 79, 5]], [-, [*, 9, [-, 35, [*, 7, 3]]], [+, 5, 79]], [-, [*, 9, [-, 35, [*, 7, 3]]], [+, 79, 5]], [-, [*, 35, 9], [*, 3, [+, 5, [+, 7, 79]]]], [-, [*, 35, 9], [*, 3, [+, 5, [+, 79, 7]]]], [-, [*, 35, 9], [*, 3, [+, 7, [+, 5, 79]]]], [-, [*, 35, 9], [*, 3, [+, 7, [+, 79, 5]]]], [-, [*, 35, 9], [*, 3, [+, 79, [+, 5, 7]]]], [-, [*, 35, 9], [*, 3, [+, 79, [+, 7, 5]]]], [-, [*, 35, 9], [*, 3, [+, [+, 5, 7], 79]]], [-, [*, 35, 9], [*, 3, [+, [+, 5, 79], 7]]], [-, [*, 35, 9], [*, 3, [+, [+, 7, 5], 79]]], [-, [*, 35, 9], [*, 3, [+, [+, 7, 79], 5]]], [-, [*, 35, 9], [*, 3, [+, [+, 79, 5], 7]]], [-, [*, 35, 9], [*, 3, [+, [+, 79, 7], 5]]], [-, [*, 35, 9], [*, [+, 5, [+, 7, 79]], 3]], [-, [*, 35, 9], [*, [+, 5, [+, 79, 7]], 3]], [-, [*, 35, 9], [*, [+, 7, [+, 5, 79]], 3]], [-, [*, 35, 9], [*, [+, 7, [+, 79, 5]], 3]], [-, [*, 35, 9], [*, [+, 79, [+, 5, 7]], 3]], [-, [*, 35, 9], [*, [+, 79, [+, 7, 5]], 3]], [-, [*, 35, 9], [*, [+, [+, 5, 7], 79], 3]], [-, [*, 35, 9], [*, [+, [+, 5, 79], 7], 3]], [-, [*, 35, 9], [*, [+, [+, 7, 5], 79], 3]], [-, [*, 35, 9], [*, [+, [+, 7, 79], 5], 3]], [-, [*, 35, 9], [*, [+, [+, 79, 5], 7], 3]], [-, [*, 35, 9], [*, [+, [+, 79, 7], 5], 3]], [-, [*, 35, [+, 3, [+, 5, 9]]], [*, 7, 79]], [-, [*, 35, [+, 3, [+, 5, 9]]], [*, 79, 7]], [-, [*, 35, [+, 3, [+, 9, 5]]], [*, 7, 79]], [-, [*, 35, [+, 3, [+, 9, 5]]], [*, 79, 7]], [-, [*, 35, [+, 5, [+, 3, 9]]], [*, 7, 79]], [-, [*, 35, [+, 5, [+, 3, 9]]], [*, 79, 7]], [-, [*, 35, [+, 5, [+, 9, 3]]], [*, 7, 79]], [-, [*, 35, [+, 5, [+, 9, 3]]], [*, 79, 7]], [-, [*, 35, [+, 9, [+, 3, 5]]], [*, 7, 79]], [-, [*, 35, [+, 9, [+, 3, 5]]], [*, 79, 7]], [-, [*, 35, [+, 9, [+, 5, 3]]], [*, 7, 79]], [-, [*, 35, [+, 9, [+, 5, 3]]], [*, 79, 7]], [-, [*, 35, [+, [+, 3, 5], 9]], [*, 7, 79]], [-, [*, 35, [+, [+, 3, 5], 9]], [*, 79, 7]], [-, [*, 35, [+, [+, 3, 9], 5]], [*, 7, 79]], [-, [*, 35, [+, [+, 3, 9], 5]], [*, 79, 7]], [-, [*, 35, [+, [+, 5, 3], 9]], [*, 7, 79]], [-, [*, 35, [+, [+, 5, 3], 9]], [*, 79, 7]], [-, [*, 35, [+, [+, 5, 9], 3]], [*, 7, 79]], [-, [*, 35, [+, [+, 5, 9], 3]], [*, 79, 7]], [-, [*, 35, [+, [+, 9, 3], 5]], [*, 7, 79]], [-, [*, 35, [+, [+, 9, 3], 5]], [*, 79, 7]], [-, [*, 35, [+, [+, 9, 5], 3]], [*, 7, 79]], [-, [*, 35, [+, [+, 9, 5], 3]], [*, 79, 7]], [-, [*, [+, 3, [+, 5, 9]], 35], [*, 7, 79]], [-, [*, [+, 3, [+, 5, 9]], 35], [*, 79, 7]], [-, [*, [+, 3, [+, 9, 5]], 35], [*, 7, 79]], [-, [*, [+, 3, [+, 9, 5]], 35], [*, 79, 7]], [-, [*, [+, 5, [+, 3, 9]], 35], [*, 7, 79]], [-, [*, [+, 5, [+, 3, 9]], 35], [*, 79, 7]], [-, [*, [+, 5, [+, 9, 3]], 35], [*, 7, 79]], [-, [*, [+, 5, [+, 9, 3]], 35], [*, 79, 7]], [-, [*, [+, 7, [*, 5, 9]], 3], [+, 35, 79]], [-, [*, [+, 7, [*, 5, 9]], 3], [+, 79, 35]], [-, [*, [+, 7, [*, 9, 5]], 3], [+, 35, 79]], [-, [*, [+, 7, [*, 9, 5]], 3], [+, 79, 35]], [-, [*, [+, 9, [+, 3, 5]], 35], [*, 7, 79]], [-, [*, [+, 9, [+, 3, 5]], 35], [*, 79, 7]], [-, [*, [+, 9, [+, 5, 3]], 35], [*, 7, 79]], [-, [*, [+, 9, [+, 5, 3]], 35], [*, 79, 7]], [-, [*, [+, 79, [*, 35, [-, 7, 9]]], 5], 3], [-, [*, [+, 79, [*, [-, 7, 9], 35]], 5], 3], [-, [*, [+, [*, 5, 9], 7], 3], [+, 35, 79]], [-, [*, [+, [*, 5, 9], 7], 3], [+, 79, 35]], [-, [*, [+, [*, 9, 5], 7], 3], [+, 35, 79]], [-, [*, [+, [*, 9, 5], 7], 3], [+, 79, 35]], [-, [*, [+, [*, 35, [-, 7, 9]], 79], 5], 3], [-, [*, [+, [*, [-, 7, 9], 35], 79], 5], 3], [-, [*, [+, [+, 3, 5], 9], 35], [*, 7, 79]], [-, [*, [+, [+, 3, 5], 9], 35], [*, 79, 7]], [-, [*, [+, [+, 3, 9], 5], 35], [*, 7, 79]], [-, [*, [+, [+, 3, 9], 5], 35], [*, 79, 7]], [-, [*, [+, [+, 5, 3], 9], 35], [*, 7, 79]], [-, [*, [+, [+, 5, 3], 9], 35], [*, 79, 7]], [-, [*, [+, [+, 5, 9], 3], 35], [*, 7, 79]], [-, [*, [+, [+, 5, 9], 3], 35], [*, 79, 7]], [-, [*, [+, [+, 9, 3], 5], 35], [*, 7, 79]], [-, [*, [+, [+, 9, 3], 5], 35], [*, 79, 7]], [-, [*, [+, [+, 9, 5], 3], 35], [*, 7, 79]], [-, [*, [+, [+, 9, 5], 3], 35], [*, 79, 7]], [-, [*, [-, 3, 35], [-, 5, 9]], [+, 7, 79]], [-, [*, [-, 3, 35], [-, 5, 9]], [+, 79, 7]], [-, [*, [-, 5, 9], [-, 3, 35]], [+, 7, 79]], [-, [*, [-, 5, 9], [-, 3, 35]], [+, 79, 7]], [-, [*, [-, 9, 5], [-, 35, 3]], [+, 7, 79]], [-, [*, [-, 9, 5], [-, 35, 3]], [+, 79, 7]], [-, [*, [-, 35, 3], [-, 9, 5]], [+, 7, 79]], [-, [*, [-, 35, 3], [-, 9, 5]], [+, 79, 7]], [-, [*, [-, 35, [*, 3, 7]], 9], [+, 5, 79]], [-, [*, [-, 35, [*, 3, 7]], 9], [+, 79, 5]], [-, [*, [-, 35, [*, 5, 9]], 3], [-, 7, 79]], [-, [*, [-, 35, [*, 7, 3]], 9], [+, 5, 79]], [-, [*, [-, 35, [*, 7, 3]], 9], [+, 79, 5]], [-, [*, [-, 35, [*, 9, 5]], 3], [-, 7, 79]], [-, [*, [-, 79, 3], 7], [*, 35, [+, 5, 9]]], [-, [*, [-, 79, 3], 7], [*, 35, [+, 9, 5]]], [-, [*, [-, 79, 3], 7], [*, [+, 5, 9], 35]], [-, [*, [-, 79, 3], 7], [*, [+, 9, 5], 35]], [-, [*, [-, 79, 7], 5], [+, 3, [*, 9, 35]]], [-, [*, [-, 79, 7], 5], [+, 3, [*, 35, 9]]], [-, [*, [-, 79, 7], 5], [+, [*, 9, 35], 3]], [-, [*, [-, 79, 7], 5], [+, [*, 35, 9], 3]], [-, [*, [-, 79, 9], 3], [-, [*, 5, 35], 7]], [-, [*, [-, 79, 9], 3], [-, [*, 35, 5], 7]], [-, [*, [-, 79, [*, 7, 9]], 5], [+, 3, 35]], [-, [*, [-, 79, [*, 7, 9]], 5], [+, 35, 3]], [-, [*, [-, 79, [*, 9, 7]], 5], [+, 3, 35]], [-, [*, [-, 79, [*, 9, 7]], 5], [+, 35, 3]], [-, [*, [-, 79, [*, 35, [-, 9, 7]]], 5], 3], [-, [*, [-, 79, [*, [-, 9, 7], 35]], 5], 3], [-, [+, 5, 79], [-, [*, 3, 35], [*, 7, 9]]], [-, [+, 5, 79], [-, [*, 3, 35], [*, 9, 7]]], [-, [+, 5, 79], [-, [*, 35, 3], [*, 7, 9]]], [-, [+, 5, 79], [-, [*, 35, 3], [*, 9, 7]]], [-, [+, 5, [*, 7, 9]], [-, [*, 3, 35], 79]], [-, [+, 5, [*, 7, 9]], [-, [*, 35, 3], 79]], [-, [+, 5, [*, 9, 7]], [-, [*, 3, 35], 79]], [-, [+, 5, [*, 9, 7]], [-, [*, 35, 3], 79]], [-, [+, 5, [+, 79, [*, 7, 9]]], [*, 3, 35]], [-, [+, 5, [+, 79, [*, 7, 9]]], [*, 35, 3]], [-, [+, 5, [+, 79, [*, 9, 7]]], [*, 3, 35]], [-, [+, 5, [+, 79, [*, 9, 7]]], [*, 35, 3]], [-, [+, 5, [+, [*, 7, 9], 79]], [*, 3, 35]], [-, [+, 5, [+, [*, 7, 9], 79]], [*, 35, 3]], [-, [+, 5, [+, [*, 9, 7], 79]], [*, 3, 35]], [-, [+, 5, [+, [*, 9, 7], 79]], [*, 35, 3]], [-, [+, 7, [*, 3, [-, 79, 9]]], [*, 5, 35]], [-, [+, 7, [*, 3, [-, 79, 9]]], [*, 35, 5]], [-, [+, 7, [*, [-, 79, 9], 3]], [*, 5, 35]], [-, [+, 7, [*, [-, 79, 9], 3]], [*, 35, 5]], [-, [+, 35, 79], [*, 9, [-, [*, 3, 5], 7]]], [-, [+, 35, 79], [*, 9, [-, [*, 5, 3], 7]]], [-, [+, 35, 79], [*, [+, 5, 7], [-, 9, 3]]], [-, [+, 35, 79], [*, [+, 7, 5], [-, 9, 3]]], [-, [+, 35, 79], [*, [-, 9, 3], [+, 5, 7]]], [-, [+, 35, 79], [*, [-, 9, 3], [+, 7, 5]]], [-, [+, 35, 79], [*, [-, [*, 3, 5], 7], 9]], [-, [+, 35, 79], [*, [-, [*, 5, 3], 7], 9]], [-, [+, 79, 5], [-, [*, 3, 35], [*, 7, 9]]], [-, [+, 79, 5], [-, [*, 3, 35], [*, 9, 7]]], [-, [+, 79, 5], [-, [*, 35, 3], [*, 7, 9]]], [-, [+, 79, 5], [-, [*, 35, 3], [*, 9, 7]]], [-, [+, 79, 35], [*, 9, [-, [*, 3, 5], 7]]], [-, [+, 79, 35], [*, 9, [-, [*, 5, 3], 7]]], [-, [+, 79, 35], [*, [+, 5, 7], [-, 9, 3]]], [-, [+, 79, 35], [*, [+, 7, 5], [-, 9, 3]]], [-, [+, 79, 35], [*, [-, 9, 3], [+, 5, 7]]], [-, [+, 79, 35], [*, [-, 9, 3], [+, 7, 5]]], [-, [+, 79, 35], [*, [-, [*, 3, 5], 7], 9]], [-, [+, 79, 35], [*, [-, [*, 5, 3], 7], 9]], [-, [+, 79, [*, 3, [-, 35, [*, 5, 9]]]], 7], [-, [+, 79, [*, 3, [-, 35, [*, 9, 5]]]], 7], [-, [+, 79, [*, 7, 9]], [-, [*, 3, 35], 5]], [-, [+, 79, [*, 7, 9]], [-, [*, 35, 3], 5]], [-, [+, 79, [*, 9, 7]], [-, [*, 3, 35], 5]], [-, [+, 79, [*, 9, 7]], [-, [*, 35, 3], 5]], [-, [+, 79, [*, [-, 35, [*, 5, 9]], 3]], 7], [-, [+, 79, [*, [-, 35, [*, 9, 5]], 3]], 7], [-, [+, 79, [+, 5, [*, 7, 9]]], [*, 3, 35]], [-, [+, 79, [+, 5, [*, 7, 9]]], [*, 35, 3]], [-, [+, 79, [+, 5, [*, 9, 7]]], [*, 3, 35]], [-, [+, 79, [+, 5, [*, 9, 7]]], [*, 35, 3]], [-, [+, 79, [+, [*, 7, 9], 5]], [*, 3, 35]], [-, [+, 79, [+, [*, 7, 9], 5]], [*, 35, 3]], [-, [+, 79, [+, [*, 9, 7], 5]], [*, 3, 35]], [-, [+, 79, [+, [*, 9, 7], 5]], [*, 35, 3]], [-, [+, [*, 3, [-, 35, [*, 5, 9]]], 79], 7], [-, [+, [*, 3, [-, 35, [*, 9, 5]]], 79], 7], [-, [+, [*, 3, [-, 79, 9]], 7], [*, 5, 35]], [-, [+, [*, 3, [-, 79, 9]], 7], [*, 35, 5]], [-, [+, [*, 7, 9], 5], [-, [*, 3, 35], 79]], [-, [+, [*, 7, 9], 5], [-, [*, 35, 3], 79]], [-, [+, [*, 7, 9], 79], [-, [*, 3, 35], 5]], [-, [+, [*, 7, 9], 79], [-, [*, 35, 3], 5]], [-, [+, [*, 7, 9], [+, 5, 79]], [*, 3, 35]], [-, [+, [*, 7, 9], [+, 5, 79]], [*, 35, 3]], [-, [+, [*, 7, 9], [+, 79, 5]], [*, 3, 35]], [-, [+, [*, 7, 9], [+, 79, 5]], [*, 35, 3]], [-, [+, [*, 9, 7], 5], [-, [*, 3, 35], 79]], [-, [+, [*, 9, 7], 5], [-, [*, 35, 3], 79]], [-, [+, [*, 9, 7], 79], [-, [*, 3, 35], 5]], [-, [+, [*, 9, 7], 79], [-, [*, 35, 3], 5]], [-, [+, [*, 9, 7], [+, 5, 79]], [*, 3, 35]], [-, [+, [*, 9, 7], [+, 5, 79]], [*, 35, 3]], [-, [+, [*, 9, 7], [+, 79, 5]], [*, 3, 35]], [-, [+, [*, 9, 7], [+, 79, 5]], [*, 35, 3]], [-, [+, [*, [-, 35, [*, 5, 9]], 3], 79], 7], [-, [+, [*, [-, 35, [*, 9, 5]], 3], 79], 7], [-, [+, [*, [-, 79, 9], 3], 7], [*, 5, 35]], [-, [+, [*, [-, 79, 9], 3], 7], [*, 35, 5]], [-, [+, [+, 5, 79], [*, 7, 9]], [*, 3, 35]], [-, [+, [+, 5, 79], [*, 7, 9]], [*, 35, 3]], [-, [+, [+, 5, 79], [*, 9, 7]], [*, 3, 35]], [-, [+, [+, 5, 79], [*, 9, 7]], [*, 35, 3]], [-, [+, [+, 5, [*, 7, 9]], 79], [*, 3, 35]], [-, [+, [+, 5, [*, 7, 9]], 79], [*, 35, 3]], [-, [+, [+, 5, [*, 9, 7]], 79], [*, 3, 35]], [-, [+, [+, 5, [*, 9, 7]], 79], [*, 35, 3]], [-, [+, [+, 79, 5], [*, 7, 9]], [*, 3, 35]], [-, [+, [+, 79, 5], [*, 7, 9]], [*, 35, 3]], [-, [+, [+, 79, 5], [*, 9, 7]], [*, 3, 35]], [-, [+, [+, 79, 5], [*, 9, 7]], [*, 35, 3]], [-, [+, [+, 79, [*, 7, 9]], 5], [*, 3, 35]], [-, [+, [+, 79, [*, 7, 9]], 5], [*, 35, 3]], [-, [+, [+, 79, [*, 9, 7]], 5], [*, 3, 35]], [-, [+, [+, 79, [*, 9, 7]], 5], [*, 35, 3]], [-, [+, [+, [*, 7, 9], 5], 79], [*, 3, 35]], [-, [+, [+, [*, 7, 9], 5], 79], [*, 35, 3]], [-, [+, [+, [*, 7, 9], 79], 5], [*, 3, 35]], [-, [+, [+, [*, 7, 9], 79], 5], [*, 35, 3]], [-, [+, [+, [*, 9, 7], 5], 79], [*, 3, 35]], [-, [+, [+, [*, 9, 7], 5], 79], [*, 35, 3]], [-, [+, [+, [*, 9, 7], 79], 5], [*, 3, 35]], [-, [+, [+, [*, 9, 7], 79], 5], [*, 35, 3]], [-, [-, 7, [*, 3, [-, 9, 79]]], [*, 5, 35]], [-, [-, 7, [*, 3, [-, 9, 79]]], [*, 35, 5]], [-, [-, 7, [*, 5, 35]], [*, 3, [-, 9, 79]]], [-, [-, 7, [*, 5, 35]], [*, [-, 9, 79], 3]], [-, [-, 7, [*, 35, 5]], [*, 3, [-, 9, 79]]], [-, [-, 7, [*, 35, 5]], [*, [-, 9, 79], 3]], [-, [-, 7, [*, [-, 9, 79], 3]], [*, 5, 35]], [-, [-, 7, [*, [-, 9, 79], 3]], [*, 35, 5]], [-, [-, 79, 7], [*, 3, [-, [*, 5, 9], 35]]], [-, [-, 79, 7], [*, 3, [-, [*, 9, 5], 35]]], [-, [-, 79, 7], [*, [-, [*, 5, 9], 35], 3]], [-, [-, 79, 7], [*, [-, [*, 9, 5], 35], 3]], [-, [-, 79, [*, 3, [-, [*, 5, 9], 35]]], 7], [-, [-, 79, [*, 3, [-, [*, 9, 5], 35]]], 7], [-, [-, 79, [*, [-, [*, 5, 9], 35], 3]], 7], [-, [-, 79, [*, [-, [*, 9, 5], 35], 3]], 7], [-, [-, [*, 3, [+, 7, [*, 5, 9]]], 35], 79], [-, [-, [*, 3, [+, 7, [*, 5, 9]]], 79], 35], [-, [-, [*, 3, [+, 7, [*, 9, 5]]], 35], 79], [-, [-, [*, 3, [+, 7, [*, 9, 5]]], 79], 35], [-, [-, [*, 3, [+, [*, 5, 9], 7]], 35], 79], [-, [-, [*, 3, [+, [*, 5, 9], 7]], 79], 35], [-, [-, [*, 3, [+, [*, 9, 5], 7]], 35], 79], [-, [-, [*, 3, [+, [*, 9, 5], 7]], 79], 35], [-, [-, [*, 5, [-, 79, 7]], 3], [*, 9, 35]], [-, [-, [*, 5, [-, 79, 7]], 3], [*, 35, 9]], [-, [-, [*, 5, [-, 79, 7]], [*, 9, 35]], 3], [-, [-, [*, 5, [-, 79, 7]], [*, 35, 9]], 3], [-, [-, [*, 5, [-, 79, [*, 7, 9]]], 3], 35], [-, [-, [*, 5, [-, 79, [*, 7, 9]]], 35], 3], [-, [-, [*, 5, [-, 79, [*, 9, 7]]], 3], 35], [-, [-, [*, 5, [-, 79, [*, 9, 7]]], 35], 3], [-, [-, [*, 9, [-, 35, [*, 3, 7]]], 5], 79], [-, [-, [*, 9, [-, 35, [*, 3, 7]]], 79], 5], [-, [-, [*, 9, [-, 35, [*, 7, 3]]], 5], 79], [-, [-, [*, 9, [-, 35, [*, 7, 3]]], 79], 5], [-, [-, [*, [+, 7, [*, 5, 9]], 3], 35], 79], [-, [-, [*, [+, 7, [*, 5, 9]], 3], 79], 35], [-, [-, [*, [+, 7, [*, 9, 5]], 3], 35], 79], [-, [-, [*, [+, 7, [*, 9, 5]], 3], 79], 35], [-, [-, [*, [+, [*, 5, 9], 7], 3], 35], 79], [-, [-, [*, [+, [*, 5, 9], 7], 3], 79], 35], [-, [-, [*, [+, [*, 9, 5], 7], 3], 35], 79], [-, [-, [*, [+, [*, 9, 5], 7], 3], 79], 35], [-, [-, [*, [-, 3, 35], [-, 5, 9]], 7], 79], [-, [-, [*, [-, 3, 35], [-, 5, 9]], 79], 7], [-, [-, [*, [-, 5, 9], [-, 3, 35]], 7], 79], [-, [-, [*, [-, 5, 9], [-, 3, 35]], 79], 7], [-, [-, [*, [-, 9, 5], [-, 35, 3]], 7], 79], [-, [-, [*, [-, 9, 5], [-, 35, 3]], 79], 7], [-, [-, [*, [-, 35, 3], [-, 9, 5]], 7], 79], [-, [-, [*, [-, 35, 3], [-, 9, 5]], 79], 7], [-, [-, [*, [-, 35, [*, 3, 7]], 9], 5], 79], [-, [-, [*, [-, 35, [*, 3, 7]], 9], 79], 5], [-, [-, [*, [-, 35, [*, 7, 3]], 9], 5], 79], [-, [-, [*, [-, 35, [*, 7, 3]], 9], 79], 5], [-, [-, [*, [-, 79, 7], 5], 3], [*, 9, 35]], [-, [-, [*, [-, 79, 7], 5], 3], [*, 35, 9]], [-, [-, [*, [-, 79, 7], 5], [*, 9, 35]], 3], [-, [-, [*, [-, 79, 7], 5], [*, 35, 9]], 3], [-, [-, [*, [-, 79, [*, 7, 9]], 5], 3], 35], [-, [-, [*, [-, 79, [*, 7, 9]], 5], 35], 3], [-, [-, [*, [-, 79, [*, 9, 7]], 5], 3], 35], [-, [-, [*, [-, 79, [*, 9, 7]], 5], 35], 3] ]). test42 :- test42(_), fail; true. /***************************************************************************** * Part 4: College snack logic problem * algird, bruno, collette, dino, and edwina are each from different * one of five colleges: pomona, pitzer, hmc, cmc, and scripps. * * Each one brings a different snack: jots, snickers, donuts, pez, and spam. * They are all on the train together in seats 1 through 5. * * We want to know which student is in each seat, what college does each * student attend, what did each student bring for a snack? * Construct a Prolog predicate clues of one argument * that yields each solution for the given set of clues, in the form of a * list of triples of the form (Student, College, Snack). * * 1. bruno and dino sat in the end seats. * 2. algird sat next to the student from hmc. * 3. collette sat next to friends with snickers and donuts. * 4. The hmc student brought spam as a snack and sat in the middle seat. * 5. snickers was immediately to the left of pez. * 6. bruno, dino, and algird do not go to scripps. * 7. The pomona student sat between the persons with jots and spam. * 8. dino did not sit next to the person with donuts. * 9. The cmc student did not sit next to edwina. * * Note that negation constraints can't generate, so they must be * tested after the variables are instantiated with values. *****************************************************************************/ snacks([_Triple1, _Triple2, _Triple3, _Triple4, _Triple5]) :- tbd. testSnacks :- snacks([Triple1, Triple2, Triple3, Triple4, Triple5]) -> ( write('snacks:'), nl, write(Triple1), nl, write(Triple2), nl, write(Triple3), nl, write(Triple4), nl, write(Triple5), nl ) ; write('snack test failed'), nl. tests1 :- testMovies. tests2 :- testSudograph. tests3 :- test42. tests4 :- testSnacks. test :- tests1, fail. test :- tests2, fail. test :- tests3, fail. test :- tests4, fail. test :- true.