{ 循環不變式外提優化的測試程序1,測試外提}
program  pp
var integer i,n,m,j,k;
    array [1..10] of integer a;

begin
   i:=0;
   j:=0;  
   k:=0;
   while k<3  do
      while i<5 do 
      	   m:=10*(5+j); {運算提兩層}
           m:=k+5;      {運算提一層}
           n:=i;
      
           write(n);
           i:=i+1
      endwh;
      i:=0;
      k:=k+1
   endwh;
   write(m)
 end.