Transaction
ID: c9a92215f9...ecd6
Inputs (8)
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:
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:
5.52 ERG
Outputs (9)
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.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:
5.52 ERG
Transaction Details
Confirmations: 6,733
Total coins transferred: 5.59 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000281 ERG
Raw Transaction Data
{
"id": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"inclusionHeight": 1762752,
"timestamp": 1776035401499,
"index": 10,
"globalIndex": 10589715,
"numConfirmations": 6733,
"inputs": [
{
"boxId": "cd3434d305401fc9d15540f9259d6e2c7121bf78a2a209b12af408235e93d531",
"value": 10000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "9f585559114dd8e551a4bfb6c04a67e78a9ca83deae2f566c812bf41ab3ce9ae",
"outputTransactionId": "4449c26cb20861912eaa0e3a96698a72cd796268320e574b53dca64b38959a30",
"outputIndex": 0,
"outputGlobalIndex": 54694448,
"outputCreatedAt": 1762744,
"outputSettledAt": 1762746,
"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": 9979644,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R5": {
"serializedValue": "64a6234a3d23c5821401479d4615654b465073b3b9c8df3a8caa10c82919a3045605072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
}
},
{
"boxId": "f87328a98765840db3e8dd036f8ef8267f0436e83620ee81248884b66bbf8bca",
"value": 10000000,
"index": 1,
"spendingProof": "941c60797bb2524e99d455b315a9c156590c1bce310d51ff90ed0f88e94ea2830f2f99eb7176cc06ca8eda8bd514770227219b9729797c99",
"outputBlockId": "9f585559114dd8e551a4bfb6c04a67e78a9ca83deae2f566c812bf41ab3ce9ae",
"outputTransactionId": "4449c26cb20861912eaa0e3a96698a72cd796268320e574b53dca64b38959a30",
"outputIndex": 1,
"outputGlobalIndex": 54694449,
"outputCreatedAt": 1762744,
"outputSettledAt": 1762746,
"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": "f57e4873ecdb77149ec12be5ee292df10a98542bfbf09c2240e281d95c470992",
"value": 10000000,
"index": 2,
"spendingProof": "5c52d453f14db4598a9c74f91d6eb2646bacb58d800cf09187ab7188588f36a9ace2acfa62a94e6768387c3e83165edaa83b2cc01d49d50d",
"outputBlockId": "9f585559114dd8e551a4bfb6c04a67e78a9ca83deae2f566c812bf41ab3ce9ae",
"outputTransactionId": "4449c26cb20861912eaa0e3a96698a72cd796268320e574b53dca64b38959a30",
"outputIndex": 2,
"outputGlobalIndex": 54694450,
"outputCreatedAt": 1762744,
"outputSettledAt": 1762746,
"ergoTree": "1006040004000400040008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b0400d802d601b2db6308a7730000d602b2b5a5d9010263d801d604db63087202ed91b172047301938cb27204730200018c720101730300ea02ea02ea02ea02ea027304d193b2db630872027305007201d193c27202c2a7d193e4c67202070ee4c6a7070ed192c17202c1a7d1edede6c672020411e6c672020511e6c672020604",
"ergoTreeConstants": "0: 0\n1: 0\n2: 0\n3: 0\n4: SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))\n5: 0",
"ergoTreeScript": "{\n val tuple1 = SELF.tokens(placeholder[Int](0))\n val box2 = OUTPUTS.filter({(box2: Box) =>\n val coll4 = box2.tokens\n (coll4.size > placeholder[Int](1)) && (coll4(placeholder[Int](2))._1 == tuple1._1)\n })(placeholder[Int](3))\n placeholder[SigmaProp](4) && sigmaProp(box2.tokens(placeholder[Int](5)) == tuple1) && sigmaProp(box2.propositionBytes == SELF.propositionBytes) && sigmaProp(\n box2.R7[Coll[Byte]].get == SELF.R7[Coll[Byte]].get\n ) && sigmaProp(box2.value >= SELF.value) && sigmaProp((box2.R4[Coll[Long]].isDefined && box2.R5[Coll[Long]].isDefined) && box2.R6[Int].isDefined)\n}",
"address": "zLQUkB1HjNMi11pafYwCfPugsQm8YQRTYhr5tfgCwK5jRZjTe6CqkG1SShzuEY1unaCQB2566C52j79g5GmpRyybHfiAYgFAM1zj4NVn5x9WbjeGQowzGjBMysU4hTnDVnZnqf5beZCyXLd2ZQRtordB96TQcxz9FnWQbPoAh62iJA5n5URMtVFCzC31zQMW91CAHLG54P5BDcGmGtdJXfPQQQUUBPEn4iWTYYggNJ8tTDCmgc",
"assets": [
{
"tokenId": "3182674f07dbb98d696d38eda53e63eb3bf5fe570f71dee85eb954d6cf903bba",
"index": 0,
"amount": 1,
"name": "MCOMPANION",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "11158a4e8037c235c84bc8578ece01909b01fe47d855b80ab00a9e79f040fcca01e0ea01b85df263cc49e648f6920200",
"sigmaType": "Coll[SLong]",
"renderedValue": "[4997,3520,3425,4836,5604,13191,9928,4607,5484,668,664,7759,4152,12990,15024,5980,6393,4710,4659,17595,0]"
},
"R6": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R8": {
"serializedValue": "1115a0caa2af1080f8a4e68f04a0aaddb504f88c0b98851d9a4ebc17b8a8d301ecb40aa0f28be532a0d6e680e502b0a1ee45f0b8c1058080d46180d6db6390dbc90280a58e13a4f12480f2aaa024b4b76000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70840000000,593210000,90940,237900,5005,1502,1731100,85302,6816890000,47916570000,73255000,5779000,102400000,104560000,2701000,20040000,302162,4865744000,789978,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "1115c4dff9b9108eaac7ed9304ceaaa1b704ea920bbcb01da04e9217e2d9d401e8c60afad98de532b49aa381e502c69be348e0e7cd05b489935bbec8c05ceacdc3029efe8013fe922580e3c5c524f4ec5c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2208249826,71384492679,594815655,91317,240670,5008,1481,1742449,86452,6816904829,47917065882,76310243,5880304,95576666,96997919,2650997,19931023,304319,4904761536,760634,0]"
}
}
},
{
"boxId": "83c1aa8b31d11b460a495cd1395d9d3d75dcddb3cb5b8139f16c74352cf70cb3",
"value": 10000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "01f0fbdb25bf7a4c84ac5143c1e295f7c3b5ee675cda203d78794b5cbfb1a98c",
"outputTransactionId": "c520ae5b9ff7f5ac660ac3b68ee2282971c2d2cc032c826f63cce82aa895511c",
"outputIndex": 3,
"outputGlobalIndex": 54694486,
"outputCreatedAt": 1762746,
"outputSettledAt": 1762747,
"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": 749,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "07020eec8f01c0fecb34928237f55ee4a11ba76d1b1b2b69cd5f04809f51bfb470d7",
"sigmaType": "SGroupElement",
"renderedValue": "020eec8f01c0fecb34928237f55ee4a11ba76d1b1b2b69cd5f04809f51bfb470d7"
},
"R5": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R6": {
"serializedValue": "1115a0caa2af1080c79cfc8f04e0bd95b604d08c0ba0821d924ea617a097d301a8b80aa0f28be532a0d6e680e502d0818346808dc005a0a3a961a0eab563e0eac90280a58e13cee124e2ed94f523b0b86000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70863000000,593670000,90920,237712,5001,1491,1730000,85524,6816890000,47916570000,73425000,5768000,102050000,104250000,2702000,20040000,301159,4820474737,790040,0]"
}
}
},
{
"boxId": "2481195afd05d6702b8620430dc63c1c7f51283651c655de36141f6a10093abf",
"value": 10000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "01f0fbdb25bf7a4c84ac5143c1e295f7c3b5ee675cda203d78794b5cbfb1a98c",
"outputTransactionId": "c520ae5b9ff7f5ac660ac3b68ee2282971c2d2cc032c826f63cce82aa895511c",
"outputIndex": 2,
"outputGlobalIndex": 54694485,
"outputCreatedAt": 1762746,
"outputSettledAt": 1762747,
"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": 743,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "070348b96b2ff8efc1b13980b998a63a20499f94a20646401145629028985febc62b",
"sigmaType": "SGroupElement",
"renderedValue": "0348b96b2ff8efc1b13980b998a63a20499f94a20646401145629028985febc62b"
},
"R5": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R6": {
"serializedValue": "1115a0caa2af1080c79cfc8f04e0bd95b604d08c0ba0821d924ea617a097d301a8b80aa0f28be532a0d6e680e502d0818346808dc005a0a3a961a0eab563e0eac90280a58e13cee124e2ed94f523b0b86000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70863000000,593670000,90920,237712,5001,1491,1730000,85524,6816890000,47916570000,73425000,5768000,102050000,104250000,2702000,20040000,301159,4820474737,790040,0]"
}
}
},
{
"boxId": "0c53e87e6f5de0b002aed45cf1400039d21744b3b476392effa7629928294751",
"value": 10000000,
"index": 5,
"spendingProof": null,
"outputBlockId": "01f0fbdb25bf7a4c84ac5143c1e295f7c3b5ee675cda203d78794b5cbfb1a98c",
"outputTransactionId": "c520ae5b9ff7f5ac660ac3b68ee2282971c2d2cc032c826f63cce82aa895511c",
"outputIndex": 1,
"outputGlobalIndex": 54694484,
"outputCreatedAt": 1762746,
"outputSettledAt": 1762747,
"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": 751,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702668d6fa375e258894f78d1e4bab8c2a82562b01358d48f52dbdf3fe439068ee8",
"sigmaType": "SGroupElement",
"renderedValue": "02668d6fa375e258894f78d1e4bab8c2a82562b01358d48f52dbdf3fe439068ee8"
},
"R5": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R6": {
"serializedValue": "1115a0caa2af1080c79cfc8f04e0bd95b604d08c0ba0821d924ea617a097d301a8b80aa0f28be532a0d6e680e502d0818346808dc005a0a3a961a0eab563e0eac90280a58e13cee124e2ed94f523b0b86000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70863000000,593670000,90920,237712,5001,1491,1730000,85524,6816890000,47916570000,73425000,5768000,102050000,104250000,2702000,20040000,301159,4820474737,790040,0]"
}
}
},
{
"boxId": "917987aeaafc28f04291d27efd9355fb250d2ac1eba18d138232f49e59b7be0c",
"value": 10000000,
"index": 6,
"spendingProof": null,
"outputBlockId": "01f0fbdb25bf7a4c84ac5143c1e295f7c3b5ee675cda203d78794b5cbfb1a98c",
"outputTransactionId": "c520ae5b9ff7f5ac660ac3b68ee2282971c2d2cc032c826f63cce82aa895511c",
"outputIndex": 0,
"outputGlobalIndex": 54694483,
"outputCreatedAt": 1762746,
"outputSettledAt": 1762747,
"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": 743,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702809d2448f994cf783a28f8d51cea8373855ac49afc1b50dfd1e2aa8f9da7227d",
"sigmaType": "SGroupElement",
"renderedValue": "02809d2448f994cf783a28f8d51cea8373855ac49afc1b50dfd1e2aa8f9da7227d"
},
"R5": {
"serializedValue": "04ca25",
"sigmaType": "SInt",
"renderedValue": "2405"
},
"R6": {
"serializedValue": "1115a0caa2af1080c79cfc8f04e0bd95b604d08c0ba0821d924ea617a097d301a8b80aa0f28be532a0d6e680e502d0818346808dc005a0a3a961a0eab563e0eac90280a58e13cee124e2ed94f523b0b86000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70863000000,593670000,90920,237712,5001,1491,1730000,85524,6816890000,47916570000,73425000,5768000,102050000,104250000,2702000,20040000,301159,4820474737,790040,0]"
}
}
},
{
"boxId": "de16af8c0f2f215941cfb6e5ec4589744d5467e5a83127553b546d13057d9e7e",
"value": 5518000000,
"index": 7,
"spendingProof": "8eb9da270432028cf5c9b6a6282abd2248cde468bac74662c72314e89690aeb26cf58a2dad62363d80b399584ab71ac82a00677f74f6bb28",
"outputBlockId": "01f0fbdb25bf7a4c84ac5143c1e295f7c3b5ee675cda203d78794b5cbfb1a98c",
"outputTransactionId": "c520ae5b9ff7f5ac660ac3b68ee2282971c2d2cc032c826f63cce82aa895511c",
"outputIndex": 5,
"outputGlobalIndex": 54694488,
"outputCreatedAt": 1762746,
"outputSettledAt": 1762747,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "71744f2459e1be18ba7ed31f8dff5b52afae2549df54e4fda653c2350f13b849",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 0,
"globalIndex": 54694658,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": 9979636,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04cc25",
"sigmaType": "SInt",
"renderedValue": "2406"
},
"R5": {
"serializedValue": "64e1984aab9ffdec7faf30094b5984445e4d963c9b3eba38c06ab90b23e7cea9cd05072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
},
"spentTransactionId": "9b042f0861f798d011ec92c02e282ad52d73551982d529073cc68eaccc8a6249",
"mainChain": true
},
{
"boxId": "4286e677cba56508e9e5171030c2efeb197ee44d33959792bc7a62ca4a9cb57c",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 1,
"globalIndex": 54694659,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": "9b042f0861f798d011ec92c02e282ad52d73551982d529073cc68eaccc8a6249",
"mainChain": true
},
{
"boxId": "0579b70327862482d1f8f95766ddf2f9b7adf92db6ce1520d8c672d905f5e17b",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 2,
"globalIndex": 54694660,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"ergoTree": "1006040004000400040008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b0400d802d601b2db6308a7730000d602b2b5a5d9010263d801d604db63087202ed91b172047301938cb27204730200018c720101730300ea02ea02ea02ea02ea027304d193b2db630872027305007201d193c27202c2a7d193e4c67202070ee4c6a7070ed192c17202c1a7d1edede6c672020411e6c672020511e6c672020604",
"ergoTreeConstants": "0: 0\n1: 0\n2: 0\n3: 0\n4: SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))\n5: 0",
"ergoTreeScript": "{\n val tuple1 = SELF.tokens(placeholder[Int](0))\n val box2 = OUTPUTS.filter({(box2: Box) =>\n val coll4 = box2.tokens\n (coll4.size > placeholder[Int](1)) && (coll4(placeholder[Int](2))._1 == tuple1._1)\n })(placeholder[Int](3))\n placeholder[SigmaProp](4) && sigmaProp(box2.tokens(placeholder[Int](5)) == tuple1) && sigmaProp(box2.propositionBytes == SELF.propositionBytes) && sigmaProp(\n box2.R7[Coll[Byte]].get == SELF.R7[Coll[Byte]].get\n ) && sigmaProp(box2.value >= SELF.value) && sigmaProp((box2.R4[Coll[Long]].isDefined && box2.R5[Coll[Long]].isDefined) && box2.R6[Int].isDefined)\n}",
"address": "zLQUkB1HjNMi11pafYwCfPugsQm8YQRTYhr5tfgCwK5jRZjTe6CqkG1SShzuEY1unaCQB2566C52j79g5GmpRyybHfiAYgFAM1zj4NVn5x9WbjeGQowzGjBMysU4hTnDVnZnqf5beZCyXLd2ZQRtordB96TQcxz9FnWQbPoAh62iJA5n5URMtVFCzC31zQMW91CAHLG54P5BDcGmGtdJXfPQQQUUBPEn4iWTYYggNJ8tTDCmgc",
"assets": [
{
"tokenId": "3182674f07dbb98d696d38eda53e63eb3bf5fe570f71dee85eb954d6cf903bba",
"index": 0,
"amount": 1,
"name": "MCOMPANION",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "11159a4ef836c235c84bc857e6cd01f29b01c247d055b80ab00aba7988419ecb01feea01b85df263e049844af6920200",
"sigmaType": "Coll[SLong]",
"renderedValue": "[5005,3516,3425,4836,5604,13171,9977,4577,5480,668,664,7773,4164,13007,15039,5980,6393,4720,4738,17595,0]"
},
"R6": {
"serializedValue": "04cc25",
"sigmaType": "SInt",
"renderedValue": "2406"
},
"R8": {
"serializedValue": "1115a0caa2af1080c79cfc8f04e0bd95b604d08c0ba0821d924ea617a097d301a8b80aa0f28be532a0d6e680e502d0818346808dc005a0a3a961a0eab563e0eac90280a58e13cee124e2ed94f523b0b86000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2197050000,70863000000,593670000,90920,237712,5001,1491,1730000,85524,6816890000,47916570000,73425000,5768000,102050000,104250000,2702000,20040000,301159,4820474737,790040,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "11158aa5d4b910b0a0f7df930496c09db704d4920b9aaf1da04e9217b8d4d401b6c60aced38de53290c6a181e502b6c8d948d6b7cd05c4dca85bfce8d85cd4e3c302f2ac8113d09125aaf1abc324c0f95c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2207942981,71370205208,594784267,91306,240589,5008,1481,1742108,86427,6816904423,47917052296,76231195,5877227,95754018,97196606,2652394,19934009,304232,4902452309,761440,0]"
}
},
"spentTransactionId": "9b042f0861f798d011ec92c02e282ad52d73551982d529073cc68eaccc8a6249",
"mainChain": true
},
{
"boxId": "ddb6d246083a709d3584e1988add51ac5ec780ff20e45abdb2698d5c379c8dc9",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 3,
"globalIndex": 54694661,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": 751,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "07020eec8f01c0fecb34928237f55ee4a11ba76d1b1b2b69cd5f04809f51bfb470d7",
"sigmaType": "SGroupElement",
"renderedValue": "020eec8f01c0fecb34928237f55ee4a11ba76d1b1b2b69cd5f04809f51bfb470d7"
}
},
"spentTransactionId": "4370f681c2c5c4869bc06219a259c752044b53b03421a58c03ffb6cd937a4dd2",
"mainChain": true
},
{
"boxId": "7285e773e9c945c4f0765c7f179cc47baec42a92e76bee839508026a098e91d7",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 4,
"globalIndex": 54694662,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": 745,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "070348b96b2ff8efc1b13980b998a63a20499f94a20646401145629028985febc62b",
"sigmaType": "SGroupElement",
"renderedValue": "0348b96b2ff8efc1b13980b998a63a20499f94a20646401145629028985febc62b"
}
},
"spentTransactionId": "4370f681c2c5c4869bc06219a259c752044b53b03421a58c03ffb6cd937a4dd2",
"mainChain": true
},
{
"boxId": "3f8ce31bd11b77f700eec40bfcefa5848c4c04c5739a81b1f6cfdb898ecbc457",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 5,
"globalIndex": 54694663,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": 753,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702668d6fa375e258894f78d1e4bab8c2a82562b01358d48f52dbdf3fe439068ee8",
"sigmaType": "SGroupElement",
"renderedValue": "02668d6fa375e258894f78d1e4bab8c2a82562b01358d48f52dbdf3fe439068ee8"
}
},
"spentTransactionId": "4370f681c2c5c4869bc06219a259c752044b53b03421a58c03ffb6cd937a4dd2",
"mainChain": true
},
{
"boxId": "5604e98675721fc81063858787b2fa1304183259810d0b597cd5a3b12e719ffe",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 10000000,
"index": 6,
"globalIndex": 54694664,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": 745,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702809d2448f994cf783a28f8d51cea8373855ac49afc1b50dfd1e2aa8f9da7227d",
"sigmaType": "SGroupElement",
"renderedValue": "02809d2448f994cf783a28f8d51cea8373855ac49afc1b50dfd1e2aa8f9da7227d"
}
},
"spentTransactionId": "4370f681c2c5c4869bc06219a259c752044b53b03421a58c03ffb6cd937a4dd2",
"mainChain": true
},
{
"boxId": "0dcf6a079e953229320366255dbdc4ef782284dee69f5627a443491964907a52",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 2000000,
"index": 7,
"globalIndex": 54694665,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"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": "1318d2565282629e2bf7248f699c038eb1afd2ff54d38b0fbbfb27f6a32e463a",
"mainChain": true
},
{
"boxId": "19cfa5b5a79f654174d13694f41cbda7fb4b4b84d40c74782a2ac0b1a3aa0694",
"transactionId": "c9a92215f9d839da0e7801fe6bfd401b35299161870924d9d61465ebc41aecd6",
"blockId": "27558a9f46e1161a41057a5e302bdb7f2c237703b2999327a0e7dc68358d27a6",
"value": 5516000000,
"index": 8,
"globalIndex": 54694666,
"creationHeight": 1762751,
"settlementHeight": 1762752,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "4370f681c2c5c4869bc06219a259c752044b53b03421a58c03ffb6cd937a4dd2",
"mainChain": true
}
],
"size": 7125,
"isUnconfirmed": false
}