aoc
/
2022
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: aoc:ce6eb795eafd9bf3b984beae5462232e2c267e3f
Branches Tags
aoc:trunk
..
compare: aoc:d68664a356a994a0e17386ef7182d99a7498109e
Branches Tags
aoc:trunk

No commits in common. "ce6eb795eafd9bf3b984beae5462232e2c267e3f" and "d68664a356a994a0e17386ef7182d99a7498109e" have entirely different histories.
ce6eb795ea ... d68664a356

2 changed files with 0 additions and 645 deletions
Show Stats Expand all files Collapse all files

196
13/Main.idr
View File

@ -1,196 +0,0 @@
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

449
13/input
View File

@ -1,449 +0,0 @@
[[[[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]],[]]