Ad
Inputs (4)
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.007 ERG
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
2,452.50
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
1,085.76
Outputs (14)
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
44.67
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
1,025.62
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
215.56
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
21.15
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
37.91
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
495.07
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
535.39
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
36.90
Settlement height:
Value:
0.001 ERG
Tokens:
1
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
266.53
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
858.27
Spent in transaction:
Settlement height:
Value:
0.002 ERG
Spent in transaction:
Settlement height:
Value:
0.005 ERG
Tokens:
0
Transaction Details
Status: Confirmed
Size: 2.95 KB
Received time: 8/29/2022 05:05:53 AM
Included in blocks: 826,450
Confirmations: 937,148
Total coins transferred: 0.019 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000663 ERG
Raw Transaction Data
{
  "id": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
  "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
  "inclusionHeight": 826450,
  "timestamp": 1661749553952,
  "index": 3,
  "globalIndex": 3862097,
  "numConfirmations": 937148,
  "inputs": [
    {
      "boxId": "4d7b68e8553da2301652d4eee02f3e887cf3ea30b0f9f95250f3a1790d003217",
      "value": 1000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "34594f87821c0029c901360854557cd4f11be3130bf2145f26447b3c0e6e9b5c",
      "outputTransactionId": "3cad66f5515bc9553a4046aa55c63c006cf30ff6411c33d95bca68dc08d65891",
      "outputIndex": 0,
      "outputGlobalIndex": 20820132,
      "outputCreatedAt": 826434,
      "outputSettledAt": 826438,
      "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": "0c3c0e110a240008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c505ee8c0180a8d6b907c0a8c58504840500240008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e488050080dac40980f690010000240008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab2705ec7e80dac409007c00240008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef005faf4018094ebdc03ecdadabd030e00240008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af23220588278084af5f80eb89474600240008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca05960d80dac409002c00240008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b05bc8b0280dac409001400240008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c05f4910480dac409000400240008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b05982d80dac409000200240008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d90905c60e80dac409004a00",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c5,[9015,1000000000,542681632,322,0]],[0008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e488,[0,10000000,1187200,0,0]],[0008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab27,[8118,10000000,0,62,0]],[0008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef0,[15677,500000000,467359414,7,0]],[0008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af2322,[2500,100000000,74529472,35,0]],[0008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca,[843,10000000,0,22,0]],[0008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b,[17118,10000000,0,10,0]],[0008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c,[33914,10000000,0,2,0]],[0008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b,[2892,10000000,0,1,0]],[0008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d909,[931,10000000,0,37,0]]]"
        },
        "R5": {
          "serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
        },
        "R6": {
          "serializedValue": "1105820584f164e6fd5d0000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[321,826434,769907,0,0]"
        },
        "R7": {
          "serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
          "sigmaType": "Coll[Coll[SByte]]",
          "renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
        }
      }
    },
    {
      "boxId": "4274e9ddd2c786c1ea530d0c90e1b28a75c1ca8e42fcb6f39279eb6ce21f9e76",
      "value": 7000000,
      "index": 1,
      "spendingProof": "65c2fc01787016845c7279e4a57242ba3efb0da347a306d8b93cf69d930a2bcee1cbc4f359cf1102d9b6a69745b238e4c41468845f9a0982",
      "outputBlockId": "d600147853c1bd79856a51b8a3a44586a879dcb1a26b95ebf7c04dcefe4b5d0c",
      "outputTransactionId": "48eb75fbb35947329f9c082f52870fb20532eb0a277820b77670ae6601a26f19",
      "outputIndex": 0,
      "outputGlobalIndex": 20820796,
      "outputCreatedAt": 826444,
      "outputSettledAt": 826447,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0c3c0e110b240008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c5058c890180a8d6b907ac86c1b206860500240008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e4880500c09a0c000100240008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab2705e47380dac409007e00240008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef005c2f2018094ebdc03001000240008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af232205a23d8084af5f004800240008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca05841080dac409002e00240008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b0588d70180dac409001600240008cd0206dc641fb047cbf8f43b8837c6486ce2a459372d4efcfc1cded7c0c9ed00d55b05cae80180dac409000200240008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c05b41380dac409000600240008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b05980980dac409000400240008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d90905bc1080dac409004c00",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c5,[8774,1000000000,858268054,323,0]],[0008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e488,[0,100000,0,-1,0]],[0008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab27,[7410,10000000,0,63,0]],[0008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef0,[15521,500000000,0,8,0]],[0008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af2322,[3921,100000000,0,36,0]],[0008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca,[1026,10000000,0,23,0]],[0008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b,[13764,10000000,0,11,0]],[0008cd0206dc641fb047cbf8f43b8837c6486ce2a459372d4efcfc1cded7c0c9ed00d55b,[14885,10000000,0,1,0]],[0008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c,[1242,10000000,0,3,0]],[0008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b,[588,10000000,0,2,0]],[0008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d909,[1054,10000000,0,38,0]]]"
        },
        "R5": {
          "serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
        },
        "R6": {
          "serializedValue": "1105840598f164e6fd5d0000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[322,826444,769907,0,0]"
        },
        "R7": {
          "serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
          "sigmaType": "Coll[Coll[SByte]]",
          "renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
        }
      }
    },
    {
      "boxId": "3b183f153b420b91057be4b1d610e48d3208262aa7051828556fd68ae8f26111",
      "value": 10000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "f7d59c85d240462c65266fd8efb2dc97e56a449c8fc9eed5ab2c00208e94c781",
      "outputTransactionId": "2a924b3395c66a82ddce791bc2745c6cd0cc3bfb05dc90b39e896852240d0168",
      "outputIndex": 2,
      "outputGlobalIndex": 20819559,
      "outputCreatedAt": 826433,
      "outputSettledAt": 826435,
      "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": 2452502889,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    },
    {
      "boxId": "bdc2841750cb39a6f3004a39843fa43b533ca7c7db5796366644dc76769c9689",
      "value": 1000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "34594f87821c0029c901360854557cd4f11be3130bf2145f26447b3c0e6e9b5c",
      "outputTransactionId": "3cad66f5515bc9553a4046aa55c63c006cf30ff6411c33d95bca68dc08d65891",
      "outputIndex": 7,
      "outputGlobalIndex": 20820139,
      "outputCreatedAt": 826434,
      "outputSettledAt": 826438,
      "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": 1085757718,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "f8f4d3ba206853490f5dc14da4d4943071821a208f3e98fc3098e8b3726e8b67",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 0,
      "globalIndex": 20821165,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "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": "0c3c0e110b240008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c5058c890180a8d6b907ac86c1b206860500240008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e4880500c09a0c000100240008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab2705e47380dac409007e00240008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef005c2f2018094ebdc03001000240008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af232205a23d8084af5f004800240008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca05841080dac409002e00240008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b0588d70180dac409001600240008cd0206dc641fb047cbf8f43b8837c6486ce2a459372d4efcfc1cded7c0c9ed00d55b05cae80180dac409000200240008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c05b41380dac409000600240008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b05980980dac409000400240008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d90905bc1080dac409004c00",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd028b92cb01ee848b6c116f141f5ad56015161f9ab755e15076aa9506ce548444c5,[8774,1000000000,858268054,323,0]],[0008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e488,[0,100000,0,-1,0]],[0008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab27,[7410,10000000,0,63,0]],[0008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef0,[15521,500000000,0,8,0]],[0008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af2322,[3921,100000000,0,36,0]],[0008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca,[1026,10000000,0,23,0]],[0008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b,[13764,10000000,0,11,0]],[0008cd0206dc641fb047cbf8f43b8837c6486ce2a459372d4efcfc1cded7c0c9ed00d55b,[14885,10000000,0,1,0]],[0008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c,[1242,10000000,0,3,0]],[0008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b,[588,10000000,0,2,0]],[0008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d909,[1054,10000000,0,38,0]]]"
        },
        "R5": {
          "serializedValue": "0c4c0e01240008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d62700",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0315a5d99a010bf189b1abae2d9f21be6f3438803aca1e6aac739fbee31150d627,0]]"
        },
        "R6": {
          "serializedValue": "1105840598f164e6fd5d0000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[322,826444,769907,0,0]"
        },
        "R7": {
          "serializedValue": "1a01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
          "sigmaType": "Coll[Coll[SByte]]",
          "renderedValue": "[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7]"
        }
      },
      "spentTransactionId": "c14265af07b4b54af4da812dbe2deb3bc17a5bc71d3df58911b53c32fd044211",
      "mainChain": true
    },
    {
      "boxId": "25ad4eb5db6806f156b04ba6ebd2988c857770c53a3ec091e64d04dff9de94da",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 1,
      "globalIndex": 20821166,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd03e306cb8a9abe490eec4d599d3859668e2c67b912eaa2a87e953645ea49eee64c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e306cb,55c755,...)))}",
      "address": "9iBnnBSm772ZvkWyF2wS3H5sfLXMk9Czx8H5SxFAi2oFtCoiBHG",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 44672707,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "c4a07529f5ac0f5370731ac69794d42b70196a49e0f8e582b0aeab4849ca8462",
      "mainChain": true
    },
    {
      "boxId": "15b158cb959cd37db4ad9a6f5816335b2ac9e4c7ac8ebf5d9f805fd1b335129f",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 2,
      "globalIndex": 20821167,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd02bb2b7f87cacbebd2ac452369de417510818c24100fd03a96e313bbda113a9ef0",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bb2b7f,830f5d,...)))}",
      "address": "9fwVX58wPfKtnHo3wENVKiZkwmxu8wLAsZsLbhhsdBisfoyhMgK",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 1025624386,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "6394b2c2d43f333c752a899b151d227a6bb5f5ef5efce4c235e90bfe3b1d83f4",
      "mainChain": true
    },
    {
      "boxId": "9c2e14614605abb23163eadf4d67eafddde3eb65251eabf3963f4e57deafcccf",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 3,
      "globalIndex": 20821168,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd022a4d9173ab7733c16d72ef93b52aaa456ce440ade4d824fc57d7d706c9af2322",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2a4d91,2dd062,...)))}",
      "address": "9eqh65dftuwJtF7s9u8uBoVTHmhNbMAqRR1Pu4sNUwFrZomo3GM",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 215561425,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "9be8dc500b9d2386c19181a9f877941e891f53f1bb7dd3611d1bf3c03b0b1a5c",
      "mainChain": true
    },
    {
      "boxId": "14d81ca4e4c92c699f69d2bab38e6690453c9e7e5d72c99515c66e898e3ae905",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 4,
      "globalIndex": 20821169,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd02ab3b61f3be2f2bbc262eb8f622e7e530a3cfcb7dc10334e116b945824d89517b",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ab3b61,3b6802,...)))}",
      "address": "9fpUQV4xH4T4poGdVDiKYynpQ8BZP2Ks6Ua1iFbLWtLUXRbC2od",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 21149397,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "abd5950f0acca1946fbae907220d13fab2b5f8da4fd2f6a060fba37b60de818e",
      "mainChain": true
    },
    {
      "boxId": "c4db8ab4c3279841af9c9dc8f11ff0c287f89ff3996d504ea2539b7d5915b97b",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 5,
      "globalIndex": 20821170,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd03e719e23996a4e27446c4d3abc535f5cbe4c55726ae87ad85fbaa621178b8d909",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e719e2,95176f,...)))}",
      "address": "9iDarnBPs6gFCUfNuqTyhVYZcserEttNW2kaVcrcDcs2wPkGotG",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 37910655,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "77201ff99915b82b244f5827d9ef9599e76a928cb95b337b83e4e22fec580202",
      "mainChain": true
    },
    {
      "boxId": "63286f01d292b90d92342a13c8bb9053267b12b501994f43f5a5561d2e064c6c",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 6,
      "globalIndex": 20821171,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd0210ec7eb86e1a2cf3f9b7f3a588d66dbf802aa2d3f16cd4faad23deec906d8c2b",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(10ec7e,cc868a,...)))}",
      "address": "9eeWozTpCwC251T1itb2XpqttacvuVKorpZjzsLan7ky7wfbinU",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 495068557,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "fc92560477e96dbb4751499dd7f3991259dbf9acec8b25c7a7e09a4f5c3c9c2f",
      "mainChain": true
    },
    {
      "boxId": "35dda623561c716eae44435be896dd42710c16fd5c4ea101555aff472796dd6f",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 7,
      "globalIndex": 20821172,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd0206dc641fb047cbf8f43b8837c6486ce2a459372d4efcfc1cded7c0c9ed00d55b",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6dc641,30a0e6,...)))}",
      "address": "9ea5mUPLgtG7WAWVhAUQzLW9CMpa8S8G2TqciZVSFDtCPosvmHZ",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 535389093,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "c748c117009d0ad7947acb71d7ab0e2d2e32f9c55c168e066e402f9290beb0df",
      "mainChain": true
    },
    {
      "boxId": "22cf82c4a782cf9e2e46fc0562b36488e041e7fa990eeaac3e1e4706fbb329de",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 8,
      "globalIndex": 20821173,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd02e0138f0c0ae1e1ae03d6032a8c348fb179b5ec4dfaa7b93c00e00441932b03ca",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e0138f,2e0732,...)))}",
      "address": "9gDkFDf6yNCPfeUzzRU5YQ1HmVPejDkCs35cUxLw9o4rtHuyx87",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 36903541,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "7c1a5dd55d56167abf13c47c9dbfa9c5b7f59677ef75ef6821535e802dd31d93",
      "mainChain": true
    },
    {
      "boxId": "62e768eeb0dec28a17bc50771fa5bf3deb1d65f3401a4230814cd1a9a04cd367",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 9,
      "globalIndex": 20821174,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd039cda751c4bfe6edeaeea0af5019c760aab40e516119e7d099eea1da55947e488",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(9cda75,b16d7d,...)))}",
      "address": "9hetJLYTjJNW9FEKPXUY5bKTDDTP6mgNfEejWcK4n9YwirsBwDd",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 1187200,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": null,
      "mainChain": true
    },
    {
      "boxId": "5e1f58a6f4653cae2d3badd4036bbceb026e5851568d04900657ebc22944dde2",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 10,
      "globalIndex": 20821175,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd02889aa52e4e74d70830455825f4f7ed1132c9ffd3dd89a38e8d7f88684762ab27",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(889aa5,b0a9a0,...)))}",
      "address": "9fZDtAc6US69uaM16LZRJdopTAprWseHuaPCf7Acj3pdBX64cMQ",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 266525574,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "067b35af2a97bad127726ea36cc6b9ec6a7913d767d210d6871b1e2c56d69f02",
      "mainChain": true
    },
    {
      "boxId": "4a72414675b108ff29743f0e0fab53cf0a798a1bb3074f661ad5e32747bca7f1",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 1000000,
      "index": 11,
      "globalIndex": 20821176,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "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": 858268054,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "c14265af07b4b54af4da812dbe2deb3bc17a5bc71d3df58911b53c32fd044211",
      "mainChain": true
    },
    {
      "boxId": "89c7ad6d110a1d6a4b139201749ca85d4006dd76a806bfcdf6e70e541b646f13",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 2000000,
      "index": 12,
      "globalIndex": 20821177,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "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": "4589a193bdc9528fda9d3b6a51faefa67bdec5ef69e1f2f4f2acde21b88acdff",
      "mainChain": true
    },
    {
      "boxId": "178d1a89782ed1325e16b44429702b2b41c4f4144a206ea3d49529ad222030d8",
      "transactionId": "bfd93f948bf53961cd0b627900dc0d4f30cb12843e4680bd2ac1d20dba7c482b",
      "blockId": "18bdac8b2ffc568f5d6f3843453f020a3dc6b1fc32f3cf2b2d36b6e8b13b3040",
      "value": 5000000,
      "index": 13,
      "globalIndex": 20821178,
      "creationHeight": 826444,
      "settlementHeight": 826450,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [
        {
          "tokenId": "472c3d4ecaa08fb7392ff041ee2e6af75f4a558810a74b28600549d5392810e8",
          "index": 0,
          "amount": 18,
          "name": "NETA",
          "decimals": 6,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "1e122e6b967a050dae86966bf968160e4bbdfb338f83d4cdee271aa344541205",
      "mainChain": true
    }
  ],
  "size": 3018,
  "isUnconfirmed": false
}