I solved the problem with fuzzy imported 64 x 64 pixel images into the Divoom pixel editor, by chopping up the original animation into four separate 32 x 32 animated GIFs, and per frame move each 32 x 32 layer into its correct position. It’s a real hack, and rather bothersome.

A digital display shows  numbers with a pixelated ornament design on a checkered blue background.