Hot Dog Proliferation solutions

Hot Dog Proliferation was solved using C# by 2 contestants. Solution sizes: average 4059 bytes (shortest: 2711; longest: 5407).