| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1193816 | testExecuteTamperedValues(uint8) | 0x48494604 |
| 1193815 | testVerifyTamperedValues(uint8) | 0xd52fc007 |
| 1193801 | testTryModExp(uint256,uint256,uint256) | 0xa03ad17f |
| 1193800 | testModExp(uint256,uint256,uint256) | 0x8a59e100 |
| 1193798 | testInvModP256(uint256) | 0xc0c12334 |
| 1193797 | testInvMod65537(uint256) | 0x0282b1a4 |
| 1193796 | testInvMod17(uint256) | 0x5e72b970 |
| 1193791 | testSymbolicTernary(bool,uint256,uint256) | 0x10005e25 |
| 1193790 | testSymbolicAbs(int256) | 0xf200549d |
| 1193788 | testAverage1(int256,int256) | 0x50b36612 |