1331 - Agent J

#include<bits/stdc++.h>
using namespace std;
 
int main()
{
    int T,C=1;
    double R1,R2,R3,a,b,c,s;
//    freopen("check.txt","r",stdin);
    scanf("%d",&T);
    while(T--)
    {
        scanf("%lf%lf%lf",&R1,&R2,&R3);
        a = R3+R2;
        b = R1+R3;
        c = R1+R2;
        s = (a+b+c)/2;
        printf("Case %d: %.10lf\n",C++,(sqrt(s*(s-a)*(s-b)*(s-c))-(((R1*R1*acos((b*b+c*c-a*a)/(2*b*c)))/2)+((R2*R2*acos((c*c+a*a-b*b)/(2*c*a)))/2)+(((R3*R3*acos((a*a+b*b-c*c)/(2*a*b))))/2))));
    }
    return 0;
}