Tidy Numbers solutions

Tidy Numbers was solved using Picat by 2 contestants. Solution sizes: average 1228 bytes (shortest: 514; longest: 1894).