Factorial of hen7n7... Sooner "hen7n7¹⁶to hen7n7²⁰ part 4