.EQ
delim %%
gfont C
.EN
.RS
.PS
scale=1.2
line   from (7.000000, 8.225000) to (7.000000, 8.062500);
line   from (5.800000, 8.225000) to (5.800000, 8.062500);
line   from (4.600000, 8.225000) to (4.600000, 8.062500);
line   from (3.400000, 8.225000) to (3.400000, 8.062500);
line   from (2.200000, 8.225000) to (2.200000, 8.062500);
line   from (1.000000, 8.225000) to (1.000000, 8.062500);
line   from (0.800000, 8.150000) to (7.187500, 8.150000);

line from (1.0,8.15) to (1.1,8.65);
line from (1.1,8.65) to (6.9,8.65);
line from (6.9,8.65) to (7.0,8.15);

line from (1.0,8.15) to (1.2,8.6);
line from (1.2,8.6) to (3.2,8.6);
line from (3.2,8.6) to (3.4,8.15);
line from (3.4,8.15) to (3.6,8.6);
line from (3.6,8.6) to (6.8,8.6);
line from (6.8,8.6) to (7.0,8.15);

line dashed from (1.0,8.15) to (1.3,8.55);
line dashed from (1.3,8.55) to (1.9,8.55);
line dashed from (1.9,8.55) to (2.2,8.15);
line dashed from (2.2,8.15) to (2.5,8.55);
line dashed from (2.5,8.55) to (6.7,8.55);
line dashed from (6.7,8.55) to (7.0,8.15);

"\s10\fC%I sup 2 ~=~ t sub 1%\fP" at (2.2,8.78);
"\s10\fC%I sup 1 ~=~ t sub 2%\fP" at (3.4,8.78);

"\s10\fC%t sub 0 %\fP" at (1.0,7.95) ;
"\s10\fC%t sub 1 %\fP" at (2.2,7.95) ;
"\s10\fC%t sub 2 %\fP" at (3.4,7.95) ;
"\s10\fC%t sub 3 %\fP" at (4.6,7.95) ;
"\s10\fC%t sub 4 %\fP" at (5.8,7.95) ;
"\s10\fC%t sub 5 %\fP" at (7.0,7.95) ;

"\s10\fCN gets N+1\fP" at (1.0,7.7);
"\s10\fCM gets M+1\fP" at (1.0,7.5);
"\s10\fCstable(M)\fP" at (2.2,7.5);
"\s10\fCstable(N)\fP" at (3.4,7.7);
"\s10\fCfin(M = N)\fP" at (7.0,7.6);
"\s10\fC<fail>\fP" at (7.5,7.6) ljust;

"\s10\fCFail\fP" at (7.4,8.3) ljust;

"\s10\fCN\fP" at (0.5,7.1) ljust;
"\s10\fC0\fP" at (1.0,7.1) ;
"\s10\fC1\fP" at (2.2,7.1) ;
"\s10\fC2\fP" at (3.4,7.1) ;
"\s10\fC2\fP" at (4.6,7.1) ;
"\s10\fC2\fP" at (5.8,7.1) ;
"\s10\fC2\fP" at (7.0,7.1) ;
 
"\s10\fCM\fP" at (0.5,6.8) ljust;
"\s10\fC3\fP" at (1.0,6.8) ;
"\s10\fC4\fP" at (2.2,6.8) ;
"\s10\fC4\fP" at (3.4,6.8) ;
"\s10\fC4\fP" at (4.6,6.8) ;
"\s10\fC4\fP" at (5.8,6.8) ;
"\s10\fC4\fP" at (7.0,6.8) ;
.PE
