Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000070-index-headers.html | 2019-11-21 09:04:11 | |
| 0001037390-19-000070-index.html | 2019-11-21 09:04:11 | |
| 0001037390-19-000070.txt | 2019-11-21 09:04:11 | |
| grif-20191121ex99107da8d.htm | 12983 | 2019-11-21 09:04:11 |
| grif-20191121x8k.htm | 37168 | 2019-11-21 09:04:11 |