Ad
Inputs (9)
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.83925 ERG
Outputs (11)
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.836 ERG
Spent in transaction:
Settlement height:
Value:
0.00155 ERG
Spent in transaction:
Settlement height:
Value:
0.0017 ERG
Transaction Details
Status: Confirmed
Size: 5.55 KB
Received time: 5/30/2022 07:10:04 PM
Included in blocks: 761,196
Confirmations: 998,639
Total coins transferred: 0.84725 ERG
Fees: 0.0017 ERG
Fees per byte: 0.000000299 ERG
Raw Transaction Data
{
  "id": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
  "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
  "inclusionHeight": 761196,
  "timestamp": 1653937804278,
  "index": 5,
  "globalIndex": 3269434,
  "numConfirmations": 998639,
  "inputs": [
    {
      "boxId": "fff8632130a565da1ec22b0b2f489f7eb9cf215c4d83f8f165f1ea250a629d40",
      "value": 1000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "9bb3cd3174f5c6ae3a921380b299f773fce7c7f6a8664436d6cacff6b58e6c12",
      "outputIndex": 2,
      "outputGlobalIndex": 17302774,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "102e04000e20001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3040604000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404040406040204000402040404020500040204000400040204020404040405c8010400040004000402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d4480400040201000400060100040204000400040204020400040204020404040404060100d804d601b2a4730000d6027301d603e4c6a70411d604b2720373020095ed938cb2db6308720173030001730493c5b2a4730500c5a7d80ad605b2a5730600d606e4c672050411d607e4c672010411d608b27206730700d609b2a4730800d60ab2e4c672090411730900d60bdb6308a7d60c9a8cb2db63087209730a00029592b1720b730b8cb2720b730c0002730dd60ddb63087205d60eb2720d730e00d19683080193c27205c2a793b27206730f00b2720773100093b27206731100b2720773120093b27206731300b27207731400937208958f720a720c99720a9d720a7315720c938cb2720d731600018cb2720b73170001938c720e017202938c720e0272089593c57201c5a7d808d605b2a5731800d606db63087205d607db6308a7d6087e8cb272077319000206d609b5a4d9010963d801d60bdb630872099591b1720b731aed938cb2720b731b0001731c93b2e4c672090411731d00b27203731e00731fd60ab27203732000d60bb072097321d9010b42639a8c720b019d9c7e8cb2db63088c720b0273220002067e7204067e720a06d60ce4c672050411d19683070193c27205c2a7938cb27206732300018cb272077324000195907208720b93b172067325d801d60db27206732600ed938c720d017202927e8c720d0206997208720b93b2720c732700720a93b2720c732800b2720373290093b2720c732a0099b27203732b007eb172090593b2720c732c007204d1732d",
      "ergoTreeConstants": "0: 0\n1: Coll(0,20,117,-80,110,-44,-46,-94,-2,30,36,76,-107,27,76,112,-39,36,-71,51,-71,-18,5,34,127,47,45,-89,-42,-12,111,-45)\n2: 3\n3: 0\n4: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n5: 2\n6: 2\n7: 3\n8: 1\n9: 0\n10: 1\n11: 2\n12: 1\n13: 0\n14: 1\n15: 0\n16: 0\n17: 1\n18: 1\n19: 2\n20: 2\n21: 100\n22: 0\n23: 0\n24: 0\n25: 1\n26: 0\n27: 0\n28: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n29: 0\n30: 1\n31: false\n32: 0\n33: CBigInt(0)\n34: 1\n35: 0\n36: 0\n37: 1\n38: 1\n39: 0\n40: 1\n41: 1\n42: 2\n43: 2\n44: 3\n45: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = placeholder[Coll[Byte]](1)\n  val coll3 = SELF.R4[Coll[Long]].get\n  val l4 = coll3(placeholder[Int](2))\n  if ((box1.tokens(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4)) && (INPUTS(placeholder[Int](5)).id == SELF.id)) {(\n    val box5 = OUTPUTS(placeholder[Int](6))\n    val coll6 = box5.R4[Coll[Long]].get\n    val coll7 = box1.R4[Coll[Long]].get\n    val l8 = coll6(placeholder[Int](7))\n    val box9 = INPUTS(placeholder[Int](8))\n    val l10 = box9.R4[Coll[Long]].get(placeholder[Int](9))\n    val coll11 = SELF.tokens\n    val l12 = box9.tokens(placeholder[Int](10))._2 + if (coll11.size >= placeholder[Int](11)) { coll11(placeholder[Int](12))._2 } else { placeholder[Long](13) }\n    val coll13 = box5.tokens\n    val tuple14 = coll13(placeholder[Int](14))\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](15)) == coll7(placeholder[Int](16)), coll6(placeholder[Int](17)) == coll7(\n            placeholder[Int](18)\n          ), coll6(placeholder[Int](19)) == coll7(placeholder[Int](20)), l8 == if (l10 < l12) { l10 - l10 / placeholder[Long](21) } else { l12 }, coll13(\n            placeholder[Int](22)\n          )._1 == coll11(placeholder[Int](23))._1, tuple14._1 == coll2, tuple14._2 == l8\n        )\n      )\n    )\n  )} else { if (box1.id == SELF.id) {(\n      val box5 = OUTPUTS(placeholder[Int](24))\n      val coll6 = box5.tokens\n      val coll7 = SELF.tokens\n      val bi8 = coll7(placeholder[Int](25))._2.toBigInt\n      val coll9 = INPUTS.filter({(box9: Box) =>\n          val coll11 = box9.tokens\n          if (coll11.size > placeholder[Int](26)) { (coll11(placeholder[Int](27))._1 == placeholder[Coll[Byte]](28)) && (box9.R4[Coll[Long]].get(placeholder[Int](29)) == coll3(placeholder[Int](30))) } else { placeholder[Boolean](31) }\n        })\n      val l10 = coll3(placeholder[Int](32))\n      val bi11 = coll9.fold(placeholder[BigInt](33), {(tuple11: (BigInt, Box)) => tuple11._1 + tuple11._2.tokens(placeholder[Int](34))._2.toBigInt * l4.toBigInt / l10.toBigInt })\n      val coll12 = box5.R4[Coll[Long]].get\n      sigmaProp(allOf(Coll[Boolean](box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](35))._1 == coll7(placeholder[Int](36))._1, if (bi8 <= bi11) { coll6.size == placeholder[Int](37) } else {(\n              val tuple13 = coll6(placeholder[Int](38))\n              (tuple13._1 == coll2) && (tuple13._2.toBigInt >= bi8 - bi11)\n            )}, coll12(placeholder[Int](39)) == l10, coll12(placeholder[Int](40)) == coll3(placeholder[Int](41)), coll12(placeholder[Int](42)) == coll3(placeholder[Int](43)) - coll9.size.toLong, coll12(placeholder[Int](44)) == l4)))\n    )} else { sigmaProp(placeholder[Boolean](45)) } }\n}",
      "address": "3JzMahp3AHSF9VciA4YTEqRkBsK2BVQLsKSY7ps1ZRJYreFBshpbjxm8meLiCYWdMEvjXsTA6Ahic8c1URxg5iqQBf52oeNBieHDLxtk1PnvsuvgcpaB14mmtj4zQQdre8NY2czg46WHkReGwdA1cu2bsAFFXFjer8h1BBbVg7R2eDzDefxsFYw8cqUiCX8BZ77SPpuCWGA94omPzJAtanviJfZANiAYUyfCTLmsSc5njExrE9WB6KwYsKmvBRyUWsLZvjQcxMLL8gAEZvtG1pHP4uPww4JmW6nNbCm5YLw6xYWsRzb4asWCoha3n6ir7uEm5n26oCnVhv7zSxwVpfd1xcn4g2BJtmhp99KVifNx7kijMMNCitqhed4UXXdkj2fEZtrM12j19jAeJjjUzzfaU51RGLLoRQCtDbsZRe9veBv4UKKeFzrqhnvpG9etdU4JUJYMhxwVjttsuNcfZtT1AVej67LxqaaeWFBcE6tqKiscNxmsQJ49KcS12NZC9VWUfduggoBC9e5P1gLdvs382FhHCzjkND2T6iWF1JgCGMTkuTDxsvUCDUcR6RbqDwzkTgyLsM3KtEMYSPn1TQApvVQXSmJZT8xZtQQLpZLJnqzbtdQRqFw5EfEgb5rRWVvmPKUwuKeTQ9pHCrwbNL4JZ4WCA9xveqF2vg4yLJyuQMhcfxF3xnzXdma3b3w8AgmfZajHD7UR4NdvfEebLsJdscP9B1bfWu2QArMoU1T9wX2rMJh83Y3STHU2GmKya4A6eoDCyETWU43c7pvLED2b4VvrK9t1rvtALzu8zfj1F8RnrvW4aGy9a7UtyVjV3TDhJu5rry5CR2vZuiNXxvKFg5BTaD11RmJajjp8u7CZH2CsrEYAmXtpbGqkDNmgF9Adwu2oPTSfttJqc6fBFzQasW5AJTH43J4DvJddQhveRVBifU6WsFJqZdQC4rXbx16xiW7L72q1HQD5iv1XSs42D5Xwd35LdYzmVV",
      "assets": [
        {
          "tokenId": "58f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c1",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Emission NFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 271161000,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1104f2bea1af8d05f4040ed0dacc8202",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[87693733817,314,7,271161000]"
        }
      }
    },
    {
      "boxId": "5ec2f1a41a9c808842a29fc94bcdd48632e1cd65a6e310c61f9cf25089ed2889",
      "value": 1000000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 1,
      "outputGlobalIndex": 17302708,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 20943591,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404bc8298d0a260",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653914927262]"
        },
        "R5": {
          "serializedValue": "0e2074560ae8c2d993eccff9095d260137182ef1ea05aef55dc4f3301ae321dc3e8e",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "74560ae8c2d993eccff9095d260137182ef1ea05aef55dc4f3301ae321dc3e8e"
        }
      }
    },
    {
      "boxId": "c8f6907ec509a371eb89b3aca81dda54428f59d23e01eff28a76e54549044e43",
      "value": 1000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 2,
      "outputGlobalIndex": 17302709,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 9075258735,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404bab6afbc9f60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653491494301]"
        },
        "R5": {
          "serializedValue": "0e20fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa"
        }
      }
    },
    {
      "boxId": "a49d753b2a9ed2e3fe45024df62f3150f2554de68922c89ffbde7a64575ea709",
      "value": 1000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 3,
      "outputGlobalIndex": 17302710,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 25526968590,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404aadfee94a060",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653584287701]"
        },
        "R5": {
          "serializedValue": "0e20f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997"
        }
      }
    },
    {
      "boxId": "9140e76d6267138363ed0f5164d19181122621dfcefa241150cb48d417ad6cad",
      "value": 1000000,
      "index": 4,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 4,
      "outputGlobalIndex": 17302711,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 1670537824,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404c6d293d4a060",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653650650275]"
        },
        "R5": {
          "serializedValue": "0e2042ad11164cb217a7ed5327c4c235a49e801655486220c33de5ae7460f49dbfd1",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "42ad11164cb217a7ed5327c4c235a49e801655486220c33de5ae7460f49dbfd1"
        }
      }
    },
    {
      "boxId": "9dc1d6ac681c0fac61faa0a691a53140e211537104c394debafd56ea5a90ec89",
      "value": 1000000,
      "index": 5,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 5,
      "outputGlobalIndex": 17302712,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 41451515495,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404aecfeafd9a60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1652889048023]"
        },
        "R5": {
          "serializedValue": "0e2034854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "34854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70"
        }
      }
    },
    {
      "boxId": "bd88a1f9871cce0d2009e1e4968bca12d8e29ad26269c8f1b52773fd1dc1118d",
      "value": 1000000,
      "index": 6,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 6,
      "outputGlobalIndex": 17302713,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 9944441338,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404daf4b4ef9f60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653545016621]"
        },
        "R5": {
          "serializedValue": "0e202165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "2165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592"
        }
      }
    },
    {
      "boxId": "bb00fa4399e9031c640c44f093428f2c84ff58dd8f5df3b21622b50eb75e4b34",
      "value": 1000000,
      "index": 7,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "02459a703ae9eb3ccc33d06b72711a6936b2e21bee3d03cb1f5de1f4f2f36b55",
      "outputIndex": 7,
      "outputGlobalIndex": 17302714,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 4068241,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f404b2e5dacfa260",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[314,1653914425689]"
        },
        "R5": {
          "serializedValue": "0e2014463c9b53c822653d91470f4cb766118cd8a5996312b1bf2cbc2644b97e3d91",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "14463c9b53c822653d91470f4cb766118cd8a5996312b1bf2cbc2644b97e3d91"
        }
      }
    },
    {
      "boxId": "b44b4658efa480dfbac7aea1dd4a98ec7144d22d5b05ce4bd3d454b31f06298e",
      "value": 839250000,
      "index": 8,
      "spendingProof": null,
      "outputBlockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "outputTransactionId": "9bb3cd3174f5c6ae3a921380b299f773fce7c7f6a8664436d6cacff6b58e6c12",
      "outputIndex": 4,
      "outputGlobalIndex": 17302776,
      "outputCreatedAt": 761192,
      "outputSettledAt": 761196,
      "ergoTree": "10260e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c104060400058084af5f040205c0843d04040580897a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404000408040205809bee020580897a0580897a040a05809bee02040c0580897a0402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d44804000402010005c0843d05e0a7120580897a05c09a0c04020404040004000e20dfdf8f7f51f922b4c8026861a990f331505af6f04169119e2ee66ea1c84910f6d801d60173009593b1a57301d803d602b2a5730200d603c2a7d604c1a7d19683050193c27202720391c172027204907204730393c1b2a57304009c73057eb1b5a4d901056393c2720572030593c1b2a57306007307d802d602b2a4730800d6038cb2db630872027309000195ed937203730a938cb2db6308b2a4730b00730c00017201d801d604b2a5730d00d19683050193c5b2a499b1a4730e00c5a793c27204c2a792c17204999999c1a7730f7310731193c1b2a5731200731393c1b2a57314007315959372037201d807d604b1a4d6059972047316d606b2a5720500d607b1b5a4d9010763d801d609db630872079591b172097317ed938cb2720973180001731993b2e4c672070411731a00b2e4c672020411731b00731cd6087e720705d6099a731d9c731e7208d60a9a731f9c73207208d19683060193c5b2a4720500c5a793c27206c2a792c172069999c1a77209720a93c1b2a5720400720993c1b2a59a7204732100720a9372049a72077322d1938cb2db6308b2a5732300732400017325",
      "ergoTreeConstants": "0: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n1: 3\n2: 0\n3: 100000000\n4: 1\n5: 500000\n6: 2\n7: 1000000\n8: 0\n9: 0\n10: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n11: 2\n12: 0\n13: 4\n14: 1\n15: 3000000\n16: 1000000\n17: 1000000\n18: 5\n19: 3000000\n20: 6\n21: 1000000\n22: 1\n23: 0\n24: 0\n25: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n26: 0\n27: 1\n28: false\n29: 500000\n30: 150000\n31: 1000000\n32: 100000\n33: 1\n34: 2\n35: 0\n36: 0\n37: Coll(-33,-33,-113,127,81,-7,34,-76,-56,2,104,97,-87,-112,-13,49,80,90,-10,-16,65,105,17,-98,46,-26,110,-95,-56,73,16,-10)",
      "ergoTreeScript": "{\n  val coll1 = placeholder[Coll[Byte]](0)\n  if (OUTPUTS.size == placeholder[Int](1)) {(\n    val box2 = OUTPUTS(placeholder[Int](2))\n    val coll3 = SELF.propositionBytes\n    val l4 = SELF.value\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box2.propositionBytes == coll3, box2.value > l4, l4 <= placeholder[Long](3), OUTPUTS(placeholder[Int](4)).value == placeholder[Long](\n            5\n          ) * INPUTS.filter({(box5: Box) => box5.propositionBytes == coll3 }).size.toLong, OUTPUTS(placeholder[Int](6)).value == placeholder[Long](7)\n        )\n      )\n    )\n  )} else {(\n    val box2 = INPUTS(placeholder[Int](8))\n    val coll3 = box2.tokens(placeholder[Int](9))._1\n    if ((coll3 == placeholder[Coll[Byte]](10)) && (INPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == coll1)) {(\n      val box4 = OUTPUTS(placeholder[Int](13))\n      sigmaProp(\n        allOf(\n          Coll[Boolean](\n            INPUTS(INPUTS.size - placeholder[Int](14)).id == SELF.id, box4.propositionBytes == SELF.propositionBytes, box4.value >= SELF.value - placeholder[\n              Long\n            ](15) - placeholder[Long](16) - placeholder[Long](17), OUTPUTS(placeholder[Int](18)).value == placeholder[Long](19), OUTPUTS(\n              placeholder[Int](20)\n            ).value == placeholder[Long](21)\n          )\n        )\n      )\n    )} else { if (coll3 == coll1) {(\n        val i4 = INPUTS.size\n        val i5 = i4 - placeholder[Int](22)\n        val box6 = OUTPUTS(i5)\n        val i7 = INPUTS.filter({(box7: Box) =>\n            val coll9 = box7.tokens\n            if (coll9.size > placeholder[Int](23)) { (coll9(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box7.R4[Coll[Long]].get(placeholder[Int](26)) == box2.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n          }).size\n        val l8 = i7.toLong\n        val l9 = placeholder[Long](29) + placeholder[Long](30) * l8\n        val l10 = placeholder[Long](31) + placeholder[Long](32) * l8\n        sigmaProp(allOf(Coll[Boolean](INPUTS(i5).id == SELF.id, box6.propositionBytes == SELF.propositionBytes, box6.value >= SELF.value - l9 - l10, OUTPUTS(i4).value == l9, OUTPUTS(i4 + placeholder[Int](33)).value == l10, i4 == i7 + placeholder[Int](34))))\n      )} else { sigmaProp(OUTPUTS(placeholder[Int](35)).tokens(placeholder[Int](36))._1 == placeholder[Coll[Byte]](37)) } }\n  )}\n}",
      "address": "78N9ocQuQ8tcs5PB8ZbzRxChUVAkS8wp8EdtFB2bmD8AC6TQUdwRGDK7E2Upes3Kt5Wax54aBCraweYdWjmru6mfZT3vQPc1wneFXBLDzTpf7RGymdZVXqnWYywZxCuZ1QoWccHW3a75NddD1RDwwdeq7meADd99MgrSiJb7Wzrxs2LvdxuV9ij3UQ1czMnGoCoaNep2knmwmSmFF9qtWrSrDNkyXiLCermXcxyVxbKiQFDxu3t1DquQGzPTMFVR6XN6f1RrbefCyPQXnCGTDRBHjAnjAHf8kFnxzhNtD7EnUtvCQ66dLMAZw4dVMwcg7r8bFjconzQThwR1yhHVDFVSVKktSKuKne6ZYR1ta3En9uaXiGorUZN8pYFrB7Aivkbtfb5bGiiFM6oRFd91o43HnoakEfRvZDxhb7TqGQz5kufbLgLMT14u3xPbkGWxCLBaikrzwWToLzmeXkghvNC51RLfEydfN5z5fyTuVUXy5sZ11VS8xnr2suWJW4p5r3RSKJLZqDnBS2rJbeTDEShzR1m3jqsPiKjtWWQH6UBWZr1dcWNyVWu1KiF9PnCvRBYKFtDBxMGV5rFKd5evSmBkGcDrVFZdEAsK4jGv9F4r246pJH9J93tUaSsbpTceF875gtZ4tstygQFzdch38xPd9BJFGZiG6qhRKb7adKy3xQaRofHaZSf5hoUAUCXovvsBjorAaGZ3YRtkrVPCncWK2KntdJb76i1SaavxLwRkqTAoknsBj18GKxK4jxE2pkeeJVgq37d4rjatzSMrzWJVoouxQYzFJDAZkrL6QVSdd8HMuBq69KDfndmhnTZ7TFYQ8rmHUsAXbgnw2UPTU",
      "assets": [],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "1806b3f0047d6de8dcd046399e0d444a50b8479d8ac657f2629ce65b87fa0efe",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 0,
      "globalIndex": 17302833,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "102e04000e20001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3040604000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404040406040204000402040404020500040204000400040204020404040405c8010400040004000402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d4480400040201000400060100040204000400040204020400040204020404040404060100d804d601b2a4730000d6027301d603e4c6a70411d604b2720373020095ed938cb2db6308720173030001730493c5b2a4730500c5a7d80ad605b2a5730600d606e4c672050411d607e4c672010411d608b27206730700d609b2a4730800d60ab2e4c672090411730900d60bdb6308a7d60c9a8cb2db63087209730a00029592b1720b730b8cb2720b730c0002730dd60ddb63087205d60eb2720d730e00d19683080193c27205c2a793b27206730f00b2720773100093b27206731100b2720773120093b27206731300b27207731400937208958f720a720c99720a9d720a7315720c938cb2720d731600018cb2720b73170001938c720e017202938c720e0272089593c57201c5a7d808d605b2a5731800d606db63087205d607db6308a7d6087e8cb272077319000206d609b5a4d9010963d801d60bdb630872099591b1720b731aed938cb2720b731b0001731c93b2e4c672090411731d00b27203731e00731fd60ab27203732000d60bb072097321d9010b42639a8c720b019d9c7e8cb2db63088c720b0273220002067e7204067e720a06d60ce4c672050411d19683070193c27205c2a7938cb27206732300018cb272077324000195907208720b93b172067325d801d60db27206732600ed938c720d017202927e8c720d0206997208720b93b2720c732700720a93b2720c732800b2720373290093b2720c732a0099b27203732b007eb172090593b2720c732c007204d1732d",
      "ergoTreeConstants": "0: 0\n1: Coll(0,20,117,-80,110,-44,-46,-94,-2,30,36,76,-107,27,76,112,-39,36,-71,51,-71,-18,5,34,127,47,45,-89,-42,-12,111,-45)\n2: 3\n3: 0\n4: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n5: 2\n6: 2\n7: 3\n8: 1\n9: 0\n10: 1\n11: 2\n12: 1\n13: 0\n14: 1\n15: 0\n16: 0\n17: 1\n18: 1\n19: 2\n20: 2\n21: 100\n22: 0\n23: 0\n24: 0\n25: 1\n26: 0\n27: 0\n28: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n29: 0\n30: 1\n31: false\n32: 0\n33: CBigInt(0)\n34: 1\n35: 0\n36: 0\n37: 1\n38: 1\n39: 0\n40: 1\n41: 1\n42: 2\n43: 2\n44: 3\n45: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = placeholder[Coll[Byte]](1)\n  val coll3 = SELF.R4[Coll[Long]].get\n  val l4 = coll3(placeholder[Int](2))\n  if ((box1.tokens(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4)) && (INPUTS(placeholder[Int](5)).id == SELF.id)) {(\n    val box5 = OUTPUTS(placeholder[Int](6))\n    val coll6 = box5.R4[Coll[Long]].get\n    val coll7 = box1.R4[Coll[Long]].get\n    val l8 = coll6(placeholder[Int](7))\n    val box9 = INPUTS(placeholder[Int](8))\n    val l10 = box9.R4[Coll[Long]].get(placeholder[Int](9))\n    val coll11 = SELF.tokens\n    val l12 = box9.tokens(placeholder[Int](10))._2 + if (coll11.size >= placeholder[Int](11)) { coll11(placeholder[Int](12))._2 } else { placeholder[Long](13) }\n    val coll13 = box5.tokens\n    val tuple14 = coll13(placeholder[Int](14))\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](15)) == coll7(placeholder[Int](16)), coll6(placeholder[Int](17)) == coll7(\n            placeholder[Int](18)\n          ), coll6(placeholder[Int](19)) == coll7(placeholder[Int](20)), l8 == if (l10 < l12) { l10 - l10 / placeholder[Long](21) } else { l12 }, coll13(\n            placeholder[Int](22)\n          )._1 == coll11(placeholder[Int](23))._1, tuple14._1 == coll2, tuple14._2 == l8\n        )\n      )\n    )\n  )} else { if (box1.id == SELF.id) {(\n      val box5 = OUTPUTS(placeholder[Int](24))\n      val coll6 = box5.tokens\n      val coll7 = SELF.tokens\n      val bi8 = coll7(placeholder[Int](25))._2.toBigInt\n      val coll9 = INPUTS.filter({(box9: Box) =>\n          val coll11 = box9.tokens\n          if (coll11.size > placeholder[Int](26)) { (coll11(placeholder[Int](27))._1 == placeholder[Coll[Byte]](28)) && (box9.R4[Coll[Long]].get(placeholder[Int](29)) == coll3(placeholder[Int](30))) } else { placeholder[Boolean](31) }\n        })\n      val l10 = coll3(placeholder[Int](32))\n      val bi11 = coll9.fold(placeholder[BigInt](33), {(tuple11: (BigInt, Box)) => tuple11._1 + tuple11._2.tokens(placeholder[Int](34))._2.toBigInt * l4.toBigInt / l10.toBigInt })\n      val coll12 = box5.R4[Coll[Long]].get\n      sigmaProp(allOf(Coll[Boolean](box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](35))._1 == coll7(placeholder[Int](36))._1, if (bi8 <= bi11) { coll6.size == placeholder[Int](37) } else {(\n              val tuple13 = coll6(placeholder[Int](38))\n              (tuple13._1 == coll2) && (tuple13._2.toBigInt >= bi8 - bi11)\n            )}, coll12(placeholder[Int](39)) == l10, coll12(placeholder[Int](40)) == coll3(placeholder[Int](41)), coll12(placeholder[Int](42)) == coll3(placeholder[Int](43)) - coll9.size.toLong, coll12(placeholder[Int](44)) == l4)))\n    )} else { sigmaProp(placeholder[Boolean](45)) } }\n}",
      "address": "3JzMahp3AHSF9VciA4YTEqRkBsK2BVQLsKSY7ps1ZRJYreFBshpbjxm8meLiCYWdMEvjXsTA6Ahic8c1URxg5iqQBf52oeNBieHDLxtk1PnvsuvgcpaB14mmtj4zQQdre8NY2czg46WHkReGwdA1cu2bsAFFXFjer8h1BBbVg7R2eDzDefxsFYw8cqUiCX8BZ77SPpuCWGA94omPzJAtanviJfZANiAYUyfCTLmsSc5njExrE9WB6KwYsKmvBRyUWsLZvjQcxMLL8gAEZvtG1pHP4uPww4JmW6nNbCm5YLw6xYWsRzb4asWCoha3n6ir7uEm5n26oCnVhv7zSxwVpfd1xcn4g2BJtmhp99KVifNx7kijMMNCitqhed4UXXdkj2fEZtrM12j19jAeJjjUzzfaU51RGLLoRQCtDbsZRe9veBv4UKKeFzrqhnvpG9etdU4JUJYMhxwVjttsuNcfZtT1AVej67LxqaaeWFBcE6tqKiscNxmsQJ49KcS12NZC9VWUfduggoBC9e5P1gLdvs382FhHCzjkND2T6iWF1JgCGMTkuTDxsvUCDUcR6RbqDwzkTgyLsM3KtEMYSPn1TQApvVQXSmJZT8xZtQQLpZLJnqzbtdQRqFw5EfEgb5rRWVvmPKUwuKeTQ9pHCrwbNL4JZ4WCA9xveqF2vg4yLJyuQMhcfxF3xnzXdma3b3w8AgmfZajHD7UR4NdvfEebLsJdscP9B1bfWu2QArMoU1T9wX2rMJh83Y3STHU2GmKya4A6eoDCyETWU43c7pvLED2b4VvrK9t1rvtALzu8zfj1F8RnrvW4aGy9a7UtyVjV3TDhJu5rry5CR2vZuiNXxvKFg5BTaD11RmJajjp8u7CZH2CsrEYAmXtpbGqkDNmgF9Adwu2oPTSfttJqc6fBFzQasW5AJTH43J4DvJddQhveRVBifU6WsFJqZdQC4rXbx16xiW7L72q1HQD5iv1XSs42D5Xwd35LdYzmVV",
      "assets": [
        {
          "tokenId": "58f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c1",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Emission NFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 3,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1104f2bea1af8d05f40400d0dacc8202",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[87693733817,314,0,271161000]"
        }
      },
      "spentTransactionId": "f2b1d859f41d2b9abe43f0fc90cab7b3dd7076fed1532a58b266417a81b99aa4",
      "mainChain": true
    },
    {
      "boxId": "b2e22eb934d4b4c1c3f7ab3e5320a8baa4e7309a2b168ff93788e2b04316da62",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 1,
      "globalIndex": 17302834,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 21008351,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604bc8298d0a260",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653914927262]"
        },
        "R5": {
          "serializedValue": "0e2074560ae8c2d993eccff9095d260137182ef1ea05aef55dc4f3301ae321dc3e8e",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "74560ae8c2d993eccff9095d260137182ef1ea05aef55dc4f3301ae321dc3e8e"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "010b37a26b430176d91582204edea58fdce28c63231ba4af52c979b0e8262a4d",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 2,
      "globalIndex": 17302835,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 9103320674,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604bab6afbc9f60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653491494301]"
        },
        "R5": {
          "serializedValue": "0e20fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "6f32b923848bcdd6198b708505b5576d7e3fdda59b8de9c5d2daf0cbf77bf118",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 3,
      "globalIndex": 17302836,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 25605901462,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604aadfee94a060",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653584287701]"
        },
        "R5": {
          "serializedValue": "0e20f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "6bc8efa59bc137eaa5d467a18b009eb621d9ea83c113541773fcb847489cc20e",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 4,
      "globalIndex": 17302837,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 1675703355,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604c6d293d4a060",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653650650275]"
        },
        "R5": {
          "serializedValue": "0e2042ad11164cb217a7ed5327c4c235a49e801655486220c33de5ae7460f49dbfd1",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "42ad11164cb217a7ed5327c4c235a49e801655486220c33de5ae7460f49dbfd1"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "d84cfca20f00db6de3bcee53dbc595bd0cae909a177c2947e272c23672024d63",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 5,
      "globalIndex": 17302838,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 41579689241,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604aecfeafd9a60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1652889048023]"
        },
        "R5": {
          "serializedValue": "0e2034854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "34854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "131f0045dce0418ba6545c5d065e4e5b6600d736e1f9289c397b42714eddf0f0",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 6,
      "globalIndex": 17302839,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 9975190908,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604daf4b4ef9f60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653545016621]"
        },
        "R5": {
          "serializedValue": "0e202165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "2165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "27533e1c1fb0783b25720ef5ec32bbd142dbd783f9d9a1b93f7b1faed9c9a505",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1000000,
      "index": 7,
      "globalIndex": 17302840,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = box1.tokens(placeholder[Int](1))._1\n  val bool3 = coll2 == placeholder[Coll[Byte]](2)\n  if (coll2 == placeholder[Coll[Byte]](3)) {(\n    val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n    val coll5 = box4.R4[Coll[Long]].get\n    val coll6 = SELF.R4[Coll[Long]].get\n    val coll7 = box4.tokens\n    val tuple8 = coll7(placeholder[Int](5))\n    val coll9 = SELF.tokens\n    val tuple10 = coll9(placeholder[Int](6))\n    val tuple11 = coll7(placeholder[Int](7))\n    val tuple12 = coll9(placeholder[Int](8))\n    val bi13 = tuple12._2.toBigInt\n    val coll14 = box1.R4[Coll[Long]].get\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n            Long\n          ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n            placeholder[Int](13)\n          ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n            placeholder[Int](14)\n          ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n        )\n      )\n    )\n  )} else {(\n    val box4 = INPUTS(placeholder[Int](16))\n    if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n        val box5 = OUTPUTS(placeholder[Int](20))\n        sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n            val opt6 = box5.R5[Coll[Byte]]\n            if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n          )} else { placeholder[Boolean](24) })\n      )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n  )}\n}",
      "address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
      "assets": [
        {
          "tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
          "index": 0,
          "amount": 1,
          "name": "PaideiaTest Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
          "index": 1,
          "amount": 4080820,
          "name": "PaideiaTest",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102f604b2e5dacfa260",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[315,1653914425689]"
        },
        "R5": {
          "serializedValue": "0e2014463c9b53c822653d91470f4cb766118cd8a5996312b1bf2cbc2644b97e3d91",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "14463c9b53c822653d91470f4cb766118cd8a5996312b1bf2cbc2644b97e3d91"
        }
      },
      "spentTransactionId": "a11103dd97766b9f0f9a96c61bddf638fcf61c80d397a436d6017d29fd9e86c2",
      "mainChain": true
    },
    {
      "boxId": "d57cf2ec03da288e3f0f01bfe1ed35d88bdbf1b7d5a34b1f1556b9dee94d197f",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 836000000,
      "index": 8,
      "globalIndex": 17302841,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "10260e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c104060400058084af5f040205c0843d04040580897a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404000408040205809bee020580897a0580897a040a05809bee02040c0580897a0402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d44804000402010005c0843d05e0a7120580897a05c09a0c04020404040004000e20dfdf8f7f51f922b4c8026861a990f331505af6f04169119e2ee66ea1c84910f6d801d60173009593b1a57301d803d602b2a5730200d603c2a7d604c1a7d19683050193c27202720391c172027204907204730393c1b2a57304009c73057eb1b5a4d901056393c2720572030593c1b2a57306007307d802d602b2a4730800d6038cb2db630872027309000195ed937203730a938cb2db6308b2a4730b00730c00017201d801d604b2a5730d00d19683050193c5b2a499b1a4730e00c5a793c27204c2a792c17204999999c1a7730f7310731193c1b2a5731200731393c1b2a57314007315959372037201d807d604b1a4d6059972047316d606b2a5720500d607b1b5a4d9010763d801d609db630872079591b172097317ed938cb2720973180001731993b2e4c672070411731a00b2e4c672020411731b00731cd6087e720705d6099a731d9c731e7208d60a9a731f9c73207208d19683060193c5b2a4720500c5a793c27206c2a792c172069999c1a77209720a93c1b2a5720400720993c1b2a59a7204732100720a9372049a72077322d1938cb2db6308b2a5732300732400017325",
      "ergoTreeConstants": "0: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n1: 3\n2: 0\n3: 100000000\n4: 1\n5: 500000\n6: 2\n7: 1000000\n8: 0\n9: 0\n10: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n11: 2\n12: 0\n13: 4\n14: 1\n15: 3000000\n16: 1000000\n17: 1000000\n18: 5\n19: 3000000\n20: 6\n21: 1000000\n22: 1\n23: 0\n24: 0\n25: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n26: 0\n27: 1\n28: false\n29: 500000\n30: 150000\n31: 1000000\n32: 100000\n33: 1\n34: 2\n35: 0\n36: 0\n37: Coll(-33,-33,-113,127,81,-7,34,-76,-56,2,104,97,-87,-112,-13,49,80,90,-10,-16,65,105,17,-98,46,-26,110,-95,-56,73,16,-10)",
      "ergoTreeScript": "{\n  val coll1 = placeholder[Coll[Byte]](0)\n  if (OUTPUTS.size == placeholder[Int](1)) {(\n    val box2 = OUTPUTS(placeholder[Int](2))\n    val coll3 = SELF.propositionBytes\n    val l4 = SELF.value\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          box2.propositionBytes == coll3, box2.value > l4, l4 <= placeholder[Long](3), OUTPUTS(placeholder[Int](4)).value == placeholder[Long](\n            5\n          ) * INPUTS.filter({(box5: Box) => box5.propositionBytes == coll3 }).size.toLong, OUTPUTS(placeholder[Int](6)).value == placeholder[Long](7)\n        )\n      )\n    )\n  )} else {(\n    val box2 = INPUTS(placeholder[Int](8))\n    val coll3 = box2.tokens(placeholder[Int](9))._1\n    if ((coll3 == placeholder[Coll[Byte]](10)) && (INPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == coll1)) {(\n      val box4 = OUTPUTS(placeholder[Int](13))\n      sigmaProp(\n        allOf(\n          Coll[Boolean](\n            INPUTS(INPUTS.size - placeholder[Int](14)).id == SELF.id, box4.propositionBytes == SELF.propositionBytes, box4.value >= SELF.value - placeholder[\n              Long\n            ](15) - placeholder[Long](16) - placeholder[Long](17), OUTPUTS(placeholder[Int](18)).value == placeholder[Long](19), OUTPUTS(\n              placeholder[Int](20)\n            ).value == placeholder[Long](21)\n          )\n        )\n      )\n    )} else { if (coll3 == coll1) {(\n        val i4 = INPUTS.size\n        val i5 = i4 - placeholder[Int](22)\n        val box6 = OUTPUTS(i5)\n        val i7 = INPUTS.filter({(box7: Box) =>\n            val coll9 = box7.tokens\n            if (coll9.size > placeholder[Int](23)) { (coll9(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box7.R4[Coll[Long]].get(placeholder[Int](26)) == box2.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n          }).size\n        val l8 = i7.toLong\n        val l9 = placeholder[Long](29) + placeholder[Long](30) * l8\n        val l10 = placeholder[Long](31) + placeholder[Long](32) * l8\n        sigmaProp(allOf(Coll[Boolean](INPUTS(i5).id == SELF.id, box6.propositionBytes == SELF.propositionBytes, box6.value >= SELF.value - l9 - l10, OUTPUTS(i4).value == l9, OUTPUTS(i4 + placeholder[Int](33)).value == l10, i4 == i7 + placeholder[Int](34))))\n      )} else { sigmaProp(OUTPUTS(placeholder[Int](35)).tokens(placeholder[Int](36))._1 == placeholder[Coll[Byte]](37)) } }\n  )}\n}",
      "address": "78N9ocQuQ8tcs5PB8ZbzRxChUVAkS8wp8EdtFB2bmD8AC6TQUdwRGDK7E2Upes3Kt5Wax54aBCraweYdWjmru6mfZT3vQPc1wneFXBLDzTpf7RGymdZVXqnWYywZxCuZ1QoWccHW3a75NddD1RDwwdeq7meADd99MgrSiJb7Wzrxs2LvdxuV9ij3UQ1czMnGoCoaNep2knmwmSmFF9qtWrSrDNkyXiLCermXcxyVxbKiQFDxu3t1DquQGzPTMFVR6XN6f1RrbefCyPQXnCGTDRBHjAnjAHf8kFnxzhNtD7EnUtvCQ66dLMAZw4dVMwcg7r8bFjconzQThwR1yhHVDFVSVKktSKuKne6ZYR1ta3En9uaXiGorUZN8pYFrB7Aivkbtfb5bGiiFM6oRFd91o43HnoakEfRvZDxhb7TqGQz5kufbLgLMT14u3xPbkGWxCLBaikrzwWToLzmeXkghvNC51RLfEydfN5z5fyTuVUXy5sZ11VS8xnr2suWJW4p5r3RSKJLZqDnBS2rJbeTDEShzR1m3jqsPiKjtWWQH6UBWZr1dcWNyVWu1KiF9PnCvRBYKFtDBxMGV5rFKd5evSmBkGcDrVFZdEAsK4jGv9F4r246pJH9J93tUaSsbpTceF875gtZ4tstygQFzdch38xPd9BJFGZiG6qhRKb7adKy3xQaRofHaZSf5hoUAUCXovvsBjorAaGZ3YRtkrVPCncWK2KntdJb76i1SaavxLwRkqTAoknsBj18GKxK4jxE2pkeeJVgq37d4rjatzSMrzWJVoouxQYzFJDAZkrL6QVSdd8HMuBq69KDfndmhnTZ7TFYQ8rmHUsAXbgnw2UPTU",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "f2b1d859f41d2b9abe43f0fc90cab7b3dd7076fed1532a58b266417a81b99aa4",
      "mainChain": true
    },
    {
      "boxId": "b3325e766792c5d794d87d2b21d50c8bf0b962a13db35fa4ca025845c8c6858e",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1550000,
      "index": 9,
      "globalIndex": 17302842,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
      "address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "311502f071abb029fa11175bd2ebedc9bdbd5912489910b26b54a02a8cdce38e",
      "mainChain": true
    },
    {
      "boxId": "fb75480603a5ed35383ab60f3e1140a278f85946ca5f9149723a92658dceba0e",
      "transactionId": "6d539eff8a6ef02493030cd47c851d7f1e83a0ff5f5d64a034a6e1de13dceac9",
      "blockId": "c1a6b19aa2378864c19264ca0024d22af691fde456bff64bf9060c9d7bb7850e",
      "value": 1700000,
      "index": 10,
      "globalIndex": 17302843,
      "creationHeight": 761192,
      "settlementHeight": 761196,
      "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": "a582b5e3c4e902467f473824d8fbd438fbb0af64799a0875f8ac6a0a98ce006b",
      "mainChain": true
    }
  ],
  "size": 5684,
  "isUnconfirmed": false
}