Ad
Inputs (1)
Output transaction:
Settlement height:
Value:
0.526743922 ERG
Tokens:
Loading assets...
Outputs (13)
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.002 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.513743922 ERG
Tokens:
98,899,999.90
Transaction Details
Status: Confirmed
Size: 11.23 KB
Received time: 5/25/2023 10:36:05 AM
Included in blocks: 1,011,269
Confirmations: 756,906
Total coins transferred: 0.526743922 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000087 ERG
Raw Transaction Data
{
  "id": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
  "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
  "inclusionHeight": 1011269,
  "timestamp": 1685010965856,
  "index": 1,
  "globalIndex": 5263442,
  "numConfirmations": 756906,
  "inputs": [
    {
      "boxId": "b27db6c7773e961d3928a3cc684319255166776b4b46ec5df3d59e26abe92125",
      "value": 526743922,
      "index": 0,
      "spendingProof": "73d110514513f201093185e4e04561a0b070f02736d5da85d702a66db2564407f7b66544d66a3127aedd515a58b57ab4e3bf15193c4dcb79",
      "outputBlockId": "957b7cbf9973c58abb4f4af87268b7b5154e41b0d3ece14d68a5f437863ebd83",
      "outputTransactionId": "9e7926679114a39c64577844713f228a4c07cfa6518015b1b36373df83c0830b",
      "outputIndex": 2,
      "outputGlobalIndex": 29429213,
      "outputCreatedAt": 1011264,
      "outputSettledAt": 1011266,
      "ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
      "address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
      "assets": [
        {
          "tokenId": "40d1e9028a53c165ffdffd0a080b05ff0c8df6d95aa59456a17ee9d699332e91",
          "index": 0,
          "amount": 1988999999000,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        },
        {
          "tokenId": "150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf",
          "index": 1,
          "amount": 1,
          "name": "Paideia DAO Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "5ca27a928c70e31b191fd1aee999703f47d0dbf77dd0f52e26bdf837baeb3486",
          "index": 2,
          "amount": 9223372036854776000,
          "name": "Paideia Proposal",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "893c0624108bbf19fdeb7735b283434775040fbfb264f9154509b2674a7e8130",
          "index": 3,
          "amount": 9223372036854776000,
          "name": "Paideia Action",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0af0cdeb0ed5495c984f7a45c148d59be9bceb78a7b524d16dc083cc76963948",
          "index": 4,
          "amount": 9223372036854776000,
          "name": "Paideia DAO",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "ef0f73328d4c48996e7e630a25b5e9c4fc11b371cb138a4925c14527b34becf2",
          "index": 5,
          "amount": 1,
          "name": "Paideia Origin",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "9fce5c3e505eb5b42c16dc694c76f1aebfb8c59150afe07ad666998237def81e",
          "index": 6,
          "amount": 1,
          "name": "Paideia Stake State",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "317f97f55ae832b39fe256d3cd376b2b6050e329eb55a8ebe06c9f233935ab1f",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 0,
      "globalIndex": 29429441,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1026040004020402040204000e207229fdafbb96116f3c885ebd7319a3298442ca840038ee0c5e6d32ea735e4a160e2046b3640a317384bdaa50b7a420cf8f36a3b879fe4ecc12b6924ace45e73521230e205be447c71392c430b0126048269f9a788af35527755face9d229fd86530e34f50e201decb24f08f9ff1522b653a5568e72dd424d8a98561f3ecf2eeca1823225c7690e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b7704000404040004000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf040004000502040404040402044205020408040204420400040204120580897a0e2040d1e9028a53c165ffdffd0a080b05ff0c8df6d95aa59456a17ee9d699332e910402040204120400040604020442d80cd601b2db6501fe730000d602b2a5730100d603db63087202d604db6308a7d605b27203730200d606b27204730300d6078c720601d608b2a5730400d609dc640be4c6720104640283050e73057306730773087309e4e3000ed60ab2db63087208730a00d60bb2a5730b00d60cb2db6308720b730c00d196830501938cb2db63087201730d0001730e9683060193b27203730f00b27204731000938c7205017207938c720502998c720602731193b17203731293c27202c2a792c17202c1a79683030193cbc27208b4e4b2720973130073147315938c720a017207938c720a0273169683040193cbc2720bb4e4b272097317007318731993c1720b9a7cb4e4b27209731a00731b731c731d938c720c01731e938c720c027cb4e4b27209731f007320732193cbc2b2a4732200b4e4b2720973230073247325",
      "ergoTreeConstants": "0: 0\n1: 1\n2: 1\n3: 1\n4: 0\n5: Coll(114,41,-3,-81,-69,-106,17,111,60,-120,94,-67,115,25,-93,41,-124,66,-54,-124,0,56,-18,12,94,109,50,-22,115,94,74,22)\n6: Coll(70,-77,100,10,49,115,-124,-67,-86,80,-73,-92,32,-49,-113,54,-93,-72,121,-2,78,-52,18,-74,-110,74,-50,69,-25,53,33,35)\n7: Coll(91,-28,71,-57,19,-110,-60,48,-80,18,96,72,38,-97,-102,120,-118,-13,85,39,117,95,-84,-23,-46,41,-3,-122,83,14,52,-11)\n8: Coll(29,-20,-78,79,8,-7,-1,21,34,-74,83,-91,86,-114,114,-35,66,77,-118,-104,86,31,62,-49,46,-20,-95,-126,50,37,-57,105)\n9: Coll(118,124,-86,-128,-71,-114,73,106,-40,-87,-10,-119,-60,65,10,-28,83,50,127,15,-107,-23,80,-124,-64,-82,32,99,80,121,59,119)\n10: 0\n11: 2\n12: 0\n13: 0\n14: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n15: 0\n16: 0\n17: 1\n18: 2\n19: 2\n20: 1\n21: 33\n22: 1\n23: 4\n24: 1\n25: 33\n26: 0\n27: 1\n28: 9\n29: 1000000\n30: Coll(64,-47,-23,2,-118,83,-63,101,-1,-33,-3,10,8,11,5,-1,12,-115,-10,-39,90,-91,-108,86,-95,126,-23,-42,-103,51,46,-111)\n31: 1\n32: 1\n33: 9\n34: 0\n35: 3\n36: 1\n37: 33",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = OUTPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = SELF.tokens\n  val tuple5 = coll3(placeholder[Int](2))\n  val tuple6 = coll4(placeholder[Int](3))\n  val coll7 = tuple6._1\n  val box8 = OUTPUTS(placeholder[Int](4))\n  val coll9 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](\n      placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6), placeholder[Coll[Byte]](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9)\n    ), getVar[Coll[Byte]](0.toByte).get\n  )\n  val tuple10 = box8.tokens(placeholder[Int](10))\n  val box11 = OUTPUTS(placeholder[Int](11))\n  val tuple12 = box11.tokens(placeholder[Int](12))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](13))._1 == placeholder[Coll[Byte]](14), allOf(\n          Coll[Boolean](\n            coll3(placeholder[Int](15)) == coll4(placeholder[Int](16)), tuple5._1 == coll7, tuple5._2 == tuple6._2 - placeholder[Long](\n              17\n            ), coll3.size == placeholder[Int](18), box2.propositionBytes == SELF.propositionBytes, box2.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box8.propositionBytes) == coll9(placeholder[Int](19)).get.slice(\n              placeholder[Int](20), placeholder[Int](21)\n            ), tuple10._1 == coll7, tuple10._2 == placeholder[Long](22)\n          )\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box11.propositionBytes) == coll9(placeholder[Int](23)).get.slice(\n              placeholder[Int](24), placeholder[Int](25)\n            ), box11.value == byteArrayToLong(coll9(placeholder[Int](26)).get.slice(placeholder[Int](27), placeholder[Int](28))) + placeholder[Long](\n              29\n            ), tuple12._1 == placeholder[Coll[Byte]](30), tuple12._2 == byteArrayToLong(\n              coll9(placeholder[Int](31)).get.slice(placeholder[Int](32), placeholder[Int](33))\n            )\n          )\n        ), blake2b256(INPUTS(placeholder[Int](34)).propositionBytes) == coll9(placeholder[Int](35)).get.slice(placeholder[Int](36), placeholder[Int](37))\n      )\n    )\n  )\n}",
      "address": "58hYWSWT5dDqwk4WEyc6C6DBiWM2cCZrVTpS4JxZPTUXRrYGz7za4u2T3snUz4Ggk7Koq3FYvBwNQBV1CndrvLvsTbe8bWNLUNTHMuN1GRFhXftnL5SZpdSBswbjp9AwYeABhHKHw6F7WUGxxKDNx9GkHnGa3N5N2Uf3GP44ddBpFRGM67g7z2YN9VRLyeJVgLCq5K8FyTCVMjeZCeGRdEeqrCQ1cnTQ8N4J5aVYfSzVcncJTbLy5YxqBj38UZVPqVSXVoQQzs1PDTfYX1b1JcL2S88jpJ1jnHuPpbN8CGEf35j2R7L3wcXsVEL8cF9z12a5LXtsG3DiLnYUQANKMhVncyPfQuUpcKwoCk2poUGtLZ2xXGZDZtsrjPJKwbyj9jNHxB1jNsWDyvUiRcBKFFJwZKWQVvqtX7rCeZGUBZpJ8z1H4AvaqYnJjiJ2fEZyVpjGfUHNUbvc723CqU5Mg32q4MBJFjVhfjQUTbj9itSp8xitxnfkuhrVwmnunVvxrFYHJQbgaDh8xXSb9x3tX7n9tatc7j9igCZQC3eYBsqK73CM4rStZFa6sjnM6fxRbL9xekLjgAgZjnHnwSgP8qSgVb2eMoXiJiQCGSRw1Nizbv5RvAR3QuUrmuJKmkQfazzcNY35BRTVJJuDNZBmn7igAfLCAMBHucENwW8vpXNkzrZwjdFAZeCSV6TrZu6UzDYuiaj1SwifNGcGNaAByyEfRjFoD9grxTukCuQ6C71hbHyHSbX4KeG7c3BQ1mDYHYoNtPhdihNeD98KZ4kSBLnpjKJdLZCtjZckyjqRuxBhQwnv6fFeQLosYD1GRx91DPiyJEsocfdW2X2jC",
      "assets": [
        {
          "tokenId": "ef0f73328d4c48996e7e630a25b5e9c4fc11b371cb138a4925c14527b34becf2",
          "index": 0,
          "amount": 1,
          "name": "Paideia Origin",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0af0cdeb0ed5495c984f7a45c148d59be9bceb78a7b524d16dc083cc76963948",
          "index": 1,
          "amount": 9223372036854776000,
          "name": "Paideia DAO",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": null,
      "mainChain": true
    },
    {
      "boxId": "2be00007ac165ccf3ffe28ad2fac2a4193eefdabe191169c7121a397f82895cf",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 1,
      "globalIndex": 29429442,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "10360400040204000e20039d2a0a218d7c48c8fd46a8d29431bd056c84882a216a567326c3c7984ec8350e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40402040204040404040204020402040005feffffffffffffffff01040004020e20f0367ddf3435981f4aa5571b91dd46fe813667f2888d4fc691968fde15879b970e1e696d2e706169646569612e636f6e7472616374732e70726f706f73616c2e0e1c696d2e706169646569612e636f6e7472616374732e616374696f6e2e0404040404000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000400040204420400040005020406040005020e2040d1e9028a53c165ffdffd0a080b05ff0c8df6d95aa59456a17ee9d699332e9104020402041204020402044204000400040204120402050004000502040004020500040404020442d81dd601db6501fed602b27201730000d603b27201730100d604e4c6a7040ed605b2a5730200d606dc640be4c6720204640283020e73037304e4e3000ed607db63087205d608db6308a7d609b27207730500d60ab27208730600d60b8c720a01d60c8c720a02d60db27207730700d60eb27208730800d60f8c720e01d610e4c6b2a4730900050c63d611b47210730ab17210d612b17211d613b2a5730b00d614b27210730c00d61599730d720cd616db63087213d617b27216730e00d618b27216730f00d619c27213d61ac27214d61bdc640be4c67203046402b383020e7310cbb37311721aad7211d9011b63cbb37312c2721be4e3010ed61ce4c672130511d61db4a573139a72127314d196830501938cb2db63087202731500017316938cb2db630872037317000172049683090193cbc27205b4e4b272067318007319731a92c17205c1a793b27207731b00b27208731c00938c720901720b938c72090299720c731d938c720d01720f938c720d02998c720e027e72120593b17207731e93e4c67205040e720496830a0192c17213c17214937eb2e4c672130410731f00057215938c721701720b938c7217027320938c7218017321938c7218027cb4e4b2720673220073237324937219721a93cb7219b4e4b2721b7325007326732792b2721c7328009adb6903db6503fe7cb4e4b2721b732900732a732bafb4721c732cb1721cd9011e0593721e732dafdb0c0e721dd9011e04d803d620b2721d721e00d621b2db63087220732e00d622e4c6722004119683060192c17220c1b27211721e00938c722101720f938c722102732f93b27222733000721592b27222733100733293cbc27220b2adb4721b7333b1721bd9012332b4e4722373347335721e00",
      "ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: Coll(3,-99,42,10,33,-115,124,72,-56,-3,70,-88,-46,-108,49,-67,5,108,-124,-120,42,33,106,86,115,38,-61,-57,-104,78,-56,53)\n4: Coll(-11,-111,-114,-76,-80,40,60,102,-101,-35,-118,25,86,64,118,108,25,-28,10,105,58,102,-105,-73,117,-80,-114,9,5,37,35,-44)\n5: 1\n6: 1\n7: 2\n8: 2\n9: 1\n10: 1\n11: 1\n12: 0\n13: 9223372036854775807\n14: 0\n15: 1\n16: Coll(-16,54,125,-33,52,53,-104,31,74,-91,87,27,-111,-35,70,-2,-127,54,103,-14,-120,-115,79,-58,-111,-106,-113,-34,21,-121,-101,-105)\n17: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,112,114,111,112,111,115,97,108,46)\n18: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,97,99,116,105,111,110,46)\n19: 2\n20: 2\n21: 0\n22: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n23: 0\n24: 0\n25: 1\n26: 33\n27: 0\n28: 0\n29: 1\n30: 3\n31: 0\n32: 1\n33: Coll(64,-47,-23,2,-118,83,-63,101,-1,-33,-3,10,8,11,5,-1,12,-115,-10,-39,90,-91,-108,86,-95,126,-23,-42,-103,51,46,-111)\n34: 1\n35: 1\n36: 9\n37: 1\n38: 1\n39: 33\n40: 0\n41: 0\n42: 1\n43: 9\n44: 1\n45: 0\n46: 0\n47: 1\n48: 0\n49: 1\n50: 0\n51: 2\n52: 1\n53: 33",
      "ergoTreeScript": "{\n  val coll1 = CONTEXT.dataInputs\n  val box2 = coll1(placeholder[Int](0))\n  val box3 = coll1(placeholder[Int](1))\n  val coll4 = SELF.R4[Coll[Byte]].get\n  val box5 = OUTPUTS(placeholder[Int](2))\n  val coll6 = box2.R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get)\n  val coll7 = box5.tokens\n  val coll8 = SELF.tokens\n  val tuple9 = coll7(placeholder[Int](5))\n  val tuple10 = coll8(placeholder[Int](6))\n  val coll11 = tuple10._1\n  val l12 = tuple10._2\n  val tuple13 = coll7(placeholder[Int](7))\n  val tuple14 = coll8(placeholder[Int](8))\n  val coll15 = tuple14._1\n  val coll16 = INPUTS(placeholder[Int](9)).R5[Coll[Box]].get\n  val coll17 = coll16.slice(placeholder[Int](10), coll16.size)\n  val i18 = coll17.size\n  val box19 = OUTPUTS(placeholder[Int](11))\n  val box20 = coll16(placeholder[Int](12))\n  val l21 = placeholder[Long](13) - l12\n  val coll22 = box19.tokens\n  val tuple23 = coll22(placeholder[Int](14))\n  val tuple24 = coll22(placeholder[Int](15))\n  val coll25 = box19.propositionBytes\n  val coll26 = box20.propositionBytes\n  val coll27 = box3.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](16), blake2b256(placeholder[Coll[Byte]](17).append(coll26))).append(\n      coll17.map({(box27: Box) => blake2b256(placeholder[Coll[Byte]](18).append(box27.propositionBytes)) })\n    ), getVar[Coll[Byte]](1.toByte).get\n  )\n  val coll28 = box19.R5[Coll[Long]].get\n  val coll29 = OUTPUTS.slice(placeholder[Int](19), i18 + placeholder[Int](20))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box2.tokens(placeholder[Int](21))._1 == placeholder[Coll[Byte]](22), box3.tokens(placeholder[Int](23))._1 == coll4, allOf(\n          Coll[Boolean](\n            blake2b256(box5.propositionBytes) == coll6(placeholder[Int](24)).get.slice(\n              placeholder[Int](25), placeholder[Int](26)\n            ), box5.value >= SELF.value, coll7(placeholder[Int](27)) == coll8(placeholder[Int](28)), tuple9._1 == coll11, tuple9._2 == l12 - placeholder[Long](\n              29\n            ), tuple13._1 == coll15, tuple13._2 == tuple14._2 - i18.toLong, coll7.size == placeholder[Int](30), box5.R4[Coll[Byte]].get == coll4\n          )\n        ), allOf(\n          Coll[Boolean](\n            box19.value >= box20.value, box19.R4[Coll[Int]].get(placeholder[Int](31)).toLong == l21, tuple23._1 == coll11, tuple23._2 == placeholder[Long](\n              32\n            ), tuple24._1 == placeholder[Coll[Byte]](33), tuple24._2 == byteArrayToLong(\n              coll6(placeholder[Int](34)).get.slice(placeholder[Int](35), placeholder[Int](36))\n            ), coll25 == coll26, blake2b256(coll25) == coll27(placeholder[Int](37)).get.slice(placeholder[Int](38), placeholder[Int](39)), coll28(\n              placeholder[Int](40)\n            ) >= CONTEXT.preHeader.timestamp + byteArrayToLong(\n              coll27(placeholder[Int](41)).get.slice(placeholder[Int](42), placeholder[Int](43))\n            ), coll28.slice(placeholder[Int](44), coll28.size).forall({(l30: Long) => l30 == placeholder[Long](45) })\n          )\n        ), coll29.indices.forall({(i30: Int) =>\n            val box32 = coll29(i30)\n            val tuple33 = box32.tokens(placeholder[Int](46))\n            val coll34 = box32.R4[Coll[Long]].get\n            allOf(Coll[Boolean](box32.value >= coll17(i30).value, tuple33._1 == coll15, tuple33._2 == placeholder[Long](47), coll34(placeholder[Int](48)) == l21, coll34(placeholder[Int](49)) >= placeholder[Long](50), blake2b256(box32.propositionBytes) == coll27.slice(placeholder[Int](51), coll27.size).map({(opt35: Option[Coll[Byte]]) => opt35.get.slice(placeholder[Int](52), placeholder[Int](53)) })(i30)))\n          })\n      )\n    )\n  )\n}",
      "address": "5BHZcZ4BWGiHDwuq1jiFieW8bMikukd36ANmAZyvP2wqzK7bVktQ2dDMdMTRovAguCB6V4snJnE3kfLsYWJe7j1vwmfTM4nwHdJHjZA1g3oQZ1vDLCCAmbdikgiENSMRuKU9bb2GKpAtxRLwAf6MqXtg1WhjbNCjjRFJvrxyBtMAkQkAw4arCYGQqtQD1zYbo9L7Mo2EuuvFnQQyBx6jj1xpx3cnpuNpiQDL4WjQ8eVD2vCpQkaWrFwVAbpuFQiFg576VJ4hnXWkTqcMHYR16dwyc71fWhPMgxraztXTAUKabqPFZcFqRrQKWb7gkbGSqXruxGThYSepTQBwTsWVAsUzUUxxfEpZAYGBBkrfWKGN6feNNotPMZFv6cc1eEq4pLCrdYGExCZ38Em2ppFcQmCtz3q8Z98FnYUEmQmBYfcHiqY6hJAWYSAnoBCi7neDCUfikMxU6AUof5fscz6Gta1qCCLEW3Q4Yf8qZMNHQZmXwAPUWYnbYba3FEKWPrtLAyANDKtTicFqLweYGo5GFA4736dZcMUL2B5WLiB13uQ9zPyvVc7A3NXb9BMboEuFmgfCHAMxiriF3tE4NRKk5pMYzLN8mrwmCKdvAtyqvhPzMPUWZNGav7HHCAiK3qBstiRRUkZ5TZs17WX2xNpSJowdvqakAvZcUZabupnfVovSqCvnqJfNHKWkp1LQqcnVuWScGJK4GPefRHvWVsRixhWM7faH7TNhBiZRBMgwmfTk9M4NaAv5UB3wpzcsriY7RvsHNaj63RK74S9osUmCn7dJFku1junD8UWfwWK8GC4byUKXF6xQUqUPyY4jzr8E4CLzqapwAFNprKYZFFn1JNaC4byyzTUQAJUBtewU9YweUBxgYtVYr3ewBoU6waBgKDok8yUqiw3YjPt7QnEqbb9E27uViyea8ZDGQRyVrXRWyHE8hZ9PZSi1VrwstULCgWJyjXyvMjmyp1B9kZXeRvrSbyY18jaubpfznodtS1431e9uYuNAxdnQL1fhwWVCPMakFH7mbmcNZwEa4P1SmAuUenJy75knV5uuTUNZ7xwkYNim2kyzfXLnWdf7yd2cCogHo76NsSFqRUjap8DWdRddUTHHTzXV2YuYCqbP8Ud2Cf9LHGJbHrMicth9WCjeLmQQxxkqg6WPTPyhwfzdbux7URLmXzSH2pvravtdL9ampxFxxjkSkpzZZEQszE74Y3A8v8zfxqFyfXayG1EXLhM8s2qsmhezJPXktFLDZ6Lf78nQ1TgUr4ULvKikdfZMdVZT8TibEESzMNCvNSPNHRH8m7H2DvcSZnB6EQbES2afsMp4ha4Ty634wkV6LF",
      "assets": [
        {
          "tokenId": "0af0cdeb0ed5495c984f7a45c148d59be9bceb78a7b524d16dc083cc76963948",
          "index": 0,
          "amount": 1,
          "name": "Paideia DAO",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "5ca27a928c70e31b191fd1aee999703f47d0dbf77dd0f52e26bdf837baeb3486",
          "index": 1,
          "amount": 9223372036854776000,
          "name": "Paideia Proposal",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "893c0624108bbf19fdeb7735b283434775040fbfb264f9154509b2674a7e8130",
          "index": 2,
          "amount": 9223372036854776000,
          "name": "Paideia Action",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf"
        }
      },
      "spentTransactionId": "a1dcb7255086017e8f9734ca9f5744122450f9e971fcd7d69366522d0c41d802",
      "mainChain": true
    },
    {
      "boxId": "3809c3722a4170052e5f95ca905aa4461c99f5958509d3f010e84e6d61ce4889",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 2,
      "globalIndex": 29429443,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e20893c0624108bbf19fdeb7735b283434775040fbfb264f9154509b2674a7e81300100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
      "ergoTreeConstants": "0: 0\n1: Coll(-87,85,-114,65,-122,-53,-43,-86,87,35,-88,82,-44,-63,-36,101,125,-98,-127,67,-126,-1,-120,-115,90,-118,-20,82,21,49,48,29)\n2: 0\n3: 1\n4: 33\n5: 0\n6: 0\n7: Coll(-119,60,6,36,16,-117,-65,25,-3,-21,119,53,-78,-125,67,71,117,4,15,-65,-78,100,-7,21,69,9,-78,103,74,126,-127,48)\n8: false",
      "ergoTreeScript": "{\n  val box1 = OUTPUTS(placeholder[Int](0))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        SELF.tokens == box1.tokens, SELF.value <= box1.value, blake2b256(box1.propositionBytes) == box1.R4[AvlTree].get.getMany(\n          Coll[Coll[Byte]](placeholder[Coll[Byte]](1)), getVar[Coll[Byte]](0.toByte).get\n        )(placeholder[Int](2)).get.slice(placeholder[Int](3), placeholder[Int](4)), INPUTS.exists({(box2: Box) =>\n            val coll4 = box2.tokens\n            if (coll4.size > placeholder[Int](5)) { coll4(placeholder[Int](6))._1 == placeholder[Coll[Byte]](7) } else { placeholder[Boolean](8) }\n          })\n      )\n    )\n  )\n}",
      "address": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfzVRjhLbzhNJkNjcCyiJdRBkRhXf9a9bAL4Q2tuEqk3fB3Y1d3g4VZGpFsXJCZC3tDePdrtYwRwL3aLdmoSPAFeKKq5BqdvutQeZTxZJhNWqYUdz2pJciKgZua1nw3qz8emhBxDsJrRZ1zPe3qnrCYPE3W4h8ddg9FipqcxxwaHSFAcmiZipvJqUyTDt",
      "assets": [
        {
          "tokenId": "150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf",
          "index": 0,
          "amount": 1,
          "name": "Paideia DAO Key",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "648fa10e15162ba719c2e9ce801f6549a0429ffa57e6b5be0ec15a6410e8f3715107072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "31b9dd059a15a220ec918e892667559dadea290712303658e8200df3a4d510a0",
      "mainChain": true
    },
    {
      "boxId": "0520d871030b43b42f033dc235822e84d9b4cbe12652426cfc55fbae2ee7e40a",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 3,
      "globalIndex": 29429444,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1042040004000e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040c044a040a040c044a0402040a040805000410041004100400041004100410040004000400040204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000402040c044c040404000402040204020402040204000402050004020402040404050404050004000402044204020402040a04000400040404040406040604080408d81ad601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606b27205730500d6078c720601d608e4c672020511d609b17208d60ae4b27204730600d60bdb0c0eb4720a73079d99b1720a73087309d60cad720bd9010c04b4720a9a9a730a9c730b720c730c9a730d9c730e9a720c730fd60db3b4720873107209adb4720c9972097311b1720bd9010d0e7312d60edb0c0e720dd60fad720ed9010f04d801d6119a9c720f731373147cb48c72060272119a72117315d610e4c67202040c64d611b27210731600d612e4e3020ed613ad720ed9011304d801d6159a9c7213731773187cb4e4dc640a7211027207721272159a72157319d61499b2720f731a00b27213731b00d615b2a5731c00d616db63087215d617e4c672150511d618e4c67215040c64d619dc0c1d721301720fd61ab2a5731d00d196830b01938cb2db63087201731e0001731f938cb2720373200001b4e4b2720473210073227323938cb2db6308b2a5732400732500017207ed937214998cb27216732600028cb272037327000293721499b27217732800b2720873290093b17205732a93db6401e4dc640d72110272057212db6401b27218732b00afb47219732cb17219d9011b59d801d61d8c721b02ed928c721b01721d92721d732d9399b27213732e00b2720f732f0099c17202c17215afb472037330b17203d9011b4d0ed802d61d8c721b01d61e9adc0c1a720c02721d7331733293998c721b02b072167333d9011f414d0ed802d6218c721f02d6228c721f0195938c722101721d9a72228c722102722299b27213721e00b2720f721e009683020193cbc2721ab4e4b272047334007335733692c1721ac1a79683090193b27218733700b2721073380093b472177339b17217720d93b27217733a00b27208733b0093b27217733c00b27208733d0093b27217733e00b27208733f0093b27217734000b2720873410093e4c67215061de4c67202061d93e4c67215070c3c6464e4c67202070c3c646493e4c67215081de4c67202081d",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-120,48,97,44,82,53,95,111,40,13,18,-105,-15,-97,103,-80,120,-55,-38,-89,-41,-80,75,69,-100,-111,-52,100,73,87,-62,-128)\n3: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 2\n7: 0\n8: 6\n9: 37\n10: 6\n11: 37\n12: 5\n13: 6\n14: 37\n15: 1\n16: 5\n17: 4\n18: 0\n19: 8\n20: 8\n21: 8\n22: 0\n23: 8\n24: 8\n25: 8\n26: 0\n27: 0\n28: 0\n29: 1\n30: 0\n31: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n32: 0\n33: 1\n34: 6\n35: 38\n36: 2\n37: 0\n38: 1\n39: 1\n40: 1\n41: 1\n42: 1\n43: 0\n44: 1\n45: 0\n46: 1\n47: 1\n48: 2\n49: -3\n50: 2\n51: 0\n52: 0\n53: 1\n54: 33\n55: 1\n56: 1\n57: 5\n58: 0\n59: 0\n60: 2\n61: 2\n62: 3\n63: 3\n64: 4\n65: 4",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val coll5 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val tuple6 = coll5(placeholder[Int](5))\n  val coll7 = tuple6._1\n  val coll8 = box2.R5[Coll[Long]].get\n  val i9 = coll8.size\n  val coll10 = coll4(placeholder[Int](6)).get\n  val coll11 = coll10.slice(placeholder[Int](7), coll10.size - placeholder[Int](8) / placeholder[Int](9)).indices\n  val coll12 = coll11.map(\n    {(i12: Int) =>\n      coll10.slice(\n        placeholder[Int](10) + placeholder[Int](11) * i12 + placeholder[Int](12), placeholder[Int](13) + placeholder[Int](14) * i12 + placeholder[Int](15)\n      )\n    }\n  )\n  val coll13 = coll8.slice(placeholder[Int](16), i9).append(\n    coll12.slice(i9 - placeholder[Int](17), coll11.size).map({(coll13: Coll[Byte]) => placeholder[Long](18) })\n  )\n  val coll14 = coll13.indices\n  val coll15 = coll14.map({(i15: Int) =>\n      val i17 = i15 * placeholder[Int](19) + placeholder[Int](20)\n      byteArrayToLong(tuple6._2.slice(i17, i17 + placeholder[Int](21)))\n    })\n  val coll16 = box2.R4[Coll[AvlTree]].get\n  val avlTree17 = coll16(placeholder[Int](22))\n  val coll18 = getVar[Coll[Byte]](2.toByte).get\n  val coll19 = coll14.map({(i19: Int) =>\n      val i21 = i19 * placeholder[Int](23) + placeholder[Int](24)\n      byteArrayToLong(avlTree17.get(coll7, coll18).get.slice(i21, i21 + placeholder[Int](25)))\n    })\n  val l20 = coll15(placeholder[Int](26)) - coll19(placeholder[Int](27))\n  val box21 = OUTPUTS(placeholder[Int](28))\n  val coll22 = box21.tokens\n  val coll23 = box21.R5[Coll[Long]].get\n  val coll24 = box21.R4[Coll[AvlTree]].get\n  val coll25 = coll19.zip(coll15)\n  val box26 = OUTPUTS(placeholder[Int](29))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](30))._1 == placeholder[Coll[Byte]](31), coll3(placeholder[Int](32))._1 == coll4(placeholder[Int](33)).get.slice(\n          placeholder[Int](34), placeholder[Int](35)\n        ), OUTPUTS(placeholder[Int](36)).tokens(placeholder[Int](37))._1 == coll7, (\n          l20 == coll22(placeholder[Int](38))._2 - coll3(placeholder[Int](39))._2\n        ) && (l20 == coll23(placeholder[Int](40)) - coll8(placeholder[Int](41))), coll5.size == placeholder[Int](42), avlTree17.update(\n          coll5, coll18\n        ).get.digest == coll24(placeholder[Int](43)).digest, coll25.slice(placeholder[Int](44), coll25.size).forall({(tuple27: (Long, Long)) =>\n            val l29 = tuple27._2\n            (tuple27._1 >= l29) && (l29 >= placeholder[Long](45))\n          }), coll19(placeholder[Int](46)) - coll15(placeholder[Int](47)) == box2.value - box21.value, coll3.slice(placeholder[Int](48), coll3.size).forall(\n          {(tuple27: (Coll[Byte], Long)) =>\n            val coll29 = tuple27._1\n            val i30 = coll12.indexOf(coll29, placeholder[Int](49)) + placeholder[Int](50)\n            tuple27._2 - coll22.fold(placeholder[Long](51), {(tuple31: (Long, (Coll[Byte], Long))) =>\n                val tuple33 = tuple31._2\n                val l34 = tuple31._1\n                if (tuple33._1 == coll29) { l34 + tuple33._2 } else { l34 }\n              }) == coll19(i30) - coll15(i30)\n          }\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box26.propositionBytes) == coll4(placeholder[Int](52)).get.slice(placeholder[Int](53), placeholder[Int](54)), box26.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            coll24(placeholder[Int](55)) == coll16(placeholder[Int](56)), coll23.slice(placeholder[Int](57), coll23.size) == coll13, coll23(\n              placeholder[Int](58)\n            ) == coll8(placeholder[Int](59)), coll23(placeholder[Int](60)) == coll8(placeholder[Int](61)), coll23(placeholder[Int](62)) == coll8(\n              placeholder[Int](63)\n            ), coll23(placeholder[Int](64)) == coll8(placeholder[Int](65)), box21.R6[Coll[Coll[Long]]].get == box2.R6[Coll[Coll[Long]]].get, box21.R7[\n              Coll[(AvlTree, AvlTree)]\n            ].get == box2.R7[Coll[(AvlTree, AvlTree)]].get, box21.R8[Coll[Coll[Long]]].get == box2.R8[Coll[Coll[Long]]].get\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "AjEdMmGnYEWbG9r4tUrw65cBZMJsiy5kvPogHTVSt8A5ADd9X4kjsrCCF9ozyWqSpDjESoevaewqcnYy3xiLNVoqRrzw2aa9cnsBH1QCQN5BCv3xVeCUAcNPmd3XHF67XWBWSJb5dQNQcoJbQWkkY2Geq7eWyjSCCqz9AsnDkn5PBMhq3an2674SbjSNrHEkAGCJunxYjBcQhagiavE65MPL6xje2mKpeTz3Zirx3UhQHb2ZMPzMpZaM7GoqBRzdVHtVbKWNH4w67fr8CycmRmCyQK23VVbWcrr65bNFTw6xDhiSTjmBjUg3WoWrGhEjyk9VXt9wL7uTw1auKBpEccHRANzjSyBzpGh9J9zr4VTJHg9o3bszpZAEPT4qTXSruvYfqcMwTbhFKUmhRuf4CtA14UwsCRvXo14JZ66QybeUL8m31FCZW1V8WzxMTc2LH6xZSXzzQJyG9LfCbXkRWWoJ18bGjapVfeG764RzyEhSLPz7BWwvGQbEtC8kpnkHMDKtmzqpwGD8d7Kfi1oW12Wb213bGTSCPpk2myreB5EE9ob2NinQJ4X184HsSDGiphdUxKuARJbmGG79SDawwTQrNB4zgbqU47tR8PLuR8JekHGFyf7kgxPL4GHviPkgxq4veqtQME5b96n1NCZ2L5u631J8tzhginrF5TqfCfK7PVCYAD7soHWTbhK8yxDZR34UrkY4U7px7kFducACmh9sd86ENvReqiW1TGEPEspvozAA6Xw22Net3hxMv18YqYDN8qEtPVUzpBLFLKtkSaQw8a1xjHbj6mAkEqsoAY927rxvJZ2FxChNHRHfW1TE5HauiRDSTxKbj3k9kFTfLubox2Dseswp7jtYFwkJAqo9CmtXAqBECq6xRAcnm3NSxzbLtd81C5Gnmz63PurKTd9tL6ibodQDUG8xWNkroD4DJjjEtUiCesh318pXoACPVfHMgpSQD7cWdZ9jrX925DhNFd2rJcPexjF6tza8r6nVNurR26DTH73H1KvsEPnat1C35d24M2gqSVuiuKHboNT1Xwa5MWLTPxU6J47qLkagTak6SkQYtrfXMrZZEBA9kaqkDi1i9LC5CZZ3NPNUq54kA9pzaR2mMJnyUNTzqjzDvPSpBPqcYZawqwywn9VTsHiurqWEpmXkydaY9f8NWGmbZPFycskbR4H52hcJrsAgRSGnMXeSHFTfdGZ52PLS3SPrjapTxHwz6JErYzRixTGYdsjVmVJz4swe1wVAb6ZFxLqZB6Nc2Yjsv3UqrPdmit3zAvXci3zxa3Ak36f25SiWmaqR9HtxbFgkD95yohs1UaRvSamNshU4bAkFYVhyvta9edwbtBPagw3rQZMKiWF8S1DLcDx81xiKW7h9wNcveZcdRQPcUiSfSy2Z1fkfv4JMBLNTmUV93",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": null,
      "mainChain": true
    },
    {
      "boxId": "48e3ea94fdcd9c462c1bf119489ac863a2a952b2a9b2a297e8d91fc797a850c8",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 4,
      "globalIndex": 29429445,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "103b040004000e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040004040400040c044a040a040c044a040a040c044a0402040805000410041004100400040204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000402040c044c04040404040204020400040004060406050005000502040204020402040204020400040004020500040004020442040405020404d815d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606db63087205d607e4c67205040c64d608e4c67202040c64d609e4c672050511d60ae4c672020511d60bb1720ad60cc57202d60d8cb2db6308b2a573060073070001d60ee4e3010c3c0e0ed60fb2720e730800d610e4b27204730900d611db0c0eb47210730a9d99b17210730b730cd612db0c0eb3b4720a730d720badb4ad7211d9011204b472109a9a730e9c730f721273109a73119c73129a7212731399720b7314b17211d901120e7315d613ad7212d9011304d801d6159a9c7213731673177cb48c720f0272159a72157318d614b27213731900d615b2a5731a00d196830a01938cb2db63087201731b0001731c96830901938cb27203731d0001b4e4b27204731e00731f732092c17205c1720293b472067321b17206b472037322b1720393b27207732300b2720873240093b27209732500b2720a73260093b472097327b17209b4720a7328720b93e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c67205081de4c67202081ded93720c720d93720c8c720f0193b0dc0c0fa501d9011663db630872167329d90116414d0ed801d6188c7216029a8c72160195938c721801720d8c721802732a732bed937214998cb27206732c00028cb27203732d000293721499b27209732e00b2720a732f0093b1720e733093db6401e4dc640cb2720873310002720ee4e3020edb6401b27207733200afb472137333b17212d901160593721673349683020193cbc27215b4e4b272047335007336733792c17215c1a7939ab2720a7338007339b27209733a00",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(3,-110,8,-68,78,-17,-102,3,-24,-41,-117,-122,99,-93,1,-69,95,-83,-36,-89,-117,-31,-99,127,-27,53,-77,-58,76,-66,-2,66)\n3: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 2\n7: 0\n8: 0\n9: 2\n10: 0\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 5\n17: 6\n18: 37\n19: 1\n20: 4\n21: 0\n22: 8\n23: 8\n24: 8\n25: 0\n26: 1\n27: 0\n28: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n29: 0\n30: 1\n31: 6\n32: 38\n33: 2\n34: 2\n35: 1\n36: 1\n37: 0\n38: 0\n39: 3\n40: 3\n41: 0\n42: 0\n43: 1\n44: 1\n45: 1\n46: 1\n47: 1\n48: 1\n49: 0\n50: 0\n51: 1\n52: 0\n53: 0\n54: 1\n55: 33\n56: 2\n57: 1\n58: 2",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box5 = OUTPUTS(placeholder[Int](5))\n  val coll6 = box5.tokens\n  val coll7 = box5.R4[Coll[AvlTree]].get\n  val coll8 = box2.R4[Coll[AvlTree]].get\n  val coll9 = box5.R5[Coll[Long]].get\n  val coll10 = box2.R5[Coll[Long]].get\n  val i11 = coll10.size\n  val coll12 = box2.id\n  val coll13 = OUTPUTS(placeholder[Int](6)).tokens(placeholder[Int](7))._1\n  val coll14 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val tuple15 = coll14(placeholder[Int](8))\n  val coll16 = coll4(placeholder[Int](9)).get\n  val coll17 = coll16.slice(placeholder[Int](10), coll16.size - placeholder[Int](11) / placeholder[Int](12)).indices\n  val coll18 = coll10.slice(placeholder[Int](13), i11).append(\n    coll17.map(\n      {(i18: Int) =>\n        coll16.slice(\n          placeholder[Int](14) + placeholder[Int](15) * i18 + placeholder[Int](16), placeholder[Int](17) + placeholder[Int](18) * i18 + placeholder[Int](19)\n        )\n      }\n    ).slice(i11 - placeholder[Int](20), coll17.size).map({(coll18: Coll[Byte]) => placeholder[Long](21) })\n  ).indices\n  val coll19 = coll18.map({(i19: Int) =>\n      val i21 = i19 * placeholder[Int](22) + placeholder[Int](23)\n      byteArrayToLong(tuple15._2.slice(i21, i21 + placeholder[Int](24)))\n    })\n  val l20 = coll19(placeholder[Int](25))\n  val box21 = OUTPUTS(placeholder[Int](26))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](27))._1 == placeholder[Coll[Byte]](28), allOf(\n          Coll[Boolean](\n            coll3(placeholder[Int](29))._1 == coll4(placeholder[Int](30)).get.slice(\n              placeholder[Int](31), placeholder[Int](32)\n            ), box5.value >= box2.value, coll6.slice(placeholder[Int](33), coll6.size) == coll3.slice(placeholder[Int](34), coll3.size), coll7(\n              placeholder[Int](35)\n            ) == coll8(placeholder[Int](36)), coll9(placeholder[Int](37)) == coll10(placeholder[Int](38)), coll9.slice(\n              placeholder[Int](39), coll9.size\n            ) == coll10.slice(placeholder[Int](40), i11), box5.R6[Coll[Coll[Long]]].get == box2.R6[Coll[Coll[Long]]].get, box5.R7[\n              Coll[(AvlTree, AvlTree)]\n            ].get == box2.R7[Coll[(AvlTree, AvlTree)]].get, box5.R8[Coll[Coll[Long]]].get == box2.R8[Coll[Coll[Long]]].get\n          )\n        ), (coll12 == coll13) && (coll12 == tuple15._1), OUTPUTS.flatMap({(box22: Box) => box22.tokens }).fold(\n          placeholder[Long](41), {(tuple22: (Long, (Coll[Byte], Long))) =>\n            val tuple24 = tuple22._2\n            tuple22._1 + if (tuple24._1 == coll13) { tuple24._2 } else { placeholder[Long](42) }\n          }\n        ) == placeholder[Long](43), (l20 == coll6(placeholder[Int](44))._2 - coll3(placeholder[Int](45))._2) && (\n          l20 == coll9(placeholder[Int](46)) - coll10(placeholder[Int](47))\n        ), coll14.size == placeholder[Int](48), coll8(placeholder[Int](49)).insert(coll14, getVar[Coll[Byte]](2.toByte).get).get.digest == coll7(\n          placeholder[Int](50)\n        ).digest, coll19.slice(placeholder[Int](51), coll18.size).forall({(l22: Long) => l22 == placeholder[Long](52) }), allOf(\n          Coll[Boolean](\n            blake2b256(box21.propositionBytes) == coll4(placeholder[Int](53)).get.slice(placeholder[Int](54), placeholder[Int](55)), box21.value >= SELF.value\n          )\n        ), coll10(placeholder[Int](56)) + placeholder[Long](57) == coll9(placeholder[Int](58))\n      )\n    )\n  )\n}",
      "address": "D8NB7dQJ2vzW32bzvtaELrgdfWwECP5QTB1ZycRmdko3nQncCmFivpqxQtoK9wSraymtxJnABzkxRD2ZYtkzMeB2MsrGXS4G5X4ZSUYKA4kFZeywLu3i8ka4eqbbaS9xumgxTa5ngNWUk5eDi7AsttpbFDPjAPWKREtGAY1m7hscD4qwPtoNXjoNi7WjXnb5z4aXFGziTbhM5Vfu1oSMtSJekavxmrSS8m2mnbaKJFJPCeJM5EW2oLLLUxAgsRwWPwy5De8bNZwZs99LoDMzTvpTxZhqY9wNQV7VYhWmDA1CAySxkj3XVmduYZQQpVTeLBcj1F2und4qkZiQh8X2Bzt5PaUBtQ8yJCPWjaZSxA6L7qPrTmoKxzM7FHBJVJd8j5zGnqboTvMdWvRbWSL31RnULCJUHgnC69DQvxEcPEF5mPbnzpEYu3L2Ec44zoVzssG8W9QSKMB9qbcviRr13KAN933RBpziSAoK16i5UFEcH4Bj34rJt8iEieLAos5cxUWdwTaK5w99UDEHZBcQUFfZg7Zz1mjRhfp4Wq6vjNawocbsfGgAfaK7A4mz2vyQ8tqhYCmrkq7SyJ5LEoxwdVDkLRnuQqWw5iynu8DTAL7igEn84Sjq6TuXLL2inSCp6bR2yeTBHzFCy9NX5nSPWBiPb21oTnk4YQpEf8VFp9GLCwyR8SSjMr8NDdMJmJCepq3p7yvNpi67jvaaTAFLXUbtncSuEgS2GRezRB6J9JvnXkQWvrpnJrm6ZszooraPAW5qbSDWhnbJ6MJSbdNpoyGu44hgWsgPCU1tMy7PyHxdrQFKcWqd9i3KVdjupvxoSnSkM19c4pfBSa9cbAZ2w8MT5WcfCcThEXyNBnAfuAc5FWaBbEWSZ3ZCXMvTW6cQKnFv4h2dtxuYiLJVH3PNr51tJBSm9MT77mYmRQmvs13eL82SsvnV87cof1iey33pE4zRgrRYJNrc9wep31vpBzExpxnpwT97o4gQunYW7VXPUt93xJ76DS9PDXJZThhMNQxziWtFfr5az5Z22waYLSynk9fRzf7Y9uXcDRB9fjMa9Z7wHU9c569xBnEQm7hQETjJWvkd595HaM617F2ne69DpwzMVFK4qypXq5pRU7Z3gcxWAFEMJtH5JNFnHptrCDsTSH56QUVM9sbtQRhSi33c5Tq1syXwyQJFKG2vEmPEmTqswpe5ogcKZaQD",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "2b663cdce262c5fa4bf013bce30eb20bf3146c0fda228185db9386b4c1438928",
      "mainChain": true
    },
    {
      "boxId": "74e414cd50ce5553d1e3413fc8ad3c09e9547a30f7392e9a009de054177663dc",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 5,
      "globalIndex": 29429446,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1039040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20400040004040400040c044a040c044a040a040c044a04020400040a040805000410041004100400040204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000400040c044c0402040204000400040604060404040004020402040204020402040405000405040404020400040204020442040405020404d815d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606e4c67205040c64d607e4c67202040c64d608e4c672050511d609e4c672020511d60ab17209d60be4e3010c3c0e0ed60cad720bd9010c3c0e0e8c720c01d60db2720c730600d60ee4b27204730700d60fdb0c0eb4720e73089d99b1720e7309730ad610ad720fd9011004b4720e9a9a730b9c730c7210730d9a730e9c730f9a72107310d611b27207731100d612addb0c0eb3b472097312720aadb4721099720a7313b1720fd901120e7314d9011204d801d6149a9c7212731573167cb4e4dc640a721102720de4e3020e72149a72147317d613b27212731800d614db63087205d615b2a5731900d196830a01938cb2db63087201731a0001731b96830701938cb27203731c0001b4e4b27204731d00731e731f93b27206732000b2720773210093b27208732200b2720973230093b472087324b17208b472097325720a93e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c67205081de4c67202081d938cb2db6308b2a473260073270001720d96830201937213998cb27203732800028cb272147329000293721399b27209732a00b27208732b0093b27212732c0099c17202c17205afb47203732db17203d901164d0ed801d6188c72160193998c721602b07214732ed90119414d0ed802d61b8c721902d61c8c72190195938c721b0172189a721c8c721b02721cb272129adc0c1a7210027218732f73300093b1720b733193db6401e4dc640e721102720ce4e3030edb6401b272067332009683020193cbc27215b4e4b272047333007334733592c17215c1a79399b272097336007337b27208733800",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(-117,-57,-113,28,106,-82,-55,30,98,-114,21,-49,102,-116,22,-52,30,-101,-40,-28,-71,-73,-31,109,99,24,-75,-11,35,-91,-23,-67)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 0\n7: 2\n8: 0\n9: 6\n10: 37\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 1\n17: 0\n18: 5\n19: 4\n20: 0\n21: 8\n22: 8\n23: 8\n24: 0\n25: 1\n26: 0\n27: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n28: 0\n29: 0\n30: 6\n31: 38\n32: 1\n33: 1\n34: 0\n35: 0\n36: 3\n37: 3\n38: 2\n39: 0\n40: 1\n41: 1\n42: 1\n43: 1\n44: 1\n45: 2\n46: 0\n47: -3\n48: 2\n49: 1\n50: 0\n51: 1\n52: 1\n53: 33\n54: 2\n55: 1\n56: 2",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box5 = OUTPUTS(placeholder[Int](5))\n  val coll6 = box5.R4[Coll[AvlTree]].get\n  val coll7 = box2.R4[Coll[AvlTree]].get\n  val coll8 = box5.R5[Coll[Long]].get\n  val coll9 = box2.R5[Coll[Long]].get\n  val i10 = coll9.size\n  val coll11 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val coll12 = coll11.map({(tuple12: (Coll[Byte], Coll[Byte])) => tuple12._1 })\n  val coll13 = coll12(placeholder[Int](6))\n  val coll14 = coll4(placeholder[Int](7)).get\n  val coll15 = coll14.slice(placeholder[Int](8), coll14.size - placeholder[Int](9) / placeholder[Int](10)).indices\n  val coll16 = coll15.map(\n    {(i16: Int) =>\n      coll14.slice(\n        placeholder[Int](11) + placeholder[Int](12) * i16 + placeholder[Int](13), placeholder[Int](14) + placeholder[Int](15) * i16 + placeholder[Int](16)\n      )\n    }\n  )\n  val avlTree17 = coll7(placeholder[Int](17))\n  val coll18 = coll9.slice(placeholder[Int](18), i10).append(\n    coll16.slice(i10 - placeholder[Int](19), coll15.size).map({(coll18: Coll[Byte]) => placeholder[Long](20) })\n  ).indices.map({(i18: Int) =>\n      val i20 = i18 * placeholder[Int](21) + placeholder[Int](22)\n      byteArrayToLong(avlTree17.get(coll13, getVar[Coll[Byte]](2.toByte).get).get.slice(i20, i20 + placeholder[Int](23)))\n    })\n  val l19 = coll18(placeholder[Int](24))\n  val coll20 = box5.tokens\n  val box21 = OUTPUTS(placeholder[Int](25))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](26))._1 == placeholder[Coll[Byte]](27), allOf(\n          Coll[Boolean](\n            coll3(placeholder[Int](28))._1 == coll4(placeholder[Int](29)).get.slice(placeholder[Int](30), placeholder[Int](31)), coll6(\n              placeholder[Int](32)\n            ) == coll7(placeholder[Int](33)), coll8(placeholder[Int](34)) == coll9(placeholder[Int](35)), coll8.slice(\n              placeholder[Int](36), coll8.size\n            ) == coll9.slice(placeholder[Int](37), i10), box5.R6[Coll[Coll[Long]]].get == box2.R6[Coll[Coll[Long]]].get, box5.R7[\n              Coll[(AvlTree, AvlTree)]\n            ].get == box2.R7[Coll[(AvlTree, AvlTree)]].get, box5.R8[Coll[Coll[Long]]].get == box2.R8[Coll[Coll[Long]]].get\n          )\n        ), INPUTS(placeholder[Int](38)).tokens(placeholder[Int](39))._1 == coll13, allOf(\n          Coll[Boolean](\n            l19 == coll3(placeholder[Int](40))._2 - coll20(placeholder[Int](41))._2, l19 == coll9(placeholder[Int](42)) - coll8(placeholder[Int](43))\n          )\n        ), coll18(placeholder[Int](44)) == box2.value - box5.value, coll3.slice(placeholder[Int](45), coll3.size).forall({(tuple22: (Coll[Byte], Long)) =>\n            val coll24 = tuple22._1\n            tuple22._2 - coll20.fold(placeholder[Long](46), {(tuple25: (Long, (Coll[Byte], Long))) =>\n                val tuple27 = tuple25._2\n                val l28 = tuple25._1\n                if (tuple27._1 == coll24) { l28 + tuple27._2 } else { l28 }\n              }) == coll18(coll16.indexOf(coll24, placeholder[Int](47)) + placeholder[Int](48))\n          }), coll11.size == placeholder[Int](49), avlTree17.remove(coll12, getVar[Coll[Byte]](3.toByte).get).get.digest == coll6(\n          placeholder[Int](50)\n        ).digest, allOf(\n          Coll[Boolean](\n            blake2b256(box21.propositionBytes) == coll4(placeholder[Int](51)).get.slice(placeholder[Int](52), placeholder[Int](53)), box21.value >= SELF.value\n          )\n        ), coll9(placeholder[Int](54)) - placeholder[Long](55) == coll8(placeholder[Int](56))\n      )\n    )\n  )\n}",
      "address": "7cMY3DUNEVF5SPFNPPjQ4UVeNB1MyoLLhRyMoy6oPpfafBqqZ4aJKK6LYhywHEVC8azUDBQTKffVBSafdRexsotKuMPbLCAXBGpUe6GSxmhfkSuM5VJP214svAH3jVYMtXptch5tbwJEeA1zbP3yF8KFyi17npdTv4uZq1xaURnwru8d1kTB5XGUHRi6nXNvq3y7Pds5WmU6rzoa1iGBMZb29jX7hwaciSzxUGCT1KswvVQGo899n1EgzXmdcBzXPMHPhRFmMvL7Rsz3PvhfyTR2apyY54KvhAexbcG2PRCARRNzacqngqP6JtKcG7s1NXvV2ZHeoVCfzUxbrahtx6LqKF8g4B7QpphL8ERGHnQegU83U5h6HNkMgfgXa4U3e1QuEAenuScnMXK8kXDhKXSQmgs1TcuQFF311raHKPZYdqQAcLsBbm1BRaZLzKznUPqbYxZ5gxDWoD9LRkvxJdovKySnPqJsDFSbgJ5r1uZwD23BsnmjUxohj5XiXockSREWVW6mGnPEFkPWZqUTBQMzztEP8kkRgW6SFCtfwoVfjhEEZhdxhG8oBVCAkpkapXaumdRHBvfU7ULAbobTAvRLdk67wHwWN8kCuRyQtmJY2KbzmfSxoXqNvZqNCgB5rnQWptLyvyEMKxehytGiG9nhFEFWVSw77FfiSsLED5K1vg8Hch4DnZrzDowGt6pacTbphuKoYFTGzMswnWtnMETwU2epFZbnpoEbD68DsF5Qq5gjK9EwS4pps61nggvqXQLi8W5W1SrNsSggWDnkjUT61HYV5ZZ3QjPJediG69Z22VNZqve62hD6WjSwcTksGgaCzqm3wZq6URRS9qQzK7LP23FGz8fbKRsS35VwqCJRnKZDKZZLbvckGXzE7vbJy97SkemYz3geZjLcndLLTwhFnKFWvSen2TYDoS5hRmJcYRMg7nbd6M64kSed6x5U47mnHu3sQA8GegPPf5Amk578Ra51tqtxbpYPajaVL6qXCfSUige78an8rtEkcx2gyPdnSQoUJ9bn2jo6ezWuDAvi89Z6b3Pc7m59DAFGNDVoyEPXDeLfAGkTc9sMhhYHbwpz4j1YGUgHp7w3A4ESPo4cYMjsSo9fNju7vZLwU96Vd914CZndGuJYL7HXxLLqHa9DSKHjecg2wXzZKnY3qSw436Ua1oDw3KdYEYoGESNfZygAseezJCWUAWe6CW7F4H9Tbq56iHYMW8QLRY",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": null,
      "mainChain": true
    },
    {
      "boxId": "3a5d79ffdfeb15a836993a7025a99053eaea1633a9e15e151e0a7ca1d43cbc32",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 6,
      "globalIndex": 29429447,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "108801040204000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20b0b907abafad8dffce2f9f1dfa1535c022dda05366f4fbd27f581d132f4b23f60e209b16b18081274dc22f18e8591996a266d3b921b771810cca0cb8e7124ad808be0e2041f398806552845e52009032105f59e5cb2cb141de63cc737b6d995753c36e810e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20e2028c684593e114e7a522ca6e6909877ad0a79ae99db6d6cd43819a34d505b37e80e203b0839c7f77efc86dba0a45faacd64a638b68e0ac26aa80a158c8ebe57ae15830400040004020400049c010473043e04900104b60104cf01042904f101042a047e04f80104ae010449049e0104bc01046504ea0104aa0104de010445048701048001047604820104a701040f048801043e044304e301042c0412040004000402040204040406040c02000264040202000408040e0402040a0400040c044a0406040204120402040004020402044204000400040c044c040204040404040605000408050004000402040604080402020002640402020004020402040004040402041204020408040c044a040a040c044a0402040605000400050204000400040204000402040204000404040204000406040204000408040204000400040204080500040004080402041204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacfd826d601b2a5730000d602b2db6501fe730100d603dc640be4c6720204640283080e73027303730473057306730773087309e4e3000ed604b2a4730a00d605db63087204d606b2a5730b00d607e4c672060511d608e4c672040511d609b27208730c00d60ae4c67206040c64d60be4c67204040c64d60cdb6401b2720b730d00d60dad832104730e730f7310731173127313731473157316731773187319731a731b731c731d731e731f7320732173227323732473257326732773287329732a732b732c732d732ed9010d047d720d02d60ee4c67206061dd60fb2720e732f00d610b1720fd6119972107330d612b2720e733100d613b2720e733200d614b2720e733300d615b27203733400d616a27335a1733695e67215b2e472157337007338d617b2720e733900d618b17217d619b27203733a00d61ae4c67206070c3c6464d61bb1721ad61cb2721a99721b733b00d61de4c67206081dd61eb1721dd61fb17208d620e4b27203733c00d621db0c0eb47220733d9d99b17220733e733fd622e4c67204070c3c6464d6237d7cb4e4b272037340007341734204d6249972237343d625e4c67204061dd626b27208734400d1968309019683020193cbc27201b4e4b272037345007346734792c17201c1a796830801938cb2720573480001b4e4b27203734900734a734b93db63087206720593b27207734c00720993b27207734d00b27208734e0093b27207734f00735093b27207735100735293db6401b2720a735300720c93db6401b2720a735400720d9683080193b2720f721100720993b27212721100b2720873550093b27213721100b2720873560093b272147211007e72160593b272179972187357007ea27358a1997359721695e67219b2e47219735a00735b0593db64018c721c01720c93db64018c721c02db6401b2720b735c0093b2b2721d99721e735d00735e00a17cb4e4b27203735f00736073619999998cb27205736200027209b2b3b472087363721fadb4ad7221d9012704b472209a9a73649c7365722773669a73679c73689a7227736999721f736ab17221d901270e736b736c00736d9683070193db64018cb27222736e0001720d93b4721a736f7224b472227370722393b4721273717224b4b272257372007373722393b4721373747224b4b272257375007376722393b4721473777224b4b272257378007379722393b47217737a7224b4b27225737b00737c722393b4720f737d7224b4b27225737e00737f72239683070193721b7223937210722393721e722393b172147223937218722393b17212722393b172137223afb47207738001b17207d901270593722773810193b27207738201009a72267cb4e4b2720373830100738401738501907226db6903db6503fe938cb2db630872027386010001738701",
      "ergoTreeConstants": "0: 1\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n4: Coll(-80,-71,7,-85,-81,-83,-115,-1,-50,47,-97,29,-6,21,53,-64,34,-35,-96,83,102,-12,-5,-46,127,88,29,19,47,75,35,-10)\n5: Coll(-101,22,-79,-128,-127,39,77,-62,47,24,-24,89,25,-106,-94,102,-45,-71,33,-73,113,-127,12,-54,12,-72,-25,18,74,-40,8,-66)\n6: Coll(65,-13,-104,-128,101,82,-124,94,82,0,-112,50,16,95,89,-27,-53,44,-79,65,-34,99,-52,115,123,109,-103,87,83,-61,110,-127)\n7: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n8: Coll(40,-58,-124,89,62,17,78,122,82,44,-90,-26,-112,-104,119,-83,10,121,-82,-103,-37,109,108,-44,56,25,-93,77,80,91,55,-24)\n9: Coll(59,8,57,-57,-9,126,-4,-122,-37,-96,-92,95,-86,-51,100,-90,56,-74,-114,10,-62,106,-88,10,21,-116,-114,-66,87,-82,21,-125)\n10: 0\n11: 0\n12: 1\n13: 0\n14: 78\n15: -58\n16: 31\n17: 72\n18: 91\n19: -104\n20: -21\n21: -121\n22: 21\n23: 63\n24: 124\n25: 87\n26: -37\n27: 79\n28: 94\n29: -51\n30: 117\n31: 85\n32: 111\n33: -35\n34: -68\n35: 64\n36: 59\n37: 65\n38: -84\n39: -8\n40: 68\n41: 31\n42: -34\n43: -114\n44: 22\n45: 9\n46: 0\n47: 0\n48: 1\n49: 1\n50: 2\n51: 3\n52: 6\n53: 0\n54: 100\n55: 1\n56: 0\n57: 4\n58: 7\n59: 1\n60: 5\n61: 0\n62: 6\n63: 37\n64: 3\n65: 1\n66: 9\n67: 1\n68: 0\n69: 1\n70: 1\n71: 33\n72: 0\n73: 0\n74: 6\n75: 38\n76: 1\n77: 2\n78: 2\n79: 3\n80: 0\n81: 4\n82: 0\n83: 0\n84: 1\n85: 3\n86: 4\n87: 1\n88: 0\n89: 100\n90: 1\n91: 0\n92: 1\n93: 1\n94: 0\n95: 2\n96: 1\n97: 9\n98: 1\n99: 4\n100: 6\n101: 37\n102: 5\n103: 6\n104: 37\n105: 1\n106: 3\n107: 0\n108: 0\n109: 1\n110: 0\n111: 0\n112: 1\n113: 0\n114: 1\n115: 1\n116: 0\n117: 2\n118: 1\n119: 0\n120: 3\n121: 1\n122: 0\n123: 4\n124: 1\n125: 0\n126: 0\n127: 1\n128: 4\n129: 0\n130: 0\n131: 4\n132: 1\n133: 9\n134: 0\n135: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)",
      "ergoTreeScript": "{\n  val box1 = OUTPUTS(placeholder[Int](0))\n  val box2 = CONTEXT.dataInputs(placeholder[Int](1))\n  val coll3 = box2.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](\n      placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4), placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6), placeholder[\n        Coll[Byte]\n      ](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9)\n    ), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box4 = INPUTS(placeholder[Int](10))\n  val coll5 = box4.tokens\n  val box6 = OUTPUTS(placeholder[Int](11))\n  val coll7 = box6.R5[Coll[Long]].get\n  val coll8 = box4.R5[Coll[Long]].get\n  val l9 = coll8(placeholder[Int](12))\n  val coll10 = box6.R4[Coll[AvlTree]].get\n  val coll11 = box4.R4[Coll[AvlTree]].get\n  val coll12 = coll11(placeholder[Int](13)).digest\n  val coll13 = Coll[Int](\n    placeholder[Int](14), placeholder[Int](15), placeholder[Int](16), placeholder[Int](17), placeholder[Int](18), placeholder[Int](19), placeholder[Int](\n      20\n    ), placeholder[Int](21), placeholder[Int](22), placeholder[Int](23), placeholder[Int](24), placeholder[Int](25), placeholder[Int](26), placeholder[Int](\n      27\n    ), placeholder[Int](28), placeholder[Int](29), placeholder[Int](30), placeholder[Int](31), placeholder[Int](32), placeholder[Int](33), placeholder[Int](\n      34\n    ), placeholder[Int](35), placeholder[Int](36), placeholder[Int](37), placeholder[Int](38), placeholder[Int](39), placeholder[Int](40), placeholder[Int](\n      41\n    ), placeholder[Int](42), placeholder[Int](43), placeholder[Int](44), placeholder[Int](45), placeholder[Int](46)\n  ).map({(i13: Int) => i13.toByte })\n  val coll14 = box6.R6[Coll[Coll[Long]]].get\n  val coll15 = coll14(placeholder[Int](47))\n  val i16 = coll15.size\n  val i17 = i16 - placeholder[Int](48)\n  val coll18 = coll14(placeholder[Int](49))\n  val coll19 = coll14(placeholder[Int](50))\n  val coll20 = coll14(placeholder[Int](51))\n  val opt21 = coll3(placeholder[Int](52))\n  val b22 = max(placeholder[Byte](53), min(placeholder[Byte](54), if (opt21.isDefined) { opt21.get(placeholder[Int](55)) } else { placeholder[Byte](56) }))\n  val coll23 = coll14(placeholder[Int](57))\n  val i24 = coll23.size\n  val opt25 = coll3(placeholder[Int](58))\n  val coll26 = box6.R7[Coll[(AvlTree, AvlTree)]].get\n  val i27 = coll26.size\n  val tuple28 = coll26(i27 - placeholder[Int](59))\n  val coll29 = box6.R8[Coll[Coll[Long]]].get\n  val i30 = coll29.size\n  val i31 = coll8.size\n  val coll32 = coll3(placeholder[Int](60)).get\n  val coll33 = coll32.slice(placeholder[Int](61), coll32.size - placeholder[Int](62) / placeholder[Int](63)).indices\n  val coll34 = box4.R7[Coll[(AvlTree, AvlTree)]].get\n  val i35 = byteArrayToLong(coll3(placeholder[Int](64)).get.slice(placeholder[Int](65), placeholder[Int](66))).toInt\n  val i36 = i35 - placeholder[Int](67)\n  val coll37 = box4.R6[Coll[Coll[Long]]].get\n  val l38 = coll8(placeholder[Int](68))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        allOf(\n          Coll[Boolean](\n            blake2b256(box1.propositionBytes) == coll3(placeholder[Int](69)).get.slice(placeholder[Int](70), placeholder[Int](71)), box1.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            coll5(placeholder[Int](72))._1 == coll3(placeholder[Int](73)).get.slice(placeholder[Int](74), placeholder[Int](75)), box6.tokens == coll5, coll7(\n              placeholder[Int](76)\n            ) == l9, coll7(placeholder[Int](77)) == coll8(placeholder[Int](78)), coll7(placeholder[Int](79)) == placeholder[Long](80), coll7(\n              placeholder[Int](81)\n            ) == placeholder[Long](82), coll10(placeholder[Int](83)).digest == coll12, coll10(placeholder[Int](84)).digest == coll13\n          )\n        ), allOf(\n          Coll[Boolean](\n            coll15(i17) == l9, coll18(i17) == coll8(placeholder[Int](85)), coll19(i17) == coll8(placeholder[Int](86)), coll20(i17) == b22.toLong, coll23(\n              i24 - placeholder[Int](87)\n            ) == max(\n              placeholder[Byte](88), min(placeholder[Byte](89) - b22, if (opt25.isDefined) { opt25.get(placeholder[Int](90)) } else { placeholder[Byte](91) })\n            ).toLong, tuple28._1.digest == coll12, tuple28._2.digest == coll11(placeholder[Int](92)).digest, coll29(i30 - placeholder[Int](93))(\n              placeholder[Int](94)\n            ) == min(\n              byteArrayToLong(coll3(placeholder[Int](95)).get.slice(placeholder[Int](96), placeholder[Int](97))), coll5(\n                placeholder[Int](98)\n              )._2 - l9 - coll8.slice(placeholder[Int](99), i31).append(\n                coll33.map(\n                  {(i39: Int) =>\n                    coll32.slice(\n                      placeholder[Int](100) + placeholder[Int](101) * i39 + placeholder[Int](102), placeholder[Int](103) + placeholder[Int](\n                        104\n                      ) * i39 + placeholder[Int](105)\n                    )\n                  }\n                ).slice(i31 - placeholder[Int](106), coll33.size).map({(coll39: Coll[Byte]) => placeholder[Long](107) })\n              )(placeholder[Int](108)) - placeholder[Long](109)\n            )\n          )\n        ), allOf(\n          Coll[Boolean](\n            coll34(placeholder[Int](110))._1.digest == coll13, coll26.slice(placeholder[Int](111), i36) == coll34.slice(\n              placeholder[Int](112), i35\n            ), coll18.slice(placeholder[Int](113), i36) == coll37(placeholder[Int](114)).slice(placeholder[Int](115), i35), coll19.slice(\n              placeholder[Int](116), i36\n            ) == coll37(placeholder[Int](117)).slice(placeholder[Int](118), i35), coll20.slice(placeholder[Int](119), i36) == coll37(\n              placeholder[Int](120)\n            ).slice(placeholder[Int](121), i35), coll23.slice(placeholder[Int](122), i36) == coll37(placeholder[Int](123)).slice(\n              placeholder[Int](124), i35\n            ), coll15.slice(placeholder[Int](125), i36) == coll37(placeholder[Int](126)).slice(placeholder[Int](127), i35)\n          )\n        ), allOf(Coll[Boolean](i27 == i35, i16 == i35, i30 == i35, coll20.size == i35, i24 == i35, coll18.size == i35, coll19.size == i35)), coll7.slice(\n          placeholder[Int](128), coll7.size\n        ).forall({(l39: Long) => l39 == placeholder[Long](129) }), coll7(placeholder[Int](130)) == l38 + byteArrayToLong(\n          coll3(placeholder[Int](131)).get.slice(placeholder[Int](132), placeholder[Int](133))\n        ), l38 <= CONTEXT.preHeader.timestamp, box2.tokens(placeholder[Int](134))._1 == placeholder[Coll[Byte]](135)\n      )\n    )\n  )\n}",
      "address": "2tr1wh8AbHoM86fSPPd6GfAVdXGFMTk4C5fBvWNE6sjDipsM3esvR44L5ED7g1HV7YpTNjC4mNtzW8koY7vEkX5H1AaSpE9NYgvUoMSH6RkxLCfZZexu5Lmw8Sd6GuETLBQKzqLoxC5upbCNy9zQeTApjbHoRYKuX54H95wgYCCTi4cAumKQ3Y4wQ6GPTQEm4mFqErTkvYfBghVEbhm7R2MvXYZfmJNFsuzqqj4wAW1r9wycuQb53wUuMijU2U8rrm8JPFzFp4eBByz1oXFBM8Z3pwvr9ySysWWmCBXVTqXmpLma8wWYWB85VH4QUpvACUxiaypJhRVSWBHLMjULbv7Vj4j3oCgoJLzgAEZUFgbid3inbnyz41zzmse1uNdakKqKbTS2nxNoctjVFbwwFKaT542kCEDPnYp13RUWbmBqtdvLkuBfaw3ft7CUCSxRE4yDJtbR4LBCWYKguEiorYZtjhMFd8v6y2X4qTSwg5PPSY2DArqwEhgf82VDJpPYCCa46GuLKBAuasZSaBzjkj5yEraAMivspQ1Xe1ZG6yMN7bsBu6kTo7ETQJsPTFvENg72TCPSHjddBbrtx2uFjndmQU88XoxWKHvm3GaXdR9jxboSTg1aeCUycnc41WzNPassmc41KtaRA9B7RgoVj2Gvkar2ZBG2DgCBwfK5oFHyMyDswry5eRVqqqaSEjqXdaZdvQGPdsQJGHU8JAotaM5yhP1ythQTXUXfrwaYsATcNYHtW7PJ9Yhogo6otmBG7YBsgykkF1KtzoFKJTNZV7SBfmpDzvycyXYGg2Jyok7Ci1iytjt45Dd81NEJHbpDqiQ2WwewLt4ft1CjcJfJH1HRzMqypJRABossxJSvPJxxRmYbpEFBeyjeXrcXuAYWmz9x8N6yQDydCRKGXPUken8L1FedzF3Ty1u5rcdJBuwN3iqKFw2PcBqFJUcR23fkSX7bCS8a8fmzs9AbWQ3iRY3TgjtRUFvNvJ8h4aKFpNR5LcnXu5j9r75evtMHFg31Gf1yi5qnq4LRUt2JML85AmhD5SJSZjnf28EM6bFT7ogFb4NYpRSPbQ5yZNWAy7m7bDL6eL9iwjoJbLvcyWBFnHsAKbUfizu2m9uiQjuNPWi7eqTPAcksFgiu2H6QWsZWXqXpfpxkL9V7frQj7WTH6NZmPmzCJz14akuxR4VQXU6U8GLZA4zmyd3m6yAYF6tzyoRJmZtAmwq7qBT221K2SFZvLCMUYknAwswJUQqsi1Sxo5C8J55Eojh53tVbpwRYkjUTLFPTvYVe12qc9fNJEMTUReueeAGjfQrEhNHnxEcViymVi4KzeH3gPUrcErXLfGnGb9xjifC7195vmMeD9p7RA3CBiRJSddn79N5JaVgaVtXzEJcQ9RiMgn1VBvEWCKMFENbCNjFeboedcNbR4eYdZppATQWV57vK3uHG3FauyDoNj53nwrGw3HztBdCuDEyAaRSNzAVWwxx3TmhJz73SrXpfmDzBXywpdiqXD3JnSkVV7Rb6Ldd8SNbwXxYWsRBYqVN7MQnT12towi2imkxfMig6iY6s2ojGZvQMRPLfeiiAbowe9vkfiPi9LRcoBFLv2emJYFxZtma8yghmiieCHisYDvipxz6G59ti99V4b4Lc12sPpuosPkSeKFe73aWtKxB5WZFPkqBy96umX9ffK2HVjWXnPg7GJiMQKmNhEhpwCwh5xoXg16ogqPfF4jFPFPXQn5a9ZyEkhGGbide5ocv1ePAzctuAsnHiAKVfYrZyKDvrv5pMuA8N9T59JV8XakHo1ispscDVNMVp2ej1qCKTabZBYTiw4G8NNfm3CYXrN5rCdicyakqq7Nnbc4pEz9CSfT9gcBgTwkeCFPv9S22yp817zGBU5qPGrmHQGiR3v8KHQBShTmFViTBXa1YfJNw9RPjiZH5k2F9mjQPECasXQHbRwYdbPY6ubkK629wA1hYbW85AY9H1xgBScBdiWt1xpXTX4rzWKUnS9KaYN3EnVHQbD2BAkUhaHVH8B1QuQGoHphYnDWwPqVY9fggoZuS9vz96QZvvuz516yU4mT41UxMQSLMDsrsbRpVdRpF2kaQe7zGocJEW7PaZsochfrsqNeMw6tT8hk1GYkaBD3FNRdSTyv98UtwdpTNsYSaQrGayH7QpTPXgyC3DtAkEJ559gaB7S5w8S",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "9031358eae4e4e5b2c1360bc54de68a195db306451daebd277a9bfad4f218687",
      "mainChain": true
    },
    {
      "boxId": "6c8fa496ec6eaa3c04368ea8aa531f336cbbf9a6fc790a5d1ad45c8458ab599e",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 7,
      "globalIndex": 29429448,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "108401040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040a040c044a040a040c044a0402040805000410041004100501040004100420040004000402040004060500040002000404040004080500040002000400026402000264060100060100040004100410042005000500040004100410041006010001010400040004020402040204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000400040c044c04000500040004000400040004020400050004000400040004000601000400040204100420050004000402040204420402040204000400040404040414024e02c6021f0248025b029802eb02870215023f027c025702db024f025e02cd02750255026f02dd02bc0240023b024102ac02f80244021f02de028e021602090200d830d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606ad7205d901063c0e0e8c720601d607db0c0e7206d608e4c67202040c64d609b27208730500d60ae4c672020511d60bb1720ad60ce4b27204730600d60ddb0c0eb4720c73079d99b1720c73087309d60eb3b4720a730a720badb4ad720dd9010e04b4720c9a9a730b9c730c720e730d9a730e9c730f9a720e731099720b7311b1720dd9010e0e7312d60fdb0c0e720ed610addc640b7209027206e4e3020ed901103295e67210ad720fd9011204d801d6149a9c7212731373147cb4e4721072149a72147315ad720ed90112057316d611e4c67202070c3c6464d612b27211731700d6138c721201d614addc640b7213027206e4e3030ed90114327cb4e4721473187319d615e4c67202061dd616b2b27215731a00731b00d617b2b27215731c00731d00d618b27215731e00d61995917217731f7db27218732000027321d61ab2b27215732200732300d61bb27215732400d61c9591721a73257db2721b732600027327d61d9a7219721cd61e95917e721d047328a2997329721d732a732bd61f732cd620732dd6219a721d721ed6228c721202d623addc640b7222027206e4e3050ed901233295e67223d801d625e4722386027cb47225732e732f7cb4722573307331860273327333d624e4c67202081dd625b27224733400d626ad7205d901263c0e0ead720fd9012804d801d62a9a9c7228733573367cb48c722602722a9a722a7337d6278602ad7225d901270573387339d628b2a5733a00d629e4c672280511d62ae4c67228070c3c6464d62bb2722a733b00d62cdb64018c722b01d62de4c67228040c64d62eb2a5733c00d62f938c722b027222d63093b4722a733db1722ab47211733eb17211d196830901938cb2db63087201733f00017340938cb2720373410001b4e4b272047342007343734496ad7207d9013104d801d633b272107231008c9592b272337345007346d801d634ad7225d9013405d801d6367e7234069d9a9a9c9d9c7eb272147231000672367e7216067e721e0695917e72190473479c9d9c7e8cb27223723100010672367e7217067eb2721873480006721f95917e721c0473499c9d9c7e8cb27223723100020672367e721a067eb2721b734a000672207e7221068602723493addc0c1d7233017234d9013541069a7e8c723501068c723502adb27226723100d90135057e723506722702939a7eb2720a734b0006b0ad7207d9013104d801d633b272107231009592b27233734c00734dd801d634ad7225d9013405d801d6367e7234069d9a9a9c9d9c7eb272147231000672367e7216067e721e0695917e721904734e9c9d9c7e8cb27223723100010672367e7217067eb27218734f0006721f95917e721c0473509c9d9c7e8cb27223723100020672367e721a067eb2721b7351000672207e7221068602723493addc0c1d7233017234d9013541069a7e8c723501068c723502adb27226723100d90135057e72350672277352d901314249129a8c723101b28c8c723102017353007eb272297354000693db6401e4dc640e7213027206e4e3040e722c93db6401e4dc640d720902b57205d901313c0e0e917cb48c723102735573567357e4e3060edb6401b2722d7358009683020193cbc2722eb4e4b27204735900735a735b92c1722ec1a796830b0193c17228c1720293db63087228720393db6401b2722d735c00db6401b27208735d00722f723093b27229735e00b2720a735f0093b472297360b17229b4720a7361720b93e4c67228061d72157230722f93e4c67228081d7224ec92b17205736293722c8321027363736473657366736773687369736a736b736c736d736e736f7370737173727373737473757376737773787379737a737b737c737d737e737f738001738101738201738301",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 2\n7: 0\n8: 6\n9: 37\n10: 5\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 1\n17: 4\n18: 0\n19: 8\n20: 8\n21: 8\n22: -1\n23: 0\n24: 8\n25: 16\n26: 0\n27: 0\n28: 1\n29: 0\n30: 3\n31: 0\n32: 0\n33: 0\n34: 2\n35: 0\n36: 4\n37: 0\n38: 0\n39: 0\n40: 0\n41: 100\n42: 0\n43: 100\n44: CBigInt(0)\n45: CBigInt(0)\n46: 0\n47: 8\n48: 8\n49: 16\n50: 0\n51: 0\n52: 0\n53: 8\n54: 8\n55: 8\n56: CBigInt(0)\n57: true\n58: 0\n59: 0\n60: 1\n61: 1\n62: 1\n63: 0\n64: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n65: 0\n66: 0\n67: 6\n68: 38\n69: 0\n70: 0\n71: 0\n72: 0\n73: 0\n74: 0\n75: 1\n76: 0\n77: 0\n78: 0\n79: 0\n80: 0\n81: 0\n82: CBigInt(0)\n83: 0\n84: 1\n85: 8\n86: 16\n87: 0\n88: 0\n89: 1\n90: 1\n91: 33\n92: 1\n93: 1\n94: 0\n95: 0\n96: 2\n97: 2\n98: 10\n99: 78\n100: -58\n101: 31\n102: 72\n103: 91\n104: -104\n105: -21\n106: -121\n107: 21\n108: 63\n109: 124\n110: 87\n111: -37\n112: 79\n113: 94\n114: -51\n115: 117\n116: 85\n117: 111\n118: -35\n119: -68\n120: 64\n121: 59\n122: 65\n123: -84\n124: -8\n125: 68\n126: 31\n127: -34\n128: -114\n129: 22\n130: 9\n131: 0",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val coll5 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val coll6 = coll5.map({(tuple6: (Coll[Byte], Coll[Byte])) => tuple6._1 })\n  val coll7 = coll6.indices\n  val coll8 = box2.R4[Coll[AvlTree]].get\n  val avlTree9 = coll8(placeholder[Int](5))\n  val coll10 = box2.R5[Coll[Long]].get\n  val i11 = coll10.size\n  val coll12 = coll4(placeholder[Int](6)).get\n  val coll13 = coll12.slice(placeholder[Int](7), coll12.size - placeholder[Int](8) / placeholder[Int](9)).indices\n  val coll14 = coll10.slice(placeholder[Int](10), i11).append(\n    coll13.map(\n      {(i14: Int) =>\n        coll12.slice(\n          placeholder[Int](11) + placeholder[Int](12) * i14 + placeholder[Int](13), placeholder[Int](14) + placeholder[Int](15) * i14 + placeholder[Int](16)\n        )\n      }\n    ).slice(i11 - placeholder[Int](17), coll13.size).map({(coll14: Coll[Byte]) => placeholder[Long](18) })\n  )\n  val coll15 = coll14.indices\n  val coll16 = avlTree9.getMany(coll6, getVar[Coll[Byte]](2.toByte).get).map({(opt16: Option[Coll[Byte]]) => if (opt16.isDefined) { coll15.map({(i18: Int) =>\n            val i20 = i18 * placeholder[Int](19) + placeholder[Int](20)\n            byteArrayToLong(opt16.get.slice(i20, i20 + placeholder[Int](21)))\n          }) } else { coll14.map({(l18: Long) => placeholder[Long](22) }) } })\n  val coll17 = box2.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple18 = coll17(placeholder[Int](23))\n  val avlTree19 = tuple18._1\n  val coll20 = avlTree19.getMany(coll6, getVar[Coll[Byte]](3.toByte).get).map(\n    {(opt20: Option[Coll[Byte]]) => byteArrayToLong(opt20.get.slice(placeholder[Int](24), placeholder[Int](25))) }\n  )\n  val coll21 = box2.R6[Coll[Coll[Long]]].get\n  val l22 = coll21(placeholder[Int](26))(placeholder[Int](27))\n  val l23 = coll21(placeholder[Int](28))(placeholder[Int](29))\n  val coll24 = coll21(placeholder[Int](30))\n  val b25 = if (l23 > placeholder[Long](31)) { coll24(placeholder[Int](32)).toByte } else { placeholder[Byte](33) }\n  val l26 = coll21(placeholder[Int](34))(placeholder[Int](35))\n  val coll27 = coll21(placeholder[Int](36))\n  val b28 = if (l26 > placeholder[Long](37)) { coll27(placeholder[Int](38)).toByte } else { placeholder[Byte](39) }\n  val b29 = b25 + b28\n  val b30 = if (b29.toInt > placeholder[Int](40)) { max(placeholder[Byte](41) - b29, placeholder[Byte](42)) } else { placeholder[Byte](43) }\n  val bi31 = placeholder[BigInt](44)\n  val bi32 = placeholder[BigInt](45)\n  val b33 = b29 + b30\n  val avlTree34 = tuple18._2\n  val coll35 = avlTree34.getMany(coll6, getVar[Coll[Byte]](5.toByte).get).map({(opt35: Option[Coll[Byte]]) => if (opt35.isDefined) {(\n        val coll37 = opt35.get\n        (byteArrayToLong(coll37.slice(placeholder[Int](46), placeholder[Int](47))), byteArrayToLong(coll37.slice(placeholder[Int](48), placeholder[Int](49))))\n      )} else { (placeholder[Long](50), placeholder[Long](51)) } })\n  val coll36 = box2.R8[Coll[Coll[Long]]].get\n  val coll37 = coll36(placeholder[Int](52))\n  val coll38 = coll5.map({(tuple38: (Coll[Byte], Coll[Byte])) => coll15.map({(i40: Int) =>\n          val i42 = i40 * placeholder[Int](53) + placeholder[Int](54)\n          byteArrayToLong(tuple38._2.slice(i42, i42 + placeholder[Int](55)))\n        }) })\n  val tuple39 = (coll37.map({(l39: Long) => placeholder[BigInt](56) }), placeholder[Boolean](57))\n  val box40 = OUTPUTS(placeholder[Int](58))\n  val coll41 = box40.R5[Coll[Long]].get\n  val coll42 = box40.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple43 = coll42(placeholder[Int](59))\n  val coll44 = tuple43._1.digest\n  val coll45 = box40.R4[Coll[AvlTree]].get\n  val box46 = OUTPUTS(placeholder[Int](60))\n  val bool47 = tuple43._2 == avlTree34\n  val bool48 = coll42.slice(placeholder[Int](61), coll42.size) == coll17.slice(placeholder[Int](62), coll17.size)\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](63))._1 == placeholder[Coll[Byte]](64), coll3(placeholder[Int](65))._1 == coll4(placeholder[Int](66)).get.slice(\n          placeholder[Int](67), placeholder[Int](68)\n        ), allOf(coll7.map({(i49: Int) =>\n              val coll51 = coll16(i49)\n              if (coll51(placeholder[Int](69)) >= placeholder[Long](70)) {(\n                val coll52 = coll37.map({(l52: Long) =>\n                    val bi54 = l52.toBigInt\n                    coll20(i49).toBigInt * bi54 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](71)) { coll35(i49)._1.toBigInt * bi54 / l23.toBigInt * coll24(placeholder[Int](72)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](73)) { coll35(i49)._2.toBigInt * bi54 / l26.toBigInt * coll27(placeholder[Int](74)).toBigInt } else { bi32 } / b33.toBigInt\n                  })\n                (coll52, coll51.zip(coll52).map({(tuple53: (Long, BigInt)) => tuple53._1.toBigInt + tuple53._2 }) == coll38(i49).map({(l53: Long) => l53.toBigInt }))\n              )} else { tuple39 }._2\n            })), coll10(placeholder[Int](75)).toBigInt + coll7.map({(i49: Int) =>\n            val coll51 = coll16(i49)\n            if (coll51(placeholder[Int](76)) >= placeholder[Long](77)) {(\n              val coll52 = coll37.map({(l52: Long) =>\n                  val bi54 = l52.toBigInt\n                  coll20(i49).toBigInt * bi54 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](78)) { coll35(i49)._1.toBigInt * bi54 / l23.toBigInt * coll24(placeholder[Int](79)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](80)) { coll35(i49)._2.toBigInt * bi54 / l26.toBigInt * coll27(placeholder[Int](81)).toBigInt } else { bi32 } / b33.toBigInt\n                })\n              (coll52, coll51.zip(coll52).map({(tuple53: (Long, BigInt)) => tuple53._1.toBigInt + tuple53._2 }) == coll38(i49).map({(l53: Long) => l53.toBigInt }))\n            )} else { tuple39 }\n          }).fold(placeholder[BigInt](82), {(tuple49: (BigInt, (Coll[BigInt], Boolean))) => tuple49._1 + tuple49._2._1(placeholder[Int](83)) }) == coll41(\n          placeholder[Int](84)\n        ).toBigInt, avlTree19.remove(coll6, getVar[Coll[Byte]](4.toByte).get).get.digest == coll44, avlTree9.update(\n          coll5.filter(\n            {(tuple49: (Coll[Byte], Coll[Byte])) => byteArrayToLong(tuple49._2.slice(placeholder[Int](85), placeholder[Int](86))) > placeholder[Long](87) }\n          ), getVar[Coll[Byte]](6.toByte).get\n        ).get.digest == coll45(placeholder[Int](88)).digest, allOf(\n          Coll[Boolean](\n            blake2b256(box46.propositionBytes) == coll4(placeholder[Int](89)).get.slice(placeholder[Int](90), placeholder[Int](91)), box46.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            box40.value == box2.value, box40.tokens == coll3, coll45(placeholder[Int](92)).digest == coll8(placeholder[Int](93)).digest, bool47, bool48, coll41(\n              placeholder[Int](94)\n            ) == coll10(placeholder[Int](95)), coll41.slice(placeholder[Int](96), coll41.size) == coll10.slice(placeholder[Int](97), i11), box40.R6[\n              Coll[Coll[Long]]\n            ].get == coll21, bool48, bool47, box40.R8[Coll[Coll[Long]]].get == coll36\n          )\n        ), (coll5.size >= placeholder[Int](98)) || (\n          coll44 == Coll[Byte](\n            placeholder[Byte](99), placeholder[Byte](100), placeholder[Byte](101), placeholder[Byte](102), placeholder[Byte](103), placeholder[Byte](\n              104\n            ), placeholder[Byte](105), placeholder[Byte](106), placeholder[Byte](107), placeholder[Byte](108), placeholder[Byte](109), placeholder[Byte](\n              110\n            ), placeholder[Byte](111), placeholder[Byte](112), placeholder[Byte](113), placeholder[Byte](114), placeholder[Byte](115), placeholder[Byte](\n              116\n            ), placeholder[Byte](117), placeholder[Byte](118), placeholder[Byte](119), placeholder[Byte](120), placeholder[Byte](121), placeholder[Byte](\n              122\n            ), placeholder[Byte](123), placeholder[Byte](124), placeholder[Byte](125), placeholder[Byte](126), placeholder[Byte](127), placeholder[Byte](\n              128\n            ), placeholder[Byte](129), placeholder[Byte](130), placeholder[Byte](131)\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "st4bkDp4da9YPXFokFtkXxL1MNDD8mzfKQA83pXqp7wnc1v5XHEYZ2LHoJVMGMqiP2myCSGu9cAgF1BANxSApN6zeiKrs7zuugEB9BUe6Cx2xSZeXYX4f2TgpP8Qpo4uAoirZUp1xQrbdrh7wLjjE3KPHfsPrFuV7Gg2ydUETMJe7mo6irmDwjZXinxvzgbsXysFjYmrrzLsAbsCx9BwExXnNhQJoLvpN8TA8hTmyU7qDVMKGodXfBRaiRJD9imv7K9cYHjGXtXidveZH43E9UGiAgXDwViRy8kCazK9L4rCqiNXVAtuowpUtmvTMtvuoUFv4wSaHufHX1gQWbncyn3sPp2f8D4onq33QBDirngdozT1rYg2FjNBh74BNgtnADiBjRDrJnz5GwakxRJv1SjqiMDMeLvUdMEWt96BWipcdJwbtRLDJScQWsM7ZeD81DcXYuYxyjc9ZcQyZ5VVeGVY7ey7RjBskm2NxK8Z84tB6sE6YrmS5Wr9bmztdokmjgK7j19D7abeBZuGXjXiWfkKyJdKcJSChEusU8wGXULCg9XwcStvuRMgYY5t9H9Q6ZdajN99ETzVFvfHJbFP4oD3dyx7F4QsAj6cvC55qrbh8HS2hr7Qy7ZCAGad2UMHwU7AYHCSGrXML8uKEAZLVsjRRawTGR8YP47k4VmtdwWiyqYc63cgoZPUkfVW6SjsAnYfS9FikHfXZ4A3ENHZe99oWVJaCM7j55m79dPQRk5dzy8hVmoNFej5X8Q4Dj6LA3nKVwki76wDoPkpYXLp7pvpTqTFFqfx68u91m7cE2oQ66fV3JLrVhTVyfVrX77N1mytLFuz1EjerZygrafV1VWJBv7AqNKabvQTio9g3owUxs8xZenSToMgWqG7T1f6gBCN5gzLwre2eqbTFk1C2xvqL15t3kUnx9rvGboKEhdbtrMAyHbSpKZ5CUKSeUmQxiyFqjEobDLxKP3H1PpRwAPyESqi4sF33vvrZkF1AGVvEY8ejr3DcPGpoQU2HPX9cV9zrfNMbf54uZbaxHjBAbMWiM1WxoXRrvz4hGKJBobqnnVZMZRoMX2TnCTHt68h6mhbz5TqJ3bVjyRq7fdj4cZumNVRCCh82MF8g2einZfjncN32j5oJhspwLG6KD8oa2sDwyfYtRX8KRvre7vpBeBBXijmBXYGgjF2neqrgQrAhqMBefucgyHL1Bv9jyGuNFKdUHeSB4N3rvtu9txFUa9H5WcYocsQPmZskrSNpSb4Ty3XpzshovxyzzYPbgQ1y8U8kjFpHE3QuwrmKQdKBUndRgY6pDs2SM112A5e2xyQX3ivesRjeja1xrwyR3EMDmFNjofCeXJBp4Uvii7KZxCTGKE3Zgs4nLW5S2cUpapNfq5fzMyNVHGvyVGoyuFj292f5bcEccPDb8Lp6UJP28NM5Ac5Ke9hsnUYkzqXZtXoXEjLBYaJ4Jx4uKtbPhAEecdcgoxTddDvFBPkgDaC2v1vmg2uWN2bJ58MqDjmMUe3dDnM6JVqoYgCNEgA7bSvEqbsxfz5xPAkm7DucSBa4bJkRnpkPHNyjoQsim4F5tLfva79tuMPiS6jLQnHgnwQX3X3sWsgmJZyHPnmTYoDG9Zh713MSRYeiGSyJgsTCwVQfhFxbMBTkzmv7btiX2cPQZUj9JTvMGUSWYisdme7dY7sfXDEADEwuoeJBCLKDn8wKu6ZugWgoN1PhRNHkpHBEA5WhimSDFsmLvcY69b1owXtDxCtwpqxU2U3vEGfydHNva1EvXHnFmm7ULMghTEELSt2yUmWea2165StAsWmbsBKFUdLrEHUYQbLwhJ1Tw32gULQcon2N7FySdSNNMuifu3VAa9r5PRNcUjKNBBoEFy1vg8RpcfhM8RFfbK6howZqr7suhamXUK1anusxn2LMUE34GShbRRzCRb8yCriYr2eUZZEPSX7LH1n6GBvMGYZuiBXXF5GnpdLKEGDDLygxKKv8aPtrDXe7BkpT83DtHCQh8tAXnrWjUYmiFEA4N2FCd8ac5CdxTgMq18m5CQVACyJXqoQYbQRH5NoG3XmgW7Y8P1hdiaf3Zd7cA6CJywQ7j7GJ37KSVxKFmpsXdUvUDXGTJSC7r6mUXuntwsUo2crTsUgis3KDo6WuvCz1MzfP9f7VPS3BnPAcxtbaDjgLy55uGJDe1J6pifhGd3vkGbXwJfM6LStga1VjdmaSN5eRegYEdpp3rQfENByvEgAGDsApdVfgyemBTMsbyEYEYZothmwWqkeLNFajpsCPRitjVPQBf4knwv5WBLAsJTkC1bor9Dn9BVCT9tNQxm6ZsWcM32iqiVpSgMKn1b5L1VZ2iZEjG57etXpjMjNL8jgzQSAdsyw3oSgQedcm9AgqnMcXmLCJGfJXahqAW2FKwWJQvNQxc9urrZWF6TnExPke5HTCo1QFe7wJWcmZKbJZZb75jSG7f4DXjDXxhKWvJ118Xx8sUe7Rx25EiDoU3",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "2fa50cdaf3eba4dadf4fb5cb1b65429fb41dc35fecb6860f5b7d6b01f8aa71bc",
      "mainChain": true
    },
    {
      "boxId": "c83a414c1ad9d64d1764a7da641794764c51fd34121997e94313be83760f6509",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 8,
      "globalIndex": 29429449,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1040040404000e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e0e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e203daa66808e69c25ae932dd66611c5f0b3cbacad1125203e87d8dc491861c71e604020406040004000400040004000400041004100402040004100500050204100420050004000410041004020410050004000410041004020410050004000404040c044c04000402044204060400040004020400040004020402040404040406040604080408040a040a04000402040c044c04000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacfd81dd601b2a4730000d602b2db6501fe730100d603dc640be4c6720204640283030e730273037304e4e3000ed604b2a5730500d605b2a4730600d6068cb2db6308720573070001d607b2a5730800d608b2a4730900d609db63087208d60ae4c67207040c64d60be4c67208040c64d60cb2720b730a00d60de4dc640a720c027206e4e3020ed60eb37aa2b2e4c672010511730b007cb4720d730c730db4720d730eb1720dd60fb2720b730f00d610dc640a720f027206e4e3040ed611e67210d612dc640ae4c672010664027206e4e3010ed613e67212d6149572117cb4e47210731073117312d61595721372149a72147313d6169572117cb4e47210731473157316d617e4c67205050ed618b0adb4db0c0e721773179db172177318d90118047cb472179c721873199c9a7218731a731b731cd90118599a8c7218018c721802d619957213d801d619e472129a997216b0adb4db0c0e7219731d9db17219731ed9011a047cb472199c721a731f9c9a721a732073217322d9011a599a8c721a018c721a0272189a72167218d61ab37a72157a7219d61be4e3050ed61ce4c672070511d61de4c672080511d196830801938cb2db6308720173230001b4e4b27203732400732573269683020193cbc27204b4e4b272037327007328732992c17204c1a7938cb2db6308b2a5732a00732b0001720696830d0193c17207c1720893db63087207720993db6401b2720a732c00db6401e4dc640d720c0283013c0e0e86027206720ee4e3030e93db6401b2720a732d00db6401957211e4dc640d720f0283013c0e0e86027206721a721be4dc640c720f0283013c0e0e86027206721a721b93b2721c732e00b2721d732f0093b2721c733000b2721d73310093b2721c733200b2721d73330093b2721c733400999ab2721d7335007215721493b2721c733600999ab2721d7337007219721693b4721c7338b1721cb4721d7339b1721d93e4c67207061de4c67208061d93e4c67207070c3c6464e4c67208070c3c646493e4c67207081de4c67208081d938cb27209733a0001b4e4b27203733b00733c733d938cb2db63087202733e0001733f93e4e3060e720e93e4e3070e721a",
      "ergoTreeConstants": "0: 2\n1: 0\n2: Coll(9,-126,15,-53,-120,113,-5,69,12,62,6,-73,-53,94,39,-80,69,80,-121,-93,102,98,26,-99,-34,117,-126,-96,25,17,30,62)\n3: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n4: Coll(61,-86,102,-128,-114,105,-62,90,-23,50,-35,102,97,28,95,11,60,-70,-54,-47,18,82,3,-24,125,-115,-60,-111,-122,28,113,-26)\n5: 1\n6: 3\n7: 0\n8: 0\n9: 0\n10: 0\n11: 0\n12: 0\n13: 8\n14: 8\n15: 1\n16: 0\n17: 8\n18: 0\n19: 1\n20: 8\n21: 16\n22: 0\n23: 0\n24: 8\n25: 8\n26: 1\n27: 8\n28: 0\n29: 0\n30: 8\n31: 8\n32: 1\n33: 8\n34: 0\n35: 0\n36: 2\n37: 6\n38: 38\n39: 0\n40: 1\n41: 33\n42: 3\n43: 0\n44: 0\n45: 1\n46: 0\n47: 0\n48: 1\n49: 1\n50: 2\n51: 2\n52: 3\n53: 3\n54: 4\n55: 4\n56: 5\n57: 5\n58: 0\n59: 1\n60: 6\n61: 38\n62: 0\n63: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val box2 = CONTEXT.dataInputs(placeholder[Int](1))\n  val coll3 = box2.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box4 = OUTPUTS(placeholder[Int](5))\n  val box5 = INPUTS(placeholder[Int](6))\n  val coll6 = box5.tokens(placeholder[Int](7))._1\n  val box7 = OUTPUTS(placeholder[Int](8))\n  val box8 = INPUTS(placeholder[Int](9))\n  val coll9 = box8.tokens\n  val coll10 = box7.R4[Coll[AvlTree]].get\n  val coll11 = box8.R4[Coll[AvlTree]].get\n  val avlTree12 = coll11(placeholder[Int](10))\n  val coll13 = avlTree12.get(coll6, getVar[Coll[Byte]](2.toByte).get).get\n  val coll14 = longToByteArray(\n    max(box1.R5[Coll[Long]].get(placeholder[Int](11)), byteArrayToLong(coll13.slice(placeholder[Int](12), placeholder[Int](13))))\n  ).append(coll13.slice(placeholder[Int](14), coll13.size))\n  val avlTree15 = coll11(placeholder[Int](15))\n  val opt16 = avlTree15.get(coll6, getVar[Coll[Byte]](4.toByte).get)\n  val bool17 = opt16.isDefined\n  val opt18 = box1.R6[AvlTree].get.get(coll6, getVar[Coll[Byte]](1.toByte).get)\n  val bool19 = opt18.isDefined\n  val l20 = if (bool17) { byteArrayToLong(opt16.get.slice(placeholder[Int](16), placeholder[Int](17))) } else { placeholder[Long](18) }\n  val l21 = if (bool19) { l20 } else { l20 + placeholder[Long](19) }\n  val l22 = if (bool17) { byteArrayToLong(opt16.get.slice(placeholder[Int](20), placeholder[Int](21))) } else { placeholder[Long](22) }\n  val coll23 = box5.R5[Coll[Byte]].get\n  val l24 = coll23.indices.slice(placeholder[Int](23), coll23.size / placeholder[Int](24)).map(\n    {(i24: Int) => byteArrayToLong(coll23.slice(i24 * placeholder[Int](25), i24 + placeholder[Int](26) * placeholder[Int](27))) }\n  ).fold(placeholder[Long](28), {(tuple24: (Long, Long)) => tuple24._1 + tuple24._2 })\n  val l25 = if (bool19) {(\n    val coll25 = opt18.get\n    l22 - coll25.indices.slice(placeholder[Int](29), coll25.size / placeholder[Int](30)).map(\n      {(i26: Int) => byteArrayToLong(coll25.slice(i26 * placeholder[Int](31), i26 + placeholder[Int](32) * placeholder[Int](33))) }\n    ).fold(placeholder[Long](34), {(tuple26: (Long, Long)) => tuple26._1 + tuple26._2 }) + l24\n  )} else { l22 + l24 }\n  val coll26 = longToByteArray(l21).append(longToByteArray(l25))\n  val coll27 = getVar[Coll[Byte]](5.toByte).get\n  val coll28 = box7.R5[Coll[Long]].get\n  val coll29 = box8.R5[Coll[Long]].get\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](35))._1 == coll3(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38)), allOf(\n          Coll[Boolean](\n            blake2b256(box4.propositionBytes) == coll3(placeholder[Int](39)).get.slice(placeholder[Int](40), placeholder[Int](41)), box4.value >= SELF.value\n          )\n        ), OUTPUTS(placeholder[Int](42)).tokens(placeholder[Int](43))._1 == coll6, allOf(\n          Coll[Boolean](\n            box7.value == box8.value, box7.tokens == coll9, coll10(placeholder[Int](44)).digest == avlTree12.update(\n              Coll[(Coll[Byte], Coll[Byte])]((coll6, coll14)), getVar[Coll[Byte]](3.toByte).get\n            ).get.digest, coll10(placeholder[Int](45)).digest == if (bool17) {\n              avlTree15.update(Coll[(Coll[Byte], Coll[Byte])]((coll6, coll26)), coll27).get\n            } else { avlTree15.insert(Coll[(Coll[Byte], Coll[Byte])]((coll6, coll26)), coll27).get }.digest, coll28(placeholder[Int](46)) == coll29(\n              placeholder[Int](47)\n            ), coll28(placeholder[Int](48)) == coll29(placeholder[Int](49)), coll28(placeholder[Int](50)) == coll29(placeholder[Int](51)), coll28(\n              placeholder[Int](52)\n            ) == coll29(placeholder[Int](53)) + l21 - l20, coll28(placeholder[Int](54)) == coll29(placeholder[Int](55)) + l25 - l22, coll28.slice(\n              placeholder[Int](56), coll28.size\n            ) == coll29.slice(placeholder[Int](57), coll29.size), box7.R6[Coll[Coll[Long]]].get == box8.R6[Coll[Coll[Long]]].get, box7.R7[\n              Coll[(AvlTree, AvlTree)]\n            ].get == box8.R7[Coll[(AvlTree, AvlTree)]].get, box7.R8[Coll[Coll[Long]]].get == box8.R8[Coll[Coll[Long]]].get\n          )\n        ), coll9(placeholder[Int](58))._1 == coll3(placeholder[Int](59)).get.slice(placeholder[Int](60), placeholder[Int](61)), box2.tokens(\n          placeholder[Int](62)\n        )._1 == placeholder[Coll[Byte]](63), getVar[Coll[Byte]](6.toByte).get == coll14, getVar[Coll[Byte]](7.toByte).get == coll26\n      )\n    )\n  )\n}",
      "address": "8rvGef3C7PFd9pL1N1uANKfymaHjn3nhePqmdVz8bGnQAVn23TQY9EDqYzYtv8aLSftVJXNgxAEVNc8dDBZX488tozAqBZQ7frYhXMsSwnFjZdWcZrp8FfPYbWXNfkX1usCQfg7LhNkuYKBv6fXFL8V93VmY6kJA6NzxgTBo2BDw6wQMnCCSJbRMqJEQ7W6dirF3gAryTrgPUYnqNcKY593MkYUNM9xHtS5Zpmi3LiQ2PDyyrDaPAmjLhYqwBB6fub5EChZ649ZpKoK4HCxapEeTVsxa1CibnnhW2xZ5VBA5GuUALVE3z1SCoocKEoNs69QuJMn8rncxM31JnAeqNoU7caxkDBF4DGzH4GMZNiBgmneH9JANa3QAxCjXnnfQ9iLRA27SXLbSBEmqpuxFofn5xrwDdN2sjyfRmjRNmH4RGbvhovbxJh538kQqPp7xG2CVDnAdqse3Doum3wYRNUjU3XDK6euUBhpbcxaMgJqtnf1w2K51f9PRoSKSYVSgZcDzGUx7Ju29r5jqF21tQmRgg5NVfw9r3DHuiCjMsRkD9ZPuVopiL4YJnC2iHbBzuTqgewPiP2vFUyPXepm9sPDZ4bK8b23hL8hfyWQ7pRkzWHaUa683CDzViC9woutY34sMkQqioiVa2JoeMik7jKTQxgqD2ynELPhnV7gMwEgUjyPknxGkpdtfy5xQEmR7GGV2jSYv3xFoJWJGjP1vATeEQLYJVkmuzDNHq62Lqec1CF3SqZTXXQDWwSbSAFzmAPoq3wt4FwHt11ppZZfo5JPdu4gzTVhjnEVJFFo8ASYHvsMVhHZcQhodPowgMyPmXE5URN5HsP97yE8wEiGfcQ7Bdcg7yncBgv1UBfa7xhLfBs3gm9pyx9FKZMuJpec9J6FJNN7xqRpXMUr4HmkidmojL6kxXbHhSXHvYYUfHqnG1FXZn3jmNfumm1XaUBLewaxh4uBcsN7ytHKWu9SiM8MmDUjtvvY1DNbTGoDX5L5JgCjmi7Db8T87iSxJDkNxgeWmTtX5MYAtkbKMSe5YaQijJ3CymZ2W75JJg8akxZufmWwEWRy38gSPbeVZdF6sB1ZiY85SVKHJa2NUGhkPVMTL1suUcHVM5P7tCU8sCgLkxrFJycQCr67aL54uY5xTGbhmgm2kb6v5DPv9m88qbTHVQAe9vf4ENAmjpc4GMoVh9FruLYVMKXBQ6zN6teDrtyoYRE4MDiL5icPkAAUoKyH49ZTShCRq8HNsE7TApJQn2kzNcjrGLQAbTEoMqFHuYGMw5W9NvjRiHFQ6He3owjExcQbngKgv2eZiKWR4zvcFEZj1CL1GW7nv9NSSzTWJ98muSf8MzNnwdqPXoMZCAr9oqXNvrWFHtYT1HF7xggtZ8aJ3B7DoX8LK5DrWZgPzNPWaHf7zG9ym7quUfceTMz3VHyoJRKZ6QBjJU6u",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "0a2f380e6261b21d5a46b42041f21a0a75e5f93a0da6460b4ed52de2cefa153c",
      "mainChain": true
    },
    {
      "boxId": "31e456b2252e0a3df963e1291ceb5caaed9899463b3c7bfdd60c6bd8e5c9e5c3",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 9,
      "globalIndex": 29429450,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1034040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20400040a04040400040c044a040c044a040a040c044a0402040a0408050004020402040204000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf04000400040c044c0400040a0400040a0500040204020500040004000404040404010404040005000405040004040500040204020442d813d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606e4c672050511d607e4c672020511d60899c17205c17202d609b472067306b17206d60ab17207d60be4b27204730700d60cdb0c0eb4720b73089d99b1720b7309730ad60dad720cd9010d04b4720b9a9a730b9c730c720d730d9a730e9c730f9a720d7310d60eb3b472077311720aadb4720d99720a7312b1720cd9010e0e7313d60fdb63087205d610998cb2720f731400028cb2720373150002d611b17203d612b1720fd613b2a5731600d196830801938cb2db6308720173170001731896830601938cb2720373190001b4e4b27204731a00731b731c93e4c67205040c64e4c67202040c6493b47206731d731eb47207731f732093e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c67205081de4c67202081ded92720873219399b27209732200b2720e7323007208ed92721073249399b27209732500b2720e7326007210afdc0c1db472037327721101b4720f73287211d901143c4d0e4d0ed806d6168c721401d6178c721601d6188c721402d619dc0c1a720d0272177329d61a998c7218028c721602d61b9a7219732a968304019372178c721801927219732b93721a99b27209721b00b2720e721b0092721a732cafb4720f72117212d901144d0ed802d616dc0c1a720d028c721401732dd6178c72140296830301927216732e937217b272099a7216732f00927217733092721272119683020193cbc27213b4e4b272047331007332733392c17213c1a7",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(58,17,-107,92,71,25,-27,-120,-68,-26,-89,97,29,39,-67,31,-33,-37,87,56,92,-82,-30,102,-40,4,12,-119,79,28,46,29)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 5\n7: 2\n8: 0\n9: 6\n10: 37\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 1\n17: 5\n18: 4\n19: 0\n20: 1\n21: 1\n22: 1\n23: 0\n24: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n25: 0\n26: 0\n27: 6\n28: 38\n29: 0\n30: 5\n31: 0\n32: 5\n33: 0\n34: 1\n35: 1\n36: 0\n37: 0\n38: 0\n39: 2\n40: 2\n41: -1\n42: 2\n43: 0\n44: 0\n45: -3\n46: 0\n47: 2\n48: 0\n49: 1\n50: 1\n51: 33",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box5 = OUTPUTS(placeholder[Int](5))\n  val coll6 = box5.R5[Coll[Long]].get\n  val coll7 = box2.R5[Coll[Long]].get\n  val l8 = box5.value - box2.value\n  val coll9 = coll6.slice(placeholder[Int](6), coll6.size)\n  val i10 = coll7.size\n  val coll11 = coll4(placeholder[Int](7)).get\n  val coll12 = coll11.slice(placeholder[Int](8), coll11.size - placeholder[Int](9) / placeholder[Int](10)).indices\n  val coll13 = coll12.map(\n    {(i13: Int) =>\n      coll11.slice(\n        placeholder[Int](11) + placeholder[Int](12) * i13 + placeholder[Int](13), placeholder[Int](14) + placeholder[Int](15) * i13 + placeholder[Int](16)\n      )\n    }\n  )\n  val coll14 = coll7.slice(placeholder[Int](17), i10).append(\n    coll13.slice(i10 - placeholder[Int](18), coll12.size).map({(coll14: Coll[Byte]) => placeholder[Long](19) })\n  )\n  val coll15 = box5.tokens\n  val l16 = coll15(placeholder[Int](20))._2 - coll3(placeholder[Int](21))._2\n  val i17 = coll3.size\n  val i18 = coll15.size\n  val box19 = OUTPUTS(placeholder[Int](22))\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](23))._1 == placeholder[Coll[Byte]](24), allOf(\n          Coll[Boolean](\n            coll3(placeholder[Int](25))._1 == coll4(placeholder[Int](26)).get.slice(placeholder[Int](27), placeholder[Int](28)), box5.R4[\n              Coll[AvlTree]\n            ].get == box2.R4[Coll[AvlTree]].get, coll6.slice(placeholder[Int](29), placeholder[Int](30)) == coll7.slice(\n              placeholder[Int](31), placeholder[Int](32)\n            ), box5.R6[Coll[Coll[Long]]].get == box2.R6[Coll[Coll[Long]]].get, box5.R7[Coll[(AvlTree, AvlTree)]].get == box2.R7[\n              Coll[(AvlTree, AvlTree)]\n            ].get, box5.R8[Coll[Coll[Long]]].get == box2.R8[Coll[Coll[Long]]].get\n          )\n        ), (l8 >= placeholder[Long](33)) && (coll9(placeholder[Int](34)) - coll14(placeholder[Int](35)) == l8), (l16 >= placeholder[Long](36)) && (\n          coll9(placeholder[Int](37)) - coll14(placeholder[Int](38)) == l16\n        ), coll3.slice(placeholder[Int](39), i17).zip(coll15.slice(placeholder[Int](40), i17)).forall({(tuple20: ((Coll[Byte], Long), (Coll[Byte], Long))) =>\n            val tuple22 = tuple20._1\n            val coll23 = tuple22._1\n            val tuple24 = tuple20._2\n            val i25 = coll13.indexOf(coll23, placeholder[Int](41))\n            val l26 = tuple24._2 - tuple22._2\n            val i27 = i25 + placeholder[Int](42)\n            allOf(Coll[Boolean](coll23 == tuple24._1, i25 >= placeholder[Int](43), l26 == coll9(i27) - coll14(i27), l26 >= placeholder[Long](44)))\n          }), coll15.slice(i17, i18).forall({(tuple20: (Coll[Byte], Long)) =>\n            val i22 = coll13.indexOf(tuple20._1, placeholder[Int](45))\n            val l23 = tuple20._2\n            allOf(Coll[Boolean](i22 >= placeholder[Int](46), l23 == coll9(i22 + placeholder[Int](47)), l23 >= placeholder[Long](48)))\n          }), i18 >= i17, allOf(\n          Coll[Boolean](\n            blake2b256(box19.propositionBytes) == coll4(placeholder[Int](49)).get.slice(placeholder[Int](50), placeholder[Int](51)), box19.value >= SELF.value\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "2Hu3wyQjaUcko5HWwRFMTvH2fyycEPvdTqHzXfSQ9BFBfXs4H2sBFRw1Ji96RnodTVcJAv66ykkmyg9Gkdov28zduLnRiNHj8idgDXo6gMGfad1K43KppUqZ7g3J2kavLCq5jN8ZF4LbPW46uGQ5b7Dqkio8AL6sgyFyPsfztqR6XXVGW8mVKbR3txbsnFwvcqM6ULve78vo6JjeEmgg7NDStxbAv99JaswRsvBndV4kUEqLr6kka4qXppX67YUeS8JCRVmwG6HftRVfJWajwr6q2K78cxeCEveRtYH9gWnFaqc3h9PMbXxArYCC5iND7HD62Akbcsi12bgu4RKX1M22xh7p7Bwf38y7R7DPkWxuEtS3AtsewbcPTWgXhwby1zPK79VqL5cmyq4ZENeXGifLUTMHNkdJwtwezyh57QCoz6um99Jedd2kMdDzjkc3GUW9TXxG4trj1Ca7k1L4EHhTTsjTPUUV569CVH7ANvT4apmzaKQ322P1tmDA2qU9UPgDfETiEumWTvMsdoigZqQKae9LH1HG6VYAttR5wVL7XNVkaYUjfoCbDdkAR1zjPoiMw7aY1c3XrR3qjwpXAtUA4nvDTYgwUKYthqiaSKPAiH1MM2AxpLDNSLUQ1KHq3TboaZWLkmoFvUYZrG3w1k3Q6kxKbHbqjtSMtSoRFUkvtU4jrikw54fpRaSFrCHYxBMYekiqkb8YZ8e2K36B4thkG8AX6ZHemg7bBtZgygjETRchYbtZLPuiygLeCjSdMk6BCM2WHv6T59omgR1MncG73qc8Y2m84AMwUextd5LT1Zzjr7edXxQRqPfqpoywXiPdRGjNXjTFycQU8y4i9BopHa2XfWDrfjHoiYWuMHbCrjgAp4uMwJjF8DXKPiN7miCaCAE7GuXV3DCQnDUQf7mpHBueBE8cSWJ96RPoLLJxKSeaQWKHKH6FaftwC8iHssY8kvtT7o92dhmBWXkFYqroofuCDWbUmJrkxULTjUiEDbeif4NUgdRWGsrB1Qmh37JeGphY1v6R4h3xvnaXdbJ6vGv2iLzCY1SLJJDvDtmNdpg3XP4G4uU4QT1QE3P3uh6XyqQZJTsq2uo7vTgsbVyi6PQkTbnnyXaA2sjeSNQQc7udULxj34fmBpq",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "4f9200f535cb9dffaf3862b17b25ce99f9422076b00a1b1d4f6afa69ea8bb3a8",
      "mainChain": true
    },
    {
      "boxId": "5f489d541229069f3b69fe2c7a2861bacfc7827808a05d1c3e177e57c4f59aff",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 2000000,
      "index": 10,
      "globalIndex": 29429451,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "1032040004020e20deaecf5b64bad6f5570bad0a610c4e484957cf4782308400bc90404c1d1410da0e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e040004000e20150d52705ac807a279e701eb88e0c489f60810d15a3f411b497d45fa3686aacf0400040c02000402040204420201040404020442020204060402044202030408040204420204040a040204420205040c040204420206040e040204420400040204420400040004020402d808d601b2db6501fe730000d602e4e30102d6037e720204d604b2a4730100d605dc640be4c6720104640283080e73027303730473057306730773087309e4e3000ed606b2a5730a00d607db63087206d608db6308a7d196830401938cb2db63087201730b0001730ced927203730d907203730e97830701ed937202730f93cbc27204b4e4b2720573100073117312ed937202731393cbc27204b4e4b2720573140073157316ed937202731793cbc27204b4e4b272057318007319731aed937202731b93cbc27204b4e4b27205731c00731d731eed937202731f93cbc27204b4e4b2720573200073217322ed937202732393cbc27204b4e4b2720573240073257326ed937202732793cbc27204b4e4b272057328007329732a9683030193cbc27206b4e4b27205732b00732c732d93b27207732e00b27208732f00938cb27207733000018cb2720873310001",
      "ergoTreeConstants": "0: 0\n1: 1\n2: Coll(-34,-82,-49,91,100,-70,-42,-11,87,11,-83,10,97,12,78,72,73,87,-49,71,-126,48,-124,0,-68,-112,64,76,29,20,16,-38)\n3: Coll(3,-110,8,-68,78,-17,-102,3,-24,-41,-117,-122,99,-93,1,-69,95,-83,-36,-89,-117,-31,-99,127,-27,53,-77,-58,76,-66,-2,66)\n4: Coll(-120,48,97,44,82,53,95,111,40,13,18,-105,-15,-97,103,-80,120,-55,-38,-89,-41,-80,75,69,-100,-111,-52,100,73,87,-62,-128)\n5: Coll(-117,-57,-113,28,106,-82,-55,30,98,-114,21,-49,102,-116,22,-52,30,-101,-40,-28,-71,-73,-31,109,99,24,-75,-11,35,-91,-23,-67)\n6: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n7: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n8: Coll(58,17,-107,92,71,25,-27,-120,-68,-26,-89,97,29,39,-67,31,-33,-37,87,56,92,-82,-30,102,-40,4,12,-119,79,28,46,29)\n9: Coll(9,-126,15,-53,-120,113,-5,69,12,62,6,-73,-53,94,39,-80,69,80,-121,-93,102,98,26,-99,-34,117,-126,-96,25,17,30,62)\n10: 0\n11: 0\n12: Coll(21,13,82,112,90,-56,7,-94,121,-25,1,-21,-120,-32,-60,-119,-10,8,16,-47,90,63,65,27,73,125,69,-6,54,-122,-86,-49)\n13: 0\n14: 6\n15: 0\n16: 1\n17: 1\n18: 33\n19: 1\n20: 2\n21: 1\n22: 33\n23: 2\n24: 3\n25: 1\n26: 33\n27: 3\n28: 4\n29: 1\n30: 33\n31: 4\n32: 5\n33: 1\n34: 33\n35: 5\n36: 6\n37: 1\n38: 33\n39: 6\n40: 7\n41: 1\n42: 33\n43: 0\n44: 1\n45: 33\n46: 0\n47: 0\n48: 1\n49: 1",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val b2 = getVar[Byte](1.toByte).get\n  val i3 = b2.toInt\n  val box4 = INPUTS(placeholder[Int](1))\n  val coll5 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](\n      placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4), placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6), placeholder[\n        Coll[Byte]\n      ](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9)\n    ), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box6 = OUTPUTS(placeholder[Int](10))\n  val coll7 = box6.tokens\n  val coll8 = SELF.tokens\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12), (i3 >= placeholder[Int](13)) && (i3 <= placeholder[Int](14)), anyOf(\n          Coll[Boolean](\n            (b2 == placeholder[Byte](15)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](16)).get.slice(placeholder[Int](17), placeholder[Int](18))\n            ), (b2 == placeholder[Byte](19)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](20)).get.slice(placeholder[Int](21), placeholder[Int](22))\n            ), (b2 == placeholder[Byte](23)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](24)).get.slice(placeholder[Int](25), placeholder[Int](26))\n            ), (b2 == placeholder[Byte](27)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](28)).get.slice(placeholder[Int](29), placeholder[Int](30))\n            ), (b2 == placeholder[Byte](31)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](32)).get.slice(placeholder[Int](33), placeholder[Int](34))\n            ), (b2 == placeholder[Byte](35)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38))\n            ), (b2 == placeholder[Byte](39)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](40)).get.slice(placeholder[Int](41), placeholder[Int](42))\n            )\n          )\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box6.propositionBytes) == coll5(placeholder[Int](43)).get.slice(placeholder[Int](44), placeholder[Int](45)), coll7(\n              placeholder[Int](46)\n            ) == coll8(placeholder[Int](47)), coll7(placeholder[Int](48))._1 == coll8(placeholder[Int](49))._1\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "MUeEFF9n6rMZGwhMHSCUToqgZV77SPd7enUFfdMSt9BwbM2eVwCQ44yZjJRqxpgU8bJijkTjNhB7AH2wUM9UkZjHnyPDKFRDMozra8a3ptKsKvQXN3wBzXAwBaTFpdS2WuYqQTP4VzokiUjFsoesobW74Nh51uAqDTXKK4SZ4QnphLpCAVPBu9rEca48RLrMViEzYQKchqzyX2oA7cSzY8do7poc4Y6jPiNYuRbLyjifcNBqBVjRruuZr9N2KzVJWC8eNphZVuYkBay9tHp6qC6BMyN5Pr1YGnWDNMX8ivyrogza6wiJga8rvBSN2brt6tU5pWHpkBRRZYySTP69G5utxvkLKuk26xvvMuXJbW5TuTttKEDCLewsejh5yyijfiEkioM4MNEkGbRCy7SRafuYEuwzQePGa9jkA11X8oPZRapcpXUY37jBucFkpZGmCVipNkXQ8jRhkVZNfu6RHiK56CSbZrYauhuqazh4GaJ2WAjrUrX8r6DtcsM58osQgZQM5BtjBhHaZt8E4ZYQBVJbZaGszDn7cX4UBtAuoA3aekeU59UAWmu2NNfoCQiMEArzkFqDbkHV8guDFGRq8PYttho25RX4Wyh5hEQo6cNLyVGtKTQNQxRyh3PEinyiAGW7JScukYymySDTgwuZgWt4xqet5wDSWee5w56kqLFWGoo7jchsEpMEyVEtC585rYZUq7tW6nU5UBPcTbMvT5kYr2EruebttyvuhJfzrcrgXBEAz3tV3iZpFha7V4jLTCiX7MUDgqhroYVA6HF7GedNdB5zSoQTDBvirfEQtHF6CkCxZWtH5Tef5bFX9qFb5FuqoKQ5wJwhAkQT3hSuxGFo8FXNKqK9NbLo9cz3DVB8KiYFmWjbH2ngPHP9eavxCaHn58NcunNC9XzaonoR6yYFHe7eWrfhcG6MzpEcy4FAKDyGiNbtiUayShk26Kwi5jrjtKJFWidXN7hpfYPHnKkdua8o21M1",
      "assets": [
        {
          "tokenId": "9fce5c3e505eb5b42c16dc694c76f1aebfb8c59150afe07ad666998237def81e",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake State",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "40d1e9028a53c165ffdffd0a080b05ff0c8df6d95aa59456a17ee9d699332e91",
          "index": 1,
          "amount": 1000000000001,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "1107c0e28aa78a62000000000000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1685010340000,0,0,0,0,0,0]"
        },
        "R6": {
          "serializedValue": "1d0501000100010001140114",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[0],[0],[0],[10],[10]]"
        },
        "R8": {
          "serializedValue": "1d01020000",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[0,0]]"
        },
        "R7": {
          "serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c64024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "2b663cdce262c5fa4bf013bce30eb20bf3146c0fda228185db9386b4c1438928",
      "mainChain": true
    },
    {
      "boxId": "067d79d3b5061bc80e1d700d374714c0a738382ac0e6b47a6fce3f17f8622802",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 1000000,
      "index": 11,
      "globalIndex": 29429452,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "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": "a79abcad34aa7c8d4e7a129620e3e7d33bdf54f17b7b3f06383b666eb7052df0",
      "mainChain": true
    },
    {
      "boxId": "c24a16d97fbc7771dc6504c5000f6929d5b855db494841bea6d8c2db9e58998b",
      "transactionId": "3df0d8b77acf869c3eab6fb9956d16f5bd3c1f8aa44a999d67959d76c056aed2",
      "blockId": "9939496017621d1b5c534dc561edf66fe6056fc69bfdcae22daccce394b5899b",
      "value": 513743922,
      "index": 12,
      "globalIndex": 29429453,
      "creationHeight": 1011266,
      "settlementHeight": 1011269,
      "ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
      "address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
      "assets": [
        {
          "tokenId": "40d1e9028a53c165ffdffd0a080b05ff0c8df6d95aa59456a17ee9d699332e91",
          "index": 0,
          "amount": 988999998999,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "0ec58d8882dc684bc7c7c4a8fb5bf28f837cb43f052ec01275ab1f8d65f23682",
      "mainChain": true
    }
  ],
  "size": 11502,
  "isUnconfirmed": false
}