 & {\operatorname{\bf L}}j^* {\operatorname{\bf R}}{\curly Hom}( {\operatorname{\bf R}}\pi_* {\operatorname{\bf R}}{\curly Hom}({\mathbb{I}}^\bullet, {\mathbb{I}}^\bullet)_0 \otimes \omega_\pi [0]   , {\mathcal O}_P) \