980157177domain: NAppears in sequencesNumber of inversion sequences avoiding pattern 100.at n=13A263780