/integer_sum_from_neighbours/
../
integer_sum_from_neighbours.z3