インデックス "e" のチューリングマシンが停止する入力値をformula_20とする。