Problem Statement

The definition of the sequence is colloquially described as: Note that indexing for the description above starts from alternately the left and right ends of the list and starts from an index of one. A less wordy description of the sequence is: The sequence begins: Interesting features of the sequence are that:

The sequence is so named because John Conway offered a prize of $10,000 to the first person who could find the first position,   p   in the sequence where It was later found that Hofstadter had also done prior work on the sequence. The 'prize' was won quite quickly by Dr. Colin L. Mallows who proved the properties of the sequence and allowed him to find the value of   n   (which is much smaller than the 3,173,375,556 quoted in the NYT article).

Let's start with the solution:

  [ $ "bigrat.qky" loadfile ] now! 

  [ ' [ 1 1 ] 
    swap 2 - times 
      [ dup -1 peek 2dup 1 - peek
         dip [ dip dup negate peek ]
        + join ] ]                   is hof-con ( n --> [   )

  [ behead do rot 
    witheach 
      [ do 2over 2over v- v0< 
        if 2swap 
        2drop ] ]                    is maximum ( [ --> n n )
        
  20 dup bit 1 - hof-con
  [] swap witheach
    [ i^ 1+ join nested join ]
  swap 1 - bit times 
    [ i^ 1+ dup 2dup
      say "Maximum in range " echo
      say " to " 1 << 1 - echo
      step split swap maximum
      say " at n = "  
      dup echo
      say " is " 10 point$ echo$ cr ]
  drop