An effective bound for reflexive sheaves on canonically trivial 3-folds Arithmetic topology in Ihara theory. II: Milnor invariants, dilogarithmic Heisenberg coverings and triple power residue symbols 