Ad
Inputs (3)
Output transaction:
Settlement height:
Value:
0.00875 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Output transaction:
Settlement height:
Value:
1.92 ERG
Tokens:
1,008,365.64
Outputs (5)
Spent in transaction:
Settlement height:
Value:
0.00875 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.0001381 ERG
Tokens:
Spent in transaction:
Settlement height:
Value:
0.0048619 ERG
Spent in transaction:
Settlement height:
Value:
1.92 ERG
Tokens:
1,008,365.63
Transaction Details
Status: Confirmed
Size: 14.44 KB
Received time: 10/25/2023 10:03:29 AM
Included in blocks: 1,120,082
Confirmations: 635,986
Total coins transferred: 1.93 ERG
Fees: 0.0048619 ERG
Fees per byte: 0.000000329 ERG
Raw Transaction Data
{
  "id": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
  "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
  "inclusionHeight": 1120082,
  "timestamp": 1698228209758,
  "index": 2,
  "globalIndex": 6013340,
  "numConfirmations": 635986,
  "inputs": [
    {
      "boxId": "d3f4153ee3502cb534cad4a41ba3433b195ad6371ec40746ffb20bf7a8635a97",
      "value": 8750000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "outputTransactionId": "520b27c8c5f42d7ab837045b256811be1d77db2eb0a79d7a85a2d422d54d5bf3",
      "outputIndex": 0,
      "outputGlobalIndex": 33718384,
      "outputCreatedAt": 1120080,
      "outputSettledAt": 1120082,
      "ergoTree": "1032040004020e20deaecf5b64bad6f5570bad0a610c4e484957cf4782308400bc90404c1d1410da0e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e040004000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f90400040c02000402040204420201040404020442020204060402044202030408040204420204040a040204420205040c040204420206040e040204420400040204420400040004020402d808d601b2db6501fe730000d602e4e30102d6037e720204d604b2a4730100d605dc640be4c6720104640283080e73027303730473057306730773087309e4e3000ed606b2a5730a00d607db63087206d608db6308a7d196830401938cb2db63087201730b0001730ced927203730d907203730e97830701ed937202730f93cbc27204b4e4b2720573100073117312ed937202731393cbc27204b4e4b2720573140073157316ed937202731793cbc27204b4e4b272057318007319731aed937202731b93cbc27204b4e4b27205731c00731d731eed937202731f93cbc27204b4e4b2720573200073217322ed937202732393cbc27204b4e4b2720573240073257326ed937202732793cbc27204b4e4b272057328007329732a9683030193cbc27206b4e4b27205732b00732c732d93b27207732e00b27208732f00938cb27207733000018cb2720873310001",
      "ergoTreeConstants": "0: 0\n1: 1\n2: Coll(-34,-82,-49,91,100,-70,-42,-11,87,11,-83,10,97,12,78,72,73,87,-49,71,-126,48,-124,0,-68,-112,64,76,29,20,16,-38)\n3: Coll(3,-110,8,-68,78,-17,-102,3,-24,-41,-117,-122,99,-93,1,-69,95,-83,-36,-89,-117,-31,-99,127,-27,53,-77,-58,76,-66,-2,66)\n4: Coll(-120,48,97,44,82,53,95,111,40,13,18,-105,-15,-97,103,-80,120,-55,-38,-89,-41,-80,75,69,-100,-111,-52,100,73,87,-62,-128)\n5: Coll(-117,-57,-113,28,106,-82,-55,30,98,-114,21,-49,102,-116,22,-52,30,-101,-40,-28,-71,-73,-31,109,99,24,-75,-11,35,-91,-23,-67)\n6: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n7: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n8: Coll(58,17,-107,92,71,25,-27,-120,-68,-26,-89,97,29,39,-67,31,-33,-37,87,56,92,-82,-30,102,-40,4,12,-119,79,28,46,29)\n9: Coll(9,-126,15,-53,-120,113,-5,69,12,62,6,-73,-53,94,39,-80,69,80,-121,-93,102,98,26,-99,-34,117,-126,-96,25,17,30,62)\n10: 0\n11: 0\n12: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n13: 0\n14: 6\n15: 0\n16: 1\n17: 1\n18: 33\n19: 1\n20: 2\n21: 1\n22: 33\n23: 2\n24: 3\n25: 1\n26: 33\n27: 3\n28: 4\n29: 1\n30: 33\n31: 4\n32: 5\n33: 1\n34: 33\n35: 5\n36: 6\n37: 1\n38: 33\n39: 6\n40: 7\n41: 1\n42: 33\n43: 0\n44: 1\n45: 33\n46: 0\n47: 0\n48: 1\n49: 1",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val b2 = getVar[Byte](1.toByte).get\n  val i3 = b2.toInt\n  val box4 = INPUTS(placeholder[Int](1))\n  val coll5 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](\n      placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4), placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6), placeholder[\n        Coll[Byte]\n      ](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9)\n    ), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box6 = OUTPUTS(placeholder[Int](10))\n  val coll7 = box6.tokens\n  val coll8 = SELF.tokens\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12), (i3 >= placeholder[Int](13)) && (i3 <= placeholder[Int](14)), anyOf(\n          Coll[Boolean](\n            (b2 == placeholder[Byte](15)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](16)).get.slice(placeholder[Int](17), placeholder[Int](18))\n            ), (b2 == placeholder[Byte](19)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](20)).get.slice(placeholder[Int](21), placeholder[Int](22))\n            ), (b2 == placeholder[Byte](23)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](24)).get.slice(placeholder[Int](25), placeholder[Int](26))\n            ), (b2 == placeholder[Byte](27)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](28)).get.slice(placeholder[Int](29), placeholder[Int](30))\n            ), (b2 == placeholder[Byte](31)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](32)).get.slice(placeholder[Int](33), placeholder[Int](34))\n            ), (b2 == placeholder[Byte](35)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38))\n            ), (b2 == placeholder[Byte](39)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](40)).get.slice(placeholder[Int](41), placeholder[Int](42))\n            )\n          )\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box6.propositionBytes) == coll5(placeholder[Int](43)).get.slice(placeholder[Int](44), placeholder[Int](45)), coll7(\n              placeholder[Int](46)\n            ) == coll8(placeholder[Int](47)), coll7(placeholder[Int](48))._1 == coll8(placeholder[Int](49))._1\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "MUeEFF9n6rMZGwhMHSCUToqgZV77SPd7enUFfdMSt9BwbM2eVwCQ44yZjJRqxpgU8bJijkTjNhB7AH2wUM9UkZjHnyPDKFRDMozra8a3ptKsKvQXN3wBzXAwBaTFpdS2WuYqQTP4VzokiUjFsoesobW74Nh51uAqDTXKK4SZ4QnphLpCAVPBu9rEca48RLrMViEzYQKchqzyX2oA7cSzY8do7poc4Y6jPiNYuRbLyjifcNBqBVjRruuZr9N2KzVJWC8eNphZVuYkBay9tHp6qC6BMyN5Pr1YGnWDNMX8ivyrogza6wiJga8rvBSN2brt6tU5pWHpkBRRZYySTP69G5utxvkLKuk26xvvMuXJbW5TuTttKEDCLewsejh5yyijfiEkhpofHh7PerZDJWPJGheKC3geRJWEkY57dFZpuecF11sutLhW4P8ttyS2cvptsqhk99iMJAoh185KfQY81dyNpAU3Puh46Tk3Wn3fizqTKmp8MmrXotPfzEB3Z9tNc1K6GgcZUmdLoYJrSDFk3csEMQZLhLhVWaxsqHj6FARz6n8VTGwuqn39F1nje4ZR9bhEiZXSRMGKyZjs3KUvY9apkyH7sZdX4PknbxpkAMdgw9v3mzKnC6G6JYdMpqyLoiUjko4XwCLqA15dtCW1QzwSpYQMeojjLLfA4LVU8v3yfBaMVZQcx4egZ7XYRtB7FKGhApxstz7RW5fnf2pdxZFC73wLUkdf92inpfjWZu2adXLDhM3pcZDBfUBGrpXe7agzwnrSY3JssFB5afvBatXvc9CgRXZUzzomSwm2afYJKZxQighQWdqX1Hkxmzny9JGqFeGv6D1qVwNGbBpajkDS8A8MmDX8R3FffLHJqrUEVhFkFFQEBSwJvnbkwfMxPHNu3FCip7TJYWbuyH2QvK9tpas4MwmUEqCtFUeu3oPCpEdbmX1dmWkgYC89Qc3aRT6mCWafUh6hreuuHYHvEySvxF7Bgd1f",
      "assets": [
        {
          "tokenId": "00ad20adc989005bb7c79afa64bad214da89c7e627dcb3d5d43580500f08ac28",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake State",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 1,
          "amount": 106604279019,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "110780c4e9b6ed62d8df819893012800009c96a58502a6c21e",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1698314400000,19755186156,20,0,0,273982862,250003]"
        },
        "R6": {
          "serializedValue": "1d0502a0ede2919101d8df81989301020006020086f5db09021414021414",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[19480206160,19755186156],[0,3],[0,10190147],[10,10],[10,10]]"
        },
        "R8": {
          "serializedValue": "11029c96a58502a6c21e",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[273982862,250003]"
        },
        "R7": {
          "serializedValue": "0c3c6464025d400c492e1e5241b945b880e480b9984bf945fcbfc7ffdf4299c2b00be7b7e1050720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720006ac609a3e0125270ff232ac152f8eb09e2e7620fa31407fb206638d4f147d51005072000c8aa1495716357cb2164aa676b9a32ce279798accec1114df97171cecd0bf26e02072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c64026ac609a3e0125270ff232ac152f8eb09e2e7620fa31407fb206638d4f147d510050720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    },
    {
      "boxId": "9301e50cff61a5b471790198e447d6a34586b05a7036282df8c91821848f2d09",
      "value": 1000000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "cd085deff1b7910b0c28f211f744ab27410801baf8e279899c8f5f5f03fdd939",
      "outputTransactionId": "5a0bf73c4aa1dd854251f52b5965167dd499c5ff363bef7aeb526b41bd78bbc6",
      "outputIndex": 1,
      "outputGlobalIndex": 33689757,
      "outputCreatedAt": 1119335,
      "outputSettledAt": 1119337,
      "ergoTree": "108601040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040a040c044a040a040c044a040204080500041004100410050104000410042004000400040204000406050004000200040404000408050004000200040002640200026406010006010004000410041004200500050004100410041006010001010400050004000400040004000601000400040004020402040204000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f904000400040c044c040005000400040004000400040204000402041004200500040004020402044204020402040004000404040a0404040a0414024e02c6021f0248025b029802eb02870215023f027c025702db024f025e02cd02750255026f02dd02bc0240023b024102ac02f80244021f02de028e021602090200040ad830d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606ad7205d901063c0e0e8c720601d607db0c0e7206d608e4c67202040c64d609b27208730500d60ae4c672020511d60bb1720ad60ce4b27204730600d60ddb0c0eb4720c73079d99b1720c73087309d60eb3b4720a730a720badb4ad720dd9010e04b4720c9a9a730b9c730c720e730d9a730e9c730f9a720e731099720b7311b1720dd9010e0e7312d60fdb0c0e720ed610addc640b7209027206e4e3020ed901103295e67210ad720fd9011204d801d6149a9c7212731373147cb4e4721072149a72147315ad720ed90112057316d611e4c67202070c3c6464d612b27211731700d6138c721201d614addc640b7213027206e4e3030ed90114327cb4e4721473187319d615e4c67202061dd616b2b27215731a00731b00d617b2b27215731c00731d00d618b27215731e00d61995917217731f7db27218732000027321d61ab2b27215732200732300d61bb27215732400d61c9591721a73257db2721b732600027327d61d9a7219721cd61e95917e721d047328a2997329721d732a732bd61f732cd620732dd6219a721d721ed6228c721202d623addc640b7222027206e4e3050ed901233295e67223d801d625e4722386027cb47225732e732f7cb4722573307331860273327333d624e4c672020811d625ad7205d901253c0e0ead720fd9012704d801d6299a9c7227733473357cb48c72250272299a72297336d6268602ad7224d901260573377338d627addb0c0e7224d9012704b0ad7207d9012904d801d62bb272107229009592b2722b733900733ad801d62cad7224d9012c05d801d62e7e722c069d9a9a9c9d9c7eb2721472290006722e7e7216067e721e0695917e721904733b9c9d9c7e8cb272237229000106722e7e7217067eb27218733c0006721f95917e721c04733d9c9d9c7e8cb272237229000206722e7e721a067eb2721b733e000672207e7221068602722c93addc0c1d722b01722cd9012d41069a7e8c722d01068c722d02adb27225722900d9012d057e722d067226733fd901294249129a8c722901b28c8c72290201722700d628b2a5734000d629e4c672280511d62ae4c67228070c3c6464d62bb2722a734100d62cdb64018c722b01d62de4c67228040c64d62eb2a5734200d62f938c722b027222d63093b4722a7343b1722ab472117344b17211d196830a01938cb2db63087201734500017346938cb2720373470001b4e4b272047348007349734a96ad7207d9013104d801d633b272107231008c9592b27233734b00734cd801d634ad7224d9013405d801d6367e7234069d9a9a9c9d9c7eb272147231000672367e7216067e721e0695917e721904734d9c9d9c7e8cb27223723100010672367e7217067eb27218734e0006721f95917e721c04734f9c9d9c7e8cb27223723100020672367e721a067eb2721b7350000672207e7221068602723493addc0c1d7233017234d9013541069a7e8c723501068c723502adb27225723100d90135057e723506722602939a7eb2720a73510006b272277352007eb272297353000693db6401e4dc640e7213027206e4e3040e722c93db6401e4dc640d720902b57205d901313c0e0e917cb48c723102735473557356e4e3060edb6401b2722d7357009683020193cbc2722eb4e4b272047358007359735a92c1722ec1a796830b0193c17228c1720293db63087228720393db6401b2722d735b00db6401b27208735c00722f723093b27229735d00b2720a735e0093b47229735f7360b4720a7361736293e4c67228061d72157230722f93e4c6722808117224ec92b17205736393722c832102736473657366736773687369736a736b736c736d736e736f7370737173727373737473757376737773787379737a737b737c737d737e737f738001738101738201738301738401af720fd9013104937eb2b47229738501b1722972310006997eb2720e72310006b27227723100",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 2\n7: 0\n8: 6\n9: 37\n10: 5\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 1\n17: 4\n18: 0\n19: 8\n20: 8\n21: 8\n22: -1\n23: 0\n24: 8\n25: 16\n26: 0\n27: 0\n28: 1\n29: 0\n30: 3\n31: 0\n32: 0\n33: 0\n34: 2\n35: 0\n36: 4\n37: 0\n38: 0\n39: 0\n40: 0\n41: 100\n42: 0\n43: 100\n44: CBigInt(0)\n45: CBigInt(0)\n46: 0\n47: 8\n48: 8\n49: 16\n50: 0\n51: 0\n52: 8\n53: 8\n54: 8\n55: CBigInt(0)\n56: true\n57: 0\n58: 0\n59: 0\n60: 0\n61: 0\n62: 0\n63: CBigInt(0)\n64: 0\n65: 0\n66: 1\n67: 1\n68: 1\n69: 0\n70: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n71: 0\n72: 0\n73: 6\n74: 38\n75: 0\n76: 0\n77: 0\n78: 0\n79: 0\n80: 0\n81: 1\n82: 0\n83: 1\n84: 8\n85: 16\n86: 0\n87: 0\n88: 1\n89: 1\n90: 33\n91: 1\n92: 1\n93: 0\n94: 0\n95: 2\n96: 5\n97: 2\n98: 5\n99: 10\n100: 78\n101: -58\n102: 31\n103: 72\n104: 91\n105: -104\n106: -21\n107: -121\n108: 21\n109: 63\n110: 124\n111: 87\n112: -37\n113: 79\n114: 94\n115: -51\n116: 117\n117: 85\n118: 111\n119: -35\n120: -68\n121: 64\n122: 59\n123: 65\n124: -84\n125: -8\n126: 68\n127: 31\n128: -34\n129: -114\n130: 22\n131: 9\n132: 0\n133: 5",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val coll5 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val coll6 = coll5.map({(tuple6: (Coll[Byte], Coll[Byte])) => tuple6._1 })\n  val coll7 = coll6.indices\n  val coll8 = box2.R4[Coll[AvlTree]].get\n  val avlTree9 = coll8(placeholder[Int](5))\n  val coll10 = box2.R5[Coll[Long]].get\n  val i11 = coll10.size\n  val coll12 = coll4(placeholder[Int](6)).get\n  val coll13 = coll12.slice(placeholder[Int](7), coll12.size - placeholder[Int](8) / placeholder[Int](9)).indices\n  val coll14 = coll10.slice(placeholder[Int](10), i11).append(\n    coll13.map(\n      {(i14: Int) =>\n        coll12.slice(\n          placeholder[Int](11) + placeholder[Int](12) * i14 + placeholder[Int](13), placeholder[Int](14) + placeholder[Int](15) * i14 + placeholder[Int](16)\n        )\n      }\n    ).slice(i11 - placeholder[Int](17), coll13.size).map({(coll14: Coll[Byte]) => placeholder[Long](18) })\n  )\n  val coll15 = coll14.indices\n  val coll16 = avlTree9.getMany(coll6, getVar[Coll[Byte]](2.toByte).get).map({(opt16: Option[Coll[Byte]]) => if (opt16.isDefined) { coll15.map({(i18: Int) =>\n            val i20 = i18 * placeholder[Int](19) + placeholder[Int](20)\n            byteArrayToLong(opt16.get.slice(i20, i20 + placeholder[Int](21)))\n          }) } else { coll14.map({(l18: Long) => placeholder[Long](22) }) } })\n  val coll17 = box2.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple18 = coll17(placeholder[Int](23))\n  val avlTree19 = tuple18._1\n  val coll20 = avlTree19.getMany(coll6, getVar[Coll[Byte]](3.toByte).get).map(\n    {(opt20: Option[Coll[Byte]]) => byteArrayToLong(opt20.get.slice(placeholder[Int](24), placeholder[Int](25))) }\n  )\n  val coll21 = box2.R6[Coll[Coll[Long]]].get\n  val l22 = coll21(placeholder[Int](26))(placeholder[Int](27))\n  val l23 = coll21(placeholder[Int](28))(placeholder[Int](29))\n  val coll24 = coll21(placeholder[Int](30))\n  val b25 = if (l23 > placeholder[Long](31)) { coll24(placeholder[Int](32)).toByte } else { placeholder[Byte](33) }\n  val l26 = coll21(placeholder[Int](34))(placeholder[Int](35))\n  val coll27 = coll21(placeholder[Int](36))\n  val b28 = if (l26 > placeholder[Long](37)) { coll27(placeholder[Int](38)).toByte } else { placeholder[Byte](39) }\n  val b29 = b25 + b28\n  val b30 = if (b29.toInt > placeholder[Int](40)) { max(placeholder[Byte](41) - b29, placeholder[Byte](42)) } else { placeholder[Byte](43) }\n  val bi31 = placeholder[BigInt](44)\n  val bi32 = placeholder[BigInt](45)\n  val b33 = b29 + b30\n  val avlTree34 = tuple18._2\n  val coll35 = avlTree34.getMany(coll6, getVar[Coll[Byte]](5.toByte).get).map({(opt35: Option[Coll[Byte]]) => if (opt35.isDefined) {(\n        val coll37 = opt35.get\n        (byteArrayToLong(coll37.slice(placeholder[Int](46), placeholder[Int](47))), byteArrayToLong(coll37.slice(placeholder[Int](48), placeholder[Int](49))))\n      )} else { (placeholder[Long](50), placeholder[Long](51)) } })\n  val coll36 = box2.R8[Coll[Long]].get\n  val coll37 = coll5.map({(tuple37: (Coll[Byte], Coll[Byte])) => coll15.map({(i39: Int) =>\n          val i41 = i39 * placeholder[Int](52) + placeholder[Int](53)\n          byteArrayToLong(tuple37._2.slice(i41, i41 + placeholder[Int](54)))\n        }) })\n  val tuple38 = (coll36.map({(l38: Long) => placeholder[BigInt](55) }), placeholder[Boolean](56))\n  val coll39 = coll36.indices.map({(i39: Int) => coll7.map({(i41: Int) =>\n          val coll43 = coll16(i41)\n          if (coll43(placeholder[Int](57)) >= placeholder[Long](58)) {(\n            val coll44 = coll36.map({(l44: Long) =>\n                val bi46 = l44.toBigInt\n                coll20(i41).toBigInt * bi46 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](59)) { coll35(i41)._1.toBigInt * bi46 / l23.toBigInt * coll24(placeholder[Int](60)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](61)) { coll35(i41)._2.toBigInt * bi46 / l26.toBigInt * coll27(placeholder[Int](62)).toBigInt } else { bi32 } / b33.toBigInt\n              })\n            (coll44, coll43.zip(coll44).map({(tuple45: (Long, BigInt)) => tuple45._1.toBigInt + tuple45._2 }) == coll37(i41).map({(l45: Long) => l45.toBigInt }))\n          )} else { tuple38 }\n        }).fold(placeholder[BigInt](63), {(tuple41: (BigInt, (Coll[BigInt], Boolean))) => tuple41._1 + tuple41._2._1(i39) }) })\n  val box40 = OUTPUTS(placeholder[Int](64))\n  val coll41 = box40.R5[Coll[Long]].get\n  val coll42 = box40.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple43 = coll42(placeholder[Int](65))\n  val coll44 = tuple43._1.digest\n  val coll45 = box40.R4[Coll[AvlTree]].get\n  val box46 = OUTPUTS(placeholder[Int](66))\n  val bool47 = tuple43._2 == avlTree34\n  val bool48 = coll42.slice(placeholder[Int](67), coll42.size) == coll17.slice(placeholder[Int](68), coll17.size)\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](69))._1 == placeholder[Coll[Byte]](70), coll3(placeholder[Int](71))._1 == coll4(placeholder[Int](72)).get.slice(\n          placeholder[Int](73), placeholder[Int](74)\n        ), allOf(coll7.map({(i49: Int) =>\n              val coll51 = coll16(i49)\n              if (coll51(placeholder[Int](75)) >= placeholder[Long](76)) {(\n                val coll52 = coll36.map({(l52: Long) =>\n                    val bi54 = l52.toBigInt\n                    coll20(i49).toBigInt * bi54 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](77)) { coll35(i49)._1.toBigInt * bi54 / l23.toBigInt * coll24(placeholder[Int](78)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](79)) { coll35(i49)._2.toBigInt * bi54 / l26.toBigInt * coll27(placeholder[Int](80)).toBigInt } else { bi32 } / b33.toBigInt\n                  })\n                (coll52, coll51.zip(coll52).map({(tuple53: (Long, BigInt)) => tuple53._1.toBigInt + tuple53._2 }) == coll37(i49).map({(l53: Long) => l53.toBigInt }))\n              )} else { tuple38 }._2\n            })), coll10(placeholder[Int](81)).toBigInt + coll39(placeholder[Int](82)) == coll41(placeholder[Int](83)).toBigInt, avlTree19.remove(\n          coll6, getVar[Coll[Byte]](4.toByte).get\n        ).get.digest == coll44, avlTree9.update(\n          coll5.filter(\n            {(tuple49: (Coll[Byte], Coll[Byte])) => byteArrayToLong(tuple49._2.slice(placeholder[Int](84), placeholder[Int](85))) > placeholder[Long](86) }\n          ), getVar[Coll[Byte]](6.toByte).get\n        ).get.digest == coll45(placeholder[Int](87)).digest, allOf(\n          Coll[Boolean](\n            blake2b256(box46.propositionBytes) == coll4(placeholder[Int](88)).get.slice(placeholder[Int](89), placeholder[Int](90)), box46.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            box40.value == box2.value, box40.tokens == coll3, coll45(placeholder[Int](91)).digest == coll8(placeholder[Int](92)).digest, bool47, bool48, coll41(\n              placeholder[Int](93)\n            ) == coll10(placeholder[Int](94)), coll41.slice(placeholder[Int](95), placeholder[Int](96)) == coll10.slice(\n              placeholder[Int](97), placeholder[Int](98)\n            ), box40.R6[Coll[Coll[Long]]].get == coll21, bool48, bool47, box40.R8[Coll[Long]].get == coll36\n          )\n        ), (coll5.size >= placeholder[Int](99)) || (\n          coll44 == Coll[Byte](\n            placeholder[Byte](100), placeholder[Byte](101), placeholder[Byte](102), placeholder[Byte](103), placeholder[Byte](104), placeholder[Byte](\n              105\n            ), placeholder[Byte](106), placeholder[Byte](107), placeholder[Byte](108), placeholder[Byte](109), placeholder[Byte](110), placeholder[Byte](\n              111\n            ), placeholder[Byte](112), placeholder[Byte](113), placeholder[Byte](114), placeholder[Byte](115), placeholder[Byte](116), placeholder[Byte](\n              117\n            ), placeholder[Byte](118), placeholder[Byte](119), placeholder[Byte](120), placeholder[Byte](121), placeholder[Byte](122), placeholder[Byte](\n              123\n            ), placeholder[Byte](124), placeholder[Byte](125), placeholder[Byte](126), placeholder[Byte](127), placeholder[Byte](128), placeholder[Byte](\n              129\n            ), placeholder[Byte](130), placeholder[Byte](131), placeholder[Byte](132)\n          )\n        ), coll15.forall({(i49: Int) => coll41.slice(placeholder[Int](133), coll41.size)(i49).toBigInt == coll14(i49).toBigInt - coll39(i49) })\n      )\n    )\n  )\n}",
      "address": "vucDXTTqa2umSjNzQPk516MHK3PaohsSV3brbA91qQHMa2K51di24nCHFBsyQDGne8NPUHah45sR2CWXE8HMHXAwtQsnypTX4bXKfiwsHfd3duRW7ozm94SHB55UdxhvEunb16K11veiGpxNv76C8fmbgHik4qsSZpdaAJ6NhgigVRVokHFVCRRF9931pfPAuGHgGUtpqJ3SW7g9cmYuXKo4ogwitJRHo2fCZXYkqUK9eqWdBUbASUCQyBDtypxuBcuLybDaoFSwx1sX2hnd7X9He6PsCmQHLbPwcGcHtaYE5Gpu1aQooHgs37uFkSwZdedUWU35n8D7RZBwHs6oDxLR8mxsKz3WNsUdVqULHpvSd5ihfqeFqNWLbmjvJvCC6PaPXKdEp3Sc2G7tGXviLuoUkhnik986tT6W2aocZSMFv2mGSvG97qU2LjM2e6xoSczmnyXpkaMGUjAabHtMNuc4nkBQ6KMdpoPahQcxNTUcgNv9HxSf6kP6Gy51RiugARKsYQT5hf2v9wf8nY5MAcHtis2GDgcMQKYedfMdN9ovANat2a5qSuc5Vu6wSwTbBe4LpJstoGism1BDp6RqaxvvYdyq8VvCX7SzzEcVMhyiULqLNUtR2spW2BVDefYtJUVTWm9YhYw5p8hLKvrgg4CtM1pMAJ286YVe4YWxetfBjefZu2MRcKqRvPirjgNFjX41nNt1jyMfS4yQzJcNLb6USyr7q5eqy1Fpuk5s6gbkyUpgf1dhoghxErJ2n9Wdrx6NddPBi8BDqpy24xcyQq1m5iZPHDK41rfLGpdFcz9Cu98h5rUdbTAoLxe1KSqPWuSr9RgYJCBbJugwLzevQg7zTejbhm3JpsYyjD63fJs57iHrkY6ngdXZgk5HoBvcsYmhn6D5LcK1vndDJkKaFiW9fVinXSsKBeweXuc9E4YeSovsYFNBWycnh4v9tJeu5at4qhBJvSKVDBxv3s9jTRhfAJjchG2Bt49xhMLTHwiPTzeVnvW2VNTyCneuVTmorRmir4GRrg4TdyTu7hWAeDVciy7J8jLU5ZontpJejEXMCZ6kx8eatMwpqPbD8vgTsJQQ4imGmKqSHeufBJvYxEf6PjXqgB1AaUFbYS3x25cvnmCA3UFqTexUCvtmsD7o32XAAsTk61YPFHCzzXgeZyHrSKiKPXHfUF8jU5cxMUAtEEcrs8aknhXFjHkWScJ9HvC5ArbifdcUpMUuHaYaxcDAVENpKTin7Kr2nR27nNh5MVBj3zBmreEBip6XdnMNhXYe1m7LntExN9A61iKRwvLuGB1svQB4QuJvpa38eYV1UC4CaroeMHimCVNjGsRw53kv2vXW7XVd1Q3kMqbdmjUmCqx2KJjZhvMgxfhHszkXDmiaivskRXts2W1buYVLxEUBP1boBm3L6FKhTcozJCkfXtadib2kB25EEGkuFXP3bacjY5EsGQ3rXnK7o5VtbgWDiz77JZazTSNPf8Vs9nyj1rNSjbJEEmrQohV4Dbuw2G89DP4V2eor9Xawv4SLTtHwcxsvdTKgxNMKQn62DAAiJoByhC8PNcB36W9r5U2uoZzXEVg3bcC1DS83LfFLpKc6ShBpndq3fui8rasgPfsj6farH3v4e6GHVzWd5GRTXGM1QCTRdW6TVzhVTTsFXmAoCYPY1crEX4EEtwwxsXtfQ2DaXiuFoHAwo3CMdadcjo5oa33CaxRkxHoQHR6nFpWjqHTkt9GNj3kEbmVAsWSyud73QQoh6Xb9NCwjT3kb4HxK8QMFUxbdmsFuciFiZYCL8CBDuuZtFf9oEqNMyx1JMkuoPs7pD1yisoxxLq8XWDbf5Quhr8ZuXrkrqFDASmUTE3Ya7sadue7N3x7ZmwWkKA7JVvjkACcPUBGx4iEovxcvyATxorv9DGkXBip6SjodYy5wyZzGvMaFqAVSeEYCCQRofxKWBcy2fhJMm1E7JoctXeMGqhiLhtFaMVM4wFSzxEHdv4JPrEMdkESRKt41TF8Ekt32HRk6yxfzKhu9eXe9J8zSHTkenFb7sugLAayVGvr1WRJYaBELXyszBSPysa3RbYS68cXPurDrGDgnV5Xaw7iZ164G4YhFr21W2NHKWxAQzaxyRTctBxB8hhrMMaUSmMsjc7refqRa9okU3E2D6bPW5mkf5CysnPiQQ5fqfcwTzDq62LTVTm4RJa2CU7t3bqWdsVVqQf9WDVSL8beNc1rQvdT7xxxaftKSndrj1uQJctUr1X5BgAyuW3WyFTSSF2C2wMFptNtMa7DwiLVM5fXSt7f837tMQtwZYZiKgZuKRuH9SG7ZYNuZax6MTgeUwmUFD6s3xi8Xihd3bWKd16WfwyV6b47hb8aVY8nkFPF5s2L2ZapmJvHVEvgrD6GnnyC88XC6dQpr8ZyDwGpDTuo7sXWiHRCGMC6KF2VaEBvQzWfMy4x66MmpqBPAhU5qG7RaoKskNasLaVwp85SSsXdbFZGr217mEFFWc6eTGSHKUDcyNuQg5oAtZR9in4kE1RkxVwAFxenN6dwXVgywFyxjh3C1BmHjwAbUHjVBy",
      "assets": [],
      "additionalRegisters": {}
    },
    {
      "boxId": "e0d665029c6d090c26eb99e936cccd4b9d7c22322e53e4dc5d8ec03508161518",
      "value": 1924850000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "outputTransactionId": "520b27c8c5f42d7ab837045b256811be1d77db2eb0a79d7a85a2d422d54d5bf3",
      "outputIndex": 5,
      "outputGlobalIndex": 33718389,
      "outputCreatedAt": 1120080,
      "outputSettledAt": 1120082,
      "ergoTree": "103b040004000e20008a3b597bd494557adf7d0d0a3b6ba32f935cf52f83f46a6b1233333a487a5101000e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc59830e205bcff102254366780cd5191257050a6ed33ac5d12eef0e304139ed5d981f4bfa040004000400040205000500050004000e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc5040004000e20225e3fc5d189f547d9c626bebdc671398b6c007c783dc47f903f24bf7f3484790e20bc4a5ab9e45ab74b79faecbf67496cc2bf8c2b0e55dbe8accfc39d14891174900e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b7704000402041204040502040404020442040004000406040204120500050004020402041204020402040204420e20ecf2d04bae48a00a8a6e49c0567263c9f5d23f26c82358a176abd1f021d8b130040204020412050005000400040204120402040004020442040204020100d803d601aea4d9010163d801d603db630872019591b172037300938cb272037301000173027303d6027304d6037305d197830201720195ef7201d810d604b2a5730600d605e4c672040511d606b2a4730700d607c2a7d608b2b5a5d901086393c272087207730800d609db6501fed60ae4c6b272097309000464d60be4e3000ed60cb5a4d9010c6393c2720c7207d60db0720c730ad9010d41639a8c720d01c18c720d02d60edb63087208d60fd9010f0eb0dc0c0f720c01d9011163db63087211730bd90111414d0ed801d6138c7211029a8c72110195938c721301720f8c721302730cd610da720f017202d611dc640be4c6b27209730d0004640283020e730e730fe4e3010ed612afb5720ed901124d0e948c7212017202d901124d0e938c721202da720f018c721201d613afdc0c0f720c01d9011363db63087213d901134d0ed801d6158c721301ec9372157202aedb63087208d901164d0e938c72160172159591b27205731000b2e4c672060511731100d803d614dc640b720a0283040e7312731373147203720bd6159a9c7cb4e4b2721473150073167317b272057318007319d616b2db6308b2b5a5d901166393cbc27216b4e4b27214731a00731b731c731d00731e009683070192c1720899720d7cb4e4b27214731f007320732192b0720e7322d90117414d0ed801d6198c7217029a8c72170195938c72190172028c72190273239999721072157cb4e4b272147324007325732672127213938c7216017202928c721602721593cbc2b2a4732700b4e4b272117328007329732ad801d614dc640b720a0283020e732b7203720b9683060192c1720899720d7cb4e4b27214732c00732d732e92b0720e732fd90115414d0ed801d6178c7215029a8c72150195938c72170172028c72170273309972107cb4e4b27214733100733273337212721393cbc2b2a4733400b4e4b2721173350073367337938cb2db63087204733800028cb2db6308720673390002733a",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(0,-118,59,89,123,-44,-108,85,122,-33,125,13,10,59,107,-93,47,-109,92,-11,47,-125,-12,106,107,18,51,51,58,72,122,81)\n3: false\n4: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\n5: Coll(91,-49,-15,2,37,67,102,120,12,-43,25,18,87,5,10,110,-45,58,-59,-47,46,-17,14,48,65,57,-19,93,-104,31,75,-6)\n6: 0\n7: 0\n8: 0\n9: 1\n10: 0\n11: 0\n12: 0\n13: 0\n14: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n15: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n16: 0\n17: 0\n18: Coll(34,94,63,-59,-47,-119,-11,71,-39,-58,38,-66,-67,-58,113,57,-117,108,0,124,120,61,-60,127,-112,63,36,-65,127,52,-124,121)\n19: Coll(-68,74,90,-71,-28,90,-73,75,121,-6,-20,-65,103,73,108,-62,-65,-116,43,14,85,-37,-24,-84,-49,-61,-99,20,-119,17,116,-112)\n20: Coll(118,124,-86,-128,-71,-114,73,106,-40,-87,-10,-119,-60,65,10,-28,83,50,127,15,-107,-23,80,-124,-64,-82,32,99,80,121,59,119)\n21: 0\n22: 1\n23: 9\n24: 2\n25: 1\n26: 2\n27: 1\n28: 33\n29: 0\n30: 0\n31: 3\n32: 1\n33: 9\n34: 0\n35: 0\n36: 1\n37: 1\n38: 9\n39: 1\n40: 1\n41: 1\n42: 33\n43: Coll(-20,-14,-48,75,-82,72,-96,10,-118,110,73,-64,86,114,99,-55,-11,-46,63,38,-56,35,88,-95,118,-85,-47,-16,33,-40,-79,48)\n44: 1\n45: 1\n46: 9\n47: 0\n48: 0\n49: 0\n50: 1\n51: 9\n52: 1\n53: 0\n54: 1\n55: 33\n56: 1\n57: 1\n58: false",
      "ergoTreeScript": "{\n  val bool1 = INPUTS.exists({(box1: Box) =>\n      val coll3 = box1.tokens\n      if (coll3.size > placeholder[Int](0)) { coll3(placeholder[Int](1))._1 == placeholder[Coll[Byte]](2) } else { placeholder[Boolean](3) }\n    })\n  val coll2 = placeholder[Coll[Byte]](4)\n  val coll3 = placeholder[Coll[Byte]](5)\n  sigmaProp(anyOf(Coll[Boolean](bool1, if (!bool1) {(\n          val box4 = OUTPUTS(placeholder[Int](6))\n          val coll5 = box4.R5[Coll[Long]].get\n          val box6 = INPUTS(placeholder[Int](7))\n          val coll7 = SELF.propositionBytes\n          val box8 = OUTPUTS.filter({(box8: Box) => box8.propositionBytes == coll7 })(placeholder[Int](8))\n          val coll9 = CONTEXT.dataInputs\n          val avlTree10 = coll9(placeholder[Int](9)).R4[AvlTree].get\n          val coll11 = getVar[Coll[Byte]](0.toByte).get\n          val coll12 = INPUTS.filter({(box12: Box) => box12.propositionBytes == coll7 })\n          val l13 = coll12.fold(placeholder[Long](10), {(tuple13: (Long, Box)) => tuple13._1 + tuple13._2.value })\n          val coll14 = box8.tokens\n          val func15 = {(coll15: Coll[Byte]) => coll12.flatMap({(box17: Box) => box17.tokens }).fold(placeholder[Long](11), {(tuple17: (Long, (Coll[Byte], Long))) =>\n                val tuple19 = tuple17._2\n                tuple17._1 + if (tuple19._1 == coll15) { tuple19._2 } else { placeholder[Long](12) }\n              }) }\n          val l16 = func15(coll2)\n          val coll17 = coll9(placeholder[Int](13)).R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](14), placeholder[Coll[Byte]](15)), getVar[Coll[Byte]](1.toByte).get)\n          val bool18 = coll14.filter({(tuple18: (Coll[Byte], Long)) => tuple18._1 != coll2 }).forall({(tuple18: (Coll[Byte], Long)) => tuple18._2 == func15(tuple18._1) })\n          val bool19 = coll12.flatMap({(box19: Box) => box19.tokens }).forall({(tuple19: (Coll[Byte], Long)) =>\n              val coll21 = tuple19._1\n              (coll21 == coll2) || box8.tokens.exists({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 })\n            })\n          if (coll5(placeholder[Int](16)) > box6.R5[Coll[Long]].get(placeholder[Int](17))) {(\n            val coll20 = avlTree10.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](18), placeholder[Coll[Byte]](19), placeholder[Coll[Byte]](20), coll3), coll11)\n            val l21 = byteArrayToLong(coll20(placeholder[Int](21)).get.slice(placeholder[Int](22), placeholder[Int](23))) * coll5(placeholder[Int](24)) + placeholder[Long](25)\n            val tuple22 = OUTPUTS.filter({(box22: Box) => blake2b256(box22.propositionBytes) == coll20(placeholder[Int](26)).get.slice(placeholder[Int](27), placeholder[Int](28)) })(placeholder[Int](29)).tokens(placeholder[Int](30))\n            allOf(Coll[Boolean](box8.value >= l13 - byteArrayToLong(coll20(placeholder[Int](31)).get.slice(placeholder[Int](32), placeholder[Int](33))), coll14.fold(placeholder[Long](34), {(tuple23: (Long, (Coll[Byte], Long))) =>\n                    val tuple25 = tuple23._2\n                    tuple23._1 + if (tuple25._1 == coll2) { tuple25._2 } else { placeholder[Long](35) }\n                  }) >= l16 - l21 - byteArrayToLong(coll20(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38))), bool18, bool19, tuple22._1 == coll2, tuple22._2 >= l21, blake2b256(INPUTS(placeholder[Int](39)).propositionBytes) == coll17(placeholder[Int](40)).get.slice(placeholder[Int](41), placeholder[Int](42))))\n          )} else {(\n            val coll20 = avlTree10.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](43), coll3), coll11)\n            allOf(Coll[Boolean](box8.value >= l13 - byteArrayToLong(coll20(placeholder[Int](44)).get.slice(placeholder[Int](45), placeholder[Int](46))), coll14.fold(placeholder[Long](47), {(tuple21: (Long, (Coll[Byte], Long))) =>\n                    val tuple23 = tuple21._2\n                    tuple21._1 + if (tuple23._1 == coll2) { tuple23._2 } else { placeholder[Long](48) }\n                  }) >= l16 - byteArrayToLong(coll20(placeholder[Int](49)).get.slice(placeholder[Int](50), placeholder[Int](51))), bool18, bool19, blake2b256(INPUTS(placeholder[Int](52)).propositionBytes) == coll17(placeholder[Int](53)).get.slice(placeholder[Int](54), placeholder[Int](55)), box4.tokens(placeholder[Int](56))._2 == box6.tokens(placeholder[Int](57))._2))\n          )}\n        )} else { placeholder[Boolean](58) })))\n}",
      "address": "4MMmFUAxCSARLDBk9T3eG1bAenSTuUrd63kwVHa1bRgubobKZBMpmN5yKvRDogVtjPGQGjLVbvnjqTETZF5TopD7MAryayMyQF6PLPH5PPHBFgBCXT5Sp6N1HkVL83oKejaVbu2qohLYQu1ZwYq2s8cfMEZ8Ly9gcm5jmaokFbBGz1hBDUtwSjVfoZg6rQpm4ZWHU4FnNGeyXPgnJeVf8yXJYfwXpmN9ap9QT22xTPLXydHwdutC29jPEVBDUuLYafrduTT31z1i91J48FFcbpypmh8qBkdfBjh1ksVc6cY46fuEhgcLGNyaMVqeKzNrxXnmoVmDJKSHgErZ8hBbtBsMLsRh8cUKSf8CE6WAbpGoZZdG2NGt73rDvjsp6m4Xq1q1QJ96w2HQZn7b72cJHmUbikDuo1AiAEN8uoLxK5unEWzKyHzRoAPBqzmWjC2va9qEK28N1fstpFLws2jt8iKbgN3iZPKDdDxmauxDc5JwyRjKZ6UTkJjExB8G8nYBevnj3ML1UyRtY1HUX4L5tuFiMiRz6WKWEJ3h3PGUVJ5BrHy35BzpVRd61F2UCoP2dMKJErSDDcwWrAehGvKRekKEzfvEDVnf7ThZvT5Mjz1d2Ybz3xGHkKcDHdFpVFZVyJ9oha1cSagN1D5NXyhkrC4YhEuQnGfBEJu1y3DxdCoF8oNF8fVaRPuUobzr6Tdpujhw7AZUzrEHjJ4GUC2r1hA3xFTEom1UZSiEhxmUMC9sxHTTeKV2BNvu2AaNmKM5BeUW76u9f3C6rqojme8j9uriNGqkK2745ftXTSXTNJPj211kuCNb65171bn5cLtXxFuS4qSoXmWssveAZMSJnkrvc9yMSHScHwP515bKrzzkMCZfZFabFHpwCsmfqxciyyfkSt5ETVDPRtDG1pyPJPCXnmYgeu5At5L4iYx2gDQZPJTejofYjreukshLEAzxiWsW5U4WRS3u3MFFNacsarWEPRc2LpEwjg2G5cvmg1e73QX4qZx2aHvfpKTE8Fuo3XCcyexGLoFfTqBfw4oGgt121JtAtVram52XmGNuvLdRucqKvQ5xbA6wvjnoQ8eMn1Cv1HHm4mo7TTDVujxmgc4yMR9rwvsMuXQAG8yoZZMZggx6UWWWUWdT14GxjJVPWnXpWPGDTcWjYjy8U7PLTXXaKAEWDGt8HXFE8oqQjimGeJxiKVB8EnKL37D6cAmJkruEEHDZvkY4UrB1zBnA63Wcj5dv2fBrKZ2L6pTRWcPsodmYiAL4N2oA5pnZEuUhmtWoTjQf2CcU2XZs3bBTarMCdZFQtm6ukthzJRVBzynh4JtZDbDJwH1YdF67zdWQV3h82kw8M1Yzif2kwnMoCDV1QZYGpCSetgogy1UUGmzvs49FVoCx9q3G1ro7vjdZSRngEdFctuYhzD9fmfsLnzafKDuczcjt486Sc92BcsL9CdvFWbG3iNEtGfAo71Xx956vKraosnX265Nuwdjsd8EtfR5Xmwv1Hvuu4xCEzDzVaCbDcNwPNGgWZCEJTiA2KAVJGFkPHZit7rt",
      "assets": [
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 0,
          "amount": 10083656381,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [
    {
      "boxId": "8bc89854360edb452240d4ab38853f3ffaebc323b7d2070f021bbdcf45752c66",
      "value": 1000000,
      "index": 0,
      "outputBlockId": "b0105a39412e78bb35838fb5b17683f3762fb49689c67425cd2d57393a4094ba",
      "outputTransactionId": "6a4f87672bda701ef1a6a0fe0881a456fa1c4b7d344227f12c78b7a91fe6d3ed",
      "outputIndex": 0,
      "ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e20008a3b597bd494557adf7d0d0a3b6ba32f935cf52f83f46a6b1233333a487a510100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
      "address": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfCuknDpV3PzizoM2efhYNFH3o7uHxSjqDTXCRdcV2F4vMAbtG8fxGWK9ZxWniTZ6GFE5mT7DEpU6W6piUfh32UkeqxrkxS1Gb6KitQDAbSnrTwCceBFbSkmGRLmPxi26PrzREXVVz4UnXjm1xmFrng6vu6NtPvPfEzz1a4asj856HV8Pq1mMx3UgNfeA",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "64fd2ba70089c48fc922319185d1bd7fc24258572e3820792ef2d5013dbfc2cac908072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    }
  ],
  "outputs": [
    {
      "boxId": "a9dcc79c349738cfb9005b4238aefabbbd2d16a1e8cbc379c14ffed3d285ced0",
      "transactionId": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
      "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "value": 8750000,
      "index": 0,
      "globalIndex": 33718390,
      "creationHeight": 1120080,
      "settlementHeight": 1120082,
      "ergoTree": "1032040004020e20deaecf5b64bad6f5570bad0a610c4e484957cf4782308400bc90404c1d1410da0e20039208bc4eef9a03e8d78b8663a301bb5faddca78be19d7fe535b3c64cbefe420e208830612c52355f6f280d1297f19f67b078c9daa7d7b04b459c91cc644957c2800e208bc78f1c6aaec91e628e15cf668c16cc1e9bd8e4b9b7e16d6318b5f523a5e9bd0e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc50e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e203a11955c4719e588bce6a7611d27bd1fdfdb57385caee266d8040c894f1c2e1d0e2009820fcb8871fb450c3e06b7cb5e27b0455087a366621a9dde7582a019111e3e040004000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f90400040c02000402040204420201040404020442020204060402044202030408040204420204040a040204420205040c040204420206040e040204420400040204420400040004020402d808d601b2db6501fe730000d602e4e30102d6037e720204d604b2a4730100d605dc640be4c6720104640283080e73027303730473057306730773087309e4e3000ed606b2a5730a00d607db63087206d608db6308a7d196830401938cb2db63087201730b0001730ced927203730d907203730e97830701ed937202730f93cbc27204b4e4b2720573100073117312ed937202731393cbc27204b4e4b2720573140073157316ed937202731793cbc27204b4e4b272057318007319731aed937202731b93cbc27204b4e4b27205731c00731d731eed937202731f93cbc27204b4e4b2720573200073217322ed937202732393cbc27204b4e4b2720573240073257326ed937202732793cbc27204b4e4b272057328007329732a9683030193cbc27206b4e4b27205732b00732c732d93b27207732e00b27208732f00938cb27207733000018cb2720873310001",
      "ergoTreeConstants": "0: 0\n1: 1\n2: Coll(-34,-82,-49,91,100,-70,-42,-11,87,11,-83,10,97,12,78,72,73,87,-49,71,-126,48,-124,0,-68,-112,64,76,29,20,16,-38)\n3: Coll(3,-110,8,-68,78,-17,-102,3,-24,-41,-117,-122,99,-93,1,-69,95,-83,-36,-89,-117,-31,-99,127,-27,53,-77,-58,76,-66,-2,66)\n4: Coll(-120,48,97,44,82,53,95,111,40,13,18,-105,-15,-97,103,-80,120,-55,-38,-89,-41,-80,75,69,-100,-111,-52,100,73,87,-62,-128)\n5: Coll(-117,-57,-113,28,106,-82,-55,30,98,-114,21,-49,102,-116,22,-52,30,-101,-40,-28,-71,-73,-31,109,99,24,-75,-11,35,-91,-23,-67)\n6: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n7: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n8: Coll(58,17,-107,92,71,25,-27,-120,-68,-26,-89,97,29,39,-67,31,-33,-37,87,56,92,-82,-30,102,-40,4,12,-119,79,28,46,29)\n9: Coll(9,-126,15,-53,-120,113,-5,69,12,62,6,-73,-53,94,39,-80,69,80,-121,-93,102,98,26,-99,-34,117,-126,-96,25,17,30,62)\n10: 0\n11: 0\n12: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n13: 0\n14: 6\n15: 0\n16: 1\n17: 1\n18: 33\n19: 1\n20: 2\n21: 1\n22: 33\n23: 2\n24: 3\n25: 1\n26: 33\n27: 3\n28: 4\n29: 1\n30: 33\n31: 4\n32: 5\n33: 1\n34: 33\n35: 5\n36: 6\n37: 1\n38: 33\n39: 6\n40: 7\n41: 1\n42: 33\n43: 0\n44: 1\n45: 33\n46: 0\n47: 0\n48: 1\n49: 1",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val b2 = getVar[Byte](1.toByte).get\n  val i3 = b2.toInt\n  val box4 = INPUTS(placeholder[Int](1))\n  val coll5 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](\n      placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4), placeholder[Coll[Byte]](5), placeholder[Coll[Byte]](6), placeholder[\n        Coll[Byte]\n      ](7), placeholder[Coll[Byte]](8), placeholder[Coll[Byte]](9)\n    ), getVar[Coll[Byte]](0.toByte).get\n  )\n  val box6 = OUTPUTS(placeholder[Int](10))\n  val coll7 = box6.tokens\n  val coll8 = SELF.tokens\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](11))._1 == placeholder[Coll[Byte]](12), (i3 >= placeholder[Int](13)) && (i3 <= placeholder[Int](14)), anyOf(\n          Coll[Boolean](\n            (b2 == placeholder[Byte](15)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](16)).get.slice(placeholder[Int](17), placeholder[Int](18))\n            ), (b2 == placeholder[Byte](19)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](20)).get.slice(placeholder[Int](21), placeholder[Int](22))\n            ), (b2 == placeholder[Byte](23)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](24)).get.slice(placeholder[Int](25), placeholder[Int](26))\n            ), (b2 == placeholder[Byte](27)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](28)).get.slice(placeholder[Int](29), placeholder[Int](30))\n            ), (b2 == placeholder[Byte](31)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](32)).get.slice(placeholder[Int](33), placeholder[Int](34))\n            ), (b2 == placeholder[Byte](35)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38))\n            ), (b2 == placeholder[Byte](39)) && (\n              blake2b256(box4.propositionBytes) == coll5(placeholder[Int](40)).get.slice(placeholder[Int](41), placeholder[Int](42))\n            )\n          )\n        ), allOf(\n          Coll[Boolean](\n            blake2b256(box6.propositionBytes) == coll5(placeholder[Int](43)).get.slice(placeholder[Int](44), placeholder[Int](45)), coll7(\n              placeholder[Int](46)\n            ) == coll8(placeholder[Int](47)), coll7(placeholder[Int](48))._1 == coll8(placeholder[Int](49))._1\n          )\n        )\n      )\n    )\n  )\n}",
      "address": "MUeEFF9n6rMZGwhMHSCUToqgZV77SPd7enUFfdMSt9BwbM2eVwCQ44yZjJRqxpgU8bJijkTjNhB7AH2wUM9UkZjHnyPDKFRDMozra8a3ptKsKvQXN3wBzXAwBaTFpdS2WuYqQTP4VzokiUjFsoesobW74Nh51uAqDTXKK4SZ4QnphLpCAVPBu9rEca48RLrMViEzYQKchqzyX2oA7cSzY8do7poc4Y6jPiNYuRbLyjifcNBqBVjRruuZr9N2KzVJWC8eNphZVuYkBay9tHp6qC6BMyN5Pr1YGnWDNMX8ivyrogza6wiJga8rvBSN2brt6tU5pWHpkBRRZYySTP69G5utxvkLKuk26xvvMuXJbW5TuTttKEDCLewsejh5yyijfiEkhpofHh7PerZDJWPJGheKC3geRJWEkY57dFZpuecF11sutLhW4P8ttyS2cvptsqhk99iMJAoh185KfQY81dyNpAU3Puh46Tk3Wn3fizqTKmp8MmrXotPfzEB3Z9tNc1K6GgcZUmdLoYJrSDFk3csEMQZLhLhVWaxsqHj6FARz6n8VTGwuqn39F1nje4ZR9bhEiZXSRMGKyZjs3KUvY9apkyH7sZdX4PknbxpkAMdgw9v3mzKnC6G6JYdMpqyLoiUjko4XwCLqA15dtCW1QzwSpYQMeojjLLfA4LVU8v3yfBaMVZQcx4egZ7XYRtB7FKGhApxstz7RW5fnf2pdxZFC73wLUkdf92inpfjWZu2adXLDhM3pcZDBfUBGrpXe7agzwnrSY3JssFB5afvBatXvc9CgRXZUzzomSwm2afYJKZxQighQWdqX1Hkxmzny9JGqFeGv6D1qVwNGbBpajkDS8A8MmDX8R3FffLHJqrUEVhFkFFQEBSwJvnbkwfMxPHNu3FCip7TJYWbuyH2QvK9tpas4MwmUEqCtFUeu3oPCpEdbmX1dmWkgYC89Qc3aRT6mCWafUh6hreuuHYHvEySvxF7Bgd1f",
      "assets": [
        {
          "tokenId": "00ad20adc989005bb7c79afa64bad214da89c7e627dcb3d5d43580500f08ac28",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake State",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 1,
          "amount": 106604279019,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "110780c4e9b6ed62e4f5a69d95012800001010",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1698314400000,20029169010,20,0,0,8,8]"
        },
        "R6": {
          "serializedValue": "1d0502a0ede2919101d8df81989301020006020086f5db09021414021414",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[19480206160,19755186156],[0,3],[0,10190147],[10,10],[10,10]]"
        },
        "R8": {
          "serializedValue": "11029c96a58502a6c21e",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[273982862,250003]"
        },
        "R7": {
          "serializedValue": "0c3c6464024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720006ac609a3e0125270ff232ac152f8eb09e2e7620fa31407fb206638d4f147d51005072000c8aa1495716357cb2164aa676b9a32ce279798accec1114df97171cecd0bf26e02072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c64021730d5db130b907aef7a65e5431c941cc730044bef545b9a624642937f15f8e3050720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "93445d4e52e6afab06c63159efd4ead3ec71006f414e947182f96e38947e16be",
      "mainChain": true
    },
    {
      "boxId": "b5d3cf470f378d3112e8f81990c547ff51fe175370d42d96f8487c60307f7195",
      "transactionId": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
      "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "value": 1000000,
      "index": 1,
      "globalIndex": 33718391,
      "creationHeight": 1120080,
      "settlementHeight": 1120082,
      "ergoTree": "108601040004000e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204932c28754f2e4fab8e85af8ee3deb5bbe4924b7585466d20deed4c99e4191a2040004040400040c044a040a040c044a040a040c044a040204080500041004100410050104000410042004000400040204000406050004000200040404000408050004000200040002640200026406010006010004000410041004200500050004100410041006010001010400050004000400040004000601000400040004020402040204000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f904000400040c044c040005000400040004000400040204000402041004200500040004020402044204020402040004000404040a0404040a0414024e02c6021f0248025b029802eb02870215023f027c025702db024f025e02cd02750255026f02dd02bc0240023b024102ac02f80244021f02de028e021602090200040ad830d601b2db6501fe730000d602b2a4730100d603db63087202d604dc640be4c6720104640283030e730273037304e4e3000ed605e4e3010c3c0e0ed606ad7205d901063c0e0e8c720601d607db0c0e7206d608e4c67202040c64d609b27208730500d60ae4c672020511d60bb1720ad60ce4b27204730600d60ddb0c0eb4720c73079d99b1720c73087309d60eb3b4720a730a720badb4ad720dd9010e04b4720c9a9a730b9c730c720e730d9a730e9c730f9a720e731099720b7311b1720dd9010e0e7312d60fdb0c0e720ed610addc640b7209027206e4e3020ed901103295e67210ad720fd9011204d801d6149a9c7212731373147cb4e4721072149a72147315ad720ed90112057316d611e4c67202070c3c6464d612b27211731700d6138c721201d614addc640b7213027206e4e3030ed90114327cb4e4721473187319d615e4c67202061dd616b2b27215731a00731b00d617b2b27215731c00731d00d618b27215731e00d61995917217731f7db27218732000027321d61ab2b27215732200732300d61bb27215732400d61c9591721a73257db2721b732600027327d61d9a7219721cd61e95917e721d047328a2997329721d732a732bd61f732cd620732dd6219a721d721ed6228c721202d623addc640b7222027206e4e3050ed901233295e67223d801d625e4722386027cb47225732e732f7cb4722573307331860273327333d624e4c672020811d625ad7205d901253c0e0ead720fd9012704d801d6299a9c7227733473357cb48c72250272299a72297336d6268602ad7224d901260573377338d627addb0c0e7224d9012704b0ad7207d9012904d801d62bb272107229009592b2722b733900733ad801d62cad7224d9012c05d801d62e7e722c069d9a9a9c9d9c7eb2721472290006722e7e7216067e721e0695917e721904733b9c9d9c7e8cb272237229000106722e7e7217067eb27218733c0006721f95917e721c04733d9c9d9c7e8cb272237229000206722e7e721a067eb2721b733e000672207e7221068602722c93addc0c1d722b01722cd9012d41069a7e8c722d01068c722d02adb27225722900d9012d057e722d067226733fd901294249129a8c722901b28c8c72290201722700d628b2a5734000d629e4c672280511d62ae4c67228070c3c6464d62bb2722a734100d62cdb64018c722b01d62de4c67228040c64d62eb2a5734200d62f938c722b027222d63093b4722a7343b1722ab472117344b17211d196830a01938cb2db63087201734500017346938cb2720373470001b4e4b272047348007349734a96ad7207d9013104d801d633b272107231008c9592b27233734b00734cd801d634ad7224d9013405d801d6367e7234069d9a9a9c9d9c7eb272147231000672367e7216067e721e0695917e721904734d9c9d9c7e8cb27223723100010672367e7217067eb27218734e0006721f95917e721c04734f9c9d9c7e8cb27223723100020672367e721a067eb2721b7350000672207e7221068602723493addc0c1d7233017234d9013541069a7e8c723501068c723502adb27225723100d90135057e723506722602939a7eb2720a73510006b272277352007eb272297353000693db6401e4dc640e7213027206e4e3040e722c93db6401e4dc640d720902b57205d901313c0e0e917cb48c723102735473557356e4e3060edb6401b2722d7357009683020193cbc2722eb4e4b272047358007359735a92c1722ec1a796830b0193c17228c1720293db63087228720393db6401b2722d735b00db6401b27208735c00722f723093b27229735d00b2720a735e0093b47229735f7360b4720a7361736293e4c67228061d72157230722f93e4c6722808117224ec92b17205736393722c832102736473657366736773687369736a736b736c736d736e736f7370737173727373737473757376737773787379737a737b737c737d737e737f738001738101738201738301738401af720fd9013104937eb2b47229738501b1722972310006997eb2720e72310006b27227723100",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n3: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n4: Coll(73,50,-62,-121,84,-14,-28,-6,-72,-24,90,-8,-18,61,-21,91,-66,73,36,-73,88,84,102,-46,13,-18,-44,-55,-98,65,-111,-94)\n5: 0\n6: 2\n7: 0\n8: 6\n9: 37\n10: 5\n11: 6\n12: 37\n13: 5\n14: 6\n15: 37\n16: 1\n17: 4\n18: 0\n19: 8\n20: 8\n21: 8\n22: -1\n23: 0\n24: 8\n25: 16\n26: 0\n27: 0\n28: 1\n29: 0\n30: 3\n31: 0\n32: 0\n33: 0\n34: 2\n35: 0\n36: 4\n37: 0\n38: 0\n39: 0\n40: 0\n41: 100\n42: 0\n43: 100\n44: CBigInt(0)\n45: CBigInt(0)\n46: 0\n47: 8\n48: 8\n49: 16\n50: 0\n51: 0\n52: 8\n53: 8\n54: 8\n55: CBigInt(0)\n56: true\n57: 0\n58: 0\n59: 0\n60: 0\n61: 0\n62: 0\n63: CBigInt(0)\n64: 0\n65: 0\n66: 1\n67: 1\n68: 1\n69: 0\n70: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n71: 0\n72: 0\n73: 6\n74: 38\n75: 0\n76: 0\n77: 0\n78: 0\n79: 0\n80: 0\n81: 1\n82: 0\n83: 1\n84: 8\n85: 16\n86: 0\n87: 0\n88: 1\n89: 1\n90: 33\n91: 1\n92: 1\n93: 0\n94: 0\n95: 2\n96: 5\n97: 2\n98: 5\n99: 10\n100: 78\n101: -58\n102: 31\n103: 72\n104: 91\n105: -104\n106: -21\n107: -121\n108: 21\n109: 63\n110: 124\n111: 87\n112: -37\n113: 79\n114: 94\n115: -51\n116: 117\n117: 85\n118: 111\n119: -35\n120: -68\n121: 64\n122: 59\n123: 65\n124: -84\n125: -8\n126: 68\n127: 31\n128: -34\n129: -114\n130: 22\n131: 9\n132: 0\n133: 5",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val box2 = INPUTS(placeholder[Int](1))\n  val coll3 = box2.tokens\n  val coll4 = box1.R4[AvlTree].get.getMany(\n    Coll[Coll[Byte]](placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get\n  )\n  val coll5 = getVar[Coll[(Coll[Byte], Coll[Byte])]](1.toByte).get\n  val coll6 = coll5.map({(tuple6: (Coll[Byte], Coll[Byte])) => tuple6._1 })\n  val coll7 = coll6.indices\n  val coll8 = box2.R4[Coll[AvlTree]].get\n  val avlTree9 = coll8(placeholder[Int](5))\n  val coll10 = box2.R5[Coll[Long]].get\n  val i11 = coll10.size\n  val coll12 = coll4(placeholder[Int](6)).get\n  val coll13 = coll12.slice(placeholder[Int](7), coll12.size - placeholder[Int](8) / placeholder[Int](9)).indices\n  val coll14 = coll10.slice(placeholder[Int](10), i11).append(\n    coll13.map(\n      {(i14: Int) =>\n        coll12.slice(\n          placeholder[Int](11) + placeholder[Int](12) * i14 + placeholder[Int](13), placeholder[Int](14) + placeholder[Int](15) * i14 + placeholder[Int](16)\n        )\n      }\n    ).slice(i11 - placeholder[Int](17), coll13.size).map({(coll14: Coll[Byte]) => placeholder[Long](18) })\n  )\n  val coll15 = coll14.indices\n  val coll16 = avlTree9.getMany(coll6, getVar[Coll[Byte]](2.toByte).get).map({(opt16: Option[Coll[Byte]]) => if (opt16.isDefined) { coll15.map({(i18: Int) =>\n            val i20 = i18 * placeholder[Int](19) + placeholder[Int](20)\n            byteArrayToLong(opt16.get.slice(i20, i20 + placeholder[Int](21)))\n          }) } else { coll14.map({(l18: Long) => placeholder[Long](22) }) } })\n  val coll17 = box2.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple18 = coll17(placeholder[Int](23))\n  val avlTree19 = tuple18._1\n  val coll20 = avlTree19.getMany(coll6, getVar[Coll[Byte]](3.toByte).get).map(\n    {(opt20: Option[Coll[Byte]]) => byteArrayToLong(opt20.get.slice(placeholder[Int](24), placeholder[Int](25))) }\n  )\n  val coll21 = box2.R6[Coll[Coll[Long]]].get\n  val l22 = coll21(placeholder[Int](26))(placeholder[Int](27))\n  val l23 = coll21(placeholder[Int](28))(placeholder[Int](29))\n  val coll24 = coll21(placeholder[Int](30))\n  val b25 = if (l23 > placeholder[Long](31)) { coll24(placeholder[Int](32)).toByte } else { placeholder[Byte](33) }\n  val l26 = coll21(placeholder[Int](34))(placeholder[Int](35))\n  val coll27 = coll21(placeholder[Int](36))\n  val b28 = if (l26 > placeholder[Long](37)) { coll27(placeholder[Int](38)).toByte } else { placeholder[Byte](39) }\n  val b29 = b25 + b28\n  val b30 = if (b29.toInt > placeholder[Int](40)) { max(placeholder[Byte](41) - b29, placeholder[Byte](42)) } else { placeholder[Byte](43) }\n  val bi31 = placeholder[BigInt](44)\n  val bi32 = placeholder[BigInt](45)\n  val b33 = b29 + b30\n  val avlTree34 = tuple18._2\n  val coll35 = avlTree34.getMany(coll6, getVar[Coll[Byte]](5.toByte).get).map({(opt35: Option[Coll[Byte]]) => if (opt35.isDefined) {(\n        val coll37 = opt35.get\n        (byteArrayToLong(coll37.slice(placeholder[Int](46), placeholder[Int](47))), byteArrayToLong(coll37.slice(placeholder[Int](48), placeholder[Int](49))))\n      )} else { (placeholder[Long](50), placeholder[Long](51)) } })\n  val coll36 = box2.R8[Coll[Long]].get\n  val coll37 = coll5.map({(tuple37: (Coll[Byte], Coll[Byte])) => coll15.map({(i39: Int) =>\n          val i41 = i39 * placeholder[Int](52) + placeholder[Int](53)\n          byteArrayToLong(tuple37._2.slice(i41, i41 + placeholder[Int](54)))\n        }) })\n  val tuple38 = (coll36.map({(l38: Long) => placeholder[BigInt](55) }), placeholder[Boolean](56))\n  val coll39 = coll36.indices.map({(i39: Int) => coll7.map({(i41: Int) =>\n          val coll43 = coll16(i41)\n          if (coll43(placeholder[Int](57)) >= placeholder[Long](58)) {(\n            val coll44 = coll36.map({(l44: Long) =>\n                val bi46 = l44.toBigInt\n                coll20(i41).toBigInt * bi46 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](59)) { coll35(i41)._1.toBigInt * bi46 / l23.toBigInt * coll24(placeholder[Int](60)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](61)) { coll35(i41)._2.toBigInt * bi46 / l26.toBigInt * coll27(placeholder[Int](62)).toBigInt } else { bi32 } / b33.toBigInt\n              })\n            (coll44, coll43.zip(coll44).map({(tuple45: (Long, BigInt)) => tuple45._1.toBigInt + tuple45._2 }) == coll37(i41).map({(l45: Long) => l45.toBigInt }))\n          )} else { tuple38 }\n        }).fold(placeholder[BigInt](63), {(tuple41: (BigInt, (Coll[BigInt], Boolean))) => tuple41._1 + tuple41._2._1(i39) }) })\n  val box40 = OUTPUTS(placeholder[Int](64))\n  val coll41 = box40.R5[Coll[Long]].get\n  val coll42 = box40.R7[Coll[(AvlTree, AvlTree)]].get\n  val tuple43 = coll42(placeholder[Int](65))\n  val coll44 = tuple43._1.digest\n  val coll45 = box40.R4[Coll[AvlTree]].get\n  val box46 = OUTPUTS(placeholder[Int](66))\n  val bool47 = tuple43._2 == avlTree34\n  val bool48 = coll42.slice(placeholder[Int](67), coll42.size) == coll17.slice(placeholder[Int](68), coll17.size)\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        box1.tokens(placeholder[Int](69))._1 == placeholder[Coll[Byte]](70), coll3(placeholder[Int](71))._1 == coll4(placeholder[Int](72)).get.slice(\n          placeholder[Int](73), placeholder[Int](74)\n        ), allOf(coll7.map({(i49: Int) =>\n              val coll51 = coll16(i49)\n              if (coll51(placeholder[Int](75)) >= placeholder[Long](76)) {(\n                val coll52 = coll36.map({(l52: Long) =>\n                    val bi54 = l52.toBigInt\n                    coll20(i49).toBigInt * bi54 / l22.toBigInt * b30.toBigInt + if (b25.toInt > placeholder[Int](77)) { coll35(i49)._1.toBigInt * bi54 / l23.toBigInt * coll24(placeholder[Int](78)).toBigInt } else { bi31 } + if (b28.toInt > placeholder[Int](79)) { coll35(i49)._2.toBigInt * bi54 / l26.toBigInt * coll27(placeholder[Int](80)).toBigInt } else { bi32 } / b33.toBigInt\n                  })\n                (coll52, coll51.zip(coll52).map({(tuple53: (Long, BigInt)) => tuple53._1.toBigInt + tuple53._2 }) == coll37(i49).map({(l53: Long) => l53.toBigInt }))\n              )} else { tuple38 }._2\n            })), coll10(placeholder[Int](81)).toBigInt + coll39(placeholder[Int](82)) == coll41(placeholder[Int](83)).toBigInt, avlTree19.remove(\n          coll6, getVar[Coll[Byte]](4.toByte).get\n        ).get.digest == coll44, avlTree9.update(\n          coll5.filter(\n            {(tuple49: (Coll[Byte], Coll[Byte])) => byteArrayToLong(tuple49._2.slice(placeholder[Int](84), placeholder[Int](85))) > placeholder[Long](86) }\n          ), getVar[Coll[Byte]](6.toByte).get\n        ).get.digest == coll45(placeholder[Int](87)).digest, allOf(\n          Coll[Boolean](\n            blake2b256(box46.propositionBytes) == coll4(placeholder[Int](88)).get.slice(placeholder[Int](89), placeholder[Int](90)), box46.value >= SELF.value\n          )\n        ), allOf(\n          Coll[Boolean](\n            box40.value == box2.value, box40.tokens == coll3, coll45(placeholder[Int](91)).digest == coll8(placeholder[Int](92)).digest, bool47, bool48, coll41(\n              placeholder[Int](93)\n            ) == coll10(placeholder[Int](94)), coll41.slice(placeholder[Int](95), placeholder[Int](96)) == coll10.slice(\n              placeholder[Int](97), placeholder[Int](98)\n            ), box40.R6[Coll[Coll[Long]]].get == coll21, bool48, bool47, box40.R8[Coll[Long]].get == coll36\n          )\n        ), (coll5.size >= placeholder[Int](99)) || (\n          coll44 == Coll[Byte](\n            placeholder[Byte](100), placeholder[Byte](101), placeholder[Byte](102), placeholder[Byte](103), placeholder[Byte](104), placeholder[Byte](\n              105\n            ), placeholder[Byte](106), placeholder[Byte](107), placeholder[Byte](108), placeholder[Byte](109), placeholder[Byte](110), placeholder[Byte](\n              111\n            ), placeholder[Byte](112), placeholder[Byte](113), placeholder[Byte](114), placeholder[Byte](115), placeholder[Byte](116), placeholder[Byte](\n              117\n            ), placeholder[Byte](118), placeholder[Byte](119), placeholder[Byte](120), placeholder[Byte](121), placeholder[Byte](122), placeholder[Byte](\n              123\n            ), placeholder[Byte](124), placeholder[Byte](125), placeholder[Byte](126), placeholder[Byte](127), placeholder[Byte](128), placeholder[Byte](\n              129\n            ), placeholder[Byte](130), placeholder[Byte](131), placeholder[Byte](132)\n          )\n        ), coll15.forall({(i49: Int) => coll41.slice(placeholder[Int](133), coll41.size)(i49).toBigInt == coll14(i49).toBigInt - coll39(i49) })\n      )\n    )\n  )\n}",
      "address": "vucDXTTqa2umSjNzQPk516MHK3PaohsSV3brbA91qQHMa2K51di24nCHFBsyQDGne8NPUHah45sR2CWXE8HMHXAwtQsnypTX4bXKfiwsHfd3duRW7ozm94SHB55UdxhvEunb16K11veiGpxNv76C8fmbgHik4qsSZpdaAJ6NhgigVRVokHFVCRRF9931pfPAuGHgGUtpqJ3SW7g9cmYuXKo4ogwitJRHo2fCZXYkqUK9eqWdBUbASUCQyBDtypxuBcuLybDaoFSwx1sX2hnd7X9He6PsCmQHLbPwcGcHtaYE5Gpu1aQooHgs37uFkSwZdedUWU35n8D7RZBwHs6oDxLR8mxsKz3WNsUdVqULHpvSd5ihfqeFqNWLbmjvJvCC6PaPXKdEp3Sc2G7tGXviLuoUkhnik986tT6W2aocZSMFv2mGSvG97qU2LjM2e6xoSczmnyXpkaMGUjAabHtMNuc4nkBQ6KMdpoPahQcxNTUcgNv9HxSf6kP6Gy51RiugARKsYQT5hf2v9wf8nY5MAcHtis2GDgcMQKYedfMdN9ovANat2a5qSuc5Vu6wSwTbBe4LpJstoGism1BDp6RqaxvvYdyq8VvCX7SzzEcVMhyiULqLNUtR2spW2BVDefYtJUVTWm9YhYw5p8hLKvrgg4CtM1pMAJ286YVe4YWxetfBjefZu2MRcKqRvPirjgNFjX41nNt1jyMfS4yQzJcNLb6USyr7q5eqy1Fpuk5s6gbkyUpgf1dhoghxErJ2n9Wdrx6NddPBi8BDqpy24xcyQq1m5iZPHDK41rfLGpdFcz9Cu98h5rUdbTAoLxe1KSqPWuSr9RgYJCBbJugwLzevQg7zTejbhm3JpsYyjD63fJs57iHrkY6ngdXZgk5HoBvcsYmhn6D5LcK1vndDJkKaFiW9fVinXSsKBeweXuc9E4YeSovsYFNBWycnh4v9tJeu5at4qhBJvSKVDBxv3s9jTRhfAJjchG2Bt49xhMLTHwiPTzeVnvW2VNTyCneuVTmorRmir4GRrg4TdyTu7hWAeDVciy7J8jLU5ZontpJejEXMCZ6kx8eatMwpqPbD8vgTsJQQ4imGmKqSHeufBJvYxEf6PjXqgB1AaUFbYS3x25cvnmCA3UFqTexUCvtmsD7o32XAAsTk61YPFHCzzXgeZyHrSKiKPXHfUF8jU5cxMUAtEEcrs8aknhXFjHkWScJ9HvC5ArbifdcUpMUuHaYaxcDAVENpKTin7Kr2nR27nNh5MVBj3zBmreEBip6XdnMNhXYe1m7LntExN9A61iKRwvLuGB1svQB4QuJvpa38eYV1UC4CaroeMHimCVNjGsRw53kv2vXW7XVd1Q3kMqbdmjUmCqx2KJjZhvMgxfhHszkXDmiaivskRXts2W1buYVLxEUBP1boBm3L6FKhTcozJCkfXtadib2kB25EEGkuFXP3bacjY5EsGQ3rXnK7o5VtbgWDiz77JZazTSNPf8Vs9nyj1rNSjbJEEmrQohV4Dbuw2G89DP4V2eor9Xawv4SLTtHwcxsvdTKgxNMKQn62DAAiJoByhC8PNcB36W9r5U2uoZzXEVg3bcC1DS83LfFLpKc6ShBpndq3fui8rasgPfsj6farH3v4e6GHVzWd5GRTXGM1QCTRdW6TVzhVTTsFXmAoCYPY1crEX4EEtwwxsXtfQ2DaXiuFoHAwo3CMdadcjo5oa33CaxRkxHoQHR6nFpWjqHTkt9GNj3kEbmVAsWSyud73QQoh6Xb9NCwjT3kb4HxK8QMFUxbdmsFuciFiZYCL8CBDuuZtFf9oEqNMyx1JMkuoPs7pD1yisoxxLq8XWDbf5Quhr8ZuXrkrqFDASmUTE3Ya7sadue7N3x7ZmwWkKA7JVvjkACcPUBGx4iEovxcvyATxorv9DGkXBip6SjodYy5wyZzGvMaFqAVSeEYCCQRofxKWBcy2fhJMm1E7JoctXeMGqhiLhtFaMVM4wFSzxEHdv4JPrEMdkESRKt41TF8Ekt32HRk6yxfzKhu9eXe9J8zSHTkenFb7sugLAayVGvr1WRJYaBELXyszBSPysa3RbYS68cXPurDrGDgnV5Xaw7iZ164G4YhFr21W2NHKWxAQzaxyRTctBxB8hhrMMaUSmMsjc7refqRa9okU3E2D6bPW5mkf5CysnPiQQ5fqfcwTzDq62LTVTm4RJa2CU7t3bqWdsVVqQf9WDVSL8beNc1rQvdT7xxxaftKSndrj1uQJctUr1X5BgAyuW3WyFTSSF2C2wMFptNtMa7DwiLVM5fXSt7f837tMQtwZYZiKgZuKRuH9SG7ZYNuZax6MTgeUwmUFD6s3xi8Xihd3bWKd16WfwyV6b47hb8aVY8nkFPF5s2L2ZapmJvHVEvgrD6GnnyC88XC6dQpr8ZyDwGpDTuo7sXWiHRCGMC6KF2VaEBvQzWfMy4x66MmpqBPAhU5qG7RaoKskNasLaVwp85SSsXdbFZGr217mEFFWc6eTGSHKUDcyNuQg5oAtZR9in4kE1RkxVwAFxenN6dwXVgywFyxjh3C1BmHjwAbUHjVBy",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "b7207bde5acd25c7c22e66a82e821ade1506209355e3d7ed0a0401600ec077e3",
      "mainChain": true
    },
    {
      "boxId": "5d576afd1a9a3ab90e86daec6d6b41ba2e5b38571fa2d5a42b6debd8af768545",
      "transactionId": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
      "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "value": 138100,
      "index": 2,
      "globalIndex": 33718392,
      "creationHeight": 1120080,
      "settlementHeight": 1120082,
      "ergoTree": "0008cd0366d92bcd0dc41698e5c1ab825fb6a4dc4f7583d0798d579b2ee75912e5edb673",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(66d92b,cfe3e0,...)))}",
      "address": "9hF6pA3sxu17RL4KMfULy94W6GaJ7CKh2giu5nYtiqZk4r5y9b1",
      "assets": [
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 0,
          "amount": 100,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "42dede27902046200f5acb0546636f0005aaf54f5ed7369d06cc24dbbcd80883",
      "mainChain": true
    },
    {
      "boxId": "37b9e57bd794d50dee003283766f5ed86dbac2037b293d1776c7c19986cc256c",
      "transactionId": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
      "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "value": 4861900,
      "index": 3,
      "globalIndex": 33718393,
      "creationHeight": 1120080,
      "settlementHeight": 1120082,
      "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": "8c0b183481e6cd14ba20e425678ecba0586b8bcf28ff63137b71e04d1c117763",
      "mainChain": true
    },
    {
      "boxId": "5ea6b57665addeae47493f2aeda83923b9e574f6e2332e18011330dbf781993e",
      "transactionId": "4635fa81957bb827f408de97073a48e2dc585a0f213c1069b54fc5f64b5f5327",
      "blockId": "68281a63f816bd2c0becfa02780f6838fe00d686d338b1da898187a99b009ae7",
      "value": 1919850000,
      "index": 4,
      "globalIndex": 33718394,
      "creationHeight": 1120080,
      "settlementHeight": 1120082,
      "ergoTree": "103b040004000e20008a3b597bd494557adf7d0d0a3b6ba32f935cf52f83f46a6b1233333a487a5101000e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc59830e205bcff102254366780cd5191257050a6ed33ac5d12eef0e304139ed5d981f4bfa040004000400040205000500050004000e20892e6f47a10d5c90b87ad4863355cead00c3e2983217ee15533253cd9a6025c20e204fd8b0d6d98242726f57b3dfa686126792b8e5056e1d51b6e90d6880cf2dcdc5040004000e20225e3fc5d189f547d9c626bebdc671398b6c007c783dc47f903f24bf7f3484790e20bc4a5ab9e45ab74b79faecbf67496cc2bf8c2b0e55dbe8accfc39d14891174900e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b7704000402041204040502040404020442040004000406040204120500050004020402041204020402040204420e20ecf2d04bae48a00a8a6e49c0567263c9f5d23f26c82358a176abd1f021d8b130040204020412050005000400040204120402040004020442040204020100d803d601aea4d9010163d801d603db630872019591b172037300938cb272037301000173027303d6027304d6037305d197830201720195ef7201d810d604b2a5730600d605e4c672040511d606b2a4730700d607c2a7d608b2b5a5d901086393c272087207730800d609db6501fed60ae4c6b272097309000464d60be4e3000ed60cb5a4d9010c6393c2720c7207d60db0720c730ad9010d41639a8c720d01c18c720d02d60edb63087208d60fd9010f0eb0dc0c0f720c01d9011163db63087211730bd90111414d0ed801d6138c7211029a8c72110195938c721301720f8c721302730cd610da720f017202d611dc640be4c6b27209730d0004640283020e730e730fe4e3010ed612afb5720ed901124d0e948c7212017202d901124d0e938c721202da720f018c721201d613afdc0c0f720c01d9011363db63087213d901134d0ed801d6158c721301ec9372157202aedb63087208d901164d0e938c72160172159591b27205731000b2e4c672060511731100d803d614dc640b720a0283040e7312731373147203720bd6159a9c7cb4e4b2721473150073167317b272057318007319d616b2db6308b2b5a5d901166393cbc27216b4e4b27214731a00731b731c731d00731e009683070192c1720899720d7cb4e4b27214731f007320732192b0720e7322d90117414d0ed801d6198c7217029a8c72170195938c72190172028c72190273239999721072157cb4e4b272147324007325732672127213938c7216017202928c721602721593cbc2b2a4732700b4e4b272117328007329732ad801d614dc640b720a0283020e732b7203720b9683060192c1720899720d7cb4e4b27214732c00732d732e92b0720e732fd90115414d0ed801d6178c7215029a8c72150195938c72170172028c72170273309972107cb4e4b27214733100733273337212721393cbc2b2a4733400b4e4b2721173350073367337938cb2db63087204733800028cb2db6308720673390002733a",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(0,-118,59,89,123,-44,-108,85,122,-33,125,13,10,59,107,-93,47,-109,92,-11,47,-125,-12,106,107,18,51,51,58,72,122,81)\n3: false\n4: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\n5: Coll(91,-49,-15,2,37,67,102,120,12,-43,25,18,87,5,10,110,-45,58,-59,-47,46,-17,14,48,65,57,-19,93,-104,31,75,-6)\n6: 0\n7: 0\n8: 0\n9: 1\n10: 0\n11: 0\n12: 0\n13: 0\n14: Coll(-119,46,111,71,-95,13,92,-112,-72,122,-44,-122,51,85,-50,-83,0,-61,-30,-104,50,23,-18,21,83,50,83,-51,-102,96,37,-62)\n15: Coll(79,-40,-80,-42,-39,-126,66,114,111,87,-77,-33,-90,-122,18,103,-110,-72,-27,5,110,29,81,-74,-23,13,104,-128,-49,45,-51,-59)\n16: 0\n17: 0\n18: Coll(34,94,63,-59,-47,-119,-11,71,-39,-58,38,-66,-67,-58,113,57,-117,108,0,124,120,61,-60,127,-112,63,36,-65,127,52,-124,121)\n19: Coll(-68,74,90,-71,-28,90,-73,75,121,-6,-20,-65,103,73,108,-62,-65,-116,43,14,85,-37,-24,-84,-49,-61,-99,20,-119,17,116,-112)\n20: Coll(118,124,-86,-128,-71,-114,73,106,-40,-87,-10,-119,-60,65,10,-28,83,50,127,15,-107,-23,80,-124,-64,-82,32,99,80,121,59,119)\n21: 0\n22: 1\n23: 9\n24: 2\n25: 1\n26: 2\n27: 1\n28: 33\n29: 0\n30: 0\n31: 3\n32: 1\n33: 9\n34: 0\n35: 0\n36: 1\n37: 1\n38: 9\n39: 1\n40: 1\n41: 1\n42: 33\n43: Coll(-20,-14,-48,75,-82,72,-96,10,-118,110,73,-64,86,114,99,-55,-11,-46,63,38,-56,35,88,-95,118,-85,-47,-16,33,-40,-79,48)\n44: 1\n45: 1\n46: 9\n47: 0\n48: 0\n49: 0\n50: 1\n51: 9\n52: 1\n53: 0\n54: 1\n55: 33\n56: 1\n57: 1\n58: false",
      "ergoTreeScript": "{\n  val bool1 = INPUTS.exists({(box1: Box) =>\n      val coll3 = box1.tokens\n      if (coll3.size > placeholder[Int](0)) { coll3(placeholder[Int](1))._1 == placeholder[Coll[Byte]](2) } else { placeholder[Boolean](3) }\n    })\n  val coll2 = placeholder[Coll[Byte]](4)\n  val coll3 = placeholder[Coll[Byte]](5)\n  sigmaProp(anyOf(Coll[Boolean](bool1, if (!bool1) {(\n          val box4 = OUTPUTS(placeholder[Int](6))\n          val coll5 = box4.R5[Coll[Long]].get\n          val box6 = INPUTS(placeholder[Int](7))\n          val coll7 = SELF.propositionBytes\n          val box8 = OUTPUTS.filter({(box8: Box) => box8.propositionBytes == coll7 })(placeholder[Int](8))\n          val coll9 = CONTEXT.dataInputs\n          val avlTree10 = coll9(placeholder[Int](9)).R4[AvlTree].get\n          val coll11 = getVar[Coll[Byte]](0.toByte).get\n          val coll12 = INPUTS.filter({(box12: Box) => box12.propositionBytes == coll7 })\n          val l13 = coll12.fold(placeholder[Long](10), {(tuple13: (Long, Box)) => tuple13._1 + tuple13._2.value })\n          val coll14 = box8.tokens\n          val func15 = {(coll15: Coll[Byte]) => coll12.flatMap({(box17: Box) => box17.tokens }).fold(placeholder[Long](11), {(tuple17: (Long, (Coll[Byte], Long))) =>\n                val tuple19 = tuple17._2\n                tuple17._1 + if (tuple19._1 == coll15) { tuple19._2 } else { placeholder[Long](12) }\n              }) }\n          val l16 = func15(coll2)\n          val coll17 = coll9(placeholder[Int](13)).R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](14), placeholder[Coll[Byte]](15)), getVar[Coll[Byte]](1.toByte).get)\n          val bool18 = coll14.filter({(tuple18: (Coll[Byte], Long)) => tuple18._1 != coll2 }).forall({(tuple18: (Coll[Byte], Long)) => tuple18._2 == func15(tuple18._1) })\n          val bool19 = coll12.flatMap({(box19: Box) => box19.tokens }).forall({(tuple19: (Coll[Byte], Long)) =>\n              val coll21 = tuple19._1\n              (coll21 == coll2) || box8.tokens.exists({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 })\n            })\n          if (coll5(placeholder[Int](16)) > box6.R5[Coll[Long]].get(placeholder[Int](17))) {(\n            val coll20 = avlTree10.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](18), placeholder[Coll[Byte]](19), placeholder[Coll[Byte]](20), coll3), coll11)\n            val l21 = byteArrayToLong(coll20(placeholder[Int](21)).get.slice(placeholder[Int](22), placeholder[Int](23))) * coll5(placeholder[Int](24)) + placeholder[Long](25)\n            val tuple22 = OUTPUTS.filter({(box22: Box) => blake2b256(box22.propositionBytes) == coll20(placeholder[Int](26)).get.slice(placeholder[Int](27), placeholder[Int](28)) })(placeholder[Int](29)).tokens(placeholder[Int](30))\n            allOf(Coll[Boolean](box8.value >= l13 - byteArrayToLong(coll20(placeholder[Int](31)).get.slice(placeholder[Int](32), placeholder[Int](33))), coll14.fold(placeholder[Long](34), {(tuple23: (Long, (Coll[Byte], Long))) =>\n                    val tuple25 = tuple23._2\n                    tuple23._1 + if (tuple25._1 == coll2) { tuple25._2 } else { placeholder[Long](35) }\n                  }) >= l16 - l21 - byteArrayToLong(coll20(placeholder[Int](36)).get.slice(placeholder[Int](37), placeholder[Int](38))), bool18, bool19, tuple22._1 == coll2, tuple22._2 >= l21, blake2b256(INPUTS(placeholder[Int](39)).propositionBytes) == coll17(placeholder[Int](40)).get.slice(placeholder[Int](41), placeholder[Int](42))))\n          )} else {(\n            val coll20 = avlTree10.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](43), coll3), coll11)\n            allOf(Coll[Boolean](box8.value >= l13 - byteArrayToLong(coll20(placeholder[Int](44)).get.slice(placeholder[Int](45), placeholder[Int](46))), coll14.fold(placeholder[Long](47), {(tuple21: (Long, (Coll[Byte], Long))) =>\n                    val tuple23 = tuple21._2\n                    tuple21._1 + if (tuple23._1 == coll2) { tuple23._2 } else { placeholder[Long](48) }\n                  }) >= l16 - byteArrayToLong(coll20(placeholder[Int](49)).get.slice(placeholder[Int](50), placeholder[Int](51))), bool18, bool19, blake2b256(INPUTS(placeholder[Int](52)).propositionBytes) == coll17(placeholder[Int](53)).get.slice(placeholder[Int](54), placeholder[Int](55)), box4.tokens(placeholder[Int](56))._2 == box6.tokens(placeholder[Int](57))._2))\n          )}\n        )} else { placeholder[Boolean](58) })))\n}",
      "address": "4MMmFUAxCSARLDBk9T3eG1bAenSTuUrd63kwVHa1bRgubobKZBMpmN5yKvRDogVtjPGQGjLVbvnjqTETZF5TopD7MAryayMyQF6PLPH5PPHBFgBCXT5Sp6N1HkVL83oKejaVbu2qohLYQu1ZwYq2s8cfMEZ8Ly9gcm5jmaokFbBGz1hBDUtwSjVfoZg6rQpm4ZWHU4FnNGeyXPgnJeVf8yXJYfwXpmN9ap9QT22xTPLXydHwdutC29jPEVBDUuLYafrduTT31z1i91J48FFcbpypmh8qBkdfBjh1ksVc6cY46fuEhgcLGNyaMVqeKzNrxXnmoVmDJKSHgErZ8hBbtBsMLsRh8cUKSf8CE6WAbpGoZZdG2NGt73rDvjsp6m4Xq1q1QJ96w2HQZn7b72cJHmUbikDuo1AiAEN8uoLxK5unEWzKyHzRoAPBqzmWjC2va9qEK28N1fstpFLws2jt8iKbgN3iZPKDdDxmauxDc5JwyRjKZ6UTkJjExB8G8nYBevnj3ML1UyRtY1HUX4L5tuFiMiRz6WKWEJ3h3PGUVJ5BrHy35BzpVRd61F2UCoP2dMKJErSDDcwWrAehGvKRekKEzfvEDVnf7ThZvT5Mjz1d2Ybz3xGHkKcDHdFpVFZVyJ9oha1cSagN1D5NXyhkrC4YhEuQnGfBEJu1y3DxdCoF8oNF8fVaRPuUobzr6Tdpujhw7AZUzrEHjJ4GUC2r1hA3xFTEom1UZSiEhxmUMC9sxHTTeKV2BNvu2AaNmKM5BeUW76u9f3C6rqojme8j9uriNGqkK2745ftXTSXTNJPj211kuCNb65171bn5cLtXxFuS4qSoXmWssveAZMSJnkrvc9yMSHScHwP515bKrzzkMCZfZFabFHpwCsmfqxciyyfkSt5ETVDPRtDG1pyPJPCXnmYgeu5At5L4iYx2gDQZPJTejofYjreukshLEAzxiWsW5U4WRS3u3MFFNacsarWEPRc2LpEwjg2G5cvmg1e73QX4qZx2aHvfpKTE8Fuo3XCcyexGLoFfTqBfw4oGgt121JtAtVram52XmGNuvLdRucqKvQ5xbA6wvjnoQ8eMn1Cv1HHm4mo7TTDVujxmgc4yMR9rwvsMuXQAG8yoZZMZggx6UWWWUWdT14GxjJVPWnXpWPGDTcWjYjy8U7PLTXXaKAEWDGt8HXFE8oqQjimGeJxiKVB8EnKL37D6cAmJkruEEHDZvkY4UrB1zBnA63Wcj5dv2fBrKZ2L6pTRWcPsodmYiAL4N2oA5pnZEuUhmtWoTjQf2CcU2XZs3bBTarMCdZFQtm6ukthzJRVBzynh4JtZDbDJwH1YdF67zdWQV3h82kw8M1Yzif2kwnMoCDV1QZYGpCSetgogy1UUGmzvs49FVoCx9q3G1ro7vjdZSRngEdFctuYhzD9fmfsLnzafKDuczcjt486Sc92BcsL9CdvFWbG3iNEtGfAo71Xx956vKraosnX265Nuwdjsd8EtfR5Xmwv1Hvuu4xCEzDzVaCbDcNwPNGgWZCEJTiA2KAVJGFkPHZit7rt",
      "assets": [
        {
          "tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
          "index": 0,
          "amount": 10083656281,
          "name": "bPaideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "d331e8f3449eb8cb9be00554a965c4b28a696c58f76fbd682dc6b193e2ed90ad",
      "mainChain": true
    }
  ],
  "size": 14785,
  "isUnconfirmed": false
}