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))