PACKAGE NAME: polytopes_db-20120220
INSTALL DATE: mardi 24 décembre 2013, 15:28:00 (UTC+0100)
UNAME: Linux infres2 3.10-3-sparc64-smp #1 SMP Debian 3.10.11-1 (2013-09-10) sparc64 GNU/Linux
Sage version 5.13, released 2013-12-15
