Problem: There are n students living in the campus. Every morning all students wake up at the same time and go to wash. There are m rooms with wash basins. The i-th of these rooms contains ai wash basins. Every student independently select one the rooms with equal probability and goes to it. After all students selected their rooms, students in each room divide into queues by the number of wash basins so that the size of the largest queue is the least possible. Calculate the expected value of the size of the largest queue among all rooms.

Input

The first line contains two positive integers n and m (1 ≤ n, m ≤ 50) — the amount of students and the amount of rooms. The second line contains m integers a1, a2, ... , am (1 ≤ ai ≤ 50). ai means the amount of wash basins in the i-th room.

Output

Output single number: the expected value of the size of the largest queue. Your answer must have an absolute or relative error less than 10 - 9.

Examples

Input

1 1
2


Output

1.00000000000000000000


Input

2 2
1 1


Output

1.50000000000000000000


Input

2 3
1 1 1


Output

1.33333333333333350000


Input

7 5
1 1 2 3 1


Output

2.50216960000000070000

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int m, a[55], n;
double nCr[51][51] = {0};
double ans[51][51][51];
double dp(int l, int r, int mm) {
  if (l == 0) return mm;
  if (r == 0) return 0;
  if (ans[l][r][mm] >= 0) return ans[l][r][mm];
  ans[l][r][mm] = 0;
  for (int i = 0; i <= l; i++) {
    ans[l][r][mm] += ((nCr[l][i] * pow(r - 1, l - i)) / pow(r, l)) *
                     dp(l - i, r - 1, max(mm, (int)ceil((double)(i) / a[r])));
  }
  return ans[l][r][mm];
}
int main() {
  for (int i = 0; i <= 50; ++i) nCr[i][0] = 1;
  for (int i = 1; i <= 50; ++i)
    for (int j = 1; j <= i; ++j) nCr[i][j] = nCr[i - 1][j] + nCr[i - 1][j - 1];
  cin >> n >> m;
  for (int i = 0; i < 51; i++)
    for (int j = 0; j < 51; j++)
      for (int k = 0; k < 51; k++) ans[i][j][k] = -1;
  for (int i = 1; i <= m; i++) cin >> a[i];
  printf("%.10f\n", dp(n, m, 0));
}