/integer_sum_from_neighbours/
../
generate-neighborsum.py
generate-neighborsumsmv.py
neighborsum-to-latex.py