RECURSIVE_HORNY_PRIME (HORNYPRIME)