Updated discussion on satz215 output.