# Last edited on 2000-06-29 08:36:31 by stolfi # Cyprus 3 (8400,6000,7336) (8000,6000,7500) ((0,984000,-4312000,2400000)) 3 (8000,6000,7500) (8200,6200,7358) ((0,-2352000,2636000,400000)) 3 (8200,6200,7358) (8400,6000,7336) ((0,1335200,1652000,-2880000)) 0