Revenge of the Hot Dogs solutions

Revenge of the Hot Dogs was solved using D by 2 contestants. Solution sizes: average 1092 bytes (shortest: 883; longest: 1301).