Sandy Bradley

```sh $ ./echidna-test contracts/test/PRBMathUD60x18.t.sol --contract TestPRBMathUD60x18 Analyzing contract: /.../contracts/test/PRBMathUD60x18.t.sol:TestPRBMathUD60x18 echidna_mulUint: failed!💥 Call sequence: setX(115916773041390072873637598212453390567932363729484377996870) echidna_Uint_convertion: failed!💥 Call sequence: setX(115962837499224411198969207499961588040517688084412876519766) echidna_divUint: failed!💥 Call sequence: setX(115989750869986627937072895547572258287879165164826483095329) setX1(1) ``` PRBMathUD60x18.t.sol ```solidity pragma solidity...

By comparison ... ABDKMath ```sh $ ./echidna-test contracts/test/ABDKQuad.t.sol --contract TestABDKMathQuad Analyzing contract: /.../contracts/test/ABDKQuad.t.sol:TestABDKMathQuad echidna_mulUint: failed!💥 Call sequence: setX1(1106235220955) setX(9390953368914254812617) echidna_Uint_convertion: failed!💥 Call sequence: setX(10518526264810785485368401065708505) echidna_divUint: failed!💥 Call sequence: setX(10417774989007224423389698535018119) setX1(1)...

Thanks Paul. I think the generic echidna fuzz test finds maximum points of failure up to unit max. In this libraries case, I think `115962837499224411198969207499961588040517688084412876519766` is the designed maximum input....

Thanks Paul. I used this in the end. https://github.com/SimonSuckut/Solidity_Uint512

Same issue. I can connect to the socket and send subscription messages but no response data is received.

Same issue: ```sh $ brownie compile Brownie v1.19.1 - Python development framework for Ethereum Compiling contracts... Solc version: 0.8.16 Optimizer: Enabled Runs: 200 EVM Version: Istanbul CompilerError: solc returned the...

Yes, that worked, thank you. ```yaml compiler: evm_version: london solc: version: 0.8.16 optimizer: enabled: true runs: 20000 remappings: null ```

Thank you. I checked the dates carefully as you suggested. I managed to get BTX from coinomy wallet and BCBC with an electrum wallet. I also managed to get WBTC...

Thanks, I managed to recover and sell BTF with https://dig.walleting.services/#/ I also managed to get BTT and GOD through the script with BitGo addresses. Is there anywhere to sell these...

Same issue for me + unknown solver + 1 hour and a half to get to this point ... ``` 2022-05-13 13:36:57,846: [322] m.main:INFO: Registered plugins: IntrospectionAPIPlugin, , 2022-05-13 13:36:57,846:...