1245. 卫星覆盖

SERCOI （Space-Earth Resource Cover-Observe lnstitute）是一个致力于利用卫星技术对空间和地球资源进行覆盖观测的组织。现在他们研制成功一种新型资源观测卫星-SERCOI-308。这种卫星可以覆盖空间直角坐标系中一定大小的立方体空间，卫星处于该立方体的中心。

其中（x,y,z）为立方体的中心点坐标，r 为此中心点到立方体各个面的距离（即 r 为立方体高的一半）．立方体的各条边均平行于相应的坐标轴。我们可以用一个四元组 (x,y,z,r) 描述一颗卫星的状态，它所能覆盖的空间体积 。

由于一颗卫星所能覆盖的空间体积是有限的，因此空间中可能有若干颗卫星协同工作。它们所覆盖的空间区域可能有重叠的地方，如下图所示（阴影部分表示重叠的区域）。

写一个程序，根据给定的卫星分布情况，计算它们所覆盖的总体积。