isabelle-wins管 (2)