diff options
author | Crazazy | 2024-12-02 12:30:22 +0100 |
---|---|---|
committer | Crazazy | 2024-12-02 12:30:22 +0100 |
commit | eec7eaf755d7cb57e85df84b4e6cb8f525bff5e7 (patch) | |
tree | 820f93e6934d2d08380c906ff60effa4bbf975f9 | |
parent | 1e8ef84944374626a7670c7bd184b3d1ddf78046 (diff) |
added day 2
part 2 is still not working
-rw-r--r-- | data/day2.txt | 1000 | ||||
-rw-r--r-- | src/Day2.idr | 53 | ||||
-rw-r--r-- | src/Main.idr | 2 |
3 files changed, 1055 insertions, 0 deletions
diff --git a/data/day2.txt b/data/day2.txt new file mode 100644 index 0000000..5413cb7 --- /dev/null +++ b/data/day2.txt @@ -0,0 +1,1000 @@ +24 25 28 31 28 +41 44 45 48 49 50 50 +5 8 10 13 15 16 17 21 +11 13 16 17 19 26 +79 81 78 79 82 84 +16 19 20 18 20 22 25 22 +84 87 90 92 94 97 96 96 +86 87 88 91 88 91 95 +40 43 41 44 49 +8 10 10 11 13 +91 94 95 95 92 +18 19 20 20 21 23 25 25 +15 17 19 19 23 +35 37 37 39 40 43 50 +2 5 6 10 12 +82 85 87 88 91 93 97 94 +30 32 35 38 42 43 43 +64 66 68 72 76 +73 74 77 80 84 86 91 +64 67 72 73 74 76 +72 73 75 81 82 81 +24 25 32 35 37 38 38 +59 60 62 64 65 70 74 +44 46 47 48 50 52 58 63 +54 52 53 56 57 58 +77 76 77 80 82 81 +48 45 48 49 52 54 54 +74 71 74 76 78 81 85 +20 18 19 21 27 +88 86 88 91 92 89 92 +17 16 14 17 18 15 +95 92 91 93 95 96 96 +7 5 6 9 8 11 14 18 +15 12 9 12 14 16 21 +3 2 2 5 6 +58 55 55 57 58 57 +36 35 36 36 36 +73 72 72 75 79 +80 77 78 78 79 82 87 +20 19 23 25 27 28 31 32 +92 90 91 95 97 96 +86 84 86 90 93 96 98 98 +36 33 34 38 41 45 +82 81 85 88 89 92 99 +70 69 71 77 78 81 +51 49 50 57 60 58 +28 27 30 33 35 40 40 +40 37 38 45 49 +53 52 54 55 56 61 67 +27 27 29 31 34 +82 82 84 86 89 92 89 +91 91 93 96 96 +55 55 58 60 64 +80 80 81 82 83 85 88 95 +84 84 87 84 85 +81 81 80 82 79 +25 25 22 24 24 +71 71 74 76 77 74 78 +86 86 87 86 87 88 93 +41 41 43 43 46 +70 70 70 72 71 +12 12 13 13 14 15 15 +23 23 23 26 28 31 35 +84 84 86 88 88 89 91 98 +4 4 5 7 8 9 13 14 +31 31 35 36 37 36 +19 19 23 26 26 +80 80 84 85 88 90 94 +51 51 53 54 58 60 61 66 +35 35 36 42 43 +9 9 12 15 18 24 21 +2 2 8 11 14 15 15 +25 25 30 33 36 38 39 43 +13 13 18 19 26 +10 14 15 17 19 +35 39 40 43 45 46 48 45 +41 45 47 50 50 +16 20 23 25 28 31 34 38 +10 14 15 18 20 25 +42 46 49 46 48 +25 29 32 31 34 31 +7 11 14 11 14 14 +90 94 92 94 98 +27 31 34 32 35 37 44 +50 54 54 56 59 61 63 +48 52 52 53 50 +84 88 89 90 91 91 91 +48 52 54 54 56 60 +85 89 89 91 98 +9 13 15 17 21 23 +43 47 49 52 53 57 55 +76 80 82 83 86 90 93 93 +5 9 11 15 16 20 +53 57 61 62 65 66 73 +65 69 70 73 76 81 82 83 +15 19 21 27 24 +51 55 57 63 65 65 +15 19 22 25 27 33 37 +1 5 6 7 9 11 16 22 +50 56 58 60 63 65 68 70 +36 42 43 44 41 +36 42 44 47 50 52 54 54 +79 84 87 88 90 92 94 98 +35 42 45 46 47 49 52 58 +74 80 83 80 81 82 84 85 +60 67 69 72 73 71 72 71 +85 92 94 97 96 98 98 +17 22 25 27 25 28 32 +22 28 26 28 31 33 40 +51 57 60 61 61 62 63 +7 13 16 16 19 18 +80 87 87 89 89 +70 76 79 81 84 84 88 +39 45 46 49 49 51 52 58 +38 43 45 48 52 55 57 58 +79 84 86 89 93 94 92 +39 45 48 52 52 +58 63 67 69 70 74 +76 83 86 90 97 +13 18 25 27 29 31 +60 66 69 72 75 80 82 81 +21 26 29 31 33 38 38 +31 37 42 45 46 50 +15 21 23 24 30 32 38 +51 48 45 43 44 +45 43 41 40 38 37 36 36 +66 64 61 60 57 53 +89 86 83 81 76 +36 33 30 33 30 29 28 27 +91 88 91 89 86 85 83 85 +12 10 12 11 11 +31 30 27 30 28 27 23 +35 32 31 34 32 26 +11 10 10 9 6 5 4 3 +44 41 38 38 37 35 34 36 +80 78 76 73 72 71 71 71 +45 43 40 37 37 33 +97 94 91 88 87 86 86 80 +58 56 53 51 47 44 +66 63 62 60 58 56 52 53 +73 72 71 68 65 61 61 +95 92 88 86 82 +19 17 16 12 11 10 5 +80 77 74 71 66 64 62 61 +64 62 59 56 51 52 +47 46 43 42 39 38 33 33 +45 44 41 39 34 30 +95 92 89 87 82 81 80 74 +94 96 94 91 88 +89 91 90 88 89 +40 41 38 36 36 +70 72 70 68 67 63 +22 25 24 21 19 18 13 +41 42 39 40 38 37 +35 36 35 32 31 29 32 35 +31 34 31 34 34 +88 90 89 91 90 88 85 81 +54 57 60 59 56 50 +83 85 82 82 80 +66 68 68 65 62 61 62 +35 36 36 34 32 30 30 +79 80 80 78 76 74 70 +44 45 45 43 37 +37 40 37 33 31 +63 65 63 59 56 55 54 56 +19 22 21 17 15 13 11 11 +94 95 91 90 88 84 +22 23 19 18 16 14 7 +29 32 30 23 22 +64 67 64 58 56 57 +29 30 27 24 18 18 +33 36 34 27 24 22 20 16 +50 52 49 48 46 39 37 31 +31 31 28 25 22 21 19 16 +47 47 44 43 40 37 38 +88 88 85 84 84 +41 41 38 36 32 +73 73 70 69 67 66 60 +80 80 81 80 79 77 76 75 +36 36 34 32 34 35 +59 59 57 60 59 58 56 56 +30 30 27 28 25 23 19 +9 9 7 6 5 8 3 +89 89 87 86 85 85 82 +52 52 49 46 46 47 +60 60 59 59 59 +21 21 19 19 15 +17 17 17 16 13 12 10 4 +33 33 29 28 26 25 +67 67 63 61 58 60 +27 27 25 24 20 20 +78 78 76 74 72 68 64 +62 62 59 55 49 +47 47 44 38 36 33 31 +31 31 28 21 23 +81 81 80 79 78 72 72 +75 75 69 66 62 +97 97 91 89 87 85 78 +35 31 28 27 26 25 +35 31 28 27 25 22 21 23 +37 33 32 31 28 28 +73 69 67 65 62 59 55 +67 63 60 58 53 +52 48 47 44 47 46 43 +73 69 70 68 69 +18 14 13 16 16 +91 87 84 81 82 79 77 73 +96 92 90 92 91 88 81 +40 36 35 35 34 33 31 +93 89 86 83 82 82 80 81 +86 82 79 79 78 77 77 +20 16 13 13 12 8 +30 26 23 23 21 19 17 10 +76 72 69 66 62 60 57 54 +57 53 49 46 48 +64 60 58 54 54 +20 16 15 12 8 5 1 +40 36 34 31 27 25 19 +25 21 20 18 16 14 9 6 +48 44 43 40 38 36 29 31 +96 92 90 89 83 81 80 80 +45 41 34 32 28 +35 31 28 27 21 19 14 +35 30 27 26 23 +73 66 63 61 64 +60 55 53 51 50 50 +68 62 61 60 56 +55 50 49 46 43 42 37 +29 23 22 25 22 20 18 16 +96 90 88 85 84 86 83 85 +47 41 39 36 37 37 +72 66 69 68 66 62 +52 47 49 46 43 36 +77 71 68 68 67 66 +99 94 94 93 96 +45 38 35 33 31 31 31 +23 16 13 10 10 6 +33 26 25 25 23 20 18 11 +44 37 33 30 28 27 +90 85 81 79 80 +91 85 82 79 77 73 70 70 +98 91 88 86 82 78 +68 63 61 58 54 52 45 +64 58 57 50 49 +66 59 56 49 52 +89 82 77 76 73 70 70 +80 73 72 67 63 +73 66 60 59 57 50 +11 14 15 17 20 23 21 +47 50 52 55 56 56 +16 17 18 19 20 23 27 +82 83 85 88 90 91 94 99 +59 61 59 61 64 67 70 73 +32 33 36 37 38 36 39 38 +86 89 90 91 89 92 94 94 +67 68 71 68 71 73 76 80 +28 30 31 33 34 32 39 +3 4 6 6 7 10 12 13 +61 64 64 66 69 71 68 +49 50 52 52 53 55 55 +8 11 14 16 16 20 +59 62 62 63 70 +43 45 49 52 55 57 +80 82 86 88 89 92 93 91 +81 82 86 87 88 91 94 94 +38 41 45 48 51 53 57 +35 38 40 41 45 47 54 +6 9 12 14 15 17 22 23 +81 82 83 85 91 90 +74 76 83 84 87 87 +24 27 28 35 37 41 +69 71 72 77 80 85 +12 9 12 13 15 17 20 23 +77 75 76 77 78 81 78 +60 57 59 61 61 +13 10 11 14 16 20 +81 80 81 84 85 90 +6 5 6 7 5 7 10 13 +54 51 54 52 54 55 54 +72 71 70 73 73 +89 86 88 90 91 88 90 94 +8 6 3 5 10 +10 7 8 10 12 12 15 16 +14 11 12 14 16 16 19 18 +39 37 38 38 39 42 44 44 +13 11 12 13 15 15 16 20 +10 8 8 11 14 20 +42 40 42 45 49 50 +67 66 70 73 76 78 77 +32 30 34 35 37 37 +47 44 45 49 51 55 +36 35 39 40 43 45 47 53 +68 66 67 68 73 74 +40 37 38 39 40 46 47 45 +28 26 27 30 35 35 +45 42 48 50 54 +44 43 45 48 54 59 +61 61 62 63 64 66 67 +57 57 58 61 59 +66 66 69 71 73 75 78 78 +59 59 61 64 67 71 +28 28 29 30 31 33 36 41 +41 41 42 41 44 45 +11 11 10 13 15 12 +37 37 40 38 41 41 +41 41 40 42 46 +68 68 69 72 69 71 78 +95 95 95 97 98 99 +9 9 9 10 13 14 17 16 +81 81 82 85 88 88 88 +86 86 86 89 92 96 +58 58 59 62 62 67 +80 80 81 85 87 +84 84 87 91 88 +3 3 7 10 11 12 12 +74 74 75 79 81 82 85 89 +26 26 28 29 31 35 37 44 +38 38 39 46 49 +77 77 80 81 87 88 85 +75 75 78 81 87 90 92 92 +28 28 31 37 40 43 47 +11 11 12 18 20 27 +15 19 21 22 23 26 +58 62 64 65 66 69 71 69 +56 60 61 63 63 +46 50 53 56 58 62 +67 71 73 76 81 +52 56 58 56 58 60 +6 10 11 8 7 +81 85 86 89 87 88 88 +72 76 79 76 79 82 86 +39 43 44 46 43 49 +38 42 45 45 46 +41 45 48 51 51 48 +79 83 86 86 86 +24 28 29 31 33 33 34 38 +55 59 59 61 62 65 67 74 +73 77 80 82 86 87 90 +45 49 50 53 57 54 +80 84 88 90 92 92 +14 18 20 22 24 28 32 +61 65 69 70 73 76 82 +50 54 57 59 62 63 69 70 +75 79 81 82 83 89 92 89 +45 49 52 59 61 63 63 +38 42 44 45 48 55 57 61 +62 66 69 71 74 80 86 +28 35 37 40 41 43 +25 30 32 33 34 37 35 +14 19 20 21 22 22 +8 14 17 20 23 27 +23 28 29 31 38 +68 74 77 78 76 79 80 +14 21 18 20 22 23 25 22 +18 23 20 22 22 +65 72 71 74 76 80 +8 14 15 17 14 17 20 25 +59 65 68 70 70 73 +59 65 68 68 71 74 71 +34 41 43 43 43 +20 25 25 28 32 +43 48 50 50 53 56 58 64 +38 45 49 52 55 58 +23 30 34 35 33 +4 9 11 14 18 20 21 21 +51 57 61 63 67 +67 74 78 81 82 88 +20 26 29 36 37 +9 14 15 18 20 26 29 28 +73 79 82 87 90 90 +9 16 18 24 28 +8 14 19 22 29 +80 77 75 73 76 +93 90 88 85 84 81 78 78 +25 22 20 18 15 12 11 7 +51 48 47 44 42 40 37 31 +77 74 77 75 73 72 +94 91 92 90 88 89 +28 27 26 24 21 22 20 20 +94 91 88 87 86 89 85 +91 90 87 85 82 80 81 74 +59 56 56 54 52 50 +89 88 88 87 84 82 85 +96 95 93 90 89 86 86 86 +25 22 22 19 15 +39 36 34 34 33 31 24 +53 52 49 47 43 40 +93 92 88 85 87 +82 80 76 75 72 69 66 66 +57 55 52 49 47 43 39 +43 40 36 33 26 +33 30 28 21 18 +72 70 67 66 59 61 +26 23 22 19 14 12 10 10 +25 22 20 18 13 10 9 5 +33 30 27 21 19 16 13 6 +96 98 97 95 93 90 89 +47 48 46 45 47 +10 12 9 8 7 5 3 3 +48 49 48 47 43 +25 28 26 25 22 15 +2 4 1 4 3 +59 62 65 64 65 +24 25 22 19 20 17 17 +53 54 52 54 51 48 46 42 +21 23 21 18 19 18 12 +48 49 46 46 43 41 40 +58 61 59 57 57 59 +84 85 83 80 79 78 78 78 +20 22 22 19 17 15 11 +87 89 87 86 86 81 +97 99 95 94 91 +15 18 16 15 11 13 +54 55 53 49 49 +28 30 26 25 23 21 17 +34 37 34 32 28 21 +33 36 33 31 28 21 18 15 +66 69 68 63 61 58 55 58 +93 94 93 87 85 85 +17 18 13 12 8 +81 83 80 78 71 68 63 +68 68 66 65 63 +65 65 62 61 58 57 60 +28 28 26 23 23 +48 48 46 45 44 43 39 +16 16 13 11 6 +30 30 29 26 29 28 +23 23 20 22 20 17 20 +41 41 43 41 41 +39 39 36 39 36 32 +34 34 36 35 30 +88 88 87 85 85 84 +6 6 4 3 3 5 +41 41 38 38 38 +14 14 11 8 8 7 5 1 +75 75 72 72 70 64 +59 59 55 52 51 +91 91 88 84 81 79 80 +95 95 92 88 85 85 +62 62 60 59 55 51 +17 17 13 11 4 +67 67 66 65 63 58 56 +63 63 56 55 57 +46 46 45 39 39 +42 42 39 38 32 28 +91 91 86 84 78 +30 26 24 22 21 20 19 +58 54 53 50 53 +10 6 5 4 4 +93 89 88 86 85 83 81 77 +52 48 46 43 38 +89 85 84 81 83 82 79 +46 42 41 39 42 44 +48 44 41 44 43 42 39 39 +61 57 56 53 54 51 47 +55 51 54 52 50 43 +23 19 16 16 15 13 11 8 +23 19 17 16 14 14 13 14 +23 19 19 17 14 11 9 9 +24 20 19 16 14 14 10 +94 90 88 85 85 84 77 +47 43 41 39 36 32 30 +54 50 46 45 42 43 +88 84 81 77 77 +29 25 21 20 18 15 12 8 +67 63 59 58 51 +16 12 6 3 1 +68 64 61 59 53 51 50 53 +70 66 60 58 58 +84 80 75 73 70 66 +92 88 86 85 78 77 71 +93 86 83 82 79 77 74 73 +56 50 48 46 48 +25 20 19 16 13 13 +79 74 73 72 70 69 67 63 +77 71 70 67 64 62 56 +80 74 71 68 67 69 68 65 +36 29 27 26 28 31 +88 82 83 82 82 +13 6 5 7 3 +17 11 12 9 6 1 +87 82 81 80 80 78 75 +23 17 14 11 11 12 +70 64 61 58 58 58 +96 91 90 87 87 85 81 +92 85 85 83 80 74 +23 17 13 12 11 +70 63 59 56 55 53 54 +85 80 79 76 73 70 66 66 +81 75 74 73 72 68 64 +69 62 59 55 54 49 +68 62 60 58 52 49 +81 75 74 71 69 64 66 +71 65 58 55 55 +39 32 31 26 24 22 19 15 +53 47 42 40 33 +39 40 43 44 46 48 55 61 +41 37 35 31 29 25 +33 28 26 23 23 24 +53 49 48 45 43 39 +45 45 46 47 49 49 50 57 +55 52 51 50 47 46 46 42 +43 40 39 33 27 +31 37 42 44 46 46 +38 36 34 33 30 29 27 30 +25 31 33 35 32 38 +74 74 80 82 83 87 +34 40 40 41 44 45 50 +75 68 66 63 61 +72 69 67 64 61 54 54 +23 27 27 29 34 +53 57 58 60 60 +47 40 35 34 35 +28 24 22 20 18 16 16 +55 58 56 52 52 +9 9 11 14 15 12 16 +38 33 29 27 26 21 +19 18 19 19 20 24 +59 59 55 54 53 52 46 +9 13 16 18 20 21 22 26 +36 32 25 24 21 15 +40 41 44 45 47 46 49 53 +2 4 7 7 9 11 18 +16 21 20 22 23 25 +90 84 82 79 75 72 68 +74 74 78 79 81 81 +59 61 64 63 61 59 52 +76 76 75 68 67 64 65 +85 85 85 86 85 +34 37 35 32 29 25 24 +86 84 84 83 80 77 75 68 +15 16 20 21 23 26 29 +65 71 75 76 73 +95 95 94 91 88 90 +81 87 88 91 94 96 97 97 +4 8 11 13 14 12 15 +34 40 42 44 47 45 43 +34 36 38 41 48 51 55 +44 46 44 44 41 40 38 38 +95 98 97 96 93 93 +54 53 50 48 44 38 +25 25 23 20 17 15 11 +82 82 81 81 81 +52 56 58 62 64 68 +39 39 36 35 34 +83 86 88 85 87 +46 39 41 40 34 +18 24 27 34 37 +34 30 28 26 24 23 24 +65 67 70 72 74 77 76 +18 23 24 27 34 36 37 36 +10 10 11 14 16 21 +2 6 9 12 13 13 15 14 +46 51 52 56 57 59 63 +69 75 80 81 85 +60 61 64 61 58 57 60 +84 87 86 80 79 79 +76 73 75 73 73 +72 66 65 62 65 63 60 +10 14 16 17 18 25 27 31 +15 16 17 17 18 +94 94 91 86 82 +39 46 47 49 52 56 58 +1 1 2 2 2 +3 7 8 10 17 20 20 +26 26 24 19 17 14 12 +43 43 42 44 42 37 +62 62 59 60 59 58 55 55 +19 23 27 28 30 36 +41 44 42 44 41 41 +12 10 10 12 13 15 17 22 +52 53 54 55 62 65 67 67 +21 22 21 20 20 19 16 17 +50 46 45 43 41 40 40 40 +69 70 74 77 77 +83 87 89 89 90 94 +14 11 9 11 15 +86 83 84 88 89 92 93 97 +47 44 44 47 47 +83 87 89 89 92 +65 61 57 55 57 +65 69 71 75 78 81 81 +72 72 73 80 81 84 82 +31 28 30 34 35 36 39 41 +94 89 83 82 81 80 79 +55 55 52 48 45 45 +64 66 64 61 59 54 50 +7 6 11 14 17 21 +83 79 75 73 72 71 70 70 +37 36 36 33 31 29 28 31 +92 94 93 92 91 86 +71 70 69 68 63 +80 83 82 83 82 79 77 +51 55 57 61 58 +53 50 47 46 42 42 +89 89 90 96 99 +34 33 36 39 40 44 42 +77 73 69 68 66 +10 10 13 14 16 13 +76 77 74 74 69 +91 92 93 95 96 99 99 99 +17 15 11 10 9 6 5 +47 47 44 41 39 40 41 +21 25 28 30 28 35 +52 55 52 48 49 +44 44 42 45 43 39 +36 36 37 41 42 44 46 44 +43 43 40 40 37 40 +19 22 19 15 10 +61 62 59 56 55 51 +31 37 38 41 45 45 +1 5 8 9 10 15 +42 38 40 38 37 30 +60 61 59 57 55 +36 34 36 33 30 +38 40 41 42 40 42 44 43 +58 55 53 52 51 49 46 42 +91 88 91 89 88 89 +53 53 51 50 50 +89 91 92 95 92 99 +18 13 15 13 11 11 +64 65 66 68 69 70 +71 74 77 80 83 84 86 +40 42 45 48 51 52 54 57 +29 31 32 34 37 39 42 +13 14 15 18 19 22 25 27 +20 18 16 13 12 +21 19 16 13 12 10 7 +88 91 94 95 97 +25 22 21 18 15 13 +55 53 51 48 45 42 40 38 +63 62 61 58 55 52 50 48 +61 58 56 55 54 52 49 +59 60 62 65 67 69 +68 69 72 74 76 77 +73 70 68 65 63 61 +88 89 92 95 96 +37 36 34 33 30 +50 51 52 55 56 59 62 63 +67 70 71 73 76 78 +90 92 93 95 96 +41 42 43 45 46 +60 59 56 54 52 50 47 +39 38 36 35 32 31 28 27 +14 17 19 20 21 24 25 +60 58 56 55 53 51 +11 10 7 6 5 +10 11 14 15 17 19 +14 11 8 5 4 3 +64 62 61 58 55 52 51 +17 14 13 12 11 10 7 +72 70 69 68 66 64 61 +74 77 80 82 85 86 88 89 +26 29 32 35 36 38 +62 60 59 57 56 53 50 +26 25 23 22 20 19 16 13 +7 10 13 16 17 20 21 +71 70 69 67 65 62 61 +11 13 14 15 18 21 +22 20 17 14 11 9 6 5 +3 4 6 8 11 12 14 15 +2 4 6 9 12 +81 84 86 88 91 94 97 98 +32 33 36 37 38 41 +78 77 76 74 73 +71 72 74 76 78 +44 45 48 49 51 53 54 +78 75 74 73 70 69 66 64 +75 74 71 69 66 63 +84 82 79 78 75 74 71 69 +62 61 58 56 54 52 51 48 +98 95 92 89 88 87 85 +3 5 7 9 10 12 14 +89 87 85 83 82 +80 79 77 75 73 71 68 +61 62 64 66 69 72 74 76 +51 49 46 44 43 40 39 38 +70 67 64 63 62 +35 34 33 31 29 27 24 23 +42 44 47 50 51 52 +52 55 58 59 62 64 65 +67 69 72 74 77 80 +14 12 11 9 8 +53 51 48 45 43 +57 58 60 63 65 68 70 +30 32 35 36 38 41 43 +99 97 96 94 91 89 88 +68 65 63 61 59 57 56 +92 90 88 86 85 +44 46 47 49 52 +49 52 53 54 56 57 59 +28 27 25 22 21 20 17 16 +48 46 43 41 40 +79 80 82 85 87 88 89 +58 56 54 53 52 51 49 47 +54 57 60 61 62 64 65 +40 39 38 36 35 33 +32 30 29 27 24 23 22 +17 14 11 9 7 5 +91 89 88 87 86 83 +19 16 14 11 9 8 +40 41 42 45 46 49 51 52 +86 84 81 80 77 74 71 68 +42 41 39 37 36 34 +36 33 32 29 26 23 20 +24 21 20 17 16 +12 9 8 5 4 +76 79 82 85 88 91 92 +64 66 69 72 75 +35 37 38 41 44 46 49 51 +94 92 89 87 86 85 +66 68 71 74 76 +81 80 79 77 75 74 72 71 +83 86 89 92 94 +43 40 37 34 31 +36 37 38 41 43 +31 28 25 23 20 18 +45 44 42 41 38 36 +86 85 84 82 80 77 74 +58 57 55 54 53 50 49 47 +70 71 73 75 78 +73 76 79 80 82 +85 83 81 78 75 72 +37 38 39 42 45 48 50 +64 67 68 71 72 +66 63 61 58 56 +61 64 65 67 68 69 72 74 +95 94 91 90 89 87 85 84 +84 87 89 91 94 +63 65 68 71 72 73 +40 39 38 37 35 34 32 +88 87 86 83 82 81 80 +71 70 68 65 63 62 +92 90 88 85 82 81 80 +76 74 71 68 65 64 +9 11 12 14 17 +74 75 77 78 80 82 +30 33 36 38 39 42 44 45 +59 62 63 65 67 69 +83 86 88 91 94 95 +29 28 26 23 21 +70 71 74 77 78 80 82 +70 72 74 75 76 +6 9 12 15 18 21 24 25 +32 31 29 26 23 22 +76 75 74 72 70 68 +93 92 91 90 89 +56 58 59 60 63 64 +72 73 74 76 78 80 83 85 +96 95 92 89 86 84 +98 95 94 93 90 +27 29 31 33 36 37 39 40 +48 47 44 41 39 38 37 36 +20 19 16 14 13 +98 97 96 95 92 +71 72 74 75 78 80 +49 51 53 55 57 +63 60 59 56 53 +78 80 82 83 84 +80 79 77 75 73 71 69 66 +24 25 27 30 33 34 36 +81 82 84 86 89 +35 36 39 42 43 44 46 +14 15 16 18 21 23 25 28 +83 84 86 89 92 93 +82 81 78 76 73 +19 21 24 27 28 30 32 +61 60 58 56 53 +7 8 10 12 14 +69 67 66 64 61 59 +29 28 25 23 21 +44 46 49 52 54 55 57 60 +6 7 9 10 12 14 15 +27 25 22 19 18 17 14 +50 52 54 56 59 60 63 65 +40 39 36 33 32 +10 11 12 14 16 +30 27 26 24 23 21 19 18 +24 22 20 19 18 16 14 +89 91 93 95 97 98 99 +60 57 54 53 51 48 47 +1 3 6 7 8 10 13 +14 13 11 10 8 +57 55 53 51 50 +48 46 45 42 40 39 36 35 +42 43 45 47 50 +92 90 88 86 85 82 +94 91 90 88 87 85 84 82 +45 46 48 50 53 +24 21 20 17 14 11 9 7 +65 64 62 60 59 56 55 53 +54 51 50 48 47 44 43 +49 47 45 42 39 38 37 34 +37 34 32 30 27 26 25 +87 88 91 92 94 97 +86 84 81 79 76 73 71 70 +59 60 63 64 65 +39 42 43 44 46 +14 16 17 18 21 23 24 27 +5 6 7 9 12 14 16 19 +64 65 67 70 73 +90 89 88 85 84 81 78 +83 85 88 90 92 93 96 97 +83 81 79 76 74 73 +68 71 74 77 78 80 83 86 +41 40 38 35 34 +34 31 28 27 24 +87 88 90 92 93 94 96 +52 55 56 57 60 62 +17 20 23 24 25 27 +30 28 27 24 21 18 15 12 +28 27 26 25 22 19 +72 69 68 67 66 64 +59 56 55 54 52 49 47 45 +26 28 31 32 35 36 38 +52 49 46 45 42 41 39 +9 10 11 12 14 15 17 +35 36 37 39 40 42 44 47 +59 58 55 54 53 52 +11 10 9 8 6 4 3 +18 20 22 23 24 27 +10 8 7 6 5 4 3 +68 71 72 74 76 77 +64 63 62 59 56 54 51 +37 36 35 33 31 28 +98 97 96 95 93 92 90 87 +18 19 21 24 27 +23 24 26 29 30 33 36 39 +52 51 49 47 46 45 42 41 +50 48 47 44 43 +40 43 46 49 52 54 55 58 +45 43 40 37 35 33 31 29 +35 33 30 27 24 23 20 18 +82 83 84 86 88 +19 16 13 10 9 +37 34 33 32 29 +86 83 80 77 76 +77 78 79 81 84 87 88 90 +13 15 18 21 22 25 27 +6 7 9 11 13 14 17 18 +51 50 48 47 46 44 41 40 +79 80 82 83 85 +74 72 69 67 65 63 62 59 +58 57 55 53 50 +54 57 60 62 64 65 68 +28 30 32 34 37 38 +10 13 15 18 20 22 24 27 +80 79 77 74 73 71 70 +21 20 18 15 13 11 9 +21 23 26 29 31 33 35 +74 75 76 78 81 83 +61 58 56 55 54 53 51 50 +54 55 56 57 60 62 64 65 +45 43 42 41 38 37 35 34 +47 50 53 56 57 59 +98 95 94 93 92 90 +13 12 9 7 6 4 2 +68 70 73 76 79 80 81 84 +59 62 65 68 69 72 75 +80 82 84 87 89 92 95 +63 65 68 70 71 72 73 76 +92 90 87 86 85 82 80 77 +20 18 15 13 11 9 7 +60 59 58 55 54 51 48 47 +18 16 15 13 11 9 +71 68 65 62 61 59 57 +69 68 65 62 60 57 56 +75 74 73 72 70 67 65 62 +17 20 22 25 28 31 +43 45 46 48 50 51 +28 25 22 21 19 17 15 +36 33 30 29 27 24 22 21 +13 14 15 18 20 23 +84 82 81 78 77 76 75 +23 26 27 30 33 +56 53 50 47 46 +25 27 28 30 31 32 34 37 +90 92 94 95 96 99 +82 83 85 88 90 92 95 +49 46 45 43 42 40 +55 58 61 63 65 68 69 72 +61 62 65 66 68 69 +49 52 54 55 56 58 59 61 +41 43 44 46 49 +74 71 70 68 65 62 61 58 +26 29 30 31 32 35 38 40 +11 12 14 15 18 21 +79 76 74 72 71 68 66 +17 20 23 25 27 30 33 35 +52 53 55 58 60 +6 7 9 11 12 +88 85 84 83 81 79 77 +71 74 76 77 79 +70 72 75 78 79 +54 56 58 59 62 +97 96 94 91 90 +6 9 10 11 14 17 20 22 +23 21 18 15 14 +99 98 96 94 91 88 87 +96 93 92 90 89 88 +91 89 88 85 84 82 80 77 +86 87 88 91 94 +3 4 7 10 11 12 +56 59 61 64 67 +40 41 44 46 48 49 52 53 +35 34 32 31 30 27 24 22 +48 47 44 43 42 40 38 36 +31 29 26 23 20 19 16 +25 27 28 29 30 32 +4 7 10 13 15 +36 39 40 42 43 45 48 +20 23 25 27 28 31 34 +40 42 45 48 49 52 54 +14 12 10 9 7 4 2 1 +76 74 71 68 66 64 +25 27 29 30 31 +34 31 29 28 25 24 22 +63 64 67 70 72 73 +95 93 90 89 87 85 +29 27 25 22 20 18 +28 30 32 33 34 37 +53 52 49 46 43 42 +41 40 38 36 33 31 30 +81 79 77 75 74 73 +97 96 95 94 93 90 +77 79 81 82 83 +67 64 62 59 56 54 +55 54 52 50 48 46 45 +74 73 70 69 67 +90 88 85 82 80 +16 14 13 12 11 +32 31 29 26 24 23 +17 18 21 24 27 +21 18 16 14 11 9 6 +37 39 41 42 45 47 +6 8 9 11 13 +35 34 32 30 28 27 25 23 +80 78 77 75 73 71 +4 5 6 9 12 15 +48 51 52 53 55 56 57 +31 33 34 35 37 38 40 42 +75 77 78 80 83 86 87 +39 40 43 46 49 51 +70 71 72 74 75 77 79 +95 92 89 87 85 84 82 +5 7 10 12 14 17 18 20 +68 67 66 65 62 +61 63 64 66 68 69 70 73 +61 59 57 55 53 51 +38 36 33 32 31 30 29 +83 82 79 76 75 74 72 69 +17 20 22 23 26 28 +81 83 86 87 90 93 94 +85 82 81 79 77 +7 10 11 12 13 +94 93 90 87 84 82 +63 64 66 69 70 71 73 +35 36 37 39 42 45 +48 47 45 44 41 +93 92 91 89 88 86 +47 50 52 54 55 +33 35 38 40 43 46 48 49 +70 73 76 77 80 +96 95 92 91 88 87 84 83 +14 17 20 21 22 23 25 28 +14 15 16 17 18 20 21 +72 71 70 68 65 63 60 59 +57 60 61 64 67 68 +18 17 16 13 10 +49 47 44 42 40 38 +30 32 34 37 38 +70 69 68 65 63 62 61 +37 40 43 44 47 48 +55 54 53 52 50 47 45 +90 88 86 85 83 81 80 +90 88 85 83 80 +38 40 43 45 46 +64 67 70 73 75 +91 93 95 98 99 +18 15 12 9 8 6 4 1 +80 77 75 73 70 67 64 62 +29 26 24 21 19 16 15 +61 63 64 67 69 72 +60 59 57 54 53 +63 61 59 57 56 54 53 +49 50 52 53 54 +57 59 60 63 66 +61 63 64 65 66 67 69 70 +24 21 19 18 16 14 +42 39 36 35 34 33 +95 94 92 91 89 86 83 +72 75 77 78 81 83 86 +4 5 6 8 9 12 14 +20 22 25 28 30 33 +65 68 70 71 73 74 +1 3 4 6 9 11 12 15 +75 77 79 81 83 85 +21 22 25 28 29 31 34 +8 7 4 3 2 +39 37 34 31 28 diff --git a/src/Day2.idr b/src/Day2.idr new file mode 100644 index 0000000..c3b26aa --- /dev/null +++ b/src/Day2.idr @@ -0,0 +1,53 @@ +module Day2 + +import Data.String + + +parseRow : String -> List Int +parseRow str = do + num <- words str + maybe [] pure (parseInteger num) + +parseInp : String -> List (List Int) +parseInp inp = do + numrow <- lines inp + pure $ parseRow numrow + +isSafe : List Int -> Bool +isSafe [] = False +isSafe (x :: xs) = fst up || fst down where + up = foldl (\(b, y) => \n => (b && y - n <= 3 && y - n > 0, n)) (True, x) xs + down = foldl (\(b, y) => \n => (b && n - y <= 3 && n - y > 0, n)) (True, x) xs + +btoi : Bool -> Int +btoi False = 0 +btoi True = 1 + +part1 : List (List Int) -> Int +part1 iss = sum $ map (btoi . isSafe) iss + +export sol1 : String -> String +sol1 = show . part1 . parseInp + +upCheck, downCheck : Int -> Int -> Bool +upCheck i j = i - j <= 3 && i - j > 0 +downCheck i j = j - i <= 3 && j - i > 0 + +safeTerm : (Int -> Int -> Bool) -> (Bool, Bool, Int) -> Int -> (Bool, Bool, Int) +safeTerm f (False, (y, z)) i = (False, y, i) +safeTerm f (True, (False, z)) i = (f z i, False, i) +safeTerm f (True, (True, z)) i = if f z i then (True, True, i) else (True, False, z) + +isSafe' : Bool -> List Int -> Bool +isSafe' b [] = False +isSafe' b (x :: []) = True +isSafe' b (x :: (y :: xs)) = isSafe (x :: y :: xs) || (b && isSafe' False (y :: xs)) || (b && isSafe' False (x :: xs)) + +part2 : List (List Int) -> Int +part2 iss = sum $ map (btoi . isSafe' True) iss + +export sol2 : String -> String +sol2 = show . part2 . parseInp + +export out : String -> String +out = show . parseInp diff --git a/src/Main.idr b/src/Main.idr index e2faf59..c90397f 100644 --- a/src/Main.idr +++ b/src/Main.idr @@ -1,6 +1,7 @@ module Main import Day1 +import Day2 import System import System.File import Data.Fin @@ -9,6 +10,7 @@ import Data.String runDay : Int -> String -> String runDay n inp = case n of 1 => unlines [Day1.sol1 inp, Day1.sol2 inp] + 2 => unlines [Day2.sol1 inp, Day2.sol2 inp] _ => "Not implemented yet!" main : IO () |