{ "contractName": "BigDiv", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.17+commit.d19bba13\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Results may be off by 1 + 0.000001% for 2x1 calls and 2 + 0.00001% for 2x2 calls. Do not use if your contract expects very small result values to be accurate.\",\"methods\":{},\"title\":\"Reduces the size of terms before multiplication, to avoid an overflow, and then restores the proper size after division.\"},\"userdoc\":{\"methods\":{},\"notice\":\"This effectively allows us to overflow values in the numerator and/or denominator of a fraction, so long as the end result does not overflow as well.\"}},\"settings\":{\"compilationTarget\":{\"/home/circleci/repo/contracts/math/BigDiv.sol\":\"BigDiv\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":2000000},\"remappings\":[]},\"sources\":{\"/home/circleci/repo/contracts/math/BigDiv.sol\":{\"keccak256\":\"0xa5de5987f3c16748ca0e15511c3cd7539345ac13b3e3d7f6a12a38821fd99ade\",\"urls\":[\"bzz-raw://03ea66de02cc69e51688be492329ed542d5a11bc6c7cf62c0b979efa18e834de\",\"dweb:/ipfs/QmbAq2gGsCd4GJDfQRQG9LbQiT756WPk9wvLPaYqLbMvRv\"]},\"@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x640b6dee7a4b830bdfd52b5031a07fc2b12209f5b2e29e5d364a7d37f69d8076\",\"urls\":[\"bzz-raw://31113152e1ddb78fe7a4197f247591ca894e93f916867beb708d8e747b6cc74f\",\"dweb:/ipfs/QmbZaJyXdpsYGykVhHH9qpVGQg9DGCxE2QufbCUy3daTgq\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a723158205b9f6945f5bf877b74de95eef6118eeb243114764663c2349bbe1383e0e9388d64736f6c63430005110032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a723158205b9f6945f5bf877b74de95eef6118eeb243114764663c2349bbe1383e0e9388d64736f6c63430005110032", "sourceMap": "582:6284:4:-;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "582:6284:4:-;;;;;;;;", "source": "pragma solidity ^0.5.0;\n\n\nimport '@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol';\n\n/**\n * @title Reduces the size of terms before multiplication, to avoid an overflow, and then\n * restores the proper size after division.\n * @notice This effectively allows us to overflow values in the numerator and/or denominator\n * of a fraction, so long as the end result does not overflow as well.\n * @dev Results may be off by 1 + 0.000001% for 2x1 calls and 2 + 0.00001% for 2x2 calls.\n * Do not use if your contract expects very small result values to be accurate.\n */\nlibrary BigDiv\n{\n using SafeMath for uint256;\n\n /// @notice The max possible value\n uint256 private constant MAX_UINT = 2**256 - 1;\n\n /// @notice When multiplying 2 terms <= this value the result won't overflow\n uint256 private constant MAX_BEFORE_SQUARE = 2**128 - 1;\n\n /// @notice The max error target is off by 1 plus up to 0.000001% error\n /// for bigDiv2x1 and that `* 2` for bigDiv2x2\n uint256 private constant MAX_ERROR = 100000000;\n\n /// @notice A larger error threshold to use when multiple rounding errors may apply\n uint256 private constant MAX_ERROR_BEFORE_DIV = MAX_ERROR * 2;\n\n /**\n * @notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n * @param _numA the first numerator term\n * @param _numB the second numerator term\n * @param _den the denominator\n * @return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed\n */\n function bigDiv2x1(\n uint256 _numA,\n uint256 _numB,\n uint256 _den\n ) internal pure\n returns(uint256)\n {\n if(_numA == 0 || _numB == 0)\n {\n // would div by 0 or underflow if we don't special case 0\n return 0;\n }\n\n uint256 value;\n\n if(MAX_UINT / _numA >= _numB)\n {\n // a*b does not overflow, return exact math\n value = _numA * _numB;\n value /= _den;\n return value;\n }\n\n // Sort numerators\n uint256 numMax = _numB;\n uint256 numMin = _numA;\n if(_numA > _numB)\n {\n numMax = _numA;\n numMin = _numB;\n }\n\n value = numMax / _den;\n if(value > MAX_ERROR)\n {\n // _den is small enough to be MAX_ERROR or better w/o a factor\n value = value.mul(numMin);\n return value;\n }\n\n // formula = ((a / f) * b) / (d / f)\n // factor >= a / sqrt(MAX) * (b / sqrt(MAX))\n uint256 factor = numMin - 1;\n factor /= MAX_BEFORE_SQUARE;\n factor += 1;\n uint256 temp = numMax - 1;\n temp /= MAX_BEFORE_SQUARE;\n temp += 1;\n if(MAX_UINT / factor >= temp)\n {\n factor *= temp;\n value = numMax / factor;\n if(value > MAX_ERROR_BEFORE_DIV)\n {\n value = value.mul(numMin);\n temp = _den - 1;\n temp /= factor;\n temp = temp.add(1);\n value /= temp;\n return value;\n }\n }\n\n // formula: (a / (d / f)) * (b / f)\n // factor: b / sqrt(MAX)\n factor = numMin - 1;\n factor /= MAX_BEFORE_SQUARE;\n factor += 1;\n value = numMin / factor;\n temp = _den - 1;\n temp /= factor;\n temp += 1;\n temp = numMax / temp;\n value = value.mul(temp);\n return value;\n }\n\n /**\n * @notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n * @param _numA the first numerator term\n * @param _numB the second numerator term\n * @param _den the denominator\n * @return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed\n * @dev roundUp is implemented by first rounding down and then adding the max error to the result\n */\n function bigDiv2x1RoundUp(\n uint256 _numA,\n uint256 _numB,\n uint256 _den\n ) internal pure\n returns(uint256)\n {\n // first get the rounded down result\n uint256 value = bigDiv2x1(_numA, _numB, _den);\n\n if(value == 0)\n {\n // when the value rounds down to 0, assume up to an off by 1 error\n return 1;\n }\n\n // round down has a max error of MAX_ERROR, add that to the result\n // for a round up error of <= MAX_ERROR\n uint256 temp = value - 1;\n temp /= MAX_ERROR;\n temp += 1;\n if(MAX_UINT - value < temp)\n {\n // value + error would overflow, return MAX\n return MAX_UINT;\n }\n\n value += temp;\n\n return value;\n }\n\n /**\n * @notice Returns the approx result of `a * b / (c * d)` so long as the result is <= MAX_UINT\n * @param _numA the first numerator term\n * @param _numB the second numerator term\n * @param _denA the first denominator term\n * @param _denB the second denominator term\n * @return the approx result with up to off by 2 + MAX_ERROR*10 error, rounding down if needed\n * @dev this uses bigDiv2x1 and adds additional rounding error so the max error of this\n * formula is larger\n */\n function bigDiv2x2(\n uint256 _numA,\n uint256 _numB,\n uint256 _denA,\n uint256 _denB\n ) internal pure\n returns (uint256)\n {\n if(MAX_UINT / _denA >= _denB)\n {\n // denA*denB does not overflow, use bigDiv2x1 instead\n return bigDiv2x1(_numA, _numB, _denA * _denB);\n }\n\n if(_numA == 0 || _numB == 0)\n {\n // would div by 0 or underflow if we don't special case 0\n return 0;\n }\n\n // Sort denominators\n uint256 denMax = _denB;\n uint256 denMin = _denA;\n if(_denA > _denB)\n {\n denMax = _denA;\n denMin = _denB;\n }\n\n uint256 value;\n\n if(MAX_UINT / _numA >= _numB)\n {\n // a*b does not overflow, use `a / d / c`\n value = _numA * _numB;\n value /= denMin;\n value /= denMax;\n return value;\n }\n\n // `ab / cd` where both `ab` and `cd` would overflow\n\n // Sort numerators\n uint256 numMax = _numB;\n uint256 numMin = _numA;\n if(_numA > _numB)\n {\n numMax = _numA;\n numMin = _numB;\n }\n\n // formula = (a/d) * b / c\n uint256 temp = numMax / denMin;\n if(temp > MAX_ERROR_BEFORE_DIV)\n {\n return bigDiv2x1(temp, numMin, denMax);\n }\n\n // formula: ((a/f) * b) / d then either * f / c or / c * f\n // factor >= a / sqrt(MAX) * (b / sqrt(MAX))\n uint256 factor = numMin - 1;\n factor /= MAX_BEFORE_SQUARE;\n factor += 1;\n temp = numMax - 1;\n temp /= MAX_BEFORE_SQUARE;\n temp += 1;\n if(MAX_UINT / factor >= temp)\n {\n factor *= temp;\n\n value = numMax / factor;\n if(value > MAX_ERROR_BEFORE_DIV)\n {\n value = value.mul(numMin);\n value /= denMin;\n if(value > 0 && MAX_UINT / value >= factor)\n {\n value *= factor;\n value /= denMax;\n return value;\n }\n }\n }\n\n // formula: (a/f) * b / ((c*d)/f)\n // factor >= c / sqrt(MAX) * (d / sqrt(MAX))\n factor = denMin;\n factor /= MAX_BEFORE_SQUARE;\n temp = denMax;\n // + 1 here prevents overflow of factor*temp\n temp /= MAX_BEFORE_SQUARE + 1;\n factor *= temp;\n return bigDiv2x1(numMax / factor, numMin, MAX_UINT);\n }\n}", "sourcePath": "/home/circleci/repo/contracts/math/BigDiv.sol", "ast": { "absolutePath": "/home/circleci/repo/contracts/math/BigDiv.sol", "exportedSymbols": { "BigDiv": [ 1155 ] }, "id": 1156, "nodeType": "SourceUnit", "nodes": [ { "id": 620, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:4" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "id": 621, "nodeType": "ImportDirective", "scope": 1156, "sourceUnit": 2111, "src": "26:78:4", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title Reduces the size of terms before multiplication, to avoid an overflow, and then\nrestores the proper size after division.\n@notice This effectively allows us to overflow values in the numerator and/or denominator\nof a fraction, so long as the end result does not overflow as well.\n@dev Results may be off by 1 + 0.000001% for 2x1 calls and 2 + 0.00001% for 2x2 calls.\nDo not use if your contract expects very small result values to be accurate.", "fullyImplemented": true, "id": 1155, "linearizedBaseContracts": [ 1155 ], "name": "BigDiv", "nodeType": "ContractDefinition", "nodes": [ { "id": 624, "libraryName": { "contractScope": null, "id": 622, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2110, "src": "607:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$2110", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "601:27:4", "typeName": { "id": 623, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "620:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": true, "id": 631, "name": "MAX_UINT", "nodeType": "VariableDeclaration", "scope": 1155, "src": "669:46:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 625, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "669:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1", "typeString": "int_const 1157...(70 digits omitted)...9935" }, "id": 630, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639936_by_1", "typeString": "int_const 1157...(70 digits omitted)...9936" }, "id": 628, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 626, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "705:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323536", "id": 627, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "708:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "256" }, "src": "705:6:4", "typeDescriptions": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639936_by_1", "typeString": "int_const 1157...(70 digits omitted)...9936" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 629, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "714:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "705:10:4", "typeDescriptions": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1", "typeString": "int_const 1157...(70 digits omitted)...9935" } }, "visibility": "private" }, { "constant": true, "id": 638, "name": "MAX_BEFORE_SQUARE", "nodeType": "VariableDeclaration", "scope": 1155, "src": "799:55:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 632, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211455_by_1", "typeString": "int_const 3402...(31 digits omitted)...1455" }, "id": 637, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "id": 635, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 633, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "844:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "313238", "id": 634, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "847:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "844:6:4", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 636, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "853:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "844:10:4", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211455_by_1", "typeString": "int_const 3402...(31 digits omitted)...1455" } }, "visibility": "private" }, { "constant": true, "id": 641, "name": "MAX_ERROR", "nodeType": "VariableDeclaration", "scope": 1155, "src": "982:46:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 639, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "982:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "313030303030303030", "id": 640, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1019:9:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_100000000_by_1", "typeString": "int_const 100000000" }, "value": "100000000" }, "visibility": "private" }, { "constant": true, "id": 646, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "VariableDeclaration", "scope": 1155, "src": "1119:61:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 642, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1119:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 645, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 643, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "1167:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 644, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1179:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1167:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "private" }, { "body": { "id": 860, "nodeType": "Block", "src": "1612:1528:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 663, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 657, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1621:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 658, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1630:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1621:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 662, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 660, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1635:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 661, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1644:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1635:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1621:24:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 667, "nodeType": "IfStatement", "src": "1618:120:4", "trueBody": { "id": 666, "nodeType": "Block", "src": "1651:87:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 664, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1730:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 656, "id": 665, "nodeType": "Return", "src": "1723:8:4" } ] } }, { "assignments": [ 669 ], "declarations": [ { "constant": false, "id": 669, "name": "value", "nodeType": "VariableDeclaration", "scope": 860, "src": "1744:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 668, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1744:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 670, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1744:13:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 671, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "1767:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 672, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1778:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1767:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 674, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1787:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1767:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 689, "nodeType": "IfStatement", "src": "1764:161:4", "trueBody": { "id": 688, "nodeType": "Block", "src": "1798:127:4", "statements": [ { "expression": { "argumentTypes": null, "id": 680, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 676, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1856:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 679, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 677, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1864:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 678, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1872:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1864:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1856:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 681, "nodeType": "ExpressionStatement", "src": "1856:21:4" }, { "expression": { "argumentTypes": null, "id": 684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 682, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1885:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 683, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "1894:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1885:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 685, "nodeType": "ExpressionStatement", "src": "1885:13:4" }, { "expression": { "argumentTypes": null, "id": 686, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1913:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 687, "nodeType": "Return", "src": "1906:12:4" } ] } }, { "assignments": [ 691 ], "declarations": [ { "constant": false, "id": 691, "name": "numMax", "nodeType": "VariableDeclaration", "scope": 860, "src": "1954:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1954:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 693, "initialValue": { "argumentTypes": null, "id": 692, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1971:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1954:22:4" }, { "assignments": [ 695 ], "declarations": [ { "constant": false, "id": 695, "name": "numMin", "nodeType": "VariableDeclaration", "scope": 860, "src": "1982:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 694, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1982:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 697, "initialValue": { "argumentTypes": null, "id": 696, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1999:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1982:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 700, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 698, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "2013:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 699, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "2021:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2013:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 710, "nodeType": "IfStatement", "src": "2010:73:4", "trueBody": { "id": 709, "nodeType": "Block", "src": "2032:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 703, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 701, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2040:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 702, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "2049:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2040:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 704, "nodeType": "ExpressionStatement", "src": "2040:14:4" }, { "expression": { "argumentTypes": null, "id": 707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 705, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2062:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 706, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "2071:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2062:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 708, "nodeType": "ExpressionStatement", "src": "2062:14:4" } ] } }, { "expression": { "argumentTypes": null, "id": 715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 711, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2089:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 714, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 712, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2097:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 713, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "2106:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2097:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2089:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 716, "nodeType": "ExpressionStatement", "src": "2089:21:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 719, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 717, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2119:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 718, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "2127:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2119:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 730, "nodeType": "IfStatement", "src": "2116:155:4", "trueBody": { "id": 729, "nodeType": "Block", "src": "2142:129:4", "statements": [ { "expression": { "argumentTypes": null, "id": 725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 720, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2219:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 723, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2237:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 721, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2227:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 722, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "2227:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 724, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2227:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2219:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 726, "nodeType": "ExpressionStatement", "src": "2219:25:4" }, { "expression": { "argumentTypes": null, "id": 727, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2259:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 728, "nodeType": "Return", "src": "2252:12:4" } ] } }, { "assignments": [ 732 ], "declarations": [ { "constant": false, "id": 732, "name": "factor", "nodeType": "VariableDeclaration", "scope": 860, "src": "2367:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 731, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2367:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 736, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 735, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 733, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2384:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 734, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2393:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2384:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2367:27:4" }, { "expression": { "argumentTypes": null, "id": 739, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 737, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2400:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 738, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2410:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2400:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 740, "nodeType": "ExpressionStatement", "src": "2400:27:4" }, { "expression": { "argumentTypes": null, "id": 743, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 741, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2433:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 742, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2443:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2433:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 744, "nodeType": "ExpressionStatement", "src": "2433:11:4" }, { "assignments": [ 746 ], "declarations": [ { "constant": false, "id": 746, "name": "temp", "nodeType": "VariableDeclaration", "scope": 860, "src": "2450:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 745, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2450:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 750, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 747, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2465:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 748, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2474:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2465:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2450:25:4" }, { "expression": { "argumentTypes": null, "id": 753, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 751, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2481:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 752, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2489:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2481:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 754, "nodeType": "ExpressionStatement", "src": "2481:25:4" }, { "expression": { "argumentTypes": null, "id": 757, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 755, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2512:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 756, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2520:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2512:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 758, "nodeType": "ExpressionStatement", "src": "2512:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 763, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 759, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "2530:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 760, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2541:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2530:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 762, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2551:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2530:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 810, "nodeType": "IfStatement", "src": "2527:306:4", "trueBody": { "id": 809, "nodeType": "Block", "src": "2561:272:4", "statements": [ { "expression": { "argumentTypes": null, "id": 766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 764, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2569:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 765, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2579:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2569:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 767, "nodeType": "ExpressionStatement", "src": "2569:14:4" }, { "expression": { "argumentTypes": null, "id": 772, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 768, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2591:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 769, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2599:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 770, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2608:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2599:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2591:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 773, "nodeType": "ExpressionStatement", "src": "2591:23:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 774, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2625:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 775, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "2633:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2625:28:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 808, "nodeType": "IfStatement", "src": "2622:205:4", "trueBody": { "id": 807, "nodeType": "Block", "src": "2661:166:4", "statements": [ { "expression": { "argumentTypes": null, "id": 782, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 777, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2671:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 780, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2689:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 778, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2679:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 779, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "2679:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 781, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2679:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2671:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 783, "nodeType": "ExpressionStatement", "src": "2671:25:4" }, { "expression": { "argumentTypes": null, "id": 788, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 784, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2706:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 787, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 785, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "2713:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 786, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2720:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2713:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2706:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 789, "nodeType": "ExpressionStatement", "src": "2706:15:4" }, { "expression": { "argumentTypes": null, "id": 792, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 790, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2731:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 791, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2739:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2731:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 793, "nodeType": "ExpressionStatement", "src": "2731:14:4" }, { "expression": { "argumentTypes": null, "id": 799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 794, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2755:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 797, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2771:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "expression": { "argumentTypes": null, "id": 795, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2762:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 796, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 1950, "src": "2762:8:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 798, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2762:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2755:18:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 800, "nodeType": "ExpressionStatement", "src": "2755:18:4" }, { "expression": { "argumentTypes": null, "id": 803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 801, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2783:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 802, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2792:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2783:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 804, "nodeType": "ExpressionStatement", "src": "2783:13:4" }, { "expression": { "argumentTypes": null, "id": 805, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2813:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 806, "nodeType": "Return", "src": "2806:12:4" } ] } } ] } }, { "expression": { "argumentTypes": null, "id": 815, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 811, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2908:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 814, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 812, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2917:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 813, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2926:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2917:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2908:19:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 816, "nodeType": "ExpressionStatement", "src": "2908:19:4" }, { "expression": { "argumentTypes": null, "id": 819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 817, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2933:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 818, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2943:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2933:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 820, "nodeType": "ExpressionStatement", "src": "2933:27:4" }, { "expression": { "argumentTypes": null, "id": 823, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 821, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2966:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 822, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2976:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2966:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 824, "nodeType": "ExpressionStatement", "src": "2966:11:4" }, { "expression": { "argumentTypes": null, "id": 829, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 825, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2983:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 828, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 826, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2991:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 827, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "3000:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2991:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2983:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 830, "nodeType": "ExpressionStatement", "src": "2983:23:4" }, { "expression": { "argumentTypes": null, "id": 835, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 831, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3012:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 834, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 832, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "3019:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 833, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3026:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3019:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3012:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 836, "nodeType": "ExpressionStatement", "src": "3012:15:4" }, { "expression": { "argumentTypes": null, "id": 839, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 837, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3033:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 838, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "3041:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3033:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 840, "nodeType": "ExpressionStatement", "src": "3033:14:4" }, { "expression": { "argumentTypes": null, "id": 843, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 841, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3053:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 842, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3061:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3053:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 844, "nodeType": "ExpressionStatement", "src": "3053:9:4" }, { "expression": { "argumentTypes": null, "id": 849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 845, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3068:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 848, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 846, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "3075:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 847, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3084:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3075:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3068:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 850, "nodeType": "ExpressionStatement", "src": "3068:20:4" }, { "expression": { "argumentTypes": null, "id": 856, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 851, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3094:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 854, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3112:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 852, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3102:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 853, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "3102:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 855, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3102:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3094:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 857, "nodeType": "ExpressionStatement", "src": "3094:23:4" }, { "expression": { "argumentTypes": null, "id": 858, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3130:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 859, "nodeType": "Return", "src": "3123:12:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _den the denominator\n@return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed", "id": 861, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x1", "nodeType": "FunctionDefinition", "parameters": { "id": 653, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 648, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 861, "src": "1520:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 647, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1520:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 650, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 861, "src": "1539:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 649, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1539:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 652, "name": "_den", "nodeType": "VariableDeclaration", "scope": 861, "src": "1558:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 651, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1558:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1514:60:4" }, "returnParameters": { "id": 656, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 655, "name": "", "nodeType": "VariableDeclaration", "scope": 861, "src": "1601:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 654, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1601:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1600:9:4" }, "scope": 1155, "src": "1496:1644:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 916, "nodeType": "Block", "src": "3678:558:4", "statements": [ { "assignments": [ 873 ], "declarations": [ { "constant": false, "id": 873, "name": "value", "nodeType": "VariableDeclaration", "scope": 916, "src": "3725:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 872, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3725:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 879, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 875, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 863, "src": "3751:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 876, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 865, "src": "3758:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 877, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 867, "src": "3765:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 874, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "3741:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 878, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3741:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3725:45:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 882, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 880, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "3780:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 881, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3789:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3780:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 886, "nodeType": "IfStatement", "src": "3777:115:4", "trueBody": { "id": 885, "nodeType": "Block", "src": "3796:96:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "31", "id": 883, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3884:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "functionReturnParameters": 871, "id": 884, "nodeType": "Return", "src": "3877:8:4" } ] } }, { "assignments": [ 888 ], "declarations": [ { "constant": false, "id": 888, "name": "temp", "nodeType": "VariableDeclaration", "scope": 916, "src": "4013:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4013:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 892, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 891, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 889, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4028:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 890, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4036:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "4028:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4013:24:4" }, { "expression": { "argumentTypes": null, "id": 895, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 893, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4043:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 894, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "4051:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4043:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 896, "nodeType": "ExpressionStatement", "src": "4043:17:4" }, { "expression": { "argumentTypes": null, "id": 899, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 897, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4066:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4074:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "4066:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 900, "nodeType": "ExpressionStatement", "src": "4066:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 905, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 903, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 901, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4084:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 902, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4095:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4084:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 904, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4103:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4084:23:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 909, "nodeType": "IfStatement", "src": "4081:112:4", "trueBody": { "id": 908, "nodeType": "Block", "src": "4113:80:4", "statements": [ { "expression": { "argumentTypes": null, "id": 906, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4178:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 871, "id": 907, "nodeType": "Return", "src": "4171:15:4" } ] } }, { "expression": { "argumentTypes": null, "id": 912, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 910, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4199:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 911, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4208:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4199:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 913, "nodeType": "ExpressionStatement", "src": "4199:13:4" }, { "expression": { "argumentTypes": null, "id": 914, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4226:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 871, "id": 915, "nodeType": "Return", "src": "4219:12:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _den the denominator\n@return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed\n@dev roundUp is implemented by first rounding down and then adding the max error to the result", "id": 917, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x1RoundUp", "nodeType": "FunctionDefinition", "parameters": { "id": 868, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 863, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 917, "src": "3586:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 862, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3586:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 865, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 917, "src": "3605:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 864, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3605:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 867, "name": "_den", "nodeType": "VariableDeclaration", "scope": 917, "src": "3624:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 866, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3624:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3580:60:4" }, "returnParameters": { "id": 871, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 870, "name": "", "nodeType": "VariableDeclaration", "scope": 917, "src": "3667:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 869, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3667:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3666:9:4" }, "scope": 1155, "src": "3555:681:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1153, "nodeType": "Block", "src": "4874:1990:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 934, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 932, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 930, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4883:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 931, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "4894:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4883:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 933, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "4903:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4883:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 944, "nodeType": "IfStatement", "src": "4880:154:4", "trueBody": { "id": 943, "nodeType": "Block", "src": "4914:120:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 936, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "4999:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 937, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5006:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 938, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5013:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 939, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5021:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5013:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 935, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "4989:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 941, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4989:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 942, "nodeType": "Return", "src": "4982:45:4" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 951, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 947, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 945, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5043:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 946, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5052:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5043:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 950, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 948, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5057:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 949, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5066:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5057:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "5043:24:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 955, "nodeType": "IfStatement", "src": "5040:120:4", "trueBody": { "id": 954, "nodeType": "Block", "src": "5073:87:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 952, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5152:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 929, "id": 953, "nodeType": "Return", "src": "5145:8:4" } ] } }, { "assignments": [ 957 ], "declarations": [ { "constant": false, "id": 957, "name": "denMax", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5191:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 956, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5191:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 959, "initialValue": { "argumentTypes": null, "id": 958, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5208:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5191:22:4" }, { "assignments": [ 961 ], "declarations": [ { "constant": false, "id": 961, "name": "denMin", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5219:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 960, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5219:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 963, "initialValue": { "argumentTypes": null, "id": 962, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5236:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5219:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 966, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 964, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5250:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 965, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5258:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5250:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 976, "nodeType": "IfStatement", "src": "5247:73:4", "trueBody": { "id": 975, "nodeType": "Block", "src": "5269:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 969, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 967, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5277:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 968, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5286:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5277:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 970, "nodeType": "ExpressionStatement", "src": "5277:14:4" }, { "expression": { "argumentTypes": null, "id": 973, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 971, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5299:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 972, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5308:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5299:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 974, "nodeType": "ExpressionStatement", "src": "5299:14:4" } ] } }, { "assignments": [ 978 ], "declarations": [ { "constant": false, "id": 978, "name": "value", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5326:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 977, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5326:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 979, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "5326:13:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 982, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 980, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "5349:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 981, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5360:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5349:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 983, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5369:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5349:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1002, "nodeType": "IfStatement", "src": "5346:184:4", "trueBody": { "id": 1001, "nodeType": "Block", "src": "5380:150:4", "statements": [ { "expression": { "argumentTypes": null, "id": 989, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 985, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5436:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 986, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5444:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 987, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5452:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5444:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5436:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 990, "nodeType": "ExpressionStatement", "src": "5436:21:4" }, { "expression": { "argumentTypes": null, "id": 993, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 991, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5465:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 992, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5474:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5465:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 994, "nodeType": "ExpressionStatement", "src": "5465:15:4" }, { "expression": { "argumentTypes": null, "id": 997, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 995, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5488:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 996, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5497:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5488:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 998, "nodeType": "ExpressionStatement", "src": "5488:15:4" }, { "expression": { "argumentTypes": null, "id": 999, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5518:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1000, "nodeType": "Return", "src": "5511:12:4" } ] } }, { "assignments": [ 1004 ], "declarations": [ { "constant": false, "id": 1004, "name": "numMax", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5617:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1003, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5617:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1006, "initialValue": { "argumentTypes": null, "id": 1005, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5634:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5617:22:4" }, { "assignments": [ 1008 ], "declarations": [ { "constant": false, "id": 1008, "name": "numMin", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5645:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1007, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5645:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1010, "initialValue": { "argumentTypes": null, "id": 1009, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5662:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5645:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1011, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5676:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1012, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5684:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5676:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1023, "nodeType": "IfStatement", "src": "5673:73:4", "trueBody": { "id": 1022, "nodeType": "Block", "src": "5695:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1016, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1014, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "5703:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1015, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5712:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5703:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1017, "nodeType": "ExpressionStatement", "src": "5703:14:4" }, { "expression": { "argumentTypes": null, "id": 1020, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1018, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "5725:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1019, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5734:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5725:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1021, "nodeType": "ExpressionStatement", "src": "5725:14:4" } ] } }, { "assignments": [ 1025 ], "declarations": [ { "constant": false, "id": 1025, "name": "temp", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5783:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1024, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5783:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1029, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1028, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1026, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "5798:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1027, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5807:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5798:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5783:30:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1032, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1030, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "5822:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1031, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "5829:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5822:27:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1040, "nodeType": "IfStatement", "src": "5819:89:4", "trueBody": { "id": 1039, "nodeType": "Block", "src": "5855:53:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1034, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "5880:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1035, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "5886:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1036, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5894:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1033, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "5870:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1037, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5870:31:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1038, "nodeType": "Return", "src": "5863:38:4" } ] } }, { "assignments": [ 1042 ], "declarations": [ { "constant": false, "id": 1042, "name": "factor", "nodeType": "VariableDeclaration", "scope": 1153, "src": "6026:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1041, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6026:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1046, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1045, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1043, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6043:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1044, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6052:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6043:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "6026:27:4" }, { "expression": { "argumentTypes": null, "id": 1049, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1047, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6059:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1048, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6069:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6059:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1050, "nodeType": "ExpressionStatement", "src": "6059:27:4" }, { "expression": { "argumentTypes": null, "id": 1053, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1051, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6092:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6102:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6092:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1054, "nodeType": "ExpressionStatement", "src": "6092:11:4" }, { "expression": { "argumentTypes": null, "id": 1059, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1055, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6109:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1058, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1056, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6116:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1057, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6125:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6116:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6109:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1060, "nodeType": "ExpressionStatement", "src": "6109:17:4" }, { "expression": { "argumentTypes": null, "id": 1063, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1061, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6132:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1062, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6140:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6132:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1064, "nodeType": "ExpressionStatement", "src": "6132:25:4" }, { "expression": { "argumentTypes": null, "id": 1067, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1065, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6163:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6171:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6163:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1068, "nodeType": "ExpressionStatement", "src": "6163:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1071, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1069, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6181:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1070, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6192:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6181:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1072, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6202:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6181:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1122, "nodeType": "IfStatement", "src": "6178:360:4", "trueBody": { "id": 1121, "nodeType": "Block", "src": "6212:326:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1076, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1074, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6220:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1075, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6230:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6220:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1077, "nodeType": "ExpressionStatement", "src": "6220:14:4" }, { "expression": { "argumentTypes": null, "id": 1082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1078, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6243:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1079, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6251:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1080, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6260:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6251:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6243:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1083, "nodeType": "ExpressionStatement", "src": "6243:23:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1086, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1084, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6277:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1085, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "6285:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6277:28:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1120, "nodeType": "IfStatement", "src": "6274:258:4", "trueBody": { "id": 1119, "nodeType": "Block", "src": "6313:219:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1092, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1087, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6323:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1090, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6341:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1088, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6331:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "6331:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 1091, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6331:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6323:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1093, "nodeType": "ExpressionStatement", "src": "6323:25:4" }, { "expression": { "argumentTypes": null, "id": 1096, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1094, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6358:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1095, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "6367:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6358:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1097, "nodeType": "ExpressionStatement", "src": "6358:15:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1106, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1100, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1098, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6386:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1099, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6394:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6386:9:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1105, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1103, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1101, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6399:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1102, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6410:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6399:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1104, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6419:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6399:26:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "6386:39:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1118, "nodeType": "IfStatement", "src": "6383:141:4", "trueBody": { "id": 1117, "nodeType": "Block", "src": "6435:89:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1109, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1107, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6447:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1108, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6456:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6447:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1110, "nodeType": "ExpressionStatement", "src": "6447:15:4" }, { "expression": { "argumentTypes": null, "id": 1113, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1111, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6474:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1112, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "6483:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6474:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1114, "nodeType": "ExpressionStatement", "src": "6474:15:4" }, { "expression": { "argumentTypes": null, "id": 1115, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6508:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1116, "nodeType": "Return", "src": "6501:12:4" } ] } } ] } } ] } }, { "expression": { "argumentTypes": null, "id": 1125, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1123, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6631:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1124, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "6640:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6631:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1126, "nodeType": "ExpressionStatement", "src": "6631:15:4" }, { "expression": { "argumentTypes": null, "id": 1129, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1127, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6652:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1128, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6662:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6652:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1130, "nodeType": "ExpressionStatement", "src": "6652:27:4" }, { "expression": { "argumentTypes": null, "id": 1133, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1131, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6685:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1132, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "6692:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6685:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1134, "nodeType": "ExpressionStatement", "src": "6685:13:4" }, { "expression": { "argumentTypes": null, "id": 1139, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1135, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6753:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1138, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1136, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6761:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1137, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6781:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6761:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6753:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1140, "nodeType": "ExpressionStatement", "src": "6753:29:4" }, { "expression": { "argumentTypes": null, "id": 1143, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1141, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6788:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1142, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6798:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6788:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1144, "nodeType": "ExpressionStatement", "src": "6788:14:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1148, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1146, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6825:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1147, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6834:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6825:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1149, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6842:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1150, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6850:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1145, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "6815:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1151, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6815:44:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1152, "nodeType": "Return", "src": "6808:51:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / (c * d)` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _denA the first denominator term\n@param _denB the second denominator term\n@return the approx result with up to off by 2 + MAX_ERROR*10 error, rounding down if needed\n@dev this uses bigDiv2x1 and adds additional rounding error so the max error of this\nformula is larger", "id": 1154, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x2", "nodeType": "FunctionDefinition", "parameters": { "id": 926, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 919, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4761:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 918, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4761:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 921, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4780:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 920, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4780:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 923, "name": "_denA", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4799:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 922, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4799:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 925, "name": "_denB", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4818:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 924, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4818:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4755:80:4" }, "returnParameters": { "id": 929, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 928, "name": "", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4863:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 927, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4863:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4862:9:4" }, "scope": 1155, "src": "4737:2127:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 1156, "src": "582:6284:4" } ], "src": "0:6866:4" }, "legacyAST": { "absolutePath": "/home/circleci/repo/contracts/math/BigDiv.sol", "exportedSymbols": { "BigDiv": [ 1155 ] }, "id": 1156, "nodeType": "SourceUnit", "nodes": [ { "id": 620, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:4" }, { "absolutePath": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "file": "@openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol", "id": 621, "nodeType": "ImportDirective", "scope": 1156, "sourceUnit": 2111, "src": "26:78:4", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title Reduces the size of terms before multiplication, to avoid an overflow, and then\nrestores the proper size after division.\n@notice This effectively allows us to overflow values in the numerator and/or denominator\nof a fraction, so long as the end result does not overflow as well.\n@dev Results may be off by 1 + 0.000001% for 2x1 calls and 2 + 0.00001% for 2x2 calls.\nDo not use if your contract expects very small result values to be accurate.", "fullyImplemented": true, "id": 1155, "linearizedBaseContracts": [ 1155 ], "name": "BigDiv", "nodeType": "ContractDefinition", "nodes": [ { "id": 624, "libraryName": { "contractScope": null, "id": 622, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2110, "src": "607:8:4", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$2110", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "601:27:4", "typeName": { "id": 623, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "620:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": true, "id": 631, "name": "MAX_UINT", "nodeType": "VariableDeclaration", "scope": 1155, "src": "669:46:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 625, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "669:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1", "typeString": "int_const 1157...(70 digits omitted)...9935" }, "id": 630, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639936_by_1", "typeString": "int_const 1157...(70 digits omitted)...9936" }, "id": 628, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 626, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "705:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323536", "id": 627, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "708:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "256" }, "src": "705:6:4", "typeDescriptions": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639936_by_1", "typeString": "int_const 1157...(70 digits omitted)...9936" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 629, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "714:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "705:10:4", "typeDescriptions": { "typeIdentifier": "t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1", "typeString": "int_const 1157...(70 digits omitted)...9935" } }, "visibility": "private" }, { "constant": true, "id": 638, "name": "MAX_BEFORE_SQUARE", "nodeType": "VariableDeclaration", "scope": 1155, "src": "799:55:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 632, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211455_by_1", "typeString": "int_const 3402...(31 digits omitted)...1455" }, "id": 637, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "id": 635, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 633, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "844:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "313238", "id": 634, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "847:3:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "844:6:4", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 636, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "853:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "844:10:4", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211455_by_1", "typeString": "int_const 3402...(31 digits omitted)...1455" } }, "visibility": "private" }, { "constant": true, "id": 641, "name": "MAX_ERROR", "nodeType": "VariableDeclaration", "scope": 1155, "src": "982:46:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 639, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "982:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "313030303030303030", "id": 640, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1019:9:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_100000000_by_1", "typeString": "int_const 100000000" }, "value": "100000000" }, "visibility": "private" }, { "constant": true, "id": 646, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "VariableDeclaration", "scope": 1155, "src": "1119:61:4", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 642, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1119:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 645, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 643, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "1167:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 644, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1179:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1167:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "private" }, { "body": { "id": 860, "nodeType": "Block", "src": "1612:1528:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 663, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 657, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1621:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 658, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1630:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1621:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 662, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 660, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1635:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 661, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1644:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1635:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1621:24:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 667, "nodeType": "IfStatement", "src": "1618:120:4", "trueBody": { "id": 666, "nodeType": "Block", "src": "1651:87:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 664, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1730:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 656, "id": 665, "nodeType": "Return", "src": "1723:8:4" } ] } }, { "assignments": [ 669 ], "declarations": [ { "constant": false, "id": 669, "name": "value", "nodeType": "VariableDeclaration", "scope": 860, "src": "1744:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 668, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1744:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 670, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1744:13:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 671, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "1767:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 672, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1778:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1767:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 674, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1787:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1767:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 689, "nodeType": "IfStatement", "src": "1764:161:4", "trueBody": { "id": 688, "nodeType": "Block", "src": "1798:127:4", "statements": [ { "expression": { "argumentTypes": null, "id": 680, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 676, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1856:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 679, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 677, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1864:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 678, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1872:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1864:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1856:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 681, "nodeType": "ExpressionStatement", "src": "1856:21:4" }, { "expression": { "argumentTypes": null, "id": 684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 682, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1885:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 683, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "1894:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1885:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 685, "nodeType": "ExpressionStatement", "src": "1885:13:4" }, { "expression": { "argumentTypes": null, "id": 686, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "1913:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 687, "nodeType": "Return", "src": "1906:12:4" } ] } }, { "assignments": [ 691 ], "declarations": [ { "constant": false, "id": 691, "name": "numMax", "nodeType": "VariableDeclaration", "scope": 860, "src": "1954:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1954:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 693, "initialValue": { "argumentTypes": null, "id": 692, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "1971:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1954:22:4" }, { "assignments": [ 695 ], "declarations": [ { "constant": false, "id": 695, "name": "numMin", "nodeType": "VariableDeclaration", "scope": 860, "src": "1982:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 694, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1982:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 697, "initialValue": { "argumentTypes": null, "id": 696, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "1999:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1982:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 700, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 698, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "2013:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 699, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "2021:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2013:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 710, "nodeType": "IfStatement", "src": "2010:73:4", "trueBody": { "id": 709, "nodeType": "Block", "src": "2032:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 703, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 701, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2040:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 702, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 648, "src": "2049:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2040:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 704, "nodeType": "ExpressionStatement", "src": "2040:14:4" }, { "expression": { "argumentTypes": null, "id": 707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 705, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2062:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 706, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 650, "src": "2071:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2062:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 708, "nodeType": "ExpressionStatement", "src": "2062:14:4" } ] } }, { "expression": { "argumentTypes": null, "id": 715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 711, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2089:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 714, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 712, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2097:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 713, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "2106:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2097:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2089:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 716, "nodeType": "ExpressionStatement", "src": "2089:21:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 719, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 717, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2119:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 718, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "2127:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2119:17:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 730, "nodeType": "IfStatement", "src": "2116:155:4", "trueBody": { "id": 729, "nodeType": "Block", "src": "2142:129:4", "statements": [ { "expression": { "argumentTypes": null, "id": 725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 720, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2219:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 723, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2237:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 721, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2227:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 722, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "2227:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 724, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2227:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2219:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 726, "nodeType": "ExpressionStatement", "src": "2219:25:4" }, { "expression": { "argumentTypes": null, "id": 727, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2259:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 728, "nodeType": "Return", "src": "2252:12:4" } ] } }, { "assignments": [ 732 ], "declarations": [ { "constant": false, "id": 732, "name": "factor", "nodeType": "VariableDeclaration", "scope": 860, "src": "2367:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 731, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2367:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 736, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 735, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 733, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2384:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 734, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2393:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2384:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2367:27:4" }, { "expression": { "argumentTypes": null, "id": 739, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 737, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2400:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 738, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2410:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2400:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 740, "nodeType": "ExpressionStatement", "src": "2400:27:4" }, { "expression": { "argumentTypes": null, "id": 743, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 741, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2433:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 742, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2443:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2433:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 744, "nodeType": "ExpressionStatement", "src": "2433:11:4" }, { "assignments": [ 746 ], "declarations": [ { "constant": false, "id": 746, "name": "temp", "nodeType": "VariableDeclaration", "scope": 860, "src": "2450:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 745, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2450:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 750, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 747, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2465:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 748, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2474:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2465:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2450:25:4" }, { "expression": { "argumentTypes": null, "id": 753, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 751, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2481:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 752, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2489:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2481:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 754, "nodeType": "ExpressionStatement", "src": "2481:25:4" }, { "expression": { "argumentTypes": null, "id": 757, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 755, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2512:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 756, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2520:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2512:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 758, "nodeType": "ExpressionStatement", "src": "2512:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 763, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 759, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "2530:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 760, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2541:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2530:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 762, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2551:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2530:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 810, "nodeType": "IfStatement", "src": "2527:306:4", "trueBody": { "id": 809, "nodeType": "Block", "src": "2561:272:4", "statements": [ { "expression": { "argumentTypes": null, "id": 766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 764, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2569:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 765, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2579:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2569:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 767, "nodeType": "ExpressionStatement", "src": "2569:14:4" }, { "expression": { "argumentTypes": null, "id": 772, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 768, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2591:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 769, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "2599:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 770, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2608:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2599:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2591:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 773, "nodeType": "ExpressionStatement", "src": "2591:23:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 774, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2625:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 775, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "2633:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2625:28:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 808, "nodeType": "IfStatement", "src": "2622:205:4", "trueBody": { "id": 807, "nodeType": "Block", "src": "2661:166:4", "statements": [ { "expression": { "argumentTypes": null, "id": 782, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 777, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2671:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 780, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2689:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 778, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2679:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 779, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "2679:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 781, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2679:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2671:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 783, "nodeType": "ExpressionStatement", "src": "2671:25:4" }, { "expression": { "argumentTypes": null, "id": 788, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 784, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2706:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 787, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 785, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "2713:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 786, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2720:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2713:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2706:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 789, "nodeType": "ExpressionStatement", "src": "2706:15:4" }, { "expression": { "argumentTypes": null, "id": 792, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 790, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2731:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 791, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2739:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2731:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 793, "nodeType": "ExpressionStatement", "src": "2731:14:4" }, { "expression": { "argumentTypes": null, "id": 799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 794, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2755:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 797, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2771:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "expression": { "argumentTypes": null, "id": 795, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2762:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 796, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 1950, "src": "2762:8:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 798, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2762:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2755:18:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 800, "nodeType": "ExpressionStatement", "src": "2755:18:4" }, { "expression": { "argumentTypes": null, "id": 803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 801, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2783:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 802, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "2792:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2783:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 804, "nodeType": "ExpressionStatement", "src": "2783:13:4" }, { "expression": { "argumentTypes": null, "id": 805, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2813:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 806, "nodeType": "Return", "src": "2806:12:4" } ] } } ] } }, { "expression": { "argumentTypes": null, "id": 815, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 811, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2908:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 814, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 812, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2917:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 813, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2926:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2917:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2908:19:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 816, "nodeType": "ExpressionStatement", "src": "2908:19:4" }, { "expression": { "argumentTypes": null, "id": 819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 817, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2933:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 818, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "2943:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2933:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 820, "nodeType": "ExpressionStatement", "src": "2933:27:4" }, { "expression": { "argumentTypes": null, "id": 823, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 821, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "2966:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 822, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2976:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2966:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 824, "nodeType": "ExpressionStatement", "src": "2966:11:4" }, { "expression": { "argumentTypes": null, "id": 829, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 825, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "2983:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 828, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 826, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 695, "src": "2991:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 827, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "3000:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2991:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2983:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 830, "nodeType": "ExpressionStatement", "src": "2983:23:4" }, { "expression": { "argumentTypes": null, "id": 835, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 831, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3012:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 834, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 832, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 652, "src": "3019:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 833, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3026:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3019:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3012:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 836, "nodeType": "ExpressionStatement", "src": "3012:15:4" }, { "expression": { "argumentTypes": null, "id": 839, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 837, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3033:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 838, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 732, "src": "3041:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3033:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 840, "nodeType": "ExpressionStatement", "src": "3033:14:4" }, { "expression": { "argumentTypes": null, "id": 843, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 841, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3053:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 842, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3061:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3053:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 844, "nodeType": "ExpressionStatement", "src": "3053:9:4" }, { "expression": { "argumentTypes": null, "id": 849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 845, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3068:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 848, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 846, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 691, "src": "3075:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 847, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3084:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3075:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3068:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 850, "nodeType": "ExpressionStatement", "src": "3068:20:4" }, { "expression": { "argumentTypes": null, "id": 856, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 851, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3094:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 854, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 746, "src": "3112:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 852, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3102:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 853, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "3102:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 855, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3102:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3094:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 857, "nodeType": "ExpressionStatement", "src": "3094:23:4" }, { "expression": { "argumentTypes": null, "id": 858, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 669, "src": "3130:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 656, "id": 859, "nodeType": "Return", "src": "3123:12:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _den the denominator\n@return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed", "id": 861, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x1", "nodeType": "FunctionDefinition", "parameters": { "id": 653, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 648, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 861, "src": "1520:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 647, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1520:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 650, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 861, "src": "1539:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 649, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1539:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 652, "name": "_den", "nodeType": "VariableDeclaration", "scope": 861, "src": "1558:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 651, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1558:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1514:60:4" }, "returnParameters": { "id": 656, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 655, "name": "", "nodeType": "VariableDeclaration", "scope": 861, "src": "1601:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 654, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1601:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1600:9:4" }, "scope": 1155, "src": "1496:1644:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 916, "nodeType": "Block", "src": "3678:558:4", "statements": [ { "assignments": [ 873 ], "declarations": [ { "constant": false, "id": 873, "name": "value", "nodeType": "VariableDeclaration", "scope": 916, "src": "3725:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 872, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3725:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 879, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 875, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 863, "src": "3751:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 876, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 865, "src": "3758:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 877, "name": "_den", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 867, "src": "3765:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 874, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "3741:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 878, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3741:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3725:45:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 882, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 880, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "3780:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 881, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3789:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3780:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 886, "nodeType": "IfStatement", "src": "3777:115:4", "trueBody": { "id": 885, "nodeType": "Block", "src": "3796:96:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "31", "id": 883, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3884:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "functionReturnParameters": 871, "id": 884, "nodeType": "Return", "src": "3877:8:4" } ] } }, { "assignments": [ 888 ], "declarations": [ { "constant": false, "id": 888, "name": "temp", "nodeType": "VariableDeclaration", "scope": 916, "src": "4013:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4013:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 892, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 891, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 889, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4028:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 890, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4036:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "4028:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4013:24:4" }, { "expression": { "argumentTypes": null, "id": 895, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 893, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4043:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 894, "name": "MAX_ERROR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 641, "src": "4051:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4043:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 896, "nodeType": "ExpressionStatement", "src": "4043:17:4" }, { "expression": { "argumentTypes": null, "id": 899, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 897, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4066:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4074:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "4066:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 900, "nodeType": "ExpressionStatement", "src": "4066:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 905, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 903, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 901, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4084:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 902, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4095:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4084:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 904, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4103:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4084:23:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 909, "nodeType": "IfStatement", "src": "4081:112:4", "trueBody": { "id": 908, "nodeType": "Block", "src": "4113:80:4", "statements": [ { "expression": { "argumentTypes": null, "id": 906, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4178:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 871, "id": 907, "nodeType": "Return", "src": "4171:15:4" } ] } }, { "expression": { "argumentTypes": null, "id": 912, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 910, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4199:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 911, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 888, "src": "4208:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4199:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 913, "nodeType": "ExpressionStatement", "src": "4199:13:4" }, { "expression": { "argumentTypes": null, "id": 914, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 873, "src": "4226:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 871, "id": 915, "nodeType": "Return", "src": "4219:12:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / d` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _den the denominator\n@return the approx result with up to off by 1 + MAX_ERROR, rounding down if needed\n@dev roundUp is implemented by first rounding down and then adding the max error to the result", "id": 917, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x1RoundUp", "nodeType": "FunctionDefinition", "parameters": { "id": 868, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 863, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 917, "src": "3586:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 862, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3586:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 865, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 917, "src": "3605:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 864, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3605:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 867, "name": "_den", "nodeType": "VariableDeclaration", "scope": 917, "src": "3624:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 866, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3624:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3580:60:4" }, "returnParameters": { "id": 871, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 870, "name": "", "nodeType": "VariableDeclaration", "scope": 917, "src": "3667:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 869, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3667:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3666:9:4" }, "scope": 1155, "src": "3555:681:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1153, "nodeType": "Block", "src": "4874:1990:4", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 934, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 932, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 930, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "4883:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 931, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "4894:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4883:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 933, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "4903:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4883:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 944, "nodeType": "IfStatement", "src": "4880:154:4", "trueBody": { "id": 943, "nodeType": "Block", "src": "4914:120:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 936, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "4999:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 937, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5006:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 938, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5013:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 939, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5021:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5013:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 935, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "4989:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 941, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4989:38:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 942, "nodeType": "Return", "src": "4982:45:4" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 951, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 947, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 945, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5043:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 946, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5052:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5043:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 950, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 948, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5057:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 949, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5066:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5057:10:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "5043:24:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 955, "nodeType": "IfStatement", "src": "5040:120:4", "trueBody": { "id": 954, "nodeType": "Block", "src": "5073:87:4", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 952, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5152:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 929, "id": 953, "nodeType": "Return", "src": "5145:8:4" } ] } }, { "assignments": [ 957 ], "declarations": [ { "constant": false, "id": 957, "name": "denMax", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5191:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 956, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5191:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 959, "initialValue": { "argumentTypes": null, "id": 958, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5208:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5191:22:4" }, { "assignments": [ 961 ], "declarations": [ { "constant": false, "id": 961, "name": "denMin", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5219:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 960, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5219:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 963, "initialValue": { "argumentTypes": null, "id": 962, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5236:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5219:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 966, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 964, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5250:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 965, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5258:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5250:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 976, "nodeType": "IfStatement", "src": "5247:73:4", "trueBody": { "id": 975, "nodeType": "Block", "src": "5269:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 969, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 967, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5277:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 968, "name": "_denA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 923, "src": "5286:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5277:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 970, "nodeType": "ExpressionStatement", "src": "5277:14:4" }, { "expression": { "argumentTypes": null, "id": 973, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 971, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5299:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 972, "name": "_denB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 925, "src": "5308:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5299:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 974, "nodeType": "ExpressionStatement", "src": "5299:14:4" } ] } }, { "assignments": [ 978 ], "declarations": [ { "constant": false, "id": 978, "name": "value", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5326:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 977, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5326:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 979, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "5326:13:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 982, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 980, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "5349:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 981, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5360:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5349:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 983, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5369:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5349:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1002, "nodeType": "IfStatement", "src": "5346:184:4", "trueBody": { "id": 1001, "nodeType": "Block", "src": "5380:150:4", "statements": [ { "expression": { "argumentTypes": null, "id": 989, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 985, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5436:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 986, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5444:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 987, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5452:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5444:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5436:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 990, "nodeType": "ExpressionStatement", "src": "5436:21:4" }, { "expression": { "argumentTypes": null, "id": 993, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 991, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5465:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 992, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5474:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5465:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 994, "nodeType": "ExpressionStatement", "src": "5465:15:4" }, { "expression": { "argumentTypes": null, "id": 997, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 995, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5488:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 996, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5497:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5488:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 998, "nodeType": "ExpressionStatement", "src": "5488:15:4" }, { "expression": { "argumentTypes": null, "id": 999, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "5518:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1000, "nodeType": "Return", "src": "5511:12:4" } ] } }, { "assignments": [ 1004 ], "declarations": [ { "constant": false, "id": 1004, "name": "numMax", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5617:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1003, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5617:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1006, "initialValue": { "argumentTypes": null, "id": 1005, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5634:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5617:22:4" }, { "assignments": [ 1008 ], "declarations": [ { "constant": false, "id": 1008, "name": "numMin", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5645:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1007, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5645:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1010, "initialValue": { "argumentTypes": null, "id": 1009, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5662:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5645:22:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1011, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5676:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1012, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5684:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5676:13:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1023, "nodeType": "IfStatement", "src": "5673:73:4", "trueBody": { "id": 1022, "nodeType": "Block", "src": "5695:51:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1016, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1014, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "5703:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1015, "name": "_numA", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 919, "src": "5712:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5703:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1017, "nodeType": "ExpressionStatement", "src": "5703:14:4" }, { "expression": { "argumentTypes": null, "id": 1020, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1018, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "5725:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1019, "name": "_numB", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 921, "src": "5734:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5725:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1021, "nodeType": "ExpressionStatement", "src": "5725:14:4" } ] } }, { "assignments": [ 1025 ], "declarations": [ { "constant": false, "id": 1025, "name": "temp", "nodeType": "VariableDeclaration", "scope": 1153, "src": "5783:12:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1024, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5783:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1029, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1028, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1026, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "5798:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1027, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "5807:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5798:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "5783:30:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1032, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1030, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "5822:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1031, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "5829:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5822:27:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1040, "nodeType": "IfStatement", "src": "5819:89:4", "trueBody": { "id": 1039, "nodeType": "Block", "src": "5855:53:4", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1034, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "5880:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1035, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "5886:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1036, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "5894:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1033, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "5870:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1037, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5870:31:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1038, "nodeType": "Return", "src": "5863:38:4" } ] } }, { "assignments": [ 1042 ], "declarations": [ { "constant": false, "id": 1042, "name": "factor", "nodeType": "VariableDeclaration", "scope": 1153, "src": "6026:14:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1041, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6026:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1046, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1045, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1043, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6043:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1044, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6052:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6043:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "6026:27:4" }, { "expression": { "argumentTypes": null, "id": 1049, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1047, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6059:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1048, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6069:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6059:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1050, "nodeType": "ExpressionStatement", "src": "6059:27:4" }, { "expression": { "argumentTypes": null, "id": 1053, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1051, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6092:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6102:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6092:11:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1054, "nodeType": "ExpressionStatement", "src": "6092:11:4" }, { "expression": { "argumentTypes": null, "id": 1059, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1055, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6109:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1058, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1056, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6116:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1057, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6125:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6116:10:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6109:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1060, "nodeType": "ExpressionStatement", "src": "6109:17:4" }, { "expression": { "argumentTypes": null, "id": 1063, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1061, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6132:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1062, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6140:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6132:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1064, "nodeType": "ExpressionStatement", "src": "6132:25:4" }, { "expression": { "argumentTypes": null, "id": 1067, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1065, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6163:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 1066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6171:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6163:9:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1068, "nodeType": "ExpressionStatement", "src": "6163:9:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1071, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1069, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6181:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1070, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6192:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6181:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1072, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6202:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6181:25:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1122, "nodeType": "IfStatement", "src": "6178:360:4", "trueBody": { "id": 1121, "nodeType": "Block", "src": "6212:326:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1076, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1074, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6220:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1075, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6230:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6220:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1077, "nodeType": "ExpressionStatement", "src": "6220:14:4" }, { "expression": { "argumentTypes": null, "id": 1082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1078, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6243:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1079, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6251:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1080, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6260:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6251:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6243:23:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1083, "nodeType": "ExpressionStatement", "src": "6243:23:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1086, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1084, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6277:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 1085, "name": "MAX_ERROR_BEFORE_DIV", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 646, "src": "6285:20:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6277:28:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1120, "nodeType": "IfStatement", "src": "6274:258:4", "trueBody": { "id": 1119, "nodeType": "Block", "src": "6313:219:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1092, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1087, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6323:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1090, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6341:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 1088, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6331:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 2027, "src": "6331:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 1091, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6331:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6323:25:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1093, "nodeType": "ExpressionStatement", "src": "6323:25:4" }, { "expression": { "argumentTypes": null, "id": 1096, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1094, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6358:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1095, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "6367:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6358:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1097, "nodeType": "ExpressionStatement", "src": "6358:15:4" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1106, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1100, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1098, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6386:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1099, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6394:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6386:9:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1105, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1103, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1101, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6399:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1102, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6410:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6399:16:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1104, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6419:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6399:26:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "6386:39:4", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1118, "nodeType": "IfStatement", "src": "6383:141:4", "trueBody": { "id": 1117, "nodeType": "Block", "src": "6435:89:4", "statements": [ { "expression": { "argumentTypes": null, "id": 1109, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1107, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6447:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1108, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6456:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6447:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1110, "nodeType": "ExpressionStatement", "src": "6447:15:4" }, { "expression": { "argumentTypes": null, "id": 1113, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1111, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6474:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1112, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "6483:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6474:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1114, "nodeType": "ExpressionStatement", "src": "6474:15:4" }, { "expression": { "argumentTypes": null, "id": 1115, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 978, "src": "6508:5:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1116, "nodeType": "Return", "src": "6501:12:4" } ] } } ] } } ] } }, { "expression": { "argumentTypes": null, "id": 1125, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1123, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6631:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1124, "name": "denMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 961, "src": "6640:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6631:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1126, "nodeType": "ExpressionStatement", "src": "6631:15:4" }, { "expression": { "argumentTypes": null, "id": 1129, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1127, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6652:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 1128, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6662:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6652:27:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1130, "nodeType": "ExpressionStatement", "src": "6652:27:4" }, { "expression": { "argumentTypes": null, "id": 1133, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1131, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6685:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1132, "name": "denMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 957, "src": "6692:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6685:13:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1134, "nodeType": "ExpressionStatement", "src": "6685:13:4" }, { "expression": { "argumentTypes": null, "id": 1139, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1135, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6753:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1138, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1136, "name": "MAX_BEFORE_SQUARE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "6761:17:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1137, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6781:1:4", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "6761:21:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6753:29:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1140, "nodeType": "ExpressionStatement", "src": "6753:29:4" }, { "expression": { "argumentTypes": null, "id": 1143, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1141, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6788:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "id": 1142, "name": "temp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1025, "src": "6798:4:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6788:14:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1144, "nodeType": "ExpressionStatement", "src": "6788:14:4" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1148, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1146, "name": "numMax", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1004, "src": "6825:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1147, "name": "factor", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1042, "src": "6834:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6825:15:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1149, "name": "numMin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1008, "src": "6842:6:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 1150, "name": "MAX_UINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 631, "src": "6850:8:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1145, "name": "bigDiv2x1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 861, "src": "6815:9:4", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 1151, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6815:44:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 929, "id": 1152, "nodeType": "Return", "src": "6808:51:4" } ] }, "documentation": "@notice Returns the approx result of `a * b / (c * d)` so long as the result is <= MAX_UINT\n@param _numA the first numerator term\n@param _numB the second numerator term\n@param _denA the first denominator term\n@param _denB the second denominator term\n@return the approx result with up to off by 2 + MAX_ERROR*10 error, rounding down if needed\n@dev this uses bigDiv2x1 and adds additional rounding error so the max error of this\nformula is larger", "id": 1154, "implemented": true, "kind": "function", "modifiers": [], "name": "bigDiv2x2", "nodeType": "FunctionDefinition", "parameters": { "id": 926, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 919, "name": "_numA", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4761:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 918, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4761:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 921, "name": "_numB", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4780:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 920, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4780:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 923, "name": "_denA", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4799:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 922, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4799:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 925, "name": "_denB", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4818:13:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 924, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4818:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4755:80:4" }, "returnParameters": { "id": 929, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 928, "name": "", "nodeType": "VariableDeclaration", "scope": 1154, "src": "4863:7:4", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 927, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4863:7:4", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4862:9:4" }, "scope": 1155, "src": "4737:2127:4", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 1156, "src": "582:6284:4" } ], "src": "0:6866:4" }, "compiler": { "name": "solc", "version": "0.5.17+commit.d19bba13.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.23", "updatedAt": "2020-04-07T20:17:34.932Z", "devdoc": { "details": "Results may be off by 1 + 0.000001% for 2x1 calls and 2 + 0.00001% for 2x2 calls. Do not use if your contract expects very small result values to be accurate.", "methods": {}, "title": "Reduces the size of terms before multiplication, to avoid an overflow, and then restores the proper size after division." }, "userdoc": { "methods": {}, "notice": "This effectively allows us to overflow values in the numerator and/or denominator of a fraction, so long as the end result does not overflow as well." } }