Video S4 from Digging the optimum pit: antlions, spirals and spontaneous stratification

Average pit development for a spiral of initial radius r = 50