![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bell3ainf.mps | 2002-01-31 17:03 | 23K | |
| bell3binf.Z | 1995-06-05 10:04 | 4.2K | |
| bell4inf.Z | 1995-06-05 10:04 | 3.7K | |
| bell5inf.Z | 1995-06-05 10:04 | 3.4K | |
| dell.mps.Z | 1995-09-12 21:06 | 36K | |
| flugplinf.mps | 2002-01-31 16:53 | 4.3K | |
| g503inf.mps | 1995-06-05 10:04 | 8.2K | |
| jjliu_clique.zip | 2005-01-10 09:14 | 91K | |
| misc01inf.Z | 1995-06-05 10:04 | 3.9K | |
| misc02inf.Z | 1995-06-05 10:04 | 2.6K | |
| misc03inf.Z | 1995-06-05 10:05 | 8.5K | |
| misc04inf.Z | 1995-06-05 10:05 | 99K | |
| misc05inf.Z | 1995-06-05 10:05 | 12K | |
| misc06inf.Z | 1995-06-05 10:05 | 37K | |
| mod008inf.Z | 1995-06-05 10:05 | 11K | |
| mod013inf.Z | 1995-06-05 10:06 | 2.7K | |
| p0201inf.mps.Z | 1995-06-05 10:06 | 10K | |
| readme.html | 2005-01-10 13:41 | 5.5K | |
| stein9inf.mps | 2002-01-31 16:48 | 3.1K | |
| stein15inf | 1995-06-05 10:06 | 6.8K | |
| stein27inf.Z | 1995-06-05 10:06 | 2.8K | |
| stein45inf.Z | 1995-06-05 10:06 | 6.7K | |