Transaction
ID: 86f5af5188...5be4
Inputs (4)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
1,824.72
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
1,282.97
Outputs (14)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
139.04
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
691.07
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
10
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
177.18
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
253.38
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
18.52
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
24.29
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
51.35
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
7
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
847.21
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
889.24
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.005 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.005 ERG
Tokens:
0
Transaction Details
Confirmations: 978,324
Total coins transferred: 0.022 ERG
Fees: 0.005 ERG
Fees per byte: 0.000001605 ERG
Raw Transaction Data
{
"id": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"inclusionHeight": 777690,
"timestamp": 1655927382094,
"index": 5,
"globalIndex": 3415053,
"numConfirmations": 978324,
"inputs": [
{
"boxId": "ccc2b94d7924577247e871a4bd11ba39698512615307a8a3fa60fb10bbac7772",
"value": 1000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "b387db6385870822af31cc5c8b09a07c61f162493cc6e385b1ba9e38a089efa0",
"outputTransactionId": "a5dbcfef72b867b91435442469d7f3750e5bb3927a85d9a9a3ee10cd94e80824",
"outputIndex": 0,
"outputGlobalIndex": 18244435,
"outputCreatedAt": 777611,
"outputSettledAt": 777617,
"ergoTree": "101404000400040204020100010004020100040204000400050204020404040404000400010001000101d806d601c6a70611d602c6a7071ad60396830501e6c6a7040c3c0e11e6c6a7050c4c0ee67201e6720293b2a4730000a7d604b2a5730100d605b2a4730200d606c672040611957203d1959595ed93c27204c2a795957203aee47202d901070e937207c2b2a4730300730496830401e6c67205040c3c0e11e6c67205050c4c0ee6c672050611e6c67205071a730596830601e6c67204040c3c0e11e6c67204050c4c0ee6c672040611e6c67204071a93c17204c1a793b1db6308720473067307d803d607e47206d608e47201d609b27207730800ededed93b272077309009ab27208730a00730bed9072097ea305917209b27208730c0093b27207730d00b27208730e00938cb2db6308a7730f00018cb2db630872047310000173119683040193e4c67204040c3c0e11e4c67205040c3c0e1193e4c67204050c4c0ee4c67205050c4c0e93e47206e4c67205061193e4c67204071ae4c67205071a7312d17313",
"ergoTreeConstants": "0: 0\n1: 0\n2: 1\n3: 1\n4: false\n5: false\n6: 1\n7: false\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 2\n14: 2\n15: 0\n16: 0\n17: false\n18: false\n19: true",
"ergoTreeScript": "{\n val opt1 = SELF.R6[Coll[Long]]\n val opt2 = SELF.R7[Coll[Coll[Byte]]]\n val bool3 = allOf(\n Coll[Boolean](\n SELF.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, SELF.R5[Coll[(Coll[Byte], Int)]].isDefined, opt1.isDefined, opt2.isDefined, INPUTS(\n placeholder[Int](0)\n ) == SELF\n )\n )\n val box4 = OUTPUTS(placeholder[Int](1))\n val box5 = INPUTS(placeholder[Int](2))\n val opt6 = box4.R6[Coll[Long]]\n if (bool3) {\n sigmaProp(\n if (if (if ((box4.propositionBytes == SELF.propositionBytes) && if (if (bool3) {\n opt2.get.exists({(coll7: Coll[Byte]) => coll7 == INPUTS(placeholder[Int](3)).propositionBytes })\n } else { placeholder[Boolean](4) }) {\n allOf(\n Coll[Boolean](\n box5.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box5.R5[Coll[(Coll[Byte], Int)]].isDefined, box5.R6[Coll[Long]].isDefined, box5.R7[\n Coll[Coll[Byte]]\n ].isDefined\n )\n )\n } else { placeholder[Boolean](5) }) {\n allOf(\n Coll[Boolean](\n box4.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box4.R5[Coll[(Coll[Byte], Int)]].isDefined, box4.R6[Coll[Long]].isDefined, box4.R7[\n Coll[Coll[Byte]]\n ].isDefined, box4.value == SELF.value, box4.tokens.size == placeholder[Int](6)\n )\n )\n } else { placeholder[Boolean](7) }) {(\n val coll7 = opt6.get\n val coll8 = opt1.get\n val l9 = coll7(placeholder[Int](8))\n (\n (\n (coll7(placeholder[Int](9)) == coll8(placeholder[Int](10)) + placeholder[Long](11)) && ((l9 <= HEIGHT.toLong) && (l9 > coll8(placeholder[Int](12))))\n ) && (coll7(placeholder[Int](13)) == coll8(placeholder[Int](14)))\n ) && (SELF.tokens(placeholder[Int](15))._1 == box4.tokens(placeholder[Int](16))._1)\n )} else { placeholder[Boolean](17) }) {\n allOf(\n Coll[Boolean](\n box4.R4[Coll[(Coll[Byte], Coll[Long])]].get == box5.R4[Coll[(Coll[Byte], Coll[Long])]].get, box4.R5[Coll[(Coll[Byte], Int)]].get == box5.R5[\n Coll[(Coll[Byte], Int)]\n ].get, opt6.get == box5.R6[Coll[Long]].get, box4.R7[Coll[Coll[Byte]]].get == box5.R7[Coll[Coll[Byte]]].get\n )\n )\n } else { placeholder[Boolean](18) }\n )\n } else { sigmaProp(placeholder[Boolean](19)) }\n}",
"address": "721jRBm8dr7gdswEJFzioVg8TDbkMpXzobYwVbFaRrjYkC1aS9WRotTN3uX84pMrXSZjPNjWCbGjsHwmU5TsVyEv7aXVkzia6pFej3MNNPxtgi2LZTrNyiYgbV1QEa16Fj6BtWm686HueAdrEZ58bbFCyXLcWQihkexi7MzKHH7joGDfh8GEzJvTavqqiBrAZ7Cws49mRYuKBJ5iX2KrnrK6PhBTuhruSCU8GBQcBDm3tqWokeMtoSe9U1uxJ2TfeedbQZt3BBP4eCveAZfexDaqZ9n7EXLs4jUzhdNFzA44yBnZuNXfsAyDzshjnoWDhbXT8akBkcFy9G2ctV1kr9azpqbbDLRGR6jHgReusnP29tfDtvokjY9ZUvj7cBviYf4EYNGyz7QYt3E1JgvZH6dvsYyrPD5rka68AxwuLbvVVvbYa6PAWvJqRD8wZvWMDYGxVHmzZMLxZvQef7VqBFboLCGyZRsmScLPVQBGB98XzayzJBEfriJnf3sfyax5z4qUfjNsdnNmA7bTfGJzsGQ1cRza85D",
"assets": [
{
"tokenId": "30afb371a30d30f3d1180fbaf51440b9fa259b5d3b65fe2ddc988ab1e2a408e7",
"index": 0,
"amount": 1,
"name": "anetaBTC Smart Pool",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0c3c0e110b240008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d0205ce248084af5fa8b3fc30960100240008cd02fe94b0ad12bc2135e9c6c93fca18043c9907b6bf9a50e9fe3ca6e620815c47010500c09a0c000100240008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d05d0ae0180dac409000400240008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee05ba0780a8d6b907c69ab4130400240008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca0592188084af5ff6b9a5200800240008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a4805fa0680a8d6b907a4c5a6090200240008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d41058a038084af5faa83ad060400240008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c4705d65e80dac409001800240008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf9905fea8028094ebdc03b0eaa28d03960100240008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad05e8d4038084af5f006c00240008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec705ce2480a8d6b907c4b7f8c5055a00",
"sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
"renderedValue": "[[0008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d02,[2343,100000000,51350740,75,0]],[0008cd02fe94b0ad12bc2135e9c6c93fca18043c9907b6bf9a50e9fe3ca6e620815c4701,[0,100000,0,-1,0]],[0008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d,[11176,10000000,0,2,0]],[0008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee,[477,1000000000,20350627,2,0]],[0008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca,[1545,100000000,33861243,4,0]],[0008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a48,[445,1000000000,9752914,1,0]],[0008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d41,[197,100000000,6660309,2,0]],[0008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c47,[6059,10000000,0,12,0]],[0008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf99,[19007,500000000,416570008,75,0]],[0008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad,[30004,100000000,0,54,0]],[0008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec7,[2343,1000000000,744426978,45,0]]]"
},
"R5": {
"serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
"sigmaType": "Coll[(Coll[SByte], SInt)]",
"renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
},
"R6": {
"serializedValue": "1105920196f65ee6fd5d2c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[73,777611,769907,22,0]"
},
"R7": {
"serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
}
}
},
{
"boxId": "db561fea10d82827823cbd10f045150a46a8509188b47c8c72985c847376675f",
"value": 10000000,
"index": 1,
"spendingProof": "9bbc9a2ed68d68b5d534f6099278e03834996e0b54a8a8a8bd843a87a98b573436203e3c36d14dd03b2d73da85d2d2129a32cad73f6ffa67",
"outputBlockId": "109a782640d5398bcae6a5e6b1107d6ccf16adce3d4c72a45c630620993bd4c6",
"outputTransactionId": "74e07afc3ac929c3a36a828daa4a7951281c30f11a1ba8ddc9c13ffd958605ba",
"outputIndex": 22,
"outputGlobalIndex": 18247177,
"outputCreatedAt": 777660,
"outputSettledAt": 777663,
"ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
"address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "0c3c0e110d240008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d020500c09a0c000100240008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d05e8b30180dac409000600240008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee05a20680a8d6b9079afde91b0600240008cd038609fc6bd955e170c2196d03c4aedb720e81257a297d16135d464a7a302a1bc9059e1180dac409000200240008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca05ae168084af5ffcc7ab3e0a00240008cd0272d9ce81dff5fad3c4cbaaeb044592918741e95a9d8aca2a51800b7343ae03b205920d80dac409000200240008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a480500c09a0c000100240008cd0351d4cc217c6ccb05b58bc161a2c36c6418db9d092f5364858d849f7f311ab39c05de7d8084af5f000200240008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d410500c09a0c000100240008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c4705d66280dac409001a00240008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf9905ceb1028094ebdc0300980100240008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad05b6ea038084af5f006e00240008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec705d62380a8d6b9079cbcf0f5055c00",
"sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
"renderedValue": "[[0008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d02,[0,100000,0,-1,0]],[0008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d,[11508,10000000,0,3,0]],[0008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee,[401,1000000000,29179725,3,0]],[0008cd038609fc6bd955e170c2196d03c4aedb720e81257a297d16135d464a7a302a1bc9,[1103,10000000,0,1,0]],[0008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca,[1431,100000000,65368574,5,0]],[0008cd0272d9ce81dff5fad3c4cbaaeb044592918741e95a9d8aca2a51800b7343ae03b2,[841,10000000,0,1,0]],[0008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a48,[0,100000,0,-1,0]],[0008cd0351d4cc217c6ccb05b58bc161a2c36c6418db9d092f5364858d849f7f311ab39c,[8047,100000000,0,1,0]],[0008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d41,[0,100000,0,-1,0]],[0008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c47,[6315,10000000,0,13,0]],[0008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf99,[19559,500000000,0,76,0]],[0008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad,[31387,100000000,0,55,0]],[0008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec7,[2283,1000000000,794693390,46,0]]]"
},
"R5": {
"serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
"sigmaType": "Coll[(Coll[SByte], SInt)]",
"renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
},
"R6": {
"serializedValue": "11059401f8f65ee6fd5d2c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[74,777660,769907,22,0]"
},
"R7": {
"serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
}
}
},
{
"boxId": "69ca0f725d1d6206390ad5c7668beb756a3c8f9b1ef9ee67fbb1c9f850afb1ae",
"value": 10000000,
"index": 2,
"spendingProof": null,
"outputBlockId": "ed3a3f217d5071e8470ce6172ae61e219511ca1a47a9f92e39319a94c724393c",
"outputTransactionId": "71104e15f23812d93dde312f7634ec72d8403210706f57254d585c5ea16359dd",
"outputIndex": 24,
"outputGlobalIndex": 18241761,
"outputCreatedAt": 777586,
"outputSettledAt": 777588,
"ergoTree": "103a04000502050005c801050605050500050205c8010506050504000e2030afb371a30d30f3d1180fbaf51440b9fa259b5d3b65fe2ddc988ab1e2a408e7040205000400040404020500040405c09a0c040004000400040004040402050004040400050004000400040204000404040104040401050001000401040105000100040105000400040104000580897a0100010105000400010104000100d806d601b2a4730000d602c2a7d603b5a4d901036393c272037202d6047301d605d9010559d80bd6078c720501d6088c720502d6099472087302d60a7208d60b957209720a7204d60c997207720bd60d9c720c7303d60e9d720d720bd60f8f720e7304d610d801d61091720e73057210d611ed720f72107211d606d9010659d803d6088c720602d60995947208730672087307d60a9d9c998c720601720973087209ed8f720a730991720a730ad195938cb2db63087201730b0001730cd80ad607e4c6b2a4730d00040c3c0e11d608e4c67201040c3c0e11d60999b07203730ed9010941639a8c7209018cb2db63088c720902730f0002b0b57208d901093c0e11d801d60b8c7209028fb2720b731000b2720b7311007312d90109413c0e119a8c720901b28c8c72090202731300d60aade4c67201050c4c0ed9010a4c0e86028c720a019d9c7e8c720a020572097314d60b8cb2db6308a773150001d60cb5b5a5d9010c6391b1db6308720c7316d9010c63938cb2db6308720c73170001720bd60dad720cd9010d63c2720dd60e7204d60fad720cd9010f638cb2db6308720f73180002d610b0b57207d901103c0e11d801d6128c7210028fb27212731900b27212731a00731bd90110413c0e119a8c721001b28c8c72100202731c00edededaf7207d901113c0e11d807d6138c721101d614dc0c1aad7208d901143c0e118c721401027213731dd6158c721102d616dad90116059d9cb0720a7209d90118414d0e998c7218018c8c721802027216b07207731ed90118413c0e119a8c721801b28c8c72180202731f0001b27215732000d617b27215732100d618dc0c1a720d0272137322d619b27215732300959472147324d801d61a9ab2b2ad7208d9011a3c0e118c721a0272140073250072169592721a7217959472187326d801d61b7205edda721b018602721ab2720f72180093721973277328ed9372187329da7205018602721a721995927216721795947218732aedda72050186027216b2720f721800937219732b732ced937218732dda720501860272167219af720ad901114d0ed801d6138c72110295917213732ed801d614dc0c1a720d028c721101732f959472147330d801d615b2720c721400edda720601860272138cb2db630872157331000293c17215733273337334959172107335ae720cd9011163edda720601860272108cb2db630872117336000293c2721172027337af7203d9011163938cb2db6308721173380001720b7339",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 100\n4: 3\n5: -3\n6: 0\n7: 1\n8: 100\n9: 3\n10: -3\n11: 0\n12: Coll(48,-81,-77,113,-93,13,48,-13,-47,24,15,-70,-11,20,64,-71,-6,37,-101,93,59,101,-2,45,-36,-104,-118,-79,-30,-92,8,-25)\n13: 1\n14: 0\n15: 0\n16: 2\n17: 1\n18: 0\n19: 2\n20: 100000\n21: 0\n22: 0\n23: 0\n24: 0\n25: 2\n26: 1\n27: 0\n28: 2\n29: 0\n30: 0\n31: 0\n32: 0\n33: 1\n34: 0\n35: 2\n36: -1\n37: 2\n38: -1\n39: 0\n40: false\n41: -1\n42: -1\n43: 0\n44: false\n45: -1\n46: 0\n47: 0\n48: -1\n49: 0\n50: 1000000\n51: false\n52: true\n53: 0\n54: 0\n55: true\n56: 0\n57: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = SELF.propositionBytes\n val coll3 = INPUTS.filter({(box3: Box) => box3.propositionBytes == coll2 })\n val l4 = placeholder[Long](1)\n val func5 = {(tuple5: (Long, Long)) =>\n val l7 = tuple5._1\n val l8 = tuple5._2\n val bool9 = l8 != placeholder[Long](2)\n val l10 = l8\n val l11 = if (bool9) { l10 } else { l4 }\n val l12 = l7 - l11\n val l13 = l12 * placeholder[Long](3)\n val l14 = l13 / l11\n val bool15 = l14 < placeholder[Long](4)\n val bool16 = \n val bool16 = l14 > placeholder[Long](5)\n bool16\n \n val bool17 = bool15 && bool16\n bool17\n }\n val func6 = {(tuple6: (Long, Long)) =>\n val l8 = tuple6._2\n val l9 = if (l8 != placeholder[Long](6)) { l8 } else { placeholder[Long](7) }\n val l10 = tuple6._1 - l9 * placeholder[Long](8) / l9\n (l10 < placeholder[Long](9)) && (l10 > placeholder[Long](10))\n }\n sigmaProp(if (box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12)) {(\n val coll7 = INPUTS(placeholder[Int](13)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n val coll8 = box1.R4[Coll[(Coll[Byte], Coll[Long])]].get\n val l9 = coll3.fold(placeholder[Long](14), {(tuple9: (Long, Box)) => tuple9._1 + tuple9._2.tokens(placeholder[Int](15))._2 }) - coll8.filter({(tuple9: (Coll[Byte], Coll[Long])) =>\n val coll11 = tuple9._2\n coll11(placeholder[Int](16)) < coll11(placeholder[Int](17))\n }).fold(placeholder[Long](18), {(tuple9: (Long, (Coll[Byte], Coll[Long]))) => tuple9._1 + tuple9._2._2(placeholder[Int](19)) })\n val coll10 = box1.R5[Coll[(Coll[Byte], Int)]].get.map({(tuple10: (Coll[Byte], Int)) => (tuple10._1, tuple10._2.toLong * l9 / placeholder[Long](20)) })\n val coll11 = SELF.tokens(placeholder[Int](21))._1\n val coll12 = OUTPUTS.filter({(box12: Box) => box12.tokens.size > placeholder[Int](22) }).filter({(box12: Box) => box12.tokens(placeholder[Int](23))._1 == coll11 })\n val coll13 = coll12.map({(box13: Box) => box13.propositionBytes })\n val l14 = l4\n val coll15 = coll12.map({(box15: Box) => box15.tokens(placeholder[Int](24))._2 })\n val l16 = coll7.filter({(tuple16: (Coll[Byte], Coll[Long])) =>\n val coll18 = tuple16._2\n coll18(placeholder[Int](25)) < coll18(placeholder[Int](26))\n }).fold(placeholder[Long](27), {(tuple16: (Long, (Coll[Byte], Coll[Long]))) => tuple16._1 + tuple16._2._2(placeholder[Int](28)) })\n ((coll7.forall({(tuple17: (Coll[Byte], Coll[Long])) =>\n val coll19 = tuple17._1\n val i20 = coll8.map({(tuple20: (Coll[Byte], Coll[Long])) => tuple20._1 }).indexOf(coll19, placeholder[Int](29))\n val coll21 = tuple17._2\n val l22 = {(l22: Long) => coll10.fold(l9, {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 - tuple24._2._2 }) * l22 / coll7.fold(placeholder[Long](30), {(tuple24: (Long, (Coll[Byte], Coll[Long]))) => tuple24._1 + tuple24._2._2(placeholder[Int](31)) }) }(coll21(placeholder[Int](32)))\n val l23 = coll21(placeholder[Int](33))\n val i24 = coll13.indexOf(coll19, placeholder[Int](34))\n val l25 = coll21(placeholder[Int](35))\n if (i20 != placeholder[Int](36)) {(\n val l26 = coll8.map({(tuple26: (Coll[Byte], Coll[Long])) => tuple26._2 })(i20)(placeholder[Int](37)) + l22\n if (l26 >= l23) { if (i24 != placeholder[Int](38)) {(\n val func27 = func5\n func27((l26, coll15(i24))) && (l25 == placeholder[Long](39))\n )} else { placeholder[Boolean](40) } } else { (i24 == placeholder[Int](41)) && func5((l26, l25)) }\n )} else { if (l22 >= l23) { if (i24 != placeholder[Int](42)) { func5((l22, coll15(i24))) && (l25 == placeholder[Long](43)) } else { placeholder[Boolean](44) } } else { (i24 == placeholder[Int](45)) && func5((l22, l25)) } }\n }) && coll10.forall({(tuple17: (Coll[Byte], Long)) =>\n val l19 = tuple17._2\n if (l19 > placeholder[Long](46)) {(\n val i20 = coll13.indexOf(tuple17._1, placeholder[Int](47))\n if (i20 != placeholder[Int](48)) {(\n val box21 = coll12(i20)\n func6((l19, box21.tokens(placeholder[Int](49))._2)) && (box21.value == placeholder[Long](50))\n )} else { placeholder[Boolean](51) }\n )} else { placeholder[Boolean](52) }\n })) && if (l16 > placeholder[Long](53)) { coll12.exists({(box17: Box) => func6((l16, box17.tokens(placeholder[Int](54))._2)) && (box17.propositionBytes == coll2) }) } else { placeholder[Boolean](55) }) && coll3.forall({(box17: Box) => box17.tokens(placeholder[Int](56))._1 == coll11 })\n )} else { placeholder[Boolean](57) })\n}",
"address": "2x459aECGv9N81rY346AEZ7TdZgSEYZAZH99UDp9mii1yFfo9TUHvLeNJoXzfUjXYJP6ESKC2MVRcSZtVmhKVppPMn6857gNEcefko57Pukw1hyAoxmBK9YjT91T3wkBsF9i4BKQxiioho6RnZPFPVHdfwppj1ExTYqgzSedc2YwnFTp5njKtdKUfTAbEjyqDKdKf5YdJfjRar1adtEmJmBgaaZRn5K9BPyt7sNWBEWD5aQWsspHA1D57mFCbwBALU9Ae8YmxfvomJpfX31GHnNfwcBfpU7gMocWb7MbPcdnBYLyLgGJtXXQ2jvtWkEWRR9RzbSvUbM2pZ22QVdmyKC1hNuVf9dNmL5AVPhz3FtbBLKDrGzKjNRnpvnd93DJR4BYGTDhfzQVTHRQ5puSutpkXAgKe2APCe5AfUAUFzUSeHkFw1d1m75pAs3DRonvXP6Cuy4ABSeaXqxceniVvWje3G7E9zRFnjRZCSebGsmn2eHdbi5DHeqbZ8SGgEM5sYHD4ZWca4NWkERcak4jQjiNZSivAjvjTk9fQ5q7W296XU3snSq3uFpDHkx2Y6L4DCC5hfaD4tGYeja7gnKWSXnEbRgp3yxMkuR2YtjneJN1X7gWDkbAjReSXbox6kUGzKcTccDTD17Lk7mQpRjoiN8b1PeqLdMgEyxvuNQ4ADweipFNQUEF5abRBFm1WLxaJUP5VicWZqFKU7uhACYuMcSaxxmmprkVAYPoLUy8XEeqqZijZuNUzvYxeQfn8W2J145tDdqvvqJh6iVmCa7T1ndScdE1fqDjFF5Y1QATM52amD4f7Fgfo4yBsR8s9jQQekBPRgPABEzpAiSiF2QHfXTvUNQBMyWncuQm2423hrqZN4PSaZoYbzEnfgQ7sQLE8BginMZzjtj7mSektGtHtttinBCxJHDf8ND8bDFvoVS94WdQjVLu7Zbpbmou1X6iUN7i7PBPEDSXmeGusH11X9tmAo4unESX9NB1ivr2kFEZjn6beJUDiByL8uj9JgwSHQWvkb2FwGn1Hvsk9GNQcHWZ12HVrsEuY9wzS9hCc4fEeDJ9ALBrURJKN9qksHJL22px2tYS3yL5pXVxGkJmZAFBJAts8z14ji6uCyuyLxmC9dmiwxwpCxJAqBrQWM1CjUYBmxmX3dbCdjHibR7fPdNpfLM9jSZphvar4ufiUCzFBsVsB6CD71T2EbUG7PYn7dMhcJ8SEmfscRveCHu2EumCrRqrtmqP9RwX7myhnvYwP3JAfux5okYSAiCwgSxdDouPJLft9UnY1ZDs5FD826zzMBbaurnAGUJCbjGwhirGq9ZKZteVGp52FFLJmaRfiXnaUQyzXEkJZfUrYZUGi8xeyNSwHpZSqCgcWBrvK5AYWKnAZkgo7wqbtbKMKYhXje4mtg9TNwdbUNMQCuhqRUUVNhK2mKkxNztFbLWtLKCDopEVgVsAy",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 1824717031,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "ae6ee01255c59206c497e1cb4bb6f88ee56769302d30b8b09432333c72618eaf",
"value": 1000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "b387db6385870822af31cc5c8b09a07c61f162493cc6e385b1ba9e38a089efa0",
"outputTransactionId": "a5dbcfef72b867b91435442469d7f3750e5bb3927a85d9a9a3ee10cd94e80824",
"outputIndex": 5,
"outputGlobalIndex": 18244440,
"outputCreatedAt": 777611,
"outputSettledAt": 777617,
"ergoTree": "103a04000502050005c801050605050500050205c8010506050504000e2030afb371a30d30f3d1180fbaf51440b9fa259b5d3b65fe2ddc988ab1e2a408e7040205000400040404020500040405c09a0c040004000400040004040402050004040400050004000400040204000404040104040401050001000401040105000100040105000400040104000580897a0100010105000400010104000100d806d601b2a4730000d602c2a7d603b5a4d901036393c272037202d6047301d605d9010559d80bd6078c720501d6088c720502d6099472087302d60a7208d60b957209720a7204d60c997207720bd60d9c720c7303d60e9d720d720bd60f8f720e7304d610d801d61091720e73057210d611ed720f72107211d606d9010659d803d6088c720602d60995947208730672087307d60a9d9c998c720601720973087209ed8f720a730991720a730ad195938cb2db63087201730b0001730cd80ad607e4c6b2a4730d00040c3c0e11d608e4c67201040c3c0e11d60999b07203730ed9010941639a8c7209018cb2db63088c720902730f0002b0b57208d901093c0e11d801d60b8c7209028fb2720b731000b2720b7311007312d90109413c0e119a8c720901b28c8c72090202731300d60aade4c67201050c4c0ed9010a4c0e86028c720a019d9c7e8c720a020572097314d60b8cb2db6308a773150001d60cb5b5a5d9010c6391b1db6308720c7316d9010c63938cb2db6308720c73170001720bd60dad720cd9010d63c2720dd60e7204d60fad720cd9010f638cb2db6308720f73180002d610b0b57207d901103c0e11d801d6128c7210028fb27212731900b27212731a00731bd90110413c0e119a8c721001b28c8c72100202731c00edededaf7207d901113c0e11d807d6138c721101d614dc0c1aad7208d901143c0e118c721401027213731dd6158c721102d616dad90116059d9cb0720a7209d90118414d0e998c7218018c8c721802027216b07207731ed90118413c0e119a8c721801b28c8c72180202731f0001b27215732000d617b27215732100d618dc0c1a720d0272137322d619b27215732300959472147324d801d61a9ab2b2ad7208d9011a3c0e118c721a0272140073250072169592721a7217959472187326d801d61b7205edda721b018602721ab2720f72180093721973277328ed9372187329da7205018602721a721995927216721795947218732aedda72050186027216b2720f721800937219732b732ced937218732dda720501860272167219af720ad901114d0ed801d6138c72110295917213732ed801d614dc0c1a720d028c721101732f959472147330d801d615b2720c721400edda720601860272138cb2db630872157331000293c17215733273337334959172107335ae720cd9011163edda720601860272108cb2db630872117336000293c2721172027337af7203d9011163938cb2db6308721173380001720b7339",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 100\n4: 3\n5: -3\n6: 0\n7: 1\n8: 100\n9: 3\n10: -3\n11: 0\n12: Coll(48,-81,-77,113,-93,13,48,-13,-47,24,15,-70,-11,20,64,-71,-6,37,-101,93,59,101,-2,45,-36,-104,-118,-79,-30,-92,8,-25)\n13: 1\n14: 0\n15: 0\n16: 2\n17: 1\n18: 0\n19: 2\n20: 100000\n21: 0\n22: 0\n23: 0\n24: 0\n25: 2\n26: 1\n27: 0\n28: 2\n29: 0\n30: 0\n31: 0\n32: 0\n33: 1\n34: 0\n35: 2\n36: -1\n37: 2\n38: -1\n39: 0\n40: false\n41: -1\n42: -1\n43: 0\n44: false\n45: -1\n46: 0\n47: 0\n48: -1\n49: 0\n50: 1000000\n51: false\n52: true\n53: 0\n54: 0\n55: true\n56: 0\n57: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = SELF.propositionBytes\n val coll3 = INPUTS.filter({(box3: Box) => box3.propositionBytes == coll2 })\n val l4 = placeholder[Long](1)\n val func5 = {(tuple5: (Long, Long)) =>\n val l7 = tuple5._1\n val l8 = tuple5._2\n val bool9 = l8 != placeholder[Long](2)\n val l10 = l8\n val l11 = if (bool9) { l10 } else { l4 }\n val l12 = l7 - l11\n val l13 = l12 * placeholder[Long](3)\n val l14 = l13 / l11\n val bool15 = l14 < placeholder[Long](4)\n val bool16 = \n val bool16 = l14 > placeholder[Long](5)\n bool16\n \n val bool17 = bool15 && bool16\n bool17\n }\n val func6 = {(tuple6: (Long, Long)) =>\n val l8 = tuple6._2\n val l9 = if (l8 != placeholder[Long](6)) { l8 } else { placeholder[Long](7) }\n val l10 = tuple6._1 - l9 * placeholder[Long](8) / l9\n (l10 < placeholder[Long](9)) && (l10 > placeholder[Long](10))\n }\n sigmaProp(if (box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12)) {(\n val coll7 = INPUTS(placeholder[Int](13)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n val coll8 = box1.R4[Coll[(Coll[Byte], Coll[Long])]].get\n val l9 = coll3.fold(placeholder[Long](14), {(tuple9: (Long, Box)) => tuple9._1 + tuple9._2.tokens(placeholder[Int](15))._2 }) - coll8.filter({(tuple9: (Coll[Byte], Coll[Long])) =>\n val coll11 = tuple9._2\n coll11(placeholder[Int](16)) < coll11(placeholder[Int](17))\n }).fold(placeholder[Long](18), {(tuple9: (Long, (Coll[Byte], Coll[Long]))) => tuple9._1 + tuple9._2._2(placeholder[Int](19)) })\n val coll10 = box1.R5[Coll[(Coll[Byte], Int)]].get.map({(tuple10: (Coll[Byte], Int)) => (tuple10._1, tuple10._2.toLong * l9 / placeholder[Long](20)) })\n val coll11 = SELF.tokens(placeholder[Int](21))._1\n val coll12 = OUTPUTS.filter({(box12: Box) => box12.tokens.size > placeholder[Int](22) }).filter({(box12: Box) => box12.tokens(placeholder[Int](23))._1 == coll11 })\n val coll13 = coll12.map({(box13: Box) => box13.propositionBytes })\n val l14 = l4\n val coll15 = coll12.map({(box15: Box) => box15.tokens(placeholder[Int](24))._2 })\n val l16 = coll7.filter({(tuple16: (Coll[Byte], Coll[Long])) =>\n val coll18 = tuple16._2\n coll18(placeholder[Int](25)) < coll18(placeholder[Int](26))\n }).fold(placeholder[Long](27), {(tuple16: (Long, (Coll[Byte], Coll[Long]))) => tuple16._1 + tuple16._2._2(placeholder[Int](28)) })\n ((coll7.forall({(tuple17: (Coll[Byte], Coll[Long])) =>\n val coll19 = tuple17._1\n val i20 = coll8.map({(tuple20: (Coll[Byte], Coll[Long])) => tuple20._1 }).indexOf(coll19, placeholder[Int](29))\n val coll21 = tuple17._2\n val l22 = {(l22: Long) => coll10.fold(l9, {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 - tuple24._2._2 }) * l22 / coll7.fold(placeholder[Long](30), {(tuple24: (Long, (Coll[Byte], Coll[Long]))) => tuple24._1 + tuple24._2._2(placeholder[Int](31)) }) }(coll21(placeholder[Int](32)))\n val l23 = coll21(placeholder[Int](33))\n val i24 = coll13.indexOf(coll19, placeholder[Int](34))\n val l25 = coll21(placeholder[Int](35))\n if (i20 != placeholder[Int](36)) {(\n val l26 = coll8.map({(tuple26: (Coll[Byte], Coll[Long])) => tuple26._2 })(i20)(placeholder[Int](37)) + l22\n if (l26 >= l23) { if (i24 != placeholder[Int](38)) {(\n val func27 = func5\n func27((l26, coll15(i24))) && (l25 == placeholder[Long](39))\n )} else { placeholder[Boolean](40) } } else { (i24 == placeholder[Int](41)) && func5((l26, l25)) }\n )} else { if (l22 >= l23) { if (i24 != placeholder[Int](42)) { func5((l22, coll15(i24))) && (l25 == placeholder[Long](43)) } else { placeholder[Boolean](44) } } else { (i24 == placeholder[Int](45)) && func5((l22, l25)) } }\n }) && coll10.forall({(tuple17: (Coll[Byte], Long)) =>\n val l19 = tuple17._2\n if (l19 > placeholder[Long](46)) {(\n val i20 = coll13.indexOf(tuple17._1, placeholder[Int](47))\n if (i20 != placeholder[Int](48)) {(\n val box21 = coll12(i20)\n func6((l19, box21.tokens(placeholder[Int](49))._2)) && (box21.value == placeholder[Long](50))\n )} else { placeholder[Boolean](51) }\n )} else { placeholder[Boolean](52) }\n })) && if (l16 > placeholder[Long](53)) { coll12.exists({(box17: Box) => func6((l16, box17.tokens(placeholder[Int](54))._2)) && (box17.propositionBytes == coll2) }) } else { placeholder[Boolean](55) }) && coll3.forall({(box17: Box) => box17.tokens(placeholder[Int](56))._1 == coll11 })\n )} else { placeholder[Boolean](57) })\n}",
"address": "2x459aECGv9N81rY346AEZ7TdZgSEYZAZH99UDp9mii1yFfo9TUHvLeNJoXzfUjXYJP6ESKC2MVRcSZtVmhKVppPMn6857gNEcefko57Pukw1hyAoxmBK9YjT91T3wkBsF9i4BKQxiioho6RnZPFPVHdfwppj1ExTYqgzSedc2YwnFTp5njKtdKUfTAbEjyqDKdKf5YdJfjRar1adtEmJmBgaaZRn5K9BPyt7sNWBEWD5aQWsspHA1D57mFCbwBALU9Ae8YmxfvomJpfX31GHnNfwcBfpU7gMocWb7MbPcdnBYLyLgGJtXXQ2jvtWkEWRR9RzbSvUbM2pZ22QVdmyKC1hNuVf9dNmL5AVPhz3FtbBLKDrGzKjNRnpvnd93DJR4BYGTDhfzQVTHRQ5puSutpkXAgKe2APCe5AfUAUFzUSeHkFw1d1m75pAs3DRonvXP6Cuy4ABSeaXqxceniVvWje3G7E9zRFnjRZCSebGsmn2eHdbi5DHeqbZ8SGgEM5sYHD4ZWca4NWkERcak4jQjiNZSivAjvjTk9fQ5q7W296XU3snSq3uFpDHkx2Y6L4DCC5hfaD4tGYeja7gnKWSXnEbRgp3yxMkuR2YtjneJN1X7gWDkbAjReSXbox6kUGzKcTccDTD17Lk7mQpRjoiN8b1PeqLdMgEyxvuNQ4ADweipFNQUEF5abRBFm1WLxaJUP5VicWZqFKU7uhACYuMcSaxxmmprkVAYPoLUy8XEeqqZijZuNUzvYxeQfn8W2J145tDdqvvqJh6iVmCa7T1ndScdE1fqDjFF5Y1QATM52amD4f7Fgfo4yBsR8s9jQQekBPRgPABEzpAiSiF2QHfXTvUNQBMyWncuQm2423hrqZN4PSaZoYbzEnfgQ7sQLE8BginMZzjtj7mSektGtHtttinBCxJHDf8ND8bDFvoVS94WdQjVLu7Zbpbmou1X6iUN7i7PBPEDSXmeGusH11X9tmAo4unESX9NB1ivr2kFEZjn6beJUDiByL8uj9JgwSHQWvkb2FwGn1Hvsk9GNQcHWZ12HVrsEuY9wzS9hCc4fEeDJ9ALBrURJKN9qksHJL22px2tYS3yL5pXVxGkJmZAFBJAts8z14ji6uCyuyLxmC9dmiwxwpCxJAqBrQWM1CjUYBmxmX3dbCdjHibR7fPdNpfLM9jSZphvar4ufiUCzFBsVsB6CD71T2EbUG7PYn7dMhcJ8SEmfscRveCHu2EumCrRqrtmqP9RwX7myhnvYwP3JAfux5okYSAiCwgSxdDouPJLft9UnY1ZDs5FD826zzMBbaurnAGUJCbjGwhirGq9ZKZteVGp52FFLJmaRfiXnaUQyzXEkJZfUrYZUGi8xeyNSwHpZSqCgcWBrvK5AYWKnAZkgo7wqbtbKMKYhXje4mtg9TNwdbUNMQCuhqRUUVNhK2mKkxNztFbLWtLKCDopEVgVsAy",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 1282972819,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "03b158fc8e934ca7acef53708b1c554da0477b1f613f25da2f51567f93e6358f",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 0,
"globalIndex": 18251416,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "101404000400040204020100010004020100040204000400050204020404040404000400010001000101d806d601c6a70611d602c6a7071ad60396830501e6c6a7040c3c0e11e6c6a7050c4c0ee67201e6720293b2a4730000a7d604b2a5730100d605b2a4730200d606c672040611957203d1959595ed93c27204c2a795957203aee47202d901070e937207c2b2a4730300730496830401e6c67205040c3c0e11e6c67205050c4c0ee6c672050611e6c67205071a730596830601e6c67204040c3c0e11e6c67204050c4c0ee6c672040611e6c67204071a93c17204c1a793b1db6308720473067307d803d607e47206d608e47201d609b27207730800ededed93b272077309009ab27208730a00730bed9072097ea305917209b27208730c0093b27207730d00b27208730e00938cb2db6308a7730f00018cb2db630872047310000173119683040193e4c67204040c3c0e11e4c67205040c3c0e1193e4c67204050c4c0ee4c67205050c4c0e93e47206e4c67205061193e4c67204071ae4c67205071a7312d17313",
"ergoTreeConstants": "0: 0\n1: 0\n2: 1\n3: 1\n4: false\n5: false\n6: 1\n7: false\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 2\n14: 2\n15: 0\n16: 0\n17: false\n18: false\n19: true",
"ergoTreeScript": "{\n val opt1 = SELF.R6[Coll[Long]]\n val opt2 = SELF.R7[Coll[Coll[Byte]]]\n val bool3 = allOf(\n Coll[Boolean](\n SELF.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, SELF.R5[Coll[(Coll[Byte], Int)]].isDefined, opt1.isDefined, opt2.isDefined, INPUTS(\n placeholder[Int](0)\n ) == SELF\n )\n )\n val box4 = OUTPUTS(placeholder[Int](1))\n val box5 = INPUTS(placeholder[Int](2))\n val opt6 = box4.R6[Coll[Long]]\n if (bool3) {\n sigmaProp(\n if (if (if ((box4.propositionBytes == SELF.propositionBytes) && if (if (bool3) {\n opt2.get.exists({(coll7: Coll[Byte]) => coll7 == INPUTS(placeholder[Int](3)).propositionBytes })\n } else { placeholder[Boolean](4) }) {\n allOf(\n Coll[Boolean](\n box5.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box5.R5[Coll[(Coll[Byte], Int)]].isDefined, box5.R6[Coll[Long]].isDefined, box5.R7[\n Coll[Coll[Byte]]\n ].isDefined\n )\n )\n } else { placeholder[Boolean](5) }) {\n allOf(\n Coll[Boolean](\n box4.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box4.R5[Coll[(Coll[Byte], Int)]].isDefined, box4.R6[Coll[Long]].isDefined, box4.R7[\n Coll[Coll[Byte]]\n ].isDefined, box4.value == SELF.value, box4.tokens.size == placeholder[Int](6)\n )\n )\n } else { placeholder[Boolean](7) }) {(\n val coll7 = opt6.get\n val coll8 = opt1.get\n val l9 = coll7(placeholder[Int](8))\n (\n (\n (coll7(placeholder[Int](9)) == coll8(placeholder[Int](10)) + placeholder[Long](11)) && ((l9 <= HEIGHT.toLong) && (l9 > coll8(placeholder[Int](12))))\n ) && (coll7(placeholder[Int](13)) == coll8(placeholder[Int](14)))\n ) && (SELF.tokens(placeholder[Int](15))._1 == box4.tokens(placeholder[Int](16))._1)\n )} else { placeholder[Boolean](17) }) {\n allOf(\n Coll[Boolean](\n box4.R4[Coll[(Coll[Byte], Coll[Long])]].get == box5.R4[Coll[(Coll[Byte], Coll[Long])]].get, box4.R5[Coll[(Coll[Byte], Int)]].get == box5.R5[\n Coll[(Coll[Byte], Int)]\n ].get, opt6.get == box5.R6[Coll[Long]].get, box4.R7[Coll[Coll[Byte]]].get == box5.R7[Coll[Coll[Byte]]].get\n )\n )\n } else { placeholder[Boolean](18) }\n )\n } else { sigmaProp(placeholder[Boolean](19)) }\n}",
"address": "721jRBm8dr7gdswEJFzioVg8TDbkMpXzobYwVbFaRrjYkC1aS9WRotTN3uX84pMrXSZjPNjWCbGjsHwmU5TsVyEv7aXVkzia6pFej3MNNPxtgi2LZTrNyiYgbV1QEa16Fj6BtWm686HueAdrEZ58bbFCyXLcWQihkexi7MzKHH7joGDfh8GEzJvTavqqiBrAZ7Cws49mRYuKBJ5iX2KrnrK6PhBTuhruSCU8GBQcBDm3tqWokeMtoSe9U1uxJ2TfeedbQZt3BBP4eCveAZfexDaqZ9n7EXLs4jUzhdNFzA44yBnZuNXfsAyDzshjnoWDhbXT8akBkcFy9G2ctV1kr9azpqbbDLRGR6jHgReusnP29tfDtvokjY9ZUvj7cBviYf4EYNGyz7QYt3E1JgvZH6dvsYyrPD5rka68AxwuLbvVVvbYa6PAWvJqRD8wZvWMDYGxVHmzZMLxZvQef7VqBFboLCGyZRsmScLPVQBGB98XzayzJBEfriJnf3sfyax5z4qUfjNsdnNmA7bTfGJzsGQ1cRza85D",
"assets": [
{
"tokenId": "30afb371a30d30f3d1180fbaf51440b9fa259b5d3b65fe2ddc988ab1e2a408e7",
"index": 0,
"amount": 1,
"name": "anetaBTC Smart Pool",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0c3c0e110d240008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d020500c09a0c000100240008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d05e8b30180dac409000600240008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee05a20680a8d6b9079afde91b0600240008cd038609fc6bd955e170c2196d03c4aedb720e81257a297d16135d464a7a302a1bc9059e1180dac409000200240008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca05ae168084af5ffcc7ab3e0a00240008cd0272d9ce81dff5fad3c4cbaaeb044592918741e95a9d8aca2a51800b7343ae03b205920d80dac409000200240008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a480500c09a0c000100240008cd0351d4cc217c6ccb05b58bc161a2c36c6418db9d092f5364858d849f7f311ab39c05de7d8084af5f000200240008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d410500c09a0c000100240008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c4705d66280dac409001a00240008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf9905ceb1028094ebdc0300980100240008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad05b6ea038084af5f006e00240008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec705d62380a8d6b9079cbcf0f5055c00",
"sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
"renderedValue": "[[0008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d02,[0,100000,0,-1,0]],[0008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d,[11508,10000000,0,3,0]],[0008cd03f2480d74cda282d15e58c630f1329f93626d447e82e6c00970dd43f387bec8ee,[401,1000000000,29179725,3,0]],[0008cd038609fc6bd955e170c2196d03c4aedb720e81257a297d16135d464a7a302a1bc9,[1103,10000000,0,1,0]],[0008cd0278e8dafc23abb76486fc3261a077456deb42878aa0f4e5dd3ef4ba63c68abaca,[1431,100000000,65368574,5,0]],[0008cd0272d9ce81dff5fad3c4cbaaeb044592918741e95a9d8aca2a51800b7343ae03b2,[841,10000000,0,1,0]],[0008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a48,[0,100000,0,-1,0]],[0008cd0351d4cc217c6ccb05b58bc161a2c36c6418db9d092f5364858d849f7f311ab39c,[8047,100000000,0,1,0]],[0008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d41,[0,100000,0,-1,0]],[0008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c47,[6315,10000000,0,13,0]],[0008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf99,[19559,500000000,0,76,0]],[0008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad,[31387,100000000,0,55,0]],[0008cd0228595f49f4781c359f5293a9c09cf00e2951ffb869427773e41b849315a36ec7,[2283,1000000000,794693390,46,0]]]"
},
"R5": {
"serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
"sigmaType": "Coll[(Coll[SByte], SInt)]",
"renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
},
"R6": {
"serializedValue": "11059401f8f65ee6fd5d2c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[74,777660,769907,22,0]"
},
"R7": {
"serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
}
},
"spentTransactionId": "3ddcd610c480c8880af54fa7164edd5acf96723769480ad6d156461ab6f7e056",
"mainChain": true
},
{
"boxId": "3a07138fcb31bcfb67205fc5796595b07716440f8d6063f60ffc9d95abbbdcae",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 1,
"globalIndex": 18251417,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd0300715f32e4e2230feddb1cffbb37cfa4b31c05f09876338838d9d4b0a5a67c47",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(715f32,f789ee,...)))}",
"address": "9gU11Ac9YfrZ9YUwfCyh8cqK4jpQJbCpWzBd5FvvfhJ48MWpm3M",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 139041786,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "84268327cbf0a6cbf572e59827e12a0183e2cfcea53ff6cd253560027a231b02",
"mainChain": true
},
{
"boxId": "1aa1991a3109e7453acf65c57477d5646c61c7a5aa8cbd25cf376a4a17530e90",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 2,
"globalIndex": 18251418,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd02cff1ae43eb39c8c59dbf1f0419f20cb6b4842fcf586655011d567cb84b84b7ad",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(cff1ae,73b21b,...)))}",
"address": "9g6eAeKeT1pMEYuxsqRCviYfvcytZ2ULJmDdFtthciHrw8zVroZ",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 691069602,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "57352d2a548f58b0d2114bb538484556678e94352defb7eff9463abc269d1ae1",
"mainChain": true
},
{
"boxId": "4978fba882bc48bffcc36f25a530d5e009abe8cf0e3614423d0791808c9a73ee",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 3,
"globalIndex": 18251419,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd02b84815150a4ce16ddaf12f1394280c733ee2d0d8970c7f77e1e5b59a07b51a48",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b84815,da71fd,...)))}",
"address": "9fvDju6ki6AMrtUDwgasSQa8vTWt6qEsLaztJa5jxJozcXLtFZR",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 9752914,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "609e870ef8f44075b85d7092d4e0642926c41800c9a7102d404fe6582e84456a",
"mainChain": true
},
{
"boxId": "96d84f336629321720cb65ac364c6c1f96474d8143630dcac552fc7423af2d48",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 4,
"globalIndex": 18251420,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd0351d4cc217c6ccb05b58bc161a2c36c6418db9d092f5364858d849f7f311ab39c",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(51d4cc,ac3335,...)))}",
"address": "9h5qxfoicUZWv2Uwy8oFrHFiLyg71fYBbtUb5w1TmPHWRf7gjfP",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 177176445,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "29ee6d33f132c4ec661bde8a8578c283e21800c1f61d8b27fe88b4fcab658cca",
"mainChain": true
},
{
"boxId": "f1693201aee05fb9bdf5206f0ada2b0301f11d402b8b47e652bdf79a23c5c216",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 5,
"globalIndex": 18251421,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd02d6cf5437e366debbbd929c107771c8f9445bfbbe1fd475ba19ff8ea248d5278d",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(d6cf54,cf24fe,...)))}",
"address": "9g9fYZtBJwXTGgPvpCG9JjDsxvJRevrUBQitEE7UUHZR3BBKCQt",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 253379710,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "671ac9f8a153cfd8740b92389563c6ea66083c20f350684e0b0546a8a52877b4",
"mainChain": true
},
{
"boxId": "62ea072c89d86df3eb42cdc30c52ed744d7022d24b8164cde9d9c8054fc2f141",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 6,
"globalIndex": 18251422,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd0272d9ce81dff5fad3c4cbaaeb044592918741e95a9d8aca2a51800b7343ae03b2",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(72d9ce,83d0be,...)))}",
"address": "9fPeDzKPDuyrJxq2Mf8yHrZ3jGo4FQKA5zNPjeeomt7YWY2PJvz",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 18516887,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "04cdae6950e92fbbce0067907cafc996e44031bbd1b65f4595c254fa7769e4e6",
"mainChain": true
},
{
"boxId": "09e2ba84afc02593fb1c59b3770883b36be1b78174870ae7f5cfd7548dd4443c",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 7,
"globalIndex": 18251423,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd038609fc6bd955e170c2196d03c4aedb720e81257a297d16135d464a7a302a1bc9",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(8609fc,9337d9,...)))}",
"address": "9hUqYA4kVuNrBSUiW6Ctby6vxLSiF2DfALs4UFHF3g7mdc9bgGN",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 24285524,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "be7b2d656bc45d2e2f4c8083b78343ee90cd1959a7d3b1760f2c73e636500d51",
"mainChain": true
},
{
"boxId": "01a61ba05da79ee5dd480c6c7715b82968963e90ea148382e48ad94066d681e0",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 8,
"globalIndex": 18251424,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd03480dbff1afffe7504509749bcaa669820a6cc072002df0e3b7365e03f1b61d02",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(480dbf,29440e,...)))}",
"address": "9h1YCwmxXNwyzYhKxiWuC3zsPv2jtQGDvWF4qYMKEPKhLcGBigX",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 51350740,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "0cd9f7a4616b929c3d27c1a60a844b26897954ccc2da863575f07826f2e41926",
"mainChain": true
},
{
"boxId": "7b42f1034742ef15317e356d9eb66fff9f039ac554581c2f9770b0944e00bb56",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 9,
"globalIndex": 18251425,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd025fe0edaf7b8bc246136d2dceeff9fac2a7d2ebe411f0f00eb495054f83868d41",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(5fe0ed,9857a1,...)))}",
"address": "9fFHc6NxXNNp886bWML2rXJkpjENkwewJNb4poexKUhnCM3jyHC",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 6660309,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "dea24009e229b4b0471c7182c7c7d26d8ada966c88c6ed3e6c9cf5e7ced3be7f",
"mainChain": true
},
{
"boxId": "30e79a9be896ec8ffc965bce6f62b40bcbfd738bf1ea9bb6bc5f3c9dbfc66a1a",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 10,
"globalIndex": 18251426,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd02f0cd45e641c0b3b4c1867b7c0e3904ec05efaf67e3976178bbfe0c0f629daf99",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(f0cd45,704968,...)))}",
"address": "9gM7UWHDLoKrMghJ2pNmuvvBCiPyCfMQyUYxiLPDQnyGsePzXa4",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 847214235,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "ae1537f11882011c42714aa3cc672b6f71b4bd264ac4493e71a727079b7b37b0",
"mainChain": true
},
{
"boxId": "f66e2b60e9c8077461fd7c168ac739ac493b479098abb85fc895240b84042693",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 1000000,
"index": 11,
"globalIndex": 18251427,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "103a04000502050005c801050605050500050205c8010506050504000e2030afb371a30d30f3d1180fbaf51440b9fa259b5d3b65fe2ddc988ab1e2a408e7040205000400040404020500040405c09a0c040004000400040004040402050004040400050004000400040204000404040104040401050001000401040105000100040105000400040104000580897a0100010105000400010104000100d806d601b2a4730000d602c2a7d603b5a4d901036393c272037202d6047301d605d9010559d80bd6078c720501d6088c720502d6099472087302d60a7208d60b957209720a7204d60c997207720bd60d9c720c7303d60e9d720d720bd60f8f720e7304d610d801d61091720e73057210d611ed720f72107211d606d9010659d803d6088c720602d60995947208730672087307d60a9d9c998c720601720973087209ed8f720a730991720a730ad195938cb2db63087201730b0001730cd80ad607e4c6b2a4730d00040c3c0e11d608e4c67201040c3c0e11d60999b07203730ed9010941639a8c7209018cb2db63088c720902730f0002b0b57208d901093c0e11d801d60b8c7209028fb2720b731000b2720b7311007312d90109413c0e119a8c720901b28c8c72090202731300d60aade4c67201050c4c0ed9010a4c0e86028c720a019d9c7e8c720a020572097314d60b8cb2db6308a773150001d60cb5b5a5d9010c6391b1db6308720c7316d9010c63938cb2db6308720c73170001720bd60dad720cd9010d63c2720dd60e7204d60fad720cd9010f638cb2db6308720f73180002d610b0b57207d901103c0e11d801d6128c7210028fb27212731900b27212731a00731bd90110413c0e119a8c721001b28c8c72100202731c00edededaf7207d901113c0e11d807d6138c721101d614dc0c1aad7208d901143c0e118c721401027213731dd6158c721102d616dad90116059d9cb0720a7209d90118414d0e998c7218018c8c721802027216b07207731ed90118413c0e119a8c721801b28c8c72180202731f0001b27215732000d617b27215732100d618dc0c1a720d0272137322d619b27215732300959472147324d801d61a9ab2b2ad7208d9011a3c0e118c721a0272140073250072169592721a7217959472187326d801d61b7205edda721b018602721ab2720f72180093721973277328ed9372187329da7205018602721a721995927216721795947218732aedda72050186027216b2720f721800937219732b732ced937218732dda720501860272167219af720ad901114d0ed801d6138c72110295917213732ed801d614dc0c1a720d028c721101732f959472147330d801d615b2720c721400edda720601860272138cb2db630872157331000293c17215733273337334959172107335ae720cd9011163edda720601860272108cb2db630872117336000293c2721172027337af7203d9011163938cb2db6308721173380001720b7339",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 100\n4: 3\n5: -3\n6: 0\n7: 1\n8: 100\n9: 3\n10: -3\n11: 0\n12: Coll(48,-81,-77,113,-93,13,48,-13,-47,24,15,-70,-11,20,64,-71,-6,37,-101,93,59,101,-2,45,-36,-104,-118,-79,-30,-92,8,-25)\n13: 1\n14: 0\n15: 0\n16: 2\n17: 1\n18: 0\n19: 2\n20: 100000\n21: 0\n22: 0\n23: 0\n24: 0\n25: 2\n26: 1\n27: 0\n28: 2\n29: 0\n30: 0\n31: 0\n32: 0\n33: 1\n34: 0\n35: 2\n36: -1\n37: 2\n38: -1\n39: 0\n40: false\n41: -1\n42: -1\n43: 0\n44: false\n45: -1\n46: 0\n47: 0\n48: -1\n49: 0\n50: 1000000\n51: false\n52: true\n53: 0\n54: 0\n55: true\n56: 0\n57: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = SELF.propositionBytes\n val coll3 = INPUTS.filter({(box3: Box) => box3.propositionBytes == coll2 })\n val l4 = placeholder[Long](1)\n val func5 = {(tuple5: (Long, Long)) =>\n val l7 = tuple5._1\n val l8 = tuple5._2\n val bool9 = l8 != placeholder[Long](2)\n val l10 = l8\n val l11 = if (bool9) { l10 } else { l4 }\n val l12 = l7 - l11\n val l13 = l12 * placeholder[Long](3)\n val l14 = l13 / l11\n val bool15 = l14 < placeholder[Long](4)\n val bool16 = \n val bool16 = l14 > placeholder[Long](5)\n bool16\n \n val bool17 = bool15 && bool16\n bool17\n }\n val func6 = {(tuple6: (Long, Long)) =>\n val l8 = tuple6._2\n val l9 = if (l8 != placeholder[Long](6)) { l8 } else { placeholder[Long](7) }\n val l10 = tuple6._1 - l9 * placeholder[Long](8) / l9\n (l10 < placeholder[Long](9)) && (l10 > placeholder[Long](10))\n }\n sigmaProp(if (box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12)) {(\n val coll7 = INPUTS(placeholder[Int](13)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n val coll8 = box1.R4[Coll[(Coll[Byte], Coll[Long])]].get\n val l9 = coll3.fold(placeholder[Long](14), {(tuple9: (Long, Box)) => tuple9._1 + tuple9._2.tokens(placeholder[Int](15))._2 }) - coll8.filter({(tuple9: (Coll[Byte], Coll[Long])) =>\n val coll11 = tuple9._2\n coll11(placeholder[Int](16)) < coll11(placeholder[Int](17))\n }).fold(placeholder[Long](18), {(tuple9: (Long, (Coll[Byte], Coll[Long]))) => tuple9._1 + tuple9._2._2(placeholder[Int](19)) })\n val coll10 = box1.R5[Coll[(Coll[Byte], Int)]].get.map({(tuple10: (Coll[Byte], Int)) => (tuple10._1, tuple10._2.toLong * l9 / placeholder[Long](20)) })\n val coll11 = SELF.tokens(placeholder[Int](21))._1\n val coll12 = OUTPUTS.filter({(box12: Box) => box12.tokens.size > placeholder[Int](22) }).filter({(box12: Box) => box12.tokens(placeholder[Int](23))._1 == coll11 })\n val coll13 = coll12.map({(box13: Box) => box13.propositionBytes })\n val l14 = l4\n val coll15 = coll12.map({(box15: Box) => box15.tokens(placeholder[Int](24))._2 })\n val l16 = coll7.filter({(tuple16: (Coll[Byte], Coll[Long])) =>\n val coll18 = tuple16._2\n coll18(placeholder[Int](25)) < coll18(placeholder[Int](26))\n }).fold(placeholder[Long](27), {(tuple16: (Long, (Coll[Byte], Coll[Long]))) => tuple16._1 + tuple16._2._2(placeholder[Int](28)) })\n ((coll7.forall({(tuple17: (Coll[Byte], Coll[Long])) =>\n val coll19 = tuple17._1\n val i20 = coll8.map({(tuple20: (Coll[Byte], Coll[Long])) => tuple20._1 }).indexOf(coll19, placeholder[Int](29))\n val coll21 = tuple17._2\n val l22 = {(l22: Long) => coll10.fold(l9, {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 - tuple24._2._2 }) * l22 / coll7.fold(placeholder[Long](30), {(tuple24: (Long, (Coll[Byte], Coll[Long]))) => tuple24._1 + tuple24._2._2(placeholder[Int](31)) }) }(coll21(placeholder[Int](32)))\n val l23 = coll21(placeholder[Int](33))\n val i24 = coll13.indexOf(coll19, placeholder[Int](34))\n val l25 = coll21(placeholder[Int](35))\n if (i20 != placeholder[Int](36)) {(\n val l26 = coll8.map({(tuple26: (Coll[Byte], Coll[Long])) => tuple26._2 })(i20)(placeholder[Int](37)) + l22\n if (l26 >= l23) { if (i24 != placeholder[Int](38)) {(\n val func27 = func5\n func27((l26, coll15(i24))) && (l25 == placeholder[Long](39))\n )} else { placeholder[Boolean](40) } } else { (i24 == placeholder[Int](41)) && func5((l26, l25)) }\n )} else { if (l22 >= l23) { if (i24 != placeholder[Int](42)) { func5((l22, coll15(i24))) && (l25 == placeholder[Long](43)) } else { placeholder[Boolean](44) } } else { (i24 == placeholder[Int](45)) && func5((l22, l25)) } }\n }) && coll10.forall({(tuple17: (Coll[Byte], Long)) =>\n val l19 = tuple17._2\n if (l19 > placeholder[Long](46)) {(\n val i20 = coll13.indexOf(tuple17._1, placeholder[Int](47))\n if (i20 != placeholder[Int](48)) {(\n val box21 = coll12(i20)\n func6((l19, box21.tokens(placeholder[Int](49))._2)) && (box21.value == placeholder[Long](50))\n )} else { placeholder[Boolean](51) }\n )} else { placeholder[Boolean](52) }\n })) && if (l16 > placeholder[Long](53)) { coll12.exists({(box17: Box) => func6((l16, box17.tokens(placeholder[Int](54))._2)) && (box17.propositionBytes == coll2) }) } else { placeholder[Boolean](55) }) && coll3.forall({(box17: Box) => box17.tokens(placeholder[Int](56))._1 == coll11 })\n )} else { placeholder[Boolean](57) })\n}",
"address": "2x459aECGv9N81rY346AEZ7TdZgSEYZAZH99UDp9mii1yFfo9TUHvLeNJoXzfUjXYJP6ESKC2MVRcSZtVmhKVppPMn6857gNEcefko57Pukw1hyAoxmBK9YjT91T3wkBsF9i4BKQxiioho6RnZPFPVHdfwppj1ExTYqgzSedc2YwnFTp5njKtdKUfTAbEjyqDKdKf5YdJfjRar1adtEmJmBgaaZRn5K9BPyt7sNWBEWD5aQWsspHA1D57mFCbwBALU9Ae8YmxfvomJpfX31GHnNfwcBfpU7gMocWb7MbPcdnBYLyLgGJtXXQ2jvtWkEWRR9RzbSvUbM2pZ22QVdmyKC1hNuVf9dNmL5AVPhz3FtbBLKDrGzKjNRnpvnd93DJR4BYGTDhfzQVTHRQ5puSutpkXAgKe2APCe5AfUAUFzUSeHkFw1d1m75pAs3DRonvXP6Cuy4ABSeaXqxceniVvWje3G7E9zRFnjRZCSebGsmn2eHdbi5DHeqbZ8SGgEM5sYHD4ZWca4NWkERcak4jQjiNZSivAjvjTk9fQ5q7W296XU3snSq3uFpDHkx2Y6L4DCC5hfaD4tGYeja7gnKWSXnEbRgp3yxMkuR2YtjneJN1X7gWDkbAjReSXbox6kUGzKcTccDTD17Lk7mQpRjoiN8b1PeqLdMgEyxvuNQ4ADweipFNQUEF5abRBFm1WLxaJUP5VicWZqFKU7uhACYuMcSaxxmmprkVAYPoLUy8XEeqqZijZuNUzvYxeQfn8W2J145tDdqvvqJh6iVmCa7T1ndScdE1fqDjFF5Y1QATM52amD4f7Fgfo4yBsR8s9jQQekBPRgPABEzpAiSiF2QHfXTvUNQBMyWncuQm2423hrqZN4PSaZoYbzEnfgQ7sQLE8BginMZzjtj7mSektGtHtttinBCxJHDf8ND8bDFvoVS94WdQjVLu7Zbpbmou1X6iUN7i7PBPEDSXmeGusH11X9tmAo4unESX9NB1ivr2kFEZjn6beJUDiByL8uj9JgwSHQWvkb2FwGn1Hvsk9GNQcHWZ12HVrsEuY9wzS9hCc4fEeDJ9ALBrURJKN9qksHJL22px2tYS3yL5pXVxGkJmZAFBJAts8z14ji6uCyuyLxmC9dmiwxwpCxJAqBrQWM1CjUYBmxmX3dbCdjHibR7fPdNpfLM9jSZphvar4ufiUCzFBsVsB6CD71T2EbUG7PYn7dMhcJ8SEmfscRveCHu2EumCrRqrtmqP9RwX7myhnvYwP3JAfux5okYSAiCwgSxdDouPJLft9UnY1ZDs5FD826zzMBbaurnAGUJCbjGwhirGq9ZKZteVGp52FFLJmaRfiXnaUQyzXEkJZfUrYZUGi8xeyNSwHpZSqCgcWBrvK5AYWKnAZkgo7wqbtbKMKYhXje4mtg9TNwdbUNMQCuhqRUUVNhK2mKkxNztFbLWtLKCDopEVgVsAy",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 889241689,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "3ddcd610c480c8880af54fa7164edd5acf96723769480ad6d156461ab6f7e056",
"mainChain": true
},
{
"boxId": "5d51a17ba7268cf07d66cf23cb81f8f9b9d0ef4e9a9724622a13130931ce7c37",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 5000000,
"index": 12,
"globalIndex": 18251428,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "1005040004000e36100204a00b08cd0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798ea02d192a39a8cc7a701730073011001020402d19683030193a38cc7b2a57300000193c2b2a57301007473027303830108cdeeac93b1a57304",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(16,2,4,-96,11,8,-51,2,121,-66,102,126,-7,-36,-69,-84,85,-96,98,-107,-50,-121,11,7,2,-101,-4,-37,45,-50,40,-39,89,-14,-127,91,22,-8,23,-104,-22,2,-47,-110,-93,-102,-116,-57,-89,1,115,0,115,1)\n3: Coll(1)\n4: 1",
"ergoTreeScript": "{sigmaProp(\n allOf(\n Coll[Boolean](\n HEIGHT == OUTPUTS(placeholder[Int](0)).creationInfo._1, OUTPUTS(placeholder[Int](1)).propositionBytes == substConstants(\n placeholder[Coll[Byte]](2), placeholder[Coll[Int]](3), Coll[SigmaProp](proveDlog(decodePoint(minerPubKey)))\n ), OUTPUTS.size == placeholder[Int](4)\n )\n )\n)}",
"address": "2iHkR7CWvD1R4j1yZg5bkeDRQavjAaVPeTDFGGLZduHyfWMuYpmhHocX8GJoaieTx78FntzJbCBVL6rf96ocJoZdmWBL2fci7NqWgAirppPQmZ7fN9V6z13Ay6brPriBKYqLp1bT2Fk4FkFLCfdPpe",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "0fb957307dc0518185b2a578bb7159d74f3f7cdc18744279513466bfdfeeef1f",
"mainChain": true
},
{
"boxId": "db266375394eb459190d8523f8e977bce2ac73bf5b51af80e184758d7e662fe0",
"transactionId": "86f5af5188e6ffd2cacacd729cfb4a05eac452be36d92b65a7decd66b5d65be4",
"blockId": "d24de483c66dd08827f60f9cdf0e962b4e11679b531e3cd52f219262db6aab50",
"value": 5000000,
"index": 13,
"globalIndex": 18251429,
"creationHeight": 777660,
"settlementHeight": 777690,
"ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
"address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
"assets": [
{
"tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
"index": 0,
"amount": 9,
"name": "NETA",
"decimals": 6,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "8ec158761bd921d0fb145e2b4a3d1fe74fb62555fe18d3698d0537220ccfa9df",
"mainChain": true
}
],
"size": 3115,
"isUnconfirmed": false
}