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.