When [
(Case
(Deposit
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
(Token "" "")
(Constant 100000000))
(When [
(Case
(Deposit
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")
(Token "" "")
(Constant 120000000))
(When [
(Case
(Choice
(ChoiceId "withdraw1yearEarly"
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")) [
(Bound 0 0)])
(When [
(Case
(Choice
(ChoiceId "withdraw1yearEarly_ConfirmOK"
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
(Bound 0 0)]) Close)
,
(Case
(Choice
(ChoiceId "withdraw1yearEarly_ConfirmNotOK"
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
(Bound 1 1)])
(Pay
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")
(Account
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l"))
(Token "" "")
(Constant 30000000) Close))] 1743495420000 Close))
,
(Case
(Choice
(ChoiceId "withdraw1yearEarly"
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")) [
(Bound 0 0)])
(When [
(Case
(Choice
(ChoiceId "withdraw1yearEarly_ConfirmOK"
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")) [
(Bound 0 0)]) Close)
,
(Case
(Choice
(ChoiceId "withdraw1yearEarly_ConfirmNotOK"
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas")) [
(Bound 1 1)])
(Pay
(Address "addr_test1qpql840patue8ffm07mfgae64kg0v6qjm7nu9wpyaw80nzgl8j7unwq0ydqqjsmwuf9rda0ls26k3e0q7st8t02dhgjs3nqn2l")
(Account
(Address "addr_test1qp4mhws4p3amuuc75ep6xxl8z250cxdhkhe6kfkse2e2lz4wc8pe0c2qtsykccuggm9evrm6pcf47g535mxl7l37vxqq7ydfas"))
(Token "" "")
(Constant 40000000) Close))] 1743495420000 Close))] 1743495360000 Close))] 1711959360000 Close))] 1711944960000 Close