Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/automata/doc/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 30.7.2024 mit Größe 58 kB

Quelle graph.eps Sprache: Postscript

%!PS-Adobe-2.0 EPSF-1.2
%%Title: grafo
%%Creator: dot version 1.9.20030401.0515 (Tue Apr  1 02:30:37 EST 2003)
%%CreationDate: Jul 25 17:09
%%For: (mdelgado) Manuel Delgado
%%Pages: 1
%%DocumentFonts:
%%BoundingBox: 35 43 134 297
%%BeginPreview: 99 254 8 762
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000114488884411000000000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000114488aaddffddaaaaddffddaa88441100000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000044eeddaa88441100000000114488aaddee44000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000001188ff77000000000000000000000000000077ff881100000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000044ddcc330000000000000000000000000000000033ccdd44000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000001188ff88000000000000000000000000000000000000000088ff881100
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000088cc330000000000000000000000000000000000000000000033cc8800
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000044ff3300000000000000000000000000000000000000000000000033ff44
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000011dd88000000000000000000000000000000000000000000000000000088dd
% 11000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000088cc00000000000000000000000000000000000000000000000000000000cc
% 88000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000044ff330000000000000000000000000000000000000000000000000000000033
% ff440000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000011ee77000000000000000000000000000000000000000000000000000000000000
% 77ee1100000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000044dd00000000000000000000000000000000000000000000000000000000000000
% 00dd4400000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000088aa00000000000000000000000000000000000000000000000000000000000000
% 00aa8800000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000aa8800000000000000000000000000000000220000000000000000000000000000
% 0088aa00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000dd4400000000000000000000000000002266ff0000000000000000000000000000
% 0044dd00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000011ff1100000000000000000000000000000000ff0000000000000000000000000000
% 0011ff11000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000044dd0000000000000000000000000000000000ff0000000000000000000000000000
% 0000dd44000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000088aa0000000000000000000000000000000000ff0000000000000000000000000000
% 0000aa88000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000088aa0000000000000000000000000000000000ff0000000000000000000000000000
% 0000aa88000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000044dd0000000000000000000000000000000000ff0000000000000000000000000000
% 0000dd44000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000011ff1100000000000000000000000000000000ff0000000000000000000000000000
% 0011ff11000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000dd4400000000000000000000000000000000ff0000000000000000000000000000
% 0044dd00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000aa8800000000000000000000000000001177ffff88000000000000000000000000
% 0088aa00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000088aa00000000000000000000000000000000000000000000000000000000000000
% 00aa8800000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000044dd00000000000000000000000000000000000000000000000000000000000000
% 00dd4400000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000011ee77000000000000000000000000000000000000000000000000000000000000
% 77ee1100000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000044ff330000000000000000000000000000000000000000000000000000000033
% ff440000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000088cc00000000000000000000000000000000000000000000000000000000cc
% 88000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000011dd88000000000000000000000000000000000000000000000000000088dd
% 11000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000044ff3300000000000000000000000000000000000000000000000033ff44
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000088cc330000000000000000000000000000000000000000000033cc8800
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000001188ff88000000000000000000000000000000000000000088ff881100
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000050ebcc330000000000000000000000000000000033ccdd44000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000088ffd8ff77000000000000000000000000000077ff881100000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000044ffff5544eeddaa88441100000000114488aaddee44000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000ccffbb0000114488aaddffddaaaaddffe4aa88441100000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000088ffee22000000000000001169a08844ffff3300000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000022eeff8800000000000000000066880000ccff5500000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000bbffcc0000000000000000000088cc0000aaff8800000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000055ffff4400000000000000000000bbff220088ffbb00000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000011ddff880000000000000000000000ffff770044ffdd00000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000088ffee110000000000000000000033ffffaa0022ffff00000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000033ffff66000000000000000000000066ffffff1100ffff44000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000ccffbb00000000000000000000000088ffffff5500bbff66000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000077ffff22000000000000000000000000c0ffffff990099ff88000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000022eeff8800000000000000000000000000ffffffffee0077ffbb000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000aaffdd000000000000000000000000000044ffff00000044ffee000000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000055ffff44000000000000000000000000000044ffbb00000011ffff110000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000011ddff9900000000000000000000000000000055ffbb00000000eeff440000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000088ffee1100000000000000000000000000000088ffbb00000000bbff770000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000033ffff660000000000000000000000000000000088ffaa0000000088ff990000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000bbffbb000000000000000000000000000000000088ff880000000066ffbb0000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0066ffff33000000000000000000000000000000000099ff880000000044ffff0000000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 11eeff88000000000000000000000000000000000000bbff880000000000ffff2200000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 99ffdd11000000000000000000000000000000000000bbff770000000000ddff4400000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000044
% ffff5500000000000000000000000000000000000000bbff440000000000bbff8800000000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000cc
% ffbb0000000000000000000000000000000000000000ddff44000000000088ff9900000000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000088ff
% ee220000000000000000000000000000000000000000ffff44000000000077ffbb00000000000000
% 00000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000000000022eeff
% 88000000000000000000000000000000000000000000ffff33000000000044ffee00000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000aaffdd
% 00000000000000000000000000000000000000000000ffff00000000000011ffff11000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000044ffff44
% 00000000000000000000000000000000000000000011ffff00000000000000eeff44000000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000011ddff9900
% 00000000000000000000000000000000000000000044ffff00000000000000bbff77000000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000088ffee1100
% 00000000000000000000000000000000000000000044ffff0000000000000099ff88000000000000
% 00000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000022ffff770000
% 00000000000000000000000000000000000000000044ffbb0000000000000088ffbb000000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000bbffcc000000
% 00000000000000000000000000000000000000000044ffbb0000000000000044ffdd000000000000
% 00000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000033bb60ffff33000000
% 00000000000000000000000000000000000000000088ffbb0000000000000022ffff000000000000
% 00000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000088fffaff8800000000
% 00000000000000000000000000000000000000000088ffbb0000000000000000ffff440000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000ccffffff9000000000
% 00000000000000000000000000000000000000000088ff880000000000000000bbff660000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000022ffffffff9900000000
% 00000000000000000000000000000000000000000088ff880000000000000000aaff880000000000
% 00000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000077ffffff990000000000
% 000000000000000000000000000000000000000000aaff88000000000000000088ffbb0000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000aaffff99000000000000
% 000000000000000000000000000000000000000000bbff88000000000000000055ffcc0000000000
% 00000000000000000000000000000000000000
% 000000000000000000000000000000001144888844110000000000000011ffff9900000000000000
% 000000000000000000000000000000000000000000bbff77000000000000000033ffff0000000000
% 00000000000000000000000000000000000000
% 0000000000000000000000114488aaddffddaaaaddffddaa884411000055ff990000000000000000
% 000000000000000000000000000000000000000000bbff44000000000000000000ffff3300000000
% 00000000000000000000000000000000000000
% 0000000000000000000044eeddaa88441100000000114488aaddee44009999000000000000000000
% 000000000000000000000000000000000000000000ccff44000000000000000000ddff4400000000
% 00000000000000000000000000000000000000
% 00000000000000001188ff77000000000000000000000000000077ff889000000000000000000000
% 000000000000000000000000000000000000000000ffff44000000000000000000bbff7700000000
% 00000000000000000000000000000000000000
% 0000000000000044ddcc330000000000000000000000000000000033ccdd44000000000000000000
% 000000000000000000000000000000000000000000ffff4400000000000000000099ff8800000000
% 00000000000000000000000000000000000000
% 00000000001188ff88000000000000000000000000000000000000000088ff881100000000000000
% 000000000000000000000000000000000000000000ffff1100000000000000000088ffbb00000000
% 00000000000000000000000000000000000000
% 000000000088cc330000000000000000000000000000000000000000000033cc8800000000000000
% 000000000000000000000000000000000000000000ffff0000000000000000000055ffbb00000000
% 00000000000000000000000000000000000000
% 0000000044ff3300000000000000000000000000000000000000000000000033ff44000000000000
% 000000000000000000000000000000000000000033ffff0000000000000000000044ffff00000000
% 00000000000000000000000000000000000000
% 00000011dd88000000000000000000000000000000000000000000000000000088dd110000000000
% 000000000000000000000000000000000000000044ffff0000000000000000000011ffff00000000
% 00000000000000000000000000000000000000
% 00000088cc00000000000000000000000000000000000000000000000000000000cc880000000000
% 000000000000000000000000000000000000000044ffee0000000000000000000000ffff44000000
% 00000000000000000000000000000000000000
% 000044ff330000000000000000000000000000000000000000000000000000000033ff4400000000
% 000000000000000000000000000000000000000044ffbb0000000000000000000000bbff55000000
% 00000000000000000000000000000000000000
% 0011ee7700000000000000000000000000000000000000000000000000000000000077ee11000000
% 000000000000000000000000000000000000000055ffbb0000000000000000000000bbff88000000
% 00000000000000000000000000000000000000
% 0044dd0000000000000000000000000000000000000000000000000000000000000000dd44000000
% 000000000000000000000000000000000000000088ffbb000000000000000000000088ff99000000
% 00000000000000000000000000000000000000
% 0088aa0000000000000000000000000000000000000000000000000000000000000000aa88000000
% 000000000000000000000000000000000000000088ffbb000000000000000000000077ffbb000000
% 00000000000000000000000000000000000000
% 00aa88000000000000000000000000000000000000000000000000000000000000000088aa000000
% 000000000000000000000000000000000000000088ff88000000000000000000000044ffee000000
% 00000000000000000000000000000000000000
% 00dd44000000000000000000000000000088eeffdd550000000000000000000000000044dd000000
% 000000000000000000000000000000000000000088ff88000000000000000000000011ffff000000
% 00000000000000000000000000000000000000
% 11ff11000000000000000000000000005555001199ee0000000000000000000000000011ff110000
% 000000000000000000000000000000000000000099ff88000000000000000000000000ffff440000
% 00000000000000000000000000000000000000
% 44dd00000000000000000000000000001100000000ee0000000000000000000000000000dd440000
% 0000000000000000000000000000000000000000bbff88000000000000000000000000bbff550000
% 00000000000000000000000000000000000000
% 88aa00000000000000000000000000000000000033990000000000000000000000000000aa880000
% 0000000000000000000000000000000000000000bbff88000000000000000000000000aaff880000
% 00000000000000000000000000000000000000
% 88aa00000000000000000000000000000000000099110000000000000000000000000000aa880000
% 0000000000000000000000000000000000000000bbff4400000000000000000000000088ffaa0000
% 00000000000000000000000000000000000000
% 44dd00000000000000000000000000000000005533000000000000000000000000000000dd440000
% 0000000000000000000000000000000000000000bbff4400000000000000000000000066ffbb0000
% 00000000000000000000000000000000000000
% 11ff11000000000000000000000000000000553300000000000000000000000000000011ff110000
% 0000000000000000000000000000000000000000ffff4400000000000000000000000044ffff0000
% 00000000000000000000000000000000000000
% 00dd44000000000000000000000000000066440000115500000000000000000000000044dd000000
% 0000000000000000000000000000000000000000ffff4400000000000000000000000000ffff2200
% 00000000000000000000000000000000000000
% 00aa880000000000000000000000000055ffffffffff2200000000000000000000000088aa000000
% 0000000000000000000000000000000000000000ffff2200000000000000000000000000eeff4400
% 00000000000000000000000000000000000000
% 0088aa0000000000000000000000000000000000000000000000000000000000000000aa88000000
% 0000000000000000000000000000000000000000ffff0000000000000000000000000000bbff7700
% 00000000000000000000000000000000000000
% 0044dd0000000000000000000000000000000000000000000000000000000000000000dd44000000
% 0000000000000000000000000000000000000022ffff000000000000000000000000000088ff8800
% 00000000000000000000000000000000000000
% 0011ee7700000000000000000000000000000000000000000000000000000000000077ee11000000
% 0000000000000000000000000000000000000044ffff000000000000000000000000000077ffbb00
% 00000000000000000000000000000000000000
% 000044ff330000000000000000000000000000000000000000000000000000000033ff4400000000
% 0000000000000000000000000000000000000044ffff000000000000000000000000000044ffee00
% 00000000000000000000000000000000000000
% 00000088cc00000000000000000000000000000000000000000000000000000000cc880000000000
% 0000000000000000000000000000000000000044ffbb000000000000000000000000000011ffff11
% 00000000000000000000000000000000000000
% 00000011dd88000000000000000000000000000000000000000000000000000088dd110000000000
% 0000000000000000000000000000000000000044ffbb000000000000000000000000000000ffff44
% 00000000000000000000000000000000000000
% 0000000044ff3300000000000000000000000000000000000000000000000033ff44000000000000
% 0000000000000000000000000000000000000088ffbb000000000000000000000000000000bbff77
% 00000000000000000000000000000000000000
% 000000000088cc330000000000000000000000000000000000000000000033cc8800000000000000
% 0000000000000000000000000000000000000088ffbb00000000000000000000000000000099ff88
% 00000000000000000000000000000000000000
% 00000000001188ff88000000000000000000000000000000000000000088ff881100000000000000
% 0000000000000000000000000000000000000088ff9900000000000000000000000000000088ffbb
% 00000000000000000000000000000000000000
% 0000000000000044ddcc330000000000000000000000000000000033ccdd44000000000000000000
% 0000000000000000000000000000000000000088ff8800000000000000000000000000000044ffdd
% 00000000000000000000000000000000000000
% 00000000000000001188ff77000000000000000000000000000077ff901100000000000000000000
% 0000000000000000000000000000000000000099ff8800000000000000000000000000000022ffff
% 00000000000000000000000000000000000000
% 0000000000000000000044eeddaa88441100000000114488aaddfbff880000000000000000000000
% 00000000000000000000000000000000000000bbff8800000000000000000000000000000000ffff
% 44000000000000000000000000000000000000
% 0000000000000000000000114488aaddffddaaaaddffddaa884470ffee2200000000000000000000
% 00000000000000000000000000000000000000bbff8800000000000000000000000000000000bbff
% 66000000000000000000000000000000000000
% 000000000000000000000000000000001144888844110000000000ddff9900000000000000000000
% 00000000000000000000000000000000000000bbff440000000000000000000000000000000099ff
% 88000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000044ffff44000000000000000000
% 00000000000000000000000000000000000000bbff440000000000000000000000000000000088ff
% bb000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000bbffbb000000000000000000
% 00000000000000000000000000000000000000ffff440000000000000000000000000000000044ff
% cc000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000022ffff550000000000000000
% 00000000000000000000000000000000000000ffff440000000000000000000000000000000033ff
% ff000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000099ffdd0000000000000000
% 00000000000000000000000000000000000000ffff110000000000000000000000000000000000ff
% ff330000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000011eeff7700000000000000
% 00000000000000000000000000000000000000ffff000000000000000000000000000000000000cc
% ff550000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000088ffee11000000000000
% 00000000000000000000000000000000000033ffff000000000000000000000000000000000000bb
% ff880000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000011ddff88000000000000
% 00000000000000000000000000000000000044ffff00000000000000000000000000000000000088
% ff990000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000066ffff220000000000
% 00000000000000000000000000000000000044ffee00000000000000000000000000000000000066
% ffbb0000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000ccff990000000000
% 00000000000000000000000000000000000044ffbb00000000000000000000000000000000000044
% ffee0000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000044ffff4400000000
% 00000000000000000000000000000000000066ffbb00000000000000000000000000000000000011
% ffff0000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000bbffbb00000000
% 00000000000000000000000000000000000088ffbb00000000000000000000000000000000000000
% ffff4400000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000022ffff55000000
% 00000000000000000000000000000000000088ffbb00000000000000000000000000000000000000
% bbff5500000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000099ffdd000000
% 00000000000000000000000000000000000088ff8800000000000000000000000000000000000000
% aaff8800000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000022eeff660000
% 00000000000000000000000000000000000088ff8800000000000000000000000000000000000000
% 88ff9900000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000088ffdd0000
% 000000000000000000000000000000000000bbff8800000000000000000000000000000000000000
% 66ffbb00000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000011eeff8800
% 000000000000000000000000000000000000bbff8800000000000000000000000000000000000000
% 44ffee00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000088ffee11
% 000000000000000000000000000000000000bbff4400000000000000000000000000000000000000
% 22ffff00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000011eeff88
% 000000000000000000000000000000000000ccff4400000000000000000000000000000000000000
% 00ffff33000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000000000066ffee
% 110000000000000000000000000000000000ffff4400000000000000000000000000000000000000
% 00ddff44000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000000000000000ddff
% 880000000000000000000000000000000000ffff4400000000000000000000000000000000000000
% 00bbff77000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000066ff
% ff2200000000000000000000000000000000ffff0000000000000000000000000000000000000000
% 0099ff88000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000dd
% ff9900000000000000000000000000000011ffff0000000000000000000000000000000000000000
% 0088ff99000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000066
% ffee11000000000000000000000000000044ffff0000000000000000000000000000000000000000
% 0077ffbb000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% ddff88000000000000000000000000000044ffee0000000000000000000000000000000000000000
% 0044ffdd000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 66ffee110000000000000000000000000044ffbb0000000000000000000000000000000000000000
% 0033ffff000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00ddff880000000000000000000000000066ffbb0000000000000000000000000000000000000000
% 0000ffff110000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0066ffee1100000000000000000000000088ffbb0000000000000000000000000000000000000000
% 0000ffff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000ddff90bb330000000000000000000088ff990000000000000000000000000000000000000000
% 0000ccff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000088fffcff880000000000000000000088ff880000000000000000000000000000000000000000
% 0000bbff770000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000090ffffffcc00000000000000000000bbff880000000000000000000000000000000000000000
% 0000aaff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000099ffffffff22000000000000000000bbff770000000000000000000000000000000000000000
% 000088ff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000099ffffff77000000000000000000bbff440000000000000000000000000000000000000000
% 000088ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000099ffffaa000000000000000000eeff440000000000000000000000000000000000000000
% 000044ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000099ffff110000000000000000ffff440000000000000000000000000000000000000000
% 000044ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000099ff550000000000114488ffff200000000000000000000000000000000000000000
% 000022ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000009999114488aaddffddaaaaddffddaa884411000000000000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000a8eeddaa88441100000000114488aaddee440000000000000000000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000001188ff77000000000000000000000000000077ff8811000000000000000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000044ddcc330000000000000000000000000000000033ccdd440000000000000000000000
% 000000eeff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000001188ff88000000000000000000000000000000000000000088ff8811000000000000000000
% 000000bbff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000088cc330000000000000000000000000000000000000000000033cc88000000000000000000
% 000000bbff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000044ff3300000000000000000000000000000000000000000000000033ff440000000000000000
% 000000bbff7700000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0011dd88000000000000000000000000000000000000000000000000000088dd1100000000000000
% 000000bbff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0088cc00000000000000000000000000000000000000000000000000000000cc8800000000000000
% 000000bbff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 44ff330000000000000000000000000000000000000000000000000000000033ff44000000000000
% 000000bbff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000011
% ee7700000000000000000000000000000000000000000000000000000000000077ee110000000000
% 000000bbff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000044
% dd0000000000000000000000000000000000000000000000000000000000000000dd440000000000
% 000000bbff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000088
% aa0000000000000000000000000000000000000000000000000000000000000000aa880000000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000aa
% 88000000000000000000000000000000000000000000000000000000000000000088aa0000000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000dd
% 44000000000000000000000000000088ffffee880000000000000000000000000044dd0000000000
% 00000099ff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000011ff
% 11000000000000000000000000002233000066ff0000000000000000000000000011ff1100000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000044dd
% 00000000000000000000000000000000000044660000000000000000000000000000dd4400000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000088aa
% 000000000000000000000000000000000077aa110000000000000000000000000000aa8800000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000088aa
% 000000000000000000000000000000006688ee990000000000000000000000000000aa8800000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000044dd
% 00000000000000000000000000000000000044ff0000000000000000000000000000dd4400000000
% 000000bbff8800000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000011ff
% 11000000000000000000000000000000000000ff0000000000000000000000000011ff1100000000
% 000000bbff6600000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000dd
% 44000000000000000000000000000000000055990000000000000000000000000044dd0000000000
% 000000bbff4400000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000000000000000000aa
% 880000000000000000000000000044eedddd88110000000000000000000000000088aa0000000000
% 000000bbff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000088
% aa0000000000000000000000000000000000000000000000000000000000000000aa880000000000
% 000000bbff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000044
% dd0000000000000000000000000000000000000000000000000000000000000000dd440000000000
% 000000ccff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000011
% ee7700000000000000000000000000000000000000000000000000000000000077ee110000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 44ff330000000000000000000000000000000000000000000000000000000033ff44000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0088cc00000000000000000000000000000000000000000000000000000000cc8800000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0011dd88000000000000000000000000000000000000000000000000000088dd1100000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000044ff3300000000000000000000000000000000000000000000000033ff440000000000000000
% 000000ffff4400000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000088cc330000000000000000000000000000000000000000000033cc88000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000001188ff88000000000000000000000000000000000000000088ff8811000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000044ddcc330000000000000000000000000000000033ccdd440000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000001188ff77000000000000000000000000000077ff8811000000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000044eeddaa88441100000000114488aae4ee440000000000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000114488aaddffddaaaaddffddaaf0ff50000000000000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000001144888844110000aaff88000000000000000000000000000000
% 000000ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000077ffcc000000000000000000000000000000
% 000022ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000022ffff220000000000000000000000000000
% 000044ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000ddff660000000000000000000000000000
% 000044ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000088ffaa0000000000000000000000000000
% 000044ffff0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000055ffee0000000000000000000000000000
% 000044ffcc0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000ffff4400000000000000000000000000
% 000044ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000aaff8800000000000000000000000000
% 000044ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000077ffcc00000000000000000000000000
% 000077ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000022ffff22000000000000000000000000
% 000088ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000ddff66000000000000000000000000
% 000088ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000088ff99000000000000000000000000
% 000088ffbb0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000055ffee000000000000000000000000
% 000088ff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000ffff330000000000000000000000
% 000088ff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000bbff880000000000000000000000
% 000088ff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000088ffbb0000000000000000000000
% 0000bbff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000033ffff0000000000000000000000
% 0000bbff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000eeff5500000000000000000000
% 0000bbff880000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000aaff8800000000000000000000
% 0000bbff770000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000066ffcc00000000000000000000
% 0000bbff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000022ffff22000000000000000000
% 0000bbff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000ddff66000000000000000000
% 0000ccff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000099ff99000000000000000000
% 0000ffff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000055ffdd000000000000000000
% 0000ffff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000011ffff330000000000000000
% 0000ffff440000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000ccff770000000000000000
% 0000ffff220000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000088ffaa0000000000000000
% 00ffffffffdd00000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000338ffffbff22000000000000
% 00ffffffff8800000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000bbffffffff44000000000000
% 00bbffffff2200000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000022eeffffff44000000000000
% 00bbffffaa0000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000077ffffff88000000000000
% 0099ffff550000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000bbffff88000000000000
% 0088ffdd000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000022eeff99000000000000
% 0088ff88000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000077ffbb000000000000
% 0044ff22000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000bbbb000000000000
% 0044aa00000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000000000000000022ee000000114488
% 885d6000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000119b88aaddffddaa
% aaddffddaa8844110000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000044eeddaa8844110000
% 0000114488aaddee4400000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000001188ff7700000000000000
% 0000000000000077ff88110000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000044ddcc330000000000000000
% 000000000000000033ccdd4400000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000001188ff8800000000000000000000
% 0000000000000000000088ff88110000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000088cc330000000000000000000000
% 000000000000000000000033cc880000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000044ff33000000000000000000000000
% 00000000000000000000000033ff4400000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000011dd8800000000000000000000000000
% 0000000000000000000000000088dd11000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000088cc0000000000000000000000000000
% 0000000000000000000000000000cc88000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000044ff330000000000000000000000000000
% 000000000000000000000000000033ff440000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000011ee77000000000000000000000000000000
% 00000000000000000000000000000077ee1100
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000044dd00000000000000000000000000000000
% 00000000000000000000000000000000dd4400
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000088aa00000000000000000000000000000000
% 00000000000000000000000000000000aa8800
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000aa8800000000000000000000000000000000
% 0000000000000000000000000000000088aa00
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000dd4400000000000000000000000000000000
% 00cc000000000000000000000000000044dd00
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000011ff1100000000000000000000000000000000
% 55ff000000000000000000000000000011ff11
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000044dd0000000000000000000000000000000044
% 44ff000000000000000000000000000000dd44
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000088aa0000000000000000000000000000003333
% 44ff000000000000000000000000000000aa88
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000088aa0000000000000000000000000000118800
% 44ff000000000000000000000000000000aa88
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000044dd0000000000000000000000000000881100
% 44ff000000000000000000000000000000dd44
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000011ff1100000000000000000000000000bbffff
% ffffff8800000000000000000000000011ff11
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000dd4400000000000000000000000000000000
% 00ff000000000000000000000000000044dd00
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000aa8800000000000000000000000000000000
% 00ff000000000000000000000000000088aa00
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000088aa00000000000000000000000000000000
% 00000000000000000000000000000000aa8800
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000044dd00000000000000000000000000000000
% 00000000000000000000000000000000dd4400
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000011ee77000000000000000000000000000000
% 00000000000000000000000000000077ee1100
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000044ff330000000000000000000000000000
% 000000000000000000000000000033ff440000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000088cc0000000000000000000000000000
% 0000000000000000000000000000cc88000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000011dd8800000000000000000000000000
% 0000000000000000000000000088dd11000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000044ff33000000000000000000000000
% 00000000000000000000000033ff4400000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 000000000000000000000000000000000000000000000000000088cc330000000000000000000000
% 000000000000000000000033cc880000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000001188ff8800000000000000000000
% 0000000000000000000088ff88110000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000044ddcc330000000000000000
% 000000000000000033ccdd4400000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000001188ff7700000000000000
% 0000000000000077ff88110000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000044eeddaa8844110000
% 0000114488aaddee4400000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 0000000000000000000000000000000000000000000000000000000000000000114488aaddffddaa
% aaddffddaa8844110000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000000000
% 00000000000000000000000000000000000000000000000000000000000000000000000000114488
% 88441100000000000000000000000000000000
%%EndImage
%%EndPreview
save countdictstack mark newpath /showpage {} def /setpagedevice {pop} def
%%EndProlog
%%Page: 1 1
%%BeginDocument: graph.ps
save
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval

