From 01d387264c12bf9f251f0fa27673084bf580fe75 Mon Sep 17 00:00:00 2001
From: Dustin Swan <dustin@dustinswan.com>
Date: Sun, 20 Dec 2020 01:29:41 -0500
Subject: [PATCH 1/2] day18

---
 day18.1.ml |  90 +++++++++++++
 day18.2.ml | 106 +++++++++++++++
 day18.txt  | 373 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 569 insertions(+)
 create mode 100644 day18.1.ml
 create mode 100644 day18.2.ml
 create mode 100644 day18.txt

diff --git a/day18.1.ml b/day18.1.ml
new file mode 100644
index 0000000..4e62f91
--- /dev/null
+++ b/day18.1.ml
@@ -0,0 +1,90 @@
+(* 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
new file mode 100644
index 0000000..2217f7e
--- /dev/null
+++ b/day18.2.ml
@@ -0,0 +1,106 @@
+(* 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
new file mode 100644
index 0000000..a2341bf
--- /dev/null
+++ b/day18.txt
@@ -0,0 +1,373 @@
+(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)

From e7a329d126b1edde12f36eefcd147d46abbcadd2 Mon Sep 17 00:00:00 2001
From: Dustin Swan <dustin@dustinswan.com>
Date: Sun, 20 Dec 2020 01:29:58 -0500
Subject: [PATCH 2/2] day19

---
 day19.ml  | 103 +++++++++++
 day19.txt | 514 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 617 insertions(+)
 create mode 100644 day19.ml
 create mode 100644 day19.txt

diff --git a/day19.ml b/day19.ml
new file mode 100644
index 0000000..c359176
--- /dev/null
+++ b/day19.ml
@@ -0,0 +1,103 @@
+#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
new file mode 100644
index 0000000..bee4b49
--- /dev/null
+++ b/day19.txt
@@ -0,0 +1,514 @@
+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