<SpecificationList>
	<procedurename> 3-Procedure1.c </procedurename>
	
	<InputOutput>
		<Specification>
			<Id>S1</Id>
			<Description> 5 > a > 0 </Description>
			<Type>Input</Type>
		</Specification>
		<Specification>
			<Id>S2</Id>
			<Description> 90 > b > 0 </Description>
			<Type>Input</Type>
			<Definition>The array containing the diameter of each grain class</Definition>
		</Specification>
	</InputOutput>
	
	<Computation>
		<Description> Directly Extracted From Source Code </Description>
	</Computation>
	
	<ManualError>
		<Description> No Manual Error Specification For This Procedure </Description>
	</ManualError>
	
	<Constraint>
		<Description> No Constraint Specification For This Procedure </Description>
	</Constraint>

  </SpecificationList>
 