CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
%!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