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:
2.46 ERG
Output transaction:
Settlement height:
Value:
4.03 ERG
Outputs (7)
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.007 ERG
Spent in transaction:
Settlement height:
Value:
0.007 ERG
Spent in transaction:
Settlement height:
Value:
0.007 ERG
Spent in transaction:
Settlement height:
Value:
6.47 ERG
Spent in transaction:
Settlement height:
Value:
0.012 ERG
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Transaction Details
Status: Confirmed
Size: 2.93 KB
Received time: 5/6/2022 07:23:25 PM
Included in blocks: 744,010
Confirmations: 1,012,316
Total coins transferred: 6.51 ERG
Fees: 0.012 ERG
Fees per byte: 0.000003993 ERG
Raw Transaction Data
{
  "id": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
  "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
  "inclusionHeight": 744010,
  "timestamp": 1651865005545,
  "index": 9,
  "globalIndex": 3138484,
  "numConfirmations": 1012316,
  "inputs": [
    {
      "boxId": "c85443f83624c82908ebe4839eef40aa87a954e7985bd5f0bc8026b22bdfddce",
      "value": 10000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "b748c76cade7df1e609fe27f9cfa5f8960aee9abb098a2ebf716bfc604416c7e",
      "outputTransactionId": "f46a004af80f042e7378d647194427c7b884753e058197b58e923aa5f50d2fe3",
      "outputIndex": 0,
      "outputGlobalIndex": 16423463,
      "outputCreatedAt": 743894,
      "outputSettledAt": 743898,
      "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": "0c3c0e0e02240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb00240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74200",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3],[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3],[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "1104920bace75aaaf9502c",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[713,743894,663125,22]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb05dcbc0580f882ad1680b6f5a0100000240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74205e88f1280e08bb459809c9ae60d0000",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,[44846,3000000000,2182000000,0,0]],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,[148468,12000000000,1852000000,0,0]]]"
        }
      }
    },
    {
      "boxId": "293b85be5d18859f78fab3a61f0e806461a695e0cee955a79bbb42a073a6b989",
      "value": 10000000,
      "index": 1,
      "spendingProof": "b5272a09238b96920eef0a9cdbf246a8c304570bc5ff92fde7b769b99df36d7d4dda76a1b6f7041365919f222a3cc423d120531cac3ea858",
      "outputBlockId": "2ffd7c5983fa84e50263f821631147b3de3d0841bacf63174e58b55f65a92a97",
      "outputTransactionId": "c81de2be6f0a1ea837e6ef1864ad810a725fe707a1f27508849bacc26316588f",
      "outputIndex": 21,
      "outputGlobalIndex": 16430541,
      "outputCreatedAt": 744006,
      "outputSettledAt": 744008,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c3c0e0e02240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb00240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74200",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3],[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3],[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "1104940b8ce95aaaf9502c",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[714,744006,663125,22]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb05e6c40580f882ad16809cd9bc140000240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74205f8a01280e08bb45980b6e1d91b0000",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,[45363,3000000000,2748000000,0,0]],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,[149564,12000000000,3718000000,0,0]]]"
        }
      }
    },
    {
      "boxId": "f075ad4c885681168b93ea0bb22711b5ec46cd81411e9164954ea2be9121ced7",
      "value": 2456000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "b70e74b8c2e2ae0c6391c18993011bc6b02f2fea7b83e00db63eb42f002f6b59",
      "outputTransactionId": "5a34488f04b19640d50e743c955b22d71dc194f79a7ddc05a57b5ed4da363f2f",
      "outputIndex": 10,
      "outputGlobalIndex": 16430303,
      "outputCreatedAt": 743991,
      "outputSettledAt": 744006,
      "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": "949ce30cb278be602d664f9a220bc9f5679a935d9d24d319c70ea57922d507b9",
      "value": 4034000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "b748c76cade7df1e609fe27f9cfa5f8960aee9abb098a2ebf716bfc604416c7e",
      "outputTransactionId": "f46a004af80f042e7378d647194427c7b884753e058197b58e923aa5f50d2fe3",
      "outputIndex": 4,
      "outputGlobalIndex": 16423467,
      "outputCreatedAt": 743894,
      "outputSettledAt": 743898,
      "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": "4e5f3ef07d10cb480ac20ef6ee26af601b1ca55354365187b84052cb3c1c7543",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 10000000,
      "index": 0,
      "globalIndex": 16430953,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "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": "0c3c0e0e02240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb00240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74200",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,]]"
        },
        "R6": {
          "serializedValue": "0c4c0e03240008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd06240008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed37202706240008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba5326906",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd,3],[0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027,3],[0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269,3]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "1104940b8ce95aaaf9502c",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[714,744006,663125,22]"
        },
        "R4": {
          "serializedValue": "0c3c0e1102240008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb05e6c40580f882ad16809cd9bc140000240008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae74205f8a01280e08bb45980b6e1d91b0000",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd030b9ac0005488e1bdbb7050b111df1105c67f85a6e1cc3b92b2b057bfc775e5fb,[45363,3000000000,2748000000,0,0]],[0008cd03e4c130f22b3aafc51daaa77abcac622dfb4a9b0ee94559c8bae5cb2268cae742,[149564,12000000000,3718000000,0,0]]]"
        }
      },
      "spentTransactionId": "df8d3b3e725d3a04a8806f3b1524f7e1937179fbf4c7166d99308874ccd1e84c",
      "mainChain": true
    },
    {
      "boxId": "51372c2ee614d0bc452ce74c812b56e14470a2c7a16c3c8835d13f14d6a285e2",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 7000000,
      "index": 1,
      "globalIndex": 16430954,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "ergoTree": "0008cd026d9d81d27185efa93c148f700839183a882aae3a4de1f984faff69eeed372027",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6d9d81,e53882,...)))}",
      "address": "9fMLVMsG8U1PHqHZ8JDQ4Yn6q5wPdruVn2ctwqaqCXVLfWxfc3Q",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "6ad9d9b654c61cd59ea54af9efec8972eb96871ff2065fab093313e10fa92b49",
      "mainChain": true
    },
    {
      "boxId": "1b5c91efa62226006dc59d5fff06c80169bee83224907aece5d3b4f5781a20b7",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 7000000,
      "index": 2,
      "globalIndex": 16430955,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "ergoTree": "0008cd026dd353119c75189796b3fb01c60289399f5fa2e7e115f4d8e3ffcc0a4ba53269",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6dd353,878180,...)))}",
      "address": "9fMRrpBjXJPCCyKo1fPyi7QGJY6jW1wLMaKXnsMBakobJNY4aW2",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "36542dcf1c0c487962e11b07099e0853ededbbdbbfbb54d5f249f3a9ebc636ad",
      "mainChain": true
    },
    {
      "boxId": "465bc9650a81739f48ea41fa7ab89f1ac6d573e3bb6df414e6271b24a52c9f17",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 7000000,
      "index": 3,
      "globalIndex": 16430956,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "ergoTree": "0008cd0287352ce40ff53154c5b3751a661908d3ca99edbb198e7ebb63d1d00e580f2efd",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(87352c,619230,...)))}",
      "address": "9fYcDQQ1pduG13GcmrLfLj2Khfge6DeTARVGhy58aXEqmhuft2C",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "615eea4a737b135ba902953880fc01840028c9426232a699d8d3d907e100f292",
      "mainChain": true
    },
    {
      "boxId": "eec5027bb7ad9bf5652cca6734388400226dcc0ae52ed9eb40b2f4f61e27221a",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 6466000000,
      "index": 4,
      "globalIndex": 16430957,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "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": "df8d3b3e725d3a04a8806f3b1524f7e1937179fbf4c7166d99308874ccd1e84c",
      "mainChain": true
    },
    {
      "boxId": "ccdcf0dfc4dbf09e32c6f6a8919d7e47898dc4936c2e161980bb326cd9b3a270",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 12000000,
      "index": 5,
      "globalIndex": 16430958,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "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": "ca4076a9646e584ca7eda64bc123b62fbd553d897b2983375d58a04a0d5ca9ce",
      "mainChain": true
    },
    {
      "boxId": "10de840abda05a3e104a2d0caf7111e5b051377006f9f2b3457fb7e14327bc0b",
      "transactionId": "6cd2fe7bd7c2fc1f2e7021f8ccdebbec6d3e25bc4e8b4eebdefd7df1e769d0d7",
      "blockId": "49b84c55d28897e9b37a27821bb488e3c4fde8b8acc9a051bfd1c33c006ec91c",
      "value": 1000000,
      "index": 6,
      "globalIndex": 16430959,
      "creationHeight": 744006,
      "settlementHeight": 744010,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "e19c3f03326f37bdcc51569f49924d7d7e3a250f7cfdf3c07844fab534797c41",
      "mainChain": true
    }
  ],
  "size": 3005,
  "isUnconfirmed": false
}