Crude output slips 6.3% in May, gas production jumps