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

Contracts for Optimism Specs

{"abi":[],"bytecode":{"object":"0x602d6037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"253:17722:30:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;253:17722:30;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"253:17722:30:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.15+commit.e14f2714\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"author\":\"clabby <https://github.com/clabby>\",\"custom:attribution\":\"geohot <https://github.com/geohot>\",\"kind\":\"dev\",\"methods\":{},\"title\":\"LibKeccak\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"An EVM implementation of the Keccak-f[1600] permutation.\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"lib/lib-keccak/contracts/lib/LibKeccak.sol\":\"LibKeccak\"},\"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/lib-keccak/contracts/lib/LibKeccak.sol\":{\"keccak256\":\"0x8dde9ac5972d35fc752b3aae40491bdd648e6d910bdc3cdba4256f56abafe672\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://ea269cbccc1eda4a57c6681d3c7648cd1ae3303ce1a3cdc1c703334d4be104f1\",\"dweb:/ipfs/QmRDE2GT8yRebnPbAZLBY9s3CHZt1ZjRXiRm8qufV8gpGx\"]}},\"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/lib-keccak/contracts/lib/LibKeccak.sol":"LibKeccak"},"evmVersion":"london","libraries":{"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker":"0x4200000000000000000000000000000000000776"}},"sources":{"lib/lib-keccak/contracts/lib/LibKeccak.sol":{"keccak256":"0x8dde9ac5972d35fc752b3aae40491bdd648e6d910bdc3cdba4256f56abafe672","urls":["bzz-raw://ea269cbccc1eda4a57c6681d3c7648cd1ae3303ce1a3cdc1c703334d4be104f1","dweb:/ipfs/QmRDE2GT8yRebnPbAZLBY9s3CHZt1ZjRXiRm8qufV8gpGx"],"license":"MIT"}},"version":1},"storageLayout":{"storage":[],"types":{}},"userdoc":{"version":1,"kind":"user","notice":"An EVM implementation of the Keccak-f[1600] permutation."},"devdoc":{"version":1,"kind":"dev","author":"clabby <https://github.com/clabby>","title":"LibKeccak"},"ast":{"absolutePath":"lib/lib-keccak/contracts/lib/LibKeccak.sol","id":47443,"exportedSymbols":{"LibKeccak":[47442]},"nodeType":"SourceUnit","src":"32:17944:30","nodes":[{"id":47360,"nodeType":"PragmaDirective","src":"32:23:30","nodes":[],"literals":["solidity","0.8",".15"]},{"id":47442,"nodeType":"ContractDefinition","src":"253:17722:30","nodes":[{"id":47365,"nodeType":"VariableDeclaration","src":"366:48:30","nodes":[],"constant":true,"documentation":{"id":47362,"nodeType":"StructuredDocumentation","src":"277:84:30","text":"@notice The block size of the Keccak-f[1600] permutation, 1088 bits (136 bytes)."},"mutability":"constant","name":"BLOCK_SIZE_BYTES","nameLocation":"392:16:30","scope":47442,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":47363,"name":"uint256","nodeType":"ElementaryTypeName","src":"366:7:30","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"value":{"hexValue":"313336","id":47364,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"411:3:30","typeDescriptions":{"typeIdentifier":"t_rational_136_by_1","typeString":"int_const 136"},"value":"136"},"visibility":"internal"},{"id":47377,"nodeType":"VariableDeclaration","src":"569:619:30","nodes":[],"constant":true,"documentation":{"id":47366,"nodeType":"StructuredDocumentation","src":"421:143:30","text":"@notice The round constants for the keccak256 hash function. Packed in memory for efficient reading during the\n         permutation."},"mutability":"constant","name":"ROUND_CONSTANTS","nameLocation":"593:15:30","scope":47442,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes_memory_ptr","typeString":"bytes"},"typeName":{"id":47367,"name":"bytes","nodeType":"ElementaryTypeName","src":"569:5:30","typeDescriptions":{"typeIdentifier":"t_bytes_storage_ptr","typeString":"bytes"}},"value":{"arguments":[{"hexValue":"307830303030303030303030303030303031303030303030303030303030383038323830303030303030303030303830386138303030303030303830303038303030","id":47370,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"631:66:30","typeDescriptions":{"typeIdentifier":"t_rational_6277101735386691958615237571701707272949661900016046866432_by_1","typeString":"int_const 6277...(50 digits omitted)...6432"},"value":"0x00000000000000010000000000008082800000000000808a8000000080008000"},{"hexValue":"307830303030303030303030303038303862303030303030303038303030303030313830303030303030383030303830383138303030303030303030303038303039","id":47371,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"722:66:30","typeDescriptions":{"typeIdentifier":"t_rational_206560586806370234646363498424504201619479872709732616080752649_by_1","typeString":"int_const 2065...(55 digits omitted)...2649"},"value":"0x000000000000808b000000008000000180000000800080818000000000008009"},{"hexValue":"307830303030303030303030303030303861303030303030303030303030303038383030303030303030383030303830303930303030303030303830303030303061","id":47372,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"813:66:30","typeDescriptions":{"typeIdentifier":"t_rational_866240039483361945455617342303945211139030060619534132314122_by_1","typeString":"int_const 8662...(52 digits omitted)...4122"},"value":"0x000000000000008a00000000000000880000000080008009000000008000000a"},{"hexValue":"307830303030303030303830303038303862383030303030303030303030303038623830303030303030303030303830383938303030303030303030303038303033","id":47373,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"907:66:30","typeDescriptions":{"typeIdentifier":"t_rational_13480179897300677134530743517219649728572076359672169794948854480899_by_1","typeString":"int_const 1348...(60 digits omitted)...0899"},"value":"0x000000008000808b800000000000008b80000000000080898000000000008003"},{"hexValue":"307838303030303030303030303038303032383030303030303030303030303038303030303030303030303030303830306138303030303030303830303030303061","id":47374,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1002:66:30","typeDescriptions":{"typeIdentifier":"t_rational_57896044618658303415547911993565925250928428525532694829936435183956585873418_by_1","typeString":"int_const 5789...(69 digits omitted)...3418"},"value":"0x80000000000080028000000000000080000000000000800a800000008000000a"},{"hexValue":"307838303030303030303830303038303831383030303030303030303030383038303030303030303030383030303030303138303030303030303830303038303038","id":47375,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1097:66:30","typeDescriptions":{"typeIdentifier":"t_rational_57896044632138277546315152285007900951956099875076086130693200860440325816328_by_1","typeString":"int_const 5789...(69 digits omitted)...6328"},"value":"0x8000000080008081800000000000808000000000800000018000000080008008"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_6277101735386691958615237571701707272949661900016046866432_by_1","typeString":"int_const 6277...(50 digits omitted)...6432"},{"typeIdentifier":"t_rational_206560586806370234646363498424504201619479872709732616080752649_by_1","typeString":"int_const 2065...(55 digits omitted)...2649"},{"typeIdentifier":"t_rational_866240039483361945455617342303945211139030060619534132314122_by_1","typeString":"int_const 8662...(52 digits omitted)...4122"},{"typeIdentifier":"t_rational_13480179897300677134530743517219649728572076359672169794948854480899_by_1","typeString":"int_const 1348...(60 digits omitted)...0899"},{"typeIdentifier":"t_rational_57896044618658303415547911993565925250928428525532694829936435183956585873418_by_1","typeString":"int_const 5789...(69 digits omitted)...3418"},{"typeIdentifier":"t_rational_57896044632138277546315152285007900951956099875076086130693200860440325816328_by_1","typeString":"int_const 5789...(69 digits omitted)...6328"}],"expression":{"id":47368,"name":"abi","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-1,"src":"611:3:30","typeDescriptions":{"typeIdentifier":"t_magic_abi","typeString":"abi"}},"id":47369,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"encode","nodeType":"MemberAccess","src":"611:10:30","typeDescriptions":{"typeIdentifier":"t_function_abiencode_pure$__$returns$_t_bytes_memory_ptr_$","typeString":"function () pure returns (bytes memory)"}},"id":47376,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"611:577:30","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_bytes_memory_ptr","typeString":"bytes memory"}},"visibility":"internal"},{"id":47381,"nodeType":"VariableDeclaration","src":"1237:53:30","nodes":[],"constant":true,"documentation":{"id":47378,"nodeType":"StructuredDocumentation","src":"1195:37:30","text":"@notice A mask for 64-bit values."},"mutability":"constant","name":"U64_MASK","nameLocation":"1261:8:30","scope":47442,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"},"typeName":{"id":47379,"name":"uint64","nodeType":"ElementaryTypeName","src":"1237:6:30","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"}},"value":{"hexValue":"307846464646464646464646464646464646","id":47380,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1272:18:30","typeDescriptions":{"typeIdentifier":"t_rational_18446744073709551615_by_1","typeString":"int_const 18446744073709551615"},"value":"0xFFFFFFFFFFFFFFFF"},"visibility":"private"},{"id":47386,"nodeType":"StructDefinition","src":"1370:52:30","nodes":[],"canonicalName":"LibKeccak.StateMatrix","members":[{"constant":false,"id":47385,"mutability":"mutable","name":"state","nameLocation":"1410:5:30","nodeType":"VariableDeclaration","scope":47386,"src":"1399:16:30","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_array$_t_uint64_$25_storage_ptr","typeString":"uint64[25]"},"typeName":{"baseType":{"id":47382,"name":"uint64","nodeType":"ElementaryTypeName","src":"1399:6:30","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"}},"id":47384,"length":{"hexValue":"3235","id":47383,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1406:2:30","typeDescriptions":{"typeIdentifier":"t_rational_25_by_1","typeString":"int_const 25"},"value":"25"},"nodeType":"ArrayTypeName","src":"1399:10:30","typeDescriptions":{"typeIdentifier":"t_array$_t_uint64_$25_storage_ptr","typeString":"uint64[25]"}},"visibility":"internal"}],"name":"StateMatrix","nameLocation":"1377:11:30","scope":47442,"visibility":"public"},{"id":47399,"nodeType":"FunctionDefinition","src":"1515:6473:30","nodes":[],"body":{"id":47398,"nodeType":"Block","src":"1583:6405:30","nodes":[],"statements":[{"assignments":[47394],"declarations":[{"constant":false,"id":47394,"mutability":"mutable","name":"roundConstants","nameLocation":"1710:14:30","nodeType":"VariableDeclaration","scope":47398,"src":"1697:27:30","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_bytes_memory_ptr","typeString":"bytes"},"typeName":{"id":47393,"name":"bytes","nodeType":"ElementaryTypeName","src":"1697:5:30","typeDescriptions":{"typeIdentifier":"t_bytes_storage_ptr","typeString":"bytes"}},"visibility":"internal"}],"id":47396,"initialValue":{"id":47395,"name":"ROUND_CONSTANTS","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":47377,"src":"1727:15:30","typeDescriptions":{"typeIdentifier":"t_bytes_memory_ptr","typeString":"bytes memory"}},"nodeType":"VariableDeclarationStatement","src":"1697:45:30"},{"AST":{"nodeType":"YulBlock","src":"1762:6220:30","statements":[{"nodeType":"YulVariableDeclaration","src":"1859:45:30","value":{"arguments":[{"name":"_stateMatrix","nodeType":"YulIdentifier","src":"1885:12:30"},{"kind":"number","nodeType":"YulLiteral","src":"1899:4:30","type":"","value":"0x20"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"1881:3:30"},"nodeType":"YulFunctionCall","src":"1881:23:30"},"variables":[{"name":"stateMatrixPtr","nodeType":"YulTypedName","src":"1863:14:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"1917:38:30","value":{"arguments":[{"name":"roundConstants","nodeType":"YulIdentifier","src":"1934:14:30"},{"kind":"number","nodeType":"YulLiteral","src":"1950:4:30","type":"","value":"0x20"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"1930:3:30"},"nodeType":"YulFunctionCall","src":"1930:25:30"},"variables":[{"name":"rcPtr","nodeType":"YulTypedName","src":"1921:5:30","type":""}]},{"body":{"nodeType":"YulBlock","src":"2089:85:30","statements":[{"expression":{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"2118:3:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"2127:4:30","type":"","value":"0x05"},{"name":"idx","nodeType":"YulIdentifier","src":"2133:3:30"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"2123:3:30"},"nodeType":"YulFunctionCall","src":"2123:14:30"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"2114:3:30"},"nodeType":"YulFunctionCall","src":"2114:24:30"},{"arguments":[{"name":"data","nodeType":"YulIdentifier","src":"2144:4:30"},{"name":"U64_MASK","nodeType":"YulIdentifier","src":"2150:8:30"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"2140:3:30"},"nodeType":"YulFunctionCall","src":"2140:19:30"}],"functionName":{"name":"mstore","nodeType":"YulIdentifier","src":"2107:6:30"},"nodeType":"YulFunctionCall","src":"2107:53:30"},"nodeType":"YulExpressionStatement","src":"2107:53:30"}]},"name":"setStateElem","nodeType":"YulFunctionDefinition","parameters":[{"name":"ptr","nodeType":"YulTypedName","src":"2073:3:30","type":""},{"name":"idx","nodeType":"YulTypedName","src":"2078:3:30","type":""},{"name":"data","nodeType":"YulTypedName","src":"2083:4:30","type":""}],"src":"2051:123:30"},{"body":{"nodeType":"YulBlock","src":"2311:71:30","statements":[{"nodeType":"YulAssignment","src":"2329:39:30","value":{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"2347:3:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"2356:4:30","type":"","value":"0x05"},{"name":"idx","nodeType":"YulIdentifier","src":"2362:3:30"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"2352:3:30"},"nodeType":"YulFunctionCall","src":"2352:14:30"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"2343:3:30"},"nodeType":"YulFunctionCall","src":"2343:24:30"}],"functionName":{"name":"mload","nodeType":"YulIdentifier","src":"2337:5:30"},"nodeType":"YulFunctionCall","src":"2337:31:30"},"variableNames":[{"name":"elem","nodeType":"YulIdentifier","src":"2329:4:30"}]}]},"name":"stateElem","nodeType":"YulFunctionDefinition","parameters":[{"name":"ptr","nodeType":"YulTypedName","src":"2293:3:30","type":""},{"name":"idx","nodeType":"YulTypedName","src":"2298:3:30","type":""}],"returnVariables":[{"name":"elem","nodeType":"YulTypedName","src":"2306:4:30","type":""}],"src":"2274:108:30"},{"body":{"nodeType":"YulBlock","src":"2460:63:30","statements":[{"nodeType":"YulAssignment","src":"2478:31:30","value":{"arguments":[{"arguments":[{"name":"a","nodeType":"YulIdentifier","src":"2493:1:30"},{"name":"b","nodeType":"YulIdentifier","src":"2496:1:30"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"2489:3:30"},"nodeType":"YulFunctionCall","src":"2489:9:30"},{"name":"U64_MASK","nodeType":"YulIdentifier","src":"2500:8:30"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"2485:3:30"},"nodeType":"YulFunctionCall","src":"2485:24:30"},"variableNames":[{"name":"val","nodeType":"YulIdentifier","src":"2478:3:30"}]}]},"name":"shl64","nodeType":"YulFunctionDefinition","parameters":[{"name":"a","nodeType":"YulTypedName","src":"2447:1:30","type":""},{"name":"b","nodeType":"YulTypedName","src":"2450:1:30","type":""}],"returnVariables":[{"name":"val","nodeType":"YulTypedName","src":"2456:3:30","type":""}],"src":"2432:91:30"},{"body":{"nodeType":"YulBlock","src":"2687:194:30","statements":[{"nodeType":"YulVariableDeclaration","src":"2705:42:30","value":{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"2730:3:30"},{"name":"srcIdx","nodeType":"YulIdentifier","src":"2735:6:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"2720:9:30"},"nodeType":"YulFunctionCall","src":"2720:22:30"},{"name":"dt","nodeType":"YulIdentifier","src":"2744:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"2716:3:30"},"nodeType":"YulFunctionCall","src":"2716:31:30"},"variables":[{"name":"xs1","nodeType":"YulTypedName","src":"2709:3:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"2764:55:30","value":{"arguments":[{"arguments":[{"name":"fact","nodeType":"YulIdentifier","src":"2783:4:30"},{"name":"xs1","nodeType":"YulIdentifier","src":"2789:3:30"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"2779:3:30"},"nodeType":"YulFunctionCall","src":"2779:14:30"},{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"2803:2:30","type":"","value":"64"},{"name":"fact","nodeType":"YulIdentifier","src":"2807:4:30"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"2799:3:30"},"nodeType":"YulFunctionCall","src":"2799:13:30"},{"name":"xs1","nodeType":"YulIdentifier","src":"2814:3:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"2795:3:30"},"nodeType":"YulFunctionCall","src":"2795:23:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"2775:3:30"},"nodeType":"YulFunctionCall","src":"2775:44:30"},"variables":[{"name":"res","nodeType":"YulTypedName","src":"2768:3:30","type":""}]},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"2849:3:30"},{"name":"destIdx","nodeType":"YulIdentifier","src":"2854:7:30"},{"name":"res","nodeType":"YulIdentifier","src":"2863:3:30"}],"functionName":{"name":"setStateElem","nodeType":"YulIdentifier","src":"2836:12:30"},"nodeType":"YulFunctionCall","src":"2836:31:30"},"nodeType":"YulExpressionStatement","src":"2836:31:30"}]},"name":"rhoPi","nodeType":"YulFunctionDefinition","parameters":[{"name":"ptr","nodeType":"YulTypedName","src":"2655:3:30","type":""},{"name":"destIdx","nodeType":"YulTypedName","src":"2660:7:30","type":""},{"name":"srcIdx","nodeType":"YulTypedName","src":"2669:6:30","type":""},{"name":"fact","nodeType":"YulTypedName","src":"2677:4:30","type":""},{"name":"dt","nodeType":"YulTypedName","src":"2683:2:30","type":""}],"src":"2640:241:30"},{"body":{"nodeType":"YulBlock","src":"2979:287:30","statements":[{"nodeType":"YulAssignment","src":"2997:255:30","value":{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3071:3:30"},{"name":"col","nodeType":"YulIdentifier","src":"3076:3:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"3061:9:30"},"nodeType":"YulFunctionCall","src":"3061:19:30"},{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3092:3:30"},{"arguments":[{"name":"col","nodeType":"YulIdentifier","src":"3101:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3106:1:30","type":"","value":"5"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"3097:3:30"},"nodeType":"YulFunctionCall","src":"3097:11:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"3082:9:30"},"nodeType":"YulFunctionCall","src":"3082:27:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3057:3:30"},"nodeType":"YulFunctionCall","src":"3057:53:30"},{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3122:3:30"},{"arguments":[{"name":"col","nodeType":"YulIdentifier","src":"3131:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3136:2:30","type":"","value":"10"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"3127:3:30"},"nodeType":"YulFunctionCall","src":"3127:12:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"3112:9:30"},"nodeType":"YulFunctionCall","src":"3112:28:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3053:3:30"},"nodeType":"YulFunctionCall","src":"3053:88:30"},{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3181:3:30"},{"arguments":[{"name":"col","nodeType":"YulIdentifier","src":"3190:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3195:2:30","type":"","value":"15"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"3186:3:30"},"nodeType":"YulFunctionCall","src":"3186:12:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"3171:9:30"},"nodeType":"YulFunctionCall","src":"3171:28:30"},{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3211:3:30"},{"arguments":[{"name":"col","nodeType":"YulIdentifier","src":"3220:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3225:2:30","type":"","value":"20"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"3216:3:30"},"nodeType":"YulFunctionCall","src":"3216:12:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"3201:9:30"},"nodeType":"YulFunctionCall","src":"3201:28:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3167:3:30"},"nodeType":"YulFunctionCall","src":"3167:63:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3024:3:30"},"nodeType":"YulFunctionCall","src":"3024:228:30"},"variableNames":[{"name":"val","nodeType":"YulIdentifier","src":"2997:3:30"}]}]},"name":"xorColumn","nodeType":"YulFunctionDefinition","parameters":[{"name":"ptr","nodeType":"YulTypedName","src":"2962:3:30","type":""},{"name":"col","nodeType":"YulTypedName","src":"2967:3:30","type":""}],"returnVariables":[{"name":"val","nodeType":"YulTypedName","src":"2975:3:30","type":""}],"src":"2943:323:30"},{"body":{"nodeType":"YulBlock","src":"3460:1778:30","statements":[{"nodeType":"YulVariableDeclaration","src":"3503:27:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3523:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3528:1:30","type":"","value":"0"}],"functionName":{"name":"xorColumn","nodeType":"YulIdentifier","src":"3513:9:30"},"nodeType":"YulFunctionCall","src":"3513:17:30"},"variables":[{"name":"C0","nodeType":"YulTypedName","src":"3507:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3547:27:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3567:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3572:1:30","type":"","value":"1"}],"functionName":{"name":"xorColumn","nodeType":"YulIdentifier","src":"3557:9:30"},"nodeType":"YulFunctionCall","src":"3557:17:30"},"variables":[{"name":"C1","nodeType":"YulTypedName","src":"3551:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3591:27:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3611:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3616:1:30","type":"","value":"2"}],"functionName":{"name":"xorColumn","nodeType":"YulIdentifier","src":"3601:9:30"},"nodeType":"YulFunctionCall","src":"3601:17:30"},"variables":[{"name":"C2","nodeType":"YulTypedName","src":"3595:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3635:27:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3655:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3660:1:30","type":"","value":"3"}],"functionName":{"name":"xorColumn","nodeType":"YulIdentifier","src":"3645:9:30"},"nodeType":"YulFunctionCall","src":"3645:17:30"},"variables":[{"name":"C3","nodeType":"YulTypedName","src":"3639:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3679:27:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"3699:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"3704:1:30","type":"","value":"4"}],"functionName":{"name":"xorColumn","nodeType":"YulIdentifier","src":"3689:9:30"},"nodeType":"YulFunctionCall","src":"3689:17:30"},"variables":[{"name":"C4","nodeType":"YulTypedName","src":"3683:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3723:49:30","value":{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3747:1:30","type":"","value":"1"},{"name":"C1","nodeType":"YulIdentifier","src":"3750:2:30"}],"functionName":{"name":"shl64","nodeType":"YulIdentifier","src":"3741:5:30"},"nodeType":"YulFunctionCall","src":"3741:12:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3759:2:30","type":"","value":"63"},{"name":"C1","nodeType":"YulIdentifier","src":"3763:2:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"3755:3:30"},"nodeType":"YulFunctionCall","src":"3755:11:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3737:3:30"},"nodeType":"YulFunctionCall","src":"3737:30:30"},{"name":"C4","nodeType":"YulIdentifier","src":"3769:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3733:3:30"},"nodeType":"YulFunctionCall","src":"3733:39:30"},"variables":[{"name":"D0","nodeType":"YulTypedName","src":"3727:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3789:49:30","value":{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3813:1:30","type":"","value":"1"},{"name":"C2","nodeType":"YulIdentifier","src":"3816:2:30"}],"functionName":{"name":"shl64","nodeType":"YulIdentifier","src":"3807:5:30"},"nodeType":"YulFunctionCall","src":"3807:12:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3825:2:30","type":"","value":"63"},{"name":"C2","nodeType":"YulIdentifier","src":"3829:2:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"3821:3:30"},"nodeType":"YulFunctionCall","src":"3821:11:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3803:3:30"},"nodeType":"YulFunctionCall","src":"3803:30:30"},{"name":"C0","nodeType":"YulIdentifier","src":"3835:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3799:3:30"},"nodeType":"YulFunctionCall","src":"3799:39:30"},"variables":[{"name":"D1","nodeType":"YulTypedName","src":"3793:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3855:49:30","value":{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3879:1:30","type":"","value":"1"},{"name":"C3","nodeType":"YulIdentifier","src":"3882:2:30"}],"functionName":{"name":"shl64","nodeType":"YulIdentifier","src":"3873:5:30"},"nodeType":"YulFunctionCall","src":"3873:12:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3891:2:30","type":"","value":"63"},{"name":"C3","nodeType":"YulIdentifier","src":"3895:2:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"3887:3:30"},"nodeType":"YulFunctionCall","src":"3887:11:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3869:3:30"},"nodeType":"YulFunctionCall","src":"3869:30:30"},{"name":"C1","nodeType":"YulIdentifier","src":"3901:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3865:3:30"},"nodeType":"YulFunctionCall","src":"3865:39:30"},"variables":[{"name":"D2","nodeType":"YulTypedName","src":"3859:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3921:49:30","value":{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3945:1:30","type":"","value":"1"},{"name":"C4","nodeType":"YulIdentifier","src":"3948:2:30"}],"functionName":{"name":"shl64","nodeType":"YulIdentifier","src":"3939:5:30"},"nodeType":"YulFunctionCall","src":"3939:12:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"3957:2:30","type":"","value":"63"},{"name":"C4","nodeType":"YulIdentifier","src":"3961:2:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"3953:3:30"},"nodeType":"YulFunctionCall","src":"3953:11:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3935:3:30"},"nodeType":"YulFunctionCall","src":"3935:30:30"},{"name":"C2","nodeType":"YulIdentifier","src":"3967:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3931:3:30"},"nodeType":"YulFunctionCall","src":"3931:39:30"},"variables":[{"name":"D3","nodeType":"YulTypedName","src":"3925:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"3987:49:30","value":{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"4011:1:30","type":"","value":"1"},{"name":"C0","nodeType":"YulIdentifier","src":"4014:2:30"}],"functionName":{"name":"shl64","nodeType":"YulIdentifier","src":"4005:5:30"},"nodeType":"YulFunctionCall","src":"4005:12:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"4023:2:30","type":"","value":"63"},{"name":"C0","nodeType":"YulIdentifier","src":"4027:2:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"4019:3:30"},"nodeType":"YulFunctionCall","src":"4019:11:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"4001:3:30"},"nodeType":"YulFunctionCall","src":"4001:30:30"},{"name":"C3","nodeType":"YulIdentifier","src":"4033:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"3997:3:30"},"nodeType":"YulFunctionCall","src":"3997:39:30"},"variables":[{"name":"D4","nodeType":"YulTypedName","src":"3991:2:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"4054:37:30","value":{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4079:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4084:1:30","type":"","value":"1"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"4069:9:30"},"nodeType":"YulFunctionCall","src":"4069:17:30"},{"name":"D1","nodeType":"YulIdentifier","src":"4088:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"4065:3:30"},"nodeType":"YulFunctionCall","src":"4065:26:30"},"variables":[{"name":"xs1","nodeType":"YulTypedName","src":"4058:3:30","type":""}]},{"nodeType":"YulVariableDeclaration","src":"4108:40:30","value":{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"4126:1:30","type":"","value":"1"},{"name":"xs1","nodeType":"YulIdentifier","src":"4129:3:30"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"4122:3:30"},"nodeType":"YulFunctionCall","src":"4122:11:30"},{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"4139:2:30","type":"","value":"63"},{"name":"xs1","nodeType":"YulIdentifier","src":"4143:3:30"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"4135:3:30"},"nodeType":"YulFunctionCall","src":"4135:12:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"4118:3:30"},"nodeType":"YulFunctionCall","src":"4118:30:30"},"variables":[{"name":"A1","nodeType":"YulTypedName","src":"4112:2:30","type":""}]},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4179:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4184:1:30","type":"","value":"0"},{"arguments":[{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4201:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4206:1:30","type":"","value":"0"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"4191:9:30"},"nodeType":"YulFunctionCall","src":"4191:17:30"},{"name":"D0","nodeType":"YulIdentifier","src":"4210:2:30"}],"functionName":{"name":"xor","nodeType":"YulIdentifier","src":"4187:3:30"},"nodeType":"YulFunctionCall","src":"4187:26:30"}],"functionName":{"name":"setStateElem","nodeType":"YulIdentifier","src":"4166:12:30"},"nodeType":"YulFunctionCall","src":"4166:48:30"},"nodeType":"YulExpressionStatement","src":"4166:48:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4237:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4242:1:30","type":"","value":"1"},{"kind":"number","nodeType":"YulLiteral","src":"4245:1:30","type":"","value":"6"},{"kind":"number","nodeType":"YulLiteral","src":"4248:2:30","type":"","value":"44"},{"name":"D1","nodeType":"YulIdentifier","src":"4252:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4231:5:30"},"nodeType":"YulFunctionCall","src":"4231:24:30"},"nodeType":"YulExpressionStatement","src":"4231:24:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4278:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4283:1:30","type":"","value":"6"},{"kind":"number","nodeType":"YulLiteral","src":"4286:1:30","type":"","value":"9"},{"kind":"number","nodeType":"YulLiteral","src":"4289:2:30","type":"","value":"20"},{"name":"D4","nodeType":"YulIdentifier","src":"4293:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4272:5:30"},"nodeType":"YulFunctionCall","src":"4272:24:30"},"nodeType":"YulExpressionStatement","src":"4272:24:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4319:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4324:1:30","type":"","value":"9"},{"kind":"number","nodeType":"YulLiteral","src":"4327:2:30","type":"","value":"22"},{"kind":"number","nodeType":"YulLiteral","src":"4331:2:30","type":"","value":"61"},{"name":"D2","nodeType":"YulIdentifier","src":"4335:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4313:5:30"},"nodeType":"YulFunctionCall","src":"4313:25:30"},"nodeType":"YulExpressionStatement","src":"4313:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4361:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4366:2:30","type":"","value":"22"},{"kind":"number","nodeType":"YulLiteral","src":"4370:2:30","type":"","value":"14"},{"kind":"number","nodeType":"YulLiteral","src":"4374:2:30","type":"","value":"39"},{"name":"D4","nodeType":"YulIdentifier","src":"4378:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4355:5:30"},"nodeType":"YulFunctionCall","src":"4355:26:30"},"nodeType":"YulExpressionStatement","src":"4355:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4404:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4409:2:30","type":"","value":"14"},{"kind":"number","nodeType":"YulLiteral","src":"4413:2:30","type":"","value":"20"},{"kind":"number","nodeType":"YulLiteral","src":"4417:2:30","type":"","value":"18"},{"name":"D0","nodeType":"YulIdentifier","src":"4421:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4398:5:30"},"nodeType":"YulFunctionCall","src":"4398:26:30"},"nodeType":"YulExpressionStatement","src":"4398:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4447:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4452:2:30","type":"","value":"20"},{"kind":"number","nodeType":"YulLiteral","src":"4456:1:30","type":"","value":"2"},{"kind":"number","nodeType":"YulLiteral","src":"4459:2:30","type":"","value":"62"},{"name":"D2","nodeType":"YulIdentifier","src":"4463:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4441:5:30"},"nodeType":"YulFunctionCall","src":"4441:25:30"},"nodeType":"YulExpressionStatement","src":"4441:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4489:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4494:1:30","type":"","value":"2"},{"kind":"number","nodeType":"YulLiteral","src":"4497:2:30","type":"","value":"12"},{"kind":"number","nodeType":"YulLiteral","src":"4501:2:30","type":"","value":"43"},{"name":"D2","nodeType":"YulIdentifier","src":"4505:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4483:5:30"},"nodeType":"YulFunctionCall","src":"4483:25:30"},"nodeType":"YulExpressionStatement","src":"4483:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4531:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4536:2:30","type":"","value":"12"},{"kind":"number","nodeType":"YulLiteral","src":"4540:2:30","type":"","value":"13"},{"kind":"number","nodeType":"YulLiteral","src":"4544:2:30","type":"","value":"25"},{"name":"D3","nodeType":"YulIdentifier","src":"4548:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4525:5:30"},"nodeType":"YulFunctionCall","src":"4525:26:30"},"nodeType":"YulExpressionStatement","src":"4525:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4574:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4579:2:30","type":"","value":"13"},{"kind":"number","nodeType":"YulLiteral","src":"4583:2:30","type":"","value":"19"},{"kind":"number","nodeType":"YulLiteral","src":"4587:1:30","type":"","value":"8"},{"name":"D4","nodeType":"YulIdentifier","src":"4590:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4568:5:30"},"nodeType":"YulFunctionCall","src":"4568:25:30"},"nodeType":"YulExpressionStatement","src":"4568:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4616:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4621:2:30","type":"","value":"19"},{"kind":"number","nodeType":"YulLiteral","src":"4625:2:30","type":"","value":"23"},{"kind":"number","nodeType":"YulLiteral","src":"4629:2:30","type":"","value":"56"},{"name":"D3","nodeType":"YulIdentifier","src":"4633:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4610:5:30"},"nodeType":"YulFunctionCall","src":"4610:26:30"},"nodeType":"YulExpressionStatement","src":"4610:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4659:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4664:2:30","type":"","value":"23"},{"kind":"number","nodeType":"YulLiteral","src":"4668:2:30","type":"","value":"15"},{"kind":"number","nodeType":"YulLiteral","src":"4672:2:30","type":"","value":"41"},{"name":"D0","nodeType":"YulIdentifier","src":"4676:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4653:5:30"},"nodeType":"YulFunctionCall","src":"4653:26:30"},"nodeType":"YulExpressionStatement","src":"4653:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4702:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4707:2:30","type":"","value":"15"},{"kind":"number","nodeType":"YulLiteral","src":"4711:1:30","type":"","value":"4"},{"kind":"number","nodeType":"YulLiteral","src":"4714:2:30","type":"","value":"27"},{"name":"D4","nodeType":"YulIdentifier","src":"4718:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4696:5:30"},"nodeType":"YulFunctionCall","src":"4696:25:30"},"nodeType":"YulExpressionStatement","src":"4696:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4744:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4749:1:30","type":"","value":"4"},{"kind":"number","nodeType":"YulLiteral","src":"4752:2:30","type":"","value":"24"},{"kind":"number","nodeType":"YulLiteral","src":"4756:2:30","type":"","value":"14"},{"name":"D4","nodeType":"YulIdentifier","src":"4760:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4738:5:30"},"nodeType":"YulFunctionCall","src":"4738:25:30"},"nodeType":"YulExpressionStatement","src":"4738:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4786:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4791:2:30","type":"","value":"24"},{"kind":"number","nodeType":"YulLiteral","src":"4795:2:30","type":"","value":"21"},{"kind":"number","nodeType":"YulLiteral","src":"4799:1:30","type":"","value":"2"},{"name":"D1","nodeType":"YulIdentifier","src":"4802:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4780:5:30"},"nodeType":"YulFunctionCall","src":"4780:25:30"},"nodeType":"YulExpressionStatement","src":"4780:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4828:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4833:2:30","type":"","value":"21"},{"kind":"number","nodeType":"YulLiteral","src":"4837:1:30","type":"","value":"8"},{"kind":"number","nodeType":"YulLiteral","src":"4840:2:30","type":"","value":"55"},{"name":"D3","nodeType":"YulIdentifier","src":"4844:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4822:5:30"},"nodeType":"YulFunctionCall","src":"4822:25:30"},"nodeType":"YulExpressionStatement","src":"4822:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4870:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4875:1:30","type":"","value":"8"},{"kind":"number","nodeType":"YulLiteral","src":"4878:2:30","type":"","value":"16"},{"kind":"number","nodeType":"YulLiteral","src":"4882:2:30","type":"","value":"45"},{"name":"D1","nodeType":"YulIdentifier","src":"4886:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4864:5:30"},"nodeType":"YulFunctionCall","src":"4864:25:30"},"nodeType":"YulExpressionStatement","src":"4864:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4912:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4917:2:30","type":"","value":"16"},{"kind":"number","nodeType":"YulLiteral","src":"4921:1:30","type":"","value":"5"},{"kind":"number","nodeType":"YulLiteral","src":"4924:2:30","type":"","value":"36"},{"name":"D0","nodeType":"YulIdentifier","src":"4928:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4906:5:30"},"nodeType":"YulFunctionCall","src":"4906:25:30"},"nodeType":"YulExpressionStatement","src":"4906:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4954:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"4959:1:30","type":"","value":"5"},{"kind":"number","nodeType":"YulLiteral","src":"4962:1:30","type":"","value":"3"},{"kind":"number","nodeType":"YulLiteral","src":"4965:2:30","type":"","value":"28"},{"name":"D3","nodeType":"YulIdentifier","src":"4969:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4948:5:30"},"nodeType":"YulFunctionCall","src":"4948:24:30"},"nodeType":"YulExpressionStatement","src":"4948:24:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"4995:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5000:1:30","type":"","value":"3"},{"kind":"number","nodeType":"YulLiteral","src":"5003:2:30","type":"","value":"18"},{"kind":"number","nodeType":"YulLiteral","src":"5007:2:30","type":"","value":"21"},{"name":"D3","nodeType":"YulIdentifier","src":"5011:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"4989:5:30"},"nodeType":"YulFunctionCall","src":"4989:25:30"},"nodeType":"YulExpressionStatement","src":"4989:25:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5037:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5042:2:30","type":"","value":"18"},{"kind":"number","nodeType":"YulLiteral","src":"5046:2:30","type":"","value":"17"},{"kind":"number","nodeType":"YulLiteral","src":"5050:2:30","type":"","value":"15"},{"name":"D2","nodeType":"YulIdentifier","src":"5054:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"5031:5:30"},"nodeType":"YulFunctionCall","src":"5031:26:30"},"nodeType":"YulExpressionStatement","src":"5031:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5080:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5085:2:30","type":"","value":"17"},{"kind":"number","nodeType":"YulLiteral","src":"5089:2:30","type":"","value":"11"},{"kind":"number","nodeType":"YulLiteral","src":"5093:2:30","type":"","value":"10"},{"name":"D1","nodeType":"YulIdentifier","src":"5097:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"5074:5:30"},"nodeType":"YulFunctionCall","src":"5074:26:30"},"nodeType":"YulExpressionStatement","src":"5074:26:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5123:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5128:2:30","type":"","value":"11"},{"kind":"number","nodeType":"YulLiteral","src":"5132:1:30","type":"","value":"7"},{"kind":"number","nodeType":"YulLiteral","src":"5135:1:30","type":"","value":"6"},{"name":"D2","nodeType":"YulIdentifier","src":"5138:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"5117:5:30"},"nodeType":"YulFunctionCall","src":"5117:24:30"},"nodeType":"YulExpressionStatement","src":"5117:24:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5164:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5169:1:30","type":"","value":"7"},{"kind":"number","nodeType":"YulLiteral","src":"5172:2:30","type":"","value":"10"},{"kind":"number","nodeType":"YulLiteral","src":"5176:1:30","type":"","value":"3"},{"name":"D0","nodeType":"YulIdentifier","src":"5179:2:30"}],"functionName":{"name":"rhoPi","nodeType":"YulIdentifier","src":"5158:5:30"},"nodeType":"YulFunctionCall","src":"5158:24:30"},"nodeType":"YulExpressionStatement","src":"5158:24:30"},{"expression":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5212:3:30"},{"kind":"number","nodeType":"YulLiteral","src":"5217:2:30","type":"","value":"10"},{"name":"A1","nodeType":"YulIdentifier","src":"5221:2:30"}],"functionName":{"name":"setStateElem","nodeType":"YulIdentifier","src":"5199:12:30"},"nodeType":"YulFunctionCall","src":"5199:25:30"},"nodeType":"YulExpressionStatement","src":"5199:25:30"}]},"name":"thetaRhoPi","nodeType":"YulFunctionDefinition","parameters":[{"name":"ptr","nodeType":"YulTypedName","src":"3455:3:30","type":""}],"src":"3435:1803:30"},{"body":{"nodeType":"YulBlock","src":"5354:660:30","statements":[{"nodeType":"YulVariableDeclaration","src":"5372:31:30","value":{"arguments":[{"name":"ptr","nodeType":"YulIdentifier","src":"5392:3:30"},{"name":"start","nodeType":"YulIdentifier","src":"5397:5:30"}],"functionName":{"name":"stateElem","nodeType":"YulIdentifier","src":"5382:9:30"},"nodeType":"YulFuncti