Details

Code

Transactions

Download

Contract ID	0eaa304ec22004fdbf6381fd4052a07a1e1da9ccbe2869aa5bfbbea7b8536556#1
Current state	Party Currency (token name) Amount Address: addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas ADA 102.000000 Accounts
minTime	(POSIX: 1711862937000)

When [
  (Case
     (Deposit
        (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
        (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
        (Token "" "")
        (Constant 100000000))
     (When [
           (Case
              (Choice
                 (ChoiceId "withdrawEarly"
                    (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv")) [
                 (Bound 0 0)])
              (When [
                    (Case
                       (Choice
                          (ChoiceId "withdrawEarly_ConfirmOK"
                             (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
                          (Bound 0 0)])
                       (Pay
                          (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                          (Account
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                          (Token "" "")
                          (Constant 40000000)
                          (Pay
                             (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                             (Account
                                (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                             (Token "" "")
                             (Constant 40000000) Close)))
                    ,
                    (Case
                       (Choice
                          (ChoiceId "withdraw1yearEarly_ConfirmNotOK"
                             (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
                          (Bound 1 1)])
                       (Pay
                          (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                          (Account
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                          (Token "" "")
                          (Constant 30000000)
                          (Pay
                             (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                             (Account
                                (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                             (Token "" "")
                             (Constant 45000000) Close)))] 1743495420000
                 (Pay
                    (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                    (Account
                       (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                    (Token "" "")
                    (Constant 30000000)
                    (Pay
                       (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                       (Account
                          (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                       (Token "" "")
                       (Constant 25000000) Close))))
           ,
           (Case
              (Choice
                 (ChoiceId "withdrawEarly"
                    (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
                 (Bound 0 0)])
              (When [
                    (Case
                       (Choice
                          (ChoiceId "withdrawEarly_ConfirmOK"
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv")) [
                          (Bound 0 0)])
                       (Pay
                          (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                          (Account
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                          (Token "" "")
                          (Constant 40000000)
                          (Pay
                             (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                             (Account
                                (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                             (Token "" "")
                             (Constant 40000000) Close)))
                    ,
                    (Case
                       (Choice
                          (ChoiceId "withdraw1yearEarly_ConfirmNotOK"
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv")) [
                          (Bound 1 1)])
                       (Pay
                          (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                          (Account
                             (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                          (Token "" "")
                          (Constant 45000000)
                          (Pay
                             (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                             (Account
                                (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                             (Token "" "")
                             (Constant 30000000) Close)))] 1743495420000
                 (Pay
                    (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                    (Account
                       (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
                    (Token "" "")
                    (Constant 25000000)
                    (Pay
                       (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                       (Account
                          (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
                       (Token "" "")
                       (Constant 30000000) Close))))] 1743495360000
        (Pay
           (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
           (Account
              (Address "addr_test1qqsws53jjaq7rnz8xaljgmmvp59j797zqstdup6vsult4yh8atjtqd2d4ugr0vad9qcrg3y5xxmy5w23ecz033yk2mnqh2vduv"))
           (Token "" "")
           (Constant 52000000)
           (Pay
              (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
              (Account
                 (Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
              (Token "" "")
              (AvailableMoney
                 (Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
                 (Token "" "")) Close))))] 1711944960000 Close