Irregular at magic high school movie timeline