lazy–stars - Quick warmup for the evening