From f84d404eb9a970ae7bee5ac433f2eb4af25e35a2 Mon Sep 17 00:00:00 2001 From: Xiretza Date: Fri, 18 Dec 2020 13:37:54 +0100 Subject: [PATCH] day18: add haskell solution --- 2020/README.md | 3 + 2020/data/day18.expected | 2 + 2020/data/day18.input | 376 +++++++++++++++++++++++++++++++++++++++ 2020/day18/day18.hs | 56 ++++++ 4 files changed, 437 insertions(+) create mode 100644 2020/data/day18.expected create mode 100644 2020/data/day18.input create mode 100644 2020/day18/day18.hs diff --git a/2020/README.md b/2020/README.md index 4f7a0a1..f5bc72a 100644 --- a/2020/README.md +++ b/2020/README.md @@ -17,9 +17,12 @@ https://adventofcode.com/2020/ | 9 | | `**` | | |10 | | `**` | | |11 | `**` | | | +|12 | | | | |13 | | `**` | | |14 | | `**` | | |15 | `**` | | | |16 | | `**` | | +|17 | | | | +|18 | | `**` | | `test.sh` can be used to run all solutions and automatically compares them to (my) puzzle inputs and the expected outputs. diff --git a/2020/data/day18.expected b/2020/data/day18.expected new file mode 100644 index 0000000..d82c9fb --- /dev/null +++ b/2020/data/day18.expected @@ -0,0 +1,2 @@ +2743012121210 +65658760783597 diff --git a/2020/data/day18.input b/2020/data/day18.input new file mode 100644 index 0000000..4eaf00c --- /dev/null +++ b/2020/data/day18.input @@ -0,0 +1,376 @@ +(9 + (5 + 2 + 2 * 4) * (7 + 7 * 5 * 3) + 7) + 2 + 4 * 2 + 3 * (8 + 5) +3 + 5 + (9 + 2 * 5) + (6 * 4 + 8) * 9 + 3 +6 + 4 * ((4 * 8 * 3 * 5) + 8 * 6 + 7 + 6 * (3 + 5 + 6 * 4)) * 2 * 7 +4 * (9 * 2) + 2 + (3 + 2 * 5 * (5 * 3 + 9 * 5 * 9) + 4 + 9) +(9 * (7 * 7 * 2 + 3 + 8 + 8) + 5 + 5) + 9 * 6 +4 + (2 + 2 * 6 + 3 * (9 * 8 * 3) * 2) * 2 * (8 + 7 * 3 * 9 + 2 + 4) + 7 + (4 * 7 + 3 + 2 + 4) +(2 * 3) * 4 + 9 * 7 + 5 + 9 +9 * (9 + 4 + (6 + 2 + 8 + 6 * 4) * 6 + (7 + 7 + 9)) + 9 +7 * (9 + 2 + 8) + 3 + (5 * 5) + 9 +6 * ((8 + 9 * 9 * 5 * 5) * (4 * 9 + 5) + 3 + (2 + 9 * 4 + 5 * 6 * 3) * (9 + 8 + 3)) + 7 + 3 * 2 + 9 +(2 * 9 * (9 + 3 * 3 * 3 * 7 * 4)) + 2 + ((3 + 5 + 7 + 9 + 7) * 2 + 5 * 5 * 9) +2 + 5 + 3 + (8 + (8 + 8 + 4 * 9 * 7) * (8 * 6 + 2) * 9 + 2 + 6) * 3 +(8 * 8 * 7) + 5 +(3 * 5 * 9 * (2 + 9 + 5 * 3)) + (7 + 2 + 8) + 2 * (8 * 2) +8 + 2 + (3 * 7 * 2 + 9 + 9) * 3 + ((3 + 2 * 6 + 8 * 6 * 8) + 3 * 8 + 7) + (2 * (7 + 7 + 7 * 6 * 9 + 5) * 3 + 3 + (7 + 9)) +6 * (3 * 8 + 3 * 9 + 7 * 2) + 9 * 7 * 3 + (9 * 7 * 5 * 7 + (6 + 5) * 6) +4 * (6 * 3 * 9 + 5 + 2 * 2) * (2 * 5 * 2 * 6 * (9 + 9 * 7 + 6 * 8)) +(9 + (2 + 7 + 8)) * 6 + 5 + 6 +6 + ((4 + 5 * 9) + (9 + 4 * 7) * 6 * 7 + (3 * 2 + 9 + 4) * (6 * 3)) + 5 + 6 +4 * 4 + 9 + 9 +2 + 5 * (8 * 2 * 3 * (2 + 3 + 3 + 3 * 5) + (7 + 8)) * 6 + (9 + 8 * (9 + 8) * 3 * 3 * (2 * 8 * 5 + 6)) + 5 +7 * (4 * (8 + 8 * 3) + 7 + 3 + 6 * (8 + 4)) + 2 * 8 +5 * (3 + 7 * 4 * (4 + 8 + 8 * 2 + 6) + (5 * 6 + 8 * 5 + 8)) * 6 +(9 * 2 + 7) + 9 + 9 * 6 +3 + 6 + 7 * (7 + (7 * 9 + 5 + 5) * 7) * (7 * 9 * 9 * 2 * 2 + 7) +5 * (8 * 9) + 6 +9 + (6 + 4 * 5) * (2 + 7 + 9 * 2 + 7) + 5 * (8 * 4 * 3 * 7 * 5 * 3) +6 * (9 * 6 + 4 * 8) +4 * (6 * 7 + (4 + 2 * 3 + 3 * 5) * 6 * 7) +6 * (5 + (2 * 4 * 5 + 7 * 8 * 5) * 6 * 2 + 6 * 3) +((7 + 2 + 8) + 2 + 7 + (4 * 3 * 4) + 3 * 6) + 6 + 2 * (8 + 8) + 2 +7 + (6 * 9 * (9 * 5 * 2)) * 4 * (7 + 5) + 5 +5 + 8 +9 + 2 * 6 + (9 * 2 + 2) * ((9 * 4) + (9 + 9 + 8) + 3 * 4 * 8 * (9 + 8)) + 2 +(8 * (5 + 8 * 4 * 2) * 5 * 5 + 5 * 3) + 4 +4 + (2 * 4 * 9 * (6 * 8) * 8) + 6 * (3 * 2 * 8) + (5 + 2) * 9 +((4 + 9 + 5 * 2) * 6 * 7 + 3 * 7 + 9) * 9 + 7 * 4 +(5 + 9 * (7 + 3 * 4 * 5 * 3 * 6) + (8 + 8 * 8 + 8 + 2)) * 6 +3 + 6 * 3 * (2 * 4 + 8) * 5 +2 * 9 * 5 * (9 + (7 + 3 + 3 * 9 + 9 * 5) + (7 * 7 * 6)) * 3 +6 * 9 * 7 * ((3 + 9 * 9) * 2) * 7 + (8 + (9 + 7 * 6 * 6 * 3) * 2 * 7 + (2 * 3 * 2 + 3) * (4 * 3 * 7)) +(3 + (3 * 2) + 3) + 2 +5 + (9 * (4 + 3 * 2 + 2 + 7) + 4 + (4 + 9) + 6) * 3 * (3 * (9 * 5 * 8 * 7 + 7 + 9) * 5) + (2 + 4 * (3 + 5 * 5 * 4 * 5 + 4) * 5 * 6 * 3) + ((2 + 7) * (8 + 2 + 4) + 8 + 7) +4 * 9 + 9 * (3 + 5) +(5 + 2 * 3 + 6) * 4 +6 * (5 + 5 * 2) * 3 * (7 * 7 + 4 + 5 + 8 + (3 + 2 + 6 * 4 * 4 + 5)) + 8 * 8 +6 * 2 * 9 + 2 + 9 + (8 * 9 + 8 + 7 * 3) +5 * 6 + 4 * (2 + 6 + 6 + 4 + 5) +(4 + 5 + 5 + 3 + 2) + 4 +((8 + 9 + 9 + 9) + 7) + ((2 + 6 + 7 + 7 * 2) * 9 + 3 + (9 + 9) + 8 * 4) +6 * 5 + 6 * 9 * 4 +8 + (4 * 6 + 8 + 8 + 3) + 5 + 9 * ((8 * 9 * 5 + 6) + 2 + 9) + 3 +9 + (9 * 2 + 6 + 7 + 5 * (9 + 5 + 7 * 3 * 7 + 6)) * 3 +((9 * 8) * 4) * 6 * 7 + 9 + (4 * (7 * 3 + 2 * 8 * 5 * 5) + 6 + 8 * 5 + 7) +3 * (6 + 2 + 2) * 8 + (5 + 4 + (5 + 4 + 6 * 9 + 2) + 9 + 7) * (9 + 2 * 7 * 6 + 4 * 5) * 9 +(7 + 3 * 4 + 2 + 5) + (7 + 2 + 6 * 9 + 7) + (8 * 4 * 2 * 7 * 7 + 5) * 2 * 7 * 2 +7 + 5 * 2 * (3 * 7 * 9 * 9) * (9 * 7 * 3 + 6 + 7) +3 * 4 * ((4 * 7 * 4 * 8) * (8 * 5 + 4 * 3 * 4 * 8) * 8 + 7) * ((6 * 5 * 5) + (6 + 4 * 6 + 3 + 5 * 8)) * 9 +(8 + 2 * 5 + 9 * 8) + ((6 + 6 * 3 + 8 * 5) + (5 + 7) * 9 + 2) + 5 + 5 + 7 + 8 +8 + 3 * 7 + (6 * 5 * 7) + 9 + 8 +8 * ((3 * 7) + (8 + 6 + 5) + 4 * 4 * 7 + 3) + (4 * (8 * 4 + 5 + 8 * 2)) + 7 + 4 * 8 +7 * 5 * 9 * 2 * ((3 + 3) * 5 + 4 + 2 * (5 * 5 * 6 + 4) * 5) * 3 +7 * (8 + 6 + 2) * 3 * 9 +8 * ((8 * 7 + 9 + 9 + 2) * 5 * (9 * 9 + 5 * 2 + 4 * 8)) + (5 + 2 * 9 + 6) * 5 + 9 +2 + (5 + (2 + 3 * 5 * 5) * 7 * 8 * 7 + 4) * 2 + 7 +9 * 6 * 2 * 2 * (3 + 3 + 3) +9 * (3 * (7 + 2 * 3) * (3 * 6 + 9) + 4) +5 * 9 + 4 + 3 + 6 + 3 +3 * 6 * (6 * (6 * 2) + 7 * (4 * 6 * 2 * 3 + 7)) + 6 * 4 * 8 +(2 + 3 * 4 + 6 + 6 + (4 * 3 * 8 + 6 + 2)) * 7 * 6 +(2 * 6) + 2 * 6 * 4 +8 + ((9 * 5 + 2 * 4 + 9) + 8) * 5 + 2 +7 + 4 * (8 * 6 + (3 + 5 * 8 + 8) + 9) + 5 * 8 +(5 * 9) * 9 + 8 * 6 + 5 +((3 * 9 + 3 + 2 * 2) + 2 * 3 + 5 + 8) * 4 * ((7 + 9 * 2) + 5 * 6 * (3 * 7 + 2 + 9)) +((9 + 5 + 9) + 7 + 9) + (3 * 7 + 6 * 5 * 8 * 3) + 8 * 7 +4 + 4 * 4 + (5 + (3 + 4 + 6 + 9 * 5) + 7 * 8 * 2 * 2) +((4 + 4 * 5) * (3 + 4 * 7 * 9 + 2 + 4) + 8 * 4 * 5 + 8) * 7 + 3 + 3 * 9 * ((8 + 3 * 3 + 2) * 3) +((7 * 5 * 3 + 5 * 2 * 6) * 8 * 6 + 8) * 5 * 2 + 6 + 5 * (4 * (6 + 2 * 9 * 3 + 2) + (8 + 2 * 7)) +3 + 7 * 6 + 9 * 9 + 2 +9 + 8 * (9 + (2 * 6 * 4) * 7) + 3 + 6 * 5 +(8 + 8 * (9 * 3 * 4 + 3)) + ((3 + 6 + 2) + 5 * 6 * 3 * 3 + 9) * 8 +4 + 8 * (3 * (6 + 9) + (2 + 9 + 2) * 4 + 7 + 2) +9 * 7 + (2 * 8 * 5 * (2 * 7) * 2 * (3 + 2 * 7 + 4)) +9 + 6 * (9 * 3 + 4) + 7 * 8 * (5 * 6 * 3 + 3 + 5 * 5) +8 * 7 * ((3 * 2 + 5 + 8 * 3 * 2) + 8 * 2) +(4 + 2 * (7 * 2 * 7) * 7 * 3) + 6 + 2 + 7 * 8 +((4 * 9 * 3 + 7) + 5 * (2 * 6 * 8) + 9) + 3 + 9 + (2 * 8 * 5 * 6 * 5) +8 * ((2 * 4 + 2 + 7) * 5) * (8 * 8 + 7 * 9 + 4 + 4) +6 + (3 + 8 + 3 + 2) * 3 * (7 + 7 + 2 * 4 + 8) +3 + 6 * 6 + 2 + ((4 + 6 + 6 * 3) * 2) * 4 +(6 * 4 + 4) * (9 + 2 * 4 + 5 + 5 + 5) +2 + 7 * 9 * ((2 * 4 + 5) * 9 * (5 + 6 * 5)) * (9 + 2 * 9 * 9 * 4 + 3) * 4 +9 + ((6 + 7 * 8 * 6 * 6 + 7) + (7 + 5 * 7 + 7 * 4 * 3)) + (9 * (3 * 2 * 7 + 6 * 4 + 6) * 3 * 9 * 9) +6 + 7 * (8 + 5) + 3 +(6 * (2 + 7 + 2 * 7 + 8) * (7 * 7 + 5 * 8 * 5) * 5 * 3 * (5 + 4 * 6 * 6 * 3 + 9)) + 6 * 7 + 4 +5 * 9 * (5 * 4 + 6 * 7) +6 * 6 * 5 * (5 + (4 * 5 + 5 + 2) + (6 * 7 + 4) * 7) * (3 + 3 + 2 + 7 * (4 + 8 * 5 + 7 + 9)) +(9 * 8 * 7 * 9 * 2 + 5) * 3 +(9 + 6 * 8 + 9 * 8 * 8) + 3 + (9 * 2 * 9 * 5 + 2) +(4 * (4 + 6 + 6 * 9 + 8 + 2) * (6 * 2) + 2) + 4 * 8 * 6 * (6 * 6) + 8 +8 * 7 * 5 +9 + (5 + 3 * 7 * 7 + 3 + 4) * (9 * 5 + 8 + 7 * 4) * 7 +9 + (8 * (8 + 7 * 4)) * 6 + 5 + 4 * 9 +5 + 4 + (2 * 5 + (5 * 4 + 2 * 9 * 4)) + 5 * 2 * 6 +3 * 9 + (5 + 3 + 4 * 8) * 6 + 8 +8 * (8 * (3 * 6 * 4) * (3 + 6 * 5 * 9 + 3)) * (3 + 6 + (5 + 4) * (9 * 6)) + 7 +8 * 2 + (9 * 6 * 4) + 7 * (4 * (9 * 4 * 4 * 9) * (5 * 9) * (3 * 4 * 3 * 6 * 3 * 6)) +(2 * 8 * 2 + 3) * 6 + 9 + 7 * 5 +(8 + 9 * 9 * (7 * 4 + 9 + 4 * 4 * 8)) + (2 + 6 + 4 + 2 * 6) + ((4 + 8 * 2) * 9 * (2 + 7 + 6 * 3 * 6 + 4) * 9 + (7 + 2 * 3 * 4) * 2) + 8 + 4 + 4 +4 + 5 * (7 * 4 * (2 * 9 * 4 + 2 + 7 + 7) + 2) +8 * (2 + 3 + 8 + (2 * 5 + 6) + 3 * 6) * 9 * 8 +8 + (2 + (3 + 2 * 3 + 9 * 2 + 7) * (7 * 5)) + 2 + 8 * 8 +6 + 7 + 9 * (6 + 3 * 9) + (2 + 6) * 9 +2 * ((6 * 4) * 8 * 8) + 2 * 4 * 6 +9 + 6 + 4 * 7 * 4 + ((9 * 6 * 8) * 8 * 2 + 6 * 6) +3 + 3 + 7 * 8 + 5 +4 + 2 + (2 + 7 * (4 + 6) + 3 * 4 * 9) * 2 + 8 +5 * 9 * (3 * (8 * 8 + 2 * 5) * 3 * 9 + 3) +2 + 8 * 4 + (2 * 7) * 5 +4 + (3 * 3) * ((3 * 8 + 6 * 4) + (4 + 6) * (2 + 6 + 4 + 3 + 9) * 9 * 5 * 6) * 7 * 9 +3 * 9 +4 + 8 + 2 * (6 + 4 + (8 * 4) * (9 + 4 + 2) + 7) * (9 * 7) +6 * 6 * (5 * (2 * 3 * 8)) + 3 + (8 * (9 + 6 * 2 + 8 * 4) * (2 * 8)) * 8 +((7 + 5 * 4 + 8 * 6 + 3) * (8 + 9 * 2 * 7 + 7 + 3) * 9) * 5 + 7 + 7 * 5 +5 * 4 + (5 + (2 + 7 * 9) * 2 + (4 * 7 + 8 * 9 * 5 + 7) * 9 * 4) * 4 * 5 +4 * (2 * 9 + 9 * 9) * (9 * 2 * 3 + 8) * 3 + 5 +9 + (3 * 8 + (9 * 6 * 3)) + 2 + ((5 * 8) + 5) * (5 + 5 + 2 * 7 + (4 + 4 + 5 + 9 * 2 * 2) * 7) +(2 + 4 + 4 + 6 * 5) + 2 * 8 +5 * 5 * ((4 * 8) + 6 * 5) * 5 +(6 * (4 + 9 * 3) * (2 * 8)) * 3 + 5 +6 * 2 + 9 + (4 * 9 + 2 * 2) + (5 * 8 + 5 * 4 * 2 * (4 * 5 * 6 + 8)) + 4 +(6 + 8 * 6 + 9 * 8) * (4 * 8 + 8) + 7 + 5 +5 * (2 * 6 * 2 * 2) * 9 + (4 + (2 * 3 * 5) * 7 * 2) +5 + 3 + (7 * 4 * 8 + 6) + 9 * 4 + (5 * 8 + 6 + 9) +9 + 4 + (8 * (4 + 2 * 7)) + 9 * (4 * 7 + (5 * 7 * 8 + 6) * 5 * 2) +7 + 9 + 5 + 8 * 2 + ((4 + 3 * 9 + 8 + 3 * 7) * (5 * 6 * 7 + 4)) +6 * (4 + (5 + 7 * 7 * 9 + 4) * 6 + 9 + 3) +(6 * (5 + 5 + 9 + 2 * 2) + 7 * 8 + 3 * 8) + 3 +(2 * 9 + (5 + 7 + 2) + 6 * 5) + 4 +9 + (7 + (8 * 9) * 4) * 6 * 4 +((3 + 2 + 9) * (6 * 6) * 8 * 8) + 6 + 2 + 7 * 8 + ((3 * 7 + 5 * 2 + 7) * 5 + 8) +4 + 8 + (6 + 4) + 7 + (4 * 6 + (9 + 8 * 2 * 6 * 2 + 8) + 7 + 2) +(7 * 2 + (8 * 3)) + 3 + 5 * (4 + 9 + 9 + (9 + 6)) * 4 * 5 +5 + ((2 * 2 * 2) * (7 * 7) * 6 + 6 + 8 * (3 + 3 + 2)) * 3 * 7 +9 * 6 * 6 + 5 * 6 * (7 * 8 + 9 * 4 * 2 + 7) +2 + (8 * 3) +(4 * (4 * 2 * 9 * 9 + 6) + (6 + 6 * 9) * 2 + 2) + ((4 + 9 + 6 + 4 + 9) + 7 * 7 * 2 + 4 + 3) * 2 +9 + 5 + 4 * 9 + 3 + (7 * (7 + 7 * 8) * 2 + (9 + 6 + 6 * 8)) +2 * 8 + 6 + 4 +4 * (7 + 4 * (6 * 6 * 8 * 9 * 2) + 6) + 9 + 7 + 7 * 4 +7 + 2 * 3 * 3 * (6 * (8 + 3) * (5 * 6 * 7 * 6 * 9 * 6) * 8) * 9 +7 + 4 + 5 * (5 * 4 + 9) +3 + 4 * 9 * 3 * 2 + 8 +(2 * 6 * (7 * 3)) * 2 + (4 * 9 * (6 + 7)) * 2 +4 + 5 + (3 + 9 + 8 * 3 * (6 * 4 * 4) * 2) +(9 * 3) + (7 * 7 + 2 + 4 + 2 * (9 * 9 * 5)) +((9 + 7) * 9 * 4 + 5 + 5) * 5 + 7 +3 + (2 + 5 * 6 * 2 * 5) * 4 + 2 + (9 * 9 * 6) * 8 +(4 * 3 + 7) * 8 * 5 +5 * (7 + (6 * 3 * 7 * 2 + 6) * 4 + 7 * (8 + 2 + 8 + 2)) * 8 * (8 + 7 * 5 + 3) +(3 * 7 * 7 + 8 * 4 * (2 * 9)) * 9 + 8 * 9 +5 + (4 + (4 * 4 + 5) + (7 + 9 * 7 + 5 + 4) + 2) +8 + 6 + 6 + ((8 + 5) + 7 + 2) +9 + 2 + 3 +7 + (4 * 6 + (9 + 6 * 6 + 8) * 6) + (6 * 4 + 2) +8 + (2 * 6 + (5 + 2 + 5) * 6 * (7 + 9 + 7 * 8 + 5 + 9) + 2) * 6 * (8 + 6 * 9 + 7 * 2) + 8 +(6 + 7 * 6 + 9) + 3 * ((8 + 4 * 4 + 6) * 3 * 6 + 4) +2 * 2 * (8 + 2 * 5 * 9 * 9) + (9 + 3 * 6) + 7 +2 * (7 + 3 * 3 + 4) * 8 * 9 +6 * 7 * 2 * 8 + (5 * 7 + 7 * 9 * (4 + 3 + 9 + 4 * 8)) +2 * (6 + 8 * (8 + 6 + 4 + 7) + 2 * 7 + 6) +9 + (9 * 4) + 9 * (9 + (2 * 4) + 3 + 9) * 7 +8 * (6 + 7) * (9 + 4 * 3 * 7 * (7 * 4 + 3 * 2 + 8 + 4) * 6) +(6 + 3 + 3 + 3 * 8 + (8 + 6 + 9)) * (2 + 8 + 6 * 6 * 9 + 6) + 8 +4 * 6 * 5 + (2 * 5 * (3 * 3 + 8 * 7)) + 8 +5 * 9 + 5 * 2 * (5 * 8 + 4 + 2 * 7) * 8 +(5 * 4) * 9 +5 * 6 + 7 * 4 +7 * (5 + 5) + ((3 + 4 * 2 + 4) * 7) * 9 * 4 * 3 +3 + (5 * 8 * 8 * 4 + 5 * 8) * 9 * ((2 + 6 + 9 + 3) * 6) +5 * 5 * (2 * 7 + 9 * (5 + 3 + 3) * 4 * 9) * 8 * 3 * 3 +6 + ((2 + 3 + 2) * 5 + 3 + 3) + (8 * 2 * 9) * 6 +(5 + (2 * 5 * 9 + 3 * 8 + 2) + (5 + 4 * 2 * 9 * 9 * 4) * 7 * (9 + 5 + 2)) * 2 * 9 + 8 * 5 +2 * (2 * 9 * 2 * 9 * 2 + 6) + 2 + (5 * 9 + 7 * 5 * 9) * 9 +3 + (6 * 9) + 6 * 4 * 5 +((9 + 4 * 6) + 9 + 4 + (6 + 4 * 6) + 4 + 5) + 9 * 7 + 6 +(2 + 9 * 4 * 7 + 9 * 9) * 4 * 3 + 2 +(2 * 7 + 7 + 9 + 4) * 5 + 7 * (6 * (5 * 8) * 4 + 4) + 7 + 3 +8 * 5 * (6 + 3 * 3 * 9 * (5 * 4 + 4 + 5 + 5)) + 6 + 8 * 7 +7 * 7 + ((8 * 7 * 4) + 7) +9 + 6 * ((4 * 8 * 5) + 4 + 4 * 6) + 7 +9 + ((7 + 6 * 3 + 9 * 4) + 9) + (2 * 7 * 8 + 3 + 7 * 3) * 6 +((2 + 4 * 9) * 9 + 7 + 7 * 5 * 6) * 6 + 8 + 5 * 6 * (6 * 9 * 3 * 5 + (9 * 6 * 5 * 8 * 9 * 2)) +(9 * 3) * 3 + 4 +(3 * (3 + 9 * 5 + 5 + 9 * 2) + 9) + (5 * 5 + 8) * 6 * 7 * 5 +4 + ((3 * 2 * 5 + 9) * 8 * 9 + (8 + 9) * 7) + 9 * 8 +(9 * 4 * 3 + 9 + 2) + 9 * (3 + 9 + 3) * ((7 * 6 * 4) + 7 + 9 * 8 * 4) +2 + 6 * (8 + 8 + 5 + 6) * (3 + 2 + 8 * 7 + 6) +3 + ((5 * 2) * 9 + 5 + 3 * 2 + 2) +7 + 8 + (2 + 4 + 2 + 5 + 3) * 9 + 4 * 6 +2 + 2 + 5 + 3 + ((2 * 2 + 6 + 2 + 7 + 7) + (7 * 4)) +5 + (8 * 8 * (4 + 5 + 5 * 9) * 7) + 8 +(7 * 2 * (8 + 3 + 3 * 7 + 7) * 5) + 2 * 9 + (6 * 7 + 5 + 3 + 2) * (9 + 4 + (9 * 6 + 4) * 7) + 9 +((9 * 2 + 6 * 3) + 2 * (4 * 3 * 8 * 8)) * (3 + 2 + 2 * 8 * (3 + 7) + 6) + 3 + 2 +6 + 5 + 4 +6 + ((4 * 8 + 8) + 7) * (3 * 2 * 6 + 9 + (5 * 6 + 6 + 6 + 6) * 9) * 3 + 6 +6 + 9 * 2 + ((4 + 4 * 7 + 2) + 7 * (8 * 8 + 2 + 4) * 6 * 9 * 7) * 3 +((7 + 4 * 5 * 6) + (8 + 8 * 6 * 5) * 4) * 2 + ((3 + 8 * 6) * 3 + (8 + 8) * 2) +7 + (9 + 7) + 3 + 9 + 4 * 8 +6 * 5 * 8 + 9 * 9 * (9 + 8 * (9 * 5 + 9) * 3 * 4 + 2) +4 * (3 * (4 * 9 + 4 * 4 + 6 * 3)) +(7 + 9 + 2 + 3 + (9 * 5 * 5)) * 8 + 4 + 9 +(4 * 7 * (7 * 3) + 8 * 3) * 9 +4 * 6 + 7 * 6 + ((3 + 5 * 9) + 8 * 2 + (7 * 4 + 6 + 6)) +(2 + 4 + 7) * 7 * ((5 * 9 + 7 + 6 * 7) + 9 + 4 * (9 * 5)) * 7 +4 + 7 +(6 + 5 * 8) * 2 * 9 * 6 + 8 * 8 +6 * 3 * 8 + (9 + (3 * 9 * 9 + 5) * 7 + 2 * 6) * 7 + (8 + 4 + 9 + 9) +(6 * (9 + 3) * 5) * 5 * 5 +8 + ((9 + 9 * 7) + (6 + 8 * 3 + 7 * 3) * 5 * 4 + 5 + 7) +(4 + 6 + 2 * (6 * 5 * 3 + 6) * 7 * 3) + 4 +4 * (5 * 2 + 5 + (7 + 9 + 9 * 6 * 6) + (3 + 2)) * 3 * (8 * 4 * (2 + 4 + 7 + 6) + 5) * 6 * 5 +8 + 6 + 5 + 8 +(7 * 4 + 3 + 5 + (2 * 9 + 7 * 8)) + ((3 * 9 + 4 + 7 + 9 * 2) * 4) * 5 * 5 +8 * 4 + ((9 + 8 * 4 + 2 + 4) * 6 + 6 * 6) +4 * 6 + ((7 + 8 * 7) + (4 * 5 * 4)) +7 + (3 * 2 * 2 + 3 * 7) + 7 + 3 + 4 + (8 * 8 * 7 + (5 * 2 + 9)) +3 + 8 + (2 + 7 * 3 * 6) + 2 +7 + ((5 + 6 * 6 + 3) + (6 + 9 + 7 * 3 + 7)) + 8 + (8 + 7) +((9 * 5 + 7 * 8 + 5) + 2 * 7 * 3) * 2 * 4 + (6 * 3 * (3 * 2 * 7 + 7 + 7)) +(7 + (4 + 2 * 2) * 6 * 9 + (9 * 8) * 5) * 2 +3 + (3 + 9 * 2 + 3) + 7 + 4 + 7 + (4 * 2 * (7 + 2 + 3 + 5) * 6) +9 * 8 + (8 * 6 * (9 * 8 * 9 * 6 * 6) + 6 * 3) * 2 + ((5 * 3) * 7 + 3 + 3 * 8 * 2) +4 + (5 + (5 * 6) + (8 * 9 + 9)) +9 + 3 * 2 +8 * (3 + 4 + 6 * (9 * 8 * 6)) +4 * (2 + (5 + 7) * 8 * 6) * 7 * (3 * (8 + 2 + 8 + 5 + 7 * 7)) + (6 + 8 * 3 * 8 * 2 + 5) * 7 +(5 * 7 + 4 * 6 + 4 * 8) * ((8 * 6 * 7 + 5) * 7 + 6 + 5) + 4 + 3 + (2 + (9 * 9 + 9 * 5 + 3) + 3 * 3 * 3) +9 + 9 + 9 * 6 + 8 +3 + 7 * 5 + (6 * (6 + 6 + 5 + 6) * 3 * 2) + 3 +(5 + 8 * 3 + 4) * 8 * (9 * 3 + 4 * 6 * (5 + 9 + 9 * 8) + 3) +2 * (9 * 2 * 6 + 2 * 6) + 5 * 7 +(4 + 7) * 6 + 8 + 9 + (6 * 7) * 4 +9 + 7 * (8 * 5 * 7 * (7 * 5 + 9 * 4 + 8)) * 7 + 4 +3 * 6 + 6 + 2 + (2 * 5 * 8) * 8 +(4 + 2 * 6) + 3 + (7 + (6 + 7 * 6 + 6)) * 6 + (4 * 6) +7 + 9 * (3 * (9 + 7 + 7 * 5) * (7 * 2)) +((7 + 5 + 8) * (3 * 2 * 6 + 2 + 9 + 2) * 9 + (8 + 6 + 2 * 4 * 9) + (4 + 2 * 9 * 6 * 7 * 8) + 3) * 2 + 2 + (5 * 7 + 8 + 2 + 8) +((4 * 8) * 3 * 9 * 3 + 4) + (6 * 8) + 3 +5 + 2 * (6 + 9 + 3) +5 * 4 + (6 + 2) * 4 + 8 + 6 +(5 + 4 + 5 + (6 + 2 + 4)) + (7 * (2 + 5 * 9 * 8 + 3) + 4 + (3 * 9 * 5)) * (7 + 8 + 6 * 5 * 3) + (9 * 6 + 9 * 5 + 5 + 7) * (3 + 2 * 5 + 6 + 4 + 8) +2 + (8 + (5 * 4 * 2 * 4 + 6 * 8)) * 5 * 6 +(2 * 6 * (5 * 8 * 8 + 7 + 4 + 6) * 6) + 6 + (6 * (6 + 3) + 5) + (3 * 8 + 4) * 6 * (5 + 5) +((3 * 7 + 4 + 5) * 6 + (6 + 4 + 2 + 8) * 9 + 7 * 6) * 9 * 5 +2 + (5 * 8 + 6 + (3 + 4 * 5 * 5 * 8 + 4) * (7 * 9 * 6 + 3 + 4)) * 8 * 6 +(7 + 6 * 5 * 6) * 3 + 4 * 7 * 4 * 8 +7 * (7 * 9 * (9 + 3 * 4 * 8) + (2 * 9 * 5 * 9 + 9) * 6 + 3) * (2 * 5 + (9 + 3 * 9) + 9) * 6 +2 + 5 + (7 + (4 * 9) * 2 * 5 * 9) * 4 * 2 * ((2 * 4) * 3 + 8 * 4 + 8 + 7) +4 + 2 + 3 + ((9 + 9 * 4 + 9) + 5 * 7 * (9 + 4 * 7 * 3) * (3 * 9)) +(7 + 6 * 3 + (6 * 6 * 9 + 9 * 4 * 2)) + 8 * (4 * (9 * 6)) +4 + (2 + 2 * 7 * 2) * 4 + 9 + 9 +7 * 2 + 2 + 5 + ((4 + 6) + (8 * 6 * 2) * (2 + 6 * 5 + 4 + 9 * 6)) +4 * (8 + 6 + 2) * 7 +((5 * 9 * 2 + 3 * 8 * 4) + 9 * 7 + 7 * (2 * 3 + 4 + 6)) + 8 + 6 + 3 + 9 +8 * (9 * (3 + 5 + 3 + 5) + 7 + 6 * 5 * 5) * 7 +7 * 7 * (3 * 2) +4 + ((9 * 2 + 9 + 4 + 9 * 5) + 6 + 5 + 9 * 8) * (8 * (4 + 9 + 8 * 2) * 5 * 9 + (8 + 7 * 8 + 3 + 8) * 6) + 7 + ((5 + 2) * (2 + 7) * (4 * 9 + 6) + (6 + 8 + 5 + 2 + 2 + 2) + (6 + 6)) + 6 +5 * (5 * (4 * 7) + (3 * 5 + 8 + 2 + 3 * 2) * 9 * 2 + 8) * (4 * 7 * 2 * 7 + 4 * 3) + 3 + (8 + 3 * 6 * 5 + 6) +3 * (9 * 2 + 9) + ((4 + 4) * 7 + 7 * 7 * 6 * (5 + 5 + 2 * 4 + 4)) * 7 * 8 +((5 + 3) + 3 + 6 * 9) * 9 + (3 * 7 + (3 * 6 * 2) * 9 * 8 + 6) + (5 * 8) + (4 + 7 + 4 + 4) + 6 +2 + 8 * 4 + (8 * 8 * 4 * 7) +2 * 4 * (5 + 3 + 6 + 5 + 2) * 3 * (2 + 4 * (2 + 8 * 6 + 2 + 2 * 3) * 3 + 9) +(2 + (8 * 4 * 8 + 4 + 8 + 7) * 3 + 9) * 5 + (3 + (3 * 8 * 4 * 4) + 3 * 9) +5 + 2 * 7 + (3 + 2 * 7 + 6 + 6) * 8 * (3 + 4 * (3 * 3 + 3 * 2)) +(9 + 2) * (5 + 6) * 2 +(8 * 6 * (9 * 9) * 5 + (8 * 6 + 4 * 2)) * (2 + 2 * (2 * 3 + 5 + 6)) +((2 * 4) * 4 * (9 * 3 + 6) * 4 + (4 * 6) + 4) + 9 * (3 * 6 + 2 * 7 * 7 + 3) +3 * (6 + 9 * 7 * 8 + (7 * 8 * 5 * 7 * 2) + 8) +8 + 8 + (6 + (5 * 8 + 6 + 7 * 4 + 7) * (2 * 3) * 4 * 2 + 5) + 5 * (8 * 3 + (7 * 7 * 2)) * 7 +3 * 5 * 7 + 6 * 9 +((7 + 5) * 4) + 3 + 6 +(4 + 2 * (6 * 7 + 3 + 6 + 5 + 2) + (9 * 5 * 2 * 3)) + 4 +((7 + 6 + 6 * 2) * (9 * 9 + 7 * 9 * 3 * 3) * 2 + 2 * 9) + 3 * 2 + 7 * 7 +((4 * 7 * 3 * 5 + 4 + 4) + 3 * 5 + 6) * (5 * 4) * 4 +3 * 3 + 9 * 9 + (8 + 2 + 5 + 2) +3 + 6 + 3 * (2 + (2 * 9)) + 9 + 9 +(9 + 6 * 6 * 8 * 4) + 4 + 4 + 2 * 5 + 5 +(2 + 3 * 5 + 2 + 4) + (7 + (9 * 8 + 2) * 7 + (6 * 7)) * 9 + 4 * 3 +6 + (9 * (5 * 2) + 5 * 2 + 5 * 2) + 6 +4 + 5 * ((5 * 9) + 4 + 5 + 2) * 4 +((4 + 7 + 3) * (4 * 5) + 9 + 4) * 7 +2 * 9 + 8 + (6 * 5 + 9 + 6) * (6 * 7 + 6 + 6 + (7 * 8 + 5 + 2 + 6) + 4) + (5 * 6 + 5 + 2 * 5) +4 + (9 * 5 + 4 * 5 + 5) * 9 + (7 + (2 * 5 * 4 * 7 + 2 + 9) * 3) +2 + 3 * 4 + 2 * (9 * 2 + 2 * 7 + 6 * 3) +3 * (7 * 6 * 5 * 4) + ((7 * 8 * 4) * 6) * 3 +7 * (9 * 8) * 2 * 2 +(8 * 9 + 5) * 2 * 7 * (4 * 2 + 6 + (9 * 6 + 9 + 3 * 7 * 6)) +6 * (8 + 9 * 4 * 2 * 8 * 5) + 3 +2 * 2 * (5 * 9 + 8 * 8 * 5) * (9 + 9 * 4) +6 * 4 +(3 + 2 * (9 + 8 + 6 * 8 + 5) * (9 * 4)) + (5 * 9) + 2 + 9 +(4 + 4 + 8 + 9 * 8 + 4) * ((4 * 2) + 9 * 2) +3 * ((2 * 8) * (7 * 5 + 9 + 4 + 5 * 5) + 3 + 8 + 5) * 2 * (4 * 8) * 5 +4 + (7 * 9) + (3 + 8) * 7 * 3 + 8 +5 + 3 * 9 * 9 + (8 + 9 * 6 * (6 + 9 * 3 + 7) * (8 + 2) + 5) +6 + 8 * ((3 + 5) * 3) * 5 +2 + ((6 + 5) + 7) + (5 + 6 + 3 * 7 + 7) * 4 + 7 +(9 * (6 * 7) + (6 + 3 + 8 * 4) * 7 * 2) * ((7 + 8 + 5 * 7) * 7 * 2) * (7 + 6 + 5 * 7 + 9) + (2 + 7 * 9 + (9 + 4 * 4 + 5 * 8 * 9)) * 9 +9 + (4 * 2) + 5 + (6 + 7 * 9) + 6 +5 * 5 + 8 + 4 * 4 * 7 +8 + 4 * ((8 * 2 + 8 + 2 * 5) * (3 + 8) * 6 * 5) + 3 + 9 +9 + ((9 * 9 * 3 * 5) * 6 * 4) * 7 * (6 + 7 + 5) +8 * 9 * 8 * (6 + 2 * 7 + 4 + 2 + (5 * 5 * 7 + 2)) * 3 +7 * 5 * 5 + (5 + 4 + (3 * 3 + 9 * 7 + 7 + 5)) * 6 +(3 * 2 * 7 + 5) * 4 + 2 * (3 + 3 * 7 * 9 * 3 * 2) +6 + 2 + (3 + (9 * 6 + 8) * (5 + 9) + 3) + 5 +((8 * 4 * 6) * 2 * (4 + 9 * 7 + 6 * 6 + 2) * 9 + 4) + 5 * (5 * 2 + 8) + 9 * 7 * ((5 * 6 + 5 * 7 + 9) + 2) +6 + 2 * ((3 + 5 * 7 + 2 * 8 * 8) + (5 * 3 + 4 + 2 + 4) * 3 * 5 + 5) * 8 + 9 * 6 +6 * ((3 + 7 + 8 * 6 * 6 * 2) * 7) +((6 * 6 * 6 * 9 + 8 * 7) * 6 * 7 * 4 * 6 * 6) + 5 * 3 + 8 +(5 + 8 + 3) + 6 * (5 + 5 + 3 + 6) * (9 + 2 + 4 + 4 * 3) * 4 + 6 +4 * 7 * (6 * 3 * 5 * (4 + 2 + 3) * (2 + 3 * 9) * 2) +7 * (2 * 5 + 5) + 9 + 5 + (3 * 2 + 3) +(4 + 6 + 5) + (6 * (9 + 7 + 9 + 2 * 6 + 4) * (9 + 2 + 6 * 7) + 2 + 3 + 7) + 5 + ((3 + 2 * 5) + 3 + 7 + (6 + 9 * 6 + 3 + 4)) + 2 +(7 + (5 * 7 * 6 * 9 * 3) + 3 + 9 + (6 * 5 * 4 * 6)) * 2 + 6 + (9 + 5 * 9 + 8 * 4) +(8 * (9 * 4 * 6 * 8 + 8 + 9) + 6 * 9 + (2 * 6)) * (5 + 8 + 8) * 2 + 8 * 4 + 2 +(9 + (6 * 5 * 9 + 4) * 5 * (8 * 7 + 7) + 6 + 3) * 7 + 7 +6 * 2 + 8 * 3 + 5 * 8 +9 * 3 * ((4 * 2 + 5 * 5 + 2) + 4 * 4) + (6 + 6 * 7 + 9 * 9) + (9 * 8 + 5 + 4 * 9) +9 * 5 * 6 * (4 * 4) * (9 + (4 + 2 * 7 + 3) + 9) + 2 +((2 * 3 + 6 + 5) * 2 * 9 + (9 + 8 * 7 + 3 * 2 + 6) + 8) * 7 + 3 + 9 * 9 +(3 * 2 * 7 + 6 * 8) + 4 + ((7 + 2) * 7 * (8 * 6 + 4 + 4 * 2 + 5) + 4 * (9 * 9 * 6 + 4 + 5 * 8) * 2) +9 + 6 * 8 * 6 + (8 * 3 + 9 + 4) + 6 +(5 * (9 + 9 + 3 + 5) * 6 + 7 * 4 * 6) * 7 + (6 + (2 + 9 + 2 * 5 + 4) + (9 * 5 * 7 * 8 + 4) * 4 + 8 * 5) * 9 + 4 +3 * (2 * (8 * 4 + 7) + 6) +(8 + 9 * 5 + 3 * 9 * 5) + 6 * ((6 * 8 * 6 * 4 + 9) + (2 * 5) * 2) + 4 + 9 + 7 +5 * 3 * (2 * 5 * 8 * 6 * 7 * (4 * 8 + 3 * 7)) +3 + 9 * 4 + 5 * 9 +6 * 7 * 4 * 6 * 9 + (4 + 2 + (3 + 5 * 9 * 2 + 8) * 3 + (8 * 6) * 8) +(7 + 7 * 5 * 2 + (3 * 4 + 8 * 2 * 9 + 4)) + 5 +(4 + 2) * 4 * 2 + 9 + (9 + 9 + 4 + 3 * 4 + 9) + (4 + 8 + 2) +((9 + 8 * 4 + 3 + 8 * 9) + 4 * 5 * 7 + 7) * 5 + 2 +(2 * 7 + 6 * 5 * 6 * 9) * 9 * 2 * 8 * 7 +(8 + 2 * 7 * 5) * 4 + 7 +6 * 6 + (7 + 7 + 6 + 4 * 7) +9 + 5 + 2 + 4 * 9 + (3 * 6 * 5 * 3) +8 * 8 + 4 * 6 * ((6 * 3 * 5 + 5 * 6) + 3 + 6 * 6 + 8) * (2 * 8 + 9) +2 + 5 +2 * 2 + 7 * 4 + (6 * 8) +4 * ((6 * 3) * 7 * 6 * 2 * 7 * 9) + ((4 + 5 + 2 + 4 * 8 + 9) + 4 + (3 + 5 + 3 * 9 + 9) + 5 * 4 + (4 + 5 + 6 + 3)) + 5 +3 + (6 + 5 + 2 * 5 + 8) + 4 + 2 * 3 +9 + 9 + (4 + 6 * 9 * 2) * 2 + 6 * 6 +4 + 9 * 9 + 4 + (5 * 6 + (8 + 5 * 3) + (7 + 6 + 7) * 3) * 9 +(7 + 2) + (4 + 6 * 5 * 7 + 4) +5 * (4 + (4 + 9) + (6 + 7 * 7 + 3) + (4 * 5 + 5 * 9 * 6) * (2 + 9 * 7)) * 5 + 7 + 3 * 6 +8 * 5 * (3 + 4) * 9 * 5 +9 + ((2 * 8 + 4) + 6 * 4 + (2 * 9) * 9 + 6) + (3 * 2 * 5 + (4 * 8) + (8 * 2) * 9) +4 + 8 + 6 * 9 * ((6 + 8 * 5) + 6 * 9) +(8 * 9 + 5 * 9 * 3 * 3) * 6 * 2 +5 * 5 + 4 +9 + (7 * 5 + 4 + 2 + 8 * 5) +(9 + (2 * 4 + 8) * (4 * 9 + 7 * 2 + 2) + 4) + 3 * 5 + 7 * 7 +(6 * 2 * 9 * 8 * (3 + 4 + 3 + 2 + 7)) * 7 + 4 * 6 +9 + 7 + (3 + (5 + 9 * 2 * 4 * 9) * (9 + 6 + 5) + 9 * 7 * 9) * 5 +7 + (2 + 5 * 7 * 4) + 6 +6 * 3 + (6 + 5 * (4 + 8 + 8) + 6) * 3 * 9 * 7 +3 * (9 + 2 * (8 * 5 + 9 * 6 + 2 + 3) * 4 + 4 * 6) * 2 + 3 +8 + 6 + ((2 * 2 + 7) * 7 + (8 + 2 + 2)) + 6 * 5 +7 * (9 * 3 + (4 * 4 + 4) * 6 * (8 + 8 + 2)) * (5 * 4 + 6 * 8 + 3) +3 + 5 * (4 * (8 + 8 * 8 + 2) + 6 + 9 * 4 + 8) * 7 + (4 + 5 + (6 + 8 * 8) + 5 * 6) +4 * 8 * 6 + 7 * (5 + (3 * 2 * 2 * 5 * 8 + 7)) * 9 +((8 + 5 + 6) + 3) * 3 * 5 +((9 * 7 * 4 * 4 * 9) + 3 + 9 + 9 + 3 + 2) + 8 + 5 * ((6 * 5 + 3 + 5 * 3) + 3 + (3 * 6 * 5)) +7 * 2 * 4 + 9 diff --git a/2020/day18/day18.hs b/2020/day18/day18.hs new file mode 100644 index 0000000..096fb23 --- /dev/null +++ b/2020/day18/day18.hs @@ -0,0 +1,56 @@ +module Day18 where + +import AoC + +import Control.Applicative +import Data.Maybe +import Text.ParserCombinators.ReadP +import Text.Read.Lex + +data Expression = Literal Int + | Addition Expression Expression + | Multiplication Expression Expression + | Bracketed Expression + +type ApplicationSequencer = Expression -> String -> Expression -> Expression + +parseLiteral :: ReadP Expression +parseLiteral = Literal <$> readDecP + +parseBracketed :: ApplicationSequencer -> ReadP Expression +parseBracketed seq = Bracketed <$> between (char '(') (char ')') (parseExpression seq) + +parseOperations :: ApplicationSequencer -> ReadP Expression +parseOperations seq = + do l <- parseLiteral <|> parseBracketed seq + apps <- many1 $ parseApplication seq + return $ foldl (\l (op, r) -> seq l op r) l apps + +parseApplication :: ApplicationSequencer -> ReadP (String, Expression) +parseApplication seq = + do skipSpaces + op <- choice $ map string ["*", "+"] + skipSpaces + r <- parseLiteral <|> parseBracketed seq + return $ (op, r) + +parseExpression :: ApplicationSequencer -> ReadP Expression +parseExpression seq = parseLiteral <|> parseOperations seq <|> parseBracketed seq + +sequenceLeftToRight :: ApplicationSequencer +sequenceLeftToRight l op r = toOperation op l r + where toOperation "*" = Multiplication + toOperation "+" = Addition + +sequenceAdditionPrecedence :: ApplicationSequencer +sequenceAdditionPrecedence (Multiplication l r) "+" rr = Multiplication l (Addition r rr) +sequenceAdditionPrecedence l op r = sequenceLeftToRight l op r + +eval :: Expression -> Int +eval (Literal n) = n +eval (Addition l r) = eval l + eval r +eval (Multiplication l r) = eval l * eval r +eval (Bracketed x) = eval x + +main = runAoC lines (run sequenceLeftToRight) (run sequenceAdditionPrecedence) + where run seq = sum . map (eval . fromJust . oneCompleteResult (parseExpression seq))