(define finals
  #((:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 3 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    (:pair 0 1)
    ))

finals[20]