{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "630:6605:10:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "630:6605:10:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "node_modules/@openzeppelin/contracts-upgradeable/math/SafeMathUpgradeable.sol", "id": 23611, "exportedSymbols": { "SafeMathUpgradeable": [ 23610 ] }, "nodeType": "SourceUnit", "src": "33:7203:10", "nodes": [ { "id": 23257, "nodeType": "PragmaDirective", "src": "33:31:10", "literals": [ "solidity", ">=", "0.6", ".0", "<", "0.8", ".0" ] }, { "id": 23610, "nodeType": "ContractDefinition", "src": "630:6605:10", "nodes": [ { "id": 23289, "nodeType": "FunctionDefinition", "src": "800:174:10", "body": { "id": 23288, "nodeType": "Block", "src": "876:98:10", "statements": [ { "assignments": [ 23271 ], "declarations": [ { "constant": false, "id": 23271, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 23288, "src": "886:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23270, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "886:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 23275, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23274, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23272, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23261, "src": "898:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 23273, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23263, "src": "902:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "898:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "886:17:10" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23278, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23276, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23271, "src": "917:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 23277, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23261, "src": "921:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "917:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23283, "nodeType": "IfStatement", "src": "913:28:10", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 23279, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "932:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 23280, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "939:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23281, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "931:10:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23269, "id": 23282, "nodeType": "Return", "src": "924:17:10" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 23284, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "959:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 23285, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23271, "src": "965:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 23286, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "958:9:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 23269, "id": 23287, "nodeType": "Return", "src": "951:16:10" } ] }, "documentation": { "id": 23259, "nodeType": "StructuredDocumentation", "src": "664:131:10", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "parameters": { "id": 23264, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23261, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23289, "src": "816:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23260, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "816:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23263, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23289, "src": "827:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23262, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "827:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "815:22:10" }, "returnParameters": { "id": 23269, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23266, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23289, "src": "861:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 23265, "name": "bool", "nodeType": "ElementaryTypeName", "src": "861:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 23268, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23289, "src": "867:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23267, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "867:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "860:15:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23316, "nodeType": "FunctionDefinition", "src": "1120:151:10", "body": { "id": 23315, "nodeType": "Block", "src": "1196:75:10", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23303, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23301, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23294, "src": "1210:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 23302, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23292, "src": "1214:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1210:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23308, "nodeType": "IfStatement", "src": "1206:28:10", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 23304, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1225:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 23305, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1232:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23306, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1224:10:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23300, "id": 23307, "nodeType": "Return", "src": "1217:17:10" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 23309, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1252:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23312, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23310, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23292, "src": "1258:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 23311, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23294, "src": "1262:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1258:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 23313, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1251:13:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 23300, "id": 23314, "nodeType": "Return", "src": "1244:20:10" } ] }, "documentation": { "id": 23290, "nodeType": "StructuredDocumentation", "src": "980:135:10", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "parameters": { "id": 23295, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23292, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23316, "src": "1136:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23291, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1136:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23294, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23316, "src": "1147:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23293, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1147:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1135:22:10" }, "returnParameters": { "id": 23300, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23297, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23316, "src": "1181:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 23296, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1181:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 23299, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23316, "src": "1187:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23298, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1187:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1180:15:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23357, "nodeType": "FunctionDefinition", "src": "1419:435:10", "body": { "id": 23356, "nodeType": "Block", "src": "1495:359:10", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23330, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23328, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23319, "src": "1727:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 23329, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1732:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1727:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23335, "nodeType": "IfStatement", "src": "1723:28:10", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 23331, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1743:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 23332, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1749:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23333, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1742:9:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23327, "id": 23334, "nodeType": "Return", "src": "1735:16:10" } }, { "assignments": [ 23337 ], "declarations": [ { "constant": false, "id": 23337, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 23356, "src": "1761:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23336, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1761:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 23341, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23340, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23338, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23319, "src": "1773:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 23339, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23321, "src": "1777:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1773:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1761:17:10" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23346, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23344, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23342, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23337, "src": "1792:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 23343, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23319, "src": "1796:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1792:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 23345, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23321, "src": "1801:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1792:10:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23351, "nodeType": "IfStatement", "src": "1788:33:10", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 23347, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1812:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 23348, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1819:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23349, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1811:10:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23327, "id": 23350, "nodeType": "Return", "src": "1804:17:10" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 23352, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1839:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 23353, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23337, "src": "1845:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 23354, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1838:9:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 23327, "id": 23355, "nodeType": "Return", "src": "1831:16:10" } ] }, "documentation": { "id": 23317, "nodeType": "StructuredDocumentation", "src": "1277:137:10", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "parameters": { "id": 23322, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23319, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23357, "src": "1435:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23318, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1435:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23321, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23357, "src": "1446:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23320, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1446:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1434:22:10" }, "returnParameters": { "id": 23327, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23324, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23357, "src": "1480:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 23323, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1480:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 23326, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23357, "src": "1486:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1486:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1479:15:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23384, "nodeType": "FunctionDefinition", "src": "2003:152:10", "body": { "id": 23383, "nodeType": "Block", "src": "2079:76:10", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23371, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23369, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23362, "src": "2093:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 23370, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2098:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2093:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23376, "nodeType": "IfStatement", "src": "2089:29:10", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 23372, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2109:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 23373, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2116:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23374, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2108:10:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23368, "id": 23375, "nodeType": "Return", "src": "2101:17:10" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 23377, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2136:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23380, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23378, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23360, "src": "2142:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 23379, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23362, "src": "2146:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2142:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 23381, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2135:13:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 23368, "id": 23382, "nodeType": "Return", "src": "2128:20:10" } ] }, "documentation": { "id": 23358, "nodeType": "StructuredDocumentation", "src": "1860:138:10", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "parameters": { "id": 23363, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23360, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23384, "src": "2019:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23359, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2019:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23362, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23384, "src": "2030:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23361, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2030:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2018:22:10" }, "returnParameters": { "id": 23368, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23365, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23384, "src": "2064:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 23364, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2064:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 23367, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23384, "src": "2070:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23366, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2070:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2063:15:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23411, "nodeType": "FunctionDefinition", "src": "2314:152:10", "body": { "id": 23410, "nodeType": "Block", "src": "2390:76:10", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23398, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23396, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23389, "src": "2404:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 23397, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2409:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2404:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23403, "nodeType": "IfStatement", "src": "2400:29:10", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 23399, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2420:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 23400, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2427:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 23401, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2419:10:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 23395, "id": 23402, "nodeType": "Return", "src": "2412:17:10" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 23404, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2447:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23407, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23405, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23387, "src": "2453:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 23406, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23389, "src": "2457:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2453:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 23408, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2446:13:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 23395, "id": 23409, "nodeType": "Return", "src": "2439:20:10" } ] }, "documentation": { "id": 23385, "nodeType": "StructuredDocumentation", "src": "2161:148:10", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "parameters": { "id": 23390, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23387, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23411, "src": "2330:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23386, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2330:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23389, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23411, "src": "2341:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23388, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2341:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2329:22:10" }, "returnParameters": { "id": 23395, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23392, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23411, "src": "2375:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 23391, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2375:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 23394, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23411, "src": "2381:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23393, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2381:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2374:15:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23437, "nodeType": "FunctionDefinition", "src": "2701:175:10", "body": { "id": 23436, "nodeType": "Block", "src": "2768:108:10", "statements": [ { "assignments": [ 23422 ], "declarations": [ { "constant": false, "id": 23422, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 23436, "src": "2778:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23421, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2778:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 23426, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23425, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23423, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23414, "src": "2790:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 23424, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23416, "src": "2794:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2790:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2778:17:10" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23430, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23428, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23422, "src": "2813:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 23429, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23414, "src": "2818:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2813:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 23431, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2821:29:10", "typeDescriptions": { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" }, "value": "SafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" } ], "id": 23427, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2805:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23432, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2805:46:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23433, "nodeType": "ExpressionStatement", "src": "2805:46:10" }, { "expression": { "id": 23434, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23422, "src": "2868:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23420, "id": 23435, "nodeType": "Return", "src": "2861:8:10" } ] }, "documentation": { "id": 23412, "nodeType": "StructuredDocumentation", "src": "2472:224:10", "text": " @dev Returns the addition of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `+` operator.\n Requirements:\n - Addition cannot overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "parameters": { "id": 23417, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23414, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23437, "src": "2714:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23413, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2714:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23416, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23437, "src": "2725:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23415, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2725:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2713:22:10" }, "returnParameters": { "id": 23420, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23419, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23437, "src": "2759:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23418, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2759:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2758:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23459, "nodeType": "FunctionDefinition", "src": "3147:155:10", "body": { "id": 23458, "nodeType": "Block", "src": "3214:88:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23450, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23448, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23442, "src": "3232:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 23449, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23440, "src": "3237:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3232:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 23451, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3240:32:10", "typeDescriptions": { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" }, "value": "SafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "id": 23447, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3224:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23452, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3224:49:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23453, "nodeType": "ExpressionStatement", "src": "3224:49:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23456, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23454, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23440, "src": "3290:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 23455, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23442, "src": "3294:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3290:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23446, "id": 23457, "nodeType": "Return", "src": "3283:12:10" } ] }, "documentation": { "id": 23438, "nodeType": "StructuredDocumentation", "src": "2882:260:10", "text": " @dev Returns the subtraction of two unsigned integers, reverting on\n overflow (when the result is negative).\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "parameters": { "id": 23443, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23440, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23459, "src": "3160:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23439, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3160:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23442, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23459, "src": "3171:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23441, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3171:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3159:22:10" }, "returnParameters": { "id": 23446, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23445, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23459, "src": "3205:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23444, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3205:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3204:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23493, "nodeType": "FunctionDefinition", "src": "3549:215:10", "body": { "id": 23492, "nodeType": "Block", "src": "3616:148:10", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23471, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23469, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23462, "src": "3630:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 23470, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3635:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3630:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 23474, "nodeType": "IfStatement", "src": "3626:20:10", "trueBody": { "expression": { "hexValue": "30", "id": 23472, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3645:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 23468, "id": 23473, "nodeType": "Return", "src": "3638:8:10" } }, { "assignments": [ 23476 ], "declarations": [ { "constant": false, "id": 23476, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 23492, "src": "3656:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23475, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3656:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 23480, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23479, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23477, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23462, "src": "3668:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 23478, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23464, "src": "3672:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3668:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3656:17:10" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23486, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23484, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23482, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23476, "src": "3691:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 23483, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23462, "src": "3695:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3691:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 23485, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23464, "src": "3700:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3691:10:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 23487, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3703:35:10", "typeDescriptions": { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" }, "value": "SafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" } ], "id": 23481, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3683:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23488, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3683:56:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23489, "nodeType": "ExpressionStatement", "src": "3683:56:10" }, { "expression": { "id": 23490, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23476, "src": "3756:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23468, "id": 23491, "nodeType": "Return", "src": "3749:8:10" } ] }, "documentation": { "id": 23460, "nodeType": "StructuredDocumentation", "src": "3308:236:10", "text": " @dev Returns the multiplication of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `*` operator.\n Requirements:\n - Multiplication cannot overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "parameters": { "id": 23465, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23462, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23493, "src": "3562:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23461, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3562:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23464, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23493, "src": "3573:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23463, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3573:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3561:22:10" }, "returnParameters": { "id": 23468, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23467, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23493, "src": "3607:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23466, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3607:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3606:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23515, "nodeType": "FunctionDefinition", "src": "4228:150:10", "body": { "id": 23514, "nodeType": "Block", "src": "4295:83:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23506, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23504, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23498, "src": "4313:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 23505, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4317:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4313:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206469766973696f6e206279207a65726f", "id": 23507, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4320:28:10", "typeDescriptions": { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" }, "value": "SafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "id": 23503, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4305:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23508, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4305:44:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23509, "nodeType": "ExpressionStatement", "src": "4305:44:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23512, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23510, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23496, "src": "4366:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 23511, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23498, "src": "4370:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4366:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23502, "id": 23513, "nodeType": "Return", "src": "4359:12:10" } ] }, "documentation": { "id": 23494, "nodeType": "StructuredDocumentation", "src": "3770:453:10", "text": " @dev Returns the integer division of two unsigned integers, reverting on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "parameters": { "id": 23499, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23496, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23515, "src": "4241:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23495, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4241:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23498, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23515, "src": "4252:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23497, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4252:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4240:22:10" }, "returnParameters": { "id": 23502, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23501, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23515, "src": "4286:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23500, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4286:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4285:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23537, "nodeType": "FunctionDefinition", "src": "4831:148:10", "body": { "id": 23536, "nodeType": "Block", "src": "4898:81:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23528, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23526, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23520, "src": "4916:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 23527, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4920:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4916:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206d6f64756c6f206279207a65726f", "id": 23529, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4923:26:10", "typeDescriptions": { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" }, "value": "SafeMath: modulo by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "id": 23525, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4908:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23530, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4908:42:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23531, "nodeType": "ExpressionStatement", "src": "4908:42:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23534, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23532, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23518, "src": "4967:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 23533, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23520, "src": "4971:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4967:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23524, "id": 23535, "nodeType": "Return", "src": "4960:12:10" } ] }, "documentation": { "id": 23516, "nodeType": "StructuredDocumentation", "src": "4384:442:10", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting when dividing by zero.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "parameters": { "id": 23521, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23518, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23537, "src": "4844:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23517, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4844:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23520, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23537, "src": "4855:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23519, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4855:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4843:22:10" }, "returnParameters": { "id": 23524, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23523, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23537, "src": "4889:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23522, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4889:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4888:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23561, "nodeType": "FunctionDefinition", "src": "5443:163:10", "body": { "id": 23560, "nodeType": "Block", "src": "5538:68:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23552, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23550, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23542, "src": "5556:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 23551, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23540, "src": "5561:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5556:6:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 23553, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23544, "src": "5564:12:10", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 23549, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5548:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23554, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5548:29:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23555, "nodeType": "ExpressionStatement", "src": "5548:29:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23558, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23556, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23540, "src": "5594:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 23557, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23542, "src": "5598:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5594:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23548, "id": 23559, "nodeType": "Return", "src": "5587:12:10" } ] }, "documentation": { "id": 23538, "nodeType": "StructuredDocumentation", "src": "4985:453:10", "text": " @dev Returns the subtraction of two unsigned integers, reverting with custom message on\n overflow (when the result is negative).\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {trySub}.\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "parameters": { "id": 23545, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23540, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23561, "src": "5456:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23539, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5456:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23542, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23561, "src": "5467:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23541, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5467:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23544, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 23561, "src": "5478:26:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 23543, "name": "string", "nodeType": "ElementaryTypeName", "src": "5478:6:10", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5455:50:10" }, "returnParameters": { "id": 23548, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23547, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23561, "src": "5529:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23546, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5529:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5528:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23585, "nodeType": "FunctionDefinition", "src": "6263:162:10", "body": { "id": 23584, "nodeType": "Block", "src": "6358:67:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23576, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23574, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23566, "src": "6376:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 23575, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6380:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6376:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 23577, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23568, "src": "6383:12:10", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 23573, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "6368:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23578, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6368:28:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23579, "nodeType": "ExpressionStatement", "src": "6368:28:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23580, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23564, "src": "6413:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 23581, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23566, "src": "6417:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6413:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23572, "id": 23583, "nodeType": "Return", "src": "6406:12:10" } ] }, "documentation": { "id": 23562, "nodeType": "StructuredDocumentation", "src": "5612:646:10", "text": " @dev Returns the integer division of two unsigned integers, reverting with custom message on\n division by zero. The result is rounded towards zero.\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryDiv}.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "parameters": { "id": 23569, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23564, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23585, "src": "6276:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23563, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6276:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23566, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23585, "src": "6287:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23565, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6287:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23568, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 23585, "src": "6298:26:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 23567, "name": "string", "nodeType": "ElementaryTypeName", "src": "6298:6:10", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6275:50:10" }, "returnParameters": { "id": 23572, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23571, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23585, "src": "6349:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23570, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6349:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6348:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 23609, "nodeType": "FunctionDefinition", "src": "7071:162:10", "body": { "id": 23608, "nodeType": "Block", "src": "7166:67:10", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23600, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23598, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23590, "src": "7184:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 23599, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7188:1:10", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "7184:5:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 23601, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23592, "src": "7191:12:10", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 23597, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "7176:7:10", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 23602, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7176:28:10", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 23603, "nodeType": "ExpressionStatement", "src": "7176:28:10" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 23606, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 23604, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23588, "src": "7221:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 23605, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23590, "src": "7225:1:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7221:5:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 23596, "id": 23607, "nodeType": "Return", "src": "7214:12:10" } ] }, "documentation": { "id": 23586, "nodeType": "StructuredDocumentation", "src": "6431:635:10", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting with custom message when dividing by zero.\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryMod}.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "parameters": { "id": 23593, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23588, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 23609, "src": "7084:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23587, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7084:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23590, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 23609, "src": "7095:9:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23589, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7095:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 23592, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 23609, "src": "7106:26:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 23591, "name": "string", "nodeType": "ElementaryTypeName", "src": "7106:6:10", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "7083:50:10" }, "returnParameters": { "id": 23596, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 23595, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 23609, "src": "7157:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 23594, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7157:7:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "7156:9:10" }, "scope": 23610, "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 23258, "nodeType": "StructuredDocumentation", "src": "66:563:10", "text": " @dev Wrappers over Solidity's arithmetic operations with added overflow\n checks.\n Arithmetic operations in Solidity wrap on overflow. This can easily result\n in bugs, because programmers usually assume that an overflow raises an\n error, which is the standard behavior in high level programming languages.\n `SafeMath` restores this intuition by reverting the transaction when an\n operation overflows.\n Using this library instead of the unchecked operations eliminates an entire\n class of bugs, so it's recommended to use it always." }, "fullyImplemented": true, "linearizedBaseContracts": [ 23610 ], "name": "SafeMathUpgradeable", "scope": 23611 } ], "license": "MIT" }, "id": 10 }