直角，不存在数组越界，难道有UB？

unsigned long long FastExpMod(unsigned long long a1,unsigned long long b)
{
    unsigned long long ans2=1;
    while(b){
    if(b&1)
        ans2=(ans2*a1)%MOD;
        a1=(a1*a1)%MOD;
        b>>=1;
    }
    return ans2;
}