Details

Code

Transactions

Download

Contract ID	19ce06d1f8b797b07a37fc4bb9f57c3339bbe7b9f7ea3a1b4fe83c9626fb8153#1
Current state	Contract closed

When [
  (Case
     (Deposit
        (Role "A")
        (Role "A")
        (Token "" "")
        (Constant 1000000000))
     (When [
        (Case
           (Deposit
              (Role "B")
              (Role "B")
              (Token "" "")
              (Constant 1000000000))
           (When [
              (Case
                 (Deposit
                    (Role "C")
                    (Role "C")
                    (Token "" "")
                    (Constant 1000000000))
                 (When [
                       (Case
                          (Choice
                             (ChoiceId "A_RutSom"
                                (Role "A")) [
                             (Bound 1 1)])
                          (Pay
                             (Role "A")
                             (Party
                                (Role "B"))
                             (Token "" "")
                             (DivValue
                                (MulValue
                                   (Constant 10)
                                   (Constant 1000000000))
                                (Constant 100))
                             (Pay
                                (Role "A")
                                (Party
                                   (Role "C"))
                                (Token "" "")
                                (DivValue
                                   (MulValue
                                      (Constant 10)
                                      (Constant 1000000000))
                                   (Constant 100)) Close)))
                       ,
                       (Case
                          (Choice
                             (ChoiceId "B_RutSom"
                                (Role "B")) [
                             (Bound 1 1)])
                          (Pay
                             (Role "B")
                             (Party
                                (Role "C"))
                             (Token "" "")
                             (DivValue
                                (MulValue
                                   (Constant 10)
                                   (Constant 1000000000))
                                (Constant 100))
                             (Pay
                                (Role "B")
                                (Party
                                   (Role "A"))
                                (Token "" "")
                                (DivValue
                                   (MulValue
                                      (Constant 10)
                                      (Constant 1000000000))
                                   (Constant 100)) Close)))
                       ,
                       (Case
                          (Choice
                             (ChoiceId "C_RutSom"
                                (Role "C")) [
                             (Bound 1 1)])
                          (Pay
                             (Role "C")
                             (Party
                                (Role "A"))
                             (Token "" "")
                             (DivValue
                                (MulValue
                                   (Constant 10)
                                   (Constant 1000000000))
                                (Constant 100))
                             (Pay
                                (Role "C")
                                (Party
                                   (Role "B"))
                                (Token "" "")
                                (DivValue
                                   (MulValue
                                      (Constant 10)
                                      (Constant 1000000000))
                                   (Constant 100)) Close)))] 1712848200000 Close))] 1712761800000 Close))] 1712761800000 Close))] 1712761800000 Close