#include<bits/stdc++.h>
using namespace std;
const int sz = 1200;
int arr[sz];
double dp[sz][sz];
void solve(int d){
    int a,b,c;
    cin>>a>>b>>c;
    b = abs(b);
    int idx = lower_bound(arr,arr+1000,a) - arr;
    // cout<<idx;
    cout<<setprecision(6)<<fixed;
    if(a==arr[idx]&&b+c<=idx*2)
        cout<<"Case #" << d<< ": 1.00\n";
    else if(b+c<idx*2)
        cout<<"Case #" << d<< ": 1.00\n";
    else if(b+c>idx*2)
        cout<<"Case #" << d<< ": 0.00\n";
    else if(b==0)
        cout<<"Case #" << d<< ": 0.00\n";
    else{
        int e = a - arr[idx-1];
        int bnd = (arr[idx]-arr[idx-1])/2;
        // cout<<e<<' '<<(arr[idx]-arr[idx-1])/2<<'\n';
        double ans = 0;
        if(bnd>=e){
            for(int i=c+1;i<=e;i++){
                // cout<<i<<' ';
                ans += dp[e][i];
            }
        }
        else{
            int cng = e - bnd;
            c-=cng;
            e-=2*cng;
            // cout<<cng<<c<<e;
            if(c<0){
                cout<<"Case #" << d<< ": 1.00\n";
                return;
            }
            for(int i=c+1;i<=e;i++){
                // cout<<i<<' ';
                ans += dp[e][i];
            }
            ans = ans;
        }
        cout<<"Case #" << d<< ": "<< ans << '\n';
    }
}
int32_t main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    int a;
    cin>>a;
    int cur = 1;
    arr[0] = 1;
    double two = 2.0l;
    for(int i = 1;i<sz;i++){
        cur+= 4 * i + 1;
        arr[i] = cur;
    }
    double f = 1.0l;
    for(int i = 0;i<sz;i++){
        dp[i][0] = f;
        dp[i][i] = f;
        f/=two;
    }
    for(int i = 1;i<sz;i++){
        for(int j = 1;j<i;j++){
            dp[i][j] = dp[i-1][j]/two + dp[i-1][j-1]/two;
        }
    }
    // for(int i = 0;i<7;i++){
    //     for(int j = 0;j<=i;j++){
    //         cout<<dp[i][j]<<' ';
    //     }
    //     cout<<'\n';
    // }
    // for(int i = 0;i<1000;i++){
    //     cout<<arr[i]<<'\n';
    // }

    for (int i=0;i<a;i++) {
        solve(i+1);
    }
}