* Icosidodecahedron
% rational numbers appearing here are [approximations of]
% -3-5^(1/2), -1-5^(1/2) and their negatives.
H-representation
begin
32 4 integer
2251799813685248 -11790576896177794 -7286977268807297 0
2251799813685248 -11790576896177794 7286977268807297 0
2251799813685248 -7286977268807297 -7286977268807297 -7286977268807297
2251799813685248 -7286977268807297 -7286977268807297 7286977268807297
2251799813685248 -7286977268807297 0 -11790576896177794
2251799813685248 -7286977268807297 0 11790576896177794
2251799813685248 -7286977268807297 7286977268807297 -7286977268807297
2251799813685248 -7286977268807297 7286977268807297 7286977268807297
1125899906842624 -5895288448088897 0 -2251799813685248
1125899906842624 -5895288448088897 0 2251799813685248
1125899906842624 -2251799813685248 -5895288448088897 0
1125899906842624 -2251799813685248 5895288448088897 0
2251799813685248 0 -11790576896177794 -7286977268807297
2251799813685248 0 -11790576896177794 7286977268807297
1125899906842624 0 -2251799813685248 -5895288448088897
1125899906842624 0 -2251799813685248 5895288448088897
1125899906842624 0 2251799813685248 -5895288448088897
1125899906842624 0 2251799813685248 5895288448088897
2251799813685248 0 11790576896177794 -7286977268807297
2251799813685248 0 11790576896177794 7286977268807297
1125899906842624 2251799813685248 -5895288448088897 0
1125899906842624 2251799813685248 5895288448088897 0
1125899906842624 5895288448088897 0 -2251799813685248
1125899906842624 5895288448088897 0 2251799813685248
2251799813685248 7286977268807297 -7286977268807297 -7286977268807297
2251799813685248 7286977268807297 -7286977268807297 7286977268807297
2251799813685248 7286977268807297 0 -11790576896177794
2251799813685248 7286977268807297 0 11790576896177794
2251799813685248 7286977268807297 7286977268807297 -7286977268807297
2251799813685248 7286977268807297 7286977268807297 7286977268807297
2251799813685248 11790576896177794 -7286977268807297 0
2251799813685248 11790576896177794 7286977268807297 0
end