Transaction
ID: 02f83c8cdb...9d47
Inputs (3)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.0036 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
0
Spent
Address:
Output transaction:
Settlement height:
Value:
0.0204 ERG
Tokens:
Loading assets...
Outputs (7)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0026 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0036 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
0
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.005 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0102 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0016 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Transaction Details
Confirmations: 728,896
Total coins transferred: 0.025 ERG
Fees: 0.0016 ERG
Fees per byte: 0.000000288 ERG
Raw Transaction Data
{
"id": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"inclusionHeight": 1041693,
"timestamp": 1688704707223,
"index": 2,
"globalIndex": 5489138,
"numConfirmations": 728896,
"inputs": [
{
"boxId": "3fc6ba5555cc276bd18b3ae029ed2fb6bd69105640c7b9c171c7f2252031788b",
"value": 3600000,
"index": 0,
"spendingProof": null,
"outputBlockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"outputTransactionId": "a74cc81df09ff89f0247608e9005174dd952f894a4573c04ac44cb08b89d0cdb",
"outputIndex": 1,
"outputGlobalIndex": 30738090,
"outputCreatedAt": 1041691,
"outputSettledAt": 1041693,
"ergoTree": "10a3010400040604040e2070311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d69780e2091d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef173190670400040208cd03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc5104040502010104080400040004040408040c040205010502040204000e087f000fbaf55fab7e04020400040204020400050205020400040005020402040404060ef901100c040004000400040005000500040001010e20e540cceffd3b8dd0f401193576cc413467039695969427df94454193dddfb375050005000580a8c301d802d601db6308b2a4730000d602e4c6a7040895ed91b172017301938cb2720173020001e4c6a7050ed1938ce4c6b2a5730300094405017202d802d603d07202d604db6308a7ea02d1968302019683020192b0ada5d90105639593c272057203c1720573047305d90105599a8c7205018c720502c1a79591b172047306aea5d9010563ed93db63087205720493c272057203730793b0ada5d90105639593cbc272057308c172057309730ad90105599a8c7205018c720502730b72020580b1bd020ee201100804000580a8c3010400050204000e013004020580a8c301d807d601b2a5730000d602e4c6a7094405d603e4c67201040ed604e4c67201050ed605e4c67201070ed606e4c67201080ed607e4c67201090ed1968302019683040193c1720199c1a7730193c27201d08c72020193b2db630872017302008602c5a773039683020193cbb3b3b3b3b3b3b3b3b37a7eb172030572037a7eb172040572047a7eb172050572057a7eb172060572067a7eb17207057207cbe4dc640ae4c6b2db6501fe730400046402cb7a8c720202e4e3000e93e4c67201060e730593c1b2a5730600730704000502040405000e20821bad4a83af01d88345df48215494279b239f3c0f00b86fa9bae3ec0f8659d5040004000400050005020502058098d70a0580897a04000502058098d70a04040502040a04080580a8c30104040502040c040a0580897a0514058098d70a0580897a04000514058098d70a04040502040a04080580a8c30104040502040c040a0580897a0580938c69058084af5f0580938c6904040502040a04080580a8c30104040502040c040a0580897a01000502058098d70a0580897a04000502058098d70a04040502040a04080580a8c30104040502040c040a0580897a05020514058098d70a0400050204020514058098d70a04040502040a04080580a8c30104040502040c040a0580897a0580938c69058084af5f040005020580938c6904040502040a04080580a8c30104040502040c040a0580897a0100010001000580ade20408cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b482904000580a8c3010580897a04000400040205000500040004020580a8c30104040580897a0100d812d601e4c6a70759d602db6807b2db6502fe730000d603908c7201017202d604e4c6a7080dd605b27204730100d606b27204730200d6078c720102d6087303d6097304d60ae4c6a7091ad60bb2720a730500d60cb27204730600d60d7307d60ed9010e0195ec720e93e4c6b2a473080005057309730a938cb2db6308b2a5730b00730c00018cb2db6308a7730d0001d60fb2720a730e00d610b27204730f00d611b27204731000d612b2720a73110095ecec72037205720695ec91720772029372077312d80fd613e4e30163d614e4c6a70605d6159a72147313d616e4c672130905d617b2a4731400d618b2a5731500d619e4c67218063c0c3c0e0e3c0c3c0e580c3c0e58d61a8c721902d61b7316d61ce4c6a70564d61d9372157216d61eb2a5731700d61f95ef721dd805d61fdb6308721ed620b2721f731800d621db6308a7d622b2721f731900d623b27221731a009683040193722086028cb27221731b0001731c938c722001720993722286028c722301998c722302731d938c7222017208d802d61fdb6308721ed620b2721f731e009683030193722086028cb2db6308a7731f00017320938c722001720993b1721f7321d620b2a5732200d621b2a5732300d19683070193c572137208907215721693c2721773249683080193c17218732593c27218732693b2db6308721873270086027208732893e4c672180404732993cbb0e4c67218050c4c0e7a732ad901223c0e4c0ed801d6248c722202b3b38c7222018c7224017a7e8c72240205732b93cbb08c721a02b3b08c721a01b3b08c72190195937eb28cb2e4c67218080c3c0e0e732c0002732d0004732e7a732f7a7330d901223c0e3c0e0ed803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7eb17226057226721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205cbe4dc640a721c02cb7a7214e4e3000e93e4c67218070e720893e4c672180944058602e4c672170408721495721d9683060193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e060572159683090193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e0605721593e4c6721e0759720193e4c6721e080d720493e4c6721e091a720a95720395ed720caedb63087217d901224d0e9372228602720b7331d802d622c17217d6238f72227332968304019683030193c17220733393b2db630872207334008602720b733593c27220d0720dda720e01927222733693c195ed722391e4c6b2a473370005057338b2a5733900b2a5733a00733b92c195ed722391e4c6b2a4733c000505733db2a5733e00b2a5733f00734095ed7210aedb63087217d901224d0eed938c722201720f928c7222027341d802d622c17217d6238f72227342968304019683030193c17220734393c27220d0720d93b2db630872207344008602720f7345da720e01927222734693c195ed722391e4c6b2a473470005057348b2a5734900b2a5734a00734b92c195ed722391e4c6b2a4734c000505734db2a5734e00b2a5734f007350957211d802d622c17217d6238f72227351968304019683020193c17220735293c27220d0720dda720e01927222735393c195ed722391e4c6b2a473540005057355b2a5735600b2a5735700735892c195ed722391e4c6b2a47359000505735ab2a5735b00b2a5735c00735d735e95ec7205ed7206720c95ed7206aedb63087217d901224d0e9372228602720b735fd802d622c17217d6238f72227360968304019683030193c17220736193b2db630872207362008602720b736393c27220d0720dda720e01927222736493c195ed722391e4c6b2a473650005057366b2a5736700b2a5736800736992c195ed722391e4c6b2a4736a000505736bb2a5736c00b2a5736d00736e95ed7205aedb63087217d901224d0e93722286027212736f95ed7210aedb63087217d901224d0eed938c722201720f928c7222027370d803d622db63087220d623c17217d6248f72237371968304019683030193b2722273720086027212737393b272227374008602720f737593c27220d0720dda720e01927223737693c195ed722491e4c6b2a473770005057378b2a5737900b2a5737a00737b92c195ed722491e4c6b2a4737c000505737db2a5737e00b2a5737f00738001957211d802d622c17217d6238f7222738101968304019683030193c1722073820193b2db63087220738301008602721273840193c27220d0720dda720e0192722273850193c195ed722391e4c6b2a4738601000505738701b2a573880100b2a573890100738a0192c195ed722391e4c6b2a4738b01000505738c01b2a5738d0100b2a5738e0100738f017390017391017392019683020193c1722173930193c27221d0739401d801d613b2a573950100d1968303019683030193c172139999c1a773960173970193c27213d0720d95b2720473980100d802d614b2db6308721373990100d615b2db6308a7739a0100968303019372147215938c721401720893b0ada5d9011663b0addb63087216d901184d0e8c721802739b01d90118599a8c7218018c721802739c01d90116599a8c7216018c7216028c721502afa5d901146393b1db63087214739d0193c1b2a5739e0100739f0192c1b2a573a0010073a101d173a201",
"ergoTreeConstants": "0: 0\n1: 3\n2: 2\n3: Coll(112,49,31,53,89,-51,-89,83,12,54,59,-91,18,-107,-89,116,50,-113,-67,30,-10,-93,72,122,72,114,2,54,45,45,105,120)\n4: Coll(-111,-41,-123,-3,17,5,-6,-21,35,30,-107,-92,-32,63,29,-42,72,45,2,33,8,39,-113,-60,27,-33,-112,-17,23,49,-112,103)\n5: 0\n6: 1\n7: SigmaProp(ProveDlog(ECPoint(e78d19,db8909,...)))\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(-126,27,-83,74,-125,-81,1,-40,-125,69,-33,72,33,84,-108,39,-101,35,-97,60,15,0,-72,111,-87,-70,-29,-20,15,-122,89,-43)\n44: 0\n45: 0\n46: 0\n47: 0\n48: 1\n49: 1\n50: 11200000\n51: 1000000\n52: 0\n53: 1\n54: 11200000\n55: 2\n56: 1\n57: 5\n58: 4\n59: 1600000\n60: 2\n61: 1\n62: 6\n63: 5\n64: 1000000\n65: 10\n66: 11200000\n67: 1000000\n68: 0\n69: 10\n70: 11200000\n71: 2\n72: 1\n73: 5\n74: 4\n75: 1600000\n76: 2\n77: 1\n78: 6\n79: 5\n80: 1000000\n81: 110200000\n82: 100000000\n83: 110200000\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: 11200000\n97: 1000000\n98: 0\n99: 1\n100: 11200000\n101: 2\n102: 1\n103: 5\n104: 4\n105: 1600000\n106: 2\n107: 1\n108: 6\n109: 5\n110: 1000000\n111: 1\n112: 10\n113: 11200000\n114: 0\n115: 1\n116: 1\n117: 10\n118: 11200000\n119: 2\n120: 1\n121: 5\n122: 4\n123: 1600000\n124: 2\n125: 1\n126: 6\n127: 5\n128: 1000000\n129: 110200000\n130: 100000000\n131: 0\n132: 1\n133: 110200000\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: 5000000\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": "AnzHrMQy5JBBDXCqKzDAWRtxvRVasn4cjLFjUZsrvmwWZBe8ZvZWkdAPiwK2iwVypr4HMnKDH49v7ywmkfSqqAbZu9EZz4Vnv68roqmhfgd3ASn8ahuqgxGavRsD3Vp68nyYNfTzgKg6LtwRdtrije8rYsXGQhybKS1pdcTWTQiogmvdKdcksfd6EnZkoJCxCLrxXMhLJDjdWAFreKcTuvK2ke6hXywxjHmjuqXRrcnKtCRjhDrxBt2G6NZUBbXDXWVgwdMFDeeyVeBCkSao1R2QYkFZw8FsGPrtinutDELzL2s9MMaGJ4dGWi7UZDEetjQYGG3FyCYw8fcPG5n4uJoam4AdhifW6TQiQ3qDBPEEcVtbcZsshvQb6VccUUzFRnykJX2u2CUZc9vKn9wco5HjWjiVjbGLyAm8r3zpaRoC45jcb57HmR2pYRQMaoaM8zURNydh1HgvuwH4BaFrZQhLSY6jAy4pD1PBYufgo1E55hGyxDvw3NKZ5MCbPZqJGJN88AytUpksYjZ4bM1xeKgC9x9DiWyH5d4L6o5D98NeKQXTKeTMhcqwJxQAbV5ze3e6oveN2uXZDtPigGXQYU7wmUbWBrihJPyopUTp1X7Cw8Lbo7mBRnDxDxTb6u2qQZeNH8KSr6f1a5Uk5Taw2dEgQece1RDshRJkdxNRD69Jt81NvZs9BMZg9pcsfcEaZRDurKsC3xxuoeQcntmTbuDev4sQ3iw8yMGWsYTNnYDaCvkjm56oHsRuL6pZF8trnaBgMKu6TQr9XWXCSGzByWW9KkdWEmS2MySXmTtDv5mYonZLBKtkktdHzgrLxxFZPLS5VSkVnKpYzza8iHKbXj3uYVnpFNBTa86sonRUzxjSSWqJq6hfxiYR8zW32uaTYFN9bPxADZPSJZ574gZdgj1VstdJrtC439JuhgEBiHqeajqX6zrbAXay7Kzi1oYphGJujK3VSkRhhHNKKWk8whgefmXZKbdDhRMxorcUW89Anu7Luq99hRGDWHzTUy7UQdV13QuURxRZj2FzReQPLSgFW9jVP2wruEbTaXvygxbdDeqCKJKEYfZSFP2Q7ECrqwF3JSjwifpNajBwT7i4UNuFeptcC11MadEZsjGCqgPDtYEquTFiTYHEU7L1sNF8G4yTAH6akvWkAoRZtxBZandycGE2srRVDnwRf52GSAmFJZ9UFsCuY1jLWy1XFBSTQ1kUVxUdpHezpvFvwV5YKEp3JFFZoDwhrApBVrLmtwve2H9ym9p6cAT5dyaQh4fCK4haEf1vGiJigXxAJLxr9uRYShGTqtKFj7jaJtT3m4yT617dSZVWTk1tbHh3tev3E3YQEbvFtNn49D6pCmZWsLMtczaeLoytS3yCrgVfp6Pj8RvcmyBeutfQf3dU2Jg9jUxXxJK1HAzguJSCnPm3s1qP43tGgFVRcLh24V3G42u6mozBiydCe5guidDwdovCRjiZm7EWhF4tJHBZWCJZNEzecZheHmpLk3Kn6m4zaTLeVhJFv1ixK5Y2QZPdE54QCcWrGhx4pc7D1GtaQwTnJvdwVi2hnor9F3KEekZuk8N4V7o7rci4DxTcmmVwQ1JTHbvA5jTMQ3idPpmPPLCTBCki2pBZSPjUeMYKswqYKX8R2GuGjimcA89gPx4DfhAi9poBL1TwJ3Rv8HE9dspptp5GWma2Nnnzw3c8NcmUU5X3MAoRcqQWFLCsSLR7YPxfdXuPbvuFdjFWvKkDcH8DZt5z1vzQZ8uGdUf7z6xrUnRC4FBtCeyYDWPbUrzPQiqiTyhKxBaNR6h2NpXctHmsDJbFgHL5MmpDmwPUmBpCpxXhZbYR7Gm1CAxiQyHuVaec1wZ7bDCrJRPG5sz4YLEKbpHQohc79VEVjgo2H7E5hREgiqD6P5TM3fDHK6YmeKX9RuYPnH5W4ZCRxgRbhn2jSvEWjb9sP4SxvMShH5yPsdv4nCNBa3SSzewNfQcQTqyNvGN7BtkYTmgCvDbRMGTRjcQQafirNL1qvbgdvWNsGPamaHH5wxpypJmKgsuv2C5NeAzfbpXqa3vbm6JrLB6bYsrDWYTq6x1eDsnCBk1brG4q99CrupEsWETSmSB3E9BVyBajMcijQDzq28xArUNRkNC8XXvn7nJ6DRzBuBdZQCdHXvUj4vverhBrFTfGrXjhvaGLSLKJAhgbq4YXrDFEC6JywD5e5tVcEhmBA2Y5eUYYQPFtPJoxuCXdQGk7MnoPv1Td1a2XpxsAbBD9bYfcTvLZ4dzprrRZ1npH9UXZUqsMUPxYC1gGqSTf6RDzPCwPT3VbUvnXDR8GnF8yvayZGDi85fYBCBDr5fgU1stJqnesWieLRucYEYdCgA2gYPyHhiSx7fLwGit1xdUoCKvHVzcPprV6Hd9GB7gEircQKZSwLMjP8wPGoSt2MTM9gJrGabPjCX7mNCBuZgAzWAfd3UaNvKKLYg1bn7T1926EN2iJykLE2McXncozPvY7mSWYKJvibsBbH7PKc9aLfYme8ar48KPihCjXXfs9LYEnBYerUfQt7JUS1ggRgJYZ7AjksMX6hqC8CGYsZRecwVGMCvPVgVaF86CL2JhVnkPVZFZcj9wfLQswWhW3EaB6xQtsr82sKPEbjMWWAxcXSCgEZ3vPtqGeAyvMM6iKrbqs4C1LCBa65pFuzKT6Ni1MbQTjmTquTMu8VN1eQirBzcp86FkkuG3pXEZBift9jWfp53262HNcuXxhSr2LX1T55NiZSNc1t6Pk2grj6CTmPz4DKfVbKtvjg7pzyaY9XMQQ6UGTHfhLAwBLzHitYcSDk3k5g3CCA96HnEzLorhbhxXePQMSBbNRMmnLCj3QBo9obtjys7Xe9SXJvZV4Pou988fGQFjWjnTtLsXxnZH4rP4zTQHvKdq35cVxisAgcA6MVJeshhiHp2jinbJ8TW1r4UTGZQNpsKRAkdgzuWZEfpedvzpE8nkv3AmbXYQzxTgey9Y1PRupvUChJKrXpqEZPafynFixM5EjjoHmaKV6oHreB6yHUzscWPCBaHhF6CV3PXw9EGm5AV1Mzx2WSEy9o1KRQBwnB6HaTaGoLJRwx3F5LHq7KotsGUhxHD7GdbSBirejn9yr5hfbjqoqKHYqiZU3gKq1YtcugN2DWo2KYvtyVukD3FwjqTQajG5ftX3xHUnL8Kziuu3RmyLTT4AJJwb6fFpL87UkwYNqAZE3tqvxWVkf9ikAMrBERQocFjTcbeWqX6Q9D2TyXgibwvrQxJC5yPCTfuw3MK1PjdF1xWHdGzdiqdFPyBcaeAdWRKqWpG7pXXpoyxorZhijSkFy4jKufDfpcHsmJWCNGqaukFjstD1HyjtnJ2oip5h33wTMeR22rotsyGsNvb69JYuGrcWKFceGZVGp4k6jNnxCMQrhPc9szxLZUBTKzSzJmX8oa6ehUBaBwL2pDU3yTYtibdkbMGq2y7hZxMt2EExmCJDNxYqDYGz8iA8Dd6yxhwhRYdtUqE7nq4tqY4Yj1jTkpUTmNVBHdmJAg68BFYvVYd5ffKXdh9uncHV7W6LiyuuyXVgiJiDSV1pxQVUWwPQbv6zAck2H8QvM5Q2iVDvNT2R3r5c3QHqXM5kwiMAanUikkT4FvMCc1uPf1M9Gq7B1NaH2LRmtBgt2uQyMyWaKqfjBkN7sZwyUJzxtXQuPHuBCtMwMqqMSMhj3BGMKbHoVrgA7dyKQ8kDBp2DbFcmpEwRuaXH4XmeeTUgAVLbJfpG5ki2KupgATSRHQypgjAZHkmAdvttPm14dutytXS6od8Uajz6Y6HvMuDL3qjR5SN5YX49eMFBn6DWG88bDvQyygMwhogLPoBBmH8XLAvfdYth6Q2Npn4FcucTjFScu3bVJyEhUd1NhBHrqabpHd2hnPXxwXpezhgmbFhwb3m3rxzLkersaRFRw2jaawXqW2aB9axCY2aCHtc393QnpU6RhKLxRfKQiQNzQw4ukxqypzpUiUG86EXoFsGqYgywhtni2pQWVabt8b1j1VpbtqhFE4nFiZtrGFbtGopmxhAdkAj7NJXNsSanpYFvszaEaymkCaMmr5jchtHUv8sQt1BGygUf6R5bqysXcDkZf1aY4ZQKvMjjFUkxqKpdg4DUZ2ShNY2vX3mkosz4ZdimZdY8KCiUemZHnUDKP9e1zVMkqH9aXWB7jmi8rHLCnPmb8LKZCU3VYFY5Sv7o744ruWiBSeoJ1b4bKnT1aaHruqeWiPm2Zk1mQRjedj2Dv9A51jU8FG78jahwByGXVv8TdugNYaPqM2GpZNkDu84xxVqbSvMLT",
"assets": [
{
"tokenId": "91d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067",
"index": 0,
"amount": 1,
"name": "State Box Singleton",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "70311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d6978",
"index": 1,
"amount": 4,
"name": "Lilium BAYC 5",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "64dd9da67a2c9dc305254a9d023a62367cc4f11d6b44ed2170de653cf893c5848e03072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
},
"R8": {
"serializedValue": "0d0730",
"sigmaType": "Coll[SBoolean]",
"renderedValue": "[false,false,false,false,true,true,false]"
},
"R7": {
"serializedValue": "59d0b2958aa56201",
"sigmaType": "(SLong, SLong)",
"renderedValue": "[1688603897000,-1]"
},
"R9": {
"serializedValue": "1a0300002003faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[,,03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04]"
},
"R4": {
"serializedValue": "64986abba99cbccb1ab02f1ec756a88f0f3e43e0861791ab7305b525f3644e4bda03072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "f9c6cc200c3735d003ed26302b2b2e9ed813e15e6e76df22dba3749a1e640e0d",
"value": 1000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "2a1916ca307a1e5b7a8d0c789490687b6be5f16f6155ef4a79eb8b66e2c3bd7e",
"outputTransactionId": "d6c1c53673cd798c37596ef969995e7b0ac6eeee7d93b3a4cace822ead9c15fb",
"outputIndex": 0,
"outputGlobalIndex": 30738071,
"outputCreatedAt": 1041689,
"outputSettledAt": 1041691,
"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": [
{
"tokenId": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"index": 0,
"amount": 10,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd03d0979c53b6789f72671a977af4ac77d08a6f830bd8e9284235a777b3adef7713",
"sigmaType": "SSigmaProp",
"renderedValue": "03d0979c53b6789f72671a977af4ac77d08a6f830bd8e9284235a777b3adef7713"
},
"R5": {
"serializedValue": "0e2091d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067",
"sigmaType": "Coll[SByte]",
"renderedValue": "91d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067"
}
}
},
{
"boxId": "25c97db4c4d702120db11115961a5103e713c73e85a19882bb607ec9b0ba548e",
"value": 20400000,
"index": 2,
"spendingProof": null,
"outputBlockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"outputTransactionId": "a74cc81df09ff89f0247608e9005174dd952f894a4573c04ac44cb08b89d0cdb",
"outputIndex": 4,
"outputGlobalIndex": 30738093,
"outputCreatedAt": 1041691,
"outputSettledAt": 1041693,
"ergoTree": "1012040205020500040004000400010104080408040a0580897a04060580897a04000580a8c30104020580a8c3010400d801d601db6308a79591b1a47300d802d60299e4c6a705057301d6039372027302d196830201938cb2db6308b2a4730300730400018cb27201730500019572037306d802d604b2a5730700d605c1957203b2a5730800b2a57309009683040193e4c672040505720293c1720499c1a79a9a9a9a730a7205c1b2a5730b00730c720593c27204c2a793db630872047201d802d602b2a5730d00d603e4c6a70408ea02d1968303019683020193c1720299c1a7730e93c27202d0720393c1b2a5730f007310afa5d901046393b1db6308720473117203",
"ergoTreeConstants": "0: 1\n1: 1\n2: 0\n3: 0\n4: 0\n5: 0\n6: true\n7: 4\n8: 4\n9: 5\n10: 1000000\n11: 3\n12: 1000000\n13: 0\n14: 1600000\n15: 1\n16: 1600000\n17: 0",
"ergoTreeScript": "{\n val coll1 = SELF.tokens\n if (INPUTS.size > placeholder[Int](0)) {(\n val l2 = SELF.R5[Long].get - placeholder[Long](1)\n val bool3 = l2 == placeholder[Long](2)\n sigmaProp(\n allOf(\n Coll[Boolean](\n INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == coll1(placeholder[Int](5))._1, if (bool3) { placeholder[Boolean](6) } else {(\n val box4 = OUTPUTS(placeholder[Int](7))\n val l5 = if (bool3) { OUTPUTS(placeholder[Int](8)) } else { OUTPUTS(placeholder[Int](9)) }.value\n allOf(\n Coll[Boolean](\n box4.R5[Long].get == l2, box4.value == SELF.value - placeholder[Long](10) + l5 + OUTPUTS(placeholder[Int](11)).value + placeholder[Long](\n 12\n ) + l5, box4.propositionBytes == SELF.propositionBytes, box4.tokens == coll1\n )\n )\n )}\n )\n )\n )\n )} else {(\n val box2 = OUTPUTS(placeholder[Int](13))\n val prop3 = SELF.R4[SigmaProp].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](box2.value == SELF.value - placeholder[Long](14), box2.propositionBytes == prop3.propBytes)), OUTPUTS(\n placeholder[Int](15)\n ).value == placeholder[Long](16), OUTPUTS.forall({(box4: Box) => box4.tokens.size == placeholder[Int](17) })\n )\n )\n ) && prop3\n )}\n}",
"address": "TkjMdTdJ7aRzEu56paD93pxqDngywj32kyaWyYEy6YEWy35WqhWFdSX8k79qtY9R7jKWnbfsnoXN2CFqYptBi61km9akjfcbffXrWGBworBjUBJtquUicqH7EPYkEh413wuRVXirNdnB9J87At6sQ67GeZXmLEQv7qBz18bKpmPKQaw7HXcvbcJXiC5hwwiL4ACpEU2Y9qDneDjLGNduWTdR9LShXS6Jvk2nDg7QRcReiqQ7t7UGv5SMQNU6oN66i54NU5YLk7511sXcRBDxdq8XH3bpeeCrp2GGqkA1CgWm29sfezwGQ5mcLdmETWWP572CgPhWD7Sxw3FDsNbXvFaCmPoUjhhaT9XrBGV28",
"assets": [
{
"tokenId": "91d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067",
"index": 0,
"amount": 1,
"name": "State Box Singleton",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc51",
"sigmaType": "SSigmaProp",
"renderedValue": "03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc51"
},
"R5": {
"serializedValue": "0504",
"sigmaType": "SLong",
"renderedValue": "2"
}
}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "7be6941cc19abbd0424e89a3b1a261944c227e4b30c8015cd1fd106af8f90a67",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 2600000,
"index": 0,
"globalIndex": 30738096,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"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": "70311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d6978",
"index": 0,
"amount": 1,
"name": "Lilium BAYC 5",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "0c4c0e01240008cd02753ba5055ba7e5ee5eeb12a46644fa50de689723a259ace2aa8f91c644bc5538a001",
"sigmaType": "Coll[(Coll[SByte], SInt)]",
"renderedValue": "[[0008cd02753ba5055ba7e5ee5eeb12a46644fa50de689723a259ace2aa8f91c644bc5538,80]]"
},
"R6": {
"serializedValue": "3c0c3c0e0e3c0c3c0e580c3c0e58060346757205426c61636b054d6f75746805426f72656407436c6f7468657308426f6e65205465650a4261636b67726f756e640659656c6c6f77044579657305436f696e730348617418506f6c696365204d6f746f726379636c652048656c6d65740000",
"sigmaType": null,
"renderedValue": null
},
"R8": {
"serializedValue": "0c3c0e0e01086578706c696369740100",
"sigmaType": "Coll[(Coll[SByte], Coll[SByte])]",
"renderedValue": "[[6578706c69636974,00]]"
},
"R7": {
"serializedValue": "0e2070311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d6978",
"sigmaType": "Coll[SByte]",
"renderedValue": "70311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d6978"
},
"R9": {
"serializedValue": "4405cd03d0979c53b6789f72671a977af4ac77d08a6f830bd8e9284235a777b3adef771302",
"sigmaType": "(SSigmaProp, SLong)",
"renderedValue": "[03d0979c53b6789f72671a977af4ac77d08a6f830bd8e9284235a777b3adef7713,1]"
},
"R4": {
"serializedValue": "0404",
"sigmaType": "SInt",
"renderedValue": "2"
}
},
"spentTransactionId": "e0d3cc39c769eb94b6c9c4846e36e0a8e0d8622eb0a4787704f9c3e0d27f3e1c",
"mainChain": true
},
{
"boxId": "68ae276fa47f9977bc2b73eac5c2f63430a3a5b8286a1cf6b0898dfe0de18c80",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 3600000,
"index": 1,
"globalIndex": 30738097,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"ergoTree": "10a3010400040604040e2070311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d69780e2091d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef173190670400040208cd03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc5104040502010104080400040004040408040c040205010502040204000e087f000fbaf55fab7e04020400040204020400050205020400040005020402040404060ef901100c040004000400040005000500040001010e20e540cceffd3b8dd0f401193576cc413467039695969427df94454193dddfb375050005000580a8c301d802d601db6308b2a4730000d602e4c6a7040895ed91b172017301938cb2720173020001e4c6a7050ed1938ce4c6b2a5730300094405017202d802d603d07202d604db6308a7ea02d1968302019683020192b0ada5d90105639593c272057203c1720573047305d90105599a8c7205018c720502c1a79591b172047306aea5d9010563ed93db63087205720493c272057203730793b0ada5d90105639593cbc272057308c172057309730ad90105599a8c7205018c720502730b72020580b1bd020ee201100804000580a8c3010400050204000e013004020580a8c301d807d601b2a5730000d602e4c6a7094405d603e4c67201040ed604e4c67201050ed605e4c67201070ed606e4c67201080ed607e4c67201090ed1968302019683040193c1720199c1a7730193c27201d08c72020193b2db630872017302008602c5a773039683020193cbb3b3b3b3b3b3b3b3b37a7eb172030572037a7eb172040572047a7eb172050572057a7eb172060572067a7eb17207057207cbe4dc640ae4c6b2db6501fe730400046402cb7a8c720202e4e3000e93e4c67201060e730593c1b2a5730600730704000502040405000e20821bad4a83af01d88345df48215494279b239f3c0f00b86fa9bae3ec0f8659d5040004000400050005020502058098d70a0580897a04000502058098d70a04040502040a04080580a8c30104040502040c040a0580897a0514058098d70a0580897a04000514058098d70a04040502040a04080580a8c30104040502040c040a0580897a0580938c69058084af5f0580938c6904040502040a04080580a8c30104040502040c040a0580897a01000502058098d70a0580897a04000502058098d70a04040502040a04080580a8c30104040502040c040a0580897a05020514058098d70a0400050204020514058098d70a04040502040a04080580a8c30104040502040c040a0580897a0580938c69058084af5f040005020580938c6904040502040a04080580a8c30104040502040c040a0580897a0100010001000580ade20408cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b482904000580a8c3010580897a04000400040205000500040004020580a8c30104040580897a0100d812d601e4c6a70759d602db6807b2db6502fe730000d603908c7201017202d604e4c6a7080dd605b27204730100d606b27204730200d6078c720102d6087303d6097304d60ae4c6a7091ad60bb2720a730500d60cb27204730600d60d7307d60ed9010e0195ec720e93e4c6b2a473080005057309730a938cb2db6308b2a5730b00730c00018cb2db6308a7730d0001d60fb2720a730e00d610b27204730f00d611b27204731000d612b2720a73110095ecec72037205720695ec91720772029372077312d80fd613e4e30163d614e4c6a70605d6159a72147313d616e4c672130905d617b2a4731400d618b2a5731500d619e4c67218063c0c3c0e0e3c0c3c0e580c3c0e58d61a8c721902d61b7316d61ce4c6a70564d61d9372157216d61eb2a5731700d61f95ef721dd805d61fdb6308721ed620b2721f731800d621db6308a7d622b2721f731900d623b27221731a009683040193722086028cb27221731b0001731c938c722001720993722286028c722301998c722302731d938c7222017208d802d61fdb6308721ed620b2721f731e009683030193722086028cb2db6308a7731f00017320938c722001720993b1721f7321d620b2a5732200d621b2a5732300d19683070193c572137208907215721693c2721773249683080193c17218732593c27218732693b2db6308721873270086027208732893e4c672180404732993cbb0e4c67218050c4c0e7a732ad901223c0e4c0ed801d6248c722202b3b38c7222018c7224017a7e8c72240205732b93cbb08c721a02b3b08c721a01b3b08c72190195937eb28cb2e4c67218080c3c0e0e732c0002732d0004732e7a732f7a7330d901223c0e3c0e0ed803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7eb17226057226721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205721bd901223c0e3c0e58d803d6248c722202d6258c722401d6268c722402b3b3b3b38c7222017a7eb172250572257a7e8c722601057a7e8c72260205cbe4dc640a721c02cb7a7214e4e3000e93e4c67218070e720893e4c672180944058602e4c672170408721495721d9683060193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e060572159683090193c1721ec1a793c2721ec2a7721f93db6401e4c6721e0464db6401e4c6a7046493db6401e4c6721e0564db6401721c93e4c6721e0605721593e4c6721e0759720193e4c6721e080d720493e4c6721e091a720a95720395ed720caedb63087217d901224d0e9372228602720b7331d802d622c17217d6238f72227332968304019683030193c17220733393b2db630872207334008602720b733593c27220d0720dda720e01927222733693c195ed722391e4c6b2a473370005057338b2a5733900b2a5733a00733b92c195ed722391e4c6b2a4733c000505733db2a5733e00b2a5733f00734095ed7210aedb63087217d901224d0eed938c722201720f928c7222027341d802d622c17217d6238f72227342968304019683030193c17220734393c27220d0720d93b2db630872207344008602720f7345da720e01927222734693c195ed722391e4c6b2a473470005057348b2a5734900b2a5734a00734b92c195ed722391e4c6b2a4734c000505734db2a5734e00b2a5734f007350957211d802d622c17217d6238f72227351968304019683020193c17220735293c27220d0720dda720e01927222735393c195ed722391e4c6b2a473540005057355b2a5735600b2a5735700735892c195ed722391e4c6b2a47359000505735ab2a5735b00b2a5735c00735d735e95ec7205ed7206720c95ed7206aedb63087217d901224d0e9372228602720b735fd802d622c17217d6238f72227360968304019683030193c17220736193b2db630872207362008602720b736393c27220d0720dda720e01927222736493c195ed722391e4c6b2a473650005057366b2a5736700b2a5736800736992c195ed722391e4c6b2a4736a000505736bb2a5736c00b2a5736d00736e95ed7205aedb63087217d901224d0e93722286027212736f95ed7210aedb63087217d901224d0eed938c722201720f928c7222027370d803d622db63087220d623c17217d6248f72237371968304019683030193b2722273720086027212737393b272227374008602720f737593c27220d0720dda720e01927223737693c195ed722491e4c6b2a473770005057378b2a5737900b2a5737a00737b92c195ed722491e4c6b2a4737c000505737db2a5737e00b2a5737f00738001957211d802d622c17217d6238f7222738101968304019683030193c1722073820193b2db63087220738301008602721273840193c27220d0720dda720e0192722273850193c195ed722391e4c6b2a4738601000505738701b2a573880100b2a573890100738a0192c195ed722391e4c6b2a4738b01000505738c01b2a5738d0100b2a5738e0100738f017390017391017392019683020193c1722173930193c27221d0739401d801d613b2a573950100d1968303019683030193c172139999c1a773960173970193c27213d0720d95b2720473980100d802d614b2db6308721373990100d615b2db6308a7739a0100968303019372147215938c721401720893b0ada5d9011663b0addb63087216d901184d0e8c721802739b01d90118599a8c7218018c721802739c01d90116599a8c7216018c7216028c721502afa5d901146393b1db63087214739d0193c1b2a5739e0100739f0192c1b2a573a0010073a101d173a201",
"ergoTreeConstants": "0: 0\n1: 3\n2: 2\n3: Coll(112,49,31,53,89,-51,-89,83,12,54,59,-91,18,-107,-89,116,50,-113,-67,30,-10,-93,72,122,72,114,2,54,45,45,105,120)\n4: Coll(-111,-41,-123,-3,17,5,-6,-21,35,30,-107,-92,-32,63,29,-42,72,45,2,33,8,39,-113,-60,27,-33,-112,-17,23,49,-112,103)\n5: 0\n6: 1\n7: SigmaProp(ProveDlog(ECPoint(e78d19,db8909,...)))\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(-126,27,-83,74,-125,-81,1,-40,-125,69,-33,72,33,84,-108,39,-101,35,-97,60,15,0,-72,111,-87,-70,-29,-20,15,-122,89,-43)\n44: 0\n45: 0\n46: 0\n47: 0\n48: 1\n49: 1\n50: 11200000\n51: 1000000\n52: 0\n53: 1\n54: 11200000\n55: 2\n56: 1\n57: 5\n58: 4\n59: 1600000\n60: 2\n61: 1\n62: 6\n63: 5\n64: 1000000\n65: 10\n66: 11200000\n67: 1000000\n68: 0\n69: 10\n70: 11200000\n71: 2\n72: 1\n73: 5\n74: 4\n75: 1600000\n76: 2\n77: 1\n78: 6\n79: 5\n80: 1000000\n81: 110200000\n82: 100000000\n83: 110200000\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: 11200000\n97: 1000000\n98: 0\n99: 1\n100: 11200000\n101: 2\n102: 1\n103: 5\n104: 4\n105: 1600000\n106: 2\n107: 1\n108: 6\n109: 5\n110: 1000000\n111: 1\n112: 10\n113: 11200000\n114: 0\n115: 1\n116: 1\n117: 10\n118: 11200000\n119: 2\n120: 1\n121: 5\n122: 4\n123: 1600000\n124: 2\n125: 1\n126: 6\n127: 5\n128: 1000000\n129: 110200000\n130: 100000000\n131: 0\n132: 1\n133: 110200000\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: 5000000\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": "AnzHrMQy5JBBDXCqKzDAWRtxvRVasn4cjLFjUZsrvmwWZBe8ZvZWkdAPiwK2iwVypr4HMnKDH49v7ywmkfSqqAbZu9EZz4Vnv68roqmhfgd3ASn8ahuqgxGavRsD3Vp68nyYNfTzgKg6LtwRdtrije8rYsXGQhybKS1pdcTWTQiogmvdKdcksfd6EnZkoJCxCLrxXMhLJDjdWAFreKcTuvK2ke6hXywxjHmjuqXRrcnKtCRjhDrxBt2G6NZUBbXDXWVgwdMFDeeyVeBCkSao1R2QYkFZw8FsGPrtinutDELzL2s9MMaGJ4dGWi7UZDEetjQYGG3FyCYw8fcPG5n4uJoam4AdhifW6TQiQ3qDBPEEcVtbcZsshvQb6VccUUzFRnykJX2u2CUZc9vKn9wco5HjWjiVjbGLyAm8r3zpaRoC45jcb57HmR2pYRQMaoaM8zURNydh1HgvuwH4BaFrZQhLSY6jAy4pD1PBYufgo1E55hGyxDvw3NKZ5MCbPZqJGJN88AytUpksYjZ4bM1xeKgC9x9DiWyH5d4L6o5D98NeKQXTKeTMhcqwJxQAbV5ze3e6oveN2uXZDtPigGXQYU7wmUbWBrihJPyopUTp1X7Cw8Lbo7mBRnDxDxTb6u2qQZeNH8KSr6f1a5Uk5Taw2dEgQece1RDshRJkdxNRD69Jt81NvZs9BMZg9pcsfcEaZRDurKsC3xxuoeQcntmTbuDev4sQ3iw8yMGWsYTNnYDaCvkjm56oHsRuL6pZF8trnaBgMKu6TQr9XWXCSGzByWW9KkdWEmS2MySXmTtDv5mYonZLBKtkktdHzgrLxxFZPLS5VSkVnKpYzza8iHKbXj3uYVnpFNBTa86sonRUzxjSSWqJq6hfxiYR8zW32uaTYFN9bPxADZPSJZ574gZdgj1VstdJrtC439JuhgEBiHqeajqX6zrbAXay7Kzi1oYphGJujK3VSkRhhHNKKWk8whgefmXZKbdDhRMxorcUW89Anu7Luq99hRGDWHzTUy7UQdV13QuURxRZj2FzReQPLSgFW9jVP2wruEbTaXvygxbdDeqCKJKEYfZSFP2Q7ECrqwF3JSjwifpNajBwT7i4UNuFeptcC11MadEZsjGCqgPDtYEquTFiTYHEU7L1sNF8G4yTAH6akvWkAoRZtxBZandycGE2srRVDnwRf52GSAmFJZ9UFsCuY1jLWy1XFBSTQ1kUVxUdpHezpvFvwV5YKEp3JFFZoDwhrApBVrLmtwve2H9ym9p6cAT5dyaQh4fCK4haEf1vGiJigXxAJLxr9uRYShGTqtKFj7jaJtT3m4yT617dSZVWTk1tbHh3tev3E3YQEbvFtNn49D6pCmZWsLMtczaeLoytS3yCrgVfp6Pj8RvcmyBeutfQf3dU2Jg9jUxXxJK1HAzguJSCnPm3s1qP43tGgFVRcLh24V3G42u6mozBiydCe5guidDwdovCRjiZm7EWhF4tJHBZWCJZNEzecZheHmpLk3Kn6m4zaTLeVhJFv1ixK5Y2QZPdE54QCcWrGhx4pc7D1GtaQwTnJvdwVi2hnor9F3KEekZuk8N4V7o7rci4DxTcmmVwQ1JTHbvA5jTMQ3idPpmPPLCTBCki2pBZSPjUeMYKswqYKX8R2GuGjimcA89gPx4DfhAi9poBL1TwJ3Rv8HE9dspptp5GWma2Nnnzw3c8NcmUU5X3MAoRcqQWFLCsSLR7YPxfdXuPbvuFdjFWvKkDcH8DZt5z1vzQZ8uGdUf7z6xrUnRC4FBtCeyYDWPbUrzPQiqiTyhKxBaNR6h2NpXctHmsDJbFgHL5MmpDmwPUmBpCpxXhZbYR7Gm1CAxiQyHuVaec1wZ7bDCrJRPG5sz4YLEKbpHQohc79VEVjgo2H7E5hREgiqD6P5TM3fDHK6YmeKX9RuYPnH5W4ZCRxgRbhn2jSvEWjb9sP4SxvMShH5yPsdv4nCNBa3SSzewNfQcQTqyNvGN7BtkYTmgCvDbRMGTRjcQQafirNL1qvbgdvWNsGPamaHH5wxpypJmKgsuv2C5NeAzfbpXqa3vbm6JrLB6bYsrDWYTq6x1eDsnCBk1brG4q99CrupEsWETSmSB3E9BVyBajMcijQDzq28xArUNRkNC8XXvn7nJ6DRzBuBdZQCdHXvUj4vverhBrFTfGrXjhvaGLSLKJAhgbq4YXrDFEC6JywD5e5tVcEhmBA2Y5eUYYQPFtPJoxuCXdQGk7MnoPv1Td1a2XpxsAbBD9bYfcTvLZ4dzprrRZ1npH9UXZUqsMUPxYC1gGqSTf6RDzPCwPT3VbUvnXDR8GnF8yvayZGDi85fYBCBDr5fgU1stJqnesWieLRucYEYdCgA2gYPyHhiSx7fLwGit1xdUoCKvHVzcPprV6Hd9GB7gEircQKZSwLMjP8wPGoSt2MTM9gJrGabPjCX7mNCBuZgAzWAfd3UaNvKKLYg1bn7T1926EN2iJykLE2McXncozPvY7mSWYKJvibsBbH7PKc9aLfYme8ar48KPihCjXXfs9LYEnBYerUfQt7JUS1ggRgJYZ7AjksMX6hqC8CGYsZRecwVGMCvPVgVaF86CL2JhVnkPVZFZcj9wfLQswWhW3EaB6xQtsr82sKPEbjMWWAxcXSCgEZ3vPtqGeAyvMM6iKrbqs4C1LCBa65pFuzKT6Ni1MbQTjmTquTMu8VN1eQirBzcp86FkkuG3pXEZBift9jWfp53262HNcuXxhSr2LX1T55NiZSNc1t6Pk2grj6CTmPz4DKfVbKtvjg7pzyaY9XMQQ6UGTHfhLAwBLzHitYcSDk3k5g3CCA96HnEzLorhbhxXePQMSBbNRMmnLCj3QBo9obtjys7Xe9SXJvZV4Pou988fGQFjWjnTtLsXxnZH4rP4zTQHvKdq35cVxisAgcA6MVJeshhiHp2jinbJ8TW1r4UTGZQNpsKRAkdgzuWZEfpedvzpE8nkv3AmbXYQzxTgey9Y1PRupvUChJKrXpqEZPafynFixM5EjjoHmaKV6oHreB6yHUzscWPCBaHhF6CV3PXw9EGm5AV1Mzx2WSEy9o1KRQBwnB6HaTaGoLJRwx3F5LHq7KotsGUhxHD7GdbSBirejn9yr5hfbjqoqKHYqiZU3gKq1YtcugN2DWo2KYvtyVukD3FwjqTQajG5ftX3xHUnL8Kziuu3RmyLTT4AJJwb6fFpL87UkwYNqAZE3tqvxWVkf9ikAMrBERQocFjTcbeWqX6Q9D2TyXgibwvrQxJC5yPCTfuw3MK1PjdF1xWHdGzdiqdFPyBcaeAdWRKqWpG7pXXpoyxorZhijSkFy4jKufDfpcHsmJWCNGqaukFjstD1HyjtnJ2oip5h33wTMeR22rotsyGsNvb69JYuGrcWKFceGZVGp4k6jNnxCMQrhPc9szxLZUBTKzSzJmX8oa6ehUBaBwL2pDU3yTYtibdkbMGq2y7hZxMt2EExmCJDNxYqDYGz8iA8Dd6yxhwhRYdtUqE7nq4tqY4Yj1jTkpUTmNVBHdmJAg68BFYvVYd5ffKXdh9uncHV7W6LiyuuyXVgiJiDSV1pxQVUWwPQbv6zAck2H8QvM5Q2iVDvNT2R3r5c3QHqXM5kwiMAanUikkT4FvMCc1uPf1M9Gq7B1NaH2LRmtBgt2uQyMyWaKqfjBkN7sZwyUJzxtXQuPHuBCtMwMqqMSMhj3BGMKbHoVrgA7dyKQ8kDBp2DbFcmpEwRuaXH4XmeeTUgAVLbJfpG5ki2KupgATSRHQypgjAZHkmAdvttPm14dutytXS6od8Uajz6Y6HvMuDL3qjR5SN5YX49eMFBn6DWG88bDvQyygMwhogLPoBBmH8XLAvfdYth6Q2Npn4FcucTjFScu3bVJyEhUd1NhBHrqabpHd2hnPXxwXpezhgmbFhwb3m3rxzLkersaRFRw2jaawXqW2aB9axCY2aCHtc393QnpU6RhKLxRfKQiQNzQw4ukxqypzpUiUG86EXoFsGqYgywhtni2pQWVabt8b1j1VpbtqhFE4nFiZtrGFbtGopmxhAdkAj7NJXNsSanpYFvszaEaymkCaMmr5jchtHUv8sQt1BGygUf6R5bqysXcDkZf1aY4ZQKvMjjFUkxqKpdg4DUZ2ShNY2vX3mkosz4ZdimZdY8KCiUemZHnUDKP9e1zVMkqH9aXWB7jmi8rHLCnPmb8LKZCU3VYFY5Sv7o744ruWiBSeoJ1b4bKnT1aaHruqeWiPm2Zk1mQRjedj2Dv9A51jU8FG78jahwByGXVv8TdugNYaPqM2GpZNkDu84xxVqbSvMLT",
"assets": [
{
"tokenId": "91d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067",
"index": 0,
"amount": 1,
"name": "State Box Singleton",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "70311f3559cda7530c363ba51295a774328fbd1ef6a3487a487202362d2d6978",
"index": 1,
"amount": 3,
"name": "Lilium BAYC 5",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "64dd9da67a2c9dc305254a9d023a62367cc4f11d6b44ed2170de653cf893c5848e03072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "0504",
"sigmaType": "SLong",
"renderedValue": "2"
},
"R8": {
"serializedValue": "0d0730",
"sigmaType": "Coll[SBoolean]",
"renderedValue": "[false,false,false,false,true,true,false]"
},
"R7": {
"serializedValue": "59d0b2958aa56201",
"sigmaType": "(SLong, SLong)",
"renderedValue": "[1688603897000,-1]"
},
"R9": {
"serializedValue": "1a0300002003faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[,,03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04]"
},
"R4": {
"serializedValue": "64986abba99cbccb1ab02f1ec756a88f0f3e43e0861791ab7305b525f3644e4bda03072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "4871f1fa1377c9cb0372156f851b974130fc90b2f9b744c193d9d10cf8c9bd4f",
"mainChain": true
},
{
"boxId": "225af18fef92505e3eda5a2460cd4263e20a63dcb0a50e18b618320512622035",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 1000000,
"index": 2,
"globalIndex": 30738098,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"ergoTree": "0008cd03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc51",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(e78d19,db8909,...)))}",
"address": "9iDnMa8kK6CtE9i3zw55o9uCKFKudTfWcRBJErhdNpn5N9hfXBH",
"assets": [
{
"tokenId": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"index": 0,
"amount": 10,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "95bf79818d556f86cd9b62edca0429c11ab1bce37b1a6a7e2d935364c1a0b330",
"mainChain": true
},
{
"boxId": "2a7b53e3b0495c6c4e3023a23cc9ec140a96b8558d2d81ed80e84d73298db0bf",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 5000000,
"index": 3,
"globalIndex": 30738099,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"ergoTree": "0008cd0306b34156d30cadf134c7c0b245a5ff2debcbe42ff5c86859c74d4013ee9b4829",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(6b3415,1b9c7b,...)))}",
"address": "9gWkqeBUdJxgPv9TYUM6mLY1RYkXHmJuHRhHnnM2UZ9qFqySotz",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "34ec7c0ef01f10e90a925ef5ea29b49fc3f66e2471392ba5b35bcb3d88526b63",
"mainChain": true
},
{
"boxId": "859746116412fe8f7c29dd4c33be049470cdb2f06931bb119b836d842887be0a",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 10200000,
"index": 4,
"globalIndex": 30738100,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"ergoTree": "1012040205020500040004000400010104080408040a0580897a04060580897a04000580a8c30104020580a8c3010400d801d601db6308a79591b1a47300d802d60299e4c6a705057301d6039372027302d196830201938cb2db6308b2a4730300730400018cb27201730500019572037306d802d604b2a5730700d605c1957203b2a5730800b2a57309009683040193e4c672040505720293c1720499c1a79a9a9a9a730a7205c1b2a5730b00730c720593c27204c2a793db630872047201d802d602b2a5730d00d603e4c6a70408ea02d1968303019683020193c1720299c1a7730e93c27202d0720393c1b2a5730f007310afa5d901046393b1db6308720473117203",
"ergoTreeConstants": "0: 1\n1: 1\n2: 0\n3: 0\n4: 0\n5: 0\n6: true\n7: 4\n8: 4\n9: 5\n10: 1000000\n11: 3\n12: 1000000\n13: 0\n14: 1600000\n15: 1\n16: 1600000\n17: 0",
"ergoTreeScript": "{\n val coll1 = SELF.tokens\n if (INPUTS.size > placeholder[Int](0)) {(\n val l2 = SELF.R5[Long].get - placeholder[Long](1)\n val bool3 = l2 == placeholder[Long](2)\n sigmaProp(\n allOf(\n Coll[Boolean](\n INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == coll1(placeholder[Int](5))._1, if (bool3) { placeholder[Boolean](6) } else {(\n val box4 = OUTPUTS(placeholder[Int](7))\n val l5 = if (bool3) { OUTPUTS(placeholder[Int](8)) } else { OUTPUTS(placeholder[Int](9)) }.value\n allOf(\n Coll[Boolean](\n box4.R5[Long].get == l2, box4.value == SELF.value - placeholder[Long](10) + l5 + OUTPUTS(placeholder[Int](11)).value + placeholder[Long](\n 12\n ) + l5, box4.propositionBytes == SELF.propositionBytes, box4.tokens == coll1\n )\n )\n )}\n )\n )\n )\n )} else {(\n val box2 = OUTPUTS(placeholder[Int](13))\n val prop3 = SELF.R4[SigmaProp].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](box2.value == SELF.value - placeholder[Long](14), box2.propositionBytes == prop3.propBytes)), OUTPUTS(\n placeholder[Int](15)\n ).value == placeholder[Long](16), OUTPUTS.forall({(box4: Box) => box4.tokens.size == placeholder[Int](17) })\n )\n )\n ) && prop3\n )}\n}",
"address": "TkjMdTdJ7aRzEu56paD93pxqDngywj32kyaWyYEy6YEWy35WqhWFdSX8k79qtY9R7jKWnbfsnoXN2CFqYptBi61km9akjfcbffXrWGBworBjUBJtquUicqH7EPYkEh413wuRVXirNdnB9J87At6sQ67GeZXmLEQv7qBz18bKpmPKQaw7HXcvbcJXiC5hwwiL4ACpEU2Y9qDneDjLGNduWTdR9LShXS6Jvk2nDg7QRcReiqQ7t7UGv5SMQNU6oN66i54NU5YLk7511sXcRBDxdq8XH3bpeeCrp2GGqkA1CgWm29sfezwGQ5mcLdmETWWP572CgPhWD7Sxw3FDsNbXvFaCmPoUjhhaT9XrBGV28",
"assets": [
{
"tokenId": "91d785fd1105faeb231e95a4e03f1dd6482d022108278fc41bdf90ef17319067",
"index": 0,
"amount": 1,
"name": "State Box Singleton",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc51",
"sigmaType": "SSigmaProp",
"renderedValue": "03e78d19f971d3fd95a9efdf6e83ea641cfdb68465621c025fb1b5db93bd48cc51"
},
"R5": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
}
},
"spentTransactionId": "a75f3af89ac70c13c797d7c5a305fbe552f5069110f7c0a9806b548f6fe7fab7",
"mainChain": true
},
{
"boxId": "27d71ddb0ff0f6f0d9cac04eb904ed3e4916a2fa19c15342b568974eaadf3061",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 1600000,
"index": 5,
"globalIndex": 30738101,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"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": "2d19a6f1aca285bb381a57cfabc62e1c838582a882c0cdb7bc864ee3794ba4d8",
"mainChain": true
},
{
"boxId": "7db7e5c250011bba9f9193d19cb5f32f94ccdb407d1b9fb65db4666767acd694",
"transactionId": "02f83c8cdb69bf20ae0de1d2941c8d4f8b4b13bf6f68b330c04b5214cc739d47",
"blockId": "a1bf518cedb710f61bb9648c29d06e70a09fdee412989c9bde3e518d170701b9",
"value": 1000000,
"index": 6,
"globalIndex": 30738102,
"creationHeight": 1041691,
"settlementHeight": 1041693,
"ergoTree": "0008cd0301465e5d092dd2f201667b1b88151facb2498364c333a2ba6109747304b4b98b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(1465e5,12b208,...)))}",
"address": "9gUNFq1gAu2sb6KdF7jeQ1WKmTBx9J7WXA9ULsxve1BXmwmPmhL",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "72ff52c96304784ccd1cc1c8012fb5fa4a06770f2f805c1c44ca673ead7be546",
"mainChain": true
}
],
"size": 5553,
"isUnconfirmed": false
}