Title: Hydrocarbons from oil shale, oil sands and coal