I think in practice, if 1F could sneak out without blocking the aisle, it doesn't matter. The true important thing is that the aisle not be blocked. The aisle space is the limited resource. There are even more "lassiez-faire" versions of this simulation that could somehow try to model "unregimented" standing. Might be worth doing.