12^52 / 13^52