Allow to pass shorter input

Currently, WEIRD THINGS happen when one passes input which is shorter (has less variables) than the program expects (longer is fine though).

This should be fixed so that short input is automatically padded with zeroes.