[{"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"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","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":"src","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":"name_","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"symbol_","type":"string"}],"stateMutability":"pure","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":[],"name":"version","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600436106100cb5760003560e01c806354fd4d5011610074578063a9059cbb1161004e578063a9059cbb14610262578063d0e30db0146100da578063dd62ed3e14610282576100da565b806354fd4d50146101c157806370a082311461020a57806395d89b411461024d576100da565b806323b872dd116100a557806323b872dd1461015a5780632e1a7d4d1461017a578063313ce5671461019a576100da565b806306fdde03146100e2578063095ea7b31461010d57806318160ddd1461013d576100da565b366100da576100d86102d5565b005b6100d86102d5565b3480156100ee57600080fd5b506100f7610330565b60405161010491906107e8565b60405180910390f35b34801561011957600080fd5b5061012d610128366004610862565b6103fb565b6040519015158152602001610104565b34801561014957600080fd5b50475b604051908152602001610104565b34801561016657600080fd5b5061012d61017536600461088c565b610474565b34801561018657600080fd5b506100d86101953660046108c8565b610647565b3480156101a657600080fd5b506101af601281565b60405160ff9091168152602001610104565b3480156101cd57600080fd5b506100f76040518060400160405280600c81526020017f312e312e302d626574612e35000000000000000000000000000000000000000081525081565b34801561021657600080fd5b5061014c6102253660046108e1565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b34801561025957600080fd5b506100f76106ed565b34801561026e57600080fd5b5061012d61027d366004610862565b6107a4565b34801561028e57600080fd5b5061014c61029d3660046108fc565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b33600090815260208190526040812080543492906102f490849061095e565b909155505060405134815233907fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9060200160405180910390a2565b606073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663d84447156040518163ffffffff1660e01b8152600401600060405180830381865afa158015610391573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526103d791908101906109a5565b6040516020016103e79190610a70565b604051602081830303815290604052905090565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104639086815260200190565b60405180910390a350600192915050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260408120548211156104a657600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600081815260016020908152604080832033808552925290912054911480159061050757507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114155b1561055f578281101561051957600080fd5b73ffffffffffffffffffffffffffffffffffffffff8516600090815260016020908152604080832033845290915281208054859290610559908490610ab5565b90915550505b73ffffffffffffffffffffffffffffffffffffffff851660009081526020819052604081208054859290610594908490610ab5565b909155505073ffffffffffffffffffffffffffffffffffffffff8416600090815260208190526040812080548592906105ce90849061095e565b925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161063491815260200190565b60405180910390a3506001949350505050565b3360009081526020819052604090205481111561066357600080fd5b3360009081526020819052604081208054839290610682908490610ab5565b9091555050604051339082156108fc029083906000818181858888f193505050501580156106b4573d6000803e3d6000fd5b5060405181815233907f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b659060200160405180910390a250565b606073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663550fcdc96040518163ffffffff1660e01b8152600401600060405180830381865afa15801561074e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261079491908101906109a5565b6040516020016103e79190610acc565b60006107b1338484610474565b9392505050565b60005b838110156107d35781810151838201526020016107bb565b838111156107e2576000848401525b50505050565b60208152600082518060208401526108078160408501602087016107b8565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461085d57600080fd5b919050565b6000806040838503121561087557600080fd5b61087e83610839565b946020939093013593505050565b6000806000606084860312156108a157600080fd5b6108aa84610839565b92506108b860208501610839565b9150604084013590509250925092565b6000602082840312156108da57600080fd5b5035919050565b6000602082840312156108f357600080fd5b6107b182610839565b6000806040838503121561090f57600080fd5b61091883610839565b915061092660208401610839565b90509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082198211156109715761097161092f565b500190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000602082840312156109b757600080fd5b815167ffffffffffffffff808211156109cf57600080fd5b818401915084601f8301126109e357600080fd5b8151818111156109f5576109f5610976565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715610a3b57610a3b610976565b81604052828152876020848701011115610a5457600080fd5b610a658360208301602088016107b8565b979650505050505050565b7f5772617070656420000000000000000000000000000000000000000000000000815260008251610aa88160088501602087016107b8565b9190910160080192915050565b600082821015610ac757610ac761092f565b500390565b7f5700000000000000000000000000000000000000000000000000000000000000815260008251610b048160018501602087016107b8565b919091016001019291505056fea164736f6c634300080f000a

