{"items":[{"boxId":"4ca0e8f5963af7cc5646ef9fdd0aa3e0837c7cdaa85458b21e56463a87110793","transactionId":"5b3197a8fa21e672fd3ccc3ed0355141128947a8bce4d207b045457e1a99ab6e","blockId":"b72f5731e60821a860366b19424b62848b682221274db35bead4efa011454a05","value":1477640,"index":0,"globalIndex":553882,"creationHeight":1856115,"settlementHeight":1856117,"ergoTree":"10d5010e20f4cf1755ac7f6846e9417d662b2bedc79a7a219ab80f6a4a5c49ac41f639effc0e2041fa6dcac8358a64359003e9cfa4832e2140158c54fb9376998c4eae2e8cf446040004020500050005000601010404040204040500050004060500050005000404040204080400040605000e205d8241bc32879af0dda2338439c15ab46a07af6b2466c1ac038a3904540e3cd602010204020a04020500020a0e20f7f008ad8fcaad4490d8e78ab6d3f11efe7213a13f7b243795818b155e1acc920e20511f52c071f54c1251e5f3b4360c710422602029d2dc65316d00165b38bb52e30e201cb3dc56eafc11333431c1c5a0ec4bde06340154adf9371af3bd7ccd2ddd8ab00e2072925ce666703a90ccb2641e47994fd052e84f5157d28259a03e7883e03683ef04020400050204020500050006030f42400500058080808080808080800106030f424004000400040a0402040e0404041004060412040804140418041c041a0420040c0416041e04220580897a0424042a0426042e04280430042c0432043805000500043604000400040006043b9aca00040004000400040204020402040405000580897a043406030f42400402040004000404050004000402060101050004000402040204040404040604060408040804040402040404060408040804060406040a040a0402040204080408040a040a0502040c040c0502040004020404040404060406040204060406040404040408050204020e202b005ecd5da9871401722f3ef55040ef76956ed7e2c0dcec6f8f3c62513284b604040e20a55b8735ed1a99e46c2c89f8994aacdf4b1109bdcf682f1e5b34479c6e39266904060e20da4c16fcbc91b5b0e5e300e08fa1ad25ebd878ce5f6869ccf04afdb6cbedd2480400040204040404050005000518040004000400040005c01604040e204c0659e2df3d6b9162dfc56e06d00c7d594a54eef0a0702da52e993c17f6a02304060408040405c0160400050005000500040005000500040c040c05808080808080808080010200040a040a0502040c040c050204000402040404040406040604020406040604040404020102030202020a020a040c050005000500020402050206020b040c05000207020802090100d828d601db6501fed602b57201d9010263aedb63087202d901044d0e938c7204017300d6037301d604b5a5d9010463aedb63087204d901064d0e938c7206017203d605e4c6a70611d606b27205730200d607b27205730300d6089a72067207d6099372087304d60a9572097305e4e30205d60b9972067207d60cd9010c415ad805d60e8c720c01d60f8c720c02d6107e720e06d6118c720f02d6128c720f01eded92720e7306d802d6137211d6147212909c7210721372148f72129c9a721073077211d60ddb6308a7d60e8cb2720d73080002d60fe4c6a70711d610b2720f730900d611b2720f730a00d6129999720e72107211d613937212730bd614957213730ce4e30305d6158cb2720d730d0002d6169172067207d617957209730e95721672077206d618937217730fd6199572187310e4e30405d61ad9011a11d802d61cb2721a731100d61db2721a7312009a721c9d9c99b2721a731300721c99b2721a731400721d99b2721a731500721dd61b957209731695721672067207d61ce4c6a70511d61de4e30505d61eb5a4d9011e6393cbc2721e7317d61fe4e30002d620eced92721f731890721f731993721f731ad621e4c6a70411d62295ed722093b1721e731be4e30605731cd62392721f731dd624731ed625d901250eaea4d9012763aedb63087227d901294d0e938c7229017225d626da722501731fd627da7225017320d628da7225017321d1ededededed93b17202732293e4c6b272027323000705732493b17204732595720993720a7326da720c018602720a86029c7e958f720b7327f0720b720b0673287e7208069572139372147329da720c018602721486029c7e99732a721506732b7e721206d826d629e4c6b27202732c000411d62ab27229732d00d62bb27229732e00d62cb27229732f00d62db27229733000d62eb27229733100d62fb27229733200d630b27229733300d631b27229733400d632b27229733500d633b27229733600d634b27229733700d635b27229733800d636b27229733900d637b27229733a00d6389d9cdad9013805d801d63a958f7238722a722a95917238722b722b72389590723a722cda721a01830505723a722ab27229733b00722c722d9590723a722eda721a01830505723a722c722d722e722f9590723a7230da721a01830505723a722e722f723072319590723a7232da721a01830505723a7230723172327233da721a01830505723a72327233722bb27229733c0001720adad9013805d801d63a958f723872347234959172387235723572389590723a7236da721a01830505723a7234b27229733d0072367237da721a01830505723a723672377235b27229733e00017214733fd639b27229734000d63ab27229734100d63bb27229734200d63cb27229734300d63db27229734400d63eb27229734500d63fdad9013f05d801d641958f723f723972399591723f723a723a723f95907241723bda721a0183050572417239b27229734600723b723c95907241723dda721a018305057241723b723c723d723eda721a018305057241723d723e723ab27229734700017214d64099b27229734800723fd641958f72387349734a95917238724072407238d642b27229734b00d643b27204734c00d644e4c672430511d645b27244734d00d646b2721c734e00d6479972457246d648734fd6499c72417247d64a9c72197247d64b957209b272217350009572169ab27221735100724999b27221735200724ad64c957209b2722173530095721699b27221735400724a9ab272217355007249d64db27221735600d64e9a724d9c723f7247ededed9572189372197357d802d64f9c9c7e997358b27229735900067e7241067e721b06d6509c735a7e7217069592724f9c7e72420672509372197242da720c01860272198602724f7250da720c018602721d86029c999a9c7e723f067e7208069c7e7241067e721b069c7e7219067e7217067e724706724895ed722093b1721e735bd805d64f7e722206d650b2721e735c00d651e4c672500511d652e4c672500711d6539c7eb27251735d00069a7e999593b27251735e00735f724b724cb27252736000067e99724eb2725273610006ed8f9c99724f7362724872539072539c724f72489372227363d81ed64fdb63087243d650b2724f736400d651e4c672430411d652b27244736500d653b2721c736600d654ededed937252725393b27244736700b2721c73680093b27244736900b2721c736a0093b27244736b00b2721c736c00d655e4c672430711d6568cb2724f736d0002d657b27255736e00d658b27255736f00d6598cb2724f73700002d65a93b27255737100b2720f737200d65bb27255737300d65cb2720f737400d65d93725b725cd65eb27255737500d65fb2720f737600d66093725e725fd6618cb2724f73770002d6628cb2720d73780002d6639372617262d664e4c672430611d665b27264737900d666b27205737a00d667edededed907265726693b27264737b009ab27205737c00737d93b27264737e0099b27205737f007380019272597215d801d667b2726473810100ecededed907267720693b2726473820100720790b2726473830100b272057384010093b2726473850100b2720573860100ededed90b27264738701007207937267720690b2726473880100b272057389010093b27264738a0100b27205738b0100d6689372587211d6699372647205d66a9372577210d66b9372597215d66c937256720eedededed93c27243c2a793b1724f738c01edededed938c7250017203938c725002738d01938cb2724f738e010001738f01938cb2724f7390010001739101938cb2724f7392010001739301edededededededededed93b2725173940100724b93b2725173950100724c93b2725173960100724e92b2725173970100724d927247739801957223937247739901d801d66d7ea305ed9099726d739a017245907245726d95ae7201d9016d63d801d66fdb6308726ded91b1726f739b01938cb2726f739c0100017224d802d66db27201739d0100d66e938cb2db6308726d739e0100017224957223eded726e92997ea3057e8cc7726d0105739f017254d801d66f7ee4c6726d0404059591726f7253edededed726e937252726f93b2724473a001007ce4dc640ae4c6726d05640273a101e4e3010e93b2724473a20100725393b2724473a30100b2721c73a401007254eded722392997ea305724673a501725493b2725573a6010095ed93720673a70193720773a80173a901d801d66d999ab2720f73aa0100721d7222958f726d73ab0173ac01726d93b2725573ad0100b2720f73ae01009299997256725772589973af017259ed93e4c672430811e4c6a7081193e4c672430911e4c6a7091195ed93721f73b0017226ededededededededed725d725a72607263927265726693b2726473b101009ab2720573b2010073b30193b2726473b401009ab2720573b5010073b601927256720e9072597215d801d66db2726473b70100ecededed92726d720693b2726473b80100720792b2726473b90100b2720573ba010093b2726473bb0100b2720573bc0100ededed92b2726473bd0100720793726d720692b2726473be0100b2720573bf010093b2726473c00100b2720573c1010095eced93721f73c2017226ed93721f73c3017227edededed726790725b725c725a7260726395edec93721f73c40193721f73c5017227ededed726772607263ec8f721f73c6019593b2726473c7010073c801ed93725773c90193725873ca01ed9072577210726895ed93721f73cb017227eded726790725b725c726395ed93721f73cc017228edededededededed7269725a7260726a725d92725872119072617262927256720e726b95edec93721f73cd0193721f73ce017228edededededededed7269725a7260726a725d9272617262907256720e726b957223ed93b2720573cf010073d0017268927258721195ed93721f73d1017228edededededededed72697263725a7260726a7268725d726c726b95ed93721f73d2017228edededededededed72697263725a7260726a725d9072587211907256720e726b95ed93721f73d3017228edededededededed72697263725a726a7268725d90725e725f726c726b73d401","ergoTreeConstants":"0: Coll(-12,-49,23,85,-84,127,104,70,-23,65,125,102,43,43,-19,-57,-102,122,33,-102,-72,15,106,74,92,73,-84,65,-10,57,-17,-4)\n1: Coll(65,-6,109,-54,-56,53,-118,100,53,-112,3,-23,-49,-92,-125,46,33,64,21,-116,84,-5,-109,118,-103,-116,78,-82,46,-116,-12,70)\n2: 0\n3: 1\n4: 0\n5: 0\n6: 0\n7: CBigInt(1)\n8: 2\n9: 1\n10: 2\n11: 0\n12: 0\n13: 3\n14: 0\n15: 0\n16: 0\n17: 2\n18: 1\n19: 4\n20: 0\n21: 3\n22: 0\n23: Coll(93,-126,65,-68,50,-121,-102,-16,-35,-94,51,-124,57,-63,90,-76,106,7,-81,107,36,102,-63,-84,3,-118,57,4,84,14,60,-42)\n24: 1\n25: 4\n26: 10\n27: 1\n28: 0\n29: 10\n30: 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)\n31: Coll(81,31,82,-64,113,-11,76,18,81,-27,-13,-76,54,12,113,4,34,96,32,41,-46,-36,101,49,109,0,22,91,56,-69,82,-29)\n32: Coll(28,-77,-36,86,-22,-4,17,51,52,49,-63,-59,-96,-20,75,-34,6,52,1,84,-83,-7,55,26,-13,-67,124,-51,45,-35,-118,-80)\n33: Coll(114,-110,92,-26,102,112,58,-112,-52,-78,100,30,71,-103,79,-48,82,-24,79,81,87,-46,-126,89,-96,62,120,-125,-32,54,-125,-17)\n34: 1\n35: 0\n36: 1\n37: 1\n38: 0\n39: 0\n40: CBigInt(1000000)\n41: 0\n42: 4611686018427387904\n43: CBigInt(1000000)\n44: 0\n45: 0\n46: 5\n47: 1\n48: 7\n49: 2\n50: 8\n51: 3\n52: 9\n53: 4\n54: 10\n55: 12\n56: 14\n57: 13\n58: 16\n59: 6\n60: 11\n61: 15\n62: 17\n63: 1000000\n64: 18\n65: 21\n66: 19\n67: 23\n68: 20\n69: 24\n70: 22\n71: 25\n72: 28\n73: 0\n74: 0\n75: 27\n76: 0\n77: 0\n78: 0\n79: CBigInt(1000000000)\n80: 0\n81: 0\n82: 0\n83: 1\n84: 1\n85: 1\n86: 2\n87: 0\n88: 1000000\n89: 26\n90: CBigInt(1000000)\n91: 1\n92: 0\n93: 0\n94: 2\n95: 0\n96: 0\n97: 1\n98: CBigInt(1)\n99: 0\n100: 0\n101: 1\n102: 1\n103: 2\n104: 2\n105: 3\n106: 3\n107: 4\n108: 4\n109: 2\n110: 1\n111: 2\n112: 3\n113: 4\n114: 4\n115: 3\n116: 3\n117: 5\n118: 5\n119: 1\n120: 1\n121: 4\n122: 4\n123: 5\n124: 5\n125: 1\n126: 6\n127: 6\n128: 1\n129: 0\n130: 1\n131: 2\n132: 2\n133: 3\n134: 3\n135: 1\n136: 3\n137: 3\n138: 2\n139: 2\n140: 4\n141: 1\n142: 1\n143: Coll(43,0,94,-51,93,-87,-121,20,1,114,47,62,-11,80,64,-17,118,-107,110,-41,-30,-64,-36,-20,111,-113,60,98,81,50,-124,-74)\n144: 2\n145: Coll(-91,91,-121,53,-19,26,-103,-28,108,44,-119,-8,-103,74,-84,-33,75,17,9,-67,-49,104,47,30,91,52,71,-100,110,57,38,105)\n146: 3\n147: Coll(-38,76,22,-4,-68,-111,-75,-80,-27,-29,0,-32,-113,-95,-83,37,-21,-40,120,-50,95,104,105,-52,-16,74,-3,-74,-53,-19,-46,72)\n148: 0\n149: 1\n150: 2\n151: 2\n152: 0\n153: 0\n154: 12\n155: 0\n156: 0\n157: 0\n158: 0\n159: 1440\n160: 2\n161: Coll(76,6,89,-30,-33,61,107,-111,98,-33,-59,110,6,-48,12,125,89,74,84,-18,-16,-96,112,45,-91,46,-103,60,23,-10,-96,35)\n162: 3\n163: 4\n164: 2\n165: 1440\n166: 0\n167: 0\n168: 0\n169: 0\n170: 0\n171: 0\n172: 0\n173: 6\n174: 6\n175: 4611686018427387904\n176: 0\n177: 5\n178: 5\n179: 1\n180: 6\n181: 6\n182: 1\n183: 0\n184: 1\n185: 2\n186: 2\n187: 3\n188: 3\n189: 1\n190: 3\n191: 3\n192: 2\n193: 2\n194: 1\n195: 3\n196: 2\n197: 10\n198: 10\n199: 6\n200: 0\n201: 0\n202: 0\n203: 4\n204: 5\n205: 6\n206: 11\n207: 6\n208: 0\n209: 7\n210: 8\n211: 9\n212: false","ergoTreeScript":"{\n  val coll1 = CONTEXT.dataInputs\n  val coll2 = coll1.filter({(box2: Box) => box2.tokens.exists({(tuple4: (Coll[Byte], Long)) => tuple4._1 == placeholder[Coll[Byte]](0) }) })\n  val coll3 = placeholder[Coll[Byte]](1)\n  val coll4 = OUTPUTS.filter({(box4: Box) => box4.tokens.exists({(tuple6: (Coll[Byte], Long)) => tuple6._1 == coll3 }) })\n  val coll5 = SELF.R6[Coll[Long]].get\n  val l6 = coll5(placeholder[Int](2))\n  val l7 = coll5(placeholder[Int](3))\n  val l8 = l6 + l7\n  val bool9 = l8 == placeholder[Long](4)\n  val l10 = if (bool9) { placeholder[Long](5) } else { getVar[Long](2.toByte).get }\n  val l11 = l6 - l7\n  val func12 = {(tuple12: (Long, (BigInt, BigInt))) =>\n    val l14 = tuple12._1\n    val tuple15 = tuple12._2\n    val bi16 = l14.toBigInt\n    val bi17 = tuple15._2\n    val bi18 = tuple15._1\n    ((l14 >= placeholder[Long](6)) && \n        val bi19 = bi17\n        val bi20 = bi18\n        bi16 * bi19 <= bi20\n      ) && (bi18 < bi16 + placeholder[BigInt](7) * bi17)\n  }\n  val coll13 = SELF.tokens\n  val l14 = coll13(placeholder[Int](8))._2\n  val coll15 = SELF.R7[Coll[Long]].get\n  val l16 = coll15(placeholder[Int](9))\n  val l17 = coll15(placeholder[Int](10))\n  val l18 = l14 - l16 - l17\n  val bool19 = l18 == placeholder[Long](11)\n  val l20 = if (bool19) { placeholder[Long](12) } else { getVar[Long](3.toByte).get }\n  val l21 = coll13(placeholder[Int](13))._2\n  val bool22 = l6 > l7\n  val l23 = if (bool9) { placeholder[Long](14) } else { if (bool22) { l7 } else { l6 } }\n  val bool24 = l23 == placeholder[Long](15)\n  val l25 = if (bool24) { placeholder[Long](16) } else { getVar[Long](4.toByte).get }\n  val func26 = {(coll26: Coll[Long]) =>\n    val l28 = coll26(placeholder[Int](17))\n    val l29 = coll26(placeholder[Int](18))\n    l28 + coll26(placeholder[Int](19)) - l28 * coll26(placeholder[Int](20)) - l29 / coll26(placeholder[Int](21)) - l29\n  }\n  val l27 = if (bool9) { placeholder[Long](22) } else { if (bool22) { l6 } else { l7 } }\n  val coll28 = SELF.R5[Coll[Long]].get\n  val l29 = getVar[Long](5.toByte).get\n  val coll30 = INPUTS.filter({(box30: Box) => blake2b256(box30.propositionBytes) == placeholder[Coll[Byte]](23) })\n  val b31 = getVar[Byte](0.toByte).get\n  val bool32 = ((b31 >= placeholder[Byte](24)) && (b31 <= placeholder[Byte](25))) || (b31 == placeholder[Byte](26))\n  val coll33 = SELF.R4[Coll[Long]].get\n  val l34 = if (bool32 && (coll30.size == placeholder[Int](27))) { getVar[Long](6.toByte).get } else { placeholder[Long](28) }\n  val bool35 = b31 >= placeholder[Byte](29)\n  val coll36 = placeholder[Coll[Byte]](30)\n  val func37 = {(coll37: Coll[Byte]) => INPUTS.exists({(box39: Box) => box39.tokens.exists({(tuple41: (Coll[Byte], Long)) => tuple41._1 == coll37 }) }) }\n  val bool38 = func37(placeholder[Coll[Byte]](31))\n  val bool39 = func37(placeholder[Coll[Byte]](32))\n  val bool40 = func37(placeholder[Coll[Byte]](33))\n  sigmaProp(\n    (\n      (\n        (\n          ((coll2.size == placeholder[Int](34)) && (coll2(placeholder[Int](35)).R7[Long].get == placeholder[Long](36))) && (coll4.size == placeholder[Int](37))\n        ) && if (bool9) { l10 == placeholder[Long](38) } else {\n          func12((l10, (if (l11 < placeholder[Long](39)) { !l11 } else { l11 }.toBigInt * placeholder[BigInt](40), l8.toBigInt)))\n        }\n      ) && if (bool19) { l20 == placeholder[Long](41) } else { func12((l20, (placeholder[Long](42) - l21.toBigInt * placeholder[BigInt](43), l18.toBigInt))) }\n    ) && \n      val coll41 = coll2(placeholder[Int](44)).R4[Coll[Long]].get\n      val l42 = coll41(placeholder[Int](45))\n      val l43 = coll41(placeholder[Int](46))\n      val l44 = coll41(placeholder[Int](47))\n      val l45 = coll41(placeholder[Int](48))\n      val l46 = coll41(placeholder[Int](49))\n      val l47 = coll41(placeholder[Int](50))\n      val l48 = coll41(placeholder[Int](51))\n      val l49 = coll41(placeholder[Int](52))\n      val l50 = coll41(placeholder[Int](53))\n      val l51 = coll41(placeholder[Int](54))\n      val l52 = coll41(placeholder[Int](55))\n      val l53 = coll41(placeholder[Int](56))\n      val l54 = coll41(placeholder[Int](57))\n      val l55 = coll41(placeholder[Int](58))\n      val l56 = {(l56: Long) =>\n        val l58 = if (l56 < l42) { l42 } else { if (l56 > l43) { l43 } else { l56 } }\n        if (l58 <= l44) { func26(Coll[Long](l58, l42, coll41(placeholder[Int](59)), l44, l45)) } else {\n          if (l58 <= l46) { func26(Coll[Long](l58, l44, l45, l46, l47)) } else {\n            if (l58 <= l48) { func26(Coll[Long](l58, l46, l47, l48, l49)) } else {\n              if (l58 <= l50) { func26(Coll[Long](l58, l48, l49, l50, l51)) } else { func26(Coll[Long](l58, l50, l51, l43, coll41(placeholder[Int](60)))) }\n            }\n          }\n        }\n      }(l10) * {(l56: Long) =>\n        val l58 = if (l56 < l52) { l52 } else { if (l56 > l53) { l53 } else { l56 } }\n        if (l58 <= l54) { func26(Coll[Long](l58, l52, coll41(placeholder[Int](61)), l54, l55)) } else {\n          func26(Coll[Long](l58, l54, l55, l53, coll41(placeholder[Int](62))))\n        }\n      }(l20) / placeholder[Long](63)\n      val l57 = coll41(placeholder[Int](64))\n      val l58 = coll41(placeholder[Int](65))\n      val l59 = coll41(placeholder[Int](66))\n      val l60 = coll41(placeholder[Int](67))\n      val l61 = coll41(placeholder[Int](68))\n      val l62 = coll41(placeholder[Int](69))\n      val l63 = {(l63: Long) =>\n        val l65 = if (l63 < l57) { l57 } else { if (l63 > l58) { l58 } else { l63 } }\n        if (l65 <= l59) { func26(Coll[Long](l65, l57, coll41(placeholder[Int](70)), l59, l60)) } else {\n          if (l65 <= l61) { func26(Coll[Long](l65, l59, l60, l61, l62)) } else { func26(Coll[Long](l65, l61, l62, l58, coll41(placeholder[Int](71)))) }\n        }\n      }(l20)\n      val l64 = coll41(placeholder[Int](72)) - l63\n      val l65 = if (l56 < placeholder[Long](73)) { placeholder[Long](74) } else { if (l56 > l64) { l64 } else { l56 } }\n      val l66 = coll41(placeholder[Int](75))\n      val box67 = coll4(placeholder[Int](76))\n      val coll68 = box67.R5[Coll[Long]].get\n      val l69 = coll68(placeholder[Int](77))\n      val l70 = coll28(placeholder[Int](78))\n      val l71 = l69 - l70\n      val bi72 = placeholder[BigInt](79)\n      val l73 = l65 * l71\n      val l74 = l25 * l71\n      val l75 = if (bool9) { coll33(placeholder[Int](80)) } else {\n        if (bool22) { coll33(placeholder[Int](81)) + l73 } else { coll33(placeholder[Int](82)) - l74 }\n      }\n      val l76 = if (bool9) { coll33(placeholder[Int](83)) } else {\n        if (bool22) { coll33(placeholder[Int](84)) - l74 } else { coll33(placeholder[Int](85)) + l73 }\n      }\n      val l77 = coll33(placeholder[Int](86))\n      val l78 = l77 + l63 * l71\n      ((if (bool24) { l25 == placeholder[Long](87) } else {(\n            val bi79 = placeholder[Long](88) - coll41(placeholder[Int](89)).toBigInt * l65.toBigInt * l27.toBigInt\n            val bi80 = placeholder[BigInt](90) * l23.toBigInt\n            if (bi79 >= l66.toBigInt * bi80) { l25 == l66 } else { func12((l25, (bi79, bi80))) }\n          )} && func12((l29, (l63.toBigInt * l8.toBigInt + l65.toBigInt * l27.toBigInt - l25.toBigInt * l23.toBigInt * l71.toBigInt, bi72)))) && if (bool32 && (coll30.size == placeholder[Int](91))) {(\n          val bi79 = l34.toBigInt\n          val box80 = coll30(placeholder[Int](92))\n          val coll81 = box80.R5[Coll[Long]].get\n          val coll82 = box80.R7[Coll[Long]].get\n          val bi83 = coll81(placeholder[Int](93)).toBigInt * if (coll81(placeholder[Int](94)) == placeholder[Long](95)) { l75 } else { l76 } - coll82(placeholder[Int](96)).toBigInt + l78 - coll82(placeholder[Int](97)).toBigInt\n          (bi79 - placeholder[BigInt](98) * bi72 < bi83) && (bi83 <= bi79 * bi72)\n        )} else { l34 == placeholder[Long](99) }) && \n        val coll79 = box67.tokens\n        val tuple80 = coll79(placeholder[Int](100))\n        val coll81 = box67.R4[Coll[Long]].get\n        val l82 = coll68(placeholder[Int](101))\n        val l83 = coll28(placeholder[Int](102))\n        val bool84 = (\n          ((l82 == l83) && (coll68(placeholder[Int](103)) == coll28(placeholder[Int](104)))) && (coll68(placeholder[Int](105)) == coll28(placeholder[Int](106)))\n        ) && (coll68(placeholder[Int](107)) == coll28(placeholder[Int](108)))\n        val coll85 = box67.R7[Coll[Long]].get\n        val l86 = coll79(placeholder[Int](109))._2\n        val l87 = coll85(placeholder[Int](110))\n        val l88 = coll85(placeholder[Int](111))\n        val l89 = coll79(placeholder[Int](112))._2\n        val bool90 = coll85(placeholder[Int](113)) == coll15(placeholder[Int](114))\n        val l91 = coll85(placeholder[Int](115))\n        val l92 = coll15(placeholder[Int](116))\n        val bool93 = l91 == l92\n        val l94 = coll85(placeholder[Int](117))\n        val l95 = coll15(placeholder[Int](118))\n        val bool96 = l94 == l95\n        val l97 = coll79(placeholder[Int](119))._2\n        val l98 = coll13(placeholder[Int](120))._2\n        val bool99 = l97 == l98\n        val coll100 = box67.R6[Coll[Long]].get\n        val l101 = coll100(placeholder[Int](121))\n        val l102 = coll5(placeholder[Int](122))\n        val bool103 = (\n          (\n            ((l101 <= l102) && (coll100(placeholder[Int](123)) == coll5(placeholder[Int](124)) + placeholder[Long](125))) && (\n              coll100(placeholder[Int](126)) == coll5(placeholder[Int](127)) - placeholder[Long](128)\n            )\n          ) && (l89 >= l21)\n        ) && \n          val l103 = coll100(placeholder[Int](129))\n          (\n            (((l103 <= l6) && (coll100(placeholder[Int](130)) == l7)) && (coll100(placeholder[Int](131)) <= coll5(placeholder[Int](132)))) && (\n              coll100(placeholder[Int](133)) == coll5(placeholder[Int](134))\n            )\n          ) || (\n            (((coll100(placeholder[Int](135)) <= l7) && (l103 == l6)) && (coll100(placeholder[Int](136)) <= coll5(placeholder[Int](137)))) && (\n              coll100(placeholder[Int](138)) == coll5(placeholder[Int](139))\n            )\n          )\n        \n        val bool104 = l88 == l17\n        val bool105 = coll100 == coll5\n        val bool106 = l87 == l16\n        val bool107 = l89 == l21\n        val bool108 = l86 == l14\n        (\n          (\n            ((box67.propositionBytes == SELF.propositionBytes) && (coll79.size == placeholder[Int](140))) && (\n              (\n                (((tuple80._1 == coll3) && (tuple80._2 == placeholder[Long](141))) && (coll79(placeholder[Int](142))._1 == placeholder[Coll[Byte]](143))) && (\n                  coll79(placeholder[Int](144))._1 == placeholder[Coll[Byte]](145)\n                )\n              ) && (coll79(placeholder[Int](146))._1 == placeholder[Coll[Byte]](147))\n            )\n          ) && (\n            (\n              (\n                (\n                  (\n                    (\n                      (\n                        (\n                          (((coll81(placeholder[Int](148)) == l75) && (coll81(placeholder[Int](149)) == l76)) && (coll81(placeholder[Int](150)) == l78)) && (\n                            coll81(placeholder[Int](151)) >= l77\n                          )\n                        ) && (l71 >= placeholder[Long](152))\n                      ) && if (bool35) { l71 == placeholder[Long](153) } else {(\n                        val l109 = HEIGHT.toLong\n                        (l109 - placeholder[Long](154) <= l69) && (l69 <= l109)\n                      )}\n                    ) && if (coll1.exists({(box109: Box) =>\n                        val coll111 = box109.tokens\n                        (coll111.size > placeholder[Int](155)) && (coll111(placeholder[Int](156))._1 == coll36)\n                      })) {(\n                      val box109 = coll1(placeholder[Int](157))\n                      val bool110 = box109.tokens(placeholder[Int](158))._1 == coll36\n                      if (bool35) { (bool110 && (HEIGHT.toLong - box109.creationInfo._1.toLong >= placeholder[Long](159))) && bool84 } else {(\n                        val l111 = box109.R4[Int].get.toLong\n                        if (l111 > l83) {\n                          (\n                            (\n                              (bool110 && (l82 == l111)) && (\n                                coll68(placeholder[Int](160)) == byteArrayToLong(\n                                  box109.R5[AvlTree].get.get(placeholder[Coll[Byte]](161), getVar[Coll[Byte]](1.toByte).get).get\n                                )\n                              )\n                            ) && (coll68(placeholder[Int](162)) == l83)\n                          ) && (coll68(placeholder[Int](163)) == coll28(placeholder[Int](164)))\n                        } else { bool84 }\n                      )}\n                    )} else { (bool35 && (HEIGHT.toLong - l70 >= placeholder[Long](165))) && bool84 }\n                  ) && (\n                    coll85(placeholder[Int](166)) == if ((l6 == placeholder[Long](167)) && (l7 == placeholder[Long](168))) { placeholder[Long](169) } else {(\n                      val l109 = coll15(placeholder[Int](170)) + l29 - l34\n                      if (l109 < placeholder[Long](171)) { placeholder[Long](172) } else { l109 }\n                    )}\n                  )\n                ) && (coll85(placeholder[Int](173)) == coll15(placeholder[Int](174)))\n              ) && (l86 - l87 - l88 >= placeholder[Long](175) - l89)\n            ) && ((box67.R8[Coll[Long]].get == SELF.R8[Coll[Long]].get) && (box67.R9[Coll[Long]].get == SELF.R9[Coll[Long]].get))\n          )\n        ) && if ((b31 == placeholder[Byte](176)) && bool38) {\n          (\n            (\n              (\n                (\n                  ((((bool93 && bool90) && bool96) && bool99) && (l101 >= l102)) && (\n                    coll100(placeholder[Int](177)) == coll5(placeholder[Int](178)) + placeholder[Long](179)\n                  )\n                ) && (coll100(placeholder[Int](180)) == coll5(placeholder[Int](181)) + placeholder[Long](182))\n              ) && (l86 >= l14)\n            ) && (l89 <= l21)\n          ) && \n            val l109 = coll100(placeholder[Int](183))\n            (\n              (((l109 >= l6) && (coll100(placeholder[Int](184)) == l7)) && (coll100(placeholder[Int](185)) >= coll5(placeholder[Int](186)))) && (\n                coll100(placeholder[Int](187)) == coll5(placeholder[Int](188))\n              )\n            ) || (\n              (((coll100(placeholder[Int](189)) >= l7) && (l109 == l6)) && (coll100(placeholder[Int](190)) >= coll5(placeholder[Int](191)))) && (\n                coll100(placeholder[Int](192)) == coll5(placeholder[Int](193))\n              )\n            )\n          \n        } else {\n          if (((b31 == placeholder[Byte](194)) && bool38) || ((b31 == placeholder[Byte](195)) && bool39)) {\n            (((bool103 && (l91 <= l92)) && bool90) && bool96) && bool99\n          } else {\n            if (((b31 == placeholder[Byte](196)) || (b31 == placeholder[Byte](197))) && bool39) {\n              ((bool103 && bool96) && bool99) && (\n                (b31 < placeholder[Byte](198)) || if (coll100(placeholder[Int](199)) == placeholder[Long](200)) {\n                  (l87 == placeholder[Long](201)) && (l88 == placeholder[Long](202))\n                } else { (l87 <= l16) && bool104 }\n              )\n            } else {\n              if ((b31 == placeholder[Byte](203)) && bool39) { (bool103 && (l91 <= l92)) && bool99 } else {\n                if ((b31 == placeholder[Byte](204)) && bool40) {\n                  (((((((bool105 && bool90) && bool96) && bool106) && bool93) && (l88 >= l17)) && (l97 <= l98)) && (l86 >= l14)) && bool107\n                } else {\n                  if (((b31 == placeholder[Byte](205)) || (b31 == placeholder[Byte](206))) && bool40) {\n                    (((((((bool105 && bool90) && bool96) && bool106) && bool93) && (l97 >= l98)) && (l86 <= l14)) && bool107) && if (bool35) {\n                      (coll5(placeholder[Int](207)) == placeholder[Long](208)) && bool104\n                    } else { l88 >= l17 }\n                  } else {\n                    if ((b31 == placeholder[Byte](209)) && bool40) {\n                      (((((((bool105 && bool99) && bool90) && bool96) && bool106) && bool104) && bool93) && bool108) && bool107\n                    } else {\n                      if ((b31 == placeholder[Byte](210)) && bool40) {\n                        (((((((bool105 && bool99) && bool90) && bool96) && bool106) && bool93) && (l88 <= l17)) && (l86 <= l14)) && bool107\n                      } else {\n                        if ((b31 == placeholder[Byte](211)) && bool40) {\n                          (((((((bool105 && bool99) && bool90) && bool106) && bool104) && bool93) && (l94 <= l95)) && bool108) && bool107\n                        } else { placeholder[Boolean](212) }\n                      }\n                    }\n                  }\n                }\n              }\n            }\n          }\n        }\n      \n    \n  )\n}","address":"2xPfqr9jwLtcJVH8vzrpSYnsUzHYW1RdWoCfW2w2YSvUKwHemyDGvJvpEB1y96p7vCPZcedaUT5sDXuy2rMxQq2LK24oY6ENJhzAGwjzxCpXCQqozzfFat9LNbvE3uwnejzrQmBfXpYzbJzDcyP5bH4pUzsDq1da46ndqbyte9vM88aQMRF5YppeTML3Jx2XBwTFN5cjML7vnDcPq2R81Di3TUuhvHiLi95YYLox3s8TmrBwW912HRkqpyrKGE7D18SS8wMs96gtdtPfBFCfVYeWTFw3EERHcDyBphWGUJ1e6yA4AWMZiP5V8xv7r7Z7otF1dsxQFhkTAhZ1piRR3ntKe4tWUHvAiEAi2Vg94qNJK4T7gshGEaj8D8dNYFodpNb2BeYeoo9xwWyLgxBrP9xTtsJVwo7tvBxsJaoRWa5nPzFq87B9ZzqtDqzcAVfdntJ1iM59bR4uC3ZACrovKzrepp1ywNHQbZGnU4qi7tRbjLDYNcRpyn9UysinNtBjNPfXq3pgU1BzURP8onR7v34ywtfZQRMC6ayggofX3irgey32AYPnQwi1r4xYX6VyWYYb8vCQ7WicVAvzYmwqMTBitEqUEzjXf7BfyA14YjQmC6AQutBivuuzDxpexPWLmFnsX94NwnHSC9W8ZqE4m4fE5rRodxFM17d2vrwLHjr7KmoZh9rdxX27PbuLTRbpCotfAjwKXHftcqvzgK7vEjyX9Tey3xpmnTvN1wzANWjEj97bGDgC8rVmnDzmGLfFph1JKayzSGuwzPw5F1fvDS9LS2SG4JUu7DpdqdbUUSPQRvFPUmo7PEwGnnmUHMASDrEFFRz4TyGQMCLHyFUzZgkmmDsKrgiQjsog2rbUs1nd74kqNxC2zPp9fx9LFxoZkv9ixcimyBuyS6xP1AJyBqnDHEhAbX3G6oQ2od4gqTuPWvk8LYn629YrMTQroiBJs5o1DRU2hkCiNTUgd9hYY56ahzCnAdYjWPUYbP6ZyZTYZ6oFwjcYCTwLAryVs51KyZY3hY6ZFZ6LKVSP5QMGhWSrYzA6Fxrmmov6E4Xt93ngVz5Sx9hFiNy7jSi5uNUCCxtasgN3sLHjpWg1kkPu4bdiw2auf8HK1viizc74knE72ZTXuUyd8V2wfy9Q5FqmgzArB72UVn9rTCxBhGhDh9ih783kvFvEuWXBzhcdRodk4NvqAX1HhWGWaarNAUbCVXmWxaYQtGMojcR2CnMN74yE2nhNqweDxTz9dbFuMPVnJCotzBw2N9y9TkzhmkXCtfhgzGiLYoa2z2wV8xys6BNrYbUTX6iCEqzCVwnf81gSHQApiMu5b5Df1ssTjo5CL52Dh4G4HYRsdnDduZSox7571t3GcBH2h4Krm6GPXm2g3ZgJa8JRrqkdKgdZ7e75K7fvdUCPGiZsngiUXZKMNxDrKnrx4n94wdVcSRe1xCW2ZY483hmjMeo56JdAMKatxgZkEum43KVvgfaCB1QqzkEsuk7Z9zagAGiYCRddLk4umMjk29GTqkqpLovUwro2GamUV5MHYmwz9WXwAiA7DSSjnVHWgw1jf2azp8sP7UrWmD8WKb8t1y1G9aRc5U6jGtBiEa7ZFGRevgHkUaMfUNWqrtRhpRrqweWy2Ac4Yj656MMmMsH2s84sBnTouesvgPBiiP8bQZctBrwamk9k4SoUsARsXnpYqyggpJKbT3DFaVcaDWAjSrXYobu5tjWjYHCTEhAMUJqMByxfKxbQZ6E7V7zcqR6NQ4EauW8pE6Qj5bKfVziesXocTr3weqBg9wz8cFFfqHtaB2DAmvrNt2sStZzxRei3Wsgmp6QWDKe7PhAcQJs2cDtru5KTNWVf7CqAir3qM8wzcFe5ncXbGT2dQyNJ6wFxBZrXrHe7xGpzjsKGPis6M3LckRw59XnFLmMQETqK7vsbdynWWJ8HYNXmmKydHMVHNzehiYhVwKYMALPEBGtSsopKmZMkgPLKUAsLJ9fNcLrdMQLss1BSRLvk883GEyMwqbFDQawkER1sNDanTScDfrGbN5kGzh458Cti5iXHpZMoy3hU4tK7i4fTUbXqVGBbyrDs3Qd3Tec16oe6DpsiMopvkjUoPZPB7XZVhV82CdRXNoY848ge7y5obmqXVqYorbxF4FcPTxHXxXNdTxXY6fX6t22pYqmTNccrBx2hDGJm84ePVvYCPrwZ8Cake4bDGkpnv46gGGDF6Jp9KCiySQMD3osUQ1zo5XXy7HVeu8gxufUT1Q7PiZ5S5H9aBnGHfDhybPCevqUNrCmCgYMDfMHMo2sTjQrPwb9LbrGwcVYUsCCGxbhc61Y7je9VGHoczWpCoENyKzLD5QGWvT2C6vMivENFwdv69znnn3nakPLx6zyzSU4sDmF4KGaoDg8wgM8wgdHUaZ1XhZbZRqNNLpCMhyBJPzhtvqKXZs9ZaBGQVHozuwhYJPKhj3WBpLeEp1cuD2Ugn5a9mhsCbkig1qUxpJ6fK5ft5Eui7uQU88bmy1p8rLVpBd6NAMNPcgS4yyoSnzZ994C7nvuuc4B9KGsu4agUi4v3RkQGU52yZxVMLsSyKyxm6uymipoPNt27eZAW8Yi4Jzt3DZRdp9KJG5eQS4zU1ef5yANFFkft8HpsxeEk8rTRfiKzQjWwy3DYsvZbU3ns5Xk76ezRoLJcZ5dJSXdC45CUPDCZNXqnrFB5XHgCNyQvXPdEjJWXNezfwA4PAYtqswFVR1PNZsuwMLdWo2s7QVa7uZNd7RtRK7mMqpPsZsQiP4wMgD8QbkUhUoCpvLqEYum6QQrjAPekonpJGsXJU3GfkwKGNBRV9dpiaKfT96KsMM6bgKSChmYsvrK1mAquwF9QdmRoLtWaHeM5t2qH55pZa6m9o6T1VQymUnBaD7zhob7kKFsfvgVToNkCb9vJbskiWuDjzU9PLjoUfvwnGwkbdWcGQvnbwJPsGZXyn61G6K61GdXjHg66ct7z1UUoEjDd9RkDySiVBhJPn9AkfJJqNSDrgRbCyfiCYRnCAFgD34BejLFtgm5o2JZQuBR3Js8TzuuGUfy4JkGGjiwQjRwvW46eDKMtrVndTMhzPzt6huJHzxNnwXfYMRsQTZsWeMBYr4x77DrxLGxztb5FbjY5MpwXdR3eUQqt9PJ5QbdF9bVMczfJ8xVWd12rgBAPjMTzo1CnKu45BKc17dUQZCgezSHv5MvT6v3R3RxbK4EtSDiXAyKQfF3zvZRduHLDxyjyea9FApjnogCxmS7pJ3N8NWmzNQst2GGhSUSfn7MAMRmkCQLotYVVoWivsD8vvuh5LqQH3xvCKCf7PWf2bi5DNnAZF3JzVMzvZL2QEMX2tAUttQaYGkPm1uDUPJX2DBfPfbzHboG5EJ3r5ikSN4GtgYS8np6LaK4PZG6nxERXSgoi64qsouMyxypJzBwDQ6EeJoV3m8diWBNo9dNAvHR5AheuudL9qJngi3HqMnSVEF1si9BzzRZTiHV64GTh3CrCpwTn2ZWfzB6E9GurxQnB8NkEgbJ8qU59oSJpcq4aLt9T4r7Hpu3hMGnGkZtwqF51wNTKHL2AUgWpLo2GrfqjDvp8e9uaN751e1ZTBEnKzgd4NFgkz35ZEJzg2ztFZ5iBTohfwi4zDQNPrWadPx9GsQCQytjPvNoDNPrRvCoo99rpwN6tUTzox86N23jN35GP89RYyfikpnic2KZEFV1PE4cKFT2c22dx8LzH6dNd4t339X5szxZp7GzRh8YRcyJrsbDPt6emcHmRNjzjiX2JcpKXrynauFaz2geHCdyeF55t8fJKhreZ9mos59gqVbFLzKMihj9LrY9wtaJn4vRsFzCLjgwySweNXsJsFyjdyRrRYKQ4H6oQ9p5hVjdmaMqVEqXuroKvA3q2Q8wGdya9dEEadmd5Gz2UfZAGidQvTSowwNueF3C7zdGgWZ1DkLuWzNCxkSUJrWUKJkX2xSJ8KdKQ2ZADZjbdGMeJtmPgXeiHMcK39BSkQRo1sTxEDuE1RTQMUDS4XdAMQYZ1MJsVD6BgnUUMPFmQ6PXc5UxgX3pMzTNkmVEiqPADeepyisu5Soo6hAwyk5vR8tTVxFTz8YiFkTSeZri5fLKdFBBtNYp1bkBdvcEogcfL7KwLWAZs4fQpuSzHsBVHHxKJvgvKHyprZ9iiQ9DV2hcpMy4yxQ7KWeCxsxPE8FtnbFpG8kf28nWTtEMwoG2x9WEJ6Xcc93mM1eY5juh4gnANxibiCcq71stBkCCNtDPExR6PGTP2RkieZgH49Qm4JdzaPFp1hePX9azRpvSyXmpg7dfp3LaU6SXtHWPtWhia2oDzcNLD66Gi2G9qMaG2NAwzVMzoA6xAZjzjs8FXFgcKppUHorwGtQaGYkEhJCriFEMKStasm1HEs4mY886XYsV24h8VgytbYjgNE1H2Rg3vtwWNh84rvSnqyaUueaHfrDP7KSfZWaf87udXBWo9TSn9K4ZAcko1o99SwKDUyF3Fd78gH8RM2oy4vdddHNNYdWazMA5s61rwVr2xz3y8dfwtmMvkLJQnqMyzsdxnm8JjM4NHjmv7QKVpnR7q1ywF1RPCRLsWueUCPcnkXvmvFknteDyJU2c6ZbYDX8TBQ5b67rXz1uMuAoXH8HjVUtyYhSjcrYKRzuyhHK86Sp3kgL81HR1pW8MKArWqdfteNx9zVXK3a2zgQVVhDY38LVgDzE5yGmcpynaziBbrTsgMcbNAvaxds2dzJqWKENDNQDDp2y2cVGZaR7zC5SLFRsRcBq3sin4vcVRBroFmdpWrShxoEPq9nvQzB4SbNQaSbbopjfck1U9wUifycCBAuYQ3UAuqwwi4picSdHiidfPNyaUuiAhe2n4yp432jzJNyQ4iXH4M4diW1DqZ8phCVCjjVy7vdSqNG9tNxxCbkzW3U66DqKY4enh6bHk92ZWu7bkJmto2A8FaTP5nKy23MydkcKSAD5rdarwsNBnytHLEf5FsnQJeiieDgXBu5A4NZ8VQYPLwiiRVQxWmoU7Us38kCsumVGqWmPh93GUQiYgW6CGdnJpttgXB5QMPa6NLWLEpWDPiA7dTSYTT7ve1uidDBAfnHz5okQcKvJf8fPjecNeRU1HJ9YVuYb43XEEKjkzjWLHZKssXDsKGLfi62CPh7bGGFimrGu34XcMhUVtRU4ojPeUWWmVGysnVWpNsV1QjczfXRHc","assets":[{"tokenId":"41fa6dcac8358a64359003e9cfa4832e2140158c54fb9376998c4eae2e8cf446","index":0,"amount":1,"name":"ePerps_ada_dust_RESERVE_NFT","decimals":0,"type":"EIP-004"},{"tokenId":"2b005ecd5da9871401722f3ef55040ef76956ed7e2c0dcec6f8f3c62513284b6","index":1,"amount":4611686018427387854,"name":"ePerps_ada_dust_LP_TOKEN","decimals":0,"type":"EIP-004"},{"tokenId":"a55b8735ed1a99e46c2c89f8994aacdf4b1109bdcf682f1e5b34479c6e392669","index":2,"amount":52,"name":"USE","decimals":3,"type":"EIP-004"},{"tokenId":"da4c16fcbc91b5b0e5e300e08fa1ad25ebd878ce5f6869ccf04afdb6cbedd248","index":3,"amount":4611686018427387904,"name":"ePerps_ada_dust_RSV_TOKEN","decimals":0,"type":"EIP-004"}],"additionalRegisters":{"R5":{"serializedValue":"1105b2aee201a4c301f69d159ec201cea215","sigmaType":"Coll[SLong]","renderedValue":"[1854361,12498,173947,12431,174247]"},"R6":{"serializedValue":"110700000000001400","sigmaType":"Coll[SLong]","renderedValue":"[0,0,0,0,0,10,0]"},"R8":{"serializedValue":"11020000","sigmaType":"Coll[SLong]","renderedValue":"[0,0]"},"R7":{"serializedValue":"1107000004b6019ea5e2010000","sigmaType":"Coll[SLong]","renderedValue":"[0,0,2,91,1853775,0,0]"},"R9":{"serializedValue":"11020000","sigmaType":"Coll[SLong]","renderedValue":"[0,0]"},"R4":{"serializedValue":"1103aae8f10eaf93900fced6b507","sigmaType":"Coll[SLong]","renderedValue":"[15612437,-15860952,7779751]"}},"spentTransactionId":null,"mainChain":true}],"total":1}