| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1193794 | testSymbolicMinMax(uint256,uint256) | 0x1d4c5dbd |
| 1193793 | testMul512(uint256,uint256) | 0x282ad7b6 |
| 1193792 | testAdd512(uint256,uint256) | 0xa6b8491f |
| 1193791 | testSymbolicTernary(bool,uint256,uint256) | 0x10005e25 |
| 1193790 | testSymbolicAbs(int256) | 0xf200549d |
| 1193789 | testAverage2(int256,int256) | 0x5d445336 |
| 1193788 | testAverage1(int256,int256) | 0x50b36612 |
| 1193787 | testSymbolicMax(int256,int256) | 0x5fbaeb7f |
| 1193786 | testSymbolicMin(int256,int256) | 0x4f686464 |
| 1193785 | testSymbolicMinMax(int256,int256) | 0xbd573613 |