Input
3 2
Output
712