@tokamak-network/thanos-contracts
Version:
1 lines • 196 kB
JSON
{"abi":[],"bytecode":{"object":"0x602d6037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"234:15671:113:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;234:15671:113;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"234:15671:113:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.15+commit.e14f2714\"},\"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\":\"london\",\"libraries\":{\"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker\":\"0x4200000000000000000000000000000000000776\"},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[\":@lib-keccak/=lib/lib-keccak/contracts/lib/\",\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/\",\":@rari-capital/solmate/=lib/solmate/\",\":@solady-test/=lib/lib-keccak/lib/solady/test/\",\":@solady/=lib/solady/src/\",\":automate/=lib/automate/contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":gelato/=lib/automate/contracts/\",\":hardhat/=lib/automate/node_modules/hardhat/\",\":kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/\",\":lib-keccak/=lib/lib-keccak/contracts/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/\",\":prb-test/=lib/automate/lib/prb-test/src/\",\":prb/-est/=lib/automate/lib/prb-test/src/\",\":safe-contracts/=lib/safe-contracts/contracts/\",\":solady/=lib/solady/\",\":solmate/=lib/solmate/src/\"]},\"sources\":{\"lib/solmate/src/utils/FixedPointMathLib.sol\":{\"keccak256\":\"0x622fcd8a49e132df5ec7651cc6ae3aaf0cf59bdcd67a9a804a1b9e2485113b7d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://af77088eb606427d4c55e578984a615779c86bc30646a20f7bb27299ba390f7c\",\"dweb:/ipfs/QmZGQdhdQDtHc7gZXWrKXgA3govc74X8U63BiWhPQK3mK8\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.15+commit.e14f2714"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@lib-keccak/=lib/lib-keccak/contracts/lib/","@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/","@rari-capital/solmate/=lib/solmate/","@solady-test/=lib/lib-keccak/lib/solady/test/","@solady/=lib/solady/src/","automate/=lib/automate/contracts/","ds-test/=lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","gelato/=lib/automate/contracts/","hardhat/=lib/automate/node_modules/hardhat/","kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/","lib-keccak/=lib/lib-keccak/contracts/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts/=lib/openzeppelin-contracts/","openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/","prb-test/=lib/automate/lib/prb-test/src/","prb/-est/=lib/automate/lib/prb-test/src/","safe-contracts/=lib/safe-contracts/contracts/","solady/=lib/solady/","solmate/=lib/solmate/src/"],"optimizer":{"enabled":true,"runs":999999},"metadata":{"bytecodeHash":"none"},"compilationTarget":{"lib/solmate/src/utils/FixedPointMathLib.sol":"FixedPointMathLib"},"evmVersion":"london","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":66372,"exportedSymbols":{"FixedPointMathLib":[66371]},"nodeType":"SourceUnit","src":"32:15874:113","nodes":[{"id":65794,"nodeType":"PragmaDirective","src":"32:24:113","nodes":[],"literals":["solidity",">=","0.8",".0"]},{"id":66371,"nodeType":"ContractDefinition","src":"234:15671:113","nodes":[{"id":65798,"nodeType":"VariableDeclaration","src":"459:36:113","nodes":[],"constant":true,"mutability":"constant","name":"WAD","nameLocation":"485:3:113","scope":66371,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65796,"name":"uint256","nodeType":"ElementaryTypeName","src":"459:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"value":{"hexValue":"31653138","id":65797,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"491:4:113","typeDescriptions":{"typeIdentifier":"t_rational_1000000000000000000_by_1","typeString":"int_const 1000000000000000000"},"value":"1e18"},"visibility":"internal"},{"id":65814,"nodeType":"FunctionDefinition","src":"540:164:113","nodes":[],"body":{"id":65813,"nodeType":"Block","src":"614:90:113","nodes":[],"statements":[{"expression":{"arguments":[{"id":65808,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65800,"src":"642:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65809,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65802,"src":"645:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65810,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65798,"src":"648:3:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":65807,"name":"mulDivDown","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66319,"src":"631:10:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":65811,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"631:21:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":65806,"id":65812,"nodeType":"Return","src":"624:28:113"}]},"implemented":true,"kind":"function","modifiers":[],"name":"mulWadDown","nameLocation":"549:10:113","parameters":{"id":65803,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65800,"mutability":"mutable","name":"x","nameLocation":"568:1:113","nodeType":"VariableDeclaration","scope":65814,"src":"560:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65799,"name":"uint256","nodeType":"ElementaryTypeName","src":"560:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":65802,"mutability":"mutable","name":"y","nameLocation":"579:1:113","nodeType":"VariableDeclaration","scope":65814,"src":"571:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65801,"name":"uint256","nodeType":"ElementaryTypeName","src":"571:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"559:22:113"},"returnParameters":{"id":65806,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65805,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":65814,"src":"605:7:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65804,"name":"uint256","nodeType":"ElementaryTypeName","src":"605:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"604:9:113"},"scope":66371,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":65830,"nodeType":"FunctionDefinition","src":"710:158:113","nodes":[],"body":{"id":65829,"nodeType":"Block","src":"782:86:113","nodes":[],"statements":[{"expression":{"arguments":[{"id":65824,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65816,"src":"808:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65825,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65818,"src":"811:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65826,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65798,"src":"814:3:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":65823,"name":"mulDivUp","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66332,"src":"799:8:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":65827,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"799:19:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":65822,"id":65828,"nodeType":"Return","src":"792:26:113"}]},"implemented":true,"kind":"function","modifiers":[],"name":"mulWadUp","nameLocation":"719:8:113","parameters":{"id":65819,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65816,"mutability":"mutable","name":"x","nameLocation":"736:1:113","nodeType":"VariableDeclaration","scope":65830,"src":"728:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65815,"name":"uint256","nodeType":"ElementaryTypeName","src":"728:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":65818,"mutability":"mutable","name":"y","nameLocation":"747:1:113","nodeType":"VariableDeclaration","scope":65830,"src":"739:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65817,"name":"uint256","nodeType":"ElementaryTypeName","src":"739:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"727:22:113"},"returnParameters":{"id":65822,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65821,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":65830,"src":"773:7:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65820,"name":"uint256","nodeType":"ElementaryTypeName","src":"773:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"772:9:113"},"scope":66371,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":65846,"nodeType":"FunctionDefinition","src":"874:164:113","nodes":[],"body":{"id":65845,"nodeType":"Block","src":"948:90:113","nodes":[],"statements":[{"expression":{"arguments":[{"id":65840,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65832,"src":"976:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65841,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65798,"src":"979:3:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65842,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65834,"src":"984:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":65839,"name":"mulDivDown","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66319,"src":"965:10:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":65843,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"965:21:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":65838,"id":65844,"nodeType":"Return","src":"958:28:113"}]},"implemented":true,"kind":"function","modifiers":[],"name":"divWadDown","nameLocation":"883:10:113","parameters":{"id":65835,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65832,"mutability":"mutable","name":"x","nameLocation":"902:1:113","nodeType":"VariableDeclaration","scope":65846,"src":"894:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65831,"name":"uint256","nodeType":"ElementaryTypeName","src":"894:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":65834,"mutability":"mutable","name":"y","nameLocation":"913:1:113","nodeType":"VariableDeclaration","scope":65846,"src":"905:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65833,"name":"uint256","nodeType":"ElementaryTypeName","src":"905:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"893:22:113"},"returnParameters":{"id":65838,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65837,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":65846,"src":"939:7:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65836,"name":"uint256","nodeType":"ElementaryTypeName","src":"939:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"938:9:113"},"scope":66371,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":65862,"nodeType":"FunctionDefinition","src":"1044:158:113","nodes":[],"body":{"id":65861,"nodeType":"Block","src":"1116:86:113","nodes":[],"statements":[{"expression":{"arguments":[{"id":65856,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65848,"src":"1142:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65857,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65798,"src":"1145:3:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":65858,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65850,"src":"1150:1:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":65855,"name":"mulDivUp","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66332,"src":"1133:8:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$","typeString":"function (uint256,uint256,uint256) pure returns (uint256)"}},"id":65859,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1133:19:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":65854,"id":65860,"nodeType":"Return","src":"1126:26:113"}]},"implemented":true,"kind":"function","modifiers":[],"name":"divWadUp","nameLocation":"1053:8:113","parameters":{"id":65851,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65848,"mutability":"mutable","name":"x","nameLocation":"1070:1:113","nodeType":"VariableDeclaration","scope":65862,"src":"1062:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65847,"name":"uint256","nodeType":"ElementaryTypeName","src":"1062:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":65850,"mutability":"mutable","name":"y","nameLocation":"1081:1:113","nodeType":"VariableDeclaration","scope":65862,"src":"1073:9:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65849,"name":"uint256","nodeType":"ElementaryTypeName","src":"1073:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1061:22:113"},"returnParameters":{"id":65854,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65853,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":65862,"src":"1107:7:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":65852,"name":"uint256","nodeType":"ElementaryTypeName","src":"1107:7:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"1106:9:113"},"scope":66371,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":65886,"nodeType":"FunctionDefinition","src":"1208:273:113","nodes":[],"body":{"id":65885,"nodeType":"Block","src":"1275:206:113","nodes":[],"statements":[{"expression":{"arguments":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65882,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65876,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"arguments":[{"id":65873,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65864,"src":"1405:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_int256","typeString":"int256"}],"id":65872,"name":"lnWad","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66306,"src":"1399:5:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_int256_$returns$_t_int256_$","typeString":"function (int256) pure returns (int256)"}},"id":65874,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1399:8:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":65875,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65866,"src":"1410:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"1399:12:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65877,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"1398:14:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"arguments":[{"id":65880,"name":"WAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65798,"src":"1422:3:113","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":65879,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"1415:6:113","typeDescriptions":{"typeIdentifier":"t_type$_t_int256_$","typeString":"type(int256)"},"typeName":{"id":65878,"name":"int256","nodeType":"ElementaryTypeName","src":"1415:6:113","typeDescriptions":{}}},"id":65881,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1415:11:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"1398:28:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_int256","typeString":"int256"}],"id":65871,"name":"expWad","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":66081,"src":"1391:6:113","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_int256_$returns$_t_int256_$","typeString":"function (int256) pure returns (int256)"}},"id":65883,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1391:36:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"functionReturnParameters":65870,"id":65884,"nodeType":"Return","src":"1384:43:113"}]},"implemented":true,"kind":"function","modifiers":[],"name":"powWad","nameLocation":"1217:6:113","parameters":{"id":65867,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65864,"mutability":"mutable","name":"x","nameLocation":"1231:1:113","nodeType":"VariableDeclaration","scope":65886,"src":"1224:8:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65863,"name":"int256","nodeType":"ElementaryTypeName","src":"1224:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"},{"constant":false,"id":65866,"mutability":"mutable","name":"y","nameLocation":"1241:1:113","nodeType":"VariableDeclaration","scope":65886,"src":"1234:8:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65865,"name":"int256","nodeType":"ElementaryTypeName","src":"1234:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"src":"1223:20:113"},"returnParameters":{"id":65870,"nodeType":"ParameterList","parameters":[{"constant":false,"id":65869,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":65886,"src":"1267:6:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65868,"name":"int256","nodeType":"ElementaryTypeName","src":"1267:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"src":"1266:8:113"},"scope":66371,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":66081,"nodeType":"FunctionDefinition","src":"1487:3103:113","nodes":[],"body":{"id":66080,"nodeType":"Block","src":"1546:3044:113","nodes":[],"statements":[{"id":66079,"nodeType":"UncheckedBlock","src":"1556:3028:113","statements":[{"condition":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65896,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65893,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"1713:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<=","rightExpression":{"id":65895,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"UnaryOperation","operator":"-","prefix":true,"src":"1718:21:113","subExpression":{"hexValue":"3432313339363738383534343532373637353531","id":65894,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1719:20:113","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:113","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":65899,"nodeType":"IfStatement","src":"1709:40:113","trueBody":{"expression":{"hexValue":"30","id":65897,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1748:1:113","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"functionReturnParameters":65892,"id":65898,"nodeType":"Return","src":"1741:8:113"}},{"condition":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65902,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65900,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"1943:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">=","rightExpression":{"hexValue":"313335333035393939333638383933323331353839","id":65901,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1948:21:113","typeDescriptions":{"typeIdentifier":"t_rational_135305999368893231589_by_1","typeString":"int_const 135305999368893231589"},"value":"135305999368893231589"},"src":"1943:26:113","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":65907,"nodeType":"IfStatement","src":"1939:54:113","trueBody":{"expression":{"arguments":[{"hexValue":"4558505f4f564552464c4f57","id":65904,"isConstant":false,"isLValue":false,"isPure":true,"kind":"string","lValueRequested":false,"nodeType":"Literal","src":"1978:14:113","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":65903,"name":"revert","nodeType":"Identifier","overloadedDeclarations":[-19,-19],"referencedDeclaration":-19,"src":"1971:6:113","typeDescriptions":{"typeIdentifier":"t_function_revert_pure$_t_string_memory_ptr_$returns$__$","typeString":"function (string memory) pure"}},"id":65905,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"1971:22:113","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":65906,"nodeType":"ExpressionStatement","src":"1971:22:113"}},{"expression":{"id":65917,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":65908,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2250:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65916,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65911,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65909,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2255:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<<","rightExpression":{"hexValue":"3738","id":65910,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2260:2:113","typeDescriptions":{"typeIdentifier":"t_rational_78_by_1","typeString":"int_const 78"},"value":"78"},"src":"2255:7:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65912,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2254:9:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"commonType":{"typeIdentifier":"t_rational_3814697265625_by_1","typeString":"int_const 3814697265625"},"id":65915,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"hexValue":"35","id":65913,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2266:1:113","typeDescriptions":{"typeIdentifier":"t_rational_5_by_1","typeString":"int_const 5"},"value":"5"},"nodeType":"BinaryOperation","operator":"**","rightExpression":{"hexValue":"3138","id":65914,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2269:2:113","typeDescriptions":{"typeIdentifier":"t_rational_18_by_1","typeString":"int_const 18"},"value":"18"},"src":"2266:5:113","typeDescriptions":{"typeIdentifier":"t_rational_3814697265625_by_1","typeString":"int_const 3814697265625"}},"src":"2254:17:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2250:21:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":65918,"nodeType":"ExpressionStatement","src":"2250:21:113"},{"assignments":[65920],"declarations":[{"constant":false,"id":65920,"mutability":"mutable","name":"k","nameLocation":"2542:1:113","nodeType":"VariableDeclaration","scope":66079,"src":"2535:8:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65919,"name":"int256","nodeType":"ElementaryTypeName","src":"2535:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":65934,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65933,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65930,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65926,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65923,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65921,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2548:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"<<","rightExpression":{"hexValue":"3936","id":65922,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2553:2:113","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2548:7:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65924,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2547:9:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"/","rightExpression":{"hexValue":"3534393136373737343637373037343733333531313431343731313238","id":65925,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2559:29:113","typeDescriptions":{"typeIdentifier":"t_rational_54916777467707473351141471128_by_1","typeString":"int_const 54916777467707473351141471128"},"value":"54916777467707473351141471128"},"src":"2547:41:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"commonType":{"typeIdentifier":"t_rational_39614081257132168796771975168_by_1","typeString":"int_const 39614081257132168796771975168"},"id":65929,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"hexValue":"32","id":65927,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2591:1:113","typeDescriptions":{"typeIdentifier":"t_rational_2_by_1","typeString":"int_const 2"},"value":"2"},"nodeType":"BinaryOperation","operator":"**","rightExpression":{"hexValue":"3935","id":65928,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2594:2:113","typeDescriptions":{"typeIdentifier":"t_rational_95_by_1","typeString":"int_const 95"},"value":"95"},"src":"2591:5:113","typeDescriptions":{"typeIdentifier":"t_rational_39614081257132168796771975168_by_1","typeString":"int_const 39614081257132168796771975168"}},"src":"2547:49:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65931,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2546:51:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":65932,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2601:2:113","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2546:57:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2535:68:113"},{"expression":{"id":65941,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":65935,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2617:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65940,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65936,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2621:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65939,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65937,"name":"k","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65920,"src":"2625:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"hexValue":"3534393136373737343637373037343733333531313431343731313238","id":65938,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2629:29:113","typeDescriptions":{"typeIdentifier":"t_rational_54916777467707473351141471128_by_1","typeString":"int_const 54916777467707473351141471128"},"value":"54916777467707473351141471128"},"src":"2625:33:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2621:37:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2617:41:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":65942,"nodeType":"ExpressionStatement","src":"2617:41:113"},{"assignments":[65944],"declarations":[{"constant":false,"id":65944,"mutability":"mutable","name":"y","nameLocation":"2866:1:113","nodeType":"VariableDeclaration","scope":66079,"src":"2859:8:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65943,"name":"int256","nodeType":"ElementaryTypeName","src":"2859:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":65948,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65947,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65945,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2870:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"31333436333836363136353435373936343738393230393530373733333238","id":65946,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2874:31:113","typeDescriptions":{"typeIdentifier":"t_rational_1346386616545796478920950773328_by_1","typeString":"int_const 1346386616545796478920950773328"},"value":"1346386616545796478920950773328"},"src":"2870:35:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2859:46:113"},{"expression":{"id":65959,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":65949,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65944,"src":"2919:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65958,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65955,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65952,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65950,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65944,"src":"2925:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":65951,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"2929:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2925:5:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65953,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2924:7:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":65954,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2935:2:113","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"2924:13:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65956,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"2923:15:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"3537313535343231323237353532333531303832323234333039373538343432","id":65957,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2941:32:113","typeDescriptions":{"typeIdentifier":"t_rational_57155421227552351082224309758442_by_1","typeString":"int_const 57155421227552351082224309758442"},"value":"57155421227552351082224309758442"},"src":"2923:50:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2919:54:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":65960,"nodeType":"ExpressionStatement","src":"2919:54:113"},{"assignments":[65962],"declarations":[{"constant":false,"id":65962,"mutability":"mutable","name":"p","nameLocation":"2994:1:113","nodeType":"VariableDeclaration","scope":66079,"src":"2987:8:113","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"},"typeName":{"id":65961,"name":"int256","nodeType":"ElementaryTypeName","src":"2987:6:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"visibility":"internal"}],"id":65968,"initialValue":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65967,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65965,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65963,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65944,"src":"2998:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"id":65964,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"3002:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"2998:5:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"hexValue":"3934323031353439313934353530343932323534333536303432353034383132","id":65966,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3006:32:113","typeDescriptions":{"typeIdentifier":"t_rational_94201549194550492254356042504812_by_1","typeString":"int_const 94201549194550492254356042504812"},"value":"94201549194550492254356042504812"},"src":"2998:40:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"VariableDeclarationStatement","src":"2987:51:113"},{"expression":{"id":65979,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":65969,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65962,"src":"3052:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65978,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65975,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"components":[{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65972,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65970,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65962,"src":"3058:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":65971,"name":"y","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65944,"src":"3062:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3058:5:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65973,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"3057:7:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":">>","rightExpression":{"hexValue":"3936","id":65974,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3068:2:113","typeDescriptions":{"typeIdentifier":"t_rational_96_by_1","typeString":"int_const 96"},"value":"96"},"src":"3057:13:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}}],"id":65976,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"3056:15:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"3238373139303231363434303239373236313533393536393434363830343132323430","id":65977,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3074:35:113","typeDescriptions":{"typeIdentifier":"t_rational_28719021644029726153956944680412240_by_1","typeString":"int_const 2871...(27 digits omitted)...2240"},"value":"28719021644029726153956944680412240"},"src":"3056:53:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3052:57:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"id":65980,"nodeType":"ExpressionStatement","src":"3052:57:113"},{"expression":{"id":65990,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":65981,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65962,"src":"3123:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65989,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_int256","typeString":"int256"},"id":65984,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":65982,"name":"p","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65962,"src":"3127:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"*","rightExpression":{"id":65983,"name":"x","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":65888,"src":"3131:1:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"src":"3127:5:113","typeDescriptions":{"typeIdentifier":"t_int256","typeString":"int256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"components":[{"commonType":{"typeIdentifier":"t_rational_347437083999162433888837515002539729