/pkgs/data/misc/polytopes