Transaction
ID: 8a7c664cc6...1412
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: 71,667
Total coins transferred: 0.00547456 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000178 ERG
Raw Transaction Data
{
"id": "8a7c664cc60ba2d690fdfce84403e7e3ab2d98fee0b31cf5acc73bb3cf391412",
"blockId": "e58ce9668335dafa853653055af3c12dc47b689a4fdb53fee88c10184108bd99",
"inclusionHeight": 1688622,
"timestamp": 1767064397339,
"index": 8,
"globalIndex": 10055847,
"numConfirmations": 71667,
"inputs": [
{
"boxId": "7e2ea263c1758f30a00bf84b734e80e101f1c7173234cff57f4bc3b7c9bbf0c3",
"value": 1474560,
"index": 0,
"spendingProof": null,
"outputBlockId": "0369ce916699cf168815b29896efd72b1ecd145a3eb8a885f6a0d77c123b03df",
"outputTransactionId": "27fdc4cf447663bc8e3885bb1ff1e837ba5a6030dc2c49e564ebbe6e8932b93c",
"outputIndex": 1,
"outputGlobalIndex": 52606186,
"outputCreatedAt": 1688380,
"outputSettledAt": 1688381,
"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": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1105c801b681d60114c0f4078084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[100,1753179,10,64800,100000000]"
},
"R5": {
"serializedValue": "1a0210746573742063726f77642066756e64201c6c6574732067657420612063726f77642066756e6420676f696e672e",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[746573742063726f77642066756e6420,6c6574732067657420612063726f77642066756e6420676f696e672e]"
},
"R6": {
"serializedValue": "0e240008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a"
},
"R7": {
"serializedValue": "0e2003faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"sigmaType": "Coll[SByte]",
"renderedValue": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04"
}
}
},
{
"boxId": "5f452873545a8785f9844bd5e20bd4c0971d65a4a9ab49842e8f59a489384cf4",
"value": 4000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "510a0ffdb6a4da7ef2ac29c96dc9863b2d555ece123809512a3ab7776a04b805",
"outputTransactionId": "a920685b49521b62712f41d8a1e8f49acc46958a035f603e80d1329e9914e3f2",
"outputIndex": 0,
"outputGlobalIndex": 52614682,
"outputCreatedAt": 1688616,
"outputSettledAt": 1688618,
"ergoTree": "105404000e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a04000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"ergoTreeConstants": "0: 0\n1: Coll(114,-58,71,-56,119,-97,68,108,79,-58,7,-116,27,-12,-65,89,-125,53,-61,-128,6,-12,13,45,-86,109,-124,-112,-102,-22,-15,106)\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": "uAmkpkg4MU2UUNfYYNbVKp61vBA8dAvaL7qZHHXau3s2TW8aUBi3NZRPdWJduDTx1BAbPiuV4z5r8CvgdmCvidSjNczhEGFzkgBWv5BUVvLWJxN4QtBofFKwczCs6qRsJC6stbj41gdD4RNfn68ecqZQ8gh5QhEFhLgFzvr3X3FJVHpivuDnqeMwejBvbk6o8zkXHbLG3NkhfVzXfbpp8XUAQb9cTx8N66qr7E8DZKGN5vHcqmQzh1rdVppm3sD1QqsVRcZhcZxvUdV15WX46mESNEozfomJyPewKdv4hYRc4Bf6H7UZRqzYhJVNtccz8nPfAUgXuV72VDJ82xsGggxwUVRQ8ouU8LhiEhobpnSp657VwmattTwKPPcXdufvqNKJVwrBxoKYXx2GaBcdX4vwEjbkHJQ3q2x5Ab2MGVQgNwG169jf6x5ZQ7j4BznRJA6kdP4xTE9CPXfQQkUCGSsTyvUPdXDXqyiGtDsMmVZY5HucqozAUL76SBfNMJJDN4Hogt9Bh3aSp36hoc4okznALLJ8BHcNMAHyF8vwrgn27FnFvCacXhQZVrgBpZeriNvPaiJ291J6FqZYJWaEDLx9voK53aX1bVj6fp9UeWxQxauVtQNDjdABmDAuJF1MsMWA2cymghh75kKYbUpK6GeXKjdDwPJM3SiW7MRtwmQyiBx7qiST7ZqMBeGSkyNbhFmBsdVz3QMkTu8T6y9v7LR5GHDP3XGPysgyfkg826SjX4PtGD4KSsY7nagkKbK8xcGniXEfigqCNB5BeYHBZybrqeEkPaHgUt6BxbTGb1CA5KjkLx1ZnyPDe7EKdtMcvsnYiUronqNj1XW8HFrB9geqbuXaYZtW9npt3fbvjPkpfnj9LYfzGfNpFwZMW4MrAfGGDJTZ6wzghUakB2FnbMZz6kqxZKyfzDLnhVTqgKLF8nJHp3pooBmtfzkvURADW1GGT8PhQ6aXZxMGUEmz1x35fuSwaeS421mZicz2maTzYkshpqXxtjEUR4vh7gbEEuc4GmksqrW6CscCmw3EVdpgr1vrt3k4sgU4WgMQbhoDYZ68ji6xREsFtViX89mJFZeqjGi3SGVrynwyvvhSBAwStYfw2LAJGJipQWDYFkZ7hFECYxCHKvwStP2He1eYJp5LMoivDndtwuFExRCcopgy4a3ffNVNrNuAJQNZGS6HXdJ9ak6DtVz2pEXrFax2ibqwfq9UAB8biSj1YuzTjBNrjsLz45zDKw69gmKRLCcWu3NKFx3dYAXcNDjMsUgihBtWtRGKVLeJnrteEQQ8sWuLpGsEw7J6ZmTwBzgZ5ks9N5wm79HkohtqVhAY4neEbTUkhKCFrJYQf5ruHqjdA8XCYQ93LCPt6pV5fGnHcqGuq3QHiWoBoHsiBiFnEfshajneVFmTUamoqSqt5JsMBfuA9EwxKZgGhFJwcvEYsjVBbrnz91Qy7PoNzDsE85Fmo1CsvdgMMpMPrrev1t777w5ytPm8RpqFi7j6SQbRBBtzgf3XBuAVYPeaxpwoMzFVPqm6uYKcUvGTQV2iiPj6YBJUYd93NeYuThAMU7JZRwZ2NMwCovEmgsEPoCJ4ZQBLy8TazJPxw6ZErabb4aUv1wLdHRs2fjcMGc9EfGRc8ij9e3RTwcaqwRcijS1AJWP7wgo2W3FaK6N4XQKNGgjv6gC7svEqtwuKUBgzPyiDWNUDfPRgvQ1kkRa694mrxJdFDSzGww6GKguZ7uQtwiDKuTbBuQ13Ht29V1NhaGnYcMFuopif5cmvzd7zSvqJEmEo1ZK5RFzA8XU61Ua9eXk1TYcd2kDGYjPHGT29Wdgpyz1cShifjfKHCFVU8WoewmYV9WNXFqKCKt79zPYdT19JDFBP1W9MbDCFkqT9AEFz9Gq3U9Lz6EdnrXtpmN6frqCSpaMT79ZNnk22TkN23znWSVtux9HJNw5cBYKD9UV77H69Dnen86gi8DqZr3uvyTuBuk4Rj4S3eM1Gbriu7E9eBhz9oberxqtqYxQhuZ3hJeMj7CgR2QJbJJTrL8Q98qrNQHDRZxaXhoyt3D5qu6sTUJSRSybmDCuQdKbxScPSjNUUdARj3HAw6MW29MAyhyDrbHqfvQz7syqhaSdsRjNx6w4xpjgwmwxhnKNCUt9TMUA7VsBcmSYqZ6PeRsTabF7dxts5ruEk6DRbXrAA88CVEDY6NhgkAHXygWp67o4Kni1b5BbJMrtYDgF6CEFhHCssk6SdYLSD8S6G6Cfn3yVdwXZwrwV7xQL9WwSvyMB7HaxN98Lfxzg1YP24recKTwTLsuqgik1PS33oayzQ9HPMCvxMdPmQBTQDoGLwfrzfJobFyqXdfo56JfxYNBZk6ykXQaxfpcyunpwgtxzEzGdzTZ8Qwfz54H2TBSR8vMCkJmjGyNkKsptDvAkX6TEC9rLppziN9A6numh58ohPMwH7JC9eVk14rnX9rmbhfbyw2TRykKV3tbRiKc99o2hMHf7LS7S6WuSRt1367xtrqDhhjuXD31gZ74hNKSpyf5W6wJwad8f3YYwusb5JRCwthAPRjyc84w2MYPfKfDVHS2LqBYaueNGa7TbJwjup5W9dBE67BvrxUzpQuN5kKtj1w",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"index": 2,
"amount": 100,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"sigmaType": "Coll[SByte]",
"renderedValue": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a"
},
"R5": {
"serializedValue": "0e2009f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"sigmaType": "Coll[SByte]",
"renderedValue": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79"
},
"R6": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
}
}
}
],
"dataInputs": [
{
"boxId": "5f452873545a8785f9844bd5e20bd4c0971d65a4a9ab49842e8f59a489384cf4",
"value": 4000000,
"index": 0,
"outputBlockId": "510a0ffdb6a4da7ef2ac29c96dc9863b2d555ece123809512a3ab7776a04b805",
"outputTransactionId": "a920685b49521b62712f41d8a1e8f49acc46958a035f603e80d1329e9914e3f2",
"outputIndex": 0,
"ergoTree": "105404000e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a04000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"address": "uAmkpkg4MU2UUNfYYNbVKp61vBA8dAvaL7qZHHXau3s2TW8aUBi3NZRPdWJduDTx1BAbPiuV4z5r8CvgdmCvidSjNczhEGFzkgBWv5BUVvLWJxN4QtBofFKwczCs6qRsJC6stbj41gdD4RNfn68ecqZQ8gh5QhEFhLgFzvr3X3FJVHpivuDnqeMwejBvbk6o8zkXHbLG3NkhfVzXfbpp8XUAQb9cTx8N66qr7E8DZKGN5vHcqmQzh1rdVppm3sD1QqsVRcZhcZxvUdV15WX46mESNEozfomJyPewKdv4hYRc4Bf6H7UZRqzYhJVNtccz8nPfAUgXuV72VDJ82xsGggxwUVRQ8ouU8LhiEhobpnSp657VwmattTwKPPcXdufvqNKJVwrBxoKYXx2GaBcdX4vwEjbkHJQ3q2x5Ab2MGVQgNwG169jf6x5ZQ7j4BznRJA6kdP4xTE9CPXfQQkUCGSsTyvUPdXDXqyiGtDsMmVZY5HucqozAUL76SBfNMJJDN4Hogt9Bh3aSp36hoc4okznALLJ8BHcNMAHyF8vwrgn27FnFvCacXhQZVrgBpZeriNvPaiJ291J6FqZYJWaEDLx9voK53aX1bVj6fp9UeWxQxauVtQNDjdABmDAuJF1MsMWA2cymghh75kKYbUpK6GeXKjdDwPJM3SiW7MRtwmQyiBx7qiST7ZqMBeGSkyNbhFmBsdVz3QMkTu8T6y9v7LR5GHDP3XGPysgyfkg826SjX4PtGD4KSsY7nagkKbK8xcGniXEfigqCNB5BeYHBZybrqeEkPaHgUt6BxbTGb1CA5KjkLx1ZnyPDe7EKdtMcvsnYiUronqNj1XW8HFrB9geqbuXaYZtW9npt3fbvjPkpfnj9LYfzGfNpFwZMW4MrAfGGDJTZ6wzghUakB2FnbMZz6kqxZKyfzDLnhVTqgKLF8nJHp3pooBmtfzkvURADW1GGT8PhQ6aXZxMGUEmz1x35fuSwaeS421mZicz2maTzYkshpqXxtjEUR4vh7gbEEuc4GmksqrW6CscCmw3EVdpgr1vrt3k4sgU4WgMQbhoDYZ68ji6xREsFtViX89mJFZeqjGi3SGVrynwyvvhSBAwStYfw2LAJGJipQWDYFkZ7hFECYxCHKvwStP2He1eYJp5LMoivDndtwuFExRCcopgy4a3ffNVNrNuAJQNZGS6HXdJ9ak6DtVz2pEXrFax2ibqwfq9UAB8biSj1YuzTjBNrjsLz45zDKw69gmKRLCcWu3NKFx3dYAXcNDjMsUgihBtWtRGKVLeJnrteEQQ8sWuLpGsEw7J6ZmTwBzgZ5ks9N5wm79HkohtqVhAY4neEbTUkhKCFrJYQf5ruHqjdA8XCYQ93LCPt6pV5fGnHcqGuq3QHiWoBoHsiBiFnEfshajneVFmTUamoqSqt5JsMBfuA9EwxKZgGhFJwcvEYsjVBbrnz91Qy7PoNzDsE85Fmo1CsvdgMMpMPrrev1t777w5ytPm8RpqFi7j6SQbRBBtzgf3XBuAVYPeaxpwoMzFVPqm6uYKcUvGTQV2iiPj6YBJUYd93NeYuThAMU7JZRwZ2NMwCovEmgsEPoCJ4ZQBLy8TazJPxw6ZErabb4aUv1wLdHRs2fjcMGc9EfGRc8ij9e3RTwcaqwRcijS1AJWP7wgo2W3FaK6N4XQKNGgjv6gC7svEqtwuKUBgzPyiDWNUDfPRgvQ1kkRa694mrxJdFDSzGww6GKguZ7uQtwiDKuTbBuQ13Ht29V1NhaGnYcMFuopif5cmvzd7zSvqJEmEo1ZK5RFzA8XU61Ua9eXk1TYcd2kDGYjPHGT29Wdgpyz1cShifjfKHCFVU8WoewmYV9WNXFqKCKt79zPYdT19JDFBP1W9MbDCFkqT9AEFz9Gq3U9Lz6EdnrXtpmN6frqCSpaMT79ZNnk22TkN23znWSVtux9HJNw5cBYKD9UV77H69Dnen86gi8DqZr3uvyTuBuk4Rj4S3eM1Gbriu7E9eBhz9oberxqtqYxQhuZ3hJeMj7CgR2QJbJJTrL8Q98qrNQHDRZxaXhoyt3D5qu6sTUJSRSybmDCuQdKbxScPSjNUUdARj3HAw6MW29MAyhyDrbHqfvQz7syqhaSdsRjNx6w4xpjgwmwxhnKNCUt9TMUA7VsBcmSYqZ6PeRsTabF7dxts5ruEk6DRbXrAA88CVEDY6NhgkAHXygWp67o4Kni1b5BbJMrtYDgF6CEFhHCssk6SdYLSD8S6G6Cfn3yVdwXZwrwV7xQL9WwSvyMB7HaxN98Lfxzg1YP24recKTwTLsuqgik1PS33oayzQ9HPMCvxMdPmQBTQDoGLwfrzfJobFyqXdfo56JfxYNBZk6ykXQaxfpcyunpwgtxzEzGdzTZ8Qwfz54H2TBSR8vMCkJmjGyNkKsptDvAkX6TEC9rLppziN9A6numh58ohPMwH7JC9eVk14rnX9rmbhfbyw2TRykKV3tbRiKc99o2hMHf7LS7S6WuSRt1367xtrqDhhjuXD31gZ74hNKSpyf5W6wJwad8f3YYwusb5JRCwthAPRjyc84w2MYPfKfDVHS2LqBYaueNGa7TbJwjup5W9dBE67BvrxUzpQuN5kKtj1w",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"index": 2,
"amount": 100,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"sigmaType": "Coll[SByte]",
"renderedValue": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a"
},
"R5": {
"serializedValue": "0e2009f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"sigmaType": "Coll[SByte]",
"renderedValue": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79"
},
"R6": {
"serializedValue": "0502",
"sigmaType": "SLong",
"renderedValue": "1"
}
}
},
{
"boxId": "7e2ea263c1758f30a00bf84b734e80e101f1c7173234cff57f4bc3b7c9bbf0c3",
"value": 1474560,
"index": 1,
"outputBlockId": "0369ce916699cf168815b29896efd72b1ecd145a3eb8a885f6a0d77c123b03df",
"outputTransactionId": "27fdc4cf447663bc8e3885bb1ff1e837ba5a6030dc2c49e564ebbe6e8932b93c",
"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": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1105c801b681d60114c0f4078084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[100,1753179,10,64800,100000000]"
},
"R5": {
"serializedValue": "1a0210746573742063726f77642066756e64201c6c6574732067657420612063726f77642066756e6420676f696e672e",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[746573742063726f77642066756e6420,6c6574732067657420612063726f77642066756e6420676f696e672e]"
},
"R6": {
"serializedValue": "0e240008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a"
},
"R7": {
"serializedValue": "0e2003faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"sigmaType": "Coll[SByte]",
"renderedValue": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04"
}
}
}
],
"outputs": [
{
"boxId": "70df85afd194b82be0e43f4df5aafe79d8d9b99c1ab072510b6956e25545d762",
"transactionId": "8a7c664cc60ba2d690fdfce84403e7e3ab2d98fee0b31cf5acc73bb3cf391412",
"blockId": "e58ce9668335dafa853653055af3c12dc47b689a4fdb53fee88c10184108bd99",
"value": 3474560,
"index": 0,
"globalIndex": 52614784,
"creationHeight": 1688618,
"settlementHeight": 1688622,
"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": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
},
{
"tokenId": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"index": 2,
"amount": 100,
"name": "SigUSD",
"decimals": 2,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R5": {
"serializedValue": "1a0210746573742063726f77642066756e64201c6c6574732067657420612063726f77642066756e6420676f696e672e",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[746573742063726f77642066756e6420,6c6574732067657420612063726f77642066756e6420676f696e672e]"
},
"R6": {
"serializedValue": "0e240008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a",
"sigmaType": "Coll[SByte]",
"renderedValue": "0008cd03f898847d7d0bce46ce6766124e7ec15656a97e9cc854170606c730a9f8b9666a"
},
"R8": {
"serializedValue": "0efb0e105404000e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a04000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"sigmaType": "Coll[SByte]",
"renderedValue": "105404000e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a04000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216"
},
"R7": {
"serializedValue": "0e2003faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04",
"sigmaType": "Coll[SByte]",
"renderedValue": "03faf2cb329f2e90d6d23b58d91bbb6c046aa143261cc21f52fbe2824bfcbf04"
},
"R4": {
"serializedValue": "1105c801b681d60114c0f4078084af5f",
"sigmaType": "Coll[SLong]",
"renderedValue": "[100,1753179,10,64800,100000000]"
}
},
"spentTransactionId": "0e74cae2e9313d948dfbcfe3baca7c8cb6c5c51264309128e123531f1612fab4",
"mainChain": true
},
{
"boxId": "aedd45828c04934d5d248f46505683f0b9176257bac74a92ce863c6b8fb997c4",
"transactionId": "8a7c664cc60ba2d690fdfce84403e7e3ab2d98fee0b31cf5acc73bb3cf391412",
"blockId": "e58ce9668335dafa853653055af3c12dc47b689a4fdb53fee88c10184108bd99",
"value": 1000000,
"index": 1,
"globalIndex": 52614785,
"creationHeight": 1688618,
"settlementHeight": 1688622,
"ergoTree": "105404000e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a04000580a4e803040004000e2052cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf905020201050004020402040404060404040204000e20302e93e8a379fb7bd750567947d0a396f2b138b51781e743457ee206e5b8ecc00504040205020100040205000500040405000500040405d00f040204000580897a050005000400050204020402040204040500050005000500050005000500050005000502040204020404050404040502040404020404040404000404040205020402040204020402050004020500040205020400050204020502050004000502040205020500d810d601db6501fed602b27201730000d603db63087202d6047301d605c2a7d606b2a5730200d607db63087206d608db6308a7d60992c1a77303d60ab2a4730400d60bb27203730500d60c9683030193c272027205938c720b017306938c720b027307d60d860283010273087309d60eb27208730a01720dd60fb27207730b01720dd6108c720f029595ed93b17203730c93b17201730dd801d611db6308b27201730e0096830401938cb27211730f0001e4c67202040e938cb2721173100001731193e4c6720206057312938cb272037313000273147315d807d611b5a4d901116394c272117205d612e4c67202050ed613db6308b2a5731600d61499b0dc0c0f721101d9011463b5db63087214d901164d0e938c72160172127317d90114414d0e9a8c7214018c8c72140202b0b57213d901144d0e938c72140172127318d90114414d0e9a8c7214018c8c72140202d615b27201731900d616e4c67215070ed61799b0b57213d901174d0e938c7217017216731ad90117414d0e9a8c7217018c8c72170202b0dc0c0f721101d9011763b5db63087217d901194d0e938c7219017216731bd90117414d0e9a8c7217018c8c72170202d19683030193e4c67202040e720496830201939a72149d9c72149cb2e4c672150411731c0099731db2e4c6b27201731e000811731f00732072179399b0dc0c0fb5a4d901186393c27218720501d9011863b5db63087218d9011a4d0e938c721a0172167321d90118414d0e9a8c7218018c8c72180202b0b57207d901184d0e938c72180172167322d90118414d0e9a8c7218018c8c72180202721793c2720672059596830401ed93c5a7c5720a937205c2b2a57323008f8c720e0272109472107324938c720e018c720f01d805d611b4a473259ab1a47326d612e4c67202050ed613b2a5732700d614db63087213d615e4c6b27201732800070ed19683040193e4c6720206057329968302019399b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017212732ad90116414d0e9a8c7216018c8c72160202b0b57214d901164d0e938c7216017212732bd90116414d0e9a8c7216018c8c7216020299b0b57214d901164d0e938c7216017215732cd90116414d0e9a8c7216018c8c72160202b0dc0c0f721101d9011663b5db63087216d901184d0e938c7218017215732dd90116414d0e9a8c7216018c8c721602029399b0b57207d901164d0e938c7216017212732ed90116414d0e9a8c7216018c8c72160202b0b57208d901164d0e938c7216017212732fd90116414d0e9a8c7216018c8c7216020299b0b57208d901164d0e938c72160172157330d90116414d0e9a8c7216018c8c72160202b0b57207d901164d0e938c72160172157331d90116414d0e9a8c7216018c8c72160202af7211d901166393c27216c272137209d802d611c67202040ed612c67202050e9593e4c6720206057332d805d613b2a5733300d614e47212d615db63087213d616b27215733400d617b27207733500d19683060193c2721372059683030193e47211e4c67213040e937214e4c67213050e93e4c6721306057336968302019683030193b172157337938c7216017214938c721602733896830201938c721701e4c6720a070e938c7217028cb2720873390002938cb2db6308720a733a00017204720c7209d80ad613b27207733b00d6148c721302d615b27201733c00d616b2e4c672150411733d00d6179372147216d618e4c67215070ed619938c7213017218d61a9972148cb27208733e01720d02d61be47212d61ce47211d19683080196830201957217d801d61db27207733f0096830301938c721d027340938c721d018cb27208734100017219d802d61db27208734200d61eb272077343009683030193998c721d028c721e02721a938c721e018c721d0172199399b0b5db6308b2a5734400d9011d4d0e938c721d01721b7345d9011d414d0e9a8c721d018c8c721d0202b0b5db6308b2a4734600d9011d4d0e938c721d01721b7347d9011d414d0e9a8c721d018c8c721d0202721a968302017219938cb2db6308721573480001721c9683020193721ce4c67206040e93721be4c67206050e9572179683040193e4c6720606057349938cb27207734a0002734b938cb27207734c0002734d72179683030193e4c672060605734e938cb27207734f00027350948cb2720773510002735293c272067205720c720990b0b57207d9011d4d0e938c721d0172187353d9011d414d0e9a8c721d018c8c721d02027216",
"ergoTreeConstants": "0: 0\n1: Coll(114,-58,71,-56,119,-97,68,108,79,-58,7,-116,27,-12,-65,89,-125,53,-61,-128,6,-12,13,45,-86,109,-124,-112,-102,-22,-15,106)\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": "uAmkpkg4MU2UUNfYYNbVKp61vBA8dAvaL7qZHHXau3s2TW8aUBi3NZRPdWJduDTx1BAbPiuV4z5r8CvgdmCvidSjNczhEGFzkgBWv5BUVvLWJxN4QtBofFKwczCs6qRsJC6stbj41gdD4RNfn68ecqZQ8gh5QhEFhLgFzvr3X3FJVHpivuDnqeMwejBvbk6o8zkXHbLG3NkhfVzXfbpp8XUAQb9cTx8N66qr7E8DZKGN5vHcqmQzh1rdVppm3sD1QqsVRcZhcZxvUdV15WX46mESNEozfomJyPewKdv4hYRc4Bf6H7UZRqzYhJVNtccz8nPfAUgXuV72VDJ82xsGggxwUVRQ8ouU8LhiEhobpnSp657VwmattTwKPPcXdufvqNKJVwrBxoKYXx2GaBcdX4vwEjbkHJQ3q2x5Ab2MGVQgNwG169jf6x5ZQ7j4BznRJA6kdP4xTE9CPXfQQkUCGSsTyvUPdXDXqyiGtDsMmVZY5HucqozAUL76SBfNMJJDN4Hogt9Bh3aSp36hoc4okznALLJ8BHcNMAHyF8vwrgn27FnFvCacXhQZVrgBpZeriNvPaiJ291J6FqZYJWaEDLx9voK53aX1bVj6fp9UeWxQxauVtQNDjdABmDAuJF1MsMWA2cymghh75kKYbUpK6GeXKjdDwPJM3SiW7MRtwmQyiBx7qiST7ZqMBeGSkyNbhFmBsdVz3QMkTu8T6y9v7LR5GHDP3XGPysgyfkg826SjX4PtGD4KSsY7nagkKbK8xcGniXEfigqCNB5BeYHBZybrqeEkPaHgUt6BxbTGb1CA5KjkLx1ZnyPDe7EKdtMcvsnYiUronqNj1XW8HFrB9geqbuXaYZtW9npt3fbvjPkpfnj9LYfzGfNpFwZMW4MrAfGGDJTZ6wzghUakB2FnbMZz6kqxZKyfzDLnhVTqgKLF8nJHp3pooBmtfzkvURADW1GGT8PhQ6aXZxMGUEmz1x35fuSwaeS421mZicz2maTzYkshpqXxtjEUR4vh7gbEEuc4GmksqrW6CscCmw3EVdpgr1vrt3k4sgU4WgMQbhoDYZ68ji6xREsFtViX89mJFZeqjGi3SGVrynwyvvhSBAwStYfw2LAJGJipQWDYFkZ7hFECYxCHKvwStP2He1eYJp5LMoivDndtwuFExRCcopgy4a3ffNVNrNuAJQNZGS6HXdJ9ak6DtVz2pEXrFax2ibqwfq9UAB8biSj1YuzTjBNrjsLz45zDKw69gmKRLCcWu3NKFx3dYAXcNDjMsUgihBtWtRGKVLeJnrteEQQ8sWuLpGsEw7J6ZmTwBzgZ5ks9N5wm79HkohtqVhAY4neEbTUkhKCFrJYQf5ruHqjdA8XCYQ93LCPt6pV5fGnHcqGuq3QHiWoBoHsiBiFnEfshajneVFmTUamoqSqt5JsMBfuA9EwxKZgGhFJwcvEYsjVBbrnz91Qy7PoNzDsE85Fmo1CsvdgMMpMPrrev1t777w5ytPm8RpqFi7j6SQbRBBtzgf3XBuAVYPeaxpwoMzFVPqm6uYKcUvGTQV2iiPj6YBJUYd93NeYuThAMU7JZRwZ2NMwCovEmgsEPoCJ4ZQBLy8TazJPxw6ZErabb4aUv1wLdHRs2fjcMGc9EfGRc8ij9e3RTwcaqwRcijS1AJWP7wgo2W3FaK6N4XQKNGgjv6gC7svEqtwuKUBgzPyiDWNUDfPRgvQ1kkRa694mrxJdFDSzGww6GKguZ7uQtwiDKuTbBuQ13Ht29V1NhaGnYcMFuopif5cmvzd7zSvqJEmEo1ZK5RFzA8XU61Ua9eXk1TYcd2kDGYjPHGT29Wdgpyz1cShifjfKHCFVU8WoewmYV9WNXFqKCKt79zPYdT19JDFBP1W9MbDCFkqT9AEFz9Gq3U9Lz6EdnrXtpmN6frqCSpaMT79ZNnk22TkN23znWSVtux9HJNw5cBYKD9UV77H69Dnen86gi8DqZr3uvyTuBuk4Rj4S3eM1Gbriu7E9eBhz9oberxqtqYxQhuZ3hJeMj7CgR2QJbJJTrL8Q98qrNQHDRZxaXhoyt3D5qu6sTUJSRSybmDCuQdKbxScPSjNUUdARj3HAw6MW29MAyhyDrbHqfvQz7syqhaSdsRjNx6w4xpjgwmwxhnKNCUt9TMUA7VsBcmSYqZ6PeRsTabF7dxts5ruEk6DRbXrAA88CVEDY6NhgkAHXygWp67o4Kni1b5BbJMrtYDgF6CEFhHCssk6SdYLSD8S6G6Cfn3yVdwXZwrwV7xQL9WwSvyMB7HaxN98Lfxzg1YP24recKTwTLsuqgik1PS33oayzQ9HPMCvxMdPmQBTQDoGLwfrzfJobFyqXdfo56JfxYNBZk6ykXQaxfpcyunpwgtxzEzGdzTZ8Qwfz54H2TBSR8vMCkJmjGyNkKsptDvAkX6TEC9rLppziN9A6numh58ohPMwH7JC9eVk14rnX9rmbhfbyw2TRykKV3tbRiKc99o2hMHf7LS7S6WuSRt1367xtrqDhhjuXD31gZ74hNKSpyf5W6wJwad8f3YYwusb5JRCwthAPRjyc84w2MYPfKfDVHS2LqBYaueNGa7TbJwjup5W9dBE67BvrxUzpQuN5kKtj1w",
"assets": [
{
"tokenId": "52cdac4eaeeade5c52056b1a5e6ccb5d5c04f81988b15afa27b93dd3b56d4cf9",
"index": 0,
"amount": 1,
"name": "Exle: SLT CrowdFund Token V1.3",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"index": 1,
"amount": 1,
"name": null,
"decimals": null,
"type": null
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e2072c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a",
"sigmaType": "Coll[SByte]",
"renderedValue": "72c647c8779f446c4fc6078c1bf4bf598335c38006f40d2daa6d84909aeaf16a"
},
"R5": {
"serializedValue": "0e2009f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79",
"sigmaType": "Coll[SByte]",
"renderedValue": "09f66207b95b4a96f474473831706d39f6312054cdfee260c7ab7b5e05d1cb79"
},
"R6": {
"serializedValue": "0504",
"sigmaType": "SLong",
"renderedValue": "2"
}
},
"spentTransactionId": null,
"mainChain": true
},
{
"boxId": "ed6d0abd09187585e920b11f4542a6afbc226b0ed20a177f2977d5d76e98918d",
"transactionId": "8a7c664cc60ba2d690fdfce84403e7e3ab2d98fee0b31cf5acc73bb3cf391412",
"blockId": "e58ce9668335dafa853653055af3c12dc47b689a4fdb53fee88c10184108bd99",
"value": 1000000,
"index": 2,
"globalIndex": 52614786,
"creationHeight": 1688618,
"settlementHeight": 1688622,
"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": "06f1c7cdb9ee2683c478555f3d1a9b50fcf7dccf5a8d3fef1a8d0c9a36d07eba",
"mainChain": true
}
],
"size": 5631,
"isUnconfirmed": false
}