/*  Automatically generated by INBlobs */

agents

	Add	2;
	Z	0;
	S	1;
	Erase	0;
	Mult	2;
	Dupl	2;
	Max	2;
	Aux	2;

rules

	Add(a, a) >< Z;
	Add(S(d), b) >< S(Add(d, b));
	Mult(Z, Erase) >< Z;
	Mult(c, Dupl(e, f)) >< S(Mult(Add(c, f), e));
	Dupl(Z, Z) >< Z;
	Dupl(S(d), S(e)) >< S(Dupl(d, e));
	Erase >< Z;
	Erase >< S(Erase);
	Max(a, a) >< Z;
	Max(c, Aux(a, c)) >< S(a);
	Aux(a, S(a)) >< Z;
	Aux(Max(d, b), S(d)) >< S(b);

net


interface



end