14     type Output = BigInt;  typedef
38     type Output = BigInt;  typedef
57     type Output = BigInt;  typedef
66     type Output = BigInt;  typedef
85     type Output = BigInt;  typedef
94     type Output = BigInt;  typedef
113     type Output = BigInt;  typedef
126     type Output = BigInt;  typedef
151     type Output = BigInt;  typedef
163     type Output = BigInt;  typedef
188     type Output = BigInt;  typedef
200     type Output = BigInt;  typedef
225     type Output = BigInt;  typedef
239     type Output = BigInt;  typedef
269     type Output = BigInt;  typedef
288     type Output = BigInt;  typedef
297     type Output = BigInt;  typedef
316     type Output = BigInt;  typedef
325     type Output = BigInt;  typedef
344     type Output = BigInt;  typedef
357     type Output = BigInt;  typedef
373     type Output = BigInt;  typedef
385     type Output = BigInt;  typedef
401     type Output = BigInt;  typedef
413     type Output = BigInt;  typedef
429     type Output = BigInt;  typedef