Transaction
ID: 4e4be3d253...2932
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.62 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.62 ERG
Transaction Details
Confirmations: 528
Total coins transferred: 5.69 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000281 ERG
Raw Transaction Data
{
"id": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"inclusionHeight": 1776903,
"timestamp": 1777752623330,
"index": 16,
"globalIndex": 10685649,
"numConfirmations": 528,
"inputs": [
{
"boxId": "93d4ee6a7ae1c337a15fa432a63364bbf39e3ee3670411009d621210a6bd722c",
"value": 10000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "3c6fb8ceeaffc96408de1d1c264a91019f18063016994c151d9100375cc3d0b4",
"outputTransactionId": "9674bd95d67750b5a65fc6d695425f833e72d12c11625665aef7accdb7b82e2d",
"outputIndex": 0,
"outputGlobalIndex": 55060562,
"outputCreatedAt": 1776894,
"outputSettledAt": 1776896,
"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": 9963892,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R5": {
"serializedValue": "643cfe5118da942b478b32deb07d18ad2f5addab8683a121e97986cb6278f4548505072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
}
},
{
"boxId": "f8587520b1cc87d5b5922d8691d39a7e6768b6904dda057a7b339b4e90524376",
"value": 10000000,
"index": 1,
"spendingProof": "3589ff40cfc832eb8023f8b350d0c319b4418a71d0317f61b757654e60ee9a69b12222e811df9710f9c251daa04dfbaefa557d74740c908b",
"outputBlockId": "3c6fb8ceeaffc96408de1d1c264a91019f18063016994c151d9100375cc3d0b4",
"outputTransactionId": "9674bd95d67750b5a65fc6d695425f833e72d12c11625665aef7accdb7b82e2d",
"outputIndex": 1,
"outputGlobalIndex": 55060563,
"outputCreatedAt": 1776894,
"outputSettledAt": 1776896,
"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": "758a57c2b8d1b4a164b0fcbec18ddcfc78d8499a7bb7926dff55089523254c66",
"value": 10000000,
"index": 2,
"spendingProof": "59d647df7f1a415c2075f76128acc701d0ee01ff2c4632a1cbe1be84f09780a8f738cfa8aab15ea83cfb6a915da7ec2ee1835b03343afcec",
"outputBlockId": "3c6fb8ceeaffc96408de1d1c264a91019f18063016994c151d9100375cc3d0b4",
"outputTransactionId": "9674bd95d67750b5a65fc6d695425f833e72d12c11625665aef7accdb7b82e2d",
"outputIndex": 2,
"outputGlobalIndex": 55060564,
"outputCreatedAt": 1776894,
"outputSettledAt": 1776896,
"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": "1115d837e42fa020c65afc398eaa01f843c63de849e211ca13a84a9c1e868502b665ce5ae4db0e942fe035d6820100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[3564,3058,2064,5795,3710,10887,4348,3939,4724,1137,1253,4756,1934,16707,6491,5799,120562,3018,3440,8363,0]"
},
"R6": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R8": {
"serializedValue": "1115e0b2c59c11f0d7fcdbc804e0bcf7cd04ca9d0d9cd41ede54c017a0dbe601fce20b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc159ef924a4e0e5ce23dcb06c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2311630000,78479595000,618590000,108389,251150,5423,1504,1890000,96446,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,302671,4780242962,887854,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "11159af1c19511a2b180b1c70490f9bacc04829d0d8ab41e9254a417eab3e601f4dd0be4aaf6ee35a2c188eff0028a99e048e0a0da05a4d7a567b4b9af618ab8d302b0e8a11580e224de9df9c72396e96b00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2304261197,78300318801,617045576,108353,249093,5385,1490,1887477,96122,7229852338,49508585553,76285509,5982256,108312018,102100570,2780677,22297112,301184,4773062511,883275,0]"
}
}
},
{
"boxId": "af6d6edde7ed703525cc238b0e65925a518853504c472e9884d4f18cf80addc5",
"value": 10000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "bac38a53faf4ecdcea4459791888a8e0db9c412b3ac67e8691513c7407b738d9",
"outputTransactionId": "f660fd0c6c3f3b03e9f119d20cb6fb8dd03fd2cf8680c29fc201ef14d5813d20",
"outputIndex": 3,
"outputGlobalIndex": 55060659,
"outputCreatedAt": 1776897,
"outputSettledAt": 1776899,
"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": 7523,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
},
"R5": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R6": {
"serializedValue": "1115f0c2b39b1190aaa5c9c804e08f86ce04e69d0dc8d61ed454be17e8c3e601fee30b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc15a681259ae3c7d623b4846c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2310435000,78460005000,618710000,108403,251300,5418,1503,1888500,96511,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,303187,4788385997,885018,0]"
}
}
},
{
"boxId": "072613dc237088ea0539b46eb2efca79ca8944b6cc9070f846c1520f4fdd53af",
"value": 10000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "bac38a53faf4ecdcea4459791888a8e0db9c412b3ac67e8691513c7407b738d9",
"outputTransactionId": "f660fd0c6c3f3b03e9f119d20cb6fb8dd03fd2cf8680c29fc201ef14d5813d20",
"outputIndex": 2,
"outputGlobalIndex": 55060658,
"outputCreatedAt": 1776897,
"outputSettledAt": 1776899,
"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": 7519,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
},
"R5": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R6": {
"serializedValue": "1115f0c2b39b1190aaa5c9c804e08f86ce04e69d0dc8d61ed454be17e8c3e601fee30b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc15a681259ae3c7d623b4846c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2310435000,78460005000,618710000,108403,251300,5418,1503,1888500,96511,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,303187,4788385997,885018,0]"
}
}
},
{
"boxId": "42591d2cfd27ca31c660f2d7269a893cd75c66a60ff5cb6c2bd72fe7ff5c249d",
"value": 10000000,
"index": 5,
"spendingProof": null,
"outputBlockId": "bac38a53faf4ecdcea4459791888a8e0db9c412b3ac67e8691513c7407b738d9",
"outputTransactionId": "f660fd0c6c3f3b03e9f119d20cb6fb8dd03fd2cf8680c29fc201ef14d5813d20",
"outputIndex": 1,
"outputGlobalIndex": 55060657,
"outputCreatedAt": 1776897,
"outputSettledAt": 1776899,
"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": 7519,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
},
"R5": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R6": {
"serializedValue": "1115f0c2b39b1190aaa5c9c804e08f86ce04e69d0dc8d61ed454be17e8c3e601fee30b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc15a681259ae3c7d623b4846c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2310435000,78460005000,618710000,108403,251300,5418,1503,1888500,96511,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,303187,4788385997,885018,0]"
}
}
},
{
"boxId": "8b23d99756836f1849a8118e1259d0c9a49b0b4d52579611cc06f851512526dd",
"value": 10000000,
"index": 6,
"spendingProof": null,
"outputBlockId": "bac38a53faf4ecdcea4459791888a8e0db9c412b3ac67e8691513c7407b738d9",
"outputTransactionId": "f660fd0c6c3f3b03e9f119d20cb6fb8dd03fd2cf8680c29fc201ef14d5813d20",
"outputIndex": 0,
"outputGlobalIndex": 55060656,
"outputCreatedAt": 1776897,
"outputSettledAt": 1776899,
"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": 7529,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
},
"R5": {
"serializedValue": "04ac44",
"sigmaType": "SInt",
"renderedValue": "4374"
},
"R6": {
"serializedValue": "1115f0c2b39b1190aaa5c9c804e08f86ce04e69d0dc8d61ed454be17e8c3e601fee30b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc15a681259ae3c7d623b4846c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2310435000,78460005000,618710000,108403,251300,5418,1503,1888500,96511,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,303187,4788385997,885018,0]"
}
}
},
{
"boxId": "d6a2c79cefe7ec441d062a64f282920f69eaa696a7434c25f762195312302458",
"value": 5618000000,
"index": 7,
"spendingProof": "4a8b450548dd24966f16fe985eecf062b29db79e0e6389c827ac690cd751bcb0bf25e8ac3cc57242b5014541e4aa35e160d2532ed3fcdad0",
"outputBlockId": "bac38a53faf4ecdcea4459791888a8e0db9c412b3ac67e8691513c7407b738d9",
"outputTransactionId": "f660fd0c6c3f3b03e9f119d20cb6fb8dd03fd2cf8680c29fc201ef14d5813d20",
"outputIndex": 5,
"outputGlobalIndex": 55060661,
"outputCreatedAt": 1776897,
"outputSettledAt": 1776899,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "1906644bf40b4de581ceb6e5ad19285b117b708201aabf3c3ec61ce490fb5441",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 0,
"globalIndex": 55060778,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": 9963884,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04ae44",
"sigmaType": "SInt",
"renderedValue": "4375"
},
"R5": {
"serializedValue": "646a4ba0786e6c687af520d90fc795c93398fc0e8d03921ab28bf4ea2bb8639f3005072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
},
"spentTransactionId": "3ab64bb9a768a8e7bf2d940f088ea65129c42a3b0f0165fddfc6cbd605aa53bc",
"mainChain": true
},
{
"boxId": "795a4dc338e4f93a1c067294f991dc34cbcec941817a0744dcc4c5ff29f4b06f",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 1,
"globalIndex": 55060779,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": "3ab64bb9a768a8e7bf2d940f088ea65129c42a3b0f0165fddfc6cbd605aa53bc",
"mainChain": true
},
{
"boxId": "8834bbcf09deccfe0ba6ce3fa54a9dbbbf0767885433ff8c28cdfea8de135766",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 2,
"globalIndex": 55060780,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": "11158e37c42fa020965afc398caa01e843d23ce849e211ca13be4aa61ecc8502a064f05ae4db0e9c2fe435b0810100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[3527,3042,2064,5771,3710,10886,4340,3881,4724,1137,1253,4767,1939,16742,6416,5816,120562,3022,3442,8280,0]"
},
"R6": {
"serializedValue": "04ae44",
"sigmaType": "SInt",
"renderedValue": "4375"
},
"R8": {
"serializedValue": "1115f0c2b39b1190aaa5c9c804e08f86ce04e69d0dc8d61ed454be17e8c3e601fee30b808197ef35e0ad97e6f002b0faf148e8c3da05a0ac9467c0ec9b61c0add302a0f2cc15a681259ae3c7d623b4846c00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2310435000,78460005000,618710000,108403,251300,5418,1503,1888500,96511,7230120000,49499270000,76431000,5984500,108170000,101940000,2780000,22650000,303187,4788385997,885018,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "11158cc4d695118ab896b5c704d2c1c0cc04849d0d82b51e9454a417a2b4e6018ade0bae9df7ee35b8ade9eef002aed7e048daa1da05be9aa567d6f4ae61e4b7d302b8ffa215eee224babdacc823f6e96b00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2304430342,78304693765,617091177,108354,249153,5386,1490,1887505,96133,7229859671,49508330332,76289495,5982317,108308127,102096171,2780658,22306780,301239,4773482333,883323,0]"
}
},
"spentTransactionId": "3ab64bb9a768a8e7bf2d940f088ea65129c42a3b0f0165fddfc6cbd605aa53bc",
"mainChain": true
},
{
"boxId": "eb6ab3d913531afb53a11a0c305cfb3ce69afa26ddfbbad083765a6e47be3f73",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 3,
"globalIndex": 55060781,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": 7525,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
}
},
"spentTransactionId": "ede205a7d450ce957e1a0e2ddc17a41b9c2e9076a1ac39e8df247ff06085d429",
"mainChain": true
},
{
"boxId": "8f011c6762f3ce50fc2417dbce4b6d008fe28baaaa326c01eddfdc592863644c",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 4,
"globalIndex": 55060782,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": 7521,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
}
},
"spentTransactionId": "ede205a7d450ce957e1a0e2ddc17a41b9c2e9076a1ac39e8df247ff06085d429",
"mainChain": true
},
{
"boxId": "56455b37f011303a048f7675c3bc286a8e1273bdeee7563940253322d60f3568",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 5,
"globalIndex": 55060783,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": 7521,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
}
},
"spentTransactionId": "ede205a7d450ce957e1a0e2ddc17a41b9c2e9076a1ac39e8df247ff06085d429",
"mainChain": true
},
{
"boxId": "9dff537aa563c64cf645957f22a30ccbb188f2e0121e974a13f91a0c241cd2cb",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 10000000,
"index": 6,
"globalIndex": 55060784,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": 7531,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
}
},
"spentTransactionId": "ede205a7d450ce957e1a0e2ddc17a41b9c2e9076a1ac39e8df247ff06085d429",
"mainChain": true
},
{
"boxId": "e20b78a7566cfa3e83e2ee9ea60c9bc690988b0d8ca19cbdc611598b9819a54c",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 2000000,
"index": 7,
"globalIndex": 55060785,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"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": "5441755e90166762ee75476395e01da5122a11c3d4e8b7abcfbb2e62422b5c7f",
"mainChain": true
},
{
"boxId": "301b44db2f4f01ed0907156b3671a11eb7d015a7bb667fb8f2598d5105180c84",
"transactionId": "4e4be3d253d331d475620a8146ba518c1cd4fa596fe3868b179d8fe973e72932",
"blockId": "d61fc52d71718262e507a892ea59912477a397befb23124a9f183581e08e8764",
"value": 5616000000,
"index": 8,
"globalIndex": 55060786,
"creationHeight": 1776901,
"settlementHeight": 1776903,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "ede205a7d450ce957e1a0e2ddc17a41b9c2e9076a1ac39e8df247ff06085d429",
"mainChain": true
}
],
"size": 7124,
"isUnconfirmed": false
}