Linear representation theory of double cover of alternating group