{ "contractName": "FullMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.10+commit.00c0fcaf\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@uniswap/lib/contracts/libraries/FullMath.sol\":\"FullMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":2000000},\"remappings\":[]},\"sources\":{\"@uniswap/lib/contracts/libraries/FullMath.sol\":{\"keccak256\":\"0xf3dd7fc13a7eee86c17cdfe13b03a7f24ebaf09588550b64b581ae7b2bd59273\",\"license\":\"CC-BY-4.0\",\"urls\":[\"bzz-raw://492ced3afa929c790c9b1314b86454a977528e8f3d408a55b1275a396154d097\",\"dweb:/ipfs/QmbX2YAgtoM13Z2MRnV5WnUpzmw3fMxmhzCnsKKxQUjGJJ\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220b21b41adc6f8d840b84d804b8895dda84e405d27c7890c8ddb2719b337c77b4d64736f6c634300060a0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220b21b41adc6f8d840b84d804b8895dda84e405d27c7890c8ddb2719b337c77b4d64736f6c634300060a0033", "immutableReferences": {}, "sourceMap": "193:1041:5:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "193:1041:5:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: CC-BY-4.0\npragma solidity >=0.4.0;\n\n// taken from https://medium.com/coinmonks/math-in-solidity-part-3-percents-and-proportions-4db014e080b1\n// license is CC-BY-4.0\nlibrary FullMath {\n function fullMul(uint256 x, uint256 y) private pure returns (uint256 l, uint256 h) {\n uint256 mm = mulmod(x, y, uint256(-1));\n l = x * y;\n h = mm - l;\n if (mm < l) h -= 1;\n }\n\n function fullDiv(\n uint256 l,\n uint256 h,\n uint256 d\n ) private pure returns (uint256) {\n uint256 pow2 = d & -d;\n d /= pow2;\n l /= pow2;\n l += h * ((-pow2) / pow2 + 1);\n uint256 r = 1;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n return l * r;\n }\n\n function mulDiv(\n uint256 x,\n uint256 y,\n uint256 d\n ) internal pure returns (uint256) {\n (uint256 l, uint256 h) = fullMul(x, y);\n uint256 mm = mulmod(x, y, d);\n if (mm > l) h -= 1;\n l -= mm;\n require(h < d, 'FullMath: FULLDIV_OVERFLOW');\n return fullDiv(l, h, d);\n }\n}\n", "sourcePath": "@uniswap/lib/contracts/libraries/FullMath.sol", "ast": { "absolutePath": "@uniswap/lib/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 1379 ] }, "id": 1380, "license": "CC-BY-4.0", "nodeType": "SourceUnit", "nodes": [ { "id": 1168, "literals": [ "solidity", ">=", "0.4", ".0" ], "nodeType": "PragmaDirective", "src": "38:24:5" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 1379, "linearizedBaseContracts": [ 1379 ], "name": "FullMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 1211, "nodeType": "Block", "src": "299:122:5", "statements": [ { "assignments": [ 1180 ], "declarations": [ { "constant": false, "id": 1180, "mutability": "mutable", "name": "mm", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1211, "src": "309:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1179, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "309:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1190, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1182, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1170, "src": "329:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1183, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1172, "src": "332:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1187, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "343:2:5", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 1186, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "344:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "id": 1185, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "335:7:5", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 1184, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "335:7:5", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 1188, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "335:11:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1181, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -16, "src": "322:6:5", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1189, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "322:25:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "309:38:5" }, { "expression": { "argumentTypes": null, "id": 1195, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1191, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1175, "src": "357:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1194, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1192, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1170, "src": "361:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1193, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1172, "src": "365:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "361:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "357:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1196, "nodeType": "ExpressionStatement", "src": "357:9:5" }, { "expression": { "argumentTypes": null, "id": 1201, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1197, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1177, "src": "376:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1200, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1198, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1180, "src": "380:2:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1199, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1175, "src": "385:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "380:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "376:10:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1202, "nodeType": "ExpressionStatement", "src": "376:10:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1203, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1180, "src": "400:2:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 1204, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1175, "src": "405:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "400:6:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1210, "nodeType": "IfStatement", "src": "396:18:5", "trueBody": { "expression": { "argumentTypes": null, "id": 1208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1206, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1177, "src": "408:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1207, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "413:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "408:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1209, "nodeType": "ExpressionStatement", "src": "408:6:5" } } ] }, "documentation": null, "id": 1212, "implemented": true, "kind": "function", "modifiers": [], "name": "fullMul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1173, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1170, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1212, "src": "233:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1169, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "233:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1172, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1212, "src": "244:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1171, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "244:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "232:22:5" }, "returnParameters": { "id": 1178, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1175, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1212, "src": "277:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1174, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "277:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1177, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1212, "src": "288:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1176, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "288:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "276:22:5" }, "scope": 1379, "src": "216:205:5", "stateMutability": "pure", "virtual": false, "visibility": "private" }, { "body": { "id": 1323, "nodeType": "Block", "src": "538:352:5", "statements": [ { "assignments": [ 1224 ], "declarations": [ { "constant": false, "id": 1224, "mutability": "mutable", "name": "pow2", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1323, "src": "548:12:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1223, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "548:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1229, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1225, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "563:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "argumentTypes": null, "id": 1227, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "567:2:5", "subExpression": { "argumentTypes": null, "id": 1226, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "568:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "563:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "548:21:5" }, { "expression": { "argumentTypes": null, "id": 1232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1230, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "579:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1231, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1224, "src": "584:4:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "579:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1233, "nodeType": "ExpressionStatement", "src": "579:9:5" }, { "expression": { "argumentTypes": null, "id": 1236, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1234, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1214, "src": "598:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1235, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1224, "src": "603:4:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "598:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1237, "nodeType": "ExpressionStatement", "src": "598:9:5" }, { "expression": { "argumentTypes": null, "id": 1249, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1238, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1214, "src": "617:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1248, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1239, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1216, "src": "622:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1246, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1244, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 1241, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "628:5:5", "subExpression": { "argumentTypes": null, "id": 1240, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1224, "src": "629:4:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 1242, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "627:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1243, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1224, "src": "637:4:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "627:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1245, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "644:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "627:18:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 1247, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "626:20:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "622:24:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "617:29:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1250, "nodeType": "ExpressionStatement", "src": "617:29:5" }, { "assignments": [ 1252 ], "declarations": [ { "constant": false, "id": 1252, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1323, "src": "656:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1251, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "656:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1254, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 1253, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "668:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "656:13:5" }, { "expression": { "argumentTypes": null, "id": 1261, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1255, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "679:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1260, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1256, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "684:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1259, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1257, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "688:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1258, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "692:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "688:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "684:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "679:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1262, "nodeType": "ExpressionStatement", "src": "679:14:5" }, { "expression": { "argumentTypes": null, "id": 1269, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1263, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "703:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1268, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1264, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "708:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1265, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "712:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1266, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "716:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "712:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "708:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "703:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1270, "nodeType": "ExpressionStatement", "src": "703:14:5" }, { "expression": { "argumentTypes": null, "id": 1277, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1271, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "727:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1276, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1272, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "732:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1275, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1273, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "736:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1274, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "740:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "736:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "732:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "727:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1278, "nodeType": "ExpressionStatement", "src": "727:14:5" }, { "expression": { "argumentTypes": null, "id": 1285, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1279, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "751:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1284, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1280, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "756:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1283, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1281, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "760:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1282, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "764:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "760:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "756:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "751:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1286, "nodeType": "ExpressionStatement", "src": "751:14:5" }, { "expression": { "argumentTypes": null, "id": 1293, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1287, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "775:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1292, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1288, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "780:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1291, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1289, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "784:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1290, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "788:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "784:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "780:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "775:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1294, "nodeType": "ExpressionStatement", "src": "775:14:5" }, { "expression": { "argumentTypes": null, "id": 1301, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1295, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "799:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1296, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "804:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1299, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1297, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "808:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1298, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "812:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "808:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "804:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "799:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1302, "nodeType": "ExpressionStatement", "src": "799:14:5" }, { "expression": { "argumentTypes": null, "id": 1309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1303, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "823:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1308, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1304, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "828:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1305, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "832:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1306, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "836:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "832:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "828:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "823:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1310, "nodeType": "ExpressionStatement", "src": "823:14:5" }, { "expression": { "argumentTypes": null, "id": 1317, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1311, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "847:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 1312, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "852:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1315, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1313, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1218, "src": "856:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1314, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "860:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "856:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "852:9:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "847:14:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1318, "nodeType": "ExpressionStatement", "src": "847:14:5" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1321, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1319, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1214, "src": "878:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1320, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1252, "src": "882:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "878:5:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1222, "id": 1322, "nodeType": "Return", "src": "871:12:5" } ] }, "documentation": null, "id": 1324, "implemented": true, "kind": "function", "modifiers": [], "name": "fullDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1219, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1214, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1324, "src": "453:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1213, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "453:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1216, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1324, "src": "472:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1215, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "472:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1218, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1324, "src": "491:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1217, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "491:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "443:63:5" }, "returnParameters": { "id": 1222, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1221, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1324, "src": "529:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1220, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "529:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "528:9:5" }, "scope": 1379, "src": "427:463:5", "stateMutability": "pure", "virtual": false, "visibility": "private" }, { "body": { "id": 1377, "nodeType": "Block", "src": "1007:225:5", "statements": [ { "assignments": [ 1336, 1338 ], "declarations": [ { "constant": false, "id": 1336, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1377, "src": "1018:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1335, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1018:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1338, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1377, "src": "1029:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1337, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1029:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1343, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1340, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1326, "src": "1050:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1341, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1328, "src": "1053:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1339, "name": "fullMul", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1212, "src": "1042:7:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256,uint256)" } }, "id": 1342, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1042:13:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$_t_uint256_$_t_uint256_$", "typeString": "tuple(uint256,uint256)" } }, "nodeType": "VariableDeclarationStatement", "src": "1017:38:5" }, { "assignments": [ 1345 ], "declarations": [ { "constant": false, "id": 1345, "mutability": "mutable", "name": "mm", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1377, "src": "1065:10:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1344, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1065:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1351, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1347, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1326, "src": "1085:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1348, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1328, "src": "1088:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1349, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1330, "src": "1091:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1346, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -16, "src": "1078:6:5", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1350, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1078:15:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1065:28:5" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1352, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1345, "src": "1107:2:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1353, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1336, "src": "1112:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1107:6:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1359, "nodeType": "IfStatement", "src": "1103:18:5", "trueBody": { "expression": { "argumentTypes": null, "id": 1357, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1355, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1338, "src": "1115:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1356, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1120:1:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1115:6:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1358, "nodeType": "ExpressionStatement", "src": "1115:6:5" } }, { "expression": { "argumentTypes": null, "id": 1362, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1360, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1336, "src": "1131:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1361, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1345, "src": "1136:2:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1131:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1363, "nodeType": "ExpressionStatement", "src": "1131:7:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1367, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1365, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1338, "src": "1156:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 1366, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1330, "src": "1160:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1156:5:5", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "46756c6c4d6174683a2046554c4c4449565f4f564552464c4f57", "id": 1368, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1163:28:5", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" }, "value": "FullMath: FULLDIV_OVERFLOW" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" } ], "id": 1364, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1148:7:5", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1369, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1148:44:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1370, "nodeType": "ExpressionStatement", "src": "1148:44:5" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1372, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1336, "src": "1217:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1373, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1338, "src": "1220:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1374, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1330, "src": "1223:1:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1371, "name": "fullDiv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1324, "src": "1209:7:5", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1375, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1209:16:5", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1334, "id": 1376, "nodeType": "Return", "src": "1202:23:5" } ] }, "documentation": null, "id": 1378, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 1331, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1326, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1378, "src": "921:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "921:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1328, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1378, "src": "940:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1327, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "940:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1330, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1378, "src": "959:9:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1329, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "959:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "911:63:5" }, "returnParameters": { "id": 1334, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1333, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 1378, "src": "998:7:5", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1332, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "998:7:5", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "997:9:5" }, "scope": 1379, "src": "896:336:5", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 1380, "src": "193:1041:5" } ], "src": "38:1197:5" }, "legacyAST": { "attributes": { "absolutePath": "@uniswap/lib/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 1379 ] }, "license": "CC-BY-4.0" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.4", ".0" ] }, "id": 1168, "name": "PragmaDirective", "src": "38:24:5" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 1379 ], "name": "FullMath", "scope": 1380 }, "children": [ { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "fullMul", "overrides": null, "scope": 1379, "stateMutability": "pure", "virtual": false, "visibility": "private" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 1212, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1169, "name": "ElementaryTypeName", "src": "233:7:5" } ], "id": 1170, "name": "VariableDeclaration", "src": "233:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 1212, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1171, "name": "ElementaryTypeName", "src": "244:7:5" } ], "id": 1172, "name": "VariableDeclaration", "src": "244:9:5" } ], "id": 1173, "name": "ParameterList", "src": "232:22:5" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 1212, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1174, "name": "ElementaryTypeName", "src": "277:7:5" } ], "id": 1175, "name": "VariableDeclaration", "src": "277:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 1212, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1176, "name": "ElementaryTypeName", "src": "288:7:5" } ], "id": 1177, "name": "VariableDeclaration", "src": "288:9:5" } ], "id": 1178, "name": "ParameterList", "src": "276:22:5" }, { "children": [ { "attributes": { "assignments": [ 1180 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "mm", "overrides": null, "scope": 1211, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1179, "name": "ElementaryTypeName", "src": "309:7:5" } ], "id": 1180, "name": "VariableDeclaration", "src": "309:10:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": -16, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 1181, "name": "Identifier", "src": "322:6:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1170, "type": "uint256", "value": "x" }, "id": 1182, "name": "Identifier", "src": "329:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1172, "type": "uint256", "value": "y" }, "id": 1183, "name": "Identifier", "src": "332:1:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint256)" }, "children": [ { "attributes": { "name": "uint256", "type": null }, "id": 1184, "name": "ElementaryTypeName", "src": "335:7:5" } ], "id": 1185, "name": "ElementaryTypeNameExpression", "src": "335:7:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "operator": "-", "prefix": true, "type": "int_const -1" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 1186, "name": "Literal", "src": "344:1:5" } ], "id": 1187, "name": "UnaryOperation", "src": "343:2:5" } ], "id": 1188, "name": "FunctionCall", "src": "335:11:5" } ], "id": 1189, "name": "FunctionCall", "src": "322:25:5" } ], "id": 1190, "name": "VariableDeclarationStatement", "src": "309:38:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1175, "type": "uint256", "value": "l" }, "id": 1191, "name": "Identifier", "src": "357:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1170, "type": "uint256", "value": "x" }, "id": 1192, "name": "Identifier", "src": "361:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1172, "type": "uint256", "value": "y" }, "id": 1193, "name": "Identifier", "src": "365:1:5" } ], "id": 1194, "name": "BinaryOperation", "src": "361:5:5" } ], "id": 1195, "name": "Assignment", "src": "357:9:5" } ], "id": 1196, "name": "ExpressionStatement", "src": "357:9:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1177, "type": "uint256", "value": "h" }, "id": 1197, "name": "Identifier", "src": "376:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1180, "type": "uint256", "value": "mm" }, "id": 1198, "name": "Identifier", "src": "380:2:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1175, "type": "uint256", "value": "l" }, "id": 1199, "name": "Identifier", "src": "385:1:5" } ], "id": 1200, "name": "BinaryOperation", "src": "380:6:5" } ], "id": 1201, "name": "Assignment", "src": "376:10:5" } ], "id": 1202, "name": "ExpressionStatement", "src": "376:10:5" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1180, "type": "uint256", "value": "mm" }, "id": 1203, "name": "Identifier", "src": "400:2:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1175, "type": "uint256", "value": "l" }, "id": 1204, "name": "Identifier", "src": "405:1:5" } ], "id": 1205, "name": "BinaryOperation", "src": "400:6:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1177, "type": "uint256", "value": "h" }, "id": 1206, "name": "Identifier", "src": "408:1:5" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 1207, "name": "Literal", "src": "413:1:5" } ], "id": 1208, "name": "Assignment", "src": "408:6:5" } ], "id": 1209, "name": "ExpressionStatement", "src": "408:6:5" } ], "id": 1210, "name": "IfStatement", "src": "396:18:5" } ], "id": 1211, "name": "Block", "src": "299:122:5" } ], "id": 1212, "name": "FunctionDefinition", "src": "216:205:5" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "fullDiv", "overrides": null, "scope": 1379, "stateMutability": "pure", "virtual": false, "visibility": "private" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 1324, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1213, "name": "ElementaryTypeName", "src": "453:7:5" } ], "id": 1214, "name": "VariableDeclaration", "src": "453:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 1324, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1215, "name": "ElementaryTypeName", "src": "472:7:5" } ], "id": 1216, "name": "VariableDeclaration", "src": "472:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "d", "overrides": null, "scope": 1324, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1217, "name": "ElementaryTypeName", "src": "491:7:5" } ], "id": 1218, "name": "VariableDeclaration", "src": "491:9:5" } ], "id": 1219, "name": "ParameterList", "src": "443:63:5" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 1324, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1220, "name": "ElementaryTypeName", "src": "529:7:5" } ], "id": 1221, "name": "VariableDeclaration", "src": "529:7:5" } ], "id": 1222, "name": "ParameterList", "src": "528:9:5" }, { "children": [ { "attributes": { "assignments": [ 1224 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "pow2", "overrides": null, "scope": 1323, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1223, "name": "ElementaryTypeName", "src": "548:7:5" } ], "id": 1224, "name": "VariableDeclaration", "src": "548:12:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1225, "name": "Identifier", "src": "563:1:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1226, "name": "Identifier", "src": "568:1:5" } ], "id": 1227, "name": "UnaryOperation", "src": "567:2:5" } ], "id": 1228, "name": "BinaryOperation", "src": "563:6:5" } ], "id": 1229, "name": "VariableDeclarationStatement", "src": "548:21:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1230, "name": "Identifier", "src": "579:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1224, "type": "uint256", "value": "pow2" }, "id": 1231, "name": "Identifier", "src": "584:4:5" } ], "id": 1232, "name": "Assignment", "src": "579:9:5" } ], "id": 1233, "name": "ExpressionStatement", "src": "579:9:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1214, "type": "uint256", "value": "l" }, "id": 1234, "name": "Identifier", "src": "598:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1224, "type": "uint256", "value": "pow2" }, "id": 1235, "name": "Identifier", "src": "603:4:5" } ], "id": 1236, "name": "Assignment", "src": "598:9:5" } ], "id": 1237, "name": "ExpressionStatement", "src": "598:9:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1214, "type": "uint256", "value": "l" }, "id": 1238, "name": "Identifier", "src": "617:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1216, "type": "uint256", "value": "h" }, "id": 1239, "name": "Identifier", "src": "622:1:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1224, "type": "uint256", "value": "pow2" }, "id": 1240, "name": "Identifier", "src": "629:4:5" } ], "id": 1241, "name": "UnaryOperation", "src": "628:5:5" } ], "id": 1242, "name": "TupleExpression", "src": "627:7:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1224, "type": "uint256", "value": "pow2" }, "id": 1243, "name": "Identifier", "src": "637:4:5" } ], "id": 1244, "name": "BinaryOperation", "src": "627:14:5" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 1245, "name": "Literal", "src": "644:1:5" } ], "id": 1246, "name": "BinaryOperation", "src": "627:18:5" } ], "id": 1247, "name": "TupleExpression", "src": "626:20:5" } ], "id": 1248, "name": "BinaryOperation", "src": "622:24:5" } ], "id": 1249, "name": "Assignment", "src": "617:29:5" } ], "id": 1250, "name": "ExpressionStatement", "src": "617:29:5" }, { "attributes": { "assignments": [ 1252 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "overrides": null, "scope": 1323, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1251, "name": "ElementaryTypeName", "src": "656:7:5" } ], "id": 1252, "name": "VariableDeclaration", "src": "656:9:5" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 1253, "name": "Literal", "src": "668:1:5" } ], "id": 1254, "name": "VariableDeclarationStatement", "src": "656:13:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1255, "name": "Identifier", "src": "679:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1256, "name": "Literal", "src": "684:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1257, "name": "Identifier", "src": "688:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1258, "name": "Identifier", "src": "692:1:5" } ], "id": 1259, "name": "BinaryOperation", "src": "688:5:5" } ], "id": 1260, "name": "BinaryOperation", "src": "684:9:5" } ], "id": 1261, "name": "Assignment", "src": "679:14:5" } ], "id": 1262, "name": "ExpressionStatement", "src": "679:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1263, "name": "Identifier", "src": "703:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1264, "name": "Literal", "src": "708:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1265, "name": "Identifier", "src": "712:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1266, "name": "Identifier", "src": "716:1:5" } ], "id": 1267, "name": "BinaryOperation", "src": "712:5:5" } ], "id": 1268, "name": "BinaryOperation", "src": "708:9:5" } ], "id": 1269, "name": "Assignment", "src": "703:14:5" } ], "id": 1270, "name": "ExpressionStatement", "src": "703:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1271, "name": "Identifier", "src": "727:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1272, "name": "Literal", "src": "732:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1273, "name": "Identifier", "src": "736:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1274, "name": "Identifier", "src": "740:1:5" } ], "id": 1275, "name": "BinaryOperation", "src": "736:5:5" } ], "id": 1276, "name": "BinaryOperation", "src": "732:9:5" } ], "id": 1277, "name": "Assignment", "src": "727:14:5" } ], "id": 1278, "name": "ExpressionStatement", "src": "727:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1279, "name": "Identifier", "src": "751:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1280, "name": "Literal", "src": "756:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1281, "name": "Identifier", "src": "760:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1282, "name": "Identifier", "src": "764:1:5" } ], "id": 1283, "name": "BinaryOperation", "src": "760:5:5" } ], "id": 1284, "name": "BinaryOperation", "src": "756:9:5" } ], "id": 1285, "name": "Assignment", "src": "751:14:5" } ], "id": 1286, "name": "ExpressionStatement", "src": "751:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1287, "name": "Identifier", "src": "775:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1288, "name": "Literal", "src": "780:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1289, "name": "Identifier", "src": "784:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1290, "name": "Identifier", "src": "788:1:5" } ], "id": 1291, "name": "BinaryOperation", "src": "784:5:5" } ], "id": 1292, "name": "BinaryOperation", "src": "780:9:5" } ], "id": 1293, "name": "Assignment", "src": "775:14:5" } ], "id": 1294, "name": "ExpressionStatement", "src": "775:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1295, "name": "Identifier", "src": "799:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1296, "name": "Literal", "src": "804:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1297, "name": "Identifier", "src": "808:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1298, "name": "Identifier", "src": "812:1:5" } ], "id": 1299, "name": "BinaryOperation", "src": "808:5:5" } ], "id": 1300, "name": "BinaryOperation", "src": "804:9:5" } ], "id": 1301, "name": "Assignment", "src": "799:14:5" } ], "id": 1302, "name": "ExpressionStatement", "src": "799:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1303, "name": "Identifier", "src": "823:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1304, "name": "Literal", "src": "828:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1305, "name": "Identifier", "src": "832:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1306, "name": "Identifier", "src": "836:1:5" } ], "id": 1307, "name": "BinaryOperation", "src": "832:5:5" } ], "id": 1308, "name": "BinaryOperation", "src": "828:9:5" } ], "id": 1309, "name": "Assignment", "src": "823:14:5" } ], "id": 1310, "name": "ExpressionStatement", "src": "823:14:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1311, "name": "Identifier", "src": "847:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 1312, "name": "Literal", "src": "852:1:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1218, "type": "uint256", "value": "d" }, "id": 1313, "name": "Identifier", "src": "856:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1314, "name": "Identifier", "src": "860:1:5" } ], "id": 1315, "name": "BinaryOperation", "src": "856:5:5" } ], "id": 1316, "name": "BinaryOperation", "src": "852:9:5" } ], "id": 1317, "name": "Assignment", "src": "847:14:5" } ], "id": 1318, "name": "ExpressionStatement", "src": "847:14:5" }, { "attributes": { "functionReturnParameters": 1222 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1214, "type": "uint256", "value": "l" }, "id": 1319, "name": "Identifier", "src": "878:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1252, "type": "uint256", "value": "r" }, "id": 1320, "name": "Identifier", "src": "882:1:5" } ], "id": 1321, "name": "BinaryOperation", "src": "878:5:5" } ], "id": 1322, "name": "Return", "src": "871:12:5" } ], "id": 1323, "name": "Block", "src": "538:352:5" } ], "id": 1324, "name": "FunctionDefinition", "src": "427:463:5" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDiv", "overrides": null, "scope": 1379, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 1378, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1325, "name": "ElementaryTypeName", "src": "921:7:5" } ], "id": 1326, "name": "VariableDeclaration", "src": "921:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 1378, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1327, "name": "ElementaryTypeName", "src": "940:7:5" } ], "id": 1328, "name": "VariableDeclaration", "src": "940:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "d", "overrides": null, "scope": 1378, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1329, "name": "ElementaryTypeName", "src": "959:7:5" } ], "id": 1330, "name": "VariableDeclaration", "src": "959:9:5" } ], "id": 1331, "name": "ParameterList", "src": "911:63:5" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 1378, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1332, "name": "ElementaryTypeName", "src": "998:7:5" } ], "id": 1333, "name": "VariableDeclaration", "src": "998:7:5" } ], "id": 1334, "name": "ParameterList", "src": "997:9:5" }, { "children": [ { "attributes": { "assignments": [ 1336, 1338 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 1377, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1335, "name": "ElementaryTypeName", "src": "1018:7:5" } ], "id": 1336, "name": "VariableDeclaration", "src": "1018:9:5" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 1377, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1337, "name": "ElementaryTypeName", "src": "1029:7:5" } ], "id": 1338, "name": "VariableDeclaration", "src": "1029:9:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple(uint256,uint256)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 1212, "type": "function (uint256,uint256) pure returns (uint256,uint256)", "value": "fullMul" }, "id": 1339, "name": "Identifier", "src": "1042:7:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1326, "type": "uint256", "value": "x" }, "id": 1340, "name": "Identifier", "src": "1050:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1328, "type": "uint256", "value": "y" }, "id": 1341, "name": "Identifier", "src": "1053:1:5" } ], "id": 1342, "name": "FunctionCall", "src": "1042:13:5" } ], "id": 1343, "name": "VariableDeclarationStatement", "src": "1017:38:5" }, { "attributes": { "assignments": [ 1345 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "mm", "overrides": null, "scope": 1377, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 1344, "name": "ElementaryTypeName", "src": "1065:7:5" } ], "id": 1345, "name": "VariableDeclaration", "src": "1065:10:5" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": -16, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 1346, "name": "Identifier", "src": "1078:6:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1326, "type": "uint256", "value": "x" }, "id": 1347, "name": "Identifier", "src": "1085:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1328, "type": "uint256", "value": "y" }, "id": 1348, "name": "Identifier", "src": "1088:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1330, "type": "uint256", "value": "d" }, "id": 1349, "name": "Identifier", "src": "1091:1:5" } ], "id": 1350, "name": "FunctionCall", "src": "1078:15:5" } ], "id": 1351, "name": "VariableDeclarationStatement", "src": "1065:28:5" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1345, "type": "uint256", "value": "mm" }, "id": 1352, "name": "Identifier", "src": "1107:2:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1336, "type": "uint256", "value": "l" }, "id": 1353, "name": "Identifier", "src": "1112:1:5" } ], "id": 1354, "name": "BinaryOperation", "src": "1107:6:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1338, "type": "uint256", "value": "h" }, "id": 1355, "name": "Identifier", "src": "1115:1:5" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 1356, "name": "Literal", "src": "1120:1:5" } ], "id": 1357, "name": "Assignment", "src": "1115:6:5" } ], "id": 1358, "name": "ExpressionStatement", "src": "1115:6:5" } ], "id": 1359, "name": "IfStatement", "src": "1103:18:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1336, "type": "uint256", "value": "l" }, "id": 1360, "name": "Identifier", "src": "1131:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1345, "type": "uint256", "value": "mm" }, "id": 1361, "name": "Identifier", "src": "1136:2:5" } ], "id": 1362, "name": "Assignment", "src": "1131:7:5" } ], "id": 1363, "name": "ExpressionStatement", "src": "1131:7:5" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 1364, "name": "Identifier", "src": "1148:7:5" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1338, "type": "uint256", "value": "h" }, "id": 1365, "name": "Identifier", "src": "1156:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1330, "type": "uint256", "value": "d" }, "id": 1366, "name": "Identifier", "src": "1160:1:5" } ], "id": 1367, "name": "BinaryOperation", "src": "1156:5:5" }, { "attributes": { "argumentTypes": null, "hexvalue": "46756c6c4d6174683a2046554c4c4449565f4f564552464c4f57", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"FullMath: FULLDIV_OVERFLOW\"", "value": "FullMath: FULLDIV_OVERFLOW" }, "id": 1368, "name": "Literal", "src": "1163:28:5" } ], "id": 1369, "name": "FunctionCall", "src": "1148:44:5" } ], "id": 1370, "name": "ExpressionStatement", "src": "1148:44:5" }, { "attributes": { "functionReturnParameters": 1334 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 1324, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "fullDiv" }, "id": 1371, "name": "Identifier", "src": "1209:7:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1336, "type": "uint256", "value": "l" }, "id": 1372, "name": "Identifier", "src": "1217:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1338, "type": "uint256", "value": "h" }, "id": 1373, "name": "Identifier", "src": "1220:1:5" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 1330, "type": "uint256", "value": "d" }, "id": 1374, "name": "Identifier", "src": "1223:1:5" } ], "id": 1375, "name": "FunctionCall", "src": "1209:16:5" } ], "id": 1376, "name": "Return", "src": "1202:23:5" } ], "id": 1377, "name": "Block", "src": "1007:225:5" } ], "id": 1378, "name": "FunctionDefinition", "src": "896:336:5" } ], "id": 1379, "name": "ContractDefinition", "src": "193:1041:5" } ], "id": 1380, "name": "SourceUnit", "src": "38:1197:5" }, "compiler": { "name": "solc", "version": "0.6.10+commit.00c0fcaf.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2021-07-08T17:04:13.728Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }