Quelle  aut1.eps   Sprache: Postscript

%!PS-Adobe-2.0 EPSF-1.2
%%Title: Automaton
%%Creator: dot version 2.6 (Tue Oct 18 06:51:15 UTC 2005)
%%CreationDate: Dec 10 10:56
%%For: (josejoao) Jose Morais
%%Pages: 1
%%DocumentFonts:
%%BoundingBox: 19 4 87 257
%%EndComments

%%BeginProlog
%%BeginPreview: 68 253 8 506
% 00000000000000000000000000000000000000000000000000000000000000000022220000000000
% 00000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000011eeee1100000000
% 00000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000aabbbbaa00000000
% 00000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000055ee2222ee55000000
% 00000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000011ee77000077ee110000
% 00000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000aabb00000000bbaa0000
% 00000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000055ee220000000022ee5500
% 00000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000011ee7700000000000077ee11
% 00000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000aabb0000000000000000bbaa
% 00000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000055ee22000000000000000022ee
% 55000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000011ee770000000000000000000077
% ee110000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000aabb000000000000000000000000
% bbaa0000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000055ee22000000000000000000000000
% 22ee4400000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000011dd7700000000000000000000000000
% 0077dd11000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000088bb0000000000000000000000000000
% 0000cc88000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000044ff330000000000000000000000000000
% 000033ff440000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000011dd88000000000000000000000000000000
% 00000088dd1100000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000088cc00000000000000000000000000000000
% 00000000cc8800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000044ff3300000000000000000000000000000000
% 0000000033ff44000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000011dd880000000000000000000000000000000000
% 000000000088dd110000000000000000000000000000000000000000
% 000000000000000000000000000000000000000088cc000000000000000000000000000000000000
% 000000000000cc880000000000000000000000000000000000000000
% 0000000000000000000000000000000000000044ff33000000000000000000000000000000000000
% 00000000000033ff4400000000000000000000000000000000000000
% 00000000000000000000000000000000000011dd8800000000000000000000000000000000000000
% 0000000000000088dd11000000000000000000000000000000000000
% 00000000000000000000000000000000000088cc0000000000000000000000000000000000000000
% 0000000000000000cc88000000000000000000000000000000000000
% 000000000000000000000000000000000044ff330000000000000000000000000000000000000000
% 000000000000000033ff440000000000000000000000000000000000
% 0000000000000000000000000000000000dd88000000000000000000000000000000000000000000
% 00000000000000000088cc0000000000000000000000000000000000
% 0000000000000000000000000000000088cc00000000000000000000000000000000000000000000
% 00000000000000000000dd8800000000000000000000000000000000
% 00000000000000000000000000000033ff4400000000000000000000000000000000000000000000
% 0000000000000000000044ff33000000000000000000000000000000
% 000000000000000000000000000000cc880000000000000000000000000000000000000000000000
% 000000000000000000000088cc000000000000000000000000000000
% 000000000000000000000000000088dd110000000000000000000000000000000000440000000000
% 000000000000000000000011dd880000000000000000000000000000
% 0000000000000000000000000033ff44000000000000000000000000000000001166ff0000000000
% 00000000000000000000000044ff3300000000000000000000000000
% 00000000000000000000000000cc8800000000000000000000000000000000000000ff0000000000
% 0000000000000000000000000088cc00000000000000000000000000
% 00000000000000000000000088dd1100000000000000000000000000000000000000ff0000000000
% 0000000000000000000000000011dd88000000000000000000000000
% 000000000000000000000033ff440000000000000000000000000000000000000000ff0000000000
% 000000000000000000000000000044ff330000000000000000000000
% 0000000000000000000000cc88000000000000000000000000000000000000000000ff0000000000
% 00000000000000000000000000000088cc0000000000000000000000
% 0000000000000000000088dd11000000000000000000000000000000000000000000ff0000000000
% 00000000000000000000000000000011dd8800000000000000000000
% 00000000000000000033ff4400000000000000000000000000000000000000000000ff0000000000
% 0000000000000000000000000000000044ff33000000000000000000
% 000000000000000000cc880000000000000000000000000000000000000000000033ff1100000000
% 000000000000000000000000000000000088bb000000000000000000
% 000000000000000077dd1100000000000000000000000000000000000000000044ffffff88000000
% 000000000000000000000000000000000011dd770000000000000000
% 0000000000000022ee44000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000055ee2200000000000000
% 00000000000000bbaa00000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000aabb00000000000000
% 00000000000077ee1100000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000011ee77000000000000
% 000000000022ee550000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000055ee220000000000
% 0000000000bbaa000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000aabb0000000000
% 0000000077ee11000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000011ee7700000000
% 00000022ee5500000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000055ee22000000
% 000000bbaa0000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000aabb000000
% 000077ee110000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000011ee770000
% 0022ee55000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000055ee2200
% 00bbaa00000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000aabb00
% 66ff8888888888888888888888888888888888768888888888888888888888888888888888888890
% 9888888888888888888888888888888888888888888888888888ff55
% 2288888888888888888888888888888888887f0951888888888888888888888888c8c888888888c8
% fb908888888888888888888888888888888888888888888888888822
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% ffb60000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffb5500000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffff611000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffffab6000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffffffb550000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffffffff61100000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffffffffab600000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% ffffffffffff55000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fffffff9ffd722000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000088
% fdffecd2220000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000033
% 772244ee000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000ff220000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000cc660000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000088990000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000066cc0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000022ff1100000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000dd4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000aa8800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000077bb00000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000044dd00000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000022ff00000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000000ff44000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000000bb66000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000009988000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000088bb000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000044dd000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000022ff000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000000ff440000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000000bb550000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000000bb880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088bb0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000066bb0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000044bb0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000044ee0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000044ff0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088881166000000
% 00000000000000ff1166000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000888855ff000000
% 00000000000000ff60ff000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000888800ff000000
% 00000000000000ff44ff000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000888800ff000000
% 00000000000000ff44ff000000000000000000000000000000000000
% 00000000000000000088eeff880000000000000000000000000000000000000000888800ff99ffdd
% 33000000000000ff00ff99ffdd330000000000000000000000000000
% 000000000000000000aa0033ff0000000000000000000000000000000000000000888800ff440099
% bb000000000000ff00ff440099bb0000000000000000000000000000
% 000000000000000000002266ff0000000000000000000000000000000000000000888800ff000011
% ff000000000044ff00ff000011ff0000000000000000000000000000
% 000000000000000000223300ff0000000000000000000000000000000000000000888800ff000000
% ee000000000044ff00ff000000ee0000000000000000000000000000
% 000000000000000000bb0011ff1100000000000000000000000000000000000000888800ff220088
% 88000000000044bb00ff220088880000000000000000000000000000
% 000000000000000000aaaa66dddd2200000000000000000000000000000000000088880099ffff88
% 00000000000044bb0099ffff88000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088bb0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088bb0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000000088880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000000aa880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000000ee440000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000022ff110000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 000000000055cc000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 00000000008899000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000000bb66000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000088880000000000
% 0000000000ff33000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000338888c8c88888882200
% 0000000033ff00000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000077fdffffffffffff6600
% 0000000077bb00000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000022fffffffffffff81100
% 00000000998800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000e9ffffffffffa70000
% 00000000ee5500000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000090ffffffffff330000
% 00000044ee0000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000044faffffffdd000000
% 00000088990000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000f6fffffb66000000
% 000000dd660000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000a7fffff811000000
% 000033ff110000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000066f9ffa700000000
% 000088aa000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000011ffff3300000000
% 0000cc66000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000001144e6f04411000000
% 0022ff11000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000114488aaddffddb6b6ddffddaa88
% 4480cc00000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000055ddffddaa88441100000000114488aa
% ddffe055000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000011aaee771100000000000000000000000000
% 001177eeaa1100000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000055eebb22000000000000114488884411000000
% 00000022bbee55000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000007aaee77000000114488aaddffddaaaaddffddaa88
% 441100000077eeaa1100000000000000000000000000000000000000
% 0000000000000000000000000000000000003edfbb2200000044ddddaa88441100000000114488aa
% dddd4400000022bbee55000000000000000000000000000000000000
% 000000000000000000000000000000000055ee770000001188ff7700000000000000000000000000
% 0077ff881100000077ee550000000000000000000000000000000000
% 0000000000000000000000000000000011ee7700000044ddcc330000000000000000000000000000
% 000033ccdd4400000077ee1100000000000000000000000000000000
% 00000000000000000000000000000000aabb00001188ff8800000000000000000000000000000000
% 0000000088ff88110000bbaa00000000000000000000000000000000
% 00000000000000000000000000000055ee22000088cc330000000000000000000000000000000000
% 000000000033cc88000022ee55000000000000000000000000000000
% 000000000000000000000000000011ee77000044ff33000000000000000000000000000000000000
% 00000000000033ff44000077ee110000000000000000000000000000
% 0000000000000000000000000000aabb000011dd8800000000000000000000000000000000000000
% 0000000000000088dd110000bbaa0000000000000000000000000000
% 0000000000000000000000000055ee22000088cc0000000000000000000000000000000000000000
% 0000000000000000cc88000022ee5500000000000000000000000000
% 00000000000000000000000000dd77000044ff330000000000000000000000000000000000000000
% 000000000000000033ff44000077dd00000000000000000000000000
% 00000000000000000000000011ff110011dd77000000000000000000000000000000000000000000
% 00000000000000000077dd110022ff11000000000000000000000000
% 00000000000000000000000044dd000044dd00000000000000000000000000000000000000000000
% 00000000000000000000dd440000dd44000000000000000000000000
% 00000000000000000000000088aa000088aa00000000000000000000000000000000000000000000
% 00000000000000000000aa880000aa88000000000000000000000000
% 000000000000000000000000aa880000aa8800000000000000000000000000000000000000000000
% 0000000000000000000088aa000088aa000000000000000000000000
% 000000000000000000000000dd440000dd44000000000000000000000000000055ddffdd66000000
% 0000000000000000000044dd000044dd000000000000000000000000
% 000000000000000000000011ff110011ff11000000000000000000000000002277110077ee000000
% 0000000000000000000011ff110011ff110000000000000000000000
% 000000000000000000000044dd000044dd00000000000000000000000000000000000011bb000000
% 0000000000000000000000dd440000dd440000000000000000000000
% 000000000000000000000088aa000088aa0000000000000000000000000000000000337700000000
% 0000000000000000000000aa880000aa880000000000000000000000
% 000000000000000000000088aa000088aa000000000000000000000000000000004488ee88000000
% 0000000000000000000000aa880000aa880000000000000000000000
% 000000000000000000000044dd000044dd00000000000000000000000000000000000033ee000000
% 0000000000000000000000dd440000dd440000000000000000000000
% 000000000000000000000011ff110011ff11000000000000000000000000000000000000ee000000
% 0000000000000000000011ff110011ff110000000000000000000000
% 000000000000000000000000dd440000dd4400000000000000000000000000000000119988000000
% 0000000000000000000044dd000044dd000000000000000000000000
% 000000000000000000000000aa880000aa880000000000000000000000000044eeffcc8800000000
% 0000000000000000000088aa000088aa000000000000000000000000
% 00000000000000000000000088aa000088aa00000000000000000000000000000000000000000000
% 00000000000000000000aa880000aa88000000000000000000000000
% 00000000000000000000000044dd000044dd00000000000000000000000000000000000000000000
% 00000000000000000000dd440000dd44000000000000000000000000
% 00000000000000000000000011ff110011dd77000000000000000000000000000000000000000000
% 00000000000000000077dd110022ff11000000000000000000000000
% 00000000000000000000000000dd77000044ff330000000000000000000000000000000000000000
% 000000000000000033ff44000077dd00000000000000000000000000
% 0000000000000000000000000055ee22000088cc0000000000000000000000000000000000000000
% 0000000000000000cc88000022ee5500000000000000000000000000
% 0000000000000000000000000000aabb000011dd8800000000000000000000000000000000000000
% 0000000000000088dd110000bbaa0000000000000000000000000000
% 000000000000000000000000000011ee77000044ff33000000000000000000000000000000000000
% 00000000000033ff44000077ee110000000000000000000000000000
% 00000000000000000000000000000055ee22000088cc330000000000000000000000000000000000
% 000000000033cc88000022ee55000000000000000000000000000000
% 00000000000000000000000000000000aabb00001188ff8800000000000000000000000000000000
% 0000000088ff88110000bbaa00000000000000000000000000000000
% 0000000000000000000000000000000011ee7700000044ddcc330000000000000000000000000000
% 000033ccdd4400000077ee1100000000000000000000000000000000
% 000000000000000000000000000000000055ee770000001188ff7700000000000000000000000000
% 0077ff881100000077ee550000000000000000000000000000000000
% 00000000000000000000000000000000000055eebb2200000044ddddaa88441100000000114488aa
% dddd4400000022bbee55000000000000000000000000000000000000
% 0000000000000000000000000000000000000011aaee77000000114488aaddffddaaaaddffddaa88
% 441100000077eeaa1100000000000000000000000000000000000000
% 00000000000000000000000000000000000000000055eebb22000000000000114488884411000000
% 00000022bbee55000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000011aaee771100000000000000000000000000
% 001177eeaa1100000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000055ddffddaa88441100000000114488aa
% e2ffdd55000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000042488aaddffdd9393ddffddaa88
% bef61100000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000011441d124411000000
% cdff9000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% cdfff822000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% fffffba0000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% ffffffff330000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000022
% ffffffffc40000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000044
% fffffffffb4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000044
% edffffffffe600000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000088
% ffffffffffff66000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000088
% fff5ffffddbb22000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000033
% 8855a0aa000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000055cc000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000033ff000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000ff330000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000cc550000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000099880000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000088aa0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000044cc0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000022ff0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000ff4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000bb6600000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000998800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000088bb11660000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000088bb55ff0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000088bb00ff0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000088bb00ff0000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000088eeff880000000088eeff8800
% 0000000088bb00ff99ffdd3300000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000aa0033ff00000000aa0033ff00
% 0000000088bb00ff440099bb00000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000002266ff00000000002266ff00
% 00000000889900ff000011ff00000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000223300ff00000000223300ff00
% 00000000888800ff000000ee00000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000bb0011ff11000000bb0011ff11
% 00000000888800ff2200888800000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000aaaa66dddd220000aaaa66dddd
% 2200000088880099ffff880000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000888800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000888800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000888800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000aa8800000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000ee4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000022ff0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000066cc0000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000088880000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000cc660000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000011ff220000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000044ee000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000088aa000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000bb77000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0011ff33000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0055dd00000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00998800000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00ee5500000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 44ee0000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 88990000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% dd660000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000011443f3f4411000022
% ff110000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000f023faaddffddaaaaddffddaac0
% cd110000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000044ddc09f88441100000000114488aa
% e0dd4400000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000001188ff7700000000000000000000000000
% 0077ff88110000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000044ddcc330000000000000000000000000000
% 000033ccdd4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000001188ff8800000000000000000000000000000000
% 0000000088ff88110000000000000000000000000000000000000000
% 000000000000000000000000000000000000000088cc330000000000000000000000000000000000
% 000000000033cc880000000000000000000000000000000000000000
% 0000000000000000000000000000000000000044ff33000000000000000000000000000000000000
% 00000000000033ff4400000000000000000000000000000000000000
% 00000000000000000000000000000000000011dd8800000000000000000000000000000000000000
% 0000000000000088dd11000000000000000000000000000000000000
% 00000000000000000000000000000000000088cc0000000000000000000000000000000000000000
% 0000000000000000cc88000000000000000000000000000000000000
% 000000000000000000000000000000000044ff330000000000000000000000000000000000000000
% 000000000000000033ff440000000000000000000000000000000000
% 0000000000000000000000000000000011dd77000000000000000000000000000000000000000000
% 00000000000000000077dd1100000000000000000000000000000000
% 0000000000000000000000000000000044dd00000000000000000000000000000000000000000000
% 00000000000000000000dd4400000000000000000000000000000000
% 0000000000000000000000000000000088aa00000000000000000000000000000000000000000000
% 00000000000000000000aa8800000000000000000000000000000000
% 00000000000000000000000000000000aa8800000000000000000000000000000000000000000000
% 0000000000000000000088aa00000000000000000000000000000000
% 00000000000000000000000000000000dd44000000000000000000000000000066ddffbb33000000
% 0000000000000000000044dd00000000000000000000000000000000
% 00000000000000000000000000000011ff11000000000000000000000000004477001199dd000000
% 0000000000000000000011ff11000000000000000000000000000000
% 00000000000000000000000000000044dd00000000000000000000000000002200000011ff000000
% 0000000000000000000000dd44000000000000000000000000000000
% 00000000000000000000000000000088aa00000000000000000000000000000000000011bb000000
% 0000000000000000000000aa88000000000000000000000000000000
% 00000000000000000000000000000088aa0000000000000000000000000000000000008833000000
% 0000000000000000000000aa88000000000000000000000000000000
% 00000000000000000000000000000044dd0000000000000000000000000000000000335500000000
% 0000000000000000000000dd44000000000000000000000000000000
% 00000000000000000000000000000011ff1100000000000000000000000000000033550000000000
% 0000000000000000000011ff11000000000000000000000000000000
% 00000000000000000000000000000000dd4400000000000000000000000000003355000011550000
% 0000000000000000000044dd00000000000000000000000000000000
% 00000000000000000000000000000000aa880000000000000000000000000033eeffffffff220000
% 0000000000000000000088aa00000000000000000000000000000000
% 0000000000000000000000000000000088aa00000000000000000000000000000000000000000000
% 00000000000000000000aa8800000000000000000000000000000000
% 0000000000000000000000000000000044dd00000000000000000000000000000000000000000000
% 00000000000000000000dd4400000000000000000000000000000000
% 0000000000000000000000000000000011dd77000000000000000000000000000000000000000000
% 00000000000000000077dd1100000000000000000000000000000000
% 000000000000000000000000000000000044ff330000000000000000000000000000000000000000
% 000000000000000033ff440000000000000000000000000000000000
% 00000000000000000000000000000000000088cc0000000000000000000000000000000000000000
% 0000000000000000cc88000000000000000000000000000000000000
% 00000000000000000000000000000000000011dd8800000000000000000000000000000000000000
% 0000000000000088dd11000000000000000000000000000000000000
% 0000000000000000000000000000000000000044ff33000000000000000000000000000000000000
% 00000000000033ff4400000000000000000000000000000000000000
% 000000000000000000000000000000000000000088cc330000000000000000000000000000000000
% 000000000033cc880000000000000000000000000000000000000000
% 00000000000000000000000000000000000000001188ff8800000000000000000000000000000000
% 0000000088ff88110000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000044ddcc330000000000000000000000000000
% 000033ccdd4400000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000001188ff7700000000000000000000000000
% 0077ff88110000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000044ddddaa88441100000000114488aa
% dddd4400000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000114488aaddffddaaaaddffddaa88
% 44110000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000114488884411000000
% 00000000000000000000000000000000000000000000000000000000
%%EndImage
%%EndPreview
save countdictstack mark newpath /showpage {} def /setpagedevice {pop} def
%%EndProlog
%%Page: 1 1
%%BeginDocument: aut1.ps2
save
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval
EncodingVector 45 /hyphen put

