Is the official? pool 185.106.122.31/bitcedi down?
I got it from bitcedi dot org.
Otherwise I can't find a pool with bigger hashrate.