Transaction

{
  "id": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
  "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
  "inclusionHeight": 1462566,
  "timestamp": 1739692697921,
  "index": 2,
  "globalIndex": 8592535,
  "numConfirmations": 305243,
  "inputs": [
    {
      "boxId": "f5cde0d60a3e7e8f242a88e3600f12ff7fcf19140ca020519afbc9b7a7f8d2c1",
      "value": 1000000000,
      "index": 0,
      "spendingProof": null,
      "outputBlockId": "57df99ac4548bfbd5eb6f752b0572df7f545f1fc6ce69d69d89842c6673d259e",
      "outputTransactionId": "f10bc9c318ac2376214c7bd3834e65be2e9a2891ed67310efef0c47d81fba4b3",
      "outputIndex": 0,
      "outputGlobalIndex": 46290483,
      "outputCreatedAt": 1462533,
      "outputSettledAt": 1462535,
      "ergoTree": "10010e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008ed80ed60183200202de02ae02cf025b026402ba02d602f50257020b02ad020a0261020c024e02480249025702cf0247028202300284020002bc02900240024c021d0214021002dad602d9010263e4c672020464d603d901033c0c630eb58c720301d9010563aedb63087205d901074d0e938c7207018c720302d604b2da7203018602db6501fe7300040000d605e3010ed606d9010632b4e4720604020442d607d9010763b2db63087207040000d608da720701a7d609b2da7203018602a58c720801040000d60ad9010a63b2db6308720a040200d60bd9010b0ed801d60ddc640bda72020172040283020e7201720be472059683020193b1dad9010e3c0c630eb58c720e01d901106393cbc272108c720e02018602a4da720601b2720d0402000402dad9010e0e9683030193cbc27209720e93da72070172097208938cda720a017209018cda720a01a70101da720601b2720d040000d60ce4e30002d60ddc0c1aa402a70400d60ed9010e05958f720e0580020402958f720e058080020404958f720e05808080020406958f720e0580808080020408958f720e05808080808002040a958f720e0580808080808002040c958f720e058080808080808002040e958f720e0580808080808080800204100412d197830801dad9010f029593720f0200da720b0183200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242010001720cdad9010f029593720f0202da720b01832002028b02c7028f021c026a02ae02c9021e0262028e021502cf0266028c021602cc021e029b02d802e402b902b702e1026d0263021802b502f5022302a502e902bd010001720cdad9010f029593720f0201da720b01832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280010001720cdad9010f029593720f0203da720b01832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c5010001720cdad9010f029593720f0204da720b018320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2010001720cdad9010f029593720f0205da720b01832002023a02110295025c0247021902e5028802bc02e602a70261021d022702bd021f02df02db02570238025c02ae02e2026602d80204020c0289024f021c022e021d010001720cdad9010f029593720f0206da720b0183200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e010001720cdad9010f029593720f0207dad901113c0e639592720db1a50100d809d613b2a5720d00d614c17213d615c1a7d616c27213d617c4a7d618c2a7d6198cc7a701d61ac47213d61b8cc772130196830401927214997215058092f40193cb7216da720601b2dc640bda7202018c7211020283010e8c721101e5720583000204000093b472179a9ada720e017215b17218da720e017e721905b17217b4721a9a9ada720e017214b17216da720e017e721b05b1721a978302019299721b72190480c33d947218721601860272017204010001720c",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)",
      "ergoTreeScript": "{\n  val coll1 = Coll[Byte](\n    -34.toByte, -82.toByte, -49.toByte, 91.toByte, 100.toByte, -70.toByte, -42.toByte, -11.toByte, 87.toByte, 11.toByte, -83.toByte, 10.toByte, 97.toByte, 12.toByte, 78.toByte, 72.toByte, 73.toByte, 87.toByte, -49.toByte, 71.toByte, -126.toByte, 48.toByte, -124.toByte, 0.toByte, -68.toByte, -112.toByte, 64.toByte, 76.toByte, 29.toByte, 20.toByte, 16.toByte, -38.toByte\n  )\n  val func2 = {(box2: Box) => box2.R4[AvlTree].get }\n  val func3 = {(tuple3: (Coll[Box], Coll[Byte])) =>\n    tuple3._1.filter({(box5: Box) => box5.tokens.exists({(tuple7: (Coll[Byte], Long)) => tuple7._1 == tuple3._2 }) })\n  }\n  val box4 = func3((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)\n  val opt5 = getVar[Coll[Byte]](1.toByte)\n  val func6 = {(opt6: Option[Coll[Byte]]) => opt6.get.slice(1, 33) }\n  val func7 = {(box7: Box) => box7.tokens(0) }\n  val tuple8 = func7(SELF)\n  val box9 = func3((OUTPUTS, tuple8._1))(0)\n  val func10 = {(box10: Box) => box10.tokens(1) }\n  val func11 = {(coll11: Coll[Byte]) =>\n    val coll13 = func2(box4).getMany(Coll[Coll[Byte]](coll1, coll11), opt5.get)\n    allOf(\n      Coll[Boolean](\n        {(tuple14: (Coll[Box], Coll[Byte])) => tuple14._1.filter({(box16: Box) => blake2b256(box16.propositionBytes) == tuple14._2 }) }(\n          (INPUTS, func6(coll13(1)))\n        ).size == 1, {(coll14: Coll[Byte]) =>\n          allOf(Coll[Boolean](blake2b256(box9.propositionBytes) == coll14, func7(box9) == tuple8, func10(box9)._1 == func10(SELF)._1))\n        }(func6(coll13(0)))\n      )\n    )\n  }\n  val b12 = getVar[Byte](0.toByte).get\n  val i13 = INPUTS.indexOf(SELF, 0)\n  val func14 = {(l14: Long) =>\n    if (l14 < 128L) { 1 } else {\n      if (l14 < 16384L) { 2 } else {\n        if (l14 < 2097152L) { 3 } else {\n          if (l14 < 268435456L) { 4 } else {\n            if (l14 < 34359738368L) { 5 } else {\n              if (l14 < 4398046511104L) { 6 } else { if (l14 < 562949953421312L) { 7 } else { if (l14 < 72057594037927936L) { 8 } else { 9 } } }\n            }\n          }\n        }\n      }\n    }\n  }\n  sigmaProp(\n    anyOf(\n      Coll[Boolean](\n        {(b15: Byte) =>\n          if (b15 == 0.toByte) {\n            func11(\n              Coll[Byte](\n                3.toByte, -110.toByte, 8.toByte, -68.toByte, 78.toByte, -17.toByte, -102.toByte, 3.toByte, -24.toByte, -41.toByte, -117.toByte, -122.toByte, 99.toByte, -93.toByte, 1.toByte, -69.toByte, 95.toByte, -83.toByte, -36.toByte, -89.toByte, -117.toByte, -31.toByte, -99.toByte, 127.toByte, -27.toByte, 53.toByte, -77.toByte, -58.toByte, 76.toByte, -66.toByte, -2.toByte, 66.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 2.toByte) {\n            func11(\n              Coll[Byte](\n                -117.toByte, -57.toByte, -113.toByte, 28.toByte, 106.toByte, -82.toByte, -55.toByte, 30.toByte, 98.toByte, -114.toByte, 21.toByte, -49.toByte, 102.toByte, -116.toByte, 22.toByte, -52.toByte, 30.toByte, -101.toByte, -40.toByte, -28.toByte, -71.toByte, -73.toByte, -31.toByte, 109.toByte, 99.toByte, 24.toByte, -75.toByte, -11.toByte, 35.toByte, -91.toByte, -23.toByte, -67.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 1.toByte) {\n            func11(\n              Coll[Byte](\n                -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 3.toByte) {\n            func11(\n              Coll[Byte](\n                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\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 4.toByte) {\n            func11(\n              Coll[Byte](\n                -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\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 5.toByte) {\n            func11(\n              Coll[Byte](\n                58.toByte, 17.toByte, -107.toByte, 92.toByte, 71.toByte, 25.toByte, -27.toByte, -120.toByte, -68.toByte, -26.toByte, -89.toByte, 97.toByte, 29.toByte, 39.toByte, -67.toByte, 31.toByte, -33.toByte, -37.toByte, 87.toByte, 56.toByte, 92.toByte, -82.toByte, -30.toByte, 102.toByte, -40.toByte, 4.toByte, 12.toByte, -119.toByte, 79.toByte, 28.toByte, 46.toByte, 29.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 6.toByte) {\n            func11(\n              Coll[Byte](\n                9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) => if (b15 == 7.toByte) { {(tuple17: (Coll[Byte], Box)) => if (i13 >= OUTPUTS.size) { false } else {(\n                val box19 = OUTPUTS(i13)\n                val l20 = box19.value\n                val l21 = SELF.value\n                val coll22 = box19.propositionBytes\n                val coll23 = SELF.bytesWithoutRef\n                val coll24 = SELF.propositionBytes\n                val i25 = SELF.creationInfo._1\n                val coll26 = box19.bytesWithoutRef\n                val i27 = box19.creationInfo._1\n                allOf(Coll[Boolean](l20 >= l21 - 2000000L, blake2b256(coll22) == func6(func2(tuple17._2).getMany(Coll[Coll[Byte]](tuple17._1), opt5.getOrElse(Coll[Byte]()))(0)), coll23.slice(func14(l21) + coll24.size + func14(i25.toLong), coll23.size) == coll26.slice(func14(l20) + coll22.size + func14(i27.toLong), coll26.size), anyOf(Coll[Boolean](i27 - i25 >= 504000, coll24 != coll22))))\n              )} }((coll1, box4)) } else { false } }(b12)\n      )\n    )\n  )\n}",
      "address": "3bseGyrL8c19T8TAJUAYyvfvvYbnQsZ9Mj5v268gLyjG8d753JNwPTFYsxHudjK11poGatNQ21rP71BR6wdP38HxXPZyo7AfYjEpv47oiUx27KXzoHhJ4nVy8tXPitzSBmuSwsT9PRUNkGQZ4ZVHcVRdHDT9Qo1gZfFn4JwHPHXWyS84i64hqhrnk5Epkq3EZvxdUrdY64zRJhBztdSnc6FqUAJoE2S4ZW2wYoBr6vBSa88UcioaJKHaktZBcapDFqHJKbRLDPhodZxAEXh27mJmKgxnzi1tkrwF5ae1mpXofjjw1zcRu8Y9J3waoBsqwCKf3N7Y4fLH2gdJasT8z51oZgP1G5hZgiD7YYtLZc6Y8cADWwxnji3ZmgvmRwtgPpRCnf4SUaneh7TuvQnn626GtSBkL6SUvjv6ewjAbKuKENsbQstK2WuvxEBD1gbP5h6Bd4gHtSKDzmDxhvM7FuaP3Er2KnFqth8cN92fckAXfpZrTLHUNpikyjcwuu9969UYBMLQ7RKigYggNRRKTMdED5oMQXPEJ3oAy5R8K1jRvvex2q9MC7KqPCaQZvnsyzP7LsFpRm7EUBqp59shV95M3tbcM8AezcaTmutJNqU8dWVsmrit2je96iJqS9g3hw3F9E4BCnKT9TBV8kNbQ3zoDxU8bJFUE8B2VL62yKfUPXvvS4AjkTLchhLwWcACnaJ4tUmrEpxCpEPB8AVwKxajr98cHbeyC3mC946vW28yb6FH4LuLBfjxy2BE9UwjeCWKw12pa2goJuCQyJxJei28Cett7j5u2gYvjCk1acSSXZ3TdNhqyCTsmWprisVFReezJjF3nQ383S8HjzJXYh3GaCkLyQ7BRSyuEm3mM213YLmn3MZ5LzMhN9xWZiYGAvrzJzsFibMgqDwsTcjiqYVXx77iEJqzndwWjEy8Y2xhi26Rrh21phmn1uzutvFKTkCyKLLdfiq2RSh3sGyBtveP6U4nyJy25fqeUe4Wg17L7R85zmUw2Z3kZXhknkCDhxm8T8SAPeSnGsYYr1nmHmv3aNqk75VcBBM4W562nQjn3G8KTZJ1e6PqS1wKnztgYiZBs4KMZ8SohQbX15EBZT8eZXZ4ggvPBP1szBtocHeqF7cY1zcB5CWHVbi9p1SnaY9HLB6QTT1Pbr84V2dyhCNny5mCjy1W6WhDStVJSXNfwGcoJckA3Ub6bnQ57FQjMLCeN3nHNxt6eTWb1hsmj2dMjY7vkAcVCCMNcm1tRpLMWGmeqCNLU6QiHoAx3NAPxmfksocvHwSXDF56bUJpYxt6kwuyAWCZAv6ijJDgg7imtHoju1oyjZQehmhMpyQKvuQmdthHcdsmGqp6oPbMr1RGLHKdmEucJvo888AVuTmVBN7nUSszUioJ2BhaNPyzZQtm9Sn9h9F7UjNo2eX551o9RGTk5r6dRj4VXHvGPP5vXkp6jodkG11BLaF9ur835oLpFAFetbeS9rQS7Mb4p2cvXwrZjh3YhMd8QHUKGt1x44D163rRbRh8ywiZVGim9uFwaZM5JjsF4fSHWBRqRCztNvMNr4NuTquVGynbn1JnjagmgVWLRixzx3PzL3PMDDtFVpz5FEhsGnbbHQn3zWcAZhgyu6YtfkqdUvDZVErysTiiXV6QFU6keq3z25z6zZ3hGZvRAjr1DucdnpGeyi41xrYfAEq4u6SwSvs8ZRffa5vHqgmCqapRihZ9Gt85eDKKzMY4VJv9ZyfxH9s5gaCrX42K5zEoUDPRLxhvFFSkXNrZiYtHjA6HMfyC1QU5HBqNfi9g3z3BaWdKbAUFfhL8",
      "assets": [
        {
          "tokenId": "a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Stake State",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "59ee24951ce668f0ed32bdb2e2e5731b6c36128748a3b23c28407c5f8ccbf0f6",
          "index": 1,
          "amount": 221962,
          "name": "WALRUS",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "1107ca918cdd8465928c1b0e069a82160000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1735801275493,221961,7,3,180365,0,0]"
        },
        "R6": {
          "serializedValue": "1d05020000020000020000020000020000",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[0,0],[0,0],[0,0],[0,0],[0,0]]"
        },
        "R8": {
          "serializedValue": "11020000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[0,0]"
        },
        "R7": {
          "serializedValue": "0c3c6464024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c6402394436a943b02218de0534b7d5d8a1f47c7ce1a6e90593fc5447e31a2bd9fa4c04072000d0da7b7e5287f8dfb048d28d2a4c5609275f7fc9734d4452e995a97e60aa267f02072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    },
    {
      "boxId": "0f5177b2ce9da1d1be7aa1c43629c3aa3eddc29c0de92af2e22fa29e3198e7fb",
      "value": 1000000,
      "index": 1,
      "spendingProof": null,
      "outputBlockId": "8514a2873c9cff35c523f0fa89a15f785a00239dc61c0231bec011fc552aefbc",
      "outputTransactionId": "0e455dcbd4e0cd7fcf4118f7b39dffdb9f602f260174b81c3ed59b9b8450c10f",
      "outputIndex": 1,
      "outputGlobalIndex": 45047302,
      "outputCreatedAt": 1423505,
      "outputSettledAt": 1423507,
      "ergoTree": "10020e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008e0e20a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01d823d601e4e3001ad602dc640bdad9010263e4c67202046401b2db6501fe0400000283020e83200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e832002023d02aa02660280028e026902c2025a02e9023202dd02660261021c025f020b023c02ba02ca02d102120252020302e8027d028d02c402910286021c027102e6b27201040000d603b27201041200d604d901043c0c630eb58c720401d9010663aedb63087206d901084d0e938c7208018c720402d6057301d606b2da7204018602a57205040000d607b2da7204018602a47205040000d608d9010863b2e4c67208040c64040000d609da7208017207d60ab2da7204018602a4dad9010a32b4e4720a040c044c01b27202040200040000d60be4dc640a7209027203b27201040400d60cb37aa2dad9010c63b2e4c6720c051104000001720adad9010c0e7cb4720c0400041001720bb4720b0410b1720bd60dd9010d63b2e4c6720d040c64040200d60eda720d017207d60fdc640a720e027203b27201040800d610e6720fd611dc640adad9011163e4c67211066401720a027203b27201040200d612e67211d6139572107cb4e4720f040004100500d61495721272139a72130502d6159572107cb4e4720f041004200500d616b27201041000d617b0adb4db0c0e721604009db172160410d90117047cb472169c721704109c9a7217040204100500d90117599a8c7217018c721702d618957212d801d618e47211a29a997215b0adb4db0c0e721804009db172180410d90119047cb472189c721904109c9a7219040204100500d90119599a8c7219018c721902721705009a72157217d619b37a72147a7218d61ab27201040a00d61bd9011b63b2e4c6721b0511040000d61cd9011c63b2e4c6721c0511040200d61dd9011d63b2e4c6721d0511040400d61ed9011e63b2e4c6721e0511040600d61fd9011f63b2e4c6721f0511040800d620d9012063d801d622e4c672200511b47222040ab17222d621d9012163e4c67221061dd622d9012263e4c67222070c3c6464d623d9012363e4c672230811d19683050192c1b2dad901243c0c630eb58c722401d901266393cbc272268c722402018602a5dad9012432b4e472240402044201b27202040000040000c1a7dad901243c0c630eae8c722401d9012663aedb63087226d901284d0e938c7228018c722402018602a5720396830d0193c17206c1720793db63087206db6308720793db6401da7208017206db6401e4dc640d72090283013c0e0e86027203720cb2720104060093db6401da720d017206db6401957210e4dc640d720e0283013c0e0e860272037219721ae4dc640c720e0283013c0e0e860272037219721a93da721b017206da721b01720793da721c017206da721c01720793da721d017206da721d01720793da721e017206999ada721e0172077214721393da721f017206999ada721f0172077218721593da7220017206da722001720793da7221017206da722101720793da7222017206da722201720793da7223017206da722301720793b27201040c00720c93b27201040e007219",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)\n1: Coll(-89,-10,-44,-52,-15,40,-118,43,121,-29,-40,116,30,30,32,56,40,19,90,18,-71,47,-115,-60,-14,-46,30,64,115,-114,14,1)",
      "ergoTreeScript": "{\n  val coll1 = getVar[Coll[Coll[Byte]]](0.toByte).get\n  val coll2 = {(box2: Box) => box2.R4[AvlTree].get }(CONTEXT.dataInputs(0)).getMany(\n    Coll[Coll[Byte]](\n      Coll[Byte](\n        9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n      ), Coll[Byte](\n        61.toByte, -86.toByte, 102.toByte, -128.toByte, -114.toByte, 105.toByte, -62.toByte, 90.toByte, -23.toByte, 50.toByte, -35.toByte, 102.toByte, 97.toByte, 28.toByte, 95.toByte, 11.toByte, 60.toByte, -70.toByte, -54.toByte, -47.toByte, 18.toByte, 82.toByte, 3.toByte, -24.toByte, 125.toByte, -115.toByte, -60.toByte, -111.toByte, -122.toByte, 28.toByte, 113.toByte, -26.toByte\n      )\n    ), coll1(0)\n  )\n  val coll3 = coll1(9)\n  val func4 = {(tuple4: (Coll[Box], Coll[Byte])) =>\n    tuple4._1.filter({(box6: Box) => box6.tokens.exists({(tuple8: (Coll[Byte], Long)) => tuple8._1 == tuple4._2 }) })\n  }\n  val coll5 = placeholder[Coll[Byte]](1)\n  val box6 = func4((OUTPUTS, coll5))(0)\n  val box7 = func4((INPUTS, coll5))(0)\n  val func8 = {(box8: Box) => box8.R4[Coll[AvlTree]].get(0) }\n  val avlTree9 = func8(box7)\n  val box10 = func4((INPUTS, {(opt10: Option[Coll[Byte]]) => opt10.get.slice(6, 38) }(coll2(1))))(0)\n  val coll11 = avlTree9.get(coll3, coll1(2)).get\n  val coll12 = longToByteArray(\n    max({(box12: Box) => box12.R5[Coll[Long]].get(0) }(box10), {(coll12: Coll[Byte]) => byteArrayToLong(coll12.slice(0, 8)) }(coll11))\n  ).append(coll11.slice(8, coll11.size))\n  val func13 = {(box13: Box) => box13.R4[Coll[AvlTree]].get(1) }\n  val avlTree14 = func13(box7)\n  val opt15 = avlTree14.get(coll3, coll1(4))\n  val bool16 = opt15.isDefined\n  val opt17 = {(box17: Box) => box17.R6[AvlTree].get }(box10).get(coll3, coll1(1))\n  val bool18 = opt17.isDefined\n  val l19 = if (bool16) { byteArrayToLong(opt15.get.slice(0, 8)) } else { 0L }\n  val l20 = if (bool18) { l19 } else { l19 + 1L }\n  val l21 = if (bool16) { byteArrayToLong(opt15.get.slice(8, 16)) } else { 0L }\n  val coll22 = coll1(8)\n  val l23 = coll22.indices.slice(0, coll22.size / 8).map({(i23: Int) => byteArrayToLong(coll22.slice(i23 * 8, i23 + 1 * 8)) }).fold(\n    0L, {(tuple23: (Long, Long)) => tuple23._1 + tuple23._2 }\n  )\n  val l24 = if (bool18) {(\n    val coll24 = opt17.get\n    max(\n      l21 - coll24.indices.slice(0, coll24.size / 8).map({(i25: Int) => byteArrayToLong(coll24.slice(i25 * 8, i25 + 1 * 8)) }).fold(\n        0L, {(tuple25: (Long, Long)) => tuple25._1 + tuple25._2 }\n      ) + l23, 0L\n    )\n  )} else { l21 + l23 }\n  val coll25 = longToByteArray(l20).append(longToByteArray(l24))\n  val coll26 = coll1(5)\n  val func27 = {(box27: Box) => box27.R5[Coll[Long]].get(0) }\n  val func28 = {(box28: Box) => box28.R5[Coll[Long]].get(1) }\n  val func29 = {(box29: Box) => box29.R5[Coll[Long]].get(2) }\n  val func30 = {(box30: Box) => box30.R5[Coll[Long]].get(3) }\n  val func31 = {(box31: Box) => box31.R5[Coll[Long]].get(4) }\n  val func32 = {(box32: Box) =>\n    val coll34 = box32.R5[Coll[Long]].get\n    coll34.slice(5, coll34.size)\n  }\n  val func33 = {(box33: Box) => box33.R6[Coll[Coll[Long]]].get }\n  val func34 = {(box34: Box) => box34.R7[Coll[(AvlTree, AvlTree)]].get }\n  val func35 = {(box35: Box) => box35.R8[Coll[Long]].get }\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        {(tuple36: (Coll[Box], Coll[Byte])) => tuple36._1.filter({(box38: Box) => blake2b256(box38.propositionBytes) == tuple36._2 }) }(\n          (OUTPUTS, {(opt36: Option[Coll[Byte]]) => opt36.get.slice(1, 33) }(coll2(0)))\n        )(0).value >= SELF.value, {(tuple36: (Coll[Box], Coll[Byte])) =>\n          tuple36._1.exists({(box38: Box) => box38.tokens.exists({(tuple40: (Coll[Byte], Long)) => tuple40._1 == tuple36._2 }) })\n        }((OUTPUTS, coll3)), allOf(\n          Coll[Boolean](\n            box6.value == box7.value, box6.tokens == box7.tokens, func8(box6).digest == avlTree9.update(\n              Coll[(Coll[Byte], Coll[Byte])]((coll3, coll12)), coll1(3)\n            ).get.digest, func13(box6).digest == if (bool16) { avlTree14.update(Coll[(Coll[Byte], Coll[Byte])]((coll3, coll25)), coll26).get } else {\n              avlTree14.insert(Coll[(Coll[Byte], Coll[Byte])]((coll3, coll25)), coll26).get\n            }.digest, func27(box6) == func27(box7), func28(box6) == func28(box7), func29(box6) == func29(box7), func30(box6) == func30(\n              box7\n            ) + l20 - l19, func31(box6) == func31(box7) + l24 - l21, func32(box6) == func32(box7), func33(box6) == func33(box7), func34(box6) == func34(\n              box7\n            ), func35(box6) == func35(box7)\n          )\n        ), coll1(6) == coll12, coll1(7) == coll25\n      )\n    )\n  )\n}",
      "address": "2scJRPK51tGrb2cDysvQr6bzyvrNMmSx4Bzq78ykevmrR7HEo9sf7mPT5RBAaS1JcGN9VyK8wj5Kt9sogDPQqFkNuSxc2BDuqEDWQsXmeSicWxoAWighPbB5RNPjnSBT1DrN3yzhNMUGo63kuAfMaTY8GeNK5iSMcaQDKk4RRDtZZY3t9SAwKXyVRbQhUFq8aqSLMwsj81nRP9AnCb5zzVbY89GjUBhQHxgmrj5C7KQNybHuYv3CfAiiHRVpdHwPS9J3C22AjtBpNR28pqpcL2hy5Lv7bRyLuiRcbxLHtQx2T1j7SS9qDfe4x95fPhHNN2WzKwmeKMpAMrVwy4VoFX7CtTqrotdb7b3Hfmy5ksd11msbJZuSe1n9GjQ5XUuRAzVwsfXEPdM6nACD2k5ZmvYfNhmYsWX9YVFf7EZaNDiinumey6jdGPz4vJ4T2X4hyC7K42jPWQhP3zRZoDfGcRRHx81josoyswi9bdsfuXip8We1Wa1bLxLRT2C5ETzHDMKVbZcf5EADUag8vdT6UXR4J11zYZMHHAN45baLAr7pnw6wgmXTZxdZ3JytWd3HSAZonpJZkp3twFGDU1oYQou1JVZXsuHKvzUKT67aoQrV1EBDGU9MU3FPkV4m1fN4bRYgiLcTSALTrgH48GcPuo6CwigoCTk3LV1qdghpTFwyxzf4FJ1MyW5a5UMMaSG4REYqmo4tGmNawF7xCapC2J9AxM7joaMZz9HSiekcqjQDc9qyXkMC4NpXbN8X6dYgfwuXkAib8YeFDj9ScXq7yj1C6xdDJUbGwfrBYfQpKNdbgXM1C6ea1Zf4CZWnRqunEWEDyyLtLyy2yNh7JExWM7hoAt7WKnt8y1zxEYrguH1HDRb5NHxLdcQx2f84A1o5z9PEm8QrcU1DfwXNanWFwE7vV5Nd6dxaPNpcZ36upQnrYvGhnXgqsPYBEzkdboVwfxAZ1eRMeGFxvoeoWbK3sLS1iHbYhHKMfXAaUMBzTwMvon7QKG8jM8A7syTKxZZF3Urfjk14qwUNjSDamPgzy3zraNorawM3Tn4c2YwEMBuSq82SjNkFNSG52TdwV9ErA93Pju5Ly4s5bZH2QTvG3A8nURMzGwS9ido3DV2Vwkq8aFx1VMiup5ARVN9cShUHYtJrKUGZxKJVs5cPjoco7RcuDFbWGTZx6aA1BLVWoX3Mx9gh4BxGEdVKkDcyTaL4AsSb4UfoFMJoUJLJenMY24pCPvQJQwtWAaPU2wzC54W8Z7dHT7wxKYoSobjjJmhzwYpcM93SS8BSH2Tj5WGYC2YGtB1yPirgi91pmMZkQmB5AWwh1Pc6i3Q6MtXaLw2zDWQrK5Pn9XUycM2sGF6oHvWH6WXUJjmd1uHVaGLUrcR24EBkpm3U9FWamZzWMKxcSVdzhxEj8XqryVLw18sz8hBbNTa1SzqR3vEuZuq4LMbUpM72LqgoEBGCYAAQfHECtiqjP1WzhEBkesLwaF8cdyxtddh5veqKh7Wi677xRr1Ep5zpWYmuPXKd5kj9gGdx445Afjj9UudZvx5zoF3MS5AjHFBRUH8hJanLzPxNh89mXBK76ozP2XCiMTxv4xWMEJtjWz1phRKFwA2AD212rf699PUne24RvNabPZxj21HdWFPddu14Y1qJVGYszMqPGampePUHZC4msMSLSaAgZZjsSSjcU3a8TmwQ",
      "assets": [],
      "additionalRegisters": {}
    },
    {
      "boxId": "9456a579abcabe4556b60a0c3ee8b78dc18d2de98ba0aec12cdd4ae286832fe8",
      "value": 5000000,
      "index": 2,
      "spendingProof": null,
      "outputBlockId": "17e420811284c6ae3f88c3a6cbac7dd904efc27a163535b432ec65e2989b9b48",
      "outputTransactionId": "338f31b8cb4fcf6c85ddb54445eab01b5b1177692c939650f13c03330f492181",
      "outputIndex": 1,
      "outputGlobalIndex": 46289219,
      "outputCreatedAt": 1462474,
      "outputSettledAt": 1462476,
      "ergoTree": "10040e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008e0e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad4890e20a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01d815d601d9010163b2db63087201040000d602d901023c0c630eae8c720201d9010463aedb63087204d901064d0e938c7206018c720202d603db6503fed604e4e30002d605d9010563d801d607e4c672050511b472070404b17207d606e30a4005d607860204030500d6087207d609e572067208d60a8c720901d60b8c720902d60cd9010c3c0c630eb58c720c01d9010e6393cbc2720e8c720c02d60dd9010d63b2e4c6720d0410040000d60ed9010e63b2e4c6720e0511040200d60fd9010f63e4c6720f0664d610d9011063b2e4c672100410040200d6117303d612d901123c0c630eb58c721201d9011463aedb63087214d901164d0e938c7216018c721202d613d9011363e4c672130464d614d901143c324159d805d6168c721402d6178c721601d6188c721602d6198c721801d61a8c721802e5dc24078c72140101d9011b0e9593b1721b0412d801d61d7cb4721b04020412958f721d721772179591721d72197219721d721a721ad615d9011563b2e4c672150511040000d197830301dad901160295937216020cdad901181a968303019199db690572038cc7a70104e09e60af7218d9011a0eefda7202018602a5721a93b1a404020183010e8cda720101a7010100017204dad901160295937216020dd80fd618da720501a7d619c2a7d61ab2da720c018602a5cb7219040000d61bc1721ad61cda720e01a7d61ddb6501fed61e830002d61fdc640bda721301b2da7212018602721d73000400000283020e83200202f602ff028b0272021002010255024502d402b302ac025f02c6020c02900280029202d0023502a102a10261025502c0022902e802d502110262027c027a022c83200202af0278025b020a02dd0280025c025c023102f102cc023a023e029602c80290020802fd0271022702320201020702a30278024b027f024902e9025602480242e5e3010e721ed62086020502860205ce0f05e807d6217206d6227207d6237208d6247209d625dc640bda721301b2da7212018602721d73010400000283020e83200202f50291028e02b402b00228023c0266029b02dd028a0219025602400276026c021902e4020a0269023a0266029702b7027502b0028e020902050225022302d48320020276027c02aa028002b9028e0249026a02d802a902f6028902c40241020a02e402530232027f020f029502e90250028402c002ae0220026302500279023b0277e5e3020e721ed626b2da720c018602a5dad9012632b4e472260402044201b2722504020004000096830501ededafdb0c0e7218d901270495937227720a93b27218722700720b90b27218722700720b91b17218720a92720a04009683090193c2721a721992721b99c1a705809bee0292721b058092f40193da720101721ada720101a793da720d01721ada720d01a793da720e01721a721c93da720501721a721893da720f01721ada720f01a793da721001721a95ed92721c9d9cdad9012763b2e4c67227051104020001b2da7212018602721d7211040000da7214018602b2721f040000722005d00fd801d627720b9272279d9c721cda7214018602b2721f040200722005d00f720a040391db69037203da721501a79683020192c172260580897a92dad901273c0c630eb0dc0c0f8c72270101d9012963db630872290500d90129414d0ed801d62b8c7229029a8c72290195938c722b018c7227028c722b02050001860283016372267302a18cb2db6308a7040200027cb4e4b272250400000402041293da721001a704010100017204dad9011602959372160206d80ed618e4e3011ad619b27218040800d61ab27218040600d61badb4db0c0e721a04009db1721a0410d9011b047cb4721a9c721b04109c9a721b04020410d61cb0721b0500d9011c599a8c721c018c721c02d61dc2a7d61eb2da720c018602a5cb721d040000d61fda721501a7d620da720f01a7d621dc640a7220027219b27218040000d622e67221d623b27218040200d624da720501a7d625da720501721e96830c01927cb4e4dc640adad9012663b2e4c67226040c6404000001b2da7212018602a47211040000027219b2721804040004100420721c93c2721e721d92c1721ec1a793db6308721edb6308a793da720d01721eda720d01a793da721001721eda721001a793da721501721e721f93db6401da720f01721edb6401957222e4dc640d72200283013c0e0e86027219721a7223e4dc640c72200283013c0e0e86027219721a72238fdb69037203721f957222d802d626e47221d627adb4db0c0e722604009db172260410d90127047cb472269c722704109c9a7227040204109683020193da720e01721e9a99da720e01a7b072270500d90128599a8c7228018c722802721c937225addc0c1d722401addc0c1d722701721bd9012859998c7228028c722801d90128599a8c7228018c7228029683020193da720e01721e9ada720e01a7721c937225addc0c1d722401721bd90126599a8c7226018c722602da7202018602a4721994722572240100017204",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)\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(-89,-10,-44,-52,-15,40,-118,43,121,-29,-40,116,30,30,32,56,40,19,90,18,-71,47,-115,-60,-14,-46,30,64,115,-114,14,1)",
      "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 b4 = getVar[Byte](0.toByte).get\n  val func5 = {(box5: Box) =>\n    val coll7 = box5.R5[Coll[Long]].get\n    coll7.slice(2, coll7.size)\n  }\n  val opt6 = getVar[(Int, Long)](10.toByte)\n  val tuple7 = (-2, 0L)\n  val tuple8 = tuple7\n  val tuple9 = opt6.getOrElse(tuple8)\n  val i10 = tuple9._1\n  val l11 = tuple9._2\n  val func12 = {(tuple12: (Coll[Box], Coll[Byte])) => tuple12._1.filter({(box14: Box) => blake2b256(box14.propositionBytes) == tuple12._2 }) }\n  val func13 = {(box13: Box) => box13.R4[Coll[Int]].get(0) }\n  val func14 = {(box14: Box) => box14.R5[Coll[Long]].get(1) }\n  val func15 = {(box15: Box) => box15.R6[AvlTree].get }\n  val func16 = {(box16: Box) => box16.R4[Coll[Int]].get(1) }\n  val coll17 = placeholder[Coll[Byte]](3)\n  val func18 = {(tuple18: (Coll[Box], Coll[Byte])) =>\n    tuple18._1.filter({(box20: Box) => box20.tokens.exists({(tuple22: (Coll[Byte], Long)) => tuple22._1 == tuple18._2 }) })\n  }\n  val func19 = {(box19: Box) => box19.R4[AvlTree].get }\n  val func20 = {(tuple20: (Option[Coll[Byte]], (Long, (Long, Long)))) =>\n    val tuple22 = tuple20._2\n    val l23 = tuple22._1\n    val tuple24 = tuple22._2\n    val l25 = tuple24._1\n    val l26 = tuple24._2\n    tuple20._1.map({(coll27: Coll[Byte]) => if (coll27.size == 9) {(\n          val l29 = byteArrayToLong(coll27.slice(1, 9))\n          if (l29 < l23) { l23 } else { if (l29 > l25) { l25 } else { l29 } }\n        )} else { l26 } }).getOrElse(l26)\n  }\n  val func21 = {(box21: Box) => box21.R5[Coll[Long]].get(0) }\n  sigmaProp(\n    anyOf(\n      Coll[Boolean](\n        {(b22: Byte) =>\n          if (b22 == 12.toByte) {\n            {(coll24: Coll[Coll[Byte]]) =>\n              allOf(\n                Coll[Boolean](\n                  preHeader3.height - SELF.creationInfo._1 > 788400, coll24.forall({(coll26: Coll[Byte]) => !func2((OUTPUTS, coll26)) }), INPUTS.size == 1\n                )\n              )\n            }(Coll[Coll[Byte]](func1(SELF)._1))\n          } else { false }\n        }(b4), {(b22: Byte) => if (b22 == 13.toByte) {(\n            val coll24 = func5(SELF)\n            val coll25 = SELF.propositionBytes\n            val box26 = func12((OUTPUTS, blake2b256(coll25)))(0)\n            val l27 = box26.value\n            val l28 = func14(SELF)\n            val coll29 = CONTEXT.dataInputs\n            val coll30 = Coll[Byte]()\n            val coll31 = func19(func18((coll29, placeholder[Coll[Byte]](0)))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-10.toByte, -1.toByte, -117.toByte, 114.toByte, 16.toByte, 1.toByte, 85.toByte, 69.toByte, -44.toByte, -77.toByte, -84.toByte, 95.toByte, -58.toByte, 12.toByte, -112.toByte, -128.toByte, -110.toByte, -48.toByte, 53.toByte, -95.toByte, -95.toByte, 97.toByte, 85.toByte, -64.toByte, 41.toByte, -24.toByte, -43.toByte, 17.toByte, 98.toByte, 124.toByte, 122.toByte, 44.toByte), Coll[Byte](-81.toByte, 120.toByte, 91.toByte, 10.toByte, -35.toByte, -128.toByte, 92.toByte, 92.toByte, 49.toByte, -15.toByte, -52.toByte, 58.toByte, 62.toByte, -106.toByte, -56.toByte, -112.toByte, 8.toByte, -3.toByte, 113.toByte, 39.toByte, 50.toByte, 1.toByte, 7.toByte, -93.toByte, 120.toByte, 75.toByte, 127.toByte, 73.toByte, -23.toByte, 86.toByte, 72.toByte, 66.toByte)), getVar[Coll[Byte]](1.toByte).getOrElse(coll30))\n            val tuple32 = (1L, (999L, 500L))\n            val opt33 = opt6\n            val tuple34 = tuple7\n            val tuple35 = tuple8\n            val tuple36 = tuple9\n            val coll37 = func19(func18((coll29, placeholder[Coll[Byte]](1)))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-11.toByte, -111.toByte, -114.toByte, -76.toByte, -80.toByte, 40.toByte, 60.toByte, 102.toByte, -101.toByte, -35.toByte, -118.toByte, 25.toByte, 86.toByte, 64.toByte, 118.toByte, 108.toByte, 25.toByte, -28.toByte, 10.toByte, 105.toByte, 58.toByte, 102.toByte, -105.toByte, -73.toByte, 117.toByte, -80.toByte, -114.toByte, 9.toByte, 5.toByte, 37.toByte, 35.toByte, -44.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)), getVar[Coll[Byte]](2.toByte).getOrElse(coll30))\n            val box38 = func12((OUTPUTS, {(opt38: Option[Coll[Byte]]) => opt38.get.slice(1, 33) }(coll37(1))))(0)\n            allOf(Coll[Boolean]((coll24.indices.forall({(i39: Int) => if (i39 == i10) { coll24(i39) == l11 } else { coll24(i39) <= l11 } }) && (coll24.size > i10)) && (i10 >= 0), allOf(Coll[Boolean](box26.propositionBytes == coll25, l27 >= SELF.value - 3000000L, l27 >= 2000000L, func1(box26) == func1(SELF), func13(box26) == func13(SELF), func14(box26) == l28, func5(box26) == coll24, func15(box26) == func15(SELF), func16(box26) == if ((l28 >= {(box39: Box) => box39.R5[Coll[Long]].get(1) }(func18((coll29, coll17))(0)) * func20((coll31(0), tuple32)) / 1000L) && \n                      val l39 = l11\n                      l39 >= l28 * func20((coll31(1), tuple32)) / 1000L\n                    ) { i10 } else { -2 })), preHeader3.timestamp > func21(SELF), allOf(Coll[Boolean](box38.value >= 1000000L, {(tuple39: (Coll[Box], Coll[Byte])) => tuple39._1.flatMap({(box41: Box) => box41.tokens }).fold(0L, {(tuple41: (Long, (Coll[Byte], Long))) =>\n                          val tuple43 = tuple41._2\n                          tuple41._1 + if (tuple43._1 == tuple39._2) { tuple43._2 } else { 0L }\n                        }) }((Coll[Box](box38), placeholder[Coll[Byte]](2))) >= min(SELF.tokens(1)._2, byteArrayToLong(coll37(0).get.slice(1, 9))))), func16(SELF) == -1))\n          )} else { false } }(b4), {(b22: Byte) => if (b22 == 6.toByte) {(\n            val coll24 = getVar[Coll[Coll[Byte]]](1.toByte).get\n            val coll25 = coll24(4)\n            val coll26 = coll24(3)\n            val coll27 = coll26.indices.slice(0, coll26.size / 8).map({(i27: Int) => byteArrayToLong(coll26.slice(i27 * 8, i27 + 1 * 8)) })\n            val l28 = coll27.fold(0L, {(tuple28: (Long, Long)) => tuple28._1 + tuple28._2 })\n            val coll29 = SELF.propositionBytes\n            val box30 = func12((OUTPUTS, blake2b256(coll29)))(0)\n            val l31 = func21(SELF)\n            val avlTree32 = func15(SELF)\n            val opt33 = avlTree32.get(coll25, coll24(0))\n            val bool34 = opt33.isDefined\n            val coll35 = coll24(1)\n            val coll36 = func5(SELF)\n            val coll37 = func5(box30)\n            allOf(Coll[Boolean](byteArrayToLong({(box38: Box) => box38.R4[Coll[AvlTree]].get(0) }(func18((INPUTS, coll17))(0)).get(coll25, coll24(2)).get.slice(8, 16)) >= l28, box30.propositionBytes == coll29, box30.value >= SELF.value, box30.tokens == SELF.tokens, func13(box30) == func13(SELF), func16(box30) == func16(SELF), func21(box30) == l31, func15(box30).digest == if (bool34) { avlTree32.update(Coll[(Coll[Byte], Coll[Byte])]((coll25, coll26)), coll35).get } else { avlTree32.insert(Coll[(Coll[Byte], Coll[Byte])]((coll25, coll26)), coll35).get }.digest, preHeader3.timestamp < l31, if (bool34) {(\n                  val coll38 = opt33.get\n                  val coll39 = coll38.indices.slice(0, coll38.size / 8).map({(i39: Int) => byteArrayToLong(coll38.slice(i39 * 8, i39 + 1 * 8)) })\n                  allOf(Coll[Boolean](func14(box30) == func14(SELF) - coll39.fold(0L, {(tuple40: (Long, Long)) => tuple40._1 + tuple40._2 }) + l28, coll37 == coll36.zip(coll39.zip(coll27).map({(tuple40: (Long, Long)) => tuple40._2 - tuple40._1 })).map({(tuple40: (Long, Long)) => tuple40._1 + tuple40._2 })))\n                )} else { allOf(Coll[Boolean](func14(box30) == func14(SELF) + l28, coll37 == coll36.zip(coll27).map({(tuple38: (Long, Long)) => tuple38._1 + tuple38._2 }))) }, func2((INPUTS, coll25)), coll37 != coll36))\n          )} else { false } }(b4)\n      )\n    )\n  )\n}",
      "address": "2HqXK77AdSbSWkwAueGZix6A4jZiXNivR5a579JRTgaoH3Psb2QPey8sYqMz2n4VRbozob657tSeyNZY1SqNTDXUqorzAmPxZWySsVguUxXuCAjHDyzkh5Zwa8hkrcpJiXKabtj3kHP33brLEWjoCToXnRGnxFmQAfiDXdZdNLhVTuGWm2FmqK2KBMrnouWFDkQeKitYvinbpySYbY6HELScsTDJuykCohoVJJPWcAnZFZ37KFqs7C8S6FB5Q4FadfKzfE5zQCWyxMcef7BRzM6BpemCHK9yShM24suqRa9fmP55nHUfx9CRfePeBk6XuMUd9UxMzutokacxGGJRFqqwmcAC8roT4nDR7vLyGVGrXZ8SwubXf6rvKC4NupQCNK6iJDCrDpaRbxew3USLU5FKuiAzz26RGVU4AKFfBKiSoSbVkMsHjXH2kdeSsUXdLFWTgcx2wir5FroR8TCtEPDd4FfQ5UwvBDtsPHP1iU1D1GXa8wTVoLt7N247cqpoSxuvqvp8UaYTAgAngYUgtFbCQge5SnUu7XqsFz5sAvWVFUyGKE4Zn85C5j4E3dkEa4rG3fPtwn3E1DTD57KnndaWGWB9zax9Rt1S6ajNZpu8Ks9jirHS7Qqn6UH979qkVWu61aeW9b2T52zLrYeBuuYwtK3d5eePwnF9xGtJBLKKSkawLG9bahrDzKB5QAf63o1EwnLBUgtk7xbS8o1RyxuRRZ5xvJXvX1vpmzfS3h1ibhtUAWCcs8d5CJJx3vkQfJ4yKUiJ6z5FDjhVqbwvdVWR63rAWB2PjJgFiYeEXx4Ve18p7awUhNn4VycpLy9XEJazUyzTnV11jp9d7Ghhp66shdHdvkL8YSWKubUptqxiX52asGYcTsPpw7cfi3TCJipNZJ7CiwxQLXnj7SyaTE5KYPJjSzc9Kos63FWTGQR31cfr1cDbtTtLP35nggiZvoE7jQDWCKJR79EEZHYUHHu98ddW29mmNNwvim7mVc4T3hGPwPgy7bNwfjkwgfPtJofzi635CcCCi5pDduCUvJw1bntwyvjA99gfcNhhX2J4PwnxdGEuDD5xtTe6TE8nzfdBJeBDuY2AXPTVg3cq3BVV87axyudSbqFxY4QSUXeP9Vakmp75nWaweK85Wat7X6hUjXiPpcyoiNM25dkw94oNNEFdHRDWtGxSow6sDJH7N2K4oD65SvWjP21PYb97QHZ6SEQUDNCPaW16V7AqX7VXcKR1snA7ytWmiJK2Afzu2RrGLuXqHg2awPvdvbR8wyG458UEieT4cxPmTh6P4J7coQ2Ah1R3qyW7Xm18k91T4Q1Zg6Srs37uWNsr6iNpccLp9knwiVyNeooSsejpdsPdd8eHNjk9MefoCG8429HegLqiKkCoDZU5oBkfcEA9qkj1XLdtfEtJf4xJhUtHE6syZhgzzt4p2PLswpnAD2hBe3Kc4FxGzqRhsGQDHEE72QPpR2Yh83NRyS5zYy7ZuUjnipxCWhzWjJC6WiHEaCa3hCiQGnaNyP9WgAo1xLD69wtcYvFcdCZ9Dh9KMW4Jv74fpvjTLCR43enERoYYPKEripw4rYJ2ZcNCHizfofaqrdy1kzTCZeVRyQ3ziEiiQefsV5v7EmC8tBWfpqbhM1NeU4PDn8MSf6unzABWgbguitND6BsbjF6piNFRmvKpTEPrF3rGscbJrbdqKaN7dWqMJKQfQSxkhH19ZUfp92DQhuXw3p6pueEn4ujfTcZgGFaT5gd2TL1susaJLtcqjdrachtRRrX89ViGUVd1UrhZ6jRmhwhoRzQZLtdVn6YWzYgwQtgMN2f5u1JuMutfDAZwzxmcuR2PEFgPNYCfkG2J1Qn1Z1y7sG5XoShdB7eGYio8pHnvsksRXUXQoWidkhRUMs9V2XSCFNS4xCGxDH6brWLjbE4FDh8eVM8JryTjn5dXL9aMZhcNaoKsfXz4LrhdFRQxpsVCdpPBsj1zQ2JHR3JX5oqgrPHQUGGYd9PuRaUEGExRTgwpwCk89oRXJSEYkQSXfsieRNArp5VsmCx1JoFWf4Vi3NUFD3qRiX75Xo1YjnBvqVyakMZms3AuAbn1Aef2JjicWq6xCnfaHX1taEh8KCbtnw9LmAfCaoE6sSMC1brechk5p9gsKusPZHqH17PwMiu7te6XJuwvYCmVessssBH92y8qtCSim2JejjmjAEfaTGfXgbXJefveY6qrPsY9ZRAkow4kBWvGvy2yuR1pJAVP1DCQ8vk8GBKz2aMyTKUqprAzQYX9ZyJx5wSZMhGzKx2qTrgiqLzrDg1z8h7q3CApV4PUMW3R2AwHgijynEeiqGUHMnxiQVmUp5ce3hR5irAkL287tD7hPTVsECAHK1D9W6QJ4fKoY8K84v6Cs1aiDPgR9yWKzkYDfeuFndHVHqiZc49xyx3YQYESVoiKaeCjzahy1hkQC9JrJukRAWEp2VnixH8zpSNpKRCHCeCsZcehup1LCaVhrdMVKK2UXxvFxcLuDMd1Y3QXKEsaS9J2nUA4BnSdEKpVFZNDwKiqK34f7U6QKzSDszLU3o3sa5qszm9ptmXRzwiPvLKAZNmeq6uBgZU1aPZPdBc1ZBDidLgs7v5ytaQvBbEJgyXp4HhE5FWez54UBYsWqTL2UV5bssbp5DVXRpMNWMYKxWHByE3sRGnEmk",
      "assets": [
        {
          "tokenId": "4afba4014c298e92a214caea22a3d9bd57240449c03f5a136267998cf8e5bd89",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Proposal",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 5000000,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "10020201",
          "sigmaType": "Coll[SInt]",
          "renderedValue": "[1,-1]"
        },
        "R5": {
          "serializedValue": "110484e9b1efa465000000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1740115425858,0,0,0]"
        },
        "R6": {
          "serializedValue": "644ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R7": {
          "serializedValue": "0e135573652045524720666f72204255524e204c50",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "5573652045524720666f72204255524e204c50"
        }
      }
    },
    {
      "boxId": "f6b961b362133c4fa7981105b32faeba05cc91355f15d17909867ae3ed432828",
      "value": 1000000,
      "index": 3,
      "spendingProof": "9d42bf73b11e61ce22b1f675b30779bbb5723949e841473accb8af0f93ad8b97c68f4a85afb1613e250ea408e9f75f1e4a7c5208124dc195",
      "outputBlockId": "034e0188dbbe79686992b280eb7e098a2b7cf445d8993007db080b3b327c7ccc",
      "outputTransactionId": "f0c7bec9869c16488748d829e56a30700034aba37a66d1005b62d3b27593211f",
      "outputIndex": 0,
      "outputGlobalIndex": 46183064,
      "outputCreatedAt": 1457636,
      "outputSettledAt": 1457638,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [
        {
          "tokenId": "835f56148fec89c5248fd02441037c7d936bbe6bff50dae9232be9d2e084c6a9",
          "index": 0,
          "amount": 1,
          "name": "PoW WoW Girls #0710",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0e1b506f5720576f57204769726c732062792057616c7275732044414f",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "506f5720576f57204769726c732062792057616c7275732044414f"
        },
        "R6": {
          "serializedValue": "0e0130",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "30"
        },
        "R8": {
          "serializedValue": "0e20e1b2229b3809aef4cd7d8e280b1c2c56c7691341dd3bbd32bfaf796cbec701d8",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "e1b2229b3809aef4cd7d8e280b1c2c56c7691341dd3bbd32bfaf796cbec701d8"
        },
        "R7": {
          "serializedValue": "0e020101",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0101"
        },
        "R9": {
          "serializedValue": "0e3f68747470733a2f2f617277656176652e6e65742f377442554279623455596735633652787557356242596250392d484332366b384655765431526a71774545",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "68747470733a2f2f617277656176652e6e65742f377442554279623455596735633652787557356242596250392d484332366b384655765431526a71774545"
        },
        "R4": {
          "serializedValue": "0e13506f5720576f57204769726c73202330373130",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "506f5720576f57204769726c73202330373130"
        }
      }
    },
    {
      "boxId": "96aeaec43aaee48a4d9e80e63d1c7ae6d517a1a904cdfae7fccf5871488d659a",
      "value": 1000000,
      "index": 4,
      "spendingProof": "86ae68481173d21dfbaf81a23aca16500dfc4b4984f051dad1ee566799babd7467fe596f97c77d18243193f4bd168bb5301deaba12319348",
      "outputBlockId": "49d7081997ca05eabc202d9322346e2f93d89717516a3b97d7f10951b75513b4",
      "outputTransactionId": "86c4b8f5134205fc6c26caac47a40ff240a88001bd38a2db3ce2a2b8842b893c",
      "outputIndex": 0,
      "outputGlobalIndex": 46183187,
      "outputCreatedAt": 1457639,
      "outputSettledAt": 1457641,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [
        {
          "tokenId": "1123a40c48a7695055148988b15f8fa87cd5c11d07b5e64b8c5d5ad1108f7083",
          "index": 0,
          "amount": 1,
          "name": "PoW WoW Girls #0051",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "0e1b506f5720576f57204769726c732062792057616c7275732044414f",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "506f5720576f57204769726c732062792057616c7275732044414f"
        },
        "R6": {
          "serializedValue": "0e0130",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "30"
        },
        "R8": {
          "serializedValue": "0e201bcc5ef533643fc3d439922e9baec95f5fa992739acbf383ee9e2e651b052fda",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "1bcc5ef533643fc3d439922e9baec95f5fa992739acbf383ee9e2e651b052fda"
        },
        "R7": {
          "serializedValue": "0e020101",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "0101"
        },
        "R9": {
          "serializedValue": "0e3f68747470733a2f2f617277656176652e6e65742f527a58457149444e6e5333346d6878667233766a5a6f6a5f37736945662d6e557454306151477235676649",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "68747470733a2f2f617277656176652e6e65742f527a58457149444e6e5333346d6878667233766a5a6f6a5f37736945662d6e557454306151477235676649"
        },
        "R4": {
          "serializedValue": "0e13506f5720576f57204769726c73202330303531",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "506f5720576f57204769726c73202330303531"
        }
      }
    },
    {
      "boxId": "af77e1378448e3b2d02b0452873975d882169159fbb99319bdd33c81078f921b",
      "value": 4000000000,
      "index": 5,
      "spendingProof": "0d5f6c84734ca01f348de36bc7ed833646f41c5d85c0b67241155075772955bdc46bd23dee0d51dd957855d3aec0693cea9adef074f70659",
      "outputBlockId": "b3fcd5ee3ab408176f091b52b72647b862289e251aa1be996572dc6901315759",
      "outputTransactionId": "d051c146d4db2950ecc6d028c7bb3f5de5a885f3dd6d5529367f27e65de547f5",
      "outputIndex": 0,
      "outputGlobalIndex": 46194183,
      "outputCreatedAt": 1458107,
      "outputSettledAt": 1458110,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [],
      "additionalRegisters": {}
    },
    {
      "boxId": "5f7ee1476eeea7cf2902cf170f0ac6277bb017b48949f9a2fa3585393a0a01d8",
      "value": 1000000,
      "index": 6,
      "spendingProof": "fafa68613a32e65a8cd783b2a8955a2243a01913c36cf3768aa25a2c212fec8c00efd572c91f8af4738ddae3e1be9e2404cd95fe5612e257",
      "outputBlockId": "57df99ac4548bfbd5eb6f752b0572df7f545f1fc6ce69d69d89842c6673d259e",
      "outputTransactionId": "f10bc9c318ac2376214c7bd3834e65be2e9a2891ed67310efef0c47d81fba4b3",
      "outputIndex": 2,
      "outputGlobalIndex": 46290485,
      "outputCreatedAt": 1462533,
      "outputSettledAt": 1462535,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [
        {
          "tokenId": "895ca7298ca635899ef9e1f871047eba15696557ad3ffe8a9ec678165f8bcb27",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Membership",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {}
    }
  ],
  "dataInputs": [
    {
      "boxId": "5ba2214a70f0109781353eb6d8729e7d479882a0c3d89f2ebb34a285d88621db",
      "value": 1000000000,
      "index": 0,
      "outputBlockId": "30231635b59a9b6efde43747809e522e5ac8b89f19421bd6d2eb0c9a226d9d96",
      "outputTransactionId": "8da1f966022432fd7fc772f5936e1f332d6af56bc0d56f699d90a634c5c5840c",
      "outputIndex": 0,
      "ergoTree": "10010e2097f262a9dde3bb81a680e9716e79c0b4e6e4e88b13f785acc917604fc02425b8d808d601d901013c0c630eb58c720101d9010363aedb63087203d901054d0e938c7205018c720102d602d9010263e4c672020464d60383200202a90255028e0241028602cb02d502aa0257022302a8025202d402c102dc0265027d029e02810243028202ff0288028d025a028a02ec0252021502310230021dd604e3010ed605d9010532b4e4720504020442d606e4e30002d607dc0c1aa402a70400d608d9010805958f72080580020402958f7208058080020404958f720805808080020406958f72080580808080020408958f720805808080808002040a958f72080580808080808002040c958f7208058080808080808002040e958f72080580808080808080800204100412d197830201dad9010902959372090208d802d60bb2da7201018602a5dad9010b638cb2db6308720b0400000101a7040000d60cdc640bda720201720b0283020e7203cbb3831c020269026d022e0270026102690264026502690261022e0263026f026e027402720261026302740273022e0261026302740269026f026e022ec2b2da7201018602a47300040000e472049683040193db6308a7db6308720b90c1a7c1720b93cbc2720bda720501b2720c040000e6b2720c0402000100017206ed9372060207dad901093c0e6395927207b1a50100d809d60bb2a5720700d60cc1720bd60dc1a7d60ec2720bd60fc4a7d610c2a7d6118cc7a701d612c4720bd6138cc7720b019683040192720c99720d058092f40193cb720eda720501b2dc640bda7202018c7209020283010e8c720901e5720483000204000093b4720f9a9ada720801720db17210da7208017e721105b1720fb472129a9ada720801720cb1720eda7208017e721305b17212978302019299721372110480c33d947210720e0186027203a7",
      "address": "GcZsF93HXp9B7ZcR6FgxkwWQkVck6KDwG3YQhm7ziEfGZsGYD2H4SuQg26NB6NQb8j6F2RqDGvyoCQfT2NqZ9VPDGXXVp6CbC1HSZH2REfRr3DCJdVWUdJUR3SPbKZcMG9xRTMmc4NgnAGzsmma1WyfrqkPMQe8LjkjPTEZZbCKHNypRkQLk2tgiHyzTK7Scc1iTP1Z6kH3qufJHvEL2aunsfBMHQNyswwjtid8LSsn3MGHKx89GMD1AhMJz9zfaRJwuy7VuvsbbWUmx7zNTpKiqBotLDUgttbbvPgycFipTTV3tCwtx6THBBcb9MaL4rs9V9kkLvPcVsCzCMdd9XjoqwfKiGhNdbjouDcE4zMFHUxNEuKwKCvgaNzrAHef3WNFa6XXwgvRzdghfYvTzaJY9tSLmWAs9uZ9x85UPEk3JKPR7sSPiy8j7HXDrQyceqjRChWfMnp5dgD6PYKFErBEzAokhbNh5ScBtiexPkSanVsBGUjmY1qh2j5JaayzvTYg1r9dqtJ6KCD2QT4ES7Es4qoZzrpEKDEnK6GSfefMgbDcChtzyW1Qr8z6449SSXLKQgjxRJdz6gzWWufYTkiKYa668kDh1vafe7itHUxgA4Gs79AB3niGRk8ESHbFTqugewghMXbM4ZzSo7pEaNp93PLE5pdApL9Fac4HeH7Eg6SY9QQvYSernF5tp1Jzfr9Sp5MoBGYQomJsx8KPgzMdxtJGnhiVE3eUbhqK3hLZEfAj6bvMkpKycDDUd74tLpnydFeq4M4WieAabMt8snnDvw73te1CHGMDrFjogK1MVekvEy4c8kg1URgAGG7HN9U7yubtmqrkEhuyLyQ2Pc8cQWMJ2ooiQAYaNoHwc4JLH5LURw15YGUcuFuwtqShp5EaFoE5Mgjmk7BezKYnM5ooS5QDB1Wv9qhSi64Try3k3zj7fst4",
      "assets": [],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "64053e63a3d34e26878b942de99b097232977483b952ff5ce991342d87a00918b206072000",
          "sigmaType": null,
          "renderedValue": null
        }
      }
    }
  ],
  "outputs": [
    {
      "boxId": "1058155cdcac0a2da743e6c5913765c8120730bf7801548769f6860b4094cff8",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 1000000000,
      "index": 0,
      "globalIndex": 46290856,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "10010e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008ed80ed60183200202de02ae02cf025b026402ba02d602f50257020b02ad020a0261020c024e02480249025702cf0247028202300284020002bc02900240024c021d0214021002dad602d9010263e4c672020464d603d901033c0c630eb58c720301d9010563aedb63087205d901074d0e938c7207018c720302d604b2da7203018602db6501fe7300040000d605e3010ed606d9010632b4e4720604020442d607d9010763b2db63087207040000d608da720701a7d609b2da7203018602a58c720801040000d60ad9010a63b2db6308720a040200d60bd9010b0ed801d60ddc640bda72020172040283020e7201720be472059683020193b1dad9010e3c0c630eb58c720e01d901106393cbc272108c720e02018602a4da720601b2720d0402000402dad9010e0e9683030193cbc27209720e93da72070172097208938cda720a017209018cda720a01a70101da720601b2720d040000d60ce4e30002d60ddc0c1aa402a70400d60ed9010e05958f720e0580020402958f720e058080020404958f720e05808080020406958f720e0580808080020408958f720e05808080808002040a958f720e0580808080808002040c958f720e058080808080808002040e958f720e0580808080808080800204100412d197830801dad9010f029593720f0200da720b0183200202030292020802bc024e02ef029a020302e802d7028b0286026302a3020102bb025f02ad02dc02a7028b02e1029d027f02e5023502b302c6024c02be02fe0242010001720cdad9010f029593720f0202da720b01832002028b02c7028f021c026a02ae02c9021e0262028e021502cf0266028c021602cc021e029b02d802e402b902b702e1026d0263021802b502f5022302a502e902bd010001720cdad9010f029593720f0201da720b01832002028802300261022c02520235025f026f0228020d0212029702f1029f026702b0027802c902da02a702d702b0024b0245029c029102cc02640249025702c20280010001720cdad9010f029593720f0203da720b01832002024f02d802b002d602d9028202420272026f025702b302df02a6028602120267029202b802e50205026e021d025102b602e9020d0268028002cf022d02cd02c5010001720cdad9010f029593720f0204da720b018320020289022e026f024702a1020d025c029002b8027a02d402860233025502ce02ad020002c302e202980232021702ee021502530232025302cd029a0260022502c2010001720cdad9010f029593720f0205da720b01832002023a02110295025c0247021902e5028802bc02e602a70261021d022702bd021f02df02db02570238025c02ae02e2026602d80204020c0289024f021c022e021d010001720cdad9010f029593720f0206da720b0183200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e010001720cdad9010f029593720f0207dad901113c0e639592720db1a50100d809d613b2a5720d00d614c17213d615c1a7d616c27213d617c4a7d618c2a7d6198cc7a701d61ac47213d61b8cc772130196830401927214997215058092f40193cb7216da720601b2dc640bda7202018c7211020283010e8c721101e5720583000204000093b472179a9ada720e017215b17218da720e017e721905b17217b4721a9a9ada720e017214b17216da720e017e721b05b1721a978302019299721b72190480c33d947218721601860272017204010001720c",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)",
      "ergoTreeScript": "{\n  val coll1 = Coll[Byte](\n    -34.toByte, -82.toByte, -49.toByte, 91.toByte, 100.toByte, -70.toByte, -42.toByte, -11.toByte, 87.toByte, 11.toByte, -83.toByte, 10.toByte, 97.toByte, 12.toByte, 78.toByte, 72.toByte, 73.toByte, 87.toByte, -49.toByte, 71.toByte, -126.toByte, 48.toByte, -124.toByte, 0.toByte, -68.toByte, -112.toByte, 64.toByte, 76.toByte, 29.toByte, 20.toByte, 16.toByte, -38.toByte\n  )\n  val func2 = {(box2: Box) => box2.R4[AvlTree].get }\n  val func3 = {(tuple3: (Coll[Box], Coll[Byte])) =>\n    tuple3._1.filter({(box5: Box) => box5.tokens.exists({(tuple7: (Coll[Byte], Long)) => tuple7._1 == tuple3._2 }) })\n  }\n  val box4 = func3((CONTEXT.dataInputs, placeholder[Coll[Byte]](0)))(0)\n  val opt5 = getVar[Coll[Byte]](1.toByte)\n  val func6 = {(opt6: Option[Coll[Byte]]) => opt6.get.slice(1, 33) }\n  val func7 = {(box7: Box) => box7.tokens(0) }\n  val tuple8 = func7(SELF)\n  val box9 = func3((OUTPUTS, tuple8._1))(0)\n  val func10 = {(box10: Box) => box10.tokens(1) }\n  val func11 = {(coll11: Coll[Byte]) =>\n    val coll13 = func2(box4).getMany(Coll[Coll[Byte]](coll1, coll11), opt5.get)\n    allOf(\n      Coll[Boolean](\n        {(tuple14: (Coll[Box], Coll[Byte])) => tuple14._1.filter({(box16: Box) => blake2b256(box16.propositionBytes) == tuple14._2 }) }(\n          (INPUTS, func6(coll13(1)))\n        ).size == 1, {(coll14: Coll[Byte]) =>\n          allOf(Coll[Boolean](blake2b256(box9.propositionBytes) == coll14, func7(box9) == tuple8, func10(box9)._1 == func10(SELF)._1))\n        }(func6(coll13(0)))\n      )\n    )\n  }\n  val b12 = getVar[Byte](0.toByte).get\n  val i13 = INPUTS.indexOf(SELF, 0)\n  val func14 = {(l14: Long) =>\n    if (l14 < 128L) { 1 } else {\n      if (l14 < 16384L) { 2 } else {\n        if (l14 < 2097152L) { 3 } else {\n          if (l14 < 268435456L) { 4 } else {\n            if (l14 < 34359738368L) { 5 } else {\n              if (l14 < 4398046511104L) { 6 } else { if (l14 < 562949953421312L) { 7 } else { if (l14 < 72057594037927936L) { 8 } else { 9 } } }\n            }\n          }\n        }\n      }\n    }\n  }\n  sigmaProp(\n    anyOf(\n      Coll[Boolean](\n        {(b15: Byte) =>\n          if (b15 == 0.toByte) {\n            func11(\n              Coll[Byte](\n                3.toByte, -110.toByte, 8.toByte, -68.toByte, 78.toByte, -17.toByte, -102.toByte, 3.toByte, -24.toByte, -41.toByte, -117.toByte, -122.toByte, 99.toByte, -93.toByte, 1.toByte, -69.toByte, 95.toByte, -83.toByte, -36.toByte, -89.toByte, -117.toByte, -31.toByte, -99.toByte, 127.toByte, -27.toByte, 53.toByte, -77.toByte, -58.toByte, 76.toByte, -66.toByte, -2.toByte, 66.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 2.toByte) {\n            func11(\n              Coll[Byte](\n                -117.toByte, -57.toByte, -113.toByte, 28.toByte, 106.toByte, -82.toByte, -55.toByte, 30.toByte, 98.toByte, -114.toByte, 21.toByte, -49.toByte, 102.toByte, -116.toByte, 22.toByte, -52.toByte, 30.toByte, -101.toByte, -40.toByte, -28.toByte, -71.toByte, -73.toByte, -31.toByte, 109.toByte, 99.toByte, 24.toByte, -75.toByte, -11.toByte, 35.toByte, -91.toByte, -23.toByte, -67.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 1.toByte) {\n            func11(\n              Coll[Byte](\n                -120.toByte, 48.toByte, 97.toByte, 44.toByte, 82.toByte, 53.toByte, 95.toByte, 111.toByte, 40.toByte, 13.toByte, 18.toByte, -105.toByte, -15.toByte, -97.toByte, 103.toByte, -80.toByte, 120.toByte, -55.toByte, -38.toByte, -89.toByte, -41.toByte, -80.toByte, 75.toByte, 69.toByte, -100.toByte, -111.toByte, -52.toByte, 100.toByte, 73.toByte, 87.toByte, -62.toByte, -128.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 3.toByte) {\n            func11(\n              Coll[Byte](\n                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\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 4.toByte) {\n            func11(\n              Coll[Byte](\n                -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\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 5.toByte) {\n            func11(\n              Coll[Byte](\n                58.toByte, 17.toByte, -107.toByte, 92.toByte, 71.toByte, 25.toByte, -27.toByte, -120.toByte, -68.toByte, -26.toByte, -89.toByte, 97.toByte, 29.toByte, 39.toByte, -67.toByte, 31.toByte, -33.toByte, -37.toByte, 87.toByte, 56.toByte, 92.toByte, -82.toByte, -30.toByte, 102.toByte, -40.toByte, 4.toByte, 12.toByte, -119.toByte, 79.toByte, 28.toByte, 46.toByte, 29.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) =>\n          if (b15 == 6.toByte) {\n            func11(\n              Coll[Byte](\n                9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n              )\n            )\n          } else { false }\n        }(b12), {(b15: Byte) => if (b15 == 7.toByte) { {(tuple17: (Coll[Byte], Box)) => if (i13 >= OUTPUTS.size) { false } else {(\n                val box19 = OUTPUTS(i13)\n                val l20 = box19.value\n                val l21 = SELF.value\n                val coll22 = box19.propositionBytes\n                val coll23 = SELF.bytesWithoutRef\n                val coll24 = SELF.propositionBytes\n                val i25 = SELF.creationInfo._1\n                val coll26 = box19.bytesWithoutRef\n                val i27 = box19.creationInfo._1\n                allOf(Coll[Boolean](l20 >= l21 - 2000000L, blake2b256(coll22) == func6(func2(tuple17._2).getMany(Coll[Coll[Byte]](tuple17._1), opt5.getOrElse(Coll[Byte]()))(0)), coll23.slice(func14(l21) + coll24.size + func14(i25.toLong), coll23.size) == coll26.slice(func14(l20) + coll22.size + func14(i27.toLong), coll26.size), anyOf(Coll[Boolean](i27 - i25 >= 504000, coll24 != coll22))))\n              )} }((coll1, box4)) } else { false } }(b12)\n      )\n    )\n  )\n}",
      "address": "3bseGyrL8c19T8TAJUAYyvfvvYbnQsZ9Mj5v268gLyjG8d753JNwPTFYsxHudjK11poGatNQ21rP71BR6wdP38HxXPZyo7AfYjEpv47oiUx27KXzoHhJ4nVy8tXPitzSBmuSwsT9PRUNkGQZ4ZVHcVRdHDT9Qo1gZfFn4JwHPHXWyS84i64hqhrnk5Epkq3EZvxdUrdY64zRJhBztdSnc6FqUAJoE2S4ZW2wYoBr6vBSa88UcioaJKHaktZBcapDFqHJKbRLDPhodZxAEXh27mJmKgxnzi1tkrwF5ae1mpXofjjw1zcRu8Y9J3waoBsqwCKf3N7Y4fLH2gdJasT8z51oZgP1G5hZgiD7YYtLZc6Y8cADWwxnji3ZmgvmRwtgPpRCnf4SUaneh7TuvQnn626GtSBkL6SUvjv6ewjAbKuKENsbQstK2WuvxEBD1gbP5h6Bd4gHtSKDzmDxhvM7FuaP3Er2KnFqth8cN92fckAXfpZrTLHUNpikyjcwuu9969UYBMLQ7RKigYggNRRKTMdED5oMQXPEJ3oAy5R8K1jRvvex2q9MC7KqPCaQZvnsyzP7LsFpRm7EUBqp59shV95M3tbcM8AezcaTmutJNqU8dWVsmrit2je96iJqS9g3hw3F9E4BCnKT9TBV8kNbQ3zoDxU8bJFUE8B2VL62yKfUPXvvS4AjkTLchhLwWcACnaJ4tUmrEpxCpEPB8AVwKxajr98cHbeyC3mC946vW28yb6FH4LuLBfjxy2BE9UwjeCWKw12pa2goJuCQyJxJei28Cett7j5u2gYvjCk1acSSXZ3TdNhqyCTsmWprisVFReezJjF3nQ383S8HjzJXYh3GaCkLyQ7BRSyuEm3mM213YLmn3MZ5LzMhN9xWZiYGAvrzJzsFibMgqDwsTcjiqYVXx77iEJqzndwWjEy8Y2xhi26Rrh21phmn1uzutvFKTkCyKLLdfiq2RSh3sGyBtveP6U4nyJy25fqeUe4Wg17L7R85zmUw2Z3kZXhknkCDhxm8T8SAPeSnGsYYr1nmHmv3aNqk75VcBBM4W562nQjn3G8KTZJ1e6PqS1wKnztgYiZBs4KMZ8SohQbX15EBZT8eZXZ4ggvPBP1szBtocHeqF7cY1zcB5CWHVbi9p1SnaY9HLB6QTT1Pbr84V2dyhCNny5mCjy1W6WhDStVJSXNfwGcoJckA3Ub6bnQ57FQjMLCeN3nHNxt6eTWb1hsmj2dMjY7vkAcVCCMNcm1tRpLMWGmeqCNLU6QiHoAx3NAPxmfksocvHwSXDF56bUJpYxt6kwuyAWCZAv6ijJDgg7imtHoju1oyjZQehmhMpyQKvuQmdthHcdsmGqp6oPbMr1RGLHKdmEucJvo888AVuTmVBN7nUSszUioJ2BhaNPyzZQtm9Sn9h9F7UjNo2eX551o9RGTk5r6dRj4VXHvGPP5vXkp6jodkG11BLaF9ur835oLpFAFetbeS9rQS7Mb4p2cvXwrZjh3YhMd8QHUKGt1x44D163rRbRh8ywiZVGim9uFwaZM5JjsF4fSHWBRqRCztNvMNr4NuTquVGynbn1JnjagmgVWLRixzx3PzL3PMDDtFVpz5FEhsGnbbHQn3zWcAZhgyu6YtfkqdUvDZVErysTiiXV6QFU6keq3z25z6zZ3hGZvRAjr1DucdnpGeyi41xrYfAEq4u6SwSvs8ZRffa5vHqgmCqapRihZ9Gt85eDKKzMY4VJv9ZyfxH9s5gaCrX42K5zEoUDPRLxhvFFSkXNrZiYtHjA6HMfyC1QU5HBqNfi9g3z3BaWdKbAUFfhL8",
      "assets": [
        {
          "tokenId": "a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Stake State",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "59ee24951ce668f0ed32bdb2e2e5731b6c36128748a3b23c28407c5f8ccbf0f6",
          "index": 1,
          "amount": 221962,
          "name": "WALRUS",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R5": {
          "serializedValue": "1107ca918cdd8465928c1b0e08daab1d0000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1735801275493,221961,7,4,240365,0,0]"
        },
        "R6": {
          "serializedValue": "1d05020000020000020000020000020000",
          "sigmaType": "Coll[Coll[SLong]]",
          "renderedValue": "[[0,0],[0,0],[0,0],[0,0],[0,0]]"
        },
        "R8": {
          "serializedValue": "11020000",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[0,0]"
        },
        "R7": {
          "serializedValue": "0c3c6464024ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e1609000720004ec61f485b98eb87153f7c57db4f5ecd75556fddbc403b41acf8441fde8e160900072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R4": {
          "serializedValue": "0c64028560c73b308a74ae496100ffd2660a239bb790c88ff43aefaf987dd3371d533f040720005004e6eebd5e96fcd575267a7e9a1cd49206afc5a8efbb1a1e39222ec8b2d7ae02072000",
          "sigmaType": null,
          "renderedValue": null
        }
      },
      "spentTransactionId": "a16ad31b1198c4ea41233e2f847daf1884eca186318c916651d63dbb47747548",
      "mainChain": true
    },
    {
      "boxId": "7a49a83a2fec14bf64e857f7080583a5ff83b8d6a1ac9ba755cdd5e19e45f3be",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 1000000,
      "index": 1,
      "globalIndex": 46290857,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "10020e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008e0e20a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01d823d601e4e3001ad602dc640bdad9010263e4c67202046401b2db6501fe0400000283020e83200202090282020f02cb0288027102fb0245020c023e020602b702cb025e022702b002450250028702a302660262021a029d02de0275028202a002190211021e023e832002023d02aa02660280028e026902c2025a02e9023202dd02660261021c025f020b023c02ba02ca02d102120252020302e8027d028d02c402910286021c027102e6b27201040000d603b27201041200d604d901043c0c630eb58c720401d9010663aedb63087206d901084d0e938c7208018c720402d6057301d606b2da7204018602a57205040000d607b2da7204018602a47205040000d608d9010863b2e4c67208040c64040000d609da7208017207d60ab2da7204018602a4dad9010a32b4e4720a040c044c01b27202040200040000d60be4dc640a7209027203b27201040400d60cb37aa2dad9010c63b2e4c6720c051104000001720adad9010c0e7cb4720c0400041001720bb4720b0410b1720bd60dd9010d63b2e4c6720d040c64040200d60eda720d017207d60fdc640a720e027203b27201040800d610e6720fd611dc640adad9011163e4c67211066401720a027203b27201040200d612e67211d6139572107cb4e4720f040004100500d61495721272139a72130502d6159572107cb4e4720f041004200500d616b27201041000d617b0adb4db0c0e721604009db172160410d90117047cb472169c721704109c9a7217040204100500d90117599a8c7217018c721702d618957212d801d618e47211a29a997215b0adb4db0c0e721804009db172180410d90119047cb472189c721904109c9a7219040204100500d90119599a8c7219018c721902721705009a72157217d619b37a72147a7218d61ab27201040a00d61bd9011b63b2e4c6721b0511040000d61cd9011c63b2e4c6721c0511040200d61dd9011d63b2e4c6721d0511040400d61ed9011e63b2e4c6721e0511040600d61fd9011f63b2e4c6721f0511040800d620d9012063d801d622e4c672200511b47222040ab17222d621d9012163e4c67221061dd622d9012263e4c67222070c3c6464d623d9012363e4c672230811d19683050192c1b2dad901243c0c630eb58c722401d901266393cbc272268c722402018602a5dad9012432b4e472240402044201b27202040000040000c1a7dad901243c0c630eae8c722401d9012663aedb63087226d901284d0e938c7228018c722402018602a5720396830d0193c17206c1720793db63087206db6308720793db6401da7208017206db6401e4dc640d72090283013c0e0e86027203720cb2720104060093db6401da720d017206db6401957210e4dc640d720e0283013c0e0e860272037219721ae4dc640c720e0283013c0e0e860272037219721a93da721b017206da721b01720793da721c017206da721c01720793da721d017206da721d01720793da721e017206999ada721e0172077214721393da721f017206999ada721f0172077218721593da7220017206da722001720793da7221017206da722101720793da7222017206da722201720793da7223017206da722301720793b27201040c00720c93b27201040e007219",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)\n1: Coll(-89,-10,-44,-52,-15,40,-118,43,121,-29,-40,116,30,30,32,56,40,19,90,18,-71,47,-115,-60,-14,-46,30,64,115,-114,14,1)",
      "ergoTreeScript": "{\n  val coll1 = getVar[Coll[Coll[Byte]]](0.toByte).get\n  val coll2 = {(box2: Box) => box2.R4[AvlTree].get }(CONTEXT.dataInputs(0)).getMany(\n    Coll[Coll[Byte]](\n      Coll[Byte](\n        9.toByte, -126.toByte, 15.toByte, -53.toByte, -120.toByte, 113.toByte, -5.toByte, 69.toByte, 12.toByte, 62.toByte, 6.toByte, -73.toByte, -53.toByte, 94.toByte, 39.toByte, -80.toByte, 69.toByte, 80.toByte, -121.toByte, -93.toByte, 102.toByte, 98.toByte, 26.toByte, -99.toByte, -34.toByte, 117.toByte, -126.toByte, -96.toByte, 25.toByte, 17.toByte, 30.toByte, 62.toByte\n      ), Coll[Byte](\n        61.toByte, -86.toByte, 102.toByte, -128.toByte, -114.toByte, 105.toByte, -62.toByte, 90.toByte, -23.toByte, 50.toByte, -35.toByte, 102.toByte, 97.toByte, 28.toByte, 95.toByte, 11.toByte, 60.toByte, -70.toByte, -54.toByte, -47.toByte, 18.toByte, 82.toByte, 3.toByte, -24.toByte, 125.toByte, -115.toByte, -60.toByte, -111.toByte, -122.toByte, 28.toByte, 113.toByte, -26.toByte\n      )\n    ), coll1(0)\n  )\n  val coll3 = coll1(9)\n  val func4 = {(tuple4: (Coll[Box], Coll[Byte])) =>\n    tuple4._1.filter({(box6: Box) => box6.tokens.exists({(tuple8: (Coll[Byte], Long)) => tuple8._1 == tuple4._2 }) })\n  }\n  val coll5 = placeholder[Coll[Byte]](1)\n  val box6 = func4((OUTPUTS, coll5))(0)\n  val box7 = func4((INPUTS, coll5))(0)\n  val func8 = {(box8: Box) => box8.R4[Coll[AvlTree]].get(0) }\n  val avlTree9 = func8(box7)\n  val box10 = func4((INPUTS, {(opt10: Option[Coll[Byte]]) => opt10.get.slice(6, 38) }(coll2(1))))(0)\n  val coll11 = avlTree9.get(coll3, coll1(2)).get\n  val coll12 = longToByteArray(\n    max({(box12: Box) => box12.R5[Coll[Long]].get(0) }(box10), {(coll12: Coll[Byte]) => byteArrayToLong(coll12.slice(0, 8)) }(coll11))\n  ).append(coll11.slice(8, coll11.size))\n  val func13 = {(box13: Box) => box13.R4[Coll[AvlTree]].get(1) }\n  val avlTree14 = func13(box7)\n  val opt15 = avlTree14.get(coll3, coll1(4))\n  val bool16 = opt15.isDefined\n  val opt17 = {(box17: Box) => box17.R6[AvlTree].get }(box10).get(coll3, coll1(1))\n  val bool18 = opt17.isDefined\n  val l19 = if (bool16) { byteArrayToLong(opt15.get.slice(0, 8)) } else { 0L }\n  val l20 = if (bool18) { l19 } else { l19 + 1L }\n  val l21 = if (bool16) { byteArrayToLong(opt15.get.slice(8, 16)) } else { 0L }\n  val coll22 = coll1(8)\n  val l23 = coll22.indices.slice(0, coll22.size / 8).map({(i23: Int) => byteArrayToLong(coll22.slice(i23 * 8, i23 + 1 * 8)) }).fold(\n    0L, {(tuple23: (Long, Long)) => tuple23._1 + tuple23._2 }\n  )\n  val l24 = if (bool18) {(\n    val coll24 = opt17.get\n    max(\n      l21 - coll24.indices.slice(0, coll24.size / 8).map({(i25: Int) => byteArrayToLong(coll24.slice(i25 * 8, i25 + 1 * 8)) }).fold(\n        0L, {(tuple25: (Long, Long)) => tuple25._1 + tuple25._2 }\n      ) + l23, 0L\n    )\n  )} else { l21 + l23 }\n  val coll25 = longToByteArray(l20).append(longToByteArray(l24))\n  val coll26 = coll1(5)\n  val func27 = {(box27: Box) => box27.R5[Coll[Long]].get(0) }\n  val func28 = {(box28: Box) => box28.R5[Coll[Long]].get(1) }\n  val func29 = {(box29: Box) => box29.R5[Coll[Long]].get(2) }\n  val func30 = {(box30: Box) => box30.R5[Coll[Long]].get(3) }\n  val func31 = {(box31: Box) => box31.R5[Coll[Long]].get(4) }\n  val func32 = {(box32: Box) =>\n    val coll34 = box32.R5[Coll[Long]].get\n    coll34.slice(5, coll34.size)\n  }\n  val func33 = {(box33: Box) => box33.R6[Coll[Coll[Long]]].get }\n  val func34 = {(box34: Box) => box34.R7[Coll[(AvlTree, AvlTree)]].get }\n  val func35 = {(box35: Box) => box35.R8[Coll[Long]].get }\n  sigmaProp(\n    allOf(\n      Coll[Boolean](\n        {(tuple36: (Coll[Box], Coll[Byte])) => tuple36._1.filter({(box38: Box) => blake2b256(box38.propositionBytes) == tuple36._2 }) }(\n          (OUTPUTS, {(opt36: Option[Coll[Byte]]) => opt36.get.slice(1, 33) }(coll2(0)))\n        )(0).value >= SELF.value, {(tuple36: (Coll[Box], Coll[Byte])) =>\n          tuple36._1.exists({(box38: Box) => box38.tokens.exists({(tuple40: (Coll[Byte], Long)) => tuple40._1 == tuple36._2 }) })\n        }((OUTPUTS, coll3)), allOf(\n          Coll[Boolean](\n            box6.value == box7.value, box6.tokens == box7.tokens, func8(box6).digest == avlTree9.update(\n              Coll[(Coll[Byte], Coll[Byte])]((coll3, coll12)), coll1(3)\n            ).get.digest, func13(box6).digest == if (bool16) { avlTree14.update(Coll[(Coll[Byte], Coll[Byte])]((coll3, coll25)), coll26).get } else {\n              avlTree14.insert(Coll[(Coll[Byte], Coll[Byte])]((coll3, coll25)), coll26).get\n            }.digest, func27(box6) == func27(box7), func28(box6) == func28(box7), func29(box6) == func29(box7), func30(box6) == func30(\n              box7\n            ) + l20 - l19, func31(box6) == func31(box7) + l24 - l21, func32(box6) == func32(box7), func33(box6) == func33(box7), func34(box6) == func34(\n              box7\n            ), func35(box6) == func35(box7)\n          )\n        ), coll1(6) == coll12, coll1(7) == coll25\n      )\n    )\n  )\n}",
      "address": "2scJRPK51tGrb2cDysvQr6bzyvrNMmSx4Bzq78ykevmrR7HEo9sf7mPT5RBAaS1JcGN9VyK8wj5Kt9sogDPQqFkNuSxc2BDuqEDWQsXmeSicWxoAWighPbB5RNPjnSBT1DrN3yzhNMUGo63kuAfMaTY8GeNK5iSMcaQDKk4RRDtZZY3t9SAwKXyVRbQhUFq8aqSLMwsj81nRP9AnCb5zzVbY89GjUBhQHxgmrj5C7KQNybHuYv3CfAiiHRVpdHwPS9J3C22AjtBpNR28pqpcL2hy5Lv7bRyLuiRcbxLHtQx2T1j7SS9qDfe4x95fPhHNN2WzKwmeKMpAMrVwy4VoFX7CtTqrotdb7b3Hfmy5ksd11msbJZuSe1n9GjQ5XUuRAzVwsfXEPdM6nACD2k5ZmvYfNhmYsWX9YVFf7EZaNDiinumey6jdGPz4vJ4T2X4hyC7K42jPWQhP3zRZoDfGcRRHx81josoyswi9bdsfuXip8We1Wa1bLxLRT2C5ETzHDMKVbZcf5EADUag8vdT6UXR4J11zYZMHHAN45baLAr7pnw6wgmXTZxdZ3JytWd3HSAZonpJZkp3twFGDU1oYQou1JVZXsuHKvzUKT67aoQrV1EBDGU9MU3FPkV4m1fN4bRYgiLcTSALTrgH48GcPuo6CwigoCTk3LV1qdghpTFwyxzf4FJ1MyW5a5UMMaSG4REYqmo4tGmNawF7xCapC2J9AxM7joaMZz9HSiekcqjQDc9qyXkMC4NpXbN8X6dYgfwuXkAib8YeFDj9ScXq7yj1C6xdDJUbGwfrBYfQpKNdbgXM1C6ea1Zf4CZWnRqunEWEDyyLtLyy2yNh7JExWM7hoAt7WKnt8y1zxEYrguH1HDRb5NHxLdcQx2f84A1o5z9PEm8QrcU1DfwXNanWFwE7vV5Nd6dxaPNpcZ36upQnrYvGhnXgqsPYBEzkdboVwfxAZ1eRMeGFxvoeoWbK3sLS1iHbYhHKMfXAaUMBzTwMvon7QKG8jM8A7syTKxZZF3Urfjk14qwUNjSDamPgzy3zraNorawM3Tn4c2YwEMBuSq82SjNkFNSG52TdwV9ErA93Pju5Ly4s5bZH2QTvG3A8nURMzGwS9ido3DV2Vwkq8aFx1VMiup5ARVN9cShUHYtJrKUGZxKJVs5cPjoco7RcuDFbWGTZx6aA1BLVWoX3Mx9gh4BxGEdVKkDcyTaL4AsSb4UfoFMJoUJLJenMY24pCPvQJQwtWAaPU2wzC54W8Z7dHT7wxKYoSobjjJmhzwYpcM93SS8BSH2Tj5WGYC2YGtB1yPirgi91pmMZkQmB5AWwh1Pc6i3Q6MtXaLw2zDWQrK5Pn9XUycM2sGF6oHvWH6WXUJjmd1uHVaGLUrcR24EBkpm3U9FWamZzWMKxcSVdzhxEj8XqryVLw18sz8hBbNTa1SzqR3vEuZuq4LMbUpM72LqgoEBGCYAAQfHECtiqjP1WzhEBkesLwaF8cdyxtddh5veqKh7Wi677xRr1Ep5zpWYmuPXKd5kj9gGdx445Afjj9UudZvx5zoF3MS5AjHFBRUH8hJanLzPxNh89mXBK76ozP2XCiMTxv4xWMEJtjWz1phRKFwA2AD212rf699PUne24RvNabPZxj21HdWFPddu14Y1qJVGYszMqPGampePUHZC4msMSLSaAgZZjsSSjcU3a8TmwQ",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "a16ad31b1198c4ea41233e2f847daf1884eca186318c916651d63dbb47747548",
      "mainChain": true
    },
    {
      "boxId": "03c67a100d3bc19b1286983dc7e968588e37551913c2c89c0fba9ee5387169a4",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 5000000,
      "index": 2,
      "globalIndex": 46290858,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "10040e2098ba6f0cfc7758633d52ea3082ae3b8b38b45dbfe8a7247de966dcb608b9008e0e201b4b8b789fdd4a34c5f1cf73b4d99a5cacb8ccba75265f6edf4950893b162f070e201fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad4890e20a7f6d4ccf1288a2b79e3d8741e1e203828135a12b92f8dc4f2d21e40738e0e01d815d601d9010163b2db63087201040000d602d901023c0c630eae8c720201d9010463aedb63087204d901064d0e938c7206018c720202d603db6503fed604e4e30002d605d9010563d801d607e4c672050511b472070404b17207d606e30a4005d607860204030500d6087207d609e572067208d60a8c720901d60b8c720902d60cd9010c3c0c630eb58c720c01d9010e6393cbc2720e8c720c02d60dd9010d63b2e4c6720d0410040000d60ed9010e63b2e4c6720e0511040200d60fd9010f63e4c6720f0664d610d9011063b2e4c672100410040200d6117303d612d901123c0c630eb58c721201d9011463aedb63087214d901164d0e938c7216018c721202d613d9011363e4c672130464d614d901143c324159d805d6168c721402d6178c721601d6188c721602d6198c721801d61a8c721802e5dc24078c72140101d9011b0e9593b1721b0412d801d61d7cb4721b04020412958f721d721772179591721d72197219721d721a721ad615d9011563b2e4c672150511040000d197830301dad901160295937216020cdad901181a968303019199db690572038cc7a70104e09e60af7218d9011a0eefda7202018602a5721a93b1a404020183010e8cda720101a7010100017204dad901160295937216020dd80fd618da720501a7d619c2a7d61ab2da720c018602a5cb7219040000d61bc1721ad61cda720e01a7d61ddb6501fed61e830002d61fdc640bda721301b2da7212018602721d73000400000283020e83200202f602ff028b0272021002010255024502d402b302ac025f02c6020c02900280029202d0023502a102a10261025502c0022902e802d502110262027c027a022c83200202af0278025b020a02dd0280025c025c023102f102cc023a023e029602c80290020802fd0271022702320201020702a30278024b027f024902e9025602480242e5e3010e721ed62086020502860205ce0f05e807d6217206d6227207d6237208d6247209d625dc640bda721301b2da7212018602721d73010400000283020e83200202f50291028e02b402b00228023c0266029b02dd028a0219025602400276026c021902e4020a0269023a0266029702b7027502b0028e020902050225022302d48320020276027c02aa028002b9028e0249026a02d802a902f6028902c40241020a02e402530232027f020f029502e90250028402c002ae0220026302500279023b0277e5e3020e721ed626b2da720c018602a5dad9012632b4e472260402044201b2722504020004000096830501ededafdb0c0e7218d901270495937227720a93b27218722700720b90b27218722700720b91b17218720a92720a04009683090193c2721a721992721b99c1a705809bee0292721b058092f40193da720101721ada720101a793da720d01721ada720d01a793da720e01721a721c93da720501721a721893da720f01721ada720f01a793da721001721a95ed92721c9d9cdad9012763b2e4c67227051104020001b2da7212018602721d7211040000da7214018602b2721f040000722005d00fd801d627720b9272279d9c721cda7214018602b2721f040200722005d00f720a040391db69037203da721501a79683020192c172260580897a92dad901273c0c630eb0dc0c0f8c72270101d9012963db630872290500d90129414d0ed801d62b8c7229029a8c72290195938c722b018c7227028c722b02050001860283016372267302a18cb2db6308a7040200027cb4e4b272250400000402041293da721001a704010100017204dad9011602959372160206d80ed618e4e3011ad619b27218040800d61ab27218040600d61badb4db0c0e721a04009db1721a0410d9011b047cb4721a9c721b04109c9a721b04020410d61cb0721b0500d9011c599a8c721c018c721c02d61dc2a7d61eb2da720c018602a5cb721d040000d61fda721501a7d620da720f01a7d621dc640a7220027219b27218040000d622e67221d623b27218040200d624da720501a7d625da720501721e96830c01927cb4e4dc640adad9012663b2e4c67226040c6404000001b2da7212018602a47211040000027219b2721804040004100420721c93c2721e721d92c1721ec1a793db6308721edb6308a793da720d01721eda720d01a793da721001721eda721001a793da721501721e721f93db6401da720f01721edb6401957222e4dc640d72200283013c0e0e86027219721a7223e4dc640c72200283013c0e0e86027219721a72238fdb69037203721f957222d802d626e47221d627adb4db0c0e722604009db172260410d90127047cb472269c722704109c9a7227040204109683020193da720e01721e9a99da720e01a7b072270500d90128599a8c7228018c722802721c937225addc0c1d722401addc0c1d722701721bd9012859998c7228028c722801d90128599a8c7228018c7228029683020193da720e01721e9ada720e01a7721c937225addc0c1d722401721bd90126599a8c7226018c722602da7202018602a4721994722572240100017204",
      "ergoTreeConstants": "0: Coll(-104,-70,111,12,-4,119,88,99,61,82,-22,48,-126,-82,59,-117,56,-76,93,-65,-24,-89,36,125,-23,102,-36,-74,8,-71,0,-114)\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(-89,-10,-44,-52,-15,40,-118,43,121,-29,-40,116,30,30,32,56,40,19,90,18,-71,47,-115,-60,-14,-46,30,64,115,-114,14,1)",
      "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 b4 = getVar[Byte](0.toByte).get\n  val func5 = {(box5: Box) =>\n    val coll7 = box5.R5[Coll[Long]].get\n    coll7.slice(2, coll7.size)\n  }\n  val opt6 = getVar[(Int, Long)](10.toByte)\n  val tuple7 = (-2, 0L)\n  val tuple8 = tuple7\n  val tuple9 = opt6.getOrElse(tuple8)\n  val i10 = tuple9._1\n  val l11 = tuple9._2\n  val func12 = {(tuple12: (Coll[Box], Coll[Byte])) => tuple12._1.filter({(box14: Box) => blake2b256(box14.propositionBytes) == tuple12._2 }) }\n  val func13 = {(box13: Box) => box13.R4[Coll[Int]].get(0) }\n  val func14 = {(box14: Box) => box14.R5[Coll[Long]].get(1) }\n  val func15 = {(box15: Box) => box15.R6[AvlTree].get }\n  val func16 = {(box16: Box) => box16.R4[Coll[Int]].get(1) }\n  val coll17 = placeholder[Coll[Byte]](3)\n  val func18 = {(tuple18: (Coll[Box], Coll[Byte])) =>\n    tuple18._1.filter({(box20: Box) => box20.tokens.exists({(tuple22: (Coll[Byte], Long)) => tuple22._1 == tuple18._2 }) })\n  }\n  val func19 = {(box19: Box) => box19.R4[AvlTree].get }\n  val func20 = {(tuple20: (Option[Coll[Byte]], (Long, (Long, Long)))) =>\n    val tuple22 = tuple20._2\n    val l23 = tuple22._1\n    val tuple24 = tuple22._2\n    val l25 = tuple24._1\n    val l26 = tuple24._2\n    tuple20._1.map({(coll27: Coll[Byte]) => if (coll27.size == 9) {(\n          val l29 = byteArrayToLong(coll27.slice(1, 9))\n          if (l29 < l23) { l23 } else { if (l29 > l25) { l25 } else { l29 } }\n        )} else { l26 } }).getOrElse(l26)\n  }\n  val func21 = {(box21: Box) => box21.R5[Coll[Long]].get(0) }\n  sigmaProp(\n    anyOf(\n      Coll[Boolean](\n        {(b22: Byte) =>\n          if (b22 == 12.toByte) {\n            {(coll24: Coll[Coll[Byte]]) =>\n              allOf(\n                Coll[Boolean](\n                  preHeader3.height - SELF.creationInfo._1 > 788400, coll24.forall({(coll26: Coll[Byte]) => !func2((OUTPUTS, coll26)) }), INPUTS.size == 1\n                )\n              )\n            }(Coll[Coll[Byte]](func1(SELF)._1))\n          } else { false }\n        }(b4), {(b22: Byte) => if (b22 == 13.toByte) {(\n            val coll24 = func5(SELF)\n            val coll25 = SELF.propositionBytes\n            val box26 = func12((OUTPUTS, blake2b256(coll25)))(0)\n            val l27 = box26.value\n            val l28 = func14(SELF)\n            val coll29 = CONTEXT.dataInputs\n            val coll30 = Coll[Byte]()\n            val coll31 = func19(func18((coll29, placeholder[Coll[Byte]](0)))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-10.toByte, -1.toByte, -117.toByte, 114.toByte, 16.toByte, 1.toByte, 85.toByte, 69.toByte, -44.toByte, -77.toByte, -84.toByte, 95.toByte, -58.toByte, 12.toByte, -112.toByte, -128.toByte, -110.toByte, -48.toByte, 53.toByte, -95.toByte, -95.toByte, 97.toByte, 85.toByte, -64.toByte, 41.toByte, -24.toByte, -43.toByte, 17.toByte, 98.toByte, 124.toByte, 122.toByte, 44.toByte), Coll[Byte](-81.toByte, 120.toByte, 91.toByte, 10.toByte, -35.toByte, -128.toByte, 92.toByte, 92.toByte, 49.toByte, -15.toByte, -52.toByte, 58.toByte, 62.toByte, -106.toByte, -56.toByte, -112.toByte, 8.toByte, -3.toByte, 113.toByte, 39.toByte, 50.toByte, 1.toByte, 7.toByte, -93.toByte, 120.toByte, 75.toByte, 127.toByte, 73.toByte, -23.toByte, 86.toByte, 72.toByte, 66.toByte)), getVar[Coll[Byte]](1.toByte).getOrElse(coll30))\n            val tuple32 = (1L, (999L, 500L))\n            val opt33 = opt6\n            val tuple34 = tuple7\n            val tuple35 = tuple8\n            val tuple36 = tuple9\n            val coll37 = func19(func18((coll29, placeholder[Coll[Byte]](1)))(0)).getMany(Coll[Coll[Byte]](Coll[Byte](-11.toByte, -111.toByte, -114.toByte, -76.toByte, -80.toByte, 40.toByte, 60.toByte, 102.toByte, -101.toByte, -35.toByte, -118.toByte, 25.toByte, 86.toByte, 64.toByte, 118.toByte, 108.toByte, 25.toByte, -28.toByte, 10.toByte, 105.toByte, 58.toByte, 102.toByte, -105.toByte, -73.toByte, 117.toByte, -80.toByte, -114.toByte, 9.toByte, 5.toByte, 37.toByte, 35.toByte, -44.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)), getVar[Coll[Byte]](2.toByte).getOrElse(coll30))\n            val box38 = func12((OUTPUTS, {(opt38: Option[Coll[Byte]]) => opt38.get.slice(1, 33) }(coll37(1))))(0)\n            allOf(Coll[Boolean]((coll24.indices.forall({(i39: Int) => if (i39 == i10) { coll24(i39) == l11 } else { coll24(i39) <= l11 } }) && (coll24.size > i10)) && (i10 >= 0), allOf(Coll[Boolean](box26.propositionBytes == coll25, l27 >= SELF.value - 3000000L, l27 >= 2000000L, func1(box26) == func1(SELF), func13(box26) == func13(SELF), func14(box26) == l28, func5(box26) == coll24, func15(box26) == func15(SELF), func16(box26) == if ((l28 >= {(box39: Box) => box39.R5[Coll[Long]].get(1) }(func18((coll29, coll17))(0)) * func20((coll31(0), tuple32)) / 1000L) && \n                      val l39 = l11\n                      l39 >= l28 * func20((coll31(1), tuple32)) / 1000L\n                    ) { i10 } else { -2 })), preHeader3.timestamp > func21(SELF), allOf(Coll[Boolean](box38.value >= 1000000L, {(tuple39: (Coll[Box], Coll[Byte])) => tuple39._1.flatMap({(box41: Box) => box41.tokens }).fold(0L, {(tuple41: (Long, (Coll[Byte], Long))) =>\n                          val tuple43 = tuple41._2\n                          tuple41._1 + if (tuple43._1 == tuple39._2) { tuple43._2 } else { 0L }\n                        }) }((Coll[Box](box38), placeholder[Coll[Byte]](2))) >= min(SELF.tokens(1)._2, byteArrayToLong(coll37(0).get.slice(1, 9))))), func16(SELF) == -1))\n          )} else { false } }(b4), {(b22: Byte) => if (b22 == 6.toByte) {(\n            val coll24 = getVar[Coll[Coll[Byte]]](1.toByte).get\n            val coll25 = coll24(4)\n            val coll26 = coll24(3)\n            val coll27 = coll26.indices.slice(0, coll26.size / 8).map({(i27: Int) => byteArrayToLong(coll26.slice(i27 * 8, i27 + 1 * 8)) })\n            val l28 = coll27.fold(0L, {(tuple28: (Long, Long)) => tuple28._1 + tuple28._2 })\n            val coll29 = SELF.propositionBytes\n            val box30 = func12((OUTPUTS, blake2b256(coll29)))(0)\n            val l31 = func21(SELF)\n            val avlTree32 = func15(SELF)\n            val opt33 = avlTree32.get(coll25, coll24(0))\n            val bool34 = opt33.isDefined\n            val coll35 = coll24(1)\n            val coll36 = func5(SELF)\n            val coll37 = func5(box30)\n            allOf(Coll[Boolean](byteArrayToLong({(box38: Box) => box38.R4[Coll[AvlTree]].get(0) }(func18((INPUTS, coll17))(0)).get(coll25, coll24(2)).get.slice(8, 16)) >= l28, box30.propositionBytes == coll29, box30.value >= SELF.value, box30.tokens == SELF.tokens, func13(box30) == func13(SELF), func16(box30) == func16(SELF), func21(box30) == l31, func15(box30).digest == if (bool34) { avlTree32.update(Coll[(Coll[Byte], Coll[Byte])]((coll25, coll26)), coll35).get } else { avlTree32.insert(Coll[(Coll[Byte], Coll[Byte])]((coll25, coll26)), coll35).get }.digest, preHeader3.timestamp < l31, if (bool34) {(\n                  val coll38 = opt33.get\n                  val coll39 = coll38.indices.slice(0, coll38.size / 8).map({(i39: Int) => byteArrayToLong(coll38.slice(i39 * 8, i39 + 1 * 8)) })\n                  allOf(Coll[Boolean](func14(box30) == func14(SELF) - coll39.fold(0L, {(tuple40: (Long, Long)) => tuple40._1 + tuple40._2 }) + l28, coll37 == coll36.zip(coll39.zip(coll27).map({(tuple40: (Long, Long)) => tuple40._2 - tuple40._1 })).map({(tuple40: (Long, Long)) => tuple40._1 + tuple40._2 })))\n                )} else { allOf(Coll[Boolean](func14(box30) == func14(SELF) + l28, coll37 == coll36.zip(coll27).map({(tuple38: (Long, Long)) => tuple38._1 + tuple38._2 }))) }, func2((INPUTS, coll25)), coll37 != coll36))\n          )} else { false } }(b4)\n      )\n    )\n  )\n}",
      "address": "2HqXK77AdSbSWkwAueGZix6A4jZiXNivR5a579JRTgaoH3Psb2QPey8sYqMz2n4VRbozob657tSeyNZY1SqNTDXUqorzAmPxZWySsVguUxXuCAjHDyzkh5Zwa8hkrcpJiXKabtj3kHP33brLEWjoCToXnRGnxFmQAfiDXdZdNLhVTuGWm2FmqK2KBMrnouWFDkQeKitYvinbpySYbY6HELScsTDJuykCohoVJJPWcAnZFZ37KFqs7C8S6FB5Q4FadfKzfE5zQCWyxMcef7BRzM6BpemCHK9yShM24suqRa9fmP55nHUfx9CRfePeBk6XuMUd9UxMzutokacxGGJRFqqwmcAC8roT4nDR7vLyGVGrXZ8SwubXf6rvKC4NupQCNK6iJDCrDpaRbxew3USLU5FKuiAzz26RGVU4AKFfBKiSoSbVkMsHjXH2kdeSsUXdLFWTgcx2wir5FroR8TCtEPDd4FfQ5UwvBDtsPHP1iU1D1GXa8wTVoLt7N247cqpoSxuvqvp8UaYTAgAngYUgtFbCQge5SnUu7XqsFz5sAvWVFUyGKE4Zn85C5j4E3dkEa4rG3fPtwn3E1DTD57KnndaWGWB9zax9Rt1S6ajNZpu8Ks9jirHS7Qqn6UH979qkVWu61aeW9b2T52zLrYeBuuYwtK3d5eePwnF9xGtJBLKKSkawLG9bahrDzKB5QAf63o1EwnLBUgtk7xbS8o1RyxuRRZ5xvJXvX1vpmzfS3h1ibhtUAWCcs8d5CJJx3vkQfJ4yKUiJ6z5FDjhVqbwvdVWR63rAWB2PjJgFiYeEXx4Ve18p7awUhNn4VycpLy9XEJazUyzTnV11jp9d7Ghhp66shdHdvkL8YSWKubUptqxiX52asGYcTsPpw7cfi3TCJipNZJ7CiwxQLXnj7SyaTE5KYPJjSzc9Kos63FWTGQR31cfr1cDbtTtLP35nggiZvoE7jQDWCKJR79EEZHYUHHu98ddW29mmNNwvim7mVc4T3hGPwPgy7bNwfjkwgfPtJofzi635CcCCi5pDduCUvJw1bntwyvjA99gfcNhhX2J4PwnxdGEuDD5xtTe6TE8nzfdBJeBDuY2AXPTVg3cq3BVV87axyudSbqFxY4QSUXeP9Vakmp75nWaweK85Wat7X6hUjXiPpcyoiNM25dkw94oNNEFdHRDWtGxSow6sDJH7N2K4oD65SvWjP21PYb97QHZ6SEQUDNCPaW16V7AqX7VXcKR1snA7ytWmiJK2Afzu2RrGLuXqHg2awPvdvbR8wyG458UEieT4cxPmTh6P4J7coQ2Ah1R3qyW7Xm18k91T4Q1Zg6Srs37uWNsr6iNpccLp9knwiVyNeooSsejpdsPdd8eHNjk9MefoCG8429HegLqiKkCoDZU5oBkfcEA9qkj1XLdtfEtJf4xJhUtHE6syZhgzzt4p2PLswpnAD2hBe3Kc4FxGzqRhsGQDHEE72QPpR2Yh83NRyS5zYy7ZuUjnipxCWhzWjJC6WiHEaCa3hCiQGnaNyP9WgAo1xLD69wtcYvFcdCZ9Dh9KMW4Jv74fpvjTLCR43enERoYYPKEripw4rYJ2ZcNCHizfofaqrdy1kzTCZeVRyQ3ziEiiQefsV5v7EmC8tBWfpqbhM1NeU4PDn8MSf6unzABWgbguitND6BsbjF6piNFRmvKpTEPrF3rGscbJrbdqKaN7dWqMJKQfQSxkhH19ZUfp92DQhuXw3p6pueEn4ujfTcZgGFaT5gd2TL1susaJLtcqjdrachtRRrX89ViGUVd1UrhZ6jRmhwhoRzQZLtdVn6YWzYgwQtgMN2f5u1JuMutfDAZwzxmcuR2PEFgPNYCfkG2J1Qn1Z1y7sG5XoShdB7eGYio8pHnvsksRXUXQoWidkhRUMs9V2XSCFNS4xCGxDH6brWLjbE4FDh8eVM8JryTjn5dXL9aMZhcNaoKsfXz4LrhdFRQxpsVCdpPBsj1zQ2JHR3JX5oqgrPHQUGGYd9PuRaUEGExRTgwpwCk89oRXJSEYkQSXfsieRNArp5VsmCx1JoFWf4Vi3NUFD3qRiX75Xo1YjnBvqVyakMZms3AuAbn1Aef2JjicWq6xCnfaHX1taEh8KCbtnw9LmAfCaoE6sSMC1brechk5p9gsKusPZHqH17PwMiu7te6XJuwvYCmVessssBH92y8qtCSim2JejjmjAEfaTGfXgbXJefveY6qrPsY9ZRAkow4kBWvGvy2yuR1pJAVP1DCQ8vk8GBKz2aMyTKUqprAzQYX9ZyJx5wSZMhGzKx2qTrgiqLzrDg1z8h7q3CApV4PUMW3R2AwHgijynEeiqGUHMnxiQVmUp5ce3hR5irAkL287tD7hPTVsECAHK1D9W6QJ4fKoY8K84v6Cs1aiDPgR9yWKzkYDfeuFndHVHqiZc49xyx3YQYESVoiKaeCjzahy1hkQC9JrJukRAWEp2VnixH8zpSNpKRCHCeCsZcehup1LCaVhrdMVKK2UXxvFxcLuDMd1Y3QXKEsaS9J2nUA4BnSdEKpVFZNDwKiqK34f7U6QKzSDszLU3o3sa5qszm9ptmXRzwiPvLKAZNmeq6uBgZU1aPZPdBc1ZBDidLgs7v5ytaQvBbEJgyXp4HhE5FWez54UBYsWqTL2UV5bssbp5DVXRpMNWMYKxWHByE3sRGnEmk",
      "assets": [
        {
          "tokenId": "4afba4014c298e92a214caea22a3d9bd57240449c03f5a136267998cf8e5bd89",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Proposal",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1fd6e032e8476c4aa54c18c1a308dce83940e8f4a28f576440513ed7326ad489",
          "index": 1,
          "amount": 5000000,
          "name": "Paideia",
          "decimals": 4,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {
        "R4": {
          "serializedValue": "10020201",
          "sigmaType": "Coll[SInt]",
          "renderedValue": "[1,-1]"
        },
        "R5": {
          "serializedValue": "110484e9b1efa465c0a90700c0a907",
          "sigmaType": "Coll[SLong]",
          "renderedValue": "[1740115425858,60000,0,60000]"
        },
        "R6": {
          "serializedValue": "64653194f482af58777cfd0b2878a285f5ddfaca749048263f4334072417c8602501072000",
          "sigmaType": null,
          "renderedValue": null
        },
        "R7": {
          "serializedValue": "0e135573652045524720666f72204255524e204c50",
          "sigmaType": "Coll[SByte]",
          "renderedValue": "5573652045524720666f72204255524e204c50"
        }
      },
      "spentTransactionId": "a16ad31b1198c4ea41233e2f847daf1884eca186318c916651d63dbb47747548",
      "mainChain": true
    },
    {
      "boxId": "3e8c6a7cd5b7dc6ed6bac7d1e5d42b5af68f449b3b84c2f5981126dbdec813e8",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 1000000,
      "index": 3,
      "globalIndex": 46290859,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [
        {
          "tokenId": "895ca7298ca635899ef9e1f871047eba15696557ad3ffe8a9ec678165f8bcb27",
          "index": 0,
          "amount": 1,
          "name": "Walrus DAO Membership",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "7342ed0bc764a6b3e2830b72eab5331c65acbf8c82842445d380e0af706d7c48",
      "mainChain": true
    },
    {
      "boxId": "18e16916ac09007bbba899627c934cbfbe018e1a8fedccb0f07e84e1a5dd015b",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 50000000,
      "index": 4,
      "globalIndex": 46290860,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "0008cd03553448c194fdd843c87d080f5e8ed983f5bb2807b13b45a9683bba8c7bfb5ae8",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(553448,8bebb3,...)))}",
      "address": "9h7L7sUHZk43VQC3PHtSp5ujAWcZtYmWATBH746wi75C5XHi68b",
      "assets": [],
      "additionalRegisters": {},
      "spentTransactionId": "76de189a1c8e11b86582c9576279957dade2c4043d753896a578bdbaa52b1b79",
      "mainChain": true
    },
    {
      "boxId": "86edbc1b85387d26dccc946d5b7336d52ea0c0a4d1e88708fd56a69deba71733",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 1850000,
      "index": 5,
      "globalIndex": 46290861,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "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": "7f1511dc1d23e8798a7b5c40e187c5dc83e8a3294fce328bd53598be6fc6c1e0",
      "mainChain": true
    },
    {
      "boxId": "393aec4a5900bc8a63e5147d0ce589b784c5dd6694af197f55dfb79ce0176a90",
      "transactionId": "6f65ba460597e2e47e7c255d4372de528a749a7fa34662d795063bc92ef225f5",
      "blockId": "51c60f69431f77e9517605b56f894cf27314d653c47a4b811042f6dc24697c44",
      "value": 3950150000,
      "index": 6,
      "globalIndex": 46290862,
      "creationHeight": 1462564,
      "settlementHeight": 1462566,
      "ergoTree": "0008cd03b775aacf3f06a2d0835af6163add1355cbb8830dbcab9c903b35a103fc6f595c",
      "ergoTreeConstants": "",
      "ergoTreeScript": "{SigmaProp(ProveDlog(ECPoint(b775aa,5105d7,...)))}",
      "address": "9hrbvQghJYNy3XCqFdK6Ci3To4NcrbULt8cgQziBozHadZ1RgPx",
      "assets": [
        {
          "tokenId": "835f56148fec89c5248fd02441037c7d936bbe6bff50dae9232be9d2e084c6a9",
          "index": 0,
          "amount": 1,
          "name": "PoW WoW Girls #0710",
          "decimals": 0,
          "type": "EIP-004"
        },
        {
          "tokenId": "1123a40c48a7695055148988b15f8fa87cd5c11d07b5e64b8c5d5ad1108f7083",
          "index": 1,
          "amount": 1,
          "name": "PoW WoW Girls #0051",
          "decimals": 0,
          "type": "EIP-004"
        }
      ],
      "additionalRegisters": {},
      "spentTransactionId": "7342ed0bc764a6b3e2830b72eab5331c65acbf8c82842445d380e0af706d7c48",
      "mainChain": true
    }
  ],
  "size": 8252,
  "isUnconfirmed": false
}