#include<bits/stdc++.h>
using namespace std;
int n, a[10];
bool Is_sorted()
{
    for(int i=0; i<n-1; i++)
        if(a[i]>a[i+1])//why have =
            return false;
    return true;
}
int h()
{
    int ret = 0;
    for(int i=0; i<n-1; i++){//!
        if(a[i] + 1 != a[i+1]) ret++;
    }
    if(a[n-1]!=n) ret++;//!
    return ret;
}
int DFS(int depth, int max_depth)
{
    if(depth*3 + h() > 3*max_depth) return false;
    if(Is_sorted()) return true;
    int Old_a[10], Cut_segment[10];
    memcpy(Old_a, a, sizeof(a));
    //!not in here int cnt = 0;
    for(int i=0; i<n; i++){
        for(int j=i; j<n; j++){
            int cnt = 0;
            for(int k=0; k<n; k++)
                if(k<i || k>j) Cut_segment[cnt++] = a[k];//将未剪切部分拼接起来，存到Cut_segment中
            //!not in here int cnt2 = 0;
            for(int k=0; k<=cnt/*!why have = symbol*/; k++){//枚举将剪切下来的部分放到未被剪切的每一个字符的后面
                int cnt2 = 0;
                for(int p=0; p<k; p++) a[cnt2++] = Cut_segment[p];//未剪切部分
                for(int p=i; p<=j; p++) a[cnt2++] = Old_a[p];//剪切部分放入
                for(int p=k; p<cnt/*!*/; p++) a[cnt2++] = Cut_segment[p];//剩下未剪切部分
                if(DFS(depth+1, max_depth)) return true;
                memcpy(a, Old_a, sizeof(a));
            }
        }
    }
    return false;
}
inline int solve()
{
    if(Is_sorted()) return 0;
    int max_depth = 8;
    for(int i=1; i<max_depth; i++){//Is begin 0 or 1? 应该是1，因为代表多少次就能sorted，0的情况就是一开始就是sorted了·
        //Debug printf("%d\n", i);
        if(DFS(0, i)) return i;
    }
    return max_depth;
}
int main(void)
{
    int t = 1;
    while(~scanf("%d", &n) && n){
        for(int i=0; i<n; i++) scanf("%d", &a[i]);
        printf("Case %d: %d\n", t++, solve());
    }
    return 0;
}