def f6 ( n : nat ?) : for x in range ( n ) : print ("*") for i in range ( n / 10) : for k in range (10) : for j in range ( n / 10) :
