$COQに何かが起こっているのに、なぜかはわかりません。
166