This looks like a good benchmark for a program synthesis project. Interesting to think about the different ways to deal with the reasoning about however many ne

This looks like a good benchmark for a program synthesis project. Interesting to think about the different ways to deal with the reasoning about however many negative numbers there are and their indices.