Compressed Formula

Aizu - 2789