@tokamak-network/thanos-contracts/forge-artifacts/FixedPointMathLib.sol/FixedPointMathLib.0.8.26.json

Contracts for Optimism Specs

{"abi":[],"bytecode":{"object":"0x602c6032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f80fdfea164736f6c634300081a000a","sourceMap":"234:15671:31:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;234:15671:31;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f80fdfea164736f6c634300081a000a","sourceMap":"234:15671:31:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.26+commit.8a97fa7a\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"author\":\"Solmate (https://github.com/Rari-Capital/solmate/blob/main/src/utils/FixedPointMathLib.sol)\",\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"Arithmetic library with operations for fixed-point numbers.\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"lib/solmate/src/utils/FixedPointMathLib.sol\":\"FixedPointMathLib\"},\"evmVersion\":\"cancun\",\"libraries\":{\"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker\":\"0x4200000000000000000000000000000000000776\"},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[\":@lib-keccak/=lib/lib-keccak/contracts/lib/\",\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/\",\":@rari-capital/solmate/=lib/solmate/\",\":@solady-test/=lib/lib-keccak/lib/solady/test/\",\":@solady/=lib/solady/src/\",\":automate/=lib/automate/contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":gelato/=lib/automate/contracts/\",\":hardhat/=lib/automate/node_modules/hardhat/\",\":kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/\",\":lib-keccak/=lib/lib-keccak/contracts/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/\",\":prb-test/=lib/automate/lib/prb-test/src/\",\":prb/-est/=lib/automate/lib/prb-test/src/\",\":safe-contracts/=lib/safe-contracts/contracts/\",\":solady/=lib/solady/\",\":solmate/=lib/solmate/src/\"]},\"sources\":{\"lib/solmate/src/utils/FixedPointMathLib.sol\":{\"keccak256\":\"0x622fcd8a49e132df5ec7651cc6ae3aaf0cf59bdcd67a9a804a1b9e2485113b7d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://af77088eb606427d4c55e578984a615779c86bc30646a20f7bb27299ba390f7c\",\"dweb:/ipfs/QmZGQdhdQDtHc7gZXWrKXgA3govc74X8U63BiWhPQK3mK8\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.26+commit.8a97fa7a"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@lib-keccak/=lib/lib-keccak/contracts/lib/","@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/","@rari-capital/solmate/=lib/solmate/","@solady-test/=lib/lib-keccak/lib/solady/test/","@solady/=lib/solady/src/","automate/=lib/automate/contracts/","ds-test/=lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","gelato/=lib/automate/contracts/","hardhat/=lib/automate/node_modules/hardhat/","kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/","lib-keccak/=lib/lib-keccak/contracts/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts/=lib/openzeppelin-contracts/","openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/","prb-test/=lib/automate/lib/prb-test/src/","prb/-est/=lib/automate/lib/prb-test/src/","safe-contracts/=lib/safe-contracts/contracts/","solady/=lib/solady/","solmate/=lib/solmate/src/"],"optimizer":{"enabled":true,"runs":999999},"metadata":{"bytecodeHash":"none"},"compilationTarget":{"lib/solmate/src/utils/FixedPointMathLib.sol":"FixedPointMathLib"},"evmVersion":"cancun","libraries":{"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker":"0x4200000000000000000000000000000000000776"}},"sources":{"lib/solmate/src/utils/FixedPointMathLib.sol":{"keccak256":"0x622fcd8a49e132df5ec7651cc6ae3aaf0cf59bdcd67a9a804a1b9e2485113b7d","urls":["bzz-raw://af77088eb606427d4c55e578984a615779c86bc30646a20f7bb27299ba390f7c","dweb:/ipfs/QmZGQdhdQDtHc7gZXWrKXgA3govc74X8U63BiWhPQK3mK8"],"license":"MIT"}},"version":1},"storageLayout":{"storage":[],"types":{}},"userdoc":{"version":1,"kind":"user","notice":"Arithmetic library with operations for fixed-point numbers."},"devdoc":{"version":1,"kind":"dev","author":"Solmate (https://github.com/Rari-Capital/solmate/blob/main/src/utils/FixedPointMathLib.sol)"},"ast":{"absolutePath":"lib/solmate/src/utils/FixedPointMathLib.sol","id":49258,"exportedSymbols":{"FixedPointMathLib":[49257]},"nodeType":"SourceUnit","src":"32:15874:31","nodes":[{"id":48680,"nodeType":"PragmaDirective","src":"32:24:31","nodes":[],"literals":["solidity",">=","0.8",".0"]},{"id":49257,"nodeType":"ContractDefinition","src":"234:15671:31","nodes":[{"id":48684,"nodeType":"VariableDeclaration","src":"459:36:31","nodes":[],"constant":true,"mutability":"constant","name":"WAD","nameLocation":"485:3:31","scope":49257,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48682,"name":"uint256","nodeType":"ElementaryTypeName","src":"459:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"value":{"hexValue":"31653138","id":48683,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"491:4:31","typeDescriptions":{"typeIdentifier":"t_rational_1000000000000000000_by_1","typeString":"int_const 1000000000000000000"},"value":"1e18"},"visibility":"internal"},{"id":48700,"nodeType":"FunctionDefinition","src":"540:164:31","nodes":[],"body":{"id":48699,"nodeType":"Block","src":"614:90:31","nodes":[],"statements":[{"expression":{"arguments":[{"id":48694,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48686,"src":"642:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48695,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48688,"src":"645:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48696,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48684,"src":"648:3:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":48693,"name":"mulDivDown","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":49205,"src":"631:10:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":48697,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"631:21:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":48692,"id":48698,"nodeType":"Return","src":"624:28:31"}]},"implemented":true,"kind":"function","modifiers":[],"name":"mulWadDown","nameLocation":"549:10:31","parameters":{"id":48689,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48686,"mutability":"mutable","name":"x","nameLocation":"568:1:31","nodeType":"VariableDeclaration","scope":48700,"src":"560:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48685,"name":"uint256","nodeType":"ElementaryTypeName","src":"560:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":48688,"mutability":"mutable","name":"y","nameLocation":"579:1:31","nodeType":"VariableDeclaration","scope":48700,"src":"571:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48687,"name":"uint256","nodeType":"ElementaryTypeName","src":"571:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"559:22:31"},"returnParameters":{"id":48692,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48691,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":48700,"src":"605:7:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48690,"name":"uint256","nodeType":"ElementaryTypeName","src":"605:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"604:9:31"},"scope":49257,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":48716,"nodeType":"FunctionDefinition","src":"710:158:31","nodes":[],"body":{"id":48715,"nodeType":"Block","src":"782:86:31","nodes":[],"statements":[{"expression":{"arguments":[{"id":48710,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48702,"src":"808:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48711,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48704,"src":"811:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48712,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48684,"src":"814:3:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":48709,"name":"mulDivUp","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":49218,"src":"799:8:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":48713,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"799:19:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":48708,"id":48714,"nodeType":"Return","src":"792:26:31"}]},"implemented":true,"kind":"function","modifiers":[],"name":"mulWadUp","nameLocation":"719:8:31","parameters":{"id":48705,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48702,"mutability":"mutable","name":"x","nameLocation":"736:1:31","nodeType":"VariableDeclaration","scope":48716,"src":"728:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48701,"name":"uint256","nodeType":"ElementaryTypeName","src":"728:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":48704,"mutability":"mutable","name":"y","nameLocation":"747:1:31","nodeType":"VariableDeclaration","scope":48716,"src":"739:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48703,"name":"uint256","nodeType":"ElementaryTypeName","src":"739:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"727:22:31"},"returnParameters":{"id":48708,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48707,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":48716,"src":"773:7:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48706,"name":"uint256","nodeType":"ElementaryTypeName","src":"773:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"772:9:31"},"scope":49257,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":48732,"nodeType":"FunctionDefinition","src":"874:164:31","nodes":[],"body":{"id":48731,"nodeType":"Block","src":"948:90:31","nodes":[],"statements":[{"expression":{"arguments":[{"id":48726,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48718,"src":"976:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48727,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48684,"src":"979:3:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48728,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48720,"src":"984:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":48725,"name":"mulDivDown","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":49205,"src":"965:10:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":48729,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"965:21:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":48724,"id":48730,"nodeType":"Return","src":"958:28:31"}]},"implemented":true,"kind":"function","modifiers":[],"name":"divWadDown","nameLocation":"883:10:31","parameters":{"id":48721,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48718,"mutability":"mutable","name":"x","nameLocation":"902:1:31","nodeType":"VariableDeclaration","scope":48732,"src":"894:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48717,"name":"uint256","nodeType":"ElementaryTypeName","src":"894:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":48720,"mutability":"mutable","name":"y","nameLocation":"913:1:31","nodeType":"VariableDeclaration","scope":48732,"src":"905:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48719,"name":"uint256","nodeType":"ElementaryTypeName","src":"905:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"893:22:31"},"returnParameters":{"id":48724,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48723,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":48732,"src":"939:7:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48722,"name":"uint256","nodeType":"ElementaryTypeName","src":"939:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"938:9:31"},"scope":49257,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":48748,"nodeType":"FunctionDefinition","src":"1044:158:31","nodes":[],"body":{"id":48747,"nodeType":"Block","src":"1116:86:31","nodes":[],"statements":[{"expression":{"arguments":[{"id":48742,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48734,"src":"1142:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48743,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48684,"src":"1145:3:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":48744,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48736,"src":"1150:1:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":48741,"name":"mulDivUp","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":49218,"src":"1133:8:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":48745,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"1133:19:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":48740,"id":48746,"nodeType":"Return","src":"1126:26:31"}]},"implemented":true,"kind":"function","modifiers":[],"name":"divWadUp","nameLocation":"1053:8:31","parameters":{"id":48737,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48734,"mutability":"mutable","name":"x","nameLocation":"1070:1:31","nodeType":"VariableDeclaration","scope":48748,"src":"1062:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48733,"name":"uint256","nodeType":"ElementaryTypeName","src":"1062:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":48736,"mutability":"mutable","name":"y","nameLocation":"1081:1:31","nodeType":"VariableDeclaration","scope":48748,"src":"1073:9:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48735,"name":"uint256","nodeType":"ElementaryTypeName","src":"1073:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1061:22:31"},"returnParameters":{"id":48740,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48739,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":48748,"src":"1107:7:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":48738,"name":"uint256","nodeType":"ElementaryTypeName","src":"1107:7:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1106:9:31"},"scope":49257,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":48772,"nodeType":"FunctionDefinition","src":"1208:273:31","nodes":[],"body":{"id":48771,"nodeType":"Block","src":"1275:206:31","nodes":[],"statements":[{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48768,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48762,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"arguments":[{"id":48759,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48750,"src":"1405:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_int256","typeString":"int256"}],"id":48758,"name":"lnWad","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":49192,"src":"1399:5:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_int256_$returns$_t_int256_$","typeString":"function (int256) pure returns (int256)"}},"id":48760,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"1399:8:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":48761,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48752,"src":"1410:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"1399:12:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48763,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"1398:14:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"arguments":[{"id":48766,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48684,"src":"1422:3:31","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":48765,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"1415:6:31","typeDescriptions":{"typeIdentifier":"t_type$_t_int256_$","typeString":"type(int256)"},"typeName":{"id":48764,"name":"int256","nodeType":"ElementaryTypeName","src":"1415:6:31","typeDescriptions":{}}},"id":48767,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"1415:11:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"1398:28:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_int256","typeString":"int256"}],"id":48757,"name":"expWad","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48967,"src":"1391:6:31","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_int256_$returns$_t_int256_$","typeString":"function (int256) pure returns (int256)"}},"id":48769,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"1391:36:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"functionReturnParameters":48756,"id":48770,"nodeType":"Return","src":"1384:43:31"}]},"implemented":true,"kind":"function","modifiers":[],"name":"powWad","nameLocation":"1217:6:31","parameters":{"id":48753,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48750,"mutability":"mutable","name":"x","nameLocation":"1231:1:31","nodeType":"VariableDeclaration","scope":48772,"src":"1224:8:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48749,"name":"int256","nodeType":"ElementaryTypeName","src":"1224:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"},{"constant":false,"id":48752,"mutability":"mutable","name":"y","nameLocation":"1241:1:31","nodeType":"VariableDeclaration","scope":48772,"src":"1234:8:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48751,"name":"int256","nodeType":"ElementaryTypeName","src":"1234:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"src":"1223:20:31"},"returnParameters":{"id":48756,"nodeType":"ParameterList","parameters":[{"constant":false,"id":48755,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":48772,"src":"1267:6:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48754,"name":"int256","nodeType":"ElementaryTypeName","src":"1267:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"src":"1266:8:31"},"scope":49257,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":48967,"nodeType":"FunctionDefinition","src":"1487:3103:31","nodes":[],"body":{"id":48966,"nodeType":"Block","src":"1546:3044:31","nodes":[],"statements":[{"id":48965,"nodeType":"UncheckedBlock","src":"1556:3028:31","statements":[{"condition":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48782,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48779,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"1713:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<=","rightExpression":{"id":48781,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"UnaryOperation","operator":"-","prefix":true,"src":"1718:21:31","subExpression":{"hexValue":"3432313339363738383534343532373637353531","id":48780,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1719:20:31","typeDescriptions":{"typeIdentifier":"t_rational_42139678854452767551_by_1","typeString":"int_const 42139678854452767551"},"value":"42139678854452767551"},"typeDescriptions":{"typeIdentifier":"t_rational_minus_42139678854452767551_by_1","typeString":"int_const -42139678854452767551"}},"src":"1713:26:31","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":48785,"nodeType":"IfStatement","src":"1709:40:31","trueBody":{"expression":{"hexValue":"30","id":48783,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1748:1:31","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"functionReturnParameters":48778,"id":48784,"nodeType":"Return","src":"1741:8:31"}},{"condition":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48788,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48786,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"1943:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">=","rightExpression":{"hexValue":"313335333035393939333638383933323331353839","id":48787,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1948:21:31","typeDescriptions":{"typeIdentifier":"t_rational_135305999368893231589_by_1","typeString":"int_const 135305999368893231589"},"value":"135305999368893231589"},"src":"1943:26:31","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":48793,"nodeType":"IfStatement","src":"1939:54:31","trueBody":{"expression":{"arguments":[{"hexValue":"4558505f4f564552464c4f57","id":48790,"isConstant":false,"isLValue":false,"isPure":true,"kind":"string","lValueRequested":false,"nodeType":"Literal","src":"1978:14:31","typeDescriptions":{"typeIdentifier":"t_stringliteral_f364785e6e651288224d2623ec5f083c58c85325644496b3d02635790697d3c7","typeString":"literal_string \"EXP_OVERFLOW\""},"value":"EXP_OVERFLOW"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_stringliteral_f364785e6e651288224d2623ec5f083c58c85325644496b3d02635790697d3c7","typeString":"literal_string \"EXP_OVERFLOW\""}],"id":48789,"name":"revert","nodeType":"Identifier","overloadedDeclarations":[-19,-19],"referencedDeclaration":-19,"src":"1971:6:31","typeDescriptions":{"typeIdentifier":"t_function_revert_pure$_t_string_memory_ptr_$returns$__$","typeString":"function (string memory) pure"}},"id":48791,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"1971:22:31","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":48792,"nodeType":"ExpressionStatement","src":"1971:22:31"}},{"expression":{"id":48803,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":48794,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2250:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48802,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48797,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48795,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2255:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<<","rightExpression":{"hexValue":"3738","id":48796,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2260:2:31","typeDescriptions":{"typeIdentifier":"t_rational_78_by_1","typeString":"int_const 78"},"value":"78"},"src":"2255:7:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48798,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2254:9:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"commonType":{"typeIdentifier":"t_rational_3814697265625_by_1","typeString":"int_const 3814697265625"},"id":48801,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"hexValue":"35","id":48799,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2266:1:31","typeDescriptions":{"typeIdentifier":"t_rational_5_by_1","typeString":"int_const 5"},"value":"5"},"nodeType":"BinaryOperation","operator":"**","rightExpression":{"hexValue":"3138","id":48800,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2269:2:31","typeDescriptions":{"typeIdentifier":"t_rational_18_by_1","typeString":"int_const 18"},"value":"18"},"src":"2266:5:31","typeDescriptions":{"typeIdentifier":"t_rational_3814697265625_by_1","typeString":"int_const 3814697265625"}},"src":"2254:17:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2250:21:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":48804,"nodeType":"ExpressionStatement","src":"2250:21:31"},{"assignments":[48806],"declarations":[{"constant":false,"id":48806,"mutability":"mutable","name":"k","nameLocation":"2542:1:31","nodeType":"VariableDeclaration","scope":48965,"src":"2535:8:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48805,"name":"int256","nodeType":"ElementaryTypeName","src":"2535:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":48820,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48819,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48816,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48812,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48809,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48807,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2548:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<<","rightExpression":{"hexValue":"3936","id":48808,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2553:2:31","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2548:7:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48810,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2547:9:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"hexValue":"3534393136373737343637373037343733333531313431343731313238","id":48811,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2559:29:31","typeDescriptions":{"typeIdentifier":"t_rational_54916777467707473351141471128_by_1","typeString":"int_const 54916777467707473351141471128"},"value":"54916777467707473351141471128"},"src":"2547:41:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"commonType":{"typeIdentifier":"t_rational_39614081257132168796771975168_by_1","typeString":"int_const 39614081257132168796771975168"},"id":48815,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"hexValue":"32","id":48813,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2591:1:31","typeDescriptions":{"typeIdentifier":"t_rational_2_by_1","typeString":"int_const 2"},"value":"2"},"nodeType":"BinaryOperation","operator":"**","rightExpression":{"hexValue":"3935","id":48814,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2594:2:31","typeDescriptions":{"typeIdentifier":"t_rational_95_by_1","typeString":"int_const 95"},"value":"95"},"src":"2591:5:31","typeDescriptions":{"typeIdentifier":"t_rational_39614081257132168796771975168_by_1","typeString":"int_const 39614081257132168796771975168"}},"src":"2547:49:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48817,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2546:51:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":48818,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2601:2:31","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2546:57:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2535:68:31"},{"expression":{"id":48827,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":48821,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2617:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48826,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48822,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2621:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48825,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48823,"name":"k","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48806,"src":"2625:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"hexValue":"3534393136373737343637373037343733333531313431343731313238","id":48824,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2629:29:31","typeDescriptions":{"typeIdentifier":"t_rational_54916777467707473351141471128_by_1","typeString":"int_const 54916777467707473351141471128"},"value":"54916777467707473351141471128"},"src":"2625:33:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2621:37:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2617:41:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":48828,"nodeType":"ExpressionStatement","src":"2617:41:31"},{"assignments":[48830],"declarations":[{"constant":false,"id":48830,"mutability":"mutable","name":"y","nameLocation":"2866:1:31","nodeType":"VariableDeclaration","scope":48965,"src":"2859:8:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48829,"name":"int256","nodeType":"ElementaryTypeName","src":"2859:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":48834,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48833,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48831,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2870:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"31333436333836363136353435373936343738393230393530373733333238","id":48832,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2874:31:31","typeDescriptions":{"typeIdentifier":"t_rational_1346386616545796478920950773328_by_1","typeString":"int_const 1346386616545796478920950773328"},"value":"1346386616545796478920950773328"},"src":"2870:35:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2859:46:31"},{"expression":{"id":48845,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":48835,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48830,"src":"2919:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48844,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48841,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48838,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48836,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48830,"src":"2925:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":48837,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"2929:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2925:5:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48839,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2924:7:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":48840,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2935:2:31","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2924:13:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48842,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2923:15:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"3537313535343231323237353532333531303832323234333039373538343432","id":48843,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2941:32:31","typeDescriptions":{"typeIdentifier":"t_rational_57155421227552351082224309758442_by_1","typeString":"int_const 57155421227552351082224309758442"},"value":"57155421227552351082224309758442"},"src":"2923:50:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2919:54:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":48846,"nodeType":"ExpressionStatement","src":"2919:54:31"},{"assignments":[48848],"declarations":[{"constant":false,"id":48848,"mutability":"mutable","name":"p","nameLocation":"2994:1:31","nodeType":"VariableDeclaration","scope":48965,"src":"2987:8:31","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":48847,"name":"int256","nodeType":"ElementaryTypeName","src":"2987:6:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":48854,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48853,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48851,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48849,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48830,"src":"2998:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"id":48850,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"3002:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2998:5:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"hexValue":"3934323031353439313934353530343932323534333536303432353034383132","id":48852,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3006:32:31","typeDescriptions":{"typeIdentifier":"t_rational_94201549194550492254356042504812_by_1","typeString":"int_const 94201549194550492254356042504812"},"value":"94201549194550492254356042504812"},"src":"2998:40:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2987:51:31"},{"expression":{"id":48865,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":48855,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48848,"src":"3052:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48864,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48861,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48858,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48856,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48848,"src":"3058:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":48857,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48830,"src":"3062:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3058:5:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48859,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"3057:7:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":48860,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3068:2:31","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"3057:13:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":48862,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"3056:15:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"3238373139303231363434303239373236313533393536393434363830343132323430","id":48863,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3074:35:31","typeDescriptions":{"typeIdentifier":"t_rational_28719021644029726153956944680412240_by_1","typeString":"int_const 2871...(27 digits omitted)...2240"},"value":"28719021644029726153956944680412240"},"src":"3056:53:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3052:57:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":48866,"nodeType":"ExpressionStatement","src":"3052:57:31"},{"expression":{"id":48876,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":48867,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48848,"src":"3123:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48875,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":48870,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":48868,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48848,"src":"3127:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":48869,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":48774,"src":"3131:1:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3127:5:31","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"components":[{"commonType":{"typeIdentifier":"t_rational_347437083999162433888837515002539729507623920905942392673140736_by_1","typeString":"int_const 3474...(55 digi