Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000057-index-headers.html | 2020-07-06 16:32:44 | |
| 0001037390-20-000057-index.html | 2020-07-06 16:32:44 | |
| 0001037390-20-000057.txt | 2020-07-06 16:32:44 | |
| grif-20200706ex101419f33.htm | 346295 | 2020-07-06 16:32:44 |
| grif-20200706ex10206a3dc.htm | 268888 | 2020-07-06 16:32:44 |
| grif-20200706ex103194d89.htm | 17884 | 2020-07-06 16:32:44 |
| grif-20200706ex991f9cbd3.htm | 9680 | 2020-07-06 16:32:44 |
| grif-20200706x8k.htm | 45594 | 2020-07-06 16:32:44 |