i<n:6 states - 0ms
Total computation time: 0ms.