diff --git a/day18.1.ml b/day18.1.ml deleted file mode 100644 index 4e62f91..0000000 --- a/day18.1.ml +++ /dev/null @@ -1,90 +0,0 @@ -(* Common util. Should probably put this in a module or something.. *) -let get_one_line file = - try Some (input_line file) with - End_of_file -> None - -let get_lines file = - let rec input lines = - match get_one_line file with - Some line -> input (line :: lines) - | None -> List.rev lines - in input [] - -let read_file file = - let channel = open_in(file) in - get_lines channel - -let explode s = (* convert a string to a list of chars *) - let rec exp i l = - if i < 0 then l else exp (i - 1) (s.[i] :: l) in - exp (String.length s - 1) [] - -let (<<) f g x = f(g(x)) -let (>>) f g x = g(f(x)) - -let rec take n l = (* take the first n elements *) - match n with - | 0 -> [] - | n -> - match l with - | [] -> [] - | x :: xs -> x :: (take (n-1) xs) - -let rec drop n l = (* drop the first n elemnts *) - match n with - | 0 -> l - | n -> drop (n-1) @@ List.tl l - -let c2i = String.make 1 >> int_of_string - -(* --- *) - -type exp = Add of exp * exp | Mul of exp * exp | Num of int - -let rec string_of_exp = function - | Num x -> string_of_int x - | Mul (a, b) -> Printf.sprintf "(%s * %s)" (string_of_exp a) (string_of_exp b) - | Add (a, b) -> Printf.sprintf "(%s + %s)" (string_of_exp a) (string_of_exp b) - -let print_exp = print_string << string_of_exp -let print_exps = List.iter print_exp - -let rec find_matching_paren count (x::xs) = - match x with - | '(' -> if count = 0 then 0 else 1 + find_matching_paren (count-1) xs - | ')' -> 1 + find_matching_paren (count+1) xs - | n -> 1 + find_matching_paren count xs - -let read_exp line = - let line' = line - |> explode - |> List.filter (fun x -> x != ' ') - |> List.rev - in - - let rec go stack = function - | [] -> List.hd stack - | '+' :: xs -> Add (List.hd stack, (go (List.tl stack) xs)) - | '*' :: xs -> Mul (List.hd stack, (go (List.tl stack) xs)) - | ')' :: xs -> - let matching = 1 + find_matching_paren 0 xs in - let sub = take matching xs in - let rest = drop matching xs in - go ((go [] sub)::stack) rest - | '(' :: xs -> List.hd stack - | num :: xs -> go ((Num (c2i num)) :: stack) xs - in - - go [] line' - -let rec eval = function - | Num a -> a - | Add (a, b) -> (eval a) + (eval b) - | Mul (a, b) -> (eval a) * (eval b) - -let () = - let exps = read_file "day18.txt" |> List.map read_exp in - - let values = List.map eval exps in - let sum = List.fold_left (+) 0 values in - print_int sum; diff --git a/day18.2.ml b/day18.2.ml deleted file mode 100644 index 2217f7e..0000000 --- a/day18.2.ml +++ /dev/null @@ -1,106 +0,0 @@ -(* Common util. Should probably put this in a module or something.. *) -let get_one_line file = - try Some (input_line file) with - End_of_file -> None - -let get_lines file = - let rec input lines = - match get_one_line file with - Some line -> input (line :: lines) - | None -> List.rev lines - in input [] - -let read_file file = - let channel = open_in(file) in - get_lines channel - -let explode s = (* convert a string to a list of chars *) - let rec exp i l = - if i < 0 then l else exp (i - 1) (s.[i] :: l) in - exp (String.length s - 1) [] - -let implode l = String.of_seq (List.to_seq l) - -let (<<) f g x = f(g(x)) -let (>>) f g x = g(f(x)) - -let rec take n l = (* take the first n elements *) - match n with - | 0 -> [] - | n -> - match l with - | [] -> [] - | x :: xs -> x :: (take (n-1) xs) - -let rec drop n l = (* drop the first n elemnts *) - match n with - | 0 -> l - | n -> drop (n-1) @@ List.tl l - -let c2i = String.make 1 >> int_of_string - -(* --- *) - -type exp = Add of exp * exp | Mul of exp * exp | Num of int -type op = Plus | Mult - -let rec string_of_exp = function - | Num x -> string_of_int x - | Mul (a, b) -> Printf.sprintf "(%s * %s)" (string_of_exp a) (string_of_exp b) - | Add (a, b) -> Printf.sprintf "(%s + %s)" (string_of_exp a) (string_of_exp b) - -let print_exp = print_string << string_of_exp -let print_exps = List.iter print_exp - -let string_of_op = function | Plus -> "Plus" | Mult -> "Mult" -let print_op = print_string << string_of_op -let print_ops = List.iter print_op - -let rec find_matching_paren count (x::xs) = (* find matching closing paren *) - match x with - | ')' -> if count = 0 then 0 else 1 + find_matching_paren (count-1) xs - | '(' -> 1 + find_matching_paren (count+1) xs - | n -> 1 + find_matching_paren count xs - -let rec run_stack exps ops = - if List.length exps = 1 - then List.hd exps - else - let (l :: r :: exps') = exps in - let (op :: ops') = ops in - match op with - | Plus -> run_stack ((Add (l, r)) :: exps') ops' - | Mult -> run_stack ((Mul (l, r)) :: exps') ops' - -let read_exp line = - let line' = line - |> explode - |> List.filter (fun x -> x != ' ') - in - - let rec go exps ops = function - | [] -> run_stack exps ops (* end of our string *) - | '*' :: xs -> Mul (run_stack exps ops, go [] [] xs) (* "split" on Mul *) - | '+' :: xs -> go exps (Plus :: ops) xs - | '(' :: xs -> - let matching = 1 + find_matching_paren 0 xs in - let sub = take matching xs in - let rest = drop matching xs in - go ((go [] [] sub)::exps) ops rest - | ')' :: xs -> go exps ops xs - | num :: xs -> go ((Num (c2i num)) :: exps) ops xs - in - - go [] [] line' - -let rec eval = function - | Num a -> a - | Add (a, b) -> (eval a) + (eval b) - | Mul (a, b) -> (eval a) * (eval b) - -let () = - let exps = read_file "day18.txt" |> List.map read_exp in - - let values = List.map eval exps in - let sum = List.fold_left (+) 0 values in - print_int sum; diff --git a/day18.txt b/day18.txt deleted file mode 100644 index a2341bf..0000000 --- a/day18.txt +++ /dev/null @@ -1,373 +0,0 @@ -(4 + (2 * 7) * 4) + (6 * 9 + 8 * 4 + 7 * 3) * 3 * 5 -5 * 9 + (5 * 9) * (6 + 2) + 3 + 7 -8 + 5 * 9 * 9 + 9 + 5 -(7 + 9 * 8 + 4 * 6) + 6 * ((9 + 9 + 5 * 7 + 4) * 8 * 2 + 5 * 6 + 2) + 2 * 6 -(6 * (5 + 8 * 7 * 8 + 4) * (7 + 7 * 3 * 5)) + 5 * (8 + (8 + 3 + 5 + 5) + (3 + 2 + 7 * 2 * 9) + 6 * 5 + (2 * 6)) * ((4 * 3) + 3) + 9 * (3 + 6 * 2 + 3 * 8) -2 * 9 + (6 * 2 + 6 + (9 + 6 + 8 + 5 + 5) + (8 + 7 * 4 + 3) + 8) * (4 + 4 * 2 + 6) -5 + 4 + 5 + (7 + (9 + 7 + 4 + 4 + 4 + 5) + 2 * 4) + 4 * 9 -9 + (7 * 8 + (6 + 3 + 4)) + (5 * 9) -2 * 4 + 8 + (5 + 8) * 9 * (9 + (5 + 3) + 3) -8 * 6 * 5 + 8 + (8 * (2 + 8 * 7 * 5 + 3 + 5)) * 2 -6 * ((3 + 4 * 3 * 7 * 8) * 8 + (9 + 5 + 2 * 3) * 3 * 2) + 7 + 8 * 8 + 4 -9 + 3 + 7 * 8 -(9 + (4 + 9 + 3 + 5 * 5 + 5) * 5 + 9 * 6) * 3 * 2 * 6 * 5 -7 * 9 * 6 -(5 + 2 * 8) * 8 + 3 + 8 -9 * 5 * (5 + (5 * 4 + 8 + 6 * 5) * (9 * 7 + 5)) * 3 * 9 -(6 * (8 * 3 * 7 + 2) * (3 + 9 + 5 + 5) + 3) + 7 * 3 -7 + 9 + (4 + 9 * (4 * 6 + 3 * 8 * 5) + 8 + 9 + 3) + 6 * (6 + 8 + 7 * 9 * 6 + 6) + 7 -2 * (5 * 5 + 6 + (5 + 5 * 5 + 6)) * 4 + 5 + 2 -8 + 2 * (8 * 7 * 4 + 8) * 9 -9 + 5 * (4 * 8 + 9 * 6 + (3 * 3) + 2) + 5 + (4 * 5 + 2 * 2) -(5 * 7 + 2) + 3 + 9 -7 * 9 + 8 -3 * 7 * (7 + 5 + 8 * 5 * 8) -(7 + (3 * 6 + 6 * 9 + 2) * 8 * 6 + 6 + 2) * 6 -4 * (7 * 5 * (6 + 8) * 7 * (5 * 3 * 2 * 9 + 2 * 4) * 6) * 2 + 2 * 5 -((3 * 3 * 9 + 8) + 2 + 5 + 8) + 6 * (6 + 9 * 2) + 7 * 9 * ((9 + 4 + 4) * 4 + 4 + 9) -7 * (4 * 2 + 3 + 7 + 5) * (8 + 2 + (5 * 9) * 2 + 3 * 5) -7 + (8 + 3 + 8 * 4 * 2 * 2) + 7 * 2 + ((3 + 5 * 3 + 5) * 8 + 3) + 8 -7 + 2 + 9 * 9 + 5 -((6 + 4 + 2) * 2 + 9) + 3 * 6 * (6 + 4 + 9 + 2 + 6) * 9 -6 + 6 * (9 * 9 + 6 + 6) + 2 * 6 -2 + 5 * ((4 * 4) * 6) + (3 * 3 + 2) * 9 + 5 -9 * 4 + 8 * 5 * ((6 * 5 * 4) + (3 + 8 * 7 + 6 * 7) * (6 * 6 + 7) * 8 + 4 + 7) -3 * 8 + (4 + (7 * 7 + 9 * 8 * 6 + 7) * (8 * 4 + 4 * 6 * 4 + 4) + 2 * 9) -3 + 6 * 2 * 3 * (4 + 7 + (3 * 6 + 7 * 8) * 7 + 9 * 8) -2 + 8 + (5 * 4 * 2 * 5 + 5) * 4 + 3 * 4 -6 + 4 + (5 + 5) -6 * 3 + 8 + (8 + 2 + 9 * 3) * ((6 * 8 + 6) + 6 + (7 * 4 * 3) * 4 + 9 + 3) -((9 + 7 + 9 + 2 * 7 * 7) + 8 * 6) + 2 + 7 -6 * (6 + 9 * 2 + 4 * 7 + 8) + 5 * 9 -((2 + 5 + 6 * 3) + 7 + (7 * 6 * 8 * 3 + 8 * 3)) + (8 * 6 * 8 * 9 * 5) -6 * 7 * 5 + 5 * (2 * 9) * 4 -(8 * 7) * (2 * (7 + 3) + 3) + 8 -(7 * 9 + 7 + 7 + 7 + 7) + (7 * 5 * 8 + 4 * 5) + 6 -5 * (6 * 7 * 8 * 5) * 6 -5 * (2 + (6 * 7) * 8 * 3 + 6 * 2) + 2 * 4 + 8 + 3 -3 * 5 + 6 + 6 -((9 * 9) * 6) + (4 + 9 * 6 + 4 * 9 + 7) -(3 + 9 + 2) * (3 * 7 * 7 * 7 * (8 * 8 * 4 + 3 + 8)) + 2 -6 * 6 + 8 -((9 + 5 + 8) + 9) + 7 + ((9 * 5) * 3 * (3 * 4 * 4 + 3) * 7) + ((5 + 6 + 2) * (7 * 2 * 9 * 8) * 5) -6 + (8 * 7 * 6 + 5) + 9 * 7 * 7 * 7 -2 + (4 * 9 * 3 * 9 + 8) + 2 * 7 * 3 + 4 -7 + 3 + (5 + 7 * (4 + 4 * 8) + 2 + 8 * 6) * 2 -(2 * 5 * (4 * 7) * 9 * (3 + 7)) + 3 * 4 * (2 * 3 * 8 * 4) * ((6 + 2 * 2) + (6 * 5 * 7 * 6) + 9 * (8 + 4)) -((9 + 3 + 5) + 8) * 2 -2 + 4 + 7 + 5 * (6 * 7 + 8 * (4 * 3 + 6 * 4 + 7) * (7 + 3 + 7 + 3 * 2) + 8) -5 + (9 * 8 + 5) -(2 + (9 + 7 * 8) + (6 + 7) + 6) * 5 + 3 * 2 -7 + (9 + (8 * 7 * 9)) * 8 + 3 -9 * (9 + 4 * 2 * 3 + (6 + 7 * 8 + 9)) + 6 * ((7 * 4 + 7 * 4) + 2 * 6 * 5 + 6 * 6) -((3 * 3 + 4 * 9) + 7 + 7 + 3) * 8 -9 + 8 * (2 + 6 + 8 * 6 + 3 + (8 * 6 * 6 * 4 * 6)) -3 * (9 + 2 * (9 + 2 * 8) + 3 + 8 * 5) + (9 + 8 + (6 * 9 + 2 + 8 * 5 + 7) * 7) * 2 -((2 + 9) + 3) * 6 * 2 * 2 * 4 + 7 -2 * 3 + 4 + (7 + (7 * 5 * 5 + 5) * 9 + (3 + 3 * 5) + 3 * 8) -4 * (8 + 2 + (3 * 7 + 4 + 2 * 6 + 2) * 8 + 7) -4 + (5 * 9 * (8 + 3 * 9 + 9 + 5) * (3 * 8 + 9 * 8)) * 8 + 9 -4 * 5 * (2 + 2 + 7 + (3 * 7 * 4 * 2) + 3) * 6 -((8 * 8 * 4 + 4 + 5) + 6) + 9 * (3 * 3) * 4 -9 * (8 + (6 + 2 * 7 + 3 + 8 * 8) * 3 * (9 + 3) * (3 + 7 * 3) + 5) -9 * 3 -6 * (7 + 8 * 8 * 4) * 6 * 9 + (4 * 7) * 4 -4 * (3 * (4 * 9 * 6) + 5 + 5) * 4 * 6 * 6 * ((9 + 3 * 6 + 5 + 8) + 4) -5 * 2 * (4 * 3 + (8 * 4 + 2 + 2) * 6 * (8 * 8 * 2 + 7 + 9) + 3) * 5 + (4 + 6) -3 + (5 + 6 * 5 * 9) * 9 + 7 -((3 + 6 + 8) * 7 * 3 + 4 + 4 * 8) * 2 * 2 -2 + ((9 + 9 * 4 + 2 + 3) * 4 + 9 + 5 + (7 + 3 * 9)) + 8 + 7 * 3 -5 * 5 * (5 * 6 * 6 + (3 + 4 * 8 + 7) * 2) * 6 + 4 + 3 -4 + 3 * (5 + (6 * 5 + 6 * 2) * 4) + 9 + 7 * (5 * 5 + 9 * 5) -2 + (6 * 7) + 7 + 3 * 7 -5 * 7 * (6 + (9 * 5)) * 4 + 2 -((7 * 7 * 3) + 2 + 2 + (9 + 8 + 3)) * (3 * 8 + 6) + ((6 + 2 * 6) * (2 * 4 + 3 + 8 + 2)) * 8 -((8 + 3 + 8 + 5 + 8 * 3) * 2 + 4 * (6 + 4)) * 8 * 2 * 5 + 9 -7 + 6 * 3 + 3 + (5 * 7 + 3 + 3 + 8) * 6 -8 + 7 + ((5 * 9 * 3 + 3 + 4 + 6) + (6 * 6 + 2 + 6) + 8) -5 + 5 -6 + (6 * 5 * 7 + 8) -(8 + (9 + 2 + 8 + 2 + 2) * 4 + 7 * 6) * 9 * 6 * (6 * 6 * 5 + 5 * 4) + 7 + 9 -3 + 8 + (3 + (6 * 9 + 9 * 2 * 3 * 4) * 3 + 9 * (4 * 2) + (3 * 2 * 9 + 2)) -(5 * 8 + 7 * 8 + (2 + 3 * 8) * (8 + 4 * 7)) * 3 -8 + 2 * (2 + (6 * 6 + 9 * 3 + 6) + (9 * 2 * 4) + 6 * 4 * (6 * 3 + 2 + 6 + 3 + 5)) + 8 + 4 * 9 -8 + 8 + (4 * 9 + 9) -5 + 5 * (5 + 8 + (3 * 9 * 9 + 8 + 8 * 2) * 5) * (8 + 7 + 7 + 8 + (2 + 7 * 4 * 8)) -6 * 3 + 6 + ((9 * 5 * 4 + 6 + 5 + 5) * 6) * 2 + (6 * 5 + 5 * 7 * 8 * (3 + 7 * 7 * 9)) -4 + (3 + 4 + 5 * (4 * 2 + 7 * 9 + 6 + 6)) + (7 + 7) -2 * (6 + 2 + 6 * 3 + 4) + (6 + 5 * 4 * 8 + 3 + 7) + 8 + 3 * 5 -((5 + 3 + 7 * 2 + 9 * 5) + 7 * 7 * (4 + 7 + 9) + 8 + 6) + 3 -((9 * 9 + 2 * 7 * 5 * 6) + 8 * 7 * 4 * 2 + 6) * 5 * 9 -((3 * 3 * 2 + 5 + 6) * 7 + (3 * 6 * 2) * 3 + 3) + 9 * 7 + 5 -(7 + (4 + 7 + 6 * 8 + 9 * 9) + 7 * 2 * 2) * 7 -(9 * 3 * 9) + ((2 * 6 * 6 + 9 * 7) * 3) + 3 + 8 + 8 -2 + (3 * 5) * (2 + 8 + 8 * 3 * 6 + 6) * 6 * 9 -(4 * 7 * 7 + 3 + 4) * 3 * 9 + 6 * (2 + 5 * 4) -(8 * 4 + 3 * 8) * 4 * 5 -(7 + 5 + (4 + 2) + 4) + (2 * 5 * 9 * 2 * 6) -9 * 4 + 3 + 8 * (2 * 4 + 7 * 2 * 2) * (2 + 6 + 5 + 9 + 5) -8 + 3 * (6 * 8) + (2 * 4 + 7 * 8) -(9 + 6 + 3) * 5 + (9 * 8) * 5 + 6 * 5 -((6 * 2 + 6 * 2) + 3 + 7 + 5 * 8) * 2 + 2 -2 + (9 * 3 * 9) * (4 + (6 + 4 + 7) + 5) + 9 -(3 + 4) + 5 + 7 + 7 -9 + 8 + 8 + 7 + 5 + ((2 + 7 * 9 * 7 * 6 * 9) * 8 * 8 + 7 * 3 + 9) -(8 * 7 * (8 * 7)) * 9 + (4 * (4 + 9) * (7 * 9 + 9 + 6 * 5 + 5) + 7) -(6 + 7 * 9 + 5 + 5) * 5 * (2 + 6 + (3 * 6) + (7 + 3 + 5 * 5) + 9) -2 + ((7 + 8 * 2 + 8) * 4 + 2) * 9 * 9 + 8 -8 * 8 * 7 * 2 + 2 -7 * 2 + 9 + ((5 * 2 + 6 * 9 + 8 + 7) + 6 * 2 + 8 + 4 * (3 * 2 * 3 * 2)) -5 * (7 * 5 + (7 * 9) * 4 * 6 * (8 + 7 + 3 + 9 + 9)) * 4 -8 * ((3 + 7 + 5) + 7) + 5 + (6 + 4 + 6 + 4 * 4) + ((2 * 6) * 3) + 9 -3 * 3 -4 * (5 + 5 + 6 + 2 + 7) + 7 * 6 -(7 + 4 + 5 * 9 + 5 + 8) * 8 * (7 * 9 * 9) + 4 -3 + (9 * (7 * 7 + 3 * 4 + 8 + 5) * 7 * (2 * 4) + 9 + 5) * (4 + 7) -6 * (5 * (6 * 2) + 6 + (4 * 8 + 9) + 3 * (2 * 4 + 4)) * 6 * 5 + 6 + 3 -(9 * 3 * 9) * 8 * 5 * (8 + 3 + 2 + 9) -(8 + 8 * (8 * 9) + 2 + 7) + 8 * (5 * 7 + 6 + 2 * 4 * 2) + 6 * (3 * 8 + 6) * 2 -2 * (8 * 5 + 7) * 8 + 7 * 9 -4 * 4 * (5 + (5 * 4 + 2 * 9 + 5 + 7)) * 8 * ((4 * 9 + 4) + 6 * (7 + 2 + 4 * 8 * 9)) -4 * 6 + (4 * 8 * 3 * (9 + 8) * 7 * 9) -(6 + 9 + 3 * 2 + 8 * 8) * 6 -(8 + (3 + 3 + 2 * 3) + (6 + 7 * 6) + 7 * 4 + (9 * 5 * 4 * 6 + 2)) * 2 + 5 -4 * 6 + 2 * 5 * 2 + (5 + 3 + 2 + (5 * 3 * 3 + 7 * 6 + 2) + 8) -9 + 2 + (7 * 7 + 7 + 9) -5 + 8 + (8 + (5 + 9 + 6 * 2 * 4 * 4)) * 9 -(2 + 4 + 8 + 7 * 8 * 5) + 3 + 3 + (9 + 9 + (9 * 2 + 6 + 4 + 4) + 6 * 2) + 2 -7 + (6 + 5 * 2 * 9 + 7 + (9 + 7)) * (3 + 6 + 2 * 5 * 3) -8 + (9 + (4 * 3 * 7 * 7) * 7) + 9 * 6 -6 * 9 * ((8 + 5) + 9) * 7 * 8 -(2 * 9 + 2) + (6 * 3 * 3 + 6 * 7 + 9) -7 * 5 * (4 * 4 + 7 * 4 + 8 + 3) -3 * (6 + (5 + 3) + 5) * 3 -(7 * (9 * 5 * 9 + 2 + 4) + 3 * 8 + (9 + 7) + (2 * 9 + 5)) * (6 + 3 * 9 + 3 + (7 + 4 * 9 + 5) + 9) * (8 * 2 + (2 * 9 + 7 + 5 * 4) * 4) -4 + 7 + 5 + 6 * 8 -5 + 4 + 3 -9 * (6 * 2 + 7 + 5) * 3 * 2 * 2 -7 * 4 + ((6 * 7 * 6 * 8 + 6 * 9) * 7 * 3) + 8 -9 * 5 + 4 + 8 + 8 * 8 -(3 + 6) * 2 * 7 * (2 * 7 + 2 + 6 + 3) -5 * 2 + 8 * 7 + (4 + 8 + (3 * 6 + 7 * 2 + 4 + 7)) -6 + (8 + 6 * (9 * 7 + 2 + 2 + 3 + 4) * (4 * 7 + 2 + 4 * 3) * 3) -(8 + 5 * 2) * (9 * 4) + 5 -3 * (4 * 5 * (4 + 3 + 4) + 5 * (3 + 6 + 3 * 7 * 7)) * 3 -2 + 7 + (8 + 3) + 8 -8 * (9 * 8 * 3) + 4 -(2 * 6) * 3 -((9 * 6 + 3 + 3 * 9 + 7) + 2 * (2 + 9 * 8 + 2 * 4) + 9 * 8 + 6) + (5 * 9 * (2 + 7) + 7 * 9) + 7 -4 + 7 * ((3 * 7 + 2) * 9 * 7 * 2 + 4 + 3) * 4 * (3 + 8 * 9) + 6 -9 * (9 + (9 * 6 + 2 * 7 + 6) + 7 * 2 + 2) -(9 * 2 + 4 + 8 + 6 * 8) * (4 + 8 + 7) * 5 + (4 * 2 + 2) * ((4 * 5) * 8) * 2 -(5 * 9 + 9 + 2) * 3 + ((7 * 5 + 9 * 3) + 2 + 3 + 6 + 7) + 4 * 6 * 6 -9 * 8 + 3 * 4 * (9 + 5 + 7 + 5) * (6 * (7 + 4 * 6 * 7) + 6 * (6 * 5 * 3 + 9 + 4) + (2 * 3 + 3 + 6)) -7 * 6 * 2 + (8 * 9 + (6 * 7 * 8 + 6 + 9 * 8) * 3 + 6) -5 + 7 * 8 + 2 + ((2 + 4) * 7) -2 * 5 + 6 * 6 * (3 * 6) -6 * 6 * 6 * (6 * (4 * 4 + 5) * 4 + 3 + 9) + 4 -((3 * 4 * 7) * 5 * 9 + 7 * 6 + 5) + 2 * 2 * 6 + 4 * 8 -7 * 2 * (3 + (6 * 9 * 9) * 4) * (5 * 8 * 7 * 6 + 2 * 9) * 7 -9 + (6 + 6 + (8 + 8 * 3 + 6 + 6)) -5 * 2 + 7 + 3 * (9 + 9 * 9 * 9 * (4 * 4)) * 2 -4 + 6 + 3 + (2 + 2 * 7 * 2) + 5 + 7 -7 * 9 * 9 * 2 * 4 + 7 -6 + (6 + 5 + 5) + 7 + 4 -9 + (9 * (7 * 3 + 9 + 7 + 8 * 8) * 6 * 5) + 2 * 5 -8 + 6 * 8 -8 * (9 * 6 + 4 + 8 + 8) -((8 + 3) + 8 * 2) + (3 * 6 * 7 + 7 + 4 + 2) * 9 * 5 -6 * (4 * 5 + 6 * 7 * 4) + (2 * 8 + 4 + 7 + 7 + 6) + 9 + 5 -9 * 8 * (2 + 7 + 9 + 4 + 5) + (8 * (3 * 8 + 3 * 6)) + ((7 * 2) * 7) + 2 -9 + 4 + 9 * 2 * (5 * 2 + 6 + (9 * 5 + 8 + 2 * 5) + 6 + 6) + 7 -9 + 9 * ((3 * 6) + (5 + 5 + 7 * 9 * 4 + 9) + 2 * 6 * 6) * 5 -(9 * (3 * 2) + 8 * 2) * (6 * (8 + 3 * 8 + 5 * 5 * 9) + 4 + 9 * 6) * 5 + 9 * 6 -7 * 9 * (2 * 9 + 4 * (3 * 2 * 6 * 9 + 5 + 6) + 2) + 7 * 6 + 3 -9 + (5 * (3 * 9) + 4 * 6 + 6) + 9 + 8 * 5 -8 + 8 * 8 + (9 + 4 * (5 + 3 * 8 * 3 * 4 * 4) + 2 * 8 * (9 * 6 * 4 * 6 + 9)) -(6 + 6 * 3 + (5 + 8 * 4 + 4) + 3) * (3 + 7) * (6 + 5 * 4 * 6 + 6 + (5 * 7)) -(9 + 7 + 6 + (8 * 8) * 4 * 6) + 3 * 5 -5 * 2 * 3 + (3 + (6 + 9 * 2) * 3 * 3) -2 + (8 * 7 * (4 * 8 * 2 + 6 * 7)) * 5 + 5 + (8 * 5) -9 * 6 * 4 * 2 * ((6 * 3 + 9 * 8) * 5) * 3 -((8 + 6) + 6 * (8 * 5 * 5 * 7) + (2 + 9 + 6 * 7) * 7 * (2 + 9 * 7 * 3)) * ((7 * 5 + 2 * 5) + (8 * 7)) -(7 + 8) * 6 * 9 + 6 + 6 * 8 -7 * 8 + (8 * 2) * 7 * 8 * 9 -9 * ((8 + 6 * 9 + 2 + 3 * 2) * 2 + 4 + 3 + 7) * 2 * 6 -2 + (8 + (2 + 9) * 7 * 4 + (8 * 6 + 8 * 6 * 4 + 5) + 6) + 4 * (9 + (3 + 4) * (3 * 9 * 7 * 6 + 9 + 7) + 9 * 6 * 3) -2 + (8 + (8 * 2 + 3 * 8 * 4 + 2)) + 3 * 6 -(5 * 5 + (3 + 5 * 6 * 9 + 4 * 4)) * 8 * (7 * 7 + 3 * 7) -9 + 6 * (9 * 2 + 2 * (9 + 6 * 8 + 5 + 3)) -5 * 5 + 5 * (7 * 3 * 3 * 5) + 6 -7 * 5 * 7 * ((6 * 3 + 5 * 8 * 6) * 7 + 4 * 5) + 7 -(5 * 4 + 8) * 3 + 6 + 9 + 6 -(7 + 7 + 4 + 8) * (2 * 7 + 9) * 2 * 4 -2 + ((7 + 2 + 9 * 4 + 2) * 6 + 9) -9 + 2 + (7 + 6 + 4) * 3 * 8 -5 + 7 * 2 + 2 * (3 * 4 + 4 * 6) + 2 -2 + (7 + 2 + (9 * 3 * 5 + 7 + 7) + 5 * (7 + 7 * 2 * 4 * 7 * 4) + 5) * (6 + 2 * 5 + (4 * 6 + 4 * 8 * 4) + 7) * 2 * 5 -((5 * 9) * 9) * 2 + 4 + ((3 + 6) + (9 + 3 + 6 + 3) * 3 * 5 + (9 + 9 + 6 * 7) + 7) * 2 + 9 -4 + (4 + 4 + 6) + 6 + 5 * 9 + 8 -(3 * 8 * (7 * 5 * 7 * 5 * 7 + 2)) * 7 * 4 + 3 + 2 + 4 -(4 * 8 + 7 + 8 * 5 * 9) + 2 * (5 * 2 * 3 * 9) + 7 + 7 * 2 -6 * 3 * (4 + 6) + 7 + 2 -(5 + 4 + 4 * 8 + (4 * 6 * 5 + 7 * 4 * 2)) * 9 * 6 * 6 * (3 + 5 + 9 * 7) -4 * (5 * 2 + 8 * 9 * 3) + 3 -7 * 3 + 7 + 5 + ((6 * 8 * 8 + 8 + 2 * 4) * 8 * 2 * 9) -4 * 2 + 6 + 2 -(2 * 2 + 2 * 9 * 6) + (5 + 9) * 3 * 9 * 5 -(5 + 5 * (3 + 3 + 7) * (3 * 7 * 7)) + 4 -9 + 7 + 9 + 5 * 6 -(6 + 9 + (4 + 7 * 7 * 4) + (9 * 2 + 9 + 5 + 6)) + 7 * 8 -5 + (5 * (6 * 5 + 8 + 2) + (4 * 7 * 4 * 7 * 7 * 8) * 8) -4 + (6 + 6 * 2 + 9) + 7 * ((3 + 8) * (3 * 5 + 5 * 3 * 3 * 6) + (4 + 9 * 3 + 3 * 2 + 9)) -(7 * (7 + 7 + 5) * 8 * 2 * 8 + 3) + (2 * 4 + 8 * 7 + 3 + 2) + 7 * (7 + 2 + 2) -(3 * 7 * 4) * 5 + 4 * 7 * 8 * 4 -7 * 3 * (2 * 7 * 9 * 7 * (8 + 4 + 2) * 3) + 7 -7 * (9 + 2 + 5 + 5 + 7 * 5) -5 + 2 * 9 * (8 * 6 * 8 + 2 * 7) -4 + (2 + (2 * 5 * 7 * 5) + 3 + 6) + 8 * ((3 + 4 * 4 + 5 * 3 + 6) + 2 + (5 * 8)) + 8 + 3 -2 * (9 * 7 * 3) + (8 + 7 + 8 + 2 * 3 + 9) + 8 + 9 -8 * (7 + 5 * 3 + (2 * 6 * 6 * 4) + 9) + 3 * 4 -3 + 4 * 8 * 9 + (6 + (5 + 7 * 7 * 4)) + 7 -(5 + 6 + 8 + 5 * 7) * 2 + 5 * (9 * (9 * 9 + 8 + 5) + 7 * 4) -8 + (8 * 2 * 4 * 2 + 3 * 2) * (3 * 3) * 6 + 8 -(6 * 2 * (6 + 5 * 9 * 3) * 6 * 2 + 7) + 7 * 8 + 2 * 4 -5 + (2 + 4 + 5 * 4 + 6) + 9 * (5 * (5 + 9) * 9 * 9 * 2 + 8) * 5 -7 * 4 + 9 * (9 + (5 * 7 + 8 * 7 * 5) + 9 + 2 + 2 + (2 * 4 * 7 + 5)) -7 + 2 + (4 + (8 + 8 + 5 * 9)) + 9 -(8 * 3 * 9 + 6) * 8 + 8 + 7 -(2 + 3 * 9 * 4) * 7 + (8 * 6 * 9) * (8 + 6 + 9 + 4) -((7 * 6 + 4) + 6 + 6) + 5 * 4 + 3 * 4 -5 * (2 + (3 * 9 + 9 * 6) + (7 + 3 + 2 * 4 + 9)) + 7 + 8 * 5 * 5 -7 * 9 * (5 + 6 + (7 * 6) + 4 + 4 + 3) * 2 + 9 -(3 * 2 + 5) * 8 * (2 + 4 + 2 + 8 + 7 * (8 * 9)) -((2 + 7 * 8 * 9) * 4 * 3 + 6 * 7) + 9 * 8 + 5 + 9 -5 + 4 + 9 + 8 -7 + 7 + 9 + 2 + 5 + ((6 * 3 + 3 + 6) * 4 * (4 + 4)) -(9 * 4) + 8 * 4 -3 * 9 * (9 + 5 * 4) + 8 + 9 * 3 -3 + (9 * 8 * (6 + 4 + 6 + 5 * 2) + 9 + (4 * 7 * 7) + (3 + 4 + 6 * 8 + 9)) * (2 + 8) + 7 * 5 * 6 -9 + 6 -6 * 8 * 8 + 6 * 6 * ((9 + 3) + (4 + 2 * 8 + 8 * 2 + 5) * 2) -4 + (4 * (2 + 2)) + 7 + 4 + (4 * (8 + 8 + 4 + 4 + 2) + (3 + 2) * 9 + 8) + (4 + 9 * 9) -(2 * (3 * 7 + 6 + 2)) + (4 * 6) + 6 + (6 + 9 + (2 * 2 * 2 + 6 + 4) * 4) * 5 + (4 + 2 * 5 * 8 + 6 * 2) -4 * ((5 + 5 + 9 + 3 * 5) * 7 * (7 + 9 * 5 * 7 + 2) + 5 * (4 + 7)) + 7 * 9 * 6 * 4 -4 * 7 + 4 + ((4 + 8 * 6 * 3 + 2) + 3 + 8 * (6 * 7 * 2 * 8) * 7) * 9 + 6 -4 * 6 * ((3 * 6) + 4 + (2 * 2 * 2 * 7) + 9 + 8) * (3 + 8 * 2 * 4 * 2 * 3) + (4 + 3 * (7 + 5) + 6 + 9) + 5 -(7 + 2 + (8 + 6 * 4)) + 8 + (7 + 5 + (2 * 5 + 9) * 5) -(7 * 8 + 5 + 8 + 8 * 2) * 6 + (5 + (8 + 3 + 4 * 5) * 9) -8 * (4 + 5 * 9 + 6 + 8 * 7) * 3 * 6 + 4 * 5 -6 + ((6 * 3 * 4) + (8 * 8 * 2 * 5 * 8 + 2)) + 3 -9 * 3 + 6 + 5 + ((5 * 2 + 9 * 5 + 6) + (4 * 9)) + (4 * 2 * 3 + 7) -6 + 8 + (6 + 2 + 8 + 2) * (5 + 8 + 5 * 5 + (4 + 9 + 3)) -(2 * 7) + (6 + 4 + (8 + 6 + 5 + 9 * 4 + 7)) -8 * 3 + 3 * (3 * 5) * 6 + 2 -9 + 4 + ((5 * 4 + 2 + 6) + 5) * 5 + 6 + 4 -(9 * 9 * 3 + 5 * 3 * 4) * 3 + (2 + 3 * 5 + (3 + 6 * 6 + 2) * 8 + 3) -(6 + 9 * 9 + 7 * 6) + 7 -4 + 6 * (3 * 3 * 7 * 7 * 5 + 2) * (7 + 7 * 2 * 5 + 4 + 9) + (8 * 2 + (8 + 8 * 4 + 7 + 3 + 5) * 7) + 9 -4 + 8 + 6 * 7 * 7 + (2 * 8 + 3 + 5) -4 * 8 * 4 * (9 * 9 * 5) + 9 -8 * 5 + (2 + 3 + 2 + 8 * (3 + 5 + 8 + 7 * 9)) -3 * ((8 * 6 + 9 * 8 * 5) + 9 * 6 + 6) * 6 -5 * 8 + 6 * (5 * 2 * 8) -8 + (6 + 7 + 7 * (6 + 7 + 3) * (5 + 2 * 7) + 7) + (2 * 8) -6 + 5 + 4 + 2 + ((3 + 8) * (5 + 4 * 9) * (4 + 9 + 3 + 9 + 9 * 7) + (5 + 2 + 9 + 3) + (6 + 6) + 3) -3 * (2 + 5 * (5 * 6 * 5 + 9) + 9 * 5) * 8 * 5 + 4 -2 * 4 + 6 + (9 * 4 * 3 * 4) -(4 * 6 * (3 + 9) + (3 * 5 + 8 * 5 * 9) + 6) + 9 + 8 -(3 * 5 + 8) + 8 * 8 * 7 + 8 * (9 + 6) -(5 * 4 * 6 + 3 + 3) * (3 * 8 * (7 + 2 * 9 * 6)) + ((9 * 9 * 4 + 8 * 7 * 7) + 4 * 4) + 8 * 6 -3 + 5 * 5 * 6 * ((3 + 3) * 8 + (6 + 9 + 2 + 6 * 7)) * 4 -9 + ((4 * 7 + 2 + 2 * 6) + 8 * (4 * 6 + 7 * 5) * 7 + 4) + 6 + 6 -(9 + 9 * (8 * 2 + 9 + 5) * 3 * 4 * 4) + 5 * ((3 + 6 * 3 * 7) + 6 * 4) * (3 + 8 * 9 + 6 + (4 + 3 * 4 + 2) + 6) -5 * 5 * (9 + 8 * 3 * 3 + 3) * 4 + 8 -3 + (6 * 9 * 8) + 9 + (3 + 3 + 2 + 5 + 2) -3 + 4 * (4 * 8 + 2 * (3 + 3 + 4 + 9 * 7) + 4 + (6 + 9 + 4 * 6 + 9)) -6 * 5 * 9 * ((6 + 9 * 6 + 7) + (6 * 4 + 2 * 4 * 6 * 6) + 9 + 6 + 8) -7 + 7 * 2 * 4 + 7 * 2 -2 + 8 * (7 + 3 * 3 + 2) + 6 + 3 * 7 -2 * 2 * 9 + 8 + 8 -9 + 5 + 4 * (6 * 7 * 5 * 7 * 4 * 3) * 3 -7 * 5 * 7 * 6 + 4 * 9 -((9 + 7 + 9 + 7 * 7 * 4) * 6 * 5) + 5 + (8 + (2 + 6 * 9 * 7 * 9 + 9) * (9 * 3 * 8 + 9 * 6 * 2) + 6 * 7) * (2 + 6 + (3 * 4 + 4) * 6 * 5) * 9 * 5 -(7 * 5 * (3 + 2 + 6 * 5 + 9) + 5 + (2 + 9) + 2) + 2 * 6 + (5 * (7 * 2 + 3 + 8 * 9) * 7 + 6 + 6 * (5 + 3 + 9)) * (4 * 6 + (9 + 7 + 4)) -((3 + 5) + 7 + 3) + 6 -3 * 4 + 4 * 6 + (5 + 8 * 2) -7 + (7 * (4 + 4)) * 3 + 7 * 4 -(5 + 4 * 6 + 3 * 9 + 7) * (7 * 3 * 5) + 6 -3 + 4 * (8 + 2) + ((6 * 7) + 8 + 8 * (9 * 3 + 2) * 9) -7 + (7 + 9 * 2 * 9 * 2 * (2 + 5 + 9 * 6)) * 4 -(7 + 6 + 3 + 5 * 2) + 2 * 3 + 4 * (3 + 4 * 5 * (3 + 7) + (7 + 2 * 7 * 6) + 8) * 8 -4 + (9 * 2 * 6 * (6 + 6 * 7 * 7 + 5) * 9) * 9 + (4 + 8 * 7) * 4 + 4 -6 * 6 * 2 + (4 * 2 + 7 + 4 + (2 + 2 * 5)) + 2 -8 + 2 + 3 + 3 + 8 + (6 + 4) -8 + 9 + 2 + ((3 * 9 * 3 * 5) * 3 + (2 + 2 + 8 + 6 + 9 + 7)) + 9 -6 * (3 * (5 * 4 + 4 * 4 * 4 + 4)) * 8 * (5 + (5 + 2 * 7 + 8) * 3) -3 + ((3 + 7) + 2 + (5 * 3 + 4 * 9)) -4 + 5 * 6 * (7 * 5 + 6 * 5 * 5 + (4 * 6 * 9 * 6)) + 7 + 3 -7 * 4 * 7 * 5 * (3 + (5 + 6 + 9 * 9 * 3 * 7) * 2 * 8 + 2 + 6) -5 * 4 + (4 * 7 * (3 + 8 + 9)) + 4 -(7 + (3 * 5 * 7 + 5 * 8) * (6 + 9 * 6 * 7) * (3 + 9 * 8 + 4) + 8 + 7) * 2 + 4 -8 + 7 + (9 + 6 + 7 + 9 + 6 + 4) + (7 * 8 * 6 * 5 * 3) + (3 * 4 * 3 * 8) -7 * ((4 + 4 + 9 + 3 * 3) + (9 * 6 * 8 * 7 * 3 + 6) * 7 + (7 + 2 * 3 + 6 * 2)) + 3 + (5 * 8) + (4 + 9 * 6 * (2 * 5 + 7 * 3 * 5) * 3 * 8) -8 + (3 + (8 + 3 * 4 + 4)) * 2 * 4 * (3 + 4) -(4 + 9 + 4 + (4 + 7 * 3 * 2 * 5 + 7)) * 2 -2 * 8 -6 * (7 * 5 + (4 * 5 * 2)) -(3 + 3 * 4 * 3 + 7 + 4) + 8 + 2 + 4 * 4 * 5 -7 * 2 * 5 + (2 * (9 + 6) * (3 * 8 + 4) + 3) * 9 -(6 * 9 * (6 + 6 + 7 + 7) * (5 * 7 + 8 * 5 + 2 * 8) + 5 + 8) * 9 * 9 + 3 * 2 + 7 -(2 * 3 + 8 + (4 * 2 + 7 * 2 + 7 + 7) + 3 + 6) * 3 * (6 + (9 + 7 * 2 + 2) + 6) + (4 + 3) * 3 -4 * (6 * (8 * 8 + 7) + 7) * 6 * 9 * (4 * (6 * 4 * 3 * 2 + 6) + (8 * 9) + (9 + 3) * 4) -5 * 7 * 2 * (2 * 2 * 5 * (8 + 6)) -(8 * (7 + 7 + 8)) + 2 + 9 * 9 + 9 * 4 -6 + 6 + 5 + (2 * (8 * 7 + 3 * 6) + 9) * 7 + 6 -8 + 6 + (8 * 4 * 8 * 2 + (6 * 6 + 9 * 3 + 6)) + 3 -9 * 5 * 4 * (5 + (3 + 7) + (4 + 4 * 5 + 5 * 8 * 9) * 5) -5 + 4 * 9 * ((2 * 4 + 8 * 2 * 7 + 2) + 4) * 9 * 3 -3 + 6 * (6 + 2 + 3 * 2) + (3 + 5) + ((3 * 6 + 5 + 7 + 8 * 8) * 9 + (5 + 8 * 7 + 6 * 8 + 7) + 7 + 8 + 5) -7 * ((7 + 5 * 3 * 5 + 4) + 7 + (6 * 3 * 6 * 6 * 7 * 7)) -((5 + 7 * 9 * 2 + 3) * 2 + 9 * 3) * (4 + 6) * (4 * 7 * (9 + 6 * 8 + 5) * (3 + 8 + 9) + 9 * (8 + 6 * 9 + 6)) * 6 + 4 -2 * (6 * 3 + 4 + 4 * 2) + 6 + 7 + 5 -2 + 7 + 5 + 5 * ((7 * 6 + 2) * 8 * 8) + (2 * 5 * 4 * 5) -3 + (7 * 8 * 5) + 5 + (5 + (4 * 4 + 7 + 2) + 6 + (8 + 3) * 9 + 4) -6 * (9 + 5 + 6) * 5 + 5 * (7 * (3 * 5 + 6 + 2 * 5) * 2) -(9 + 6 + (9 + 7 * 5 + 6 * 7) * 7 * 3) + 3 + 4 + 6 -7 * ((5 + 4 + 6) + 7) + 2 * 3 + (6 + 9 * (6 * 4 * 8 * 3 + 4 * 2) + 7) + 3 -7 * (8 + 9 + 5 * (9 * 7 * 9) + 2) + (7 + 7 + (7 + 3 + 2 * 2) + 4 * 2) -3 * (2 * (4 + 6) * 8) -8 + ((6 * 4 * 8 + 4) + 7) * 7 -(7 + (2 + 8 * 8 * 6 * 2)) + 7 * 2 -(4 * 2 + 4 * 8 + 4) + (3 * 9 + (2 * 4 + 2 * 7) * 9 + 7) * (5 + 9) * (7 + (3 * 4 * 4 * 6) + 8 * 7) + 8 + 8 -8 + (2 + 2 * 8 * 7 + 7) + 2 + 4 * 3 + (8 + 9 * 9) -3 + 2 + 8 + (9 + 3 * (3 + 2 + 9 + 7) + 4 * 4 * 7) * 3 -5 * 4 * 7 * 3 + (9 * (6 * 6 + 2 * 4) * 8 + 2 * 9) -4 * 7 * (3 + 6 * 6 + 4 + 8) + 5 -(8 + (8 + 2 * 9 + 3 * 3) * 8 * 8 * (9 * 6 + 2 * 6)) * 9 + 5 * 2 + 5 -5 + 6 + 3 + 4 * 9 + (4 + (4 + 3 + 9 * 2) + 4) -3 * (5 + 3) * 7 + 6 -((3 * 2 + 2 * 6 + 5 + 3) + 4) + (4 * (8 + 2 + 9 * 2) * 8 + (8 * 3 + 6 + 2 + 6) * 2) + 7 + 2 * 9 -6 * 8 * ((8 * 8 + 3 * 7 + 8 * 4) * 4 + 9) + (8 * 7 * (6 * 8 * 3 * 2) * 3) * 2 * 8 -(2 * 7 + 4) * 2 * (5 * 4 + 2 + 5 + (7 + 5) * (4 * 3 + 6 * 8 * 5 + 9)) * 5 -(6 * 8) * (7 * 7 + 8 * 3 * 3) * (5 * 8 + 2) -(6 + 6 * 2) * 5 + ((7 * 6 * 8) * 8 * 9 * 4) -(8 * 4 * 9) + ((5 * 3 + 6 * 3) + (9 + 9 + 9 * 2 * 2) * (4 + 9 * 7 + 2 * 2 + 3) + 6) * 7 * 6 * 6 -((4 + 3) * (2 * 5 + 8 * 2 * 4) * 9) + 6 + (6 + (5 * 4 * 5 * 3 + 3) * 6 * (5 * 3 + 7 * 2 + 4 + 8)) + 4 + 7 -(6 * 9 + 9 + 7) * (6 * 2 * (4 * 7 * 4 + 4 * 5 + 7) + (7 + 5 * 8 * 4 + 9 + 6)) * 7 + 8 * 5 + (9 * 5 * 2 + 7) -6 * 6 + ((2 + 9) * 5 + 2 * 3 + 3 * 3) + 9 * ((4 * 7) + 5 + 8 + 4) -5 + (4 * 5 + 5 * 3 + 7) * 6 * 5 + (2 + (9 + 7 + 8 + 4)) -(2 * 4 + 5 + 8 + 6 * 9) + 3 + 6 -9 + (9 + 8 * 3) * (3 + 8 + 6 + 5) * 5 -(3 + 9 * 5 + 7) + 2 -((9 + 5 * 2) * 5 + (4 + 2 * 7) + 9) * 8 -(4 + 4) * 9 + 3 + 2 * 8 -(3 + 4 * 8 + 9 * 6 + 6) * 5 + 8 + 9 -3 * 8 + 9 * (3 * 4) -6 + 7 * 6 * 7 -3 * 3 + (8 * 8 * 9 + 3 * 8 + 2) * 3 + 8 * 2 -5 + ((6 + 2 * 6) * 8 + 6 * 5) + ((7 + 3) + 2 * 5 + 7 + 6 + 5) + (8 + 2 * 7 + 4 + 2 * 3) * 2 * 5 -(6 * (6 * 7) * 7 + 3) * 9 + 6 * 3 -(5 * 9 + 7) + 8 -(3 + 9 * 3 * 9 * 2) * 9 * 5 -5 + (6 * 3) diff --git a/day19.ml b/day19.ml deleted file mode 100644 index c359176..0000000 --- a/day19.ml +++ /dev/null @@ -1,103 +0,0 @@ -#load "str.cma";; - -(* Common util. Should probably put this in a module or something.. *) -let get_one_line file = - try Some (input_line file) with - End_of_file -> None - -let get_lines file = - let rec input lines = - match get_one_line file with - Some line -> input (line :: lines) - | None -> List.rev lines - in input [] - -let read_file file = - let channel = open_in(file) in - get_lines channel - -let explode s = (* convert a string to a list of chars *) - let rec exp i l = - if i < 0 then l else exp (i - 1) (s.[i] :: l) in - exp (String.length s - 1) [] - -let implode l = String.of_seq (List.to_seq l) - -let (<<) f g x = f(g(x)) -let (>>) f g x = g(f(x)) - -let rec find_idx nth x = function (* find nth index of x in a list *) - | [] -> raise (Failure "Not Found") - | h :: t -> - if x = h - then if nth = 0 then 0 else 1 + find_idx (nth-1) x t - else 1 + find_idx nth x t - -let rec take n l = (* take the first n elements *) - match n with - | 0 -> [] - | n -> - match l with - | [] -> [] - | x :: xs -> x :: (take (n-1) xs) - -let rec drop n l = (* drop the first n elemnts *) - match n with - | 0 -> l - | n -> drop (n-1) @@ List.tl l - -let string_of_char = String.make 1 - -(* --- *) - -type rule = Char of char | List of int list | Pair of rule * rule -type rule' = Char' of char | List' of rule' list | Pair' of rule' * rule' (* deref'd *) - -let rec string_of_rule' = function - | Char' x -> string_of_char x - | List' l -> List.fold_left (fun acc x -> acc ^ (string_of_rule' x)) "" l - | Pair' (a, b) -> "\\(" ^ (string_of_rule' a) ^ "\\|" ^ (string_of_rule' b) ^ "\\)" - -let rec rule_of_string str = - let str' = String.trim str in - if String.contains str' '|' - then let [l; r] = String.split_on_char '|' str' in - Pair (rule_of_string l, rule_of_string r) - else if String.contains str' '"' then - Char (String.get str' 1) - else - List (List.map int_of_string (String.split_on_char ' ' str')) - -let parse_rule_line line = - let [key; rule_string] = String.split_on_char ':' line in - let rule = rule_of_string rule_string in - (int_of_string key, rule) - -let read_chunks lines = - let blank_idx = find_idx 0 "" lines in - let rules = take blank_idx lines |> List.map parse_rule_line in - let messages = drop blank_idx lines in - (rules, messages) - -let rec deref rules depth rule = - if depth > 20 (* CHEATER MODE *) - then List' [] - else - match rule with - | Char x -> Char' x - | Pair (a, b) -> Pair' (deref rules (depth+1) a, deref rules (depth+1) b) - | List l -> List' (List.map (fun key -> - let rule = List.assoc key rules in - deref rules depth rule) l) - -let () = - let (rules, messages) = read_file "day19.txt" |> read_chunks in - - let rule0 = deref rules 0 (List.assoc 0 rules) in - print_string (string_of_rule' rule0); - - let rule0_str = string_of_rule' rule0 in - let r = Str.regexp ("^" ^ rule0_str ^ "$") in - - let good = List.filter (fun m -> Str.string_match r m 0) messages in - Printf.printf "\nnum good: %i" (List.length good); diff --git a/day19.txt b/day19.txt deleted file mode 100644 index bee4b49..0000000 --- a/day19.txt +++ /dev/null @@ -1,514 +0,0 @@ -76: 125 57 | 102 58 -6: 57 30 | 58 123 -62: 58 58 | 57 58 -90: 122 57 | 87 58 -82: 57 58 | 57 57 -118: 102 57 | 125 58 -7: 103 57 | 77 58 -130: 27 58 | 53 57 -101: 58 107 | 57 117 -31: 55 58 | 81 57 -114: 123 57 | 62 58 -48: 103 58 | 94 57 -105: 58 113 | 57 20 -100: 57 88 | 58 35 -127: 121 54 -80: 54 58 | 72 57 -19: 5 58 | 102 57 -28: 95 57 | 23 58 -43: 30 58 | 123 57 -119: 58 71 | 57 33 -44: 94 58 | 24 57 -72: 58 58 -35: 109 57 | 106 58 -85: 127 58 | 132 57 -25: 57 30 | 58 102 -42: 119 58 | 111 57 -86: 58 5 | 57 125 -54: 57 121 | 58 57 -88: 58 97 | 57 129 -71: 110 57 | 46 58 -67: 94 57 | 125 58 -12: 5 58 | 62 57 -112: 58 70 | 57 69 -123: 58 57 -52: 10 58 | 48 57 -122: 14 58 | 68 57 -68: 82 58 | 94 57 -23: 57 54 | 58 24 -64: 58 54 | 57 72 -89: 41 57 | 28 58 -132: 103 58 | 47 57 -115: 58 133 | 57 49 -116: 58 103 | 57 77 -15: 77 57 | 24 58 -92: 58 62 | 57 30 -4: 58 99 | 57 75 -59: 57 72 | 58 102 -26: 52 57 | 108 58 -58: "b" -14: 58 103 | 57 30 -47: 57 57 | 58 58 -37: 58 82 | 57 125 -32: 125 57 | 123 58 -95: 123 58 | 123 57 -83: 57 36 | 58 79 -128: 65 58 | 32 57 -125: 57 58 | 58 57 -11: 42 31 | 42 11 31 -65: 62 58 -75: 58 1 | 57 67 -30: 57 57 -102: 121 121 -0: 8 11 -111: 50 57 | 93 58 -113: 57 126 | 58 40 -129: 25 58 | 29 57 -45: 5 57 | 94 58 -104: 24 121 -24: 58 121 | 57 58 -49: 57 12 | 58 6 -17: 57 123 | 58 54 -3: 74 57 | 131 58 -94: 57 57 | 58 57 -98: 57 86 | 58 2 -13: 34 57 | 78 58 -21: 57 98 | 58 120 -107: 86 58 | 17 57 -57: "a" -9: 57 112 | 58 90 -40: 57 104 | 58 45 -38: 58 94 | 57 30 -106: 57 63 | 58 76 -97: 57 60 | 58 116 -96: 57 77 | 58 72 -41: 63 57 | 19 58 -63: 24 58 | 62 57 -78: 57 47 | 58 103 -131: 30 57 | 62 58 -77: 57 58 -55: 57 9 | 58 100 -69: 96 58 | 43 57 -36: 72 57 | 123 58 -33: 58 101 | 57 26 -53: 58 47 | 57 94 -70: 38 58 | 37 57 -20: 84 57 | 13 58 -2: 57 123 | 58 72 -84: 58 16 | 57 66 -34: 58 5 | 57 62 -56: 85 58 | 3 57 -126: 15 57 | 59 58 -87: 57 80 | 58 51 -93: 58 61 | 57 4 -99: 58 92 | 57 16 -110: 57 83 | 58 124 -10: 57 24 | 58 62 -27: 57 30 -29: 54 57 | 103 58 -103: 57 121 | 58 58 -46: 57 18 | 58 130 -50: 89 57 | 115 58 -79: 57 5 | 58 103 -1: 123 58 | 77 57 -61: 57 128 | 58 39 -109: 116 58 | 96 57 -66: 82 57 | 47 58 -117: 53 58 | 91 57 -124: 118 57 | 7 58 -22: 77 57 | 125 58 -39: 58 66 | 57 44 -51: 58 77 | 57 47 -73: 57 56 | 58 21 -60: 77 57 | 82 58 -91: 24 58 | 123 57 -16: 30 58 | 82 57 -120: 22 57 | 64 58 -81: 57 105 | 58 73 -133: 58 114 | 57 44 -18: 57 60 | 58 22 -8: 42 | 42 8 -108: 58 10 | 57 118 -74: 30 57 | 77 58 -121: 58 | 57 -5: 57 57 | 58 121 - -aaaabbaaaaababbaabbbbbbbabbbbaabbabaabbbbbbbaaba -ababaaabbbabababbabbbbba -bbbbaaaaabbbababaaabbbaa -bbbbbaaaabbbababbaaaabab -aaabaababbabaabaaabababaabaaaaabbbbabbba -bbaaabababbaabbbbabaaababababaaaabbbaaba -bbbaabbabaabaabaababaaaaabaaabaabaabbbabbaababbb -aaaaaabbabbaabbbbbbbaaaaaaaaabab -bbaaabbbbaababaabbbbbbaabbbbababbabbabaaaabaababbaaaaabbaabaaaba -ababbbbbabbaabbbbbbbbaab -aabbabaaaaabbaabaaaaaabb -aaabaabaaababbabaaabbaba -bbbaaaabbbbbaaabbababaabaaaaabba -aaaabbbbaaabaabaaaaaaaabbaabbaaababbbbbb -bbbbbbaabbaaababababbaaabbabbbaabaaaaaaa -aaabbaaaaabababaaababbbbabbbbabbbabaaaabbbbaabbb -baabbbbbaabbbabaabbaaabbbaaaabaababaabbaabbabaaa -abbaaababaaabbbaaabbbababbaabbbb -bbbaaababbbbaaabbaabbbaaaaaabababbaabaaaabbaaaababbabbaa -bbaaaaabbbabbabbbbabbbaa -baabababbbaaababbabababbabaaabab -babbababbbaaababbbaaaaaabababbbbabaabbaababbbbaabbbaabab -bababbbbbbaaaaaabaabbbbb -aabaaaabbabababbabaaaabaaabbaaaabbabbbbbbbbbabaaababbabb -baabbaabaababbabbabbbaab -abaaabaaabbbabababbababbbaaaaaab -babbaaabaabababaabaabababaaababa -bbbaaaaaaaabbbababaaabab -aaababaaaabaabbbaabaaaabbbababbabababbabaaabbaabbbaabbababbaabab -abbbaabbbabababbbabaabaabbaabbbbabaabbbb -aaaaaaabbaabaabaaabbaaab -aabbabbabbabaabbabaababaaaaaabaa -aaabbaabbabaabaababbbbaa -baabaababbabbaababbabaabbbabbaabaaabbabbabbaaabb -babbbbabbaababaababbbbabbbbaabab -bbaaaaaaabbbbbaabbbbbaabbaaaabbb -aabbbbbbaabbabbabbbbaaaabbbaaaaaabbbaabaabaabaaa -aaabbabbbaaababbaaabaaaabbbaaaaaabbbbbabbababbba -ababbaaabbbabaabbabbbbabbababababababaabaabaaabb -babaaabababaaaaaabaaabbabbaaaababaababbb -bbbabaabaaaaaaabaaabbaaabaababbb -abbaaaaaabbaaabababababababaaaaabaabbbbbabbabbba -abbbaabbbaabaabaaaabbbabaabaabba -aababbaabbaaaaaaaabaabbbbbababaaabababaa -aaabbabbbabaaababaabaaab -bbaaaabbaaabbabbbbbabaababbbbabaabbabbba -bababaaabbaaaaaabaaaabba -baaabaaabaaabbbbbaaaaaaa -bbbaaabaababaabbbbbaabbaaaaaaaabaabbabab -abaababaaabbaaaaaabaabaaabbbabba -aabbbbbbbaaabbbbaaabaabbbbbaaabaabbaaabaabbbababbabbabba -bbaababaaabbbbabbbbaaabbbbbbbbbaabbbabbbaaaaabaa -aabababbaaabaaaaaaaaabab -babaabbbabaaaaaaababbabaababbbbaaaabbaaabbbaabaa -aabaaaabbbaaabbaaabababbbbbbbabbaabbbaaaaabaababbabaaabbbbababbbabbbbaaa -abaabbababbababbaaaabbabaaaabbaaaaaabaaa -bbbaabaaaaabaaaabaababaaabbaabaabbbbabaa -babbabbbbabababbaabaabbbbbbabbbbabbbbbab -abbbabaaaaaabaabaaabbabbabaaaabbabaaabbb -abaaabbababaaabaaababbaabbabaaabbabaabbbaaaabaaaaababbba -bababbbbbaabaaaabaabababbbbaaabaaabbbbaaaabbbbba -ababbbbbaabababbaaababaababbbbbaabaabbaaabaaaaabaabbbbba -babaabaaabbababbaaabbbabbaababba -baaaabbbbbaaaaaaaababbbbaabaabba -abbababbaabbbbbbbbbbbaba -baaaabaaaabbbaaaabababbbbaaabbabaaaabaaaababaaaabbabbbaa -baababbaaaaaaaaababbaabaabbaaabaabbbbaababbbabaabbabbaaabaaaabbbbaaababa -abaaabaaabbaabbbbababbaabaaababbaabababaabbbaaba -baabbaabbbbbababbbaaaaabaaaabaababbbaaababababaababbaabaababbaab -abbbaabbaaaabbaabbaabaab -aabbbaaaaabbbaaaabbaabab -aaaababbabaabbabaaaaabbb -aaababaaaaaaaabbaaaaabab -aaaaaaababbabbababababaa -aaabaaaabaaababbabaaabaabaaabaaabbabbbaaaaaaabaa -abbbababaabaabbbabaabababbaaababbaabbbaababbbaab -babaaaabbbbbbbbabbbaaaabbababaabbabbaaabbbbababbababbababaabbaaa -aaaabbabababbaaaaababbabbaabaaaaabbaabab -bbabaabbaaababaabbaabbbb -aabaabbbbbabbabaabbbbbbbaaaabaababbaaabaabbabbbb -babbabbbaaaabbaabaabbaabbbbbababbbaabbbaaaabbbbababbbaba -abbbbbbabbabaaaababbaabaabababbabbbbbababbbbbaababbbaaaa -ababbbbbaaaababbbabbabbbabaababbbbababbabbbaababaaabbbbb -baaaaaaabbaabbababababbabbbbbaba -bbaaabbbbabbaaaabbbbbaaabaabbaaa -abaaaaaaababbbabbbbbabba -babababbabbaaaaabbabbaabaabbbbaaabbaabba -bbabaaabbababaabbbbabbba -abaaabbaabbaabbbabbaaaaabaabbaabaabbaabb -babbaaabbabbbbbaaabaaaba -babababbbbbbbabbbababbba -abbbababbababaaabbbbababbabbbaba -bbaaaaabbaaababbbbbbaaabbabaabbbabbabbaa -bbabaaaaabaaaabbbaaaaaba -babaabaababbbbbaaaaaaabababababbaabaabaaabaabbbb -babbabaaaabbabbbbaabbbab -bbabaaabbbbbaaaaababababbaababaaabaabbbaabaaabbb -bababaaabbabbaabbabaaaaababbabbaabbabbba -abbaabababababbbabaaabbb -bbabbbaaaaaabbbbbbbaaababbabaabaaabaaabbaabaabaa -baabbaabbabbbbabbaaabaab -aaaaaaabbbbbababbbbbababbabaabbabbbbbbbb -baabaaaabaabbbbabbaaabbababbabaababaaabb -bbaaaaaaabaababbbbbaabaababbaaba -bbbababaaababbaababaaaabbbaabaabbaabbbbb -abaabbabababaaaabbbaabbabaababbbbabbabba -bbbabababbbbbaaabbbbaaabaabbbbba -abbaabbbbbbbababaaaabbbbabbababbbbaabbab -abaaabaabbabbbaaaabbabbbbbbaabab -babaaaaabbabaaaabbabbaaaababababaababbabbabaabba -bbaaabbbbabaaababbabbabaaaaaaababababababaaaaabbabbabbabbaabbbaaaaaaabba -abaaabaaaaabbaabababaaabbaababaababaabbabbbbbbababbbbaba -bbababbababaaababbabbbba -abbbabbaaababbaabbabbaaaaaabaaaababaabab -aaababaababaabaaaaababbbabaabaaa -bbbbbbaababbaaabbbbaaabaaaaaaaabbbbaaababaaabbab -babbbbbaaabababbababaaaababbbabbaabaabba -bbaaababbbabaababaaabbaabbabaaaaaaaabbaabaaaaabb -aabbbaabbbabaababaabbaabbaababba -bbaaababbabbbabbbabaabbbbbababbb -aaababbaaaaaaababbbaaabbabbbaaabaabbbbaaaabaabab -aaababaaabbbabababaaabbabbaaabaaaaabbbba -bbaaaaaaabbabaabbbbababaaaaabbbbaabaaabb -bbabbbababbbbbbbaaaabbaabbaabababaabaabb -babababbabaaabbabbbabbbb -bbabbaabababaaaaaabbabaabaabaabaaabbaaab -aaaaaaabbbabababbbaaaaba -baababaabbabbababaaaaaab -ababababababababbbbbbabbabaaabababbbbbaa -abaabaabaabaaaaaabbababaabbbabbb -babbbbabbababaabbaababba -bbabaaabbaababaaaaaaaaaa -baaabbbbbbbababaabaababaaabababbabbaababababaaba -abbababbbabaaaabaaaaabba -abaababbaabbbaaabbbabbbababbbbbaabababababbbbbabbbbabaab -bbabbbaabaaabaaaaaaaaabbbbaaaaabbbbbbaab -abbbbaababaabbababbbaaabbaabbbab -abbbabbaabbbababbbbaaababababbba -abbaabbbababaabbabaaaabaabaaaabbbabbaaba -aabbbbbabbaaaabbabbbbbababaabaabbabbabbbabbaaabbbaabababababbbbaaabbababbbabbbba -bbaaabbaabaababbababbaba -abaaabbaabaaabaaaaabbabbbabbbaab -ababababbbabaabbabaabaab -aababbabbababbbbaababaaa -abbaaabaaaabbaabbbbbbaab -aababbbbabbaabbaaabaaaaaabaababbabbbbbbbbabaabbbbbabbabb -ababaabbaaaabaabababbaaaabbbababbbabbbbb -abaabbabbababaaabbbabababaabbabbbbaaaaba -bbbaabbabbabbbabbabaaaaaaaaababbaaabbaabbababaaa -aabbabaaabbbabbabaababababaaaababaababaabaabbbaaabaabbaaabbabbba -aaaabbbbbaaababbbababaabbaaaabbbbbabababbaaaaabb -baaaabbbbbabaaaaaaababbb -abbbbaabaaabbbbbbababaaaabaabbbbbbaabaaabbbabbabbbbaaaabaabbbbabbababbbaaabbbabb -bbaaaabbabaaaabbabbaaababbbabaaabaaabbba -abbababbbbbaabbaaaaaabba -babbabaabbbbbabbaaabaaab -abaaabbaaaababaabbaabbbb -abaabbabaaabbaabbaabababbbbabaaaabababba -ababababbabbbaaaababbabb -bbbbabaabbbbbbbbbabbbabbbbbbabaa -babaaaaaaabbabbababaabaababbabba -bbaaabbabababaabaaaaabab -abbbaaabaabaabbbbabbaaababbababbbaabaaab -abaaabaaaaabbabbbbbaabaaababbbbbaabbbbba -aabababbaaaabbbaaaabbbba -aabbbaabbbbaaabbbbbaabbaabababaa -bababbabbbabaababbbaaababababbaaaababbaabbbababb -bbbababaaababbabbabbbaba -aababababababbaababbbaba -aababbabaabbabbbaabaaaabaabbbabb -bbabababbababaaaaaababbabbbaabbb -aababbabbbaaaaabbbabbbba -bbaaaaabbaabaababaaabaaaaababbabbbbbaabbbaabaabbaaaaabbb -baabbaabbbbaaabbababababbbaabbbb -aaaabaaaaaabaaababaababbabbbbbbbababababaaabbbbbaabaaaba -abbbababbababbaabababbba -abbbbbbbaababbabbabbbaaaabaaaabbbaaabbbbbbaaabaaaaaaabbababbbbaa -babbbbbababbaaaaaaaaabaa -abbbbbbaaaaabaabbaaaaabb -aabaaaabbabababbbbaaababaabbbaabbaabbaaabbaabbaabbbbabaa -baaaabbbbaaabbbbaabbbaabbaabaabaaaaabbaaaaaaabaa -aaababbabababaaaaababbbbabababba -bbabbababaabaabaaabbbbbbababaabbabaaaabbabbbbbab -aababbabbbbaaaabbbaababaaababbaabbbbbaba -bababbabbbbbbbaababbbbaa -ababababaaaaaabaabbbbbbaaababbaabaaabaaaaabaaabb -aabbabbbababaaababaababbaababaaa -bbbaabbabaabbbbabbbaabbabaaaaaaa -aabababbabbaaabaaaabaaaaaaabbbabaabbbaba -aaabbaabbbbabaababbaaaab -baabbbbaaaaabaabbaaaaaaa -aaabbaaaabbbabaaababababbbabbbaabbbbaaaaabbbbaaa -aabbbaabbbbbbabbabaababaaaabaabaabbaaaaa -babbabaaaabbbbbbaaabababbbbbbaab -bbbbbabbbababababaaabaaaabaabbbbabaaabab -babbbbbabbaaababbbbabbaa -aaaaaabbbabbbbabbbaaaaabbbbaaaabaabaabaabaababbb -aabbbaaabbbbaaaaabaabaaa -aabababbbababbabaaaaabba -bbbbababbbaaaaaababaabba -aabbaaaaaabbabaaaaaaaabbbbaaabbabbbbbbab -aaaaaabbbbbbababbaaabbba -bbaaaaaababbababbbaaabaa -aaabbaaabbabbbababbbbabbbabaaaaaabbabbababbbbabaabaabbba -babaabaaaaababaabaabbaba -bbabbabaaabbbbabaaaaaababbbbaaabaabaaaababbbbbab -bbababbaabaababbbabbabbbbbaabbba -baaabbaaababbaaabababbabaabbaaaabaaaaaaa -abaaabababbbaaaaaaaaaabbbababbbabababbab -aaaaababaaabbbbbabbbbbab -aaaabbbabbaaaaaaaabaabaa -aabbbbbbabbaaababbaaaaaaaabbabbbbaabaabb -aabbbaabaaabaaaaaabbbbaabaabbaaa -ababbaaaabbbababbbbababb -babaabbbbaababbbbabbaaaaababbabababaaaabaabaaabaabaabbbababbbabb -baaaabbabbbbabbbbababbbbbbabbbaabbbbaaaabbbabaaa -aaabaaaaaaabaababbbbbabbbaababbaaabbaaba -bbabbaaaababaaabbbababaaaaaaabaaaaaaababaaabbbba -aaaabaabaabababbabaabbbb -bbababbaaababbabbabababaaabbaaba -abaaaabbbabbabaabbbbbbab -babaaaababaababaaabbabbbbbbbabba -aaaabaabaaabbabaaaabaaaaaabbbbaaaaaaaabbbabaabbbababbbbb -aaababaababaaabaabbaabbbaaabaaaababaabbbbaabaabb -baababaabbbbbbbababbaaabababbaaaaaaabbaabbabaabbbaaaaabbaabbbbba -bbabbaaabbbaaaabababbbba -bbbbaabbbabaaaaaaaaaaababaabaaaabaabbbabbbaababbbabbbbbbaabaaabb -abaaaabaaaaabaabababaaaabbbbaaab -ababaabbbbbbababbabbbbababaaaaaaabbbaaaa -aaaabbbbabbbbbbaabbbbabbabaaabbb -aabaababbbbbabbabbaaabaaabbaaaab -bababbabbaaaabbbabbabbab -ababbbbbbbbaabaaababbbbbbbaababb -aababbaaaaaabbbbaabbaaaababababbaabaaaaababbbbbbaabbbabb -bbaaaabbabbbbbbaaaabbaabaabbabab -aabbabbaaabaaaabbaababababaaabbb -ababababbbaaaaabaaaabbbaabbbbbbabaabababbabaaababbaabbbabbaabbaa -aabbabbaabbababbabbabaabbabbabba -baaaabbbabbabaabaaabbaabbaaaabaabaaabbba -bbbbaaabbabaaabaababaaaababbababababbaaababaaabbaabbbabbababbbba -bbbabaabbbbaaabababbaaabababbbbaabbababa -bbbaabaaaabbbbbbababbbbbababbbabbbabbbbabbbabbaa -babbababaaaabbbbabbbbaaa -bbabbbabbbaaaaaaaabaaabb -bbabababbbabaaabbaabbbbaaababaaa -aabaaaabbbbaaaaabababbbbabbaabba -aabbbbbbbabaaaaabaaaabaa -bbaaaaaabbbbbabbbbaabbba -bababbbbbabaaabbaaaabbba -ababaaabbababaabababbbbbabbbaaabbbaabbba -bbbbbbbaaaabbbababaaaaab -aaababbababbababbabbbaaaaaababababaaaababababbabbabbabaabaababbabbaaababbbabbbab -babbababbbabaabaabbbaaaa -babbabaaaaaabbabaababbba -babbaaabbabaaaaaaaaabbbbbbbaabbaaababbba -aaabaababaabaaaaaaaabaabaababababbaabbba -bbbaabbabbbaaaaaaabbbaabbbaaaaababaaaaaaaaaabaaaaaabbbba -abbbabbabbababbababbaaba -bbbaaaaabababbaabbbabaaa -babbabbbabbaaabaabbbaabbaabbbbaaaaabbabbaaabaababaabbaaa -bababbbbbbabbaaaabababaa -bbabbaabababababbaaaabaa -babaabaabbabaabbabbbbbbbababaaaaaabbbbbbbbbbababbaabbaba -bbaaabbaaaabaaaaabbaababaabbabab -bbbaaaaaabbbabbaaababbba -aaaabbaaaabaabbbbabaaaabbbbbbbbb -abbababbbbabbaaabaabaaab -aaababbbabbbaaabbbaaabbbaababbbbbabababaaababababbaabaab -bbabbbbaababbbaaabbbbabaaababaaa -bbbaabaaabbbbabbbaaabaaaaabaaaabbbbbaababbaaabaaaaaaaaaa -aaabbbabbbaaababbbabbaaabaaabbaaaaabababbaabbbab -bbabaabbaabbbbaaaabbaaaabaababbbabaabaaa -baaabbbbbbaaabbaabbbbbbaaaabaaab -bbbaaabbabbaaaaabaababbb -aabbabbbaaabaabbbabababbbabbbbabbbabaaabaaaaaaaaaaabbbba -bbbaabbaaaaabbbababbbbaa -aaaaaaabbbaaababaaabaabababbbaba -babababbbaababababaaaabaaaabbbaa -bbbaaaaaabbbbaabaaabaabbbbbaaabb -bbbbbaaabbbbbbbaaaaabbaaaaaabaaa -aabababbaaabbbabbbabaabbbaaabababaaaaaaa -bababaaabbabbbaabaabbaabaaaabbbbbaaababbbbabbabbbaababbb -bbbbbabbaaabbaabbbaababb -bbaaaabbaaabbabbbbabbbaababbbaabbbbbbbab -ababaabbbbabbaabbaaaaaaa -abaaaabaabaababbbababbabaabaababaaaaaaaa -abbbabaabbabababbbbaaaaaabbaabab -bbbbbabbaabbbbaaabbbbbba -bbaaaabbaaaababbbbbbbabbbababbbbaabbabaaaaabbbbbbabaabba -bbbaabaababaaaabaaabbbba -bbababbabbbbabbababaababbbabbbbbaabaabbaabbbabab -abbbabbabbabaabbbaababaaababaabbbbaabaaa -bababaaaaabbbaabbbbbbaabbaabbabb -abbbbbbaabbaaaaaaabbaaaaaabbbaaababaababbbbabbba -bbbabababbbaaabbabbbaaababbbabbb -aaaabaabaabbaaaaaaaaaabababbaabb -bbaaabbbababaabbbbbbbaaaababbabaaabbbbba -bbbaaabbaabaabbbaabbbbaaaababbbbabbbaabbbbaabbba -ababaaabbbabbbabaabababbabababaabbababaa -aabbabbbbabbaaababbbbbab -abaaabbabababbababbaabbbaaaabbabaababbaabbababaaabababbabbbbbbbb -abaabaaababbaabbbbbabaabbabbaabbabaabbaa -ababbbbbaaababaaaababaaa -abaaaabbaabbabbaaabbaaba -baabaaaabbbbababaabbabaaaababbaaabbabbbaabaabbaa -aaabaababaaababbaabbabbbbbbaabbb -abbbababbbabababbaabaabababbabababbbabbaaaaaaaaabaabbabb -abaaabbaaaaaaabbaaaabbaaaaababbababbabaabbaabbabbaabaabb -bbbaabaabbaaaaabaaabbabbaaaababa -bababbaaabbabbabbaaabbabbabaaabbaaaaabba -aabaabbbbaabbbbabababaababaabbbbbbbabbba -bbaabbbaabaabaaabbaabbbb -bababababaaaabbbbbaabbab -bbbbbabbaabaabbbbababbaaabbbaababbbbbbbb -abababaabbbbaaaababaaaaabbaaabbbabbababbbabaabba -abbbbabbbaabbbbaaabbbaababbbabbabaaaabaaaababaab -abaaaaaabababbaaaabbaaab -bbaaaababbbbbbbbbaaaabab -bbaaabbbaababababaabaaaaabaaabaaababbbabaabaaaababbabbbabbbbabbbababbbbaabbabbab -bbbbaaabbbbabbaaaababaaabababaabbabaabababbbbabbbabbbabbabaabbabbbbaaaaa -aababbabababbbbabbaabbbbbbaabaaaaabbaaabbaaaababbabbabaaababaaaa -aabbbbbbbababbabbbaabaaaabaaaaaabbbbababaaabaabaaabbbbbbabaabbbbaaababbbbaaaabba -baabbbbaaababbbbbbbbaaababaaaaabaabaabab -abaaaababbbbbbbaaaaaaabbbababbaaabbaabab -bbbbaaaaabbbabaaaaaaaaaa -bbbabaabbababbbbaabbabab -bbabaaaaabbaaabaabbaabba -bbabaaabbaabaaaababababaaaabbbbbbbaababb -abbbbaaababaabaababaabbbaabbbbbbbabaabbb -aabbbaababaababbaaabababbababaabaabaaaaa -baaabbbbaabbabbaabbbabbb -aaabbabbbaaabbaaaabbaaaabaabaabb -abaaabbababbaaaaabbbaaaa -aabbabbaaaabbabbaaabbbba -baaabaaabbbbabaabbbabbbbabaaaaababaaabaaabbbbbbaababbbbbbbbbabbaabbabbaababbaabababbaaba -aaabbabbbbbbaaabaaababbbbabbbaaaaaabbbba -aaabaaaaaabbabaaabaabbabaababbbabaababbb -aabababbabaababababbbaba -bbbbaaaabbaaaaaababaabbb -baabaababaaaabbbabbbbaabbaabbabb -baaaabbbaaaaaabaabbbaabbbabaabaaabbaaaab -aaabaabaaaabbabbbbaabbbb -bbbaaaaaababaaaababaabaabbbaabaababbaaaabbaaaaaaaabaaabb -abaabababbbaabaabbaaaaabaabbabab -aaababaabababbaabbbbbaaabaaabbbbbabaababbaabbaba -aaaabaababaabbabaaabbaaaababaaabaaabaabababbababaababaab -aaaaaabbaaabbabbbaabbbab -bbabbaabbbabbaabbbabbaaabbbbbaba -baabbbbaaaaaaababbbbbbbaabaabbbaaabbaabb -bbaaababababaaabbabbbaba -baaabaaabbbaaababbabbbaaaabbabaaabbabbab -bbaaabbbaaabaabbbaabbabb -bbbabaabaabbbbbbbabaabab -babbaaaaaaababbabaabaaaaababaaabbaabaabababababaaaaaabaabbaabbba -bbabbaabbaaabaaabaabaabbaabbabab -babbaaabaaabaaaabaaabbbbaababaaababbbbaa -abbaaaaababbbbbaabbaabaa -babbabababaaaabbbbbabaaa -abaaabaabbaaabbaaaabaabbaabbbabaaaaababa -bbbbabbbabbaabbabaaabbbaabbababbbabbbaabaabbababaabbabaabbabbbaaabaaabbbbbbabbaa -aababbabbbabaababbabaaab -baabbbbabbaababaaabababbaaabbabbaaabaabbaaabbaaabbabbbbbabbbbaaa -ababababababaaaabbbbabba -aabbbaaaaaababbbbbbaabaaabbbabababbaabbbaaaaabaa -bababaabbabbaaabbbbbbaba -abaaaabbbababbbbabaaabaaabbaaaab -babbababbaabbaabaaababaabaaabbaaaabbaaabbbababbbbabbbbaa -aaaabbababbbaabbbababbbbaaababbbabbaabab -bbaaaaaababbbbbaaabbbbbbabbbaaababaabababaaaaaab -abaaabbaaababbabbbbbbaaaababaaaaaabbaaab -aaababbabbbaabaabababbaabbabbbababbaaaabbaaaaaabaaaaabbbbabbaabb -bababbaaababbaaababbabaaaababbba -baabaabaabaaabaaaabbbaabaaaabaaabaaabbab -aaaaaabbabbababbbbaabaab -baabaababbbbaaaababbabab -aaaaaabbaaaabbaaaaaaaababaaaabaabbababbb -bbabaaababaaaabaababbbbbabaabbba -aaaababbbabaaababbbbaaba -babbaaabbaabbaabbbbbababbabaabaaabbbbaabaabbaaba