Ad

Transaction

1/21/2024 06:38:06 AM
ID: f3e3ed435e...3570
Inputs (1)
#0
cf9db97ede22...26a7
Spent
Address:
Auction Coin (Bank)
Output transaction:
a710624c2e11...f01d
Settlement height:
1,181,964
Value:
19.44 ERG
Tokens:
Loading assets...
Outputs (12)
#0
aaf46647c3b6...6a9b
Spent
Address:
Auction Coin (Bank)
Spent in transaction:
d4e1bb0112e9...36b7
Settlement height:
1,182,660
Value:
19.34 ERG
Tokens:
Loading assets...
#1
696cd3d46e59...2436
Spent
Address:
Auction House (quE2)
Spent in transaction:
2eaca294d9e6...cc2a
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#2
75199ae2df7e...68b6
Spent
Address:
Auction House (quE2)
Spent in transaction:
6bb51bfd65e9...db1f
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#3
3d0a08341c53...9da6
Spent
Address:
Auction House (quE2)
Spent in transaction:
abd3aea1e4d4...306c
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#4
859cb882fac2...7a9f
Spent
Address:
Auction House (quE2)
Spent in transaction:
e0596f5fdf1b...455e
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#5
3e57cb9d7c7c...7d8e
Spent
Address:
Auction House (quE2)
Spent in transaction:
681d94be5b0e...69b8
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#6
767cf51bd919...ee04
Spent
Address:
Auction House (quE2)
Spent in transaction:
3dd6f8b06318...b2f7
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#7
29a03bf4ddaa...81a1
Spent
Address:
Auction House (quE2)
Spent in transaction:
fb4aebd7986b...e07b
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#8
e0ee8ae616cc...598f
Spent
Address:
Auction House (quE2)
Spent in transaction:
77559297d3c2...9f78
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#9
cfdf380eda3c...ecf1
Spent
Address:
Auction House (quE2)
Spent in transaction:
5c5fa20c0644...61c0
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#10
5cded1394e28...3970
Spent
Address:
Auction House (quE2)
Spent in transaction:
ccb6dedab180...3042
Settlement height:
1,182,660
Value:
0.01 ERG
Tokens:
Loading assets...
#11
60d4932034a3...4996
Spent
Address:
Ergo Platform (Miner Fee)
Spent in transaction:
abb8c39b86cb...0b0c
Settlement height:
1,182,660
Value:
0.002 ERG
Transaction Details
Status: Confirmed
Size: 15.23 KB
Received time: 1/21/2024 06:38:06 AM
Included in blocks: 1,182,660
Confirmations: 576,561
Total coins transferred: 19.44 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000128 ERG
Raw Transaction Data
{
  "id": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
  "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
  "inclusionHeight": 1182660,
  "timestamp": 1705819086869,
  "index": 2,
  "globalIndex": 6503716,
  "numConfirmations": 576561,
  "inputs": [
    {
      "boxId": "cf9db97ede22f0beef0cd771d9bcdd11bbcce3f289890b860f7b38363dda26a7",
      "value": 19437000026,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "100473480ff86a1c65d877d14a3eade74481c021a745ef297515207275839671",
      "outputTransactionId": "a710624c2e119f4d7b919049af39162f42d65bfc7b4211ae04d8dcea43caf01d",
      "outputIndex": 1,
      "outputGlobalIndex": 36258513,
      "outputCreatedAt": 1181962,
      "outputSettledAt": 1181964,
      "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": 86192,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "110280c9b1aba56380c0cbc902",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1705818600000,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": "cc26fefc3521f41e4f91623720860f4f9ce8288b4de47b85a00a94630ff176d0",
      "value": 943589272564,
      "index": 0,
      "outputBlockId": "8886af91708057858f092ceb022eae165f0ee4b85e9d0d37e635f0c3b256f54f",
      "outputTransactionId": "a169c60d13a0de03541ae61ffd9237ac829c42149975a398d13b0ff06fdd26cf",
      "outputIndex": 0,
      "ergoTree": "1999030f0400040204020404040405feffffffffffffffff0105feffffffffffffffff01050004d00f040004000406050005000580dac409d819d601b2a5730000d602e4c6a70404d603db63087201d604db6308a7d605b27203730100d606b27204730200d607b27203730300d608b27204730400d6099973058c720602d60a999973068c7205027209d60bc17201d60cc1a7d60d99720b720cd60e91720d7307d60f8c720802d6107e720f06d6117e720d06d612998c720702720fd6137e720c06d6147308d6157e721206d6167e720a06d6177e720906d6189c72117217d6199c72157217d1ededededededed93c27201c2a793e4c672010404720293b27203730900b27204730a00938c7205018c720601938c7207018c72080193b17203730b9593720a730c95720e929c9c721072117e7202069c7ef07212069a9c72137e7214067e9c720d7e72020506929c9c721372157e7202069c7ef0720d069a9c72107e7214067e9c72127e7202050695ed720e917212730d907216a19d721872139d72197210ed9272189c721672139272199c7216721091720b730e",
      "address": "5vSUZRZbdVbnk4sJWjg2uhL94VZWRg4iatK9VgMChufzUgdihgvhR8yWSUEJKszzV7Vmi6K8hCyKTNhUaiP8p5ko6YEU9yfHpjVuXdQ4i5p4cRCzch6ZiqWrNukYjv7Vs5jvBwqg5hcEJ8u1eerr537YLWUoxxi1M4vQxuaCihzPKMt8NDXP4WcbN6mfNxxLZeGBvsHVvVmina5THaECosCWozKJFBnscjhpr3AJsdaL8evXAvPfEjGhVMoTKXAb2ZGGRmR8g1eZshaHmgTg2imSiaoXU5eiF3HvBnDuawaCtt674ikZ3oZdekqswcVPGMwqqUKVsGY4QuFeQoGwRkMqEYTdV2UDMMsfrjrBYQYKUBFMwsQGMNBL1VoY78aotXzdeqJCBVKbQdD3ZZWvukhSe4xrz8tcF3PoxpysDLt89boMqZJtGEHTV9UBTBEac6sDyQP693qT3nKaErN8TCXrJBUmHPqKozAg9bwxTqMYkpmb9iVKLSoJxG7MjAj72SRbcqQfNCVTztSwN3cRxSrVtz4p87jNFbVtFzhPg7UqDwNFTaasySCqM",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "04c60f",
          "sigmaType": "SInt",
          "renderedValue": "995"
        }
      }
    }
  ],
  "outputs": [
    {
      "boxId": "aaf46647c3b6ed6949932da21af36c81462c0d703bd6300cf753fae18bd46a9b",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 19335000026,
      "index": 0,
      "globalIndex": 36285664,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": 85192,
          "name": "AuctionCoin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "11028089fdf4a76380c0cbc902",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1706164200000,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": "d4e1bb0112e9cafc261216a26749dc404f52501e96d299ac9c8c511ab78436b7",
      "mainChain": true
    },
    {
      "boxId": "696cd3d46e599acaac44cb826e15b8c492521b5bc8cd84f1a9b09489632a2436",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 1,
      "globalIndex": 36285665,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103d0dabe97d801c6a0c0cc0180bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[29015660200,214435875,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "2eaca294d9e6d59fce73fd143aaeb5e50be10392b376c016bafcecdbeec4cc2a",
      "mainChain": true
    },
    {
      "boxId": "75199ae2df7e1e6f0a95a6c00989bf97b2f065d0341b2b38aadd203fbbf568b6",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 2,
      "globalIndex": 36285666,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103d0dabe97d801c6a0c0cc0180bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[29015660200,214435875,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "6bb51bfd65e9095e64a2ad2ec125df83e0c733f4e0112a52efda1c118415db1f",
      "mainChain": true
    },
    {
      "boxId": "3d0a08341c5337456f6db3fd9ce4e700afdbb58e54d6a23586df1d681cc29da6",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 3,
      "globalIndex": 36285667,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103c0eafadde0069c8281b20680bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[116062640800,857743502,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "abd3aea1e4d4f0c6b69961b4b441341e025b2cb02813326a76606097c1b3306c",
      "mainChain": true
    },
    {
      "boxId": "859cb882fac234dad14224ccd305669bd2156b8353a8220bee97efed508a7a9f",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 4,
      "globalIndex": 36285668,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "e0596f5fdf1bad0937f4d5c2a731b1dbcae347cb127f27f28ed8f2b5f951455e",
      "mainChain": true
    },
    {
      "boxId": "3e57cb9d7c7c08e2db87280ac152b69264d189fa231c6e89985b62f9af3d7d8e",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 5,
      "globalIndex": 36285669,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "681d94be5b0e58110df72d27b2177f7620b53a8678188110aeac30359a6569b8",
      "mainChain": true
    },
    {
      "boxId": "767cf51bd9193f04d7cb49e278084a11f8507a517c906a3c6e75f2634b14ee04",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 6,
      "globalIndex": 36285670,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "3dd6f8b063189404261f45ec1eb3ce0f705f126e77ddf4ccd9f5d5911d6bb2f7",
      "mainChain": true
    },
    {
      "boxId": "29a03bf4ddaa93e278611669eb833aeb77af31606597fcfa3a42053e0a0981a1",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 7,
      "globalIndex": 36285671,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "fb4aebd7986b185477c9d3ac88ecdbe1b8bc6a8cf62a5a8bb5cb6075e72be07b",
      "mainChain": true
    },
    {
      "boxId": "e0ee8ae616cc1890b89050ce3ff4ba9f3d301745aa95a556ed655d120451598f",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 8,
      "globalIndex": 36285672,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "77559297d3c210425e2a7672da873073372c77d4d9c427b035a316b34d529f78",
      "mainChain": true
    },
    {
      "boxId": "cfdf380eda3ceabada3fe8650c5e0206d68e03eb6bfba3b89f660439f852ecf1",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 9,
      "globalIndex": 36285673,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "5c5fa20c064400010f0413a92cbb64fa61eb87fe5d0829a4fe04567f353761c0",
      "mainChain": true
    },
    {
      "boxId": "5cded1394e2825dce4d52a81f9e729658a94f9cd9571e82a1470a58b37633970",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 10000000,
      "index": 10,
      "globalIndex": 36285674,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "59b4e0bdada563b4b0d6a4a763",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1705820796954,1706079996954]"
        },
        "R6": {
          "serializedValue": "1103a0b5fdaeb0038ec180990380bab703",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[58031320400,428871751,3600000]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "ccb6dedab180f1adb31904f2fa70d4d138bcb6cad3388092ea5b03c900b83042",
      "mainChain": true
    },
    {
      "boxId": "60d4932034a3918c9b3a3336c51519c3f4ed64dcfe979fa8043be6147f1f4996",
      "transactionId": "f3e3ed435e207fbbff7ece580c24f72e94c4c2529f50a4e18d827cbafacf3570",
      "blockId": "0224b7c04619092547118ad033f8f2053e0a848ca8f847fa549fe285e4317806",
      "value": 2000000,
      "index": 11,
      "globalIndex": 36285675,
      "creationHeight": 1182658,
      "settlementHeight": 1182660,
      "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": "abb8c39b86cb141439704b921c5c68ddf43c5fa27f98e4c0c26b9c7a45020b0c",
      "mainChain": true
    }
  ],
  "size": 15600,
  "isUnconfirmed": false
}