После того, как Лионель Месси и Криштиану Роналдо согласились, что дела с математикой у них обстоят не очень хорошо и им очень тяжело поддаются "Футбольные произведения" из предыдущей задачи, они попросили Васю придумать новую игру, более легкую… В этот раз программист не стал "грузить" футболистов своими тяжёлыми задачами (им же ещё за кубок боротся, как ни как!?), и теперь он придумал им задание по рисованию. Но не просто нарисовать поле или мяч, а многоугольник, который должен был стать шедевром оттечественного "многоугольникостроения", так сказать - "футболоугольником". Лионель и Криштиану опять попросили придумать по числу. Месси придумал число \textbf{A}, Роналдо - \textbf{В}. Ребята уже почти начали выполнять это простое задание, как тут Вася им напомнил, что они должны нарисовать \textbf{A} точек и соединить некоторые пары из них отрезками так, чтобы не образовался \textbf{B}-угольник с проведёнными в нём всеми диагоналями и сторонами, причём количество отрезков должно быть максимально. Через несколько минут оба футболиста уже имели и примеры, где достигался максимум, и доказательство, что больше отрезков уже не провести. Вы опять выступаете в роли рефери, который должен проверить максимальность проведённых рёбер. \InputFile В единственной строке записано через пробел названные футболистами два целых числа \textbf{A} и \textbf{B}. \textbf{1} < \textbf{A}, \textbf{B} ≤ \textbf{1000}. \OutputFile Единственное целое число - максимальное количество отрезков, которое может быть проведено при заданных условиях.