EncodingVector
  dup 306 /AE
  dup 301 /Aacute
  dup 302 /Acircumflex
  dup 304 /Adieresis
  dup 300 /Agrave
  dup 305 /Aring
  dup 303 /Atilde
  dup 307 /Ccedilla
  dup 311 /Eacute
  dup 312 /Ecircumflex
  dup 313 /Edieresis
  dup 310 /Egrave
  dup 315 /Iacute
  dup 316 /Icircumflex
  dup 317 /Idieresis
  dup 314 /Igrave
  dup 334 /Udieresis
  dup 335 /Yacute
  dup 376 /thorn
  dup 337 /germandbls
  dup 341 /aacute
  dup 342 /acircumflex
  dup 344 /adieresis
  dup 346 /ae
  dup 340 /agrave
  dup 345 /aring
  dup 347 /ccedilla
  dup 351 /eacute
  dup 352 /ecircumflex
  dup 353 /edieresis
  dup 350 /egrave
  dup 355 /iacute
  dup 356 /icircumflex
  dup 357 /idieresis
  dup 354 /igrave
  dup 360 /dcroat
  dup 361 /ntilde
  dup 363 /oacute
  dup 364 /ocircumflex
  dup 366 /odieresis
  dup 362 /ograve
  dup 365 /otilde
  dup 370 /oslash
  dup 372 /uacute
  dup 373 /ucircumflex
  dup 374 /udieresis
  dup 371 /ugrave
  dup 375 /yacute
  dup 377 /ydieresis

