Day 13 Part 2

13/Main.idr

@@ -0,0 +1,196 @@
+import Data.Vect
+import Data.List1
+import Data.SnocList
+import Data.String
+import Data.Fin
+import System.File.ReadWrite
+
+allFins' : (n : Nat) -> List (Fin n)
+allFins' n = toList (allFins'' n)
+  where
+    allFins'' : (n : Nat) -> SnocList (Fin n)
+    allFins'' 0 = Lin
+    allFins'' 1 = Lin :< FZ
+    allFins'' (S k) = map weaken (allFins'' k) :< last
+
+data Data : Type where
+  -- An atom, in this case, a nat, for now
+  MkAtom : (atom : Nat) -> Data
+  -- A list of sub-datas
+  MkList : (n : Nat) -> (contents : Vect n Data) -> Data
+
+Show Data where
+  show (MkAtom atom) = show atom
+  show input@(MkList n contents) =
+    let inner = joinBy "," . toList . map (\x => show (assert_smaller input x)) $ contents in
+    "[" ++ inner ++ "]"
+
+Eq Data where
+  (==) (MkAtom atom) (MkAtom k) = atom == k
+  (==) (MkAtom atom) (MkList n contents) = False
+  (==) (MkList n contents) (MkAtom atom) = False
+  (==) (MkList n contents) (MkList k xs) = helper (toList contents) (toList xs)
+    where helper : List Data -> List Data -> Bool
+          helper [] [] = True
+          helper (x :: xs) [] = False
+          helper [] (x :: xs) = False
+          helper ((MkAtom atom) :: xs) ((MkAtom j) :: ys) =
+            if atom == j
+              then helper xs ys
+              else False
+          helper ((MkAtom atom) :: xs) ((MkList j zs) :: ys) = False
+          helper ((MkList j zs) :: xs) ((MkAtom atom) :: ys) = False
+          helper input1@((MkList j zs) :: xs) ((MkList i ws) :: ys) =
+            if helper (assert_smaller input1 (toList zs)) (toList ws)
+              then helper xs ys
+              else False
+
+atomToList : Nat -> Data
+atomToList i = MkList 1 [MkAtom i]
+
+splitNonNesting : String -> Maybe (List String)
+splitNonNesting str =
+  do result <- splitNonNesting' (== ',') (unpack (trim str)) 0 Lin
+     let packed = map pack result
+     pure packed
+  where splitNonNesting' : (test : (Char -> Bool)) -> (input: List Char) -> (depth : Nat)
+          -> (buffer : SnocList Char) -> Maybe (List (List Char))
+        splitNonNesting' test (['[', ']']) depth buffer = Just [[]]
+        splitNonNesting' test ('[' :: xs) 0 buffer =
+          splitNonNesting' test xs 1 buffer
+        splitNonNesting' test ('[' :: xs) depth@(S k) buffer =
+          splitNonNesting' test xs (S depth) (buffer :< '[')
+        splitNonNesting' test ([']']) 0 [<] = Just []
+        splitNonNesting' test ([']']) 0 buffer = Nothing
+        splitNonNesting' test ([']']) 1 buffer@(sx :< x) =
+          let buffer = toList buffer in Just [buffer]
+        splitNonNesting' test ([']']) (S k) buffer = Nothing
+        splitNonNesting' test [] 0 [<] = Just []
+        splitNonNesting' test [] 0 buffer@(sx :< x) =
+          let buffer = toList buffer in Just [buffer]
+        splitNonNesting' test [] (S k) buffer = Nothing
+        splitNonNesting' test (']' :: xs) 0 buffer = Nothing
+        splitNonNesting' test (']' :: xs) (S k) buffer =
+          splitNonNesting' test xs k (buffer :< ']')
+        splitNonNesting' test (x :: xs) 0 buffer = Nothing
+        splitNonNesting' test (x :: xs) 1 buffer =
+          if test x
+          then do let buffer = toList buffer
+                  rest <- splitNonNesting' test xs 1 Lin
+                  pure $ buffer :: rest
+          else splitNonNesting' test xs 1 (buffer :< x)
+        splitNonNesting' test (x :: xs) (S k) buffer =
+          splitNonNesting' test xs (S k) (buffer :< x)
+
+parseAtom : String -> Maybe Data
+parseAtom = map MkAtom . parsePositive
+
+mutual
+  parseList : String -> Maybe Data
+  parseList str =
+    do components <- splitNonNesting str
+       parsed <- traverse parseData components
+       let n = length parsed
+       list <- toVect n parsed
+       pure (MkList n list)
+
+  parseData : String -> Maybe Data
+  parseData str =
+    -- Attempt to parse as an atom first, then a list
+    case parseAtom str of
+      Just atom => Just atom
+      Nothing =>
+        -- Then attempt to parse as a list
+        parseList str
+
+checkOrder' : (left : Data) -> (right : Data) -> Maybe Bool
+checkOrder' (MkAtom atom) (MkAtom k) = if atom == k then Nothing else Just (atom < k)
+checkOrder' (MkAtom atom) list@(MkList n contents) = checkOrder' (atomToList atom) list
+checkOrder' list@(MkList n contents) (MkAtom atom) = checkOrder' list (atomToList atom)
+checkOrder' (MkList 0 []) (MkList 0 []) = Nothing
+checkOrder' (MkList 0 []) (MkList m ys) = Just True
+checkOrder' (MkList (S n) xs) (MkList 0 []) = Just False
+checkOrder' (MkList (S n) (x :: xs)) (MkList (S m) (y :: ys)) =
+  case checkOrder' x y of
+    Nothing => checkOrder' (MkList n xs) (MkList m ys)
+    Just z => Just z
+-- For some reason idris thinks this isn't covering
+checkOrder' _ _ = Nothing
+
+-- Returns true of the two datas are in the correct order
+checkOrder : (left : Data) -> (right : Data) -> Bool
+checkOrder left right =
+  case checkOrder' left right of
+    Nothing => True
+    Just x => x
+
+parsePairs : String -> Maybe (n : Nat ** Vect n (Data, Data))
+parsePairs str =
+  do let lines = map trim . lines $ str
+     let groups = split (=="") lines
+     pairs <- traverse toPair (toList groups)
+     pairs <- traverse handlePairs pairs
+     let n = length pairs
+     pairs <- toVect n pairs
+     pure (n ** pairs)
+  where toPair : List String -> Maybe (String, String)
+        toPair [a, b] = Just (a, b)
+        toPair strs = Nothing
+        handlePairs : (String, String) -> Maybe (Data, Data)
+        handlePairs (x, y) =
+          do x <- parseData x
+             y <- parseData y
+             pure (x, y)
+
+parseVect : String -> Maybe (m : Nat ** Vect m Data)
+parseVect str =
+  do let lines = filter (not . (=="")). map trim . lines $ str
+     datas <- traverse parseData lines
+     let m = length datas
+     datas <- toVect m datas
+     pure (m ** datas)
+
+part1 : (pairs : (n : Nat ** Vect n (Data, Data))) -> Nat
+part1 (n ** pairs) =
+  let indicies = allFins' n
+      correct_order =
+        map S .
+        map finToNat .
+        filter (\x =>
+                 let (x,y) = index x pairs
+                 in checkOrder x y) $
+        indicies
+  in sum correct_order
+
+sort : {n : Nat} -> Vect n Data -> Vect n Data
+sort [] = []
+sort (x :: xs) = insert x (sort xs)
+  where insert : {m : Nat} -> Data -> Vect m Data -> Vect (S m) Data
+        insert x [] = [x]
+        insert x rest@(y :: xs) =
+          if checkOrder x y
+            then x :: y :: xs
+            else y :: insert x xs
+
+part2 : (datas : (m : Nat ** Vect m Data)) -> Maybe Nat
+part2 (m ** datas) =
+  do let divider_packets =
+           (MkList 1 [MkList 1 [MkAtom 2]]) :: (MkList 1 [MkList 1 [MkAtom 6]]) :: datas
+     let sorted = sort divider_packets
+     divider_1 <- findIndex (== MkList 1 [MkList 1 [MkAtom 2]]) sorted
+     divider_2 <- findIndex (== MkList 1 [MkList 1 [MkAtom 6]]) sorted
+     let (divider_1, divider_2) = (1 + finToNat divider_1, 1 + finToNat divider_2)
+     pure (divider_1 * divider_2)
+
+main : IO ()
+main =
+  do Right file <- readFile "input"
+       | Left err => printLn err
+     Just pairs <- pure (parsePairs file)
+       | Nothing => putStrLn "Failed parsing input"
+     putStrLn $ "Part 1: " ++ show (part1 pairs)
+     Just datas <- pure (parseVect file)
+       | Nothing => putStrLn "Failed parsing input"
+     Just part2Result <- pure (part2 datas)
+       | Nothing => putStrLn "Error in part2"
+     putStrLn $ "Part 2: " ++ show part2Result