% Set up ISO Latin 1 character encoding
/starnetISO {
        dup dup findfont dup length dict begin
        { 1 index /FID ne { def }{ pop pop } ifelse
        } forall
        /Encoding EncodingVector def
        currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def

/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def

/InvScaleFactor 1.0 def
/set_scale {
 dup 1 exch div /InvScaleFactor exch def
 dup scale
} bind def

% styles
/solid { [] 0 setdash } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def

% hooks for setting color 
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def

/beginpage { % i j npages
 /npages exch def
 /j exch def
 /i exch def
 /str 10 string def
 npages 1 gt {
  gsave
   coordfont setfont
   0 0 moveto
   (\() show i str cvs show (,) show j str cvs show (\)) show
  grestore
 } if
} bind def

/set_font {
 findfont exch
 scalefont setfont
} def

% draw aligned label in bounding box aligned to current point
/alignedtext {   % width adj text
 /text exch def
 /adj exch def
 /width exch def
 gsave
  width 0 gt {
   text stringwidth pop adj mul 0 rmoveto
  } if
  [] 0 setdash
  text show
 grestore
} def

/boxprim {    % xcorner ycorner xsize ysize
  4 2 roll
  moveto
  2 copy
  exch 0 rlineto
  0 exch rlineto
  pop neg 0 rlineto
  closepath
} bind def

/ellipse_path {
 /ry exch def
 /rx exch def
 /y exch def
 /x exch def
 matrix currentmatrix
 newpath
 x y translate
 rx ry scale
 0 0 1 0 360 arc
 setmatrix
} bind def

/endpage { showpage } bind def
/showpage { } def

/layercolorseq
 [ % layer color sequence - darkest to lightest
  [0 0 0]
  [.2 .8 .8]
  [.4 .8 .8]
  [.6 .8 .8]
  [.8 .8 .8]
 ]
def

/layerlen layercolorseq length def

/setlayer {/maxlayer exch def /curlayer exch def
 layercolorseq curlayer 1 sub layerlen mod get
 aload pop sethsbcolor
 /nodecolor {nopcolor} def
 /edgecolor {nopcolor} def
 /graphcolor {nopcolor} def
} bind def

/onlayer { curlayer ne {invis} if } def

/onlayers {
 /myupper exch def
 /mylower exch def
 curlayer mylower lt
 curlayer myupper gt
 or
 {invis} if
} def

/curlayer 0 def

14 default-font-family set_font
1 setmiterlimit
% /arrowlength 10 def
% /arrowwidth 5 def

% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
    userdict (<<) cvn ([) cvn load put
    userdict (>>) cvn ([) cvn load put
} if

gsave
0 0 100 263 boxprim clip newpath
5 5 translate
0 0 1 beginpage
1.0000 set_scale
0 0 translate 0 rotate
[ /CropBox [0 0 100 263] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
% 1
gsave 10 dict begin
newpath 48 251 moveto
15 201 lineto
81 201 lineto
closepath
stroke
gsave 10 dict begin
48 213 moveto 8.0 -0.5 (1) alignedtext
end grestore
end grestore
% 3
gsave 10 dict begin
48 110 18 18 ellipse_path
stroke
48 110 22 22 ellipse_path
stroke
gsave 10 dict begin
48 105 moveto 8.0 -0.5 (3) alignedtext
end grestore
end grestore
% 1->3
gsave 10 dict begin
0.000 1.000 1.000 edgecolor
newpath 34 201 moveto
25 187 16 168 21 150 curveto
23 145 25 141 28 136 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 1.000 1.000 edgecolor
newpath 31 137 moveto
33 127 lineto
25 134 lineto
closepath
fill
0.000 1.000 1.000 edgecolor
newpath 31 137 moveto
33 127 lineto
25 134 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
25 153 moveto 7.0 -0.5 (a) alignedtext
end grestore
end grestore
% 1->3
gsave 10 dict begin
0.667 1.000 1.000 edgecolor
newpath 48 201 moveto
48 185 48 161 48 142 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.667 1.000 1.000 edgecolor
newpath 52 142 moveto
48 132 lineto
45 142 lineto
closepath
fill
0.667 1.000 1.000 edgecolor
newpath 52 142 moveto
48 132 lineto
45 142 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
52 153 moveto 9.0 -0.5 (b) alignedtext
end grestore
end grestore
% 3->1
gsave 10 dict begin
0.667 1.000 1.000 edgecolor
newpath 56 131 moveto
58 137 60 143 61 150 curveto
63 163 60 179 57 191 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.667 1.000 1.000 edgecolor
newpath 54 190 moveto
54 201 lineto
60 192 lineto
closepath
fill
0.667 1.000 1.000 edgecolor
newpath 54 190 moveto
54 201 lineto
60 192 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
65 153 moveto 9.0 -0.5 (b) alignedtext
end grestore
end grestore
% 2
gsave 10 dict begin
48 18 18 18 ellipse_path
stroke
gsave 10 dict begin
48 13 moveto 8.0 -0.5 (2) alignedtext
end grestore
end grestore
% 3->2
gsave 10 dict begin
0.000 1.000 1.000 edgecolor
newpath 41 89 moveto
38 79 36 66 37 54 curveto
37 51 38 48 39 45 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 1.000 1.000 edgecolor
newpath 42 46 moveto
42 35 lineto
36 44 lineto
closepath
fill
0.000 1.000 1.000 edgecolor
newpath 42 46 moveto
42 35 lineto
36 44 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
43 57 moveto 7.0 -0.5 (a) alignedtext
end grestore
end grestore
% 2->3
gsave 10 dict begin
0.000 1.000 1.000 edgecolor
newpath 48 36 moveto
48 48 48 64 48 78 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 1.000 1.000 edgecolor
newpath 45 78 moveto
48 88 lineto
52 78 lineto
closepath
fill
0.000 1.000 1.000 edgecolor
newpath 45 78 moveto
48 88 lineto
52 78 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
51 57 moveto 7.0 -0.5 (a) alignedtext
end grestore
end grestore
% 2->3
gsave 10 dict begin
0.667 1.000 1.000 edgecolor
newpath 54 35 moveto
56 41 58 48 59 54 curveto
60 62 59 71 57 79 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.667 1.000 1.000 edgecolor
newpath 54 79 moveto
55 89 lineto
60 80 lineto
closepath
fill
0.667 1.000 1.000 edgecolor
newpath 54 79 moveto
55 89 lineto
60 80 lineto
closepath
stroke
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
63 57 moveto 9.0 -0.5 (b) alignedtext
end grestore
end grestore
endpage
showpage
grestore
end
restore
%%EndDocument
%%Trailer
cleartomark countdictstack exch sub { end } repeat restore
%%EOF