for i: 1 thru 12 do (
  for j: 1 thru 12 do (
    if j>=i or j=1 then printf(true, "~4d", i*j) else printf(true, "    ")
    ),
  printf(true, "~%")
  );