12:22 円周率ついに割り切れる、東大金田教授により320163740531桁を算出して割り切れる。