this
input
file
is
really
pretty
stupid
but
it
is
good
enough
for
what
we
need
