Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. (25th November 2021)