No. 25 (1994): RS-25 Bootstrapping the Primitive Recursive Functions by 47 Colors