Nathan McCarty aff4844a1e Day 3 Part 2		2022-12-03 13:52:10 -05:00
..
Main.idr	Day 3 Part 2	2022-12-03 13:52:10 -05:00
input	Day 3 Part 1	2022-12-03 13:29:11 -05:00