Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001193125-23-287462-index-headers.html | 2023-12-01 16:09:31 | |
| 0001193125-23-287462-index.html | 2023-12-01 16:09:31 | |
| 0001193125-23-287462.txt | 2023-12-01 16:09:31 | |
 0001193125-23-287462-xbrl.zip | 175272 | 2023-12-01 16:09:31 |
| d567057d8k.htm | 37962 | 2023-12-01 16:09:31 |
| d567057d8k_htm.xml | 3379 | 2023-12-01 16:09:31 |
| d567057dex101.htm | 954766 | 2023-12-01 16:09:31 |
| d567057dex102.htm | 40264 | 2023-12-01 16:09:31 |
| d567057dex991.htm | 11036 | 2023-12-01 16:09:31 |
| dino-20231201.xsd | 2868 | 2023-12-01 16:09:31 |
| dino-20231201_lab.xml | 17994 | 2023-12-01 16:09:31 |
| dino-20231201_pre.xml | 11273 | 2023-12-01 16:09:31 |
| FilingSummary.xml | 1719 | 2023-12-01 16:09:31 |
| Financial_Report.xlsx | 5709 | 2023-12-01 16:09:31 |
| MetaLinks.json | 19003 | 2023-12-01 16:09:31 |
| R1.htm | 39607 | 2023-12-01 16:09:31 |
| report.css | 2767 | 2023-12-01 16:09:31 |
| Show.js | 1085 | 2023-12-01 16:09:31 |