(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) crossing Shizue isabelle 2018-10