Thanks! I think in the future, we should have a class template for these problems that would make it easy to check each contestant's code programmatically. I'm guessing this year, people did not follow some uniform API pattern to solve each problem, where to grab the inputs, etc. It would be nice if we all followed some standard so no one has to go through checking these by hand.
Regarding the formal verification part. Seems a bit strange to me: quite a few problems this year involved thinking heuristically. How can I guarantee my solution works for any input when I myself have only seen a single input?
Followers:
Kevin has no followers yet.
Following:
Kevin has not followed anybody yet.
Global Masters badges:
Kevin has no Global Masters badges yet.
Merry Christmas all!