> (num-digits (fermat-number 7))
   39
   > (num-digits (fermat-number 8))
   78
   > (num-digits (fermat-number 9))
   155
   > (num-digits (fermat-number 10))
   309
   > (num-digits (fermat-number 11))
   617
   > (num-digits (fermat-number 12))
   1234
   > (num-digits (fermat-number 13))
   2467
   > (num-digits (fermat-number 14))
   4933