% 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
35 35 114 270 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

% 1
gsave 10 dict begin
64 242 18 18 ellipse_path
stroke
gsave 10 dict begin
64 237 moveto 4 -0.5 (1) alignedtext
end grestore
end grestore

% 2
gsave 10 dict begin
18 170 18 18 ellipse_path
stroke
gsave 10 dict begin
18 165 moveto 8 -0.5 (2) alignedtext
end grestore
end grestore

% 1 -> 2
gsave 10 dict begin
bold
newpath 54 227 moveto
48 217 40 205 33 193 curveto
stroke
gsave 10 dict begin
solid
0.000 0.000 0.000 edgecolor
newpath 35 192 moveto
28 185 lineto
31 195 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
end grestore
end grestore

% 4
gsave 10 dict begin
79 26 18 18 ellipse_path
stroke
gsave 10 dict begin
79 21 moveto 8 -0.5 (4) alignedtext
end grestore
end grestore

% 1 -> 4
gsave 10 dict begin
bold
newpath 67 224 moveto
69 214 71 200 73 188 curveto
77 156 80 148 83 116 curveto
84 100 83 95 83 80 curveto
83 71 82 62 82 53 curveto
stroke
gsave 10 dict begin
solid
0.000 0.000 0.000 edgecolor
newpath 85 54 moveto
81 44 lineto
80 54 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
end grestore
end grestore

