| 1 | {
|
| 2 | "abi": [
|
| 3 | {
|
| 4 | "inputs": [
|
| 5 | {
|
| 6 | "internalType": "uint256",
|
| 7 | "name": "input",
|
| 8 | "type": "uint256"
|
| 9 | }
|
| 10 | ],
|
| 11 | "name": "leastSignificantBitInvariant",
|
| 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": "mostSignificantBitInvariant",
|
| 25 | "outputs": [],
|
| 26 | "stateMutability": "pure",
|
| 27 | "type": "function"
|
| 28 | }
|
| 29 | ],
|
| 30 | "evm": {
|
| 31 | "bytecode": {
|
| 32 | "linkReferences": {},
|
| 33 | "object": "608060405234801561001057600080fd5b506104a8806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80632d711e0c1461003b578063f94ac90e1461005a575b600080fd5b6100586004803603602081101561005157600080fd5b5035610077565b005b6100586004803603602081101561007057600080fd5b50356100c9565b600061008282610106565b905060ff811660020a821661009357fe5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60ff821660020a018216156100c557fe5b5050565b60006100d482610336565b90508060ff1660020a8210156100e657fe5b8060ff1660ff148061010057508060010160ff1660020a82105b6100c557fe5b6000808211610160576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806104516022913960400191505060405180910390fd5b5060ff6fffffffffffffffffffffffffffffffff8216156101a2577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80016101aa565b608082901c91505b67ffffffffffffffff8216156101e1577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0016101e9565b604082901c91505b63ffffffff82161561021c577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe001610224565b602082901c91505b61ffff821615610255577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00161025d565b601082901c91505b60ff82161561028d577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff801610295565b600882901c91505b600f8216156102c5577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc016102cd565b600482901c91505b60038216156102fd577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01610305565b600282901c91505b6001821615610331577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff015b919050565b6000808211610390576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806104306021913960400191505060405180910390fd5b70010000000000000000000000000000000082106103b057608091821c91015b6801000000000000000082106103c857604091821c91015b64010000000082106103dc57602091821c91015b6201000082106103ee57601091821c91015b61010082106103ff57600891821c91015b6010821061040f57600491821c91015b6004821061041f57600291821c91015b600282106103315760010191905056fe4269744d6174683a3a6d6f73745369676e69666963616e744269743a207a65726f4269744d6174683a3a6c656173745369676e69666963616e744269743a207a65726fa26469706673582212205878c5a57100d638f8295ec412ae822e8919690aab6f96159a08dfee44eba0e664736f6c634300060c0033",
|
| 34 | "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x4A8 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 0x2D711E0C EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xF94AC90E 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 0x77 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 PUSH2 0xC9 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x82 DUP3 PUSH2 0x106 JUMP JUMPDEST SWAP1 POP PUSH1 0xFF DUP2 AND PUSH1 0x2 EXP DUP3 AND PUSH2 0x93 JUMPI INVALID JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF PUSH1 0xFF DUP3 AND PUSH1 0x2 EXP ADD DUP3 AND ISZERO PUSH2 0xC5 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xD4 DUP3 PUSH2 0x336 JUMP JUMPDEST SWAP1 POP DUP1 PUSH1 0xFF AND PUSH1 0x2 EXP DUP3 LT ISZERO PUSH2 0xE6 JUMPI INVALID JUMPDEST DUP1 PUSH1 0xFF AND PUSH1 0xFF EQ DUP1 PUSH2 0x100 JUMPI POP DUP1 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP DUP3 LT JUMPDEST PUSH2 0xC5 JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP3 GT PUSH2 0x160 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x22 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0x451 PUSH1 0x22 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST POP PUSH1 0xFF PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 AND ISZERO PUSH2 0x1A2 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF80 ADD PUSH2 0x1AA JUMP JUMPDEST PUSH1 0x80 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH8 0xFFFFFFFFFFFFFFFF DUP3 AND ISZERO PUSH2 0x1E1 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC0 ADD PUSH2 0x1E9 JUMP JUMPDEST PUSH1 0x40 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH4 0xFFFFFFFF DUP3 AND ISZERO PUSH2 0x21C JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE0 ADD PUSH2 0x224 JUMP JUMPDEST PUSH1 0x20 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH2 0xFFFF DUP3 AND ISZERO PUSH2 0x255 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0 ADD PUSH2 0x25D JUMP JUMPDEST PUSH1 0x10 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0xFF DUP3 AND ISZERO PUSH2 0x28D JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF8 ADD PUSH2 0x295 JUMP JUMPDEST PUSH1 0x8 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0xF DUP3 AND ISZERO PUSH2 0x2C5 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC ADD PUSH2 0x2CD JUMP JUMPDEST PUSH1 0x4 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0x3 DUP3 AND ISZERO PUSH2 0x2FD JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE ADD PUSH2 0x305 JUMP JUMPDEST PUSH1 0x2 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0x1 DUP3 AND ISZERO PUSH2 0x331 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF ADD JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP3 GT PUSH2 0x390 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x21 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0x430 PUSH1 0x21 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x3B0 JUMPI PUSH1 0x80 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x3C8 JUMPI PUSH1 0x40 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x3DC JUMPI PUSH1 0x20 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x3EE JUMPI PUSH1 0x10 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x3FF JUMPI PUSH1 0x8 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x40F JUMPI PUSH1 0x4 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x4 DUP3 LT PUSH2 0x41F JUMPI PUSH1 0x2 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x2 DUP3 LT PUSH2 0x331 JUMPI PUSH1 0x1 ADD SWAP2 SWAP1 POP JUMP INVALID TIMESTAMP PUSH10 0x744D6174683A3A6D6F73 PUSH21 0x5369676E69666963616E744269743A207A65726F42 PUSH10 0x744D6174683A3A6C6561 PUSH20 0x745369676E69666963616E744269743A207A6572 PUSH16 0xA26469706673582212205878C5A57100 0xD6 CODESIZE 0xF8 0x29 0x5E 0xC4 SLT 0xAE DUP3 0x2E DUP10 NOT PUSH10 0xAAB6F96159A08DFEE44 0xEB LOG0 0xE6 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
|
| 35 | "sourceMap": "107:505:10:-:0;;;;;;;;;;;;;;;;;;;"
|
| 36 | },
|
| 37 | "deployedBytecode": {
|
| 38 | "immutableReferences": {},
|
| 39 | "linkReferences": {},
|
| 40 | "object": "608060405234801561001057600080fd5b50600436106100365760003560e01c80632d711e0c1461003b578063f94ac90e1461005a575b600080fd5b6100586004803603602081101561005157600080fd5b5035610077565b005b6100586004803603602081101561007057600080fd5b50356100c9565b600061008282610106565b905060ff811660020a821661009357fe5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60ff821660020a018216156100c557fe5b5050565b60006100d482610336565b90508060ff1660020a8210156100e657fe5b8060ff1660ff148061010057508060010160ff1660020a82105b6100c557fe5b6000808211610160576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806104516022913960400191505060405180910390fd5b5060ff6fffffffffffffffffffffffffffffffff8216156101a2577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80016101aa565b608082901c91505b67ffffffffffffffff8216156101e1577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0016101e9565b604082901c91505b63ffffffff82161561021c577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe001610224565b602082901c91505b61ffff821615610255577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00161025d565b601082901c91505b60ff82161561028d577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff801610295565b600882901c91505b600f8216156102c5577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc016102cd565b600482901c91505b60038216156102fd577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01610305565b600282901c91505b6001821615610331577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff015b919050565b6000808211610390576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806104306021913960400191505060405180910390fd5b70010000000000000000000000000000000082106103b057608091821c91015b6801000000000000000082106103c857604091821c91015b64010000000082106103dc57602091821c91015b6201000082106103ee57601091821c91015b61010082106103ff57600891821c91015b6010821061040f57600491821c91015b6004821061041f57600291821c91015b600282106103315760010191905056fe4269744d6174683a3a6d6f73745369676e69666963616e744269743a207a65726f4269744d6174683a3a6c656173745369676e69666963616e744269743a207a65726fa26469706673582212205878c5a57100d638f8295ec412ae822e8919690aab6f96159a08dfee44eba0e664736f6c634300060c0033",
|
| 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 0x2D711E0C EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xF94AC90E 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 0x77 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 PUSH2 0xC9 JUMP JUMPDEST PUSH1 0x0 PUSH2 0x82 DUP3 PUSH2 0x106 JUMP JUMPDEST SWAP1 POP PUSH1 0xFF DUP2 AND PUSH1 0x2 EXP DUP3 AND PUSH2 0x93 JUMPI INVALID JUMPDEST PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF PUSH1 0xFF DUP3 AND PUSH1 0x2 EXP ADD DUP3 AND ISZERO PUSH2 0xC5 JUMPI INVALID JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xD4 DUP3 PUSH2 0x336 JUMP JUMPDEST SWAP1 POP DUP1 PUSH1 0xFF AND PUSH1 0x2 EXP DUP3 LT ISZERO PUSH2 0xE6 JUMPI INVALID JUMPDEST DUP1 PUSH1 0xFF AND PUSH1 0xFF EQ DUP1 PUSH2 0x100 JUMPI POP DUP1 PUSH1 0x1 ADD PUSH1 0xFF AND PUSH1 0x2 EXP DUP3 LT JUMPDEST PUSH2 0xC5 JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP3 GT PUSH2 0x160 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x22 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0x451 PUSH1 0x22 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST POP PUSH1 0xFF PUSH16 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 AND ISZERO PUSH2 0x1A2 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF80 ADD PUSH2 0x1AA JUMP JUMPDEST PUSH1 0x80 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH8 0xFFFFFFFFFFFFFFFF DUP3 AND ISZERO PUSH2 0x1E1 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC0 ADD PUSH2 0x1E9 JUMP JUMPDEST PUSH1 0x40 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH4 0xFFFFFFFF DUP3 AND ISZERO PUSH2 0x21C JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE0 ADD PUSH2 0x224 JUMP JUMPDEST PUSH1 0x20 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH2 0xFFFF DUP3 AND ISZERO PUSH2 0x255 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0 ADD PUSH2 0x25D JUMP JUMPDEST PUSH1 0x10 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0xFF DUP3 AND ISZERO PUSH2 0x28D JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF8 ADD PUSH2 0x295 JUMP JUMPDEST PUSH1 0x8 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0xF DUP3 AND ISZERO PUSH2 0x2C5 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC ADD PUSH2 0x2CD JUMP JUMPDEST PUSH1 0x4 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0x3 DUP3 AND ISZERO PUSH2 0x2FD JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE ADD PUSH2 0x305 JUMP JUMPDEST PUSH1 0x2 DUP3 SWAP1 SHR SWAP2 POP JUMPDEST PUSH1 0x1 DUP3 AND ISZERO PUSH2 0x331 JUMPI PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF ADD JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP3 GT PUSH2 0x390 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE PUSH1 0x21 DUP2 MSTORE PUSH1 0x20 ADD DUP1 PUSH2 0x430 PUSH1 0x21 SWAP2 CODECOPY PUSH1 0x40 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH17 0x100000000000000000000000000000000 DUP3 LT PUSH2 0x3B0 JUMPI PUSH1 0x80 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH9 0x10000000000000000 DUP3 LT PUSH2 0x3C8 JUMPI PUSH1 0x40 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH5 0x100000000 DUP3 LT PUSH2 0x3DC JUMPI PUSH1 0x20 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH3 0x10000 DUP3 LT PUSH2 0x3EE JUMPI PUSH1 0x10 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH2 0x100 DUP3 LT PUSH2 0x3FF JUMPI PUSH1 0x8 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x10 DUP3 LT PUSH2 0x40F JUMPI PUSH1 0x4 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x4 DUP3 LT PUSH2 0x41F JUMPI PUSH1 0x2 SWAP2 DUP3 SHR SWAP2 ADD JUMPDEST PUSH1 0x2 DUP3 LT PUSH2 0x331 JUMPI PUSH1 0x1 ADD SWAP2 SWAP1 POP JUMP INVALID TIMESTAMP PUSH10 0x744D6174683A3A6D6F73 PUSH21 0x5369676E69666963616E744269743A207A65726F42 PUSH10 0x744D6174683A3A6C6561 PUSH20 0x745369676E69666963616E744269743A207A6572 PUSH16 0xA26469706673582212205878C5A57100 0xD6 CODESIZE 0xF8 0x29 0x5E 0xC4 SLT 0xAE DUP3 0x2E DUP10 NOT PUSH10 0xAAB6F96159A08DFEE44 0xEB LOG0 0xE6 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
|
| 42 | "sourceMap": "107:505:10:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;380:230;;;;;;;;;;;;;;;;-1:-1:-1;380:230:10;;:::i;:::-;;141:233;;;;;;;;;;;;;;;;-1:-1:-1;141:233:10;;:::i;380:230::-;457:9;469:34;497:5;469:27;:34::i;:::-;457:46;-1:-1:-1;529:15:10;;;537:1;529:15;520:25;;513:38;;;;577:19;:15;;;585:1;577:15;:19;568:29;;:34;561:42;;;;380:230;;:::o;141:233::-;217:9;229:33;256:5;229:26;:33::i;:::-;217:45;;301:3;289:15;;297:1;289:15;279:5;:26;;272:34;;;;323:3;:10;;330:3;323:10;:43;;;;358:3;364:1;358:7;345:21;;353:1;345:21;337:5;:29;323:43;316:51;;;1210:902:2;1273:7;1304:1;1300;:5;1292:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1359:3:2;1376:15;;;:19;1372:98;;1411:8;;1372:98;;;1456:3;1450:9;;;;;1372:98;1483:14;;;:18;1479:95;;1517:7;;1479:95;;;1561:2;1555:8;;;;;1479:95;1587:14;;;:18;1583:95;;1621:7;;1583:95;;;1665:2;1659:8;;;;;1583:95;1691:14;;;:18;1687:95;;1725:7;;1687:95;;;1769:2;1763:8;;;;;1687:95;1795:13;;;:17;1791:92;;1828:6;;1791:92;;;1871:1;1865:7;;;;;1791:92;1900:3;1896:7;;:11;1892:86;;1923:6;;1892:86;;;1966:1;1960:7;;;;;1892:86;1995:3;1991:7;;:11;1987:86;;2018:6;;1987:86;;;2061:1;2055:7;;;;;1987:86;2090:3;2086:7;;:11;2082:23;;2099:6;;2082:23;1210:902;;;:::o;217:768::-;279:7;310:1;306;:5;298:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;369:35;364:1;:40;360:102;;426:3;420:9;;;;443:8;360:102;480:19;475:1;:24;471:84;;521:2;515:8;;;;537:7;471:84;573:11;568:1;:16;564:76;;606:2;600:8;;;;622:7;564:76;658:7;653:1;:12;649:72;;687:2;681:8;;;;703:7;649:72;739:5;734:1;:10;730:68;;766:1;760:7;;;;781:6;730:68;816:4;811:1;:9;807:67;;842:1;836:7;;;;857:6;807:67;892:3;887:1;:8;883:66;;917:1;911:7;;;;932:6;883:66;967:3;962:1;:8;958:20;;977:1;972:6;217:768;;;:::o"
|
| 43 | }
|
| 44 | },
|
| 45 | "metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"input\",\"type\":\"uint256\"}],\"name\":\"leastSignificantBitInvariant\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"input\",\"type\":\"uint256\"}],\"name\":\"mostSignificantBitInvariant\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/test/BitMathEchidnaTest.sol\":\"BitMathEchidnaTest\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"contracts/libraries/BitMath.sol\":{\"keccak256\":\"0xa4d662f44b982fc9aa6542249aa79b2b07b3e34d5cdaa03720d3d471ac07f5de\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://4d40d6c87edb8699d5c5c80344b642a516e0a071f173d393678fee58bbc5fde5\",\"dweb:/ipfs/QmXfp4W5jAdpcsv8VTP8RWsPcmASEtmzF9Xg9xehKK7Xdm\"]},\"contracts/test/BitMathEchidnaTest.sol\":{\"keccak256\":\"0x344aa98f3bbd92b9d1290e41fdfe17f23c81e09b247642a9adf5ba4eca833e7d\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://d1ae28b9f41147ce1d20eaabacaa6a136fc9ef3fa4516485fecc21b1fe155063\",\"dweb:/ipfs/QmSsCqzXWLV7dJosJaGFpGDsQC8KXWBpY7usFEBQCPPbWm\"]}},\"version\":1}",
|
| 46 | "bytecode": "608060405234801561001057600080fd5b506104a8806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80632d711e0c1461003b578063f94ac90e1461005a575b600080fd5b6100586004803603602081101561005157600080fd5b5035610077565b005b6100586004803603602081101561007057600080fd5b50356100c9565b600061008282610106565b905060ff811660020a821661009357fe5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60ff821660020a018216156100c557fe5b5050565b60006100d482610336565b90508060ff1660020a8210156100e657fe5b8060ff1660ff148061010057508060010160ff1660020a82105b6100c557fe5b6000808211610160576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806104516022913960400191505060405180910390fd5b5060ff6fffffffffffffffffffffffffffffffff8216156101a2577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80016101aa565b608082901c91505b67ffffffffffffffff8216156101e1577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0016101e9565b604082901c91505b63ffffffff82161561021c577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe001610224565b602082901c91505b61ffff821615610255577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00161025d565b601082901c91505b60ff82161561028d577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff801610295565b600882901c91505b600f8216156102c5577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc016102cd565b600482901c91505b60038216156102fd577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01610305565b600282901c91505b6001821615610331577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff015b919050565b6000808211610390576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806104306021913960400191505060405180910390fd5b70010000000000000000000000000000000082106103b057608091821c91015b6801000000000000000082106103c857604091821c91015b64010000000082106103dc57602091821c91015b6201000082106103ee57601091821c91015b61010082106103ff57600891821c91015b6010821061040f57600491821c91015b6004821061041f57600291821c91015b600282106103315760010191905056fe4269744d6174683a3a6d6f73745369676e69666963616e744269743a207a65726f4269744d6174683a3a6c656173745369676e69666963616e744269743a207a65726fa26469706673582212205878c5a57100d638f8295ec412ae822e8919690aab6f96159a08dfee44eba0e664736f6c634300060c0033"
|
| 47 | } |
| \ | No newline at end of file |