33     type Output = BigInt;  typedef
49     type Output = BigInt;  typedef
58     type Output = BigInt;  typedef
67     type Output = BigInt;  typedef
91     type Output = BigInt;  typedef
115     type Output = BigInt;  typedef
124     type Output = BigInt;  typedef
133     type Output = BigInt;  typedef
142     type Output = BigInt;  typedef
167     type Output = BigInt;  typedef
196     type Output = BigInt;  typedef
217     type Output = BigInt;  typedef
229     type Output = BigInt;  typedef
250     type Output = BigInt;  typedef
262     type Output = BigInt;  typedef
284     type Output = BigInt;  typedef