printf(" ");
for i to 12 do
printf("%-3d ", i);
end do;
printf("\n");
for i to 75 do
printf("-");
printf("\n%2d| ", i);
for j to 12 do
if j<i then
else
printf("%-3d ", i * j);
end if
end do