@uniswap/v4-core/out/TickMathEchidnaTest.sol/TickMathEchidnaTest.json

🦄 Core smart contracts of Uniswap v4

{"abi":[{"type":"function","name":"checkGetSqrtPriceAtTickInvariants","inputs":[{"name":"tick","type":"int24","internalType":"int24"}],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"checkGetTickAtSqrtPriceInvariants","inputs":[{"name":"price","type":"uint160","internalType":"uint160"}],"outputs":[],"stateMutability":"pure"}],"bytecode":{"object":"0x608080604052346015576109ec908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c80632911f6ae146101945763f9c19f2d1461002f575f80fd5b346101905760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610190576004358060020b90818103610190577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6100978261066d565b920191627fffff83137fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000008412176101635761011873fffd8963efd1fc6a506488495d951d5263988d269273ffffffffffffffffffffffffffffffffffffffff92836101046101309761066d565b911693849116109081610132575b50610639565b6101296401000276a3821015610639565b1115610639565b005b73ffffffffffffffffffffffffffffffffffffffff915061015561015a91610602565b61066d565b1682105f610112565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f80fd5b346101905760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101905760043573ffffffffffffffffffffffffffffffffffffffff8116908181036101905773fffd8963efd1fc6a506488495d951d516396168273ffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffefffd895d830116116105d65760201b77ffffffffffffffffffffffffffffffffffffffff00000000168080156101905760ff826fffffffffffffffffffffffffffffffff1060071b83811c67ffffffffffffffff1060061b1783811c63ffffffff1060051b1783811c61ffff1060041b1783811c821060031b177f07060605060205000602030205040001060502050303040105050304000000006f8421084210842108cc6318c6db6d54be85831c1c601f161a17169160808310155f146105ca57507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8182011c5b800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c80029081607f1c8260ff1c1c80029283607f1c8460ff1c1c80029485607f1c8660ff1c1c80029687607f1c8860ff1c1c80029889607f1c8a60ff1c1c80029a8b607f1c8c60ff1c1c80029c8d80607f1c9060ff1c1c800260cd1c6604000000000000169d60cc1c6608000000000000169c60cb1c6610000000000000169b60ca1c6620000000000000169a60c91c6640000000000000169960c81c6680000000000000169860c71c670100000000000000169760c61c670200000000000000169660c51c670400000000000000169560c41c670800000000000000169460c31c671000000000000000169360c21c672000000000000000169260c11c674000000000000000169160c01c67800000000000000016907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff800160401b1717171717171717171717171717693627a301d71055774c8502907ffffffffffffffffffffffffffffffffffd709b7e5480fba5a50fed5e62ffc556820160801d60020b916fdb2df09e81959a81455e260799a0632f0160801d60020b908183145f1461013093620d89e893610535926105955750915b73ffffffffffffffffffffffffffffffffffffffff6105258461066d565b16811015908161056a5750610639565b60020b6105647ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618821215610639565b12610639565b905073ffffffffffffffffffffffffffffffffffffffff61058d61015585610602565b161185610112565b908373ffffffffffffffffffffffffffffffffffffffff6105b58461066d565b16116105c357505b91610507565b90506105bd565b905081607f031b610314565b507f61487524000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b60020b60010190627fffff82137fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80000083121761016357565b1561064057565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52600160045260245ffd5b60020b908160ff1d82810118620d89e881116109b35763ffffffff9192600182167001fffcb933bd6fad37aa2d162d1a59400102700100000000000000000000000000000000189160028116610997575b6004811661097b575b6008811661095f575b60108116610943575b60208116610927575b6040811661090b575b608081166108ef575b61010081166108d3575b61020081166108b7575b610400811661089b575b610800811661087f575b6110008116610863575b6120008116610847575b614000811661082b575b618000811661080f575b6201000081166107f3575b6202000081166107d8575b6204000081166107bd575b62080000166107a4575b5f1261077d575b0160201c90565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04610776565b6b048a170391f7dc42444e8fa290910260801c9061076f565b6d2216e584f5fa1ea926041bedfe9890920260801c91610765565b916e5d6af8dedb81196699c329225ee6040260801c9161075a565b916f09aa508b5b7a84e1c677de54f3e99bc90260801c9161074f565b916f31be135f97d08fd981231505542fcfa60260801c91610744565b916f70d869a156d2a1b890bb3df62baf32f70260801c9161073a565b916fa9f746462d870fdf8a65dc1f90e061e50260801c91610730565b916fd097f3bdfd2022b8845ad8f792aa58250260801c91610726565b916fe7159475a2c29b7443b29c7fa6e889d90260801c9161071c565b916ff3392b0822b70005940c7a398e4b70f30260801c91610712565b916ff987a7253ac413176f2b074cf7815e540260801c91610708565b916ffcbe86c7900a88aedcffc83b479aa3a40260801c916106fe565b916ffe5dee046a99a2a811c461f1969c30530260801c916106f4565b916fff2ea16466c96a3843ec78b326b528610260801c916106eb565b916fff973b41fa98c081472e6896dfb254c00260801c916106e2565b916fffcb9843d60f6159c9db58835c9266440260801c916106d9565b916fffe5caca7e10e4e61c3624eaa0941cd00260801c916106d0565b916ffff2e50f5f656932ef12357cf3c7fdcc0260801c916106c7565b916ffff97272373d413259a46990580e213a0260801c916106be565b827f8b86327a000000000000000000000000000000000000000000000000000000005f5260045260245ffdfea164736f6c634300081a000a","sourceMap":"118:836:102:-:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f3560e01c80632911f6ae146101945763f9c19f2d1461002f575f80fd5b346101905760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610190576004358060020b90818103610190577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6100978261066d565b920191627fffff83137fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000008412176101635761011873fffd8963efd1fc6a506488495d951d5263988d269273ffffffffffffffffffffffffffffffffffffffff92836101046101309761066d565b911693849116109081610132575b50610639565b6101296401000276a3821015610639565b1115610639565b005b73ffffffffffffffffffffffffffffffffffffffff915061015561015a91610602565b61066d565b1682105f610112565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f80fd5b346101905760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101905760043573ffffffffffffffffffffffffffffffffffffffff8116908181036101905773fffd8963efd1fc6a506488495d951d516396168273ffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffefffd895d830116116105d65760201b77ffffffffffffffffffffffffffffffffffffffff00000000168080156101905760ff826fffffffffffffffffffffffffffffffff1060071b83811c67ffffffffffffffff1060061b1783811c63ffffffff1060051b1783811c61ffff1060041b1783811c821060031b177f07060605060205000602030205040001060502050303040105050304000000006f8421084210842108cc6318c6db6d54be85831c1c601f161a17169160808310155f146105ca57507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8182011c5b800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c800280607f1c8160ff1c1c80029081607f1c8260ff1c1c80029283607f1c8460ff1c1c80029485607f1c8660ff1c1c80029687607f1c8860ff1c1c80029889607f1c8a60ff1c1c80029a8b607f1c8c60ff1c1c80029c8d80607f1c9060ff1c1c800260cd1c6604000000000000169d60cc1c6608000000000000169c60cb1c6610000000000000169b60ca1c6620000000000000169a60c91c6640000000000000169960c81c6680000000000000169860c71c670100000000000000169760c61c670200000000000000169660c51c670400000000000000169560c41c670800000000000000169460c31c671000000000000000169360c21c672000000000000000169260c11c674000000000000000169160c01c67800000000000000016907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff800160401b1717171717171717171717171717693627a301d71055774c8502907ffffffffffffffffffffffffffffffffffd709b7e5480fba5a50fed5e62ffc556820160801d60020b916fdb2df09e81959a81455e260799a0632f0160801d60020b908183145f1461013093620d89e893610535926105955750915b73ffffffffffffffffffffffffffffffffffffffff6105258461066d565b16811015908161056a5750610639565b60020b6105647ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618821215610639565b12610639565b905073ffffffffffffffffffffffffffffffffffffffff61058d61015585610602565b161185610112565b908373ffffffffffffffffffffffffffffffffffffffff6105b58461066d565b16116105c357505b91610507565b90506105bd565b905081607f031b610314565b507f61487524000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b60020b60010190627fffff82137fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80000083121761016357565b1561064057565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52600160045260245ffd5b60020b908160ff1d82810118620d89e881116109b35763ffffffff9192600182167001fffcb933bd6fad37aa2d162d1a59400102700100000000000000000000000000000000189160028116610997575b6004811661097b575b6008811661095f575b60108116610943575b60208116610927575b6040811661090b575b608081166108ef575b61010081166108d3575b61020081166108b7575b610400811661089b575b610800811661087f575b6110008116610863575b6120008116610847575b614000811661082b575b618000811661080f575b6201000081166107f3575b6202000081166107d8575b6204000081166107bd575b62080000166107a4575b5f1261077d575b0160201c90565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04610776565b6b048a170391f7dc42444e8fa290910260801c9061076f565b6d2216e584f5fa1ea926041bedfe9890920260801c91610765565b916e5d6af8dedb81196699c329225ee6040260801c9161075a565b916f09aa508b5b7a84e1c677de54f3e99bc90260801c9161074f565b916f31be135f97d08fd981231505542fcfa60260801c91610744565b916f70d869a156d2a1b890bb3df62baf32f70260801c9161073a565b916fa9f746462d870fdf8a65dc1f90e061e50260801c91610730565b916fd097f3bdfd2022b8845ad8f792aa58250260801c91610726565b916fe7159475a2c29b7443b29c7fa6e889d90260801c9161071c565b916ff3392b0822b70005940c7a398e4b70f30260801c91610712565b916ff987a7253ac413176f2b074cf7815e540260801c91610708565b916ffcbe86c7900a88aedcffc83b479aa3a40260801c916106fe565b916ffe5dee046a99a2a811c461f1969c30530260801c916106f4565b916fff2ea16466c96a3843ec78b326b528610260801c916106eb565b916fff973b41fa98c081472e6896dfb254c00260801c916106e2565b916fffcb9843d60f6159c9db58835c9266440260801c916106d9565b916fffe5caca7e10e4e61c3624eaa0941cd00260801c916106d0565b916ffff2e50f5f656932ef12357cf3c7fdcc0260801c916106c7565b916ffff97272373d413259a46990580e213a0260801c916106be565b827f8b86327a000000000000000000000000000000000000000000000000000000005f5260045260245ffdfea164736f6c634300081a000a","sourceMap":"118:836:102:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;287:33;;;:::i;:::-;118:836;;;;;;;;;;;;330:102;2042:49:64;337:37:102;118:836;337:37;;;492:40;337:37;;:::i;:::-;118:836;;;;;;337:45;:94;;;;118:836;330:102;;:::i;:::-;442:40;1862:10:64;449:32:102;;;442:40;:::i;:::-;499:32;;492:40;:::i;:::-;118:836;337:94;118:836;422:8;;;394:37;422:8;;:::i;:::-;394:37;:::i;:::-;118:836;386:45;;337:94;;;118:836;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2282:66:64;118:836:102;;;;;8182:79:64;8178:168;;118:836:102;2282:66:64;;;;742:5:43;;118:836:102;;2282:66:64;759:552:43;;;;;;;;;;;;;;;;;;;;;;;;;;118:836:102;759:552:43;;;;;;;;;;;;;;;;;;;;2282:66:64;8511:10;8518:3;8511:10;;;8507:83;8518:3;;;2282:66;;;;;8507:83;8660:196;;;;;;2282:66;8660:196;;8869;;;8660;8869;;2282:66;8869:196;;9078;;;8660;9078;;2282:66;9078:196;;9287;;;8660;9287;;2282:66;9287:196;;9496;;;8660;9496;;2282:66;9496:196;;9705;;;8660;9705;;2282:66;9705:196;;9914;;;;8660;9914;;2282:66;9914:196;;10123;;;;8660;10123;;2282:66;10123:196;;10332;;;;8660;10332;;2282:66;10332:196;;10541;;;;8660;10541;;2282:66;10541:196;;10750;;;;8660;10750;;2282:66;10750:196;;10959;;;;8660;10959;;2282:66;10959:196;;11168;;;;;8660;11168;;2282:66;11168:196;;11377:165;;;;;;11168:196;;;;;10959;;;;;10750;;;;;10541;;;;;10332;;;;;10123;;;;;9914;;;;;9705;;;;;9496;;;;;9287;;;;;9078;;;;;8869;;;;;8660;;;;;2282:66;;;118:836:102;2282:66:64;8660:196;8869;9078;9287;9496;9705;9914;10123;10332;10541;10750;10959;11168;11377:165;11587:24;2282:66;;;;;8518:3;2282:66;118:836:102;;2282:66:64;12201:39;2282:66;8518:3;2282:66;118:836:102;;12271:91:64;:17;;;:91;118:836:102;913:32;118:836;1317:6:64;118:836:102;761:99;118:836;;;12271:91:64;;;118:836:102;777:33;;;:::i;:::-;118:836;768:42;;;:91;;;;761:99;;:::i;:::-;118:836;;870:33;1032:7:64;877:25:102;;;870:33;:::i;:::-;920:24;913:32;:::i;768:91::-;850:8;;118:836;822:37;850:8;;;:::i;822:37::-;118:836;-1:-1:-1;768:91:102;;;12271::64;12301:26;;118:836:102;12301:26:64;;;:::i;:::-;118:836:102;12301:42:64;:61;;;;12271:91;;;12301:61;;;;;8507:83;2282:66;;;8580:3;2282:66;;8507:83;;8178:168;1748:177:46;8281:25:64;118:836:102;1748:177:46;118:836:102;1748:177:46;;118:836:102;1748:177:46;118:836:102;;;;;;;;;;;;;;;:::o;:::-;;;;:::o;:::-;;;;;;;;;;3149:4018:64;3297:459;;;;;;;;;;1317:6;3774:35;;3770:78;;6424:727;4356:13;;4383:160;;;;;;;4560:13;3297:459;4560:13;;4556:83;;3149:4018;4667:3;4657:13;;4653:83;;3149:4018;4764:3;4754:13;;4750:83;;3149:4018;4861:4;4851:14;;4847:84;;3149:4018;4959:4;4949:14;;4945:84;;3149:4018;5057:4;5047:14;;5043:84;;3149:4018;4383:160;5145:14;;5141:84;;3149:4018;5253:5;5243:15;;5239:85;;3149:4018;5352:5;5342:15;;5338:85;;3149:4018;5451:5;5441:15;;5437:85;;3149:4018;5550:5;5540:15;;5536:85;;3149:4018;5649:6;5639:16;;5635:86;;3149:4018;5749:6;5739:16;;5735:86;;3149:4018;5849:6;5839:16;;5835:86;;3149:4018;5949:6;5939:16;;5935:86;;3149:4018;6049:7;6039:17;;6035:86;;3149:4018;6149:7;6139:17;;6135:85;;3149:4018;6248:7;6238:17;;6234:83;;3149:4018;6345:7;6335:17;6331:78;;3149:4018;-1:-1:-1;;6424:727:64;;3149:4018;6424:727;4959:4;6424:727;3149:4018;:::o;6424:727::-;;;;;6331:78;6376:25;118:836:102;;;4383:160:64;2282:66;;6331:78;;6234:83;6279:30;118:836:102;;;4383:160:64;2282:66;;6234:83;;6135:85;118:836:102;6180:32:64;118:836:102;4383:160:64;2282:66;6135:85;;;6035:86;118:836:102;6080:33:64;118:836:102;4383:160:64;2282:66;6035:86;;;5935;118:836:102;5979:34:64;118:836:102;4383:160:64;2282:66;5935:86;;;5835;118:836:102;5879:34:64;118:836:102;4383:160:64;2282:66;5835:86;;;5735;118:836:102;5779:34:64;118:836:102;4383:160:64;2282:66;5735:86;;;5635;118:836:102;5679:34:64;118:836:102;4383:160:64;2282:66;5635:86;;;5536:85;118:836:102;5579:34:64;118:836:102;4383:160:64;2282:66;5536:85;;;5437;118:836:102;5480:34:64;118:836:102;4383:160:64;2282:66;5437:85;;;5338;118:836:102;5381:34:64;118:836:102;4383:160:64;2282:66;5338:85;;;5239;118:836:102;5282:34:64;118:836:102;4383:160:64;2282:66;5239:85;;;5141:84;118:836:102;5183:34:64;118:836:102;4383:160:64;2282:66;5141:84;;;5043;118:836:102;5085:34:64;118:836:102;4383:160:64;2282:66;5043:84;;;4945;118:836:102;4987:34:64;118:836:102;4383:160:64;2282:66;4945:84;;;4847;118:836:102;4889:34:64;118:836:102;4383:160:64;2282:66;4847:84;;;4750:83;118:836:102;4791:34:64;118:836:102;4383:160:64;2282:66;4750:83;;;4653;118:836:102;4694:34:64;118:836:102;4383:160:64;2282:66;4653:83;;;4556;118:836:102;4597:34:64;118:836:102;4383:160:64;2282:66;4556:83;;;3770:78;1431:143:46;3811:20:64;1431:143:46;;;;;;","linkReferences":{}},"methodIdentifiers":{"checkGetSqrtPriceAtTickInvariants(int24)":"f9c19f2d","checkGetTickAtSqrtPriceInvariants(uint160)":"2911f6ae"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.26+commit.8a97fa7a\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"int24\",\"name\":\"tick\",\"type\":\"int24\"}],\"name\":\"checkGetSqrtPriceAtTickInvariants\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint160\",\"name\":\"price\",\"type\":\"uint160\"}],\"name\":\"checkGetTickAtSqrtPriceInvariants\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/test/TickMathEchidnaTest.sol\":\"TickMathEchidnaTest\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":44444444},\"remappings\":[\":@ensdomains/=node_modules/@ensdomains/\",\":@openzeppelin/=lib/openzeppelin-contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":hardhat/=node_modules/hardhat/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":solmate/=lib/solmate/\"],\"viaIR\":true},\"sources\":{\"src/libraries/BitMath.sol\":{\"keccak256\":\"0x51b9be4f5c4fd3e80cbc9631a65244a2eb2be250b6b7f128a2035080e18aee8d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://fe98bbd5498e912146b9319827fc63621eb66ff55d5baae0fa02a7a972ab8d1e\",\"dweb:/ipfs/QmY5hCuyrtgsJtk4AavrxcvBkRrChfr4N6ZnhdC8roPpNi\"]},\"src/libraries/CustomRevert.sol\":{\"keccak256\":\"0x111ed3031b6990c80a93ae35dde6b6ac0b7e6af471388fdd7461e91edda9b7de\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://c9ea883c98d6ae1829160d0977bb5195761cfd5bc81692d0a941f45717f594cd\",\"dweb:/ipfs/QmZPwxzaeMNv536wzrAMrMswu7vMHuqPVpjcqL3YvCMoxt\"]},\"src/libraries/TickMath.sol\":{\"keccak256\":\"0x4e1a11e154eb06106cb1c4598f06cca5f5ca16eaa33494ba2f0e74981123eca8\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://a79a57f7b240783b045168d1c4f774ac1812caf8f9a83cb6959a86b0b07b6c70\",\"dweb:/ipfs/QmTb5kvxwDNW8jDuQaqdJ445cCFejNkUqEB17Bjo8UBiva\"]},\"src/test/TickMathEchidnaTest.sol\":{\"keccak256\":\"0x3b6f08eeda6acc3ab046fcfb68b91d6a175a6f30a64aff00a95f522700a3739e\",\"license\":\"UNLICENSED\",\"urls\":[\"bzz-raw://af03b1737e276c95bc25ce0d6d9067349dd06a3fbd0bfeb39784eaf2a3ed662e\",\"dweb:/ipfs/QmdLggxpEgrfc4fD1CpLwBLNaWsTYqqkHQVtEeaEfnXpnn\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.26+commit.8a97fa7a"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"int24","name":"tick","type":"int24"}],"stateMutability":"pure","type":"function","name":"checkGetSqrtPriceAtTickInvariants"},{"inputs":[{"internalType":"uint160","name":"price","type":"uint160"}],"stateMutability":"pure","type":"function","name":"checkGetTickAtSqrtPriceInvariants"}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@ensdomains/=node_modules/@ensdomains/","@openzeppelin/=lib/openzeppelin-contracts/","ds-test/=lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","hardhat/=node_modules/hardhat/","openzeppelin-contracts/=lib/openzeppelin-contracts/","solmate/=lib/solmate/"],"optimizer":{"enabled":true,"runs":44444444},"metadata":{"bytecodeHash":"none"},"compilationTarget":{"src/test/TickMathEchidnaTest.sol":"TickMathEchidnaTest"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"src/libraries/BitMath.sol":{"keccak256":"0x51b9be4f5c4fd3e80cbc9631a65244a2eb2be250b6b7f128a2035080e18aee8d","urls":["bzz-raw://fe98bbd5498e912146b9319827fc63621eb66ff55d5baae0fa02a7a972ab8d1e","dweb:/ipfs/QmY5hCuyrtgsJtk4AavrxcvBkRrChfr4N6ZnhdC8roPpNi"],"license":"MIT"},"src/libraries/CustomRevert.sol":{"keccak256":"0x111ed3031b6990c80a93ae35dde6b6ac0b7e6af471388fdd7461e91edda9b7de","urls":["bzz-raw://c9ea883c98d6ae1829160d0977bb5195761cfd5bc81692d0a941f45717f594cd","dweb:/ipfs/QmZPwxzaeMNv536wzrAMrMswu7vMHuqPVpjcqL3YvCMoxt"],"license":"MIT"},"src/libraries/TickMath.sol":{"keccak256":"0x4e1a11e154eb06106cb1c4598f06cca5f5ca16eaa33494ba2f0e74981123eca8","urls":["bzz-raw://a79a57f7b240783b045168d1c4f774ac1812caf8f9a83cb6959a86b0b07b6c70","dweb:/ipfs/QmTb5kvxwDNW8jDuQaqdJ445cCFejNkUqEB17Bjo8UBiva"],"license":"MIT"},"src/test/TickMathEchidnaTest.sol":{"keccak256":"0x3b6f08eeda6acc3ab046fcfb68b91d6a175a6f30a64aff00a95f522700a3739e","urls":["bzz-raw://af03b1737e276c95bc25ce0d6d9067349dd06a3fbd0bfeb39784eaf2a3ed662e","dweb:/ipfs/QmdLggxpEgrfc4fD1CpLwBLNaWsTYqqkHQVtEeaEfnXpnn"],"license":"UNLICENSED"}},"version":1},"id":102}