Problem:
Building a Space Station

You are a member of the space station engineering team,
and are assigned a task in the construction process of the station.
You are expected to write a computer program to complete the task.

The space station is made up with a number of units, called cells.
All cells are sphere-shaped, but their sizes are not necessarily uniform.
Each cell is fixed at its predetermined position
shortly after the station is successfully put into its orbit.
It is quite strange that two cells may be touching each other,
or even may be overlapping.
In an extreme case, a cell may be totally enclosing another one.
I do not know how such arrangements are possible.

All the cells must be connected,
since crew members should be able to walk
from any cell to any other cell.
They can walk from a cell A to another cell B, if,
(1) A and B are touching each other or overlapping,
(2) A and B are connected by a `corridor',
or (3) there is a cell C such that walking from A to C, and also from B to C
are both possible.
Note that the condition (3) should be interpreted transitively.

You are expected to design a configuration,
namely, which pairs of cells are to be connected with corridors.
There is some freedom in the corridor configuration.
For example, if there are three cells A, B and C,
not touching nor overlapping each other,
at least three plans are possible in order to connect all three cells.
The first is to build corridors A-B and A-C,
the second B-C and B-A, the third C-A and C-B.
The cost of building a corridor is proportional to its length.
Therefore, you should choose a plan with the shortest
total length of the corridors.

You can ignore the width of a corridor.
A corridor is built between points on two cells' surfaces.
It can be made arbitrarily long, but of course the shortest one is chosen.
Even if two corridors A-B and C-D intersect in space, they are
not considered to form a connection path between (for example) A and C.
In other words, you may consider that two corridors never intersect.

Input

The input consists of multiple data sets.
Each data set is given in the following format.

n

x1 y1 z1 r1

x2 y2 z2 r2

...

xn yn zn rn

The first line of a data set contains an integer n,
which is the number of cells.
n is positive, and does not exceed 100.

The following n lines are descriptions of cells.
Four values in a line are x-, y- and z-coordinates of
the center, and radius (called r in the rest of the problem) of
the sphere, in this order.
Each value is given by a decimal fraction, with
3 digits after the decimal point.
Values are separated by a space character.

Each of x, y, z and r is positive
and is less than 100.0.

The end of the input is indicated by a line containing a zero.

Output

For each data set, the shortest total length of the corridors
should be printed, each in a separate line.
The printed values should have 3 digits after the decimal point.
They may not have an error greater than 0.001.

Note that if no corridors are necessary, that is,
if all the cells are connected without corridors,
the shortest total length of the corridors is 0.000.

Sample Input

3
10.000 10.000 50.000 10.000
40.000 10.000 50.000 10.000
40.000 40.000 50.000 10.000
2
30.000 30.000 30.000 20.000
40.000 40.000 40.000 20.000
5
5.729 15.143 3.996 25.837
6.013 14.372 4.818 10.671
80.115 63.292 84.477 15.120
64.095 80.924 70.029 14.881
39.472 85.116 71.369 5.553
0

Output for the Sample Input

20.000
0.000
73.834

Solution in Rust (judge verdict: Accepted)

use std::cmp::*;
use std::io::Read;
use std::collections::{BTreeMap, BinaryHeap};

#[derive(PartialEq, Eq, Debug, Copy, Clone, Default, Hash)]
pub struct Reverse<T>(pub T);

impl<T: PartialOrd> PartialOrd for Reverse<T> {
    #[inline]
    fn partial_cmp(&self, other: &Reverse<T>) -> Option<Ordering> {
        other.0.partial_cmp(&self.0)
    }

    #[inline]
    fn lt(&self, other: &Self) -> bool {
        other.0 < self.0
    }
    #[inline]
    fn le(&self, other: &Self) -> bool {
        other.0 <= self.0
    }
    #[inline]
    fn gt(&self, other: &Self) -> bool {
        other.0 > self.0
    }
    #[inline]
    fn ge(&self, other: &Self) -> bool {
        other.0 >= self.0
    }
}

impl<T: Ord> Ord for Reverse<T> {
    #[inline]
    fn cmp(&self, other: &Reverse<T>) -> Ordering {
        other.0.cmp(&self.0)
    }
}

#[derive(PartialEq, PartialOrd, Copy, Clone)]
pub struct Total<T>(pub T);

impl<T: PartialEq> Eq for Total<T> {}

impl<T: PartialOrd> Ord for Total<T> {
    fn cmp(&self, other: &Total<T>) -> Ordering {
        self.0.partial_cmp(&other.0).unwrap()
    }
}

fn prim<T: Ord + Copy>(g: &[BTreeMap<usize, T>]) -> Vec<(usize, usize, T)> {
    let nv = g.len();
    let v = 0;
    let mut vis = vec![false; nv];
    vis[v] = true;
    let mut h = g[v].iter().map(|(&t, &w)| Reverse((w, v, t))).collect::<BinaryHeap<_>>();
    let mut e = Vec::new();
    while let Some(Reverse((w, s, t))) = h.pop() {
        if vis[s] && !vis[t] {
            e.push((s, t, w));
            vis[t] = true;
            for (&u, &w) in g[t].iter() {
                if !vis[u] {
                    h.push(Reverse((w, t, u)));
                }
            }
        }
    }
    e
}

type Sphere = (f64, f64, f64, f64);

fn corridor_cost(s1: &Sphere, s2: &Sphere) -> f64 {
    let dx = s1.0 - s2.0;
    let dy = s1.1 - s2.1;
    let dz = s1.2 - s2.2;
    let dist = (dx * dx + dy * dy + dz * dz).sqrt();
    (dist - (s1.3 + s2.3)).max(0.0)
}

fn solve(n: usize, s: &[Sphere]) -> f64 {
    let mut g = vec![BTreeMap::new(); n];
    for i in 0..n {
        for j in 0..i {
            let c = corridor_cost(&s[j], &s[i]);
            g[j].insert(i, Total(c));
            g[i].insert(j, Total(c));
        }
    }
    let e = prim(&g);
    e.iter().map(|&(_, _, c)| c.0).sum::<f64>()
}

fn main() {
    let mut buf = String::new();
    std::io::stdin().read_to_string(&mut buf).unwrap();
    let mut iter = buf.split_whitespace();
    loop {
        let n: usize = iter.next().unwrap().parse().unwrap();
        if n == 0 {
            break;
        }
        let s = (0..n)
            .map(|_| {
                let x: f64 = iter.next().unwrap().parse().unwrap();
                let y: f64 = iter.next().unwrap().parse().unwrap();
                let z: f64 = iter.next().unwrap().parse().unwrap();
                let r: f64 = iter.next().unwrap().parse().unwrap();
                (x, y, z, r)
            })
            .collect::<Vec<_>>();
        let w = solve(n, &s);
        println!("{:.3}", w);
    }
}