secure-transac-contracts 1.0.0

package/build/contracts/ECDSA.json

@@ -0,0 +1,4734 @@
+{
+  "contractName": "ECDSA",
+  "abi": [
+    {
+      "inputs": [],
+      "name": "ECDSAInvalidSignature",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "uint256",
+          "name": "length",
+          "type": "uint256"
+        }
+      ],
+      "name": "ECDSAInvalidSignatureLength",
+      "type": "error"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "bytes32",
+          "name": "s",
+          "type": "bytes32"
+        }
+      ],
+      "name": "ECDSAInvalidSignatureS",
+      "type": "error"
+    }
+  ],
+  "metadata": "{\"compiler\":{\"version\":\"0.8.21+commit.d9974bed\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"ECDSAInvalidSignature\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"length\",\"type\":\"uint256\"}],\"name\":\"ECDSAInvalidSignatureLength\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"s\",\"type\":\"bytes32\"}],\"name\":\"ECDSAInvalidSignatureS\",\"type\":\"error\"}],\"devdoc\":{\"details\":\"Elliptic Curve Digital Signature Algorithm (ECDSA) operations. These functions can be used to verify that a message was signed by the holder of the private keys of a given address.\",\"errors\":{\"ECDSAInvalidSignature()\":[{\"details\":\"The signature derives the `address(0)`.\"}],\"ECDSAInvalidSignatureLength(uint256)\":[{\"details\":\"The signature has an invalid length.\"}],\"ECDSAInvalidSignatureS(bytes32)\":[{\"details\":\"The signature has an S value that is in the upper half order.\"}]},\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"@openzeppelin/contracts/utils/cryptography/ECDSA.sol\":\"ECDSA\"},\"evmVersion\":\"shanghai\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"@openzeppelin/contracts/utils/cryptography/ECDSA.sol\":{\"keccak256\":\"0x69f54c02b7d81d505910ec198c11ed4c6a728418a868b906b4a0cf29946fda84\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://8e25e4bdb7ae1f21d23bfee996e22736fc0ab44cfabedac82a757b1edc5623b9\",\"dweb:/ipfs/QmQdWQvB6JCP9ZMbzi8EvQ1PTETqkcTWrbcVurS7DKpa5n\"]}},\"version\":1}",
+  "bytecode": "0x6055604b600b8282823980515f1a607314603f577f4e487b71000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f80fdfea2646970667358221220ebc079bacf0de745fd5dc42a1b00e69b1788acc6f2e7704ad6d9850ddaba721964736f6c63430008150033",
+  "deployedBytecode": "0x730000000000000000000000000000000000000000301460806040525f80fdfea2646970667358221220ebc079bacf0de745fd5dc42a1b00e69b1788acc6f2e7704ad6d9850ddaba721964736f6c63430008150033",
+  "immutableReferences": {},
+  "generatedSources": [],
+  "deployedGeneratedSources": [],
+  "sourceMap": "344:7470:19:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;",
+  "deployedSourceMap": "344:7470:19:-:0;;;;;;;;",
+  "source": "// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v5.1.0) (utils/cryptography/ECDSA.sol)\n\npragma solidity ^0.8.20;\n\n/**\n * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.\n *\n * These functions can be used to verify that a message was signed by the holder\n * of the private keys of a given address.\n */\nlibrary ECDSA {\n    enum RecoverError {\n        NoError,\n        InvalidSignature,\n        InvalidSignatureLength,\n        InvalidSignatureS\n    }\n\n    /**\n     * @dev The signature derives the `address(0)`.\n     */\n    error ECDSAInvalidSignature();\n\n    /**\n     * @dev The signature has an invalid length.\n     */\n    error ECDSAInvalidSignatureLength(uint256 length);\n\n    /**\n     * @dev The signature has an S value that is in the upper half order.\n     */\n    error ECDSAInvalidSignatureS(bytes32 s);\n\n    /**\n     * @dev Returns the address that signed a hashed message (`hash`) with `signature` or an error. This will not\n     * return address(0) without also returning an error description. Errors are documented using an enum (error type)\n     * and a bytes32 providing additional information about the error.\n     *\n     * If no error is returned, then the address can be used for verification purposes.\n     *\n     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:\n     * this function rejects them by requiring the `s` value to be in the lower\n     * half order, and the `v` value to be either 27 or 28.\n     *\n     * IMPORTANT: `hash` _must_ be the result of a hash operation for the\n     * verification to be secure: it is possible to craft signatures that\n     * recover to arbitrary addresses for non-hashed data. A safe way to ensure\n     * this is by receiving a hash of the original message (which may otherwise\n     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.\n     *\n     * Documentation for signature generation:\n     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]\n     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]\n     */\n    function tryRecover(\n        bytes32 hash,\n        bytes memory signature\n    ) internal pure returns (address recovered, RecoverError err, bytes32 errArg) {\n        if (signature.length == 65) {\n            bytes32 r;\n            bytes32 s;\n            uint8 v;\n            // ecrecover takes the signature parameters, and the only way to get them\n            // currently is to use assembly.\n            assembly (\"memory-safe\") {\n                r := mload(add(signature, 0x20))\n                s := mload(add(signature, 0x40))\n                v := byte(0, mload(add(signature, 0x60)))\n            }\n            return tryRecover(hash, v, r, s);\n        } else {\n            return (address(0), RecoverError.InvalidSignatureLength, bytes32(signature.length));\n        }\n    }\n\n    /**\n     * @dev Returns the address that signed a hashed message (`hash`) with\n     * `signature`. This address can then be used for verification purposes.\n     *\n     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:\n     * this function rejects them by requiring the `s` value to be in the lower\n     * half order, and the `v` value to be either 27 or 28.\n     *\n     * IMPORTANT: `hash` _must_ be the result of a hash operation for the\n     * verification to be secure: it is possible to craft signatures that\n     * recover to arbitrary addresses for non-hashed data. A safe way to ensure\n     * this is by receiving a hash of the original message (which may otherwise\n     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.\n     */\n    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {\n        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, signature);\n        _throwError(error, errorArg);\n        return recovered;\n    }\n\n    /**\n     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.\n     *\n     * See https://eips.ethereum.org/EIPS/eip-2098[ERC-2098 short signatures]\n     */\n    function tryRecover(\n        bytes32 hash,\n        bytes32 r,\n        bytes32 vs\n    ) internal pure returns (address recovered, RecoverError err, bytes32 errArg) {\n        unchecked {\n            bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);\n            // We do not check for an overflow here since the shift operation results in 0 or 1.\n            uint8 v = uint8((uint256(vs) >> 255) + 27);\n            return tryRecover(hash, v, r, s);\n        }\n    }\n\n    /**\n     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.\n     */\n    function recover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address) {\n        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, r, vs);\n        _throwError(error, errorArg);\n        return recovered;\n    }\n\n    /**\n     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,\n     * `r` and `s` signature fields separately.\n     */\n    function tryRecover(\n        bytes32 hash,\n        uint8 v,\n        bytes32 r,\n        bytes32 s\n    ) internal pure returns (address recovered, RecoverError err, bytes32 errArg) {\n        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature\n        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines\n        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most\n        // signatures from current libraries generate a unique signature with an s-value in the lower half order.\n        //\n        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value\n        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or\n        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept\n        // these malleable signatures as well.\n        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {\n            return (address(0), RecoverError.InvalidSignatureS, s);\n        }\n\n        // If the signature is valid (and not malleable), return the signer address\n        address signer = ecrecover(hash, v, r, s);\n        if (signer == address(0)) {\n            return (address(0), RecoverError.InvalidSignature, bytes32(0));\n        }\n\n        return (signer, RecoverError.NoError, bytes32(0));\n    }\n\n    /**\n     * @dev Overload of {ECDSA-recover} that receives the `v`,\n     * `r` and `s` signature fields separately.\n     */\n    function recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {\n        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, v, r, s);\n        _throwError(error, errorArg);\n        return recovered;\n    }\n\n    /**\n     * @dev Optionally reverts with the corresponding custom error according to the `error` argument provided.\n     */\n    function _throwError(RecoverError error, bytes32 errorArg) private pure {\n        if (error == RecoverError.NoError) {\n            return; // no error: do nothing\n        } else if (error == RecoverError.InvalidSignature) {\n            revert ECDSAInvalidSignature();\n        } else if (error == RecoverError.InvalidSignatureLength) {\n            revert ECDSAInvalidSignatureLength(uint256(errorArg));\n        } else if (error == RecoverError.InvalidSignatureS) {\n            revert ECDSAInvalidSignatureS(errorArg);\n        }\n    }\n}\n",
+  "sourcePath": "@openzeppelin\\contracts\\utils\\cryptography\\ECDSA.sol",
+  "ast": {
+    "absolutePath": "@openzeppelin/contracts/utils/cryptography/ECDSA.sol",
+    "exportedSymbols": {
+      "ECDSA": [
+        4556
+      ]
+    },
+    "id": 4557,
+    "license": "MIT",
+    "nodeType": "SourceUnit",
+    "nodes": [
+      {
+        "id": 4210,
+        "literals": [
+          "solidity",
+          "^",
+          "0.8",
+          ".20"
+        ],
+        "nodeType": "PragmaDirective",
+        "src": "112:24:19"
+      },
+      {
+        "abstract": false,
+        "baseContracts": [],
+        "canonicalName": "ECDSA",
+        "contractDependencies": [],
+        "contractKind": "library",
+        "documentation": {
+          "id": 4211,
+          "nodeType": "StructuredDocumentation",
+          "src": "138:205:19",
+          "text": " @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.\n These functions can be used to verify that a message was signed by the holder\n of the private keys of a given address."
+        },
+        "fullyImplemented": true,
+        "id": 4556,
+        "linearizedBaseContracts": [
+          4556
+        ],
+        "name": "ECDSA",
+        "nameLocation": "352:5:19",
+        "nodeType": "ContractDefinition",
+        "nodes": [
+          {
+            "canonicalName": "ECDSA.RecoverError",
+            "id": 4216,
+            "members": [
+              {
+                "id": 4212,
+                "name": "NoError",
+                "nameLocation": "392:7:19",
+                "nodeType": "EnumValue",
+                "src": "392:7:19"
+              },
+              {
+                "id": 4213,
+                "name": "InvalidSignature",
+                "nameLocation": "409:16:19",
+                "nodeType": "EnumValue",
+                "src": "409:16:19"
+              },
+              {
+                "id": 4214,
+                "name": "InvalidSignatureLength",
+                "nameLocation": "435:22:19",
+                "nodeType": "EnumValue",
+                "src": "435:22:19"
+              },
+              {
+                "id": 4215,
+                "name": "InvalidSignatureS",
+                "nameLocation": "467:17:19",
+                "nodeType": "EnumValue",
+                "src": "467:17:19"
+              }
+            ],
+            "name": "RecoverError",
+            "nameLocation": "369:12:19",
+            "nodeType": "EnumDefinition",
+            "src": "364:126:19"
+          },
+          {
+            "documentation": {
+              "id": 4217,
+              "nodeType": "StructuredDocumentation",
+              "src": "496:63:19",
+              "text": " @dev The signature derives the `address(0)`."
+            },
+            "errorSelector": "f645eedf",
+            "id": 4219,
+            "name": "ECDSAInvalidSignature",
+            "nameLocation": "570:21:19",
+            "nodeType": "ErrorDefinition",
+            "parameters": {
+              "id": 4218,
+              "nodeType": "ParameterList",
+              "parameters": [],
+              "src": "591:2:19"
+            },
+            "src": "564:30:19"
+          },
+          {
+            "documentation": {
+              "id": 4220,
+              "nodeType": "StructuredDocumentation",
+              "src": "600:60:19",
+              "text": " @dev The signature has an invalid length."
+            },
+            "errorSelector": "fce698f7",
+            "id": 4224,
+            "name": "ECDSAInvalidSignatureLength",
+            "nameLocation": "671:27:19",
+            "nodeType": "ErrorDefinition",
+            "parameters": {
+              "id": 4223,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4222,
+                  "mutability": "mutable",
+                  "name": "length",
+                  "nameLocation": "707:6:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4224,
+                  "src": "699:14:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_uint256",
+                    "typeString": "uint256"
+                  },
+                  "typeName": {
+                    "id": 4221,
+                    "name": "uint256",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "699:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_uint256",
+                      "typeString": "uint256"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "698:16:19"
+            },
+            "src": "665:50:19"
+          },
+          {
+            "documentation": {
+              "id": 4225,
+              "nodeType": "StructuredDocumentation",
+              "src": "721:85:19",
+              "text": " @dev The signature has an S value that is in the upper half order."
+            },
+            "errorSelector": "d78bce0c",
+            "id": 4229,
+            "name": "ECDSAInvalidSignatureS",
+            "nameLocation": "817:22:19",
+            "nodeType": "ErrorDefinition",
+            "parameters": {
+              "id": 4228,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4227,
+                  "mutability": "mutable",
+                  "name": "s",
+                  "nameLocation": "848:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4229,
+                  "src": "840:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4226,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "840:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "839:11:19"
+            },
+            "src": "811:40:19"
+          },
+          {
+            "body": {
+              "id": 4281,
+              "nodeType": "Block",
+              "src": "2285:622:19",
+              "statements": [
+                {
+                  "condition": {
+                    "commonType": {
+                      "typeIdentifier": "t_uint256",
+                      "typeString": "uint256"
+                    },
+                    "id": 4247,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "lValueRequested": false,
+                    "leftExpression": {
+                      "expression": {
+                        "id": 4244,
+                        "name": "signature",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4234,
+                        "src": "2299:9:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes_memory_ptr",
+                          "typeString": "bytes memory"
+                        }
+                      },
+                      "id": 4245,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": false,
+                      "lValueRequested": false,
+                      "memberLocation": "2309:6:19",
+                      "memberName": "length",
+                      "nodeType": "MemberAccess",
+                      "src": "2299:16:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_uint256",
+                        "typeString": "uint256"
+                      }
+                    },
+                    "nodeType": "BinaryOperation",
+                    "operator": "==",
+                    "rightExpression": {
+                      "hexValue": "3635",
+                      "id": 4246,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": true,
+                      "kind": "number",
+                      "lValueRequested": false,
+                      "nodeType": "Literal",
+                      "src": "2319:2:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_rational_65_by_1",
+                        "typeString": "int_const 65"
+                      },
+                      "value": "65"
+                    },
+                    "src": "2299:22:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bool",
+                      "typeString": "bool"
+                    }
+                  },
+                  "falseBody": {
+                    "id": 4279,
+                    "nodeType": "Block",
+                    "src": "2793:108:19",
+                    "statements": [
+                      {
+                        "expression": {
+                          "components": [
+                            {
+                              "arguments": [
+                                {
+                                  "hexValue": "30",
+                                  "id": 4268,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": true,
+                                  "kind": "number",
+                                  "lValueRequested": false,
+                                  "nodeType": "Literal",
+                                  "src": "2823:1:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  },
+                                  "value": "0"
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  }
+                                ],
+                                "id": 4267,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": true,
+                                "lValueRequested": false,
+                                "nodeType": "ElementaryTypeNameExpression",
+                                "src": "2815:7:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_address_$",
+                                  "typeString": "type(address)"
+                                },
+                                "typeName": {
+                                  "id": 4266,
+                                  "name": "address",
+                                  "nodeType": "ElementaryTypeName",
+                                  "src": "2815:7:19",
+                                  "typeDescriptions": {}
+                                }
+                              },
+                              "id": 4269,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "typeConversion",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "2815:10:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_address",
+                                "typeString": "address"
+                              }
+                            },
+                            {
+                              "expression": {
+                                "id": 4270,
+                                "name": "RecoverError",
+                                "nodeType": "Identifier",
+                                "overloadedDeclarations": [],
+                                "referencedDeclaration": 4216,
+                                "src": "2827:12:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                                  "typeString": "type(enum ECDSA.RecoverError)"
+                                }
+                              },
+                              "id": 4271,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "lValueRequested": false,
+                              "memberLocation": "2840:22:19",
+                              "memberName": "InvalidSignatureLength",
+                              "nodeType": "MemberAccess",
+                              "referencedDeclaration": 4214,
+                              "src": "2827:35:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_enum$_RecoverError_$4216",
+                                "typeString": "enum ECDSA.RecoverError"
+                              }
+                            },
+                            {
+                              "arguments": [
+                                {
+                                  "expression": {
+                                    "id": 4274,
+                                    "name": "signature",
+                                    "nodeType": "Identifier",
+                                    "overloadedDeclarations": [],
+                                    "referencedDeclaration": 4234,
+                                    "src": "2872:9:19",
+                                    "typeDescriptions": {
+                                      "typeIdentifier": "t_bytes_memory_ptr",
+                                      "typeString": "bytes memory"
+                                    }
+                                  },
+                                  "id": 4275,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": false,
+                                  "lValueRequested": false,
+                                  "memberLocation": "2882:6:19",
+                                  "memberName": "length",
+                                  "nodeType": "MemberAccess",
+                                  "src": "2872:16:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  }
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  }
+                                ],
+                                "id": 4273,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": true,
+                                "lValueRequested": false,
+                                "nodeType": "ElementaryTypeNameExpression",
+                                "src": "2864:7:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_bytes32_$",
+                                  "typeString": "type(bytes32)"
+                                },
+                                "typeName": {
+                                  "id": 4272,
+                                  "name": "bytes32",
+                                  "nodeType": "ElementaryTypeName",
+                                  "src": "2864:7:19",
+                                  "typeDescriptions": {}
+                                }
+                              },
+                              "id": 4276,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": false,
+                              "kind": "typeConversion",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "2864:25:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            }
+                          ],
+                          "id": 4277,
+                          "isConstant": false,
+                          "isInlineArray": false,
+                          "isLValue": false,
+                          "isPure": false,
+                          "lValueRequested": false,
+                          "nodeType": "TupleExpression",
+                          "src": "2814:76:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                            "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                          }
+                        },
+                        "functionReturnParameters": 4243,
+                        "id": 4278,
+                        "nodeType": "Return",
+                        "src": "2807:83:19"
+                      }
+                    ]
+                  },
+                  "id": 4280,
+                  "nodeType": "IfStatement",
+                  "src": "2295:606:19",
+                  "trueBody": {
+                    "id": 4265,
+                    "nodeType": "Block",
+                    "src": "2323:464:19",
+                    "statements": [
+                      {
+                        "assignments": [
+                          4249
+                        ],
+                        "declarations": [
+                          {
+                            "constant": false,
+                            "id": 4249,
+                            "mutability": "mutable",
+                            "name": "r",
+                            "nameLocation": "2345:1:19",
+                            "nodeType": "VariableDeclaration",
+                            "scope": 4265,
+                            "src": "2337:9:19",
+                            "stateVariable": false,
+                            "storageLocation": "default",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            },
+                            "typeName": {
+                              "id": 4248,
+                              "name": "bytes32",
+                              "nodeType": "ElementaryTypeName",
+                              "src": "2337:7:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            },
+                            "visibility": "internal"
+                          }
+                        ],
+                        "id": 4250,
+                        "nodeType": "VariableDeclarationStatement",
+                        "src": "2337:9:19"
+                      },
+                      {
+                        "assignments": [
+                          4252
+                        ],
+                        "declarations": [
+                          {
+                            "constant": false,
+                            "id": 4252,
+                            "mutability": "mutable",
+                            "name": "s",
+                            "nameLocation": "2368:1:19",
+                            "nodeType": "VariableDeclaration",
+                            "scope": 4265,
+                            "src": "2360:9:19",
+                            "stateVariable": false,
+                            "storageLocation": "default",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            },
+                            "typeName": {
+                              "id": 4251,
+                              "name": "bytes32",
+                              "nodeType": "ElementaryTypeName",
+                              "src": "2360:7:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            },
+                            "visibility": "internal"
+                          }
+                        ],
+                        "id": 4253,
+                        "nodeType": "VariableDeclarationStatement",
+                        "src": "2360:9:19"
+                      },
+                      {
+                        "assignments": [
+                          4255
+                        ],
+                        "declarations": [
+                          {
+                            "constant": false,
+                            "id": 4255,
+                            "mutability": "mutable",
+                            "name": "v",
+                            "nameLocation": "2389:1:19",
+                            "nodeType": "VariableDeclaration",
+                            "scope": 4265,
+                            "src": "2383:7:19",
+                            "stateVariable": false,
+                            "storageLocation": "default",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_uint8",
+                              "typeString": "uint8"
+                            },
+                            "typeName": {
+                              "id": 4254,
+                              "name": "uint8",
+                              "nodeType": "ElementaryTypeName",
+                              "src": "2383:5:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_uint8",
+                                "typeString": "uint8"
+                              }
+                            },
+                            "visibility": "internal"
+                          }
+                        ],
+                        "id": 4256,
+                        "nodeType": "VariableDeclarationStatement",
+                        "src": "2383:7:19"
+                      },
+                      {
+                        "AST": {
+                          "nativeSrc": "2560:171:19",
+                          "nodeType": "YulBlock",
+                          "src": "2560:171:19",
+                          "statements": [
+                            {
+                              "nativeSrc": "2578:32:19",
+                              "nodeType": "YulAssignment",
+                              "src": "2578:32:19",
+                              "value": {
+                                "arguments": [
+                                  {
+                                    "arguments": [
+                                      {
+                                        "name": "signature",
+                                        "nativeSrc": "2593:9:19",
+                                        "nodeType": "YulIdentifier",
+                                        "src": "2593:9:19"
+                                      },
+                                      {
+                                        "kind": "number",
+                                        "nativeSrc": "2604:4:19",
+                                        "nodeType": "YulLiteral",
+                                        "src": "2604:4:19",
+                                        "type": "",
+                                        "value": "0x20"
+                                      }
+                                    ],
+                                    "functionName": {
+                                      "name": "add",
+                                      "nativeSrc": "2589:3:19",
+                                      "nodeType": "YulIdentifier",
+                                      "src": "2589:3:19"
+                                    },
+                                    "nativeSrc": "2589:20:19",
+                                    "nodeType": "YulFunctionCall",
+                                    "src": "2589:20:19"
+                                  }
+                                ],
+                                "functionName": {
+                                  "name": "mload",
+                                  "nativeSrc": "2583:5:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2583:5:19"
+                                },
+                                "nativeSrc": "2583:27:19",
+                                "nodeType": "YulFunctionCall",
+                                "src": "2583:27:19"
+                              },
+                              "variableNames": [
+                                {
+                                  "name": "r",
+                                  "nativeSrc": "2578:1:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2578:1:19"
+                                }
+                              ]
+                            },
+                            {
+                              "nativeSrc": "2627:32:19",
+                              "nodeType": "YulAssignment",
+                              "src": "2627:32:19",
+                              "value": {
+                                "arguments": [
+                                  {
+                                    "arguments": [
+                                      {
+                                        "name": "signature",
+                                        "nativeSrc": "2642:9:19",
+                                        "nodeType": "YulIdentifier",
+                                        "src": "2642:9:19"
+                                      },
+                                      {
+                                        "kind": "number",
+                                        "nativeSrc": "2653:4:19",
+                                        "nodeType": "YulLiteral",
+                                        "src": "2653:4:19",
+                                        "type": "",
+                                        "value": "0x40"
+                                      }
+                                    ],
+                                    "functionName": {
+                                      "name": "add",
+                                      "nativeSrc": "2638:3:19",
+                                      "nodeType": "YulIdentifier",
+                                      "src": "2638:3:19"
+                                    },
+                                    "nativeSrc": "2638:20:19",
+                                    "nodeType": "YulFunctionCall",
+                                    "src": "2638:20:19"
+                                  }
+                                ],
+                                "functionName": {
+                                  "name": "mload",
+                                  "nativeSrc": "2632:5:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2632:5:19"
+                                },
+                                "nativeSrc": "2632:27:19",
+                                "nodeType": "YulFunctionCall",
+                                "src": "2632:27:19"
+                              },
+                              "variableNames": [
+                                {
+                                  "name": "s",
+                                  "nativeSrc": "2627:1:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2627:1:19"
+                                }
+                              ]
+                            },
+                            {
+                              "nativeSrc": "2676:41:19",
+                              "nodeType": "YulAssignment",
+                              "src": "2676:41:19",
+                              "value": {
+                                "arguments": [
+                                  {
+                                    "kind": "number",
+                                    "nativeSrc": "2686:1:19",
+                                    "nodeType": "YulLiteral",
+                                    "src": "2686:1:19",
+                                    "type": "",
+                                    "value": "0"
+                                  },
+                                  {
+                                    "arguments": [
+                                      {
+                                        "arguments": [
+                                          {
+                                            "name": "signature",
+                                            "nativeSrc": "2699:9:19",
+                                            "nodeType": "YulIdentifier",
+                                            "src": "2699:9:19"
+                                          },
+                                          {
+                                            "kind": "number",
+                                            "nativeSrc": "2710:4:19",
+                                            "nodeType": "YulLiteral",
+                                            "src": "2710:4:19",
+                                            "type": "",
+                                            "value": "0x60"
+                                          }
+                                        ],
+                                        "functionName": {
+                                          "name": "add",
+                                          "nativeSrc": "2695:3:19",
+                                          "nodeType": "YulIdentifier",
+                                          "src": "2695:3:19"
+                                        },
+                                        "nativeSrc": "2695:20:19",
+                                        "nodeType": "YulFunctionCall",
+                                        "src": "2695:20:19"
+                                      }
+                                    ],
+                                    "functionName": {
+                                      "name": "mload",
+                                      "nativeSrc": "2689:5:19",
+                                      "nodeType": "YulIdentifier",
+                                      "src": "2689:5:19"
+                                    },
+                                    "nativeSrc": "2689:27:19",
+                                    "nodeType": "YulFunctionCall",
+                                    "src": "2689:27:19"
+                                  }
+                                ],
+                                "functionName": {
+                                  "name": "byte",
+                                  "nativeSrc": "2681:4:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2681:4:19"
+                                },
+                                "nativeSrc": "2681:36:19",
+                                "nodeType": "YulFunctionCall",
+                                "src": "2681:36:19"
+                              },
+                              "variableNames": [
+                                {
+                                  "name": "v",
+                                  "nativeSrc": "2676:1:19",
+                                  "nodeType": "YulIdentifier",
+                                  "src": "2676:1:19"
+                                }
+                              ]
+                            }
+                          ]
+                        },
+                        "evmVersion": "shanghai",
+                        "externalReferences": [
+                          {
+                            "declaration": 4249,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2578:1:19",
+                            "valueSize": 1
+                          },
+                          {
+                            "declaration": 4252,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2627:1:19",
+                            "valueSize": 1
+                          },
+                          {
+                            "declaration": 4234,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2593:9:19",
+                            "valueSize": 1
+                          },
+                          {
+                            "declaration": 4234,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2642:9:19",
+                            "valueSize": 1
+                          },
+                          {
+                            "declaration": 4234,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2699:9:19",
+                            "valueSize": 1
+                          },
+                          {
+                            "declaration": 4255,
+                            "isOffset": false,
+                            "isSlot": false,
+                            "src": "2676:1:19",
+                            "valueSize": 1
+                          }
+                        ],
+                        "flags": [
+                          "memory-safe"
+                        ],
+                        "id": 4257,
+                        "nodeType": "InlineAssembly",
+                        "src": "2535:196:19"
+                      },
+                      {
+                        "expression": {
+                          "arguments": [
+                            {
+                              "id": 4259,
+                              "name": "hash",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4232,
+                              "src": "2762:4:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            },
+                            {
+                              "id": 4260,
+                              "name": "v",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4255,
+                              "src": "2768:1:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_uint8",
+                                "typeString": "uint8"
+                              }
+                            },
+                            {
+                              "id": 4261,
+                              "name": "r",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4249,
+                              "src": "2771:1:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            },
+                            {
+                              "id": 4262,
+                              "name": "s",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4252,
+                              "src": "2774:1:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            }
+                          ],
+                          "expression": {
+                            "argumentTypes": [
+                              {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              },
+                              {
+                                "typeIdentifier": "t_uint8",
+                                "typeString": "uint8"
+                              },
+                              {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              },
+                              {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            ],
+                            "id": 4258,
+                            "name": "tryRecover",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [
+                              4282,
+                              4362,
+                              4470
+                            ],
+                            "referencedDeclaration": 4470,
+                            "src": "2751:10:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_function_internal_pure$_t_bytes32_$_t_uint8_$_t_bytes32_$_t_bytes32_$returns$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                              "typeString": "function (bytes32,uint8,bytes32,bytes32) pure returns (address,enum ECDSA.RecoverError,bytes32)"
+                            }
+                          },
+                          "id": 4263,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": false,
+                          "kind": "functionCall",
+                          "lValueRequested": false,
+                          "nameLocations": [],
+                          "names": [],
+                          "nodeType": "FunctionCall",
+                          "src": "2751:25:19",
+                          "tryCall": false,
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                            "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                          }
+                        },
+                        "functionReturnParameters": 4243,
+                        "id": 4264,
+                        "nodeType": "Return",
+                        "src": "2744:32:19"
+                      }
+                    ]
+                  }
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4230,
+              "nodeType": "StructuredDocumentation",
+              "src": "857:1267:19",
+              "text": " @dev Returns the address that signed a hashed message (`hash`) with `signature` or an error. This will not\n return address(0) without also returning an error description. Errors are documented using an enum (error type)\n and a bytes32 providing additional information about the error.\n If no error is returned, then the address can be used for verification purposes.\n The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:\n this function rejects them by requiring the `s` value to be in the lower\n half order, and the `v` value to be either 27 or 28.\n IMPORTANT: `hash` _must_ be the result of a hash operation for the\n verification to be secure: it is possible to craft signatures that\n recover to arbitrary addresses for non-hashed data. A safe way to ensure\n this is by receiving a hash of the original message (which may otherwise\n be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.\n Documentation for signature generation:\n - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]\n - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]"
+            },
+            "id": 4282,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "tryRecover",
+            "nameLocation": "2138:10:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4235,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4232,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "2166:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4282,
+                  "src": "2158:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4231,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "2158:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4234,
+                  "mutability": "mutable",
+                  "name": "signature",
+                  "nameLocation": "2193:9:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4282,
+                  "src": "2180:22:19",
+                  "stateVariable": false,
+                  "storageLocation": "memory",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes_memory_ptr",
+                    "typeString": "bytes"
+                  },
+                  "typeName": {
+                    "id": 4233,
+                    "name": "bytes",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "2180:5:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes_storage_ptr",
+                      "typeString": "bytes"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "2148:60:19"
+            },
+            "returnParameters": {
+              "id": 4243,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4237,
+                  "mutability": "mutable",
+                  "name": "recovered",
+                  "nameLocation": "2240:9:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4282,
+                  "src": "2232:17:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4236,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "2232:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4240,
+                  "mutability": "mutable",
+                  "name": "err",
+                  "nameLocation": "2264:3:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4282,
+                  "src": "2251:16:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_enum$_RecoverError_$4216",
+                    "typeString": "enum ECDSA.RecoverError"
+                  },
+                  "typeName": {
+                    "id": 4239,
+                    "nodeType": "UserDefinedTypeName",
+                    "pathNode": {
+                      "id": 4238,
+                      "name": "RecoverError",
+                      "nameLocations": [
+                        "2251:12:19"
+                      ],
+                      "nodeType": "IdentifierPath",
+                      "referencedDeclaration": 4216,
+                      "src": "2251:12:19"
+                    },
+                    "referencedDeclaration": 4216,
+                    "src": "2251:12:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_enum$_RecoverError_$4216",
+                      "typeString": "enum ECDSA.RecoverError"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4242,
+                  "mutability": "mutable",
+                  "name": "errArg",
+                  "nameLocation": "2277:6:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4282,
+                  "src": "2269:14:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4241,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "2269:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "2231:53:19"
+            },
+            "scope": 4556,
+            "src": "2129:778:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4311,
+              "nodeType": "Block",
+              "src": "3801:168:19",
+              "statements": [
+                {
+                  "assignments": [
+                    4293,
+                    4296,
+                    4298
+                  ],
+                  "declarations": [
+                    {
+                      "constant": false,
+                      "id": 4293,
+                      "mutability": "mutable",
+                      "name": "recovered",
+                      "nameLocation": "3820:9:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4311,
+                      "src": "3812:17:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      },
+                      "typeName": {
+                        "id": 4292,
+                        "name": "address",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "3812:7:19",
+                        "stateMutability": "nonpayable",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_address",
+                          "typeString": "address"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4296,
+                      "mutability": "mutable",
+                      "name": "error",
+                      "nameLocation": "3844:5:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4311,
+                      "src": "3831:18:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      },
+                      "typeName": {
+                        "id": 4295,
+                        "nodeType": "UserDefinedTypeName",
+                        "pathNode": {
+                          "id": 4294,
+                          "name": "RecoverError",
+                          "nameLocations": [
+                            "3831:12:19"
+                          ],
+                          "nodeType": "IdentifierPath",
+                          "referencedDeclaration": 4216,
+                          "src": "3831:12:19"
+                        },
+                        "referencedDeclaration": 4216,
+                        "src": "3831:12:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4298,
+                      "mutability": "mutable",
+                      "name": "errorArg",
+                      "nameLocation": "3859:8:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4311,
+                      "src": "3851:16:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_bytes32",
+                        "typeString": "bytes32"
+                      },
+                      "typeName": {
+                        "id": 4297,
+                        "name": "bytes32",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "3851:7:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      "visibility": "internal"
+                    }
+                  ],
+                  "id": 4303,
+                  "initialValue": {
+                    "arguments": [
+                      {
+                        "id": 4300,
+                        "name": "hash",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4285,
+                        "src": "3882:4:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4301,
+                        "name": "signature",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4287,
+                        "src": "3888:9:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes_memory_ptr",
+                          "typeString": "bytes memory"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes_memory_ptr",
+                          "typeString": "bytes memory"
+                        }
+                      ],
+                      "id": 4299,
+                      "name": "tryRecover",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [
+                        4282,
+                        4362,
+                        4470
+                      ],
+                      "referencedDeclaration": 4282,
+                      "src": "3871:10:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_bytes32_$_t_bytes_memory_ptr_$returns$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                        "typeString": "function (bytes32,bytes memory) pure returns (address,enum ECDSA.RecoverError,bytes32)"
+                      }
+                    },
+                    "id": 4302,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "3871:27:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                      "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                    }
+                  },
+                  "nodeType": "VariableDeclarationStatement",
+                  "src": "3811:87:19"
+                },
+                {
+                  "expression": {
+                    "arguments": [
+                      {
+                        "id": 4305,
+                        "name": "error",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4296,
+                        "src": "3920:5:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      {
+                        "id": 4306,
+                        "name": "errorArg",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4298,
+                        "src": "3927:8:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4304,
+                      "name": "_throwError",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4555,
+                      "src": "3908:11:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_enum$_RecoverError_$4216_$_t_bytes32_$returns$__$",
+                        "typeString": "function (enum ECDSA.RecoverError,bytes32) pure"
+                      }
+                    },
+                    "id": 4307,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "3908:28:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$__$",
+                      "typeString": "tuple()"
+                    }
+                  },
+                  "id": 4308,
+                  "nodeType": "ExpressionStatement",
+                  "src": "3908:28:19"
+                },
+                {
+                  "expression": {
+                    "id": 4309,
+                    "name": "recovered",
+                    "nodeType": "Identifier",
+                    "overloadedDeclarations": [],
+                    "referencedDeclaration": 4293,
+                    "src": "3953:9:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "functionReturnParameters": 4291,
+                  "id": 4310,
+                  "nodeType": "Return",
+                  "src": "3946:16:19"
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4283,
+              "nodeType": "StructuredDocumentation",
+              "src": "2913:796:19",
+              "text": " @dev Returns the address that signed a hashed message (`hash`) with\n `signature`. This address can then be used for verification purposes.\n The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:\n this function rejects them by requiring the `s` value to be in the lower\n half order, and the `v` value to be either 27 or 28.\n IMPORTANT: `hash` _must_ be the result of a hash operation for the\n verification to be secure: it is possible to craft signatures that\n recover to arbitrary addresses for non-hashed data. A safe way to ensure\n this is by receiving a hash of the original message (which may otherwise\n be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it."
+            },
+            "id": 4312,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "recover",
+            "nameLocation": "3723:7:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4288,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4285,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "3739:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4312,
+                  "src": "3731:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4284,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "3731:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4287,
+                  "mutability": "mutable",
+                  "name": "signature",
+                  "nameLocation": "3758:9:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4312,
+                  "src": "3745:22:19",
+                  "stateVariable": false,
+                  "storageLocation": "memory",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes_memory_ptr",
+                    "typeString": "bytes"
+                  },
+                  "typeName": {
+                    "id": 4286,
+                    "name": "bytes",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "3745:5:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes_storage_ptr",
+                      "typeString": "bytes"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "3730:38:19"
+            },
+            "returnParameters": {
+              "id": 4291,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4290,
+                  "mutability": "mutable",
+                  "name": "",
+                  "nameLocation": "-1:-1:-1",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4312,
+                  "src": "3792:7:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4289,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "3792:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "3791:9:19"
+            },
+            "scope": 4556,
+            "src": "3714:255:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4361,
+              "nodeType": "Block",
+              "src": "4348:342:19",
+              "statements": [
+                {
+                  "id": 4360,
+                  "nodeType": "UncheckedBlock",
+                  "src": "4358:326:19",
+                  "statements": [
+                    {
+                      "assignments": [
+                        4330
+                      ],
+                      "declarations": [
+                        {
+                          "constant": false,
+                          "id": 4330,
+                          "mutability": "mutable",
+                          "name": "s",
+                          "nameLocation": "4390:1:19",
+                          "nodeType": "VariableDeclaration",
+                          "scope": 4360,
+                          "src": "4382:9:19",
+                          "stateVariable": false,
+                          "storageLocation": "default",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_bytes32",
+                            "typeString": "bytes32"
+                          },
+                          "typeName": {
+                            "id": 4329,
+                            "name": "bytes32",
+                            "nodeType": "ElementaryTypeName",
+                            "src": "4382:7:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            }
+                          },
+                          "visibility": "internal"
+                        }
+                      ],
+                      "id": 4337,
+                      "initialValue": {
+                        "commonType": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        "id": 4336,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": false,
+                        "lValueRequested": false,
+                        "leftExpression": {
+                          "id": 4331,
+                          "name": "vs",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [],
+                          "referencedDeclaration": 4319,
+                          "src": "4394:2:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_bytes32",
+                            "typeString": "bytes32"
+                          }
+                        },
+                        "nodeType": "BinaryOperation",
+                        "operator": "&",
+                        "rightExpression": {
+                          "arguments": [
+                            {
+                              "hexValue": "307837666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666",
+                              "id": 4334,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "number",
+                              "lValueRequested": false,
+                              "nodeType": "Literal",
+                              "src": "4407:66:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_rational_57896044618658097711785492504343953926634992332820282019728792003956564819967_by_1",
+                                "typeString": "int_const 5789...(69 digits omitted)...9967"
+                              },
+                              "value": "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
+                            }
+                          ],
+                          "expression": {
+                            "argumentTypes": [
+                              {
+                                "typeIdentifier": "t_rational_57896044618658097711785492504343953926634992332820282019728792003956564819967_by_1",
+                                "typeString": "int_const 5789...(69 digits omitted)...9967"
+                              }
+                            ],
+                            "id": 4333,
+                            "isConstant": false,
+                            "isLValue": false,
+                            "isPure": true,
+                            "lValueRequested": false,
+                            "nodeType": "ElementaryTypeNameExpression",
+                            "src": "4399:7:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_type$_t_bytes32_$",
+                              "typeString": "type(bytes32)"
+                            },
+                            "typeName": {
+                              "id": 4332,
+                              "name": "bytes32",
+                              "nodeType": "ElementaryTypeName",
+                              "src": "4399:7:19",
+                              "typeDescriptions": {}
+                            }
+                          },
+                          "id": 4335,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "kind": "typeConversion",
+                          "lValueRequested": false,
+                          "nameLocations": [],
+                          "names": [],
+                          "nodeType": "FunctionCall",
+                          "src": "4399:75:19",
+                          "tryCall": false,
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_bytes32",
+                            "typeString": "bytes32"
+                          }
+                        },
+                        "src": "4394:80:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      "nodeType": "VariableDeclarationStatement",
+                      "src": "4382:92:19"
+                    },
+                    {
+                      "assignments": [
+                        4339
+                      ],
+                      "declarations": [
+                        {
+                          "constant": false,
+                          "id": 4339,
+                          "mutability": "mutable",
+                          "name": "v",
+                          "nameLocation": "4591:1:19",
+                          "nodeType": "VariableDeclaration",
+                          "scope": 4360,
+                          "src": "4585:7:19",
+                          "stateVariable": false,
+                          "storageLocation": "default",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_uint8",
+                            "typeString": "uint8"
+                          },
+                          "typeName": {
+                            "id": 4338,
+                            "name": "uint8",
+                            "nodeType": "ElementaryTypeName",
+                            "src": "4585:5:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_uint8",
+                              "typeString": "uint8"
+                            }
+                          },
+                          "visibility": "internal"
+                        }
+                      ],
+                      "id": 4352,
+                      "initialValue": {
+                        "arguments": [
+                          {
+                            "commonType": {
+                              "typeIdentifier": "t_uint256",
+                              "typeString": "uint256"
+                            },
+                            "id": 4350,
+                            "isConstant": false,
+                            "isLValue": false,
+                            "isPure": false,
+                            "lValueRequested": false,
+                            "leftExpression": {
+                              "components": [
+                                {
+                                  "commonType": {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  },
+                                  "id": 4347,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": false,
+                                  "lValueRequested": false,
+                                  "leftExpression": {
+                                    "arguments": [
+                                      {
+                                        "id": 4344,
+                                        "name": "vs",
+                                        "nodeType": "Identifier",
+                                        "overloadedDeclarations": [],
+                                        "referencedDeclaration": 4319,
+                                        "src": "4610:2:19",
+                                        "typeDescriptions": {
+                                          "typeIdentifier": "t_bytes32",
+                                          "typeString": "bytes32"
+                                        }
+                                      }
+                                    ],
+                                    "expression": {
+                                      "argumentTypes": [
+                                        {
+                                          "typeIdentifier": "t_bytes32",
+                                          "typeString": "bytes32"
+                                        }
+                                      ],
+                                      "id": 4343,
+                                      "isConstant": false,
+                                      "isLValue": false,
+                                      "isPure": true,
+                                      "lValueRequested": false,
+                                      "nodeType": "ElementaryTypeNameExpression",
+                                      "src": "4602:7:19",
+                                      "typeDescriptions": {
+                                        "typeIdentifier": "t_type$_t_uint256_$",
+                                        "typeString": "type(uint256)"
+                                      },
+                                      "typeName": {
+                                        "id": 4342,
+                                        "name": "uint256",
+                                        "nodeType": "ElementaryTypeName",
+                                        "src": "4602:7:19",
+                                        "typeDescriptions": {}
+                                      }
+                                    },
+                                    "id": 4345,
+                                    "isConstant": false,
+                                    "isLValue": false,
+                                    "isPure": false,
+                                    "kind": "typeConversion",
+                                    "lValueRequested": false,
+                                    "nameLocations": [],
+                                    "names": [],
+                                    "nodeType": "FunctionCall",
+                                    "src": "4602:11:19",
+                                    "tryCall": false,
+                                    "typeDescriptions": {
+                                      "typeIdentifier": "t_uint256",
+                                      "typeString": "uint256"
+                                    }
+                                  },
+                                  "nodeType": "BinaryOperation",
+                                  "operator": ">>",
+                                  "rightExpression": {
+                                    "hexValue": "323535",
+                                    "id": 4346,
+                                    "isConstant": false,
+                                    "isLValue": false,
+                                    "isPure": true,
+                                    "kind": "number",
+                                    "lValueRequested": false,
+                                    "nodeType": "Literal",
+                                    "src": "4617:3:19",
+                                    "typeDescriptions": {
+                                      "typeIdentifier": "t_rational_255_by_1",
+                                      "typeString": "int_const 255"
+                                    },
+                                    "value": "255"
+                                  },
+                                  "src": "4602:18:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  }
+                                }
+                              ],
+                              "id": 4348,
+                              "isConstant": false,
+                              "isInlineArray": false,
+                              "isLValue": false,
+                              "isPure": false,
+                              "lValueRequested": false,
+                              "nodeType": "TupleExpression",
+                              "src": "4601:20:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_uint256",
+                                "typeString": "uint256"
+                              }
+                            },
+                            "nodeType": "BinaryOperation",
+                            "operator": "+",
+                            "rightExpression": {
+                              "hexValue": "3237",
+                              "id": 4349,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "number",
+                              "lValueRequested": false,
+                              "nodeType": "Literal",
+                              "src": "4624:2:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_rational_27_by_1",
+                                "typeString": "int_const 27"
+                              },
+                              "value": "27"
+                            },
+                            "src": "4601:25:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_uint256",
+                              "typeString": "uint256"
+                            }
+                          }
+                        ],
+                        "expression": {
+                          "argumentTypes": [
+                            {
+                              "typeIdentifier": "t_uint256",
+                              "typeString": "uint256"
+                            }
+                          ],
+                          "id": 4341,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "lValueRequested": false,
+                          "nodeType": "ElementaryTypeNameExpression",
+                          "src": "4595:5:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_type$_t_uint8_$",
+                            "typeString": "type(uint8)"
+                          },
+                          "typeName": {
+                            "id": 4340,
+                            "name": "uint8",
+                            "nodeType": "ElementaryTypeName",
+                            "src": "4595:5:19",
+                            "typeDescriptions": {}
+                          }
+                        },
+                        "id": 4351,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": false,
+                        "kind": "typeConversion",
+                        "lValueRequested": false,
+                        "nameLocations": [],
+                        "names": [],
+                        "nodeType": "FunctionCall",
+                        "src": "4595:32:19",
+                        "tryCall": false,
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_uint8",
+                          "typeString": "uint8"
+                        }
+                      },
+                      "nodeType": "VariableDeclarationStatement",
+                      "src": "4585:42:19"
+                    },
+                    {
+                      "expression": {
+                        "arguments": [
+                          {
+                            "id": 4354,
+                            "name": "hash",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4315,
+                            "src": "4659:4:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            }
+                          },
+                          {
+                            "id": 4355,
+                            "name": "v",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4339,
+                            "src": "4665:1:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_uint8",
+                              "typeString": "uint8"
+                            }
+                          },
+                          {
+                            "id": 4356,
+                            "name": "r",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4317,
+                            "src": "4668:1:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            }
+                          },
+                          {
+                            "id": 4357,
+                            "name": "s",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4330,
+                            "src": "4671:1:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            }
+                          }
+                        ],
+                        "expression": {
+                          "argumentTypes": [
+                            {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            },
+                            {
+                              "typeIdentifier": "t_uint8",
+                              "typeString": "uint8"
+                            },
+                            {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            },
+                            {
+                              "typeIdentifier": "t_bytes32",
+                              "typeString": "bytes32"
+                            }
+                          ],
+                          "id": 4353,
+                          "name": "tryRecover",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [
+                            4282,
+                            4362,
+                            4470
+                          ],
+                          "referencedDeclaration": 4470,
+                          "src": "4648:10:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_function_internal_pure$_t_bytes32_$_t_uint8_$_t_bytes32_$_t_bytes32_$returns$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                            "typeString": "function (bytes32,uint8,bytes32,bytes32) pure returns (address,enum ECDSA.RecoverError,bytes32)"
+                          }
+                        },
+                        "id": 4358,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": false,
+                        "kind": "functionCall",
+                        "lValueRequested": false,
+                        "nameLocations": [],
+                        "names": [],
+                        "nodeType": "FunctionCall",
+                        "src": "4648:25:19",
+                        "tryCall": false,
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                          "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                        }
+                      },
+                      "functionReturnParameters": 4328,
+                      "id": 4359,
+                      "nodeType": "Return",
+                      "src": "4641:32:19"
+                    }
+                  ]
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4313,
+              "nodeType": "StructuredDocumentation",
+              "src": "3975:205:19",
+              "text": " @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.\n See https://eips.ethereum.org/EIPS/eip-2098[ERC-2098 short signatures]"
+            },
+            "id": 4362,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "tryRecover",
+            "nameLocation": "4194:10:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4320,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4315,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "4222:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4214:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4314,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4214:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4317,
+                  "mutability": "mutable",
+                  "name": "r",
+                  "nameLocation": "4244:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4236:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4316,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4236:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4319,
+                  "mutability": "mutable",
+                  "name": "vs",
+                  "nameLocation": "4263:2:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4255:10:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4318,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4255:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "4204:67:19"
+            },
+            "returnParameters": {
+              "id": 4328,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4322,
+                  "mutability": "mutable",
+                  "name": "recovered",
+                  "nameLocation": "4303:9:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4295:17:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4321,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4295:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4325,
+                  "mutability": "mutable",
+                  "name": "err",
+                  "nameLocation": "4327:3:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4314:16:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_enum$_RecoverError_$4216",
+                    "typeString": "enum ECDSA.RecoverError"
+                  },
+                  "typeName": {
+                    "id": 4324,
+                    "nodeType": "UserDefinedTypeName",
+                    "pathNode": {
+                      "id": 4323,
+                      "name": "RecoverError",
+                      "nameLocations": [
+                        "4314:12:19"
+                      ],
+                      "nodeType": "IdentifierPath",
+                      "referencedDeclaration": 4216,
+                      "src": "4314:12:19"
+                    },
+                    "referencedDeclaration": 4216,
+                    "src": "4314:12:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_enum$_RecoverError_$4216",
+                      "typeString": "enum ECDSA.RecoverError"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4327,
+                  "mutability": "mutable",
+                  "name": "errArg",
+                  "nameLocation": "4340:6:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4362,
+                  "src": "4332:14:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4326,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4332:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "4294:53:19"
+            },
+            "scope": 4556,
+            "src": "4185:505:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4394,
+              "nodeType": "Block",
+              "src": "4903:164:19",
+              "statements": [
+                {
+                  "assignments": [
+                    4375,
+                    4378,
+                    4380
+                  ],
+                  "declarations": [
+                    {
+                      "constant": false,
+                      "id": 4375,
+                      "mutability": "mutable",
+                      "name": "recovered",
+                      "nameLocation": "4922:9:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4394,
+                      "src": "4914:17:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      },
+                      "typeName": {
+                        "id": 4374,
+                        "name": "address",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "4914:7:19",
+                        "stateMutability": "nonpayable",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_address",
+                          "typeString": "address"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4378,
+                      "mutability": "mutable",
+                      "name": "error",
+                      "nameLocation": "4946:5:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4394,
+                      "src": "4933:18:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      },
+                      "typeName": {
+                        "id": 4377,
+                        "nodeType": "UserDefinedTypeName",
+                        "pathNode": {
+                          "id": 4376,
+                          "name": "RecoverError",
+                          "nameLocations": [
+                            "4933:12:19"
+                          ],
+                          "nodeType": "IdentifierPath",
+                          "referencedDeclaration": 4216,
+                          "src": "4933:12:19"
+                        },
+                        "referencedDeclaration": 4216,
+                        "src": "4933:12:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4380,
+                      "mutability": "mutable",
+                      "name": "errorArg",
+                      "nameLocation": "4961:8:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4394,
+                      "src": "4953:16:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_bytes32",
+                        "typeString": "bytes32"
+                      },
+                      "typeName": {
+                        "id": 4379,
+                        "name": "bytes32",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "4953:7:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      "visibility": "internal"
+                    }
+                  ],
+                  "id": 4386,
+                  "initialValue": {
+                    "arguments": [
+                      {
+                        "id": 4382,
+                        "name": "hash",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4365,
+                        "src": "4984:4:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4383,
+                        "name": "r",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4367,
+                        "src": "4990:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4384,
+                        "name": "vs",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4369,
+                        "src": "4993:2:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4381,
+                      "name": "tryRecover",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [
+                        4282,
+                        4362,
+                        4470
+                      ],
+                      "referencedDeclaration": 4362,
+                      "src": "4973:10:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_bytes32_$_t_bytes32_$_t_bytes32_$returns$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                        "typeString": "function (bytes32,bytes32,bytes32) pure returns (address,enum ECDSA.RecoverError,bytes32)"
+                      }
+                    },
+                    "id": 4385,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "4973:23:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                      "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                    }
+                  },
+                  "nodeType": "VariableDeclarationStatement",
+                  "src": "4913:83:19"
+                },
+                {
+                  "expression": {
+                    "arguments": [
+                      {
+                        "id": 4388,
+                        "name": "error",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4378,
+                        "src": "5018:5:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      {
+                        "id": 4389,
+                        "name": "errorArg",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4380,
+                        "src": "5025:8:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4387,
+                      "name": "_throwError",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4555,
+                      "src": "5006:11:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_enum$_RecoverError_$4216_$_t_bytes32_$returns$__$",
+                        "typeString": "function (enum ECDSA.RecoverError,bytes32) pure"
+                      }
+                    },
+                    "id": 4390,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "5006:28:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$__$",
+                      "typeString": "tuple()"
+                    }
+                  },
+                  "id": 4391,
+                  "nodeType": "ExpressionStatement",
+                  "src": "5006:28:19"
+                },
+                {
+                  "expression": {
+                    "id": 4392,
+                    "name": "recovered",
+                    "nodeType": "Identifier",
+                    "overloadedDeclarations": [],
+                    "referencedDeclaration": 4375,
+                    "src": "5051:9:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "functionReturnParameters": 4373,
+                  "id": 4393,
+                  "nodeType": "Return",
+                  "src": "5044:16:19"
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4363,
+              "nodeType": "StructuredDocumentation",
+              "src": "4696:116:19",
+              "text": " @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately."
+            },
+            "id": 4395,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "recover",
+            "nameLocation": "4826:7:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4370,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4365,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "4842:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4395,
+                  "src": "4834:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4364,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4834:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4367,
+                  "mutability": "mutable",
+                  "name": "r",
+                  "nameLocation": "4856:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4395,
+                  "src": "4848:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4366,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4848:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4369,
+                  "mutability": "mutable",
+                  "name": "vs",
+                  "nameLocation": "4867:2:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4395,
+                  "src": "4859:10:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4368,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4859:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "4833:37:19"
+            },
+            "returnParameters": {
+              "id": 4373,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4372,
+                  "mutability": "mutable",
+                  "name": "",
+                  "nameLocation": "-1:-1:-1",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4395,
+                  "src": "4894:7:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4371,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "4894:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "4893:9:19"
+            },
+            "scope": 4556,
+            "src": "4817:250:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4469,
+              "nodeType": "Block",
+              "src": "5382:1372:19",
+              "statements": [
+                {
+                  "condition": {
+                    "commonType": {
+                      "typeIdentifier": "t_uint256",
+                      "typeString": "uint256"
+                    },
+                    "id": 4419,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "lValueRequested": false,
+                    "leftExpression": {
+                      "arguments": [
+                        {
+                          "id": 4416,
+                          "name": "s",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [],
+                          "referencedDeclaration": 4404,
+                          "src": "6278:1:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_bytes32",
+                            "typeString": "bytes32"
+                          }
+                        }
+                      ],
+                      "expression": {
+                        "argumentTypes": [
+                          {
+                            "typeIdentifier": "t_bytes32",
+                            "typeString": "bytes32"
+                          }
+                        ],
+                        "id": 4415,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": true,
+                        "lValueRequested": false,
+                        "nodeType": "ElementaryTypeNameExpression",
+                        "src": "6270:7:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_type$_t_uint256_$",
+                          "typeString": "type(uint256)"
+                        },
+                        "typeName": {
+                          "id": 4414,
+                          "name": "uint256",
+                          "nodeType": "ElementaryTypeName",
+                          "src": "6270:7:19",
+                          "typeDescriptions": {}
+                        }
+                      },
+                      "id": 4417,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": false,
+                      "kind": "typeConversion",
+                      "lValueRequested": false,
+                      "nameLocations": [],
+                      "names": [],
+                      "nodeType": "FunctionCall",
+                      "src": "6270:10:19",
+                      "tryCall": false,
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_uint256",
+                        "typeString": "uint256"
+                      }
+                    },
+                    "nodeType": "BinaryOperation",
+                    "operator": ">",
+                    "rightExpression": {
+                      "hexValue": "307837464646464646464646464646464646464646464646464646464646464646463544353736453733353741343530314444464539324634363638314232304130",
+                      "id": 4418,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": true,
+                      "kind": "number",
+                      "lValueRequested": false,
+                      "nodeType": "Literal",
+                      "src": "6283:66:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_rational_57896044618658097711785492504343953926418782139537452191302581570759080747168_by_1",
+                        "typeString": "int_const 5789...(69 digits omitted)...7168"
+                      },
+                      "value": "0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0"
+                    },
+                    "src": "6270:79:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bool",
+                      "typeString": "bool"
+                    }
+                  },
+                  "id": 4430,
+                  "nodeType": "IfStatement",
+                  "src": "6266:164:19",
+                  "trueBody": {
+                    "id": 4429,
+                    "nodeType": "Block",
+                    "src": "6351:79:19",
+                    "statements": [
+                      {
+                        "expression": {
+                          "components": [
+                            {
+                              "arguments": [
+                                {
+                                  "hexValue": "30",
+                                  "id": 4422,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": true,
+                                  "kind": "number",
+                                  "lValueRequested": false,
+                                  "nodeType": "Literal",
+                                  "src": "6381:1:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  },
+                                  "value": "0"
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  }
+                                ],
+                                "id": 4421,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": true,
+                                "lValueRequested": false,
+                                "nodeType": "ElementaryTypeNameExpression",
+                                "src": "6373:7:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_address_$",
+                                  "typeString": "type(address)"
+                                },
+                                "typeName": {
+                                  "id": 4420,
+                                  "name": "address",
+                                  "nodeType": "ElementaryTypeName",
+                                  "src": "6373:7:19",
+                                  "typeDescriptions": {}
+                                }
+                              },
+                              "id": 4423,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "typeConversion",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "6373:10:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_address",
+                                "typeString": "address"
+                              }
+                            },
+                            {
+                              "expression": {
+                                "id": 4424,
+                                "name": "RecoverError",
+                                "nodeType": "Identifier",
+                                "overloadedDeclarations": [],
+                                "referencedDeclaration": 4216,
+                                "src": "6385:12:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                                  "typeString": "type(enum ECDSA.RecoverError)"
+                                }
+                              },
+                              "id": 4425,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "lValueRequested": false,
+                              "memberLocation": "6398:17:19",
+                              "memberName": "InvalidSignatureS",
+                              "nodeType": "MemberAccess",
+                              "referencedDeclaration": 4215,
+                              "src": "6385:30:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_enum$_RecoverError_$4216",
+                                "typeString": "enum ECDSA.RecoverError"
+                              }
+                            },
+                            {
+                              "id": 4426,
+                              "name": "s",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4404,
+                              "src": "6417:1:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            }
+                          ],
+                          "id": 4427,
+                          "isConstant": false,
+                          "isInlineArray": false,
+                          "isLValue": false,
+                          "isPure": false,
+                          "lValueRequested": false,
+                          "nodeType": "TupleExpression",
+                          "src": "6372:47:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                            "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                          }
+                        },
+                        "functionReturnParameters": 4413,
+                        "id": 4428,
+                        "nodeType": "Return",
+                        "src": "6365:54:19"
+                      }
+                    ]
+                  }
+                },
+                {
+                  "assignments": [
+                    4432
+                  ],
+                  "declarations": [
+                    {
+                      "constant": false,
+                      "id": 4432,
+                      "mutability": "mutable",
+                      "name": "signer",
+                      "nameLocation": "6532:6:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4469,
+                      "src": "6524:14:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      },
+                      "typeName": {
+                        "id": 4431,
+                        "name": "address",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "6524:7:19",
+                        "stateMutability": "nonpayable",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_address",
+                          "typeString": "address"
+                        }
+                      },
+                      "visibility": "internal"
+                    }
+                  ],
+                  "id": 4439,
+                  "initialValue": {
+                    "arguments": [
+                      {
+                        "id": 4434,
+                        "name": "hash",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4398,
+                        "src": "6551:4:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4435,
+                        "name": "v",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4400,
+                        "src": "6557:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_uint8",
+                          "typeString": "uint8"
+                        }
+                      },
+                      {
+                        "id": 4436,
+                        "name": "r",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4402,
+                        "src": "6560:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4437,
+                        "name": "s",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4404,
+                        "src": "6563:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_uint8",
+                          "typeString": "uint8"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4433,
+                      "name": "ecrecover",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4294967290,
+                      "src": "6541:9:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_ecrecover_pure$_t_bytes32_$_t_uint8_$_t_bytes32_$_t_bytes32_$returns$_t_address_$",
+                        "typeString": "function (bytes32,uint8,bytes32,bytes32) pure returns (address)"
+                      }
+                    },
+                    "id": 4438,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "6541:24:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "nodeType": "VariableDeclarationStatement",
+                  "src": "6524:41:19"
+                },
+                {
+                  "condition": {
+                    "commonType": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    },
+                    "id": 4445,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "lValueRequested": false,
+                    "leftExpression": {
+                      "id": 4440,
+                      "name": "signer",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4432,
+                      "src": "6579:6:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      }
+                    },
+                    "nodeType": "BinaryOperation",
+                    "operator": "==",
+                    "rightExpression": {
+                      "arguments": [
+                        {
+                          "hexValue": "30",
+                          "id": 4443,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "kind": "number",
+                          "lValueRequested": false,
+                          "nodeType": "Literal",
+                          "src": "6597:1:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_rational_0_by_1",
+                            "typeString": "int_const 0"
+                          },
+                          "value": "0"
+                        }
+                      ],
+                      "expression": {
+                        "argumentTypes": [
+                          {
+                            "typeIdentifier": "t_rational_0_by_1",
+                            "typeString": "int_const 0"
+                          }
+                        ],
+                        "id": 4442,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": true,
+                        "lValueRequested": false,
+                        "nodeType": "ElementaryTypeNameExpression",
+                        "src": "6589:7:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_type$_t_address_$",
+                          "typeString": "type(address)"
+                        },
+                        "typeName": {
+                          "id": 4441,
+                          "name": "address",
+                          "nodeType": "ElementaryTypeName",
+                          "src": "6589:7:19",
+                          "typeDescriptions": {}
+                        }
+                      },
+                      "id": 4444,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": true,
+                      "kind": "typeConversion",
+                      "lValueRequested": false,
+                      "nameLocations": [],
+                      "names": [],
+                      "nodeType": "FunctionCall",
+                      "src": "6589:10:19",
+                      "tryCall": false,
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      }
+                    },
+                    "src": "6579:20:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bool",
+                      "typeString": "bool"
+                    }
+                  },
+                  "id": 4459,
+                  "nodeType": "IfStatement",
+                  "src": "6575:113:19",
+                  "trueBody": {
+                    "id": 4458,
+                    "nodeType": "Block",
+                    "src": "6601:87:19",
+                    "statements": [
+                      {
+                        "expression": {
+                          "components": [
+                            {
+                              "arguments": [
+                                {
+                                  "hexValue": "30",
+                                  "id": 4448,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": true,
+                                  "kind": "number",
+                                  "lValueRequested": false,
+                                  "nodeType": "Literal",
+                                  "src": "6631:1:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  },
+                                  "value": "0"
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  }
+                                ],
+                                "id": 4447,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": true,
+                                "lValueRequested": false,
+                                "nodeType": "ElementaryTypeNameExpression",
+                                "src": "6623:7:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_address_$",
+                                  "typeString": "type(address)"
+                                },
+                                "typeName": {
+                                  "id": 4446,
+                                  "name": "address",
+                                  "nodeType": "ElementaryTypeName",
+                                  "src": "6623:7:19",
+                                  "typeDescriptions": {}
+                                }
+                              },
+                              "id": 4449,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "typeConversion",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "6623:10:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_address",
+                                "typeString": "address"
+                              }
+                            },
+                            {
+                              "expression": {
+                                "id": 4450,
+                                "name": "RecoverError",
+                                "nodeType": "Identifier",
+                                "overloadedDeclarations": [],
+                                "referencedDeclaration": 4216,
+                                "src": "6635:12:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                                  "typeString": "type(enum ECDSA.RecoverError)"
+                                }
+                              },
+                              "id": 4451,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "lValueRequested": false,
+                              "memberLocation": "6648:16:19",
+                              "memberName": "InvalidSignature",
+                              "nodeType": "MemberAccess",
+                              "referencedDeclaration": 4213,
+                              "src": "6635:29:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_enum$_RecoverError_$4216",
+                                "typeString": "enum ECDSA.RecoverError"
+                              }
+                            },
+                            {
+                              "arguments": [
+                                {
+                                  "hexValue": "30",
+                                  "id": 4454,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": true,
+                                  "kind": "number",
+                                  "lValueRequested": false,
+                                  "nodeType": "Literal",
+                                  "src": "6674:1:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  },
+                                  "value": "0"
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_rational_0_by_1",
+                                    "typeString": "int_const 0"
+                                  }
+                                ],
+                                "id": 4453,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": true,
+                                "lValueRequested": false,
+                                "nodeType": "ElementaryTypeNameExpression",
+                                "src": "6666:7:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_type$_t_bytes32_$",
+                                  "typeString": "type(bytes32)"
+                                },
+                                "typeName": {
+                                  "id": 4452,
+                                  "name": "bytes32",
+                                  "nodeType": "ElementaryTypeName",
+                                  "src": "6666:7:19",
+                                  "typeDescriptions": {}
+                                }
+                              },
+                              "id": 4455,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": true,
+                              "kind": "typeConversion",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "6666:10:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_bytes32",
+                                "typeString": "bytes32"
+                              }
+                            }
+                          ],
+                          "id": 4456,
+                          "isConstant": false,
+                          "isInlineArray": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "lValueRequested": false,
+                          "nodeType": "TupleExpression",
+                          "src": "6622:55:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                            "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                          }
+                        },
+                        "functionReturnParameters": 4413,
+                        "id": 4457,
+                        "nodeType": "Return",
+                        "src": "6615:62:19"
+                      }
+                    ]
+                  }
+                },
+                {
+                  "expression": {
+                    "components": [
+                      {
+                        "id": 4460,
+                        "name": "signer",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4432,
+                        "src": "6706:6:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_address",
+                          "typeString": "address"
+                        }
+                      },
+                      {
+                        "expression": {
+                          "id": 4461,
+                          "name": "RecoverError",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [],
+                          "referencedDeclaration": 4216,
+                          "src": "6714:12:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                            "typeString": "type(enum ECDSA.RecoverError)"
+                          }
+                        },
+                        "id": 4462,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": true,
+                        "lValueRequested": false,
+                        "memberLocation": "6727:7:19",
+                        "memberName": "NoError",
+                        "nodeType": "MemberAccess",
+                        "referencedDeclaration": 4212,
+                        "src": "6714:20:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      {
+                        "arguments": [
+                          {
+                            "hexValue": "30",
+                            "id": 4465,
+                            "isConstant": false,
+                            "isLValue": false,
+                            "isPure": true,
+                            "kind": "number",
+                            "lValueRequested": false,
+                            "nodeType": "Literal",
+                            "src": "6744:1:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_rational_0_by_1",
+                              "typeString": "int_const 0"
+                            },
+                            "value": "0"
+                          }
+                        ],
+                        "expression": {
+                          "argumentTypes": [
+                            {
+                              "typeIdentifier": "t_rational_0_by_1",
+                              "typeString": "int_const 0"
+                            }
+                          ],
+                          "id": 4464,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "lValueRequested": false,
+                          "nodeType": "ElementaryTypeNameExpression",
+                          "src": "6736:7:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_type$_t_bytes32_$",
+                            "typeString": "type(bytes32)"
+                          },
+                          "typeName": {
+                            "id": 4463,
+                            "name": "bytes32",
+                            "nodeType": "ElementaryTypeName",
+                            "src": "6736:7:19",
+                            "typeDescriptions": {}
+                          }
+                        },
+                        "id": 4466,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": true,
+                        "kind": "typeConversion",
+                        "lValueRequested": false,
+                        "nameLocations": [],
+                        "names": [],
+                        "nodeType": "FunctionCall",
+                        "src": "6736:10:19",
+                        "tryCall": false,
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "id": 4467,
+                    "isConstant": false,
+                    "isInlineArray": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "lValueRequested": false,
+                    "nodeType": "TupleExpression",
+                    "src": "6705:42:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                      "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                    }
+                  },
+                  "functionReturnParameters": 4413,
+                  "id": 4468,
+                  "nodeType": "Return",
+                  "src": "6698:49:19"
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4396,
+              "nodeType": "StructuredDocumentation",
+              "src": "5073:125:19",
+              "text": " @dev Overload of {ECDSA-tryRecover} that receives the `v`,\n `r` and `s` signature fields separately."
+            },
+            "id": 4470,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "tryRecover",
+            "nameLocation": "5212:10:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4405,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4398,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "5240:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5232:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4397,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5232:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4400,
+                  "mutability": "mutable",
+                  "name": "v",
+                  "nameLocation": "5260:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5254:7:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_uint8",
+                    "typeString": "uint8"
+                  },
+                  "typeName": {
+                    "id": 4399,
+                    "name": "uint8",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5254:5:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_uint8",
+                      "typeString": "uint8"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4402,
+                  "mutability": "mutable",
+                  "name": "r",
+                  "nameLocation": "5279:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5271:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4401,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5271:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4404,
+                  "mutability": "mutable",
+                  "name": "s",
+                  "nameLocation": "5298:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5290:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4403,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5290:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "5222:83:19"
+            },
+            "returnParameters": {
+              "id": 4413,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4407,
+                  "mutability": "mutable",
+                  "name": "recovered",
+                  "nameLocation": "5337:9:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5329:17:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4406,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5329:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4410,
+                  "mutability": "mutable",
+                  "name": "err",
+                  "nameLocation": "5361:3:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5348:16:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_enum$_RecoverError_$4216",
+                    "typeString": "enum ECDSA.RecoverError"
+                  },
+                  "typeName": {
+                    "id": 4409,
+                    "nodeType": "UserDefinedTypeName",
+                    "pathNode": {
+                      "id": 4408,
+                      "name": "RecoverError",
+                      "nameLocations": [
+                        "5348:12:19"
+                      ],
+                      "nodeType": "IdentifierPath",
+                      "referencedDeclaration": 4216,
+                      "src": "5348:12:19"
+                    },
+                    "referencedDeclaration": 4216,
+                    "src": "5348:12:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_enum$_RecoverError_$4216",
+                      "typeString": "enum ECDSA.RecoverError"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4412,
+                  "mutability": "mutable",
+                  "name": "errArg",
+                  "nameLocation": "5374:6:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4470,
+                  "src": "5366:14:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4411,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "5366:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "5328:53:19"
+            },
+            "scope": 4556,
+            "src": "5203:1551:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4505,
+              "nodeType": "Block",
+              "src": "6981:166:19",
+              "statements": [
+                {
+                  "assignments": [
+                    4485,
+                    4488,
+                    4490
+                  ],
+                  "declarations": [
+                    {
+                      "constant": false,
+                      "id": 4485,
+                      "mutability": "mutable",
+                      "name": "recovered",
+                      "nameLocation": "7000:9:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4505,
+                      "src": "6992:17:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_address",
+                        "typeString": "address"
+                      },
+                      "typeName": {
+                        "id": 4484,
+                        "name": "address",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "6992:7:19",
+                        "stateMutability": "nonpayable",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_address",
+                          "typeString": "address"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4488,
+                      "mutability": "mutable",
+                      "name": "error",
+                      "nameLocation": "7024:5:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4505,
+                      "src": "7011:18:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      },
+                      "typeName": {
+                        "id": 4487,
+                        "nodeType": "UserDefinedTypeName",
+                        "pathNode": {
+                          "id": 4486,
+                          "name": "RecoverError",
+                          "nameLocations": [
+                            "7011:12:19"
+                          ],
+                          "nodeType": "IdentifierPath",
+                          "referencedDeclaration": 4216,
+                          "src": "7011:12:19"
+                        },
+                        "referencedDeclaration": 4216,
+                        "src": "7011:12:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      "visibility": "internal"
+                    },
+                    {
+                      "constant": false,
+                      "id": 4490,
+                      "mutability": "mutable",
+                      "name": "errorArg",
+                      "nameLocation": "7039:8:19",
+                      "nodeType": "VariableDeclaration",
+                      "scope": 4505,
+                      "src": "7031:16:19",
+                      "stateVariable": false,
+                      "storageLocation": "default",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_bytes32",
+                        "typeString": "bytes32"
+                      },
+                      "typeName": {
+                        "id": 4489,
+                        "name": "bytes32",
+                        "nodeType": "ElementaryTypeName",
+                        "src": "7031:7:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      "visibility": "internal"
+                    }
+                  ],
+                  "id": 4497,
+                  "initialValue": {
+                    "arguments": [
+                      {
+                        "id": 4492,
+                        "name": "hash",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4473,
+                        "src": "7062:4:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4493,
+                        "name": "v",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4475,
+                        "src": "7068:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_uint8",
+                          "typeString": "uint8"
+                        }
+                      },
+                      {
+                        "id": 4494,
+                        "name": "r",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4477,
+                        "src": "7071:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      },
+                      {
+                        "id": 4495,
+                        "name": "s",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4479,
+                        "src": "7074:1:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_uint8",
+                          "typeString": "uint8"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4491,
+                      "name": "tryRecover",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [
+                        4282,
+                        4362,
+                        4470
+                      ],
+                      "referencedDeclaration": 4470,
+                      "src": "7051:10:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_bytes32_$_t_uint8_$_t_bytes32_$_t_bytes32_$returns$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                        "typeString": "function (bytes32,uint8,bytes32,bytes32) pure returns (address,enum ECDSA.RecoverError,bytes32)"
+                      }
+                    },
+                    "id": 4496,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "7051:25:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$_t_address_$_t_enum$_RecoverError_$4216_$_t_bytes32_$",
+                      "typeString": "tuple(address,enum ECDSA.RecoverError,bytes32)"
+                    }
+                  },
+                  "nodeType": "VariableDeclarationStatement",
+                  "src": "6991:85:19"
+                },
+                {
+                  "expression": {
+                    "arguments": [
+                      {
+                        "id": 4499,
+                        "name": "error",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4488,
+                        "src": "7098:5:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      {
+                        "id": 4500,
+                        "name": "errorArg",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4490,
+                        "src": "7105:8:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      }
+                    ],
+                    "expression": {
+                      "argumentTypes": [
+                        {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        },
+                        {
+                          "typeIdentifier": "t_bytes32",
+                          "typeString": "bytes32"
+                        }
+                      ],
+                      "id": 4498,
+                      "name": "_throwError",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4555,
+                      "src": "7086:11:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_function_internal_pure$_t_enum$_RecoverError_$4216_$_t_bytes32_$returns$__$",
+                        "typeString": "function (enum ECDSA.RecoverError,bytes32) pure"
+                      }
+                    },
+                    "id": 4501,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "kind": "functionCall",
+                    "lValueRequested": false,
+                    "nameLocations": [],
+                    "names": [],
+                    "nodeType": "FunctionCall",
+                    "src": "7086:28:19",
+                    "tryCall": false,
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_tuple$__$",
+                      "typeString": "tuple()"
+                    }
+                  },
+                  "id": 4502,
+                  "nodeType": "ExpressionStatement",
+                  "src": "7086:28:19"
+                },
+                {
+                  "expression": {
+                    "id": 4503,
+                    "name": "recovered",
+                    "nodeType": "Identifier",
+                    "overloadedDeclarations": [],
+                    "referencedDeclaration": 4485,
+                    "src": "7131:9:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "functionReturnParameters": 4483,
+                  "id": 4504,
+                  "nodeType": "Return",
+                  "src": "7124:16:19"
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4471,
+              "nodeType": "StructuredDocumentation",
+              "src": "6760:122:19",
+              "text": " @dev Overload of {ECDSA-recover} that receives the `v`,\n `r` and `s` signature fields separately."
+            },
+            "id": 4506,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "recover",
+            "nameLocation": "6896:7:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4480,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4473,
+                  "mutability": "mutable",
+                  "name": "hash",
+                  "nameLocation": "6912:4:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4506,
+                  "src": "6904:12:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4472,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "6904:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4475,
+                  "mutability": "mutable",
+                  "name": "v",
+                  "nameLocation": "6924:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4506,
+                  "src": "6918:7:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_uint8",
+                    "typeString": "uint8"
+                  },
+                  "typeName": {
+                    "id": 4474,
+                    "name": "uint8",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "6918:5:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_uint8",
+                      "typeString": "uint8"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4477,
+                  "mutability": "mutable",
+                  "name": "r",
+                  "nameLocation": "6935:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4506,
+                  "src": "6927:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4476,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "6927:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4479,
+                  "mutability": "mutable",
+                  "name": "s",
+                  "nameLocation": "6946:1:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4506,
+                  "src": "6938:9:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4478,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "6938:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "6903:45:19"
+            },
+            "returnParameters": {
+              "id": 4483,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4482,
+                  "mutability": "mutable",
+                  "name": "",
+                  "nameLocation": "-1:-1:-1",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4506,
+                  "src": "6972:7:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_address",
+                    "typeString": "address"
+                  },
+                  "typeName": {
+                    "id": 4481,
+                    "name": "address",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "6972:7:19",
+                    "stateMutability": "nonpayable",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_address",
+                      "typeString": "address"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "6971:9:19"
+            },
+            "scope": 4556,
+            "src": "6887:260:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "internal"
+          },
+          {
+            "body": {
+              "id": 4554,
+              "nodeType": "Block",
+              "src": "7352:460:19",
+              "statements": [
+                {
+                  "condition": {
+                    "commonType": {
+                      "typeIdentifier": "t_enum$_RecoverError_$4216",
+                      "typeString": "enum ECDSA.RecoverError"
+                    },
+                    "id": 4518,
+                    "isConstant": false,
+                    "isLValue": false,
+                    "isPure": false,
+                    "lValueRequested": false,
+                    "leftExpression": {
+                      "id": 4515,
+                      "name": "error",
+                      "nodeType": "Identifier",
+                      "overloadedDeclarations": [],
+                      "referencedDeclaration": 4510,
+                      "src": "7366:5:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      }
+                    },
+                    "nodeType": "BinaryOperation",
+                    "operator": "==",
+                    "rightExpression": {
+                      "expression": {
+                        "id": 4516,
+                        "name": "RecoverError",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4216,
+                        "src": "7375:12:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                          "typeString": "type(enum ECDSA.RecoverError)"
+                        }
+                      },
+                      "id": 4517,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": true,
+                      "lValueRequested": false,
+                      "memberLocation": "7388:7:19",
+                      "memberName": "NoError",
+                      "nodeType": "MemberAccess",
+                      "referencedDeclaration": 4212,
+                      "src": "7375:20:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      }
+                    },
+                    "src": "7366:29:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bool",
+                      "typeString": "bool"
+                    }
+                  },
+                  "falseBody": {
+                    "condition": {
+                      "commonType": {
+                        "typeIdentifier": "t_enum$_RecoverError_$4216",
+                        "typeString": "enum ECDSA.RecoverError"
+                      },
+                      "id": 4524,
+                      "isConstant": false,
+                      "isLValue": false,
+                      "isPure": false,
+                      "lValueRequested": false,
+                      "leftExpression": {
+                        "id": 4521,
+                        "name": "error",
+                        "nodeType": "Identifier",
+                        "overloadedDeclarations": [],
+                        "referencedDeclaration": 4510,
+                        "src": "7462:5:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      "nodeType": "BinaryOperation",
+                      "operator": "==",
+                      "rightExpression": {
+                        "expression": {
+                          "id": 4522,
+                          "name": "RecoverError",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [],
+                          "referencedDeclaration": 4216,
+                          "src": "7471:12:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                            "typeString": "type(enum ECDSA.RecoverError)"
+                          }
+                        },
+                        "id": 4523,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": true,
+                        "lValueRequested": false,
+                        "memberLocation": "7484:16:19",
+                        "memberName": "InvalidSignature",
+                        "nodeType": "MemberAccess",
+                        "referencedDeclaration": 4213,
+                        "src": "7471:29:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        }
+                      },
+                      "src": "7462:38:19",
+                      "typeDescriptions": {
+                        "typeIdentifier": "t_bool",
+                        "typeString": "bool"
+                      }
+                    },
+                    "falseBody": {
+                      "condition": {
+                        "commonType": {
+                          "typeIdentifier": "t_enum$_RecoverError_$4216",
+                          "typeString": "enum ECDSA.RecoverError"
+                        },
+                        "id": 4532,
+                        "isConstant": false,
+                        "isLValue": false,
+                        "isPure": false,
+                        "lValueRequested": false,
+                        "leftExpression": {
+                          "id": 4529,
+                          "name": "error",
+                          "nodeType": "Identifier",
+                          "overloadedDeclarations": [],
+                          "referencedDeclaration": 4510,
+                          "src": "7567:5:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_enum$_RecoverError_$4216",
+                            "typeString": "enum ECDSA.RecoverError"
+                          }
+                        },
+                        "nodeType": "BinaryOperation",
+                        "operator": "==",
+                        "rightExpression": {
+                          "expression": {
+                            "id": 4530,
+                            "name": "RecoverError",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4216,
+                            "src": "7576:12:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                              "typeString": "type(enum ECDSA.RecoverError)"
+                            }
+                          },
+                          "id": 4531,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": true,
+                          "lValueRequested": false,
+                          "memberLocation": "7589:22:19",
+                          "memberName": "InvalidSignatureLength",
+                          "nodeType": "MemberAccess",
+                          "referencedDeclaration": 4214,
+                          "src": "7576:35:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_enum$_RecoverError_$4216",
+                            "typeString": "enum ECDSA.RecoverError"
+                          }
+                        },
+                        "src": "7567:44:19",
+                        "typeDescriptions": {
+                          "typeIdentifier": "t_bool",
+                          "typeString": "bool"
+                        }
+                      },
+                      "falseBody": {
+                        "condition": {
+                          "commonType": {
+                            "typeIdentifier": "t_enum$_RecoverError_$4216",
+                            "typeString": "enum ECDSA.RecoverError"
+                          },
+                          "id": 4544,
+                          "isConstant": false,
+                          "isLValue": false,
+                          "isPure": false,
+                          "lValueRequested": false,
+                          "leftExpression": {
+                            "id": 4541,
+                            "name": "error",
+                            "nodeType": "Identifier",
+                            "overloadedDeclarations": [],
+                            "referencedDeclaration": 4510,
+                            "src": "7701:5:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_enum$_RecoverError_$4216",
+                              "typeString": "enum ECDSA.RecoverError"
+                            }
+                          },
+                          "nodeType": "BinaryOperation",
+                          "operator": "==",
+                          "rightExpression": {
+                            "expression": {
+                              "id": 4542,
+                              "name": "RecoverError",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4216,
+                              "src": "7710:12:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_type$_t_enum$_RecoverError_$4216_$",
+                                "typeString": "type(enum ECDSA.RecoverError)"
+                              }
+                            },
+                            "id": 4543,
+                            "isConstant": false,
+                            "isLValue": false,
+                            "isPure": true,
+                            "lValueRequested": false,
+                            "memberLocation": "7723:17:19",
+                            "memberName": "InvalidSignatureS",
+                            "nodeType": "MemberAccess",
+                            "referencedDeclaration": 4215,
+                            "src": "7710:30:19",
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_enum$_RecoverError_$4216",
+                              "typeString": "enum ECDSA.RecoverError"
+                            }
+                          },
+                          "src": "7701:39:19",
+                          "typeDescriptions": {
+                            "typeIdentifier": "t_bool",
+                            "typeString": "bool"
+                          }
+                        },
+                        "id": 4550,
+                        "nodeType": "IfStatement",
+                        "src": "7697:109:19",
+                        "trueBody": {
+                          "id": 4549,
+                          "nodeType": "Block",
+                          "src": "7742:64:19",
+                          "statements": [
+                            {
+                              "errorCall": {
+                                "arguments": [
+                                  {
+                                    "id": 4546,
+                                    "name": "errorArg",
+                                    "nodeType": "Identifier",
+                                    "overloadedDeclarations": [],
+                                    "referencedDeclaration": 4512,
+                                    "src": "7786:8:19",
+                                    "typeDescriptions": {
+                                      "typeIdentifier": "t_bytes32",
+                                      "typeString": "bytes32"
+                                    }
+                                  }
+                                ],
+                                "expression": {
+                                  "argumentTypes": [
+                                    {
+                                      "typeIdentifier": "t_bytes32",
+                                      "typeString": "bytes32"
+                                    }
+                                  ],
+                                  "id": 4545,
+                                  "name": "ECDSAInvalidSignatureS",
+                                  "nodeType": "Identifier",
+                                  "overloadedDeclarations": [],
+                                  "referencedDeclaration": 4229,
+                                  "src": "7763:22:19",
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_function_error_pure$_t_bytes32_$returns$__$",
+                                    "typeString": "function (bytes32) pure"
+                                  }
+                                },
+                                "id": 4547,
+                                "isConstant": false,
+                                "isLValue": false,
+                                "isPure": false,
+                                "kind": "functionCall",
+                                "lValueRequested": false,
+                                "nameLocations": [],
+                                "names": [],
+                                "nodeType": "FunctionCall",
+                                "src": "7763:32:19",
+                                "tryCall": false,
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_tuple$__$",
+                                  "typeString": "tuple()"
+                                }
+                              },
+                              "id": 4548,
+                              "nodeType": "RevertStatement",
+                              "src": "7756:39:19"
+                            }
+                          ]
+                        }
+                      },
+                      "id": 4551,
+                      "nodeType": "IfStatement",
+                      "src": "7563:243:19",
+                      "trueBody": {
+                        "id": 4540,
+                        "nodeType": "Block",
+                        "src": "7613:78:19",
+                        "statements": [
+                          {
+                            "errorCall": {
+                              "arguments": [
+                                {
+                                  "arguments": [
+                                    {
+                                      "id": 4536,
+                                      "name": "errorArg",
+                                      "nodeType": "Identifier",
+                                      "overloadedDeclarations": [],
+                                      "referencedDeclaration": 4512,
+                                      "src": "7670:8:19",
+                                      "typeDescriptions": {
+                                        "typeIdentifier": "t_bytes32",
+                                        "typeString": "bytes32"
+                                      }
+                                    }
+                                  ],
+                                  "expression": {
+                                    "argumentTypes": [
+                                      {
+                                        "typeIdentifier": "t_bytes32",
+                                        "typeString": "bytes32"
+                                      }
+                                    ],
+                                    "id": 4535,
+                                    "isConstant": false,
+                                    "isLValue": false,
+                                    "isPure": true,
+                                    "lValueRequested": false,
+                                    "nodeType": "ElementaryTypeNameExpression",
+                                    "src": "7662:7:19",
+                                    "typeDescriptions": {
+                                      "typeIdentifier": "t_type$_t_uint256_$",
+                                      "typeString": "type(uint256)"
+                                    },
+                                    "typeName": {
+                                      "id": 4534,
+                                      "name": "uint256",
+                                      "nodeType": "ElementaryTypeName",
+                                      "src": "7662:7:19",
+                                      "typeDescriptions": {}
+                                    }
+                                  },
+                                  "id": 4537,
+                                  "isConstant": false,
+                                  "isLValue": false,
+                                  "isPure": false,
+                                  "kind": "typeConversion",
+                                  "lValueRequested": false,
+                                  "nameLocations": [],
+                                  "names": [],
+                                  "nodeType": "FunctionCall",
+                                  "src": "7662:17:19",
+                                  "tryCall": false,
+                                  "typeDescriptions": {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  }
+                                }
+                              ],
+                              "expression": {
+                                "argumentTypes": [
+                                  {
+                                    "typeIdentifier": "t_uint256",
+                                    "typeString": "uint256"
+                                  }
+                                ],
+                                "id": 4533,
+                                "name": "ECDSAInvalidSignatureLength",
+                                "nodeType": "Identifier",
+                                "overloadedDeclarations": [],
+                                "referencedDeclaration": 4224,
+                                "src": "7634:27:19",
+                                "typeDescriptions": {
+                                  "typeIdentifier": "t_function_error_pure$_t_uint256_$returns$__$",
+                                  "typeString": "function (uint256) pure"
+                                }
+                              },
+                              "id": 4538,
+                              "isConstant": false,
+                              "isLValue": false,
+                              "isPure": false,
+                              "kind": "functionCall",
+                              "lValueRequested": false,
+                              "nameLocations": [],
+                              "names": [],
+                              "nodeType": "FunctionCall",
+                              "src": "7634:46:19",
+                              "tryCall": false,
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_tuple$__$",
+                                "typeString": "tuple()"
+                              }
+                            },
+                            "id": 4539,
+                            "nodeType": "RevertStatement",
+                            "src": "7627:53:19"
+                          }
+                        ]
+                      }
+                    },
+                    "id": 4552,
+                    "nodeType": "IfStatement",
+                    "src": "7458:348:19",
+                    "trueBody": {
+                      "id": 4528,
+                      "nodeType": "Block",
+                      "src": "7502:55:19",
+                      "statements": [
+                        {
+                          "errorCall": {
+                            "arguments": [],
+                            "expression": {
+                              "argumentTypes": [],
+                              "id": 4525,
+                              "name": "ECDSAInvalidSignature",
+                              "nodeType": "Identifier",
+                              "overloadedDeclarations": [],
+                              "referencedDeclaration": 4219,
+                              "src": "7523:21:19",
+                              "typeDescriptions": {
+                                "typeIdentifier": "t_function_error_pure$__$returns$__$",
+                                "typeString": "function () pure"
+                              }
+                            },
+                            "id": 4526,
+                            "isConstant": false,
+                            "isLValue": false,
+                            "isPure": false,
+                            "kind": "functionCall",
+                            "lValueRequested": false,
+                            "nameLocations": [],
+                            "names": [],
+                            "nodeType": "FunctionCall",
+                            "src": "7523:23:19",
+                            "tryCall": false,
+                            "typeDescriptions": {
+                              "typeIdentifier": "t_tuple$__$",
+                              "typeString": "tuple()"
+                            }
+                          },
+                          "id": 4527,
+                          "nodeType": "RevertStatement",
+                          "src": "7516:30:19"
+                        }
+                      ]
+                    }
+                  },
+                  "id": 4553,
+                  "nodeType": "IfStatement",
+                  "src": "7362:444:19",
+                  "trueBody": {
+                    "id": 4520,
+                    "nodeType": "Block",
+                    "src": "7397:55:19",
+                    "statements": [
+                      {
+                        "functionReturnParameters": 4514,
+                        "id": 4519,
+                        "nodeType": "Return",
+                        "src": "7411:7:19"
+                      }
+                    ]
+                  }
+                }
+              ]
+            },
+            "documentation": {
+              "id": 4507,
+              "nodeType": "StructuredDocumentation",
+              "src": "7153:122:19",
+              "text": " @dev Optionally reverts with the corresponding custom error according to the `error` argument provided."
+            },
+            "id": 4555,
+            "implemented": true,
+            "kind": "function",
+            "modifiers": [],
+            "name": "_throwError",
+            "nameLocation": "7289:11:19",
+            "nodeType": "FunctionDefinition",
+            "parameters": {
+              "id": 4513,
+              "nodeType": "ParameterList",
+              "parameters": [
+                {
+                  "constant": false,
+                  "id": 4510,
+                  "mutability": "mutable",
+                  "name": "error",
+                  "nameLocation": "7314:5:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4555,
+                  "src": "7301:18:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_enum$_RecoverError_$4216",
+                    "typeString": "enum ECDSA.RecoverError"
+                  },
+                  "typeName": {
+                    "id": 4509,
+                    "nodeType": "UserDefinedTypeName",
+                    "pathNode": {
+                      "id": 4508,
+                      "name": "RecoverError",
+                      "nameLocations": [
+                        "7301:12:19"
+                      ],
+                      "nodeType": "IdentifierPath",
+                      "referencedDeclaration": 4216,
+                      "src": "7301:12:19"
+                    },
+                    "referencedDeclaration": 4216,
+                    "src": "7301:12:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_enum$_RecoverError_$4216",
+                      "typeString": "enum ECDSA.RecoverError"
+                    }
+                  },
+                  "visibility": "internal"
+                },
+                {
+                  "constant": false,
+                  "id": 4512,
+                  "mutability": "mutable",
+                  "name": "errorArg",
+                  "nameLocation": "7329:8:19",
+                  "nodeType": "VariableDeclaration",
+                  "scope": 4555,
+                  "src": "7321:16:19",
+                  "stateVariable": false,
+                  "storageLocation": "default",
+                  "typeDescriptions": {
+                    "typeIdentifier": "t_bytes32",
+                    "typeString": "bytes32"
+                  },
+                  "typeName": {
+                    "id": 4511,
+                    "name": "bytes32",
+                    "nodeType": "ElementaryTypeName",
+                    "src": "7321:7:19",
+                    "typeDescriptions": {
+                      "typeIdentifier": "t_bytes32",
+                      "typeString": "bytes32"
+                    }
+                  },
+                  "visibility": "internal"
+                }
+              ],
+              "src": "7300:38:19"
+            },
+            "returnParameters": {
+              "id": 4514,
+              "nodeType": "ParameterList",
+              "parameters": [],
+              "src": "7352:0:19"
+            },
+            "scope": 4556,
+            "src": "7280:532:19",
+            "stateMutability": "pure",
+            "virtual": false,
+            "visibility": "private"
+          }
+        ],
+        "scope": 4557,
+        "src": "344:7470:19",
+        "usedErrors": [
+          4219,
+          4224,
+          4229
+        ],
+        "usedEvents": []
+      }
+    ],
+    "src": "112:7703:19"
+  },
+  "compiler": {
+    "name": "solc",
+    "version": "0.8.21+commit.d9974bed.Emscripten.clang"
+  },
+  "networks": {},
+  "schemaVersion": "3.4.16",
+  "updatedAt": "2026-01-24T20:23:04.138Z",
+  "devdoc": {
+    "details": "Elliptic Curve Digital Signature Algorithm (ECDSA) operations. These functions can be used to verify that a message was signed by the holder of the private keys of a given address.",
+    "errors": {
+      "ECDSAInvalidSignature()": [
+        {
+          "details": "The signature derives the `address(0)`."
+        }
+      ],
+      "ECDSAInvalidSignatureLength(uint256)": [
+        {
+          "details": "The signature has an invalid length."
+        }
+      ],
+      "ECDSAInvalidSignatureS(bytes32)": [
+        {
+          "details": "The signature has an S value that is in the upper half order."
+        }
+      ]
+    },
+    "kind": "dev",
+    "methods": {},
+    "version": 1
+  },
+  "userdoc": {
+    "kind": "user",
+    "methods": {},
+    "version": 1
+  }
+}