Main
Description
https://adventofcode.com/2020/day/25
Brute-forcing this took me about 6 seconds, but using math makes it instant.
main :: IO () Source #
>>> :main 181800
>>>
:main