套路题的嵌套。

首先只用对每个 i=1,2,ni=1,2, \dots nTgcd(T1,,Ti)\sum_T \gcd(T_1, \dots, T_i),之后随便组合一下就能算出答案。

Tgcd(T1,,Ti)=Tdgcd(T1,,Ti)φ(d)=d=1mφ(d)(m/d)i\sum_T \gcd(T_1, \dots, T_i) \\ = \sum_{T} \sum_{d| \gcd(T_1, \dots, T_i) } \varphi(d) \\ = \sum_{d=1}^m \varphi(d) (\lfloor m/d \rfloor)^i

考虑数论分块,需要对所有 m/d\lfloor m/d \rfloor 相同的 ddφ(d)\varphi(d) 的和,这一步可以用你喜欢的筛法(如min25筛)完成。

之后问题变成了对 i=1,2,ni=1,2, \dots nj=1Gajbji\sum_{j=1}^G a_j b_j^iG2mG \approx 2 \sqrt{m}

j=1Gajbji=[xi](j=1Gaj1bjx)\sum_{j=1}^G a_j b_j^i=[x^i](\sum_{j=1}^G \dfrac{a_j}{1-b_jx}),所以只需分治NTT即可。