プロサーチでr1にモデルが切り替わるだけでR1思考でsonnet出力なんて芸当到底出来てないように見えるけどな