Contract 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf

Contract Overview

Balance:
0 BNB
Txn Hash Method
Block
From
To
Value [Txn Fee]
0x6331147c493e34c0afe7df3331b7c785622b931f81a215194856027223dcf1ffMint105155402021-07-12 2:35:50198 days 23 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00204789
0xc39e9cb7633bff51218133a148c8adf68ccb3bd5cf093918dbd2f2cf5c43dab4Issue Synths104352932021-07-09 7:41:21201 days 18 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00286763
0x7d6fcaae844ddf2d6db60267e101a64e79024f9d254c799b7b3e6b659916c27dIssue Synths104352442021-07-09 7:38:54201 days 18 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00344252
0x3e7cc061a9d6f72168f00c83ae4b8c5d9012f9c514d00aac7ec93de2b343a56eIssue Synths104352062021-07-09 7:37:00201 days 18 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00343393
0x1eff1bfd036a3f302f28c235e86f95fe4a96d327d28d0633b10674cbe9b39607Mint104283592021-07-09 1:54:39201 days 23 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00032042
0x429c800a5b74e0608373b71d3c229578f1bc2f721e659155f0c48e16228c0a33Mint104098342021-07-08 10:28:24202 days 15 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00205155
0x76d5f67f19257c3ec4c49be1f724519cd68e4c7810c5ca924e4a43adbf5fafd4Mint104098122021-07-08 10:27:18202 days 15 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.00099941
0x8a6071b237eecac394fe9f02a85e5f5a38124aee8b5530199b4fe195913de6feSet Resolver And...96405782021-06-11 13:44:19229 days 12 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.0008935
0x1663a52514298dee7e70e2b96c8f065aab6352afc3ebcabbfbf5be1477bce138Set Resolver And...96400352021-06-11 13:17:10229 days 12 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.0008935
0xe64f5084cbc53301df94b0987464d0b7b9f0f42d2988bf98946956359c620f86Set Resolver And...95413672021-06-08 3:03:08232 days 22 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB0.0020035
0x3056f5524f427b485d126daa6fbfdde4071bde510e2ad7011bfad209e64b43130x6101406095412472021-06-08 2:57:08232 days 22 hrs ago0x64ac4907b29aa25f4df91356fac4772f16a4803e IN  Create: Synthetix0 BNB0.04530439
[ Download CSV Export 
Latest 25 internal transaction
Parent Txn Hash Block From To Value
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb8275 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb82750 BNB
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xf26d3e0d779cb4318b31387f6c4a693bcd2243bf0 BNB
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0x70282c47159a2ce16650ee677b08eecaaa98aa0840524f5825d83b385317a6d7151605012021-12-21 7:42:5136 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb8275 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb82750 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xf26d3e0d779cb4318b31387f6c4a693bcd2243bf0 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0xbb9b9d4b2de5f858fff8088a3452766371463f66379c130388fb9cc18224229b151604652021-12-21 7:41:0336 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb8275 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xd6b0e3ae5c7e4d8c564b706fa32e43766deb82750 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xf26d3e0d779cb4318b31387f6c4a693bcd2243bf0 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0x3af0a0afab1ea050ae2afbe091f82a1678f0c0ce7d9705b03ac1a9b706b9e35e151602962021-12-21 7:32:3636 days 18 hrs ago 0xe7c79a9e5dd67f237323523f573a3359542fa7c4 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf0 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0xe7c79a9e5dd67f237323523f573a3359542fa7c40 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
0xae991edf7b60cceb740dffa6dfbc0155b04f971e6b6d660f59ac3ef488303b6e151602682021-12-21 7:31:1236 days 18 hrs ago 0x5c1cb99b73bbf381b17d79b3a9eb1e47cd9293cf 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d240 BNB
[ Download CSV Export 
Loading

Contract Source Code Verified (Exact Match)

Contract Name:
Synthetix

Compiler Version
v0.5.16+commit.9c3226ce

Optimization Enabled:
Yes with 200 runs

Other Settings:
default evmVersion, None license

Contract Source Code (Solidity)

/**
 *Submitted for verification at BscScan.com on 2021-07-08
*/

/*

██╗  ██╗  ██████╗  ██████╗  ██╗ ███████╗  ██████╗  ███╗   ██╗
██║  ██║ ██╔═══██╗ ██╔══██╗ ██║ ╚══███╔╝ ██╔═══██╗ ████╗  ██║
███████║ ██║   ██║ ██████╔╝ ██║   ███╔╝  ██║   ██║ ██╔██╗ ██║
██╔══██║ ██║   ██║ ██╔══██╗ ██║  ███╔╝   ██║   ██║ ██║╚██╗██║
██║  ██║ ╚██████╔╝ ██║  ██║ ██║ ███████╗ ╚██████╔╝ ██║ ╚████║
╚═╝  ╚═╝  ╚═════╝  ╚═╝  ╚═╝ ╚═╝ ╚══════╝  ╚═════╝  ╚═╝  ╚═══╝

* Horizon Protocol: Synthetix.sol
*
* Latest source (may be newer): https://github.com/Horizon-Protocol/Horizon-Smart-Contract/blob/master/contracts/Synthetix.sol
*
* Contract Dependencies: 
*	- BaseSynthetix
*	- ExternStateToken
*	- IAddressResolver
*	- IERC20
*	- ISupplySchedule
*	- ISynthetix
*	- MixinResolver
*	- Owned
*	- Proxyable
*	- State
* Libraries: 
*	- Math
*	- SafeDecimalMath
*	- SafeMath
*
* MIT License
* ===========
*
* Copyright (c) 2021 Horizon Protocol
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in all
* copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
*/



pragma solidity >=0.4.24;


// https://docs.synthetix.io/contracts/source/interfaces/ierc20
interface IERC20 {
    // ERC20 Optional Views
    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    // Views
    function totalSupply() external view returns (uint);

    function balanceOf(address owner) external view returns (uint);

    function allowance(address owner, address spender) external view returns (uint);

    // Mutative functions
    function transfer(address to, uint value) external returns (bool);

    function approve(address spender, uint value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint value
    ) external returns (bool);

    // Events
    event Transfer(address indexed from, address indexed to, uint value);

    event Approval(address indexed owner, address indexed spender, uint value);
}


// https://docs.synthetix.io/contracts/source/contracts/owned
contract Owned {
    address public owner;
    address public nominatedOwner;

    constructor(address _owner) public {
        require(_owner != address(0), "Owner address cannot be 0");
        owner = _owner;
        emit OwnerChanged(address(0), _owner);
    }

    function nominateNewOwner(address _owner) external onlyOwner {
        nominatedOwner = _owner;
        emit OwnerNominated(_owner);
    }

    function acceptOwnership() external {
        require(msg.sender == nominatedOwner, "You must be nominated before you can accept ownership");
        emit OwnerChanged(owner, nominatedOwner);
        owner = nominatedOwner;
        nominatedOwner = address(0);
    }

    modifier onlyOwner {
        _onlyOwner();
        _;
    }

    function _onlyOwner() private view {
        require(msg.sender == owner, "Only the contract owner may perform this action");
    }

    event OwnerNominated(address newOwner);
    event OwnerChanged(address oldOwner, address newOwner);
}


// Inheritance


// Internal references


// https://docs.synthetix.io/contracts/source/contracts/proxy
contract Proxy is Owned {
    Proxyable public target;

    constructor(address _owner) public Owned(_owner) {}

    function setTarget(Proxyable _target) external onlyOwner {
        target = _target;
        emit TargetUpdated(_target);
    }

    function _emit(
        bytes calldata callData,
        uint numTopics,
        bytes32 topic1,
        bytes32 topic2,
        bytes32 topic3,
        bytes32 topic4
    ) external onlyTarget {
        uint size = callData.length;
        bytes memory _callData = callData;

        assembly {
            /* The first 32 bytes of callData contain its length (as specified by the abi).
             * Length is assumed to be a uint256 and therefore maximum of 32 bytes
             * in length. It is also leftpadded to be a multiple of 32 bytes.
             * This means moving call_data across 32 bytes guarantees we correctly access
             * the data itself. */
            switch numTopics
                case 0 {
                    log0(add(_callData, 32), size)
                }
                case 1 {
                    log1(add(_callData, 32), size, topic1)
                }
                case 2 {
                    log2(add(_callData, 32), size, topic1, topic2)
                }
                case 3 {
                    log3(add(_callData, 32), size, topic1, topic2, topic3)
                }
                case 4 {
                    log4(add(_callData, 32), size, topic1, topic2, topic3, topic4)
                }
        }
    }

    // solhint-disable no-complex-fallback
    function() external payable {
        // Mutable call setting Proxyable.messageSender as this is using call not delegatecall
        target.setMessageSender(msg.sender);

        assembly {
            let free_ptr := mload(0x40)
            calldatacopy(free_ptr, 0, calldatasize)

            /* We must explicitly forward ether to the underlying contract as well. */
            let result := call(gas, sload(target_slot), callvalue, free_ptr, calldatasize, 0, 0)
            returndatacopy(free_ptr, 0, returndatasize)

            if iszero(result) {
                revert(free_ptr, returndatasize)
            }
            return(free_ptr, returndatasize)
        }
    }

    modifier onlyTarget {
        require(Proxyable(msg.sender) == target, "Must be proxy target");
        _;
    }

    event TargetUpdated(Proxyable newTarget);
}


// Inheritance


// Internal references


// https://docs.synthetix.io/contracts/source/contracts/proxyable
contract Proxyable is Owned {
    // This contract should be treated like an abstract contract

    /* The proxy this contract exists behind. */
    Proxy public proxy;
    Proxy public integrationProxy;

    /* The caller of the proxy, passed through to this contract.
     * Note that every function using this member must apply the onlyProxy or
     * optionalProxy modifiers, otherwise their invocations can use stale values. */
    address public messageSender;

    constructor(address payable _proxy) internal {
        // This contract is abstract, and thus cannot be instantiated directly
        require(owner != address(0), "Owner must be set");

        proxy = Proxy(_proxy);
        emit ProxyUpdated(_proxy);
    }

    function setProxy(address payable _proxy) external onlyOwner {
        proxy = Proxy(_proxy);
        emit ProxyUpdated(_proxy);
    }

    function setIntegrationProxy(address payable _integrationProxy) external onlyOwner {
        integrationProxy = Proxy(_integrationProxy);
    }

    function setMessageSender(address sender) external onlyProxy {
        messageSender = sender;
    }

    modifier onlyProxy {
        _onlyProxy();
        _;
    }

    function _onlyProxy() private view {
        require(Proxy(msg.sender) == proxy || Proxy(msg.sender) == integrationProxy, "Only the proxy can call");
    }

    modifier optionalProxy {
        _optionalProxy();
        _;
    }

    function _optionalProxy() private {
        if (Proxy(msg.sender) != proxy && Proxy(msg.sender) != integrationProxy && messageSender != msg.sender) {
            messageSender = msg.sender;
        }
    }

    modifier optionalProxy_onlyOwner {
        _optionalProxy_onlyOwner();
        _;
    }

    // solhint-disable-next-line func-name-mixedcase
    function _optionalProxy_onlyOwner() private {
        if (Proxy(msg.sender) != proxy && Proxy(msg.sender) != integrationProxy && messageSender != msg.sender) {
            messageSender = msg.sender;
        }
        require(messageSender == owner, "Owner only function");
    }

    event ProxyUpdated(address proxyAddress);
}


/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}


// Libraries


// https://docs.synthetix.io/contracts/source/libraries/safedecimalmath
library SafeDecimalMath {
    using SafeMath for uint;

    /* Number of decimal places in the representations. */
    uint8 public constant decimals = 18;
    uint8 public constant highPrecisionDecimals = 27;

    /* The number representing 1.0. */
    uint public constant UNIT = 10**uint(decimals);

    /* The number representing 1.0 for higher fidelity numbers. */
    uint public constant PRECISE_UNIT = 10**uint(highPrecisionDecimals);
    uint private constant UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR = 10**uint(highPrecisionDecimals - decimals);

    /**
     * @return Provides an interface to UNIT.
     */
    function unit() external pure returns (uint) {
        return UNIT;
    }

    /**
     * @return Provides an interface to PRECISE_UNIT.
     */
    function preciseUnit() external pure returns (uint) {
        return PRECISE_UNIT;
    }

    /**
     * @return The result of multiplying x and y, interpreting the operands as fixed-point
     * decimals.
     *
     * @dev A unit factor is divided out after the product of x and y is evaluated,
     * so that product must be less than 2**256. As this is an integer division,
     * the internal division always rounds down. This helps save on gas. Rounding
     * is more expensive on gas.
     */
    function multiplyDecimal(uint x, uint y) internal pure returns (uint) {
        /* Divide by UNIT to remove the extra factor introduced by the product. */
        return x.mul(y) / UNIT;
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of the specified precision unit.
     *
     * @dev The operands should be in the form of a the specified unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function _multiplyDecimalRound(
        uint x,
        uint y,
        uint precisionUnit
    ) private pure returns (uint) {
        /* Divide by UNIT to remove the extra factor introduced by the product. */
        uint quotientTimesTen = x.mul(y) / (precisionUnit / 10);

        if (quotientTimesTen % 10 >= 5) {
            quotientTimesTen += 10;
        }

        return quotientTimesTen / 10;
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of a precise unit.
     *
     * @dev The operands should be in the precise unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function multiplyDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
        return _multiplyDecimalRound(x, y, PRECISE_UNIT);
    }

    /**
     * @return The result of safely multiplying x and y, interpreting the operands
     * as fixed-point decimals of a standard unit.
     *
     * @dev The operands should be in the standard unit factor which will be
     * divided out after the product of x and y is evaluated, so that product must be
     * less than 2**256.
     *
     * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
     * Rounding is useful when you need to retain fidelity for small decimal numbers
     * (eg. small fractions or percentages).
     */
    function multiplyDecimalRound(uint x, uint y) internal pure returns (uint) {
        return _multiplyDecimalRound(x, y, UNIT);
    }

    /**
     * @return The result of safely dividing x and y. The return value is a high
     * precision decimal.
     *
     * @dev y is divided after the product of x and the standard precision unit
     * is evaluated, so the product of x and UNIT must be less than 2**256. As
     * this is an integer division, the result is always rounded down.
     * This helps save on gas. Rounding is more expensive on gas.
     */
    function divideDecimal(uint x, uint y) internal pure returns (uint) {
        /* Reintroduce the UNIT factor that will be divided out by y. */
        return x.mul(UNIT).div(y);
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * decimal in the precision unit specified in the parameter.
     *
     * @dev y is divided after the product of x and the specified precision unit
     * is evaluated, so the product of x and the specified precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function _divideDecimalRound(
        uint x,
        uint y,
        uint precisionUnit
    ) private pure returns (uint) {
        uint resultTimesTen = x.mul(precisionUnit * 10).div(y);

        if (resultTimesTen % 10 >= 5) {
            resultTimesTen += 10;
        }

        return resultTimesTen / 10;
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * standard precision decimal.
     *
     * @dev y is divided after the product of x and the standard precision unit
     * is evaluated, so the product of x and the standard precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function divideDecimalRound(uint x, uint y) internal pure returns (uint) {
        return _divideDecimalRound(x, y, UNIT);
    }

    /**
     * @return The result of safely dividing x and y. The return value is as a rounded
     * high precision decimal.
     *
     * @dev y is divided after the product of x and the high precision unit
     * is evaluated, so the product of x and the high precision unit must
     * be less than 2**256. The result is rounded to the nearest increment.
     */
    function divideDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
        return _divideDecimalRound(x, y, PRECISE_UNIT);
    }

    /**
     * @dev Convert a standard decimal representation to a high precision one.
     */
    function decimalToPreciseDecimal(uint i) internal pure returns (uint) {
        return i.mul(UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR);
    }

    /**
     * @dev Convert a high precision decimal to a standard decimal representation.
     */
    function preciseDecimalToDecimal(uint i) internal pure returns (uint) {
        uint quotientTimesTen = i / (UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR / 10);

        if (quotientTimesTen % 10 >= 5) {
            quotientTimesTen += 10;
        }

        return quotientTimesTen / 10;
    }
}


// Inheritance


// https://docs.synthetix.io/contracts/source/contracts/state
contract State is Owned {
    // the address of the contract that can modify variables
    // this can only be changed by the owner of this contract
    address public associatedContract;

    constructor(address _associatedContract) internal {
        // This contract is abstract, and thus cannot be instantiated directly
        require(owner != address(0), "Owner must be set");

        associatedContract = _associatedContract;
        emit AssociatedContractUpdated(_associatedContract);
    }

    /* ========== SETTERS ========== */

    // Change the associated contract to a new address
    function setAssociatedContract(address _associatedContract) external onlyOwner {
        associatedContract = _associatedContract;
        emit AssociatedContractUpdated(_associatedContract);
    }

    /* ========== MODIFIERS ========== */

    modifier onlyAssociatedContract {
        require(msg.sender == associatedContract, "Only the associated contract can perform this action");
        _;
    }

    /* ========== EVENTS ========== */

    event AssociatedContractUpdated(address associatedContract);
}


// Inheritance


// https://docs.synthetix.io/contracts/source/contracts/tokenstate
contract TokenState is Owned, State {
    /* ERC20 fields. */
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

    constructor(address _owner, address _associatedContract) public Owned(_owner) State(_associatedContract) {}

    /* ========== SETTERS ========== */

    /**
     * @notice Set ERC20 allowance.
     * @dev Only the associated contract may call this.
     * @param tokenOwner The authorising party.
     * @param spender The authorised party.
     * @param value The total value the authorised party may spend on the
     * authorising party's behalf.
     */
    function setAllowance(
        address tokenOwner,
        address spender,
        uint value
    ) external onlyAssociatedContract {
        allowance[tokenOwner][spender] = value;
    }

    /**
     * @notice Set the balance in a given account
     * @dev Only the associated contract may call this.
     * @param account The account whose value to set.
     * @param value The new balance of the given account.
     */
    function setBalanceOf(address account, uint value) external onlyAssociatedContract {
        balanceOf[account] = value;
    }
}


// Inheritance


// Libraries


// Internal references


// https://docs.synthetix.io/contracts/source/contracts/externstatetoken
contract ExternStateToken is Owned, Proxyable {
    using SafeMath for uint;
    using SafeDecimalMath for uint;

    /* ========== STATE VARIABLES ========== */

    /* Stores balances and allowances. */
    TokenState public tokenState;

    /* Other ERC20 fields. */
    string public name;
    string public symbol;
    uint public totalSupply;
    uint8 public decimals;

    constructor(
        address payable _proxy,
        TokenState _tokenState,
        string memory _name,
        string memory _symbol,
        uint _totalSupply,
        uint8 _decimals,
        address _owner
    ) public Owned(_owner) Proxyable(_proxy) {
        tokenState = _tokenState;

        name = _name;
        symbol = _symbol;
        totalSupply = _totalSupply;
        decimals = _decimals;
    }

    /* ========== VIEWS ========== */

    /**
     * @notice Returns the ERC20 allowance of one party to spend on behalf of another.
     * @param owner The party authorising spending of their funds.
     * @param spender The party spending tokenOwner's funds.
     */
    function allowance(address owner, address spender) public view returns (uint) {
        return tokenState.allowance(owner, spender);
    }

    /**
     * @notice Returns the ERC20 token balance of a given account.
     */
    function balanceOf(address account) external view returns (uint) {
        return tokenState.balanceOf(account);
    }

    /* ========== MUTATIVE FUNCTIONS ========== */

    /**
     * @notice Set the address of the TokenState contract.
     * @dev This can be used to "pause" transfer functionality, by pointing the tokenState at 0x000..
     * as balances would be unreachable.
     */
    function setTokenState(TokenState _tokenState) external optionalProxy_onlyOwner {
        tokenState = _tokenState;
        emitTokenStateUpdated(address(_tokenState));
    }

    function _internalTransfer(
        address from,
        address to,
        uint value
    ) internal returns (bool) {
        /* Disallow transfers to irretrievable-addresses. */
        require(to != address(0) && to != address(this) && to != address(proxy), "Cannot transfer to this address");

        // Insufficient balance will be handled by the safe subtraction.
        tokenState.setBalanceOf(from, tokenState.balanceOf(from).sub(value));
        tokenState.setBalanceOf(to, tokenState.balanceOf(to).add(value));

        // Emit a standard ERC20 transfer event
        emitTransfer(from, to, value);

        return true;
    }

    /**
     * @dev Perform an ERC20 token transfer. Designed to be called by transfer functions possessing
     * the onlyProxy or optionalProxy modifiers.
     */
    function _transferByProxy(
        address from,
        address to,
        uint value
    ) internal returns (bool) {
        return _internalTransfer(from, to, value);
    }

    /*
     * @dev Perform an ERC20 token transferFrom. Designed to be called by transferFrom functions
     * possessing the optionalProxy or optionalProxy modifiers.
     */
    function _transferFromByProxy(
        address sender,
        address from,
        address to,
        uint value
    ) internal returns (bool) {
        /* Insufficient allowance will be handled by the safe subtraction. */
        tokenState.setAllowance(from, sender, tokenState.allowance(from, sender).sub(value));
        return _internalTransfer(from, to, value);
    }

    /**
     * @notice Approves spender to transfer on the message sender's behalf.
     */
    function approve(address spender, uint value) public optionalProxy returns (bool) {
        address sender = messageSender;

        tokenState.setAllowance(sender, spender, value);
        emitApproval(sender, spender, value);
        return true;
    }

    /* ========== EVENTS ========== */
    function addressToBytes32(address input) internal pure returns (bytes32) {
        return bytes32(uint256(uint160(input)));
    }

    event Transfer(address indexed from, address indexed to, uint value);
    bytes32 internal constant TRANSFER_SIG = keccak256("Transfer(address,address,uint256)");

    function emitTransfer(
        address from,
        address to,
        uint value
    ) internal {
        proxy._emit(abi.encode(value), 3, TRANSFER_SIG, addressToBytes32(from), addressToBytes32(to), 0);
    }

    event Approval(address indexed owner, address indexed spender, uint value);
    bytes32 internal constant APPROVAL_SIG = keccak256("Approval(address,address,uint256)");

    function emitApproval(
        address owner,
        address spender,
        uint value
    ) internal {
        proxy._emit(abi.encode(value), 3, APPROVAL_SIG, addressToBytes32(owner), addressToBytes32(spender), 0);
    }

    event TokenStateUpdated(address newTokenState);
    bytes32 internal constant TOKENSTATEUPDATED_SIG = keccak256("TokenStateUpdated(address)");

    function emitTokenStateUpdated(address newTokenState) internal {
        proxy._emit(abi.encode(newTokenState), 1, TOKENSTATEUPDATED_SIG, 0, 0, 0);
    }
}


// https://docs.synthetix.io/contracts/source/interfaces/iaddressresolver
interface IAddressResolver {
    function getAddress(bytes32 name) external view returns (address);

    function getSynth(bytes32 key) external view returns (address);

    function requireAndGetAddress(bytes32 name, string calldata reason) external view returns (address);
}


// https://docs.synthetix.io/contracts/source/interfaces/isynth
interface ISynth {
    // Views
    function currencyKey() external view returns (bytes32);

    function transferableSynths(address account) external view returns (uint);

    // Mutative functions
    function transferAndSettle(address to, uint value) external returns (bool);

    function transferFromAndSettle(
        address from,
        address to,
        uint value
    ) external returns (bool);

    // Restricted: used internally to Synthetix
    function burn(address account, uint amount) external;

    function issue(address account, uint amount) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/iissuer
interface IIssuer {
    // Views
    function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid);

    function availableCurrencyKeys() external view returns (bytes32[] memory);

    function availableSynthCount() external view returns (uint);

    function availableSynths(uint index) external view returns (ISynth);

    function canBurnSynths(address account) external view returns (bool);

    function collateral(address account) external view returns (uint);

    function collateralisationRatio(address issuer) external view returns (uint);

    function collateralisationRatioAndAnyRatesInvalid(address _issuer)
        external
        view
        returns (uint cratio, bool anyRateIsInvalid);

    function debtBalanceOf(address issuer, bytes32 currencyKey) external view returns (uint debtBalance);

    function issuanceRatio() external view returns (uint);

    function lastIssueEvent(address account) external view returns (uint);

    function maxIssuableSynths(address issuer) external view returns (uint maxIssuable);

    function minimumStakeTime() external view returns (uint);

    function remainingIssuableSynths(address issuer)
        external
        view
        returns (
            uint maxIssuable,
            uint alreadyIssued,
            uint totalSystemDebt
        );

    function synths(bytes32 currencyKey) external view returns (ISynth);

    function getSynths(bytes32[] calldata currencyKeys) external view returns (ISynth[] memory);

    function synthsByAddress(address synthAddress) external view returns (bytes32);

    function totalIssuedSynths(bytes32 currencyKey, bool excludeEtherCollateral) external view returns (uint);

    function transferableSynthetixAndAnyRateIsInvalid(address account, uint balance)
        external
        view
        returns (uint transferable, bool anyRateIsInvalid);

    // Restricted: used internally to Synthetix
    function issueSynths(address from, uint amount) external;

    function issueSynthsOnBehalf(
        address issueFor,
        address from,
        uint amount
    ) external;

    function issueMaxSynths(address from) external;

    function issueMaxSynthsOnBehalf(address issueFor, address from) external;

    function burnSynths(address from, uint amount) external;

    function burnSynthsOnBehalf(
        address burnForAddress,
        address from,
        uint amount
    ) external;

    function burnSynthsToTarget(address from) external;

    function burnSynthsToTargetOnBehalf(address burnForAddress, address from) external;

    function liquidateDelinquentAccount(
        address account,
        uint zUSDAmount,
        address liquidator
    ) external returns (uint totalRedeemed, uint amountToLiquidate);
}


// Inheritance


// https://docs.synthetix.io/contracts/source/contracts/addressresolver
contract AddressResolver is Owned, IAddressResolver {
    mapping(bytes32 => address) public repository;

    constructor(address _owner) public Owned(_owner) {}

    /* ========== MUTATIVE FUNCTIONS ========== */

    function importAddresses(bytes32[] calldata names, address[] calldata destinations) external onlyOwner {
        require(names.length == destinations.length, "Input lengths must match");

        for (uint i = 0; i < names.length; i++) {
            repository[names[i]] = destinations[i];
        }
    }

    /* ========== VIEWS ========== */

    function getAddress(bytes32 name) external view returns (address) {
        return repository[name];
    }

    function requireAndGetAddress(bytes32 name, string calldata reason) external view returns (address) {
        address _foundAddress = repository[name];
        require(_foundAddress != address(0), reason);
        return _foundAddress;
    }

    function getSynth(bytes32 key) external view returns (address) {
        IIssuer issuer = IIssuer(repository["Issuer"]);
        require(address(issuer) != address(0), "Cannot find Issuer address");
        return address(issuer.synths(key));
    }
}


// Inheritance


// Internal references


// https://docs.synthetix.io/contracts/source/contracts/mixinresolver
contract MixinResolver is Owned {
    AddressResolver public resolver;

    mapping(bytes32 => address) private addressCache;

    bytes32[] public resolverAddressesRequired;

    uint public constant MAX_ADDRESSES_FROM_RESOLVER = 24;

    constructor(address _resolver, bytes32[MAX_ADDRESSES_FROM_RESOLVER] memory _addressesToCache) internal {
        // This contract is abstract, and thus cannot be instantiated directly
        require(owner != address(0), "Owner must be set");

        for (uint i = 0; i < _addressesToCache.length; i++) {
            if (_addressesToCache[i] != bytes32(0)) {
                resolverAddressesRequired.push(_addressesToCache[i]);
            } else {
                // End early once an empty item is found - assumes there are no empty slots in
                // _addressesToCache
                break;
            }
        }
        resolver = AddressResolver(_resolver);
        // Do not sync the cache as addresses may not be in the resolver yet
    }

    /* ========== SETTERS ========== */
    function setResolverAndSyncCache(AddressResolver _resolver) external onlyOwner {
        resolver = _resolver;

        for (uint i = 0; i < resolverAddressesRequired.length; i++) {
            bytes32 name = resolverAddressesRequired[i];
            // Note: can only be invoked once the resolver has all the targets needed added
            addressCache[name] = resolver.requireAndGetAddress(name, "Resolver missing target");
        }
    }

    /* ========== VIEWS ========== */

    function requireAndGetAddress(bytes32 name, string memory reason) internal view returns (address) {
        address _foundAddress = addressCache[name];
        require(_foundAddress != address(0), reason);
        return _foundAddress;
    }

    // Note: this could be made external in a utility contract if addressCache was made public
    // (used for deployment)
    function isResolverCached(AddressResolver _resolver) external view returns (bool) {
        if (resolver != _resolver) {
            return false;
        }

        // otherwise, check everything
        for (uint i = 0; i < resolverAddressesRequired.length; i++) {
            bytes32 name = resolverAddressesRequired[i];
            // false if our cache is invalid or if the resolver doesn't have the required address
            if (resolver.getAddress(name) != addressCache[name] || addressCache[name] == address(0)) {
                return false;
            }
        }

        return true;
    }

    // Note: can be made external into a utility contract (used for deployment)
    function getResolverAddressesRequired()
        external
        view
        returns (bytes32[MAX_ADDRESSES_FROM_RESOLVER] memory addressesRequired)
    {
        for (uint i = 0; i < resolverAddressesRequired.length; i++) {
            addressesRequired[i] = resolverAddressesRequired[i];
        }
    }

    /* ========== INTERNAL FUNCTIONS ========== */
    function appendToAddressCache(bytes32 name) internal {
        resolverAddressesRequired.push(name);
        require(resolverAddressesRequired.length < MAX_ADDRESSES_FROM_RESOLVER, "Max resolver cache size met");
        // Because this is designed to be called internally in constructors, we don't
        // check the address exists already in the resolver
        addressCache[name] = resolver.getAddress(name);
    }
}


interface IVirtualSynth {
    // Views
    function balanceOfUnderlying(address account) external view returns (uint);

    function rate() external view returns (uint);

    function readyToSettle() external view returns (bool);

    function secsLeftInWaitingPeriod() external view returns (uint);

    function settled() external view returns (bool);

    function synth() external view returns (ISynth);

    // Mutative functions
    function settle(address account) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/isynthetix
interface ISynthetix {
    // Views
    function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid);

    function availableCurrencyKeys() external view returns (bytes32[] memory);

    function availableSynthCount() external view returns (uint);

    function availableSynths(uint index) external view returns (ISynth);

    function collateral(address account) external view returns (uint);

    function collateralisationRatio(address issuer) external view returns (uint);

    function debtBalanceOf(address issuer, bytes32 currencyKey) external view returns (uint);

    function isWaitingPeriod(bytes32 currencyKey) external view returns (bool);

    function maxIssuableSynths(address issuer) external view returns (uint maxIssuable);

    function remainingIssuableSynths(address issuer)
        external
        view
        returns (
            uint maxIssuable,
            uint alreadyIssued,
            uint totalSystemDebt
        );

    function synths(bytes32 currencyKey) external view returns (ISynth);

    function synthsByAddress(address synthAddress) external view returns (bytes32);

    function totalIssuedSynths(bytes32 currencyKey) external view returns (uint);

    function totalIssuedSynthsExcludeEtherCollateral(bytes32 currencyKey) external view returns (uint);

    function transferableSynthetix(address account) external view returns (uint transferable);

    // Mutative Functions
    function burnSynths(uint amount) external;

    function burnSynthsOnBehalf(address burnForAddress, uint amount) external;

    function burnSynthsToTarget() external;

    function burnSynthsToTargetOnBehalf(address burnForAddress) external;

    function exchange(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey
    ) external returns (uint amountReceived);

    function exchangeOnBehalf(
        address exchangeForAddress,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey
    ) external returns (uint amountReceived);

    function exchangeWithTracking(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address originator,
        bytes32 trackingCode
    ) external returns (uint amountReceived);

    function exchangeOnBehalfWithTracking(
        address exchangeForAddress,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address originator,
        bytes32 trackingCode
    ) external returns (uint amountReceived);

    function exchangeWithVirtual(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        bytes32 trackingCode
    ) external returns (uint amountReceived, IVirtualSynth vSynth);

    function issueMaxSynths() external;

    function issueMaxSynthsOnBehalf(address issueForAddress) external;

    function issueSynths(uint amount) external;

    function issueSynthsOnBehalf(address issueForAddress, uint amount) external;

    function mint() external returns (bool);

    function settle(bytes32 currencyKey)
        external
        returns (
            uint reclaimed,
            uint refunded,
            uint numEntries
        );

    function liquidateDelinquentAccount(address account, uint zUSDAmount) external returns (bool);

    // Restricted Functions

    function mintSecondary(address account, uint amount) external;

    function mintSecondaryRewards(uint amount) external;

    function burnSecondary(address account, uint amount) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/isynthetixstate
interface ISynthetixState {
    // Views
    function debtLedger(uint index) external view returns (uint);

    function issuanceData(address account) external view returns (uint initialDebtOwnership, uint debtEntryIndex);

    function debtLedgerLength() external view returns (uint);

    function hasIssued(address account) external view returns (bool);

    function lastDebtLedgerEntry() external view returns (uint);

    // Mutative functions
    function incrementTotalIssuerCount() external;

    function decrementTotalIssuerCount() external;

    function setCurrentIssuanceData(address account, uint initialDebtOwnership) external;

    function appendDebtLedgerValue(uint value) external;

    function clearIssuanceData(address account) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/isystemstatus
interface ISystemStatus {
    struct Status {
        bool canSuspend;
        bool canResume;
    }

    struct Suspension {
        bool suspended;
        // reason is an integer code,
        // 0 => no reason, 1 => upgrading, 2+ => defined by system usage
        uint248 reason;
    }

    // Views
    function accessControl(bytes32 section, address account) external view returns (bool canSuspend, bool canResume);

    function requireSystemActive() external view;

    function requireIssuanceActive() external view;

    function requireExchangeActive() external view;

    function requireSynthActive(bytes32 currencyKey) external view;

    function requireSynthsActive(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey) external view;

    function synthSuspension(bytes32 currencyKey) external view returns (bool suspended, uint248 reason);

    // Restricted functions
    function suspendSynth(bytes32 currencyKey, uint256 reason) external;

    function updateAccessControl(
        bytes32 section,
        address account,
        bool canSuspend,
        bool canResume
    ) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/iexchanger
interface IExchanger {
    // Views
    function calculateAmountAfterSettlement(
        address from,
        bytes32 currencyKey,
        uint amount,
        uint refunded
    ) external view returns (uint amountAfterSettlement);

    function isSynthRateInvalid(bytes32 currencyKey) external view returns (bool);

    function maxSecsLeftInWaitingPeriod(address account, bytes32 currencyKey) external view returns (uint);

    function settlementOwing(address account, bytes32 currencyKey)
        external
        view
        returns (
            uint reclaimAmount,
            uint rebateAmount,
            uint numEntries
        );

    function hasWaitingPeriodOrSettlementOwing(address account, bytes32 currencyKey) external view returns (bool);

    function feeRateForExchange(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey)
        external
        view
        returns (uint exchangeFeeRate);

    function getAmountsForExchange(
        uint sourceAmount,
        bytes32 sourceCurrencyKey,
        bytes32 destinationCurrencyKey
    )
        external
        view
        returns (
            uint amountReceived,
            uint fee,
            uint exchangeFeeRate
        );

    function priceDeviationThresholdFactor() external view returns (uint);

    function waitingPeriodSecs() external view returns (uint);

    // Mutative functions
    function exchange(
        address from,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address destinationAddress
    ) external returns (uint amountReceived);

    function exchangeOnBehalf(
        address exchangeForAddress,
        address from,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey
    ) external returns (uint amountReceived);

    function exchangeWithTracking(
        address from,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address destinationAddress,
        address originator,
        bytes32 trackingCode
    ) external returns (uint amountReceived);

    function exchangeOnBehalfWithTracking(
        address exchangeForAddress,
        address from,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address originator,
        bytes32 trackingCode
    ) external returns (uint amountReceived);

    function exchangeWithVirtual(
        address from,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address destinationAddress,
        bytes32 trackingCode
    ) external returns (uint amountReceived, IVirtualSynth vSynth);

    function settle(address from, bytes32 currencyKey)
        external
        returns (
            uint reclaimed,
            uint refunded,
            uint numEntries
        );

    function setLastExchangeRateForSynth(bytes32 currencyKey, uint rate) external;

    function suspendSynthWithInvalidRate(bytes32 currencyKey) external;
}


// https://docs.synthetix.io/contracts/source/interfaces/isupplyschedule
interface ISupplySchedule {
    // Views
    function mintableSupply() external view returns (uint);

    function isMintable() external view returns (bool);

    // Mutative functions
    function recordMintEvent(uint supplyMinted) external returns (bool);
}


// Libraries


// https://docs.synthetix.io/contracts/source/libraries/math
library Math {
    using SafeMath for uint;
    using SafeDecimalMath for uint;

    /**
     * @dev Uses "exponentiation by squaring" algorithm where cost is 0(logN)
     * vs 0(N) for naive repeated multiplication.
     * Calculates x^n with x as fixed-point and n as regular unsigned int.
     * Calculates to 18 digits of precision with SafeDecimalMath.unit()
     */
    function powDecimal(uint x, uint n) internal pure returns (uint) {
        // https://mpark.github.io/programming/2014/08/18/exponentiation-by-squaring/

        uint result = SafeDecimalMath.unit();
        while (n > 0) {
            if (n % 2 != 0) {
                result = result.multiplyDecimal(x);
            }
            x = x.multiplyDecimal(x);
            n /= 2;
        }
        return result;
    }
}


// Inheritance


// Libraries


// Internal references


// https://docs.synthetix.io/contracts/source/contracts/supplyschedule
contract SupplySchedule is Owned, ISupplySchedule {
    using SafeMath for uint;
    using SafeDecimalMath for uint;
    using Math for uint;

    // Time of the last inflation supply mint event
    uint public lastMintEvent;

    // Counter for number of weeks since the start of supply inflation
    uint public weekCounter;

    // The number of SNX rewarded to the caller of Synthetix.mint()
    uint public minterReward = 200 * SafeDecimalMath.unit();

    // The initial weekly inflationary supply is 75m / 52 until the start of the decay rate.
    // 75e6 * SafeDecimalMath.unit() / 52
    uint public constant INITIAL_WEEKLY_SUPPLY = 1442307692307692307692307;

    // Address of the SynthetixProxy for the onlySynthetix modifier
    address payable public synthetixProxy;

    // Max SNX rewards for minter
    uint public constant MAX_MINTER_REWARD = 200 * 1e18;

    // How long each inflation period is before mint can be called
    uint public constant MINT_PERIOD_DURATION = 1 weeks;

    uint public INFLATION_START_DATE = 1672448400; // 2022-12-31T01:00:00+00:00 AMT
    uint public constant MINT_BUFFER = 1 days;
    uint8 public constant SUPPLY_DECAY_START = 40; // Week 40
    uint8 public constant SUPPLY_DECAY_END = 234; //  Supply Decay ends on Week 234 (inclusive of Week 234 for a total of 195 weeks of inflation decay)

    // Weekly percentage decay of inflationary supply from the first 40 weeks of the 75% inflation rate
    uint public constant DECAY_RATE = 12500000000000000; // 1.25% weekly

    // Percentage growth of terminal supply per annum
    uint public constant TERMINAL_SUPPLY_RATE_ANNUAL = 25000000000000000; // 2.5% pa

    constructor(
        address _owner,
        uint _lastMintEvent,
        uint _currentWeek
    ) public Owned(_owner) {
        lastMintEvent = _lastMintEvent;
        weekCounter = _currentWeek;
    }

    // ========== VIEWS ==========

    /**
     * @return The amount of SNX mintable for the inflationary supply
     */
    function mintableSupply() external view returns (uint) {
        uint totalAmount;

        if (!isMintable()) {
            return totalAmount;
        }

        uint remainingWeeksToMint = weeksSinceLastIssuance();

        uint currentWeek = weekCounter;

        // Calculate total mintable supply from exponential decay function
        // The decay function stops after week 234
        while (remainingWeeksToMint > 0) {
            currentWeek++;

            if (currentWeek < SUPPLY_DECAY_START) {
                // If current week is before supply decay we add initial supply to mintableSupply
                totalAmount = totalAmount.add(INITIAL_WEEKLY_SUPPLY);
                remainingWeeksToMint--;
            } else if (currentWeek <= SUPPLY_DECAY_END) {
                // if current week before supply decay ends we add the new supply for the week
                // diff between current week and (supply decay start week - 1)
                uint decayCount = currentWeek.sub(SUPPLY_DECAY_START - 1);

                totalAmount = totalAmount.add(tokenDecaySupplyForWeek(decayCount));
                remainingWeeksToMint--;
            } else {
                // Terminal supply is calculated on the total supply of Synthetix including any new supply
                // We can compound the remaining week's supply at the fixed terminal rate
                uint totalSupply = IERC20(synthetixProxy).totalSupply();
                uint currentTotalSupply = totalSupply.add(totalAmount);

                totalAmount = totalAmount.add(terminalInflationSupply(currentTotalSupply, remainingWeeksToMint));
                remainingWeeksToMint = 0;
            }
        }

        return totalAmount;
    }

    /**
     * @return A unit amount of decaying inflationary supply from the INITIAL_WEEKLY_SUPPLY
     * @dev New token supply reduces by the decay rate each week calculated as supply = INITIAL_WEEKLY_SUPPLY * ()
     */
    function tokenDecaySupplyForWeek(uint counter) public pure returns (uint) {
        // Apply exponential decay function to number of weeks since
        // start of inflation smoothing to calculate diminishing supply for the week.
        uint effectiveDecay = (SafeDecimalMath.unit().sub(DECAY_RATE)).powDecimal(counter);
        uint supplyForWeek = INITIAL_WEEKLY_SUPPLY.multiplyDecimal(effectiveDecay);

        return supplyForWeek;
    }

    /**
     * @return A unit amount of terminal inflation supply
     * @dev Weekly compound rate based on number of weeks
     */
    function terminalInflationSupply(uint totalSupply, uint numOfWeeks) public pure returns (uint) {
        // rate = (1 + weekly rate) ^ num of weeks
        uint effectiveCompoundRate = SafeDecimalMath.unit().add(TERMINAL_SUPPLY_RATE_ANNUAL.div(52)).powDecimal(numOfWeeks);

        // return Supply * (effectiveRate - 1) for extra supply to issue based on number of weeks
        return totalSupply.multiplyDecimal(effectiveCompoundRate.sub(SafeDecimalMath.unit()));
    }

    /**
     * @dev Take timeDiff in seconds (Dividend) and MINT_PERIOD_DURATION as (Divisor)
     * @return Calculate the numberOfWeeks since last mint rounded down to 1 week
     */
    function weeksSinceLastIssuance() public view returns (uint) {
        // Get weeks since lastMintEvent
        // If lastMintEvent not set or 0, then start from inflation start date.
        uint timeDiff = lastMintEvent > 0 ? now.sub(lastMintEvent) : now.sub(INFLATION_START_DATE);
        return timeDiff.div(MINT_PERIOD_DURATION);
    }

    /**
     * @return boolean whether the MINT_PERIOD_DURATION (7 days)
     * has passed since the lastMintEvent.
     * */
    function isMintable() public view returns (bool) {
        if (now - lastMintEvent > MINT_PERIOD_DURATION) {
            return true;
        }
        return false;
    }

    // ========== MUTATIVE FUNCTIONS ==========

    /**
     * @notice Record the mint event from Synthetix by incrementing the inflation
     * week counter for the number of weeks minted (probabaly always 1)
     * and store the time of the event.
     * @param supplyMinted the amount of SNX the total supply was inflated by.
     * */
    function recordMintEvent(uint supplyMinted) external onlySynthetix returns (bool) {
        uint numberOfWeeksIssued = weeksSinceLastIssuance();

        // add number of weeks minted to weekCounter
        weekCounter = weekCounter.add(numberOfWeeksIssued);

        // Update mint event to latest week issued (start date + number of weeks issued * seconds in week)
        // 1 day time buffer is added so inflation is minted after feePeriod closes
        lastMintEvent = INFLATION_START_DATE.add(weekCounter.mul(MINT_PERIOD_DURATION)).add(MINT_BUFFER);

        emit SupplyMinted(supplyMinted, numberOfWeeksIssued, lastMintEvent, now);
        return true;
    }

    /**
     * @notice Sets the reward amount of SNX for the caller of the public
     * function Synthetix.mint().
     * This incentivises anyone to mint the inflationary supply and the mintr
     * Reward will be deducted from the inflationary supply and sent to the caller.
     * @param amount the amount of SNX to reward the minter.
     * */
    function setMinterReward(uint amount) external onlyOwner {
        require(amount <= MAX_MINTER_REWARD, "Reward cannot exceed max minter reward");
        minterReward = amount;
        emit MinterRewardUpdated(minterReward);
    }

    function setStartDate(uint _date) external onlyOwner {
        INFLATION_START_DATE = _date;
    }

    // ========== SETTERS ========== */

    /**
     * @notice Set the SynthetixProxy should it ever change.
     * SupplySchedule requires Synthetix address as it has the authority
     * to record mint event.
     * */
    function setSynthetixProxy(ISynthetix _synthetixProxy) external onlyOwner {
        require(address(_synthetixProxy) != address(0), "Address cannot be 0");
        synthetixProxy = address(uint160(address(_synthetixProxy)));
        emit SynthetixProxyUpdated(synthetixProxy);
    }

    // ========== MODIFIERS ==========

    /**
     * @notice Only the Synthetix contract is authorised to call this function
     * */
    modifier onlySynthetix() {
        require(
            msg.sender == address(Proxy(address(synthetixProxy)).target()),
            "Only the synthetix contract can perform this action"
        );
        _;
    }

    /* ========== EVENTS ========== */
    /**
     * @notice Emitted when the inflationary supply is minted
     * */
    event SupplyMinted(uint supplyMinted, uint numberOfWeeksIssued, uint lastMintEvent, uint timestamp);

    /**
     * @notice Emitted when the SNX minter reward amount is updated
     * */
    event MinterRewardUpdated(uint newRewardAmount);

    /**
     * @notice Emitted when setSynthetixProxy is called changing the Synthetix Proxy address
     * */
    event SynthetixProxyUpdated(address newAddress);
}


// https://docs.synthetix.io/contracts/source/interfaces/irewardsdistribution
interface IRewardsDistribution {
    // Structs
    struct DistributionData {
        address destination;
        uint amount;
    }

    // Views
    function authority() external view returns (address);

    function distributions(uint index) external view returns (address destination, uint amount); // DistributionData

    function distributionsLength() external view returns (uint);

    // Mutative Functions
    function distributeRewards(uint amount) external returns (bool);
}


// Inheritance


// Internal references


contract BaseSynthetix is IERC20, ExternStateToken, MixinResolver, ISynthetix {
    // ========== STATE VARIABLES ==========

    // Available Synths which can be used with the system
    string public constant TOKEN_NAME = "Horizon Protocol";
    string public constant TOKEN_SYMBOL = "HZN";
    uint8 public constant DECIMALS = 18;
    bytes32 public constant zUSD = "zUSD";

    /* ========== ADDRESS RESOLVER CONFIGURATION ========== */

    bytes32 private constant CONTRACT_SYNTHETIXSTATE = "SynthetixState";
    bytes32 private constant CONTRACT_SYSTEMSTATUS = "SystemStatus";
    bytes32 private constant CONTRACT_EXCHANGER = "Exchanger";
    bytes32 private constant CONTRACT_ISSUER = "Issuer";
    bytes32 private constant CONTRACT_SUPPLYSCHEDULE = "SupplySchedule";
    bytes32 private constant CONTRACT_REWARDSDISTRIBUTION = "RewardsDistribution";

    bytes32[24] private addressesToCache = [
        CONTRACT_SYSTEMSTATUS,
        CONTRACT_EXCHANGER,
        CONTRACT_ISSUER,
        CONTRACT_SUPPLYSCHEDULE,
        CONTRACT_REWARDSDISTRIBUTION,
        CONTRACT_SYNTHETIXSTATE
    ];

    // ========== CONSTRUCTOR ==========

    constructor(
        address payable _proxy,
        TokenState _tokenState,
        address _owner,
        uint _totalSupply,
        address _resolver
    )
        public
        ExternStateToken(_proxy, _tokenState, TOKEN_NAME, TOKEN_SYMBOL, _totalSupply, DECIMALS, _owner)
        MixinResolver(_resolver, addressesToCache)
    {}

    /* ========== VIEWS ========== */

    function synthetixState() internal view returns (ISynthetixState) {
        return ISynthetixState(requireAndGetAddress(CONTRACT_SYNTHETIXSTATE, "Missing HorizonState address"));
    }

    function systemStatus() internal view returns (ISystemStatus) {
        return ISystemStatus(requireAndGetAddress(CONTRACT_SYSTEMSTATUS, "Missing SystemStatus address"));
    }

    function exchanger() internal view returns (IExchanger) {
        return IExchanger(requireAndGetAddress(CONTRACT_EXCHANGER, "Missing Exchanger address"));
    }

    function issuer() internal view returns (IIssuer) {
        return IIssuer(requireAndGetAddress(CONTRACT_ISSUER, "Missing Issuer address"));
    }

    function supplySchedule() internal view returns (SupplySchedule) {
        return SupplySchedule(requireAndGetAddress(CONTRACT_SUPPLYSCHEDULE, "Missing SupplySchedule address"));
    }

    function rewardsDistribution() internal view returns (IRewardsDistribution) {
        return
            IRewardsDistribution(requireAndGetAddress(CONTRACT_REWARDSDISTRIBUTION, "Missing RewardsDistribution address"));
    }

    function debtBalanceOf(address account, bytes32 currencyKey) external view returns (uint) {
        return issuer().debtBalanceOf(account, currencyKey);
    }

    function totalIssuedSynths(bytes32 currencyKey) external view returns (uint) {
        return issuer().totalIssuedSynths(currencyKey, false);
    }

    function totalIssuedSynthsExcludeEtherCollateral(bytes32 currencyKey) external view returns (uint) {
        return issuer().totalIssuedSynths(currencyKey, true);
    }

    function availableCurrencyKeys() external view returns (bytes32[] memory) {
        return issuer().availableCurrencyKeys();
    }

    function availableSynthCount() external view returns (uint) {
        return issuer().availableSynthCount();
    }

    function availableSynths(uint index) external view returns (ISynth) {
        return issuer().availableSynths(index);
    }

    function synths(bytes32 currencyKey) external view returns (ISynth) {
        return issuer().synths(currencyKey);
    }

    function synthsByAddress(address synthAddress) external view returns (bytes32) {
        return issuer().synthsByAddress(synthAddress);
    }

    function isWaitingPeriod(bytes32 currencyKey) external view returns (bool) {
        return exchanger().maxSecsLeftInWaitingPeriod(messageSender, currencyKey) > 0;
    }

    function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid) {
        return issuer().anySynthOrSNXRateIsInvalid();
    }

    function maxIssuableSynths(address account) external view returns (uint maxIssuable) {
        return issuer().maxIssuableSynths(account);
    }

    function remainingIssuableSynths(address account)
        external
        view
        returns (
            uint maxIssuable,
            uint alreadyIssued,
            uint totalSystemDebt
        )
    {
        return issuer().remainingIssuableSynths(account);
    }

    function collateralisationRatio(address _issuer) external view returns (uint) {
        return issuer().collateralisationRatio(_issuer);
    }

    function collateral(address account) external view returns (uint) {
        return issuer().collateral(account);
    }

    function transferableSynthetix(address account) external view returns (uint transferable) {
        (transferable, ) = issuer().transferableSynthetixAndAnyRateIsInvalid(account, tokenState.balanceOf(account));
    }

    function _canTransfer(address account, uint value) internal view returns (bool) {
        (uint initialDebtOwnership, ) = synthetixState().issuanceData(account);

        if (initialDebtOwnership > 0) {
            (uint transferable, bool anyRateIsInvalid) = issuer().transferableSynthetixAndAnyRateIsInvalid(
                account,
                tokenState.balanceOf(account)
            );
            require(value <= transferable, "Cannot transfer staked or escrowed HZN");
            require(!anyRateIsInvalid, "A zasset or HZN rate is invalid");
        }
        return true;
    }

    // ========== MUTATIVE FUNCTIONS ==========

    function transfer(address to, uint value) external optionalProxy systemActive returns (bool) {
        // Ensure they're not trying to exceed their locked amount -- only if they have debt.
        _canTransfer(messageSender, value);

        // Perform the transfer: if there is a problem an exception will be thrown in this call.
        _transferByProxy(messageSender, to, value);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint value
    ) external optionalProxy systemActive returns (bool) {
        // Ensure they're not trying to exceed their locked amount -- only if they have debt.
        _canTransfer(from, value);

        // Perform the transfer: if there is a problem,
        // an exception will be thrown in this call.
        return _transferFromByProxy(messageSender, from, to, value);
    }

    function issueSynths(uint amount) external issuanceActive optionalProxy {
        return issuer().issueSynths(messageSender, amount);
    }

    function issueSynthsOnBehalf(address issueForAddress, uint amount) external issuanceActive optionalProxy {
        return issuer().issueSynthsOnBehalf(issueForAddress, messageSender, amount);
    }

    function issueMaxSynths() external issuanceActive optionalProxy {
        return issuer().issueMaxSynths(messageSender);
    }

    function issueMaxSynthsOnBehalf(address issueForAddress) external issuanceActive optionalProxy {
        return issuer().issueMaxSynthsOnBehalf(issueForAddress, messageSender);
    }

    function burnSynths(uint amount) external issuanceActive optionalProxy {
        return issuer().burnSynths(messageSender, amount);
    }

    function burnSynthsOnBehalf(address burnForAddress, uint amount) external issuanceActive optionalProxy {
        return issuer().burnSynthsOnBehalf(burnForAddress, messageSender, amount);
    }

    function burnSynthsToTarget() external issuanceActive optionalProxy {
        return issuer().burnSynthsToTarget(messageSender);
    }

    function burnSynthsToTargetOnBehalf(address burnForAddress) external issuanceActive optionalProxy {
        return issuer().burnSynthsToTargetOnBehalf(burnForAddress, messageSender);
    }

    function exchange(
        bytes32,
        uint,
        bytes32
    ) external returns (uint) {
        _notImplemented();
    }

    function exchangeOnBehalf(
        address,
        bytes32,
        uint,
        bytes32
    ) external returns (uint) {
        _notImplemented();
    }

    function exchangeWithTracking(
        bytes32,
        uint,
        bytes32,
        address,
        bytes32
    ) external returns (uint) {
        _notImplemented();
    }

    function exchangeOnBehalfWithTracking(
        address,
        bytes32,
        uint,
        bytes32,
        address,
        bytes32
    ) external returns (uint) {
        _notImplemented();
    }

    function exchangeWithVirtual(
        bytes32,
        uint,
        bytes32,
        bytes32
    ) external returns (uint, IVirtualSynth) {
        _notImplemented();
    }

    function settle(bytes32)
        external
        returns (
            uint,
            uint,
            uint
        )
    {
        _notImplemented();
    }

    function mint() external returns (bool) {
        _notImplemented();
    }

    function liquidateDelinquentAccount(address, uint) external returns (bool) {
        _notImplemented();
    }

    function mintSecondary(address, uint) external {
        _notImplemented();
    }

    function mintSecondaryRewards(uint) external {
        _notImplemented();
    }

    function burnSecondary(address, uint) external {
        _notImplemented();
    }

    function _notImplemented() internal pure {
        revert("Cannot be run on this layer");
    }

    // ========== MODIFIERS ==========

    modifier onlyExchanger() {
        require(msg.sender == address(exchanger()), "Only Exchanger can invoke this");
        _;
    }

    modifier systemActive() {
        systemStatus().requireSystemActive();
        _;
    }

    modifier issuanceActive() {
        systemStatus().requireIssuanceActive();
        _;
    }

    modifier exchangeActive(bytes32 src, bytes32 dest) {
        systemStatus().requireExchangeActive();
        systemStatus().requireSynthsActive(src, dest);
        _;
    }
}


// Inheritance


// https://docs.synthetix.io/contracts/source/contracts/synthetix
contract Synthetix is BaseSynthetix {
    // ========== CONSTRUCTOR ==========

    constructor(
        address payable _proxy,
        TokenState _tokenState,
        address _owner,
        uint _totalSupply,
        address _resolver
    ) public BaseSynthetix(_proxy, _tokenState, _owner, _totalSupply, _resolver) {}

    // ========== OVERRIDDEN FUNCTIONS ==========

    function exchange(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey
    ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
        return exchanger().exchange(messageSender, sourceCurrencyKey, sourceAmount, destinationCurrencyKey, messageSender);
    }

    function exchangeOnBehalf(
        address exchangeForAddress,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey
    ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
        return
            exchanger().exchangeOnBehalf(
                exchangeForAddress,
                messageSender,
                sourceCurrencyKey,
                sourceAmount,
                destinationCurrencyKey
            );
    }

    function exchangeWithTracking(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address originator,
        bytes32 trackingCode
    ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
        return
            exchanger().exchangeWithTracking(
                messageSender,
                sourceCurrencyKey,
                sourceAmount,
                destinationCurrencyKey,
                messageSender,
                originator,
                trackingCode
            );
    }

    function exchangeOnBehalfWithTracking(
        address exchangeForAddress,
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        address originator,
        bytes32 trackingCode
    ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
        return
            exchanger().exchangeOnBehalfWithTracking(
                exchangeForAddress,
                messageSender,
                sourceCurrencyKey,
                sourceAmount,
                destinationCurrencyKey,
                originator,
                trackingCode
            );
    }

    function exchangeWithVirtual(
        bytes32 sourceCurrencyKey,
        uint sourceAmount,
        bytes32 destinationCurrencyKey,
        bytes32 trackingCode
    )
        external
        exchangeActive(sourceCurrencyKey, destinationCurrencyKey)
        optionalProxy
        returns (uint amountReceived, IVirtualSynth vSynth)
    {
        return
            exchanger().exchangeWithVirtual(
                messageSender,
                sourceCurrencyKey,
                sourceAmount,
                destinationCurrencyKey,
                messageSender,
                trackingCode
            );
    }

    function settle(bytes32 currencyKey)
        external
        optionalProxy
        returns (
            uint reclaimed,
            uint refunded,
            uint numEntriesSettled
        )
    {
        return exchanger().settle(messageSender, currencyKey);
    }

    function mint() external issuanceActive returns (bool) {
        require(address(rewardsDistribution()) != address(0), "RewardsDistribution not set");

        SupplySchedule _supplySchedule = supplySchedule();
        IRewardsDistribution _rewardsDistribution = rewardsDistribution();

        uint supplyToMint = _supplySchedule.mintableSupply();
        require(supplyToMint > 0, "No supply is mintable");

        // record minting event before mutation to token supply
        _supplySchedule.recordMintEvent(supplyToMint);

        // Set minted HZN balance to RewardEscrow's balance
        // Minus the minterReward and set balance of minter to add reward
        uint minterReward = _supplySchedule.minterReward();
        // Get the remainder
        uint amountToDistribute = supplyToMint.sub(minterReward);

        // Set the token balance to the RewardsDistribution contract
        tokenState.setBalanceOf(
            address(_rewardsDistribution),
            tokenState.balanceOf(address(_rewardsDistribution)).add(amountToDistribute)
        );
        emitTransfer(address(this), address(_rewardsDistribution), amountToDistribute);

        // Kick off the distribution of rewards
        _rewardsDistribution.distributeRewards(amountToDistribute);

        // Assign the minters reward.
        tokenState.setBalanceOf(msg.sender, tokenState.balanceOf(msg.sender).add(minterReward));
        emitTransfer(address(this), msg.sender, minterReward);

        totalSupply = totalSupply.add(supplyToMint);

        return true;
    }

    function liquidateDelinquentAccount(address account, uint zUSDAmount)
        external
        systemActive
        optionalProxy
        returns (bool)
    {
        (uint totalRedeemed, uint amountLiquidated) = issuer().liquidateDelinquentAccount(
            account,
            zUSDAmount,
            messageSender
        );

        emitAccountLiquidated(account, totalRedeemed, amountLiquidated, messageSender);

        // Transfer HZN redeemed to messageSender
        // Reverts if amount to redeem is more than balanceOf account, ie due to escrowed balance
        return _transferByProxy(account, messageSender, totalRedeemed);
    }

    // ========== EVENTS ==========
    event SynthExchange(
        address indexed account,
        bytes32 fromCurrencyKey,
        uint256 fromAmount,
        bytes32 toCurrencyKey,
        uint256 toAmount,
        address toAddress
    );
    bytes32 internal constant SYNTHEXCHANGE_SIG = keccak256(
        "SynthExchange(address,bytes32,uint256,bytes32,uint256,address)"
    );

    function emitSynthExchange(
        address account,
        bytes32 fromCurrencyKey,
        uint256 fromAmount,
        bytes32 toCurrencyKey,
        uint256 toAmount,
        address toAddress
    ) external onlyExchanger {
        proxy._emit(
            abi.encode(fromCurrencyKey, fromAmount, toCurrencyKey, toAmount, toAddress),
            2,
            SYNTHEXCHANGE_SIG,
            addressToBytes32(account),
            0,
            0
        );
    }

    event ExchangeTracking(bytes32 indexed trackingCode, bytes32 toCurrencyKey, uint256 toAmount);
    bytes32 internal constant EXCHANGE_TRACKING_SIG = keccak256("ExchangeTracking(bytes32,bytes32,uint256)");

    function emitExchangeTracking(
        bytes32 trackingCode,
        bytes32 toCurrencyKey,
        uint256 toAmount
    ) external onlyExchanger {
        proxy._emit(abi.encode(toCurrencyKey, toAmount), 2, EXCHANGE_TRACKING_SIG, trackingCode, 0, 0);
    }

    event ExchangeReclaim(address indexed account, bytes32 currencyKey, uint amount);
    bytes32 internal constant EXCHANGERECLAIM_SIG = keccak256("ExchangeReclaim(address,bytes32,uint256)");

    function emitExchangeReclaim(
        address account,
        bytes32 currencyKey,
        uint256 amount
    ) external onlyExchanger {
        proxy._emit(abi.encode(currencyKey, amount), 2, EXCHANGERECLAIM_SIG, addressToBytes32(account), 0, 0);
    }

    event ExchangeRebate(address indexed account, bytes32 currencyKey, uint amount);
    bytes32 internal constant EXCHANGEREBATE_SIG = keccak256("ExchangeRebate(address,bytes32,uint256)");

    function emitExchangeRebate(
        address account,
        bytes32 currencyKey,
        uint256 amount
    ) external onlyExchanger {
        proxy._emit(abi.encode(currencyKey, amount), 2, EXCHANGEREBATE_SIG, addressToBytes32(account), 0, 0);
    }

    event AccountLiquidated(address indexed account, uint hznRedeemed, uint amountLiquidated, address liquidator);
    bytes32 internal constant ACCOUNTLIQUIDATED_SIG = keccak256("AccountLiquidated(address,uint256,uint256,address)");

    function emitAccountLiquidated(
        address account,
        uint256 hznRedeemed,
        uint256 amountLiquidated,
        address liquidator
    ) internal {
        proxy._emit(
            abi.encode(hznRedeemed, amountLiquidated, liquidator),
            2,
            ACCOUNTLIQUIDATED_SIG,
            addressToBytes32(account),
            0,
            0
        );
    }
}

Contract ABI

[{"inputs":[{"internalType":"address payable","name":"_proxy","type":"address"},{"internalType":"contract TokenState","name":"_tokenState","type":"address"},{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"_totalSupply","type":"uint256"},{"internalType":"address","name":"_resolver","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"hznRedeemed","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountLiquidated","type":"uint256"},{"indexed":false,"internalType":"address","name":"liquidator","type":"address"}],"name":"AccountLiquidated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bytes32","name":"currencyKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ExchangeRebate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bytes32","name":"currencyKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"ExchangeReclaim","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"trackingCode","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"toCurrencyKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"toAmount","type":"uint256"}],"name":"ExchangeTracking","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"oldOwner","type":"address"},{"indexed":false,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerNominated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"proxyAddress","type":"address"}],"name":"ProxyUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bytes32","name":"fromCurrencyKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"fromAmount","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"toCurrencyKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"toAmount","type":"uint256"},{"indexed":false,"internalType":"address","name":"toAddress","type":"address"}],"name":"SynthExchange","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"newTokenState","type":"address"}],"name":"TokenStateUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"DECIMALS","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAX_ADDRESSES_FROM_RESOLVER","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_NAME","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_SYMBOL","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"anySynthOrSNXRateIsInvalid","outputs":[{"internalType":"bool","name":"anyRateInvalid","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"availableCurrencyKeys","outputs":[{"internalType":"bytes32[]","name":"","type":"bytes32[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"availableSynthCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"availableSynths","outputs":[{"internalType":"contract ISynth","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"burnSecondary","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnSynths","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"burnForAddress","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnSynthsOnBehalf","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"burnSynthsToTarget","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"burnForAddress","type":"address"}],"name":"burnSynthsToTargetOnBehalf","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"collateral","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_issuer","type":"address"}],"name":"collateralisationRatio","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"debtBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"currencyKey","type":"bytes32"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"emitExchangeRebate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"currencyKey","type":"bytes32"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"emitExchangeReclaim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"trackingCode","type":"bytes32"},{"internalType":"bytes32","name":"toCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"toAmount","type":"uint256"}],"name":"emitExchangeTracking","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"fromCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"fromAmount","type":"uint256"},{"internalType":"bytes32","name":"toCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"toAmount","type":"uint256"},{"internalType":"address","name":"toAddress","type":"address"}],"name":"emitSynthExchange","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"sourceCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"sourceAmount","type":"uint256"},{"internalType":"bytes32","name":"destinationCurrencyKey","type":"bytes32"}],"name":"exchange","outputs":[{"internalType":"uint256","name":"amountReceived","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"exchangeForAddress","type":"address"},{"internalType":"bytes32","name":"sourceCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"sourceAmount","type":"uint256"},{"internalType":"bytes32","name":"destinationCurrencyKey","type":"bytes32"}],"name":"exchangeOnBehalf","outputs":[{"internalType":"uint256","name":"amountReceived","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"exchangeForAddress","type":"address"},{"internalType":"bytes32","name":"sourceCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"sourceAmount","type":"uint256"},{"internalType":"bytes32","name":"destinationCurrencyKey","type":"bytes32"},{"internalType":"address","name":"originator","type":"address"},{"internalType":"bytes32","name":"trackingCode","type":"bytes32"}],"name":"exchangeOnBehalfWithTracking","outputs":[{"internalType":"uint256","name":"amountReceived","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"sourceCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"sourceAmount","type":"uint256"},{"internalType":"bytes32","name":"destinationCurrencyKey","type":"bytes32"},{"internalType":"address","name":"originator","type":"address"},{"internalType":"bytes32","name":"trackingCode","type":"bytes32"}],"name":"exchangeWithTracking","outputs":[{"internalType":"uint256","name":"amountReceived","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"sourceCurrencyKey","type":"bytes32"},{"internalType":"uint256","name":"sourceAmount","type":"uint256"},{"internalType":"bytes32","name":"destinationCurrencyKey","type":"bytes32"},{"internalType":"bytes32","name":"trackingCode","type":"bytes32"}],"name":"exchangeWithVirtual","outputs":[{"internalType":"uint256","name":"amountReceived","type":"uint256"},{"internalType":"contract IVirtualSynth","name":"vSynth","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getResolverAddressesRequired","outputs":[{"internalType":"bytes32[24]","name":"addressesRequired","type":"bytes32[24]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"integrationProxy","outputs":[{"internalType":"contract Proxy","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"contract AddressResolver","name":"_resolver","type":"address"}],"name":"isResolverCached","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"isWaitingPeriod","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"issueMaxSynths","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"issueForAddress","type":"address"}],"name":"issueMaxSynthsOnBehalf","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"issueSynths","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"issueForAddress","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"issueSynthsOnBehalf","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"zUSDAmount","type":"uint256"}],"name":"liquidateDelinquentAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"maxIssuableSynths","outputs":[{"internalType":"uint256","name":"maxIssuable","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"messageSender","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"mintSecondary","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"mintSecondaryRewards","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"nominateNewOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"nominatedOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"proxy","outputs":[{"internalType":"contract Proxy","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"remainingIssuableSynths","outputs":[{"internalType":"uint256","name":"maxIssuable","type":"uint256"},{"internalType":"uint256","name":"alreadyIssued","type":"uint256"},{"internalType":"uint256","name":"totalSystemDebt","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"resolver","outputs":[{"internalType":"contract AddressResolver","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"resolverAddressesRequired","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"_integrationProxy","type":"address"}],"name":"setIntegrationProxy","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"setMessageSender","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"_proxy","type":"address"}],"name":"setProxy","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"contract AddressResolver","name":"_resolver","type":"address"}],"name":"setResolverAndSyncCache","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"contract TokenState","name":"_tokenState","type":"address"}],"name":"setTokenState","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"settle","outputs":[{"internalType":"uint256","name":"reclaimed","type":"uint256"},{"internalType":"uint256","name":"refunded","type":"uint256"},{"internalType":"uint256","name":"numEntriesSettled","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"synths","outputs":[{"internalType":"contract ISynth","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"synthAddress","type":"address"}],"name":"synthsByAddress","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenState","outputs":[{"internalType":"contract TokenState","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"totalIssuedSynths","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"currencyKey","type":"bytes32"}],"name":"totalIssuedSynthsExcludeEtherCollateral","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"transferableSynthetix","outputs":[{"internalType":"uint256","name":"transferable","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"zUSD","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"}]

