Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Closed-form solutions to irreducible Newton-Puiseux equations by Lagrange inversion formula and diagonalization on polynomial sequences of binomial-type 