HomeIsabelle/Phabricator

tuned slices to get the fifth Zipperposition slice in a typical run