I watched one set of Animatrix episodes. And it was like 30 min. How long was the animatrix before the movie?