the link for the tool is in the previous post!
it's not a player only. there is a program called 'reducer'. that is the tool that allows you to make such large anims. basicly it works like a video codec where you can 'compress' a video from a sequence of individual images. the tool merges them into one iff-anim file.