Advent of Code 2023: Day 13

Read the problem