User blog:WaxPlanck/Using Wythagoras's Turing Machine and Milton Green Bounds Variant to Find S(8) lower bound