「一番でかい数出した奴が優勝」が初出で、ver7まで発表された巨大数の名前は?