gas oil n 1: an oil formed through distillation of petroleum of intermediate boiling range and viscosity