Contract 0x6b0a11f9aa5aa275f16e44e1d479a59dd00abe58 2

/**
 *Submitted for verification at Arbiscan on 2021-10-13
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract AutismRegistrar {
    mapping(address => uint) public nonces;

    event RecordUpdatedFor(address indexed account, bytes value, bytes proof, address relayer);

    function updateFor(address account, bytes calldata value, bytes calldata proof) public {
        uint nonce = nonces[account];
        bytes32 msgHash = keccak256(abi.encodePacked(account, value, nonce));
        bytes32 signedMsgHash = getEthSignedMessageHash(msgHash);

        require(recoverSigner(signedMsgHash, proof) == account);

        nonces[account] = nonce + 1;

        emit RecordUpdatedFor(account, value, proof, msg.sender);
    }

    function recoverSigner(bytes32 msgHash, bytes memory proof) public pure returns (address) {
        (bytes32 r, bytes32 s, uint8 v) = splitSignature(proof);
        return ecrecover(msgHash, v, r, s);
    }

    function splitSignature(bytes memory sig) public pure returns (
        bytes32 r,
        bytes32 s,
        uint8 v
    ) {
        require(sig.length == 65, "invalid signature length");

        assembly {
        /*
        First 32 bytes stores the length of the signature

        add(sig, 32) = pointer of sig + 32
        effectively, skips first 32 bytes of signature

        mload(p) loads next 32 bytes starting at the memory address p into memory
        */

        // first 32 bytes, after the length prefix
            r := mload(add(sig, 32))
        // second 32 bytes
            s := mload(add(sig, 64))
        // final byte (first byte of the next 32 bytes)
            v := byte(0, mload(add(sig, 96)))
        }

        // implicitly return (r, s, v)
    }

    function getEthSignedMessageHash(bytes32 _messageHash) public pure returns (bytes32){
        return
        keccak256(
            abi.encodePacked("\x19Ethereum Signed Message:\n32", _messageHash)
        );
    }
}

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"bytes","name":"value","type":"bytes"},{"indexed":false,"internalType":"bytes","name":"proof","type":"bytes"},{"indexed":false,"internalType":"address","name":"relayer","type":"address"}],"name":"RecordUpdatedFor","type":"event"},{"inputs":[{"internalType":"bytes32","name":"_messageHash","type":"bytes32"}],"name":"getEthSignedMessageHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"msgHash","type":"bytes32"},{"internalType":"bytes","name":"proof","type":"bytes"}],"name":"recoverSigner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes","name":"sig","type":"bytes"}],"name":"splitSignature","outputs":[{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"},{"internalType":"uint8","name":"v","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes","name":"value","type":"bytes"},{"internalType":"bytes","name":"proof","type":"bytes"}],"name":"updateFor","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50610beb806100206000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c80637ecebe001461005c57806385218e181461008c57806397aba7f9146100a8578063a7bb5803146100d8578063fa5408011461010a575b600080fd5b610076600480360381019061007191906104ea565b61013a565b60405161008391906108ef565b60405180910390f35b6100a660048036038101906100a19190610513565b610152565b005b6100c260048036038101906100bd91906105c5565b610307565b6040516100cf91906107d4565b60405180910390f35b6100f260048036038101906100ed9190610619565b610376565b6040516101019392919061080a565b60405180910390f35b610124600480360381019061011f919061059c565b6103de565b60405161013191906107ef565b60405180910390f35b60006020528060005260406000206000915090505481565b60008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000868686846040516020016101ae9493929190610773565b60405160208183030381529060405280519060200120905060006101d1826103de565b90508773ffffffffffffffffffffffffffffffffffffffff166102388287878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050610307565b73ffffffffffffffffffffffffffffffffffffffff161461025857600080fd5b6001836102659190610998565b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508773ffffffffffffffffffffffffffffffffffffffff167fca27f3a455e640453892318e5a67d85e0a1b0acec86d6689f6fbeb740aac66bb88888888336040516102f5959493929190610886565b60405180910390a25050505050505050565b60008060008061031685610376565b9250925092506001868285856040516000815260200160405260405161033f9493929190610841565b6020604051602081039080840390855afa158015610361573d6000803e3d6000fd5b50505060206040510351935050505092915050565b600080600060418451146103bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103b6906108cf565b60405180910390fd5b6020840151925060408401519150606084015160001a90509193909250565b6000816040516020016103f191906107ae565b604051602081830303815290604052805190602001209050919050565b600061042161041c8461092f565b61090a565b90508281526020810184848401111561043957600080fd5b610444848285610a41565b509392505050565b60008135905061045b81610b87565b92915050565b60008135905061047081610b9e565b92915050565b60008083601f84011261048857600080fd5b8235905067ffffffffffffffff8111156104a157600080fd5b6020830191508360018202830111156104b957600080fd5b9250929050565b600082601f8301126104d157600080fd5b81356104e184826020860161040e565b91505092915050565b6000602082840312156104fc57600080fd5b600061050a8482850161044c565b91505092915050565b60008060008060006060868803121561052b57600080fd5b60006105398882890161044c565b955050602086013567ffffffffffffffff81111561055657600080fd5b61056288828901610476565b9450945050604086013567ffffffffffffffff81111561058157600080fd5b61058d88828901610476565b92509250509295509295909350565b6000602082840312156105ae57600080fd5b60006105bc84828501610461565b91505092915050565b600080604083850312156105d857600080fd5b60006105e685828601610461565b925050602083013567ffffffffffffffff81111561060357600080fd5b61060f858286016104c0565b9150509250929050565b60006020828403121561062b57600080fd5b600082013567ffffffffffffffff81111561064557600080fd5b610651848285016104c0565b91505092915050565b610663816109ee565b82525050565b61067a610675826109ee565b610a81565b82525050565b61068981610a00565b82525050565b6106a061069b82610a00565b610a93565b82525050565b60006106b28385610960565b93506106bf838584610a41565b6106c883610b17565b840190509392505050565b60006106df8385610971565b93506106ec838584610a41565b82840190509392505050565b6000610705601c8361098d565b915061071082610b35565b601c82019050919050565b600061072860188361097c565b915061073382610b5e565b602082019050919050565b61074781610a2a565b82525050565b61075e61075982610a2a565b610aaf565b82525050565b61076d81610a34565b82525050565b600061077f8287610669565b6014820191506107908285876106d3565b915061079c828461074d565b60208201915081905095945050505050565b60006107b9826106f8565b91506107c5828461068f565b60208201915081905092915050565b60006020820190506107e9600083018461065a565b92915050565b60006020820190506108046000830184610680565b92915050565b600060608201905061081f6000830186610680565b61082c6020830185610680565b6108396040830184610764565b949350505050565b60006080820190506108566000830187610680565b6108636020830186610764565b6108706040830185610680565b61087d6060830184610680565b95945050505050565b600060608201905081810360008301526108a18187896106a6565b905081810360208301526108b68185876106a6565b90506108c5604083018461065a565b9695505050505050565b600060208201905081810360008301526108e88161071b565b9050919050565b6000602082019050610904600083018461073e565b92915050565b6000610914610925565b90506109208282610a50565b919050565b6000604051905090565b600067ffffffffffffffff82111561094a57610949610ae8565b5b61095382610b17565b9050602081019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b600081905092915050565b60006109a382610a2a565b91506109ae83610a2a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156109e3576109e2610ab9565b5b828201905092915050565b60006109f982610a0a565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b82818337600083830152505050565b610a5982610b17565b810181811067ffffffffffffffff82111715610a7857610a77610ae8565b5b80604052505050565b6000610a8c82610a9d565b9050919050565b6000819050919050565b6000610aa882610b28565b9050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b60008160601b9050919050565b7f19457468657265756d205369676e6564204d6573736167653a0a333200000000600082015250565b7f696e76616c6964207369676e6174757265206c656e6774680000000000000000600082015250565b610b90816109ee565b8114610b9b57600080fd5b50565b610ba781610a00565b8114610bb257600080fd5b5056fea2646970667358221220bf8e9616caf85fd7acda279200415324649b50da7c91029c92d71d31bc57bffe64736f6c63430008030033

