fetch -o - http://eval.dan.co.jp/friends/2026/11/08/8854391300f05d23d547f57f2c92ca00666fa4579270b78020765cd12db90191|sed 's/sub(cn(F(23,6)),s)/add(cn(F(23,6)),mul(cn(F(13,6)),s))/'|sh