% 3
gsave 10 dict begin
56 98 18 18 ellipse_path
stroke
gsave 10 dict begin
56 93 moveto 7 -0.5 (3) alignedtext
end grestore
end grestore

% 2 -> 3
gsave 10 dict begin
bold
newpath 26 154 moveto
31 145 38 133 43 122 curveto
stroke
gsave 10 dict begin
solid
0.000 0.000 0.000 edgecolor
newpath 45 124 moveto
48 114 lineto
41 121 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
end grestore
end grestore

% 3 -> 1
gsave 10 dict begin
bold
newpath 63 216 moveto
61 187 59 141 57 116 curveto
stroke
gsave 10 dict begin
solid
0.000 0.000 0.000 edgecolor
newpath 61 214 moveto
63 224 lineto
66 214 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
end grestore
end grestore

% 3 -> 4
gsave 10 dict begin
bold
newpath 62 81 moveto
64 72 68 62 70 52 curveto
stroke
gsave 10 dict begin
solid
0.000 0.000 0.000 edgecolor
newpath 72 53 moveto
73 43 lineto
67 52 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
end grestore
end grestore
endpage
grestore
end
restore
%%EndDocument
%%Trailer
cleartomark countdictstack exch sub { end } repeat restore
%%EOF

quality100%

¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.