A Digging Problem solutions

A Digging Problem was solved using Python by 12 contestants. Solution sizes: average 2774 bytes (shortest: 1199; longest: 4140).

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