Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: AML
//
// 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

pragma solidity ^0.8.0;

library Pairing {
    uint256 constant PRIME_Q = 21888242871839275222246405745257275088696311157297823662689037894645226208583;

    struct G1Point {
        uint256 X;
        uint256 Y;
    }

    // Encoding of field elements is: X[0] * z + X[1]
    struct G2Point {
        uint256[2] X;
        uint256[2] Y;
    }

    /*
     * @return The negation of p, i.e. p.plus(p.negate()) should be zero.
     */
    function negate(G1Point memory p) internal pure returns (G1Point memory) {
        // The prime q in the base field F_q for G1
        if (p.X == 0 && p.Y == 0) {
            return G1Point(0, 0);
        } else {
            return G1Point(p.X, PRIME_Q - (p.Y % PRIME_Q));
        }
    }

    /*
     * @return The sum of two points of G1
     */
    function plus(G1Point memory p1, G1Point memory p2) internal view returns (G1Point memory r) {
        uint256[4] memory input;
        input[0] = p1.X;
        input[1] = p1.Y;
        input[2] = p2.X;
        input[3] = p2.Y;
        bool success;

        // solium-disable-next-line security/no-inline-assembly
        assembly {
            success := staticcall(sub(gas(), 2000), 6, input, 0xc0, r, 0x60)
            // Use "invalid" to make gas estimation work
            switch success
            case 0 {
                invalid()
            }
        }

        require(success, "pairing-add-failed");
    }

    /*
     * @return The product of a point on G1 and a scalar, i.e.
     *         p == p.scalar_mul(1) and p.plus(p) == p.scalar_mul(2) for all
     *         points p.
     */
    function scalar_mul(G1Point memory p, uint256 s) internal view returns (G1Point memory r) {
        uint256[3] memory input;
        input[0] = p.X;
        input[1] = p.Y;
        input[2] = s;
        bool success;
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            success := staticcall(sub(gas(), 2000), 7, input, 0x80, r, 0x60)
            // Use "invalid" to make gas estimation work
            switch success
            case 0 {
                invalid()
            }
        }
        require(success, "pairing-mul-failed");
    }

    /* @return The result of computing the pairing check
     *         e(p1[0], p2[0]) *  .... * e(p1[n], p2[n]) == 1
     *         For example,
     *         pairing([P1(), P1().negate()], [P2(), P2()]) should return true.
     */
    function pairing(
        G1Point memory a1,
        G2Point memory a2,
        G1Point memory b1,
        G2Point memory b2,
        G1Point memory c1,
        G2Point memory c2,
        G1Point memory d1,
        G2Point memory d2
    ) internal view returns (bool) {
        G1Point[4] memory p1 = [a1, b1, c1, d1];
        G2Point[4] memory p2 = [a2, b2, c2, d2];
        uint256 inputSize = 24;
        uint256[] memory input = new uint256[](inputSize);

        for (uint256 i = 0; i < 4; i++) {
            uint256 j = i * 6;
            input[j + 0] = p1[i].X;
            input[j + 1] = p1[i].Y;
            input[j + 2] = p2[i].X[0];
            input[j + 3] = p2[i].X[1];
            input[j + 4] = p2[i].Y[0];
            input[j + 5] = p2[i].Y[1];
        }

        uint256[1] memory out;
        bool success;

        // solium-disable-next-line security/no-inline-assembly
        assembly {
            success := staticcall(sub(gas(), 2000), 8, add(input, 0x20), mul(inputSize, 0x20), out, 0x20)
            // Use "invalid" to make gas estimation work
            switch success
            case 0 {
                invalid()
            }
        }

        require(success, "pairing-opcode-failed");

        return out[0] != 0;
    }
}