13/input

@@ -0,0 +1,449 @@
+[[[[8,7,8,5,4],6,[4,6]]],[6,[[]]],[]]
+[[[[8,0,0,7,1],[1],8]]]
+
+[[[5,8,[4,9,2],7,[8,0]],[9,5,[5,5]],[9,[3,3,8,4,8],[0,6]],5,3],[8,10,[[8,7,6,1,8],5,0,6,[5,1]],[7,[1],6],[6,2,1,[],[1,0,6,5]]],[1,1,[[2]]],[]]
+[[10,4,[],7,[[10,1]]],[[4,2]],[[[5],[],[],[]],[4,5,[2,4,9]]],[[8,[],[1,3,9,7]],4,7]]
+
+[[[],6,[[10,9],8,2],2]]
+[[[[10,10,8,7],[3,7,7]],8],[[[3,2],[7]],4,[0,[3,2]],[[],[1,0],[0,6,3,7,1],1,[4,9]]],[[],[[]]],[0]]
+
+[[[3],8,6,[9,8]],[[8],[[6,5,2,9,0],[2,5,2,10]],9,3],[[2,8,6],7,4],[]]
+[[[4,6,6,4],[[3,4,6],[5],[]],5,[[2],[6,0]]],[7,[1,0,4],7,[],9],[0,[5,6,[],[7,1,9],[3]],1],[9,9]]
+
+[[[[],8]],[9,4,8],[[4,9,10,[8,4,8,2,1],[9,1,4,2,6]],[9,[],[2],[0,10]],10,[3,[8,10,1],[1,10,0],[10,6,4]],[[10,5,9],[2,1,10,7,9]]],[7]]
+[[],[[[7,3,5],[9,6,4,4],[]]]]
+
+[[1,0],[1],[[],4,[],[],[[10],[],0,[10],[]]],[[]],[6,[[3],3,5,[2,8,8,10]],[1],[[10,8,1],4,[5,0],0],3]]
+[[[[9,1,3]]]]
+
+[[[3],8,0,[[2,1],8,[8,10,4,0,0],2],7],[2,[[10,5,0,6]],2,1,[[7,5,10,3,5],7,8,1,[]]]]
+[[[[0,2,2,8],3,7,[9,6,6,2,8],1],[[8,8,9,0],1]]]
+
+[[[[10,10,5,8,0],4,4],[[],[10,0,9,10]],9,3]]
+[[[7,[6,5,8,0],[6,1,0]],[],2]]
+
+[[],[],[[2,[2,0,8,6],4,[6,1,7]],7,[[4,7,10,7,8],[3,7,1,4,0]]]]
+[[[[],6,6,[]]],[[[],[4,7,8,4],10,[8,2,3],10],[[2],[10,0],6,8,[2,5,3,0]],5,[[10,5],[3,4,0],[0],[10,0,2,4],7]]]
+
+[[[[],[3],7,[10,1,8],[5,5,5,5,4]],[8,[9,0,9],8,[7,2],5],4],[[9,[5,4,8],[8,7,8,9],[7],[6,7,4,2,9]],[4],[],[[7,3],0,[4,3,3,0],[4,2,3,0,2],[0,9]]],[7,[[],9]],[[],7,0]]
+[[10,8,[10],6,10],[4,[6,[9,3,10,10,10],6,3,[6,9,2,3,9]],[1,1,5,8,0],[[9,3]]],[[[7,4,9,7,9],8,[7,9]],5],[5,[9,1,3,[5,0,8],7],4,[[],[],[2,7,8,0,0],[3,3,4,6,9]]],[[]]]
+
+[[9,9,5,5],[5,[5],3,1,[10,7]],[],[4,4,[5,6,8],1],[]]
+[[[9],8,8,3,10],[],[[[6,4,4,6],[]],[5,[5,7],[3,4]]],[3,[[],4,10,[7]],[6],6,[4,[10],3,[5,3]]]]
+
+[[[[9,1,7,2,6],[10,5,6,5,9],4],0,3]]
+[[1],[[8,8,3,[5],8],[],[[2],[],[10,4]]],[[[2,0],[],[3,0,3],8,4]],[]]
+
+[[],[],[[7,[10,8,0,5,0],[8,4,8],[7,8,6,9],8],4,[[6,9,3,9,4],4]],[10,[1,7,3,[3,2],1],8,[8,[],[4],[]],[[9,1,3,4,10],[7,8,10,10],7,3]]]
+[[[],[[9,4,2]],[[8]],[9,[],[7,2,2,10]],7]]
+
+[[7,8,[[]],6],[[5,5,[5,9,6],9,[2,9,2,6]],2,8,8,[]]]
+[[[[8,8,4],[2,4,3,10],[7,0,1,7],2],[[6,10],5,10],5,[3,0,2]],[[9,8],[[],[8,2,6,0]],[[10,10,2,0,8],7,2,6,9]]]
+
+[[],[[[9,10,10,5,9],[6,4,10,2],10]],[9]]
+[[[[2],9,4],5,[9]],[],[[[0],[1,5],[0,9,0]],[],3,7,[4,7,[0,7,1,4,5],[3,7,10],[6,3,1,3,8]]]]
+
+[[1,[5],4,[]],[[],[6]],[3,[2],7,[0,7,[10,3],1,5],5],[[7],[3,5,7]],[3,[[4,4]],[9],[[6,4,9,0,7],[10],[2,6,0,8]]]]
+[[],[[[2,5],[],[0,5,6,6]],2,5]]
+
+[[],[[],[[1,1,2,7]],10,[1]],[9],[9,2,[[8,10,2,10],[5,7,5,2,2],0,[]],[]],[5,[[6,7],0,[9,8,4,8],[1,4]],[[6,5],[2,7]]]]
+[[[],[[10,8,4,7],[9]]],[8,[[6],[]],[2,6,2],[5,[2,10,6,6],7,10],7],[4,[9,[6,4,0,6],[7],9,[2]],[2,7,1],3,[0,[7,2,1,2],5]]]
+
+[[[],5],[[],[[10,8,2,10,3],[7,0,4,10,1]],4,9,[[3,2,0],3,4]],[[[10,1,6,8,0],[0,2],7],5,[4,[3,4,3]],3],[],[]]
+[[],[0,[0],1,[9,[],0]],[0,10],[0,[4,[8,3,6],9,6],10,[[3],[1,3,8,3,10]],[2,[1,4,2,8],[4]]]]
+
+[[8,[],[6,[2]],1,9]]
+[[2,[],[],4,[5,5]],[5,7,[7,8],4,1]]
+
+[[[3,[],6,0]]]
+[[[[5,2,1],10],2,[[6,2,5,7],[7,3],6,[5,5,4,1],[8,5,7,10]],10,8],[5,0,[[5,6]],0],[[],[9,[2,7,5,3,3]],[[6,5]],[],8]]
+
+[[0,4,[]],[[1,10],4,[2,[9,3,0,4],[9,6,5,6]]]]
+[[10,[2]],[7],[[[7],[9,0],[8,2],6,1],10,4],[[[6,6,9],8,[5]]],[0,2]]
+
+[[4,[],[[1,8,8,6],0,[8,4,1],4,[3,6,1]]],[],[2,[3,[],[2,9,1,4],[6,8,6,6]],[2],[[4,8,3,8],[7,8,3],[9,6,5],8],[[4,6,3,0,0],10]],[3,6],[[[4,0,5,6]],[[3,9],1],5,1,8]]
+[[1,4,10,1],[[[5,6],6,9,3,7],4]]
+
+[[6,10,[10,2,[],3]],[[[1,6,2,3],2],2,7],[[[8,4],[9,1,0],9,[6,8,5,6]]],[[],[],3,[]],[8,[9,[8,6,0,8],[2,3,0]],[5,8],0,0]]
+[[[],4,[],[9,[4],3],[4]],[[],4]]
+
+[[8],[[[10,8,7],[4,8,5,2,2]],6,2,[9,[0,9,0,4],[],[1,9,1,6,1],5],8],[10,4,[6,[5,7],[1,0,9,7,3]]]]
+[[6,0,3],[7,10],[[[0,3,3,8],7,[0,1,0],3],[[]]],[],[1,5,10,6,[10]]]
+
+[[2,[[1,7,6,1,5],[5,5]],10],[[],5,10,[[5,0,6],[],[7,2]]],[[3,[]],[5,7,3]],[8,[[1,10,0],[3],[4,9,1,7]],7,[[4,10,1],[],5,2,[]]],[3,8,[],9,[]]]
+[[[5,[3,4,5,9],7],4,2],[],[[[8,7,5],[]],3],[],[5]]
+
+[[[[4],[1,5,6],[2,6,7,2,5],[6,6,9,6,1]],8,[[],5,2],[7,[1,5,1,6,10],[8],10]],[[8,[2,8,8,2,9],[],10],[9,10,[9],3,7],0,[7,[5,6,3],2],5],[6,3,[[6,8,6,7,4],0]],[2,[[8,0,9,3],10],[6],[]],[3,[[10,5],9,[7]],0,4]]
+[[9,[4],7,[3,[4,7,4,7,7],[8,6,7,2,1],1]],[6,1],[4]]
+
+[[[],1,9,4],[[[0],0,[10,4,4]],7]]
+[[0,5],[9,[[2,4,5]],0,[[0,8,7,1,3],5]],[[9,8,9,8],[[7,5],6],2,9],[[5,[3,10,9,3,5],3,[]]]]
+
+[[5,4,[1,1,5,[3,1,8,2],[7]]],[],[10,1,1,2,2],[2,[5],10]]
+[[],[[8,6,[1,8]],6,3,[8]],[1,1],[8,6]]
+
+[[[0,4,6,4],7,[[10,3,0,6],[9,5,5]],[9,6,[1],[1,8]]]]
+[[],[[7,[],0],3,5,0],[]]
+
+[[],[[[8],[2],4]]]
+[[7],[[3,1,6,0,[0,9,5]]],[6]]
+
+[[4,[10,[10],0,[2,1,8]],1],[[],6,[1,[1,0,7,1]]]]
+[[[[0,4,7],[10,5,2,0],3,10],[0,[8],[2]],[[6,0,7,8],0,[4,6,8,0,4]]],[[[4,2,3,0,6],0,5,3,6]],[[6,[10],[3,10],[8]],[[9,1],[0,0,9,6,5],3],[[3,4,0,6,4],6,[],[0,7,1,5,5],4]],[[[6,1,6]],4,[5]]]
+
+[[10,[0,3,[]]]]
+[[],[6,[3]],[[5,5,9,[6,9],4]],[[10,8,2,7,1],4,[8,10,[2,2,10,1]],7],[1,[8],2,[0,3,[5,3,8,0]]]]
+
+[[]]
+[[[[4],10]],[[10,9,[0,9,4],0,[6,7,2,8,9]],10,9]]
+
+[[7,2,7],[3,2],[[2,[7,1,8],[8,3]]],[9,5],[]]
+[[3,[],1,5,[[1,6,4,8,9],[3],[9,1,4],[]]],[5]]
+
+[[[0]],[5],[],[[[8,4],7,10,3],9,[[5,6,0,1],[10],4,8,[10,9,2,7]]]]
+[[[[0,7,8],[],6],[3,7,4]],[[],[[1,3,4,7,3],[4,2,7,9,6],4],[[0],8,[10,9],[0,9,9,4]],8,[7,[],[],0,9]],[6,10]]
+
+[[1,[]],[8,[[3,0,5],[4,1,0,1],10,[9,8,1,7,6]],1,[]],[],[[0,[2,3,6],[],3,[5]],10,[[0,3,10]],[[10,10,2,1],10]],[[4,7]]]
+[[3,[[3,9,5,1]],[2,0,[2,7,6,7,1],5,[]],4]]
+
+[[],[7,10,0,[[8]],[[0,7,7],3,[0,2],2,5]],[[[]]],[]]
+[[0,[[10,3,5,4,7],[8,3,4],[],3]],[5,3,2,10],[7,[[],5,[1,3,2,4]]],[[2,7],2,[0,[0,1,8],[2,1],4],[[0,10]],5]]
+
+[[0,7,[9,10,6],[[],[2,7],0,[1,1,9,7]],[[3,9,3],10,8,7,[1,8]]]]
+[[],[8,[[7]],2,[8,[7,2,10],[9,0]]],[6,9],[3]]
+
+[[[[0,4,7]],[5],[8,[0,3,9,9,3],7,[2,4,8,2]],0,[6,1,8,4]],[[],5,8,[[5],7,[7,3]]],[[1,[3,3,0,7,8],3,10,[]],[[5,8],3,[10,0,2,3,8],[10,9]],8,[4,[10,2,3,4,5],7,9,5],7],[5,9,[0,[8,7],2]]]
+[[2,1,[],1],[[]],[5,[[4,8,0,1,1],[7],10,[5,1,8,10,2],0]]]
+
+[[2],[6,[10,[3,2,7]],3],[2,5,[3,10],9,[2,[9,5],1,1,[7,2,7,2,8]]],[[],7,[]]]
+[[4],[[[0,7]],[1,4],3,4,8]]
+
+[[8,7,7,[3,2,6],[2,[],[9],1]]]
+[[1,[0,6,8],9],[[[4,6,5],0,0,8],10,7,8,[[],4]],[[[7,1],[9,4],[5,4,7,2],3],[[2,5,5,1]]],[],[4]]
+
+[[9,7,[[9,1,2],3,1],3,10],[6,10],[8,[],[2,[10],0]],[9,[[0]],[[4,0,5,6],5,5,3],[]]]
+[[2,[3,[0],[6,2,10,8,7]]],[7,8,6,8,9],[5,[[],1,[10,2,6],[]],[]]]
+
+[[[2,[9,4,3],[7,2,9,10,5],[2,8,10]]],[],[[[7,3,4,0,8],8,[7,4,3,8]],[[],[4]],[5,[9]],[9,4,[],7,[5,3]]],[5,[[7,3,0]],[],4,0],[1,[3,[3],6,[6],[10]]]]
+[[8,2,5,[9,[0,9,9,2],[],5,[0,4,6]]],[[[2,6,10,2],[1,4,7,7],8,7,[10]],[],6],[],[[[8,5],[4,4,3,7],[8,1,1],[4],7],5,3,4]]
+
+[[8]]
+[[[0],7]]
+
+[[2,[[6,0,9,0],4,1,[2,9],6],2],[[2],7,6,[[8,3,0,2],[4,3,4,4,9],[5,0,1],[9,10],7]],[[],1,6]]
+[[],[[[4]],[],[],[2,[7,10,0,1],4],[1,[7,9],[3,2,4,5,8],[7,9,1,3,8],0]],[],[3,2,6],[[[8,9]],[9,[10,6,1,0],[6,3,0],[10,7,8]],[3,0,10,[1,8,3,6,0]]]]
+
+[[[],[5,[5,0,5,0,7],0,[]]],[[],[[7],4,[4,6]],[1,[6,6,3,0]],0,9]]
+[[[[2,10,2,2,7]],6,[],1,7],[[4,10,[0,4,0,2],6],5,1]]
+
+[[4],[[[0,10]],7,[[8],[0,0]]],[7,1,10],[8,6,7,6,[]],[6,[[6,9,8,9,9],10,7,0,[7]]]]
+[[4,5,[2,10,[2]],7,0],[7,[],[[6],[]],[3,[],0,[5,3,9,1]],[2,[4,7],[2]]],[3,1]]
+
+[[],[],[7,[[8,10,6]],[6],1,1],[8,[[2,7],4]],[]]
+[[[[]]],[6]]
+
+[[2,[[2,10,0]],[5,3,[3],2],7,[[6]]],[[9,[3,8,0,2,2],4],6,9,0,[9,0,[2,3,5,9],[8],0]],[[6]],[[[],2,[9,3],[2,5,0],9],[]]]
+[[5],[10,6,6,6],[],[3,[2,[4,9],6,8,2]]]
+
+[[],[],[4,[[9,10,10,8,0],3,[4,7,9,3,3],10],[[9,3,3],[4],[0],3,[0,7,1]],[[9,5,7,6,8],[6,1,5,10],4]]]
+[[[[9,6,4,2],4],10]]
+
+[[[[6,8,4],[10]],10,[8,[0],9,7],[0,9,[8]]],[[],[[]],1,[],[2]],[2,9,8,9,5]]
+[[4],[8,[4]]]
+
+[[[[],[6,9,0,0,7],5,[0,5],[]],[],[7,[6,10],7,[5,10,6,5,0]],[3]],[7,[],1,10,[1,8,[8],10]],[[[3],[7,6,4],[3]],[8]]]
+[[[7],6,[[5,5,1,8]]]]
+
+[[3,[[10,9],9,1,[4]],[[5],[8,9,1,6,3]],1],[[[6,3,10,10],0,1],[[8,10],[6,9,0,3,9],[5,10,8],8,0]],[6,3,[[],[6,8],4,4,[10,9,9,0]],[[8,0,0],[6,2],[9],[2,4,0,7]],[8,[10,5,8,4,10],0,1,2]],[[],7,5,[[4,3,4],[8,1]],[[0],5]],[6]]
+[[[[9]],[],3,[5,8,8,[]]]]
+
+[[0,0,[7,8,[9]]],[[]],[4,[[6,2,7],[],[6,7,3]],9,[6,[],2],[[6,2],[10,6,0,3],9]],[1,[5,[7,7,7,2,9],[2,1],[8,5,2,4]]],[]]
+[[7,0]]
+
+[[[1,5]]]
+[[[],[[6,0,2,5],[6,10,8,7,4],[],[9,2,3,7]],2,10],[7,[4],4],[[],[[6,8,2,8]],3],[[5,[],5,[7,3,6,5],[6,8]],[4],[5,2,[10],[1,1,6,1,6],[10,1,3,7]]],[]]
+
+[[3,7,4,10],[1],[7,[[0,10,3]],[[5,1,0],[],1],[10,[1,7]],2],[7,3,9],[0,[],[3,[10,2,2],4]]]
+[[[4,[7,6,4]],0,[[3,9],7,[7,2,4,6],[10,3,10],[6]],5,[9,9,[],[9,10,7,8],1]],[[[10,8],[8,2,5,0,9],[6,2,2,1,0]],[10,[2,0,2],10,[2,6,3,5,6],[6,6,4,9,8]]],[[9,1],[10,[1,5,10,8,1],5]]]
+
+[]
+[[[[9,9,0,8],7,7,4,1]],[2,0,[[4,7],9,10,[10,0,0,5]],[[7,9],[0,10],0],[[5],[2,0,3,2]]],[],[2,10,5,[[7,3,10],[9,8],[4],[],4]]]
+
+[[6],[[9,[],9,2,[4]],[[7,1,8],3,[1,10,7],7,[10,5,3,7,2]],[],8]]
+[[10,[[10,2,0,8],[7,9],[10,5,5]],[2,[4,5,0,9,0],[7],[4,2,4],8]],[[5,2,[9],[3],8],[2,3,6,[4,7,6,6],[4,5,1]],4,[[5,0,6,3],7,3],[[3,4]]],[7,[2,[9,4,5,0,0],6],[[10,6],[2,7,6,10,5],8,1]]]
+
+[[[6,6,[],[]]],[],[],[4]]
+[[[[],[9,9,9],5],7,8],[[10,[9,2],8,2],[[1,8,8]]]]
+
+[[[9,[9,2],[],0,[6]]],[[9,[8],[7,10],[1,1,1,7]],8],[1,[[3,6,9,5,5],[],[0,4,3]],3,[],[[8,3,9,2]]],[[3,6,0],0,3,3]]
+[[[[],4,[6,0,10,0],[2],1],0,1],[[4,[6,9,10,9,0],[9,10,1,7,6],8,[7]],9,7,5,[5]]]
+
+[[3],[],[4,5,0,[],[[0,2],[7]]],[4,[[8],[7,9],10],3,2,8],[[[3,0,2,4,5],7],8,[6,[5,4,7,4],[10,2,10,10],7,[5,3]],[8,[5,7,0,5],8,[2]],7]]
+[[[9,[10,6,4],[1,8]]],[[],[],6,[],9],[9,8,7,[[],[7,9],[3,1,8],4],9]]
+
+[[3],[[[9,0]],[6,[]],0],[9,[5,3,1]],[9,[],10]]
+[[],[[6,[4,7]],0,4],[9,[],[6,9,[2,7,5],[],[1,6]]],[7]]
+
+[[[[0,4],6],7,1,8],[],[5,[[9,5]],9],[]]
+[[[[9,8],9,[]]],[[8,4,2],[6,10,[],[0,3,5]]],[],[8,4,[[2,0,3],[],10,[4,2,3]],9],[[8,[10],[8,1,3]]]]
+
+[[5],[[[0,1],[5,5,8,8,5]]],[2],[[4],[[7,10,4],1,[],[6,2],0]]]
+[[8],[9,[1,6,8,[1,0,0,4,10]],[[0,8,9],[],[10,10,3],10,6],[10,1],[[8],3,0,[2,2],3]],[10,10,[[4,6,2,9,1],[8,1,9],2,[2,8,10]],3],[10],[5,[],2]]
+
+[[7,9,6,5,7],[1,[1,5],[9,9,[6]],[5,[]],[[1,5,0],[],[4,10,4,9,7],[6,0,10]]],[3],[[1,6,1,[7,8,0,10],[4,9,8,9]],3],[[[8],2]]]
+[[9,7,2,3,[[5,3,8],0,[],[0,8,1,4]]]]
+
+[[4,[10,0,4,7],[],[[1,6,8,8]],4]]
+[[[],3],[1,7,5,5,[3,[8,0,7,8]]],[8]]
+
+[[[],10,2,[[]],[[0,7]]]]
+[[1,[6,[6,5,8,0],[9,8,3,9,7]],[[0],[5,3,2,7,10],[9,9,10],[8]],7],[[7,[1],5,[3,6,0,3]],0,[],0,[3,[3,10,6],[8,9],8]]]
+
+[[8,[[2,4,3]],[7,[7,1,10],1,7,7],[[4,1],[4,9],[8],10,0]],[3,6,[[8,10,10,4],4],[3],5]]
+[[4,[4,[]],[[2,0,5,4,8]],[[6,1,4],[8],3,[4,8,0,1],[]],[[5,7,6],[5,2,6,0],3,[4],10]],[[5,0,[2,7,5,3,5],[9],1],[[4,0,10],[4,3,9],[1,10,5,5],4,7]]]
+
+[[8],[[7,1,6],[[10,0],4],[],0,6],[1,[6,[7,1,0]],4],[9,0,[10,4,[],[10,3,5,7,9]]],[9,5,2,6]]
+[[5],[1],[[[4,1]],0,0,10],[6,[],7]]
+
+[[[0,[5,6,10],[5,1],[4,3]],2,[7,[9,7,9,6],[],7,4],[]],[],[[],0],[[[8,7,3,8,6],10,1,[],[10,2,8]]]]
+[[[[3,10],[],[4,1],[5,3,9,5,2]],6],[5,7,[6,7]],[1,[],10]]
+
+[[2],[],[9,8,[]]]
+[[[5,2],2,1],[7,[10,8,9]]]
+
+[[[2,5,[10,8,3,8,1]],7,[[3,3,9,2,9],[4,8,2],3],2],[[5,1,3,3]],[[],7],[[3],5,6,2],[[[],[6,2,7]],10,[[7],[5,10,4,0],[7,7,7,6,5]],5]]
+[[[2],[[9,6],2,[4,2,0,6,5],9]],[0,2,[[8,0,2,6,7],9],[6,[3,10,9],[2,4,0]]]]
+
+[[4,4,[10,[5,5,3]],[2,2,[8,2,1,9,0],9,[]]]]
+[[[8,[9,3,9],[7]],0,[6,[10,6],5,1],[0,[4,6,4,7],10,[4,6]],7],[0,0,5],[],[[9],[[4,5,1],[9,2,4],7]],[[7,[2,10],[10,7,5],[10,0,9],[10,7,4]],10,[10],[8,[3],[3,4],[0,2,10]],0]]
+
+[[[[1,6,1,8]],0,2,[0],1],[[],[8,8,10],3],[9],[[0,[5],5]],[9,[3,[4],[2,5,9,2],6]]]
+[[10,8,9,2],[3,[],[],0,[8,6]],[[[7,3,10]],6,[7,3]]]
+
+[[[[6,3,4],3,[],10,[5,2,10,5]],7,7,6],[[[10,5,9,5,8],[],[0]],4],[[1,6,10,[8]],6],[5]]
+[[1,8,[[],6,[3,0,1,2]]],[[[7,9,1],4,1,9],8,[[2],7,[2],2],9,2],[1,3],[],[[[1,3,10,5,10],[],8,[10,9]]]]
+
+[[4,9,[6,3,6],[[9,9,9,1],[1,8,1],10,[6,9,5,4,5]]],[6,8],[7,9,5,[]]]
+[[[],[[1],5,[4,2,9,10],9,6],0,[[],3,9,[3,10],[4]],3],[0,9,[[4,9,4,2],8]],[6,0,7],[2,[2,[6,0,6,2]],4,[8,2]],[[[10,6,4,8],[2,9],[1,2,10]],[1,2,[],[2,4,9],[7]],[6,[10,1],7,6,[1,3]],4]]
+
+[[],[],[10,9,4],[[10,[0,6,0,9],[5,0,7],10],5,[6],[[8,8,3,6],[3,6,0,9],[9],[7,4,8]],[[5,9,5,4,6],9,[6,0,10,0],[0]]],[[[4,10,5,8],[0,9],[0],[6]],[[8,5,3,1,8],6],7,2]]
+[[7],[[3,[7],[0,8,4,7],6],0,[],10,5]]
+
+[[[10,1],[],[9,9],[0,[],7,1],2],[],[[],8,[[6],5,[],[4,1,1,2]]],[8,6,[[2,3,3,4,7],[6,7,5],[3,8,9,10,3],1],1],[[[1],[6,1,0,2]],[8],7,6]]
+[[[[5,5,2,2,2],0]],[1,[[2,2,6,1],[6,8,5],[5,8,0],[0,0,5,7,6],10]]]
+
+[[9],[3],[]]
+[[5,4],[5,4,2,0]]
+
+[[[],3],[10,[0,9,[10,10,0,8,10],[3,9,2],7],7],[],[9,[[1,9,6],[1,0,5],[],[9,2,2,3,1]]]]
+[[8,[[2],[],[2,3,4,1],0,[4,7,4,2]],[[6,7,5,6]],4,6],[[[],1,7]],[[]]]
+
+[[],[2,[8,[4,9],[],[8,0,8,7,8]],5,[[10,5,1]],3],[0,3,[1],5]]
+[[],[[8,[4,4,4,10],6,[5,4,6,3],4],[[],[5,9,6,10,8]],[[6],6],9],[[[0],[5,4],3,5,[0]]],[[[10],7,[10,8,3,0,5],2,[4]],7,[[8,7,2,6],4,3,[8,0,5,2,6],[6,3]]],[[[],4,3,7,[6]]]]
+
+[[0,2],[9],[[[6,4],[7]],0,1,7,8],[],[7,[],[6,1,[],9,[]],6,[]]]
+[[[[7,0,1],[1,1,3,9,9]],[[7,3],0,[]],8,[4,[3,0,2,7,6],4,4]],[6,9,[0,7,[5]],7,[[8],[0,1,9,2,8],1]]]
+
+[[10,[[4,7],[0],[4],[8,2,7,2]],4,1],[10,9,9,9,[]],[[2,6,[8],[7,3,8,9]],[[],8,[1],[7,1,8],[0,9,10,8,8]],[4,5,[5,2,4],4],3,[6,1,[]]],[[0,[7,6,0,9,2]],1,[]]]
+[[],[],[4,2],[]]
+
+[[[0,[8,4,10],[]],1,10,0,[[7,2]]],[8],[4,[],[[7]]],[10,10,[[0,10,5,0]],[7,7,10],[]],[7,[4,[7,6,0,9,3],3,5],10]]
+[[[4,[5,2,0],[0,8,6,1,0],2,3]],[0,[10,[7,10]],[5,5],[[],[7,5],8,[2,9,4,5]],[[3],[10,9,7],9,[10,4,4],[3,10]]]]
+
+[[[]]]
+[[[7,3,7,[4,3,4,9]],[[2],[],4,[4]],[],0]]
+
+[[],[10,[],7],[[0,8,[],4],[]],[],[8,0,[1,5,0]]]
+[[4]]
+
+[[[8],0],[[[2,5,4],[],2,1,[3]],[7,9,2,7],6],[6,4,[6,[9,2,3,3,2],[1,5,6,10],9],1],[2,9],[0]]
+[[[0,[0,9]],3],[[6,[7]]],[[[10,2],[6,3],4,0],[4],3,[6,[7,0]],[]],[[0,3],[],[]]]
+
+[[3,9,5],[[[10,2,7],[8,0],[],7,[3,2,4]],1,9,[]],[3,[[4,0,7,0,6],1,2],3,[[],[4,6,2,9],5],[]],[[[2,7,4,10]]],[4,[2,[],[2,0,7,9],3,3]]]
+[[6,[0,[6],9]],[4,[],[]]]
+
+[[7],[2]]
+[[],[1,[9],10,[9,[10,10],9,10]],[[9,1],0,[10],5]]
+
+[[[[4,8,4],[10,6],[5],4,9],[[10],[8],[0,2],9],[[7,7],[]]],[[]],[[10],[6,0]],[3,7,[],[[10,9]],[]],[6,[4,5,2],[],10,8]]
+[[[[4,3,4,10]],10,[10,7,5],[[10,0,8],5,6,4],[]],[[0,[7,3,1]],[5,6,0,5,10]],[7],[[[],10,[],[10,5,9]],[7,[5,2],0,2],[]]]
+
+[2,10,2,8,8]
+[2,10,2,8]
+
+[[[7,2,[8],2,[7,5]],10,2,[],6],[6,[6,5,[1,7,5,2],[]]],[],[1,[[9,0,9],[10,6],4,[10,6,9,9,8],0]]]
+[[8,0,6,8,[]]]
+
+[[],[[7,[2,6]],0,8,[[1,0],[4],10,[5,10,3,0]]],[6,[[9,2,7],[3,0,5,9],[0],[]]]]
+[[6,2,[[4],3,9,0],[[4,3],[10,7,9,9]],[6]],[],[5,7,5]]
+
+[[],[6,5,[3]],[]]
+[[],[[7,[2],5,4,1],3,[[]]]]
+
+[[[],[[0,6],[9,9,2],[3,2,9,7,8],[10,10,4,5,3]],2,4],[[[],[0,1],[2,10,8,9]],[0,[4,6],5],2,[6,[2,0,3,4]],[7]],[3,0,1,7]]
+[[[[8,0,5,4,5],[7,0,4],8,[],1],5,9]]
+
+[[0,[]],[5],[2,1,2,8],[4,3,[[],[6,8,0],[6,2,9,6],4],3,6],[[[10,5,10,8],[2,2,9,10],4,8,7],2,4]]
+[[0,[[7]]],[],[[1,5,5,[3,2]],[3,[],[4,6],3,[1]]],[4],[[5,7,9,[6,6,1,6,1],[8,8,6]],8,[[],[]],10,10]]
+
+[[[9,[2]],[1,5,7,[3]],1,10,0],[],[[[0],[10,1,0,3,0],10,[2,8,5],4],0,[[2,5,6,7],9,1,[]],[[9,6,3,10,5],[4,8,0,5],[7]]],[9,0,[[9,3,10],[4,0,8],[7,8],5]],[[[4,3,1,2],[6,1,10,1,0],6,[0],[5,5,3,2,3]],9,[8],[[1,5,5,1],[2,5],[1,1,0,2],8]]]
+[[[],2],[0,6,1,0]]
+
+[[],[8,3],[],[3]]
+[[9,[]],[8,2,[1,3,[8,9],[4,9,5,5,6],0]],[]]
+
+[[7,[]],[[0,3,[6,9],[2,3,10,1,5],2]],[6,[[6,9,5,0],[7,6,5,9],[4],8,2],[[5,5],[],5,[2,3,0,4],9],[[0,9,0],9,7],9],[6,[8,4,5],7,2,1]]
+[[],[],[],[[9,[0],[0,5,3],7,8],[[9,9,3,10,10],[],[2,2,1],7]],[[[7,9,5],6,[4,7],4,4],10,[[10,1,0,9,2],[]]]]
+
+[[[[2,10,0,7,9],9,1,[8,2],8],[],[]],[1,1,3,1,[[2,7,9],[6,0,6,7]]]]
+[[],[]]
+
+[[],[6,[5,5,[5],4,6],[5],2,9],[],[6,[[3,2,8,6,3],[0,7,10,10,8],[],[2]],[[5,9],5,1,[1,9,6,3]],[[5,2],[5,7,4],[8],5,[4,6,1,4]]],[5,2]]
+[[7],[9,[7,[0,1,2],[5,6,3,7]],7],[8,3,0,3],[2]]
+
+[[[5,7,7,[2,8,6,6],[5,9]],7],[5,[0,1,[9,0,8,3]],[4],10,[4,5,[8,6,4,3,3],[2,6,9],[0,5,5,1]]],[]]
+[[7,[6]]]
+
+[[[[4,2,8,7,8],7,[]],[[3,5],6,[2,9]],[[1,9,2],[],[4,1],7,[9,0,2,1,7]],4],[]]
+[[10],[8,4,9,[[],0,10],[6,8,6]],[1,4,9,[1,2,9,[6,2,5]],8],[2,[]],[6,[8,[1,2,3,8,6],[7,4]],9,[[1]],0]]
+
+[[0],[],[8,[[10,8,9,9],3,[],5]],[]]
+[[],[[[7,5],[6],7]],[7,4],[]]
+
+[[8,1,8]]
+[[[[10,6,6,1],[9],8,[3,4,2,4]],[8,[]],[[9,10,4],0,6,1],2],[8,7],[[1,5,[4],1,1]]]
+
+[[10],[[[3,4,2,4],[4,3,6],1],[10],5,2],[[8,0,9,[8,1,2,3,10],[7]],9,[],4,[10,8,2,3,[]]],[[[6]],[10,[9,6,1,2,1],[9,4,3,10]],3,8]]
+[[[[]],6,[9,9],[3,7],[[],[7,0,3,10,6]]],[],[[10,[],3,[]],3,7,[[6,6,3],3,2]]]
+
+[[[[],[10,7,0],[9,3,9],[1,4,9,10]],9,10,7],[[[8,3,9,3],10],[[10],8,[3,1,0],10,[3]],10],[[2,9,[0],2,8]],[[[4,9],5,1],[0],2,7,4]]
+[[5,3,3,[]],[],[],[1,3,[5,9,[2,8,10,10,5]]],[[8,10,1,[0],2],9,0]]
+
+[[[[5,2,2,5],3]],[10,10,[[1,5],5,6,4],[5,6],[[6],3,[10,7,2,3],9]],[[2,[2]],10,[8,[],7]],[]]
+[[],[10,1,4,[4,[4,2,9,9,5],0,8,9],[[],7,[3,0,9],[],[6,5,10]]],[0,[[3,3,3,7],[1,7,7,10]],[[]],[[3,0,6],10,3,[]]],[8,8,3]]
+
+[[10],[[[2,10,3,5,9],9,[7,5],0,[]],[1,0,[],[1,0,7,8],[4,6]],1,10],[[[4,8,7],1,[1],[]],9]]
+[[[6,2,6,[9,8,7,6],[]],7,[[8,7,8],8,[4],2,[3,9,1,7]]],[10,[[4,3,6,1,2]]],[6],[[[0,10,4,1,10],7],6,[5,[9,8],[4,6,3,10,2],[7,7,4,1,5],9]]]
+
+[[[],[9,[1,2],[8,10,3,6,6]],[2,7]],[3,[7,3],8,9]]
+[[5,9,8],[2,7,[6,5,[0,9,8,2,0],1,8],10],[],[7,2]]
+
+[[2,0],[[[2],5],9,[[7,5,5],10,0,[1,2]]]]
+[[[2,5,10,9,[7,7,9,7,10]],0,4,[],7],[[3,[7,9,7,5],[0]]],[4,1,[[],8,[0,5],6]],[0,10]]
+
+[[6],[[4,[10,9,9,7,10],[0,10],10],[[8,1,0],2,[4,1]],[9,7,6,0,7],[[3],2,4],[[4,3,2,10,3],0,3]],[[1,[0]],[0,4,0,[]],4,6]]
+[[5],[6,3,6,8],[10,1,2],[[7,[0,1,3],[8],8],[[],[1,3,6,5],0]]]
+
+[[0],[8,6]]
+[[[10,[2,9,6],[9,6,10]],[],[[10],8,9,10,8],5,[]],[[[8,0],4,[],[6,7,7,2]],[[5,6,0,1,9],[8,6,2],[9,1,4,6],2],[[0,8,2,10]],[[8,0,0,7,10],[3],7],[[5,7,1,9],2,[7,0]]],[[[],9,4,7,[7,2,1,0]],9],[],[[1,[7,8,1],[7,7],3,0],[4,[3,4,8,4],[8],[0,4,4,5],[4,6,1,8,4]],[7,4,3,1]]]
+
+[[[5,[5]],[10,7,7]]]
+[[[[6,8,6]],[[]],7]]
+
+[[10,[[],5],8,6],[[8,[],10],3,[[2,0]]],[[5,[3,6],[]],5,4]]
+[[[0],1,8,[],4],[7,[0],10,[[2,7,10,0],6,[],[8,4,4,4],[1,6]]]]
+
+[[5,4],[9,[]]]
+[[5,3],[],[],[2,6,[7,[]],[0,[0,5],5,4],[]]]
+
+[[[[3,1]]]]
+[[7,10],[[[7,7,0,2],[7,10]],6],[]]
+
+[[],[[[0,4,0,5,5],[1],[],[10,5],[5,1,1,7,8]],1,3,5,3]]
+[[5,7,10,[[6,0,2,5,1],[2,0],5,[2,4],0],1],[10,[[9,8,3,3,0]],6,7],[],[[7,2,0],2,10,[1,[5,4],7],2]]
+
+[[[[8,6,3,7,5],[7,10,6],10,4,[]]]]
+[[],[[[10,4,6,5,10],10,[4,0,9],[],[]],10,8,[[]],6]]
+
+[[[[]],10,[1,5,[8,9,3,2],5],[[5,9,0,3,1]]],[[8,[9,6,9,10]]]]
+[[[[7,2,0],0,[1],[3]],[0,3,3,4,5]],[1,9,[2,8,[2]],[[7,4,3],[]],8]]
+
+[[10,9,10],[9,[],6,[10,10]]]
+[[[[0,0],[1],3],0,1,[0,2]],[1,4,1],[8],[3]]
+
+[[[[2,5,9,2],5,[]],5,7,2,0],[8,5,[5,[2,8,1,6],9,1]]]
+[[8,10,9,[10,[1,2,9,10,5],[5,8,9,9,2],9,[2,9,3]],[[9,7,0,4,2],8]]]
+
+[[],[10,[],[3,[],7]],[0,8,[]],[[]],[9]]
+[[[8,[6,7,2,9],6,3,8],[[6],[6,5,1,7,1]]],[],[10,0],[],[[1,[2,3,10,10,5],6,10,[4,1]],[],10,[],[[8,10],[4,5,5,7,6],[],[3,4,1,10,4],0]]]
+
+[[[[2],8,0],8,1],[],[0,10,7,[[0],2,10],9],[[],7,5]]
+[[1],[],[10,2,[],[2,[6]],[1,[1,4],[4]]],[1,2,8,5,7]]
+
+[[2],[10,[7,8,5,0,10],0,0,6],[[[],0,[1,6,4,3],[]],0,6,[5,10,5,9]]]
+[[[7]]]
+
+[[10,[1],6,[],[2,2,10,[6,9,8,1]]],[],[]]
+[[10,[[5,6,7]],[1,[5,1,8],[2]]],[8,0,[],[[1,1],[10,4,2,0]]],[],[6,1,[0,1],8,6],[]]
+
+[[2],[4,[[2],[2,0,7,7,2],5,5,4],8],[10,[[],[2,2],[8,2,2,2,0]],0]]
+[[1,[[6,4,4,10,7],[],3,[10],[5]],2,9],[],[[4,[6,3,4,4,0]]],[10,4,7]]
+
+[[5],[4,6,[5,0,2],0],[1,9,[[5,0,6,8,1]],10],[[[8,4,4,7]],[[6,0,8,3],[3,1,4],7],[3]]]
+[[10,[],3,9],[0,[6,7,[1,7],[2],[]],3],[[[10,9],4,[9,0],[9,7,1,1],7],[1,[0,7,10,2,5],[2,6,7],[2,4,3]],6,[4,6],[]],[]]
+
+[[[[1],[5,10],4],5,9,[4],[1,[1,9],7]]]
+[[3]]
+
+[[],[[4],3,6,[],[[8,4,3,10],1,6,[10,0]]],[],[[[6]],4,9,10],[[[8,8,9,5],0,[1,9]],3,[],[[1],[9,1,3,3,0]],[4,4,[3,5,8,5],[7,6,6]]]]
+[[0,0,[8,[7,2,6,6,3],[3,2,0,4],8,[10,7,5]],5,[1,10,0,[8,4,3],[3]]],[9,9],[]]
+
+[[8],[[2,[],[2,5,2,1],[5],[3,0,10,3,9]],[4,7,[],3],3,2]]
+[[[2,2,[6,3],8,[5]]],[[9,[2,6,4]],7,10,[2],2],[5,9,[8]]]
+
+[8,3,4,3]
+[8,3,4,3,3]
+
+[[[[6,7],[3,2,7],[5],2],10],[[9,[4],0,[6,8]],0,2,[[5,7,1,2,0],[10],0,[],[1,3,9]],[[8,4,1,1,1],[1,5,7,7],0,9]]]
+[[10],[3,6,[[]]],[9,[[3,7,8,3]],[9,[6,10,2,7],[2,6,9]],6,[8,[]]]]
+
+[[4,6,[[0]],[[10,1,10,8],7,3]],[[[10,0,5,5,4],10],[],[3,[],0]]]
+[[3],[],[],[5,2,0,10],[4]]
+
+[[[[9],[7,10,9],[10,3]],[[],[7,5],4,[2,9,8],6],[],7,10]]
+[[[7,0,4]],[],[[[3,8],5,5,[1,10,6,10]]],[9,[10,[3,2,5,9]],8,[[],[6,6],10,10,[4,3]]]]
+
+[[5],[],[[6],4,[]],[],[[[2],[8,2,4,3],1],[7,1]]]
+[[0,[[0]],6],[[[],1,7,[2,3,1],[]]],[4,8,3]]
+
+[[6,[[5,2,3,8],0,6,[7,4,0]]]]
+[[[[2,0],[4,6,4,6],[10,0]],[10,7],[3],[[7,8],[3,3],6,[9,2]],7],[1,[],[[6,5]]],[2],[4,8,[9,[1,7],4,1]]]
+
+[[5,8,0],[[[5,8,8]],[[2,10,4,0,0],[1,3,6,6]]],[[],[[7,2,10],10,8,5],10,[1,[3,10],[6,3,0],9]],[[0,[],1],[3]],[]]
+[[4,[0,[5,2,7,0]]],[4,4],[6,[]],[6]]
+
+[[3,[[0,5],5,[7,4,7,7]],[],[3]],[8,[],2,[[8],[9,9],[6,10]],[1,[10,8,7,0],10]],[8,2,[9,[9,3,4,4,0],7],[[7,6,3]]]]
+[[[5],1,[8,3,4],2,5],[]]
+
+[[[[0,5,4,3],7,[3,9,10,0,5],[]],[1,[1],9,[2,0],8],[[9,10]],0],[6,[[0,10,4,1]],6,10],[10,[3,5,[2,9,6,8,4],[0,0],3],6],[]]
+[[],[4,7,9,[0]],[]]
+
+[[6,1,[[],5,[7,7],1],[2,[5,1,3,7],[10,7],[]],9],[],[[[]]],[[[],[7,9,4,2,1]],[10,[2],[1,9]],[2,[8,3,0,2],5,1]],[[9,[1,9,3,9,1]],[],8]]
+[[10,[10,[9],10,6,9],1,3,[1,[6]]]]
+
+[[],[[[],[9,5],[3]]],[5,[[7],8],0],[10,2,3,[[0,3,3],[6,0],[0,4,7,1,9],[]],6],[[[2],[3,5,10]],1,[[],[6,0],2]]]
+[[7,[[3,10],7,[5,0],3],3,8],[4,[[3,0,6],4,5,[6,0,6],9],4,[[6,2],[8,7,6,3],10,[1,6,6,9,7],4],[[2]]],[[[],[],1],[[4,10,9]],7,[]],[[5,[4,5,4,6],[3,8],[9,3,4],9],[[8,5,9,4,0],[7,1]],3,[5,[]]]]
+
+[[[1,[]],[[8,5,2,8],2]],[[],3,2,[]],[0,[[7,8,8],7]],[6,[],[[3,6]],[0,8,[5,9,5,8],[2],6],[]],[[],[7,[6,8],6]]]
+[[[10,[],4],9,[[2,8,4,7,1],[8,5,10]],[9,8,9,[],[]]],[4]]
+
+[[3],[[[9,7],[1],[9,2,10,0,1],10],7,[[9,8],[6,2,3,10],[7]],[]],[[]],[3,[0,[3,8,5],0],[9,2,8,0,[4,4,5]],9,4],[6,[],1,9,8]]
+[[[3,[6,10,9,1,4]]],[10,[10]]]
+
+[[10,3]]
+[[[[2],6,[],1],1],[],[6,[6]],[0]]
+
+[[8,[8],3,0]]
+[[[3,1,1],9,2,4,[8,[0,8,2,10],9,7,5]],[9],[[5,[6,9,6,2,10],[10,10,8],[1,1,5]],5,[6],4],[6,2],[8]]
+
+[[[2],[[9,9]],[[8,4]],[9],[[8,1,6,3,3],[]]],[8,[6,6,6,2],3,7,8]]
+[[],[],[[[],2],[2],6,[[],[7,9,8,3]]],[0,3,10],[]]
+
+[[[],5],[3,[9,4,0,8,[3,10]]],[7,[7],[6,0,7,10],5,2],[]]
+[[1],[6,[[5,10],[6],[0,3,0,7],8,[9]],[],5],[6,[6,3,[8],[3]],10],[4,[[10,4,1,3,3]],[9],[[],8,[],[0,0,10,7,6]]]]
+
+[[1,[[1,4,5,7],10],[[5,5,9,0]],10,[8,[4,6]]],[2,0,6,[6,[5,10],[1]],2]]
+[[[],9,0,[[3,0,8,6,1]]],[[[5,6,3],[9,5],[3,4,3,3,5],[9,8],[2,5,2,2]],0,6,8]]
+
+[[[],[[],9]],[5,5,[4,[7],4]],[[]],[[6,[],[0,2,1],[0,0,7],[5,4]]]]
+[[],[[[8,2]],[[5,4,1,5],[],8,3,2],[]],[[[9,1,10,2],3,4,[10]]],[[[]],7,[10,0,4,6]],[]]