lean distribution