Mousetrap solutions

Mousetrap was solved using Python by 41 contestants. Solution sizes: average 961 bytes (shortest: 425; longest: 2642).

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