Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001558370-17-005132-index-headers.html | 2017-07-17 11:49:57 | |
| 0001558370-17-005132-index.html | 2017-07-17 11:49:57 | |
| 0001558370-17-005132.txt | 2017-07-17 11:49:57 | |
| grif-20170714ex991588658.htm | 15497 | 2017-07-17 11:49:57 |
| grif-20170714x8k.htm | 37912 | 2017-07-17 11:49:57 |