User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-24061664-20140915184506/@comment-5529393-20140915201601

ah, gotcha. I have no doubt that primitive sequences go up to epsilon_0, I was just worried that there might be bugs in this particular program, and wanted to verify it for small values.