Transaction
ID: a4cf540d50...9166
Inputs (4)
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:
35.77 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
4,033,566.04
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.68 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 358,897
Total coins transferred: 36.78 ERG
Fees: 0.00235 ERG
Fees per byte: 0.000000374 ERG
Raw Transaction Data
{
"id": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"inclusionHeight": 1399268,
"timestamp": 1732039035567,
"index": 5,
"globalIndex": 8084091,
"numConfirmations": 358897,
"inputs": [
{
"boxId": "69f8903ea6628d4529b13abb1e5acd038dc610e27b9b178ef63d968075168d19",
"value": 1000000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "70b31cc832e0bfd5197573cb34a7b975cf0ef8e5c82d6e6ff4b3466e41abcb31",
"outputTransactionId": "ce57245d413261895acae0357ad0f1267ae0770964cef6e0c2912488f8494237",
"outputIndex": 0,
"outputGlobalIndex": 44008324,
"outputCreatedAt": 1398986,
"outputSettledAt": 1398988,
"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": 242112065613,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "11078098a58eeb6498c187f08b0e3804aeccf7d4080000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1732363200000,242112065612,28,2,1162801943,0,0]"
},
"R6": {
"serializedValue": "1d0501aed5dee2b10d012201f0bfa9c3f70b01140114",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[230018504023],[17],[205021065208],[10],[10]]"
},
"R8": {
"serializedValue": "11020000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0]"
},
"R7": {
"serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000a1d19c969232ef19b769772ed51c3a245e6ba22ee7461a6b74c2f76c31f9845d05072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "0c64021d7440d080c602db1b22bcd48897c577fc62d7be3e2fb0ca6d64d9b985614dce05072000e2aa617c800848a97b47fdb18925b6d8f8798853d4bffef34412066ffc2ab84502072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "5b330a3f8c75dddacf34c52494adc80e942aef149a3d34cc422e49e9180f4d0d",
"value": 1000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "de3dfdb5b8581ed30a808eb4f2272ad3eb6cd5d5fb6c1ead6f7dff1c8ec746eb",
"outputTransactionId": "7671b1bebb057212dbedd2b4de2a632e2cc9a1fde52b7e53092489fe35e9c5ee",
"outputIndex": 1,
"outputGlobalIndex": 44003882,
"outputCreatedAt": 1398850,
"outputSettledAt": 1398852,
"ergoTree": "10020e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e20233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d815d601d901013c0c630eb58c720101d9010363aedb63087203d901054d0e938c7205018c720102d6027301d603b2da7201018602a57202040000d604b2da7201018602a47202040000d605d9010563d801d607db63087205b472070404b17207d606d9010663b2e4c67206040c64040200d607d9010763b2e4c672070511040000d608d9010863b2e4c672080511040600d609d9010963d801d60be4c672090511b4720b040ab1720bd60ad9010a63e4c6720a061dd60bd9010b63e4c6720b070c3c6464d60cd9010c63e4c6720c0811d60dc5b2a4040000d60ee4e3010c3c0e0ed60fb2720e040000d6108c720f02d611dad901110e7cb4721104100420017210d612d9011263b2db63087212040200d613d9011363b2e4c672130511040200d614d9011463b2e4c67214040c64040000d615d9011563b2e4c672150511040400d196830a0196830a0192c17203c1720493da7205017203da720501720493da7206017203da720601720493da7207017203da720701720493da7208017203da7208017204010193da7209017203da720901720493da720a017203da720a01720493da720b017203da720b01720493da720c017203da720c01720493720d8c720f0193dad901163c0c630eb0dc0c0f8c72160101d9011863db630872180500d90118414d0ed801d61a8c7218029a8c72180195938c721a018c7216028c721a020500018602a5720d0502ed937211998cda7212017203028cda72120172040293721199da7213017203da721301720493b1720e040293db6401e4dc640cda721401720402720ee4e3020edb6401da7214017203afdad901160eaddb0c0eb4721604009d99b1721604200410d9011804d801d61a9c721804107cb472169a721a04209a9a721a04100420017210d9011605937216050092c1b2dad901163c0c630eb58c721601d901186393cbc272188c721602018602a5dad9011632b4e472160402044201b2dc640bdad9011663e4c67216046401b2da7201018602db6501fe73000400000283010e83200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242e4e3000e040000040000c1a7939ada72150172040502da721501720393dad901160e7cb47216040004100172100500",
"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 func1 = {(tuple1: (Coll[Box], Coll[Byte])) =>\n tuple1._1.filter({(box3: Box) => box3.tokens.exists({(tuple5: (Coll[Byte], Long)) => tuple5._1 == tuple1._2 }) })\n }\n val coll2 = placeholder[Coll[Byte]](1)\n val box3 = func1((OUTPUTS, coll2))(0)\n val box4 = func1((INPUTS, coll2))(0)\n val func5 = {(box5: Box) =>\n val coll7 = box5.tokens\n coll7.slice(2, coll7.size)\n }\n val func6 = {(box6: Box) => box6.R4[Coll[AvlTree]].get(1) }\n val func7 = {(box7: Box) => box7.R5[Coll[Long]].get(0) }\n val func8 = {(box8: Box) => box8.R5[Coll[Long]].get(3) }\n val func9 = {(box9: Box) =>\n val coll11 = box9.R5[Coll[Long]].get\n coll11.slice(5, coll11.size)\n }\n val func10 = {(box10: Box) => box10.R6[Coll[Coll[Long]]].get }\n val func11 = {(box11: Box) => box11.R7[Coll[(AvlTree, AvlTree)]].get }\n val func12 = {(box12: Box) => box12.R8[Coll[Long]].get }\n val coll13 = INPUTS(0).id\n val coll14 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n val tuple15 = coll14(0)\n val coll16 = tuple15._2\n val l17 = {(coll17: Coll[Byte]) => byteArrayToLong(coll17.slice(8, 16)) }(coll16)\n val func18 = {(box18: Box) => box18.tokens(1) }\n val func19 = {(box19: Box) => box19.R5[Coll[Long]].get(1) }\n val func20 = {(box20: Box) => box20.R4[Coll[AvlTree]].get(0) }\n val func21 = {(box21: Box) => box21.R5[Coll[Long]].get(2) }\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n box3.value >= box4.value, func5(box3) == func5(box4), func6(box3) == func6(box4), func7(box3) == func7(box4), func8(box3) == func8(\n box4\n ), true, func9(box3) == func9(box4), func10(box3) == func10(box4), func11(box3) == func11(box4), func12(box3) == func12(box4)\n )\n ), coll13 == tuple15._1, {(tuple22: (Coll[Box], Coll[Byte])) =>\n tuple22._1.flatMap({(box24: Box) => box24.tokens }).fold(0L, {(tuple24: (Long, (Coll[Byte], Long))) =>\n val tuple26 = tuple24._2\n tuple24._1 + if (tuple26._1 == tuple22._2) { tuple26._2 } else { 0L }\n })\n }((OUTPUTS, coll13)) == 1L, (l17 == func18(box3)._2 - func18(box4)._2) && (l17 == func19(box3) - func19(box4)), coll14.size == 1, func20(box4).insert(\n coll14, getVar[Coll[Byte]](2.toByte).get\n ).get.digest == func20(box3).digest, {(coll22: Coll[Byte]) => coll22.slice(0, coll22.size - 16 / 8).indices.map({(i24: Int) =>\n val i26 = i24 * 8\n byteArrayToLong(coll22.slice(i26 + 16, i26 + 8 + 16))\n }) }(coll16).forall({(l22: Long) => l22 == 0L }), {(tuple22: (Coll[Box], Coll[Byte])) =>\n tuple22._1.filter({(box24: Box) => blake2b256(box24.propositionBytes) == tuple22._2 })\n }(\n (\n OUTPUTS, {(opt22: Option[Coll[Byte]]) => opt22.get.slice(1, 33) }(\n {(box22: Box) => box22.R4[AvlTree].get }(func1((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)).getMany(\n Coll[Coll[Byte]](\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 ), getVar[Coll[Byte]](0.toByte).get\n )(0)\n )\n )\n )(0).value >= SELF.value, func21(box4) + 1L == func21(box3), {(coll22: Coll[Byte]) => byteArrayToLong(coll22.slice(0, 8)) }(coll16) == 0L\n )\n )\n )\n}",
"address": "6qwxETDimJn7YQgqu57wYZmyeegHki36HUCipB39BSSpKq4qTmrUFW8p54inyhtb26oVycwSiPZ4FvFV6tZXnQ7VDkjmLJqxQbKQbbyB4uFfaBNJ5kp9zrk1sYdyEa1ZuYP6o1qETSmtbgohiTXweoi96xdm7sMC6DvM28STmxoz6i17Nq7aMz45qnozfJmhbwxhge16wDaVjq446FBduuNbR1CGziett7wBCEdf3iRALam6gD5FG8ExcWkgU2SLHSqz5cLT4SgRf8GwC4xagDwvPYucCr6sE3bVBaEv4rQ21vtjj9aTRVsQBbnMsvu1qUjpoe6rvcFUqAkJsn5wZ6qnoTKXKfMjfSsZuBPQ5Lkq1uegaDjpqPHyjsR3nBJgtAzNEwJRyyZSZm3voRND3wAAm7Wogyh5yRQaTungJpM15a8Z5qxqfZisBGLJGuDp1r2jB86NE31YJpk4mS39AjDLe4rXGPDhJBdVZXhp5ejetoucwP1QoHWi3xscgDefRgwjAZPCCzp4MmSZ9up8vAmRosbZsW3jSkWuaTrpV4ZSSfQf3X4MZh9B71Zevj74PHKaMe23YGQez3Hud8uGuNscWhgwb9n43mPkKYxnUFtZZpsb8vGPEzHUuFKSb7g66T4wYAWKFsRmk5wumJckLvBbdfQ5Xb7YMEgbA5xv2Cr6SLEeL8pLzdTfoMzRmMhAazoRftMqmqZWntbzCfKC7zPCd46BcvGf3a6QKxaSgt5t7BDj7xtJhmofTyd7RWfZwhM616vjLupckEXTEM1pYhATBNBEPXTsviMQZwPzXRcHME9ET5merWxxihMSSKaf9HMDJFjZYSCrEdNJy68BruiJxj9kJWK3QTwsqM4rdJAPDwCNmaxc1Cr98f89Q75aZS3grZpx1zi49q6jnqBWc3kU9n3P5NN4tbpqQubVhY95w7gA52Ah86gsmLQZyMDBMgePSkTEsuAFT7FCpFeKUxgXrW57DVwh1qDS1CoygwVpLL9zsnDG2jN8PjNn6f4roTYN56S5FaaVd5kBc8WK7VXGdea1AH685YPvqVhAXtQ9Sr3FWpRs6KhdR3TbNpHRGmctMrYkEAiG6PQ7DPngaQ74f6bbbH8tAUSFkU3mKPZn4UP7RcU5Esybxv3g5V4X2JJAChmHAxzrPic4wmHkAN55jQhHxEkQ96jaiWUWY9xJMPPBSXayabzv4oyP2eh3ffP662vvnbRQSY7jLufSCvStz8Qx9oC2TDk8UubXxNeSRWvUcixFuFWoypK",
"assets": [],
"additionalRegisters": {}
},
{
"boxId": "6343be0fd4edea5fe5e01908e226bbbd96ebbbd24e5066b672dc0cb05c7357d3",
"value": 35769900000,
"index": 2,
"spendingProof": "9d413f2b6e2c5fb6da3d31088e7c706c928b7079c7880bc7447f7963a124bc9b8efde2df643624f914eb262fa7844098aea4628ee00bc6c3",
"outputBlockId": "e9f8091bcd92d3579f7f8815452629bd14e400f224faa041f7f03107777eab86",
"outputTransactionId": "1d8c89c172742b4cf8c291b590decbb32a51f3a5969b9995f5e404aef48b7996",
"outputIndex": 2,
"outputGlobalIndex": 44014716,
"outputCreatedAt": 1399262,
"outputSettledAt": 1399264,
"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": "39a28f288263a754551a1145e08069c5ae9739c0c2c726df7c959b7b47e250b6",
"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": 24725056721,
"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": "dbf6e3425cf06d5c18c6bd5437728f13fd5a90c260f32d1f75fcece70414dc74",
"index": 24,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5110dd8256561d23947a4d38f2cc49766cad91d935aa6d790fca4ea4fd75b477",
"index": 25,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "137cce237089e9707fbde1c3146d8150c8a91585e3241dde9e054600da152efd",
"index": 26,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "8ac38a58d4fd880dfef60a857e7efb367992e5a1030f5d4bb718774de217b17a",
"index": 27,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c1a92dd048cab925013cd9e4aafe76aec8d7b39f4117896086ce28732c2b4cf3",
"index": 28,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e065b026fa8790631db7c1d81a4920ca89e87c7cdbfe359233f226a48c85c7b6",
"index": 29,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5d5952dfeab618d614ad5083b804c7109a8e126f8aa416866f2542413528861",
"index": 30,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7cab4c64ceb9573a8701fefb79c1bace5bb57ad5ce596968278c631abff930b0",
"index": 31,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2852b035d7d933790ae0fcecc63a4a536ff8401527ca44ee3cb714546b461918",
"index": 32,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d40faec748fe790aef014fa2756091852296ddc2f05cd50fc40ec6cfd8367dde",
"index": 33,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ed967d299aaace31b75ca7f91e45993d943444a722f3651976cbf135e7d2dea8",
"index": 34,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "52e5c5e90533166e33a96a4ef92e61aba81c59bc378b7607976fb160cab7700c",
"index": 35,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "21593cb3d410276c74a3253f2f66e14a764803572f76e6e139c42ea094f392b4",
"index": 36,
"amount": 1,
"name": "Mew Kitty #1",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d5c5478a9089337c5e288f945df194f163aa2b133e680c4d362134971b1b5dd5",
"index": 37,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1a1fcbf7107e0a51cfcb127d0d6657a4c895dcab3f5600b1fc5fa3442a05f999",
"index": 38,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "fd00f565f9ccb389ad63cd524cb58524a53bd6e0a1bc52f464de95b925c74849",
"index": 39,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5df16128f79a55fb87b8f3c8adefcb4685851b00da44660313172a13e3f3b262",
"index": 40,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4b81280e7e00f208036a2f004efcfde86d654e76554124e2acf64f59e48a2bc5",
"index": 41,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "18c938e1924fc3eadc266e75ec02d81fe73b56e4e9f4e268dffffcb30387c42d",
"index": 42,
"amount": 13826067516,
"name": "AHT",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "58844640b72f26db5fd50aae0aff305cf023beef998f0ad552e8e7e615c5abf9",
"index": 43,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f94918ff381de07f67d1b4f10258889953edf81274bb10ba12125bf1861e8407",
"index": 44,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
},
{
"boxId": "9ca37a90b705fa1a68d46677d923156f7a2764fe9c6c9b59a1f98b47cc5e152c",
"value": 10000000,
"index": 3,
"spendingProof": "b2689ef88dc1f3f532e9875294f8dfab6d54751341b1335021fd04c3f8fcc5cecf361e381a7c6d5807e6e6a11d6c84222765baae9f8a43f3",
"outputBlockId": "e9f8091bcd92d3579f7f8815452629bd14e400f224faa041f7f03107777eab86",
"outputTransactionId": "d082b354ae35c45a2d4a0fb391ff8776fa04258d3b2f33ddc0bf1d4e67722d5a",
"outputIndex": 1,
"outputGlobalIndex": 44014718,
"outputCreatedAt": 1399262,
"outputSettledAt": 1399264,
"ergoTree": "0008cd02ffa5b67e85e164c76cd8c8fce547bafa6a1019edae968ae988bb4aeca75dbd9b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(ffa5b6,a03643,...)))}",
"address": "9gTegYW3qkzExMiAF8rnQ6EAZT6eKXy7dYC6KMaBTMyzUzwyDxv",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 40335660374,
"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": "32423ec75b470698f1501ba6cf581f4b9c4f44fafd642465c81bd8ad5ca2c60b",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 1000000000,
"index": 0,
"globalIndex": 44014841,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"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": 307172781708,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "11078098a58eeb6496bae5cef0113a04aeccf7d4080000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1732363200000,307172781707,29,2,1162801943,0,0]"
},
"R6": {
"serializedValue": "1d0501aed5dee2b10d012201f0bfa9c3f70b01140114",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[230018504023],[17],[205021065208],[10],[10]]"
},
"R8": {
"serializedValue": "11020000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,0]"
},
"R7": {
"serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000a1d19c969232ef19b769772ed51c3a245e6ba22ee7461a6b74c2f76c31f9845d05072000",
"sigmaType": null,
"renderedValue": null
},
"R4": {
"serializedValue": "0c640200f5dda136c5fd541bdbb8d07050c0499922ec72a3e67d4a84a3d1af9b65836b06072000e2aa617c800848a97b47fdb18925b6d8f8798853d4bffef34412066ffc2ab84502072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "ec14a5de853edb20d3b6afbf56f0a28f48b7e1e47ea2b4178b8dcf8e7a424a45",
"mainChain": true
},
{
"boxId": "3c93e0c9c6c56cb9ce61e6cf0a4df03352d28f073911ec698280130af4c80b96",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 1000000,
"index": 1,
"globalIndex": 44014842,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"ergoTree": "10020e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e20233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d815d601d901013c0c630eb58c720101d9010363aedb63087203d901054d0e938c7205018c720102d6027301d603b2da7201018602a57202040000d604b2da7201018602a47202040000d605d9010563d801d607db63087205b472070404b17207d606d9010663b2e4c67206040c64040200d607d9010763b2e4c672070511040000d608d9010863b2e4c672080511040600d609d9010963d801d60be4c672090511b4720b040ab1720bd60ad9010a63e4c6720a061dd60bd9010b63e4c6720b070c3c6464d60cd9010c63e4c6720c0811d60dc5b2a4040000d60ee4e3010c3c0e0ed60fb2720e040000d6108c720f02d611dad901110e7cb4721104100420017210d612d9011263b2db63087212040200d613d9011363b2e4c672130511040200d614d9011463b2e4c67214040c64040000d615d9011563b2e4c672150511040400d196830a0196830a0192c17203c1720493da7205017203da720501720493da7206017203da720601720493da7207017203da720701720493da7208017203da7208017204010193da7209017203da720901720493da720a017203da720a01720493da720b017203da720b01720493da720c017203da720c01720493720d8c720f0193dad901163c0c630eb0dc0c0f8c72160101d9011863db630872180500d90118414d0ed801d61a8c7218029a8c72180195938c721a018c7216028c721a020500018602a5720d0502ed937211998cda7212017203028cda72120172040293721199da7213017203da721301720493b1720e040293db6401e4dc640cda721401720402720ee4e3020edb6401da7214017203afdad901160eaddb0c0eb4721604009d99b1721604200410d9011804d801d61a9c721804107cb472169a721a04209a9a721a04100420017210d9011605937216050092c1b2dad901163c0c630eb58c721601d901186393cbc272188c721602018602a5dad9011632b4e472160402044201b2dc640bdad9011663e4c67216046401b2da7201018602db6501fe73000400000283010e83200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242e4e3000e040000040000c1a7939ada72150172040502da721501720393dad901160e7cb47216040004100172100500",
"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 func1 = {(tuple1: (Coll[Box], Coll[Byte])) =>\n tuple1._1.filter({(box3: Box) => box3.tokens.exists({(tuple5: (Coll[Byte], Long)) => tuple5._1 == tuple1._2 }) })\n }\n val coll2 = placeholder[Coll[Byte]](1)\n val box3 = func1((OUTPUTS, coll2))(0)\n val box4 = func1((INPUTS, coll2))(0)\n val func5 = {(box5: Box) =>\n val coll7 = box5.tokens\n coll7.slice(2, coll7.size)\n }\n val func6 = {(box6: Box) => box6.R4[Coll[AvlTree]].get(1) }\n val func7 = {(box7: Box) => box7.R5[Coll[Long]].get(0) }\n val func8 = {(box8: Box) => box8.R5[Coll[Long]].get(3) }\n val func9 = {(box9: Box) =>\n val coll11 = box9.R5[Coll[Long]].get\n coll11.slice(5, coll11.size)\n }\n val func10 = {(box10: Box) => box10.R6[Coll[Coll[Long]]].get }\n val func11 = {(box11: Box) => box11.R7[Coll[(AvlTree, AvlTree)]].get }\n val func12 = {(box12: Box) => box12.R8[Coll[Long]].get }\n val coll13 = INPUTS(0).id\n val coll14 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n val tuple15 = coll14(0)\n val coll16 = tuple15._2\n val l17 = {(coll17: Coll[Byte]) => byteArrayToLong(coll17.slice(8, 16)) }(coll16)\n val func18 = {(box18: Box) => box18.tokens(1) }\n val func19 = {(box19: Box) => box19.R5[Coll[Long]].get(1) }\n val func20 = {(box20: Box) => box20.R4[Coll[AvlTree]].get(0) }\n val func21 = {(box21: Box) => box21.R5[Coll[Long]].get(2) }\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n box3.value >= box4.value, func5(box3) == func5(box4), func6(box3) == func6(box4), func7(box3) == func7(box4), func8(box3) == func8(\n box4\n ), true, func9(box3) == func9(box4), func10(box3) == func10(box4), func11(box3) == func11(box4), func12(box3) == func12(box4)\n )\n ), coll13 == tuple15._1, {(tuple22: (Coll[Box], Coll[Byte])) =>\n tuple22._1.flatMap({(box24: Box) => box24.tokens }).fold(0L, {(tuple24: (Long, (Coll[Byte], Long))) =>\n val tuple26 = tuple24._2\n tuple24._1 + if (tuple26._1 == tuple22._2) { tuple26._2 } else { 0L }\n })\n }((OUTPUTS, coll13)) == 1L, (l17 == func18(box3)._2 - func18(box4)._2) && (l17 == func19(box3) - func19(box4)), coll14.size == 1, func20(box4).insert(\n coll14, getVar[Coll[Byte]](2.toByte).get\n ).get.digest == func20(box3).digest, {(coll22: Coll[Byte]) => coll22.slice(0, coll22.size - 16 / 8).indices.map({(i24: Int) =>\n val i26 = i24 * 8\n byteArrayToLong(coll22.slice(i26 + 16, i26 + 8 + 16))\n }) }(coll16).forall({(l22: Long) => l22 == 0L }), {(tuple22: (Coll[Box], Coll[Byte])) =>\n tuple22._1.filter({(box24: Box) => blake2b256(box24.propositionBytes) == tuple22._2 })\n }(\n (\n OUTPUTS, {(opt22: Option[Coll[Byte]]) => opt22.get.slice(1, 33) }(\n {(box22: Box) => box22.R4[AvlTree].get }(func1((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)).getMany(\n Coll[Coll[Byte]](\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 ), getVar[Coll[Byte]](0.toByte).get\n )(0)\n )\n )\n )(0).value >= SELF.value, func21(box4) + 1L == func21(box3), {(coll22: Coll[Byte]) => byteArrayToLong(coll22.slice(0, 8)) }(coll16) == 0L\n )\n )\n )\n}",
"address": "6qwxETDimJn7YQgqu57wYZmyeegHki36HUCipB39BSSpKq4qTmrUFW8p54inyhtb26oVycwSiPZ4FvFV6tZXnQ7VDkjmLJqxQbKQbbyB4uFfaBNJ5kp9zrk1sYdyEa1ZuYP6o1qETSmtbgohiTXweoi96xdm7sMC6DvM28STmxoz6i17Nq7aMz45qnozfJmhbwxhge16wDaVjq446FBduuNbR1CGziett7wBCEdf3iRALam6gD5FG8ExcWkgU2SLHSqz5cLT4SgRf8GwC4xagDwvPYucCr6sE3bVBaEv4rQ21vtjj9aTRVsQBbnMsvu1qUjpoe6rvcFUqAkJsn5wZ6qnoTKXKfMjfSsZuBPQ5Lkq1uegaDjpqPHyjsR3nBJgtAzNEwJRyyZSZm3voRND3wAAm7Wogyh5yRQaTungJpM15a8Z5qxqfZisBGLJGuDp1r2jB86NE31YJpk4mS39AjDLe4rXGPDhJBdVZXhp5ejetoucwP1QoHWi3xscgDefRgwjAZPCCzp4MmSZ9up8vAmRosbZsW3jSkWuaTrpV4ZSSfQf3X4MZh9B71Zevj74PHKaMe23YGQez3Hud8uGuNscWhgwb9n43mPkKYxnUFtZZpsb8vGPEzHUuFKSb7g66T4wYAWKFsRmk5wumJckLvBbdfQ5Xb7YMEgbA5xv2Cr6SLEeL8pLzdTfoMzRmMhAazoRftMqmqZWntbzCfKC7zPCd46BcvGf3a6QKxaSgt5t7BDj7xtJhmofTyd7RWfZwhM616vjLupckEXTEM1pYhATBNBEPXTsviMQZwPzXRcHME9ET5merWxxihMSSKaf9HMDJFjZYSCrEdNJy68BruiJxj9kJWK3QTwsqM4rdJAPDwCNmaxc1Cr98f89Q75aZS3grZpx1zi49q6jnqBWc3kU9n3P5NN4tbpqQubVhY95w7gA52Ah86gsmLQZyMDBMgePSkTEsuAFT7FCpFeKUxgXrW57DVwh1qDS1CoygwVpLL9zsnDG2jN8PjNn6f4roTYN56S5FaaVd5kBc8WK7VXGdea1AH685YPvqVhAXtQ9Sr3FWpRs6KhdR3TbNpHRGmctMrYkEAiG6PQ7DPngaQ74f6bbbH8tAUSFkU3mKPZn4UP7RcU5Esybxv3g5V4X2JJAChmHAxzrPic4wmHkAN55jQhHxEkQ96jaiWUWY9xJMPPBSXayabzv4oyP2eh3ffP662vvnbRQSY7jLufSCvStz8Qx9oC2TDk8UubXxNeSRWvUcixFuFWoypK",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "ec14a5de853edb20d3b6afbf56f0a28f48b7e1e47ea2b4178b8dcf8e7a424a45",
"mainChain": true
},
{
"boxId": "f32d1ca35f06677dd574d813d2b1336957271eb73f4db1670265b95a955463ea",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 1000000,
"index": 2,
"globalIndex": 44014843,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"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": {
"R4": {
"serializedValue": "0e1250616964656961204d656d62657273686970",
"sigmaType": "Coll[SByte]",
"renderedValue": "50616964656961204d656d62657273686970"
},
"R5": {
"serializedValue": "0e3550616964656961202d20506f77657265642062792050616964656961202d2068747470733a2f2f6170702e706169646569612e696d",
"sigmaType": "Coll[SByte]",
"renderedValue": "50616964656961202d20506f77657265642062792050616964656961202d2068747470733a2f2f6170702e706169646569612e696d"
},
"R6": {
"serializedValue": "0e0130",
"sigmaType": "Coll[SByte]",
"renderedValue": "30"
}
},
"spentTransactionId": "cb19b41e553cf2a90bb76191ffff082fa5a1a014bf4ce784cd3494f1bb5b40c9",
"mainChain": true
},
{
"boxId": "a2c11e1dd69a85ddf2b766df05f5fa0f2386758fc8a78cc28fd3f0041b652b76",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 100000000,
"index": 3,
"globalIndex": 44014844,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
"address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "70d44fee2ce29d9204b3392a5e3b87340f91baf51351031d1ee65362d8f7c3f2",
"mainChain": true
},
{
"boxId": "29d58625b65208d93556a8dd77e5987b9f0799d2b0e8ea7702382517a5a07f9d",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 2350000,
"index": 4,
"globalIndex": 44014845,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"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": "f5fe06ef0fdf5d9556bdb5702af1f4721d2d86264f0ffe7654be139e0116c1e2",
"mainChain": true
},
{
"boxId": "19f8c05e3e695c4278f6846802b20bd01adc5fdb2faaeea60987ffd4937af050",
"transactionId": "a4cf540d50bf19a7524d3626d54933b7ea26655f4d0ea4e88e6a7d3a24869166",
"blockId": "5769a0e125a46f475b5510fcf5b20ab04d47d1053c62fc4e8438bc27fe1f821d",
"value": 35676550000,
"index": 5,
"globalIndex": 44014846,
"creationHeight": 1399266,
"settlementHeight": 1399268,
"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": "39a28f288263a754551a1145e08069c5ae9739c0c2c726df7c959b7b47e250b6",
"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": 1000,
"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": "dbf6e3425cf06d5c18c6bd5437728f13fd5a90c260f32d1f75fcece70414dc74",
"index": 24,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5110dd8256561d23947a4d38f2cc49766cad91d935aa6d790fca4ea4fd75b477",
"index": 25,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "137cce237089e9707fbde1c3146d8150c8a91585e3241dde9e054600da152efd",
"index": 26,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "8ac38a58d4fd880dfef60a857e7efb367992e5a1030f5d4bb718774de217b17a",
"index": 27,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "c1a92dd048cab925013cd9e4aafe76aec8d7b39f4117896086ce28732c2b4cf3",
"index": 28,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e065b026fa8790631db7c1d81a4920ca89e87c7cdbfe359233f226a48c85c7b6",
"index": 29,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5d5952dfeab618d614ad5083b804c7109a8e126f8aa416866f2542413528861",
"index": 30,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "7cab4c64ceb9573a8701fefb79c1bace5bb57ad5ce596968278c631abff930b0",
"index": 31,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "2852b035d7d933790ae0fcecc63a4a536ff8401527ca44ee3cb714546b461918",
"index": 32,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d40faec748fe790aef014fa2756091852296ddc2f05cd50fc40ec6cfd8367dde",
"index": 33,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "ed967d299aaace31b75ca7f91e45993d943444a722f3651976cbf135e7d2dea8",
"index": 34,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "52e5c5e90533166e33a96a4ef92e61aba81c59bc378b7607976fb160cab7700c",
"index": 35,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "21593cb3d410276c74a3253f2f66e14a764803572f76e6e139c42ea094f392b4",
"index": 36,
"amount": 1,
"name": "Mew Kitty #1",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "d5c5478a9089337c5e288f945df194f163aa2b133e680c4d362134971b1b5dd5",
"index": 37,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "1a1fcbf7107e0a51cfcb127d0d6657a4c895dcab3f5600b1fc5fa3442a05f999",
"index": 38,
"amount": 1,
"name": "ergopad Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "fd00f565f9ccb389ad63cd524cb58524a53bd6e0a1bc52f464de95b925c74849",
"index": 39,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5df16128f79a55fb87b8f3c8adefcb4685851b00da44660313172a13e3f3b262",
"index": 40,
"amount": 1,
"name": "AHT Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4b81280e7e00f208036a2f004efcfde86d654e76554124e2acf64f59e48a2bc5",
"index": 41,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "18c938e1924fc3eadc266e75ec02d81fe73b56e4e9f4e268dffffcb30387c42d",
"index": 42,
"amount": 13826067516,
"name": "AHT",
"decimals": 4,
"type": "EIP-004"
},
{
"tokenId": "58844640b72f26db5fd50aae0aff305cf023beef998f0ad552e8e7e615c5abf9",
"index": 43,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "f94918ff381de07f67d1b4f10258889953edf81274bb10ba12125bf1861e8407",
"index": 44,
"amount": 1,
"name": "Paideia Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "cb19b41e553cf2a90bb76191ffff082fa5a1a014bf4ce784cd3494f1bb5b40c9",
"mainChain": true
}
],
"size": 6289,
"isUnconfirmed": false
}