亡くなった猫ポンプは$AT で終了します

ショート$AT は0.001$を破る予定です