Problem: Roland loves growing flowers. He has recently grown a beautiful rose at point (0, 0) of the Cartesian coordinate system. The rose is so beautiful that Roland is afraid that the evil forces can try and steal it. 

To protect the rose, Roland wants to build n watch towers. Let's assume that a tower is a point on the plane at the distance of at most r from the rose. Besides, Roland assumes that the towers should be built at points with integer coordinates and the sum of squares of distances between all pairs of towers must be as large as possible. Note, that Roland may build several towers at the same point, also he may build some of them at point (0, 0).

Help Roland build the towers at the integer points so that the sum of squares of distances between all towers is maximum possible. Note that the distance in this problem is defined as the Euclidian distance between points.

Input

The first line contains two integers, n and r (2 ≤ n ≤ 8; 1 ≤ r ≤ 30).

Output

In the first line print an integer — the maximum possible sum of squared distances. In the i-th of the following n lines print two integers, xi, yi — the coordinates of the i-th tower. Each tower must be inside or on the border of the circle with radius r. Note that there may be several towers located at the same point of the plane, also some towers can be located at point (0, 0).

If there are multiple valid optimal arrangements, choose any of them.

Examples

Input

4 1


Output

16
0 1
0 1
0 -1
0 -1


Input

3 6


Output

312
0 6
5 -3
-5 -3

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
vector<pair<int, pair<int, int> > > ret;
vector<pair<int, int> > Ans;
pair<int, int> a[100005];
long long ans = 0.0;
void dfs(int pos, int depth, int f_depth, int tot) {
  if (depth == f_depth) {
    long long tmp = 0, t;
    for (int i = 0; i < depth; i++) {
      for (int j = i + 1; j < depth; j++) {
        t = (long long)(a[i].first - a[j].first) * (a[i].first - a[j].first) +
            (long long)(a[i].second - a[j].second) *
                (a[i].second - a[j].second);
        tmp += t;
      }
    }
    if (ans < tmp) {
      ans = tmp;
      Ans.clear();
      for (int i = 0; i < depth; i++) {
        Ans.push_back(a[i]);
      }
    }
    return;
  }
  for (int i = pos; i < tot; i++) {
    a[depth] = ret[i].second;
    dfs(i, depth + 1, f_depth, tot);
  }
}
int main() {
  int n, r;
  scanf("%d%d", &n, &r);
  for (int i = 0, j = r; i <= r; i++) {
    while (i * i + j * j > r * r) j--;
    ret.push_back(make_pair(i * i + j * j, make_pair(i, j)));
  }
  int sz = ret.size();
  for (int i = 0; i < sz; i++) {
    int x = ret[i].second.first, y = ret[i].second.second;
    ret.push_back(make_pair(ret[i].first, make_pair(-x, y)));
    ret.push_back(make_pair(ret[i].first, make_pair(x, -y)));
    ret.push_back(make_pair(ret[i].first, make_pair(-x, -y)));
  }
  sort(ret.begin(), ret.end());
  reverse(ret.begin(), ret.end());
  ret.erase(unique(ret.begin(), ret.end()), ret.end());
  while (ret.size() > 20) ret.pop_back();
  sz = ret.size();
  ans = 0;
  dfs(0, 0, n, sz);
  printf("%I64d\n", ans);
  for (int i = 0; i < (int)Ans.size(); i++) {
    printf("%d %d\n", Ans[i].first, Ans[i].second);
  }
  return 0;
}