$package

import java.util.*;
import org.jcsp.lang.*;
import java.math.BigInteger;
$imports

public class $className implements CSProcess {
	
$classBody
	
}