Ad
Inputs (1)
Output transaction:
Settlement height:
Value:
6.37 ERG
Tokens:
Loading assets...
Outputs (24)
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.015 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
2.9 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
3.15 ERG
Spent in transaction:
Settlement height:
Value:
0.005 ERG
Transaction Details
Status: Confirmed
Size: 12.74 KB
Received time: 5/1/2024 02:52:00 PM
Included in blocks: 1,255,048
Confirmations: 523,393
Total coins transferred: 6.37 ERG
Fees: 0.005 ERG
Fees per byte: 0.000000383 ERG
Raw Transaction Data
{
  "id": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
  "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
  "inclusionHeight": 1255048,
  "timestamp": 1714575120587,
  "index": 2,
  "globalIndex": 7126674,
  "numConfirmations": 523393,
  "inputs": [
    {
      "boxId": "97b38a0c84b470d6a44388ce9dfa495fa4e0d4400de7cdcb9b279bb14d8992ff",
      "value": 6365438395,
      "index": 0,
      "spendingProof": "b8f075594df85d401b11e1665ce480a25ca7ef79dede5378a949a991cbbc0850de527aafb22db2b7aaf8c40283969296e042ab7a742ee4ce",
      "outputBlockId": "fb83f34638263de19e7f53f6408cf2c81d40ed283b48f021e98cd489bfa5e2e2",
      "outputTransactionId": "e908aeb33c2a7c5099227ce94d140d90429f829aa2b8e0420d7acb85469ec4f7",
      "outputIndex": 2,
      "outputGlobalIndex": 39733697,
      "outputCreatedAt": 1255042,
      "outputSettledAt": 1255044,
      "ergoTree": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(70c7b2,356b22,...)))}",
      "address": "9fNjL8244cM2nopvzKdxatcDCPSGgJJ2h7HQ4eZmbkqXPmSzxJT",
      "assets": [
        {
          "tokenId": "42b0c9d6e9929060a2cdc6be7278f65b7aecc6e7e94bbdeb5eda6c712b069ff6",
          "index": 0,
          "amount": 1,
          "name": "Elixir Enchanter",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "71ba0cd92fb92b9203e154b00731d8fe678d8e792a9f9598d489d6a5a6f79b33",
          "index": 1,
          "amount": 1,
          "name": "Gnome Tech",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "cb366c62bdf68435ea8bbf043455f07bff245804b130d2bb75bcfb5d14f1ce3b",
          "index": 2,
          "amount": 1,
          "name": "Chariot of Ramses",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "85918c45d5317972a0b138891250c52eb0b44ff4240471aafcfa55ea1a904ac0",
          "index": 3,
          "amount": 2,
          "name": "Cortex Crawler",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "e38abd1516e1fcf2e57f19362f14dc62becf3c15310b4358baaf45c833995107",
          "index": 4,
          "amount": 1,
          "name": "Masked Hoarder",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "07060db260d000e711d491945daf6a57b6b350736bdadb8426f4ce68441d2d9f",
          "index": 5,
          "amount": 2,
          "name": "Byteburner",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "d16051edd327ff45032298192a0effdd6aec33bf3731aec390c1535b8e4a6586",
          "index": 6,
          "amount": 1,
          "name": "Caged Cat",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "34510f0a957ad9b9de9a477ac971513a3968468ab99b29fd04abc6916c993bc0",
          "index": 7,
          "amount": 3,
          "name": "Gizmo",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "fffe37fb34334753605189d5b8999df750b3c93796e02cd87c11fa1a0e19b7bc",
          "index": 8,
          "amount": 3,
          "name": "Young Bull",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "fc0e31589aa240fb8270efa3c41a661bc6377437c87a1d653ab68eb493409197",
          "index": 9,
          "amount": 1,
          "name": "Siege of Kom El",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "3d3450db6b342f2a0d8eeb07de622aeca90c139a7dc9f0c8192c217e4b65fe3e",
          "index": 10,
          "amount": 1,
          "name": "Dune Crocs",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "f6f348bed9c772f36722ec5e3dadaa5a37e7b8313df50174a6bc68318b4b0122",
          "index": 11,
          "amount": 1,
          "name": "Echo",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "79408a0713bf0d31fe8c27b7c6dfe570bd1d997305f2502476f6a9120845328f",
          "index": 12,
          "amount": 2,
          "name": "Fire Sprite",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "678d43fb35f52752bed0000058d895e6644bbdafac8206153bea96212c3261ac",
          "index": 13,
          "amount": 1,
          "name": "Hardy Chuckles",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "0a8f2709c00970b1e505289d5a6a09a9443b4609cc91e7b354ce49d98169a5f0",
          "index": 14,
          "amount": 2,
          "name": "Infernal Pup",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "68ff37b326f54dd374a1a83351d4adb51952c4540f79a53c8353c549d4f9635f",
          "index": 15,
          "amount": 2,
          "name": "Neural Cannon",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "9c29572725c690c863f15e6aa06d0b187c91519e76e1065f0d1eeebb1dc4958c",
          "index": 16,
          "amount": 1,
          "name": "Sobek",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "c3a9cce0840d0702e8516025de44e0e6b5f2c54f04122cc3a92b8762546dfce0",
          "index": 17,
          "amount": 1,
          "name": "Grimgob",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "b59bf9c1f6fff466a153fa99fd53fe609fa25ed06035a1e0fa08f6eede425420",
          "index": 18,
          "amount": 1,
          "name": "Data Diver",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "060698e8a92ebf5e5099d17bdc758d041255ea93ed38a18c3fa58bfe0bb3c2b4",
          "index": 19,
          "amount": 1,
          "name": "Mary Making",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "b218b216345682e8a5868680df6e030500a142965229c18de02de54fbb24dcf0",
          "index": 20,
          "amount": 1,
          "name": "Fangfiend",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "24b33a24b0d3470e5801b8a28a4db4b6a5ee5c3c36d05af2a4cd4753990e3429",
          "index": 21,
          "amount": 1,
          "name": "Flutterkin",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "af10189475565dd546e2eacf9b65c53c0150a2b4f3f4c3a7dc0d8734810d8f6e",
          "index": 22,
          "amount": 1,
          "name": "Ethereal Vanguard",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [
    {
      "boxId": "dc5baed8d08ae04cc52d24d6947963d70ed36721da7480180a16bcbf30882908",
      "value": 3219364,
      "index": 0,
      "outputBlockId": "0926ca09654a5cc52df11736853080d7f207e81e4f447657c7c26f2c2023f2b2",
      "outputTransactionId": "a3c9f6e7ba3ef05707139ee011a82bd134591edff86f40ef6e2313e1c9c280ca",
      "outputIndex": 0,
      "ergoTree": "0008cd03b04048a9708f0a2b109d75513a2483e3b9ede622efb3cc03bdddf93bccd93ac5",
      "address": "9hoRnjysKfkwZSCgSFNzSXMohwYn8DqruuYxD6vT7Ubw55qnwiZ",
      "assets": [],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0e240008cd03d4e3f9c9956945986a2bc2621a2fc02b9f7492fe57c87be07a33a0d7ccef5bc8",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd03d4e3f9c9956945986a2bc2621a2fc02b9f7492fe57c87be07a33a0d7ccef5bc8"
        },
        "R6": {
          "serializedValue": "0580dac409",
          "sigmaType": "SLong",
          "renderedValue": "10000000"
        },
        "R8": {
          "serializedValue": "058084af5f",
          "sigmaType": "SLong",
          "renderedValue": "100000000"
        },
        "R7": {
          "serializedValue": "110280dddb0180fca402",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1800000,2400000]"
        },
        "R4": {
          "serializedValue": "043c",
          "sigmaType": "SInt",
          "renderedValue": "30"
        }
      }
    }
  ],
  "outputs": [
    {
      "boxId": "41a5c5805e11cbdfaa6eef195b21109f4ca03cb61bdf45e1c60521c7f3822cfc",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 0,
      "globalIndex": 39733837,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "b59bf9c1f6fff466a153fa99fd53fe609fa25ed06035a1e0fa08f6eede425420",
          "index": 0,
          "amount": 1,
          "name": "Data Diver",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59fcabcbcae663fc9ce68aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575469310,1715179669310]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "9f1312db39bbf382a8c3407df740953c4f4a4d0a2238dac915c437789263036b",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 1,
      "globalIndex": 39733838,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "34510f0a957ad9b9de9a477ac971513a3968468ab99b29fd04abc6916c993bc0",
          "index": 0,
          "amount": 3,
          "name": "Gizmo",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59fae6cbcae663fad7e68aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575473085,1715179673085]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "6b0e900d9df66042714c2a94a3367bc25cf4df8d95e7fce1db5548ed00f26c40",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 2,
      "globalIndex": 39733839,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "07060db260d000e711d491945daf6a57b6b350736bdadb8426f4ce68441d2d9f",
          "index": 0,
          "amount": 2,
          "name": "Byteburner",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "598a86cccae6638af7e68aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575475077,1715179675077]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "1f20965ead7a17686dbb71d8beef7d6a7943e990f600685de1ee1317f704dcc2",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 3,
      "globalIndex": 39733840,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "68ff37b326f54dd374a1a83351d4adb51952c4540f79a53c8353c549d4f9635f",
          "index": 0,
          "amount": 2,
          "name": "Neural Cannon",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "598aaacccae6638a9be78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575477381,1715179677381]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "8650772e90d7da32a606c5008e0fd818a286d9a0eb212a1316adf27e4fe97ec9",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 4,
      "globalIndex": 39733841,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "71ba0cd92fb92b9203e154b00731d8fe678d8e792a9f9598d489d6a5a6f79b33",
          "index": 0,
          "amount": 1,
          "name": "Gnome Tech",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59fac1cccae663fab2e78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575478909,1715179678909]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "d2126bfbd68be140cbd4b69dbd7f0bad460d88628bf296342970086786630761",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 5,
      "globalIndex": 39733842,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "85918c45d5317972a0b138891250c52eb0b44ff4240471aafcfa55ea1a904ac0",
          "index": 0,
          "amount": 2,
          "name": "Cortex Crawler",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59ead0cccae663eac1e78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575479861,1715179679861]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "029928ffa6e67269bd50bf0ed566b23acc934ba6135ccacd09a543e823080dce",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 6,
      "globalIndex": 39733843,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "af10189475565dd546e2eacf9b65c53c0150a2b4f3f4c3a7dc0d8734810d8f6e",
          "index": 0,
          "amount": 1,
          "name": "Ethereal Vanguard",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "598adfcccae6638ad0e78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575480773,1715179680773]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "a5e7391dc2fd608446c16880de61598290d95db2420fc77788b7a5399e119e1d",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 7,
      "globalIndex": 39733844,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "42b0c9d6e9929060a2cdc6be7278f65b7aecc6e7e94bbdeb5eda6c712b069ff6",
          "index": 0,
          "amount": 1,
          "name": "Elixir Enchanter",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59a8e9cccae663a8dae78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575481428,1715179681428]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "509999ff7b5731c474be891de9b1b44ea222d8cb15ed5b80606525e65ba37b01",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 8,
      "globalIndex": 39733845,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "0a8f2709c00970b1e505289d5a6a09a9443b4609cc91e7b354ce49d98169a5f0",
          "index": 0,
          "amount": 2,
          "name": "Infernal Pup",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59a889cdcae663a8fae78aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575483476,1715179683476]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "6b44a96ed41a3f3578e6c4701908f893ac798da93b6fff317b84375afd003eb4",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 9,
      "globalIndex": 39733846,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "f6f348bed9c772f36722ec5e3dadaa5a37e7b8313df50174a6bc68318b4b0122",
          "index": 0,
          "amount": 1,
          "name": "Echo",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59baa0cdcae663ba91e88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575484957,1715179684957]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "8096cc07c0f1bab7e571d7aeef8385807004eed62e5d6cb84f699be03a3187c3",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 10,
      "globalIndex": 39733847,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "79408a0713bf0d31fe8c27b7c6dfe570bd1d997305f2502476f6a9120845328f",
          "index": 0,
          "amount": 2,
          "name": "Fire Sprite",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59a8aecdcae663a89fe88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575485844,1715179685844]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "260f84d42378c31e24320842b53e64e69a1434b1af03867c0c888e94a88208d3",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 11,
      "globalIndex": 39733848,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "24b33a24b0d3470e5801b8a28a4db4b6a5ee5c3c36d05af2a4cd4753990e3429",
          "index": 0,
          "amount": 1,
          "name": "Flutterkin",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59dabccdcae663daade88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575486765,1715179686765]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "4a1cc11614abf901175f975640380840138e523f5029dd9e4a12a1b4cc79d894",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 12,
      "globalIndex": 39733849,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "d16051edd327ff45032298192a0effdd6aec33bf3731aec390c1535b8e4a6586",
          "index": 0,
          "amount": 1,
          "name": "Caged Cat",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59fae4cdcae663fad5e88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575489341,1715179689341]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "ce16a03b2ad83508c6bd98f77a326eee3876e050a66fd65173c5d3119aff4385",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 13,
      "globalIndex": 39733850,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "9c29572725c690c863f15e6aa06d0b187c91519e76e1065f0d1eeebb1dc4958c",
          "index": 0,
          "amount": 1,
          "name": "Sobek",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59dafccdcae663daede88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575490861,1715179690861]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "d4002174082b8e6c733aa62bd2709b8cc9d0641cdc72c3c1e57549db2f138480",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 14,
      "globalIndex": 39733851,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "b218b216345682e8a5868680df6e030500a142965229c18de02de54fbb24dcf0",
          "index": 0,
          "amount": 1,
          "name": "Fangfiend",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59aa8dcecae663aafee88aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575491925,1715179691925]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "58b19a3e9595effba6ddaee3d5074a901f96cdd642278c85a6544daed3799864",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 15,
      "globalIndex": 39733852,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "fffe37fb34334753605189d5b8999df750b3c93796e02cd87c11fa1a0e19b7bc",
          "index": 0,
          "amount": 3,
          "name": "Young Bull",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59bca8cecae663bc99e98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575493662,1715179693662]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "4ae752d99a0b79e2190950acaa547f755a82637d93cd8be3ec47633ba96d335c",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 16,
      "globalIndex": 39733853,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "fc0e31589aa240fb8270efa3c41a661bc6377437c87a1d653ab68eb493409197",
          "index": 0,
          "amount": 1,
          "name": "Siege of Kom El",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59c8cbcecae663c8bce98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575495908,1715179695908]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "9a2a7aefabe63c1c95ce61b4ea9b53b0ad3ddf65b5c9ec602262119493d86419",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 17,
      "globalIndex": 39733854,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "3d3450db6b342f2a0d8eeb07de622aeca90c139a7dc9f0c8192c217e4b65fe3e",
          "index": 0,
          "amount": 1,
          "name": "Dune Crocs",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59dadececae663dacfe98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575497133,1715179697133]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "e4dfbe6243ae9126884796b937dee21e11f6993c718d446cf9189d93410b3eb2",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 18,
      "globalIndex": 39733855,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "678d43fb35f52752bed0000058d895e6644bbdafac8206153bea96212c3261ac",
          "index": 0,
          "amount": 1,
          "name": "Hardy Chuckles",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59b8f1cecae663b8e2e98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575498332,1715179698332]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "bd5cb6e693c0b846d985e65dbe971a21f6e7aa5f21dd2f166d36e96e6c79611a",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 19,
      "globalIndex": 39733856,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "e38abd1516e1fcf2e57f19362f14dc62becf3c15310b4358baaf45c833995107",
          "index": 0,
          "amount": 1,
          "name": "Masked Hoarder",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59ea81cfcae663eaf2e98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575499381,1715179699381]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "d2e8f1ecfcf9c2b1fb3a9f19a133b0dea719fe0b716e03a9827587fa032220b9",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 15000000,
      "index": 20,
      "globalIndex": 39733857,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "1016040004000404040204040400040204000406040004060504040004d00f05d00f05d00f040004000400010004000e209ebcd694bf34db4ee3e2ccea0087ca42970743b9e019a1e8d145e8560467c60ed814d601e4c6a7040ed602db6903db6503fed603e4c6a70559d6048c720301d605b2db6501fe730000d606e4c672050404d607e4c6a70611d60899b272077301009c9d9972027204b27207730200b27207730300d609b2a5730401a7d60adb63087209d60b830002d60cc17209d60d8602720b720cd60eb2720a730501720dd60fe4c6a7070ed610b2a5730601a7d611db63087210d612c17210d6138602720b7212d614b272117307017213ea02eb02cdeeb472017308b17201d1959172027204959172028c720302d801d615b2a57309009683040193b1a5730a93db63087215db6308a792c1721599c1a79c730be4c67205060593c272157201d80bd6157209d616720ad617720bd618720cd619720dd61a720ed61b7210d61c7211d61d7212d61e7213d61f72149683040193c5b2a4730c00c5a7eded93c272157201928c721a029d9c72087e99730d720605730e938c721a01720feded93c2721be4c67205050e928c721f029d9c72087e720605730f938c721f01720f93b2db6308a7731000b2db6308b2a5731101a77312007313d1938cb2db63087205731400017315",
      "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: 0\n13: 1000\n14: 1000\n15: 1000\n16: 0\n17: 0\n18: 0\n19: false\n20: 0\n21: 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 coll28 = coll17\n        val l29 = l18\n        val tuple30 = tuple19\n        val tuple31 = tuple20\n        allOf(Coll[Boolean](INPUTS(placeholder[Int](12)).id == SELF.id, ((box21.propositionBytes == coll1) && (tuple26._2 >= l8 * placeholder[Int](13) - i6.toLong / placeholder[Long](14))) && (tuple26._1 == coll15), ((box27.propositionBytes == box5.R5[Coll[Byte]].get) && (tuple31._2 >= l8 * i6.toLong / placeholder[Long](15))) && (tuple31._1 == coll15), SELF.tokens(placeholder[Int](16)) == OUTPUTS.getOrElse(placeholder[Int](17), SELF).tokens(placeholder[Int](18))))\n      )} } else { placeholder[Boolean](19) }) && sigmaProp(box5.tokens(placeholder[Int](20))._1 == placeholder[Coll[Byte]](21))\n}",
      "address": "7kmRrLFXxVxggWEYMMiQ4rcd93a9SEKSh6MxyzNLGWHS9c9aQHVgN7gEWwUQgEgjNfX6roC2vcnL1b3wz4pcyBMfa3uYLNF15JtUuixYXNKYzAqcxALVs3gvJDkWQbtWtAeUHzbrnYyRRiFs7hGZ4Mqf8xk5gaHsdojBWVraN61kHX8iRXPyqA9JzbCsnYZ7KmxovJjco7ScaqDHgTU89uAnGqzT86tsBpigRhpj2hVXqwGKgXTWvY4x92ebwTftnHR9ftS6FhejVrVCcJ4ud92XjpVpQ9WoFqay1o4TAibydeLDoBDfVvYxTYo2Udx7CjtdLnBP38nqAamFgFWy9t48gwuhjrsTGoGGVGHAxFoPGAB62TFrpPdAJxRsw6Dyu22ToptQ5KA5D4tKco2byR6fyzRsT8U76xZux5Et2RVSwRjChyY71SiHXf7nPNVaQwxgdJf8StuiczHR1dWEcAP6RLjrBBwReX2cmoGvyRbwuHRNGUunub6yeyqRjGkNGXhb7Htc1udoSMS6K2wL1yusGMgRVjgvgY5uRvCJDDMQK4zhFVXzUJUysWdk5JcYxXUCTNxwGEwbzV42FqZAXtkV7ifNfN8E8nD12qWyqSpRghLkdXtXLJFm9vFhw1nDrb2BVVTmFgDSu4pxKVM4fJbKZqfUrJEDdpPxzmNgQE2QN",
      "assets": [
        {
          "tokenId": "c3a9cce0840d0702e8516025de44e0e6b5f2c54f04122cc3a92b8762546dfce0",
          "index": 0,
          "amount": 1,
          "name": "Grimgob",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "0e240008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08"
        },
        "R5": {
          "serializedValue": "59e88acfcae663e8fbe98aeb63",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1714575499956,1715179699956]"
        },
        "R6": {
          "serializedValue": "110380bcc1960b0002",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1500000000,0,1]"
        },
        "R7": {
          "serializedValue": "0e00",
          "sigmaType": "Coll[SByte]",
          "renderedValue": ""
        }
      },
      "spentTransactionId": "af1a52b1da23e623966146b002bc409f5eb0f6728c5b1a459663db32393fbdeb",
      "mainChain": true
    },
    {
      "boxId": "92c728ff1ecbd2d530624207a75d6563333c8eb29300ba638015c5d911ce6246",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 2895438395,
      "index": 21,
      "globalIndex": 39733858,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "0008cd0270c7b28543e28e4c0b5f9c3dcf0c76c6c9f70c2dbd1d51f4470831c731c71c08",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(70c7b2,356b22,...)))}",
      "address": "9fNjL8244cM2nopvzKdxatcDCPSGgJJ2h7HQ4eZmbkqXPmSzxJT",
      "assets": [
        {
          "tokenId": "cb366c62bdf68435ea8bbf043455f07bff245804b130d2bb75bcfb5d14f1ce3b",
          "index": 0,
          "amount": 1,
          "name": "Chariot of Ramses",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "060698e8a92ebf5e5099d17bdc758d041255ea93ed38a18c3fa58bfe0bb3c2b4",
          "index": 1,
          "amount": 1,
          "name": "Mary Making",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "9856965057d539b2cdd0b271a017457bc51cec72442c1ce572e569ef7656ec73",
      "mainChain": true
    },
    {
      "boxId": "2835d2aaa371bc438ab71bd4b8edec618279357c4a0264bc8b59276590113c30",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 3150000000,
      "index": 22,
      "globalIndex": 39733859,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "ergoTree": "0008cd03240e71da7ba42ff1e2f68c425ee64ca7d9504a1c84b0c95de4a6effe68804d1d",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(240e71,dfb102,...)))}",
      "address": "9gjghouPwq9TCKyFAAvHPsoE1n9moZWec9oKeRzAjnV9p4hAzvo",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "396d656b6dd44427025b5b631b750c87d32c27d56f5bd3d057073e029ce93908",
      "mainChain": true
    },
    {
      "boxId": "5efc7d46a269267104c6350fd4330834a18408c74476740f5108a95cae265524",
      "transactionId": "b0ffadf42fb049b126ff021f6c9878d6968f0b4e5c2ca680fead003e0068740b",
      "blockId": "ac9bb42e8ca8719b41d8a94267aaf1d9413cb408a38f170f1bc16c2a9cd4b5f5",
      "value": 5000000,
      "index": 23,
      "globalIndex": 39733860,
      "creationHeight": 1255046,
      "settlementHeight": 1255048,
      "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": "ab234d801b7dbfc2c5ab978d85fc3cbe94fb7d143f952f493bbde203f70c0b73",
      "mainChain": true
    }
  ],
  "size": 13042,
  "isUnconfirmed": false
}