A shift-refresh chain cyclically moves a pointer through the coordinates of abitvector and replaces the visited bit by an independent fair bit. Once the pointer walk has visited every residue, all coordinates have been refreshed, givinga strong stationary time.
