Eugene, Nice work! I did some analysis like this a while ago but haven't had time recently. I think the values you're using aren't the latest. I apologize for not making a human readable file of the leaves more widely available (and for continuing to let the original one propogate, but that's hard to stop). Quackle's current values for TWL, which are themselves almost two years old now, can be found here
http://pages.cs.wisc.edu/~o-laughl/leaves.zip Basically these are bootstrapped, using the original set of superleaves in place of "static" values. If I had lots of computer (and me) time to spare it would be nice to continue the process until something of an asymptote is reached. John
