Футболокутники
Після того як Ліонель Мессі і Кріштіану Роналдо згодились, що з математикою в них не дуже добре і їм дуже важко даються "Футбольні добутки" з попередньої задачі, вони попросили Васю придумати нову гру, більш легку…
На цей раз програміст не став "грузити" футболістів своїми важкими задачами (їм же ще й за кубок боротись, як не як!?), і тепер він придумав їм завдання з малювання. Але не просто намалювати поле чи м'яч, а многокутник, який мав стати шедевром вітчизняного "многокутникобудування", так би мовити - "футболокутником".
Ліонель і Кріштіану знову ж таки попросили придумати по числу. Мессі придумав число A, Роналдо - В.
Хлопці вже майже взялись за це просте завдання, як тут Вася нагадав, що вони повинні намалювати A точок і сполучити деякі пари з них відрізками, так щоб не утворилось B-кутника з проведеними у ньому всіма діагоналями та сторонами, причому кількість відрізків повинна бути максимальна. За декілька хвилин обидва з футболістів, вже мали й приклади, де досягався максимум та доведення, що більше відрізків вже не провести.
Ви знову виступаєте у ролі рефері, який повинен перевірити максимальність проведених ребер.
Вхідні дані
В єдиному рядку записано через пропуск названі футболістами два цілих числа A та B.
1 < A, B ≤ 1000.
Вихідні дані
Єдине ціле число - максимальна кількість відрізків, яка може бути проведена при заданих умовах.