@aztec/l1-artifacts 2.0.0-nightly.20250822 → 2.0.0-nightly.20250824

package/dest/TokenPortalAbi.js

@@ -1826,6 +1826,17 @@
             }
         ]
     },
+    {
+        "type": "error",
+        "name": "Staking__InitiateWithdrawNeeded",
+        "inputs": [
+            {
+                "name": "",
+                "type": "address",
+                "internalType": "address"
+            }
+        ]
+    },
     {
         "type": "error",
         "name": "Staking__InstanceDoesNotExist",
@@ -2106,6 +2117,274 @@
             }
         ]
     },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "committeeSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidCommitteeCommitment",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidCommitteeSize",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidEpochIndex",
+        "inputs": [
+            {
+                "name": "epochIndex",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundSizeInEpochs",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidNumberOfCommittees",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidQuorumAndRoundSize",
+        "inputs": [
+            {
+                "name": "quorum",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidSignature",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidVoteLength",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__LifetimeMustBeGreaterThanExecutionDelay",
+        "inputs": [
+            {
+                "name": "lifetime",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "executionDelay",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__LifetimeMustBeLessThanRoundabout",
+        "inputs": [
+            {
+                "name": "lifetime",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundabout",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__QuorumMustBeGreaterThanZero",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundAlreadyExecuted",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundNotComplete",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundOutOfRange",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            },
+            {
+                "name": "currentRound",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "roundSizeInEpochs",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration",
+        "inputs": [
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "epochDuration",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeTooLarge",
+        "inputs": [
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "maxRoundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashAmountTooLarge",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashOffsetMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "slashOffset",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashingUnitMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "slashingUnit",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__VoteAlreadyCastInCurrentSlot",
+        "inputs": [
+            {
+                "name": "slot",
+                "type": "uint256",
+                "internalType": "Slot"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__VotingNotOpen",
+        "inputs": [
+            {
+                "name": "currentRound",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
     {
         "type": "error",
         "name": "ValidatorSelection__EpochNotSetup",

package/dest/TokenPortalBytecode.d.ts

@@ -1,7 +1,7 @@
 /**
  * TokenPortal bytecode.
  */
-export declare const TokenPortalBytecode = "0x6080604052348015600e575f5ffd5b50610c658061001c5f395ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c8063ae1f6aaf1161006e578063ae1f6aaf1461013c578063b089388714610153578063cb23bcb51461015c578063ce11e6ab1461016f578063ddca83dd14610182578063fb0e722b14610195575f5ffd5b8063284b5dc6146100aa5780633ba57310146100d75780636133f985146100ec5780636f307dc3146100ff5780637b1039991461012a575b5f5ffd5b6100bd6100b8366004610968565b6101a8565b604080519283526020830191909152015b60405180910390f35b6100ea6100e53660046109b5565b61030e565b005b6100ea6100fa366004610a67565b610494565b600154610112906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b5f54610112906001600160a01b031681565b61014560025481565b6040519081526020016100ce565b61014560065481565b600354610112906001600160a01b031681565b600454610112906001600160a01b031681565b6100bd610190366004610aa5565b6106a6565b600554610112906001600160a01b031681565b60408051808201825260025481526006546020820152905160248101859052604481018490525f918291829061020a9060640160408051601f198184030181529190526020810180516001600160e01b031663bc6a9bd360e01b1790526107fd565b600154909150610225906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af1158015610288573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102ac9190610ac5565b604080518c8152602081018c90529081018a9052606081018390526080810182905291935091507fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060a00160405180910390a1909890975095505050505050565b6040805160a081018252600254606082019081526006546080830152815281518083018352308152466020828101919091528201525f9181016103ae8a8a8a610357575f610359565b335b6040516001600160a01b0393841660248201526044810192909252909116606482015260840160408051601f198184030181529190526020810180516001600160e01b0316631a4ca37b60e21b1790526107fd565b905260048054604051637fb3496760e01b81529293506001600160a01b031691637fb34967916103e89185918a918a918a918a9101610ae7565b5f604051808303815f87803b1580156103ff575f5ffd5b505af1158015610411573d5f5f3e3d5ffd5b505060015460405163a9059cbb60e01b81526001600160a01b038c81166004830152602482018c9052909116925063a9059cbb91506044016020604051808303815f875af1158015610465573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104899190610b75565b505050505050505050565b5f80546001600160a01b038086166001600160a01b03199283168117909355600180549186169190921617905560028290556040805163971b0e6b60e01b8152905163971b0e6b916004808201926020929091908290030181865afa1580156104ff573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105239190610b97565b600380546001600160a01b0319166001600160a01b039290921691821790556040805163a32fbb7b60e01b8152905163a32fbb7b916004808201926020929091908290030181865afa15801561057b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190610b97565b600480546001600160a01b0319166001600160a01b0392831617815560035460408051630da3024f60e21b81529051919093169263368c093c92818101926020929091908290030181865afa1580156105fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061e9190610b97565b600580546001600160a01b0319166001600160a01b03928316179055600354604080516303639b8b60e21b815290519190921691630d8e6e2c9160048083019260209291908290030181865afa15801561067a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069e9190610bb2565b600655505050565b604080518082018252600254815260065460208201529051602481018490525f91829182906107019060440160408051601f198184030181529190526020810180516001600160e01b03166311675ebd60e31b1790526107fd565b60015490915061071c906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af115801561077f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a39190610ac5565b604080518b8152602081018b90529081018390526060810182905291935091507f299eb20cfd9a8209e7d4e309fc27e7d926e719347cb7f1221c8c9d38da0c26f69060800160405180910390a19097909650945050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161082b9190610be0565b602060405180830381855afa158015610846573d5f5f3e3d5ffd5b5050506040513d601f19601f820116820180604052508101906108699190610bb2565b60405160200161087a929190610beb565b60405160208183030381529060405261089290610c09565b92915050565b604080516001600160a01b0385811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526108f29085906108f8565b50505050565b5f5f60205f8451602086015f885af180610917576040513d5f823e3d81fd5b50505f513d9150811561092e57806001141561093b565b6001600160a01b0384163b155b156108f257604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f6060848603121561097a575f5ffd5b505081359360208301359350604090920135919050565b6001600160a01b03811681146109a5575f5ffd5b50565b80151581146109a5575f5ffd5b5f5f5f5f5f5f5f60c0888a0312156109cb575f5ffd5b87356109d681610991565b96506020880135955060408801356109ed816109a8565b9450606088013593506080880135925060a088013567ffffffffffffffff811115610a16575f5ffd5b8801601f81018a13610a26575f5ffd5b803567ffffffffffffffff811115610a3c575f5ffd5b8a60208260051b8401011115610a50575f5ffd5b602082019350809250505092959891949750929550565b5f5f5f60608486031215610a79575f5ffd5b8335610a8481610991565b92506020840135610a9481610991565b929592945050506040919091013590565b5f5f60408385031215610ab6575f5ffd5b50508035926020909101359150565b5f5f60408385031215610ad6575f5ffd5b505080516020909101519092909150565b610afc81875180518252602090810151910152565b60208681015180516001600160a01b03166040848101919091529101516060830152860151608082015260a0810185905260c0810184905261010060e0820181905281018290525f6001600160fb1b03831115610b57575f5ffd5b8260051b808561012085013791909101610120019695505050505050565b5f60208284031215610b85575f5ffd5b8151610b90816109a8565b9392505050565b5f60208284031215610ba7575f5ffd5b8151610b9081610991565b5f60208284031215610bc2575f5ffd5b5051919050565b5f81518060208401855e5f93019283525090919050565b5f610b908284610bc9565b5f610bf68285610bc9565b60ff199390931683525050601f01919050565b80516020808301519190811015610c29575f198160200360031b1b821691505b5091905056fea26469706673582212200f35e419922e59744c1c3b9bf371117dfaf54df0dd8fa62d6b8b3a35988b7e5a64736f6c634300081b0033";
+export declare const TokenPortalBytecode = "0x6080604052348015600e575f5ffd5b50610c658061001c5f395ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c8063ae1f6aaf1161006e578063ae1f6aaf1461013c578063b089388714610153578063cb23bcb51461015c578063ce11e6ab1461016f578063ddca83dd14610182578063fb0e722b14610195575f5ffd5b8063284b5dc6146100aa5780633ba57310146100d75780636133f985146100ec5780636f307dc3146100ff5780637b1039991461012a575b5f5ffd5b6100bd6100b8366004610968565b6101a8565b604080519283526020830191909152015b60405180910390f35b6100ea6100e53660046109b5565b61030e565b005b6100ea6100fa366004610a67565b610494565b600154610112906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b5f54610112906001600160a01b031681565b61014560025481565b6040519081526020016100ce565b61014560065481565b600354610112906001600160a01b031681565b600454610112906001600160a01b031681565b6100bd610190366004610aa5565b6106a6565b600554610112906001600160a01b031681565b60408051808201825260025481526006546020820152905160248101859052604481018490525f918291829061020a9060640160408051601f198184030181529190526020810180516001600160e01b031663bc6a9bd360e01b1790526107fd565b600154909150610225906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af1158015610288573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102ac9190610ac5565b604080518c8152602081018c90529081018a9052606081018390526080810182905291935091507fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060a00160405180910390a1909890975095505050505050565b6040805160a081018252600254606082019081526006546080830152815281518083018352308152466020828101919091528201525f9181016103ae8a8a8a610357575f610359565b335b6040516001600160a01b0393841660248201526044810192909252909116606482015260840160408051601f198184030181529190526020810180516001600160e01b0316631a4ca37b60e21b1790526107fd565b905260048054604051637fb3496760e01b81529293506001600160a01b031691637fb34967916103e89185918a918a918a918a9101610ae7565b5f604051808303815f87803b1580156103ff575f5ffd5b505af1158015610411573d5f5f3e3d5ffd5b505060015460405163a9059cbb60e01b81526001600160a01b038c81166004830152602482018c9052909116925063a9059cbb91506044016020604051808303815f875af1158015610465573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104899190610b75565b505050505050505050565b5f80546001600160a01b038086166001600160a01b03199283168117909355600180549186169190921617905560028290556040805163971b0e6b60e01b8152905163971b0e6b916004808201926020929091908290030181865afa1580156104ff573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105239190610b97565b600380546001600160a01b0319166001600160a01b039290921691821790556040805163a32fbb7b60e01b8152905163a32fbb7b916004808201926020929091908290030181865afa15801561057b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190610b97565b600480546001600160a01b0319166001600160a01b0392831617815560035460408051630da3024f60e21b81529051919093169263368c093c92818101926020929091908290030181865afa1580156105fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061e9190610b97565b600580546001600160a01b0319166001600160a01b03928316179055600354604080516303639b8b60e21b815290519190921691630d8e6e2c9160048083019260209291908290030181865afa15801561067a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069e9190610bb2565b600655505050565b604080518082018252600254815260065460208201529051602481018490525f91829182906107019060440160408051601f198184030181529190526020810180516001600160e01b03166311675ebd60e31b1790526107fd565b60015490915061071c906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af115801561077f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a39190610ac5565b604080518b8152602081018b90529081018390526060810182905291935091507f299eb20cfd9a8209e7d4e309fc27e7d926e719347cb7f1221c8c9d38da0c26f69060800160405180910390a19097909650945050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161082b9190610be0565b602060405180830381855afa158015610846573d5f5f3e3d5ffd5b5050506040513d601f19601f820116820180604052508101906108699190610bb2565b60405160200161087a929190610beb565b60405160208183030381529060405261089290610c09565b92915050565b604080516001600160a01b0385811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526108f29085906108f8565b50505050565b5f5f60205f8451602086015f885af180610917576040513d5f823e3d81fd5b50505f513d9150811561092e57806001141561093b565b6001600160a01b0384163b155b156108f257604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f6060848603121561097a575f5ffd5b505081359360208301359350604090920135919050565b6001600160a01b03811681146109a5575f5ffd5b50565b80151581146109a5575f5ffd5b5f5f5f5f5f5f5f60c0888a0312156109cb575f5ffd5b87356109d681610991565b96506020880135955060408801356109ed816109a8565b9450606088013593506080880135925060a088013567ffffffffffffffff811115610a16575f5ffd5b8801601f81018a13610a26575f5ffd5b803567ffffffffffffffff811115610a3c575f5ffd5b8a60208260051b8401011115610a50575f5ffd5b602082019350809250505092959891949750929550565b5f5f5f60608486031215610a79575f5ffd5b8335610a8481610991565b92506020840135610a9481610991565b929592945050506040919091013590565b5f5f60408385031215610ab6575f5ffd5b50508035926020909101359150565b5f5f60408385031215610ad6575f5ffd5b505080516020909101519092909150565b610afc81875180518252602090810151910152565b60208681015180516001600160a01b03166040848101919091529101516060830152860151608082015260a0810185905260c0810184905261010060e0820181905281018290525f6001600160fb1b03831115610b57575f5ffd5b8260051b808561012085013791909101610120019695505050505050565b5f60208284031215610b85575f5ffd5b8151610b90816109a8565b9392505050565b5f60208284031215610ba7575f5ffd5b8151610b9081610991565b5f60208284031215610bc2575f5ffd5b5051919050565b5f81518060208401855e5f93019283525090919050565b5f610b908284610bc9565b5f610bf68285610bc9565b60ff199390931683525050601f01919050565b80516020808301519190811015610c29575f198160200360031b1b821691505b5091905056fea26469706673582212209a454471d39d20cdaf604d7462459ed385fb5bf49ba40fd90de0b2d551b5d45564736f6c634300081b0033";
 /**
  * TokenPortal link references.
  */

package/dest/TokenPortalBytecode.js

@@ -1,6 +1,6 @@
 /**
  * TokenPortal bytecode.
- */ export const TokenPortalBytecode = "0x6080604052348015600e575f5ffd5b50610c658061001c5f395ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c8063ae1f6aaf1161006e578063ae1f6aaf1461013c578063b089388714610153578063cb23bcb51461015c578063ce11e6ab1461016f578063ddca83dd14610182578063fb0e722b14610195575f5ffd5b8063284b5dc6146100aa5780633ba57310146100d75780636133f985146100ec5780636f307dc3146100ff5780637b1039991461012a575b5f5ffd5b6100bd6100b8366004610968565b6101a8565b604080519283526020830191909152015b60405180910390f35b6100ea6100e53660046109b5565b61030e565b005b6100ea6100fa366004610a67565b610494565b600154610112906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b5f54610112906001600160a01b031681565b61014560025481565b6040519081526020016100ce565b61014560065481565b600354610112906001600160a01b031681565b600454610112906001600160a01b031681565b6100bd610190366004610aa5565b6106a6565b600554610112906001600160a01b031681565b60408051808201825260025481526006546020820152905160248101859052604481018490525f918291829061020a9060640160408051601f198184030181529190526020810180516001600160e01b031663bc6a9bd360e01b1790526107fd565b600154909150610225906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af1158015610288573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102ac9190610ac5565b604080518c8152602081018c90529081018a9052606081018390526080810182905291935091507fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060a00160405180910390a1909890975095505050505050565b6040805160a081018252600254606082019081526006546080830152815281518083018352308152466020828101919091528201525f9181016103ae8a8a8a610357575f610359565b335b6040516001600160a01b0393841660248201526044810192909252909116606482015260840160408051601f198184030181529190526020810180516001600160e01b0316631a4ca37b60e21b1790526107fd565b905260048054604051637fb3496760e01b81529293506001600160a01b031691637fb34967916103e89185918a918a918a918a9101610ae7565b5f604051808303815f87803b1580156103ff575f5ffd5b505af1158015610411573d5f5f3e3d5ffd5b505060015460405163a9059cbb60e01b81526001600160a01b038c81166004830152602482018c9052909116925063a9059cbb91506044016020604051808303815f875af1158015610465573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104899190610b75565b505050505050505050565b5f80546001600160a01b038086166001600160a01b03199283168117909355600180549186169190921617905560028290556040805163971b0e6b60e01b8152905163971b0e6b916004808201926020929091908290030181865afa1580156104ff573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105239190610b97565b600380546001600160a01b0319166001600160a01b039290921691821790556040805163a32fbb7b60e01b8152905163a32fbb7b916004808201926020929091908290030181865afa15801561057b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190610b97565b600480546001600160a01b0319166001600160a01b0392831617815560035460408051630da3024f60e21b81529051919093169263368c093c92818101926020929091908290030181865afa1580156105fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061e9190610b97565b600580546001600160a01b0319166001600160a01b03928316179055600354604080516303639b8b60e21b815290519190921691630d8e6e2c9160048083019260209291908290030181865afa15801561067a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069e9190610bb2565b600655505050565b604080518082018252600254815260065460208201529051602481018490525f91829182906107019060440160408051601f198184030181529190526020810180516001600160e01b03166311675ebd60e31b1790526107fd565b60015490915061071c906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af115801561077f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a39190610ac5565b604080518b8152602081018b90529081018390526060810182905291935091507f299eb20cfd9a8209e7d4e309fc27e7d926e719347cb7f1221c8c9d38da0c26f69060800160405180910390a19097909650945050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161082b9190610be0565b602060405180830381855afa158015610846573d5f5f3e3d5ffd5b5050506040513d601f19601f820116820180604052508101906108699190610bb2565b60405160200161087a929190610beb565b60405160208183030381529060405261089290610c09565b92915050565b604080516001600160a01b0385811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526108f29085906108f8565b50505050565b5f5f60205f8451602086015f885af180610917576040513d5f823e3d81fd5b50505f513d9150811561092e57806001141561093b565b6001600160a01b0384163b155b156108f257604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f6060848603121561097a575f5ffd5b505081359360208301359350604090920135919050565b6001600160a01b03811681146109a5575f5ffd5b50565b80151581146109a5575f5ffd5b5f5f5f5f5f5f5f60c0888a0312156109cb575f5ffd5b87356109d681610991565b96506020880135955060408801356109ed816109a8565b9450606088013593506080880135925060a088013567ffffffffffffffff811115610a16575f5ffd5b8801601f81018a13610a26575f5ffd5b803567ffffffffffffffff811115610a3c575f5ffd5b8a60208260051b8401011115610a50575f5ffd5b602082019350809250505092959891949750929550565b5f5f5f60608486031215610a79575f5ffd5b8335610a8481610991565b92506020840135610a9481610991565b929592945050506040919091013590565b5f5f60408385031215610ab6575f5ffd5b50508035926020909101359150565b5f5f60408385031215610ad6575f5ffd5b505080516020909101519092909150565b610afc81875180518252602090810151910152565b60208681015180516001600160a01b03166040848101919091529101516060830152860151608082015260a0810185905260c0810184905261010060e0820181905281018290525f6001600160fb1b03831115610b57575f5ffd5b8260051b808561012085013791909101610120019695505050505050565b5f60208284031215610b85575f5ffd5b8151610b90816109a8565b9392505050565b5f60208284031215610ba7575f5ffd5b8151610b9081610991565b5f60208284031215610bc2575f5ffd5b5051919050565b5f81518060208401855e5f93019283525090919050565b5f610b908284610bc9565b5f610bf68285610bc9565b60ff199390931683525050601f01919050565b80516020808301519190811015610c29575f198160200360031b1b821691505b5091905056fea26469706673582212200f35e419922e59744c1c3b9bf371117dfaf54df0dd8fa62d6b8b3a35988b7e5a64736f6c634300081b0033";
+ */ export const TokenPortalBytecode = "0x6080604052348015600e575f5ffd5b50610c658061001c5f395ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c8063ae1f6aaf1161006e578063ae1f6aaf1461013c578063b089388714610153578063cb23bcb51461015c578063ce11e6ab1461016f578063ddca83dd14610182578063fb0e722b14610195575f5ffd5b8063284b5dc6146100aa5780633ba57310146100d75780636133f985146100ec5780636f307dc3146100ff5780637b1039991461012a575b5f5ffd5b6100bd6100b8366004610968565b6101a8565b604080519283526020830191909152015b60405180910390f35b6100ea6100e53660046109b5565b61030e565b005b6100ea6100fa366004610a67565b610494565b600154610112906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b5f54610112906001600160a01b031681565b61014560025481565b6040519081526020016100ce565b61014560065481565b600354610112906001600160a01b031681565b600454610112906001600160a01b031681565b6100bd610190366004610aa5565b6106a6565b600554610112906001600160a01b031681565b60408051808201825260025481526006546020820152905160248101859052604481018490525f918291829061020a9060640160408051601f198184030181529190526020810180516001600160e01b031663bc6a9bd360e01b1790526107fd565b600154909150610225906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af1158015610288573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102ac9190610ac5565b604080518c8152602081018c90529081018a9052606081018390526080810182905291935091507fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060a00160405180910390a1909890975095505050505050565b6040805160a081018252600254606082019081526006546080830152815281518083018352308152466020828101919091528201525f9181016103ae8a8a8a610357575f610359565b335b6040516001600160a01b0393841660248201526044810192909252909116606482015260840160408051601f198184030181529190526020810180516001600160e01b0316631a4ca37b60e21b1790526107fd565b905260048054604051637fb3496760e01b81529293506001600160a01b031691637fb34967916103e89185918a918a918a918a9101610ae7565b5f604051808303815f87803b1580156103ff575f5ffd5b505af1158015610411573d5f5f3e3d5ffd5b505060015460405163a9059cbb60e01b81526001600160a01b038c81166004830152602482018c9052909116925063a9059cbb91506044016020604051808303815f875af1158015610465573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104899190610b75565b505050505050505050565b5f80546001600160a01b038086166001600160a01b03199283168117909355600180549186169190921617905560028290556040805163971b0e6b60e01b8152905163971b0e6b916004808201926020929091908290030181865afa1580156104ff573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105239190610b97565b600380546001600160a01b0319166001600160a01b039290921691821790556040805163a32fbb7b60e01b8152905163a32fbb7b916004808201926020929091908290030181865afa15801561057b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190610b97565b600480546001600160a01b0319166001600160a01b0392831617815560035460408051630da3024f60e21b81529051919093169263368c093c92818101926020929091908290030181865afa1580156105fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061e9190610b97565b600580546001600160a01b0319166001600160a01b03928316179055600354604080516303639b8b60e21b815290519190921691630d8e6e2c9160048083019260209291908290030181865afa15801561067a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069e9190610bb2565b600655505050565b604080518082018252600254815260065460208201529051602481018490525f91829182906107019060440160408051601f198184030181529190526020810180516001600160e01b03166311675ebd60e31b1790526107fd565b60015490915061071c906001600160a01b0316333089610898565b600554604051631f6d510b60e01b8152835160048201526020840151602482015260448101839052606481018790525f9182916001600160a01b0390911690631f6d510b9060840160408051808303815f875af115801561077f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a39190610ac5565b604080518b8152602081018b90529081018390526060810182905291935091507f299eb20cfd9a8209e7d4e309fc27e7d926e719347cb7f1221c8c9d38da0c26f69060800160405180910390a19097909650945050505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161082b9190610be0565b602060405180830381855afa158015610846573d5f5f3e3d5ffd5b5050506040513d601f19601f820116820180604052508101906108699190610bb2565b60405160200161087a929190610beb565b60405160208183030381529060405261089290610c09565b92915050565b604080516001600160a01b0385811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526108f29085906108f8565b50505050565b5f5f60205f8451602086015f885af180610917576040513d5f823e3d81fd5b50505f513d9150811561092e57806001141561093b565b6001600160a01b0384163b155b156108f257604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f6060848603121561097a575f5ffd5b505081359360208301359350604090920135919050565b6001600160a01b03811681146109a5575f5ffd5b50565b80151581146109a5575f5ffd5b5f5f5f5f5f5f5f60c0888a0312156109cb575f5ffd5b87356109d681610991565b96506020880135955060408801356109ed816109a8565b9450606088013593506080880135925060a088013567ffffffffffffffff811115610a16575f5ffd5b8801601f81018a13610a26575f5ffd5b803567ffffffffffffffff811115610a3c575f5ffd5b8a60208260051b8401011115610a50575f5ffd5b602082019350809250505092959891949750929550565b5f5f5f60608486031215610a79575f5ffd5b8335610a8481610991565b92506020840135610a9481610991565b929592945050506040919091013590565b5f5f60408385031215610ab6575f5ffd5b50508035926020909101359150565b5f5f60408385031215610ad6575f5ffd5b505080516020909101519092909150565b610afc81875180518252602090810151910152565b60208681015180516001600160a01b03166040848101919091529101516060830152860151608082015260a0810185905260c0810184905261010060e0820181905281018290525f6001600160fb1b03831115610b57575f5ffd5b8260051b808561012085013791909101610120019695505050505050565b5f60208284031215610b85575f5ffd5b8151610b90816109a8565b9392505050565b5f60208284031215610ba7575f5ffd5b8151610b9081610991565b5f60208284031215610bc2575f5ffd5b5051919050565b5f81518060208401855e5f93019283525090919050565b5f610b908284610bc9565b5f610bf68285610bc9565b60ff199390931683525050601f01919050565b80516020808301519190811015610c29575f198160200360031b1b821691505b5091905056fea26469706673582212209a454471d39d20cdaf604d7462459ed385fb5bf49ba40fd90de0b2d551b5d45564736f6c634300081b0033";
 /**
  * TokenPortal link references.
  */ export const TokenPortalLinkReferences = {};

package/dest/UniswapPortalAbi.d.ts

@@ -1327,6 +1327,14 @@ export declare const UniswapPortalAbi: readonly [{
         readonly type: "uint256";
         readonly internalType: "uint256";
     }];
+}, {
+    readonly type: "error";
+    readonly name: "Staking__InitiateWithdrawNeeded";
+    readonly inputs: readonly [{
+        readonly name: "";
+        readonly type: "address";
+        readonly internalType: "address";
+    }];
 }, {
     readonly type: "error";
     readonly name: "Staking__InstanceDoesNotExist";
@@ -1535,6 +1543,206 @@ export declare const UniswapPortalAbi: readonly [{
         readonly type: "uint256";
         readonly internalType: "Timestamp";
     }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "committeeSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidCommitteeCommitment";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidCommitteeSize";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidEpochIndex";
+    readonly inputs: readonly [{
+        readonly name: "epochIndex";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundSizeInEpochs";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidNumberOfCommittees";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidQuorumAndRoundSize";
+    readonly inputs: readonly [{
+        readonly name: "quorum";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidSignature";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidVoteLength";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__LifetimeMustBeGreaterThanExecutionDelay";
+    readonly inputs: readonly [{
+        readonly name: "lifetime";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "executionDelay";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__LifetimeMustBeLessThanRoundabout";
+    readonly inputs: readonly [{
+        readonly name: "lifetime";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundabout";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__QuorumMustBeGreaterThanZero";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundAlreadyExecuted";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundNotComplete";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundOutOfRange";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }, {
+        readonly name: "currentRound";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "roundSizeInEpochs";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration";
+    readonly inputs: readonly [{
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "epochDuration";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeTooLarge";
+    readonly inputs: readonly [{
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "maxRoundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashAmountTooLarge";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashOffsetMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "slashOffset";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashingUnitMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "slashingUnit";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__VoteAlreadyCastInCurrentSlot";
+    readonly inputs: readonly [{
+        readonly name: "slot";
+        readonly type: "uint256";
+        readonly internalType: "Slot";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__VotingNotOpen";
+    readonly inputs: readonly [{
+        readonly name: "currentRound";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
 }, {
     readonly type: "error";
     readonly name: "ValidatorSelection__EpochNotSetup";

package/dest/UniswapPortalAbi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UniswapPortalAbi.d.ts","sourceRoot":"","sources":["../src/UniswapPortalAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAw1EnB,CAAC"}
+{"version":3,"file":"UniswapPortalAbi.d.ts","sourceRoot":"","sources":["../src/UniswapPortalAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+mFnB,CAAC"}