Added COJ problems 2511, 2513, 2516, 2519.