13.3.7 SliverAnimatedList