hdu1542

/*
题意：矩形面积并

分析：离散+线段树+扫描线；

细节：首先线段记录的信息，len[]表示区间被覆盖的长度,cov[]表示当前区间是否被完全覆盖
其次，线段树的叶子节点[l,r]{l==r}的长度是？区间[l,r]的长度是LX[r]-LX[l]{LX是离散后保存数据的地方}
那叶子节点[l,l]的长度不就变成0，显然这是有问题的

线段树的每一个节点表示一段区间，[l,r]该区间表示LX[r+1]-LX[l]的长度 
1___2___3___4___5离散后的状况
  1   2   3   4  线段树中的每一个节点
   
 

*/
#include<cstdio>
#include<cstring>
#include<cmath>
#include<iostream>
#include<algorithm>
#include<cstdlib>
#include<vector>
#include<string>
#define Find(i) lower_bound(LX.begin(),LX.begin()+n1,i)-LX.begin()
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
using namespace std;
const int N=200+10;
struct Edge{
    double hi,ls,rs;
    int s;
    Edge(){}
    Edge(double a,double b,double c,int e):hi(a),ls(b),rs(c),s(e){}
    bool operator < (const Edge &p)const{
        return hi<p.hi;
    }
};
vector<Edge> E;
vector<double> LX;
double len[N<<2];
int cov[N<<2];//表示区间是否被完全覆盖 
int n,n1;
void pushup(int l,int r,int rt){
    if (cov[rt]>=1){
        len[rt]=(LX[r+1]-LX[l]);
    }else if (l==r) len[rt]=0;
    else len[rt]=len[rt<<1]+len[rt<<1|1]; 
}
void update(int L,int R,int v,int l,int r,int rt){
    if (L<=l && r<=R){
        cov[rt]+=v;
        if (cov[rt]>=1) len[rt]=(LX[r+1]-LX[l]);
        else if (l==r) len[rt]=0;
        else len[rt]=len[rt<<1]+len[rt<<1|1];
        return ;
    }
    int m=(l+r)>>1;
    if (L<=m) update(L,R,v,lson);
    if (m< R) update(L,R,v,rson);
    pushup(l,r,rt);
}

void work(){
    double ret=0;
    memset(len,0,sizeof(len));
    memset(cov,0,sizeof(cov));
    for (int i=0;i<E.size();i++){
        int l=Find(E[i].ls),r=Find(E[i].rs)-1;
        if (l<=r) update(l,r,E[i].s,0,n1-1,1);
        if (E[i].hi!=E[i+1].hi){
            ret+=len[1]*(E[i+1].hi-E[i].hi);
        }
    }
    printf("Total explored area: %.2lf\n",ret);

}
int main(){
    int cas=0;
    while (~scanf("%d",&n),n){
        E.clear();LX.clear();
        for (int i=0;i<n;i++){
            double x,y,x2,y2;
            scanf("%lf%lf%lf%lf",&x,&y,&x2,&y2);
            E.push_back(Edge(y,x,x2,1));
            E.push_back(Edge(y2,x,x2,-1));
            LX.push_back(x);LX.push_back(x2);
        }    
        sort(E.begin(),E.end());
        sort(LX.begin(),LX.end());
        n1=unique(LX.begin(),LX.end())-LX.begin();
        printf("Test case #%d\n",++cas);    
        work();
        printf("\n");
    }
    return 0;
}