// Original: https://github.com/tanakh/competitive-rs #[allow(unused_macros)] macro_rules! input { (source = $s:expr, $($r:tt)*) => { let mut iter = $s.split_whitespace(); let mut next = || { iter.next().unwrap() }; input_inner!{next, $($r)*} }; ($($r:tt)*) => { let stdin = std::io::stdin(); let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock())); let mut next = move || -> String{ bytes .by_ref() .map(|r|r.unwrap() as char) .skip_while(|c|c.is_whitespace()) .take_while(|c|!c.is_whitespace()) .collect() }; input_inner!{next, $($r)*} }; } #[allow(unused_macros)] macro_rules! input_inner { ($next:expr) => {}; ($next:expr, ) => {}; ($next:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($next, $t); input_inner!{$next $($r)*} }; ($next:expr, mut $var:ident : $t:tt $($r:tt)*) => { let mut $var = read_value!($next, $t); input_inner!{$next $($r)*} }; } #[allow(unused_macros)] macro_rules! read_value { ($next:expr, ( $($t:tt),* )) => { ( $(read_value!($next, $t)),* ) }; ($next:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($next, $t)).collect::>() }; ($next:expr, [ $t:tt ]) => { { let len = read_value!($next, usize); (0..len).map(|_| read_value!($next, $t)).collect::>() } }; ($next:expr, chars) => { read_value!($next, String).chars().collect::>() }; ($next:expr, bytes) => { read_value!($next, String).into_bytes() }; ($next:expr, usize1) => { read_value!($next, usize) - 1 }; ($next:expr, $t:ty) => { $next().parse::<$t>().expect("Parse error") }; } #[allow(dead_code)] fn chmin(x: &mut T, y: T) -> bool where T: PartialOrd + Copy, { *x > y && { *x = y; true } } #[allow(dead_code)] fn chmax(x: &mut T, y: T) -> bool where T: PartialOrd + Copy, { *x < y && { *x = y; true } } #[allow(unused_imports)] use std::cmp::{max, min}; #[allow(unused_imports)] use std::collections::{BTreeMap, BTreeSet, BinaryHeap, VecDeque}; fn main() { input! { n:i64, a:i64,b:i64,c:i64 } let f = |x: i64| n / x; let lcm = |x: i64, y: i64| x / gcd(x, y) * y; let ab = lcm(a, b); let bc = lcm(b, c); let ac = lcm(a, c); let abc = lcm(a,lcm(b,c)); let ans = f(a) + f(b) + f(c) - (f(ab) + f(ac) + f(bc)) + f(abc); println!("{}", ans); } pub fn gcd(x: T, y: T) -> T where T: PartialEq + Copy + std::ops::Rem + std::convert::From, { if y == T::from(0u8) { x } else { gcd(y, x % y) } }