#include <bits/stdc++.h>

#define rep(i,a,b) for(int i = a; i < b; i++)

#define _rep(i,a,b) for(int i = a; i <= b; i++)

using namespace std;

const int maxn = ;

int n, maxd;

int p[maxn], ans;

int h(){//统计每个元素后继不符合的个数， 最后一个特判是否为N

    int cnt = ;

    rep(i,,n-) if(p[i+] != p[i] + ) cnt++;

    if(p[n-] != n) cnt++;

    return cnt;

}

bool dfs(int d){

    if(d* + h() > maxd*) return false; //由于每次交换最多减少3个后继不符合， 所以当前层数*3 + 上h（）大于maxd * 3， 直接剪枝

    if(d == maxd){

        if(h() == ) return true;

        return false;

    }

    int b[maxn], old[maxn], cnt = ;

    memcpy(old,p,sizeof(p));

    rep(i,,n) //选择起点

    rep(j,i,n) //选择终点 ， p上取 3个点， i ， j ， k

    rep(k,j+,n){ //由于具有对称性， 直接把前面换到后面就行

        memcpy(b,old+i,sizeof(int) * (j-i+)); //将i~j剪贴的内容复制到b

        memcpy(p+i,old+j+, sizeof(int) * (k-j));//将i~j 与 （j+1）~k互换

        memcpy(p+i+k-j, b, sizeof(int) * (j-i+));

        if(dfs(d+)) return true;

        memcpy(p,old,sizeof(old));

    }

    return false;

}

int main(){

    int kase = ;

    while(cin >> n && n){

        rep(i,,n) cin >> p[i];

        for(maxd = ; maxd <= ; maxd++){ //注意maxd要从0开始， 因为有可能一开始就是有序的

            if(dfs()) break;

        }

        cout << "Case " << ++kase << ": "  << maxd << "\n";

    }

}