LogicSig Program
#pragma version 4
intcblock 1 0 0 287867876 3 4 5 6
intc_3 // 287867876
intc_2 // 0
>
assert
txn CloseRemainderTo
global ZeroAddress
==
assert
txn AssetCloseTo
global ZeroAddress
==
assert
txn RekeyTo
global ZeroAddress
==
assert
global GroupSize
intc_0 // 1
>
assert
gtxn 1 Sender
txn Sender
==
assert
gtxn 1 TypeEnum
intc 7 // 6
==
assert
gtxn 1 ApplicationID
pushint 552635992
==
assert
gtxn 1 OnCompletion
intc_0 // 1
==
gtxn 1 NumAppArgs
intc 4 // 3
==
&&
gtxna 1 ApplicationArgs 0
pushbytes 0x626f6f747374726170 // "bootstrap"
==
&&
bnz label1
gtxn 1 OnCompletion
intc_1 // 0
==
assert
gtxn 1 NumAppArgs
pushint 2
==
gtxna 1 ApplicationArgs 0
pushbytes 0x73776170 // "swap"
==
&&
bnz label2
gtxn 1 NumAppArgs
intc_0 // 1
==
assert
gtxna 1 ApplicationArgs 0
pushbytes 0x6d696e74 // "mint"
==
bnz label3
gtxna 1 ApplicationArgs 0
pushbytes 0x6275726e // "burn"
==
bnz label4
gtxna 1 ApplicationArgs 0
pushbytes 0x72656465656d // "redeem"
==
bnz label5
gtxna 1 ApplicationArgs 0
pushbytes 0x66656573 // "fees"
==
bnz label6
err
label1:
intc 6 // 5
intc 5 // 4
intc_2 // 0
intc_1 // 0
==
select
global GroupSize
==
assert
gtxna 1 ApplicationArgs 1
btoi
intc_3 // 287867876
==
gtxna 1 ApplicationArgs 2
btoi
intc_2 // 0
==
&&
assert
gtxn 2 Sender
txn Sender
==
assert
gtxn 2 TypeEnum
intc 4 // 3
==
assert
gtxn 2 ConfigAsset
intc_1 // 0
==
assert
gtxn 2 ConfigAssetTotal
intc_1 // 0
~
==
assert
gtxn 2 ConfigAssetDecimals
intc 7 // 6
==
assert
gtxn 2 ConfigAssetDefaultFrozen
intc_1 // 0
==
assert
gtxn 2 ConfigAssetUnitName
pushbytes 0x544d504f4f4c3131 // "TMPOOL11"
==
assert
gtxn 2 ConfigAssetName
substring 0 15
pushbytes 0x54696e796d616e506f6f6c312e3120 // "TinymanPool1.1 "
==
assert
gtxn 2 ConfigAssetURL
pushbytes 0x68747470733a2f2f74696e796d616e2e6f7267 // "https://tinyman.org"
==
assert
gtxn 2 ConfigAssetManager
global ZeroAddress
==
assert
gtxn 2 ConfigAssetReserve
global ZeroAddress
==
assert
gtxn 2 ConfigAssetFreeze
global ZeroAddress
==
assert
gtxn 2 ConfigAssetClawback
global ZeroAddress
==
assert
gtxn 3 Sender
txn Sender
==
assert
gtxn 3 TypeEnum
intc 5 // 4
==
assert
gtxn 3 XferAsset
intc_3 // 287867876
==
assert
gtxn 3 AssetReceiver
txn Sender
==
assert
gtxn 3 AssetAmount
intc_1 // 0
==
assert
intc_2 // 0
intc_1 // 0
!=
bnz label7
gtxn 1 Fee
gtxn 2 Fee
+
gtxn 3 Fee
+
store 1
b label8
label7:
gtxn 4 Sender
txn Sender
==
assert
gtxn 4 TypeEnum
intc 5 // 4
==
assert
gtxn 4 XferAsset
intc_2 // 0
==
assert
gtxn 4 AssetReceiver
txn Sender
==
assert
gtxn 4 AssetAmount
intc_1 // 0
==
assert
gtxn 1 Fee
gtxn 2 Fee
+
gtxn 3 Fee
+
gtxn 4 Fee
+
store 1
b label8
label3:
global GroupSize
intc 6 // 5
==
assert
gtxna 1 Accounts 1
txn Sender
!=
assert
gtxna 1 Accounts 1
gtxn 4 AssetReceiver
==
assert
gtxn 2 Sender
txn Sender
!=
assert
gtxn 2 AssetReceiver
txn Sender
==
assert
gtxn 3 Sender
gtxn 2 Sender
==
assert
gtxn 2 XferAsset
intc_3 // 287867876
==
assert
gtxn 3 AssetReceiver
gtxn 3 Receiver
gtxn 3 TypeEnum
intc_0 // 1
==
select
txn Sender
==
assert
gtxn 3 XferAsset
intc_1 // 0
gtxn 3 TypeEnum
intc_0 // 1
==
select
intc_2 // 0
==
assert
gtxn 4 Sender
txn Sender
==
assert
gtxn 4 AssetReceiver
gtxn 2 Sender
==
assert
gtxn 1 Fee
gtxn 4 Fee
+
store 1
b label8
label4:
global GroupSize
intc 6 // 5
==
assert
gtxna 1 Accounts 1
txn Sender
!=
assert
gtxna 1 Accounts 1
gtxn 2 AssetReceiver
==
assert
gtxn 3 AssetReceiver
gtxn 3 Receiver
gtxn 3 TypeEnum
intc_0 // 1
==
select
gtxna 1 Accounts 1
==
assert
gtxn 2 Sender
txn Sender
==
assert
gtxn 2 AssetReceiver
gtxn 4 Sender
==
assert
gtxn 2 XferAsset
intc_3 // 287867876
==
assert
gtxn 3 Sender
txn Sender
==
assert
gtxn 3 AssetReceiver
gtxn 3 Receiver
gtxn 3 TypeEnum
intc_0 // 1
==
select
gtxn 4 Sender
==
assert
gtxn 3 XferAsset
intc_1 // 0
gtxn 3 TypeEnum
intc_0 // 1
==
select
intc_2 // 0
==
assert
gtxn 4 Sender
txn Sender
!=
assert
gtxn 4 AssetReceiver
txn Sender
==
assert
gtxn 1 Fee
gtxn 2 Fee
+
gtxn 3 Fee
+
store 1
b label8
label2:
global GroupSize
intc 5 // 4
==
assert
gtxna 1 Accounts 1
txn Sender
!=
assert
gtxn 2 Sender
gtxna 1 Accounts 1
==
assert
gtxn 2 Sender
txn Sender
!=
assert
gtxn 3 Sender
txn Sender
==
assert
gtxn 2 AssetReceiver
gtxn 2 Receiver
gtxn 2 TypeEnum
intc_0 // 1
==
select
txn Sender
==
assert
gtxn 3 AssetReceiver
gtxn 3 Receiver
gtxn 3 TypeEnum
intc_0 // 1
==
select
gtxn 2 Sender
==
assert
gtxn 1 Fee
gtxn 3 Fee
+
store 1
b label8
label5:
global GroupSize
intc 4 // 3
==
assert
gtxna 1 Accounts 1
txn Sender
!=
assert
gtxn 2 AssetReceiver
gtxn 2 Receiver
gtxn 2 TypeEnum
intc_0 // 1
==
select
gtxna 1 Accounts 1
==
assert
gtxn 1 Fee
gtxn 2 Fee
+
store 1
b label8
label6:
global GroupSize
intc 4 // 3
==
assert
gtxn 1 Fee
gtxn 2 Fee
+
store 1
b label8
label8:
gtxn 0 Sender
txn Sender
!=
assert
gtxn 0 Receiver
txn Sender
==
assert
gtxn 0 Amount
load 1
>=
return
