Minimum Scalar Product solutions

Minimum Scalar Product was solved using Lisp by 3 contestants. Solution sizes: average 1018 bytes (shortest: 496; longest: 1546).