#include using namespace std; unordered_map factorize(long long x) { unordered_map mp; for( long long i = 2LL; i*i <= x; i++ ) { while( x%i == 0LL ) { mp[i]++; x /= i; } } if( x != 1LL ) mp[x]++; return mp; } int main() { // int N; // P*N*M=Q*(N+M) // P * N * M - Q * N - Q * M = 0 // ( P * M - Q ) * N - Q * M = 0 // ( P * M - Q ) * N + ( P * M - Q ) * ( - Q / P ) = Q * Q / P // ( P * M - Q ) * ( N - ( Q / P ) ) = Q * Q / P "( P * M - Q ) * ( P * N - Q ) = Q * Q"; long long P, Q; constexpr long long INF = 1LL<<61; cin >> P >> Q; vector> ans; unordered_map fact = factorize(Q); deque que1, que2; que1.emplace_back(1LL); for( auto& [p, t] : fact ) { long long pw = 1LL; for( int i = 0; i <= 2*t; i++, pw *= p ) { for( long long& crr : que1 ) { if( crr <= INF/pw ) que2.emplace_back(crr*pw); } } swap(que1, que2); que2.clear(); } for( long long& d : que1 ) { long long d2 = Q*Q/d; if( (d+Q)%P == 0LL && (d2+Q)%P == 0LL ) ans.emplace_back(make_pair((d+Q)/P, (d2+Q)/P)); if( (-d+Q)%P == 0LL && (-d2+Q)%P == 0LL && -d+Q > 0 && -d2+Q > 0 ) ans.emplace_back(make_pair((-d+Q)/P, (-d2+Q)/P)); } sort(ans.begin(), ans.end()); cout << ans.size() << endl; for( auto& [fi, se] : ans ) cout << fi << ' ' << se << endl; }