Transaction
ID: ff29807c01...7e92
Inputs (2)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.00147456 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.004 ERG
Tokens:
Loading assets...
Outputs (3)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.00347456 ERG
Tokens:
Loading assets...
Unspent
Address:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Transaction Details
Confirmations: 252,785
Total coins transferred: 0.00547456 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000179 ERG
Raw Transaction Data
{
"id": "ff29807c019eb6ff8c142edd970493bec1e236a886a0ea198377fa6e75f37e92",
"blockId": "ac509673724fd011b00df6f1f4a6fcc80fe0b9a3bf0f67231f9b47b1468c431a",
"inclusionHeight": 1509288,
"timestamp": 1745351520579,
"index": 5,
"globalIndex": 8877813,
"numConfirmations": 252785,
"inputs": [
{
"boxId": "b6a67313971cddbc2367b5e2104282fa76f603975a5eff18ba6bc3e9c9829401",
"value": 1474560,
"index": 0,
"spendingProof": null,
"outputBlockId": "b3bcbb29195ed7747f0fa37417175645769d95ede131ac5c7a25afe5a0a4dbfd",
"outputTransactionId": "6fd4942786987a674a093b1818a137713db4567b042efb4a502a041ca83ed223",
"outputIndex": 1,
"outputGlobalIndex": 47515427,
"outputCreatedAt": 1509228,
"outputSettledAt": 1509230,
"ergoTree": "10320404020105000400040405809bee02040004000e2018dc4c1da4a0a91c08c0b7b85ccd46e0b2ab91396b38c8216406959356805e3b040204000402040405020404040204020402040004000404040004040400040405d00f0e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00502058080b40104020404040604060402040401010404040004040402040604020404040004020404040401000580897a058092a803d82ad601db6308a7d602b17201d6039172027300d604860283010273017302d605c6a70411d606e47205d607b27206730300d608ed7203938cb272017304017204027207d609c6a7080ed60ae67209d60bc1a7d60ceded7208720a92720b7305d60ddb6308b2a4730600d60e938cb2720d730700017308d60fb2720d730900d610b2a5730a00d611db63087210d612b27211730b00d613b27211730c00d614eded720eed939a8c720f02730d8c721202938c720f018c72120193b2720d730e007213d615c6a7060ed616e47215d617b2a5730f00d618db63087217d619c6a7051ad61ac6a7070ed61bb27206731000d61cb27201731100d61d917ea305721bd61ec672100411d61fc67210070ed620c67210051ad621b27201731200d622b27211731300d623c17210d624c2a7d625c27210d626c67210060ed627ef720ad62896830801937202b17211937221722293721c721293720b72239372247225937216e47226722797830301947205721e947219722094721a721fd629b1a5d62ab1721895ed720cef7214d806d62bb2a5731400d62cb2db6308722b731500d62db27201731600d62eb27218731700d62fe4c672170911d6309d9c7207b272067318007319d19683060196830301938c722c018c722d01938c722c028c722d0293c2722b721696830301938c722e01731a938c722e02731b93c17217731c9683050193c672170411720593c67217051a721993c67217060e721593c67217070e721a93c67217080e72099683030193b2722f731d009a7207723093b2722f731e00723093b2722f731f009a721bb27206732000720e93b27218732100721c95ed721def7208d196830301720e721d9572038f8cb272017322000272077323957214d801d62b93c2b2a4732400721695720cd19683040193c27217e47209722b93b27218732500b272017326007214d196830201722b7214957228d19683050196830401937205721e93721a721f937212721cefe6c67210080e93b17206b1e4721e93b1e47219b1e47220722893c2b2a473270072169596830201917229732891722a7329d195917229732a96830b01937202722a937221b27218732b0093721cb27218732c0093b27201732d017204b27218732e01720493720bc17217937224c27217937216e4c67217060e7227937205c672170411937219c67217051a93721ac67217070e732fd801d62bed7227720e95722bd196830301722b93c1721799720b733093c272177216d196830401e6c67210080e96830201938c721301e4721a938c72130272079683070193721e72059372207219937226721593721f721a93722572249372227221937212721c9272237331",
"ergoTreeConstants": "0: 2\n1: 1\n2: 0\n3: 0\n4: 2\n5: 3000000\n6: 0\n7: 0\n8: Coll(24,-36,76,29,-92,-96,-87,28,8,-64,-73,-72,92,-51,70,-32,-78,-85,-111,57,107,56,-56,33,100,6,-107,-109,86,-128,94,59)\n9: 1\n10: 0\n11: 1\n12: 2\n13: 1\n14: 2\n15: 1\n16: 1\n17: 1\n18: 0\n19: 0\n20: 2\n21: 0\n22: 2\n23: 0\n24: 2\n25: 1000\n26: Coll(48,46,-109,-24,-93,121,-5,123,-41,80,86,121,71,-48,-93,-106,-14,-79,56,-75,23,-127,-25,67,69,126,-30,6,-27,-72,-20,-64)\n27: 1\n28: 1474560\n29: 1\n30: 2\n31: 3\n32: 3\n33: 1\n34: 2\n35: true\n36: 2\n37: 0\n38: 2\n39: 1\n40: 3\n41: 1\n42: 2\n43: 0\n44: 1\n45: 2\n46: 2\n47: false\n48: 1000000\n49: 3474560",
"ergoTreeScript": "{\n val coll1 = SELF.tokens\n val i2 = coll1.size\n val bool3 = i2 > placeholder[Int](0)\n val tuple4 = (Coll[Byte](placeholder[Byte](1)), placeholder[Long](2))\n val opt5 = SELF.R4[Coll[Long]]\n val coll6 = opt5.get\n val l7 = coll6(placeholder[Int](3))\n val bool8 = bool3 && (coll1.getOrElse(placeholder[Int](4), tuple4)._2 == l7)\n val opt9 = SELF.R8[Coll[Byte]]\n val bool10 = opt9.isDefined\n val l11 = SELF.value\n val bool12 = (bool8 && bool10) && (l11 >= placeholder[Long](5))\n val coll13 = INPUTS(placeholder[Int](6)).tokens\n val bool14 = coll13(placeholder[Int](7))._1 == placeholder[Coll[Byte]](8)\n val tuple15 = coll13(placeholder[Int](9))\n val box16 = OUTPUTS(placeholder[Int](10))\n val coll17 = box16.tokens\n val tuple18 = coll17(placeholder[Int](11))\n val tuple19 = coll17(placeholder[Int](12))\n val bool20 = (bool14 && ((tuple15._2 + placeholder[Long](13) == tuple18._2) && (tuple15._1 == tuple18._1))) && (coll13(placeholder[Int](14)) == tuple19)\n val opt21 = SELF.R6[Coll[Byte]]\n val coll22 = opt21.get\n val box23 = OUTPUTS(placeholder[Int](15))\n val coll24 = box23.tokens\n val opt25 = SELF.R5[Coll[Coll[Byte]]]\n val opt26 = SELF.R7[Coll[Byte]]\n val l27 = coll6(placeholder[Int](16))\n val tuple28 = coll1(placeholder[Int](17))\n val bool29 = HEIGHT.toLong > l27\n val opt30 = box16.R4[Coll[Long]]\n val opt31 = box16.R7[Coll[Byte]]\n val opt32 = box16.R5[Coll[Coll[Byte]]]\n val tuple33 = coll1(placeholder[Int](18))\n val tuple34 = coll17(placeholder[Int](19))\n val l35 = box16.value\n val coll36 = SELF.propositionBytes\n val coll37 = box16.propositionBytes\n val opt38 = box16.R6[Coll[Byte]]\n val bool39 = !bool10\n val bool40 = allOf(\n Coll[Boolean](\n i2 == coll17.size, tuple33 == tuple34, tuple28 == tuple18, l11 == l35, coll36 == coll37, coll22 == opt38.get, bool39, anyOf(\n Coll[Boolean](opt5 != opt30, opt25 != opt32, opt26 != opt31)\n )\n )\n )\n val i41 = OUTPUTS.size\n val i42 = coll24.size\n if (bool12 && (!bool20)) {(\n val box43 = OUTPUTS(placeholder[Int](20))\n val tuple44 = box43.tokens(placeholder[Int](21))\n val tuple45 = coll1(placeholder[Int](22))\n val tuple46 = coll24(placeholder[Int](23))\n val coll47 = box23.R9[Coll[Long]].get\n val l48 = l7 * coll6(placeholder[Int](24)) / placeholder[Long](25)\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](tuple44._1 == tuple45._1, tuple44._2 == tuple45._2, box43.propositionBytes == coll22)), allOf(\n Coll[Boolean](tuple46._1 == placeholder[Coll[Byte]](26), tuple46._2 == placeholder[Long](27), box23.value == placeholder[Long](28))\n ), allOf(\n Coll[Boolean](\n box23.R4[Coll[Long]] == opt5, box23.R5[Coll[Coll[Byte]]] == opt25, box23.R6[Coll[Byte]] == opt21, box23.R7[Coll[Byte]] == opt26, box23.R8[\n Coll[Byte]\n ] == opt9\n )\n ), allOf(\n Coll[Boolean](\n coll47(placeholder[Int](29)) == l7 + l48, coll47(placeholder[Int](30)) == l48, coll47(placeholder[Int](31)) == l27 + coll6(placeholder[Int](32))\n )\n ), bool14, coll24(placeholder[Int](33)) == tuple28\n )\n )\n )\n )} else {\n if (bool29 && (!bool8)) {\n sigmaProp(allOf(Coll[Boolean](bool14, bool29, if (bool3) { coll1(placeholder[Int](34))._2 < l7 } else { placeholder[Boolean](35) })))\n } else { if (bool20) {(\n val bool43 = INPUTS(placeholder[Int](36)).propositionBytes == coll22\n if (bool12) { sigmaProp(allOf(Coll[Boolean](box23.propositionBytes == opt9.get, bool43, coll24(placeholder[Int](37)) == coll1(placeholder[Int](38)), bool20))) } else { sigmaProp(allOf(Coll[Boolean](bool43, bool20))) }\n )} else { if (bool40) { sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](opt5 == opt30, opt26 == opt31, tuple18 == tuple28, !box16.R8[Coll[Byte]].isDefined)), coll6.size == opt30.get.size, opt25.get.size == opt32.get.size, bool40, INPUTS(placeholder[Int](39)).propositionBytes == coll22))) } else { if (allOf(Coll[Boolean](i41 > placeholder[Int](40), i42 > placeholder[Int](41)))) { sigmaProp(if (i41 > placeholder[Int](42)) { allOf(Coll[Boolean](i2 == i42, tuple33 == coll24(placeholder[Int](43)), tuple28 == coll24(placeholder[Int](44)), coll1.getOrElse(placeholder[Int](45), tuple4) == coll24.getOrElse(placeholder[Int](46), tuple4), l11 == box23.value, coll36 == box23.propositionBytes, coll22 == box23.R6[Coll[Byte]].get, bool39, opt5 == box23.R4[Coll[Long]], opt25 == box23.R5[Coll[Coll[Byte]]], opt26 == box23.R7[Coll[Byte]])) } else { placeholder[Boolean](47) }) } else {(\n val bool43 = bool39 && bool14\n if (bool43) { sigmaProp(allOf(Coll[Boolean](bool43, box23.value == l11 - placeholder[Long](48), box23.propositionBytes == coll22))) } else { sigmaProp(allOf(Coll[Boolean](box16.R8[Coll[Byte]].isDefined, allOf(Coll[Boolean](tuple19._1 == opt26.get, tuple19._2 == l7)), allOf(Coll[Boolean](opt30 == opt5, opt32 == opt25, opt38 == opt21, opt31 == opt26, coll37 == coll36, tuple34 == tuple33, tuple18 == tuple28)), l35 >= placeholder[Long](49)))) }\n )} } } }\n }\n}",
"address": "6xAjStnxsNmDevbVmX4fmx6EYkfH7TD8LUAdWtqnBnjUjPju6fP6minhWkZoDkuX9r6DWtHy9LtWC3aFatHQvFiwanQ6gJ7t1N26tkmAETXTHts1xy5wXtPWs6e7gn1HMsMxdHQL8deymrw4KUPEwx9q5FPzbzpkz4HPLTFkFdUdhoX1zCMv7p5hZmCR9kozkyUw8J3Z4q77nn4VhnjQu9g3PLahCQSpFih95Q5wcEnQ4938sr9erFcG5DHHmk7Ws7CHbhH9mpgA8GBJCDgw1vPCWkgFzqbsFYiUHFjiLhGWFmszAwsCxRBGNtws5wkzLHK2gKK26z9kotNoaktSRJabTsauVoMWyzVQmzKrzMTWaKVLYEKCzN2EwtP3KkcPKFuGXmq7nM4SmiciBvppX6WESgZPz19iRB1iKFY5DDpMAPkj2FXn9oBmHgZvcxstwNUjV95A6kpcsRiCVP6XFx8gLDFvD17rUCZmpGzVEj3Kd5k76dBN27Y7vKMkXWxh51GLaYGLHTWif9pVGD3xLti7HmYRKMc6LV52g7cQUKHGgtB3B8xpETinf6wGrYovKCBTJrRkL3eb7TTe2WjhDdKg6tiy9E4kfnNGwqnaXoSsT3sinYi46difG2msCdJPwF5rhYiQaRHgjs1sGEzLbRsBoSiRjuHyGMCMoXQV8CeF29JcKAjGs86n2HT2dZ8jqSNNYAcW1NxzbATXwNa3A3X5dGBgozicZnFVBycvasMpwJ2QGuMuMxDokpvm2avXNyhkKTip3ng1ycxvXiBk8vsYXmVnUuTF5qu1VdCcG42xYQuxgpAmmzGQ1bsf9PTHiU9B8XZebNtaB6mzgnqbxE44qmYpMpGcjYgwtp6BgTfjiV8HogQXXrgxLKJWHry2Y433ujnGdsgZXbAGZNczF8HMbBVpE2cm14UiSMVkMbmjdLzHsceiWpLSKf6MtS1gACUmR3FiDFsDSWpiUcJ9XXWbr4rdozWieis2c6jiHvqV16uML244rQqbqkV36Y2x7HEdwtuLL4PoPTKsaJyxym5MGV34B2D3k9GUN65NcNctLh7PfDh9UNufT4TkpUZmn3s5TeEn4e78P9QhEtz5yiZLbNF824a4J7YP2F3JC914pgjpiDhX6XJknRjwZ3xJq5fdZnJfgngKfaxP8ieLJhYP5jBTQJUDeFt6Nt1cSF4vC7ibtBrx6fkYUdNCiTBYAZy3BXgpmHwrTxW86NfdGLftVhXgfZxeocsPRMv6BWmM45k6GH7Pnt2n9qdE7LR4mSFzo5xHM5onTAB8wpM982LJ556MJMHQsTxVavZYZWmy1bMSU1Atjr8GSGJkGn2gMHRngsjSrcfzKwTe4AnjrvvN5CGXQ2U77ncxSnfyUdLR7qtJVxTv2D8XkL1yfi8imDmMVzPxgEFPxMN89UAZLW5ro62KVG8pNJaX4Q8P3DJAHkHj8SFgvhsytoCx7GqL5xPwCRg7Fr9pWjA48Swrxy5eGeZxda7mgCFgdMT4gaDhEkLHiAvYEnLYYkLr4GSAyz4m2jMuqeFrMboSq8T9yheaQbSKj5rUemcPUtWYGynAzmeu4",
"assets": [
{
"tokenId": "a624c7e51ffae8f16fe024d8556faf47aac1c7fcaa7f584b95e9784e6426f630",
"index": 0,
"amount": 1,
"name": "Exle: SLT LoanBox Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1105a09c01baf3c30128c0d1028084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[10000,1604829,20,21600,100000000]"
},
"R5": {
"serializedValue": "1a0203466f6f03426172",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[466f6f,426172]"
},
"R6": {
"serializedValue": "0e240008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c"
},
"R7": {
"serializedValue": "0e20f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"sigmaType": "Coll[SByte]",
"renderedValue": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a"
}
}
},
{
"boxId": "d17c4d5427e1d5853afe8b4700b397f35a4da2bb86f61a6ab7785c37770f6c3f",
"value": 4000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "c724eb2e01d9967833be482ffca1fd9e4ff67e615959404015ef892d1c4b71b2",
"outputTransactionId": "e21283b3500024d9c78fbb85ff25defb336bea54530c5e4e930aaf83e724d169",
"outputIndex": 0,
"outputGlobalIndex": 47516463,
"outputCreatedAt": 1509282,
"outputSettledAt": 1509285,
"ergoTree": "105404000e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a88504000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"ergoTreeConstants": "0: 0\n1: Coll(-97,66,-89,69,125,72,-13,68,-107,-40,-64,-64,-86,123,90,-55,-101,71,-114,22,56,-28,121,70,7,127,5,71,110,35,-88,-123)\n2: 0\n3: 4000000\n4: 0\n5: 0\n6: Coll(82,-51,-84,78,-82,-22,-34,92,82,5,107,26,94,108,-53,93,92,4,-8,25,-120,-79,90,-6,39,-71,61,-45,-75,109,76,-7)\n7: 1\n8: 1\n9: 0\n10: 1\n11: 1\n12: 2\n13: 3\n14: 2\n15: 1\n16: 0\n17: Coll(48,46,-109,-24,-93,121,-5,123,-41,80,86,121,71,-48,-93,-106,-14,-79,56,-75,23,-127,-25,67,69,126,-30,6,-27,-72,-20,-64)\n18: 2\n19: 1\n20: 1\n21: false\n22: 1\n23: 0\n24: 0\n25: 2\n26: 0\n27: 0\n28: 2\n29: 1000\n30: 1\n31: 0\n32: 1000000\n33: 0\n34: 0\n35: 0\n36: 1\n37: 1\n38: 1\n39: 1\n40: 2\n41: 0\n42: 0\n43: 0\n44: 0\n45: 0\n46: 0\n47: 0\n48: 0\n49: 0\n50: 1\n51: 1\n52: 1\n53: 2\n54: 2\n55: 2\n56: 1\n57: 2\n58: 1\n59: 2\n60: 2\n61: 0\n62: 2\n63: 1\n64: 1\n65: 1\n66: 1\n67: 1\n68: 1\n69: 0\n70: 1\n71: 0\n72: 1\n73: 1\n74: 0\n75: 1\n76: 1\n77: 1\n78: 0\n79: 0\n80: 1\n81: 1\n82: 1\n83: 0",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val coll3 = box2.tokens\n val coll4 = placeholder[Coll[Byte]](1)\n val coll5 = SELF.propositionBytes\n val box6 = OUTPUTS(placeholder[Int](2))\n val coll7 = box6.tokens\n val coll8 = SELF.tokens\n val bool9 = SELF.value >= placeholder[Long](3)\n val box10 = INPUTS(placeholder[Int](4))\n val tuple11 = coll3(placeholder[Int](5))\n val bool12 = allOf(Coll[Boolean](box2.propositionBytes == coll5, tuple11._1 == placeholder[Coll[Byte]](6), tuple11._2 == placeholder[Long](7)))\n val tuple13 = (Coll[Byte](placeholder[Byte](8)), placeholder[Long](9))\n val tuple14 = coll8.getOrElse(placeholder[Int](10), tuple13)\n val tuple15 = coll7.getOrElse(placeholder[Int](11), tuple13)\n val l16 = tuple15._2\n if (if ((coll3.size == placeholder[Int](12)) && (coll1.size == placeholder[Int](13))) {(\n val coll17 = coll1(placeholder[Int](14)).tokens\n allOf(\n Coll[Boolean](\n coll17(placeholder[Int](15))._1 == box2.R4[Coll[Byte]].get, coll17(placeholder[Int](16))._1 == placeholder[Coll[Byte]](17), box2.R6[\n Long\n ].get == placeholder[Long](18), coll3(placeholder[Int](19))._2 == placeholder[Long](20)\n )\n )\n )} else { placeholder[Boolean](21) }) {(\n val coll17 = INPUTS.filter({(box17: Box) => box17.propositionBytes != coll5 })\n val coll18 = box2.R5[Coll[Byte]].get\n val coll19 = OUTPUTS(placeholder[Int](22)).tokens\n val l20 = coll17.flatMap({(box20: Box) => box20.tokens.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }) }).fold(\n placeholder[Long](23), {(tuple20: (Long, (Coll[Byte], Long))) => tuple20._1 + tuple20._2._2 }\n ) - coll19.filter({(tuple20: (Coll[Byte], Long)) => tuple20._1 == coll18 }).fold(\n placeholder[Long](24), {(tuple20: (Long, (Coll[Byte], Long))) => tuple20._1 + tuple20._2._2 }\n )\n val box21 = coll1(placeholder[Int](25))\n val coll22 = box21.R7[Coll[Byte]].get\n val l23 = coll19.filter({(tuple23: (Coll[Byte], Long)) => tuple23._1 == coll22 }).fold(\n placeholder[Long](26), {(tuple23: (Long, (Coll[Byte], Long))) => tuple23._1 + tuple23._2._2 }\n ) - coll17.flatMap({(box23: Box) => box23.tokens.filter({(tuple25: (Coll[Byte], Long)) => tuple25._1 == coll22 }) }).fold(\n placeholder[Long](27), {(tuple23: (Long, (Coll[Byte], Long))) => tuple23._1 + tuple23._2._2 }\n )\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.R4[Coll[Byte]].get == coll4, allOf(\n Coll[Boolean](\n l20 + l20 * box21.R4[Coll[Long]].get(placeholder[Int](28)) * placeholder[Long](29) - coll1(placeholder[Int](30)).R8[Coll[Long]].get(\n placeholder[Int](31)\n ) / placeholder[Long](32) == l23, INPUTS.filter({(box24: Box) => box24.propositionBytes == coll5 }).flatMap(\n {(box24: Box) => box24.tokens.filter({(tuple26: (Coll[Byte], Long)) => tuple26._1 == coll22 }) }\n ).fold(placeholder[Long](33), {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 + tuple24._2._2 }) - coll7.filter(\n {(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll22 }\n ).fold(placeholder[Long](34), {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 + tuple24._2._2 }) == l23\n )\n ), box6.propositionBytes == coll5\n )\n )\n )\n )} else {\n if (allOf(\n Coll[Boolean](\n (SELF.id == box10.id) && (coll5 == OUTPUTS(placeholder[Int](35)).propositionBytes), tuple14._2 < l16, l16 != placeholder[Long](\n 36\n ), tuple14._1 == tuple15._1\n )\n )) {(\n val coll17 = INPUTS.slice(placeholder[Int](37), INPUTS.size + placeholder[Int](38))\n val coll18 = box2.R5[Coll[Byte]].get\n val box19 = OUTPUTS(placeholder[Int](39))\n val coll20 = box19.tokens\n val coll21 = coll1(placeholder[Int](40)).R7[Coll[Byte]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.R6[Long].get == placeholder[Long](41), allOf(\n Coll[Boolean](\n coll17.flatMap({(box22: Box) => box22.tokens.filter({(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll18 }) }).fold(\n placeholder[Long](42), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll20.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](43), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) == coll20.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](44), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll17.flatMap({(box22: Box) => box22.tokens.filter({(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll21 }) }).fold(\n placeholder[Long](45), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ), coll7.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](46), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll8.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](47), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) == coll8.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](48), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll7.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](49), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n )\n )\n ), coll17.forall({(box22: Box) => box22.propositionBytes == box19.propositionBytes }), bool9\n )\n )\n )\n )} else {(\n val opt17 = box2.R4[Coll[Byte]]\n val opt18 = box2.R5[Coll[Byte]]\n if (box2.R6[Long].get == placeholder[Long](50)) {(\n val box19 = OUTPUTS(placeholder[Int](51))\n val coll20 = opt18.get\n val coll21 = box19.tokens\n val tuple22 = coll21(placeholder[Int](52))\n val tuple23 = coll7(placeholder[Int](53))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box19.propositionBytes == coll5, allOf(\n Coll[Boolean](opt17.get == box19.R4[Coll[Byte]].get, coll20 == box19.R5[Coll[Byte]].get, box19.R6[Long].get == placeholder[Long](54))\n ), allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](coll21.size == placeholder[Int](55), tuple22._1 == coll20, tuple22._2 == placeholder[Long](56))), allOf(\n Coll[Boolean](tuple23._1 == box10.R7[Coll[Byte]].get, tuple23._2 == coll8(placeholder[Int](57))._2)\n )\n )\n ), box10.tokens(placeholder[Int](58))._1 == coll4, bool12, bool9\n )\n )\n )\n )} else {(\n val tuple19 = coll7(placeholder[Int](59))\n val l20 = tuple19._2\n val box21 = coll1(placeholder[Int](60))\n val l22 = box21.R4[Coll[Long]].get(placeholder[Int](61))\n val bool23 = l20 == l22\n val coll24 = box21.R7[Coll[Byte]].get\n val bool25 = tuple19._1 == coll24\n val l26 = l20 - coll8.getOrElse(placeholder[Int](62), tuple13)._2\n val coll27 = opt18.get\n val coll28 = opt17.get\n sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](if (bool23) {(\n val tuple29 = coll7(placeholder[Int](63))\n allOf(Coll[Boolean](tuple29._2 == placeholder[Long](64), tuple29._1 == coll8(placeholder[Int](65))._1, bool25))\n )} else {(\n val tuple29 = coll8(placeholder[Int](66))\n val tuple30 = coll7(placeholder[Int](67))\n allOf(Coll[Boolean](tuple29._2 - tuple30._2 == l26, tuple30._1 == tuple29._1, bool25))\n )}, OUTPUTS(placeholder[Int](68)).tokens.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll27 }).fold(placeholder[Long](69), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) - INPUTS(placeholder[Int](70)).tokens.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll27 }).fold(placeholder[Long](71), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) == l26)), allOf(Coll[Boolean](bool25, box21.tokens(placeholder[Int](72))._1 == coll28)), allOf(Coll[Boolean](coll28 == box6.R4[Coll[Byte]].get, coll27 == box6.R5[Coll[Byte]].get)), if (bool23) { allOf(Coll[Boolean](box6.R6[Long].get == placeholder[Long](73), coll7(placeholder[Int](74))._2 == placeholder[Long](75), coll7(placeholder[Int](76))._2 == placeholder[Long](77), bool23)) } else { allOf(Coll[Boolean](box6.R6[Long].get == placeholder[Long](78), coll7(placeholder[Int](79))._2 == placeholder[Long](80), coll7(placeholder[Int](81))._2 != placeholder[Long](82))) }, box6.propositionBytes == coll5, bool12, bool9, coll7.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll24 }).fold(placeholder[Long](83), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) <= l22)))\n )}\n )}\n }\n}",
"address": "uAmkpkg4Np7AFZM7CKdQV5kpasm6KpRZA1GoT4rVyvpPpNB9gfRSiY9BaVWnzRZgrHvokpwmHwdS7hLoQiDPp34rsYoqpDCfjk8T36KzDjfV3Jg5MVGBzZ4Zk917UC83d6NKnUD5vRByFKAggNCxeBytNbtdT2H6N2KXiGa7dijFNDZutnpjCTSSZGYqLJcKvoVao8Gvcq1GGP7Qm1zhYgVE4WRGFiQcJGJWnDkkmnLaFHuHyjsXxENXggeQSALtkQ2k7mduoZfG34QZkVoRGXnrz3WUxJHBCMgYsSFafiw6fjQBM2qHHGd46JrPNp5h4SV9W8kzfxoNYCPQnQNxKu1p7m3xDfFXDdGmuJwtJvdzK4dggRrgDq2jLG8KCXwRJTefPD5VsnzrU7atRk3XNSHbgskUuKrbr69ASAFLTQmNEcEtSYVRdYTUWk5eRun3dJDih8CC13aSCUcVaqTU8Wvpar8npJode2WbJC3DWPK4Kjbdg4zw5VovMyC3qejyqzfXUTVLUz6sxu4qL1EDfJ9JMDyNutLCzbV8KLqvyVLZgpwUjAGVvUkuH98Hn2qjGkkBM6SBwjThgDbvte8tiarVvPvVeqmLHN1KNQKDKZJqe9dsJFRHS6JoZ9G3rkDjv4st6QzNNSrNvYd7BNMEQq7UCTMRby9wUvRnPFfJwdvhAoJ4M2Jc7LBUnQszkASjVc2fwYeWMAUf1urgivHud2UUmERjPLjaoAqp1ta3WFhbdZYfghAy7sdNpm14UcW3v8NzoGKXtjrVpUbAiHJ4WL8XBCb3GcvqFxSivfxkvCQALgF51MjwCohioKaf3qUZoL97cpqwDW9AZLYhaYdFFW1E6CUe1Sk71836BQFRx4tN7wSFL41zux1V6YpNoWZTViy2Lm9kww44u9HsFAbGiwEgLSe6pFQVMkhz3kvSbymnmHQzGZPYkH1fJ4crvKMuWHDDeDCqXMRk5G9xU1UQu18iQpTrpu3M4BnSWk7Hqycy53cy9YPGKLLQ8fS2vYZz9ezPRKJQERFnrKPLt3S6QwZChcT2TzXkmxTWc8Av6wUffi98k8hdrZZXr9cjaBsgARVpu2hvtDjBLrJ9wczkF4yGuAFQqMh3NHptfb7cX6PXqRQe5nFG8KCMcxj5218eP1XDFHq4puDKCqCdZrFp9KXCAzP9ZwT52xudzAfz7Jo5bX9GXa64S2rVjSe1k698M86azuXVV84cso32VxJEfqgKDqfvi9KkdnAMbRKmariNas9fhiy5MuDYAaSwiEqS7EYqwkHmUedVJtm8ndWD2Eb6TJEHGLvzjuQvEjQ1NzjCk5sGzXCYeaALU6NVVt3745uHMVJ9uM3UsmDkpsHfuvzCJA2e64x6aUM6VN53z8iNXNdugXyKr4mRb8XdDz8HQG4kuDpiFkmrr3A24XAEzpCKaJ9iVrLFxzbcoF4Lw4EVZcufnrkG54poUDuYmNh8JzYMKNJSkAhRr152dXyqaw6YqxwRBuvAZL7ipDJg2oT2WCiWw8uJfjfPQRnBuDx46rcysgcH4sZnQ8FAJgnYPifcxAF3oiXsN2fcJaTe5RqJ7rH8FYTLA65eRBjs1N2ESj4cbM6cSL3H7jbqGUDp4d9Rgm4joziDVc1brWYAcBY2qYDVD9WVzBnrqDeZy91oF8G7kRBEbSyErkFzUKExcA3KU3Do2iFfA2sN9PmEm2nMK8QWVQ74h4Rz24peanynBj1UTaSU7di8ouAFzxM39uvXCm9L7v17NU9EynW1siYiodWXEWPYXAvkA9RU5KQqeQPYPXHtX6iYz8DAwhMWTBE5y4PBrv4w1GALKGJPCAqC97Awv1XaCHG3yonxZL8WN8LtbtDHyy7a2uCrgF9QiVZyfYJtWBRR1hQXbSKNqdJYQTPnVjMoXXrT2cRyMKoMKefe39iBDs6hvgHXhUPjLpqTQPteDPxQRV3Ls6jEJzbNPrWS1wiF5WKqK2aacdBEBhcvFXrnB6a4QTyVREVXnAfrtCB4TwawD7KUL4DEvriowXsm9Y6T5G9sg85H4QH13K4ivU7nH8PD1Dt3w4WKsuYrXm2oTorPeZ6EuJshjG4GSyhzDdWN2uaNJXRNqbsJjiacnT1Nsi8iNqE8GrEyCgQPJcb9hQ3b2LMHCJGT2SP57gZKUzxgWznB4C98WdHpQ7EtmY2MnkPBPNjBbqynMsvTapghMMPQR1aAn7y7bxj3PbWr3bZawcXEd636efUdvTSycmeWyKb3jnXtHiaeuEEbkCRzRpofxiQ8QFZrXGHjb9a5aj2HFwrEvtR3gubg4fuWctpYoaFqa9dGk4rhWAzxcE8GvkcNYEVikJTEv8jyCiX8XY6YwcEntdUsuXbHzmcnnjR8Yu9ydnj9YZwmRyqtbzFAQLaHf47V7UsRtQ7rkEMkr7dekYGYPwR6q2qMBXWU1wCu61JomGrjcZVxSh3o1ofHeDXsucBdTtpmYdnvgC5b81bApmnBfRHQhQf4LSi6caUZufnJi6ns1WbnXuwswt5mGhtBB6D2W9Txv7SSjEy6ezpmJorTZQLWQhiUHmHnWdqRtqiMKtxonoYhW2491Y5xu97pdLSX32VvQ96s4KZp7bXvKotCaK9Rt",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"index": 2,
"amount": 10000,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"sigmaType": "Coll[SByte]",
"renderedValue": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885"
},
"R5": {
"serializedValue": "0e209d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"sigmaType": "Coll[SByte]",
"renderedValue": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871"
},
"R6": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
}
}
}
],
"dataInputs": [
{
"boxId": "d17c4d5427e1d5853afe8b4700b397f35a4da2bb86f61a6ab7785c37770f6c3f",
"value": 4000000,
"index": 0,
"outputBlockId": "c724eb2e01d9967833be482ffca1fd9e4ff67e615959404015ef892d1c4b71b2",
"outputTransactionId": "e21283b3500024d9c78fbb85ff25defb336bea54530c5e4e930aaf83e724d169",
"outputIndex": 0,
"ergoTree": "105404000e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a88504000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"address": "uAmkpkg4Np7AFZM7CKdQV5kpasm6KpRZA1GoT4rVyvpPpNB9gfRSiY9BaVWnzRZgrHvokpwmHwdS7hLoQiDPp34rsYoqpDCfjk8T36KzDjfV3Jg5MVGBzZ4Zk917UC83d6NKnUD5vRByFKAggNCxeBytNbtdT2H6N2KXiGa7dijFNDZutnpjCTSSZGYqLJcKvoVao8Gvcq1GGP7Qm1zhYgVE4WRGFiQcJGJWnDkkmnLaFHuHyjsXxENXggeQSALtkQ2k7mduoZfG34QZkVoRGXnrz3WUxJHBCMgYsSFafiw6fjQBM2qHHGd46JrPNp5h4SV9W8kzfxoNYCPQnQNxKu1p7m3xDfFXDdGmuJwtJvdzK4dggRrgDq2jLG8KCXwRJTefPD5VsnzrU7atRk3XNSHbgskUuKrbr69ASAFLTQmNEcEtSYVRdYTUWk5eRun3dJDih8CC13aSCUcVaqTU8Wvpar8npJode2WbJC3DWPK4Kjbdg4zw5VovMyC3qejyqzfXUTVLUz6sxu4qL1EDfJ9JMDyNutLCzbV8KLqvyVLZgpwUjAGVvUkuH98Hn2qjGkkBM6SBwjThgDbvte8tiarVvPvVeqmLHN1KNQKDKZJqe9dsJFRHS6JoZ9G3rkDjv4st6QzNNSrNvYd7BNMEQq7UCTMRby9wUvRnPFfJwdvhAoJ4M2Jc7LBUnQszkASjVc2fwYeWMAUf1urgivHud2UUmERjPLjaoAqp1ta3WFhbdZYfghAy7sdNpm14UcW3v8NzoGKXtjrVpUbAiHJ4WL8XBCb3GcvqFxSivfxkvCQALgF51MjwCohioKaf3qUZoL97cpqwDW9AZLYhaYdFFW1E6CUe1Sk71836BQFRx4tN7wSFL41zux1V6YpNoWZTViy2Lm9kww44u9HsFAbGiwEgLSe6pFQVMkhz3kvSbymnmHQzGZPYkH1fJ4crvKMuWHDDeDCqXMRk5G9xU1UQu18iQpTrpu3M4BnSWk7Hqycy53cy9YPGKLLQ8fS2vYZz9ezPRKJQERFnrKPLt3S6QwZChcT2TzXkmxTWc8Av6wUffi98k8hdrZZXr9cjaBsgARVpu2hvtDjBLrJ9wczkF4yGuAFQqMh3NHptfb7cX6PXqRQe5nFG8KCMcxj5218eP1XDFHq4puDKCqCdZrFp9KXCAzP9ZwT52xudzAfz7Jo5bX9GXa64S2rVjSe1k698M86azuXVV84cso32VxJEfqgKDqfvi9KkdnAMbRKmariNas9fhiy5MuDYAaSwiEqS7EYqwkHmUedVJtm8ndWD2Eb6TJEHGLvzjuQvEjQ1NzjCk5sGzXCYeaALU6NVVt3745uHMVJ9uM3UsmDkpsHfuvzCJA2e64x6aUM6VN53z8iNXNdugXyKr4mRb8XdDz8HQG4kuDpiFkmrr3A24XAEzpCKaJ9iVrLFxzbcoF4Lw4EVZcufnrkG54poUDuYmNh8JzYMKNJSkAhRr152dXyqaw6YqxwRBuvAZL7ipDJg2oT2WCiWw8uJfjfPQRnBuDx46rcysgcH4sZnQ8FAJgnYPifcxAF3oiXsN2fcJaTe5RqJ7rH8FYTLA65eRBjs1N2ESj4cbM6cSL3H7jbqGUDp4d9Rgm4joziDVc1brWYAcBY2qYDVD9WVzBnrqDeZy91oF8G7kRBEbSyErkFzUKExcA3KU3Do2iFfA2sN9PmEm2nMK8QWVQ74h4Rz24peanynBj1UTaSU7di8ouAFzxM39uvXCm9L7v17NU9EynW1siYiodWXEWPYXAvkA9RU5KQqeQPYPXHtX6iYz8DAwhMWTBE5y4PBrv4w1GALKGJPCAqC97Awv1XaCHG3yonxZL8WN8LtbtDHyy7a2uCrgF9QiVZyfYJtWBRR1hQXbSKNqdJYQTPnVjMoXXrT2cRyMKoMKefe39iBDs6hvgHXhUPjLpqTQPteDPxQRV3Ls6jEJzbNPrWS1wiF5WKqK2aacdBEBhcvFXrnB6a4QTyVREVXnAfrtCB4TwawD7KUL4DEvriowXsm9Y6T5G9sg85H4QH13K4ivU7nH8PD1Dt3w4WKsuYrXm2oTorPeZ6EuJshjG4GSyhzDdWN2uaNJXRNqbsJjiacnT1Nsi8iNqE8GrEyCgQPJcb9hQ3b2LMHCJGT2SP57gZKUzxgWznB4C98WdHpQ7EtmY2MnkPBPNjBbqynMsvTapghMMPQR1aAn7y7bxj3PbWr3bZawcXEd636efUdvTSycmeWyKb3jnXtHiaeuEEbkCRzRpofxiQ8QFZrXGHjb9a5aj2HFwrEvtR3gubg4fuWctpYoaFqa9dGk4rhWAzxcE8GvkcNYEVikJTEv8jyCiX8XY6YwcEntdUsuXbHzmcnnjR8Yu9ydnj9YZwmRyqtbzFAQLaHf47V7UsRtQ7rkEMkr7dekYGYPwR6q2qMBXWU1wCu61JomGrjcZVxSh3o1ofHeDXsucBdTtpmYdnvgC5b81bApmnBfRHQhQf4LSi6caUZufnJi6ns1WbnXuwswt5mGhtBB6D2W9Txv7SSjEy6ezpmJorTZQLWQhiUHmHnWdqRtqiMKtxonoYhW2491Y5xu97pdLSX32VvQ96s4KZp7bXvKotCaK9Rt",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"index": 2,
"amount": 10000,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"sigmaType": "Coll[SByte]",
"renderedValue": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885"
},
"R5": {
"serializedValue": "0e209d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"sigmaType": "Coll[SByte]",
"renderedValue": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871"
},
"R6": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
}
}
},
{
"boxId": "b6a67313971cddbc2367b5e2104282fa76f603975a5eff18ba6bc3e9c9829401",
"value": 1474560,
"index": 1,
"outputBlockId": "b3bcbb29195ed7747f0fa37417175645769d95ede131ac5c7a25afe5a0a4dbfd",
"outputTransactionId": "6fd4942786987a674a093b1818a137713db4567b042efb4a502a041ca83ed223",
"outputIndex": 1,
"ergoTree": "10320404020105000400040405809bee02040004000e2018dc4c1da4a0a91c08c0b7b85ccd46e0b2ab91396b38c8216406959356805e3b040204000402040405020404040204020402040004000404040004040400040405d00f0e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00502058080b40104020404040604060402040401010404040004040402040604020404040004020404040401000580897a058092a803d82ad601db6308a7d602b17201d6039172027300d604860283010273017302d605c6a70411d606e47205d607b27206730300d608ed7203938cb272017304017204027207d609c6a7080ed60ae67209d60bc1a7d60ceded7208720a92720b7305d60ddb6308b2a4730600d60e938cb2720d730700017308d60fb2720d730900d610b2a5730a00d611db63087210d612b27211730b00d613b27211730c00d614eded720eed939a8c720f02730d8c721202938c720f018c72120193b2720d730e007213d615c6a7060ed616e47215d617b2a5730f00d618db63087217d619c6a7051ad61ac6a7070ed61bb27206731000d61cb27201731100d61d917ea305721bd61ec672100411d61fc67210070ed620c67210051ad621b27201731200d622b27211731300d623c17210d624c2a7d625c27210d626c67210060ed627ef720ad62896830801937202b17211937221722293721c721293720b72239372247225937216e47226722797830301947205721e947219722094721a721fd629b1a5d62ab1721895ed720cef7214d806d62bb2a5731400d62cb2db6308722b731500d62db27201731600d62eb27218731700d62fe4c672170911d6309d9c7207b272067318007319d19683060196830301938c722c018c722d01938c722c028c722d0293c2722b721696830301938c722e01731a938c722e02731b93c17217731c9683050193c672170411720593c67217051a721993c67217060e721593c67217070e721a93c67217080e72099683030193b2722f731d009a7207723093b2722f731e00723093b2722f731f009a721bb27206732000720e93b27218732100721c95ed721def7208d196830301720e721d9572038f8cb272017322000272077323957214d801d62b93c2b2a4732400721695720cd19683040193c27217e47209722b93b27218732500b272017326007214d196830201722b7214957228d19683050196830401937205721e93721a721f937212721cefe6c67210080e93b17206b1e4721e93b1e47219b1e47220722893c2b2a473270072169596830201917229732891722a7329d195917229732a96830b01937202722a937221b27218732b0093721cb27218732c0093b27201732d017204b27218732e01720493720bc17217937224c27217937216e4c67217060e7227937205c672170411937219c67217051a93721ac67217070e732fd801d62bed7227720e95722bd196830301722b93c1721799720b733093c272177216d196830401e6c67210080e96830201938c721301e4721a938c72130272079683070193721e72059372207219937226721593721f721a93722572249372227221937212721c9272237331",
"address": "6xAjStnxsNmDevbVmX4fmx6EYkfH7TD8LUAdWtqnBnjUjPju6fP6minhWkZoDkuX9r6DWtHy9LtWC3aFatHQvFiwanQ6gJ7t1N26tkmAETXTHts1xy5wXtPWs6e7gn1HMsMxdHQL8deymrw4KUPEwx9q5FPzbzpkz4HPLTFkFdUdhoX1zCMv7p5hZmCR9kozkyUw8J3Z4q77nn4VhnjQu9g3PLahCQSpFih95Q5wcEnQ4938sr9erFcG5DHHmk7Ws7CHbhH9mpgA8GBJCDgw1vPCWkgFzqbsFYiUHFjiLhGWFmszAwsCxRBGNtws5wkzLHK2gKK26z9kotNoaktSRJabTsauVoMWyzVQmzKrzMTWaKVLYEKCzN2EwtP3KkcPKFuGXmq7nM4SmiciBvppX6WESgZPz19iRB1iKFY5DDpMAPkj2FXn9oBmHgZvcxstwNUjV95A6kpcsRiCVP6XFx8gLDFvD17rUCZmpGzVEj3Kd5k76dBN27Y7vKMkXWxh51GLaYGLHTWif9pVGD3xLti7HmYRKMc6LV52g7cQUKHGgtB3B8xpETinf6wGrYovKCBTJrRkL3eb7TTe2WjhDdKg6tiy9E4kfnNGwqnaXoSsT3sinYi46difG2msCdJPwF5rhYiQaRHgjs1sGEzLbRsBoSiRjuHyGMCMoXQV8CeF29JcKAjGs86n2HT2dZ8jqSNNYAcW1NxzbATXwNa3A3X5dGBgozicZnFVBycvasMpwJ2QGuMuMxDokpvm2avXNyhkKTip3ng1ycxvXiBk8vsYXmVnUuTF5qu1VdCcG42xYQuxgpAmmzGQ1bsf9PTHiU9B8XZebNtaB6mzgnqbxE44qmYpMpGcjYgwtp6BgTfjiV8HogQXXrgxLKJWHry2Y433ujnGdsgZXbAGZNczF8HMbBVpE2cm14UiSMVkMbmjdLzHsceiWpLSKf6MtS1gACUmR3FiDFsDSWpiUcJ9XXWbr4rdozWieis2c6jiHvqV16uML244rQqbqkV36Y2x7HEdwtuLL4PoPTKsaJyxym5MGV34B2D3k9GUN65NcNctLh7PfDh9UNufT4TkpUZmn3s5TeEn4e78P9QhEtz5yiZLbNF824a4J7YP2F3JC914pgjpiDhX6XJknRjwZ3xJq5fdZnJfgngKfaxP8ieLJhYP5jBTQJUDeFt6Nt1cSF4vC7ibtBrx6fkYUdNCiTBYAZy3BXgpmHwrTxW86NfdGLftVhXgfZxeocsPRMv6BWmM45k6GH7Pnt2n9qdE7LR4mSFzo5xHM5onTAB8wpM982LJ556MJMHQsTxVavZYZWmy1bMSU1Atjr8GSGJkGn2gMHRngsjSrcfzKwTe4AnjrvvN5CGXQ2U77ncxSnfyUdLR7qtJVxTv2D8XkL1yfi8imDmMVzPxgEFPxMN89UAZLW5ro62KVG8pNJaX4Q8P3DJAHkHj8SFgvhsytoCx7GqL5xPwCRg7Fr9pWjA48Swrxy5eGeZxda7mgCFgdMT4gaDhEkLHiAvYEnLYYkLr4GSAyz4m2jMuqeFrMboSq8T9yheaQbSKj5rUemcPUtWYGynAzmeu4",
"assets": [
{
"tokenId": "a624c7e51ffae8f16fe024d8556faf47aac1c7fcaa7f584b95e9784e6426f630",
"index": 0,
"amount": 1,
"name": "Exle: SLT LoanBox Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1105a09c01baf3c30128c0d1028084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[10000,1604829,20,21600,100000000]"
},
"R5": {
"serializedValue": "1a0203466f6f03426172",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[466f6f,426172]"
},
"R6": {
"serializedValue": "0e240008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c"
},
"R7": {
"serializedValue": "0e20f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"sigmaType": "Coll[SByte]",
"renderedValue": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a"
}
}
}
],
"outputs": [
{
"boxId": "02a5531f12c2548abe1dcebbd36c099772a09666d607ed76e945ada87fc7f579",
"transactionId": "ff29807c019eb6ff8c142edd970493bec1e236a886a0ea198377fa6e75f37e92",
"blockId": "ac509673724fd011b00df6f1f4a6fcc80fe0b9a3bf0f67231f9b47b1468c431a",
"value": 3474560,
"index": 0,
"globalIndex": 47516536,
"creationHeight": 1509285,
"settlementHeight": 1509288,
"ergoTree": "10320404020105000400040405809bee02040004000e2018dc4c1da4a0a91c08c0b7b85ccd46e0b2ab91396b38c8216406959356805e3b040204000402040405020404040204020402040004000404040004040400040405d00f0e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00502058080b40104020404040604060402040401010404040004040402040604020404040004020404040401000580897a058092a803d82ad601db6308a7d602b17201d6039172027300d604860283010273017302d605c6a70411d606e47205d607b27206730300d608ed7203938cb272017304017204027207d609c6a7080ed60ae67209d60bc1a7d60ceded7208720a92720b7305d60ddb6308b2a4730600d60e938cb2720d730700017308d60fb2720d730900d610b2a5730a00d611db63087210d612b27211730b00d613b27211730c00d614eded720eed939a8c720f02730d8c721202938c720f018c72120193b2720d730e007213d615c6a7060ed616e47215d617b2a5730f00d618db63087217d619c6a7051ad61ac6a7070ed61bb27206731000d61cb27201731100d61d917ea305721bd61ec672100411d61fc67210070ed620c67210051ad621b27201731200d622b27211731300d623c17210d624c2a7d625c27210d626c67210060ed627ef720ad62896830801937202b17211937221722293721c721293720b72239372247225937216e47226722797830301947205721e947219722094721a721fd629b1a5d62ab1721895ed720cef7214d806d62bb2a5731400d62cb2db6308722b731500d62db27201731600d62eb27218731700d62fe4c672170911d6309d9c7207b272067318007319d19683060196830301938c722c018c722d01938c722c028c722d0293c2722b721696830301938c722e01731a938c722e02731b93c17217731c9683050193c672170411720593c67217051a721993c67217060e721593c67217070e721a93c67217080e72099683030193b2722f731d009a7207723093b2722f731e00723093b2722f731f009a721bb27206732000720e93b27218732100721c95ed721def7208d196830301720e721d9572038f8cb272017322000272077323957214d801d62b93c2b2a4732400721695720cd19683040193c27217e47209722b93b27218732500b272017326007214d196830201722b7214957228d19683050196830401937205721e93721a721f937212721cefe6c67210080e93b17206b1e4721e93b1e47219b1e47220722893c2b2a473270072169596830201917229732891722a7329d195917229732a96830b01937202722a937221b27218732b0093721cb27218732c0093b27201732d017204b27218732e01720493720bc17217937224c27217937216e4c67217060e7227937205c672170411937219c67217051a93721ac67217070e732fd801d62bed7227720e95722bd196830301722b93c1721799720b733093c272177216d196830401e6c67210080e96830201938c721301e4721a938c72130272079683070193721e72059372207219937226721593721f721a93722572249372227221937212721c9272237331",
"ergoTreeConstants": "0: 2\n1: 1\n2: 0\n3: 0\n4: 2\n5: 3000000\n6: 0\n7: 0\n8: Coll(24,-36,76,29,-92,-96,-87,28,8,-64,-73,-72,92,-51,70,-32,-78,-85,-111,57,107,56,-56,33,100,6,-107,-109,86,-128,94,59)\n9: 1\n10: 0\n11: 1\n12: 2\n13: 1\n14: 2\n15: 1\n16: 1\n17: 1\n18: 0\n19: 0\n20: 2\n21: 0\n22: 2\n23: 0\n24: 2\n25: 1000\n26: Coll(48,46,-109,-24,-93,121,-5,123,-41,80,86,121,71,-48,-93,-106,-14,-79,56,-75,23,-127,-25,67,69,126,-30,6,-27,-72,-20,-64)\n27: 1\n28: 1474560\n29: 1\n30: 2\n31: 3\n32: 3\n33: 1\n34: 2\n35: true\n36: 2\n37: 0\n38: 2\n39: 1\n40: 3\n41: 1\n42: 2\n43: 0\n44: 1\n45: 2\n46: 2\n47: false\n48: 1000000\n49: 3474560",
"ergoTreeScript": "{\n val coll1 = SELF.tokens\n val i2 = coll1.size\n val bool3 = i2 > placeholder[Int](0)\n val tuple4 = (Coll[Byte](placeholder[Byte](1)), placeholder[Long](2))\n val opt5 = SELF.R4[Coll[Long]]\n val coll6 = opt5.get\n val l7 = coll6(placeholder[Int](3))\n val bool8 = bool3 && (coll1.getOrElse(placeholder[Int](4), tuple4)._2 == l7)\n val opt9 = SELF.R8[Coll[Byte]]\n val bool10 = opt9.isDefined\n val l11 = SELF.value\n val bool12 = (bool8 && bool10) && (l11 >= placeholder[Long](5))\n val coll13 = INPUTS(placeholder[Int](6)).tokens\n val bool14 = coll13(placeholder[Int](7))._1 == placeholder[Coll[Byte]](8)\n val tuple15 = coll13(placeholder[Int](9))\n val box16 = OUTPUTS(placeholder[Int](10))\n val coll17 = box16.tokens\n val tuple18 = coll17(placeholder[Int](11))\n val tuple19 = coll17(placeholder[Int](12))\n val bool20 = (bool14 && ((tuple15._2 + placeholder[Long](13) == tuple18._2) && (tuple15._1 == tuple18._1))) && (coll13(placeholder[Int](14)) == tuple19)\n val opt21 = SELF.R6[Coll[Byte]]\n val coll22 = opt21.get\n val box23 = OUTPUTS(placeholder[Int](15))\n val coll24 = box23.tokens\n val opt25 = SELF.R5[Coll[Coll[Byte]]]\n val opt26 = SELF.R7[Coll[Byte]]\n val l27 = coll6(placeholder[Int](16))\n val tuple28 = coll1(placeholder[Int](17))\n val bool29 = HEIGHT.toLong > l27\n val opt30 = box16.R4[Coll[Long]]\n val opt31 = box16.R7[Coll[Byte]]\n val opt32 = box16.R5[Coll[Coll[Byte]]]\n val tuple33 = coll1(placeholder[Int](18))\n val tuple34 = coll17(placeholder[Int](19))\n val l35 = box16.value\n val coll36 = SELF.propositionBytes\n val coll37 = box16.propositionBytes\n val opt38 = box16.R6[Coll[Byte]]\n val bool39 = !bool10\n val bool40 = allOf(\n Coll[Boolean](\n i2 == coll17.size, tuple33 == tuple34, tuple28 == tuple18, l11 == l35, coll36 == coll37, coll22 == opt38.get, bool39, anyOf(\n Coll[Boolean](opt5 != opt30, opt25 != opt32, opt26 != opt31)\n )\n )\n )\n val i41 = OUTPUTS.size\n val i42 = coll24.size\n if (bool12 && (!bool20)) {(\n val box43 = OUTPUTS(placeholder[Int](20))\n val tuple44 = box43.tokens(placeholder[Int](21))\n val tuple45 = coll1(placeholder[Int](22))\n val tuple46 = coll24(placeholder[Int](23))\n val coll47 = box23.R9[Coll[Long]].get\n val l48 = l7 * coll6(placeholder[Int](24)) / placeholder[Long](25)\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](tuple44._1 == tuple45._1, tuple44._2 == tuple45._2, box43.propositionBytes == coll22)), allOf(\n Coll[Boolean](tuple46._1 == placeholder[Coll[Byte]](26), tuple46._2 == placeholder[Long](27), box23.value == placeholder[Long](28))\n ), allOf(\n Coll[Boolean](\n box23.R4[Coll[Long]] == opt5, box23.R5[Coll[Coll[Byte]]] == opt25, box23.R6[Coll[Byte]] == opt21, box23.R7[Coll[Byte]] == opt26, box23.R8[\n Coll[Byte]\n ] == opt9\n )\n ), allOf(\n Coll[Boolean](\n coll47(placeholder[Int](29)) == l7 + l48, coll47(placeholder[Int](30)) == l48, coll47(placeholder[Int](31)) == l27 + coll6(placeholder[Int](32))\n )\n ), bool14, coll24(placeholder[Int](33)) == tuple28\n )\n )\n )\n )} else {\n if (bool29 && (!bool8)) {\n sigmaProp(allOf(Coll[Boolean](bool14, bool29, if (bool3) { coll1(placeholder[Int](34))._2 < l7 } else { placeholder[Boolean](35) })))\n } else { if (bool20) {(\n val bool43 = INPUTS(placeholder[Int](36)).propositionBytes == coll22\n if (bool12) { sigmaProp(allOf(Coll[Boolean](box23.propositionBytes == opt9.get, bool43, coll24(placeholder[Int](37)) == coll1(placeholder[Int](38)), bool20))) } else { sigmaProp(allOf(Coll[Boolean](bool43, bool20))) }\n )} else { if (bool40) { sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](opt5 == opt30, opt26 == opt31, tuple18 == tuple28, !box16.R8[Coll[Byte]].isDefined)), coll6.size == opt30.get.size, opt25.get.size == opt32.get.size, bool40, INPUTS(placeholder[Int](39)).propositionBytes == coll22))) } else { if (allOf(Coll[Boolean](i41 > placeholder[Int](40), i42 > placeholder[Int](41)))) { sigmaProp(if (i41 > placeholder[Int](42)) { allOf(Coll[Boolean](i2 == i42, tuple33 == coll24(placeholder[Int](43)), tuple28 == coll24(placeholder[Int](44)), coll1.getOrElse(placeholder[Int](45), tuple4) == coll24.getOrElse(placeholder[Int](46), tuple4), l11 == box23.value, coll36 == box23.propositionBytes, coll22 == box23.R6[Coll[Byte]].get, bool39, opt5 == box23.R4[Coll[Long]], opt25 == box23.R5[Coll[Coll[Byte]]], opt26 == box23.R7[Coll[Byte]])) } else { placeholder[Boolean](47) }) } else {(\n val bool43 = bool39 && bool14\n if (bool43) { sigmaProp(allOf(Coll[Boolean](bool43, box23.value == l11 - placeholder[Long](48), box23.propositionBytes == coll22))) } else { sigmaProp(allOf(Coll[Boolean](box16.R8[Coll[Byte]].isDefined, allOf(Coll[Boolean](tuple19._1 == opt26.get, tuple19._2 == l7)), allOf(Coll[Boolean](opt30 == opt5, opt32 == opt25, opt38 == opt21, opt31 == opt26, coll37 == coll36, tuple34 == tuple33, tuple18 == tuple28)), l35 >= placeholder[Long](49)))) }\n )} } } }\n }\n}",
"address": "6xAjStnxsNmDevbVmX4fmx6EYkfH7TD8LUAdWtqnBnjUjPju6fP6minhWkZoDkuX9r6DWtHy9LtWC3aFatHQvFiwanQ6gJ7t1N26tkmAETXTHts1xy5wXtPWs6e7gn1HMsMxdHQL8deymrw4KUPEwx9q5FPzbzpkz4HPLTFkFdUdhoX1zCMv7p5hZmCR9kozkyUw8J3Z4q77nn4VhnjQu9g3PLahCQSpFih95Q5wcEnQ4938sr9erFcG5DHHmk7Ws7CHbhH9mpgA8GBJCDgw1vPCWkgFzqbsFYiUHFjiLhGWFmszAwsCxRBGNtws5wkzLHK2gKK26z9kotNoaktSRJabTsauVoMWyzVQmzKrzMTWaKVLYEKCzN2EwtP3KkcPKFuGXmq7nM4SmiciBvppX6WESgZPz19iRB1iKFY5DDpMAPkj2FXn9oBmHgZvcxstwNUjV95A6kpcsRiCVP6XFx8gLDFvD17rUCZmpGzVEj3Kd5k76dBN27Y7vKMkXWxh51GLaYGLHTWif9pVGD3xLti7HmYRKMc6LV52g7cQUKHGgtB3B8xpETinf6wGrYovKCBTJrRkL3eb7TTe2WjhDdKg6tiy9E4kfnNGwqnaXoSsT3sinYi46difG2msCdJPwF5rhYiQaRHgjs1sGEzLbRsBoSiRjuHyGMCMoXQV8CeF29JcKAjGs86n2HT2dZ8jqSNNYAcW1NxzbATXwNa3A3X5dGBgozicZnFVBycvasMpwJ2QGuMuMxDokpvm2avXNyhkKTip3ng1ycxvXiBk8vsYXmVnUuTF5qu1VdCcG42xYQuxgpAmmzGQ1bsf9PTHiU9B8XZebNtaB6mzgnqbxE44qmYpMpGcjYgwtp6BgTfjiV8HogQXXrgxLKJWHry2Y433ujnGdsgZXbAGZNczF8HMbBVpE2cm14UiSMVkMbmjdLzHsceiWpLSKf6MtS1gACUmR3FiDFsDSWpiUcJ9XXWbr4rdozWieis2c6jiHvqV16uML244rQqbqkV36Y2x7HEdwtuLL4PoPTKsaJyxym5MGV34B2D3k9GUN65NcNctLh7PfDh9UNufT4TkpUZmn3s5TeEn4e78P9QhEtz5yiZLbNF824a4J7YP2F3JC914pgjpiDhX6XJknRjwZ3xJq5fdZnJfgngKfaxP8ieLJhYP5jBTQJUDeFt6Nt1cSF4vC7ibtBrx6fkYUdNCiTBYAZy3BXgpmHwrTxW86NfdGLftVhXgfZxeocsPRMv6BWmM45k6GH7Pnt2n9qdE7LR4mSFzo5xHM5onTAB8wpM982LJ556MJMHQsTxVavZYZWmy1bMSU1Atjr8GSGJkGn2gMHRngsjSrcfzKwTe4AnjrvvN5CGXQ2U77ncxSnfyUdLR7qtJVxTv2D8XkL1yfi8imDmMVzPxgEFPxMN89UAZLW5ro62KVG8pNJaX4Q8P3DJAHkHj8SFgvhsytoCx7GqL5xPwCRg7Fr9pWjA48Swrxy5eGeZxda7mgCFgdMT4gaDhEkLHiAvYEnLYYkLr4GSAyz4m2jMuqeFrMboSq8T9yheaQbSKj5rUemcPUtWYGynAzmeu4",
"assets": [
{
"tokenId": "a624c7e51ffae8f16fe024d8556faf47aac1c7fcaa7f584b95e9784e6426f630",
"index": 0,
"amount": 1,
"name": "Exle: SLT LoanBox Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"index": 2,
"amount": 10000,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "1a0203466f6f03426172",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[466f6f,426172]"
},
"R6": {
"serializedValue": "0e240008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd0233e9a9935c8bbb8ae09b2c944c1d060492a8832252665e043b0732bdf593bf2c"
},
"R8": {
"serializedValue": "0efb0e105404000e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a88504000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"sigmaType": "Coll[SByte]",
"renderedValue": "105404000e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a88504000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216"
},
"R7": {
"serializedValue": "0e20f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a",
"sigmaType": "Coll[SByte]",
"renderedValue": "f60bff91f7ae3f3a5f0c2d35b46ef8991f213a61d7f7e453d344fa52a42d9f9a"
},
"R4": {
"serializedValue": "1105a09c01baf3c30128c0d1028084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[10000,1604829,20,21600,100000000]"
}
},
"spentTransactionId": "b289d514f599df612cf1a51d917c54e4474559811156f09f70e6bef08c2d106d",
"mainChain": true
},
{
"boxId": "acac17de3322244c39d3262162268f35015efdaf38bb46826cdf2ef9fb6fbdac",
"transactionId": "ff29807c019eb6ff8c142edd970493bec1e236a886a0ea198377fa6e75f37e92",
"blockId": "ac509673724fd011b00df6f1f4a6fcc80fe0b9a3bf0f67231f9b47b1468c431a",
"value": 1000000,
"index": 1,
"globalIndex": 47516537,
"creationHeight": 1509285,
"settlementHeight": 1509288,
"ergoTree": "105404000e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a88504000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"ergoTreeConstants": "0: 0\n1: Coll(-97,66,-89,69,125,72,-13,68,-107,-40,-64,-64,-86,123,90,-55,-101,71,-114,22,56,-28,121,70,7,127,5,71,110,35,-88,-123)\n2: 0\n3: 4000000\n4: 0\n5: 0\n6: Coll(82,-51,-84,78,-82,-22,-34,92,82,5,107,26,94,108,-53,93,92,4,-8,25,-120,-79,90,-6,39,-71,61,-45,-75,109,76,-7)\n7: 1\n8: 1\n9: 0\n10: 1\n11: 1\n12: 2\n13: 3\n14: 2\n15: 1\n16: 0\n17: Coll(48,46,-109,-24,-93,121,-5,123,-41,80,86,121,71,-48,-93,-106,-14,-79,56,-75,23,-127,-25,67,69,126,-30,6,-27,-72,-20,-64)\n18: 2\n19: 1\n20: 1\n21: false\n22: 1\n23: 0\n24: 0\n25: 2\n26: 0\n27: 0\n28: 2\n29: 1000\n30: 1\n31: 0\n32: 1000000\n33: 0\n34: 0\n35: 0\n36: 1\n37: 1\n38: 1\n39: 1\n40: 2\n41: 0\n42: 0\n43: 0\n44: 0\n45: 0\n46: 0\n47: 0\n48: 0\n49: 0\n50: 1\n51: 1\n52: 1\n53: 2\n54: 2\n55: 2\n56: 1\n57: 2\n58: 1\n59: 2\n60: 2\n61: 0\n62: 2\n63: 1\n64: 1\n65: 1\n66: 1\n67: 1\n68: 1\n69: 0\n70: 1\n71: 0\n72: 1\n73: 1\n74: 0\n75: 1\n76: 1\n77: 1\n78: 0\n79: 0\n80: 1\n81: 1\n82: 1\n83: 0",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val coll3 = box2.tokens\n val coll4 = placeholder[Coll[Byte]](1)\n val coll5 = SELF.propositionBytes\n val box6 = OUTPUTS(placeholder[Int](2))\n val coll7 = box6.tokens\n val coll8 = SELF.tokens\n val bool9 = SELF.value >= placeholder[Long](3)\n val box10 = INPUTS(placeholder[Int](4))\n val tuple11 = coll3(placeholder[Int](5))\n val bool12 = allOf(Coll[Boolean](box2.propositionBytes == coll5, tuple11._1 == placeholder[Coll[Byte]](6), tuple11._2 == placeholder[Long](7)))\n val tuple13 = (Coll[Byte](placeholder[Byte](8)), placeholder[Long](9))\n val tuple14 = coll8.getOrElse(placeholder[Int](10), tuple13)\n val tuple15 = coll7.getOrElse(placeholder[Int](11), tuple13)\n val l16 = tuple15._2\n if (if ((coll3.size == placeholder[Int](12)) && (coll1.size == placeholder[Int](13))) {(\n val coll17 = coll1(placeholder[Int](14)).tokens\n allOf(\n Coll[Boolean](\n coll17(placeholder[Int](15))._1 == box2.R4[Coll[Byte]].get, coll17(placeholder[Int](16))._1 == placeholder[Coll[Byte]](17), box2.R6[\n Long\n ].get == placeholder[Long](18), coll3(placeholder[Int](19))._2 == placeholder[Long](20)\n )\n )\n )} else { placeholder[Boolean](21) }) {(\n val coll17 = INPUTS.filter({(box17: Box) => box17.propositionBytes != coll5 })\n val coll18 = box2.R5[Coll[Byte]].get\n val coll19 = OUTPUTS(placeholder[Int](22)).tokens\n val l20 = coll17.flatMap({(box20: Box) => box20.tokens.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }) }).fold(\n placeholder[Long](23), {(tuple20: (Long, (Coll[Byte], Long))) => tuple20._1 + tuple20._2._2 }\n ) - coll19.filter({(tuple20: (Coll[Byte], Long)) => tuple20._1 == coll18 }).fold(\n placeholder[Long](24), {(tuple20: (Long, (Coll[Byte], Long))) => tuple20._1 + tuple20._2._2 }\n )\n val box21 = coll1(placeholder[Int](25))\n val coll22 = box21.R7[Coll[Byte]].get\n val l23 = coll19.filter({(tuple23: (Coll[Byte], Long)) => tuple23._1 == coll22 }).fold(\n placeholder[Long](26), {(tuple23: (Long, (Coll[Byte], Long))) => tuple23._1 + tuple23._2._2 }\n ) - coll17.flatMap({(box23: Box) => box23.tokens.filter({(tuple25: (Coll[Byte], Long)) => tuple25._1 == coll22 }) }).fold(\n placeholder[Long](27), {(tuple23: (Long, (Coll[Byte], Long))) => tuple23._1 + tuple23._2._2 }\n )\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.R4[Coll[Byte]].get == coll4, allOf(\n Coll[Boolean](\n l20 + l20 * box21.R4[Coll[Long]].get(placeholder[Int](28)) * placeholder[Long](29) - coll1(placeholder[Int](30)).R8[Coll[Long]].get(\n placeholder[Int](31)\n ) / placeholder[Long](32) == l23, INPUTS.filter({(box24: Box) => box24.propositionBytes == coll5 }).flatMap(\n {(box24: Box) => box24.tokens.filter({(tuple26: (Coll[Byte], Long)) => tuple26._1 == coll22 }) }\n ).fold(placeholder[Long](33), {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 + tuple24._2._2 }) - coll7.filter(\n {(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll22 }\n ).fold(placeholder[Long](34), {(tuple24: (Long, (Coll[Byte], Long))) => tuple24._1 + tuple24._2._2 }) == l23\n )\n ), box6.propositionBytes == coll5\n )\n )\n )\n )} else {\n if (allOf(\n Coll[Boolean](\n (SELF.id == box10.id) && (coll5 == OUTPUTS(placeholder[Int](35)).propositionBytes), tuple14._2 < l16, l16 != placeholder[Long](\n 36\n ), tuple14._1 == tuple15._1\n )\n )) {(\n val coll17 = INPUTS.slice(placeholder[Int](37), INPUTS.size + placeholder[Int](38))\n val coll18 = box2.R5[Coll[Byte]].get\n val box19 = OUTPUTS(placeholder[Int](39))\n val coll20 = box19.tokens\n val coll21 = coll1(placeholder[Int](40)).R7[Coll[Byte]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.R6[Long].get == placeholder[Long](41), allOf(\n Coll[Boolean](\n coll17.flatMap({(box22: Box) => box22.tokens.filter({(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll18 }) }).fold(\n placeholder[Long](42), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll20.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](43), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) == coll20.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](44), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll17.flatMap({(box22: Box) => box22.tokens.filter({(tuple24: (Coll[Byte], Long)) => tuple24._1 == coll21 }) }).fold(\n placeholder[Long](45), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ), coll7.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](46), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll8.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll18 }).fold(\n placeholder[Long](47), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) == coll8.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](48), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n ) - coll7.filter({(tuple22: (Coll[Byte], Long)) => tuple22._1 == coll21 }).fold(\n placeholder[Long](49), {(tuple22: (Long, (Coll[Byte], Long))) => tuple22._1 + tuple22._2._2 }\n )\n )\n ), coll17.forall({(box22: Box) => box22.propositionBytes == box19.propositionBytes }), bool9\n )\n )\n )\n )} else {(\n val opt17 = box2.R4[Coll[Byte]]\n val opt18 = box2.R5[Coll[Byte]]\n if (box2.R6[Long].get == placeholder[Long](50)) {(\n val box19 = OUTPUTS(placeholder[Int](51))\n val coll20 = opt18.get\n val coll21 = box19.tokens\n val tuple22 = coll21(placeholder[Int](52))\n val tuple23 = coll7(placeholder[Int](53))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box19.propositionBytes == coll5, allOf(\n Coll[Boolean](opt17.get == box19.R4[Coll[Byte]].get, coll20 == box19.R5[Coll[Byte]].get, box19.R6[Long].get == placeholder[Long](54))\n ), allOf(\n Coll[Boolean](\n allOf(Coll[Boolean](coll21.size == placeholder[Int](55), tuple22._1 == coll20, tuple22._2 == placeholder[Long](56))), allOf(\n Coll[Boolean](tuple23._1 == box10.R7[Coll[Byte]].get, tuple23._2 == coll8(placeholder[Int](57))._2)\n )\n )\n ), box10.tokens(placeholder[Int](58))._1 == coll4, bool12, bool9\n )\n )\n )\n )} else {(\n val tuple19 = coll7(placeholder[Int](59))\n val l20 = tuple19._2\n val box21 = coll1(placeholder[Int](60))\n val l22 = box21.R4[Coll[Long]].get(placeholder[Int](61))\n val bool23 = l20 == l22\n val coll24 = box21.R7[Coll[Byte]].get\n val bool25 = tuple19._1 == coll24\n val l26 = l20 - coll8.getOrElse(placeholder[Int](62), tuple13)._2\n val coll27 = opt18.get\n val coll28 = opt17.get\n sigmaProp(allOf(Coll[Boolean](allOf(Coll[Boolean](if (bool23) {(\n val tuple29 = coll7(placeholder[Int](63))\n allOf(Coll[Boolean](tuple29._2 == placeholder[Long](64), tuple29._1 == coll8(placeholder[Int](65))._1, bool25))\n )} else {(\n val tuple29 = coll8(placeholder[Int](66))\n val tuple30 = coll7(placeholder[Int](67))\n allOf(Coll[Boolean](tuple29._2 - tuple30._2 == l26, tuple30._1 == tuple29._1, bool25))\n )}, OUTPUTS(placeholder[Int](68)).tokens.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll27 }).fold(placeholder[Long](69), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) - INPUTS(placeholder[Int](70)).tokens.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll27 }).fold(placeholder[Long](71), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) == l26)), allOf(Coll[Boolean](bool25, box21.tokens(placeholder[Int](72))._1 == coll28)), allOf(Coll[Boolean](coll28 == box6.R4[Coll[Byte]].get, coll27 == box6.R5[Coll[Byte]].get)), if (bool23) { allOf(Coll[Boolean](box6.R6[Long].get == placeholder[Long](73), coll7(placeholder[Int](74))._2 == placeholder[Long](75), coll7(placeholder[Int](76))._2 == placeholder[Long](77), bool23)) } else { allOf(Coll[Boolean](box6.R6[Long].get == placeholder[Long](78), coll7(placeholder[Int](79))._2 == placeholder[Long](80), coll7(placeholder[Int](81))._2 != placeholder[Long](82))) }, box6.propositionBytes == coll5, bool12, bool9, coll7.filter({(tuple29: (Coll[Byte], Long)) => tuple29._1 == coll24 }).fold(placeholder[Long](83), {(tuple29: (Long, (Coll[Byte], Long))) => tuple29._1 + tuple29._2._2 }) <= l22)))\n )}\n )}\n }\n}",
"address": "uAmkpkg4Np7AFZM7CKdQV5kpasm6KpRZA1GoT4rVyvpPpNB9gfRSiY9BaVWnzRZgrHvokpwmHwdS7hLoQiDPp34rsYoqpDCfjk8T36KzDjfV3Jg5MVGBzZ4Zk917UC83d6NKnUD5vRByFKAggNCxeBytNbtdT2H6N2KXiGa7dijFNDZutnpjCTSSZGYqLJcKvoVao8Gvcq1GGP7Qm1zhYgVE4WRGFiQcJGJWnDkkmnLaFHuHyjsXxENXggeQSALtkQ2k7mduoZfG34QZkVoRGXnrz3WUxJHBCMgYsSFafiw6fjQBM2qHHGd46JrPNp5h4SV9W8kzfxoNYCPQnQNxKu1p7m3xDfFXDdGmuJwtJvdzK4dggRrgDq2jLG8KCXwRJTefPD5VsnzrU7atRk3XNSHbgskUuKrbr69ASAFLTQmNEcEtSYVRdYTUWk5eRun3dJDih8CC13aSCUcVaqTU8Wvpar8npJode2WbJC3DWPK4Kjbdg4zw5VovMyC3qejyqzfXUTVLUz6sxu4qL1EDfJ9JMDyNutLCzbV8KLqvyVLZgpwUjAGVvUkuH98Hn2qjGkkBM6SBwjThgDbvte8tiarVvPvVeqmLHN1KNQKDKZJqe9dsJFRHS6JoZ9G3rkDjv4st6QzNNSrNvYd7BNMEQq7UCTMRby9wUvRnPFfJwdvhAoJ4M2Jc7LBUnQszkASjVc2fwYeWMAUf1urgivHud2UUmERjPLjaoAqp1ta3WFhbdZYfghAy7sdNpm14UcW3v8NzoGKXtjrVpUbAiHJ4WL8XBCb3GcvqFxSivfxkvCQALgF51MjwCohioKaf3qUZoL97cpqwDW9AZLYhaYdFFW1E6CUe1Sk71836BQFRx4tN7wSFL41zux1V6YpNoWZTViy2Lm9kww44u9HsFAbGiwEgLSe6pFQVMkhz3kvSbymnmHQzGZPYkH1fJ4crvKMuWHDDeDCqXMRk5G9xU1UQu18iQpTrpu3M4BnSWk7Hqycy53cy9YPGKLLQ8fS2vYZz9ezPRKJQERFnrKPLt3S6QwZChcT2TzXkmxTWc8Av6wUffi98k8hdrZZXr9cjaBsgARVpu2hvtDjBLrJ9wczkF4yGuAFQqMh3NHptfb7cX6PXqRQe5nFG8KCMcxj5218eP1XDFHq4puDKCqCdZrFp9KXCAzP9ZwT52xudzAfz7Jo5bX9GXa64S2rVjSe1k698M86azuXVV84cso32VxJEfqgKDqfvi9KkdnAMbRKmariNas9fhiy5MuDYAaSwiEqS7EYqwkHmUedVJtm8ndWD2Eb6TJEHGLvzjuQvEjQ1NzjCk5sGzXCYeaALU6NVVt3745uHMVJ9uM3UsmDkpsHfuvzCJA2e64x6aUM6VN53z8iNXNdugXyKr4mRb8XdDz8HQG4kuDpiFkmrr3A24XAEzpCKaJ9iVrLFxzbcoF4Lw4EVZcufnrkG54poUDuYmNh8JzYMKNJSkAhRr152dXyqaw6YqxwRBuvAZL7ipDJg2oT2WCiWw8uJfjfPQRnBuDx46rcysgcH4sZnQ8FAJgnYPifcxAF3oiXsN2fcJaTe5RqJ7rH8FYTLA65eRBjs1N2ESj4cbM6cSL3H7jbqGUDp4d9Rgm4joziDVc1brWYAcBY2qYDVD9WVzBnrqDeZy91oF8G7kRBEbSyErkFzUKExcA3KU3Do2iFfA2sN9PmEm2nMK8QWVQ74h4Rz24peanynBj1UTaSU7di8ouAFzxM39uvXCm9L7v17NU9EynW1siYiodWXEWPYXAvkA9RU5KQqeQPYPXHtX6iYz8DAwhMWTBE5y4PBrv4w1GALKGJPCAqC97Awv1XaCHG3yonxZL8WN8LtbtDHyy7a2uCrgF9QiVZyfYJtWBRR1hQXbSKNqdJYQTPnVjMoXXrT2cRyMKoMKefe39iBDs6hvgHXhUPjLpqTQPteDPxQRV3Ls6jEJzbNPrWS1wiF5WKqK2aacdBEBhcvFXrnB6a4QTyVREVXnAfrtCB4TwawD7KUL4DEvriowXsm9Y6T5G9sg85H4QH13K4ivU7nH8PD1Dt3w4WKsuYrXm2oTorPeZ6EuJshjG4GSyhzDdWN2uaNJXRNqbsJjiacnT1Nsi8iNqE8GrEyCgQPJcb9hQ3b2LMHCJGT2SP57gZKUzxgWznB4C98WdHpQ7EtmY2MnkPBPNjBbqynMsvTapghMMPQR1aAn7y7bxj3PbWr3bZawcXEd636efUdvTSycmeWyKb3jnXtHiaeuEEbkCRzRpofxiQ8QFZrXGHjb9a5aj2HFwrEvtR3gubg4fuWctpYoaFqa9dGk4rhWAzxcE8GvkcNYEVikJTEv8jyCiX8XY6YwcEntdUsuXbHzmcnnjR8Yu9ydnj9YZwmRyqtbzFAQLaHf47V7UsRtQ7rkEMkr7dekYGYPwR6q2qMBXWU1wCu61JomGrjcZVxSh3o1ofHeDXsucBdTtpmYdnvgC5b81bApmnBfRHQhQf4LSi6caUZufnJi6ns1WbnXuwswt5mGhtBB6D2W9Txv7SSjEy6ezpmJorTZQLWQhiUHmHnWdqRtqiMKtxonoYhW2491Y5xu97pdLSX32VvQ96s4KZp7bXvKotCaK9Rt",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e209f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885",
"sigmaType": "Coll[SByte]",
"renderedValue": "9f42a7457d48f34495d8c0c0aa7b5ac99b478e1638e47946077f05476e23a885"
},
"R5": {
"serializedValue": "0e209d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871",
"sigmaType": "Coll[SByte]",
"renderedValue": "9d5a69629b999312d1971ba10d185c914eea72505a0206f16ea52aa3a9f8f871"
},
"R6": {
"serializedValue": "0504",
"sigmaType": "SLong",
"renderedValue": "2"
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "e28d9411276f775e10028732b658f2ab06105f2d21df523be5d0f34dd6a2797b",
"transactionId": "ff29807c019eb6ff8c142edd970493bec1e236a886a0ea198377fa6e75f37e92",
"blockId": "ac509673724fd011b00df6f1f4a6fcc80fe0b9a3bf0f67231f9b47b1468c431a",
"value": 1000000,
"index": 2,
"globalIndex": 47516538,
"creationHeight": 1509285,
"settlementHeight": 1509288,
"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": "a874f25e757bd821c86a52f7720706859c21f26f5fe1f450e38df2d2f86b00d0",
"mainChain": true
}
],
"size": 5595,
"isUnconfirmed": false
}