$ include "seed7_05.s7i";

const proc: main is func
  local
    var integer: n is 0;
    var integer: k is 0;
  begin
    for n range 0 to 66 do
      for k range 0 to n do
         write(n ! k <& " ");
      end for;
      writeln;
    end for;
  end func;