bits from phosphorus as well

02/1.py

@@ -0,0 +1,6 @@
+lines = open("input", "r").read().split("\n")
+import re
+matches = [re.match(r"^([0-9]+)-([0-9]+) ([a-z]): ([a-z]+)$", line) for line in lines]
+matches = [m for m in matches if m is not None]
+valids = [True for m in matches if int(m.group(1)) <= len([c for c in m.group(4) if c == m.group(3)]) <= int(m.group(2))]
+print(len(valids))

02/2.py

@@ -0,0 +1,6 @@
+lines = open("input", "r").read().split("\n")
+import re
+matches = [re.match(r"^([0-9]+)-([0-9]+) ([a-z]): ([a-z]+)$", line) for line in lines]
+matches = [m for m in matches if m is not None]
+valids = [True for m in matches if (m.group(4)[int(m.group(1)) - 1] == m.group(3)) ^ (m.group(4)[int(m.group(2)) - 1] == m.group(3))]
+print(len(valids))

02/test

@@ -0,0 +1,3 @@
+1-3 a: abcde
+1-3 b: cdefg
+2-9 c: ccccccccc