Icosidodecahedron atop small rhombicosidodecahedron

Icosidodecahedron atop small rhombicosidodecahedron, or idasrid, is a CRF segmentochoron (designated K-4.131 on Richard Klitzing's list). As the name suggests, it consists of an icosidodecahedron and a small rhombicosidodecahedron as bases, connected by 20 octahedra, 30 square pyramids, and 12 pentagonal antiprisms.

It is the second segment of the rectified hexacosichoron in icosahedron-first orientation, the first one being icosahedron atop icosidodecahedron.

Vertex coordinates
The vertices of an icosidodecahedron atop small rhombicosidodecahedron segmentochoron of edge length 1 are given by all permutations of the first three coordinates of: Along with all even permutations of the first three coordinates of:
 * $$\left(±\frac{1+\sqrt5}{2},\,0,\,0,\,\frac12\right),$$
 * $$\left(±\frac{2+\sqrt5}{2},\,±\frac12,\,±\frac12,\,0\right),$$
 * $$\left(±\frac{3+\sqrt5}{4},\,±\frac{1+\sqrt5}{4},\,±\frac12,\,\frac12\right),$$
 * $$\left(0,\,±\frac{3+\sqrt5}{4},\,±\frac{5+\sqrt5}{4},\,0\right),$$
 * $$\left(±\frac{1+\sqrt5}{4},\,±\frac{1+\sqrt5}{2},\,±\frac{3+\sqrt5}{4},\,0\right).$$