Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

//
// Copyright 2017 Christian Reitwiessner
// 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 SOFTWARE.
//
// 2019 OKIMS
//      ported to solidity 0.6
//      fixed linter warnings
//      added requiere error messages
//
//
// SPDX-License-Identifier: GPL-3.0
pragma solidity 0.8.27;

import "./Groth16VerifierMTP.sol";
import "../../interfaces/IVerifier.sol";

contract Groth16VerifierMTPWrapper is Groth16VerifierMTP, IVerifier {
    /**
     * @dev Number of public signals for atomic mtp circuit
     */
    uint constant PUBSIGNALS_LENGTH = 11;

    /// @return r  bool true if proof is valid
    function verify(
        uint256[2] calldata a,
        uint256[2][2] calldata b,
        uint256[2] calldata c,
        uint256[] calldata input
    ) public view returns (bool r) {
        uint[PUBSIGNALS_LENGTH] memory pubSignals;

        require(input.length == PUBSIGNALS_LENGTH, "expected array length is 11");

        for (uint256 i = 0; i < PUBSIGNALS_LENGTH; i++) {
            pubSignals[i] = input[i];
        }

        return this.verifyProof(a, b, c, pubSignals);
    }
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity 0.8.27;

interface IVerifier {
    function verify(
        uint256[2] calldata a,
        uint256[2][2] calldata b,
        uint256[2] calldata c,
        uint256[] calldata input
    ) external view returns (bool r);
}

// 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 Groth16VerifierMTP {
    // 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 = 10069053650952764050770858763214373754669660210324204774418789033662943009749;
    uint256 constant deltax2 = 21107007358082136795614874512538836487771939470796762405748007366166733704104;
    uint256 constant deltay1 = 4852486786898691455964846082763016922630372558821263656172370355988314898575;
    uint256 constant deltay2 = 8559222867245112767064473074858818732424559824983124225374445082554790506808;


    uint256 constant IC0x = 1313452981527053129337572951247197324361989034671138626745310268341512913566;
    uint256 constant IC0y = 15303507074060980322389491486850010383524156520378503449579570642767442684301;

    uint256 constant IC1x = 19469759548582862041953210077461806234755067239635831761330214958262728102210;
    uint256 constant IC1y = 16182855449814336395630220912227600929619756764754084585163045607249874698864;

    uint256 constant IC2x = 5328220111696630739082100852965753471276442277347833726730125705096477686086;
    uint256 constant IC2y = 18905255288005092837452154631677141443252188654645540166408868771529766552954;

    uint256 constant IC3x = 10933184819912527903586676306361564765563053120720138042486726178048079682568;
    uint256 constant IC3y = 18280626518907496130958526005677563160967544228407334084744886760261543167298;

    uint256 constant IC4x = 11558797904750992453617754478260603596631069504995139547656018378652112039786;
    uint256 constant IC4y = 7387560020132856716152855364841368262707029595898949014465420811988605836841;

    uint256 constant IC5x = 258345740540242369340676522345540363903777759573849221853370493977314124714;
    uint256 constant IC5y = 8261745575084416750025555445617776886593428107172740509334601364674159098729;

    uint256 constant IC6x = 12229618381132244012134195568281704584580345418094236823704672151870483088680;
    uint256 constant IC6y = 19652481126909183227792433955062439643525977794731426347743513078747968248518;

    uint256 constant IC7x = 21501269229626602828017941470237394838663343517747470934919163514713566489074;
    uint256 constant IC7y = 10918047203423236169474519778878366520860074771272087858656960949070403283927;

    uint256 constant IC8x = 560417708851693272956571111854350209791303214876197214262570647517120871869;
    uint256 constant IC8y = 188344482860559912840076092213437046073780559836275799283864998836054113147;

    uint256 constant IC9x = 12941763790218889190383140140219843141955553218417052891852216993045901023120;
    uint256 constant IC9y = 12682291388476462975465775054567905896202239758296039216608811622228355512204;

    uint256 constant IC10x = 11112576039136275785110528933884279009037779878785871940581425517795519742410;
    uint256 constant IC10y = 6613377654128709188004788921975143848004552607600543819185067176149822253345;

    uint256 constant IC11x = 13613305841160720689914712433320508347546323189059844660259139894452538774575;
    uint256 constant IC11y = 5325101314795154200638690464360192908052407201796948025470533168336651686116;

    // 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[11] calldata _pubSignals
    ) public view returns (bool) {
        assembly {
            function checkField(v) {
                if iszero(lt(v, q)) {
                    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)))

                g1_mulAccC(_pVk, IC2x, IC2y, calldataload(add(pubSignals, 32)))

                g1_mulAccC(_pVk, IC3x, IC3y, calldataload(add(pubSignals, 64)))

                g1_mulAccC(_pVk, IC4x, IC4y, calldataload(add(pubSignals, 96)))

                g1_mulAccC(_pVk, IC5x, IC5y, calldataload(add(pubSignals, 128)))

                g1_mulAccC(_pVk, IC6x, IC6y, calldataload(add(pubSignals, 160)))

                g1_mulAccC(_pVk, IC7x, IC7y, calldataload(add(pubSignals, 192)))

                g1_mulAccC(_pVk, IC8x, IC8y, calldataload(add(pubSignals, 224)))

                g1_mulAccC(_pVk, IC9x, IC9y, calldataload(add(pubSignals, 256)))

                g1_mulAccC(_pVk, IC10x, IC10y, calldataload(add(pubSignals, 288)))

                g1_mulAccC(_pVk, IC11x, IC11y, calldataload(add(pubSignals, 320)))

                // -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)))

            checkField(calldataload(add(_pubSignals, 32)))

            checkField(calldataload(add(_pubSignals, 64)))

            checkField(calldataload(add(_pubSignals, 96)))

            checkField(calldataload(add(_pubSignals, 128)))

            checkField(calldataload(add(_pubSignals, 160)))

            checkField(calldataload(add(_pubSignals, 192)))

            checkField(calldataload(add(_pubSignals, 224)))

            checkField(calldataload(add(_pubSignals, 256)))

            checkField(calldataload(add(_pubSignals, 288)))

            checkField(calldataload(add(_pubSignals, 320)))

            checkField(calldataload(add(_pubSignals, 352)))

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

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

{
  "evmVersion": "paris",
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256[2]","name":"a","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"b","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"c","type":"uint256[2]"},{"internalType":"uint256[]","name":"input","type":"uint256[]"}],"name":"verify","outputs":[{"internalType":"bool","name":"r","type":"bool"}],"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[11]","name":"_pubSignals","type":"uint256[11]"}],"name":"verifyProof","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

6080604052348015600f57600080fd5b50610f078061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80632612907c1461003b578063b9c6ea871461006b575b600080fd5b61005560048036038101906100509190610aad565b61009b565b6040516100629190610b52565b60405180910390f35b61008560048036038101906100809190610b8f565b6101c7565b6040516100929190610b52565b60405180910390f35b60006100a56109d7565b600b84849050146100eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e290610c55565b60405180910390fd5b60005b600b81101561013a5784848281811061010a57610109610c75565b5b905060200201358282600b811061012457610123610c75565b5b60200201818152505080806001019150506100ee565b503073ffffffffffffffffffffffffffffffffffffffff1663b9c6ea87888888856040518563ffffffff1660e01b815260040161017a9493929190610e31565b602060405180830381865afa158015610197573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101bb9190610ea4565b91505095945050505050565b6000610915565b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4781106101ff576000805260206000f35b50565b600060405183815284602082015285604082015260408160608360076107d05a03fa915081610235576000805260206000f35b825160408201526020830151606082015260408360808360066107d05a03fa915081610265576000805260206000f35b505050505050565b600060808601600087017f02e76356c6f5d7f49e6d4f6ec3a93cdc50cc3c271b41a11b21fc6c219031429e81527f21d57a61a975d9eb14e29a76de5ad78404f7db5867e0c49d51e939f1cbdd298d602082015261031060008801357f23c72bedb38cd965afd5a35233c42c2cd8fa23d2291ced5153eb0945cc42c2707f2b0b7e4eb338e79dc49653f0a32a4acb42d6d65d67d6a8796c8d292012f9914284610202565b61036060208801357f29cbfecbf222d323af8e1c9654292ece38b45352b18200308e6259773dd5457a7f0bc7aa6c1aef693444e35935cea1fa02ceef7c4eb684e0a71c380bd1cbea394684610202565b6103b060408801357f286a77cb393820c524cdd54518ea43d3f27d595bf6a910694a1170fbe35685427f182bf69bce645da388b8fb33616b6c43c48a50c499d07be536520191ef91dc0884610202565b61040060608801357f105535f6a709c5189e305e1a0c70efb5fae522a60afe6fed5c805dbbc8779e297f198e0c3ad41c05fced9aa2d6e27d9a2c9818b5b88f19c2e698a8648129b6af6a84610202565b61044f60808801357f1243fb77067200f806f576091ea92a5281f060234e6fc57df1901b4e3450bb697e9237f01920dbe104631d35579740ad6195073ec934184477efaef11e8ee3aa84610202565b61049f60a08801357f2b72e8feb8d4ff6aa248af1456fc4899864b0489b8279a5bb94e5f639a8f1ac67f1b09b7fd32d49bbfe0e15e8258a70ae9ebb9316cef0f9b6feb828a5fc6a2452884610202565b6104ef60c08801357f1823654e6782371e622b0629518c890a115d6d2cae9bb2c55180143aa0212bd77f2f894980bdbd71026b861c9c9feaf6cd797e28188a9b4154ba63ce83f36a29f284610202565b61053e60e08801357e6a9965248ae4075ea54dc532370d14ff99d0c686fc5c23b82176baf60dbb7b7f013d2f682053227157adb588e8533b32e74b1e042d55f83933244f08650abdbd84610202565b61058f6101008801357f1c09ec2c3abe8e173ecbe443fd8e7c2f5ec2024843440235cc1196ee8070f78c7f1c9cc75a83a50251238fc513eea4f2effb5e26d5b592b48250ed3e5c9759179084610202565b6105e06101208801357f0e9f0a02b712bb78f13b08c8a99ded7165ed62f95feb1c4c0573073b63aca9217f18917ec1f1868dadff1a3196e6804296cac2d322e29574a93c37f25e4003c1ca84610202565b6106316101408801357f0bc5e6897fac05c15be2a6dbe4ab2a5eb0fb51a5d67efb83a582dc5ae2d410e47f1e18dba9927d3c91dbcba83e9cb8f533b2c9c9282fa808f11d5f7bcf404b142f84610202565b833582527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208501357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020830152843560408301526020850135606083015260408501356080830152606085013560a08301527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08301527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08301527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008301527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208301527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408301527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610160830152600088015161018083015260206000018801516101a08301527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220830152853561024083015260208601356102608301527f1642e1e5564fdfd598d06d6c6c0bcb91104f0b5be1af80ee3a05cbb870931bd56102808301527f2eaa248f26eb631ada70bf8472546eb9deaa6d10d2bbdf452eeac795bcd4cba86102a08301527f0aba69025c669be9ea7cfc27e650a4f33580b7fbed2c8c48254895820422c08f6102c08301527f12ec59350afb7e582f8d6c48d20afe0343cf2396a8af0d260ed0b7e5c0baf1386102e08301526020826103008460086107d05a03fa82518116935050505095945050505050565b604051610380810160405261092d60008401356101ce565b61093a60208401356101ce565b61094760408401356101ce565b61095460608401356101ce565b61096160808401356101ce565b61096e60a08401356101ce565b61097b60c08401356101ce565b61098860e08401356101ce565b6109966101008401356101ce565b6109a46101208401356101ce565b6109b26101408401356101ce565b6109c06101608401356101ce565b6109cd818486888a61026d565b8060005260206000f35b604051806101600160405280600b90602082028036833780820191505090505090565b600080fd5b600080fd5b600080fd5b600081905082602060020282011115610a2557610a24610a04565b5b92915050565b600081905082604060020282011115610a4757610a46610a04565b5b92915050565b600080fd5b600080fd5b60008083601f840112610a6d57610a6c610a4d565b5b8235905067ffffffffffffffff811115610a8a57610a89610a52565b5b602083019150836020820283011115610aa657610aa5610a04565b5b9250929050565b60008060008060006101208688031215610aca57610ac96109fa565b5b6000610ad888828901610a09565b9550506040610ae988828901610a2b565b94505060c0610afa88828901610a09565b93505061010086013567ffffffffffffffff811115610b1c57610b1b6109ff565b5b610b2888828901610a57565b92509250509295509295909350565b60008115159050919050565b610b4c81610b37565b82525050565b6000602082019050610b676000830184610b43565b92915050565b6000819050826020600b0282011115610b8957610b88610a04565b5b92915050565b6000806000806102608587031215610baa57610ba96109fa565b5b6000610bb887828801610a09565b9450506040610bc987828801610a2b565b93505060c0610bda87828801610a09565b925050610100610bec87828801610b6d565b91505092959194509250565b600082825260208201905092915050565b7f6578706563746564206172726179206c656e6774682069732031310000000000600082015250565b6000610c3f601b83610bf8565b9150610c4a82610c09565b602082019050919050565b60006020820190508181036000830152610c6e81610c32565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b82818337505050565b610cb960408383610ca4565b5050565b600060029050919050565b600081905092915050565b6000819050919050565b610ce960408383610ca4565b5050565b6000610cf98383610cdd565b60408301905092915050565b600082905092915050565b6000604082019050919050565b610d2681610cbd565b610d308184610cc8565b9250610d3b82610cd3565b8060005b83811015610d7457610d518284610d05565b610d5b8782610ced565b9650610d6683610d10565b925050600181019050610d3f565b505050505050565b6000600b9050919050565b600081905092915050565b6000819050919050565b6000819050919050565b610daf81610d9c565b82525050565b6000610dc18383610da6565b60208301905092915050565b6000602082019050919050565b610de381610d7c565b610ded8184610d87565b9250610df882610d92565b8060005b83811015610e29578151610e108782610db5565b9650610e1b83610dcd565b925050600181019050610dfc565b505050505050565b600061026082019050610e476000830187610cad565b610e546040830186610d1d565b610e6160c0830185610cad565b610e6f610100830184610dda565b95945050505050565b610e8181610b37565b8114610e8c57600080fd5b50565b600081519050610e9e81610e78565b92915050565b600060208284031215610eba57610eb96109fa565b5b6000610ec884828501610e8f565b9150509291505056fea264697066735822122020a752d3a7b0c1cb2b1c4d205f80b59b16650490de4179deded696ff84a44d4864736f6c634300081b0033

0x608060405234801561001057600080fd5b50600436106100365760003560e01c80632612907c1461003b578063b9c6ea871461006b575b600080fd5b61005560048036038101906100509190610aad565b61009b565b6040516100629190610b52565b60405180910390f35b61008560048036038101906100809190610b8f565b6101c7565b6040516100929190610b52565b60405180910390f35b60006100a56109d7565b600b84849050146100eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e290610c55565b60405180910390fd5b60005b600b81101561013a5784848281811061010a57610109610c75565b5b905060200201358282600b811061012457610123610c75565b5b60200201818152505080806001019150506100ee565b503073ffffffffffffffffffffffffffffffffffffffff1663b9c6ea87888888856040518563ffffffff1660e01b815260040161017a9493929190610e31565b602060405180830381865afa158015610197573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101bb9190610ea4565b91505095945050505050565b6000610915565b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4781106101ff576000805260206000f35b50565b600060405183815284602082015285604082015260408160608360076107d05a03fa915081610235576000805260206000f35b825160408201526020830151606082015260408360808360066107d05a03fa915081610265576000805260206000f35b505050505050565b600060808601600087017f02e76356c6f5d7f49e6d4f6ec3a93cdc50cc3c271b41a11b21fc6c219031429e81527f21d57a61a975d9eb14e29a76de5ad78404f7db5867e0c49d51e939f1cbdd298d602082015261031060008801357f23c72bedb38cd965afd5a35233c42c2cd8fa23d2291ced5153eb0945cc42c2707f2b0b7e4eb338e79dc49653f0a32a4acb42d6d65d67d6a8796c8d292012f9914284610202565b61036060208801357f29cbfecbf222d323af8e1c9654292ece38b45352b18200308e6259773dd5457a7f0bc7aa6c1aef693444e35935cea1fa02ceef7c4eb684e0a71c380bd1cbea394684610202565b6103b060408801357f286a77cb393820c524cdd54518ea43d3f27d595bf6a910694a1170fbe35685427f182bf69bce645da388b8fb33616b6c43c48a50c499d07be536520191ef91dc0884610202565b61040060608801357f105535f6a709c5189e305e1a0c70efb5fae522a60afe6fed5c805dbbc8779e297f198e0c3ad41c05fced9aa2d6e27d9a2c9818b5b88f19c2e698a8648129b6af6a84610202565b61044f60808801357f1243fb77067200f806f576091ea92a5281f060234e6fc57df1901b4e3450bb697e9237f01920dbe104631d35579740ad6195073ec934184477efaef11e8ee3aa84610202565b61049f60a08801357f2b72e8feb8d4ff6aa248af1456fc4899864b0489b8279a5bb94e5f639a8f1ac67f1b09b7fd32d49bbfe0e15e8258a70ae9ebb9316cef0f9b6feb828a5fc6a2452884610202565b6104ef60c08801357f1823654e6782371e622b0629518c890a115d6d2cae9bb2c55180143aa0212bd77f2f894980bdbd71026b861c9c9feaf6cd797e28188a9b4154ba63ce83f36a29f284610202565b61053e60e08801357e6a9965248ae4075ea54dc532370d14ff99d0c686fc5c23b82176baf60dbb7b7f013d2f682053227157adb588e8533b32e74b1e042d55f83933244f08650abdbd84610202565b61058f6101008801357f1c09ec2c3abe8e173ecbe443fd8e7c2f5ec2024843440235cc1196ee8070f78c7f1c9cc75a83a50251238fc513eea4f2effb5e26d5b592b48250ed3e5c9759179084610202565b6105e06101208801357f0e9f0a02b712bb78f13b08c8a99ded7165ed62f95feb1c4c0573073b63aca9217f18917ec1f1868dadff1a3196e6804296cac2d322e29574a93c37f25e4003c1ca84610202565b6106316101408801357f0bc5e6897fac05c15be2a6dbe4ab2a5eb0fb51a5d67efb83a582dc5ae2d410e47f1e18dba9927d3c91dbcba83e9cb8f533b2c9c9282fa808f11d5f7bcf404b142f84610202565b833582527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760208501357f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703066020830152843560408301526020850135606083015260408501356080830152606085013560a08301527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e260c08301527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660e08301527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101008301527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101208301527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101408301527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610160830152600088015161018083015260206000018801516101a08301527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26101c08301527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6101e08301527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102008301527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610220830152853561024083015260208601356102608301527f1642e1e5564fdfd598d06d6c6c0bcb91104f0b5be1af80ee3a05cbb870931bd56102808301527f2eaa248f26eb631ada70bf8472546eb9deaa6d10d2bbdf452eeac795bcd4cba86102a08301527f0aba69025c669be9ea7cfc27e650a4f33580b7fbed2c8c48254895820422c08f6102c08301527f12ec59350afb7e582f8d6c48d20afe0343cf2396a8af0d260ed0b7e5c0baf1386102e08301526020826103008460086107d05a03fa82518116935050505095945050505050565b604051610380810160405261092d60008401356101ce565b61093a60208401356101ce565b61094760408401356101ce565b61095460608401356101ce565b61096160808401356101ce565b61096e60a08401356101ce565b61097b60c08401356101ce565b61098860e08401356101ce565b6109966101008401356101ce565b6109a46101208401356101ce565b6109b26101408401356101ce565b6109c06101608401356101ce565b6109cd818486888a61026d565b8060005260206000f35b604051806101600160405280600b90602082028036833780820191505090505090565b600080fd5b600080fd5b600080fd5b600081905082602060020282011115610a2557610a24610a04565b5b92915050565b600081905082604060020282011115610a4757610a46610a04565b5b92915050565b600080fd5b600080fd5b60008083601f840112610a6d57610a6c610a4d565b5b8235905067ffffffffffffffff811115610a8a57610a89610a52565b5b602083019150836020820283011115610aa657610aa5610a04565b5b9250929050565b60008060008060006101208688031215610aca57610ac96109fa565b5b6000610ad888828901610a09565b9550506040610ae988828901610a2b565b94505060c0610afa88828901610a09565b93505061010086013567ffffffffffffffff811115610b1c57610b1b6109ff565b5b610b2888828901610a57565b92509250509295509295909350565b60008115159050919050565b610b4c81610b37565b82525050565b6000602082019050610b676000830184610b43565b92915050565b6000819050826020600b0282011115610b8957610b88610a04565b5b92915050565b6000806000806102608587031215610baa57610ba96109fa565b5b6000610bb887828801610a09565b9450506040610bc987828801610a2b565b93505060c0610bda87828801610a09565b925050610100610bec87828801610b6d565b91505092959194509250565b600082825260208201905092915050565b7f6578706563746564206172726179206c656e6774682069732031310000000000600082015250565b6000610c3f601b83610bf8565b9150610c4a82610c09565b602082019050919050565b60006020820190508181036000830152610c6e81610c32565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b82818337505050565b610cb960408383610ca4565b5050565b600060029050919050565b600081905092915050565b6000819050919050565b610ce960408383610ca4565b5050565b6000610cf98383610cdd565b60408301905092915050565b600082905092915050565b6000604082019050919050565b610d2681610cbd565b610d308184610cc8565b9250610d3b82610cd3565b8060005b83811015610d7457610d518284610d05565b610d5b8782610ced565b9650610d6683610d10565b925050600181019050610d3f565b505050505050565b6000600b9050919050565b600081905092915050565b6000819050919050565b6000819050919050565b610daf81610d9c565b82525050565b6000610dc18383610da6565b60208301905092915050565b6000602082019050919050565b610de381610d7c565b610ded8184610d87565b9250610df882610d92565b8060005b83811015610e29578151610e108782610db5565b9650610e1b83610dcd565b925050600181019050610dfc565b505050505050565b600061026082019050610e476000830187610cad565b610e546040830186610d1d565b610e6160c0830185610cad565b610e6f610100830184610dda565b95945050505050565b610e8181610b37565b8114610e8c57600080fd5b50565b600081519050610e9e81610e78565b92915050565b600060208284031215610eba57610eb96109fa565b5b6000610ec884828501610e8f565b9150509291505056fea264697066735822122020a752d3a7b0c1cb2b1c4d205f80b59b16650490de4179deded696ff84a44d4864736f6c634300081b0033