Transaction
ID: 3aa1cd9957...44b4
Inputs (6)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
8.91 ERG
Tokens:
Loading assets...
Outputs (7)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.01 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.002 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
8.91 ERG
Tokens:
Loading assets...
Transaction Details
Confirmations: 13,920
Total coins transferred: 8.96 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000317 ERG
Raw Transaction Data
{
"id": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"inclusionHeight": 1744437,
"timestamp": 1773817845853,
"index": 20,
"globalIndex": 10462523,
"numConfirmations": 13920,
"inputs": [
{
"boxId": "a2910775438b1f39fe0e0ee2427a8f8bd1b3cc1ea29542f47e7f8482126e71a8",
"value": 10000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "4375f70268ab6cf4d04afb3a767a9231e8d10a4155a0e7f0b199e06d42f63854",
"outputTransactionId": "37afcb30e77407524a6be21af7553716044f9b4c7d18f0959b0eeda4f060f6fd",
"outputIndex": 0,
"outputGlobalIndex": 54199075,
"outputCreatedAt": 1744429,
"outputSettledAt": 1744431,
"ergoTree": "1004040204000e2026d40e6fb9a6ee2556473036e6d6bfb083c4afae21baeae4bba4969747b1dab70e20e6d4ce279d87110f553e135fabaa3b5ce2d86e625beff0f3e47c8eca99a5c60ad801d6018cb2db6308b2a473000073010001d1ec93720173029372017303",
"ergoTreeConstants": "0: 1\n1: 0\n2: Coll(38,-44,14,111,-71,-90,-18,37,86,71,48,54,-26,-42,-65,-80,-125,-60,-81,-82,33,-70,-22,-28,-69,-92,-106,-105,71,-79,-38,-73)\n3: Coll(-26,-44,-50,39,-99,-121,17,15,85,62,19,95,-85,-86,59,92,-30,-40,110,98,91,-17,-16,-13,-28,124,-114,-54,-103,-91,-58,10)",
"ergoTreeScript": "{\n val coll1 = INPUTS(placeholder[Int](0)).tokens(placeholder[Int](1))._1\n sigmaProp((coll1 == placeholder[Coll[Byte]](2)) || (coll1 == placeholder[Coll[Byte]](3)))\n}",
"address": "PViBL5acX6PmcLAsSXs28sVwRvGDWo54AFUenax4vGf7yNX58TXrAUQUcKAL3HuKz8Rhvzm3ZUGkuZAdtFcjehTV7To1EF8QKX2hCLm5ZUkDuB2zynJvTmzD7AqaH25ooDph189uGp4nRPtvs843",
"assets": [
{
"tokenId": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"index": 0,
"amount": 1,
"name": "MPOOL",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 9999358,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04cc01",
"sigmaType": "SInt",
"renderedValue": "102"
},
"R5": {
"serializedValue": "6428da10cfaebfb10314133526b73254fd97bcac6e80bdae448d68f24c624e9f4105072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
}
},
{
"boxId": "1cf15032e1150dc700c3b8a750c61006c65ca6a46204e804c5668690fe5d7149",
"value": 10000000,
"index": 1,
"spendingProof": "625b7622e3681b8f8ecdf54996c2ceab10e1816cca4d43c86bd69ebcf0b7e9d54bbdc3af1a000aa5ed2c1dbbe12dc9431b2b2b353de56ae4",
"outputBlockId": "4375f70268ab6cf4d04afb3a767a9231e8d10a4155a0e7f0b199e06d42f63854",
"outputTransactionId": "37afcb30e77407524a6be21af7553716044f9b4c7d18f0959b0eeda4f060f6fd",
"outputIndex": 1,
"outputGlobalIndex": 54199076,
"outputCreatedAt": 1744429,
"outputSettledAt": 1744431,
"ergoTree": "1071040c0400040004000e20e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc042a040c010004000406040004000402040004040400040204020402040404040404040604060406040804080408040a040a040a040c040c040c040e040e040e041004100410041204120412041404140414041604160416041804180418041a041a041a041c041c041c041e041e041e0420042004200422042204220424042404240426042604260428042804280400042a04000402040604000402040404060408040a040c040e04100412041404160418041a041c041e0420042204240426042804000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92040004000402040204020402040404020408d84cd60199a37300d602b2a4730100d603b5a4d9010363d801d605db6308720395ed91b172057302938cb27205730300017304d801d606c672030611ededede6720692b1e472067305928cc7720301997201730693e4c672030504e4c6720204047307d604b17203d605e4e3011ad606b4720373087309d607e4c6b27206730a000611d608b27207730b00d609e4c6b27206730c000611d60ab27209730d00d60be4c6b27206730e000611d60cb2720b730f00d60db27207731000d60eb27209731100d60fb2720b731200d610b27207731300d611b27209731400d612b2720b731500d613b27207731600d614b27209731700d615b2720b731800d616b27207731900d617b27209731a00d618b2720b731b00d619b27207731c00d61ab27209731d00d61bb2720b731e00d61cb27207731f00d61db27209732000d61eb2720b732100d61fb27207732200d620b27209732300d621b2720b732400d622b27207732500d623b27209732600d624b2720b732700d625b27207732800d626b27209732900d627b2720b732a00d628b27207732b00d629b27209732c00d62ab2720b732d00d62bb27207732e00d62cb27209732f00d62db2720b733000d62eb27207733100d62fb27209733200d630b2720b733300d631b27207733400d632b27209733500d633b2720b733600d634b27207733700d635b27209733800d636b2720b733900d637b27207733a00d638b27209733b00d639b2720b733c00d63ab27207733d00d63bb27209733e00d63cb2720b733f00d63db27207734000d63eb27209734100d63fb2720b734200d640b27207734300d641b27209734400d642b2720b734500d643b27207734600d644b27209734700d645b2720b734800d646b27207734900d647b27209734a00d648b2720b734b00d649e4c6a7041ad64adc640de4c67202056402dc0c1db47249734c734d017205e4e3020ed64bb2a5734e00d64cb2a5734f00ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02cde4c6b27203e4e30004000407d18f8cc77202017201d19272047350d1edededededededededededededededededededed937cb2720573510099999a9a7208720a720c958f7208720a958f7208720c7208720c958f720a720c720a720c95917208720a95917208720c7208720c9591720a720c720a720c937cb2720573520099999a9a720d720e720f958f720d720e958f720d720f720d720f958f720e720f720e720f9591720d720e9591720d720f720d720f9591720e720f720e720f937cb2720573530099999a9a721072117212958f72107211958f7210721272107212958f72117212721172129591721072119591721072127210721295917211721272117212937cb2720573540099999a9a721372147215958f72137214958f7213721572137215958f72147215721472159591721372149591721372157213721595917214721572147215937cb2720573550099999a9a721672177218958f72167217958f7216721872167218958f72177218721772189591721672179591721672187216721895917217721872177218937cb2720573560099999a9a7219721a721b958f7219721a958f7219721b7219721b958f721a721b721a721b95917219721a95917219721b7219721b9591721a721b721a721b937cb2720573570099999a9a721c721d721e958f721c721d958f721c721e721c721e958f721d721e721d721e9591721c721d9591721c721e721c721e9591721d721e721d721e937cb2720573580099999a9a721f72207221958f721f7220958f721f7221721f7221958f72207221722072219591721f72209591721f7221721f722195917220722172207221937cb2720573590099999a9a722272237224958f72227223958f7222722472227224958f72237224722372249591722272239591722272247222722495917223722472237224937cb27205735a0099999a9a722572267227958f72257226958f7225722772257227958f72267227722672279591722572269591722572277225722795917226722772267227937cb27205735b0099999a9a72287229722a958f72287229958f7228722a7228722a958f7229722a7229722a95917228722995917228722a7228722a95917229722a7229722a937cb27205735c0099999a9a722b722c722d958f722b722c958f722b722d722b722d958f722c722d722c722d9591722b722c9591722b722d722b722d9591722c722d722c722d937cb27205735d0099999a9a722e722f7230958f722e722f958f722e7230722e7230958f722f7230722f72309591722e722f9591722e7230722e72309591722f7230722f7230937cb27205735e0099999a9a723172327233958f72317232958f7231723372317233958f72327233723272339591723172329591723172337231723395917232723372327233937cb27205735f0099999a9a723472357236958f72347235958f7234723672347236958f72357236723572369591723472359591723472367234723695917235723672357236937cb2720573600099999a9a723772387239958f72377238958f7237723972377239958f72387239723872399591723772389591723772397237723995917238723972387239937cb2720573610099999a9a723a723b723c958f723a723b958f723a723c723a723c958f723b723c723b723c9591723a723b9591723a723c723a723c9591723b723c723b723c937cb2720573620099999a9a723d723e723f958f723d723e958f723d723f723d723f958f723e723f723e723f9591723d723e9591723d723f723d723f9591723e723f723e723f937cb2720573630099999a9a724072417242958f72407241958f7240724272407242958f72417242724172429591724072419591724072427240724295917241724272417242937cb2720573640099999a9a724372447245958f72437244958f7243724572437245958f72447245724472459591724372449591724372457243724595917244724572447245937cb2720573650099999a9a724672477248958f72467247958f7246724872467248958f72477248724772489591724672479591724672487246724895917247724872477248d1e6724ad1938cb2db63087202736600017367d193b2db6308724b736800b2db63087202736900d1938cb2db6308724b736a00018cb2db63087202736b0001d1928cb2db6308724b736c0002998cb2db63087202736d00027e9c7204736e05d193b1db6308724bb1db63087202d193e4c6724b04049ae4c672020404736fd193db6401e4c6724b0564db6401e4724ad193e4c6724b0604e4c672020604d193c2724bc27202d192c1724bc17202d1928cc7724b0199a37370d193db6308724cdb6308a7d193c2724cc2a7d192c1724cc1a7d193e4c6724c041a7249",
"ergoTreeConstants": "0: 6\n1: 0\n2: 0\n3: 0\n4: Coll(-27,-85,-81,31,10,-108,66,18,49,4,-51,-12,-46,-43,109,-35,-128,101,-128,62,-124,43,-58,-44,51,-25,18,96,17,51,-87,-68)\n5: 21\n6: 6\n7: false\n8: 0\n9: 3\n10: 0\n11: 0\n12: 1\n13: 0\n14: 2\n15: 0\n16: 1\n17: 1\n18: 1\n19: 2\n20: 2\n21: 2\n22: 3\n23: 3\n24: 3\n25: 4\n26: 4\n27: 4\n28: 5\n29: 5\n30: 5\n31: 6\n32: 6\n33: 6\n34: 7\n35: 7\n36: 7\n37: 8\n38: 8\n39: 8\n40: 9\n41: 9\n42: 9\n43: 10\n44: 10\n45: 10\n46: 11\n47: 11\n48: 11\n49: 12\n50: 12\n51: 12\n52: 13\n53: 13\n54: 13\n55: 14\n56: 14\n57: 14\n58: 15\n59: 15\n60: 15\n61: 16\n62: 16\n63: 16\n64: 17\n65: 17\n66: 17\n67: 18\n68: 18\n69: 18\n70: 19\n71: 19\n72: 19\n73: 20\n74: 20\n75: 20\n76: 0\n77: 21\n78: 0\n79: 1\n80: 3\n81: 0\n82: 1\n83: 2\n84: 3\n85: 4\n86: 5\n87: 6\n88: 7\n89: 8\n90: 9\n91: 10\n92: 11\n93: 12\n94: 13\n95: 14\n96: 15\n97: 16\n98: 17\n99: 18\n100: 19\n101: 20\n102: 0\n103: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n104: 0\n105: 0\n106: 1\n107: 1\n108: 1\n109: 1\n110: 2\n111: 1\n112: 4",
"ergoTreeScript": "{\n val i1 = HEIGHT - placeholder[Int](0)\n val box2 = INPUTS(placeholder[Int](1))\n val coll3 = INPUTS.filter({(box3: Box) =>\n val coll5 = box3.tokens\n if ((coll5.size > placeholder[Int](2)) && (coll5(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4))) {(\n val opt6 = box3.R6[Coll[Long]]\n ((opt6.isDefined && (opt6.get.size >= placeholder[Int](5))) && (box3.creationInfo._1 >= i1 - placeholder[Int](6))) && (box3.R5[Int].get == box2.R4[Int].get)\n )} else { placeholder[Boolean](7) }\n })\n val i4 = coll3.size\n val coll5 = getVar[Coll[Coll[Byte]]](1.toByte).get\n val coll6 = coll3.slice(placeholder[Int](8), placeholder[Int](9))\n val coll7 = coll6(placeholder[Int](10)).R6[Coll[Long]].get\n val l8 = coll7(placeholder[Int](11))\n val coll9 = coll6(placeholder[Int](12)).R6[Coll[Long]].get\n val l10 = coll9(placeholder[Int](13))\n val coll11 = coll6(placeholder[Int](14)).R6[Coll[Long]].get\n val l12 = coll11(placeholder[Int](15))\n val l13 = coll7(placeholder[Int](16))\n val l14 = coll9(placeholder[Int](17))\n val l15 = coll11(placeholder[Int](18))\n val l16 = coll7(placeholder[Int](19))\n val l17 = coll9(placeholder[Int](20))\n val l18 = coll11(placeholder[Int](21))\n val l19 = coll7(placeholder[Int](22))\n val l20 = coll9(placeholder[Int](23))\n val l21 = coll11(placeholder[Int](24))\n val l22 = coll7(placeholder[Int](25))\n val l23 = coll9(placeholder[Int](26))\n val l24 = coll11(placeholder[Int](27))\n val l25 = coll7(placeholder[Int](28))\n val l26 = coll9(placeholder[Int](29))\n val l27 = coll11(placeholder[Int](30))\n val l28 = coll7(placeholder[Int](31))\n val l29 = coll9(placeholder[Int](32))\n val l30 = coll11(placeholder[Int](33))\n val l31 = coll7(placeholder[Int](34))\n val l32 = coll9(placeholder[Int](35))\n val l33 = coll11(placeholder[Int](36))\n val l34 = coll7(placeholder[Int](37))\n val l35 = coll9(placeholder[Int](38))\n val l36 = coll11(placeholder[Int](39))\n val l37 = coll7(placeholder[Int](40))\n val l38 = coll9(placeholder[Int](41))\n val l39 = coll11(placeholder[Int](42))\n val l40 = coll7(placeholder[Int](43))\n val l41 = coll9(placeholder[Int](44))\n val l42 = coll11(placeholder[Int](45))\n val l43 = coll7(placeholder[Int](46))\n val l44 = coll9(placeholder[Int](47))\n val l45 = coll11(placeholder[Int](48))\n val l46 = coll7(placeholder[Int](49))\n val l47 = coll9(placeholder[Int](50))\n val l48 = coll11(placeholder[Int](51))\n val l49 = coll7(placeholder[Int](52))\n val l50 = coll9(placeholder[Int](53))\n val l51 = coll11(placeholder[Int](54))\n val l52 = coll7(placeholder[Int](55))\n val l53 = coll9(placeholder[Int](56))\n val l54 = coll11(placeholder[Int](57))\n val l55 = coll7(placeholder[Int](58))\n val l56 = coll9(placeholder[Int](59))\n val l57 = coll11(placeholder[Int](60))\n val l58 = coll7(placeholder[Int](61))\n val l59 = coll9(placeholder[Int](62))\n val l60 = coll11(placeholder[Int](63))\n val l61 = coll7(placeholder[Int](64))\n val l62 = coll9(placeholder[Int](65))\n val l63 = coll11(placeholder[Int](66))\n val l64 = coll7(placeholder[Int](67))\n val l65 = coll9(placeholder[Int](68))\n val l66 = coll11(placeholder[Int](69))\n val l67 = coll7(placeholder[Int](70))\n val l68 = coll9(placeholder[Int](71))\n val l69 = coll11(placeholder[Int](72))\n val l70 = coll7(placeholder[Int](73))\n val l71 = coll9(placeholder[Int](74))\n val l72 = coll11(placeholder[Int](75))\n val coll73 = SELF.R4[Coll[Coll[Byte]]].get\n val opt74 = box2.R5[AvlTree].get.update(coll73.slice(placeholder[Int](76), placeholder[Int](77)).zip(coll5), getVar[Coll[Byte]](2.toByte).get)\n val box75 = OUTPUTS(placeholder[Int](78))\n val box76 = OUTPUTS(placeholder[Int](79))\n proveDlog(coll3(getVar[Int](0.toByte).get).R4[GroupElement].get) && sigmaProp(box2.creationInfo._1 < i1) && sigmaProp(\n i4 >= placeholder[Int](80)\n ) && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n byteArrayToLong(coll5(placeholder[Int](81))) == l8 + l10 + l12 - if (l8 < l10) {\n if (l8 < l12) { l8 } else { l12 }\n } else { if (l10 < l12) { l10 } else { l12 } } - if (l8 > l10) { if (l8 > l12) { l8 } else { l12 } } else {\n if (l10 > l12) { l10 } else { l12 }\n }\n ) && (\n byteArrayToLong(coll5(placeholder[Int](82))) == l13 + l14 + l15 - if (l13 < l14) {\n if (l13 < l15) { l13 } else { l15 }\n } else { if (l14 < l15) { l14 } else { l15 } } - if (l13 > l14) { if (l13 > l15) { l13 } else { l15 } } else {\n if (l14 > l15) { l14 } else { l15 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](83))) == l16 + l17 + l18 - if (l16 < l17) {\n if (l16 < l18) { l16 } else { l18 }\n } else { if (l17 < l18) { l17 } else { l18 } } - if (l16 > l17) { if (l16 > l18) { l16 } else { l18 } } else {\n if (l17 > l18) { l17 } else { l18 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](84))) == l19 + l20 + l21 - if (l19 < l20) {\n if (l19 < l21) { l19 } else { l21 }\n } else { if (l20 < l21) { l20 } else { l21 } } - if (l19 > l20) { if (l19 > l21) { l19 } else { l21 } } else {\n if (l20 > l21) { l20 } else { l21 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](85))) == l22 + l23 + l24 - if (l22 < l23) {\n if (l22 < l24) { l22 } else { l24 }\n } else { if (l23 < l24) { l23 } else { l24 } } - if (l22 > l23) { if (l22 > l24) { l22 } else { l24 } } else {\n if (l23 > l24) { l23 } else { l24 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](86))) == l25 + l26 + l27 - if (l25 < l26) {\n if (l25 < l27) { l25 } else { l27 }\n } else { if (l26 < l27) { l26 } else { l27 } } - if (l25 > l26) { if (l25 > l27) { l25 } else { l27 } } else {\n if (l26 > l27) { l26 } else { l27 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](87))) == l28 + l29 + l30 - if (l28 < l29) {\n if (l28 < l30) { l28 } else { l30 }\n } else { if (l29 < l30) { l29 } else { l30 } } - if (l28 > l29) { if (l28 > l30) { l28 } else { l30 } } else {\n if (l29 > l30) { l29 } else { l30 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](88))) == l31 + l32 + l33 - if (l31 < l32) { if (l31 < l33) { l31 } else { l33 } } else {\n if (l32 < l33) { l32 } else { l33 }\n } - if (l31 > l32) { if (l31 > l33) { l31 } else { l33 } } else { if (l32 > l33) { l32 } else { l33 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](89))) == l34 + l35 + l36 - if (l34 < l35) { if (l34 < l36) { l34 } else { l36 } } else {\n if (l35 < l36) { l35 } else { l36 }\n } - if (l34 > l35) { if (l34 > l36) { l34 } else { l36 } } else { if (l35 > l36) { l35 } else { l36 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](90))) == l37 + l38 + l39 - if (l37 < l38) { if (l37 < l39) { l37 } else { l39 } } else {\n if (l38 < l39) { l38 } else { l39 }\n } - if (l37 > l38) { if (l37 > l39) { l37 } else { l39 } } else { if (l38 > l39) { l38 } else { l39 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](91))) == l40 + l41 + l42 - if (l40 < l41) { if (l40 < l42) { l40 } else { l42 } } else {\n if (l41 < l42) { l41 } else { l42 }\n } - if (l40 > l41) { if (l40 > l42) { l40 } else { l42 } } else { if (l41 > l42) { l41 } else { l42 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](92))) == l43 + l44 + l45 - if (l43 < l44) { if (l43 < l45) { l43 } else { l45 } } else {\n if (l44 < l45) { l44 } else { l45 }\n } - if (l43 > l44) { if (l43 > l45) { l43 } else { l45 } } else { if (l44 > l45) { l44 } else { l45 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](93))) == l46 + l47 + l48 - if (l46 < l47) { if (l46 < l48) { l46 } else { l48 } } else {\n if (l47 < l48) { l47 } else { l48 }\n } - if (l46 > l47) { if (l46 > l48) { l46 } else { l48 } } else { if (l47 > l48) { l47 } else { l48 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](94))) == l49 + l50 + l51 - if (l49 < l50) { if (l49 < l51) { l49 } else { l51 } } else {\n if (l50 < l51) { l50 } else { l51 }\n } - if (l49 > l50) { if (l49 > l51) { l49 } else { l51 } } else { if (l50 > l51) { l50 } else { l51 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](95))) == l52 + l53 + l54 - if (l52 < l53) { if (l52 < l54) { l52 } else { l54 } } else {\n if (l53 < l54) { l53 } else { l54 }\n } - if (l52 > l53) { if (l52 > l54) { l52 } else { l54 } } else { if (l53 > l54) { l53 } else { l54 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](96))) == l55 + l56 + l57 - if (l55 < l56) { if (l55 < l57) { l55 } else { l57 } } else {\n if (l56 < l57) { l56 } else { l57 }\n } - if (l55 > l56) { if (l55 > l57) { l55 } else { l57 } } else { if (l56 > l57) { l56 } else { l57 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](97))) == l58 + l59 + l60 - if (l58 < l59) { if (l58 < l60) { l58 } else { l60 } } else {\n if (l59 < l60) { l59 } else { l60 }\n } - if (l58 > l59) { if (l58 > l60) { l58 } else { l60 } } else { if (l59 > l60) { l59 } else { l60 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](98))) == l61 + l62 + l63 - if (l61 < l62) { if (l61 < l63) { l61 } else { l63 } } else {\n if (l62 < l63) { l62 } else { l63 }\n } - if (l61 > l62) { if (l61 > l63) { l61 } else { l63 } } else { if (l62 > l63) { l62 } else { l63 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](99))) == l64 + l65 + l66 - if (l64 < l65) { if (l64 < l66) { l64 } else { l66 } } else {\n if (l65 < l66) { l65 } else { l66 }\n } - if (l64 > l65) { if (l64 > l66) { l64 } else { l66 } } else { if (l65 > l66) { l65 } else { l66 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](100))) == l67 + l68 + l69 - if (l67 < l68) { if (l67 < l69) { l67 } else { l69 } } else {\n if (l68 < l69) { l68 } else { l69 }\n } - if (l67 > l68) { if (l67 > l69) { l67 } else { l69 } } else { if (l68 > l69) { l68 } else { l69 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](101))) == l70 + l71 + l72 - if (l70 < l71) { if (l70 < l72) { l70 } else { l72 } } else {\n if (l71 < l72) { l71 } else { l72 }\n } - if (l70 > l71) { if (l70 > l72) { l70 } else { l72 } } else { if (l71 > l72) { l71 } else { l72 } }\n )\n ) && sigmaProp(opt74.isDefined) && sigmaProp(box2.tokens(placeholder[Int](102))._1 == placeholder[Coll[Byte]](103)) && sigmaProp(\n box75.tokens(placeholder[Int](104)) == box2.tokens(placeholder[Int](105))\n ) && sigmaProp(box75.tokens(placeholder[Int](106))._1 == box2.tokens(placeholder[Int](107))._1) && sigmaProp(\n box75.tokens(placeholder[Int](108))._2 >= box2.tokens(placeholder[Int](109))._2 - i4 * placeholder[Int](110).toLong\n ) && sigmaProp(box75.tokens.size == box2.tokens.size) && sigmaProp(box75.R4[Int].get == box2.R4[Int].get + placeholder[Int](111)) && sigmaProp(\n box75.R5[AvlTree].get.digest == opt74.get.digest\n ) && sigmaProp(box75.R6[Int].get == box2.R6[Int].get) && sigmaProp(box75.propositionBytes == box2.propositionBytes) && sigmaProp(\n box75.value >= box2.value\n ) && sigmaProp(box75.creationInfo._1 >= HEIGHT - placeholder[Int](112)) && sigmaProp(box76.tokens == SELF.tokens) && sigmaProp(\n box76.propositionBytes == SELF.propositionBytes\n ) && sigmaProp(box76.value >= SELF.value) && sigmaProp(box76.R4[Coll[Coll[Byte]]].get == coll73)\n}",
"address": "31JHkNLy8qbXo794wcVigd7ygUnnGog45gXDTTr7LpPctFxSTuUAKCoV33NRrjsRSk1Sa4kSbZvKcCDVqA1iqWH3vuG1Ek7RqFwrCuq93Ruzfr4rfdZqBTGH7QHA2R6wYvnbVmswKfdUMGQg3wWucoJdTDjWmG9NY4WQd4K6S9cza7YvWSFKp46nXwMBat2hM34fUuqt4qdz9pyzup9fEamyBf4SpgCZ8tUNETC6whNRWZRLHUg4ww6mZ1U4F3RsR5oTKxfr55TkJsiPqzxY2VK83WQa1gzYZ94J7P4KsL7rmFeZrfTjgVrMvbjqkih3J8tWopefrDtKH7wq6DmSYYWnzSvFTioM3hatBrCaa3HneZ3EJSBNVBUTuUnQNwgxgCFWyGHvaMNmwEQDc2V4oACsizGZe6Ho4g5Ew7P123L9xiLwFgxnCngqu57PmebAPym1mJXGwtf4zxNZC1g4zHbqo5fxcfwFSKpL9Ki9fDkN9nBG4StaATRBBWbyivsAAPzRipzgrnzFscrkLSutmmpNzcjR36HeKznW3uVTWj1mjRR4t2sa2DHnKff7GXJVUzN9FUQJvWkS8GB9HcapZpZcLDfVsKoCUcnUqBN42WtWsdEtXLtZ3NiQTuc9P53vfoTi6hR6nqMiVQnJrwoJxUSJizsXNwjT1qRazW2gkVDKfE51E9G15wsvH2pp33GPk5nURpmim3fcyBDePossDaS5nzVGN7hXdUWybWxYr1kMTGwyML9ooNerwANLCJGaSdorMSamErQkBSQw45b2C3HgSGaF2dQ9asYTJ2zLe7wFK9ngG6qc9NncTgtP3qu9pqw6BR9vvgnEdak1Hhb6KMfJjECvHVZWEijhwspt8AmJd2tiCb3sR5GYF2fqWgrmRdthyYzCN7ktBAsL9MHwDwHBYUUk2b3NL2DvCbxN6XDtAGZDi9h6ZqJ6Jsyv51E9oiqhV4LyunF87LC2wtg6gx3LbaDa9UcVpVTZ3vLz1jeDHn9PN9tnSCrzoD8RgC1xygi6eFii6RXW6efBAwfdzyuz5aoRFvjrq6X2q5g67EsfGfreRAjfkvB2S7vj3eKUx7dHQChybe7HXV3XU65hxriBmavLticSvbHZpSWBLGwGf2Fp4YYkeVuZ5yiRtVWncY4L2GM8YbKi8b63jLcYXcSaXkubYmyEy56TnvraJDD9ZfEEjRjvk5mMFjbzXRJed2gkeWXPj7BnN2caSSWoDNbAUf3K6UaMb2zyszuwfwpeSY2rYcJiRQienB2xHNTLhmy4CEKok6B9gAbGkxSQg2erLSoi8ToXVhuWMGZtrtSVqmJktyV1p1hH7uakuxTUEZgxVfn6RnA1w7VSsve5YyQP4w45uz3JKTboJFCT7yCd3wtabA2Di1BAFH4KiKRxvKAgzfx8xxptNekvYKWTEvxpJB2kB7N4wUQeAkCFr6ARKyAuvhmgEDkHKQhDCbAag7KZL5XWXnByyFNef3EC7EAgFVSPADjMJMuxgvXueYL7sMqhUfyUpdminUvTEY3FPDujEuuMEZyj38uwfTiX2oKsaAeRN4N7PHgUDBs5PEDRF2Tvg1z6Xz3GMrZ7Vg8AMBJ9AVZRVZFQbprA4jdwMRT12SK5QVNeNxZrqA675Z7cuaEuupSkSNFVTUyqeHGvLzJLdoPzbUSvNYXpqc7Gom2DNDhirt1DueoSyRteeFn53eTPPa6XMPzbHJWCf3ttgBCy3woCqLVy7hPxCt1rx1XYb6UocZnZGfkym4RLA2zhqhJxHge1e43qZ6Mwy2NTfJWGZbbgisrnyJcUxwCzXKKA7NfkKnu66N4XNKHbUBTNLn9pQftiz7qnp2djUx8cptmQXCgZxEGoozVKT9HdpLufrC45xGiTGUzXzyKuMfUtHDS82v6yCyP4HcANQHv2cLxY3GRpewXs7tSvqMwYmWKgxySMrBcozVT8Gu5pZovY7aFPRxca9t2NYyJLC8Jyodb6pMHfDWMaHJe2qYhKfA5kPLtCYYC2mVXZqxwjspNrb6Gy3PRBbU4MCJyuF1TcQGDm5U5ywmFEymv6Untr7XCyXn7a8PYcLHPVkhsooaMZiGdVmA8RWiMg3iDGWcp9JL8nJ15ftk4smp2fk66fvVzH5MT6aYwcewBYfhWR9FcM2Sob7DVAAR1FBkBfVm3xjnxjatX5yNkv237fo8h61pN37nxiJT2Eedu27P2GqFj2m5atLjBAbmVQKjqoVk2JwYupvZWemye5bNFhbp5EHbJUr4yaoWN861MeV3yT7aVEU5QARcgRHDC9FuJGWbNZ8NSKdKx5uLJEdxe5FaMUgm53uM2Bh4oTgsE3UFgBVZuvqrLrPqitNqXWnD8rCmSezkSWQ7B2LV8pVusR1S6yc3TUeRcnWwiU8sU9PKhX4jRifZ8rCi4iLJoSanxdp1oJdBrZbFVa81qbNx3LwvVAZWqnnAcoGTf4Uhy4vi1WVQZcPKpKd9oQfCzW91uLiqp2wAynHjfZZLhnHPUxbxSApXfr7ph5vZx71rBWDPzP91yJKhjNYkUvdgqgnqFA3ChJiARUmdRseBM3CAvNQ3tfSR2DgcmvF2pJHhdUQmwzNjC2ezcYMA12aNLJfhg5eV9vBLa3tgNsFrJtVv4fx6VJfkWWaB2yRq9MHyhsjpbDQ5qVwyyiFXaWjYXWcVWQnxSUdfdmJdU8tycvZDdsFFeGJhz5PzCUEPtrDSbhq63YcZ3CHUNRoiwqmAv45m73fQFSAkJmJ3Pue2hcW3xq1JA6KmstiwMoWUMFLxnii3a1KDDQgaa4fakf1behLMsSZG5rayQr7rCS1C7B6qrU5UW7hEw7XC488Xy2FcuGfm6XWjQdztGwqGcvvHKcqESdtWFYk2pavEogEHYKukaAZa6nTcxd5dkjrMJYvpyNSzHNyVaX8yGhjbgi4avoY81pt8KJKjadZdgV6rfQvdDb3UcW7NcLUZg64AyCQ8PjYcjWo5ZanfB4HhbtgMJPKHTyKpBWioyfcVBk9RUjM5hVFFFHshp89gExJGXd63gPwSGfMxTaCfp8dojkTpW5js1RBBB6V6ZMXqCA2fCqjy3FD6PdVGtBkUebiKvu3bW6kzRN3RQtmvxcm4CgUhJTWLVtP4E8AUNzhfgdmKB2e7ZxxVR7Gza2KWEwwcmvDtJ5y1g556DUT7FWSa7U3uefiwsvLrifgwcKxLuUBtTgXPpV1cw6zxg7gw1LoGfvCQRGYTZLGmSuNP79BrHLrFtDkEtfcqwMJ6E553FYPorJnW1a3jkb5fAiKaebxcaoEWQbLFeS9Dgo54eddXNjApQsgNfS19pTagBUhx32KhDUyMyg8nNW9Zb3JsvF1UgFUSYUb9TBS2GtMaLrB45rGM7XcxQ1QYRMNWoHUHtMQ4r55355CRv6mEZxEnmXPnBLMdQ65yyieJjsQzTywp8rWzkMk3UmK9vHhj3PDLFPRZvyYsvUckPrBAsu68yf4hfLznc3s8gVZTrLq69wczcScCsoL53Jt7Y49X2bRog8yVArq8vwfeNFg8CC2BaCxuf3FL6c4kZJTBJo8s9sxxN67oBtygkh5RAkg7X69gYokqZnM3uwTzXP1aLxCL3p8N94jJ9v8L3KE3XnNR5udrdokH5mhUUHgvPKZ76SNg88bffzURSHxxaVvvQXrK8FavNgmtB5Yzny59fNgFkei5f7mMuBeiop5XqJ8cooyQ5mFqGcFx1SNmWJ46oqbaxsRTF1WetnWHwXUHLGCRGuz5XY56jRD9NK2SZozuX7DnHvP5A9r2nxdXdNjyd",
"assets": [
{
"tokenId": "26d40e6fb9a6ee2556473036e6d6bfb083c4afae21baeae4bba4969747b1dab7",
"index": 0,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1a1520834fd78efc957d7c9ea6200aee44c176290f20cc84ab68255681181df2a8c63d2033b8ba4f88e40b49ec74bc398e1e908f4b518a3b9c2c06c546f9aa99d5b659f92032f6f7c348dad99e165946615b20e196524489174cb7d680974a14b0a519d67b2021ac39193ae8f03cc7dd4422e334c0671a28c786d26f27bc762eaee2c4e29bf7204c0659e2df3d6b9162dfc56e06d00c7d594a54eef0a0702da52e993c17f6a02320dde6e3b8b382e663385283cc352db9281a5ff20258dc7dbdf7361b079af6469f2071db7e2f8d2a304914d7026c8538009355be392052f801196241203b99740600206341d55d73656445a5e427133d299541171d67952770b1a2c9f44789635f637920c920fe97214fa248268c31db0d4886481ac3adcdeccb5f51b8534be38ff20a192005c0bc23f0eaa880833691e2d102aeb55d315cb71a1441855d0b3cc2108d3bbc2084d909fee15b7c52348c296a70d6aa09aa5541e1a32d9db24eefe098c17ec134200a899348f94f44045c85c23a26e083321da8e1ae855472f6178ea0ce03509f7920a23f27f3235b9edb173089a3d9a7eecdbf86151dfa7128af423f6a873b1515f52049b15af54e94059d0e2b3d40e6fb543d03527218c0ae2ce64d86c9065a918107202af76efae8e6e7e7569a31c708b6113390ea0a2b18147bc2a8784632c076fd772010c806fba3513745b3d742b0d101192d45f2645164de3c34ba36059bff19c6e02041ffc7ea9a170a4eddadccba394e0620c783636f16c5449461734152cd0b467c20995f0898855863e9a59199ba533d967ce8cdc2c8fc06232d358efd2fca1c99c32038361a7cd333248d119c13a3a4ed90baa004e522a56ac8a65ecbd0ef41af1d6e204550f5f5492f45043886b1ba2fb4ddc0a015fb07469a7f1f976c3c30103b2f6b201546a4fbd5401753ae482f71979b081fa4184e065917fd71b79ef41a068d49ca",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[834fd78efc957d7c9ea6200aee44c176290f20cc84ab68255681181df2a8c63d,33b8ba4f88e40b49ec74bc398e1e908f4b518a3b9c2c06c546f9aa99d5b659f9,32f6f7c348dad99e165946615b20e196524489174cb7d680974a14b0a519d67b,21ac39193ae8f03cc7dd4422e334c0671a28c786d26f27bc762eaee2c4e29bf7,4c0659e2df3d6b9162dfc56e06d00c7d594a54eef0a0702da52e993c17f6a023,dde6e3b8b382e663385283cc352db9281a5ff20258dc7dbdf7361b079af6469f,71db7e2f8d2a304914d7026c8538009355be392052f801196241203b99740600,6341d55d73656445a5e427133d299541171d67952770b1a2c9f44789635f6379,c920fe97214fa248268c31db0d4886481ac3adcdeccb5f51b8534be38ff20a19,05c0bc23f0eaa880833691e2d102aeb55d315cb71a1441855d0b3cc2108d3bbc,84d909fee15b7c52348c296a70d6aa09aa5541e1a32d9db24eefe098c17ec134,0a899348f94f44045c85c23a26e083321da8e1ae855472f6178ea0ce03509f79,a23f27f3235b9edb173089a3d9a7eecdbf86151dfa7128af423f6a873b1515f5,49b15af54e94059d0e2b3d40e6fb543d03527218c0ae2ce64d86c9065a918107,2af76efae8e6e7e7569a31c708b6113390ea0a2b18147bc2a8784632c076fd77,10c806fba3513745b3d742b0d101192d45f2645164de3c34ba36059bff19c6e0,41ffc7ea9a170a4eddadccba394e0620c783636f16c5449461734152cd0b467c,995f0898855863e9a59199ba533d967ce8cdc2c8fc06232d358efd2fca1c99c3,38361a7cd333248d119c13a3a4ed90baa004e522a56ac8a65ecbd0ef41af1d6e,4550f5f5492f45043886b1ba2fb4ddc0a015fb07469a7f1f976c3c30103b2f6b,1546a4fbd5401753ae482f71979b081fa4184e065917fd71b79ef41a068d49ca]"
}
}
},
{
"boxId": "eebe8573dc9a1a58f6fc2c2219efe9db8c950c3c6286061607d671651dc62915",
"value": 10000000,
"index": 2,
"spendingProof": null,
"outputBlockId": "a2ca9239a501d4f72fbaa96c7e4c8086008758bba721af7dfd757877010bd4e1",
"outputTransactionId": "1a00e483f1b628038a08ee33598d01eeddfede154fa4bedbcbfb70909345a77c",
"outputIndex": 3,
"outputGlobalIndex": 54199135,
"outputCreatedAt": 1744431,
"outputSettledAt": 1744432,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 5,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
},
"R5": {
"serializedValue": "04cc01",
"sigmaType": "SInt",
"renderedValue": "102"
},
"R6": {
"serializedValue": "1115e0d1f0a61180aef8a6a704a0bdc38105cc9b0ccc9723de50f818f4d8f101b4870ca09afb8432c0f7a190de02d0a1904ce0f9bb05a0e6e960a0e8ad58c0f1e602a08cf71200000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2322470000,73994800000,672690000,100070,288230,5167,1596,1979962,98778,6716090000,46993260000,79825000,5734000,101530000,92650000,2940000,19850000,0,0,0,0]"
}
}
},
{
"boxId": "c3fd698d65b3b2cafbff322536c0adff3c45483fc5842d86d76d4b413d304e0b",
"value": 10000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "a2ca9239a501d4f72fbaa96c7e4c8086008758bba721af7dfd757877010bd4e1",
"outputTransactionId": "1a00e483f1b628038a08ee33598d01eeddfede154fa4bedbcbfb70909345a77c",
"outputIndex": 2,
"outputGlobalIndex": 54199134,
"outputCreatedAt": 1744431,
"outputSettledAt": 1744432,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 5,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
},
"R5": {
"serializedValue": "04cc01",
"sigmaType": "SInt",
"renderedValue": "102"
},
"R6": {
"serializedValue": "1115e0d1f0a61180aef8a6a704a0bdc38105cc9b0ccc9723de50f818f4d8f101b4870ca09afb8432c0f7a190de02d0a1904ce0f9bb05a0e6e960a0e8ad58c0f1e602a08cf71200000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2322470000,73994800000,672690000,100070,288230,5167,1596,1979962,98778,6716090000,46993260000,79825000,5734000,101530000,92650000,2940000,19850000,0,0,0,0]"
}
}
},
{
"boxId": "2b37615274dd81e2363bf42295cf2aaa99cb404fde28cc5a6d753c494dcfca71",
"value": 10000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "a2ca9239a501d4f72fbaa96c7e4c8086008758bba721af7dfd757877010bd4e1",
"outputTransactionId": "1a00e483f1b628038a08ee33598d01eeddfede154fa4bedbcbfb70909345a77c",
"outputIndex": 1,
"outputGlobalIndex": 54199133,
"outputCreatedAt": 1744431,
"outputSettledAt": 1744432,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 21,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
},
"R5": {
"serializedValue": "04cc01",
"sigmaType": "SInt",
"renderedValue": "102"
},
"R6": {
"serializedValue": "1115e0d1f0a61180aef8a6a704a0bdc38105cc9b0ccc9723de50f818f4d8f101b4870ca09afb8432c0f7a190de02d0a1904ce0f9bb05a0e6e960a0e8ad58c0f1e602a08cf71200000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2322470000,73994800000,672690000,100070,288230,5167,1596,1979962,98778,6716090000,46993260000,79825000,5734000,101530000,92650000,2940000,19850000,0,0,0,0]"
}
}
},
{
"boxId": "af542b97efe75970a45e5bf1ef61d2813c3233e8918d0792386938e7d98e2be7",
"value": 8914900000,
"index": 5,
"spendingProof": "003c4dbbb013ec3b53fb5bfe41ece1c7a251032f97f83900a739bca2dad3c18ac8649f8b4b1b1076b19b94a240a9ecb3147b5fb62cd3d8ec",
"outputBlockId": "a2ca9239a501d4f72fbaa96c7e4c8086008758bba721af7dfd757877010bd4e1",
"outputTransactionId": "1a00e483f1b628038a08ee33598d01eeddfede154fa4bedbcbfb70909345a77c",
"outputIndex": 5,
"outputGlobalIndex": 54199137,
"outputCreatedAt": 1744431,
"outputSettledAt": 1744432,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [
{
"tokenId": "e7dd9e6ff757d397ca69abe5d94c2255a2b738f8d9c5c2ad6132faa87b79276b",
"index": 0,
"amount": 30,
"name": "MBALLOT",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 1,
"amount": 20,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "10fe8904a63b854ae89c626489bf2be2ec02f40e2657ed872e0f6298978bfbb5",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 10000000,
"index": 0,
"globalIndex": 54199254,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "1004040204000e2026d40e6fb9a6ee2556473036e6d6bfb083c4afae21baeae4bba4969747b1dab70e20e6d4ce279d87110f553e135fabaa3b5ce2d86e625beff0f3e47c8eca99a5c60ad801d6018cb2db6308b2a473000073010001d1ec93720173029372017303",
"ergoTreeConstants": "0: 1\n1: 0\n2: Coll(38,-44,14,111,-71,-90,-18,37,86,71,48,54,-26,-42,-65,-80,-125,-60,-81,-82,33,-70,-22,-28,-69,-92,-106,-105,71,-79,-38,-73)\n3: Coll(-26,-44,-50,39,-99,-121,17,15,85,62,19,95,-85,-86,59,92,-30,-40,110,98,91,-17,-16,-13,-28,124,-114,-54,-103,-91,-58,10)",
"ergoTreeScript": "{\n val coll1 = INPUTS(placeholder[Int](0)).tokens(placeholder[Int](1))._1\n sigmaProp((coll1 == placeholder[Coll[Byte]](2)) || (coll1 == placeholder[Coll[Byte]](3)))\n}",
"address": "PViBL5acX6PmcLAsSXs28sVwRvGDWo54AFUenax4vGf7yNX58TXrAUQUcKAL3HuKz8Rhvzm3ZUGkuZAdtFcjehTV7To1EF8QKX2hCLm5ZUkDuB2zynJvTmzD7AqaH25ooDph189uGp4nRPtvs843",
"assets": [
{
"tokenId": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"index": 0,
"amount": 1,
"name": "MPOOL",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 9999352,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04ce01",
"sigmaType": "SInt",
"renderedValue": "103"
},
"R5": {
"serializedValue": "6492ddb82b52ea0f9825c25ad9e4f768c1f88dc10843411130186f986609a5420705072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
},
"spentTransactionId": "071beafa61a32cc008cb1c6bb136c77f6254b88b55bdf79daafa4a1f7094383a",
"mainChain": true
},
{
"boxId": "46f0a2612fd797512b751b6eddf2fe90051756d2d59e7d36623575d8d85abde5",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 10000000,
"index": 1,
"globalIndex": 54199255,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "1071040c0400040004000e20e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc042a040c010004000406040004000402040004040400040204020402040404040404040604060406040804080408040a040a040a040c040c040c040e040e040e041004100410041204120412041404140414041604160416041804180418041a041a041a041c041c041c041e041e041e0420042004200422042204220424042404240426042604260428042804280400042a04000402040604000402040404060408040a040c040e04100412041404160418041a041c041e0420042204240426042804000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92040004000402040204020402040404020408d84cd60199a37300d602b2a4730100d603b5a4d9010363d801d605db6308720395ed91b172057302938cb27205730300017304d801d606c672030611ededede6720692b1e472067305928cc7720301997201730693e4c672030504e4c6720204047307d604b17203d605e4e3011ad606b4720373087309d607e4c6b27206730a000611d608b27207730b00d609e4c6b27206730c000611d60ab27209730d00d60be4c6b27206730e000611d60cb2720b730f00d60db27207731000d60eb27209731100d60fb2720b731200d610b27207731300d611b27209731400d612b2720b731500d613b27207731600d614b27209731700d615b2720b731800d616b27207731900d617b27209731a00d618b2720b731b00d619b27207731c00d61ab27209731d00d61bb2720b731e00d61cb27207731f00d61db27209732000d61eb2720b732100d61fb27207732200d620b27209732300d621b2720b732400d622b27207732500d623b27209732600d624b2720b732700d625b27207732800d626b27209732900d627b2720b732a00d628b27207732b00d629b27209732c00d62ab2720b732d00d62bb27207732e00d62cb27209732f00d62db2720b733000d62eb27207733100d62fb27209733200d630b2720b733300d631b27207733400d632b27209733500d633b2720b733600d634b27207733700d635b27209733800d636b2720b733900d637b27207733a00d638b27209733b00d639b2720b733c00d63ab27207733d00d63bb27209733e00d63cb2720b733f00d63db27207734000d63eb27209734100d63fb2720b734200d640b27207734300d641b27209734400d642b2720b734500d643b27207734600d644b27209734700d645b2720b734800d646b27207734900d647b27209734a00d648b2720b734b00d649e4c6a7041ad64adc640de4c67202056402dc0c1db47249734c734d017205e4e3020ed64bb2a5734e00d64cb2a5734f00ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02ea02cde4c6b27203e4e30004000407d18f8cc77202017201d19272047350d1edededededededededededededededededededed937cb2720573510099999a9a7208720a720c958f7208720a958f7208720c7208720c958f720a720c720a720c95917208720a95917208720c7208720c9591720a720c720a720c937cb2720573520099999a9a720d720e720f958f720d720e958f720d720f720d720f958f720e720f720e720f9591720d720e9591720d720f720d720f9591720e720f720e720f937cb2720573530099999a9a721072117212958f72107211958f7210721272107212958f72117212721172129591721072119591721072127210721295917211721272117212937cb2720573540099999a9a721372147215958f72137214958f7213721572137215958f72147215721472159591721372149591721372157213721595917214721572147215937cb2720573550099999a9a721672177218958f72167217958f7216721872167218958f72177218721772189591721672179591721672187216721895917217721872177218937cb2720573560099999a9a7219721a721b958f7219721a958f7219721b7219721b958f721a721b721a721b95917219721a95917219721b7219721b9591721a721b721a721b937cb2720573570099999a9a721c721d721e958f721c721d958f721c721e721c721e958f721d721e721d721e9591721c721d9591721c721e721c721e9591721d721e721d721e937cb2720573580099999a9a721f72207221958f721f7220958f721f7221721f7221958f72207221722072219591721f72209591721f7221721f722195917220722172207221937cb2720573590099999a9a722272237224958f72227223958f7222722472227224958f72237224722372249591722272239591722272247222722495917223722472237224937cb27205735a0099999a9a722572267227958f72257226958f7225722772257227958f72267227722672279591722572269591722572277225722795917226722772267227937cb27205735b0099999a9a72287229722a958f72287229958f7228722a7228722a958f7229722a7229722a95917228722995917228722a7228722a95917229722a7229722a937cb27205735c0099999a9a722b722c722d958f722b722c958f722b722d722b722d958f722c722d722c722d9591722b722c9591722b722d722b722d9591722c722d722c722d937cb27205735d0099999a9a722e722f7230958f722e722f958f722e7230722e7230958f722f7230722f72309591722e722f9591722e7230722e72309591722f7230722f7230937cb27205735e0099999a9a723172327233958f72317232958f7231723372317233958f72327233723272339591723172329591723172337231723395917232723372327233937cb27205735f0099999a9a723472357236958f72347235958f7234723672347236958f72357236723572369591723472359591723472367234723695917235723672357236937cb2720573600099999a9a723772387239958f72377238958f7237723972377239958f72387239723872399591723772389591723772397237723995917238723972387239937cb2720573610099999a9a723a723b723c958f723a723b958f723a723c723a723c958f723b723c723b723c9591723a723b9591723a723c723a723c9591723b723c723b723c937cb2720573620099999a9a723d723e723f958f723d723e958f723d723f723d723f958f723e723f723e723f9591723d723e9591723d723f723d723f9591723e723f723e723f937cb2720573630099999a9a724072417242958f72407241958f7240724272407242958f72417242724172429591724072419591724072427240724295917241724272417242937cb2720573640099999a9a724372447245958f72437244958f7243724572437245958f72447245724472459591724372449591724372457243724595917244724572447245937cb2720573650099999a9a724672477248958f72467247958f7246724872467248958f72477248724772489591724672479591724672487246724895917247724872477248d1e6724ad1938cb2db63087202736600017367d193b2db6308724b736800b2db63087202736900d1938cb2db6308724b736a00018cb2db63087202736b0001d1928cb2db6308724b736c0002998cb2db63087202736d00027e9c7204736e05d193b1db6308724bb1db63087202d193e4c6724b04049ae4c672020404736fd193db6401e4c6724b0564db6401e4724ad193e4c6724b0604e4c672020604d193c2724bc27202d192c1724bc17202d1928cc7724b0199a37370d193db6308724cdb6308a7d193c2724cc2a7d192c1724cc1a7d193e4c6724c041a7249",
"ergoTreeConstants": "0: 6\n1: 0\n2: 0\n3: 0\n4: Coll(-27,-85,-81,31,10,-108,66,18,49,4,-51,-12,-46,-43,109,-35,-128,101,-128,62,-124,43,-58,-44,51,-25,18,96,17,51,-87,-68)\n5: 21\n6: 6\n7: false\n8: 0\n9: 3\n10: 0\n11: 0\n12: 1\n13: 0\n14: 2\n15: 0\n16: 1\n17: 1\n18: 1\n19: 2\n20: 2\n21: 2\n22: 3\n23: 3\n24: 3\n25: 4\n26: 4\n27: 4\n28: 5\n29: 5\n30: 5\n31: 6\n32: 6\n33: 6\n34: 7\n35: 7\n36: 7\n37: 8\n38: 8\n39: 8\n40: 9\n41: 9\n42: 9\n43: 10\n44: 10\n45: 10\n46: 11\n47: 11\n48: 11\n49: 12\n50: 12\n51: 12\n52: 13\n53: 13\n54: 13\n55: 14\n56: 14\n57: 14\n58: 15\n59: 15\n60: 15\n61: 16\n62: 16\n63: 16\n64: 17\n65: 17\n66: 17\n67: 18\n68: 18\n69: 18\n70: 19\n71: 19\n72: 19\n73: 20\n74: 20\n75: 20\n76: 0\n77: 21\n78: 0\n79: 1\n80: 3\n81: 0\n82: 1\n83: 2\n84: 3\n85: 4\n86: 5\n87: 6\n88: 7\n89: 8\n90: 9\n91: 10\n92: 11\n93: 12\n94: 13\n95: 14\n96: 15\n97: 16\n98: 17\n99: 18\n100: 19\n101: 20\n102: 0\n103: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n104: 0\n105: 0\n106: 1\n107: 1\n108: 1\n109: 1\n110: 2\n111: 1\n112: 4",
"ergoTreeScript": "{\n val i1 = HEIGHT - placeholder[Int](0)\n val box2 = INPUTS(placeholder[Int](1))\n val coll3 = INPUTS.filter({(box3: Box) =>\n val coll5 = box3.tokens\n if ((coll5.size > placeholder[Int](2)) && (coll5(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4))) {(\n val opt6 = box3.R6[Coll[Long]]\n ((opt6.isDefined && (opt6.get.size >= placeholder[Int](5))) && (box3.creationInfo._1 >= i1 - placeholder[Int](6))) && (box3.R5[Int].get == box2.R4[Int].get)\n )} else { placeholder[Boolean](7) }\n })\n val i4 = coll3.size\n val coll5 = getVar[Coll[Coll[Byte]]](1.toByte).get\n val coll6 = coll3.slice(placeholder[Int](8), placeholder[Int](9))\n val coll7 = coll6(placeholder[Int](10)).R6[Coll[Long]].get\n val l8 = coll7(placeholder[Int](11))\n val coll9 = coll6(placeholder[Int](12)).R6[Coll[Long]].get\n val l10 = coll9(placeholder[Int](13))\n val coll11 = coll6(placeholder[Int](14)).R6[Coll[Long]].get\n val l12 = coll11(placeholder[Int](15))\n val l13 = coll7(placeholder[Int](16))\n val l14 = coll9(placeholder[Int](17))\n val l15 = coll11(placeholder[Int](18))\n val l16 = coll7(placeholder[Int](19))\n val l17 = coll9(placeholder[Int](20))\n val l18 = coll11(placeholder[Int](21))\n val l19 = coll7(placeholder[Int](22))\n val l20 = coll9(placeholder[Int](23))\n val l21 = coll11(placeholder[Int](24))\n val l22 = coll7(placeholder[Int](25))\n val l23 = coll9(placeholder[Int](26))\n val l24 = coll11(placeholder[Int](27))\n val l25 = coll7(placeholder[Int](28))\n val l26 = coll9(placeholder[Int](29))\n val l27 = coll11(placeholder[Int](30))\n val l28 = coll7(placeholder[Int](31))\n val l29 = coll9(placeholder[Int](32))\n val l30 = coll11(placeholder[Int](33))\n val l31 = coll7(placeholder[Int](34))\n val l32 = coll9(placeholder[Int](35))\n val l33 = coll11(placeholder[Int](36))\n val l34 = coll7(placeholder[Int](37))\n val l35 = coll9(placeholder[Int](38))\n val l36 = coll11(placeholder[Int](39))\n val l37 = coll7(placeholder[Int](40))\n val l38 = coll9(placeholder[Int](41))\n val l39 = coll11(placeholder[Int](42))\n val l40 = coll7(placeholder[Int](43))\n val l41 = coll9(placeholder[Int](44))\n val l42 = coll11(placeholder[Int](45))\n val l43 = coll7(placeholder[Int](46))\n val l44 = coll9(placeholder[Int](47))\n val l45 = coll11(placeholder[Int](48))\n val l46 = coll7(placeholder[Int](49))\n val l47 = coll9(placeholder[Int](50))\n val l48 = coll11(placeholder[Int](51))\n val l49 = coll7(placeholder[Int](52))\n val l50 = coll9(placeholder[Int](53))\n val l51 = coll11(placeholder[Int](54))\n val l52 = coll7(placeholder[Int](55))\n val l53 = coll9(placeholder[Int](56))\n val l54 = coll11(placeholder[Int](57))\n val l55 = coll7(placeholder[Int](58))\n val l56 = coll9(placeholder[Int](59))\n val l57 = coll11(placeholder[Int](60))\n val l58 = coll7(placeholder[Int](61))\n val l59 = coll9(placeholder[Int](62))\n val l60 = coll11(placeholder[Int](63))\n val l61 = coll7(placeholder[Int](64))\n val l62 = coll9(placeholder[Int](65))\n val l63 = coll11(placeholder[Int](66))\n val l64 = coll7(placeholder[Int](67))\n val l65 = coll9(placeholder[Int](68))\n val l66 = coll11(placeholder[Int](69))\n val l67 = coll7(placeholder[Int](70))\n val l68 = coll9(placeholder[Int](71))\n val l69 = coll11(placeholder[Int](72))\n val l70 = coll7(placeholder[Int](73))\n val l71 = coll9(placeholder[Int](74))\n val l72 = coll11(placeholder[Int](75))\n val coll73 = SELF.R4[Coll[Coll[Byte]]].get\n val opt74 = box2.R5[AvlTree].get.update(coll73.slice(placeholder[Int](76), placeholder[Int](77)).zip(coll5), getVar[Coll[Byte]](2.toByte).get)\n val box75 = OUTPUTS(placeholder[Int](78))\n val box76 = OUTPUTS(placeholder[Int](79))\n proveDlog(coll3(getVar[Int](0.toByte).get).R4[GroupElement].get) && sigmaProp(box2.creationInfo._1 < i1) && sigmaProp(\n i4 >= placeholder[Int](80)\n ) && sigmaProp(\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n (\n byteArrayToLong(coll5(placeholder[Int](81))) == l8 + l10 + l12 - if (l8 < l10) {\n if (l8 < l12) { l8 } else { l12 }\n } else { if (l10 < l12) { l10 } else { l12 } } - if (l8 > l10) { if (l8 > l12) { l8 } else { l12 } } else {\n if (l10 > l12) { l10 } else { l12 }\n }\n ) && (\n byteArrayToLong(coll5(placeholder[Int](82))) == l13 + l14 + l15 - if (l13 < l14) {\n if (l13 < l15) { l13 } else { l15 }\n } else { if (l14 < l15) { l14 } else { l15 } } - if (l13 > l14) { if (l13 > l15) { l13 } else { l15 } } else {\n if (l14 > l15) { l14 } else { l15 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](83))) == l16 + l17 + l18 - if (l16 < l17) {\n if (l16 < l18) { l16 } else { l18 }\n } else { if (l17 < l18) { l17 } else { l18 } } - if (l16 > l17) { if (l16 > l18) { l16 } else { l18 } } else {\n if (l17 > l18) { l17 } else { l18 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](84))) == l19 + l20 + l21 - if (l19 < l20) {\n if (l19 < l21) { l19 } else { l21 }\n } else { if (l20 < l21) { l20 } else { l21 } } - if (l19 > l20) { if (l19 > l21) { l19 } else { l21 } } else {\n if (l20 > l21) { l20 } else { l21 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](85))) == l22 + l23 + l24 - if (l22 < l23) {\n if (l22 < l24) { l22 } else { l24 }\n } else { if (l23 < l24) { l23 } else { l24 } } - if (l22 > l23) { if (l22 > l24) { l22 } else { l24 } } else {\n if (l23 > l24) { l23 } else { l24 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](86))) == l25 + l26 + l27 - if (l25 < l26) {\n if (l25 < l27) { l25 } else { l27 }\n } else { if (l26 < l27) { l26 } else { l27 } } - if (l25 > l26) { if (l25 > l27) { l25 } else { l27 } } else {\n if (l26 > l27) { l26 } else { l27 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](87))) == l28 + l29 + l30 - if (l28 < l29) {\n if (l28 < l30) { l28 } else { l30 }\n } else { if (l29 < l30) { l29 } else { l30 } } - if (l28 > l29) { if (l28 > l30) { l28 } else { l30 } } else {\n if (l29 > l30) { l29 } else { l30 }\n }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](88))) == l31 + l32 + l33 - if (l31 < l32) { if (l31 < l33) { l31 } else { l33 } } else {\n if (l32 < l33) { l32 } else { l33 }\n } - if (l31 > l32) { if (l31 > l33) { l31 } else { l33 } } else { if (l32 > l33) { l32 } else { l33 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](89))) == l34 + l35 + l36 - if (l34 < l35) { if (l34 < l36) { l34 } else { l36 } } else {\n if (l35 < l36) { l35 } else { l36 }\n } - if (l34 > l35) { if (l34 > l36) { l34 } else { l36 } } else { if (l35 > l36) { l35 } else { l36 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](90))) == l37 + l38 + l39 - if (l37 < l38) { if (l37 < l39) { l37 } else { l39 } } else {\n if (l38 < l39) { l38 } else { l39 }\n } - if (l37 > l38) { if (l37 > l39) { l37 } else { l39 } } else { if (l38 > l39) { l38 } else { l39 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](91))) == l40 + l41 + l42 - if (l40 < l41) { if (l40 < l42) { l40 } else { l42 } } else {\n if (l41 < l42) { l41 } else { l42 }\n } - if (l40 > l41) { if (l40 > l42) { l40 } else { l42 } } else { if (l41 > l42) { l41 } else { l42 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](92))) == l43 + l44 + l45 - if (l43 < l44) { if (l43 < l45) { l43 } else { l45 } } else {\n if (l44 < l45) { l44 } else { l45 }\n } - if (l43 > l44) { if (l43 > l45) { l43 } else { l45 } } else { if (l44 > l45) { l44 } else { l45 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](93))) == l46 + l47 + l48 - if (l46 < l47) { if (l46 < l48) { l46 } else { l48 } } else {\n if (l47 < l48) { l47 } else { l48 }\n } - if (l46 > l47) { if (l46 > l48) { l46 } else { l48 } } else { if (l47 > l48) { l47 } else { l48 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](94))) == l49 + l50 + l51 - if (l49 < l50) { if (l49 < l51) { l49 } else { l51 } } else {\n if (l50 < l51) { l50 } else { l51 }\n } - if (l49 > l50) { if (l49 > l51) { l49 } else { l51 } } else { if (l50 > l51) { l50 } else { l51 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](95))) == l52 + l53 + l54 - if (l52 < l53) { if (l52 < l54) { l52 } else { l54 } } else {\n if (l53 < l54) { l53 } else { l54 }\n } - if (l52 > l53) { if (l52 > l54) { l52 } else { l54 } } else { if (l53 > l54) { l53 } else { l54 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](96))) == l55 + l56 + l57 - if (l55 < l56) { if (l55 < l57) { l55 } else { l57 } } else {\n if (l56 < l57) { l56 } else { l57 }\n } - if (l55 > l56) { if (l55 > l57) { l55 } else { l57 } } else { if (l56 > l57) { l56 } else { l57 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](97))) == l58 + l59 + l60 - if (l58 < l59) { if (l58 < l60) { l58 } else { l60 } } else {\n if (l59 < l60) { l59 } else { l60 }\n } - if (l58 > l59) { if (l58 > l60) { l58 } else { l60 } } else { if (l59 > l60) { l59 } else { l60 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](98))) == l61 + l62 + l63 - if (l61 < l62) { if (l61 < l63) { l61 } else { l63 } } else {\n if (l62 < l63) { l62 } else { l63 }\n } - if (l61 > l62) { if (l61 > l63) { l61 } else { l63 } } else { if (l62 > l63) { l62 } else { l63 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](99))) == l64 + l65 + l66 - if (l64 < l65) { if (l64 < l66) { l64 } else { l66 } } else {\n if (l65 < l66) { l65 } else { l66 }\n } - if (l64 > l65) { if (l64 > l66) { l64 } else { l66 } } else { if (l65 > l66) { l65 } else { l66 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](100))) == l67 + l68 + l69 - if (l67 < l68) { if (l67 < l69) { l67 } else { l69 } } else {\n if (l68 < l69) { l68 } else { l69 }\n } - if (l67 > l68) { if (l67 > l69) { l67 } else { l69 } } else { if (l68 > l69) { l68 } else { l69 } }\n )\n ) && (\n byteArrayToLong(coll5(placeholder[Int](101))) == l70 + l71 + l72 - if (l70 < l71) { if (l70 < l72) { l70 } else { l72 } } else {\n if (l71 < l72) { l71 } else { l72 }\n } - if (l70 > l71) { if (l70 > l72) { l70 } else { l72 } } else { if (l71 > l72) { l71 } else { l72 } }\n )\n ) && sigmaProp(opt74.isDefined) && sigmaProp(box2.tokens(placeholder[Int](102))._1 == placeholder[Coll[Byte]](103)) && sigmaProp(\n box75.tokens(placeholder[Int](104)) == box2.tokens(placeholder[Int](105))\n ) && sigmaProp(box75.tokens(placeholder[Int](106))._1 == box2.tokens(placeholder[Int](107))._1) && sigmaProp(\n box75.tokens(placeholder[Int](108))._2 >= box2.tokens(placeholder[Int](109))._2 - i4 * placeholder[Int](110).toLong\n ) && sigmaProp(box75.tokens.size == box2.tokens.size) && sigmaProp(box75.R4[Int].get == box2.R4[Int].get + placeholder[Int](111)) && sigmaProp(\n box75.R5[AvlTree].get.digest == opt74.get.digest\n ) && sigmaProp(box75.R6[Int].get == box2.R6[Int].get) && sigmaProp(box75.propositionBytes == box2.propositionBytes) && sigmaProp(\n box75.value >= box2.value\n ) && sigmaProp(box75.creationInfo._1 >= HEIGHT - placeholder[Int](112)) && sigmaProp(box76.tokens == SELF.tokens) && sigmaProp(\n box76.propositionBytes == SELF.propositionBytes\n ) && sigmaProp(box76.value >= SELF.value) && sigmaProp(box76.R4[Coll[Coll[Byte]]].get == coll73)\n}",
"address": "31JHkNLy8qbXo794wcVigd7ygUnnGog45gXDTTr7LpPctFxSTuUAKCoV33NRrjsRSk1Sa4kSbZvKcCDVqA1iqWH3vuG1Ek7RqFwrCuq93Ruzfr4rfdZqBTGH7QHA2R6wYvnbVmswKfdUMGQg3wWucoJdTDjWmG9NY4WQd4K6S9cza7YvWSFKp46nXwMBat2hM34fUuqt4qdz9pyzup9fEamyBf4SpgCZ8tUNETC6whNRWZRLHUg4ww6mZ1U4F3RsR5oTKxfr55TkJsiPqzxY2VK83WQa1gzYZ94J7P4KsL7rmFeZrfTjgVrMvbjqkih3J8tWopefrDtKH7wq6DmSYYWnzSvFTioM3hatBrCaa3HneZ3EJSBNVBUTuUnQNwgxgCFWyGHvaMNmwEQDc2V4oACsizGZe6Ho4g5Ew7P123L9xiLwFgxnCngqu57PmebAPym1mJXGwtf4zxNZC1g4zHbqo5fxcfwFSKpL9Ki9fDkN9nBG4StaATRBBWbyivsAAPzRipzgrnzFscrkLSutmmpNzcjR36HeKznW3uVTWj1mjRR4t2sa2DHnKff7GXJVUzN9FUQJvWkS8GB9HcapZpZcLDfVsKoCUcnUqBN42WtWsdEtXLtZ3NiQTuc9P53vfoTi6hR6nqMiVQnJrwoJxUSJizsXNwjT1qRazW2gkVDKfE51E9G15wsvH2pp33GPk5nURpmim3fcyBDePossDaS5nzVGN7hXdUWybWxYr1kMTGwyML9ooNerwANLCJGaSdorMSamErQkBSQw45b2C3HgSGaF2dQ9asYTJ2zLe7wFK9ngG6qc9NncTgtP3qu9pqw6BR9vvgnEdak1Hhb6KMfJjECvHVZWEijhwspt8AmJd2tiCb3sR5GYF2fqWgrmRdthyYzCN7ktBAsL9MHwDwHBYUUk2b3NL2DvCbxN6XDtAGZDi9h6ZqJ6Jsyv51E9oiqhV4LyunF87LC2wtg6gx3LbaDa9UcVpVTZ3vLz1jeDHn9PN9tnSCrzoD8RgC1xygi6eFii6RXW6efBAwfdzyuz5aoRFvjrq6X2q5g67EsfGfreRAjfkvB2S7vj3eKUx7dHQChybe7HXV3XU65hxriBmavLticSvbHZpSWBLGwGf2Fp4YYkeVuZ5yiRtVWncY4L2GM8YbKi8b63jLcYXcSaXkubYmyEy56TnvraJDD9ZfEEjRjvk5mMFjbzXRJed2gkeWXPj7BnN2caSSWoDNbAUf3K6UaMb2zyszuwfwpeSY2rYcJiRQienB2xHNTLhmy4CEKok6B9gAbGkxSQg2erLSoi8ToXVhuWMGZtrtSVqmJktyV1p1hH7uakuxTUEZgxVfn6RnA1w7VSsve5YyQP4w45uz3JKTboJFCT7yCd3wtabA2Di1BAFH4KiKRxvKAgzfx8xxptNekvYKWTEvxpJB2kB7N4wUQeAkCFr6ARKyAuvhmgEDkHKQhDCbAag7KZL5XWXnByyFNef3EC7EAgFVSPADjMJMuxgvXueYL7sMqhUfyUpdminUvTEY3FPDujEuuMEZyj38uwfTiX2oKsaAeRN4N7PHgUDBs5PEDRF2Tvg1z6Xz3GMrZ7Vg8AMBJ9AVZRVZFQbprA4jdwMRT12SK5QVNeNxZrqA675Z7cuaEuupSkSNFVTUyqeHGvLzJLdoPzbUSvNYXpqc7Gom2DNDhirt1DueoSyRteeFn53eTPPa6XMPzbHJWCf3ttgBCy3woCqLVy7hPxCt1rx1XYb6UocZnZGfkym4RLA2zhqhJxHge1e43qZ6Mwy2NTfJWGZbbgisrnyJcUxwCzXKKA7NfkKnu66N4XNKHbUBTNLn9pQftiz7qnp2djUx8cptmQXCgZxEGoozVKT9HdpLufrC45xGiTGUzXzyKuMfUtHDS82v6yCyP4HcANQHv2cLxY3GRpewXs7tSvqMwYmWKgxySMrBcozVT8Gu5pZovY7aFPRxca9t2NYyJLC8Jyodb6pMHfDWMaHJe2qYhKfA5kPLtCYYC2mVXZqxwjspNrb6Gy3PRBbU4MCJyuF1TcQGDm5U5ywmFEymv6Untr7XCyXn7a8PYcLHPVkhsooaMZiGdVmA8RWiMg3iDGWcp9JL8nJ15ftk4smp2fk66fvVzH5MT6aYwcewBYfhWR9FcM2Sob7DVAAR1FBkBfVm3xjnxjatX5yNkv237fo8h61pN37nxiJT2Eedu27P2GqFj2m5atLjBAbmVQKjqoVk2JwYupvZWemye5bNFhbp5EHbJUr4yaoWN861MeV3yT7aVEU5QARcgRHDC9FuJGWbNZ8NSKdKx5uLJEdxe5FaMUgm53uM2Bh4oTgsE3UFgBVZuvqrLrPqitNqXWnD8rCmSezkSWQ7B2LV8pVusR1S6yc3TUeRcnWwiU8sU9PKhX4jRifZ8rCi4iLJoSanxdp1oJdBrZbFVa81qbNx3LwvVAZWqnnAcoGTf4Uhy4vi1WVQZcPKpKd9oQfCzW91uLiqp2wAynHjfZZLhnHPUxbxSApXfr7ph5vZx71rBWDPzP91yJKhjNYkUvdgqgnqFA3ChJiARUmdRseBM3CAvNQ3tfSR2DgcmvF2pJHhdUQmwzNjC2ezcYMA12aNLJfhg5eV9vBLa3tgNsFrJtVv4fx6VJfkWWaB2yRq9MHyhsjpbDQ5qVwyyiFXaWjYXWcVWQnxSUdfdmJdU8tycvZDdsFFeGJhz5PzCUEPtrDSbhq63YcZ3CHUNRoiwqmAv45m73fQFSAkJmJ3Pue2hcW3xq1JA6KmstiwMoWUMFLxnii3a1KDDQgaa4fakf1behLMsSZG5rayQr7rCS1C7B6qrU5UW7hEw7XC488Xy2FcuGfm6XWjQdztGwqGcvvHKcqESdtWFYk2pavEogEHYKukaAZa6nTcxd5dkjrMJYvpyNSzHNyVaX8yGhjbgi4avoY81pt8KJKjadZdgV6rfQvdDb3UcW7NcLUZg64AyCQ8PjYcjWo5ZanfB4HhbtgMJPKHTyKpBWioyfcVBk9RUjM5hVFFFHshp89gExJGXd63gPwSGfMxTaCfp8dojkTpW5js1RBBB6V6ZMXqCA2fCqjy3FD6PdVGtBkUebiKvu3bW6kzRN3RQtmvxcm4CgUhJTWLVtP4E8AUNzhfgdmKB2e7ZxxVR7Gza2KWEwwcmvDtJ5y1g556DUT7FWSa7U3uefiwsvLrifgwcKxLuUBtTgXPpV1cw6zxg7gw1LoGfvCQRGYTZLGmSuNP79BrHLrFtDkEtfcqwMJ6E553FYPorJnW1a3jkb5fAiKaebxcaoEWQbLFeS9Dgo54eddXNjApQsgNfS19pTagBUhx32KhDUyMyg8nNW9Zb3JsvF1UgFUSYUb9TBS2GtMaLrB45rGM7XcxQ1QYRMNWoHUHtMQ4r55355CRv6mEZxEnmXPnBLMdQ65yyieJjsQzTywp8rWzkMk3UmK9vHhj3PDLFPRZvyYsvUckPrBAsu68yf4hfLznc3s8gVZTrLq69wczcScCsoL53Jt7Y49X2bRog8yVArq8vwfeNFg8CC2BaCxuf3FL6c4kZJTBJo8s9sxxN67oBtygkh5RAkg7X69gYokqZnM3uwTzXP1aLxCL3p8N94jJ9v8L3KE3XnNR5udrdokH5mhUUHgvPKZ76SNg88bffzURSHxxaVvvQXrK8FavNgmtB5Yzny59fNgFkei5f7mMuBeiop5XqJ8cooyQ5mFqGcFx1SNmWJ46oqbaxsRTF1WetnWHwXUHLGCRGuz5XY56jRD9NK2SZozuX7DnHvP5A9r2nxdXdNjyd",
"assets": [
{
"tokenId": "26d40e6fb9a6ee2556473036e6d6bfb083c4afae21baeae4bba4969747b1dab7",
"index": 0,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1a1520834fd78efc957d7c9ea6200aee44c176290f20cc84ab68255681181df2a8c63d2033b8ba4f88e40b49ec74bc398e1e908f4b518a3b9c2c06c546f9aa99d5b659f92032f6f7c348dad99e165946615b20e196524489174cb7d680974a14b0a519d67b2021ac39193ae8f03cc7dd4422e334c0671a28c786d26f27bc762eaee2c4e29bf7204c0659e2df3d6b9162dfc56e06d00c7d594a54eef0a0702da52e993c17f6a02320dde6e3b8b382e663385283cc352db9281a5ff20258dc7dbdf7361b079af6469f2071db7e2f8d2a304914d7026c8538009355be392052f801196241203b99740600206341d55d73656445a5e427133d299541171d67952770b1a2c9f44789635f637920c920fe97214fa248268c31db0d4886481ac3adcdeccb5f51b8534be38ff20a192005c0bc23f0eaa880833691e2d102aeb55d315cb71a1441855d0b3cc2108d3bbc2084d909fee15b7c52348c296a70d6aa09aa5541e1a32d9db24eefe098c17ec134200a899348f94f44045c85c23a26e083321da8e1ae855472f6178ea0ce03509f7920a23f27f3235b9edb173089a3d9a7eecdbf86151dfa7128af423f6a873b1515f52049b15af54e94059d0e2b3d40e6fb543d03527218c0ae2ce64d86c9065a918107202af76efae8e6e7e7569a31c708b6113390ea0a2b18147bc2a8784632c076fd772010c806fba3513745b3d742b0d101192d45f2645164de3c34ba36059bff19c6e02041ffc7ea9a170a4eddadccba394e0620c783636f16c5449461734152cd0b467c20995f0898855863e9a59199ba533d967ce8cdc2c8fc06232d358efd2fca1c99c32038361a7cd333248d119c13a3a4ed90baa004e522a56ac8a65ecbd0ef41af1d6e204550f5f5492f45043886b1ba2fb4ddc0a015fb07469a7f1f976c3c30103b2f6b201546a4fbd5401753ae482f71979b081fa4184e065917fd71b79ef41a068d49ca",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[834fd78efc957d7c9ea6200aee44c176290f20cc84ab68255681181df2a8c63d,33b8ba4f88e40b49ec74bc398e1e908f4b518a3b9c2c06c546f9aa99d5b659f9,32f6f7c348dad99e165946615b20e196524489174cb7d680974a14b0a519d67b,21ac39193ae8f03cc7dd4422e334c0671a28c786d26f27bc762eaee2c4e29bf7,4c0659e2df3d6b9162dfc56e06d00c7d594a54eef0a0702da52e993c17f6a023,dde6e3b8b382e663385283cc352db9281a5ff20258dc7dbdf7361b079af6469f,71db7e2f8d2a304914d7026c8538009355be392052f801196241203b99740600,6341d55d73656445a5e427133d299541171d67952770b1a2c9f44789635f6379,c920fe97214fa248268c31db0d4886481ac3adcdeccb5f51b8534be38ff20a19,05c0bc23f0eaa880833691e2d102aeb55d315cb71a1441855d0b3cc2108d3bbc,84d909fee15b7c52348c296a70d6aa09aa5541e1a32d9db24eefe098c17ec134,0a899348f94f44045c85c23a26e083321da8e1ae855472f6178ea0ce03509f79,a23f27f3235b9edb173089a3d9a7eecdbf86151dfa7128af423f6a873b1515f5,49b15af54e94059d0e2b3d40e6fb543d03527218c0ae2ce64d86c9065a918107,2af76efae8e6e7e7569a31c708b6113390ea0a2b18147bc2a8784632c076fd77,10c806fba3513745b3d742b0d101192d45f2645164de3c34ba36059bff19c6e0,41ffc7ea9a170a4eddadccba394e0620c783636f16c5449461734152cd0b467c,995f0898855863e9a59199ba533d967ce8cdc2c8fc06232d358efd2fca1c99c3,38361a7cd333248d119c13a3a4ed90baa004e522a56ac8a65ecbd0ef41af1d6e,4550f5f5492f45043886b1ba2fb4ddc0a015fb07469a7f1f976c3c30103b2f6b,1546a4fbd5401753ae482f71979b081fa4184e065917fd71b79ef41a068d49ca]"
}
},
"spentTransactionId": "071beafa61a32cc008cb1c6bb136c77f6254b88b55bdf79daafa4a1f7094383a",
"mainChain": true
},
{
"boxId": "ce34558c47e3d0cb3c4d6f6d80bf73f7b7b729554d33230da049b23a9a38e3d1",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 10000000,
"index": 2,
"globalIndex": 54199256,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 7,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
}
},
"spentTransactionId": "e6fe5b0fe4fe5f92c215b153a67cfb8d3e2245576875f52a6b8f9b9058cbb3b4",
"mainChain": true
},
{
"boxId": "dd403b44e843d27002e0eea0518d0ca4c605de4bb50319cdba10e99b1c0ee747",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 10000000,
"index": 3,
"globalIndex": 54199257,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 7,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
}
},
"spentTransactionId": "e6fe5b0fe4fe5f92c215b153a67cfb8d3e2245576875f52a6b8f9b9058cbb3b4",
"mainChain": true
},
{
"boxId": "70cf61e28c7c5b0794c819b8173f5161764c6b814012101d6bed3b25261df98b",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 10000000,
"index": 4,
"globalIndex": 54199258,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "100a040004000580dac409040004000e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920402040204020402d804d601b2a5e4e3000400d602db63087201d603db6308a7d604e4c6a70407ea02d1ededed93b27202730000b2720373010093c27201c2a7e6c67201040792c172017302eb02cd7204d1ededededed938cb2db6308b2a4730300730400017305938cb27202730600018cb2720373070001918cb27202730800028cb272037309000293e4c672010407720492c17201c1a7efe6c672010561",
"ergoTreeConstants": "0: 0\n1: 0\n2: 10000000\n3: 0\n4: 0\n5: Coll(-9,-16,8,-83,-113,-54,-83,68,-112,-40,-25,-118,-74,-45,-15,30,-2,114,19,-95,63,123,36,55,-107,-127,-117,21,94,26,-52,-110)\n6: 1\n7: 1\n8: 1\n9: 1",
"ergoTreeScript": "{\n val box1 = OUTPUTS(getVar[Int](0.toByte).get)\n val coll2 = box1.tokens\n val coll3 = SELF.tokens\n val ge4 = SELF.R4[GroupElement].get\n sigmaProp(\n (((coll2(placeholder[Int](0)) == coll3(placeholder[Int](1))) && (box1.propositionBytes == SELF.propositionBytes)) && box1.R4[GroupElement].isDefined) && (\n box1.value >= placeholder[Long](2)\n )\n ) && proveDlog(ge4) || sigmaProp(\n (\n (\n (\n (\n (INPUTS(placeholder[Int](3)).tokens(placeholder[Int](4))._1 == placeholder[Coll[Byte]](5)) && (\n coll2(placeholder[Int](6))._1 == coll3(placeholder[Int](7))._1\n )\n ) && (coll2(placeholder[Int](8))._2 > coll3(placeholder[Int](9))._2)\n ) && (box1.R4[GroupElement].get == ge4)\n ) && (box1.value >= SELF.value)\n ) && (!box1.R5[Any].isDefined)\n )\n}",
"address": "2vTHJzWVd7ryXrP3fH9KfEFHAsxkTBPp9YVhNRdkiaNFFU6gjsFqP9Roeprps7hzNBAwGA6WFWzoqBWx58ARZP5sb4Y2Cc5rTgARSeq43vFMAUvSB1cS3v55Rs9vEq9FpBJK2KUWNY6ZAA3xzMamDFF9jfU4bjm35g7GGCZMhzC2ve3SuCBqAhgb6vhT4eHaqjL92hiHW9MRFghv49AycbNwtobRid3sd7UQt6Lg1VHoziseayd9ao3H2Lc8hyRNffLcMy8RhEosZzufutEWRwLwsgDkuEbzE5pW",
"assets": [
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 0,
"amount": 1,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "05965018a4525add81bdf6feb6dc4621dcef6789802fa53cebe39505a3b8588d",
"index": 1,
"amount": 23,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
}
},
"spentTransactionId": "e6fe5b0fe4fe5f92c215b153a67cfb8d3e2245576875f52a6b8f9b9058cbb3b4",
"mainChain": true
},
{
"boxId": "26049fd439c9707bafb78f6dad03523f22a792f6a3c6de1b355bf288f19e87ef",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 2000000,
"index": 5,
"globalIndex": 54199259,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"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": "bb5e304fb81fd266d0d402d843116294aa3172242514c0ca356eb7cd3cd84c8e",
"mainChain": true
},
{
"boxId": "8e6825430af506083ad4c41e78306a04340a9d56d1ceffdee35e1746c1395107",
"transactionId": "3aa1cd9957c6b036fa03b984e5acfbbd9be005d5249e72cbc144e21836f244b4",
"blockId": "425edd152256593fa11e7f2941fb7916fbb72296db2539beadc319fa7a6ffb44",
"value": 8912900000,
"index": 6,
"globalIndex": 54199260,
"creationHeight": 1744436,
"settlementHeight": 1744437,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [
{
"tokenId": "e7dd9e6ff757d397ca69abe5d94c2255a2b738f8d9c5c2ad6132faa87b79276b",
"index": 0,
"amount": 30,
"name": "MBALLOT",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "e5abaf1f0a9442123104cdf4d2d56ddd8065803e842bc6d433e712601133a9bc",
"index": 1,
"amount": 20,
"name": "MORACLE",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "e6fe5b0fe4fe5f92c215b153a67cfb8d3e2245576875f52a6b8f9b9058cbb3b4",
"mainChain": true
}
],
"size": 6309,
"isUnconfirmed": false
}