(@-@) (@-@) (@-@) (@-@) >< crossing diives isabelle 2018-02

• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• >< (0)
• crossing (1)
• diives (1)
• isabelle (1)