Transaction
ID: 8817ac5241...1a37
Inputs (3)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.188243922 ERG
Tokens:
94,794,999.40
Spent
Address:
Output transaction:
Settlement height:
Value:
0.1 ERG
Tokens:
Loading assets...
Outputs (13)
Unspent
Address:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Unspent
Address:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Unspent
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.002 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.276243922 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 701,676
Total coins transferred: 0.289243922 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000084 ERG
Raw Transaction Data
{
"id": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"inclusionHeight": 1066851,
"timestamp": 1691766825212,
"index": 3,
"globalIndex": 5655146,
"numConfirmations": 701676,
"inputs": [
{
"boxId": "843bef7a96373835dc67bdf8f06a9ffb235a13a54c6e1e4b8246376eeb9725dc",
"value": 1000000,
"index": 0,
"spendingProof": "5f71cb583b9e767c7430bfbb2f26c844dd2da59a4c7c3cc6d637d2401b3fb03b0bc97cfa81255c4de6445d8afe27140f86af703cff8b41bf",
"outputBlockId": "fad23de0752d1df95459230d83e5ef150e32bffd761da89086d73b51677fb51a",
"outputTransactionId": "1721d9e1ff79d7ddbd9c8027d2dc66552022e404b3a79987389d50df157fadde",
"outputIndex": 3,
"outputGlobalIndex": 30237664,
"outputCreatedAt": 1029977,
"outputSettledAt": 1029980,
"ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
"address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
"assets": [
{
"tokenId": "079baf4889fa619b7b764fd0b73415fab2a08c1f6c8e7bc934c842327aeaf0b0",
"index": 0,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "fd75cde8b5b48aff71196e8a4dcf0626b1844e2ad3ac552ccbc640c95c6639e6",
"value": 188243922,
"index": 1,
"spendingProof": "57e9f8e06dafae869f80ba1933a3e0b245a0b2ac1904cffcfb4282df550a89be78514a9b3f823ad2d5b81c7e990cb7abb4ec3fcc8d98ecd2",
"outputBlockId": "b9c44c159dd0ccec4c78e23f6bb16d8e54c03a252c177285fba264d56edd57b7",
"outputTransactionId": "f0c63fa98baa76565e71b325e8874b14a209cd2b2e4fe11e7ced2580630f7c3b",
"outputIndex": 2,
"outputGlobalIndex": 31558383,
"outputCreatedAt": 1063168,
"outputSettledAt": 1063170,
"ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
"address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
"assets": [
{
"tokenId": "f60fb5aa6127d4a2b537a91518a15eab1d21099cd34bc2e4c9f59022c3dd5af2",
"index": 0,
"amount": 947949993999,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "14bc9e9864e27c91714db1c70cd609475b167a6df80da10569d6318b2a5211d2",
"value": 100000000,
"index": 2,
"spendingProof": "b36684705b574451b4d2a00751fda2b3b017da9fa14b215e04496f62c1927d515b7bebb25a466d1915b9e616f0eced2050b1d56a327d6518",
"outputBlockId": "650906c7c6fa865a3eedb8920d8d2f8b0c6e366718fc4cc255d3e7a1a00bfb95",
"outputTransactionId": "dccf271266b429aebcaedbdc4d9cfe2aa79922342bfb985917cb56b3e0660399",
"outputIndex": 0,
"outputGlobalIndex": 31699488,
"outputCreatedAt": 1066753,
"outputSettledAt": 1066756,
"ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
"address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
"assets": [
{
"tokenId": "0007acd39e28e8ec2d7bb76aca8fb93d92b978efc6905c2f759eb5e5a5f36eac",
"index": 0,
"amount": 9223372036854776000,
"name": "Paideia Action",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0039092b403cc2f9c34c6f29107ce874a7ed1f947c435b2c7098e826b3acc85b",
"index": 1,
"amount": 9223372036854776000,
"name": "Paideia DAO",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3",
"index": 2,
"amount": 1,
"name": "Paideia DAO Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "007c9a3a7d9368912d1669cd0b89269802d7efe31b6c8f96ab61be5363def39c",
"index": 3,
"amount": 1,
"name": "Paideia Origin",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "00167889a067298df32fb5223b28d44ccca4f13a1b2415639bf99e9896c5a4b8",
"index": 4,
"amount": 9223372036854776000,
"name": "Paideia Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "00371ebfea98f3a9497404892ac43cd7ad45c6258d637af504b4cd6dd43d8afd",
"index": 5,
"amount": 1,
"name": "Paideia Staking State",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 6,
"amount": 2000000000000,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "fea9ebac76c1034f016de7a91f776d1119bae179708aee62ea359fbcef86a5b5",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 0,
"globalIndex": 31702525,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1026040004020402040204000e207229fdafbb96116f3c885ebd7319a3298442ca840038ee0c5e6d32ea735e4a160e2046b3640a317384bdaa50b7a420cf8f36a3b879fe4ecc12b6924ace45e73521230e205be447c71392c430b0126048269f9a788af35527755face9d229fd86530e34f50e201decb24f08f9ff1522b653a5568e72dd424d8a98561f3ecf2eeca1823225c7690e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b7704000404040004000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3040004000502040404040402044205020408040204420400040204120580897a0e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc59830402040204120400040604020442d80cd601b2db6501fe730000d602b2a5730100d603db63087202d604db6308a7d605b27203730200d606b27204730300d6078c720601d608b2a5730400d609dc640be4c6720104640283050e73057306730773087309e4e3000ed60ab2db63087208730a00d60bb2a5730b00d60cb2db6308720b730c00d196830501938cb2db63087201730d0001730e9683060193b27203730f00b27204731000938c7205017207938c720502998c720602731193b17203731293c27202c2a792c17202c1a79683030193cbc27208b4e4b2720973130073147315938c720a017207938c720a0273169683040193cbc2720bb4e4b272097317007318731993c1720b9a7cb4e4b27209731a00731b731c731d938c720c01731e938c720c027cb4e4b27209731f007320732193cbc2b2a4732200b4e4b2720973230073247325",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\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": "58hYWSWT5dDqwk4WEyc6C6DBiWM2cCZrVTpS4JxZPTUXRrYGz7za4u2T3snUz4Ggk7Koq3FYvBwNQBV1CndrvLvsTbe8bWNLUNTHMuN1GRFhXftnL5SZpdSBswbjp9AwYeABhHKHw6F7WUGxxKDNx9GkHnGa3N5N2Uf3GP44ddBpFRGM67g7z2YN9VRLyeJVgLCq5K8FyTCVMjeZCeGRdEeqrCQ1cnTQ8N4J5aVYfSzVcncJTbLy5YxqBj38UZVPqVSXVoQNGg6jG9JzNjxwEDwebreKaCAvKBqgjV462DsGCWALiUUAgHhUuwVpFH4gCFiXiQvyPrhCKrgNuUvWTdnre97tT3eGqwJaXLErpkUDkP1h3kHTWMDXq2RVyK2TtnWnvvwgLh1SgtJQtRG6TyfsvtGp2kRZv5xHwkkA1LRSLybGtes7PebPqLTCk5hzEcgaUatr69s7RVxLsUukNjreTjk3MVmCrh3QbyAVHjotBNGk5teXJjArQfNM92PdqgzJT3XAnhqr4eeVr5gqdPw3rq3z5m6u83SVKgeCC66dx4YetNUMiawepxvWTzJDZSXuAmdQDdKQYLWvGZH8Pggw74hhY4Yewp7xKEXKHi2zZmSPpkATwNAmjC44zNNQTFLXoAE2cCrRZqW85zBusor1r5ih9YipCt7kVxk16BShAerQDUhrDcoA67qWowDxwJcSwzFg7mK4BNBdv37tBsjnjJLHpURcFsBEiWEaqDTTFnk6r1GC4sJvoysX47yCRV9KeQ38LrTgFZcioMLXjHSDhq14BB4VVvo4UfYsrDPYfVfc1cEYsVgXzuAKc35ogArUXiaGHs1dro1dY",
"assets": [
{
"tokenId": "007c9a3a7d9368912d1669cd0b89269802d7efe31b6c8f96ab61be5363def39c",
"index": 0,
"amount": 1,
"name": "Paideia Origin",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0039092b403cc2f9c34c6f29107ce874a7ed1f947c435b2c7098e826b3acc85b",
"index": 1,
"amount": 9223372036854776000,
"name": "Paideia DAO",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "f0b16786092661a0df5d0d9e55179af65657b3ff6bc933c082aeb2f82e81eec0",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 1,
"globalIndex": 31702526,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "10360400040204000e20039d2a0a218d7c48c8fd46a8d29431bd056c84882a216a567326c3c7984ec8350e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40402040204040404040204020402040005feffffffffffffffff01040004020e20f0367ddf3435981f4aa5571b91dd46fe813667f2888d4fc691968fde15879b970e1e696d2e706169646569612e636f6e7472616374732e70726f706f73616c2e0e1c696d2e706169646569612e636f6e7472616374732e616374696f6e2e0404040404000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000400040204420400040005020406040005020e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc598304020402041204020402044204000400040204120402050004000502040004020500040404020442d81dd601db6501fed602b27201730000d603b27201730100d604e4c6a7040ed605b2a5730200d606dc640be4c6720204640283020e73037304e4e3000ed607db63087205d608db6308a7d609b27207730500d60ab27208730600d60b8c720a01d60c8c720a02d60db27207730700d60eb27208730800d60f8c720e01d610e4c6b2a4730900050c63d611b47210730ab17210d612b17211d613b2a5730b00d614b27210730c00d61599730d720cd616db63087213d617b27216730e00d618b27216730f00d619c27213d61ac27214d61bdc640be4c67203046402b383020e7310cbb37311721aad7211d9011b63cbb37312c2721be4e3010ed61ce4c672130511d61db4a573139a72127314d196830501938cb2db63087202731500017316938cb2db630872037317000172049683090193cbc27205b4e4b272067318007319731a92c17205c1a793b27207731b00b27208731c00938c720901720b938c72090299720c731d938c720d01720f938c720d02998c720e027e72120593b17207731e93e4c67205040e720496830a0192c17213c17214937eb2e4c672130410731f00057215938c721701720b938c7217027320938c7218017321938c7218027cb4e4b2720673220073237324937219721a93cb7219b4e4b2721b7325007326732792b2721c7328009adb6903db6503fe7cb4e4b2721b732900732a732bafb4721c732cb1721cd9011e0593721e732dafdb0c0e721dd9011e04d803d620b2721d721e00d621b2db63087220732e00d622e4c6722004119683060192c17220c1b27211721e00938c722101720f938c722102732f93b27222733000721592b27222733100733293cbc27220b2adb4721b7333b1721bd9012332b4e4722373347335721e00",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\n23: 0\n24: 0\n25: 1\n26: 33\n27: 0\n28: 0\n29: 1\n30: 3\n31: 0\n32: 1\n33: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\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": "5BHZcZ4BWGiHDwuq1jiFieW8bMikukd36ANmAZyvP2wqzK7bVktQ2dDMdMTRovAguCB6V4snJnE3kfLsYWJe7j1vwmfTM4nwHdJHjZA1g3oQZ1vDLCCAmbdikgiENSMRuKU9bb2GKpAtxRLwAf6MqXtg1WhjbNCjjRFJvrxyBtMAkQkAw4arCYGQqtQD1zYbo9L7Mo2EuuvFnQQyBx6jj1xpx3cnpuNpiQDL4WjQ8eVD2vCpQkaWrFwVAbpuFQiFg576VJ4hnXWkTqcMHYR16dwyc71fWhPMguSiqDJjwdMUK9n9HgY11ybxUJky4XaCKpWcnbqJtfEjE1uJ6DV9wu5GWyTW5qZHH8pRzbe1b8ibuv9pRR1Cm1fva8fjxD934KmZ2KjxKrvXyBm6yqjhsnPGM2CFAQrH7TKvGD6WBSz1tW3mpinGjw9WmYAEjESvCFWat2RX4x571uKtmHMxpzQThKve5Vr3zjkcgRatJkectw4A4gSAfoE3wHyyTqn5jF3j9iKEi3h2URhVQfFU4bh7oDzqpXrMhnuZcuRA3EY8NYsK8QnxFL3dYZ3iFW8ExnRw4PeAd2QRZj7hdYD6GcPccMA9PxVtGBBsHkrohtL5NsMh97DWbGvcsMUZKBbYX73d4Q21CWBr1NMmwYSYemmu14vMitPtZd6A24ZSF7pQVYFNUWXHNGYntqaVcDd1WDDuyBW93hW9rBarR15xTe7AWxr3E1262SDjCTEbbFwrsTtUgDyQVM1coyW3Rb2ShfMHFEEVokDHuN5uyEav313ZXA4e43sizL9RQ11kJaQ119PQbwsUNksz8rqvuK7A2pw9a4B1J9WCD9b71LpCc8ryRPf96vqTZkzCiNrhm7YB8mh8D3QEtMXoJG4WJuTP3kbuFE7LMVwfWyapH69zNjfPcwBtzVUCEfwgXgguUrWK6go4J2pi5beLokRtaL6eNMJZV9ULmKnLR4GLTqGWXgpugxu2rzMzndyPayvLZdQtBJwEzPNP4xaTzMmn1BBVmq4vn1vqZ5rMGJ5TLqNyFrzwVhUsbu3VbVjhC7UVeZ5Y78KyaLVV3hyEJpSEqrapFiWsTQ8exDkoj43YZFiBYzJKH7B3YxkMtPFtCZTX4NuqqpPuWjLSwZSQ9S8jpamsQu6qvUu1sTYWuGeZKh1kg1pqRuPu2jzgujPcMCk8jYB4n2d3gZ5wPq1hy4vPxwEeB5ChYJaHG1AU7hD95xgfUrqu2dJ7sBoWnm36kx6YGFeG2Ye3CrPKo9Ja2CPkSqygQ5T5jti5de74s7nKrHDQRYd8w39WepcnmGe9Ghsrn3uA9kRegKye6QEdUyp8oN",
"assets": [
{
"tokenId": "0039092b403cc2f9c34c6f29107ce874a7ed1f947c435b2c7098e826b3acc85b",
"index": 0,
"amount": 1,
"name": "Paideia DAO",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "00167889a067298df32fb5223b28d44ccca4f13a1b2415639bf99e9896c5a4b8",
"index": 1,
"amount": 9223372036854776000,
"name": "Paideia Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0007acd39e28e8ec2d7bb76aca8fb93d92b978efc6905c2f759eb5e5a5f36eac",
"index": 2,
"amount": 9223372036854776000,
"name": "Paideia Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3",
"sigmaType": "Coll[SByte]",
"renderedValue": "006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3"
}
},
"spentTransactionId": "472f941f0d412b7caa75ccb1b7026d0d335335f83dfcd5f834e72ad062aaa5a1",
"mainChain": true
},
{
"boxId": "d99c812d465b4e4b1532e76dc873cc511cca28d053cb88f00f5274d18318ac5e",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 2,
"globalIndex": 31702527,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e200007acd39e28e8ec2d7bb76aca8fb93d92b978efc6905c2f759eb5e5a5f36eac0100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
"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(0,7,-84,-45,-98,40,-24,-20,45,123,-73,106,-54,-113,-71,61,-110,-71,120,-17,-58,-112,92,47,117,-98,-75,-27,-91,-13,110,-84)\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": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfCjtiaJRngtsxP8jbdtnF4uLx2bERVR5EJNpBBsTw1HwfvvfPkxScVxAbPg3aaVVFk9LJLh2arNZTChHRz2NfFLXtPVHLwSLDsN35xcqGqqNZtNhpiyBp3enb6JWGrHMJ9nPat3KqQsoCSN6Wd7RECpcM8snddUXwPfbpYtEFM2tz1whkqMN465TsdJb",
"assets": [
{
"tokenId": "006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3",
"index": 0,
"amount": 1,
"name": "Paideia DAO Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "6464772b6e7d0aa005cfb899476683f04e01d67c836bc03a41b3e44497a1ca7a8708072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "e8e1d51818917483691a811e3c0006f0f15582d117871374e524e2bac7b270ab",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 3,
"globalIndex": 31702528,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1042040004000e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040c044a040a040c044a0402040a040805000410041004100400040004100410041004000400040204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000402040c044c040404000402040204020402040204000402050004020402040404050404050004000402044204020402040a04000400040404040406040604080408d81cd601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606b27205730500d6078c720601d608e4c672020511d609b17208d60ae4b27204730600d60bdb0c0eb4720a73079d99b1720a73087309d60cad720bd9010c04b4720a9a9a730a9c730b720c730c9a730d9c730e9a720c730fd60db3b4720873107209adb4720c9972097311b1720bd9010d0e7312d60edb0c0e720dd60fad720ed9010f04d801d6119a9c720f731373147cb48c72060272119a72117315d610b2720f731600d611e4c67202040c64d612b27211731700d613e4e3020ed614ad720ed9011404d801d6169a9c7214731873197cb4e4dc640a7212027207721372169a7216731ad615b27214731b00d6169972107215d617b2a5731c00d618db63087217d619e4c672170511d61ae4c67217040c64d61bdc0c1d721401720fd61cb2a5731d00d196830c01938cb2db63087201731e0001731f938cb2720373200001b4e4b2720473210073227323938cb2db6308b2a5732400732500017207ed937216998cb27218732600028cb272037327000293721699b27219732800b2720873290093b17205732a93db6401e4dc640d72120272057213db6401b2721a732b00afb4721b732cb1721bd9011d59d801d61f8c721d02ed928c721d01721f92721f732d9399b27214732e00b2720f732f0099c17202c17217afb472037330b17203d9011d4d0ed802d61f8c721d01d6209adc0c1a720c02721f7331733293998c721d02b072187333d90121414d0ed802d6238c722102d6248c72210195938c722301721f9a72248c722302722499b27214722000b2720f7220009683020193cbc2721cb4e4b272047334007335733692c1721cc1a79683090193b2721a733700b2721173380093b472197339b17219720d93b27219733a00b27208733b0093b27219733c00b27208733d0093b27219733e00b27208733f0093b27219734000b2720873410093e4c67217061de4c67202061d93e4c67217070c3c6464e4c67202070c3c646493e4c672170811e4c6720208119272107215",
"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: 0\n24: 8\n25: 8\n26: 8\n27: 0\n28: 0\n29: 1\n30: 0\n31: Coll(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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 l16 = coll15(placeholder[Int](22))\n val coll17 = box2.R4[Coll[AvlTree]].get\n val avlTree18 = coll17(placeholder[Int](23))\n val coll19 = getVar[Coll[Byte]](2.toByte).get\n val coll20 = coll14.map({(i20: Int) =>\n val i22 = i20 * placeholder[Int](24) + placeholder[Int](25)\n byteArrayToLong(avlTree18.get(coll7, coll19).get.slice(i22, i22 + placeholder[Int](26)))\n })\n val l21 = coll20(placeholder[Int](27))\n val l22 = l16 - l21\n val box23 = OUTPUTS(placeholder[Int](28))\n val coll24 = box23.tokens\n val coll25 = box23.R5[Coll[Long]].get\n val coll26 = box23.R4[Coll[AvlTree]].get\n val coll27 = coll20.zip(coll15)\n val box28 = 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 l22 == coll24(placeholder[Int](38))._2 - coll3(placeholder[Int](39))._2\n ) && (l22 == coll25(placeholder[Int](40)) - coll8(placeholder[Int](41))), coll5.size == placeholder[Int](42), avlTree18.update(\n coll5, coll19\n ).get.digest == coll26(placeholder[Int](43)).digest, coll27.slice(placeholder[Int](44), coll27.size).forall({(tuple29: (Long, Long)) =>\n val l31 = tuple29._2\n (tuple29._1 >= l31) && (l31 >= placeholder[Long](45))\n }), coll20(placeholder[Int](46)) - coll15(placeholder[Int](47)) == box2.value - box23.value, coll3.slice(placeholder[Int](48), coll3.size).forall(\n {(tuple29: (Coll[Byte], Long)) =>\n val coll31 = tuple29._1\n val i32 = coll12.indexOf(coll31, placeholder[Int](49)) + placeholder[Int](50)\n tuple29._2 - coll24.fold(placeholder[Long](51), {(tuple33: (Long, (Coll[Byte], Long))) =>\n val tuple35 = tuple33._2\n val l36 = tuple33._1\n if (tuple35._1 == coll31) { l36 + tuple35._2 } else { l36 }\n }) == coll20(i32) - coll15(i32)\n }\n ), allOf(\n Coll[Boolean](\n blake2b256(box28.propositionBytes) == coll4(placeholder[Int](52)).get.slice(placeholder[Int](53), placeholder[Int](54)), box28.value >= SELF.value\n )\n ), allOf(\n Coll[Boolean](\n coll26(placeholder[Int](55)) == coll17(placeholder[Int](56)), coll25.slice(placeholder[Int](57), coll25.size) == coll13, coll25(\n placeholder[Int](58)\n ) == coll8(placeholder[Int](59)), coll25(placeholder[Int](60)) == coll8(placeholder[Int](61)), coll25(placeholder[Int](62)) == coll8(\n placeholder[Int](63)\n ), coll25(placeholder[Int](64)) == coll8(placeholder[Int](65)), box23.R6[Coll[Coll[Long]]].get == box2.R6[Coll[Coll[Long]]].get, box23.R7[\n Coll[(AvlTree, AvlTree)]\n ].get == box2.R7[Coll[(AvlTree, AvlTree)]].get, box23.R8[Coll[Long]].get == box2.R8[Coll[Long]].get\n )\n ), l16 >= l21\n )\n )\n )\n}",
"address": "4aS45DY9SShnoVo8iBpSUsTfLcR79ia9Dxc6BrAPLkUrRG87jfUosmsVfVeyTqiWiGrUj99WTgWqK8oefe5XVn6FsxXKzkqhTvDftVUfCPgNXQRaU5vtqZ6bEgurTqxWfPDbZ7uEs6M1oLB8VQNBKAhk6bsy6ZBCWui6CGZFuoXgNokFPu3cf1hK2KG1v7sT7un41PA3Gm7B6TnFuxGrdJADfcQiy9PKiFAimQjp3zdgPDmLmJVwAkcDkdtJdq6zx2yqK91e3cktPUgyn7zNE8o3U9qPRXVQVbXpNhjVivAELt2eQHuLRQLqvaaa38dcgRpzK5r2mNws6vGMQ9U1LzUFT8fyPLP3aVtawx7p3WSKsGEWC7oJpWbCYz7SdkoUSR3F8pEyNUZTd21P6mYYRdqzc3ESH1PRkgm2wRGn5gvXkUS7cX4k35cuGQmU132FKCxoAVGwQSzXb4H7k3MgUa9RW7Sjv6mbbwtb2So8f5byAZDMS2rr6ebSWKyyZS2GRQcRbutQKLZMe8iTwpri8Lu8JfhQGtri9in4T1UbnGFgnTdU7GMUDk8TqWFWRo7ac71YQDfZM6xcBPFsp6TPrr8veuRV3JHrPWQ81kUSjBTGgu6a4CtSMtyr6rxUfnusBqf1bNS93tUmcKHDLPJFV94Y3NcMfQaUHoHJiqovRFxQAzLWA2F2w1Z35ktKHd13JttxhzxU5a88Uai5dEsCuhm5FBKXYuLt1qAFW5x9DBcw6ZLdUCspZ99jzSgJnZLt8X6U8eoNRUcdqR7HasSSuRjeABreSNuvDnzhYqaCVGWKvXP57wtCRxtpZgaTwwHCNRiTtYVQH6RZ4ZRPMFyCPWKRciFnhrJfFhdUG139VZfsJnifebotzGbUG3p717TSqW5zaJ1ARqRiHgiuChvVz3zZeo4Q6Ki6eBWksDFJ2PmKUwGes2eFJu6nuAgGoNokRt1jsiH6VMXxzJ8zrMMwJsWWyA2ksQo4EsakXH4Cr3tbRQhYNXZSDLQKyeL6XY9sVh5piahMcFU9ys3yba7EiFow2dmn7f7DVRBWmJ7gmmsYhWg4xRNgsh7oBDTQe39U6jSXFVARtSDTsSxBmyDAwPJeiT21wCMTeVsoMvd26eVQVaDm1ZnUG95uEC5mxsrW7xfNDByQmfcUPf5Z4Lt4cr34jidCf5bGaqesLV2Je8wT8h2bak1uaCf5n5Y8DcA6PQLpuYVLgPRKNwBjDMKtSfSFGPiB8r3nWYTpA6jJ1rHQQY8tnE8x9QkZsWz3RQQRziksV8vJA2yhpsF8FxWm3bKApRib7rdca5CF6viGB5yG4QUy2CuhHAxLVpwBGdKGD9N9d9zPBCUbgarRCKRE3H5jpSmnPzEF3jvJ8oNENMYUnZcNqVS3tnhbmqmC5prxLAg3qYTiaiqZXhuEFYHBSpTJyXUFsf9",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "869eae0b1493fe7c4c6dfed34a2ef09b7906eb7f1f740452019aec69378845f1",
"mainChain": true
},
{
"boxId": "1f2603d8f8005467e84bb1806d794d60117b27ad47bd2cdc664deb350aa04e99",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 4,
"globalIndex": 31702529,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "103b040004000e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040004040400040c044a040a040c044a040a040c044a0402040805000410041004100400040204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000402040c044c04040404040204020400040004060406050005000502040204020402040204020400040004020500040004020442040405020404d815d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606db63087205d607e4c67205040c64d608e4c67202040c64d609e4c672050511d60ae4c672020511d60bb1720ad60cc57202d60d8cb2db6308b2a573060073070001d60ee4e3010c3c0e0ed60fb2720e730800d610e4b27204730900d611db0c0eb47210730a9d99b17210730b730cd612db0c0eb3b4720a730d720badb4ad7211d9011204b472109a9a730e9c730f721273109a73119c73129a7212731399720b7314b17211d901120e7315d613ad7212d9011304d801d6159a9c7213731673177cb48c720f0272159a72157318d614b27213731900d615b2a5731a00d196830a01938cb2db63087201731b0001731c96830901938cb27203731d0001b4e4b27204731e00731f732092c17205c1720293b472067321b17206b472037322b1720393b27207732300b2720873240093b27209732500b2720a73260093b472097327b17209b4720a7328720b93e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c672050811e4c672020811ed93720c720d93720c8c720f0193b0dc0c0fa501d9011663db630872167329d90116414d0ed801d6188c7216029a8c72160195938c721801720d8c721802732a732bed937214998cb27206732c00028cb27203732d000293721499b27209732e00b2720a732f0093b1720e733093db6401e4dc640cb2720873310002720ee4e3020edb6401b27207733200afb472137333b17212d901160593721673349683020193cbc27215b4e4b272047335007336733792c17215c1a7939ab2720a7338007339b27209733a00",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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[Long]].get == box2.R8[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": "D8NB7dQJ2vzW32bzvtaELrgdfWwECP5QTB1ZycRmdko3nQncCmFivpqxQtoK9wSraymtxJnABzkxRD2ZYtkzMeB2MsrGXS4G5X4ZSUYKA4kFZeywLu3i8ka4eqbbaS9xumgxTa5ngNWUk5eDi7AsttpbFDPjAPWKREtGAY1m7hscD4qwPtoNXjoNi7WjXnb5z4aXFGziTbhM5Vfu1oSMtS36Y8ipUecCLJNpBnFRsimzdpQ6Wd3WgdZVqW2JwXQWLgQ4WymP7N1Sbft5ooX8SPjq1SBQnKtfzvVaKfcXTuMLJqsQqnRod3mQjSbEuCegppfJ4ghPW97YeU6NMRe1Rf8s9nyRnxBy8rCj6Hz1zz3ZnUxebMwKMwDrLjpAsMovfYg2P4GwSx6vE9JPdfwp4BUk2XqEpL8ZnMUs83wi7RKw6MYz61W9ARZhes9rdvvPBUaQAV9VULPXNg1S6nkpKtoMNE3WVhCzSKW32u4HHnMFvCoznQXGpoFTpdbWafTj6BRGFcNpXx29f2BH6y6Gqpdg9vv4kT8H8PjREqNcx824Joub8gzM7fVKgg4Zmq3pZYBGKzAWsyXJu89Nxm4SNf4XVCNdqJQESua95Cfr6Kg6NbSJ9axh8Pia7X86LK988LPBJqimvAkdnRWL6TU1wW5ekYUP6yyQqA1VJr3RCzcisEyLs16NucU4GT1UVKtQzJGP1vPnWTGc314Su8GrwtzDb2EbhZPZ7pnL3LWLoHUiW9Yo4mQ3UuQg4QhekddqKKgS1JsSCYrAeTYYPKk3VvN8ZZZiQ39Gv4P9PgCR5VnzZna3AEkQT1xTAjW4QySKxupCJE7U32XFjhtAH9M2sbgirtRC1S3i6iTRLvMrvEeY8bUfyMMzrYQyvJuaEXTyopREMdLKyNmFDabWBd7N8Uvz6HXh5AQQ8h3LuCcYMarvxYXRb26VQHuWvhp1xsiD7J7ZTa4RUeXPcyBDYCF66PBC6Yq1JZEDbRBwhK4biTopeD5iVXVYzm7pjrAULkMezaSfWyT9npg4EiiLJHpVaA9ADVhsr27WY3A7nXQTYFiGC6t8UNXzrzpU92B3Xc1uiHdFt4F7uD8Yyywx6AafmN6EoPstNUD3WiRrE3JmQ4uej7Bj8LGAfN1a2FHtXLJhdCetJCNVcUZF37SKr4n6h5vS45BXopVsikW1faVqDQK9ZBkGXBMBbmERzU22",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "c309e1d216afa2310721a3206428b94c7bc939fe9f649ce336a60a2c8d39be02",
"mainChain": true
},
{
"boxId": "c10f4650a587fd1883b2d5e5464846b5347e6f7ea0ae905ae7fd3010bcb59304",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 5,
"globalIndex": 31702530,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1039040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20400040004040400040c044a040c044a040a040c044a04020400040a040805000410041004100400040204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000400040c044c0402040204000400040604060404040004020402040204020402040405000405040404020400040204020442040405020404d815d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606e4c67205040c64d607e4c67202040c64d608e4c672050511d609e4c672020511d60ab17209d60be4e3010c3c0e0ed60cad720bd9010c3c0e0e8c720c01d60db2720c730600d60ee4b27204730700d60fdb0c0eb4720e73089d99b1720e7309730ad610ad720fd9011004b4720e9a9a730b9c730c7210730d9a730e9c730f9a72107310d611b27207731100d612addb0c0eb3b472097312720aadb4721099720a7313b1720fd901120e7314d9011204d801d6149a9c7212731573167cb4e4dc640a721102720de4e3020e72149a72147317d613b27212731800d614db63087205d615b2a5731900d196830a01938cb2db63087201731a0001731b96830701938cb27203731c0001b4e4b27204731d00731e731f93b27206732000b2720773210093b27208732200b2720973230093b472087324b17208b472097325720a93e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c672050811e4c672020811938cb2db6308b2a473260073270001720d96830201937213998cb27203732800028cb272147329000293721399b27209732a00b27208732b0093b27212732c0099c17202c17205afb47203732db17203d901164d0ed801d6188c72160193998c721602b07214732ed90119414d0ed802d61b8c721902d61c8c72190195938c721b0172189a721c8c721b02721cb272129adc0c1a7210027218732f73300093b1720b733193db6401e4dc640e721102720ce4e3030edb6401b272067332009683020193cbc27215b4e4b272047333007334733592c17215c1a79399b272097336007337b27208733800",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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[Long]].get == box2.R8[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": "7cMY3DUNEVF5SPFNPPjQ4UVeNB1MyoLLhRyMoy6oPpfafBqqZ4aJKK6LYhywHEVC8azUDBQTKffVBSafdRexsotKuMPbLCAXBGpUe6GSxmhfkSuM5VJP214svAH3jVYMtXptch5tbwJEeA1zbP3yF8KFyi17npdTv4uZq1xaURnwru8d1kTB5XGUHRi6nXNvq3y7Pds5WmU6rzoa1iG8WPmNB5cSwzBGt4tFeuWLVNsP5dMb5MJ48azTFGC81vbUrenxC6waNRMGK8ZiNzj1zCNcebLewfGVSJqjTkHrzG6CFuXZac2dYXjWcXatnSH4iCE97qYLeEbRT7ryPQiZ7HM8TtqHFzZigSTcXLcT38hvrHN8oy6c9FAKGruDUnHE2Tbx2UpoNaSpkKJJH4Li3JZYD8uREw7jCNNePLUTQf2XbSrE6cRBALB8e6sZwiTVT5MPpXLRAJw677dhnuDh2sXFRikw9sqEB8eAF2L2qCAzcm5QQoGGjbWPVDUXTofYrv578eAZ12mDJa18ChAFxTyQX4DHV1nQQ5Gji2oBtk7S32jdji1yYUerAq3C6gdWi2uRYXb1tBepyrm5gizjSnofMt5pQqSy71TUv9LYETYtJ627hyred7b2HHngMnixTrVbSyvzdCPFxknUYaLBr7hU7XBB3Lq2ohEXErhA5gUkXY9e2JG7jyrpC4dWEDAMir7f2NDPGBiddvbxepeuyE33JAcaoE1dsjnFppH3X9TcNiZqcPELwMVsg92sKdaCeebgCjbN89Vqbr58i3qswyEVdBJFEgofTkGYbotC6UzD9WhB13jwMrmnVXkw6vhsh33CZW6awb7iFtE4ULAzMrTwdAe1oFirNy15h5D88TK2gaBUQWj8fUPNRdudhjiWw9FNChe5shbJvRpeeaS4Gv6Xrk4tGc63gZWjQsqfS6kf8qHuzbBuU1PDh2NjR94oiVCW2wdth1QHHp7thQe4GiLpnJCKuE22mPWVS7CasjqE9DQFChdJS5JD9vrt9SRcipXaHa2QpQYP41dVh5PjP7FA3gcGvzp1MWaReF3cLwbraaQLud6GcCc7nN3hn45pTVWPhWKxVASjfDh2CNZ2a1Vpmv58wxesF4eWB6krAu59gA5mDdgERo4BGjLf9ZN3DcbjfKnDwzDvnWCDnF9iuHx6q2JMfaJCDhTVYQZVyZzigugiahA68uoYpiBjBWSrH1P9pJZXkq2QH2ZREd",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "092e2e4526c025e79c972ac8e91791349dc673c2ae4a7be678efb4c2f52b8b8f",
"mainChain": true
},
{
"boxId": "97e9f5ee1b6e6bc70a7d0ef0dc7d6598120d13c9a51fab82bfe06f278252e5a9",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 6,
"globalIndex": 31702531,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "108a01040204000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20b0b907abafad8dffce2f9f1dfa1535c022dda05366f4fbd27f581d132f4b23f60e209b16b18081274dc22f18e8591996a266d3b921b771810cca0cb8e7124ad808be0e2041f398806552845e52009032105f59e5cb2cb141de63cc737b6d995753c36e810e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20e2028c684593e114e7a522ca6e6909877ad0a79ae99db6d6cd43819a34d505b37e80e203b0839c7f77efc86dba0a45faacd64a638b68e0ac26aa80a158c8ebe57ae15830400040004020400049c010473043e04900104b60104cf01042904f101042a047e04f80104ae010449049e0104bc01046504ea0104aa0104de010445048701048001047604820104a701040f048801043e044304e301042c0412040004000402040204040406040c02000264040202000408040e0402040a0400040c044a040a040c044a040a040c044a04020406050004000406040204120402040a040004020402044204000400040c044c040204040404040605000408050004000402040604080402020002640402020004020400040404020412040205020402050004000400040204000402040204000404040204000406040204000408040204000400040204020402040004080402041204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3d828d601b2a5730000d602b2db6501fe730100d603dc640be4c6720204640283080e73027303730473057306730773087309e4e3000ed604b2a4730a00d605db63087204d606b2a5730b00d607e4c672060511d608e4c672040511d609b27208730c00d60ae4c67206040c64d60be4c67204040c64d60cdb6401b2720b730d00d60dad832104730e730f7310731173127313731473157316731773187319731a731b731c731d731e731f7320732173227323732473257326732773287329732a732b732c732d732ed9010d047d720d02d60ee4c67206061dd60fb2720e732f00d610b1720fd6119972107330d612b2720e733100d613b2720e733200d614b2720e733300d615b27203733400d616a27335a1733695e67215b2e472157337007338d617b2720e733900d618b17217d619b27203733a00d61ae4c67206070c3c6464d61bb1721ad61cb2721a99721b733b00d61de4c672060811d61eb17208d61fe4b27203733c00d620db0c0eb4721f733d9d99b1721f733e733fd621b3b472087340721eadb4ad7220d9012104b4721f9a9a73419c7342722173439a73449c73459a7221734699721e7347b17220d901210e7348d622b27221734900d6237d7cb4e4b27203734a00734b734c04d624e4c67204070c3c6464d625997223734dd626e4c67204061dd627b47207734eb17207d628b27208734f00d196830a019683020193cbc27201b4e4b272037350007351735292c17201c1a796830801938cb2720573530001b4e4b272037354007355735693db63087206720593b27207735700720993b27207735800b2720873590093b27207735a00735b93b27207735c00735d93db6401b2720a735e00720c93db6401b2720a735f00720d9683080193b2720f721100720993b27212721100b2720873600093b27213721100b2720873610093b272147211007e72160593b272179972187362007ea27363a1997364721695e67219b2e4721973650073660593db64018c721c01720c93db64018c721c02db6401b2720b73670093b2721d7368009aa17cb4e4b27203736900736a736b9999998cb27205736c000272097222736d95937223736e7222736f9683070193db64018cb2722473700001720d93b4721a73717225b472247372722393b4721273737225b4b272267374007375722393b4721373767225b4b272267377007378722393b4721473797225b4b27226737a00737b722393b47217737c7225b4b27226737d00737e722393b4720f737f7225b4b27226738001007381017223afdb0c0eb4721d738201b17221d9012904d801d62b9a722973830193b2721d722b00b27221722b009683060193721b7223937210722393b172147223937218722393b17212722393b172137223afdb0c0e7227d901290493b27227722900b2721d72290093b27207738401009a72287cb4e4b2720373850100738601738701907228db6903db6503fe938cb2db630872027388010001738901",
"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: 5\n65: 6\n66: 37\n67: 5\n68: 6\n69: 37\n70: 1\n71: 3\n72: 0\n73: 0\n74: 3\n75: 1\n76: 9\n77: 1\n78: 5\n79: 0\n80: 1\n81: 1\n82: 33\n83: 0\n84: 0\n85: 6\n86: 38\n87: 1\n88: 2\n89: 2\n90: 3\n91: 0\n92: 4\n93: 0\n94: 0\n95: 1\n96: 3\n97: 4\n98: 1\n99: 0\n100: 100\n101: 1\n102: 0\n103: 1\n104: 0\n105: 2\n106: 1\n107: 9\n108: 1\n109: 1\n110: 1\n111: 0\n112: 0\n113: 0\n114: 1\n115: 0\n116: 1\n117: 1\n118: 0\n119: 2\n120: 1\n121: 0\n122: 3\n123: 1\n124: 0\n125: 4\n126: 1\n127: 0\n128: 0\n129: 1\n130: 1\n131: 1\n132: 0\n133: 4\n134: 1\n135: 9\n136: 0\n137: Coll(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)",
"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[Long]].get\n val i30 = coll8.size\n val coll31 = coll3(placeholder[Int](60)).get\n val coll32 = coll31.slice(placeholder[Int](61), coll31.size - placeholder[Int](62) / placeholder[Int](63)).indices\n val coll33 = coll8.slice(placeholder[Int](64), i30).append(\n coll32.map(\n {(i33: Int) =>\n coll31.slice(\n placeholder[Int](65) + placeholder[Int](66) * i33 + placeholder[Int](67), placeholder[Int](68) + placeholder[Int](69) * i33 + placeholder[Int](70)\n )\n }\n ).slice(i30 - placeholder[Int](71), coll32.size).map({(coll33: Coll[Byte]) => placeholder[Long](72) })\n )\n val l34 = coll33(placeholder[Int](73))\n val i35 = byteArrayToLong(coll3(placeholder[Int](74)).get.slice(placeholder[Int](75), placeholder[Int](76))).toInt\n val coll36 = box4.R7[Coll[(AvlTree, AvlTree)]].get\n val i37 = i35 - placeholder[Int](77)\n val coll38 = box4.R6[Coll[Coll[Long]]].get\n val coll39 = coll7.slice(placeholder[Int](78), coll7.size)\n val l40 = coll8(placeholder[Int](79))\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n blake2b256(box1.propositionBytes) == coll3(placeholder[Int](80)).get.slice(placeholder[Int](81), placeholder[Int](82)), box1.value >= SELF.value\n )\n ), allOf(\n Coll[Boolean](\n coll5(placeholder[Int](83))._1 == coll3(placeholder[Int](84)).get.slice(placeholder[Int](85), placeholder[Int](86)), box6.tokens == coll5, coll7(\n placeholder[Int](87)\n ) == l9, coll7(placeholder[Int](88)) == coll8(placeholder[Int](89)), coll7(placeholder[Int](90)) == placeholder[Long](91), coll7(\n placeholder[Int](92)\n ) == placeholder[Long](93), coll10(placeholder[Int](94)).digest == coll12, coll10(placeholder[Int](95)).digest == coll13\n )\n ), allOf(\n Coll[Boolean](\n coll15(i17) == l9, coll18(i17) == coll8(placeholder[Int](96)), coll19(i17) == coll8(placeholder[Int](97)), coll20(i17) == b22.toLong, coll23(\n i24 - placeholder[Int](98)\n ) == max(\n placeholder[Byte](99), min(\n placeholder[Byte](100) - b22, if (opt25.isDefined) { opt25.get(placeholder[Int](101)) } else { placeholder[Byte](102) }\n )\n ).toLong, tuple28._1.digest == coll12, tuple28._2.digest == coll11(placeholder[Int](103)).digest, coll29(placeholder[Int](104)) == min(\n byteArrayToLong(coll3(placeholder[Int](105)).get.slice(placeholder[Int](106), placeholder[Int](107))), coll5(\n placeholder[Int](108)\n )._2 - l9 - l34 - placeholder[Long](109)\n ) + if (i35 == placeholder[Int](110)) { l34 } else { placeholder[Long](111) }\n )\n ), allOf(\n Coll[Boolean](\n coll36(placeholder[Int](112))._1.digest == coll13, coll26.slice(placeholder[Int](113), i37) == coll36.slice(\n placeholder[Int](114), i35\n ), coll18.slice(placeholder[Int](115), i37) == coll38(placeholder[Int](116)).slice(placeholder[Int](117), i35), coll19.slice(\n placeholder[Int](118), i37\n ) == coll38(placeholder[Int](119)).slice(placeholder[Int](120), i35), coll20.slice(placeholder[Int](121), i37) == coll38(\n placeholder[Int](122)\n ).slice(placeholder[Int](123), i35), coll23.slice(placeholder[Int](124), i37) == coll38(placeholder[Int](125)).slice(\n placeholder[Int](126), i35\n ), coll15.slice(placeholder[Int](127), i37) == coll38(placeholder[Int](128)).slice(placeholder[Int](129), i35)\n )\n ), coll29.slice(placeholder[Int](130), coll33.size).indices.forall({(i41: Int) =>\n val i43 = i41 + placeholder[Int](131)\n coll29(i43) == coll33(i43)\n }), allOf(Coll[Boolean](i27 == i35, i16 == i35, coll20.size == i35, i24 == i35, coll18.size == i35, coll19.size == i35)), coll39.indices.forall(\n {(i41: Int) => coll39(i41) == coll29(i41) }\n ), coll7(placeholder[Int](132)) == l40 + byteArrayToLong(\n coll3(placeholder[Int](133)).get.slice(placeholder[Int](134), placeholder[Int](135))\n ), l40 <= CONTEXT.preHeader.timestamp, box2.tokens(placeholder[Int](136))._1 == placeholder[Coll[Byte]](137)\n )\n )\n )\n}",
"address": "7YEBFcWhPM2koYTUV8DHuUtdsyZ9QmpSvb7EiUZAmr4x298bNvTD3NjhVVEXdLDyTW2t5ajguqqEfhxrppanUGGdgVEFtE2ka6riqtiX2mXbStMwQyk2uYf59rQm9VvpHWmM3jKtrHBDJMeH17d4APaPFcyWRVsKyjfyuahmzUKsKT3KkA3kuRJmhHQ3ATXvPG6FZp2LAJvUCJXaTdQp6iXCNQ4q5wPFkATBn4kRxSkoup7SF2vrTiCHSCsu9QBAkEnMjaM4j8dxgU1EaHm5LYC3Zj4snLQywRoHPuopeEQ2gyDT9SoLHUAqzmiF8A2DWWkwdgAmsNKNFwM84KPpBYEdatHd328HA5oPM39fptpfiGTGg3H8Gz1oYnWEWnjvJS9ZQQ7tsj9u12ZWHx5WVameDVLqHtaH8xrpHRSs92EtLVczg8WkJdtbvhP4USrkhpLm1EvmKxEgPdDMbp1FiWCamWrDHBdGRqAFmns5NUfC1g5JszGRynPoS2FEu3igESQs963BPX3CRrEN933p8jmVGvaJNjbM9R1EoSwqnn3x9MuguRtHwzXe4m1wnDGoyKK4Wj3c94zebwuMxFREuERgn4y3MFKhc4E9o8Z9jfMFeoCRFJdbmCha27qEkQZypLhimJX5pdRPiuhqBuTWvSL4SZDUaeuNmx7Ktw1ZSq8UxCxcb9wqky9CfhMPmaMnH7AbuRZELrPfe83XdDJXgYswSpmoVD2WfaqcVaAywDYrfJHjnr24vyGwpX3UtdthcNo2kGmrJJr1iXWEmL1uEBM9hvVhZj1hsQMEAjQEzxnDxYrzsX6y6UxyNf59myWE5RXfEAS24LwNJUEzmbqRbHUqV32hASbePmmgjsi39cdpA5F1GePH2kqGNqVxNkKPAgzzhqjgL1GeuC83rBQm3wNaMRtxLgRfSEtHSRkBf4qrXbUPZ5jy9UsDaJkQaL9NZcasw4LEJ4dgGeSr975pZiq29FF3BLP4yvqFXkKXXTuQQ9SrfVydgQXMeZuYb9cUZBUpGcnt5f6W63jHnW1gd65AfzTdvqxbGZFKPvNcyGAsoFTgwhENWjFsd8Mj8gro5FU1vbWDczBUaYKdocEJjwa3dgZW34XCg6QEpxB4oX5sUmi43PwXuT8MVYFFGcnY67MMW4XNcrJQfdToW19zo14v6kvPhmhbhmE1XaYYuxFZ1YWwRWCS7b3WafsWwcFKuTT3mRzbLRWjSF3BKqWdm1tgpoZ4UkXzJQYP2UMpiy3gPJZRRRzzbQiUjNUDJ9vcz3DS9vV6zaqXmsTENB9n8bkJ2FeLghipSiyD6fqHmAqBAaVsjBBSecLL6UpJRiVQHrKDPLMDQBJ625T2tiaD2f1mhLArcHyf147FH17djvRCz9NQiaU6VptseFnK1uKppEwjK52FWY6k9nqrKG5YHJTdvgeFNV1DvsY6yWLsNVWSRZk4T9mgKuTrJnp1ZtF2BsvrrTE32Kj9rb3eShPqvWDt5FJEfbeqE2Bsb6LGTDiv2rU14zPoULu9em18fyxKCAfxit2CBZUgRuU3HWvWPTPsULFstBqKnLYZCvWocuFYozyCDk7UTKk2Z8ycSjZERRYUZGyyPT5WydcHdZqPGU5TJ5NghD7HrBF4LNJHVVhwY2DHtAECJngNhpbCwzSNodFLfEvPrg1QiqjjJxjtmiQMEXqRMn5DgWjx5bzaon6MvWhRwFcSeDEFATAxCNfx4vbfYkjuUchFsP6GdHKMSLa8c4mbhaFTcLLoqrL2KbjyC4zvQPV7nMDguREfPpp2k3T4KmXaKciJ3FsKve5EZtCbSB3CivRtH8gsD2U1XKQyNxe2SKvZQbKWw851czzETua4yb48LhqtU6JEVpeoFSNqkMmx2rYmTNBYWUM1okHCGbca5kSBxQyQkCBg1rDLSSdmqAxzRNSh617NzyLqU62XWHLc249Wy2AXxETQRo9WqS1BVevEiTx1HNiDgMStqMGsTZKfTaShH1rDFvWwt5kgdogaVcQNgZmna24w2puovL1dRsc77MvKskH5fY3nPSFFM38bfM11kTni1bcyEasaBptg7MG3whHQTCpVhfPNfhev3N32idhjsH1KkcRCY4fFEdq3pAnDKqRtp3rcLEGyF4y6TT57BPsgRRxESz4zyxHsXphuYM71xBTK7j6Vj7o5UhJ9pCWX9bBsdECkYzJsL7fJkDrSjZ4RmJGBPyx27ncaEo2fmPK8ZqWK9TbKuYykCsgzaTzH4t28AzWxtAw5ZsEVK29GLw1A",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "1243e8a327b16ccde81d32d1d169605ab232df5bbc51b53ba95f827dbec041b7",
"mainChain": true
},
{
"boxId": "c7d21a225f865f1729390298335c956a39f3398adf3272d3a4ee88b0894db7c9",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 7,
"globalIndex": 31702532,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "108601040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040a040c044a040a040c044a040204080500041004100410050104000410042004000400040204000406050004000200040404000408050004000200040002640200026406010006010004000410041004200500050004100410041006010001010400050004000400040004000601000400040004020402040204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000400040c044c040005000400040004000400040204000402041004200500040004020402044204020402040004000404040a0404040a0414024e02c6021f0248025b029802eb02870215023f027c025702db024f025e02cd02750255026f02dd02bc0240023b024102ac02f80244021f02de028e021602090200040ad830d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606ad7205d901063c0e0e8c720601d607db0c0e7206d608e4c67202040c64d609b27208730500d60ae4c672020511d60bb1720ad60ce4b27204730600d60ddb0c0eb4720c73079d99b1720c73087309d60eb3b4720a730a720badb4ad720dd9010e04b4720c9a9a730b9c730c720e730d9a730e9c730f9a720e731099720b7311b1720dd9010e0e7312d60fdb0c0e720ed610addc640b7209027206e4e3020ed901103295e67210ad720fd9011204d801d6149a9c7212731373147cb4e4721072149a72147315ad720ed90112057316d611e4c67202070c3c6464d612b27211731700d6138c721201d614addc640b7213027206e4e3030ed90114327cb4e4721473187319d615e4c67202061dd616b2b27215731a00731b00d617b2b27215731c00731d00d618b27215731e00d61995917217731f7db27218732000027321d61ab2b27215732200732300d61bb27215732400d61c9591721a73257db2721b732600027327d61d9a7219721cd61e95917e721d047328a2997329721d732a732bd61f732cd620732dd6219a721d721ed6228c721202d623addc640b7222027206e4e3050ed901233295e67223d801d625e4722386027cb47225732e732f7cb4722573307331860273327333d624e4c672020811d625ad7205d901253c0e0ead720fd9012704d801d6299a9c7227733473357cb48c72250272299a72297336d6268602ad7224d901260573377338d627addb0c0e7224d9012704b0ad7207d9012904d801d62bb272107229009592b2722b733900733ad801d62cad7224d9012c05d801d62e7e722c069d9a9a9c9d9c7eb2721472290006722e7e7216067e721e0695917e721904733b9c9d9c7e8cb272237229000106722e7e7217067eb27218733c0006721f95917e721c04733d9c9d9c7e8cb272237229000206722e7e721a067eb2721b733e000672207e7221068602722c93addc0c1d722b01722cd9012d41069a7e8c722d01068c722d02adb27225722900d9012d057e722d067226733fd901294249129a8c722901b28c8c72290201722700d628b2a5734000d629e4c672280511d62ae4c67228070c3c6464d62bb2722a734100d62cdb64018c722b01d62de4c67228040c64d62eb2a5734200d62f938c722b027222d63093b4722a7343b1722ab472117344b17211d196830a01938cb2db63087201734500017346938cb2720373470001b4e4b272047348007349734a96ad7207d9013104d801d633b272107231008c9592b27233734b00734cd801d634ad7224d9013405d801d6367e7234069d9a9a9c9d9c7eb272147231000672367e7216067e721e0695917e721904734d9c9d9c7e8cb27223723100010672367e7217067eb27218734e0006721f95917e721c04734f9c9d9c7e8cb27223723100020672367e721a067eb2721b7350000672207e7221068602723493addc0c1d7233017234d9013541069a7e8c723501068c723502adb27225723100d90135057e723506722602939a7eb2720a73510006b272277352007eb272297353000693db6401e4dc640e7213027206e4e3040e722c93db6401e4dc640d720902b57205d901313c0e0e917cb48c723102735473557356e4e3060edb6401b2722d7357009683020193cbc2722eb4e4b272047358007359735a92c1722ec1a796830b0193c17228c1720293db63087228720393db6401b2722d735b00db6401b27208735c00722f723093b27229735d00b2720a735e0093b47229735f7360b4720a7361736293e4c67228061d72157230722f93e4c6722808117224ec92b17205736393722c832102736473657366736773687369736a736b736c736d736e736f7370737173727373737473757376737773787379737a737b737c737d737e737f738001738101738201738301738401af720fd9013104937eb2b47229738501b1722972310006997eb2720e72310006b27227723100",
"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: 8\n53: 8\n54: 8\n55: CBigInt(0)\n56: true\n57: 0\n58: 0\n59: 0\n60: 0\n61: 0\n62: 0\n63: CBigInt(0)\n64: 0\n65: 0\n66: 1\n67: 1\n68: 1\n69: 0\n70: Coll(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\n71: 0\n72: 0\n73: 6\n74: 38\n75: 0\n76: 0\n77: 0\n78: 0\n79: 0\n80: 0\n81: 1\n82: 0\n83: 1\n84: 8\n85: 16\n86: 0\n87: 0\n88: 1\n89: 1\n90: 33\n91: 1\n92: 1\n93: 0\n94: 0\n95: 2\n96: 5\n97: 2\n98: 5\n99: 10\n100: 78\n101: -58\n102: 31\n103: 72\n104: 91\n105: -104\n106: -21\n107: -121\n108: 21\n109: 63\n110: 124\n111: 87\n112: -37\n113: 79\n114: 94\n115: -51\n116: 117\n117: 85\n118: 111\n119: -35\n120: -68\n121: 64\n122: 59\n123: 65\n124: -84\n125: -8\n126: 68\n127: 31\n128: -34\n129: -114\n130: 22\n131: 9\n132: 0\n133: 5",
"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[Long]].get\n val coll37 = coll5.map({(tuple37: (Coll[Byte], Coll[Byte])) => coll15.map({(i39: Int) =>\n val i41 = i39 * placeholder[Int](52) + placeholder[Int](53)\n byteArrayToLong(tuple37._2.slice(i41, i41 + placeholder[Int](54)))\n }) })\n val tuple38 = (coll36.map({(l38: Long) => placeholder[BigInt](55) }), placeholder[Boolean](56))\n val coll39 = coll36.indices.map({(i39: Int) => coll7.map({(i41: Int) =>\n val coll43 = coll16(i41)\n if (coll43(placeholder[Int](57)) >= placeholder[Long](58)) {(\n val coll44 = coll36.map({(l44: Long) =>\n val bi46 = l44.toBigInt\n coll20(i41).toBigInt * bi46 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](59)) { coll35(i41)._1.toBigInt * bi46 / l23.toBigInt * coll24(placeholder[Int](60)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](61)) { coll35(i41)._2.toBigInt * bi46 / l26.toBigInt * coll27(placeholder[Int](62)).toBigInt } else { bi32 } / b33.toBigInt\n })\n (coll44, coll43.zip(coll44).map({(tuple45: (Long, BigInt)) => tuple45._1.toBigInt + tuple45._2 }) == coll37(i41).map({(l45: Long) => l45.toBigInt }))\n )} else { tuple38 }\n }).fold(placeholder[BigInt](63), {(tuple41: (BigInt, (Coll[BigInt], Boolean))) => tuple41._1 + tuple41._2._1(i39) }) })\n val box40 = OUTPUTS(placeholder[Int](64))\n val coll41 = box40.R5[Coll[Long]].get\n val coll42 = box40.R7[Coll[(AvlTree, AvlTree)]].get\n val tuple43 = coll42(placeholder[Int](65))\n val coll44 = tuple43._1.digest\n val coll45 = box40.R4[Coll[AvlTree]].get\n val box46 = OUTPUTS(placeholder[Int](66))\n val bool47 = tuple43._2 == avlTree34\n val bool48 = coll42.slice(placeholder[Int](67), coll42.size) == coll17.slice(placeholder[Int](68), coll17.size)\n sigmaProp(\n allOf(\n Coll[Boolean](\n box1.tokens(placeholder[Int](69))._1 == placeholder[Coll[Byte]](70), coll3(placeholder[Int](71))._1 == coll4(placeholder[Int](72)).get.slice(\n placeholder[Int](73), placeholder[Int](74)\n ), allOf(coll7.map({(i49: Int) =>\n val coll51 = coll16(i49)\n if (coll51(placeholder[Int](75)) >= placeholder[Long](76)) {(\n val coll52 = coll36.map({(l52: Long) =>\n val bi54 = l52.toBigInt\n coll20(i49).toBigInt * bi54 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](77)) { coll35(i49)._1.toBigInt * bi54 / l23.toBigInt * coll24(placeholder[Int](78)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](79)) { coll35(i49)._2.toBigInt * bi54 / l26.toBigInt * coll27(placeholder[Int](80)).toBigInt } else { bi32 } / b33.toBigInt\n })\n (coll52, coll51.zip(coll52).map({(tuple53: (Long, BigInt)) => tuple53._1.toBigInt + tuple53._2 }) == coll37(i49).map({(l53: Long) => l53.toBigInt }))\n )} else { tuple38 }._2\n })), coll10(placeholder[Int](81)).toBigInt + coll39(placeholder[Int](82)) == coll41(placeholder[Int](83)).toBigInt, avlTree19.remove(\n coll6, getVar[Coll[Byte]](4.toByte).get\n ).get.digest == coll44, avlTree9.update(\n coll5.filter(\n {(tuple49: (Coll[Byte], Coll[Byte])) => byteArrayToLong(tuple49._2.slice(placeholder[Int](84), placeholder[Int](85))) > placeholder[Long](86) }\n ), getVar[Coll[Byte]](6.toByte).get\n ).get.digest == coll45(placeholder[Int](87)).digest, allOf(\n Coll[Boolean](\n blake2b256(box46.propositionBytes) == coll4(placeholder[Int](88)).get.slice(placeholder[Int](89), placeholder[Int](90)), box46.value >= SELF.value\n )\n ), allOf(\n Coll[Boolean](\n box40.value == box2.value, box40.tokens == coll3, coll45(placeholder[Int](91)).digest == coll8(placeholder[Int](92)).digest, bool47, bool48, coll41(\n placeholder[Int](93)\n ) == coll10(placeholder[Int](94)), coll41.slice(placeholder[Int](95), placeholder[Int](96)) == coll10.slice(\n placeholder[Int](97), placeholder[Int](98)\n ), box40.R6[Coll[Coll[Long]]].get == coll21, bool48, bool47, box40.R8[Coll[Long]].get == coll36\n )\n ), (coll5.size >= placeholder[Int](99)) || (\n coll44 == Coll[Byte](\n placeholder[Byte](100), placeholder[Byte](101), placeholder[Byte](102), placeholder[Byte](103), placeholder[Byte](104), placeholder[Byte](\n 105\n ), placeholder[Byte](106), placeholder[Byte](107), placeholder[Byte](108), placeholder[Byte](109), placeholder[Byte](110), placeholder[Byte](\n 111\n ), placeholder[Byte](112), placeholder[Byte](113), placeholder[Byte](114), placeholder[Byte](115), placeholder[Byte](116), placeholder[Byte](\n 117\n ), placeholder[Byte](118), placeholder[Byte](119), placeholder[Byte](120), placeholder[Byte](121), placeholder[Byte](122), placeholder[Byte](\n 123\n ), placeholder[Byte](124), placeholder[Byte](125), placeholder[Byte](126), placeholder[Byte](127), placeholder[Byte](128), placeholder[Byte](\n 129\n ), placeholder[Byte](130), placeholder[Byte](131), placeholder[Byte](132)\n )\n ), coll15.forall({(i49: Int) => coll41.slice(placeholder[Int](133), coll41.size)(i49).toBigInt == coll14(i49).toBigInt - coll39(i49) })\n )\n )\n )\n}",
"address": "vucDXTTqa2umSjNzQPk516MHK3PaohsSV3brbA91qQHMa2K51di24nCHFBsyQDGne8NPUHah45sR2CWXE8HMHXAwtQsnypTX4bXKfiwsHfd3duRW7ozm94SHB55UdxhvEunb16K11veiGpxNv76C8fmbgHik4qsSZpdaAJ6NhgigVRVokHFVCRRF9931pfPAuGHgGUtpqJ3SW7g9cmYuXKo4ogwitJRHo2fCZXYkqUK9eqWdBUbASUCQyBDtypxuBcuLybDaoFSwx1sX2hnd7X9He6PsCmQHLbPwcGcHtaYE5Gpu1aQooHgs37uFkSwZdedUWU35n8D7RZBw5dBqYbqz7xgU2XJnYdYHb8CTxBAxdMmd3ePdJgyxgLVVvsSqE8VWYUUtgz2Xjwq1zAUraurxi8ZnQ8nat6bVupUgedpLeNVQPqna5TDH4KNVugJrxyPTK9N8U15PknGyWPgDFeiSeibk8WwdZrBNAnA3YDqo72dQbXD42JJuGX5m5BHbUKy6jbfRrKG24TEeb2qPN3YHqhQw1Q7yWRtmaKCjVJaTQ6QRNZDJKCbZmSMtrFM5riv18ip43wz5uUbH2SWN9irMGjEwtCMGM4AHAa5FBkFjwcCcsNjXAHZvKQa9UhCZgQs8tAzcn9Db4TXZyMWhUrhEryAwWHUiBfnNVK5MwHSvaL7KTfUR3kNcj8hy2RFkdbuwohFPvQ1nQvxduHtKiFkQxrj6cNnqRW8Mup5AKGdAonPUpSaDscnRs72ejoJh9wU8CED1YxLZN3PuuDhFTts6vwhr3ZvnabAbXHLfj6zSD3LCR9xnVTaNTUJLpL5yVKW4znmV5ZE7SHEQrLaA25LKnxid9dv7uZTL9k5aREkbQE8hMwd6mF1zU5hLo7TC8DjfisSEGgqjLN9DCsbXBMuHycrSyTSCvn8LmuK98DDVHJ3CxdbZETPo7q6FTe21B7TeVGQ9HxvW7QRoFNTYwirZjzo6fRyZR2rbFzH1gWmQhtSYm7TuvFKagsfs1YutPPRfYrYsXDu7bpfXjcn6sJEpEinwsXVtPr7qNhUCkmCKEuTqqLgZVVocV6FaYwP7cpNXs9F51bh7Uy4Mu6SUxecSV9hz5JPaC5WM3zDbtVvbtXFnduXo3sQLzyVzfJv2bwTXiMMFGomEgV6WQZcRFqEZLA47nmzaFKKZVJnPMf9JV2Zn2ribTWguhC2t7VXNyQuZ7YqckjJsweahnv1W3eC1ptfkFLHsWg58Bt4s7qogDQd9LdeV47fzQuJ4CTxUrSyTmGttw7Je9jbqNH7PmxJkfSrB2zAKWtVujAVLhC8N2nNsN5xFVx9kDvne5tnHo3hgWskbHEGquYQCzRftB8uwVVTTY7fyErF4b3s9j2nfsRPa2rxyjbLH6Vf6Ls3To9r8S6qayCZvfmmJnBoFUuYUaLttN6QZ3kaWBxxxuNF4urT5RmJfFjDpiqP6jZXno3f9S7JyZxcZny5LzFNnd4t6Lo7rT8MxEq3CMXBwsZJe3G6T8HXpRgBvcRtNRFC8qPo2BJHE8YSJEQon7HRmYs73xHh9TTQnLpZYiCNQZAynkwDXmCQo6V4V2ACav5P3cREb2L77HMaAgGmHubc1PMSXQUpD62M9ykWQT8FWeNLajNJqGikwcoT7DEQaG2QAD7oxbyJftajgLD8SRSzynegzXmMUvf93dPwuzoinE7ruQW3qGX96sCg9GedvYbur43tWLkq7tjt38hEQbiXzaetTkuEBa39JGzQmoWcr8QntNxSSr61HNLSCjeRPFWUDK1scp7xqopHgdXn6c25FGgX13X1SpJU4GU3rNWujnUEQKkNU83mhPmG7N6Bet7SJe8vR5sjuStZvnTbzm14ifUummT8fDB6sC9RLMByp2AagH1rJuKSQQiZoP9B21sgjWeuWMvbyemmy5riTxh9BmqQyfyTScCpWnTTNi6FwtcCoBx1ZvRrSwk8Jf2uGrtuTsJjYoNv6dU3DY7e4hcJ33V2GYvkAH4rFAbDEbXUjFoVLkqtWCyZGkWZTQBoAXnq2FiyskgocHKY6m2QtY8VbU1rA5H5ppqnnqMRJcNngcMq2XEwN6MVTQKTMH9e6WTgP9rb3wLy7vp2HymXYzHTLqnAvaWAz4V2mEBB353GzQuGW1iedFnaEUS8y8tq2fs9ae5GQub6bETber8ikNEmnfX3PkVtyrx8u41wr5McUQfoM3QZEFjif1cJgqAoTKu3GN3pQDswcWa7BneJ72XVJGNLAqGL152U9Yy5Bc2oC6CUTxpsdAXxkjCnZeTqsG2BSTstoq3Hob6YsThxoByutfps9PBWDkGykrk5h9M4TCoxez86JhiMcNW5oGbT9s7jVrmYzF4rJm1miet41Aro3JBktdjigv4NgDmqFgCRKswcj5zyXaHiGeTjFP1FSwGhgqj77QbZrixquAKaPG3JxFvSTfzjfYVhaJgczwJ6kyDGuHBVCaAuFx1zRkhiu6b3TEzLq6vL4pXgvNjZ5XRJSCoDK4gnPkdZiuMs4TsLPVJxtNqhbnjasw4vAVijFqYJdAmoqw",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "326d23e7fcc89a39f57209e96728f34615edf439a15687b5799346fa3be8bc0b",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 8,
"globalIndex": 31702533,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1040040404000e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e0e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e203daa66808e69c25ae932dd66611c5f0b3cbacad1125203e87d8dc491861c71e604020406040004000400040004000400041004100402040004100500050204100420050004000410041004020410050004000410041004020410050004000404040c044c04000402044204060400040004020400040004020402040404040406040604080408040a040a04000402040c044c04000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f3d81dd601b2a4730000d602b2db6501fe730100d603dc640be4c6720204640283030e730273037304e4e3000ed604b2a5730500d605b2a4730600d6068cb2db6308720573070001d607b2a5730800d608b2a4730900d609db63087208d60ae4c67207040c64d60be4c67208040c64d60cb2720b730a00d60de4dc640a720c027206e4e3020ed60eb37aa2b2e4c672010511730b007cb4720d730c730db4720d730eb1720dd60fb2720b730f00d610dc640a720f027206e4e3040ed611e67210d612dc640ae4c672010664027206e4e3010ed613e67212d6149572117cb4e47210731073117312d61595721372149a72147313d6169572117cb4e47210731473157316d617e4c67205050ed618b0adb4db0c0e721773179db172177318d90118047cb472179c721873199c9a7218731a731b731cd90118599a8c7218018c721802d619957213d801d619e472129a997216b0adb4db0c0e7219731d9db17219731ed9011a047cb472199c721a731f9c9a721a732073217322d9011a599a8c721a018c721a0272189a72167218d61ab37a72157a7219d61be4e3050ed61ce4c672070511d61de4c672080511d196830801938cb2db6308720173230001b4e4b27203732400732573269683020193cbc27204b4e4b272037327007328732992c17204c1a7938cb2db6308b2a5732a00732b0001720696830d0193c17207c1720893db63087207720993db6401b2720a732c00db6401e4dc640d720c0283013c0e0e86027206720ee4e3030e93db6401b2720a732d00db6401957211e4dc640d720f0283013c0e0e86027206721a721be4dc640c720f0283013c0e0e86027206721a721b93b2721c732e00b2721d732f0093b2721c733000b2721d73310093b2721c733200b2721d73330093b2721c733400999ab2721d7335007215721493b2721c733600999ab2721d7337007219721693b4721c7338b1721cb4721d7339b1721d93e4c67207061de4c67208061d93e4c67207070c3c6464e4c67208070c3c646493e4c672070811e4c672080811938cb27209733a0001b4e4b27203733b00733c733d938cb2db63087202733e0001733f93e4e3060e720e93e4e3070e721a",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)",
"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[Long]].get == box8.R8[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": "8rvGef3C7PFd9pL1N1uANKfymaHjn3nhePqmdVz8bGnQAVn23TQY9EDqYzYtv8aLSftVJXNgxAEVNc8dDBZX488tozAqBZQ7frYhXMsSwnFjZdWcZrp8FfPYbWXNfkX1usCQfg7LhNkuYKBv6fXFL8V93VmY6kJA6NzxgTBo2BDw6wQMnCCSJbRMqJEQ7W6dirF3gAryTrgPUYnqNcKY593MkYUNM9xHtS5Zpmi3LiQ2PDyyrDaPAmjLhYqwBB6fub5EChZ649ZpKoK4HCxapEeTVsxa1CibnnhW2xZ5VBA5GuUALVE3yzYDkcLihE9fpULLhD3jwTyqN3QGFoFTkDwRpTc27JsdpG2SaSMvTNefFuK9jyXhZq71ifMfULFp1HUS42Shi35KCcGoYJgW4GALQgLbqg82No4KNt6KNBuwP6KEGCPy2pc7ZfCuBNxZyGp1jLcMS8tzaeqDaf5e45U21jrkKeuBXEpZ9EhFoVYeB2x8s2oofSwaaaZRvSCFQSkCoxWk9Cs2ztVsDfkJ6eojjmbTsvv2bbKkTY33bEhgu4o8ckubjoW7L5ouqCFYiwZGRZUU1SWNTMdLVHdkW2Vmvh4cRf8S6iRVTMXUmq7ARPTjoBLYKWY4khjMVJqzXVMSLNHhkXAXsihUqoreoAbkxfYtP1RZYDjj4SNw3rTG2Mhho6rgrByDf48QvkfJvoqBvENtL1QDSgeodhPRfDrtAivzeTxESQqeJamkHM9684EkUhqksQNjfKtyJ8Gzo2YSHp57egNoTKLAtw2DQ82WwjnNPyzm7MA3F2mMK4tbsWB7o65V9teaqae8eADyiZnva3dqHijmVituvDx9Wskh95U7Se4JZwq1bg125mStrwmzk1KFtsQeYjMd7Sgb47y3Pakr4HqdXULrH9JmKGi7EwzjsEvYAeCGBC2xi3vXsLEr9k5giFHhkoouggzeJefbsqh9dmfQuzKCL2dj6gBfqDGzRFN59pp7afbRGsjt3pov9X86zen7kuKQLxeCvULmgCE8kPHZKJ5ome7mYb1BLjrYE1wnKQevtXJMZ81qjS68ndj1F2djtsDQUk4GveouHsXt94fN21avZK2AceeW3D3EZqZMCVnYEHi7Mn9cLYkAiXCvxqxjZdkW3MRLF5jqVGUF4CAgz25iVEHeq2mGzogjyA8QvaDqaSgVdcSw1w4CzHvw3i4fPJNJt3JXyyjpAgQgNsHfDwmwiU25cS7UmAns5hkNxD9kmDrggfkMmN5YNKHQsvXzcQmxh2CX7h96aL2jZHY6Cp5cVv2HZmayp97HjsUn3v3ZvumHr2V7RGeq5aNBTJ3BMWymC9ppw4dwYjVyhnyjGFSBjuRoDmqfs6tCo8tNC1r8YDK6ZB91S15bxdcxVUSX5me6PGaUKSw9p5TjHkRecxf28KmNdYw4eaxhHKJKicHTQwn",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "629557795a9d0b1c6135ef56c3a4c72657d6e8cbdbd5a35814ef2528f9539d63",
"mainChain": true
},
{
"boxId": "b730ae7508c1e4b6a6129e0067e9efde023bba127b66f2c744a0206b5056837d",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 9,
"globalIndex": 31702534,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1034040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20400040a04040400040c044a040c044a040a040c044a0402040a0408050004020402040204000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f304000400040c044c0400040a0400040a0500040204020500040004000404040404010404040005000405040004040500040204020442d813d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605b2a5730500d606e4c672050511d607e4c672020511d60899c17205c17202d609b472067306b17206d60ab17207d60be4b27204730700d60cdb0c0eb4720b73089d99b1720b7309730ad60dad720cd9010d04b4720b9a9a730b9c730c720d730d9a730e9c730f9a720d7310d60eb3b472077311720aadb4720d99720a7312b1720cd9010e0e7313d60fdb63087205d610998cb2720f731400028cb2720373150002d611b17203d612b1720fd613b2a5731600d196830801938cb2db6308720173170001731896830601938cb2720373190001b4e4b27204731a00731b731c93e4c67205040c64e4c67202040c6493b47206731d731eb47207731f732093e4c67205061de4c67202061d93e4c67205070c3c6464e4c67202070c3c646493e4c672050811e4c672020811ed92720873219399b27209732200b2720e7323007208ed92721073249399b27209732500b2720e7326007210afdc0c1db472037327721101b4720f73287211d901143c4d0e4d0ed806d6168c721401d6178c721601d6188c721402d619dc0c1a720d0272177329d61a998c7218028c721602d61b9a7219732a968304019372178c721801927219732b93721a99b27209721b00b2720e721b0092721a732cafb4720f72117212d901144d0ed802d616dc0c1a720d028c721401732dd6178c72140296830301927216732e937217b272099a7216732f00927217733092721272119683020193cbc27213b4e4b272047331007332733392c17213c1a7",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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[Long]].get == box2.R8[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": "2Hu3wyQjaUcko5HWwRFMTvH2fyycEPvdTqHzXfSQ9BFBfXs4H2sBFRw1Ji96RnodTVcJAv66ykkmyg9Gkdov28zduLnRiNHj8idgDXo6gMGfad1K43KppUqZ7g3J2kavLCq5jN8ZF4LbPW46uGQ5b7Dqkio8AL6sgyFyPsfztqR6XXVGW8mVKbR3txbsnFwvcqM6ULve78vmsNryztddudcEphubxoxn7ZrQoPwcFhrTnFQXQDXKxca8qGZaqics4QvRLmWMDvm7xoxkJGsc9Bjmw2Bx9mSVpUatL5dRymLCHQy1gDDZ7qGEhRKxGidQEzeJc3WmEVp4qqmJ7oiA3NZDCbaEDcmSJvcVDXFbAfRDQ2MVHDB89tXwfaEkPoNmnQPNb5DZn4mgabJpZcn9QXfTe1pEna6PqxT67zrzVWNhM3eeu2FZ8o4mkuXkfq3DctwvStEcJKhkCeo8uDF76eqhP1cU2nbaNCXtDoSnj79ZbxNYmHJyueuoN83x2doH5HxTDXSq4Fp1s7nR7tkiNdoSCCE4y6rQ9TKtDhjc1Ffa7xG5LEwPJzL3dQCitC24P65UbmWHFNu6yLR9pKnCWBsRjWUzVHVq6b6g3dVN87qStLXNDgx9HExrMWFJ3L7cdgBFJD73RpmC8CLDkqM5Fu1wvXtmQqnL5bMBYK6qqhq8E5v3dwX3ZjMCi4zBEywXYQEuug9n5CUtb6zVWi7rnY2YkwAV5cy8335RXyqnvfkbBeCXNQQAhdztK1azuNsev6xVeRGWKMbMA2nk2ht3KGPNPgk7F83sD8x2HGLHo3zrBTuaXqmASQoDU4Ds86FeN63Qoh6Tkb5YzhdcEse2CgJmxC5pE2L3kjZGJeJZw3FPnbsqkUp6oi1L9b3L9H6D6wjs3kevRqhdaabrEqFaN4vXryS2cyhZAxV8gMrfJDwp1r6WwnN1YKD6QrasFmDL4Pd6atNXJKHEhCXfFBzQH1ovCVFdHQNR7uzYchnWDfrxNvkcqqj21Zpijjf3V21ix5wCBVoYL4Whs4cQT4qnDbp8WXW71En3rMhA18ncfzfRqXVp1DkG9FrqdGoTZmH6paXyzWEsha9MfmPUxeEfL2viw23L2g4hg1xKHZMoNhYcc2ZeQbGMgxDcZS2",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "57fc0e20b437068e2799d0d80894c4ade28bf604c919be35670901219ea91596",
"mainChain": true
},
{
"boxId": "6a63b38de9b9fa501f9eff4f82fd9a036358917ddbd056406f932950a63c3ece",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 2000000,
"index": 10,
"globalIndex": 31702535,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "1032040004020e20deaecf5b64bad6f5570bad0a610c4e484957cf4782308400bc90404c1d1410da0e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e040004000e20006d0b54669fb5c16309bf2269f2f2c4fc047c1b61420cebe647279842ef67f30400040c02000402040204420201040404020442020204060402044202030408040204420204040a040204420205040c040204420206040e040204420400040204420400040004020402d808d601b2db6501fe730000d602e4e30102d6037e720204d604b2a4730100d605dc640be4c6720104640283080e73027303730473057306730773087309e4e3000ed606b2a5730a00d607db63087206d608db6308a7d196830401938cb2db63087201730b0001730ced927203730d907203730e97830701ed937202730f93cbc27204b4e4b2720573100073117312ed937202731393cbc27204b4e4b2720573140073157316ed937202731793cbc27204b4e4b272057318007319731aed937202731b93cbc27204b4e4b27205731c00731d731eed937202731f93cbc27204b4e4b2720573200073217322ed937202732393cbc27204b4e4b2720573240073257326ed937202732793cbc27204b4e4b272057328007329732a9683030193cbc27206b4e4b27205732b00732c732d93b27207732e00b27208732f00938cb27207733000018cb2720873310001",
"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(0,109,11,84,102,-97,-75,-63,99,9,-65,34,105,-14,-14,-60,-4,4,124,27,97,66,12,-21,-26,71,39,-104,66,-17,103,-13)\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": "MUeEFF9n6rMZGwhMHSCUToqgZV77SPd7enUFfdMSt9BwbM2eVwCQ44yZjJRqxpgU8bJijkTjNhB7AH2wUM9UkZjHnyPDKFRDMozra8a3ptKsKvQXN3wBzXAwBaTFpdS2WuYqQTP4VzokiUjFsoesobW74Nh51uAqDTXKK4SZ4QnphLpCAVPBu9rEca48RLrMViEzYQKchqzyX2oA7cSzY8do7poc4Y6jPiNYuRbLyjifcNBqBVjRruuZr9N2KzVJWC8eNphZVuYkBay9tHp6qC6BMyN5Pr1YGnWDNMX8ivyrogza6wiJga8rvBSN2brt6tU5pWHpkBRRZYySTP69G5utxvkLKuk26xvvMuXJbW5TuTttKEDCLewsejh5yyijfiEkhoC3tMMPq2vUhfm5mSniecEjef6RvVuNJ8tWBRz93BpkSq71vtFtFVUFeFhckJj4QDRMRZEmnUHtwSKJg4D9ZicuVkuQKQz8QmPXwbmeqNwso2rgeeY2Yn7KR3RnVHT7S1zQyerGfm4zeigu6PwwqsQ6kWYWwN8ncAMoWeHQZKLuE1XqQEFHoVyCN2JgmRSQHyw3s1sQmzAdwarKBsqrepCffKs6AjkSYSPU3DV3eXNgmG5DwjyjFMQ5fXrQ9a9kd62CSNg5nXue82E4NEFVmSf6WqGUkiuHty8FR6ayv7wz4M35aaHhwN9s2n4MsWyHasyD95SUkXUoSZCJ1fG9iaW7GATw2EEskqX69Gs26r15PnpFBDA7rugdQi6QNR1PFx3wB1jwo6mbn2KcaDuN8CYFfPtXr1sHNfdehQJKswcJR5KJ4Um5Las26MpenXs8PSwUT3bj7jWSboeVC4ehm9MZxXVxRWEwpZZD99mFn1GVxBA3usBf63iJoFu1cwBN54WdF3u6MFAGtNk6hikRzZ81rbY9PiAzWGcwbzBDofv3xt7dLfz9xVneeEEREJMEuMckLMz6WyA1RyS6SKMXpSih91fF",
"assets": [
{
"tokenId": "00371ebfea98f3a9497404892ac43cd7ad45c6258d637af504b4cd6dd43d8afd",
"index": 0,
"amount": 1,
"name": "Paideia Staking State",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 1,
"amount": 1000000000001,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "110780ecaccebc62000000000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1691762400000,0,0,0,0,0,0]"
},
"R6": {
"serializedValue": "1d05020000020000020000021414021414",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[0,0],[0,0],[0,0],[10,10],[10,10]]"
},
"R8": {
"serializedValue": "11020000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0]"
},
"R7": {
"serializedValue": "0c3c6464024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "0c64024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "1243e8a327b16ccde81d32d1d169605ab232df5bbc51b53ba95f827dbec041b7",
"mainChain": true
},
{
"boxId": "9605711ee99e385a1c1b65290ac5e5e7a7e2bc17a6244c6c0203ea877275ffee",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 1000000,
"index": 11,
"globalIndex": 31702536,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"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": "130e4a6c1c97cc9bfee8c1ef5816b53c5bc1a103de98db3eb4211f139011750e",
"mainChain": true
},
{
"boxId": "259a7ee2c8ccae79af501790dd7bae14018b42474074cba9aea0e3e5b6757370",
"transactionId": "8817ac52414e8a85c008e8383fe845827768648c3aebf6b32b71baba87451a37",
"blockId": "94641fe4a9fb8707e1259c953fd2c36ae8821162fe691e6de335c777f6b90146",
"value": 276243922,
"index": 12,
"globalIndex": 31702537,
"creationHeight": 1066847,
"settlementHeight": 1066851,
"ergoTree": "0008cd02e4cb952261186ec0fd2dc4c2baa8dbfd9c8f6012c5efa9f702f9450a58fe221e",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e4cb95,7c781d,...)))}",
"address": "9gFpnLUGwRyohhoh5CXQS8eNdranNyNVGreCmc4xFYHPg5JUGWL",
"assets": [
{
"tokenId": "079baf4889fa619b7b764fd0b73415fab2a08c1f6c8e7bc934c842327aeaf0b0",
"index": 0,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 1,
"amount": 999999999999,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "f60fb5aa6127d4a2b537a91518a15eab1d21099cd34bc2e4c9f59022c3dd5af2",
"index": 2,
"amount": 947949993999,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "8279e3e3dbc0ce95d902eaf1aa8f190a40d3c71556323f4ba6b94d3181d8bc9c",
"mainChain": true
}
],
"size": 11957,
"isUnconfirmed": false
}