When
    [(Case
        (Deposit
            (Role "Seller")
            (Role "Seller")
            (Token "" "")
            (ConstantParam "Collateral amount")
        )
        (When
            [(Case
                (Deposit
                    (Role "Buyer")
                    (Role "Buyer")
                    (Token "" "")
                    (ConstantParam "Collateral amount")
                )
                (When
                    [(Case
                        (Deposit
                            (Role "Seller")
                            (Role "Buyer")
                            (Token "" "")
                            (ConstantParam "Price")
                        )
                        (When
                            [(Case
                                (Choice
                                    (ChoiceId
                                        "Everything is alright"
                                        (Role "Buyer")
                                    )
                                    [(Bound 0 0)]
                                )
                                Close) , (Case
                                (Choice
                                    (ChoiceId
                                        "Report problem"
                                        (Role "Buyer")
                                    )
                                    [(Bound 1 1)]
                                )
                                (Pay
                                    (Role "Seller")
                                    (Account (Role "Buyer"))
                                    (Token "" "")
                                    (ConstantParam "Price")
                                    (When
                                        [(Case
                                            (Choice
                                                (ChoiceId
                                                    "Confirm problem"
                                                    (Role "Seller")
                                                )
                                                [(Bound 1 1)]
                                            )
                                            Close ), (Case
                                            (Choice
                                                (ChoiceId
                                                    "Dispute problem"
                                                    (Role "Seller")
                                                )
                                                [(Bound 0 0)]
                                            )
                                            (Pay
                                                (Role "Seller")
                                                (Party (Address "addr1qx2fxv2umyhttkxyxp8x0dlpdt3k6cwng5pxj3jhsydzer3n0d3vllmyqwsx5wktcd8cc3sq835lu7drv2xwl2wywfgse35a3x"))
                                                (Token "" "")
                                                (ConstantParam "Collateral amount")
                                                (Pay
                                                    (Role "Buyer")
                                                    (Party (Address "addr1qx2fxv2umyhttkxyxp8x0dlpdt3k6cwng5pxj3jhsydzer3n0d3vllmyqwsx5wktcd8cc3sq835lu7drv2xwl2wywfgse35a3x"))
                                                    (Token "" "")
                                                    (ConstantParam "Collateral amount")
                                                    (When
                                                        [(Case
                                                            (Choice
                                                                (ChoiceId
                                                                    "Confirm problem"
                                                                    (Role "Seller")
                                                                )
                                                                [(Bound 1 1)]
                                                            )
                                                            Close ), (Case
                                                            (Choice
                                                                (ChoiceId
                                                                    "Dispute problem"
                                                                    (Role "Seller")
                                                                )
                                                                [(Bound 0 0)]
                                                            )
                                                            (Pay
                                                                (Role "Seller")
                                                                (Party (Address "addr1qx2fxv2umyhttkxyxp8x0dlpdt3k6cwng5pxj3jhsydzer3n0d3vllmyqwsx5wktcd8cc3sq835lu7drv2xwl2wywfgse35a3x"))
                                                                (Token "" "")
                                                                (ConstantParam "Collateral amount")
                                                                (Pay
                                                                    (Role "Buyer")
                                                                    (Party (Address "addr_test1qp2l7afky3eqfkrht5f3qgy7x2yek5dejcnpnuqlwywz9twr7cz4mu6gh005gdck67p7y9d8s8zsfgjkcdy75mrjh6jqp8jwfw"))
                                                                    (Token "" "")
                                                                    (ConstantParam "Collateral amount")
                                                                    Close
                                                                )
                                                            ))]
                                                        12 Close 
                                                    )
                                                )
                                            ))]
                                        14 Close 
                                    )
                                ))]
                            55 Close 
                        ))]
                    66 Close 
                ))]
            111 Close 
        )), (Case
        (Deposit
            (Role "Seller")
            (Role "Seller")
            (Token "" "")
            (ConstantParam "Collateral amount")
        )
        (When
            [(Case
                (Deposit
                    (Role "Buyer")
                    (Role "Buyer")
                    (Token "" "")
                    (ConstantParam "Collateral amount")
                )
                (When
                    [(Case
                        (Deposit
                            (Role "Seller")
                            (Role "Buyer")
                            (Token "" "")
                            (ConstantParam "Price")
                        )
                        (When
                            [(Case
                                (Choice
                                    (ChoiceId
                                        "Everything is alright"
                                        (Role "Buyer")
                                    )
                                    [(Bound 0 0)]
                                )
                                Close ), (Case
                                (Choice
                                    (ChoiceId
                                        "Report problem"
                                        (Role "Buyer")
                                    )
                                    [(Bound 1 1)]
                                )
                                (Pay
                                    (Role "Seller")
                                    (Account (Role "Buyer"))
                                    (Token "" "")
                                    (ConstantParam "Price")
                                    (When
                                        [(Case
                                            (Choice
                                                (ChoiceId
                                                    "Confirm problem"
                                                    (Role "Seller")
                                                )
                                                [(Bound 1 1)]
                                            )
                                            Close ), (Case
                                            (Choice
                                                (ChoiceId
                                                    "Dispute problem"
                                                    (Role "Seller")
                                                )
                                                [(Bound 0 0)]
                                            )
                                            (Pay
                                                (Role "Seller")
                                                (Party (Address "addr1qx2fxv2umyhttkxyxp8x0dlpdt3k6cwng5pxj3jhsydzer3n0d3vllmyqwsx5wktcd8cc3sq835lu7drv2xwl2wywfgse35a3x"))
                                                (Token "" "")
                                                (ConstantParam "Collateral amount")
                                                (Pay
                                                    (Role "Buyer")
                                                    (Party (Address "addr1qx2fxv2umyhttkxyxp8x0dlpdt3k6cwng5pxj3jhsydzer3n0d3vllmyqwsx5wktcd8cc3sq835lu7drv2xwl2wywfgse35a3x"))
                                                    (Token "" "")
                                                    (ConstantParam "Collateral amount")
                                                    Close 
                                                )
                                            ))]
                                        555 Close 
                                    )
                                ))]
                            444 Close 
                        ))]
                    333 Close 
                ))]
            44 Close 
        ))]
    111 Close