Transaction
ID: afc9c18b5e...41d8
Inputs (6)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.085 ERG
Outputs (8)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0825 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0011 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.0014 ERG
Transaction Details
Confirmations: 1,001,030
Total coins transferred: 0.09 ERG
Fees: 0.0014 ERG
Fees per byte: 0.000000352 ERG
Raw Transaction Data
{
"id": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"inclusionHeight": 758573,
"timestamp": 1653634880232,
"index": 13,
"globalIndex": 3251089,
"numConfirmations": 1001030,
"inputs": [
{
"boxId": "1cf9355db5d36c09005c25dd006a8cb752908fd895857cae50a9777da68e7e4a",
"value": 1000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "9da1d58f53c36c2af9ebecd39e7fd6610aa4a5a3c5ca8d9cbd6d8581b6a63927",
"outputTransactionId": "60eabbf63394b5875493aca01432dae1908789ec54570b87d06cf0edc5199ca7",
"outputIndex": 2,
"outputGlobalIndex": 17179280,
"outputCreatedAt": 758566,
"outputSettledAt": 758569,
"ergoTree": "102e04000e20001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3040604000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404040406040204000402040404020500040204000400040204020404040405c8010400040004000402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d4480400040201000400060100040204000400040204020400040204020404040404060100d804d601b2a4730000d6027301d603e4c6a70411d604b2720373020095ed938cb2db6308720173030001730493c5b2a4730500c5a7d80ad605b2a5730600d606e4c672050411d607e4c672010411d608b27206730700d609b2a4730800d60ab2e4c672090411730900d60bdb6308a7d60c9a8cb2db63087209730a00029592b1720b730b8cb2720b730c0002730dd60ddb63087205d60eb2720d730e00d19683080193c27205c2a793b27206730f00b2720773100093b27206731100b2720773120093b27206731300b27207731400937208958f720a720c99720a9d720a7315720c938cb2720d731600018cb2720b73170001938c720e017202938c720e0272089593c57201c5a7d808d605b2a5731800d606db63087205d607db6308a7d6087e8cb272077319000206d609b5a4d9010963d801d60bdb630872099591b1720b731aed938cb2720b731b0001731c93b2e4c672090411731d00b27203731e00731fd60ab27203732000d60bb072097321d9010b42639a8c720b019d9c7e8cb2db63088c720b0273220002067e7204067e720a06d60ce4c672050411d19683070193c27205c2a7938cb27206732300018cb272077324000195907208720b93b172067325d801d60db27206732600ed938c720d017202927e8c720d0206997208720b93b2720c732700720a93b2720c732800b2720373290093b2720c732a0099b27203732b007eb172090593b2720c732c007204d1732d",
"ergoTreeConstants": "0: 0\n1: Coll(0,20,117,-80,110,-44,-46,-94,-2,30,36,76,-107,27,76,112,-39,36,-71,51,-71,-18,5,34,127,47,45,-89,-42,-12,111,-45)\n2: 3\n3: 0\n4: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n5: 2\n6: 2\n7: 3\n8: 1\n9: 0\n10: 1\n11: 2\n12: 1\n13: 0\n14: 1\n15: 0\n16: 0\n17: 1\n18: 1\n19: 2\n20: 2\n21: 100\n22: 0\n23: 0\n24: 0\n25: 1\n26: 0\n27: 0\n28: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n29: 0\n30: 1\n31: false\n32: 0\n33: CBigInt(0)\n34: 1\n35: 0\n36: 0\n37: 1\n38: 1\n39: 0\n40: 1\n41: 1\n42: 2\n43: 2\n44: 3\n45: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = placeholder[Coll[Byte]](1)\n val coll3 = SELF.R4[Coll[Long]].get\n val l4 = coll3(placeholder[Int](2))\n if ((box1.tokens(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4)) && (INPUTS(placeholder[Int](5)).id == SELF.id)) {(\n val box5 = OUTPUTS(placeholder[Int](6))\n val coll6 = box5.R4[Coll[Long]].get\n val coll7 = box1.R4[Coll[Long]].get\n val l8 = coll6(placeholder[Int](7))\n val box9 = INPUTS(placeholder[Int](8))\n val l10 = box9.R4[Coll[Long]].get(placeholder[Int](9))\n val coll11 = SELF.tokens\n val l12 = box9.tokens(placeholder[Int](10))._2 + if (coll11.size >= placeholder[Int](11)) { coll11(placeholder[Int](12))._2 } else { placeholder[Long](13) }\n val coll13 = box5.tokens\n val tuple14 = coll13(placeholder[Int](14))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](15)) == coll7(placeholder[Int](16)), coll6(placeholder[Int](17)) == coll7(\n placeholder[Int](18)\n ), coll6(placeholder[Int](19)) == coll7(placeholder[Int](20)), l8 == if (l10 < l12) { l10 - l10 / placeholder[Long](21) } else { l12 }, coll13(\n placeholder[Int](22)\n )._1 == coll11(placeholder[Int](23))._1, tuple14._1 == coll2, tuple14._2 == l8\n )\n )\n )\n )} else { if (box1.id == SELF.id) {(\n val box5 = OUTPUTS(placeholder[Int](24))\n val coll6 = box5.tokens\n val coll7 = SELF.tokens\n val bi8 = coll7(placeholder[Int](25))._2.toBigInt\n val coll9 = INPUTS.filter({(box9: Box) =>\n val coll11 = box9.tokens\n if (coll11.size > placeholder[Int](26)) { (coll11(placeholder[Int](27))._1 == placeholder[Coll[Byte]](28)) && (box9.R4[Coll[Long]].get(placeholder[Int](29)) == coll3(placeholder[Int](30))) } else { placeholder[Boolean](31) }\n })\n val l10 = coll3(placeholder[Int](32))\n val bi11 = coll9.fold(placeholder[BigInt](33), {(tuple11: (BigInt, Box)) => tuple11._1 + tuple11._2.tokens(placeholder[Int](34))._2.toBigInt * l4.toBigInt / l10.toBigInt })\n val coll12 = box5.R4[Coll[Long]].get\n sigmaProp(allOf(Coll[Boolean](box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](35))._1 == coll7(placeholder[Int](36))._1, if (bi8 <= bi11) { coll6.size == placeholder[Int](37) } else {(\n val tuple13 = coll6(placeholder[Int](38))\n (tuple13._1 == coll2) && (tuple13._2.toBigInt >= bi8 - bi11)\n )}, coll12(placeholder[Int](39)) == l10, coll12(placeholder[Int](40)) == coll3(placeholder[Int](41)), coll12(placeholder[Int](42)) == coll3(placeholder[Int](43)) - coll9.size.toLong, coll12(placeholder[Int](44)) == l4)))\n )} else { sigmaProp(placeholder[Boolean](45)) } }\n}",
"address": "3JzMahp3AHSF9VciA4YTEqRkBsK2BVQLsKSY7ps1ZRJYreFBshpbjxm8meLiCYWdMEvjXsTA6Ahic8c1URxg5iqQBf52oeNBieHDLxtk1PnvsuvgcpaB14mmtj4zQQdre8NY2czg46WHkReGwdA1cu2bsAFFXFjer8h1BBbVg7R2eDzDefxsFYw8cqUiCX8BZ77SPpuCWGA94omPzJAtanviJfZANiAYUyfCTLmsSc5njExrE9WB6KwYsKmvBRyUWsLZvjQcxMLL8gAEZvtG1pHP4uPww4JmW6nNbCm5YLw6xYWsRzb4asWCoha3n6ir7uEm5n26oCnVhv7zSxwVpfd1xcn4g2BJtmhp99KVifNx7kijMMNCitqhed4UXXdkj2fEZtrM12j19jAeJjjUzzfaU51RGLLoRQCtDbsZRe9veBv4UKKeFzrqhnvpG9etdU4JUJYMhxwVjttsuNcfZtT1AVej67LxqaaeWFBcE6tqKiscNxmsQJ49KcS12NZC9VWUfduggoBC9e5P1gLdvs382FhHCzjkND2T6iWF1JgCGMTkuTDxsvUCDUcR6RbqDwzkTgyLsM3KtEMYSPn1TQApvVQXSmJZT8xZtQQLpZLJnqzbtdQRqFw5EfEgb5rRWVvmPKUwuKeTQ9pHCrwbNL4JZ4WCA9xveqF2vg4yLJyuQMhcfxF3xnzXdma3b3w8AgmfZajHD7UR4NdvfEebLsJdscP9B1bfWu2QArMoU1T9wX2rMJh83Y3STHU2GmKya4A6eoDCyETWU43c7pvLED2b4VvrK9t1rvtALzu8zfj1F8RnrvW4aGy9a7UtyVjV3TDhJu5rry5CR2vZuiNXxvKFg5BTaD11RmJajjp8u7CZH2CsrEYAmXtpbGqkDNmgF9Adwu2oPTSfttJqc6fBFzQasW5AJTH43J4DvJddQhveRVBifU6WsFJqZdQC4rXbx16xiW7L72q1HQD5iv1XSs42D5Xwd35LdYzmVV",
"assets": [
{
"tokenId": "58f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c1",
"index": 0,
"amount": 1,
"name": "PaideiaTest Emission NFT",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 271161000,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1104a4de8fd5ac01b20108d0dacc8202",
"sigmaType": "Coll[SLong]",
"renderedValue": "[23174707090,89,4,271161000]"
}
}
},
{
"boxId": "46215a3c4517b8e5dc56958f5171d642589b16670d1d5bc3b20cb6567ce30046",
"value": 1000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "3f79f6a2d774e0154ac101690fd08576aeb80d50649a87059174cab25ecd9207",
"outputTransactionId": "dc61f21b0703963aaedf18aadc97238d0c8a9b225fa3629b0e4d8642085a6dff",
"outputIndex": 1,
"outputGlobalIndex": 17178917,
"outputCreatedAt": 758553,
"outputSettledAt": 758555,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 5816718212,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b201aadfee94a060",
"sigmaType": "Coll[SLong]",
"renderedValue": "[89,1653584287701]"
},
"R5": {
"serializedValue": "0e20f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997",
"sigmaType": "Coll[SByte]",
"renderedValue": "f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997"
}
}
},
{
"boxId": "b3690176974ac1e14a8125e454f2b478b346c630c15417c0e0957c1e8530bcba",
"value": 1000000,
"index": 2,
"spendingProof": null,
"outputBlockId": "3f79f6a2d774e0154ac101690fd08576aeb80d50649a87059174cab25ecd9207",
"outputTransactionId": "dc61f21b0703963aaedf18aadc97238d0c8a9b225fa3629b0e4d8642085a6dff",
"outputIndex": 2,
"outputGlobalIndex": 17178918,
"outputCreatedAt": 758553,
"outputSettledAt": 758555,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 2908359100,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b201daf4b4ef9f60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[89,1653545016621]"
},
"R5": {
"serializedValue": "0e202165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592",
"sigmaType": "Coll[SByte]",
"renderedValue": "2165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592"
}
}
},
{
"boxId": "6638f8c0f8af81da5f8a0afbcc59e476318eb893c7c085c8aa20546bceeecd6c",
"value": 1000000,
"index": 3,
"spendingProof": null,
"outputBlockId": "3f79f6a2d774e0154ac101690fd08576aeb80d50649a87059174cab25ecd9207",
"outputTransactionId": "dc61f21b0703963aaedf18aadc97238d0c8a9b225fa3629b0e4d8642085a6dff",
"outputIndex": 3,
"outputGlobalIndex": 17178919,
"outputCreatedAt": 758553,
"outputSettledAt": 758555,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 2326687280,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b201bab6afbc9f60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[89,1653491494301]"
},
"R5": {
"serializedValue": "0e20fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa",
"sigmaType": "Coll[SByte]",
"renderedValue": "fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa"
}
}
},
{
"boxId": "ddf9c011e8a690fe13cbb0c8036446032866dbfd598b740bec36347a1cb12a18",
"value": 1000000,
"index": 4,
"spendingProof": null,
"outputBlockId": "3f79f6a2d774e0154ac101690fd08576aeb80d50649a87059174cab25ecd9207",
"outputTransactionId": "dc61f21b0703963aaedf18aadc97238d0c8a9b225fa3629b0e4d8642085a6dff",
"outputIndex": 4,
"outputGlobalIndex": 17178920,
"outputCreatedAt": 758553,
"outputSettledAt": 758555,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 12122942495,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b201aecfeafd9a60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[89,1652889048023]"
},
"R5": {
"serializedValue": "0e2034854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70",
"sigmaType": "Coll[SByte]",
"renderedValue": "34854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70"
}
}
},
{
"boxId": "276f04511177cbed9f79cf40230e38f110911d2cd943aa2a029c87fbdf2ade3d",
"value": 85000000,
"index": 5,
"spendingProof": null,
"outputBlockId": "ad5a4be7d629c480c311988e18e619d81021d18bd84adccfd152dc9d3afb3682",
"outputTransactionId": "6b83b5eff1281fe7feaeb68671b134970160fed3475d2679a0b08924a800003e",
"outputIndex": 5,
"outputGlobalIndex": 17176817,
"outputCreatedAt": 758506,
"outputSettledAt": 758508,
"ergoTree": "10260e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c104060400058084af5f040205c0843d04040580897a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404000408040205809bee020580897a0580897a040a05809bee02040c0580897a0402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d44804000402010005c0843d05e0a7120580897a05c09a0c04020404040004000e20dfdf8f7f51f922b4c8026861a990f331505af6f04169119e2ee66ea1c84910f6d801d60173009593b1a57301d803d602b2a5730200d603c2a7d604c1a7d19683050193c27202720391c172027204907204730393c1b2a57304009c73057eb1b5a4d901056393c2720572030593c1b2a57306007307d802d602b2a4730800d6038cb2db630872027309000195ed937203730a938cb2db6308b2a4730b00730c00017201d801d604b2a5730d00d19683050193c5b2a499b1a4730e00c5a793c27204c2a792c17204999999c1a7730f7310731193c1b2a5731200731393c1b2a57314007315959372037201d807d604b1a4d6059972047316d606b2a5720500d607b1b5a4d9010763d801d609db630872079591b172097317ed938cb2720973180001731993b2e4c672070411731a00b2e4c672020411731b00731cd6087e720705d6099a731d9c731e7208d60a9a731f9c73207208d19683060193c5b2a4720500c5a793c27206c2a792c172069999c1a77209720a93c1b2a5720400720993c1b2a59a7204732100720a9372049a72077322d1938cb2db6308b2a5732300732400017325",
"ergoTreeConstants": "0: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n1: 3\n2: 0\n3: 100000000\n4: 1\n5: 500000\n6: 2\n7: 1000000\n8: 0\n9: 0\n10: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n11: 2\n12: 0\n13: 4\n14: 1\n15: 3000000\n16: 1000000\n17: 1000000\n18: 5\n19: 3000000\n20: 6\n21: 1000000\n22: 1\n23: 0\n24: 0\n25: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n26: 0\n27: 1\n28: false\n29: 500000\n30: 150000\n31: 1000000\n32: 100000\n33: 1\n34: 2\n35: 0\n36: 0\n37: Coll(-33,-33,-113,127,81,-7,34,-76,-56,2,104,97,-87,-112,-13,49,80,90,-10,-16,65,105,17,-98,46,-26,110,-95,-56,73,16,-10)",
"ergoTreeScript": "{\n val coll1 = placeholder[Coll[Byte]](0)\n if (OUTPUTS.size == placeholder[Int](1)) {(\n val box2 = OUTPUTS(placeholder[Int](2))\n val coll3 = SELF.propositionBytes\n val l4 = SELF.value\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.propositionBytes == coll3, box2.value > l4, l4 <= placeholder[Long](3), OUTPUTS(placeholder[Int](4)).value == placeholder[Long](\n 5\n ) * INPUTS.filter({(box5: Box) => box5.propositionBytes == coll3 }).size.toLong, OUTPUTS(placeholder[Int](6)).value == placeholder[Long](7)\n )\n )\n )\n )} else {(\n val box2 = INPUTS(placeholder[Int](8))\n val coll3 = box2.tokens(placeholder[Int](9))._1\n if ((coll3 == placeholder[Coll[Byte]](10)) && (INPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == coll1)) {(\n val box4 = OUTPUTS(placeholder[Int](13))\n sigmaProp(\n allOf(\n Coll[Boolean](\n INPUTS(INPUTS.size - placeholder[Int](14)).id == SELF.id, box4.propositionBytes == SELF.propositionBytes, box4.value >= SELF.value - placeholder[\n Long\n ](15) - placeholder[Long](16) - placeholder[Long](17), OUTPUTS(placeholder[Int](18)).value == placeholder[Long](19), OUTPUTS(\n placeholder[Int](20)\n ).value == placeholder[Long](21)\n )\n )\n )\n )} else { if (coll3 == coll1) {(\n val i4 = INPUTS.size\n val i5 = i4 - placeholder[Int](22)\n val box6 = OUTPUTS(i5)\n val i7 = INPUTS.filter({(box7: Box) =>\n val coll9 = box7.tokens\n if (coll9.size > placeholder[Int](23)) { (coll9(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box7.R4[Coll[Long]].get(placeholder[Int](26)) == box2.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n }).size\n val l8 = i7.toLong\n val l9 = placeholder[Long](29) + placeholder[Long](30) * l8\n val l10 = placeholder[Long](31) + placeholder[Long](32) * l8\n sigmaProp(allOf(Coll[Boolean](INPUTS(i5).id == SELF.id, box6.propositionBytes == SELF.propositionBytes, box6.value >= SELF.value - l9 - l10, OUTPUTS(i4).value == l9, OUTPUTS(i4 + placeholder[Int](33)).value == l10, i4 == i7 + placeholder[Int](34))))\n )} else { sigmaProp(OUTPUTS(placeholder[Int](35)).tokens(placeholder[Int](36))._1 == placeholder[Coll[Byte]](37)) } }\n )}\n}",
"address": "78N9ocQuQ8tcs5PB8ZbzRxChUVAkS8wp8EdtFB2bmD8AC6TQUdwRGDK7E2Upes3Kt5Wax54aBCraweYdWjmru6mfZT3vQPc1wneFXBLDzTpf7RGymdZVXqnWYywZxCuZ1QoWccHW3a75NddD1RDwwdeq7meADd99MgrSiJb7Wzrxs2LvdxuV9ij3UQ1czMnGoCoaNep2knmwmSmFF9qtWrSrDNkyXiLCermXcxyVxbKiQFDxu3t1DquQGzPTMFVR6XN6f1RrbefCyPQXnCGTDRBHjAnjAHf8kFnxzhNtD7EnUtvCQ66dLMAZw4dVMwcg7r8bFjconzQThwR1yhHVDFVSVKktSKuKne6ZYR1ta3En9uaXiGorUZN8pYFrB7Aivkbtfb5bGiiFM6oRFd91o43HnoakEfRvZDxhb7TqGQz5kufbLgLMT14u3xPbkGWxCLBaikrzwWToLzmeXkghvNC51RLfEydfN5z5fyTuVUXy5sZ11VS8xnr2suWJW4p5r3RSKJLZqDnBS2rJbeTDEShzR1m3jqsPiKjtWWQH6UBWZr1dcWNyVWu1KiF9PnCvRBYKFtDBxMGV5rFKd5evSmBkGcDrVFZdEAsK4jGv9F4r246pJH9J93tUaSsbpTceF875gtZ4tstygQFzdch38xPd9BJFGZiG6qhRKb7adKy3xQaRofHaZSf5hoUAUCXovvsBjorAaGZ3YRtkrVPCncWK2KntdJb76i1SaavxLwRkqTAoknsBj18GKxK4jxE2pkeeJVgq37d4rjatzSMrzWJVoouxQYzFJDAZkrL6QVSdd8HMuBq69KDfndmhnTZ7TFYQ8rmHUsAXbgnw2UPTU",
"assets": [],
"additionalRegisters": {}
}
],
"dataInputs": [],
"outputs": [
{
"boxId": "532a1975050acea7fa118ecf204b9a43b6e05ed2588021d854504e2da990ac83",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1000000,
"index": 0,
"globalIndex": 17179761,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "102e04000e20001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3040604000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404040406040204000402040404020500040204000400040204020404040405c8010400040004000402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d4480400040201000400060100040204000400040204020400040204020404040404060100d804d601b2a4730000d6027301d603e4c6a70411d604b2720373020095ed938cb2db6308720173030001730493c5b2a4730500c5a7d80ad605b2a5730600d606e4c672050411d607e4c672010411d608b27206730700d609b2a4730800d60ab2e4c672090411730900d60bdb6308a7d60c9a8cb2db63087209730a00029592b1720b730b8cb2720b730c0002730dd60ddb63087205d60eb2720d730e00d19683080193c27205c2a793b27206730f00b2720773100093b27206731100b2720773120093b27206731300b27207731400937208958f720a720c99720a9d720a7315720c938cb2720d731600018cb2720b73170001938c720e017202938c720e0272089593c57201c5a7d808d605b2a5731800d606db63087205d607db6308a7d6087e8cb272077319000206d609b5a4d9010963d801d60bdb630872099591b1720b731aed938cb2720b731b0001731c93b2e4c672090411731d00b27203731e00731fd60ab27203732000d60bb072097321d9010b42639a8c720b019d9c7e8cb2db63088c720b0273220002067e7204067e720a06d60ce4c672050411d19683070193c27205c2a7938cb27206732300018cb272077324000195907208720b93b172067325d801d60db27206732600ed938c720d017202927e8c720d0206997208720b93b2720c732700720a93b2720c732800b2720373290093b2720c732a0099b27203732b007eb172090593b2720c732c007204d1732d",
"ergoTreeConstants": "0: 0\n1: Coll(0,20,117,-80,110,-44,-46,-94,-2,30,36,76,-107,27,76,112,-39,36,-71,51,-71,-18,5,34,127,47,45,-89,-42,-12,111,-45)\n2: 3\n3: 0\n4: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n5: 2\n6: 2\n7: 3\n8: 1\n9: 0\n10: 1\n11: 2\n12: 1\n13: 0\n14: 1\n15: 0\n16: 0\n17: 1\n18: 1\n19: 2\n20: 2\n21: 100\n22: 0\n23: 0\n24: 0\n25: 1\n26: 0\n27: 0\n28: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n29: 0\n30: 1\n31: false\n32: 0\n33: CBigInt(0)\n34: 1\n35: 0\n36: 0\n37: 1\n38: 1\n39: 0\n40: 1\n41: 1\n42: 2\n43: 2\n44: 3\n45: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = placeholder[Coll[Byte]](1)\n val coll3 = SELF.R4[Coll[Long]].get\n val l4 = coll3(placeholder[Int](2))\n if ((box1.tokens(placeholder[Int](3))._1 == placeholder[Coll[Byte]](4)) && (INPUTS(placeholder[Int](5)).id == SELF.id)) {(\n val box5 = OUTPUTS(placeholder[Int](6))\n val coll6 = box5.R4[Coll[Long]].get\n val coll7 = box1.R4[Coll[Long]].get\n val l8 = coll6(placeholder[Int](7))\n val box9 = INPUTS(placeholder[Int](8))\n val l10 = box9.R4[Coll[Long]].get(placeholder[Int](9))\n val coll11 = SELF.tokens\n val l12 = box9.tokens(placeholder[Int](10))._2 + if (coll11.size >= placeholder[Int](11)) { coll11(placeholder[Int](12))._2 } else { placeholder[Long](13) }\n val coll13 = box5.tokens\n val tuple14 = coll13(placeholder[Int](14))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](15)) == coll7(placeholder[Int](16)), coll6(placeholder[Int](17)) == coll7(\n placeholder[Int](18)\n ), coll6(placeholder[Int](19)) == coll7(placeholder[Int](20)), l8 == if (l10 < l12) { l10 - l10 / placeholder[Long](21) } else { l12 }, coll13(\n placeholder[Int](22)\n )._1 == coll11(placeholder[Int](23))._1, tuple14._1 == coll2, tuple14._2 == l8\n )\n )\n )\n )} else { if (box1.id == SELF.id) {(\n val box5 = OUTPUTS(placeholder[Int](24))\n val coll6 = box5.tokens\n val coll7 = SELF.tokens\n val bi8 = coll7(placeholder[Int](25))._2.toBigInt\n val coll9 = INPUTS.filter({(box9: Box) =>\n val coll11 = box9.tokens\n if (coll11.size > placeholder[Int](26)) { (coll11(placeholder[Int](27))._1 == placeholder[Coll[Byte]](28)) && (box9.R4[Coll[Long]].get(placeholder[Int](29)) == coll3(placeholder[Int](30))) } else { placeholder[Boolean](31) }\n })\n val l10 = coll3(placeholder[Int](32))\n val bi11 = coll9.fold(placeholder[BigInt](33), {(tuple11: (BigInt, Box)) => tuple11._1 + tuple11._2.tokens(placeholder[Int](34))._2.toBigInt * l4.toBigInt / l10.toBigInt })\n val coll12 = box5.R4[Coll[Long]].get\n sigmaProp(allOf(Coll[Boolean](box5.propositionBytes == SELF.propositionBytes, coll6(placeholder[Int](35))._1 == coll7(placeholder[Int](36))._1, if (bi8 <= bi11) { coll6.size == placeholder[Int](37) } else {(\n val tuple13 = coll6(placeholder[Int](38))\n (tuple13._1 == coll2) && (tuple13._2.toBigInt >= bi8 - bi11)\n )}, coll12(placeholder[Int](39)) == l10, coll12(placeholder[Int](40)) == coll3(placeholder[Int](41)), coll12(placeholder[Int](42)) == coll3(placeholder[Int](43)) - coll9.size.toLong, coll12(placeholder[Int](44)) == l4)))\n )} else { sigmaProp(placeholder[Boolean](45)) } }\n}",
"address": "3JzMahp3AHSF9VciA4YTEqRkBsK2BVQLsKSY7ps1ZRJYreFBshpbjxm8meLiCYWdMEvjXsTA6Ahic8c1URxg5iqQBf52oeNBieHDLxtk1PnvsuvgcpaB14mmtj4zQQdre8NY2czg46WHkReGwdA1cu2bsAFFXFjer8h1BBbVg7R2eDzDefxsFYw8cqUiCX8BZ77SPpuCWGA94omPzJAtanviJfZANiAYUyfCTLmsSc5njExrE9WB6KwYsKmvBRyUWsLZvjQcxMLL8gAEZvtG1pHP4uPww4JmW6nNbCm5YLw6xYWsRzb4asWCoha3n6ir7uEm5n26oCnVhv7zSxwVpfd1xcn4g2BJtmhp99KVifNx7kijMMNCitqhed4UXXdkj2fEZtrM12j19jAeJjjUzzfaU51RGLLoRQCtDbsZRe9veBv4UKKeFzrqhnvpG9etdU4JUJYMhxwVjttsuNcfZtT1AVej67LxqaaeWFBcE6tqKiscNxmsQJ49KcS12NZC9VWUfduggoBC9e5P1gLdvs382FhHCzjkND2T6iWF1JgCGMTkuTDxsvUCDUcR6RbqDwzkTgyLsM3KtEMYSPn1TQApvVQXSmJZT8xZtQQLpZLJnqzbtdQRqFw5EfEgb5rRWVvmPKUwuKeTQ9pHCrwbNL4JZ4WCA9xveqF2vg4yLJyuQMhcfxF3xnzXdma3b3w8AgmfZajHD7UR4NdvfEebLsJdscP9B1bfWu2QArMoU1T9wX2rMJh83Y3STHU2GmKya4A6eoDCyETWU43c7pvLED2b4VvrK9t1rvtALzu8zfj1F8RnrvW4aGy9a7UtyVjV3TDhJu5rry5CR2vZuiNXxvKFg5BTaD11RmJajjp8u7CZH2CsrEYAmXtpbGqkDNmgF9Adwu2oPTSfttJqc6fBFzQasW5AJTH43J4DvJddQhveRVBifU6WsFJqZdQC4rXbx16xiW7L72q1HQD5iv1XSs42D5Xwd35LdYzmVV",
"assets": [
{
"tokenId": "58f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c1",
"index": 0,
"amount": 1,
"name": "PaideiaTest Emission NFT",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 3,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1104a4de8fd5ac01b20100d0dacc8202",
"sigmaType": "Coll[SLong]",
"renderedValue": "[23174707090,89,0,271161000]"
}
},
"spentTransactionId": "b5a4940797da26f605be61c3e77e3be69526bfbb31035336c7e285190d53e66d",
"mainChain": true
},
{
"boxId": "3165b758eff0b6227a60f2db9d9959d222146fa08db40d8718876a732f54825c",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1000000,
"index": 1,
"globalIndex": 17179762,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 5884778063,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b401aadfee94a060",
"sigmaType": "Coll[SLong]",
"renderedValue": "[90,1653584287701]"
},
"R5": {
"serializedValue": "0e20f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997",
"sigmaType": "Coll[SByte]",
"renderedValue": "f166ae8efbdbefdff04ba92f6950bb86ad6bc6cdc9506517f3c7b6c3a04ae997"
}
},
"spentTransactionId": "cba101bbb4827fd10eb39771d06e3d799afea73223abec4ca9463239c2cb25cb",
"mainChain": true
},
{
"boxId": "85e0a2b4e5ca501ac07d2b0fe3d2565d44dbe7c50d55950c506eda26b10a5681",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1000000,
"index": 2,
"globalIndex": 17179763,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 2942389025,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b401daf4b4ef9f60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[90,1653545016621]"
},
"R5": {
"serializedValue": "0e202165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592",
"sigmaType": "Coll[SByte]",
"renderedValue": "2165f6983acae61b04e3c6f599d31ebe6ff54dfb617bbcbfcdd776ee9d5f6592"
}
},
"spentTransactionId": "cba101bbb4827fd10eb39771d06e3d799afea73223abec4ca9463239c2cb25cb",
"mainChain": true
},
{
"boxId": "9b905236c8eacf40be03fef215e8bc7d68040e7705db2b422092468e96b9f925",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1000000,
"index": 3,
"globalIndex": 17179764,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 2353911220,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b401bab6afbc9f60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[90,1653491494301]"
},
"R5": {
"serializedValue": "0e20fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa",
"sigmaType": "Coll[SByte]",
"renderedValue": "fef0696b8355dbcc8c630bcc88bff93c0217ee790c33f54be8342f6e01a86eaa"
}
},
"spentTransactionId": "cba101bbb4827fd10eb39771d06e3d799afea73223abec4ca9463239c2cb25cb",
"mainChain": true
},
{
"boxId": "0dc77b24edd14f1676405406daf6adea820862ca04447670be42ce146ed080c0",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1000000,
"index": 4,
"globalIndex": 17179765,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "101a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a0e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c10402040004000402040204000400050204020402040604000402040004000400040404020402010001010100d803d601b2a4730000d6028cb2db6308720173010001d6039372027302959372027303d80bd604b2a5dc0c1aa402a7730400d605e4c672040411d606e4c6a70411d607db63087204d608b27207730500d609db6308a7d60ab27209730600d60bb27207730700d60cb27209730800d60d7e8c720c0206d60ee4c672010411d19683090193c17204c1a793c27204c2a793b272057309009ab27206730a00730b93e4c67204050ee4c6a7050e93b27205730c00b27206730d00938c7208018c720a01938c7208028c720a02938c720b018c720c01937e8c720b02069a720d9d9c7eb2720e730e0006720d7eb2720e730f0006d801d604b2a47310009593c57204c5a7958fb2e4c6b2a57311000411731200b2e4c672010411731300d801d605b2a5731400d1ed72039593c27205c2a7d801d606c67205050e95e67206ed93e47206e4c6a7050e938cb2db6308b2a573150073160001e4c67204050e73177318d17203d17319",
"ergoTreeConstants": "0: 0\n1: 0\n2: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n3: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n4: 1\n5: 0\n6: 0\n7: 1\n8: 1\n9: 0\n10: 0\n11: 1\n12: 1\n13: 1\n14: 3\n15: 0\n16: 1\n17: 0\n18: 0\n19: 0\n20: 2\n21: 1\n22: 1\n23: false\n24: true\n25: false",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n val coll2 = box1.tokens(placeholder[Int](1))._1\n val bool3 = coll2 == placeholder[Coll[Byte]](2)\n if (coll2 == placeholder[Coll[Byte]](3)) {(\n val box4 = OUTPUTS(INPUTS.indexOf(SELF, placeholder[Int](4)))\n val coll5 = box4.R4[Coll[Long]].get\n val coll6 = SELF.R4[Coll[Long]].get\n val coll7 = box4.tokens\n val tuple8 = coll7(placeholder[Int](5))\n val coll9 = SELF.tokens\n val tuple10 = coll9(placeholder[Int](6))\n val tuple11 = coll7(placeholder[Int](7))\n val tuple12 = coll9(placeholder[Int](8))\n val bi13 = tuple12._2.toBigInt\n val coll14 = box1.R4[Coll[Long]].get\n sigmaProp(\n allOf(\n Coll[Boolean](\n box4.value == SELF.value, box4.propositionBytes == SELF.propositionBytes, coll5(placeholder[Int](9)) == coll6(placeholder[Int](10)) + placeholder[\n Long\n ](11), box4.R5[Coll[Byte]].get == SELF.R5[Coll[Byte]].get, coll5(placeholder[Int](12)) == coll6(\n placeholder[Int](13)\n ), tuple8._1 == tuple10._1, tuple8._2 == tuple10._2, tuple11._1 == tuple12._1, tuple11._2.toBigInt == bi13 + coll14(\n placeholder[Int](14)\n ).toBigInt * bi13 / coll14(placeholder[Int](15)).toBigInt\n )\n )\n )\n )} else {(\n val box4 = INPUTS(placeholder[Int](16))\n if (box4.id == SELF.id) { if (OUTPUTS(placeholder[Int](17)).R4[Coll[Long]].get(placeholder[Int](18)) < box1.R4[Coll[Long]].get(placeholder[Int](19))) {(\n val box5 = OUTPUTS(placeholder[Int](20))\n sigmaProp(bool3 && if (box5.propositionBytes == SELF.propositionBytes) {(\n val opt6 = box5.R5[Coll[Byte]]\n if (opt6.isDefined) { (opt6.get == SELF.R5[Coll[Byte]].get) && (OUTPUTS(placeholder[Int](21)).tokens(placeholder[Int](22))._1 == box4.R5[Coll[Byte]].get) } else { placeholder[Boolean](23) }\n )} else { placeholder[Boolean](24) })\n )} else { sigmaProp(bool3) } } else { sigmaProp(placeholder[Boolean](25)) }\n )}\n}",
"address": "2H6TmaVFaGcSz4fmKQA9ZoYWQQuyMXjkQdf16KxQpQir5wAAwrsYJHwpaoZ3eLsrRkcyYQ5GbpkvQSckUZE5N3VE4R1NnZyPNwvcwMPbFNhq1xoiiNg98Akgra1yV69ZMgsTsreFMP8WNm4hewX4nXKDwwffPqJs7KvvxMWMTek4jtC1vJMju8pYCN5C8HXb23ZQ2uJEXATwdYvAyXEyDNcVxZXEFAmCAJj8N5bvVoZKwSM3g9xr3Nz25uiXpSCQUvrRcTtQH34NWsXFVyXdTw2UTMkzMomcQPtTEEcAbdfeZZZQyB2bo7jUtQ5kfRAiggFUbH2VEMDJ4tVUKmHyCu1Ec18e2DNqVY5inKhL8rdkC1idgE5cCnaYQmcN4mQLAr1EMije8P8PN1DrQWzQ4onvW2avAYewYkcbtcbUicTd1Hz3mvrZXoKk7656rMxjhbAbGd6vCKXcsarXWfN7awUY39NsePm2UkQrCPi4ngrK7hx6QasuwoFE2LjGg1FN6oEutkM9MSyfz9Tp3gkQ6KJptwUYdsLnCmMnARkdg94W3zAeuFPHakbP5nJo4J9d5VqAP1ZFjd4QdiiAU8GJcKcvX7xe17kLvbVRKpospiGV3dgjRKuPtitpBTFEtmFE8oqB8yMvRJaJeh",
"assets": [
{
"tokenId": "86b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d448",
"index": 0,
"amount": 1,
"name": "PaideiaTest Stake Token",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "001475b06ed4d2a2fe1e244c951b4c70d924b933b9ee05227f2f2da7d6f46fd3",
"index": 1,
"amount": 12264789776,
"name": "PaideiaTest",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1102b401aecfeafd9a60",
"sigmaType": "Coll[SLong]",
"renderedValue": "[90,1652889048023]"
},
"R5": {
"serializedValue": "0e2034854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70",
"sigmaType": "Coll[SByte]",
"renderedValue": "34854e10972d65dc200a531f3720804a4b73cb249c9371082f0b0de41ed86c70"
}
},
"spentTransactionId": "cba101bbb4827fd10eb39771d06e3d799afea73223abec4ca9463239c2cb25cb",
"mainChain": true
},
{
"boxId": "f71f3588f7fee98a891bfeade064f9d6a7706a1246f4f64c9e19a88114245137",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 82500000,
"index": 5,
"globalIndex": 17179766,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "10260e2058f9fdbd740e0c4d831bdff3ad0bda045f5c77e902c66df0df879bd853eec2c104060400058084af5f040205c0843d04040580897a040004000e204cdc113b47662a0e7ca3bf0cc1db7d9325e6281fa4525585cad96b0adf5b1a7a040404000408040205809bee020580897a0580897a040a05809bee02040c0580897a0402040004000e2086b63db217e780e8f7015ae9cd83564795c7ee30c8c40b99105ee10b3778d44804000402010005c0843d05e0a7120580897a05c09a0c04020404040004000e20dfdf8f7f51f922b4c8026861a990f331505af6f04169119e2ee66ea1c84910f6d801d60173009593b1a57301d803d602b2a5730200d603c2a7d604c1a7d19683050193c27202720391c172027204907204730393c1b2a57304009c73057eb1b5a4d901056393c2720572030593c1b2a57306007307d802d602b2a4730800d6038cb2db630872027309000195ed937203730a938cb2db6308b2a4730b00730c00017201d801d604b2a5730d00d19683050193c5b2a499b1a4730e00c5a793c27204c2a792c17204999999c1a7730f7310731193c1b2a5731200731393c1b2a57314007315959372037201d807d604b1a4d6059972047316d606b2a5720500d607b1b5a4d9010763d801d609db630872079591b172097317ed938cb2720973180001731993b2e4c672070411731a00b2e4c672020411731b00731cd6087e720705d6099a731d9c731e7208d60a9a731f9c73207208d19683060193c5b2a4720500c5a793c27206c2a792c172069999c1a77209720a93c1b2a5720400720993c1b2a59a7204732100720a9372049a72077322d1938cb2db6308b2a5732300732400017325",
"ergoTreeConstants": "0: Coll(88,-7,-3,-67,116,14,12,77,-125,27,-33,-13,-83,11,-38,4,95,92,119,-23,2,-58,109,-16,-33,-121,-101,-40,83,-18,-62,-63)\n1: 3\n2: 0\n3: 100000000\n4: 1\n5: 500000\n6: 2\n7: 1000000\n8: 0\n9: 0\n10: Coll(76,-36,17,59,71,102,42,14,124,-93,-65,12,-63,-37,125,-109,37,-26,40,31,-92,82,85,-123,-54,-39,107,10,-33,91,26,122)\n11: 2\n12: 0\n13: 4\n14: 1\n15: 3000000\n16: 1000000\n17: 1000000\n18: 5\n19: 3000000\n20: 6\n21: 1000000\n22: 1\n23: 0\n24: 0\n25: Coll(-122,-74,61,-78,23,-25,-128,-24,-9,1,90,-23,-51,-125,86,71,-107,-57,-18,48,-56,-60,11,-103,16,94,-31,11,55,120,-44,72)\n26: 0\n27: 1\n28: false\n29: 500000\n30: 150000\n31: 1000000\n32: 100000\n33: 1\n34: 2\n35: 0\n36: 0\n37: Coll(-33,-33,-113,127,81,-7,34,-76,-56,2,104,97,-87,-112,-13,49,80,90,-10,-16,65,105,17,-98,46,-26,110,-95,-56,73,16,-10)",
"ergoTreeScript": "{\n val coll1 = placeholder[Coll[Byte]](0)\n if (OUTPUTS.size == placeholder[Int](1)) {(\n val box2 = OUTPUTS(placeholder[Int](2))\n val coll3 = SELF.propositionBytes\n val l4 = SELF.value\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.propositionBytes == coll3, box2.value > l4, l4 <= placeholder[Long](3), OUTPUTS(placeholder[Int](4)).value == placeholder[Long](\n 5\n ) * INPUTS.filter({(box5: Box) => box5.propositionBytes == coll3 }).size.toLong, OUTPUTS(placeholder[Int](6)).value == placeholder[Long](7)\n )\n )\n )\n )} else {(\n val box2 = INPUTS(placeholder[Int](8))\n val coll3 = box2.tokens(placeholder[Int](9))._1\n if ((coll3 == placeholder[Coll[Byte]](10)) && (INPUTS(placeholder[Int](11)).tokens(placeholder[Int](12))._1 == coll1)) {(\n val box4 = OUTPUTS(placeholder[Int](13))\n sigmaProp(\n allOf(\n Coll[Boolean](\n INPUTS(INPUTS.size - placeholder[Int](14)).id == SELF.id, box4.propositionBytes == SELF.propositionBytes, box4.value >= SELF.value - placeholder[\n Long\n ](15) - placeholder[Long](16) - placeholder[Long](17), OUTPUTS(placeholder[Int](18)).value == placeholder[Long](19), OUTPUTS(\n placeholder[Int](20)\n ).value == placeholder[Long](21)\n )\n )\n )\n )} else { if (coll3 == coll1) {(\n val i4 = INPUTS.size\n val i5 = i4 - placeholder[Int](22)\n val box6 = OUTPUTS(i5)\n val i7 = INPUTS.filter({(box7: Box) =>\n val coll9 = box7.tokens\n if (coll9.size > placeholder[Int](23)) { (coll9(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25)) && (box7.R4[Coll[Long]].get(placeholder[Int](26)) == box2.R4[Coll[Long]].get(placeholder[Int](27))) } else { placeholder[Boolean](28) }\n }).size\n val l8 = i7.toLong\n val l9 = placeholder[Long](29) + placeholder[Long](30) * l8\n val l10 = placeholder[Long](31) + placeholder[Long](32) * l8\n sigmaProp(allOf(Coll[Boolean](INPUTS(i5).id == SELF.id, box6.propositionBytes == SELF.propositionBytes, box6.value >= SELF.value - l9 - l10, OUTPUTS(i4).value == l9, OUTPUTS(i4 + placeholder[Int](33)).value == l10, i4 == i7 + placeholder[Int](34))))\n )} else { sigmaProp(OUTPUTS(placeholder[Int](35)).tokens(placeholder[Int](36))._1 == placeholder[Coll[Byte]](37)) } }\n )}\n}",
"address": "78N9ocQuQ8tcs5PB8ZbzRxChUVAkS8wp8EdtFB2bmD8AC6TQUdwRGDK7E2Upes3Kt5Wax54aBCraweYdWjmru6mfZT3vQPc1wneFXBLDzTpf7RGymdZVXqnWYywZxCuZ1QoWccHW3a75NddD1RDwwdeq7meADd99MgrSiJb7Wzrxs2LvdxuV9ij3UQ1czMnGoCoaNep2knmwmSmFF9qtWrSrDNkyXiLCermXcxyVxbKiQFDxu3t1DquQGzPTMFVR6XN6f1RrbefCyPQXnCGTDRBHjAnjAHf8kFnxzhNtD7EnUtvCQ66dLMAZw4dVMwcg7r8bFjconzQThwR1yhHVDFVSVKktSKuKne6ZYR1ta3En9uaXiGorUZN8pYFrB7Aivkbtfb5bGiiFM6oRFd91o43HnoakEfRvZDxhb7TqGQz5kufbLgLMT14u3xPbkGWxCLBaikrzwWToLzmeXkghvNC51RLfEydfN5z5fyTuVUXy5sZ11VS8xnr2suWJW4p5r3RSKJLZqDnBS2rJbeTDEShzR1m3jqsPiKjtWWQH6UBWZr1dcWNyVWu1KiF9PnCvRBYKFtDBxMGV5rFKd5evSmBkGcDrVFZdEAsK4jGv9F4r246pJH9J93tUaSsbpTceF875gtZ4tstygQFzdch38xPd9BJFGZiG6qhRKb7adKy3xQaRofHaZSf5hoUAUCXovvsBjorAaGZ3YRtkrVPCncWK2KntdJb76i1SaavxLwRkqTAoknsBj18GKxK4jxE2pkeeJVgq37d4rjatzSMrzWJVoouxQYzFJDAZkrL6QVSdd8HMuBq69KDfndmhnTZ7TFYQ8rmHUsAXbgnw2UPTU",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "9238777b8bab23841f0e500d150500f0302ef23cd474420fa4c44a2fad086a04",
"mainChain": true
},
{
"boxId": "f586636e82e2eeee8dd214fb08b86cd1961a75004cc1b99898c3b701a4608059",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1100000,
"index": 6,
"globalIndex": 17179767,
"creationHeight": 758571,
"settlementHeight": 758573,
"ergoTree": "0008cd02eb1b324ce7019a352e02dd2a2267b34a59fb81e0fd649869d357a5a9a4cb2fc5",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(eb1b32,78512d,...)))}",
"address": "9gJbzGqss6MYFYAf6UgY9cPtSrtdsNtNYFCATTQ4kwFk9F6RCMx",
"assets": [],
"additionalRegisters": {},
"spentTransactionId": "833db064a961032318b3f61db24ecfe38528bced910e91854b67e3c338b11562",
"mainChain": true
},
{
"boxId": "3d512bb3fefe65fe25c400f0eddf677229767e8399209d0a4270eb24459e12fa",
"transactionId": "afc9c18b5ea38082e223d5f29d5ed79ce55e6a72cccc225ff2b86b89aaa341d8",
"blockId": "65e164a031be10004c01e1aa7b962cd4d486c00ceaa9bf1f504a0b310953119c",
"value": 1400000,
"index": 7,
"globalIndex": 17179768,
"creationHeight": 758571,
"settlementHeight": 758573,
"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": "d8d68f0679080b76bce0fbe509d3e9416f70de74159abd50b02775eb38b8d468",
"mainChain": true
}
],
"size": 3980,
"isUnconfirmed": false
}