Problem:
Problem I: Text Justification

You are hired by the ∀I¶אΞ℘, an extraterrestrial intelligence, as a programmer of their typesetting system. Your
task today is to design an algorithm for text justification.

Text justification is to equalize the line widths as much as possible by inserting line breaks at appropriate posi-
tions, given a word sequence called a paragraph and the width of the paper. Since you have not developed an
automatic hyphenation algorithm yet, you cannot break a line in the middle of a word. And since their language
does not put spaces between words, you do not need to consider about spacing.

To measure how well the text is justified in one configuration (i.e., a set of lines generated by inserting line breaks
to a paragraph), you have defined its cost as follows:

The total cost of a paragraph is the sum of the cost of each line.

The cost for the last line is defined as max(0, s - w).

The cost for other lines are given by |s - w|.

where s is the sum of the widths of the words in the line, and w is the width of the paper.

Please design the algorithm which takes a paragraph and calculates the configuration of the minimum cost.

Input

The input consists of multiple test cases.

The first line of each test case contains two positive integers n and w (0 ≤ n ≤ 1000 and 0 ≤ w ≤ 1,000,000). n
is the length of paragraph and w is the width of the used paper. Each of the following n lines contains one positive
integer ai which indicates the width of the i-th word in the paragraph. Here it is guaranteed that 0 ≤ ai ≤ w.

The input terminates with the line containing two zeros. This is not a part of any test case and should not be
processed.

Output

For each test case, print the case number and the minimum cost for the paragraph.

Sample Input

4 10
8
6
9
1
4 7
1
2
3
4
0 0

Output for the Sample Input

Case 1: 4
Case 2: 1

Solution in C++14 (judge verdict: Accepted)

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i))
#define all(x) (x).begin(),(x).end()
#define pb push_back
#define fi first
#define se second
#define dbg(x) cout<<#x" = "<<((x))<<endl
template<class T,class U> ostream& operator<<(ostream& o, const pair<T,U> &p){o<<"("<<p.fi<<","<<p.se<<")";return o;}
template<class T> ostream& operator<<(ostream& o, const vector<T> &v){o<<"[";for(T t:v){o<<t<<",";}o<<"]";return o;}

const ll INF = LLONG_MAX/3;

ll solve(int n, int w){
    vector<ll> a(n);
    rep(i,n) scanf(" %lld", &a[i]);

    vector<ll> dp(n+1,INF);
    dp[0] = 0;
    rep(i,n){
        ll s = 0;
        for(int j=i; j<n; ++j){
            s += a[j];

            ll cost = abs(s-w);
            if(j==n-1) cost = max(0LL, s-w);

            dp[j+1] = min(dp[j+1], dp[i]+cost);
        }
    }
    return dp[n];
}

int main(){
    int C = 1;
    int n,w;
    while(scanf(" %d %d", &n, &w),n){
        printf("Case %lld: %d\n", C++, solve(n,w));
    }
    return 0;
}