Add state reduction notebook