%TGIF 4.1.43
state(0,37,100.000,0,0,0,16,1,9,1,1,0,0,1,0,1,0,'Courier',0,46080,0,0,0,10,0,0,1,1,0,16,0,0,1,1,1,1,1088,1408,1,0,2880,0).
%
% @(#)$Header$
% %W%
%
unit("1 pixel/pixel").
color_info(11,65535,0,[
	"magenta", 65535, 0, 65535, 65535, 0, 65535, 1,
	"red", 65535, 0, 0, 65535, 0, 0, 1,
	"green", 0, 65535, 0, 0, 65535, 0, 1,
	"blue", 0, 0, 65535, 0, 0, 65535, 1,
	"yellow", 65535, 65535, 0, 65535, 65535, 0, 1,
	"pink", 65535, 49344, 52171, 65535, 49344, 52171, 1,
	"cyan", 0, 65535, 65535, 0, 65535, 65535, 1,
	"CadetBlue", 24415, 40606, 41120, 24415, 40606, 41120, 1,
	"white", 65535, 65535, 65535, 65535, 65535, 65535, 1,
	"black", 0, 0, 0, 0, 0, 0, 1,
	"DarkSlateGray", 12079, 20303, 20303, 12079, 20303, 20303, 1
]).
script_frac("0.6").
fg_bg_colors('black','white').
page(1,"",1,'').
text('black',64,35,4,0,1,72,64,7,13,3,0,0,0,0,2,72,64,0,0,"",0,0,0,0,48,'',[
minilines(72,64,0,0,0,0,0,[
mini_line(72,13,3,0,0,0,[
str_block(0,72,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,72,13,3,0,-1,0,0,0,0,0,
	".E <eof>")])
]),
mini_line(54,13,3,0,0,0,[
str_block(0,54,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,54,13,3,0,-1,0,0,0,0,0,
	".T + E")])
]),
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-1,0,0,0,0,0,
	".T")])
]),
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-1,0,0,0,0,0,
	".x")])
])
])]).
text('black',288,35,1,0,1,81,16,9,13,3,0,0,0,0,2,81,16,0,0,"",0,0,0,0,48,'',[
minilines(81,16,0,0,0,0,0,[
mini_line(81,13,3,0,0,0,[
str_block(0,81,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,81,13,3,0,-1,0,0,0,0,0,
	"E . <eof>")])
])
])]).
text('black',464,35,1,0,1,54,16,11,13,3,0,0,0,0,2,54,16,0,0,"",0,0,0,0,48,'',[
minilines(54,16,0,0,0,0,0,[
mini_line(54,13,3,0,0,0,[
str_block(0,54,13,3,0,-2,0,0,0,[
str_seg('black','Courier',0,80640,54,13,3,0,-2,0,0,0,0,0,
	"Accept")])
])
])]).
text('black',288,83,2,0,1,63,32,13,13,3,0,0,0,0,2,63,32,0,0,"",0,0,0,0,96,'',[
minilines(63,32,0,0,0,0,0,[
mini_line(63,13,3,0,0,0,[
str_block(0,63,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,63,13,3,0,-1,0,0,0,0,0,
	"T . + E")])
]),
mini_line(27,13,3,0,0,0,[
str_block(0,27,13,3,0,-4,0,0,0,[
str_seg('black','Courier',0,80640,27,13,3,0,-4,0,0,0,0,0,
	"T .")])
])
])]).
text('black',96,195,1,0,1,18,16,15,13,3,0,0,0,0,2,18,16,0,0,"",0,0,0,0,208,'',[
minilines(18,16,0,0,0,0,0,[
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-4,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-4,0,0,0,0,0,
	"x.")])
])
])]).
text('black',304,163,4,0,1,63,64,17,13,3,0,0,0,0,2,63,64,0,0,"",0,0,0,0,176,'',[
minilines(63,64,0,0,0,0,0,[
mini_line(63,13,3,0,0,0,[
str_block(0,63,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,63,13,3,0,-1,0,0,0,0,0,
	"T + . E")])
]),
mini_line(63,13,3,0,0,0,[
str_block(0,63,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,63,13,3,0,-1,0,0,0,0,0,
	". T + E")])
]),
mini_line(27,13,3,0,0,0,[
str_block(0,27,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,27,13,3,0,-1,0,0,0,0,0,
	". T")])
]),
mini_line(27,13,3,0,0,0,[
str_block(0,27,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,27,13,3,0,-1,0,0,0,0,0,
	". x")])
])
])]).
box('black','',48,16,144,128,0,1,1,20,0,0,0,0,0,'1',0,[
]).
box('black','',80,192,128,224,0,1,1,21,0,0,0,0,0,'1',0,[
]).
box('black','',304,160,368,240,0,1,1,22,0,0,0,0,0,'1',0,[
]).
box('black','',272,16,384,64,0,1,1,23,0,0,0,0,0,'1',0,[
]).
box('black','',288,80,368,128,0,1,1,24,0,0,0,0,0,'1',0,[
]).
box('black','',448,32,528,64,0,1,1,25,0,0,0,0,0,'1',0,[
]).
poly('black','',2,[
	144,48,272,48],1,1,1,26,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	144,96,288,96],1,1,1,27,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	96,128,96,192],1,1,1,28,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	336,128,336,160],1,1,1,29,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	304,208,128,208],1,1,1,30,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	320,160,320,128],1,1,1,31,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
