6 ms·do you have a source on the tiny goodstein sequence machine? that sounds like a really interesting readby tjf801 2y agodo you have a source on the tiny goodstein sequence machine? that sounds like a really interesting read