6101406040526b53797374656d53746174757360a01b60809081526822bc31b430b733b2b960b91b60a0526524b9b9bab2b960d11b60c0526d537570706c795363686564756c6560901b60e0527f52657761726473446973747269627574696f6e00000000000000000000000000610100526d53796e746865746978537461746560901b610120526200009790600c90600662000437565b50348015620000a557600080fd5b5060405162004d6f38038062004d6f833981810160405260a0811015620000cb57600080fd5b508051602082015160408084015160608501516080909501518251610300810190935293949293909291859085908590859085908190600c60188282826020028201915b8154815260200190600101908083116200010f57505050505086866040518060400160405280601081526020016f121bdc9a5e9bdb88141c9bdd1bd8dbdb60821b81525060405180604001604052806003815260200162242d2760e91b8152508760128a868160006001600160a01b0316816001600160a01b03161415620001de576040805162461bcd60e51b815260206004820152601960248201527f4f776e657220616464726573732063616e6e6f74206265203000000000000000604482015290519081900360640190fd5b600080546001600160a01b0319166001600160a01b038316908117825560408051928352602083019190915280517fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c9281900390910190a1506000546001600160a01b031662000289576040805162461bcd60e51b815260206004820152601160248201527013dddb995c881b5d5cdd081899481cd95d607a1b604482015290519081900360640190fd5b600280546001600160a01b0383166001600160a01b0319909116811790915560408051918252517ffc80377ca9c49cc11ae6982f390a42db976d5530af7c43889264b13fbbd7c57e9181900360200190a150600580546001600160a01b0319166001600160a01b03881617905584516200030b9060069060208801906200047a565b508351620003219060079060208701906200047a565b50506008919091556009805460ff191660ff90921691909117905550506000546001600160a01b031615159150620003969050576040805162461bcd60e51b815260206004820152601160248201527013dddb995c881b5d5cdd081899481cd95d607a1b604482015290519081900360640190fd5b60005b6018811015620003fe576000828260188110620003b257fe5b602002015114620003ef57600b828260188110620003cc57fe5b6020908102919091015182546001810184556000938452919092200155620003f5565b620003fe565b60010162000399565b5050600980546001600160a01b0390921661010002610100600160a81b0319909216919091179055506200050c98505050505050505050565b826018810192821562000468579160200282015b82811115620004685782518255916020019190600101906200044b565b5062000476929150620004ec565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620004bd57805160ff191683800117855562000468565b82800160010185558215620004685791820182811115620004685782518255916020019190600101906200044b565b6200050991905b80821115620004765760008155600101620004f3565b90565b614853806200051c6000396000f3fe608060405234801561001057600080fd5b50600436106104075760003560e01c8063835e119c11610220578063bc67f83211610130578063dd62ed3e116100b8578063e8e09b8b11610087578063e8e09b8b14610cff578063e90dd9e214610d2b578063ec55688914610d33578063edef719a146107ee578063ee52a2f314610d3b57610407565b8063dd62ed3e14610c74578063ddd03a3f14610ca2578063e3235c9114610ccb578063e6203ed114610cd357610407565b8063d37c4d8b116100ff578063d37c4d8b14610bfe578063d60888e414610c2a578063d67bdd2514610c47578063d8a1f76f14610c4f578063dbf6334014610c6c57610407565b8063bc67f83214610b57578063c2bf388014610b7d578063c6c9d82814610ba9578063c836fa0a14610bc657610407565b8063987757dd116101b3578063a5fdc5de11610182578063a5fdc5de14610a8a578063a9059cbb14610ab0578063ab49848c14610adc578063ace88afd14610b1d578063af086c7e14610b4f57610407565b8063987757dd14610a195780639cbdaeb614610a365780639f76980714610a3e578063a311c7c214610a6457610407565b806391e56b68116101ef57806391e56b681461099d57806395d89b41146109e357806397107d6d146109eb5780639741fb2214610a1157610407565b8063835e119c1461093e57806383d625d41461095b5780638a290014146109785780638da5cb5b1461099557610407565b80632c955fa71161031b57806353a47bb7116102ae5780636c00f3101161027d5780636c00f310146108405780636f01a9861461088657806370a08231146108b857806372cb051f146108de57806379ba50971461093657610407565b806353a47bb7146107c0578063631e1444146107c8578063666ed4f1146107ee5780636ac0bf9c1461081a57610407565b8063320223db116102ea578063320223db1461074f57806332608039146107755780633be99e6f146107925780634e99bda9146107b857610407565b80632c955fa7146106c55780632e0f2625146106eb57806330ead76014610709578063313ce5671461074757610407565b80631627540c1161039e5780631a34e6ff1161036d5780631a34e6ff146106455780631fce304d1461064d57806323b872dd1461066a578063295da87d146106a05780632a905318146106bd57610407565b80631627540c146105e957806316b2213f1461060f57806318160ddd14610635578063188214001461063d57610407565b80630e30963c116103da5780630e30963c146105255780631137aedf146105755780631249c58b146105b9578063131b0ae7146105c157610407565b806304f3bcec1461040c57806305b3c1c91461043057806306fdde0314610468578063095ea7b3146104e5575b600080fd5b610414610d64565b604080516001600160a01b039092168252519081900360200190f35b6104566004803603602081101561044657600080fd5b50356001600160a01b0316610d78565b60408051918252519081900360200190f35b610470610e0b565b6040805160208082528351818301528351919283929083019185019080838360005b838110156104aa578181015183820152602001610492565b50505050905090810190601f1680156104d75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610511600480360360408110156104fb57600080fd5b506001600160a01b038135169060200135610e99565b604080519115158252519081900360200190f35b6105546004803603608081101561053b57600080fd5b5080359060208101359060408101359060600135610f32565b604080519283526001600160a01b0390911660208301528051918290030190f35b61059b6004803603602081101561058b57600080fd5b50356001600160a01b03166110be565b60408051938452602084019290925282820152519081900360600190f35b610511611164565b6105e7600480360360208110156105d757600080fd5b50356001600160a01b0316611658565b005b6105e7600480360360208110156105ff57600080fd5b50356001600160a01b0316611682565b6104566004803603602081101561062557600080fd5b50356001600160a01b03166116de565b61045661173d565b610470611743565b61045661176f565b6105116004803603602081101561066357600080fd5b503561177a565b6105116004803603606081101561068057600080fd5b506001600160a01b0381358116916020810135909116906040013561180d565b6105e7600480360360208110156106b657600080fd5b503561189a565b610470611974565b6105e7600480360360208110156106db57600080fd5b50356001600160a01b0316611993565b6106f3611a54565b6040805160ff9092168252519081900360200190f35b610456600480360360a081101561071f57600080fd5b508035906020810135906040810135906001600160a01b036060820135169060800135611a59565b6106f3611be3565b6105e76004803603602081101561076557600080fd5b50356001600160a01b0316611bec565b6104146004803603602081101561078b57600080fd5b5035611cad565b6105e7600480360360208110156107a857600080fd5b50356001600160a01b0316611cfa565b610511611e30565b610414611ea3565b610511600480360360208110156107de57600080fd5b50356001600160a01b0316611eb2565b6105e76004803603604081101561080457600080fd5b506001600160a01b038135169060200135611fd9565b6104566004803603602081101561083057600080fd5b50356001600160a01b0316611fe1565b6105e7600480360360c081101561085657600080fd5b506001600160a01b03813581169160208101359160408201359160608101359160808201359160a00135166120e8565b6105e76004803603606081101561089c57600080fd5b506001600160a01b03813516906020810135906040013561229a565b610456600480360360208110156108ce57600080fd5b50356001600160a01b031661242e565b6108e661247f565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561092257818101518382015260200161090a565b505050509050019250505060405180910390f35b6105e761258f565b6104146004803603602081101561095457600080fd5b503561264b565b6104566004803603602081101561097157600080fd5b5035612698565b6105e76004803603602081101561098e57600080fd5b50356126f2565b6104146127af565b610456600480360360c08110156109b357600080fd5b506001600160a01b0381358116916020810135916040820135916060810135916080820135169060a001356127be565b61047061294c565b6105e760048036036020811015610a0157600080fd5b50356001600160a01b03166129a7565b6105e7612a03565b61059b60048036036020811015610a2f57600080fd5b5035612ad5565b610414612b55565b6105e760048036036020811015610a5457600080fd5b50356001600160a01b0316612b64565b61045660048036036020811015610a7a57600080fd5b50356001600160a01b0316612b90565b61045660048036036020811015610aa057600080fd5b50356001600160a01b0316612bef565b61051160048036036040811015610ac657600080fd5b506001600160a01b038135169060200135612c4e565b610ae4612cdf565b604051808261030080838360005b83811015610b0a578181015183820152602001610af2565b5050505090500191505060405180910390f35b6105e760048036036060811015610b3357600080fd5b506001600160a01b038135169060208101359060400135612d29565b6105e7612ddc565b6105e760048036036020811015610b6d57600080fd5b50356001600160a01b0316612e93565b6105e760048036036040811015610b9357600080fd5b506001600160a01b038135169060200135612ebd565b61045660048036036020811015610bbf57600080fd5b5035612fa1565b61045660048036036080811015610bdc57600080fd5b506001600160a01b038135169060208101359060408101359060600135612fbf565b61045660048036036040811015610c1457600080fd5b506001600160a01b03813516906020013561313c565b61045660048036036020811015610c4057600080fd5b50356131d6565b610414613230565b6105e760048036036020811015610c6557600080fd5b503561323f565b610456613247565b61045660048036036040811015610c8a57600080fd5b506001600160a01b0381358116916020013516613289565b6105e760048036036060811015610cb857600080fd5b50803590602081013590604001356132e2565b6104566133ff565b61051160048036036040811015610ce957600080fd5b506001600160a01b038135169060200135613404565b6105e760048036036040811015610d1557600080fd5b506001600160a01b038135169060200135613544565b61041461360c565b61041461361b565b61045660048036036060811015610d5157600080fd5b508035906020810135906040013561362a565b60095461010090046001600160a01b031681565b6000610d826137a3565b6001600160a01b03166305b3c1c9836040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060206040518083038186803b158015610dd757600080fd5b505afa158015610deb573d6000803e3d6000fd5b505050506040513d6020811015610e0157600080fd5b505190505b919050565b6006805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610e915780601f10610e6657610100808354040283529160200191610e91565b820191906000526020600020905b815481529060010190602001808311610e7457829003601f168201915b505050505081565b6000610ea36137eb565b6004805460055460408051633691826360e21b81526001600160a01b039384169481018590528784166024820152604481018790529051919092169163da46098c91606480830192600092919082900301818387803b158015610f0557600080fd5b505af1158015610f19573d6000803e3d6000fd5b50505050610f28818585613841565b5060019392505050565b6000808584610f3f61390b565b6001600160a01b0316637118d4316040518163ffffffff1660e01b815260040160006040518083038186803b158015610f7757600080fd5b505afa158015610f8b573d6000803e3d6000fd5b50505050610f9761390b565b6001600160a01b0316636132eba483836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b158015610fe257600080fd5b505afa158015610ff6573d6000803e3d6000fd5b505050506110026137eb565b61100a61395b565b6004805460408051633ce6548960e21b81526001600160a01b03928316938101849052602481018d9052604481018c9052606481018b9052608481019390935260a483018990528051939091169263f39952249260c48082019392918290030181600087803b15801561107c57600080fd5b505af1158015611090573d6000803e3d6000fd5b505050506040513d60408110156110a657600080fd5b50805160209091015190999098509650505050505050565b60008060006110cb6137a3565b6001600160a01b0316631137aedf856040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060606040518083038186803b15801561112057600080fd5b505afa158015611134573d6000803e3d6000fd5b505050506040513d606081101561114a57600080fd5b508051602082015160409092015190969195509350915050565b600061116e61390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b1580156111a657600080fd5b505afa1580156111ba573d6000803e3d6000fd5b5050505060006001600160a01b03166111d16139a8565b6001600160a01b0316141561122d576040805162461bcd60e51b815260206004820152601b60248201527f52657761726473446973747269627574696f6e206e6f74207365740000000000604482015290519081900360640190fd5b60006112376139e2565b905060006112436139a8565b90506000826001600160a01b031663cc5c095c6040518163ffffffff1660e01b815260040160206040518083038186803b15801561128057600080fd5b505afa158015611294573d6000803e3d6000fd5b505050506040513d60208110156112aa57600080fd5b50519050806112f8576040805162461bcd60e51b81526020600482015260156024820152744e6f20737570706c79206973206d696e7461626c6560581b604482015290519081900360640190fd5b826001600160a01b0316637e7961d7826040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561133e57600080fd5b505af1158015611352573d6000803e3d6000fd5b505050506040513d602081101561136857600080fd5b505060408051639bdd7ac760e01b815290516000916001600160a01b03861691639bdd7ac791600480820192602092909190829003018186803b1580156113ae57600080fd5b505afa1580156113c2573d6000803e3d6000fd5b505050506040513d60208110156113d857600080fd5b5051905060006113ee838363ffffffff613a3416565b600554604080516370a0823160e01b81526001600160a01b038881166004830152915193945091169163b46310f691879161148491869186916370a08231916024808301926020929190829003018186803b15801561144c57600080fd5b505afa158015611460573d6000803e3d6000fd5b505050506040513d602081101561147657600080fd5b50519063ffffffff613a9116565b6040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156114d357600080fd5b505af11580156114e7573d6000803e3d6000fd5b505050506114f6308583613af2565b836001600160a01b03166359974e38826040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561153c57600080fd5b505af1158015611550573d6000803e3d6000fd5b505050506040513d602081101561156657600080fd5b5050600554604080516370a0823160e01b8152336004820181905291516001600160a01b039093169263b46310f692916115c491879186916370a0823191602480820192602092909190829003018186803b15801561144c57600080fd5b6040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561161357600080fd5b505af1158015611627573d6000803e3d6000fd5b50505050611636303384613af2565b600854611649908463ffffffff613a9116565b60085550600194505050505090565b611660613b45565b600380546001600160a01b0319166001600160a01b0392909216919091179055565b61168a613b45565b600180546001600160a01b0383166001600160a01b0319909116811790915560408051918252517f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce229181900360200190a150565b60006116e86137a3565b6001600160a01b03166316b2213f836040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060206040518083038186803b158015610dd757600080fd5b60085481565b6040518060400160405280601081526020016f121bdc9a5e9bdb88141c9bdd1bd8dbdb60821b81525081565b631e9554d160e21b81565b60008061178561395b565b60048054604080516301670a7b60e21b81526001600160a01b0392831693810193909352602483018790525192169163059c29ec91604480820192602092909190829003018186803b1580156117da57600080fd5b505afa1580156117ee573d6000803e3d6000fd5b505050506040513d602081101561180457600080fd5b50511192915050565b60006118176137eb565b61181f61390b565b6001600160a01b031663086dabd16040518163ffffffff1660e01b815260040160006040518083038186803b15801561185757600080fd5b505afa15801561186b573d6000803e3d6000fd5b505050506118798483613b8e565b50600454611892906001600160a01b0316858585613dbf565b949350505050565b6118a261390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b1580156118da57600080fd5b505afa1580156118ee573d6000803e3d6000fd5b505050506118fa6137eb565b6119026137a3565b600480546040805163b06e8c6560e01b81526001600160a01b0392831693810193909352602483018590525192169163b06e8c659160448082019260009290919082900301818387803b15801561195857600080fd5b505af115801561196c573d6000803e3d6000fd5b505050505b50565b60405180604001604052806003815260200162242d2760e91b81525081565b61199b61390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b1580156119d357600080fd5b505afa1580156119e7573d6000803e3d6000fd5b505050506119f36137eb565b6119fb6137a3565b600480546040805163159fa0d560e11b81526001600160a01b03868116948201949094529183166024830152519290911691632b3f41aa9160448082019260009290919082900301818387803b15801561195857600080fd5b601281565b60008584611a6561390b565b6001600160a01b0316637118d4316040518163ffffffff1660e01b815260040160006040518083038186803b158015611a9d57600080fd5b505afa158015611ab1573d6000803e3d6000fd5b50505050611abd61390b565b6001600160a01b0316636132eba483836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b158015611b0857600080fd5b505afa158015611b1c573d6000803e3d6000fd5b50505050611b286137eb565b611b3061395b565b60048054604080516321aea91760e21b81526001600160a01b03928316938101849052602481018d9052604481018c9052606481018b9052608481019390935288821660a484015260c48301889052519216916386baa45c9160e4808201926020929091908290030181600087803b158015611bab57600080fd5b505af1158015611bbf573d6000803e3d6000fd5b505050506040513d6020811015611bd557600080fd5b505198975050505050505050565b60095460ff1681565b611bf461390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b158015611c2c57600080fd5b505afa158015611c40573d6000803e3d6000fd5b50505050611c4c6137eb565b611c546137a3565b600480546040805163fd864ccf60e01b81526001600160a01b0386811694820194909452918316602483015251929091169163fd864ccf9160448082019260009290919082900301818387803b15801561195857600080fd5b6000611cb76137a3565b6001600160a01b03166332608039836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610dd757600080fd5b611d02613b45565b60098054610100600160a81b0319166101006001600160a01b0384160217905560005b600b54811015611e2c576000600b8281548110611d3e57fe5b600091825260209182902001546009546040805163dacb2d0160e01b81526004810184905260248101829052601760448201527f5265736f6c766572206d697373696e6720746172676574000000000000000000606482015290519294506101009091046001600160a01b03169263dacb2d0192608480840193829003018186803b158015611dcc57600080fd5b505afa158015611de0573d6000803e3d6000fd5b505050506040513d6020811015611df657600080fd5b50516000918252600a602052604090912080546001600160a01b0319166001600160a01b03909216919091179055600101611d25565b5050565b6000611e3a6137a3565b6001600160a01b0316634e99bda96040518163ffffffff1660e01b815260040160206040518083038186803b158015611e7257600080fd5b505afa158015611e86573d6000803e3d6000fd5b505050506040513d6020811015611e9c57600080fd5b5051905090565b6001546001600160a01b031681565b6009546000906001600160a01b038381166101009092041614611ed757506000610e06565b60005b600b54811015611fd0576000600b8281548110611ef357fe5b6000918252602080832090910154808352600a82526040928390205460095484516321f8a72160e01b81526004810184905294519295506001600160a01b0391821694610100909104909116926321f8a72192602480840193829003018186803b158015611f6057600080fd5b505afa158015611f74573d6000803e3d6000fd5b505050506040513d6020811015611f8a57600080fd5b50516001600160a01b0316141580611fb757506000818152600a60205260409020546001600160a01b0316155b15611fc757600092505050610e06565b50600101611eda565b50600192915050565b611e2c613eed565b6000611feb6137a3565b600554604080516370a0823160e01b81526001600160a01b038681166004830152915193821693636bed041593879316916370a08231916024808301926020929190829003018186803b15801561204157600080fd5b505afa158015612055573d6000803e3d6000fd5b505050506040513d602081101561206b57600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091528051604480840193829003018186803b1580156120b657600080fd5b505afa1580156120ca573d6000803e3d6000fd5b505050506040513d60408110156120e057600080fd5b505192915050565b6120f061395b565b6001600160a01b0316336001600160a01b031614612143576040805162461bcd60e51b815260206004820152601e6024820152600080516020614685833981519152604482015290519081900360640190fd5b60028054604080516020810189905280820188905260608101879052608081018690526001600160a01b0385811660a0808401919091528351808403909101815260c0909201928390529092169263907dff97929180603e6146a58239603e01905060405180910390206121b68b613f3a565b6000806040518763ffffffff1660e01b815260040180806020018781526020018681526020018581526020018460001b81526020018360001b8152602001828103825288818151815260200191508051906020019080838360005b83811015612229578181015183820152602001612211565b50505050905090810190601f1680156122565780820380516001836020036101000a031916815260200191505b50975050505050505050600060405180830381600087803b15801561227a57600080fd5b505af115801561228e573d6000803e3d6000fd5b50505050505050505050565b6122a261395b565b6001600160a01b0316336001600160a01b0316146122f5576040805162461bcd60e51b815260206004820152601e6024820152600080516020614685833981519152604482015290519081900360640190fd5b6002805460408051602081018690528082018590528151808203830181526060909101918290526001600160a01b039092169263907dff97929180602761475682396027019050604051809103902061234d88613f3a565b6000806040518763ffffffff1660e01b815260040180806020018781526020018681526020018581526020018460001b81526020018360001b8152602001828103825288818151815260200191508051906020019080838360005b838110156123c05781810151838201526020016123a8565b50505050905090810190601f1680156123ed5780820380516001836020036101000a031916815260200191505b50975050505050505050600060405180830381600087803b15801561241157600080fd5b505af1158015612425573d6000803e3d6000fd5b50505050505050565b600554604080516370a0823160e01b81526001600160a01b038481166004830152915160009392909216916370a0823191602480820192602092909190829003018186803b158015610dd757600080fd5b60606124896137a3565b6001600160a01b03166372cb051f6040518163ffffffff1660e01b815260040160006040518083038186803b1580156124c157600080fd5b505afa1580156124d5573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260208110156124fe57600080fd5b810190808051604051939291908464010000000082111561251e57600080fd5b90830190602082018581111561253357600080fd5b825186602082028301116401000000008211171561255057600080fd5b82525081516020918201928201910280838360005b8381101561257d578181015183820152602001612565565b50505050905001604052505050905090565b6001546001600160a01b031633146125d85760405162461bcd60e51b81526004018080602001828103825260358152602001806146286035913960400191505060405180910390fd5b600054600154604080516001600160a01b03938416815292909116602083015280517fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c9281900390910190a160018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b60006126556137a3565b6001600160a01b031663835e119c836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610dd757600080fd5b60006126a26137a3565b6001600160a01b0316637b1001b78360006040518363ffffffff1660e01b815260040180838152602001821515151581526020019250505060206040518083038186803b158015610dd757600080fd5b6126fa61390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b15801561273257600080fd5b505afa158015612746573d6000803e3d6000fd5b505050506127526137eb565b61275a6137a3565b60048054604080516285c0d160e31b81526001600160a01b0392831693810193909352602483018590525192169163042e06889160448082019260009290919082900301818387803b15801561195857600080fd5b6000546001600160a01b031681565b600085846127ca61390b565b6001600160a01b0316637118d4316040518163ffffffff1660e01b815260040160006040518083038186803b15801561280257600080fd5b505afa158015612816573d6000803e3d6000fd5b5050505061282261390b565b6001600160a01b0316636132eba483836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b15801561286d57600080fd5b505afa158015612881573d6000803e3d6000fd5b5050505061288d6137eb565b61289561395b565b6004805460408051636fffe53b60e11b81526001600160a01b038e8116948201949094529183166024830152604482018c9052606482018b9052608482018a905288831660a483015260c4820188905251929091169163dfffca769160e4808201926020929091908290030181600087803b15801561291357600080fd5b505af1158015612927573d6000803e3d6000fd5b505050506040513d602081101561293d57600080fd5b50519998505050505050505050565b6007805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610e915780601f10610e6657610100808354040283529160200191610e91565b6129af613b45565b600280546001600160a01b0383166001600160a01b0319909116811790915560408051918252517ffc80377ca9c49cc11ae6982f390a42db976d5530af7c43889264b13fbbd7c57e9181900360200190a150565b612a0b61390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b158015612a4357600080fd5b505afa158015612a57573d6000803e3d6000fd5b50505050612a636137eb565b612a6b6137a3565b60048054604080516324beb82560e11b81526001600160a01b03928316938101939093525192169163497d704a9160248082019260009290919082900301818387803b158015612aba57600080fd5b505af1158015612ace573d6000803e3d6000fd5b505050505b565b6000806000612ae26137eb565b612aea61395b565b60048054604080516306c5a00b60e21b81526001600160a01b03928316938101939093526024830188905251921691631b16802c916044808201926060929091908290030181600087803b158015612b4157600080fd5b505af1158015611134573d6000803e3d6000fd5b6003546001600160a01b031681565b612b6c613f46565b600580546001600160a01b0319166001600160a01b03831617905561197181613ff6565b6000612b9a6137a3565b6001600160a01b031663a311c7c2836040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060206040518083038186803b158015610dd757600080fd5b6000612bf96137a3565b6001600160a01b031663a5fdc5de836040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060206040518083038186803b158015610dd757600080fd5b6000612c586137eb565b612c6061390b565b6001600160a01b031663086dabd16040518163ffffffff1660e01b815260040160006040518083038186803b158015612c9857600080fd5b505afa158015612cac573d6000803e3d6000fd5b5050600454612cc792506001600160a01b0316905083613b8e565b50600454610f28906001600160a01b03168484614121565b612ce7614608565b60005b600b54811015612d2557600b8181548110612d0157fe5b9060005260206000200154828260188110612d1857fe5b6020020152600101612cea565b5090565b612d3161395b565b6001600160a01b0316336001600160a01b031614612d84576040805162461bcd60e51b815260206004820152601e6024820152600080516020614685833981519152604482015290519081900360640190fd5b6002805460408051602081018690528082018590528151808203830181526060909101918290526001600160a01b039092169263907dff97929180602861465d82396028019050604051809103902061234d88613f3a565b612de461390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b158015612e1c57600080fd5b505afa158015612e30573d6000803e3d6000fd5b50505050612e3c6137eb565b612e446137a3565b600480546040805163644bb89960e11b81526001600160a01b03928316938101939093525192169163c89771329160248082019260009290919082900301818387803b158015612aba57600080fd5b612e9b61412e565b600480546001600160a01b0319166001600160a01b0392909216919091179055565b612ec561390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b158015612efd57600080fd5b505afa158015612f11573d6000803e3d6000fd5b50505050612f1d6137eb565b612f256137a3565b6004805460408051632694552d60e21b81526001600160a01b0387811694820194909452918316602483015260448201859052519290911691639a5154b49160648082019260009290919082900301818387803b158015612f8557600080fd5b505af1158015612f99573d6000803e3d6000fd5b505050505050565b600b8181548110612fae57fe5b600091825260209091200154905081565b60008382612fcb61390b565b6001600160a01b0316637118d4316040518163ffffffff1660e01b815260040160006040518083038186803b15801561300357600080fd5b505afa158015613017573d6000803e3d6000fd5b5050505061302361390b565b6001600160a01b0316636132eba483836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b15801561306e57600080fd5b505afa158015613082573d6000803e3d6000fd5b5050505061308e6137eb565b61309661395b565b6004805460408051630d4388eb60e31b81526001600160a01b038c8116948201949094529183166024830152604482018a90526064820189905260848201889052519290911691636a1c47589160a4808201926020929091908290030181600087803b15801561310557600080fd5b505af1158015613119573d6000803e3d6000fd5b505050506040513d602081101561312f57600080fd5b5051979650505050505050565b60006131466137a3565b6001600160a01b031663d37c4d8b84846040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b031681526020018281526020019250505060206040518083038186803b1580156131a357600080fd5b505afa1580156131b7573d6000803e3d6000fd5b505050506040513d60208110156131cd57600080fd5b50519392505050565b60006131e06137a3565b6001600160a01b0316637b1001b78360016040518363ffffffff1660e01b815260040180838152602001821515151581526020019250505060206040518083038186803b158015610dd757600080fd5b6004546001600160a01b031681565b611971613eed565b60006132516137a3565b6001600160a01b031663dbf633406040518163ffffffff1660e01b815260040160206040518083038186803b158015611e7257600080fd5b60055460408051636eb1769f60e11b81526001600160a01b03858116600483015284811660248301529151600093929092169163dd62ed3e91604480820192602092909190829003018186803b1580156131a357600080fd5b6132ea61395b565b6001600160a01b0316336001600160a01b03161461333d576040805162461bcd60e51b815260206004820152601e6024820152600080516020614685833981519152604482015290519081900360640190fd5b6002805460408051602081018690528082018590528151808203830181526060909101918290526001600160a01b039092169263907dff97929180602961477d823960290190506040518091039020876000806040518763ffffffff1660e01b815260040180806020018781526020018681526020018581526020018460001b81526020018360001b815260200182810382528881815181526020019150805190602001908083836000838110156123c05781810151838201526020016123a8565b601881565b600061340e61390b565b6001600160a01b031663086dabd16040518163ffffffff1660e01b815260040160006040518083038186803b15801561344657600080fd5b505afa15801561345a573d6000803e3d6000fd5b505050506134666137eb565b6000806134716137a3565b600480546040805163298f137d60e21b81526001600160a01b038a8116948201949094526024810189905291831660448301528051939092169263a63c4df4926064808401939192918290030181600087803b1580156134d057600080fd5b505af11580156134e4573d6000803e3d6000fd5b505050506040513d60408110156134fa57600080fd5b5080516020909101516004549193509150613523908690849084906001600160a01b03166141a2565b60045461353b9086906001600160a01b031684614121565b95945050505050565b61354c61390b565b6001600160a01b0316637c3125416040518163ffffffff1660e01b815260040160006040518083038186803b15801561358457600080fd5b505afa158015613598573d6000803e3d6000fd5b505050506135a46137eb565b6135ac6137a3565b600480546040805163227635b160e11b81526001600160a01b03878116948201949094529183166024830152604482018590525192909116916344ec6b629160648082019260009290919082900301818387803b158015612f8557600080fd5b6005546001600160a01b031681565b6002546001600160a01b031681565b6000838261363661390b565b6001600160a01b0316637118d4316040518163ffffffff1660e01b815260040160006040518083038186803b15801561366e57600080fd5b505afa158015613682573d6000803e3d6000fd5b5050505061368e61390b565b6001600160a01b0316636132eba483836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b1580156136d957600080fd5b505afa1580156136ed573d6000803e3d6000fd5b505050506136f96137eb565b61370161395b565b6004805460408051630a1e187d60e01b81526001600160a01b03928316938101849052602481018b9052604481018a905260648101899052608481019390935251921691630a1e187d9160a4808201926020929091908290030181600087803b15801561376d57600080fd5b505af1158015613781573d6000803e3d6000fd5b505050506040513d602081101561379757600080fd5b50519695505050505050565b60006137e66524b9b9bab2b960d11b604051806040016040528060168152602001754d697373696e6720497373756572206164647265737360501b8152506142e9565b905090565b6002546001600160a01b0316331480159061381157506003546001600160a01b03163314155b801561382857506004546001600160a01b03163314155b15612ad357600480546001600160a01b03191633179055565b60025460408051602080820185905282518083039091018152908201918290526001600160a01b039092169163907dff979160039080602161471282396021019050604051809103902061389488613f3a565b61389d88613f3a565b60006040518763ffffffff1660e01b815260040180806020018781526020018681526020018581526020018481526020018360001b815260200182810382528881815181526020019150805190602001908083836000838110156123c05781810151838201526020016123a8565b60006137e66b53797374656d53746174757360a01b6040518060400160405280601c81526020017f4d697373696e672053797374656d5374617475732061646472657373000000008152506142e9565b60006137e66822bc31b430b733b2b960b91b6040518060400160405280601981526020017f4d697373696e672045786368616e6765722061646472657373000000000000008152506142e9565b60006137e6722932bbb0b93239a234b9ba3934b13aba34b7b760691b604051806060016040528060238152602001614733602391396142e9565b60006137e66d537570706c795363686564756c6560901b6040518060400160405280601e81526020017f4d697373696e6720537570706c795363686564756c65206164647265737300008152506142e9565b600082821115613a8b576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015613aeb576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b60025460408051602080820185905282518083039091018152908201918290526001600160a01b039092169163907dff97916003908060216147fe82396021019050604051809103902061389488613f3a565b6000546001600160a01b03163314612ad35760405162461bcd60e51b815260040180806020018281038252602f8152602001806146e3602f913960400191505060405180910390fd5b600080613b99614393565b60408051631167f01160e31b81526001600160a01b0387811660048301528251931692638b3f808892602480840193919291829003018186803b158015613bdf57600080fd5b505afa158015613bf3573d6000803e3d6000fd5b505050506040513d6040811015613c0957600080fd5b505190508015610f2857600080613c1e6137a3565b600554604080516370a0823160e01b81526001600160a01b038a81166004830152915193821693636bed0415938b9316916370a08231916024808301926020929190829003018186803b158015613c7457600080fd5b505afa158015613c88573d6000803e3d6000fd5b505050506040513d6020811015613c9e57600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b03909316600484015260248301919091528051604480840193829003018186803b158015613ce957600080fd5b505afa158015613cfd573d6000803e3d6000fd5b505050506040513d6040811015613d1357600080fd5b508051602090910151909250905081851115613d605760405162461bcd60e51b81526004018080602001828103825260268152602001806147a66026913960400191505060405180910390fd5b8015613db3576040805162461bcd60e51b815260206004820152601f60248201527f41207a6173736574206f7220485a4e207261746520697320696e76616c696400604482015290519081900360640190fd5b50600195945050505050565b60055460408051636eb1769f60e11b81526001600160a01b03868116600483015287811660248301529151600093929092169163da46098c9187918991613e62918891879163dd62ed3e91604480820192602092909190829003018186803b158015613e2a57600080fd5b505afa158015613e3e573d6000803e3d6000fd5b505050506040513d6020811015613e5457600080fd5b50519063ffffffff613a3416565b6040518463ffffffff1660e01b815260040180846001600160a01b03166001600160a01b03168152602001836001600160a01b03166001600160a01b031681526020018281526020019350505050600060405180830381600087803b158015613eca57600080fd5b505af1158015613ede573d6000803e3d6000fd5b5050505061353b8484846143e5565b6040805162461bcd60e51b815260206004820152601b60248201527f43616e6e6f742062652072756e206f6e2074686973206c617965720000000000604482015290519081900360640190fd5b6001600160a01b031690565b6002546001600160a01b03163314801590613f6c57506003546001600160a01b03163314155b8015613f8357506004546001600160a01b03163314155b15613f9b57600480546001600160a01b031916331790555b6000546004546001600160a01b03908116911614612ad3576040805162461bcd60e51b815260206004820152601360248201527227bbb732b91037b7363c90333ab731ba34b7b760691b604482015290519081900360640190fd5b600254604080516001600160a01b038481166020808401919091528351808403820181528385018086527f546f6b656e5374617465557064617465642861646472657373290000000000009052935192839003605a01832063907dff9760e01b8452600160248501819052604485018290526000606486018190526084860181905260a4860181905260c060048701908152875160c48801528751959098169763907dff97979692959394919384938493839260e490920191908a0190808383885b838110156140d05781810151838201526020016140b8565b50505050905090810190601f1680156140fd5780820380516001836020036101000a031916815260200191505b50975050505050505050600060405180830381600087803b15801561195857600080fd5b60006118928484846143e5565b6002546001600160a01b031633148061415157506003546001600160a01b031633145b612ad3576040805162461bcd60e51b815260206004820152601760248201527f4f6e6c79207468652070726f78792063616e2063616c6c000000000000000000604482015290519081900360640190fd5b6002805460408051602081018790528082018690526001600160a01b03858116606080840191909152835180840390910181526080909201928390529092169263907dff9792918060326147cc82396032019050604051809103902061420789613f3a565b6000806040518763ffffffff1660e01b815260040180806020018781526020018681526020018581526020018460001b81526020018360001b8152602001828103825288818151815260200191508051906020019080838360005b8381101561427a578181015183820152602001614262565b50505050905090810190601f1680156142a75780820380516001836020036101000a031916815260200191505b50975050505050505050600060405180830381600087803b1580156142cb57600080fd5b505af11580156142df573d6000803e3d6000fd5b5050505050505050565b6000828152600a60205260408120546001600160a01b0316828161438b5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614350578181015183820152602001614338565b50505050905090810190601f16801561437d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b509392505050565b60006137e66d53796e746865746978537461746560901b6040518060400160405280601c81526020017f4d697373696e6720486f72697a6f6e53746174652061646472657373000000008152506142e9565b60006001600160a01b0383161580159061440857506001600160a01b0383163014155b801561442257506002546001600160a01b03848116911614155b614473576040805162461bcd60e51b815260206004820152601f60248201527f43616e6e6f74207472616e7366657220746f2074686973206164647265737300604482015290519081900360640190fd5b600554604080516370a0823160e01b81526001600160a01b0387811660048301529151919092169163b46310f69187916144d191879186916370a0823191602480820192602092909190829003018186803b158015613e2a57600080fd5b6040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561452057600080fd5b505af1158015614534573d6000803e3d6000fd5b5050600554604080516370a0823160e01b81526001600160a01b038881166004830152915191909216935063b46310f69250869161459691879186916370a0823191602480820192602092909190829003018186803b15801561144c57600080fd5b6040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156145e557600080fd5b505af11580156145f9573d6000803e3d6000fd5b50505050610f28848484613af2565b604051806103000160405280601890602082028038833950919291505056fe596f75206d757374206265206e6f6d696e61746564206265666f726520796f752063616e20616363657074206f776e65727368697045786368616e67655265636c61696d28616464726573732c627974657333322c75696e74323536294f6e6c792045786368616e6765722063616e20696e766f6b652074686973000053796e746845786368616e676528616464726573732c627974657333322c75696e743235362c627974657333322c75696e743235362c61646472657373294f6e6c792074686520636f6e7472616374206f776e6572206d617920706572666f726d207468697320616374696f6e417070726f76616c28616464726573732c616464726573732c75696e74323536294d697373696e672052657761726473446973747269627574696f6e206164647265737345786368616e676552656261746528616464726573732c627974657333322c75696e743235362945786368616e6765547261636b696e6728627974657333322c627974657333322c75696e743235362943616e6e6f74207472616e73666572207374616b6564206f7220657363726f77656420485a4e4163636f756e744c69717569646174656428616464726573732c75696e743235362c75696e743235362c61646472657373295472616e7366657228616464726573732c616464726573732c75696e7432353629a265627a7a723158201e92215e8b85559d2294111b12ba2e25523c5d93534587c27bc3ab56c2b2541e64736f6c63430005100032000000000000000000000000e7c79a9e5dd67f237323523f573a3359542fa7c400000000000000000000000001d35e43fecf975a83e30a0c2e77cde4de3d6d2400000000000000000000000064ac4907b29aa25f4df91356fac4772f16a4803e00000000000000000000000000000000000000000052b7d2dcc80cd2e400000000000000000000000000000068d68968c39e0082e114f6e3985b96a624f1a5dd

