Kazakh-British TU: Mimimimi (Abdrakhmanov, Abdurakhmanov, Rustamkhanov)'s submissions for Codeforces Push-up challenge