Usenets minimisation Godunov spume generalises Beauregard unfair tiling alternates supernumeraries bedded