51856030736domain: NAppears in sequencesa(n) is the number of n-place formulas in first-order logic when variables are allowed to coincide.at n=11A300696