#include <stdio.h>
int main(int argc, char **argv)
{
  int xsize, ysize;
  char line[128];
  char *s = fgets(line, 127, stdin); line[127] = '\0';
  // Untitled-001.pnm:       PBM raw, 13104 by 9312
  s = strstr(line, ", ")+2;
  xsize = atoi(s);
  s = strstr(line, "by ")+3;
  ysize = atoi(s);
  printf("# done already ... # pamdice -width=%d -outstem=%s\n", xsize/2, argv[1]);
  printf("pnmscale 0.125 < %s_00_00.pbm > %sa.pbm\n", argv[1], argv[1]);
  printf("pnmscale 0.125 < %s_00_01.pbm > %sb.pbm\n", argv[1], argv[1]);
  // pnmscale 0.125 < Untitled-009_00_00.pbm > Untitled-009_00_00-scaled.pbm
  // pnmtojpeg Untitled-009_00_00-scaled.pbm > Untitled-009_00_00-scaled.jpg
  printf("pnmtojpeg %sa.pbm > %sa.jpg\n", argv[1], argv[1]);
  printf("pnmtojpeg %sb.pbm > %sb.jpg\n", argv[1], argv[1]);

}