It is consistent that ℵ1<add(Null)<add(Meager)=b<cov(Null)<non(Meager)<cov(Meager)=2ℵ0. Assuming four strongly compact cardinals, it is consistent that ℵ1<add(Null)<add(Meager)=b<cov(Null)<non(Meager)<cov(Meager)<non(Null)<cof(Meager)=d<cof(Null)<2ℵ0.