read TOWERS: L1:=6: MaxC:=20: K:=2000: Godel1:=30: Godel2:=200: Mamar3(L1,t,H,P,M,n,MaxC,K,Godel1,Godel2): quit: