Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
make_data_files.pl | 2010-05-01 09:29 | 832 | ||
gram_data.20.sage | 2010-05-23 19:29 | 123K | ||
gram_data.22.sage | 2010-05-23 19:29 | 218K | ||
gram_data.26.sage | 2010-05-23 19:29 | 486K | ||
gram_data.24.sage | 2010-05-23 19:29 | 716K | ||
gram_data.28.sage | 2010-05-23 19:30 | 2.2M | ||
gram_data.30.sage | 2010-05-23 19:32 | 11M | ||