HOLDEM MANAGER 1 es compatible con 888 poker o PKR?