// SPDX-License-Identifier: GPL-3.0-or-later
pragma solidity 0.6.12;

contract WETH {
    string public name = "Wrapped Ether";
    string public symbol = "WETH";
    uint8 public decimals = 18;

    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
    event Deposit(address indexed dst, uint wad);
    event Withdrawal(address indexed src, uint wad);

    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

    constructor() public {
        balanceOf[msg.sender] = 1000000000000000000000000 ether;
    }

    receive() external payable {
        deposit();
    }

    function deposit() public payable {
        balanceOf[msg.sender] += msg.value;
        emit Deposit(msg.sender, msg.value);
    }

    function withdraw(uint wad) public {
        require(balanceOf[msg.sender] >= wad);
        balanceOf[msg.sender] -= wad;
        msg.sender.transfer(wad);
        emit Withdrawal(msg.sender, wad);
    }

    function totalSupply() public view returns (uint) {
        return address(this).balance;
    }

    function approve(address guy, uint wad) public returns (bool) {
        allowance[msg.sender][guy] = wad;
        emit Approval(msg.sender, guy, wad);
        return true;
    }

    function transfer(address dst, uint wad) public returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(
        address src,
        address dst,
        uint wad
    ) public returns (bool) {
        require(balanceOf[src] >= wad);

        if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {
            require(allowance[src][msg.sender] >= wad);
            allowance[src][msg.sender] -= wad;
        }

        balanceOf[src] -= wad;
        balanceOf[dst] += wad;

        emit Transfer(src, dst, wad);

        return true;
    }
}

