Марсиане много веков назад перешли на использование в военных действиях огромных человекоподобных роботов. В ходе нынешней кампании по завоеванию Луны вся марсианская армия размещается в штабе на Марсе, при этом каждый военный управляет из штаба по интернету действиями своего робота. В марсианской армии поддерживается строгая иерархия — у каждого военного, кроме генерала (генерал в армии всего один), есть непосредственный командир. По марсианскому уставу разрешено только общение командира с непосредственным подчинённым. Такое общение происходит по локальной сети штаба. Каждый военный имеет в штабе собственный компьютер; компьютеры пронумерованы числами от
до
, где
— численность марсианской армии. С давних пор повелось, что компьютер подчинённого имеет номер строго больше компьютера командира. Военные, кроме номера компьютера, характеризуются своей надёжностью — действительным числом: владелец компьютера
имеет надёжность
. Все на Марсе знают, что надёжность генерала равна
, а надёжность рядовых (рядовые и только они на Марсе не имеют подчинённых) равна
.
Наивно думать, что траффик внутри сети штаба ни во что не обходится военным. За каждый мегабайт траффика между
-м компьютером и компьютером командира владельца
-го компьютера главный марсианский провайдер требует плату в
золотых. Ситуацию осложняет то, что объём траффика между любой парой компьютеров в штабе является государственной тайной, и даже провайдеру он неизвестен. Провайдер поступает следующим образом: раз в месяц он присылает счёт, а военные сами вписывают в него траффик за месяц — неотрицательное число мегабайт. Пусть командир и подчинённый имеют компьютеры с номерами
и
соответственно. По договору с провайдером траффик по счёту между компьютерами
и
не должен быть меньше
. В начале нового месяца представителям провайдера известна иерархия чинов в марсианской армии и цены за мегабайт траффика, однако неизвестны
всех чинов, кроме генерала и рядовых, и уж, конечно, неизвестны заранее те суммы в мегабайтах, которые военные впишут в счёт. Хотелось бы знать, какое гарантированное количество золотых может получить провайдер.
Исходные данные
— численность армии.
пар целых чисел
,
— номер компьютера командира владельца
-го компьютера и стоимость мегабайта траффика между компьютерами
и
.
,
.
Результат — минимальная сумму в золотых, которую может гарантировать себе провайдер.