Ad
Inputs (5)
Output transaction:
Settlement height:
Value:
1 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
26.47 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
15 ERG
Tokens:
300
Outputs (6)
Spent in transaction:
Settlement height:
Value:
1 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.1 ERG
Spent in transaction:
Settlement height:
Value:
0.00235 ERG
Spent in transaction:
Settlement height:
Value:
41.36 ERG
Tokens:
Loading assets...
Transaction Details
Status: Confirmed
Size: 5.52 KB
Received time: 11/30/2024 10:24:49 PM
Included in blocks: 1,407,268
Confirmations: 350,884
Total coins transferred: 42.47 ERG
Fees: 0.00235 ERG
Fees per byte: 0.000000416 ERG
Raw Transaction Data
{
  "id": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
  "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
  "inclusionHeight": 1407268,
  "timestamp": 1733005489017,
  "index": 39,
  "globalIndex": 8149937,
  "numConfirmations": 350884,
  "inputs": [
    {
      "boxId": "e276edf61900ca49e6c56f4406c079370b6a285ec785e2ace5edcefb51ab3018",
      "value": 1000250000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "80c8605231eab9709570979a5e03b50456668c8ce7828ebb128bbd9894f78aa0",
      "outputTransactionId": "d6b19398bbec7c8b320b39792064ab217d491d45dc20f6c185961aa808210c6f",
      "outputIndex": 0,
      "outputGlobalIndex": 44299394,
      "outputCreatedAt": 1406798,
      "outputSettledAt": 1406801,
      "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": 519748329917,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "110780f8a1c6f164d486d1b6a01e4400002420",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1733227200000,519748329898,34,0,0,18,16]"
        },
        "R6": {
          "serializedValue": "1d0501a6a5bfca951e0100010001140114",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[518292760915],[0],[0],[10],[10]]"
        },
        "R8": {
          "serializedValue": "1102a2f7a705a0c21e",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[5570001,250000]"
        },
        "R7": {
          "serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c6402fe2479d596130339645460f2dd82f8f703638f765346a1c4f191bde0adda4b8a060720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    },
    {
      "boxId": "2a3dc2e073f4ce7e74ef404ab89653ecd3975c7b3c5aa68fb94524fd6ca43a61",
      "value": 1000000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "80c8605231eab9709570979a5e03b50456668c8ce7828ebb128bbd9894f78aa0",
      "outputTransactionId": "d6b19398bbec7c8b320b39792064ab217d491d45dc20f6c185961aa808210c6f",
      "outputIndex": 1,
      "outputGlobalIndex": 44299395,
      "outputCreatedAt": 1406798,
      "outputSettledAt": 1406801,
      "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": "73bc3e27409004522e9e7f7355a3e4e0d563004cd1feaa439ca6e1e6ec463271",
      "value": 1000000,
      "index": 2,
      "spendingProof": "ac587182f1140afb81653b76bedd58a6467251f242e1743c7d725a4c65d51ca45fff1bc19e16b9d5cea231e69f8c8f54d0a551049cd91c44",
      "outputBlockId": "fab8c62afffeb9f3d62b9feb940e622b30513363e49c250b48feaa0eb8caad88",
      "outputTransactionId": "ca6336965a9da9addfb2e512ac5bd388bfb5f813fda9c3c83ae56d8f13edafca",
      "outputIndex": 2,
      "outputGlobalIndex": 43992516,
      "outputCreatedAt": 1398456,
      "outputSettledAt": 1398459,
      "ergoTree": "0008cd0387d63a12fe5bd0e490638a371fb4879f5c384b17a17044476d853b5d418229ce",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87d63a,d71c52,...)))}",
      "address": "9hVdTgLE7Wn3rGw7WZtrZCLCT4HULzPaULcFP35rqCswjsJeS9b",
      "assets": [
        {
          "tokenId": "0f3383f02b2674ec79b01ae3c66a6eb9c2450e8338dea3c8950fc30efe4bc429",
          "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"
        }
      }
    },
    {
      "boxId": "818e8ff7ac47cc0024b13f02313d3ca1419c021b04cab93bd17d8d1d94b3e3cd",
      "value": 26466465563,
      "index": 3,
      "spendingProof": "edc1ead7d93ab60a2714554cb8ea1f1e408e32910806546c7889b9295319f38e12a22fe5455daf42eb7edf52e04a8ebad32ea87c7d579e29",
      "outputBlockId": "fab8c62afffeb9f3d62b9feb940e622b30513363e49c250b48feaa0eb8caad88",
      "outputTransactionId": "ca6336965a9da9addfb2e512ac5bd388bfb5f813fda9c3c83ae56d8f13edafca",
      "outputIndex": 5,
      "outputGlobalIndex": 43992519,
      "outputCreatedAt": 1398456,
      "outputSettledAt": 1398459,
      "ergoTree": "0008cd0387d63a12fe5bd0e490638a371fb4879f5c384b17a17044476d853b5d418229ce",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87d63a,d71c52,...)))}",
      "address": "9hVdTgLE7Wn3rGw7WZtrZCLCT4HULzPaULcFP35rqCswjsJeS9b",
      "assets": [
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 0,
          "amount": 159995000,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        },
        {
          "tokenId": "9a06d9e545a41fd51eeffc5e20d818073bf820c635e2a9d922269913e0de369d",
          "index": 1,
          "amount": 297598880,
          "name": "SPF",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "8b08cdd5449a9592a9e79711d7d79249d7a03c535d17efaee83e216e80a44c4b",
          "index": 2,
          "amount": 52161396,
          "name": "RSN",
          "decimals": 3,
          "type": "EIP-004"
        },
        {
          "tokenId": "1eac52506988e173227d1b2cbf73e05dab7f6b1b14054b5fa19bc36a073aa055",
          "index": 3,
          "amount": 1,
          "name": "Restless Nights",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e023c5f382b6e96fbd878f6811aac73345489032157ad5affb84aefd4956c297",
          "index": 4,
          "amount": 1414971,
          "name": "rsADA",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "2288a35ba8b821e304078b2c3e24ac80e1a68fe40fd2306749d3086c507e7d2d",
          "index": 5,
          "amount": 203150,
          "name": "ERG_kushti_LP",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "b021bad8dfae5dbfdc0f82ecb94b5c9db174f0f372f3f62d81b2cd7313f47b76",
          "index": 6,
          "amount": 1,
          "name": "Bulls on Parade 2024",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "72f431450530aa0b750918d23ba5f891f08e4840cc37fdc64745a3c3c1353ce8",
          "index": 7,
          "amount": 2893,
          "name": "TRUMP 2024",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "4d4a4362192ccd14b0de756460e1295071ffbe296621a8e8ac9992364b31e3c4",
          "index": 8,
          "amount": 1,
          "name": "Crux Finance Phase 1 Vesting Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e05e2e2599beb2442dc0885b70cd0c98fb763b9edf74133f4a18cd7642b35a65",
          "index": 9,
          "amount": 1,
          "name": "Crux Finance Phase 1 Vesting Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "59ee24951ce668f0ed32bdb2e2e5731b6c36128748a3b23c28407c5f8ccbf0f6",
          "index": 10,
          "amount": 320,
          "name": "WALRUS",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0fdb7ff8b37479b6eb7aab38d45af2cfeefabbefdc7eebc0348d25dd65bc2c91",
          "index": 11,
          "amount": 69,
          "name": "$Lambo",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "089990451bb430f05a85f4ef3bcb6ebf852b3d6ee68d86d78658b9ccef20074f",
          "index": 12,
          "amount": 440517175629,
          "name": "QUACKS",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "956bcab1ea3ed40c91bf845fe4f2dee727fe130a95f244a41a6ee7a25f14e23f",
          "index": 13,
          "amount": 173005000000,
          "name": "Gluon",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "acf045d8a7b468384f5b92ac174666443bfbcb80984b9c077b4ea5caca7ec2ef",
          "index": 14,
          "amount": 120155382,
          "name": "Lend Token RSN-0e",
          "decimals": 3,
          "type": "EIP-004"
        },
        {
          "tokenId": "d9ab5c06f724bbe779e014d5804ed4cf731e3afed046bfe3872f51b6563bedab",
          "index": 15,
          "amount": 1,
          "name": "Paideia Stake Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e005c3748329d38727987b639c876808b9cc3332c1d9fe601782783f6736380e",
          "index": 16,
          "amount": 1,
          "name": "   INTRODUCING $GIF",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 17,
          "amount": 1000,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        },
        {
          "tokenId": "07b40ca4fb990ebf9eb907e866ada8cfb39a3e69e939dae7e567fd2c625c260b",
          "index": 18,
          "amount": 145283485402,
          "name": "Ergo_duckpools_LP",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "003bd19d0187117f130b62e1bcab0939929ff5c7709f843c5c4dd158949285d0",
          "index": 19,
          "amount": 885,
          "name": "SigRSV",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "2e9e557d835a90e4eaf854dc89f1d18659eb76c428508b55a1d1cc36e001b858",
          "index": 20,
          "amount": 3370000004,
          "name": "Test quacks",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "acee078a7a8c31cbd5718f0230984b1dcd32a40e48a148d7fbc070f478a4073a",
          "index": 21,
          "amount": 175948355087,
          "name": "Lend Token QUACKS-1e",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "64f0376509aa8c9cc56a3d50e85b919eb6603b0e9e7333eed9f4840d1f7a7e53",
          "index": 22,
          "amount": 1,
          "name": "Expanding Duckpools.io",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    },
    {
      "boxId": "1ac8a7335cd763f33b6c1d0f25666ac99ae7e2282840d6002ac7bb045abf825a",
      "value": 15000000000,
      "index": 4,
      "spendingProof": "00baf34b1a95455933e7cd54e0b20b5f480c0d4b74ac2cee2bd5b4b4f262c856979d08cbcc34f6eb650612e66d42253e1745cdd0024deb33",
      "outputBlockId": "25abaf7cc3bb630f6b949830f907f0848193edc9403f7b3e45dff47efeeef625",
      "outputTransactionId": "fd8e85a9d1db2653e2bbe1c5475c7fe50b627c9ba6fa84f03dc4a5f46d7bcaf3",
      "outputIndex": 0,
      "outputGlobalIndex": 44321420,
      "outputCreatedAt": 1407263,
      "outputSettledAt": 1407266,
      "ergoTree": "0008cd0387d63a12fe5bd0e490638a371fb4879f5c384b17a17044476d853b5d418229ce",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87d63a,d71c52,...)))}",
      "address": "9hVdTgLE7Wn3rGw7WZtrZCLCT4HULzPaULcFP35rqCswjsJeS9b",
      "assets": [
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 0,
          "amount": 3000000,
          "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": "c00bdfca3448d54ba7345101da703f2da8240e1e36aadda4bb2ec0bf9c4464e8",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 1000250000,
      "index": 0,
      "globalIndex": 44321646,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "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": 519751329917,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "110780f8a1c6f164d4a1bfb9a01e4400002420",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1733227200000,519751329898,34,0,0,18,16]"
        },
        "R6": {
          "serializedValue": "1d0501a6a5bfca951e0100010001140114",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[518292760915],[0],[0],[10],[10]]"
        },
        "R8": {
          "serializedValue": "1102a2f7a705a0c21e",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[5570001,250000]"
        },
        "R7": {
          "serializedValue": "0c3c6464014ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c6402cbc2b3ead528e62da395ccef455e9918d8b20c8391a3a869bd0ee369f0296421060720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "e41729d1ecbc30c4fbea3ba5b019a42f9a15c69a7b4643e3285f2cdbd5911d20",
      "mainChain": true
    },
    {
      "boxId": "2db42a4babbc74173ec816581f6f4da7931f36f74b418444406c4572eb888278",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 1000000,
      "index": 1,
      "globalIndex": 44321647,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "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": "deecfa30ac66fb1a82e04e0abe790f8c5af6d0670feadaa1f21071d3e1f7d697",
      "mainChain": true
    },
    {
      "boxId": "752ec9d49d0eee0a2a427a2569cb1782f2eea76918291afcee73d0f5766945da",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 1000000,
      "index": 2,
      "globalIndex": 44321648,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "ergoTree": "0008cd0387d63a12fe5bd0e490638a371fb4879f5c384b17a17044476d853b5d418229ce",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87d63a,d71c52,...)))}",
      "address": "9hVdTgLE7Wn3rGw7WZtrZCLCT4HULzPaULcFP35rqCswjsJeS9b",
      "assets": [
        {
          "tokenId": "0f3383f02b2674ec79b01ae3c66a6eb9c2450e8338dea3c8950fc30efe4bc429",
          "index": 0,
          "amount": 1,
          "name": "Paideia Membership",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "b8c5f4a1e6aab3d684aef24bcff14587797c7591cd612bbc5f6497e161fc6ff4",
      "mainChain": true
    },
    {
      "boxId": "4b240dd1b6ef4bcda2f37cff250a3313234e43f870605d55849a9ecb57dd6bd3",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 100000000,
      "index": 3,
      "globalIndex": 44321649,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
      "address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "9741afdc4df375e0054616d49709db983fd47c609992ef56f8404cce911816b4",
      "mainChain": true
    },
    {
      "boxId": "78f8b741354d244fc34f9fb2024f633e4b3cc6a3732629a30f2c3bae575558f5",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 2350000,
      "index": 4,
      "globalIndex": 44321650,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "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": "a017ab79d44c87e31ea068596d7e325dd871d5fbb17efdd32408954ccd255cf9",
      "mainChain": true
    },
    {
      "boxId": "ae0d468a6b84f06c8c04dc8a3a0e996aabf51aa105224f5944653abfb33caf0d",
      "transactionId": "7845d37c074c42fa5ceadffe5ebb73ad6eed06d834240d778da3e62884aaa062",
      "blockId": "8db4a848a896e7f1be7fc7224d1dadf7f31c37b44f42b61b61dbb5a86163e56d",
      "value": 41364115563,
      "index": 5,
      "globalIndex": 44321651,
      "creationHeight": 1407266,
      "settlementHeight": 1407268,
      "ergoTree": "0008cd0387d63a12fe5bd0e490638a371fb4879f5c384b17a17044476d853b5d418229ce",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87d63a,d71c52,...)))}",
      "address": "9hVdTgLE7Wn3rGw7WZtrZCLCT4HULzPaULcFP35rqCswjsJeS9b",
      "assets": [
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 0,
          "amount": 159995000,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        },
        {
          "tokenId": "9a06d9e545a41fd51eeffc5e20d818073bf820c635e2a9d922269913e0de369d",
          "index": 1,
          "amount": 297598880,
          "name": "SPF",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "8b08cdd5449a9592a9e79711d7d79249d7a03c535d17efaee83e216e80a44c4b",
          "index": 2,
          "amount": 52161396,
          "name": "RSN",
          "decimals": 3,
          "type": "EIP-004"
        },
        {
          "tokenId": "1eac52506988e173227d1b2cbf73e05dab7f6b1b14054b5fa19bc36a073aa055",
          "index": 3,
          "amount": 1,
          "name": "Restless Nights",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e023c5f382b6e96fbd878f6811aac73345489032157ad5affb84aefd4956c297",
          "index": 4,
          "amount": 1414971,
          "name": "rsADA",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "2288a35ba8b821e304078b2c3e24ac80e1a68fe40fd2306749d3086c507e7d2d",
          "index": 5,
          "amount": 203150,
          "name": "ERG_kushti_LP",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "b021bad8dfae5dbfdc0f82ecb94b5c9db174f0f372f3f62d81b2cd7313f47b76",
          "index": 6,
          "amount": 1,
          "name": "Bulls on Parade 2024",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "72f431450530aa0b750918d23ba5f891f08e4840cc37fdc64745a3c3c1353ce8",
          "index": 7,
          "amount": 2893,
          "name": "TRUMP 2024",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "4d4a4362192ccd14b0de756460e1295071ffbe296621a8e8ac9992364b31e3c4",
          "index": 8,
          "amount": 1,
          "name": "Crux Finance Phase 1 Vesting Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e05e2e2599beb2442dc0885b70cd0c98fb763b9edf74133f4a18cd7642b35a65",
          "index": 9,
          "amount": 1,
          "name": "Crux Finance Phase 1 Vesting Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "59ee24951ce668f0ed32bdb2e2e5731b6c36128748a3b23c28407c5f8ccbf0f6",
          "index": 10,
          "amount": 320,
          "name": "WALRUS",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0fdb7ff8b37479b6eb7aab38d45af2cfeefabbefdc7eebc0348d25dd65bc2c91",
          "index": 11,
          "amount": 69,
          "name": "$Lambo",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "089990451bb430f05a85f4ef3bcb6ebf852b3d6ee68d86d78658b9ccef20074f",
          "index": 12,
          "amount": 440517175629,
          "name": "QUACKS",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "956bcab1ea3ed40c91bf845fe4f2dee727fe130a95f244a41a6ee7a25f14e23f",
          "index": 13,
          "amount": 173005000000,
          "name": "Gluon",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "acf045d8a7b468384f5b92ac174666443bfbcb80984b9c077b4ea5caca7ec2ef",
          "index": 14,
          "amount": 120155382,
          "name": "Lend Token RSN-0e",
          "decimals": 3,
          "type": "EIP-004"
        },
        {
          "tokenId": "d9ab5c06f724bbe779e014d5804ed4cf731e3afed046bfe3872f51b6563bedab",
          "index": 15,
          "amount": 1,
          "name": "Paideia Stake Key",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e005c3748329d38727987b639c876808b9cc3332c1d9fe601782783f6736380e",
          "index": 16,
          "amount": 1,
          "name": "   INTRODUCING $GIF",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 17,
          "amount": 1000,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        },
        {
          "tokenId": "07b40ca4fb990ebf9eb907e866ada8cfb39a3e69e939dae7e567fd2c625c260b",
          "index": 18,
          "amount": 145283485402,
          "name": "Ergo_duckpools_LP",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "003bd19d0187117f130b62e1bcab0939929ff5c7709f843c5c4dd158949285d0",
          "index": 19,
          "amount": 885,
          "name": "SigRSV",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "2e9e557d835a90e4eaf854dc89f1d18659eb76c428508b55a1d1cc36e001b858",
          "index": 20,
          "amount": 3370000004,
          "name": "Test quacks",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "acee078a7a8c31cbd5718f0230984b1dcd32a40e48a148d7fbc070f478a4073a",
          "index": 21,
          "amount": 175948355087,
          "name": "Lend Token QUACKS-1e",
          "decimals": 6,
          "type": "EIP-004"
        },
        {
          "tokenId": "64f0376509aa8c9cc56a3d50e85b919eb6603b0e9e7333eed9f4840d1f7a7e53",
          "index": 22,
          "amount": 1,
          "name": "Expanding Duckpools.io",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "f4c348052096caa5b6d5c7761a81924416ff9ca3e4dfeced4755fe35173bbe1f",
      "mainChain": true
    }
  ],
  "size": 5651,
  "isUnconfirmed": false
}