contract BscVerifier8 {
    using Pairing for *;

    uint256 constant SNARK_SCALAR_FIELD = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
    uint256 constant PRIME_Q = 21888242871839275222246405745257275088696311157297823662689037894645226208583;

    struct VerifyingKey {
        Pairing.G1Point alfa1;
        Pairing.G2Point beta2;
        Pairing.G2Point gamma2;
        Pairing.G2Point delta2;
        Pairing.G1Point[2] IC;
    }

    struct Proof {
        Pairing.G1Point A;
        Pairing.G2Point B;
        Pairing.G1Point C;
    }

    function verifyingKey() internal pure returns (VerifyingKey memory vk) {
        vk.alfa1 = Pairing.G1Point(
            uint256(331955330872583991639135551402352538131542428205368860211712647086854693340),
            uint256(9691707222206706363154651263111758278218461022802290370687163214849678686473)
        );
        vk.beta2 = Pairing.G2Point(
            [
                uint256(10627217894150146389619076474178545976879127124364504790358094376730999259999),
                uint256(18677598002031632834476267223853713350375243170787646349645710273818456294323)
            ],
            [
                uint256(21804389667338984325918445119659064899922908023230709480791179813869135082940),
                uint256(5392662020552321214228372743942116773867821402931848294974591404599429047201)
            ]
        );
        vk.gamma2 = Pairing.G2Point(
            [
                uint256(18896595413084132756300433482615965461360093192077660105463354475880513295631),
                uint256(6652319914700403746967454645693637625005122037006076986217739078489111187609)
            ],
            [
                uint256(19019632273637811294239212496794859147056955854699554435740169965984157866266),
                uint256(20293870479111158639869842724361800850290062220249599952882906987659330065861)
            ]
        );
        vk.delta2 = Pairing.G2Point(
            [
                uint256(2029840439993853290001355940291727523444072148472604201744119111675672734953),
                uint256(9123037471628012434445161370689646800101484376270126736944917382309563531565)
            ],
            [
                uint256(4422897693019681222331105738858256419720046418023071298173882368771422259533),
                uint256(13341514339459383957251376378086385237663061812253351904529826187761374443631)
            ]
        );
        vk.IC[0] = Pairing.G1Point(
            uint256(13157765397301407615980867439450562196945060594865595602587404422553948214287),
            uint256(16461200969065709735972433297092263123150945286253438282575311598813821761123)
        );
        vk.IC[1] = Pairing.G1Point(
            uint256(12952607559229573854988356609517215480949110803637317380360031828252971683752),
            uint256(18715650931848123516787661630154435014493471394128275232461687697836750990419)
        );
    }

    /*
     * @returns Whether the proof is valid given the hardcoded verifying key
     *          above and the public inputs
     */
    function verifyProof(
        uint256[2] memory a,
        uint256[2][2] memory b,
        uint256[2] memory c,
        uint256[1] memory input
    ) public view returns (bool r) {
        Proof memory proof;
        proof.A = Pairing.G1Point(a[0], a[1]);
        proof.B = Pairing.G2Point([b[0][0], b[0][1]], [b[1][0], b[1][1]]);
        proof.C = Pairing.G1Point(c[0], c[1]);

        VerifyingKey memory vk = verifyingKey();

        // Compute the linear combination vk_x
        Pairing.G1Point memory vk_x = Pairing.G1Point(0, 0);

        // Make sure that proof.A, B, and C are each less than the prime q
        require(proof.A.X < PRIME_Q, "verifier-aX-gte-prime-q");
        require(proof.A.Y < PRIME_Q, "verifier-aY-gte-prime-q");

        require(proof.B.X[0] < PRIME_Q, "verifier-bX0-gte-prime-q");
        require(proof.B.Y[0] < PRIME_Q, "verifier-bY0-gte-prime-q");

        require(proof.B.X[1] < PRIME_Q, "verifier-bX1-gte-prime-q");
        require(proof.B.Y[1] < PRIME_Q, "verifier-bY1-gte-prime-q");

        require(proof.C.X < PRIME_Q, "verifier-cX-gte-prime-q");
        require(proof.C.Y < PRIME_Q, "verifier-cY-gte-prime-q");

        // Make sure that every input is less than the snark scalar field
        for (uint256 i = 0; i < input.length; i++) {
            require(input[i] < SNARK_SCALAR_FIELD, "verifier-gte-snark-scalar-field");
            vk_x = Pairing.plus(vk_x, Pairing.scalar_mul(vk.IC[i + 1], input[i]));
        }

        vk_x = Pairing.plus(vk_x, vk.IC[0]);

        return
            Pairing.pairing(Pairing.negate(proof.A), proof.B, vk.alfa1, vk.beta2, vk_x, vk.gamma2, proof.C, vk.delta2);
    }
}

