graph-rewriting-cl-0.2.2: examples/exp.cl

	zero  = K I                         
	one   = I                           
	two   = S B I
	three = S B (S B I)
	four  = S B (S B (S B I))
four (S B I) (S B I) I I