Nathan McCarty d64c5a83d3 Day 2 Part 2		2022-12-02 21:56:24 -05:00
..
Main.idr	Day 2 Part 2	2022-12-02 21:56:24 -05:00
input	Day 2 Part 1	2022-12-02 21:43:53 -05:00