User blog comment:WaxPlanck/Using Wythagoras's Turing Machine and Milton Green Bounds Variant to Find S(8) lower bound/@comment-80.98.179.160-20171230195625/@comment-33360606-20180113111418

No, it is the number in unary