12478

Problem ID: 12478

This problem has no input.