Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• 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.0 <0.9.0;
library Pairing {
    struct G1Point {
        uint X;
        uint Y;
    }
    // Encoding of field elements is: X[0] * z + X[1]
    struct G2Point {
        uint[2] X;
        uint[2] Y;
    }
    /// @return the generator of G1
    function P1() internal pure returns (G1Point memory) {
        return G1Point(1, 2);
    }
    /// @return the generator of G2
    function P2() internal pure returns (G2Point memory) {
        // Original code point
        return G2Point(
            [11559732032986387107991004021392285783925812861821192530917403151452391805634,
             10857046999023057135944570762232829481370756359578518086990519993285655852781],
            [4082367875863433681332203403145435568316851327593401208105741076214120093531,
             8495653923123431417604973247489272438418190587263600148770280649306958101930]
        );

/*
        // Changed by Jordi point
        return G2Point(
            [10857046999023057135944570762232829481370756359578518086990519993285655852781,
             11559732032986387107991004021392285783925812861821192530917403151452391805634],
            [8495653923123431417604973247489272438418190587263600148770280649306958101930,
             4082367875863433681332203403145435568316851327593401208105741076214120093531]
        );
*/
    }
    /// @return r the negation of p, i.e. p.addition(p.negate()) should be zero.
    function negate(G1Point memory p) internal pure returns (G1Point memory r) {
        // The prime q in the base field F_q for G1
        uint q = 21888242871839275222246405745257275088696311157297823662689037894645226208583;
        if (p.X == 0 && p.Y == 0)
            return G1Point(0, 0);
        return G1Point(p.X, q - (p.Y % q));
    }
    /// @return r the sum of two points of G1
    function addition(G1Point memory p1, G1Point memory p2) internal view returns (G1Point memory r) {
        uint[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 r the product of a point on G1 and a scalar, i.e.
    /// p == p.scalar_mul(1) and p.addition(p) == p.scalar_mul(2) for all points p.
    function scalar_mul(G1Point memory p, uint s) internal view returns (G1Point memory r) {
        uint[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 p1, G2Point[] memory p2) internal view returns (bool) {
        require(p1.length == p2.length,"pairing-lengths-failed");
        uint elements = p1.length;
        uint inputSize = elements * 6;
        uint[] memory input = new uint[](inputSize);
        for (uint i = 0; i < elements; i++)
        {
            input[i * 6 + 0] = p1[i].X;
            input[i * 6 + 1] = p1[i].Y;
            input[i * 6 + 2] = p2[i].X[0];
            input[i * 6 + 3] = p2[i].X[1];
            input[i * 6 + 4] = p2[i].Y[0];
            input[i * 6 + 5] = p2[i].Y[1];
        }
        uint[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;
    }
    /// Convenience method for a pairing check for two pairs.
    function pairingProd2(G1Point memory a1, G2Point memory a2, G1Point memory b1, G2Point memory b2) internal view returns (bool) {
        G1Point[] memory p1 = new G1Point[](2);
        G2Point[] memory p2 = new G2Point[](2);
        p1[0] = a1;
        p1[1] = b1;
        p2[0] = a2;
        p2[1] = b2;
        return pairing(p1, p2);
    }
    /// Convenience method for a pairing check for three pairs.
    function pairingProd3(
            G1Point memory a1, G2Point memory a2,
            G1Point memory b1, G2Point memory b2,
            G1Point memory c1, G2Point memory c2
    ) internal view returns (bool) {
        G1Point[] memory p1 = new G1Point[](3);
        G2Point[] memory p2 = new G2Point[](3);
        p1[0] = a1;
        p1[1] = b1;
        p1[2] = c1;
        p2[0] = a2;
        p2[1] = b2;
        p2[2] = c2;
        return pairing(p1, p2);
    }
    /// Convenience method for a pairing check for four pairs.
    function pairingProd4(
            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[] memory p1 = new G1Point[](4);
        G2Point[] memory p2 = new G2Point[](4);
        p1[0] = a1;
        p1[1] = b1;
        p1[2] = c1;
        p1[3] = d1;
        p2[0] = a2;
        p2[1] = b2;
        p2[2] = c2;
        p2[3] = d2;
        return pairing(p1, p2);
    }
}
contract Verifier {
    using Pairing for *;
    struct VerifyingKey {
        Pairing.G1Point alfa1;
        Pairing.G2Point beta2;
        Pairing.G2Point gamma2;
        Pairing.G2Point delta2;
        Pairing.G1Point[] IC;
    }
    struct Proof {
        Pairing.G1Point A;
        Pairing.G2Point B;
        Pairing.G1Point C;
    }
    function verifyingKey() internal pure returns (VerifyingKey memory vk) {
        vk.alfa1 = Pairing.G1Point(
            20491192805390485299153009773594534940189261866228447918068658471970481763042,
            9383485363053290200918347156157836566562967994039712273449902621266178545958
        );

        vk.beta2 = Pairing.G2Point(
            [4252822878758300859123897981450591353533073413197771768651442665752259397132,
             6375614351688725206403948262868962793625744043794305715222011528459656738731],
            [21847035105528745403288232691147584728191162732299865338377159692350059136679,
             10505242626370262277552901082094356697409835680220590971873171140371331206856]
        );
        vk.gamma2 = Pairing.G2Point(
            [11559732032986387107991004021392285783925812861821192530917403151452391805634,
             10857046999023057135944570762232829481370756359578518086990519993285655852781],
            [4082367875863433681332203403145435568316851327593401208105741076214120093531,
             8495653923123431417604973247489272438418190587263600148770280649306958101930]
        );
        vk.delta2 = Pairing.G2Point(
            [2680210693146081778423532547751726597463970484149238359146624993549979697949,
             13311649109264247250551233242016365724135828284606983546467400944972384791435],
            [1635092076243493845649591485281378220490227219587909130189412467353863921823,
             2027791585111042122013944586363474380326707857096731046567171724098049305393]
        );
        vk.IC = new Pairing.G1Point[](17);
        
        vk.IC[0] = Pairing.G1Point( 
            12710182634597713679606604126465549900649593861256929129871845299648548737560,
            1216640417191928872697160002641673524562378348913575548782657951331035159552
        );                                      
        
        vk.IC[1] = Pairing.G1Point( 
            16471287379427116119103238623620346716544144342574380648400779404973006016279,
            15801979783683591475659742536051074396109337337541585635731829334199359490044
        );                                      
        
        vk.IC[2] = Pairing.G1Point( 
            18792406420076763585419679376896413773868137145803880024976396576715371637351,
            16637223498053372033842939503571088208969677977776161001320528860681055925729
        );                                      
        
        vk.IC[3] = Pairing.G1Point( 
            15233988324998288627864463137946117850527976191675729860665882179021240177920,
            8177858830601965723952634433513979338399186094506757194140918784268412890622
        );                                      
        
        vk.IC[4] = Pairing.G1Point( 
            10272535141071548042322546461680327576871070169074432607738747465337443371582,
            4383116863228823347270258780267870785541094123304178543346038123501536287468
        );                                      
        
        vk.IC[5] = Pairing.G1Point( 
            4716846470207917116643672468933523574938883111374160290249819528374573625278,
            14899267425047078846215881989379395681464442567545226053885892141315673886125
        );                                      
        
        vk.IC[6] = Pairing.G1Point( 
            11176122781635063645404652506540559709750853701447104015396315706201668224818,
            20195943080137070637762085153994389755467122698063033381531165269965711147409
        );                                      
        
        vk.IC[7] = Pairing.G1Point( 
            20035977586217567434127570752817661669316596698061309021485605594292244407178,
            11017001512515112462578446671401238572533077311536445723479880799275367593078
        );                                      
        
        vk.IC[8] = Pairing.G1Point( 
            1707584234772717182751144669357278407835668417509787844899651586504158203140,
            6711034170271980389529498498534737955761597305625842692177099564298558016346
        );                                      
        
        vk.IC[9] = Pairing.G1Point( 
            4109897501845862641655348327761522308162824936667066544344223376506619909658,
            21292704193523309538534865986899420786126507596607333326578198552990815331535
        );                                      
        
        vk.IC[10] = Pairing.G1Point( 
            12141392382447817399492768160550004982134792985005939357006362867023622890684,
            8712347771810473692106984650767211741247257258966868063372696254713537365504
        );                                      
        
        vk.IC[11] = Pairing.G1Point( 
            19810868620873741189008652221515919806709195636246278450094222473037340674716,
            4800933236986349378581199102450793625910173538699308751485307296492600631587
        );                                      
        
        vk.IC[12] = Pairing.G1Point( 
            4005731442405595930295599132048898123016660577370734904613581219633562607165,
            3182018908026626991217580037504701526889250549083903136999661800829217079993
        );                                      
        
        vk.IC[13] = Pairing.G1Point( 
            11155332957494436567103948368397946619029251383115723784066432746662296441450,
            12972143799096037746497888070970423627805715310549943191577574815277527815386
        );                                      
        
        vk.IC[14] = Pairing.G1Point( 
            12869016327537853454254427101499318321923559658627642570270032336200854601473,
            11535226384302283699925215207271187643637506786937135333821893233058572496585
        );                                      
        
        vk.IC[15] = Pairing.G1Point( 
            17295397542067808436417546394906733128839191469396994798003147949234304390611,
            9121905242829331394222521434452117980762570992591341125772308996960336292902
        );                                      
        
        vk.IC[16] = Pairing.G1Point( 
            11471942592499017710484087865810893372167313663905287579887772190083046745054,
            21177045166487777690405846185147419376147035493382989424710883920398294126957
        );                                      
        
    }
    function verify(uint[] memory input, Proof memory proof) internal view returns (uint) {
        uint256 snark_scalar_field = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
        VerifyingKey memory vk = verifyingKey();
        require(input.length + 1 == vk.IC.length,"verifier-bad-input");
        // Compute the linear combination vk_x
        Pairing.G1Point memory vk_x = Pairing.G1Point(0, 0);
        for (uint i = 0; i < input.length; i++) {
            require(input[i] < snark_scalar_field,"verifier-gte-snark-scalar-field");
            vk_x = Pairing.addition(vk_x, Pairing.scalar_mul(vk.IC[i + 1], input[i]));
        }
        vk_x = Pairing.addition(vk_x, vk.IC[0]);
        if (!Pairing.pairingProd4(
            Pairing.negate(proof.A), proof.B,
            vk.alfa1, vk.beta2,
            vk_x, vk.gamma2,
            proof.C, vk.delta2
        )) return 1;
        return 0;
    }
    /// @return r  bool true if proof is valid
    function verifyProof(
            uint[2] memory a,
            uint[2][2] memory b,
            uint[2] memory c,
            uint[16] 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]);
        uint[] memory inputValues = new uint[](input.length);
        for(uint i = 0; i < input.length; i++){
            inputValues[i] = input[i];
        }
        if (verify(inputValues, proof) == 0) {
            return true;
        } else {
            return false;
        }
    }
}

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

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

608060405234801561001057600080fd5b50611851806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063c82febf514610030575b600080fd5b61004361003e366004611699565b610057565b604051901515815260200160405180910390f35b60006100616114ac565b60408051808201825287518152602080890151818301529083528151608081018352875151818401908152885183015160608301528152825180840184528883018051518252518301518184015281830152838201528151808301835286518152868201518183015283830152815160108082526102208201909352600092909182016102008036833701905050905060005b60108110156101435784816010811061010f5761010f611777565b602002015182828151811061012657610126611777565b60209081029190910101528061013b816117a3565b9150506100f4565b5061014e818361016f565b60000361016057600192505050610167565b6000925050505b949350505050565b60007f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018161019b610366565b9050806080015151855160016101b191906117bc565b146101f85760405162461bcd60e51b81526020600482015260126024820152711d995c9a599a595c8b5898590b5a5b9c1d5d60721b60448201526064015b60405180910390fd5b604080518082019091526000808252602082018190525b86518110156102e9578387828151811061022b5761022b611777565b6020026020010151106102805760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c640060448201526064016101ef565b6102d5826102d0856080015184600161029991906117bc565b815181106102a9576102a9611777565b60200260200101518a85815181106102c3576102c3611777565b6020026020010151610dfb565b610e91565b9150806102e1816117a3565b91505061020f565b5061031281836080015160008151811061030557610305611777565b6020026020010151610e91565b90506103486103248660000151610f2a565b8660200151846000015185602001518587604001518b604001518960600151610fc9565b6103585760019350505050610360565b600093505050505b92915050565b61036e6114fd565b6040805180820182527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e281527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266020808301919091529083528151608080820184527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c8285019081527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab606080850191909152908352845180860186527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a781527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8818601528385015285840192909252835180820185527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c28186019081527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed828501528152845180860186527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b81527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa818601528185015285850152835190810184527f05ecf20be1adaebb2d731b59e3edbf339441344a0bad52869e5398d6e4db431d8185019081527f1d6e205b84cd3ee93059a2410524137cfad5fc83e65894203f08cb5c91256b8b828401528152835180850185527f039d6de7dc866fb20da4eb614a0816fdfd54d46b01dcc12db077894c8395209f81527f047bb07a32b41bad6a349864dc9a69ca9fca8b5524190b6c5642172e01d66b31818501528184015290840152815160118082526102408201909352919082015b60408051808201909152600080825260208201528152602001906001900390816105ea57505060808201908152604080518082019091527f1c19b55c0bcd66ef591b4c84f014b558ac017e125719e1b4e90a2d51755e921881527f02b098152face8a984306181b808e330b7e9647d655e8d52828854e0ced09c0060208201529051805160009061067d5761067d611777565b602002602001018190525060405180604001604052807f246a6b14933a832a3d8607a87e86e67db69e514772fad69cd0f7b41f45724f1781526020017f22ef9a86111824e4b8b64b34dfcaa04c1b281be92454d1747933c4f11353c7fc81525081608001516001815181106106f4576106f4611777565b602002602001018190525060405180604001604052807f298c2006cbb0b66cd17a9492f08c7bbe7b445f453c500146966344945a2aea6781526020017f24c855b54b1cd418ea188960ea3deb8dce079229809d24798691e465a2a275e1815250816080015160028151811061076b5761076b611777565b602002602001018190525060405180604001604052807f21ae21bff2229562608d59ce94fc61a8f2fdec0d877f501bbd9be2a7fa96950081526020017f1214810abd3db04fe2df1b368fe2cd191f1d1d09b59bc783195666e5fce7adfe81525081608001516003815181106107e2576107e2611777565b602002602001018190525060405180604001604052807f16b60c8148be3a34e06932ebe83875534cdd78a65b1fb9a5ffa524420be2ca3e81526020017f09b0c198485f19328f6cc5461ba5405620a38520a29737c7531994b90b321aec815250816080015160048151811061085957610859611777565b602002602001018190525060405180604001604052807f0a6da3f764350eae34b051081b4b3df096348a7b97fc063aa31a64ca43546fbe81526020017f20f0afbfbcba08780f3e4cd82d263b3165d5abd8f36fb9adc79c3adf50050dad81525081608001516005815181106108d0576108d0611777565b602002602001018190525060405180604001604052807f18b576199ff1f827d31a83549cb2e278ab15bca13070d0fec7b554a2dde2873281526020017f2ca67faaeaf34b7932489c10190aba13142bd36559dfb8753336c50e5fcd0191815250816080015160068151811061094757610947611777565b602002602001018190525060405180604001604052807f2c4bf620fa742c45eb83b7940449a7c341ece62273660f3c5e7729f55bcf638a81526020017f185b66e1b939b51a9342023827f4a09b8a02b6f24f0e4e84b83e06bc85b0f47681525081608001516007815181106109be576109be611777565b602002602001018190525060405180604001604052807f03c6755b76e03090be9cf05d29e1c92fd87789846774ee217a2d86b16f75cd0481526020017f0ed64f8c37ed2e768ee1155a10a60fd86c9ee97eb1f33d704ab44d066e808b5a8152508160800151600881518110610a3557610a35611777565b602002602001018190525060405180604001604052807f09161e9aece8064e9240d6f7964f8d1a08dcfb6e6dd049f56e387c5fcc9f561a81526020017f2f133e5598063b890848aee07515f52b5493cabc0e934e98fcaad50d9b2ba4cf8152508160800151600981518110610aac57610aac611777565b602002602001018190525060405180604001604052807f1ad7c8d907629d5e9bfd0e9e2e5f1c58d419bc15a073553ba4fc66366036e4bc81526020017f1343039b6bd885607636c3e83a285c860a11ac38c9e6ee8fbfa3e451f44606008152508160800151600a81518110610b2357610b23611777565b602002602001018190525060405180604001604052807f2bcc8de563da85c5ed5c82aed070ef6f7e36e1a878d8bc6be026574e0cc30a9c81526020017f0a9d3b5eeaac7bbf276cf099ceb4cf06fbc1512bc30b049971abfbfc0e0321238152508160800151600b81518110610b9a57610b9a611777565b602002602001018190525060405180604001604052807f08db29e50aaeb526d7126048d6e0fb35055abd5ff4ef05fbd7fe2bb4886f5e3d81526020017f0708f5790d7498b039588b032255c96c0a83ee6f0507ef6700c8732ae4c702b98152508160800151600c81518110610c1157610c11611777565b602002602001018190525060405180604001604052807f18a9b1d830653b49610f114e1fb07cb1fa24d4dbcb307df279971c2488b2526a81526020017f1cadf923ac0de79305f5a600aaaf426079d73a8865ff7cc77a75de59854754da8152508160800151600d81518110610c8857610c88611777565b602002602001018190525060405180604001604052807f1c739ae9276cb673ff7f52327c5dfce7d8d20976d36c1cc5c885dadf2b0aff0181526020017f1980b4ee8ad174e62ea7ba1d2ded683c592c1be0c6d3176455f534cfeead6ec98152508160800151600e81518110610cff57610cff611777565b602002602001018190525060405180604001604052807f263cd91d6a8d690603188cac17b6a52b78182f896a458128265beee1a26d15d381526020017f142ad0be53aff9b3caf96296e18163fc292003eb929ff7a72570873ab4352c268152508160800151600f81518110610d7657610d76611777565b602002602001018190525060405180604001604052807f195ce3b03e8aae1ad57aaf0a2ecb370fc2e19a28531f4b72e34c05d6f570a3de81526020017f2ed1c865d9665895331cb496ca7a3ccb827ca5f8c10b9b96d9dff07aab63116d8152508160800151601081518110610ded57610ded611777565b602002602001018190525090565b6040805180820190915260008082526020820152610e1761154e565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa90508080610e4657fe5b5080610e895760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b60448201526064016101ef565b505092915050565b6040805180820190915260008082526020820152610ead61156c565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa90508080610ee757fe5b5080610e895760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b60448201526064016101ef565b604080518082019091526000808252602082015281517f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4790158015610f7157506020830151155b15610f915750506040805180820190915260008082526020820152919050565b604051806040016040528084600001518152602001828560200151610fb691906117cf565b610fc090846117f1565b90529392505050565b60408051600480825260a08201909252600091829190816020015b6040805180820190915260008082526020820152815260200190600190039081610fe457505060408051600480825260a0820190925291925060009190602082015b61102e61158a565b8152602001906001900390816110265790505090508a8260008151811061105757611057611777565b6020026020010181905250888260018151811061107657611076611777565b6020026020010181905250868260028151811061109557611095611777565b602002602001018190525084826003815181106110b4576110b4611777565b602002602001018190525089816000815181106110d3576110d3611777565b602002602001018190525087816001815181106110f2576110f2611777565b6020026020010181905250858160028151811061111157611111611777565b6020026020010181905250838160038151811061113057611130611777565b60200260200101819052506111458282611154565b9b9a5050505050505050505050565b600081518351146111a05760405162461bcd60e51b81526020600482015260166024820152751c185a5c9a5b99cb5b195b99dd1a1ccb59985a5b195960521b60448201526064016101ef565b825160006111af826006611804565b905060008167ffffffffffffffff8111156111cc576111cc6115e6565b6040519080825280602002602001820160405280156111f5578160200160208202803683370190505b50905060005b838110156114305786818151811061121557611215611777565b6020026020010151600001518282600661122f9190611804565b61123a9060006117bc565b8151811061124a5761124a611777565b60200260200101818152505086818151811061126857611268611777565b602002602001015160200151828260066112829190611804565b61128d9060016117bc565b8151811061129d5761129d611777565b6020026020010181815250508581815181106112bb576112bb611777565b60209081029190910101515151826112d4836006611804565b6112df9060026117bc565b815181106112ef576112ef611777565b60200260200101818152505085818151811061130d5761130d611777565b60209081029190910181015151015182611328836006611804565b6113339060036117bc565b8151811061134357611343611777565b60200260200101818152505085818151811061136157611361611777565b60200260200101516020015160006002811061137f5761137f611777565b602002015182611390836006611804565b61139b9060046117bc565b815181106113ab576113ab611777565b6020026020010181815250508581815181106113c9576113c9611777565b6020026020010151602001516001600281106113e7576113e7611777565b6020020151826113f8836006611804565b6114039060056117bc565b8151811061141357611413611777565b602090810291909101015280611428816117a3565b9150506111fb565b506114396115aa565b6000602082602086026020860160086107d05a03fa9050808061145857fe5b508061149e5760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b60448201526064016101ef565b505115159695505050505050565b6040805160a0810190915260006060820181815260808301919091528152602081016114d661158a565b81526020016114f8604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c083019190915281526020810161152761158a565b815260200161153461158a565b815260200161154161158a565b8152602001606081525090565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806040016040528061159d6115c8565b81526020016114f86115c8565b60405180602001604052806001906020820280368337509192915050565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff8111828210171561161f5761161f6115e6565b60405290565b604051610200810167ffffffffffffffff8111828210171561161f5761161f6115e6565b600082601f83011261165a57600080fd5b6116626115fc565b80604084018581111561167457600080fd5b845b8181101561168e578035845260209384019301611676565b509095945050505050565b6000806000806103008086880312156116b157600080fd5b6116bb8787611649565b9450604087605f8801126116ce57600080fd5b6116d66115fc565b8060c089018a8111156116e857600080fd5b838a015b8181101561170d576116fe8c82611649565b845260209093019284016116ec565b5081975061171b8b82611649565b9650505050508661011f87011261173157600080fd5b611739611625565b90860190808883111561174b57600080fd5b61010088015b83811015611769578035835260209283019201611751565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6000600182016117b5576117b561178d565b5060010190565b808201808211156103605761036061178d565b6000826117ec57634e487b7160e01b600052601260045260246000fd5b500690565b818103818111156103605761036061178d565b80820281158282048414176103605761036061178d56fea2646970667358221220e0cc41e8cee8e3f224b8b044fcbc4ab78fdecadfa587f3644c5279942ff0520464736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c8063c82febf514610030575b600080fd5b61004361003e366004611699565b610057565b604051901515815260200160405180910390f35b60006100616114ac565b60408051808201825287518152602080890151818301529083528151608081018352875151818401908152885183015160608301528152825180840184528883018051518252518301518184015281830152838201528151808301835286518152868201518183015283830152815160108082526102208201909352600092909182016102008036833701905050905060005b60108110156101435784816010811061010f5761010f611777565b602002015182828151811061012657610126611777565b60209081029190910101528061013b816117a3565b9150506100f4565b5061014e818361016f565b60000361016057600192505050610167565b6000925050505b949350505050565b60007f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018161019b610366565b9050806080015151855160016101b191906117bc565b146101f85760405162461bcd60e51b81526020600482015260126024820152711d995c9a599a595c8b5898590b5a5b9c1d5d60721b60448201526064015b60405180910390fd5b604080518082019091526000808252602082018190525b86518110156102e9578387828151811061022b5761022b611777565b6020026020010151106102805760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c640060448201526064016101ef565b6102d5826102d0856080015184600161029991906117bc565b815181106102a9576102a9611777565b60200260200101518a85815181106102c3576102c3611777565b6020026020010151610dfb565b610e91565b9150806102e1816117a3565b91505061020f565b5061031281836080015160008151811061030557610305611777565b6020026020010151610e91565b90506103486103248660000151610f2a565b8660200151846000015185602001518587604001518b604001518960600151610fc9565b6103585760019350505050610360565b600093505050505b92915050565b61036e6114fd565b6040805180820182527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e281527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266020808301919091529083528151608080820184527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c8285019081527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab606080850191909152908352845180860186527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a781527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8818601528385015285840192909252835180820185527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c28186019081527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed828501528152845180860186527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b81527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa818601528185015285850152835190810184527f05ecf20be1adaebb2d731b59e3edbf339441344a0bad52869e5398d6e4db431d8185019081527f1d6e205b84cd3ee93059a2410524137cfad5fc83e65894203f08cb5c91256b8b828401528152835180850185527f039d6de7dc866fb20da4eb614a0816fdfd54d46b01dcc12db077894c8395209f81527f047bb07a32b41bad6a349864dc9a69ca9fca8b5524190b6c5642172e01d66b31818501528184015290840152815160118082526102408201909352919082015b60408051808201909152600080825260208201528152602001906001900390816105ea57505060808201908152604080518082019091527f1c19b55c0bcd66ef591b4c84f014b558ac017e125719e1b4e90a2d51755e921881527f02b098152face8a984306181b808e330b7e9647d655e8d52828854e0ced09c0060208201529051805160009061067d5761067d611777565b602002602001018190525060405180604001604052807f246a6b14933a832a3d8607a87e86e67db69e514772fad69cd0f7b41f45724f1781526020017f22ef9a86111824e4b8b64b34dfcaa04c1b281be92454d1747933c4f11353c7fc81525081608001516001815181106106f4576106f4611777565b602002602001018190525060405180604001604052807f298c2006cbb0b66cd17a9492f08c7bbe7b445f453c500146966344945a2aea6781526020017f24c855b54b1cd418ea188960ea3deb8dce079229809d24798691e465a2a275e1815250816080015160028151811061076b5761076b611777565b602002602001018190525060405180604001604052807f21ae21bff2229562608d59ce94fc61a8f2fdec0d877f501bbd9be2a7fa96950081526020017f1214810abd3db04fe2df1b368fe2cd191f1d1d09b59bc783195666e5fce7adfe81525081608001516003815181106107e2576107e2611777565b602002602001018190525060405180604001604052807f16b60c8148be3a34e06932ebe83875534cdd78a65b1fb9a5ffa524420be2ca3e81526020017f09b0c198485f19328f6cc5461ba5405620a38520a29737c7531994b90b321aec815250816080015160048151811061085957610859611777565b602002602001018190525060405180604001604052807f0a6da3f764350eae34b051081b4b3df096348a7b97fc063aa31a64ca43546fbe81526020017f20f0afbfbcba08780f3e4cd82d263b3165d5abd8f36fb9adc79c3adf50050dad81525081608001516005815181106108d0576108d0611777565b602002602001018190525060405180604001604052807f18b576199ff1f827d31a83549cb2e278ab15bca13070d0fec7b554a2dde2873281526020017f2ca67faaeaf34b7932489c10190aba13142bd36559dfb8753336c50e5fcd0191815250816080015160068151811061094757610947611777565b602002602001018190525060405180604001604052807f2c4bf620fa742c45eb83b7940449a7c341ece62273660f3c5e7729f55bcf638a81526020017f185b66e1b939b51a9342023827f4a09b8a02b6f24f0e4e84b83e06bc85b0f47681525081608001516007815181106109be576109be611777565b602002602001018190525060405180604001604052807f03c6755b76e03090be9cf05d29e1c92fd87789846774ee217a2d86b16f75cd0481526020017f0ed64f8c37ed2e768ee1155a10a60fd86c9ee97eb1f33d704ab44d066e808b5a8152508160800151600881518110610a3557610a35611777565b602002602001018190525060405180604001604052807f09161e9aece8064e9240d6f7964f8d1a08dcfb6e6dd049f56e387c5fcc9f561a81526020017f2f133e5598063b890848aee07515f52b5493cabc0e934e98fcaad50d9b2ba4cf8152508160800151600981518110610aac57610aac611777565b602002602001018190525060405180604001604052807f1ad7c8d907629d5e9bfd0e9e2e5f1c58d419bc15a073553ba4fc66366036e4bc81526020017f1343039b6bd885607636c3e83a285c860a11ac38c9e6ee8fbfa3e451f44606008152508160800151600a81518110610b2357610b23611777565b602002602001018190525060405180604001604052807f2bcc8de563da85c5ed5c82aed070ef6f7e36e1a878d8bc6be026574e0cc30a9c81526020017f0a9d3b5eeaac7bbf276cf099ceb4cf06fbc1512bc30b049971abfbfc0e0321238152508160800151600b81518110610b9a57610b9a611777565b602002602001018190525060405180604001604052807f08db29e50aaeb526d7126048d6e0fb35055abd5ff4ef05fbd7fe2bb4886f5e3d81526020017f0708f5790d7498b039588b032255c96c0a83ee6f0507ef6700c8732ae4c702b98152508160800151600c81518110610c1157610c11611777565b602002602001018190525060405180604001604052807f18a9b1d830653b49610f114e1fb07cb1fa24d4dbcb307df279971c2488b2526a81526020017f1cadf923ac0de79305f5a600aaaf426079d73a8865ff7cc77a75de59854754da8152508160800151600d81518110610c8857610c88611777565b602002602001018190525060405180604001604052807f1c739ae9276cb673ff7f52327c5dfce7d8d20976d36c1cc5c885dadf2b0aff0181526020017f1980b4ee8ad174e62ea7ba1d2ded683c592c1be0c6d3176455f534cfeead6ec98152508160800151600e81518110610cff57610cff611777565b602002602001018190525060405180604001604052807f263cd91d6a8d690603188cac17b6a52b78182f896a458128265beee1a26d15d381526020017f142ad0be53aff9b3caf96296e18163fc292003eb929ff7a72570873ab4352c268152508160800151600f81518110610d7657610d76611777565b602002602001018190525060405180604001604052807f195ce3b03e8aae1ad57aaf0a2ecb370fc2e19a28531f4b72e34c05d6f570a3de81526020017f2ed1c865d9665895331cb496ca7a3ccb827ca5f8c10b9b96d9dff07aab63116d8152508160800151601081518110610ded57610ded611777565b602002602001018190525090565b6040805180820190915260008082526020820152610e1761154e565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa90508080610e4657fe5b5080610e895760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b60448201526064016101ef565b505092915050565b6040805180820190915260008082526020820152610ead61156c565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa90508080610ee757fe5b5080610e895760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b60448201526064016101ef565b604080518082019091526000808252602082015281517f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4790158015610f7157506020830151155b15610f915750506040805180820190915260008082526020820152919050565b604051806040016040528084600001518152602001828560200151610fb691906117cf565b610fc090846117f1565b90529392505050565b60408051600480825260a08201909252600091829190816020015b6040805180820190915260008082526020820152815260200190600190039081610fe457505060408051600480825260a0820190925291925060009190602082015b61102e61158a565b8152602001906001900390816110265790505090508a8260008151811061105757611057611777565b6020026020010181905250888260018151811061107657611076611777565b6020026020010181905250868260028151811061109557611095611777565b602002602001018190525084826003815181106110b4576110b4611777565b602002602001018190525089816000815181106110d3576110d3611777565b602002602001018190525087816001815181106110f2576110f2611777565b6020026020010181905250858160028151811061111157611111611777565b6020026020010181905250838160038151811061113057611130611777565b60200260200101819052506111458282611154565b9b9a5050505050505050505050565b600081518351146111a05760405162461bcd60e51b81526020600482015260166024820152751c185a5c9a5b99cb5b195b99dd1a1ccb59985a5b195960521b60448201526064016101ef565b825160006111af826006611804565b905060008167ffffffffffffffff8111156111cc576111cc6115e6565b6040519080825280602002602001820160405280156111f5578160200160208202803683370190505b50905060005b838110156114305786818151811061121557611215611777565b6020026020010151600001518282600661122f9190611804565b61123a9060006117bc565b8151811061124a5761124a611777565b60200260200101818152505086818151811061126857611268611777565b602002602001015160200151828260066112829190611804565b61128d9060016117bc565b8151811061129d5761129d611777565b6020026020010181815250508581815181106112bb576112bb611777565b60209081029190910101515151826112d4836006611804565b6112df9060026117bc565b815181106112ef576112ef611777565b60200260200101818152505085818151811061130d5761130d611777565b60209081029190910181015151015182611328836006611804565b6113339060036117bc565b8151811061134357611343611777565b60200260200101818152505085818151811061136157611361611777565b60200260200101516020015160006002811061137f5761137f611777565b602002015182611390836006611804565b61139b9060046117bc565b815181106113ab576113ab611777565b6020026020010181815250508581815181106113c9576113c9611777565b6020026020010151602001516001600281106113e7576113e7611777565b6020020151826113f8836006611804565b6114039060056117bc565b8151811061141357611413611777565b602090810291909101015280611428816117a3565b9150506111fb565b506114396115aa565b6000602082602086026020860160086107d05a03fa9050808061145857fe5b508061149e5760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b60448201526064016101ef565b505115159695505050505050565b6040805160a0810190915260006060820181815260808301919091528152602081016114d661158a565b81526020016114f8604051806040016040528060008152602001600081525090565b905290565b6040805160e08101909152600060a0820181815260c083019190915281526020810161152761158a565b815260200161153461158a565b815260200161154161158a565b8152602001606081525090565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806040016040528061159d6115c8565b81526020016114f86115c8565b60405180602001604052806001906020820280368337509192915050565b60405180604001604052806002906020820280368337509192915050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff8111828210171561161f5761161f6115e6565b60405290565b604051610200810167ffffffffffffffff8111828210171561161f5761161f6115e6565b600082601f83011261165a57600080fd5b6116626115fc565b80604084018581111561167457600080fd5b845b8181101561168e578035845260209384019301611676565b509095945050505050565b6000806000806103008086880312156116b157600080fd5b6116bb8787611649565b9450604087605f8801126116ce57600080fd5b6116d66115fc565b8060c089018a8111156116e857600080fd5b838a015b8181101561170d576116fe8c82611649565b845260209093019284016116ec565b5081975061171b8b82611649565b9650505050508661011f87011261173157600080fd5b611739611625565b90860190808883111561174b57600080fd5b61010088015b83811015611769578035835260209283019201611751565b509598949750929550505050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6000600182016117b5576117b561178d565b5060010190565b808201808211156103605761036061178d565b6000826117ec57634e487b7160e01b600052601260045260246000fd5b500690565b818103818111156103605761036061178d565b80820281158282048414176103605761036061178d56fea2646970667358221220e0cc41e8cee8e3f224b8b044fcbc4ab78fdecadfa587f3644c5279942ff0520464736f6c63430008110033