#include using namespace std; //#pragma GCC optimize("Ofast") #define rep(i,n) for(ll i=0;i=0;i--) #define perl(i,r,l) for(ll i=r-1;i>=l;i--) #define fi first #define se second #define pb push_back #define ins insert #define pqueue(x) priority_queue,greater> #define all(x) (x).begin(),(x).end() #define CST(x) cout<> #define rev(x) reverse(x); using ll=long long; using vl=vector; using vvl=vector>; using pl=pair; using vpl=vector; using vvpl=vector; const ll MOD=1000000007; const ll MOD9=998244353; const int inf=1e9+10; const ll INF=4e18; const ll dy[9]={1,0,-1,0,1,1,-1,-1,0}; const ll dx[9]={0,1,0,-1,1,-1,1,-1,0}; template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } struct UnionFind { vector par; vector edge; UnionFind(int n) : par(n, -1),edge(n, 0) {} int root(int x) { if (par[x] < 0) return x; else return par[x] = root(par[x]); } bool same(int x, int y) { return root(x) == root(y); } bool merge(int x, int y) { x = root(x); y = root(y); if (x == y) { edge[x]++; return false; } if (par[x] > par[y]) swap(x, y); par[x] += par[y]; par[y] = x; edge[x] += edge[y]+1; return true; } int size(int x) { return -par[root(x)]; } }; //中国剰余定理 // 返り値: a と b の最大公約数 // ax + by = gcd(a, b) を満たす (x, y) が格納される long long extGcd(long long a, long long b, long long &x, long long &y) { if (b == 0) { x = 1; y = 0; return a; } long long d = extGcd(b, a%b, y, x); y -= a/b * x; return d; } //-1が帰ってくる可能性に注意 pair ChineseRem(const vector &b, const vector &m) { long long r = 0, M = 1; for (int i = 0; i < (int)b.size(); ++i) { long long p, q; long long d = extGcd(M, m[i], p, q); // p is inv of M/d (mod. m[i]/d) if ((b[i] - r) % d != 0) return make_pair(0, -1); long long tmp = (b[i] - r) / d * p % (m[i]/d); r += M * tmp; M *= m[i]/d; } return make_pair((r+M+M)%M, M); } int main(){ ll n;cin >> n; vl a(n),b(n); rep(i,n)cin >> a[i],a[i]--; rep(i,n)cin >> b[i],b[i]--; UnionFind ua(n),ub(n); rep(i,n)ua.merge(i,a[i]); rep(i,n)ub.merge(i,b[i]); map mp; rep(i,n){ mp[(ll)ua.root(i)*n+ub.root(i)].emplace_back(i); } vl dpa(n),dpb(n); rep(i,n){ if(i!=ua.root(i))continue; ll now=i; rep(j,ua.size(i)){ dpa[now]=j; now=a[now]; } } rep(i,n){ if(i!=ub.root(i))continue; ll now=i; rep(j,ub.size(i)){ dpb[now]=j; now=b[now]; } } ll ans=0; for(auto [p,v]:mp){ //cout << "xx" << p << endl; ll x=p/n,y=p%n; ll g=gcd(ua.size(x),ub.size(y)); map memo; ll l; for(auto z:v){ ll f=((dpa[z]-dpb[z])%g+g)%g; ll m=ua.size(x); ll na=((dpa[z]-f)%m+m)%m; auto [val,lc]=ChineseRem({na,dpb[z]},{m,ub.size(y)}); memo[f].emplace_back(val); l=lc; } for(auto [hoge,vals]:memo){ sort(all(vals));vals.emplace_back(l+vals[0]); rep(i,vals.size()-1){ ll s=vals[i+1]-vals[i]; ans+=s*(s-1)/2; } //cout << l << endl; //for(auto f:vals)cout << f <<" ";cout << endl; } } cout << ans%MOD << endl; }