Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001193125-23-213862-index-headers.html | 2023-08-16 07:30:38 | |
| 0001193125-23-213862-index.html | 2023-08-16 07:30:38 | |
| 0001193125-23-213862.txt | 2023-08-16 07:30:38 | |
 0001193125-23-213862-xbrl.zip | 14698 | 2023-08-16 07:30:38 |
| d514572d8k.htm | 34109 | 2023-08-16 07:30:38 |
| d514572d8k_htm.xml | 3376 | 2023-08-16 07:30:38 |
| d514572dex991.htm | 11441 | 2023-08-16 07:30:38 |
| dino-20230815.xsd | 2859 | 2023-08-16 07:30:38 |
| dino-20230815_lab.xml | 17994 | 2023-08-16 07:30:38 |
| dino-20230815_pre.xml | 11267 | 2023-08-16 07:30:38 |
| FilingSummary.xml | 1734 | 2023-08-16 07:30:38 |
| Financial_Report.xlsx | 5705 | 2023-08-16 07:30:38 |
| MetaLinks.json | 18928 | 2023-08-16 07:30:38 |
| R1.htm | 39603 | 2023-08-16 07:30:38 |
| report.css | 2767 | 2023-08-16 07:30:38 |
| Show.js | 1084 | 2023-08-16 07:30:38 |