Isabelle animation (loop)
Added 2022-01-22 20:35:45 +0000 UTCAnimation finished.
Animation finished.
