0.000000000000000e+00 3.568220897730899e-01 9.341723589627157e-01
 -0.000000000000000e+00 -3.568220897730899e-01 -9.341723589627157e-01
 0.000000000000000e+00 3.568220897730899e-01 -9.341723589627157e-01
 -0.000000000000000e+00 -3.568220897730899e-01 9.341723589627157e-01
 9.341723589627157e-01 0.000000000000000e+00 3.568220897730899e-01
 -9.341723589627157e-01 -0.000000000000000e+00 -3.568220897730899e-01
 -9.341723589627157e-01 0.000000000000000e+00 3.568220897730899e-01
 9.341723589627157e-01 -0.000000000000000e+00 -3.568220897730899e-01
 3.568220897730899e-01 9.341723589627157e-01 0.000000000000000e+00
 -3.568220897730899e-01 -9.341723589627157e-01 -0.000000000000000e+00
 3.568220897730899e-01 -9.341723589627157e-01 0.000000000000000e+00
 -3.568220897730899e-01 9.341723589627157e-01 -0.000000000000000e+00
 5.773502691896258e-01 5.773502691896258e-01 5.773502691896258e-01
 -5.773502691896258e-01 -5.773502691896258e-01 -5.773502691896258e-01
 5.773502691896258e-01 5.773502691896258e-01 -5.773502691896258e-01
 -5.773502691896258e-01 -5.773502691896258e-01 5.773502691896258e-01
 5.773502691896258e-01 -5.773502691896258e-01 5.773502691896258e-01
 -5.773502691896258e-01 5.773502691896258e-01 -5.773502691896258e-01
 5.773502691896258e-01 -5.773502691896258e-01 -5.773502691896258e-01
 -5.773502691896258e-01 5.773502691896258e-01 5.773502691896258e-01

# Maple commands to produce these points:
Digits:=18;
with(linalg):
s3:=evalf(1/sqrt(3));
t:=evalf( (1+sqrt(5.))/2. );
s:=1/t;
t:=t/sqrt(3.);
s:=s/sqrt(3.);
a[1]:=[0,s,t]:
a[2]:=[0,s,-t]:
a[3]:=[0,-s,t]:
a[4]:=[0,-s,-t]:
a[5]:=[t,0,s]:
a[6]:=[-t,0,s]:
a[7]:=[t,0,-s]:
a[8]:=[-t,0,-s]:
a[9]:=[s,t,0]:
a[10]:=[s,-t,0]:
a[11]:=[-s,t,0]:
a[12]:=[-s,-t,0]:
for i from 1 to 12 do
print(a[i]);
od: