* dodecahedron inequalities
H-representation
begin
12 4 integer
562949953421312 -562949953421312 0 -347922205179541
562949953421312 -562949953421312 0 347922205179541
562949953421312 -347922205179541 -562949953421312 0
562949953421312 -347922205179541 562949953421312 0
562949953421312 0 -347922205179541 -562949953421312
562949953421312 0 -347922205179541 562949953421312
562949953421312 0 347922205179541 -562949953421312
562949953421312 0 347922205179541 562949953421312
562949953421312 347922205179541 -562949953421312 0
562949953421312 347922205179541 562949953421312 0
562949953421312 562949953421312 0 -347922205179541
562949953421312 562949953421312 0 347922205179541
end