5343338domain: NAppears in sequencesNumber of reduced BDDs (binary decision diagrams) with two nodes on each level except the top.at n=4A130678