{ "contractName": "Babylonian", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.6+commit.6c089d02\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"moonwalkerswap-libraries/contracts/libraries/Babylonian.sol\":\"Babylonian\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"moonwalkerswap-libraries/contracts/libraries/Babylonian.sol\":{\"keccak256\":\"0xeb1c2a281a00f4660775f75ccfa1e51fbe1d75f86aeb9d0d297151ecdb900177\",\"urls\":[\"bzz-raw://68515f0265381bddfb1d1356ea10ce4e5784276fc09f197fcdcedfa5c75cc069\",\"dweb:/ipfs/QmXWVVPnuJwRUAu3Qpu1s7Fyc5WPQxmZPczVEe5cJ5wVHZ\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122022dddec4b294ba520f9e34a3fc929703d07d5b4c7a42bcb8858f959f822f79d464736f6c63430006060033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122022dddec4b294ba520f9e34a3fc929703d07d5b4c7a42bcb8858f959f822f79d464736f6c63430006060033", "immutableReferences": {}, "sourceMap": "210:1371:18:-:0;;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": "210:1371:18:-:0;;;;;;12:1:-1;9;2:12", "source": "// SPDX-License-Identifier: GPL-3.0-or-later\n\npragma solidity >=0.4.0;\n\n// computes square roots using the babylonian method\n// https://en.wikipedia.org/wiki/Methods_of_computing_square_roots#Babylonian_method\nlibrary Babylonian {\n // credit for this implementation goes to\n // https://github.com/abdk-consulting/abdk-libraries-solidity/blob/master/ABDKMath64x64.sol#L687\n function sqrt(uint256 x) internal pure returns (uint256) {\n if (x == 0) return 0;\n // this block is equivalent to r = uint256(1) << (BitMath.mostSignificantBit(x) / 2);\n // however that code costs significantly more gas\n uint256 xx = x;\n uint256 r = 1;\n if (xx >= 0x100000000000000000000000000000000) {\n xx >>= 128;\n r <<= 64;\n }\n if (xx >= 0x10000000000000000) {\n xx >>= 64;\n r <<= 32;\n }\n if (xx >= 0x100000000) {\n xx >>= 32;\n r <<= 16;\n }\n if (xx >= 0x10000) {\n xx >>= 16;\n r <<= 8;\n }\n if (xx >= 0x100) {\n xx >>= 8;\n r <<= 4;\n }\n if (xx >= 0x10) {\n xx >>= 4;\n r <<= 2;\n }\n if (xx >= 0x8) {\n r <<= 1;\n }\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1;\n r = (r + x / r) >> 1; // Seven iterations should be enough\n uint256 r1 = x / r;\n return (r < r1 ? r : r1);\n }\n}\n", "sourcePath": "moonwalkerswap-libraries/contracts/libraries/Babylonian.sol", "ast": { "absolutePath": "moonwalkerswap-libraries/contracts/libraries/Babylonian.sol", "exportedSymbols": { "Babylonian": [ 6951 ] }, "id": 6952, "nodeType": "SourceUnit", "nodes": [ { "id": 6750, "literals": [ "solidity", ">=", "0.4", ".0" ], "nodeType": "PragmaDirective", "src": "46:24:18" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 6951, "linearizedBaseContracts": [ 6951 ], "name": "Babylonian", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 6949, "nodeType": "Block", "src": "439:1140:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6759, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6757, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "453:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 6758, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "458:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "453:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6762, "nodeType": "IfStatement", "src": "449:20:18", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 6760, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "468:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 6756, "id": 6761, "nodeType": "Return", "src": "461:8:18" } }, { "assignments": [ 6764 ], "declarations": [ { "constant": false, "id": 6764, "mutability": "mutable", "name": "xx", "nodeType": "VariableDeclaration", "overrides": null, "scope": 6949, "src": "631:10:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6763, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "631:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6766, "initialValue": { "argumentTypes": null, "id": 6765, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "644:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "631:14:18" }, { "assignments": [ 6768 ], "declarations": [ { "constant": false, "id": 6768, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "overrides": null, "scope": 6949, "src": "655:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6767, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "655:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6770, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 6769, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "667:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "655:13:18" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6773, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6771, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "682:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030303030303030303030303030303030303030303030303030303030303030", "id": 6772, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "688:35:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "value": "0x100000000000000000000000000000000" }, "src": "682:41:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6783, "nodeType": "IfStatement", "src": "678:104:18", "trueBody": { "id": 6782, "nodeType": "Block", "src": "725:57:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6774, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "739:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "313238", "id": 6775, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "746:3:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "739:10:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6777, "nodeType": "ExpressionStatement", "src": "739:10:18" }, { "expression": { "argumentTypes": null, "id": 6780, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6778, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "763:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "3634", "id": 6779, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "769:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "763:8:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6781, "nodeType": "ExpressionStatement", "src": "763:8:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6786, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6784, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "795:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130303030303030303030303030303030", "id": 6785, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "801:19:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x10000000000000000" }, "src": "795:25:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6796, "nodeType": "IfStatement", "src": "791:87:18", "trueBody": { "id": 6795, "nodeType": "Block", "src": "822:56:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6789, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6787, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "836:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3634", "id": 6788, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "843:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "836:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6790, "nodeType": "ExpressionStatement", "src": "836:9:18" }, { "expression": { "argumentTypes": null, "id": 6793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6791, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "859:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "3332", "id": 6792, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "865:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "859:8:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6794, "nodeType": "ExpressionStatement", "src": "859:8:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6797, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "891:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030303030303030", "id": 6798, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "897:11:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4294967296_by_1", "typeString": "int_const 4294967296" }, "value": "0x100000000" }, "src": "891:17:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6809, "nodeType": "IfStatement", "src": "887:79:18", "trueBody": { "id": 6808, "nodeType": "Block", "src": "910:56:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6802, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6800, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "924:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3332", "id": 6801, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "931:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "924:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6803, "nodeType": "ExpressionStatement", "src": "924:9:18" }, { "expression": { "argumentTypes": null, "id": 6806, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6804, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "947:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "3136", "id": 6805, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "953:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "947:8:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6807, "nodeType": "ExpressionStatement", "src": "947:8:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6812, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6810, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "979:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130303030", "id": 6811, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "985:7:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_65536_by_1", "typeString": "int_const 65536" }, "value": "0x10000" }, "src": "979:13:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6822, "nodeType": "IfStatement", "src": "975:74:18", "trueBody": { "id": 6821, "nodeType": "Block", "src": "994:55:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6815, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6813, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1008:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3136", "id": 6814, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "1008:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6816, "nodeType": "ExpressionStatement", "src": "1008:9:18" }, { "expression": { "argumentTypes": null, "id": 6819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6817, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1031:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "38", "id": 6818, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1037:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "1031:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6820, "nodeType": "ExpressionStatement", "src": "1031:7:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6825, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6823, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1062:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030", "id": 6824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1068:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "0x100" }, "src": "1062:11:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6835, "nodeType": "IfStatement", "src": "1058:71:18", "trueBody": { "id": 6834, "nodeType": "Block", "src": "1075:54:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6828, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6826, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1089:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "38", "id": 6827, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1096:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "1089:8:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6829, "nodeType": "ExpressionStatement", "src": "1089:8:18" }, { "expression": { "argumentTypes": null, "id": 6832, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6830, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1111:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "34", "id": 6831, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1117:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "1111:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6833, "nodeType": "ExpressionStatement", "src": "1111:7:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6836, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1142:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130", "id": 6837, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1148:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "0x10" }, "src": "1142:10:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6848, "nodeType": "IfStatement", "src": "1138:70:18", "trueBody": { "id": 6847, "nodeType": "Block", "src": "1154:54:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6839, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1168:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "34", "id": 6840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1175:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "1168:8:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6842, "nodeType": "ExpressionStatement", "src": "1168:8:18" }, { "expression": { "argumentTypes": null, "id": 6845, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6843, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1190:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "32", "id": 6844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1196:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1190:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6846, "nodeType": "ExpressionStatement", "src": "1190:7:18" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6851, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6849, "name": "xx", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6764, "src": "1221:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "307838", "id": 6850, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1227:3:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "0x8" }, "src": "1221:9:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 6857, "nodeType": "IfStatement", "src": "1217:47:18", "trueBody": { "id": 6856, "nodeType": "Block", "src": "1232:32:18", "statements": [ { "expression": { "argumentTypes": null, "id": 6854, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6852, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1246:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "<<=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 6853, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1252:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1246:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6855, "nodeType": "ExpressionStatement", "src": "1246:7:18" } ] } }, { "expression": { "argumentTypes": null, "id": 6867, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6858, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1273:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6866, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6863, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6859, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1278:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6862, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6860, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1282:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6861, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1286:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1282:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1278:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6864, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1277:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6865, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1292:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1277:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1273:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6868, "nodeType": "ExpressionStatement", "src": "1273:20:18" }, { "expression": { "argumentTypes": null, "id": 6878, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6869, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1303:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6877, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6874, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6870, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1308:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6873, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6871, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1312:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6872, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1316:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1312:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1308:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6875, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1307:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6876, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1322:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1307:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1303:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6879, "nodeType": "ExpressionStatement", "src": "1303:20:18" }, { "expression": { "argumentTypes": null, "id": 6889, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6880, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1333:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6888, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6885, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6881, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1338:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6882, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1342:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6883, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1346:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1342:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1338:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6886, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1337:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6887, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1352:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1337:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1333:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6890, "nodeType": "ExpressionStatement", "src": "1333:20:18" }, { "expression": { "argumentTypes": null, "id": 6900, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6891, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1363:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6899, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6896, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6892, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1368:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6895, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6893, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1372:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6894, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1376:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1372:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1368:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6897, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1367:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1382:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1367:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1363:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6901, "nodeType": "ExpressionStatement", "src": "1363:20:18" }, { "expression": { "argumentTypes": null, "id": 6911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6902, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1393:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6910, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6907, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6903, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1398:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6906, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6904, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1402:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6905, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1406:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1402:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6908, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1397:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6909, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1412:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1397:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1393:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6912, "nodeType": "ExpressionStatement", "src": "1393:20:18" }, { "expression": { "argumentTypes": null, "id": 6922, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6913, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1423:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6921, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6914, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1428:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6917, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6915, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1432:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6916, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1436:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1432:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1428:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6919, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1427:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6920, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1442:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1427:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1423:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6923, "nodeType": "ExpressionStatement", "src": "1423:20:18" }, { "expression": { "argumentTypes": null, "id": 6933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 6924, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1453:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6932, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6929, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6925, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1458:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6928, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6926, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1462:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6927, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1466:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1462:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1458:9:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6930, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1457:11:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">>", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 6931, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1472:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1457:16:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1453:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6934, "nodeType": "ExpressionStatement", "src": "1453:20:18" }, { "assignments": [ 6936 ], "declarations": [ { "constant": false, "id": 6936, "mutability": "mutable", "name": "r1", "nodeType": "VariableDeclaration", "overrides": null, "scope": 6949, "src": "1520:10:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6935, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1520:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6940, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6939, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6937, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6752, "src": "1533:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6938, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1537:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1533:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1520:18:18" }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6943, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6941, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1556:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 6942, "name": "r1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6936, "src": "1560:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1556:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 6945, "name": "r1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6936, "src": "1569:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 6946, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "1556:15:18", "trueExpression": { "argumentTypes": null, "id": 6944, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6768, "src": "1565:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6947, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1555:17:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6756, "id": 6948, "nodeType": "Return", "src": "1548:24:18" } ] }, "documentation": null, "id": 6950, "implemented": true, "kind": "function", "modifiers": [], "name": "sqrt", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 6753, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6752, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 6950, "src": "396:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6751, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "396:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "395:11:18" }, "returnParameters": { "id": 6756, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6755, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 6950, "src": "430:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6754, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "430:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "429:9:18" }, "scope": 6951, "src": "382:1197:18", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 6952, "src": "210:1371:18" } ], "src": "46:1536:18" }, "legacyAST": { "attributes": { "absolutePath": "moonwalkerswap-libraries/contracts/libraries/Babylonian.sol", "exportedSymbols": { "Babylonian": [ 6951 ] } }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.4", ".0" ] }, "id": 6750, "name": "PragmaDirective", "src": "46:24:18" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 6951 ], "name": "Babylonian", "scope": 6952 }, "children": [ { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sqrt", "overrides": null, "scope": 6951, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 6950, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6751, "name": "ElementaryTypeName", "src": "396:7:18" } ], "id": 6752, "name": "VariableDeclaration", "src": "396:9:18" } ], "id": 6753, "name": "ParameterList", "src": "395:11:18" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 6950, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6754, "name": "ElementaryTypeName", "src": "430:7:18" } ], "id": 6755, "name": "VariableDeclaration", "src": "430:7:18" } ], "id": 6756, "name": "ParameterList", "src": "429:9:18" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6757, "name": "Identifier", "src": "453:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 6758, "name": "Literal", "src": "458:1:18" } ], "id": 6759, "name": "BinaryOperation", "src": "453:6:18" }, { "attributes": { "functionReturnParameters": 6756 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 6760, "name": "Literal", "src": "468:1:18" } ], "id": 6761, "name": "Return", "src": "461:8:18" } ], "id": 6762, "name": "IfStatement", "src": "449:20:18" }, { "attributes": { "assignments": [ 6764 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "xx", "overrides": null, "scope": 6949, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6763, "name": "ElementaryTypeName", "src": "631:7:18" } ], "id": 6764, "name": "VariableDeclaration", "src": "631:10:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6765, "name": "Identifier", "src": "644:1:18" } ], "id": 6766, "name": "VariableDeclarationStatement", "src": "631:14:18" }, { "attributes": { "assignments": [ 6768 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "overrides": null, "scope": 6949, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6767, "name": "ElementaryTypeName", "src": "655:7:18" } ], "id": 6768, "name": "VariableDeclaration", "src": "655:9:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6769, "name": "Literal", "src": "667:1:18" } ], "id": 6770, "name": "VariableDeclarationStatement", "src": "655:13:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6771, "name": "Identifier", "src": "682:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030303030303030303030303030303030303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 3402...(31 digits omitted)...1456", "value": "0x100000000000000000000000000000000" }, "id": 6772, "name": "Literal", "src": "688:35:18" } ], "id": 6773, "name": "BinaryOperation", "src": "682:41:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6774, "name": "Identifier", "src": "739:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 128", "value": "128" }, "id": 6775, "name": "Literal", "src": "746:3:18" } ], "id": 6776, "name": "Assignment", "src": "739:10:18" } ], "id": 6777, "name": "ExpressionStatement", "src": "739:10:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6778, "name": "Identifier", "src": "763:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 64", "value": "64" }, "id": 6779, "name": "Literal", "src": "769:2:18" } ], "id": 6780, "name": "Assignment", "src": "763:8:18" } ], "id": 6781, "name": "ExpressionStatement", "src": "763:8:18" } ], "id": 6782, "name": "Block", "src": "725:57:18" } ], "id": 6783, "name": "IfStatement", "src": "678:104:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6784, "name": "Identifier", "src": "795:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 18446744073709551616", "value": "0x10000000000000000" }, "id": 6785, "name": "Literal", "src": "801:19:18" } ], "id": 6786, "name": "BinaryOperation", "src": "795:25:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6787, "name": "Identifier", "src": "836:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 64", "value": "64" }, "id": 6788, "name": "Literal", "src": "843:2:18" } ], "id": 6789, "name": "Assignment", "src": "836:9:18" } ], "id": 6790, "name": "ExpressionStatement", "src": "836:9:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6791, "name": "Identifier", "src": "859:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 32", "value": "32" }, "id": 6792, "name": "Literal", "src": "865:2:18" } ], "id": 6793, "name": "Assignment", "src": "859:8:18" } ], "id": 6794, "name": "ExpressionStatement", "src": "859:8:18" } ], "id": 6795, "name": "Block", "src": "822:56:18" } ], "id": 6796, "name": "IfStatement", "src": "791:87:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6797, "name": "Identifier", "src": "891:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4294967296", "value": "0x100000000" }, "id": 6798, "name": "Literal", "src": "897:11:18" } ], "id": 6799, "name": "BinaryOperation", "src": "891:17:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6800, "name": "Identifier", "src": "924:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 32", "value": "32" }, "id": 6801, "name": "Literal", "src": "931:2:18" } ], "id": 6802, "name": "Assignment", "src": "924:9:18" } ], "id": 6803, "name": "ExpressionStatement", "src": "924:9:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6804, "name": "Identifier", "src": "947:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "16" }, "id": 6805, "name": "Literal", "src": "953:2:18" } ], "id": 6806, "name": "Assignment", "src": "947:8:18" } ], "id": 6807, "name": "ExpressionStatement", "src": "947:8:18" } ], "id": 6808, "name": "Block", "src": "910:56:18" } ], "id": 6809, "name": "IfStatement", "src": "887:79:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6810, "name": "Identifier", "src": "979:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 65536", "value": "0x10000" }, "id": 6811, "name": "Literal", "src": "985:7:18" } ], "id": 6812, "name": "BinaryOperation", "src": "979:13:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6813, "name": "Identifier", "src": "1008:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "16" }, "id": 6814, "name": "Literal", "src": "1015:2:18" } ], "id": 6815, "name": "Assignment", "src": "1008:9:18" } ], "id": 6816, "name": "ExpressionStatement", "src": "1008:9:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6817, "name": "Identifier", "src": "1031:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 8", "value": "8" }, "id": 6818, "name": "Literal", "src": "1037:1:18" } ], "id": 6819, "name": "Assignment", "src": "1031:7:18" } ], "id": 6820, "name": "ExpressionStatement", "src": "1031:7:18" } ], "id": 6821, "name": "Block", "src": "994:55:18" } ], "id": 6822, "name": "IfStatement", "src": "975:74:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6823, "name": "Identifier", "src": "1062:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 256", "value": "0x100" }, "id": 6824, "name": "Literal", "src": "1068:5:18" } ], "id": 6825, "name": "BinaryOperation", "src": "1062:11:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6826, "name": "Identifier", "src": "1089:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 8", "value": "8" }, "id": 6827, "name": "Literal", "src": "1096:1:18" } ], "id": 6828, "name": "Assignment", "src": "1089:8:18" } ], "id": 6829, "name": "ExpressionStatement", "src": "1089:8:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6830, "name": "Identifier", "src": "1111:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4", "value": "4" }, "id": 6831, "name": "Literal", "src": "1117:1:18" } ], "id": 6832, "name": "Assignment", "src": "1111:7:18" } ], "id": 6833, "name": "ExpressionStatement", "src": "1111:7:18" } ], "id": 6834, "name": "Block", "src": "1075:54:18" } ], "id": 6835, "name": "IfStatement", "src": "1058:71:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6836, "name": "Identifier", "src": "1142:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "0x10" }, "id": 6837, "name": "Literal", "src": "1148:4:18" } ], "id": 6838, "name": "BinaryOperation", "src": "1142:10:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6839, "name": "Identifier", "src": "1168:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4", "value": "4" }, "id": 6840, "name": "Literal", "src": "1175:1:18" } ], "id": 6841, "name": "Assignment", "src": "1168:8:18" } ], "id": 6842, "name": "ExpressionStatement", "src": "1168:8:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6843, "name": "Identifier", "src": "1190:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 6844, "name": "Literal", "src": "1196:1:18" } ], "id": 6845, "name": "Assignment", "src": "1190:7:18" } ], "id": 6846, "name": "ExpressionStatement", "src": "1190:7:18" } ], "id": 6847, "name": "Block", "src": "1154:54:18" } ], "id": 6848, "name": "IfStatement", "src": "1138:70:18" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6764, "type": "uint256", "value": "xx" }, "id": 6849, "name": "Identifier", "src": "1221:2:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "307838", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 8", "value": "0x8" }, "id": 6850, "name": "Literal", "src": "1227:3:18" } ], "id": 6851, "name": "BinaryOperation", "src": "1221:9:18" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<<=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6852, "name": "Identifier", "src": "1246:1:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6853, "name": "Literal", "src": "1252:1:18" } ], "id": 6854, "name": "Assignment", "src": "1246:7:18" } ], "id": 6855, "name": "ExpressionStatement", "src": "1246:7:18" } ], "id": 6856, "name": "Block", "src": "1232:32:18" } ], "id": 6857, "name": "IfStatement", "src": "1217:47:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6858, "name": "Identifier", "src": "1273:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6859, "name": "Identifier", "src": "1278:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6860, "name": "Identifier", "src": "1282:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6861, "name": "Identifier", "src": "1286:1:18" } ], "id": 6862, "name": "BinaryOperation", "src": "1282:5:18" } ], "id": 6863, "name": "BinaryOperation", "src": "1278:9:18" } ], "id": 6864, "name": "TupleExpression", "src": "1277:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6865, "name": "Literal", "src": "1292:1:18" } ], "id": 6866, "name": "BinaryOperation", "src": "1277:16:18" } ], "id": 6867, "name": "Assignment", "src": "1273:20:18" } ], "id": 6868, "name": "ExpressionStatement", "src": "1273:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6869, "name": "Identifier", "src": "1303:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6870, "name": "Identifier", "src": "1308:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6871, "name": "Identifier", "src": "1312:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6872, "name": "Identifier", "src": "1316:1:18" } ], "id": 6873, "name": "BinaryOperation", "src": "1312:5:18" } ], "id": 6874, "name": "BinaryOperation", "src": "1308:9:18" } ], "id": 6875, "name": "TupleExpression", "src": "1307:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6876, "name": "Literal", "src": "1322:1:18" } ], "id": 6877, "name": "BinaryOperation", "src": "1307:16:18" } ], "id": 6878, "name": "Assignment", "src": "1303:20:18" } ], "id": 6879, "name": "ExpressionStatement", "src": "1303:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6880, "name": "Identifier", "src": "1333:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6881, "name": "Identifier", "src": "1338:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6882, "name": "Identifier", "src": "1342:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6883, "name": "Identifier", "src": "1346:1:18" } ], "id": 6884, "name": "BinaryOperation", "src": "1342:5:18" } ], "id": 6885, "name": "BinaryOperation", "src": "1338:9:18" } ], "id": 6886, "name": "TupleExpression", "src": "1337:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6887, "name": "Literal", "src": "1352:1:18" } ], "id": 6888, "name": "BinaryOperation", "src": "1337:16:18" } ], "id": 6889, "name": "Assignment", "src": "1333:20:18" } ], "id": 6890, "name": "ExpressionStatement", "src": "1333:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6891, "name": "Identifier", "src": "1363:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6892, "name": "Identifier", "src": "1368:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6893, "name": "Identifier", "src": "1372:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6894, "name": "Identifier", "src": "1376:1:18" } ], "id": 6895, "name": "BinaryOperation", "src": "1372:5:18" } ], "id": 6896, "name": "BinaryOperation", "src": "1368:9:18" } ], "id": 6897, "name": "TupleExpression", "src": "1367:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6898, "name": "Literal", "src": "1382:1:18" } ], "id": 6899, "name": "BinaryOperation", "src": "1367:16:18" } ], "id": 6900, "name": "Assignment", "src": "1363:20:18" } ], "id": 6901, "name": "ExpressionStatement", "src": "1363:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6902, "name": "Identifier", "src": "1393:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6903, "name": "Identifier", "src": "1398:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6904, "name": "Identifier", "src": "1402:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6905, "name": "Identifier", "src": "1406:1:18" } ], "id": 6906, "name": "BinaryOperation", "src": "1402:5:18" } ], "id": 6907, "name": "BinaryOperation", "src": "1398:9:18" } ], "id": 6908, "name": "TupleExpression", "src": "1397:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6909, "name": "Literal", "src": "1412:1:18" } ], "id": 6910, "name": "BinaryOperation", "src": "1397:16:18" } ], "id": 6911, "name": "Assignment", "src": "1393:20:18" } ], "id": 6912, "name": "ExpressionStatement", "src": "1393:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6913, "name": "Identifier", "src": "1423:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6914, "name": "Identifier", "src": "1428:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6915, "name": "Identifier", "src": "1432:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6916, "name": "Identifier", "src": "1436:1:18" } ], "id": 6917, "name": "BinaryOperation", "src": "1432:5:18" } ], "id": 6918, "name": "BinaryOperation", "src": "1428:9:18" } ], "id": 6919, "name": "TupleExpression", "src": "1427:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6920, "name": "Literal", "src": "1442:1:18" } ], "id": 6921, "name": "BinaryOperation", "src": "1427:16:18" } ], "id": 6922, "name": "Assignment", "src": "1423:20:18" } ], "id": 6923, "name": "ExpressionStatement", "src": "1423:20:18" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6924, "name": "Identifier", "src": "1453:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6925, "name": "Identifier", "src": "1458:1:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6926, "name": "Identifier", "src": "1462:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6927, "name": "Identifier", "src": "1466:1:18" } ], "id": 6928, "name": "BinaryOperation", "src": "1462:5:18" } ], "id": 6929, "name": "BinaryOperation", "src": "1458:9:18" } ], "id": 6930, "name": "TupleExpression", "src": "1457:11:18" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 6931, "name": "Literal", "src": "1472:1:18" } ], "id": 6932, "name": "BinaryOperation", "src": "1457:16:18" } ], "id": 6933, "name": "Assignment", "src": "1453:20:18" } ], "id": 6934, "name": "ExpressionStatement", "src": "1453:20:18" }, { "attributes": { "assignments": [ 6936 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r1", "overrides": null, "scope": 6949, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6935, "name": "ElementaryTypeName", "src": "1520:7:18" } ], "id": 6936, "name": "VariableDeclaration", "src": "1520:10:18" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6752, "type": "uint256", "value": "x" }, "id": 6937, "name": "Identifier", "src": "1533:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6938, "name": "Identifier", "src": "1537:1:18" } ], "id": 6939, "name": "BinaryOperation", "src": "1533:5:18" } ], "id": 6940, "name": "VariableDeclarationStatement", "src": "1520:18:18" }, { "attributes": { "functionReturnParameters": 6756 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6941, "name": "Identifier", "src": "1556:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6936, "type": "uint256", "value": "r1" }, "id": 6942, "name": "Identifier", "src": "1560:2:18" } ], "id": 6943, "name": "BinaryOperation", "src": "1556:6:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6768, "type": "uint256", "value": "r" }, "id": 6944, "name": "Identifier", "src": "1565:1:18" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 6936, "type": "uint256", "value": "r1" }, "id": 6945, "name": "Identifier", "src": "1569:2:18" } ], "id": 6946, "name": "Conditional", "src": "1556:15:18" } ], "id": 6947, "name": "TupleExpression", "src": "1555:17:18" } ], "id": 6948, "name": "Return", "src": "1548:24:18" } ], "id": 6949, "name": "Block", "src": "439:1140:18" } ], "id": 6950, "name": "FunctionDefinition", "src": "382:1197:18" } ], "id": 6951, "name": "ContractDefinition", "src": "210:1371:18" } ], "id": 6952, "name": "SourceUnit", "src": "46:1536:18" }, "compiler": { "name": "solc", "version": "0.6.6+commit.6c089d02.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2022-01-17T23:40:22.231Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }