Ad
Inputs (15)
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.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.011 ERG
Outputs (17)
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.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.00625 ERG
Spent in transaction:
Settlement height:
Value:
0.00245 ERG
Spent in transaction:
Settlement height:
Value:
0.0023 ERG
Transaction Details
Status: Confirmed
Size: 9.42 KB
Received time: 9/15/2023 12:05:56 PM
Included in blocks: 1,091,560
Confirmations: 677,026
Total coins transferred: 0.025 ERG
Fees: 0.0023 ERG
Fees per byte: 0.000000239 ERG
Raw Transaction Data
{
  "id": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
  "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
  "inclusionHeight": 1091560,
  "timestamp": 1694779556348,
  "index": 20,
  "globalIndex": 5838298,
  "numConfirmations": 677026,
  "inputs": [
    {
      "boxId": "3e9b6af892a3dddbcd9712c17d7fedee7fb8a58ed7442f7b31f92000af9b61f5",
      "value": 1000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "outputTransactionId": "5c99d27c3ba2a76f72037a774e8be29aa568d6290fcb95d38e98a9c5899f28a1",
      "outputIndex": 0,
      "outputGlobalIndex": 32667922,
      "outputCreatedAt": 1091558,
      "outputSettledAt": 1091560,
      "ergoTree": "102d0400040404020e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489040004000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910404040604000402040205000402040004060400040605c8010400040001000402040004000e20245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab040004020100040606010004020400040004000402040204000404040004040404040404060100d807d601b2a4730000d602c5a7d603b2a5730100d604b2a4730200d6057303d606b2a5730400d607db6308a7d1ec9596830201938cb2db6308720173050001730693c5b2a47307007202d807d608e4c672030411d609b27208730800d60ab2e4c672040411730900d60bdb6308a7d60c9a8cb2db63087204730a00028cb2720b730b018602830002730c02d60ddb63087203d60eb2720d730d009683070193c17203c1a793c27203c2a793b47208730e730fb4e4c67201041173107311937209958f720a720c99720a9d720a7312720c938cb2720d731300018cb2720b73140001938c720e017205938c720e02720973159593c572017202d807d608db63087206d6097e8cb272077316000206d60ab5a4d9010a63d801d60cdb6308720a9591b1720c7317ed938cb2720c73180001731993b2e4c6720a0411731a00b2e4c6a70411731b00731cd60be4c6a70411d60cb2720b731d00d60db0720a731ed9010d42639a8c720d019d9c7e8cb2db63088c720d02731f0002067e720c067eb2720b73200006d60ee4c6720604119683070193c17206c1a793c27206c2a7938cb27208732100018cb272077322000195907209720d93b172087323d801d60fb27208732400ed938c720f017205927e8c720f0206997209720d93b4720e73257326b4720b7327732893b2720e73290099b2720b732a007eb1720a0593b2720e732b00720c732c",
      "ergoTreeConstants": "0: 0\n1: 2\n2: 1\n3: Coll(31,-42,-32,50,-24,71,108,74,-91,76,24,-63,-93,8,-36,-24,57,64,-24,-12,-94,-113,87,100,64,81,62,-41,50,106,-44,-119)\n4: 0\n5: 0\n6: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n7: 2\n8: 3\n9: 0\n10: 1\n11: 1\n12: 0\n13: 1\n14: 0\n15: 3\n16: 0\n17: 3\n18: 100\n19: 0\n20: 0\n21: false\n22: 1\n23: 0\n24: 0\n25: Coll(36,89,87,-109,76,32,40,90,-38,84,122,-88,-14,-56,-26,-9,99,123,-24,106,25,-123,-77,-28,-61,110,78,26,-40,-50,-105,-85)\n26: 0\n27: 1\n28: false\n29: 3\n30: CBigInt(0)\n31: 1\n32: 0\n33: 0\n34: 0\n35: 1\n36: 1\n37: 0\n38: 2\n39: 0\n40: 2\n41: 2\n42: 2\n43: 3\n44: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = SELF.id\n  val box3 = OUTPUTS(placeholder[Int](1))\n  val box4 = INPUTS(placeholder[Int](2))\n  val coll5 = placeholder[Coll[Byte]](3)\n  val box6 = OUTPUTS(placeholder[Int](4))\n  val coll7 = SELF.tokens\n  sigmaProp(if (allOf(Coll[Boolean](box1.tokens(placeholder[Int](5))._1 == placeholder[Coll[Byte]](6), INPUTS(placeholder[Int](7)).id == coll2))) {(\n      val coll8 = box3.R4[Coll[Long]].get\n      val l9 = coll8(placeholder[Int](8))\n      val l10 = box4.R4[Coll[Long]].get(placeholder[Int](9))\n      val coll11 = SELF.tokens\n      val l12 = box4.tokens(placeholder[Int](10))._2 + coll11.getOrElse(placeholder[Int](11), (Coll[Byte](), placeholder[Long](12)))._2\n      val coll13 = box3.tokens\n      val tuple14 = coll13(placeholder[Int](13))\n      allOf(Coll[Boolean](box3.value == SELF.value, box3.propositionBytes == SELF.propositionBytes, coll8.slice(placeholder[Int](14), placeholder[Int](15)) == box1.R4[Coll[Long]].get.slice(placeholder[Int](16), placeholder[Int](17)), l9 == if (l10 < l12) { l10 - l10 / placeholder[Long](18) } else { l12 }, coll13(placeholder[Int](19))._1 == coll11(placeholder[Int](20))._1, tuple14._1 == coll5, tuple14._2 == l9))\n    )} else { placeholder[Boolean](21) } || if (box1.id == coll2) {(\n      val coll8 = box6.tokens\n      val bi9 = coll7(placeholder[Int](22))._2.toBigInt\n      val coll10 = INPUTS.filter({(box10: Box) =>\n          val coll12 = box10.tokens\n          if (coll12.size > placeholder[Int](23)) { (coll12(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box10.R4[Coll[Long]].get(placeholder[Int](26)) == SELF.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n        })\n      val coll11 = SELF.R4[Coll[Long]].get\n      val l12 = coll11(placeholder[Int](29))\n      val bi13 = coll10.fold(placeholder[BigInt](30), {(tuple13: (BigInt, Box)) => tuple13._1 + tuple13._2.tokens(placeholder[Int](31))._2.toBigInt * l12.toBigInt / coll11(placeholder[Int](32)).toBigInt })\n      val coll14 = box6.R4[Coll[Long]].get\n      allOf(Coll[Boolean](box6.value == SELF.value, box6.propositionBytes == SELF.propositionBytes, coll8(placeholder[Int](33))._1 == coll7(placeholder[Int](34))._1, if (bi9 <= bi13) { coll8.size == placeholder[Int](35) } else {(\n            val tuple15 = coll8(placeholder[Int](36))\n            (tuple15._1 == coll5) && (tuple15._2.toBigInt >= bi9 - bi13)\n          )}, coll14.slice(placeholder[Int](37), placeholder[Int](38)) == coll11.slice(placeholder[Int](39), placeholder[Int](40)), coll14(placeholder[Int](41)) == coll11(placeholder[Int](42)) - coll10.size.toLong, coll14(placeholder[Int](43)) == l12))\n    )} else { placeholder[Boolean](44) })\n}",
      "address": "eZyDUDr8H4GxiHEaHgd1bwhPsiztWzzyj3RDCRcVMZUjinBkHfjLcRfXNak464hMit7rWxg5YpcebmeNbVnhhberBmG5GUsP3UGsMiHisb8qja3HmMqEd6k9UHun5KQiThZQdYoGNgg3pBTU8ZsYVJUx1miNA2XN4X8TTrLaru1YiDeZr6RaTfgMNcvm9JwTfJopvMybyg9Ta9nbMiU4Td625GNafAvsTEYEccMivBnHTEEVqksRsc2phzuiKuxSzo8sCZLGPYw6RunttctZvPpvR9kpP7ndSxp5CwRZoVKeX1j75exx9oC2GYeYRVZPUgye8ZbSpMF5BSkXyD3Jwn6tfxV6d2HWYgCLNthU1cYoRuZ7yKbv4ZpustfLn7LKauUU6dZGErvuuqJRLPALz6BJu8K6zMFY8TtsxEmZTzdKgTswQXVJPqV8BbJPa7xbtXZLJuhghKzbX8CM9XsRssfm5Ji13DxzvHQtJpanTFVbDGN9wKD8B99nmBFsQMkjPyT8NnHHWvMVKqYPC2zvNBNNBG2pvRXw1pcqpti58JGrtCzY9R1vZZMFkh3cKLJkQd9M4ADcagrcKxqscVGzwGRWGLk4goVf81UDKgXCA3kksYYoVYiqAFPAUF9d9EizGDEXg5CgsqN7KKpMefYL4S82WwsSVMP4KA4cgqrJGbKLFNrK79JXU6Vmeq8qVTZMAyF8mNhDWYz3vXMivRDy5A9uYArjDNLPYRqc6srDz18eKVrpsHWaAcaojTrN1ARBfzdq4uDt8eEPtaTB73LDqigZen5fewVmh3XS728WEzqeq7Cb2FjQ9ybZi5yHBh7EtYtSKtdcUjXHRY2PKVUEsdJTvFfK1BVQ2iK2zT21kbjoxCdCc4bvLVDoKNQPxqgGNwMimRcsqaHPQ9VkTdGrYT2iSh3o3PyNhGsfohhzqFmzdrneoFqHW9PT9roR7z6AuTMTvptsWu",
      "assets": [
        {
          "tokenId": "12bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f",
          "index": 0,
          "amount": 1,
          "name": "Paideia Emission NFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 2002256,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1104b8d69b84c13ca8071ab895d58202",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1039520724380,468,13,271230300]"
        }
      }
    },
    {
      "boxId": "c4458395f2f2c1c04deb1e642ac2c1fed4ea2774e4b680d9c276cd69649e8f74",
      "value": 1000000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 1,
      "outputGlobalIndex": 32607519,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1077428489,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a8079c82f4ffa560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654367617166]"
        },
        "R5": {
          "serializedValue": "0e20aad628e32e05fb52515f698fa0cd7a1e8e8b110ef8d4cc06ec09312b976b1f77",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "aad628e32e05fb52515f698fa0cd7a1e8e8b110ef8d4cc06ec09312b976b1f77"
        }
      }
    },
    {
      "boxId": "0dbe1bfd345aa755b0a9767c73bb20cf7e10f77c0f2865044d49ba385b00d68d",
      "value": 1000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 2,
      "outputGlobalIndex": 32607520,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 745214514,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807c6f1d1e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654342171747]"
        },
        "R5": {
          "serializedValue": "0e20241bcad750a3e19ef1c1c6a5553a25dc4221b0b67179da023405fa655fbc941d",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "241bcad750a3e19ef1c1c6a5553a25dc4221b0b67179da023405fa655fbc941d"
        }
      }
    },
    {
      "boxId": "572091b5e2ac2c677f3b236f1baed80f95e463c7163daeae1c8e3c801c90a035",
      "value": 1000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 3,
      "outputGlobalIndex": 32607521,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 223444653,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a8079495d2e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654342174026]"
        },
        "R5": {
          "serializedValue": "0e20411b44d35cd8d54a36ac274b6c14813606bbc250890def535079a3585a66655a",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "411b44d35cd8d54a36ac274b6c14813606bbc250890def535079a3585a66655a"
        }
      }
    },
    {
      "boxId": "5b43ed4aeb0798aca7b68047dd34534c750b019aa7672e112ee890c381617408",
      "value": 1000000,
      "index": 4,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 4,
      "outputGlobalIndex": 32607522,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 50820288,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a80784b5a3e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654341791042]"
        },
        "R5": {
          "serializedValue": "0e2058526db10add57ee55202dc0820a0011c52a1f026c5831087e9165c5633bc0e4",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "58526db10add57ee55202dc0820a0011c52a1f026c5831087e9165c5633bc0e4"
        }
      }
    },
    {
      "boxId": "edf38bbd017a5b4853ce035ffb4a658374e76bf9e00a8eb95db2c758347b5409",
      "value": 1000000,
      "index": 5,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 5,
      "outputGlobalIndex": 32607523,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 17019666,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a80798df96e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654341687244]"
        },
        "R5": {
          "serializedValue": "0e20bd78c414d814dd16404d9d7856790fc28d5446a81883686bf380b9499af01066",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "bd78c414d814dd16404d9d7856790fc28d5446a81883686bf380b9499af01066"
        }
      }
    },
    {
      "boxId": "2340a9d8adc908d06120a65f1a4bffa049767c47c720bb4fac18c74a7675a8d2",
      "value": 1000000,
      "index": 6,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 6,
      "outputGlobalIndex": 32607524,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 2108480832,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807fcd9fde2a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654337287806]"
        },
        "R5": {
          "serializedValue": "0e20d67f5e04c4e842a0c6f748de9dba0ba7e03bd46621697c63523992e34bd420be",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "d67f5e04c4e842a0c6f748de9dba0ba7e03bd46621697c63523992e34bd420be"
        }
      }
    },
    {
      "boxId": "59525b8849a681875024f844e646c390fe1a6c420dbc57c42adddf3f079a63cc",
      "value": 1000000,
      "index": 7,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 7,
      "outputGlobalIndex": 32607525,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 7959491,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807f2fce195a660",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654390538041]"
        },
        "R5": {
          "serializedValue": "0e20a03e8d839667233305089634e6156909e5c5fe17c70b7c6b8ae250469c2d80ea",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "a03e8d839667233305089634e6156909e5c5fe17c70b7c6b8ae250469c2d80ea"
        }
      }
    },
    {
      "boxId": "925b34f16c648e2e644a9845b14e53275954b82bb2ef9ee245fae783506b6eae",
      "value": 1000000,
      "index": 8,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 8,
      "outputGlobalIndex": 32607526,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 23611695,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807f892e78fab60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1655055377596]"
        },
        "R5": {
          "serializedValue": "0e20e0991e062ce69bd6a6aab815743878483688279967804bede09f276e6b0036ec",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "e0991e062ce69bd6a6aab815743878483688279967804bede09f276e6b0036ec"
        }
      }
    },
    {
      "boxId": "2861e20752b7b7a1a838759bcc3a2807715e7bf8a5c5311232e31d1765fe7212",
      "value": 1000000,
      "index": 9,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 9,
      "outputGlobalIndex": 32607527,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 376766837,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807b29e83e9f960",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1665617913753]"
        },
        "R5": {
          "serializedValue": "0e2067fc067d11b4595424d05d286aae6cb453baae005745dd6184b98e77847df3db",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "67fc067d11b4595424d05d286aae6cb453baae005745dd6184b98e77847df3db"
        }
      }
    },
    {
      "boxId": "93ec1eba6c509790c4230adbe1744b562ac00f9075fd591d797eb05803301fd4",
      "value": 1000000,
      "index": 10,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 10,
      "outputGlobalIndex": 32607528,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1448592979,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807d6cbcb9fa660",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654400840427]"
        },
        "R5": {
          "serializedValue": "0e20de275806dabbd8db40d8612f05c7886600d154ec22161f68a3d17d47137ea5dc",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "de275806dabbd8db40d8612f05c7886600d154ec22161f68a3d17d47137ea5dc"
        }
      }
    },
    {
      "boxId": "aee588df86d974a644950abb251885241896b604f4ccb72920a3b72b2e5fd6de",
      "value": 1000000,
      "index": 11,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 11,
      "outputGlobalIndex": 32607529,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1474596814,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807c68c9299a760",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1654528295715]"
        },
        "R5": {
          "serializedValue": "0e20501d286ae6e01ed53a4918678bb83d16c4c5511af4a6ff08a60d66d5c2d12f5c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "501d286ae6e01ed53a4918678bb83d16c4c5511af4a6ff08a60d66d5c2d12f5c"
        }
      }
    },
    {
      "boxId": "a706076fc2308a0321f42dba15b8d34900739231569d914ab2159764544f773b",
      "value": 1000000,
      "index": 12,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 12,
      "outputGlobalIndex": 32607530,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 106015785,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807aebb8ec4f860",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1665444990679]"
        },
        "R5": {
          "serializedValue": "0e20e120442e8abf9b6dcafda76ad7f2c064b26c2050feba27f2382f166f38723dcf",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "e120442e8abf9b6dcafda76ad7f2c064b26c2050feba27f2382f166f38723dcf"
        }
      }
    },
    {
      "boxId": "448e304a2612f473226c16bdbaeba978342c85b8851b3b9c591b6ec91e252011",
      "value": 1000000,
      "index": 13,
      "spendingProof": null,
      "outputBlockId": "cf130b655f383d3a5c4a7f76941402cc4db22239a65bcfbe212c9d9da5a94f44",
      "outputTransactionId": "4ff7b203690dc7a7a24048368bb223be33256d279e3f1745cb3b509fd8d6d22e",
      "outputIndex": 13,
      "outputGlobalIndex": 32607531,
      "outputCreatedAt": 1090857,
      "outputSettledAt": 1090861,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 12182916,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102a807ce9fa3c7f860",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[468,1665448306663]"
        },
        "R5": {
          "serializedValue": "0e201daa9f270cad28dc4ef4285e15e57da05ee05e4acc6fd0d7c8d2b6237c85c378",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "1daa9f270cad28dc4ef4285e15e57da05ee05e4acc6fd0d7c8d2b6237c85c378"
        }
      }
    },
    {
      "boxId": "aa2f33e6ed9f566a08502e9243f3e369b8ac553166857921f8593c6e38a44dd2",
      "value": 11000000,
      "index": 14,
      "spendingProof": null,
      "outputBlockId": "22b085e7ba86a7825e6914a2b3c51861e9e78b395d11f4cb257ac343aed447df",
      "outputTransactionId": "eb052e5b43530e9ceff79280de0249a3b3156e9e4f6b0634ea97a93ac151ea07",
      "outputIndex": 51,
      "outputGlobalIndex": 32257194,
      "outputCreatedAt": 1081657,
      "outputSettledAt": 1081660,
      "ergoTree": "102f040605000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040004000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f09104040400010004000400010004020400058084af5f040205c0843d04040580897a01000408040205809bee020580897a0580897a040a05809bee02040c0580897a0100040004000e20245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab04000402010005c0843d05e0a7120580897a05c09a0c040204040100040004000e20b311425409ff2e8f5901d230788c6628b5846be0b9c66621e4880b086dd5eaef0100d80ad60193b1a57300d60286028300027301d6037302d60495ef7201ed938cb2db6308b2a47303007304017202017305938cb2db6308b2a473060073070172020172037308d605c2a7d606c1a7d607b2a4730900d60895efec72017204938cb2db63087207730a017202017203730bd609b1a4d60a997209730cd1ececec957201d803d60bb2a5730d00d60cc2a7d60dc1a79683050193c2720b720c91c1720b720d90720d730e93c1b2a5730f009c73107eb1b5a4d9010e6393c2720e720c0593c1b2a573110073127313957204d801d60bb2a57314009683050193c5b2a499b1a4731500c5a793c2720b720592c1720b999999720673167317731893c1b2a5731900731a93c1b2a5731b00731c731d957208d805d60bb2a5720a00d60cb1b5a4d9010c63d801d60edb6308720c9591b1720e731eed938cb2720e731f0001732093b2e4c6720c0411732100b2e4c6720704117322007323d60d7e720c05d60e9a73249c7325720dd60f9a73269c7327720d9683060193c5b2a4720a00c5a793c2720b720592c1720b99997206720e720f93c1b2a5720900720e93c1b2a59a7209732800720f9372099a720c7329732a95efecec720172047208938cb2db6308b2a5732b00732c01720201732d732e",
      "ergoTreeConstants": "0: 3\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 0\n4: 0\n5: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n6: 2\n7: 0\n8: false\n9: 0\n10: 0\n11: false\n12: 1\n13: 0\n14: 100000000\n15: 1\n16: 500000\n17: 2\n18: 1000000\n19: false\n20: 4\n21: 1\n22: 3000000\n23: 1000000\n24: 1000000\n25: 5\n26: 3000000\n27: 6\n28: 1000000\n29: false\n30: 0\n31: 0\n32: Coll(36,89,87,-109,76,32,40,90,-38,84,122,-88,-14,-56,-26,-9,99,123,-24,106,25,-123,-77,-28,-61,110,78,26,-40,-50,-105,-85)\n33: 0\n34: 1\n35: false\n36: 500000\n37: 150000\n38: 1000000\n39: 100000\n40: 1\n41: 2\n42: false\n43: 0\n44: 0\n45: Coll(-77,17,66,84,9,-1,46,-113,89,1,-46,48,120,-116,102,40,-75,-124,107,-32,-71,-58,102,33,-28,-120,11,8,109,-43,-22,-17)\n46: false",
      "ergoTreeScript": "{\n  val bool1 = OUTPUTS.size == placeholder[Int](0)\n  val tuple2 = (Coll[Byte](), placeholder[Long](1))\n  val coll3 = placeholder[Coll[Byte]](2)\n  val bool4 = if (!bool1) {\n    (INPUTS(placeholder[Int](3)).tokens.getOrElse(placeholder[Int](4), tuple2)._1 == placeholder[Coll[Byte]](5)) && (\n      INPUTS(placeholder[Int](6)).tokens.getOrElse(placeholder[Int](7), tuple2)._1 == coll3\n    )\n  } else { placeholder[Boolean](8) }\n  val coll5 = SELF.propositionBytes\n  val l6 = SELF.value\n  val box7 = INPUTS(placeholder[Int](9))\n  val bool8 = if (!(bool1 || bool4)) { box7.tokens.getOrElse(placeholder[Int](10), tuple2)._1 == coll3 } else { placeholder[Boolean](11) }\n  val i9 = INPUTS.size\n  val i10 = i9 - placeholder[Int](12)\n  sigmaProp(((if (bool1) {(\n          val box11 = OUTPUTS(placeholder[Int](13))\n          val coll12 = SELF.propositionBytes\n          val l13 = SELF.value\n          allOf(Coll[Boolean](box11.propositionBytes == coll12, box11.value > l13, l13 <= placeholder[Long](14), OUTPUTS(placeholder[Int](15)).value == placeholder[Long](16) * INPUTS.filter({(box14: Box) => box14.propositionBytes == coll12 }).size.toLong, OUTPUTS(placeholder[Int](17)).value == placeholder[Long](18)))\n        )} else { placeholder[Boolean](19) } || if (bool4) {(\n          val box11 = OUTPUTS(placeholder[Int](20))\n          allOf(Coll[Boolean](INPUTS(INPUTS.size - placeholder[Int](21)).id == SELF.id, box11.propositionBytes == coll5, box11.value >= l6 - placeholder[Long](22) - placeholder[Long](23) - placeholder[Long](24), OUTPUTS(placeholder[Int](25)).value == placeholder[Long](26), OUTPUTS(placeholder[Int](27)).value == placeholder[Long](28)))\n        )} else { placeholder[Boolean](29) }) || if (bool8) {(\n        val box11 = OUTPUTS(i10)\n        val i12 = INPUTS.filter({(box12: Box) =>\n            val coll14 = box12.tokens\n            if (coll14.size > placeholder[Int](30)) { (coll14(placeholder[Int](31))._1 == placeholder[Coll[Byte]](32)) && (box12.R4[Coll[Long]].get(placeholder[Int](33)) == box7.R4[Coll[Long]].get(placeholder[Int](34))) } else { placeholder[Boolean](35) }\n          }).size\n        val l13 = i12.toLong\n        val l14 = placeholder[Long](36) + placeholder[Long](37) * l13\n        val l15 = placeholder[Long](38) + placeholder[Long](39) * l13\n        allOf(Coll[Boolean](INPUTS(i10).id == SELF.id, box11.propositionBytes == coll5, box11.value >= l6 - l14 - l15, OUTPUTS(i9).value == l14, OUTPUTS(i9 + placeholder[Int](40)).value == l15, i9 == i12 + placeholder[Int](41)))\n      )} else { placeholder[Boolean](42) }) || if (!((bool1 || bool4) || bool8)) { OUTPUTS(placeholder[Int](43)).tokens.getOrElse(placeholder[Int](44), tuple2)._1 == placeholder[Coll[Byte]](45) } else { placeholder[Boolean](46) })\n}",
      "address": "Ujfv3QVGdnTjkkugQDB5qFowFpiq2uK32aa7efP7ptAA4dAsAamzWS1NS4kWKExYR2N781Cgi49dLmerGrH6hQZXg6xgxkyJRKJgPgq3MKrSjxECyPVtSyqmivuV5TDbsoNGQfA9yb4FLjtX9ovdYGZxz8TcESePcBHdTpUeXYRqsbkQkhNNDuF3HfWKmLFbTQTKUti4rFT4zKLKaoCr1Hq4AfEu91i5yTmxvZ14iyGkwduKrA2M54ynk5bryZqU7QiJJ1eQe4CPY8wnTgWUPniNDMzjUQLxrYZjSjJX1L8W7cVdWoMGqVdDuWv1APZokHypm2qtfoC4yFf8QWj9Phdnh3fzbUuQyk9nphXMnGKaNN6byTsZW63a1DZESwPQkY5hhhuYJuTYoGy9Gf2bdxfEgcXvppTnc4yi2AB2wo8XXsUtmH6L39nfrTfWtqiSuCZutvARjbahAjR9riZ6Xcb8JnpdUgz7ZmoRa2bwEj7pnMEd6HGdZRwDGCQn5Ezt1ZS5QEFqfTkfvz4wyiDUvDjM9knYSs2KGVim7CFvQdWtLPuiY8nkTmrrWgTyChAzFjexeYP5V9EaLDbkRRbSRinoAb9VfL9KCkSMNyA55fNkFnmzf94nF2HHfJNGvKvc2hHL73h5ERWoZ139jBH94ZFs99QnYA8zVqohtk8JYxVZfLg6KdR67DVHguNCtMwy98pdxdiHr6McFMZB7Br6RSQmnXa73bCdKZKydxxnf1vTo2MtkMRuq4QgNYgVLJxhdTL6QpR763jTpbjnVWWqe5PDQ7ghDfYC1AnqQvR7AwpVUj47ut4McE7iSUHruUxNr8jHKBUSv5xTNbqhQhGuhwgfte8otdaG8aYE8ezEHXoNiB1cbcAbuDyTjRAmmXqUw8rBxf3twUi7HqnZPGgoaTf4Qjx2nSonyQsRHJFUp2yE3donK9seHPGAHyjfG2FTCHJneEHNY2BTi4bf7E7Yw",
      "assets": [],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "f21a07e61cbe2822b57840a1f47824dbf824bb2ffaa939d3cf1e534d30e5a396",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 0,
      "globalIndex": 32667976,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "102d0400040404020e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489040004000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910404040604000402040205000402040004060400040605c8010400040001000402040004000e20245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab040004020100040606010004020400040004000402040204000404040004040404040404060100d807d601b2a4730000d602c5a7d603b2a5730100d604b2a4730200d6057303d606b2a5730400d607db6308a7d1ec9596830201938cb2db6308720173050001730693c5b2a47307007202d807d608e4c672030411d609b27208730800d60ab2e4c672040411730900d60bdb6308a7d60c9a8cb2db63087204730a00028cb2720b730b018602830002730c02d60ddb63087203d60eb2720d730d009683070193c17203c1a793c27203c2a793b47208730e730fb4e4c67201041173107311937209958f720a720c99720a9d720a7312720c938cb2720d731300018cb2720b73140001938c720e017205938c720e02720973159593c572017202d807d608db63087206d6097e8cb272077316000206d60ab5a4d9010a63d801d60cdb6308720a9591b1720c7317ed938cb2720c73180001731993b2e4c6720a0411731a00b2e4c6a70411731b00731cd60be4c6a70411d60cb2720b731d00d60db0720a731ed9010d42639a8c720d019d9c7e8cb2db63088c720d02731f0002067e720c067eb2720b73200006d60ee4c6720604119683070193c17206c1a793c27206c2a7938cb27208732100018cb272077322000195907209720d93b172087323d801d60fb27208732400ed938c720f017205927e8c720f0206997209720d93b4720e73257326b4720b7327732893b2720e73290099b2720b732a007eb1720a0593b2720e732b00720c732c",
      "ergoTreeConstants": "0: 0\n1: 2\n2: 1\n3: Coll(31,-42,-32,50,-24,71,108,74,-91,76,24,-63,-93,8,-36,-24,57,64,-24,-12,-94,-113,87,100,64,81,62,-41,50,106,-44,-119)\n4: 0\n5: 0\n6: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n7: 2\n8: 3\n9: 0\n10: 1\n11: 1\n12: 0\n13: 1\n14: 0\n15: 3\n16: 0\n17: 3\n18: 100\n19: 0\n20: 0\n21: false\n22: 1\n23: 0\n24: 0\n25: Coll(36,89,87,-109,76,32,40,90,-38,84,122,-88,-14,-56,-26,-9,99,123,-24,106,25,-123,-77,-28,-61,110,78,26,-40,-50,-105,-85)\n26: 0\n27: 1\n28: false\n29: 3\n30: CBigInt(0)\n31: 1\n32: 0\n33: 0\n34: 0\n35: 1\n36: 1\n37: 0\n38: 2\n39: 0\n40: 2\n41: 2\n42: 2\n43: 3\n44: false",
      "ergoTreeScript": "{\n  val box1 = INPUTS(placeholder[Int](0))\n  val coll2 = SELF.id\n  val box3 = OUTPUTS(placeholder[Int](1))\n  val box4 = INPUTS(placeholder[Int](2))\n  val coll5 = placeholder[Coll[Byte]](3)\n  val box6 = OUTPUTS(placeholder[Int](4))\n  val coll7 = SELF.tokens\n  sigmaProp(if (allOf(Coll[Boolean](box1.tokens(placeholder[Int](5))._1 == placeholder[Coll[Byte]](6), INPUTS(placeholder[Int](7)).id == coll2))) {(\n      val coll8 = box3.R4[Coll[Long]].get\n      val l9 = coll8(placeholder[Int](8))\n      val l10 = box4.R4[Coll[Long]].get(placeholder[Int](9))\n      val coll11 = SELF.tokens\n      val l12 = box4.tokens(placeholder[Int](10))._2 + coll11.getOrElse(placeholder[Int](11), (Coll[Byte](), placeholder[Long](12)))._2\n      val coll13 = box3.tokens\n      val tuple14 = coll13(placeholder[Int](13))\n      allOf(Coll[Boolean](box3.value == SELF.value, box3.propositionBytes == SELF.propositionBytes, coll8.slice(placeholder[Int](14), placeholder[Int](15)) == box1.R4[Coll[Long]].get.slice(placeholder[Int](16), placeholder[Int](17)), l9 == if (l10 < l12) { l10 - l10 / placeholder[Long](18) } else { l12 }, coll13(placeholder[Int](19))._1 == coll11(placeholder[Int](20))._1, tuple14._1 == coll5, tuple14._2 == l9))\n    )} else { placeholder[Boolean](21) } || if (box1.id == coll2) {(\n      val coll8 = box6.tokens\n      val bi9 = coll7(placeholder[Int](22))._2.toBigInt\n      val coll10 = INPUTS.filter({(box10: Box) =>\n          val coll12 = box10.tokens\n          if (coll12.size > placeholder[Int](23)) { (coll12(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box10.R4[Coll[Long]].get(placeholder[Int](26)) == SELF.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n        })\n      val coll11 = SELF.R4[Coll[Long]].get\n      val l12 = coll11(placeholder[Int](29))\n      val bi13 = coll10.fold(placeholder[BigInt](30), {(tuple13: (BigInt, Box)) => tuple13._1 + tuple13._2.tokens(placeholder[Int](31))._2.toBigInt * l12.toBigInt / coll11(placeholder[Int](32)).toBigInt })\n      val coll14 = box6.R4[Coll[Long]].get\n      allOf(Coll[Boolean](box6.value == SELF.value, box6.propositionBytes == SELF.propositionBytes, coll8(placeholder[Int](33))._1 == coll7(placeholder[Int](34))._1, if (bi9 <= bi13) { coll8.size == placeholder[Int](35) } else {(\n            val tuple15 = coll8(placeholder[Int](36))\n            (tuple15._1 == coll5) && (tuple15._2.toBigInt >= bi9 - bi13)\n          )}, coll14.slice(placeholder[Int](37), placeholder[Int](38)) == coll11.slice(placeholder[Int](39), placeholder[Int](40)), coll14(placeholder[Int](41)) == coll11(placeholder[Int](42)) - coll10.size.toLong, coll14(placeholder[Int](43)) == l12))\n    )} else { placeholder[Boolean](44) })\n}",
      "address": "eZyDUDr8H4GxiHEaHgd1bwhPsiztWzzyj3RDCRcVMZUjinBkHfjLcRfXNak464hMit7rWxg5YpcebmeNbVnhhberBmG5GUsP3UGsMiHisb8qja3HmMqEd6k9UHun5KQiThZQdYoGNgg3pBTU8ZsYVJUx1miNA2XN4X8TTrLaru1YiDeZr6RaTfgMNcvm9JwTfJopvMybyg9Ta9nbMiU4Td625GNafAvsTEYEccMivBnHTEEVqksRsc2phzuiKuxSzo8sCZLGPYw6RunttctZvPpvR9kpP7ndSxp5CwRZoVKeX1j75exx9oC2GYeYRVZPUgye8ZbSpMF5BSkXyD3Jwn6tfxV6d2HWYgCLNthU1cYoRuZ7yKbv4ZpustfLn7LKauUU6dZGErvuuqJRLPALz6BJu8K6zMFY8TtsxEmZTzdKgTswQXVJPqV8BbJPa7xbtXZLJuhghKzbX8CM9XsRssfm5Ji13DxzvHQtJpanTFVbDGN9wKD8B99nmBFsQMkjPyT8NnHHWvMVKqYPC2zvNBNNBG2pvRXw1pcqpti58JGrtCzY9R1vZZMFkh3cKLJkQd9M4ADcagrcKxqscVGzwGRWGLk4goVf81UDKgXCA3kksYYoVYiqAFPAUF9d9EizGDEXg5CgsqN7KKpMefYL4S82WwsSVMP4KA4cgqrJGbKLFNrK79JXU6Vmeq8qVTZMAyF8mNhDWYz3vXMivRDy5A9uYArjDNLPYRqc6srDz18eKVrpsHWaAcaojTrN1ARBfzdq4uDt8eEPtaTB73LDqigZen5fewVmh3XS728WEzqeq7Cb2FjQ9ybZi5yHBh7EtYtSKtdcUjXHRY2PKVUEsdJTvFfK1BVQ2iK2zT21kbjoxCdCc4bvLVDoKNQPxqgGNwMimRcsqaHPQ9VkTdGrYT2iSh3o3PyNhGsfohhzqFmzdrneoFqHW9PT9roR7z6AuTMTvptsWu",
      "assets": [
        {
          "tokenId": "12bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f",
          "index": 0,
          "amount": 1,
          "name": "Paideia Emission NFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 462,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1104b8d69b84c13ca80700b895d58202",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1039520724380,468,0,271230300]"
        }
      },
      "spentTransactionId": "19db63f054e6fccb54036710e3cdf255008f583f17579c02e98650bbc61a560d",
      "mainChain": true
    },
    {
      "boxId": "95be7416add9bd12bf6d2026b747ced553fed840fa13e837d8313cbf00685454",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 1,
      "globalIndex": 32667977,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1077709610,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa079c82f4ffa560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654367617166]"
        },
        "R5": {
          "serializedValue": "0e20aad628e32e05fb52515f698fa0cd7a1e8e8b110ef8d4cc06ec09312b976b1f77",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "aad628e32e05fb52515f698fa0cd7a1e8e8b110ef8d4cc06ec09312b976b1f77"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "b57a60123f3468060e2fae455d4732b6057c8c3ed70d04c50184e8cfbb2132bb",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 2,
      "globalIndex": 32667978,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 745408954,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07c6f1d1e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654342171747]"
        },
        "R5": {
          "serializedValue": "0e20241bcad750a3e19ef1c1c6a5553a25dc4221b0b67179da023405fa655fbc941d",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "241bcad750a3e19ef1c1c6a5553a25dc4221b0b67179da023405fa655fbc941d"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "a2223fdf6d16142b8b894fd8acbc7d33eb6871e0b10eb1698156b46680166fce",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 3,
      "globalIndex": 32667979,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 223502953,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa079495d2e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654342174026]"
        },
        "R5": {
          "serializedValue": "0e20411b44d35cd8d54a36ac274b6c14813606bbc250890def535079a3585a66655a",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "411b44d35cd8d54a36ac274b6c14813606bbc250890def535079a3585a66655a"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "8a5aa84d881d3f4db6bcd39d0714a435468eb7d6a2979d0a0e3bae534c138e05",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 4,
      "globalIndex": 32667980,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 50833547,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa0784b5a3e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654341791042]"
        },
        "R5": {
          "serializedValue": "0e2058526db10add57ee55202dc0820a0011c52a1f026c5831087e9165c5633bc0e4",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "58526db10add57ee55202dc0820a0011c52a1f026c5831087e9165c5633bc0e4"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "3ced715fd8bdd79287a36d5f4abb5f484915f4b941c26d790c825af9863d1158",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 5,
      "globalIndex": 32667981,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 17024106,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa0798df96e7a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654341687244]"
        },
        "R5": {
          "serializedValue": "0e20bd78c414d814dd16404d9d7856790fc28d5446a81883686bf380b9499af01066",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "bd78c414d814dd16404d9d7856790fc28d5446a81883686bf380b9499af01066"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "1bd7cacd7087b4b3df5e80c1cede59db604bdcbb735cc90db262de497d7c4246",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 6,
      "globalIndex": 32667982,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 2109030973,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07fcd9fde2a560",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654337287806]"
        },
        "R5": {
          "serializedValue": "0e20d67f5e04c4e842a0c6f748de9dba0ba7e03bd46621697c63523992e34bd420be",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "d67f5e04c4e842a0c6f748de9dba0ba7e03bd46621697c63523992e34bd420be"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "b7d3c037fd31e5033e42ab7a8f938b812ec3e14ef7a8a38ff2b901a33324aa9e",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 7,
      "globalIndex": 32667983,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 7961567,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07f2fce195a660",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654390538041]"
        },
        "R5": {
          "serializedValue": "0e20a03e8d839667233305089634e6156909e5c5fe17c70b7c6b8ae250469c2d80ea",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "a03e8d839667233305089634e6156909e5c5fe17c70b7c6b8ae250469c2d80ea"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "1d6104ce4ecc4c5bde36b74f419503f85decd47005ae56118e0f069de66f12da",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 8,
      "globalIndex": 32667984,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 23617855,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07f892e78fab60",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1655055377596]"
        },
        "R5": {
          "serializedValue": "0e20e0991e062ce69bd6a6aab815743878483688279967804bede09f276e6b0036ec",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "e0991e062ce69bd6a6aab815743878483688279967804bede09f276e6b0036ec"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "42cf14fe1e5c444c351f4b82eb5b2ca9368bbc0939dd1baf75a448e9835bd484",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 9,
      "globalIndex": 32667985,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 376865142,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07b29e83e9f960",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1665617913753]"
        },
        "R5": {
          "serializedValue": "0e2067fc067d11b4595424d05d286aae6cb453baae005745dd6184b98e77847df3db",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "67fc067d11b4595424d05d286aae6cb453baae005745dd6184b98e77847df3db"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "e34bac8985b5c247d83d3f4a01f5844fe1a649f77da9eb47050a24d9569b5935",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 10,
      "globalIndex": 32667986,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1448970943,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07d6cbcb9fa660",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654400840427]"
        },
        "R5": {
          "serializedValue": "0e20de275806dabbd8db40d8612f05c7886600d154ec22161f68a3d17d47137ea5dc",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "de275806dabbd8db40d8612f05c7886600d154ec22161f68a3d17d47137ea5dc"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "6aea6bfbdafa339efc25933d85a8d097124bbf0b5eb7b1580851fd991f04aefb",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 11,
      "globalIndex": 32667987,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 1474981563,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07c68c9299a760",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1654528295715]"
        },
        "R5": {
          "serializedValue": "0e20501d286ae6e01ed53a4918678bb83d16c4c5511af4a6ff08a60d66d5c2d12f5c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "501d286ae6e01ed53a4918678bb83d16c4c5511af4a6ff08a60d66d5c2d12f5c"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "1ba73d66bb4b20ddfccfbeacd132e7ec49e460e721416ff4abd2566aca24097d",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 12,
      "globalIndex": 32667988,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 106043446,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07aebb8ec4f860",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1665444990679]"
        },
        "R5": {
          "serializedValue": "0e20e120442e8abf9b6dcafda76ad7f2c064b26c2050feba27f2382f166f38723dcf",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "e120442e8abf9b6dcafda76ad7f2c064b26c2050feba27f2382f166f38723dcf"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "9f658f052b641863cf450bbd99c0ed905c3c2183786e8ea62ee61d1449ddff2f",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 1000000,
      "index": 13,
      "globalIndex": 32667989,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "101f040004000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040204000400040001000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f0910402040004000402040204000400050204020402040604000100040404020402010001010100040201000100d807d601b2a4730000d6028cb2db6308720173010001d6039372027302d604e4c6a70411d605e4c6a7050ed60695ef7203ed93c5b2a4730300c5a78fb2e4c6b2a57304000411730500b2e4c6720104117306007307d6079372027308d1ecec957203d80ad608b2a5dc0c1aa402a7730900d609e4c672080411d60adb63087208d60bb2720a730a00d60cdb6308a7d60db2720c730b00d60eb2720a730c00d60fb2720c730d00d6107e8c720f0206d611e4c6720104119683090193c17208c1a793c27208c2a793b27209730e009ab27204730f00731093e4c67208050e720593b27209731100b27204731200938c720b018c720d01938c720b028c720d02938c720e018c720f01937e8c720e02069a72109d9c7eb272117313000672107eb27211731400067315957206d801d608b2a5731600ed72079593c27208c2a7d801d609c67208050e95e67209ed93e472097205938cb2db6308b2a57317007318000172057319731a731b9595efec7206720393c5b2a4731c00c5a7731d7207731e",
      "ergoTreeConstants": "0: 0\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 1\n4: 0\n5: 0\n6: 0\n7: false\n8: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n9: 1\n10: 0\n11: 0\n12: 1\n13: 1\n14: 0\n15: 0\n16: 1\n17: 1\n18: 1\n19: 3\n20: 0\n21: false\n22: 2\n23: 1\n24: 1\n25: false\n26: true\n27: false\n28: 1\n29: false\n30: 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  val coll4 = SELF.R4[Coll[Long]].get\n  val coll5 = SELF.R5[Coll[Byte]].get\n  val bool6 = if (!bool3) {\n    (INPUTS(placeholder[Int](3)).id == SELF.id) && (\n      OUTPUTS(placeholder[Int](4)).R4[Coll[Long]].get(placeholder[Int](5)) < box1.R4[Coll[Long]].get(placeholder[Int](6))\n    )\n  } else { placeholder[Boolean](7) }\n  val bool7 = coll2 == placeholder[Coll[Byte]](8)\n  sigmaProp((if (bool3) {(\n        val box8 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](9)))\n        val coll9 = box8.R4[Coll[Long]].get\n        val coll10 = box8.tokens\n        val tuple11 = coll10(placeholder[Int](10))\n        val coll12 = SELF.tokens\n        val tuple13 = coll12(placeholder[Int](11))\n        val tuple14 = coll10(placeholder[Int](12))\n        val tuple15 = coll12(placeholder[Int](13))\n        val bi16 = tuple15._2.toBigInt\n        val coll17 = box1.R4[Coll[Long]].get\n        allOf(Coll[Boolean](box8.value == SELF.value, box8.propositionBytes == SELF.propositionBytes, coll9(placeholder[Int](14)) == coll4(placeholder[Int](15)) + placeholder[Long](16), box8.R5[Coll[Byte]].get == coll5, coll9(placeholder[Int](17)) == coll4(placeholder[Int](18)), tuple11._1 == tuple13._1, tuple11._2 == tuple13._2, tuple14._1 == tuple15._1, tuple14._2.toBigInt == bi16 + coll17(placeholder[Int](19)).toBigInt * bi16 / coll17(placeholder[Int](20)).toBigInt))\n      )} else { placeholder[Boolean](21) } || if (bool6) {(\n        val box8 = OUTPUTS(placeholder[Int](22))\n        bool7 && if (box8.propositionBytes == SELF.propositionBytes) {(\n          val opt9 = box8.R5[Coll[Byte]]\n          if (opt9.isDefined) { (opt9.get == coll5) && (OUTPUTS(placeholder[Int](23)).tokens(placeholder[Int](24))._1 == coll5) } else { placeholder[Boolean](25) }\n        )} else { placeholder[Boolean](26) }\n      )} else { placeholder[Boolean](27) }) || if (if (!(bool6 || bool3)) { INPUTS(placeholder[Int](28)).id == SELF.id } else { placeholder[Boolean](29) }) { bool7 } else { placeholder[Boolean](30) })\n}",
      "address": "BxjSQHD1hqQFUXbXatkn46YUxM6wVsLkT5HNXJe1N1n3dM2c7X8BtgnLqszJuxoRTnzXzrCrmEjPyLxqstcnW7YkQJ9m7QTmhChBYt1hAFcTWiyVMdaiYYFtxr7qfXKcjsadtfusNhS63ZddciC3wogjrfSE3U2Fy9dhrrKStUVzWhTP22ZuwdDPv8F88WVtdLsu24bbHsv2ntXZJGhvdKnvJL83kJWs9XV582sqUBqX7kL2A5qp6T2Jxgt3gLxcZ99JhUG99YtRsmpuwb94TE5KVTESWA6cD8EdReTbP1kwW77rnJyNfj8KUsy1j7AZuNBUsVBc3oLV4GxYFDvaTNEyNBmGY3dEe8k7UKjUSnqCmYH2QM2cmhtPEdT6UBR9sS4h4YFiGsRHiybjuTSaBUPrzhJ12ESKf8jcaNna9rYprzm8ZnfwNEQFtPJyKfCoJjbwkfsAEirsMcyU3VjPAvKJ2mtu7A3WwXViBSfwUgdCnWkEhdPCRPueAXfN38JXG8HjJeZTPi3VtgcnFobg8Zjp1XtRkTaoj6i4BgyfwCft3sCYgBgmNjXhtFuuozpCiAXWyGMMs5rhJL6FzXsJWiTSML96LdshFnhoPRPi8FXVooURKztnqJowFcpLApL2ou2jfeC4iaxKgtd6zDR6ikFVXMsipVHmBrhan9dheUPnfjeXz9WVPmGLmVkrxnVv",
      "assets": [
        {
          "tokenId": "245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab",
          "index": 0,
          "amount": 1,
          "name": "Paideia Stake Token",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 12186094,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "1102aa07ce9fa3c7f860",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[469,1665448306663]"
        },
        "R5": {
          "serializedValue": "0e201daa9f270cad28dc4ef4285e15e57da05ee05e4acc6fd0d7c8d2b6237c85c378",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "1daa9f270cad28dc4ef4285e15e57da05ee05e4acc6fd0d7c8d2b6237c85c378"
        }
      },
      "spentTransactionId": "fa3c050dcb5ca9ce2719a4a2a78e3048ec88a07e7bfd2271b9045a3e7896305f",
      "mainChain": true
    },
    {
      "boxId": "2ffe63cd5b8d0fd512ca7cbbea44776871ddce366822465be757f2538fff4d3c",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 6250000,
      "index": 14,
      "globalIndex": 32667990,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "102f040605000e2012bbef36eaa5e61b64d519196a1e8ebea360f18aba9b02d2a21b16f26208960f040004000e20b682ad9e8c56c5a0ba7fe2d3d9b2fbd40af989e8870628f4a03ae1022d36f09104040400010004000400010004020400058084af5f040205c0843d04040580897a01000408040205809bee020580897a0580897a040a05809bee02040c0580897a0100040004000e20245957934c20285ada547aa8f2c8e6f7637be86a1985b3e4c36e4e1ad8ce97ab04000402010005c0843d05e0a7120580897a05c09a0c040204040100040004000e20b311425409ff2e8f5901d230788c6628b5846be0b9c66621e4880b086dd5eaef0100d80ad60193b1a57300d60286028300027301d6037302d60495ef7201ed938cb2db6308b2a47303007304017202017305938cb2db6308b2a473060073070172020172037308d605c2a7d606c1a7d607b2a4730900d60895efec72017204938cb2db63087207730a017202017203730bd609b1a4d60a997209730cd1ececec957201d803d60bb2a5730d00d60cc2a7d60dc1a79683050193c2720b720c91c1720b720d90720d730e93c1b2a5730f009c73107eb1b5a4d9010e6393c2720e720c0593c1b2a573110073127313957204d801d60bb2a57314009683050193c5b2a499b1a4731500c5a793c2720b720592c1720b999999720673167317731893c1b2a5731900731a93c1b2a5731b00731c731d957208d805d60bb2a5720a00d60cb1b5a4d9010c63d801d60edb6308720c9591b1720e731eed938cb2720e731f0001732093b2e4c6720c0411732100b2e4c6720704117322007323d60d7e720c05d60e9a73249c7325720dd60f9a73269c7327720d9683060193c5b2a4720a00c5a793c2720b720592c1720b99997206720e720f93c1b2a5720900720e93c1b2a59a7209732800720f9372099a720c7329732a95efecec720172047208938cb2db6308b2a5732b00732c01720201732d732e",
      "ergoTreeConstants": "0: 3\n1: 0\n2: Coll(18,-69,-17,54,-22,-91,-26,27,100,-43,25,25,106,30,-114,-66,-93,96,-15,-118,-70,-101,2,-46,-94,27,22,-14,98,8,-106,15)\n3: 0\n4: 0\n5: Coll(-74,-126,-83,-98,-116,86,-59,-96,-70,127,-30,-45,-39,-78,-5,-44,10,-7,-119,-24,-121,6,40,-12,-96,58,-31,2,45,54,-16,-111)\n6: 2\n7: 0\n8: false\n9: 0\n10: 0\n11: false\n12: 1\n13: 0\n14: 100000000\n15: 1\n16: 500000\n17: 2\n18: 1000000\n19: false\n20: 4\n21: 1\n22: 3000000\n23: 1000000\n24: 1000000\n25: 5\n26: 3000000\n27: 6\n28: 1000000\n29: false\n30: 0\n31: 0\n32: Coll(36,89,87,-109,76,32,40,90,-38,84,122,-88,-14,-56,-26,-9,99,123,-24,106,25,-123,-77,-28,-61,110,78,26,-40,-50,-105,-85)\n33: 0\n34: 1\n35: false\n36: 500000\n37: 150000\n38: 1000000\n39: 100000\n40: 1\n41: 2\n42: false\n43: 0\n44: 0\n45: Coll(-77,17,66,84,9,-1,46,-113,89,1,-46,48,120,-116,102,40,-75,-124,107,-32,-71,-58,102,33,-28,-120,11,8,109,-43,-22,-17)\n46: false",
      "ergoTreeScript": "{\n  val bool1 = OUTPUTS.size == placeholder[Int](0)\n  val tuple2 = (Coll[Byte](), placeholder[Long](1))\n  val coll3 = placeholder[Coll[Byte]](2)\n  val bool4 = if (!bool1) {\n    (INPUTS(placeholder[Int](3)).tokens.getOrElse(placeholder[Int](4), tuple2)._1 == placeholder[Coll[Byte]](5)) && (\n      INPUTS(placeholder[Int](6)).tokens.getOrElse(placeholder[Int](7), tuple2)._1 == coll3\n    )\n  } else { placeholder[Boolean](8) }\n  val coll5 = SELF.propositionBytes\n  val l6 = SELF.value\n  val box7 = INPUTS(placeholder[Int](9))\n  val bool8 = if (!(bool1 || bool4)) { box7.tokens.getOrElse(placeholder[Int](10), tuple2)._1 == coll3 } else { placeholder[Boolean](11) }\n  val i9 = INPUTS.size\n  val i10 = i9 - placeholder[Int](12)\n  sigmaProp(((if (bool1) {(\n          val box11 = OUTPUTS(placeholder[Int](13))\n          val coll12 = SELF.propositionBytes\n          val l13 = SELF.value\n          allOf(Coll[Boolean](box11.propositionBytes == coll12, box11.value > l13, l13 <= placeholder[Long](14), OUTPUTS(placeholder[Int](15)).value == placeholder[Long](16) * INPUTS.filter({(box14: Box) => box14.propositionBytes == coll12 }).size.toLong, OUTPUTS(placeholder[Int](17)).value == placeholder[Long](18)))\n        )} else { placeholder[Boolean](19) } || if (bool4) {(\n          val box11 = OUTPUTS(placeholder[Int](20))\n          allOf(Coll[Boolean](INPUTS(INPUTS.size - placeholder[Int](21)).id == SELF.id, box11.propositionBytes == coll5, box11.value >= l6 - placeholder[Long](22) - placeholder[Long](23) - placeholder[Long](24), OUTPUTS(placeholder[Int](25)).value == placeholder[Long](26), OUTPUTS(placeholder[Int](27)).value == placeholder[Long](28)))\n        )} else { placeholder[Boolean](29) }) || if (bool8) {(\n        val box11 = OUTPUTS(i10)\n        val i12 = INPUTS.filter({(box12: Box) =>\n            val coll14 = box12.tokens\n            if (coll14.size > placeholder[Int](30)) { (coll14(placeholder[Int](31))._1 == placeholder[Coll[Byte]](32)) && (box12.R4[Coll[Long]].get(placeholder[Int](33)) == box7.R4[Coll[Long]].get(placeholder[Int](34))) } else { placeholder[Boolean](35) }\n          }).size\n        val l13 = i12.toLong\n        val l14 = placeholder[Long](36) + placeholder[Long](37) * l13\n        val l15 = placeholder[Long](38) + placeholder[Long](39) * l13\n        allOf(Coll[Boolean](INPUTS(i10).id == SELF.id, box11.propositionBytes == coll5, box11.value >= l6 - l14 - l15, OUTPUTS(i9).value == l14, OUTPUTS(i9 + placeholder[Int](40)).value == l15, i9 == i12 + placeholder[Int](41)))\n      )} else { placeholder[Boolean](42) }) || if (!((bool1 || bool4) || bool8)) { OUTPUTS(placeholder[Int](43)).tokens.getOrElse(placeholder[Int](44), tuple2)._1 == placeholder[Coll[Byte]](45) } else { placeholder[Boolean](46) })\n}",
      "address": "Ujfv3QVGdnTjkkugQDB5qFowFpiq2uK32aa7efP7ptAA4dAsAamzWS1NS4kWKExYR2N781Cgi49dLmerGrH6hQZXg6xgxkyJRKJgPgq3MKrSjxECyPVtSyqmivuV5TDbsoNGQfA9yb4FLjtX9ovdYGZxz8TcESePcBHdTpUeXYRqsbkQkhNNDuF3HfWKmLFbTQTKUti4rFT4zKLKaoCr1Hq4AfEu91i5yTmxvZ14iyGkwduKrA2M54ynk5bryZqU7QiJJ1eQe4CPY8wnTgWUPniNDMzjUQLxrYZjSjJX1L8W7cVdWoMGqVdDuWv1APZokHypm2qtfoC4yFf8QWj9Phdnh3fzbUuQyk9nphXMnGKaNN6byTsZW63a1DZESwPQkY5hhhuYJuTYoGy9Gf2bdxfEgcXvppTnc4yi2AB2wo8XXsUtmH6L39nfrTfWtqiSuCZutvARjbahAjR9riZ6Xcb8JnpdUgz7ZmoRa2bwEj7pnMEd6HGdZRwDGCQn5Ezt1ZS5QEFqfTkfvz4wyiDUvDjM9knYSs2KGVim7CFvQdWtLPuiY8nkTmrrWgTyChAzFjexeYP5V9EaLDbkRRbSRinoAb9VfL9KCkSMNyA55fNkFnmzf94nF2HHfJNGvKvc2hHL73h5ERWoZ139jBH94ZFs99QnYA8zVqohtk8JYxVZfLg6KdR67DVHguNCtMwy98pdxdiHr6McFMZB7Br6RSQmnXa73bCdKZKydxxnf1vTo2MtkMRuq4QgNYgVLJxhdTL6QpR763jTpbjnVWWqe5PDQ7ghDfYC1AnqQvR7AwpVUj47ut4McE7iSUHruUxNr8jHKBUSv5xTNbqhQhGuhwgfte8otdaG8aYE8ezEHXoNiB1cbcAbuDyTjRAmmXqUw8rBxf3twUi7HqnZPGgoaTf4Qjx2nSonyQsRHJFUp2yE3donK9seHPGAHyjfG2FTCHJneEHNY2BTi4bf7E7Yw",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "2437bf02d0e241124665e09a037696b6bb2f371ef3924ca85a9bcbeada5880cb",
      "mainChain": true
    },
    {
      "boxId": "946a9b261be2123a12baeb5105cfa9017e14ec6ad71e0a4cb52b7382b8811830",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 2450000,
      "index": 15,
      "globalIndex": 32667991,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
      "address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "0681c24ad753cc8a01496cc7d34a18ed7ba4f6f1eacbe6d7eb65877114aa009c",
      "mainChain": true
    },
    {
      "boxId": "9cb0105f83818bebcc24b2df9cd7bb9060d960fbb1ac4b33634b905816d25fb8",
      "transactionId": "7d932575c24cb8ccd52700e84dd01b5520ed92ff6145b89b4494b067e1f5d79a",
      "blockId": "72125de00e3a7f0caf34306626813225327aca5f40f7a35411d8712deb72750d",
      "value": 2300000,
      "index": 16,
      "globalIndex": 32667992,
      "creationHeight": 1091558,
      "settlementHeight": 1091560,
      "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": "a2cd2021ba63e84d5c43349eedee5d43b1d39ed36a84389747b7e5211c9d1c85",
      "mainChain": true
    }
  ],
  "size": 9643,
  "isUnconfirmed": false
}