NFL Championship Markets: Format, Seeding and Resolution · Market Guy