src/sicp/ex3_66.rkt

   1 #lang racket
   2
   3 #|
   4
   5 Writing down the pairs, one can sort of form the following judgement.
   6
   7 For any particular pair of the form S0Tm, the number of terms which precedes it
   8 is (+ (* 2 (- m 1)) 1) for m >= 2
   9
  10 For a pair of the form S1Tm, it is (* (- m 1) 4) for m >= 2.
  11
  12 Similarly one can get working formulae for other row, column pairs.
  13
  14 |#