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(4035109189094073598088219093962617793618965564046152761937535285299262825825), uint256(3714471685289409185139723513991047526840048025428387022220676397076636193860));
        vk.beta2 = Pairing.G2Point([uint256(4054828054711527369262813082660535667022642517378053066860927750373744532234), uint256(783980737465314786807711861272714634397161335792425136433994748892673720155)], [uint256(11878506613503762813278929278405148507951112108787719344973971148810611642438), uint256(11599417744144441222294625921724675018898908955726814084992464394603770931287)]);
        vk.gamma2 = Pairing.G2Point([uint256(13877518265684436762868437265496705846958872382902108952904876430366652171316), uint256(17038602202259683202247972603991170049992087882043186856249695138424386869447)], [uint256(10138055497218626414463743774415559756206926102792930891893952776216259147740), uint256(19050790644120808008691966592142019461426660049757031591141201304967304717721)]);
        vk.delta2 = Pairing.G2Point([uint256(18672969258783003340171239277259189873228914267843665823801338499584906537411), uint256(10518070620533030517284666026220508902066786944384125906873856235523859215447)], [uint256(2556849740792851543637217564663467616059276317868554009472370686753386781550), uint256(8187973116459710812354431475219115746391120531444858578822894891355984519825)]);
        vk.IC[0] = Pairing.G1Point(uint256(15852775068072090386349762759335145926039380489977307798906856179213039321435), uint256(6625120839915176424717566986101120346078072078317672788862204766178163999573));
        vk.IC[1] = Pairing.G1Point(uint256(4429188766494671931755956344878015151607788310723745612118594783161217235320), uint256(12015103279951440032486433138080021351662223340361642666121472477420471282877));
    }

    /*
     * @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"}]

608060405234801561001057600080fd5b5061111c806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3e565b610057565b604051901515815260200160405180910390f35b6000610061610d19565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110c7833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110c7833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110c78339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110c7833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110c7833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110c78339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110c7833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110c7833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101c565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611048565b600281106104ce576104ce61101c565b60200201518985600181106104e5576104e561101c565b602002015161087d565b610913565b91508061050081611061565b915050610417565b5060808201515161051a908290610913565b905061055061052c84600001516109ac565b84602001518460000151856020015185876040015189604001518960600151610a42565b98975050505050505050565b610564610d6a565b6040805180820182527f08ebca763a94a642bb1a23b8a37ae8c2b9f05279728ef3addbf8bfd782b0a56181527f08365104375f4599f2f8bdee9f62d408fc84e98e9e2583edaa545f4236b354446020808301919091529083528151608080820184527f08f6f38b9aebb4d1ec69595782604a7f1c69f47730f70c7817bf2fbe89775b0a8285019081527f01bbb7a5bbf8fdde602816cd1a17f05a253fb8747ae7c655e676bc6722abbf5b606080850191909152908352845180860186527f1a42ff19eafb14cb74b248a7040a6ae7eef8d5a700db5c9bffa543306da0d04681527f19a509ac68e44fbded67ce0d8511175f45fc364b25a685ae63d64948cf5fe857818601528385015285840192909252835180820185527f1eae65a112d35a75ee80b72a5b5fa6837ea9f699fb6ebae7e4fd7c563acb04348186019081527f25ab81d0e09be259000fd0f4cf297232f4493840072a47be045027ed7091d8c7828501528152845180860186527f1669efa2101cac8f776bd0e75393896a1dc1e8bd0d775a00effb0b5a914537dc81527f2a1e5d8a53893ce28b678260c11dd5f35b90d98408f0b90b92d2602c082c2599818601528185015285850152835180820185527f294886ac43439ee245dbf6feae6e44e3f1eb565955216b2e03bf8a6da03ca9c38186019081527f1741045a63f50acee77d087a687510aaeb111a7eea87e651225cf79b76f6f457828501528152845180860186527f05a7202bd96d4985191d48477eeef04686c75caece8f8b9c92d10c1f208fdb6e81527f121a3a8273cd9c919bd6958b99ce75081f944ca40bd75accf836fea1445e6291818601528185015291850191909152825180840184527f230c5a4be12ba1eb6f4bacf86aa1641395b78ababf59ac6ac13f6c355af0415b81527f0ea5af7daf427636eb5be61c48d42964c8df929ddb31b5319fabc3015eb2c3558184015290840180519190915282518084019093527f09cad4fe270228d5a8c2166d41ea7b3831194cd7d589099ead7ae467e254b97883527f1a904eb5df146491ac18421338c0f66459e659656b2bb7758af2aee920196cbd8383015251015290565b6040805180820190915260008082526020820152610899610dbb565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c857fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092f610dd9565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096957fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d157506020820151155b156109ef575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110c78339815191528460200151610a22919061107a565b610a3a906000805160206110c783398151915261109c565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c96576000610ac18260066110af565b9050858260048110610ad557610ad561101c565b60200201515183610ae7836000611048565b81518110610af757610af761101c565b602002602001018181525050858260048110610b1557610b1561101c565b60200201516020015183826001610b2c9190611048565b81518110610b3c57610b3c61101c565b602002602001018181525050848260048110610b5a57610b5a61101c565b6020020151515183610b6d836002611048565b81518110610b7d57610b7d61101c565b602002602001018181525050848260048110610b9b57610b9b61101c565b6020020151516001602002015183610bb4836003611048565b81518110610bc457610bc461101c565b602002602001018181525050848260048110610be257610be261101c565b602002015160200151600060028110610bfd57610bfd61101c565b602002015183610c0e836004611048565b81518110610c1e57610c1e61101c565b602002602001018181525050848260048110610c3c57610c3c61101c565b602002015160200151600160028110610c5757610c5761101c565b602002015183610c68836005611048565b81518110610c7857610c7861101c565b60209081029190910101525080610c8e81611061565b915050610aab565b50610c9f610df7565b6000602082602086026020860160086107d05a03fa90508080610cbe57fe5b5080610d045760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d43610e15565b8152602001610d65604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d94610e15565b8152602001610da1610e15565b8152602001610dae610e15565b8152602001610d65610e35565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e28610e6e565b8152602001610d65610e6e565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e445790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b600082601f830112610eff57600080fd5b610f07610ea2565b806040840185811115610f1957600080fd5b845b81811015610f33578035845260209384019301610f1b565b509095945050505050565b600080600080610120808688031215610f5657600080fd5b610f608787610eee565b9450604087605f880112610f7357600080fd5b610f7b610ea2565b8060c089018a811115610f8d57600080fd5b838a015b81811015610fb257610fa38c82610eee565b84526020909301928401610f91565b50819750610fc08b82610eee565b9650505050508661011f870112610fd657600080fd5b610fde610ecb565b908601908088831115610ff057600080fd5b61010088015b8381101561100e578035835260209283019201610ff6565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561105b5761105b611032565b92915050565b60006001820161107357611073611032565b5060010190565b60008261109757634e487b7160e01b600052601260045260246000fd5b500690565b8181038181111561105b5761105b611032565b808202811582820484141761105b5761105b61103256fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a2646970667358221220c3241c4a62790d4132cffe7f3a5d489bad365bca1398dd494587e8787527e1d864736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3e565b610057565b604051901515815260200160405180910390f35b6000610061610d19565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110c7833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110c7833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110c78339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110c7833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110c7833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110c78339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110c7833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110c7833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101c565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611048565b600281106104ce576104ce61101c565b60200201518985600181106104e5576104e561101c565b602002015161087d565b610913565b91508061050081611061565b915050610417565b5060808201515161051a908290610913565b905061055061052c84600001516109ac565b84602001518460000151856020015185876040015189604001518960600151610a42565b98975050505050505050565b610564610d6a565b6040805180820182527f08ebca763a94a642bb1a23b8a37ae8c2b9f05279728ef3addbf8bfd782b0a56181527f08365104375f4599f2f8bdee9f62d408fc84e98e9e2583edaa545f4236b354446020808301919091529083528151608080820184527f08f6f38b9aebb4d1ec69595782604a7f1c69f47730f70c7817bf2fbe89775b0a8285019081527f01bbb7a5bbf8fdde602816cd1a17f05a253fb8747ae7c655e676bc6722abbf5b606080850191909152908352845180860186527f1a42ff19eafb14cb74b248a7040a6ae7eef8d5a700db5c9bffa543306da0d04681527f19a509ac68e44fbded67ce0d8511175f45fc364b25a685ae63d64948cf5fe857818601528385015285840192909252835180820185527f1eae65a112d35a75ee80b72a5b5fa6837ea9f699fb6ebae7e4fd7c563acb04348186019081527f25ab81d0e09be259000fd0f4cf297232f4493840072a47be045027ed7091d8c7828501528152845180860186527f1669efa2101cac8f776bd0e75393896a1dc1e8bd0d775a00effb0b5a914537dc81527f2a1e5d8a53893ce28b678260c11dd5f35b90d98408f0b90b92d2602c082c2599818601528185015285850152835180820185527f294886ac43439ee245dbf6feae6e44e3f1eb565955216b2e03bf8a6da03ca9c38186019081527f1741045a63f50acee77d087a687510aaeb111a7eea87e651225cf79b76f6f457828501528152845180860186527f05a7202bd96d4985191d48477eeef04686c75caece8f8b9c92d10c1f208fdb6e81527f121a3a8273cd9c919bd6958b99ce75081f944ca40bd75accf836fea1445e6291818601528185015291850191909152825180840184527f230c5a4be12ba1eb6f4bacf86aa1641395b78ababf59ac6ac13f6c355af0415b81527f0ea5af7daf427636eb5be61c48d42964c8df929ddb31b5319fabc3015eb2c3558184015290840180519190915282518084019093527f09cad4fe270228d5a8c2166d41ea7b3831194cd7d589099ead7ae467e254b97883527f1a904eb5df146491ac18421338c0f66459e659656b2bb7758af2aee920196cbd8383015251015290565b6040805180820190915260008082526020820152610899610dbb565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c857fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092f610dd9565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096957fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d157506020820151155b156109ef575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110c78339815191528460200151610a22919061107a565b610a3a906000805160206110c783398151915261109c565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c96576000610ac18260066110af565b9050858260048110610ad557610ad561101c565b60200201515183610ae7836000611048565b81518110610af757610af761101c565b602002602001018181525050858260048110610b1557610b1561101c565b60200201516020015183826001610b2c9190611048565b81518110610b3c57610b3c61101c565b602002602001018181525050848260048110610b5a57610b5a61101c565b6020020151515183610b6d836002611048565b81518110610b7d57610b7d61101c565b602002602001018181525050848260048110610b9b57610b9b61101c565b6020020151516001602002015183610bb4836003611048565b81518110610bc457610bc461101c565b602002602001018181525050848260048110610be257610be261101c565b602002015160200151600060028110610bfd57610bfd61101c565b602002015183610c0e836004611048565b81518110610c1e57610c1e61101c565b602002602001018181525050848260048110610c3c57610c3c61101c565b602002015160200151600160028110610c5757610c5761101c565b602002015183610c68836005611048565b81518110610c7857610c7861101c565b60209081029190910101525080610c8e81611061565b915050610aab565b50610c9f610df7565b6000602082602086026020860160086107d05a03fa90508080610cbe57fe5b5080610d045760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d43610e15565b8152602001610d65604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d94610e15565b8152602001610da1610e15565b8152602001610dae610e15565b8152602001610d65610e35565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e28610e6e565b8152602001610d65610e6e565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e445790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b600082601f830112610eff57600080fd5b610f07610ea2565b806040840185811115610f1957600080fd5b845b81811015610f33578035845260209384019301610f1b565b509095945050505050565b600080600080610120808688031215610f5657600080fd5b610f608787610eee565b9450604087605f880112610f7357600080fd5b610f7b610ea2565b8060c089018a811115610f8d57600080fd5b838a015b81811015610fb257610fa38c82610eee565b84526020909301928401610f91565b50819750610fc08b82610eee565b9650505050508661011f870112610fd657600080fd5b610fde610ecb565b908601908088831115610ff057600080fd5b61010088015b8381101561100e578035835260209283019201610ff6565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561105b5761105b611032565b92915050565b60006001820161107357611073611032565b5060010190565b60008261109757634e487b7160e01b600052601260045260246000fd5b500690565b8181038181111561105b5761105b611032565b808202811582820484141761105b5761105b61103256fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a2646970667358221220c3241c4a62790d4132cffe7f3a5d489bad365bca1398dd494587e8787527e1d864736f6c63430008120033