60:1898:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;92:38;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;238:457;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;703:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;920:807;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;1735:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;92:38;;;;;;;;;;;;;;;;;:::o;238:457::-;336:10;349:6;:15;356:7;349:15;;;;;;;;;;;;;;;;336:28;;375:15;420:7;429:5;;436;403:39;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;393:50;;;;;;375:68;;454:21;478:32;502:7;478:23;:32::i;:::-;454:56;;570:7;531:46;;:35;545:13;560:5;;531:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:13;:35::i;:::-;:46;;;523:55;;;;;;617:1;609:5;:9;;;;:::i;:::-;591:6;:15;598:7;591:15;;;;;;;;;;;;;;;:27;;;;653:7;636:51;;;662:5;;669;;676:10;636:51;;;;;;;;;;:::i;:::-;;;;;;;;238:457;;;;;;;;:::o;703:209::-;784:7;805:9;816;827:7;838:21;853:5;838:14;:21::i;:::-;804:55;;;;;;877:27;887:7;896:1;899;902;877:27;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;870:34;;;;;703:209;;;;:::o;920:807::-;993:9;1013;1033:7;1081:2;1067:3;:10;:16;1059:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;1493:2;1488:3;1484:12;1478:19;1473:24;;1559:2;1554:3;1550:12;1544:19;1539:24;;1662:2;1657:3;1653:12;1647:19;1644:1;1639:28;1634:33;;1134:544;;;;;:::o;1735:220::-;1811:7;1923:12;1870:66;;;;;;;;:::i;:::-;;;;;;;;;;;;;1846:101;;;;;;1830:117;;1735:220;;;:::o;7:343:1:-;;109:65;125:48;166:6;125:48;:::i;:::-;109:65;:::i;:::-;100:74;;197:6;190:5;183:21;235:4;228:5;224:16;273:3;264:6;259:3;255:16;252:25;249:2;;;290:1;287;280:12;249:2;303:41;337:6;332:3;327;303:41;:::i;:::-;90:260;;;;;;:::o;356:139::-;;440:6;427:20;418:29;;456:33;483:5;456:33;:::i;:::-;408:87;;;;:::o;501:139::-;;585:6;572:20;563:29;;601:33;628:5;601:33;:::i;:::-;553:87;;;;:::o;659:351::-;;;776:3;769:4;761:6;757:17;753:27;743:2;;794:1;791;784:12;743:2;830:6;817:20;807:30;;860:18;852:6;849:30;846:2;;;892:1;889;882:12;846:2;929:4;921:6;917:17;905:29;;983:3;975:4;967:6;963:17;953:8;949:32;946:41;943:2;;;1000:1;997;990:12;943:2;733:277;;;;;:::o;1029:271::-;;1133:3;1126:4;1118:6;1114:17;1110:27;1100:2;;1151:1;1148;1141:12;1100:2;1191:6;1178:20;1216:78;1290:3;1282:6;1275:4;1267:6;1263:17;1216:78;:::i;:::-;1207:87;;1090:210;;;;;:::o;1306:262::-;;1414:2;1402:9;1393:7;1389:23;1385:32;1382:2;;;1430:1;1427;1420:12;1382:2;1473:1;1498:53;1543:7;1534:6;1523:9;1519:22;1498:53;:::i;:::-;1488:63;;1444:117;1372:196;;;;:::o;1574:814::-;;;;;;1754:2;1742:9;1733:7;1729:23;1725:32;1722:2;;;1770:1;1767;1760:12;1722:2;1813:1;1838:53;1883:7;1874:6;1863:9;1859:22;1838:53;:::i;:::-;1828:63;;1784:117;1968:2;1957:9;1953:18;1940:32;1999:18;1991:6;1988:30;1985:2;;;2031:1;2028;2021:12;1985:2;2067:64;2123:7;2114:6;2103:9;2099:22;2067:64;:::i;:::-;2049:82;;;;1911:230;2208:2;2197:9;2193:18;2180:32;2239:18;2231:6;2228:30;2225:2;;;2271:1;2268;2261:12;2225:2;2307:64;2363:7;2354:6;2343:9;2339:22;2307:64;:::i;:::-;2289:82;;;;2151:230;1712:676;;;;;;;;:::o;2394:262::-;;2502:2;2490:9;2481:7;2477:23;2473:32;2470:2;;;2518:1;2515;2508:12;2470:2;2561:1;2586:53;2631:7;2622:6;2611:9;2607:22;2586:53;:::i;:::-;2576:63;;2532:117;2460:196;;;;:::o;2662:518::-;;;2796:2;2784:9;2775:7;2771:23;2767:32;2764:2;;;2812:1;2809;2802:12;2764:2;2855:1;2880:53;2925:7;2916:6;2905:9;2901:22;2880:53;:::i;:::-;2870:63;;2826:117;3010:2;2999:9;2995:18;2982:32;3041:18;3033:6;3030:30;3027:2;;;3073:1;3070;3063:12;3027:2;3101:62;3155:7;3146:6;3135:9;3131:22;3101:62;:::i;:::-;3091:72;;2953:220;2754:426;;;;;:::o;3186:373::-;;3303:2;3291:9;3282:7;3278:23;3274:32;3271:2;;;3319:1;3316;3309:12;3271:2;3390:1;3379:9;3375:17;3362:31;3420:18;3412:6;3409:30;3406:2;;;3452:1;3449;3442:12;3406:2;3480:62;3534:7;3525:6;3514:9;3510:22;3480:62;:::i;:::-;3470:72;;3333:219;3261:298;;;;:::o;3565:118::-;3652:24;3670:5;3652:24;:::i;:::-;3647:3;3640:37;3630:53;;:::o;3689:157::-;3794:45;3814:24;3832:5;3814:24;:::i;:::-;3794:45;:::i;:::-;3789:3;3782:58;3772:74;;:::o;3852:118::-;3939:24;3957:5;3939:24;:::i;:::-;3934:3;3927:37;3917:53;;:::o;3976:157::-;4081:45;4101:24;4119:5;4101:24;:::i;:::-;4081:45;:::i;:::-;4076:3;4069:58;4059:74;;:::o;4161:301::-;;4278:70;4341:6;4336:3;4278:70;:::i;:::-;4271:77;;4358:43;4394:6;4389:3;4382:5;4358:43;:::i;:::-;4426:29;4448:6;4426:29;:::i;:::-;4421:3;4417:39;4410:46;;4261:201;;;;;:::o;4490:314::-;;4625:88;4706:6;4701:3;4625:88;:::i;:::-;4618:95;;4723:43;4759:6;4754:3;4747:5;4723:43;:::i;:::-;4791:6;4786:3;4782:16;4775:23;;4608:196;;;;;:::o;4810:402::-;;4991:85;5073:2;5068:3;4991:85;:::i;:::-;4984:92;;5085:93;5174:3;5085:93;:::i;:::-;5203:2;5198:3;5194:12;5187:19;;4974:238;;;:::o;5218:366::-;;5381:67;5445:2;5440:3;5381:67;:::i;:::-;5374:74;;5457:93;5546:3;5457:93;:::i;:::-;5575:2;5570:3;5566:12;5559:19;;5364:220;;;:::o;5590:118::-;5677:24;5695:5;5677:24;:::i;:::-;5672:3;5665:37;5655:53;;:::o;5714:157::-;5819:45;5839:24;5857:5;5839:24;:::i;:::-;5819:45;:::i;:::-;5814:3;5807:58;5797:74;;:::o;5877:112::-;5960:22;5976:5;5960:22;:::i;:::-;5955:3;5948:35;5938:51;;:::o;5995:573::-;;6206:75;6277:3;6268:6;6206:75;:::i;:::-;6306:2;6301:3;6297:12;6290:19;;6326:103;6425:3;6416:6;6408;6326:103;:::i;:::-;6319:110;;6439:75;6510:3;6501:6;6439:75;:::i;:::-;6539:2;6534:3;6530:12;6523:19;;6559:3;6552:10;;6195:373;;;;;;;:::o;6574:522::-;;6809:148;6953:3;6809:148;:::i;:::-;6802:155;;6967:75;7038:3;7029:6;6967:75;:::i;:::-;7067:2;7062:3;7058:12;7051:19;;7087:3;7080:10;;6791:305;;;;:::o;7102:222::-;;7233:2;7222:9;7218:18;7210:26;;7246:71;7314:1;7303:9;7299:17;7290:6;7246:71;:::i;:::-;7200:124;;;;:::o;7330:222::-;;7461:2;7450:9;7446:18;7438:26;;7474:71;7542:1;7531:9;7527:17;7518:6;7474:71;:::i;:::-;7428:124;;;;:::o;7558:434::-;;7741:2;7730:9;7726:18;7718:26;;7754:71;7822:1;7811:9;7807:17;7798:6;7754:71;:::i;:::-;7835:72;7903:2;7892:9;7888:18;7879:6;7835:72;:::i;:::-;7917:68;7981:2;7970:9;7966:18;7957:6;7917:68;:::i;:::-;7708:284;;;;;;:::o;7998:545::-;;8209:3;8198:9;8194:19;8186:27;;8223:71;8291:1;8280:9;8276:17;8267:6;8223:71;:::i;:::-;8304:68;8368:2;8357:9;8353:18;8344:6;8304:68;:::i;:::-;8382:72;8450:2;8439:9;8435:18;8426:6;8382:72;:::i;:::-;8464;8532:2;8521:9;8517:18;8508:6;8464:72;:::i;:::-;8176:367;;;;;;;:::o;8549:656::-;;8792:2;8781:9;8777:18;8769:26;;8841:9;8835:4;8831:20;8827:1;8816:9;8812:17;8805:47;8869:86;8950:4;8941:6;8933;8869:86;:::i;:::-;8861:94;;9002:9;8996:4;8992:20;8987:2;8976:9;8972:18;8965:48;9030:86;9111:4;9102:6;9094;9030:86;:::i;:::-;9022:94;;9126:72;9194:2;9183:9;9179:18;9170:6;9126:72;:::i;:::-;8759:446;;;;;;;;:::o;9211:419::-;;9415:2;9404:9;9400:18;9392:26;;9464:9;9458:4;9454:20;9450:1;9439:9;9435:17;9428:47;9492:131;9618:4;9492:131;:::i;:::-;9484:139;;9382:248;;;:::o;9636:222::-;;9767:2;9756:9;9752:18;9744:26;;9780:71;9848:1;9837:9;9833:17;9824:6;9780:71;:::i;:::-;9734:124;;;;:::o;9864:129::-;;9925:20;;:::i;:::-;9915:30;;9954:33;9982:4;9974:6;9954:33;:::i;:::-;9905:88;;;:::o;9999:75::-;;10065:2;10059:9;10049:19;;10039:35;:::o;10080:307::-;;10231:18;10223:6;10220:30;10217:2;;;10253:18;;:::i;:::-;10217:2;10291:29;10313:6;10291:29;:::i;:::-;10283:37;;10375:4;10369;10365:15;10357:23;;10146:241;;;:::o;10393:168::-;;10510:6;10505:3;10498:19;10550:4;10545:3;10541:14;10526:29;;10488:73;;;;:::o;10567:147::-;;10705:3;10690:18;;10680:34;;;;:::o;10720:169::-;;10838:6;10833:3;10826:19;10878:4;10873:3;10869:14;10854:29;;10816:73;;;;:::o;10895:148::-;;11034:3;11019:18;;11009:34;;;;:::o;11049:305::-;;11108:20;11126:1;11108:20;:::i;:::-;11103:25;;11142:20;11160:1;11142:20;:::i;:::-;11137:25;;11296:1;11228:66;11224:74;11221:1;11218:81;11215:2;;;11302:18;;:::i;:::-;11215:2;11346:1;11343;11339:9;11332:16;;11093:261;;;;:::o;11360:96::-;;11426:24;11444:5;11426:24;:::i;:::-;11415:35;;11405:51;;;:::o;11462:77::-;;11528:5;11517:16;;11507:32;;;:::o;11545:126::-;;11622:42;11615:5;11611:54;11600:65;;11590:81;;;:::o;11677:77::-;;11743:5;11732:16;;11722:32;;;:::o;11760:86::-;;11835:4;11828:5;11824:16;11813:27;;11803:43;;;:::o;11852:154::-;11936:6;11931:3;11926;11913:30;11998:1;11989:6;11984:3;11980:16;11973:27;11903:103;;;:::o;12012:281::-;12095:27;12117:4;12095:27;:::i;:::-;12087:6;12083:40;12225:6;12213:10;12210:22;12189:18;12177:10;12174:34;12171:62;12168:2;;;12236:18;;:::i;:::-;12168:2;12276:10;12272:2;12265:22;12055:238;;;:::o;12299:100::-;;12367:26;12387:5;12367:26;:::i;:::-;12356:37;;12346:53;;;:::o;12405:79::-;;12473:5;12462:16;;12452:32;;;:::o;12490:94::-;;12558:20;12572:5;12558:20;:::i;:::-;12547:31;;12537:47;;;:::o;12590:79::-;;12658:5;12647:16;;12637:32;;;:::o;12675:180::-;12723:77;12720:1;12713:88;12820:4;12817:1;12810:15;12844:4;12841:1;12834:15;12861:180;12909:77;12906:1;12899:88;13006:4;13003:1;12996:15;13030:4;13027:1;13020:15;13047:102;;13139:2;13135:7;13130:2;13123:5;13119:14;13115:28;13105:38;;13095:54;;;:::o;13155:94::-;;13236:5;13232:2;13228:14;13207:35;;13197:52;;;:::o;13255:214::-;13395:66;13391:1;13383:6;13379:14;13372:90;13361:108;:::o;13475:174::-;13615:26;13611:1;13603:6;13599:14;13592:50;13581:68;:::o;13655:122::-;13728:24;13746:5;13728:24;:::i;:::-;13721:5;13718:35;13708:2;;13767:1;13764;13757:12;13708:2;13698:79;:::o;13783:122::-;13856:24;13874:5;13856:24;:::i;:::-;13849:5;13846:35;13836:2;;13895:1;13892;13885:12;13836:2;13826:79;:::o

bf8e9616caf85fd7acda279200415324649b50da7c91029c92d71d31bc57bffe