做出了第一道：
program yb(input,output);
const kindof:array[1..3]of integer=(13,11,7);
       max=1000;
var z:array[1..max]of integer;
     jl:array[1..3]of integer;
     n:integer;
     s:integer;
procedure search(step:integer;v:integer);
  procedure print;
   var i:integer;
       a,b,c:integer;
    begin
     a:=0;
     b:=0;
     c:=0;
     for i:=1 to step-1 do
      if z[i]=13 then inc(a)
      else if z[i]=11 then inc(b)
      else inc(c);
     writeln(13,' ',a);
     writeln(11,' ',b);
     writeln(7,'  ',c);
     inc(s);
    end;
var i:integer;
  begin
   if v=0 then begin print;exit;end;
   if (v>0)and(s<1) then
    begin
     for i:=1 to 3 do
      begin
       inc(jl[i]);
       z[step]:=kindof[i];
       search(step+1,v-kindof[i]);
      end;
    end;
  end;
begin
  s:=0;
  read(n);
  search(1,n);
  if s=0 then writeln('Yes');
  writeln;
end.