Transaction
ID: 7f71aa6afe...2e1e
Inputs (2)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
0.008 ERG
Tokens:
Loading assets...
Outputs (6)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
Loading assets...
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.004 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.00196004 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.00003996 ERG
Tokens:
0
Transaction Details
Confirmations: 540,815
Total coins transferred: 0.009 ERG
Fees: 0.00196004 ERG
Fees per byte: 0.000000366 ERG
Raw Transaction Data
{
"id": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"inclusionHeight": 1219380,
"timestamp": 1710262853481,
"index": 40,
"globalIndex": 6805615,
"numConfirmations": 540815,
"inputs": [
{
"boxId": "62c35d7a74be998d544ba224e49e89ed0d0cf9cab83ee8dbf5837023db45e8c7",
"value": 1000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "59dacf90c25ce66ad2ee2ceaedd61b366b3ae2a2d31a35d6fca61a7e6b8b6e79",
"outputTransactionId": "1a206a9477aa50a9bcbefec3e108da48f22dcedd8b98637355152cfa2446aac9",
"outputIndex": 0,
"outputGlobalIndex": 37736037,
"outputCreatedAt": 1216743,
"outputSettledAt": 1216745,
"ergoTree": "10360400040204000e20039d2a0a218d7c48c8fd46a8d29431bd056c84882a216a567326c3c7984ec8350e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40402040204040404040204020402040005feffffffffffffffff01040004020e20f0367ddf3435981f4aa5571b91dd46fe813667f2888d4fc691968fde15879b970e1e696d2e706169646569612e636f6e7472616374732e70726f706f73616c2e0e1c696d2e706169646569612e636f6e7472616374732e616374696f6e2e0404040404000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f904000400040204420400040005020406040005020e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc598304020402041204020402044204000400040204120402050004000502040004020500040404020442d81dd601db6501fed602b27201730000d603b27201730100d604e4c6a7040ed605b2a5730200d606dc640be4c6720204640283020e73037304e4e3000ed607db63087205d608db6308a7d609b27207730500d60ab27208730600d60b8c720a01d60c8c720a02d60db27207730700d60eb27208730800d60f8c720e01d610e4c6b2a4730900050c63d611b47210730ab17210d612b17211d613b2a5730b00d614b27210730c00d61599730d720cd616db63087213d617b27216730e00d618b27216730f00d619c27213d61ac27214d61bdc640be4c67203046402b383020e7310cbb37311721aad7211d9011b63cbb37312c2721be4e3010ed61ce4c672130511d61db4a573139a72127314d196830501938cb2db63087202731500017316938cb2db630872037317000172049683090193cbc27205b4e4b272067318007319731a92c17205c1a793b27207731b00b27208731c00938c720901720b938c72090299720c731d938c720d01720f938c720d02998c720e027e72120593b17207731e93e4c67205040e720496830a0192c17213c17214937eb2e4c672130410731f00057215938c721701720b938c7217027320938c7218017321938c7218027cb4e4b2720673220073237324937219721a93cb7219b4e4b2721b7325007326732792b2721c7328009adb6903db6503fe7cb4e4b2721b732900732a732bafb4721c732cb1721cd9011e0593721e732dafdb0c0e721dd9011e04d803d620b2721d721e00d621b2db63087220732e00d622e4c6722004119683060192c17220c1b27211721e00938c722101720f938c722102732f93b27222733000721592b27222733100733293cbc27220b2adb4721b7333b1721bd9012332b4e4722373347335721e00",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: Coll(3,-99,42,10,33,-115,124,72,-56,-3,70,-88,-46,-108,49,-67,5,108,-124,-120,42,33,106,86,115,38,-61,-57,-104,78,-56,53)\n4: Coll(-11,-111,-114,-76,-80,40,60,102,-101,-35,-118,25,86,64,118,108,25,-28,10,105,58,102,-105,-73,117,-80,-114,9,5,37,35,-44)\n5: 1\n6: 1\n7: 2\n8: 2\n9: 1\n10: 1\n11: 1\n12: 0\n13: 9223372036854775807\n14: 0\n15: 1\n16: Coll(-16,54,125,-33,52,53,-104,31,74,-91,87,27,-111,-35,70,-2,-127,54,103,-14,-120,-115,79,-58,-111,-106,-113,-34,21,-121,-101,-105)\n17: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,112,114,111,112,111,115,97,108,46)\n18: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,97,99,116,105,111,110,46)\n19: 2\n20: 2\n21: 0\n22: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n23: 0\n24: 0\n25: 1\n26: 33\n27: 0\n28: 0\n29: 1\n30: 3\n31: 0\n32: 1\n33: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\n34: 1\n35: 1\n36: 9\n37: 1\n38: 1\n39: 33\n40: 0\n41: 0\n42: 1\n43: 9\n44: 1\n45: 0\n46: 0\n47: 1\n48: 0\n49: 1\n50: 0\n51: 2\n52: 1\n53: 33",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val box3 = coll1(placeholder[Int](1))\n val coll4 = SELF.R4[Coll[Byte]].get\n val box5 = OUTPUTS(placeholder[Int](2))\n val coll6 = box2.R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get)\n val coll7 = box5.tokens\n val coll8 = SELF.tokens\n val tuple9 = coll7(placeholder[Int](5))\n val tuple10 = coll8(placeholder[Int](6))\n val coll11 = tuple10._1\n val l12 = tuple10._2\n val tuple13 = coll7(placeholder[Int](7))\n val tuple14 = coll8(placeholder[Int](8))\n val coll15 = tuple14._1\n val coll16 = INPUTS(placeholder[Int](9)).R5[Coll[Box]].get\n val coll17 = coll16.slice(placeholder[Int](10), coll16.size)\n val i18 = coll17.size\n val box19 = OUTPUTS(placeholder[Int](11))\n val box20 = coll16(placeholder[Int](12))\n val l21 = placeholder[Long](13) - l12\n val coll22 = box19.tokens\n val tuple23 = coll22(placeholder[Int](14))\n val tuple24 = coll22(placeholder[Int](15))\n val coll25 = box19.propositionBytes\n val coll26 = box20.propositionBytes\n val coll27 = box3.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](placeholder[Coll[Byte]](16), blake2b256(placeholder[Coll[Byte]](17).append(coll26))).append(\n coll17.map({(box27: Box) => blake2b256(placeholder[Coll[Byte]](18).append(box27.propositionBytes)) })\n ), getVar[Coll[Byte]](1.toByte).get\n )\n val coll28 = box19.R5[Coll[Long]].get\n val coll29 = OUTPUTS.slice(placeholder[Int](19), i18 + placeholder[Int](20))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.tokens(placeholder[Int](21))._1 == placeholder[Coll[Byte]](22), box3.tokens(placeholder[Int](23))._1 == coll4, allOf(\n Coll[Boolean](\n blake2b256(box5.propositionBytes) == coll6(placeholder[Int](24)).get.slice(\n placeholder[Int](25), placeholder[Int](26)\n ), box5.value >= SELF.value, coll7(placeholder[Int](27)) == coll8(placeholder[Int](28)), tuple9._1 == coll11, tuple9._2 == l12 - placeholder[Long](\n 29\n ), tuple13._1 == coll15, tuple13._2 == tuple14._2 - i18.toLong, coll7.size == placeholder[Int](30), box5.R4[Coll[Byte]].get == coll4\n )\n ), allOf(\n Coll[Boolean](\n box19.value >= box20.value, box19.R4[Coll[Int]].get(placeholder[Int](31)).toLong == l21, tuple23._1 == coll11, tuple23._2 == placeholder[Long](\n 32\n ), tuple24._1 == placeholder[Coll[Byte]](33), tuple24._2 == byteArrayToLong(\n coll6(placeholder[Int](34)).get.slice(placeholder[Int](35), placeholder[Int](36))\n ), coll25 == coll26, blake2b256(coll25) == coll27(placeholder[Int](37)).get.slice(placeholder[Int](38), placeholder[Int](39)), coll28(\n placeholder[Int](40)\n ) >= CONTEXT.preHeader.timestamp + byteArrayToLong(\n coll27(placeholder[Int](41)).get.slice(placeholder[Int](42), placeholder[Int](43))\n ), coll28.slice(placeholder[Int](44), coll28.size).forall({(l30: Long) => l30 == placeholder[Long](45) })\n )\n ), coll29.indices.forall({(i30: Int) =>\n val box32 = coll29(i30)\n val tuple33 = box32.tokens(placeholder[Int](46))\n val coll34 = box32.R4[Coll[Long]].get\n allOf(Coll[Boolean](box32.value >= coll17(i30).value, tuple33._1 == coll15, tuple33._2 == placeholder[Long](47), coll34(placeholder[Int](48)) == l21, coll34(placeholder[Int](49)) >= placeholder[Long](50), blake2b256(box32.propositionBytes) == coll27.slice(placeholder[Int](51), coll27.size).map({(opt35: Option[Coll[Byte]]) => opt35.get.slice(placeholder[Int](52), placeholder[Int](53)) })(i30)))\n })\n )\n )\n )\n}",
"address": "5BHZcZ4BWGiHDwuq1jiFieW8bMikukd36ANmAZyvP2wqzK7bVktQ2dDMdMTRovAguCB6V4snJnE3kfLsYWJe7j1vwmfTM4nwHdJHjZA1g3oQZ1vDLCCAmbdikgiENSMRuKU9bb2GKpAtxRLwAf6MqXtg1WhjbNCjjRFJvrxyBtMAkQkAw4arCYGQqtQD1zYbo9L7Mo2EuuvFnQQyBx6jj1xpx3cnpuNpiQDL4WjQ8eVD2vCpQkaWrFwVAbpuFQiFg576VJ4hnXWkTqcMHYR16dwyc71fWhPMguYDKxhgYuec9oj4aix2V84NZJZiEjqMeUH54MyJqo7Z9Cdfu1n2VfmfjyBew5RgcuGb5rQ5YCf9wzPizxi48ePvwVfkmFR87VP4aEke8kWw2jrFRbTeaftcjbXYELXQU6gHgcTvG9gjxTNS4ptnFqUBcmqWZ37fbmpjQsg85JRAiw6yqiJ9jHJHNwy8Ke6zKr6CFs7tLTCRTkV4ToTjrfh8zXUzrCCj6TCDEnWYmo7UowqZghTs4gyS3rAZCkn446BwEh28ajRxkG1rF4ymvJF1U3fkPi5XgXb1QkiBDSjxMu54JwVWLYDw1Gb2f2SD4aStmaTai1vR71zwA4kRzR9vwMYwqgenB5zNnQijeVPg7mKg834fawUBuzTu2mw47z8RB2e3Fu6AksLv8XdMDLzEbAdEsGbp8cXimTfyuDrcZ7fqK7nCdV1hKB8TwzrZhwGFb7i1EaMAJ58YeBLVZLzRys6VZ83Hk8dCsAE8bdpFv8iFeeUfj7djP6hFHgabaNGKpfJU1hLYScbvTtYKGyMvruHu2S8aWTePTzDrFMSLyrES982s767u1GiPfpy1YEPWetc9QmM9TbCfCZbNQfSmxiv8kLzt8E2ZKxgqtFnrkGkJLSbYe5ApsdXAdQkTjLFy9RC24B2HzbtAkJvommd7cP992DngFV3BUHNcfSm2YMqPUiLjbSKCYwTnSYvndEce9ZabNhL9DjwFf2MgRHFbEmNmqrFPFiYLLPkY6GWRmBU5Y5BLgi5qws1m5t9PX7F7j2mztLPTidpG8uUqf2G5ET62U1EbEpWXTK3YtWnv4PSwoqsTSDiPcYvSyGyyytpq54NrC33yWpftDj2R41fhqmBxcC4CQwoMY9SUkZJm6dPXPtGTSdW5ZpxYLrhUH1Px3kfAYJByMyfksPMQgjnrYundiFntaxNdzoWAEbw47auoPb3kfAQrcEHQ1GCSrGkitKR8Zjt2ji7XqLxh2sUjLfosVpSYwZ5TYWbvdPzQ4br7z77QoNm5pqQgWCpys9V7Nk64vCtWkMiReYzNTG5DKRmkDw",
"assets": [
{
"tokenId": "00c3fd71f6ef5a03d125d11bd5fa5b738ef12dd3104491c243698a4486f139a6",
"index": 0,
"amount": 1,
"name": "Paideia DAO",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d",
"index": 1,
"amount": 9223372036854776000,
"name": "Sigmanauts Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5b8b5d70bac147f182950cc352a1aabe79c9c3a66500a9684c1ef182fdb7473f",
"index": 2,
"amount": 9223372036854776000,
"name": "Sigmanauts Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84",
"sigmaType": "Coll[SByte]",
"renderedValue": "38bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84"
}
}
},
{
"boxId": "03aae9821ceb21ef0883e106326ee32bcb306f75cc56c5d01d9fe55efc5c4f8b",
"value": 8000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"outputTransactionId": "6899bde63471660edb5859d39dfc1e45c00e6f4fcce851a235a2514354d30e8c",
"outputIndex": 0,
"outputGlobalIndex": 37884951,
"outputCreatedAt": 1219378,
"outputSettledAt": 1219380,
"ergoTree": "101c040004000580897a0400043c058002040205808002040405808080020406058080808002040805808080808002040a0580808080808002040c058080808080808002040e0580808080808080800204100412040004000e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84040204000400d801d601b2a4730000d19593c57201c5a7d801d602b2a57301009683040192c1720299c1a7730293db63087202db6308a793c27202b2e4c6a7041a73030092db6905db6503fe9a8cc7a7017304d802d602e4c6a7050c63d603d9010305958f720373057306958f720373077308958f72037309730a958f7203730b730c958f7203730d730e958f7203730f7310958f720373117312958f72037313731473159683030197addc0c0fb5a5d901046393c27204b2e4c6a7041a73160001d9010463db63087204d901044d0e938c7204018cb2db6308a77317000193e4c67201040e7318afdc0c1d720201b4a57319b17202d901043c6363d805d6068c720401d607c47206d6089ada720301c17206b1c27206d6098c720402d60ac47209ed93b47207731a7208b4720a731b720893b472079a7208da7203017e8cc772060105b17207b4720a9a7208da7203017e8cc772090105b1720a",
"ergoTreeConstants": "0: 0\n1: 0\n2: 1000000\n3: 0\n4: 30\n5: 128\n6: 1\n7: 16384\n8: 2\n9: 2097152\n10: 3\n11: 268435456\n12: 4\n13: 34359738368\n14: 5\n15: 4398046511104\n16: 6\n17: 562949953421312\n18: 7\n19: 72057594037927936\n20: 8\n21: 9\n22: 0\n23: 0\n24: Coll(56,-68,56,81,78,28,46,-125,35,35,15,64,-22,39,-43,43,-118,-49,66,82,8,-17,-118,10,-96,-7,-25,75,-28,27,28,-124)\n25: 1\n26: 0\n27: 0",
"ergoTreeScript": "{\n val box1 = INPUTS(placeholder[Int](0))\n sigmaProp(if (box1.id == SELF.id) {(\n val box2 = OUTPUTS(placeholder[Int](1))\n allOf(Coll[Boolean](box2.value >= SELF.value - placeholder[Long](2), box2.tokens == SELF.tokens, box2.propositionBytes == SELF.R4[Coll[Coll[Byte]]].get(placeholder[Int](3)), CONTEXT.preHeader.height >= SELF.creationInfo._1 + placeholder[Int](4)))\n )} else {(\n val coll2 = SELF.R5[Coll[Box]].get\n val func3 = {(l3: Long) => if (l3 < placeholder[Long](5)) { placeholder[Int](6) } else { if (l3 < placeholder[Long](7)) { placeholder[Int](8) } else { if (l3 < placeholder[Long](9)) { placeholder[Int](10) } else { if (l3 < placeholder[Long](11)) { placeholder[Int](12) } else { if (l3 < placeholder[Long](13)) { placeholder[Int](14) } else { if (l3 < placeholder[Long](15)) { placeholder[Int](16) } else { if (l3 < placeholder[Long](17)) { placeholder[Int](18) } else { if (l3 < placeholder[Long](19)) { placeholder[Int](20) } else { placeholder[Int](21) } } } } } } } } }\n allOf(Coll[Boolean](anyOf(OUTPUTS.filter({(box4: Box) => box4.propositionBytes == SELF.R4[Coll[Coll[Byte]]].get(placeholder[Int](22)) }).flatMap({(box4: Box) => box4.tokens }).map({(tuple4: (Coll[Byte], Long)) => tuple4._1 == SELF.tokens(placeholder[Int](23))._1 })), box1.R4[Coll[Byte]].get == placeholder[Coll[Byte]](24), coll2.zip(OUTPUTS.slice(placeholder[Int](25), coll2.size)).forall({(tuple4: (Box, Box)) =>\n val box6 = tuple4._1\n val coll7 = box6.bytesWithoutRef\n val i8 = func3(box6.value) + box6.propositionBytes.size\n val box9 = tuple4._2\n val coll10 = box9.bytesWithoutRef\n (coll7.slice(placeholder[Int](26), i8) == coll10.slice(placeholder[Int](27), i8)) && (coll7.slice(i8 + func3(box6.creationInfo._1.toLong), coll7.size) == coll10.slice(i8 + func3(box9.creationInfo._1.toLong), coll10.size))\n })))\n )})\n}",
"address": "3Zo2un5B2c27hSexxAvAey6kTQbqLexakxFY2NVZKTQi2mW9o2rvG4ERDjiLtubK6dxLQzLYCWEQMcGx7P2h3PJn8Y7h2PP5vzC9g23trPsutouxBNCih4ZbhhFFLX1CRnEBR95tLac6B6JXxpyPpM22bozhHabQjeZRHDpNMRMUJHxLLwhAvfKLVEqjmT8QCjznNSbhvgBVZEnCyQCeRmZaakv31f8bb7VnZevqaT5TfQFkLCYTkzq6U6rrgdV4axeDNLsWKiM7bgDWZ3CNzsVsZ53HKqdWfiETNNRSZoTQULmidYDx9yZbWycLzKmGx9VoQ8UN5z8pxJ8iSN7Qzum5BcuJNdPFpLy7tC2NdeCa6ZC8djEaPP8cHwPvZH5DZgDP7VPHNZVFJKVTmpsDPhsKDkwyqdDBdJ3tECpPMrz4uDhRf6okhCw2TL1MDLvVDCFgMrr1nuhF4hDFsbw3AkfxUf3evwtGLbextDVQMtB9FP9NnmtsWS1vgqTyNrKL4quKUhk7WihGvnB4i4RBLLsvqeMVjHzvthARhyq6yUZpJXWqANnL7nVpbjgn3EHqW6mW4wNooXLgHnLpPNE7yNEouieMLPkjyzSCfLfgGzh4RufekNh9dvL8yNyMYAxopaWENbH",
"assets": [
{
"tokenId": "61ab54aed49c2054e217b1f0a77c7a8b011253cc2a8156606c8308cf904467a8",
"index": 0,
"amount": 1,
"name": "Sigmanauts Stake Key",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 1,
"amount": 10001000,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "1a02240008cd02dafd5025796daae1a247bb75d22271f2974626523bcc0c0f2164435f4d03424a2450726f6d6f7465204d616a6f7220506f707369636c6520746f205369676d616e61757420",
"sigmaType": "Coll[Coll[SByte]]",
"renderedValue": "[0008cd02dafd5025796daae1a247bb75d22271f2974626523bcc0c0f2164435f4d03424a,50726f6d6f7465204d616a6f7220506f707369636c6520746f205369676d616e61757420]"
},
"R5": {
"serializedValue": "0c63028092f401104b04000e20f6ff8b7210015545d4b3ac5fc60c908092d035a1a16155c029e8d511627c7a2c0e20af785b0add805c5c31f1cc3a3e96c89008fd7127320107a3784b7f49e95648420e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0404040c044c04040402040004000e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84040104000402040104020404040004020e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b770400040004000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f9040005809bee0204000400040004000402040204000402041205d00f04020402041205d00f04030402040204420580897a0e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983040204000402041204000406040004000410041004020410050004040402040404000410042004000400041004100402041005000400d80ed601db6501fed602b27201730000d603e4c6a70410d604dc640be4c6720204640283030e730173027303e4e3000ed605b4e4b2720473040073057306d606e4c6a70511d607b472067307b17206d608e3044005d609e47208d60a8c720901d60b8c720902d60ce4c6a70664d60db27206730800d60eb27206730900d196830201938cb2db63087202730a0001730b95ed93dc0c1aa402a7730c730d93b27203730e00730fd80ad60fb27201731000d610b27201731100d611b2a5731200d612db6308a7d613e4c672110410d6147208d6157209d616b2a5731300d617dc640be4c6721004640283020e73147315e4e3010ed618b2db6308721673160096830601938cb2db6308720f731700017205938cb2db63087210731800017319ededafdb0c0e7207d901190495937219720a93b27207721900720b90b27207721900720b91b17207720a92720a731a9683070193c27211c2a792c1721199c1a7731b93b2db63087211731c00b27212731d0093b27213731e00b27203731f0093e4c672110511720693e4c672110664720c93b2721373200095ed91720d9d9cb2e4c6720f05117321007cb4e4b27204732200732373247325d801d619720b9172199d9c720d7cb4e4b27204732600732773287329720a732a91db6903db6503fe720e9683040193cbc27216b4e4b27217732b00732c732d92c17216732e938c721801732f928c721802a18cb27212733000027cb4e4b2721773310073327333d80dd60fb2a4733400d610b2a4733500d6118cb2db6308721073360001d612e4c67210050ed613adb4db0c0e721273379db172127338d90113047cb472129c721373399c9a7213733a733bd614b07213733cd90114599a8c7214018c721402d615b2a5733d00d616e4c672150511d617dc640a720c027211e4e3010ed618e67217d619b27216733e00d61ab47216733fb17216d61be4e3020e96830a01927cb4e4dc640ab2e4c6720f040c64734000027211e4e3030e73417342721493c27215c2a792c17215c1a793db63087215db6308a793e4c672150410720393b27216734300720e957218d802d61ce47217d61dadb4db0c0e721c73449db1721c7345d9011d047cb4721c9c721d73469c9a721d73477348968302019372199a99720db0721d7349d9011e599a8c721e018c721e02721493721aaddc0c1d720701addc0c1d721d017213d9011e59998c721e028c721e01d9011e599a8c721e018c721e02968302019372199a720d721493721aaddc0c1d7207017213d9011c599a8c721c018c721c0293db6401e4c672150664db6401957218e4dc640d720c0283013c0e0e860272117212721be4dc640c720c0283013c0e0e860272117212721b938cb2db6308720f734a000172059472167206b2b64a025bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d010040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc598380ade2040410021a011104f2a58284c963000000644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720000e2450726f6d6f7465204d616a6f7220506f707369636c6520746f205369676d616e61757420822cba2f4993ca53062e444f550f10cb3c7541f5e248bcc429b028dee1b5f7c600c0843d103804000402040004020406040405000408058002040205808002040405808080020406058080808002040805808080808002040a0580808080808002040c058080808080808002040e058080808080808080020410041204020e20c7c537e6c635930ecb4ace95a54926b3ab77698d9f4922f0b1c58ea87156483b0400040204420500040404000e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c8404000e205bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d0400040204000402040405020406040804000400040004000402040004040402050005020580ade2040400d813d601db6501fed602b27201730000d603b27201730100d604e4c672030410d605e4c6a70411d606b27205730200d607b27205730300d608b27205730400d609b27205730500d60a9172097306d60be4c6a7050c63d60cb27205730700d60db1720bd60ed9010e05958f720e73087309958f720e730a730b958f720e730c730d958f720e730e730f958f720e73107311958f720e73127313958f720e73147315958f720e731673177318d60fb1a5d610b2a599720f731900d61193cbc27210b4e4b2dc640be4c6720204640283010e731ae4e3000e731b00731c731dd612d901120c63b0dc0c0f721201d9011463db63087214731ed90114414d0e9a8c7214018c8c72140202d613957211b2a599720f731f007210d196830801938cb2db6308720273200001732196830301938cb2db63087203732200017323937eb27204732400057206937eb2720473250005720792db6903db6503fe720895720ad802d614b2a5b1720b00d615e4c6721404119683090193c17214c1a793db63087214db6308a793b27215732600720693b27215732700720793b27215732800997209732993b27215732a009a7208720c93b27215732b00720c93e4c67214050c63720b93c27214c2a7efaea5d9011463aedb63087214d901164d0e938c7216018cb2db6308a7732c0001afdc0c1d720b01b4a5732d720dd901143c6363d805d6168c721401d617c47216d6189ada720e01c17216b1c27216d6198c721402d61ac47219ed93b47217732e7218b4721a732f721893b472179a7218da720e017e8cc772160105b17217b4721a9a7218da720e017e8cc772190105b1721a93720f9a9a720d95720a733073319572117332733393da721201a49ada721201a595720a733473359683020190c17213733693b1db630872137337b2b64a015b8b5d70bac147f182950cc352a1aabe79c9c3a66500a9684c1ef182fdb7473f010211051a0200b0caf2dcc963000c6301c0843d0008cd03cfeecb2be20b459f7b14e0bc056f76b658718ae00e0ca2027f1e15b4e424b449b2b64a0200b6f6e34943cef98f5302c54cf13a81f7ab5cd6af2d7b14cf51d835e4e8288c010040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983a0c21e0024c936d029acfe7a379c7f713dd49fc130fbcc732a3fe79357a29282d17de90700bb00354b3f7a4bd3842d431fbeda69a145ac8d70586e6b41b622449d0eb9f8be00",
"sigmaType": null,
"renderedValue": null
}
}
}
],
"dataInputs": [
{
"boxId": "4aeec5fc302bbbb1d339687206759a8ab91321fa25ac3454cb95d43f86aa56d3",
"value": 1000000,
"index": 0,
"outputBlockId": "94bc65df5765da1afa3183b16efc7b2e5582ddcdebbe94ea4e071f1826de3ede",
"outputTransactionId": "96c6b65e9366e961a6fbe83662de22f7d978a5d8e0070aced3b60b2573acbef2",
"outputIndex": 0,
"ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e20008a3b597bd494557adf7d0d0a3b6ba32f935cf52f83f46a6b1233333a487a510100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
"address": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfCuknDpV3PzizoM2efhYNFH3o7uHxSjqDTXCRdcV2F4vMAbtG8fxGWK9ZxWniTZ6GFE5mT7DEpU6W6piUfh32UkeqxrkxS1Gb6KitQDAbSnrTwCceBFbSkmGRLmPxi26PrzREXVVz4UnXjm1xmFrng6vu6NtPvPfEzz1a4asj856HV8Pq1mMx3UgNfeA",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "64270150e06772c90f006c9252ef6c18ac683dcb1a7fc085880e394417e685af4708072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "6b0b12bf7250b9665959194961f89327b56dd8fb44436c0a70ca0bf0bae0f50f",
"value": 1000000,
"index": 1,
"outputBlockId": "9175984dfa2ac2b7f35c1d6f8f3b66e6d46a609acd82ca9e9b01d82590e9680c",
"outputTransactionId": "827d951edfdc547162709b7dcdd2f9580a9903df95b59806e081aad2fe369cf0",
"outputIndex": 1,
"ergoTree": "100904000e20a9558e4186cbd5aa5723a852d4c1dc657d9e814382ff888d5a8aec521531301d040004020442040004000e205b8b5d70bac147f182950cc352a1aabe79c9c3a66500a9684c1ef182fdb7473f0100d801d601b2a5730000d19683040193db6308a7db6308720190c1a7c1720193cbc27201b4e4b2dc640be4c6720104640283010e7301e4e3000e73020073037304aea4d9010263d801d604db630872029591b172047305938cb272047306000173077308",
"address": "FDdVv3XcPnh67Hm9GfPJpFCLuVeaYKY9MGf67RZfgNcGhsxDZPTz5JVn86hKGoSf3aCbfjFnGQtD8YobxJEaqgNzhHkXs7cJLF4fpeG9Rc7e7MhMxf2heSgkXQZo6HXoH9e9V8dPLHnnuBtS4cdn4hm8o6m1ZTJkNea4S7ge2EAn3mVRfGTRehPjp2HWqX613K1LMRmB3k1skpk3X388c6aAcNSxwhtbMbeoCqAA6HP7U2gyANsbdAyp8y56yQqP",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "6445d8740d3e0927df4e5d0be8cbf74f01c517dbc91256de18e375c1345f79c81f06072000",
"sigmaType": null,
"renderedValue": null
}
}
}
],
"outputs": [
{
"boxId": "19e4d713a28f4ce3311614f7f8d705c8d4e5e9c43857f43f736d0475101d78d2",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 1000000,
"index": 0,
"globalIndex": 37885101,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"ergoTree": "10360400040204000e20039d2a0a218d7c48c8fd46a8d29431bd056c84882a216a567326c3c7984ec8350e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40402040204040404040204020402040005feffffffffffffffff01040004020e20f0367ddf3435981f4aa5571b91dd46fe813667f2888d4fc691968fde15879b970e1e696d2e706169646569612e636f6e7472616374732e70726f706f73616c2e0e1c696d2e706169646569612e636f6e7472616374732e616374696f6e2e0404040404000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f904000400040204420400040005020406040005020e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc598304020402041204020402044204000400040204120402050004000502040004020500040404020442d81dd601db6501fed602b27201730000d603b27201730100d604e4c6a7040ed605b2a5730200d606dc640be4c6720204640283020e73037304e4e3000ed607db63087205d608db6308a7d609b27207730500d60ab27208730600d60b8c720a01d60c8c720a02d60db27207730700d60eb27208730800d60f8c720e01d610e4c6b2a4730900050c63d611b47210730ab17210d612b17211d613b2a5730b00d614b27210730c00d61599730d720cd616db63087213d617b27216730e00d618b27216730f00d619c27213d61ac27214d61bdc640be4c67203046402b383020e7310cbb37311721aad7211d9011b63cbb37312c2721be4e3010ed61ce4c672130511d61db4a573139a72127314d196830501938cb2db63087202731500017316938cb2db630872037317000172049683090193cbc27205b4e4b272067318007319731a92c17205c1a793b27207731b00b27208731c00938c720901720b938c72090299720c731d938c720d01720f938c720d02998c720e027e72120593b17207731e93e4c67205040e720496830a0192c17213c17214937eb2e4c672130410731f00057215938c721701720b938c7217027320938c7218017321938c7218027cb4e4b2720673220073237324937219721a93cb7219b4e4b2721b7325007326732792b2721c7328009adb6903db6503fe7cb4e4b2721b732900732a732bafb4721c732cb1721cd9011e0593721e732dafdb0c0e721dd9011e04d803d620b2721d721e00d621b2db63087220732e00d622e4c6722004119683060192c17220c1b27211721e00938c722101720f938c722102732f93b27222733000721592b27222733100733293cbc27220b2adb4721b7333b1721bd9012332b4e4722373347335721e00",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: Coll(3,-99,42,10,33,-115,124,72,-56,-3,70,-88,-46,-108,49,-67,5,108,-124,-120,42,33,106,86,115,38,-61,-57,-104,78,-56,53)\n4: Coll(-11,-111,-114,-76,-80,40,60,102,-101,-35,-118,25,86,64,118,108,25,-28,10,105,58,102,-105,-73,117,-80,-114,9,5,37,35,-44)\n5: 1\n6: 1\n7: 2\n8: 2\n9: 1\n10: 1\n11: 1\n12: 0\n13: 9223372036854775807\n14: 0\n15: 1\n16: Coll(-16,54,125,-33,52,53,-104,31,74,-91,87,27,-111,-35,70,-2,-127,54,103,-14,-120,-115,79,-58,-111,-106,-113,-34,21,-121,-101,-105)\n17: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,112,114,111,112,111,115,97,108,46)\n18: Coll(105,109,46,112,97,105,100,101,105,97,46,99,111,110,116,114,97,99,116,115,46,97,99,116,105,111,110,46)\n19: 2\n20: 2\n21: 0\n22: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n23: 0\n24: 0\n25: 1\n26: 33\n27: 0\n28: 0\n29: 1\n30: 3\n31: 0\n32: 1\n33: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\n34: 1\n35: 1\n36: 9\n37: 1\n38: 1\n39: 33\n40: 0\n41: 0\n42: 1\n43: 9\n44: 1\n45: 0\n46: 0\n47: 1\n48: 0\n49: 1\n50: 0\n51: 2\n52: 1\n53: 33",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val box3 = coll1(placeholder[Int](1))\n val coll4 = SELF.R4[Coll[Byte]].get\n val box5 = OUTPUTS(placeholder[Int](2))\n val coll6 = box2.R4[AvlTree].get.getMany(Coll[Coll[Byte]](placeholder[Coll[Byte]](3), placeholder[Coll[Byte]](4)), getVar[Coll[Byte]](0.toByte).get)\n val coll7 = box5.tokens\n val coll8 = SELF.tokens\n val tuple9 = coll7(placeholder[Int](5))\n val tuple10 = coll8(placeholder[Int](6))\n val coll11 = tuple10._1\n val l12 = tuple10._2\n val tuple13 = coll7(placeholder[Int](7))\n val tuple14 = coll8(placeholder[Int](8))\n val coll15 = tuple14._1\n val coll16 = INPUTS(placeholder[Int](9)).R5[Coll[Box]].get\n val coll17 = coll16.slice(placeholder[Int](10), coll16.size)\n val i18 = coll17.size\n val box19 = OUTPUTS(placeholder[Int](11))\n val box20 = coll16(placeholder[Int](12))\n val l21 = placeholder[Long](13) - l12\n val coll22 = box19.tokens\n val tuple23 = coll22(placeholder[Int](14))\n val tuple24 = coll22(placeholder[Int](15))\n val coll25 = box19.propositionBytes\n val coll26 = box20.propositionBytes\n val coll27 = box3.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](placeholder[Coll[Byte]](16), blake2b256(placeholder[Coll[Byte]](17).append(coll26))).append(\n coll17.map({(box27: Box) => blake2b256(placeholder[Coll[Byte]](18).append(box27.propositionBytes)) })\n ), getVar[Coll[Byte]](1.toByte).get\n )\n val coll28 = box19.R5[Coll[Long]].get\n val coll29 = OUTPUTS.slice(placeholder[Int](19), i18 + placeholder[Int](20))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.tokens(placeholder[Int](21))._1 == placeholder[Coll[Byte]](22), box3.tokens(placeholder[Int](23))._1 == coll4, allOf(\n Coll[Boolean](\n blake2b256(box5.propositionBytes) == coll6(placeholder[Int](24)).get.slice(\n placeholder[Int](25), placeholder[Int](26)\n ), box5.value >= SELF.value, coll7(placeholder[Int](27)) == coll8(placeholder[Int](28)), tuple9._1 == coll11, tuple9._2 == l12 - placeholder[Long](\n 29\n ), tuple13._1 == coll15, tuple13._2 == tuple14._2 - i18.toLong, coll7.size == placeholder[Int](30), box5.R4[Coll[Byte]].get == coll4\n )\n ), allOf(\n Coll[Boolean](\n box19.value >= box20.value, box19.R4[Coll[Int]].get(placeholder[Int](31)).toLong == l21, tuple23._1 == coll11, tuple23._2 == placeholder[Long](\n 32\n ), tuple24._1 == placeholder[Coll[Byte]](33), tuple24._2 == byteArrayToLong(\n coll6(placeholder[Int](34)).get.slice(placeholder[Int](35), placeholder[Int](36))\n ), coll25 == coll26, blake2b256(coll25) == coll27(placeholder[Int](37)).get.slice(placeholder[Int](38), placeholder[Int](39)), coll28(\n placeholder[Int](40)\n ) >= CONTEXT.preHeader.timestamp + byteArrayToLong(\n coll27(placeholder[Int](41)).get.slice(placeholder[Int](42), placeholder[Int](43))\n ), coll28.slice(placeholder[Int](44), coll28.size).forall({(l30: Long) => l30 == placeholder[Long](45) })\n )\n ), coll29.indices.forall({(i30: Int) =>\n val box32 = coll29(i30)\n val tuple33 = box32.tokens(placeholder[Int](46))\n val coll34 = box32.R4[Coll[Long]].get\n allOf(Coll[Boolean](box32.value >= coll17(i30).value, tuple33._1 == coll15, tuple33._2 == placeholder[Long](47), coll34(placeholder[Int](48)) == l21, coll34(placeholder[Int](49)) >= placeholder[Long](50), blake2b256(box32.propositionBytes) == coll27.slice(placeholder[Int](51), coll27.size).map({(opt35: Option[Coll[Byte]]) => opt35.get.slice(placeholder[Int](52), placeholder[Int](53)) })(i30)))\n })\n )\n )\n )\n}",
"address": "5BHZcZ4BWGiHDwuq1jiFieW8bMikukd36ANmAZyvP2wqzK7bVktQ2dDMdMTRovAguCB6V4snJnE3kfLsYWJe7j1vwmfTM4nwHdJHjZA1g3oQZ1vDLCCAmbdikgiENSMRuKU9bb2GKpAtxRLwAf6MqXtg1WhjbNCjjRFJvrxyBtMAkQkAw4arCYGQqtQD1zYbo9L7Mo2EuuvFnQQyBx6jj1xpx3cnpuNpiQDL4WjQ8eVD2vCpQkaWrFwVAbpuFQiFg576VJ4hnXWkTqcMHYR16dwyc71fWhPMguYDKxhgYuec9oj4aix2V84NZJZiEjqMeUH54MyJqo7Z9Cdfu1n2VfmfjyBew5RgcuGb5rQ5YCf9wzPizxi48ePvwVfkmFR87VP4aEke8kWw2jrFRbTeaftcjbXYELXQU6gHgcTvG9gjxTNS4ptnFqUBcmqWZ37fbmpjQsg85JRAiw6yqiJ9jHJHNwy8Ke6zKr6CFs7tLTCRTkV4ToTjrfh8zXUzrCCj6TCDEnWYmo7UowqZghTs4gyS3rAZCkn446BwEh28ajRxkG1rF4ymvJF1U3fkPi5XgXb1QkiBDSjxMu54JwVWLYDw1Gb2f2SD4aStmaTai1vR71zwA4kRzR9vwMYwqgenB5zNnQijeVPg7mKg834fawUBuzTu2mw47z8RB2e3Fu6AksLv8XdMDLzEbAdEsGbp8cXimTfyuDrcZ7fqK7nCdV1hKB8TwzrZhwGFb7i1EaMAJ58YeBLVZLzRys6VZ83Hk8dCsAE8bdpFv8iFeeUfj7djP6hFHgabaNGKpfJU1hLYScbvTtYKGyMvruHu2S8aWTePTzDrFMSLyrES982s767u1GiPfpy1YEPWetc9QmM9TbCfCZbNQfSmxiv8kLzt8E2ZKxgqtFnrkGkJLSbYe5ApsdXAdQkTjLFy9RC24B2HzbtAkJvommd7cP992DngFV3BUHNcfSm2YMqPUiLjbSKCYwTnSYvndEce9ZabNhL9DjwFf2MgRHFbEmNmqrFPFiYLLPkY6GWRmBU5Y5BLgi5qws1m5t9PX7F7j2mztLPTidpG8uUqf2G5ET62U1EbEpWXTK3YtWnv4PSwoqsTSDiPcYvSyGyyytpq54NrC33yWpftDj2R41fhqmBxcC4CQwoMY9SUkZJm6dPXPtGTSdW5ZpxYLrhUH1Px3kfAYJByMyfksPMQgjnrYundiFntaxNdzoWAEbw47auoPb3kfAQrcEHQ1GCSrGkitKR8Zjt2ji7XqLxh2sUjLfosVpSYwZ5TYWbvdPzQ4br7z77QoNm5pqQgWCpys9V7Nk64vCtWkMiReYzNTG5DKRmkDw",
"assets": [
{
"tokenId": "00c3fd71f6ef5a03d125d11bd5fa5b738ef12dd3104491c243698a4486f139a6",
"index": 0,
"amount": 1,
"name": "Paideia DAO",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d",
"index": 1,
"amount": 9223372036854776000,
"name": "Sigmanauts Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "5b8b5d70bac147f182950cc352a1aabe79c9c3a66500a9684c1ef182fdb7473f",
"index": 2,
"amount": 9223372036854776000,
"name": "Sigmanauts Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "0e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84",
"sigmaType": "Coll[SByte]",
"renderedValue": "38bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84"
}
},
"spentTransactionId": "31b8f01aea0cf7dd606599d89cc41f0d2554ed0aacfec3f003399fc2d47100d0",
"mainChain": true
},
{
"boxId": "8afa40e2834dd74303e4d1a65a3f737c806ebb07e2088152ea6d39cdd58ae913",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 4000000,
"index": 1,
"globalIndex": 37885102,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"ergoTree": "104b04000e20f6ff8b7210015545d4b3ac5fc60c908092d035a1a16155c029e8d511627c7a2c0e20af785b0add805c5c31f1cc3a3e96c89008fd7127320107a3784b7f49e95648420e20efc4f603dea6041286a89f5bd516ac96ea5b25da4f08d76c6927e01d61b22adf0404040c044c04040402040004000e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c84040104000402040104020404040004020e20f5918eb4b0283c669bdd8a195640766c19e40a693a6697b775b08e09052523d40e20767caa80b98e496ad8a9f689c4410ae453327f0f95e95084c0ae206350793b770400040004000e2000ff963212ba003aeba715c067e92ef299c55f35aed7b6aef4c975ae81a5d3f9040005809bee0204000400040004000402040204000402041205d00f04020402041205d00f04030402040204420580897a0e200040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983040204000402041204000406040004000410041004020410050004040402040404000410042004000400041004100402041005000400d80ed601db6501fed602b27201730000d603e4c6a70410d604dc640be4c6720204640283030e730173027303e4e3000ed605b4e4b2720473040073057306d606e4c6a70511d607b472067307b17206d608e3044005d609e47208d60a8c720901d60b8c720902d60ce4c6a70664d60db27206730800d60eb27206730900d196830201938cb2db63087202730a0001730b95ed93dc0c1aa402a7730c730d93b27203730e00730fd80ad60fb27201731000d610b27201731100d611b2a5731200d612db6308a7d613e4c672110410d6147208d6157209d616b2a5731300d617dc640be4c6721004640283020e73147315e4e3010ed618b2db6308721673160096830601938cb2db6308720f731700017205938cb2db63087210731800017319ededafdb0c0e7207d901190495937219720a93b27207721900720b90b27207721900720b91b17207720a92720a731a9683070193c27211c2a792c1721199c1a7731b93b2db63087211731c00b27212731d0093b27213731e00b27203731f0093e4c672110511720693e4c672110664720c93b2721373200095ed91720d9d9cb2e4c6720f05117321007cb4e4b27204732200732373247325d801d619720b9172199d9c720d7cb4e4b27204732600732773287329720a732a91db6903db6503fe720e9683040193cbc27216b4e4b27217732b00732c732d92c17216732e938c721801732f928c721802a18cb27212733000027cb4e4b2721773310073327333d80dd60fb2a4733400d610b2a4733500d6118cb2db6308721073360001d612e4c67210050ed613adb4db0c0e721273379db172127338d90113047cb472129c721373399c9a7213733a733bd614b07213733cd90114599a8c7214018c721402d615b2a5733d00d616e4c672150511d617dc640a720c027211e4e3010ed618e67217d619b27216733e00d61ab47216733fb17216d61be4e3020e96830a01927cb4e4dc640ab2e4c6720f040c64734000027211e4e3030e73417342721493c27215c2a792c17215c1a793db63087215db6308a793e4c672150410720393b27216734300720e957218d802d61ce47217d61dadb4db0c0e721c73449db1721c7345d9011d047cb4721c9c721d73469c9a721d73477348968302019372199a99720db0721d7349d9011e599a8c721e018c721e02721493721aaddc0c1d720701addc0c1d721d017213d9011e59998c721e028c721e01d9011e599a8c721e018c721e02968302019372199a720d721493721aaddc0c1d7207017213d9011c599a8c721c018c721c0293db6401e4c672150664db6401957218e4dc640d720c0283013c0e0e860272117212721be4dc640c720c0283013c0e0e860272117212721b938cb2db6308720f734a000172059472167206",
"ergoTreeConstants": "0: 0\n1: Coll(-10,-1,-117,114,16,1,85,69,-44,-77,-84,95,-58,12,-112,-128,-110,-48,53,-95,-95,97,85,-64,41,-24,-43,17,98,124,122,44)\n2: Coll(-81,120,91,10,-35,-128,92,92,49,-15,-52,58,62,-106,-56,-112,8,-3,113,39,50,1,7,-93,120,75,127,73,-23,86,72,66)\n3: Coll(-17,-60,-10,3,-34,-90,4,18,-122,-88,-97,91,-43,22,-84,-106,-22,91,37,-38,79,8,-41,108,105,39,-32,29,97,-78,42,-33)\n4: 2\n5: 6\n6: 38\n7: 2\n8: 1\n9: 0\n10: 0\n11: Coll(56,-68,56,81,78,28,46,-125,35,35,15,64,-22,39,-43,43,-118,-49,66,82,8,-17,-118,10,-96,-7,-25,75,-28,27,28,-124)\n12: -1\n13: 0\n14: 1\n15: -1\n16: 1\n17: 2\n18: 0\n19: 1\n20: Coll(-11,-111,-114,-76,-80,40,60,102,-101,-35,-118,25,86,64,118,108,25,-28,10,105,58,102,-105,-73,117,-80,-114,9,5,37,35,-44)\n21: Coll(118,124,-86,-128,-71,-114,73,106,-40,-87,-10,-119,-60,65,10,-28,83,50,127,15,-107,-23,80,-124,-64,-82,32,99,80,121,59,119)\n22: 0\n23: 0\n24: 0\n25: Coll(0,-1,-106,50,18,-70,0,58,-21,-89,21,-64,103,-23,46,-14,-103,-59,95,53,-82,-41,-74,-82,-12,-55,117,-82,-127,-91,-45,-7)\n26: 0\n27: 3000000\n28: 0\n29: 0\n30: 0\n31: 0\n32: 1\n33: 1\n34: 0\n35: 1\n36: 9\n37: 1000\n38: 1\n39: 1\n40: 9\n41: 1000\n42: -2\n43: 1\n44: 1\n45: 33\n46: 1000000\n47: Coll(0,64,-82,101,12,78,-41,123,-51,32,57,20,-109,-85,-24,76,26,-101,-75,-114,-24,-114,-121,-15,86,112,-56,1,-30,-4,89,-125)\n48: 1\n49: 0\n50: 1\n51: 9\n52: 0\n53: 3\n54: 0\n55: 0\n56: 8\n57: 8\n58: 1\n59: 8\n60: 0\n61: 2\n62: 1\n63: 2\n64: 0\n65: 8\n66: 16\n67: 0\n68: 0\n69: 8\n70: 8\n71: 1\n72: 8\n73: 0\n74: 0",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val coll3 = SELF.R4[Coll[Int]].get\n val coll4 = box2.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](placeholder[Coll[Byte]](1), placeholder[Coll[Byte]](2), placeholder[Coll[Byte]](3)), getVar[Coll[Byte]](0.toByte).get\n )\n val coll5 = coll4(placeholder[Int](4)).get.slice(placeholder[Int](5), placeholder[Int](6))\n val coll6 = SELF.R5[Coll[Long]].get\n val coll7 = coll6.slice(placeholder[Int](7), coll6.size)\n val opt8 = getVar[(Int, Long)](4.toByte)\n val tuple9 = opt8.get\n val i10 = tuple9._1\n val l11 = tuple9._2\n val avlTree12 = SELF.R6[AvlTree].get\n val l13 = coll6(placeholder[Int](8))\n val l14 = coll6(placeholder[Int](9))\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.tokens(placeholder[Int](10))._1 == placeholder[Coll[Byte]](11), if ((INPUTS.indexOf(SELF, placeholder[Int](12)) == placeholder[Int](13)) && (\n coll3(placeholder[Int](14)) == placeholder[Int](15)\n )) {(\n val box15 = coll1(placeholder[Int](16))\n val box16 = coll1(placeholder[Int](17))\n val box17 = OUTPUTS(placeholder[Int](18))\n val coll18 = SELF.tokens\n val coll19 = box17.R4[Coll[Int]].get\n val opt20 = opt8\n val tuple21 = tuple9\n val box22 = OUTPUTS(placeholder[Int](19))\n val coll23 = box16.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](placeholder[Coll[Byte]](20), placeholder[Coll[Byte]](21)), getVar[Coll[Byte]](1.toByte).get\n )\n val tuple24 = box22.tokens(placeholder[Int](22))\n allOf(\n Coll[Boolean](\n box15.tokens(placeholder[Int](23))._1 == coll5, box16.tokens(placeholder[Int](24))._1 == placeholder[Coll[Byte]](25), (\n coll7.indices.forall({(i25: Int) => if (i25 == i10) { coll7(i25) == l11 } else { coll7(i25) <= l11 } }) && (coll7.size > i10)\n ) && (i10 >= placeholder[Int](26)), allOf(\n Coll[Boolean](\n box17.propositionBytes == SELF.propositionBytes, box17.value >= SELF.value - placeholder[Long](27), box17.tokens(\n placeholder[Int](28)\n ) == coll18(placeholder[Int](29)), coll19(placeholder[Int](30)) == coll3(placeholder[Int](31)), box17.R5[Coll[Long]].get == coll6, box17.R6[\n AvlTree\n ].get == avlTree12, coll19(placeholder[Int](32)) == if ((\n l13 > box15.R5[Coll[Long]].get(placeholder[Int](33)) * byteArrayToLong(\n coll4(placeholder[Int](34)).get.slice(placeholder[Int](35), placeholder[Int](36))\n ) / placeholder[Long](37)\n ) && \n val l25 = l11\n l25 > l13 * byteArrayToLong(coll4(placeholder[Int](38)).get.slice(placeholder[Int](39), placeholder[Int](40))) / placeholder[Long](41)\n ) { i10 } else { placeholder[Int](42) }\n )\n ), CONTEXT.preHeader.timestamp > l14, allOf(\n Coll[Boolean](\n blake2b256(box22.propositionBytes) == coll23(placeholder[Int](43)).get.slice(\n placeholder[Int](44), placeholder[Int](45)\n ), box22.value >= placeholder[Long](46), tuple24._1 == placeholder[Coll[Byte]](47), tuple24._2 >= min(\n coll18(placeholder[Int](48))._2, byteArrayToLong(coll23(placeholder[Int](49)).get.slice(placeholder[Int](50), placeholder[Int](51)))\n )\n )\n )\n )\n )\n )} else {(\n val box15 = INPUTS(placeholder[Int](52))\n val box16 = INPUTS(placeholder[Int](53))\n val coll17 = box16.tokens(placeholder[Int](54))._1\n val coll18 = box16.R5[Coll[Byte]].get\n val coll19 = coll18.indices.slice(placeholder[Int](55), coll18.size / placeholder[Int](56)).map(\n {(i19: Int) => byteArrayToLong(coll18.slice(i19 * placeholder[Int](57), i19 + placeholder[Int](58) * placeholder[Int](59))) }\n )\n val l20 = coll19.fold(placeholder[Long](60), {(tuple20: (Long, Long)) => tuple20._1 + tuple20._2 })\n val box21 = OUTPUTS(placeholder[Int](61))\n val coll22 = box21.R5[Coll[Long]].get\n val opt23 = avlTree12.get(coll17, getVar[Coll[Byte]](1.toByte).get)\n val bool24 = opt23.isDefined\n val l25 = coll22(placeholder[Int](62))\n val coll26 = coll22.slice(placeholder[Int](63), coll22.size)\n val coll27 = getVar[Coll[Byte]](2.toByte).get\n allOf(\n Coll[Boolean](\n byteArrayToLong(\n box15.R4[Coll[AvlTree]].get(placeholder[Int](64)).get(coll17, getVar[Coll[Byte]](3.toByte).get).get.slice(\n placeholder[Int](65), placeholder[Int](66)\n )\n ) >= l20, box21.propositionBytes == SELF.propositionBytes, box21.value >= SELF.value, box21.tokens == SELF.tokens, box21.R4[\n Coll[Int]\n ].get == coll3, coll22(placeholder[Int](67)) == l14, if (bool24) {(\n val coll28 = opt23.get\n val coll29 = coll28.indices.slice(placeholder[Int](68), coll28.size / placeholder[Int](69)).map(\n {(i29: Int) => byteArrayToLong(coll28.slice(i29 * placeholder[Int](70), i29 + placeholder[Int](71) * placeholder[Int](72))) }\n )\n allOf(\n Coll[Boolean](\n l25 == l13 - coll29.fold(placeholder[Long](73), {(tuple30: (Long, Long)) => tuple30._1 + tuple30._2 }) + l20, coll26 == coll7.zip(\n coll29.zip(coll19).map({(tuple30: (Long, Long)) => tuple30._2 - tuple30._1 })\n ).map({(tuple30: (Long, Long)) => tuple30._1 + tuple30._2 })\n )\n )\n )} else {\n allOf(Coll[Boolean](l25 == l13 + l20, coll26 == coll7.zip(coll19).map({(tuple28: (Long, Long)) => tuple28._1 + tuple28._2 })))\n }, box21.R6[AvlTree].get.digest == if (bool24) { avlTree12.update(Coll[(Coll[Byte], Coll[Byte])]((coll17, coll18)), coll27).get } else {\n avlTree12.insert(Coll[(Coll[Byte], Coll[Byte])]((coll17, coll18)), coll27).get\n }.digest, box15.tokens(placeholder[Int](74))._1 == coll5, coll22 != coll6\n )\n )\n )}\n )\n )\n )\n}",
"address": "tzVGDo5ekSiA2Sm4oHuhVrcz5CuUYBgFnhNxSbvvU679LVSrwykpopjCVEXMMWGFYgBGcBXF6VCbA9EuMch7arv4u9A8GejNfkyzijVHvo16qPyx8sNLZXtWV815BqSrzbqmvBm4th2aBWE5Dy3s5Y4t9cXiqXDNtXw1qjAcuU1DfpUAR435Dip7r7MJ1GDmiEq52qUBFhQwP9Chn9gPnqVQno2tDkeD5X6G5Buya9fRA4mHLPnSfQk8FrzWeqnMgxV8e3dd1NLQXNBjtPsvsu6cDG4uQAVxruDYc7c1zj1kM1jM4MtFHeGF1enQ1rxgHjC9Qsrer9F1B4kQXQhMbZccqMKhvNH1TYQfJK9o2m3DvjgEs55EAGPSnjPzqpwvf7QouLqD2LwYdyY6sqCVGvoHJqdBxfVn6QCGqoTWgCr77waDB2qohrQj5zuoKXqJZBbhdPnPYHXihQUEbNfyojYN5eadc3Qh2uWHbMY3p6pGCCeZjw5aduAzx33fWqnUjVPudJgh1YFJ7Gp753apuEzcE8dpRg9LctRzHBooSyUHKXKW5fg9yGmzHB2Apfmdmt4T9mQkJf2A18UFdLNWPW1z7dXimibyjtDvgoqiPpaTxzhqykSSsuVqynBqceFJWgjnUD4rhonZgB1nSKcoBcrv5Cd2V4Z9iQH59DqLNzAZPPH5HJvhkq5nvV2MoxviDNE3Syw1MUGtCbFjQfXYRiJfCSVBqZF5dLa4gni3RaCGzf9Z8Y7xx9t2rPK8gxJxK2nNRuf4oK2gbRKhATTLr4h85yZEDjdcdvdmqjw5ChmbgWBWeVDPsBv9ExdKUi1Zn5EA8NqzFMCu1fMJSbzx1v5sCngbnAb7FFWfu3ytzX1ZyDHNi6K2NYCBT69XrMGBQuqUyUr3Skxt5Mh18iJW4cwSQZpd5ywRfyYb4wtEaLGZMi9KX5zMTCaRY12HBqsVqhBm3FNsguAnQLQ8zXw7GqnisW3VD129yhQhoGW34Tug7xuHkNyx84CpXTi6EmuZCmpBpRrZnSgzC4Y8AbBfxESoWo7VQw3XnYRUN6vHCayAzwfk4ci3jfYe3C2VgeDX54T4JgD4qEJDKq5cvqfZoFEskTZYrZqcXqb484mpRwsEHuYys3Naigy8Jwx43MqLgzqeAG9VE2E8FArQrP5ht69nnGMuUcsyg78gjz1q16VD8yUjYqFRtGk1iJMswV4Lg1QqhmsgYxRFq74SmrZ6SZzxP7zJWJhipLuknyxbLykVXPEGwwQ7nZvJQBvPw11FvDT3qc2QyDya6npd8qKnazwx59YNoNjdCQLGQiDaBxifjSBhJW1ASYZBt8eDdZhiCiNzpD9Los4oyyjQxxuHrm9t4e14ipeEQtLpb2TpN2ZWkKg1o1wgdgQHVYd39ErWPAtzfVVBUpTKCPqWcE1QUCa7MVwmWvDu5X8GUWofQv7PS748TVDCVrDkky1sqJTosT3V3CcWhZDWg8oB2pUbB3rqqHNen8tMSrB3C7aEf2ZGCj2PVXQRZmbFzmZgxe2Vh3xpNfW2WdPtBSK3qCzVLRXkK6KQnwG5ADR9VngBdEn2Vooi3rQKgEoTJN9hc1ciH3v6WzfA9mrmdssWpo7DGVJXrcy1hfi6B9mhNpyvrsNEHkbPubzeuRP1rQz7kJmQEXLKcjMhJnUm3eraktDBBTeSdd5EKYxG2PmyP1goGmDfgCgwjNXohvTDQtYvUBGkM7MPPHJ17V8zSjiTE35qjcqVeMAWXXiGyYpyZCNzPSvrBMDCDVFEpR5CgA61gsqUcauqpXyhPgTRrw2tdjbmARRdnpUGsPyPwu5f8wxMoi9s6Qhmc36AqFmsWDrmx2WA4D8yJkkaRxzv24GLmFjWJWYgLMpDtpU5VBmSiJmHFPQk9Af6HqedqMGhFDPuS14wb3DvqbcDWiyMyhHHJ7SuXRRJi",
"assets": [
{
"tokenId": "5bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d",
"index": 0,
"amount": 1,
"name": "Sigmanauts Proposal",
"decimals": 0,
"type": "EIP-004"
},
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 1,
"amount": 10000000,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "10021a01",
"sigmaType": "Coll[SInt]",
"renderedValue": "[13,-1]"
},
"R5": {
"serializedValue": "1104f2a58284c963000000",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1710609156473,0,0,0]"
},
"R6": {
"serializedValue": "644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
"sigmaType": null,
"renderedValue": null
},
"R7": {
"serializedValue": "0e2450726f6d6f7465204d616a6f7220506f707369636c6520746f205369676d616e61757420",
"sigmaType": "Coll[SByte]",
"renderedValue": "50726f6d6f7465204d616a6f7220506f707369636c6520746f205369676d616e61757420"
}
},
"spentTransactionId": "6928f27a268d2f5ff858a8c31fff10b9fa310f872e04d235b42ac49ee786d290",
"mainChain": true
},
{
"boxId": "e5ba33fdcafa7425b6208693ade74ea1fc7265a744c4c8f8eec69f78dd395224",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 1000000,
"index": 2,
"globalIndex": 37885103,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"ergoTree": "103804000402040004020406040405000408058002040205808002040405808080020406058080808002040805808080808002040a0580808080808002040c058080808080808002040e058080808080808080020410041204020e20c7c537e6c635930ecb4ace95a54926b3ab77698d9f4922f0b1c58ea87156483b0400040204420500040404000e2038bc38514e1c2e8323230f40ea27d52b8acf425208ef8a0aa0f9e74be41b1c8404000e205bee44a2a857f84c21573aa0100f09c8435e9afc9da0b89f4b4fdabd86def02d0400040204000402040405020406040804000400040004000402040004040402050005020580ade2040400d813d601db6501fed602b27201730000d603b27201730100d604e4c672030410d605e4c6a70411d606b27205730200d607b27205730300d608b27205730400d609b27205730500d60a9172097306d60be4c6a7050c63d60cb27205730700d60db1720bd60ed9010e05958f720e73087309958f720e730a730b958f720e730c730d958f720e730e730f958f720e73107311958f720e73127313958f720e73147315958f720e731673177318d60fb1a5d610b2a599720f731900d61193cbc27210b4e4b2dc640be4c6720204640283010e731ae4e3000e731b00731c731dd612d901120c63b0dc0c0f721201d9011463db63087214731ed90114414d0e9a8c7214018c8c72140202d613957211b2a599720f731f007210d196830801938cb2db6308720273200001732196830301938cb2db63087203732200017323937eb27204732400057206937eb2720473250005720792db6903db6503fe720895720ad802d614b2a5b1720b00d615e4c6721404119683090193c17214c1a793db63087214db6308a793b27215732600720693b27215732700720793b27215732800997209732993b27215732a009a7208720c93b27215732b00720c93e4c67214050c63720b93c27214c2a7efaea5d9011463aedb63087214d901164d0e938c7216018cb2db6308a7732c0001afdc0c1d720b01b4a5732d720dd901143c6363d805d6168c721401d617c47216d6189ada720e01c17216b1c27216d6198c721402d61ac47219ed93b47217732e7218b4721a732f721893b472179a7218da720e017e8cc772160105b17217b4721a9a7218da720e017e8cc772190105b1721a93720f9a9a720d95720a733073319572117332733393da721201a49ada721201a595720a733473359683020190c17213733693b1db630872137337",
"ergoTreeConstants": "0: 0\n1: 1\n2: 0\n3: 1\n4: 3\n5: 2\n6: 0\n7: 4\n8: 128\n9: 1\n10: 16384\n11: 2\n12: 2097152\n13: 3\n14: 268435456\n15: 4\n16: 34359738368\n17: 5\n18: 4398046511104\n19: 6\n20: 562949953421312\n21: 7\n22: 72057594037927936\n23: 8\n24: 9\n25: 1\n26: Coll(-57,-59,55,-26,-58,53,-109,14,-53,74,-50,-107,-91,73,38,-77,-85,119,105,-115,-97,73,34,-16,-79,-59,-114,-88,113,86,72,59)\n27: 0\n28: 1\n29: 33\n30: 0\n31: 2\n32: 0\n33: Coll(56,-68,56,81,78,28,46,-125,35,35,15,64,-22,39,-43,43,-118,-49,66,82,8,-17,-118,10,-96,-7,-25,75,-28,27,28,-124)\n34: 0\n35: Coll(91,-18,68,-94,-88,87,-8,76,33,87,58,-96,16,15,9,-56,67,94,-102,-4,-99,-96,-72,-97,75,79,-38,-67,-122,-34,-16,45)\n36: 0\n37: 1\n38: 0\n39: 1\n40: 2\n41: 1\n42: 3\n43: 4\n44: 0\n45: 0\n46: 0\n47: 0\n48: 1\n49: 0\n50: 2\n51: 1\n52: 0\n53: 1\n54: 5000000\n55: 0",
"ergoTreeScript": "{\n val coll1 = CONTEXT.dataInputs\n val box2 = coll1(placeholder[Int](0))\n val box3 = coll1(placeholder[Int](1))\n val coll4 = box3.R4[Coll[Int]].get\n val coll5 = SELF.R4[Coll[Long]].get\n val l6 = coll5(placeholder[Int](2))\n val l7 = coll5(placeholder[Int](3))\n val l8 = coll5(placeholder[Int](4))\n val l9 = coll5(placeholder[Int](5))\n val bool10 = l9 > placeholder[Long](6)\n val coll11 = SELF.R5[Coll[Box]].get\n val l12 = coll5(placeholder[Int](7))\n val i13 = coll11.size\n val func14 = {(l14: Long) =>\n if (l14 < placeholder[Long](8)) { placeholder[Int](9) } else {\n if (l14 < placeholder[Long](10)) { placeholder[Int](11) } else {\n if (l14 < placeholder[Long](12)) { placeholder[Int](13) } else {\n if (l14 < placeholder[Long](14)) { placeholder[Int](15) } else {\n if (l14 < placeholder[Long](16)) { placeholder[Int](17) } else {\n if (l14 < placeholder[Long](18)) { placeholder[Int](19) } else {\n if (l14 < placeholder[Long](20)) { placeholder[Int](21) } else {\n if (l14 < placeholder[Long](22)) { placeholder[Int](23) } else { placeholder[Int](24) }\n }\n }\n }\n }\n }\n }\n }\n }\n val i15 = OUTPUTS.size\n val box16 = OUTPUTS(i15 - placeholder[Int](25))\n val bool17 = blake2b256(box16.propositionBytes) == box2.R4[AvlTree].get.getMany(\n Coll[Coll[Byte]](placeholder[Coll[Byte]](26)), getVar[Coll[Byte]](0.toByte).get\n )(placeholder[Int](27)).get.slice(placeholder[Int](28), placeholder[Int](29))\n val func18 = {(coll18: Coll[Box]) =>\n coll18.flatMap({(box20: Box) => box20.tokens }).fold(placeholder[Long](30), {(tuple20: (Long, (Coll[Byte], Long))) => tuple20._1 + tuple20._2._2 })\n }\n val box19 = if (bool17) { OUTPUTS(i15 - placeholder[Int](31)) } else { box16 }\n sigmaProp(\n allOf(\n Coll[Boolean](\n box2.tokens(placeholder[Int](32))._1 == placeholder[Coll[Byte]](33), allOf(\n Coll[Boolean](\n box3.tokens(placeholder[Int](34))._1 == placeholder[Coll[Byte]](35), coll4(placeholder[Int](36)).toLong == l6, coll4(\n placeholder[Int](37)\n ).toLong == l7\n )\n ), CONTEXT.preHeader.timestamp >= l8, if (bool10) {(\n val box20 = OUTPUTS(coll11.size)\n val coll21 = box20.R4[Coll[Long]].get\n allOf(\n Coll[Boolean](\n box20.value == SELF.value, box20.tokens == SELF.tokens, coll21(placeholder[Int](38)) == l6, coll21(placeholder[Int](39)) == l7, coll21(\n placeholder[Int](40)\n ) == l9 - placeholder[Long](41), coll21(placeholder[Int](42)) == l8 + l12, coll21(placeholder[Int](43)) == l12, box20.R5[\n Coll[Box]\n ].get == coll11, box20.propositionBytes == SELF.propositionBytes\n )\n )\n )} else {\n !OUTPUTS.exists({(box20: Box) => box20.tokens.exists({(tuple22: (Coll[Byte], Long)) => tuple22._1 == SELF.tokens(placeholder[Int](44))._1 }) })\n }, coll11.zip(OUTPUTS.slice(placeholder[Int](45), i13)).forall({(tuple20: (Box, Box)) =>\n val box22 = tuple20._1\n val coll23 = box22.bytesWithoutRef\n val i24 = func14(box22.value) + box22.propositionBytes.size\n val box25 = tuple20._2\n val coll26 = box25.bytesWithoutRef\n (coll23.slice(placeholder[Int](46), i24) == coll26.slice(placeholder[Int](47), i24)) && (coll23.slice(i24 + func14(box22.creationInfo._1.toLong), coll23.size) == coll26.slice(i24 + func14(box25.creationInfo._1.toLong), coll26.size))\n }), i15 == i13 + if (bool10) { placeholder[Int](48) } else { placeholder[Int](49) } + if (bool17) { placeholder[Int](50) } else {\n placeholder[Int](51)\n }, func18(INPUTS) == func18(OUTPUTS) + if (bool10) { placeholder[Long](52) } else { placeholder[Long](53) }, allOf(\n Coll[Boolean](box19.value <= placeholder[Long](54), box19.tokens.size == placeholder[Int](55))\n )\n )\n )\n )\n}",
"address": "8EaoL6sopDk86KBcoZPEb7JcxchiAau7RxYRg5eTaHmxndYy6u5e16yTQgoxybvVHsxU1XjrXoVokDCPq49oeZv78TKEghFSFZQYZAsr9ycnHm722HwLm76SySxvXd5sdjVma4ULDWjfNgVykv9a89vghxcnGtweUVsAr2eMj5TLzx4GwF4QhR9FmrcbqgJVBGLQY1F7SLRoiFB5bWVnJ6czGr9K4ELryrigBB6BvmubbhJ8F8HdkRd4pSkFKqAy7dEUzHXpKgKx9R17EhFjAA8a5YwruWMkYkqPG9EKgJ3h9GZGwc8w716jYjdDujr69RpBWwkEW7HRxXU1zQkJhCrZKhnt56eNJXy76Tbvt1Dhfu6ixgefTdSstt4rZe9Tt4rXgeu3gTAqeDTee32SAyhc9Rg9usxeawdjnygYdvdHpWSEWC68qncVZCk6mok4SYdpRuk1YnH1WVaDbym47BfgUDzFrTkGdQZyAZqULikvQNvsBZtZSjoRUMckMGAK6Nf4SWHjN6jMAdBuVsnRoeBLHvuMvbKXHuyQ8GyTM5XxASYtR3yo6X4bd8YqMERMb1DWZyqW6EH91xtrUm7LmaMC7qbXjZabmAX79tBE9Dy2e3mUdde344ByW4PwvGrRf6tS9iNxqp5qMkVcU3gB6SWLmT1WYBJntrGiRBX7A5GewjEKZHDjZDYh4PbGc1zTHjieVQrttBqXWa7ZQTZEWGXjj4xCGRp1ZQXoJSLXgjUoSQsxFTVHcYXoBEU14ZehHS5ccGnKcG5fZSzM8NwEGc1JLMCy744S3Z64sAuAoYvsjaKD2fxf8TbYkeeq1fdSHDuCk5kXHbMy1BL7TVa1djHj3redwWyP4twqkBiZpCEtkAt1sfurgpMtCTH2BG5zKFgkGHaPwxwqKg6Xb52ndFxFqtfNHB2fp2DuWcbkHQ1QPxh3FtgWk2MeG31oSeWfvzsSiye7NdFfFxmgVxswJmMopEU64b4aAonpwMzB8Ke3RTnLQT7ikfJRyP9mAbXt9PnKBiG1Yb7oj47hibGHmshbyHCCCTRT1NPdjf2Z93hJ5QDTQ7HJpzpRZazgCcc9r2cC5E7zxzXpazUDUXVRmZnzWZP8wWXfpPa2c8zG8Kn1Mgg43wQGU5JT8h2tUkgYpUxzFKraVNQcnXkPRn9uCfhMQ73BFWJcbQhuNDnGCV2hpWHseLcebyrRFZZmgiecj68TdqAHaQYvKGMu49hd7Yb8zSWpRRfbd",
"assets": [
{
"tokenId": "5b8b5d70bac147f182950cc352a1aabe79c9c3a66500a9684c1ef182fdb7473f",
"index": 0,
"amount": 1,
"name": "Sigmanauts Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "11051a0200b0caf2dcc96300",
"sigmaType": "Coll[SLong]",
"renderedValue": "[13,1,0,1710702351000,0]"
},
"R5": {
"serializedValue": "0c6301c0843d0008cd03cfeecb2be20b459f7b14e0bc056f76b658718ae00e0ca2027f1e15b4e424b449b2b64a0200b6f6e34943cef98f5302c54cf13a81f7ab5cd6af2d7b14cf51d835e4e8288c010040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983a0c21e0024c936d029acfe7a379c7f713dd49fc130fbcc732a3fe79357a29282d17de90700",
"sigmaType": null,
"renderedValue": null
}
},
"spentTransactionId": "7a85f4f6a3da507106c2153eb87835daebb97eafda1bc46574bbee2903b9b76c",
"mainChain": true
},
{
"boxId": "ecb3cc2a7cd5a162b7dc2dcc4b5f4da03af649f8f164ac485dbf565fc8a327ac",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 1000000,
"index": 3,
"globalIndex": 37885104,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"ergoTree": "0008cd02dafd5025796daae1a247bb75d22271f2974626523bcc0c0f2164435f4d03424a",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(dafd50,6ad0f2,...)))}",
"address": "9gBWJpM6UZXdVWZQ9vxZoSxdY8dbTfZ2cKYJr6McGtpPVnvPqRT",
"assets": [
{
"tokenId": "61ab54aed49c2054e217b1f0a77c7a8b011253cc2a8156606c8308cf904467a8",
"index": 0,
"amount": 1,
"name": "Sigmanauts Stake Key",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "edfab8a0de25a4ec3d99cf306659914ca95e5567139a241d7afa72148723e91e",
"mainChain": true
},
{
"boxId": "d8a188c7075ba3931bed4bcc3efa87d3e11f1cd767364bf8784136b094320f98",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 1960040,
"index": 4,
"globalIndex": 37885105,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"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": "ae37478fb9419a1a6ae57368e3cbe177518c8d37ac6a30e351184ff33ccdf11a",
"mainChain": true
},
{
"boxId": "1967213de9c1ad211724c3f276ea381c0f018f2c5a900770039a7a533d3a41a6",
"transactionId": "7f71aa6afebcedc4ff4346f23ae8f38c19c8912924aa868672b1ce49c47e2e1e",
"blockId": "29efed758cc1fac04762d730fe9a2518fe8b574ef65271a41e4d42ffebe82da6",
"value": 39960,
"index": 5,
"globalIndex": 37885106,
"creationHeight": 1219378,
"settlementHeight": 1219380,
"ergoTree": "0008cd023812ba777e72f8e606cda4d4faa2288d439a16cd7c462dc12d3e10a317b019e7",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(3812ba,bc1fbe,...)))}",
"address": "9ewkq1bvnTdmEc7zwmVBxN8rKri8cYNQbgJtMLUxLsFu5AcDCWE",
"assets": [
{
"tokenId": "0040ae650c4ed77bcd20391493abe84c1a9bb58ee88e87f15670c801e2fc5983",
"index": 0,
"amount": 1000,
"name": "bPaideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "76fbff13558d46ade9d1771b0d1dec9d55de18874701564c5191787b23da95d2",
"mainChain": true
}
],
"size": 5358,
"isUnconfirmed": false
}