0x6080604052600436106100cb5760003560e01c806354fd4d5011610074578063a9059cbb1161004e578063a9059cbb14610262578063d0e30db0146100da578063dd62ed3e14610282576100da565b806354fd4d50146101c157806370a082311461020a57806395d89b411461024d576100da565b806323b872dd116100a557806323b872dd1461015a5780632e1a7d4d1461017a578063313ce5671461019a576100da565b806306fdde03146100e2578063095ea7b31461010d57806318160ddd1461013d576100da565b366100da576100d86102d5565b005b6100d86102d5565b3480156100ee57600080fd5b506100f7610330565b60405161010491906107e8565b60405180910390f35b34801561011957600080fd5b5061012d610128366004610862565b6103fb565b6040519015158152602001610104565b34801561014957600080fd5b50475b604051908152602001610104565b34801561016657600080fd5b5061012d61017536600461088c565b610474565b34801561018657600080fd5b506100d86101953660046108c8565b610647565b3480156101a657600080fd5b506101af601281565b60405160ff9091168152602001610104565b3480156101cd57600080fd5b506100f76040518060400160405280600c81526020017f312e312e302d626574612e35000000000000000000000000000000000000000081525081565b34801561021657600080fd5b5061014c6102253660046108e1565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b34801561025957600080fd5b506100f76106ed565b34801561026e57600080fd5b5061012d61027d366004610862565b6107a4565b34801561028e57600080fd5b5061014c61029d3660046108fc565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b33600090815260208190526040812080543492906102f490849061095e565b909155505060405134815233907fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c9060200160405180910390a2565b606073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663d84447156040518163ffffffff1660e01b8152600401600060405180830381865afa158015610391573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526103d791908101906109a5565b6040516020016103e79190610a70565b604051602081830303815290604052905090565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104639086815260200190565b60405180910390a350600192915050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152602081905260408120548211156104a657600080fd5b73ffffffffffffffffffffffffffffffffffffffff8416600081815260016020908152604080832033808552925290912054911480159061050757507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114155b1561055f578281101561051957600080fd5b73ffffffffffffffffffffffffffffffffffffffff8516600090815260016020908152604080832033845290915281208054859290610559908490610ab5565b90915550505b73ffffffffffffffffffffffffffffffffffffffff851660009081526020819052604081208054859290610594908490610ab5565b909155505073ffffffffffffffffffffffffffffffffffffffff8416600090815260208190526040812080548592906105ce90849061095e565b925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161063491815260200190565b60405180910390a3506001949350505050565b3360009081526020819052604090205481111561066357600080fd5b3360009081526020819052604081208054839290610682908490610ab5565b9091555050604051339082156108fc029083906000818181858888f193505050501580156106b4573d6000803e3d6000fd5b5060405181815233907f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b659060200160405180910390a250565b606073420000000000000000000000000000000000001573ffffffffffffffffffffffffffffffffffffffff1663550fcdc96040518163ffffffff1660e01b8152600401600060405180830381865afa15801561074e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261079491908101906109a5565b6040516020016103e79190610acc565b60006107b1338484610474565b9392505050565b60005b838110156107d35781810151838201526020016107bb565b838111156107e2576000848401525b50505050565b60208152600082518060208401526108078160408501602087016107b8565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461085d57600080fd5b919050565b6000806040838503121561087557600080fd5b61087e83610839565b946020939093013593505050565b6000806000606084860312156108a157600080fd5b6108aa84610839565b92506108b860208501610839565b9150604084013590509250925092565b6000602082840312156108da57600080fd5b5035919050565b6000602082840312156108f357600080fd5b6107b182610839565b6000806040838503121561090f57600080fd5b61091883610839565b915061092660208401610839565b90509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082198211156109715761097161092f565b500190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000602082840312156109b757600080fd5b815167ffffffffffffffff808211156109cf57600080fd5b818401915084601f8301126109e357600080fd5b8151818111156109f5576109f5610976565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715610a3b57610a3b610976565b81604052828152876020848701011115610a5457600080fd5b610a658360208301602088016107b8565b979650505050505050565b7f5772617070656420000000000000000000000000000000000000000000000000815260008251610aa88160088501602087016107b8565b9190910160080192915050565b600082821015610ac757610ac761092f565b500390565b7f5700000000000000000000000000000000000000000000000000000000000000815260008251610b048160018501602087016107b8565b919091016001019291505056fea164736f6c634300080f000a

