{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "630:6594:24:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "630:6594:24:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "node_modules/@openzeppelin/contracts/math/SafeMath.sol", "id": 26852, "exportedSymbols": { "SafeMath": [ 26851 ] }, "nodeType": "SourceUnit", "src": "33:7192:24", "nodes": [ { "id": 26498, "nodeType": "PragmaDirective", "src": "33:31:24", "literals": [ "solidity", ">=", "0.6", ".0", "<", "0.8", ".0" ] }, { "id": 26851, "nodeType": "ContractDefinition", "src": "630:6594:24", "nodes": [ { "id": 26530, "nodeType": "FunctionDefinition", "src": "789:174:24", "body": { "id": 26529, "nodeType": "Block", "src": "865:98:24", "statements": [ { "assignments": [ 26512 ], "declarations": [ { "constant": false, "id": 26512, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 26529, "src": "875:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26511, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "875:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 26516, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26515, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26513, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26502, "src": "887:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 26514, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26504, "src": "891:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "887:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "875:17:24" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26519, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26517, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26512, "src": "906:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 26518, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26502, "src": "910:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "906:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26524, "nodeType": "IfStatement", "src": "902:28:24", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 26520, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "921:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 26521, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "928:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26522, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "920:10:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26510, "id": 26523, "nodeType": "Return", "src": "913:17:24" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 26525, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "948:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 26526, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26512, "src": "954:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 26527, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "947:9:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 26510, "id": 26528, "nodeType": "Return", "src": "940:16:24" } ] }, "documentation": { "id": 26500, "nodeType": "StructuredDocumentation", "src": "653:131:24", "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": 26505, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26502, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26530, "src": "805:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26501, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "805:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26504, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26530, "src": "816:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26503, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "816:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "804:22:24" }, "returnParameters": { "id": 26510, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26507, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26530, "src": "850:4:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 26506, "name": "bool", "nodeType": "ElementaryTypeName", "src": "850:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 26509, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26530, "src": "856:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26508, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "856:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "849:15:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26557, "nodeType": "FunctionDefinition", "src": "1109:151:24", "body": { "id": 26556, "nodeType": "Block", "src": "1185:75:24", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26544, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26542, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26535, "src": "1199:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 26543, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26533, "src": "1203:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1199:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26549, "nodeType": "IfStatement", "src": "1195:28:24", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 26545, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1214:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 26546, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1221:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26547, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1213:10:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26541, "id": 26548, "nodeType": "Return", "src": "1206:17:24" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 26550, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1241:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26553, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26551, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26533, "src": "1247:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 26552, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26535, "src": "1251:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1247:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 26554, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1240:13:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 26541, "id": 26555, "nodeType": "Return", "src": "1233:20:24" } ] }, "documentation": { "id": 26531, "nodeType": "StructuredDocumentation", "src": "969:135:24", "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": 26536, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26533, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26557, "src": "1125:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26532, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1125:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26535, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26557, "src": "1136:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26534, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1136:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1124:22:24" }, "returnParameters": { "id": 26541, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26538, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26557, "src": "1170:4:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 26537, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1170:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 26540, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26557, "src": "1176:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26539, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1176:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1169:15:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26598, "nodeType": "FunctionDefinition", "src": "1408:435:24", "body": { "id": 26597, "nodeType": "Block", "src": "1484:359:24", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26571, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26569, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26560, "src": "1716:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 26570, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1721:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1716:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26576, "nodeType": "IfStatement", "src": "1712:28:24", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 26572, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1732:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 26573, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1738:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26574, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1731:9:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26568, "id": 26575, "nodeType": "Return", "src": "1724:16:24" } }, { "assignments": [ 26578 ], "declarations": [ { "constant": false, "id": 26578, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 26597, "src": "1750:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26577, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1750:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 26582, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26581, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26579, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26560, "src": "1762:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 26580, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26562, "src": "1766:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1762:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1750:17:24" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26587, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26585, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26583, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26578, "src": "1781:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 26584, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26560, "src": "1785:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1781:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 26586, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26562, "src": "1790:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1781:10:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26592, "nodeType": "IfStatement", "src": "1777:33:24", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 26588, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1801:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 26589, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1808:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26590, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1800:10:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26568, "id": 26591, "nodeType": "Return", "src": "1793:17:24" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 26593, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1828:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 26594, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26578, "src": "1834:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 26595, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1827:9:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 26568, "id": 26596, "nodeType": "Return", "src": "1820:16:24" } ] }, "documentation": { "id": 26558, "nodeType": "StructuredDocumentation", "src": "1266:137:24", "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": 26563, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26560, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26598, "src": "1424:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26559, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1424:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26562, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26598, "src": "1435:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26561, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1435:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1423:22:24" }, "returnParameters": { "id": 26568, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26565, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26598, "src": "1469:4:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 26564, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1469:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 26567, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26598, "src": "1475:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26566, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1475:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1468:15:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26625, "nodeType": "FunctionDefinition", "src": "1992:152:24", "body": { "id": 26624, "nodeType": "Block", "src": "2068:76:24", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26612, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26610, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26603, "src": "2082:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 26611, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2087:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2082:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26617, "nodeType": "IfStatement", "src": "2078:29:24", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 26613, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2098:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 26614, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2105:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26615, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2097:10:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26609, "id": 26616, "nodeType": "Return", "src": "2090:17:24" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 26618, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2125:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26621, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26619, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26601, "src": "2131:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 26620, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26603, "src": "2135:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2131:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 26622, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2124:13:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 26609, "id": 26623, "nodeType": "Return", "src": "2117:20:24" } ] }, "documentation": { "id": 26599, "nodeType": "StructuredDocumentation", "src": "1849:138:24", "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": 26604, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26601, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26625, "src": "2008:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26600, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2008:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26603, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26625, "src": "2019:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26602, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2019:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2007:22:24" }, "returnParameters": { "id": 26609, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26606, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26625, "src": "2053:4:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 26605, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2053:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 26608, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26625, "src": "2059:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26607, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2059:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2052:15:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26652, "nodeType": "FunctionDefinition", "src": "2303:152:24", "body": { "id": 26651, "nodeType": "Block", "src": "2379:76:24", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26639, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26637, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26630, "src": "2393:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 26638, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2398:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2393:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26644, "nodeType": "IfStatement", "src": "2389:29:24", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 26640, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2409:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 26641, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2416:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 26642, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2408:10:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 26636, "id": 26643, "nodeType": "Return", "src": "2401:17:24" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 26645, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2436:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26648, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26646, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26628, "src": "2442:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 26647, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26630, "src": "2446:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2442:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 26649, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2435:13:24", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 26636, "id": 26650, "nodeType": "Return", "src": "2428:20:24" } ] }, "documentation": { "id": 26626, "nodeType": "StructuredDocumentation", "src": "2150:148:24", "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": 26631, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26628, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26652, "src": "2319:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26627, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2319:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26630, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26652, "src": "2330:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26629, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2330:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2318:22:24" }, "returnParameters": { "id": 26636, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26633, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26652, "src": "2364:4:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 26632, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2364:4:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 26635, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26652, "src": "2370:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26634, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2370:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2363:15:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26678, "nodeType": "FunctionDefinition", "src": "2690:175:24", "body": { "id": 26677, "nodeType": "Block", "src": "2757:108:24", "statements": [ { "assignments": [ 26663 ], "declarations": [ { "constant": false, "id": 26663, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 26677, "src": "2767:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26662, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2767:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 26667, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26666, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26664, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26655, "src": "2779:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 26665, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26657, "src": "2783:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2779:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2767:17:24" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26671, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26669, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26663, "src": "2802:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 26670, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26655, "src": "2807:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2802:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 26672, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2810:29:24", "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": 26668, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2794:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26673, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2794:46:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26674, "nodeType": "ExpressionStatement", "src": "2794:46:24" }, { "expression": { "id": 26675, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26663, "src": "2857:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26661, "id": 26676, "nodeType": "Return", "src": "2850:8:24" } ] }, "documentation": { "id": 26653, "nodeType": "StructuredDocumentation", "src": "2461:224:24", "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": 26658, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26655, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26678, "src": "2703:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26654, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2703:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26657, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26678, "src": "2714:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26656, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2714:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2702:22:24" }, "returnParameters": { "id": 26661, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26660, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26678, "src": "2748:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26659, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2748:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2747:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26700, "nodeType": "FunctionDefinition", "src": "3136:155:24", "body": { "id": 26699, "nodeType": "Block", "src": "3203:88:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26691, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26689, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26683, "src": "3221:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 26690, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26681, "src": "3226:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3221:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 26692, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3229:32:24", "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": 26688, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3213:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26693, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3213:49:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26694, "nodeType": "ExpressionStatement", "src": "3213:49:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26697, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26695, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26681, "src": "3279:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 26696, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26683, "src": "3283:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3279:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26687, "id": 26698, "nodeType": "Return", "src": "3272:12:24" } ] }, "documentation": { "id": 26679, "nodeType": "StructuredDocumentation", "src": "2871:260:24", "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": 26684, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26681, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26700, "src": "3149:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26680, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3149:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26683, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26700, "src": "3160:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26682, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3160:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3148:22:24" }, "returnParameters": { "id": 26687, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26686, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26700, "src": "3194:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26685, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3194:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3193:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26734, "nodeType": "FunctionDefinition", "src": "3538:215:24", "body": { "id": 26733, "nodeType": "Block", "src": "3605:148:24", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26712, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26710, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26703, "src": "3619:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 26711, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3624:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3619:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 26715, "nodeType": "IfStatement", "src": "3615:20:24", "trueBody": { "expression": { "hexValue": "30", "id": 26713, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3634:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 26709, "id": 26714, "nodeType": "Return", "src": "3627:8:24" } }, { "assignments": [ 26717 ], "declarations": [ { "constant": false, "id": 26717, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 26733, "src": "3645:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26716, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3645:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 26721, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26720, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26718, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26703, "src": "3657:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 26719, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26705, "src": "3661:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3657:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3645:17:24" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26727, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26723, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26717, "src": "3680:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 26724, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26703, "src": "3684:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3680:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 26726, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26705, "src": "3689:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3680:10:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 26728, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3692:35:24", "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": 26722, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3672:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26729, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3672:56:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26730, "nodeType": "ExpressionStatement", "src": "3672:56:24" }, { "expression": { "id": 26731, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26717, "src": "3745:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26709, "id": 26732, "nodeType": "Return", "src": "3738:8:24" } ] }, "documentation": { "id": 26701, "nodeType": "StructuredDocumentation", "src": "3297:236:24", "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": 26706, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26703, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26734, "src": "3551:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26702, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3551:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26705, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26734, "src": "3562:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26704, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3562:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3550:22:24" }, "returnParameters": { "id": 26709, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26708, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26734, "src": "3596:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26707, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3596:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3595:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26756, "nodeType": "FunctionDefinition", "src": "4217:150:24", "body": { "id": 26755, "nodeType": "Block", "src": "4284:83:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26745, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26739, "src": "4302:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 26746, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4306:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4302:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206469766973696f6e206279207a65726f", "id": 26748, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4309:28:24", "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": 26744, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4294:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26749, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4294:44:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26750, "nodeType": "ExpressionStatement", "src": "4294:44:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26753, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26751, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26737, "src": "4355:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 26752, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26739, "src": "4359:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4355:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26743, "id": 26754, "nodeType": "Return", "src": "4348:12:24" } ] }, "documentation": { "id": 26735, "nodeType": "StructuredDocumentation", "src": "3759:453:24", "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": 26740, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26737, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26756, "src": "4230:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26736, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4230:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26739, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26756, "src": "4241:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26738, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4241:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4229:22:24" }, "returnParameters": { "id": 26743, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26742, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26756, "src": "4275:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26741, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4275:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4274:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26778, "nodeType": "FunctionDefinition", "src": "4820:148:24", "body": { "id": 26777, "nodeType": "Block", "src": "4887:81:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26769, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26767, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26761, "src": "4905:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 26768, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4909:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4905:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206d6f64756c6f206279207a65726f", "id": 26770, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4912:26:24", "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": 26766, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4897:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26771, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4897:42:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26772, "nodeType": "ExpressionStatement", "src": "4897:42:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26775, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26773, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26759, "src": "4956:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 26774, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26761, "src": "4960:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4956:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26765, "id": 26776, "nodeType": "Return", "src": "4949:12:24" } ] }, "documentation": { "id": 26757, "nodeType": "StructuredDocumentation", "src": "4373:442:24", "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": 26762, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26759, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26778, "src": "4833:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26758, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4833:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26761, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26778, "src": "4844:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26760, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4844:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4832:22:24" }, "returnParameters": { "id": 26765, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26764, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26778, "src": "4878:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26763, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4878:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4877:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26802, "nodeType": "FunctionDefinition", "src": "5432:163:24", "body": { "id": 26801, "nodeType": "Block", "src": "5527:68:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26791, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26783, "src": "5545:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 26792, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26781, "src": "5550:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5545:6:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 26794, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26785, "src": "5553:12:24", "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": 26790, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5537:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26795, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5537:29:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26796, "nodeType": "ExpressionStatement", "src": "5537:29:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26797, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26781, "src": "5583:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 26798, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26783, "src": "5587:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5583:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26789, "id": 26800, "nodeType": "Return", "src": "5576:12:24" } ] }, "documentation": { "id": 26779, "nodeType": "StructuredDocumentation", "src": "4974:453:24", "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": 26786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26781, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26802, "src": "5445:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26780, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5445:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26783, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26802, "src": "5456:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26782, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5456:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26785, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 26802, "src": "5467:26:24", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 26784, "name": "string", "nodeType": "ElementaryTypeName", "src": "5467:6:24", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5444:50:24" }, "returnParameters": { "id": 26789, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26788, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26802, "src": "5518:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26787, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5518:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5517:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26826, "nodeType": "FunctionDefinition", "src": "6252:162:24", "body": { "id": 26825, "nodeType": "Block", "src": "6347:67:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26817, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26815, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26807, "src": "6365:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 26816, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6369:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6365:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 26818, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26809, "src": "6372:12:24", "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": 26814, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "6357:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26819, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6357:28:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26820, "nodeType": "ExpressionStatement", "src": "6357:28:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26823, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26821, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26805, "src": "6402:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 26822, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26807, "src": "6406:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6402:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26813, "id": 26824, "nodeType": "Return", "src": "6395:12:24" } ] }, "documentation": { "id": 26803, "nodeType": "StructuredDocumentation", "src": "5601:646:24", "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": 26810, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26805, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26826, "src": "6265:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26804, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6265:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26807, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26826, "src": "6276:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26806, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6276:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26809, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 26826, "src": "6287:26:24", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 26808, "name": "string", "nodeType": "ElementaryTypeName", "src": "6287:6:24", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6264:50:24" }, "returnParameters": { "id": 26813, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26812, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26826, "src": "6338:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26811, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6338:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6337:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 26850, "nodeType": "FunctionDefinition", "src": "7060:162:24", "body": { "id": 26849, "nodeType": "Block", "src": "7155:67:24", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26839, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26831, "src": "7173:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 26840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7177:1:24", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "7173:5:24", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 26842, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26833, "src": "7180:12:24", "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": 26838, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "7165:7:24", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 26843, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7165:28:24", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 26844, "nodeType": "ExpressionStatement", "src": "7165:28:24" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 26847, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 26845, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26829, "src": "7210:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 26846, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26831, "src": "7214:1:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7210:5:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 26837, "id": 26848, "nodeType": "Return", "src": "7203:12:24" } ] }, "documentation": { "id": 26827, "nodeType": "StructuredDocumentation", "src": "6420:635:24", "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": 26834, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26829, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 26850, "src": "7073:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26828, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7073:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26831, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 26850, "src": "7084:9:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26830, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7084:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 26833, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 26850, "src": "7095:26:24", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 26832, "name": "string", "nodeType": "ElementaryTypeName", "src": "7095:6:24", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "7072:50:24" }, "returnParameters": { "id": 26837, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 26836, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 26850, "src": "7146:7:24", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 26835, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7146:7:24", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "7145:9:24" }, "scope": 26851, "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 26499, "nodeType": "StructuredDocumentation", "src": "66:563:24", "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": [ 26851 ], "name": "SafeMath", "scope": 26852 } ], "license": "MIT" }, "id": 24 }