Ad
Inputs (4)
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Output transaction:
Settlement height:
Value:
0.01 ERG
Output transaction:
Settlement height:
Value:
0.488 ERG
Output transaction:
Settlement height:
Value:
2.57 ERG
Outputs (7)
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent in transaction:
Settlement height:
Value:
3.05 ERG
Spent in transaction:
Settlement height:
Value:
0.012 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Transaction Details
Status: Confirmed
Size: 3.03 KB
Received time: 3/15/2022 04:09:06 PM
Included in blocks: 706,916
Confirmations: 1,050,679
Total coins transferred: 3.08 ERG
Fees: 0.012 ERG
Fees per byte: 0.000003872 ERG
Raw Transaction Data
{
  "id": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
  "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
  "inclusionHeight": 706916,
  "timestamp": 1647360546061,
  "index": 14,
  "globalIndex": 2805399,
  "numConfirmations": 1050679,
  "inputs": [
    {
      "boxId": "aedca4430c9de6af4fcdbb90f04d1b48f015b0b1cf3bc764de159c92390adb18",
      "value": 10000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "bb2e077ee73d56b8fea8ac7f237038820bf50733e39eca4eced1f716d4dde382",
      "outputTransactionId": "d544f06c9fd56227839fbfa9a51143d0227e1de669e40f77e527202b4a547235",
      "outputIndex": 0,
      "outputGlobalIndex": 14303264,
      "outputCreatedAt": 706888,
      "outputSettledAt": 706891,
      "ergoTree": "101c0400040204000402010001000400040101000402010004000402040005020402040404040500040004000400040004000400010001000101d809d601c6a70711d602c6a7080c3c0e0ed60396830601e6c6a7040c3c0e11e6c6a7050c3c0e0ee6c6a7060c4c0ee67201e6720293b2a4730000a7d604b2a4730100d605c67204050c3c0e0ed606c67204040c3c0e11d607b2a5730200d608c672070711d609db63087207957203d195ed9595957203aee47202d9010a3c0e0e938c720a01c2b2a4730300730496830501e6c67204040c3c0e11e6c67204050c3c0e0ee6c67204060c4c0ee6c672040711e6c67204080c3c0e0e7305afe47205d9010a3c0e0e94dc0c1aade47206d9010c3c0e118c720c01028c720a01730673077308959593c27207c2a796830701e6c67207040c3c0e11e6c67207050c3c0e0ee6c67207060c4c0ee6c672070711e6c67207080c3c0e0e93c17207c1a793b1db630872077309730ad804d60ae47208d60be47201d60cb2720b730b00d60db2720a730c00ededed93b2720a730d009a720c730eed90720d7ea30591720db2720b730f0093b2720a731000b2720b7311009594720c7312938cb2db6308a7731300018cb2720973140001d801d60edb6308a79591b1720e7315938cb2720e731600018cb2720973170001938cb2720973180001c5a773199683050193e4c67207040c3c0e11e4720693e4c67207050c3c0e0ee4720593e4c67207060c4c0ee4c67204060c4c0e93e47208e4c67204071193e4c67207080c3c0e0ee4c67204080c3c0e0e731ad1731b",
      "ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 1\n4: false\n5: false\n6: 0\n7: -1\n8: false\n9: 1\n10: false\n11: 0\n12: 1\n13: 0\n14: 1\n15: 1\n16: 2\n17: 2\n18: 0\n19: 0\n20: 0\n21: 0\n22: 0\n23: 0\n24: 0\n25: false\n26: false\n27: true",
      "ergoTreeScript": "{\n  val opt1 = SELF.R7[Coll[Long]]\n  val opt2 = SELF.R8[Coll[(Coll[Byte], Coll[Byte])]]\n  val bool3 = allOf(\n    Coll[Boolean](\n      SELF.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, SELF.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, SELF.R6[\n        Coll[(Coll[Byte], Int)]\n      ].isDefined, opt1.isDefined, opt2.isDefined, INPUTS(placeholder[Int](0)) == SELF\n    )\n  )\n  val box4 = INPUTS(placeholder[Int](1))\n  val opt5 = box4.R5[Coll[(Coll[Byte], Coll[Byte])]]\n  val opt6 = box4.R4[Coll[(Coll[Byte], Coll[Long])]]\n  val box7 = OUTPUTS(placeholder[Int](2))\n  val opt8 = box7.R7[Coll[Long]]\n  val coll9 = box7.tokens\n  if (bool3) {\n    sigmaProp(\n      if (if (if (if (bool3) { opt2.get.exists({(tuple10: (Coll[Byte], Coll[Byte])) => tuple10._1 == INPUTS(placeholder[Int](3)).propositionBytes }) } else {\n        placeholder[Boolean](4)\n      }) {\n        allOf(\n          Coll[Boolean](\n            box4.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box4.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, box4.R6[\n              Coll[(Coll[Byte], Int)]\n            ].isDefined, box4.R7[Coll[Long]].isDefined, box4.R8[Coll[(Coll[Byte], Coll[Byte])]].isDefined\n          )\n        )\n      } else { placeholder[Boolean](5) }) {\n        opt5.get.forall(\n          {(tuple10: (Coll[Byte], Coll[Byte])) =>\n            opt6.get.map({(tuple12: (Coll[Byte], Coll[Long])) => tuple12._1 }).indexOf(tuple10._1, placeholder[Int](6)) != placeholder[Int](7)\n          }\n        )\n      } else { placeholder[Boolean](8) } && if (if (box7.propositionBytes == SELF.propositionBytes) {\n        allOf(\n          Coll[Boolean](\n            box7.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box7.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, box7.R6[\n              Coll[(Coll[Byte], Int)]\n            ].isDefined, box7.R7[Coll[Long]].isDefined, box7.R8[\n              Coll[(Coll[Byte], Coll[Byte])]\n            ].isDefined, box7.value == SELF.value, box7.tokens.size == placeholder[Int](9)\n          )\n        )\n      } else { placeholder[Boolean](10) }) {(\n        val coll10 = opt8.get\n        val coll11 = opt1.get\n        val l12 = coll11(placeholder[Int](11))\n        val l13 = coll10(placeholder[Int](12))\n        (\n          ((coll10(placeholder[Int](13)) == l12 + placeholder[Long](14)) && ((l13 <= HEIGHT.toLong) && (l13 > coll11(placeholder[Int](15))))) && (\n            coll10(placeholder[Int](16)) == coll11(placeholder[Int](17))\n          )\n        ) && if (l12 != placeholder[Long](18)) { SELF.tokens(placeholder[Int](19))._1 == coll9(placeholder[Int](20))._1 } else {(\n          val coll14 = SELF.tokens\n          if (coll14.size > placeholder[Int](21)) { coll14(placeholder[Int](22))._1 == coll9(placeholder[Int](23))._1 } else {\n            coll9(placeholder[Int](24))._1 == SELF.id\n          }\n        )}\n      )} else { placeholder[Boolean](25) }) {\n        allOf(\n          Coll[Boolean](\n            box7.R4[Coll[(Coll[Byte], Coll[Long])]].get == opt6.get, box7.R5[Coll[(Coll[Byte], Coll[Byte])]].get == opt5.get, box7.R6[\n              Coll[(Coll[Byte], Int)]\n            ].get == box4.R6[Coll[(Coll[Byte], Int)]].get, opt8.get == box4.R7[Coll[Long]].get, box7.R8[Coll[(Coll[Byte], Coll[Byte])]].get == box4.R8[\n              Coll[(Coll[Byte], Coll[Byte])]\n            ].get\n          )\n        )\n      } else { placeholder[Boolean](26) }\n    )\n  } else { sigmaProp(placeholder[Boolean](27)) }\n}",
      "address": "2SAtmk4vkfVShkmuAuPUTBqRPS6XEEg62PMgwVUWt11QiJsxDSFSd6wJZZ6iQXEHZAW8PHfTosADdNwyUgGTLK6eUjSMz32zUVDPgi6G51H7Ux1fgk3DKoQv7qASaxb5cPc9uQ5ecuQLbv62Suv9dBstqoFAmtmZQP9AGBVevmPybtVnpAa4gYvLPTJYh5BeQAuo95RjDm2rdmuCXAGGJTguHzh2PtDsGyBZ1tgCPRCQe9bjcBoNBgNZV4wucbY5gRuQZzi6EWCRPaH73EBXsuhSr4bGtqJopC62xwSicuEay6597WS9UQc3GtC55uWwzgxXGtazwmxRhUcMCiuKm9NWjk9BDffnGd6s2tsxBaeFwTBxbsqGDvyiVwZqzAJEbc2ZP99fbaumFkpfE39WVY2fCGHDU6wqBESfVk8RuPPu5SvkUDkLgu6DfK2AGa4udgaLMqvAZq1z3QyNbAmGak6xPY31vTay8T14YT7XTcDdeA98NDsuKTZ93LwRninScCPATCXNVYyKHd2hWTPNDMySFqckcmMsxWFTkhejkC4c3Gc8gvzHQ4YakUhLVPdLC22Nhv1LYUJKiaSF1oS13t1NqqtwWFdnB2WDcsAnbxRtKU8fEexp2Q1QRB8fhKs4dqdqczqqN4T53t7P94JdhRGULnHxg1FEDjD4iqg4wfrQqw3768kJmL9p6sp414S6rxE6XRt5WQMz6ExkTWTrcuL3qfekt2optir8UpZWHFcd7UF79rSWfiD8WPUrwJZRbvLiwzYQr3okNK7BY9W54fARWWMF",
      "assets": [
        {
          "tokenId": "c6b75f607ff08d76ae1acb78564e5b928ccd96b8b4dbcad161d6206db7e608c0",
          "index": 0,
          "amount": 1,
          "name": "GetBlok.io SmartPool Display Token",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c3c0e0e02240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e713339686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746033396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,39686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3],[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3],[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "11048e0690a556aaf9502a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[391,706888,663125,21]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e710490478084af5f0000240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746004b4ea0380c8afa02580e3f2931300",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,[4552,100000000,0,0]],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,[31386,5000000000,2571000000,0]]]"
        }
      }
    },
    {
      "boxId": "32c61c661e9f6c515665a4e8017fcb9eb7e0eff583d578f67ca2b3a44ea252f4",
      "value": 10000000,
      "index": 1,
      "spendingProof": "af28a42ce71f24ccdcbb82448e3d870a276d2b24955baf15ffb5b9b85c71bf39578297821ca97bd6167c2a9018618c107864c5f4956c4c95",
      "outputBlockId": "34598494f544e4d5543f91ac3452e515c6b67fb3bac96345fdd136fe5dc1023f",
      "outputTransactionId": "101a32c32203633e58caf39d7d925104ac17c7fac95d58468f5a36430b10a758",
      "outputIndex": 7,
      "outputGlobalIndex": 14304383,
      "outputCreatedAt": 706913,
      "outputSettledAt": 706915,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c3c0e0e02240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e713339686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746033396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,39686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3],[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3],[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "11049006c2a556aaf9502a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[392,706913,663125,21]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e7104be478084af5f8093a23800240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746004ecfa0380c8afa02580c2a6a71600",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,[4575,100000000,59000000,0]],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,[32438,5000000000,2994000000,0]]]"
        }
      }
    },
    {
      "boxId": "8d43b8a28118aa8bb0814dbcb9d9d039404c730d3a4de338e85e916a309a6a1e",
      "value": 488000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "3bd70e68e39f1f089229953b44b7849a05319c949ce6b8b8945d6cb98d13c6b4",
      "outputTransactionId": "f3ee1e9f9166d2f5dd42bcdf47a08587557f8373965c67650811be5621779096",
      "outputIndex": 12,
      "outputGlobalIndex": 14303649,
      "outputCreatedAt": 706901,
      "outputSettledAt": 706903,
      "ergoTree": "103604000e20c6b75f607ff08d76ae1acb78564e5b928ccd96b8b4dbcad161d6206db7e608c004020400010104020101010004020500040404020500040405d00f0580897a040404020500040404000580897a050004000580897a0400040204000404040104040401050001000401040105000100040105000400040101000101050001010400050004000400040001000ec204101c0400040204000402010001000400040101000402010004000402040005020402040404040500040004000400040004000400010001000101d809d601c6a70711d602c6a7080c3c0e0ed60396830601e6c6a7040c3c0e11e6c6a7050c3c0e0ee6c6a7060c4c0ee67201e6720293b2a4730000a7d604b2a4730100d605c67204050c3c0e0ed606c67204040c3c0e11d607b2a5730200d608c672070711d609db63087207957203d195ed9595957203aee47202d9010a3c0e0e938c720a01c2b2a4730300730496830501e6c67204040c3c0e11e6c67204050c3c0e0ee6c67204060c4c0ee6c672040711e6c67204080c3c0e0e7305afe47205d9010a3c0e0e94dc0c1aade47206d9010c3c0e118c720c01028c720a01730673077308959593c27207c2a796830701e6c67207040c3c0e11e6c67207050c3c0e0ee6c67207060c4c0ee6c672070711e6c67207080c3c0e0e93c17207c1a793b1db630872077309730ad804d60ae47208d60be47201d60cb2720b730b00d60db2720a730c00ededed93b2720a730d009a720c730eed90720d7ea30591720db2720b730f0093b2720a731000b2720b7311009594720c7312938cb2db6308a7731300018cb2720973140001d801d60edb6308a79591b1720e7315938cb2720e731600018cb2720973170001938cb2720973180001c5a773199683050193e4c67207040c3c0e11e4720693e4c67207050c3c0e0ee4720593e4c67207060c4c0ee4c67204060c4c0e93e47208e4c67204071193e4c67207080c3c0e0ee4c67204080c3c0e0e731ad1731b0101d805d601c2a7d602b5a4d901026393c272027201d603b17202d604b2a4730000d605730195ef95ed917203730293c5b27202730300c5a7730495937203730573067307d1dad9010601957206d807d608e4c6b2a4730800040c3c0e11d609e4c67204040c3c0e11d60a99b072027309d9010a41639a8c720a01c18c720a02b0b57209d9010a3c0e11d801d60c8c720a028fb2720c730a00b2720c730b00730cd9010a413c0e119a8c720a01b28c8c720a0202730d00d60bade4c67204060c4c0ed9010b4c0ed801d60d9d9c7e8c720b0205720a730e86028c720b0199720d9e720d730fd60cada5d9010c63c2720cd60dada5d9010d63c1720dd60eb0b57208d9010e3c0e11d801d6108c720e028fb27210731000b272107311007312d9010e413c0e119a8c720e01b28c8c720e0202731300edededaf7208d9010f3c0e11d807d6118c720f01d612dc0c1aad7209d901123c0e118c7212010272117314d6138c720f02d614dad9011405d801d6169d9c99b0720b720ad90116414d0e998c7216018c8c721602029c73157eb17208057214b072087316d90116413c0e119a8c721601b28c8c721602027317009972169e7216731801b27213731900d615b27213731a00d616dc0c1a720c027211731bd617b27213731c0095947212731dd801d6189ab2b2ad7209d901183c0e118c721802721200731e00721495927218721595947216731fed93b2720d721600721893721773207321ed93721673229372177218959272147215959472167323ed93b2720d721600721493721773247325ed93721673269372177214af720bd9010f4d0ed801d6118c720f02959172117327d801d612dc0c1a720c028c720f01732895947212732993c1b2a57212007211732a732b9591720e732caea5d9010f63ed93c1720f720e93c2720f7201732d9594b2e4c672040711732e00732f938cb2db63087204733000017205d801d60fdb630872049591b1720f7331938cb2720f73320001720593c57204720573330193c272047334d17335",
      "ergoTreeConstants": "0: 0\n1: Coll(-58,-73,95,96,127,-16,-115,118,-82,26,-53,120,86,78,91,-110,-116,-51,-106,-72,-76,-37,-54,-47,97,-42,32,109,-73,-26,8,-64)\n2: 1\n3: 0\n4: true\n5: 1\n6: true\n7: false\n8: 1\n9: 0\n10: 2\n11: 1\n12: 0\n13: 2\n14: 1000\n15: 1000000\n16: 2\n17: 1\n18: 0\n19: 2\n20: 0\n21: 1000000\n22: 0\n23: 0\n24: 1000000\n25: 0\n26: 1\n27: 0\n28: 2\n29: -1\n30: 2\n31: -1\n32: 0\n33: false\n34: -1\n35: -1\n36: 0\n37: false\n38: -1\n39: 0\n40: 0\n41: -1\n42: false\n43: true\n44: 0\n45: true\n46: 0\n47: 0\n48: 0\n49: 0\n50: 0\n51: false\n52: Coll(16,28,4,0,4,2,4,0,4,2,1,0,1,0,4,0,4,1,1,0,4,2,1,0,4,0,4,2,4,0,5,2,4,2,4,4,4,4,5,0,4,0,4,0,4,0,4,0,4,0,4,0,1,0,1,0,1,1,-40,9,-42,1,-58,-89,7,17,-42,2,-58,-89,8,12,60,14,14,-42,3,-106,-125,6,1,-26,-58,-89,4,12,60,14,17,-26,-58,-89,5,12,60,14,14,-26,-58,-89)\n53: true",
      "ergoTreeScript": "{\n  val coll1 = SELF.propositionBytes\n  val coll2 = INPUTS.filter({(box2: Box) => box2.propositionBytes == coll1 })\n  val i3 = coll2.size\n  val box4 = INPUTS(placeholder[Int](0))\n  val coll5 = placeholder[Coll[Byte]](1)\n  if (!if ((i3 > placeholder[Int](2)) && (coll2(placeholder[Int](3)).id == SELF.id)) { placeholder[Boolean](4) } else {\n    if (i3 == placeholder[Int](5)) { placeholder[Boolean](6) } else { placeholder[Boolean](7) }\n  }) { sigmaProp({(bool6: Boolean) => if (bool6) {(\n          val coll8 = INPUTS(placeholder[Int](8)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val coll9 = box4.R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val l10 = coll2.fold(placeholder[Long](9), {(tuple10: (Long, Box)) => tuple10._1 + tuple10._2.value }) - coll9.filter({(tuple10: (Coll[Byte], Coll[Long])) =>\n              val coll12 = tuple10._2\n              coll12(placeholder[Int](10)) < coll12(placeholder[Int](11))\n            }).fold(placeholder[Long](12), {(tuple10: (Long, (Coll[Byte], Coll[Long]))) => tuple10._1 + tuple10._2._2(placeholder[Int](13)) })\n          val coll11 = box4.R6[Coll[(Coll[Byte], Int)]].get.map({(tuple11: (Coll[Byte], Int)) =>\n              val l13 = tuple11._2.toLong * l10 / placeholder[Long](14)\n              (tuple11._1, l13 - l13 % placeholder[Long](15))\n            })\n          val coll12 = OUTPUTS.map({(box12: Box) => box12.propositionBytes })\n          val coll13 = OUTPUTS.map({(box13: Box) => box13.value })\n          val l14 = coll8.filter({(tuple14: (Coll[Byte], Coll[Long])) =>\n              val coll16 = tuple14._2\n              coll16(placeholder[Int](16)) < coll16(placeholder[Int](17))\n            }).fold(placeholder[Long](18), {(tuple14: (Long, (Coll[Byte], Coll[Long]))) => tuple14._1 + tuple14._2._2(placeholder[Int](19)) })\n          ((coll8.forall({(tuple15: (Coll[Byte], Coll[Long])) =>\n                  val coll17 = tuple15._1\n                  val i18 = coll9.map({(tuple18: (Coll[Byte], Coll[Long])) => tuple18._1 }).indexOf(coll17, placeholder[Int](20))\n                  val coll19 = tuple15._2\n                  val l20 = {(l20: Long) =>\n                    val l22 = coll11.fold(l10, {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 - tuple22._2._2 }) - placeholder[Long](21) * coll8.size.toLong * l20 / coll8.fold(placeholder[Long](22), {(tuple22: (Long, (Coll[Byte], Coll[Long]))) => tuple22._1 + tuple22._2._2(placeholder[Int](23)) })\n                    l22 - l22 % placeholder[Long](24)\n                  }(coll19(placeholder[Int](25)))\n                  val l21 = coll19(placeholder[Int](26))\n                  val i22 = coll12.indexOf(coll17, placeholder[Int](27))\n                  val l23 = coll19(placeholder[Int](28))\n                  if (i18 != placeholder[Int](29)) {(\n                    val l24 = coll9.map({(tuple24: (Coll[Byte], Coll[Long])) => tuple24._2 })(i18)(placeholder[Int](30)) + l20\n                    if (l24 >= l21) { if (i22 != placeholder[Int](31)) { (coll13(i22) == l24) && (l23 == placeholder[Long](32)) } else { placeholder[Boolean](33) } } else { (i22 == placeholder[Int](34)) && (l23 == l24) }\n                  )} else { if (l20 >= l21) { if (i22 != placeholder[Int](35)) { (coll13(i22) == l20) && (l23 == placeholder[Long](36)) } else { placeholder[Boolean](37) } } else { (i22 == placeholder[Int](38)) && (l23 == l20) } }\n                }) && coll11.forall({(tuple15: (Coll[Byte], Long)) =>\n                  val l17 = tuple15._2\n                  if (l17 > placeholder[Long](39)) {(\n                    val i18 = coll12.indexOf(tuple15._1, placeholder[Int](40))\n                    if (i18 != placeholder[Int](41)) { OUTPUTS(i18).value == l17 } else { placeholder[Boolean](42) }\n                  )} else { placeholder[Boolean](43) }\n                })) && if (l14 > placeholder[Long](44)) { OUTPUTS.exists({(box15: Box) => (box15.value == l14) && (box15.propositionBytes == coll1) }) } else { placeholder[Boolean](45) }) && if (box4.R7[Coll[Long]].get(placeholder[Int](46)) != placeholder[Long](47)) { box4.tokens(placeholder[Int](48))._1 == coll5 } else {(\n            val coll15 = box4.tokens\n            if (coll15.size > placeholder[Int](49)) { coll15(placeholder[Int](50))._1 == coll5 } else { box4.id == coll5 }\n          )}\n        )} else { placeholder[Boolean](51) } }(box4.propositionBytes == placeholder[Coll[Byte]](52))) } else { sigmaProp(placeholder[Boolean](53)) }\n}",
      "address": "3pyaMZRJbtRcrho2Dnde59dgo6mbNVv54wCHz1AVevssnztHgKEA8Xrz8TSBiuE4jK39UW68KEM24pBEz49U84MUHbHMvh8eDJeBCpd5C45u9k3ngggNx2DavrVLnhpKmi6yw9RQZpCRSV3BzyHY3RCbSG6tgMAShTbGnWfbbMPsFkTmG4D7qoxqeDfaqg2Ge2DErMMeS7Hq8EtnU6SxLNqFPvuzAH2AiLcAVVgNBd5pNNvDmEuCqjnnASWoame3La4cToxNpph5fUtpbVfjNCVdWaZP3ShLUZcoZvkYg4ngGVH9jLpTYSUTPvtURKRoTsmGPCtf4kDcbz1U7H7c1niYPztcxUkUPtSTsRddQ6nSUYpMev4YgkYAUd7XteETqw6UqJWEcRpiXacypFggHEKWkpWjNG6U8vmjqrdj8L6zxp8Ryi39vVSc8vPMSsXeqSLiogG8SdvFcp1AFe6eQt4htjcikWt1bgfDNdZ8XkLonKXs9E35CzykN2EpBqcDYKiEMAMPQjFT326cdWMg6bwmuZeaz6yzY1H3iH3vfyph6uGBcVVszFUmL9YrGtv7b1Kdrwe9idYaBcz22YPx6PFN4Pv3ts9Ss5s74M9xSPWYPynf6GV5zoEzihuHE6ty64YX4XmuAWEC2k2T83vnkFXbiSMEMC5q9294DEu1V6vosHyKVpSnvYiHzPKtk7eP7S1CGUCeJeNGAikKLdf2sH7UVd23TGb9YGaRCGTotzdUBD3mwGTd12g8dF9whGkwvNNJdZcLVNqwbnVyaKacJFwmGbT3dS9Lp7WS6wUJpoUocFW1CmE8Z31yrJtbEuAejuWMG4YFHpjPjm9y6rZ9ZERevdSQRCwdjshv9VR4WqwLrzfRNAjePedUUJ9K6Dhwn71wtCm9U9LcTzKt9htCUdXzYiG8GLEbST7K6CzVMuhfgo8qDxCz7V6esN3m3muYwx3EtngwoXCPsyWaYToLRZvMPqRxBryZdz11jvtPvVCpnuk8hTnp2yJSLSRPEyoaKUyiEu4qB31B5V9qpGs2MVPovTpRAVLcipxhsSRdMXYvXuat1FaPUthRQyKtbxiHg9aXJivvQAvCPgNLZrHuHudUiwGSvaDWgdPJ4KzYK5DyiD2ENZX2NyWU1ZWCu4vMTJudSKYHefVSu3yXeLR8TsLP6k2ackrM4wYBTLkiZQyxTeKCFzMyPSShgPxjM3EFeXC5vyNqfHDgogHPrGJp8tPdGkS6hTdV2CAJj4SDkzWTsgwrTiY6uHunR3DSg8Yvh4BPtq9hTGtpQuak5vv1h1x6Yma6JtyVBdyqHnj4aACFt4bYxJGKMmekJA7Lmx8JgrgVoT6qvFNNpGGqAmuaVXBZp2rPAXiAmSHuoXNakEzb1XCqCyq2s55QhNDmPNCfQBB9CUWC5vZZZyA2CjaWxsJb2GDXPvCPgQRhBtqUzCu1EGjytPkbgkKjFQgfBqQZboYCVGWP3PxDj2QMsuFAHWdpFR9LBDNAnPRPYYCyHJ7PwRcg19WZxxMeGtsZaPV2hM3NDWsY2wH149JyXfb3jEM8S84oeADQQSuVZz1wzJrVGvWQJRCvzTVBrCpxv8c3emvA9kWZWCMYRExShPDpsDnCqo1TGdndtiY9NvPcxgGX8F6sWAkhg67D4hv94fW5VUQ7PtVdUyKaLA7o9q1GgNN41k7AgwRBGMMMJZA3hto5URSCgwj6wsv7rhBnbe9ze1TJc66EBsyeZUS58TXbtsT8cLAfHtZTyVzCsBxRhLJqsYr67ASdGvHwdSvEpf1xNwB9yKGEYZhU97YZUxV6aqaGHkUHr6iWpuQn3LCrEz5ZJMusj38YK8nkvQ78z3CJfTUAysty2RvTSBKr6U32hAX2vGthsiLxPgMPmc1sD6f72tjuq9NocCoLYf6vN2H74BTB8GXbQCQ7AbEVct8GryNdgG4HHkmRMUdbTCc2iKgZ2obicR3jfygHguaWUBvZVeZp64f2cTRihfdKhGMux1baUFXVdo",
      "assets": [],
      "additionalRegisters": {}
    },
    {
      "boxId": "7ff5d616ba608a9dab7b80b4ea933828a2c04d80d5ffdb92df8daf1b1d004b54",
      "value": 2571000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "bb2e077ee73d56b8fea8ac7f237038820bf50733e39eca4eced1f716d4dde382",
      "outputTransactionId": "d544f06c9fd56227839fbfa9a51143d0227e1de669e40f77e527202b4a547235",
      "outputIndex": 5,
      "outputGlobalIndex": 14303269,
      "outputCreatedAt": 706888,
      "outputSettledAt": 706891,
      "ergoTree": "103604000e20c6b75f607ff08d76ae1acb78564e5b928ccd96b8b4dbcad161d6206db7e608c004020400010104020101010004020500040404020500040405d00f0580897a040404020500040404000580897a050004000580897a0400040204000404040104040401050001000401040105000100040105000400040101000101050001010400050004000400040001000ec204101c0400040204000402010001000400040101000402010004000402040005020402040404040500040004000400040004000400010001000101d809d601c6a70711d602c6a7080c3c0e0ed60396830601e6c6a7040c3c0e11e6c6a7050c3c0e0ee6c6a7060c4c0ee67201e6720293b2a4730000a7d604b2a4730100d605c67204050c3c0e0ed606c67204040c3c0e11d607b2a5730200d608c672070711d609db63087207957203d195ed9595957203aee47202d9010a3c0e0e938c720a01c2b2a4730300730496830501e6c67204040c3c0e11e6c67204050c3c0e0ee6c67204060c4c0ee6c672040711e6c67204080c3c0e0e7305afe47205d9010a3c0e0e94dc0c1aade47206d9010c3c0e118c720c01028c720a01730673077308959593c27207c2a796830701e6c67207040c3c0e11e6c67207050c3c0e0ee6c67207060c4c0ee6c672070711e6c67207080c3c0e0e93c17207c1a793b1db630872077309730ad804d60ae47208d60be47201d60cb2720b730b00d60db2720a730c00ededed93b2720a730d009a720c730eed90720d7ea30591720db2720b730f0093b2720a731000b2720b7311009594720c7312938cb2db6308a7731300018cb2720973140001d801d60edb6308a79591b1720e7315938cb2720e731600018cb2720973170001938cb2720973180001c5a773199683050193e4c67207040c3c0e11e4720693e4c67207050c3c0e0ee4720593e4c67207060c4c0ee4c67204060c4c0e93e47208e4c67204071193e4c67207080c3c0e0ee4c67204080c3c0e0e731ad1731b0101d805d601c2a7d602b5a4d901026393c272027201d603b17202d604b2a4730000d605730195ef95ed917203730293c5b27202730300c5a7730495937203730573067307d1dad9010601957206d807d608e4c6b2a4730800040c3c0e11d609e4c67204040c3c0e11d60a99b072027309d9010a41639a8c720a01c18c720a02b0b57209d9010a3c0e11d801d60c8c720a028fb2720c730a00b2720c730b00730cd9010a413c0e119a8c720a01b28c8c720a0202730d00d60bade4c67204060c4c0ed9010b4c0ed801d60d9d9c7e8c720b0205720a730e86028c720b0199720d9e720d730fd60cada5d9010c63c2720cd60dada5d9010d63c1720dd60eb0b57208d9010e3c0e11d801d6108c720e028fb27210731000b272107311007312d9010e413c0e119a8c720e01b28c8c720e0202731300edededaf7208d9010f3c0e11d807d6118c720f01d612dc0c1aad7209d901123c0e118c7212010272117314d6138c720f02d614dad9011405d801d6169d9c99b0720b720ad90116414d0e998c7216018c8c721602029c73157eb17208057214b072087316d90116413c0e119a8c721601b28c8c721602027317009972169e7216731801b27213731900d615b27213731a00d616dc0c1a720c027211731bd617b27213731c0095947212731dd801d6189ab2b2ad7209d901183c0e118c721802721200731e00721495927218721595947216731fed93b2720d721600721893721773207321ed93721673229372177218959272147215959472167323ed93b2720d721600721493721773247325ed93721673269372177214af720bd9010f4d0ed801d6118c720f02959172117327d801d612dc0c1a720c028c720f01732895947212732993c1b2a57212007211732a732b9591720e732caea5d9010f63ed93c1720f720e93c2720f7201732d9594b2e4c672040711732e00732f938cb2db63087204733000017205d801d60fdb630872049591b1720f7331938cb2720f73320001720593c57204720573330193c272047334d17335",
      "ergoTreeConstants": "0: 0\n1: Coll(-58,-73,95,96,127,-16,-115,118,-82,26,-53,120,86,78,91,-110,-116,-51,-106,-72,-76,-37,-54,-47,97,-42,32,109,-73,-26,8,-64)\n2: 1\n3: 0\n4: true\n5: 1\n6: true\n7: false\n8: 1\n9: 0\n10: 2\n11: 1\n12: 0\n13: 2\n14: 1000\n15: 1000000\n16: 2\n17: 1\n18: 0\n19: 2\n20: 0\n21: 1000000\n22: 0\n23: 0\n24: 1000000\n25: 0\n26: 1\n27: 0\n28: 2\n29: -1\n30: 2\n31: -1\n32: 0\n33: false\n34: -1\n35: -1\n36: 0\n37: false\n38: -1\n39: 0\n40: 0\n41: -1\n42: false\n43: true\n44: 0\n45: true\n46: 0\n47: 0\n48: 0\n49: 0\n50: 0\n51: false\n52: Coll(16,28,4,0,4,2,4,0,4,2,1,0,1,0,4,0,4,1,1,0,4,2,1,0,4,0,4,2,4,0,5,2,4,2,4,4,4,4,5,0,4,0,4,0,4,0,4,0,4,0,4,0,1,0,1,0,1,1,-40,9,-42,1,-58,-89,7,17,-42,2,-58,-89,8,12,60,14,14,-42,3,-106,-125,6,1,-26,-58,-89,4,12,60,14,17,-26,-58,-89,5,12,60,14,14,-26,-58,-89)\n53: true",
      "ergoTreeScript": "{\n  val coll1 = SELF.propositionBytes\n  val coll2 = INPUTS.filter({(box2: Box) => box2.propositionBytes == coll1 })\n  val i3 = coll2.size\n  val box4 = INPUTS(placeholder[Int](0))\n  val coll5 = placeholder[Coll[Byte]](1)\n  if (!if ((i3 > placeholder[Int](2)) && (coll2(placeholder[Int](3)).id == SELF.id)) { placeholder[Boolean](4) } else {\n    if (i3 == placeholder[Int](5)) { placeholder[Boolean](6) } else { placeholder[Boolean](7) }\n  }) { sigmaProp({(bool6: Boolean) => if (bool6) {(\n          val coll8 = INPUTS(placeholder[Int](8)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val coll9 = box4.R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val l10 = coll2.fold(placeholder[Long](9), {(tuple10: (Long, Box)) => tuple10._1 + tuple10._2.value }) - coll9.filter({(tuple10: (Coll[Byte], Coll[Long])) =>\n              val coll12 = tuple10._2\n              coll12(placeholder[Int](10)) < coll12(placeholder[Int](11))\n            }).fold(placeholder[Long](12), {(tuple10: (Long, (Coll[Byte], Coll[Long]))) => tuple10._1 + tuple10._2._2(placeholder[Int](13)) })\n          val coll11 = box4.R6[Coll[(Coll[Byte], Int)]].get.map({(tuple11: (Coll[Byte], Int)) =>\n              val l13 = tuple11._2.toLong * l10 / placeholder[Long](14)\n              (tuple11._1, l13 - l13 % placeholder[Long](15))\n            })\n          val coll12 = OUTPUTS.map({(box12: Box) => box12.propositionBytes })\n          val coll13 = OUTPUTS.map({(box13: Box) => box13.value })\n          val l14 = coll8.filter({(tuple14: (Coll[Byte], Coll[Long])) =>\n              val coll16 = tuple14._2\n              coll16(placeholder[Int](16)) < coll16(placeholder[Int](17))\n            }).fold(placeholder[Long](18), {(tuple14: (Long, (Coll[Byte], Coll[Long]))) => tuple14._1 + tuple14._2._2(placeholder[Int](19)) })\n          ((coll8.forall({(tuple15: (Coll[Byte], Coll[Long])) =>\n                  val coll17 = tuple15._1\n                  val i18 = coll9.map({(tuple18: (Coll[Byte], Coll[Long])) => tuple18._1 }).indexOf(coll17, placeholder[Int](20))\n                  val coll19 = tuple15._2\n                  val l20 = {(l20: Long) =>\n                    val l22 = coll11.fold(l10, {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 - tuple22._2._2 }) - placeholder[Long](21) * coll8.size.toLong * l20 / coll8.fold(placeholder[Long](22), {(tuple22: (Long, (Coll[Byte], Coll[Long]))) => tuple22._1 + tuple22._2._2(placeholder[Int](23)) })\n                    l22 - l22 % placeholder[Long](24)\n                  }(coll19(placeholder[Int](25)))\n                  val l21 = coll19(placeholder[Int](26))\n                  val i22 = coll12.indexOf(coll17, placeholder[Int](27))\n                  val l23 = coll19(placeholder[Int](28))\n                  if (i18 != placeholder[Int](29)) {(\n                    val l24 = coll9.map({(tuple24: (Coll[Byte], Coll[Long])) => tuple24._2 })(i18)(placeholder[Int](30)) + l20\n                    if (l24 >= l21) { if (i22 != placeholder[Int](31)) { (coll13(i22) == l24) && (l23 == placeholder[Long](32)) } else { placeholder[Boolean](33) } } else { (i22 == placeholder[Int](34)) && (l23 == l24) }\n                  )} else { if (l20 >= l21) { if (i22 != placeholder[Int](35)) { (coll13(i22) == l20) && (l23 == placeholder[Long](36)) } else { placeholder[Boolean](37) } } else { (i22 == placeholder[Int](38)) && (l23 == l20) } }\n                }) && coll11.forall({(tuple15: (Coll[Byte], Long)) =>\n                  val l17 = tuple15._2\n                  if (l17 > placeholder[Long](39)) {(\n                    val i18 = coll12.indexOf(tuple15._1, placeholder[Int](40))\n                    if (i18 != placeholder[Int](41)) { OUTPUTS(i18).value == l17 } else { placeholder[Boolean](42) }\n                  )} else { placeholder[Boolean](43) }\n                })) && if (l14 > placeholder[Long](44)) { OUTPUTS.exists({(box15: Box) => (box15.value == l14) && (box15.propositionBytes == coll1) }) } else { placeholder[Boolean](45) }) && if (box4.R7[Coll[Long]].get(placeholder[Int](46)) != placeholder[Long](47)) { box4.tokens(placeholder[Int](48))._1 == coll5 } else {(\n            val coll15 = box4.tokens\n            if (coll15.size > placeholder[Int](49)) { coll15(placeholder[Int](50))._1 == coll5 } else { box4.id == coll5 }\n          )}\n        )} else { placeholder[Boolean](51) } }(box4.propositionBytes == placeholder[Coll[Byte]](52))) } else { sigmaProp(placeholder[Boolean](53)) }\n}",
      "address": "3pyaMZRJbtRcrho2Dnde59dgo6mbNVv54wCHz1AVevssnztHgKEA8Xrz8TSBiuE4jK39UW68KEM24pBEz49U84MUHbHMvh8eDJeBCpd5C45u9k3ngggNx2DavrVLnhpKmi6yw9RQZpCRSV3BzyHY3RCbSG6tgMAShTbGnWfbbMPsFkTmG4D7qoxqeDfaqg2Ge2DErMMeS7Hq8EtnU6SxLNqFPvuzAH2AiLcAVVgNBd5pNNvDmEuCqjnnASWoame3La4cToxNpph5fUtpbVfjNCVdWaZP3ShLUZcoZvkYg4ngGVH9jLpTYSUTPvtURKRoTsmGPCtf4kDcbz1U7H7c1niYPztcxUkUPtSTsRddQ6nSUYpMev4YgkYAUd7XteETqw6UqJWEcRpiXacypFggHEKWkpWjNG6U8vmjqrdj8L6zxp8Ryi39vVSc8vPMSsXeqSLiogG8SdvFcp1AFe6eQt4htjcikWt1bgfDNdZ8XkLonKXs9E35CzykN2EpBqcDYKiEMAMPQjFT326cdWMg6bwmuZeaz6yzY1H3iH3vfyph6uGBcVVszFUmL9YrGtv7b1Kdrwe9idYaBcz22YPx6PFN4Pv3ts9Ss5s74M9xSPWYPynf6GV5zoEzihuHE6ty64YX4XmuAWEC2k2T83vnkFXbiSMEMC5q9294DEu1V6vosHyKVpSnvYiHzPKtk7eP7S1CGUCeJeNGAikKLdf2sH7UVd23TGb9YGaRCGTotzdUBD3mwGTd12g8dF9whGkwvNNJdZcLVNqwbnVyaKacJFwmGbT3dS9Lp7WS6wUJpoUocFW1CmE8Z31yrJtbEuAejuWMG4YFHpjPjm9y6rZ9ZERevdSQRCwdjshv9VR4WqwLrzfRNAjePedUUJ9K6Dhwn71wtCm9U9LcTzKt9htCUdXzYiG8GLEbST7K6CzVMuhfgo8qDxCz7V6esN3m3muYwx3EtngwoXCPsyWaYToLRZvMPqRxBryZdz11jvtPvVCpnuk8hTnp2yJSLSRPEyoaKUyiEu4qB31B5V9qpGs2MVPovTpRAVLcipxhsSRdMXYvXuat1FaPUthRQyKtbxiHg9aXJivvQAvCPgNLZrHuHudUiwGSvaDWgdPJ4KzYK5DyiD2ENZX2NyWU1ZWCu4vMTJudSKYHefVSu3yXeLR8TsLP6k2ackrM4wYBTLkiZQyxTeKCFzMyPSShgPxjM3EFeXC5vyNqfHDgogHPrGJp8tPdGkS6hTdV2CAJj4SDkzWTsgwrTiY6uHunR3DSg8Yvh4BPtq9hTGtpQuak5vv1h1x6Yma6JtyVBdyqHnj4aACFt4bYxJGKMmekJA7Lmx8JgrgVoT6qvFNNpGGqAmuaVXBZp2rPAXiAmSHuoXNakEzb1XCqCyq2s55QhNDmPNCfQBB9CUWC5vZZZyA2CjaWxsJb2GDXPvCPgQRhBtqUzCu1EGjytPkbgkKjFQgfBqQZboYCVGWP3PxDj2QMsuFAHWdpFR9LBDNAnPRPYYCyHJ7PwRcg19WZxxMeGtsZaPV2hM3NDWsY2wH149JyXfb3jEM8S84oeADQQSuVZz1wzJrVGvWQJRCvzTVBrCpxv8c3emvA9kWZWCMYRExShPDpsDnCqo1TGdndtiY9NvPcxgGX8F6sWAkhg67D4hv94fW5VUQ7PtVdUyKaLA7o9q1GgNN41k7AgwRBGMMMJZA3hto5URSCgwj6wsv7rhBnbe9ze1TJc66EBsyeZUS58TXbtsT8cLAfHtZTyVzCsBxRhLJqsYr67ASdGvHwdSvEpf1xNwB9yKGEYZhU97YZUxV6aqaGHkUHr6iWpuQn3LCrEz5ZJMusj38YK8nkvQ78z3CJfTUAysty2RvTSBKr6U32hAX2vGthsiLxPgMPmc1sD6f72tjuq9NocCoLYf6vN2H74BTB8GXbQCQ7AbEVct8GryNdgG4HHkmRMUdbTCc2iKgZ2obicR3jfygHguaWUBvZVeZp64f2cTRihfdKhGMux1baUFXVdo",
      "assets": [],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "9fce95cc5a052b75991230d2c4a3a641af95446e7655e04c30a7254d82835c1d",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 10000000,
      "index": 0,
      "globalIndex": 14304651,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "101c0400040204000402010001000400040101000402010004000402040005020402040404040500040004000400040004000400010001000101d809d601c6a70711d602c6a7080c3c0e0ed60396830601e6c6a7040c3c0e11e6c6a7050c3c0e0ee6c6a7060c4c0ee67201e6720293b2a4730000a7d604b2a4730100d605c67204050c3c0e0ed606c67204040c3c0e11d607b2a5730200d608c672070711d609db63087207957203d195ed9595957203aee47202d9010a3c0e0e938c720a01c2b2a4730300730496830501e6c67204040c3c0e11e6c67204050c3c0e0ee6c67204060c4c0ee6c672040711e6c67204080c3c0e0e7305afe47205d9010a3c0e0e94dc0c1aade47206d9010c3c0e118c720c01028c720a01730673077308959593c27207c2a796830701e6c67207040c3c0e11e6c67207050c3c0e0ee6c67207060c4c0ee6c672070711e6c67207080c3c0e0e93c17207c1a793b1db630872077309730ad804d60ae47208d60be47201d60cb2720b730b00d60db2720a730c00ededed93b2720a730d009a720c730eed90720d7ea30591720db2720b730f0093b2720a731000b2720b7311009594720c7312938cb2db6308a7731300018cb2720973140001d801d60edb6308a79591b1720e7315938cb2720e731600018cb2720973170001938cb2720973180001c5a773199683050193e4c67207040c3c0e11e4720693e4c67207050c3c0e0ee4720593e4c67207060c4c0ee4c67204060c4c0e93e47208e4c67204071193e4c67207080c3c0e0ee4c67204080c3c0e0e731ad1731b",
      "ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 1\n4: false\n5: false\n6: 0\n7: -1\n8: false\n9: 1\n10: false\n11: 0\n12: 1\n13: 0\n14: 1\n15: 1\n16: 2\n17: 2\n18: 0\n19: 0\n20: 0\n21: 0\n22: 0\n23: 0\n24: 0\n25: false\n26: false\n27: true",
      "ergoTreeScript": "{\n  val opt1 = SELF.R7[Coll[Long]]\n  val opt2 = SELF.R8[Coll[(Coll[Byte], Coll[Byte])]]\n  val bool3 = allOf(\n    Coll[Boolean](\n      SELF.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, SELF.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, SELF.R6[\n        Coll[(Coll[Byte], Int)]\n      ].isDefined, opt1.isDefined, opt2.isDefined, INPUTS(placeholder[Int](0)) == SELF\n    )\n  )\n  val box4 = INPUTS(placeholder[Int](1))\n  val opt5 = box4.R5[Coll[(Coll[Byte], Coll[Byte])]]\n  val opt6 = box4.R4[Coll[(Coll[Byte], Coll[Long])]]\n  val box7 = OUTPUTS(placeholder[Int](2))\n  val opt8 = box7.R7[Coll[Long]]\n  val coll9 = box7.tokens\n  if (bool3) {\n    sigmaProp(\n      if (if (if (if (bool3) { opt2.get.exists({(tuple10: (Coll[Byte], Coll[Byte])) => tuple10._1 == INPUTS(placeholder[Int](3)).propositionBytes }) } else {\n        placeholder[Boolean](4)\n      }) {\n        allOf(\n          Coll[Boolean](\n            box4.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box4.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, box4.R6[\n              Coll[(Coll[Byte], Int)]\n            ].isDefined, box4.R7[Coll[Long]].isDefined, box4.R8[Coll[(Coll[Byte], Coll[Byte])]].isDefined\n          )\n        )\n      } else { placeholder[Boolean](5) }) {\n        opt5.get.forall(\n          {(tuple10: (Coll[Byte], Coll[Byte])) =>\n            opt6.get.map({(tuple12: (Coll[Byte], Coll[Long])) => tuple12._1 }).indexOf(tuple10._1, placeholder[Int](6)) != placeholder[Int](7)\n          }\n        )\n      } else { placeholder[Boolean](8) } && if (if (box7.propositionBytes == SELF.propositionBytes) {\n        allOf(\n          Coll[Boolean](\n            box7.R4[Coll[(Coll[Byte], Coll[Long])]].isDefined, box7.R5[Coll[(Coll[Byte], Coll[Byte])]].isDefined, box7.R6[\n              Coll[(Coll[Byte], Int)]\n            ].isDefined, box7.R7[Coll[Long]].isDefined, box7.R8[\n              Coll[(Coll[Byte], Coll[Byte])]\n            ].isDefined, box7.value == SELF.value, box7.tokens.size == placeholder[Int](9)\n          )\n        )\n      } else { placeholder[Boolean](10) }) {(\n        val coll10 = opt8.get\n        val coll11 = opt1.get\n        val l12 = coll11(placeholder[Int](11))\n        val l13 = coll10(placeholder[Int](12))\n        (\n          ((coll10(placeholder[Int](13)) == l12 + placeholder[Long](14)) && ((l13 <= HEIGHT.toLong) && (l13 > coll11(placeholder[Int](15))))) && (\n            coll10(placeholder[Int](16)) == coll11(placeholder[Int](17))\n          )\n        ) && if (l12 != placeholder[Long](18)) { SELF.tokens(placeholder[Int](19))._1 == coll9(placeholder[Int](20))._1 } else {(\n          val coll14 = SELF.tokens\n          if (coll14.size > placeholder[Int](21)) { coll14(placeholder[Int](22))._1 == coll9(placeholder[Int](23))._1 } else {\n            coll9(placeholder[Int](24))._1 == SELF.id\n          }\n        )}\n      )} else { placeholder[Boolean](25) }) {\n        allOf(\n          Coll[Boolean](\n            box7.R4[Coll[(Coll[Byte], Coll[Long])]].get == opt6.get, box7.R5[Coll[(Coll[Byte], Coll[Byte])]].get == opt5.get, box7.R6[\n              Coll[(Coll[Byte], Int)]\n            ].get == box4.R6[Coll[(Coll[Byte], Int)]].get, opt8.get == box4.R7[Coll[Long]].get, box7.R8[Coll[(Coll[Byte], Coll[Byte])]].get == box4.R8[\n              Coll[(Coll[Byte], Coll[Byte])]\n            ].get\n          )\n        )\n      } else { placeholder[Boolean](26) }\n    )\n  } else { sigmaProp(placeholder[Boolean](27)) }\n}",
      "address": "2SAtmk4vkfVShkmuAuPUTBqRPS6XEEg62PMgwVUWt11QiJsxDSFSd6wJZZ6iQXEHZAW8PHfTosADdNwyUgGTLK6eUjSMz32zUVDPgi6G51H7Ux1fgk3DKoQv7qASaxb5cPc9uQ5ecuQLbv62Suv9dBstqoFAmtmZQP9AGBVevmPybtVnpAa4gYvLPTJYh5BeQAuo95RjDm2rdmuCXAGGJTguHzh2PtDsGyBZ1tgCPRCQe9bjcBoNBgNZV4wucbY5gRuQZzi6EWCRPaH73EBXsuhSr4bGtqJopC62xwSicuEay6597WS9UQc3GtC55uWwzgxXGtazwmxRhUcMCiuKm9NWjk9BDffnGd6s2tsxBaeFwTBxbsqGDvyiVwZqzAJEbc2ZP99fbaumFkpfE39WVY2fCGHDU6wqBESfVk8RuPPu5SvkUDkLgu6DfK2AGa4udgaLMqvAZq1z3QyNbAmGak6xPY31vTay8T14YT7XTcDdeA98NDsuKTZ93LwRninScCPATCXNVYyKHd2hWTPNDMySFqckcmMsxWFTkhejkC4c3Gc8gvzHQ4YakUhLVPdLC22Nhv1LYUJKiaSF1oS13t1NqqtwWFdnB2WDcsAnbxRtKU8fEexp2Q1QRB8fhKs4dqdqczqqN4T53t7P94JdhRGULnHxg1FEDjD4iqg4wfrQqw3768kJmL9p6sp414S6rxE6XRt5WQMz6ExkTWTrcuL3qfekt2optir8UpZWHFcd7UF79rSWfiD8WPUrwJZRbvLiwzYQr3okNK7BY9W54fARWWMF",
      "assets": [
        {
          "tokenId": "c6b75f607ff08d76ae1acb78564e5b928ccd96b8b4dbcad161d6206db7e608c0",
          "index": 0,
          "amount": 1,
          "name": "GetBlok.io SmartPool Display Token",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c3c0e0e02240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e713339686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746033396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,39686b6a504a454e656e48674e56454c76476e31726765324b51646751377264426837727752633737724c6a456a696154334c],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,396631326551676d5a7442427577504d467538797a7277573348564b584c366b4358793768646b6a423364313135396252677a]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3],[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3],[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "11049006c2a556aaf9502a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[392,706913,663125,21]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e7104be478084af5f8093a23800240008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d746004ecfa0380c8afa02580c2a6a71600",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd03aa20cabc3cd7ddfe9857cf2e9ef900a18a2889918610ed37f28c466fa3f42e71,[4575,100000000,59000000,0]],[0008cd023f81165884c658936a8349ef17ca5f5d2a9cfbede686b1d329236391028d7460,[32438,5000000000,2994000000,0]]]"
        }
      },
      "spentTransactionId": "1a45ff5c5980655634edc06617b6da000ae1ccc40e506b294a2ef2a2427229c3",
      "mainChain": true
    },
    {
      "boxId": "53b40600dc398893388c2c0a8fcbaf27e048eca3556f3c3a3c295bdbecbd7095",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 1000000,
      "index": 1,
      "globalIndex": 14304652,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6dd353,878180,...)))}",
      "address": "9fMRrpBjXJPCCyKo1fPyi7QGJY6jW1wLMaKXnsMBakobJNY4aW2",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "742fb6846737ec0b35111e813240adadc747b47ae922ffb92bc84241032492ca",
      "mainChain": true
    },
    {
      "boxId": "2a84b015ee27d77b0c521ec25ff55b564b782076a0b10e5c741318c94cae7bcf",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 1000000,
      "index": 2,
      "globalIndex": 14304653,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87352c,619230,...)))}",
      "address": "9fYcDQQ1pduG13GcmrLfLj2Khfge6DeTARVGhy58aXEqmhuft2C",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "7b4c01afd866186d7a43f70b8b0a12ea5478847b3fbf41b12d67f27615232a78",
      "mainChain": true
    },
    {
      "boxId": "43beb96225bdee74e9842862127762ec9a1dcd6d012455131a3b05b7ab1f71fb",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 1000000,
      "index": 3,
      "globalIndex": 14304654,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6d9d81,e53882,...)))}",
      "address": "9fMLVMsG8U1PHqHZ8JDQ4Yn6q5wPdruVn2ctwqaqCXVLfWxfc3Q",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "fb228db8bc85c3ebab80b29d9d63481974da43eaa125632dcf7dc8ab6a8e6a57",
      "mainChain": true
    },
    {
      "boxId": "3dbacb942ca48032f7e66cfb8feef769f40342dd1568bc3f1c7f62efcae471bc",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 3053000000,
      "index": 4,
      "globalIndex": 14304655,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "103604000e20c6b75f607ff08d76ae1acb78564e5b928ccd96b8b4dbcad161d6206db7e608c004020400010104020101010004020500040404020500040405d00f0580897a040404020500040404000580897a050004000580897a0400040204000404040104040401050001000401040105000100040105000400040101000101050001010400050004000400040001000ec204101c0400040204000402010001000400040101000402010004000402040005020402040404040500040004000400040004000400010001000101d809d601c6a70711d602c6a7080c3c0e0ed60396830601e6c6a7040c3c0e11e6c6a7050c3c0e0ee6c6a7060c4c0ee67201e6720293b2a4730000a7d604b2a4730100d605c67204050c3c0e0ed606c67204040c3c0e11d607b2a5730200d608c672070711d609db63087207957203d195ed9595957203aee47202d9010a3c0e0e938c720a01c2b2a4730300730496830501e6c67204040c3c0e11e6c67204050c3c0e0ee6c67204060c4c0ee6c672040711e6c67204080c3c0e0e7305afe47205d9010a3c0e0e94dc0c1aade47206d9010c3c0e118c720c01028c720a01730673077308959593c27207c2a796830701e6c67207040c3c0e11e6c67207050c3c0e0ee6c67207060c4c0ee6c672070711e6c67207080c3c0e0e93c17207c1a793b1db630872077309730ad804d60ae47208d60be47201d60cb2720b730b00d60db2720a730c00ededed93b2720a730d009a720c730eed90720d7ea30591720db2720b730f0093b2720a731000b2720b7311009594720c7312938cb2db6308a7731300018cb2720973140001d801d60edb6308a79591b1720e7315938cb2720e731600018cb2720973170001938cb2720973180001c5a773199683050193e4c67207040c3c0e11e4720693e4c67207050c3c0e0ee4720593e4c67207060c4c0ee4c67204060c4c0e93e47208e4c67204071193e4c67207080c3c0e0ee4c67204080c3c0e0e731ad1731b0101d805d601c2a7d602b5a4d901026393c272027201d603b17202d604b2a4730000d605730195ef95ed917203730293c5b27202730300c5a7730495937203730573067307d1dad9010601957206d807d608e4c6b2a4730800040c3c0e11d609e4c67204040c3c0e11d60a99b072027309d9010a41639a8c720a01c18c720a02b0b57209d9010a3c0e11d801d60c8c720a028fb2720c730a00b2720c730b00730cd9010a413c0e119a8c720a01b28c8c720a0202730d00d60bade4c67204060c4c0ed9010b4c0ed801d60d9d9c7e8c720b0205720a730e86028c720b0199720d9e720d730fd60cada5d9010c63c2720cd60dada5d9010d63c1720dd60eb0b57208d9010e3c0e11d801d6108c720e028fb27210731000b272107311007312d9010e413c0e119a8c720e01b28c8c720e0202731300edededaf7208d9010f3c0e11d807d6118c720f01d612dc0c1aad7209d901123c0e118c7212010272117314d6138c720f02d614dad9011405d801d6169d9c99b0720b720ad90116414d0e998c7216018c8c721602029c73157eb17208057214b072087316d90116413c0e119a8c721601b28c8c721602027317009972169e7216731801b27213731900d615b27213731a00d616dc0c1a720c027211731bd617b27213731c0095947212731dd801d6189ab2b2ad7209d901183c0e118c721802721200731e00721495927218721595947216731fed93b2720d721600721893721773207321ed93721673229372177218959272147215959472167323ed93b2720d721600721493721773247325ed93721673269372177214af720bd9010f4d0ed801d6118c720f02959172117327d801d612dc0c1a720c028c720f01732895947212732993c1b2a57212007211732a732b9591720e732caea5d9010f63ed93c1720f720e93c2720f7201732d9594b2e4c672040711732e00732f938cb2db63087204733000017205d801d60fdb630872049591b1720f7331938cb2720f73320001720593c57204720573330193c272047334d17335",
      "ergoTreeConstants": "0: 0\n1: Coll(-58,-73,95,96,127,-16,-115,118,-82,26,-53,120,86,78,91,-110,-116,-51,-106,-72,-76,-37,-54,-47,97,-42,32,109,-73,-26,8,-64)\n2: 1\n3: 0\n4: true\n5: 1\n6: true\n7: false\n8: 1\n9: 0\n10: 2\n11: 1\n12: 0\n13: 2\n14: 1000\n15: 1000000\n16: 2\n17: 1\n18: 0\n19: 2\n20: 0\n21: 1000000\n22: 0\n23: 0\n24: 1000000\n25: 0\n26: 1\n27: 0\n28: 2\n29: -1\n30: 2\n31: -1\n32: 0\n33: false\n34: -1\n35: -1\n36: 0\n37: false\n38: -1\n39: 0\n40: 0\n41: -1\n42: false\n43: true\n44: 0\n45: true\n46: 0\n47: 0\n48: 0\n49: 0\n50: 0\n51: false\n52: Coll(16,28,4,0,4,2,4,0,4,2,1,0,1,0,4,0,4,1,1,0,4,2,1,0,4,0,4,2,4,0,5,2,4,2,4,4,4,4,5,0,4,0,4,0,4,0,4,0,4,0,4,0,1,0,1,0,1,1,-40,9,-42,1,-58,-89,7,17,-42,2,-58,-89,8,12,60,14,14,-42,3,-106,-125,6,1,-26,-58,-89,4,12,60,14,17,-26,-58,-89,5,12,60,14,14,-26,-58,-89)\n53: true",
      "ergoTreeScript": "{\n  val coll1 = SELF.propositionBytes\n  val coll2 = INPUTS.filter({(box2: Box) => box2.propositionBytes == coll1 })\n  val i3 = coll2.size\n  val box4 = INPUTS(placeholder[Int](0))\n  val coll5 = placeholder[Coll[Byte]](1)\n  if (!if ((i3 > placeholder[Int](2)) && (coll2(placeholder[Int](3)).id == SELF.id)) { placeholder[Boolean](4) } else {\n    if (i3 == placeholder[Int](5)) { placeholder[Boolean](6) } else { placeholder[Boolean](7) }\n  }) { sigmaProp({(bool6: Boolean) => if (bool6) {(\n          val coll8 = INPUTS(placeholder[Int](8)).R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val coll9 = box4.R4[Coll[(Coll[Byte], Coll[Long])]].get\n          val l10 = coll2.fold(placeholder[Long](9), {(tuple10: (Long, Box)) => tuple10._1 + tuple10._2.value }) - coll9.filter({(tuple10: (Coll[Byte], Coll[Long])) =>\n              val coll12 = tuple10._2\n              coll12(placeholder[Int](10)) < coll12(placeholder[Int](11))\n            }).fold(placeholder[Long](12), {(tuple10: (Long, (Coll[Byte], Coll[Long]))) => tuple10._1 + tuple10._2._2(placeholder[Int](13)) })\n          val coll11 = box4.R6[Coll[(Coll[Byte], Int)]].get.map({(tuple11: (Coll[Byte], Int)) =>\n              val l13 = tuple11._2.toLong * l10 / placeholder[Long](14)\n              (tuple11._1, l13 - l13 % placeholder[Long](15))\n            })\n          val coll12 = OUTPUTS.map({(box12: Box) => box12.propositionBytes })\n          val coll13 = OUTPUTS.map({(box13: Box) => box13.value })\n          val l14 = coll8.filter({(tuple14: (Coll[Byte], Coll[Long])) =>\n              val coll16 = tuple14._2\n              coll16(placeholder[Int](16)) < coll16(placeholder[Int](17))\n            }).fold(placeholder[Long](18), {(tuple14: (Long, (Coll[Byte], Coll[Long]))) => tuple14._1 + tuple14._2._2(placeholder[Int](19)) })\n          ((coll8.forall({(tuple15: (Coll[Byte], Coll[Long])) =>\n                  val coll17 = tuple15._1\n                  val i18 = coll9.map({(tuple18: (Coll[Byte], Coll[Long])) => tuple18._1 }).indexOf(coll17, placeholder[Int](20))\n                  val coll19 = tuple15._2\n                  val l20 = {(l20: Long) =>\n                    val l22 = coll11.fold(l10, {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 - tuple22._2._2 }) - placeholder[Long](21) * coll8.size.toLong * l20 / coll8.fold(placeholder[Long](22), {(tuple22: (Long, (Coll[Byte], Coll[Long]))) => tuple22._1 + tuple22._2._2(placeholder[Int](23)) })\n                    l22 - l22 % placeholder[Long](24)\n                  }(coll19(placeholder[Int](25)))\n                  val l21 = coll19(placeholder[Int](26))\n                  val i22 = coll12.indexOf(coll17, placeholder[Int](27))\n                  val l23 = coll19(placeholder[Int](28))\n                  if (i18 != placeholder[Int](29)) {(\n                    val l24 = coll9.map({(tuple24: (Coll[Byte], Coll[Long])) => tuple24._2 })(i18)(placeholder[Int](30)) + l20\n                    if (l24 >= l21) { if (i22 != placeholder[Int](31)) { (coll13(i22) == l24) && (l23 == placeholder[Long](32)) } else { placeholder[Boolean](33) } } else { (i22 == placeholder[Int](34)) && (l23 == l24) }\n                  )} else { if (l20 >= l21) { if (i22 != placeholder[Int](35)) { (coll13(i22) == l20) && (l23 == placeholder[Long](36)) } else { placeholder[Boolean](37) } } else { (i22 == placeholder[Int](38)) && (l23 == l20) } }\n                }) && coll11.forall({(tuple15: (Coll[Byte], Long)) =>\n                  val l17 = tuple15._2\n                  if (l17 > placeholder[Long](39)) {(\n                    val i18 = coll12.indexOf(tuple15._1, placeholder[Int](40))\n                    if (i18 != placeholder[Int](41)) { OUTPUTS(i18).value == l17 } else { placeholder[Boolean](42) }\n                  )} else { placeholder[Boolean](43) }\n                })) && if (l14 > placeholder[Long](44)) { OUTPUTS.exists({(box15: Box) => (box15.value == l14) && (box15.propositionBytes == coll1) }) } else { placeholder[Boolean](45) }) && if (box4.R7[Coll[Long]].get(placeholder[Int](46)) != placeholder[Long](47)) { box4.tokens(placeholder[Int](48))._1 == coll5 } else {(\n            val coll15 = box4.tokens\n            if (coll15.size > placeholder[Int](49)) { coll15(placeholder[Int](50))._1 == coll5 } else { box4.id == coll5 }\n          )}\n        )} else { placeholder[Boolean](51) } }(box4.propositionBytes == placeholder[Coll[Byte]](52))) } else { sigmaProp(placeholder[Boolean](53)) }\n}",
      "address": "3pyaMZRJbtRcrho2Dnde59dgo6mbNVv54wCHz1AVevssnztHgKEA8Xrz8TSBiuE4jK39UW68KEM24pBEz49U84MUHbHMvh8eDJeBCpd5C45u9k3ngggNx2DavrVLnhpKmi6yw9RQZpCRSV3BzyHY3RCbSG6tgMAShTbGnWfbbMPsFkTmG4D7qoxqeDfaqg2Ge2DErMMeS7Hq8EtnU6SxLNqFPvuzAH2AiLcAVVgNBd5pNNvDmEuCqjnnASWoame3La4cToxNpph5fUtpbVfjNCVdWaZP3ShLUZcoZvkYg4ngGVH9jLpTYSUTPvtURKRoTsmGPCtf4kDcbz1U7H7c1niYPztcxUkUPtSTsRddQ6nSUYpMev4YgkYAUd7XteETqw6UqJWEcRpiXacypFggHEKWkpWjNG6U8vmjqrdj8L6zxp8Ryi39vVSc8vPMSsXeqSLiogG8SdvFcp1AFe6eQt4htjcikWt1bgfDNdZ8XkLonKXs9E35CzykN2EpBqcDYKiEMAMPQjFT326cdWMg6bwmuZeaz6yzY1H3iH3vfyph6uGBcVVszFUmL9YrGtv7b1Kdrwe9idYaBcz22YPx6PFN4Pv3ts9Ss5s74M9xSPWYPynf6GV5zoEzihuHE6ty64YX4XmuAWEC2k2T83vnkFXbiSMEMC5q9294DEu1V6vosHyKVpSnvYiHzPKtk7eP7S1CGUCeJeNGAikKLdf2sH7UVd23TGb9YGaRCGTotzdUBD3mwGTd12g8dF9whGkwvNNJdZcLVNqwbnVyaKacJFwmGbT3dS9Lp7WS6wUJpoUocFW1CmE8Z31yrJtbEuAejuWMG4YFHpjPjm9y6rZ9ZERevdSQRCwdjshv9VR4WqwLrzfRNAjePedUUJ9K6Dhwn71wtCm9U9LcTzKt9htCUdXzYiG8GLEbST7K6CzVMuhfgo8qDxCz7V6esN3m3muYwx3EtngwoXCPsyWaYToLRZvMPqRxBryZdz11jvtPvVCpnuk8hTnp2yJSLSRPEyoaKUyiEu4qB31B5V9qpGs2MVPovTpRAVLcipxhsSRdMXYvXuat1FaPUthRQyKtbxiHg9aXJivvQAvCPgNLZrHuHudUiwGSvaDWgdPJ4KzYK5DyiD2ENZX2NyWU1ZWCu4vMTJudSKYHefVSu3yXeLR8TsLP6k2ackrM4wYBTLkiZQyxTeKCFzMyPSShgPxjM3EFeXC5vyNqfHDgogHPrGJp8tPdGkS6hTdV2CAJj4SDkzWTsgwrTiY6uHunR3DSg8Yvh4BPtq9hTGtpQuak5vv1h1x6Yma6JtyVBdyqHnj4aACFt4bYxJGKMmekJA7Lmx8JgrgVoT6qvFNNpGGqAmuaVXBZp2rPAXiAmSHuoXNakEzb1XCqCyq2s55QhNDmPNCfQBB9CUWC5vZZZyA2CjaWxsJb2GDXPvCPgQRhBtqUzCu1EGjytPkbgkKjFQgfBqQZboYCVGWP3PxDj2QMsuFAHWdpFR9LBDNAnPRPYYCyHJ7PwRcg19WZxxMeGtsZaPV2hM3NDWsY2wH149JyXfb3jEM8S84oeADQQSuVZz1wzJrVGvWQJRCvzTVBrCpxv8c3emvA9kWZWCMYRExShPDpsDnCqo1TGdndtiY9NvPcxgGX8F6sWAkhg67D4hv94fW5VUQ7PtVdUyKaLA7o9q1GgNN41k7AgwRBGMMMJZA3hto5URSCgwj6wsv7rhBnbe9ze1TJc66EBsyeZUS58TXbtsT8cLAfHtZTyVzCsBxRhLJqsYr67ASdGvHwdSvEpf1xNwB9yKGEYZhU97YZUxV6aqaGHkUHr6iWpuQn3LCrEz5ZJMusj38YK8nkvQ78z3CJfTUAysty2RvTSBKr6U32hAX2vGthsiLxPgMPmc1sD6f72tjuq9NocCoLYf6vN2H74BTB8GXbQCQ7AbEVct8GryNdgG4HHkmRMUdbTCc2iKgZ2obicR3jfygHguaWUBvZVeZp64f2cTRihfdKhGMux1baUFXVdo",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "1a45ff5c5980655634edc06617b6da000ae1ccc40e506b294a2ef2a2427229c3",
      "mainChain": true
    },
    {
      "boxId": "75803c5fc4f3e55934ad43651ba99b95671824b4186c740f12fd64a557063163",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 12000000,
      "index": 5,
      "globalIndex": 14304656,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "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": "b734b28e8c93adfff83d6b3c5859e1dbfb7a7d9d15c938fffe98f892fe209245",
      "mainChain": true
    },
    {
      "boxId": "ce9247ec8ed828694df2b88253e3acebbcc23098b9bc65f879915317df4abd40",
      "transactionId": "e44fc1256dfd21cc94039be6edce7ef90ad30f110c6499d1ab1d59a478dddabb",
      "blockId": "cb010b3a1fcf9493326b3ba9a2174603ca5f51ec5d299d73ad1446dcb287a211",
      "value": 1000000,
      "index": 6,
      "globalIndex": 14304657,
      "creationHeight": 706913,
      "settlementHeight": 706916,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "49db4d2d2e6c075f0eadfbad09cf4269bbc3a766b77c7bdce1bf193829eec782",
      "mainChain": true
    }
  ],
  "size": 3099,
  "isUnconfirmed": false
}