Up and Down solutions

Up and Down was solved using Python by 203 contestants. Solution sizes: average 1201 bytes (shortest: 271; longest: 6876).

The list below is sorted by solution size. You can also sort by ranking.