Advent of Code 2020 Proof

sure okay let's try it