Constructor Arguments (ABI-Encoded and is the last bytes of the Contract Creation Code above)

000000000000000000000000e7c79a9e5dd67f237323523f573a3359542fa7c400000000000000000000000001d35e43fecf975a83e30a0c2e77cde4de3d6d2400000000000000000000000064ac4907b29aa25f4df91356fac4772f16a4803e00000000000000000000000000000000000000000052b7d2dcc80cd2e400000000000000000000000000000068d68968c39e0082e114f6e3985b96a624f1a5dd

-----Decoded View---------------
Arg [0] : _proxy (address): 0xe7c79a9e5dd67f237323523f573a3359542fa7c4
Arg [1] : _tokenState (address): 0x01d35e43fecf975a83e30a0c2e77cde4de3d6d24
Arg [2] : _owner (address): 0x64ac4907b29aa25f4df91356fac4772f16a4803e
Arg [3] : _totalSupply (uint256): 100000000000000000000000000
Arg [4] : _resolver (address): 0x68d68968c39e0082e114f6e3985b96a624f1a5dd

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 000000000000000000000000e7c79a9e5dd67f237323523f573a3359542fa7c4
Arg [1] : 00000000000000000000000001d35e43fecf975a83e30a0c2e77cde4de3d6d24
Arg [2] : 00000000000000000000000064ac4907b29aa25f4df91356fac4772f16a4803e
Arg [3] : 00000000000000000000000000000000000000000052b7d2dcc80cd2e4000000
Arg [4] : 00000000000000000000000068d68968c39e0082e114f6e3985b96a624f1a5dd


