Skip to content

N
nebula
Commit f6ca2362 authored by Delweng's avatar Delweng Committed by GitHub
Browse files
Options

feat(ct/kontrol): mock DeploymentSummary (#12388) 

Signed-off-by: default avatarjsvisa <delweng@gmail.com>
parent dcdf2b76
Hide whitespace changes
Inline Side-by-side
Showing with 16 additions and 2376 deletions
packages/contracts-bedrock/test/kontrol/proofs/utils/DeploymentSummary.sol
View file @ f6ca2362
......@@ -8,1104 +8,14 @@ import { Vm } from "forge-std/Vm.sol";
import { DeploymentSummaryCode } from "./DeploymentSummaryCode.sol";
contract DeploymentSummary is DeploymentSummaryCode {
// Test contract address, 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496
address private constant FOUNDRY_TEST_ADDRESS = 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496;
// Cheat code address, 0x7109709ECfa91a80626fF3989D68f67F5b1DD12D
address private constant VM_ADDRESS = address(uint160(uint256(keccak256("hevm cheat code"))));
Vm private constant vm = Vm(VM_ADDRESS);
address internal constant addressManagerAddress = 0x26a942b414CBc2eBb43F9c4e68DD791B5f61b5c7;
address internal constant anchorStateRegistryAddress = 0x725359b865eF63f8f39A0E00018b011DAe217ef8;
address internal constant anchorStateRegistryProxyAddress = 0x6B73DBbd13FC27bf96b2d508B6C88179D2b4c4ba;
address internal constant delayedWETHAddress = 0xec557124625E001dfe2d23ddA4F48A291E8a3e3a;
address internal constant delayedWETHProxyAddress = 0x73FE37d2361D525B7be1E7d96abb5e92Dec70d1f;
address internal constant disputeGameFactoryAddress = 0x8a1a5F20ADF3005022049880f799FBBF2a188cfC;
address internal constant disputeGameFactoryProxyAddress = 0xeCb92a686D1ab066fc4E559A305FEB75DD512377;
address internal constant faultDisputeGame_0Address = 0x9eD8dfE7e401D014472b48d19Ca56cb0C1ddF9b2;
address internal constant l1CrossDomainMessengerAddress = 0x2CfFF1c8Df8CE2BA6CBa19699CCBa6F381734938;
address internal constant l1CrossDomainMessengerProxyAddress = 0x3d609De69E066F85C38AC274e3EeC251EcfDeAa1;
address internal constant l1ERC721BridgeAddress = 0x2AC24b15a2Ded48F4B51e70293589058546a11FE;
address internal constant l1ERC721BridgeProxyAddress = 0x961a37bd2eF41Ef68932d6E1FB4113534dcACB9B;
address internal constant l1StandardBridgeAddress = 0x3857b6c6f162fDA9BD591D4CCDEF8C00093cC357;
address internal constant l1StandardBridgeProxyAddress = 0x9D34A2610Ea283f6d9AE29f9Cad82e00c4d38507;
address internal constant l2OutputOracleAddress = 0x60611290Ee58881f4C464EC6dE61A8C34C3EdEf1;
address internal constant l2OutputOracleProxyAddress = 0x32029D2036aF0adEef18Af5220E276781AC3f2f4;
address internal constant mipsAddress = 0x9848e4470F89bec8b050eCDf93F69B8660B6046C;
address internal constant oPContractsManagerAddress = 0xb32a4b81244fEd6A176f295A4787cC9cce687a5e;
address internal constant oPContractsManagerProxyAddress = 0x5b66F1D2dC2691F9bcac54Ee8B90a9923701e553;
address internal constant optimismMintableERC20FactoryAddress = 0x89c88ED20d4b742185185f77017182247671eE3b;
address internal constant optimismMintableERC20FactoryProxyAddress = 0x623C237952ea6e3cD74740a5B766F2978AEA3b54;
address internal constant optimismPortalAddress = 0x745556014659F7c493388Ff3ec3Fc31CF840db2a;
address internal constant optimismPortal2Address = 0x8237f181A3A8C7f871174e85f499f71f2A0d5B75;
address internal constant optimismPortalProxyAddress = 0xA439B64360C875951478b0Cf77698038df331255;
address internal constant permissionedDelayedWETHProxyAddress = 0x157514fF1F55f8685083D9D83CaE4aD4E186daDa;
address internal constant permissionedDisputeGameAddress = 0x69cF13a295f92208546A4F2D2C9Dbc6E6009A99B;
address internal constant preimageOracleAddress = 0xc043F015EB8cA0b94D4cAde622ed7369ce4ffE4E;
address internal constant protocolVersionsAddress = 0xd85BdcdaE4db1FAEB8eF93331525FE68D7C8B3f0;
address internal constant protocolVersionsProxyAddress = 0x856e75e9c0Da547F9753c17746D6cc139b668e5c;
address internal constant proxyAdminAddress = 0xac43F7588b15fA5F2347824F0Ad0ba1BDCa5E72C;
address internal constant superchainConfigAddress = 0x238213078DbD09f2D15F4c14c02300FA1b2A81BB;
address internal constant superchainConfigProxyAddress = 0xDc82c0362A241Aa94d53546648EACe48C9773dAa;
address internal constant superchainProxyAdminAddress = 0xdaE97900D4B184c5D2012dcdB658c008966466DD;
address internal constant systemConfigAddress = 0xE3dF61CA9F27cd66880325f3C6CB789EDe857997;
address internal constant systemConfigProxyAddress = 0xF493e2ebb09309e2d0046a7aFc88C8eDa3c91560;
address internal constant acc35Address = 0xC7f2Cf4845C6db0e1a1e91ED41Bcd0FcC1b0E141;
address internal constant acc36Address = 0x16df8DF979dDfAc37d4aEd2F71501F7dc98176dC;
address internal constant acc37Address = 0x07fcCDE2f7a0fD9D263bB91d2A7eD263F11b2f63;
address internal constant acc38Address = 0xdad56314AbA81676e2d5826fb72B2168141c0A60;
address internal constant acc39Address = 0x3A36350567809d7ad83f354B5ADB27cD589537aB;
address internal constant acc40Address = 0x32C3144332bfB6a3e638Cba8160351B96Ef92ED2;
address internal constant acc41Address = 0x25DD9A394Bdbf5db3225237717A1116F7F99BBED;
address internal constant acc42Address = 0x53dfc133b9584fF23C0Ad6334fD101d7d13735c0;
address internal constant acc43Address = 0x244B36AB18615d5359523Cb839fee797c1bC0956;
address internal constant acc44Address = 0x2E95a9a8550eDEfc82Ad229D00e51F8925BF3A94;
address internal constant acc45Address = 0x3080D3E2182e204077a9420e9E8c8fB82beA6780;
address internal constant acc46Address = 0x65B996ab258B4F5957b808c1D2E9fb9E7a37331e;
address internal constant acc47Address = 0x50F6Fc60DE844E86Df2dbb417375dAF6644571a2;
address internal constant acc48Address = 0x81e124179B71AC65424B32C9a20378a9ba005373;
address internal constant acc49Address = 0x5b73C5498c1E3b4dbA84de0F1833c4a029d90519;
function recreateState() public {
bytes32 slot;
bytes32 value;
vm.etch(acc35Address, acc35Code);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000010001";
vm.store(acc35Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc36Address, slot, value);
vm.etch(superchainProxyAdminAddress, superchainProxyAdminCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(superchainProxyAdminAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(acc37Address, slot, value);
vm.etch(superchainConfigAddress, superchainConfigCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(superchainConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigAddress, slot, value);
vm.etch(protocolVersionsAddress, protocolVersionsCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"000000000000000000000000238213078dbd09f2d15f4c14c02300fa1b2a81bb";
vm.store(acc37Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"000000000000000000000000d85bdcdae4db1faeb8ef93331525fe68d7c8b3f0";
vm.store(acc37Address, slot, value);
vm.etch(superchainConfigProxyAddress, superchainConfigProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000238213078dbd09f2d15f4c14c02300fa1b2a81bb";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"d30e835d3f35624761057ff5b27d558f97bd5be034621e62240e5c0b784abe68";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(acc37Address, slot, value);
vm.etch(protocolVersionsProxyAddress, protocolVersionsProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000d85bdcdae4db1faeb8ef93331525fe68d7c8b3f0";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"4aaefe95bd84fd3f32700cf3b7566bc944b73138e41958b5785826df2aecace0";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"e314dfc40f0025322aacc0ba8ef420b62fb3b702cf01e0cdf3d829117ac2ff1a";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"000000000000000000000000856e75e9c0da547f9753c17746d6cc139b668e5c";
vm.store(acc37Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(superchainProxyAdminAddress, slot, value);
vm.etch(acc38Address, acc38Code);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000010001";
vm.store(acc38Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"0000000000000000000000000000000000000000000000000000000000093a80";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"0000000000000000000000000000000000000000000000000000000000002710";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000000000000000000000000000000000000000000078";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000000000000000000000000000000000000000000c";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"6465760000000000000000000000000000000000000000000000000000000006";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444";
value = hex"2f686f6d652f72762f446f63756d656e74732f6175646974732f4f7074696d69";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3445";
value = hex"736d2f5f61756469745f457468657265756d2d6f7074696d69736d5f70617573";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3446";
value = hex"6162696c6974792f7061636b616765732f636f6e7472616374732d626564726f";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3447";
value = hex"636b2f746573742f66697874757265732f7374616e646172642d76657273696f";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3448";
value = hex"6e732e746f6d6c00000000000000000000000000000000000000000000000000";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"000000000000000000000000000000000000000000000000000000000000010f";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"000000000000000000000000856e75e9c0da547f9753c17746d6cc139b668e5c";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000013";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc39Address, slot, value);
vm.etch(systemConfigAddress, systemConfigCode);
slot = hex"a11ee3ab75b40e88a0105e935d17cd36c8faee0138320d776c411291bdbbb19f";
value = hex"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000066";
value = hex"0100000000000000000000000000000000000000000000000000000000000000";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000069";
value = hex"0000000000000000000000000000000000000000000000000000020100000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"000000000000000000000000e3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(acc40Address, slot, value);
vm.etch(l1CrossDomainMessengerAddress, l1CrossDomainMessengerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000001010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cc";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cf";
value = hex"0000000000000000000000004200000000000000000000000000000000000007";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"0000000000000000000000002cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(acc40Address, slot, value);
vm.etch(l1ERC721BridgeAddress, l1ERC721BridgeCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000004200000000000000000000000000000000000014";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"0000000000000000000000002ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(acc40Address, slot, value);
vm.etch(l1StandardBridgeAddress, l1StandardBridgeCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000004200000000000000000000000000000000000010";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"0000000000000000000000003857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(acc40Address, slot, value);
vm.etch(optimismMintableERC20FactoryAddress, optimismMintableERC20FactoryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"00000000000000000000000089c88ed20d4b742185185f77017182247671ee3b";
vm.store(acc40Address, slot, value);
vm.etch(optimismPortal2Address, optimismPortal2Code);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortal2Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000003b";
value = hex"0000000000000000000000000000000000000000000000000000000100000000";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortal2Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000008237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(acc40Address, slot, value);
vm.etch(delayedWETHAddress, delayedWETHCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000000000000000000000000000000000000000000000";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(acc40Address, slot, value);
vm.etch(preimageOracleAddress, preimageOracleCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"ad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"b4c11951957c6f8f642c4af61cd6b24640fec6dc7fc607ee8206a99e92410d30";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"21ddb9a356815c3fac1026b6dec5df3124afbadb485c9ba5a3e3398a04b7ba85";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"e58769b32a1beaf1ea27375a44095a0d1fb664ce2dd358e7fcbfb78c26a19344";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0eb01ebfc9ed27500cd4dfc979272d1f0913cc9f66540d7e8005811109e1cf2d";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"887c22bd8750d34016ac3c66b5ff102dacdd73f6b014e710b51e8022af9a1968";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"ffd70157e48063fc33c97a050f7f640233bf646cc98d9524c6b92bcf3ab56f83";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"9867cc5f7f196b93bae1e27e6320742445d290f2263827498b54fec539f756af";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"cefad4e508c098b9a7e1d8feb19955fb02ba9675585078710969d3440f5054e0";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"f9dc3e7fe016e050eff260334f18a5d4fe391d82092319f5964f2e2eb7c1c3a5";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"f8b13a49e282f609c317a833fb8d976d11517c571d1221a265d25af778ecf892";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"3490c6ceeb450aecdc82e28293031d10c7d73bf85e57bf041a97360aa2c5d99c";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"c1df82d9c4b87413eae2ef048f94b4d3554cea73d92b0f7af96e0271c691e2bb";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"5c67add7c6caf302256adedf7ab114da0acfe870d449a3a489f781d659e8becc";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"da7bce9f4e8618b6bd2f4132ce798cdc7a60e7e1460a7299e3c6342a579626d2";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000c043f015eb8ca0b94d4cade622ed7369ce4ffe4e";
vm.store(acc40Address, slot, value);
vm.etch(mipsAddress, mipsCode);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"0000000000000000000000009848e4470f89bec8b050ecdf93f69b8660b6046c";
vm.store(acc40Address, slot, value);
vm.etch(disputeGameFactoryAddress, disputeGameFactoryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000000000000000000000000000000000000000000000";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000013";
value = hex"0000000000000000000000008a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(acc40Address, slot, value);
vm.etch(acc41Address, acc41Code);
vm.etch(acc42Address, acc42Code);
vm.etch(acc43Address, acc43Code);
vm.etch(acc44Address, acc44Code);
vm.etch(acc45Address, acc45Code);
vm.etch(acc46Address, acc46Code);
vm.etch(acc47Address, acc47Code);
vm.etch(acc48Address, acc48Code);
vm.etch(oPContractsManagerProxyAddress, oPContractsManagerProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(oPContractsManagerProxyAddress, slot, value);
vm.etch(oPContractsManagerAddress, oPContractsManagerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"00000000000000000000000000000000000000000000000000000000000000ff";
vm.store(oPContractsManagerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"000000000000000000000000b32a4b81244fed6a176f295a4787cc9cce687a5e";
vm.store(acc40Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000b32a4b81244fed6a176f295a4787cc9cce687a5e";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"6465760000000000000000000000000000000000000000000000000000000006";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"32527609853b9ca57d4fa33ab598a09bde6a44597ea0100b3a589caab483ca11";
value = hex"0000000000000000485cc9552ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"5cc3fbd4f4089d6664f7f1c65333e1996fd0f844864a685a2758eeaa411770bb";
value = hex"00000000000000008e819e548237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"4e093c2e8116e2bc577a0e10c7812e6334a656d8c0086676fa069ae4e68c253c";
value = hex"0000000000000000db9040fae3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"5d30a524d1a77b31817b6d36862222cfed7c75276b40a14e8253a40ca80323a8";
value = hex"0000000000000000c4d66de889c88ed20d4b742185185f77017182247671ee3b";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"55d71ef7b860a4ce4acdbc7d36a0b67854ff59735e3981ad489e45b811806eaa";
value = hex"0000000000000000c0c53b8b2cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"7b6c1f974e532427e3ff841bada55cf0939b3cd75c999dba2162f2e06d3d1d6d";
value = hex"0000000000000000c0c53b8b3857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"911d2bbae7415db65565f78b9130caa4ad1a491dba7499cede23006194f5194b";
value = hex"0000000000000000c4d66de88a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"567d91ed00982ddee63ba91d8c98953e649722ae8c7c53299ddffff606d0420b";
value = hex"0000000000000000485cc955ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"1ab01ec1f2b533045bc10905cd7365a45c23ac352bad79060047488ff7084626";
value = hex"0000000000000000000000009848e4470f89bec8b050ecdf93f69b8660b6046c";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"00000000000000000000000025dd9a394bdbf5db3225237717a1116f7f99bbed";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"00000000000000000000000053dfc133b9584ff23c0ad6334fd101d7d13735c0";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"000000000000000000000000244b36ab18615d5359523cb839fee797c1bc0956";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"0000000000000000000000002e95a9a8550edefc82ad229d00e51f8925bf3a94";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000003080d3e2182e204077a9420e9e8c8fb82bea6780";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"00000000000000000000000065b996ab258b4f5957b808c1d2e9fb9e7a37331e";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"00000000000000000000000050f6fc60de844e86df2dbb417375daf6644571a2";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"00000000000000000000000081e124179b71ac65424b32c9a20378a9ba005373";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(acc40Address, slot, value);
vm.etch(optimismPortalAddress, optimismPortalCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalAddress, slot, value);
slot = hex"d882806e740181869e5709cf26aafa4c0f103ac7e9238dc55bc73ed67f4f271c";
value = hex"4f7074696d69736d506f7274616c00000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"d882806e740181869e5709cf26aafa4c0f103ac7e9238dc55bc73ed67f4f271d";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c407";
value = hex"4f7074696d69736d506f7274616c00000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c408";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(acc49Address, slot, value);
vm.etch(l2OutputOracleAddress, l2OutputOracleCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"743e8095899359d4bbffa5d34c89d1d15ec2fa167b22b5bc16de47542ceb216e";
value = hex"4c324f75747075744f7261636c6500000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"743e8095899359d4bbffa5d34c89d1d15ec2fa167b22b5bc16de47542ceb216f";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000007";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c409";
value = hex"4c324f75747075744f7261636c6500000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c40a";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(acc49Address, slot, value);
vm.etch(addressManagerAddress, addressManagerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(addressManagerAddress, slot, value);
vm.etch(proxyAdminAddress, proxyAdminCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(proxyAdminAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000003";
value = hex"00000000000000000000000026a942b414cbc2ebb43f9c4e68dd791b5f61b5c7";
vm.store(proxyAdminAddress, slot, value);
vm.etch(l1ERC721BridgeProxyAddress, l1ERC721BridgeProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
vm.etch(optimismPortalProxyAddress, optimismPortalProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(optimismPortalProxyAddress, slot, value);
vm.etch(systemConfigProxyAddress, systemConfigProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(systemConfigProxyAddress, slot, value);
vm.etch(optimismMintableERC20FactoryProxyAddress, optimismMintableERC20FactoryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
vm.etch(disputeGameFactoryProxyAddress, disputeGameFactoryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(disputeGameFactoryProxyAddress, slot, value);
vm.etch(anchorStateRegistryProxyAddress, anchorStateRegistryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(anchorStateRegistryProxyAddress, slot, value);
vm.etch(l1StandardBridgeProxyAddress, l1StandardBridgeProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"ae9c11a910e73c7e39715575f036e8a3ca498bbf8535b081bf9c04893ff57933";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(proxyAdminAddress, slot, value);
vm.etch(l1CrossDomainMessengerProxyAddress, l1CrossDomainMessengerProxyCode);
slot = hex"7d37dab38e6a6a4c78c2f2f0271d1a7b16d46c4e8b9996518432248e4536773a";
value = hex"00000000000000000000000026a942b414cbc2ebb43f9c4e68dd791b5f61b5c7";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"97092e866e92177e383c2f90414c1c91f203bcde1b07b34930ba279bccfd77f8";
value = hex"4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000034";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"7d37dab38e6a6a4c78c2f2f0271d1a7b16d46c4e8b9996518432248e4536773a";
value = hex"0000000000000000000000000000000000000000000000000000000000000002";
vm.store(proxyAdminAddress, slot, value);
slot = hex"5ae4e12c3f1568ef2166fe556ab15e9acdab12cec3e961b627175c5fa9f35168";
value = hex"4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000034";
vm.store(proxyAdminAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(addressManagerAddress, slot, value);
vm.etch(anchorStateRegistryAddress, anchorStateRegistryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"00000000000000000000000000000000000000000000000000000000000000ff";
vm.store(anchorStateRegistryAddress, slot, value);
vm.etch(permissionedDelayedWETHProxyAddress, permissionedDelayedWETHProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
vm.etch(permissionedDisputeGameAddress, permissionedDisputeGameCode);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000002ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000004200000000000000000000000000000000000014";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000008237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000038";
value = hex"000000000000000000000000ecb92a686d1ab066fc4e559a305feb75dd512377";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000037";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000035";
value = hex"0000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa00";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000003b";
value = hex"0000000000000000000000000000000000000000000000000000000100000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000e3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000067";
value = hex"0000000000000000000000003c44cdddb6a900fa2b585dd299e03d12fa4293bc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"00000000000000000000000000000000000c5fc5000005580000000000000000";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000066";
value = hex"010000000000000000000000000000000000000000000000000c5fc500000558";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"00000000000000000000000000000000000c5fc50000055800000000017d7840";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"65a7ed542fb37fe237fdfbdd70b31598523fe5b32879e307bae27a0bd9581c08";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"71ac12829d66ee73d8d95bff50b3589745ce57edae70a3fb111a2342464dc597";
value = hex"00000000000000000000000000289c189bee4e70334629f04cd5ed602b6600eb";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"383f291819e6d54073bc9a648251d97421076bdd101933c0c022219ce9580636";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"46adcbebc6be8ce551740c29c47c8798210f23f7f4086c41752944352568d5a7";
value = hex"000000000000000000000000961a37bd2ef41ef68932d6e1fb4113534dcacb9b";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"9904ba90dde5696cda05c9e0dab5cbaa0fea005ace4d11218a02ac668dad6376";
value = hex"0000000000000000000000009d34a2610ea283f6d9ae29f9cad82e00c4d38507";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"52322a25d9f59ea17656545543306b7aef62bc0cc53a0e65ccfa0c75b97aa906";
value = hex"000000000000000000000000ecb92a686d1ab066fc4e559a305feb75dd512377";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"4b6c74f9e688cb39801f2112c14a8c57232a3fc5202e1444126d4bce86eb19ac";
value = hex"000000000000000000000000a439b64360c875951478b0cf77698038df331255";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"a04c5bb938ca6fc46d95553abf0a76345ce3e722a30bf4f74928b8e7d852320c";
value = hex"000000000000000000000000623c237952ea6e3cd74740a5b766f2978aea3b54";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"a11ee3ab75b40e88a0105e935d17cd36c8faee0138320d776c411291bdbbb19f";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000069";
value = hex"0000ffffffffffffffffffffffffffffffff000f42403b9aca00080a01312d00";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"00000000000000000000000089c88ed20d4b742185185f77017182247671ee3b";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000009d34a2610ea283f6d9ae29f9cad82e00c4d38507";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"515216935740e67dfdda5cf8e248ea32b3277787818ab59153061ac875c9385e";
value = hex"0000000000000000000000002cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(addressManagerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000001010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fb";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fc";
value = hex"000000000000000000000000a439b64360c875951478b0cf77698038df331255";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fd";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cc";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cf";
value = hex"0000000000000000000000004200000000000000000000000000000000000007";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000003857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000003";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000004200000000000000000000000000000000000010";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000008a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"4d5a9bd2e41301728d41c8e705190becb4e74abe869f75bdb405b63716a35f9e";
value = hex"00000000000000000000000069cf13a295f92208546a4f2d2c9dbc6e6009a99b";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000725359b865ef63f8f39a0e00018b011dae217ef8";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"a6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb49";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"cc69885fda6bcc1a4ace058b4a62bf5e179ea78fd58a1ccd71c22cc9b688792f";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"d9d16d34ffb15ba3a3d852f0d403e2ce1d691fb54de27ac87cd2f993f3ec330f";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"1d32deecea32fd1365d10df47fc6666a05871102e61a115a5c569bca7e5de14d";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"24a9e90595537a4321bf3a8fd43f02c179fe79a94dde54a8c1a057e2967a4d0b";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(proxyAdminAddress, slot, value);
vm.etch(delayedWETHProxyAddress, delayedWETHProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"d4c3f7d87bca8b1f55a1431cfe1067933b86cdf82ccee7948f20a90477f110bd";
value = hex"44656c617965645745544850726f787900000000000000000000000000000020";
vm.store(acc49Address, slot, value);
slot = hex"d4c3f7d87bca8b1f55a1431cfe1067933b86cdf82ccee7948f20a90477f110be";
value = hex"00000000000000000000000073fe37d2361d525b7be1e7d96abb5e92dec70d1f";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000021";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43d";
value = hex"44656c617965645745544850726f787900000000000000000000000000000020";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43e";
value = hex"00000000000000000000000073fe37d2361d525b7be1e7d96abb5e92dec70d1f";
vm.store(acc49Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHProxyAddress, slot, value);
vm.etch(faultDisputeGame_0Address, faultDisputeGame_0Code);
slot = hex"33a9fecbff7186150d7a8e5ad33a9bd437de530a0da691d7d819148772de73a1";
value = hex"4661756c744469737075746547616d655f300000000000000000000000000024";
vm.store(acc49Address, slot, value);
slot = hex"33a9fecbff7186150d7a8e5ad33a9bd437de530a0da691d7d819148772de73a2";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000022";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43f";
value = hex"4661756c744469737075746547616d655f300000000000000000000000000024";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c440";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(acc49Address, slot, value);
slot = hex"ffdfc1249c027f9191656349feb0761381bb32c9f557e01f419fd08754bf5a1b";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
vm.etch(l2OutputOracleProxyAddress, l2OutputOracleProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"b7f6f8e699640d7ce86d0c4d7cc0219351ca18aa87f33ec9424840950802d7b0";
value = hex"4c324f75747075744f7261636c6550726f787900000000000000000000000026";
vm.store(acc49Address, slot, value);
slot = hex"b7f6f8e699640d7ce86d0c4d7cc0219351ca18aa87f33ec9424840950802d7b1";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000023";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c441";
value = hex"4c324f75747075744f7261636c6550726f787900000000000000000000000026";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c442";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(acc49Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"0000000000000000000000000000000000000000000000000000000000000002";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"00000000000000000000000070997970c51812dc3a010c7d01b50e0d17dc79c8";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"0000000000000000000000006925b8704ff96dee942623d6fb5e946ef5884b63";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000000000000000000000000000000000000000000024";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000036";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(proxyAdminAddress, slot, value);
}
function _notExternalAddress(address user) public pure {
vm.assume(user != FOUNDRY_TEST_ADDRESS);
vm.assume(user != VM_ADDRESS);
vm.assume(user != addressManagerAddress);
vm.assume(user != anchorStateRegistryAddress);
vm.assume(user != anchorStateRegistryProxyAddress);
vm.assume(user != delayedWETHAddress);
vm.assume(user != delayedWETHProxyAddress);
vm.assume(user != disputeGameFactoryAddress);
vm.assume(user != disputeGameFactoryProxyAddress);
vm.assume(user != faultDisputeGame_0Address);
vm.assume(user != l1CrossDomainMessengerAddress);
vm.assume(user != l1CrossDomainMessengerProxyAddress);
vm.assume(user != l1ERC721BridgeAddress);
vm.assume(user != l1ERC721BridgeProxyAddress);
vm.assume(user != l1StandardBridgeAddress);
vm.assume(user != l1StandardBridgeProxyAddress);
vm.assume(user != l2OutputOracleAddress);
vm.assume(user != l2OutputOracleProxyAddress);
vm.assume(user != mipsAddress);
vm.assume(user != oPContractsManagerAddress);
vm.assume(user != oPContractsManagerProxyAddress);
vm.assume(user != optimismMintableERC20FactoryAddress);
vm.assume(user != optimismMintableERC20FactoryProxyAddress);
vm.assume(user != optimismPortalAddress);
vm.assume(user != optimismPortal2Address);
vm.assume(user != optimismPortalProxyAddress);
vm.assume(user != permissionedDelayedWETHProxyAddress);
vm.assume(user != permissionedDisputeGameAddress);
vm.assume(user != preimageOracleAddress);
vm.assume(user != protocolVersionsAddress);
vm.assume(user != protocolVersionsProxyAddress);
vm.assume(user != proxyAdminAddress);
vm.assume(user != superchainConfigAddress);
vm.assume(user != superchainConfigProxyAddress);
vm.assume(user != superchainProxyAdminAddress);
vm.assume(user != systemConfigAddress);
vm.assume(user != systemConfigProxyAddress);
vm.assume(user != acc35Address);
vm.assume(user != acc36Address);
vm.assume(user != acc37Address);
vm.assume(user != acc38Address);
vm.assume(user != acc39Address);
vm.assume(user != acc40Address);
vm.assume(user != acc41Address);
vm.assume(user != acc42Address);
vm.assume(user != acc43Address);
vm.assume(user != acc44Address);
vm.assume(user != acc45Address);
vm.assume(user != acc46Address);
vm.assume(user != acc47Address);
vm.assume(user != acc48Address);
vm.assume(user != acc49Address);
}
// Addresses required for compilation to work.
address l1CrossDomainMessengerProxyAddress;
address superchainConfigProxyAddress;
address l1ERC721BridgeProxyAddress;
address l1StandardBridgeProxyAddress;
address optimismPortalProxyAddress;
}
packages/contracts-bedrock/test/kontrol/proofs/utils/DeploymentSummaryCode.sol
View file @ f6ca2362
This source diff could not be displayed because it is too large. You can view the blob instead.
packages/contracts-bedrock/test/kontrol/proofs/utils/DeploymentSummaryFaultProofs.sol
View file @ f6ca2362
......@@ -8,1104 +8,14 @@ import { Vm } from "forge-std/Vm.sol";
import { DeploymentSummaryFaultProofsCode } from "./DeploymentSummaryFaultProofsCode.sol";
contract DeploymentSummaryFaultProofs is DeploymentSummaryFaultProofsCode {
// Test contract address, 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496
address private constant FOUNDRY_TEST_ADDRESS = 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496;
// Cheat code address, 0x7109709ECfa91a80626fF3989D68f67F5b1DD12D
address private constant VM_ADDRESS = address(uint160(uint256(keccak256("hevm cheat code"))));
Vm private constant vm = Vm(VM_ADDRESS);
address internal constant addressManagerAddress = 0x26a942b414CBc2eBb43F9c4e68DD791B5f61b5c7;
address internal constant anchorStateRegistryAddress = 0x725359b865eF63f8f39A0E00018b011DAe217ef8;
address internal constant anchorStateRegistryProxyAddress = 0x6B73DBbd13FC27bf96b2d508B6C88179D2b4c4ba;
address internal constant delayedWETHAddress = 0xec557124625E001dfe2d23ddA4F48A291E8a3e3a;
address internal constant delayedWETHProxyAddress = 0x73FE37d2361D525B7be1E7d96abb5e92Dec70d1f;
address internal constant disputeGameFactoryAddress = 0x8a1a5F20ADF3005022049880f799FBBF2a188cfC;
address internal constant disputeGameFactoryProxyAddress = 0xeCb92a686D1ab066fc4E559A305FEB75DD512377;
address internal constant faultDisputeGame_0Address = 0x9eD8dfE7e401D014472b48d19Ca56cb0C1ddF9b2;
address internal constant l1CrossDomainMessengerAddress = 0x2CfFF1c8Df8CE2BA6CBa19699CCBa6F381734938;
address internal constant l1CrossDomainMessengerProxyAddress = 0x3d609De69E066F85C38AC274e3EeC251EcfDeAa1;
address internal constant l1ERC721BridgeAddress = 0x2AC24b15a2Ded48F4B51e70293589058546a11FE;
address internal constant l1ERC721BridgeProxyAddress = 0x961a37bd2eF41Ef68932d6E1FB4113534dcACB9B;
address internal constant l1StandardBridgeAddress = 0x3857b6c6f162fDA9BD591D4CCDEF8C00093cC357;
address internal constant l1StandardBridgeProxyAddress = 0x9D34A2610Ea283f6d9AE29f9Cad82e00c4d38507;
address internal constant l2OutputOracleAddress = 0x60611290Ee58881f4C464EC6dE61A8C34C3EdEf1;
address internal constant l2OutputOracleProxyAddress = 0x32029D2036aF0adEef18Af5220E276781AC3f2f4;
address internal constant mipsAddress = 0x9848e4470F89bec8b050eCDf93F69B8660B6046C;
address internal constant oPContractsManagerAddress = 0xb32a4b81244fEd6A176f295A4787cC9cce687a5e;
address internal constant oPContractsManagerProxyAddress = 0x5b66F1D2dC2691F9bcac54Ee8B90a9923701e553;
address internal constant optimismMintableERC20FactoryAddress = 0x89c88ED20d4b742185185f77017182247671eE3b;
address internal constant optimismMintableERC20FactoryProxyAddress = 0x623C237952ea6e3cD74740a5B766F2978AEA3b54;
address internal constant optimismPortalAddress = 0x745556014659F7c493388Ff3ec3Fc31CF840db2a;
address internal constant optimismPortal2Address = 0x8237f181A3A8C7f871174e85f499f71f2A0d5B75;
address internal constant optimismPortalProxyAddress = 0xA439B64360C875951478b0Cf77698038df331255;
address internal constant permissionedDelayedWETHProxyAddress = 0x157514fF1F55f8685083D9D83CaE4aD4E186daDa;
address internal constant permissionedDisputeGameAddress = 0x69cF13a295f92208546A4F2D2C9Dbc6E6009A99B;
address internal constant preimageOracleAddress = 0xc043F015EB8cA0b94D4cAde622ed7369ce4ffE4E;
address internal constant protocolVersionsAddress = 0xd85BdcdaE4db1FAEB8eF93331525FE68D7C8B3f0;
address internal constant protocolVersionsProxyAddress = 0x856e75e9c0Da547F9753c17746D6cc139b668e5c;
address internal constant proxyAdminAddress = 0xac43F7588b15fA5F2347824F0Ad0ba1BDCa5E72C;
address internal constant superchainConfigAddress = 0x238213078DbD09f2D15F4c14c02300FA1b2A81BB;
address internal constant superchainConfigProxyAddress = 0xDc82c0362A241Aa94d53546648EACe48C9773dAa;
address internal constant superchainProxyAdminAddress = 0xdaE97900D4B184c5D2012dcdB658c008966466DD;
address internal constant systemConfigAddress = 0xE3dF61CA9F27cd66880325f3C6CB789EDe857997;
address internal constant systemConfigProxyAddress = 0xF493e2ebb09309e2d0046a7aFc88C8eDa3c91560;
address internal constant acc35Address = 0xC7f2Cf4845C6db0e1a1e91ED41Bcd0FcC1b0E141;
address internal constant acc36Address = 0x16df8DF979dDfAc37d4aEd2F71501F7dc98176dC;
address internal constant acc37Address = 0x07fcCDE2f7a0fD9D263bB91d2A7eD263F11b2f63;
address internal constant acc38Address = 0xdad56314AbA81676e2d5826fb72B2168141c0A60;
address internal constant acc39Address = 0x3A36350567809d7ad83f354B5ADB27cD589537aB;
address internal constant acc40Address = 0x32C3144332bfB6a3e638Cba8160351B96Ef92ED2;
address internal constant acc41Address = 0x25DD9A394Bdbf5db3225237717A1116F7F99BBED;
address internal constant acc42Address = 0x53dfc133b9584fF23C0Ad6334fD101d7d13735c0;
address internal constant acc43Address = 0x244B36AB18615d5359523Cb839fee797c1bC0956;
address internal constant acc44Address = 0x2E95a9a8550eDEfc82Ad229D00e51F8925BF3A94;
address internal constant acc45Address = 0x3080D3E2182e204077a9420e9E8c8fB82beA6780;
address internal constant acc46Address = 0x65B996ab258B4F5957b808c1D2E9fb9E7a37331e;
address internal constant acc47Address = 0x50F6Fc60DE844E86Df2dbb417375dAF6644571a2;
address internal constant acc48Address = 0x81e124179B71AC65424B32C9a20378a9ba005373;
address internal constant acc49Address = 0x5b73C5498c1E3b4dbA84de0F1833c4a029d90519;
function recreateState() public {
bytes32 slot;
bytes32 value;
vm.etch(acc35Address, acc35Code);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000010001";
vm.store(acc35Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc36Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc36Address, slot, value);
vm.etch(superchainProxyAdminAddress, superchainProxyAdminCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(superchainProxyAdminAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(acc37Address, slot, value);
vm.etch(superchainConfigAddress, superchainConfigCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(superchainConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigAddress, slot, value);
vm.etch(protocolVersionsAddress, protocolVersionsCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"000000000000000000000000238213078dbd09f2d15f4c14c02300fa1b2a81bb";
vm.store(acc37Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"000000000000000000000000d85bdcdae4db1faeb8ef93331525fe68d7c8b3f0";
vm.store(acc37Address, slot, value);
vm.etch(superchainConfigProxyAddress, superchainConfigProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000238213078dbd09f2d15f4c14c02300fa1b2a81bb";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"d30e835d3f35624761057ff5b27d558f97bd5be034621e62240e5c0b784abe68";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(superchainConfigProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(acc37Address, slot, value);
vm.etch(protocolVersionsProxyAddress, protocolVersionsProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000d85bdcdae4db1faeb8ef93331525fe68d7c8b3f0";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000dae97900d4b184c5d2012dcdb658c008966466dd";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"4aaefe95bd84fd3f32700cf3b7566bc944b73138e41958b5785826df2aecace0";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"e314dfc40f0025322aacc0ba8ef420b62fb3b702cf01e0cdf3d829117ac2ff1a";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(protocolVersionsProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"000000000000000000000000856e75e9c0da547f9753c17746d6cc139b668e5c";
vm.store(acc37Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(superchainProxyAdminAddress, slot, value);
vm.etch(acc38Address, acc38Code);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"0000000000000000000000000000000000000000000000000000000000010001";
vm.store(acc38Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"0000000000000000000000000000000000000000000000000000000000093a80";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"0000000000000000000000000000000000000000000000000000000000002710";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000000000000000000000000000000000000000000078";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000000000000000000000000000000000000000000c";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(acc39Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"6465760000000000000000000000000000000000000000000000000000000006";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444";
value = hex"2f686f6d652f72762f446f63756d656e74732f6175646974732f4f7074696d69";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3445";
value = hex"736d2f5f61756469745f457468657265756d2d6f7074696d69736d5f70617573";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3446";
value = hex"6162696c6974792f7061636b616765732f636f6e7472616374732d626564726f";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3447";
value = hex"636b2f746573742f66697874757265732f7374616e646172642d76657273696f";
vm.store(acc39Address, slot, value);
slot = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3448";
value = hex"6e732e746f6d6c00000000000000000000000000000000000000000000000000";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"000000000000000000000000000000000000000000000000000000000000010f";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"000000000000000000000000856e75e9c0da547f9753c17746d6cc139b668e5c";
vm.store(acc39Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000013";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(acc39Address, slot, value);
vm.etch(systemConfigAddress, systemConfigCode);
slot = hex"a11ee3ab75b40e88a0105e935d17cd36c8faee0138320d776c411291bdbbb19f";
value = hex"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000066";
value = hex"0100000000000000000000000000000000000000000000000000000000000000";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000069";
value = hex"0000000000000000000000000000000000000000000000000000020100000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"000000000000000000000000e3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(acc40Address, slot, value);
vm.etch(l1CrossDomainMessengerAddress, l1CrossDomainMessengerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000001010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cc";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cf";
value = hex"0000000000000000000000004200000000000000000000000000000000000007";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"0000000000000000000000002cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(acc40Address, slot, value);
vm.etch(l1ERC721BridgeAddress, l1ERC721BridgeCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000004200000000000000000000000000000000000014";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"0000000000000000000000002ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(acc40Address, slot, value);
vm.etch(l1StandardBridgeAddress, l1StandardBridgeCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000004200000000000000000000000000000000000010";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"0000000000000000000000003857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(acc40Address, slot, value);
vm.etch(optimismMintableERC20FactoryAddress, optimismMintableERC20FactoryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"00000000000000000000000089c88ed20d4b742185185f77017182247671ee3b";
vm.store(acc40Address, slot, value);
vm.etch(optimismPortal2Address, optimismPortal2Code);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortal2Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000003b";
value = hex"0000000000000000000000000000000000000000000000000000000100000000";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortal2Address, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortal2Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"0000000000000000000000008237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(acc40Address, slot, value);
vm.etch(delayedWETHAddress, delayedWETHCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000000000000000000000000000000000000000000000";
vm.store(delayedWETHAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(acc40Address, slot, value);
vm.etch(preimageOracleAddress, preimageOracleCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"ad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"b4c11951957c6f8f642c4af61cd6b24640fec6dc7fc607ee8206a99e92410d30";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"21ddb9a356815c3fac1026b6dec5df3124afbadb485c9ba5a3e3398a04b7ba85";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"e58769b32a1beaf1ea27375a44095a0d1fb664ce2dd358e7fcbfb78c26a19344";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0eb01ebfc9ed27500cd4dfc979272d1f0913cc9f66540d7e8005811109e1cf2d";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"887c22bd8750d34016ac3c66b5ff102dacdd73f6b014e710b51e8022af9a1968";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"ffd70157e48063fc33c97a050f7f640233bf646cc98d9524c6b92bcf3ab56f83";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"9867cc5f7f196b93bae1e27e6320742445d290f2263827498b54fec539f756af";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"cefad4e508c098b9a7e1d8feb19955fb02ba9675585078710969d3440f5054e0";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"f9dc3e7fe016e050eff260334f18a5d4fe391d82092319f5964f2e2eb7c1c3a5";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"f8b13a49e282f609c317a833fb8d976d11517c571d1221a265d25af778ecf892";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000f";
value = hex"3490c6ceeb450aecdc82e28293031d10c7d73bf85e57bf041a97360aa2c5d99c";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000010";
value = hex"c1df82d9c4b87413eae2ef048f94b4d3554cea73d92b0f7af96e0271c691e2bb";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000011";
value = hex"5c67add7c6caf302256adedf7ab114da0acfe870d449a3a489f781d659e8becc";
vm.store(preimageOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000012";
value = hex"da7bce9f4e8618b6bd2f4132ce798cdc7a60e7e1460a7299e3c6342a579626d2";
vm.store(preimageOracleAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000c";
value = hex"000000000000000000000000c043f015eb8ca0b94d4cade622ed7369ce4ffe4e";
vm.store(acc40Address, slot, value);
vm.etch(mipsAddress, mipsCode);
slot = hex"000000000000000000000000000000000000000000000000000000000000000d";
value = hex"0000000000000000000000009848e4470f89bec8b050ecdf93f69b8660b6046c";
vm.store(acc40Address, slot, value);
vm.etch(disputeGameFactoryAddress, disputeGameFactoryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000000000000000000000000000000000000000000000";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000013";
value = hex"0000000000000000000000008a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(acc40Address, slot, value);
vm.etch(acc41Address, acc41Code);
vm.etch(acc42Address, acc42Code);
vm.etch(acc43Address, acc43Code);
vm.etch(acc44Address, acc44Code);
vm.etch(acc45Address, acc45Code);
vm.etch(acc46Address, acc46Code);
vm.etch(acc47Address, acc47Code);
vm.etch(acc48Address, acc48Code);
vm.etch(oPContractsManagerProxyAddress, oPContractsManagerProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"0000000000000000000000005b73c5498c1e3b4dba84de0f1833c4a029d90519";
vm.store(oPContractsManagerProxyAddress, slot, value);
vm.etch(oPContractsManagerAddress, oPContractsManagerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"00000000000000000000000000000000000000000000000000000000000000ff";
vm.store(oPContractsManagerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"000000000000000000000000b32a4b81244fed6a176f295a4787cc9cce687a5e";
vm.store(acc40Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000b32a4b81244fed6a176f295a4787cc9cce687a5e";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"6465760000000000000000000000000000000000000000000000000000000006";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"32527609853b9ca57d4fa33ab598a09bde6a44597ea0100b3a589caab483ca11";
value = hex"0000000000000000485cc9552ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"5cc3fbd4f4089d6664f7f1c65333e1996fd0f844864a685a2758eeaa411770bb";
value = hex"00000000000000008e819e548237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"4e093c2e8116e2bc577a0e10c7812e6334a656d8c0086676fa069ae4e68c253c";
value = hex"0000000000000000db9040fae3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"5d30a524d1a77b31817b6d36862222cfed7c75276b40a14e8253a40ca80323a8";
value = hex"0000000000000000c4d66de889c88ed20d4b742185185f77017182247671ee3b";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"55d71ef7b860a4ce4acdbc7d36a0b67854ff59735e3981ad489e45b811806eaa";
value = hex"0000000000000000c0c53b8b2cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"7b6c1f974e532427e3ff841bada55cf0939b3cd75c999dba2162f2e06d3d1d6d";
value = hex"0000000000000000c0c53b8b3857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"911d2bbae7415db65565f78b9130caa4ad1a491dba7499cede23006194f5194b";
value = hex"0000000000000000c4d66de88a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"567d91ed00982ddee63ba91d8c98953e649722ae8c7c53299ddffff606d0420b";
value = hex"0000000000000000485cc955ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"1ab01ec1f2b533045bc10905cd7365a45c23ac352bad79060047488ff7084626";
value = hex"0000000000000000000000009848e4470f89bec8b050ecdf93f69b8660b6046c";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"00000000000000000000000025dd9a394bdbf5db3225237717a1116f7f99bbed";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"00000000000000000000000053dfc133b9584ff23c0ad6334fd101d7d13735c0";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"000000000000000000000000244b36ab18615d5359523cb839fee797c1bc0956";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"0000000000000000000000002e95a9a8550edefc82ad229d00e51f8925bf3a94";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000003080d3e2182e204077a9420e9e8c8fb82bea6780";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000009";
value = hex"00000000000000000000000065b996ab258b4f5957b808c1d2e9fb9e7a37331e";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000a";
value = hex"00000000000000000000000050f6fc60de844e86df2dbb417375daf6644571a2";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000b";
value = hex"00000000000000000000000081e124179b71ac65424b32c9a20378a9ba005373";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(oPContractsManagerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(acc40Address, slot, value);
vm.etch(optimismPortalAddress, optimismPortalCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortalAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalAddress, slot, value);
slot = hex"d882806e740181869e5709cf26aafa4c0f103ac7e9238dc55bc73ed67f4f271c";
value = hex"4f7074696d69736d506f7274616c00000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"d882806e740181869e5709cf26aafa4c0f103ac7e9238dc55bc73ed67f4f271d";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c407";
value = hex"4f7074696d69736d506f7274616c00000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c408";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(acc49Address, slot, value);
vm.etch(l2OutputOracleAddress, l2OutputOracleCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleAddress, slot, value);
slot = hex"743e8095899359d4bbffa5d34c89d1d15ec2fa167b22b5bc16de47542ceb216e";
value = hex"4c324f75747075744f7261636c6500000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"743e8095899359d4bbffa5d34c89d1d15ec2fa167b22b5bc16de47542ceb216f";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000007";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c409";
value = hex"4c324f75747075744f7261636c6500000000000000000000000000000000001c";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c40a";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(acc49Address, slot, value);
vm.etch(addressManagerAddress, addressManagerCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(addressManagerAddress, slot, value);
vm.etch(proxyAdminAddress, proxyAdminCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(proxyAdminAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000003";
value = hex"00000000000000000000000026a942b414cbc2ebb43f9c4e68dd791b5f61b5c7";
vm.store(proxyAdminAddress, slot, value);
vm.etch(l1ERC721BridgeProxyAddress, l1ERC721BridgeProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
vm.etch(optimismPortalProxyAddress, optimismPortalProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(optimismPortalProxyAddress, slot, value);
vm.etch(systemConfigProxyAddress, systemConfigProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(systemConfigProxyAddress, slot, value);
vm.etch(optimismMintableERC20FactoryProxyAddress, optimismMintableERC20FactoryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
vm.etch(disputeGameFactoryProxyAddress, disputeGameFactoryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(disputeGameFactoryProxyAddress, slot, value);
vm.etch(anchorStateRegistryProxyAddress, anchorStateRegistryProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(anchorStateRegistryProxyAddress, slot, value);
vm.etch(l1StandardBridgeProxyAddress, l1StandardBridgeProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"ae9c11a910e73c7e39715575f036e8a3ca498bbf8535b081bf9c04893ff57933";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(proxyAdminAddress, slot, value);
vm.etch(l1CrossDomainMessengerProxyAddress, l1CrossDomainMessengerProxyCode);
slot = hex"7d37dab38e6a6a4c78c2f2f0271d1a7b16d46c4e8b9996518432248e4536773a";
value = hex"00000000000000000000000026a942b414cbc2ebb43f9c4e68dd791b5f61b5c7";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"97092e866e92177e383c2f90414c1c91f203bcde1b07b34930ba279bccfd77f8";
value = hex"4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000034";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"7d37dab38e6a6a4c78c2f2f0271d1a7b16d46c4e8b9996518432248e4536773a";
value = hex"0000000000000000000000000000000000000000000000000000000000000002";
vm.store(proxyAdminAddress, slot, value);
slot = hex"5ae4e12c3f1568ef2166fe556ab15e9acdab12cec3e961b627175c5fa9f35168";
value = hex"4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000034";
vm.store(proxyAdminAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(addressManagerAddress, slot, value);
vm.etch(anchorStateRegistryAddress, anchorStateRegistryCode);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"00000000000000000000000000000000000000000000000000000000000000ff";
vm.store(anchorStateRegistryAddress, slot, value);
vm.etch(permissionedDelayedWETHProxyAddress, permissionedDelayedWETHProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
vm.etch(permissionedDisputeGameAddress, permissionedDisputeGameCode);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000002ac24b15a2ded48f4b51e70293589058546a11fe";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000004200000000000000000000000000000000000014";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1ERC721BridgeProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000008237f181a3a8c7f871174e85f499f71f2a0d5b75";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000038";
value = hex"000000000000000000000000ecb92a686d1ab066fc4e559a305feb75dd512377";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000037";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000035";
value = hex"0000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa00";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000003b";
value = hex"0000000000000000000000000000000000000000000000000000000100000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"000000000000000100000000000000000000000000000000000000003b9aca00";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000e3df61ca9f27cd66880325f3c6cb789ede857997";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000067";
value = hex"0000000000000000000000003c44cdddb6a900fa2b585dd299e03d12fa4293bc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"00000000000000000000000000000000000c5fc5000005580000000000000000";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000066";
value = hex"010000000000000000000000000000000000000000000000000c5fc500000558";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"00000000000000000000000000000000000c5fc50000055800000000017d7840";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"65a7ed542fb37fe237fdfbdd70b31598523fe5b32879e307bae27a0bd9581c08";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"71ac12829d66ee73d8d95bff50b3589745ce57edae70a3fb111a2342464dc597";
value = hex"00000000000000000000000000289c189bee4e70334629f04cd5ed602b6600eb";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"383f291819e6d54073bc9a648251d97421076bdd101933c0c022219ce9580636";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"46adcbebc6be8ce551740c29c47c8798210f23f7f4086c41752944352568d5a7";
value = hex"000000000000000000000000961a37bd2ef41ef68932d6e1fb4113534dcacb9b";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"9904ba90dde5696cda05c9e0dab5cbaa0fea005ace4d11218a02ac668dad6376";
value = hex"0000000000000000000000009d34a2610ea283f6d9ae29f9cad82e00c4d38507";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"52322a25d9f59ea17656545543306b7aef62bc0cc53a0e65ccfa0c75b97aa906";
value = hex"000000000000000000000000ecb92a686d1ab066fc4e559a305feb75dd512377";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"4b6c74f9e688cb39801f2112c14a8c57232a3fc5202e1444126d4bce86eb19ac";
value = hex"000000000000000000000000a439b64360c875951478b0cf77698038df331255";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"a04c5bb938ca6fc46d95553abf0a76345ce3e722a30bf4f74928b8e7d852320c";
value = hex"000000000000000000000000623c237952ea6e3cd74740a5b766f2978aea3b54";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"a11ee3ab75b40e88a0105e935d17cd36c8faee0138320d776c411291bdbbb19f";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000069";
value = hex"0000ffffffffffffffffffffffffffffffff000f42403b9aca00080a01312d00";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(systemConfigProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"00000000000000000000000089c88ed20d4b742185185f77017182247671ee3b";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000009d34a2610ea283f6d9ae29f9cad82e00c4d38507";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismMintableERC20FactoryProxyAddress, slot, value);
slot = hex"515216935740e67dfdda5cf8e248ea32b3277787818ab59153061ac875c9385e";
value = hex"0000000000000000000000002cfff1c8df8ce2ba6cba19699ccba6f381734938";
vm.store(addressManagerAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000001010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fb";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fc";
value = hex"000000000000000000000000a439b64360c875951478b0cf77698038df331255";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000fd";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cc";
value = hex"000000000000000000000000000000000000000000000000000000000000dead";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"00000000000000000000000000000000000000000000000000000000000000cf";
value = hex"0000000000000000000000004200000000000000000000000000000000000007";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000010000000000000000000000000000000000000000";
vm.store(l1CrossDomainMessengerProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000003857b6c6f162fda9bd591d4ccdef8c00093cc357";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000032";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f493e2ebb09309e2d0046a7afc88c8eda3c91560";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000003";
value = hex"0000000000000000000000003d609de69e066f85c38ac274e3eec251ecfdeaa1";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000004200000000000000000000000000000000000010";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l1StandardBridgeProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"0000000000000000000000008a1a5f20adf3005022049880f799fbbf2a188cfc";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000005b66f1d2dc2691f9bcac54ee8b90a9923701e553";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"4d5a9bd2e41301728d41c8e705190becb4e74abe869f75bdb405b63716a35f9e";
value = hex"00000000000000000000000069cf13a295f92208546a4f2d2c9dbc6e6009a99b";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000725359b865ef63f8f39a0e00018b011dae217ef8";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"a6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb49";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"cc69885fda6bcc1a4ace058b4a62bf5e179ea78fd58a1ccd71c22cc9b688792f";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"d9d16d34ffb15ba3a3d852f0d403e2ce1d691fb54de27ac87cd2f993f3ec330f";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"1d32deecea32fd1365d10df47fc6666a05871102e61a115a5c569bca7e5de14d";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"24a9e90595537a4321bf3a8fd43f02c179fe79a94dde54a8c1a057e2967a4d0b";
value = hex"deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(anchorStateRegistryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(proxyAdminAddress, slot, value);
vm.etch(delayedWETHProxyAddress, delayedWETHProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"d4c3f7d87bca8b1f55a1431cfe1067933b86cdf82ccee7948f20a90477f110bd";
value = hex"44656c617965645745544850726f787900000000000000000000000000000020";
vm.store(acc49Address, slot, value);
slot = hex"d4c3f7d87bca8b1f55a1431cfe1067933b86cdf82ccee7948f20a90477f110be";
value = hex"00000000000000000000000073fe37d2361d525b7be1e7d96abb5e92dec70d1f";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000021";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43d";
value = hex"44656c617965645745544850726f787900000000000000000000000000000020";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43e";
value = hex"00000000000000000000000073fe37d2361d525b7be1e7d96abb5e92dec70d1f";
vm.store(acc49Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000ec557124625e001dfe2d23dda4f48a291e8a3e3a";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"000000000000000000000000f39fd6e51aad88f6f4ce6ab8827279cfffb92266";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000068";
value = hex"000000000000000000000000dc82c0362a241aa94d53546648eace48c9773daa";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(delayedWETHProxyAddress, slot, value);
vm.etch(faultDisputeGame_0Address, faultDisputeGame_0Code);
slot = hex"33a9fecbff7186150d7a8e5ad33a9bd437de530a0da691d7d819148772de73a1";
value = hex"4661756c744469737075746547616d655f300000000000000000000000000024";
vm.store(acc49Address, slot, value);
slot = hex"33a9fecbff7186150d7a8e5ad33a9bd437de530a0da691d7d819148772de73a2";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000022";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c43f";
value = hex"4661756c744469737075746547616d655f300000000000000000000000000024";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c440";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(acc49Address, slot, value);
slot = hex"ffdfc1249c027f9191656349feb0761381bb32c9f557e01f419fd08754bf5a1b";
value = hex"0000000000000000000000009ed8dfe7e401d014472b48d19ca56cb0c1ddf9b2";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(disputeGameFactoryProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(delayedWETHProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000033";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(permissionedDelayedWETHProxyAddress, slot, value);
vm.etch(l2OutputOracleProxyAddress, l2OutputOracleProxyCode);
slot = hex"b53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103";
value = hex"000000000000000000000000ac43f7588b15fa5f2347824f0ad0ba1bdca5e72c";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"b7f6f8e699640d7ce86d0c4d7cc0219351ca18aa87f33ec9424840950802d7b0";
value = hex"4c324f75747075744f7261636c6550726f787900000000000000000000000026";
vm.store(acc49Address, slot, value);
slot = hex"b7f6f8e699640d7ce86d0c4d7cc0219351ca18aa87f33ec9424840950802d7b1";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(acc49Address, slot, value);
slot = hex"000000000000000000000000000000000000000000000000000000000000000e";
value = hex"0000000000000000000000000000000000000000000000000000000000000023";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c441";
value = hex"4c324f75747075744f7261636c6550726f787900000000000000000000000026";
vm.store(acc49Address, slot, value);
slot = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c442";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(acc49Address, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"00000000000000000000000060611290ee58881f4c464ec6de61a8c34c3edef1";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000004";
value = hex"0000000000000000000000000000000000000000000000000000000000000006";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000005";
value = hex"0000000000000000000000000000000000000000000000000000000000000002";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000001";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000002";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000007";
value = hex"00000000000000000000000070997970c51812dc3a010c7d01b50e0d17dc79c8";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000006";
value = hex"0000000000000000000000006925b8704ff96dee942623d6fb5e946ef5884b63";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000008";
value = hex"0000000000000000000000000000000000000000000000000000000000000024";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(l2OutputOracleProxyAddress, slot, value);
slot = hex"360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc";
value = hex"000000000000000000000000745556014659f7c493388ff3ec3fc31cf840db2a";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000101";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000036";
value = hex"00000000000000000000000032029d2036af0adeef18af5220e276781ac3f2f4";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000000000000000000000000000000000000000000001";
vm.store(optimismPortalProxyAddress, slot, value);
slot = hex"0000000000000000000000000000000000000000000000000000000000000000";
value = hex"0000000000000000000000009965507d1a55bcc2695c58ba16fb37d819b0a4dc";
vm.store(proxyAdminAddress, slot, value);
}
function _notExternalAddress(address user) public pure {
vm.assume(user != FOUNDRY_TEST_ADDRESS);
vm.assume(user != VM_ADDRESS);
vm.assume(user != addressManagerAddress);
vm.assume(user != anchorStateRegistryAddress);
vm.assume(user != anchorStateRegistryProxyAddress);
vm.assume(user != delayedWETHAddress);
vm.assume(user != delayedWETHProxyAddress);
vm.assume(user != disputeGameFactoryAddress);
vm.assume(user != disputeGameFactoryProxyAddress);
vm.assume(user != faultDisputeGame_0Address);
vm.assume(user != l1CrossDomainMessengerAddress);
vm.assume(user != l1CrossDomainMessengerProxyAddress);
vm.assume(user != l1ERC721BridgeAddress);
vm.assume(user != l1ERC721BridgeProxyAddress);
vm.assume(user != l1StandardBridgeAddress);
vm.assume(user != l1StandardBridgeProxyAddress);
vm.assume(user != l2OutputOracleAddress);
vm.assume(user != l2OutputOracleProxyAddress);
vm.assume(user != mipsAddress);
vm.assume(user != oPContractsManagerAddress);
vm.assume(user != oPContractsManagerProxyAddress);
vm.assume(user != optimismMintableERC20FactoryAddress);
vm.assume(user != optimismMintableERC20FactoryProxyAddress);
vm.assume(user != optimismPortalAddress);
vm.assume(user != optimismPortal2Address);
vm.assume(user != optimismPortalProxyAddress);
vm.assume(user != permissionedDelayedWETHProxyAddress);
vm.assume(user != permissionedDisputeGameAddress);
vm.assume(user != preimageOracleAddress);
vm.assume(user != protocolVersionsAddress);
vm.assume(user != protocolVersionsProxyAddress);
vm.assume(user != proxyAdminAddress);
vm.assume(user != superchainConfigAddress);
vm.assume(user != superchainConfigProxyAddress);
vm.assume(user != superchainProxyAdminAddress);
vm.assume(user != systemConfigAddress);
vm.assume(user != systemConfigProxyAddress);
vm.assume(user != acc35Address);
vm.assume(user != acc36Address);
vm.assume(user != acc37Address);
vm.assume(user != acc38Address);
vm.assume(user != acc39Address);
vm.assume(user != acc40Address);
vm.assume(user != acc41Address);
vm.assume(user != acc42Address);
vm.assume(user != acc43Address);
vm.assume(user != acc44Address);
vm.assume(user != acc45Address);
vm.assume(user != acc46Address);
vm.assume(user != acc47Address);
vm.assume(user != acc48Address);
vm.assume(user != acc49Address);
}
// Addresses required for compilation to work.
address l1CrossDomainMessengerProxyAddress;
address superchainConfigProxyAddress;
address l1ERC721BridgeProxyAddress;
address l1StandardBridgeProxyAddress;
address optimismPortalProxyAddress;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment