UNPKG

@venomswap/lib/build/BabylonianEchidnaTest.json

Version:

1{
"abi": [
  {
    "inputs": [
      {
        "internalType": "uint8",
        "name": "index",
        "type": "uint8"
      }
    ],
    "name": "checkMaxForIndex",
    "outputs": [],
    "stateMutability": "pure",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "input",
        "type": "uint256"
      }
    ],
    "name": "checkSqrt",
    "outputs": [],
    "stateMutability": "pure",
    "type": "function"
  }
],
"evm": {
  "bytecode": {
    "linkReferences": {},
    "object": "608060405234801561001057600080fd5b506102ad806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033",
    "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x2AD DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x922AB1E2 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xE4134DE5 EQ PUSH2 0x5A JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x51 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH2 0x7A JUMP JUMPDEST STOP JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x70 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH1 0xFF AND PUSH2 0xDB JUMP JUMPDEST PUSH1 0x0 PUSH2 0x85 DUP3 PUSH2 0x122 JUMP JUMPDEST SWAP1 POP PUSH17 0x100000000000000000000000000000000 DUP2 LT PUSH2 0xA1 JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 EXP GT ISZERO PUSH2 0xAE JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 PUSH1 0x1 ADD EXP GT DUP1 PUSH2 0xD1 JUMPI POP PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP2 EQ JUMPDEST PUSH2 0xD7 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH2 0x11F DUP2 PUSH1 0xFF AND PUSH1 0xFF EQ PUSH2 0xF8 JUMPI DUP2 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP PUSH2 0x11A JUMP JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF JUMPDEST PUSH2 0x7A JUMP JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 PUSH2 0x131 JUMPI POP PUSH1 0x0 PUSH2 0x272 JUMP JUMPDEST DUP2 PUSH1 0x1 PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x157 JUMPI PUSH1 0x80 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x40 SHL JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x172 JUMPI PUSH1 0x40 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x20 SHL JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x189 JUMPI PUSH1 0x20 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x10 SHL JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x19E JUMPI PUSH1 0x10 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x8 SHL JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x1B2 JUMPI PUSH1 0x8 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x4 SHL JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x1C5 JUMPI PUSH1 0x4 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x2 SHL JUMPDEST PUSH1 0x8 DUP3 LT PUSH2 0x1D1 JUMPI PUSH1 0x1 SHL JUMPDEST PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1DC JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1EE JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x200 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x212 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x224 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x236 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x248 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x0 DUP2 DUP6 DUP2 PUSH2 0x25A JUMPI INVALID JUMPDEST DIV SWAP1 POP DUP1 DUP3 LT PUSH2 0x26A JUMPI DUP1 PUSH2 0x26C JUMP JUMPDEST DUP2 JUMPDEST SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xB8 DUP13 SUB 0xB4 0xDD DUP10 0x4A DUP6 SWAP13 0x5F PUSH20 0x7CD23CC6F98E6DDACB8DEEF4DFC1B406CECF5523 CODECOPY PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
    "sourceMap": "111:478:8:-:0;;;;;;;;;;;;;;;;;;;"
  },
  "deployedBytecode": {
    "immutableReferences": {},
    "linkReferences": {},
    "object": "608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033",
    "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x922AB1E2 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xE4134DE5 EQ PUSH2 0x5A JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x51 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH2 0x7A JUMP JUMPDEST STOP JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x70 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH1 0xFF AND PUSH2 0xDB JUMP JUMPDEST PUSH1 0x0 PUSH2 0x85 DUP3 PUSH2 0x122 JUMP JUMPDEST SWAP1 POP PUSH17 0x100000000000000000000000000000000 DUP2 LT PUSH2 0xA1 JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 EXP GT ISZERO PUSH2 0xAE JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 PUSH1 0x1 ADD EXP GT DUP1 PUSH2 0xD1 JUMPI POP PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP2 EQ JUMPDEST PUSH2 0xD7 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH2 0x11F DUP2 PUSH1 0xFF AND PUSH1 0xFF EQ PUSH2 0xF8 JUMPI DUP2 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP PUSH2 0x11A JUMP JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF JUMPDEST PUSH2 0x7A JUMP JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 PUSH2 0x131 JUMPI POP PUSH1 0x0 PUSH2 0x272 JUMP JUMPDEST DUP2 PUSH1 0x1 PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x157 JUMPI PUSH1 0x80 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x40 SHL JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x172 JUMPI PUSH1 0x40 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x20 SHL JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x189 JUMPI PUSH1 0x20 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x10 SHL JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x19E JUMPI PUSH1 0x10 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x8 SHL JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x1B2 JUMPI PUSH1 0x8 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x4 SHL JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x1C5 JUMPI PUSH1 0x4 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x2 SHL JUMPDEST PUSH1 0x8 DUP3 LT PUSH2 0x1D1 JUMPI PUSH1 0x1 SHL JUMPDEST PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1DC JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1EE JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x200 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x212 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x224 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x236 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x248 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x0 DUP2 DUP6 DUP2 PUSH2 0x25A JUMPI INVALID JUMPDEST DIV SWAP1 POP DUP1 DUP3 LT PUSH2 0x26A JUMPI DUP1 PUSH2 0x26C JUMP JUMPDEST DUP2 JUMPDEST SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xB8 DUP13 SUB 0xB4 0xDD DUP10 0x4A DUP6 SWAP13 0x5F PUSH20 0x7CD23CC6F98E6DDACB8DEEF4DFC1B406CECF5523 CODECOPY PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
    "sourceMap": "111:478:8:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;148:300;;;;;;;;;;;;;;;;-1:-1:-1;148:300:8;;:::i;:::-;;454:133;;;;;;;;;;;;;;;;-1:-1:-1;454:133:8;;;;:::i;148:300::-;204:12;219:22;235:5;219:15;:22::i;:::-;204:37;;266:6;259:4;:13;252:21;;;;373:5;368:1;362:4;:7;:16;;355:24;;;;412:5;408:1;397:4;404:1;397:8;396:13;:21;:44;;;-1:-1:-1;421:19:8;;;396:44;389:52;;;;148:300;;:::o;454:133::-;517:63;527:5;:12;;536:3;527:12;:52;;569:5;577:1;569:9;556:23;;564:1;556:23;527:52;;;550:2;527:52;517:9;:63::i;:::-;454:133;:::o;382:1197:1:-;430:7;453:6;449:20;;-1:-1:-1;468:1:1;461:8;;449:20;644:1;667;688:35;682:41;;678:104;;746:3;739:10;;;;;769:2;763:8;678:104;801:19;795:2;:25;791:87;;843:2;836:9;;;;;865:2;859:8;791:87;897:11;891:2;:17;887:79;;931:2;924:9;;;;;953:2;947:8;887:79;985:7;979:2;:13;975:74;;1015:2;1008:9;;;;;1037:1;1031:7;975:74;1068:5;1062:2;:11;1058:71;;1096:1;1089:8;;;;;1117:1;1111:7;1058:71;1148:4;1142:2;:10;1138:70;;1175:1;1168:8;;;;;1196:1;1190:7;1138:70;1227:3;1221:2;:9;1217:47;;1252:1;1246:7;1217:47;1292:1;1286;1282;:5;;;;;;1278:1;:9;1277:16;;1273:20;;1322:1;1316;1312;:5;;;;;;1308:1;:9;1307:16;;1303:20;;1352:1;1346;1342;:5;;;;;;1338:1;:9;1337:16;;1333:20;;1382:1;1376;1372;:5;;;;;;1368:1;:9;1367:16;;1363:20;;1412:1;1406;1402;:5;;;;;;1398:1;:9;1397:16;;1393:20;;1442:1;1436;1432;:5;;;;;;1428:1;:9;1427:16;;1423:20;;1472:1;1466;1462;:5;;;;;;1458:1;:9;1457:16;;1453:20;;1520:10;1537:1;1533;:5;;;;;;1520:18;;1560:2;1556:1;:6;:15;;1569:2;1556:15;;;1565:1;1556:15;1548:24;;;;;382:1197;;;;:::o"
  }
},
"metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"index\",\"type\":\"uint8\"}],\"name\":\"checkMaxForIndex\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"input\",\"type\":\"uint256\"}],\"name\":\"checkSqrt\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/test/BabylonianEchidnaTest.sol\":\"BabylonianEchidnaTest\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"contracts/libraries/Babylonian.sol\":{\"keccak256\":\"0xc2389737a1d4954f93ed88099f8833ccc350a62b8b29b61c2a24f237eb4649bc\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://3d95218a6f0c7c5030e1f81aabcfe297449bf8bb92fcac1c4ba9bcfc8d61e62b\",\"dweb:/ipfs/QmXzJQLQfgqCuxL5JGMrKRQf5ziRNvQiQkNK3ZK6Lkn4CR\"]},\"contracts/test/BabylonianEchidnaTest.sol\":{\"keccak256\":\"0x0edba345def987065c5058b0ab2bb0725317145e483e9f1ea97f86efb79aa638\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://9c23cf12bc543168e664d6cd1a3b3db901372d19854498764f379d0bb76b3cd3\",\"dweb:/ipfs/QmPrBLiBrkZw9FPh7D2LaDj5LcEVdBkqbwfztAEFrGDcbX\"]}},\"version\":1}",
"bytecode": "608060405234801561001057600080fd5b506102ad806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033"
47}
\No newline at end of file

