Kadane's algorithm Exploiting Dijkstra's Invariant git init