計算に29時間、その検証に37時間かかったそうな。
なんせスパコン(CPU1024個)ですから。速いったらもう。

もし本当に100億桁の計算に1年かかったとしたら、速いPCか
遅いワークステーションを使ったんじゃないですかね。