What are the odds of pocket aces vs pocket kings preflop?

Tex answers this question about odds probability poker. This answer will be filled in by the content generation pipeline.