// 223*4^223+1
4052125887948008414812480228975625279021550585831798186069307860\
4320640312321934225435151077292318780012510579549339419794554040\
795267073