natural-number public under integer 7 List Picture As a command %3 n0 natural-number n2 catalan-number n0->n2 n3 composite-number n0->n3 n4 greatest-common-divisor n0->n4 n5 prime-number n0->n5 n1 integer n1->n0