Problem: Igor K. very much likes a multiplayer role playing game WineAge II. Who knows, perhaps, that might be the reason for his poor performance at the university. As any person who plays the game, he is interested in equipping his hero with as good weapon and outfit as possible. 

One day, as he was reading the game's forum yet again, he discovered a very interesting fact. As it turns out, each weapon in the game is characterised with k different numbers: a1, ..., ak. They are called hit indicators and according to the game developers' plan they are pairwise coprime. 

The damage that is inflicted during a hit depends not only on the weapon's characteristics, but also on the hero's strength parameter. Thus, if the hero's strength equals n, than the inflicted damage will be calculated as the number of numbers on the segment <image>, that aren't divisible by any hit indicator ai.

Recently, having fulfilled another quest, Igor K. found a new Lostborn sword. He wants to know how much damage he will inflict upon his enemies if he uses it.

Input

The first line contains two integers: n and k (1 ≤ n ≤ 1013, 1 ≤ k ≤ 100). They are the indicator of Igor K's hero's strength and the number of hit indicators.

The next line contains space-separated k integers ai (1 ≤ ai ≤ 1000). They are Lostborn sword's hit indicators. The given k numbers are pairwise coprime.

Output

Print the single number — the damage that will be inflicted by Igor K.'s hero when he uses his new weapon. 

Please, do not use the %lld specificator to read or write 64-bit integers in C++. It is preferred to use the cin, cout streams or the %I64d specificator.

Examples

Input

20 3
2 3 5


Output

6


Input

50 2
15 8


Output

41

Solution (in JAVA):

Solution:

import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Scanner;
import java.util.StringTokenizer;

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
/**
 * 4 4 2
 * 1 2
 * 2 3
 * 1 3
 * 3 4
 * 1 2 3
 * 1 3 4
 *
 * @author Trung Pham
 */
public class E {

    public static int[] data;
    public static long[][] dp;

    public static void main(String[] args) {
        Scanner in = new Scanner(System.in);
       // PrintWriter out = new PrintWriter(System.out);
        long n = in.nextLong();

        int k = in.nextInt();
        data = new int[k];
        for (int i = 0; i < k; i++) {
            data[i] = in.nextInt();
        }
        Arrays.sort(data);
        dp = new long[k][100000];
        for (int i = 0; i < dp.length; i++) {
            Arrays.fill(dp[i], -1);
        }
        System.out.println(cal(k - 1, n));




        //out.close();
        //System.out.print(builder.toString());
    }

    public static long cal(int index, long n) {
//        if(n == 0){
//            return 0;
//        }
        if (index == -1) {
            return n;
        }
        if (n < 100000 && dp[index][(int) n] != -1) {
            return dp[index][(int) n];
        }
        long ans = cal(index - 1, n) - cal(index - 1, n / data[index]);
        if (n < 100000) {
            dp[index][(int) n] = ans;
        }
        return ans;
    }

//    static class Scanner {
//
//        BufferedReader br;
//        StringTokenizer st;
//
//        public Scanner() {
//            // System.setOut(new PrintStream(new BufferedOutputStream(System.out), true));
//            br = new BufferedReader(new InputStreamReader(System.in));
//        }
//
//        public String next() {
//
//            while (st == null || !st.hasMoreTokens()) {
//                try {
//                    st = new StringTokenizer(br.readLine());
//                } catch (Exception e) {
//                    throw new RuntimeException();
//                }
//            }
//            return st.nextToken();
//        }
//
//        public long nextLong() {
//            return Long.parseLong(next());
//        }
//
//        public int nextInt() {
//            return Integer.parseInt(next());
//        }
//
//        public double nextDouble() {
//            return Double.parseDouble(next());
//        }
//
//        public String nextLine() {
//            st = null;
//            try {
//                return br.readLine();
//            } catch (Exception e) {
//                throw new RuntimeException();
//            }
//        }
//
//        public boolean endLine() {
//            try {
//                String next = br.readLine();
//                while (next != null && next.trim().isEmpty()) {
//                    next = br.readLine();
//                }
//                if (next == null) {
//                    return true;
//                }
//                st = new StringTokenizer(next);
//                return st.hasMoreTokens();
//            } catch (Exception e) {
//                throw new RuntimeException();
//            }
//        }
//    }
}