| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 72 | logplain |
| -rw-r--r-- | 7516-0.txt | 297753 | logplain |
| d--------- | 7516-h | 71 | logplain |
| -rw-r--r-- | LICENSE.txt | 537 | logplain |
| -rw-r--r-- | README.md | 119 | logplain |
 |
index : 7516.git | |
| Crucial Instances |
| summaryrefslogtreecommitdiff |