diff options
-rw-r--r-- | AoC2022/18/eg-in | 13 | ||||
-rw-r--r-- | AoC2022/18/input | 2759 | ||||
-rw-r--r-- | AoC2022/18/solver.lisp | 20 |
3 files changed, 2792 insertions, 0 deletions
diff --git a/AoC2022/18/eg-in b/AoC2022/18/eg-in new file mode 100644 index 0000000..73a7202 --- /dev/null +++ b/AoC2022/18/eg-in @@ -0,0 +1,13 @@ +2,2,2 +1,2,2 +3,2,2 +2,1,2 +2,3,2 +2,2,1 +2,2,3 +2,2,4 +2,2,6 +1,2,5 +3,2,5 +2,1,5 +2,3,5 diff --git a/AoC2022/18/input b/AoC2022/18/input new file mode 100644 index 0000000..04c1e25 --- /dev/null +++ b/AoC2022/18/input @@ -0,0 +1,2759 @@ +17,13,4 +10,14,3 +13,5,17 +7,9,18 +8,11,2 +9,15,17 +4,5,9 +8,2,10 +4,14,14 +19,13,13 +16,18,12 +17,7,13 +17,12,16 +14,17,15 +14,5,3 +14,18,14 +2,9,10 +5,16,12 +14,1,10 +3,10,6 +15,3,6 +5,17,7 +13,16,17 +15,13,15 +3,10,8 +3,8,15 +17,13,9 +6,19,14 +11,2,10 +14,16,3 +2,14,10 +10,4,4 +8,19,12 +16,5,8 +9,13,2 +14,10,3 +10,5,5 +13,6,3 +4,15,10 +14,4,4 +15,11,19 +10,15,3 +17,9,14 +19,7,11 +18,13,13 +4,13,5 +12,9,1 +9,7,2 +6,11,3 +6,3,11 +6,3,7 +12,5,5 +11,3,16 +6,4,11 +6,5,7 +13,8,20 +11,10,2 +10,9,2 +8,16,3 +3,8,6 +10,2,12 +2,8,12 +6,17,17 +11,14,4 +7,2,11 +7,3,9 +15,5,5 +7,18,13 +5,11,4 +3,10,12 +8,13,3 +13,16,5 +7,18,12 +1,12,12 +2,7,10 +13,2,9 +7,10,3 +11,20,14 +6,9,3 +9,18,13 +18,16,11 +10,15,4 +5,13,5 +2,9,9 +3,9,8 +16,16,6 +2,8,10 +8,18,7 +9,11,19 +14,3,14 +15,7,19 +7,7,19 +4,16,13 +19,6,12 +5,5,11 +17,16,15 +13,15,16 +9,12,1 +14,4,14 +12,3,9 +9,17,14 +14,2,12 +7,5,6 +9,5,17 +14,4,6 +3,8,11 +8,17,15 +12,14,18 +7,5,18 +8,2,11 +17,4,7 +11,7,3 +7,17,9 +11,18,13 +7,5,4 +4,13,7 +2,15,12 +3,5,9 +5,7,5 +12,2,10 +13,18,9 +5,9,17 +12,10,2 +14,8,2 +3,13,16 +18,11,6 +17,7,4 +2,6,10 +17,7,12 +10,19,7 +9,8,20 +7,16,18 +3,13,10 +9,9,20 +16,11,4 +17,6,12 +5,4,8 +8,20,10 +3,14,7 +13,19,10 +18,9,5 +14,19,7 +14,17,5 +9,1,12 +4,9,16 +8,6,19 +9,2,10 +6,3,9 +15,4,11 +17,17,12 +1,9,9 +6,15,6 +11,19,15 +7,6,6 +10,17,10 +11,3,17 +8,19,14 +11,5,5 +2,8,8 +20,12,7 +9,3,15 +15,15,7 +4,8,6 +13,4,13 +15,12,18 +11,18,5 +14,15,4 +4,14,17 +5,5,7 +5,17,12 +17,16,11 +9,7,16 +15,17,7 +16,6,15 +13,11,17 +2,15,8 +17,7,14 +7,17,4 +8,16,17 +13,14,19 +8,4,11 +17,15,6 +14,9,5 +14,12,3 +20,13,11 +15,19,14 +10,3,6 +17,11,4 +16,17,14 +11,14,5 +11,19,9 +3,14,10 +9,17,6 +13,15,18 +8,6,5 +15,18,11 +6,8,8 +3,16,14 +9,15,5 +16,7,16 +3,12,15 +8,20,12 +6,11,5 +3,11,16 +7,17,10 +12,6,3 +9,18,9 +10,3,14 +9,7,18 +14,3,11 +2,14,8 +12,20,10 +14,17,14 +18,12,10 +8,6,3 +15,12,5 +3,13,13 +9,5,6 +6,3,15 +2,12,13 +12,19,13 +5,5,16 +8,13,19 +20,14,13 +6,15,11 +14,6,15 +5,14,16 +7,4,10 +3,10,9 +9,18,11 +14,17,16 +9,9,19 +9,20,11 +18,15,15 +17,15,9 +14,2,10 +11,11,20 +12,17,8 +13,4,15 +17,5,6 +17,6,13 +1,8,8 +11,7,19 +7,17,16 +4,8,4 +10,18,9 +4,12,4 +14,4,13 +8,18,6 +3,10,13 +18,10,6 +7,6,17 +7,4,6 +14,9,18 +8,4,13 +18,7,11 +11,16,18 +18,12,5 +14,18,5 +18,10,15 +6,5,5 +16,7,6 +17,12,3 +14,15,5 +16,6,4 +7,18,5 +3,12,10 +8,6,14 +13,13,2 +12,3,8 +10,19,9 +15,13,16 +16,7,17 +5,18,12 +15,10,18 +12,15,5 +8,18,10 +4,12,16 +6,6,18 +4,14,6 +9,3,14 +2,12,9 +11,16,4 +9,16,3 +12,16,6 +7,6,5 +7,14,3 +3,17,10 +10,14,1 +16,7,5 +3,8,9 +15,2,10 +9,15,18 +5,8,16 +10,15,17 +4,9,8 +16,18,8 +19,8,13 +15,4,6 +17,5,5 +15,15,6 +7,19,10 +4,11,19 +3,14,12 +5,16,5 +7,15,4 +16,11,7 +3,10,10 +12,18,7 +5,10,4 +5,10,18 +13,5,4 +15,5,4 +17,10,16 +6,4,14 +2,9,16 +5,15,16 +4,15,12 +20,9,8 +10,4,7 +13,17,14 +9,19,12 +12,4,14 +15,11,2 +16,12,3 +10,16,15 +19,16,12 +7,16,7 +6,9,4 +8,12,4 +18,6,12 +15,13,18 +2,9,7 +4,16,4 +18,9,4 +18,10,11 +16,15,7 +11,4,7 +16,13,7 +13,6,18 +15,15,18 +15,9,5 +12,2,9 +3,14,13 +5,16,13 +2,8,13 +8,11,20 +8,7,18 +2,13,12 +12,9,2 +3,17,11 +12,13,4 +7,16,17 +18,8,12 +4,9,7 +17,14,13 +11,10,19 +16,14,9 +6,14,18 +12,13,17 +18,9,13 +18,16,8 +11,3,8 +17,15,5 +7,14,19 +10,2,9 +19,15,8 +8,3,7 +18,14,7 +6,13,19 +14,4,16 +7,5,3 +4,16,10 +17,10,17 +6,14,4 +11,16,15 +4,17,10 +16,15,6 +17,14,9 +14,18,15 +15,8,18 +11,4,15 +3,16,7 +4,13,6 +6,6,16 +12,19,8 +11,2,14 +12,18,15 +13,18,4 +16,6,8 +6,19,9 +10,10,1 +9,8,2 +18,7,13 +9,18,6 +3,8,13 +7,9,20 +12,10,3 +10,3,10 +18,10,14 +13,19,14 +18,16,9 +11,13,2 +15,16,16 +3,11,14 +7,15,6 +8,13,2 +14,13,5 +6,3,8 +6,10,3 +7,8,17 +15,15,10 +10,16,16 +15,5,6 +6,12,17 +10,12,19 +17,5,14 +2,7,7 +4,3,9 +6,18,8 +4,6,16 +10,7,18 +17,7,15 +4,6,8 +18,15,7 +8,19,11 +7,4,13 +17,6,7 +19,10,13 +20,9,6 +11,1,10 +2,11,10 +4,6,15 +14,3,12 +10,11,3 +19,9,16 +19,14,10 +4,5,11 +10,9,19 +5,15,4 +17,3,10 +11,18,7 +9,11,3 +18,14,11 +2,7,11 +12,5,15 +8,15,4 +10,19,8 +11,3,14 +9,8,19 +16,11,3 +5,17,11 +7,17,5 +6,2,9 +16,3,13 +8,4,12 +16,14,15 +15,18,7 +16,9,18 +8,8,4 +17,17,9 +3,8,12 +6,3,14 +4,9,6 +3,7,8 +9,6,6 +17,15,14 +16,13,17 +8,9,19 +10,19,15 +10,18,15 +4,5,7 +19,12,6 +17,14,12 +1,10,10 +9,1,6 +3,16,12 +10,19,11 +4,7,5 +2,12,14 +15,14,2 +13,10,2 +18,12,14 +18,12,12 +9,5,5 +14,16,7 +3,13,8 +13,15,3 +15,5,16 +18,16,13 +11,17,16 +8,11,1 +10,4,16 +19,9,8 +1,11,10 +8,14,19 +13,3,11 +18,11,14 +8,3,16 +3,14,16 +6,7,16 +4,4,10 +14,16,5 +8,5,18 +11,1,9 +7,4,18 +11,5,3 +8,18,8 +19,10,12 +16,3,12 +2,10,13 +17,13,15 +13,4,5 +11,4,4 +15,16,5 +11,5,7 +16,15,9 +3,8,7 +9,2,8 +13,14,15 +11,14,18 +12,18,6 +8,9,4 +14,12,2 +7,2,9 +15,14,3 +1,9,10 +3,4,10 +13,14,4 +1,10,8 +9,14,17 +7,16,6 +1,8,11 +8,4,9 +3,15,10 +19,11,10 +18,12,16 +19,14,8 +8,16,5 +14,16,16 +8,4,17 +11,6,2 +3,11,15 +9,16,16 +5,7,6 +4,7,15 +15,18,14 +14,9,3 +5,17,13 +4,10,17 +15,12,19 +9,11,2 +3,7,9 +6,8,17 +13,18,11 +16,14,16 +15,17,10 +14,17,8 +10,19,13 +4,17,8 +5,4,6 +4,17,12 +10,3,4 +18,9,14 +6,13,3 +7,4,9 +9,19,15 +10,16,3 +11,4,6 +7,15,18 +11,2,15 +10,13,3 +8,10,2 +6,4,7 +7,6,14 +8,18,15 +8,6,17 +11,9,2 +11,9,19 +15,11,18 +13,4,16 +6,14,16 +6,8,19 +3,12,9 +4,10,5 +11,18,16 +15,15,14 +2,10,8 +2,13,8 +5,6,10 +17,3,9 +12,15,17 +6,6,14 +5,15,7 +8,3,14 +3,8,14 +6,5,8 +10,11,20 +4,8,13 +16,16,9 +19,7,10 +7,13,3 +9,18,15 +8,5,4 +12,3,13 +7,3,8 +10,5,4 +14,17,4 +8,6,18 +5,13,18 +6,17,10 +15,6,14 +15,8,15 +3,6,10 +6,6,17 +2,11,11 +8,11,18 +2,7,9 +7,15,5 +10,1,11 +18,10,8 +6,16,7 +15,9,4 +13,11,20 +2,5,9 +18,14,10 +9,11,20 +2,13,16 +7,16,14 +15,8,17 +19,11,15 +18,17,11 +8,17,16 +15,7,3 +9,19,9 +14,5,16 +15,18,12 +16,5,13 +12,5,3 +18,16,10 +9,18,7 +4,16,8 +11,16,3 +11,12,3 +4,11,10 +6,11,18 +3,7,15 +17,5,12 +19,11,13 +3,13,9 +18,6,9 +4,17,13 +2,12,11 +12,18,14 +19,11,11 +7,14,17 +16,4,7 +20,10,12 +17,13,17 +12,7,3 +9,6,4 +3,10,4 +10,9,20 +14,13,19 +6,17,11 +11,2,9 +14,12,18 +14,13,3 +14,18,9 +10,16,6 +17,10,7 +14,9,1 +10,18,5 +14,2,8 +11,13,1 +10,3,8 +19,7,14 +6,19,13 +12,19,12 +17,12,18 +17,6,15 +18,5,12 +10,16,5 +4,7,4 +9,6,3 +16,6,12 +14,8,3 +16,12,5 +18,6,6 +18,10,17 +18,9,6 +14,19,12 +3,16,13 +11,17,5 +6,4,16 +15,5,8 +5,15,8 +14,7,5 +7,7,3 +14,16,15 +3,13,11 +4,9,12 +16,5,17 +6,17,6 +17,13,16 +18,11,8 +3,9,13 +17,5,11 +12,4,16 +4,8,15 +18,8,5 +11,6,4 +15,6,4 +17,15,11 +13,17,4 +7,4,5 +16,14,7 +13,18,14 +10,9,17 +13,16,4 +14,3,10 +7,9,17 +18,6,11 +13,3,10 +3,11,11 +4,13,9 +15,5,13 +5,5,13 +16,12,17 +2,14,11 +7,3,13 +5,15,13 +5,18,11 +8,1,15 +10,17,17 +8,13,4 +17,13,5 +14,10,19 +8,2,8 +16,5,14 +9,4,8 +2,9,12 +14,16,12 +12,17,6 +12,5,6 +9,1,10 +6,16,10 +8,16,4 +5,4,13 +19,12,13 +4,7,14 +4,12,15 +5,9,9 +18,10,12 +9,16,18 +8,11,4 +11,19,13 +14,18,13 +11,19,10 +19,15,10 +2,9,6 +14,5,17 +3,15,9 +17,8,5 +17,13,6 +12,3,14 +18,16,7 +18,4,9 +10,4,8 +17,16,12 +8,12,18 +21,11,10 +19,8,10 +16,17,12 +4,10,16 +10,6,17 +17,11,17 +3,15,13 +18,9,16 +6,3,10 +6,14,3 +6,2,10 +6,12,3 +12,10,19 +8,10,19 +10,8,4 +19,12,9 +13,11,2 +12,7,4 +18,7,8 +18,4,7 +4,14,15 +15,17,16 +12,18,16 +12,3,17 +3,16,10 +6,3,13 +13,2,11 +18,14,9 +16,11,17 +9,16,17 +9,1,9 +5,15,6 +17,16,10 +18,13,15 +15,3,11 +8,4,4 +13,8,2 +13,19,7 +17,4,9 +6,13,4 +16,5,15 +7,4,14 +12,17,14 +2,11,14 +9,19,14 +15,7,16 +9,2,12 +16,10,16 +6,15,16 +19,9,7 +18,8,8 +4,15,6 +14,10,16 +8,18,14 +16,10,3 +6,14,17 +6,6,8 +11,3,11 +19,15,13 +7,5,15 +15,8,5 +5,6,15 +7,17,6 +6,7,17 +8,7,2 +14,2,7 +7,2,6 +14,14,3 +13,20,11 +2,10,14 +11,2,13 +9,20,7 +16,8,4 +13,6,17 +5,12,3 +15,12,3 +10,8,18 +17,4,14 +6,3,12 +20,13,7 +12,4,15 +17,11,15 +10,2,5 +7,7,4 +14,10,5 +10,6,16 +2,15,10 +19,9,10 +12,8,18 +8,3,10 +8,19,8 +12,14,16 +4,7,9 +17,7,6 +5,14,6 +5,6,14 +5,7,4 +10,14,18 +10,17,15 +12,8,19 +11,7,16 +9,4,5 +16,12,4 +19,16,11 +8,4,7 +18,12,15 +14,8,19 +11,13,3 +18,12,7 +15,4,13 +10,1,14 +11,6,18 +13,13,3 +14,2,11 +15,11,17 +3,6,13 +10,20,7 +8,6,15 +9,3,7 +16,13,3 +3,13,5 +5,11,18 +12,14,4 +7,7,15 +14,15,18 +13,14,2 +8,3,13 +14,9,17 +6,6,6 +5,18,14 +19,7,6 +6,11,2 +9,3,10 +11,2,8 +13,15,4 +14,18,12 +11,5,16 +15,17,12 +6,7,4 +12,11,2 +5,17,14 +17,17,14 +8,3,4 +6,7,3 +15,19,11 +10,14,2 +9,16,4 +8,9,2 +7,8,6 +5,8,5 +12,13,18 +4,14,11 +2,9,13 +10,13,1 +18,12,13 +4,8,16 +10,19,10 +9,3,6 +5,14,8 +6,16,12 +13,19,12 +9,13,18 +4,11,17 +7,14,16 +6,7,13 +13,12,2 +16,6,11 +16,6,6 +19,10,11 +9,20,9 +8,14,4 +19,15,12 +5,10,17 +17,8,15 +9,19,7 +20,9,13 +12,17,15 +8,17,17 +8,14,18 +18,11,4 +8,19,9 +14,17,13 +19,9,9 +8,9,18 +4,5,13 +7,9,2 +15,8,4 +10,5,3 +9,5,16 +8,4,8 +10,12,2 +14,3,15 +7,19,8 +8,19,7 +15,5,18 +17,9,4 +16,6,14 +15,4,12 +14,20,9 +3,5,12 +7,14,18 +7,8,18 +5,9,5 +15,9,17 +5,11,17 +6,9,17 +13,14,6 +15,5,17 +6,15,5 +5,3,14 +12,17,7 +4,8,7 +10,12,18 +15,16,14 +8,17,6 +13,7,15 +13,4,17 +4,9,15 +14,16,14 +15,7,7 +15,18,10 +5,4,7 +4,8,9 +15,17,6 +14,11,3 +16,8,6 +13,9,4 +6,12,18 +2,7,14 +15,6,17 +13,3,9 +14,12,19 +14,11,2 +18,14,13 +16,4,8 +7,19,11 +15,9,18 +14,18,8 +9,2,14 +8,15,7 +2,11,12 +2,8,6 +19,10,15 +14,16,9 +6,4,9 +3,6,12 +4,18,8 +6,5,16 +10,10,3 +14,14,19 +16,8,3 +17,10,6 +16,9,3 +7,8,3 +17,13,14 +16,13,13 +16,15,14 +14,15,19 +14,10,18 +4,5,14 +11,16,19 +1,10,14 +15,8,14 +8,5,3 +13,12,3 +12,16,14 +12,6,4 +4,10,10 +13,10,18 +5,7,12 +12,19,6 +13,17,6 +14,16,18 +8,14,16 +18,13,8 +11,8,18 +18,10,4 +3,6,15 +19,9,13 +14,6,17 +11,11,18 +10,15,5 +4,11,16 +8,18,5 +18,12,17 +13,7,19 +10,5,14 +19,7,9 +4,13,8 +13,17,5 +17,9,16 +15,3,13 +16,10,4 +13,6,2 +3,5,11 +17,15,13 +5,4,16 +6,7,14 +17,16,16 +5,6,13 +8,12,19 +2,14,12 +9,17,5 +15,3,12 +13,5,15 +10,2,11 +16,16,8 +3,7,7 +16,6,5 +4,12,17 +5,17,9 +10,18,16 +6,15,15 +10,6,3 +11,19,12 +6,2,13 +1,8,12 +17,15,10 +5,18,10 +3,12,12 +20,12,6 +11,13,19 +11,6,16 +4,9,9 +6,16,16 +13,5,14 +12,10,20 +3,5,15 +6,13,17 +7,11,17 +17,5,9 +13,16,18 +5,10,5 +14,16,13 +16,18,15 +18,14,12 +13,8,3 +7,9,4 +10,9,1 +17,4,12 +5,9,7 +9,13,17 +5,16,4 +16,3,9 +11,4,16 +16,14,17 +17,6,14 +20,8,11 +7,13,4 +9,11,4 +10,8,2 +4,5,15 +18,10,5 +8,17,7 +9,1,11 +4,9,4 +12,18,10 +6,18,12 +8,15,6 +7,15,3 +8,12,20 +5,12,4 +11,10,18 +5,6,4 +7,18,14 +5,17,8 +10,7,1 +11,0,11 +18,10,9 +12,18,5 +14,5,4 +4,7,10 +6,18,14 +15,17,15 +13,2,7 +3,16,11 +6,5,13 +4,6,4 +2,7,13 +10,2,10 +13,15,19 +14,4,12 +13,17,8 +5,16,7 +8,6,4 +11,5,18 +9,6,16 +14,17,7 +14,19,11 +19,14,13 +13,14,18 +16,15,5 +19,9,14 +17,8,17 +5,18,7 +14,17,9 +3,10,14 +9,14,3 +17,6,9 +8,7,4 +14,8,18 +11,15,18 +16,14,11 +17,4,13 +16,14,6 +9,14,2 +4,16,14 +14,6,18 +4,15,14 +3,6,9 +10,6,19 +8,16,19 +13,19,11 +4,13,14 +9,5,3 +14,2,15 +5,4,9 +16,5,6 +8,19,13 +16,10,6 +12,7,17 +15,19,9 +14,11,4 +13,10,19 +11,6,17 +11,15,4 +16,10,17 +12,1,11 +8,5,6 +9,7,5 +3,15,6 +17,7,5 +14,7,19 +19,8,11 +6,13,18 +11,7,20 +19,13,14 +3,9,9 +17,7,10 +16,4,13 +8,2,12 +7,17,15 +13,12,18 +3,12,13 +19,10,8 +14,17,6 +3,17,9 +13,2,12 +8,16,16 +9,18,12 +7,3,15 +15,3,8 +17,17,8 +17,10,8 +8,2,9 +3,6,7 +2,15,11 +18,11,5 +15,13,3 +9,18,5 +4,10,7 +7,11,20 +16,17,13 +5,15,11 +8,9,3 +13,18,10 +9,5,4 +16,18,13 +7,12,4 +13,5,18 +17,6,4 +13,15,5 +10,1,13 +20,8,10 +3,12,8 +18,8,4 +3,10,15 +19,13,7 +18,6,8 +10,15,18 +18,14,14 +15,9,15 +11,12,19 +2,13,7 +15,17,5 +14,15,17 +17,9,15 +19,9,11 +16,17,7 +4,6,12 +12,8,2 +17,8,16 +10,11,2 +6,15,17 +17,7,11 +16,15,16 +4,4,11 +19,8,8 +15,17,4 +11,3,12 +9,6,19 +2,13,10 +17,12,12 +16,9,4 +12,2,8 +18,7,10 +15,8,8 +6,2,8 +14,19,13 +15,4,14 +9,9,18 +6,4,10 +4,15,11 +15,5,7 +17,8,13 +17,16,13 +16,15,4 +3,11,9 +9,3,5 +16,11,5 +17,15,8 +3,9,14 +3,13,7 +16,14,5 +15,9,2 +18,14,6 +7,18,9 +16,11,19 +15,7,4 +6,16,4 +6,7,18 +11,16,5 +10,3,15 +3,12,6 +5,15,14 +4,13,16 +14,10,4 +17,6,8 +2,12,8 +15,10,3 +2,9,8 +8,4,5 +7,14,2 +18,7,6 +10,16,4 +8,11,3 +11,18,15 +5,13,7 +14,4,7 +19,15,11 +10,14,17 +16,17,15 +16,12,18 +10,1,10 +5,8,3 +7,11,15 +8,10,3 +12,15,19 +5,5,14 +8,19,10 +16,13,5 +16,16,10 +5,10,15 +5,16,6 +5,6,5 +9,17,10 +1,6,11 +15,14,6 +6,4,6 +13,3,8 +6,10,6 +18,8,15 +4,6,9 +7,4,16 +15,16,8 +14,14,17 +11,17,15 +7,4,17 +7,18,15 +2,11,9 +12,5,9 +17,16,7 +3,14,17 +15,13,17 +2,10,11 +4,6,10 +19,9,6 +9,3,11 +12,6,18 +17,8,4 +18,8,10 +5,6,16 +17,10,5 +14,7,16 +17,11,16 +3,12,16 +12,19,10 +4,14,4 +7,8,4 +12,19,9 +13,3,7 +2,12,12 +5,15,5 +7,8,15 +9,17,15 +17,14,15 +12,7,2 +16,11,16 +14,11,17 +11,18,8 +2,8,14 +4,13,13 +13,2,10 +9,7,3 +2,14,9 +20,13,12 +12,4,3 +4,15,13 +9,12,3 +10,15,14 +12,7,19 +8,14,5 +15,15,4 +5,13,4 +4,5,10 +4,7,17 +17,5,13 +11,7,2 +10,18,13 +7,14,4 +7,19,14 +15,12,15 +13,8,17 +6,16,17 +19,14,12 +16,3,11 +15,16,6 +18,8,6 +17,13,10 +6,12,5 +7,9,19 +4,15,5 +15,19,12 +6,2,6 +17,16,9 +15,9,3 +9,3,16 +7,6,16 +11,18,14 +18,13,7 +14,11,19 +17,7,8 +17,10,13 +13,3,14 +9,19,10 +6,18,11 +8,16,6 +12,10,1 +7,1,13 +11,5,17 +5,6,7 +11,5,6 +13,15,17 +12,15,18 +15,6,5 +15,18,13 +13,1,9 +15,11,5 +18,11,15 +11,7,18 +12,6,14 +7,10,17 +18,14,8 +11,18,9 +9,6,17 +7,7,16 +8,3,15 +9,9,2 +13,11,18 +8,18,4 +16,6,7 +3,10,5 +11,14,3 +12,3,10 +7,7,18 +9,18,10 +2,11,13 +10,14,20 +4,11,7 +12,12,20 +3,8,17 +4,5,8 +13,10,3 +9,15,16 +18,8,14 +7,18,11 +6,2,12 +19,10,6 +13,3,12 +14,13,2 +7,16,4 +6,11,14 +16,8,16 +7,17,13 +12,8,3 +20,10,11 +4,10,18 +16,9,16 +19,11,8 +12,15,4 +14,10,17 +15,14,18 +18,7,9 +2,8,11 +9,8,3 +14,14,18 +16,8,15 +12,18,12 +4,16,7 +20,12,9 +9,10,20 +8,3,6 +10,4,6 +13,2,14 +11,19,7 +5,13,6 +12,11,3 +16,16,15 +15,5,9 +11,11,19 +8,7,17 +8,13,18 +13,19,8 +5,10,3 +11,17,4 +18,15,13 +4,15,9 +18,14,15 +18,16,12 +6,17,16 +15,13,19 +10,5,18 +10,13,18 +8,7,19 +8,15,18 +7,2,13 +20,14,9 +3,11,5 +13,7,3 +19,13,8 +14,12,4 +5,16,16 +17,15,15 +2,11,8 +5,4,10 +6,13,16 +4,10,6 +7,16,8 +3,11,8 +6,5,9 +10,8,19 +4,9,14 +11,15,17 +7,4,7 +8,1,9 +10,7,20 +12,4,10 +14,2,9 +13,6,4 +16,16,12 +9,4,13 +18,5,14 +11,16,16 +2,12,10 +19,14,9 +17,16,6 +12,1,8 +2,8,7 +16,2,11 +7,7,2 +7,12,2 +17,10,15 +16,14,13 +13,7,4 +14,13,4 +19,12,8 +9,2,11 +16,17,6 +20,11,9 +13,18,6 +17,8,14 +15,2,9 +13,1,12 +12,2,7 +11,8,19 +9,9,1 +10,18,14 +6,17,8 +15,17,8 +18,5,8 +20,12,10 +17,11,5 +12,19,14 +15,4,9 +15,13,4 +16,16,11 +16,17,9 +4,15,7 +12,18,9 +8,19,6 +17,17,10 +5,12,12 +7,12,19 +6,17,13 +13,9,19 +12,13,19 +10,9,3 +16,4,14 +11,5,15 +3,16,15 +15,3,7 +13,10,1 +16,13,18 +12,6,19 +9,13,3 +17,5,7 +12,12,1 +3,10,16 +14,5,18 +4,10,4 +10,2,16 +9,8,18 +14,19,8 +7,6,19 +16,8,5 +14,8,15 +11,9,1 +10,13,2 +6,5,6 +9,17,4 +2,10,7 +14,5,8 +14,8,16 +20,10,8 +5,4,12 +9,18,8 +12,17,17 +7,16,3 +1,14,9 +7,18,8 +5,6,8 +8,18,13 +11,12,2 +1,11,11 +5,9,15 +12,2,13 +16,8,12 +19,11,5 +13,9,2 +3,12,7 +4,16,6 +7,5,8 +12,14,3 +3,6,8 +18,9,11 +18,11,16 +11,9,21 +7,2,15 +17,11,9 +15,15,15 +17,7,16 +13,1,10 +18,6,13 +7,2,10 +10,3,16 +9,19,11 +16,19,8 +8,12,2 +16,7,4 +12,16,5 +17,5,8 +18,17,10 +10,19,12 +18,7,7 +15,4,16 +17,12,13 +4,15,15 +5,14,4 +20,6,12 +13,18,5 +11,16,17 +10,4,14 +12,5,19 +15,16,13 +8,5,19 +12,1,10 +8,15,5 +14,3,13 +15,7,8 +8,18,16 +5,8,14 +8,20,13 +6,8,2 +3,14,8 +18,18,9 +2,17,9 +18,11,12 +4,11,5 +10,2,13 +16,15,15 +7,6,18 +19,11,6 +7,11,3 +3,16,9 +14,19,15 +5,9,3 +16,5,10 +6,16,14 +4,15,8 +16,6,16 +16,8,18 +13,16,16 +18,11,7 +11,13,17 +7,8,2 +18,13,11 +15,5,11 +13,5,16 +17,11,6 +7,7,5 +7,3,12 +4,14,16 +4,8,8 +7,11,2 +2,8,15 +11,13,4 +5,8,17 +8,17,11 +3,11,7 +7,3,10 +12,7,1 +7,15,17 +12,15,2 +7,4,15 +5,13,8 +9,10,3 +17,12,5 +8,17,9 +10,17,8 +16,17,10 +15,12,16 +15,9,16 +4,14,9 +16,4,12 +16,2,12 +4,12,5 +12,9,4 +17,3,12 +9,14,18 +7,13,17 +2,10,9 +2,9,14 +15,4,17 +6,7,5 +3,5,14 +7,18,10 +4,16,9 +14,6,3 +13,19,15 +4,6,5 +18,9,15 +1,10,9 +1,12,9 +15,3,10 +10,10,19 +17,16,8 +3,8,8 +10,3,7 +7,7,17 +5,14,12 +4,7,7 +9,16,6 +9,2,15 +6,11,17 +15,9,6 +6,10,5 +7,8,19 +5,5,15 +17,12,14 +7,5,5 +9,16,15 +8,2,13 +12,13,2 +14,18,11 +5,14,5 +10,18,6 +7,3,14 +19,6,11 +6,11,16 +5,5,6 +9,15,4 +4,13,15 +3,5,13 +14,14,15 +12,13,3 +8,15,17 +16,5,3 +12,3,12 +13,17,17 +19,11,7 +17,14,6 +19,7,12 +16,10,5 +18,12,9 +8,13,17 +10,14,19 +12,10,18 +16,9,5 +10,17,3 +11,2,11 +6,14,13 +10,3,17 +4,14,7 +13,18,15 +11,19,11 +6,13,14 +11,10,17 +9,7,1 +2,10,12 +16,6,13 +18,12,8 +15,16,11 +8,6,16 +16,16,13 +16,16,14 +3,11,6 +11,17,14 +12,14,19 +14,13,1 +18,13,12 +14,7,18 +9,6,18 +17,12,17 +12,15,9 +8,17,10 +14,16,8 +12,2,14 +1,9,15 +8,3,12 +3,9,10 +14,4,17 +5,17,6 +13,6,7 +5,7,17 +13,8,18 +13,13,17 +10,17,13 +6,9,19 +6,9,2 +9,4,17 +13,17,9 +16,13,11 +16,7,15 +8,14,1 +18,13,9 +6,4,12 +8,1,8 +18,15,10 +6,13,9 +20,9,10 +4,8,17 +18,13,14 +19,9,12 +14,4,15 +10,12,3 +9,20,10 +14,14,4 +9,14,5 +6,6,5 +5,5,12 +20,14,11 +5,3,13 +17,10,4 +12,3,7 +4,7,6 +14,9,19 +10,9,18 +5,11,5 +5,14,15 +3,11,13 +19,6,10 +15,8,3 +12,12,19 +3,15,11 +16,7,14 +11,2,6 +8,8,2 +8,17,14 +12,5,4 +5,15,12 +19,10,10 +4,4,14 +11,19,8 +11,3,15 +5,4,5 +16,5,7 +18,6,10 +13,18,8 +4,18,9 +8,4,15 +13,14,17 +5,14,17 +14,4,5 +10,11,1 +2,12,16 +10,4,5 +18,6,7 +3,13,12 +13,3,5 +6,18,10 +9,18,4 +15,7,13 +3,9,11 +5,4,15 +18,8,7 +7,16,16 +2,16,14 +8,17,5 +15,16,15 +6,8,4 +14,5,11 +12,11,19 +16,3,7 +11,6,19 +5,8,4 +14,3,17 +13,1,15 +9,18,17 +2,9,11 +15,6,18 +8,18,9 +12,9,19 +16,13,15 +17,5,15 +7,1,9 +13,18,16 +16,13,14 +10,10,18 +13,2,8 +3,14,6 +5,5,10 +6,18,9 +1,12,10 +8,15,16 +17,13,13 +10,8,3 +12,16,18 +10,17,4 +9,3,9 +16,3,10 +17,9,13 +8,10,18 +14,20,11 +11,7,5 +13,17,15 +8,19,15 +11,19,14 +9,19,13 +8,16,14 +5,8,6 +9,17,16 +6,17,14 +9,2,9 +2,6,14 +5,3,9 +9,3,8 +11,3,6 +14,15,2 +12,17,5 +7,3,11 +12,4,6 +2,5,11 +4,11,4 +18,9,7 +4,14,5 +7,4,12 +9,7,19 +11,15,3 +7,17,7 +11,8,3 +9,17,13 +11,6,3 +11,5,4 +17,11,18 +14,6,16 +12,3,6 +9,19,6 +12,14,1 +19,14,11 +14,4,8 +12,5,17 +9,10,2 +18,11,13 +20,10,13 +14,3,7 +1,7,11 +13,4,4 +10,5,17 +4,6,13 +15,13,2 +18,5,13 +13,18,13 +1,11,9 +15,4,4 +5,6,17 +7,14,5 +14,7,4 +1,12,11 +8,5,14 +11,14,19 +11,4,9 +17,14,5 +11,15,2 +14,15,16 +14,12,16 +12,10,21 +17,13,7 +18,9,12 +17,13,8 +5,3,11 +10,3,13 +8,4,6 +19,12,12 +7,19,9 +16,18,10 +12,16,19 +15,16,12 +10,6,5 +4,5,12 +3,8,16 +12,3,16 +20,8,12 +9,19,8 +16,12,14 +14,16,17 +13,4,7 +16,7,13 +6,8,14 +13,8,1 +16,10,12 +14,14,16 +10,16,18 +5,13,17 +18,18,13 +7,12,1 +6,10,4 +6,5,15 +6,17,9 +11,20,13 +12,3,15 +8,5,17 +10,12,20 +9,17,17 +8,6,6 +16,12,15 +18,5,7 +8,12,1 +9,1,8 +16,8,17 +11,13,18 +15,10,4 +17,18,10 +4,4,9 +4,14,13 +16,14,4 +18,11,3 +3,4,9 +16,13,9 +8,15,15 +4,12,18 +6,6,3 +3,7,13 +7,12,6 +3,14,11 +5,16,14 +20,11,10 +6,6,4 +8,3,9 +12,18,4 +18,9,17 +14,11,1 +7,2,16 +18,7,15 +13,14,3 +16,4,10 +12,4,5 +13,7,18 +5,7,10 +19,11,14 +14,18,7 +7,12,3 +5,7,16 +9,2,13 +11,9,18 +2,6,13 +15,16,7 +7,16,19 +17,18,7 +3,11,10 +16,3,15 +19,13,9 +18,10,7 +7,6,4 +8,20,11 +8,17,13 +15,6,13 +2,11,6 +6,5,14 +15,15,16 +16,2,13 +12,17,16 +14,9,2 +15,11,16 +19,10,14 +8,14,17 +10,5,16 +7,16,5 +3,7,11 +16,5,12 +7,18,7 +15,11,4 +10,2,14 +11,7,17 +5,9,18 +14,2,14 +11,7,1 +4,7,11 +16,14,3 +8,3,5 +19,12,10 +17,9,5 +14,7,3 +2,13,6 +19,8,9 +14,3,5 +4,18,10 +7,1,8 +8,4,18 +11,3,5 +6,10,19 +8,15,3 +20,12,11 +14,5,15 +16,17,8 +15,14,15 +11,17,6 +12,12,18 +5,12,15 +18,16,14 +3,15,7 +10,19,14 +13,15,15 +19,14,7 +7,13,18 +11,12,18 +17,4,11 +14,12,17 +14,2,6 +17,17,11 +9,12,19 +2,7,8 +13,13,18 +11,2,7 +11,12,4 +20,10,10 +8,8,3 +16,15,17 +6,7,6 +15,13,9 +13,4,12 +3,6,11 +15,14,5 +14,16,10 +12,16,4 +4,12,14 +13,5,5 +5,14,11 +4,4,8 +7,15,15 +3,10,7 +10,11,19 +16,9,19 +3,9,6 +9,2,7 +13,12,6 +12,7,18 +17,12,9 +7,13,13 +6,5,11 +5,18,9 +16,16,5 +20,12,12 +16,18,14 +7,13,19 +3,16,6 +13,19,13 +17,4,10 +17,15,7 +15,15,3 +10,17,6 +6,12,6 +8,10,17 +17,11,11 +10,19,6 +12,9,18 +4,11,6 +1,11,14 +15,19,13 +10,10,2 +20,10,9 +11,3,7 +17,6,11 +12,19,5 +4,14,8 +9,2,16 +9,5,18 +9,4,14 +5,3,10 +4,16,11 +12,18,11 +5,9,4 +17,6,10 +17,3,11 +18,6,14 +13,15,2 +15,4,5 +12,21,11 +3,8,5 +8,10,1 +18,7,14 +19,11,9 +16,9,15 +13,13,16 +13,9,1 +2,7,6 +4,12,6 +19,13,10 +4,18,11 +12,17,4 +11,10,20 +10,17,7 +12,20,11 +11,11,4 +12,12,2 +10,20,14 +5,12,17 +12,14,2 +15,17,9 +20,9,12 +11,11,3 +15,15,17 +11,13,20 +13,4,14 +13,17,16 +8,8,16 +11,10,1 +17,11,8 +15,17,11 +12,9,3 +18,7,12 +13,17,18 +19,12,7 +13,6,5 +6,12,15 +7,13,2 +19,7,13 +19,10,9 +4,13,17 +2,9,15 +19,6,9 +12,4,2 +10,13,4 +6,15,3 +11,2,12 +8,5,15 +7,4,8 +13,4,10 +7,2,8 +5,12,5 +14,9,4 +3,12,14 +9,10,19 +16,16,7 +6,12,2 +17,15,12 +15,4,15 +9,13,19 +12,12,3 +5,8,18 +16,5,9 +6,2,11 +10,3,9 +7,10,19 +10,20,8 +13,19,9 +17,8,7 +12,2,15 +20,12,13 +4,18,12 +18,13,16 +15,10,2 +15,10,5 +11,14,17 +6,18,13 +2,12,15 +17,6,6 +13,13,19 +13,2,16 +14,7,17 +15,4,8 +7,15,8 +11,14,2 +6,11,19 +15,14,17 +7,10,4 +5,2,11 +18,14,5 +5,13,16 +10,21,10 +15,8,2 +11,20,8 +14,6,6 +13,9,20 +4,6,6 +13,20,10 +19,12,11 +15,3,15 +21,9,10 +17,14,10 +17,16,5 +7,11,18 +5,11,16 +9,13,20 +12,6,17 +18,15,8 +4,9,5 +17,6,16 +17,10,10 +4,10,14 +8,3,11 +15,5,14 +10,15,16 +18,15,11 +19,14,14 +2,11,15 +10,16,9 +4,8,11 +15,14,16 +4,9,17 +2,16,9 +14,5,12 +8,8,19 +9,7,4 +6,4,5 +3,10,17 +11,8,2 +7,12,18 +4,8,12 +12,4,9 +20,9,11 +7,5,16 +17,5,10 +15,7,18 +5,3,7 +5,7,8 +8,5,16 +14,18,10 +12,17,10 +18,5,10 +1,11,12 +4,12,9 +15,14,4 +9,3,13 +7,8,5 +7,12,20 +2,13,13 +10,2,7 +16,11,13 +12,13,16 +9,12,4 +9,9,3 +13,9,17 +1,10,11 +14,3,9 +11,12,20 +10,5,15 +5,15,15 +8,14,3 +3,7,12 +9,16,5 +9,11,17 +1,10,12 +6,17,7 +13,18,12 +9,14,4 +8,13,1 +14,16,4 +11,20,9 +10,20,10 +19,15,9 +4,4,15 +12,1,13 +18,12,6 +14,13,18 +4,10,9 +6,16,15 +12,11,20 +11,4,5 +13,14,5 +14,19,10 +6,19,11 +17,14,8 +18,10,16 +8,12,3 +15,15,5 +16,4,9 +19,7,8 +16,11,14 +12,19,11 +16,13,8 +1,13,11 +6,7,15 +16,16,16 +8,7,3 +11,7,4 +10,17,5 +7,5,14 +13,16,15 +9,5,15 +15,17,13 +11,18,10 +9,4,4 +4,4,12 +13,11,3 +19,12,15 +14,6,5 +15,10,1 +20,11,8 +4,11,15 +3,15,12 +6,4,13 +17,7,3 +16,18,11 +13,12,19 +5,5,8 +11,11,2 +8,17,4 +11,16,2 +8,2,6 +7,3,7 +10,13,20 +5,11,7 +6,5,18 +18,8,9 +1,14,11 +10,17,16 +2,6,11 +17,11,14 +19,10,7 +6,9,18 +5,13,14 +7,17,14 +15,18,9 +16,4,6 +3,9,7 +16,15,8 +8,18,11 +17,7,7 +20,10,14 +10,7,19 +13,16,7 +15,19,8 +11,19,16 +2,6,12 +11,3,13 +6,18,7 +13,16,6 +10,6,18 +10,4,17 +5,3,6 +16,13,4 +10,7,2 +4,7,8 +10,18,7 +10,6,2 +10,5,2 +12,2,12 +16,10,15 +15,7,6 +9,11,1 +3,13,6 +14,6,4 +15,14,13 +7,2,12 +13,2,13 +13,14,16 +16,15,3 +4,11,11 +7,17,17 +6,15,4 +15,9,19 +16,2,8 +10,2,8 +6,4,17 +14,4,9 +9,12,20 +5,19,12 +4,6,14 +5,9,16 +2,8,9 +6,16,5 +15,16,17 +12,2,11 +3,7,10 +3,15,8 +12,19,15 +16,17,11 +16,9,6 +8,17,8 +5,8,15 +8,17,18 +2,14,13 +13,5,8 +13,4,6 +16,15,12 +4,3,10 +5,16,11 +9,4,6 +5,17,10 +3,5,10 +13,4,18 +17,11,7 +7,1,10 +8,5,5 +7,2,14 +12,16,17 +15,6,6 +6,8,3 +6,12,4 +12,19,7 +12,1,9 +19,5,11 +16,3,8 +7,16,9 +9,17,8 +11,3,10 +2,11,7 +15,7,2 +5,9,13 +18,9,9 +10,8,20 +2,7,12 +9,18,14 +17,6,5 +6,19,12 +11,17,17 +20,8,9 +12,13,20 +9,12,0 +15,6,16 +10,7,4 +6,4,15 +9,3,12 +10,11,18 +17,9,6 +6,16,6 +13,16,9 +4,7,13 +2,14,15 +6,16,9 +14,14,5 +15,17,14 +12,18,17 +15,10,16 +15,10,17 +10,7,3 +14,15,3 +10,1,12 +20,14,10 +16,12,16 +6,15,13 +15,6,3 +7,13,20 +5,11,14 +5,17,5 +11,8,4 +11,18,11 +1,6,12 +19,8,7 +19,13,12 +5,10,14 +12,9,20 +16,4,15 +14,17,11 +19,8,12 +4,3,11 +13,5,3 +12,17,13 +4,12,11 +14,13,16 +13,16,14 +3,7,16 +3,12,17 +12,6,2 +4,17,7 +5,18,13 +8,8,17 +10,20,12 +15,7,5 +8,4,16 +5,6,6 +4,12,10 +16,18,7 +8,1,12 +13,9,3 +13,7,16 +17,7,9 +11,5,12 +16,4,11 +17,14,11 +5,13,3 +18,10,13 +10,3,12 +15,11,3 +18,5,9 +14,11,18 +13,3,6 +10,8,17 +11,19,6 +12,10,4 +18,15,14 +15,8,19 +14,9,20 +17,12,15 +8,3,8 +9,8,17 +3,14,14 +18,7,5 +6,12,19 +18,10,10 +15,2,12 +12,10,0 +18,4,12 +13,16,3 +10,14,5 +13,17,10 +2,12,6 +12,5,14 +7,15,16 +5,12,6 +5,16,15 +3,14,9 +3,12,11 +16,12,8 +5,8,7 +4,17,14 +18,13,5 +13,8,19 +4,6,7 +5,11,12 +9,10,18 +4,5,6 +16,16,17 +2,10,5 +9,10,1 +15,8,16 +7,3,6 +3,14,15 +8,11,19 +20,11,12 +12,8,17 +17,12,7 +12,17,9 +16,15,13 +8,7,16 +15,16,4 +17,11,13 +16,5,16 +12,16,3 +5,10,16 +8,20,9 +4,11,13 +6,11,1 +5,7,15 +14,12,1 +3,17,12 +11,9,20 +10,9,4 +1,8,13 +8,14,2 +15,14,10 +11,11,1 +15,7,15 +1,8,10 +5,16,8 +6,6,15 +11,4,13 +11,2,5 +13,3,13 +5,13,10 +13,11,19 +3,9,12 +13,17,13 +18,15,12 +7,16,15 +18,8,13 +5,7,14 +1,8,7 +1,11,13 +10,17,12 +3,11,12 +9,17,7 +12,3,5 +11,2,16 +18,13,4 +3,6,14 +18,13,6 +17,8,9 +10,13,19 +8,8,20 +6,14,15 +6,10,17 +13,12,4 +10,1,9 +9,12,18 +16,5,5 +16,7,9 +7,15,2 +4,11,18 +6,5,4 +19,12,14 +8,10,20 +10,3,11 +10,3,5 +10,18,8 +16,9,17 +5,7,9 +10,17,14 +13,15,8 +14,5,14 +14,5,13 +13,9,18 +12,20,12 +8,2,14 +9,4,18 +6,14,10 +6,15,14 +13,19,6 +2,13,9 +7,9,5 +10,20,13 +16,17,5 +16,12,6 +11,8,17 +2,13,11 +3,5,8 +5,6,11 +5,4,14 +14,18,6 +14,3,16 +14,3,8 +4,4,13 +11,1,13 +5,15,10 +9,9,4 +7,5,17 +5,5,5 +18,12,11 +11,18,6 +20,8,8 +1,9,11 +12,1,14 +3,8,10 +6,16,8 +15,18,16 +10,11,21 +6,11,4 +16,11,18 diff --git a/AoC2022/18/solver.lisp b/AoC2022/18/solver.lisp new file mode 100644 index 0000000..05c0102 --- /dev/null +++ b/AoC2022/18/solver.lisp @@ -0,0 +1,20 @@ +(ql:quickload '(fiveam uiop)) + +(defun distance-1 (a b) + (apply #'+ + (mapcar (lambda (e1 e2) + (abs (- e1 e2))) a b))) + +(defun surface (cubes) + (loop for a in cubes + sum (- 6 (loop for b in cubes + count (= 1 (distance-1 a b)))))) + +(defun parse-coords (filename) + (mapcar (lambda (l) + (mapcar #'parse-integer (uiop:split-string l :separator ","))) + (uiop:read-file-lines filename))) + +(fiveam:test solutions + (fiveam:is (= 64 (surface (parse-coords "eg-in")))) + (fiveam:is (= 4474 (surface (parse-coords "input"))))) |