Formatting takes too long for `*_Random_*.hs`
They are too long, taking too much time formatting... Probably the best fix is to exclude them from formatting.
Originally filed here: https://cp-cs220.kaist.ac.kr/#narrow/stream/137-cs220-questions-infra/topic/format.20command/near/87150