一番上のヤツで１３３だった。元数学科の中年。