#include <iostream>
#include <algorithm>
#include <cstring>
#include <cstdio>using namespace std;const int MAX=5000;typedef struct node    //树节点结构体
{node(){l=r=len=flag=0;}int l,r;double len;       //如果该区间下有被覆盖的线段，len表示被覆盖的区域的长度int flag;         //标识是否被覆盖
}TreeNode;typedef struct line         //边 结构体，f=1为下边，f=-1为上边
{line(){a=b=h=f=0;}double a,b;          //a,b分别表示这条线的左右横坐标double h;            //h表示这条线段所在的高度int f;               //标识是上边还是下边
}Line;double a[MAX];int n;
int line_len;            //有line_len条边
int a_len;               //有a_len个横坐标
TreeNode tNode[MAX<<4];
Line line[MAX];void buildTree(int p,int l,int r)
{tNode[p].l=l;tNode[p].r=r;tNode[p].flag=0;              //标识是否被覆盖tNode[p].len=0;               //如果该区间下有被覆盖的线段，len表示被覆盖的区域的长度if(l==r)return;int mid=(l+r)>>1;buildTree(p<<1,l,mid);buildTree(p<<1|1,mid+1,r);return;
}void getLen(int p)       //计算当前节点被覆盖的长度
{if(tNode[p].flag)    //如果当前节点被完全覆盖{tNode[p].len=a[tNode[p].r+1]-a[tNode[p].l];     //每个节点代表的是当前节点到下一个节点的长度}else if(tNode[p].l==tNode[p].r)   //叶子节点，单位线段，如果当前节点没有被覆盖或者没有被完全覆盖，那么就是没有给覆盖{tNode[p].len=0;}elsetNode[p].len=tNode[p<<1].len+tNode[p<<1|1].len;   //不是叶子节点，不知道覆盖情况，从孩子节点获取信息
}void update(int p,int l,int r,int val)      //更新线段树  val为-1表示覆盖一层，否则删除一层
{if(tNode[p].l>=l&&tNode[p].r<=r)        //不必更新到底，因为每条上下边都是对应的，添加删除不影响其他节点，而且所需要的信息是第一个节点的信息。{tNode[p].flag+=val;getLen(p);return;}if(tNode[p].l>r||tNode[p].r<l){return;}update(p<<1,l,r,val);update(p<<1|1,l,r,val);getLen(p);return;
}int binary(double key,int low,int high)   //二分查找每个横坐标离散化之后所对应的编号。建树的时候要用这些编号建树，不是用实际的坐标
{while(low<=high){int mid=(low+high)>>1;if(a[mid]==key)return mid;if(key<a[mid]){high=mid-1;}if(key>a[mid]){low=mid+1;}}return -1;
}bool compare(Line a,Line b)
{return a.h<b.h;
}int main()
{int n;int Case=1;while(cin>>n&&n){line_len=0;a_len=0;memset(a,0,sizeof(a));double x1,y1,x2,y2;for(int i=0;i<n;i++){cin>>x1>>y1>>x2>>y2;//横坐标的每个点赋值a[a_len++]=x1;a[a_len++]=x2;//每条线赋值line[line_len].a=x1;line[line_len].b=x2;line[line_len].h=y1;line[line_len].f=-1;line[line_len+1].a=x1;line[line_len+1].b=x2;line[line_len+1].h=y2;line[line_len+1].f=1;line_len+=2;}sort(a,a+a_len);   //把所有横坐标排序int num=1;for(int i=1;i<a_len;i++)  //排除重复的{if(a[i]!=a[i-1]) a[num++]=a[i];}buildTree(1,0,num-1);     //排除重复的之后由num个横坐标，所以建树范围是0~num-1，也可以是1~num。随便sort(line,line+line_len,compare);   //所有的边所处高度排序double sum=0;for(int i=0;i<line_len-1;i++)    //遍历排序完的边{update(1,binary(line[i].a,0,num-1),binary(line[i].b,0,num-1)-1,line[i].f);   //先更新覆盖情况sum+=(line[i+1].h-line[i].h)*tNode[1].len;             //计算面积}printf("Test case #%d\n",Case);printf("Total explored area: %.2lf\n\n",sum);Case++;}return 0;
}