Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001193125-23-213846-index-headers.html | 2023-08-16 07:10:59 | |
| 0001193125-23-213846-index.html | 2023-08-16 07:10:59 | |
| 0001193125-23-213846.txt | 2023-08-16 07:10:59 | |
 0001193125-23-213846-xbrl.zip | 18279 | 2023-08-16 07:10:59 |
| d538814d8k.htm | 39349 | 2023-08-16 07:10:59 |
| d538814d8k_htm.xml | 3451 | 2023-08-16 07:10:59 |
| d538814dex991.htm | 20739 | 2023-08-16 07:10:59 |
| dino-20230816.xsd | 2859 | 2023-08-16 07:10:59 |
| dino-20230816_lab.xml | 17994 | 2023-08-16 07:10:59 |
| dino-20230816_pre.xml | 11267 | 2023-08-16 07:10:59 |
| FilingSummary.xml | 1734 | 2023-08-16 07:10:59 |
| Financial_Report.xlsx | 5720 | 2023-08-16 07:10:59 |
| MetaLinks.json | 18928 | 2023-08-16 07:10:59 |
| R1.htm | 39629 | 2023-08-16 07:10:59 |
| report.css | 2767 | 2023-08-16 07:10:59 |
| Show.js | 1084 | 2023-08-16 07:10:59 |