Ad

Transaction

10/11/2024 06:38:02 AM
ID: 6b0cc0709d...cf4e
Inputs (1)
#0
54f0f5586990...68e3
Spent
Address:
Auction Coin (Bank)
Output transaction:
12d0fdc7a89f...84ac
Settlement height:
1,370,358
Value:
16.09 ERG
Tokens:
Loading assets...
Outputs (12)
#0
21deb35395cf...2c0a
Spent
Address:
Auction Coin (Bank)
Spent in transaction:
793d7f8c20be...79c4
Settlement height:
1,371,065
Value:
15.99 ERG
Tokens:
Loading assets...
#1
24be46a017b1...57ba
Spent
Address:
Auction House (quE2)
Spent in transaction:
794b1b264df9...f781
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#2
f2603625152d...46a1
Spent
Address:
Auction House (quE2)
Spent in transaction:
1eab32c5781e...beff
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#3
263733eb0b16...1e24
Spent
Address:
Auction House (quE2)
Spent in transaction:
d2db50e51201...eb25
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#4
a8302e69c35f...344d
Spent
Address:
Auction House (quE2)
Spent in transaction:
a2f0048aa65d...8230
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#5
e0adef99ab84...97f4
Spent
Address:
Auction House (quE2)
Spent in transaction:
fbef7cdebc4c...7d52
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#6
43d7857b98f4...d5ae
Spent
Address:
Auction House (quE2)
Spent in transaction:
11b7733ced3a...6033
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#7
acb92f73567c...1da6
Spent
Address:
Auction House (quE2)
Spent in transaction:
c43d80413947...e928
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#8
aba4014ad159...2fbf
Spent
Address:
Auction House (quE2)
Spent in transaction:
c7aad9e48d03...7ddb
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#9
5ef197952838...60cc
Spent
Address:
Auction House (quE2)
Spent in transaction:
fad2d4272c80...3027
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#10
872e3cee3a68...85e9
Spent
Address:
Auction House (quE2)
Spent in transaction:
d847a7f801f5...40bf
Settlement height:
1,371,065
Value:
0.01 ERG
Tokens:
Loading assets...
#11
f8ad3c095539...8a8f
Spent
Address:
Ergo Platform (Miner Fee)
Spent in transaction:
94b0d53d8331...bb0b
Settlement height:
1,371,065
Value:
0.002 ERG
Transaction Details
Status: Confirmed
Size: 15.23 KB
Received time: 10/11/2024 06:38:02 AM
Included in blocks: 1,371,065
Confirmations: 387,793
Total coins transferred: 16.09 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000128 ERG
Raw Transaction Data
{
  "id": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
  "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
  "inclusionHeight": 1371065,
  "timestamp": 1728628682827,
  "index": 2,
  "globalIndex": 7893919,
  "numConfirmations": 387793,
  "inputs": [
    {
      "boxId": "54f0f5586990bba92b8b68abccf59573f7a0257c59f4afbbef07e0bf7b7a68e3",
      "value": 16092000248,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "bc1c508153667fdf2abf93cec6b13f45973bf9ce30126a7451f72ddb326392bf",
      "outputTransactionId": "12d0fdc7a89fb34f22940dfcae007ed46dc7b91c1fe5463cf6cf9f90197184ac",
      "outputIndex": 1,
      "outputGlobalIndex": 43159854,
      "outputCreatedAt": 1370356,
      "outputSettledAt": 1370358,
      "ergoTree": "102a040004000400040204020580dddb01040004020404040204000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a040004000500040204000400050004000402040405d00f04040e20f6607061146bb0daf02a481c0b337dcd088b8f9d3973ca9d8fda863105a2cb6e0e2096925b252f89ccf2c80c17ded618c2e68b74bd6660333962fab6aa03aab83c3b0580bab7030580bab7030580bab7030580bab70304060580bab70305020580bab7030580dac409040404020580dac4090402040004020402d819d601b2db6501fe730000d602db63087201d603b2a5730100d604db63087203d605db6308a7d606b27205730200d607b27204730300d608b27205730400d6098c720801d60a8c720802d60bc6a7051dd60ce4720bd60ddb0c0e720cd60e830002d60fdb6903db6503fed6109a720f7305d611c6a70411d612e47211d613b27212730600d614b27212730700d615b1a5d616b1a4d617c2a7d6189593721673087203b2a5730900d619db63087218d1ecededededededededed938cb27202730a0001730b93b27204730c007206ed938c7207017209928c72070299720ab0ad720dd9011a04b2b2720c721a00730d00730ed9011a599a8c721a018c721a02af720dd9011a04d808d61cb2a59a721a730f01b2a4731000d61db2db6308721c7311018602720e7312d61eb2720c721a00d61fb2721e731300d620b2721e731400d6219a72107220d6229c9c9dc172018cb2720273150002721f7316d6239d7222b2721e731700ededed93cbc2721c7318ed938c721d017209938c721d02721fedededededed93cbe4c6721c040e7319928ce4c6721c055901997210731a908ce4c6721c0559019a7210731b928ce4c6721c055902997221731c908ce4c6721c0559029a7221731d93e4c6721c061183030572239d9972239d7222b2721e731e00999d7220731f7320732193e4c6721c070e720e93c1721c7322ed93e4c6720304118302059a72137214721493c67203051d720b91720f72139372159ab1720c732390c1b2a59972157324007325937216732693c272037217ededededed93b272197327007206938cb27219732800017209928cb2721973290002720aed93c672180411721193c67218051d720b92c17218c1a793c272187217",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 0\n3: 1\n4: 1\n5: 1800000\n6: 0\n7: 1\n8: 2\n9: 1\n10: 0\n11: Coll(-39,104,-50,8,-3,36,-13,-11,-6,-40,111,-99,-34,-46,-22,-16,-110,11,99,-58,-3,98,-27,100,-119,-9,71,-119,-88,-128,124,42)\n12: 0\n13: 0\n14: 0\n15: 1\n16: 0\n17: 0\n18: 0\n19: 0\n20: 1\n21: 2\n22: 1000\n23: 2\n24: Coll(-10,96,112,97,20,107,-80,-38,-16,42,72,28,11,51,125,-51,8,-117,-113,-99,57,115,-54,-99,-113,-38,-122,49,5,-94,-53,110)\n25: Coll(-106,-110,91,37,47,-119,-52,-14,-56,12,23,-34,-42,24,-62,-26,-117,116,-67,102,96,51,57,98,-6,-74,-86,3,-86,-72,60,59)\n26: 3600000\n27: 3600000\n28: 3600000\n29: 3600000\n30: 3\n31: 3600000\n32: 1\n33: 3600000\n34: 10000000\n35: 2\n36: 1\n37: 10000000\n38: 1\n39: 0\n40: 1\n41: 1",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val coll2 = box1.tokens\n  val box3 = OUTPUTS(placeholder[Int](1))\n  val coll4 = box3.tokens\n  val coll5 = SELF.tokens\n  val tuple6 = coll5(placeholder[Int](2))\n  val tuple7 = coll4(placeholder[Int](3))\n  val tuple8 = coll5(placeholder[Int](4))\n  val coll9 = tuple8._1\n  val l10 = tuple8._2\n  val opt11 = SELF.R5[Coll[Coll[Long]]]\n  val coll12 = opt11.get\n  val coll13 = coll12.indices\n  val coll14 = Coll[Byte]()\n  val l15 = CONTEXT.preHeader.timestamp\n  val l16 = l15 + placeholder[Long](5)\n  val opt17 = SELF.R4[Coll[Long]]\n  val coll18 = opt17.get\n  val l19 = coll18(placeholder[Int](6))\n  val l20 = coll18(placeholder[Int](7))\n  val i21 = OUTPUTS.size\n  val i22 = INPUTS.size\n  val coll23 = SELF.propositionBytes\n  val box24 = if (i22 == placeholder[Int](8)) { box3 } else { OUTPUTS(placeholder[Int](9)) }\n  val coll25 = box24.tokens\n  sigmaProp(\n    (\n      (\n        (\n          (\n            (\n              (\n                (\n                  (\n                    ((coll2(placeholder[Int](10))._1 == placeholder[Coll[Byte]](11)) && (coll4(placeholder[Int](12)) == tuple6)) && (\n                      (tuple7._1 == coll9) && (\n                        tuple7._2 >= l10 - coll13.map({(i26: Int) => coll12(i26)(placeholder[Int](13)) }).fold(\n                          placeholder[Long](14), {(tuple26: (Long, Long)) => tuple26._1 + tuple26._2 }\n                        )\n                      )\n                    )\n                  ) && coll13.forall({(i26: Int) =>\n                      val box28 = OUTPUTS.getOrElse(i26 + placeholder[Int](15), INPUTS(placeholder[Int](16)))\n                      val tuple29 = box28.tokens.getOrElse(placeholder[Int](17), (coll14, placeholder[Long](18)))\n                      val coll30 = coll12(i26)\n                      val l31 = coll30(placeholder[Int](19))\n                      val l32 = coll30(placeholder[Int](20))\n                      val l33 = l16 + l32\n                      val l34 = box1.value / coll2(placeholder[Int](21))._2 * l31 * placeholder[Long](22)\n                      val l35 = l34 / coll30(placeholder[Int](23))\n                      (((blake2b256(box28.propositionBytes) == placeholder[Coll[Byte]](24)) && ((tuple29._1 == coll9) && (tuple29._2 == l31))) && (((((((blake2b256(box28.R4[Coll[Byte]].get) == placeholder[Coll[Byte]](25)) && (box28.R5[(Long, Long)].get._1 >= l16 - placeholder[Long](26))) && (box28.R5[(Long, Long)].get._1 <= l16 + placeholder[Long](27))) && (box28.R5[(Long, Long)].get._2 >= l33 - placeholder[Long](28))) && (box28.R5[(Long, Long)].get._2 <= l33 + placeholder[Long](29))) && (box28.R6[Coll[Long]].get == Coll[Long](l35, l35 - l34 / coll30(placeholder[Int](30)) / l32 / placeholder[Long](31) - placeholder[Long](32), placeholder[Long](33)))) && (box28.R7[Coll[Byte]].get == coll14))) && (box28.value == placeholder[Long](34))\n                    })\n                ) && ((box3.R4[Coll[Long]].get == Coll[Long](l19 + l20, l20)) && (box3.R5[Coll[Coll[Long]]] == opt11))\n              ) && (l15 > l19)\n            ) && (i21 == coll12.size + placeholder[Int](35))\n          ) && (OUTPUTS(i21 - placeholder[Int](36)).value <= placeholder[Long](37))\n        ) && (i22 == placeholder[Int](38))\n      ) && (box3.propositionBytes == coll23)\n    ) || (\n      (\n        (\n          (((coll25(placeholder[Int](39)) == tuple6) && (coll25(placeholder[Int](40))._1 == coll9)) && (coll25(placeholder[Int](41))._2 >= l10)) && (\n            (box24.R4[Coll[Long]] == opt17) && (box24.R5[Coll[Coll[Long]]] == opt11)\n          )\n        ) && (box24.value >= SELF.value)\n      ) && (box24.propositionBytes == coll23)\n    )\n  )\n}",
      "address": "xHu3f1P27DXd31Th3N8sxSfjaKVVoqeaF7gr4j1Y83ZFcd1L4RBhEy3df5sMezJmWDCy227TWMPnY1L4brtzpDJEPA3BUp1epttC3nTRrUfsCmt228GBBR3eGmovFvfPuUocqbJRkdVjRBcidV5zBtrWjkEJ5CpQSTXUY391M15P9sFKiS7GGUzYyqDBRHQXK2sPjXGLEqiSmaE6RRjLM6eFx5wva3YdkSj4y7zupsxAPLtfjNThg7E5z11aN8cU6thZrkvdmwNNMUBqdJT769B1pD7aY2WkaygcM2feqJJYJJtBmKMHZE8VoFDDpuescGn8wJSjRgXZkPaWPAYwcckSF87CFxdmDWRUeCLUAc2FuRoHuVdPyqbnNwf4Rz9e7yWy3RSBzqAZ2X2viFhT7M3WCFEnq8Eep5pNVdy3W6vjXgzbzoRdyVx9tpMh9Yp72Bfwvk2QdNkUUTnpLiVHdeCBptFm65EBkXEcgiW5fq6M2bNFwiZYPMzPZ4CU1x7SZuvr5SATaG9pm1wPFkfd6KCpNT5YxTrcRcPdgZgeDcJDiumnCKeHmXYZ3RvDcxGfe9CbMXSaEuHRST39aoJasvCWw6VAf2ZnUsWyxLDZ9LbxBXEykNuj81kiBNeBx3RGj7dsLygFS9rpuaTqmk3WyioXQCqppQ9TaeyAMZE29PNFLv2CHMbdYmz8XQKtKKMcbfmkBCsMm3NYaCyiT3gd8C8769QEGwuxerdXNJ3nFHB2xV3rs4DmgSfotZvFPksHw8SJicqMQmfWVa1jcpeg2j5gkem2fMTDGJXZWMbRQUpiRbNCWqZ6MDytZ75BYq7nZjR1CMZUekN4GwK11ukCjLEB75TdZagAkwG9R9KeAueCqsQ9TemE9a1rzZmHBghDRSuU66PPbiaXNs7T8JaMDyzPR99t58JEwVEyQnVeBJnMnHwDueDXah1gcvaQDjDmh5aRd9mxphKABesEqh4DndP2EbVz147JRW1QDw7mXwSvUvP4gUuwRkKGPgob2MCVM3ewiXGDpEgbE2QfZzQHkVHsTYGLmKEabqExUe7wPGypgcCzpfNJQrVan3zTsYN7TBcG2shTovcfxKDMU4mBn76UhrAGvGikDtdrovExPQdZBc7BTo4sPHyKwq6nTdeWikw7K",
      "assets": [
        {
          "tokenId": "f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54c",
          "index": 0,
          "amount": 1,
          "name": "AuctionCoinNFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 1,
          "amount": 80661,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "110280c9a8a4cf6480c0cbc902",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1728628200000,345600000]"
        },
        "R5": {
          "serializedValue": "1d0a046480d098f701e807b810046480d098f701e807b81004900380d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b810",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[50,259200000,500,1052],[50,259200000,500,1052],[200,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052]]"
        }
      }
    }
  ],
  "dataInputs": [
    {
      "boxId": "1f7213c7f7b095e753ad816d95e9f1f77dbba6bda456eb2684a3b98ce7e0163f",
      "value": 559918969025,
      "index": 0,
      "outputBlockId": "ebf5f0ef41e931b8ded6a7d97390f30d5d789c6988aac37fd9d7dab28ca6fda8",
      "outputTransactionId": "1280697d9738f6438bab3a0b1e9ef1c84c1ab6ae7bb0b52da27b50f659d5d291",
      "outputIndex": 0,
      "ergoTree": "1999030f0400040204020404040405feffffffffffffffff0105feffffffffffffffff01050004d00f040004000406050005000580dac409d819d601b2a5730000d602e4c6a70404d603db63087201d604db6308a7d605b27203730100d606b27204730200d607b27203730300d608b27204730400d6099973058c720602d60a999973068c7205027209d60bc17201d60cc1a7d60d99720b720cd60e91720d7307d60f8c720802d6107e720f06d6117e720d06d612998c720702720fd6137e720c06d6147308d6157e721206d6167e720a06d6177e720906d6189c72117217d6199c72157217d1ededededededed93c27201c2a793e4c672010404720293b27203730900b27204730a00938c7205018c720601938c7207018c72080193b17203730b9593720a730c95720e929c9c721072117e7202069c7ef07212069a9c72137e7214067e9c720d7e72020506929c9c721372157e7202069c7ef0720d069a9c72107e7214067e9c72127e7202050695ed720e917212730d907216a19d721872139d72197210ed9272189c721672139272199c7216721091720b730e",
      "address": "5vSUZRZbdVbnk4sJWjg2uhL94VZWRg4iatK9VgMChufzUgdihgvhR8yWSUEJKszzV7Vmi6K8hCyKTNhUaiP8p5ko6YEU9yfHpjVuXdQ4i5p4cRCzch6ZiqWrNukYjv7Vs5jvBwqg5hcEJ8u1eerr537YLWUoxxi1M4vQxuaCihzPKMt8NDXP4WcbN6mfNxxLZeGBvsHVvVmina5THaECosCWozKJFBnscjhpr3AJsdaL8evXAvPfEjGhVMoTKXAb2ZGGRmR8g1eZshaHmgTg2imSiaoXU5eiF3HvBnDuawaCtt674ikZ3oZdekqswcVPGMwqqUKVsGY4QuFeQoGwRkMqEYTdV2UDMMsfrjrBYQYKUBFMwsQGMNBL1VoY78aotXzdeqJCBVKbQdD3ZZWvukhSe4xrz8tcF3PoxpysDLt89boMqZJtGEHTV9UBTBEac6sDyQP693qT3nKaErN8TCXrJBUmHPqKozAg9bwxTqMYkpmb9iVKLSoJxG7MjAj72SRbcqQfNCVTztSwN3cRxSrVtz4p87jNFbVtFzhPg7UqDwNFTaasySCqM",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "04c60f",
          "sigmaType": "SInt",
          "renderedValue": "995"
        }
      }
    }
  ],
  "outputs": [
    {
      "boxId": "21deb35395cf35b1dd468c4cf8f37bd08af5ddceef3b255ae13153d42f942c0a",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 15990000248,
      "index": 0,
      "globalIndex": 43174292,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102a040004000400040204020580dddb01040004020404040204000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a040004000500040204000400050004000402040405d00f04040e20f6607061146bb0daf02a481c0b337dcd088b8f9d3973ca9d8fda863105a2cb6e0e2096925b252f89ccf2c80c17ded618c2e68b74bd6660333962fab6aa03aab83c3b0580bab7030580bab7030580bab7030580bab70304060580bab70305020580bab7030580dac409040404020580dac4090402040004020402d819d601b2db6501fe730000d602db63087201d603b2a5730100d604db63087203d605db6308a7d606b27205730200d607b27204730300d608b27205730400d6098c720801d60a8c720802d60bc6a7051dd60ce4720bd60ddb0c0e720cd60e830002d60fdb6903db6503fed6109a720f7305d611c6a70411d612e47211d613b27212730600d614b27212730700d615b1a5d616b1a4d617c2a7d6189593721673087203b2a5730900d619db63087218d1ecededededededededed938cb27202730a0001730b93b27204730c007206ed938c7207017209928c72070299720ab0ad720dd9011a04b2b2720c721a00730d00730ed9011a599a8c721a018c721a02af720dd9011a04d808d61cb2a59a721a730f01b2a4731000d61db2db6308721c7311018602720e7312d61eb2720c721a00d61fb2721e731300d620b2721e731400d6219a72107220d6229c9c9dc172018cb2720273150002721f7316d6239d7222b2721e731700ededed93cbc2721c7318ed938c721d017209938c721d02721fedededededed93cbe4c6721c040e7319928ce4c6721c055901997210731a908ce4c6721c0559019a7210731b928ce4c6721c055902997221731c908ce4c6721c0559029a7221731d93e4c6721c061183030572239d9972239d7222b2721e731e00999d7220731f7320732193e4c6721c070e720e93c1721c7322ed93e4c6720304118302059a72137214721493c67203051d720b91720f72139372159ab1720c732390c1b2a59972157324007325937216732693c272037217ededededed93b272197327007206938cb27219732800017209928cb2721973290002720aed93c672180411721193c67218051d720b92c17218c1a793c272187217",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 0\n3: 1\n4: 1\n5: 1800000\n6: 0\n7: 1\n8: 2\n9: 1\n10: 0\n11: Coll(-39,104,-50,8,-3,36,-13,-11,-6,-40,111,-99,-34,-46,-22,-16,-110,11,99,-58,-3,98,-27,100,-119,-9,71,-119,-88,-128,124,42)\n12: 0\n13: 0\n14: 0\n15: 1\n16: 0\n17: 0\n18: 0\n19: 0\n20: 1\n21: 2\n22: 1000\n23: 2\n24: Coll(-10,96,112,97,20,107,-80,-38,-16,42,72,28,11,51,125,-51,8,-117,-113,-99,57,115,-54,-99,-113,-38,-122,49,5,-94,-53,110)\n25: Coll(-106,-110,91,37,47,-119,-52,-14,-56,12,23,-34,-42,24,-62,-26,-117,116,-67,102,96,51,57,98,-6,-74,-86,3,-86,-72,60,59)\n26: 3600000\n27: 3600000\n28: 3600000\n29: 3600000\n30: 3\n31: 3600000\n32: 1\n33: 3600000\n34: 10000000\n35: 2\n36: 1\n37: 10000000\n38: 1\n39: 0\n40: 1\n41: 1",
      "ergoTreeScript": "{\n  val box1 = CONTEXT.dataInputs(placeholder[Int](0))\n  val coll2 = box1.tokens\n  val box3 = OUTPUTS(placeholder[Int](1))\n  val coll4 = box3.tokens\n  val coll5 = SELF.tokens\n  val tuple6 = coll5(placeholder[Int](2))\n  val tuple7 = coll4(placeholder[Int](3))\n  val tuple8 = coll5(placeholder[Int](4))\n  val coll9 = tuple8._1\n  val l10 = tuple8._2\n  val opt11 = SELF.R5[Coll[Coll[Long]]]\n  val coll12 = opt11.get\n  val coll13 = coll12.indices\n  val coll14 = Coll[Byte]()\n  val l15 = CONTEXT.preHeader.timestamp\n  val l16 = l15 + placeholder[Long](5)\n  val opt17 = SELF.R4[Coll[Long]]\n  val coll18 = opt17.get\n  val l19 = coll18(placeholder[Int](6))\n  val l20 = coll18(placeholder[Int](7))\n  val i21 = OUTPUTS.size\n  val i22 = INPUTS.size\n  val coll23 = SELF.propositionBytes\n  val box24 = if (i22 == placeholder[Int](8)) { box3 } else { OUTPUTS(placeholder[Int](9)) }\n  val coll25 = box24.tokens\n  sigmaProp(\n    (\n      (\n        (\n          (\n            (\n              (\n                (\n                  (\n                    ((coll2(placeholder[Int](10))._1 == placeholder[Coll[Byte]](11)) && (coll4(placeholder[Int](12)) == tuple6)) && (\n                      (tuple7._1 == coll9) && (\n                        tuple7._2 >= l10 - coll13.map({(i26: Int) => coll12(i26)(placeholder[Int](13)) }).fold(\n                          placeholder[Long](14), {(tuple26: (Long, Long)) => tuple26._1 + tuple26._2 }\n                        )\n                      )\n                    )\n                  ) && coll13.forall({(i26: Int) =>\n                      val box28 = OUTPUTS.getOrElse(i26 + placeholder[Int](15), INPUTS(placeholder[Int](16)))\n                      val tuple29 = box28.tokens.getOrElse(placeholder[Int](17), (coll14, placeholder[Long](18)))\n                      val coll30 = coll12(i26)\n                      val l31 = coll30(placeholder[Int](19))\n                      val l32 = coll30(placeholder[Int](20))\n                      val l33 = l16 + l32\n                      val l34 = box1.value / coll2(placeholder[Int](21))._2 * l31 * placeholder[Long](22)\n                      val l35 = l34 / coll30(placeholder[Int](23))\n                      (((blake2b256(box28.propositionBytes) == placeholder[Coll[Byte]](24)) && ((tuple29._1 == coll9) && (tuple29._2 == l31))) && (((((((blake2b256(box28.R4[Coll[Byte]].get) == placeholder[Coll[Byte]](25)) && (box28.R5[(Long, Long)].get._1 >= l16 - placeholder[Long](26))) && (box28.R5[(Long, Long)].get._1 <= l16 + placeholder[Long](27))) && (box28.R5[(Long, Long)].get._2 >= l33 - placeholder[Long](28))) && (box28.R5[(Long, Long)].get._2 <= l33 + placeholder[Long](29))) && (box28.R6[Coll[Long]].get == Coll[Long](l35, l35 - l34 / coll30(placeholder[Int](30)) / l32 / placeholder[Long](31) - placeholder[Long](32), placeholder[Long](33)))) && (box28.R7[Coll[Byte]].get == coll14))) && (box28.value == placeholder[Long](34))\n                    })\n                ) && ((box3.R4[Coll[Long]].get == Coll[Long](l19 + l20, l20)) && (box3.R5[Coll[Coll[Long]]] == opt11))\n              ) && (l15 > l19)\n            ) && (i21 == coll12.size + placeholder[Int](35))\n          ) && (OUTPUTS(i21 - placeholder[Int](36)).value <= placeholder[Long](37))\n        ) && (i22 == placeholder[Int](38))\n      ) && (box3.propositionBytes == coll23)\n    ) || (\n      (\n        (\n          (((coll25(placeholder[Int](39)) == tuple6) && (coll25(placeholder[Int](40))._1 == coll9)) && (coll25(placeholder[Int](41))._2 >= l10)) && (\n            (box24.R4[Coll[Long]] == opt17) && (box24.R5[Coll[Coll[Long]]] == opt11)\n          )\n        ) && (box24.value >= SELF.value)\n      ) && (box24.propositionBytes == coll23)\n    )\n  )\n}",
      "address": "xHu3f1P27DXd31Th3N8sxSfjaKVVoqeaF7gr4j1Y83ZFcd1L4RBhEy3df5sMezJmWDCy227TWMPnY1L4brtzpDJEPA3BUp1epttC3nTRrUfsCmt228GBBR3eGmovFvfPuUocqbJRkdVjRBcidV5zBtrWjkEJ5CpQSTXUY391M15P9sFKiS7GGUzYyqDBRHQXK2sPjXGLEqiSmaE6RRjLM6eFx5wva3YdkSj4y7zupsxAPLtfjNThg7E5z11aN8cU6thZrkvdmwNNMUBqdJT769B1pD7aY2WkaygcM2feqJJYJJtBmKMHZE8VoFDDpuescGn8wJSjRgXZkPaWPAYwcckSF87CFxdmDWRUeCLUAc2FuRoHuVdPyqbnNwf4Rz9e7yWy3RSBzqAZ2X2viFhT7M3WCFEnq8Eep5pNVdy3W6vjXgzbzoRdyVx9tpMh9Yp72Bfwvk2QdNkUUTnpLiVHdeCBptFm65EBkXEcgiW5fq6M2bNFwiZYPMzPZ4CU1x7SZuvr5SATaG9pm1wPFkfd6KCpNT5YxTrcRcPdgZgeDcJDiumnCKeHmXYZ3RvDcxGfe9CbMXSaEuHRST39aoJasvCWw6VAf2ZnUsWyxLDZ9LbxBXEykNuj81kiBNeBx3RGj7dsLygFS9rpuaTqmk3WyioXQCqppQ9TaeyAMZE29PNFLv2CHMbdYmz8XQKtKKMcbfmkBCsMm3NYaCyiT3gd8C8769QEGwuxerdXNJ3nFHB2xV3rs4DmgSfotZvFPksHw8SJicqMQmfWVa1jcpeg2j5gkem2fMTDGJXZWMbRQUpiRbNCWqZ6MDytZ75BYq7nZjR1CMZUekN4GwK11ukCjLEB75TdZagAkwG9R9KeAueCqsQ9TemE9a1rzZmHBghDRSuU66PPbiaXNs7T8JaMDyzPR99t58JEwVEyQnVeBJnMnHwDueDXah1gcvaQDjDmh5aRd9mxphKABesEqh4DndP2EbVz147JRW1QDw7mXwSvUvP4gUuwRkKGPgob2MCVM3ewiXGDpEgbE2QfZzQHkVHsTYGLmKEabqExUe7wPGypgcCzpfNJQrVan3zTsYN7TBcG2shTovcfxKDMU4mBn76UhrAGvGikDtdrovExPQdZBc7BTo4sPHyKwq6nTdeWikw7K",
      "assets": [
        {
          "tokenId": "f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54c",
          "index": 0,
          "amount": 1,
          "name": "AuctionCoinNFT",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 1,
          "amount": 79661,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "11028089f4edd16480c0cbc902",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1728973800000,345600000]"
        },
        "R5": {
          "serializedValue": "1d0a046480d098f701e807b810046480d098f701e807b81004900380d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b81004c80180d098f701e807b810",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[50,259200000,500,1052],[50,259200000,500,1052],[200,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052],[100,259200000,500,1052]]"
        }
      },
      "spentTransactionId": "793d7f8c20beebae2c8872b927e98068fdcfb933f49090afd2bb6b67d5e579c4",
      "mainChain": true
    },
    {
      "boxId": "24be46a017b11681a81ac8f2e78cc711ac1334a2d3e097c1355d1bda8d6757ba",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 1,
      "globalIndex": 43174293,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 50,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103b097f0d7c401fcbe87ba0180bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[26398819800,195096510,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "794b1b264df9e2a6a4028f22dea84059a5ab47db9d7e7b127a853da619d7f781",
      "mainChain": true
    },
    {
      "boxId": "f2603625152d3cb71e6190ffd1d51f06f37a7a4749cafae774a9f6c345ef46a1",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 2,
      "globalIndex": 43174294,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 50,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103b097f0d7c401fcbe87ba0180bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[26398819800,195096510,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "1eab32c5781ecb1e5ec9fbca2286d43b48c85ee3b90b75689b6b963af98cbeff",
      "mainChain": true
    },
    {
      "boxId": "263733eb0b16afef56dca56b1568457f6480050d7f6ad31ffbe2fa60da631e24",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 3,
      "globalIndex": 43174295,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 200,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103c0ddc0df9206f0fb9de80580bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[105595279200,780386040,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "d2db50e51201747c38395e20b3b2df9ece7351eeafc2cdb2961245ec9422eb25",
      "mainChain": true
    },
    {
      "boxId": "a8302e69c35f656c8497384cb7ca51544d1ae47bdab76240ee143d629e10344d",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 4,
      "globalIndex": 43174296,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "a2f0048aa65dfaf0e6b1fc553a3e9c0fa5a4a09d11a263c577fe30737e048230",
      "mainChain": true
    },
    {
      "boxId": "e0adef99ab84613efe5bdd280259a6fecb14cba9d5b5b61e24d273d1399e97f4",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 5,
      "globalIndex": 43174297,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "fbef7cdebc4c6bc00ce7a0513c264061ac7ea1cecd6528366706cbbcb1d97d52",
      "mainChain": true
    },
    {
      "boxId": "43d7857b98f4d9a29302c26805734795f40bbc8431c21abc8db5288dd579d5ae",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 6,
      "globalIndex": 43174298,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "11b7733ced3aff286b07b17ed34a02e869f131e36c21aee0af633a4576f06033",
      "mainChain": true
    },
    {
      "boxId": "acb92f73567c04b063dadc6edfc27718514466bd26aa3376a92829b170981da6",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 7,
      "globalIndex": 43174299,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "c43d8041394705f51c7ddcca969711dca05296045c3460cd7b92d6d34c37e928",
      "mainChain": true
    },
    {
      "boxId": "aba4014ad1595d1ebc06a8b609767935cc24c89bd7b961e47b468a6c6dfc2fbf",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 8,
      "globalIndex": 43174300,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "c7aad9e48d032a0672eb970a6ce6b70bb2dd52ee541df0b41b441c1d82bd7ddb",
      "mainChain": true
    },
    {
      "boxId": "5ef197952838eef843d1e0c30165b63722b0902e5860289296fca6810b5d60cc",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 9,
      "globalIndex": 43174301,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "fad2d4272c80057270fa07657dd42e8e13ee6deaeba2c24e468c5f35fabd3027",
      "mainChain": true
    },
    {
      "boxId": "872e3cee3a6818f5a99fdfdcee463a1a2463bd7c93f10ce543a2c7ea439285e9",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 10000000,
      "index": 10,
      "globalIndex": 43174302,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "ergoTree": "102c04000400040404020404040004020400040604000406050404020400040004d00f040004040414040404000400040005d00f05d00f04000400040404140406040005d00f040405d00f0400040604060400050001000101010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80fd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61ce5c6721b0463b2a599b1a5730c00d61dc6721c0404d61ee6721dd61f7211d6207212d6217213d6227214d623b2db6308a7730d009683050193c5b2a4730e00c5a7eded93c272157201928c721a029d9c72087e9999730f720695721ed801d624e5721d731095ec8f722473119272247312722495ed9372247313e6c6721c050c4c0eb0e5c6721c050c4c0e83004c0e7314d90125404c0e9a8c7225018c8c7225020273157316057317938c721a01720feded93c2721be4c67205050e928c7222029d9c72087e7206057318938c722201720f937223b2db6308b2a5731901a7731a00ed95721ed801d624e4721d95ec8f7224731b927224731cd802d625b2a5731d01a7d626b2db63087225731e0186027217c17225eded928c7226029d9c72087e722405731f938c722601720f93c27225c2721c95ed9372247320e6c6721c050c4c0ed802d625e5c6721c050c4c0e83004c0ed626b1722593b4ad7225d901274c0e86028c7227019d9c7e8c722702057208732173227226adb4a573239a73247226d9012763d801d629b2db6308722773250186027217c1722795938c722901720f8602c272278c7229028602721773267327732893cbc3721c8c7223017329d1938cb2db63087205732a0001732b",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 2\n3: 1\n4: 2\n5: 0\n6: 1\n7: 0\n8: 3\n9: 0\n10: 3\n11: 2\n12: 1\n13: 0\n14: 0\n15: 1000\n16: 0\n17: 2\n18: 10\n19: 2\n20: 0\n21: 0\n22: 0\n23: 1000\n24: 1000\n25: 0\n26: 0\n27: 2\n28: 10\n29: 3\n30: 0\n31: 1000\n32: 2\n33: 1000\n34: 0\n35: 3\n36: 3\n37: 0\n38: 0\n39: false\n40: true\n41: false\n42: 0\n43: Coll(-98,-68,-42,-108,-65,52,-37,78,-29,-30,-52,-22,0,-121,-54,66,-105,7,67,-71,-32,25,-95,-24,-47,69,-24,86,4,103,-58,14)",
      "ergoTreeScript": "{\n  val coll1 = SELF.R4[Coll[Byte]].get\n  val l2 = CONTEXT.preHeader.timestamp\n  val tuple3 = SELF.R5[(Long, Long)].get\n  val l4 = tuple3._1\n  val box5 = CONTEXT.dataInputs(placeholder[Int](0))\n  val i6 = box5.R4[Int].get\n  val coll7 = SELF.R6[Coll[Long]].get\n  val l8 = coll7(placeholder[Int](1)) - l2 - l4 / coll7(placeholder[Int](2)) * coll7(placeholder[Int](3))\n  val box9 = OUTPUTS.getOrElse(placeholder[Int](4), SELF)\n  val coll10 = box9.tokens\n  val coll11 = Coll[Byte]()\n  val l12 = box9.value\n  val tuple13 = (coll11, l12)\n  val tuple14 = coll10.getOrElse(placeholder[Int](5), tuple13)\n  val coll15 = SELF.R7[Coll[Byte]].get\n  val box16 = OUTPUTS.getOrElse(placeholder[Int](6), SELF)\n  val coll17 = box16.tokens\n  val l18 = box16.value\n  val tuple19 = (coll11, l18)\n  val tuple20 = coll17.getOrElse(placeholder[Int](7), tuple19)\n  proveDlog(decodePoint(coll1.slice(placeholder[Int](8), coll1.size))) || sigmaProp(if (l2 > l4) { if (l2 > tuple3._2) {(\n        val box21 = OUTPUTS(placeholder[Int](9))\n        allOf(Coll[Boolean](OUTPUTS.size == placeholder[Int](10), box21.tokens == SELF.tokens, box21.value >= SELF.value - placeholder[Long](11) * box5.R6[Long].get, box21.propositionBytes == coll1))\n      )} else {(\n        val box21 = box9\n        val coll22 = coll10\n        val coll23 = coll11\n        val l24 = l12\n        val tuple25 = tuple13\n        val tuple26 = tuple14\n        val box27 = box16\n        val box28 = box27.R4[Box].getOrElse(OUTPUTS(OUTPUTS.size - placeholder[Int](12)))\n        val opt29 = box28.R4[Int]\n        val bool30 = opt29.isDefined\n        val coll31 = coll17\n        val l32 = l18\n        val tuple33 = tuple19\n        val tuple34 = tuple20\n        val tuple35 = SELF.tokens(placeholder[Int](13))\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](14)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](15) - i6 - if (bool30) {(\n                  val i36 = opt29.getOrElse(placeholder[Int](16))\n                  if ((i36 < placeholder[Int](17)) || (i36 >= placeholder[Int](18))) { i36 } else { if ((i36 == placeholder[Int](19)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) { box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]()).fold(placeholder[Int](20), {(tuple37: (Int, (Coll[Byte], Int))) => tuple37._1 + tuple37._2._2 }) } else { placeholder[Int](21) } }\n                )} else { placeholder[Int](22) }.toLong / placeholder[Long](23))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple34._2 >= l8 * i6.toLong / placeholder[Long](24))) && (tuple34._1 == coll15), tuple35 == OUTPUTS.getOrElse(placeholder[Int](25), SELF).tokens(placeholder[Int](26)), if (bool30) {(\n              val i36 = opt29.get\n              if ((i36 < placeholder[Int](27)) || (i36 >= placeholder[Int](28))) {(\n                val box37 = OUTPUTS.getOrElse(placeholder[Int](29), SELF)\n                val tuple38 = box37.tokens.getOrElse(placeholder[Int](30), (coll23, box37.value))\n                ((tuple38._2 >= l8 * i36.toLong / placeholder[Long](31)) && (tuple38._1 == coll15)) && (box37.propositionBytes == box28.propositionBytes)\n              )} else { if ((i36 == placeholder[Int](32)) && box28.R5[Coll[(Coll[Byte], Int)]].isDefined) {(\n                  val coll37 = box28.R5[Coll[(Coll[Byte], Int)]].getOrElse(Coll[(Coll[Byte], Int)]())\n                  val i38 = coll37.size\n                  coll37.map({(tuple39: (Coll[Byte], Int)) => (tuple39._1, tuple39._2.toLong * l8 / placeholder[Long](33)) }).slice(placeholder[Int](34), i38) == OUTPUTS.slice(placeholder[Int](35), placeholder[Int](36) + i38).map({(box39: Box) =>\n                      val tuple41 = box39.tokens.getOrElse(placeholder[Int](37), (coll23, box39.value))\n                      if (tuple41._1 == coll15) { (box39.propositionBytes, tuple41._2) } else { (coll23, placeholder[Long](38)) }\n                    })\n                )} else { placeholder[Boolean](39) } }\n            )} else { placeholder[Boolean](40) } && (blake2b256(box28.bytes) == tuple35._1)))\n      )} } else { placeholder[Boolean](41) }) && sigmaProp(box5.tokens(placeholder[Int](42))._1 == placeholder[Coll[Byte]](43))\n}",
      "address": "quE2HvwgAp7z8q4tD1BfCfj72TPziUHqruk3L8jUWQ7bWGD7ugdkpkgYx9kztPTmJborN4baTrHuenaZrCtoB3VHeLjQUQACzZ67qpnMGUAyGs93mUpwodKekvSM8Y6rCFVMxFw76MD8ZUjMPd2J8awcfECurL9v6HkjFnzKJr72NXdQ18XYYGRneXbbkgU5qzUKTLoC2weUGsDpNhfDh9xBGV7CYconikP79c9b3ZcquSBdNCu4G5r2uvBVTHXaFgk5TioeSL4SqwS5sugeEeicTPre842uZBzNd7B3XqE75Rjum1bz1vBgGtadMqt2XRui7tqaK44LjeYfds3N4CWZsYwx69h2PpHFrU9Mzvvj3ju6XGVS5X6GnyGgttXiHgokZPhD45m2etzAUXovNPeutrw5zmQudCh9jXBSfujXDBPS7ohC7qLj3Hj4zfRJTmUzPNMEUGLED57kowMXdAq95h4LciSLcNgZjM3dAwVkkPFgTnu1gvFSR6HAb78d8cx4khpf5bvtPpRxLk1vXeqRxBagUQwgaTBJUEAbxF9bfs7TQBzboKL5krjpqXKydYQb5pbZ64bRk6U6hzNjmn8XEexRE8RACaJrk9MvtXVVqJRyKRkWRvMKgo3QtfXR1qNZcXKV5AHzwCPfHXfxXAkSkEPPXFxYyj33KLuuLAw7LyWqL1v6fFXzohq1oZB3tqXGZbksri3i86cCtMoUFUCUHT2BgCxUmQVGnuUvNTe69PU5VKraGowqUo8MJFXS7njsW7uZyK867qZpPPXwu2fLgK2whDihx6JKY1Ub3aw3mUkjbdqhMxSh4m6ZhD2piJYwtiEb7juZhrhVWVqaJDFCc2aED8Vdc1Z4W9pEt8UKhHcLcHn6CiaSHiyhFwRY3bMuVZwtY2XFwzQRSfW2VyYoC5Dqby43xYuEHe1Ld7ANMsXgHzwwkisdt4rQ1EHMynXM6926DEVYewgxrGEaXdYDymLWZ5DKHdmyvYW6keH9NysQGKytiax8wUyiqyaLhXoqbJCWxrcyu9MZLZpJFRXonKCNK1SAmRkRNQfkmY9jDVnj5nBdjtEGxa9pwAFENv6xa58J1zcA4MD6Tj9B4B36YrWT2TLs7Pp4jMJryA5sUVsL6jn7cEnbjaH78qQw2sicncneBaAoQnFJedyWfnQC3GYRAfRPp3kxfZNsJf2aQQ",
      "assets": [
        {
          "tokenId": "52f4544ce8a420d484ece16f9b984d81c23e46971ef5e37c29382ac50f80d5bd",
          "index": 0,
          "amount": 100,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e8504101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "101d04000402040204000402040404000400040605c8010580dac4090400040404000500040004020404060203e804000e20d968ce08fd24f3f5fad86f9dded2eaf0920b63c6fd62e56489f74789a8807c2a0e240008cd03428e7f793d8b247998f4775dabff0a69337d0712ff3062fe577fec76a30e028c0406040004020580dac409040404040e20f457187facd8509320f0fe32c72b491904c96f3b1059b66705849b9da1b8d54cd813d601db6308a7d60293b172017300d603db6308b2a5730100d604b2a4730200d605db63087204d6068cb2720573030001d607b27205730400d608b1a4d609959172087305b2a4730600b2db6501fe730700d60adb63087209d60bc1a7d60c9d9c720b7e7308057309d60d7e9999720b730a720c06d60e7ee4c67209040406d60fb2a5730b00d610b2a5730c01720fd611b27201730d018602830002730ed612db6308720fd6138c720702d1edecedededed7202ed938cb27203730f00017206d801d6147213927e8cb2720373100002069a7e7214069d9c9c7e8cb2720a7311000206720d720e9a9c7ec172090673129c720d720e938cb2720a731300017314ed93c27210731592c17210720c9372087316edededed938c7211018c720701eded938cb27212731700017206928cb27212731800029a72138c72110292c1720f999ac17204720b7319937208731aef7202937208731b937206731c"
        },
        "R5": {
          "serializedValue": "59b6ebbaa6cf64b6bbd39dd164",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1728630446811,1728889646811]"
        },
        "R6": {
          "serializedValue": "1103e0aee0af8903f8fd8ef40280bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[52797639600,390193020,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "d847a7f801f55664a08218cd2b5b1962a6d5188c4b086eb1411a779cb5a440bf",
      "mainChain": true
    },
    {
      "boxId": "f8ad3c095539992fddce8e182af3cf861b3a8a33638484afeafc2a0d18e08a8f",
      "transactionId": "6b0cc0709d57e677e9d4ec6eb84b99e75a5024e9af2e2a4b8f9a075885e1cf4e",
      "blockId": "e6c939ff991abca17c2047de2a0abf0b7bbdde39bdfa1153b2d76008ffd673de",
      "value": 2000000,
      "index": 11,
      "globalIndex": 43174303,
      "creationHeight": 1371063,
      "settlementHeight": 1371065,
      "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": "94b0d53d83313f3d6b8322126674b34494b0e92c7b990c5e8b7915da5b36bb0b",
      "mainChain": true
    }
  ],
  "size": 15600,
  "isUnconfirmed": false
}