day6.input « inputs - aoc-2023 - Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

summary refs log tree commit diff

path: root/inputs/day6.input

blob: 27b64c40ec1a80d27830a1786d535241d77dffeb (plain) (blame)

1 2	`Time: 58 81 96 76 Distance: 434 1041 2219 1218`