1	`{`
2	`"abi": [`
3	`{`
4	`"inputs": [`
5	`{`
6	`"internalType": "uint8",`
7	`"name": "index",`
8	`"type": "uint8"`
9	`}`
10	`],`
11	`"name": "checkMaxForIndex",`
12	`"outputs": [],`
13	`"stateMutability": "pure",`
14	`"type": "function"`
15	`},`
16	`{`
17	`"inputs": [`
18	`{`
19	`"internalType": "uint256",`
20	`"name": "input",`
21	`"type": "uint256"`
22	`}`
23	`],`
24	`"name": "checkSqrt",`
25	`"outputs": [],`
26	`"stateMutability": "pure",`
27	`"type": "function"`
28	`}`
29	`],`
30	`"evm": {`
31	`"bytecode": {`
32	`"linkReferences": {},`
33	"object": "608060405234801561001057600080fd5b506102ad806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033",
34	"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x2AD DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x922AB1E2 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xE4134DE5 EQ PUSH2 0x5A JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x51 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH2 0x7A JUMP JUMPDEST STOP JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x70 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH1 0xFF AND PUSH2 0xDB JUMP JUMPDEST PUSH1 0x0 PUSH2 0x85 DUP3 PUSH2 0x122 JUMP JUMPDEST SWAP1 POP PUSH17 0x100000000000000000000000000000000 DUP2 LT PUSH2 0xA1 JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 EXP GT ISZERO PUSH2 0xAE JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 PUSH1 0x1 ADD EXP GT DUP1 PUSH2 0xD1 JUMPI POP PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP2 EQ JUMPDEST PUSH2 0xD7 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH2 0x11F DUP2 PUSH1 0xFF AND PUSH1 0xFF EQ PUSH2 0xF8 JUMPI DUP2 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP PUSH2 0x11A JUMP JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF JUMPDEST PUSH2 0x7A JUMP JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 PUSH2 0x131 JUMPI POP PUSH1 0x0 PUSH2 0x272 JUMP JUMPDEST DUP2 PUSH1 0x1 PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x157 JUMPI PUSH1 0x80 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x40 SHL JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x172 JUMPI PUSH1 0x40 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x20 SHL JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x189 JUMPI PUSH1 0x20 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x10 SHL JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x19E JUMPI PUSH1 0x10 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x8 SHL JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x1B2 JUMPI PUSH1 0x8 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x4 SHL JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x1C5 JUMPI PUSH1 0x4 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x2 SHL JUMPDEST PUSH1 0x8 DUP3 LT PUSH2 0x1D1 JUMPI PUSH1 0x1 SHL JUMPDEST PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1DC JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1EE JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x200 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x212 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x224 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x236 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x248 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x0 DUP2 DUP6 DUP2 PUSH2 0x25A JUMPI INVALID JUMPDEST DIV SWAP1 POP DUP1 DUP3 LT PUSH2 0x26A JUMPI DUP1 PUSH2 0x26C JUMP JUMPDEST DUP2 JUMPDEST SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xB8 DUP13 SUB 0xB4 0xDD DUP10 0x4A DUP6 SWAP13 0x5F PUSH20 0x7CD23CC6F98E6DDACB8DEEF4DFC1B406CECF5523 CODECOPY PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
35	`"sourceMap": "111:478:8:-:0;;;;;;;;;;;;;;;;;;;"`
36	`},`
37	`"deployedBytecode": {`
38	`"immutableReferences": {},`
39	`"linkReferences": {},`
40	"object": "608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033",
41	"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x922AB1E2 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xE4134DE5 EQ PUSH2 0x5A JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x51 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH2 0x7A JUMP JUMPDEST STOP JUMPDEST PUSH2 0x58 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x70 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD PUSH1 0xFF AND PUSH2 0xDB JUMP JUMPDEST PUSH1 0x0 PUSH2 0x85 DUP3 PUSH2 0x122 JUMP JUMPDEST SWAP1 POP PUSH17 0x100000000000000000000000000000000 DUP2 LT PUSH2 0xA1 JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 EXP GT ISZERO PUSH2 0xAE JUMPI INVALID JUMPDEST DUP2 PUSH1 0x2 DUP3 PUSH1 0x1 ADD EXP GT DUP1 PUSH2 0xD1 JUMPI POP PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP2 EQ JUMPDEST PUSH2 0xD7 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH2 0x11F DUP2 PUSH1 0xFF AND PUSH1 0xFF EQ PUSH2 0xF8 JUMPI DUP2 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP PUSH2 0x11A JUMP JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF JUMPDEST PUSH2 0x7A JUMP JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 PUSH2 0x131 JUMPI POP PUSH1 0x0 PUSH2 0x272 JUMP JUMPDEST DUP2 PUSH1 0x1 PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x157 JUMPI PUSH1 0x80 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x40 SHL JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x172 JUMPI PUSH1 0x40 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x20 SHL JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x189 JUMPI PUSH1 0x20 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x10 SHL JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x19E JUMPI PUSH1 0x10 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x8 SHL JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x1B2 JUMPI PUSH1 0x8 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x4 SHL JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x1C5 JUMPI PUSH1 0x4 SWAP2 SWAP1 SWAP2 SHR SWAP1 PUSH1 0x2 SHL JUMPDEST PUSH1 0x8 DUP3 LT PUSH2 0x1D1 JUMPI PUSH1 0x1 SHL JUMPDEST PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1DC JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x1EE JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x200 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x212 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x224 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x236 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x1 DUP2 DUP6 DUP2 PUSH2 0x248 JUMPI INVALID JUMPDEST DIV DUP3 ADD SWAP1 SHR SWAP1 POP PUSH1 0x0 DUP2 DUP6 DUP2 PUSH2 0x25A JUMPI INVALID JUMPDEST DIV SWAP1 POP DUP1 DUP3 LT PUSH2 0x26A JUMPI DUP1 PUSH2 0x26C JUMP JUMPDEST DUP2 JUMPDEST SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xB8 DUP13 SUB 0xB4 0xDD DUP10 0x4A DUP6 SWAP13 0x5F PUSH20 0x7CD23CC6F98E6DDACB8DEEF4DFC1B406CECF5523 CODECOPY PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
42	"sourceMap": "111:478:8:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;148:300;;;;;;;;;;;;;;;;-1:-1:-1;148:300:8;;:::i;:::-;;454:133;;;;;;;;;;;;;;;;-1:-1:-1;454:133:8;;;;:::i;148:300::-;204:12;219:22;235:5;219:15;:22::i;:::-;204:37;;266:6;259:4;:13;252:21;;;;373:5;368:1;362:4;:7;:16;;355:24;;;;412:5;408:1;397:4;404:1;397:8;396:13;:21;:44;;;-1:-1:-1;421:19:8;;;396:44;389:52;;;;148:300;;:::o;454:133::-;517:63;527:5;:12;;536:3;527:12;:52;;569:5;577:1;569:9;556:23;;564:1;556:23;527:52;;;550:2;527:52;517:9;:63::i;:::-;454:133;:::o;382:1197:1:-;430:7;453:6;449:20;;-1:-1:-1;468:1:1;461:8;;449:20;644:1;667;688:35;682:41;;678:104;;746:3;739:10;;;;;769:2;763:8;678:104;801:19;795:2;:25;791:87;;843:2;836:9;;;;;865:2;859:8;791:87;897:11;891:2;:17;887:79;;931:2;924:9;;;;;953:2;947:8;887:79;985:7;979:2;:13;975:74;;1015:2;1008:9;;;;;1037:1;1031:7;975:74;1068:5;1062:2;:11;1058:71;;1096:1;1089:8;;;;;1117:1;1111:7;1058:71;1148:4;1142:2;:10;1138:70;;1175:1;1168:8;;;;;1196:1;1190:7;1138:70;1227:3;1221:2;:9;1217:47;;1252:1;1246:7;1217:47;1292:1;1286;1282;:5;;;;;;1278:1;:9;1277:16;;1273:20;;1322:1;1316;1312;:5;;;;;;1308:1;:9;1307:16;;1303:20;;1352:1;1346;1342;:5;;;;;;1338:1;:9;1337:16;;1333:20;;1382:1;1376;1372;:5;;;;;;1368:1;:9;1367:16;;1363:20;;1412:1;1406;1402;:5;;;;;;1398:1;:9;1397:16;;1393:20;;1442:1;1436;1432;:5;;;;;;1428:1;:9;1427:16;;1423:20;;1472:1;1466;1462;:5;;;;;;1458:1;:9;1457:16;;1453:20;;1520:10;1537:1;1533;:5;;;;;;1520:18;;1560:2;1556:1;:6;:15;;1569:2;1556:15;;;1565:1;1556:15;1548:24;;;;;382:1197;;;;:::o"
43	`}`
44	`},`
45	"metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"index\",\"type\":\"uint8\"}],\"name\":\"checkMaxForIndex\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"input\",\"type\":\"uint256\"}],\"name\":\"checkSqrt\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/test/BabylonianEchidnaTest.sol\":\"BabylonianEchidnaTest\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"contracts/libraries/Babylonian.sol\":{\"keccak256\":\"0xc2389737a1d4954f93ed88099f8833ccc350a62b8b29b61c2a24f237eb4649bc\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://3d95218a6f0c7c5030e1f81aabcfe297449bf8bb92fcac1c4ba9bcfc8d61e62b\",\"dweb:/ipfs/QmXzJQLQfgqCuxL5JGMrKRQf5ziRNvQiQkNK3ZK6Lkn4CR\"]},\"contracts/test/BabylonianEchidnaTest.sol\":{\"keccak256\":\"0x0edba345def987065c5058b0ab2bb0725317145e483e9f1ea97f86efb79aa638\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://9c23cf12bc543168e664d6cd1a3b3db901372d19854498764f379d0bb76b3cd3\",\"dweb:/ipfs/QmPrBLiBrkZw9FPh7D2LaDj5LcEVdBkqbwfztAEFrGDcbX\"]}},\"version\":1}",
46	"bytecode": "608060405234801561001057600080fd5b506102ad806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063922ab1e21461003b578063e4134de51461005a575b600080fd5b6100586004803603602081101561005157600080fd5b503561007a565b005b6100586004803603602081101561007057600080fd5b503560ff166100db565b600061008582610122565b905070010000000000000000000000000000000081106100a157fe5b816002820a11156100ae57fe5b816002826001010a11806100d157506fffffffffffffffffffffffffffffffff81145b6100d757fe5b5050565b61011f8160ff1660ff146100f8578160010160ff1660020a61011a565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b61007a565b50565b60008161013157506000610272565b81600170010000000000000000000000000000000082106101575760809190911c9060401b5b6801000000000000000082106101725760409190911c9060201b5b64010000000082106101895760209190911c9060101b5b62010000821061019e5760109190911c9060081b5b61010082106101b25760089190911c9060041b5b601082106101c55760049190911c9060021b5b600882106101d15760011b5b60018185816101dc57fe5b048201901c905060018185816101ee57fe5b048201901c9050600181858161020057fe5b048201901c9050600181858161021257fe5b048201901c9050600181858161022457fe5b048201901c9050600181858161023657fe5b048201901c9050600181858161024857fe5b048201901c9050600081858161025a57fe5b04905080821061026a578061026c565b815b93505050505b91905056fea2646970667358221220b88c03b4dd894a859c5f737cd23cc6f98e6ddacb8deef4dfc1b406cecf55233964736f6c634300060c0033"
47	`}`
\	No newline at end of file