Gas/diesel oil includes heavy gas oils. Gas oils are obtained from the lowest fraction from atmospheric distillation of crude oil, while heavy gas oils are obtained by vacuum redistillation of the residual from atmospheric distillation.