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