Transaction
ID: 0bbae24dcf...0f47
Inputs (2)
Spent
Address:
Output transaction:
Settlement height:
Value:
0.002 ERG
Tokens:
Loading assets...
Spent
Address:
Output transaction:
Settlement height:
Value:
1.19 ERG
Tokens:
74,600.98
Outputs (3)
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Tokens:
1,000
Spent
Address:
Spent in transaction:
Settlement height:
Value:
0.001 ERG
Spent
Address:
Spent in transaction:
Settlement height:
Value:
1.19 ERG
Tokens:
73,600.98
Transaction Details
Confirmations: 383,926
Total coins transferred: 1.19 ERG
Fees: 0.001 ERG
Fees per byte: 0.000000283 ERG
Raw Transaction Data
{
"id": "0bbae24dcf22a4b8faf7142b86bf5f13b6733e3f3dc19e9ae8041e94f9e80f47",
"blockId": "825b555cc6a36a216c49913433be4bc3ccd11d09170dc9233624fad01962afc8",
"inclusionHeight": 1381181,
"timestamp": 1729850493476,
"index": 2,
"globalIndex": 7952774,
"numConfirmations": 383926,
"inputs": [
{
"boxId": "2eb019911e76b62c5156f22a491e692da0b46855750d44aeda0afbcf88b9eaf7",
"value": 2000000,
"index": 0,
"spendingProof": null,
"outputBlockId": "8fbc1db48ae46e08fe081bce0c8bc3e1981ed9861a83bc89abe10c02d64300d5",
"outputTransactionId": "b2fcb9f7bbb9242fd255ba4931c032b475e2dcc791547d88c2d93dac8e638a3b",
"outputIndex": 2,
"outputGlobalIndex": 43410883,
"outputCreatedAt": 1380433,
"outputSettledAt": 1380435,
"ergoTree": "10020e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e200b2061b664725d7570fdfc40de19b554e60952ced7649f4ad4a9ee2c8640f7c3d80ed601d9010163b2db63087201040000d602d901023c0c630eae8c720201d9010463aedb63087204d901064d0e938c7206018c720202d603db6503fed6047301d605d901053c0c630eb58c720501d9010763aedb63087207d901094d0e938c7209018c720502d606d9010663b2e4c672060411040000d607d9010763b2e4c672070411040200d608d9010863b2e4c672080411040600d609d9010963b2e4c672090411040400d60ad9010a63e4c6720a050c63d60bd9010b63b2e4c6720b0411040800d60cd9010c05958f720c0580020402958f720c058080020404958f720c05808080020406958f720c0580808080020408958f720c05808080808002040a958f720c0580808080808002040c958f720c058080808080808002040e958f720c0580808080808080800204100412d60dd9010d63d802d60fc4720dd6109ada720c01c1720db1c2720db3b4720f04007210b4720f9a7210da720c017e8cc7720d0105b1720fd60ed9010e0c63b0dc0c0f720e01d9011063db630872100500d90110414d0e9a8c7210018c8c721002029593e4e30002020cd1dad9010f1a968303019199db690572038cc7a70104e09e60af720fd901110eefda7202018602a5721193b1a404020183010e8cda720101a701d80ad60fdb6501fed610b2da7205018602720f7204040000d611da720901a7d6129172110500d613da720a01a7d614b17213d615b1a5d616b2a5997215040200d61793cbc27216dad9011732b4e472170402044201b2dc640bdad9011763e4c67217046401b2da7205018602720f73000400000283010e83200202c702c5023702e602c602350293020e02cb024a02ce029502a50249022602b302ab02770269028d029f0249022202f002b102c5028e02a8027102560248023be4e3010e040000d618957217b2a59972150404007216d19683070196830301938cdad9011963b2db63087219040000017210017204937edad9011963b2e4c67219041004000001721005da720601a7937edad9011963b2e4c67219041004020001721005da720701a792db69037203da720801a7957212d803d619da720a01a7d61ab2a5b1721900d61bda720b01a79683090193c1721ac1a793db6308721adb6308a793da720601721ada720601a793da720701721ada720701a793da720901721a997211050293da720801721a9ada720801a7721b93da720b01721a721b93da720a01721a721993c2721ac2a7efda7202018602a58cda720101a701afdc0c1d721301b4a504007214d901193c636393da720d018c721901da720d018c7219029372159a9a7214957212040204009572170404040293da720e01a49ada720e01a5957212050005029683020190c172180580ade20493b1db630872180400",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n1: Coll(11,32,97,-74,100,114,93,117,112,-3,-4,64,-34,25,-75,84,-26,9,82,-50,-41,100,-97,74,-44,-87,-18,44,-122,64,-9,-61)",
"ergoTreeScript": "{\n val func1 = {(box1: Box) => box1.tokens(0) }\n val func2 = {(tuple2: (Coll[Box], Coll[Byte])) =>\n tuple2._1.exists({(box4: Box) => box4.tokens.exists({(tuple6: (Coll[Byte], Long)) => tuple6._1 == tuple2._2 }) })\n }\n val preHeader3 = CONTEXT.preHeader\n val coll4 = placeholder[Coll[Byte]](1)\n val func5 = {(tuple5: (Coll[Box], Coll[Byte])) =>\n tuple5._1.filter({(box7: Box) => box7.tokens.exists({(tuple9: (Coll[Byte], Long)) => tuple9._1 == tuple5._2 }) })\n }\n val func6 = {(box6: Box) => box6.R4[Coll[Long]].get(0) }\n val func7 = {(box7: Box) => box7.R4[Coll[Long]].get(1) }\n val func8 = {(box8: Box) => box8.R4[Coll[Long]].get(3) }\n val func9 = {(box9: Box) => box9.R4[Coll[Long]].get(2) }\n val func10 = {(box10: Box) => box10.R5[Coll[Box]].get }\n val func11 = {(box11: Box) => box11.R4[Coll[Long]].get(4) }\n val func12 = {(l12: Long) =>\n if (l12 < 128L) { 1 } else {\n if (l12 < 16384L) { 2 } else {\n if (l12 < 2097152L) { 3 } else {\n if (l12 < 268435456L) { 4 } else {\n if (l12 < 34359738368L) { 5 } else {\n if (l12 < 4398046511104L) { 6 } else { if (l12 < 562949953421312L) { 7 } else { if (l12 < 72057594037927936L) { 8 } else { 9 } } }\n }\n }\n }\n }\n }\n }\n val func13 = {(box13: Box) =>\n val coll15 = box13.bytesWithoutRef\n val i16 = func12(box13.value) + box13.propositionBytes.size\n coll15.slice(0, i16).append(coll15.slice(i16 + func12(box13.creationInfo._1.toLong), coll15.size))\n }\n val func14 = {(coll14: Coll[Box]) =>\n coll14.flatMap({(box16: Box) => box16.tokens }).fold(0L, {(tuple16: (Long, (Coll[Byte], Long))) => tuple16._1 + tuple16._2._2 })\n }\n if (getVar[Byte](0.toByte).get == 12.toByte) {\n sigmaProp(\n {(coll15: Coll[Coll[Byte]]) =>\n allOf(\n Coll[Boolean](\n preHeader3.height - SELF.creationInfo._1 > 788400, coll15.forall({(coll17: Coll[Byte]) => !func2((OUTPUTS, coll17)) }), INPUTS.size == 1\n )\n )\n }(Coll[Coll[Byte]](func1(SELF)._1))\n )\n } else {(\n val coll15 = CONTEXT.dataInputs\n val box16 = func5((coll15, coll4))(0)\n val l17 = func9(SELF)\n val bool18 = l17 > 0L\n val coll19 = func10(SELF)\n val i20 = coll19.size\n val i21 = OUTPUTS.size\n val box22 = OUTPUTS(i21 - 1)\n val bool23 = blake2b256(box22.propositionBytes) == {(opt23: Option[Coll[Byte]]) => opt23.get.slice(1, 33) }(\n {(box23: Box) => box23.R4[AvlTree].get }(func5((coll15, placeholder[Coll[Byte]](0)))(0)).getMany(\n Coll[Coll[Byte]](\n Coll[Byte](\n -57.toByte, -59.toByte, 55.toByte, -26.toByte, -58.toByte, 53.toByte, -109.toByte, 14.toByte, -53.toByte, 74.toByte, -50.toByte, -107.toByte, -91.toByte, 73.toByte, 38.toByte, -77.toByte, -85.toByte, 119.toByte, 105.toByte, -115.toByte, -97.toByte, 73.toByte, 34.toByte, -16.toByte, -79.toByte, -59.toByte, -114.toByte, -88.toByte, 113.toByte, 86.toByte, 72.toByte, 59.toByte\n )\n ), getVar[Coll[Byte]](1.toByte).get\n )(0)\n )\n val box24 = if (bool23) { OUTPUTS(i21 - 2) } else { box22 }\n sigmaProp(\n allOf(\n Coll[Boolean](\n allOf(\n Coll[Boolean](\n {(box25: Box) => box25.tokens(0) }(box16)._1 == coll4, {(box25: Box) => box25.R4[Coll[Int]].get(0) }(box16).toLong == func6(SELF), {(\n box25: Box\n ) => box25.R4[Coll[Int]].get(1) }(box16).toLong == func7(SELF)\n )\n ), preHeader3.timestamp >= func8(SELF), if (bool18) {(\n val coll25 = func10(SELF)\n val box26 = OUTPUTS(coll25.size)\n val l27 = func11(SELF)\n allOf(\n Coll[Boolean](\n box26.value == SELF.value, box26.tokens == SELF.tokens, func6(box26) == func6(SELF), func7(box26) == func7(SELF), func9(\n box26\n ) == l17 - 1L, func8(box26) == func8(SELF) + l27, func11(box26) == l27, func10(box26) == coll25, box26.propositionBytes == SELF.propositionBytes\n )\n )\n )} else { !func2((OUTPUTS, func1(SELF)._1)) }, coll19.zip(OUTPUTS.slice(0, i20)).forall(\n {(tuple25: (Box, Box)) => func13(tuple25._1) == func13(tuple25._2) }\n ), i21 == i20 + if (bool18) { 1 } else { 0 } + if (bool23) { 2 } else { 1 }, func14(INPUTS) == func14(OUTPUTS) + if (bool18) { 0L } else {\n 1L\n }, allOf(Coll[Boolean](box24.value <= 5000000L, box24.tokens.size == 0))\n )\n )\n )\n )}\n}",
"address": "7MHZRMK7UZRypzmiFjPN7uLXbcsJuv2QhmKDYxFkmA2c9pnL45LZ4E1x2nAUYqdZTLSc1rSDZnB8T4FkbaEkHWptFUDtW1RGPqRqRyFWRjJerHdBcWianFLYQbpj1nr2DERyH6o3f9JF6B31s9sbhN3vKJffzEahTRNpsEKFrwRmDpfu11Mooyn6k5HKtekawK8iuk4uFyMMKLMj4cXePMN9gPqYu1K6mcnJUin419mpNQ6Ch79yDMsonQ6E8Wwdi6xPs1Uu3uir1W8GQJPxFNR4ppGmmNaRyVd7BBnmfnJTRspxzwCjayi67NqdQWASp76fUjaq8Snc5HATsX3vRQrPbxWon55Q3uCapaTVfYAqVWfT42GJk3refnkdHgmfV7YM1VCQA4gVEC1KuG4KDxpLPgfGZ4R8d1QRSzanLx148t12K8B21YSvHwrazAWXt1pJz5CSJJ4yBaw7Xb1bWpRPrFm2ATMdormR4veAEx7ZY7mf64pakDxjssNrgqBd2dPvcBD6styF1e3rszoNpkvDT56NrXqN6fNqv9xRuv8uszYZAggvzNvKuDkxHA6HHfsygzUrfxXH7bKuBQxEcFaipcwz1wuNWYsG78DWBtqupxLP4tmxHoUiWqVo7JKaT9YgfdXFXViEejcvP79eoWgjuYKTmMRauDuCAVtUdBJA8aYwVgBReMa7LrK8tYghQkFWnKK3wKSJoy5dzHknKaa6aVoz8gyseK5gkucojR74HHZy6jj1R8wQjR6neRm6eQVRvwfKRW6996eV7LqCKcbozjL8WyD8899q7woq86BqpdNW9me4sdrdKi8AuWdD1w2AeT8DM7prAp8oru1NXVk3GbHwJcsisFsaRA5pLvwzMVQZ4HqtukKfo6A6nmRQqnRrjaUnUWR1eapMMNfvQvArd8ReiCX9dMjht1tMT9xqCakQHWNDi17h3K6QwjckQp1DX5Rh6RfLxmEcThu5SMHeDAaWVVkVzAmTKq3rHVCyku7JRhnNzvUh5VMcFJixxYS4q1pfkoh5Ub2GJ8gaqJnpzKpwtvvbR5u9KxdcSpEctoJkitBfQuUxNDQf4CdkVx9haZqkKWi87xZjjK8XjL3P4WtpX9Q9E5YPgUBMGS5PgNsWJUu7QX8WkEaGYjPSDoirBVD5qpUfEstmN2DJiyenfRrM7D2Gjhy45NFj8K7My3RnG4pv9wmonQ4E92i39sKR7k8CRdx4mKrN1FiTbF1kSY3T5jL1EGMY8QzqX1wgPuPRH36NsBypSTXw9Y1BEn8ViTbdvMsQfdeoy5Ae3fCG5gZNf814QojbbezWSbJJW6Y5ZbdfqVHXN4s9SymZk2cFRkdttweUUkAm8oXs3y8eseP7gtHegtDfyhtizuZbqQqK3kMknzwmCP2aFpKxDE9ZSnvEiLaY2csmCYuA74DxyAPpGGHJ4krXZAzFvffkV4fxRaWTdbqsDeoxRHUgT",
"assets": [
{
"tokenId": "000653ab0e7fb89bfa221d75bd25aed8b98e0bac66a13aa229caf5855128d33a",
"index": 0,
"amount": 1,
"name": "Paideia Action",
"decimals": 0,
"type": "EIP-004"
}
],
"additionalRegisters": {
"R4": {
"serializedValue": "110500020080f4f2b1d86400",
"sigmaType": "Coll[SLong]",
"renderedValue": "[0,1,0,1729850400000,0]"
},
"R5": {
"serializedValue": "0c6301c0843d0008cd028ee1019ca83537c95bbfb3d35afac4c16790d3f1597bd75b67e452b4f0d2cb63d1a054011fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad48980ade20400e3dde91ba59a2922c0aaba91df16958ba2084de9c29cec9798d2a3fac29f8a2a00",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "ba4a9e2876b7d9ec32a41304c32750cedf8c424a1e0d6af4aacd7d90cd98bca2",
"value": 1189000000,
"index": 1,
"spendingProof": null,
"outputBlockId": "f132ce71b8f450aa8eeface90c0abdc42e94c54ff657b4ef0beb76237b0126c0",
"outputTransactionId": "cdcd03c775cf73f33d5c396b792708bc93d03e421066ea11ff23df4213b67c45",
"outputIndex": 4,
"outputGlobalIndex": 43413292,
"outputCreatedAt": 1380534,
"outputSettledAt": 1380543,
"ergoTree": "10040e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad4890e40000653ab0e7fb89bfa221d75bd25aed8b98e0bac66a13aa229caf5855128d33a233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d811d601d901013c0c630eb58c720101d901036393cbc272038c720102d602d901023c0c630eb58c720201d9010463aedb63087204d901064d0e938c7206018c720202d603830002d604e3010ed605d901050c63b072050500d9010741639a8c720701c18c720702d6067303d607b472060440048001d6087300d609d9010963e4c672090464d60a7302d60bd9010b3c0c630eb0dc0c0f8c720b0101d9010d63db6308720d0500d9010d414d0ed801d60f8c720d029a8c720d0195938c720f018c720b028c720f020500d60cd9010c32b4e4720c04020442d60d832002025b02cf02f102020225024302660278020c02d50219021202570205020a026e02d3023a02c502d1022e02ef020e02300241023902ed025d0298021f024b02fad60ee4e30002d60fd9010f63b2db6308720f040200d610dc0c1aa402a70400d611d9011105958f72110580020402958f7211058080020404958f721105808080020406958f72110580808080020408958f721105808080808002040a958f72110580808080808002040c958f7211058080808080808002040e958f72110580808080808080800204100412d197830401dad901120295ec93721202039372120204d812d614cbc2a7d615b2da7201018602a57214040000d616db6501fed617b2da720201860272167301040000d618e572047203d619da7201018602a47214d61ada7205017219d61bb2da7202018602a57207040000d61cdc640bda720901b2da7202018602721672080400000283040e8320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c583200202b002b9020702ab02af02ad028d02ff02ce022f029f021d02fa0215023502c0022202dd02a00253026602f402fb02d2027f0258021d0213022f024b022302f683200202b802c3022c020b029e024202cc028602d0023002b20261028e025a020602c002d202eb022b02a00264021f02090206028502b9028502ed02ab02100295026fe5e3020e7203d61ddad9011d32b4e4721d040c044c01b2721c040600d61e7cb4e4b2721c04040004020412d61fda720b0186027219720ad6208301637215d621da720b0186027220720ad622da720b0186027219721dd623da720b0186027220721dd624afb5db63087215d901244d0ed801d6268c722401ed947226720a947226721dd901244d0e928c722402da720b01860272198c722401d625afdc0c0f721901d9012563db63087225d901254d0ed801d6278c722501ec937227720aaedb63087215d901284d0e938c722801722797830201dad9012602959372260203d803d628dc640bda72090172170283040e8320020222025e023f02c502d1028902f5024702d902c6022602be02bd02c602710239028b026c0200027c0278023d02c4027f0290023f022402bf027f02340284027983200202bc024a025a02b902e4025a02b7024b027902fa02ec02bf02670249026c02c202bf028c022b020e025502db02e802ac02cf02c3029d021402890211027402908320020276027c02aa028002b9028e0249026a02d802a902f6028902c40241020a02e402530232027f020f029502e90250028402c002ae0220026302500279023b0277720d7218d6299a9c7cb4e4b2722804000004020412dad9012963b2e4c67229051104040001721b0502d62a93720a721d9683070192c1721599721a7cb4e4b272280406000402041292722199721f9a9a72297cb4e4b272280402000402041295722a721e050095722a0101927223997222721e7224722592da720b018602830163b2b5a5d9012b6393cbc2722bb4e4b2722804040004020442040000720a722993cbc2b2a4040200da720c01b2721c040200010001720edad9012602959372260204d801d628dc640bda72090172170283020e83200202ec02f202d0024b02ae024802a0020a028a026e024902c002560272026302c902f502d2023f022602c80223025802a1027602ab02d102f0022102d802b10230720d72189683070192c1721599721a7cb4e4b272280402000402041292722199721f7cb4e4b27228040000040204129593720a721d010192722372227224722593cbc2b2a4040200da720c01b2721c040000938cda720f01721b028cda720f01b2da7202018602a4720704000002010001720e010001720edad9011202959372120209e6b2dc640bda720901b2da7202018602db6501fe72080400000283010ecbb3831c020269026d022e0270026102690264026502690261022e0263026f026e027402720261026302740273022e0261026302740269026f026e022ec2b2da7202018602a4b4720604000440040000e47204040000010001720edad901120295937212020ad804d614cbc2a7d615da7201018602a47214d616da7201018602a57214d617da72050172159683050192b17215040a93b172160402afdb6308b27216040000d901184d0e93da720b01860272158c7218018c72180290997217da7205017216058092f401927217058092f401010001720edad9011202959372120207dad901143c0e6395927210b1a50100d809d616b2a5721000d617c17216d618c1a7d619c27216d61ac4a7d61bc2a7d61c8cc7a701d61dc47216d61e8cc772160196830401927217997218058092f40193cb7219da720c01b2dc640bda7209018c7214020283010e8c721401e57204720304000093b4721a9a9ada7211017218b1721bda7211017e721c05b1721ab4721d9a9ada7211017217b17219da7211017e721e05b1721d978302019299721e721c0480c33d94721b721901860283200202c702c5023702e602c602350293020e02cb024a02ce029502a50249022602b302ab02770269028d029f0249022202f002b102c5028e02a8027102560248023bb2da7202018602db6501fe7208040000010001720e",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n1: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n2: Coll(31,-42,-32,50,-24,71,108,74,-91,76,24,-63,-93,8,-36,-24,57,64,-24,-12,-94,-113,87,100,64,81,62,-41,50,106,-44,-119)\n3: Coll(0,6,83,-85,14,127,-72,-101,-6,34,29,117,-67,37,-82,-40,-71,-114,11,-84,102,-95,58,-94,41,-54,-11,-123,81,40,-45,58,35,53,54,38,26,-40,-110,11,-123,100,77,48,-1,-8,-26,-116,71,4,112,19,-119,80,49,122,-43,32,-77,0,-24,-63,-27,115)",
"ergoTreeScript": "{\n val func1 = {(tuple1: (Coll[Box], Coll[Byte])) => tuple1._1.filter({(box3: Box) => blake2b256(box3.propositionBytes) == tuple1._2 }) }\n val func2 = {(tuple2: (Coll[Box], Coll[Byte])) =>\n tuple2._1.filter({(box4: Box) => box4.tokens.exists({(tuple6: (Coll[Byte], Long)) => tuple6._1 == tuple2._2 }) })\n }\n val coll3 = Coll[Byte]()\n val opt4 = getVar[Coll[Byte]](1.toByte)\n val func5 = {(coll5: Coll[Box]) => coll5.fold(0L, {(tuple7: (Long, Box)) => tuple7._1 + tuple7._2.value }) }\n val coll6 = placeholder[Coll[Byte]](3)\n val coll7 = coll6.slice(32, 64)\n val coll8 = placeholder[Coll[Byte]](0)\n val func9 = {(box9: Box) => box9.R4[AvlTree].get }\n val coll10 = placeholder[Coll[Byte]](2)\n val func11 = {(tuple11: (Coll[Box], Coll[Byte])) => tuple11._1.flatMap({(box13: Box) => box13.tokens }).fold(0L, {(tuple13: (Long, (Coll[Byte], Long))) =>\n val tuple15 = tuple13._2\n tuple13._1 + if (tuple15._1 == tuple11._2) { tuple15._2 } else { 0L }\n }) }\n val func12 = {(opt12: Option[Coll[Byte]]) => opt12.get.slice(1, 33) }\n val coll13 = Coll[Byte](\n 91.toByte, -49.toByte, -15.toByte, 2.toByte, 37.toByte, 67.toByte, 102.toByte, 120.toByte, 12.toByte, -43.toByte, 25.toByte, 18.toByte, 87.toByte, 5.toByte, 10.toByte, 110.toByte, -45.toByte, 58.toByte, -59.toByte, -47.toByte, 46.toByte, -17.toByte, 14.toByte, 48.toByte, 65.toByte, 57.toByte, -19.toByte, 93.toByte, -104.toByte, 31.toByte, 75.toByte, -6.toByte\n )\n val b14 = getVar[Byte](0.toByte).get\n val func15 = {(box15: Box) => box15.tokens(1) }\n val i16 = INPUTS.indexOf(SELF, 0)\n val func17 = {(l17: Long) =>\n if (l17 < 128L) { 1 } else {\n if (l17 < 16384L) { 2 } else {\n if (l17 < 2097152L) { 3 } else {\n if (l17 < 268435456L) { 4 } else {\n if (l17 < 34359738368L) { 5 } else {\n if (l17 < 4398046511104L) { 6 } else { if (l17 < 562949953421312L) { 7 } else { if (l17 < 72057594037927936L) { 8 } else { 9 } } }\n }\n }\n }\n }\n }\n }\n sigmaProp(anyOf(Coll[Boolean]({(b18: Byte) => if ((b18 == 3.toByte) || (b18 == 4.toByte)) {(\n val coll20 = blake2b256(SELF.propositionBytes)\n val box21 = func1((OUTPUTS, coll20))(0)\n val coll22 = CONTEXT.dataInputs\n val box23 = func2((coll22, placeholder[Coll[Byte]](1)))(0)\n val coll24 = opt4.getOrElse(coll3)\n val coll25 = func1((INPUTS, coll20))\n val l26 = func5(coll25)\n val box27 = func2((OUTPUTS, coll7))(0)\n val coll28 = func9(func2((coll22, coll8))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-119.toByte, 46.toByte, 111.toByte, 71.toByte, -95.toByte, 13.toByte, 92.toByte, -112.toByte, -72.toByte, 122.toByte, -44.toByte, -122.toByte, 51.toByte, 85.toByte, -50.toByte, -83.toByte, 0.toByte, -61.toByte, -30.toByte, -104.toByte, 50.toByte, 23.toByte, -18.toByte, 21.toByte, 83.toByte, 50.toByte, 83.toByte, -51.toByte, -102.toByte, 96.toByte, 37.toByte, -62.toByte), Coll[Byte](79.toByte, -40.toByte, -80.toByte, -42.toByte, -39.toByte, -126.toByte, 66.toByte, 114.toByte, 111.toByte, 87.toByte, -77.toByte, -33.toByte, -90.toByte, -122.toByte, 18.toByte, 103.toByte, -110.toByte, -72.toByte, -27.toByte, 5.toByte, 110.toByte, 29.toByte, 81.toByte, -74.toByte, -23.toByte, 13.toByte, 104.toByte, -128.toByte, -49.toByte, 45.toByte, -51.toByte, -59.toByte), Coll[Byte](-80.toByte, -71.toByte, 7.toByte, -85.toByte, -81.toByte, -83.toByte, -115.toByte, -1.toByte, -50.toByte, 47.toByte, -97.toByte, 29.toByte, -6.toByte, 21.toByte, 53.toByte, -64.toByte, 34.toByte, -35.toByte, -96.toByte, 83.toByte, 102.toByte, -12.toByte, -5.toByte, -46.toByte, 127.toByte, 88.toByte, 29.toByte, 19.toByte, 47.toByte, 75.toByte, 35.toByte, -10.toByte), Coll[Byte](-72.toByte, -61.toByte, 44.toByte, 11.toByte, -98.toByte, 66.toByte, -52.toByte, -122.toByte, -48.toByte, 48.toByte, -78.toByte, 97.toByte, -114.toByte, 90.toByte, 6.toByte, -64.toByte, -46.toByte, -21.toByte, 43.toByte, -96.toByte, 100.toByte, 31.toByte, 9.toByte, 6.toByte, -123.toByte, -71.toByte, -123.toByte, -19.toByte, -85.toByte, 16.toByte, -107.toByte, 111.toByte)), getVar[Coll[Byte]](2.toByte).getOrElse(coll3))\n val coll29 = {(opt29: Option[Coll[Byte]]) => opt29.get.slice(6, 38) }(coll28(3))\n val l30 = byteArrayToLong(coll28(2).get.slice(1, 9))\n val l31 = func11((coll25, coll10))\n val coll32 = Coll[Box](box21)\n val l33 = func11((coll32, coll10))\n val l34 = func11((coll25, coll29))\n val l35 = func11((coll32, coll29))\n val bool36 = box21.tokens.filter({(tuple36: (Coll[Byte], Long)) =>\n val coll38 = tuple36._1\n (coll38 != coll10) && (coll38 != coll29)\n }).forall({(tuple36: (Coll[Byte], Long)) => tuple36._2 >= func11((coll25, tuple36._1)) })\n val bool37 = coll25.flatMap({(box37: Box) => box37.tokens }).forall({(tuple37: (Coll[Byte], Long)) =>\n val coll39 = tuple37._1\n (coll39 == coll10) || box21.tokens.exists({(tuple40: (Coll[Byte], Long)) => tuple40._1 == coll39 })\n })\n anyOf(Coll[Boolean]({(b38: Byte) => if (b38 == 3.toByte) {(\n val coll40 = func9(box23).getMany(Coll[Coll[Byte]](Coll[Byte](34.toByte, 94.toByte, 63.toByte, -59.toByte, -47.toByte, -119.toByte, -11.toByte, 71.toByte, -39.toByte, -58.toByte, 38.toByte, -66.toByte, -67.toByte, -58.toByte, 113.toByte, 57.toByte, -117.toByte, 108.toByte, 0.toByte, 124.toByte, 120.toByte, 61.toByte, -60.toByte, 127.toByte, -112.toByte, 63.toByte, 36.toByte, -65.toByte, 127.toByte, 52.toByte, -124.toByte, 121.toByte), Coll[Byte](-68.toByte, 74.toByte, 90.toByte, -71.toByte, -28.toByte, 90.toByte, -73.toByte, 75.toByte, 121.toByte, -6.toByte, -20.toByte, -65.toByte, 103.toByte, 73.toByte, 108.toByte, -62.toByte, -65.toByte, -116.toByte, 43.toByte, 14.toByte, 85.toByte, -37.toByte, -24.toByte, -84.toByte, -49.toByte, -61.toByte, -99.toByte, 20.toByte, -119.toByte, 17.toByte, 116.toByte, -112.toByte), Coll[Byte](118.toByte, 124.toByte, -86.toByte, -128.toByte, -71.toByte, -114.toByte, 73.toByte, 106.toByte, -40.toByte, -87.toByte, -10.toByte, -119.toByte, -60.toByte, 65.toByte, 10.toByte, -28.toByte, 83.toByte, 50.toByte, 127.toByte, 15.toByte, -107.toByte, -23.toByte, 80.toByte, -124.toByte, -64.toByte, -82.toByte, 32.toByte, 99.toByte, 80.toByte, 121.toByte, 59.toByte, 119.toByte), coll13), coll24)\n val l41 = byteArrayToLong(coll40(0).get.slice(1, 9)) * {(box41: Box) => box41.R5[Coll[Long]].get(2) }(box27) + 1L\n val bool42 = coll10 == coll29\n allOf(Coll[Boolean](box21.value >= l26 - byteArrayToLong(coll40(3).get.slice(1, 9)), l33 >= l31 - l41 + byteArrayToLong(coll40(1).get.slice(1, 9)) + if (bool42) { l30 } else { 0L }, if (bool42) { true } else { l35 >= l34 - l30 }, bool36, bool37, func11((Coll[Box](OUTPUTS.filter({(box43: Box) => blake2b256(box43.propositionBytes) == coll40(2).get.slice(1, 33) })(0)), coll10)) >= l41, blake2b256(INPUTS(1).propositionBytes) == func12(coll28(1))))\n )} else { false } }(b14), {(b38: Byte) => if (b38 == 4.toByte) {(\n val coll40 = func9(box23).getMany(Coll[Coll[Byte]](Coll[Byte](-20.toByte, -14.toByte, -48.toByte, 75.toByte, -82.toByte, 72.toByte, -96.toByte, 10.toByte, -118.toByte, 110.toByte, 73.toByte, -64.toByte, 86.toByte, 114.toByte, 99.toByte, -55.toByte, -11.toByte, -46.toByte, 63.toByte, 38.toByte, -56.toByte, 35.toByte, 88.toByte, -95.toByte, 118.toByte, -85.toByte, -47.toByte, -16.toByte, 33.toByte, -40.toByte, -79.toByte, 48.toByte), coll13), coll24)\n allOf(Coll[Boolean](box21.value >= l26 - byteArrayToLong(coll40(1).get.slice(1, 9)), l33 >= l31 - byteArrayToLong(coll40(0).get.slice(1, 9)), if (coll10 == coll29) { true } else { l35 >= l34 }, bool36, bool37, blake2b256(INPUTS(1).propositionBytes) == func12(coll28(0)), func15(box27)._2 == func15(func2((INPUTS, coll7))(0))._2))\n )} else { false } }(b14)))\n )} else { false } }(b14), {(b18: Byte) => if (b18 == 9.toByte) { func9(func2((CONTEXT.dataInputs, coll8))(0)).getMany(Coll[Coll[Byte]](blake2b256(Coll[Byte](105.toByte, 109.toByte, 46.toByte, 112.toByte, 97.toByte, 105.toByte, 100.toByte, 101.toByte, 105.toByte, 97.toByte, 46.toByte, 99.toByte, 111.toByte, 110.toByte, 116.toByte, 114.toByte, 97.toByte, 99.toByte, 116.toByte, 115.toByte, 46.toByte, 97.toByte, 99.toByte, 116.toByte, 105.toByte, 111.toByte, 110.toByte, 46.toByte).append(func2((INPUTS, coll6.slice(0, 32)))(0).propositionBytes))), opt4.get)(0).isDefined } else { false } }(b14), {(b18: Byte) => if (b18 == 10.toByte) {(\n val coll20 = blake2b256(SELF.propositionBytes)\n val coll21 = func1((INPUTS, coll20))\n val coll22 = func1((OUTPUTS, coll20))\n val l23 = func5(coll21)\n allOf(Coll[Boolean](coll21.size >= 5, coll22.size == 1, coll22(0).tokens.forall({(tuple24: (Coll[Byte], Long)) => func11((coll21, tuple24._1)) == tuple24._2 }), l23 - func5(coll22) <= 2000000L, l23 >= 2000000L))\n )} else { false } }(b14), {(b18: Byte) => if (b18 == 7.toByte) { {(tuple20: (Coll[Byte], Box)) => if (i16 >= OUTPUTS.size) { false } else {(\n val box22 = OUTPUTS(i16)\n val l23 = box22.value\n val l24 = SELF.value\n val coll25 = box22.propositionBytes\n val coll26 = SELF.bytesWithoutRef\n val coll27 = SELF.propositionBytes\n val i28 = SELF.creationInfo._1\n val coll29 = box22.bytesWithoutRef\n val i30 = box22.creationInfo._1\n allOf(Coll[Boolean](l23 >= l24 - 2000000L, blake2b256(coll25) == func12(func9(tuple20._2).getMany(Coll[Coll[Byte]](tuple20._1), opt4.getOrElse(coll3))(0)), coll26.slice(func17(l24) + coll27.size + func17(i28.toLong), coll26.size) == coll29.slice(func17(l23) + coll25.size + func17(i30.toLong), coll29.size), anyOf(Coll[Boolean](i30 - i28 >= 504000, coll27 != coll25))))\n )} }((Coll[Byte](-57.toByte, -59.toByte, 55.toByte, -26.toByte, -58.toByte, 53.toByte, -109.toByte, 14.toByte, -53.toByte, 74.toByte, -50.toByte, -107.toByte, -91.toByte, 73.toByte, 38.toByte, -77.toByte, -85.toByte, 119.toByte, 105.toByte, -115.toByte, -97.toByte, 73.toByte, 34.toByte, -16.toByte, -79.toByte, -59.toByte, -114.toByte, -88.toByte, 113.toByte, 86.toByte, 72.toByte, 59.toByte), func2((CONTEXT.dataInputs, coll8))(0))) } else { false } }(b14))))\n}",
"address": "guXrqVUozVvKJDd35QAC9e9D5okdcBLu4mrbTPU1my2vNZbTGemsYHeE2MWcL7W9dSvAqXikSgwus2rM6BjC1jvEBMoewT3siatBE2qZZp7NUjGytM3wr62C6NhvQMoewg2Kb9AERUuWca6BZb6WS2CiJE55K2QMn5ZTKxPq75uRLkQkaas31rYNjRvRuSVdCw3uoLHhUmpzLzVmaunHZMdJF7YaHZHb6A7ypBj8LDkQtbsS5yXE9YjhJZda4xdFXSNLQqtxTpCj8iMkSM3vemo4C2mdPuufGo8cWBtcVhe44aZeYE78KisySXFwtb6D5hBoNoUJBmEb37YL9kuCgZTinht3dUzVW24e3h82dqammfPYwEWJtpVimX3AFLcLJGvX4XhvCLKECZDaAUArCjruRtBw6eCrMWMhBYXBgvDFAmprzyn1U1SGgxWrFVyVShmfzC8qBKySaT17UCNf9hHt43NQYRDo8JQSYykqtzS4AqSV6ZDjTMRHnQQCCGafMT78iV3xPGrL9Fmpc5V5waH5rE7sbvQaqivXmVitTtCkQZJKaz8hrMUARkbJvza7NtuQfLgoUGZh6DyFGJ5VbTiVqhUadjX2EtNHRZnVFj2r9AXi3xYJdjzuQfUod3KZQ9dwEs1BcP5E8kUe2wF8o2Hrfi1LVAtXhnu4acNeyW8bMmVQH4RxfpgbLoe7YiqR7XHCHm3UMbQ8nSgGrwTpjTtFb4GTAgGXAjbsJpfSm5HyRr9omuKRZoy1v35KPnHHMWSa1794rh9NW4Yt8rdZijzvzaMypVTNNgcY22RpzwWRhP3CqHEtA2aqVUxrvVDGZgmLjGjGRucCyTsMNFJYHXpKvgq1su4rgeYk8ucxJPpCYCFdA4wA2rdt7DNSGEbykcd9wUvyqx1pAGc7BAkwLwmVJia1xWY685VwGzrA9AwHGBqsmRff9BmhoLKnsc6QLseGpyoNAa3iqfqzK3v86awDkBYEzc19MLdxyjokXxSi7bbAShqfMUEY4cF36BWDFmNG8SQszXFWZU2rz6WAxjQz2PGQuVLN4A6i6fQv7jUdiWzKH3H1cdNMdpoXYrHDriChAXY9r1XMpe8ySUPNHvVKr76K37C1RdNfYVPq4vmYacQNMfdJx4HQJppygNZUZAQB1rQqCVt2ASEoacrrhGVBa1ZHDJ3h6KYM16TE6KTWaQU2wCbgxobHeyvCLB8NhSWYU3QKQuNb8YQcm2mcoQycRWqcfrQhnwoovWM8veeFjT9aUTnAX5RKNpRi9qxgM8AxtAoHzMgSujeyKddVKKutZ3ZNQ21eBu3kfSm5AeiPUZnDFsoZAVZydhThofFvkgWiMHaDqgRz9sPw4pQuuix5Q4VaqM1C3vBuMxh8UHgBBbrvYFfaRo3vyrCXFA52bUqwKW9R4dYMQ3oQxdEr53UtbvVjmSNbsd7nYWNn3itfS7nvsYCWhFXfP4djkXMspsy8V23bYtM4Awrtc5HsTr1PAGi2RFnmqHnjvMFnwbFygrEhXtmWmzfwAE2jAmsqpAGMZxD54Ra9c6dTtxp436XDErDgYaerW1GqyMPikWBeLGwxn8bNzKKz7EmhbRzzzHcQwDXJDVnWNZBzVfNDsdbnLUB5KL2JtHqq2NaD8VjFV6UfVi5UkpR9n3vnhjLeqPdA4aaZTHchmQa1sJ4JZCg1MA9jfq7vaYigo6CS1nQM2Rw7HzXzxY28S1SF6E1zxJHkGhwvPCFt3Hrvgb2sMgSEs28dV5xSuVhgqEUk1kvn6iYcpiZDioFxLUxK8Ap72typxEGwSWMKCjfJ2TjFwv8A8wCsAwAP7GSgjQjXnaXZu7RPR73yDrsJZkJ751uXQ3huU75HJk47mUTm1uZBYGHh1vBkQksQZ68HZo1pUphvnKTSXSyCL5qZdybpDVmGGPWTeqivQjSkSaLFAjmSqZYmJQNjgmqm8a5MYg6Rg1QKJ5Q6P1931KpxUjPqvEU8rASthoBeKLXgkPLfXK3GDZf2rBstPavJNuhuKeS5ptoNLMFYHQnpUS8ywTa96iQogy99W6nsM73qEdzjpARhr4Vf5cqDFPuADw1yC4WbCixDJHkP3LC22hzttfJnPfnvm4szVvPs3AcpTk1sLUAunmFbKQ766xQWiWfuXLcCxZH7iqne6WphY5bjF9zpmGD199cP7wUyyNsXaJnNzp6bku6Q2ojB3R4YqDiSfa5hNw5tt4WfNYkj3vjyxPK2of944dZnoecYuQ3GfiTyoNggRuv6ushr349cFaayUbZ1ri9JyjaUUNFBseNNgGNGDxb2Nr7SddnG9PWyvnG9bFt7ddjbhrxSsXYW1jiHXW3WSDy2bkB7GbZ443Yqe7kUPUhzfPPwiPEif3cf6qYdMvR6bJp8t4jzicd3oikUnbwbW5kYN4s75KdWcBEGaCWjakMHmRFKijLmvQBT2cDEi83BWTkdjFkwdg2L3ax7Pgk15qxFQmQA5W4nvLBBcUL3b3iQNxDtdDcQmKQnnrTs4ApE4mEBVsF3nxXdUTcC5Vib1MoY1kxPV34AtPB36zKHj7zAyoqmMtF35rvB1FtRBPekNnsjzdB1S3atuUTWbYWbzcdMqBxGh6nnmQFRw4zpekXyyoBmcmvCp4szqKKdoDirgDkFGEdq87sxfRfaWze5VSQTtnadQ5ndyXMX3AcxvneHVFf85y33Kw5gi9jkvFJV2rauEfVjNr8PJxcEuQPD9ftwFe1upjbkL5NywpYrAo97DtCR6mMi9bWJWRam6W4GsEnLTsuV1YUKMJeDpVSmEjBgp22onmoWituc4TiZucyDJQNsTWsXT9EjsP7MKmH5hP69vypj7WxfGgjdgjziD9cTaiNHkpkQKnBB8KhGEhaX7dHMCXU7Cg4Fs7ZDgacSnLD4An9nm82LFkftNJ9y6HwnDpPxvm9fL2f12uVjtabRMRcxxSSfNsenvcHDRPYWNhAE8DdtX1VNfjdvqE9sCJPxqfwYNUTbxmKbpmgvtAn1TSMFVU63cLGn5o54S3fFmCbs7gq77ZYy9G7aB49BHNUDTWTxiaWw4UpEHhrRot3og84BV7r7XBEekRCf7dTy2DkRzyVkFaYfZ7Zzcf38QJ8CWbNRUws5UmYWEu8vWvmgmNbweKHiVAmQdwYbiDoL7DRcTt1gTy2J3q5YCorPauYhbdJfWizrHNxtiqhgj31FgPNBmrksBSgciHwsiaMJq51beLGd249XUZDWRTYnJp1ghRtYTMQ1",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 746009799,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {}
}
],
"dataInputs": [
{
"boxId": "b297fbbe89628e4b6328755bf44c7c5f6d8d81f20eb64fe77abaebd49e807774",
"value": 1000000000,
"index": 0,
"outputBlockId": "7246ba23010e55e32c742c7ed45681c7493eca8d3c8f68c12533a90d016fdf7d",
"outputTransactionId": "6c7f01aa85a461d3c0b7c9c4bb1cfd606c059cd159b25ce06a09c2592f56382b",
"outputIndex": 2,
"ergoTree": "10010e20000653ab0e7fb89bfa221d75bd25aed8b98e0bac66a13aa229caf5855128d33ad808d601d901013c0c630eb58c720101d9010363aedb63087203d901054d0e938c7205018c720102d602d9010263e4c672020464d60383200202a90255028e0241028602cb02d502aa0257022302a8025202d402c102dc0265027d029e02810243028202ff0288028d025a028a02ec0252021502310230021dd604e3010ed605d9010532b4e4720504020442d606e4e30002d607dc0c1aa402a70400d608d9010805958f72080580020402958f7208058080020404958f720805808080020406958f72080580808080020408958f720805808080808002040a958f72080580808080808002040c958f7208058080808080808002040e958f72080580808080808080800204100412d197830201dad9010902959372090208d802d60bb2da7201018602a5dad9010b638cb2db6308720b0400000101a7040000d60cdc640bda720201720b0283020e7203cbb3831c020269026d022e0270026102690264026502690261022e0263026f026e027402720261026302740273022e0261026302740269026f026e022ec2b2da7201018602a47300040000e472049683040193db6308a7db6308720b90c1a7c1720b93cbc2720bda720501b2720c040000e6b2720c0402000100017206ed9372060207dad901093c0e6395927207b1a50100d809d60bb2a5720700d60cc1720bd60dc1a7d60ec2720bd60fc4a7d610c2a7d6118cc7a701d612c4720bd6138cc7720b019683040192720c99720d058092f40193cb720eda720501b2dc640bda7202018c7209020283010e8c720901e5720483000204000093b4720f9a9ada720801720db17210da7208017e721105b1720fb472129a9ada720801720cb1720eda7208017e721305b17212978302019299721372110480c33d947210720e0186027203a7",
"address": "GcZsF8aUAtTocXk59PirRHW3rrM557qMPUguPw1GhqmP3juthaW1A2348h7AQnudG94j2pWu7HrEQJW4HxXsnjj1drFaAse32XWZzyBg8gU9dkaWM49PVoH4sS8DNV69EhpjMt3oZnvnbAMTYNpKCZuW2EdTqpff5qF8ThXZoACGssncq87LSko8Q4v4TFXszK8ZTmeZbxEiz3Df1Y3R34hvi5vqGLGDzERpmQDMqLiWDscz33bzckF7ykkYnBXJACgBU2kPbc1rgqXSSTccb51B3pKDykiP2Y9KaRSp692RWzDwx2QSWc8VJPobs7pGvyKEKHBVXEGGNXeysxHZAP111TZsoUn7QbRH5XpCDQte5oppcPyCDDS5K6T1CEXRPXiTu5hXcyu1fPwht12FCcooCPMQvkp4D7FJzpZU8VaDcztVARN9rzaMBYWPrxVm4oeYtZo1DbsxciaHW9DasVjqTvRzNMz5BdCbXQmGRmkCW9PfmMrxqC24mpBsymh18fbFJtTGPnjXxDkLTrVcYEU5G3fEKfVn1f4JMK4dzBLHRbou19nsVpdo49TKW1RFfob1fHCrhcSjuXfbp7XVvrcN5xGMVHg3UiMWpBEh2evgwLQR7wfwy4Dim4hU8uFfxAxRiivWBgeokvgGYjQ4TL7f8ZZCzss1J6hDk3mWpcboBYtWbXtARguo2cBEcVQhrQM65LcEKCLhH8kL29WkHwNnmtvVL7sQ3CCbi2tCEsceU48VH7W4dDHZj626YALMbLxPQk8Gyw5KcXvYRYfHBNUE6GUq7coDJQrVtMFfiiuoNsoE5PjKEACQkTyADN7JyD7Lu11Lw277KqfNqWMP3fiuagCdCStQj3fMQWin1TFyxCVGMY5q69HkHKzB24tqDG5ddPq7eMACRbQJ7SWar5YnhBn2qbDMXJYf1vv7UUhxcQmG9aH",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "641375a5d0ed0e759d91187d3743d18db0c8298099cefabeb65d23a199de933bea07072000",
"sigmaType": null,
"renderedValue": null
}
}
},
{
"boxId": "824029a6875ed6d4d1476e5a4e9958fa79c2a10907db73e22e81c84d9219fff8",
"value": 2000000,
"index": 1,
"outputBlockId": "825b555cc6a36a216c49913433be4bc3ccd11d09170dc9233624fad01962afc8",
"outputTransactionId": "3fa0531eee739e60a82ae92bb3ba6887336c6fb14e548b88108388f0bcb8be7c",
"outputIndex": 0,
"ergoTree": "10040e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad4890e20233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d815d601d9010163b2db63087201040000d602d901023c0c630eae8c720201d9010463aedb63087204d901064d0e938c7206018c720202d603db6503fed604e4e30002d605d9010563d801d607e4c672050511b472070404b17207d606e30a4005d607860204030500d6087207d609e572067208d60a8c720901d60b8c720902d60cd9010c3c0c630eb58c720c01d9010e6393cbc2720e8c720c02d60dd9010d63b2e4c6720d0410040000d60ed9010e63b2e4c6720e0511040200d60fd9010f63e4c6720f0664d610d9011063b2e4c672100410040200d6117303d612d901123c0c630eb58c721201d9011463aedb63087214d901164d0e938c7216018c721202d613d9011363e4c672130464d614d901143c324159d805d6168c721402d6178c721601d6188c721602d6198c721801d61a8c721802e5dc24078c72140101d9011b0e9593b1721b0412d801d61d7cb4721b04020412958f721d721772179591721d72197219721d721a721ad615d9011563b2e4c672150511040000d197830301dad901160295937216020cdad901181a968303019199db690572038cc7a70104e09e60af7218d9011a0eefda7202018602a5721a93b1a404020183010e8cda720101a7010100017204dad901160295937216020dd80fd618da720501a7d619c2a7d61ab2da720c018602a5cb7219040000d61bc1721ad61cda720e01a7d61ddb6501fed61e830002d61fdc640bda721301b2da7212018602721d73000400000283020e83200202f602ff028b0272021002010255024502d402b302ac025f02c6020c02900280029202d0023502a102a10261025502c0022902e802d502110262027c027a022c83200202af0278025b020a02dd0280025c025c023102f102cc023a023e029602c80290020802fd0271022702320201020702a30278024b027f024902e9025602480242e5e3010e721ed62086020502860205ce0f05e807d6217206d6227207d6237208d6247209d625dc640bda721301b2da7212018602721d73010400000283020e83200202f50291028e02b402b00228023c0266029b02dd028a0219025602400276026c021902e4020a0269023a0266029702b7027502b0028e020902050225022302d48320020276027c02aa028002b9028e0249026a02d802a902f6028902c40241020a02e402530232027f020f029502e90250028402c002ae0220026302500279023b0277e5e3020e721ed626b2da720c018602a5dad9012632b4e472260402044201b2722504020004000096830501ededafdb0c0e7218d901270495937227720a93b27218722700720b90b27218722700720b91b17218720a92720a04009683090193c2721a721992721b99c1a705809bee0292721b058092f40193da720101721ada720101a793da720d01721ada720d01a793da720e01721a721c93da720501721a721893da720f01721ada720f01a793da721001721a95ed92721c9d9cdad9012763b2e4c67227051104020001b2da7212018602721d7211040000da7214018602b2721f040000722005d00fd801d627720b9272279d9c721cda7214018602b2721f040200722005d00f720a040391db69037203da721501a79683020192c172260580897a92dad901273c0c630eb0dc0c0f8c72270101d9012963db630872290500d90129414d0ed801d62b8c7229029a8c72290195938c722b018c7227028c722b02050001860283016372267302a18cb2db6308a7040200027cb4e4b272250400000402041293da721001a704010100017204dad9011602959372160206d80ed618e4e3011ad619b27218040800d61ab27218040600d61badb4db0c0e721a04009db1721a0410d9011b047cb4721a9c721b04109c9a721b04020410d61cb0721b0500d9011c599a8c721c018c721c02d61dc2a7d61eb2da720c018602a5cb721d040000d61fda721501a7d620da720f01a7d621dc640a7220027219b27218040000d622e67221d623b27218040200d624da720501a7d625da720501721e96830c01927cb4e4dc640adad9012663b2e4c67226040c6404000001b2da7212018602a47211040000027219b2721804040004100420721c93c2721e721d92c1721ec1a793db6308721edb6308a793da720d01721eda720d01a793da721001721eda721001a793da721501721e721f93db6401da720f01721edb6401957222e4dc640d72200283013c0e0e86027219721a7223e4dc640c72200283013c0e0e86027219721a72238fdb69037203721f957222d802d626e47221d627adb4db0c0e722604009db172260410d90127047cb472269c722704109c9a7227040204109683020193da720e01721e9a99da720e01a7b072270500d90128599a8c7228018c722802721c937225addc0c1d722401addc0c1d722701721bd9012859998c7228028c722801d90128599a8c7228018c7228029683020193da720e01721e9ada720e01a7721c937225addc0c1d722401721bd90126599a8c7226018c722602da7202018602a4721994722572240100017204",
"address": "2HqXK75LWJi4a6zrWvbAjerDDCUTyJytCCvSuUcmNKMHJTcajkCFS4iwH5rEmuBsm6ZsFRkrQ8vxhz9X4WFCYAPGRhGFcC2bHg5LAsu4y3Xw4ThRobBXGf2yiQC7QK3DJ4MtCDF37jiAzPAh7GC7WLSSXPtU66SPsEx2Cu76rcDJnioQ2YEt2hG4KW8WDNUCmk2HoyyRus5tsP4GakNooE1EjsvKpU94uS63SEKbdGprXEuC2wkBcoUweS3w6gUEQPsqqZdtYYiy7qgXAymNhZf7V99dCtX81CyQmuuHru4RGbWu4N2Wbgn5PBXcXz6VgyEM3oHGK1demSQFqTiGajYv2Ri6FGivHmtG8znXfdftair1Ci3shGGMCozHZ43UUPtsswXG6jhaGVdn854cUTmU3RmFPEsiFBXa4SoKeZ7Tw8LghyFPcbYezrnoshh1nkTxsyJhWZSeaTvLbaixLzKCgtgcPWqkCQkKRXpB8U2JCFGJPrLcHGhLVwGRuE3pM3Vq2D5zPrUVGZmYhn7zLHNqcDZ8A4XtgPvEz9eE5uRfbvRgpJ7PbGZscRstgDTw6cg5kQadMFsbMvHRVNi2bP9JGi8n6crewMw98VCPeVexBWjza8Gy555RwGAD84hQbLHKroanuoR7ayWi2eaqVpFtqzRq6g6HviK9pJEomLfpNuhX9L8hEQJXd8Qxo4gRxiZD8QHjhriZqHSwgXv2QFXo7nDvEvZh3Y1s888YQcr6chJRYrayzKEXTnHTbC2zMHeuQo25QJxpatNym3HmFy5ShKu1pWpzLb2uQ1x6CyuhZDx4vWofFbGimzqKVsuAE388QHDJGwsdnNRnKVoAc27uk63CozbhTqx2pcr5K4dLEkUKt9GRdiFLZvZQJ9YUVscicv6u2sZa2gopxEEMVtVLETsmquzySQY6Aea6UstgNVVudFExvpsuP2djc9XkAavJ7mZKwbdH3HW6rmKfgfNbGb3uosdCrdgkB7sfjPeoGoPqM2uCnofxpZeDBcPXzWKimELRHt6r6qtMMMoCFSTCrKzMQo5ZMhoYy4XTWasa1HiqcyXyW3g9TqxenDGUyWMYvR3E1Nn8qQDMbD6xE9bNUxzJ8aPbsLmQBaw9Xj6G8yW1WSRqDz8fBVTJF63gbfwPjYPAHZtFhgJVks2zRgBq3KihNWmsQQjoW8zDXzxdS5LbYeKnifHKVaUqPLxs99eMN2dL9r4ZUcYX8cUz2iAgamEAJ7xhJFECkqwr8tH8rDxXSE2jehuV6aKfwCsVZjFGKsxbV4snhybn96Pksz71cApFH48gMXUzQAhkdrs9GFiKCxAFzEMvj7VJ13s4S62w1dKo6bPCHvyXXPtUHatfJJZ3BpBUgHUE6QZm9mxphAdPGdkKNYbu958FYBEmuriJmtH8w6bLfcPD6XreREcmZYLANmt8YWnsBo7gv7wvKJtFfqq32tMouW2waKPTqbYeiMSWTW1mRkJPjF78YyeGLM9FVBJTKMvpNtsR3F2aT61BYWhYsFkmWNGtJjS8dvXK5G3pTwv8H2MHeiYwDSVYfgzrijfZe6jLWvTRKgBQqcvYmCEMRPfuS3T17MjFwdqr6du8ndSVzWTnVde1M3xmVR52MP6GnkPnUahyawoYesMpfdUH3zaS5NU7cuT6fZmXY7ggauq8HrYWyWdUFQCo9LioLJxSUCZYmXXZtZkUKRt8ussHvFCnSyXAzE2a5oc8B6omPse6G1okTHkA6djDUBPpFoPF3mDWTokMxNUABJF8ktn5WU1zVga1UvHQrpnBVLfT7fHPqCt9ZNCAwbT79tT9cL3NW9mZNnoSZxu7YcdbdK4nHzKGHXhQTXpVqFmc7mZQT2bWhsDV6SpYM1bhrpE918f2j5smfRUtm5YSjgM7Bub14EG1HRPXE9JGVYjBo4CB1KCBArQH5Z97rnbVumuH5A2w5hpQHQ45iJsxUYFcQ2TW1ThkxSQPTsdvqEEkz5ri4U63yXbf82epyGptBuumPbY59xXJs94FeVMKqCkoEGxWmjXocQqTEKAQeMcKAVfEz4v1NPN21mNa4HA8CjHgNAw6FqAqv2YPWy8mdDCU1QJk6e357aJioA6o5bgGA7ZAPyRLUmyg77rXSvuti9s55pg6MVKvCxDouj5VLz8MywJUcjqFB5idaPgjRwRRos2RNiChrUdtiDSPKD9CLXjWVB8dYoFWeGrtPRbo9A2mmMHNbeL4ViiWD8GFc7CBgCESaKXwp4z6EGiSLirHoBKfBT9q1TyL9KnzNGnPAMoFDab4ouqErGoy9fuSYjBUo1chnWsF4zuzKDZgyngfUVz1oot3VVTvx44GNCJuH7VcaDqgZWjAye4q2uSPDS8mzvxU3QfFKYX3TxtsUHDiGXqkTqstDCiwXwk9MjgGMkcqq28siTaH18Bb1XXYZ2rWn29Yjeguk9TKotmjQmYyAgo85NHYn1T6JWq2nRUSc1T3hHNmXef8VA6BQDYdQMdE6tDWhqQ4JkMY4rKEbL8LnAkcsGg9kYKKo1VpjH9xmmudvt6yPhgh2V8c4KNie8fXmmTobfJEpomf5uX1GVMqh6AXudcrvqu4GDbqrMLoMfv495aHPTmHRujyaCuc7gZwaNTtu2op93xZuQec5ZwJu3KC1AQRBX1uX2EFVa8f94bYXF8a79YMSU",
"assets": [],
"additionalRegisters": {
"R4": {
"serializedValue": "10020002",
"sigmaType": "Coll[SInt]",
"renderedValue": "[0,1]"
},
"R5": {
"serializedValue": "110480f4f2b1d86480a8d6b9070080a8d6b907",
"sigmaType": "Coll[SLong]",
"renderedValue": "[1729850400000,1000000000,0,1000000000]"
},
"R6": {
"serializedValue": "6489f70bb4bd58ba6d9db5b6d2195412f23dd99c81221df49f8c0373cd7bacd03d01072000",
"sigmaType": null,
"renderedValue": null
},
"R7": {
"serializedValue": "0e0f53656e642066756e64732074657374",
"sigmaType": "Coll[SByte]",
"renderedValue": "53656e642066756e64732074657374"
}
}
}
],
"outputs": [
{
"boxId": "327622d172eb1037314df4771940698999f6d4894050c47f4bbc3d438b25c202",
"transactionId": "0bbae24dcf22a4b8faf7142b86bf5f13b6733e3f3dc19e9ae8041e94f9e80f47",
"blockId": "825b555cc6a36a216c49913433be4bc3ccd11d09170dc9233624fad01962afc8",
"value": 1000000,
"index": 0,
"globalIndex": 43433904,
"creationHeight": 1381179,
"settlementHeight": 1381181,
"ergoTree": "0008cd028ee1019ca83537c95bbfb3d35afac4c16790d3f1597bd75b67e452b4f0d2cb63",
"ergoTreeConstants": "",
"ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(8ee101,cddaf3,...)))}",
"address": "9fbzAZAQauntRwsnCNFPb7DzT7854qWp4uxeWrhgiscW43aFGfN",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 10000000,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "848771de02be89f1c52952c3d1a928852e9466abdfdc43beede153de692cfa6a",
"mainChain": true
},
{
"boxId": "a416100f19ea18298367d12e71fb2487bcb6b937792fb10e8f254a3e1e70efb1",
"transactionId": "0bbae24dcf22a4b8faf7142b86bf5f13b6733e3f3dc19e9ae8041e94f9e80f47",
"blockId": "825b555cc6a36a216c49913433be4bc3ccd11d09170dc9233624fad01962afc8",
"value": 1000000,
"index": 1,
"globalIndex": 43433905,
"creationHeight": 1381179,
"settlementHeight": 1381181,
"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": "9dc09200e12835446983cf54911c946ffecb931ec4e4308a3b9a092bf215f521",
"mainChain": true
},
{
"boxId": "44dc41a7cb7bb440005313a3821416df482f02e2ef870d769ab2ec5f4e4df302",
"transactionId": "0bbae24dcf22a4b8faf7142b86bf5f13b6733e3f3dc19e9ae8041e94f9e80f47",
"blockId": "825b555cc6a36a216c49913433be4bc3ccd11d09170dc9233624fad01962afc8",
"value": 1189000000,
"index": 2,
"globalIndex": 43433906,
"creationHeight": 1381179,
"settlementHeight": 1381181,
"ergoTree": "10040e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad4890e40000653ab0e7fb89bfa221d75bd25aed8b98e0bac66a13aa229caf5855128d33a233536261ad8920b85644d30fff8e68c470470138950317ad520b300e8c1e573d811d601d901013c0c630eb58c720101d901036393cbc272038c720102d602d901023c0c630eb58c720201d9010463aedb63087204d901064d0e938c7206018c720202d603830002d604e3010ed605d901050c63b072050500d9010741639a8c720701c18c720702d6067303d607b472060440048001d6087300d609d9010963e4c672090464d60a7302d60bd9010b3c0c630eb0dc0c0f8c720b0101d9010d63db6308720d0500d9010d414d0ed801d60f8c720d029a8c720d0195938c720f018c720b028c720f020500d60cd9010c32b4e4720c04020442d60d832002025b02cf02f102020225024302660278020c02d50219021202570205020a026e02d3023a02c502d1022e02ef020e02300241023902ed025d0298021f024b02fad60ee4e30002d60fd9010f63b2db6308720f040200d610dc0c1aa402a70400d611d9011105958f72110580020402958f7211058080020404958f721105808080020406958f72110580808080020408958f721105808080808002040a958f72110580808080808002040c958f7211058080808080808002040e958f72110580808080808080800204100412d197830401dad901120295ec93721202039372120204d812d614cbc2a7d615b2da7201018602a57214040000d616db6501fed617b2da720201860272167301040000d618e572047203d619da7201018602a47214d61ada7205017219d61bb2da7202018602a57207040000d61cdc640bda720901b2da7202018602721672080400000283040e8320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c583200202b002b9020702ab02af02ad028d02ff02ce022f029f021d02fa0215023502c0022202dd02a00253026602f402fb02d2027f0258021d0213022f024b022302f683200202b802c3022c020b029e024202cc028602d0023002b20261028e025a020602c002d202eb022b02a00264021f02090206028502b9028502ed02ab02100295026fe5e3020e7203d61ddad9011d32b4e4721d040c044c01b2721c040600d61e7cb4e4b2721c04040004020412d61fda720b0186027219720ad6208301637215d621da720b0186027220720ad622da720b0186027219721dd623da720b0186027220721dd624afb5db63087215d901244d0ed801d6268c722401ed947226720a947226721dd901244d0e928c722402da720b01860272198c722401d625afdc0c0f721901d9012563db63087225d901254d0ed801d6278c722501ec937227720aaedb63087215d901284d0e938c722801722797830201dad9012602959372260203d803d628dc640bda72090172170283040e8320020222025e023f02c502d1028902f5024702d902c6022602be02bd02c602710239028b026c0200027c0278023d02c4027f0290023f022402bf027f02340284027983200202bc024a025a02b902e4025a02b7024b027902fa02ec02bf02670249026c02c202bf028c022b020e025502db02e802ac02cf02c3029d021402890211027402908320020276027c02aa028002b9028e0249026a02d802a902f6028902c40241020a02e402530232027f020f029502e90250028402c002ae0220026302500279023b0277720d7218d6299a9c7cb4e4b2722804000004020412dad9012963b2e4c67229051104040001721b0502d62a93720a721d9683070192c1721599721a7cb4e4b272280406000402041292722199721f9a9a72297cb4e4b272280402000402041295722a721e050095722a0101927223997222721e7224722592da720b018602830163b2b5a5d9012b6393cbc2722bb4e4b2722804040004020442040000720a722993cbc2b2a4040200da720c01b2721c040200010001720edad9012602959372260204d801d628dc640bda72090172170283020e83200202ec02f202d0024b02ae024802a0020a028a026e024902c002560272026302c902f502d2023f022602c80223025802a1027602ab02d102f0022102d802b10230720d72189683070192c1721599721a7cb4e4b272280402000402041292722199721f7cb4e4b27228040000040204129593720a721d010192722372227224722593cbc2b2a4040200da720c01b2721c040000938cda720f01721b028cda720f01b2da7202018602a4720704000002010001720e010001720edad9011202959372120209e6b2dc640bda720901b2da7202018602db6501fe72080400000283010ecbb3831c020269026d022e0270026102690264026502690261022e0263026f026e027402720261026302740273022e0261026302740269026f026e022ec2b2da7202018602a4b4720604000440040000e47204040000010001720edad901120295937212020ad804d614cbc2a7d615da7201018602a47214d616da7201018602a57214d617da72050172159683050192b17215040a93b172160402afdb6308b27216040000d901184d0e93da720b01860272158c7218018c72180290997217da7205017216058092f401927217058092f401010001720edad9011202959372120207dad901143c0e6395927210b1a50100d809d616b2a5721000d617c17216d618c1a7d619c27216d61ac4a7d61bc2a7d61c8cc7a701d61dc47216d61e8cc772160196830401927217997218058092f40193cb7219da720c01b2dc640bda7209018c7214020283010e8c721401e57204720304000093b4721a9a9ada7211017218b1721bda7211017e721c05b1721ab4721d9a9ada7211017217b17219da7211017e721e05b1721d978302019299721e721c0480c33d94721b721901860283200202c702c5023702e602c602350293020e02cb024a02ce029502a50249022602b302ab02770269028d029f0249022202f002b102c5028e02a8027102560248023bb2da7202018602db6501fe7208040000010001720e",
"ergoTreeConstants": "0: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n1: Coll(27,75,-117,120,-97,-35,74,52,-59,-15,-49,115,-76,-39,-102,92,-84,-72,-52,-70,117,38,95,110,-33,73,80,-119,59,22,47,7)\n2: Coll(31,-42,-32,50,-24,71,108,74,-91,76,24,-63,-93,8,-36,-24,57,64,-24,-12,-94,-113,87,100,64,81,62,-41,50,106,-44,-119)\n3: Coll(0,6,83,-85,14,127,-72,-101,-6,34,29,117,-67,37,-82,-40,-71,-114,11,-84,102,-95,58,-94,41,-54,-11,-123,81,40,-45,58,35,53,54,38,26,-40,-110,11,-123,100,77,48,-1,-8,-26,-116,71,4,112,19,-119,80,49,122,-43,32,-77,0,-24,-63,-27,115)",
"ergoTreeScript": "{\n val func1 = {(tuple1: (Coll[Box], Coll[Byte])) => tuple1._1.filter({(box3: Box) => blake2b256(box3.propositionBytes) == tuple1._2 }) }\n val func2 = {(tuple2: (Coll[Box], Coll[Byte])) =>\n tuple2._1.filter({(box4: Box) => box4.tokens.exists({(tuple6: (Coll[Byte], Long)) => tuple6._1 == tuple2._2 }) })\n }\n val coll3 = Coll[Byte]()\n val opt4 = getVar[Coll[Byte]](1.toByte)\n val func5 = {(coll5: Coll[Box]) => coll5.fold(0L, {(tuple7: (Long, Box)) => tuple7._1 + tuple7._2.value }) }\n val coll6 = placeholder[Coll[Byte]](3)\n val coll7 = coll6.slice(32, 64)\n val coll8 = placeholder[Coll[Byte]](0)\n val func9 = {(box9: Box) => box9.R4[AvlTree].get }\n val coll10 = placeholder[Coll[Byte]](2)\n val func11 = {(tuple11: (Coll[Box], Coll[Byte])) => tuple11._1.flatMap({(box13: Box) => box13.tokens }).fold(0L, {(tuple13: (Long, (Coll[Byte], Long))) =>\n val tuple15 = tuple13._2\n tuple13._1 + if (tuple15._1 == tuple11._2) { tuple15._2 } else { 0L }\n }) }\n val func12 = {(opt12: Option[Coll[Byte]]) => opt12.get.slice(1, 33) }\n val coll13 = Coll[Byte](\n 91.toByte, -49.toByte, -15.toByte, 2.toByte, 37.toByte, 67.toByte, 102.toByte, 120.toByte, 12.toByte, -43.toByte, 25.toByte, 18.toByte, 87.toByte, 5.toByte, 10.toByte, 110.toByte, -45.toByte, 58.toByte, -59.toByte, -47.toByte, 46.toByte, -17.toByte, 14.toByte, 48.toByte, 65.toByte, 57.toByte, -19.toByte, 93.toByte, -104.toByte, 31.toByte, 75.toByte, -6.toByte\n )\n val b14 = getVar[Byte](0.toByte).get\n val func15 = {(box15: Box) => box15.tokens(1) }\n val i16 = INPUTS.indexOf(SELF, 0)\n val func17 = {(l17: Long) =>\n if (l17 < 128L) { 1 } else {\n if (l17 < 16384L) { 2 } else {\n if (l17 < 2097152L) { 3 } else {\n if (l17 < 268435456L) { 4 } else {\n if (l17 < 34359738368L) { 5 } else {\n if (l17 < 4398046511104L) { 6 } else { if (l17 < 562949953421312L) { 7 } else { if (l17 < 72057594037927936L) { 8 } else { 9 } } }\n }\n }\n }\n }\n }\n }\n sigmaProp(anyOf(Coll[Boolean]({(b18: Byte) => if ((b18 == 3.toByte) || (b18 == 4.toByte)) {(\n val coll20 = blake2b256(SELF.propositionBytes)\n val box21 = func1((OUTPUTS, coll20))(0)\n val coll22 = CONTEXT.dataInputs\n val box23 = func2((coll22, placeholder[Coll[Byte]](1)))(0)\n val coll24 = opt4.getOrElse(coll3)\n val coll25 = func1((INPUTS, coll20))\n val l26 = func5(coll25)\n val box27 = func2((OUTPUTS, coll7))(0)\n val coll28 = func9(func2((coll22, coll8))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-119.toByte, 46.toByte, 111.toByte, 71.toByte, -95.toByte, 13.toByte, 92.toByte, -112.toByte, -72.toByte, 122.toByte, -44.toByte, -122.toByte, 51.toByte, 85.toByte, -50.toByte, -83.toByte, 0.toByte, -61.toByte, -30.toByte, -104.toByte, 50.toByte, 23.toByte, -18.toByte, 21.toByte, 83.toByte, 50.toByte, 83.toByte, -51.toByte, -102.toByte, 96.toByte, 37.toByte, -62.toByte), Coll[Byte](79.toByte, -40.toByte, -80.toByte, -42.toByte, -39.toByte, -126.toByte, 66.toByte, 114.toByte, 111.toByte, 87.toByte, -77.toByte, -33.toByte, -90.toByte, -122.toByte, 18.toByte, 103.toByte, -110.toByte, -72.toByte, -27.toByte, 5.toByte, 110.toByte, 29.toByte, 81.toByte, -74.toByte, -23.toByte, 13.toByte, 104.toByte, -128.toByte, -49.toByte, 45.toByte, -51.toByte, -59.toByte), Coll[Byte](-80.toByte, -71.toByte, 7.toByte, -85.toByte, -81.toByte, -83.toByte, -115.toByte, -1.toByte, -50.toByte, 47.toByte, -97.toByte, 29.toByte, -6.toByte, 21.toByte, 53.toByte, -64.toByte, 34.toByte, -35.toByte, -96.toByte, 83.toByte, 102.toByte, -12.toByte, -5.toByte, -46.toByte, 127.toByte, 88.toByte, 29.toByte, 19.toByte, 47.toByte, 75.toByte, 35.toByte, -10.toByte), Coll[Byte](-72.toByte, -61.toByte, 44.toByte, 11.toByte, -98.toByte, 66.toByte, -52.toByte, -122.toByte, -48.toByte, 48.toByte, -78.toByte, 97.toByte, -114.toByte, 90.toByte, 6.toByte, -64.toByte, -46.toByte, -21.toByte, 43.toByte, -96.toByte, 100.toByte, 31.toByte, 9.toByte, 6.toByte, -123.toByte, -71.toByte, -123.toByte, -19.toByte, -85.toByte, 16.toByte, -107.toByte, 111.toByte)), getVar[Coll[Byte]](2.toByte).getOrElse(coll3))\n val coll29 = {(opt29: Option[Coll[Byte]]) => opt29.get.slice(6, 38) }(coll28(3))\n val l30 = byteArrayToLong(coll28(2).get.slice(1, 9))\n val l31 = func11((coll25, coll10))\n val coll32 = Coll[Box](box21)\n val l33 = func11((coll32, coll10))\n val l34 = func11((coll25, coll29))\n val l35 = func11((coll32, coll29))\n val bool36 = box21.tokens.filter({(tuple36: (Coll[Byte], Long)) =>\n val coll38 = tuple36._1\n (coll38 != coll10) && (coll38 != coll29)\n }).forall({(tuple36: (Coll[Byte], Long)) => tuple36._2 >= func11((coll25, tuple36._1)) })\n val bool37 = coll25.flatMap({(box37: Box) => box37.tokens }).forall({(tuple37: (Coll[Byte], Long)) =>\n val coll39 = tuple37._1\n (coll39 == coll10) || box21.tokens.exists({(tuple40: (Coll[Byte], Long)) => tuple40._1 == coll39 })\n })\n anyOf(Coll[Boolean]({(b38: Byte) => if (b38 == 3.toByte) {(\n val coll40 = func9(box23).getMany(Coll[Coll[Byte]](Coll[Byte](34.toByte, 94.toByte, 63.toByte, -59.toByte, -47.toByte, -119.toByte, -11.toByte, 71.toByte, -39.toByte, -58.toByte, 38.toByte, -66.toByte, -67.toByte, -58.toByte, 113.toByte, 57.toByte, -117.toByte, 108.toByte, 0.toByte, 124.toByte, 120.toByte, 61.toByte, -60.toByte, 127.toByte, -112.toByte, 63.toByte, 36.toByte, -65.toByte, 127.toByte, 52.toByte, -124.toByte, 121.toByte), Coll[Byte](-68.toByte, 74.toByte, 90.toByte, -71.toByte, -28.toByte, 90.toByte, -73.toByte, 75.toByte, 121.toByte, -6.toByte, -20.toByte, -65.toByte, 103.toByte, 73.toByte, 108.toByte, -62.toByte, -65.toByte, -116.toByte, 43.toByte, 14.toByte, 85.toByte, -37.toByte, -24.toByte, -84.toByte, -49.toByte, -61.toByte, -99.toByte, 20.toByte, -119.toByte, 17.toByte, 116.toByte, -112.toByte), Coll[Byte](118.toByte, 124.toByte, -86.toByte, -128.toByte, -71.toByte, -114.toByte, 73.toByte, 106.toByte, -40.toByte, -87.toByte, -10.toByte, -119.toByte, -60.toByte, 65.toByte, 10.toByte, -28.toByte, 83.toByte, 50.toByte, 127.toByte, 15.toByte, -107.toByte, -23.toByte, 80.toByte, -124.toByte, -64.toByte, -82.toByte, 32.toByte, 99.toByte, 80.toByte, 121.toByte, 59.toByte, 119.toByte), coll13), coll24)\n val l41 = byteArrayToLong(coll40(0).get.slice(1, 9)) * {(box41: Box) => box41.R5[Coll[Long]].get(2) }(box27) + 1L\n val bool42 = coll10 == coll29\n allOf(Coll[Boolean](box21.value >= l26 - byteArrayToLong(coll40(3).get.slice(1, 9)), l33 >= l31 - l41 + byteArrayToLong(coll40(1).get.slice(1, 9)) + if (bool42) { l30 } else { 0L }, if (bool42) { true } else { l35 >= l34 - l30 }, bool36, bool37, func11((Coll[Box](OUTPUTS.filter({(box43: Box) => blake2b256(box43.propositionBytes) == coll40(2).get.slice(1, 33) })(0)), coll10)) >= l41, blake2b256(INPUTS(1).propositionBytes) == func12(coll28(1))))\n )} else { false } }(b14), {(b38: Byte) => if (b38 == 4.toByte) {(\n val coll40 = func9(box23).getMany(Coll[Coll[Byte]](Coll[Byte](-20.toByte, -14.toByte, -48.toByte, 75.toByte, -82.toByte, 72.toByte, -96.toByte, 10.toByte, -118.toByte, 110.toByte, 73.toByte, -64.toByte, 86.toByte, 114.toByte, 99.toByte, -55.toByte, -11.toByte, -46.toByte, 63.toByte, 38.toByte, -56.toByte, 35.toByte, 88.toByte, -95.toByte, 118.toByte, -85.toByte, -47.toByte, -16.toByte, 33.toByte, -40.toByte, -79.toByte, 48.toByte), coll13), coll24)\n allOf(Coll[Boolean](box21.value >= l26 - byteArrayToLong(coll40(1).get.slice(1, 9)), l33 >= l31 - byteArrayToLong(coll40(0).get.slice(1, 9)), if (coll10 == coll29) { true } else { l35 >= l34 }, bool36, bool37, blake2b256(INPUTS(1).propositionBytes) == func12(coll28(0)), func15(box27)._2 == func15(func2((INPUTS, coll7))(0))._2))\n )} else { false } }(b14)))\n )} else { false } }(b14), {(b18: Byte) => if (b18 == 9.toByte) { func9(func2((CONTEXT.dataInputs, coll8))(0)).getMany(Coll[Coll[Byte]](blake2b256(Coll[Byte](105.toByte, 109.toByte, 46.toByte, 112.toByte, 97.toByte, 105.toByte, 100.toByte, 101.toByte, 105.toByte, 97.toByte, 46.toByte, 99.toByte, 111.toByte, 110.toByte, 116.toByte, 114.toByte, 97.toByte, 99.toByte, 116.toByte, 115.toByte, 46.toByte, 97.toByte, 99.toByte, 116.toByte, 105.toByte, 111.toByte, 110.toByte, 46.toByte).append(func2((INPUTS, coll6.slice(0, 32)))(0).propositionBytes))), opt4.get)(0).isDefined } else { false } }(b14), {(b18: Byte) => if (b18 == 10.toByte) {(\n val coll20 = blake2b256(SELF.propositionBytes)\n val coll21 = func1((INPUTS, coll20))\n val coll22 = func1((OUTPUTS, coll20))\n val l23 = func5(coll21)\n allOf(Coll[Boolean](coll21.size >= 5, coll22.size == 1, coll22(0).tokens.forall({(tuple24: (Coll[Byte], Long)) => func11((coll21, tuple24._1)) == tuple24._2 }), l23 - func5(coll22) <= 2000000L, l23 >= 2000000L))\n )} else { false } }(b14), {(b18: Byte) => if (b18 == 7.toByte) { {(tuple20: (Coll[Byte], Box)) => if (i16 >= OUTPUTS.size) { false } else {(\n val box22 = OUTPUTS(i16)\n val l23 = box22.value\n val l24 = SELF.value\n val coll25 = box22.propositionBytes\n val coll26 = SELF.bytesWithoutRef\n val coll27 = SELF.propositionBytes\n val i28 = SELF.creationInfo._1\n val coll29 = box22.bytesWithoutRef\n val i30 = box22.creationInfo._1\n allOf(Coll[Boolean](l23 >= l24 - 2000000L, blake2b256(coll25) == func12(func9(tuple20._2).getMany(Coll[Coll[Byte]](tuple20._1), opt4.getOrElse(coll3))(0)), coll26.slice(func17(l24) + coll27.size + func17(i28.toLong), coll26.size) == coll29.slice(func17(l23) + coll25.size + func17(i30.toLong), coll29.size), anyOf(Coll[Boolean](i30 - i28 >= 504000, coll27 != coll25))))\n )} }((Coll[Byte](-57.toByte, -59.toByte, 55.toByte, -26.toByte, -58.toByte, 53.toByte, -109.toByte, 14.toByte, -53.toByte, 74.toByte, -50.toByte, -107.toByte, -91.toByte, 73.toByte, 38.toByte, -77.toByte, -85.toByte, 119.toByte, 105.toByte, -115.toByte, -97.toByte, 73.toByte, 34.toByte, -16.toByte, -79.toByte, -59.toByte, -114.toByte, -88.toByte, 113.toByte, 86.toByte, 72.toByte, 59.toByte), func2((CONTEXT.dataInputs, coll8))(0))) } else { false } }(b14))))\n}",
"address": "guXrqVUozVvKJDd35QAC9e9D5okdcBLu4mrbTPU1my2vNZbTGemsYHeE2MWcL7W9dSvAqXikSgwus2rM6BjC1jvEBMoewT3siatBE2qZZp7NUjGytM3wr62C6NhvQMoewg2Kb9AERUuWca6BZb6WS2CiJE55K2QMn5ZTKxPq75uRLkQkaas31rYNjRvRuSVdCw3uoLHhUmpzLzVmaunHZMdJF7YaHZHb6A7ypBj8LDkQtbsS5yXE9YjhJZda4xdFXSNLQqtxTpCj8iMkSM3vemo4C2mdPuufGo8cWBtcVhe44aZeYE78KisySXFwtb6D5hBoNoUJBmEb37YL9kuCgZTinht3dUzVW24e3h82dqammfPYwEWJtpVimX3AFLcLJGvX4XhvCLKECZDaAUArCjruRtBw6eCrMWMhBYXBgvDFAmprzyn1U1SGgxWrFVyVShmfzC8qBKySaT17UCNf9hHt43NQYRDo8JQSYykqtzS4AqSV6ZDjTMRHnQQCCGafMT78iV3xPGrL9Fmpc5V5waH5rE7sbvQaqivXmVitTtCkQZJKaz8hrMUARkbJvza7NtuQfLgoUGZh6DyFGJ5VbTiVqhUadjX2EtNHRZnVFj2r9AXi3xYJdjzuQfUod3KZQ9dwEs1BcP5E8kUe2wF8o2Hrfi1LVAtXhnu4acNeyW8bMmVQH4RxfpgbLoe7YiqR7XHCHm3UMbQ8nSgGrwTpjTtFb4GTAgGXAjbsJpfSm5HyRr9omuKRZoy1v35KPnHHMWSa1794rh9NW4Yt8rdZijzvzaMypVTNNgcY22RpzwWRhP3CqHEtA2aqVUxrvVDGZgmLjGjGRucCyTsMNFJYHXpKvgq1su4rgeYk8ucxJPpCYCFdA4wA2rdt7DNSGEbykcd9wUvyqx1pAGc7BAkwLwmVJia1xWY685VwGzrA9AwHGBqsmRff9BmhoLKnsc6QLseGpyoNAa3iqfqzK3v86awDkBYEzc19MLdxyjokXxSi7bbAShqfMUEY4cF36BWDFmNG8SQszXFWZU2rz6WAxjQz2PGQuVLN4A6i6fQv7jUdiWzKH3H1cdNMdpoXYrHDriChAXY9r1XMpe8ySUPNHvVKr76K37C1RdNfYVPq4vmYacQNMfdJx4HQJppygNZUZAQB1rQqCVt2ASEoacrrhGVBa1ZHDJ3h6KYM16TE6KTWaQU2wCbgxobHeyvCLB8NhSWYU3QKQuNb8YQcm2mcoQycRWqcfrQhnwoovWM8veeFjT9aUTnAX5RKNpRi9qxgM8AxtAoHzMgSujeyKddVKKutZ3ZNQ21eBu3kfSm5AeiPUZnDFsoZAVZydhThofFvkgWiMHaDqgRz9sPw4pQuuix5Q4VaqM1C3vBuMxh8UHgBBbrvYFfaRo3vyrCXFA52bUqwKW9R4dYMQ3oQxdEr53UtbvVjmSNbsd7nYWNn3itfS7nvsYCWhFXfP4djkXMspsy8V23bYtM4Awrtc5HsTr1PAGi2RFnmqHnjvMFnwbFygrEhXtmWmzfwAE2jAmsqpAGMZxD54Ra9c6dTtxp436XDErDgYaerW1GqyMPikWBeLGwxn8bNzKKz7EmhbRzzzHcQwDXJDVnWNZBzVfNDsdbnLUB5KL2JtHqq2NaD8VjFV6UfVi5UkpR9n3vnhjLeqPdA4aaZTHchmQa1sJ4JZCg1MA9jfq7vaYigo6CS1nQM2Rw7HzXzxY28S1SF6E1zxJHkGhwvPCFt3Hrvgb2sMgSEs28dV5xSuVhgqEUk1kvn6iYcpiZDioFxLUxK8Ap72typxEGwSWMKCjfJ2TjFwv8A8wCsAwAP7GSgjQjXnaXZu7RPR73yDrsJZkJ751uXQ3huU75HJk47mUTm1uZBYGHh1vBkQksQZ68HZo1pUphvnKTSXSyCL5qZdybpDVmGGPWTeqivQjSkSaLFAjmSqZYmJQNjgmqm8a5MYg6Rg1QKJ5Q6P1931KpxUjPqvEU8rASthoBeKLXgkPLfXK3GDZf2rBstPavJNuhuKeS5ptoNLMFYHQnpUS8ywTa96iQogy99W6nsM73qEdzjpARhr4Vf5cqDFPuADw1yC4WbCixDJHkP3LC22hzttfJnPfnvm4szVvPs3AcpTk1sLUAunmFbKQ766xQWiWfuXLcCxZH7iqne6WphY5bjF9zpmGD199cP7wUyyNsXaJnNzp6bku6Q2ojB3R4YqDiSfa5hNw5tt4WfNYkj3vjyxPK2of944dZnoecYuQ3GfiTyoNggRuv6ushr349cFaayUbZ1ri9JyjaUUNFBseNNgGNGDxb2Nr7SddnG9PWyvnG9bFt7ddjbhrxSsXYW1jiHXW3WSDy2bkB7GbZ443Yqe7kUPUhzfPPwiPEif3cf6qYdMvR6bJp8t4jzicd3oikUnbwbW5kYN4s75KdWcBEGaCWjakMHmRFKijLmvQBT2cDEi83BWTkdjFkwdg2L3ax7Pgk15qxFQmQA5W4nvLBBcUL3b3iQNxDtdDcQmKQnnrTs4ApE4mEBVsF3nxXdUTcC5Vib1MoY1kxPV34AtPB36zKHj7zAyoqmMtF35rvB1FtRBPekNnsjzdB1S3atuUTWbYWbzcdMqBxGh6nnmQFRw4zpekXyyoBmcmvCp4szqKKdoDirgDkFGEdq87sxfRfaWze5VSQTtnadQ5ndyXMX3AcxvneHVFf85y33Kw5gi9jkvFJV2rauEfVjNr8PJxcEuQPD9ftwFe1upjbkL5NywpYrAo97DtCR6mMi9bWJWRam6W4GsEnLTsuV1YUKMJeDpVSmEjBgp22onmoWituc4TiZucyDJQNsTWsXT9EjsP7MKmH5hP69vypj7WxfGgjdgjziD9cTaiNHkpkQKnBB8KhGEhaX7dHMCXU7Cg4Fs7ZDgacSnLD4An9nm82LFkftNJ9y6HwnDpPxvm9fL2f12uVjtabRMRcxxSSfNsenvcHDRPYWNhAE8DdtX1VNfjdvqE9sCJPxqfwYNUTbxmKbpmgvtAn1TSMFVU63cLGn5o54S3fFmCbs7gq77ZYy9G7aB49BHNUDTWTxiaWw4UpEHhrRot3og84BV7r7XBEekRCf7dTy2DkRzyVkFaYfZ7Zzcf38QJ8CWbNRUws5UmYWEu8vWvmgmNbweKHiVAmQdwYbiDoL7DRcTt1gTy2J3q5YCorPauYhbdJfWizrHNxtiqhgj31FgPNBmrksBSgciHwsiaMJq51beLGd249XUZDWRTYnJp1ghRtYTMQ1",
"assets": [
{
"tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
"index": 0,
"amount": 736009799,
"name": "Paideia",
"decimals": 4,
"type": "EIP-004"
}
],
"additionalRegisters": {},
"spentTransactionId": "b65e332e83a84427c7f3570b7bd2a8bccac974352ff859971e973c4da8794d8d",
"mainChain": true
}
],
"size": 3537,
"isUnconfirmed": false
}