Hot Dog Proliferation solutions

Hot Dog Proliferation was solved using Python by 5 contestants. Solution sizes: average 857 bytes (shortest: 623; longest: 1430).