e-olymp
Məsələlər

Поедание сыра

Поедание сыра

prb598-1 На сырном заводе во Флатландии живут мыши. Они очень любят сыр и часто уничтожают запасы сыра, приготовленные для отправки в магазин.

Всего на заводе живет m мышей. Для i-й мыши известна ее скорость поедания сыра si, мышь может съесть si грамм сыра в час.

Недавно мышам стал известен план работы завода на ближайшее время. Планируется изготовить n головок сыра. Про каждую головку известны ri - к началу какого часа она будет изготовлена, di - в начале какого часа она начнет портиться, и pi - вес головки сыра в граммах.

Мыши решили съесть весь сыр. В любой момент времени каждая мышь может есть некоторую головку сыра. Мыши - существа брезгливые, и одну и ту же головку сыра не могут есть одновременно несколько мышей. При этом в любой момент времени мышь может решить прекратить есть головку сыра и приняться за другую, в том числе ту, которую ранее ела другая мышь.

Мыши не любят есть сыр после того как он начал портиться. Но оставлять сыр недоеденным мыши не могут. Они решили организовать поедание сыра таким образом, чтобы величина t, такая что какую-либо головку все еще продолжают есть через t часов после того как она начала портиться, была минимальна. Помогите мышам выяснить, как это сделать.

Входные данные

Первая строка входного файла содержит два целых числа n и m (1 <= n, m <= 30). Следующие n строк содержит по три целых числа: pi, ri и di (1 <= pi <= 105, 0 <= ri < di <= 107). Далее следуют m строк, каждая из которых содержит по одному целому числу sj (1 <= sj <= 105).

Выходные данные

Выведите одно вещественное число - искомое минимальное t. Ответ вывести с точностью 10-4.

Объяснение к примеру

В первом примере мышам следует организовать поедание сыра следующим образом. Сначала первая мышь начинает есть первую головку сыра. Когда появляется вторая головка, она перестает есть первую и начинает есть вторую (в этот момент от первой осталось 9 граммов). Вторая мышь принимается есть первую головку сыра. Через 2.5 часа первая мышь доедает вторую головку сыра (на 0.5 часа позже чем она начала портиться) и снова начинает есть первую (вторая мышь за это время съела еще 5 граммов от первой головки и от нее осталось 4 грамма). Таким образом еще за час первая мышь доедает первую головку, также на 0.5 часа позже чем она начала портиться.

Во втором примере мышь успевает съесть сыр до того как он начинает портиться.

Zaman məhdudiyyəti 2 saniyə
Yaddaşı istafadə məhdudiyyəti 64 MiB
Giriş verilənləri
Sample 1
2 2
13 0 4
10 1 3
4
2

Sample 2
1 1
1 0 2
1
Çıxış verilənləri
Sample 1
0.5000

Sample 2
0.0000
Müəllif С.Мельников, АСтанкевич