Transaction
ID: cf618f7c8d...4dbe
Inputs (2)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Spent
Address:
Output transaction:
Settlement height:
Value:
3.32 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:
3.31 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 18,915
Total coins transferred: 3.33 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000226 ERG
Raw Transaction Data
{
"id": "cf618f7c8d187609be199bf7fbb0d9439c369ab05edd0b049d4f9c245ccc4dbe",
"blockId": "a1a42cc430a16cd78dd89769a889c2e5761588924dcd081bd1dd337b5c10dbc7",
"inclusionHeight": 1741575,
"timestamp": 1773473858465,
"index": 4,
"globalIndex": 10443424,
"numConfirmations": 18915,
"inputs": [
{
"boxId": "59c0844a7dc4d4bed71c6272009db903e4baf674a5b200cbf82c28412306d736",
"value": 10000000,
"index": 0,
"spendingProof": "58b3c8159a437a8192594dc8a6734c911a75fa3aa476c9d81ef44516e4c19d2bef3784b9896b8c067a959f5c2c66a63754822eed8a6bfab3",
"outputBlockId": "cea9a46576cceeefd637def2f40b5193b4dc219941f1841773fa7a716bd511c6",
"outputTransactionId": "4b088ea8ad6e137951359a8754bce7faca8fc14cb33d2eb27b6f17ffa5f778a7",
"outputIndex": 0,
"outputGlobalIndex": 54124680,
"outputCreatedAt": 1741572,
"outputSettledAt": 1741574,
"ergoTree": "18b91ba9020400040004020400044204440446044005808080100500058004058080080500058004058004050005800404360500058004050004000100042e04300432042c058080801005000580040580800805000580040580040500058004043a043c043e0438058080801005000580040580800805000580040580040500058004041204340500058004050004000402040404060408040a040c040e0410041204140404040205800405000580040410041204000402040404060408040a040c040e04020400040404020580040500058004040c040404000100040205c80104020402050004480500058004040205000500050005000500050004000100040204040502050005000504040205000500050004060406040805020500050005040408044204440446044005808080100500058004058080080500058004058004050005800404480500058004042e04300432042c05808080100500058004058080080500058004058004050005800404340436043a043c043e04380580808010050005800405808008050005800405800405000580040402040801010410010104140500050005000500050005000500050001010101050104000402040404060408040a040c040e0500050005c8010500050005c801056405c80104000402040404060408040a040c040e05000500050005000500040e04100500050004120500050005a09c0105a09c0101010414041405000101050001010514050005800405020502050005800405020514040204040400050204040101040005040404010104000506040404020502010104420444044604420444044604400580808010050005800405808008050005800405800405000580040402040004480402040a04400580808010050005800405808008050005800405800405000580040514050005800404000440040004400402040ad80ed601b2a5730000d60292c17201c1a7d60393c27201c2a7d604e4e3020ed605e4e3030ed606e4c6a70564d607e4e3000ed608b2db6501fe730100d609aedb63087208d901094d0e938c720901e4e3060ed60ae4c672080411d60be4e3040ed60c7ea305d60de4c6a70408d60e93e4c672010408720d9593e4e307047302d840d60fe4e30104d61093720f7303d611e4e30504d6127eb2720b73040005d6137eb2720b73050005d6147eb2720b73060005d6159a9a9a9c7eb2720b7307000573089c958f721273099a7212730a7212730b9c958f7213730c9a7213730d7213730e958f7214730f9a721473107214d6167eb2720b73110005d617958f721673129a721673137216d6189172177314d619e30a04d61a95e6721992e4721973157316d61bec7218721ad61c7eb2720b73170005d61d7eb2720b73180005d61e7eb2720b73190005d61f9a9a9a9c7eb2720b731a0005731b9c958f721c731c9a721c731d721c731e9c958f721d731f9a721d7320721d7321958f721e73229a721e7323721ed6207eb2720b73240005d6217eb2720b73250005d6227eb2720b73260005d6239a9a9a9c7eb2720b7327000573289c958f722073299a7220732a7220732b9c958f7221732c9a7221732d7221732e958f7222732f9a722273307222d62492720c9a7223b2720a733100d6257eb2720b73320005d626958f722573339a722573347225d62795722473357226d628830b047336733773387339733a733b733c733d733e733f7340d629ad7228d9012904d802d62b9c72297341d62c7eb2720b9a722b734200059a9c7eb2720b722b00057343958f722c73449a722c7345722cd62ab27229734600d62bb27229734700d62c83080473487349734a734b734c734d734e734fd62db2e4c67208061d997211735000d62eb2722d735100d62fad7228d9012f04d802d6319c722f7352d6327eb272059a7231735300059a9c7eb27205723100057354958f723273559a723273567232d630b2720a735700d631b2722d735800d632e30804d63395e6723292e472327359735ad634957233b2e4c6b2a4e47232000411735b00735cd635b2722d735d00d636eded93720f735e917215735f92720c7215d6377eb2720b73600005d638958f723773619a723773627237d639957236b2e4c67208071d997d723804736300830605736473657366736773687369d63ae30904d63b95e6723a92e4723a736a736bd63c99957236d802d63cb27239736c00d63db27239736d009593723c736ed801d63e99722a723d958f723e736f7370723e9593723c7371723d722a722a95723bb2e4c6b2a4e4723a0004117372007373d63d9a958f723c73747375723cb2722d737600d63e9a957236d802d63eb27239737700d63fb272397378009593723e7379d801d64099722b723f958f7240737a737b72409593723e737c723f722b722bb2722d737d00d63f7eb27205737e0005d6407eb27205737f0005d6417eb272057380010005d6429a9a9a9c7eb2720573810100057382019c958f723f7383019a723f738401723f7385019c958f72407386019a72407387017240738801958f72417389019a7241738a017241d6437eb27205738b010005d644958f7243738c019a7243738d017243d6457eb27205738e010005d6467eb27205738f010005d6477eb272057390010005d6489a9a9a9c7eb2720573910100057392019c958f72457393019a724573940172457395019c958f72467396019a72467397017246739801958f72477399019a7247739a017247d6497eb27205739b010005d64a7eb27205739c010005d64b7eb27205739d010005d64c7eb27205739e010005d64d7eb27205739f010005d64e9a9a9a9c7eb2720573a001000573a1019c958f724b73a2019a724b73a301724b73a4019c958f724c73a5019a724c73a601724c73a701958f724d73a8019a724d73a901724dea02720dd1edededededededededededededededededededededededededed7203720293db6401e4c672010564db6401957210e4dc640c72060283013c0e0e8602720472057207e4dc640d72060283013c0e0e86027204720572077209ed92721173aa01907e721105b2720a73ab010092720c721595721b73ac0192720c9a721fb2720a73ad010095721b73ae018f7227b2720a73af0100957210ededededededed93722a73b00193722b73b101af722cd9014f0493b27229724f0073b20193721f73b30193722673b40193721773b50193722373b60193721573b70173b80195721073b90193e4dc640a7206027204e4e30b0e720b9593722e73ba01af83080473bb0173bc0173bd0173be0173bf0173c00173c10173c201d9014f0493b27229724f00b2722f724f00d806d64fb272297d722e0400d650997230724fd6519590725073c30173c4019d9c9d9c7231723473c50172507230d652b272297d72350400d6539972307252d6549590725373c60173c7019d9c9d9c9d9c7231723473c80173c90173ca0172537230af83080473cb0173cc0173cd0173ce0173cf0173d00173d10173d201d9015504d801d6577e72550595937257722e93b2722f7255009a724f9591725172507250958f725173d30173d401725195937257723593b2722f7255009a72529591725472537253958f725473d50173d601725493b27229725500b2722f725500af722cd9014f0490b2722f724f00723090b0722c73d701d9014f41049a8c724f01b2722f8c724f0200b2720a73d8010093b2722f73d90100958f723d73da0173db01723d93b2722f73dc0100958f723e73dd0173de019591723e73df0173e001723e95721073e10193b2722f73e20100b2722973e3010095723693724273e40195721073e501937242721595723693724473e60195721073e701937244723895721b937248721fed92724899720c73e801907248720c93958f724973e9019a724973ea01724995721b722695722473eb019a722773ec0193958f724a73ed019a724a73ee01724a95ed7218ef721a99721773ef01721795721b93724e7223957224ed92724e99720c73f00190724e720c93724e7223720e92c1b2a573f10100b2720a73f20100957233d802d64fb2a4e4723200d650e4c6724f0411eded93b2725073f3010073f4018f720cb2725073f5010093e4c6724f050e720473f60195723bd802d64fb2a4e4723a00d650e4c6724f0411eded93b2725073f7010073f8018f720cb2725073f9010093e4c6724f050e720473fa0195721ad802d64fb2a4e4721900d650e4c6724f0411ededed93b2725073fb010073fc018f720cb2725073fd010093e4c6724f050e720492b2725073fe010073ff01738002d80bd60fe4e30104d6107eb2720b7381020005d6117eb2720b7382020005d6127eb2720b7383020005d6137eb272057384020005d6147eb272057385020005d6157eb272057386020005d6169a9a9a9c7eb2720573870200057388029c958f72137389029a7213738a027213738b029c958f7214738c029a7214738d027214738e02958f7215738f029a72157390027215d617b2e4c67208071d99720f73910200d6189a720cb2721773920200d6197eb272057393020005ea02720dd1ededededededededededed7203720293db6401e4c672010564db6401e4dc640d72060283013c0e0e86027204720572077209ed92720f739402907e720f05b2720a7395020092720c9a9a9a9c7eb2720b73960200057397029c958f72107398029a72107399027210739a029c958f7211739b029a7211739c027211739d02958f7212739e029a7212739f02721293e4dc640a7206027204e4e30b0e720bed92721699721873a002907216721893958f721973a1029a721973a20272197e720f0593b4720573a30273a402b4720b73a50273a602720e92c1b2a573a70200b2721773a80200",
"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: true\n186: -1\n187: 0\n188: 1\n189: 2\n190: 3\n191: 4\n192: 5\n193: 6\n194: 7\n195: 0\n196: 0\n197: 100\n198: 0\n199: 0\n200: 100\n201: 50\n202: 100\n203: 0\n204: 1\n205: 2\n206: 3\n207: 4\n208: 5\n209: 6\n210: 7\n211: 0\n212: 0\n213: 0\n214: 0\n215: 0\n216: 7\n217: 8\n218: 0\n219: 0\n220: 9\n221: 0\n222: 0\n223: 10000\n224: 10000\n225: true\n226: 10\n227: 10\n228: 0\n229: true\n230: 0\n231: true\n232: 10\n233: 0\n234: 256\n235: 1\n236: 1\n237: 0\n238: 256\n239: 1\n240: 10\n241: 1\n242: 2\n243: 0\n244: 1\n245: 2\n246: true\n247: 0\n248: 2\n249: 2\n250: true\n251: 0\n252: 3\n253: 2\n254: 1\n255: 1\n256: true\n257: 33\n258: 34\n259: 35\n260: 33\n261: 34\n262: 35\n263: 32\n264: 16777216\n265: 0\n266: 256\n267: 65536\n268: 0\n269: 256\n270: 256\n271: 0\n272: 256\n273: 1\n274: 0\n275: 36\n276: 1\n277: 5\n278: 32\n279: 16777216\n280: 0\n281: 256\n282: 65536\n283: 0\n284: 256\n285: 256\n286: 0\n287: 256\n288: 10\n289: 0\n290: 256\n291: 0\n292: 32\n293: 0\n294: 32\n295: 1\n296: 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 (\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 (bool16) { placeholder[Boolean](185) } else {\n avlTree6.get(coll4, getVar[Coll[Byte]](11.toByte).get).get == coll11\n }\n ) && if (l46 == placeholder[Long](186)) {\n Coll[Int](\n placeholder[Int](187), placeholder[Int](188), placeholder[Int](189), placeholder[Int](190), placeholder[Int](\n 191\n ), placeholder[Int](192), placeholder[Int](193), placeholder[Int](194)\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](195)) { placeholder[Long](196) } else {\n l49 * l52 / placeholder[Long](197) * l80 / l48\n }\n val l82 = coll41(l53.toInt)\n val l83 = l48 - l82\n val l84 = if (l83 <= placeholder[Long](198)) { placeholder[Long](199) } else {\n l49 * l52 / placeholder[Long](200) * placeholder[Long](201) / placeholder[Long](202) * l83 / l48\n }\n Coll[Int](\n placeholder[Int](203), placeholder[Int](204), placeholder[Int](205), placeholder[Int](206), placeholder[Int](\n 207\n ), placeholder[Int](208), placeholder[Int](209), placeholder[Int](210)\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](211)) { placeholder[Long](212) } else { l81 } } } else { if (l87 == l53) { coll47(i85) == l82 + if (l84 > l83) { l83 } else { if (l84 < placeholder[Long](213)) { placeholder[Long](214) } else { l84 } } } else { coll41(i85) == coll47(i85) } }\n })\n )}\n ) && coll44.forall({(i79: Int) => coll47(i79) <= l48 })\n ) && (\n coll44.fold(placeholder[Long](215), {(tuple79: (Long, Int)) => tuple79._1 + coll47(tuple79._2) }) <= coll10(\n placeholder[Int](216)\n )\n )\n ) && (coll47(placeholder[Int](217)) == if (l61 < placeholder[Long](218)) { placeholder[Long](219) } else { l61 })\n ) && (\n coll47(placeholder[Int](220)) == if (l62 < placeholder[Long](221)) { placeholder[Long](222) } else {\n if (l62 > placeholder[Long](223)) { placeholder[Long](224) } else { l62 }\n }\n )\n ) && if (bool16) { placeholder[Boolean](225) } else { coll47(placeholder[Int](226)) == coll41(placeholder[Int](227)) }\n ) && if (bool54) { l66 == placeholder[Long](228) } else { if (bool16) { placeholder[Boolean](229) } else { l66 == l21 } }\n ) && if (bool54) { l68 == placeholder[Long](230) } else { if (bool16) { placeholder[Boolean](231) } else { l68 == l56 } }\n ) && if (bool27) { l72 == l31 } else { (l72 >= l12 - placeholder[Long](232)) && (l72 <= l12) }\n ) && (\n if (l73 < placeholder[Long](233)) { l73 + placeholder[Long](234) } else { l73 } == if (bool27) { l38 } else {\n if (bool36) { placeholder[Long](235) } else { l39 + placeholder[Long](236) }\n }\n )\n ) && (\n if (l74 < placeholder[Long](237)) { l74 + placeholder[Long](238) } else { l74 } == if (bool24 && (!bool26)) {\n l23 - placeholder[Long](239)\n } else { l23 }\n )\n ) && if (bool27) { l78 == l35 } else { if (bool36) { (l78 >= l12 - placeholder[Long](240)) && (l78 <= l12) } else { l78 == l35 } }\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](241)).value >= coll10(placeholder[Int](242)))\n ) && if (bool51) {(\n val box79 = INPUTS(opt50.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](243)) == placeholder[Long](244)) && (l12 < coll80(placeholder[Int](245)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](246) }\n ) && if (bool59) {(\n val box79 = INPUTS(opt58.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](247)) == placeholder[Long](248)) && (l12 < coll80(placeholder[Int](249)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](250) }\n ) && if (bool26) {(\n val box79 = INPUTS(opt25.get)\n val coll80 = box79.R4[Coll[Long]].get\n (((coll80(placeholder[Int](251)) == placeholder[Long](252)) && (l12 < coll80(placeholder[Int](253)))) && (box79.R5[Coll[Byte]].get == coll4)) && (\n coll80(placeholder[Int](254)) >= placeholder[Long](255)\n )\n )} else { placeholder[Boolean](256) }\n )\n )} else {(\n val i15 = getVar[Int](1.toByte).get\n val l16 = coll11(placeholder[Int](257)).toLong\n val l17 = coll11(placeholder[Int](258)).toLong\n val l18 = coll11(placeholder[Int](259)).toLong\n val l19 = coll5(placeholder[Int](260)).toLong\n val l20 = coll5(placeholder[Int](261)).toLong\n val l21 = coll5(placeholder[Int](262)).toLong\n val l22 = coll5(placeholder[Int](263)).toLong * placeholder[Long](264) + if (l19 < placeholder[Long](265)) { l19 + placeholder[Long](266) } else {\n l19\n } * placeholder[Long](267) + if (l20 < placeholder[Long](268)) { l20 + placeholder[Long](269) } else { l20 } * placeholder[Long](\n 270\n ) + if (l21 < placeholder[Long](271)) { l21 + placeholder[Long](272) } else { l21 }\n val coll23 = box8.R7[Coll[Coll[Long]]].get(i15 - placeholder[Int](273))\n val l24 = l12 + coll23(placeholder[Int](274))\n val l25 = coll5(placeholder[Int](275)).toLong\n prop13 && sigmaProp(\n (\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](276)) && (i15.toLong <= coll10(placeholder[Int](277))))\n ) && (\n l12 >= coll11(placeholder[Int](278)).toLong * placeholder[Long](279) + if (l16 < placeholder[Long](280)) {\n l16 + placeholder[Long](281)\n } else { l16 } * placeholder[Long](282) + if (l17 < placeholder[Long](283)) { l17 + placeholder[Long](284) } else { l17 } * placeholder[\n Long\n ](285) + if (l18 < placeholder[Long](286)) { l18 + placeholder[Long](287) } else { l18 }\n )\n ) && (avlTree6.get(coll4, getVar[Coll[Byte]](11.toByte).get).get == coll11)\n ) && ((l22 >= l24 - placeholder[Long](288)) && (l22 <= l24))\n ) && (if (l25 < placeholder[Long](289)) { l25 + placeholder[Long](290) } else { l25 } == i15.toLong)\n ) && (coll5.slice(placeholder[Int](291), placeholder[Int](292)) == coll11.slice(placeholder[Int](293), placeholder[Int](294)))\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](295)).value >= coll23(placeholder[Int](296)))\n )\n )}\n}",
"address": "5ypNXy1Ku5QzUTc3A2eyuskD5PrYbpuEbtCiZsmAxrcyk8LQGJMNXPWBxsuf7SqNXyvX62TsL5B9uaF4iG5nE2tPh6D8eiUmC2wnmcVs2CMF2YZpG3FoPZGkNJckogtWSsA9ThauzUFCh3AStSxheMLpqmEPfW3qMgNF6XZi3S1KGmmBzK1sRovTb3DM3ZW8Zwn1ekTNV3RsfFTMYc5orKjg2KvEpbDHB5Ep9AGiZcwvA4A5SJGpXt7sKdy64M75mRqTZkAmBvoya2hciu2RWv8vW9HHxE1m5YwMQBa3S4TpQYzocLhcoWS4r5RmCGsRQRBt5wB4f6c1DDFayvQM1wtfeZkDP9gV7UR1R3c4N65h4M4MBfxiCx2YCHTGhMmQ1K8Q5VLWhhSiB2twNirDvbyurW5QYKKrQGzU6Zjy5qjDXPkzHRDRjd45ewxB5ic5TTt8LkfG83VdX5qgYDM9kexLBxeqzQXtiSKYmBBHGAdma9Wh33N25rFwQK49C8an7yQdxYNrQgish5CuEbeAaq28gr2xisE6ngUSfy3vT9rKg47P4wXo6WZhRxP2oip2r4ZtcUgny6VbAnGWDZUvyxRY5HumJfxt9dVzfxRqbDoxjQfG3r4xBbb6nZXubHLhBoCmSPrS7YENQayYG1WWYdMQrjT5vHcccFMwBdbsvPZte1DwGMB6NsFdKmy77KdjyMXPE8iVq2Qhb2jLATR3GRcezKZ2wNFD4ict8rCQnafY9zzF451Ld3sQyXeZ5awmsPGrMcmMpwpSXtaBF9C1xK41AVh7MFLNUieCSAwno1ZA3rUuUAfKncXSGfb1j6vWQ8XKtc8PjP8tgVv7ESbyisV72H596QE9MtwnMNewd7koTUys4Bs5kL5d4mkjQX3RX7LxjKx2AqE1fhTe6KTBgtV8ayL5rmh7V7VMATYdnoZkPCK3B59L9R3osCRh1cmX1cs4KnnbwiPzujo9JeR4XP5wWhYx67D4YhDdT8kjyJYvJMkHS2YyjLfWtJQs5HWnpncaKvAWZ3cGxiBtwYuFk627yrKQCT5xePHfXsUD2LK18U9cGgR7mkFVS7HF4jeStPtYiFuWBPJQK218zD1Bm6Rz73YAPRb2XM7fnHwrNoFo6Sqrm8ffvgaDXuhjRd2paWFdxZRbBzbP5KWLasRj4EWsoqCtpoE7uZP1xWAbGGt6kUF37RWxN8g2oiPgmTQiEXXyA38DmxUdmpzFBFsfNHpHYdqpQ2P7gH1VTcPeWsRM5dWV3fAKUhUeuQ4KAh2UdwvysrwHMEgA5EAS6fx68ryhbto2vSMaVFTdq8Lp5LcxukC5BZtXbieaDP98CGvT2RAF8HaHd6sqNQKvN66rcLPFVk6DiVEmXnacRAFZ4qu78s7t9LnPXcUnjc73SGLWf4ixXWS67gCiQsGakhMubtqC2BBvg9toiiYZnN8KKyWpBy1wxzBpHbPhRU8hdpPWXJjsbcQZygfcqFk8vumjrmT6rXsgzG4DbFfyu5DkrcBvTqjQbyWCjvAHZFvS1kP6vPKeyJYxpnF3yBw8wbkhPN53A6P4yaixWxdiueg2vmFVsTA227XrBTpZgdQ8nnScFhU93xRay3ahCXw4V4UY5YWbi9ZtXNm2QomW822bCJ2bP8P5uUiwKZUNyMaBF99kuYpk5pbN5Ws4TXRF2Pmt2UjcMQXvThoRoT1BHk8MdBdDxvKZjqcavk8EdJXJJ9Bs4kLqHproP5ddcSRxhgEZdqSBM2LpEA6AWbwiA62eWzYR4KJ6mWChPgwsAKEUb1SZYWfKbexFt6PRByTyEnq2d33xHqCGyToPaCn8p9Y8vL1DKkU6VPzP2yZvgR5b3anJNvpDGgwHmPUXNdWtq9hQtSGyJUUJAHewSWU8dowQiiGEAKedzJUp3pjkmvnMyxjAEKeJUJuP5f6jhY9H7pwwaujAsL1oWXHbhtCRoCUDXtFhZw7BVfDNro7GhJFfGj6u1rCG69PME8QDPJZxdK8QHhVGyy6VrqVosfTB5mD81MrPwCkj1XfXTpyoE3y5ujyt918CF5L9DnijV3mxsMAWjwCxxKvv52jNd1TfWFrxN9YGjxZ5cawHUhz27Mf5PBDrUqFkjNYScDBfVjjygL9ao3nFVRyejcFY8QN3iQLDthUr6sab29eq7EovVsQB4XFcmRBAQeNNztZ9DvhK5ZirzB9DiEwoLaKTe65robSeo3yP65cju8itp5eYczUUugeVHLFcqgBEczfycsraaZg9xqa2Swog5MM8ZUWNewfHnnyBoY7HdnfThwKkkUvaRoSJSnjUvPdPJPrDSTLgSYrrVBgVHAfQGhzjEPXtBXsvnaSdjkHk9nhEv98QnE1dKX4drfi9yeE5iqhLAFkFowJXys7LEuA4JB8mPbRmb2XoBqqVjrA98S3dd9xmZj1zoASKx7UV7opctsAJ5nZSSNWXFePaTimnbaRXoyLhzwtnDgYaWtLA3QRbmKFF2w8xTk7KndQ6ZdL4krpzpEu9ZyaJKwduSyvzUBfCtxc4oUvy6mNzfUU33DnYCBmwFvXKoTpjz7W4GkKeawPQpqzhMGyp8tJHrh3ghSojzmRBxVXHZwyL8AkSqi9CMzYaLr5GosZYFDFtC5BioDgwarwBgMQo3De3PpUZV4ozzdDxCaPWVCf6q5TficPP1bMbytBwLWjuF834ZeotgkDzF7GrHjT2Ec9RPXZDGkaeHd25yyJLF8NQ5Zwzz29Fttgcd2srcQHzuLRRhBNPMNKfwnpYaL4WFypLdyHdEqHf1ftbUhcyDTdn8oxWYoYTkaXhM1HcFB2KgUqRhLwonMvxJXkv6nAPkYTqu1TE7VtHZvExY2G8EYwYLtA15xSfzLVVweN9ofkDWFkkimKL4kMfdrbBEEpcP7w9LXMy5uGY6Span48nMYAspu6RCiSUPm5hVziLvBVQJWko7YsPK7F927a7Nk6VFRAGpJemcNTXFXwaEcNEKdcCuwTGFxgcbB5Z4DoPSKVq8Ce5u2dkGrmsQJ4PDgpCYaLE5vXEVNxvofrHYcwX3NhZmGjZq8Uh9L54xKNNPrWcVTCQEEs8k6tEx6in4q9NYwr1PTc9F5BHaN2cys8jVqwJNVUm4aoNwmv4vs1pywC9V5p4NcWJNCxoTBbzPJFBauwJmiC2BSaNRrfLmLxR4vWWmiy5fFY9mNHsmLSdB2tGERwoxyzETPUuQBq3BVzu9zJPpiwGFrr3kN24Ax5YbYwztSPCdfqJa4CeXkbNHynYp4CT8RvQUtTzEWrW4jQroFENUi2cfjB5hbLuidAm3gedX5NiKZTZB4xCc5BBu6Fp4fx5pU4SGVQ9WSHDmtP56MiekNzJaeTCg5ijAZ7det4aoCnUXJgGqnPFRidt4QzG32bEeKc6crBYoWFerawjekQRs1Y7eMY6MQXbAunNsCFVUZ9SJkDsGePaCXPf28XEeSsSiPApE2RBRX1RjtVVJLqm1r3KCiiK2WgFvaCviAVL6tu2zc6Vd7BzDFBnNzBnt5hY1a3e1EW4qDsXuvukqzk9m4WqbhRdvsXmLrgKzdhSDSW8Ny1xK6QcJrSScvNQsbB8sNJVdN3TP2NvdZeyprFq6RKQ4KPuKxFYvjp4Ri63H18r6bYCpNUbRBZ39TrsauxMRvfB2GEy3bYXXeETN51kKshxtJqMQUerB4DUf2eQj5umNU3iV76G1R1PkiGcbqgJRzH8oh8ifbL1oGaRggzyuAwrjYHnpPJLdGjsMRGSJi48H7QtLCFBSA8MXvehoyCECnkgD8KCwpXXw86RyF2WgrWrfmwPBvLjbfEdfYjS5xYK6uNgAXrVNmmHqM2GS5FdfJ9j7vexF5yNk4QW9UgXhnAQ9ei9gsdtTP3RzWfUGKy737EjpqRXX1UZMSk7EG37dZKtYDWUNhG8w2x4SFt36A1Zz36eAgXP3ir9xz4nERfiFFdwMqtcThg4aYo3FLeqCykdmJFdiPRd3uaVeRb6YffWRRmFoEvHrSBzahZzXqUf8acU7kHEbG4FDUTsimEVUhYSo1WSkEcC4URR5QnMC9nBUVeazeEHoADAqrnqKUVRDni3wXaBTKVEDbvFtHG3qg9pY2o6Q9MBLPVHSmMAsoFeGUo3oug26JzcFLEtLTRhgdWUDjuEuiUTF8kb65Xs7svzQKtnHPLDeFFUyprXRn2bTfiuQ2SyHsTg8WAdjioCBwPeUWzdZ9yzKKmEYPzq1EWxc2rSFNXLMcFPSRBeNnywEYteccTY1zko7VP94wqMj5JhPpkiNxcTuDrpWXSoeBdmpMCECQt4EBqC1G8kqRApdDux9B9MxXvvHV7wQvaszZWfER4exDf5imu7QUbDFtydTsG4xM9BJwSVa5GX2M5vzSz1aEFU6EE6xxioCobQLHC8RJQr4zrHigFLt11uzUi6RzNAyF6dYAczizDtD2vJj2L7V2gMsyXDuqZQ5pa47hqBZhNs5FkXYckCuv1xDBPAR48urb6KAKUCdLkQnDnJ9zrKvqNTCWjSGxh694tNwzTi9BCY5m1Yu9oAHejnuF2w2CksX2e7jyb5QUtPWg3BEqvpKQtXqwi8FsoSmB6ngEAnx61GaT3oALeJRrbfNhe4QV7m4ZmvhKFCYAKWoFyZhYc6g8tPg3xpf8JQw3xc7X3nbpEdpLFbgPyjBT7RBinYvHvQxrDf1t3JhGnXM2wi4A5a19wqxwm92iQNdQeyb8RMPSpwcPyuJ4tedJknQCEtrFZa4XXdVWWuZg4hhvvpqojFfZqQ2zCCwtjtwFCX3M641FeLhoo5s5qdWcYFH5qP",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"sigmaType": "SSigmaProp",
"renderedValue": "02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a"
},
"R5": {
"serializedValue": "644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "4ad5798da0d01498f0bc4b19f11fac306dc93196c9fb7f2716680b15d6a76839",
"value": 3321284533,
"index": 1,
"spendingProof": "c28ec6641a2b42bab4ea3be83917bf77637c5f6b66f3a334d75503eb2b3c3b215e497dcfe882a9395bf0c817a9b26f2b8773a4810f639f24",
"outputBlockId": "cea9a46576cceeefd637def2f40b5193b4dc219941f1841773fa7a716bd511c6",
"outputTransactionId": "4b088ea8ad6e137951359a8754bce7faca8fc14cb33d2eb27b6f17ffa5f778a7",
"outputIndex": 2,
"outputGlobalIndex": 54124682,
"outputCreatedAt": 1741572,
"outputSettledAt": 1741574,
"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": "7457bca12165aeee5e36e50eb83ccdeda92df36904286274f61ab7f59d37806b",
"value": 10000000,
"index": 0,
"outputBlockId": "cea9a46576cceeefd637def2f40b5193b4dc219941f1841773fa7a716bd511c6",
"outputTransactionId": "6148858b47f0ccc5d3d817ced33bfa5f1ba9126045974e38c86755830e2c6ebf",
"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": "111700e89ad50180dac40980c2d72f0e06807de0d4030aa00b14148084af5f5046320000000000000c",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,1746612,10000000,50000000,7,3,8000,30000,5,720,10,10,100000000,40,35,25,0,0,0,0,0,0,6]"
}
}
}
],
"outputs": [
{
"boxId": "5309d2cc2b7679cfda73b92a053ab174af362b6c8a6f549a08fffffc4c8380b6",
"transactionId": "cf618f7c8d187609be199bf7fbb0d9439c369ab05edd0b049d4f9c245ccc4dbe",
"blockId": "a1a42cc430a16cd78dd89769a889c2e5761588924dcd081bd1dd337b5c10dbc7",
"value": 10000000,
"index": 0,
"globalIndex": 54124721,
"creationHeight": 1741572,
"settlementHeight": 1741575,
"ergoTree": "18b91ba9020400040004020400044204440446044005808080100500058004058080080500058004058004050005800404360500058004050004000100042e04300432042c058080801005000580040580800805000580040580040500058004043a043c043e0438058080801005000580040580800805000580040580040500058004041204340500058004050004000402040404060408040a040c040e0410041204140404040205800405000580040410041204000402040404060408040a040c040e04020400040404020580040500058004040c040404000100040205c80104020402050004480500058004040205000500050005000500050004000100040204040502050005000504040205000500050004060406040805020500050005040408044204440446044005808080100500058004058080080500058004058004050005800404480500058004042e04300432042c05808080100500058004058080080500058004058004050005800404340436043a043c043e04380580808010050005800405808008050005800405800405000580040402040801010410010104140500050005000500050005000500050001010101050104000402040404060408040a040c040e0500050005c8010500050005c801056405c80104000402040404060408040a040c040e05000500050005000500040e04100500050004120500050005a09c0105a09c0101010414041405000101050001010514050005800405020502050005800405020514040204040400050204040101040005040404010104000506040404020502010104420444044604420444044604400580808010050005800405808008050005800405800405000580040402040004480402040a04400580808010050005800405808008050005800405800405000580040514050005800404000440040004400402040ad80ed601b2a5730000d60292c17201c1a7d60393c27201c2a7d604e4e3020ed605e4e3030ed606e4c6a70564d607e4e3000ed608b2db6501fe730100d609aedb63087208d901094d0e938c720901e4e3060ed60ae4c672080411d60be4e3040ed60c7ea305d60de4c6a70408d60e93e4c672010408720d9593e4e307047302d840d60fe4e30104d61093720f7303d611e4e30504d6127eb2720b73040005d6137eb2720b73050005d6147eb2720b73060005d6159a9a9a9c7eb2720b7307000573089c958f721273099a7212730a7212730b9c958f7213730c9a7213730d7213730e958f7214730f9a721473107214d6167eb2720b73110005d617958f721673129a721673137216d6189172177314d619e30a04d61a95e6721992e4721973157316d61bec7218721ad61c7eb2720b73170005d61d7eb2720b73180005d61e7eb2720b73190005d61f9a9a9a9c7eb2720b731a0005731b9c958f721c731c9a721c731d721c731e9c958f721d731f9a721d7320721d7321958f721e73229a721e7323721ed6207eb2720b73240005d6217eb2720b73250005d6227eb2720b73260005d6239a9a9a9c7eb2720b7327000573289c958f722073299a7220732a7220732b9c958f7221732c9a7221732d7221732e958f7222732f9a722273307222d62492720c9a7223b2720a733100d6257eb2720b73320005d626958f722573339a722573347225d62795722473357226d628830b047336733773387339733a733b733c733d733e733f7340d629ad7228d9012904d802d62b9c72297341d62c7eb2720b9a722b734200059a9c7eb2720b722b00057343958f722c73449a722c7345722cd62ab27229734600d62bb27229734700d62c83080473487349734a734b734c734d734e734fd62db2e4c67208061d997211735000d62eb2722d735100d62fad7228d9012f04d802d6319c722f7352d6327eb272059a7231735300059a9c7eb27205723100057354958f723273559a723273567232d630b2720a735700d631b2722d735800d632e30804d63395e6723292e472327359735ad634957233b2e4c6b2a4e47232000411735b00735cd635b2722d735d00d636eded93720f735e917215735f92720c7215d6377eb2720b73600005d638958f723773619a723773627237d639957236b2e4c67208071d997d723804736300830605736473657366736773687369d63ae30904d63b95e6723a92e4723a736a736bd63c99957236d802d63cb27239736c00d63db27239736d009593723c736ed801d63e99722a723d958f723e736f7370723e9593723c7371723d722a722a95723bb2e4c6b2a4e4723a0004117372007373d63d9a958f723c73747375723cb2722d737600d63e9a957236d802d63eb27239737700d63fb272397378009593723e7379d801d64099722b723f958f7240737a737b72409593723e737c723f722b722bb2722d737d00d63f7eb27205737e0005d6407eb27205737f0005d6417eb272057380010005d6429a9a9a9c7eb2720573810100057382019c958f723f7383019a723f738401723f7385019c958f72407386019a72407387017240738801958f72417389019a7241738a017241d6437eb27205738b010005d644958f7243738c019a7243738d017243d6457eb27205738e010005d6467eb27205738f010005d6477eb272057390010005d6489a9a9a9c7eb2720573910100057392019c958f72457393019a724573940172457395019c958f72467396019a72467397017246739801958f72477399019a7247739a017247d6497eb27205739b010005d64a7eb27205739c010005d64b7eb27205739d010005d64c7eb27205739e010005d64d7eb27205739f010005d64e9a9a9a9c7eb2720573a001000573a1019c958f724b73a2019a724b73a301724b73a4019c958f724c73a5019a724c73a601724c73a701958f724d73a8019a724d73a901724dea02720dd1edededededededededededededededededededededededededed7203720293db6401e4c672010564db6401957210e4dc640c72060283013c0e0e8602720472057207e4dc640d72060283013c0e0e86027204720572077209ed92721173aa01907e721105b2720a73ab010092720c721595721b73ac0192720c9a721fb2720a73ad010095721b73ae018f7227b2720a73af0100957210ededededededed93722a73b00193722b73b101af722cd9014f0493b27229724f0073b20193721f73b30193722673b40193721773b50193722373b60193721573b70173b80195721073b90193e4dc640a7206027204e4e30b0e720b9593722e73ba01af83080473bb0173bc0173bd0173be0173bf0173c00173c10173c201d9014f0493b27229724f00b2722f724f00d806d64fb272297d722e0400d650997230724fd6519590725073c30173c4019d9c9d9c7231723473c50172507230d652b272297d72350400d6539972307252d6549590725373c60173c7019d9c9d9c9d9c7231723473c80173c90173ca0172537230af83080473cb0173cc0173cd0173ce0173cf0173d00173d10173d201d9015504d801d6577e72550595937257722e93b2722f7255009a724f9591725172507250958f725173d30173d401725195937257723593b2722f7255009a72529591725472537253958f725473d50173d601725493b27229725500b2722f725500af722cd9014f0490b2722f724f00723090b0722c73d701d9014f41049a8c724f01b2722f8c724f0200b2720a73d8010093b2722f73d90100958f723d73da0173db01723d93b2722f73dc0100958f723e73dd0173de019591723e73df0173e001723e95721073e10193b2722f73e20100b2722973e3010095723693724273e40195721073e501937242721595723693724473e60195721073e701937244723895721b937248721fed92724899720c73e801907248720c93958f724973e9019a724973ea01724995721b722695722473eb019a722773ec0193958f724a73ed019a724a73ee01724a95ed7218ef721a99721773ef01721795721b93724e7223957224ed92724e99720c73f00190724e720c93724e7223720e92c1b2a573f10100b2720a73f20100957233d802d64fb2a4e4723200d650e4c6724f0411eded93b2725073f3010073f4018f720cb2725073f5010093e4c6724f050e720473f60195723bd802d64fb2a4e4723a00d650e4c6724f0411eded93b2725073f7010073f8018f720cb2725073f9010093e4c6724f050e720473fa0195721ad802d64fb2a4e4721900d650e4c6724f0411ededed93b2725073fb010073fc018f720cb2725073fd010093e4c6724f050e720492b2725073fe010073ff01738002d80bd60fe4e30104d6107eb2720b7381020005d6117eb2720b7382020005d6127eb2720b7383020005d6137eb272057384020005d6147eb272057385020005d6157eb272057386020005d6169a9a9a9c7eb2720573870200057388029c958f72137389029a7213738a027213738b029c958f7214738c029a7214738d027214738e02958f7215738f029a72157390027215d617b2e4c67208071d99720f73910200d6189a720cb2721773920200d6197eb272057393020005ea02720dd1ededededededededededed7203720293db6401e4c672010564db6401e4dc640d72060283013c0e0e86027204720572077209ed92720f739402907e720f05b2720a7395020092720c9a9a9a9c7eb2720b73960200057397029c958f72107398029a72107399027210739a029c958f7211739b029a7211739c027211739d02958f7212739e029a7212739f02721293e4dc640a7206027204e4e30b0e720bed92721699721873a002907216721893958f721973a1029a721973a20272197e720f0593b4720573a30273a402b4720b73a50273a602720e92c1b2a573a70200b2721773a80200",
"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: true\n186: -1\n187: 0\n188: 1\n189: 2\n190: 3\n191: 4\n192: 5\n193: 6\n194: 7\n195: 0\n196: 0\n197: 100\n198: 0\n199: 0\n200: 100\n201: 50\n202: 100\n203: 0\n204: 1\n205: 2\n206: 3\n207: 4\n208: 5\n209: 6\n210: 7\n211: 0\n212: 0\n213: 0\n214: 0\n215: 0\n216: 7\n217: 8\n218: 0\n219: 0\n220: 9\n221: 0\n222: 0\n223: 10000\n224: 10000\n225: true\n226: 10\n227: 10\n228: 0\n229: true\n230: 0\n231: true\n232: 10\n233: 0\n234: 256\n235: 1\n236: 1\n237: 0\n238: 256\n239: 1\n240: 10\n241: 1\n242: 2\n243: 0\n244: 1\n245: 2\n246: true\n247: 0\n248: 2\n249: 2\n250: true\n251: 0\n252: 3\n253: 2\n254: 1\n255: 1\n256: true\n257: 33\n258: 34\n259: 35\n260: 33\n261: 34\n262: 35\n263: 32\n264: 16777216\n265: 0\n266: 256\n267: 65536\n268: 0\n269: 256\n270: 256\n271: 0\n272: 256\n273: 1\n274: 0\n275: 36\n276: 1\n277: 5\n278: 32\n279: 16777216\n280: 0\n281: 256\n282: 65536\n283: 0\n284: 256\n285: 256\n286: 0\n287: 256\n288: 10\n289: 0\n290: 256\n291: 0\n292: 32\n293: 0\n294: 32\n295: 1\n296: 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 (\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 (bool16) { placeholder[Boolean](185) } else {\n avlTree6.get(coll4, getVar[Coll[Byte]](11.toByte).get).get == coll11\n }\n ) && if (l46 == placeholder[Long](186)) {\n Coll[Int](\n placeholder[Int](187), placeholder[Int](188), placeholder[Int](189), placeholder[Int](190), placeholder[Int](\n 191\n ), placeholder[Int](192), placeholder[Int](193), placeholder[Int](194)\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](195)) { placeholder[Long](196) } else {\n l49 * l52 / placeholder[Long](197) * l80 / l48\n }\n val l82 = coll41(l53.toInt)\n val l83 = l48 - l82\n val l84 = if (l83 <= placeholder[Long](198)) { placeholder[Long](199) } else {\n l49 * l52 / placeholder[Long](200) * placeholder[Long](201) / placeholder[Long](202) * l83 / l48\n }\n Coll[Int](\n placeholder[Int](203), placeholder[Int](204), placeholder[Int](205), placeholder[Int](206), placeholder[Int](\n 207\n ), placeholder[Int](208), placeholder[Int](209), placeholder[Int](210)\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](211)) { placeholder[Long](212) } else { l81 } } } else { if (l87 == l53) { coll47(i85) == l82 + if (l84 > l83) { l83 } else { if (l84 < placeholder[Long](213)) { placeholder[Long](214) } else { l84 } } } else { coll41(i85) == coll47(i85) } }\n })\n )}\n ) && coll44.forall({(i79: Int) => coll47(i79) <= l48 })\n ) && (\n coll44.fold(placeholder[Long](215), {(tuple79: (Long, Int)) => tuple79._1 + coll47(tuple79._2) }) <= coll10(\n placeholder[Int](216)\n )\n )\n ) && (coll47(placeholder[Int](217)) == if (l61 < placeholder[Long](218)) { placeholder[Long](219) } else { l61 })\n ) && (\n coll47(placeholder[Int](220)) == if (l62 < placeholder[Long](221)) { placeholder[Long](222) } else {\n if (l62 > placeholder[Long](223)) { placeholder[Long](224) } else { l62 }\n }\n )\n ) && if (bool16) { placeholder[Boolean](225) } else { coll47(placeholder[Int](226)) == coll41(placeholder[Int](227)) }\n ) && if (bool54) { l66 == placeholder[Long](228) } else { if (bool16) { placeholder[Boolean](229) } else { l66 == l21 } }\n ) && if (bool54) { l68 == placeholder[Long](230) } else { if (bool16) { placeholder[Boolean](231) } else { l68 == l56 } }\n ) && if (bool27) { l72 == l31 } else { (l72 >= l12 - placeholder[Long](232)) && (l72 <= l12) }\n ) && (\n if (l73 < placeholder[Long](233)) { l73 + placeholder[Long](234) } else { l73 } == if (bool27) { l38 } else {\n if (bool36) { placeholder[Long](235) } else { l39 + placeholder[Long](236) }\n }\n )\n ) && (\n if (l74 < placeholder[Long](237)) { l74 + placeholder[Long](238) } else { l74 } == if (bool24 && (!bool26)) {\n l23 - placeholder[Long](239)\n } else { l23 }\n )\n ) && if (bool27) { l78 == l35 } else { if (bool36) { (l78 >= l12 - placeholder[Long](240)) && (l78 <= l12) } else { l78 == l35 } }\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](241)).value >= coll10(placeholder[Int](242)))\n ) && if (bool51) {(\n val box79 = INPUTS(opt50.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](243)) == placeholder[Long](244)) && (l12 < coll80(placeholder[Int](245)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](246) }\n ) && if (bool59) {(\n val box79 = INPUTS(opt58.get)\n val coll80 = box79.R4[Coll[Long]].get\n ((coll80(placeholder[Int](247)) == placeholder[Long](248)) && (l12 < coll80(placeholder[Int](249)))) && (box79.R5[Coll[Byte]].get == coll4)\n )} else { placeholder[Boolean](250) }\n ) && if (bool26) {(\n val box79 = INPUTS(opt25.get)\n val coll80 = box79.R4[Coll[Long]].get\n (((coll80(placeholder[Int](251)) == placeholder[Long](252)) && (l12 < coll80(placeholder[Int](253)))) && (box79.R5[Coll[Byte]].get == coll4)) && (\n coll80(placeholder[Int](254)) >= placeholder[Long](255)\n )\n )} else { placeholder[Boolean](256) }\n )\n )} else {(\n val i15 = getVar[Int](1.toByte).get\n val l16 = coll11(placeholder[Int](257)).toLong\n val l17 = coll11(placeholder[Int](258)).toLong\n val l18 = coll11(placeholder[Int](259)).toLong\n val l19 = coll5(placeholder[Int](260)).toLong\n val l20 = coll5(placeholder[Int](261)).toLong\n val l21 = coll5(placeholder[Int](262)).toLong\n val l22 = coll5(placeholder[Int](263)).toLong * placeholder[Long](264) + if (l19 < placeholder[Long](265)) { l19 + placeholder[Long](266) } else {\n l19\n } * placeholder[Long](267) + if (l20 < placeholder[Long](268)) { l20 + placeholder[Long](269) } else { l20 } * placeholder[Long](\n 270\n ) + if (l21 < placeholder[Long](271)) { l21 + placeholder[Long](272) } else { l21 }\n val coll23 = box8.R7[Coll[Coll[Long]]].get(i15 - placeholder[Int](273))\n val l24 = l12 + coll23(placeholder[Int](274))\n val l25 = coll5(placeholder[Int](275)).toLong\n prop13 && sigmaProp(\n (\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](276)) && (i15.toLong <= coll10(placeholder[Int](277))))\n ) && (\n l12 >= coll11(placeholder[Int](278)).toLong * placeholder[Long](279) + if (l16 < placeholder[Long](280)) {\n l16 + placeholder[Long](281)\n } else { l16 } * placeholder[Long](282) + if (l17 < placeholder[Long](283)) { l17 + placeholder[Long](284) } else { l17 } * placeholder[\n Long\n ](285) + if (l18 < placeholder[Long](286)) { l18 + placeholder[Long](287) } else { l18 }\n )\n ) && (avlTree6.get(coll4, getVar[Coll[Byte]](11.toByte).get).get == coll11)\n ) && ((l22 >= l24 - placeholder[Long](288)) && (l22 <= l24))\n ) && (if (l25 < placeholder[Long](289)) { l25 + placeholder[Long](290) } else { l25 } == i15.toLong)\n ) && (coll5.slice(placeholder[Int](291), placeholder[Int](292)) == coll11.slice(placeholder[Int](293), placeholder[Int](294)))\n ) && bool14\n ) && (OUTPUTS(placeholder[Int](295)).value >= coll23(placeholder[Int](296)))\n )\n )}\n}",
"address": "5ypNXy1Ku5QzUTc3A2eyuskD5PrYbpuEbtCiZsmAxrcyk8LQGJMNXPWBxsuf7SqNXyvX62TsL5B9uaF4iG5nE2tPh6D8eiUmC2wnmcVs2CMF2YZpG3FoPZGkNJckogtWSsA9ThauzUFCh3AStSxheMLpqmEPfW3qMgNF6XZi3S1KGmmBzK1sRovTb3DM3ZW8Zwn1ekTNV3RsfFTMYc5orKjg2KvEpbDHB5Ep9AGiZcwvA4A5SJGpXt7sKdy64M75mRqTZkAmBvoya2hciu2RWv8vW9HHxE1m5YwMQBa3S4TpQYzocLhcoWS4r5RmCGsRQRBt5wB4f6c1DDFayvQM1wtfeZkDP9gV7UR1R3c4N65h4M4MBfxiCx2YCHTGhMmQ1K8Q5VLWhhSiB2twNirDvbyurW5QYKKrQGzU6Zjy5qjDXPkzHRDRjd45ewxB5ic5TTt8LkfG83VdX5qgYDM9kexLBxeqzQXtiSKYmBBHGAdma9Wh33N25rFwQK49C8an7yQdxYNrQgish5CuEbeAaq28gr2xisE6ngUSfy3vT9rKg47P4wXo6WZhRxP2oip2r4ZtcUgny6VbAnGWDZUvyxRY5HumJfxt9dVzfxRqbDoxjQfG3r4xBbb6nZXubHLhBoCmSPrS7YENQayYG1WWYdMQrjT5vHcccFMwBdbsvPZte1DwGMB6NsFdKmy77KdjyMXPE8iVq2Qhb2jLATR3GRcezKZ2wNFD4ict8rCQnafY9zzF451Ld3sQyXeZ5awmsPGrMcmMpwpSXtaBF9C1xK41AVh7MFLNUieCSAwno1ZA3rUuUAfKncXSGfb1j6vWQ8XKtc8PjP8tgVv7ESbyisV72H596QE9MtwnMNewd7koTUys4Bs5kL5d4mkjQX3RX7LxjKx2AqE1fhTe6KTBgtV8ayL5rmh7V7VMATYdnoZkPCK3B59L9R3osCRh1cmX1cs4KnnbwiPzujo9JeR4XP5wWhYx67D4YhDdT8kjyJYvJMkHS2YyjLfWtJQs5HWnpncaKvAWZ3cGxiBtwYuFk627yrKQCT5xePHfXsUD2LK18U9cGgR7mkFVS7HF4jeStPtYiFuWBPJQK218zD1Bm6Rz73YAPRb2XM7fnHwrNoFo6Sqrm8ffvgaDXuhjRd2paWFdxZRbBzbP5KWLasRj4EWsoqCtpoE7uZP1xWAbGGt6kUF37RWxN8g2oiPgmTQiEXXyA38DmxUdmpzFBFsfNHpHYdqpQ2P7gH1VTcPeWsRM5dWV3fAKUhUeuQ4KAh2UdwvysrwHMEgA5EAS6fx68ryhbto2vSMaVFTdq8Lp5LcxukC5BZtXbieaDP98CGvT2RAF8HaHd6sqNQKvN66rcLPFVk6DiVEmXnacRAFZ4qu78s7t9LnPXcUnjc73SGLWf4ixXWS67gCiQsGakhMubtqC2BBvg9toiiYZnN8KKyWpBy1wxzBpHbPhRU8hdpPWXJjsbcQZygfcqFk8vumjrmT6rXsgzG4DbFfyu5DkrcBvTqjQbyWCjvAHZFvS1kP6vPKeyJYxpnF3yBw8wbkhPN53A6P4yaixWxdiueg2vmFVsTA227XrBTpZgdQ8nnScFhU93xRay3ahCXw4V4UY5YWbi9ZtXNm2QomW822bCJ2bP8P5uUiwKZUNyMaBF99kuYpk5pbN5Ws4TXRF2Pmt2UjcMQXvThoRoT1BHk8MdBdDxvKZjqcavk8EdJXJJ9Bs4kLqHproP5ddcSRxhgEZdqSBM2LpEA6AWbwiA62eWzYR4KJ6mWChPgwsAKEUb1SZYWfKbexFt6PRByTyEnq2d33xHqCGyToPaCn8p9Y8vL1DKkU6VPzP2yZvgR5b3anJNvpDGgwHmPUXNdWtq9hQtSGyJUUJAHewSWU8dowQiiGEAKedzJUp3pjkmvnMyxjAEKeJUJuP5f6jhY9H7pwwaujAsL1oWXHbhtCRoCUDXtFhZw7BVfDNro7GhJFfGj6u1rCG69PME8QDPJZxdK8QHhVGyy6VrqVosfTB5mD81MrPwCkj1XfXTpyoE3y5ujyt918CF5L9DnijV3mxsMAWjwCxxKvv52jNd1TfWFrxN9YGjxZ5cawHUhz27Mf5PBDrUqFkjNYScDBfVjjygL9ao3nFVRyejcFY8QN3iQLDthUr6sab29eq7EovVsQB4XFcmRBAQeNNztZ9DvhK5ZirzB9DiEwoLaKTe65robSeo3yP65cju8itp5eYczUUugeVHLFcqgBEczfycsraaZg9xqa2Swog5MM8ZUWNewfHnnyBoY7HdnfThwKkkUvaRoSJSnjUvPdPJPrDSTLgSYrrVBgVHAfQGhzjEPXtBXsvnaSdjkHk9nhEv98QnE1dKX4drfi9yeE5iqhLAFkFowJXys7LEuA4JB8mPbRmb2XoBqqVjrA98S3dd9xmZj1zoASKx7UV7opctsAJ5nZSSNWXFePaTimnbaRXoyLhzwtnDgYaWtLA3QRbmKFF2w8xTk7KndQ6ZdL4krpzpEu9ZyaJKwduSyvzUBfCtxc4oUvy6mNzfUU33DnYCBmwFvXKoTpjz7W4GkKeawPQpqzhMGyp8tJHrh3ghSojzmRBxVXHZwyL8AkSqi9CMzYaLr5GosZYFDFtC5BioDgwarwBgMQo3De3PpUZV4ozzdDxCaPWVCf6q5TficPP1bMbytBwLWjuF834ZeotgkDzF7GrHjT2Ec9RPXZDGkaeHd25yyJLF8NQ5Zwzz29Fttgcd2srcQHzuLRRhBNPMNKfwnpYaL4WFypLdyHdEqHf1ftbUhcyDTdn8oxWYoYTkaXhM1HcFB2KgUqRhLwonMvxJXkv6nAPkYTqu1TE7VtHZvExY2G8EYwYLtA15xSfzLVVweN9ofkDWFkkimKL4kMfdrbBEEpcP7w9LXMy5uGY6Span48nMYAspu6RCiSUPm5hVziLvBVQJWko7YsPK7F927a7Nk6VFRAGpJemcNTXFXwaEcNEKdcCuwTGFxgcbB5Z4DoPSKVq8Ce5u2dkGrmsQJ4PDgpCYaLE5vXEVNxvofrHYcwX3NhZmGjZq8Uh9L54xKNNPrWcVTCQEEs8k6tEx6in4q9NYwr1PTc9F5BHaN2cys8jVqwJNVUm4aoNwmv4vs1pywC9V5p4NcWJNCxoTBbzPJFBauwJmiC2BSaNRrfLmLxR4vWWmiy5fFY9mNHsmLSdB2tGERwoxyzETPUuQBq3BVzu9zJPpiwGFrr3kN24Ax5YbYwztSPCdfqJa4CeXkbNHynYp4CT8RvQUtTzEWrW4jQroFENUi2cfjB5hbLuidAm3gedX5NiKZTZB4xCc5BBu6Fp4fx5pU4SGVQ9WSHDmtP56MiekNzJaeTCg5ijAZ7det4aoCnUXJgGqnPFRidt4QzG32bEeKc6crBYoWFerawjekQRs1Y7eMY6MQXbAunNsCFVUZ9SJkDsGePaCXPf28XEeSsSiPApE2RBRX1RjtVVJLqm1r3KCiiK2WgFvaCviAVL6tu2zc6Vd7BzDFBnNzBnt5hY1a3e1EW4qDsXuvukqzk9m4WqbhRdvsXmLrgKzdhSDSW8Ny1xK6QcJrSScvNQsbB8sNJVdN3TP2NvdZeyprFq6RKQ4KPuKxFYvjp4Ri63H18r6bYCpNUbRBZ39TrsauxMRvfB2GEy3bYXXeETN51kKshxtJqMQUerB4DUf2eQj5umNU3iV76G1R1PkiGcbqgJRzH8oh8ifbL1oGaRggzyuAwrjYHnpPJLdGjsMRGSJi48H7QtLCFBSA8MXvehoyCECnkgD8KCwpXXw86RyF2WgrWrfmwPBvLjbfEdfYjS5xYK6uNgAXrVNmmHqM2GS5FdfJ9j7vexF5yNk4QW9UgXhnAQ9ei9gsdtTP3RzWfUGKy737EjpqRXX1UZMSk7EG37dZKtYDWUNhG8w2x4SFt36A1Zz36eAgXP3ir9xz4nERfiFFdwMqtcThg4aYo3FLeqCykdmJFdiPRd3uaVeRb6YffWRRmFoEvHrSBzahZzXqUf8acU7kHEbG4FDUTsimEVUhYSo1WSkEcC4URR5QnMC9nBUVeazeEHoADAqrnqKUVRDni3wXaBTKVEDbvFtHG3qg9pY2o6Q9MBLPVHSmMAsoFeGUo3oug26JzcFLEtLTRhgdWUDjuEuiUTF8kb65Xs7svzQKtnHPLDeFFUyprXRn2bTfiuQ2SyHsTg8WAdjioCBwPeUWzdZ9yzKKmEYPzq1EWxc2rSFNXLMcFPSRBeNnywEYteccTY1zko7VP94wqMj5JhPpkiNxcTuDrpWXSoeBdmpMCECQt4EBqC1G8kqRApdDux9B9MxXvvHV7wQvaszZWfER4exDf5imu7QUbDFtydTsG4xM9BJwSVa5GX2M5vzSz1aEFU6EE6xxioCobQLHC8RJQr4zrHigFLt11uzUi6RzNAyF6dYAczizDtD2vJj2L7V2gMsyXDuqZQ5pa47hqBZhNs5FkXYckCuv1xDBPAR48urb6KAKUCdLkQnDnJ9zrKvqNTCWjSGxh694tNwzTi9BCY5m1Yu9oAHejnuF2w2CksX2e7jyb5QUtPWg3BEqvpKQtXqwi8FsoSmB6ngEAnx61GaT3oALeJRrbfNhe4QV7m4ZmvhKFCYAKWoFyZhYc6g8tPg3xpf8JQw3xc7X3nbpEdpLFbgPyjBT7RBinYvHvQxrDf1t3JhGnXM2wi4A5a19wqxwm92iQNdQeyb8RMPSpwcPyuJ4tedJknQCEtrFZa4XXdVWWuZg4hhvvpqojFfZqQ2zCCwtjtwFCX3M641FeLhoo5s5qdWcYFH5qP",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "08cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"sigmaType": "SSigmaProp",
"renderedValue": "02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a"
},
"R5": {
"serializedValue": "6409b06a3abfa06a507ae410854c7c7137bc7c26c8de26dcadcdfc4b00353a025501072000",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "94dd4650b84ddc00f077913ccf919a927d67e103c3a1411628b59aa39b765d36",
"mainChain": true
},
{
"boxId": "a4389ecd22fa85e4df82a98092c3aeacea7278d4332f8de1ecc6e91744087409",
"transactionId": "cf618f7c8d187609be199bf7fbb0d9439c369ab05edd0b049d4f9c245ccc4dbe",
"blockId": "a1a42cc430a16cd78dd89769a889c2e5761588924dcd081bd1dd337b5c10dbc7",
"value": 10000000,
"index": 1,
"globalIndex": 54124722,
"creationHeight": 1741572,
"settlementHeight": 1741575,
"ergoTree": "0008cd02afe418c057a023b10079d17237eabb8abf0b6c139f287eee1aee4e30fac51a6a",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(afe418,bb3ad0,...)))}",
"address": "9frXR12ZVMBVLt2i74SsYYGToDooP9TUqwTabhTzGKLAYonS31h",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "e3638bc8c2f3adb4d9b80a4ae8ee021b6bb4c37713acb32d429e6debae3a0eb2",
"mainChain": true
},
{
"boxId": "680545d39e95901e4bea8212958dbb6a9543d14ccec904f337808a09a8be241d",
"transactionId": "cf618f7c8d187609be199bf7fbb0d9439c369ab05edd0b049d4f9c245ccc4dbe",
"blockId": "a1a42cc430a16cd78dd89769a889c2e5761588924dcd081bd1dd337b5c10dbc7",
"value": 1000000,
"index": 2,
"globalIndex": 54124723,
"creationHeight": 1741572,
"settlementHeight": 1741575,
"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": "eeefdf43f938e9162d2e738e3a4571e7435cd7db20b71df6412c207baac80422",
"mainChain": true
},
{
"boxId": "7f5787a31499f9c08cbd0b2b292239eac0587a919729530c71d9c0204fef2468",
"transactionId": "cf618f7c8d187609be199bf7fbb0d9439c369ab05edd0b049d4f9c245ccc4dbe",
"blockId": "a1a42cc430a16cd78dd89769a889c2e5761588924dcd081bd1dd337b5c10dbc7",
"value": 3310284533,
"index": 3,
"globalIndex": 54124724,
"creationHeight": 1741572,
"settlementHeight": 1741575,
"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": "94dd4650b84ddc00f077913ccf919a927d67e103c3a1411628b59aa39b765d36",
"mainChain": true
}
],
"size": 4419,
"isUnconfirmed": false
}