by NimbleLavaBobcat1h agoETH pair0x85466e…95643b
Migrated. Theorems as constraints, wired into web3.
Reading trades.