(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) thicc isabelle 2024-09