Mousetrap solutions

Mousetrap was solved using Pascal by 8 contestants. Solution sizes: average 1350 bytes (shortest: 681; longest: 2560).