Madoka and Formal Statement

Problem Name:
Madoka and Formal Statement
Site:CodeForces
Links:
Tags:
Problem setters: