@tokamak-network/thanos-contracts/forge-artifacts/GnosisSafeMath.sol/GnosisSafeMath.0.8.15.json

Contracts for Optimism Specs

{"abi":[],"bytecode":{"object":"0x602d6037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"290:1186:93:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;290:1186:93;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"290:1186:93:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.15+commit.e14f2714\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Math operations with safety checks that revert on error Renamed from SafeMath to GnosisSafeMath to avoid conflicts TODO: remove once open zeppelin update to solc 0.5.0\",\"kind\":\"dev\",\"methods\":{},\"title\":\"GnosisSafeMath\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"lib/safe-contracts/contracts/external/GnosisSafeMath.sol\":\"GnosisSafeMath\"},\"evmVersion\":\"london\",\"libraries\":{\"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker\":\"0x4200000000000000000000000000000000000776\"},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[\":@lib-keccak/=lib/lib-keccak/contracts/lib/\",\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/\",\":@rari-capital/solmate/=lib/solmate/\",\":@solady-test/=lib/lib-keccak/lib/solady/test/\",\":@solady/=lib/solady/src/\",\":automate/=lib/automate/contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":gelato/=lib/automate/contracts/\",\":hardhat/=lib/automate/node_modules/hardhat/\",\":kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/\",\":lib-keccak/=lib/lib-keccak/contracts/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/\",\":prb-test/=lib/automate/lib/prb-test/src/\",\":prb/-est/=lib/automate/lib/prb-test/src/\",\":safe-contracts/=lib/safe-contracts/contracts/\",\":solady/=lib/solady/\",\":solmate/=lib/solmate/src/\"]},\"sources\":{\"lib/safe-contracts/contracts/external/GnosisSafeMath.sol\":{\"keccak256\":\"0x2a2b4d74f5834a9437be0cd3254d7a676698fc78aa47941c2009470196998d98\",\"license\":\"LGPL-3.0-only\",\"urls\":[\"bzz-raw://ea04449ba8b78ec44f3463b68cbce971875626e91d028add50900c41101a1156\",\"dweb:/ipfs/QmR95ci4HVkJuyYGvYRHVpp6N3wefu5WVDhipKwRechWV6\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.15+commit.e14f2714"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@lib-keccak/=lib/lib-keccak/contracts/lib/","@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/","@rari-capital/solmate/=lib/solmate/","@solady-test/=lib/lib-keccak/lib/solady/test/","@solady/=lib/solady/src/","automate/=lib/automate/contracts/","ds-test/=lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","gelato/=lib/automate/contracts/","hardhat/=lib/automate/node_modules/hardhat/","kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/","lib-keccak/=lib/lib-keccak/contracts/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts/=lib/openzeppelin-contracts/","openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/","prb-test/=lib/automate/lib/prb-test/src/","prb/-est/=lib/automate/lib/prb-test/src/","safe-contracts/=lib/safe-contracts/contracts/","solady/=lib/solady/","solmate/=lib/solmate/src/"],"optimizer":{"enabled":true,"runs":999999},"metadata":{"bytecodeHash":"none"},"compilationTarget":{"lib/safe-contracts/contracts/external/GnosisSafeMath.sol":"GnosisSafeMath"},"evmVersion":"london","libraries":{"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker":"0x4200000000000000000000000000000000000776"}},"sources":{"lib/safe-contracts/contracts/external/GnosisSafeMath.sol":{"keccak256":"0x2a2b4d74f5834a9437be0cd3254d7a676698fc78aa47941c2009470196998d98","urls":["bzz-raw://ea04449ba8b78ec44f3463b68cbce971875626e91d028add50900c41101a1156","dweb:/ipfs/QmR95ci4HVkJuyYGvYRHVpp6N3wefu5WVDhipKwRechWV6"],"license":"LGPL-3.0-only"}},"version":1},"storageLayout":{"storage":[],"types":{}},"userdoc":{"version":1,"kind":"user"},"devdoc":{"version":1,"kind":"dev","details":"Math operations with safety checks that revert on error Renamed from SafeMath to GnosisSafeMath to avoid conflicts TODO: remove once open zeppelin update to solc 0.5.0","title":"GnosisSafeMath"},"ast":{"absolutePath":"lib/safe-contracts/contracts/external/GnosisSafeMath.sol","id":60489,"exportedSymbols":{"GnosisSafeMath":[60488]},"nodeType":"SourceUnit","src":"42:1435:93","nodes":[{"id":60384,"nodeType":"PragmaDirective","src":"42:31:93","nodes":[],"literals":["solidity",">=","0.7",".0","<","0.9",".0"]},{"id":60488,"nodeType":"ContractDefinition","src":"290:1186:93","nodes":[{"id":60419,"nodeType":"FunctionDefinition","src":"392:421:93","nodes":[],"body":{"id":60418,"nodeType":"Block","src":"459:354:93","nodes":[],"statements":[{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60397,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60395,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60388,"src":"690:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":60396,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"695:1:93","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"690:6:93","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":60401,"nodeType":"IfStatement","src":"686:45:93","trueBody":{"id":60400,"nodeType":"Block","src":"698:33:93","statements":[{"expression":{"hexValue":"30","id":60398,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"719:1:93","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"functionReturnParameters":60394,"id":60399,"nodeType":"Return","src":"712:8:93"}]}},{"assignments":[60403],"declarations":[{"constant":false,"id":60403,"mutability":"mutable","name":"c","nameLocation":"749:1:93","nodeType":"VariableDeclaration","scope":60418,"src":"741:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60402,"name":"uint256","nodeType":"ElementaryTypeName","src":"741:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":60407,"initialValue":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60406,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60404,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60388,"src":"753:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":60405,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60390,"src":"757:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"753:5:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"741:17:93"},{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60413,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60411,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60409,"name":"c","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60403,"src":"776:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"id":60410,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60388,"src":"780:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"776:5:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":60412,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60390,"src":"785:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"776:10:93","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bool","typeString":"bool"}],"id":60408,"name":"require","nodeType":"Identifier","overloadedDeclarations":[-18,-18],"referencedDeclaration":-18,"src":"768:7:93","typeDescriptions":{"typeIdentifier":"t_function_require_pure$_t_bool_$returns$__$","typeString":"function (bool) pure"}},"id":60414,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"768:19:93","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":60415,"nodeType":"ExpressionStatement","src":"768:19:93"},{"expression":{"id":60416,"name":"c","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60403,"src":"805:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":60394,"id":60417,"nodeType":"Return","src":"798:8:93"}]},"documentation":{"id":60386,"nodeType":"StructuredDocumentation","src":"319:68:93","text":" @dev Multiplies two numbers, reverts on overflow."},"implemented":true,"kind":"function","modifiers":[],"name":"mul","nameLocation":"401:3:93","parameters":{"id":60391,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60388,"mutability":"mutable","name":"a","nameLocation":"413:1:93","nodeType":"VariableDeclaration","scope":60419,"src":"405:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60387,"name":"uint256","nodeType":"ElementaryTypeName","src":"405:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":60390,"mutability":"mutable","name":"b","nameLocation":"424:1:93","nodeType":"VariableDeclaration","scope":60419,"src":"416:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60389,"name":"uint256","nodeType":"ElementaryTypeName","src":"416:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"404:22:93"},"returnParameters":{"id":60394,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60393,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":60419,"src":"450:7:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60392,"name":"uint256","nodeType":"ElementaryTypeName","src":"450:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"449:9:93"},"scope":60488,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":60444,"nodeType":"FunctionDefinition","src":"936:145:93","nodes":[],"body":{"id":60443,"nodeType":"Block","src":"1003:78:93","nodes":[],"statements":[{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60432,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60430,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60424,"src":"1021:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"<=","rightExpression":{"id":60431,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60422,"src":"1026:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1021:6:93","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bool","typeString":"bool"}],"id":60429,"name":"require","nodeType":"Identifier","overloadedDeclarations":[-18,-18],"referencedDeclaration":-18,"src":"1013:7:93","typeDescriptions":{"typeIdentifier":"t_function_require_pure$_t_bool_$returns$__$","typeString":"function (bool) pure"}},"id":60433,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1013:15:93","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":60434,"nodeType":"ExpressionStatement","src":"1013:15:93"},{"assignments":[60436],"declarations":[{"constant":false,"id":60436,"mutability":"mutable","name":"c","nameLocation":"1046:1:93","nodeType":"VariableDeclaration","scope":60443,"src":"1038:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60435,"name":"uint256","nodeType":"ElementaryTypeName","src":"1038:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":60440,"initialValue":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60439,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60437,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60422,"src":"1050:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"id":60438,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60424,"src":"1054:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1050:5:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"1038:17:93"},{"expression":{"id":60441,"name":"c","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60436,"src":"1073:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":60428,"id":60442,"nodeType":"Return","src":"1066:8:93"}]},"documentation":{"id":60420,"nodeType":"StructuredDocumentation","src":"819:112:93","text":" @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend)."},"implemented":true,"kind":"function","modifiers":[],"name":"sub","nameLocation":"945:3:93","parameters":{"id":60425,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60422,"mutability":"mutable","name":"a","nameLocation":"957:1:93","nodeType":"VariableDeclaration","scope":60444,"src":"949:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60421,"name":"uint256","nodeType":"ElementaryTypeName","src":"949:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":60424,"mutability":"mutable","name":"b","nameLocation":"968:1:93","nodeType":"VariableDeclaration","scope":60444,"src":"960:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60423,"name":"uint256","nodeType":"ElementaryTypeName","src":"960:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"948:22:93"},"returnParameters":{"id":60428,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60427,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":60444,"src":"994:7:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60426,"name":"uint256","nodeType":"ElementaryTypeName","src":"994:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"993:9:93"},"scope":60488,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":60469,"nodeType":"FunctionDefinition","src":"1154:145:93","nodes":[],"body":{"id":60468,"nodeType":"Block","src":"1221:78:93","nodes":[],"statements":[{"assignments":[60455],"declarations":[{"constant":false,"id":60455,"mutability":"mutable","name":"c","nameLocation":"1239:1:93","nodeType":"VariableDeclaration","scope":60468,"src":"1231:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60454,"name":"uint256","nodeType":"ElementaryTypeName","src":"1231:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":60459,"initialValue":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60458,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60456,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60447,"src":"1243:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"id":60457,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60449,"src":"1247:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1243:5:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"VariableDeclarationStatement","src":"1231:17:93"},{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60463,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60461,"name":"c","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60455,"src":"1266:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":">=","rightExpression":{"id":60462,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60447,"src":"1271:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1266:6:93","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bool","typeString":"bool"}],"id":60460,"name":"require","nodeType":"Identifier","overloadedDeclarations":[-18,-18],"referencedDeclaration":-18,"src":"1258:7:93","typeDescriptions":{"typeIdentifier":"t_function_require_pure$_t_bool_$returns$__$","typeString":"function (bool) pure"}},"id":60464,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1258:15:93","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":60465,"nodeType":"ExpressionStatement","src":"1258:15:93"},{"expression":{"id":60466,"name":"c","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60455,"src":"1291:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":60453,"id":60467,"nodeType":"Return","src":"1284:8:93"}]},"documentation":{"id":60445,"nodeType":"StructuredDocumentation","src":"1087:62:93","text":" @dev Adds two numbers, reverts on overflow."},"implemented":true,"kind":"function","modifiers":[],"name":"add","nameLocation":"1163:3:93","parameters":{"id":60450,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60447,"mutability":"mutable","name":"a","nameLocation":"1175:1:93","nodeType":"VariableDeclaration","scope":60469,"src":"1167:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60446,"name":"uint256","nodeType":"ElementaryTypeName","src":"1167:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":60449,"mutability":"mutable","name":"b","nameLocation":"1186:1:93","nodeType":"VariableDeclaration","scope":60469,"src":"1178:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60448,"name":"uint256","nodeType":"ElementaryTypeName","src":"1178:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1166:22:93"},"returnParameters":{"id":60453,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60452,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":60469,"src":"1212:7:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60451,"name":"uint256","nodeType":"ElementaryTypeName","src":"1212:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1211:9:93"},"scope":60488,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":60487,"nodeType":"FunctionDefinition","src":"1369:105:93","nodes":[],"body":{"id":60486,"nodeType":"Block","src":"1436:38:93","nodes":[],"statements":[{"expression":{"condition":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":60481,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":60479,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60472,"src":"1453:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":">=","rightExpression":{"id":60480,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60474,"src":"1458:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"1453:6:93","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseExpression":{"id":60483,"name":"b","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60474,"src":"1466:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":60484,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"Conditional","src":"1453:14:93","trueExpression":{"id":60482,"name":"a","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":60472,"src":"1462:1:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":60478,"id":60485,"nodeType":"Return","src":"1446:21:93"}]},"documentation":{"id":60470,"nodeType":"StructuredDocumentation","src":"1305:59:93","text":" @dev Returns the largest of two numbers."},"implemented":true,"kind":"function","modifiers":[],"name":"max","nameLocation":"1378:3:93","parameters":{"id":60475,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60472,"mutability":"mutable","name":"a","nameLocation":"1390:1:93","nodeType":"VariableDeclaration","scope":60487,"src":"1382:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60471,"name":"uint256","nodeType":"ElementaryTypeName","src":"1382:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":60474,"mutability":"mutable","name":"b","nameLocation":"1401:1:93","nodeType":"VariableDeclaration","scope":60487,"src":"1393:9:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60473,"name":"uint256","nodeType":"ElementaryTypeName","src":"1393:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1381:22:93"},"returnParameters":{"id":60478,"nodeType":"ParameterList","parameters":[{"constant":false,"id":60477,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":60487,"src":"1427:7:93","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":60476,"name":"uint256","nodeType":"ElementaryTypeName","src":"1427:7:93","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1426:9:93"},"scope":60488,"stateMutability":"pure","virtual":false,"visibility":"internal"}],"abstract":false,"baseContracts":[],"canonicalName":"GnosisSafeMath","contractDependencies":[],"contractKind":"library","documentation":{"id":60385,"nodeType":"StructuredDocumentation","src":"75:214:93","text":" @title GnosisSafeMath\n @dev Math operations with safety checks that revert on error\n Renamed from SafeMath to GnosisSafeMath to avoid conflicts\n TODO: remove once open zeppelin update to solc 0.5.0"},"fullyImplemented":true,"linearizedBaseContracts":[60488],"name":"GnosisSafeMath","nameLocation":"298:14:93","scope":60489,"usedErrors":[]}],"license":"LGPL-3.0-only"},"id":93}