English Restaurant

Given n tables and random hourly group sizes from 1 to g, find the expected number of seated people after t hours, where each group takes the smallest table that fits.

Medium7Dynamic programmingProbabilitySimulationNo attempts yetTime limit2sMemory limit512 MB

Problem

Robin found a place to live in the Swiss Alps and thought that happiness would follow. Every morning he woke up feeling that something was missing. Maybe the problem is that nobody around here cooks English food. Robin saw a business opportunity in that gap, and a way to solve his own problem at the same time, so he teamed up with the English chef Jim and opened a restaurant nearby. He has no doubts about Jim in the kitchen. He is much less sure that an English restaurant in the Swiss Alps is a good idea.

Robin is a local, so he knows how the customers behave. On the stroke of every hour exactly one group arrives. Its size is uniformly random between 11 and gg people, inclusive, and is independent of every other group. The group sits down at the completely unoccupied table of smallest capacity among those that can seat the whole group. If no such table exists, the group leaves, deeply disappointed. A group that sits down never leaves before closing time, because Jim has no trouble keeping the guests entertained.

For example, suppose the restaurant has 33 tables of capacities 55, 88 and 99, and that groups of sizes 55, 1010 and 33 arrive in that order. The first group takes the table of capacity 55, the second group leaves, and the third group takes the table of capacity 88. In the end 88 people are in the restaurant.

Robin plans to keep the restaurant open for tt hours. In the restaurant business the number that matters most is the expected number of people in the restaurant at closing time. Compute it.

Input

The first line contains three integers nn, gg and tt (1n1001 \le n \le 100, 1g2001 \le g \le 200, 1t1001 \le t \le 100): the number of tables, the largest possible group size, and the number of hours the restaurant stays open.

The second line contains nn integers c1,,cnc_1, \dots, c_n (1ci2001 \le c_i \le 200), the capacities of the tables.

Output

Print the expected number of people in the restaurant at closing time, with exactly six digits after the decimal point.