lion vectorized, 4k