poly('black','',2,[
	384,48,448,48],1,1,1,32,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
text('black',96,147,1,0,1,9,16,33,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,160,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"x")])
])
])]).
text('black',192,19,1,0,1,9,16,35,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,32,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"E")])
])
])]).
text('black',400,35,1,0,1,45,16,37,13,3,0,0,0,0,2,45,16,0,0,"",0,0,0,0,48,'',[
minilines(45,16,0,0,0,0,0,[
mini_line(45,13,3,0,0,0,[
str_block(0,45,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,45,13,3,0,-1,0,0,0,0,0,
	"<eof>")])
])
])]).
text('black',192,83,1,0,1,9,16,39,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,96,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"T")])
])
])]).
text('black',352,131,1,0,1,9,16,41,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,144,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"+")])
])
])]).
text('black',288,131,1,0,1,9,16,43,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,144,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"T")])
])
])]).
text('black',64,243,1,0,1,18,16,45,13,3,0,0,0,0,2,18,16,0,0,"",0,0,0,0,256,'',[
minilines(18,16,0,0,0,0,0,[
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-2,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-2,0,0,0,0,0,
	"#3")])
])
])]).
text('black',384,99,1,0,1,18,16,47,13,3,0,0,0,0,2,18,16,0,0,"",0,0,0,0,112,'',[
minilines(18,16,0,0,0,0,0,[
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-2,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-2,0,0,0,0,0,
	"#2")])
])
])]).
text('black',352,291,1,0,1,63,16,51,13,3,0,0,0,0,2,63,16,0,0,"",0,0,0,0,304,'',[
minilines(63,16,0,0,0,0,0,[
mini_line(63,13,3,0,0,0,[
str_block(0,63,13,3,0,-4,0,0,0,[
str_seg('black','Courier',0,80640,63,13,3,0,-4,0,0,0,0,0,
	"T + E .")])
])
])]).
box('black','',352,288,416,320,0,1,1,54,0,0,0,0,0,'1',0,[
]).
poly('black','',2,[
	352,240,368,288],1,1,1,55,0,0,0,0,0,0,0,'1',0,0,
    "0","",[
    0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[
]).
text('black',384,259,1,0,1,9,16,56,13,3,0,0,0,0,2,9,16,0,0,"",0,0,0,0,272,'',[
minilines(9,16,0,0,0,0,0,[
mini_line(9,13,3,0,0,0,[
str_block(0,9,13,3,0,-1,0,0,0,[
str_seg('black','Courier',0,80640,9,13,3,0,-1,0,0,0,0,0,
	"E")])
])
])]).
text('black',384,323,1,0,1,18,16,58,13,3,0,0,0,0,2,18,16,0,0,"",0,0,0,0,336,'',[
minilines(18,16,0,0,0,0,0,[
mini_line(18,13,3,0,0,0,[
str_block(0,18,13,3,0,-3,0,0,0,[
str_seg('black','Courier',0,80640,18,13,3,0,-3,0,0,0,0,0,
	"#1")])
])
])]).
text('black',32,8,1,0,1,5,10,62,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,16,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"1")])
])
])]).
text('black',64,184,1,0,1,5,10,64,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,192,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"2")])
])
])]).
text('black',256,8,1,0,1,5,10,66,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,16,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"3")])
])
])]).
text('black',272,72,1,0,1,5,10,68,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,80,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"4")])
])
])]).
text('black',304,152,1,0,1,5,10,70,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,160,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"5")])
])
])]).
text('black',416,264,1,0,1,5,10,72,8,2,0,0,0,0,2,5,10,0,0,"",0,0,0,0,272,'',[
minilines(5,10,0,0,0,0,0,[
mini_line(5,8,2,0,0,0,[
str_block(0,5,8,2,0,-1,0,0,0,[
str_seg('black','Courier',0,46080,5,8,2,0,-1,0,0,0,0,0,
	"6")])
])
])]).