Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.13;

import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
import {ProofOfBurnVerifier} from "./ProofOfBurnVerifier.sol";
import {SpendVerifier} from "./SpendVerifier.sol";

contract BETH is ERC20 {
    ProofOfBurnVerifier proofOfBurnVerifier;
    SpendVerifier spendVerifier;
    mapping(uint256 => bool) nullifiers;
    mapping(uint256 => bool) coins;

    constructor() ERC20("Burnt ETH", "BETH") {
        proofOfBurnVerifier = new ProofOfBurnVerifier();
        spendVerifier = new SpendVerifier();
    }

    function mintCoin(
        uint256[2] calldata _pA,
        uint256[2][2] calldata _pB,
        uint256[2] calldata _pC,
        uint256 _blockNumber,
        uint256 _nullifier,
        uint256 _remainingCoin,
        uint256 _fee,
        uint256 _spend,
        address _receiver
    ) public {
        require(_fee + _spend <= 1 ether); // Mint cap
        require(!nullifiers[_nullifier]);
        require(!coins[_remainingCoin]);
        bytes32 blockRoot = blockhash(_blockNumber);
        uint256 commitment = uint256(
            keccak256(
                abi.encodePacked(blockRoot, _nullifier, _remainingCoin, _fee, _spend, uint256(uint160(_receiver)))
            )
        ) >> 8;
        require(proofOfBurnVerifier.verifyProof(_pA, _pB, _pC, [commitment]), "Invalid proof!");
        _mint(msg.sender, _fee);
        _mint(_receiver, _spend);
        nullifiers[_nullifier] = true;
        coins[_remainingCoin] = true;
    }

    function spendCoin(
        uint256[2] calldata _pA,
        uint256[2][2] calldata _pB,
        uint256[2] calldata _pC,
        uint256 _coin,
        uint256 _amount,
        uint256 _remainingCoin,
        uint256 _fee,
        address _receiver

    ) public {
        require(coins[_coin], "Coin does not exist");
        require(!coins[_remainingCoin]," Remaining coin already exists");
        uint256 commitment = uint256(
            keccak256(
                abi.encodePacked(_coin, _amount, _remainingCoin, _fee ,uint256(uint160(_receiver)))
                )
                ) >> 8;
        require(spendVerifier.verifyProof(_pA, _pB, _pC, [commitment]), "Invalid proof!");
        _mint(msg.sender, _fee);
        _mint(_receiver, _amount);
        coins[_coin] = false;
        coins[_remainingCoin] = true;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.3.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;

import {IERC20} from "./IERC20.sol";
import {IERC20Metadata} from "./extensions/IERC20Metadata.sol";
import {Context} from "../../utils/Context.sol";
import {IERC20Errors} from "../../interfaces/draft-IERC6093.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC-20
 * applications.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

    mapping(address account => mapping(address spender => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * Both values are immutable: they can only be set once during construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the default value returned by this function, unless
     * it's overridden.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Skips emitting an {Approval} event indicating an allowance update. This is not
     * required by the ERC. See {xref-ERC20-_approve-address-address-uint256-bool-}[_approve].
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` as the allowance of `spender` over the `owner`'s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     *
     * ```solidity
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner`'s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance < type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

// SPDX-License-Identifier: GPL-3.0
/*
    Copyright 2021 0KIMS association.

    This file is generated with [snarkJS](https://github.com/iden3/snarkjs).

    snarkJS is a free software: you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    snarkJS is distributed in the hope that it will be useful, but WITHOUT
    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
    or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
    License for more details.

    You should have received a copy of the GNU General Public License
    along with snarkJS. If not, see <https://www.gnu.org/licenses/>.
*/

pragma solidity >=0.7.0 <0.9.0;

contract ProofOfBurnVerifier {
    // Scalar field size
    uint256 constant r    = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
    // Base field size
    uint256 constant q   = 21888242871839275222246405745257275088696311157297823662689037894645226208583;

    // Verification Key data
    uint256 constant alphax  = 20491192805390485299153009773594534940189261866228447918068658471970481763042;
    uint256 constant alphay  = 9383485363053290200918347156157836566562967994039712273449902621266178545958;
    uint256 constant betax1  = 4252822878758300859123897981450591353533073413197771768651442665752259397132;
    uint256 constant betax2  = 6375614351688725206403948262868962793625744043794305715222011528459656738731;
    uint256 constant betay1  = 21847035105528745403288232691147584728191162732299865338377159692350059136679;
    uint256 constant betay2  = 10505242626370262277552901082094356697409835680220590971873171140371331206856;
    uint256 constant gammax1 = 11559732032986387107991004021392285783925812861821192530917403151452391805634;
    uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
    uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
    uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
    uint256 constant deltax1 = 1909509106855396645866794639655332455481249314995449914334732038363836551937;
    uint256 constant deltax2 = 9206697606973716883521012097235419354316797726521112014558639410487684640970;
    uint256 constant deltay1 = 20184189169096204033875621574152617736805009299164766169960708720711561347485;
    uint256 constant deltay2 = 12227578378264111381899415289511317458920259146968670324680247968202123849226;

    
    uint256 constant IC0x = 17981016415722245772442382858927564259834542968495105279336873778045267855424;
    uint256 constant IC0y = 6727694969926707052939778545606762903599824719387877996827866518158636831549;
    
    uint256 constant IC1x = 19737023379765774210194385307893707984716381403776209139995368476453787818080;
    uint256 constant IC1y = 18126007243504095946874613321957771918526426501936487307392985066864586050295;
    
 
    // Memory data
    uint16 constant pVk = 0;
    uint16 constant pPairing = 128;

    uint16 constant pLastMem = 896;

    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[1] calldata _pubSignals) public view returns (bool) {
        assembly {
            function checkField(v) {
                if iszero(lt(v, r)) {
                    mstore(0, 0)
                    return(0, 0x20)
                }
            }
            
            // G1 function to multiply a G1 value(x,y) to value in an address
            function g1_mulAccC(pR, x, y, s) {
                let success
                let mIn := mload(0x40)
                mstore(mIn, x)
                mstore(add(mIn, 32), y)
                mstore(add(mIn, 64), s)

                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)

                if iszero(success) {
                    mstore(0, 0)
                    return(0, 0x20)
                }

                mstore(add(mIn, 64), mload(pR))
                mstore(add(mIn, 96), mload(add(pR, 32)))

                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)

                if iszero(success) {
                    mstore(0, 0)
                    return(0, 0x20)
                }
            }

            function checkPairing(pA, pB, pC, pubSignals, pMem) -> isOk {
                let _pPairing := add(pMem, pPairing)
                let _pVk := add(pMem, pVk)

                mstore(_pVk, IC0x)
                mstore(add(_pVk, 32), IC0y)

                // Compute the linear combination vk_x
                
                g1_mulAccC(_pVk, IC1x, IC1y, calldataload(add(pubSignals, 0)))
                

                // -A
                mstore(_pPairing, calldataload(pA))
                mstore(add(_pPairing, 32), mod(sub(q, calldataload(add(pA, 32))), q))

                // B
                mstore(add(_pPairing, 64), calldataload(pB))
                mstore(add(_pPairing, 96), calldataload(add(pB, 32)))
                mstore(add(_pPairing, 128), calldataload(add(pB, 64)))
                mstore(add(_pPairing, 160), calldataload(add(pB, 96)))

                // alpha1
                mstore(add(_pPairing, 192), alphax)
                mstore(add(_pPairing, 224), alphay)

                // beta2
                mstore(add(_pPairing, 256), betax1)
                mstore(add(_pPairing, 288), betax2)
                mstore(add(_pPairing, 320), betay1)
                mstore(add(_pPairing, 352), betay2)

                // vk_x
                mstore(add(_pPairing, 384), mload(add(pMem, pVk)))
                mstore(add(_pPairing, 416), mload(add(pMem, add(pVk, 32))))


                // gamma2
                mstore(add(_pPairing, 448), gammax1)
                mstore(add(_pPairing, 480), gammax2)
                mstore(add(_pPairing, 512), gammay1)
                mstore(add(_pPairing, 544), gammay2)

                // C
                mstore(add(_pPairing, 576), calldataload(pC))
                mstore(add(_pPairing, 608), calldataload(add(pC, 32)))

                // delta2
                mstore(add(_pPairing, 640), deltax1)
                mstore(add(_pPairing, 672), deltax2)
                mstore(add(_pPairing, 704), deltay1)
                mstore(add(_pPairing, 736), deltay2)


                let success := staticcall(sub(gas(), 2000), 8, _pPairing, 768, _pPairing, 0x20)

                isOk := and(success, mload(_pPairing))
            }

            let pMem := mload(0x40)
            mstore(0x40, add(pMem, pLastMem))

            // Validate that all evaluations ∈ F
            
            checkField(calldataload(add(_pubSignals, 0)))
            

            // Validate all evaluations
            let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)

            mstore(0, isValid)
             return(0, 0x20)
         }
     }
 }

// SPDX-License-Identifier: GPL-3.0
/*
    Copyright 2021 0KIMS association.

    This file is generated with [snarkJS](https://github.com/iden3/snarkjs).

    snarkJS is a free software: you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    snarkJS is distributed in the hope that it will be useful, but WITHOUT
    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
    or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
    License for more details.

    You should have received a copy of the GNU General Public License
    along with snarkJS. If not, see <https://www.gnu.org/licenses/>.
*/

pragma solidity >=0.7.0 <0.9.0;

contract SpendVerifier {
    // Scalar field size
    uint256 constant r    = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
    // Base field size
    uint256 constant q   = 21888242871839275222246405745257275088696311157297823662689037894645226208583;

    // Verification Key data
    uint256 constant alphax  = 20491192805390485299153009773594534940189261866228447918068658471970481763042;
    uint256 constant alphay  = 9383485363053290200918347156157836566562967994039712273449902621266178545958;
    uint256 constant betax1  = 4252822878758300859123897981450591353533073413197771768651442665752259397132;
    uint256 constant betax2  = 6375614351688725206403948262868962793625744043794305715222011528459656738731;
    uint256 constant betay1  = 21847035105528745403288232691147584728191162732299865338377159692350059136679;
    uint256 constant betay2  = 10505242626370262277552901082094356697409835680220590971873171140371331206856;
    uint256 constant gammax1 = 11559732032986387107991004021392285783925812861821192530917403151452391805634;
    uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
    uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
    uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
    uint256 constant deltax1 = 6653773975189807568996561480812060602327778957304029225971457536199949824690;
    uint256 constant deltax2 = 1375193313670198910852434038532220979935723399757386750357735353825459118218;
    uint256 constant deltay1 = 20367047339067716206936059847903429675692354290417839632114098012711440753149;
    uint256 constant deltay2 = 8387141715858365649975309517034969429917974727180854176760854765118868263674;

    
    uint256 constant IC0x = 3162927726549360325174093734654406533142481867760204537288248730597600273143;
    uint256 constant IC0y = 21268839257755305480668429309249307175466237596723772637622940560392896754318;
    
    uint256 constant IC1x = 8860414459536161877850773826290303052767725214326338789322224051455732213258;
    uint256 constant IC1y = 16734541645247186530283246901137369760383705297412457095212997399354654572583;
    
 
    // Memory data
    uint16 constant pVk = 0;
    uint16 constant pPairing = 128;

    uint16 constant pLastMem = 896;

    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[1] calldata _pubSignals) public view returns (bool) {
        assembly {
            function checkField(v) {
                if iszero(lt(v, r)) {
                    mstore(0, 0)
                    return(0, 0x20)
                }
            }
            
            // G1 function to multiply a G1 value(x,y) to value in an address
            function g1_mulAccC(pR, x, y, s) {
                let success
                let mIn := mload(0x40)
                mstore(mIn, x)
                mstore(add(mIn, 32), y)
                mstore(add(mIn, 64), s)

                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)

                if iszero(success) {
                    mstore(0, 0)
                    return(0, 0x20)
                }

                mstore(add(mIn, 64), mload(pR))
                mstore(add(mIn, 96), mload(add(pR, 32)))

                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)

                if iszero(success) {
                    mstore(0, 0)
                    return(0, 0x20)
                }
            }

            function checkPairing(pA, pB, pC, pubSignals, pMem) -> isOk {
                let _pPairing := add(pMem, pPairing)
                let _pVk := add(pMem, pVk)

                mstore(_pVk, IC0x)
                mstore(add(_pVk, 32), IC0y)

                // Compute the linear combination vk_x
                
                g1_mulAccC(_pVk, IC1x, IC1y, calldataload(add(pubSignals, 0)))
                

                // -A
                mstore(_pPairing, calldataload(pA))
                mstore(add(_pPairing, 32), mod(sub(q, calldataload(add(pA, 32))), q))

                // B
                mstore(add(_pPairing, 64), calldataload(pB))
                mstore(add(_pPairing, 96), calldataload(add(pB, 32)))
                mstore(add(_pPairing, 128), calldataload(add(pB, 64)))
                mstore(add(_pPairing, 160), calldataload(add(pB, 96)))

                // alpha1
                mstore(add(_pPairing, 192), alphax)
                mstore(add(_pPairing, 224), alphay)

                // beta2
                mstore(add(_pPairing, 256), betax1)
                mstore(add(_pPairing, 288), betax2)
                mstore(add(_pPairing, 320), betay1)
                mstore(add(_pPairing, 352), betay2)

                // vk_x
                mstore(add(_pPairing, 384), mload(add(pMem, pVk)))
                mstore(add(_pPairing, 416), mload(add(pMem, add(pVk, 32))))


                // gamma2
                mstore(add(_pPairing, 448), gammax1)
                mstore(add(_pPairing, 480), gammax2)
                mstore(add(_pPairing, 512), gammay1)
                mstore(add(_pPairing, 544), gammay2)

                // C
                mstore(add(_pPairing, 576), calldataload(pC))
                mstore(add(_pPairing, 608), calldataload(add(pC, 32)))

                // delta2
                mstore(add(_pPairing, 640), deltax1)
                mstore(add(_pPairing, 672), deltax2)
                mstore(add(_pPairing, 704), deltay1)
                mstore(add(_pPairing, 736), deltay2)


                let success := staticcall(sub(gas(), 2000), 8, _pPairing, 768, _pPairing, 0x20)

                isOk := and(success, mload(_pPairing))
            }

            let pMem := mload(0x40)
            mstore(0x40, add(pMem, pLastMem))

            // Validate that all evaluations ∈ F
            
            checkField(calldataload(add(_pubSignals, 0)))
            

            // Validate all evaluations
            let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)

            mstore(0, isValid)
             return(0, 0x20)
         }
     }
 }

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC-20 standard as defined in the ERC.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the value of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

import {IERC20} from "../IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC-20 standard.
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC-20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC-721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC-1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

{
  "remappings": [
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
    "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",
    "forge-std/=lib/forge-std/src/",
    "halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "cancun",
  "viaIR": false
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[2]","name":"_pA","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"_pB","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"_pC","type":"uint256[2]"},{"internalType":"uint256","name":"_blockNumber","type":"uint256"},{"internalType":"uint256","name":"_nullifier","type":"uint256"},{"internalType":"uint256","name":"_remainingCoin","type":"uint256"},{"internalType":"uint256","name":"_fee","type":"uint256"},{"internalType":"uint256","name":"_spend","type":"uint256"},{"internalType":"address","name":"_receiver","type":"address"}],"name":"mintCoin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[2]","name":"_pA","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"_pB","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"_pC","type":"uint256[2]"},{"internalType":"uint256","name":"_coin","type":"uint256"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256","name":"_remainingCoin","type":"uint256"},{"internalType":"uint256","name":"_fee","type":"uint256"},{"internalType":"address","name":"_receiver","type":"address"}],"name":"spendCoin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f5ffd5b506040518060400160405280600981526020017f4275726e742045544800000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4245544800000000000000000000000000000000000000000000000000000000815250816003908161008b91906103c4565b50806004908161009b91906103c4565b5050506040516100aa9061016d565b604051809103905ff0801580156100c3573d5f5f3e3d5ffd5b5060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060405161010f9061017a565b604051809103905ff080158015610128573d5f5f3e3d5ffd5b5060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610493565b6105ff80611df883390190565b6105ff806123f783390190565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061020257607f821691505b602082108103610215576102146101be565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102777fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261023c565b610281868361023c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6102c56102c06102bb84610299565b6102a2565b610299565b9050919050565b5f819050919050565b6102de836102ab565b6102f26102ea826102cc565b848454610248565b825550505050565b5f5f905090565b6103096102fa565b6103148184846102d5565b505050565b5b818110156103375761032c5f82610301565b60018101905061031a565b5050565b601f82111561037c5761034d8161021b565b6103568461022d565b81016020851015610365578190505b6103796103718561022d565b830182610319565b50505b505050565b5f82821c905092915050565b5f61039c5f1984600802610381565b1980831691505092915050565b5f6103b4838361038d565b9150826002028217905092915050565b6103cd82610187565b67ffffffffffffffff8111156103e6576103e5610191565b5b6103f082546101eb565b6103fb82828561033b565b5f60209050601f83116001811461042c575f841561041a578287015190505b61042485826103a9565b86555061048b565b601f19841661043a8661021b565b5f5b828110156104615784890151825560018201915060208501945060208101905061043c565b8683101561047e578489015161047a601f89168261038d565b8355505b6001600288020188555050505b505050505050565b611958806104a05f395ff3fe608060405234801561000f575f5ffd5b50600436106100a7575f3560e01c8063313ce5671161006f578063313ce5671461016357806370a082311461018157806395d89b41146101b1578063a9059cbb146101cf578063aaf5545a146101ff578063dd62ed3e1461021b576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f95780631d9a88811461011757806323b872dd14610133575b5f5ffd5b6100b361024b565b6040516100c09190610fae565b60405180910390f35b6100e360048036038101906100de919061105f565b6102db565b6040516100f091906110b7565b60405180910390f35b6101016102fd565b60405161010e91906110df565b60405180910390f35b610131600480360381019061012c919061113e565b610306565b005b61014d60048036038101906101489190611207565b610527565b60405161015a91906110b7565b60405180910390f35b61016b610555565b6040516101789190611272565b60405180910390f35b61019b6004803603810190610196919061128b565b61055d565b6040516101a891906110df565b60405180910390f35b6101b96105a2565b6040516101c69190610fae565b60405180910390f35b6101e960048036038101906101e4919061105f565b610632565b6040516101f691906110b7565b60405180910390f35b610219600480360381019061021491906112b6565b610654565b005b6102356004803603810190610230919061136c565b6108b9565b60405161024291906110df565b60405180910390f35b60606003805461025a906113d7565b80601f0160208091040260200160405190810160405280929190818152602001828054610286906113d7565b80156102d15780601f106102a8576101008083540402835291602001916102d1565b820191905f5260205f20905b8154815290600101906020018083116102b457829003601f168201915b5050505050905090565b5f5f6102e561093b565b90506102f2818585610942565b600191505092915050565b5f600254905090565b670de0b6b3a7640000828461031b9190611434565b1115610325575f5ffd5b60075f8681526020019081526020015f205f9054906101000a900460ff161561034c575f5ffd5b60085f8581526020019081526020015f205f9054906101000a900460ff1615610373575f5ffd5b5f864090505f600882888888888873ffffffffffffffffffffffffffffffffffffffff166040516020016103ac969594939291906114b0565b604051602081830303815290604052805190602001205f1c901c905060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166343753b4d8c8c8c6040518060200160405280878152506040518563ffffffff1660e01b81526004016104369493929190611695565b602060405180830381865afa158015610451573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104759190611704565b6104b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ab90611779565b60405180910390fd5b6104be3386610954565b6104c88385610954565b600160075f8981526020019081526020015f205f6101000a81548160ff021916908315150217905550600160085f8881526020019081526020015f205f6101000a81548160ff0219169083151502179055505050505050505050505050565b5f5f61053161093b565b905061053e8582856109d3565b610549858585610a66565b60019150509392505050565b5f6012905090565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546105b1906113d7565b80601f01602080910402602001604051908101604052809291908181526020018280546105dd906113d7565b80156106285780601f106105ff57610100808354040283529160200191610628565b820191905f5260205f20905b81548152906001019060200180831161060b57829003601f168201915b5050505050905090565b5f5f61063c61093b565b9050610649818585610a66565b600191505092915050565b60085f8681526020019081526020015f205f9054906101000a900460ff166106b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a8906117e1565b60405180910390fd5b60085f8481526020019081526020015f205f9054906101000a900460ff161561070f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070690611849565b60405180910390fd5b5f6008868686868673ffffffffffffffffffffffffffffffffffffffff16604051602001610741959493929190611867565b604051602081830303815290604052805190602001205f1c901c905060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166343753b4d8a8a8a6040518060200160405280878152506040518563ffffffff1660e01b81526004016107cb9493929190611695565b602060405180830381865afa1580156107e6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061080a9190611704565b610849576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084090611779565b60405180910390fd5b6108533384610954565b61085d8286610954565b5f60085f8881526020019081526020015f205f6101000a81548160ff021916908315150217905550600160085f8681526020019081526020015f205f6101000a81548160ff021916908315150217905550505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61094f8383836001610b56565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109c4575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016109bb91906118d4565b60405180910390fd5b6109cf5f8383610d25565b5050565b5f6109de84846108b9565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811015610a605781811015610a51578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610a48939291906118ed565b60405180910390fd5b610a5f84848484035f610b56565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ad6575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610acd91906118d4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b46575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610b3d91906118d4565b60405180910390fd5b610b51838383610d25565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610bc6575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610bbd91906118d4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c36575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610c2d91906118d4565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610d1f578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610d1691906110df565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d75578060025f828254610d699190611434565b92505081905550610e43565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610dfe578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610df5939291906118ed565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e8a578060025f8282540392505081905550610ed4565b805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610f3191906110df565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f8082610f3e565b610f8a8185610f48565b9350610f9a818560208601610f58565b610fa381610f66565b840191505092915050565b5f6020820190508181035f830152610fc68184610f76565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ffb82610fd2565b9050919050565b61100b81610ff1565b8114611015575f5ffd5b50565b5f8135905061102681611002565b92915050565b5f819050919050565b61103e8161102c565b8114611048575f5ffd5b50565b5f8135905061105981611035565b92915050565b5f5f6040838503121561107557611074610fce565b5b5f61108285828601611018565b92505060206110938582860161104b565b9150509250929050565b5f8115159050919050565b6110b18161109d565b82525050565b5f6020820190506110ca5f8301846110a8565b92915050565b6110d98161102c565b82525050565b5f6020820190506110f25f8301846110d0565b92915050565b5f5ffd5b5f81905082602060020282011115611117576111166110f8565b5b92915050565b5f81905082604060020282011115611138576111376110f8565b5b92915050565b5f5f5f5f5f5f5f5f5f6101c08a8c03121561115c5761115b610fce565b5b5f6111698c828d016110fc565b995050604061117a8c828d0161111d565b98505060c061118b8c828d016110fc565b97505061010061119d8c828d0161104b565b9650506101206111af8c828d0161104b565b9550506101406111c18c828d0161104b565b9450506101606111d38c828d0161104b565b9350506101806111e58c828d0161104b565b9250506101a06111f78c828d01611018565b9150509295985092959850929598565b5f5f5f6060848603121561121e5761121d610fce565b5b5f61122b86828701611018565b935050602061123c86828701611018565b925050604061124d8682870161104b565b9150509250925092565b5f60ff82169050919050565b61126c81611257565b82525050565b5f6020820190506112855f830184611263565b92915050565b5f602082840312156112a05761129f610fce565b5b5f6112ad84828501611018565b91505092915050565b5f5f5f5f5f5f5f5f6101a0898b0312156112d3576112d2610fce565b5b5f6112e08b828c016110fc565b98505060406112f18b828c0161111d565b97505060c06113028b828c016110fc565b9650506101006113148b828c0161104b565b9550506101206113268b828c0161104b565b9450506101406113388b828c0161104b565b93505061016061134a8b828c0161104b565b92505061018061135c8b828c01611018565b9150509295985092959890939650565b5f5f6040838503121561138257611381610fce565b5b5f61138f85828601611018565b92505060206113a085828601611018565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ee57607f821691505b602082108103611401576114006113aa565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61143e8261102c565b91506114498361102c565b925082820190508082111561146157611460611407565b5b92915050565b5f819050919050565b5f819050919050565b61148a61148582611467565b611470565b82525050565b5f819050919050565b6114aa6114a58261102c565b611490565b82525050565b5f6114bb8289611479565b6020820191506114cb8288611499565b6020820191506114db8287611499565b6020820191506114eb8286611499565b6020820191506114fb8285611499565b60208201915061150b8284611499565b602082019150819050979650505050505050565b82818337505050565b6115346040838361151f565b5050565b5f60029050919050565b5f81905092915050565b5f819050919050565b6115616040838361151f565b5050565b5f6115708383611555565b60408301905092915050565b5f82905092915050565b5f604082019050919050565b61159b81611538565b6115a58184611542565b92506115b08261154c565b805f5b838110156115e8576115c5828461157c565b6115cf8782611565565b96506115da83611586565b9250506001810190506115b3565b505050505050565b5f60019050919050565b5f81905092915050565b5f819050919050565b6116168161102c565b82525050565b5f611627838361160d565b60208301905092915050565b5f602082019050919050565b611648816115f0565b61165281846115fa565b925061165d82611604565b805f5b8381101561168d578151611674878261161c565b965061167f83611633565b925050600181019050611660565b505050505050565b5f610120820190506116a95f830187611528565b6116b66040830186611592565b6116c360c0830185611528565b6116d161010083018461163f565b95945050505050565b6116e38161109d565b81146116ed575f5ffd5b50565b5f815190506116fe816116da565b92915050565b5f6020828403121561171957611718610fce565b5b5f611726848285016116f0565b91505092915050565b7f496e76616c69642070726f6f66210000000000000000000000000000000000005f82015250565b5f611763600e83610f48565b915061176e8261172f565b602082019050919050565b5f6020820190508181035f83015261179081611757565b9050919050565b7f436f696e20646f6573206e6f74206578697374000000000000000000000000005f82015250565b5f6117cb601383610f48565b91506117d682611797565b602082019050919050565b5f6020820190508181035f8301526117f8816117bf565b9050919050565b7f2052656d61696e696e6720636f696e20616c72656164792065786973747300005f82015250565b5f611833601e83610f48565b915061183e826117ff565b602082019050919050565b5f6020820190508181035f83015261186081611827565b9050919050565b5f6118728288611499565b6020820191506118828287611499565b6020820191506118928286611499565b6020820191506118a28285611499565b6020820191506118b28284611499565b6020820191508190509695505050505050565b6118ce81610ff1565b82525050565b5f6020820190506118e75f8301846118c5565b92915050565b5f6060820190506119005f8301866118c5565b61190d60208301856110d0565b61191a60408301846110d0565b94935050505056fea2646970667358221220db419770c3cd9b5538db5cb8460a0b650cc85047292dca9bdf66e51997abd85764736f6c634300081e00336080604052348015600e575f5ffd5b506105e38061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806343753b4d1461002d575b5f5ffd5b61004760048036038101906100429190610514565b61005d565b6040516100549190610594565b60405180910390f35b5f61047d565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018110610092575f5f5260205ff35b50565b5f60405183815284602082015285604082015260408160608360076107d05a03fa9150816100c5575f5f5260205ff35b825160408201526020830151606082015260408360808360066107d05a03fa9150816100f3575f5f5260205ff35b505050505050565b5f608086015f87017f27c0e506d91c102909eec4f12b7feb51dc2640ba900d75d7fa313cbba559c84081527f0edfbd8b9fbf193aaec903aa19e69bac7e35e849a8562dfdce25a10d8885533d602082015261019b5f8801357f2812f4df8cd372e41e27adbb9c82e732782d7de3c4e919fea7ea6f2b31a8caf77f2ba2c2652a35fff5bbc8b7b6015ca512b08b4378d1ae05b2249ec319d3aa586084610095565b833582527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208501357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020830152843560408301526020850135606083015260408501356080830152606085013560a08301527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08301527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08301527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008301527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208301527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408301527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86101608301525f88015161018083015260205f018801516101a08301527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220830152853561024083015260208601356102608301527f0438be6d3d4a6bab3e651c0f56521e2a5d0c61b9279d029c29a765fa432793016102808301527f145ace61e9be5951dec1ee5daacacef0d0fba3d8a127febe27bb29fa88d230ca6102a08301527f2c9fd8a220625a1c4297c04724a1f013d80036803f19e044ad7f865e3e33819d6102c08301527f1b089069496504c24924cabae1e7ab5392678da4be30af1d97bc4ed59d4f2e0a6102e08301526020826103008460086107d05a03fa82518116935050505095945050505050565b60405161038081016040526104945f840135610063565b6104a1818486888a6100fb565b805f5260205ff35b5f5ffd5b5f5ffd5b5f819050826020600202820111156104cc576104cb6104ad565b5b92915050565b5f819050826040600202820111156104ed576104ec6104ad565b5b92915050565b5f8190508260206001028201111561050e5761050d6104ad565b5b92915050565b5f5f5f5f610120858703121561052d5761052c6104a9565b5b5f61053a878288016104b1565b945050604061054b878288016104d2565b93505060c061055c878288016104b1565b92505061010061056e878288016104f3565b91505092959194509250565b5f8115159050919050565b61058e8161057a565b82525050565b5f6020820190506105a75f830184610585565b9291505056fea264697066735822122046a174aee38d90649e23381b4dd25d37cfcef31c2eb98e5da14cdedcc5027f6f64736f6c634300081e00336080604052348015600e575f5ffd5b506105e38061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806343753b4d1461002d575b5f5ffd5b61004760048036038101906100429190610514565b61005d565b6040516100549190610594565b60405180910390f35b5f61047d565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018110610092575f5f5260205ff35b50565b5f60405183815284602082015285604082015260408160608360076107d05a03fa9150816100c5575f5f5260205ff35b825160408201526020830151606082015260408360808360066107d05a03fa9150816100f3575f5f5260205ff35b505050505050565b5f608086015f87017f06fe2755c66437ad92643ea7a2c3456c8b99b17cd3f1f5d8dc7e35033cdc22f781527f2f05bc85edb0e920cdc45b7f4f7a079e25f262ae3740860b8bbae7691181b28e602082015261019b5f8801357f24ff6a37feaeeccc48f5d92cf6d1d90baa2e749f31ad5e08e6ae3d19fe93c0277f1396d11e1c090a9d04803f94558f439dbac28a927e4220551e4131cdd73be60a84610095565b833582527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208501357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020830152843560408301526020850135606083015260408501356080830152606085013560a08301527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08301527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08301527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008301527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208301527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408301527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86101608301525f88015161018083015260205f018801516101a08301527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220830152853561024083015260208601356102608301527f0eb5e7118a6367602a9bc1ce70052c1ef191b22593e3416b8bc44bd87dd032b26102808301527f030a54f2f978a5b53d329725310e5b770d90e79cce20930e6203b151afeb208a6102a08301527f2d07571c9d36df14b15b10002e54d470f09f53bff9dc5b7560f3fa79e56e21fd6102c08301527f128af4386438a003ab249d615bd42c059da8d354db1f6a1905ed665cc16992fa6102e08301526020826103008460086107d05a03fa82518116935050505095945050505050565b60405161038081016040526104945f840135610063565b6104a1818486888a6100fb565b805f5260205ff35b5f5ffd5b5f5ffd5b5f819050826020600202820111156104cc576104cb6104ad565b5b92915050565b5f819050826040600202820111156104ed576104ec6104ad565b5b92915050565b5f8190508260206001028201111561050e5761050d6104ad565b5b92915050565b5f5f5f5f610120858703121561052d5761052c6104a9565b5b5f61053a878288016104b1565b945050604061054b878288016104d2565b93505060c061055c878288016104b1565b92505061010061056e878288016104f3565b91505092959194509250565b5f8115159050919050565b61058e8161057a565b82525050565b5f6020820190506105a75f830184610585565b9291505056fea2646970667358221220fe7bbf2eba1156a69522b6c84ec77c6c35d30c29f581ad78db0f993913ee252764736f6c634300081e0033

0x608060405234801561000f575f5ffd5b50600436106100a7575f3560e01c8063313ce5671161006f578063313ce5671461016357806370a082311461018157806395d89b41146101b1578063a9059cbb146101cf578063aaf5545a146101ff578063dd62ed3e1461021b576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f95780631d9a88811461011757806323b872dd14610133575b5f5ffd5b6100b361024b565b6040516100c09190610fae565b60405180910390f35b6100e360048036038101906100de919061105f565b6102db565b6040516100f091906110b7565b60405180910390f35b6101016102fd565b60405161010e91906110df565b60405180910390f35b610131600480360381019061012c919061113e565b610306565b005b61014d60048036038101906101489190611207565b610527565b60405161015a91906110b7565b60405180910390f35b61016b610555565b6040516101789190611272565b60405180910390f35b61019b6004803603810190610196919061128b565b61055d565b6040516101a891906110df565b60405180910390f35b6101b96105a2565b6040516101c69190610fae565b60405180910390f35b6101e960048036038101906101e4919061105f565b610632565b6040516101f691906110b7565b60405180910390f35b610219600480360381019061021491906112b6565b610654565b005b6102356004803603810190610230919061136c565b6108b9565b60405161024291906110df565b60405180910390f35b60606003805461025a906113d7565b80601f0160208091040260200160405190810160405280929190818152602001828054610286906113d7565b80156102d15780601f106102a8576101008083540402835291602001916102d1565b820191905f5260205f20905b8154815290600101906020018083116102b457829003601f168201915b5050505050905090565b5f5f6102e561093b565b90506102f2818585610942565b600191505092915050565b5f600254905090565b670de0b6b3a7640000828461031b9190611434565b1115610325575f5ffd5b60075f8681526020019081526020015f205f9054906101000a900460ff161561034c575f5ffd5b60085f8581526020019081526020015f205f9054906101000a900460ff1615610373575f5ffd5b5f864090505f600882888888888873ffffffffffffffffffffffffffffffffffffffff166040516020016103ac969594939291906114b0565b604051602081830303815290604052805190602001205f1c901c905060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166343753b4d8c8c8c6040518060200160405280878152506040518563ffffffff1660e01b81526004016104369493929190611695565b602060405180830381865afa158015610451573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104759190611704565b6104b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ab90611779565b60405180910390fd5b6104be3386610954565b6104c88385610954565b600160075f8981526020019081526020015f205f6101000a81548160ff021916908315150217905550600160085f8881526020019081526020015f205f6101000a81548160ff0219169083151502179055505050505050505050505050565b5f5f61053161093b565b905061053e8582856109d3565b610549858585610a66565b60019150509392505050565b5f6012905090565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546105b1906113d7565b80601f01602080910402602001604051908101604052809291908181526020018280546105dd906113d7565b80156106285780601f106105ff57610100808354040283529160200191610628565b820191905f5260205f20905b81548152906001019060200180831161060b57829003601f168201915b5050505050905090565b5f5f61063c61093b565b9050610649818585610a66565b600191505092915050565b60085f8681526020019081526020015f205f9054906101000a900460ff166106b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a8906117e1565b60405180910390fd5b60085f8481526020019081526020015f205f9054906101000a900460ff161561070f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070690611849565b60405180910390fd5b5f6008868686868673ffffffffffffffffffffffffffffffffffffffff16604051602001610741959493929190611867565b604051602081830303815290604052805190602001205f1c901c905060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166343753b4d8a8a8a6040518060200160405280878152506040518563ffffffff1660e01b81526004016107cb9493929190611695565b602060405180830381865afa1580156107e6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061080a9190611704565b610849576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084090611779565b60405180910390fd5b6108533384610954565b61085d8286610954565b5f60085f8881526020019081526020015f205f6101000a81548160ff021916908315150217905550600160085f8681526020019081526020015f205f6101000a81548160ff021916908315150217905550505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61094f8383836001610b56565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109c4575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016109bb91906118d4565b60405180910390fd5b6109cf5f8383610d25565b5050565b5f6109de84846108b9565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811015610a605781811015610a51578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401610a48939291906118ed565b60405180910390fd5b610a5f84848484035f610b56565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ad6575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401610acd91906118d4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b46575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401610b3d91906118d4565b60405180910390fd5b610b51838383610d25565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610bc6575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401610bbd91906118d4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c36575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401610c2d91906118d4565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610d1f578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610d1691906110df565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d75578060025f828254610d699190611434565b92505081905550610e43565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610dfe578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610df5939291906118ed565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e8a578060025f8282540392505081905550610ed4565b805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610f3191906110df565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f8082610f3e565b610f8a8185610f48565b9350610f9a818560208601610f58565b610fa381610f66565b840191505092915050565b5f6020820190508181035f830152610fc68184610f76565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ffb82610fd2565b9050919050565b61100b81610ff1565b8114611015575f5ffd5b50565b5f8135905061102681611002565b92915050565b5f819050919050565b61103e8161102c565b8114611048575f5ffd5b50565b5f8135905061105981611035565b92915050565b5f5f6040838503121561107557611074610fce565b5b5f61108285828601611018565b92505060206110938582860161104b565b9150509250929050565b5f8115159050919050565b6110b18161109d565b82525050565b5f6020820190506110ca5f8301846110a8565b92915050565b6110d98161102c565b82525050565b5f6020820190506110f25f8301846110d0565b92915050565b5f5ffd5b5f81905082602060020282011115611117576111166110f8565b5b92915050565b5f81905082604060020282011115611138576111376110f8565b5b92915050565b5f5f5f5f5f5f5f5f5f6101c08a8c03121561115c5761115b610fce565b5b5f6111698c828d016110fc565b995050604061117a8c828d0161111d565b98505060c061118b8c828d016110fc565b97505061010061119d8c828d0161104b565b9650506101206111af8c828d0161104b565b9550506101406111c18c828d0161104b565b9450506101606111d38c828d0161104b565b9350506101806111e58c828d0161104b565b9250506101a06111f78c828d01611018565b9150509295985092959850929598565b5f5f5f6060848603121561121e5761121d610fce565b5b5f61122b86828701611018565b935050602061123c86828701611018565b925050604061124d8682870161104b565b9150509250925092565b5f60ff82169050919050565b61126c81611257565b82525050565b5f6020820190506112855f830184611263565b92915050565b5f602082840312156112a05761129f610fce565b5b5f6112ad84828501611018565b91505092915050565b5f5f5f5f5f5f5f5f6101a0898b0312156112d3576112d2610fce565b5b5f6112e08b828c016110fc565b98505060406112f18b828c0161111d565b97505060c06113028b828c016110fc565b9650506101006113148b828c0161104b565b9550506101206113268b828c0161104b565b9450506101406113388b828c0161104b565b93505061016061134a8b828c0161104b565b92505061018061135c8b828c01611018565b9150509295985092959890939650565b5f5f6040838503121561138257611381610fce565b5b5f61138f85828601611018565b92505060206113a085828601611018565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ee57607f821691505b602082108103611401576114006113aa565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61143e8261102c565b91506114498361102c565b925082820190508082111561146157611460611407565b5b92915050565b5f819050919050565b5f819050919050565b61148a61148582611467565b611470565b82525050565b5f819050919050565b6114aa6114a58261102c565b611490565b82525050565b5f6114bb8289611479565b6020820191506114cb8288611499565b6020820191506114db8287611499565b6020820191506114eb8286611499565b6020820191506114fb8285611499565b60208201915061150b8284611499565b602082019150819050979650505050505050565b82818337505050565b6115346040838361151f565b5050565b5f60029050919050565b5f81905092915050565b5f819050919050565b6115616040838361151f565b5050565b5f6115708383611555565b60408301905092915050565b5f82905092915050565b5f604082019050919050565b61159b81611538565b6115a58184611542565b92506115b08261154c565b805f5b838110156115e8576115c5828461157c565b6115cf8782611565565b96506115da83611586565b9250506001810190506115b3565b505050505050565b5f60019050919050565b5f81905092915050565b5f819050919050565b6116168161102c565b82525050565b5f611627838361160d565b60208301905092915050565b5f602082019050919050565b611648816115f0565b61165281846115fa565b925061165d82611604565b805f5b8381101561168d578151611674878261161c565b965061167f83611633565b925050600181019050611660565b505050505050565b5f610120820190506116a95f830187611528565b6116b66040830186611592565b6116c360c0830185611528565b6116d161010083018461163f565b95945050505050565b6116e38161109d565b81146116ed575f5ffd5b50565b5f815190506116fe816116da565b92915050565b5f6020828403121561171957611718610fce565b5b5f611726848285016116f0565b91505092915050565b7f496e76616c69642070726f6f66210000000000000000000000000000000000005f82015250565b5f611763600e83610f48565b915061176e8261172f565b602082019050919050565b5f6020820190508181035f83015261179081611757565b9050919050565b7f436f696e20646f6573206e6f74206578697374000000000000000000000000005f82015250565b5f6117cb601383610f48565b91506117d682611797565b602082019050919050565b5f6020820190508181035f8301526117f8816117bf565b9050919050565b7f2052656d61696e696e6720636f696e20616c72656164792065786973747300005f82015250565b5f611833601e83610f48565b915061183e826117ff565b602082019050919050565b5f6020820190508181035f83015261186081611827565b9050919050565b5f6118728288611499565b6020820191506118828287611499565b6020820191506118928286611499565b6020820191506118a28285611499565b6020820191506118b28284611499565b6020820191508190509695505050505050565b6118ce81610ff1565b82525050565b5f6020820190506118e75f8301846118c5565b92915050565b5f6060820190506119005f8301866118c5565b61190d60208301856110d0565b61191a60408301846110d0565b94935050505056fea2646970667358221220db419770c3cd9b5538db5cb8460a0b650cc85047292dca9bdf66e51997abd85764736f6c634300081e0033