Transaction
ID: 0819e9d838...94f6
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:
2.02 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:
2.02 ERG
Transaction Details
Confirmations: 8,042
Total coins transferred: 2.09 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000281 ERG
Raw Transaction Data
{
"id": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"inclusionHeight": 1769013,
"timestamp": 1776797695280,
"index": 5,
"globalIndex": 10634337,
"numConfirmations": 8042,
"inputs": [
{
"boxId": "1f19d01d74ee1ce75d5794a6d36c5268462aef6b71ea612bf0c51fb27d3b9f0a",
"value": 10000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "6d1860a8ceb9cbe85b614e1c9cdcf732090d3cbcabf0815d8df0e1d6a9d7f132",
"outputTransactionId": "4cf15046117cd1478baa516cc7ab07ac422d74712626a92f3800238f7c5e9343",
"outputIndex": 0,
"outputGlobalIndex": 54865109,
"outputCreatedAt": 1769004,
"outputSettledAt": 1769006,
"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": 9972692,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R5": {
"serializedValue": "641640e75cda83189d1be9f27b1bdba37570b74109a382b10a4cfdcfdec6ab2fd905072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
}
},
{
"boxId": "745bd0198003eb281d37ff27c607b55765bbbfbde9c80e5a663a84d4d3f2e286",
"value": 10000000,
"index": 1,
"spendingProof": "d7118e2b7536cf7f865017f48e4a44ee70f238147a7bbf564b0f308b56ef4b50fbdccee99fd86ee8b6f4c744cc71c52d060a99b05aedd0f0",
"outputBlockId": "6d1860a8ceb9cbe85b614e1c9cdcf732090d3cbcabf0815d8df0e1d6a9d7f132",
"outputTransactionId": "4cf15046117cd1478baa516cc7ab07ac422d74712626a92f3800238f7c5e9343",
"outputIndex": 1,
"outputGlobalIndex": 54865110,
"outputCreatedAt": 1769004,
"outputSettledAt": 1769006,
"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": "f87c9df8b1d8230cfe3e911da889f6b31f407bd04695422d890aedf52e13bed6",
"value": 10000000,
"index": 2,
"spendingProof": "ed30b0e801a7af27ee75cea8f732b7d25c6f3dea6aac339c4c982646921e526afb7abbc30ac8c1bd7e65643a55c308fe5c5254d24c04abdf",
"outputBlockId": "6d1860a8ceb9cbe85b614e1c9cdcf732090d3cbcabf0815d8df0e1d6a9d7f132",
"outputTransactionId": "4cf15046117cd1478baa516cc7ab07ac422d74712626a92f3800238f7c5e9343",
"outputIndex": 2,
"outputGlobalIndex": 54865111,
"outputCreatedAt": 1769004,
"outputSettledAt": 1769006,
"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": "1115ea59d245e43a8854b461f0b702aa66d456d0b301f80fc412f856c22eecab01d69101ec49eee9048234ec36fafd0100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[5749,4457,3762,5380,6234,19960,6549,5546,11496,1020,1186,5564,2977,10998,9323,4726,39543,3329,3510,16253,0]"
},
"R6": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R8": {
"serializedValue": "1115e0f3ee951180b5eca4b204e0ea9dd804fabf0be6851eb0519417f8afdd019ec40b80e28fdc34a0a4d6dfee02b0b58849c0f7db05a096f258c087b755808aca0280c6fd14a8c026c085f09424b0b26100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2304630000,75469000000,629390000,94205,246131,5208,1482,1813500,94479,7075920000,49224010000,76615000,5996000,93210000,89580000,2704000,22000000,315412,4853727584,797848,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "1115f884b79e11b8d6d1e9b504c692c6da04eacd0bb4ac1edc4dbc17f0b7dc01a0dc0bea83edf53490bdd19ff002a4dfdd4aa29ae005d4a9af58a2e3df53f4aac702d6a89015fcd1269094a9e524f8db5e00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2313609532,75943785884,631817379,95093,248602,4974,1502,1805816,96016,7102898421,49425297224,78362578,6030993,92662378,87816401,2681530,22153771,316542,4938081544,775932,0]"
}
}
},
{
"boxId": "541bfaf1514e2e0c498abd139acbd1078408da85f8412a788e3e464690c8c973",
"value": 10000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "5557781e3431582609b2a5c9acc3e8ac19c4c28bb98e9fb402273e64d60273fb",
"outputTransactionId": "84928fbe5da0c0e06eff0f9a883b219a525d41eac2f80a586dc376e763573584",
"outputIndex": 3,
"outputGlobalIndex": 54865202,
"outputCreatedAt": 1769008,
"outputSettledAt": 1769009,
"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": 5329,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
},
"R5": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R6": {
"serializedValue": "1115c0e9e1971180dbc6e4b204a0fed5d804ecc10bb8881ecc518e17908fdd01d8c50b80d5badd34e0f6a0d3ee0280cb864980b9db058098e758e0dfa455a0acc90280c6fd14e4bb26f6f7eb9f24e6e96100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2306620000,75535800000,629850000,94326,246300,5222,1479,1811400,94572,7077320000,49210990000,76600000,5992000,93120000,89430000,2698000,22000000,315122,4865228283,801395,0]"
}
}
},
{
"boxId": "750534569b6e3cefd27b0d7d60d666ec20a34f7c7c1d92cf031edb1a076b7926",
"value": 10000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "5557781e3431582609b2a5c9acc3e8ac19c4c28bb98e9fb402273e64d60273fb",
"outputTransactionId": "84928fbe5da0c0e06eff0f9a883b219a525d41eac2f80a586dc376e763573584",
"outputIndex": 2,
"outputGlobalIndex": 54865201,
"outputCreatedAt": 1769008,
"outputSettledAt": 1769009,
"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": 5319,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
},
"R5": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R6": {
"serializedValue": "1115c0e9e1971180dbc6e4b204a0fed5d804ecc10bb8881ecc518e17908fdd01d8c50b80d5badd34e0f6a0d3ee0280cb864980b9db058098e758e0dfa455a0acc90280c6fd14e4bb26f6f7eb9f24e6e96100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2306620000,75535800000,629850000,94326,246300,5222,1479,1811400,94572,7077320000,49210990000,76600000,5992000,93120000,89430000,2698000,22000000,315122,4865228283,801395,0]"
}
}
},
{
"boxId": "90df3be45ee5426ea4137bce88135a810a04dffabaa258f73df0c160be6617ab",
"value": 10000000,
"index": 5,
"spendingProof": null,
"outputBlockId": "5557781e3431582609b2a5c9acc3e8ac19c4c28bb98e9fb402273e64d60273fb",
"outputTransactionId": "84928fbe5da0c0e06eff0f9a883b219a525d41eac2f80a586dc376e763573584",
"outputIndex": 1,
"outputGlobalIndex": 54865200,
"outputCreatedAt": 1769008,
"outputSettledAt": 1769009,
"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": 5319,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
},
"R5": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R6": {
"serializedValue": "1115c0e9e1971180dbc6e4b204a0fed5d804ecc10bb8881ecc518e17908fdd01d8c50b80d5badd34e0f6a0d3ee0280cb864980b9db058098e758e0dfa455a0acc90280c6fd14e4bb26f6f7eb9f24e6e96100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2306620000,75535800000,629850000,94326,246300,5222,1479,1811400,94572,7077320000,49210990000,76600000,5992000,93120000,89430000,2698000,22000000,315122,4865228283,801395,0]"
}
}
},
{
"boxId": "82bed10c9ac9d4d9105035fd93aa721f052c0c80281a9e2a6aeae43459ff11ef",
"value": 10000000,
"index": 6,
"spendingProof": null,
"outputBlockId": "5557781e3431582609b2a5c9acc3e8ac19c4c28bb98e9fb402273e64d60273fb",
"outputTransactionId": "84928fbe5da0c0e06eff0f9a883b219a525d41eac2f80a586dc376e763573584",
"outputIndex": 0,
"outputGlobalIndex": 54865199,
"outputCreatedAt": 1769008,
"outputSettledAt": 1769009,
"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": 5323,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
},
"R5": {
"serializedValue": "049433",
"sigmaType": "SInt",
"renderedValue": "3274"
},
"R6": {
"serializedValue": "1115c0e9e1971180dbc6e4b204a0fed5d804ecc10bb8881ecc518e17908fdd01d8c50b80d5badd34e0f6a0d3ee0280cb864980b9db058098e758e0dfa455a0acc90280c6fd14e4bb26f6f7eb9f24e6e96100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2306620000,75535800000,629850000,94326,246300,5222,1479,1811400,94572,7077320000,49210990000,76600000,5992000,93120000,89430000,2698000,22000000,315122,4865228283,801395,0]"
}
}
},
{
"boxId": "09403381714ac23cc50f6f522405a595a73cf42f893d85ade98cf356ffc03e1c",
"value": 2024000000,
"index": 7,
"spendingProof": "f3bc06605e075953b59d0f90c838e6800689126676b78314fd68e736af6b721c3689e261eb75e3bd6de4e05bc143738affe7f6b72b76ee5d",
"outputBlockId": "5557781e3431582609b2a5c9acc3e8ac19c4c28bb98e9fb402273e64d60273fb",
"outputTransactionId": "84928fbe5da0c0e06eff0f9a883b219a525d41eac2f80a586dc376e763573584",
"outputIndex": 5,
"outputGlobalIndex": 54865204,
"outputCreatedAt": 1769008,
"outputSettledAt": 1769009,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "8599570917a6945d9d1610fffe05062c6055dc463ecce775598e7518d683ddcd",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 0,
"globalIndex": 54865256,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": 9972684,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "049633",
"sigmaType": "SInt",
"renderedValue": "3275"
},
"R5": {
"serializedValue": "6434905c9f41dd2c6969d08b01eb3ae28a5fbf85452cd99986a7a9b0bc2ddbc0fa05072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
},
"spentTransactionId": "0d1b354b390d52a5b7912d5787952275e0884d7b9d4edb8a5df4d6411ef51b9c",
"mainChain": true
},
{
"boxId": "3df6ca6c295e35e1407bdb0d9ccf5d30f12829a2c19e4168c7be7b4c8fcd4099",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 1,
"globalIndex": 54865257,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": "0d1b354b390d52a5b7912d5787952275e0884d7b9d4edb8a5df4d6411ef51b9c",
"mainChain": true
},
{
"boxId": "cbb16c1e5b4ae45e162877ce65d6471e440717cda9f2c6a9c9056a36b5ca9a11",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 2,
"globalIndex": 54865258,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": "1115e459c845e03a8c54ae61f8b702f265ba55aeb201e60fae12d256b02e98ab019a9101da49eee9048234fa368cfe0100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[5746,4452,3760,5382,6231,19964,6521,5469,11415,1011,1175,5545,2968,10956,9293,4717,39543,3329,3517,16262,0]"
},
"R6": {
"serializedValue": "049633",
"sigmaType": "SInt",
"renderedValue": "3275"
},
"R8": {
"serializedValue": "1115c0e9e1971180dbc6e4b204a0fed5d804ecc10bb8881ecc518e17908fdd01d8c50b80d5badd34e0f6a0d3ee0280cb864980b9db058098e758e0dfa455a0acc90280c6fd14e4bb26f6f7eb9f24e6e96100",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2306620000,75535800000,629850000,94326,246300,5222,1479,1811400,94572,7077320000,49210990000,76600000,5992000,93120000,89430000,2698000,22000000,315122,4865228283,801395,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "1115ecd49f9e11fa9afddeb504acc8bfda04c0cd0bb6ab1eea4dba17a2badc01d0db0b94be97f53482e0849af002e0ecd74aca89e005c8edb0588296e553fab1c702ece68f15aed126f8c0b5e324ece65e00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2313418038,75932608189,631763478,95072,248539,4981,1501,1805969,95976,7102197642,49419425793,78314288,6029925,92674916,87860609,2681981,22149558,316503,4936085564,776630,0]"
}
},
"spentTransactionId": "0d1b354b390d52a5b7912d5787952275e0884d7b9d4edb8a5df4d6411ef51b9c",
"mainChain": true
},
{
"boxId": "07d33174eb480989b7468270dd30d41c6a7e635e4697e095a89d32600929f5a0",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 3,
"globalIndex": 54865259,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": 5331,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
}
},
"spentTransactionId": "b463349914a77836f3f88e71504d0bd9ead0790b20fd93000d5ab486cf2f4b94",
"mainChain": true
},
{
"boxId": "94fd180fcefb147c9354bc705bb71816f106fd6c81eb45854090ff02578e56d8",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 4,
"globalIndex": 54865260,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": 5321,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
}
},
"spentTransactionId": "b463349914a77836f3f88e71504d0bd9ead0790b20fd93000d5ab486cf2f4b94",
"mainChain": true
},
{
"boxId": "7b8c0eaab7a2701e97b31a9ee2382795841f793c125541ecb0e425aa2a1bd778",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 5,
"globalIndex": 54865261,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": 5321,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
}
},
"spentTransactionId": "b463349914a77836f3f88e71504d0bd9ead0790b20fd93000d5ab486cf2f4b94",
"mainChain": true
},
{
"boxId": "8af7ba0a22dde34f24db8e0dad12f1b980a2bd20e5f23f3e80f2f2fec3c30ba6",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 10000000,
"index": 6,
"globalIndex": 54865262,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": 5325,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
}
},
"spentTransactionId": "b463349914a77836f3f88e71504d0bd9ead0790b20fd93000d5ab486cf2f4b94",
"mainChain": true
},
{
"boxId": "93f0be4bcb01d858e7fdf8c263554eae917d9b8be0dfaa9de0e41c93e2252cd9",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 2000000,
"index": 7,
"globalIndex": 54865263,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"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": "d58e9c4ff05d750f1854a5da22fc1acd7a2c58bc7b65a3db2b5a1c178f55f9e5",
"mainChain": true
},
{
"boxId": "84d2dd526cfe40c0b32685921c909685e39944323140d72cbb46c3338a61c793",
"transactionId": "0819e9d83889395e80e9e4f7cfefa21c5338b71ea01b80fa4a44ef215b9894f6",
"blockId": "10a5945581ecf23d72fd73b50237d0fb6e0b788bcf074dfa0777cff233dc318c",
"value": 2022000000,
"index": 8,
"globalIndex": 54865264,
"creationHeight": 1769011,
"settlementHeight": 1769013,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "b463349914a77836f3f88e71504d0bd9ead0790b20fd93000d5ab486cf2f4b94",
"mainChain": true
}
],
"size": 7126,
"isUnconfirmed": false
}