Nathan McCarty 3afb01ca78 Day 1 Part 2		2022-12-01 11:06:04 -05:00
..
Main.idr	Day 1 Part 2	2022-12-01 11:06:04 -05:00
input	Day 1 part 1	2022-12-01 10:57:04 -05:00