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.798 ERG
Output transaction:
Settlement height:
Value:
3.98 ERG
Outputs (7)
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.234 ERG
Spent in transaction:
Settlement height:
Value:
0.139 ERG
Spent in transaction:
Settlement height:
Value:
0.007 ERG
Spent in transaction:
Settlement height:
Value:
4.39 ERG
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Spent in transaction:
Settlement height:
Value:
0.002 ERG
Transaction Details
Status: Confirmed
Size: 4.75 KB
Received time: 1/19/2022 11:16:23 AM
Included in blocks: 667,253
Confirmations: 1,096,372
Total coins transferred: 4.8 ERG
Fees: 0.015 ERG
Fees per byte: 0.000003083 ERG
Raw Transaction Data
{
  "id": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
  "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
  "inclusionHeight": 667253,
  "timestamp": 1642590983305,
  "index": 3,
  "globalIndex": 2471500,
  "numConfirmations": 1096372,
  "inputs": [
    {
      "boxId": "9f36205654dffaed96d41161039d0f68162df8d4d9c62216f52de1784fe72e90",
      "value": 10000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "09715deb0d21711d8afe1fcc446068b6b66147e9d1609b283493bce9457deeb1",
      "outputTransactionId": "b197416b819c05a85c290ffc113b5845d1f1ed647165ae2d4b58ef05305fc99c",
      "outputIndex": 0,
      "outputGlobalIndex": 12145857,
      "outputCreatedAt": 667158,
      "outputSettledAt": 667165,
      "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": "0c3c0e0e05240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a33339656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771333968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994393339664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac3339656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4333968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,39656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,3968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,39664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,39656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,3968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379]]"
        },
        "R6": {
          "serializedValue": "0c4c0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb714",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,10]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "110428acb851aaf9500a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[20,667158,663125,5]"
        },
        "R4": {
          "serializedValue": "0c3c0e1105240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3038491028084af5f00240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc77103b0d2018090dfc04a80bebf981d240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994390396658084af5f00240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac0388d50180e497d01200240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe403b24e8084af5f80c9fe3d",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,[17474,100000000,0]],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,[13464,10000000000,3918000000]],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,[6475,100000000,0]],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,[13636,2500000000,0]],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,[5017,100000000,65000000]]]"
        }
      }
    },
    {
      "boxId": "c324af96eb2be875c274bf69bab787f013a004fd21edffc18eed13656fe62e0e",
      "value": 10000000,
      "index": 1,
      "spendingProof": "25184ff3619abc12c38c51ab2e660b737df5f800c3730ca6f439cb8d430d080a3880e1afc29b0a2a6cae41686c8ef356b0452c7e5f917223",
      "outputBlockId": "ee8aba334a7adb164f684f65affa4a41daeb7dcf685b13da877a8e99e6a19211",
      "outputTransactionId": "e1b484f89c420663e463d764c3b6502348df5c93ad53cac8ec19dde5d28232ee",
      "outputIndex": 5,
      "outputGlobalIndex": 12148922,
      "outputCreatedAt": 667241,
      "outputSettledAt": 667244,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c3c0e0e05240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a33339656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771333968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994393339664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac3339656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4333968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,39656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,3968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,39664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,39656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,3968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379]]"
        },
        "R6": {
          "serializedValue": "0c4c0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb714",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,10]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "11042ad2b951aaf9500a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[21,667241,663125,5]"
        },
        "R4": {
          "serializedValue": "0c3c0e1105240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a303de99028084af5f00240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc77103b0d2018090dfc04a80dcb7be1e240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994390394638084af5f80e2994e240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac03d4880280e497d01280bce7d101240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4038e598084af5f00",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,[18031,100000000,0]],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,[13464,10000000000,4092000000]],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,[6346,100000000,82000000]],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,[16938,2500000000,220000000]],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,[5703,100000000,0]]]"
        }
      }
    },
    {
      "boxId": "ad70dd6487a0e71a39a6cf9ac9fbba9e13246b939bc9ba307be1b785a92bb2ab",
      "value": 798000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "931cd5de263862fab9175253627e4bb8d1bfe14b6f79800df45abc4d54618ee9",
      "outputTransactionId": "50a885a85d2f9112fef100dc0145a1990a50c81f640e84581b0ead48d3df2cab",
      "outputIndex": 5,
      "outputGlobalIndex": 12149238,
      "outputCreatedAt": 667241,
      "outputSettledAt": 667249,
      "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": "9fe9910bde9e3f77e46e6c8ea9e3f604617b4ec86bc88c5a890fb35e0467d773",
      "value": 3983000000,
      "index": 3,
      "spendingProof": null,
      "outputBlockId": "09715deb0d21711d8afe1fcc446068b6b66147e9d1609b283493bce9457deeb1",
      "outputTransactionId": "b197416b819c05a85c290ffc113b5845d1f1ed647165ae2d4b58ef05305fc99c",
      "outputIndex": 5,
      "outputGlobalIndex": 12145862,
      "outputCreatedAt": 667158,
      "outputSettledAt": 667165,
      "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": "8ecbccae8450eef1f1359cfbdcb4fd3506b9c657dbdaebb8edb782c7f90e1f1f",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 10000000,
      "index": 0,
      "globalIndex": 12149461,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "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": "0c3c0e0e05240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a33339656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771333968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994393339664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac3339656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4333968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,39656751684b6f567270484b5969796f313442575a383344443636775a69614b47766e506852664b48695a3257594842416937],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,3968656b737476524452516159535a754a64566f437a4a6876563862576d4d64325641574c784c424631586542366571624a62],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,39664848357152394e59686a5250715459664a6e6568666b785042574d393746626b4345625a635645727a73586e7442503962],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,39656974563143594c356e435244796178564a6d384b477954756a4841694858547271707259636277664a77767a4137544268],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,3968735a346b316d527041794d6d68376d6438477363675058424377796b396b61327161744d6e736d7267616e776131466379]]"
        },
        "R6": {
          "serializedValue": "0c4c0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb714",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,10]]"
        },
        "R8": {
          "serializedValue": "0c3c0e0e01240008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7333967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7,3967556962486f616569774b5a53707967685a4536594d455a564a753977734b7a465332335778525671366e7a547663476f55]]"
        },
        "R7": {
          "serializedValue": "11042ad2b951aaf9500a",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[21,667241,663125,5]"
        },
        "R4": {
          "serializedValue": "0c3c0e1105240008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a303de99028084af5f00240008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc77103b0d2018090dfc04a80dcb7be1e240008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f2994390394638084af5f80e2994e240008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac03d4880280e497d01280bce7d101240008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4038e598084af5f00",
          "sigmaType": "Coll[(Coll[SByte], Coll[SLong])]",
          "renderedValue": "[[0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3,[18031,100000000,0]],[0008cd039c90146571b5c3154126aabcc0a985119c1bfeaadde1165a68bf7ac448bdc771,[13464,10000000000,4092000000]],[0008cd0264664239d4f0e88e1e580d9a70cb2d3051103263a9be7c054ca72f9b8f299439,[6346,100000000,82000000]],[0008cd021adad10f0d9e41c4edf2af1a6a6b56abe3f3e317bada754f4d3ec0585fa1aeac,[16938,2500000000,220000000]],[0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4,[5703,100000000,0]]]"
        }
      },
      "spentTransactionId": "a6b9c0c6c900b2d46a555d9d30f6707ff08af987ccd453b95987a31be3a7d466",
      "mainChain": true
    },
    {
      "boxId": "45034439ac536c90d7fe34ae486d052ab1bdafe910341103d1260beef246cc2e",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 234000000,
      "index": 1,
      "globalIndex": 12149462,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "ergoTree": "0008cd021539c4f42656ddd159ed027af4fcf552407e87dd3422a8b4651e34eca6a3b2a3",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(1539c4,ef0b22,...)))}",
      "address": "9egQhKoVrpHKYiyo14BWZ83DD66wZiaKGvnPhRfKHiZ2WYHBAi7",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "ae2d9fba7468780929eefea5b4fc6a87f966355cb914240898c0bb9ce4f162b3",
      "mainChain": true
    },
    {
      "boxId": "49d89175ee25446bcf8b917b62214b6034ea11f9d701b525388f0af5b1607803",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 139000000,
      "index": 2,
      "globalIndex": 12149463,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "ergoTree": "0008cd03b99e51ffb0ce05d082db610ade2b34945eef3b4a7198b2b787f4254ac6470fe4",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b99e51,18ec36,...)))}",
      "address": "9hsZ4k1mRpAyMmh7md8GscgPXBCwyk9ka2qatMnsmrganwa1Fcy",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "01283d7fe8294520e06223a79062cf25f4f00771cb25e61f32e24c6146cfe1fa",
      "mainChain": true
    },
    {
      "boxId": "1a18d6c68da2df16e8d9f0f6d9906dd4fc0a9dbc6ea77469e5a924dbe3b8a8fb",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 7000000,
      "index": 3,
      "globalIndex": 12149464,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "ergoTree": "0008cd0302122c332fd4e3c901f045ac18f559dcecf8dc61f6f94fbb34d0c7c3aac71fb7",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(2122c3,fecf3d,...)))}",
      "address": "9gUibHoaeiwKZSpyghZE6YMEZVJu9wsKzFS23WxRVq6nzTvcGoU",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "9147dbfb8300e3a576980ff2bbc97d15067796e9668de7ce02e15c9b14c2af13",
      "mainChain": true
    },
    {
      "boxId": "009e4f185f41699011d02ae6447b1044b60ae81d80304e343c5977840d9d8498",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 4394000000,
      "index": 4,
      "globalIndex": 12149465,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "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": "a6b9c0c6c900b2d46a555d9d30f6707ff08af987ccd453b95987a31be3a7d466",
      "mainChain": true
    },
    {
      "boxId": "27a6e53a22304f43fb8f45d66e8f56b036e9d113553dd3362c114023e5940f30",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 15000000,
      "index": 5,
      "globalIndex": 12149466,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "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": "c4bcaeff33139c1f779b34626a392d96669b9748d8c6b53e2ba34aff05599a95",
      "mainChain": true
    },
    {
      "boxId": "6f9f61fa1562519b88bbd879458fd1edfc876ff7e86a61d2f6ffa9d775d3ab75",
      "transactionId": "887f0c51f4d7f60783ccf5cfec32fd0bd7757675fb0d7fea178eb9354392e1da",
      "blockId": "0290105c11aeda84c670d49df48698ecc311675eaa45cb2bf18a135d7e90f2b0",
      "value": 2000000,
      "index": 6,
      "globalIndex": 12149467,
      "creationHeight": 667241,
      "settlementHeight": 667253,
      "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": "91aa2532e1bce9074004dc587e7b2661d9cbb9e1bb8625d42a24eaabeb43dd6e",
      "mainChain": true
    }
  ],
  "size": 4866,
  "isUnconfirmed": false
}