Transaction
ID: 5dbedc35c2...1f4e
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:
7.98 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:
7.98 ERG
Transaction Details
Confirmations: 4,263
Total coins transferred: 8.05 ERG
Fees: 0.002 ERG
Fees per byte: 0.000000281 ERG
Raw Transaction Data
{
"id": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"inclusionHeight": 1772685,
"timestamp": 1777241506093,
"index": 23,
"globalIndex": 10657717,
"numConfirmations": 4263,
"inputs": [
{
"boxId": "70d876ec4218ed1988ad38f60f1ce0474bbd7ac8128eda9db2819f9b5578fd88",
"value": 10000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "f968d22fa776a0748246aa62e8952df91d21d38e45db41bb53e7eb2542fd1e00",
"outputTransactionId": "ede11660a9c2629664d4f7f47ef3271592ca7de74fa65a4150e33d1a738d4934",
"outputIndex": 0,
"outputGlobalIndex": 54957742,
"outputCreatedAt": 1772676,
"outputSettledAt": 1772679,
"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": 9968604,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R5": {
"serializedValue": "646adfc3051a6de79201c765d18cc09341b477f768f1d0b22df06536cc0b6786ca05072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
}
},
{
"boxId": "b2cec4c7131c58ff201df74c8a392ceaef9b6bccf495a77273d6e7f84db17650",
"value": 10000000,
"index": 1,
"spendingProof": "80aa01037ca6a4312ddaef817019913abde15db83e16ec3cf36773010b4315202a0da17999ffe66d3178af8e9ad10587a0b8d51cc46047a8",
"outputBlockId": "f968d22fa776a0748246aa62e8952df91d21d38e45db41bb53e7eb2542fd1e00",
"outputTransactionId": "ede11660a9c2629664d4f7f47ef3271592ca7de74fa65a4150e33d1a738d4934",
"outputIndex": 1,
"outputGlobalIndex": 54957743,
"outputCreatedAt": 1772676,
"outputSettledAt": 1772679,
"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": "e56d899548140db1359cfa4f24a08c48a4908d017ad314eac6ba83ebccc0c860",
"value": 10000000,
"index": 2,
"spendingProof": "915396a0831a44e910c581c73c1852d544282a198071a743246a5c4a76a72ded0ce3888e47ce89ebfff77c0d20d68138743327bb3891a81a",
"outputBlockId": "f968d22fa776a0748246aa62e8952df91d21d38e45db41bb53e7eb2542fd1e00",
"outputTransactionId": "ede11660a9c2629664d4f7f47ef3271592ca7de74fa65a4150e33d1a738d4934",
"outputIndex": 2,
"outputGlobalIndex": 54957744,
"outputCreatedAt": 1772676,
"outputSettledAt": 1772679,
"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": "1115962d9a24be23a238b037fcdf02c8b801de48f8aa02c40bce0d9e41b61bbab201dc73dc3500d025962fd6b50200",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2891,2317,2271,3601,3544,22526,11812,4655,19132,738,871,4175,1755,11421,7406,3438,0,2408,3019,19819,0]"
},
"R6": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R8": {
"serializedValue": "111590e5aec6118492dbffc404c0a0c9dc04d8880ce4d71eba59b819b8c2f40194b40c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c15eea32686df95a024cca97500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2355485000,77980198018,633940000,98860,251378,5725,1628,2003100,101642,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313591,4865570755,961126,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "1115b4f9aab811d8b5968ac504e482fdda04cc860cb0e01ee258a21984d1f601c2ad0ca49b86b13598ba8de6ee02ce93ef48ccdbdf05c0f8c55e8e8a845a9ac3c70294b69c15c6a626fee9f4a024bcfa6d00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2340773466,77991169388,632266930,98726,251928,5681,1617,2020418,101217,7164970706,49230753420,76408039,6026982,99139104,94405255,2683085,22252938,313763,4866349695,900766,0]"
}
}
},
{
"boxId": "aee1cbcd72d68fd9439fcad99c7b94e4202c3b4f094c120d4015d7c7c1f8b55b",
"value": 10000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "cfb5396b8e173e212dd13a3f92958cc9ffbc271c77c12af32b54dba97b362674",
"outputTransactionId": "e9fe27cc12d196b2437f823dfa698d325edbc86403d4eae9448b0cae035133b3",
"outputIndex": 3,
"outputGlobalIndex": 54957797,
"outputCreatedAt": 1772679,
"outputSettledAt": 1772681,
"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": 6345,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
},
"R5": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R6": {
"serializedValue": "111580b6d9d011daf8b0c9c804b09281df04da8f0ca0e81ec059be1990ddf5019cc10c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c159a9b26bcfffb9724f8a27500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2366320000,78460100141,636495000,99309,252432,5728,1631,2013000,102478,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313037,4856971230,960700,0]"
}
}
},
{
"boxId": "6a3e6964c48c8b4da506cb3a8d5a5e80b8131c0ec58d7e6b1150a1a405225847",
"value": 10000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "cfb5396b8e173e212dd13a3f92958cc9ffbc271c77c12af32b54dba97b362674",
"outputTransactionId": "e9fe27cc12d196b2437f823dfa698d325edbc86403d4eae9448b0cae035133b3",
"outputIndex": 2,
"outputGlobalIndex": 54957796,
"outputCreatedAt": 1772679,
"outputSettledAt": 1772681,
"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": 6341,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
},
"R5": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R6": {
"serializedValue": "111580b6d9d011daf8b0c9c804b09281df04da8f0ca0e81ec059be1990ddf5019cc10c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c159a9b26bcfffb9724f8a27500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2366320000,78460100141,636495000,99309,252432,5728,1631,2013000,102478,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313037,4856971230,960700,0]"
}
}
},
{
"boxId": "9a14f0c51e9fe394f416d914382e3d5da48e8c0a59e2e6077e48406f67e41bd7",
"value": 10000000,
"index": 5,
"spendingProof": null,
"outputBlockId": "cfb5396b8e173e212dd13a3f92958cc9ffbc271c77c12af32b54dba97b362674",
"outputTransactionId": "e9fe27cc12d196b2437f823dfa698d325edbc86403d4eae9448b0cae035133b3",
"outputIndex": 1,
"outputGlobalIndex": 54957795,
"outputCreatedAt": 1772679,
"outputSettledAt": 1772681,
"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": 6341,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
},
"R5": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R6": {
"serializedValue": "111580b6d9d011daf8b0c9c804b09281df04da8f0ca0e81ec059be1990ddf5019cc10c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c159a9b26bcfffb9724f8a27500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2366320000,78460100141,636495000,99309,252432,5728,1631,2013000,102478,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313037,4856971230,960700,0]"
}
}
},
{
"boxId": "7c28ec111aa74b7ff51e326c60ce28b1b78c4b975e31fb508d33f883206b63f4",
"value": 10000000,
"index": 6,
"spendingProof": null,
"outputBlockId": "cfb5396b8e173e212dd13a3f92958cc9ffbc271c77c12af32b54dba97b362674",
"outputTransactionId": "e9fe27cc12d196b2437f823dfa698d325edbc86403d4eae9448b0cae035133b3",
"outputIndex": 0,
"outputGlobalIndex": 54957794,
"outputCreatedAt": 1772679,
"outputSettledAt": 1772681,
"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": 6351,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
},
"R5": {
"serializedValue": "04923b",
"sigmaType": "SInt",
"renderedValue": "3785"
},
"R6": {
"serializedValue": "111580b6d9d011daf8b0c9c804b09281df04da8f0ca0e81ec059be1990ddf5019cc10c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c159a9b26bcfffb9724f8a27500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2366320000,78460100141,636495000,99309,252432,5728,1631,2013000,102478,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313037,4856971230,960700,0]"
}
}
},
{
"boxId": "62948302b60d11981849d95d2ba0a666959273c2975c0b4aa4bdcbc8c616e90f",
"value": 7978000000,
"index": 7,
"spendingProof": "e7379ade4ca28c251c5e97132d4043b9d7f6e5c0354566ab6279033e8037f50665725ad02f35d0ecb723effacce0ed1c5521699ffe36dcb6",
"outputBlockId": "cfb5396b8e173e212dd13a3f92958cc9ffbc271c77c12af32b54dba97b362674",
"outputTransactionId": "e9fe27cc12d196b2437f823dfa698d325edbc86403d4eae9448b0cae035133b3",
"outputIndex": 5,
"outputGlobalIndex": 54957799,
"outputCreatedAt": 1772679,
"outputSettledAt": 1772681,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "85de49c5bcd6eb253cf1a524b2985e535050b7de6d53adb8ea687059f4e8c0ae",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 0,
"globalIndex": 54957945,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": 9968596,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "04943b",
"sigmaType": "SInt",
"renderedValue": "3786"
},
"R5": {
"serializedValue": "64c08656a5bce9151ca79e149ac04eb4ade863cb57fc97e2a8fce244b49d39c5dc05072000",
"sigmaType": null,
"renderedValue": null
},
"R6": {
"serializedValue": "042a",
"sigmaType": "SInt",
"renderedValue": "21"
}
},
"spentTransactionId": "9ed14a10cbc3a392e0783f889390011796bccc297d059755b8604051c07aeaf9",
"mainChain": true
},
{
"boxId": "316077345bba975aec7ec14f0c98e5c47598b920d4ace074986fe03ab337cc2a",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 1,
"globalIndex": 54957946,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": "9ed14a10cbc3a392e0783f889390011796bccc297d059755b8604051c07aeaf9",
"mainChain": true
},
{
"boxId": "cb3fd716a057637de5c244b8e17d98443fa92dfaaeb2d50e885b60ba06cbeae9",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 2,
"globalIndex": 54957947,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": "1115842e9626a424fa38fc379cdf02c2b801a849a8ab02c40bce0dd241d01bd4b301c674923600dc24862ad6b50200",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2946,2443,2322,3645,3582,22478,11809,4692,19156,738,871,4201,1768,11498,7459,3465,0,2350,2691,19819,0]"
},
"R6": {
"serializedValue": "04943b",
"sigmaType": "SInt",
"renderedValue": "3786"
},
"R8": {
"serializedValue": "111580b6d9d011daf8b0c9c804b09281df04da8f0ca0e81ec059be1990ddf5019cc10c80c793b135e09388e6ee02e0f0ef48f0dbdf05a0eac45e80b8835af0c1c702a0889c159a9b26bcfffb9724f8a27500",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2366320000,78460100141,636495000,99309,252432,5728,1631,2013000,102478,7165080000,49230710000,76414000,6027000,99130000,94400000,2683000,22250000,313037,4856971230,960700,0]"
},
"R7": {
"serializedValue": "0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92",
"sigmaType": "Coll[SByte]",
"renderedValue": "f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc92"
},
"R4": {
"serializedValue": "1115b6b180b911ccdab696c504e0948bdb04ec860ccce01ee458a219eecdf60188ae0c88ca86b135cca78de6ee029496ef48ccdbdf05cef4c55eee87845a96c3c702f4b49c159ea6269ebbd5a02490946e00",
"sigmaType": "Coll[SLong]",
"renderedValue": "[2341473371,78004016806,632382768,98742,251942,5682,1617,2020215,101252,7164973700,49230752230,76408202,6026982,99138855,94405111,2683083,22252858,313743,4866092751,902408,0]"
}
},
"spentTransactionId": "9ed14a10cbc3a392e0783f889390011796bccc297d059755b8604051c07aeaf9",
"mainChain": true
},
{
"boxId": "f01c759e05291bffc2b908df320303fe77bb69882344ddcf57381d112cb4e4a7",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 3,
"globalIndex": 54957948,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": 6347,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c",
"sigmaType": "SGroupElement",
"renderedValue": "02fb928422559c2af8299677dd70a710899e6141a48023293293555fc400073f1c"
}
},
"spentTransactionId": "5d29968111935d2782e566f8b0f11d6423fdc5b8e392de75d7ea5056f18f94eb",
"mainChain": true
},
{
"boxId": "048274e989489ede8c8ef2fe9619fd6b080713a471f6614c0b0572447fd4cc63",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 4,
"globalIndex": 54957949,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": 6343,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0702f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959",
"sigmaType": "SGroupElement",
"renderedValue": "02f81a85b9d53dd1ba7f123f163dca8216bb1027fc2dd4bd7715c68c7d9f1eb959"
}
},
"spentTransactionId": "5d29968111935d2782e566f8b0f11d6423fdc5b8e392de75d7ea5056f18f94eb",
"mainChain": true
},
{
"boxId": "f24e8dd826a38fd0757e1f25f6c51c59b4fa8f68cdc05de946c5114e969dab34",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 5,
"globalIndex": 54957950,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": 6343,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"sigmaType": "SGroupElement",
"renderedValue": "03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b"
}
},
"spentTransactionId": "5d29968111935d2782e566f8b0f11d6423fdc5b8e392de75d7ea5056f18f94eb",
"mainChain": true
},
{
"boxId": "42f73cd25f7500d8f0e1762440d854061f3fd48c883f9a94ba19151e1596aba5",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 10000000,
"index": 6,
"globalIndex": 54957951,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": 6353,
"name": "MORT",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0703572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae",
"sigmaType": "SGroupElement",
"renderedValue": "03572584b2f72e2409db283fd8451dedc702941f397b3dc0840b50f7809da846ae"
}
},
"spentTransactionId": "5d29968111935d2782e566f8b0f11d6423fdc5b8e392de75d7ea5056f18f94eb",
"mainChain": true
},
{
"boxId": "427cdf2d963a1cc670166de8d537c5cd05aa2b1917b9199dfc9505a20d7bc525",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 2000000,
"index": 7,
"globalIndex": 54957952,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"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": "c51c8a64b510680908201408f2d6848710f6bd59c763dae1aac52576dc237677",
"mainChain": true
},
{
"boxId": "955624f5a17c93f8f49102157b7901e9d2d39bb7bb1363608aeecc3700311bb7",
"transactionId": "5dbedc35c2957b7e90a2b27378f29667ace27b6ad0cb2e3a91c7a2230d001f4e",
"blockId": "e695714c61ab81664e118fdd85a7d0095086e2d1864ce4a2641ef75ab025e0d2",
"value": 7976000000,
"index": 8,
"globalIndex": 54957953,
"creationHeight": 1772684,
"settlementHeight": 1772685,
"ergoTree": "0008cd03bda2691a9f1a2adf122741390847e7dae2c75bd2eb3a0dc896388d4ec3e9577b",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(bda269,1a4560,...)))}",
"address": "9huKeYQbBnuGcndNCSbxUrRc2sRQNCvfyex8nMorKkEwLcQW4vd",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "5d29968111935d2782e566f8b0f11d6423fdc5b8e392de75d7ea5056f18f94eb",
"mainChain": true
}
],
"size": 7124,
"isUnconfirmed": false
}