Source code of solutions for cms.di.unipi.it, USACO Training gateway, etc problems.