puts(1," x")
for i = 1 to 12 do
    printf(1," %3d",i)
end for

puts(1,'\n')

for i = 1 to 12 do
  printf(1,"%2d",i)
  for j = 1 to 12 do
    if j<i then
      puts(1,"    ")
    else
      printf(1," %3d",i*j)
    end if
  end for
  puts(1,'\n')
end for