Python solutions for Advent of Code 2023 puzzles