diff --git a/2023/Makefile b/2023/Makefile
index b2dd23a..85da02d 100644
--- a/2023/Makefile
+++ b/2023/Makefile
@@ -2,7 +2,7 @@ FC:=gfortran
 FFLAGS:=-Wall -Wno-maybe-uninitialized
 BIN:=./bin
 SRC:=./src
-BINS:=./bin/day01.bin ./bin/day01b.bin ./bin/day02.bin ./bin/day03.bin ./bin/day04.bin ./bin/day05.bin ./bin/day05b.bin ./bin/day06.bin ./bin/day07.bin ./bin/day07b.bin ./bin/day08.bin ./bin/day08b.bin ./bin/day09.bin ./bin/day10.bin ./bin/day11.bin
+BINS:=./bin/day01.bin ./bin/day01b.bin ./bin/day02.bin ./bin/day03.bin ./bin/day04.bin ./bin/day05.bin ./bin/day05b.bin ./bin/day06.bin ./bin/day07.bin ./bin/day07b.bin ./bin/day08.bin ./bin/day08b.bin ./bin/day09.bin ./bin/day10.bin ./bin/day11.bin ./bin/day12.bin
 
 all: aoc19
 
diff --git a/2023/data/day12.txt b/2023/data/day12.txt
new file mode 100644
index 0000000..ed94818
--- /dev/null
+++ b/2023/data/day12.txt
@@ -0,0 +1,1001 @@
+.#?.##??.?? 2,2,1
+?.#?#?????.? 1,1,3
+??##??????????.?# 4,4,2
+..#?????.?#?.#?. 2,2,1,2
+????????????##?? 1,1,1,1,3
+?????.#????#??? 1,1,3,2,1
+.?#..?#?????#?? 1,2,5
+?#??????????????.? 4,1,2,2,1
+#??##?.#??. 1,2,3
+???????#??????#.?? 13,1
+?#..#??.?#.? 2,1,1,2
+?.###??????#???.?.?? 11,1
+.?????????#???. 3,7
+?????.#??????#.? 1,1,5,2
+?#???????? 4,4
+?.??.#.????#??#??? 1,1,1,4,1,1
+??.?????.#?.?#?????. 1,3,1,2,3,3
+.???#?????.?? 4,1,1,1
+??#??.#??.?? 3,2,2
+.???.?###. 1,4
+#.???##?#? 1,6
+#.??????#?.??. 1,5,1
+.??#???#?#????????? 3,8,2
+??.?????????.?.??# 1,5,1,1,1,1
+????????????#? 1,4,4
+?????????#??. 2,5
+?.?#?.?.??? 2,1,1
+?.?.??.??#???##?? 1,1,2,1,3
+.?#?.#????.. 2,1,2
+#??#??##?.#??? 1,2,2,1
+??.##?#?#???..? 1,4,4,1
+????.##?.? 1,3,1
+#???????#??#? 1,2,1,4
+??????????? 1,2,1
+#???.??##?? 1,2,3
+##?#?#?.??. 7,1
+?.?###????????? 4,7
+.?#??###???#?????? 12,2
+.#.???#????#. 1,6
+??.#???.#??#???##?? 1,1,1,1,6,1
+??#?.?#??? 3,4
+????????#.?. 2,2,2
+??.??????.??????#? 1,3,4,2
+.#??#???.?.???#??? 6,1,1,1,1
+?????????#??????#? 1,1,1,4,1,1
+???...?#??????????? 3,12
+????..?????? 2,1,2
+???.??.???? 1,1,2
+#..?###????????# 1,6,6
+.#?#.???#???##??#??? 1,1,1,1,10
+?.?#?#.????##.##.??? 3,6,2,1
+???????#?#????.?..# 4,9,1,1
+#??#??????????#.???? 1,2,1,7,1,2
+?#??????????????? 1,1,11
+???????#?#? 1,5
+.##?????????.## 4,3,2
+?#?????##??#.????## 1,1,1,3,1,6
+.????#.??..?#?.# 3,1,1,3,1
+?##????????????#?#?? 9,1,4
+.?????#.???.. 6,2
+?.??.#??.#?. 1,3,2
+#?.??.?#??# 2,1,5
+??#?#.????#??#.???.? 3,1,3,1,3
+.?#?#?#?.??.????? 6,1
+#?..??#??? 2,1
+#??#?????.##?# 2,5,4
+?.??..#.????? 1,1,1,2
+??????.?.?#? 1,1,1,2
+.???.?????.?????? 1,2,1,5
+?#...#???#? 2,1,1
+???.?????????#?#?? 2,4,1,6
+.#???##??????. 6,1,2
+#?????#???#?#?????.# 1,6,6,1,1
+.?#???##??.?.?#?? 7,1,1,1,1
+?#?...?##??.? 3,5
+#??#?????????..?##. 4,1,1,1,1,2
+?####?.?.??#?? 4,2
+#??##.?##???#?####?? 5,3,7
+??.?#????#??.??.??? 1,3,4,1,1,1
+.?.?#?##?.?##?????. 2,3,3,3
+???.?????#?#???.# 1,3,5,1,1
+???##?.??#.???#??#? 3,3,6
+.?#?????????.?#??? 2,1,2,3,1
+???...???? 1,3
+##?#?#?..?? 7,1
+????.?#.???# 3,1,2
+?????????##???.???#? 1,1,1,5,1,3
+?.#??????#?????. 1,2,2,4
+????.#???#? 4,2,2
+?????#????#?#??##?# 4,6,4
+#???.???###?#????? 1,1,1,7,2
+?.?#?#????##??#.?? 1,1,1,1,5,1
+?.????.?.???#? 1,1
+??##????????? 3,2,1
+???.?.??#???#? 1,6
+???#?#??#???.?.# 7,1,1,1,1
+.?.???#?##?? 1,5
+??#????#??????#? 8,3
+?#????#.?????#?#. 1,4,6
+???#.?#??#? 2,5
+??????????.??????# 4,2,7
+???#???...?? 1,2,1,1
+????.???????##?? 1,1,1,1,5
+.?##??.##? 2,1,2
+.???##??##??# 1,2,3,1
+????#?????##????? 1,10,3
+??#???.?.?##?..#??? 1,2,1,4,1,1
+???#?#???? 3,2
+.?.#???#????????? 1,9
+?#????##???#?????.# 3,7,3,1
+#.??##??????#????? 1,5,1,1,1
+?????.???????#?? 3,1,5,1
+#??????.##??????. 3,3,5,1
+.???????.? 1,1,1
+??#?#??##??#?.????# 11,3
+.?.?##.??##?.?#?#?#? 2,3,6
+#?????#?.??#??? 2,4,4,1
+.#???????#???? 1,2,6
+####?#?.#?????#?# 7,1,1,2,1
+??#?.?.??? 2,2
+?.??.??#????? 1,4,1
+?..????#?????##? 4,1,2
+#...????.?#?#??.?? 1,4,1,1,1,1
+????.????? 3,3,1
+#?.?##?????#?#? 2,3,1,1
+??????#?#?????## 2,12
+?.???#???.??#? 7,1
+#?#..??.#??#???#?.?? 1,1,2,1,6,2
+??#?...#.???#???.?? 1,2,1,1,4,1
+?.?..???.?. 1,1,1
+?.????..?.??#??? 2,3
+.??##??????.????? 10,1
+..?????###??? 1,4
+??????#???. 2,1,4
+????##.??.??#?????? 6,1,1,4,2
+??????????##?#?#?# 1,1,13
+???.??###?#?????#. 1,9,1
+?#??.????#?.?.?? 3,5,1
+???????????.??.???? 1,4,2,1,1
+??.##??.#... 1,4,1
+?.?#?#??#?.??##????? 7,6
+??.????#?#??#.?.? 1,8
+????#??#???? 4,4
+?..??????#?????. 1,9
+?????????.?##????? 4,1,5,1
+.?.#??.?#.#?? 1,1,2,2
+?.?##?????#.#?#? 9,1,1
+?#???#?????? 1,3,2
+..??#?.?????#??????. 2,11
+???#??????? 4,1
+???#??#????#?# 11,1
+?.?#?#?????#?.?#..? 1,6,3,2
+??.??#?#???.??.#?? 6,1
+?##.???????? 3,1,1,1
+???##?.??? 2,1
+#?.?.?#?#????. 1,1,5,1
+?.????#????? 1,1,4,1
+???#????.??? 1,1,2,1
+#.????..?.?.???#?? 1,1,1,1,1,6
+???##??.?#??#????#? 6,9
+???.#.??.???#??# 1,1,2,6
+????..?#?#?.##?#???. 3,5,2,4
+??#???#?#..???##? 7,3
+?#?##?.???.???? 5,1
+??.?#????#?#?.?#? 1,3,1,4,1
+.?.????.????##?? 1,2,1,1,6
+??????###. 1,1,3
+#?????.???. 3,1,1
+#?#..#????#???#?. 3,7,1
+?.?#??#?.???.?###. 1,3,1,1,1,3
+.#???.?.#?? 1,2,2
+.#?#??#?#??#?.?????? 12,1,2
+????#?????#?? 1,8,1
+..??????#?. 4,1
+##?#????#?#??????#?? 2,2,2,3,3
+?????#???#.#.. 4,2,1
+???##??..????..?#?# 5,3,4
+?#?#???#??..??## 8,4
+.?.???#???? 1,4
+???#?#??#.???.# 7,1,1,1
+..?.????????#??? 1,8
+?????.?##???????. 1,1,8,1
+?????.?????.???? 5,2,3
+???????????..?#??.?? 4,5,4,1
+?#?#???.???#???. 1,2,1,1,1
+.??.#?????.?? 2,3,1
+??..??#??.????. 1,1,3,3
+#??#.?.?.????????? 1,1,1,5,1
+??#????.??#. 1,2,2
+???#??????.?#.?? 1,2,1,2,1
+???#??.??????? 4,2,1
+??????.?#?##?????#?# 1,1,12
+??????.??.?#???.# 6,1,2,1,1
+??.?.????##?? 1,2,4
+????.?????#?#???#? 3,11
+.#????????.?.#?#??? 2,1,1,1,6
+??#????#?????????? 8,4
+??.?..?.?#???#????? 1,1,1,4,1,1
+?.????.###??#? 2,6
+??.#??????.?? 1,6,1
+.?.?.????#???? 1,6
+..??????.#?.?.? 5,2,1
+????.???.?? 4,2,1
+???###????#????##. 1,6,8
+.#??#???????? 1,8,1
+?#?##????.?? 5,1,1
+??####?####?????. 5,4,1,1
+?#??.?##?#???? 1,4,2
+#?????.#??????.# 4,1,3,1,1
+??#??#?????##.#? 8,2,2
+????##??..??#? 1,5,2
+?.#?##?..?#???. 4,3,1
+.?.?#???.????. 1,4,1,1
+??##..?... 3,1
+????#???##??#??# 1,12
+????#?#?.##??#??. 1,2,2,2,3
+.#?##?????#????????. 11,1,1
+?#??.???.#.?#.? 4,3,1,1
+??#?##???#. 7,1
+?.??#????#??.???.? 1,2,1,4,1,1
+.???##??.?.?????#?.# 4,1,2,4,1
+.?#???#??.##?####?. 2,1,1,8
+..???..??#??.? 1,4
+?##???????#??#?? 5,8
+????#?.??#?# 1,1,3,1
+??.?.??#.?.##.# 2,1,3,2,1
+???#???#??#????? 1,1,1,6,2
+#.???##.?.????#.? 1,5,5,1
+??????????#?#?#?#.. 1,1,7,1,1
+????..???? 4,2,1
+??????##??#??? 1,1,2,3
+#????#????# 1,5,2
+?????#???????#??? 1,14
+?#???.???? 1,2
+??#?##??.??????????? 7,1,1,1,1
+?.?#??#???#????.??? 2,3,5,1
+????##??##??.?#.# 1,9,2,1
+???????#?. 1,1,2
+#???###..?.???#? 2,4,1,1,1
+??????????? 1,1,6
+??#.?#?????.#??? 1,1,2,1,2
+#.??#???#.?#??#??#. 1,5,1,1,1,1
+??????????? 1,1
+??#.?#?????## 1,1,1,2
+???##?#?#?#? 1,5,1,1
+????##??#??? 1,1,7
+#????#.?????. 6,3
+?.?#???#?.# 7,1
+????.?#?????#?.? 2,2,3,2,1
+.?.#???#?.. 1,6
+.??#????.?????.## 3,4,2
+??.##??##??...?? 7,2
+##???.##???#??# 2,1,3,2,1
+?###?#??##?.?#???##? 10,3,3
+??#??????????###.? 15,1
+???###.????.# 1,4,3,1
+??.???????#?#?#?? 2,2,4,4
+????.??###?#?.? 2,7,1
+?.#?#????.????????. 1,4,1,1,3,1
+.??.?#?#??#.?#.??. 2,6,1,1
+????#.?.??.?. 1,2,1,1
+.??#???#?#??????? 6,8
+?????.??#?#?#??? 1,1,5,1
+??#?.#?#??#.#??????? 3,6,4
+????#????????#??.?? 1,1,2,1,7,1
+???????#?# 2,1,4
+??.???????#???#?? 2,2,5,1
+?#??..??????? 2,5
+?#???#?.???..#? 5,1,1
+??##.??.?#????.#?? 3,1,1,2,2
+#.??#?????.?.??????# 1,8,2,2,1
+?????.??.?.???.??? 1,1,1,1,1,3
+????#?.?????# 1,3,1,2
+????#???????#?#?? 5,9
+??#???.?#????#??#?.? 5,4,5,1
+##?..??#??..#?# 2,4,3
+?????.#?#?? 1,1,4
+..#?##????????.?#?? 4,2,1,4
+#?#?.??#?. 1,2,4
+????.?????????? 1,2,1
+??#??#???#?.? 1,1,1,4
+????#.????##?? 3,4
+???.???.?.?? 3,1,1
+?????.#???#?? 3,7
+.???#??.??.???? 3,2,1
+?????????##???#? 1,1,1,3,3
+?###??.??? 3,1,1
+#?????.?????.??? 4,4
+??#?.?#???#? 3,3,3
+???#???#??#??# 4,1,4
+??###.?.???#? 4,5
+.????????.?????.???. 1,2,3,3,2
+#.#??#?#??#?#?? 1,2,3,5
+???#?#??#????#????# 1,8,6
+?.??#??##??.??????. 8,1,1,1
+????##.?????#??#?? 4,6,3
+.???.????#?##??? 1,10
+?.?????.????????.? 2,1
+?#..??.?#.? 1,2
+??#????.??#?#???. 1,1,2,6
+???#??????????? 9,1
+#.#??????.#??????? 1,1,1,2,8
+???.?????..# 1,1,1,1
+.?###????. 3,1
+#.?????.?#?##??#???? 1,2,1,11
+????.??#???##.????#? 1,1,8,1,2
+#####.#??? 5,2
+??.???##??? 6,1
+???#?##?#??#??#.???. 15,2
+?#??.?.#?.#.?????? 3,1,1,1,1,1
+????.??##?#..? 3,2,1,1
+#???.??????#.?????# 2,1,7,2
+#???.??.???? 3,1,1,1
+.#???.????.#?? 1,1,3,3
+..??#??.#.?????.?.# 4,1,5,1
+???#####????????? 1,6,1,1
+???????.??????? 1,2,2,6
+?#.?.#???##? 2,1,2,2
+?#???#??????? 7,4
+.?#?#?.?.?### 1,1,1,3
+????.??????? 1,6
+?#?#???##????????. 8,5
+?#???#?.???#??????. 4,2,3,2
+???.??##??##????.??? 3,4,3,2
+..?#?#???#.?. 5,1
+???#?????#????##?# 3,2,7,1
+????????##?#? 2,7
+??????#.?..? 3,1,1
+..#??????#????## 2,5,2
+??##?.??.??? 2,1,3
+??#????????#?? 3,1,5
+?##?.##???????#??#.. 2,10,1
+?.?#????????.?#. 1,3,2,1,1
+.???#?????? 5,1
+???????#??#.????. 4,1,4,1,1
+.?.?#.?.#. 2,1
+?#.?.??.???? 1,1,3
+#?#??????.?# 1,2,1,1
+#?#.#.???????#???? 1,1,1,1,1,6
+?????.??#??..??? 3,4
+???????????#..? 3,2
+?#?.???.??#.?? 2,3,2
+??##????.??? 7,2
+????#??### 1,7
+.???????#?.?????###? 7,8
+???.???#?.#???????? 2,2,1,2,5
+.???????##??????# 3,5,1,1
+??#????#???#???##? 6,1,1,6
+?#?.?.??###??. 3,1,6
+????..?#?#?????? 2,9
+??.??...?##?###.? 2,7
+???#????###???? 2,1,7
+.????#.???? 2,1,1
+???.???##.#?##?#?? 1,1,2,1,6
+???#?#???#? 4,2
+?.#??????? 1,1,2
+.?.?.#?..# 1,2,1
+?.#.???????. 1,5
+?.#.?.#?##????? 1,1,4,2
+???????????#?? 4,1,4
+#?##????#??? 6,3
+?.????#?#???? 1,5,1
+??????#?#?. 7,1
+?#??.?.??###?????? 2,5,3,1
+##?????##????? 2,7,2
+#??#?..?##??.???#? 5,3,1,1
+.#?.?####???? 1,5,2
+???..?#?.? 1,1,1
+#??.???#?###??? 1,1,1,8
+?.?.?##????#..?#.?.? 1,1,8,2,1,1
+????.??????#? 1,2,1,1
+#?..?#??????.??? 1,6,2
+??#?.?####?? 3,6
+#.???????. 1,1,1
+#???????.?.???? 1,4,1,3
+???#??#??? 5,2
+?????.?????#???. 1,1,5,2
+##??#?#?.#?????#?. 7,1,2,1
+?????#?#.?????#??#?? 5,1,2,5
+?.##.???##?#???? 2,5
+#????.#???.??.?????? 1,3,4,1,1,2
+??#?#??#?.???##? 1,1,5,1,3
+?.?????.??. 2,1,1
+.??.?#??????#? 1,1,3,2
+??#??.????.? 4,1
+??.????#?.? 1,2,1
+#??#?.??#??? 1,2,1,2
+??.?##?.????? 3,4
+?.????#??.#????#??# 1,2,3,1,4,1
+?.#?..???#.?. 2,4,1
+?#???#??.#??#? 2,3,1,1
+?.???##???..#??#. 7,4
+#??#.?#??.????? 2,1,1,3
+?#?##????.? 7,1
+.??????#???##?? 4,7
+.?#??#?????..??? 6,1
+??#??#????#####???.? 6,6
+.????##.#?.???????. 6,2,4
+???.##?#??.?.##???.? 5,3
+..?..?#??..#?# 1,2,3
+##.?.??..?? 2,1,1
+???##????.?? 4,1,1
+.??##.???? 4,1
+??..???#??.????..?? 2,6,3,2
+?#??#??#?## 4,5
+??????.?#..??. 3,1,1,1
+??#?#??#??.???# 8,1,1,1
+.?#?.??#?.#.?#? 2,1,1,1,1
+?.?..??????#??. 1,6
+?.?.????????????? 1,7,1
+#??#????#.??????## 4,1,1,8
+?#.??#.#??#???#?#? 1,1,1,1,1,6
+???.????#????#?#.#? 2,1,2,4,1
+.?#?.???#? 2,1,1
+##????????? 3,4
+?#????#?#??#?#?#.? 2,4,6,1
+?????????##? 1,9
+?..#.#??#????#?#?? 1,4,5,1
+#??#?????? 4,4
+#.?.#??#?#???????##? 1,1,7,1,2
+????##?.?#..? 1,4,1
+????????#?. 2,2,1
+??.????.?#??.?#?? 1,2,4,1,1
+.??????.??##?# 1,1,5
+???#?#?.#??.#???? 7,3,2
+??.??#?.?. 2,1,1
+.#..????.? 1,1
+.???##????#??#? 1,2,6
+?..???#??#?? 1,1,5
+?#.??????#??#? 1,1,1,5
+#?.???.#?.?##?.#??#? 1,2,2,4,5
+??.?#???## 1,1,3
+?????.?.#????.?. 3,5,1
+?#?.???#?#?#.???# 2,7,1
+??.?..??..????....?. 2,2
+???#??##?.??? 7,1
+???#????.??????.???# 8,1,1,2,1,1
+??#????????#?#??.? 5,4
+####????????.?.??? 5,5,1,1,1
+????#?.????###?#. 3,7
+.??????????? 1,1,1,1
+##?????.##?? 2,1,3
+????????#?#?? 2,4
+??.#?.??#.??#??##?#? 1,2,3,9
+#??#?#?#??##???.??.? 4,1,6,1,1
+.?#..?##???? 2,4,2
+???.???##?? 2,6
+##???..?#? 4,2
+?.????#??.#.??#??? 1,2,1,4,1
+?##?#.???? 2,1,1
+?.?#????.?##??#??#?? 2,1,3,6
+#?????.?#?? 3,2,3
+.??#?????###??.?##?? 1,6,4
+??#.?#?.?##????? 1,1,1,3,1
+.??#??#?#?#???#.#? 12,2
+?.??.#?#?????.???#. 1,8,2,1
+#?..??#??? 1,1,4
+?.????..???#????? 1,2,1,5
+.???#???#####?? 4,7
+?.#????#??? 3,1
+????#???#???????.# 1,9,1,1,1
+??.???.?####. 1,4
+??.#???.?#?????. 1,1,1,4,1
+??.#????????..? 5,1
+.??#?????????.???. 1,2,5,1,1
+#??.###..? 1,3,1
+????#.?#??.??? 3,1,3,2
+###??????. 4,4
+.????#??#? 1,4
+?.#????????#???#?? 1,5,1,2,1,1
+?.???.???##? 1,1,3
+?????#??#??.??#? 2,3,1,3
+.???.?#???#????# 1,6,1,1
+?#???.???#?? 1,1,4
+?#????.???# 2,1,4
+??#?.?#????.?. 1,4
+?????#?????.???????. 6,3
+??#?#?????#.? 1,3,1,1
+??###..????.??#?#. 1,3,1,1,5
+??.??#??#. 1,2,1
+?????????????#?? 6,1,2
+?????##??????.#? 3,2,2,1,1
+.???????##?#..??#?. 5,4,3
+.#..????.??##?????.# 1,3,8,1
+?#?.???.#???? 3,1,2,1
+??????.??#??.#???. 2,1,2,1,1
+.??#?.?#?? 3,2
+#???.?..?..???##? 2,1,1,6
+?#.#.??????#? 1,1,6
+??.?????.?...???#? 1,4
+.?.???#...??##?.. 3,4
+..?###..???#??.???? 4,2,1,1,1
+..???.????## 1,1,5
+..?#?????? 2,2
+.???????????? 2,1
+#??#????#??????? 5,5,1
+???#??.????#?#.?#??? 5,1,5,2,1
+?#?#??????#??##?.??. 6,8
+?.#?#.?.?????? 1,1,5
+.#???#?#??????.????# 1,3,1,3,1,1
+.??????#??????#.?? 2,5
+..#.??????#???? 1,1,1,3,1
+.#.??#????.? 1,1,1,1
+?#?#????#????.?#? 1,2,3,1,3
+??.#?????.?.?? 1,1,3,1
+?.#??????? 1,5
+??#.??????##??#??? 1,5,7
+.???????#????##.??. 14,1
+????###???.?.????# 2,6,1,1,3
+?#?#?.????.##. 4,1,1,2
+?#????.?##?#?#? 4,6
+?????#?#?.?####?? 1,4,5
+#??????.#??#???# 3,2,1,6
+#?.??.#??????.? 2,7,1
+?????.???.?????? 2,1
+??????????? 2,1,3
+?#??.??????. 3,5
+?##????.??...# 3,2,1,1
+?#.?.#???? 1,2,1
+##??????.?????? 4,2,1,2
+??#??#?????????#. 12,3
+????.?.#?## 3,4
+.??#?????.. 3,1
+??#.?.?#.#??#?# 3,1,1,2,3
+???#?.??????#?? 3,3,1,1
+??#?#?##.????#..? 8,1,2,1
+#??#???#?#?#??#? 1,2,10
+??#??##??.#?.??? 1,2,1
+??#????##?? 2,7
+??#?#.?#??.#??#??? 4,1,1,1,1,1
+....??#???..???#??? 6,4
+??##???????#?? 3,3,3
+?#????#?.??.## 2,4,1,2
+.???.????.?#??.? 1,1,1,1,4
+?###????##??#?#?? 12,3
+???#?.????#?? 5,5
+??##???????????. 6,1,1
+?????.?#?##???###? 2,1,2,2,1,4
+??.?.#?.?#???#? 2,1,1,3,1
+???????##???.??? 9,3
+?.??#??#??#?????? 1,12,1
+..??????#?#?????? 1,9
+??.?#?#???? 2,4
+?.?.??#??.? 1,1
+???#?.??????.?.?.?? 5,2,1
+?#?#?##???..??? 9,2
+?#?.???#?#?.? 2,3,1,1
+??????.??? 4,2
+?.??..?.?.????.??. 1,1
+..??##.??#? 2,1
+..??.????#. 1,5
+.???.?????#? 1,1,6
+?#??#??#??#?# 5,1,2,1
+?????#???..? 1,5
+.#??????????? 2,2,3
+??.#?.?.?. 1,1,1
+???????#??.???.#? 1,4,2,2
+????#???????.?..?? 1,3,2,2,1,2
+??.###?#?..?#???? 5,2
+#????##?#?##??. 1,3,1,4
+?.??.?#??. 1,1,3
+.#?.?????#??##???? 2,1,1,6
+?.?????##.??? 4,2,2
+.?.???##??? 1,4
+??#.???????#?.?????? 3,3,5,2,1
+???##?#??.??? 3,2
+??##?#????..# 7,1,1
+???????.???????.#.? 1,1,1,7,1
+?????#??#????#?? 8,4
+????#.#####?#??? 2,1,8
+???????#????##?#?.?# 16,2
+?.????#??.#??###?#?? 2,3,9
+????????#?.??????.?? 1,6,1,2,1
+?.#??#????.?#?????.? 5,1,7
+?.#.##?##??.#.??.. 1,1,6,1,1
+#????????.??.#?? 1,4,1,1,3
+??..?#?###?#??#???? 1,8,2,1
+.?????#?#???.??. 2,6
+?#?????.#????? 6,1,1,1
+.??????????? 2,1,1,1
+#?#.#??#?.????#??# 3,5,1,1,2
+?#????.#?##??##? 2,1,8
+?????#?.???### 3,4
+.????#???..?##?????? 5,7
+???#?.????#####???# 1,2,10
+????.?#??# 3,4
+???#.#?.??###.#?#? 2,2,3,1,1
+?#???.?????..#?. 1,1,2,1
+##???????## 3,6
+####.???.# 4,1
+?##???##?#???.#?#??? 10,5
+..??????.??.?# 2,1
+??????.#?.? 2,1,1
+.?#??????##?##. 5,5
+??..???##??#.??. 1,8,1
+.#????.#??. 2,1
+#??.#?.????.? 3,1,3,1
+#?#?????.???.?.?. 5,2,1,1,1
+????.??.??#?#??.?#? 1,1,1,6,1
+..?.?..???? 1,1
+?##??????#????.?? 3,5,1
+???.????#??## 1,2,1,3
+???????#?????#??? 4,2,3
+???#?.?.##?#?????.? 1,1,1,9,1
+.#??#?#??..?? 2,4,1
+?.??.???.??#?.?##?. 1,2,1,4,3
+???.?#??#??? 2,6
+.##??#????? 2,2,2
+???????????#? 3,1,1,2
+.????#.#??????#. 1,2,5,1
+?.##?????..???#????? 1,7,1,1,2,1
+??.#??#??????#?????# 1,4,1,10
+?????????.? 1,4
+???#?#?#.??.?????#? 6,1,1,3
+??????.?##?# 5,5
+#??..???#????? 3,8
+?#.??.??#?#. 1,1,1,1
+??.????.?#??.#? 1,1,3,2
+..#???.???.???.#. 4,2,2,1
+?????????.?#?.???? 1,3,1,2,2
+??##?????#?#???.???? 2,9
+?##??????#. 3,1,2
+.?#??#??#?????? 1,6,1,1
+.???#.???###????#??. 4,6,2,1,1
+?#??#???#?#????.? 2,1,5,3
+?#?.?????#.?#?#?? 2,1,1,2,6
+#?.#?.#??????#???.# 1,1,1,1,6,1
+?.?##????#?? 4,2
+####???????# 5,2,2
+???.?????#??? 2,1,1,1
+?.????#.#??#???? 1,2,1,5,1
+##?.#?#???#?????#??# 3,8,1,1,2
+..???##.?? 1,2,2
+??#????#?#?#?#.???#? 3,1,7,1,2
+.???.#?????# 2,2,1
+..?#????.?? 2,3
+?????.??????? 1,1,2,1
+?????###?#?..##???#? 8,6
+?#?.??????????? 1,1,1,1,3
+??##?.?##? 4,2
+#??##?.?????#????? 1,4,1,6,1
+????#??#??? 1,7
+???????#???# 2,6
+??##????#?#??????.? 1,2,3,1,1,1
+?.?.???##??#? 1,1,5
+.???#??.??.. 1,3,1
+???????###??#?##?. 1,12
+??.????.?# 1,1,1
+??#???##??..#?.#. 3,4,1,1
+??????.#?????#???? 6,2,2,2
+###..????#?#..????#? 3,2,3,2,3
+#?#????#??#????? 6,4,1
+?????.????.????.??? 2,1,3,4,1,1
+???.?#??#?? 2,4
+.??.???#??#???##??#. 1,6,3,1
+?.???.?.???? 3,3
+.?#?.??#???????. 3,9
+????##?#?.?#?.# 1,4,2,2,1
+??..???##?? 1,7
+?..????.???????# 3,4
+?.?..??#.? 1,1
+.??#??#?#?????.?? 7,2
+???##????.?#??.?.#?. 6,2,2,1,1
+?#?###??????.?#?.?. 9,2
+.????.????##..#?#??? 2,1,3,4,1
+??..??.??? 2,1
+.??#??????.?#?.? 1,1,3,2,1
+??..??#?##.?..? 2,5,1,1
+?.#.??#?#? 1,5
+.???#???.?????#??#? 3,1,1,2,2,1
+?????.?.???#?? 3,5
+?.??#???##?#???# 1,13
+??????.?..???????. 4,1,2
+????.#?#??#???#???? 2,4,7
+.??.??.?#.?? 1,1,1,1
+#.????#??? 1,7
+????????##???.??#? 3,6,1,3
+.?????##?##???????? 14,1
+.?.???.##? 1,3
+???????#?##??.? 1,1,1,6,1
+?#?.????#?#.#??.??# 2,4,1,3,1
+??.??.??#? 1,1,3
+.??##??.?#??#?#?#?.? 4,7,2
+??#???????#???# 4,1,3,2
+#??#????##???? 1,11
+?.#?????#?? 2,2
+.????#???###??#? 3,10
+????.?#???.#? 4,2,2,1
+??.????.?..#.??? 1,4,1,1,1
+.??.????#??.?.?#?#? 1,2,3,1,2,2
+.????????## 1,1,3
+?##?????#??#?##?## 9,1,2,2
+?##??????????.???? 7,1,1,1,1
+??.?????#.??.? 1,4,1,1
+.????#??#??#.?#????? 11,7
+??.?.?#?#???????? 2,7
+?????####????.?#. 9,2,1
+???????.??? 1,1,2
+?????.??..#?.## 2,1,1,1,2
+??????#?.??????? 2,3
+?????#.#?##??????#?? 5,6,5
+?###??.??????..??? 4,4,2
+?##???????? 4,2,1
+.??????#??????.?.?#. 13,2
+.?.#?#???#????#?? 1,4,5,1,1
+??????????. 1,6
+?.???????#?????#? 9,2
+#??.??.???????????. 3,4,2,1,1
+???#??..????#.??##?# 3,4,3,1
+????#??..?#. 5,1,1
+????#??.???.?? 1,4,1,1
+?#?????.????#? 1,2,4
+?#??#.??????#?.????? 3,1,2,1,1,3
+?.?????.#??? 1,2,1,1
+.??.????##??.??????? 2,7,1,2
+???#?....?????#???? 2,6,1
+.?????.??###?..? 5,4
+.#??###?#?.???? 9,1,1
+?#?.#????.?..??##?#? 2,1,1,1,1,5
+.??#??#?#??.#?.??.? 1,8,1,2
+??.??.?#???#?#??#?? 1,11
+#????###??##.? 8,2
+????.#?#???. 1,1,4
+??#??#?.#?#?##??# 1,1,1,7,1
+#?#?.???#??..#. 4,1,1,1,1
+.??#?#??#?.?? 5,2
+?.??????#?? 1,3,1
+???.?????# 1,1,2
+??#..#?.##? 3,1,2
+?.?.#?????????#?# 1,7,2,1
+#??#?#?#?..?.????? 4,1,2,1
+?.?#.?..#.?.. 2,1
+????????###.?#??? 2,1,1,3,4
+#???#?????#????...? 1,11,1
+.#?#?#????#????#?# 1,1,7,5
+?.?#.?.??.?. 1,1,1,1
+.?#.????## 1,1,3
+???.????#???.??...? 3,6,1
+?.?###???#????#?#? 1,5,1,2,1,1
+????????#??.? 5,2,1,1
+???.?.?.?? 1,1,2
+..?#?..???? 3,2
+?.#??#?####???#.?? 1,11,1,1
+??.##????#????. 1,4,1,2
+????????.?#??##? 2,1,1,1,3
+?????#.??????.? 3,1,1,2
+????.?#?..?# 1,1,3,2
+#??.???????#???#.? 1,1,2,1,6,1
+###????#?? 5,2
+##??#.??????#?.?# 5,1,4,1
+#?..?#?.??#?.?#? 2,2,3,3
+??????.?####? 1,1,6
+??.???????..?.???## 2,1,1,1,1,5
+?..???#???????#?. 4,5
+???#??.#?? 3,1,1
+??#??#?.???? 5,1
+?#??????#?. 2,2
+?.???.?????#?#. 1,2,1,5
+?.???????????? 2,1,1,2
+.?##?.???#?#? 3,4
+???.??????#??.#???? 3,7,2,2
+?#??????##??.?#?#?? 11,2,2
+??.?.????# 1,4
+????.?.?????????? 3,4,1
+???????#???##?? 8,3
+?..?.??#?????#?.?? 1,9,1
+.????#???#?.? 5,3,1
+..???##??##?#? 2,9
+?#????????#??. 2,2,4
+??..??#??#??#???##?. 1,1,1,5,4
+?????????#?????#??#? 2,1,10,2
+?????#??#?????#???.# 4,1,6,1,1,1
+??????#??# 4,2,1
+?#?..??.?#???#?##?# 2,1,11
+?#?.????#? 3,3,1
+??#?.???????? 2,1,2,1
+???.????##???.### 2,1,6,3
+.????####??.#? 1,8,1
+?.???#??#?.?. 3,1
+...??.???#?#?#?.? 1,6
+#??.?#?.?#.?????? 3,1,2,1,1
+#?????.##?#??.?. 2,2,5
+?????#?.????.?# 6,1,1,2
+?????#.?#.????? 3,1,2,1,1
+????#????.????? 3,1
+##???#?.?. 2,2
+?????.#?.#??#?#?.??? 1,1,1,1,5,1
+??#?.??..? 4,2,1
+?#????#???#??.. 2,1,6
+.?#?????#?.????? 8,1
+??#???..?. 1,1,1
+.?#??.??.#.??? 4,1,1,1
+?####?#?.??#.???. 7,1,2
+.##????.?? 2,2
+??.#.??#??.?#????#? 1,1,2,5,1
+???.????#?#?# 1,1,6,1
+?##????.#?#?.??#?#? 2,1,3,4
+#??##??#.???? 1,6,1,1
+##?##?????? 2,3,1
+???????#.##?##?? 2,3,6
+.???#???????? 8,1
+??#?##??..? 7,1
+#???????????? 2,5,1,1
+?#??##????#??? 5,6
+?##????????##?.??? 5,6,1
+??????.?#?#?##. 1,1,2,1,4
+????????.??#???#?? 1,1,1,1,2,2
+..?.#?.?????#?#? 2,1,5
+.?#???#?##?????#?? 2,7,1,3
+??#?.????????? 2,2,1,3
+?????????.??## 7,2
+?#.??.??#?#? 2,1,2,2
+??????????..??#???.? 1,5,1,2,1,1
+##??.???????..???.. 2,7,2
+.#?#?????????##??# 4,5,4,1
+.??.#??#?#?? 1,7
+?..?.##?.???????.? 2,4
+?.??????#??#??? 1,1,1,6
+##?#?.??#????????#? 5,2,1,1,1,1
+.?#?#?.?#??#?.?? 4,6,1
+????????#?????.????. 1,1,4,1,1,4
+.?????.??#?.??? 2,1,1,1,1
+#?#???#?#?? 5,1,1
+??.?#???##?#?# 1,1,6,1
+??????#?##?.?. 2,6
+.?#??##??.????## 8,1,1,2
+.?#?.?????. 2,3
+#??????#????####? 2,4,6
+??.#??#??#?##??? 4,1,2,1
+???###?.?? 1,4
+??.????.???.#?.??.? 2,2,1,2,1,1
+??..???.??? 1,1,2
+#???#?#???##?.??? 7,3,3
+.???#???##??..#?? 10,3
+?????#??????#??? 1,2,1,5
+??????????#???##? 10,2
+.??????###? 1,4
+?.??#??#??.###???? 1,5,1,3,1
+?????.?????#? 3,2,1,2
+#??.??#???#?. 3,8
+???#??????#?. 3,6
+??.?????#??????.? 1,4,3,2
+??##???##?#????.?#? 6,2,2,1,2
+?.??.????#??# 1,1,2,2
+?????..??.???#?#?.? 1,1,2,6,1
+?????##???????.? 8,1,1
+????..????#???.##?? 3,7,3
+?????#???#????#???? 2,11,1
+?????.???#.????.?? 1,1,1,4,1,1
+.?.?#???????.????#?? 9,2
+???#?#?#???#. 1,1,3,3
+##????#?.??.?????. 8,1,1,1,1
+?????????? 3,1
+.?#?.?.#??.. 2,1
+.????.??#?? 3,2
+#?#??###?#??#????#? 1,12,3
+##?.?#???.??# 2,3,3
+##?????#????? 3,8
+???.#..????.?#??#? 1,1,3,1,3
+??#.?????.?#?##? 3,3,1,1,3
+#?????????#????????? 11,2,1
+?#?##?????? 5,2
+?.#..?#.?????.???.?? 1,1,2,5,1,2
+??#????#.?? 8,1
+??#?#??#?#.? 1,4,1
+?.??..?.??#??? 2,3
+??????????.?. 2,1
+?????#.??#?.? 2,1,1,2
+.?#??##??#.?? 6,1
+??#??#?.?#??? 1,1,1,4
+#???##?????? 1,1,2,3
+???#.?#???????? 1,1,6,1
+?#????.?##???#??? 4,3,1,1
+..?.???.?.??##?.. 1,4
+????..??#??#??.?? 1,6,1
+?.#??####??.??????? 7,1
+??..?#.#??#??????? 1,2,1,2,1,1
+??.?#???#?##.??#?? 1,3,4,5
+????.???.?#?? 2,1,1,3
+??.#?.??.?..?? 2,1,1
+.#??###...#???... 6,2
+.?????????#.?#??#.# 1,1,3,1,5,1
+???????.?? 1,3,1
+??.##?.##???????#??? 2,3,5,1,4
+??#???#.??###???? 7,4,1
+???????#???.?? 5,1
+??#???#??? 1,1,5
+??????#?..???. 7,2
+????????#?????#? 2,1,9
+????..???#?#? 1,7
+.??????.???##? 1,2,1,3
+?????#????.??? 3,4,2
+?#???##..?????? 3,2,3
+?##??#???????#??? 2,2,1,5
+.??.???#####???????? 1,8,4
+?????#???.??????#??? 1,2,2,9
+.?##?#??##?..?? 2,6,1
+??.??????##???? 1,7,2
+.???????#?? 1,5
+??#?.?#?.? 1,2
+?#??????#??#????? 1,1,4,1,1
+??#?.??.???.? 3,1,3
+?#??..???????#?#? 1,2,2,5
+..?????.?#?. 3,2
+##.??#?####??#???#.? 2,2,7,3
+?.????????. 2,1
+????..??.#?##.?#? 1,1,1,4,1
+?#??#?#??.???#? 8,3
+???.?#??.???#????? 1,1,1,1,5,2
+?.???????? 1,1,4
+#????#????#???.# 1,1,6,2,1
+?#?#???#.#?? 7,1
+##???#?.????????? 2,1,1,9
+#????????..?.?#? 1,1,3,1,1
+.?.????.?????.?? 2,4
+????#.##?? 3,3
+?.?????.?????? 1,5,1,1
+#?.????#???? 2,1,4,1
+?.??.???????## 1,1,2
+.????..?###?.. 1,4
+??#?.?.?#. 2,1,1
+.?#.?#.??. 1,1,1
+.??##??##??#?#? 8,3
+#??.#??.??.#? 3,3,1,2
+#?.?#.#.???#?#??#?.# 1,1,1,8,1
+??????...#?????.# 1,1,1,4,1
+.#.#??##.??##???? 1,5,7
+???#?????# 4,3
+?##????#??????? 6,2,2,1
+#?????.?##.?.??? 3,1,2,1,1
+?..?.#????.? 1,1,1,1
+.?#?.#????#???#??? 1,12
+?#??#?????##? 4,4
+.??.??#?#? 1,5
+??.????#????#??? 4,6
+????#????#. 6,1
+#?##???#?.?#?? 9,1
+#??#??.??#.?..??? 2,1,3,2
+#???????#?#?##?? 4,7,1
+???.?#???##..???#? 2,3,3,1,1
+?????#.?????.? 2,2,3
+??..?#????.#?. 2,2,2
+.???#???..??##?#? 6,1,4
+?##?#.#?????..??? 2,1,3,2,3
+.#???#?????.#.?? 1,1,5,1,2
+#?????#??.??????. 2,5,1,3
+??.?###.###??? 1,4,3
+???.??..????#? 3,1,1,1
+?.?.?????##? 1,1,1,2
+????.?????#?.??? 2,1,3,3
+??#?.?#??#???.??.? 4,5,2,1,1
+###??.#?.?. 5,2
+??#..????#?.????? 2,5,2,1
+????.????? 2,1,1
+??##?.?.????.???? 4,3,1,1
+??????#???.?. 1,2
+.??#?#?#??#??#? 1,1,9
+.???????????#???. 1,4,2,2
+??.?.#??###??????? 1,11,1
+#####?????? 6,2
+.??.???#??#??. 1,3,3
+?????#.?.?#? 2,1,1
+?#????##?#??.???#?? 3,6,4
+?..#?.?#??#???.#??#? 1,1,2,2,5
+#????.??#.??#??.?? 1,1,1,2,5,1
+?##???????#?#?????. 2,9,3
+.????#??.?#?? 4,2
+?????##?#?#?#? 1,10
+?????#??????. 1,1,4
+?.??#??##??##??.? 1,5,3,1
+??#?##.?#??.?#? 5,3,1
+??#??#?#???#?#?#. 3,1,1,4,1
+????#?.?##?????#???# 1,3,5,3,1
+.??#????.?##???#?? 3,7
+???#?.##?.?##?..???? 4,2,4,2
+??.??????????#. 1,2,3,1
+???#???#?? 2,2,3
+.?#?##?#?#??.??#??#? 9,6
+????#?#?#??#?.???? 4,3,2,1
+??#?????????##?.??? 3,2,4,2
+???????????. 1,1,1,1
+#??##???????#?? 9,2
+?##?####??#???.?? 8,1,1
+??##?.??#?#??.? 4,7
+????#?????##??.??? 1,3,7,3
+?.?#?..??.??#?.??# 1,2,2,1,2,2
+??#?#?#??.??? 7,1
+?.?#?#..??? 3,1
+?#..?.#?.?. 2,1,1
+???.?#??.??. 1,3
+..???.#???##?#.? 2,8
+?????#.??# 1,1,1
+??###??????#???#? 8,5
+#????.#?#???#?##?#?# 1,1,1,1,1,9
+?????????.??? 2,1,3,2
+.????..??.? 1,2,1
+?#??.?#.#?.????.? 4,2,1,2,1
+?#???##?????????? 1,5,1,1,1
+.??.???##?????#?.?#? 1,12,1
+??.????.?..?.???. 2,1
+
diff --git a/2023/data/day12ex1.txt b/2023/data/day12ex1.txt
new file mode 100644
index 0000000..673b556
--- /dev/null
+++ b/2023/data/day12ex1.txt
@@ -0,0 +1,7 @@
+???.### 1,1,3
+.??..??...?##. 1,1,3
+?#?#?#?#?#?#?#? 1,3,1,6
+????.#...#... 4,1,1
+????.######..#####. 1,6,5
+?###???????? 3,2,1
+
diff --git a/2023/src/day12.f90 b/2023/src/day12.f90
new file mode 100644
index 0000000..b202572
--- /dev/null
+++ b/2023/src/day12.f90
@@ -0,0 +1,157 @@
+program day12
+    implicit none
+    integer, parameter :: max_chars = 300
+    integer, parameter :: max_rows = 2000
+    character(200) :: fname
+    character(max_chars) :: fline
+    character(max_chars) :: springs
+    integer :: n_springs
+    integer :: n_arguments
+    integer :: istat
+    integer :: strlen
+    integer, allocatable :: specifiers(:)
+    integer :: n_specifiers
+    integer :: i, i2
+    integer :: s_pos
+    integer :: val, total_valid
+
+    n_arguments = command_argument_count()
+    if (n_arguments .eq. 1) then
+        call get_command_argument(1, fname)
+        print *, "File: ", trim(fname)
+        print *
+    else
+        print *, "Wrong number of arguments: ", n_arguments
+        stop
+    end if
+    open(10, file=fname)
+    total_valid = 0
+    do i=1,max_rows
+        read(10, "(a)", iostat=istat) fline
+        strlen = len_trim(fline)
+        if ((strlen .eq. 0) .or. (is_iostat_end(istat))) then
+            exit
+        end if
+        s_pos = scan(fline, " ")
+        n_springs = s_pos - 1
+        springs = fline(1:n_springs)
+        n_specifiers = 1
+        do i2 = s_pos+1, strlen
+            if (fline(i2:i2) .eq. ',') then
+                n_specifiers = n_specifiers + 1
+            end if
+        end do
+        allocate(specifiers(1:n_specifiers))
+        read(fline((s_pos + 1):strlen), *) specifiers
+        print *, trim(springs)
+        call set3(springs)
+        val = 0
+        do
+            if (consistent(springs, n_springs, specifiers, n_specifiers)) then
+                val = val + 1
+                print *, trim(springs)
+            end if
+            if (no3(springs)) then
+                exit
+            end if
+            call iterate(springs, strlen)
+        end do
+        print *, "Valid: ", val
+        print *
+        total_valid = total_valid + val
+        deallocate(specifiers)
+    end do
+    close(10)
+    print *
+    print *, "Total valid: ", total_valid
+
+    contains
+        subroutine set3(springs)
+            character(*), intent(inout) :: springs
+            integer :: pos
+            do
+                pos = scan(springs, '?')
+                if (pos .eq. 0) then
+                    exit
+                end if
+                springs(pos:pos) = '3'
+            end do
+        end subroutine
+
+        subroutine iterate(springs, nspr)
+            character(*), intent(inout) :: springs
+            integer, intent(in) :: nspr
+            integer :: p1, p2
+            p1 = 1
+            do
+                if (p1 .gt. nspr) then
+                    exit
+                end if
+                p2 = scan(springs(p1:nspr), '3>')
+                if (p2 .eq. 0) then
+                    exit
+                end if
+                p2 = p2 + p1 - 1
+                if (springs(p2:p2) .eq. '3') then
+                    springs(p2:p2) = '>'
+                    exit
+                else
+                    springs(p2:p2) = '3'
+                    ! carry the '>'
+                    p1 = p2 + 1
+                end if
+            end do
+        end subroutine
+
+        function no3(springs)
+            character(*), intent(in) :: springs
+            logical :: no3
+            no3 = (scan(springs, '3') .eq. 0)
+        end function no3
+
+        function consistent(springs, n_spr, specs, n_specs)
+            character(*), intent(in) ::springs
+            integer, intent(in) :: specs(:)
+            integer, intent(in) :: n_spr, n_specs
+            logical :: consistent
+            integer :: c1, c2, c3, i, speccur, clen
+
+            consistent = .true.
+            c1 = 1
+            speccur = 0
+            do i = 1, n_spr
+                if (c1 .gt. n_spr) then
+                    consistent = speccur .eq. n_specs
+                    ! We've run out of springs
+                    return
+                end if
+                c2 = scan(springs(c1:n_spr), '#3')
+                if (c2 .eq. 0) then
+                    consistent = speccur .eq. n_specs
+                    ! Also run out of springs
+                    return
+                end if
+                c2 = c1 + c2 - 1
+                c3 = verify(springs(c2:n_spr), '#3')
+                if (c3 .eq. 0) then
+                    ! Ends at end of string
+                    c3 = n_spr
+                else
+                    c3 = c2 + c3 - 2
+                end if
+                speccur = speccur + 1
+                if (speccur .gt. n_specs) then
+                    consistent = .false.
+                    return
+                end if
+                clen = c3 - c2 + 1
+                if (clen .ne. specs(speccur)) then
+                    consistent = .false.
+                    return
+                end if
+                c1 = c3 + 1
+            end do
+            print *, '???'
+        end function consistent
+end program day12
+