Abstract: | We give exact growth rates for the number of bipartite graceful permutations of the symbols that start with for (equivalently, -labelings of paths with vertices that have as a pendant label). In particular, when the growth is asymptotically like for . The number of graceful permutations of length grows at least this fast, improving on the best existing asymptotic lower bound of . Combined with existing theory, this improves the known lower bounds on the number of Hamiltonian decompositions of the complete graph and on the number of cyclic oriented triangular embeddings of and . We also give the first exponential lower bound on the number of R-sequencings of . |