/infra/libkookie/nixpkgs/pkgs/data/misc/polytopes_db/