../../Task/Closest-pair-problem/Oz