{
  "optimizer": {
    "enabled": true,
    "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[1]","name":"input","type":"uint256[1]"}],"name":"verifyProof","outputs":[{"internalType":"bool","name":"r","type":"bool"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b5061111b806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3d565b610057565b604051901515815260200160405180910390f35b6000610061610d18565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110c6833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110c6833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110c68339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110c6833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110c6833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110c68339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110c6833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110c6833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101b565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611047565b600281106104ce576104ce61101b565b60200201518985600181106104e5576104e561101b565b602002015161087c565b610912565b91508061050081611060565b915050610417565b5060808201515161051a908290610912565b905061055061052c84600001516109ab565b84602001518460000151856020015185876040015189604001518960600151610a41565b98975050505050505050565b610564610d69565b6040805180820182527ebbe14b8cdde20cd1c67a02cd5ac3d83e08c2278c1f98967c59e6e6ff1ce1dc81527f156d4fd864888610b27e7f4cfea937321e95105b693d775e265b70e72bc6b9096020808301919091529083528151608080820184527f177ecacbc6da7f0c220df5f806d11460ea36afdddd62c097e002d0c7f5de035f8285019081527f294b2555e45bf6adf3d901b5486c217d6a677fec6d6e12d0b220ca098f6d03b3606080850191909152908352845180860186527f3034d8e2a9298bac8628291b67a951fe53dd1af9fbea1b5b782dbb599a7835bc81527f0bec23775a23f6e840c628c033c6adad7b46992210b9de1e68ce7d5d9db823a1818601528385015285840192909252835180820185527f29c7180f55277d06b4f662009d599d83bd9b21d1fdc7dfe18802bf4a54ec550f8186019081527f0eb51463708135f3cba3207462120415d49c5529a5dbdbd9309641c5289ed099828501528152845180860186527f2a0cbafa21c46e43f300582b0dda6a2100bbca8a98ddd52991e3eafe0691191a81527f2cddec7406132ac95ec47e43f7cb611fb20016d9e738cfbec1cc355f7a9015c5818601528185015285850152835180820185527f047cd956730b651b6e313c275e16ec3281737c14fc55dda2355ca05aff532ce98186019081527f142b74cb06f2f059af96b679d31a14f94a7927219cceaade4dd2372ad783012d828501528152845180860186527f09c7457944a2136af5c5f0f8b148a16ca8f9f0b93b9c8e7d1765ed9f4159894d81527f1d7f078e795cc478dc8c85de62dfab11a221b695e4d6e449170316b15423b86f818601528185015291850191909152825180840184527f1d17080368e3bd78f1153252e1ff77c65f32e9f172ecb9dce50a83737cc9540f81527f2464b5a6d2548e47e229176774307b0bcc779eeea0045769a7968434d62376638184015290840180519190915282518084019093527f1ca2ea8442e7a71a81095089967317b71b239421c34d5e7c4211a22adf52cfa883527f2960aedb815b3a9bb66199c09e79d7daea159332c8d6f8a1341152d49b6cec538383015251015290565b6040805180820190915260008082526020820152610898610dba565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c757fe5b508061090a5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092e610dd8565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096857fe5b508061090a5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d057506020820151155b156109ee575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110c68339815191528460200151610a219190611079565b610a39906000805160206110c683398151915261109b565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c95576000610ac08260066110ae565b9050858260048110610ad457610ad461101b565b60200201515183610ae6836000611047565b81518110610af657610af661101b565b602002602001018181525050858260048110610b1457610b1461101b565b60200201516020015183826001610b2b9190611047565b81518110610b3b57610b3b61101b565b602002602001018181525050848260048110610b5957610b5961101b565b6020020151515183610b6c836002611047565b81518110610b7c57610b7c61101b565b602002602001018181525050848260048110610b9a57610b9a61101b565b6020020151516001602002015183610bb3836003611047565b81518110610bc357610bc361101b565b602002602001018181525050848260048110610be157610be161101b565b602002015160200151600060028110610bfc57610bfc61101b565b602002015183610c0d836004611047565b81518110610c1d57610c1d61101b565b602002602001018181525050848260048110610c3b57610c3b61101b565b602002015160200151600160028110610c5657610c5661101b565b602002015183610c67836005611047565b81518110610c7757610c7761101b565b60209081029190910101525080610c8d81611060565b915050610aaa565b50610c9e610df6565b6000602082602086026020860160086107d05a03fa90508080610cbd57fe5b5080610d035760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d42610e14565b8152602001610d64604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d93610e14565b8152602001610da0610e14565b8152602001610dad610e14565b8152602001610d64610e34565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e27610e6d565b8152602001610d64610e6d565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e435790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec457610ec4610e8b565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec457610ec4610e8b565b600082601f830112610efe57600080fd5b610f06610ea1565b806040840185811115610f1857600080fd5b845b81811015610f32578035845260209384019301610f1a565b509095945050505050565b600080600080610120808688031215610f5557600080fd5b610f5f8787610eed565b9450604087605f880112610f7257600080fd5b610f7a610ea1565b8060c089018a811115610f8c57600080fd5b838a015b81811015610fb157610fa28c82610eed565b84526020909301928401610f90565b50819750610fbf8b82610eed565b9650505050508661011f870112610fd557600080fd5b610fdd610eca565b908601908088831115610fef57600080fd5b61010088015b8381101561100d578035835260209283019201610ff5565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561105a5761105a611031565b92915050565b60006001820161107257611072611031565b5060010190565b60008261109657634e487b7160e01b600052601260045260246000fd5b500690565b8181038181111561105a5761105a611031565b808202811582820484141761105a5761105a61103156fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a264697066735822122027cbca00636f8a73dd7b4a7b0c8d3183a5241fc7a31195d3cb3f20636781995264736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3d565b610057565b604051901515815260200160405180910390f35b6000610061610d18565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110c6833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110c6833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110c68339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110c6833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110c6833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110c68339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110c6833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110c6833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101b565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611047565b600281106104ce576104ce61101b565b60200201518985600181106104e5576104e561101b565b602002015161087c565b610912565b91508061050081611060565b915050610417565b5060808201515161051a908290610912565b905061055061052c84600001516109ab565b84602001518460000151856020015185876040015189604001518960600151610a41565b98975050505050505050565b610564610d69565b6040805180820182527ebbe14b8cdde20cd1c67a02cd5ac3d83e08c2278c1f98967c59e6e6ff1ce1dc81527f156d4fd864888610b27e7f4cfea937321e95105b693d775e265b70e72bc6b9096020808301919091529083528151608080820184527f177ecacbc6da7f0c220df5f806d11460ea36afdddd62c097e002d0c7f5de035f8285019081527f294b2555e45bf6adf3d901b5486c217d6a677fec6d6e12d0b220ca098f6d03b3606080850191909152908352845180860186527f3034d8e2a9298bac8628291b67a951fe53dd1af9fbea1b5b782dbb599a7835bc81527f0bec23775a23f6e840c628c033c6adad7b46992210b9de1e68ce7d5d9db823a1818601528385015285840192909252835180820185527f29c7180f55277d06b4f662009d599d83bd9b21d1fdc7dfe18802bf4a54ec550f8186019081527f0eb51463708135f3cba3207462120415d49c5529a5dbdbd9309641c5289ed099828501528152845180860186527f2a0cbafa21c46e43f300582b0dda6a2100bbca8a98ddd52991e3eafe0691191a81527f2cddec7406132ac95ec47e43f7cb611fb20016d9e738cfbec1cc355f7a9015c5818601528185015285850152835180820185527f047cd956730b651b6e313c275e16ec3281737c14fc55dda2355ca05aff532ce98186019081527f142b74cb06f2f059af96b679d31a14f94a7927219cceaade4dd2372ad783012d828501528152845180860186527f09c7457944a2136af5c5f0f8b148a16ca8f9f0b93b9c8e7d1765ed9f4159894d81527f1d7f078e795cc478dc8c85de62dfab11a221b695e4d6e449170316b15423b86f818601528185015291850191909152825180840184527f1d17080368e3bd78f1153252e1ff77c65f32e9f172ecb9dce50a83737cc9540f81527f2464b5a6d2548e47e229176774307b0bcc779eeea0045769a7968434d62376638184015290840180519190915282518084019093527f1ca2ea8442e7a71a81095089967317b71b239421c34d5e7c4211a22adf52cfa883527f2960aedb815b3a9bb66199c09e79d7daea159332c8d6f8a1341152d49b6cec538383015251015290565b6040805180820190915260008082526020820152610898610dba565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c757fe5b508061090a5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092e610dd8565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096857fe5b508061090a5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d057506020820151155b156109ee575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110c68339815191528460200151610a219190611079565b610a39906000805160206110c683398151915261109b565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c95576000610ac08260066110ae565b9050858260048110610ad457610ad461101b565b60200201515183610ae6836000611047565b81518110610af657610af661101b565b602002602001018181525050858260048110610b1457610b1461101b565b60200201516020015183826001610b2b9190611047565b81518110610b3b57610b3b61101b565b602002602001018181525050848260048110610b5957610b5961101b565b6020020151515183610b6c836002611047565b81518110610b7c57610b7c61101b565b602002602001018181525050848260048110610b9a57610b9a61101b565b6020020151516001602002015183610bb3836003611047565b81518110610bc357610bc361101b565b602002602001018181525050848260048110610be157610be161101b565b602002015160200151600060028110610bfc57610bfc61101b565b602002015183610c0d836004611047565b81518110610c1d57610c1d61101b565b602002602001018181525050848260048110610c3b57610c3b61101b565b602002015160200151600160028110610c5657610c5661101b565b602002015183610c67836005611047565b81518110610c7757610c7761101b565b60209081029190910101525080610c8d81611060565b915050610aaa565b50610c9e610df6565b6000602082602086026020860160086107d05a03fa90508080610cbd57fe5b5080610d035760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d42610e14565b8152602001610d64604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d93610e14565b8152602001610da0610e14565b8152602001610dad610e14565b8152602001610d64610e34565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e27610e6d565b8152602001610d64610e6d565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e435790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec457610ec4610e8b565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec457610ec4610e8b565b600082601f830112610efe57600080fd5b610f06610ea1565b806040840185811115610f1857600080fd5b845b81811015610f32578035845260209384019301610f1a565b509095945050505050565b600080600080610120808688031215610f5557600080fd5b610f5f8787610eed565b9450604087605f880112610f7257600080fd5b610f7a610ea1565b8060c089018a811115610f8c57600080fd5b838a015b81811015610fb157610fa28c82610eed565b84526020909301928401610f90565b50819750610fbf8b82610eed565b9650505050508661011f870112610fd557600080fd5b610fdd610eca565b908601908088831115610fef57600080fd5b61010088015b8381101561100d578035835260209283019201610ff5565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561105a5761105a611031565b92915050565b60006001820161107257611072611031565b5060010190565b60008261109657634e487b7160e01b600052601260045260246000fd5b500690565b8181038181111561105a5761105a611031565b808202811582820484141761105a5761105a61103156fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a264697066735822122027cbca00636f8a73dd7b4a7b0c8d3183a5241fc7a31195d3cb3f20636781995264736f6c63430008120033