/*  Automatically generated by INBlobs */

agents

	Add	2;
	S	1;
	Z	0;

rules

	Add(S(a), c) >< S(Add(a, c));
	Add(a, a) >< Z;

net

	Add(b, Z) = S(Z);

interface

b;


end