// 31*172^31+1
6205025176605405936065831997785903162610009267025237259882477531\
2211969