Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Arithmetic topology in Ihara theory. II: Milnor invariants, dilogarithmic Heisenberg coverings and triple power residue symbols 