Problem:
Prime Caves

An international expedition discovered abandoned Buddhist cave temples
in a giant cliff standing on the middle of a desert. There were many
small caves dug into halfway down the vertical cliff, which were
aligned on square grids. The archaeologists in the expedition were
excited by Buddha's statues in those caves. More excitingly, there
were scrolls of Buddhism sutras (holy books) hidden in some of the caves. Those
scrolls, which estimated to be written more than
thousand years ago, were of immeasurable value.

The leader of the expedition wanted to collect as many scrolls as
possible. However, it was not easy to get into the caves as they were
located in the middle of the cliff. The only way to enter a cave was to
hang you from a helicopter. Once entered and explored a cave, you can
climb down to one of the three caves under your cave; i.e., either the
cave directly below your cave, the caves one left or right to the cave
directly below your cave. This can be repeated for as many times as
you want, and then you can descent down to the ground by using a long rope.

So you can explore several caves in one attempt. But which caves
you should visit? By examining the results of the preliminary
attempts, a mathematician member of the expedition discovered
that (1) the caves can be numbered from the central one, spiraling
out as shown in Figure D-1; and (2) only those caves with their cave
numbers being prime (let's call such caves prime caves),
which are circled in the figure, store scrolls. From the next
attempt, you would be able to maximize the number of prime caves to
explore.

Figure D-1: Numbering of the caves and the prime caves

Write a program, given the total number of the caves and the cave visited first, that finds the descending route containing the maximum number of prime caves.

Input

The input consists of multiple datasets. Each dataset has an
integer m (1 ≤ m ≤ 106) and an integer n (1 ≤ n
≤ m) in one line, separated by a space. m represents the total number of caves. n
represents the cave number of the cave from which you will start your exploration. The last
dataset is followed by a line with two zeros.

Output

For each dataset, find the path that starts from the cave n and
contains the largest number of prime caves, and output the number of
the prime caves on the path and the last prime cave number on the
path in one line, separated by a space. The cave n, explored first, is included
in the caves on the path.
If there is more than one such path, output for the path
in which the last of the prime caves explored has the largest number among such paths.
When there is no such path that explores prime caves, output "0
0" (without quotation marks).

Sample Input

49 22
46 37
42 23
945 561
1081 681
1056 452
1042 862
973 677
1000000 1000000
0 0

Output for the Sample Input

0 0
6 43
1 23
20 829
18 947
10 947
13 947
23 947
534 993541

Solution in C++11 (judge verdict: Memory Limit Exceeded)

#include <bits/stdc++.h>
using namespace std;

#define rep(i,x,y) for(int i=(x);i<(y);++i)
#define debug(x) #x << "=" << (x)

#ifdef DEBUG
#define _GLIBCXX_DEBUG
#define dump(x) std::cerr << debug(x) << " (L:" << __LINE__ << ")" << std::endl
#else
#define dump(x)
#endif

typedef long long int ll;
typedef pair<int,int> pii;
//template<typename T> using vec=std::vector<T>;

const int inf=1<<30;
const long long int infll=1LL<<58;
const double eps=1e-9;
const int dx[]={1,0,-1,0},dy[]={0,-1,0,1};

namespace std {
    template <>
    class hash<std::pair<int, int>> {
    public:
        size_t operator()(const std::pair<int, int>& x) const{
            return size_t((size_t)x.first * (size_t)x.second);
        }
    };
}

template <typename T> ostream &operator<<(ostream &os, const vector<T> &vec){
	os << "[";
	for (const auto &v : vec) {
		os << v << ",";
	}
	os << "]";
	return os;
}

void solve(){
    vector<bool> is_prime(1e6+1,true);
    is_prime[0]=is_prime[1]=false;
    rep(i,2,1e+6+1){
        if(!is_prime[i]) continue;
        for(int j=i*2; j<1e6+1; j+=i) is_prime[j]=false;
    }
    while(true){
        int m,n;
        cin >> m >> n;
        if(m==0 and n==0) break;

        map<pii,int> encode;
        map<int,pii> decode;
        map<int,vector<int>> xs;
        {
            int x=0,y=0,dir=3;
            rep(i,1,m+1){
                encode[make_pair(x,y)]=i;
                decode[i]=make_pair(x,y);
                xs[y].push_back(x);
                int nx=x+dx[(dir+1)%4],ny=y+dy[(dir+1)%4];
                if(encode.find(make_pair(nx,ny))==encode.end()) dir=(dir+1)%4;
                else{
                    nx=x+dx[dir];
                    ny=y+dy[dir];
                }
                x=nx;
                y=ny;
            }
        }

        map<pii,int> dp;
        int y=decode[n].second+1,ans,max_num;
        if(is_prime[n]){
            dp[decode[n]]=1;
            ans=1;
            max_num=n;
        }else{
            dp[decode[n]]=0;
            ans=0;
            max_num=0;
        }
        while(xs.find(y)!=xs.end()){
            if(xs.find(y-2)!=xs.end()) for(int x:xs[y-2]) dp.erase(make_pair(x,y));
            for(int x:xs[y]){
                int tmp=-1;
                if(dp.find(make_pair(x-1,y-1))!=dp.end()) tmp=max(tmp,dp[make_pair(x-1,y-1)]);
                if(dp.find(make_pair(x,y-1))!=dp.end()) tmp=max(tmp,dp[make_pair(x,y-1)]);
                if(dp.find(make_pair(x+1,y-1))!=dp.end()) tmp=max(tmp,dp[make_pair(x+1,y-1)]);
                if(tmp==-1) continue;
                if(is_prime[encode[make_pair(x,y)]]){
                    ++tmp;
                    if(tmp>ans){
                        ans=tmp;
                        max_num=encode[make_pair(x,y)];
                    }else if(tmp==ans) max_num=max(max_num,encode[make_pair(x,y)]);
                }
                dp[make_pair(x,y)]=tmp;
            }
            ++y;
        }

        cout << ans << " " << max_num << endl;
    }
}

int main(){
	std::ios::sync_with_stdio(false);
	std::cin.tie(0);
	solve();
	return 0;
}