| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1197066 | testSymbolicInvMod65537(uint256) | 0x5b13c8a6 |
| 1197065 | testSymbolicInvMod17(uint256) | 0xb861c5bd |
| 1197064 | testSymbolicInvMod2(uint256) | 0x03e9e451 |
| 1197063 | testSymbolicCeilDiv(uint256,uint256) | 0x4b2ef81d |
| 1197062 | testSymbolicAdd512(uint256,uint256) | 0x19da3823 |
| 1197061 | testSymbolicAverage2(int256,int256) | 0x358535c9 |
| 1197060 | makeAdditionalBlocksConfig(uint8,uint16) | 0xd372ee80 |
| 1197059 | configure(uint8,uint16) | 0x9539a15a |
| 1197058 | configure(bytes32) | 0xca23addf |
| 1197057 | test_configure() | 0x36d9ffb9 |