This grammar is , true

                                                                  1
       The weight-enumerator for Loehr-Warrington words is, - ----------
                                                                       5
                                                              -1 + 10 x

                     The whole thing took, 30.204, second.