fact 0 = 1 fact n = n * fact (n - 1) alpha 1 = 7 alpha 2 = 2 alpha 3 = 1 alpha n = fact (n + 1) * alpha(n - 1) + 5 * alpha(n - 2) + 7 * alpha(n - 3)
Standard input is empty
337287718866785762145319419276684707245288652587012048519128699912313232803243580980731548354841381915321299478301900599151755403321095038748459986921908595870502701902699658