import std.stdio, std.string, std.conv;
import std.algorithm, std.math;
import std.range;
import std.container.rbtree, std.container.dlist;
import std.container.binaryheap, std.container.array;
import std.typecons;

alias mstring = char[];
const long INF = 1L << 60L;
const long mod = 1_000_000_000 + 7;

void chmin (T)(ref T x, T y) {
  x = min(x, y);
}

void chmax (T)(ref T x, T y) {
  x = max(x, y);
}

// 単一の数値を取得
// readln.chomp.to!int;
//  or
// int a;
// readf("%s\n", a);

// 複数の数値を取得(可変数個の場合推奨)
// readln.chomp.split.map!(to!long).array

// 複数の数値を取得(固定数個の場合、推奨)
// int a, b;
// readf("%s %s\n", &a, &b);

// インデントを一個ずらして複数の数値を取得(累積和とかで1-indexedの方が良い時がある)
// long[] vs = readln.chomp.split.map!(to!long).array;
// vs = [0L] ~ vs;

// 小数点は以下で指定
// double ret = 10.0;
// writefln("%.12f", ret);

// 配列の最後の要素は arr[$-1] でアクセスできる

void main () {
  int N = readln.chomp.to!int;

  int[] prms = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37];
  int M = prms.length.to!int;

  auto dp = new long[](1 << M);
  foreach (s; 0 .. (1 << M))
    dp[s] = -1L;
  dp[0] = 0L;
  foreach (s; 0 .. (1 << M)) {
    if (dp[s] < 0L)
      continue;

    for (int n = 2; n <= N; n++) {
      int t = 0;
      foreach (j; 0 .. M) {
        if (n % prms[j] == 0)
          t |= 1 << j;
      }
      if (s & t)
        continue;

      chmax(dp[s | t], dp[s] + n);
    }
  }

  long ret = 0L;
  foreach (s; 0 .. (1 << M))
    chmax (ret, dp[s]);
  writeln(ret);
}