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