{
  "optimizer": {
    "enabled": true,
    "mode": "3"
  },
  "outputSelection": {
    "*": {
      "*": [
        "abi"
      ]
    }
  },
  "forceEVMLA": true,
  "libraries": {
    "contracts/libraries/RightsManager.sol": {
      "RightsManager": "0xFcAdE7a6696105F96cf13465bF17BD33eFd466E9"
    },
    "contracts/libraries/SmartPoolManager.sol": {
      "SmartPoolManager": "0x6EC02d4256ee2E8f04447Ac4561239389B65aA17"
    },
    "contracts/libraries/DesynSafeMath.sol": {
      "DesynSafeMath": "0x8d50908c7aFC1Fc6751Fe6F419dcC276deaDE37c"
    }
  },
  "isSystem": false,
  "forceEvmla": false
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"guy","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

0x9c4d535b00000000000000000000000000000000000000000000000000000000000000000100010d2c92355b11517e7b331e6ac5ed2fa345a9dfb76a15221441f26cfff600000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000

0x000600000000000200000000030100190000006003300270000000ea0330019700000001022001900000003d0000c13d0000008002000039000000400020043f000000030230008c000000860000213d000000000103004b0000033a0000c13d0000000001000411000000f101100197000600000001001d00000000001004350000000301000039000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b000000000201041a00000000030004160000000002320019000000000021041b000000400100043d0000000000310435000000400200043d0000000001210049000000ea0320009c000000ea04000041000000000204801900000040022002100000002001100039000000ea0310009c00000000010480190000006001100210000000000121019f0000000002000414000000ea0320009c0000000002048019000000c002200210000000000121019f000000fe011001c70000800d020000390000000203000039000000ff04000041000000060500002903a303990000040f00000001012001900000033a0000613d0000000001000019000003a40001042e0000000d01000039000000800010043f000000eb01000041000000a00010043f000000000200041a000000ec01000041000000000010041b000000010100008a000000000312013f0000000803300210000001000330018f000000010330008a000000000323016f00000001023002700000001f022000390000000502200270000000ed02200041000000020330008c000000550000413d000000ed03000041000000000003041b0000000103300039000000000432004b000000510000213d0000010002000039000000400020043f0000000402000039000000c00020043f000000ee02000041000000e00020043f0000000102000039000000000302041a0000000000200435000000ef04000041000000000042041b000000000113013f0000000801100210000001000110018f000000010110008a000000000231016f00000001012002700000001f011000390000000501100270000000f001100041000000020220008c000000700000413d000000f002000041000000000002041b0000000102200039000000000321004b0000006c0000213d0000000201000039000000000201041a000001000300008a000000000232016f00000012022001bf000000000021041b0000000001000416000000000101004b0000033a0000c13d0000000001000411000000f10110019700000000001004350000000301000039000000200010043f03a3037b0000040f000000f202000041000000000021041b000000200100003900000100001004430000012000000443000000f301000041000003a40001042e000000000401043b000000e002400270000000f40440009c000000c30000813d000001010420009c000001050000a13d000001020420009c000001620000613d000001030420009c000001680000613d000001040220009c0000033a0000c13d0000000002000416000000000202004b0000033a0000c13d000000240230008a000000200300008a000000000232004b0000033a0000813d0000000401100370000000000101043b000600000001001d0000000001000411000000f101100197000500000001001d00000000001004350000000301000039000000200010043f000000ea010000410000000002000414000000ea0320009c0000000002018019000000c001200210000000fd011001c7000080100200003903a3039e0000040f000000060300002900000001022001900000033a0000613d000000000101043b000000000201041a000000000432004b0000033a0000413d0000000002320049000000000021041b000000400100043d0000000505000029000000040250008c000003460000613d000000ea02000041000000ea0410009c00000000010280190000010702000041000000000403004b000000000200c0190000004001100210000000000121019f0000033c0000c13d000000000205001903a303990000040f000003410000013d000000f50420009c000000eb0000213d000000f90420009c000001ef0000613d000000fa0420009c000001f60000613d000000fb0120009c0000033a0000c13d0000000001000416000000000101004b0000033a0000c13d0000000103000039000000000103041a000000010200008a000000000221013f0000000802200210000001000220018f000000010220008a000000000512016f000000200200008a0000000104500270000000bf06400039000000000226016f000000400020043f000000800040043f000000020650008c000002b20000413d0000003f0550008c000002af0000a13d0000000000300435000000a001000039000000f002000041000000a003400039000000000402041a00000000014104360000000102200039000000000413004b000000e40000213d000000400200043d000002b20000013d000000f60420009c000002080000613d000000f70420009c0000026a0000613d000000f80220009c0000033a0000c13d0000000002000416000000000202004b0000033a0000c13d000000440230008a000000400300008a000000000232004b0000033a0000813d0000002402100370000000000202043b000600000002001d0000000401100370000000000101043b0000000402000039000000200020043f000000f101100197000000000010043503a3037b0000040f000000200010043f0000000601000029000002010000013d000001050420009c000001d00000613d000001060220009c0000033a0000c13d0000000002000416000000000202004b0000033a0000c13d000000440230008a000000400300008a000000000232004b0000033a0000813d0000002402100370000000000202043b000400000002001d0000000401100370000000000101043b000600000001001d0000000001000411000000f101100197000500000001001d00000000001004350000000401000039000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f0000000603000029000000f10330019700000001022001900000033a0000613d000000000101043b0000000000300435000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c70000801002000039000600000003001d03a3039e0000040f000000060600002900000001022001900000033a0000613d000000000101043b0000000402000029000000000021041b000000400100043d0000000000210435000000400200043d0000000001210049000000ea03000041000000ea0420009c000000000203801900000040022002100000002001100039000000ea0410009c00000000010380190000006001100210000000000121019f0000000002000414000000ea0420009c0000000002038019000000c002200210000000000121019f000000fe011001c70000800d0200003900000003030000390000010904000041000000050500002903a303990000040f00000001012001900000033a0000613d000000400100043d00000001020000390000000000210435000000400200043d00000000012100490000002001100039000000ea03000041000000ea0410009c0000000001038019000000ea0420009c000000000203801900000040022002100000006001100210000000000121019f000003a40001042e0000000001000416000000000101004b0000033a0000c13d000000000100041003a303890000040f000002050000013d0000000002000416000000000202004b0000033a0000c13d000000640230008a000000600300008a000000000232004b0000033a0000813d0000004402100370000000000202043b000500000002001d0000002402100370000000000202043b000600000002001d0000000401100370000000000101043b000000f101100197000400000001001d00000000001004350000000301000039000300000001001d000000200010043f000000ea010000410000000002000414000000ea0320009c0000000002018019000000c001200210000000fd011001c7000080100200003903a3039e0000040f0000000603000029000000f10330019700000001022001900000033a0000613d000000000101043b000000000101041a000000050110006c0000033a0000413d000600000003001d0000000001000411000000f1031001970000000402000029000000000132004b000002da0000c13d00000000002004350000000301000029000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f0000000102200190000000060300002900000005040000290000033a0000613d000000000101043b000000000201041a0000000002420049000000000021041b00000000003004350000000301000029000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c7000080100200003903a3039e0000040f0000000503000029000000060600002900000001022001900000033a0000613d000000000101043b000000000201041a0000000002320019000000000021041b000000400100043d0000000000310435000000400200043d0000000001210049000000ea03000041000000ea0420009c000000000203801900000040022002100000002001100039000000ea0410009c00000000010380190000006001100210000000000121019f0000000002000414000000ea0420009c0000000002038019000000c002200210000000000121019f000000fe011001c70000800d02000039000000030300003900000100040000410000000405000029000001500000013d0000000001000416000000000101004b0000033a0000c13d000000010200008a000000000100041a000000000221013f0000000802200210000001000220018f000000010220008a000000000412016f0000000103400270000000200200008a000000bf05300039000000000225016f000000400020043f000000800030043f000000020540008c000002910000413d0000003f0440008c0000028e0000a13d000000a001000039000000ed02000041000000a0033000390000000000000435000000000402041a00000000014104360000000102200039000000000413004b000001e80000213d000000400200043d000002910000013d0000000001000416000000000101004b0000033a0000c13d0000000201000039000000000101041a000000ff0110018f000002050000013d0000000002000416000000000202004b0000033a0000c13d000000240230008a000000200300008a000000000232004b0000033a0000813d0000000401100370000000000101043b0000000302000039000000200020043f000000f101100197000000000010043503a3037b0000040f000000000101041a000000800010043f000000fc01000041000003a40001042e0000000002000416000000000202004b0000033a0000c13d000000440230008a000000400300008a000000000232004b0000033a0000813d0000002402100370000000000202043b000500000002001d0000000401100370000000000101043b000600000001001d0000000001000411000000f101100197000300000001001d00000000001004350000000301000039000400000001001d000000200010043f000000ea010000410000000002000414000000ea0320009c0000000002018019000000c001200210000000fd011001c7000080100200003903a3039e0000040f0000000603000029000000f10330019700000001022001900000033a0000613d000000000101043b000000000101041a000000050110006c0000033a0000413d000000030100002900000000001004350000000401000029000000200010043f000000ea040000410000000001000414000000ea0210009c0000000001048019000000c001100210000000fd011001c70000801002000039000600000003001d03a3039e0000040f000000060300002900000001022001900000033a0000613d000000000101043b000000000201041a000000050220006a000000000021041b00000000003004350000000401000029000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c7000080100200003903a3039e0000040f000000060600002900000001022001900000033a0000613d000000000101043b000000000201041a00000005030000290000000002320019000000000021041b000000400100043d0000000000310435000000400200043d0000000001210049000000ea03000041000000ea0420009c000000000203801900000040022002100000002001100039000000ea0410009c00000000010380190000006001100210000000000121019f0000000002000414000000ea0420009c0000000002038019000000c002200210000000000121019f000000fe011001c70000800d02000039000000030300003900000100040000410000000305000029000001500000013d0000000001000411000000f101100197000600000001001d00000000001004350000000301000039000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b000000000201041a00000000030004160000000002320019000000000021041b000000400100043d0000000000310435000000400200043d0000000001210049000000ea0320009c000000ea04000041000000000204801900000040022002100000002001100039000000ea0310009c00000000010480190000006001100210000000000121019f00000000020004140000002f0000013d000001000300008a000000000131016f000000a00010043f00000020010000390000000003120436000000800400043d00000000004304350000004002200039000000800300043d000000000403004b0000000004000019000002ad0000613d00000000040000190000000005240019000000a006400039000000000606043300000000006504350000002004400039000000000534004b0000029b0000413d00000000022300190000001f03300190000002cf0000613d0000000004320049000000030230021000000100022000890000000003040433000000000323022f00000000022301cf000000000024043500000000020100190000000002240019000002cf0000013d000001000300008a000000000131016f000000a00010043f00000020010000390000000003120436000000800400043d00000000004304350000004002200039000000800300043d000000000403004b0000000004000019000002ce0000613d00000000040000190000000005240019000000a006400039000000000606043300000000006504350000002004400039000000000534004b000002bc0000413d00000000022300190000001f03300190000002cf0000613d0000000004320049000000030230021000000100022000890000000003040433000000000323022f00000000022301cf000000000024043500000000020100190000000002240019000000400100043d0000000002120049000000ea03000041000000ea0420009c0000000002038019000000ea0410009c000000000103801900000040011002100000006002200210000000000112019f000003a40001042e000200000003001d0000000401000039000100000001001d000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b00000002020000290000000000200435000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b000000000101041a000000010200008a000000000121004b0000000402000029000001930000613d00000000002004350000000101000029000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b00000002020000290000000000200435000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b000000000101041a000000050110006c0000033a0000413d000000040100002900000000001004350000000101000029000000200010043f000000ea030000410000000001000414000000ea0210009c0000000001038019000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b00000002020000290000000000200435000000200010043f0000000001000414000000ea0210009c000000ea01008041000000c001100210000000fd011001c7000080100200003903a3039e0000040f00000001022001900000033a0000613d000000000101043b000000000201041a000000050220006a000000000021041b0000000402000029000001930000013d0000000001000019000003a500010430000000fe011001c700008009020000390000000004050019000000000500001903a303990000040f00000001022001900000035c0000613d000000400100043d000000050500002900000006030000290000000000310435000000400200043d0000000001210049000000ea03000041000000ea0420009c000000000203801900000040022002100000002001100039000000ea0410009c00000000010380190000006001100210000000000121019f0000000002000414000000ea0420009c0000000002038019000000c002200210000000000121019f000000fe011001c70000800d0200003900000002030000390000010804000041000000380000013d000000000201001900000060022002700000001f0320018f000000ea0220019700000005042002720000036a0000613d00000000050000190000000506500210000000000761034f000000000707043b00000000007604350000000105500039000000000645004b000003630000413d000000000503004b000003780000613d00000003033002100000000504400210000000000504043300000000053501cf000000000535022f000000000141034f000000000101043b0000010003300089000000000131022f00000000013101cf000000000151019f00000000001404350000006001200210000003a500010430000000000001042f000000ea010000410000000002000414000000ea0320009c0000000002018019000000c001200210000000fd011001c7000080100200003903a3039e0000040f0000000102200190000003870000613d000000000101043b000000000001042d0000000001000019000003a5000104300000010a0200004100000000002004390000000400100443000000ea010000410000000002000414000000ea0320009c0000000002018019000000c0012002100000010b011001c70000800a0200003903a3039e0000040f0000000102200190000003980000613d000000000101043b000000000001042d000000000001042f0000039c002104210000000102000039000000000001042d0000000002000019000000000001042d000003a1002104230000000102000039000000000001042d0000000002000019000000000001042d000003a300000432000003a40001042e000003a5000104300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffff5772617070656420457468657200000000000000000000000000000000000000577261707065642045746865720000000000000000000000000000000000001a290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56357455448000000000000000000000000000000000000000000000000000000005745544800000000000000000000000000000000000000000000000000000008b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6000000000000000000000000ffffffffffffffffffffffffffffffffffffffff00000000000000000000000000000b7abc627050305adf14a3d9e400000000000000000200000000000000000000000000000040000001000000000000000000313ce5670000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a9059cba00000000000000000000000000000000000000000000000000000000a9059cbb00000000000000000000000000000000000000000000000000000000d0e30db000000000000000000000000000000000000000000000000000000000dd62ed3e00000000000000000000000000000000000000000000000000000000313ce5670000000000000000000000000000000000000000000000000000000070a082310000000000000000000000000000000000000000000000000000000095d89b41000000000000000000000000000000000000002000000080000000000000000002000000000000000000000000000000000000400000000000000000000000000200000000000000000000000000000000000000000000000000000000000000e1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109cddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef0000000000000000000000000000000000000000000000000000000018160ddc0000000000000000000000000000000000000000000000000000000018160ddd0000000000000000000000000000000000000000000000000000000023b872dd000000000000000000000000000000000000000000000000000000002e1a7d4d0000000000000000000000000000000000000000000000000000000006fdde0300000000000000000000000000000000000000000000000000000000095ea7b300000000000008fc0000000000000000000000000000000000000000000000007fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b658c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259cc7f708afc65944829bd487b90b72536b1951864fbfc14e125fc972a6507f390200000200000000000000000000000000000024000000000000000000000000e016d7960962ea96164f80bcce76171fd54b76c3dc510a7dac965606a20ddd76