removed the outputs statements of shortest vectors found because it seemed
to always be correct anyway. Instead, we are just printing out the dimension
that it finishes in