procedure GNAT.Spitbol.Patterns.a is
d:string:=get_line;q,s:integer:=0;begin
q:=integer'value(d);for i in 1..q loop
s:=s+q/i*i/q*i;end
loop;put_line(d&":"&s'img);a;end;