(@-@) (@-@) (@-@) (@-@) >< crossing isabelle 2020

• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• >< (0)
• crossing (10)
• isabelle (2)