Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract SafeMath    - function safeAdd(uint a, uint b)    - function safeSub(uint a, uint b)  contract Samurai is ERC20Interface ... *    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function approve(address spender, uin ...    - function transfer(address to, uint to ...    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-10
*/

pragma solidity ^0.5.0;

// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
//
// ----------------------------------------------------------------------------
contract ERC20Interface {
    function totalSupply() public view returns (uint);
    function balanceOf(address tokenOwner) public view returns (uint balance);
    function allowance(address tokenOwner, address spender) public view returns (uint remaining);
    function transfer(address to, uint tokens) public returns (bool success);
    function approve(address spender, uint tokens) public returns (bool success);
    function transferFrom(address from, address to, uint tokens) public returns (bool success);

    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

// ----------------------------------------------------------------------------
// Safe Math Library 
// ----------------------------------------------------------------------------
contract SafeMath {
    function safeAdd(uint a, uint b) public pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }
    function safeSub(uint a, uint b) public pure returns (uint c) {
        require(b <= a); c = a - b; } function safeMul(uint a, uint b) public pure returns (uint c) { c = a * b; require(a == 0 || c / a == b); } function safeDiv(uint a, uint b) public pure returns (uint c) { require(b > 0);
        c = a / b;
    }
}


contract Samurai is ERC20Interface, SafeMath {
    string public name;
    string public symbol;
    uint8 public decimals; // 18 decimals is the strongly suggested default, avoid changing it
    
    uint256 public _totalSupply;
    
    mapping(address => uint) balances;
    mapping(address => mapping(address => uint)) allowed;
    
    /**
     * Constrctor function
     *
     * Initializes contract with initial supply tokens to the creator of the contract
     */
    constructor() public {
        name = "SAMURAI";
        symbol = "SAM";
        decimals = 18;
        _totalSupply = 30000000000000000000000;
        
        balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }
    
    function totalSupply() public view returns (uint) {
        return _totalSupply  - balances[address(0)];
    }
    
    function balanceOf(address tokenOwner) public view returns (uint balance) {
        return balances[tokenOwner];
    }
    
    function allowance(address tokenOwner, address spender) public view returns (uint remaining) {
        return allowed[tokenOwner][spender];
    }
    
    function approve(address spender, uint tokens) public returns (bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        return true;
    }
    
    function transfer(address to, uint tokens) public returns (bool success) {
        balances[msg.sender] = safeSub(balances[msg.sender], tokens);
        balances[to] = safeAdd(balances[to], tokens);
        emit Transfer(msg.sender, to, tokens);
        return true;
    }
    
    function transferFrom(address from, address to, uint tokens) public returns (bool success) {
        balances[from] = safeSub(balances[from], tokens);
        allowed[from][msg.sender] = safeSub(allowed[from][msg.sender], tokens);
        balances[to] = safeAdd(balances[to], tokens);
        emit Transfer(from, to, tokens);
        return true;
    }
}

• Solidity.finance - October 24th, 2020 - Security Audit Report

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"}]

608060405234801561001057600080fd5b506040805190810160405280600781526020017f53414d55524149000000000000000000000000000000000000000000000000008152506000908051906020019061005c929190610189565b506040805190810160405280600381526020017f53414d0000000000000000000000000000000000000000000000000000000000815250600190805190602001906100a8929190610189565b506012600260006101000a81548160ff021916908360ff16021790555069065a4da25d3016c00000600381905550600354600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a361022e565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101ca57805160ff19168380011785556101f8565b828001600101855582156101f8579182015b828111156101f75782518255916020019190600101906101dc565b5b5090506102059190610209565b5090565b61022b91905b8082111561022757600081600090555060010161020f565b5090565b90565b610df88061023d6000396000f3fe608060405234801561001057600080fd5b5060043610610107576000357c01000000000000000000000000000000000000000000000000000000009004806395d89b41116100a9578063b5931f7c11610083578063b5931f7c14610468578063d05c78da146104b4578063dd62ed3e14610500578063e6cb90131461057857610107565b806395d89b4114610333578063a293d1e8146103b6578063a9059cbb1461040257610107565b806323b872dd116100e557806323b872dd14610213578063313ce567146102995780633eaaf86b146102bd57806370a08231146102db57610107565b806306fdde031461010c578063095ea7b31461018f57806318160ddd146101f5575b600080fd5b6101146105c4565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610154578082015181840152602081019050610139565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101db600480360360408110156101a557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610662565b604051808215151515815260200191505060405180910390f35b6101fd610754565b6040518082815260200191505060405180910390f35b61027f6004803603606081101561022957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061079f565b604051808215151515815260200191505060405180910390f35b6102a1610a2f565b604051808260ff1660ff16815260200191505060405180910390f35b6102c5610a42565b6040518082815260200191505060405180910390f35b61031d600480360360208110156102f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a48565b6040518082815260200191505060405180910390f35b61033b610a91565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561037b578082015181840152602081019050610360565b50505050905090810190601f1680156103a85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103ec600480360360408110156103cc57600080fd5b810190808035906020019092919080359060200190929190505050610b2f565b6040518082815260200191505060405180910390f35b61044e6004803603604081101561041857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b4b565b604051808215151515815260200191505060405180910390f35b61049e6004803603604081101561047e57600080fd5b810190808035906020019092919080359060200190929190505050610cd4565b6040518082815260200191505060405180910390f35b6104ea600480360360408110156104ca57600080fd5b810190808035906020019092919080359060200190929190505050610cf8565b6040518082815260200191505060405180910390f35b6105626004803603604081101561051657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d29565b6040518082815260200191505060405180910390f35b6105ae6004803603604081101561058e57600080fd5b810190808035906020019092919080359060200190929190505050610db0565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561065a5780601f1061062f5761010080835404028352916020019161065a565b820191906000526020600020905b81548152906001019060200180831161063d57829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600460008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460035403905090565b60006107ea600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108b3600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061097c600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610db0565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60035481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b275780601f10610afc57610100808354040283529160200191610b27565b820191906000526020600020905b815481529060010190602001808311610b0a57829003601f168201915b505050505081565b6000828211151515610b4057600080fd5b818303905092915050565b6000610b96600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c22600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610db0565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008082111515610ce457600080fd5b8183811515610cef57fe5b04905092915050565b600081830290506000831480610d185750818382811515610d1557fe5b04145b1515610d2357600080fd5b92915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008183019050828110151515610dc657600080fd5b9291505056fea165627a7a72305820bfafbf24f3e6e446721894e6b97725f6c93c5f1fc91ffb0a1050af96d4aa1df30029

0x608060405234801561001057600080fd5b5060043610610107576000357c01000000000000000000000000000000000000000000000000000000009004806395d89b41116100a9578063b5931f7c11610083578063b5931f7c14610468578063d05c78da146104b4578063dd62ed3e14610500578063e6cb90131461057857610107565b806395d89b4114610333578063a293d1e8146103b6578063a9059cbb1461040257610107565b806323b872dd116100e557806323b872dd14610213578063313ce567146102995780633eaaf86b146102bd57806370a08231146102db57610107565b806306fdde031461010c578063095ea7b31461018f57806318160ddd146101f5575b600080fd5b6101146105c4565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610154578082015181840152602081019050610139565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101db600480360360408110156101a557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610662565b604051808215151515815260200191505060405180910390f35b6101fd610754565b6040518082815260200191505060405180910390f35b61027f6004803603606081101561022957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061079f565b604051808215151515815260200191505060405180910390f35b6102a1610a2f565b604051808260ff1660ff16815260200191505060405180910390f35b6102c5610a42565b6040518082815260200191505060405180910390f35b61031d600480360360208110156102f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a48565b6040518082815260200191505060405180910390f35b61033b610a91565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561037b578082015181840152602081019050610360565b50505050905090810190601f1680156103a85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103ec600480360360408110156103cc57600080fd5b810190808035906020019092919080359060200190929190505050610b2f565b6040518082815260200191505060405180910390f35b61044e6004803603604081101561041857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b4b565b604051808215151515815260200191505060405180910390f35b61049e6004803603604081101561047e57600080fd5b810190808035906020019092919080359060200190929190505050610cd4565b6040518082815260200191505060405180910390f35b6104ea600480360360408110156104ca57600080fd5b810190808035906020019092919080359060200190929190505050610cf8565b6040518082815260200191505060405180910390f35b6105626004803603604081101561051657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d29565b6040518082815260200191505060405180910390f35b6105ae6004803603604081101561058e57600080fd5b810190808035906020019092919080359060200190929190505050610db0565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561065a5780601f1061062f5761010080835404028352916020019161065a565b820191906000526020600020905b81548152906001019060200180831161063d57829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600460008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460035403905090565b60006107ea600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108b3600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061097c600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610db0565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60035481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b275780601f10610afc57610100808354040283529160200191610b27565b820191906000526020600020905b815481529060010190602001808311610b0a57829003601f168201915b505050505081565b6000828211151515610b4057600080fd5b818303905092915050565b6000610b96600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b2f565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c22600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610db0565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008082111515610ce457600080fd5b8183811515610cef57fe5b04905092915050565b600081830290506000831480610d185750818382811515610d1557fe5b04145b1515610d2357600080fd5b92915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008183019050828110151515610dc657600080fd5b9291505056fea165627a7a72305820bfafbf24f3e6e446721894e6b97725f6c93c5f1fc91ffb0a1050af96d4aa1df30029

1579:2061:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1579:2061:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1631:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1631:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2770:208;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2770:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2355:112;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3279:358;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3279:358:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1683:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1785:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2479:120;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2479:120:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1656:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1656:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1253:102;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1253:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2990:277;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2990:277:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1464:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1464:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1356:107;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1356:107:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2611:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2611:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1131:116;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1131:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1631:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2770:208::-;2833:12;2889:6;2858:7;:19;2866:10;2858:19;;;;;;;;;;;;;;;:28;2878:7;2858:28;;;;;;;;;;;;;;;:37;;;;2932:7;2911:37;;2920:10;2911:37;;;2941:6;2911:37;;;;;;;;;;;;;;;;;;2966:4;2959:11;;2770:208;;;;:::o;2355:112::-;2399:4;2439:8;:20;2456:1;2439:20;;;;;;;;;;;;;;;;2423:12;;:36;2416:43;;2355:112;:::o;3279:358::-;3356:12;3398:31;3406:8;:14;3415:4;3406:14;;;;;;;;;;;;;;;;3422:6;3398:7;:31::i;:::-;3381:8;:14;3390:4;3381:14;;;;;;;;;;;;;;;:48;;;;3468:42;3476:7;:13;3484:4;3476:13;;;;;;;;;;;;;;;:25;3490:10;3476:25;;;;;;;;;;;;;;;;3503:6;3468:7;:42::i;:::-;3440:7;:13;3448:4;3440:13;;;;;;;;;;;;;;;:25;3454:10;3440:25;;;;;;;;;;;;;;;:70;;;;3536:29;3544:8;:12;3553:2;3544:12;;;;;;;;;;;;;;;;3558:6;3536:7;:29::i;:::-;3521:8;:12;3530:2;3521:12;;;;;;;;;;;;;;;:44;;;;3596:2;3581:26;;3590:4;3581:26;;;3600:6;3581:26;;;;;;;;;;;;;;;;;;3625:4;3618:11;;3279:358;;;;;:::o;1683:21::-;;;;;;;;;;;;;:::o;1785:27::-;;;;:::o;2479:120::-;2539:12;2571:8;:20;2580:10;2571:20;;;;;;;;;;;;;;;;2564:27;;2479:120;;;:::o;1656:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1253:102::-;1307:6;1339:1;1334;:6;;1326:15;;;;;;;;1351:1;1347;:5;1343:9;;1253:102;;;;:::o;2990:277::-;3049:12;3097:37;3105:8;:20;3114:10;3105:20;;;;;;;;;;;;;;;;3127:6;3097:7;:37::i;:::-;3074:8;:20;3083:10;3074:20;;;;;;;;;;;;;;;:60;;;;3160:29;3168:8;:12;3177:2;3168:12;;;;;;;;;;;;;;;;3182:6;3160:7;:29::i;:::-;3145:8;:12;3154:2;3145:12;;;;;;;;;;;;;;;:44;;;;3226:2;3205:32;;3214:10;3205:32;;;3230:6;3205:32;;;;;;;;;;;;;;;;;;3255:4;3248:11;;2990:277;;;;:::o;1464:106::-;1518:6;1540:1;1536;:5;1528:14;;;;;;;;1561:1;1557;:5;;;;;;;;1553:9;;1464:106;;;;:::o;1356:107::-;1410:6;1428:1;1424;:5;1420:9;;1444:1;1439;:6;:20;;;;1458:1;1453;1449;:5;;;;;;;;:10;1439:20;1431:29;;;;;;;;1356:107;;;;:::o;2611:147::-;2688:14;2722:7;:19;2730:10;2722:19;;;;;;;;;;;;;;;:28;2742:7;2722:28;;;;;;;;;;;;;;;;2715:35;;2611:147;;;;:::o;1131:116::-;1185:6;1212:1;1208;:5;1204:9;;1237:1;1232;:6;;1224:15;;;;;;;;1131:116;;;;:::o

bzzr://bfafbf24f3e6e446721894e6b97725f6c93c5f1fc91ffb0a1050af96d4aa1df3