Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000007-index-headers.html | 2020-01-28 09:07:00 | |
| 0001037390-20-000007-index.html | 2020-01-28 09:07:00 | |
| 0001037390-20-000007.txt | 2020-01-28 09:07:00 | |
| grif-20200123ex101592bef.htm | 467189 | 2020-01-28 09:07:00 |
| grif-20200123ex102d34f44.htm | 461927 | 2020-01-28 09:07:00 |
| grif-20200123ex1030aec58.htm | 109757 | 2020-01-28 09:07:00 |
| grif-20200123ex991ce1d63.htm | 11716 | 2020-01-28 09:07:00 |
| grif-20200123x8k.htm | 47816 | 2020-01-28 09:07:00 |