Transaction
ID: db922b3b39...6104
Inputs (10)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.0015 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
0.0015 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00499568 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00740216 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00499712 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00500108 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00250144 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00499712 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00006228 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00250072 ERG
Tokens:
Loading assets...
Outputs (6)
Unspent
Unspent
Unspent
Unspent
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0294576 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 801,000
Total coins transferred: 0.0354576 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000144 ERG
Raw Transaction Data
{
"id": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"inclusionHeight": 970995,
"timestamp": 1680109969075,
"index": 7,
"globalIndex": 4978020,
"numConfirmations": 801000,
"inputs": [
{
"boxId": "1f70baf606283c1ed1488578a3a64fbdc50a8d2fdaef59c5f170cc04fbca5a3f",
"value": 1500000,
"index": 0,
"spendingProof": "4028481c9bfd0549611ddc87a8c6e568abd50ca0a55eb4f1a1e794fbbf207c0a738bab7421060d954b7816a2bb3f6d84c3948c09d8b9e3ff",
"outputBlockId": "1b4859a1d604c073b30e87e2cdec916024b2c1a333e8679e4d84cb597f13c11b",
"outputTransactionId": "5073030ddc52951e92a8bbf0814bdf02999ba2af3a4dd563e4b542d097731fd4",
"outputIndex": 1,
"outputGlobalIndex": 26286272,
"outputCreatedAt": 933962,
"outputSettledAt": 933964,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [],
"additionalRegisters": {}
},
{
"boxId": "de31c6628588d0dea9e25c0216f073c431d9302dc98d9da1ca6d960204df58af",
"value": 1500000,
"index": 1,
"spendingProof": "f1e70f9b9819004788df8d846137941e4c4a5b21f793309184126fc5e9a882772deaad90c6f64a4170e8145efd543bd18413992909d9b970",
"outputBlockId": "14ff0cd2f3ee13e7d696b342490195d5470362d9f2ba0009c96f790c3f2f73e3",
"outputTransactionId": "a1ce4d64c106c63951b8c05f80f9888c7d4024eb5b288f86aeef03bdd09a8efc",
"outputIndex": 1,
"outputGlobalIndex": 26300434,
"outputCreatedAt": 934340,
"outputSettledAt": 934343,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [],
"additionalRegisters": {}
},
{
"boxId": "e37849325c54aea4913eb8b60e51479400689709311f97f627b55f823855a1a1",
"value": 4995680,
"index": 2,
"spendingProof": "255cba0acff7a339ae0e67597f87830e32d7d44075c4829157f169edfef4b06f4d6f8b00ac8e477302b0e307aa26484a17b3ab9d55515c74",
"outputBlockId": "6159f7203e246734f4a8b3b38181affc5c8729bd13a1f79c6d1f5bdc5374e6d2",
"outputTransactionId": "feaeb77f48022d811f1d797f1420db71fb5af54df247e7e6dc468a4789f502a5",
"outputIndex": 2,
"outputGlobalIndex": 27858481,
"outputCreatedAt": 970783,
"outputSettledAt": 970785,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "001cce3f2b5f4a5cf637c08583148e8243517bedd74eaa93119d09b25df8608a",
"index": 0,
"amount": 2000000000000,
"name": "PaideiaAlpha",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "92ba72996757a8171ea48874cdba30614262510f903b4fbdc2f3910635321cc7",
"index": 1,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "42ef0fa669de0e80f1bbbc354e9815759074762190e821b6d472e55456678e3e",
"value": 7402160,
"index": 3,
"spendingProof": "cd7840cc2d45b6a4e674f08bc0b0a6d3a3a048040f23e8ef9dd9464ae035da8e2663de2b8c5b7e6a70cb82c4c7ccc248ff8e4d925cb4f077",
"outputBlockId": "6159f7203e246734f4a8b3b38181affc5c8729bd13a1f79c6d1f5bdc5374e6d2",
"outputTransactionId": "8b06f4df722d7fde9186717e7967e8524c3a2bc9a777fa0a26a61cd8609a5c40",
"outputIndex": 2,
"outputGlobalIndex": 27858490,
"outputCreatedAt": 970783,
"outputSettledAt": 970785,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "1a78a870d006eb4b3f33806c49ec49772b6f43b2b13c5af0b6be61ff2fb52034",
"index": 0,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "002711dc3ef61b281b7244d46ddb3e227b37abd0974e87aa271ed606af645f78",
"index": 1,
"amount": 1,
"name": "PaideiaOriginAlpha",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "5626f43602b363d5a240327d9b9dd3bfbb3e27551e27458c2a8b0da00abb0d9d",
"value": 4997120,
"index": 4,
"spendingProof": "930e77884dba3ab78778207b7405bd49aed0ee6b590a8c2bbff18dc6c13996ce763b825dff05f5577b34d8ca1e28e7473f436e521271702e",
"outputBlockId": "6159f7203e246734f4a8b3b38181affc5c8729bd13a1f79c6d1f5bdc5374e6d2",
"outputTransactionId": "cd569dc97ced56bfd0e2502a71cffb7be73d4f5a48f358d99ce1054758807640",
"outputIndex": 2,
"outputGlobalIndex": 27858502,
"outputCreatedAt": 970783,
"outputSettledAt": 970785,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "0030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a",
"index": 0,
"amount": 1,
"name": "PaideiaAlpha DAO",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "3aaca1ec502b78db74a0d95a8a4fba773cf8e48fe60a37c43d62a86e1dd0b1ec",
"index": 1,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "f1f202922d2a2288bbc903424add684ea68023d8415159168d71ca0b98ecc035",
"value": 5001080,
"index": 5,
"spendingProof": "0b8eb3fed88ee9b5881525c911314341dde56a8a0a7b9dbdfd125a2f912edfb5b5038263bd51899d18e311a230958030215c3d2eef878c84",
"outputBlockId": "32bc842428daf7936fa0755e44a0a020c9fb5914ba683d518d0af9f32228e11c",
"outputTransactionId": "f41ac4e7761286dddb261c801708871ab16556cfdb97c0896c477bac9e165e98",
"outputIndex": 2,
"outputGlobalIndex": 27858516,
"outputCreatedAt": 970784,
"outputSettledAt": 970786,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "004bd3a7642a549c7badf1a5ee4f6e28944365dba5f831949a1292b2f4cf7f9e",
"index": 0,
"amount": 9223372036854776000,
"name": "PaideiaAlpha DAO Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "06353668a8d8a477df40fcad88fff79dabb70e4dd7e4e2d012a61139bd399ee2",
"index": 1,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "4fa6cf0731cabdeaecd10f4e5bad8420fd37274fbcd61235db717b51c49db32d",
"value": 2501440,
"index": 6,
"spendingProof": "72c8c68fdc7f963d12b9bf84233846828b7a2161b73a62e0d9485a9615bc14c18281a068a5c88e8e05a59666dbc5d579b530ef97554a4274",
"outputBlockId": "e7aaf6d593b953e66fbf46d5b37c92a5a6ef62738342fcd849b879bfb029a4b9",
"outputTransactionId": "103957298e667d674ec04a8a19798e82b251d4afe9b3eb4dc58aa70e1935b31d",
"outputIndex": 2,
"outputGlobalIndex": 27858522,
"outputCreatedAt": 970785,
"outputSettledAt": 970787,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "4034a9aeb8f66f59cb9faf6a6cce56d4d8b749e2d2407db6f0addac89fdfa00f",
"index": 0,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "005e0be2005f6bc2ad9c1109759f76c2203ccbcd2782a7d9bee1c2e56fdfaac9",
"index": 1,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "f7df486a91531210df600e1c7b6b311f491d5b77ce8bf8d553f5faa79351244f",
"value": 4997120,
"index": 7,
"spendingProof": "cc640172004852518d768908285cf3fdd521bc2bf8c08cac35f6efd08f176d22b5f6cf05ae9ced16c0da6a182a40e9a6c4b96e668c34bd6f",
"outputBlockId": "77ea12b4c9ccbb78e8a37540221ebf375a80ea0336fab49db52ae95584002264",
"outputTransactionId": "10407f983cc27734cfc5025d3e125802e1d0d78c136773aa8b517998d96b9d49",
"outputIndex": 2,
"outputGlobalIndex": 27858534,
"outputCreatedAt": 970786,
"outputSettledAt": 970788,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "0076323b56333ebf68b0c11fdf2ff15e95cbb611f8d581cb6e30174ef2b35fad",
"index": 0,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Vote",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5aeea1aaa113608601b203da9d199366301316146d7901b4a52433fd99a59d7d",
"index": 1,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "4ba02be9624247f9689f56d3b1a348b4877ab075a69f0ec90b61fb7d135e3eb0",
"value": 62280,
"index": 8,
"spendingProof": "6059fd69b4021d5ca33ca053a0ebf9fc16133dbc7120b04cab40e0af2788a174172da6f6212a3974b1eef3ee5f761a0628dc0ba4990506bd",
"outputBlockId": "da17c8789c5035f063035c22db401241e6c3c15fdb9e1c655036a5f9af5c7628",
"outputTransactionId": "b7f3d461fb580b4bb25fd34f5d527bb5d91eab32f4f35159b06404bfd8cc1dac",
"outputIndex": 0,
"outputGlobalIndex": 27861400,
"outputCreatedAt": 970853,
"outputSettledAt": 970855,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "00a1883134902b9e5f6fa80d308d50f2391a40800f290279bd6030fd83015fa0",
"index": 0,
"amount": 1,
"name": "PaideiaAlpha Stake State",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e1850616964656961416c706861205374616b65205374617465",
"sigmaType": "Coll[SByte]",
"renderedValue": "50616964656961416c706861205374616b65205374617465"
},
"R5": {
"serializedValue": "0e1850616964656961416c706861207374616b65207374617465",
"sigmaType": "Coll[SByte]",
"renderedValue": "50616964656961416c706861207374616b65207374617465"
},
"R6": {
"serializedValue": "0e0130",
"sigmaType": "Coll[SByte]",
"renderedValue": "30"
}
}
},
{
"boxId": "16210b201ec12e1c0c2d6dcbed819f508caac8f54abf90c1d000d07504f4ad20",
"value": 2500720,
"index": 9,
"spendingProof": "956222b2c36f7a688664f88d2be80d66645a71ad4a892bf41a89df8c524750d1996fb12d44132f47354a17f0705dd07e474c1d3edcc51c0d",
"outputBlockId": "da17c8789c5035f063035c22db401241e6c3c15fdb9e1c655036a5f9af5c7628",
"outputTransactionId": "b7f3d461fb580b4bb25fd34f5d527bb5d91eab32f4f35159b06404bfd8cc1dac",
"outputIndex": 2,
"outputGlobalIndex": 27861402,
"outputCreatedAt": 970853,
"outputSettledAt": 970855,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "0dc600f850b0b25dec0ab025da9c47c4b6ee16b09812b7d1b4ac0ddf226fc4b5",
"index": 0,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "00837c6baf30356181aa14c0f93e20a12d6d8b533073777f2c41e764f528c128",
"index": 1,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Proposal",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "7b1196ab86fdf7f310f45859f85bd6fefa9645a5934fe46871df7495814e4611",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 1000000,
"index": 0,
"globalIndex": 27865268,
"creationHeight": 970993,
"settlementHeight": 970995,
"ergoTree": "102404020400040004020402040004000e207229fdafbb96116f3c885ebd7319a3298442ca840038ee0c5e6d32ea735e4a160e2046b3640a317384bdaa50b7a420cf8f36a3b879fe4ecc12b6924ace45e73521230e205be447c71392c430b0126048269f9a788af35527755face9d229fd86530e34f50e201decb24f08f9ff1522b653a5568e72dd424d8a98561f3ecf2eeca1823225c7690e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b770400040404000502040404040402044205020408040204420400040204120580897a0e20001cce3f2b5f4a5cf637c08583148e8243517bedd74eaa93119d09b25df8608a0402040204120400040604020442d80dd601b2a5730000d602db63087201d603b27202730100d604db6308a7d605b27204730200d606b27202730300d607b27204730400d6088c720701d609b2a5730500d60adc640be4c6b2db6501fe73060004640283050e730773087309730a730be4e3000ed60bb2db63087209730c00d60cb2a5730d00d60db2db6308720c730e00d196830e01938c7203018c720501938c7203028c720502938c7206017208938c720602998c720702730f93b17202731093c27201c2a793cbc27209b4e4b2720a73110073127313938c720b017208938c720b02731493cbc2720cb4e4b2720a7315007316731793c1720c9a7cb4e4b2720a7318007319731a731b938c720d01731c938c720d027cb4e4b2720a731d00731e731f93cbc2b2a4732000b4e4b2720a73210073227323",
"ergoTreeConstants": "0: 1\n1: 0\n2: 0\n3: 1\n4: 1\n5: 0\n6: 0\n7: 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)\n8: 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)\n9: 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)\n10: 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)\n11: 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)\n12: 0\n13: 2\n14: 0\n15: 1\n16: 2\n17: 2\n18: 1\n19: 33\n20: 1\n21: 4\n22: 1\n23: 33\n24: 0\n25: 1\n26: 9\n27: 1000000\n28: Coll(0,28,-50,63,43,95,74,92,-10,55,-64,-123,-125,20,-114,-126,67,81,123,-19,-41,78,-86,-109,17,-99,9,-78,93,-8,96,-118)\n29: 1\n30: 1\n31: 9\n32: 0\n33: 3\n34: 1\n35: 33",
"ergoTreeScript": "{\n val box1 = OUTPUTS(placeholder[Int](0))\n val coll2 = box1.tokens\n val tuple3 = coll2(placeholder[Int](1))\n val coll4 = SELF.tokens\n val tuple5 = coll4(placeholder[Int](2))\n val tuple6 = coll2(placeholder[Int](3))\n val tuple7 = coll4(placeholder[Int](4))\n val coll8 = tuple7._1\n val box9 = OUTPUTS(placeholder[Int](5))\n val coll10 = CONTEXT.dataInputs(placeholder[Int](6)).R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](\n placeholder[Coll[Byte]](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9), placeholder[Coll[Byte]](10), placeholder[Coll[Byte]](11)\n ), getVar[Coll[Byte]](0.toByte).get\n )\n val tuple11 = box9.tokens(placeholder[Int](12))\n val box12 = OUTPUTS(placeholder[Int](13))\n val tuple13 = box12.tokens(placeholder[Int](14))\n sigmaProp(\n allOf(\n Coll[Boolean](\n tuple3._1 == tuple5._1, tuple3._2 == tuple5._2, tuple6._1 == coll8, tuple6._2 == tuple7._2 - placeholder[Long](15), coll2.size == placeholder[Int](\n 16\n ), box1.propositionBytes == SELF.propositionBytes, blake2b256(box9.propositionBytes) == coll10(placeholder[Int](17)).get.slice(\n placeholder[Int](18), placeholder[Int](19)\n ), tuple11._1 == coll8, tuple11._2 == placeholder[Long](20), blake2b256(box12.propositionBytes) == coll10(placeholder[Int](21)).get.slice(\n placeholder[Int](22), placeholder[Int](23)\n ), box12.value == byteArrayToLong(coll10(placeholder[Int](24)).get.slice(placeholder[Int](25), placeholder[Int](26))) + placeholder[Long](\n 27\n ), tuple13._1 == placeholder[Coll[Byte]](28), tuple13._2 == byteArrayToLong(\n coll10(placeholder[Int](29)).get.slice(placeholder[Int](30), placeholder[Int](31))\n ), blake2b256(INPUTS(placeholder[Int](32)).propositionBytes) == coll10(placeholder[Int](33)).get.slice(placeholder[Int](34), placeholder[Int](35))\n )\n )\n )\n}",
"address": "JDah8QaWMq1VXTq79nMUGtkj7LZet7ioBn1MztPaGeMTozTFuRqLW47Fsfngwdtwwfjj3aRNHXPfo9zDjjc9Qt1KhE7ngHRpJUEvAcvPSFGMjmf39wbhNkWKrFZXnkjDtg5RfNtZEca5W76YghVYA3a2WbAEDjyHVHHxhpbMmgo3ivAhuyD5v8AqUZWhWbPTWhhgSP3n7T14Kqb51FUPLftnYPL2rVQw2FL9HkbU5sVxRYDFFafSZobeivLFcDXp28gJS85DdSKYGMA2R761RucnJvPT7X5FGKuPNzwC3q1Nirg64aZrgWMRWutbf7mMqsAQMibj3WCCksKCQCpEzAnRX4FfYPpQctYn5Pf6tSN4wcwxWayYNiPZhHHF8Y6wkq6TriNbcRu98HpBFmGjqY8BfsrtKNnoLdz2Uua29GMbRdALdwaXn8HskYRMR6y611oRTqxXFioUToAH7Y5mg4UFavbAdu9MVmhPPJLypkVreYgjk4Hf2iGREjkRaNdSKJ6pm2RbR3ooL8ypC7tiftDNMRrLPuznKwnVGZLx8feXURQqJePbVq4TDc6sec54EPeDNLj5KoFcdcpw9ET81mvqDU1gPqU9ErJJAxjauK9YMVf28aMPi4UtpUnbwuiB32piZvdHwUtcBA7fQ8fMkW3rQ8Zt2wdcVzj2C6LDg7yua7FghUS82jXgdTQaBvNbmXKENDgHARX26birUaR1pnb7SfHU7FjV84wszDgRGi4uQJG2e2qC8bpRcKahZYMEfp39HeBfUPK",
"assets": [
{
"tokenId": "002711dc3ef61b281b7244d46ddb3e227b37abd0974e87aa271ed606af645f78",
"index": 0,
"amount": 1,
"name": "PaideiaOriginAlpha",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "004bd3a7642a549c7badf1a5ee4f6e28944365dba5f831949a1292b2f4cf7f9e",
"index": 1,
"amount": 9223372036854776000,
"name": "PaideiaAlpha DAO Token",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "e2a215dcce945de462c2d581b669f9cc8e5de17f50879f8c2e54831ad5b4f487",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 1000000,
"index": 1,
"globalIndex": 27865269,
"creationHeight": 970993,
"settlementHeight": 970995,
"ergoTree": "104d040004020404040004040e20039d2a0a218d7c48c8fd46a8d29431bd056c84882a216a567326c3c7984ec8350e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d404000e200030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a0400050204040e20aebd9ede015cc4312f5dafb98a16811b0359c0ad083b2b5c06a1f044478e9ba20e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0402040004000402040c044c04000402044204000400040204020406040604080400040204420580897a05020402040004020402050204060406040204020402040005feffffffffffffffff01040004020e1e696d2e706169646569612e636f6e7472616374732e70726f706f73616c2e0e1c696d2e706169646569612e636f6e7472616374732e616374696f6e2e04040404040004020442040004000408040005020e20001cce3f2b5f4a5cf637c08583148e8243517bedd74eaa93119d09b25df8608a040204020412040004020442040005020400040205000402040204420100d80bd601db6501fed602b27201730000d603b27201730100d604db6308a7d605b27204730200d606b2a5730300d607db63087206d608b27207730400d609e4e3010ed60adc640be4c6720204640283020e73057306e4e3000ed60b8c720501d196830301938cb2db63087202730700017308938cb2db6308720373090001e4c6a7040e9593998c720502730a8c720802d805d60cb27201730b00d60ddc640be4c6720304640283020e730c730d7209d60eb2a5730e00d60fdb6308720ed610b2720f730f0096830401938cb2db6308720c73100001b4e4b2720d731100731273139683070193cbc27206b4e4b2720a7314007315731692c17206c1a793b27207731700b2720473180093b27207731900b27204731a00938c720801720b93b27207731b00b27204731c0093b17207731d9683040193cbc2720eb4e4b2720d731e00731f732093c1720e7321938c721001720b938c721002732291b1e4dc640ae4c6720c0464028cb2720f73230001e4e3020e7324d804d60cb27204732500d60d8c720c02d60eb27207732600d60f8c720c01959399720d73278c720e02d810d610b27207732800d611b27204732900d6128c721101d613e4c6b2a4732a00050c63d614b47213732bb17213d615b17214d616b2a5732c00d617b27213732d00d61899732e720dd619db63087216d61ab27219732f00d61bb27219733000d61cc27216d61dc27217d61edc640be4c67203046402b383010ecbb37331721dad7214d9011e63cbb37332c2721e7209d61fb4a573339a72157334968303019683080193cbc27206b4e4b2720a7335007336733792c17206c1a793b27207733800b27204733900938c720e01720f9372087205938c7210017212938c721002998c7211027e72150593b17207733a9683080192c17216c17217937eb2e4c672160410733b00057218938c721a01720f938c721a02733c938c721b01733d938c721b027cb4e4b2720a733e00733f734093721c721d93cb721cb4e4b2721e73410073427343afdb0c0e721fd9012004d803d622b2721f722000d623b2db63087222734400d624e4c6722204119683060192c17222c1b27214722000938c7223017212938c722302734593b27224734600721892b27224734700734893cbc27222b4e4b2721e9a7220734900734a734b734c",
"ergoTreeConstants": "0: 0\n1: 1\n2: 2\n3: 0\n4: 2\n5: 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)\n6: 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)\n7: 0\n8: Coll(0,48,96,-113,14,-62,-10,65,-60,-44,-121,60,-41,-1,-6,-98,49,-6,-115,118,-96,80,-18,91,116,-67,13,-102,62,-119,-3,10)\n9: 0\n10: 1\n11: 2\n12: Coll(-82,-67,-98,-34,1,92,-60,49,47,93,-81,-71,-118,22,-127,27,3,89,-64,-83,8,59,43,92,6,-95,-16,68,71,-114,-101,-94)\n13: 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)\n14: 1\n15: 0\n16: 0\n17: 1\n18: 6\n19: 38\n20: 0\n21: 1\n22: 33\n23: 0\n24: 0\n25: 1\n26: 1\n27: 3\n28: 3\n29: 4\n30: 0\n31: 1\n32: 33\n33: 1000000\n34: 1\n35: 1\n36: 0\n37: 1\n38: 1\n39: 1\n40: 3\n41: 3\n42: 1\n43: 1\n44: 1\n45: 0\n46: 9223372036854775807\n47: 0\n48: 1\n49: 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)\n50: 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)\n51: 2\n52: 2\n53: 0\n54: 1\n55: 33\n56: 0\n57: 0\n58: 4\n59: 0\n60: 1\n61: Coll(0,28,-50,63,43,95,74,92,-10,55,-64,-123,-125,20,-114,-126,67,81,123,-19,-41,78,-86,-109,17,-99,9,-78,93,-8,96,-118)\n62: 1\n63: 1\n64: 9\n65: 0\n66: 1\n67: 33\n68: 0\n69: 1\n70: 0\n71: 1\n72: 0\n73: 1\n74: 1\n75: 33\n76: false",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val box3 = coll1(placeholder[Int](1))\n val coll4 = SELF.tokens\n val tuple5 = coll4(placeholder[Int](2))\n val box6 = OUTPUTS(placeholder[Int](3))\n val coll7 = box6.tokens\n val tuple8 = coll7(placeholder[Int](4))\n val coll9 = getVar[Coll[Byte]](1.toByte).get\n val coll10 = box2.R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6)), getVar[Coll[Byte]](0.toByte).get)\n val coll11 = tuple5._1\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.tokens(placeholder[Int](7))._1 == placeholder[Coll[Byte]](8), box3.tokens(placeholder[Int](9))._1 == SELF.R4[\n Coll[Byte]\n ].get, if (tuple5._2 - placeholder[Long](10) == tuple8._2) {(\n val box12 = coll1(placeholder[Int](11))\n val coll13 = box3.R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](12), placeholder[Coll[Byte]](13)), coll9)\n val box14 = OUTPUTS(placeholder[Int](14))\n val coll15 = box14.tokens\n val tuple16 = coll15(placeholder[Int](15))\n allOf(\n Coll[Boolean](\n box12.tokens(placeholder[Int](16))._1 == coll13(placeholder[Int](17)).get.slice(placeholder[Int](18), placeholder[Int](19)), allOf(\n Coll[Boolean](\n blake2b256(box6.propositionBytes) == coll10(placeholder[Int](20)).get.slice(\n placeholder[Int](21), placeholder[Int](22)\n ), box6.value >= SELF.value, coll7(placeholder[Int](23)) == coll4(placeholder[Int](24)), coll7(placeholder[Int](25)) == coll4(\n placeholder[Int](26)\n ), tuple8._1 == coll11, coll7(placeholder[Int](27)) == coll4(placeholder[Int](28)), coll7.size == placeholder[Int](29)\n )\n ), allOf(\n Coll[Boolean](\n blake2b256(box14.propositionBytes) == coll13(placeholder[Int](30)).get.slice(\n placeholder[Int](31), placeholder[Int](32)\n ), box14.value == placeholder[Long](33), tuple16._1 == coll11, tuple16._2 == placeholder[Long](34)\n )\n ), box12.R4[AvlTree].get.get(coll15(placeholder[Int](35))._1, getVar[Coll[Byte]](2.toByte).get).get.size > placeholder[Int](36)\n )\n )\n )} else {(\n val tuple12 = coll4(placeholder[Int](37))\n val l13 = tuple12._2\n val tuple14 = coll7(placeholder[Int](38))\n val coll15 = tuple12._1\n if (l13 - placeholder[Long](39) == tuple14._2) {(\n val tuple16 = coll7(placeholder[Int](40))\n val tuple17 = coll4(placeholder[Int](41))\n val coll18 = tuple17._1\n val coll19 = INPUTS(placeholder[Int](42)).R5[Coll[Box]].get\n val coll20 = coll19.slice(placeholder[Int](43), coll19.size)\n val i21 = coll20.size\n val box22 = OUTPUTS(placeholder[Int](44))\n val box23 = coll19(placeholder[Int](45))\n val l24 = placeholder[Long](46) - l13\n val coll25 = box22.tokens\n val tuple26 = coll25(placeholder[Int](47))\n val tuple27 = coll25(placeholder[Int](48))\n val coll28 = box22.propositionBytes\n val coll29 = box23.propositionBytes\n val coll30 = box3.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](blake2b256(placeholder[Coll[Byte]](49).append(coll29))).append(\n coll20.map({(box30: Box) => blake2b256(placeholder[Coll[Byte]](50).append(box30.propositionBytes)) })\n ), coll9\n )\n val coll31 = OUTPUTS.slice(placeholder[Int](51), i21 + placeholder[Int](52))\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n blake2b256(box6.propositionBytes) == coll10(placeholder[Int](53)).get.slice(\n placeholder[Int](54), placeholder[Int](55)\n ), box6.value >= SELF.value, coll7(placeholder[Int](56)) == coll4(\n placeholder[Int](57)\n ), tuple14._1 == coll15, tuple8 == tuple5, tuple16._1 == coll18, tuple16._2 == tuple17._2 - i21.toLong, coll7.size == placeholder[Int](58)\n )\n ), allOf(\n Coll[Boolean](\n box22.value >= box23.value, box22.R4[Coll[Int]].get(placeholder[Int](59)).toLong == l24, tuple26._1 == coll15, tuple26._2 == placeholder[\n Long\n ](60), tuple27._1 == placeholder[Coll[Byte]](61), tuple27._2 == byteArrayToLong(\n coll10(placeholder[Int](62)).get.slice(placeholder[Int](63), placeholder[Int](64))\n ), coll28 == coll29, blake2b256(coll28) == coll30(placeholder[Int](65)).get.slice(placeholder[Int](66), placeholder[Int](67))\n )\n ), coll31.indices.forall({(i32: Int) =>\n val box34 = coll31(i32)\n val tuple35 = box34.tokens(placeholder[Int](68))\n val coll36 = box34.R4[Coll[Long]].get\n allOf(Coll[Boolean](box34.value >= coll20(i32).value, tuple35._1 == coll18, tuple35._2 == placeholder[Long](69), coll36(placeholder[Int](70)) == l24, coll36(placeholder[Int](71)) >= placeholder[Long](72), blake2b256(box34.propositionBytes) == coll30(i32 + placeholder[Int](73)).get.slice(placeholder[Int](74), placeholder[Int](75))))\n })\n )\n )\n )} else { placeholder[Boolean](76) }\n )}\n )\n )\n )\n}",
"address": "3FA5XgkWRfffKbvp8yivoPp5jz9S6n44Y3xWxwHg9dyCzhf7rMHH5BvuGi5sSfiJW59t65uAqCRHZJDsWZwazxAtzmCwg9WUgHUbBUAy9NEFnnyC1qxmSoCdVMLaNSTUw6rtNyzr5rkmVxiDyfNvstR4yPv2WfjEGaCPgPjEEbyGC29AvsoGWfxEjU4dGtUWzpj1HhkcvUSdhcjLZWJgJHZbDcrQ6bbvSMYXAHRtK5bqgMXcd5NU8QzRia1YB8CbYtfLVZrFgyg7t54yJYgqYiCBoyyrVNwvURsqSvwDyy4VgbUS7Ry41pYBSwXuXZr9LjrRMfM64UDUbe4cFn8YjrtdeKiXAmYr7tnah4H94SCMEG5bXqZSekwhbnvLuXwgmfMLwjhpH7JGQgVEXWr9BLXqWndnoWp8BA9wJW2GdgyCy2VuAHYeaP2qtoquHREb1DVxtE7VEecP3T1xnux7Wjt4YKNnyCy7dmJBRnrU3ZYQJGd8rBxESABVXqBLwRsJUQ87neQU1XxaDXsj4ZZ75AuQKHwGS18j9WQMq5RQHCzyyPEw2sUE9vSt2TNL8UW35gVCHgVY3NAUiseKd5SAJBsrxJdCrgTpmgJvMiP9AT7hDtkyDEYkZgh17QyZPUoCVgMSS7GoDpmSyw9N5pd9gdTjWvd6kYPj3XDPDR9cRAch4kWoWNBwJanpejDZo4gxWZrxVP25vLkWezqfrQ5xRX32DFjjyfzC9LrbXKgTKhvzDaUzLs28AByGpz1LiyWy3BsSR8UMs1W5PiXskwaDiLgJdc6cdg858CpPyhHPiZkPzzfjoVN8LGnKuc1ubD1yV8gFkJqB2p6ULjwsriva5ccumwUGHcRqAGqa1PQzKSn12BA2FahcjoJPCjJpka9sBWzGRxcw1dLR51tCweMwKnTmT7Mub1oy7itjQmXCHorPNDBEJ1aH955xDGYKNFsbHchTv6SkYgvxqZAJ9TyfSFNPn1qn964T6Qp8gKZRTXgP5qzUGLJ6nVCUAGexPjXfifk2soX9HaeJnHcUsxpFaCy9peX7VM9kjrJ5nJPkcncRCGsZWhtsP9sBg7smXQXmLpFS6zw9zcqtgAUzk118PN5Z1djwactF4dqEvHkfp34wd8Sd5zKy5Vda5sHwibCiU6UQKFmg1i2WCLGSfaz88XR4kuFRjCEDbk9FAx2XaiYhpJJF4Hr2LxXQfLdHNyawttwRjaHQeiHWFvGSqG9NVfb8acg2P7Kt48rvjdWPJavr57FejQTf5JyeoosdFfqJXa2E2b3SR3vocyJDLHg8vvLM8oPkezPzLFbgwzmGQR2uSoJV9aCk38DYy5fcy69cUUfZ71AJo2MvVMBqB15o9CEKMYghf9KECiXjNCpNAJsPRaU2tCN9bTgkRLJnzWeidHY85hW1RKnKeqa2obbWN9yuAmzHJjuhChDKG66VShZ8wyBPDqApjJAAQmMwGGVH1WF3SJksCi4bQWY9LpUkdT3iT3UeVBD49XgUtLXD96NM1kKUBp56FsAN7AEibLsuXafX6muYvkKVe8rsocxMt8DaJ8LGTqyYKRH9JrJqupHe1M6sKFSqZfXAzDqw1xoWRhStMmgEGgbWNxKLeWaqB3r4TkDPCfC1itnPjqDK6bpzkq82r5Mf1ZY9ABkiDA582yjvBhHq6U7mL6MLfE3kmLxiCK23FE4XYSeNkqQUZnN864rKuaZ4BZWBjXLFSBakPw",
"assets": [
{
"tokenId": "004bd3a7642a549c7badf1a5ee4f6e28944365dba5f831949a1292b2f4cf7f9e",
"index": 0,
"amount": 1,
"name": "PaideiaAlpha DAO Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "00837c6baf30356181aa14c0f93e20a12d6d8b533073777f2c41e764f528c128",
"index": 1,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0076323b56333ebf68b0c11fdf2ff15e95cbb611f8d581cb6e30174ef2b35fad",
"index": 2,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Vote",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "005e0be2005f6bc2ad9c1109759f76c2203ccbcd2782a7d9bee1c2e56fdfaac9",
"index": 3,
"amount": 9223372036854776000,
"name": "PaideiaAlpha Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e200030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a",
"sigmaType": "Coll[SByte]",
"renderedValue": "0030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a"
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "e1f917bcbb7cc914f9c623f5acef1c3e2b0965265fbb97aed8cb28d14f304836",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 1000000,
"index": 2,
"globalIndex": 27865270,
"creationHeight": 970993,
"settlementHeight": 970995,
"ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e20005e0be2005f6bc2ad9c1109759f76c2203ccbcd2782a7d9bee1c2e56fdfaac90100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
"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,94,11,-30,0,95,107,-62,-83,-100,17,9,117,-97,118,-62,32,60,-53,-51,39,-126,-89,-39,-66,-31,-62,-27,111,-33,-86,-55)\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": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfCrRAxGUeDREL9kqS4wg7MmeDxM3aSraRc9m6mCu9ziH4nnHAtZ6mLVqMPGQ4KcG8WwE3gnjyLwXjdouomxeTP3pjjDgddMuzTKFHnjPBmqLhG5RiMEnHUv4LwiNovP3vZLbhaQEmGGsmkGa24q4gsPRN7TLDhnvi2YT8wqxNDkJBxUKfANq39oX8NDq",
"assets": [
{
"tokenId": "0030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a",
"index": 0,
"amount": 1,
"name": "PaideiaAlpha DAO",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "6429c7c30d4034f4cd0c1286e78f8394ad9e8cc54f6d224d0e6b945d1460fe828d06072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "204a9fc89639306d1018f01d478f1be2fec34d9eb6b51437870e2d6703914963",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 2000000,
"index": 3,
"globalIndex": 27865271,
"creationHeight": 970993,
"settlementHeight": 970995,
"ergoTree": "10ba01040004000e20b0b907abafad8dffce2f9f1dfa1535c022dda05366f4fbd27f581d132f4b23f60e209b16b18081274dc22f18e8591996a266d3b921b771810cca0cb8e7124ad808be0e2041f398806552845e52009032105f59e5cb2cb141de63cc737b6d995753c36e810e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a20e20e7fa21f72c42ae1c3d53b42a939705d11d37eae2edc932f5ee945a0e64eb56e10e2008478341de88fa95e2833224ac8979f658c272871267e620d5c1d69e38fcf45904000402040204060400040c044a040c044a040a040c044a0402040604040500040404000402040404020402041204060400040004000e200030608f0ec2f641c4d4873cd7fffa9e31fa8d76a050ee5b74bd0d9a3e89fd0a0400040a040a0402044204000200040204000400041004100400050204040402040205000101020104100410041004100400040004020400040404020500040204020404040504040500010102020400041004100400040204000404040205000405040401010203040204000402040204020402040204000400040204120400049c010473043e04900104b60104cf01042904f101042a047e04f80104ae010449049e0104bc01046504ea0104aa0104de010445048701048001047604820104a701040f048801043e044304e301042c0412040004000402040004020500040004040402041201010204041004100501041004100400040004100410050001010400050004000400050004000500040004040400040004100500010102050500040204020500040004000404040104040400050004050400040405000101d827d601b2db6501fe730000d602e4e30102d6037e720204d604b2a5730100d605dc640be4c6720104640283060e730273037304730573067307e4e3000ed606db63087204d607b27206730800d608db6308a7d609b27206730900d60ab27208730a00d60be4c6a70511d60cb1720bd60de4b27205730b00d60edb0c0eb4720d730c9d99b1720d730d730ed60fad720ed9010f04b4720d9a9a730f9c7310720f73119a73129c73139a720f7314d610b3b4720b7315720cadb4720f99720c7316b1720ed901100e7317d611db0c0e7210d6128c720902d6138c720a02d614e4c672040511d615b2720b731800d616e4c6a70464d617e4e3020c3c0e0ed618b27217731900d6198c721801d61ae4e3030ed61b9972127213d61cdb6401e4c672040464d61d93b17217731ad61ec1a7d61fc17204d620b17208d621b47208731b7220d622e4c6a7070c64d6237d7cb4e4b27205731c00731d731e04d624e4c6a70611d625b47214731fb17214d626b2720b732000d627b27222732100d196830901938cb2db63087201732200017323ed927203732490720373259683030193cbc27204b4e4b2720573260073277328937207b27208732900938c7209018c720a0195937202732ad806d628c5a7d629b2db6308b2a5732b00732c00d62ae4e3020c3c0e0ed62bb2722a732d00d62cad7211d9012c04d801d62e9c722c732e7cb48c722b02722e9a722e732fd62db2722c73300096830601ed9372288c7229019372288c722b01938c7229027331ed93722d997212721393722d99b27214733200721593b1722a733393db6401e4dc640c721602722ae4e3030edb6401e4c672040464afb4722c7334b17211d9012e0593722e73357336959372027337d804d628ad7211d9012804d801d62a9c722873387cb48c721802722a9a722a7339d629ad7211d9012904d801d62b9c7229733a7cb4e4dc640a7216027219721a722b9a722b733bd62a99b27228733c00b27229733d00d62bdc0c1d722901722896830701938cb2db6308b2a5733e00733f017207017219ed93722a721b93722a99b272147340007215721d93db6401e4dc640d7216027217721a721cafb4722b7341b1722bd9012c59d801d62e8c722c02ed928c722c01722e92722e73429399b27229734300b2722873440099c1a7c17204afb472087345b17208d9012c4d0ed802d62e8c722c01d62f9adc0c1a720f02722e7346734793998c722c02b072067348d90130414d0ed802d6328c723002d6338c72300195938c723201722e9a72338c723202723399b27229722f00b27228722f00734995937202734ad804d628ad7217d901283c0e0e8c722801d629b27228734b00d62aad7211d9012a04d801d62c9c722a734c7cb4e4dc640a7216027229721a722c9a722c734dd62bb2722a734e0096830601938cb2db6308b2a4734f00735000017229ed93722b997213721293722b997215b2721473510093b2722a73520099721e721faf7221d9012c4d0ed801d62e8c722c0193998c722c02b072067353d9012f414d0ed802d6318c722f02d6328c722f0195938c723101722e9a72328c7231027232b2722a9adc0c1a720f02722e7354735500721d93db6401e4dc640e7216027228e4e3040e721c7356959372027357d809d628e4c672040611d629b17228d62ae4c67204070c64d62bb1722ad62ce4c67204081dd62db1722cd62eb2722c99722d735800d62fb27210735900d630997223735a968306019683040193b27228997229735b00721593db6401b2722a99722b735c00db64017216afdb0c0eb4722e735db17210d9013104d801d6339a7231735e93b2722e723300b2721072330093b2722e735f009a722fa17cb4e4b2720573600073617362999972137215722f9683030193db6401b27222736300ad832104736473657366736773687369736a736b736c736d736e736f7370737173727373737473757376737773787379737a737b737c737d737e737f738001738101738201738301738401d90131047d72310293b4722a7385017230b472227386017223afdb0c0eb472287387017230d901310493b27228723100b272249a723173880100eded93722b7223937229722393722d7223af7225d901310593723173890193b27214738a01009a72267cb4e4b27205738b0100738c01738d01907226db6903db6503fe738e0195937202738f01d808d628ad7217d901283c0e0e8c722801d629db0c0e7228d62aaddc640b7216027228721ad9012a3295e6722aad7211d9012c04d801d62e9c722c7390017cb4e4722a722e9a722e739101ad7210d9012c05739201d62baddc640b7227027228e4e3040ed9012b32ad7211d9012d04d801d62f9c722d7393017cb4e4722b722f9a722f739401d62cb2722473950100d62db2e4c6a7081d73960100d62ead7217d9012e3c0e0ead7211d9013004d801d6329c72307397017cb48c722e0272329a7232739801d62f8602ad722dd9012f05739901739a019683040196ad7229d9013004d801d632b2722a7230008c9592b27232739b0100739c01d801d633ad722dd90133059d9cb2b2722b723000739d01007233722c8602723393addc0c1d7232017233d90134599a8c7234018c723402b2722e723000722f02939a7215b0ad7229d9013004d801d632b2722a7230009592b27232739e0100739f01d801d633ad722dd90133059d9cb2b2722b72300073a001007233722c8602723393addc0c1d7232017233d90134599a8c7234018c723402b2722e723000722f73a101d901304149119a8c723001b28c8c7230020173a20100b2721473a3010093db6401e4dc640e7227027228e4e3050edb6401b2e4c67204070c6473a4010093db6401e4dc640d721602b57217d901303c0e0e917cb48c72300273a50173a60173a701721a721c73a8019593720273a901d802d62899721f721ed629b1720696830501ed92722873aa019399b2722573ab0100b2721073ac01007228ed92721b73ad019399b2722573ae0100b2721073af0100721bafdc0c1d722101b4720673b0017220d9012a3c4d0e4d0ed806d62c8c722a01d62d8c722c01d62e8c722a02d62fdc0c1a720f02722d73b101d630998c722e028c722c02d6319a722f73b2019683040193722d8c722e0192722f73b30193723099b27225723100b2721072310092723073b401afb4720672207229d9012a4d0ed802d62cdc0c1a720f028c722a0173b501d62d8c722a029683030192722c73b60193722db272259a722c73b7010092722d73b801927229722073b901",
"ergoTreeConstants": "0: 0\n1: 0\n2: 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)\n3: 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)\n4: 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)\n5: 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)\n6: Coll(-25,-6,33,-9,44,66,-82,28,61,83,-76,42,-109,-105,5,-47,29,55,-22,-30,-19,-55,50,-11,-18,-108,90,14,100,-21,86,-31)\n7: Coll(8,71,-125,65,-34,-120,-6,-107,-30,-125,50,36,-84,-119,121,-10,88,-62,114,-121,18,103,-26,32,-43,-63,-42,-98,56,-4,-12,89)\n8: 0\n9: 1\n10: 1\n11: 3\n12: 0\n13: 6\n14: 37\n15: 6\n16: 37\n17: 5\n18: 6\n19: 37\n20: 1\n21: 3\n22: 2\n23: 0\n24: 2\n25: 0\n26: 1\n27: 2\n28: 1\n29: 1\n30: 9\n31: 3\n32: 0\n33: 0\n34: 0\n35: Coll(0,48,96,-113,14,-62,-10,65,-60,-44,-121,60,-41,-1,-6,-98,49,-6,-115,118,-96,80,-18,91,116,-67,13,-102,62,-119,-3,10)\n36: 0\n37: 5\n38: 5\n39: 1\n40: 33\n41: 0\n42: 0\n43: 1\n44: 0\n45: 0\n46: 8\n47: 8\n48: 0\n49: 1\n50: 2\n51: 1\n52: 1\n53: 0\n54: true\n55: 1\n56: 8\n57: 8\n58: 8\n59: 8\n60: 0\n61: 0\n62: 1\n63: 0\n64: 2\n65: 1\n66: 0\n67: 1\n68: 1\n69: 2\n70: -3\n71: 2\n72: 0\n73: true\n74: 2\n75: 0\n76: 8\n77: 8\n78: 0\n79: 1\n80: 0\n81: 2\n82: 1\n83: 0\n84: -3\n85: 2\n86: true\n87: 3\n88: 1\n89: 0\n90: 1\n91: 1\n92: 1\n93: 1\n94: 1\n95: 0\n96: 0\n97: 1\n98: 9\n99: 0\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: 0\n134: 1\n135: 0\n136: 1\n137: 0\n138: 0\n139: 2\n140: 1\n141: 9\n142: true\n143: 4\n144: 8\n145: 8\n146: -1\n147: 8\n148: 8\n149: 0\n150: 0\n151: 8\n152: 8\n153: 0\n154: true\n155: 0\n156: 0\n157: 0\n158: 0\n159: 0\n160: 0\n161: 0\n162: 0\n163: 2\n164: 0\n165: 0\n166: 8\n167: 0\n168: true\n169: 5\n170: 0\n171: 1\n172: 1\n173: 0\n174: 0\n175: 0\n176: 2\n177: -1\n178: 2\n179: 0\n180: 0\n181: -3\n182: 0\n183: 2\n184: 0\n185: true",
"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 = OUTPUTS(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)\n ), getVar[Coll[Byte]](0.toByte).get\n )\n val coll6 = box4.tokens\n val tuple7 = coll6(placeholder[Int](8))\n val coll8 = SELF.tokens\n val tuple9 = coll6(placeholder[Int](9))\n val tuple10 = coll8(placeholder[Int](10))\n val coll11 = SELF.R5[Coll[Long]].get\n val i12 = coll11.size\n val coll13 = coll5(placeholder[Int](11)).get\n val coll14 = coll13.slice(placeholder[Int](12), coll13.size - placeholder[Int](13) / placeholder[Int](14)).indices\n val coll15 = coll14.map(\n {(i15: Int) =>\n coll13.slice(\n placeholder[Int](15) + placeholder[Int](16) * i15 + placeholder[Int](17), placeholder[Int](18) + placeholder[Int](19) * i15 + placeholder[Int](20)\n )\n }\n )\n val coll16 = coll11.slice(placeholder[Int](21), i12).append(\n coll15.slice(i12 - placeholder[Int](22), coll14.size).map({(coll16: Coll[Byte]) => placeholder[Long](23) })\n )\n val coll17 = coll16.indices\n val l18 = tuple9._2\n val l19 = tuple10._2\n val coll20 = box4.R5[Coll[Long]].get\n val l21 = coll11(placeholder[Int](24))\n val avlTree22 = SELF.R4[AvlTree].get\n val coll23 = getVar[Coll[(Coll[Byte], Coll[Byte])]](2.toByte).get\n val tuple24 = coll23(placeholder[Int](25))\n val coll25 = tuple24._1\n val coll26 = getVar[Coll[Byte]](3.toByte).get\n val l27 = l18 - l19\n val coll28 = box4.R4[AvlTree].get.digest\n val bool29 = coll23.size == placeholder[Int](26)\n val l30 = SELF.value\n val l31 = box4.value\n val i32 = coll8.size\n val coll33 = coll8.slice(placeholder[Int](27), i32)\n val coll34 = SELF.R7[Coll[AvlTree]].get\n val i35 = byteArrayToLong(coll5(placeholder[Int](28)).get.slice(placeholder[Int](29), placeholder[Int](30))).toInt\n val coll36 = SELF.R6[Coll[Long]].get\n val coll37 = coll20.slice(placeholder[Int](31), coll20.size)\n val l38 = coll11(placeholder[Int](32))\n val avlTree39 = coll34(placeholder[Int](33))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box1.tokens(placeholder[Int](34))._1 == placeholder[Coll[Byte]](35), (i3 >= placeholder[Int](36)) && (i3 <= placeholder[Int](37)), allOf(\n Coll[Boolean](\n blake2b256(box4.propositionBytes) == coll5(placeholder[Int](38)).get.slice(placeholder[Int](39), placeholder[Int](40)), tuple7 == coll8(\n placeholder[Int](41)\n ), tuple9._1 == tuple10._1\n )\n ), if (b2 == placeholder[Byte](42)) {(\n val coll40 = SELF.id\n val tuple41 = OUTPUTS(placeholder[Int](43)).tokens(placeholder[Int](44))\n val coll42 = getVar[Coll[(Coll[Byte], Coll[Byte])]](2.toByte).get\n val tuple43 = coll42(placeholder[Int](45))\n val coll44 = coll17.map({(i44: Int) =>\n val i46 = i44 * placeholder[Int](46)\n byteArrayToLong(tuple43._2.slice(i46, i46 + placeholder[Int](47)))\n })\n val l45 = coll44(placeholder[Int](48))\n allOf(\n Coll[Boolean](\n (coll40 == tuple41._1) && (coll40 == tuple43._1), tuple41._2 == placeholder[Long](49), (l45 == l18 - l19) && (\n l45 == coll20(placeholder[Int](50)) - l21\n ), coll42.size == placeholder[Int](51), avlTree22.insert(coll42, getVar[Coll[Byte]](3.toByte).get).get.digest == box4.R4[\n AvlTree\n ].get.digest, coll44.slice(placeholder[Int](52), coll17.size).forall({(l46: Long) => l46 == placeholder[Long](53) })\n )\n )\n )} else { placeholder[Boolean](54) }, if (b2 == placeholder[Byte](55)) {(\n val coll40 = coll17.map({(i40: Int) =>\n val i42 = i40 * placeholder[Int](56)\n byteArrayToLong(tuple24._2.slice(i42, i42 + placeholder[Int](57)))\n })\n val coll41 = coll17.map({(i41: Int) =>\n val i43 = i41 * placeholder[Int](58)\n byteArrayToLong(avlTree22.get(coll25, coll26).get.slice(i43, i43 + placeholder[Int](59)))\n })\n val l42 = coll40(placeholder[Int](60)) - coll41(placeholder[Int](61))\n val coll43 = coll41.zip(coll40)\n allOf(\n Coll[Boolean](\n OUTPUTS(placeholder[Int](62)).tokens.getOrElse(placeholder[Int](63), tuple7)._1 == coll25, (l42 == l27) && (\n l42 == coll20(placeholder[Int](64)) - l21\n ), bool29, avlTree22.update(coll23, coll26).get.digest == coll28, coll43.slice(placeholder[Int](65), coll43.size).forall(\n {(tuple44: (Long, Long)) =>\n val l46 = tuple44._2\n (tuple44._1 >= l46) && (l46 >= placeholder[Long](66))\n }\n ), coll41(placeholder[Int](67)) - coll40(placeholder[Int](68)) == SELF.value - box4.value, coll8.slice(placeholder[Int](69), coll8.size).forall(\n {(tuple44: (Coll[Byte], Long)) =>\n val coll46 = tuple44._1\n val i47 = coll15.indexOf(coll46, placeholder[Int](70)) + placeholder[Int](71)\n tuple44._2 - coll6.fold(placeholder[Long](72), {(tuple48: (Long, (Coll[Byte], Long))) =>\n val tuple50 = tuple48._2\n val l51 = tuple48._1\n if (tuple50._1 == coll46) { l51 + tuple50._2 } else { l51 }\n }) == coll41(i47) - coll40(i47)\n }\n )\n )\n )\n )} else { placeholder[Boolean](73) }, if (b2 == placeholder[Byte](74)) {(\n val coll40 = coll23.map({(tuple40: (Coll[Byte], Coll[Byte])) => tuple40._1 })\n val coll41 = coll40(placeholder[Int](75))\n val coll42 = coll17.map({(i42: Int) =>\n val i44 = i42 * placeholder[Int](76)\n byteArrayToLong(avlTree22.get(coll41, coll26).get.slice(i44, i44 + placeholder[Int](77)))\n })\n val l43 = coll42(placeholder[Int](78))\n allOf(\n Coll[Boolean](\n INPUTS(placeholder[Int](79)).tokens(placeholder[Int](80))._1 == coll41, (l43 == l19 - l18) && (l43 == l21 - coll20(placeholder[Int](81))), coll42(\n placeholder[Int](82)\n ) == l30 - l31, coll33.forall({(tuple44: (Coll[Byte], Long)) =>\n val coll46 = tuple44._1\n tuple44._2 - coll6.fold(placeholder[Long](83), {(tuple47: (Long, (Coll[Byte], Long))) =>\n val tuple49 = tuple47._2\n val l50 = tuple47._1\n if (tuple49._1 == coll46) { l50 + tuple49._2 } else { l50 }\n }) == coll42(coll15.indexOf(coll46, placeholder[Int](84)) + placeholder[Int](85))\n }), bool29, avlTree22.remove(coll40, getVar[Coll[Byte]](4.toByte).get).get.digest == coll28\n )\n )\n )} else { placeholder[Boolean](86) }, if (b2 == placeholder[Byte](87)) {(\n val coll40 = box4.R6[Coll[Long]].get\n val i41 = coll40.size\n val coll42 = box4.R7[Coll[AvlTree]].get\n val i43 = coll42.size\n val coll44 = box4.R8[Coll[Coll[Long]]].get\n val i45 = coll44.size\n val coll46 = coll44(i45 - placeholder[Int](88))\n val l47 = coll16(placeholder[Int](89))\n val i48 = i35 - placeholder[Int](90)\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n coll40(i41 - placeholder[Int](91)) == l21, coll42(i43 - placeholder[Int](92)).digest == avlTree22.digest, coll46.slice(\n placeholder[Int](93), coll16.size\n ).indices.forall({(i49: Int) =>\n val i51 = i49 + placeholder[Int](94)\n coll46(i51) == coll16(i51)\n }), coll46(placeholder[Int](95)) == l47 + min(\n byteArrayToLong(coll5(placeholder[Int](96)).get.slice(placeholder[Int](97), placeholder[Int](98))), l19 - l21 - l47\n )\n )\n ), allOf(\n Coll[Boolean](\n coll34(placeholder[Int](99)).digest == Coll[Int](\n placeholder[Int](100), placeholder[Int](101), placeholder[Int](102), placeholder[Int](103), placeholder[Int](104), placeholder[Int](\n 105\n ), placeholder[Int](106), placeholder[Int](107), placeholder[Int](108), placeholder[Int](109), placeholder[Int](110), placeholder[Int](\n 111\n ), placeholder[Int](112), placeholder[Int](113), placeholder[Int](114), placeholder[Int](115), placeholder[Int](116), placeholder[Int](\n 117\n ), placeholder[Int](118), placeholder[Int](119), placeholder[Int](120), placeholder[Int](121), placeholder[Int](122), placeholder[Int](\n 123\n ), placeholder[Int](124), placeholder[Int](125), placeholder[Int](126), placeholder[Int](127), placeholder[Int](128), placeholder[Int](\n 129\n ), placeholder[Int](130), placeholder[Int](131), placeholder[Int](132)\n ).map({(i49: Int) => i49.toByte }), coll42.slice(placeholder[Int](133), i48) == coll34.slice(placeholder[Int](134), i35), coll40.slice(\n placeholder[Int](135), i48\n ).indices.forall({(i49: Int) => coll40(i49) == coll36(i49 + placeholder[Int](136)) })\n )\n ), ((i43 == i35) && (i41 == i35)) && (i45 == i35), coll37.forall({(l49: Long) => l49 == placeholder[Long](137) }), coll20(\n placeholder[Int](138)\n ) == l38 + byteArrayToLong(\n coll5(placeholder[Int](139)).get.slice(placeholder[Int](140), placeholder[Int](141))\n ), l38 <= CONTEXT.preHeader.timestamp\n )\n )\n )} else { placeholder[Boolean](142) }, if (b2 == placeholder[Byte](143)) {(\n val coll40 = coll23.map({(tuple40: (Coll[Byte], Coll[Byte])) => tuple40._1 })\n val coll41 = coll40.indices\n val coll42 = avlTree22.getMany(coll40, coll26).map({(opt42: Option[Coll[Byte]]) => if (opt42.isDefined) { coll17.map({(i44: Int) =>\n val i46 = i44 * placeholder[Int](144)\n byteArrayToLong(opt42.get.slice(i46, i46 + placeholder[Int](145)))\n }) } else { coll16.map({(l44: Long) => placeholder[Long](146) }) } })\n val coll43 = avlTree39.getMany(coll40, getVar[Coll[Byte]](4.toByte).get).map({(opt43: Option[Coll[Byte]]) => coll17.map({(i45: Int) =>\n val i47 = i45 * placeholder[Int](147)\n byteArrayToLong(opt43.get.slice(i47, i47 + placeholder[Int](148)))\n }) })\n val l44 = coll36(placeholder[Int](149))\n val coll45 = SELF.R8[Coll[Coll[Long]]].get(placeholder[Int](150))\n val coll46 = coll23.map({(tuple46: (Coll[Byte], Coll[Byte])) => coll17.map({(i48: Int) =>\n val i50 = i48 * placeholder[Int](151)\n byteArrayToLong(tuple46._2.slice(i50, i50 + placeholder[Int](152)))\n }) })\n val tuple47 = (coll45.map({(l47: Long) => placeholder[Long](153) }), placeholder[Boolean](154))\n allOf(Coll[Boolean](allOf(coll41.map({(i48: Int) =>\n val coll50 = coll42(i48)\n if (coll50(placeholder[Int](155)) >= placeholder[Long](156)) {(\n val coll51 = coll45.map({(l51: Long) => coll43(i48)(placeholder[Int](157)) * l51 / l44 })\n (coll51, coll50.zip(coll51).map({(tuple52: (Long, Long)) => tuple52._1 + tuple52._2 }) == coll46(i48))\n )} else { tuple47 }._2\n })), l21 + coll41.map({(i48: Int) =>\n val coll50 = coll42(i48)\n if (coll50(placeholder[Int](158)) >= placeholder[Long](159)) {(\n val coll51 = coll45.map({(l51: Long) => coll43(i48)(placeholder[Int](160)) * l51 / l44 })\n (coll51, coll50.zip(coll51).map({(tuple52: (Long, Long)) => tuple52._1 + tuple52._2 }) == coll46(i48))\n )} else { tuple47 }\n }).fold(placeholder[Long](161), {(tuple48: (Long, (Coll[Long], Boolean))) => tuple48._1 + tuple48._2._1(placeholder[Int](162)) }) == coll20(placeholder[Int](163)), avlTree39.remove(coll40, getVar[Coll[Byte]](5.toByte).get).get.digest == box4.R7[Coll[AvlTree]].get(placeholder[Int](164)).digest, avlTree22.update(coll23.filter({(tuple48: (Coll[Byte], Coll[Byte])) => byteArrayToLong(tuple48._2.slice(placeholder[Int](165), placeholder[Int](166))) > placeholder[Long](167) }), coll26).get.digest == coll28))\n )} else { placeholder[Boolean](168) }, if (b2 == placeholder[Byte](169)) {(\n val l40 = l31 - l30\n val i41 = coll6.size\n allOf(\n Coll[Boolean](\n (l40 >= placeholder[Long](170)) && (coll37(placeholder[Int](171)) - coll16(placeholder[Int](172)) == l40), (l27 >= placeholder[Long](173)) && (\n coll37(placeholder[Int](174)) - coll16(placeholder[Int](175)) == l27\n ), coll33.zip(coll6.slice(placeholder[Int](176), i32)).forall({(tuple42: ((Coll[Byte], Long), (Coll[Byte], Long))) =>\n val tuple44 = tuple42._1\n val coll45 = tuple44._1\n val tuple46 = tuple42._2\n val i47 = coll15.indexOf(coll45, placeholder[Int](177))\n val l48 = tuple46._2 - tuple44._2\n val i49 = i47 + placeholder[Int](178)\n allOf(Coll[Boolean](coll45 == tuple46._1, i47 >= placeholder[Int](179), l48 == coll37(i49) - coll16(i49), l48 >= placeholder[Long](180)))\n }), coll6.slice(i32, i41).forall({(tuple42: (Coll[Byte], Long)) =>\n val i44 = coll15.indexOf(tuple42._1, placeholder[Int](181))\n val l45 = tuple42._2\n allOf(Coll[Boolean](i44 >= placeholder[Int](182), l45 == coll37(i44 + placeholder[Int](183)), l45 >= placeholder[Long](184)))\n }), i41 >= i32\n )\n )\n )} else { placeholder[Boolean](185) }\n )\n )\n )\n}",
"address": "2hsjQGdtXgBQ6FheQ7rGPNFQrL4A7eMY7SqiUQDsSy58geFCGY9gN3hLD2oXoLv9vGjAtoAcaPoVHcfn7kE2LvY2CZXqtQeVyAh32Hrd2TxEySue3YxzehwZTfhn71XRd17tJJyywjRX8ERSt8KsLkRSRhbu476oAGM1qUCwWL9K44YUUMgefTAACDNnpt3ptmFF2r7m7YGx1CG3PEYU6T6yg768TafCqsGHLGZjCEfQJetQmGa4bWri9B8UtdoVZ4efSLB2aRDRh6PnLBkxt3eu17fRwTDje6PyGeiEji93BLUksXbkr1mrTsvi9rbmCLBVFjkP3kbVSYLuKwGvzkfwFfwvonpcNJk8UphNWPFYugDbRvQxejPnu9sU6hKiBbijuWG3VrJuffQp97mEKrNZEpS2geJFYGCX1ZcC2xsDnfJajnV3wm9VVS9gwaCPZghF2mNeZCmGB3MK9Ak5XApwuLnF98GtBiexQpkEPHiuz6dQdSQLDASzpQo8SGBdjmTrXSLTb9hxgqg8njwcWsmkYtdcxzN9oJUU8htbzQGbvouowCeCv6zt4vciyeCtkqNnuU4kFz9nVpXR8gdwQ81MJifPSJ38Heq8gyJX9MFbkUzPCPpGFMMKvSrPMHngbRkzmLdazxLsPuf4vBK7UEtf3QNvoJqcRBE1ZiVZ31pe25BSgotqPuPANsQ8dpoWkSSGFTLNhEbiJkSYpMtQq6Qo9aTyNzSkNpKgEiK5Xv867YTgEXEQzNWtfBRAU1sZpuvSNSzimx3sjo8QhBVAxStZbb54c8XYzsDsYPdq3xqXzWo6JZkVP4uwtziJHWcYg4Am5GxUhXkK6T7WqdZgZdfjaTfzSj5oCfewrzoTMsQ9m8gHFF4M1LXVrn9piLdagUvBn4bMe2X6DuC69JFFDFs2p1LMYwyqjVuf8JSrAj7dPyMFSougjGcjwttPwmrTb8ct35aBEeUhpPqA4vfLNrbppannz3Lspom1nqibfroB3iNERkspMihJgUbJ722wown6JHWmy23Qx1PbXGKNMr8mucSaprYpnFzCWY5dnoVTK4SSoW4AvF14wfteJgRgVsqfnXDHWqmwWRci9q16iqrcKuDJbFBjMV7dJ7MTMX9iBU365SNEsVpNY9dHGBG3oUgF45TN7rkMTKsNAcNJ52xRr3kpn8W2JR88TW67EHHGEvYWMAGRdzBfxUxbJUXJA4tamPde7wUPAWb6PjtjXyD7jVLux6DSB8ZHtnTEv33cX9GSDRvfhJtx3MX3523zVbngSje2xgJw9BMCqUFdLF8VtDJppJeaAZWQzfSYTXfp5mi9CMUsnQN6PEZLQumcsD9vsehMxreCo11cQUBpzctMjHegEueQqDeYJFbnXu4TgsG3ecVDjadqDcPVtd6gMZSRb12mhWKzc7HmKeq8PcK8wCP3zSd2ptQaSaKUSJ51Te3Ss4JU3NwwK9WJLVQ74REnBEACZWVZHZegnr4Ji24a6MZ94t34cWrFoNtTUp5ConMG9urdvQhqNmySs7y2dRBrQxZ14z6CVSS4eA4KdH6SaPuhf72eRUPhgmSuy3HK6K2zbVy7JzHPoia81gcbTquAnAsgp9cHzuCctZfda2n42FRsbeCCLBoU1Ei4p78K7x1vyNx666Ltust7uTG82pRyGCPWQRWwYosn3C1PkNdo58NU6B1oqwqMxQMti1rUeUYARxcCrAYQAvQRGVdg92HSjzsVRNnSRPodDb4kAhoETXdD6KkEtuWxvmp5qmR52pMkQLNFH7c1ULxLJxuPvyWzSiy7EG3cPkzycQjGi8o51DeHvZzdxkBPbtSWZJBaXCcaDj7HGwFCuD9JXBTdGDhw7UrzoNexuhhAd3Qn85DWDLjuV95qrqQ7E4EHfkdZcqKVpdsnWcoUraqAeRpgXnnjXpDffANzRHZ3xzSaXfdkvHvxwYDHgPJp1h61Qo2A2nKgve28VHA9wPe6BHt7L1Rru19ac8BpmX1QZ6pu3zDnFv51fWT6uwjpRqx74e9QMEBY4kWJMCbC9GLCh55PnWMRaqJyL6xcUBKvHLbHcFoVxaQbY1xPVbAtCPPgx1TVYntYnjzAWck8s4C2qpAbYZjMUJMh8gC7YbMjKmCAo4MtetydPQHac21aFzwxaSQJadoTvHmHxwFmT68QnHRTt19KtCPkVfspKttcUDDe2ySMsSn2TJgf9BYqCrQiuTdbhn6PRrFR31szgN7N85cvnCwt5oHumaHcGcMN6DtrPq2wnJDCF5mfDSUgiZhgtFwqbLG5Xs2ch7tFBVQ3xEUqN5HMgnVoxqkHvcEKrqtP7YAmBC3GcpYSQmZe4WEyUmpUc3nvCZ3zW5CnQXroNWmPkxYmLt3ENjCKae4wfW22geHN8gEVCgCATSdxqDUBNAwrnzhSUoRZtJDooG3KePEm2qcWv67NC2YdiiTaGgzeduUikBZmhh4wCeAgfqiHjXmDB6hPC9svyHj5JJjNJqvMXPJ4ByA93smJj9cdbi9nC2uZjGMmBWSqZG471q2VeWH6tfid5vE3nEYvX6zx4FQAegVf8V7Km1fxNC9c6EJTiHwkiUiUNuYgXurEhpgbSwcDUsoDgxEgo6qW3m2SG5FTvwhc4BBWS6K2tgeB4w8Zn51ZYXDWdobHMtGc4JiMebVPFQj4KwFUD8eRx91pBCxD1mMnq2VTKkHonivw6geUkqiEdkhzf7gZnxm5WJjq9Mt3L9zbBpjxquxRHyNiKHCQ8rUP69hj98BCukCXcYtnssHvCpa2xisHqN8CZCYzzwXyVy9nWPR1WL2iWkFi1Mg8EXKuRLMWK1c2S9rwgb5irHMDu5AqqcbMTTRaXp14bFioQ8xpeEsXZvnwLcswi2SgwMtSa758qVNvin2TvEbAsfzBhYgqnAShQ19ZXMa2gjHeeCEU6J2wZet8Ai1Vrw7dZpE5TTTswyJsUcfBw5FeccyZPm5diWnDMoVdF4R8dV2fKG3stzP23kQGS9fzhxS8oqXUFUpoo21jqYHo5uBRBBN2HqwErQ7YjeDPBoa17nX8CygAWyzNxXwKcWbQqr58aeUrcx1fLTSpEWS9aMKs5vWUcbbdgsoEVfByc61MPpi27ZcUBXqJFPzZEqUdQsxSDHVuD5U57adfG987etZWgSLtPFdXfZLo5kgojQy1ja5yhUUrGeajaZHsfA8i3PaMgLiS1aKLSpEqVbT71y7Yyz5AZg3n9oUhJESvXVJUmcZ5mjzxAQyYkDissD7BBqaL1RCHJwDpQkGF2chW4biMYbbQMkFVNGjpte9TwsoXS24aMK1v1bnwnugbAP9MDyvoP4RQ5BWxqp7BM7eVwWbbqj4EBUm6aydvAjcZF6uDwkzpXKzACWPqydqQctEAgDpVoTPzu79WZvuSDy614o1BkPwaGN86mnrBa6YNkZNPTmh3ApcwErmbJKc7u3fhPoeaMvNHRwVcR8LNDuPNxaQsFFARTMDox6Cxvww4TRWE2iix2WWAWhh53KxAFFFDkcjAKwqSmxKQCcs8YkDDrmYe76iKUn4q47Cvtr6etH8JDUuxbeCp3mT85xhJAaRqPYjULbcFAwqffq7x7cd93QYyw9HMDNRBupiBFyFumgtjzwCRxAXgFZhkhBkJ8GcDAkerp3JwZdxGMGvDoxBxck5prDX9gX6paArUKWUYwppFzDWu1v42VWNgWHERA3yc6cM8vr9Rv8G9JuX7iYX9mhQVZ6GGqCAA93v9RRQYKJgFdcbEbjMYdEBmNtp6ZgnDiPQbh1CiFNnDjHaqgjW4uSoLYnsXGraKZhbBi8JekVak4uzuC83ZAENFEaLfAZdjDZNb5exBcwHDfuugur1EBWhgKHyFBESyx1uDEwbG1rYp5SixnqPndW1bwr5mYR6CiHXLXc4Tov7nJyX72kjDiZMUZxAMFysUrNwZaqeE43zuPTkKdmx4fpAi5oxwQmhcGJuzc5pjvdBmsh9n6Fpw4YSgoXhmEoNmpto8wf8fSDTQKmkL52H6qoWP7kvuD9VqxC5DhBzZLZ2zQFU9gTF9Y3XktwHFKe5Qx4Ui1drzVyTpEUCfgmY",
"assets": [
{
"tokenId": "00a1883134902b9e5f6fa80d308d50f2391a40800f290279bd6030fd83015fa0",
"index": 0,
"amount": 1,
"name": "PaideiaAlpha Stake State",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001cce3f2b5f4a5cf637c08583148e8243517bedd74eaa93119d09b25df8608a",
"index": 1,
"amount": 1001,
"name": "PaideiaAlpha",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "110580dcd8dae56100000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1680098400000,0,0,0,0]"
},
"R6": {
"serializedValue": "110400000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0,0,0]"
},
"R8": {
"serializedValue": "1d04020000020000020000020000",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[0,0],[0,0],[0,0],[0,0]]"
},
"R7": {
"serializedValue": "0c64044ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "ba2397a8af56b44883e8a6103b49f0fc49713d2075b01dfafa68e5c456d3257e",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 1000000,
"index": 4,
"globalIndex": 27865272,
"creationHeight": 970993,
"settlementHeight": 970995,
"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": "76c5fc3c3278e16c3efbc06b38a3d70d505cf67ff35c8aaf6f82fd325940093b",
"mainChain": true
},
{
"boxId": "d6a97c0ff935f6c7b7ea083f9513ce5c81edf724b04974d9318681a634e2418d",
"transactionId": "db922b3b39e50cae037fc79eb0e8a128b5dccac39e69806410c2b9725ca26104",
"blockId": "10d68eb425bb005563ca1ac0d547388cb94bdf7f40d400f39b144bdd1fdfb6f1",
"value": 29457600,
"index": 5,
"globalIndex": 27865273,
"creationHeight": 970993,
"settlementHeight": 970995,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [
{
"tokenId": "4034a9aeb8f66f59cb9faf6a6cce56d4d8b749e2d2407db6f0addac89fdfa00f",
"index": 0,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0dc600f850b0b25dec0ab025da9c47c4b6ee16b09812b7d1b4ac0ddf226fc4b5",
"index": 1,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1a78a870d006eb4b3f33806c49ec49772b6f43b2b13c5af0b6be61ff2fb52034",
"index": 2,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "92ba72996757a8171ea48874cdba30614262510f903b4fbdc2f3910635321cc7",
"index": 3,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5aeea1aaa113608601b203da9d199366301316146d7901b4a52433fd99a59d7d",
"index": 4,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "3aaca1ec502b78db74a0d95a8a4fba773cf8e48fe60a37c43d62a86e1dd0b1ec",
"index": 5,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "06353668a8d8a477df40fcad88fff79dabb70e4dd7e4e2d012a61139bd399ee2",
"index": 6,
"amount": 1,
"name": "anon the great",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001cce3f2b5f4a5cf637c08583148e8243517bedd74eaa93119d09b25df8608a",
"index": 7,
"amount": 1999999998999,
"name": "PaideiaAlpha",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "b6e71fb0b588ac047f65253cce5d12edc2fb29b64cddc0ebe5a119a95ecb186f",
"mainChain": true
}
],
"size": 6926,
"isUnconfirmed": false
}