The file 'Funny Figures 3D Printer Model' is (stl) file type, size is 730.9KB.
I was inspired to create these models by this https://www.thingiverse.com/thing:789892 and my daughterA set of three pieces. Perhaps I'll think of something else.Just for fun, openscad playground :)