Compare commits

...

2 Commits

Author SHA1 Message Date
Dustin Swan e7a329d126 day19 3 years ago
Dustin Swan 01d387264c day18 3 years ago

@ -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;

@ -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;

@ -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)

@ -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);

@ -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
Loading…
Cancel
Save