// 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 OptimisticBlockVerifier4 {

    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(16443734812995274654196720676585139062224043380201187987635465448940709072183), uint256(13229797941597128611149555074667619632585702912983862182545492421332271384284));
        vk.beta2 = Pairing.G2Point([uint256(558208246016583076906983549567953354976687112328029548388055446851649721891), uint256(6102922671037832619848923470159599994798839756266983795256953361206497526823)], [uint256(5094640338995898337151346990699813270257329972019527523048088760830590007035), uint256(16947501873861118274651518698381922545311168431049810060809179307410759668054)]);
        vk.gamma2 = Pairing.G2Point([uint256(11853602326570026887833193101920858538307139411369669467697699991409113807171), uint256(17080990347820259959810378185571055095163718159198080828478482438834239191327)], [uint256(9820284564429816324851060371385632884524998452245805833053366495818490667071), uint256(8884247825896330638743663642994606637849833077789639484418309665437205851259)]);
        vk.delta2 = Pairing.G2Point([uint256(16351008507358705140268501443352785394846554949930113648058666419706491186347), uint256(6991961052452508803186601829997600858486679216303659368410789393402361292236)], [uint256(12503103870725565112763915445660652757877659596485570201327869336110425590070), uint256(2264619451148572029122106054703871705779298395601830930227709989174002199531)]);   
        vk.IC[0] = Pairing.G1Point(uint256(12192695026944320739025250403367979429958636541417208251472343274186636401110), uint256(14944998768095907865728206558445669021056071506495884174036834261551095438335));   
        vk.IC[1] = Pairing.G1Point(uint256(823275436220840284699408815129612633300154876463759202808293230858449000652), uint256(21484827016712615514878262051000434911086479429927941462826694182433091772100));
    }
    
    /*
     * @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"}]

0x608060405234801561001057600080fd5b50611127806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3e565b610057565b604051901515815260200160405180910390f35b6000610061610d19565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110d2833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110d2833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110d28339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110d2833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110d2833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110d28339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110d2833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110d2833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101c565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611048565b600281106104ce576104ce61101c565b60200201518985600181106104e5576104e561101c565b602002015161087d565b610913565b91508061050081611060565b915050610417565b5060808201515161051a908290610913565b905061055061052c84600001516109ac565b84602001518460000151856020015185876040015189604001518960600151610a42565b98975050505050505050565b610564610d6a565b6040805180820182527f245ad2f7161affd12a9be55c76e80159f8680717930701006b8425a5bef7cd3781527f1d3fccdef9262997531611f193e6dbac829d539fafe1011caf64cb3e558046dc6020808301919091529083528151608080820184527f013bef46984aceba7dfb94008d27d8ee7f077d4f2874351455adf9bee78ed6238285019081527f0d7e21bf15f91be898a9b5d7c4c9d7153cea3432fc1c61e4f95204425dcc4427606080850191909152908352845180860186527f0b4376d8cf375a25a9ea92c2475716b916bd37af098b56c2730831772be936fb81527f2577f235e4a3aeab63fc9d14360dd6ea132aed41b8385f5eca2d09a99670d156818601528385015285840192909252835180820185527f1a34e6b2933ddd2aebbd78e067e678b9d694a2d72353a2493346c50d1831b9438186019081527f25c37f7894658174efd390b436daddfb0a324630a89a834f323ab79666e6391f828501528152845180860186527f15b61587142ebd7098bc89cdb5ecae86c1b8e2f8549d08dc7ff534e6ac21603f81527f13a44e5acceaf5cff074ef74c48fc516abc9b4a7a31e4416ab6c46ee6ea6ec7b818601528185015285850152835180820185527f242657c5411e90704a9a0320620a672f0627c846a20123f5fc6a11cac7622cab8186019081527f0f754f496946dafcd4abb15aaf9920d71aa434bb2b6b7d7172c5cba01ef025cc828501528152845180860186527f1ba48189ccbf04e5f725cdc679869b5a277f13706e6cc63abdc4af53c2b2493681527f0501baabf8bf23b82b9e0f004e97bb03390cd56eb7bca3a1f9209135f3b22beb818601528185015291850191909152825180840184527f1af4d221dfbd07479de7966af1350315c5b45ab34fd5637328caa1d5b24619d681527f210a91cd86c05da90318f4af623f2fea31e8ad686e7866435115a553d19f5bff8184015290840180519190915282518084019093527f01d1f5171e0e1081552b913a9c8a11c1b5ac5ea2d90c50504115e69a6fe918cc83527f2f7ffb2d2b200220d5869cd379f25d3af0f1e42d3f056ac3eed8ca28b8285ec48383015251015290565b6040805180820190915260008082526020820152610899610dbb565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c857fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092f610dd9565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096957fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d157506020820151155b156109ef575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110d28339815191528460200151610a229190611079565b610a3a906000805160206110d283398151915261109b565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c96576000610ac18260066110b2565b9050858260048110610ad557610ad561101c565b60200201515183610ae7836000611048565b81518110610af757610af761101c565b602002602001018181525050858260048110610b1557610b1561101c565b60200201516020015183826001610b2c9190611048565b81518110610b3c57610b3c61101c565b602002602001018181525050848260048110610b5a57610b5a61101c565b6020020151515183610b6d836002611048565b81518110610b7d57610b7d61101c565b602002602001018181525050848260048110610b9b57610b9b61101c565b6020020151516001602002015183610bb4836003611048565b81518110610bc457610bc461101c565b602002602001018181525050848260048110610be257610be261101c565b602002015160200151600060028110610bfd57610bfd61101c565b602002015183610c0e836004611048565b81518110610c1e57610c1e61101c565b602002602001018181525050848260048110610c3c57610c3c61101c565b602002015160200151600160028110610c5757610c5761101c565b602002015183610c68836005611048565b81518110610c7857610c7861101c565b60209081029190910101525080610c8e81611060565b915050610aab565b50610c9f610df7565b6000602082602086026020860160086107d05a03fa90508080610cbe57fe5b5080610d045760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d43610e15565b8152602001610d65604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d94610e15565b8152602001610da1610e15565b8152602001610dae610e15565b8152602001610d65610e35565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e28610e6e565b8152602001610d65610e6e565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e445790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b600082601f830112610eff57600080fd5b610f07610ea2565b806040840185811115610f1957600080fd5b845b81811015610f33578035845260209384019301610f1b565b509095945050505050565b600080600080610120808688031215610f5657600080fd5b610f608787610eee565b9450604087605f880112610f7357600080fd5b610f7b610ea2565b8060c089018a811115610f8d57600080fd5b838a015b81811015610fb257610fa38c82610eee565b84526020909301928401610f91565b50819750610fc08b82610eee565b9650505050508661011f870112610fd657600080fd5b610fde610ecb565b908601908088831115610ff057600080fd5b61010088015b8381101561100e578035835260209283019201610ff6565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6000821982111561105b5761105b611032565b500190565b60006001820161107257611072611032565b5060010190565b60008261109657634e487b7160e01b600052601260045260246000fd5b500690565b6000828210156110ad576110ad611032565b500390565b60008160001904831182151516156110cc576110cc611032565b50029056fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a264697066735822122066541178ea26a1dbaec7bbf82f0e6a8c0667dac1a95453393f04f3fab480657064736f6c634300080e0033

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c806343753b4d14610030575b600080fd5b61004361003e366004610f3e565b610057565b604051901515815260200160405180910390f35b6000610061610d19565b6040805180820182528751815260208089015181830152908352815160808101835287515181840190815288518301516060830152815282518084018452888301805151825251830151818401528183015283820152815180830183528651815286820151918101919091529082015260006100db61055c565b6040805180820190915260008082526020820152835151919250906000805160206110d2833981519152116101575760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d7100000000000000000060448201526064015b60405180910390fd5b8251602001516000805160206110d2833981519152116101b95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d71000000000000000000604482015260640161014e565b602083015151516000805160206110d28339815191521161021c5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101510151516000805160206110d2833981519152116102815760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d710000000000000000604482015260640161014e565b6020838101515101516000805160206110d2833981519152116102e65760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d710000000000000000604482015260640161014e565b60208381015181015101516000805160206110d28339815191521161034d5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d710000000000000000604482015260640161014e565b6040830151516000805160206110d2833981519152116103af5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d71000000000000000000604482015260640161014e565b6000805160206110d2833981519152836040015160200151106104145760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d71000000000000000000604482015260640161014e565b60005b6001811015610508577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018682600181106104535761045361101c565b6020020151106104a55760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015260640161014e565b6104f4826104ef85608001518460016104be9190611048565b600281106104ce576104ce61101c565b60200201518985600181106104e5576104e561101c565b602002015161087d565b610913565b91508061050081611060565b915050610417565b5060808201515161051a908290610913565b905061055061052c84600001516109ac565b84602001518460000151856020015185876040015189604001518960600151610a42565b98975050505050505050565b610564610d6a565b6040805180820182527f245ad2f7161affd12a9be55c76e80159f8680717930701006b8425a5bef7cd3781527f1d3fccdef9262997531611f193e6dbac829d539fafe1011caf64cb3e558046dc6020808301919091529083528151608080820184527f013bef46984aceba7dfb94008d27d8ee7f077d4f2874351455adf9bee78ed6238285019081527f0d7e21bf15f91be898a9b5d7c4c9d7153cea3432fc1c61e4f95204425dcc4427606080850191909152908352845180860186527f0b4376d8cf375a25a9ea92c2475716b916bd37af098b56c2730831772be936fb81527f2577f235e4a3aeab63fc9d14360dd6ea132aed41b8385f5eca2d09a99670d156818601528385015285840192909252835180820185527f1a34e6b2933ddd2aebbd78e067e678b9d694a2d72353a2493346c50d1831b9438186019081527f25c37f7894658174efd390b436daddfb0a324630a89a834f323ab79666e6391f828501528152845180860186527f15b61587142ebd7098bc89cdb5ecae86c1b8e2f8549d08dc7ff534e6ac21603f81527f13a44e5acceaf5cff074ef74c48fc516abc9b4a7a31e4416ab6c46ee6ea6ec7b818601528185015285850152835180820185527f242657c5411e90704a9a0320620a672f0627c846a20123f5fc6a11cac7622cab8186019081527f0f754f496946dafcd4abb15aaf9920d71aa434bb2b6b7d7172c5cba01ef025cc828501528152845180860186527f1ba48189ccbf04e5f725cdc679869b5a277f13706e6cc63abdc4af53c2b2493681527f0501baabf8bf23b82b9e0f004e97bb03390cd56eb7bca3a1f9209135f3b22beb818601528185015291850191909152825180840184527f1af4d221dfbd07479de7966af1350315c5b45ab34fd5637328caa1d5b24619d681527f210a91cd86c05da90318f4af623f2fea31e8ad686e7866435115a553d19f5bff8184015290840180519190915282518084019093527f01d1f5171e0e1081552b913a9c8a11c1b5ac5ea2d90c50504115e69a6fe918cc83527f2f7ffb2d2b200220d5869cd379f25d3af0f1e42d3f056ac3eed8ca28b8285ec48383015251015290565b6040805180820190915260008082526020820152610899610dbb565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa905080806108c857fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015260640161014e565b505092915050565b604080518082019091526000808252602082015261092f610dd9565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa9050808061096957fe5b508061090b5760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015260640161014e565b604080518082019091526000808252602082015281511580156109d157506020820151155b156109ef575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206110d28339815191528460200151610a229190611079565b610a3a906000805160206110d283398151915261109b565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610c96576000610ac18260066110b2565b9050858260048110610ad557610ad561101c565b60200201515183610ae7836000611048565b81518110610af757610af761101c565b602002602001018181525050858260048110610b1557610b1561101c565b60200201516020015183826001610b2c9190611048565b81518110610b3c57610b3c61101c565b602002602001018181525050848260048110610b5a57610b5a61101c565b6020020151515183610b6d836002611048565b81518110610b7d57610b7d61101c565b602002602001018181525050848260048110610b9b57610b9b61101c565b6020020151516001602002015183610bb4836003611048565b81518110610bc457610bc461101c565b602002602001018181525050848260048110610be257610be261101c565b602002015160200151600060028110610bfd57610bfd61101c565b602002015183610c0e836004611048565b81518110610c1e57610c1e61101c565b602002602001018181525050848260048110610c3c57610c3c61101c565b602002015160200151600160028110610c5757610c5761101c565b602002015183610c68836005611048565b81518110610c7857610c7861101c565b60209081029190910101525080610c8e81611060565b915050610aab565b50610c9f610df7565b6000602082602086026020860160086107d05a03fa90508080610cbe57fe5b5080610d045760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015260640161014e565b505115159d9c50505050505050505050505050565b6040805160a081019091526000606082018181526080830191909152815260208101610d43610e15565b8152602001610d65604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610d94610e15565b8152602001610da1610e15565b8152602001610dae610e15565b8152602001610d65610e35565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b6040518060400160405280610e28610e6e565b8152602001610d65610e6e565b60405180604001604052806002905b6040805180820190915260008082526020820152815260200190600190039081610e445790505090565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b60405290565b6040516020810167ffffffffffffffff81118282101715610ec557610ec5610e8c565b600082601f830112610eff57600080fd5b610f07610ea2565b806040840185811115610f1957600080fd5b845b81811015610f33578035845260209384019301610f1b565b509095945050505050565b600080600080610120808688031215610f5657600080fd5b610f608787610eee565b9450604087605f880112610f7357600080fd5b610f7b610ea2565b8060c089018a811115610f8d57600080fd5b838a015b81811015610fb257610fa38c82610eee565b84526020909301928401610f91565b50819750610fc08b82610eee565b9650505050508661011f870112610fd657600080fd5b610fde610ecb565b908601908088831115610ff057600080fd5b61010088015b8381101561100e578035835260209283019201610ff6565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6000821982111561105b5761105b611032565b500190565b60006001820161107257611072611032565b5060010190565b60008261109657634e487b7160e01b600052601260045260246000fd5b500690565b6000828210156110ad576110ad611032565b500390565b60008160001904831182151516156110cc576110cc611032565b50029056fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a264697066735822122066541178ea26a1dbaec7bbf82f0e6a8c0667dac1a95453393f04f3fab480657064736f6c634300080e0033