| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1191563 | testDist(int256,int256) | 0x1c2210ef |
| 1191562 | testDist(uint256,uint256) | 0x2113a5c4 |
| 1191561 | testZeroFloorSubCasted(uint32,uint32,uint256) | 0xbce950ec |
| 1191560 | testZeroFloorSub(uint256,uint256) | 0xd70aed07 |
| 1191559 | testMaxCasted(uint32,uint32,uint256) | 0xd2d5bd97 |
| 1191558 | testMaxSigned(int256,int256) | 0x21ee8f21 |
| 1191557 | testMinSigned(int256,int256) | 0xd4d4a5e1 |
| 1191556 | testMinBrutalized(uint256,uint256) | 0x0bcbe0c0 |
| 1191555 | testSqrtHashedSingle() | 0xa0828b52 |
| 1191554 | testSqrtHashed(uint256) | 0x78cb49d6 |