Polars Lazy runtime: 0.20 seconds