IS＜インフィニット・ストラトス＞2 ロングバケーション 一夏（ひとなつ）の想いで

IS: Infinite Stratos 2 - Hitonatsu no Omoide

An extended version of the second season's first episode, which is under the same title.