List of leaked Ethereum private keys?

Does anyone know of a list of private keys that got leaked and have been used before?
There are some bots running that automatically retrieve all the value sent to such addresses, but does anyone actually know of a list of these?