(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]