Transaction
ID: ef010007bf...b574
Inputs (2)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
4.51 ERG
Tokens:
Loading assets...
Outputs (4)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
4.5 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 24,513
Total coins transferred: 4.52 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000227 ERG
Raw Transaction Data
{
"id": "ef010007bf67f02bb36c85b4901010807126e080626fc956879bb106db08b574",
"blockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"inclusionHeight": 1740601,
"timestamp": 1773354417199,
"index": 7,
"globalIndex": 10436999,
"numConfirmations": 24513,
"inputs": [
{
"boxId": "481edda1622eea1c43f1cbbb41d08d0167fec88c2cc51cc3a5ac892ae02571b8",
"value": 10000000,
"index": 0,
"spendingProof": "aeb575cd82f25c0a3559a9fedb4d7bb75bfdfa9025e270795e59f1f684e2384181744d150a87a3d26d0697c74e3ef29c7575929f0b493eee",
"outputBlockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"outputTransactionId": "7a1dbe9595f5e9d8648612c0f86409abebc23bd663327d4dabad54b86452d3cf",
"outputIndex": 0,
"outputGlobalIndex": 54100699,
"outputCreatedAt": 1740597,
"outputSettledAt": 1740601,
"ergoTree": "188f1ba8020400040004020400044204440446044005808080100500058004058080080500058004058004050005800404360500058004050004000100042e04300432042c058080801005000580040580800805000580040580040500058004043a043c043e0438058080801005000580040580800805000580040580040500058004041204340500058004050004000402040404060408040a040c040e0410041204140404040205800405000580040410041204000402040404060408040a040c040e04020400040404020580040500058004040c040404000100040205c80104020402050004480500058004040205000500050005000500050004000100040204040502050005000504040205000500050004060406040805020500050005040408044204440446044005808080100500058004058080080500058004058004050005800404480500058004042e04300432042c05808080100500058004058080080500058004058004050005800404340436043a043c043e0438058080801005000580040580800805000580040580040500058004040204080101041001010414050005000500050005000500050005000101050104000402040404060408040a040c040e0500050005c8010500050005c801056405c80104000402040404060408040a040c040e05000500050005000500040e04100500050004120500050005a09c0105a09c0101010414041405000101050001010514050005800405020502050005800405020514040204040400050204040101040005040404010104000506040404020502010104420444044604420444044604400580808010050005800405808008050005800405800405000580040402040004480402040a04400580808010050005800405808008050005800405800405000580040514050005800404000440040004400402040ad80ed601b2a5730000d60292c17201c1a7d60393c27201c2a7d604e4e3020ed605e4e3030ed606e4c6a70564d607e4e3000ed608b2db6501fe730100d609aedb63087208d901094d0e938c720901e4e3060ed60ae4c672080411d60be4e3040ed60c7ea305d60de4c6a70408d60e93e4c672010408720d9593e4e307047302d840d60fe4e30104d61093720f7303d611e4e30504d6127eb2720b73040005d6137eb2720b73050005d6147eb2720b73060005d6159a9a9a9c7eb2720b7307000573089c958f721273099a7212730a7212730b9c958f7213730c9a7213730d7213730e958f7214730f9a721473107214d6167eb2720b73110005d617958f721673129a721673137216d6189172177314d619e30a04d61a95e6721992e4721973157316d61bec7218721ad61c7eb2720b73170005d61d7eb2720b73180005d61e7eb2720b73190005d61f9a9a9a9c7eb2720b731a0005731b9c958f721c731c9a721c731d721c731e9c958f721d731f9a721d7320721d7321958f721e73229a721e7323721ed6207eb2720b73240005d6217eb2720b73250005d6227eb2720b73260005d6239a9a9a9c7eb2720b7327000573289c958f722073299a7220732a7220732b9c958f7221732c9a7221732d7221732e958f7222732f9a722273307222d62492720c9a7223b2720a733100d6257eb2720b73320005d626958f722573339a722573347225d62795722473357226d628830b047336733773387339733a733b733c733d733e733f7340d629ad7228d9012904d802d62b9c72297341d62c7eb2720b9a722b734200059a9c7eb2720b722b00057343958f722c73449a722c7345722cd62ab27229734600d62bb27229734700d62c83080473487349734a734b734c734d734e734fd62db2e4c67208061d997211735000d62eb2722d735100d62fad7228d9012f04d802d6319c722f7352d6327eb272059a7231735300059a9c7eb27205723100057354958f723273559a723273567232d630b2720a735700d631b2722d735800d632e30804d63395e6723292e472327359735ad634957233b2e4c6b2a4e47232000411735b00735cd635b2722d735d00d636eded93720f735e917215735f92720c7215d6377eb2720b73600005d638958f723773619a723773627237d639957236b2e4c67208071d997d723804736300830605736473657366736773687369d63ae30904d63b95e6723a92e4723a736a736bd63c99957236d802d63cb27239736c00d63db27239736d009593723c736ed801d63e99722a723d958f723e736f7370723e9593723c7371723d722a722a95723bb2e4c6b2a4e4723a0004117372007373d63d9a958f723c73747375723cb2722d737600d63e9a957236d802d63eb27239737700d63fb272397378009593723e7379d801d64099722b723f958f7240737a737b72409593723e737c723f722b722bb2722d737d00d63f7eb27205737e0005d6407eb27205737f0005d6417eb272057380010005d6429a9a9a9c7eb2720573810100057382019c958f723f7383019a723f738401723f7385019c958f72407386019a72407387017240738801958f72417389019a7241738a017241d6437eb27205738b010005d644958f7243738c019a7243738d017243d6457eb27205738e010005d6467eb27205738f010005d6477eb272057390010005d6489a9a9a9c7eb2720573910100057392019c958f72457393019a724573940172457395019c958f72467396019a72467397017246739801958f72477399019a7247739a017247d6497eb27205739b010005d64a7eb27205739c010005d64b7eb27205739d010005d64c7eb27205739e010005d64d7eb27205739f010005d64e9a9a9a9c7eb2720573a001000573a1019c958f724b73a2019a724b73a301724b73a4019c958f724c73a5019a724c73a601724c73a701958f724d73a8019a724d73a901724dea02720dd1ededededededededededededededededededededededededed7203720293db6401e4c672010564db6401957210e4dc640c72060283013c0e0e8602720472057207e4dc640d72060283013c0e0e86027204720572077209ed92721173aa01907e721105b2720a73ab010092720c721595721b73ac0192720c9a721fb2720a73ad010095721b73ae018f7227b2720a73af0100957210ededededededed93722a73b00193722b73b101af722cd9014f0493b27229724f0073b20193721f73b30193722673b40193721773b50193722373b60193721573b70173b8019593722e73b901af83080473ba0173bb0173bc0173bd0173be0173bf0173c00173c101d9014f0493b27229724f00b2722f724f00d806d64fb272297d722e0400d650997230724fd6519590725073c20173c3019d9c9d9c7231723473c40172507230d652b272297d72350400d6539972307252d6549590725373c50173c6019d9c9d9c9d9c7231723473c70173c80173c90172537230af83080473ca0173cb0173cc0173cd0173ce0173cf0173d00173d101d9015504d801d6577e72550595937257722e93b2722f7255009a724f9591725172507250958f725173d20173d301725195937257723593b2722f7255009a72529591725472537253958f725473d40173d501725493b27229725500b2722f725500af722cd9014f0490b2722f724f00723090b0722c73d601d9014f41049a8c724f01b2722f8c724f0200b2720a73d7010093b2722f73d80100958f723d73d90173da01723d93b2722f73db0100958f723e73dc0173dd019591723e73de0173df01723e95721073e00193b2722f73e10100b2722973e2010095723693724273e30195721073e401937242721595723693724473e50195721073e601937244723895721b937248721fed92724899720c73e701907248720c93958f724973e8019a724973e901724995721b722695722473ea019a722773eb0193958f724a73ec019a724a73ed01724a95ed7218ef721a99721773ee01721795721b93724e7223957224ed92724e99720c73ef0190724e720c93724e7223720e92c1b2a573f00100b2720a73f10100957233d802d64fb2a4e4723200d650e4c6724f0411eded93b2725073f2010073f3018f720cb2725073f4010093e4c6724f050e720473f50195723bd802d64fb2a4e4723a00d650e4c6724f0411eded93b2725073f6010073f7018f720cb2725073f8010093e4c6724f050e720473f90195721ad802d64fb2a4e4721900d650e4c6724f0411ededed93b2725073fa010073fb018f720cb2725073fc010093e4c6724f050e720492b2725073fd010073fe0173ff01d80bd60fe4e30104d6107eb2720b7380020005d6117eb2720b7381020005d6127eb2720b7382020005d6137eb272057383020005d6147eb272057384020005d6157eb272057385020005d6169a9a9a9c7eb2720573860200057387029c958f72137388029a72137389027213738a029c958f7214738b029a7214738c027214738d02958f7215738e029a7215738f027215d617b2e4c67208071d99720f73900200d6189a720cb2721773910200d6197eb272057392020005ea02720dd1edededededededededed7203720293db6401e4c672010564db6401e4dc640d72060283013c0e0e86027204720572077209ed92720f739302907e720f05b2720a7394020092720c9a9a9a9c7eb2720b73950200057396029c958f72107397029a721073980272107399029c958f7211739a029a7211739b027211739c02958f7212739d029a7212739e027212ed927216997218739f02907216721893958f721973a0029a721973a10272197e720f0593b4720573a20273a302b4720b73a40273a502720e92c1b2a573a60200b2721773a70200",
"ergoTreeConstants": "0: 0\n1: 0\n2: 1\n3: 0\n4: 33\n5: 34\n6: 35\n7: 32\n8: 16777216\n9: 0\n10: 256\n11: 65536\n12: 0\n13: 256\n14: 256\n15: 0\n16: 256\n17: 27\n18: 0\n19: 256\n20: 0\n21: 0\n22: false\n23: 23\n24: 24\n25: 25\n26: 22\n27: 16777216\n28: 0\n29: 256\n30: 65536\n31: 0\n32: 256\n33: 256\n34: 0\n35: 256\n36: 29\n37: 30\n38: 31\n39: 28\n40: 16777216\n41: 0\n42: 256\n43: 65536\n44: 0\n45: 256\n46: 256\n47: 0\n48: 256\n49: 9\n50: 26\n51: 0\n52: 256\n53: 0\n54: 0\n55: 1\n56: 2\n57: 3\n58: 4\n59: 5\n60: 6\n61: 7\n62: 8\n63: 9\n64: 10\n65: 2\n66: 1\n67: 256\n68: 0\n69: 256\n70: 8\n71: 9\n72: 0\n73: 1\n74: 2\n75: 3\n76: 4\n77: 5\n78: 6\n79: 7\n80: 1\n81: 0\n82: 2\n83: 1\n84: 256\n85: 0\n86: 256\n87: 6\n88: 2\n89: 0\n90: false\n91: 1\n92: 100\n93: 1\n94: 1\n95: 0\n96: 36\n97: 0\n98: 256\n99: 1\n100: 0\n101: 0\n102: 0\n103: 0\n104: 0\n105: 0\n106: 0\n107: false\n108: 1\n109: 2\n110: 1\n111: 0\n112: 0\n113: 2\n114: 1\n115: 0\n116: 0\n117: 0\n118: 3\n119: 3\n120: 4\n121: 1\n122: 0\n123: 0\n124: 2\n125: 4\n126: 33\n127: 34\n128: 35\n129: 32\n130: 16777216\n131: 0\n132: 256\n133: 65536\n134: 0\n135: 256\n136: 256\n137: 0\n138: 256\n139: 36\n140: 0\n141: 256\n142: 23\n143: 24\n144: 25\n145: 22\n146: 16777216\n147: 0\n148: 256\n149: 65536\n150: 0\n151: 256\n152: 256\n153: 0\n154: 256\n155: 26\n156: 27\n157: 29\n158: 30\n159: 31\n160: 28\n161: 16777216\n162: 0\n163: 256\n164: 65536\n165: 0\n166: 256\n167: 256\n168: 0\n169: 256\n170: 1\n171: 4\n172: true\n173: 8\n174: true\n175: 10\n176: 0\n177: 0\n178: 0\n179: 0\n180: 0\n181: 0\n182: 0\n183: 0\n184: true\n185: -1\n186: 0\n187: 1\n188: 2\n189: 3\n190: 4\n191: 5\n192: 6\n193: 7\n194: 0\n195: 0\n196: 100\n197: 0\n198: 0\n199: 100\n200: 50\n201: 100\n202: 0\n203: 1\n204: 2\n205: 3\n206: 4\n207: 5\n208: 6\n209: 7\n210: 0\n211: 0\n212: 0\n213: 0\n214: 0\n215: 7\n216: 8\n217: 0\n218: 0\n219: 9\n220: 0\n221: 0\n222: 10000\n223: 10000\n224: true\n225: 10\n226: 10\n227: 0\n228: true\n229: 0\n230: true\n231: 10\n232: 0\n233: 256\n234: 1\n235: 1\n236: 0\n237: 256\n238: 1\n239: 10\n240: 1\n241: 2\n242: 0\n243: 1\n244: 2\n245: true\n246: 0\n247: 2\n248: 2\n249: true\n250: 0\n251: 3\n252: 2\n253: 1\n254: 1\n255: true\n256: 33\n257: 34\n258: 35\n259: 33\n260: 34\n261: 35\n262: 32\n263: 16777216\n264: 0\n265: 256\n266: 65536\n267: 0\n268: 256\n269: 256\n270: 0\n271: 256\n272: 1\n273: 0\n274: 36\n275: 1\n276: 5\n277: 32\n278: 16777216\n279: 0\n280: 256\n281: 65536\n282: 0\n283: 256\n284: 256\n285: 0\n286: 256\n287: 10\n288: 0\n289: 256\n290: 0\n291: 32\n292: 0\n293: 32\n294: 1\n295: 5",
"ergoTreeScript": "{\n val box1 = OUTPUTS(placeholder[Int](0))\n val bool2 = box1.value >= SELF.value\n val bool3 = box1.propositionBytes == SELF.propositionBytes\n val coll4 = getVar[Coll[Byte]](2.toByte).get\n val coll5 = getVar[Coll[Byte]](3.toByte).get\n val avlTree6 = SELF.R5[AvlTree].get\n val coll7 = getVar[Coll[Byte]](0.toByte).get\n val box8 = CONTEXT.dataInputs(placeholder[Int](1))\n val bool9 = box8.tokens.exists({(tuple9: (Coll[Byte], Long)) => tuple9._1 == getVar[Coll[Byte]](6.toByte).get })\n val coll10 = box8.R4[Coll[Long]].get\n val coll11 = getVar[Coll[Byte]](4.toByte).get\n val l12 = HEIGHT.toLong\n val prop13 = SELF.R4[SigmaProp].get\n val bool14 = box1.R4[SigmaProp].get == prop13\n if (getVar[Int](7.toByte).get == placeholder[Int](2)) {(\n val i15 = getVar[Int](1.toByte).get\n val bool16 = i15 == placeholder[Int](3)\n val i17 = getVar[Int](5.toByte).get\n val l18 = coll11(placeholder[Int](4)).toLong\n val l19 = coll11(placeholder[Int](5)).toLong\n val l20 = coll11(placeholder[Int](6)).toLong\n val l21 = coll11(placeholder[Int](7)).toLong * placeholder[Long](8) + if (l18 < placeholder[Long](9)) { l18 + placeholder[Long](10) } else {\n l18\n } * placeholder[Long](11) + if (l19 < placeholder[Long](12)) { l19 + placeholder[Long](13) } else { l19 } * placeholder[Long](14) + if (l20 < placeholder[\n Long\n ](15)) { l20 + placeholder[Long](16) } else { l20 }\n val l22 = coll11(placeholder[Int](17)).toLong\n val l23 = if (l22 < placeholder[Long](18)) { l22 + placeholder[Long](19) } else { l22 }\n val bool24 = l23 > placeholder[Long](20)\n val opt25 = getVar[Int](10.toByte)\n val bool26 = if (opt25.isDefined) { opt25.get >= placeholder[Int](21) } else { placeholder[Boolean](22) }\n val bool27 = bool24 || bool26\n val l28 = coll11(placeholder[Int](23)).toLong\n val l29 = coll11(placeholder[Int](24)).toLong\n val l30 = coll11(placeholder[Int](25)).toLong\n val l31 = coll11(placeholder[Int](26)).toLong * placeholder[Long](27) + if (l28 < placeholder[Long](28)) { l28 + placeholder[Long](29) } else {\n l28\n } * placeholder[Long](30) + if (l29 < placeholder[Long](31)) { l29 + placeholder[Long](32) } else { l29 } * placeholder[Long](33) + if (l30 < placeholder[\n Long\n ](34)) { l30 + placeholder[Long](35) } else { l30 }\n val l32 = coll11(placeholder[Int](36)).toLong\n val l33 = coll11(placeholder[Int](37)).toLong\n val l34 = coll11(placeholder[Int](38)).toLong\n val l35 = coll11(placeholder[Int](39)).toLong * placeholder[Long](40) + if (l32 < placeholder[Long](41)) { l32 + placeholder[Long](42) } else {\n l32\n } * placeholder[Long](43) + if (l33 < placeholder[Long](44)) { l33 + placeholder[Long](45) } else { l33 } * placeholder[Long](46) + if (l34 < placeholder[\n Long\n ](47)) { l34 + placeholder[Long](48) } else { l34 }\n val bool36 = l12 >= l35 + coll10(placeholder[Int](49))\n val l37 = coll11(placeholder[Int](50)).toLong\n val l38 = if (l37 < placeholder[Long](51)) { l37 + placeholder[Long](52) } else { l37 }\n val l39 = if (bool36) { placeholder[Long](53) } else { l38 }\n val coll40 = Coll[Int](\n placeholder[Int](54), placeholder[Int](55), placeholder[Int](56), placeholder[Int](57), placeholder[Int](58), placeholder[Int](59), placeholder[Int](\n 60\n ), placeholder[Int](61), placeholder[Int](62), placeholder[Int](63), placeholder[Int](64)\n )\n val coll41 = coll40.map({(i41: Int) =>\n val i43 = i41 * placeholder[Int](65)\n val l44 = coll11(i43 + placeholder[Int](66)).toLong\n coll11(i43).toLong * placeholder[Long](67) + if (l44 < placeholder[Long](68)) { l44 + placeholder[Long](69) } else { l44 }\n })\n val l42 = coll41(placeholder[Int](70))\n val l43 = coll41(placeholder[Int](71))\n val coll44 = Coll[Int](\n placeholder[Int](72), placeholder[Int](73), placeholder[Int](74), placeholder[Int](75), placeholder[Int](76), placeholder[Int](77), placeholder[Int](\n 78\n ), placeholder[Int](79)\n )\n val coll45 = box8.R6[Coll[Coll[Long]]].get(i17 - placeholder[Int](80))\n val l46 = coll45(placeholder[Int](81))\n val coll47 = coll40.map({(i47: Int) =>\n val i49 = i47 * placeholder[Int](82)\n val l50 = coll5(i49 + placeholder[Int](83)).toLong\n coll5(i49).toLong * placeholder[Long](84) + if (l50 < placeholder[Long](85)) { l50 + placeholder[Long](86) } else { l50 }\n })\n val l48 = coll10(placeholder[Int](87))\n val l49 = coll45(placeholder[Int](88))\n val opt50 = getVar[Int](8.toByte)\n val bool51 = if (opt50.isDefined) { opt50.get >= placeholder[Int](89) } else { placeholder[Boolean](90) }\n val l52 = if (bool51) { INPUTS(opt50.get).R4[Coll[Long]].get(placeholder[Int](91)) } else { placeholder[Long](92) }\n val l53 = coll45(placeholder[Int](93))\n val bool54 = ((i15 == placeholder[Int](94)) && (l21 > placeholder[Long](95))) && (l12 >= l21)\n val l55 = coll11(placeholder[Int](96)).toLong\n val l56 = if (l55 < placeholder[Long](97)) { l55 + placeholder[Long](98) } else { l55 }\n val coll57 = if (bool54) { box8.R7[Coll[Coll[Long]]].get(l56.toInt - placeholder[Int](99)) } else {\n Coll[Long](placeholder[Long](100), placeholder[Long](101), placeholder[Long](102), placeholder[Long](103), placeholder[Long](104), placeholder[Long](105))\n }\n val opt58 = getVar[Int](9.toByte)\n val bool59 = if (opt58.isDefined) { opt58.get >= placeholder[Int](106) } else { placeholder[Boolean](107) }\n val l60 = if (bool54) {(\n val l60 = coll57(placeholder[Int](108))\n val l61 = coll57(placeholder[Int](109))\n if (l60 == placeholder[Long](110)) {(\n val l62 = l42 - l61\n if (l62 < placeholder[Long](111)) { placeholder[Long](112) } else { l62 }\n )} else { if (l60 == placeholder[Long](113)) { l61 } else { l42 } }\n )} else { l42 } - if (bool59) { INPUTS(opt58.get).R4[Coll[Long]].get(placeholder[Int](114)) } else { placeholder[Long](115) }\n val l61 = if (l60 < placeholder[Long](116)) { placeholder[Long](117) } else { l60 } + coll45(placeholder[Int](118))\n val l62 = if (bool54) {(\n val l62 = coll57(placeholder[Int](119))\n val l63 = coll57(placeholder[Int](120))\n if (l62 == placeholder[Long](121)) {(\n val l64 = l43 - l63\n if (l64 < placeholder[Long](122)) { placeholder[Long](123) } else { l64 }\n )} else { if (l62 == placeholder[Long](124)) { l63 } else { l43 } }\n )} else { l43 } + coll45(placeholder[Int](125))\n val l63 = coll5(placeholder[Int](126)).toLong\n val l64 = coll5(placeholder[Int](127)).toLong\n val l65 = coll5(placeholder[Int](128)).toLong\n val l66 = coll5(placeholder[Int](129)).toLong * placeholder[Long](130) + if (l63 < placeholder[Long](131)) { l63 + placeholder[Long](132) } else {\n l63\n } * placeholder[Long](133) + if (l64 < placeholder[Long](134)) { l64 + placeholder[Long](135) } else { l64 } * placeholder[Long](\n 136\n ) + if (l65 < placeholder[Long](137)) { l65 + placeholder[Long](138) } else { l65 }\n val l67 = coll5(placeholder[Int](139)).toLong\n val l68 = if (l67 < placeholder[Long](140)) { l67 + placeholder[Long](141) } else { l67 }\n val l69 = coll5(placeholder[Int](142)).toLong\n val l70 = coll5(placeholder[Int](143)).toLong\n val l71 = coll5(placeholder[Int](144)).toLong\n val l72 = coll5(placeholder[Int](145)).toLong * placeholder[Long](146) + if (l69 < placeholder[Long](147)) { l69 + placeholder[Long](148) } else {\n l69\n } * placeholder[Long](149) + if (l70 < placeholder[Long](150)) { l70 + placeholder[Long](151) } else { l70 } * placeholder[Long](\n 152\n ) + if (l71 < placeholder[Long](153)) { l71 + placeholder[Long](154) } else { l71 }\n val l73 = coll5(placeholder[Int](155)).toLong\n val l74 = coll5(placeholder[Int](156)).toLong\n val l75 = coll5(placeholder[Int](157)).toLong\n val l76 = coll5(placeholder[Int](158)).toLong\n val l77 = coll5(placeholder[Int](159)).toLong\n val l78 = coll5(placeholder[Int](160)).toLong * placeholder[Long](161) + if (l75 < placeholder[Long](162)) { l75 + placeholder[Long](163) } else {\n l75\n } * placeholder[Long](164) + if (l76 < placeholder[Long](165)) { l76 + placeholder[Long](166) } else { l76 } * placeholder[Long](\n 167\n ) + if (l77 < placeholder[Long](168)) { l77 + placeholder[Long](169) } else { l77 }\n prop13 && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (bool3 && bool2) && (\n box1.R5[AvlTree].get.digest == if (bool16) {\n avlTree6.insert(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get\n } else { avlTree6.update(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get }.digest\n )\n ) && bool9\n ) && ((i17 >= placeholder[Int](170)) && (i17.toLong <= coll10(placeholder[Int](171))))\n ) && (l12 >= l21)\n ) && if (bool27) { placeholder[Boolean](172) } else { l12 >= l31 + coll10(placeholder[Int](173)) }\n ) && if (bool27) { placeholder[Boolean](174) } else { l39 < coll10(placeholder[Int](175)) }\n ) && if (bool16) {\n (\n (\n (\n (\n (\n ((l42 == placeholder[Long](176)) && (l43 == placeholder[Long](177))) && coll44.forall(\n {(i79: Int) => coll41(i79) == placeholder[Long](178) }\n )\n ) && (l31 == placeholder[Long](179))\n ) && (l38 == placeholder[Long](180))\n ) && (l23 == placeholder[Long](181))\n ) && (l35 == placeholder[Long](182))\n ) && (l21 == placeholder[Long](183))\n } else { placeholder[Boolean](184) }\n ) && if (l46 == placeholder[Long](185)) {\n Coll[Int](\n placeholder[Int](186), placeholder[Int](187), placeholder[Int](188), placeholder[Int](189), placeholder[Int](\n 190\n ), placeholder[Int](191), placeholder[Int](192), placeholder[Int](193)\n ).forall({(i79: Int) => coll41(i79) == coll47(i79) })\n } else {(\n val l79 = coll41(l46.toInt)\n val l80 = l48 - l79\n val l81 = if (l80 <= placeholder[Long](194)) { placeholder[Long](195) } else {\n l49 * l52 / placeholder[Long](196) * l80 / l48\n }\n val l82 = coll41(l53.toInt)\n val l83 = l48 - l82\n val l84 = if (l83 <= placeholder[Long](197)) { placeholder[Long](198) } else {\n l49 * l52 / placeholder[Long](199) * placeholder[Long](200) / placeholder[Long](201) * l83 / l48\n }\n Coll[Int](\n placeholder[Int](202), placeholder[Int](203), placeholder[Int](204), placeholder[Int](205), placeholder[Int](\n 206\n ), placeholder[Int](207), placeholder[Int](208), placeholder[Int](209)\n ).forall({(i85: Int) =>\n val l87 = i85.toLong\n if (l87 == l46) { coll47(i85) == l79 + if (l81 > l80) { l80 } else { if (l81 < placeholder[Long](210)) { placeholder[Long](211) } else { l81 } } } else { if (l87 == l53) { coll47(i85) == l82 + if (l84 > l83) { l83 } else { if (l84 < placeholder[Long](212)) { placeholder[Long](213) } else { l84 } } } else { coll41(i85) == coll47(i85) } }\n })\n )}\n ) && coll44.forall({(i79: Int) => coll47(i79) <= l48 })\n ) && (\n coll44.fold(placeholder[Long](214), {(tuple79: (Long, Int)) => tuple79._1 + coll47(tuple79._2) }) <= coll10(\n placeholder[Int](215)\n )\n )\n ) && (coll47(placeholder[Int](216)) == if (l61 < placeholder[Long](217)) { placeholder[Long](218) } else { l61 })\n ) && (\n coll47(placeholder[Int](219)) == if (l62 < placeholder[Long](220)) { placeholder[Long](221) } else {\n if (l62 > placeholder[Long](222)) { placeholder[Long](223) } else { l62 }\n }\n )\n ) && if (bool16) { placeholder[Boolean](224) } else { coll47(placeholder[Int](225)) == coll41(placeholder[Int](226)) }\n ) && if (bool54) { l66 == placeholder[Long](227) } else { if (bool16) { placeholder[Boolean](228) } else { l66 == l21 } }\n ) && if (bool54) { l68 == placeholder[Long](229) } else { if (bool16) { placeholder[Boolean](230) } else { l68 == l56 } }\n ) && if (bool27) { l72 == l31 } else { (l72 >= l12 - placeholder[Long](231)) && (l72 <= l12) }\n ) && (\n if (l73 < placeholder[Long](232)) { l73 + placeholder[Long](233) } else { l73 } == if (bool27) { l38 } else {\n if (bool36) { placeholder[Long](234) } else { l39 + placeholder[Long](235) }\n }\n )\n ) && (\n if (l74 < placeholder[Long](236)) { l74 + placeholder[Long](237) } else { l74 } == if (bool24 && (!bool26)) {\n l23 - placeholder[Long](238)\n } else { l23 }\n )\n ) && if (bool27) { l78 == l35 } else { if (bool36) { (l78 >= l12 - placeholder[Long](239)) && (l78 <= l12) } else { l78 == l35 } }\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](240)).value >= coll10(placeholder[Int](241)))\n ) && if (bool51) {(\n val box79 = INPUTS(opt50.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](242)) == placeholder[Long](243)) && (l12 < coll80(placeholder[Int](244)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](245) }\n ) && if (bool59) {(\n val box79 = INPUTS(opt58.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](246)) == placeholder[Long](247)) && (l12 < coll80(placeholder[Int](248)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](249) }\n ) && if (bool26) {(\n val box79 = INPUTS(opt25.get)\n val coll80 = box79.R4[Coll[Long]].get\n (((coll80(placeholder[Int](250)) == placeholder[Long](251)) && (l12 < coll80(placeholder[Int](252)))) && (box79.R5[Coll[Byte]].get == coll4)) && (\n coll80(placeholder[Int](253)) >= placeholder[Long](254)\n )\n )} else { placeholder[Boolean](255) }\n )\n )} else {(\n val i15 = getVar[Int](1.toByte).get\n val l16 = coll11(placeholder[Int](256)).toLong\n val l17 = coll11(placeholder[Int](257)).toLong\n val l18 = coll11(placeholder[Int](258)).toLong\n val l19 = coll5(placeholder[Int](259)).toLong\n val l20 = coll5(placeholder[Int](260)).toLong\n val l21 = coll5(placeholder[Int](261)).toLong\n val l22 = coll5(placeholder[Int](262)).toLong * placeholder[Long](263) + if (l19 < placeholder[Long](264)) { l19 + placeholder[Long](265) } else {\n l19\n } * placeholder[Long](266) + if (l20 < placeholder[Long](267)) { l20 + placeholder[Long](268) } else { l20 } * placeholder[Long](\n 269\n ) + if (l21 < placeholder[Long](270)) { l21 + placeholder[Long](271) } else { l21 }\n val coll23 = box8.R7[Coll[Coll[Long]]].get(i15 - placeholder[Int](272))\n val l24 = l12 + coll23(placeholder[Int](273))\n val l25 = coll5(placeholder[Int](274)).toLong\n prop13 && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (bool3 && bool2) && (box1.R5[AvlTree].get.digest == avlTree6.update(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get.digest)\n ) && bool9\n ) && ((i15 >= placeholder[Int](275)) && (i15.toLong <= coll10(placeholder[Int](276))))\n ) && (\n l12 >= coll11(placeholder[Int](277)).toLong * placeholder[Long](278) + if (l16 < placeholder[Long](279)) {\n l16 + placeholder[Long](280)\n } else { l16 } * placeholder[Long](281) + if (l17 < placeholder[Long](282)) { l17 + placeholder[Long](283) } else { l17 } * placeholder[Long](\n 284\n ) + if (l18 < placeholder[Long](285)) { l18 + placeholder[Long](286) } else { l18 }\n )\n ) && ((l22 >= l24 - placeholder[Long](287)) && (l22 <= l24))\n ) && (if (l25 < placeholder[Long](288)) { l25 + placeholder[Long](289) } else { l25 } == i15.toLong)\n ) && (coll5.slice(placeholder[Int](290), placeholder[Int](291)) == coll11.slice(placeholder[Int](292), placeholder[Int](293)))\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](294)).value >= coll23(placeholder[Int](295)))\n )\n )}\n}",
"address": "2AavYnsxa57VxYw3vKaaVuu6NyuCQTkCUtRenoUMEJquL3dmf78VPZLQ8xCq26gT6nppWAoZg1e25Ngdau6xT1oAaVWxjdYvnbzKhqsRgg5LxPKYYMQvQCijJZTjZajJF1NVkg9dDqLZkD9tpBkN2uW3kXnoAb393E6MLdn5eEQyDLQCXFrekiNYLeYNJ6J3xcay8tESfYgFvMUWYDqpUJfyNJ6MdiqQ4QqCf2koBTJdjk3KZQzD755XdPZto15vZHGiizUJZayqNzSrNwpab2MJGBrB58fWW8bAm2Mds776KnnUcRuh3WrL9odeyCYnzY4GdpXvzKTTGeP8fRCTseSYbnYWKdSJ29TSoEQrPJJKVzssfQBUGRPqU891ya8DkVqnJbASctZJd9zcCKY44B7r7y5Bz2FmGQ9KEyoJz3P94QujK9D9EfFw8u7WKbeRURN4tJUX5NnECTo3KrWF2DWupWYiWhAG5DY3KvEsvHVRUpAWvy5MdB5iVUkDZ6n5Taq2AhmqQRESd542GcfUar2dAYz5qK2PQLU7VcZWHHp2q48nnbcbHArXss6dbnZUp1RHECeTmxE4BC4FgWE2vZmgR7K6bp5YRhPTKqguhTho2KTGV93t8bgsVBHsZx8w9jxLaDz7atVoqyDWaQorhFbVubbHGjSyuv9hGMWAwhyeefksCrKccY7pwBCKmnNgwwexyJbQYJFgvicpPKAySwXAszAQP29zSc4ZYBbDXjL3tNAGW1BcHWXACPAUFmQhX9PqR7W9Gwvzatjq5Ha2DNBWaNNC32WXxuWUPpQGRSS8H4Ek7cp7B8vcKP8Cvb66rzvWuNLNHenD6VqhG8zXwWY59RFztqmJsnZRfFvsBGCGqypNM61QRnZtKXQUJSjdGBj2tBGMT1iCqiEW9hVHQzwfSdLrMhPyupB69SuUcfc861VpoN2pyztBCXxfk9ZdsbYX8ysFc3gBiruDm9R8vov8LsYTtEHTjahR6sBmWVJcKFVnsBFrdM7Sd3AkGS6Ks8ThRi3PP16jNjwPyEbKAMa3p4fj3JSmLVSCiGmdTsmVYAEgcSRudvpHApEoCaSYWfriu2gFBgfFg6zm2QTVNCGHL1URWe32pPqYNU6o5cxyRwGtkvp8DSELuL15wvkHzjFK1y83DEB7KMbkeXncajQQbgo85pg3BwfBkEw2hp7QuEZ2eE5baWCAgqvFjL1iMHVfSjrDnMendWZG7Btony22wZj7uCbABbv4HFnUZXtCRi1snF1yJi3JmWXwgG48VhNkmrmL4ALa2qQxVy85GHd3t63SCdiJB4Wq7qVX2Zvz4QQ6EGjCnwC19dtrBquY2vbUYPiPevw1T8Qj489LcQcjSKvrnf6QomV4K8x6DbbG8MbgRVyfVU567vwUYruRubrqoCDqzucyjZM9uN73kJsQ4uerZQtf7PDvjEwPGkBj8JiZ86ZaQsWoJjmiZuMWfJL3UR3mnpb4Ksb31fZUAfAVoUb751qJiamLZZ48UnSPvCHg7U7bTi6LAHMWwKHybAvD6Wqx4AQDfvMjyNCEkUrQF12KtTHw2jMkxZvLKXE7jhyutiK6eRMw6nTqnU4ihsKY7hhp62qhhs44EHX9UFYzonRw6i7BiYmqUNpPhYq5feQUBZ246K9bHYJ6CEXfmEgVLfRQvToTwAwJhvYuK1EyAbePMkxSFRGDFjUsbHZhQuzsNbpfEnvr6qbFzvaPLJ7bNb3k4nP3MLsdKxXc7tGeDzo42G92WSWtUWEUbQZF9CJ7Qy3RuBsRfQZXiyQFRaDHrDZA9PunMEKjQPtBxhYkPzCMahzCKJT2yYjrhZmEHCYuAPMohaoowsxTVofD9YCjaKVb8LNXKkQ9c6RC6Y3Jkxf5CfAKbbH1CvKYg3qJ1X9wjgrp1S2fvykDQx6aYswj2Dt5MNh6cbGXnGj22WtwZHMLVWPCiyzmZT47jFgGDw6Z3oCd3SiiK1CNdF5r6GVQyXSrbaQR2eYiJrNK8Nr3veXvQ3FJkK7j1DNHSF3zQ8CbThteWdtt8eRoBSne6YiyURfH9gt33wbATHF62Q96jXx598moX1nRigtp9ytJ68QPXMxzy4nMyG68tDXzcezhUgQ6vqGUPVidYXPUG6PrUMHW8YW8oe8zNAecB55NcMhDgc1X36WY582RT3a4ucYXEkqaP84U5jqdSpBMkQAMvzhz3cxq9uSBte22LjFP3AEQNnCBFMN4ZFfTj4SwnT2N3JvzjqzPsfJFndRi9h512Eye7DKW8c7dJAVJczZSv8Cr8N82hamZbQjwxFqYqZUn3Mav2FzBGhbHQeSukuGuE1v76T1VjVLMKhxFaxcTPEbczFf26DZY7Zf91cxn2Hx34R5Eday2DhBrL8sbqQyjYhdX2bLmPLduACt8KPxYzKamTyNNU87PcaU1fRxCVQYLiX36USDiXXDJuHndzPho24FpCr29QQahp7b2kzbK5QtsfXtgBCvkQkJf4tnLGRnChW3B1sBTYHeMhxgLoHP94ZJ5tpEJdo9vmysfh4GabKun5UAe8xLKsQHDQPkrejsQn4riaW2MxoqrPhW8VMaATGGydLXnxDtfQUzmQa1WYTkrDtcUhox8eAsTfoSupq7GrjKHJqhAC4uivYXUBPRge1a7aWA864LPtC7DKMmhgpiC3W93fTyNAApCdeN5CDvxfmJ9WpJybLtK92VtneD9N1tcqNvqcceFGrZJLhbeb1e4GP8PCxxmwN41Nd3CSMpC51gAEcAjwVF4hLEZKmtSq3Mi5pGJEVSxtnHauNEJAmk4MjmnNqQdTTr8fftpmb9XLZUdpPg8USEaXA74aMCyAJNBGr7xibKMrTWF5FfzSLYVAs6G4QWkAVJmgvdDcz3vePAjWgv3eD1rpjqn6LA1JrLLfD5UayM4WGy8pDgyCnKriG3oCJw9AgJdYTNpc8EwxhtyeicD5HaMaZF1tMt3X8RcffNsMeokwmT83QoPL7a5fXQKSzR5V4ntgkxUb63eT5nP3S8m3PhMKp2J19SJ8jWyufbaXZdFmMfWF9Qi5zvLCqHXG2YkDhmCDWbAFn5H4k5k6XZ9bnjNqLAakQ5v1BGfDGvZc8xvBGkTwWeQUvM1fdDBTEwVZ1zFYer8GFXzpT3B3Xsf4V1TeTDTiStg2TUeBVvNzq2hsX3Yv8LRc4LwUWHL2iwt2Xsp2iGWuWdXPvqiauEBKSi4EspxT8LWnapdL3gMjAeRcNZv7YEHAYYze8FQL4fyxysJksse8g54BLzW4EK6e3DxWtazujKE9LN43ncxUcTuDRbFUfk7W8iJFbrYWY9B7ZYVcoYceoHTWkJEitihMNKGWNaekoxpKbN39rrt6PYtd8sfKGk1V8W6aMR49zYpTriMP4neEzTbN3xYPHgS78PsfMvBXNjrS6gdXgXfUVpEzCK3ZGT4yZ1F8A4zbofXybqNtnmaDyPcDfbSXtfPjg9zVxStN9p1oB6twanUxH1Kerg2kPvA5igHYoEzdVE4s8Hwu8CYBGLQi2Cmt3SmUgaeV2nx5idtjdaNSvV4yfyBdzAVHmSzGwVRsDLDqfZfrPhjub1Bq185mg5NY8rjFzwhLae8b8srweSsEfryd4zmQwxgXWjJPTJQMENRQP21mRoDFfAfuEPnz16t9gHohz5tfzt1djCtjagFsVzt2TbmADKXZpVq4sNPJJzC8ZS7whNGJsquXQwydW9kCVYqqHYqPXby1zXpcXBXKHpBZPThv4nsVzJD2NSUR8PxK4wqvHcVJsAGeW94HDGYZSTHmYswtrXiL9WwLnZTY6wKsKJ88AAt6rx6YpV2rA7vPhUD7xU79L8s5ckMFE9viqVV5QWb86CcDf8nM4Nn65UdxZqHf7z22mUMNuaUShtZ8nAUPoYei2pkPPopeZPsvbahkrJBB2GG8gRcMo7qtPAvqYLhyYhbQsSmYhRqcEiLJZb4E4BQWHm6axRuMPkDtTXdUsqGrQ8etqND2Y6KBopESRvccUM3B9AXY2DV32oDJWgBZYsSYDGthQQfPpGw6U7kTQE3anmxT1BfBdnhmFA8Q1c6hGoSo9V3UjN5qZ2nNgAYKDmpgpuHXaeCnizL1JEFjBkU4vSdyQJ5xnx7J1TDSMQbUfosMMTV3E4mCrbXEnSNstuumi1WZwTbTcDmrZn3tUJDH1feXQ3s97QEa154KuBcKwBEmEU83QHWynSbp7x819iyWF3ji3BKbZdR5xEL1tN2VJbLT7pmLYq2VQHS7Uzk6aLJrSw5eoYYSx2kZ8TnUhiH4qQRnQw79hXosS3xwrcDwdyDJ5rWmc5YLEeEd87cYUKcHu5gFXWfXMnoveuMVMbJLoM9abz9ViaaPvKbk5avJJhjAVd82HQXEHXZBN15wrJRYQBH5ev127hruSoTMufp2gVQVBdJGXvKHkuDiqNPXy9Pc6NBadTRa3A9www3pEfwpXkgUQYUVZ9QpDoKUs29n1SuDdwo5hQUL6u3uBZkcSRaVWP1SCAG58ahxVL5U9A8HZ8gX6sLKeXUi1E3qChqrQsAyNWC5ugygHTmmnVLmD1K3dxRR8o8ko3rUrwJbmUw12TDygdv3mHLVLDJu891Rbnzts2SAsQS1AgYR6bSLfgGi8P8XLxU3M21q28iX6X1M1e2q4DUVCdiaEGqs5NF6w85DWkzpuMrA3pWmhLengyRRSTxdj8Y3j3rGvJxQSd1v5vh91hEPitxDAhKLAuRihsu9knJiVLcY3BDxfE",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"sigmaType": "SSigmaProp",
"renderedValue": "02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a"
},
"R5": {
"serializedValue": "64ea2e15d39ea68bea18e896cd8ebb3a8d600c7c24405bebdbc160afedfac76c2601072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "4e53cf38b15ef3f800328831b6e675b8bc37a225de8fd43a74111d5377e29ef3",
"value": 4512284533,
"index": 1,
"spendingProof": "b6c3cc1c1aa18328a399b4f3a7359326f8d4803809613705d203f0e9c1040bebef9fe31925b3f02e41d9a78eb3859f57eb6ee8c5f7d1c484",
"outputBlockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"outputTransactionId": "7a1dbe9595f5e9d8648612c0f86409abebc23bd663327d4dabad54b86452d3cf",
"outputIndex": 3,
"outputGlobalIndex": 54100702,
"outputCreatedAt": 1740597,
"outputSettledAt": 1740601,
"ergoTree": "0008cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(afe418,bb3ad0,...)))}",
"address": "9frXR12ZVMBVLt2i74SsYYGToDooP9TUqwTabhTzGKLAYonS31h",
"assets": [
{
"tokenId": "7899b00f5d19339b15abef1189ea9c95d45aaeaa96ad9987a52c2ec2c725260f",
"index": 0,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "f38a496ad68e388a183743d20bc70b5a0c08597616b0627fe105e3e080b841ca",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "e1d7fcb9c033970d8485c200efc9febbb17244639c17c57a4c14b76bbd559183",
"index": 2,
"amount": 1,
"name": "USD Pool ballot token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4550239cf0a0ba6b0c337610240ae535eef630a97fdfa2443c6994305d3276c0",
"index": 3,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "a1690883d7aab5c58086bc0734493f47ae1ff30f6399f0a6f852bd112b7986b8",
"index": 4,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {}
}
],
"dataInputs": [
{
"boxId": "ec7c65e7f0778b68c78eaa61a337d4241b6079e25c16571ed10256c48f48c689",
"value": 10000000,
"index": 0,
"outputBlockId": "a84b51ad1fb0f269b6e4912713354b2b59d46be8173732eeaf3d4905d55e5710",
"outputTransactionId": "7c10d547dbd34883066f627df047826ac345325a0c602a2bf3baed4fa34b430c",
"outputIndex": 0,
"ergoTree": "18dd021108cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a0402040004000400050204000418041605020400040204040580897a040e05000e20e0fe8fb65abe4f59c845d2b33939bd4471b6e05bd6ccfaa490ac04276b7967b7d803d6017ea305d602e4c6a70411d603730095927201b27202730100d803d604b2a5730200d605c27204d6068cb2db6308a77303000195937205c2a7d801d607b2db63087204730400ea02d1ed92c17204c1a7ed938c7207017206938c72070273057203d803d607c1a7d608b2db63087204730600d609e4c672040711d1ededededededed93e4c672040411720293db6401e4c672040964db6401e4c6a7056492c172049a7207b2720273070092e4c6720406059a7201b27202730800ed938c7208017206938c7208027309909a9ab27209730a00b27209730b00b27209730c00997207730d93b27209730e00730f93cb720573107203",
"address": "7HbS89f3YjVgFmatca2MgAAbgmjekTcMWdEeh89LdHvLEQMDV1hqHNaJ17qBAMAcjvyCE4Ma2PuQ7V2Gq2pEqdk9fAi2td1p8Et9wyp6Ht4F1ANJfBDRVQVCWBtzMTXbj4grE38TBqDAqPG1T5mjQozptCL83umss7YiwtuC6W9ZAAsvXb9Pv7SQDaXP9xwZU5Ue3n3Zz7ppNZPHmt26aSsiz6ayLFmobxdXdwwp2x8r8qMTUYmdsUWq3mmpvKwQAaGFh68XjrvsnqSpUYUGDzU3Ah91JMifyBn8DyGQ1Yz9txYsWxqNKzV6r2sUQycvZ6gfSp2Uq9S3su2ir6TDbb69XUP32djjBceurG3dinGLSAZunhugBuiQ9edmhX1gciS9BknbfLjenN45o4T5512eXg4F3mrzjrM7QGdisHXPjN4MVpWxpsJtScQWKWsYGQE7YwuQNRemuwWGTdp319w1ksHpUgeQP1c59nk",
"assets": [],
"additionalRegisters": {
"R5": {
"serializedValue": "644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "1d07050006e807e012e707050208e807e012d704050400e807e0120005060ae807e012e807050802e807e0128f03050a04e807e012b817050101008727b817",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[0,3,500,1200,-500],[1,4,500,1200,-300],[2,0,500,1200,0],[3,5,500,1200,500],[4,1,500,1200,-200],[5,2,500,1200,1500],[-1,-1,0,-2500,1500]]"
},
"R8": {
"serializedValue": "1d05083c0a143c0a1e0000081e3c140a3c1e000008141e3c0a143c00000828281e1e1e14000008141432141e3c0000",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[30,5,10,30,5,15,0,0],[15,30,10,5,30,15,0,0],[10,15,30,5,10,30,0,0],[20,20,15,15,15,10,0,0],[10,10,25,10,15,30,0,0]]"
},
"R7": {
"serializedValue": "1d0306e80202a01f000080ade20406d00502c03e04904e80dac40906a00b040004f02e80b48913",
"sigmaType": "Coll[Coll[SLong]]",
"renderedValue": "[[180,1,2000,0,0,5000000],[360,1,4000,2,5000,10000000],[720,2,0,2,3000,20000000]]"
},
"R9": {
"serializedValue": "110678a001aa01be01c801f001",
"sigmaType": "Coll[SLong]",
"renderedValue": "[60,80,85,95,100,120]"
},
"R4": {
"serializedValue": "111700ca8bd50180dac40980c2d72f0e06807de0d40300a00b28148084af5f50463200000000000a0c",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,1745637,10000000,50000000,7,3,8000,30000,0,720,20,10,100000000,40,35,25,0,0,0,0,0,5,6]"
}
}
}
],
"outputs": [
{
"boxId": "556b1d9352881b4c36c65d6e82597c3bb9352d6713da7cfa9523d7bd85b92eff",
"transactionId": "ef010007bf67f02bb36c85b4901010807126e080626fc956879bb106db08b574",
"blockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"value": 10000000,
"index": 0,
"globalIndex": 54100703,
"creationHeight": 1740597,
"settlementHeight": 1740601,
"ergoTree": "188f1ba8020400040004020400044204440446044005808080100500058004058080080500058004058004050005800404360500058004050004000100042e04300432042c058080801005000580040580800805000580040580040500058004043a043c043e0438058080801005000580040580800805000580040580040500058004041204340500058004050004000402040404060408040a040c040e0410041204140404040205800405000580040410041204000402040404060408040a040c040e04020400040404020580040500058004040c040404000100040205c80104020402050004480500058004040205000500050005000500050004000100040204040502050005000504040205000500050004060406040805020500050005040408044204440446044005808080100500058004058080080500058004058004050005800404480500058004042e04300432042c05808080100500058004058080080500058004058004050005800404340436043a043c043e0438058080801005000580040580800805000580040580040500058004040204080101041001010414050005000500050005000500050005000101050104000402040404060408040a040c040e0500050005c8010500050005c801056405c80104000402040404060408040a040c040e05000500050005000500040e04100500050004120500050005a09c0105a09c0101010414041405000101050001010514050005800405020502050005800405020514040204040400050204040101040005040404010104000506040404020502010104420444044604420444044604400580808010050005800405808008050005800405800405000580040402040004480402040a04400580808010050005800405808008050005800405800405000580040514050005800404000440040004400402040ad80ed601b2a5730000d60292c17201c1a7d60393c27201c2a7d604e4e3020ed605e4e3030ed606e4c6a70564d607e4e3000ed608b2db6501fe730100d609aedb63087208d901094d0e938c720901e4e3060ed60ae4c672080411d60be4e3040ed60c7ea305d60de4c6a70408d60e93e4c672010408720d9593e4e307047302d840d60fe4e30104d61093720f7303d611e4e30504d6127eb2720b73040005d6137eb2720b73050005d6147eb2720b73060005d6159a9a9a9c7eb2720b7307000573089c958f721273099a7212730a7212730b9c958f7213730c9a7213730d7213730e958f7214730f9a721473107214d6167eb2720b73110005d617958f721673129a721673137216d6189172177314d619e30a04d61a95e6721992e4721973157316d61bec7218721ad61c7eb2720b73170005d61d7eb2720b73180005d61e7eb2720b73190005d61f9a9a9a9c7eb2720b731a0005731b9c958f721c731c9a721c731d721c731e9c958f721d731f9a721d7320721d7321958f721e73229a721e7323721ed6207eb2720b73240005d6217eb2720b73250005d6227eb2720b73260005d6239a9a9a9c7eb2720b7327000573289c958f722073299a7220732a7220732b9c958f7221732c9a7221732d7221732e958f7222732f9a722273307222d62492720c9a7223b2720a733100d6257eb2720b73320005d626958f722573339a722573347225d62795722473357226d628830b047336733773387339733a733b733c733d733e733f7340d629ad7228d9012904d802d62b9c72297341d62c7eb2720b9a722b734200059a9c7eb2720b722b00057343958f722c73449a722c7345722cd62ab27229734600d62bb27229734700d62c83080473487349734a734b734c734d734e734fd62db2e4c67208061d997211735000d62eb2722d735100d62fad7228d9012f04d802d6319c722f7352d6327eb272059a7231735300059a9c7eb27205723100057354958f723273559a723273567232d630b2720a735700d631b2722d735800d632e30804d63395e6723292e472327359735ad634957233b2e4c6b2a4e47232000411735b00735cd635b2722d735d00d636eded93720f735e917215735f92720c7215d6377eb2720b73600005d638958f723773619a723773627237d639957236b2e4c67208071d997d723804736300830605736473657366736773687369d63ae30904d63b95e6723a92e4723a736a736bd63c99957236d802d63cb27239736c00d63db27239736d009593723c736ed801d63e99722a723d958f723e736f7370723e9593723c7371723d722a722a95723bb2e4c6b2a4e4723a0004117372007373d63d9a958f723c73747375723cb2722d737600d63e9a957236d802d63eb27239737700d63fb272397378009593723e7379d801d64099722b723f958f7240737a737b72409593723e737c723f722b722bb2722d737d00d63f7eb27205737e0005d6407eb27205737f0005d6417eb272057380010005d6429a9a9a9c7eb2720573810100057382019c958f723f7383019a723f738401723f7385019c958f72407386019a72407387017240738801958f72417389019a7241738a017241d6437eb27205738b010005d644958f7243738c019a7243738d017243d6457eb27205738e010005d6467eb27205738f010005d6477eb272057390010005d6489a9a9a9c7eb2720573910100057392019c958f72457393019a724573940172457395019c958f72467396019a72467397017246739801958f72477399019a7247739a017247d6497eb27205739b010005d64a7eb27205739c010005d64b7eb27205739d010005d64c7eb27205739e010005d64d7eb27205739f010005d64e9a9a9a9c7eb2720573a001000573a1019c958f724b73a2019a724b73a301724b73a4019c958f724c73a5019a724c73a601724c73a701958f724d73a8019a724d73a901724dea02720dd1ededededededededededededededededededededededededed7203720293db6401e4c672010564db6401957210e4dc640c72060283013c0e0e8602720472057207e4dc640d72060283013c0e0e86027204720572077209ed92721173aa01907e721105b2720a73ab010092720c721595721b73ac0192720c9a721fb2720a73ad010095721b73ae018f7227b2720a73af0100957210ededededededed93722a73b00193722b73b101af722cd9014f0493b27229724f0073b20193721f73b30193722673b40193721773b50193722373b60193721573b70173b8019593722e73b901af83080473ba0173bb0173bc0173bd0173be0173bf0173c00173c101d9014f0493b27229724f00b2722f724f00d806d64fb272297d722e0400d650997230724fd6519590725073c20173c3019d9c9d9c7231723473c40172507230d652b272297d72350400d6539972307252d6549590725373c50173c6019d9c9d9c9d9c7231723473c70173c80173c90172537230af83080473ca0173cb0173cc0173cd0173ce0173cf0173d00173d101d9015504d801d6577e72550595937257722e93b2722f7255009a724f9591725172507250958f725173d20173d301725195937257723593b2722f7255009a72529591725472537253958f725473d40173d501725493b27229725500b2722f725500af722cd9014f0490b2722f724f00723090b0722c73d601d9014f41049a8c724f01b2722f8c724f0200b2720a73d7010093b2722f73d80100958f723d73d90173da01723d93b2722f73db0100958f723e73dc0173dd019591723e73de0173df01723e95721073e00193b2722f73e10100b2722973e2010095723693724273e30195721073e401937242721595723693724473e50195721073e601937244723895721b937248721fed92724899720c73e701907248720c93958f724973e8019a724973e901724995721b722695722473ea019a722773eb0193958f724a73ec019a724a73ed01724a95ed7218ef721a99721773ee01721795721b93724e7223957224ed92724e99720c73ef0190724e720c93724e7223720e92c1b2a573f00100b2720a73f10100957233d802d64fb2a4e4723200d650e4c6724f0411eded93b2725073f2010073f3018f720cb2725073f4010093e4c6724f050e720473f50195723bd802d64fb2a4e4723a00d650e4c6724f0411eded93b2725073f6010073f7018f720cb2725073f8010093e4c6724f050e720473f90195721ad802d64fb2a4e4721900d650e4c6724f0411ededed93b2725073fa010073fb018f720cb2725073fc010093e4c6724f050e720492b2725073fd010073fe0173ff01d80bd60fe4e30104d6107eb2720b7380020005d6117eb2720b7381020005d6127eb2720b7382020005d6137eb272057383020005d6147eb272057384020005d6157eb272057385020005d6169a9a9a9c7eb2720573860200057387029c958f72137388029a72137389027213738a029c958f7214738b029a7214738c027214738d02958f7215738e029a7215738f027215d617b2e4c67208071d99720f73900200d6189a720cb2721773910200d6197eb272057392020005ea02720dd1edededededededededed7203720293db6401e4c672010564db6401e4dc640d72060283013c0e0e86027204720572077209ed92720f739302907e720f05b2720a7394020092720c9a9a9a9c7eb2720b73950200057396029c958f72107397029a721073980272107399029c958f7211739a029a7211739b027211739c02958f7212739d029a7212739e027212ed927216997218739f02907216721893958f721973a0029a721973a10272197e720f0593b4720573a20273a302b4720b73a40273a502720e92c1b2a573a60200b2721773a70200",
"ergoTreeConstants": "0: 0\n1: 0\n2: 1\n3: 0\n4: 33\n5: 34\n6: 35\n7: 32\n8: 16777216\n9: 0\n10: 256\n11: 65536\n12: 0\n13: 256\n14: 256\n15: 0\n16: 256\n17: 27\n18: 0\n19: 256\n20: 0\n21: 0\n22: false\n23: 23\n24: 24\n25: 25\n26: 22\n27: 16777216\n28: 0\n29: 256\n30: 65536\n31: 0\n32: 256\n33: 256\n34: 0\n35: 256\n36: 29\n37: 30\n38: 31\n39: 28\n40: 16777216\n41: 0\n42: 256\n43: 65536\n44: 0\n45: 256\n46: 256\n47: 0\n48: 256\n49: 9\n50: 26\n51: 0\n52: 256\n53: 0\n54: 0\n55: 1\n56: 2\n57: 3\n58: 4\n59: 5\n60: 6\n61: 7\n62: 8\n63: 9\n64: 10\n65: 2\n66: 1\n67: 256\n68: 0\n69: 256\n70: 8\n71: 9\n72: 0\n73: 1\n74: 2\n75: 3\n76: 4\n77: 5\n78: 6\n79: 7\n80: 1\n81: 0\n82: 2\n83: 1\n84: 256\n85: 0\n86: 256\n87: 6\n88: 2\n89: 0\n90: false\n91: 1\n92: 100\n93: 1\n94: 1\n95: 0\n96: 36\n97: 0\n98: 256\n99: 1\n100: 0\n101: 0\n102: 0\n103: 0\n104: 0\n105: 0\n106: 0\n107: false\n108: 1\n109: 2\n110: 1\n111: 0\n112: 0\n113: 2\n114: 1\n115: 0\n116: 0\n117: 0\n118: 3\n119: 3\n120: 4\n121: 1\n122: 0\n123: 0\n124: 2\n125: 4\n126: 33\n127: 34\n128: 35\n129: 32\n130: 16777216\n131: 0\n132: 256\n133: 65536\n134: 0\n135: 256\n136: 256\n137: 0\n138: 256\n139: 36\n140: 0\n141: 256\n142: 23\n143: 24\n144: 25\n145: 22\n146: 16777216\n147: 0\n148: 256\n149: 65536\n150: 0\n151: 256\n152: 256\n153: 0\n154: 256\n155: 26\n156: 27\n157: 29\n158: 30\n159: 31\n160: 28\n161: 16777216\n162: 0\n163: 256\n164: 65536\n165: 0\n166: 256\n167: 256\n168: 0\n169: 256\n170: 1\n171: 4\n172: true\n173: 8\n174: true\n175: 10\n176: 0\n177: 0\n178: 0\n179: 0\n180: 0\n181: 0\n182: 0\n183: 0\n184: true\n185: -1\n186: 0\n187: 1\n188: 2\n189: 3\n190: 4\n191: 5\n192: 6\n193: 7\n194: 0\n195: 0\n196: 100\n197: 0\n198: 0\n199: 100\n200: 50\n201: 100\n202: 0\n203: 1\n204: 2\n205: 3\n206: 4\n207: 5\n208: 6\n209: 7\n210: 0\n211: 0\n212: 0\n213: 0\n214: 0\n215: 7\n216: 8\n217: 0\n218: 0\n219: 9\n220: 0\n221: 0\n222: 10000\n223: 10000\n224: true\n225: 10\n226: 10\n227: 0\n228: true\n229: 0\n230: true\n231: 10\n232: 0\n233: 256\n234: 1\n235: 1\n236: 0\n237: 256\n238: 1\n239: 10\n240: 1\n241: 2\n242: 0\n243: 1\n244: 2\n245: true\n246: 0\n247: 2\n248: 2\n249: true\n250: 0\n251: 3\n252: 2\n253: 1\n254: 1\n255: true\n256: 33\n257: 34\n258: 35\n259: 33\n260: 34\n261: 35\n262: 32\n263: 16777216\n264: 0\n265: 256\n266: 65536\n267: 0\n268: 256\n269: 256\n270: 0\n271: 256\n272: 1\n273: 0\n274: 36\n275: 1\n276: 5\n277: 32\n278: 16777216\n279: 0\n280: 256\n281: 65536\n282: 0\n283: 256\n284: 256\n285: 0\n286: 256\n287: 10\n288: 0\n289: 256\n290: 0\n291: 32\n292: 0\n293: 32\n294: 1\n295: 5",
"ergoTreeScript": "{\n val box1 = OUTPUTS(placeholder[Int](0))\n val bool2 = box1.value >= SELF.value\n val bool3 = box1.propositionBytes == SELF.propositionBytes\n val coll4 = getVar[Coll[Byte]](2.toByte).get\n val coll5 = getVar[Coll[Byte]](3.toByte).get\n val avlTree6 = SELF.R5[AvlTree].get\n val coll7 = getVar[Coll[Byte]](0.toByte).get\n val box8 = CONTEXT.dataInputs(placeholder[Int](1))\n val bool9 = box8.tokens.exists({(tuple9: (Coll[Byte], Long)) => tuple9._1 == getVar[Coll[Byte]](6.toByte).get })\n val coll10 = box8.R4[Coll[Long]].get\n val coll11 = getVar[Coll[Byte]](4.toByte).get\n val l12 = HEIGHT.toLong\n val prop13 = SELF.R4[SigmaProp].get\n val bool14 = box1.R4[SigmaProp].get == prop13\n if (getVar[Int](7.toByte).get == placeholder[Int](2)) {(\n val i15 = getVar[Int](1.toByte).get\n val bool16 = i15 == placeholder[Int](3)\n val i17 = getVar[Int](5.toByte).get\n val l18 = coll11(placeholder[Int](4)).toLong\n val l19 = coll11(placeholder[Int](5)).toLong\n val l20 = coll11(placeholder[Int](6)).toLong\n val l21 = coll11(placeholder[Int](7)).toLong * placeholder[Long](8) + if (l18 < placeholder[Long](9)) { l18 + placeholder[Long](10) } else {\n l18\n } * placeholder[Long](11) + if (l19 < placeholder[Long](12)) { l19 + placeholder[Long](13) } else { l19 } * placeholder[Long](14) + if (l20 < placeholder[\n Long\n ](15)) { l20 + placeholder[Long](16) } else { l20 }\n val l22 = coll11(placeholder[Int](17)).toLong\n val l23 = if (l22 < placeholder[Long](18)) { l22 + placeholder[Long](19) } else { l22 }\n val bool24 = l23 > placeholder[Long](20)\n val opt25 = getVar[Int](10.toByte)\n val bool26 = if (opt25.isDefined) { opt25.get >= placeholder[Int](21) } else { placeholder[Boolean](22) }\n val bool27 = bool24 || bool26\n val l28 = coll11(placeholder[Int](23)).toLong\n val l29 = coll11(placeholder[Int](24)).toLong\n val l30 = coll11(placeholder[Int](25)).toLong\n val l31 = coll11(placeholder[Int](26)).toLong * placeholder[Long](27) + if (l28 < placeholder[Long](28)) { l28 + placeholder[Long](29) } else {\n l28\n } * placeholder[Long](30) + if (l29 < placeholder[Long](31)) { l29 + placeholder[Long](32) } else { l29 } * placeholder[Long](33) + if (l30 < placeholder[\n Long\n ](34)) { l30 + placeholder[Long](35) } else { l30 }\n val l32 = coll11(placeholder[Int](36)).toLong\n val l33 = coll11(placeholder[Int](37)).toLong\n val l34 = coll11(placeholder[Int](38)).toLong\n val l35 = coll11(placeholder[Int](39)).toLong * placeholder[Long](40) + if (l32 < placeholder[Long](41)) { l32 + placeholder[Long](42) } else {\n l32\n } * placeholder[Long](43) + if (l33 < placeholder[Long](44)) { l33 + placeholder[Long](45) } else { l33 } * placeholder[Long](46) + if (l34 < placeholder[\n Long\n ](47)) { l34 + placeholder[Long](48) } else { l34 }\n val bool36 = l12 >= l35 + coll10(placeholder[Int](49))\n val l37 = coll11(placeholder[Int](50)).toLong\n val l38 = if (l37 < placeholder[Long](51)) { l37 + placeholder[Long](52) } else { l37 }\n val l39 = if (bool36) { placeholder[Long](53) } else { l38 }\n val coll40 = Coll[Int](\n placeholder[Int](54), placeholder[Int](55), placeholder[Int](56), placeholder[Int](57), placeholder[Int](58), placeholder[Int](59), placeholder[Int](\n 60\n ), placeholder[Int](61), placeholder[Int](62), placeholder[Int](63), placeholder[Int](64)\n )\n val coll41 = coll40.map({(i41: Int) =>\n val i43 = i41 * placeholder[Int](65)\n val l44 = coll11(i43 + placeholder[Int](66)).toLong\n coll11(i43).toLong * placeholder[Long](67) + if (l44 < placeholder[Long](68)) { l44 + placeholder[Long](69) } else { l44 }\n })\n val l42 = coll41(placeholder[Int](70))\n val l43 = coll41(placeholder[Int](71))\n val coll44 = Coll[Int](\n placeholder[Int](72), placeholder[Int](73), placeholder[Int](74), placeholder[Int](75), placeholder[Int](76), placeholder[Int](77), placeholder[Int](\n 78\n ), placeholder[Int](79)\n )\n val coll45 = box8.R6[Coll[Coll[Long]]].get(i17 - placeholder[Int](80))\n val l46 = coll45(placeholder[Int](81))\n val coll47 = coll40.map({(i47: Int) =>\n val i49 = i47 * placeholder[Int](82)\n val l50 = coll5(i49 + placeholder[Int](83)).toLong\n coll5(i49).toLong * placeholder[Long](84) + if (l50 < placeholder[Long](85)) { l50 + placeholder[Long](86) } else { l50 }\n })\n val l48 = coll10(placeholder[Int](87))\n val l49 = coll45(placeholder[Int](88))\n val opt50 = getVar[Int](8.toByte)\n val bool51 = if (opt50.isDefined) { opt50.get >= placeholder[Int](89) } else { placeholder[Boolean](90) }\n val l52 = if (bool51) { INPUTS(opt50.get).R4[Coll[Long]].get(placeholder[Int](91)) } else { placeholder[Long](92) }\n val l53 = coll45(placeholder[Int](93))\n val bool54 = ((i15 == placeholder[Int](94)) && (l21 > placeholder[Long](95))) && (l12 >= l21)\n val l55 = coll11(placeholder[Int](96)).toLong\n val l56 = if (l55 < placeholder[Long](97)) { l55 + placeholder[Long](98) } else { l55 }\n val coll57 = if (bool54) { box8.R7[Coll[Coll[Long]]].get(l56.toInt - placeholder[Int](99)) } else {\n Coll[Long](placeholder[Long](100), placeholder[Long](101), placeholder[Long](102), placeholder[Long](103), placeholder[Long](104), placeholder[Long](105))\n }\n val opt58 = getVar[Int](9.toByte)\n val bool59 = if (opt58.isDefined) { opt58.get >= placeholder[Int](106) } else { placeholder[Boolean](107) }\n val l60 = if (bool54) {(\n val l60 = coll57(placeholder[Int](108))\n val l61 = coll57(placeholder[Int](109))\n if (l60 == placeholder[Long](110)) {(\n val l62 = l42 - l61\n if (l62 < placeholder[Long](111)) { placeholder[Long](112) } else { l62 }\n )} else { if (l60 == placeholder[Long](113)) { l61 } else { l42 } }\n )} else { l42 } - if (bool59) { INPUTS(opt58.get).R4[Coll[Long]].get(placeholder[Int](114)) } else { placeholder[Long](115) }\n val l61 = if (l60 < placeholder[Long](116)) { placeholder[Long](117) } else { l60 } + coll45(placeholder[Int](118))\n val l62 = if (bool54) {(\n val l62 = coll57(placeholder[Int](119))\n val l63 = coll57(placeholder[Int](120))\n if (l62 == placeholder[Long](121)) {(\n val l64 = l43 - l63\n if (l64 < placeholder[Long](122)) { placeholder[Long](123) } else { l64 }\n )} else { if (l62 == placeholder[Long](124)) { l63 } else { l43 } }\n )} else { l43 } + coll45(placeholder[Int](125))\n val l63 = coll5(placeholder[Int](126)).toLong\n val l64 = coll5(placeholder[Int](127)).toLong\n val l65 = coll5(placeholder[Int](128)).toLong\n val l66 = coll5(placeholder[Int](129)).toLong * placeholder[Long](130) + if (l63 < placeholder[Long](131)) { l63 + placeholder[Long](132) } else {\n l63\n } * placeholder[Long](133) + if (l64 < placeholder[Long](134)) { l64 + placeholder[Long](135) } else { l64 } * placeholder[Long](\n 136\n ) + if (l65 < placeholder[Long](137)) { l65 + placeholder[Long](138) } else { l65 }\n val l67 = coll5(placeholder[Int](139)).toLong\n val l68 = if (l67 < placeholder[Long](140)) { l67 + placeholder[Long](141) } else { l67 }\n val l69 = coll5(placeholder[Int](142)).toLong\n val l70 = coll5(placeholder[Int](143)).toLong\n val l71 = coll5(placeholder[Int](144)).toLong\n val l72 = coll5(placeholder[Int](145)).toLong * placeholder[Long](146) + if (l69 < placeholder[Long](147)) { l69 + placeholder[Long](148) } else {\n l69\n } * placeholder[Long](149) + if (l70 < placeholder[Long](150)) { l70 + placeholder[Long](151) } else { l70 } * placeholder[Long](\n 152\n ) + if (l71 < placeholder[Long](153)) { l71 + placeholder[Long](154) } else { l71 }\n val l73 = coll5(placeholder[Int](155)).toLong\n val l74 = coll5(placeholder[Int](156)).toLong\n val l75 = coll5(placeholder[Int](157)).toLong\n val l76 = coll5(placeholder[Int](158)).toLong\n val l77 = coll5(placeholder[Int](159)).toLong\n val l78 = coll5(placeholder[Int](160)).toLong * placeholder[Long](161) + if (l75 < placeholder[Long](162)) { l75 + placeholder[Long](163) } else {\n l75\n } * placeholder[Long](164) + if (l76 < placeholder[Long](165)) { l76 + placeholder[Long](166) } else { l76 } * placeholder[Long](\n 167\n ) + if (l77 < placeholder[Long](168)) { l77 + placeholder[Long](169) } else { l77 }\n prop13 && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (bool3 && bool2) && (\n box1.R5[AvlTree].get.digest == if (bool16) {\n avlTree6.insert(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get\n } else { avlTree6.update(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get }.digest\n )\n ) && bool9\n ) && ((i17 >= placeholder[Int](170)) && (i17.toLong <= coll10(placeholder[Int](171))))\n ) && (l12 >= l21)\n ) && if (bool27) { placeholder[Boolean](172) } else { l12 >= l31 + coll10(placeholder[Int](173)) }\n ) && if (bool27) { placeholder[Boolean](174) } else { l39 < coll10(placeholder[Int](175)) }\n ) && if (bool16) {\n (\n (\n (\n (\n (\n ((l42 == placeholder[Long](176)) && (l43 == placeholder[Long](177))) && coll44.forall(\n {(i79: Int) => coll41(i79) == placeholder[Long](178) }\n )\n ) && (l31 == placeholder[Long](179))\n ) && (l38 == placeholder[Long](180))\n ) && (l23 == placeholder[Long](181))\n ) && (l35 == placeholder[Long](182))\n ) && (l21 == placeholder[Long](183))\n } else { placeholder[Boolean](184) }\n ) && if (l46 == placeholder[Long](185)) {\n Coll[Int](\n placeholder[Int](186), placeholder[Int](187), placeholder[Int](188), placeholder[Int](189), placeholder[Int](\n 190\n ), placeholder[Int](191), placeholder[Int](192), placeholder[Int](193)\n ).forall({(i79: Int) => coll41(i79) == coll47(i79) })\n } else {(\n val l79 = coll41(l46.toInt)\n val l80 = l48 - l79\n val l81 = if (l80 <= placeholder[Long](194)) { placeholder[Long](195) } else {\n l49 * l52 / placeholder[Long](196) * l80 / l48\n }\n val l82 = coll41(l53.toInt)\n val l83 = l48 - l82\n val l84 = if (l83 <= placeholder[Long](197)) { placeholder[Long](198) } else {\n l49 * l52 / placeholder[Long](199) * placeholder[Long](200) / placeholder[Long](201) * l83 / l48\n }\n Coll[Int](\n placeholder[Int](202), placeholder[Int](203), placeholder[Int](204), placeholder[Int](205), placeholder[Int](\n 206\n ), placeholder[Int](207), placeholder[Int](208), placeholder[Int](209)\n ).forall({(i85: Int) =>\n val l87 = i85.toLong\n if (l87 == l46) { coll47(i85) == l79 + if (l81 > l80) { l80 } else { if (l81 < placeholder[Long](210)) { placeholder[Long](211) } else { l81 } } } else { if (l87 == l53) { coll47(i85) == l82 + if (l84 > l83) { l83 } else { if (l84 < placeholder[Long](212)) { placeholder[Long](213) } else { l84 } } } else { coll41(i85) == coll47(i85) } }\n })\n )}\n ) && coll44.forall({(i79: Int) => coll47(i79) <= l48 })\n ) && (\n coll44.fold(placeholder[Long](214), {(tuple79: (Long, Int)) => tuple79._1 + coll47(tuple79._2) }) <= coll10(\n placeholder[Int](215)\n )\n )\n ) && (coll47(placeholder[Int](216)) == if (l61 < placeholder[Long](217)) { placeholder[Long](218) } else { l61 })\n ) && (\n coll47(placeholder[Int](219)) == if (l62 < placeholder[Long](220)) { placeholder[Long](221) } else {\n if (l62 > placeholder[Long](222)) { placeholder[Long](223) } else { l62 }\n }\n )\n ) && if (bool16) { placeholder[Boolean](224) } else { coll47(placeholder[Int](225)) == coll41(placeholder[Int](226)) }\n ) && if (bool54) { l66 == placeholder[Long](227) } else { if (bool16) { placeholder[Boolean](228) } else { l66 == l21 } }\n ) && if (bool54) { l68 == placeholder[Long](229) } else { if (bool16) { placeholder[Boolean](230) } else { l68 == l56 } }\n ) && if (bool27) { l72 == l31 } else { (l72 >= l12 - placeholder[Long](231)) && (l72 <= l12) }\n ) && (\n if (l73 < placeholder[Long](232)) { l73 + placeholder[Long](233) } else { l73 } == if (bool27) { l38 } else {\n if (bool36) { placeholder[Long](234) } else { l39 + placeholder[Long](235) }\n }\n )\n ) && (\n if (l74 < placeholder[Long](236)) { l74 + placeholder[Long](237) } else { l74 } == if (bool24 && (!bool26)) {\n l23 - placeholder[Long](238)\n } else { l23 }\n )\n ) && if (bool27) { l78 == l35 } else { if (bool36) { (l78 >= l12 - placeholder[Long](239)) && (l78 <= l12) } else { l78 == l35 } }\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](240)).value >= coll10(placeholder[Int](241)))\n ) && if (bool51) {(\n val box79 = INPUTS(opt50.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](242)) == placeholder[Long](243)) && (l12 < coll80(placeholder[Int](244)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](245) }\n ) && if (bool59) {(\n val box79 = INPUTS(opt58.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](246)) == placeholder[Long](247)) && (l12 < coll80(placeholder[Int](248)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](249) }\n ) && if (bool26) {(\n val box79 = INPUTS(opt25.get)\n val coll80 = box79.R4[Coll[Long]].get\n (((coll80(placeholder[Int](250)) == placeholder[Long](251)) && (l12 < coll80(placeholder[Int](252)))) && (box79.R5[Coll[Byte]].get == coll4)) && (\n coll80(placeholder[Int](253)) >= placeholder[Long](254)\n )\n )} else { placeholder[Boolean](255) }\n )\n )} else {(\n val i15 = getVar[Int](1.toByte).get\n val l16 = coll11(placeholder[Int](256)).toLong\n val l17 = coll11(placeholder[Int](257)).toLong\n val l18 = coll11(placeholder[Int](258)).toLong\n val l19 = coll5(placeholder[Int](259)).toLong\n val l20 = coll5(placeholder[Int](260)).toLong\n val l21 = coll5(placeholder[Int](261)).toLong\n val l22 = coll5(placeholder[Int](262)).toLong * placeholder[Long](263) + if (l19 < placeholder[Long](264)) { l19 + placeholder[Long](265) } else {\n l19\n } * placeholder[Long](266) + if (l20 < placeholder[Long](267)) { l20 + placeholder[Long](268) } else { l20 } * placeholder[Long](\n 269\n ) + if (l21 < placeholder[Long](270)) { l21 + placeholder[Long](271) } else { l21 }\n val coll23 = box8.R7[Coll[Coll[Long]]].get(i15 - placeholder[Int](272))\n val l24 = l12 + coll23(placeholder[Int](273))\n val l25 = coll5(placeholder[Int](274)).toLong\n prop13 && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (bool3 && bool2) && (box1.R5[AvlTree].get.digest == avlTree6.update(Coll[(Coll[Byte], Coll[Byte])]((coll4, coll5)), coll7).get.digest)\n ) && bool9\n ) && ((i15 >= placeholder[Int](275)) && (i15.toLong <= coll10(placeholder[Int](276))))\n ) && (\n l12 >= coll11(placeholder[Int](277)).toLong * placeholder[Long](278) + if (l16 < placeholder[Long](279)) {\n l16 + placeholder[Long](280)\n } else { l16 } * placeholder[Long](281) + if (l17 < placeholder[Long](282)) { l17 + placeholder[Long](283) } else { l17 } * placeholder[Long](\n 284\n ) + if (l18 < placeholder[Long](285)) { l18 + placeholder[Long](286) } else { l18 }\n )\n ) && ((l22 >= l24 - placeholder[Long](287)) && (l22 <= l24))\n ) && (if (l25 < placeholder[Long](288)) { l25 + placeholder[Long](289) } else { l25 } == i15.toLong)\n ) && (coll5.slice(placeholder[Int](290), placeholder[Int](291)) == coll11.slice(placeholder[Int](292), placeholder[Int](293)))\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](294)).value >= coll23(placeholder[Int](295)))\n )\n )}\n}",
"address": "2AavYnsxa57VxYw3vKaaVuu6NyuCQTkCUtRenoUMEJquL3dmf78VPZLQ8xCq26gT6nppWAoZg1e25Ngdau6xT1oAaVWxjdYvnbzKhqsRgg5LxPKYYMQvQCijJZTjZajJF1NVkg9dDqLZkD9tpBkN2uW3kXnoAb393E6MLdn5eEQyDLQCXFrekiNYLeYNJ6J3xcay8tESfYgFvMUWYDqpUJfyNJ6MdiqQ4QqCf2koBTJdjk3KZQzD755XdPZto15vZHGiizUJZayqNzSrNwpab2MJGBrB58fWW8bAm2Mds776KnnUcRuh3WrL9odeyCYnzY4GdpXvzKTTGeP8fRCTseSYbnYWKdSJ29TSoEQrPJJKVzssfQBUGRPqU891ya8DkVqnJbASctZJd9zcCKY44B7r7y5Bz2FmGQ9KEyoJz3P94QujK9D9EfFw8u7WKbeRURN4tJUX5NnECTo3KrWF2DWupWYiWhAG5DY3KvEsvHVRUpAWvy5MdB5iVUkDZ6n5Taq2AhmqQRESd542GcfUar2dAYz5qK2PQLU7VcZWHHp2q48nnbcbHArXss6dbnZUp1RHECeTmxE4BC4FgWE2vZmgR7K6bp5YRhPTKqguhTho2KTGV93t8bgsVBHsZx8w9jxLaDz7atVoqyDWaQorhFbVubbHGjSyuv9hGMWAwhyeefksCrKccY7pwBCKmnNgwwexyJbQYJFgvicpPKAySwXAszAQP29zSc4ZYBbDXjL3tNAGW1BcHWXACPAUFmQhX9PqR7W9Gwvzatjq5Ha2DNBWaNNC32WXxuWUPpQGRSS8H4Ek7cp7B8vcKP8Cvb66rzvWuNLNHenD6VqhG8zXwWY59RFztqmJsnZRfFvsBGCGqypNM61QRnZtKXQUJSjdGBj2tBGMT1iCqiEW9hVHQzwfSdLrMhPyupB69SuUcfc861VpoN2pyztBCXxfk9ZdsbYX8ysFc3gBiruDm9R8vov8LsYTtEHTjahR6sBmWVJcKFVnsBFrdM7Sd3AkGS6Ks8ThRi3PP16jNjwPyEbKAMa3p4fj3JSmLVSCiGmdTsmVYAEgcSRudvpHApEoCaSYWfriu2gFBgfFg6zm2QTVNCGHL1URWe32pPqYNU6o5cxyRwGtkvp8DSELuL15wvkHzjFK1y83DEB7KMbkeXncajQQbgo85pg3BwfBkEw2hp7QuEZ2eE5baWCAgqvFjL1iMHVfSjrDnMendWZG7Btony22wZj7uCbABbv4HFnUZXtCRi1snF1yJi3JmWXwgG48VhNkmrmL4ALa2qQxVy85GHd3t63SCdiJB4Wq7qVX2Zvz4QQ6EGjCnwC19dtrBquY2vbUYPiPevw1T8Qj489LcQcjSKvrnf6QomV4K8x6DbbG8MbgRVyfVU567vwUYruRubrqoCDqzucyjZM9uN73kJsQ4uerZQtf7PDvjEwPGkBj8JiZ86ZaQsWoJjmiZuMWfJL3UR3mnpb4Ksb31fZUAfAVoUb751qJiamLZZ48UnSPvCHg7U7bTi6LAHMWwKHybAvD6Wqx4AQDfvMjyNCEkUrQF12KtTHw2jMkxZvLKXE7jhyutiK6eRMw6nTqnU4ihsKY7hhp62qhhs44EHX9UFYzonRw6i7BiYmqUNpPhYq5feQUBZ246K9bHYJ6CEXfmEgVLfRQvToTwAwJhvYuK1EyAbePMkxSFRGDFjUsbHZhQuzsNbpfEnvr6qbFzvaPLJ7bNb3k4nP3MLsdKxXc7tGeDzo42G92WSWtUWEUbQZF9CJ7Qy3RuBsRfQZXiyQFRaDHrDZA9PunMEKjQPtBxhYkPzCMahzCKJT2yYjrhZmEHCYuAPMohaoowsxTVofD9YCjaKVb8LNXKkQ9c6RC6Y3Jkxf5CfAKbbH1CvKYg3qJ1X9wjgrp1S2fvykDQx6aYswj2Dt5MNh6cbGXnGj22WtwZHMLVWPCiyzmZT47jFgGDw6Z3oCd3SiiK1CNdF5r6GVQyXSrbaQR2eYiJrNK8Nr3veXvQ3FJkK7j1DNHSF3zQ8CbThteWdtt8eRoBSne6YiyURfH9gt33wbATHF62Q96jXx598moX1nRigtp9ytJ68QPXMxzy4nMyG68tDXzcezhUgQ6vqGUPVidYXPUG6PrUMHW8YW8oe8zNAecB55NcMhDgc1X36WY582RT3a4ucYXEkqaP84U5jqdSpBMkQAMvzhz3cxq9uSBte22LjFP3AEQNnCBFMN4ZFfTj4SwnT2N3JvzjqzPsfJFndRi9h512Eye7DKW8c7dJAVJczZSv8Cr8N82hamZbQjwxFqYqZUn3Mav2FzBGhbHQeSukuGuE1v76T1VjVLMKhxFaxcTPEbczFf26DZY7Zf91cxn2Hx34R5Eday2DhBrL8sbqQyjYhdX2bLmPLduACt8KPxYzKamTyNNU87PcaU1fRxCVQYLiX36USDiXXDJuHndzPho24FpCr29QQahp7b2kzbK5QtsfXtgBCvkQkJf4tnLGRnChW3B1sBTYHeMhxgLoHP94ZJ5tpEJdo9vmysfh4GabKun5UAe8xLKsQHDQPkrejsQn4riaW2MxoqrPhW8VMaATGGydLXnxDtfQUzmQa1WYTkrDtcUhox8eAsTfoSupq7GrjKHJqhAC4uivYXUBPRge1a7aWA864LPtC7DKMmhgpiC3W93fTyNAApCdeN5CDvxfmJ9WpJybLtK92VtneD9N1tcqNvqcceFGrZJLhbeb1e4GP8PCxxmwN41Nd3CSMpC51gAEcAjwVF4hLEZKmtSq3Mi5pGJEVSxtnHauNEJAmk4MjmnNqQdTTr8fftpmb9XLZUdpPg8USEaXA74aMCyAJNBGr7xibKMrTWF5FfzSLYVAs6G4QWkAVJmgvdDcz3vePAjWgv3eD1rpjqn6LA1JrLLfD5UayM4WGy8pDgyCnKriG3oCJw9AgJdYTNpc8EwxhtyeicD5HaMaZF1tMt3X8RcffNsMeokwmT83QoPL7a5fXQKSzR5V4ntgkxUb63eT5nP3S8m3PhMKp2J19SJ8jWyufbaXZdFmMfWF9Qi5zvLCqHXG2YkDhmCDWbAFn5H4k5k6XZ9bnjNqLAakQ5v1BGfDGvZc8xvBGkTwWeQUvM1fdDBTEwVZ1zFYer8GFXzpT3B3Xsf4V1TeTDTiStg2TUeBVvNzq2hsX3Yv8LRc4LwUWHL2iwt2Xsp2iGWuWdXPvqiauEBKSi4EspxT8LWnapdL3gMjAeRcNZv7YEHAYYze8FQL4fyxysJksse8g54BLzW4EK6e3DxWtazujKE9LN43ncxUcTuDRbFUfk7W8iJFbrYWY9B7ZYVcoYceoHTWkJEitihMNKGWNaekoxpKbN39rrt6PYtd8sfKGk1V8W6aMR49zYpTriMP4neEzTbN3xYPHgS78PsfMvBXNjrS6gdXgXfUVpEzCK3ZGT4yZ1F8A4zbofXybqNtnmaDyPcDfbSXtfPjg9zVxStN9p1oB6twanUxH1Kerg2kPvA5igHYoEzdVE4s8Hwu8CYBGLQi2Cmt3SmUgaeV2nx5idtjdaNSvV4yfyBdzAVHmSzGwVRsDLDqfZfrPhjub1Bq185mg5NY8rjFzwhLae8b8srweSsEfryd4zmQwxgXWjJPTJQMENRQP21mRoDFfAfuEPnz16t9gHohz5tfzt1djCtjagFsVzt2TbmADKXZpVq4sNPJJzC8ZS7whNGJsquXQwydW9kCVYqqHYqPXby1zXpcXBXKHpBZPThv4nsVzJD2NSUR8PxK4wqvHcVJsAGeW94HDGYZSTHmYswtrXiL9WwLnZTY6wKsKJ88AAt6rx6YpV2rA7vPhUD7xU79L8s5ckMFE9viqVV5QWb86CcDf8nM4Nn65UdxZqHf7z22mUMNuaUShtZ8nAUPoYei2pkPPopeZPsvbahkrJBB2GG8gRcMo7qtPAvqYLhyYhbQsSmYhRqcEiLJZb4E4BQWHm6axRuMPkDtTXdUsqGrQ8etqND2Y6KBopESRvccUM3B9AXY2DV32oDJWgBZYsSYDGthQQfPpGw6U7kTQE3anmxT1BfBdnhmFA8Q1c6hGoSo9V3UjN5qZ2nNgAYKDmpgpuHXaeCnizL1JEFjBkU4vSdyQJ5xnx7J1TDSMQbUfosMMTV3E4mCrbXEnSNstuumi1WZwTbTcDmrZn3tUJDH1feXQ3s97QEa154KuBcKwBEmEU83QHWynSbp7x819iyWF3ji3BKbZdR5xEL1tN2VJbLT7pmLYq2VQHS7Uzk6aLJrSw5eoYYSx2kZ8TnUhiH4qQRnQw79hXosS3xwrcDwdyDJ5rWmc5YLEeEd87cYUKcHu5gFXWfXMnoveuMVMbJLoM9abz9ViaaPvKbk5avJJhjAVd82HQXEHXZBN15wrJRYQBH5ev127hruSoTMufp2gVQVBdJGXvKHkuDiqNPXy9Pc6NBadTRa3A9www3pEfwpXkgUQYUVZ9QpDoKUs29n1SuDdwo5hQUL6u3uBZkcSRaVWP1SCAG58ahxVL5U9A8HZ8gX6sLKeXUi1E3qChqrQsAyNWC5ugygHTmmnVLmD1K3dxRR8o8ko3rUrwJbmUw12TDygdv3mHLVLDJu891Rbnzts2SAsQS1AgYR6bSLfgGi8P8XLxU3M21q28iX6X1M1e2q4DUVCdiaEGqs5NF6w85DWkzpuMrA3pWmhLengyRRSTxdj8Y3j3rGvJxQSd1v5vh91hEPitxDAhKLAuRihsu9knJiVLcY3BDxfE",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"sigmaType": "SSigmaProp",
"renderedValue": "02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a"
},
"R5": {
"serializedValue": "6473d8098340982f63bb3f4e884c517492b34e6acb5a55bbd5d46795d43eb8b80202072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "6cc84447d966885584e314f8412c9ce129da9666bf50fe7b5cf20fc60a359f5f",
"mainChain": true
},
{
"boxId": "18c00a3612c6464395671027f5d0ef32c60205928f673c3214fa49d36aa5ffd8",
"transactionId": "ef010007bf67f02bb36c85b4901010807126e080626fc956879bb106db08b574",
"blockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"value": 10000000,
"index": 1,
"globalIndex": 54100704,
"creationHeight": 1740597,
"settlementHeight": 1740601,
"ergoTree": "0008cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(afe418,bb3ad0,...)))}",
"address": "9frXR12ZVMBVLt2i74SsYYGToDooP9TUqwTabhTzGKLAYonS31h",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "cc922ea8617094d1752d17045418950d0e0d10d78bee459bb3b09b54ec1177e0",
"mainChain": true
},
{
"boxId": "29edb3bb19d35f7be459f5c14822af7b5247a8a0b5c79354288d97ae6cddae04",
"transactionId": "ef010007bf67f02bb36c85b4901010807126e080626fc956879bb106db08b574",
"blockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"value": 1000000,
"index": 2,
"globalIndex": 54100705,
"creationHeight": 1740597,
"settlementHeight": 1740601,
"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": "3e71f4229ee82bf63331ea692c1d3f82d064cffefa29de78523042ba76d2c60f",
"mainChain": true
},
{
"boxId": "4a7d5fd97f952fe4249ae291cc7804b4bdd77a1b2e416bb7010f65f02cd691dd",
"transactionId": "ef010007bf67f02bb36c85b4901010807126e080626fc956879bb106db08b574",
"blockId": "4190eaba3a955fd9bf4721ad2eaac0e1fa9560cae2e4ed823ca8c32729afbf94",
"value": 4501284533,
"index": 3,
"globalIndex": 54100706,
"creationHeight": 1740597,
"settlementHeight": 1740601,
"ergoTree": "0008cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(afe418,bb3ad0,...)))}",
"address": "9frXR12ZVMBVLt2i74SsYYGToDooP9TUqwTabhTzGKLAYonS31h",
"assets": [
{
"tokenId": "7899b00f5d19339b15abef1189ea9c95d45aaeaa96ad9987a52c2ec2c725260f",
"index": 0,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "f38a496ad68e388a183743d20bc70b5a0c08597616b0627fe105e3e080b841ca",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "e1d7fcb9c033970d8485c200efc9febbb17244639c17c57a4c14b76bbd559183",
"index": 2,
"amount": 1,
"name": "USD Pool ballot token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "4550239cf0a0ba6b0c337610240ae535eef630a97fdfa2443c6994305d3276c0",
"index": 3,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "a1690883d7aab5c58086bc0734493f47ae1ff30f6399f0a6f852bd112b7986b8",
"index": 4,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {},
"spentTransactionId": "8ac5e195557be5ac02fc7fd25c40d9fbe6d1739740adcbd64bfc5d9d6370f989",
"mainChain": true
}
],
"size": 4412,
"isUnconfirmed": false
}