VAR size := 12;

PROC Main () IS 
  Onum(size); Wr(" "); Onum(size+1); Wr("\n");
VAR row := 1 IN DO row <= size -> P(row); row := row + 1 OD
END
END;

PROC P (r) IS
  VAR col := 1 IN
   DO col <= (size + 1) ->
    Onum(((col+r) MOD (size + 1)) + 1);
    Wr(" ");
    col := col + 1
   OD;
   Wr("\n")
  END 
END;

PROC Onum(n) IS n = 0 -> SKIP | Onum(n DIV 10); Wr('0'+(n MOD 10)) END;