Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001558370-20-008096-index-headers.html | 2020-07-09 16:27:32 | |
| 0001558370-20-008096-index.html | 2020-07-09 16:27:32 | |
| 0001558370-20-008096.txt | 2020-07-09 16:27:32 | |
| grif-20200709ex9919b2108.htm | 283958 | 2020-07-09 16:27:32 |
| grif-20200709x8k.htm | 33519 | 2020-07-09 16:27:32 |