Deployed ByteCode Sourcemap

68416:8796:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68416:8796:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33689:31;;;:::i;:::-;;;;-1:-1:-1;;;;;33689:31:0;;;;;;;;;;;;;;62199:146;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62199:146:0;-1:-1:-1;;;;;62199:146:0;;:::i;:::-;;;;;;;;;;;;;;;;23366:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;23366:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26706:260;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;26706:260:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;71078:634;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;71078:634:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;;;71078:634:0;;;;;;;;;;;;;;;;62353:282;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62353:282:0;-1:-1:-1;;;;;62353:282:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;72006:1584;;;:::i;8276:145::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8276:145:0;-1:-1:-1;;;;;8276:145:0;;:::i;:::-;;3911:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3911:141:0;-1:-1:-1;;;;;3911:141:0;;:::i;61716:143::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61716:143:0;-1:-1:-1;;;;;61716:143:0;;:::i;23418:23::-;;;:::i;58172:54::-;;;:::i;58325:37::-;;;:::i;61867:171::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61867:171:0;;:::i;64239:467::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;64239:467:0;;;;;;;;;;;;;;;;;:::i;65398:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;65398:139:0;;:::i;58233:43::-;;;:::i;65892:190::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;65892:190:0;-1:-1:-1;;;;;65892:190:0;;:::i;58283:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;69742:631;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;69742:631:0;;;;;;;;;;;;;-1:-1:-1;;;;;69742:631:0;;;;;;;;;;:::i;23448:21::-;;;:::i;65206:184::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;65206:184:0;-1:-1:-1;;;;;65206:184:0;;:::i;61586:122::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61586:122:0;;:::i;34722:451::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34722:451:0;-1:-1:-1;;;;;34722:451:0;;:::i;62046:145::-;;;:::i;3680:29::-;;;:::i;35601:621::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;35601:621:0;-1:-1:-1;;;;;35601:621:0;;:::i;67383:83::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;67383:83:0;;;;;;;;:::i;62923:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62923:217:0;-1:-1:-1;;;;;62923:217:0;;:::i;74670:484::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;74670:484:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;76305:258::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;76305:258:0;;;;;;;;;;;;;:::i;24425:120::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24425:120:0;-1:-1:-1;;;;;24425:120:0;;:::i;61189:132::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;61189:132:0;;;;;;;;;;;;;;;;;4060:271;;;:::i;61453:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61453:125:0;;:::i;60854:149::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;60854:149:0;;:::i;64714:141::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;64714:141:0;;:::i;3653:20::-;;;:::i;70381:689::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;70381:689:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;23391:20::-;;;:::i;8131:137::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8131:137:0;-1:-1:-1;;;;;8131:137:0;;:::i;65748:136::-;;;:::i;71720:278::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;71720:278:0;;:::i;7554:29::-;;;:::i;24830:177::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24830:177:0;-1:-1:-1;;;;;24830:177:0;;:::i;62643:144::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62643:144:0;-1:-1:-1;;;;;62643:144:0;;:::i;62795:120::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62795:120:0;-1:-1:-1;;;;;62795:120:0;;:::i;63813:418::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;63813:418:0;;;;;;;;:::i;36311:314::-;;;:::i;:::-;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;36311:314:0;;;;;;;;;;;;;;;;75843:260;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;75843:260:0;;;;;;;;;;;;;:::i;65070:128::-;;;:::i;8429:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8429:102:0;-1:-1:-1;;;;;8429:102:0;;:::i;65545:195::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;65545:195:0;;;;;;;;:::i;33786:42::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33786:42:0;;:::i;69189:545::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;69189:545:0;;;;;;;;;;;;;;;;;;:::i;60686:160::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;60686:160:0;;;;;;;;:::i;61011:170::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61011:170:0;;:::i;7823:28::-;;;:::i;67474:81::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;67474:81:0;;:::i;61329:116::-;;;:::i;24191:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;24191:140:0;;;;;;;;;;:::i;75375:263::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;75375:263:0;;;;;;;;;;;;:::i;33837:53::-;;;:::i;73598:664::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;73598:664:0;;;;;;;;:::i;64863:199::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;64863:199:0;;;;;;;;:::i;23298:28::-;;;:::i;7529:18::-;;;:::i;68807:374::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;68807:374:0;;;;;;;;;;;;:::i;33689:31::-;;;;;;-1:-1:-1;;;;;33689:31:0;;:::o;62199:146::-;62266:16;62302:8;:6;:8::i;:::-;-1:-1:-1;;;;;62302:26:0;;62329:7;62302:35;;;;;;;;;;;;;-1:-1:-1;;;;;62302:35:0;-1:-1:-1;;;;;62302:35:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;62302:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62302:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62302:35:0;;-1:-1:-1;62199:146:0;;;;:::o;23366:18::-;;;;;;;;;;;;;;;-1:-1:-1;;23366:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;26706:260::-;26782:4;8808:16;:14;:16::i;:::-;26816:13;;;26842:10;;:47;;;-1:-1:-1;;;26842:47:0;;-1:-1:-1;;;;;26816:13:0;;;26842:47;;;;;;;;;;;;;;;;;;;;;:10;;;;;:23;;:47;;;;;26799:14;;26842:47;;;;;;;26799:14;26842:10;:47;;;5:2:-1;;;;30:1;27;20:12;5:2;26842:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26842:47:0;;;;26900:36;26913:6;26921:7;26930:5;26900:12;:36::i;:::-;-1:-1:-1;26954:4:0;;26706:260;-1:-1:-1;;;26706:260:0:o;71078:634::-;71376:19;71397:20;71292:17;71311:22;68206:14;:12;:14::i;:::-;-1:-1:-1;;;;;68206:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68206:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68206:38:0;;;;68255:14;:12;:14::i;:::-;-1:-1:-1;;;;;68255:34:0;;68290:3;68295:4;68255:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68255:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68255:45:0;;;;8808:16;:14;:16::i;:::-;71455:11;:9;:11::i;:::-;71505:13;;;71455:249;;;-1:-1:-1;;;71455:249:0;;-1:-1:-1;;;;;71505:13:0;;;71455:249;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:31;;;;;;;:249;;;;;;;;;;;;71505:13;71455:31;:249;;;5:2:-1;;;;30:1;27;20:12;5:2;71455:249:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;71455:249:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;71455:249:0;;;;;;;;;;;-1:-1:-1;71078:634:0;-1:-1:-1;;;;;;;71078:634:0:o;62353:282::-;62467:16;62498:18;62531:20;62586:8;:6;:8::i;:::-;-1:-1:-1;;;;;62586:32:0;;62619:7;62586:41;;;;;;;;;;;;;-1:-1:-1;;;;;62586:41:0;-1:-1:-1;;;;;62586:41:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;62586:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62586:41:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62586:41:0;;;;;;;;;;;;;;;-1:-1:-1;62586:41:0;-1:-1:-1;62353:282:0;-1:-1:-1;;62353:282:0:o;72006:1584::-;72055:4;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;72122:1;-1:-1:-1;;;;;72080:44:0;72088:21;:19;:21::i;:::-;-1:-1:-1;;;;;72080:44:0;;;72072:84;;;;;-1:-1:-1;;;72072:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;72169:30;72202:16;:14;:16::i;:::-;72169:49;;72229:41;72273:21;:19;:21::i;:::-;72229:65;;72307:17;72327:15;-1:-1:-1;;;;;72327:30:0;;:32;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;72327:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;72327:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;72327:32:0;;-1:-1:-1;72378:16:0;72370:50;;;;;-1:-1:-1;;;72370:50:0;;;;;;;;;;;;-1:-1:-1;;;72370:50:0;;;;;;;;;;;;;;;72498:15;-1:-1:-1;;;;;72498:31:0;;72530:12;72498:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;72498:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;72498:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;72712:30:0;;;-1:-1:-1;;;72712:30:0;;;;72692:17;;-1:-1:-1;;;;;72712:28:0;;;;;:30;;;;;72498:45;;72712:30;;;;;;;;:28;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;72712:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;72712:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;72712:30:0;;-1:-1:-1;72783:23:0;72809:30;:12;72712:30;72809;:16;:30;:::i;:::-;72922:10;;73004:51;;;-1:-1:-1;;;73004:51:0;;-1:-1:-1;;;;;73004:51:0;;;;;;;;;72783:56;;-1:-1:-1;72922:10:0;;;:23;;72968:20;;73004:75;;72783:56;;72922:10;;73004:20;;:51;;;;;;;;;;;;;;72922:10;73004:51;;;5:2:-1;;;;30:1;27;20:12;5:2;73004:51:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;73004:51:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;73004:51:0;;:75;:55;:75;:::i;:::-;72922:168;;;;;;;;;;;;;-1:-1:-1;;;;;72922:168:0;-1:-1:-1;;;;;72922:168:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;72922:168:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;72922:168:0;;;;73101:78;73122:4;73137:20;73160:18;73101:12;:78::i;:::-;73241:20;-1:-1:-1;;;;;73241:38:0;;73280:18;73241:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73241:58:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;73241:58:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;73351:10:0;;73387:32;;;-1:-1:-1;;;73387:32:0;;73375:10;73387:32;;;;;;;;-1:-1:-1;;;;;73351:10:0;;;;:23;;73375:10;73387:50;;73424:12;;73351:10;;73387:20;;:32;;;;;73241:58;;73387:32;;;;;;;;73351:10;73387:32;;;5:2:-1;;;;30:1;27;20:12;73387:50:0;73351:87;;;;;;;;;;;;;-1:-1:-1;;;;;73351:87:0;-1:-1:-1;;;;;73351:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;73351:87:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;73351:87:0;;;;73449:53;73470:4;73477:10;73489:12;73449;:53::i;:::-;73529:11;;:29;;73545:12;73529:29;:15;:29;:::i;:::-;73515:11;:43;-1:-1:-1;73578:4:0;;-1:-1:-1;;;;;72006:1584:0;:::o;8276:145::-;4369:12;:10;:12::i;:::-;8370:16;:43;;-1:-1:-1;;;;;;8370:43:0;-1:-1:-1;;;;;8370:43:0;;;;;;;;;;8276:145::o;3911:141::-;4369:12;:10;:12::i;:::-;3983:14;:23;;-1:-1:-1;;;;;3983:23:0;;-1:-1:-1;;;;;;3983:23:0;;;;;;;;4022:22;;;;;;;;;;;;;;;;3911:141;:::o;61716:143::-;61786:7;61813:8;:6;:8::i;:::-;-1:-1:-1;;;;;61813:24:0;;61838:12;61813:38;;;;;;;;;;;;;-1:-1:-1;;;;;61813:38:0;-1:-1:-1;;;;;61813:38:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;23418:23:0;;;;:::o;58172:54::-;;;;;;;;;;;;;;-1:-1:-1;;;58172:54:0;;;;:::o;58325:37::-;-1:-1:-1;;;58325:37:0;:::o;61867:171::-;61936:4;62029:1;61960:11;:9;:11::i;:::-;61999:13;;;61960:66;;;-1:-1:-1;;;61960:66:0;;-1:-1:-1;;;;;61999:13:0;;;61960:66;;;;;;;;;;;;;;:38;;;;;:66;;;;;;;;;;;;;;;:38;:66;;;5:2:-1;;;;30:1;27;20:12;5:2;61960:66:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;61960:66:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61960:66:0;:70;;61867:171;-1:-1:-1;;61867:171:0:o;64239:467::-;64378:4;8808:16;:14;:16::i;:::-;67977:14;:12;:14::i;:::-;-1:-1:-1;;;;;67977:34:0;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;67977:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67977:36:0;;;;64490:25;64503:4;64509:5;64490:12;:25::i;:::-;-1:-1:-1;64667:13:0;;64646:52;;-1:-1:-1;;;;;64667:13:0;64682:4;64688:2;64692:5;64646:20;:52::i;:::-;64639:59;64239:467;-1:-1:-1;;;;64239:467:0:o;65398:139::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;65487:8;:6;:8::i;:::-;65507:13;;;65487:42;;;-1:-1:-1;;;65487:42:0;;-1:-1:-1;;;;;65507:13:0;;;65487:42;;;;;;;;;;;;;;:19;;;;;:42;;;;;65507:13;;65487:42;;;;;;;;65507:13;65487:19;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;65487:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65487:42:0;;;;8835:1;65398:139;:::o;58233:43::-;;;;;;;;;;;;;;-1:-1:-1;;;58233:43:0;;;;:::o;65892:190::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;66008:8;:6;:8::i;:::-;66060:13;;;66008:66;;;-1:-1:-1;;;66008:66:0;;-1:-1:-1;;;;;66008:66:0;;;;;;;;;;66060:13;;;66008:66;;;;;:35;;;;;;;:66;;;;;66060:13;;66008:66;;;;;;;;66060:13;66008:35;:66;;;5:2:-1;;;;30:1;27;20:12;58283:35:0;58316:2;58283:35;:::o;69742:631::-;70034:19;69968:17;69987:22;68206:14;:12;:14::i;:::-;-1:-1:-1;;;;;68206:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68206:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68206:38:0;;;;68255:14;:12;:14::i;:::-;-1:-1:-1;;;;;68255:34:0;;68290:3;68295:4;68255:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68255:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68255:45:0;;;;8808:16;:14;:16::i;:::-;70086:11;:9;:11::i;:::-;70137:13;;;70086:279;;;-1:-1:-1;;;70086:279:0;;-1:-1:-1;;;;;70137:13:0;;;70086:279;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:32;;;;;:279;;;;;;;;;;;;;;;70137:13;70086:32;:279;;;5:2:-1;;;;30:1;27;20:12;5:2;70086:279:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70086:279:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;70086:279:0;;69742:631;-1:-1:-1;;;;;;;;69742:631:0:o;23448:21::-;;;;;;:::o;65206:184::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;65319:8;:6;:8::i;:::-;65368:13;;;65319:63;;;-1:-1:-1;;;65319:63:0;;-1:-1:-1;;;;;65319:63:0;;;;;;;;;;65368:13;;;65319:63;;;;;:31;;;;;;;:63;;;;;65368:13;;65319:63;;;;;;;;65368:13;65319:31;:63;;;5:2:-1;;;;30:1;27;20:12;61586:122:0;61646:6;61672:8;:6;:8::i;:::-;-1:-1:-1;;;;;61672:15:0;;61688:11;61672:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;34722:451:0;4369:12;:10;:12::i;:::-;34812:8;:20;;-1:-1:-1;;;;;;34812:20:0;;-1:-1:-1;;;;;34812:20:0;;;;;;-1:-1:-1;34845:321:0;34866:25;:32;34862:36;;34845:321;;;34920:12;34935:25;34961:1;34935:28;;;;;;;;;;;;;;;;;;;35092:8;;:62;;;-1:-1:-1;;;35092:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;34935:28;;-1:-1:-1;35092:8:0;;;;-1:-1:-1;;;;;35092:8:0;;:29;;:62;;;;;;;;;;:8;:62;;;5:2:-1;;;;30:1;27;20:12;5:2;35092:62:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;35092:62:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;35092:62:0;35071:18;;;;:12;35092:62;35071:18;;;;;:83;;-1:-1:-1;;;;;;35071:83:0;-1:-1:-1;;;;;35071:83:0;;;;;;;;;-1:-1:-1;34900:3:0;34845:321;;;;34722:451;:::o;62046:145::-;62107:19;62146:8;:6;:8::i;:::-;-1:-1:-1;;;;;62146:35:0;;:37;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;62146:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62146:37:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62146:37:0;;-1:-1:-1;62046:145:0;:::o;3680:29::-;;;-1:-1:-1;;;;;3680:29:0;;:::o;35601:621::-;35698:8;;35677:4;;-1:-1:-1;;;;;35698:21:0;;;:8;;;;;:21;35694:66;;-1:-1:-1;35743:5:0;35736:12;;35694:66;35817:6;35812:379;35833:25;:32;35829:36;;35812:379;;;35887:12;35902:25;35928:1;35902:28;;;;;;;;;;;;;;;;;;;;36077:18;;;:12;:18;;;;;;;;36048:8;;:25;;-1:-1:-1;;;36048:25:0;;;;;;;;;;35902:28;;-1:-1:-1;;;;;;36077:18:0;;;;;36048:8;;;;;;;:19;;:25;;;;;;;;;;:8;:25;;;5:2:-1;;;;30:1;27;20:12;5:2;36048:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;36048:25:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;36048:25:0;-1:-1:-1;;;;;36048:47:0;;;;:83;;-1:-1:-1;36129:1:0;36099:18;;;:12;:18;;;;;;-1:-1:-1;;;;;36099:18:0;:32;36048:83;36044:136;;;36159:5;36152:12;;;;;;36044:136;-1:-1:-1;35867:3:0;;35812:379;;;-1:-1:-1;36210:4:0;;35601:621;-1:-1:-1;;35601:621:0:o;67383:83::-;67441:17;:15;:17::i;62923:217::-;62994:17;63043:8;:6;:8::i;:::-;63102:10;;:29;;;-1:-1:-1;;;63102:29:0;;-1:-1:-1;;;;;63102:29:0;;;;;;;;;63043:49;;;;;;63093:7;;63102:10;;:20;;:29;;;;;;;;;;;;;;:10;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;63102:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63102:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;63102:29:0;63043:89;;;-1:-1:-1;;;;;;63043:89:0;;;;;;;-1:-1:-1;;;;;63043:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:2:-1;;;;30:1;27;20:12;5:2;63043:89:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63043:89:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;63043:89:0;;62923:217;-1:-1:-1;;62923:217:0:o;74670:484::-;67867:11;:9;:11::i;:::-;-1:-1:-1;;;;;67845:34:0;:10;-1:-1:-1;;;;;67845:34:0;;67837:77;;;;;-1:-1:-1;;;67837:77:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;67837:77:0;;;;;;;;;;;;;;;74914:5;;;74940:75;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;74940:75:0;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;74940:75:0;;;;;;;;74914:5;;;;:11;;74940:75;;74570:91;;74940:75;74570:91;;;;;;;;;;;;75078:25;75095:7;75078:16;:25::i;:::-;75118:1;75134;74914:232;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;74914:232:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74914:232:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;74914:232:0;;;;74670:484;;;;;;:::o;76305:258::-;67867:11;:9;:11::i;:::-;-1:-1:-1;;;;;67845:34:0;:10;-1:-1:-1;;;;;67845:34:0;;67837:77;;;;;-1:-1:-1;;;67837:77:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;67837:77:0;;;;;;;;;;;;;;;76455:5;;;76467:31;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;76467:31:0;;;;;;;;-1:-1:-1;;;;;76455:5:0;;;;:11;;76467:31;;76244:52;;76467:31;76244:52;;;;;;;;;;;;76523:25;76540:7;76523:16;:25::i;:::-;76550:1;76553;76455:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;76455:100:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;76455:100:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;76455:100:0;;;;76305:258;;;:::o;24425:120::-;24508:10;;:29;;;-1:-1:-1;;;24508:29:0;;-1:-1:-1;;;;;24508:29:0;;;;;;;;;24484:4;;24508:10;;;;;:20;;:29;;;;;;;;;;;;;;;:10;:29;;;5:2:-1;;;;30:1;27;20:12;61189:132:0;61245:16;61281:8;:6;:8::i;:::-;-1:-1:-1;;;;;61281:30:0;;:32;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;61281:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;61281:32:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;61281:32:0;80:15:-1;;;-1:-1;;76:31;65:43;;120:4;113:20;13:2;5:11;;2:2;;;29:1;26;19:12;2:2;61281:32:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;373:25;;-1:-1;61281:32:0;;421:4:-1;412:14;;;;61281:32:0;;;;;412:14:-1;61281:32:0;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;61281:32:0;;;;;;;;;;;61274:39;;61189:132;:::o;4060:271::-;4129:14;;-1:-1:-1;;;;;4129:14:0;4115:10;:28;4107:94;;;;-1:-1:-1;;;4107:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4230:5;;;4237:14;4217:35;;;-1:-1:-1;;;;;4230:5:0;;;4217:35;;4237:14;;;;4217:35;;;;;;;;;;;;;;;;4271:14;;;;4263:22;;-1:-1:-1;;;;;;4263:22:0;;;-1:-1:-1;;;;;4271:14:0;;4263:22;;;;4296:27;;;4060:271::o;61453:125::-;61513:6;61539:8;:6;:8::i;:::-;-1:-1:-1;;;;;61539:24:0;;61564:5;61539:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;60854:149:0;60925:4;60949:8;:6;:8::i;:::-;-1:-1:-1;;;;;60949:26:0;;60976:11;60989:5;60949:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;64714:141:0;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;64804:8;:6;:8::i;:::-;64825:13;;;64804:43;;;-1:-1:-1;;;64804:43:0;;-1:-1:-1;;;;;64825:13:0;;;64804:43;;;;;;;;;;;;;;:20;;;;;:43;;;;;64825:13;;64804:43;;;;;;;;64825:13;64804:20;:43;;;5:2:-1;;;;30:1;27;20:12;3653:20:0;;;-1:-1:-1;;;;;3653:20:0;;:::o;70381:689::-;70718:19;70652:17;70671:22;68206:14;:12;:14::i;:::-;-1:-1:-1;;;;;68206:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68206:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68206:38:0;;;;68255:14;:12;:14::i;:::-;-1:-1:-1;;;;;68255:34:0;;68290:3;68295:4;68255:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68255:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68255:45:0;;;;8808:16;:14;:16::i;:::-;70770:11;:9;:11::i;:::-;70866:13;;;70770:292;;;-1:-1:-1;;;70770:292:0;;-1:-1:-1;;;;;70770:292:0;;;;;;;;;;70866:13;;;70770:292;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:40;;;;;;;:292;;;;;;;;;;;;;;;70866:13;70770:40;:292;;;5:2:-1;;;;30:1;27;20:12;5:2;70770:292:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70770:292:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;70770:292:0;;70381:689;-1:-1:-1;;;;;;;;;70381:689:0:o;23391:20::-;;;;;;;;;;;;;;;-1:-1:-1;;23391:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8131:137;4369:12;:10;:12::i;:::-;8203:5;:21;;-1:-1:-1;;;;;8203:21:0;;-1:-1:-1;;;;;;8203:21:0;;;;;;;;8240:20;;;;;;;;;;;;;;;;8131:137;:::o;65748:136::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;65834:8;:6;:8::i;:::-;65862:13;;;65834:42;;;-1:-1:-1;;;65834:42:0;;-1:-1:-1;;;;;65862:13:0;;;65834:42;;;;;;;;:27;;;;;:42;;;;;65862:13;;65834:42;;;;;;;;65862:13;65834:27;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;65834:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65834:42:0;;;;8835:1;65748:136::o;71720:278::-;71830:14;71859:13;71887:22;8808:16;:14;:16::i;:::-;71944:11;:9;:11::i;:::-;71963:13;;;71944:46;;;-1:-1:-1;;;71944:46:0;;-1:-1:-1;;;;;71963:13:0;;;71944:46;;;;;;;;;;;;;;:18;;;;;:46;;;;;;;;;;;;;;;71963:13;71944:18;:46;;;5:2:-1;;;;30:1;27;20:12;5:2;71944:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;7554:29:0;;;-1:-1:-1;;;;;7554:29:0;;:::o;24830:177::-;9113:26;:24;:26::i;:::-;24921:10;:24;;-1:-1:-1;;;;;;24921:24:0;-1:-1:-1;;;;;24921:24:0;;;;;24956:43;24921:24;24956:21;:43::i;62643:144::-;62715:4;62739:8;:6;:8::i;:::-;-1:-1:-1;;;;;62739:31:0;;62771:7;62739:40;;;;;;;;;;;;;-1:-1:-1;;;;;62739:40:0;-1:-1:-1;;;;;62739:40:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;62795:120:0;62855:4;62879:8;:6;:8::i;:::-;-1:-1:-1;;;;;62879:19:0;;62899:7;62879:28;;;;;;;;;;;;;-1:-1:-1;;;;;62879:28:0;-1:-1:-1;;;;;62879:28:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;63813:418:0;63900:4;8808:16;:14;:16::i;:::-;67977:14;:12;:14::i;:::-;-1:-1:-1;;;;;67977:34:0;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;67977:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;64025:13:0;;64012:34;;-1:-1:-1;;;;;;64025:13:0;;-1:-1:-1;64040:5:0;64012:12;:34::i;:::-;-1:-1:-1;64174:13:0;;64157:42;;-1:-1:-1;;;;;64174:13:0;64189:2;64193:5;64157:16;:42::i;36311:314::-;36401:61;;:::i;:::-;36485:6;36480:138;36501:25;:32;36497:36;;36480:138;;;36578:25;36604:1;36578:28;;;;;;;;;;;;;;;;36555:17;36573:1;36555:20;;;;;;;;;;:51;36535:3;;36480:138;;;;36311:314;:::o;75843:260::-;67867:11;:9;:11::i;:::-;-1:-1:-1;;;;;67845:34:0;:10;-1:-1:-1;;;;;67845:34:0;;67837:77;;;;;-1:-1:-1;;;67837:77:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;67837:77:0;;;;;;;;;;;;;;;75994:5;;;76006:31;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;76006:31:0;;;;;;;;-1:-1:-1;;;;;75994:5:0;;;;:11;;76006:31;;75781:53;;76006:31;75781:53;;;;;;;;;;;;76063:25;76080:7;76063:16;:25::i;65070:128::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;65152:8;:6;:8::i;:::-;65176:13;;;65152:38;;;-1:-1:-1;;;65152:38:0;;-1:-1:-1;;;;;65176:13:0;;;65152:38;;;;;;;;:23;;;;;:38;;;;;65176:13;;65152:38;;;;;;;;65176:13;65152:23;:38;;;5:2:-1;;;;30:1;27;20:12;8429:102:0;8569:12;:10;:12::i;:::-;8501:13;:22;;-1:-1:-1;;;;;;8501:22:0;-1:-1:-1;;;;;8501:22:0;;;;;;;;;;8429:102::o;65545:195::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;65666:8;:6;:8::i;:::-;65710:13;;;65666:66;;;-1:-1:-1;;;65666:66:0;;-1:-1:-1;;;;;65666:66:0;;;;;;;;;;65710:13;;;65666:66;;;;;;;;;;;:27;;;;;;;:66;;;;;65710:13;;65666:66;;;;;;;;65710:13;65666:27;:66;;;5:2:-1;;;;30:1;27;20:12;5:2;65666:66:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;65666:66:0;;;;65545:195;;:::o;33786:42::-;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;33786:42:0;:::o;69189:545::-;69454:19;69388:17;69407:22;68206:14;:12;:14::i;:::-;-1:-1:-1;;;;;68206:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68206:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68206:38:0;;;;68255:14;:12;:14::i;:::-;-1:-1:-1;;;;;68255:34:0;;68290:3;68295:4;68255:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68255:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68255:45:0;;;;8808:16;:14;:16::i;:::-;69506:11;:9;:11::i;:::-;69590:13;;;69506:220;;;-1:-1:-1;;;69506:220:0;;-1:-1:-1;;;;;69506:220:0;;;;;;;;;;69590:13;;;69506:220;;;;;;;;;;;;;;;;;;;;;;;:28;;;;;;;:220;;;;;;;;;;;;;;;69590:13;69506:28;:220;;;5:2:-1;;;;30:1;27;20:12;5:2;69506:220:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;69506:220:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;69506:220:0;;69189:545;-1:-1:-1;;;;;;;69189:545:0:o;60686:160::-;60770:4;60794:8;:6;:8::i;:::-;-1:-1:-1;;;;;60794:22:0;;60817:7;60826:11;60794:44;;;;;;;;;;;;;-1:-1:-1;;;;;60794:44:0;-1:-1:-1;;;;;60794:44:0;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;60794:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;60794:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;60794:44:0;;60686:160;-1:-1:-1;;;60686:160:0:o;61011:170::-;61104:4;61128:8;:6;:8::i;:::-;-1:-1:-1;;;;;61128:26:0;;61155:11;61168:4;61128:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;7823:28:0;;;-1:-1:-1;;;;;7823:28:0;;:::o;67474:81::-;67530:17;:15;:17::i;61329:116::-;61383:4;61407:8;:6;:8::i;:::-;-1:-1:-1;;;;;61407:28:0;;:30;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;24191:140:0;24287:10;;:36;;;-1:-1:-1;;;24287:36:0;;-1:-1:-1;;;;;24287:36:0;;;;;;;;;;;;;;;;24263:4;;24287:10;;;;;:20;;:36;;;;;;;;;;;;;;;:10;:36;;;5:2:-1;;;;30:1;27;20:12;75375:263:0;67867:11;:9;:11::i;:::-;-1:-1:-1;;;;;67845:34:0;:10;-1:-1:-1;;;;;67845:34:0;;67837:77;;;;;-1:-1:-1;;;67837:77:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;67837:77:0;;;;;;;;;;;;;;;75536:5;;;75548:35;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;75548:35:0;;;;;;;;-1:-1:-1;;;;;75536:5:0;;;;:11;;75548:35;;75312:54;;75548:35;75312:54;;;;;;;;;;;;75611:12;75625:1;75628;75536:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;33837:53:0;33888:2;33837:53;:::o;73598:664::-;73749:4;67977:14;:12;:14::i;:::-;-1:-1:-1;;;;;67977:34:0;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;67977:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;67977:36:0;;;;8808:16;:14;:16::i;:::-;73772:18;73792:21;73817:8;:6;:8::i;:::-;73914:13;;;73817:121;;;-1:-1:-1;;;73817:121:0;;-1:-1:-1;;;;;73817:121:0;;;;;;;;;;;;;;;;73914:13;;;73817:121;;;;;;:35;;;;;;;:121;;;;;;;;;;;;;73914:13;73817:35;:121;;;5:2:-1;;;;30:1;27;20:12;5:2;73817:121:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;73817:121:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;73817:121:0;;;;;;;74015:13;;73817:121;;-1:-1:-1;73817:121:0;-1:-1:-1;73951:78:0;;73973:7;;73817:121;;;;-1:-1:-1;;;;;74015:13:0;73951:21;:78::i;:::-;74225:13;;74199:55;;74216:7;;-1:-1:-1;;;;;74225:13:0;74240;74199:16;:55::i;:::-;74192:62;73598:664;-1:-1:-1;;;;;73598:664:0:o;64863:199::-;68078:14;:12;:14::i;:::-;-1:-1:-1;;;;;68078:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68078:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68078:38:0;;;;8808:16;:14;:16::i;:::-;64986:8;:6;:8::i;:::-;65032:13;;;64986:68;;;-1:-1:-1;;;64986:68:0;;-1:-1:-1;;;;;64986:68:0;;;;;;;;;;65032:13;;;64986:68;;;;;;;;;;;:28;;;;;;;:68;;;;;65032:13;;64986:68;;;;;;;;65032:13;64986:28;:68;;;5:2:-1;;;;30:1;27;20:12;23298:28:0;;;-1:-1:-1;;;;;23298:28:0;;:::o;7529:18::-;;;-1:-1:-1;;;;;7529:18:0;;:::o;68807:374::-;69027:19;68961:17;68980:22;68206:14;:12;:14::i;:::-;-1:-1:-1;;;;;68206:36:0;;:38;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68206:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68206:38:0;;;;68255:14;:12;:14::i;:::-;-1:-1:-1;;;;;68255:34:0;;68290:3;68295:4;68255:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;68255:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;68255:45:0;;;;8808:16;:14;:16::i;:::-;69066:11;:9;:11::i;:::-;69087:13;;;69066:107;;;-1:-1:-1;;;69066:107:0;;-1:-1:-1;;;;;69087:13:0;;;69066:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:20;;;;;:107;;;;;;;;;;;;;;;69087:13;69066:20;:107;;;5:2:-1;;;;30:1;27;20:12;5:2;69066:107:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;69066:107:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;69066:107:0;;68807:374;-1:-1:-1;;;;;;68807:374:0:o;60102:148::-;60143:7;60178:63;-1:-1:-1;;;60178:63:0;;;;;;;;;;;;;-1:-1:-1;;;60178:63:0;;;:20;:63::i;:::-;60163:79;;60102:148;:::o;8852:209::-;8922:5;;-1:-1:-1;;;;;8922:5:0;8907:10;8901:26;;;;:67;;-1:-1:-1;8952:16:0;;-1:-1:-1;;;;;8952:16:0;8937:10;8931:37;;8901:67;:98;;;;-1:-1:-1;8972:13:0;;-1:-1:-1;;;;;8972:13:0;8989:10;8972:27;;8901:98;8897:157;;;9016:13;:26;;-1:-1:-1;;;;;;9016:26:0;9032:10;9016:26;;;8852:209::o;27727:230::-;27847:5;;27859:17;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;27859:17:0;;;;;;;-1:-1:-1;;;;;27847:5:0;;;;:11;;27878:1;;27859:17;27672:46;;27859:17;27672:46;;;;;;;;;;;;27895:23;27912:5;27895:16;:23::i;:::-;27920:25;27937:7;27920:16;:25::i;:::-;27947:1;27847:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;59745:178:0;59792:13;59839:75;-1:-1:-1;;;59839:75:0;;;;;;;;;;;;;;;;;:20;:75::i;59931:163::-;59975:10;60016:69;-1:-1:-1;;;60016:69:0;;;;;;;;;;;;;;;;;:20;:69::i;60452:226::-;60506:20;60580:89;-1:-1:-1;;;60580:89:0;;;;;;;;;;;;;;;;;:20;:89::i;60258:186::-;60307:14;60356:79;-1:-1:-1;;;60356:79:0;;;;;;;;;;;;;;;;;:20;:79::i;10851:184::-;10909:7;10942:1;10937;:6;;10929:49;;;;;-1:-1:-1;;;10929:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11001:5:0;;;10851:184::o;10395:181::-;10453:7;10485:5;;;10509:6;;;;10501:46;;;;;-1:-1:-1;;;10501:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10567:1;10395:181;-1:-1:-1;;;10395:181:0:o;27324:218::-;27438:5;;27450:17;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;27450:17:0;;;;;;;-1:-1:-1;;;;;27438:5:0;;;;:11;;27469:1;;27450:17;27269:46;;27450:17;27269:46;;;;;;;;;;;;27486:22;27503:4;27486:16;:22::i;4409:133::-;4477:5;;-1:-1:-1;;;;;4477:5:0;4463:10;:19;4455:79;;;;-1:-1:-1;;;4455:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;63148:606;63222:4;63240:25;63271:16;:14;:16::i;:::-;:38;;;-1:-1:-1;;;63271:38:0;;-1:-1:-1;;;;;63271:38:0;;;;;;;;;:29;;;;;:38;;;;;;;;;;;;;:29;:38;;;5:2:-1;;;;30:1;27;20:12;5:2;63271:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63271:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;63271:38:0;;-1:-1:-1;63326:24:0;;63322:403;;63368:17;63387:21;63412:8;:6;:8::i;:::-;63506:10;;:29;;;-1:-1:-1;;;63506:29:0;;-1:-1:-1;;;;;63506:29:0;;;;;;;;;63412:49;;;;;;63480:7;;63506:10;;:20;;:29;;;;;;;;;;;;;;:10;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;63506:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63506:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;63506:29:0;63412:138;;;-1:-1:-1;;;;;;63412:138:0;;;;;;;-1:-1:-1;;;;;63412:138:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:2:-1;;;;30:1;27;20:12;5:2;63412:138:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;63412:138:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;63412:138:0;;;;;;;;;-1:-1:-1;63412:138:0;-1:-1:-1;63573:21:0;;;;63565:72;;;;-1:-1:-1;;;63565:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;63661:16;63660:17;63652:61;;;;;-1:-1:-1;;;63652:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;63742:4:0;;63148:606;-1:-1:-1;;;;;63148:606:0:o;26218:385::-;26459:10;;26497:34;;;-1:-1:-1;;;26497:34:0;;-1:-1:-1;;;;;26497:34:0;;;;;;;;;;;;;;;;26363:4;;26459:10;;;;;:23;;26483:4;;26489:6;;26497:45;;26536:5;;26459:10;;26497:20;;:34;;;;;;;;;;;;;;;26459:10;26497:34;;;5:2:-1;;;;30:1;27;20:12;5:2;26497:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26497:34:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26497:34:0;;:45;:38;:45;:::i;:::-;26459:84;;;;;;;;;;;;;-1:-1:-1;;;;;26459:84:0;-1:-1:-1;;;;;26459:84:0;;;;;;-1:-1:-1;;;;;26459:84:0;-1:-1:-1;;;;;26459:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26459:84:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26459:84:0;;;;26561:34;26579:4;26585:2;26589:5;26561:17;:34::i;67654:97::-;67706:37;;;-1:-1:-1;;;67706:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;27014:131;-1:-1:-1;;;;;27113:23:0;;27014:131::o;9221:284::-;9301:5;;-1:-1:-1;;;;;9301:5:0;9286:10;9280:26;;;;:67;;-1:-1:-1;9331:16:0;;-1:-1:-1;;;;;9331:16:0;9316:10;9310:37;;9280:67;:98;;;;-1:-1:-1;9351:13:0;;-1:-1:-1;;;;;9351:13:0;9368:10;9351:27;;9280:98;9276:157;;;9395:13;:26;;-1:-1:-1;;;;;;9395:26:0;9411:10;9395:26;;;9276:157;9468:5;;9451:13;;-1:-1:-1;;;;;9451:13:0;;;9468:5;;9451:22;9443:54;;;;;-1:-1:-1;;;9443:54:0;;;;;;;;;;;;-1:-1:-1;;;9443:54:0;;;;;;;;;;;;;;28116:155;28190:5;;28202:25;;;-1:-1:-1;;;;;28202:25:0;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;28202:25:0;;;;;;28068:39;;;;;;;;;;;;;-1:-1:-1;;;28190:73:0;;:5;:73;;;;;;;;;;;;:5;:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:5;;;;;:11;;28202:25;28190:5;;28068:39;;28190:5;;;;;;:73;;;;;;;;;;;;;;:5;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;28190:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;25848:182:0;25964:4;25988:34;26006:4;26012:2;26016:5;25988:17;:34::i;8609:157::-;8684:5;;-1:-1:-1;;;;;8684:5:0;8669:10;8663:26;;:67;;-1:-1:-1;8714:16:0;;-1:-1:-1;;;;;8714:16:0;8699:10;8693:37;8663:67;8655:103;;;;;-1:-1:-1;;;8655:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;76809:400;76987:5;;;77013:53;;;;;;;;;;;;;;;-1:-1:-1;;;;;77013:53:0;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;77013:53:0;;;;;;;;76987:5;;;;:11;;77013:53;;76737:63;;77013:53;76737:63;;;;;;;;;;;;77133:25;77150:7;77133:16;:25::i;:::-;77173:1;77189;76987:214;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;76987:214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;76987:214:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;76987:214:0;;;;76809:400;;;;:::o;35222:245::-;35311:7;35355:18;;;:12;:18;;;;;;-1:-1:-1;;;;;35355:18:0;35421:6;35392:27;35384:44;;;;-1:-1:-1;;;35384:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;35384:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;35446:13:0;35222:245;-1:-1:-1;;;35222:245:0:o;59551:186::-;59600:15;59651:77;-1:-1:-1;;;59651:77:0;;;;;;;;;;;;;;;;;:20;:77::i;25015:656::-;25132:4;-1:-1:-1;;;;;25219:16:0;;;;;;:39;;-1:-1:-1;;;;;;25239:19:0;;25253:4;25239:19;;25219:39;:63;;;;-1:-1:-1;25276:5:0;;-1:-1:-1;;;;;25262:20:0;;;25276:5;;25262:20;;25219:63;25211:107;;;;;-1:-1:-1;;;25211:107:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;25405:10;;25435:26;;;-1:-1:-1;;;25435:26:0;;-1:-1:-1;;;;;25435:26:0;;;;;;;;;25405:10;;;;;:23;;25429:4;;25435:37;;25466:5;;25405:10;;25435:20;;:26;;;;;;;;;;;;;;;25405:10;25435:26;;;5:2:-1;;;;30:1;27;20:12;25435:37:0;25405:68;;;;;;;;;;;;;-1:-1:-1;;;;;25405:68:0;-1:-1:-1;;;;;25405:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25405:68:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;25484:10:0;;25512:24;;;-1:-1:-1;;;25512:24:0;;-1:-1:-1;;;;;25512:24:0;;;;;;;;;25484:10;;;;;-1:-1:-1;25484:23:0;;-1:-1:-1;25508:2:0;;25512:35;;25541:5;;25484:10;;25512:20;;:24;;;;;;;;;;;;;;;25484:10;25512:24;;;5:2:-1;;;;30:1;27;20:12;25512:35:0;25484:64;;;;;;;;;;;;;-1:-1:-1;;;;;25484:64:0;-1:-1:-1;;;;;25484:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25484:64:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25484:64:0;;;;25610:29;25623:4;25629:2;25633:5;25610:12;:29::i;68416:8796::-;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;-1:-1;68416:8796:0;;;-1:-1:-1;;68416:8796:0:o

Swarm Source

bzzr://1e92215e8b85559d2294111b12ba2e25523c5d93534587c27bc3ab56c2b2541e
Block Transaction Gas Used Reward
Age Block Fee Address BC Fee Address Voting Power Jailed Incoming
Block Uncle Number Difficulty Gas Used Reward
Loading