You should read Harvey Friedman's paper on "Long Finite Sequences" http://www.math.osu.edu/~friedman/manuscripts.html before you start writing anything! Best regards Neil