Transaction
ID: f6fb3ebc88...e6dc
Inputs (5)
Spent
Address:
Output transaction:
Settlement height:
Value:
1 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
1,106,369.24
Spent
Address:
Output transaction:
Settlement height:
Value:
35.24 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
563,289.89
Outputs (6)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
1 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
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.1 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.00235 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
35.16 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 362,087
Total coins transferred: 36.26 ERG
Fees: 0.00235 ERG
Fees per byte: 0.000000375 ERG
Raw Transaction Data
{
"id": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"inclusionHeight": 1403524,
"timestamp": 1732549569544,
"index": 4,
"globalIndex": 8121547,
"numConfirmations": 362087,
"inputs": [
{
"boxId": "c8d26948970a5d896d309fd7135e5ef862c0f8dfe58edf61c5ff8d0452b2c9fb",
"value": 1000250000,
"index": 0,
"spendingProof": null,
"outputBlockId": "780e7fb77e857d3c053f040ea5b7554127321be8f19c4d79a678188a4e0cefd2",
"outputTransactionId": "9a6d0fd7b70a0c631623f00ae48a6483d3eb7d0201400f4161df1cef2cee2722",
"outputIndex": 0,
"outputGlobalIndex": 44177985,
"outputCreatedAt": 1403256,
"outputSettledAt": 1403258,
"ergoTree": "10010e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f07d80ed60183200202de02ae02cf025b026402ba02d602f50257020b02ad020a0261020c024e02480249025702cf0247028202300284020002bc02900240024c021d0214021002dad602d9010263e4c672020464d603d901033c0c630eb58c720301d9010563aedb63087205d901074d0e938c7207018c720302d604b2da7203018602db6501fe7300040000d605e3010ed606d9010632b4e4720604020442d607d9010763b2db63087207040000d608da720701a7d609b2da7203018602a58c720801040000d60ad9010a63b2db6308720a040200d60bd9010b0ed801d60ddc640bda72020172040283020e7201720be472059683020193b1dad9010e3c0c630eb58c720e01d901106393cbc272108c720e02018602a4da720601b2720d0402000402dad9010e0e9683030193cbc27209720e93da72070172097208938cda720a017209018cda720a01a70101da720601b2720d040000d60ce4e30002d60ddc0c1aa402a70400d60ed9010e05958f720e0580020402958f720e058080020404958f720e05808080020406958f720e0580808080020408958f720e05808080808002040a958f720e0580808080808002040c958f720e058080808080808002040e958f720e0580808080808080800204100412d197830801dad9010f029593720f0200da720b0183200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242010001720cdad9010f029593720f0202da720b01832002028b02c7028f021c026a02ae02c9021e0262028e021502cf0266028c021602cc021e029b02d802e402b902b702e1026d0263021802b502f5022302a502e902bd010001720cdad9010f029593720f0201da720b01832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280010001720cdad9010f029593720f0203da720b01832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c5010001720cdad9010f029593720f0204da720b018320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2010001720cdad9010f029593720f0205da720b01832002023a02110295025c0247021902e5028802bc02e602a70261021d022702bd021f02df02db02570238025c02ae02e2026602d80204020c0289024f021c022e021d010001720cdad9010f029593720f0206da720b0183200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e010001720cdad9010f029593720f0207dad901113c0e639592720db1a50100d809d613b2a5720d00d614c17213d615c1a7d616c27213d617c4a7d618c2a7d6198cc7a701d61ac47213d61b8cc772130196830401927214997215058092f40193cb7216da720601b2dc640bda7202018c7211020283010e8c721101e5720583000204000093b472179a9ada720e017215b17218da720e017e721905b17217b4721a9a9ada720e017214b17216da720e017e721b05b1721a978302019299721b72190480c33d947218721601860272017204010001720c",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)",
"ergoTreeScript": "{\n val coll1 = Coll[Byte](\n -34.toByte, -82.toByte, -49.toByte, 91.toByte, 100.toByte, -70.toByte, -42.toByte, -11.toByte, 87.toByte, 11.toByte, -83.toByte, 10.toByte, 97.toByte, 12.toByte, 78.toByte, 72.toByte, 73.toByte, 87.toByte, -49.toByte, 71.toByte, -126.toByte, 48.toByte, -124.toByte, 0.toByte, -68.toByte, -112.toByte, 64.toByte, 76.toByte, 29.toByte, 20.toByte, 16.toByte, -38.toByte\n )\n val func2 = {(box2: Box) => box2.R4[AvlTree].get }\n val func3 = {(tuple3: (Coll[Box], Coll[Byte])) =>\n tuple3._1.filter({(box5: Box) => box5.tokens.exists({(tuple7: (Coll[Byte], Long)) => tuple7._1 == tuple3._2 }) })\n }\n val box4 = func3((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)\n val opt5 = getVar[Coll[Byte]](1.toByte)\n val func6 = {(opt6: Option[Coll[Byte]]) => opt6.get.slice(1, 33) }\n val func7 = {(box7: Box) => box7.tokens(0) }\n val tuple8 = func7(SELF)\n val box9 = func3((OUTPUTS, tuple8._1))(0)\n val func10 = {(box10: Box) => box10.tokens(1) }\n val func11 = {(coll11: Coll[Byte]) =>\n val coll13 = func2(box4).getMany(Coll[Coll[Byte]](coll1, coll11), opt5.get)\n allOf(\n Coll[Boolean](\n {(tuple14: (Coll[Box], Coll[Byte])) => tuple14._1.filter({(box16: Box) => blake2b256(box16.propositionBytes) == tuple14._2 }) }(\n (INPUTS, func6(coll13(1)))\n ).size == 1, {(coll14: Coll[Byte]) =>\n allOf(Coll[Boolean](blake2b256(box9.propositionBytes) == coll14, func7(box9) == tuple8, func10(box9)._1 == func10(SELF)._1))\n }(func6(coll13(0)))\n )\n )\n }\n val b12 = getVar[Byte](0.toByte).get\n val i13 = INPUTS.indexOf(SELF, 0)\n val func14 = {(l14: Long) =>\n if (l14 < 128L) { 1 } else {\n if (l14 < 16384L) { 2 } else {\n if (l14 < 2097152L) { 3 } else {\n if (l14 < 268435456L) { 4 } else {\n if (l14 < 34359738368L) { 5 } else {\n if (l14 < 4398046511104L) { 6 } else { if (l14 < 562949953421312L) { 7 } else { if (l14 < 72057594037927936L) { 8 } else { 9 } } }\n }\n }\n }\n }\n }\n }\n sigmaProp(\n anyOf(\n Coll[Boolean](\n {(b15: Byte) =>\n if (b15 == 0.toByte) {\n func11(\n Coll[Byte](\n 3.toByte, -110.toByte, 8.toByte, -68.toByte, 78.toByte, -17.toByte, -102.toByte, 3.toByte, -24.toByte, -41.toByte, -117.toByte, -122.toByte, 99.toByte, -93.toByte, 1.toByte, -69.toByte, 95.toByte, -83.toByte, -36.toByte, -89.toByte, -117.toByte, -31.toByte, -99.toByte, 127.toByte, -27.toByte, 53.toByte, -77.toByte, -58.toByte, 76.toByte, -66.toByte, -2.toByte, 66.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 2.toByte) {\n func11(\n Coll[Byte](\n -117.toByte, -57.toByte, -113.toByte, 28.toByte, 106.toByte, -82.toByte, -55.toByte, 30.toByte, 98.toByte, -114.toByte, 21.toByte, -49.toByte, 102.toByte, -116.toByte, 22.toByte, -52.toByte, 30.toByte, -101.toByte, -40.toByte, -28.toByte, -71.toByte, -73.toByte, -31.toByte, 109.toByte, 99.toByte, 24.toByte, -75.toByte, -11.toByte, 35.toByte, -91.toByte, -23.toByte, -67.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 1.toByte) {\n func11(\n Coll[Byte](\n -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 3.toByte) {\n func11(\n Coll[Byte](\n 79.toByte, -40.toByte, -80.toByte, -42.toByte, -39.toByte, -126.toByte, 66.toByte, 114.toByte, 111.toByte, 87.toByte, -77.toByte, -33.toByte, -90.toByte, -122.toByte, 18.toByte, 103.toByte, -110.toByte, -72.toByte, -27.toByte, 5.toByte, 110.toByte, 29.toByte, 81.toByte, -74.toByte, -23.toByte, 13.toByte, 104.toByte, -128.toByte, -49.toByte, 45.toByte, -51.toByte, -59.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 4.toByte) {\n func11(\n Coll[Byte](\n -119.toByte, 46.toByte, 111.toByte, 71.toByte, -95.toByte, 13.toByte, 92.toByte, -112.toByte, -72.toByte, 122.toByte, -44.toByte, -122.toByte, 51.toByte, 85.toByte, -50.toByte, -83.toByte, 0.toByte, -61.toByte, -30.toByte, -104.toByte, 50.toByte, 23.toByte, -18.toByte, 21.toByte, 83.toByte, 50.toByte, 83.toByte, -51.toByte, -102.toByte, 96.toByte, 37.toByte, -62.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 5.toByte) {\n func11(\n Coll[Byte](\n 58.toByte, 17.toByte, -107.toByte, 92.toByte, 71.toByte, 25.toByte, -27.toByte, -120.toByte, -68.toByte, -26.toByte, -89.toByte, 97.toByte, 29.toByte, 39.toByte, -67.toByte, 31.toByte, -33.toByte, -37.toByte, 87.toByte, 56.toByte, 92.toByte, -82.toByte, -30.toByte, 102.toByte, -40.toByte, 4.toByte, 12.toByte, -119.toByte, 79.toByte, 28.toByte, 46.toByte, 29.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 6.toByte) {\n func11(\n Coll[Byte](\n 9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) => if (b15 == 7.toByte) { {(tuple17: (Coll[Byte], Box)) => if (i13 >= OUTPUTS.size) { false } else {(\n val box19 = OUTPUTS(i13)\n val l20 = box19.value\n val l21 = SELF.value\n val coll22 = box19.propositionBytes\n val coll23 = SELF.bytesWithoutRef\n val coll24 = SELF.propositionBytes\n val i25 = SELF.creationInfo._1\n val coll26 = box19.bytesWithoutRef\n val i27 = box19.creationInfo._1\n allOf(Coll[Boolean](l20 >= l21 - 2000000L, blake2b256(coll22) == func6(func2(tuple17._2).getMany(Coll[Coll[Byte]](tuple17._1), opt5.getOrElse(Coll[Byte]()))(0)), coll23.slice(func14(l21) + coll24.size + func14(i25.toLong), coll23.size) == coll26.slice(func14(l20) + coll22.size + func14(i27.toLong), coll26.size), anyOf(Coll[Boolean](i27 - i25 >= 504000, coll24 != coll22))))\n )} }((coll1, box4)) } else { false } }(b12)\n )\n )\n )\n}",
"address": "3bseGyneBTFGJrm7ueHQFcDckgh1hzMJL8avfTECXVZuTbMd8ED1EzqyB8YT5yVEpR4jMFj9JxcEMBmQoQ1jbMRH34SarPaaEnQmhX5M8K5hnwgP8xb1yAXowMsKcmS5n4t2n1yWHhAcCAcdfDJDhyzZrbToqy8o4uXRWyRm2sVy1mymUoXMrbnSRjkojNw9PTLyKPtT1VD3GScKyz8v8AhgTXT7LJvt2QLJJnoAReGRoL6vrYpz7934gMUdsmmxq99LRQoiayRBUvim8joSAFNQMWVvmoqzkfXc6mRFeFo1YXbaBEiwevrz3xrXiEtqUmf4UPAs4os8KNwjVwgAGUXrChA3jiFaQpecjyTzCEFQqCbXRShVvZUsnovbxRrDBndpLeoLM5taaqi9HRCgD2rV2mgrc6iq2d9ridyVLuSFXPXNCAZpZKqBw4hW7FcESsy1D84pxf8S5AKdgEwKXb1pE86F1TVzgcmbKhJMWmxk2k46EaUw43AfQR1p5Uf1BRQWd2nzGmNaGpZbxd9VoNDqstXuTei3TyTNDw7HnmawXEpmZggFaB1hi9qhrz5Wbyz1KP4znhsm8biLec9QrFfPuN5bkFCon2Jm6Y37xKpzX3dad3S7y5Kf8Zxo3rPUdqr5kVT7H91F3QJX67p7WoidR7Dr2LvLabUEa4wfVFvG8DA71ztAFX1daTNkyAEu7j4wQUUuBzmCC7MNFMXx3YKaPmpy7d3xKo88XzygRiZocW1QuDZmBcxhrYhyUpBRFzUrgDsjyfmWKi9HoWzdxrHhrrafE5xfPEaishpQEEV5MdXoCKLzgxZYAFTgRj38kiLLKFRXR74GrJWntdHvkULDdtye2G1SU3PA4Qub4C2XEMYgCPMRyT7J1ybd8aH254DRR3ecVK8y9qbps4JLgrnEdNWDWqQxzMqVXFJfejcdLjS1G3X5reRhHHBDn4fdvgpGT6eKxaavpKPGckyvPNhGZqVFCJPwzBKFtQk9Ntko7EcJCdNUDSL2KWrypwcvScqrEJXyUYPMpVMP8uugEwbKRoMvn6C8xUF9bjkx7v5smugVGTiuYNYgN1EjEPUw93W9FejBStQCFgoxY7b6q5jWMfScki3oDL3fscQS7ZJBu3GmwZGC5Am5Av4TDVXXY6Rw7dS9gipoudeBnKehFXqPeGyKFuYQ16HgzfAMXvp9MF2cVYTZBhHPcugbDVugaYTUSaPtKAihhHjCj8D4LZBxEB3Zun72DrUb9dwbK2vt7RYcAmULa9wz4FyvYcjrqBNnAB3GgWnCMFEWZh2vg6hgEcCKDo7Dd9f1jSqRfnPHakJ8JdCX2mHpzSzBaNsvgWFqab5uqUQpXTKh39igGvEgNRizzHLtLEJ7ioFTMuQHZ3JAHpdSESSGDnsPR7dZ6aQLjN4wa2rNsFTG6x3muDVcvKZWNyiT3DtK7cvoNEvW8Km7e3Uc3kywaZnFrvJAYqfWxZdHQ2pKJcjhs8maFGm9dYkTP39sQ9uFzECahFRqy6WNrcsVuucw66i6cgWtHAR5oomf89fqskYrr55PoqcnAETCCqaHA3wD8ccXjvzKJwgnFCLX2ypBeXBumGgciu9EaGkZ3LJcodf8grpvjmZgPoNZKqQRNzGycFGm21YHEcjk98VaBNDFd9vArSvTtWrqq4xZmaeusHtE52ddnZNDTmt5jvS6QAJ8bd4bKvomrZ6fDX1r9nHydMaJCfqMxyHPEJT7gtJFPmFKoRjv7n5xDSM5yy6RAK5jVKf1fTD2F3uLuVs4AdEvdYvBBW8HKkpAUS9QjQqQaFwE9pP8uwKr",
"assets": [
{
"tokenId": "233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573",
"index": 0,
"amount": 1,
"name": "Paideia Stake State",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 1,
"amount": 472080150229,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "110780c8a3aaee6486c4b39dbd1b420000a2f7a705a0c21e",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1732795200000,472074580227,33,0,0,5570001,250000]"
},
"R6": {
"serializedValue": "1d0501ceefa390d912010401aeccf7d40801140114",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[321200094183],[2],[1162801943],[10],[10]]"
},
"R8": {
"serializedValue": "11020000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0]"
},
"R7": {
"serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000e2aa617c800848a97b47fdb18925b6d8f8798853d4bffef34412066ffc2ab84502072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "0c64020d5da8bf6ac45c59066cc146bdedc99f781cb4391cc123e280da9e4a7b66963a060720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "49fa764baa03660d31e019c9e011db56a6896bb73b1fb95bfc50704db61a2180",
"value": 1000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "be09ad87c7a87a35ac33c00ed7c044a06606780afb572e7763ae40d746bd2fc6",
"outputTransactionId": "f54e3bdefdbef4119133b7c1d55d7570d931c6a672f5fb8e44735548fe74174a",
"outputIndex": 1,
"outputGlobalIndex": 44082214,
"outputCreatedAt": 1401074,
"outputSettledAt": 1401077,
"ergoTree": "10020e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e20233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d81fd601e4e3010c3c0e0ed602b27201040000d6038c720201d604d901040e7cb4720404100420d6058c720202d606da7204017205d607d9010763b2e4c67207040c64040000d608d901083c0c630eb58c720801d9010a63aedb6308720ad9010c4d0e938c720c018c720802d6097301d60ab2da7208018602a47209040000d60bda720701720ad60ce4e3020ed60de4dc640a720b027203720cd60eda720401720dd60f997206720ed610d9011063b2db63087210040200d611b2da7208018602a57209040000d612d9011263b2e4c672120511040200d613d901130eaddb0c0eb4721304009d99b1721304200410d9011504d801d6179c721504107cb472139a721704209a9a721704100420d614b3830105720eda721301720dd615b38301057206da7213017205d616dc0c1d7214017215d617d9011763b2e4c67217040c64040200d618d9011863d801d61ae4c672180511b4721a040ab1721ad619d9011963b2e4c672190511040000d61ad9011a63b2e4c6721a0511040400d61bd9011b63b2e4c6721b0511040600d61cd9011c63b2e4c6721c0511040800d61dd9011d63e4c6721d061dd61ed9011e63e4c6721e070c3c6464d61fd9011f63e4c6721f0811d196830901dad901203c0c630eae8c722001d9012263aedb63087222d901244d0e938c7224018c722002018602a57203ed93720f998cda7210017211028cda721001720a0293720f99da7212017211da721201720a93b17201040293db6401e4dc640d720b027201720cdb6401da7207017211afb472160402b17216d9012059d801d6228c722002ed928c722001722292722205009399b27214040200b2721504020099c1720ac1721192c1b2dad901203c0c630eb58c722001d901226393cbc272228c722002018602a5dad9012032b4e472200402044201b2dc640bdad9012063e4c67220046401b2da7208018602db6501fe73000400000283010e832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280e4e3000e040000040000c1a79683090193da7217017211da721701720a93da7218017211da721801720a93da7219017211da721901720a93da721a017211da721a01720a93da721b017211da721b01720a93da721c017211da721c01720a93da721d017211da721d01720a93da721e017211da721e01720a93da721f017211da721f01720a927206720e",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n1: Coll(35,53,54,38,26,-40,-110,11,-123,100,77,48,-1,-8,-26,-116,71,4,112,19,-119,80,49,122,-43,32,-77,0,-24,-63,-27,115)",
"ergoTreeScript": "{\n val coll1 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n val tuple2 = coll1(0)\n val coll3 = tuple2._1\n val func4 = {(coll4: Coll[Byte]) => byteArrayToLong(coll4.slice(8, 16)) }\n val coll5 = tuple2._2\n val l6 = func4(coll5)\n val func7 = {(box7: Box) => box7.R4[Coll[AvlTree]].get(0) }\n val func8 = {(tuple8: (Coll[Box], Coll[Byte])) =>\n tuple8._1.filter({(box10: Box) => box10.tokens.exists({(tuple12: (Coll[Byte], Long)) => tuple12._1 == tuple8._2 }) })\n }\n val coll9 = placeholder[Coll[Byte]](1)\n val box10 = func8((INPUTS, coll9))(0)\n val avlTree11 = func7(box10)\n val coll12 = getVar[Coll[Byte]](2.toByte).get\n val coll13 = avlTree11.get(coll3, coll12).get\n val l14 = func4(coll13)\n val l15 = l6 - l14\n val func16 = {(box16: Box) => box16.tokens(1) }\n val box17 = func8((OUTPUTS, coll9))(0)\n val func18 = {(box18: Box) => box18.R5[Coll[Long]].get(1) }\n val func19 = {(coll19: Coll[Byte]) => coll19.slice(0, coll19.size - 16 / 8).indices.map({(i21: Int) =>\n val i23 = i21 * 8\n byteArrayToLong(coll19.slice(i23 + 16, i23 + 8 + 16))\n }) }\n val coll20 = Coll[Long](l14).append(func19(coll13))\n val coll21 = Coll[Long](l6).append(func19(coll5))\n val coll22 = coll20.zip(coll21)\n val func23 = {(box23: Box) => box23.R4[Coll[AvlTree]].get(1) }\n val func24 = {(box24: Box) =>\n val coll26 = box24.R5[Coll[Long]].get\n coll26.slice(5, coll26.size)\n }\n val func25 = {(box25: Box) => box25.R5[Coll[Long]].get(0) }\n val func26 = {(box26: Box) => box26.R5[Coll[Long]].get(2) }\n val func27 = {(box27: Box) => box27.R5[Coll[Long]].get(3) }\n val func28 = {(box28: Box) => box28.R5[Coll[Long]].get(4) }\n val func29 = {(box29: Box) => box29.R6[Coll[Coll[Long]]].get }\n val func30 = {(box30: Box) => box30.R7[Coll[(AvlTree, AvlTree)]].get }\n val func31 = {(box31: Box) => box31.R8[Coll[Long]].get }\n sigmaProp(\n allOf(\n Coll[Boolean](\n {(tuple32: (Coll[Box], Coll[Byte])) =>\n tuple32._1.exists({(box34: Box) => box34.tokens.exists({(tuple36: (Coll[Byte], Long)) => tuple36._1 == tuple32._2 }) })\n }((OUTPUTS, coll3)), (l15 == func16(box17)._2 - func16(box10)._2) && (l15 == func18(box17) - func18(box10)), coll1.size == 1, avlTree11.update(\n coll1, coll12\n ).get.digest == func7(box17).digest, coll22.slice(1, coll22.size).forall({(tuple32: (Long, Long)) =>\n val l34 = tuple32._2\n (tuple32._1 >= l34) && (l34 >= 0L)\n }), coll20(1) - coll21(1) == box10.value - box17.value, {(tuple32: (Coll[Box], Coll[Byte])) =>\n tuple32._1.filter({(box34: Box) => blake2b256(box34.propositionBytes) == tuple32._2 })\n }(\n (\n OUTPUTS, {(opt32: Option[Coll[Byte]]) => opt32.get.slice(1, 33) }(\n {(box32: Box) => box32.R4[AvlTree].get }(func8((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)).getMany(\n Coll[Coll[Byte]](\n Coll[Byte](\n -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n )\n ), getVar[Coll[Byte]](0.toByte).get\n )(0)\n )\n )\n )(0).value >= SELF.value, allOf(\n Coll[Boolean](\n func23(box17) == func23(box10), func24(box17) == func24(box10), func25(box17) == func25(box10), func26(box17) == func26(box10), func27(\n box17\n ) == func27(box10), func28(box17) == func28(box10), func29(box17) == func29(box10), func30(box17) == func30(box10), func31(box17) == func31(box10)\n )\n ), l6 >= l14\n )\n )\n )\n}",
"address": "KS83rEDqNbxbSBrKGby5K8aoAZUDouDXM5ddZMA4nThXrNSVR9LU3V62HCxHrGsASSWAqcSs3rCX3jFczkuBK8PidSJD5KtDmsZ68ub3G2bwgAWoyYotyxu4UrfiBMGWJDDxn9HcBn5b1TfVGRX8tC1S7b4rav5x41dNPT5kgN5wy6tBsbBBZimaF4N42s7ZCBucFeCADuAdiptt8GNTk9UdYp6cNjhVYXJbyAa1b1FceL4iVPLV8kSJDMukTfQWyfyjfbMQFSX92DK1fTMS524ii3qhKhPuoYLEqUqFc3q5Wu3EXhSWCmBf8a8ZwzBjYEzEgRNbBMEAuHzy2PvM91nyrfPorda9RCLTHbhHmLW1XA4XXwNMNcGmCrQPpWmn1eCr1W7aARVGsSCn5PNb52LAYG9izUPLuu3PBxjnARRTeRs9va7d99nShjD8Kyev1FxAXgtpyCncDko1EiDbq3Q2WEZDhb4NoZUmMMdDP958E9CF1GsZmvRSDa56mesQUiP6kcdrF3UCoSkrLqTBVm8CXLFuZjaYnTURLi5hnuXSaPy9sbtiwctq2FP6XWZMfTpVRkUE1jFFhAGW27Vs8PcykRLm5srAgrNRSyoVcD8fJ15pKQQMQTLuRECVcDzzSUquu19A6ki2mHPjgTgenq1EQtM7UZBcckPaKzdFrJ34fHLcXrvb7eDB1nPVyk7f6zj6HUqSrYKA7DtMwFbo8oTD2AZtEZFNTSCxtvw2EvYjkXGMFKsjtpxn7YYDRszMFqhkyoveJ8zHpUkmFrN4VmKPraxy6Wn5fNZtKuR6PoCJSyNDsdRXf9RZktakfnNDVi7w2D9FgU7NYfEc18xADHC14mqhD6CNfqg2iw1Wqcp7GAnLAhomXqEqRnQRQ3G1g4A4LvTLR1U2wGcTHMpAcrtHCQHSu97wWQVKJenLFc5U8bX89ZNE8V4C7oKqSC1Gv2fdZB8WKB63imVib3EJCtKuEMLLgpFcwfVZTLsJSj63wpQKE2vKVSieuFgamuqxUKME3jtAMUcFwkcxsz3soedovVtozN1X7H1rCgFr7tjU8wCBEcjBqQhPgfn3MwMMAqjo1qXufomWWteecVcZk49jaf5gyzSfbBh5KpoAZfNYDWti7Y5YFNQRtcyHY2wbppXg4tB2X3TA4TiKwYKN2LMJBBNjpmVkGM4rZB2iKJFue3YUpZEhf2gYmhhjdS1LvNnLrkYxJbvBfeyPm1M8NvRf8DkKXstWQuAwQkdZMFERYVCkZnfzLhH57XFU4LiT8UoCTbuYQqpqZvk3wBYpMpV8BXJSxqPWkRzXJRYdPLzpfJgEeCG1SWXfxbXFLKF",
"assets": [],
"additionalRegisters": {}
},
{
"boxId": "3f4a4508dab716dbbf3a0203fb6c2a1cdb9fc24b71f03caeecd9ce666c713c71",
"value": 10000000,
"index": 2,
"spendingProof": "aae5d57d824725d8058dc617179bcbdf53dec4904659f41e8a2f5d09fa9e725ddfa4e34f1a54b5c64131beb048a22994033b46316dedc671",
"outputBlockId": "efef5b51c04b9912332c4ba2c46851972e42cdc59e4ad91a592bb25603797aeb",
"outputTransactionId": "08f1e6cd26d5450f5fe041fc4629e60495d82a96d6e1faaf0d5abf1bf7f55af4",
"outputIndex": 1,
"outputGlobalIndex": 44017979,
"outputCreatedAt": 1399296,
"outputSettledAt": 1399298,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 11063692447,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "b12f01280953b9771702385bb180998ede3d78c190c1d69caf1c58996147646e",
"value": 35241550000,
"index": 3,
"spendingProof": "2e445e15aeefd0581a9a3a0e489d45f59e8260ee797df411f04f0eaacc1d556402902e1548b63774e2622fb3fadc7e5d69206e077b03a1b4",
"outputBlockId": "7e6902a4f563f43a8fe285f0dd08fb35cd412e14a0d37d40d058288995d27b65",
"outputTransactionId": "925a8545468a696028fbdeacc86f67a03097cbe830adbd96d49918ecaa962df9",
"outputIndex": 2,
"outputGlobalIndex": 44018764,
"outputCreatedAt": 1399299,
"outputSettledAt": 1399304,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "bae94208ca35fce1ce1e7cf255c382a367d4cfe4ffa434eb05fcc263f093d703",
"index": 0,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "69f8903ea6628d4529b13abb1e5acd038dc610e27b9b178ef63d968075168d19",
"index": 1,
"amount": 1,
"name": "Paideia Membership",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "63eb221691522c3e3de75cae3c6efd842f978a7d5df892f9a0022139d6ffe174",
"index": 2,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f34ff0390f90c4279e57196e32a918f56a9dbe5e3380b199400cc0a193d5ce2b",
"index": 3,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "81a98058292af00d4456ea6f0b1ee8d5a16b91462ef28ae1d94fc75c207b778f",
"index": 4,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "035244479c32d470cd21e24fc6497c635689e2ce65a6a5c4abb06b0010bf97a6",
"index": 5,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "3efbd9478e622f9c5f969649d24fbb47c8b32f716354c50704debbf4870d2b2a",
"index": 6,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "69df56f30e1a2b8eae2f61b5b36c2bafd274fe663b692ece2719427f79fc6355",
"index": 7,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d2f4dcf4bb04926e6641206b316380419eb502e507a1e2eb0a5c5e6480235488",
"index": 8,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7e64d8a6dfc05865c9305bbccd2ac519e040d258bff7df13c4b708097a1fd571",
"index": 9,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c0d3f46872652bc320c9060376b75f485d7ed9c39d178cdb76ef2b53a2ab4889",
"index": 10,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ff06980016509a79e4d525ad8a606657d8357f86b5aa5b8a613e9e5d60452fdb",
"index": 11,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f72f6b8479683372d878d48b5ba2f4301d4546d2b7f6630fb5b79c1957269f58",
"index": 12,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "6ea1c90547daba01590579388dccfd8d2814429af089cb77cebafea6748eb886",
"index": 13,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ca5eb853bfea182fea031c6869d3bd90b3919c7fb6fdef1d28bc29a1cc8cc4d8",
"index": 14,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "709f43bbba14fc5be57f02ab8c4f3ca3018b4212bc45c281c1ebab5ed18de3c9",
"index": 15,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "619232857fdc455d040b32f4423624ca982fdd3fecd986c29d1361f5a8653edb",
"index": 16,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "b738978590eed6dd69db33b5d759ae78324234dfc6e8b2763e80994dc9fee378",
"index": 17,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0e882df5bd1f754fdbd0a74a46375a70029952271d9271a167f73559dca6746e",
"index": 18,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "54ca811c6eb92b9466a7888cf5fd179b031a7ba56ac6ec926129f88d713175b6",
"index": 19,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2f8759e56fcd22489875a878f039d5c62bd4dd762b504f1cd904620ece6ee15b",
"index": 20,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 21,
"amount": 22567900384,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "f7786ee7cc975d7f06eb76116f709d5e4709b62447775c35ab8bfd69407e8e4e",
"index": 22,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e9dea3ab1f9392d4df19b28d25fe881f3e4f0f1aeaab2f17c0fee6f87aa415f1",
"index": 23,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5110dd8256561d23947a4d38f2cc49766cad91d935aa6d790fca4ea4fd75b477",
"index": 24,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "137cce237089e9707fbde1c3146d8150c8a91585e3241dde9e054600da152efd",
"index": 25,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "8ac38a58d4fd880dfef60a857e7efb367992e5a1030f5d4bb718774de217b17a",
"index": 26,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c1a92dd048cab925013cd9e4aafe76aec8d7b39f4117896086ce28732c2b4cf3",
"index": 27,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5d5952dfeab618d614ad5083b804c7109a8e126f8aa416866f2542413528861",
"index": 28,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7cab4c64ceb9573a8701fefb79c1bace5bb57ad5ce596968278c631abff930b0",
"index": 29,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2852b035d7d933790ae0fcecc63a4a536ff8401527ca44ee3cb714546b461918",
"index": 30,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ed967d299aaace31b75ca7f91e45993d943444a722f3651976cbf135e7d2dea8",
"index": 31,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "52e5c5e90533166e33a96a4ef92e61aba81c59bc378b7607976fb160cab7700c",
"index": 32,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "21593cb3d410276c74a3253f2f66e14a764803572f76e6e139c42ea094f392b4",
"index": 33,
"amount": 1,
"name": "Mew Kitty #1",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d5c5478a9089337c5e288f945df194f163aa2b133e680c4d362134971b1b5dd5",
"index": 34,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1a1fcbf7107e0a51cfcb127d0d6657a4c895dcab3f5600b1fc5fa3442a05f999",
"index": 35,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "fd00f565f9ccb389ad63cd524cb58524a53bd6e0a1bc52f464de95b925c74849",
"index": 36,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5df16128f79a55fb87b8f3c8adefcb4685851b00da44660313172a13e3f3b262",
"index": 37,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4b81280e7e00f208036a2f004efcfde86d654e76554124e2acf64f59e48a2bc5",
"index": 38,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "18c938e1924fc3eadc266e75ec02d81fe73b56e4e9f4e268dffffcb30387c42d",
"index": 39,
"amount": 13826067516,
"name": "AHT",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "58844640b72f26db5fd50aae0aff305cf023beef998f0ad552e8e7e615c5abf9",
"index": 40,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f94918ff381de07f67d1b4f10258889953edf81274bb10ba12125bf1861e8407",
"index": 41,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "ce35ffe6079653ae455d6a26440537da8d4e9bcc33d85e82c529094efab41358",
"value": 10000000,
"index": 4,
"spendingProof": "bcf341e5217475f6091998ec8c1308d0693974b259a89348235a55c1306ef2c3a5a83f8eb525a08ed23500a677d43c4ebc83ce67e60c6d58",
"outputBlockId": "7e6902a4f563f43a8fe285f0dd08fb35cd412e14a0d37d40d058288995d27b65",
"outputTransactionId": "2f031f39ff4b946eca94d59293d9685db50df51b2aa25098ccbfb034cf49e313",
"outputIndex": 1,
"outputGlobalIndex": 44018766,
"outputCreatedAt": 1399302,
"outputSettledAt": 1399304,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 5632898911,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [
{
"boxId": "c7baf7aa15e04009659daf60b105853d25bda942b2d211c0acce29f425e0e8b4",
"value": 1000000000,
"index": 0,
"outputBlockId": "0418d52ec9513d7870be3999b219e18576c665fb918f7b901546a3e444e968f3",
"outputTransactionId": "d61d91c4d6db25755c9999c1420e657fcd053e1e44bd11d640180a38447b4b10",
"outputIndex": 0,
"ergoTree": "10010e20000653ab0e7fb89bfa221d75bd25aed8b98e0bac66a13aa229caf5855128d33ad808d601d901013c0c630eb58c720101d9010363aedb63087203d901054d0e938c7205018c720102d602d9010263e4c672020464d60383200202a90255028e0241028602cb02d502aa0257022302a8025202d402c102dc0265027d029e02810243028202ff0288028d025a028a02ec0252021502310230021dd604e3010ed605d9010532b4e4720504020442d606e4e30002d607dc0c1aa402a70400d608d9010805958f72080580020402958f7208058080020404958f720805808080020406958f72080580808080020408958f720805808080808002040a958f72080580808080808002040c958f7208058080808080808002040e958f72080580808080808080800204100412d197830201dad9010902959372090208d802d60bb2da7201018602a5dad9010b638cb2db6308720b0400000101a7040000d60cdc640bda720201720b0283020e7203cbb3831c020269026d022e0270026102690264026502690261022e0263026f026e027402720261026302740273022e0261026302740269026f026e022ec2b2da7201018602a47300040000e472049683040193db6308a7db6308720b90c1a7c1720b93cbc2720bda720501b2720c040000e6b2720c0402000100017206ed9372060207dad901093c0e6395927207b1a50100d809d60bb2a5720700d60cc1720bd60dc1a7d60ec2720bd60fc4a7d610c2a7d6118cc7a701d612c4720bd6138cc7720b019683040192720c99720d058092f40193cb720eda720501b2dc640bda7202018c7209020283010e8c720901e5720483000204000093b4720f9a9ada720801720db17210da7208017e721105b1720fb472129a9ada720801720cb1720eda7208017e721305b17212978302019299721372110480c33d947210720e0186027203a7",
"address": "GcZsF8aUAtTocXk59PirRHW3rrM557qMPUguPw1GhqmP3juthaW1A2348h7AQnudG94j2pWu7HrEQJW4HxXsnjj1drFaAse32XWZzyBg8gU9dkaWM49PVoH4sS8DNV69EhpjMt3oZnvnbAMTYNpKCZuW2EdTqpff5qF8ThXZoACGssncq87LSko8Q4v4TFXszK8ZTmeZbxEiz3Df1Y3R34hvi5vqGLGDzERpmQDMqLiWDscz33bzckF7ykkYnBXJACgBU2kPbc1rgqXSSTccb51B3pKDykiP2Y9KaRSp692RWzDwx2QSWc8VJPobs7pGvyKEKHBVXEGGNXeysxHZAP111TZsoUn7QbRH5XpCDQte5oppcPyCDDS5K6T1CEXRPXiTu5hXcyu1fPwht12FCcooCPMQvkp4D7FJzpZU8VaDcztVARN9rzaMBYWPrxVm4oeYtZo1DbsxciaHW9DasVjqTvRzNMz5BdCbXQmGRmkCW9PfmMrxqC24mpBsymh18fbFJtTGPnjXxDkLTrVcYEU5G3fEKfVn1f4JMK4dzBLHRbou19nsVpdo49TKW1RFfob1fHCrhcSjuXfbp7XVvrcN5xGMVHg3UiMWpBEh2evgwLQR7wfwy4Dim4hU8uFfxAxRiivWBgeokvgGYjQ4TL7f8ZZCzss1J6hDk3mWpcboBYtWbXtARguo2cBEcVQhrQM65LcEKCLhH8kL29WkHwNnmtvVL7sQ3CCbi2tCEsceU48VH7W4dDHZj626YALMbLxPQk8Gyw5KcXvYRYfHBNUE6GUq7coDJQrVtMFfiiuoNsoE5PjKEACQkTyADN7JyD7Lu11Lw277KqfNqWMP3fiuagCdCStQj3fMQWin1TFyxCVGMY5q69HkHKzB24tqDG5ddPq7eMACRbQJ7SWar5YnhBn2qbDMXJYf1vv7UUhxcQmG9aH",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "64d3174f84b0875f9d744550d47502179c2bd87479c9dc913ebc3e0615de012b3d07072000",
"sigmaType": null,
"renderedValue": null
}
}
}
],
"outputs": [
{
"boxId": "9d50cbf61408585fcad77995437d5b74e19742770fdf7e98f27bfa583ae6019c",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 1000250000,
"index": 0,
"globalIndex": 44187255,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"ergoTree": "10010e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f07d80ed60183200202de02ae02cf025b026402ba02d602f50257020b02ad020a0261020c024e02480249025702cf0247028202300284020002bc02900240024c021d0214021002dad602d9010263e4c672020464d603d901033c0c630eb58c720301d9010563aedb63087205d901074d0e938c7207018c720302d604b2da7203018602db6501fe7300040000d605e3010ed606d9010632b4e4720604020442d607d9010763b2db63087207040000d608da720701a7d609b2da7203018602a58c720801040000d60ad9010a63b2db6308720a040200d60bd9010b0ed801d60ddc640bda72020172040283020e7201720be472059683020193b1dad9010e3c0c630eb58c720e01d901106393cbc272108c720e02018602a4da720601b2720d0402000402dad9010e0e9683030193cbc27209720e93da72070172097208938cda720a017209018cda720a01a70101da720601b2720d040000d60ce4e30002d60ddc0c1aa402a70400d60ed9010e05958f720e0580020402958f720e058080020404958f720e05808080020406958f720e0580808080020408958f720e05808080808002040a958f720e0580808080808002040c958f720e058080808080808002040e958f720e0580808080808080800204100412d197830801dad9010f029593720f0200da720b0183200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242010001720cdad9010f029593720f0202da720b01832002028b02c7028f021c026a02ae02c9021e0262028e021502cf0266028c021602cc021e029b02d802e402b902b702e1026d0263021802b502f5022302a502e902bd010001720cdad9010f029593720f0201da720b01832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280010001720cdad9010f029593720f0203da720b01832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c5010001720cdad9010f029593720f0204da720b018320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2010001720cdad9010f029593720f0205da720b01832002023a02110295025c0247021902e5028802bc02e602a70261021d022702bd021f02df02db02570238025c02ae02e2026602d80204020c0289024f021c022e021d010001720cdad9010f029593720f0206da720b0183200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e010001720cdad9010f029593720f0207dad901113c0e639592720db1a50100d809d613b2a5720d00d614c17213d615c1a7d616c27213d617c4a7d618c2a7d6198cc7a701d61ac47213d61b8cc772130196830401927214997215058092f40193cb7216da720601b2dc640bda7202018c7211020283010e8c721101e5720583000204000093b472179a9ada720e017215b17218da720e017e721905b17217b4721a9a9ada720e017214b17216da720e017e721b05b1721a978302019299721b72190480c33d947218721601860272017204010001720c",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)",
"ergoTreeScript": "{\n val coll1 = Coll[Byte](\n -34.toByte, -82.toByte, -49.toByte, 91.toByte, 100.toByte, -70.toByte, -42.toByte, -11.toByte, 87.toByte, 11.toByte, -83.toByte, 10.toByte, 97.toByte, 12.toByte, 78.toByte, 72.toByte, 73.toByte, 87.toByte, -49.toByte, 71.toByte, -126.toByte, 48.toByte, -124.toByte, 0.toByte, -68.toByte, -112.toByte, 64.toByte, 76.toByte, 29.toByte, 20.toByte, 16.toByte, -38.toByte\n )\n val func2 = {(box2: Box) => box2.R4[AvlTree].get }\n val func3 = {(tuple3: (Coll[Box], Coll[Byte])) =>\n tuple3._1.filter({(box5: Box) => box5.tokens.exists({(tuple7: (Coll[Byte], Long)) => tuple7._1 == tuple3._2 }) })\n }\n val box4 = func3((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)\n val opt5 = getVar[Coll[Byte]](1.toByte)\n val func6 = {(opt6: Option[Coll[Byte]]) => opt6.get.slice(1, 33) }\n val func7 = {(box7: Box) => box7.tokens(0) }\n val tuple8 = func7(SELF)\n val box9 = func3((OUTPUTS, tuple8._1))(0)\n val func10 = {(box10: Box) => box10.tokens(1) }\n val func11 = {(coll11: Coll[Byte]) =>\n val coll13 = func2(box4).getMany(Coll[Coll[Byte]](coll1, coll11), opt5.get)\n allOf(\n Coll[Boolean](\n {(tuple14: (Coll[Box], Coll[Byte])) => tuple14._1.filter({(box16: Box) => blake2b256(box16.propositionBytes) == tuple14._2 }) }(\n (INPUTS, func6(coll13(1)))\n ).size == 1, {(coll14: Coll[Byte]) =>\n allOf(Coll[Boolean](blake2b256(box9.propositionBytes) == coll14, func7(box9) == tuple8, func10(box9)._1 == func10(SELF)._1))\n }(func6(coll13(0)))\n )\n )\n }\n val b12 = getVar[Byte](0.toByte).get\n val i13 = INPUTS.indexOf(SELF, 0)\n val func14 = {(l14: Long) =>\n if (l14 < 128L) { 1 } else {\n if (l14 < 16384L) { 2 } else {\n if (l14 < 2097152L) { 3 } else {\n if (l14 < 268435456L) { 4 } else {\n if (l14 < 34359738368L) { 5 } else {\n if (l14 < 4398046511104L) { 6 } else { if (l14 < 562949953421312L) { 7 } else { if (l14 < 72057594037927936L) { 8 } else { 9 } } }\n }\n }\n }\n }\n }\n }\n sigmaProp(\n anyOf(\n Coll[Boolean](\n {(b15: Byte) =>\n if (b15 == 0.toByte) {\n func11(\n Coll[Byte](\n 3.toByte, -110.toByte, 8.toByte, -68.toByte, 78.toByte, -17.toByte, -102.toByte, 3.toByte, -24.toByte, -41.toByte, -117.toByte, -122.toByte, 99.toByte, -93.toByte, 1.toByte, -69.toByte, 95.toByte, -83.toByte, -36.toByte, -89.toByte, -117.toByte, -31.toByte, -99.toByte, 127.toByte, -27.toByte, 53.toByte, -77.toByte, -58.toByte, 76.toByte, -66.toByte, -2.toByte, 66.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 2.toByte) {\n func11(\n Coll[Byte](\n -117.toByte, -57.toByte, -113.toByte, 28.toByte, 106.toByte, -82.toByte, -55.toByte, 30.toByte, 98.toByte, -114.toByte, 21.toByte, -49.toByte, 102.toByte, -116.toByte, 22.toByte, -52.toByte, 30.toByte, -101.toByte, -40.toByte, -28.toByte, -71.toByte, -73.toByte, -31.toByte, 109.toByte, 99.toByte, 24.toByte, -75.toByte, -11.toByte, 35.toByte, -91.toByte, -23.toByte, -67.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 1.toByte) {\n func11(\n Coll[Byte](\n -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 3.toByte) {\n func11(\n Coll[Byte](\n 79.toByte, -40.toByte, -80.toByte, -42.toByte, -39.toByte, -126.toByte, 66.toByte, 114.toByte, 111.toByte, 87.toByte, -77.toByte, -33.toByte, -90.toByte, -122.toByte, 18.toByte, 103.toByte, -110.toByte, -72.toByte, -27.toByte, 5.toByte, 110.toByte, 29.toByte, 81.toByte, -74.toByte, -23.toByte, 13.toByte, 104.toByte, -128.toByte, -49.toByte, 45.toByte, -51.toByte, -59.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 4.toByte) {\n func11(\n Coll[Byte](\n -119.toByte, 46.toByte, 111.toByte, 71.toByte, -95.toByte, 13.toByte, 92.toByte, -112.toByte, -72.toByte, 122.toByte, -44.toByte, -122.toByte, 51.toByte, 85.toByte, -50.toByte, -83.toByte, 0.toByte, -61.toByte, -30.toByte, -104.toByte, 50.toByte, 23.toByte, -18.toByte, 21.toByte, 83.toByte, 50.toByte, 83.toByte, -51.toByte, -102.toByte, 96.toByte, 37.toByte, -62.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 5.toByte) {\n func11(\n Coll[Byte](\n 58.toByte, 17.toByte, -107.toByte, 92.toByte, 71.toByte, 25.toByte, -27.toByte, -120.toByte, -68.toByte, -26.toByte, -89.toByte, 97.toByte, 29.toByte, 39.toByte, -67.toByte, 31.toByte, -33.toByte, -37.toByte, 87.toByte, 56.toByte, 92.toByte, -82.toByte, -30.toByte, 102.toByte, -40.toByte, 4.toByte, 12.toByte, -119.toByte, 79.toByte, 28.toByte, 46.toByte, 29.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) =>\n if (b15 == 6.toByte) {\n func11(\n Coll[Byte](\n 9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n )\n )\n } else { false }\n }(b12), {(b15: Byte) => if (b15 == 7.toByte) { {(tuple17: (Coll[Byte], Box)) => if (i13 >= OUTPUTS.size) { false } else {(\n val box19 = OUTPUTS(i13)\n val l20 = box19.value\n val l21 = SELF.value\n val coll22 = box19.propositionBytes\n val coll23 = SELF.bytesWithoutRef\n val coll24 = SELF.propositionBytes\n val i25 = SELF.creationInfo._1\n val coll26 = box19.bytesWithoutRef\n val i27 = box19.creationInfo._1\n allOf(Coll[Boolean](l20 >= l21 - 2000000L, blake2b256(coll22) == func6(func2(tuple17._2).getMany(Coll[Coll[Byte]](tuple17._1), opt5.getOrElse(Coll[Byte]()))(0)), coll23.slice(func14(l21) + coll24.size + func14(i25.toLong), coll23.size) == coll26.slice(func14(l20) + coll22.size + func14(i27.toLong), coll26.size), anyOf(Coll[Boolean](i27 - i25 >= 504000, coll24 != coll22))))\n )} }((coll1, box4)) } else { false } }(b12)\n )\n )\n )\n}",
"address": "3bseGyneBTFGJrm7ueHQFcDckgh1hzMJL8avfTECXVZuTbMd8ED1EzqyB8YT5yVEpR4jMFj9JxcEMBmQoQ1jbMRH34SarPaaEnQmhX5M8K5hnwgP8xb1yAXowMsKcmS5n4t2n1yWHhAcCAcdfDJDhyzZrbToqy8o4uXRWyRm2sVy1mymUoXMrbnSRjkojNw9PTLyKPtT1VD3GScKyz8v8AhgTXT7LJvt2QLJJnoAReGRoL6vrYpz7934gMUdsmmxq99LRQoiayRBUvim8joSAFNQMWVvmoqzkfXc6mRFeFo1YXbaBEiwevrz3xrXiEtqUmf4UPAs4os8KNwjVwgAGUXrChA3jiFaQpecjyTzCEFQqCbXRShVvZUsnovbxRrDBndpLeoLM5taaqi9HRCgD2rV2mgrc6iq2d9ridyVLuSFXPXNCAZpZKqBw4hW7FcESsy1D84pxf8S5AKdgEwKXb1pE86F1TVzgcmbKhJMWmxk2k46EaUw43AfQR1p5Uf1BRQWd2nzGmNaGpZbxd9VoNDqstXuTei3TyTNDw7HnmawXEpmZggFaB1hi9qhrz5Wbyz1KP4znhsm8biLec9QrFfPuN5bkFCon2Jm6Y37xKpzX3dad3S7y5Kf8Zxo3rPUdqr5kVT7H91F3QJX67p7WoidR7Dr2LvLabUEa4wfVFvG8DA71ztAFX1daTNkyAEu7j4wQUUuBzmCC7MNFMXx3YKaPmpy7d3xKo88XzygRiZocW1QuDZmBcxhrYhyUpBRFzUrgDsjyfmWKi9HoWzdxrHhrrafE5xfPEaishpQEEV5MdXoCKLzgxZYAFTgRj38kiLLKFRXR74GrJWntdHvkULDdtye2G1SU3PA4Qub4C2XEMYgCPMRyT7J1ybd8aH254DRR3ecVK8y9qbps4JLgrnEdNWDWqQxzMqVXFJfejcdLjS1G3X5reRhHHBDn4fdvgpGT6eKxaavpKPGckyvPNhGZqVFCJPwzBKFtQk9Ntko7EcJCdNUDSL2KWrypwcvScqrEJXyUYPMpVMP8uugEwbKRoMvn6C8xUF9bjkx7v5smugVGTiuYNYgN1EjEPUw93W9FejBStQCFgoxY7b6q5jWMfScki3oDL3fscQS7ZJBu3GmwZGC5Am5Av4TDVXXY6Rw7dS9gipoudeBnKehFXqPeGyKFuYQ16HgzfAMXvp9MF2cVYTZBhHPcugbDVugaYTUSaPtKAihhHjCj8D4LZBxEB3Zun72DrUb9dwbK2vt7RYcAmULa9wz4FyvYcjrqBNnAB3GgWnCMFEWZh2vg6hgEcCKDo7Dd9f1jSqRfnPHakJ8JdCX2mHpzSzBaNsvgWFqab5uqUQpXTKh39igGvEgNRizzHLtLEJ7ioFTMuQHZ3JAHpdSESSGDnsPR7dZ6aQLjN4wa2rNsFTG6x3muDVcvKZWNyiT3DtK7cvoNEvW8Km7e3Uc3kywaZnFrvJAYqfWxZdHQ2pKJcjhs8maFGm9dYkTP39sQ9uFzECahFRqy6WNrcsVuucw66i6cgWtHAR5oomf89fqskYrr55PoqcnAETCCqaHA3wD8ccXjvzKJwgnFCLX2ypBeXBumGgciu9EaGkZ3LJcodf8grpvjmZgPoNZKqQRNzGycFGm21YHEcjk98VaBNDFd9vArSvTtWrqq4xZmaeusHtE52ddnZNDTmt5jvS6QAJ8bd4bKvomrZ6fDX1r9nHydMaJCfqMxyHPEJT7gtJFPmFKoRjv7n5xDSM5yy6RAK5jVKf1fTD2F3uLuVs4AdEvdYvBBW8HKkpAUS9QjQqQaFwE9pP8uwKr",
"assets": [
{
"tokenId": "233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573",
"index": 0,
"amount": 1,
"name": "Paideia Stake State",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 1,
"amount": 511344640971,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "110780c8a3aaee64f297f8e2e11d420000a2f7a705a0c21e",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1732795200000,511339070969,33,0,0,5570001,250000]"
},
"R6": {
"serializedValue": "1d0501ceefa390d912010401aeccf7d40801140114",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[321200094183],[2],[1162801943],[10],[10]]"
},
"R8": {
"serializedValue": "11020000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0]"
},
"R7": {
"serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000e2aa617c800848a97b47fdb18925b6d8f8798853d4bffef34412066ffc2ab84502072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "0c6402548f8a1fea408e2b9392968e326e958be161ceffa56b1c6e3d0f26f8afbbf855060720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "a5c9d0262c0d872745067f9529cf7e0c8fe13a4bc1e0bad9fbe0bb725164f886",
"mainChain": true
},
{
"boxId": "a26ecfe3fdd2d9e66d4bf0896e4dd4f6a7c16b8b25026597d05e494cd7ff82cf",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 1000000,
"index": 1,
"globalIndex": 44187256,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"ergoTree": "10020e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e20233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d81fd601e4e3010c3c0e0ed602b27201040000d6038c720201d604d901040e7cb4720404100420d6058c720202d606da7204017205d607d9010763b2e4c67207040c64040000d608d901083c0c630eb58c720801d9010a63aedb6308720ad9010c4d0e938c720c018c720802d6097301d60ab2da7208018602a47209040000d60bda720701720ad60ce4e3020ed60de4dc640a720b027203720cd60eda720401720dd60f997206720ed610d9011063b2db63087210040200d611b2da7208018602a57209040000d612d9011263b2e4c672120511040200d613d901130eaddb0c0eb4721304009d99b1721304200410d9011504d801d6179c721504107cb472139a721704209a9a721704100420d614b3830105720eda721301720dd615b38301057206da7213017205d616dc0c1d7214017215d617d9011763b2e4c67217040c64040200d618d9011863d801d61ae4c672180511b4721a040ab1721ad619d9011963b2e4c672190511040000d61ad9011a63b2e4c6721a0511040400d61bd9011b63b2e4c6721b0511040600d61cd9011c63b2e4c6721c0511040800d61dd9011d63e4c6721d061dd61ed9011e63e4c6721e070c3c6464d61fd9011f63e4c6721f0811d196830901dad901203c0c630eae8c722001d9012263aedb63087222d901244d0e938c7224018c722002018602a57203ed93720f998cda7210017211028cda721001720a0293720f99da7212017211da721201720a93b17201040293db6401e4dc640d720b027201720cdb6401da7207017211afb472160402b17216d9012059d801d6228c722002ed928c722001722292722205009399b27214040200b2721504020099c1720ac1721192c1b2dad901203c0c630eb58c722001d901226393cbc272228c722002018602a5dad9012032b4e472200402044201b2dc640bdad9012063e4c67220046401b2da7208018602db6501fe73000400000283010e832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280e4e3000e040000040000c1a79683090193da7217017211da721701720a93da7218017211da721801720a93da7219017211da721901720a93da721a017211da721a01720a93da721b017211da721b01720a93da721c017211da721c01720a93da721d017211da721d01720a93da721e017211da721e01720a93da721f017211da721f01720a927206720e",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n1: Coll(35,53,54,38,26,-40,-110,11,-123,100,77,48,-1,-8,-26,-116,71,4,112,19,-119,80,49,122,-43,32,-77,0,-24,-63,-27,115)",
"ergoTreeScript": "{\n val coll1 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n val tuple2 = coll1(0)\n val coll3 = tuple2._1\n val func4 = {(coll4: Coll[Byte]) => byteArrayToLong(coll4.slice(8, 16)) }\n val coll5 = tuple2._2\n val l6 = func4(coll5)\n val func7 = {(box7: Box) => box7.R4[Coll[AvlTree]].get(0) }\n val func8 = {(tuple8: (Coll[Box], Coll[Byte])) =>\n tuple8._1.filter({(box10: Box) => box10.tokens.exists({(tuple12: (Coll[Byte], Long)) => tuple12._1 == tuple8._2 }) })\n }\n val coll9 = placeholder[Coll[Byte]](1)\n val box10 = func8((INPUTS, coll9))(0)\n val avlTree11 = func7(box10)\n val coll12 = getVar[Coll[Byte]](2.toByte).get\n val coll13 = avlTree11.get(coll3, coll12).get\n val l14 = func4(coll13)\n val l15 = l6 - l14\n val func16 = {(box16: Box) => box16.tokens(1) }\n val box17 = func8((OUTPUTS, coll9))(0)\n val func18 = {(box18: Box) => box18.R5[Coll[Long]].get(1) }\n val func19 = {(coll19: Coll[Byte]) => coll19.slice(0, coll19.size - 16 / 8).indices.map({(i21: Int) =>\n val i23 = i21 * 8\n byteArrayToLong(coll19.slice(i23 + 16, i23 + 8 + 16))\n }) }\n val coll20 = Coll[Long](l14).append(func19(coll13))\n val coll21 = Coll[Long](l6).append(func19(coll5))\n val coll22 = coll20.zip(coll21)\n val func23 = {(box23: Box) => box23.R4[Coll[AvlTree]].get(1) }\n val func24 = {(box24: Box) =>\n val coll26 = box24.R5[Coll[Long]].get\n coll26.slice(5, coll26.size)\n }\n val func25 = {(box25: Box) => box25.R5[Coll[Long]].get(0) }\n val func26 = {(box26: Box) => box26.R5[Coll[Long]].get(2) }\n val func27 = {(box27: Box) => box27.R5[Coll[Long]].get(3) }\n val func28 = {(box28: Box) => box28.R5[Coll[Long]].get(4) }\n val func29 = {(box29: Box) => box29.R6[Coll[Coll[Long]]].get }\n val func30 = {(box30: Box) => box30.R7[Coll[(AvlTree, AvlTree)]].get }\n val func31 = {(box31: Box) => box31.R8[Coll[Long]].get }\n sigmaProp(\n allOf(\n Coll[Boolean](\n {(tuple32: (Coll[Box], Coll[Byte])) =>\n tuple32._1.exists({(box34: Box) => box34.tokens.exists({(tuple36: (Coll[Byte], Long)) => tuple36._1 == tuple32._2 }) })\n }((OUTPUTS, coll3)), (l15 == func16(box17)._2 - func16(box10)._2) && (l15 == func18(box17) - func18(box10)), coll1.size == 1, avlTree11.update(\n coll1, coll12\n ).get.digest == func7(box17).digest, coll22.slice(1, coll22.size).forall({(tuple32: (Long, Long)) =>\n val l34 = tuple32._2\n (tuple32._1 >= l34) && (l34 >= 0L)\n }), coll20(1) - coll21(1) == box10.value - box17.value, {(tuple32: (Coll[Box], Coll[Byte])) =>\n tuple32._1.filter({(box34: Box) => blake2b256(box34.propositionBytes) == tuple32._2 })\n }(\n (\n OUTPUTS, {(opt32: Option[Coll[Byte]]) => opt32.get.slice(1, 33) }(\n {(box32: Box) => box32.R4[AvlTree].get }(func8((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)).getMany(\n Coll[Coll[Byte]](\n Coll[Byte](\n -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n )\n ), getVar[Coll[Byte]](0.toByte).get\n )(0)\n )\n )\n )(0).value >= SELF.value, allOf(\n Coll[Boolean](\n func23(box17) == func23(box10), func24(box17) == func24(box10), func25(box17) == func25(box10), func26(box17) == func26(box10), func27(\n box17\n ) == func27(box10), func28(box17) == func28(box10), func29(box17) == func29(box10), func30(box17) == func30(box10), func31(box17) == func31(box10)\n )\n ), l6 >= l14\n )\n )\n )\n}",
"address": "KS83rEDqNbxbSBrKGby5K8aoAZUDouDXM5ddZMA4nThXrNSVR9LU3V62HCxHrGsASSWAqcSs3rCX3jFczkuBK8PidSJD5KtDmsZ68ub3G2bwgAWoyYotyxu4UrfiBMGWJDDxn9HcBn5b1TfVGRX8tC1S7b4rav5x41dNPT5kgN5wy6tBsbBBZimaF4N42s7ZCBucFeCADuAdiptt8GNTk9UdYp6cNjhVYXJbyAa1b1FceL4iVPLV8kSJDMukTfQWyfyjfbMQFSX92DK1fTMS524ii3qhKhPuoYLEqUqFc3q5Wu3EXhSWCmBf8a8ZwzBjYEzEgRNbBMEAuHzy2PvM91nyrfPorda9RCLTHbhHmLW1XA4XXwNMNcGmCrQPpWmn1eCr1W7aARVGsSCn5PNb52LAYG9izUPLuu3PBxjnARRTeRs9va7d99nShjD8Kyev1FxAXgtpyCncDko1EiDbq3Q2WEZDhb4NoZUmMMdDP958E9CF1GsZmvRSDa56mesQUiP6kcdrF3UCoSkrLqTBVm8CXLFuZjaYnTURLi5hnuXSaPy9sbtiwctq2FP6XWZMfTpVRkUE1jFFhAGW27Vs8PcykRLm5srAgrNRSyoVcD8fJ15pKQQMQTLuRECVcDzzSUquu19A6ki2mHPjgTgenq1EQtM7UZBcckPaKzdFrJ34fHLcXrvb7eDB1nPVyk7f6zj6HUqSrYKA7DtMwFbo8oTD2AZtEZFNTSCxtvw2EvYjkXGMFKsjtpxn7YYDRszMFqhkyoveJ8zHpUkmFrN4VmKPraxy6Wn5fNZtKuR6PoCJSyNDsdRXf9RZktakfnNDVi7w2D9FgU7NYfEc18xADHC14mqhD6CNfqg2iw1Wqcp7GAnLAhomXqEqRnQRQ3G1g4A4LvTLR1U2wGcTHMpAcrtHCQHSu97wWQVKJenLFc5U8bX89ZNE8V4C7oKqSC1Gv2fdZB8WKB63imVib3EJCtKuEMLLgpFcwfVZTLsJSj63wpQKE2vKVSieuFgamuqxUKME3jtAMUcFwkcxsz3soedovVtozN1X7H1rCgFr7tjU8wCBEcjBqQhPgfn3MwMMAqjo1qXufomWWteecVcZk49jaf5gyzSfbBh5KpoAZfNYDWti7Y5YFNQRtcyHY2wbppXg4tB2X3TA4TiKwYKN2LMJBBNjpmVkGM4rZB2iKJFue3YUpZEhf2gYmhhjdS1LvNnLrkYxJbvBfeyPm1M8NvRf8DkKXstWQuAwQkdZMFERYVCkZnfzLhH57XFU4LiT8UoCTbuYQqpqZvk3wBYpMpV8BXJSxqPWkRzXJRYdPLzpfJgEeCG1SWXfxbXFLKF",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "d6b19398bbec7c8b320b39792064ab217d491d45dc20f6c185961aa808210c6f",
"mainChain": true
},
{
"boxId": "71b6678ce4fdfd75d23f58c1059cc49a3224a29a04cfa6e425e399fdc01eac8d",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 1000000,
"index": 2,
"globalIndex": 44187257,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "69f8903ea6628d4529b13abb1e5acd038dc610e27b9b178ef63d968075168d19",
"index": 0,
"amount": 1,
"name": "Paideia Membership",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "ed1c1ab390fdc680b1717c4d311f01bf09bee355aa0c05dc99702834b163861b",
"mainChain": true
},
{
"boxId": "7df82b6f36f2a524f91e46087e75251eb8506d98deef1ed5b24af0b33e273fc1",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 100000000,
"index": 3,
"globalIndex": 44187258,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "ec93e36807d3d6004403f95a3c7b67c48c8198fcedc4a2853792691d44449133",
"mainChain": true
},
{
"boxId": "dc108e593d2314e0ebe1610e81bd59893d8936712c05b609bc7957f4af1b9dfe",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 2350000,
"index": 4,
"globalIndex": 44187259,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"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": "38dc2ff87f340df6cc4134da37b1e57a7dc5bf5e0599e1ba416d8f1ca1319770",
"mainChain": true
},
{
"boxId": "4762302801b7a71a21c58580ff5f0caefceed1cbe4472a0243e0202269dc9e3e",
"transactionId": "f6fb3ebc88841aceaaa85e99ce1e3792b33f423c0d31ecbe8a39a718abe2e6dc",
"blockId": "c83dee16b893dfa820784e00e4e2ca446e975aefaedd33732c9a0b1ae81b1b37",
"value": 35158200000,
"index": 5,
"globalIndex": 44187260,
"creationHeight": 1403481,
"settlementHeight": 1403524,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "bae94208ca35fce1ce1e7cf255c382a367d4cfe4ffa434eb05fcc263f093d703",
"index": 0,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "63eb221691522c3e3de75cae3c6efd842f978a7d5df892f9a0022139d6ffe174",
"index": 1,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f34ff0390f90c4279e57196e32a918f56a9dbe5e3380b199400cc0a193d5ce2b",
"index": 2,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "81a98058292af00d4456ea6f0b1ee8d5a16b91462ef28ae1d94fc75c207b778f",
"index": 3,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "035244479c32d470cd21e24fc6497c635689e2ce65a6a5c4abb06b0010bf97a6",
"index": 4,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "3efbd9478e622f9c5f969649d24fbb47c8b32f716354c50704debbf4870d2b2a",
"index": 5,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "69df56f30e1a2b8eae2f61b5b36c2bafd274fe663b692ece2719427f79fc6355",
"index": 6,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d2f4dcf4bb04926e6641206b316380419eb502e507a1e2eb0a5c5e6480235488",
"index": 7,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7e64d8a6dfc05865c9305bbccd2ac519e040d258bff7df13c4b708097a1fd571",
"index": 8,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c0d3f46872652bc320c9060376b75f485d7ed9c39d178cdb76ef2b53a2ab4889",
"index": 9,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ff06980016509a79e4d525ad8a606657d8357f86b5aa5b8a613e9e5d60452fdb",
"index": 10,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f72f6b8479683372d878d48b5ba2f4301d4546d2b7f6630fb5b79c1957269f58",
"index": 11,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "6ea1c90547daba01590579388dccfd8d2814429af089cb77cebafea6748eb886",
"index": 12,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ca5eb853bfea182fea031c6869d3bd90b3919c7fb6fdef1d28bc29a1cc8cc4d8",
"index": 13,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "709f43bbba14fc5be57f02ab8c4f3ca3018b4212bc45c281c1ebab5ed18de3c9",
"index": 14,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "619232857fdc455d040b32f4423624ca982fdd3fecd986c29d1361f5a8653edb",
"index": 15,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "b738978590eed6dd69db33b5d759ae78324234dfc6e8b2763e80994dc9fee378",
"index": 16,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0e882df5bd1f754fdbd0a74a46375a70029952271d9271a167f73559dca6746e",
"index": 17,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "54ca811c6eb92b9466a7888cf5fd179b031a7ba56ac6ec926129f88d713175b6",
"index": 18,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2f8759e56fcd22489875a878f039d5c62bd4dd762b504f1cd904620ece6ee15b",
"index": 19,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 20,
"amount": 1000,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "f7786ee7cc975d7f06eb76116f709d5e4709b62447775c35ab8bfd69407e8e4e",
"index": 21,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e9dea3ab1f9392d4df19b28d25fe881f3e4f0f1aeaab2f17c0fee6f87aa415f1",
"index": 22,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5110dd8256561d23947a4d38f2cc49766cad91d935aa6d790fca4ea4fd75b477",
"index": 23,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "137cce237089e9707fbde1c3146d8150c8a91585e3241dde9e054600da152efd",
"index": 24,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "8ac38a58d4fd880dfef60a857e7efb367992e5a1030f5d4bb718774de217b17a",
"index": 25,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c1a92dd048cab925013cd9e4aafe76aec8d7b39f4117896086ce28732c2b4cf3",
"index": 26,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5d5952dfeab618d614ad5083b804c7109a8e126f8aa416866f2542413528861",
"index": 27,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7cab4c64ceb9573a8701fefb79c1bace5bb57ad5ce596968278c631abff930b0",
"index": 28,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2852b035d7d933790ae0fcecc63a4a536ff8401527ca44ee3cb714546b461918",
"index": 29,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ed967d299aaace31b75ca7f91e45993d943444a722f3651976cbf135e7d2dea8",
"index": 30,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "52e5c5e90533166e33a96a4ef92e61aba81c59bc378b7607976fb160cab7700c",
"index": 31,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "21593cb3d410276c74a3253f2f66e14a764803572f76e6e139c42ea094f392b4",
"index": 32,
"amount": 1,
"name": "Mew Kitty #1",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d5c5478a9089337c5e288f945df194f163aa2b133e680c4d362134971b1b5dd5",
"index": 33,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1a1fcbf7107e0a51cfcb127d0d6657a4c895dcab3f5600b1fc5fa3442a05f999",
"index": 34,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "fd00f565f9ccb389ad63cd524cb58524a53bd6e0a1bc52f464de95b925c74849",
"index": 35,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5df16128f79a55fb87b8f3c8adefcb4685851b00da44660313172a13e3f3b262",
"index": 36,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4b81280e7e00f208036a2f004efcfde86d654e76554124e2acf64f59e48a2bc5",
"index": 37,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "18c938e1924fc3eadc266e75ec02d81fe73b56e4e9f4e268dffffcb30387c42d",
"index": 38,
"amount": 13826067516,
"name": "AHT",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "58844640b72f26db5fd50aae0aff305cf023beef998f0ad552e8e7e615c5abf9",
"index": 39,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f94918ff381de07f67d1b4f10258889953edf81274bb10ba12125bf1861e8407",
"index": 40,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "ed1c1ab390fdc680b1717c4d311f01bf09bee355aa0c05dc99702834b163861b",
"mainChain": true
}
],
"size": 6261,
"isUnconfirmed": false
}