587:759:2:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2313:9:4;:7;:9::i;:::-;587:759:2;;2407:9:4;:7;:9::i;848:182:2:-;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4573:183:4;;;;;;;;;;-1:-1:-1;4573:183:4;;;;;:::i;:::-;;:::i;:::-;;;1349:14:5;;1342:22;1324:41;;1312:2;1297:18;4573:183:4;1184:187:5;4195:100:4;;;;;;;;;;-1:-1:-1;4267:21:4;4195:100;;;1522:25:5;;;1510:2;1495:18;4195:100:4;1376:177:5;5441:496:4;;;;;;;;;;-1:-1:-1;5441:496:4;;;;;:::i;:::-;;:::i;3872:225::-;;;;;;;;;;-1:-1:-1;3872:225:4;;;;;:::i;:::-;;:::i;1030:35::-;;;;;;;;;;;;1063:2;1030:35;;;;;2248:4:5;2236:17;;;2218:36;;2206:2;2191:18;1030:35:4;2076:184:5;662:47:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3448:101:4;;;;;;;;;;-1:-1:-1;3448:101:4;;;;;:::i;:::-;3527:15;;3501:7;3527:15;;;;;;;;;;;;3448:101;1161:183:2;;;;;;;;;;;;;:::i;4995:126:4:-;;;;;;;;;;-1:-1:-1;4995:126:4;;;;;:::i;:::-;;:::i;3139:139::-;;;;;;;;;;-1:-1:-1;3139:139:4;;;;;:::i;:::-;3245:17;;;;3219:7;3245:17;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;3139:139;3633;3696:10;3685;:22;;;;;;;;;;:35;;3711:9;;3685:10;:35;;3711:9;;3685:35;:::i;:::-;;;;-1:-1:-1;;3735:30:4;;3755:9;1522:25:5;;3743:10:4;;3735:30;;1510:2:5;1495:18;3735:30:4;;;;;;;3633:139::o;848:182:2:-;896:19;2827:42:3;961:59:2;;;:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;935:88;;;;;;;;:::i;:::-;;;;;;;;;;;;;927:96;;848:182;:::o;4573:183:4:-;4661:10;4634:4;4650:22;;;:10;:22;;;;;;;;;:27;;;;;;;;;;:33;;;4698:30;4634:4;;4650:27;;4698:30;;;;4680:3;1522:25:5;;1510:2;1495:18;;1376:177;4698:30:4;;;;;;;;-1:-1:-1;4745:4:4;4573:183;;;;:::o;5441:496::-;5542:15;;;5518:4;5542:15;;;;;;;;;;;:22;-1:-1:-1;5542:22:4;5534:31;;;;;;3245:17;;;5576:23;3245:17;;;:10;:17;;;;;;;;5617:10;3245:26;;;;;;;;;;5642:17;;;;:57;;;5682:17;5663:15;:36;;5642:57;5638:167;;;5742:3;5723:15;:22;;5715:31;;;;;;5760:15;;;;;;;:10;:15;;;;;;;;5776:10;5760:27;;;;;;;:34;;5791:3;;5760:15;:34;;5791:3;;5760:34;:::i;:::-;;;;-1:-1:-1;;5638:167:4;5815:15;;;:10;:15;;;;;;;;;;:22;;5834:3;;5815:10;:22;;5834:3;;5815:22;:::i;:::-;;;;-1:-1:-1;;5847:15:4;;;:10;:15;;;;;;;;;;:22;;5866:3;;5847:10;:22;;5866:3;;5847:22;:::i;:::-;;;;;;;;5899:3;5885:23;;5894:3;5885:23;;;5904:3;5885:23;;;;1522:25:5;;1510:2;1495:18;;1376:177;5885:23:4;;;;;;;;-1:-1:-1;5926:4:4;;5441:496;-1:-1:-1;;;;5441:496:4:o;3872:225::-;3947:10;3936;:22;;;;;;;;;;;:29;-1:-1:-1;3936:29:4;3928:38;;;;;;3987:10;3976;:22;;;;;;;;;;:29;;4002:3;;3976:10;:29;;4002:3;;3976:29;:::i;:::-;;;;-1:-1:-1;;4015:33:4;;4023:10;;4015:33;;;;;4044:3;;4015:33;;;;4044:3;4023:10;4015:33;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4063:27:4;;1522:25:5;;;4074:10:4;;4063:27;;1510:2:5;1495:18;4063:27:4;;;;;;;3872:225;:::o;1161:183:2:-;1211:21;2827:42:3;1273:61:2;;;:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1254:83;;;;;;;;:::i;4995:126:4:-;5057:4;5080:34;5093:10;5105:3;5110;5080:12;:34::i;:::-;5073:41;4995:126;-1:-1:-1;;;4995:126:4:o;14:258:5:-;86:1;96:113;110:6;107:1;104:13;96:113;;;186:11;;;180:18;167:11;;;160:39;132:2;125:10;96:113;;;227:6;224:1;221:13;218:48;;;262:1;253:6;248:3;244:16;237:27;218:48;;14:258;;;:::o;277:442::-;426:2;415:9;408:21;389:4;458:6;452:13;501:6;496:2;485:9;481:18;474:34;517:66;576:6;571:2;560:9;556:18;551:2;543:6;539:15;517:66;:::i;:::-;635:2;623:15;640:66;619:88;604:104;;;;710:2;600:113;;277:442;-1:-1:-1;;277:442:5:o;724:196::-;792:20;;852:42;841:54;;831:65;;821:93;;910:1;907;900:12;821:93;724:196;;;:::o;925:254::-;993:6;1001;1054:2;1042:9;1033:7;1029:23;1025:32;1022:52;;;1070:1;1067;1060:12;1022:52;1093:29;1112:9;1093:29;:::i;:::-;1083:39;1169:2;1154:18;;;;1141:32;;-1:-1:-1;;;925:254:5:o;1558:328::-;1635:6;1643;1651;1704:2;1692:9;1683:7;1679:23;1675:32;1672:52;;;1720:1;1717;1710:12;1672:52;1743:29;1762:9;1743:29;:::i;:::-;1733:39;;1791:38;1825:2;1814:9;1810:18;1791:38;:::i;:::-;1781:48;;1876:2;1865:9;1861:18;1848:32;1838:42;;1558:328;;;;;:::o;1891:180::-;1950:6;2003:2;1991:9;1982:7;1978:23;1974:32;1971:52;;;2019:1;2016;2009:12;1971:52;-1:-1:-1;2042:23:5;;1891:180;-1:-1:-1;1891:180:5:o;2265:186::-;2324:6;2377:2;2365:9;2356:7;2352:23;2348:32;2345:52;;;2393:1;2390;2383:12;2345:52;2416:29;2435:9;2416:29;:::i;2456:260::-;2524:6;2532;2585:2;2573:9;2564:7;2560:23;2556:32;2553:52;;;2601:1;2598;2591:12;2553:52;2624:29;2643:9;2624:29;:::i;:::-;2614:39;;2672:38;2706:2;2695:9;2691:18;2672:38;:::i;:::-;2662:48;;2456:260;;;;;:::o;2721:184::-;2773:77;2770:1;2763:88;2870:4;2867:1;2860:15;2894:4;2891:1;2884:15;2910:128;2950:3;2981:1;2977:6;2974:1;2971:13;2968:39;;;2987:18;;:::i;:::-;-1:-1:-1;3023:9:5;;2910:128::o;3043:184::-;3095:77;3092:1;3085:88;3192:4;3189:1;3182:15;3216:4;3213:1;3206:15;3232:943;3312:6;3365:2;3353:9;3344:7;3340:23;3336:32;3333:52;;;3381:1;3378;3371:12;3333:52;3414:9;3408:16;3443:18;3484:2;3476:6;3473:14;3470:34;;;3500:1;3497;3490:12;3470:34;3538:6;3527:9;3523:22;3513:32;;3583:7;3576:4;3572:2;3568:13;3564:27;3554:55;;3605:1;3602;3595:12;3554:55;3634:2;3628:9;3656:2;3652;3649:10;3646:36;;;3662:18;;:::i;:::-;3796:2;3790:9;3858:4;3850:13;;3701:66;3846:22;;;3870:2;3842:31;3838:40;3826:53;;;3894:18;;;3914:22;;;3891:46;3888:72;;;3940:18;;:::i;:::-;3980:10;3976:2;3969:22;4015:2;4007:6;4000:18;4055:7;4050:2;4045;4041;4037:11;4033:20;4030:33;4027:53;;;4076:1;4073;4066:12;4027:53;4089:55;4141:2;4136;4128:6;4124:15;4119:2;4115;4111:11;4089:55;:::i;:::-;4163:6;3232:943;-1:-1:-1;;;;;;;3232:943:5:o;4180:414::-;4431:10;4426:3;4419:23;4401:3;4471:6;4465:13;4487:61;4541:6;4537:1;4532:3;4528:11;4521:4;4513:6;4509:17;4487:61;:::i;:::-;4568:16;;;;4586:1;4564:24;;4180:414;-1:-1:-1;;4180:414:5:o;4599:125::-;4639:4;4667:1;4664;4661:8;4658:34;;;4672:18;;:::i;:::-;-1:-1:-1;4709:9:5;;4599:125::o;4729:407::-;4980:3;4975;4968:16;4950:3;5013:6;5007:13;5029:61;5083:6;5079:1;5074:3;5070:11;5063:4;5055:6;5051:17;5029:61;:::i;:::-;5110:16;;;;5128:1;5106:24;;4729:407;-1:-1:-1;;4729:407:5:o

none