![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| data.9.gz | 1998-06-09 14:21 | 75 | |
| data.15.gz | 1998-06-09 14:21 | 148 | |
| data.27.gz | 1998-06-09 14:21 | 380 | |
| data.45.gz | 1998-06-09 14:21 | 1.1K | |
| data.81.gz | 1998-06-09 14:21 | 3.9K | |
| data.135.gz | 1998-06-09 14:21 | 11K | |
| data.243.gz | 1998-06-09 14:21 | 37K | |
| data.405.gz | 2011-07-28 21:20 | 89K | |
| data.729.gz | 2011-07-28 21:21 | 290K | |
| data.1215.gz | 2011-07-28 21:21 | 788K | |
| data.2187.gz | 2011-07-28 21:22 | 2.5M | |
| mklarge.pl | 2011-07-28 21:31 | 869 | |
| msat2cnf.c.gz | 1998-06-09 14:59 | 1.6K | |
| scp2msat.c.gz | 1998-06-09 14:57 | 1.5K | |
| steiner2scp.pl | 2011-07-28 21:31 | 385 | |