--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/images/statetrans.fig	Mon Sep 25 15:53:33 2006 +0000
@@ -0,0 +1,52 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4      
+100.00
+Single
+-2
+1200 2
+0 32 #8e8e8e
+1 3 0 1 0 7 50 -1 20 0.000 1 0.0000 3150 2025 445 445 3150 2025 3595 2025
+1 3 0 1 0 7 50 -1 20 0.000 1 0.0000 4280 3600 445 445 4280 3600 4725 3600
+1 3 0 1 0 7 50 -1 20 0.000 1 0.0000 5405 2025 445 445 5405 2025 5850 2025
+1 3 0 1 0 7 100 0 0 4.000 1 0.0000 1845 2025 101 101 1845 2025 1935 2070
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 3
+	1 1 1.00 60.00 120.00
+	 3465 2340 3870 2700 4050 3195
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 3
+	1 1 1.00 60.00 120.00
+	 3600 1935 4275 1710 4995 1845
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 3
+	1 1 1.00 60.00 120.00
+	 5130 2385 4725 2745 4500 3195
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 3
+	1 1 1.00 60.00 120.00
+	 4950 2115 4275 2295 3600 2160
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 3
+	1 1 1.00 60.00 120.00
+	 3870 3420 3420 3060 3240 2475
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 50 -1 -1 0.000 0 1 0 4
+	1 1 1.00 60.00 120.00
+	 5805 1800 6300 1665 5985 1305 5715 1665
+	 0.000 -1.000 -1.000 0.000
+3 2 0 1 0 7 100 0 -1 0.000 0 1 0 2
+	1 1 1.00 60.00 120.00
+	 1840 2025 2700 2025
+	 0.000 0.000
+4 1 0 50 -1 16 16 0.0000 4 150 465 3150 2115 s0\001
+4 1 0 50 -1 16 16 0.0000 4 150 465 5400 2115 s1\001
+4 1 0 50 -1 16 16 0.0000 4 150 465 4275 3690 s2\001
+4 1 0 50 -1 32 16 0.0000 4 120 180 3915 2610 e\001
+4 1 0 50 -1 32 16 0.0000 4 120 180 3375 3240 e\001
+4 1 0 50 -1 32 16 0.0000 4 120 180 4320 2250 e\001
+4 1 0 50 -1 16 16 0.0000 4 195 840 3015 3240 a, b,\001
+4 1 0 50 -1 16 16 0.0000 4 120 240 4590 2745 a\001
+4 1 0 50 -1 16 16 0.0000 4 165 240 6300 1395 b\001
+4 1 0 50 -1 16 16 0.0000 4 195 720 4185 1665 a, b\001