Ad
Inputs (2)
Output transaction:
Settlement height:
Value:
0.0036 ERG
Tokens:
Loading assets...
Address:
Output transaction:
Settlement height:
Value:
3.16 ERG
Outputs (6)
Spent in transaction:
Settlement height:
Value:
0.0026 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
0.0036 ERG
Tokens:
Loading assets...
Spent in transaction:
Settlement height:
Value:
3 ERG
Spent in transaction:
Settlement height:
Value:
0.15 ERG
Spent in transaction:
Settlement height:
Value:
0.0016 ERG
Settlement height:
Value:
0.002 ERG
Transaction Details
Status: Confirmed
Size: 5.03 KB
Received time: 9/11/2023 05:03:03 PM
Included in blocks: 1,088,869
Confirmations: 667,154
Total coins transferred: 3.16 ERG
Fees: 0.0016 ERG
Fees per byte: 0.000000311 ERG
Raw Transaction Data
{
  "id": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
  "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
  "inclusionHeight": 1088869,
  "timestamp": 1694451783525,
  "index": 3,
  "globalIndex": 5812221,
  "numConfirmations": 667154,
  "inputs": [
    {
      "boxId": "16c7403a3411bbaa0314925e1d53c304eb181c2e0cea7e6a7a417b89277cb4e9",
      "value": 3600000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "outputTransactionId": "57f543d0a850fe1bee0fd62ea20745b304e9a72dff216a065b368a732b14a993",
      "outputIndex": 1,
      "outputGlobalIndex": 32532448,
      "outputCreatedAt": 1088867,
      "outputSettledAt": 1088869,
      "ergoTree": "10a3010400040604040e20699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf550e2068f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b0400040208cd03188e02e20a30ea1278e3aa933cffbd12cab1cc0c3f82d63cf414b551c2f0087204040502010104080400040004040408040c040205010502040204000e087f000fbaf55fab7e04020400040204020400050205020400040005020402040404060ef901100c040004000400040005000500040001010e20e540cceffd3b8dd0f401193576cc413467039695969427df94454193dddfb375050005000580a8c301d802d601db6308b2a4730000d602e4c6a7040895ed91b172017301938cb2720173020001e4c6a7050ed1938ce4c6b2a5730300094405017202d802d603d07202d604db6308a7ea02d1968302019683020192b0ada5d90105639593c272057203c1720573047305d90105599a8c7205018c720502c1a79591b172047306aea5d9010563ed93db63087205720493c272057203730793b0ada5d90105639593cbc272057308c172057309730ad90105599a8c7205018c720502730b72020580b1bd020ee201100804000580a8c3010400050204000e013004020580a8c301d807d601b2a5730000d602e4c6a7094405d603e4c67201040ed604e4c67201050ed605e4c67201070ed606e4c67201080ed607e4c67201090ed1968302019683040193c1720199c1a7730193c27201d08c72020193b2db630872017302008602c5a773039683020193cbb3b3b3b3b3b3b3b3b37a7eb172030572037a7eb172040572047a7eb172050572057a7eb172060572067a7eb17207057207cbe4dc640ae4c6b2db6501fe730400046402cb7a8c720202e4e3000e93e4c67201060e730593c1b2a5730600730704000502040405000e200b04273a4f6ec2ebacc25fe2e2118ed49cd950ff7421fd7a597055808b12eb060400040004000500050205020580b1fb94010580897a040005020580b1fb940104040502040a04080580a8c30104040502040c040a0580897a05010580b1fb94010580897a040005010580b1fb940104040502040a04080580a8c30104040502040c040a0580897a0580a084c1170580f882ad160580a084c11704040502040a04080580a8c30104040502040c040a0580897a010005020580b1fb94010580897a040005020580b1fb940104040502040a04080580a8c30104040502040c040a0580897a050205010580b1fb940104000502040205010580b1fb940104040502040a04080580a8c30104040502040c040a0580897a0580a084c1170580f882ad16040005020580a084c11704040502040a04080580a8c30104040502040c040a0580897a0100010001000580c6868f0108cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b482904000580a8c3010580897a04000400040205000500040004020580a8c30104040580897a0100d812d601e4c6a70759d602db6807b2db6502fe730000d603908c7201017202d604e4c6a7080dd605b27204730100d606b27204730200d6078c720102d6087303d6097304d60ae4c6a7091ad60bb2720a730500d60cb27204730600d60d7307d60ed9010e0195ec720e93e4c6b2a473080005057309730a938cb2db6308b2a5730b00730c00018cb2db6308a7730d0001d60fb2720a730e00d610b27204730f00d611b27204731000d612b2720a73110095ecec72037205720695ec91720772029372077312d80fd613e4e30163d614e4c6a70605d6159a72147313d616e4c672130905d617b2a4731400d618b2a5731500d619e4c67218063c0c3c0e0e3c0c3c0e580c3c0e58d61a8c721902d61b7316d61ce4c6a70564d61d9372157216d61eb2a5731700d61f95ef721dd805d61fdb6308721ed620b2721f731800d621db6308a7d622b2721f731900d623b27221731a009683040193722086028cb27221731b0001731c938c722001720993722286028c722301998c722302731d938c7222017208d802d61fdb6308721ed620b2721f731e009683030193722086028cb2db6308a7731f00017320938c722001720993b1721f7321d620b2a5732200d621b2a5732300d19683070193c572137208907215721693c2721773249683080193c17218732593c27218732693b2db6308721873270086027208732893e4c672180404732993cbb0e4c67218050c4c0e7a732ad901223c0e4c0ed801d6248c722202b3b38c7222018c7224017a7e8c72240205732b93cbb08c721a02b3b08c721a01b3b08c72190195937eb28cb2e4c67218080c3c0e0e732c0002732d0004732e7a732f7a7330d901223c0e3c0e0ed803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7eb17226057226721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205cbe4dc640a721c02cb7a7214e4e3000e93e4c67218070e720893e4c672180944058602e4c672170408721495721d9683060193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e060572159683090193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e0605721593e4c6721e0759720193e4c6721e080d720493e4c6721e091a720a95720395ed720caedb63087217d901224d0e9372228602720b7331d802d622c17217d6238f72227332968304019683030193c17220733393b2db630872207334008602720b733593c27220d0720dda720e01927222733693c195ed722391e4c6b2a473370005057338b2a5733900b2a5733a00733b92c195ed722391e4c6b2a4733c000505733db2a5733e00b2a5733f00734095ed7210aedb63087217d901224d0eed938c722201720f928c7222027341d802d622c17217d6238f72227342968304019683030193c17220734393c27220d0720d93b2db630872207344008602720f7345da720e01927222734693c195ed722391e4c6b2a473470005057348b2a5734900b2a5734a00734b92c195ed722391e4c6b2a4734c000505734db2a5734e00b2a5734f007350957211d802d622c17217d6238f72227351968304019683020193c17220735293c27220d0720dda720e01927222735393c195ed722391e4c6b2a473540005057355b2a5735600b2a5735700735892c195ed722391e4c6b2a47359000505735ab2a5735b00b2a5735c00735d735e95ec7205ed7206720c95ed7206aedb63087217d901224d0e9372228602720b735fd802d622c17217d6238f72227360968304019683030193c17220736193b2db630872207362008602720b736393c27220d0720dda720e01927222736493c195ed722391e4c6b2a473650005057366b2a5736700b2a5736800736992c195ed722391e4c6b2a4736a000505736bb2a5736c00b2a5736d00736e95ed7205aedb63087217d901224d0e93722286027212736f95ed7210aedb63087217d901224d0eed938c722201720f928c7222027370d803d622db63087220d623c17217d6248f72237371968304019683030193b2722273720086027212737393b272227374008602720f737593c27220d0720dda720e01927223737693c195ed722491e4c6b2a473770005057378b2a5737900b2a5737a00737b92c195ed722491e4c6b2a4737c000505737db2a5737e00b2a5737f00738001957211d802d622c17217d6238f7222738101968304019683030193c1722073820193b2db63087220738301008602721273840193c27220d0720dda720e0192722273850193c195ed722391e4c6b2a4738601000505738701b2a573880100b2a573890100738a0192c195ed722391e4c6b2a4738b01000505738c01b2a5738d0100b2a5738e0100738f017390017391017392019683020193c1722173930193c27221d0739401d801d613b2a573950100d1968303019683030193c172139999c1a773960173970193c27213d0720d95b2720473980100d802d614b2db6308721373990100d615b2db6308a7739a0100968303019372147215938c721401720893b0ada5d9011663b0addb63087216d901184d0e8c721802739b01d90118599a8c7218018c721802739c01d90116599a8c7216018c7216028c721502afa5d901146393b1db63087214739d0193c1b2a5739e0100739f0192c1b2a573a0010073a101d173a201",
      "ergoTreeConstants": "0: 0\n1: 3\n2: 2\n3: Coll(105,-100,59,-9,-114,84,-120,-54,-37,-95,-54,15,95,98,55,82,17,-59,-91,-31,25,-45,-49,33,64,-115,38,-21,101,26,-33,85)\n4: Coll(104,-11,2,50,28,54,-116,-52,-123,20,61,26,-98,-26,25,-111,-32,-101,-97,52,77,62,83,-98,-39,114,58,-28,-91,88,-113,107)\n5: 0\n6: 1\n7: SigmaProp(ProveDlog(ECPoint(188e02,7ae528,...)))\n8: 2\n9: 1\n10: true\n11: 4\n12: 0\n13: 0\n14: 2\n15: 4\n16: 6\n17: 1\n18: -1\n19: 1\n20: 1\n21: 0\n22: Coll(127,0,15,-70,-11,95,-85,126)\n23: 1\n24: 0\n25: 1\n26: 1\n27: 0\n28: 1\n29: 1\n30: 0\n31: 0\n32: 1\n33: 1\n34: 2\n35: 3\n36: Coll(16,12,4,0,4,0,4,0,4,0,5,0,5,0,4,0,1,1,14,32,-27,64,-52,-17,-3,59,-115,-48,-12,1,25,53,118,-52,65,52,103,3,-106,-107,-106,-108,39,-33,-108,69,65,-109,-35,-33,-77,117,5,0,5,0,5,-128,-88,-61,1,-40,2,-42,1,-37,99,8,-78,-92,115,0,0,-42,2,-28,-58,-89,4,8,-107,-19,-111,-79,114,1,115,1,-109,-116,-78,114,1,115,2,0,1,-28,-58,-89)\n37: 2600000\n38: Coll(16,8,4,0,5,-128,-88,-61,1,4,0,5,2,4,0,14,1,48,4,2,5,-128,-88,-61,1,-40,7,-42,1,-78,-91,115,0,0,-42,2,-28,-58,-89,9,68,5,-42,3,-28,-58,114,1,4,14,-42,4,-28,-58,114,1,5,14,-42,5,-28,-58,114,1,7,14,-42,6,-28,-58,114,1,8,14,-42,7,-28,-58,114,1,9,14,-47,-106,-125,2,1,-106,-125,4,1,-109,-63,114,1,-103,-63,-89,115,1)\n39: 0\n40: 1\n41: 2\n42: 0\n43: Coll(11,4,39,58,79,110,-62,-21,-84,-62,95,-30,-30,17,-114,-44,-100,-39,80,-1,116,33,-3,122,89,112,85,-128,-117,18,-21,6)\n44: 0\n45: 0\n46: 0\n47: 0\n48: 1\n49: 1\n50: 156200000\n51: 1000000\n52: 0\n53: 1\n54: 156200000\n55: 2\n56: 1\n57: 5\n58: 4\n59: 1600000\n60: 2\n61: 1\n62: 6\n63: 5\n64: 1000000\n65: -1\n66: 156200000\n67: 1000000\n68: 0\n69: -1\n70: 156200000\n71: 2\n72: 1\n73: 5\n74: 4\n75: 1600000\n76: 2\n77: 1\n78: 6\n79: 5\n80: 1000000\n81: 3155200000\n82: 3000000000\n83: 3155200000\n84: 2\n85: 1\n86: 5\n87: 4\n88: 1600000\n89: 2\n90: 1\n91: 6\n92: 5\n93: 1000000\n94: false\n95: 1\n96: 156200000\n97: 1000000\n98: 0\n99: 1\n100: 156200000\n101: 2\n102: 1\n103: 5\n104: 4\n105: 1600000\n106: 2\n107: 1\n108: 6\n109: 5\n110: 1000000\n111: 1\n112: -1\n113: 156200000\n114: 0\n115: 1\n116: 1\n117: -1\n118: 156200000\n119: 2\n120: 1\n121: 5\n122: 4\n123: 1600000\n124: 2\n125: 1\n126: 6\n127: 5\n128: 1000000\n129: 3155200000\n130: 3000000000\n131: 0\n132: 1\n133: 3155200000\n134: 2\n135: 1\n136: 5\n137: 4\n138: 1600000\n139: 2\n140: 1\n141: 6\n142: 5\n143: 1000000\n144: false\n145: false\n146: false\n147: 150000000\n148: SigmaProp(ProveDlog(ECPoint(6b3415,1b9c7b,...)))\n149: 0\n150: 1600000\n151: 1000000\n152: 0\n153: 0\n154: 1\n155: 0\n156: 0\n157: 0\n158: 1\n159: 1600000\n160: 2\n161: 1000000\n162: false",
      "ergoTreeScript": "{\n  val tuple1 = SELF.R7[(Long, Long)].get\n  val l2 = CONTEXT.headers(placeholder[Int](0)).timestamp\n  val bool3 = tuple1._1 <= l2\n  val coll4 = SELF.R8[Coll[Boolean]].get\n  val bool5 = coll4(placeholder[Int](1))\n  val bool6 = coll4(placeholder[Int](2))\n  val l7 = tuple1._2\n  val coll8 = placeholder[Coll[Byte]](3)\n  val coll9 = placeholder[Coll[Byte]](4)\n  val coll10 = SELF.R9[Coll[Coll[Byte]]].get\n  val coll11 = coll10(placeholder[Int](5))\n  val bool12 = coll4(placeholder[Int](6))\n  val prop13 = placeholder[SigmaProp](7)\n  val func14 = {(bool14: Boolean) =>\n    if (bool14 || (INPUTS(placeholder[Int](8)).R5[Long].get == placeholder[Long](9))) { placeholder[Boolean](10) } else {\n      OUTPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == SELF.tokens(placeholder[Int](13))._1\n    }\n  }\n  val coll15 = coll10(placeholder[Int](14))\n  val bool16 = coll4(placeholder[Int](15))\n  val bool17 = coll4(placeholder[Int](16))\n  val coll18 = coll10(placeholder[Int](17))\n  if ((bool3 || bool5) || bool6) { if ((l7 > l2) || (l7 == placeholder[Long](18))) {(\n      val box19 = getVar[Box](1.toByte).get\n      val l20 = SELF.R6[Long].get\n      val l21 = l20 + placeholder[Long](19)\n      val l22 = box19.R9[Long].get\n      val box23 = INPUTS(placeholder[Int](20))\n      val box24 = OUTPUTS(placeholder[Int](21))\n      val tuple25 = box24.R6[(Coll[(Coll[Byte], Coll[Byte])], (Coll[(Coll[Byte], (Int, Int))], Coll[(Coll[Byte], (Int, Int))]))].get\n      val tuple26 = tuple25._2\n      val coll27 = placeholder[Coll[Byte]](22)\n      val avlTree28 = SELF.R5[AvlTree].get\n      val bool29 = l21 == l22\n      val box30 = OUTPUTS(placeholder[Int](23))\n      val bool31 = if (!bool29) {(\n        val coll31 = box30.tokens\n        val tuple32 = coll31(placeholder[Int](24))\n        val coll33 = SELF.tokens\n        val tuple34 = coll31(placeholder[Int](25))\n        val tuple35 = coll33(placeholder[Int](26))\n        allOf(Coll[Boolean](tuple32 == (coll33(placeholder[Int](27))._1, placeholder[Long](28)), tuple32._1 == coll9, tuple34 == (tuple35._1, tuple35._2 - placeholder[Long](29)), tuple34._1 == coll8))\n      )} else {(\n        val coll31 = box30.tokens\n        val tuple32 = coll31(placeholder[Int](30))\n        allOf(Coll[Boolean](tuple32 == (SELF.tokens(placeholder[Int](31))._1, placeholder[Long](32)), tuple32._1 == coll9, coll31.size == placeholder[Int](33)))\n      )}\n      val box32 = OUTPUTS(placeholder[Int](34))\n      val box33 = OUTPUTS(placeholder[Int](35))\n      sigmaProp(allOf(Coll[Boolean](box19.id == coll8, l21 <= l22, box23.propositionBytes == placeholder[Coll[Byte]](36), allOf(Coll[Boolean](box24.value == placeholder[Long](37), box24.propositionBytes == placeholder[Coll[Byte]](38), box24.tokens(placeholder[Int](39)) == (coll8, placeholder[Long](40)), box24.R4[Int].get == placeholder[Int](41), blake2b256(box24.R5[Coll[(Coll[Byte], Int)]].get.fold(longToByteArray(placeholder[Long](42)), {(tuple34: (Coll[Byte], (Coll[Byte], Int))) =>\n                      val tuple36 = tuple34._2\n                      tuple34._1.append(tuple36._1).append(longToByteArray(tuple36._2.toLong))\n                    })) == placeholder[Coll[Byte]](43), blake2b256(tuple26._2.fold(tuple26._1.fold(tuple25._1.fold(if (box24.R8[Coll[(Coll[Byte], Coll[Byte])]].get(placeholder[Int](44))._2(placeholder[Int](45)).toInt == placeholder[Int](46)) { longToByteArray(placeholder[Long](47)) } else { longToByteArray(placeholder[Long](48)) }, {(tuple34: (Coll[Byte], (Coll[Byte], Coll[Byte]))) =>\n                          val tuple36 = tuple34._2\n                          val coll37 = tuple36._1\n                          val coll38 = tuple36._2\n                          tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(coll38.size.toLong)).append(coll38)\n                        }).append(coll27), {(tuple34: (Coll[Byte], (Coll[Byte], (Int, Int)))) =>\n                        val tuple36 = tuple34._2\n                        val coll37 = tuple36._1\n                        val tuple38 = tuple36._2\n                        tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(tuple38._1.toLong)).append(longToByteArray(tuple38._2.toLong))\n                      }).append(coll27), {(tuple34: (Coll[Byte], (Coll[Byte], (Int, Int)))) =>\n                      val tuple36 = tuple34._2\n                      val coll37 = tuple36._1\n                      val tuple38 = tuple36._2\n                      tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(tuple38._1.toLong)).append(longToByteArray(tuple38._2.toLong))\n                    })) == blake2b256(avlTree28.get(blake2b256(longToByteArray(l20)), getVar[Coll[Byte]](0.toByte).get).get), box24.R7[Coll[Byte]].get == coll8, box24.R9[(SigmaProp, Long)].get == (box23.R4[SigmaProp].get, l20))), if (bool29) { allOf(Coll[Boolean](box30.value == SELF.value, box30.propositionBytes == SELF.propositionBytes, bool31, box30.R4[AvlTree].get.digest == SELF.R4[AvlTree].get.digest, box30.R5[AvlTree].get.digest == avlTree28.digest, box30.R6[Long].get == l21)) } else { allOf(Coll[Boolean](box30.value == SELF.value, box30.propositionBytes == SELF.propositionBytes, bool31, box30.R4[AvlTree].get.digest == SELF.R4[AvlTree].get.digest, box30.R5[AvlTree].get.digest == avlTree28.digest, box30.R6[Long].get == l21, box30.R7[(Long, Long)].get == tuple1, box30.R8[Coll[Boolean]].get == coll4, box30.R9[Coll[Coll[Byte]]].get == coll10)) }, if (bool3) { if (bool12 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll11, placeholder[Long](49)) })) {(\n                val l34 = box23.value\n                val bool35 = l34 < placeholder[Long](50)\n                allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](51), box32.tokens(placeholder[Int](52)) == (coll11, placeholder[Long](53)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](54)), if (bool35 && (INPUTS(placeholder[Int](55)).R5[Long].get > placeholder[Long](56))) { OUTPUTS(placeholder[Int](57)) } else { OUTPUTS(placeholder[Int](58)) }.value == placeholder[Long](59), if (bool35 && (INPUTS(placeholder[Int](60)).R5[Long].get > placeholder[Long](61))) { OUTPUTS(placeholder[Int](62)) } else { OUTPUTS(placeholder[Int](63)) }.value >= placeholder[Long](64)))\n              )} else { if (bool16 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => (tuple34._1 == coll15) && (tuple34._2 >= placeholder[Long](65)) })) {(\n                  val l34 = box23.value\n                  val bool35 = l34 < placeholder[Long](66)\n                  allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](67), box32.propositionBytes == prop13.propBytes, box32.tokens(placeholder[Int](68)) == (coll15, placeholder[Long](69)))), func14(l34 >= placeholder[Long](70)), if (bool35 && (INPUTS(placeholder[Int](71)).R5[Long].get > placeholder[Long](72))) { OUTPUTS(placeholder[Int](73)) } else { OUTPUTS(placeholder[Int](74)) }.value == placeholder[Long](75), if (bool35 && (INPUTS(placeholder[Int](76)).R5[Long].get > placeholder[Long](77))) { OUTPUTS(placeholder[Int](78)) } else { OUTPUTS(placeholder[Int](79)) }.value >= placeholder[Long](80)))\n                )} else { if (bool17) {(\n                    val l34 = box23.value\n                    val bool35 = l34 < placeholder[Long](81)\n                    allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](82), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](83)), if (bool35 && (INPUTS(placeholder[Int](84)).R5[Long].get > placeholder[Long](85))) { OUTPUTS(placeholder[Int](86)) } else { OUTPUTS(placeholder[Int](87)) }.value == placeholder[Long](88), if (bool35 && (INPUTS(placeholder[Int](89)).R5[Long].get > placeholder[Long](90))) { OUTPUTS(placeholder[Int](91)) } else { OUTPUTS(placeholder[Int](92)) }.value >= placeholder[Long](93)))\n                  )} else { placeholder[Boolean](94) } } } } else { if (bool5 || (bool6 && bool12)) { if (bool6 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll11, placeholder[Long](95)) })) {(\n                  val l34 = box23.value\n                  val bool35 = l34 < placeholder[Long](96)\n                  allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](97), box32.tokens(placeholder[Int](98)) == (coll11, placeholder[Long](99)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](100)), if (bool35 && (INPUTS(placeholder[Int](101)).R5[Long].get > placeholder[Long](102))) { OUTPUTS(placeholder[Int](103)) } else { OUTPUTS(placeholder[Int](104)) }.value == placeholder[Long](105), if (bool35 && (INPUTS(placeholder[Int](106)).R5[Long].get > placeholder[Long](107))) { OUTPUTS(placeholder[Int](108)) } else { OUTPUTS(placeholder[Int](109)) }.value >= placeholder[Long](110)))\n                )} else { if (bool5 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll18, placeholder[Long](111)) })) { if (bool16 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => (tuple34._1 == coll15) && (tuple34._2 >= placeholder[Long](112)) })) {(\n                      val coll34 = box32.tokens\n                      val l35 = box23.value\n                      val bool36 = l35 < placeholder[Long](113)\n                      allOf(Coll[Boolean](allOf(Coll[Boolean](coll34(placeholder[Int](114)) == (coll18, placeholder[Long](115)), coll34(placeholder[Int](116)) == (coll15, placeholder[Long](117)), box32.propositionBytes == prop13.propBytes)), func14(l35 >= placeholder[Long](118)), if (bool36 && (INPUTS(placeholder[Int](119)).R5[Long].get > placeholder[Long](120))) { OUTPUTS(placeholder[Int](121)) } else { OUTPUTS(placeholder[Int](122)) }.value == placeholder[Long](123), if (bool36 && (INPUTS(placeholder[Int](124)).R5[Long].get > placeholder[Long](125))) { OUTPUTS(placeholder[Int](126)) } else { OUTPUTS(placeholder[Int](127)) }.value >= placeholder[Long](128)))\n                    )} else { if (bool17) {(\n                        val l34 = box23.value\n                        val bool35 = l34 < placeholder[Long](129)\n                        allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](130), box32.tokens(placeholder[Int](131)) == (coll18, placeholder[Long](132)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](133)), if (bool35 && (INPUTS(placeholder[Int](134)).R5[Long].get > placeholder[Long](135))) { OUTPUTS(placeholder[Int](136)) } else { OUTPUTS(placeholder[Int](137)) }.value == placeholder[Long](138), if (bool35 && (INPUTS(placeholder[Int](139)).R5[Long].get > placeholder[Long](140))) { OUTPUTS(placeholder[Int](141)) } else { OUTPUTS(placeholder[Int](142)) }.value >= placeholder[Long](143)))\n                      )} else { placeholder[Boolean](144) } } } else { placeholder[Boolean](145) } } } else { placeholder[Boolean](146) } }, allOf(Coll[Boolean](box33.value == placeholder[Long](147), box33.propositionBytes == placeholder[SigmaProp](148).propBytes)))))\n    )} else {(\n      val box19 = OUTPUTS(placeholder[Int](149))\n      sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](box19.value == SELF.value - placeholder[Long](150) - placeholder[Long](151), box19.propositionBytes == prop13.propBytes, if (coll4(placeholder[Int](152))) {(\n                  val tuple20 = box19.tokens(placeholder[Int](153))\n                  val tuple21 = SELF.tokens(placeholder[Int](154))\n                  allOf(Coll[Boolean](tuple20 == tuple21, tuple20._1 == coll8, OUTPUTS.map({(box22: Box) => box22.tokens.map({(tuple24: (Coll[Byte], Long)) => tuple24._2 }).fold(placeholder[Long](155), {(tuple24: (Long, Long)) => tuple24._1 + tuple24._2 }) }).fold(placeholder[Long](156), {(tuple22: (Long, Long)) => tuple22._1 + tuple22._2 }) == tuple21._2))\n                )} else { OUTPUTS.forall({(box20: Box) => box20.tokens.size == placeholder[Int](157) }) })), OUTPUTS(placeholder[Int](158)).value == placeholder[Long](159), OUTPUTS(placeholder[Int](160)).value >= placeholder[Long](161))))\n    )} } else { sigmaProp(placeholder[Boolean](162)) }\n}",
      "address": "2D8yirgjqULcWLEVzfdKWtgxUP2T5BDoKpaYE6uDk9kTJSo7QRfFnFTjqLmG5Lvavuva6Ky325A3ELnyftkXsBRkGdNsskSMyWgiYUj1pZwxKQegrE5gvhG4Wu4817vDTk9QSLpKFoVJsUi5u55qmm7nxWM56CqFjbsAwGZY7gxcEznrzFsJiiGfPMzgxC4jfMshDsyqJkLjM1nhKZfQzBh98QFX7sHrTXkusHEWksgWQ3yMHw4QYHLmhsc3vNxtcBAf4n31Yvtvnd3Hv9Nes4izDNfEd9mMiha5X5ZGb9iSkmpWNVU6qgoq8Ey8ihq75FXFk2mHtReht6PuVcXvdNNa7vcwNPwdXaEmyixtutAz6984Yc4hTf2MuZHMm6dBo6Y717e6QLDQWjo4NnkWvLQ8jAVqta1NXKE8dvF21isCYbjYMNkEZ8gLtH51WqkG9yXZoEAbEzT4RX3VUdgSgEYAKPVnjFybadwDnDaou2jq5u7QdRTZQ8X84ixX5ZWEcx9wY4CEALKtueTtZVEoQazftQvVuxzrmzj4wRdsdaxBFxshxFtrcC7CH1bzjnSWTuxbSzsddeb7mmLR2beB7vTT6Lh9WEjPn1hdABbPwvHydBtY7A75b65bzpvNpam7igkiPCpak1YE5f8fZ27UeCSzKXaaQep7TKU3KEYsoVnWa8DGNDL2cRAkHd6C7wnvSCh9dTzWq5NAVhb5jczcEzkWs95oT6YuB7Rr1LMT5WVTanSGT3r7Ms4zGUpLBfSvG54bJimyLNYpnu6Zqgrdj3Jnm7HDEVSZ1jk4hqqEP2FnH6Rg8bZ1RQT3Sshr26LYYnGLAKKEyeKSi1chfESVR4Dgf6y39Pt7QAcf9539gL8GDiK3S9v4vir6EdveF62P3Nqpc25f7qLJcVo1rYWtnCKXFwhGyJu5Gbvvp3hiETEMyewRP2BjtCdtP8bU7cdQdjzNJUtc8jAV6SZXrkAoPKrsvaXrQqDwJwbT2qQAfqRTCaUesLogvd5SKuwoGSLZkfK8tPrd8brFwrDbY4eAvXh42RkbaTD6gcw25SSRfHdTHd49Zr7JSkxuw1rBNKfxNVxyzqAUcUxMwypWJhgFvsC7Urc95RP8WkxVsTbx7nph29bMdofRmu7bu5RrWZjELVb25KyQDNrRYdSoy6k5Ka3DCvxrLzNbS6xMZ6YtcNn59bDafC8WvNZ7E5FPrxRJvetf3aAwU7AM3quNh7h1DMscvcwpLCjmxeVFSLncoxTWbWetFVuJau8avkxdSo66TsciDkb6huoT73Re5fq8QMXAWVAPz3mWoGNg6ezPZEumwXf837j6q7vVyrzh4WEtf6p4meqMt1ww2j4AytEmSsnvuApzPPVyZiLZRDXXPnck6ZfqEjGkB5boJW7j2EpZNqLnaEZp4Xz4zkCxGw4YXNJj7MESqeetV4dxVzfRrUjhS1T4M9RBXNzQSHoiw7EcyvNvtj5LLdwLyrxsDHG9JgHmWQk1Y3bkn78TB1VwMGtTFurugSbiTvUgjL3gHxsAmrv7QTnHm9ts4AkvxXbP8VrHfeEx1DmeCKwRZotKKrfx1895yiTDrJ7EccpQPz6gNXs4QMKTG1PCPYrqHytu3jEPncC8Ghpz4dUZu39dndYPe99SBnbGpdbyr8EscjVq6MydXZFoBQJH39quYFW2DJ636KQ2H2GWhJHDCiFQJZAAfg99WKaXTp3TiR9XTTzr85GddcpxFk4AmXdMXpHKLdYy9FsrPCAC8WWymLyJzBKctwUiuHbf8H9XGHJADcZZnaXKabdEhWanCR3UKtxXSEkvihzJFYx3TrN3jsN7AMSxiRA5Uk73UubVH13GYJxYDknSgjLz6LuQm3RqQsN1E8TQJJWxYfg4APdYuUDLrLpBNRCjUvGmeLcLRaxugi5CuBuystVVK1HLuPNBGDgcnAw3y8SwfU9YLx6ekQvYCysHkqQ3JCmTK4oujTk2WS5yWvX7gYHZ3yjxDqqGj2pTeG61chDQJ6NjXTnMwAVKv7RdRUuCNGkcy1R6cxbPWavQAKBy8x89qiraR61Y7EWurfC1nMWdm2GokvgPBKSq4muL1bhLEeLBLHekWTBsuPf8t8LAbtYqEVukjUwJr9QXiQeEjcUQfrguNyDQQzjoNzQTBC8MBzCTj5obPc9vE6kgsPsQDt5KnR21X2RLWHEgrYZpZALwVz4rGdErAnv9KVhDFWfTgCZNJFjUX3m69V79421Gskuq54y9oVK2a1anLEXpjDppFTzHitEzTzREDz7CoiMwqF78qJGuSVMj5EgUeAsKYVV1iVpsZtrHfinC8iPF3aYemtpC7rr3DqmHs7i6dP8pe6LsZFFTHKBnPuPey3KXkGLnGFZaN7c7DVcnz4HWThpzoBcXBqWWCF7yRBwdCRiXrHNFGCW2X8WnUZ6kR4aCnZ6UCMtoC1uC8CNEzCAcBddpaFAuxaMeZJGHfQtsuLg9hLEdavVXt53qdfDRvx2qir3tEthQxVNqrPpiC9RsxFzHkmg1kKA9SX4pn9axBMppUwBSJ6Ue1G59Hhb1qtnps6HwgDV7AJrU1EgDSdykz9uVM3aZsHMPSSRWUaFtFVeeRm2hTifuCMKYMGuyBDRGaJmvMvHphBF2qiTXGYVTcK9KPXgCfZqg72KdU3H3rWw7gPwNGV3KRuj8ASi2Eej2RBgDSHFZtmGTa54VU6gSE1EXzufiPoe6wZU3PhQfNZRkq5kvzeVeQHucGKqyLem3YWs49EVYGhppfXK6YVQoX3BpNPSzqNpmm3RZM8CMqwGU6CupEVchVqSjVRfkBTQCmM2UW5J8v7dRY3Hi26SC2JT3W44iMnPfUEc9ihbPGSZo3GiNe8RAvUJpC3WD2UxsDjmm3bc5gtLUvmkG63kv37ifvHckx5RvpY9vqkyNf4xgBMf1Fg9K4S9Pee78bMEzPuwjNhRAqnfog28UPykjGXvKQ7ptXXXecSyD21S1hrEoDZKiwjW33qEuW3YEJhMwWXQSPSybzHhrvhFfiU2BjD4gSVzhsfrJjXWiAJQA7FC76fdwdxxLswigoXTmL6QrjRKVfPR1kE6iffKAWBvDUt5eigfNmA2NZAJW5L6WhdsTbR2JGTBcJgssAxzZMKyTqVe1tVmBHufqLbAVL462fhf3hwPkFgzZYzZbRRoKaRh1ntUoYso35eaLogDqdujhEBptwq9KuccYQa3drobc3eB5K1Xn2gZft15rTRZLoXmhrKFB8o7RLSxGmZbhCVUbLRuwcnfDSgyVBAT98otN4XcNcMUB5kqc7EkWbJxniegR19dzCEUy54tqNbewYYnbiDVFAizM7dZRZ1bGUMCXSbH2TGaxmPQ8MQjbJfNUoEnwR3nc7pJRxaEp9Ajb76YsXJvbmMF4zDYghTGkiXDHhJzXrDg56MZ7285oyysghKhF5W6nm49exVmX6Lcr6wmM4Cu9LXwbD235xuiBC5zLEvo9yxG9z9B61QCHn4BFYX3qGgmZuvRdJ8X1QFrzYgVDgeWrTo2s4YporDhL1GmbfnFbL5v1f4bkgd4RNd7rzuwf75HZN8BcJ5Hkokfqvynrs9QPGBtM8m4b1dugDpExRBrUXRzr5Uo41Wj7YSaeY8HhJPNe8m4EJhXkhc6TwKBB7ndBVp7GmWhYW7jGhSXRdznS1zzH91AXhuGycZy5U6HwSkDbXS1FrQ2617qqDpSX3GbtV6BBzbRxSxJzJkVtUGc287Wq1gpvf3dzHYRQ6KCvAxryeek92wifJtwzU4q1ZL5ft1U1xiXSUvpNrKCaKtB3PpRKGgX1nTrKDMLUYWviCT38p3sogYRFrkihP2XU4D1qoMeykaPsg1WboAjDQuyh2qAq2VUSnuaZKK4R7WrDb65W5PkL3txzqDEQZhaKmdHi5v8okm1aRn8tYM3f6KgmkTw7W6pH4z1M8EaJnz8X7SD6G21H6wxVKqJusU22Myf8Dk5gex1TXLTNWee23sxxU48eFGFiE5mqveLyhqzJtYw7R7CuZZdnRcRK8C1vFuoM7jYeNjsStJL5SPsURtnWcbNFQVgro22Pg1fpxJLmKZaVhfyZnYLnyHczUydLNZk5Q2RjV16ACxNxi4erzbDSzTRJNyWoPo1o3NVV3Uir6MArHXfvu9NQXtNuR4Lpb4TmtJkx7ixuJuKfKkNFZKTRBaCzebgjJLQsWhQnFRg5wsM2xwJAEb1TfaBbfNsFazkUDn6CHYjzPS2o38CVDsPAi11SbyQ1kZtHgHTXmSthXwPZRfXhXv7WPv4Uh9rWUpeWGQo5hJ522TUxnfigWpY1kGaoVXSJbmxnc",
      "assets": [
        {
          "tokenId": "68f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b",
          "index": 0,
          "amount": 1,
          "name": "State Box Singleton",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf55",
          "index": 1,
          "amount": 652,
          "name": "Sigmanaut's Space Stars",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "64b27aec63975d4f498bc4d5315755094b70e36cdabba2842556755451fbd9b2d80c072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R6": {
          "serializedValue": "05b805",
          "sigmaType": "SLong",
          "renderedValue": "348"
        },
        "R8": {
          "serializedValue": "0d0740",
          "sigmaType": "Coll[SBoolean]",
          "renderedValue": "[false,false,false,false,false,false,true]"
        },
        "R7": {
          "serializedValue": "59c0e2b0f2ce6201",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1694216100000,-1]"
        },
        "R9": {
          "serializedValue": "1a03000000",
          "sigmaType": "Coll[Coll[SByte]]",
          "renderedValue": "[,,]"
        },
        "R4": {
          "serializedValue": "64772217b1f5b00eb03f83f3b8560f73508d34161557b599013300f0c661aabc0f0c072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    },
    {
      "boxId": "57ffaf00f49f0e3083323c1e910b844d2fa54f981945be143c8f313a5829ec4d",
      "value": 3156200000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "a1d414c09d36cb7df306b06a5960b584df18a3b851e1a5b1ab7a9477dfe3ed41",
      "outputTransactionId": "7ad3928d10111b0de7f233eb3d7efd85bbf3249b5fb0c6b9f3114d9362e47504",
      "outputIndex": 0,
      "outputGlobalIndex": 32532396,
      "outputCreatedAt": 1088863,
      "outputSettledAt": 1088865,
      "ergoTree": "100c040004000400040005000500040001010e20e540cceffd3b8dd0f401193576cc413467039695969427df94454193dddfb375050005000580a8c301d802d601db6308b2a4730000d602e4c6a7040895ed91b172017301938cb2720173020001e4c6a7050ed1938ce4c6b2a5730300094405017202d802d603d07202d604db6308a7ea02d1968302019683020192b0ada5d90105639593c272057203c1720573047305d90105599a8c7205018c720502c1a79591b172047306aea5d9010563ed93db63087205720493c272057203730793b0ada5d90105639593cbc272057308c172057309730ad90105599a8c7205018c720502730b7202",
      "ergoTreeConstants": "0: 0\n1: 0\n2: 0\n3: 0\n4: 0\n5: 0\n6: 0\n7: true\n8: Coll(-27,64,-52,-17,-3,59,-115,-48,-12,1,25,53,118,-52,65,52,103,3,-106,-107,-106,-108,39,-33,-108,69,65,-109,-35,-33,-77,117)\n9: 0\n10: 0\n11: 1600000",
      "ergoTreeScript": "{\n  val coll1 = INPUTS(placeholder[Int](0)).tokens\n  val prop2 = SELF.R4[SigmaProp].get\n  if ((coll1.size > placeholder[Int](1)) && (coll1(placeholder[Int](2))._1 == SELF.R5[Coll[Byte]].get)) {\n    sigmaProp(OUTPUTS(placeholder[Int](3)).R9[(SigmaProp, Long)].get._1 == prop2)\n  } else {(\n    val coll3 = prop2.propBytes\n    val coll4 = SELF.tokens\n    sigmaProp(\n      allOf(\n        Coll[Boolean](\n          allOf(\n            Coll[Boolean](\n              OUTPUTS.map({(box5: Box) => if (box5.propositionBytes == coll3) { box5.value } else { placeholder[Long](4) } }).fold(\n                placeholder[Long](5), {(tuple5: (Long, Long)) => tuple5._1 + tuple5._2 }\n              ) >= SELF.value, if (coll4.size > placeholder[Int](6)) {\n                OUTPUTS.exists({(box5: Box) => (box5.tokens == coll4) && (box5.propositionBytes == coll3) })\n              } else { placeholder[Boolean](7) }\n            )\n          ), OUTPUTS.map(\n            {(box5: Box) => if (blake2b256(box5.propositionBytes) == placeholder[Coll[Byte]](8)) { box5.value } else { placeholder[Long](9) } }\n          ).fold(placeholder[Long](10), {(tuple5: (Long, Long)) => tuple5._1 + tuple5._2 }) == placeholder[Long](11)\n        )\n      )\n    ) && prop2\n  )}\n}",
      "address": "RShSy3CERS1Jt4duhhy4YjcYBvcMdN3VnV9aKETP9xs42JDPE4pjU9MCwCqfF58xnNpHNohcjJBTVULcHanBRA8WSrgKEAcSy2r72o7MyDio1VbxbfwPjtYT9MM5R65wRCRsQzGSRRHq3RaztyZ55jczx8f1rZbTzM8oRDjisei2eQwjsooAtsiwaCFNmNXHyDWmkpcYvqw3aTaXq6sPFVXtJSjgpxrK7e7oMHCEuLvtdX7HJJU9xCjdZzecj5TAujGjY4ne6yEgU8ZW4TPrydWCjYFhmScHsoAhFGHtSd4sPEqPdmDp9ro8WySqaSDMeahqTMD3p2iWDgGn92jTj9xXiC",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "08cd02d71486b1a015f7b824e57d3d86e180b934401df5957cc9a21eefcac64b30e515",
          "sigmaType": "SSigmaProp",
          "renderedValue": "02d71486b1a015f7b824e57d3d86e180b934401df5957cc9a21eefcac64b30e515"
        },
        "R5": {
          "serializedValue": "0e2068f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "68f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b"
        }
      }
    }
  ],
  "dataInputs": [],
  "outputs": [
    {
      "boxId": "4afac90042e3c75ae29d8809e057679af52c4db3ae430e50de0a188b6a0c0840",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 2600000,
      "index": 0,
      "globalIndex": 32532453,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "ergoTree": "100804000580a8c3010400050204000e013004020580a8c301d807d601b2a5730000d602e4c6a7094405d603e4c67201040ed604e4c67201050ed605e4c67201070ed606e4c67201080ed607e4c67201090ed1968302019683040193c1720199c1a7730193c27201d08c72020193b2db630872017302008602c5a773039683020193cbb3b3b3b3b3b3b3b3b37a7eb172030572037a7eb172040572047a7eb172050572057a7eb172060572067a7eb17207057207cbe4dc640ae4c6b2db6501fe730400046402cb7a8c720202e4e3000e93e4c67201060e730593c1b2a57306007307",
      "ergoTreeConstants": "0: 0\n1: 1600000\n2: 0\n3: 1\n4: 0\n5: Coll(48)\n6: 1\n7: 1600000",
      "ergoTreeScript": "{\n  val box1 = OUTPUTS(placeholder[Int](0))\n  val tuple2 = SELF.R9[(SigmaProp, Long)].get\n  val coll3 = box1.R4[Coll[Byte]].get\n  val coll4 = box1.R5[Coll[Byte]].get\n  val coll5 = box1.R7[Coll[Byte]].get\n  val coll6 = box1.R8[Coll[Byte]].get\n  val coll7 = box1.R9[Coll[Byte]].get\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        allOf(\n          Coll[Boolean](\n            box1.value == SELF.value - placeholder[Long](1), box1.propositionBytes == tuple2._1.propBytes, box1.tokens(placeholder[Int](2)) == (\n              SELF.id, placeholder[Long](3)\n            ), allOf(\n              Coll[Boolean](\n                blake2b256(\n                  longToByteArray(coll3.size.toLong).append(coll3).append(longToByteArray(coll4.size.toLong)).append(coll4).append(\n                    longToByteArray(coll5.size.toLong)\n                  ).append(coll5).append(longToByteArray(coll6.size.toLong)).append(coll6).append(longToByteArray(coll7.size.toLong)).append(coll7)\n                ) == blake2b256(\n                  CONTEXT.dataInputs(placeholder[Int](4)).R4[AvlTree].get.get(blake2b256(longToByteArray(tuple2._2)), getVar[Coll[Byte]](0.toByte).get).get\n                ), box1.R6[Coll[Byte]].get == placeholder[Coll[Byte]](5)\n              )\n            )\n          )\n        ), OUTPUTS(placeholder[Int](6)).value == placeholder[Long](7)\n      )\n    )\n  )\n}",
      "address": "5d7kmvqYj49qiasgGd4989M3PvS4bExHcbtfzTpQqqd4T5hBAugn8s4U4zpcbntjKZVZF8SbFvxZrWZSSgyQiZbuKgL2Sh6CctK2UJKft7sBZNJNceTzNARq2vGxK6UJHZgyc28rofBzSGGp62N8A9YpmDRP9FucvQUqD1uX8oZ17UY29tdYYazSAESEmbqkL5TLLWdLzig9LMMFYL7QysUVBVeM7UDsMxrr7HhbT2XVHo35RYcscVpg2XLWAoezVUgUDGfWz6t4c8zNF2KzK2NptSaXVV4XNmQFweZqUxUkCpXU7ynEmbSJRd2",
      "assets": [
        {
          "tokenId": "699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf55",
          "index": 0,
          "amount": 1,
          "name": "Sigmanaut's Space Stars",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0c4c0e01240008cd03188e02e20a30ea1278e3aa933cffbd12cab1cc0c3f82d63cf414b551c2f0087278",
          "sigmaType": "Coll[(Coll[SByte], SInt)]",
          "renderedValue": "[[0008cd03188e02e20a30ea1278e3aa933cffbd12cab1cc0c3f82d63cf414b551c2f00872,60]]"
        },
        "R6": {
          "serializedValue": "3c0c3c0e0e3c0c3c0e580c3c0e58050b4261636b67726f756e64730b426967204469707065722004426f647917546f20546865204d6f6f6f6e20537061636573756974200648656c6d6574124572676f2053706163652048656c6d657420054974656d7314536b79486172626f72204c696768686f757365200c53706163652043616465747307536967555344200000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R8": {
          "serializedValue": "0c3c0e0e01086578706c696369740100",
          "sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
          "renderedValue": "[[6578706c69636974,00]]"
        },
        "R7": {
          "serializedValue": "0e20699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf55",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf55"
        },
        "R9": {
          "serializedValue": "4405cd02d71486b1a015f7b824e57d3d86e180b934401df5957cc9a21eefcac64b30e515b805",
          "sigmaType": "(SSigmaProp, SLong)",
          "renderedValue": "[02d71486b1a015f7b824e57d3d86e180b934401df5957cc9a21eefcac64b30e515,348]"
        },
        "R4": {
          "serializedValue": "0404",
          "sigmaType": "SInt",
          "renderedValue": "2"
        }
      },
      "spentTransactionId": "51790403af9498bedf59fbfdef1810cdbfa1c959fac3228df9cc1d2fc1a01a4d",
      "mainChain": true
    },
    {
      "boxId": "4eb13050601d1a0b1dec5ff400a412c5b9adf0551bd981ca1e1e058ae1d6b179",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 3600000,
      "index": 1,
      "globalIndex": 32532454,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "ergoTree": "10a3010400040604040e20699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf550e2068f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b0400040208cd03188e02e20a30ea1278e3aa933cffbd12cab1cc0c3f82d63cf414b551c2f0087204040502010104080400040004040408040c040205010502040204000e087f000fbaf55fab7e04020400040204020400050205020400040005020402040404060ef901100c040004000400040005000500040001010e20e540cceffd3b8dd0f401193576cc413467039695969427df94454193dddfb375050005000580a8c301d802d601db6308b2a4730000d602e4c6a7040895ed91b172017301938cb2720173020001e4c6a7050ed1938ce4c6b2a5730300094405017202d802d603d07202d604db6308a7ea02d1968302019683020192b0ada5d90105639593c272057203c1720573047305d90105599a8c7205018c720502c1a79591b172047306aea5d9010563ed93db63087205720493c272057203730793b0ada5d90105639593cbc272057308c172057309730ad90105599a8c7205018c720502730b72020580b1bd020ee201100804000580a8c3010400050204000e013004020580a8c301d807d601b2a5730000d602e4c6a7094405d603e4c67201040ed604e4c67201050ed605e4c67201070ed606e4c67201080ed607e4c67201090ed1968302019683040193c1720199c1a7730193c27201d08c72020193b2db630872017302008602c5a773039683020193cbb3b3b3b3b3b3b3b3b37a7eb172030572037a7eb172040572047a7eb172050572057a7eb172060572067a7eb17207057207cbe4dc640ae4c6b2db6501fe730400046402cb7a8c720202e4e3000e93e4c67201060e730593c1b2a5730600730704000502040405000e200b04273a4f6ec2ebacc25fe2e2118ed49cd950ff7421fd7a597055808b12eb060400040004000500050205020580b1fb94010580897a040005020580b1fb940104040502040a04080580a8c30104040502040c040a0580897a05010580b1fb94010580897a040005010580b1fb940104040502040a04080580a8c30104040502040c040a0580897a0580a084c1170580f882ad160580a084c11704040502040a04080580a8c30104040502040c040a0580897a010005020580b1fb94010580897a040005020580b1fb940104040502040a04080580a8c30104040502040c040a0580897a050205010580b1fb940104000502040205010580b1fb940104040502040a04080580a8c30104040502040c040a0580897a0580a084c1170580f882ad16040005020580a084c11704040502040a04080580a8c30104040502040c040a0580897a0100010001000580c6868f0108cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b482904000580a8c3010580897a04000400040205000500040004020580a8c30104040580897a0100d812d601e4c6a70759d602db6807b2db6502fe730000d603908c7201017202d604e4c6a7080dd605b27204730100d606b27204730200d6078c720102d6087303d6097304d60ae4c6a7091ad60bb2720a730500d60cb27204730600d60d7307d60ed9010e0195ec720e93e4c6b2a473080005057309730a938cb2db6308b2a5730b00730c00018cb2db6308a7730d0001d60fb2720a730e00d610b27204730f00d611b27204731000d612b2720a73110095ecec72037205720695ec91720772029372077312d80fd613e4e30163d614e4c6a70605d6159a72147313d616e4c672130905d617b2a4731400d618b2a5731500d619e4c67218063c0c3c0e0e3c0c3c0e580c3c0e58d61a8c721902d61b7316d61ce4c6a70564d61d9372157216d61eb2a5731700d61f95ef721dd805d61fdb6308721ed620b2721f731800d621db6308a7d622b2721f731900d623b27221731a009683040193722086028cb27221731b0001731c938c722001720993722286028c722301998c722302731d938c7222017208d802d61fdb6308721ed620b2721f731e009683030193722086028cb2db6308a7731f00017320938c722001720993b1721f7321d620b2a5732200d621b2a5732300d19683070193c572137208907215721693c2721773249683080193c17218732593c27218732693b2db6308721873270086027208732893e4c672180404732993cbb0e4c67218050c4c0e7a732ad901223c0e4c0ed801d6248c722202b3b38c7222018c7224017a7e8c72240205732b93cbb08c721a02b3b08c721a01b3b08c72190195937eb28cb2e4c67218080c3c0e0e732c0002732d0004732e7a732f7a7330d901223c0e3c0e0ed803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7eb17226057226721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205cbe4dc640a721c02cb7a7214e4e3000e93e4c67218070e720893e4c672180944058602e4c672170408721495721d9683060193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e060572159683090193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e0605721593e4c6721e0759720193e4c6721e080d720493e4c6721e091a720a95720395ed720caedb63087217d901224d0e9372228602720b7331d802d622c17217d6238f72227332968304019683030193c17220733393b2db630872207334008602720b733593c27220d0720dda720e01927222733693c195ed722391e4c6b2a473370005057338b2a5733900b2a5733a00733b92c195ed722391e4c6b2a4733c000505733db2a5733e00b2a5733f00734095ed7210aedb63087217d901224d0eed938c722201720f928c7222027341d802d622c17217d6238f72227342968304019683030193c17220734393c27220d0720d93b2db630872207344008602720f7345da720e01927222734693c195ed722391e4c6b2a473470005057348b2a5734900b2a5734a00734b92c195ed722391e4c6b2a4734c000505734db2a5734e00b2a5734f007350957211d802d622c17217d6238f72227351968304019683020193c17220735293c27220d0720dda720e01927222735393c195ed722391e4c6b2a473540005057355b2a5735600b2a5735700735892c195ed722391e4c6b2a47359000505735ab2a5735b00b2a5735c00735d735e95ec7205ed7206720c95ed7206aedb63087217d901224d0e9372228602720b735fd802d622c17217d6238f72227360968304019683030193c17220736193b2db630872207362008602720b736393c27220d0720dda720e01927222736493c195ed722391e4c6b2a473650005057366b2a5736700b2a5736800736992c195ed722391e4c6b2a4736a000505736bb2a5736c00b2a5736d00736e95ed7205aedb63087217d901224d0e93722286027212736f95ed7210aedb63087217d901224d0eed938c722201720f928c7222027370d803d622db63087220d623c17217d6248f72237371968304019683030193b2722273720086027212737393b272227374008602720f737593c27220d0720dda720e01927223737693c195ed722491e4c6b2a473770005057378b2a5737900b2a5737a00737b92c195ed722491e4c6b2a4737c000505737db2a5737e00b2a5737f00738001957211d802d622c17217d6238f7222738101968304019683030193c1722073820193b2db63087220738301008602721273840193c27220d0720dda720e0192722273850193c195ed722391e4c6b2a4738601000505738701b2a573880100b2a573890100738a0192c195ed722391e4c6b2a4738b01000505738c01b2a5738d0100b2a5738e0100738f017390017391017392019683020193c1722173930193c27221d0739401d801d613b2a573950100d1968303019683030193c172139999c1a773960173970193c27213d0720d95b2720473980100d802d614b2db6308721373990100d615b2db6308a7739a0100968303019372147215938c721401720893b0ada5d9011663b0addb63087216d901184d0e8c721802739b01d90118599a8c7218018c721802739c01d90116599a8c7216018c7216028c721502afa5d901146393b1db63087214739d0193c1b2a5739e0100739f0192c1b2a573a0010073a101d173a201",
      "ergoTreeConstants": "0: 0\n1: 3\n2: 2\n3: Coll(105,-100,59,-9,-114,84,-120,-54,-37,-95,-54,15,95,98,55,82,17,-59,-91,-31,25,-45,-49,33,64,-115,38,-21,101,26,-33,85)\n4: Coll(104,-11,2,50,28,54,-116,-52,-123,20,61,26,-98,-26,25,-111,-32,-101,-97,52,77,62,83,-98,-39,114,58,-28,-91,88,-113,107)\n5: 0\n6: 1\n7: SigmaProp(ProveDlog(ECPoint(188e02,7ae528,...)))\n8: 2\n9: 1\n10: true\n11: 4\n12: 0\n13: 0\n14: 2\n15: 4\n16: 6\n17: 1\n18: -1\n19: 1\n20: 1\n21: 0\n22: Coll(127,0,15,-70,-11,95,-85,126)\n23: 1\n24: 0\n25: 1\n26: 1\n27: 0\n28: 1\n29: 1\n30: 0\n31: 0\n32: 1\n33: 1\n34: 2\n35: 3\n36: Coll(16,12,4,0,4,0,4,0,4,0,5,0,5,0,4,0,1,1,14,32,-27,64,-52,-17,-3,59,-115,-48,-12,1,25,53,118,-52,65,52,103,3,-106,-107,-106,-108,39,-33,-108,69,65,-109,-35,-33,-77,117,5,0,5,0,5,-128,-88,-61,1,-40,2,-42,1,-37,99,8,-78,-92,115,0,0,-42,2,-28,-58,-89,4,8,-107,-19,-111,-79,114,1,115,1,-109,-116,-78,114,1,115,2,0,1,-28,-58,-89)\n37: 2600000\n38: Coll(16,8,4,0,5,-128,-88,-61,1,4,0,5,2,4,0,14,1,48,4,2,5,-128,-88,-61,1,-40,7,-42,1,-78,-91,115,0,0,-42,2,-28,-58,-89,9,68,5,-42,3,-28,-58,114,1,4,14,-42,4,-28,-58,114,1,5,14,-42,5,-28,-58,114,1,7,14,-42,6,-28,-58,114,1,8,14,-42,7,-28,-58,114,1,9,14,-47,-106,-125,2,1,-106,-125,4,1,-109,-63,114,1,-103,-63,-89,115,1)\n39: 0\n40: 1\n41: 2\n42: 0\n43: Coll(11,4,39,58,79,110,-62,-21,-84,-62,95,-30,-30,17,-114,-44,-100,-39,80,-1,116,33,-3,122,89,112,85,-128,-117,18,-21,6)\n44: 0\n45: 0\n46: 0\n47: 0\n48: 1\n49: 1\n50: 156200000\n51: 1000000\n52: 0\n53: 1\n54: 156200000\n55: 2\n56: 1\n57: 5\n58: 4\n59: 1600000\n60: 2\n61: 1\n62: 6\n63: 5\n64: 1000000\n65: -1\n66: 156200000\n67: 1000000\n68: 0\n69: -1\n70: 156200000\n71: 2\n72: 1\n73: 5\n74: 4\n75: 1600000\n76: 2\n77: 1\n78: 6\n79: 5\n80: 1000000\n81: 3155200000\n82: 3000000000\n83: 3155200000\n84: 2\n85: 1\n86: 5\n87: 4\n88: 1600000\n89: 2\n90: 1\n91: 6\n92: 5\n93: 1000000\n94: false\n95: 1\n96: 156200000\n97: 1000000\n98: 0\n99: 1\n100: 156200000\n101: 2\n102: 1\n103: 5\n104: 4\n105: 1600000\n106: 2\n107: 1\n108: 6\n109: 5\n110: 1000000\n111: 1\n112: -1\n113: 156200000\n114: 0\n115: 1\n116: 1\n117: -1\n118: 156200000\n119: 2\n120: 1\n121: 5\n122: 4\n123: 1600000\n124: 2\n125: 1\n126: 6\n127: 5\n128: 1000000\n129: 3155200000\n130: 3000000000\n131: 0\n132: 1\n133: 3155200000\n134: 2\n135: 1\n136: 5\n137: 4\n138: 1600000\n139: 2\n140: 1\n141: 6\n142: 5\n143: 1000000\n144: false\n145: false\n146: false\n147: 150000000\n148: SigmaProp(ProveDlog(ECPoint(6b3415,1b9c7b,...)))\n149: 0\n150: 1600000\n151: 1000000\n152: 0\n153: 0\n154: 1\n155: 0\n156: 0\n157: 0\n158: 1\n159: 1600000\n160: 2\n161: 1000000\n162: false",
      "ergoTreeScript": "{\n  val tuple1 = SELF.R7[(Long, Long)].get\n  val l2 = CONTEXT.headers(placeholder[Int](0)).timestamp\n  val bool3 = tuple1._1 <= l2\n  val coll4 = SELF.R8[Coll[Boolean]].get\n  val bool5 = coll4(placeholder[Int](1))\n  val bool6 = coll4(placeholder[Int](2))\n  val l7 = tuple1._2\n  val coll8 = placeholder[Coll[Byte]](3)\n  val coll9 = placeholder[Coll[Byte]](4)\n  val coll10 = SELF.R9[Coll[Coll[Byte]]].get\n  val coll11 = coll10(placeholder[Int](5))\n  val bool12 = coll4(placeholder[Int](6))\n  val prop13 = placeholder[SigmaProp](7)\n  val func14 = {(bool14: Boolean) =>\n    if (bool14 || (INPUTS(placeholder[Int](8)).R5[Long].get == placeholder[Long](9))) { placeholder[Boolean](10) } else {\n      OUTPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == SELF.tokens(placeholder[Int](13))._1\n    }\n  }\n  val coll15 = coll10(placeholder[Int](14))\n  val bool16 = coll4(placeholder[Int](15))\n  val bool17 = coll4(placeholder[Int](16))\n  val coll18 = coll10(placeholder[Int](17))\n  if ((bool3 || bool5) || bool6) { if ((l7 > l2) || (l7 == placeholder[Long](18))) {(\n      val box19 = getVar[Box](1.toByte).get\n      val l20 = SELF.R6[Long].get\n      val l21 = l20 + placeholder[Long](19)\n      val l22 = box19.R9[Long].get\n      val box23 = INPUTS(placeholder[Int](20))\n      val box24 = OUTPUTS(placeholder[Int](21))\n      val tuple25 = box24.R6[(Coll[(Coll[Byte], Coll[Byte])], (Coll[(Coll[Byte], (Int, Int))], Coll[(Coll[Byte], (Int, Int))]))].get\n      val tuple26 = tuple25._2\n      val coll27 = placeholder[Coll[Byte]](22)\n      val avlTree28 = SELF.R5[AvlTree].get\n      val bool29 = l21 == l22\n      val box30 = OUTPUTS(placeholder[Int](23))\n      val bool31 = if (!bool29) {(\n        val coll31 = box30.tokens\n        val tuple32 = coll31(placeholder[Int](24))\n        val coll33 = SELF.tokens\n        val tuple34 = coll31(placeholder[Int](25))\n        val tuple35 = coll33(placeholder[Int](26))\n        allOf(Coll[Boolean](tuple32 == (coll33(placeholder[Int](27))._1, placeholder[Long](28)), tuple32._1 == coll9, tuple34 == (tuple35._1, tuple35._2 - placeholder[Long](29)), tuple34._1 == coll8))\n      )} else {(\n        val coll31 = box30.tokens\n        val tuple32 = coll31(placeholder[Int](30))\n        allOf(Coll[Boolean](tuple32 == (SELF.tokens(placeholder[Int](31))._1, placeholder[Long](32)), tuple32._1 == coll9, coll31.size == placeholder[Int](33)))\n      )}\n      val box32 = OUTPUTS(placeholder[Int](34))\n      val box33 = OUTPUTS(placeholder[Int](35))\n      sigmaProp(allOf(Coll[Boolean](box19.id == coll8, l21 <= l22, box23.propositionBytes == placeholder[Coll[Byte]](36), allOf(Coll[Boolean](box24.value == placeholder[Long](37), box24.propositionBytes == placeholder[Coll[Byte]](38), box24.tokens(placeholder[Int](39)) == (coll8, placeholder[Long](40)), box24.R4[Int].get == placeholder[Int](41), blake2b256(box24.R5[Coll[(Coll[Byte], Int)]].get.fold(longToByteArray(placeholder[Long](42)), {(tuple34: (Coll[Byte], (Coll[Byte], Int))) =>\n                      val tuple36 = tuple34._2\n                      tuple34._1.append(tuple36._1).append(longToByteArray(tuple36._2.toLong))\n                    })) == placeholder[Coll[Byte]](43), blake2b256(tuple26._2.fold(tuple26._1.fold(tuple25._1.fold(if (box24.R8[Coll[(Coll[Byte], Coll[Byte])]].get(placeholder[Int](44))._2(placeholder[Int](45)).toInt == placeholder[Int](46)) { longToByteArray(placeholder[Long](47)) } else { longToByteArray(placeholder[Long](48)) }, {(tuple34: (Coll[Byte], (Coll[Byte], Coll[Byte]))) =>\n                          val tuple36 = tuple34._2\n                          val coll37 = tuple36._1\n                          val coll38 = tuple36._2\n                          tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(coll38.size.toLong)).append(coll38)\n                        }).append(coll27), {(tuple34: (Coll[Byte], (Coll[Byte], (Int, Int)))) =>\n                        val tuple36 = tuple34._2\n                        val coll37 = tuple36._1\n                        val tuple38 = tuple36._2\n                        tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(tuple38._1.toLong)).append(longToByteArray(tuple38._2.toLong))\n                      }).append(coll27), {(tuple34: (Coll[Byte], (Coll[Byte], (Int, Int)))) =>\n                      val tuple36 = tuple34._2\n                      val coll37 = tuple36._1\n                      val tuple38 = tuple36._2\n                      tuple34._1.append(longToByteArray(coll37.size.toLong)).append(coll37).append(longToByteArray(tuple38._1.toLong)).append(longToByteArray(tuple38._2.toLong))\n                    })) == blake2b256(avlTree28.get(blake2b256(longToByteArray(l20)), getVar[Coll[Byte]](0.toByte).get).get), box24.R7[Coll[Byte]].get == coll8, box24.R9[(SigmaProp, Long)].get == (box23.R4[SigmaProp].get, l20))), if (bool29) { allOf(Coll[Boolean](box30.value == SELF.value, box30.propositionBytes == SELF.propositionBytes, bool31, box30.R4[AvlTree].get.digest == SELF.R4[AvlTree].get.digest, box30.R5[AvlTree].get.digest == avlTree28.digest, box30.R6[Long].get == l21)) } else { allOf(Coll[Boolean](box30.value == SELF.value, box30.propositionBytes == SELF.propositionBytes, bool31, box30.R4[AvlTree].get.digest == SELF.R4[AvlTree].get.digest, box30.R5[AvlTree].get.digest == avlTree28.digest, box30.R6[Long].get == l21, box30.R7[(Long, Long)].get == tuple1, box30.R8[Coll[Boolean]].get == coll4, box30.R9[Coll[Coll[Byte]]].get == coll10)) }, if (bool3) { if (bool12 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll11, placeholder[Long](49)) })) {(\n                val l34 = box23.value\n                val bool35 = l34 < placeholder[Long](50)\n                allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](51), box32.tokens(placeholder[Int](52)) == (coll11, placeholder[Long](53)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](54)), if (bool35 && (INPUTS(placeholder[Int](55)).R5[Long].get > placeholder[Long](56))) { OUTPUTS(placeholder[Int](57)) } else { OUTPUTS(placeholder[Int](58)) }.value == placeholder[Long](59), if (bool35 && (INPUTS(placeholder[Int](60)).R5[Long].get > placeholder[Long](61))) { OUTPUTS(placeholder[Int](62)) } else { OUTPUTS(placeholder[Int](63)) }.value >= placeholder[Long](64)))\n              )} else { if (bool16 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => (tuple34._1 == coll15) && (tuple34._2 >= placeholder[Long](65)) })) {(\n                  val l34 = box23.value\n                  val bool35 = l34 < placeholder[Long](66)\n                  allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](67), box32.propositionBytes == prop13.propBytes, box32.tokens(placeholder[Int](68)) == (coll15, placeholder[Long](69)))), func14(l34 >= placeholder[Long](70)), if (bool35 && (INPUTS(placeholder[Int](71)).R5[Long].get > placeholder[Long](72))) { OUTPUTS(placeholder[Int](73)) } else { OUTPUTS(placeholder[Int](74)) }.value == placeholder[Long](75), if (bool35 && (INPUTS(placeholder[Int](76)).R5[Long].get > placeholder[Long](77))) { OUTPUTS(placeholder[Int](78)) } else { OUTPUTS(placeholder[Int](79)) }.value >= placeholder[Long](80)))\n                )} else { if (bool17) {(\n                    val l34 = box23.value\n                    val bool35 = l34 < placeholder[Long](81)\n                    allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](82), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](83)), if (bool35 && (INPUTS(placeholder[Int](84)).R5[Long].get > placeholder[Long](85))) { OUTPUTS(placeholder[Int](86)) } else { OUTPUTS(placeholder[Int](87)) }.value == placeholder[Long](88), if (bool35 && (INPUTS(placeholder[Int](89)).R5[Long].get > placeholder[Long](90))) { OUTPUTS(placeholder[Int](91)) } else { OUTPUTS(placeholder[Int](92)) }.value >= placeholder[Long](93)))\n                  )} else { placeholder[Boolean](94) } } } } else { if (bool5 || (bool6 && bool12)) { if (bool6 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll11, placeholder[Long](95)) })) {(\n                  val l34 = box23.value\n                  val bool35 = l34 < placeholder[Long](96)\n                  allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](97), box32.tokens(placeholder[Int](98)) == (coll11, placeholder[Long](99)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](100)), if (bool35 && (INPUTS(placeholder[Int](101)).R5[Long].get > placeholder[Long](102))) { OUTPUTS(placeholder[Int](103)) } else { OUTPUTS(placeholder[Int](104)) }.value == placeholder[Long](105), if (bool35 && (INPUTS(placeholder[Int](106)).R5[Long].get > placeholder[Long](107))) { OUTPUTS(placeholder[Int](108)) } else { OUTPUTS(placeholder[Int](109)) }.value >= placeholder[Long](110)))\n                )} else { if (bool5 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => tuple34 == (coll18, placeholder[Long](111)) })) { if (bool16 && box23.tokens.exists({(tuple34: (Coll[Byte], Long)) => (tuple34._1 == coll15) && (tuple34._2 >= placeholder[Long](112)) })) {(\n                      val coll34 = box32.tokens\n                      val l35 = box23.value\n                      val bool36 = l35 < placeholder[Long](113)\n                      allOf(Coll[Boolean](allOf(Coll[Boolean](coll34(placeholder[Int](114)) == (coll18, placeholder[Long](115)), coll34(placeholder[Int](116)) == (coll15, placeholder[Long](117)), box32.propositionBytes == prop13.propBytes)), func14(l35 >= placeholder[Long](118)), if (bool36 && (INPUTS(placeholder[Int](119)).R5[Long].get > placeholder[Long](120))) { OUTPUTS(placeholder[Int](121)) } else { OUTPUTS(placeholder[Int](122)) }.value == placeholder[Long](123), if (bool36 && (INPUTS(placeholder[Int](124)).R5[Long].get > placeholder[Long](125))) { OUTPUTS(placeholder[Int](126)) } else { OUTPUTS(placeholder[Int](127)) }.value >= placeholder[Long](128)))\n                    )} else { if (bool17) {(\n                        val l34 = box23.value\n                        val bool35 = l34 < placeholder[Long](129)\n                        allOf(Coll[Boolean](allOf(Coll[Boolean](box32.value == placeholder[Long](130), box32.tokens(placeholder[Int](131)) == (coll18, placeholder[Long](132)), box32.propositionBytes == prop13.propBytes)), func14(l34 >= placeholder[Long](133)), if (bool35 && (INPUTS(placeholder[Int](134)).R5[Long].get > placeholder[Long](135))) { OUTPUTS(placeholder[Int](136)) } else { OUTPUTS(placeholder[Int](137)) }.value == placeholder[Long](138), if (bool35 && (INPUTS(placeholder[Int](139)).R5[Long].get > placeholder[Long](140))) { OUTPUTS(placeholder[Int](141)) } else { OUTPUTS(placeholder[Int](142)) }.value >= placeholder[Long](143)))\n                      )} else { placeholder[Boolean](144) } } } else { placeholder[Boolean](145) } } } else { placeholder[Boolean](146) } }, allOf(Coll[Boolean](box33.value == placeholder[Long](147), box33.propositionBytes == placeholder[SigmaProp](148).propBytes)))))\n    )} else {(\n      val box19 = OUTPUTS(placeholder[Int](149))\n      sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](box19.value == SELF.value - placeholder[Long](150) - placeholder[Long](151), box19.propositionBytes == prop13.propBytes, if (coll4(placeholder[Int](152))) {(\n                  val tuple20 = box19.tokens(placeholder[Int](153))\n                  val tuple21 = SELF.tokens(placeholder[Int](154))\n                  allOf(Coll[Boolean](tuple20 == tuple21, tuple20._1 == coll8, OUTPUTS.map({(box22: Box) => box22.tokens.map({(tuple24: (Coll[Byte], Long)) => tuple24._2 }).fold(placeholder[Long](155), {(tuple24: (Long, Long)) => tuple24._1 + tuple24._2 }) }).fold(placeholder[Long](156), {(tuple22: (Long, Long)) => tuple22._1 + tuple22._2 }) == tuple21._2))\n                )} else { OUTPUTS.forall({(box20: Box) => box20.tokens.size == placeholder[Int](157) }) })), OUTPUTS(placeholder[Int](158)).value == placeholder[Long](159), OUTPUTS(placeholder[Int](160)).value >= placeholder[Long](161))))\n    )} } else { sigmaProp(placeholder[Boolean](162)) }\n}",
      "address": "2D8yirgjqULcWLEVzfdKWtgxUP2T5BDoKpaYE6uDk9kTJSo7QRfFnFTjqLmG5Lvavuva6Ky325A3ELnyftkXsBRkGdNsskSMyWgiYUj1pZwxKQegrE5gvhG4Wu4817vDTk9QSLpKFoVJsUi5u55qmm7nxWM56CqFjbsAwGZY7gxcEznrzFsJiiGfPMzgxC4jfMshDsyqJkLjM1nhKZfQzBh98QFX7sHrTXkusHEWksgWQ3yMHw4QYHLmhsc3vNxtcBAf4n31Yvtvnd3Hv9Nes4izDNfEd9mMiha5X5ZGb9iSkmpWNVU6qgoq8Ey8ihq75FXFk2mHtReht6PuVcXvdNNa7vcwNPwdXaEmyixtutAz6984Yc4hTf2MuZHMm6dBo6Y717e6QLDQWjo4NnkWvLQ8jAVqta1NXKE8dvF21isCYbjYMNkEZ8gLtH51WqkG9yXZoEAbEzT4RX3VUdgSgEYAKPVnjFybadwDnDaou2jq5u7QdRTZQ8X84ixX5ZWEcx9wY4CEALKtueTtZVEoQazftQvVuxzrmzj4wRdsdaxBFxshxFtrcC7CH1bzjnSWTuxbSzsddeb7mmLR2beB7vTT6Lh9WEjPn1hdABbPwvHydBtY7A75b65bzpvNpam7igkiPCpak1YE5f8fZ27UeCSzKXaaQep7TKU3KEYsoVnWa8DGNDL2cRAkHd6C7wnvSCh9dTzWq5NAVhb5jczcEzkWs95oT6YuB7Rr1LMT5WVTanSGT3r7Ms4zGUpLBfSvG54bJimyLNYpnu6Zqgrdj3Jnm7HDEVSZ1jk4hqqEP2FnH6Rg8bZ1RQT3Sshr26LYYnGLAKKEyeKSi1chfESVR4Dgf6y39Pt7QAcf9539gL8GDiK3S9v4vir6EdveF62P3Nqpc25f7qLJcVo1rYWtnCKXFwhGyJu5Gbvvp3hiETEMyewRP2BjtCdtP8bU7cdQdjzNJUtc8jAV6SZXrkAoPKrsvaXrQqDwJwbT2qQAfqRTCaUesLogvd5SKuwoGSLZkfK8tPrd8brFwrDbY4eAvXh42RkbaTD6gcw25SSRfHdTHd49Zr7JSkxuw1rBNKfxNVxyzqAUcUxMwypWJhgFvsC7Urc95RP8WkxVsTbx7nph29bMdofRmu7bu5RrWZjELVb25KyQDNrRYdSoy6k5Ka3DCvxrLzNbS6xMZ6YtcNn59bDafC8WvNZ7E5FPrxRJvetf3aAwU7AM3quNh7h1DMscvcwpLCjmxeVFSLncoxTWbWetFVuJau8avkxdSo66TsciDkb6huoT73Re5fq8QMXAWVAPz3mWoGNg6ezPZEumwXf837j6q7vVyrzh4WEtf6p4meqMt1ww2j4AytEmSsnvuApzPPVyZiLZRDXXPnck6ZfqEjGkB5boJW7j2EpZNqLnaEZp4Xz4zkCxGw4YXNJj7MESqeetV4dxVzfRrUjhS1T4M9RBXNzQSHoiw7EcyvNvtj5LLdwLyrxsDHG9JgHmWQk1Y3bkn78TB1VwMGtTFurugSbiTvUgjL3gHxsAmrv7QTnHm9ts4AkvxXbP8VrHfeEx1DmeCKwRZotKKrfx1895yiTDrJ7EccpQPz6gNXs4QMKTG1PCPYrqHytu3jEPncC8Ghpz4dUZu39dndYPe99SBnbGpdbyr8EscjVq6MydXZFoBQJH39quYFW2DJ636KQ2H2GWhJHDCiFQJZAAfg99WKaXTp3TiR9XTTzr85GddcpxFk4AmXdMXpHKLdYy9FsrPCAC8WWymLyJzBKctwUiuHbf8H9XGHJADcZZnaXKabdEhWanCR3UKtxXSEkvihzJFYx3TrN3jsN7AMSxiRA5Uk73UubVH13GYJxYDknSgjLz6LuQm3RqQsN1E8TQJJWxYfg4APdYuUDLrLpBNRCjUvGmeLcLRaxugi5CuBuystVVK1HLuPNBGDgcnAw3y8SwfU9YLx6ekQvYCysHkqQ3JCmTK4oujTk2WS5yWvX7gYHZ3yjxDqqGj2pTeG61chDQJ6NjXTnMwAVKv7RdRUuCNGkcy1R6cxbPWavQAKBy8x89qiraR61Y7EWurfC1nMWdm2GokvgPBKSq4muL1bhLEeLBLHekWTBsuPf8t8LAbtYqEVukjUwJr9QXiQeEjcUQfrguNyDQQzjoNzQTBC8MBzCTj5obPc9vE6kgsPsQDt5KnR21X2RLWHEgrYZpZALwVz4rGdErAnv9KVhDFWfTgCZNJFjUX3m69V79421Gskuq54y9oVK2a1anLEXpjDppFTzHitEzTzREDz7CoiMwqF78qJGuSVMj5EgUeAsKYVV1iVpsZtrHfinC8iPF3aYemtpC7rr3DqmHs7i6dP8pe6LsZFFTHKBnPuPey3KXkGLnGFZaN7c7DVcnz4HWThpzoBcXBqWWCF7yRBwdCRiXrHNFGCW2X8WnUZ6kR4aCnZ6UCMtoC1uC8CNEzCAcBddpaFAuxaMeZJGHfQtsuLg9hLEdavVXt53qdfDRvx2qir3tEthQxVNqrPpiC9RsxFzHkmg1kKA9SX4pn9axBMppUwBSJ6Ue1G59Hhb1qtnps6HwgDV7AJrU1EgDSdykz9uVM3aZsHMPSSRWUaFtFVeeRm2hTifuCMKYMGuyBDRGaJmvMvHphBF2qiTXGYVTcK9KPXgCfZqg72KdU3H3rWw7gPwNGV3KRuj8ASi2Eej2RBgDSHFZtmGTa54VU6gSE1EXzufiPoe6wZU3PhQfNZRkq5kvzeVeQHucGKqyLem3YWs49EVYGhppfXK6YVQoX3BpNPSzqNpmm3RZM8CMqwGU6CupEVchVqSjVRfkBTQCmM2UW5J8v7dRY3Hi26SC2JT3W44iMnPfUEc9ihbPGSZo3GiNe8RAvUJpC3WD2UxsDjmm3bc5gtLUvmkG63kv37ifvHckx5RvpY9vqkyNf4xgBMf1Fg9K4S9Pee78bMEzPuwjNhRAqnfog28UPykjGXvKQ7ptXXXecSyD21S1hrEoDZKiwjW33qEuW3YEJhMwWXQSPSybzHhrvhFfiU2BjD4gSVzhsfrJjXWiAJQA7FC76fdwdxxLswigoXTmL6QrjRKVfPR1kE6iffKAWBvDUt5eigfNmA2NZAJW5L6WhdsTbR2JGTBcJgssAxzZMKyTqVe1tVmBHufqLbAVL462fhf3hwPkFgzZYzZbRRoKaRh1ntUoYso35eaLogDqdujhEBptwq9KuccYQa3drobc3eB5K1Xn2gZft15rTRZLoXmhrKFB8o7RLSxGmZbhCVUbLRuwcnfDSgyVBAT98otN4XcNcMUB5kqc7EkWbJxniegR19dzCEUy54tqNbewYYnbiDVFAizM7dZRZ1bGUMCXSbH2TGaxmPQ8MQjbJfNUoEnwR3nc7pJRxaEp9Ajb76YsXJvbmMF4zDYghTGkiXDHhJzXrDg56MZ7285oyysghKhF5W6nm49exVmX6Lcr6wmM4Cu9LXwbD235xuiBC5zLEvo9yxG9z9B61QCHn4BFYX3qGgmZuvRdJ8X1QFrzYgVDgeWrTo2s4YporDhL1GmbfnFbL5v1f4bkgd4RNd7rzuwf75HZN8BcJ5Hkokfqvynrs9QPGBtM8m4b1dugDpExRBrUXRzr5Uo41Wj7YSaeY8HhJPNe8m4EJhXkhc6TwKBB7ndBVp7GmWhYW7jGhSXRdznS1zzH91AXhuGycZy5U6HwSkDbXS1FrQ2617qqDpSX3GbtV6BBzbRxSxJzJkVtUGc287Wq1gpvf3dzHYRQ6KCvAxryeek92wifJtwzU4q1ZL5ft1U1xiXSUvpNrKCaKtB3PpRKGgX1nTrKDMLUYWviCT38p3sogYRFrkihP2XU4D1qoMeykaPsg1WboAjDQuyh2qAq2VUSnuaZKK4R7WrDb65W5PkL3txzqDEQZhaKmdHi5v8okm1aRn8tYM3f6KgmkTw7W6pH4z1M8EaJnz8X7SD6G21H6wxVKqJusU22Myf8Dk5gex1TXLTNWee23sxxU48eFGFiE5mqveLyhqzJtYw7R7CuZZdnRcRK8C1vFuoM7jYeNjsStJL5SPsURtnWcbNFQVgro22Pg1fpxJLmKZaVhfyZnYLnyHczUydLNZk5Q2RjV16ACxNxi4erzbDSzTRJNyWoPo1o3NVV3Uir6MArHXfvu9NQXtNuR4Lpb4TmtJkx7ixuJuKfKkNFZKTRBaCzebgjJLQsWhQnFRg5wsM2xwJAEb1TfaBbfNsFazkUDn6CHYjzPS2o38CVDsPAi11SbyQ1kZtHgHTXmSthXwPZRfXhXv7WPv4Uh9rWUpeWGQo5hJ522TUxnfigWpY1kGaoVXSJbmxnc",
      "assets": [
        {
          "tokenId": "68f502321c368ccc85143d1a9ee61991e09b9f344d3e539ed9723ae4a5588f6b",
          "index": 0,
          "amount": 1,
          "name": "State Box Singleton",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "699c3bf78e5488cadba1ca0f5f62375211c5a5e119d3cf21408d26eb651adf55",
          "index": 1,
          "amount": 651,
          "name": "Sigmanaut's Space Stars",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "64b27aec63975d4f498bc4d5315755094b70e36cdabba2842556755451fbd9b2d80c072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R6": {
          "serializedValue": "05ba05",
          "sigmaType": "SLong",
          "renderedValue": "349"
        },
        "R8": {
          "serializedValue": "0d0740",
          "sigmaType": "Coll[SBoolean]",
          "renderedValue": "[false,false,false,false,false,false,true]"
        },
        "R7": {
          "serializedValue": "59c0e2b0f2ce6201",
          "sigmaType": "(SLong, SLong)",
          "renderedValue": "[1694216100000,-1]"
        },
        "R9": {
          "serializedValue": "1a03000000",
          "sigmaType": "Coll[Coll[SByte]]",
          "renderedValue": "[,,]"
        },
        "R4": {
          "serializedValue": "64772217b1f5b00eb03f83f3b8560f73508d34161557b599013300f0c661aabc0f0c072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "f5c6160112d6a923ea9b4ba7e8f26a7488b869165c2f69d66e9cba9f2fa6eb6c",
      "mainChain": true
    },
    {
      "boxId": "79e68e166deb3f2e6cfefec6c96ef83fc34d77cbc9a47ae067b24c55a4d34b8d",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 3000000000,
      "index": 2,
      "globalIndex": 32532455,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "ergoTree": "0008cd03188e02e20a30ea1278e3aa933cffbd12cab1cc0c3f82d63cf414b551c2f00872",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(188e02,7ae528,...)))}",
      "address": "9gecugTM9BQPqj1jmKbxdtUgPuK1JtkMRmVuPkbPdFtdHeD11Es",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "6bad1d194c0e23265429e1c0151efe4bae1339ed0cb7398ea5474326e99ee301",
      "mainChain": true
    },
    {
      "boxId": "130bdba213e65e213ac0eae83c10dd63b042e981b37e476d34ad964dad08f1bc",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 150000000,
      "index": 3,
      "globalIndex": 32532456,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "ergoTree": "0008cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b4829",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6b3415,1b9c7b,...)))}",
      "address": "9gWkqeBUdJxgPv9TYUM6mLY1RYkXHmJuHRhHnnM2UZ9qFqySotz",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "3366f40f8c4f081f442f61dc6f8e8a43def7881d2c561dc19dbbe3b93c02c35c",
      "mainChain": true
    },
    {
      "boxId": "e736a3eee2f0a6f57aebc70d58e580b2ed6535d54cb90362e0b14dc48a308325",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 1600000,
      "index": 4,
      "globalIndex": 32532457,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "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": "9cffb429cfefe6597fd3b7cf0174726498599a9a1691cbd13b6c33d1acd58097",
      "mainChain": true
    },
    {
      "boxId": "d10cd341627540ae16e70d36b7a86d257bf23e17477ff66a83562ac1f73d54ee",
      "transactionId": "e4112712912e108ef7f01ad500143ce2ca2a371498ef9ff28f9bffa1e9e89740",
      "blockId": "f94af20bcb6c9095e8fc23f459d7d4df6c340b648a4a788c4063be04cef86117",
      "value": 2000000,
      "index": 5,
      "globalIndex": 32532458,
      "creationHeight": 1088867,
      "settlementHeight": 1088869,
      "ergoTree": "0008cd0301465e5d092dd2f201667b1b88151facb2498364c333a2ba6109747304b4b98b",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(1465e5,12b208,...)))}",
      "address": "9gUNFq1gAu2sb6KdF7jeQ1WKmTBx9J7WXA9ULsxve1BXmwmPmhL",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": null,
      "mainChain": true
    }
  ],
  "size": 5148,
  "isUnconfirmed": false
}