数论剩余系——cf1089F

关于模和互质，很好的题目

/*
n两个质因子    x，y有 ax+by=n-1 
    ax+by=n-1
    ax+1+by=n
    y|ax+1
    gcd(x,y)=1
    ax%y，a取[1,y-1]，就会有[1,y-1]个不同的值 
    其中 必定有y-1 所以y|ax+1
ax+1<=(y-1)x+1=xy-y+1<=n,所以必定存在a,b 
*/
#include<bits/stdc++.h>
using namespace std;
#define ll long long 
ll n;
ll primes[100],m;
int main(){
    cin>>n;
    ll tmp=n;
    for(ll i=2;i*i<=n;i++)
        if(tmp%i==0){
            primes[++m]=i;
            while(tmp%i==0)tmp/=i;
        }
    if(tmp>1)primes[++m]=tmp;
    if(m<=1){
        puts("NO");
        return 0;
    }
    puts("YES");
    puts("2");
    
    ll a,b,x=primes[1],y=primes[2];
    for(a=1;a<=y-1;a++){
        if((a*x+1)%y==0){
            b=(n-1-a*x)/y;
            break;            
        }
    }
    cout<<a<<" "<<n/x<<'
';
    cout<<b<<" "<<n/y<<'
'; 
}