diff --git a/p22/p22.org b/p22/p22.org index c08f9ed..08d8106 100644 --- a/p22/p22.org +++ b/p22/p22.org @@ -1,5 +1,67 @@ #+title: Solution to p22 +* script +3 (from 123) +0 (from 15887950) +6 (from 16495136) +5 (etc.) +4 +4 +6 +4 +4 +2 +This price is the number of bananas that buyer is offering in exchange for your information about a new hiding spot. However, you still don't speak monkey, so you can't negotiate with the buyers directly. The Historian speaks a little, but not enough to negotiate; instead, he can ask another monkey to negotiate on your behalf. + +Unfortunately, the monkey only knows how to decide when to sell by looking at the changes in price. Specifically, the monkey will only look for a specific sequence of four consecutive changes in price, then immediately sell when it sees that sequence. + +So, if a buyer starts with a secret number of 123, that buyer's first ten secret numbers, prices, and the associated changes would be: + + 123: 3 +15887950: 0 (-3) +16495136: 6 (6) + 527345: 5 (-1) + 704524: 4 (-1) + 1553684: 4 (0) +12683156: 6 (2) +11100544: 4 (-2) +12249484: 4 (0) + 7753432: 2 (-2) + Note that the first price has no associated change because there was no previous price to compare it with. + +In this short example, within just these first few prices, the highest +price will be 6, so it would be nice to give the monkey instructions +that would make it sell at that time. The first 6 occurs after only +two changes, so there's no way to instruct the monkey to sell then, +but the second 6 occurs after the changes -1,-1,0,2. So, if you gave +the monkey that sequence of changes, it would wait until the first +time it sees that sequence and then immediately sell your hiding spot +information at the current price, winning you 6 bananas. + +Each buyer only wants to buy one hiding spot, so after the hiding spot is sold, the monkey will move on to the next buyer. If the monkey never hears that sequence of price changes from a buyer, the monkey will never sell, and will instead just move on to the next buyer. + +Worse, you can only give the monkey a single sequence of four price changes to look for. You can't change the sequence between buyers. + +You're going to need as many bananas as possible, so you'll need to determine which sequence of four price changes will cause the monkey to get you the most bananas overall. Each buyer is going to generate 2000 secret numbers after their initial secret number, so, for each buyer, you'll have 2000 price changes in which your sequence can occur. + +Suppose the initial secret number of each buyer is: + +1 +2 +3 +2024 +There are many sequences of four price changes you could tell the monkey, but for these four buyers, the sequence that will get you the most bananas is -2,1,-1,3. Using that sequence, the monkey will make the following sales: + +For the buyer with an initial secret number of 1, changes -2,1,-1,3 first occur when the price is 7. +For the buyer with initial secret 2, changes -2,1,-1,3 first occur when the price is 7. +For the buyer with initial secret 3, the change sequence -2,1,-1,3 does not occur in the first 2000 changes. +For the buyer starting with 2024, changes -2,1,-1,3 first occur when the price is 9. +So, by asking the monkey to sell the first time each buyer's prices go down 2, then up 1, then down 1, then up 3, you would get 23 (7 + 7 + 9) bananas! + +Figure out the best sequence to tell the monkey so that by looking for that same sequence of changes in every buyer's future prices, you get the most bananas in total. What is the most bananas you can get? + + + #+begin_src emacs-lisp :results none (require 'dash) (with-temp-buffer @@ -40,3 +102,21 @@ #+RESULTS: : 19241711734 + +#+begin_src emacs-lisp + (defun price-sequence (seed) + (--map (mod it 10) (-iterate 'pseudo-next seed 2001))) + + (defun take-quadruples (l) + (-zip-lists l (cdr l) (cddr l) (cdddr l))) + + (let ((s (price-sequence 123))) + (-zip-pair (take-quadruples + (-zip-with '- (cdr s) s)) + (cddddr s))) + + +#+end_src + +#+RESULTS: +: (((-3 6 -1 -1) . 4) ((6 -1 -1 0) . 4) ((-1 -1 0 2) . 6) ((-1 0 2 -2) . 4) ((0 2 -2 0) . 4) ((2 -2 0 -2) . 2) ((-2 0 -2 2) . 4) ((0 -2 2 -4) . 0) ((-2 2 -4 4) . 4) ((2 -4 4 -4) . 0) ((-4 4 -4 3) . 3) ((4 -4 3 6) . 9) ((-4 3 6 -8) . 1) ((3 6 -8 3) . 4) ((6 -8 3 1) . 5) ((-8 3 1 1) . 6) ((3 1 1 0) . 6) ((1 1 0 -3) . 3) ((1 0 -3 1) . 4) ((0 -3 1 2) . 6) ((-3 1 2 -1) . 5) ((1 2 -1 1) . 6) ((2 -1 1 3) . 9) ((-1 1 3 -5) . 4) ((1 3 -5 2) . 6) ((3 -5 2 -2) . 4) ((-5 2 -2 3) . 7) ((2 -2 3 -3) . 4) ((-2 3 -3 3) . 7) ((3 -3 3 -1) . 6) ((-3 3 -1 -6) . 0) ((3 -1 -6 8) . 8) ((-1 -6 8 -1) . 7) ((-6 8 -1 -2) . 5) ((8 -1 -2 4) . 9) ((-1 -2 4 -6) . 3) ((-2 4 -6 -1) . 2) ((4 -6 -1 5) . 7) ((-6 -1 5 -7) . 0) ((-1 5 -7 2) . 2) ((5 -7 2 -2) . 0) ((-7 2 -2 3) . 3) ((2 -2 3 -3) . 0) ((-2 3 -3 5) . 5) ((3 -3 5 -4) . 1) ((-3 5 -4 5) . 6) ((5 -4 5 -3) . 3) ((-4 5 -3 3) . 6) ((5 -3 3 1) . 7) ((-3 3 1 2) . 9) ((3 1 2 -6) . 3) ((1 2 -6 6) . 9) ((2 -6 6 -7) . 2) ((-6 6 -7 -2) . 0) ((6 -7 -2 5) . 5) ((-7 -2 5 3) . 8) ((-2 5 3 1) . 9) ((5 3 1 -6) . 3) ((3 1 -6 -1) . 2) ((1 -6 -1 5) . 7) ((-6 -1 5 -3) . 4) ((-1 5 -3 5) . 9) ((5 -3 5 -4) . 5) ((-3 5 -4 0) . 5) ((5 -4 0 -3) . 2) ((-4 0 -3 3) . 5) ((0 -3 3 1) . 6) ((-3 3 1 0) . 6) ((3 1 0 2) . 8) ((1 0 2 -8) . 0) ((0 2 -8 0) . 0) ((2 -8 0 8) . 8) ((-8 0 8 -3) . 5) ((0 8 -3 -2) . 3) ((8 -3 -2 4) . 7) ((-3 -2 4 -2) . 5) ((-2 4 -2 1) . 6) ((4 -2 1 2) . 8) ((-2 1 2 -4) . 4) ((1 2 -4 1) . 5) ((2 -4 1 4) . 9) ((-4 1 4 -6) . 3) ((1 4 -6 -3) . 0) ((4 -6 -3 2) . 2) ((-6 -3 2 0) . 2) ((-3 2 0 1) . 3) ((2 0 1 6) . 9) ((0 1 6 -1) . 8) ((1 6 -1 -1) . 7) ((6 -1 -1 -1) . 6) ((-1 -1 -1 -2) . 4) ((-1 -1 -2 3) . 7) ((-1 -2 3 -3) . 4) ((-2 3 -3 -4) . 0) ((3 -3 -4 3) . 3) ((-3 -4 3 -2) . 1) ((-4 3 -2 -1) . 0) ((3 -2 -1 0) . 0) ((-2 -1 0 9) . 9) ((-1 0 9 -7) . 2) ((0 9 -7 -1) . 1) ((9 -7 -1 2) . 3) ((-7 -1 2 5) . 8) ((-1 2 5 1) . 9) ((2 5 1 -6) . 3) ((5 1 -6 1) . 4) ((1 -6 1 -1) . 3) ((-6 1 -1 2) . 5) ((1 -1 2 -1) . 4) ((-1 2 -1 -2) . 2) ((2 -1 -2 4) . 6) ((-1 -2 4 -4) . 2) ((-2 4 -4 4) . 6) ((4 -4 4 0) . 6) ((-4 4 0 -2) . 4) ((4 0 -2 5) . 9) ((0 -2 5 -9) . 0) ((-2 5 -9 9) . 9) ((5 -9 9 -2) . 7) ((-9 9 -2 -6) . 1) ((9 -2 -6 0) . 1) ((-2 -6 0 7) . 8) ((-6 0 7 -8) . 0) ((0 7 -8 2) . 2) ((7 -8 2 5) . 7) ((-8 2 5 1) . 8) ((2 5 1 1) . 9) ((5 1 1 -8) . 1) ((1 1 -8 5) . 6) ((1 -8 5 3) . 9) ((-8 5 3 -4) . 5) ((5 3 -4 1) . 6) ((3 -4 1 1) . 7) ((-4 1 1 -2) . 5) ((1 1 -2 0) . 5) ((1 -2 0 -4) . 1) ((-2 0 -4 4) . 5) ((0 -4 4 -2) . 3) ((-4 4 -2 1) . 4) ((4 -2 1 3) . 7) ((-2 1 3 -5) . 2) ((1 3 -5 0) . 2) ((3 -5 0 3) . 5) ((-5 0 3 4) . 9) ((0 3 4 0) . 9) ((3 4 0 -3) . 6) ((4 0 -3 -2) . 4) ((0 -3 -2 -2) . 2) ((-3 -2 -2 -2) . 0) ((-2 -2 -2 4) . 4) ((-2 -2 4 4) . 8) ((-2 4 4 -5) . 3) ((4 4 -5 1) . 4) ((4 -5 1 3) . 7) ((-5 1 3 -2) . 5) ((1 3 -2 2) . 7) ((3 -2 2 -2) . 5) ((-2 2 -2 -4) . 1) ((2 -2 -4 1) . 2) ((-2 -4 1 5) . 7) ((-4 1 5 1) . 8) ((1 5 1 -5) . 3) ((5 1 -5 -1) . 2) ((1 -5 -1 -1) . 1) ((-5 -1 -1 0) . 1) ((-1 -1 0 5) . 6) ((-1 0 5 -4) . 2) ((0 5 -4 1) . 3) ((5 -4 1 0) . 3) ((-4 1 0 -2) . 1) ((1 0 -2 3) . 4) ((0 -2 3 -2) . 2) ((-2 3 -2 -2) . 0) ((3 -2 -2 7) . 7) ((-2 -2 7 -4) . 3) ((-2 7 -4 1) . 4) ((7 -4 1 4) . 8) ((-4 1 4 -6) . 2) ((1 4 -6 7) . 9) ((4 -6 7 -1) . 8) ((-6 7 -1 1) . 9) ((7 -1 1 -2) . 7) ((-1 1 -2 0) . 7) ((1 -2 0 -5) . 2) ((-2 0 -5 3) . 5) ((0 -5 3 0) . 5) ((-5 3 0 -1) . 4) ((3 0 -1 3) . 7) ((0 -1 3 1) . 8) ((-1 3 1 -2) . 6) ((3 1 -2 -3) . 3) ((1 -2 -3 -1) . 2) ((-2 -3 -1 -1) . 1) ((-3 -1 -1 2) . 3) ((-1 -1 2 0) . 3) ((-1 2 0 3) . 6) ((2 0 3 1) . 7) ((0 3 1 0) . 7) ((3 1 0 -3) . 4) ((1 0 -3 -3) . 1) ((0 -3 -3 1) . 2) ((-3 -3 1 5) . 7) ((-3 1 5 2) . 9) ((1 5 2 -7) . 2) ((5 2 -7 1) . 3) ((2 -7 1 -3) . 0) ((-7 1 -3 4) . 4) ((1 -3 4 0) . 4) ((-3 4 0 5) . 9) ((4 0 5 -3) . 6) ((0 5 -3 0) . 6) ((5 -3 0 0) . 6) ((-3 0 0 -6) . 0) ((0 0 -6 0) . 0) ((0 -6 0 1) . 1) ((-6 0 1 8) . 9) ((0 1 8 -4) . 5) ((1 8 -4 0) . 5) ((8 -4 0 0) . 5) ((-4 0 0 4) . 9) ((0 0 4 -9) . 0) ((0 4 -9 5) . 5) ((4 -9 5 -4) . 1) ((-9 5 -4 2) . 3) ((5 -4 2 3) . 6) ((-4 2 3 -1) . 5) ((2 3 -1 -4) . 1) ((3 -1 -4 6) . 7) ((-1 -4 6 -1) . 6) ((-4 6 -1 -4) . 2) ((6 -1 -4 5) . 7) ((-1 -4 5 -3) . 4) ((-4 5 -3 -1) . 3) ((5 -3 -1 -1) . 2) ((-3 -1 -1 3) . 5) ((-1 -1 3 1) . 6) ((-1 3 1 -4) . 2) ((3 1 -4 3) . 5) ((1 -4 3 -3) . 2) ((-4 3 -3 3) . 5) ((3 -3 3 3) . 8) ((-3 3 3 -6) . 2) ((3 3 -6 -1) . 1) ((3 -6 -1 8) . 9) ((-6 -1 8 -2) . 7) ((-1 8 -2 -4) . 3) ((8 -2 -4 2) . 5) ((-2 -4 2 0) . 5) ((-4 2 0 3) . 8) ((2 0 3 -7) . 1) ((0 3 -7 4) . 5) ((3 -7 4 -1) . 4) ((-7 4 -1 -3) . 1) ((4 -1 -3 -1) . 0) ((-1 -3 -1 6) . 6) ((-3 -1 6 2) . 8) ((-1 6 2 -2) . 6) ((6 2 -2 0) . 6) ((2 -2 0 3) . 9) ((-2 0 3 0) . 9) ((0 3 0 -2) . 7) ((3 0 -2 1) . 8) ((0 -2 1 -2) . 6) ((-2 1 -2 -1) . 5) ((1 -2 -1 4) . 9) ((-2 -1 4 -4) . 5) ((-1 4 -4 0) . 5) ((4 -4 0 3) . 8) ((-4 0 3 0) . 8) ((0 3 0 -3) . 5) ((3 0 -3 0) . 5) ((0 -3 0 -1) . 4) ((-3 0 -1 3) . 7) ((0 -1 3 0) . 7) ((-1 3 0 -5) . 2) ((3 0 -5 4) . 6) ((0 -5 4 -6) . 0) ((-5 4 -6 7) . 7) ((4 -6 7 0) . 7) ((-6 7 0 0) . 7) ((7 0 0 2) . 9) ((0 0 2 -3) . 6) ((0 2 -3 -6) . 0) ((2 -3 -6 6) . 6) ((-3 -6 6 -3) . 3) ((-6 6 -3 0) . 3) ((6 -3 0 -3) . 0) ((-3 0 -3 9) . 9) ((0 -3 9 -3) . 6) ((-3 9 -3 -6) . 0) ((9 -3 -6 3) . 3) ((-3 -6 3 2) . 5) ((-6 3 2 -1) . 4) ((3 2 -1 -3) . 1) ((2 -1 -3 4) . 5) ((-1 -3 4 3) . 8) ((-3 4 3 -1) . 7) ((4 3 -1 -7) . 0) ((3 -1 -7 5) . 5) ((-1 -7 5 3) . 8) ((-7 5 3 -8) . 0) ((5 3 -8 5) . 5) ((3 -8 5 1) . 6) ((-8 5 1 -4) . 2) ((5 1 -4 0) . 2) ((1 -4 0 1) . 3) ((-4 0 1 6) . 9) ((0 1 6 -6) . 3) ((1 6 -6 0) . 3) ((6 -6 0 5) . 8) ((-6 0 5 -2) . 6) ((0 5 -2 -6) . 0) ((5 -2 -6 0) . 0) ((-2 -6 0 7) . 7) ((-6 0 7 -7) . 0) ((0 7 -7 7) . 7) ((7 -7 7 -3) . 4) ((-7 7 -3 2) . 6) ((7 -3 2 -3) . 3) ((-3 2 -3 2) . 5) ((2 -3 2 3) . 8) ((-3 2 3 -2) . 6) ((2 3 -2 2) . 8) ((3 -2 2 1) . 9) ((-2 2 1 -3) . 6) ((2 1 -3 -1) . 5) ((1 -3 -1 0) . 5) ((-3 -1 0 -5) . 0) ((-1 0 -5 3) . 3) ((0 -5 3 3) . 6) ((-5 3 3 -4) . 2) ((3 3 -4 4) . 6) ((3 -4 4 -6) . 0) ((-4 4 -6 8) . 8) ((4 -6 8 -3) . 5) ((-6 8 -3 -5) . 0) ((8 -3 -5 3) . 3) ((-3 -5 3 -3) . 0) ((-5 3 -3 2) . 2) ((3 -3 2 -1) . 1) ((-3 2 -1 7) . 8) ((2 -1 7 -7) . 1) ((-1 7 -7 0) . 1) ((7 -7 0 7) . 8) ((-7 0 7 -1) . 7) ((0 7 -1 -5) . 2) ((7 -1 -5 3) . 5) ((-1 -5 3 4) . 9) ((-5 3 4 -5) . 4) ((3 4 -5 2) . 6) ((4 -5 2 0) . 6) ((-5 2 0 2) . 8) ((2 0 2 -7) . 1) ((0 2 -7 4) . 5) ((2 -7 4 2) . 7) ((-7 4 2 1) . 8) ((4 2 1 -5) . 3) ((2 1 -5 6) . 9) ((1 -5 6 0) . 9) ((-5 6 0 -8) . 1) ((6 0 -8 1) . 2) ((0 -8 1 0) . 2) ((-8 1 0 3) . 5) ((1 0 3 -5) . 0) ((0 3 -5 4) . 4) ((3 -5 4 0) . 4) ((-5 4 0 2) . 6) ((4 0 2 1) . 7) ((0 2 1 -2) . 5) ((2 1 -2 -3) . 2) ((1 -2 -3 5) . 7) ((-2 -3 5 -2) . 5) ((-3 5 -2 3) . 8) ((5 -2 3 -5) . 3) ((-2 3 -5 1) . 4) ((3 -5 1 4) . 8) ((-5 1 4 0) . 8) ((1 4 0 -3) . 5) ((4 0 -3 -3) . 2) ((0 -3 -3 3) . 5) ((-3 -3 3 -5) . 0) ((-3 3 -5 4) . 4) ((3 -5 4 4) . 8) ((-5 4 4 -7) . 1) ((4 4 -7 7) . 8) ((4 -7 7 -8) . 0) ((-7 7 -8 6) . 6) ((7 -8 6 1) . 7) ((-8 6 1 -7) . 0) ((6 1 -7 2) . 2) ((1 -7 2 7) . 9) ((-7 2 7 0) . 9) ((2 7 0 0) . 9) ((7 0 0 -3) . 6) ((0 0 -3 -2) . 4) ((0 -3 -2 -4) . 0) ((-3 -2 -4 6) . 6) ((-2 -4 6 -1) . 5) ((-4 6 -1 4) . 9) ((6 -1 4 -5) . 4) ((-1 4 -5 1) . 5) ((4 -5 1 3) . 8) ((-5 1 3 -1) . 7) ((1 3 -1 -3) . 4) ((3 -1 -3 1) . 5) ((-1 -3 1 -2) . 3) ((-3 1 -2 4) . 7) ((1 -2 4 -3) . 4) ((-2 4 -3 -4) . 0) ((4 -3 -4 2) . 2) ((-3 -4 2 6) . 8) ((-4 2 6 1) . 9) ((2 6 1 -3) . 6) ((6 1 -3 0) . 6) ((1 -3 0 -5) . 1) ((-3 0 -5 5) . 6) ((0 -5 5 0) . 6) ((-5 5 0 -1) . 5) ((5 0 -1 3) . 8) ((0 -1 3 -7) . 1) ((-1 3 -7 4) . 5) ((3 -7 4 -2) . 3) ((-7 4 -2 -3) . 0) ((4 -2 -3 2) . 2) ((-2 -3 2 1) . 3) ((-3 2 1 0) . 3) ((2 1 0 3) . 6) ((1 0 3 0) . 6) ((0 3 0 -5) . 1) ((3 0 -5 3) . 4) ((0 -5 3 0) . 4) ((-5 3 0 3) . 7) ((3 0 3 -7) . 0) ((0 3 -7 9) . 9) ((3 -7 9 0) . 9) ((-7 9 0 -9) . 0) ((9 0 -9 6) . 6) ((0 -9 6 -5) . 1) ((-9 6 -5 3) . 4) ((6 -5 3 3) . 7) ((-5 3 3 -5) . 2) ((3 3 -5 6) . 8) ((3 -5 6 0) . 8) ((-5 6 0 -3) . 5) ((6 0 -3 4) . 9) ((0 -3 4 -7) . 2) ((-3 4 -7 -1) . 1) ((4 -7 -1 7) . 8) ((-7 -1 7 -4) . 4) ((-1 7 -4 -2) . 2) ((7 -4 -2 0) . 2) ((-4 -2 0 -2) . 0) ((-2 0 -2 0) . 0) ((0 -2 0 0) . 0) ((-2 0 0 1) . 1) ((0 0 1 0) . 1) ((0 1 0 3) . 4) ((1 0 3 -2) . 2) ((0 3 -2 6) . 8) ((3 -2 6 -7) . 1) ((-2 6 -7 4) . 5) ((6 -7 4 0) . 5) ((-7 4 0 -4) . 1) ((4 0 -4 4) . 5) ((0 -4 4 -2) . 3) ((-4 4 -2 6) . 9) ((4 -2 6 -7) . 2) ((-2 6 -7 -2) . 0) ((6 -7 -2 7) . 7) ((-7 -2 7 -1) . 6) ((-2 7 -1 -6) . 0) ((7 -1 -6 3) . 3) ((-1 -6 3 -1) . 2) ((-6 3 -1 3) . 5) ((3 -1 3 3) . 8) ((-1 3 3 1) . 9) ((3 3 1 -3) . 6) ((3 1 -3 1) . 7) ((1 -3 1 -2) . 5) ((-3 1 -2 -4) . 1) ((1 -2 -4 7) . 8) ((-2 -4 7 -2) . 6) ((-4 7 -2 -4) . 2) ((7 -2 -4 0) . 2) ((-2 -4 0 4) . 6) ((-4 0 4 3) . 9) ((0 4 3 -4) . 5) ((4 3 -4 -4) . 1) ((3 -4 -4 0) . 1) ((-4 -4 0 6) . 7) ((-4 0 6 -6) . 1) ((0 6 -6 5) . 6) ((6 -6 5 -6) . 0) ((-6 5 -6 9) . 9) ((5 -6 9 -6) . 3) ((-6 9 -6 0) . 3) ((9 -6 0 3) . 6) ((-6 0 3 -2) . 4) ((0 3 -2 3) . 7) ((3 -2 3 0) . 7) ((-2 3 0 0) . 7) ((3 0 0 -2) . 5) ((0 0 -2 3) . 8) ((0 -2 3 -7) . 1) ((-2 3 -7 -1) . 0) ((3 -7 -1 9) . 9) ((-7 -1 9 -6) . 3) ((-1 9 -6 -1) . 2) ((9 -6 -1 2) . 4) ((-6 -1 2 -4) . 0) ((-1 2 -4 7) . 7) ((2 -4 7 2) . 9) ((-4 7 2 -3) . 6) ((7 2 -3 0) . 6) ((2 -3 0 -6) . 0) ((-3 0 -6 4) . 4) ((0 -6 4 2) . 6) ((-6 4 2 -6) . 0) ((4 2 -6 0) . 0) ((2 -6 0 1) . 1) ((-6 0 1 3) . 4) ((0 1 3 2) . 6) ((1 3 2 -2) . 4) ((3 2 -2 0) . 4) ((2 -2 0 3) . 7) ((-2 0 3 -4) . 3) ((0 3 -4 0) . 3) ((3 -4 0 0) . 3) ((-4 0 0 3) . 6) ((0 0 3 3) . 9) ((0 3 3 -8) . 1) ((3 3 -8 6) . 7) ((3 -8 6 -7) . 0) ((-8 6 -7 5) . 5) ((6 -7 5 -2) . 3) ((-7 5 -2 4) . 7) ((5 -2 4 -4) . 3) ((-2 4 -4 6) . 9) ((4 -4 6 -3) . 6) ((-4 6 -3 3) . 9) ((6 -3 3 -4) . 5) ((-3 3 -4 -4) . 1) ((3 -4 -4 -1) . 0) ((-4 -4 -1 4) . 4) ((-4 -1 4 -3) . 1) ((-1 4 -3 3) . 4) ((4 -3 3 1) . 5) ((-3 3 1 -5) . 0) ((3 1 -5 1) . 1) ((1 -5 1 8) . 9) ((-5 1 8 -5) . 4) ((1 8 -5 4) . 8) ((8 -5 4 0) . 8) ((-5 4 0 0) . 8) ((4 0 0 0) . 8) ((0 0 0 -5) . 3) ((0 0 -5 1) . 4) ((0 -5 1 3) . 7) ((-5 1 3 -7) . 0) ((1 3 -7 1) . 1) ((3 -7 1 7) . 8) ((-7 1 7 -5) . 3) ((1 7 -5 5) . 8) ((7 -5 5 -4) . 4) ((-5 5 -4 -2) . 2) ((5 -4 -2 2) . 4) ((-4 -2 2 1) . 5) ((-2 2 1 -2) . 3) ((2 1 -2 0) . 3) ((1 -2 0 5) . 8) ((-2 0 5 -2) . 6) ((0 5 -2 -5) . 1) ((5 -2 -5 0) . 1) ((-2 -5 0 3) . 4) ((-5 0 3 -4) . 0) ((0 3 -4 7) . 7) ((3 -4 7 -7) . 0) ((-4 7 -7 2) . 2) ((7 -7 2 5) . 7) ((-7 2 5 -7) . 0) ((2 5 -7 3) . 3) ((5 -7 3 -2) . 1) ((-7 3 -2 4) . 5) ((3 -2 4 0) . 5) ((-2 4 0 -5) . 0) ((4 0 -5 9) . 9) ((0 -5 9 -1) . 8) ((-5 9 -1 -8) . 0) ((9 -1 -8 7) . 7) ((-1 -8 7 -6) . 1) ((-8 7 -6 -1) . 0) ((7 -6 -1 1) . 1) ((-6 -1 1 5) . 6) ((-1 1 5 -6) . 0) ((1 5 -6 2) . 2) ((5 -6 2 -2) . 0) ((-6 2 -2 1) . 1) ((2 -2 1 7) . 8) ((-2 1 7 -2) . 6) ((1 7 -2 1) . 7) ((7 -2 1 -5) . 2) ((-2 1 -5 1) . 3) ((1 -5 1 5) . 8) ((-5 1 5 -8) . 0) ((1 5 -8 6) . 6) ((5 -8 6 0) . 6) ((-8 6 0 -3) . 3) ((6 0 -3 6) . 9) ((0 -3 6 -2) . 7) ((-3 6 -2 -7) . 0) ((6 -2 -7 0) . 0) ((-2 -7 0 2) . 2) ((-7 0 2 -2) . 0) ((0 2 -2 9) . 9) ((2 -2 9 -5) . 4) ((-2 9 -5 3) . 7) ((9 -5 3 -1) . 6) ((-5 3 -1 1) . 7) ((3 -1 1 1) . 8) ((-1 1 1 -3) . 5) ((1 1 -3 -5) . 0) ((1 -3 -5 9) . 9) ((-3 -5 9 -2) . 7) ((-5 9 -2 -1) . 6) ((9 -2 -1 -5) . 1) ((-2 -1 -5 4) . 5) ((-1 -5 4 -2) . 3) ((-5 4 -2 -1) . 2) ((4 -2 -1 7) . 9) ((-2 -1 7 -8) . 1) ((-1 7 -8 4) . 5) ((7 -8 4 4) . 9) ((-8 4 4 -1) . 8) ((4 4 -1 0) . 8) ((4 -1 0 -3) . 5) ((-1 0 -3 3) . 8) ((0 -3 3 -1) . 7) ((-3 3 -1 -6) . 1) ((3 -1 -6 7) . 8) ((-1 -6 7 -8) . 0) ((-6 7 -8 7) . 7) ((7 -8 7 1) . 8) ((-8 7 1 -2) . 6) ((7 1 -2 2) . 8) ((1 -2 2 -8) . 0) ((-2 2 -8 1) . 1) ((2 -8 1 4) . 5) ((-8 1 4 4) . 9) ((1 4 4 -7) . 2) ((4 4 -7 5) . 7) ((4 -7 5 2) . 9) ((-7 5 2 -5) . 4) ((5 2 -5 -2) . 2) ((2 -5 -2 2) . 4) ((-5 -2 2 2) . 6) ((-2 2 2 -5) . 1) ((2 2 -5 0) . 1) ((2 -5 0 5) . 6) ((-5 0 5 0) . 6) ((0 5 0 -1) . 5) ((5 0 -1 -5) . 0) ((0 -1 -5 1) . 1) ((-1 -5 1 0) . 1) ((-5 1 0 5) . 6) ((1 0 5 -4) . 2) ((0 5 -4 0) . 2) ((5 -4 0 2) . 4) ((-4 0 2 4) . 8) ((0 2 4 -3) . 5) ((2 4 -3 2) . 7) ((4 -3 2 -2) . 5) ((-3 2 -2 1) . 6) ((2 -2 1 3) . 9) ((-2 1 3 -9) . 0) ((1 3 -9 0) . 0) ((3 -9 0 3) . 3) ((-9 0 3 2) . 5) ((0 3 2 3) . 8) ((3 2 3 -8) . 0) ((2 3 -8 9) . 9) ((3 -8 9 -8) . 1) ((-8 9 -8 8) . 9) ((9 -8 8 -9) . 0) ((-8 8 -9 4) . 4) ((8 -9 4 4) . 8) ((-9 4 4 -7) . 1) ((4 4 -7 4) . 5) ((4 -7 4 -5) . 0) ((-7 4 -5 2) . 2) ((4 -5 2 6) . 8) ((-5 2 6 -1) . 7) ((2 6 -1 -6) . 1) ((6 -1 -6 1) . 2) ((-1 -6 1 2) . 4) ((-6 1 2 4) . 8) ((1 2 4 -8) . 0) ((2 4 -8 6) . 6) ((4 -8 6 -2) . 4) ((-8 6 -2 -1) . 3) ((6 -2 -1 -1) . 2) ((-2 -1 -1 -2) . 0) ((-1 -1 -2 4) . 4) ((-1 -2 4 5) . 9) ((-2 4 5 -4) . 5) ((4 5 -4 -1) . 4) ((5 -4 -1 5) . 9) ((-4 -1 5 -9) . 0) ((-1 5 -9 7) . 7) ((5 -9 7 -6) . 1) ((-9 7 -6 2) . 3) ((7 -6 2 -2) . 1) ((-6 2 -2 7) . 8) ((2 -2 7 -8) . 0) ((-2 7 -8 2) . 2) ((7 -8 2 2) . 4) ((-8 2 2 -3) . 1) ((2 2 -3 1) . 2) ((2 -3 1 0) . 2) ((-3 1 0 0) . 2) ((1 0 0 3) . 5) ((0 0 3 2) . 7) ((0 3 2 -1) . 6) ((3 2 -1 -6) . 0) ((2 -1 -6 5) . 5) ((-1 -6 5 2) . 7) ((-6 5 2 1) . 8) ((5 2 1 0) . 8) ((2 1 0 -6) . 2) ((1 0 -6 0) . 2) ((0 -6 0 3) . 5) ((-6 0 3 -2) . 3) ((0 3 -2 0) . 3) ((3 -2 0 -1) . 2) ((-2 0 -1 3) . 5) ((0 -1 3 1) . 6) ((-1 3 1 -6) . 0) ((3 1 -6 9) . 9) ((1 -6 9 -4) . 5) ((-6 9 -4 -5) . 0) ((9 -4 -5 1) . 1) ((-4 -5 1 8) . 9) ((-5 1 8 -2) . 7) ((1 8 -2 -3) . 4) ((8 -2 -3 -2) . 2) ((-2 -3 -2 0) . 2) ((-3 -2 0 -1) . 1) ((-2 0 -1 3) . 4) ((0 -1 3 -3) . 1) ((-1 3 -3 -1) . 0) ((3 -3 -1 1) . 1) ((-3 -1 1 2) . 3) ((-1 1 2 -3) . 0) ((1 2 -3 5) . 5) ((2 -3 5 -5) . 0) ((-3 5 -5 3) . 3) ((5 -5 3 3) . 6) ((-5 3 3 -2) . 4) ((3 3 -2 -4) . 0) ((3 -2 -4 7) . 7) ((-2 -4 7 -3) . 4) ((-4 7 -3 3) . 7) ((7 -3 3 0) . 7) ((-3 3 0 -6) . 1) ((3 0 -6 4) . 5) ((0 -6 4 4) . 9) ((-6 4 4 -8) . 1) ((4 4 -8 2) . 3) ((4 -8 2 2) . 5) ((-8 2 2 3) . 8) ((2 2 3 -8) . 0) ((2 3 -8 2) . 2) ((3 -8 2 1) . 3) ((-8 2 1 0) . 3) ((2 1 0 5) . 8) ((1 0 5 -7) . 1) ((0 5 -7 7) . 8) ((5 -7 7 -1) . 7) ((-7 7 -1 1) . 8) ((7 -1 1 1) . 9) ((-1 1 1 -8) . 1) ((1 1 -8 3) . 4) ((1 -8 3 0) . 4) ((-8 3 0 1) . 5) ((3 0 1 -1) . 4) ((0 1 -1 1) . 5) ((1 -1 1 -1) . 4) ((-1 1 -1 5) . 9) ((1 -1 5 -6) . 3) ((-1 5 -6 1) . 4) ((5 -6 1 1) . 5) ((-6 1 1 -5) . 0) ((1 1 -5 9) . 9) ((1 -5 9 0) . 9) ((-5 9 0 -4) . 5) ((9 0 -4 4) . 9) ((0 -4 4 -2) . 7) ((-4 4 -2 -6) . 1) ((4 -2 -6 0) . 1) ((-2 -6 0 3) . 4) ((-6 0 3 2) . 6) ((0 3 2 -3) . 3) ((3 2 -3 6) . 9) ((2 -3 6 -7) . 2) ((-3 6 -7 1) . 3) ((6 -7 1 -1) . 2) ((-7 1 -1 -2) . 0) ((1 -1 -2 8) . 8) ((-1 -2 8 -1) . 7) ((-2 8 -1 -5) . 2) ((8 -1 -5 4) . 6) ((-1 -5 4 -5) . 1) ((-5 4 -5 5) . 6) ((4 -5 5 -4) . 2) ((-5 5 -4 3) . 5) ((5 -4 3 3) . 8) ((-4 3 3 -2) . 6) ((3 3 -2 0) . 6) ((3 -2 0 3) . 9) ((-2 0 3 -9) . 0) ((0 3 -9 9) . 9) ((3 -9 9 -7) . 2) ((-9 9 -7 0) . 2) ((9 -7 0 5) . 7) ((-7 0 5 2) . 9) ((0 5 2 -9) . 0) ((5 2 -9 6) . 6) ((2 -9 6 1) . 7) ((-9 6 1 -7) . 0) ((6 1 -7 9) . 9) ((1 -7 9 -1) . 8) ((-7 9 -1 -8) . 0) ((9 -1 -8 7) . 7) ((-1 -8 7 -6) . 1) ((-8 7 -6 2) . 3) ((7 -6 2 -2) . 1) ((-6 2 -2 7) . 8) ((2 -2 7 -3) . 5) ((-2 7 -3 -1) . 4) ((7 -3 -1 4) . 8) ((-3 -1 4 -1) . 7) ((-1 4 -1 -6) . 1) ((4 -1 -6 8) . 9) ((-1 -6 8 0) . 9) ((-6 8 0 -9) . 0) ((8 0 -9 8) . 8) ((0 -9 8 -2) . 6) ((-9 8 -2 -6) . 0) ((8 -2 -6 9) . 9) ((-2 -6 9 -9) . 0) ((-6 9 -9 8) . 8) ((9 -9 8 -8) . 0) ((-9 8 -8 9) . 9) ((8 -8 9 -4) . 5) ((-8 9 -4 -4) . 1) ((9 -4 -4 8) . 9) ((-4 -4 8 -5) . 4) ((-4 8 -5 2) . 6) ((8 -5 2 -6) . 0) ((-5 2 -6 8) . 8) ((2 -6 8 -2) . 6) ((-6 8 -2 0) . 6) ((8 -2 0 -5) . 1) ((-2 0 -5 8) . 9) ((0 -5 8 0) . 9) ((-5 8 0 -3) . 6) ((8 0 -3 -3) . 3) ((0 -3 -3 -1) . 2) ((-3 -3 -1 -2) . 0) ((-3 -1 -2 4) . 4) ((-1 -2 4 0) . 4) ((-2 4 0 4) . 8) ((4 0 4 -7) . 1) ((0 4 -7 8) . 9) ((4 -7 8 -5) . 4) ((-7 8 -5 -2) . 2) ((8 -5 -2 -2) . 0) ((-5 -2 -2 8) . 8) ((-2 -2 8 -5) . 3) ((-2 8 -5 4) . 7) ((8 -5 4 0) . 7) ((-5 4 0 -6) . 1) ((4 0 -6 7) . 8) ((0 -6 7 -1) . 7) ((-6 7 -1 -1) . 6) ((7 -1 -1 -2) . 4) ((-1 -1 -2 -3) . 1) ((-1 -2 -3 5) . 6) ((-2 -3 5 0) . 6) ((-3 5 0 -4) . 2) ((5 0 -4 2) . 4) ((0 -4 2 -4) . 0) ((-4 2 -4 4) . 4) ((2 -4 4 0) . 4) ((-4 4 0 0) . 4) ((4 0 0 -4) . 0) ((0 0 -4 4) . 4) ((0 -4 4 0) . 4) ((-4 4 0 -3) . 1) ((4 0 -3 8) . 9) ((0 -3 8 -8) . 1) ((-3 8 -8 2) . 3) ((8 -8 2 4) . 7) ((-8 2 4 0) . 7) ((2 4 0 -5) . 2) ((4 0 -5 7) . 9) ((0 -5 7 -9) . 0) ((-5 7 -9 2) . 2) ((7 -9 2 1) . 3) ((-9 2 1 2) . 5) ((2 1 2 -5) . 0) ((1 2 -5 1) . 1) ((2 -5 1 3) . 4) ((-5 1 3 -2) . 2) ((1 3 -2 3) . 5) ((3 -2 3 3) . 8) ((-2 3 3 -3) . 5) ((3 3 -3 -2) . 3) ((3 -3 -2 5) . 8) ((-3 -2 5 1) . 9) ((-2 5 1 -6) . 3) ((5 1 -6 0) . 3) ((1 -6 0 3) . 6) ((-6 0 3 2) . 8) ((0 3 2 -1) . 7) ((3 2 -1 2) . 9) ((2 -1 2 -5) . 4) ((-1 2 -5 5) . 9) ((2 -5 5 -1) . 8) ((-5 5 -1 -5) . 3) ((5 -1 -5 6) . 9) ((-1 -5 6 -3) . 6) ((-5 6 -3 -3) . 3) ((6 -3 -3 -1) . 2) ((-3 -3 -1 4) . 6) ((-3 -1 4 1) . 7) ((-1 4 1 0) . 7) ((4 1 0 1) . 8) ((1 0 1 -6) . 2) ((0 1 -6 2) . 4) ((1 -6 2 5) . 9) ((-6 2 5 -1) . 8) ((2 5 -1 -8) . 0) ((5 -1 -8 3) . 3) ((-1 -8 3 0) . 3) ((-8 3 0 6) . 9) ((3 0 6 -2) . 7) ((0 6 -2 -3) . 4) ((6 -2 -3 1) . 5) ((-2 -3 1 -2) . 3) ((-3 1 -2 2) . 5) ((1 -2 2 -2) . 3) ((-2 2 -2 5) . 8) ((2 -2 5 -1) . 7) ((-2 5 -1 -3) . 4) ((5 -1 -3 2) . 6) ((-1 -3 2 2) . 8) ((-3 2 2 -8) . 0) ((2 2 -8 4) . 4) ((2 -8 4 -2) . 2) ((-8 4 -2 5) . 7) ((4 -2 5 -4) . 3) ((-2 5 -4 -3) . 0) ((5 -4 -3 6) . 6) ((-4 -3 6 3) . 9) ((-3 6 3 0) . 9) ((6 3 0 -5) . 4) ((3 0 -5 -2) . 2) ((0 -5 -2 -2) . 0) ((-5 -2 -2 0) . 0) ((-2 -2 0 9) . 9) ((-2 0 9 0) . 9) ((0 9 0 -2) . 7) ((9 0 -2 -2) . 5) ((0 -2 -2 3) . 8) ((-2 -2 3 -7) . 1) ((-2 3 -7 8) . 9) ((3 -7 8 -4) . 5) ((-7 8 -4 1) . 6) ((8 -4 1 -2) . 4) ((-4 1 -2 -3) . 1) ((1 -2 -3 5) . 6) ((-2 -3 5 1) . 7) ((-3 5 1 -5) . 2) ((5 1 -5 0) . 2) ((1 -5 0 7) . 9) ((-5 0 7 -6) . 3) ((0 7 -6 0) . 3) ((7 -6 0 0) . 3) ((-6 0 0 1) . 4) ((0 0 1 0) . 4) ((0 1 0 2) . 6) ((1 0 2 -4) . 2) ((0 2 -4 6) . 8) ((2 -4 6 -3) . 5) ((-4 6 -3 -1) . 4) ((6 -3 -1 5) . 9) ((-3 -1 5 -3) . 6) ((-1 5 -3 0) . 6) ((5 -3 0 -4) . 2) ((-3 0 -4 -1) . 1) ((0 -4 -1 3) . 4) ((-4 -1 3 -2) . 2) ((-1 3 -2 -1) . 1) ((3 -2 -1 3) . 4) ((-2 -1 3 3) . 7) ((-1 3 3 2) . 9) ((3 3 2 -3) . 6) ((3 2 -3 3) . 9) ((2 -3 3 -2) . 7) ((-3 3 -2 2) . 9) ((3 -2 2 -9) . 0) ((-2 2 -9 9) . 9) ((2 -9 9 -7) . 2) ((-9 9 -7 1) . 3) ((9 -7 1 6) . 9) ((-7 1 6 -2) . 7) ((1 6 -2 1) . 8) ((6 -2 1 -8) . 0) ((-2 1 -8 0) . 0) ((1 -8 0 3) . 3) ((-8 0 3 2) . 5) ((0 3 2 0) . 5) ((3 2 0 -2) . 3) ((2 0 -2 0) . 3) ((0 -2 0 4) . 7) ((-2 0 4 2) . 9) ((0 4 2 -7) . 2) ((4 2 -7 6) . 8) ((2 -7 6 -8) . 0) ((-7 6 -8 6) . 6) ((6 -8 6 -5) . 1) ((-8 6 -5 1) . 2) ((6 -5 1 2) . 4) ((-5 1 2 -2) . 2) ((1 2 -2 7) . 9) ((2 -2 7 -9) . 0) ((-2 7 -9 4) . 4) ((7 -9 4 -2) . 2) ((-9 4 -2 2) . 4) ((4 -2 2 -3) . 1) ((-2 2 -3 7) . 8) ((2 -3 7 -1) . 7) ((-3 7 -1 -2) . 5) ((7 -1 -2 -5) . 0) ((-1 -2 -5 2) . 2) ((-2 -5 2 5) . 7) ((-5 2 5 -5) . 2) ((2 5 -5 -1) . 1) ((5 -5 -1 0) . 1) ((-5 -1 0 3) . 4) ((-1 0 3 -1) . 3) ((0 3 -1 3) . 6) ((3 -1 3 -6) . 0) ((-1 3 -6 3) . 3) ((3 -6 3 -2) . 1) ((-6 3 -2 4) . 5) ((3 -2 4 -4) . 1) ((-2 4 -4 1) . 2) ((4 -4 1 5) . 7) ((-4 1 5 -2) . 5) ((1 5 -2 2) . 7) ((5 -2 2 -4) . 3) ((-2 2 -4 3) . 6) ((2 -4 3 -6) . 0) ((-4 3 -6 7) . 7) ((3 -6 7 2) . 9) ((-6 7 2 0) . 9) ((7 2 0 -3) . 6) ((2 0 -3 -1) . 5) ((0 -3 -1 1) . 6) ((-3 -1 1 0) . 6) ((-1 1 0 -1) . 5) ((1 0 -1 -2) . 3) ((0 -1 -2 1) . 4) ((-1 -2 1 1) . 5) ((-2 1 1 -1) . 4) ((1 1 -1 4) . 8) ((1 -1 4 -8) . 0) ((-1 4 -8 9) . 9) ((4 -8 9 -1) . 8) ((-8 9 -1 -7) . 1) ((9 -1 -7 3) . 4) ((-1 -7 3 -2) . 2) ((-7 3 -2 0) . 2) ((3 -2 0 5) . 7) ((-2 0 5 -5) . 2) ((0 5 -5 1) . 3) ((5 -5 1 0) . 3) ((-5 1 0 6) . 9) ((1 0 6 -3) . 6) ((0 6 -3 0) . 6) ((6 -3 0 -6) . 0) ((-3 0 -6 1) . 1) ((0 -6 1 0) . 1) ((-6 1 0 6) . 7) ((1 0 6 -4) . 3) ((0 6 -4 2) . 5) ((6 -4 2 -2) . 3) ((-4 2 -2 0) . 3) ((2 -2 0 3) . 6) ((-2 0 3 -2) . 4) ((0 3 -2 2) . 6) ((3 -2 2 -6) . 0) ((-2 2 -6 9) . 9) ((2 -6 9 0) . 9) ((-6 9 0 -8) . 1) ((9 0 -8 0) . 1) ((0 -8 0 4) . 5) ((-8 0 4 -3) . 2) ((0 4 -3 2) . 4) ((4 -3 2 2) . 6) ((-3 2 2 -1) . 5) ((2 2 -1 3) . 8) ((2 -1 3 0) . 8) ((-1 3 0 -8) . 0) ((3 0 -8 9) . 9) ((0 -8 9 -6) . 3) ((-8 9 -6 3) . 6) ((9 -6 3 -3) . 3) ((-6 3 -3 3) . 6) ((3 -3 3 -6) . 0) ((-3 3 -6 5) . 5) ((3 -6 5 0) . 5) ((-6 5 0 -1) . 4) ((5 0 -1 2) . 6) ((0 -1 2 3) . 9) ((-1 2 3 -5) . 4) ((2 3 -5 -4) . 0) ((3 -5 -4 9) . 9) ((-5 -4 9 0) . 9) ((-4 9 0 -7) . 2) ((9 0 -7 6) . 8) ((0 -7 6 -7) . 1) ((-7 6 -7 7) . 8) ((6 -7 7 -8) . 0) ((-7 7 -8 4) . 4) ((7 -8 4 -2) . 2) ((-8 4 -2 1) . 3) ((4 -2 1 5) . 8) ((-2 1 5 -2) . 6) ((1 5 -2 1) . 7) ((5 -2 1 -4) . 3) ((-2 1 -4 -1) . 2) ((1 -4 -1 7) . 9) ((-4 -1 7 -9) . 0) ((-1 7 -9 9) . 9) ((7 -9 9 -8) . 1) ((-9 9 -8 5) . 6) ((9 -8 5 -5) . 1) ((-8 5 -5 1) . 2) ((5 -5 1 -1) . 1) ((-5 1 -1 -1) . 0) ((1 -1 -1 3) . 3) ((-1 -1 3 5) . 8) ((-1 3 5 0) . 8) ((3 5 0 -8) . 0) ((5 0 -8 1) . 1) ((0 -8 1 -1) . 0) ((-8 1 -1 6) . 6) ((1 -1 6 1) . 7) ((-1 6 1 -2) . 5) ((6 1 -2 3) . 8) ((1 -2 3 -6) . 2) ((-2 3 -6 7) . 9) ((3 -6 7 -7) . 2) ((-6 7 -7 5) . 7) ((7 -7 5 -4) . 3) ((-7 5 -4 -2) . 1) ((5 -4 -2 8) . 9) ((-4 -2 8 -9) . 0) ((-2 8 -9 7) . 7) ((8 -9 7 -7) . 0) ((-9 7 -7 2) . 2) ((7 -7 2 3) . 5) ((-7 2 3 2) . 7) ((2 3 2 1) . 8) ((3 2 1 -3) . 5) ((2 1 -3 3) . 8) ((1 -3 3 -5) . 3) ((-3 3 -5 5) . 8) ((3 -5 5 1) . 9) ((-5 5 1 -6) . 3) ((5 1 -6 3) . 6) ((1 -6 3 -3) . 3) ((-6 3 -3 4) . 7) ((3 -3 4 0) . 7) ((-3 4 0 0) . 7) ((4 0 0 -3) . 4) ((0 0 -3 -2) . 2) ((0 -3 -2 0) . 2) ((-3 -2 0 7) . 9) ((-2 0 7 -4) . 5) ((0 7 -4 -2) . 3) ((7 -4 -2 -3) . 0) ((-4 -2 -3 2) . 2) ((-2 -3 2 0) . 2) ((-3 2 0 4) . 6) ((2 0 4 -5) . 1) ((0 4 -5 4) . 5) ((4 -5 4 -5) . 0) ((-5 4 -5 2) . 2) ((4 -5 2 2) . 4) ((-5 2 2 2) . 6) ((2 2 2 2) . 8) ((2 2 2 -7) . 1) ((2 2 -7 -1) . 0) ((2 -7 -1 6) . 6) ((-7 -1 6 -2) . 4) ((-1 6 -2 5) . 9) ((6 -2 5 -1) . 8) ((-2 5 -1 -5) . 3) ((5 -1 -5 5) . 8) ((-1 -5 5 1) . 9) ((-5 5 1 -6) . 3) ((5 1 -6 5) . 8) ((1 -6 5 1) . 9) ((-6 5 1 -2) . 7) ((5 1 -2 -7) . 0) ((1 -2 -7 6) . 6) ((-2 -7 6 1) . 7) ((-7 6 1 1) . 8) ((6 1 1 0) . 8) ((1 1 0 1) . 9) ((1 0 1 -4) . 5) ((0 1 -4 2) . 7) ((1 -4 2 0) . 7) ((-4 2 0 -1) . 6) ((2 0 -1 -1) . 5) ((0 -1 -1 -5) . 0) ((-1 -1 -5 9) . 9) ((-1 -5 9 -3) . 6) ((-5 9 -3 3) . 9) ((9 -3 3 -7) . 2) ((-3 3 -7 4) . 6) ((3 -7 4 2) . 8) ((-7 4 2 -6) . 2) ((4 2 -6 -1) . 1) ((2 -6 -1 -1) . 0) ((-6 -1 -1 5) . 5) ((-1 -1 5 -1) . 4) ((-1 5 -1 5) . 9) ((5 -1 5 0) . 9) ((-1 5 0 -4) . 5) ((5 0 -4 3) . 8) ((0 -4 3 0) . 8) ((-4 3 0 -1) . 7) ((3 0 -1 2) . 9) ((0 -1 2 -3) . 6) ((-1 2 -3 -3) . 3) ((2 -3 -3 0) . 3) ((-3 -3 0 -3) . 0) ((-3 0 -3 8) . 8) ((0 -3 8 -5) . 3) ((-3 8 -5 0) . 3) ((8 -5 0 -3) . 0) ((-5 0 -3 8) . 8) ((0 -3 8 -1) . 7) ((-3 8 -1 -4) . 3) ((8 -1 -4 -1) . 2) ((-1 -4 -1 2) . 4) ((-4 -1 2 5) . 9) ((-1 2 5 -5) . 4) ((2 5 -5 4) . 8) ((5 -5 4 -8) . 0) ((-5 4 -8 4) . 4) ((4 -8 4 2) . 6) ((-8 4 2 -3) . 3) ((4 2 -3 -1) . 2) ((2 -3 -1 7) . 9) ((-3 -1 7 0) . 9) ((-1 7 0 -1) . 8) ((7 0 -1 0) . 8) ((0 -1 0 -6) . 2) ((-1 0 -6 5) . 7) ((0 -6 5 -1) . 6) ((-6 5 -1 1) . 7) ((5 -1 1 -4) . 3) ((-1 1 -4 4) . 7) ((1 -4 4 -4) . 3) ((-4 4 -4 0) . 3) ((4 -4 0 3) . 6) ((-4 0 3 1) . 7) ((0 3 1 -3) . 4) ((3 1 -3 -1) . 3) ((1 -3 -1 -3) . 0) ((-3 -1 -3 4) . 4) ((-1 -3 4 -3) . 1) ((-3 4 -3 0) . 1) ((4 -3 0 -1) . 0) ((-3 0 -1 4) . 4) ((0 -1 4 -1) . 3) ((-1 4 -1 3) . 6) ((4 -1 3 0) . 6) ((-1 3 0 -3) . 3) ((3 0 -3 -3) . 0) ((0 -3 -3 7) . 7) ((-3 -3 7 -1) . 6) ((-3 7 -1 -2) . 4) ((7 -1 -2 0) . 4) ((-1 -2 0 2) . 6) ((-2 0 2 -3) . 3) ((0 2 -3 5) . 8) ((2 -3 5 -8) . 0) ((-3 5 -8 4) . 4) ((5 -8 4 -3) . 1) ((-8 4 -3 7) . 8) ((4 -3 7 -1) . 7) ((-3 7 -1 -7) . 0) ((7 -1 -7 1) . 1) ((-1 -7 1 1) . 2) ((-7 1 1 -2) . 0) ((1 1 -2 8) . 8) ((1 -2 8 -3) . 5) ((-2 8 -3 -1) . 4) ((8 -3 -1 0) . 4) ((-3 -1 0 -1) . 3) ((-1 0 -1 4) . 7) ((0 -1 4 -6) . 1) ((-1 4 -6 7) . 8) ((4 -6 7 0) . 8) ((-6 7 0 -3) . 5) ((7 0 -3 -4) . 1) ((0 -3 -4 5) . 6) ((-3 -4 5 -2) . 4) ((-4 5 -2 4) . 8) ((5 -2 4 -3) . 5) ((-2 4 -3 -1) . 4) ((4 -3 -1 5) . 9) ((-3 -1 5 -7) . 2) ((-1 5 -7 1) . 3) ((5 -7 1 -1) . 2) ((-7 1 -1 5) . 7) ((1 -1 5 -3) . 4) ((-1 5 -3 -2) . 2) ((5 -3 -2 0) . 2) ((-3 -2 0 -1) . 1) ((-2 0 -1 5) . 6) ((0 -1 5 -1) . 5) ((-1 5 -1 1) . 6) ((5 -1 1 -6) . 0) ((-1 1 -6 7) . 7) ((1 -6 7 -4) . 3) ((-6 7 -4 -2) . 1) ((7 -4 -2 6) . 7) ((-4 -2 6 -3) . 4) ((-2 6 -3 -2) . 2) ((6 -3 -2 7) . 9) ((-3 -2 7 -8) . 1) ((-2 7 -8 -1) . 0) ((7 -8 -1 9) . 9) ((-8 -1 9 -5) . 4) ((-1 9 -5 3) . 7) ((9 -5 3 -6) . 1) ((-5 3 -6 2) . 3) ((3 -6 2 2) . 5) ((-6 2 2 1) . 6) ((2 2 1 -2) . 4) ((2 1 -2 -3) . 1) ((1 -2 -3 -1) . 0) ((-2 -3 -1 2) . 2) ((-3 -1 2 -1) . 1) ((-1 2 -1 4) . 5) ((2 -1 4 -3) . 2) ((-1 4 -3 7) . 9) ((4 -3 7 -9) . 0) ((-3 7 -9 0) . 0) ((7 -9 0 4) . 4) ((-9 0 4 1) . 5) ((0 4 1 1) . 6) ((4 1 1 1) . 7) ((1 1 1 -2) . 5) ((1 1 -2 1) . 6) ((1 -2 1 -2) . 4) ((-2 1 -2 -3) . 1) ((1 -2 -3 -1) . 0) ((-2 -3 -1 1) . 1) ((-3 -1 1 8) . 9) ((-1 1 8 -6) . 3) ((1 8 -6 3) . 6) ((8 -6 3 -2) . 4) ((-6 3 -2 0) . 4) ((3 -2 0 0) . 4) ((-2 0 0 1) . 5) ((0 0 1 -3) . 2) ((0 1 -3 7) . 9) ((1 -3 7 -6) . 3) ((-3 7 -6 6) . 9) ((7 -6 6 -8) . 1) ((-6 6 -8 0) . 1) ((6 -8 0 -1) . 0) ((-8 0 -1 3) . 3) ((0 -1 3 2) . 5) ((-1 3 2 3) . 8) ((3 2 3 1) . 9) ((2 3 1 -1) . 8) ((3 1 -1 -6) . 2) ((1 -1 -6 -2) . 0) ((-1 -6 -2 8) . 8) ((-6 -2 8 -7) . 1) ((-2 8 -7 6) . 7) ((8 -7 6 1) . 8) ((-7 6 1 1) . 9) ((6 1 1 0) . 9) ((1 1 0 -7) . 2) ((1 0 -7 2) . 4) ((0 -7 2 5) . 9) ((-7 2 5 -5) . 4) ((2 5 -5 4) . 8) ((5 -5 4 0) . 8) ((-5 4 0 -3) . 5) ((4 0 -3 4) . 9) ((0 -3 4 -2) . 7) ((-3 4 -2 -3) . 4) ((4 -2 -3 1) . 5) ((-2 -3 1 3) . 8) ((-3 1 3 -3) . 5) ((1 3 -3 -1) . 4) ((3 -3 -1 2) . 6) ((-3 -1 2 0) . 6) ((-1 2 0 -3) . 3) ((2 0 -3 0) . 3) ((0 -3 0 4) . 7) ((-3 0 4 -2) . 5) ((0 4 -2 -3) . 2) ((4 -2 -3 2) . 4) ((-2 -3 2 -2) . 2) ((-3 2 -2 5) . 7) ((2 -2 5 -1) . 6) ((-2 5 -1 -3) . 3) ((5 -1 -3 1) . 4) ((-1 -3 1 4) . 8) ((-3 1 4 -7) . 1) ((1 4 -7 7) . 8) ((4 -7 7 -6) . 2) ((-7 7 -6 7) . 9) ((7 -6 7 -3) . 6) ((-6 7 -3 1) . 7) ((7 -3 1 -3) . 4) ((-3 1 -3 1) . 5) ((1 -3 1 -1) . 4) ((-3 1 -1 3) . 7) ((1 -1 3 0) . 7) ((-1 3 0 -5) . 2) ((3 0 -5 -1) . 1) ((0 -5 -1 2) . 3) ((-5 -1 2 -3) . 0) ((-1 2 -3 0) . 0) ((2 -3 0 3) . 3) ((-3 0 3 6) . 9) ((0 3 6 -5) . 4) ((3 6 -5 -2) . 2) ((6 -5 -2 4) . 6) ((-5 -2 4 -6) . 0) ((-2 4 -6 9) . 9) ((4 -6 9 -1) . 8) ((-6 9 -1 -2) . 6) ((9 -1 -2 -2) . 4) ((-1 -2 -2 -1) . 3) ((-2 -2 -1 1) . 4) ((-2 -1 1 4) . 8) ((-1 1 4 -5) . 3) ((1 4 -5 4) . 7) ((4 -5 4 -7) . 0) ((-5 4 -7 0) . 0) ((4 -7 0 7) . 7) ((-7 0 7 2) . 9) ((0 7 2 -4) . 5) ((7 2 -4 0) . 5) ((2 -4 0 -2) . 3) ((-4 0 -2 4) . 7) ((0 -2 4 2) . 9) ((-2 4 2 -4) . 5) ((4 2 -4 0) . 5) ((2 -4 0 1) . 6) ((-4 0 1 -6) . 0) ((0 1 -6 2) . 2) ((1 -6 2 1) . 3) ((-6 2 1 -1) . 2) ((2 1 -1 1) . 3) ((1 -1 1 2) . 5) ((-1 1 2 -1) . 4) ((1 2 -1 -2) . 2) ((2 -1 -2 0) . 2) ((-1 -2 0 -2) . 0) ((-2 0 -2 5) . 5) ((0 -2 5 1) . 6) ((-2 5 1 0) . 6) ((5 1 0 -5) . 1) ((1 0 -5 8) . 9) ((0 -5 8 -3) . 6) ((-5 8 -3 -5) . 1) ((8 -3 -5 5) . 6) ((-3 -5 5 -3) . 3) ((-5 5 -3 -1) . 2) ((5 -3 -1 5) . 7) ((-3 -1 5 0) . 7) ((-1 5 0 -6) . 1) ((5 0 -6 3) . 4) ((0 -6 3 3) . 7) ((-6 3 3 -4) . 3) ((3 3 -4 5) . 8) ((3 -4 5 -5) . 3) ((-4 5 -5 -3) . 0) ((5 -5 -3 1) . 1) ((-5 -3 1 3) . 4) ((-3 1 3 1) . 5) ((1 3 1 4) . 9) ((3 1 4 -7) . 2) ((1 4 -7 -2) . 0) ((4 -7 -2 6) . 6) ((-7 -2 6 1) . 7) ((-2 6 1 -6) . 1) ((6 1 -6 4) . 5) ((1 -6 4 -1) . 4) ((-6 4 -1 -2) . 2) ((4 -1 -2 -1) . 1) ((-1 -2 -1 7) . 8) ((-2 -1 7 -6) . 2) ((-1 7 -6 5) . 7) ((7 -6 5 1) . 8) ((-6 5 1 -6) . 2) ((5 1 -6 4) . 6) ((1 -6 4 -6) . 0) ((-6 4 -6 1) . 1) ((4 -6 1 8) . 9) ((-6 1 8 -6) . 3) ((1 8 -6 0) . 3) ((8 -6 0 3) . 6) ((-6 0 3 -2) . 4) ((0 3 -2 -2) . 2) ((3 -2 -2 5) . 7) ((-2 -2 5 -7) . 0) ((-2 5 -7 1) . 1) ((5 -7 1 1) . 2) ((-7 1 1 2) . 4) ((1 1 2 2) . 6) ((1 2 2 -6) . 0) ((2 2 -6 2) . 2) ((2 -6 2 6) . 8) ((-6 2 6 -1) . 7) ((2 6 -1 -2) . 5) ((6 -1 -2 -5) . 0) ((-1 -2 -5 7) . 7) ((-2 -5 7 2) . 9) ((-5 7 2 -5) . 4) ((7 2 -5 2) . 6) ((2 -5 2 0) . 6) ((-5 2 0 2) . 8) ((2 0 2 -3) . 5) ((0 2 -3 4) . 9) ((2 -3 4 -3) . 6) ((-3 4 -3 -3) . 3) ((4 -3 -3 -1) . 2) ((-3 -3 -1 5) . 7) ((-3 -1 5 2) . 9) ((-1 5 2 -5) . 4) ((5 2 -5 -1) . 3) ((2 -5 -1 0) . 3) ((-5 -1 0 5) . 8) ((-1 0 5 0) . 8) ((0 5 0 -1) . 7) ((5 0 -1 1) . 8) ((0 -1 1 -1) . 7) ((-1 1 -1 0) . 7) ((1 -1 0 -1) . 6) ((-1 0 -1 -5) . 1) ((0 -1 -5 6) . 7) ((-1 -5 6 -7) . 0) ((-5 6 -7 4) . 4) ((6 -7 4 1) . 5) ((-7 4 1 3) . 8) ((4 1 3 -2) . 6) ((1 3 -2 0) . 6) ((3 -2 0 -4) . 2) ((-2 0 -4 6) . 8) ((0 -4 6 1) . 9) ((-4 6 1 -4) . 5) ((6 1 -4 -1) . 4) ((1 -4 -1 -3) . 1) ((-4 -1 -3 7) . 8) ((-1 -3 7 -3) . 5) ((-3 7 -3 3) . 8) ((7 -3 3 -4) . 4) ((-3 3 -4 1) . 5) ((3 -4 1 -1) . 4) ((-4 1 -1 -4) . 0) ((1 -1 -4 8) . 8) ((-1 -4 8 -6) . 2) ((-4 8 -6 6) . 8) ((8 -6 6 -7) . 1) ((-6 6 -7 8) . 9) ((6 -7 8 -8) . 1) ((-7 8 -8 2) . 3) ((8 -8 2 3) . 6) ((-8 2 3 3) . 9) ((2 3 3 -8) . 1) ((3 3 -8 3) . 4) ((3 -8 3 5) . 9) ((-8 3 5 -1) . 8) ((3 5 -1 -2) . 6) ((5 -1 -2 -5) . 1) ((-1 -2 -5 -1) . 0) ((-2 -5 -1 9) . 9) ((-5 -1 9 -5) . 4) ((-1 9 -5 1) . 5) ((9 -5 1 -2) . 3) ((-5 1 -2 -1) . 2) ((1 -2 -1 3) . 5) ((-2 -1 3 1) . 6) ((-1 3 1 -5) . 1) ((3 1 -5 8) . 9) ((1 -5 8 -9) . 0) ((-5 8 -9 4) . 4) ((8 -9 4 -4) . 0) ((-9 4 -4 3) . 3) ((4 -4 3 0) . 3) ((-4 3 0 -3) . 0) ((3 0 -3 8) . 8) ((0 -3 8 -7) . 1) ((-3 8 -7 6) . 7) ((8 -7 6 0) . 7) ((-7 6 0 -7) . 0) ((6 0 -7 0) . 0) ((0 -7 0 7) . 7) ((-7 0 7 -3) . 4) ((0 7 -3 -4) . 0) ((7 -3 -4 5) . 5) ((-3 -4 5 -2) . 3) ((-4 5 -2 -3) . 0) ((5 -2 -3 5) . 5) ((-2 -3 5 -1) . 4) ((-3 5 -1 1) . 5) ((5 -1 1 -2) . 3) ((-1 1 -2 6) . 9) ((1 -2 6 -3) . 6) ((-2 6 -3 1) . 7) ((6 -3 1 2) . 9) ((-3 1 2 -1) . 8) ((1 2 -1 -7) . 1) ((2 -1 -7 0) . 1) ((-1 -7 0 8) . 9) ((-7 0 8 -6) . 3) ((0 8 -6 1) . 4) ((8 -6 1 -4) . 0) ((-6 1 -4 3) . 3) ((1 -4 3 1) . 4) ((-4 3 1 -4) . 0) ((3 1 -4 6) . 6) ((1 -4 6 -3) . 3) ((-4 6 -3 4) . 7) ((6 -3 4 -5) . 2) ((-3 4 -5 6) . 8) ((4 -5 6 -8) . 0) ((-5 6 -8 6) . 6) ((6 -8 6 -3) . 3) ((-8 6 -3 4) . 7) ((6 -3 4 1) . 8) ((-3 4 1 -3) . 5) ((4 1 -3 -2) . 3) ((1 -3 -2 3) . 6) ((-3 -2 3 -5) . 1) ((-2 3 -5 2) . 3) ((3 -5 2 -2) . 1) ((-5 2 -2 6) . 7) ((2 -2 6 -5) . 2) ((-2 6 -5 4) . 6) ((6 -5 4 -1) . 5) ((-5 4 -1 4) . 9) ((4 -1 4 -4) . 5) ((-1 4 -4 -2) . 3) ((4 -4 -2 2) . 5) ((-4 -2 2 1) . 6) ((-2 2 1 -5) . 1) ((2 1 -5 1) . 2) ((1 -5 1 2) . 4) ((-5 1 2 -3) . 1) ((1 2 -3 4) . 5) ((2 -3 4 -2) . 3) ((-3 4 -2 -2) . 1) ((4 -2 -2 0) . 1) ((-2 -2 0 1) . 2) ((-2 0 1 4) . 6) ((0 1 4 -2) . 4) ((1 4 -2 -4) . 0) ((4 -2 -4 1) . 1) ((-2 -4 1 4) . 5) ((-4 1 4 2) . 7) ((1 4 2 -2) . 5) ((4 2 -2 -1) . 4) ((2 -2 -1 -1) . 3) ((-2 -1 -1 -3) . 0) ((-1 -1 -3 9) . 9) ((-1 -3 9 -2) . 7) ((-3 9 -2 -3) . 4) ((9 -2 -3 -4) . 0) ((-2 -3 -4 9) . 9) ((-3 -4 9 -3) . 6) ((-4 9 -3 1) . 7) ((9 -3 1 0) . 7) ((-3 1 0 -1) . 6) ((1 0 -1 -2) . 4) ((0 -1 -2 1) . 5) ((-1 -2 1 -5) . 0) ((-2 1 -5 4) . 4) ((1 -5 4 4) . 8) ((-5 4 4 -2) . 6) ((4 4 -2 -1) . 5) ((4 -2 -1 -5) . 0) ((-2 -1 -5 4) . 4) ((-1 -5 4 0) . 4) ((-5 4 0 -4) . 0) ((4 0 -4 8) . 8) ((0 -4 8 -1) . 7) ((-4 8 -1 -5) . 2) ((8 -1 -5 -2) . 0) ((-1 -5 -2 9) . 9) ((-5 -2 9 -7) . 2) ((-2 9 -7 7) . 9) ((9 -7 7 -9) . 0) ((-7 7 -9 9) . 9) ((7 -9 9 -8) . 1) ((-9 9 -8 8) . 9) ((9 -8 8 -4) . 5) ((-8 8 -4 -3) . 2) ((8 -4 -3 4) . 6) ((-4 -3 4 -2) . 4) ((-3 4 -2 4) . 8) ((4 -2 4 -6) . 2) ((-2 4 -6 3) . 5) ((4 -6 3 -3) . 2) ((-6 3 -3 0) . 2) ((3 -3 0 4) . 6) ((-3 0 4 -5) . 1) ((0 4 -5 6) . 7) ((4 -5 6 -7) . 0) ((-5 6 -7 9) . 9) ((6 -7 9 -7) . 2) ((-7 9 -7 5) . 7) ((9 -7 5 0) . 7) ((-7 5 0 -4) . 3) ((5 0 -4 0) . 3) ((0 -4 0 1) . 4) ((-4 0 1 -3) . 1) ((0 1 -3 7) . 8) ((1 -3 7 1) . 9) ((-3 7 1 0) . 9) ((7 1 0 -2) . 7) ((1 0 -2 1) . 8) ((0 -2 1 -8) . 0) ((-2 1 -8 0) . 0) ((1 -8 0 5) . 5) ((-8 0 5 -1) . 4) ((0 5 -1 0) . 4) ((5 -1 0 -4) . 0) ((-1 0 -4 7) . 7) ((0 -4 7 -4) . 3) ((-4 7 -4 -2) . 1) ((7 -4 -2 -1) . 0) ((-4 -2 -1 5) . 5) ((-2 -1 5 3) . 8) ((-1 5 3 -1) . 7) ((5 3 -1 -6) . 1) ((3 -1 -6 7) . 8) ((-1 -6 7 -1) . 7) ((-6 7 -1 -1) . 6) ((7 -1 -1 1) . 7) ((-1 -1 1 -4) . 3) ((-1 1 -4 -3) . 0) ((1 -4 -3 2) . 2) ((-4 -3 2 2) . 4) ((-3 2 2 -2) . 2) ((2 2 -2 3) . 5) ((2 -2 3 -1) . 4) ((-2 3 -1 0) . 4) ((3 -1 0 -1) . 3) ((-1 0 -1 4) . 7) ((0 -1 4 0) . 7) ((-1 4 0 0) . 7) ((4 0 0 -6) . 1) ((0 0 -6 4) . 5) ((0 -6 4 -1) . 4) ((-6 4 -1 1) . 5) ((4 -1 1 2) . 7) ((-1 1 2 -5) . 2) ((1 2 -5 3) . 5) ((2 -5 3 -3) . 2) ((-5 3 -3 -1) . 1) ((3 -3 -1 1) . 2) ((-3 -1 1 5) . 7) ((-1 1 5 -5) . 2) ((1 5 -5 -2) . 0) ((5 -5 -2 0) . 0) ((-5 -2 0 5) . 5) ((-2 0 5 -3) . 2) ((0 5 -3 2) . 4) ((5 -3 2 1) . 5) ((-3 2 1 2) . 7) ((2 1 2 -5) . 2) ((1 2 -5 -2) . 0) ((2 -5 -2 7) . 7) ((-5 -2 7 0) . 7) ((-2 7 0 -4) . 3) ((7 0 -4 -3) . 0) ((0 -4 -3 7) . 7) ((-4 -3 7 -4) . 3) ((-3 7 -4 3) . 6) ((7 -4 3 1) . 7) ((-4 3 1 -2) . 5) ((3 1 -2 -1) . 4) ((1 -2 -1 -1) . 3) ((-2 -1 -1 4) . 7) ((-1 -1 4 -7) . 0) ((-1 4 -7 9) . 9) ((4 -7 9 -9) . 0) ((-7 9 -9 4) . 4) ((9 -9 4 -3) . 1) ((-9 4 -3 5) . 6) ((4 -3 5 3) . 9) ((-3 5 3 -8) . 1) ((5 3 -8 8) . 9) ((3 -8 8 -2) . 7) ((-8 8 -2 0) . 7) ((8 -2 0 1) . 8) ((-2 0 1 -3) . 5) ((0 1 -3 2) . 7) ((1 -3 2 -4) . 3) ((-3 2 -4 6) . 9) ((2 -4 6 -8) . 1) ((-4 6 -8 2) . 3) ((6 -8 2 1) . 4) ((-8 2 1 5) . 9) ((2 1 5 -3) . 6) ((1 5 -3 2) . 8) ((5 -3 2 1) . 9) ((-3 2 1 -7) . 2) ((2 1 -7 6) . 8) ((1 -7 6 -1) . 7) ((-7 6 -1 1) . 8) ((6 -1 1 0) . 8) ((-1 1 0 -1) . 7) ((1 0 -1 0) . 7) ((0 -1 0 -5) . 2) ((-1 0 -5 4) . 6) ((0 -5 4 1) . 7) ((-5 4 1 -7) . 0) ((4 1 -7 9) . 9) ((1 -7 9 0) . 9) ((-7 9 0 -5) . 4) ((9 0 -5 -1) . 3) ((0 -5 -1 4) . 7) ((-5 -1 4 -6) . 1) ((-1 4 -6 8) . 9) ((4 -6 8 -4) . 5) ((-6 8 -4 -2) . 3) ((8 -4 -2 -1) . 2) ((-4 -2 -1 -1) . 1) ((-2 -1 -1 3) . 4) ((-1 -1 3 5) . 9) ((-1 3 5 -3) . 6) ((3 5 -3 -5) . 1) ((5 -3 -5 7) . 8) ((-3 -5 7 -5) . 3) ((-5 7 -5 0) . 3) ((7 -5 0 3) . 6) ((-5 0 3 0) . 6) ((0 3 0 1) . 7) ((3 0 1 -7) . 0) ((0 1 -7 9) . 9) ((1 -7 9 -9) . 0) ((-7 9 -9 4) . 4) ((9 -9 4 5) . 9) ((-9 4 5 -7) . 2) ((4 5 -7 3) . 5) ((5 -7 3 -2) . 3) ((-7 3 -2 -1) . 2) ((3 -2 -1 2) . 4) ((-2 -1 2 4) . 8) ((-1 2 4 0) . 8) ((2 4 0 -5) . 3) ((4 0 -5 -2) . 1) ((0 -5 -2 8) . 9) ((-5 -2 8 -4) . 5) ((-2 8 -4 -4) . 1) ((8 -4 -4 6) . 7) ((-4 -4 6 1) . 8) ((-4 6 1 -4) . 4) ((6 1 -4 -2) . 2) ((1 -4 -2 6) . 8) ((-4 -2 6 -7) . 1) ((-2 6 -7 4) . 5) ((6 -7 4 3) . 8) ((-7 4 3 1) . 9) ((4 3 1 -4) . 5) ((3 1 -4 -3) . 2) ((1 -4 -3 5) . 7) ((-4 -3 5 -2) . 5) ((-3 5 -2 4) . 9) ((5 -2 4 -9) . 0) ((-2 4 -9 5) . 5) ((4 -9 5 -3) . 2) ((-9 5 -3 5) . 7) ((5 -3 5 1) . 8) ((-3 5 1 -3) . 5) ((5 1 -3 2) . 7) ((1 -3 2 2) . 9) ((-3 2 2 -9) . 0) ((2 2 -9 6) . 6) ((2 -9 6 -3) . 3) ((-9 6 -3 1) . 4) ((6 -3 1 2) . 6) ((-3 1 2 1) . 7) ((1 2 1 -5) . 2) ((2 1 -5 6) . 8) ((1 -5 6 -4) . 4) ((-5 6 -4 2) . 6) ((6 -4 2 3) . 9) ((-4 2 3 -9) . 0) ((2 3 -9 6) . 6) ((3 -9 6 -4) . 2) ((-9 6 -4 7) . 9) ((6 -4 7 -5) . 4) ((-4 7 -5 4) . 8) ((7 -5 4 0) . 8) ((-5 4 0 1) . 9) ((4 0 1 -2) . 7) ((0 1 -2 -5) . 2) ((1 -2 -5 6) . 8) ((-2 -5 6 -2) . 6) ((-5 6 -2 -6) . 0) ((6 -2 -6 3) . 3) ((-2 -6 3 2) . 5) ((-6 3 2 -2) . 3) ((3 2 -2 2) . 5) ((2 -2 2 4) . 9) ((-2 2 4 -7) . 2) ((2 4 -7 -2) . 0) ((4 -7 -2 7) . 7) ((-7 -2 7 -2) . 5) ((-2 7 -2 1) . 6) ((7 -2 1 -2) . 4) ((-2 1 -2 2) . 6) ((1 -2 2 -5) . 1) ((-2 2 -5 4) . 5) ((2 -5 4 2) . 7) ((-5 4 2 -6) . 1) ((4 2 -6 1) . 2) ((2 -6 1 -1) . 1) ((-6 1 -1 -1) . 0) ((1 -1 -1 3) . 3) ((-1 -1 3 -2) . 1) ((-1 3 -2 8) . 9) ((3 -2 8 -8) . 1) ((-2 8 -8 2) . 3) ((8 -8 2 6) . 9) ((-8 2 6 0) . 9) ((2 6 0 -7) . 2) ((6 0 -7 2) . 4) ((0 -7 2 1) . 5) ((-7 2 1 -3) . 2) ((2 1 -3 7) . 9) ((1 -3 7 -5) . 4) ((-3 7 -5 0) . 4) ((7 -5 0 -3) . 1) ((-5 0 -3 5) . 6) ((0 -3 5 2) . 8) ((-3 5 2 1) . 9) ((5 2 1 -3) . 6) ((2 1 -3 3) . 9) ((1 -3 3 -4) . 5) ((-3 3 -4 -2) . 3) ((3 -4 -2 5) . 8) ((-4 -2 5 -6) . 2) ((-2 5 -6 0) . 2) ((5 -6 0 -1) . 1) ((-6 0 -1 3) . 4) ((0 -1 3 3) . 7) ((-1 3 3 2) . 9) ((3 3 2 -6) . 3) ((3 2 -6 0) . 3) ((2 -6 0 -2) . 1) ((-6 0 -2 -1) . 0) ((0 -2 -1 3) . 3) ((-2 -1 3 1) . 4) ((-1 3 1 5) . 9) ((3 1 5 -9) . 0) ((1 5 -9 5) . 5) ((5 -9 5 -1) . 4) ((-9 5 -1 0) . 4) ((5 -1 0 0) . 4) ((-1 0 0 2) . 6) ((0 0 2 2) . 8) ((0 2 2 -3) . 5) ((2 2 -3 2) . 7) ((2 -3 2 1) . 8) ((-3 2 1 -2) . 6) ((2 1 -2 -2) . 4) ((1 -2 -2 2) . 6))