Finished replacement of manually drawn figures with graphviz drawn figures.

These need bounding box fixes at the very least.

git-svn-id: http://svn.complang.org/ragel/trunk@19 052ea7fc-9027-0410-9066-f65837a77df0

diff --git a/doc/bmconcat.fig b/doc/bmconcat.fig
index 0ca063f..921f131 100644 (file)
--- a/doc/bmconcat.fig
+++ b/doc/bmconcat.fig
@@ -6,75 +6,73 @@ A4
 100.00
 Single
 -2
-# Generated by dot version 2.8 (Wed Jul 19 03:30:15 UTC 2006)
-# For: (thurston) Adrian Thurston,,,
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
 # Title: bmconcat
 # Pages: 1
 1200 2
 0 32 #d2d2d2
-2 3 0 1 7 7 1 0 20 0.0 0 0 0 0 0 5
- -83 4449 -83 3349 9983 3349 9983 4449 -83 4449
 # ENTRY
-1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3916 33 33 33 3916 66 3949
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
 # 0
-1 1 0 1 0 7 0 0 -1 0.000 0 0.0000 1333 3916 383 383 1333 3916 1716 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3999 0\001
-# ENTRY->0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 2550 383 383 1333 2550 1716 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2633 0\001
+# ENTRY -> 0
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3916 139 3916 237 3916 354 3916 485 3916 624 3916 766 3916
+  66 2550 139 2550 237 2550 354 2550 485 2550 624 2550 766 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3849 933 3916 766 3966 766 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 499 3866 IN\001
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
 # 5
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9399 3916 383 383 9399 3916 9782 4299
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9399 3916 449 449 9399 3916 9848 4365
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9399 3999 5\001
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9400 2550 383 383 9400 2550 9783 2933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9400 2550 450 450 9400 2550 9850 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9400 2633 5\001
 # 1
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 3916 383 383 2966 3916 3349 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 3999 1\001
-# 0->1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 2550 383 383 2966 2550 3349 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 2633 1\001
+# 0 -> 1
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3916 1837 3916 1946 3916 2060 3916 2175 3916 2289 3916 2399 3916
+  1733 2550 1837 2550 1946 2550 2060 2550 2175 2550 2289 2550 2400 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2399 3849 2566 3916 2399 3966 2399 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2149 3866 'h'\001
+ 2400 2483 2566 2550 2400 2600 2400 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2150 2500 'h'\001
 # 2
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4566 3916 383 383 4566 3916 4949 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4566 3999 2\001
-# 1->2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4566 2550 383 383 4566 2550 4949 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4566 2633 2\001
+# 1 -> 2
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  3366 3916 3467 3916 3571 3916 3677 3916 3783 3916 3891 3916 3999 3916
+  3366 2550 3467 2550 3571 2550 3677 2550 3783 2550 3891 2550 4000 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3999 3849 4166 3916 3999 3966 3999 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3766 3866 'e'\001
+ 4000 2483 4166 2550 4000 2600 4000 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3766 2500 'e'\001
 # 3
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 3916 383 383 6133 3916 6516 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 3999 3\001
-# 2->3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 2550 383 383 6133 2550 6516 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 2633 3\001
+# 2 -> 3
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  4966 3916 5060 3916 5159 3916 5260 3916 5362 3916 5465 3916 5566 3916
+  4966 2550 5060 2550 5159 2550 5260 2550 5362 2550 5465 2550 5566 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 5566 3849 5733 3916 5566 3966 5566 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5349 3866 'l'\001
+ 5566 2483 5733 2550 5566 2600 5566 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5350 2500 'l'\001
 # 4
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 7699 3916 383 383 7699 3916 8082 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7699 3999 4\001
-# 3->4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 7700 2550 383 383 7700 2550 8083 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7700 2633 4\001
+# 3 -> 4
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  6533 3916 6627 3916 6725 3916 6827 3916 6929 3916 7032 3916 7133 3916
+  6533 2550 6627 2550 6725 2550 6827 2550 6929 2550 7032 2550 7133 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 7133 3849 7299 3916 7133 3966 7133 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6916 3866 'l'\001
-# 4->5
+ 7133 2483 7300 2550 7133 2600 7133 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6916 2500 'l'\001
+# 4 -> 5
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  8099 3916 8202 3916 8309 3916 8420 3916 8534 3916 8650 3916 8766 3916
+  8100 2550 8202 2550 8309 2550 8420 2550 8534 2550 8650 2550 8766 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 8766 3849 8933 3916 8766 3966 8766 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8516 3866 'o'\001
+ 8766 2483 8933 2550 8766 2600 8766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8516 2500 'o'\001
 # end of FIG file

diff --git a/doc/bmnull.fig b/doc/bmnull.fig
index c2a0310..a56e2ad 100644 (file)
--- a/doc/bmnull.fig
+++ b/doc/bmnull.fig
@@ -6,25 +6,23 @@ A4
 100.00
 Single
 -2
-# Generated by dot version 2.8 (Wed Jul 19 03:30:15 UTC 2006)
-# For: (thurston) Adrian Thurston,,,
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
 # Title: bmnull
 # Pages: 1
 1200 2
 0 32 #d2d2d2
-2 3 0 1 7 7 1 0 20 0.0 0 0 0 0 0 5
- -83 4449 -83 3349 1983 3349 1983 4449 -83 4449
 # ENTRY
-1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3916 33 33 33 3916 66 3949
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
 # 0
-1 1 0 1 0 7 0 0 -1 0.000 0 0.0000 1399 3916 383 383 1399 3916 1782 4299
-1 1 0 1 0 7 0 0 -1 0.000 0 0.0000 1399 3916 449 449 1399 3916 1848 4365
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1399 3999 0\001
-# ENTRY->0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 2550 383 383 1400 2550 1783 2933
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 2550 450 450 1400 2550 1850 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 2633 0\001
+# ENTRY -> 0
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3916 132 3916 225 3916 341 3916 474 3916 617 3916 766 3916
+  66 2550 132 2550 225 2550 341 2550 474 2550 617 2550 766 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3849 933 3916 766 3966 766 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 499 3866 IN\001
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
 # end of FIG file

diff --git a/doc/bmnum.fig b/doc/bmnum.fig
index eb09209..f00eec4 100644 (file)
--- a/doc/bmnum.fig
+++ b/doc/bmnum.fig
@@ -6,35 +6,33 @@ A4
 100.00
 Single
 -2
-# Generated by dot version 2.8 (Wed Jul 19 03:30:15 UTC 2006)
-# For: (thurston) Adrian Thurston,,,
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
 # Title: bmnum
 # Pages: 1
 1200 2
 0 32 #d2d2d2
-2 3 0 1 7 7 1 0 20 0.0 0 0 0 0 0 5
- -83 4449 -83 3349 3616 3349 3616 4449 -83 4449
 # ENTRY
-1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3916 33 33 33 3916 66 3949
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
 # 0
-1 1 0 1 0 7 0 0 -1 0.000 0 0.0000 1333 3916 383 383 1333 3916 1716 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3999 0\001
-# ENTRY->0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 2550 383 383 1333 2550 1716 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2633 0\001
+# ENTRY -> 0
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3916 139 3916 237 3916 354 3916 485 3916 624 3916 766 3916
+  66 2550 139 2550 237 2550 354 2550 485 2550 624 2550 766 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3849 933 3916 766 3966 766 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 499 3866 IN\001
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
 # 1
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3033 3916 383 383 3033 3916 3416 4299
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3033 3916 449 449 3033 3916 3482 4365
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3033 3999 1\001
-# 0->1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3066 2550 383 383 3066 2550 3449 2933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3066 2550 450 450 3066 2550 3516 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3066 2633 1\001
+# 0 -> 1
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3916 1835 3916 1943 3916 2054 3916 2167 3916 2283 3916 2399 3916
+  1733 2550 1838 2550 1951 2550 2070 2550 2192 2550 2314 2550 2433 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 2399 3849 2566 3916 2399 3966 2399 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2149 3866 '*'\001
+ 2433 2483 2600 2550 2433 2600 2433 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2166 2500 42\001
 # end of FIG file

diff --git a/doc/bmor.fig b/doc/bmor.fig
index 3a18886..093c4f2 100644 (file)
--- a/doc/bmor.fig
+++ b/doc/bmor.fig
@@ -6,35 +6,33 @@ A4
 100.00
 Single
 -2
-# Generated by dot version 2.8 (Wed Jul 19 03:30:15 UTC 2006)
-# For: (thurston) Adrian Thurston,,,
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
 # Title: bmor
 # Pages: 1
 1200 2
 0 32 #d2d2d2
-2 3 0 1 7 7 1 0 20 0.0 0 0 0 0 0 5
- -83 4449 -83 3349 4516 3349 4516 4449 -83 4449
 # ENTRY
-1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3916 33 33 33 3916 66 3949
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
 # 0
-1 1 0 1 0 7 0 0 -1 0.000 0 0.0000 1333 3916 383 383 1333 3916 1716 4299
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3999 0\001
-# ENTRY->0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 2550 383 383 1333 2550 1716 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2633 0\001
+# ENTRY -> 0
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  66 3916 139 3916 237 3916 354 3916 485 3916 624 3916 766 3916
+  66 2550 139 2550 237 2550 354 2550 485 2550 624 2550 766 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 766 3849 933 3916 766 3966 766 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 499 3866 IN\001
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
 # 1
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3933 3916 383 383 3933 3916 4316 4299
-1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3933 3916 449 449 3933 3916 4382 4365
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3933 3999 1\001
-# 0->1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3933 2550 383 383 3933 2550 4316 2933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3933 2550 450 450 3933 2550 4383 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3933 2633 1\001
+# 0 -> 1
 3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
-  1733 3916 1960 3916 2217 3916 2491 3916 2771 3916 3045 3916 3299 3916
+  1733 2550 1960 2550 2217 2550 2491 2550 2771 2550 3045 2550 3300 2550
  0 1 1 1 1 1 0
 2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
- 3299 3849 3466 3916 3299 3966 3299 3849
-4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2599 3866 'e', 'h', 'l', 'o'\001
+ 3300 2483 3466 2550 3300 2600 3300 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2600 2500 'e', 'h', 'l', 'o'\001
 # end of FIG file

diff --git a/doc/bmrange.fig b/doc/bmrange.fig
index 7ad3693..7c85d8e 100644 (file)
--- a/doc/bmrange.fig
+++ b/doc/bmrange.fig
@@ -1,20 +1,38 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: bmrange
+# Pages: 1
 1200 2
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 765 450 135 135 765 450 900 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1710 450 135 135 1710 450 1845 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1710 450 90 90 1710 450 1800 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        900 450 1575 450
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        225 495 315 360 405 630 495 450 540 450 630 450
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 285 1080 405 l .. u\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 2550 383 383 1333 2550 1716 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2633 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 2550 139 2550 237 2550 354 2550 485 2550 624 2550 766 2550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 2550 383 383 3333 2550 3716 2933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 2550 450 450 3333 2550 3783 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 2633 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 2550 1881 2550 2039 2550 2204 2550 2371 2550 2538 2550 2700 2550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 2483 2866 2550 2700 2600 2700 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 2500 'a'..'z'\001
+# end of FIG file

diff --git a/doc/bmregex.fig b/doc/bmregex.fig
index 5823524..4eae976 100644 (file)
--- a/doc/bmregex.fig
+++ b/doc/bmregex.fig
@@ -1,42 +1,86 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: bmregex
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 3420.000 240.000 3330 360 3420 90 3510 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1440.000 240.000 1350 360 1440 90 1530 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2340.000 240.000 2250 360 2340 90 2430 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2880.000 266.250 3375 585 2880 855 2385 585
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 765 450 135 135 765 450 900 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1440 450 135 135 1440 450 1575 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2340 450 135 135 2340 450 2475 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3420 450 135 135 3420 450 3555 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3420 450 90 90 3420 450 3510 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        900 450 1305 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1575 450 2205 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2475 450 3285 450
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        225 495 315 360 405 630 495 450 540 450 630 450
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 75 60 1035 405 a\001
-4 0 0 50 0 0 10 0.0000 4 105 75 1395 45 b\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2250 45 df\001
-4 0 0 50 0 0 10 0.0000 4 135 315 2700 405 1,2,3\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1800 405 c-z\001
-4 0 0 50 0 0 10 0.0000 4 135 315 3285 45 1,2,3\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2790 810 df\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3850 33 33 33 3850 66 3883
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3850 383 383 1333 3850 1716 4233
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3933 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3850 139 3850 237 3850 354 3850 485 3850 624 3850 766 3850
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3783 933 3850 766 3900 766 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3800 IN\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6866 3850 383 383 6866 3850 7249 4233
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6866 3850 450 450 6866 3850 7316 4300
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6866 3933 3\001
+# 3 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  7183 3516 7208 3410 7201 3312 7162 3227 7093 3159 6994 3115 6866 3100 6772 3108 6691 3131 6625 3168 6575 3218 6544 3279 6533 3350
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6583 3350 6550 3516 6483 3350 6583 3350
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6866 3050 '1'..'3'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4866 3850 383 383 4866 3850 5249 4233
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4866 3933 2\001
+# 3 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  6466 4066 6407 4091 6345 4115 6283 4137 6220 4156 6159 4172 6100 4183 6001 4198 5917 4209 5839 4214 5760 4212 5672 4203 5566 4183 5533 4174 5499 4166 5464 4156 5428 4145 5390 4132 5350 4116
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5333 4166 5200 4050 5383 4066 5333 4166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5833 4116 DEF\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2933 3850 383 383 2933 3850 3316 4233
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2933 3933 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3850 1834 3850 1938 3850 2043 3850 2150 3850 2258 3850 2366 3850
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2366 3783 2533 3850 2366 3900 2366 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2133 3800 'a'\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3200 3566 3220 3467 3216 3374 3185 3291 3128 3225 3044 3182 2933 3166 2849 3174 2782 3197 2729 3233 2690 3280 2664 3336 2650 3400
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 3400 2666 3566 2600 3400 2700 3400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2933 3116 'b'\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3333 3850 3481 3850 3639 3850 3804 3850 3971 3850 4138 3850 4300 3850
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4300 3783 4466 3850 4300 3900 4300 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3900 3800 'c'..'z'\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  5266 3850 5316 3848 5366 3845 5416 3841 5466 3837 5516 3834 5566 3833 5676 3833 5764 3833 5839 3833 5913 3833 5996 3833 6100 3833 6123 3833 6145 3833 6166 3833 6187 3833 6209 3833 6233 3833
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6233 3783 6400 3850 6233 3883 6233 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5833 3783 '1'..'3'\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5133 3566 5154 3467 5149 3374 5118 3291 5061 3225 4977 3182 4866 3166 4783 3174 4715 3197 4662 3233 4623 3280 4597 3336 4583 3400
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4633 3400 4600 3566 4533 3400 4633 3400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4866 3116 DEF\001
+# end of FIG file

diff --git a/doc/exaction.fig b/doc/exaction.fig
index e41ef2e..2c9af07 100644 (file)
--- a/doc/exaction.fig
+++ b/doc/exaction.fig
@@ -1,37 +1,62 @@
-#FIG 3.2  Produced by xfig version 3.2.5-alpha5
-Landscape
+#FIG 3.2
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exaction
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1620.000 400.500 1530 495 1620 270 1710 495
-       1 1 2.00 60.00 60.00
-6 1377 810 1872 990
-4 0 0 50 0 0 10 0.0000 4 120 315 1557 945 /C,N\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1377 945 nl\001
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 135 135 585 585 720 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1620 585 135 135 1620 585 1755 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 585 135 135 2655 585 2790 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 585 90 90 2655 585 2745 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 585 1485 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1755 585 2520 585
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 630 135 495 225 765 315 585 360 585 450 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        630 720 765 900 1305 1035 1935 1035 2475 900 2610 720
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 120 495 855 540 a-z/A,B\001
-4 0 0 50 0 0 10 0.0000 4 105 330 1485 225 a-z/B\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1935 540 nl\001
-4 0 0 50 0 0 10 0.0000 4 120 315 2115 540 /C,N\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 4183 33 33 33 4183 66 4216
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 4183 383 383 1333 4183 1716 4566
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 4266 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 4183 139 4183 237 4183 354 4183 485 4183 624 4183 766 4183
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 4116 933 4183 766 4233 766 4116
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 4133 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6300 4183 383 383 6300 4183 6683 4566
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6300 4183 450 450 6300 4183 6750 4633
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6300 4266 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  1733 4166 1783 4165 1833 4162 1883 4158 1933 4154 1983 4151 2033 4150 2498 4134 2875 4122 3206 4114 3535 4110 3907 4111 4366 4116 4587 4125 4814 4133 5041 4141 5262 4150 5473 4158 5666 4166
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5666 4100 5833 4166 5666 4216 5666 4100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3933 4066 10 / C, N\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3933 5216 383 383 3933 5216 4316 5599
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3933 5300 2\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1700 4333 1947 4433 2230 4547 2533 4668 2841 4791 3141 4909 3416 5016
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3433 4966 3566 5066 3383 5066 3433 4966
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2616 4433 'a'..'z' / A, B\001
+# 2 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  4300 5066 4502 4969 4734 4865 4985 4756 5243 4645 5496 4536 5733 4433
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5700 4383 5883 4366 5750 4483 5700 4383
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5100 4500 10 / C, N\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  4200 4933 4220 4834 4216 4740 4185 4658 4128 4592 4044 4549 3933 4533 3849 4541 3782 4564 3729 4600 3690 4646 3664 4703 3650 4766
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3700 4766 3666 4933 3600 4766 3700 4766
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3933 4483 'a'..'z' / B\001
+# end of FIG file

diff --git a/doc/exallact.fig b/doc/exallact.fig
index 40f4fcb..593ffd3 100644 (file)
--- a/doc/exallact.fig
+++ b/doc/exallact.fig
@@ -1,25 +1,48 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exallact
+# Pages: 1
 1200 2
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 495 135 135 630 495 765 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 495 135 135 1530 495 1665 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2430 495 135 135 2430 495 2565 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2430 495 90 90 2430 495 2520 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 495 1395 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1665 495 2295 495
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 540 180 405 270 675 360 495 405 495 495 495
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 285 945 450 m/A\001
-4 0 0 50 0 0 10 0.0000 4 135 360 1800 450 1,2/A\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 2550 33 33 33 2550 66 2583
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 2550 383 383 1333 2550 1716 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2633 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 2550 139 2550 237 2550 354 2550 485 2550 624 2550 766 2550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 2483 933 2550 766 2600 766 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 2500 IN\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5733 2550 383 383 5733 2550 6116 2933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5733 2550 450 450 5733 2550 6183 3000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5733 2633 2\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3366 2550 383 383 3366 2550 3749 2933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3366 2633 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 2550 1893 2550 2069 2550 2254 2550 2441 2550 2626 2550 2800 2550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2800 2483 2966 2550 2800 2600 2800 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2350 2500 'm' / A\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3766 2550 3962 2550 4179 2550 4408 2550 4643 2550 4876 2550 5100 2550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5100 2483 5266 2550 5100 2600 5100 2483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4516 2500 '1'..'2' / A\001
+# end of FIG file

diff --git a/doc/exallpri.fig b/doc/exallpri.fig
deleted file mode 100644 (file)
index 1b3a7ad..0000000
--- a/doc/exallpri.fig
+++ /dev/null
@@ -1,33 +0,0 @@
-#FIG 3.2
-Landscape
-Center
-Metric
-A4      
-100.00
-Single
--2
-1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 630.000 825.000 540 945 630 675 720 945
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 1035 135 135 630 1035 765 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1305 1035 135 135 1305 1035 1440 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1980 1035 135 135 1980 1035 2115 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 135 135 2655 1035 2790 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 90 90 2655 1035 2745 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 1035 1170 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1440 1035 1845 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2115 1035 2520 1035
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 1080 180 945 270 1215 360 1035 405 1035 495 1035
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 540 630 df\001
-4 0 0 50 0 0 10 0.0000 4 105 90 900 990 F\001
-4 0 0 50 0 0 10 0.0000 4 105 60 1575 990 I\001
-4 0 0 50 0 0 10 0.0000 4 105 120 2250 990 N\001

diff --git a/doc/exconcat.fig b/doc/exconcat.fig
index 21bf76f..cc671fc 100644 (file)
--- a/doc/exconcat.fig
+++ b/doc/exconcat.fig
@@ -1,93 +1,155 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exconcat
+# Pages: 1
 1200 2
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1080 135 135 1845 1080 1980 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3105 1080 135 135 3105 1080 3240 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3105 1080 90 90 3105 1080 3195 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 1845 135 135 1845 1845 1980 1845
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1125 1575 135 135 1125 1575 1260 1575
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 1080 135 135 585 1080 720 1080
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2565 1575 135 135 2565 1575 2700 1575
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 1080 1710 1080
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1215 1485 1755 1170
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        675 1170 1035 1485
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1260 1620 1710 1800
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1845 1710 1845 1215
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2655 1485 3015 1170
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2970 1080 1980 1080
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1980 1800 2430 1620
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2475 1485 1935 1170
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 5
-       1 1 2.00 60.00 60.00
-        1755 1935 1485 2115 900 2070 405 1530 495 1170
-        0.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 5
-       1 1 2.00 60.00 60.00
-        1035 1665 945 1755 765 1755 540 1530 585 1215
-        0.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 3
-       1 1 2.00 60.00 60.00
-        1755 990 1215 675 675 990
-        0.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        450 1035 225 810 180 675 225 630 315 675 540 945
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1800 945 1800 765 1800 675 1890 675 1890 810 1890 945
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 5
-       1 1 2.00 60.00 60.00
-        3105 945 3105 405 900 405 675 765 630 945
-        0.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 1125 135 990 225 1260 315 1080 360 1080 450 1080
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 9
-       1 1 2.00 60.00 60.00
-        3105 1215 3105 1350 3060 1620 2880 1845 2565 2070 2115 2160
-        1710 2115 1350 1980 1170 1710
-        0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
-        0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 675 1575 nl\001
-4 0 0 50 0 0 10 0.0000 4 105 90 855 1260 E\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1125 720 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1125 1035 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 180 585 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1755 630 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2475 1035 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 990 1980 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1755 360 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2205 1305 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2655 1305 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1305 1305 df\001
-4 0 0 50 0 0 10 0.0000 4 105 105 1485 1665 O\001
-4 0 0 50 0 0 10 0.0000 4 105 90 2115 1665 F\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1620 1485 df\001
-4 0 0 50 0 0 10 0.0000 4 105 90 2295 2025 E\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 10216 33 33 33 10216 66 10249
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 10216 383 383 1333 10216 1716 10599
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 10300 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 10216 139 10216 237 10216 354 10216 485 10216 624 10216 766 10216
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 10150 933 10216 766 10266 766 10150
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 10166 IN\001
+# 5
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 383 383 8466 9950 8849 10333
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 450 450 8466 9950 8916 10400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8466 10033 5\001
+# 5 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  8050 10133 7841 10211 7604 10290 7347 10364 7078 10425 6804 10467 6533 10483 5044 10483 4046 10483 3441 10483 3130 10483 3016 10483 3000 10483 2806 10478 2610 10463 2416 10441 2228 10414 2049 10383 1883 10350
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1866 10400 1716 10316 1883 10300 1866 10400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 10433 10\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3000 9283 383 383 3000 9283 3383 9666
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3000 9366 2\001
+# 5 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  8000 9900 7398 9822 6642 9727 5806 9625 4962 9522 4186 9427 3550 9350
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3550 9400 3383 9333 3550 9300 3550 9400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 9550 'E'\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10400 9283 383 383 10400 9283 10783 9666
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10400 9366 1\001
+# 5 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  8900 9800 9049 9747 9209 9691 9377 9633 9545 9575 9710 9519 9866 9466
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9850 9416 10033 9416 9883 9516 9850 9416
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9466 9500 DEF\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1600 9933 1620 9834 1616 9740 1585 9658 1528 9592 1444 9549 1333 9533 1249 9541 1182 9564 1129 9600 1090 9646 1064 9703 1050 9766
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1100 9766 1066 9933 1000 9766 1100 9766
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 9483 10\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1716 10150 1810 10122 1908 10089 2008 10052 2108 10010 2205 9965 2300 9916 2356 9889 2411 9856 2462 9820 2511 9782 2556 9741 2600 9700
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2566 9650 2733 9583 2650 9733 2566 9650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2166 9866 'E'\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  1533 10550 1735 10781 1935 10961 2147 11093 2386 11183 2665 11234 3000 11250 3025 11250 3202 11250 3683 11250 4619 11250 6163 11250 8466 11250 8921 11199 9270 11054 9541 10829 9762 10533 9962 10181 10166 9783
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10116 9750 10250 9633 10216 9800 10116 9750
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 11200 DEF\001
+# 2 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  2616 9366 2522 9393 2424 9422 2325 9456 2225 9493 2127 9536 2033 9583 1963 9623 1902 9661 1847 9697 1797 9732 1748 9766 1700 9800
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1750 9833 1583 9916 1666 9750 1750 9833
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2166 9450 10\001
+# 2 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 25
+  3250 8983 3275 8967 3300 8953 3325 8937 3350 8919 3375 8896 3400 8866 3659 8554 3824 8222 3952 7906 4097 7638 4317 7452 4666 7383 4684 7383 4807 7383 5141 7383 5792 7383 6865 7383 8466 7383 8911 7429 9260 7560 9539 7768 9772 8045 9984 8380 10200 8766
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10250 8750 10283 8916 10150 8800 10250 8750
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6533 7333 DEF\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4666 8466 383 383 4666 8466 5049 8849
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 8550 3\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3350 9116 3472 9055 3606 8990 3745 8922 3888 8853 4029 8784 4166 8716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4150 8666 4316 8633 4200 8766 4150 8666
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3833 8800 'O'\001
+# 1 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 31
+  10366 9666 10365 9691 10362 9715 10358 9737 10354 9756 10351 9772 10350 9783 10276 10083 10211 10331 10137 10545 10038 10746 9898 10952 9700 11183 9509 11404 9339 11583 9170 11722 8982 11821 8754 11880 8466 11900 6163 11900 4619 11900 3683 11900 3202 11900 3025 11900 3000 11900 2609 11865 2294 11764 2037 11600 1822 11374 1631 11089 1450 10750
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1400 10783 1383 10600 1500 10733 1400 10783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 11850 10\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  10666 9000 10687 8900 10682 8807 10652 8725 10595 8659 10511 8615 10400 8600 10316 8608 10248 8630 10195 8666 10156 8713 10130 8769 10116 8833
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10166 8833 10133 9000 10066 8833 10166 8833
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10400 8550 DEF\001
+# 3 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  4266 8466 4030 8471 3764 8488 3477 8520 3180 8572 2884 8647 2600 8750 2326 8880 2098 8999 1906 9122 1740 9267 1591 9448 1450 9683
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1500 9716 1366 9833 1400 9666 1500 9716
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3000 8516 10\001
+# 3 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 31
+  5050 8400 5107 8391 5161 8383 5214 8375 5266 8366 5316 8358 5366 8350 5462 8344 5539 8342 5606 8343 5671 8346 5744 8348 5833 8350 6455 8390 6959 8432 7402 8483 7840 8551 8332 8643 8933 8766 9088 8804 9213 8837 9322 8868 9430 8901 9551 8938 9700 8983 9740 8991 9777 9000 9812 9008 9844 9016 9873 9025 9900 9033
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9916 8983 10066 9083 9883 9083 9916 8983
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7466 8433 DEF\001
+# 4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6533 9000 383 383 6533 9000 6916 9383
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6533 9083 4\001
+# 3 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  5050 8566 5190 8609 5343 8654 5504 8702 5667 8750 5828 8800 5983 8850
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6000 8800 6150 8900 5966 8900 6000 8800
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5600 8633 'F'\001
+# 4 -> 5
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  6866 9200 6926 9233 6987 9266 7050 9297 7112 9328 7173 9357 7233 9383 7342 9434 7454 9487 7566 9541 7679 9595 7790 9648 7900 9700
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 7916 9650 8050 9766 7866 9750 7916 9650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7466 9333 10\001
+# 4 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  6933 9016 7047 9024 7172 9032 7304 9039 7438 9045 7571 9048 7700 9050 8099 9080 8422 9108 8706 9133 8988 9158 9307 9185 9700 9216 9725 9217 9750 9220 9775 9225 9800 9229 9825 9232 9850 9233
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9850 9183 10016 9250 9850 9283 9850 9183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8466 9050 DEF\001
+# end of FIG file

diff --git a/doc/exdoneact.fig b/doc/exdoneact.fig
index a9904af..1c573b6 100644 (file)
--- a/doc/exdoneact.fig
+++ b/doc/exdoneact.fig
@@ -1,24 +1,45 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exdoneact
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 630.000 310.500 540 405 630 180 720 405
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 495 135 135 630 495 765 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 495 90 90 1530 495 1620 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 495 135 135 1530 495 1665 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 495 1395 495
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 540 180 405 270 675 360 495 405 495 495 495
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 75 195 540 135 a-z\001
-4 0 0 50 0 12 10 0.0000 4 105 180 900 450 sp\001
-4 0 0 50 0 0 10 0.0000 4 105 165 1080 450 /A\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3483 933 3550 766 3600 766 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3550 383 383 3333 3550 3716 3933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3550 450 450 3333 3550 3783 4000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 3633 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550 2700 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 3483 2866 3550 2700 3600 2700 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3500 ' ' / A\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882 1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036 1050 3100
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1100 3100 1066 3266 1000 3100 1100 3100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2816 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exdonepri.fig b/doc/exdonepri.fig
index a76a485..f825e28 100644 (file)
--- a/doc/exdonepri.fig
+++ b/doc/exdonepri.fig
@@ -1,55 +1,93 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exdonepri
+# Pages: 1
 1200 2
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 1035 135 135 630 1035 765 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1305 1035 135 135 1305 1035 1440 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1980 1035 135 135 1980 1035 2115 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 135 135 2655 1035 2790 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 90 90 2655 1035 2745 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 1035 1170 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1440 1035 1845 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2115 1035 2520 1035
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 1080 180 945 270 1215 360 1035 405 1035 495 1035
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 4
-       1 1 2.00 60.00 60.00
-        1215 1125 1080 1305 855 1305 720 1125
-        0.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1890 1125 1755 1350 1305 1485 810 1485 675 1350 630 1170
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        585 900 585 765 585 630 675 630 675 765 675 900
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1260 900 1260 765 1260 630 1350 630 1350 765 1350 900
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 4
-       1 1 2.00 60.00 60.00
-        1890 945 1755 765 1530 765 1395 945
-        0.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 90 900 990 F\001
-4 0 0 50 0 0 10 0.0000 4 105 120 2250 990 N\001
-4 0 0 50 0 12 10 0.0000 4 105 180 855 1215 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1215 1395 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 540 585 df\001
-4 0 0 50 0 0 10 0.0000 4 105 90 1260 585 F\001
-4 0 0 50 0 0 10 0.0000 4 105 90 1620 720 F\001
-4 0 0 50 0 0 10 0.0000 4 105 60 1620 990 I\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 4983 33 33 33 4983 66 5016
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 4983 383 383 1333 4983 1716 5366
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 5066 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 4983 139 4983 237 4983 354 4983 485 4983 624 4983 766 4983
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 4916 933 4983 766 5033 766 4916
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 4933 IN\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6566 4983 383 383 6566 4983 6949 5366
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6566 4983 450 450 6566 4983 7016 5433
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6566 5066 3\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1600 4700 1620 4600 1616 4507 1585 4425 1528 4359 1444 4315 1333 4300 1249 4308 1182 4330 1129 4366 1090 4413 1064 4469 1050 4533
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1100 4533 1066 4700 1000 4533 1100 4533
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 4250 DEF\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3200 4466 383 383 3200 4466 3583 4849
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 4550 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1683 4800 1741 4775 1799 4750 1858 4725 1916 4700 1974 4675 2033 4650 2127 4626 2225 4604 2327 4585 2429 4567 2532 4550 2633 4533
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2633 4483 2800 4500 2650 4583 2633 4483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2266 4533 'F'\001
+# 1 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  2950 4766 2892 4821 2833 4869 2768 4912 2694 4953 2606 4992 2500 5033 2398 5068 2295 5091 2191 5104 2087 5108 1984 5106 1883 5100
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1866 5150 1716 5066 1883 5050 1866 5150
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2266 4983 DEF\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3466 4183 3487 4084 3482 3990 3452 3908 3395 3842 3311 3799 3200 3783 3116 3791 3048 3814 2995 3850 2956 3896 2930 3953 2916 4016
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2966 4016 2933 4183 2866 4016 2966 4016
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 3733 'F'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4833 4983 383 383 4833 4983 5216 5366
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 5066 2\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3583 4533 3669 4544 3759 4559 3852 4579 3946 4601 4040 4625 4133 4650 4166 4665 4200 4679 4233 4691 4266 4704 4300 4717 4333 4733
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4350 4683 4483 4800 4300 4783 4350 4683
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4016 4550 'I'\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  5233 4983 5338 4983 5451 4983 5570 4983 5692 4983 5814 4983 5933 4983
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5933 4916 6100 4983 5933 5033 5933 4916
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5666 4933 'N'\001
+# 2 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  4483 5166 4354 5206 4228 5229 4097 5241 3954 5248 3791 5254 3600 5266 3295 5296 3045 5304 2822 5295 2598 5272 2344 5239 2033 5200 1992 5194 1954 5192 1918 5193 1883 5196 1850 5198 1816 5200
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1816 5250 1650 5216 1816 5150 1816 5250
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3200 5216 DEF\001
+# 2 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  4450 5033 4362 5038 4270 5038 4175 5033 4079 5022 3987 5005 3900 4983 3836 4965 3777 4945 3725 4925 3677 4904 3636 4884 3600 4866
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3550 4900 3450 4766 3616 4816 3550 4900
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4016 4933 'F'\001
+# end of FIG file

diff --git a/doc/exfinact.fig b/doc/exfinact.fig
deleted file mode 100644 (file)
index 3cb98c9..0000000
--- a/doc/exfinact.fig
+++ /dev/null
@@ -1,29 +0,0 @@
-#FIG 3.2  Produced by xfig version 3.2.5-alpha5
-Landscape
-Center
-Metric
-A4      
-100.00
-Single
--2
-1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1665.000 400.500 1575 495 1665 270 1755 495
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2565 585 90 90 2565 585 2655 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2565 585 135 135 2565 585 2700 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 765 585 135 135 765 585 900 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1665 585 135 135 1665 585 1800 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        900 585 1530 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1800 585 2430 585
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        225 630 315 495 405 765 495 585 540 585 630 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 1980 540 nl\001
-4 0 0 50 0 0 10 0.0000 4 105 165 2160 540 /A\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1080 540 a-z\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1575 225 a-z\001

diff --git a/doc/exfinpri.fig b/doc/exfinpri.fig
index 947b29c..d91c8e6 100644 (file)
--- a/doc/exfinpri.fig
+++ b/doc/exfinpri.fig
@@ -1,55 +1,92 @@
-#FIG 3.2  Produced by xfig version 3.2.5-alpha5
-Landscape
+#FIG 3.2
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exfinpri
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1665.000 378.000 1530 450 1665 225 1800 450
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 1 1 0 1174.891 998.804 1485 540 945 495 630 900
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1237.500 992.500 1485 1575 990 1575 630 1170
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1665.000 1323.000 1530 1395 1665 1170 1800 1395
-       1 1 2.00 60.00 60.00
-6 720 225 1125 540
-4 0 0 50 0 0 10 0.3840 4 105 165 931 418 /A\001
-4 0 0 50 0 12 10 0.3840 4 105 180 763 485 sp\001
--6
-6 855 1350 1215 1575
-4 0 0 50 0 12 10 5.8294 4 105 180 871 1429 sp\001
-4 0 0 50 0 0 10 5.8294 4 105 135 1033 1508 /B\001
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1665 585 135 135 1665 585 1800 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1665 585 180 180 1665 585 1845 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1665 1530 180 180 1665 1530 1845 1530
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1665 1530 135 135 1665 1530 1800 1530
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 1035 135 135 630 1035 765 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 1035 90 90 630 1035 720 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 945 1485 630
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        717 1118 1485 1485
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 1080 180 945 270 1215 360 1035 405 1035 495 1035
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        495 990 360 855 270 765 360 675 450 765 585 900
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 2 0 2 0 7 44 0 -1 0.000 0 1 0 4
-       1 1 2.00 60.00 60.00
-        1845 1530 2160 1305 2160 810 1845 585
-        0.000 -1.000 -1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 270 630 sp\001
-4 0 0 50 0 0 10 5.8818 4 105 210 1035 1215 0-9\001
-4 0 0 50 0 0 10 0.3840 4 75 195 945 810 a-z\001
-4 0 0 50 0 0 10 0.0000 4 120 450 1440 180 a-z,0-9\001
-4 0 0 50 0 0 10 0.0000 4 105 210 1530 1125 0-9\001
-4 0 0 50 0 0 10 0.0000 4 105 330 2295 1035 a-z/B\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 6166 33 33 33 6166 66 6199
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 383 383 1400 6166 1783 6549
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 450 450 1400 6166 1850 6616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 6250 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 6166 132 6166 225 6166 341 6166 474 6166 617 6166 766 6166
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 6100 933 6166 766 6216 766 6100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 6116 IN\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1716 5833 1741 5727 1734 5629 1695 5543 1626 5476 1527 5432 1400 5416 1305 5424 1224 5448 1158 5485 1108 5535 1077 5596 1066 5666
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1116 5666 1083 5833 1016 5666 1116 5666
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 5366 ' '\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 383 383 3466 5416 3849 5799
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 450 450 3466 5416 3916 5866
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 5500 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1733 5833 1794 5782 1860 5730 1931 5679 2006 5630 2084 5587 2166 5550 2270 5512 2380 5482 2493 5458 2608 5440 2722 5426 2833 5416
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2833 5366 3000 5400 2833 5466 2833 5366
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 5400 '0'..'9'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 383 383 5866 6433 6249 6816
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 450 450 5866 6433 6316 6883
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 6516 2\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1866 6200 2033 6216 2216 6232 2408 6247 2606 6261 2804 6273 3000 6283 3391 6307 3790 6328 4185 6347 4565 6366 4918 6383 5233 6400
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5233 6350 5400 6416 5233 6450 5233 6350
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 6233 'a'..'z'\001
+# 1 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3116 5700 3049 5742 2982 5786 2914 5829 2845 5869 2773 5904 2700 5933 2590 5979 2479 6017 2366 6050 2254 6076 2142 6098 2033 6116
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2033 6166 1866 6133 2033 6066 2033 6166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 5883 ' ' / B\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3783 5083 3808 4977 3801 4879 3762 4793 3693 4726 3594 4682 3466 4666 3372 4674 3291 4698 3225 4735 3175 4785 3144 4846 3133 4916
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3183 4916 3150 5083 3083 4916 3183 4916
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 4616 '0'..'9'\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3883 5600 4095 5688 4327 5784 4570 5885 4816 5987 5056 6088 5283 6183
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5300 6133 5433 6250 5250 6233 5300 6133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4666 5733 'a'..'z' / B\001
+# 2 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5416 6533 5099 6593 4727 6650 4314 6695 3878 6722 3434 6720 3000 6683 2783 6650 2595 6618 2427 6583 2271 6542 2120 6493 1966 6433
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1950 6483 1816 6366 2000 6383 1950 6483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3466 6633 ' ' / A\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  6183 6100 6208 5993 6201 5895 6162 5810 6093 5743 5994 5699 5866 5683 5772 5691 5691 5714 5625 5752 5575 5801 5544 5862 5533 5933
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5583 5933 5550 6100 5483 5933 5583 5933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 5633 '0'..'9', 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exinter.fig b/doc/exinter.fig
index 51bc5df..cc802f6 100644 (file)
--- a/doc/exinter.fig
+++ b/doc/exinter.fig
@@ -1,48 +1,75 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exinter
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1125.000 1777.500 765 360 1125 315 1485 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 1 1 0 1125.000 -877.500 765 540 1125 585 1485 540
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 1 1 0 2025.000 -877.500 1665 540 2025 585 2385 540
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 1 1 0 2925.000 -877.500 2565 540 2925 585 3285 540
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 1 1 0 3825.000 -877.500 3465 540 3825 585 4185 540
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2025.000 1777.500 1665 360 2025 315 2385 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2925.000 1777.500 2565 360 2925 315 3285 360
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 3825.000 1777.500 3465 360 3825 315 4185 360
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 675 450 135 135 675 450 810 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1575 450 135 135 1575 450 1710 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 450 135 135 2475 450 2610 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3375 450 135 135 3375 450 3510 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 4275 450 135 135 4275 450 4410 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 4275 450 90 90 4275 450 4365 450
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        135 495 225 360 315 630 405 450 450 450 540 450
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 5
-       1 1 2.00 60.00 60.00
-        4275 585 4320 990 2475 1215 630 990 675 585
-        0.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 2385 1080 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1035 540 sp\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1935 540 sp\001
-4 0 0 50 0 12 10 0.0000 4 105 180 2835 540 sp\001
-4 0 0 50 0 12 10 0.0000 4 105 180 3735 540 sp\001
-4 0 0 50 0 0 10 0.0000 4 75 195 3735 270 a-z\001
-4 0 0 50 0 0 10 0.0000 4 75 195 2835 270 a-z\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1935 270 a-z\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1035 270 a-z\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3816 33 33 33 3816 66 3849
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3816 383 383 1400 3816 1783 4199
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3816 450 450 1400 3816 1850 4266
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3900 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3816 132 3816 225 3816 341 3816 474 3816 617 3816 766 3816
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3750 933 3816 766 3866 766 3750
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3766 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3666 3266 383 383 3666 3266 4049 3649
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3666 3350 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1850 3700 2044 3654 2256 3603 2477 3550 2699 3496 2915 3445 3116 3400
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3116 3350 3283 3366 3133 3450 3116 3350
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2566 3416 ' ', 'a'..'z'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 3216 383 383 5866 3216 6249 3599
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 3300 2\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  4066 3250 4252 3248 4456 3245 4670 3241 4887 3237 5099 3234 5300 3233
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5300 3166 5466 3233 5300 3283 5300 3166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4766 3200 ' ', 'a'..'z'\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8066 3300 383 383 8066 3300 8449 3683
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8066 3383 3\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  6266 3233 6452 3241 6656 3249 6870 3258 7087 3266 7299 3274 7500 3283
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 7500 3216 7666 3283 7500 3333 7500 3216
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6966 3216 ' ', 'a'..'z'\001
+# 4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10266 3816 383 383 10266 3816 10649 4199
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10266 3900 4\001
+# 3 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  8450 3383 8637 3428 8845 3479 9064 3533 9288 3587 9508 3637 9716 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9733 3633 9883 3716 9716 3733 9733 3633
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9166 3433 ' ', 'a'..'z'\001
+# 4 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  9883 3916 9643 3969 9364 4025 9056 4079 8730 4124 8396 4155 8066 4166 6212 4166 4970 4166 4216 4166 3829 4166 3687 4166 3666 4166 3378 4158 3087 4137 2797 4104 2518 4062 2255 4016 2016 3966
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2000 4016 1850 3933 2016 3916 2000 4016
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5866 4116 10\001
+# end of FIG file

diff --git a/doc/exnegate.fig b/doc/exnegate.fig
index ceb4a90..0a2f61b 100644 (file)
--- a/doc/exnegate.fig
+++ b/doc/exnegate.fig
@@ -1,31 +1,46 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exnegate
+# Pages: 1
 1200 2
-6 1350 180 1710 765
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1530.000 375.000 1440 495 1530 225 1620 495
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 585 135 135 1530 585 1665 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 585 90 90 1530 585 1620 585
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 135 135 585 585 720 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 90 90 585 585 675 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 585 1395 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        585 450 900 135
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 630 135 495 225 765 315 585 360 585 450 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 1440 180 df\001
-4 0 0 50 0 12 10 0.0000 4 105 180 900 540 df\001
-4 0 0 50 0 0 10 0.7854 4 105 210 585 360 0-9\001
-4 0 0 50 0 22 10 0.0000 4 105 165 945 135 Err\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3683 33 33 33 3683 66 3716
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3683 383 383 1400 3683 1783 4066
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3683 450 450 1400 3683 1850 4133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3766 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3683 132 3683 225 3683 341 3683 474 3683 617 3683 766 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3616 933 3683 766 3733 766 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 383 383 4400 3683 4783 4066
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 450 450 4400 3683 4850 4133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4400 3766 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1866 3683 2147 3683 2462 3683 2797 3683 3137 3683 3465 3683 3766 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3766 3616 3933 3683 3766 3733 3766 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2900 3633 -128..'/', ':'..127\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  4716 3350 4741 3243 4734 3145 4695 3060 4626 2993 4527 2949 4400 2933 4305 2941 4224 2964 4158 3002 4108 3051 4077 3112 4066 3183
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4116 3183 4083 3350 4016 3183 4116 3183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4400 2883 DEF\001
+# end of FIG file

diff --git a/doc/exoption.fig b/doc/exoption.fig
index b59f46e..d8f41f0 100644 (file)
--- a/doc/exoption.fig
+++ b/doc/exoption.fig
@@ -1,37 +1,73 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exoption
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1395.000 330.000 1305 450 1395 180 1485 450
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 3015.000 330.000 2925 450 3015 180 3105 450
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 540 135 135 585 540 720 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1395 540 90 90 1395 540 1485 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1395 540 135 135 1395 540 1530 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2205 540 135 135 2205 540 2340 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3015 540 135 135 3015 540 3150 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3015 540 90 90 3015 540 3105 540
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 540 1260 540
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1530 540 2070 540
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2340 540 2880 540
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 585 135 450 225 720 315 540 360 540 450 540
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 210 900 495 0-9\001
-4 0 0 50 0 0 10 0.0000 4 105 210 1305 135 0-9\001
-4 0 0 50 0 0 10 0.0000 4 15 45 1755 495 .\001
-4 0 0 50 0 0 10 0.0000 4 105 210 2520 495 0-9\001
-4 0 0 50 0 0 10 0.0000 4 105 210 2925 135 0-9\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3683 33 33 33 3683 66 3716
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3683 383 383 1333 3683 1716 4066
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3766 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3683 139 3683 237 3683 354 3683 485 3683 624 3683 766 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3616 933 3683 766 3733 766 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 383 383 3333 3683 3716 4066
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 450 450 3333 3683 3783 4133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 3766 1\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3650 3350 3675 3243 3667 3145 3629 3060 3559 2993 3460 2949 3333 2933 3239 2941 3158 2964 3091 3002 3041 3051 3010 3112 3000 3183
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3050 3183 3016 3350 2950 3183 3050 3183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3333 2883 '0'..'9'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4966 3683 383 383 4966 3683 5349 4066
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4966 3766 2\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3800 3683 3894 3683 3992 3683 4093 3683 4196 3683 4298 3683 4400 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4400 3616 4566 3683 4400 3733 4400 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4183 3633 '.'\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 383 383 6966 3683 7349 4066
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 450 450 6966 3683 7416 4133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6966 3766 3\001
+# 3 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  7283 3350 7308 3243 7301 3145 7262 3060 7193 2993 7094 2949 6966 2933 6872 2941 6791 2964 6725 3002 6675 3051 6644 3112 6633 3183
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6683 3183 6650 3350 6583 3183 6683 3183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6966 2883 '0'..'9'\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3683 1881 3683 2039 3683 2204 3683 2371 3683 2538 3683 2700 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 3616 2866 3683 2700 3733 2700 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3633 '0'..'9'\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  5366 3683 5514 3683 5672 3683 5837 3683 6004 3683 6171 3683 6333 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6333 3616 6500 3683 6333 3733 6333 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5933 3633 '0'..'9'\001
+# end of FIG file

diff --git a/doc/exor.fig b/doc/exor.fig
index 5d30b16..8f19dc6 100644 (file)
--- a/doc/exor.fig
+++ b/doc/exor.fig
@@ -1,65 +1,109 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exor
+# Pages: 1
 1200 2
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 720 990 135 135 720 990 855 990
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 990 135 135 1800 990 1935 990
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 990 90 90 1800 990 1890 990
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 360 90 90 1800 360 1890 360
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 1620 90 90 1800 1620 1890 1620
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 360 135 135 1800 360 1935 360
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1800 1620 135 135 1800 1620 1935 1620
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2700 540 135 135 2700 540 2835 540
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3825 900 135 135 3825 900 3960 900
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3825 900 90 90 3825 900 3915 900
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 855 1665 360
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        855 990 1665 990
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 1125 1665 1620
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1935 360 2565 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2835 585 3690 855
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1800 495 1800 855
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        180 1035 270 900 360 1170 450 990 495 990 585 990
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1935 1665 2745 1665 2880 1665 2880 1575 2745 1575 1935 1575
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1935 1035 2250 1035 2385 1035 2385 945 2250 945 1935 945
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 2 0 1 7 7 50 -1 -1 0.000 0 0 0 2
-        4455 540 4455 1035
-        0.000 0.000
-3 2 0 2 0 7 50 -1 -1 0.000 0 1 0 4
-       1 1 2.00 60.00 60.00
-        3690 945 3555 1305 4095 1305 3960 945
-        0.000 -1.000 -1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 195 1530 675 0-9\001
-4 0 0 50 0 0 10 0.0000 4 105 195 1125 945 1-9\001
-4 0 0 50 0 0 10 5.7770 4 120 435 1035 1215 a-z,A-Z\001
-4 0 0 50 0 0 10 0.5061 4 105 75 1080 630 0\001
-4 0 0 50 0 0 10 0.0000 4 105 195 2070 900 0-9\001
-4 0 0 50 0 0 10 0.0000 4 120 660 2070 1530 0-9,a-z,A-Z\001
-4 0 0 50 0 0 12 6.0214 4 75 90 2160 360 x\001
-4 0 0 50 0 0 10 5.9865 4 120 645 2925 540 0-9,a-f,A-F\001
-4 0 0 50 0 0 10 0.0000 4 120 645 3510 1575 0-9,a-f,A-F\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 8700 33 33 33 8700 66 8733
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 8700 383 383 1333 8700 1716 9083
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 8783 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 8700 139 8700 237 8700 354 8700 485 8700 624 8700 766 8700
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 8633 933 8700 766 8750 766 8633
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 8650 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 7683 383 383 4066 7683 4449 8066
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 7683 450 450 4066 7683 4516 8133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 7766 1\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 8700 383 383 6133 8700 6516 9083
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 8700 450 450 6133 8700 6583 9150
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 8783 2\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  4483 7883 4650 7963 4830 8051 5018 8143 5208 8237 5392 8329 5566 8416
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5600 8366 5716 8500 5550 8466 5600 8366
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5100 7966 '0'..'9'\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6133 7000 383 383 6133 7000 6516 7383
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 7083 3\001
+# 1 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  4500 7533 4672 7479 4855 7419 5043 7356 5233 7291 5420 7227 5600 7166
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5583 7116 5766 7116 5616 7216 5583 7116
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5100 7200 'x'\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  6450 8366 6475 8260 6467 8162 6429 8077 6359 8009 6260 7965 6133 7950 6039 7958 5958 7981 5891 8018 5841 8068 5810 8129 5800 8200
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5850 8200 5816 8366 5750 8200 5850 8200
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6133 7900 '0'..'9'\001
+# 4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9533 7000 383 383 9533 7000 9916 7383
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 9533 7000 450 450 9533 7000 9983 7450
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9533 7083 4\001
+# 4 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  9850 6666 9875 6560 9867 6462 9829 6377 9759 6309 9660 6265 9533 6250 9439 6258 9358 6281 9291 6318 9241 6368 9210 6429 9200 6500
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9250 6500 9216 6666 9150 6500 9250 6500
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9533 6200 '0'..'9', 'A'..'F', 'a'..'f'\001
+# 5
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 10316 383 383 4066 10316 4449 10699
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4066 10316 450 450 4066 10316 4516 10766
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 10400 5\001
+# 5 -> 5
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  4383 9983 4408 9877 4401 9779 4362 9693 4293 9626 4194 9582 4066 9566 3972 9574 3891 9598 3825 9635 3775 9685 3744 9746 3733 9816
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3783 9816 3750 9983 3683 9816 3783 9816
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 9516 '0'..'9', 'A'..'Z', 'a'..'z'\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1700 8566 1950 8473 2239 8364 2552 8245 2871 8124 3181 8007 3466 7900
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3450 7850 3633 7850 3483 7950 3450 7850
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2666 7916 '0'\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 8700 2226 8700 2850 8700 3547 8700 4260 8700 4930 8700 5500 8700
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5500 8633 5666 8700 5500 8750 5500 8633
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4066 8650 '1'..'9'\001
+# 0 -> 5
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1650 8933 1709 8976 1771 9020 1835 9066 1900 9112 1966 9157 2033 9200 2280 9349 2535 9496 2791 9639 3041 9775 3280 9901 3500 10016
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3533 9966 3650 10100 3483 10066 3533 9966
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2666 9100 'A'..'Z', 'a'..'z'\001
+# 3 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  6533 7000 6862 7000 7250 7000 7672 7000 8104 7000 8522 7000 8900 7000
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 8900 6933 9066 7000 8900 7050 8900 6933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7833 6950 '0'..'9', 'A'..'F', 'a'..'f'\001
+# end of FIG file

diff --git a/doc/exoutact1.fig b/doc/exoutact1.fig
new file mode 100644 (file)
index 0000000..6043b15
--- /dev/null
+++ b/doc/exoutact1.fig
@@ -0,0 +1,55 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4
+100.00
+Single
+-2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exoutact1
+# Pages: 1
+1200 2
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3483 933 3550 766 3600 766 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5333 3550 383 383 5333 3550 5716 3933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5333 3550 450 450 5333 3550 5783 4000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5333 3633 2\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3266 3550 383 383 3266 3550 3649 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 3633 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3550 1881 3550 2039 3550 2204 3550 2371 3550 2538 3550 2700 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 3483 2866 3550 2700 3600 2700 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3500 'a'..'z'\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3666 3550 3824 3550 3993 3550 4170 3550 4350 3550 4528 3550 4700 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4700 3483 4866 3550 4700 3600 4700 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4266 3500 10 / A\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3533 3266 3554 3167 3549 3074 3518 2991 3461 2925 3377 2882 3266 2866 3183 2874 3115 2897 3062 2933 3023 2980 2997 3036 2983 3100
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3033 3100 3000 3266 2933 3100 3033 3100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 2816 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exoutact2.fig b/doc/exoutact2.fig
new file mode 100644 (file)
index 0000000..3a44675
--- /dev/null
+++ b/doc/exoutact2.fig
@@ -0,0 +1,62 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4
+100.00
+Single
+-2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exoutact2
+# Pages: 1
+1200 2
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3716 33 33 33 3716 66 3749
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3716 383 383 1333 3716 1716 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3800 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3716 139 3716 237 3716 354 3716 485 3716 624 3716 766 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3650 933 3716 766 3766 766 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3666 IN\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8500 3716 383 383 8500 3716 8883 4099
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8500 3716 450 450 8500 3716 8950 4166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8500 3800 2\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4733 3716 383 383 4733 3716 5116 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4733 3800 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  1733 3716 1783 3715 1833 3712 1883 3708 1933 3704 1983 3701 2033 3700 2432 3700 2755 3700 3039 3700 3322 3700 3640 3700 4033 3700 4057 3700 4079 3700 4100 3700 4120 3700 4142 3700 4166 3700
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4166 3650 4333 3716 4166 3750 4166 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3033 3650 'a'..'z' / lower\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  5133 3716 5508 3716 5960 3716 6456 3716 6961 3716 7443 3716 7866 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 7866 3650 8033 3716 7866 3766 7866 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6583 3666 10 / term_word, newline\001
+# 1 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  4400 3916 4341 3948 4282 3977 4222 4002 4161 4022 4098 4038 4033 4050 3645 4126 3325 4172 3039 4187 2751 4172 2428 4126 2033 4050 1999 4041 1966 4032 1931 4022 1895 4011 1857 3998 1816 3983
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1800 4033 1666 3916 1850 3933 1800 4033
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3033 3983 ' ' / term_word, space\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5000 3433 5020 3334 5016 3240 4985 3158 4928 3092 4844 3049 4733 3033 4649 3041 4582 3064 4529 3100 4490 3146 4464 3203 4450 3266
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4500 3266 4466 3433 4400 3266 4500 3266
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4733 2983 'a'..'z' / lower\001
+# end of FIG file

diff --git a/doc/explus.fig b/doc/explus.fig
index cb42300..0ae86a6 100644 (file)
--- a/doc/explus.fig
+++ b/doc/explus.fig
@@ -1,23 +1,45 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: explus
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1845.000 375.000 1755 495 1845 225 1935 495
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 135 135 585 585 720 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 585 135 135 1845 585 1980 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1845 585 90 90 1845 585 1935 585
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 585 1710 585
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 630 135 495 225 765 315 585 360 585 450 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 135 765 810 540 0-9,a-z,A-Z\001
-4 0 0 50 0 0 10 0.0000 4 135 765 1485 180 0-9,a-z,A-Z\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3683 33 33 33 3683 66 3716
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3683 383 383 1333 3683 1716 4066
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3766 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3683 139 3683 237 3683 354 3683 485 3683 624 3683 766 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3616 933 3683 766 3733 766 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3633 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4700 3683 383 383 4700 3683 5083 4066
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4700 3683 450 450 4700 3683 5150 4133
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4700 3766 1\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5016 3350 5041 3243 5034 3145 4995 3060 4926 2993 4827 2949 4700 2933 4605 2941 4524 2964 4458 3002 4408 3051 4377 3112 4366 3183
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4416 3183 4383 3350 4316 3183 4416 3183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4700 2883 '0'..'9', 'A'..'Z', 'a'..'z'\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3683 2055 3683 2438 3683 2856 3683 3283 3683 3695 3683 4066 3683
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4066 3616 4233 3683 4066 3733 4066 3616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2983 3633 '0'..'9', 'A'..'Z', 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exstact.fig b/doc/exstact.fig
index 699324e..e34e3be 100644 (file)
--- a/doc/exstact.fig
+++ b/doc/exstact.fig
@@ -1,33 +1,62 @@
-#FIG 3.2  Produced by xfig version 3.2.5-alpha5
-Landscape
+#FIG 3.2
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exstact
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1530.000 310.500 1440 405 1530 180 1620 405
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 495 135 135 630 495 765 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1530 495 135 135 1530 495 1665 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2430 495 90 90 2430 495 2520 495
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2430 495 135 135 2430 495 2565 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 495 1395 495
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1665 495 2295 495
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 540 180 405 270 675 360 495 405 495 495 495
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        720 585 855 765 1215 900 1845 900 2205 765 2340 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 360 900 450 a-z/A\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1890 450 sp\001
-4 0 0 50 0 12 10 0.0000 4 105 180 1440 810 sp\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1427 127 a-z\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 4183 33 33 33 4183 66 4216
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 4183 383 383 1333 4183 1716 4566
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 4266 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 4183 139 4183 237 4183 354 4183 485 4183 624 4183 766 4183
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 4116 933 4183 766 4233 766 4116
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 4133 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5233 4183 383 383 5233 4183 5616 4566
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5233 4183 450 450 5233 4183 5683 4633
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5233 4266 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1733 4166 2025 4150 2372 4135 2760 4122 3171 4114 3590 4112 4000 4116 4094 4117 4192 4120 4293 4125 4396 4129 4498 4132 4600 4133
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4600 4083 4766 4150 4600 4183 4600 4083
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3600 4066 ' '\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3600 5216 383 383 3600 5216 3983 5599
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3600 5300 2\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1700 4350 1900 4442 2129 4547 2375 4660 2625 4774 2871 4884 3100 4983
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3116 4933 3250 5050 3066 5033 3116 4933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2466 4500 'a'..'z' / A\001
+# 2 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3933 5000 4047 4928 4172 4848 4304 4764 4438 4679 4571 4595 4700 4516
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4683 4466 4850 4433 4733 4566 4683 4466
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4383 4666 ' '\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3866 4933 3887 4834 3882 4740 3852 4658 3795 4592 3711 4549 3600 4533 3516 4541 3448 4564 3395 4600 3356 4646 3330 4703 3316 4766
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3366 4766 3333 4933 3266 4766 3366 4766
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3600 4483 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exstar.fig b/doc/exstar.fig
index cca7963..9759fcc 100644 (file)
--- a/doc/exstar.fig
+++ b/doc/exstar.fig
@@ -1,32 +1,59 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exstar
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 1 0 1 1035.000 -742.500 675 675 1035 720 1395 675
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1035.000 1912.500 675 495 1035 450 1395 495
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 90 90 585 585 675 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 585 585 135 135 585 585 720 585
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1485 585 135 135 1485 585 1620 585
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        540 450 540 315 540 180 630 180 630 315 630 450
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        45 630 135 495 225 765 315 585 360 585 450 585
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        1440 450 1440 315 1440 180 1530 180 1530 315 1530 450
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 75 195 945 405 a-z\001
-4 0 0 50 0 12 10 0.0000 4 105 180 945 675 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 180 495 135 nl\001
-4 0 0 50 0 0 10 0.0000 4 75 195 1395 135 a-z\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3850 33 33 33 3850 66 3883
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3850 383 383 1400 3850 1783 4233
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3850 450 450 1400 3850 1850 4300
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3933 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3850 132 3850 225 3850 341 3850 474 3850 617 3850 766 3850
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3783 933 3850 766 3900 766 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3800 IN\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1716 3516 1741 3410 1734 3312 1695 3227 1626 3159 1527 3115 1400 3100 1305 3108 1224 3131 1158 3168 1108 3218 1077 3279 1066 3350
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1116 3350 1083 3516 1016 3350 1116 3350
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1400 3050 10\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3400 3850 383 383 3400 3850 3783 4233
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3400 3933 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  1866 3850 1916 3842 1966 3838 2016 3835 2066 3833 2116 3833 2166 3833 2276 3833 2364 3833 2439 3833 2513 3833 2596 3833 2700 3833 2723 3833 2745 3833 2766 3833 2787 3833 2809 3833 2833 3833
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2833 3783 3000 3850 2833 3883 2833 3783
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 3783 'a'..'z'\001
+# 1 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  3066 4050 3008 4081 2949 4110 2889 4135 2828 4156 2765 4172 2700 4183 2601 4203 2517 4212 2439 4214 2360 4209 2272 4198 2166 4183 2133 4175 2100 4166 2066 4158 2033 4150 2000 4141 1966 4133
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1950 4183 1816 4066 2000 4083 1950 4183
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2433 4116 10\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3666 3566 3687 3467 3682 3374 3652 3291 3595 3225 3511 3182 3400 3166 3316 3174 3248 3197 3195 3233 3156 3280 3130 3336 3116 3400
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3166 3400 3133 3566 3066 3400 3166 3400
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3400 3116 'a'..'z'\001
+# end of FIG file

diff --git a/doc/exstpri.fig b/doc/exstpri.fig
index 1b3a7ad..2d9e727 100644 (file)
--- a/doc/exstpri.fig
+++ b/doc/exstpri.fig
@@ -1,33 +1,65 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exstpri
+# Pages: 1
 1200 2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 630.000 825.000 540 945 630 675 720 945
-       1 1 2.00 60.00 60.00
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 630 1035 135 135 630 1035 765 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1305 1035 135 135 1305 1035 1440 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1980 1035 135 135 1980 1035 2115 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 135 135 2655 1035 2790 1035
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2655 1035 90 90 2655 1035 2745 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        765 1035 1170 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1440 1035 1845 1035
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2115 1035 2520 1035
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        90 1080 180 945 270 1215 360 1035 405 1035 495 1035
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 12 10 0.0000 4 105 180 540 630 df\001
-4 0 0 50 0 0 10 0.0000 4 105 90 900 990 F\001
-4 0 0 50 0 0 10 0.0000 4 105 60 1575 990 I\001
-4 0 0 50 0 0 10 0.0000 4 105 120 2250 990 N\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3550 33 33 33 3550 66 3583
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3550 383 383 1333 3550 1716 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3633 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3550 139 3550 237 3550 354 3550 485 3550 624 3550 766 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3483 933 3550 766 3600 766 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3500 IN\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6266 3550 383 383 6266 3550 6649 3933
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6266 3550 450 450 6266 3550 6716 4000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6266 3633 3\001
+# 0 -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  1600 3266 1620 3167 1616 3074 1585 2991 1528 2925 1444 2882 1333 2866 1249 2874 1182 2897 1129 2933 1090 2980 1064 3036 1050 3100
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 1100 3100 1066 3266 1000 3100 1100 3100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 2816 DEF\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 3550 383 383 2966 3550 3349 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 3633 1\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3550 1837 3550 1946 3550 2060 3550 2175 3550 2289 3550 2400 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2400 3483 2566 3550 2400 3600 2400 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2150 3500 'F'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4533 3550 383 383 4533 3550 4916 3933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4533 3633 2\001
+# 1 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3366 3550 3460 3550 3559 3550 3660 3550 3762 3550 3865 3550 3966 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3966 3483 4133 3550 3966 3600 3966 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3750 3500 'I'\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  4933 3550 5038 3550 5151 3550 5270 3550 5392 3550 5514 3550 5633 3550
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5633 3483 5800 3550 5633 3600 5633 3483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5366 3500 'N'\001
+# end of FIG file

diff --git a/doc/exstrongsubtr.fig b/doc/exstrongsubtr.fig
index 1aca526..226f1ff 100644 (file)
--- a/doc/exstrongsubtr.fig
+++ b/doc/exstrongsubtr.fig
@@ -1,65 +1,96 @@
-#FIG 3.2  Produced by xfig version 3.2.5-alpha5
+#FIG 3.2
 Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
 # Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
-# For: (age) Adrian Thurston,,,
-# Title: foo
+# For: (age) Adrian Thurston
+# Title: exstrongsubtr
 # Pages: 1
 1200 2
 0 32 #d2d2d2
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 1470.000 376.000 1380 496 1470 226 1560 496
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2306.000 376.000 2216 496 2306 226 2396 496
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 3130.000 364.000 3040 484 3130 214 3220 484
-       1 1 2.00 60.00 60.00
-5 1 0 2 0 7 50 0 -1 0.000 0 0 1 0 2721.519 538.911 3088 714 2714 945 2356 716
-       1 1 2.00 60.00 60.00
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 3716 33 33 33 3716 66 3749
 # 0
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 603 591 135 135 603 591 738 591
-# 1
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 1474 596 135 135 1474 596 1609 596
-# 2
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 2311 590 135 135 2311 590 2446 590
-# 3
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 3135 591 135 135 3135 591 3270 591
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 3938 589 135 135 3938 589 4073 589
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3716 383 383 1333 3716 1716 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 3800 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 3716 139 3716 237 3716 354 3716 485 3716 624 3716 766 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 3650 933 3716 766 3766 766 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 3666 IN\001
 # 4
-1 1 0 2 0 7 50 0 -1 0.000 0 0.0000 3938 589 90 90 3938 589 4028 589
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        67 640 157 505 247 775 337 595 382 595 472 595
-        0.000 1.000 1.000 1.000 1.000 0.000
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8433 3716 383 383 8433 3716 8816 4099
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8433 3716 450 450 8433 3716 8883 4166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8433 3800 4\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3266 3716 383 383 3266 3716 3649 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 3800 1\001
 # 0 -> 1
-3 4 0 2 0 7 50 0 -1 0.000 0 1 0 2
-       1 1 2.00 60.00 60.00
-        747 589 1341 592
-        0.000 0.000
-# 1 -> 2
-3 4 0 2 0 7 50 0 -1 0.000 0 1 0 2
-       1 1 2.00 60.00 60.00
-        1619 597 2179 594
-        0.000 0.000
-# 1 -> 2
-3 4 0 2 0 7 50 0 -1 0.000 0 1 0 2
-       1 1 2.00 60.00 60.00
-        2457 590 3002 590
-        0.000 0.000
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 3716 1881 3716 2039 3716 2204 3716 2371 3716 2538 3716 2700 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2700 3650 2866 3716 2700 3766 2700 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2300 3666 'a'..'z'\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3533 3433 3554 3334 3549 3240 3518 3158 3461 3092 3377 3049 3266 3033 3183 3041 3115 3064 3062 3100 3023 3146 2997 3203 2983 3266
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 3033 3266 3000 3433 2933 3266 3033 3266
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3266 2983 'a'..'z'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4833 3716 383 383 4833 3716 5216 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 3800 2\001
 # 1 -> 2
-3 4 0 2 0 7 50 0 -1 0.000 0 1 0 2
-       1 1 2.00 60.00 60.00
-        3284 589 3810 588
-        0.000 0.000
-4 0 0 50 0 0 10 0.0000 4 75 240 885 536 a..z\001
-4 0 0 50 0 12 10 0.0000 4 105 210 3451 538 nl\001
-4 0 0 50 0 12 10 0.0000 4 105 210 2209 190 df\001
-4 0 0 50 0 0 10 0.0000 4 75 45 1832 542 :\001
-4 0 0 50 0 12 10 0.0000 4 105 210 2624 893 df\001
-4 0 0 50 0 0 10 0.0000 4 75 240 1348 184 a..z\001
-4 0 0 50 0 12 10 0.0000 4 75 210 2610 540 cr\001
-4 0 0 50 0 12 10 0.0000 4 75 210 3015 180 cr\001
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3666 3716 3760 3716 3859 3716 3960 3716 4062 3716 4165 3716 4266 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4266 3650 4433 3716 4266 3766 4266 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4050 3666 ':'\001
+# 2 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5100 3433 5120 3334 5116 3240 5085 3158 5028 3092 4944 3049 4833 3033 4749 3041 4682 3064 4629 3100 4590 3146 4564 3203 4550 3266
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4600 3266 4566 3433 4500 3266 4600 3266
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 4833 2983 DEF\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6700 3716 383 383 6700 3716 7083 4099
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6700 3800 3\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  5233 3716 5283 3715 5333 3712 5383 3708 5433 3704 5483 3701 5533 3700 5629 3700 5706 3700 5772 3700 5838 3700 5911 3700 6000 3700 6023 3700 6045 3700 6066 3700 6087 3700 6109 3700 6133 3700
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6133 3650 6300 3716 6133 3750 6133 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5766 3650 13\001
+# 3 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  7100 3716 7205 3716 7318 3716 7437 3716 7559 3716 7681 3716 7800 3716
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 7800 3650 7966 3716 7800 3766 7800 3650
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 7533 3666 10\001
+# 3 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  6366 3916 6308 3948 6249 3977 6189 4002 6128 4022 6065 4038 6000 4050 5911 4063 5838 4072 5772 4075 5706 4072 5629 4063 5533 4050 5499 4041 5466 4032 5431 4022 5395 4011 5357 3998 5316 3983
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 5300 4033 5166 3916 5350 3933 5300 4033
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5766 3983 DEF\001
+# 3 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  6966 3433 6987 3334 6982 3240 6952 3158 6895 3092 6811 3049 6700 3033 6616 3041 6548 3064 6495 3100 6456 3146 6430 3203 6416 3266
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 6466 3266 6433 3433 6366 3266 6466 3266
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6700 2983 13\001
+# end of FIG file

diff --git a/doc/exsubtr.fig b/doc/exsubtr.fig
index 0e35990..4a2ead2 100644 (file)
--- a/doc/exsubtr.fig
+++ b/doc/exsubtr.fig
@@ -1,87 +1,141 @@
 #FIG 3.2
-Landscape
+Portrait
 Center
 Metric
-A4      
+A4
 100.00
 Single
 -2
+# Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+# For: (age) Adrian Thurston
+# Title: exsubtr
+# Pages: 1
 1200 2
-6 1395 270 3555 630
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1575 450 135 135 1575 450 1710 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 450 135 135 2475 450 2610 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3375 450 135 135 3375 450 3510 450
--6
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 675 1215 135 135 675 1215 810 1215
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 1215 90 90 2475 1215 2565 1215
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 1215 135 135 2475 1215 2610 1215
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 3375 1980 135 135 3375 1980 3510 1980
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 1980 135 135 2475 1980 2610 1980
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1575 1980 135 135 1575 1980 1710 1980
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 450 90 90 2475 450 2565 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1575 450 90 90 1575 450 1665 450
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 1575 1980 90 90 1575 1980 1665 1980
-1 3 0 2 0 7 50 0 -1 0.000 1 0.0000 2475 1980 90 90 2475 1980 2565 1980
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 1080 1440 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        720 1350 1440 1980
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        810 1215 2340 1215
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1665 540 2385 1125
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1665 1890 2385 1305
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2475 1845 2475 1350
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1710 1980 2340 1980
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2610 1980 3240 1980
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        1710 450 2340 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2610 450 3240 450
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        2475 585 2475 1080
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        3285 540 2565 1125
-2 1 0 2 0 7 50 0 -1 0.000 0 0 -1 1 0 2
-       1 1 2.00 60.00 60.00
-        3285 1890 2565 1305
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        135 1260 225 1125 315 1395 405 1215 450 1215 540 1215
-        0.000 1.000 1.000 1.000 1.000 0.000
-3 0 0 2 0 7 50 0 -1 0.000 0 1 0 6
-       1 1 2.00 60.00 60.00
-        2610 1260 3015 1260 3150 1260 3150 1170 3015 1170 2610 1170
-        0.000 1.000 1.000 1.000 1.000 0.000
-4 0 0 50 0 0 10 0.0000 4 105 45 990 720 i\001
-4 0 0 50 0 0 10 0.0000 4 105 60 1125 1620 f\001
-4 0 0 50 0 0 10 0.0000 4 135 660 1215 1170 a-e,g-h,j-z\001
-4 0 0 50 0 0 10 0.6807 4 75 195 2880 810 a-z\001
-4 0 0 50 0 0 10 5.6025 4 75 195 2925 1530 a-z\001
-4 0 0 50 0 0 10 0.0000 4 75 210 2520 720 u-z\001
-4 0 0 50 0 0 10 0.0000 4 105 195 2205 1755 a-q\001
-4 0 0 50 0 0 10 0.0000 4 75 195 2520 1755 s-z\001
-4 0 0 50 0 0 10 0.0000 4 75 180 2205 720 a-s\001
-4 0 0 50 0 0 10 0.0000 4 75 75 1980 1935 o\001
-4 0 0 50 0 0 10 0.0000 4 75 60 2835 1935 r\001
-4 0 0 50 0 0 10 0.0000 4 90 60 2835 405 t\001
-4 0 0 50 0 0 10 0.0000 4 75 75 1935 405 n\001
-4 0 0 50 0 0 10 5.6025 4 105 495 1845 630 a-m,o-z\001
-4 0 0 50 0 0 10 0.6807 4 105 450 1800 1710 a-n,p-z\001
-4 0 0 50 0 0 10 0.0000 4 75 195 2835 1125 a-z\001
+0 32 #d2d2d2
+# ENTRY
+1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 9100 33 33 33 9100 66 9133
+# 0
+1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 9100 383 383 1333 9100 1716 9483
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 1333 9183 0\001
+# ENTRY -> 0
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  66 9100 139 9100 237 9100 354 9100 485 9100 624 9100 766 9100
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 766 9033 933 9100 766 9150 766 9033
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 500 9050 IN\001
+# 1
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10600 8400 383 383 10600 8400 10983 8783
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10600 8400 450 450 10600 8400 11050 8850
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10600 8483 1\001
+# 1 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  10916 8066 10941 7960 10934 7862 10895 7777 10826 7709 10727 7665 10600 7650 10505 7658 10424 7681 10358 7718 10308 7768 10277 7829 10266 7900
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10316 7900 10283 8066 10216 7900 10316 7900
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 10600 7600 'a'..'z'\001
+# 2
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 7633 383 383 2966 7633 3349 8016
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 7633 450 450 2966 7633 3416 8083
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 7716 2\001
+# 2 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  3433 7650 3917 7670 4530 7701 5237 7741 6002 7793 6790 7856 7566 7933 7997 7981 8433 8038 8862 8102 9271 8166 9649 8228 9983 8283
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10000 8233 10150 8316 9983 8333 10000 8233
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6950 7783 'a'..'n', 'p'..'z'\001
+# 3
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5150 6716 383 383 5150 6716 5533 7099
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5150 6716 450 450 5150 6716 5600 7166
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5150 6800 3\001
+# 2 -> 3
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3400 7450 3576 7372 3769 7291 3972 7208 4180 7125 4385 7044 4583 6966
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4550 6916 4733 6900 4600 7016 4550 6916
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3850 7200 'o'\001
+# 3 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5600 6616 6025 6539 6548 6468 7137 6422 7762 6420 8393 6478 9000 6616 9362 6750 9657 6893 9900 7058 10103 7256 10282 7499 10450 7800
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10500 7766 10516 7950 10400 7816 10500 7766
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8433 6383 'a'..'q', 's'..'z'\001
+# 4
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8433 7150 383 383 8433 7150 8816 7533
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8433 7233 4\001
+# 3 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  5600 6783 5938 6827 6321 6875 6729 6927 7139 6979 7531 7032 7883 7083
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 7883 7033 8050 7100 7883 7133 7883 7033
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6950 6850 'r'\001
+# 5
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 9100 383 383 2966 9100 3349 9483
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 2966 9100 450 450 2966 9100 3416 9550
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2966 9183 5\001
+# 5 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  3416 9166 3546 9177 3685 9191 3829 9208 3975 9224 4122 9239 4266 9250 5378 9281 6280 9248 7075 9158 7864 9017 8749 8834 9833 8616 9866 8615 9899 8612 9931 8608 9961 8604 9990 8601 10016 8600
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10016 8550 10183 8583 10016 8650 10016 8550
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6950 9033 'a'..'m', 'o'..'z'\001
+# 6
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5150 8650 383 383 5150 8650 5533 9033
+1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5150 8650 450 450 5150 8650 5600 9100
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5150 8733 6\001
+# 5 -> 6
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  3416 9000 3590 8965 3776 8928 3968 8889 4162 8849 4352 8808 4533 8766
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 4533 8716 4700 8733 4550 8816 4533 8716
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 3850 8883 'n'\001
+# 6 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5616 8650 5881 8656 6185 8660 6516 8660 6864 8656 7218 8647 7566 8633 7992 8612 8425 8586 8854 8556 9262 8524 9638 8494 9966 8466
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 9966 8416 10133 8450 9966 8516 9966 8416
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 8433 8516 'a'..'s', 'u'..'z'\001
+# 6 -> 4
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  5616 8616 5947 8587 6318 8548 6697 8497 7053 8435 7353 8358 7566 8266 7694 8183 7811 8087 7918 7981 8016 7867 8104 7750 8183 7633
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 8133 7616 8266 7500 8233 7666 8133 7616
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 6950 8216 't'\001
+# 0 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 19
+  1566 9416 1727 9603 1922 9801 2147 9989 2400 10148 2674 10258 2966 10300 2991 10300 3169 10300 3650 10300 4586 10300 6130 10300 8433 10300 8906 10255 9276 10127 9572 9925 9823 9655 10056 9327 10300 8950
+ 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10266 8900 10400 8800 10350 8966 10266 8900
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 5150 10250 'a'..'e', 'g'..'h', 'j'..'z'\001
+# 0 -> 2
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1633 8833 1765 8717 1909 8589 2060 8454 2212 8316 2360 8179 2500 8050
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2466 8000 2633 7933 2550 8083 2466 8000
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2116 8316 'f'\001
+# 0 -> 5
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 7
+  1733 9100 1827 9100 1925 9100 2027 9100 2129 9100 2232 9100 2333 9100
+ 0 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 2333 9033 2500 9100 2333 9150 2333 9033
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 2116 9050 'i'\001
+# 4 -> 1
+3 4 0 1 0 0 0 0 -1 0.0 0 0 0 13
+  8800 7283 8957 7345 9127 7416 9304 7493 9483 7578 9661 7669 9833 7766 9883 7801 9933 7837 9983 7875 10033 7912 10083 7948 10133 7983
+ 0 1 1 1 1 1 1 1 1 1 1 1 0
+2 3 0 1 0 0 0 0 20 0.0 0 0 0 0 0 4
+ 10166 7933 10266 8083 10100 8033 10166 7933
+4 1 0 0 0 0 14.0 0.0000 2 0.0 0.0 9566 7450 'a'..'z'\001
+# end of FIG file

diff --git a/doc/genfigs.sh b/doc/genfigs.sh
index 1c58bd2..c72debf 100755 (executable)
--- a/doc/genfigs.sh
+++ b/doc/genfigs.sh
@@ -12,8 +12,10 @@ fi
 for fig in $figs; do
        if awk -f extract.awk -vexname=$fig $input > /dev/null; then
                echo generating ${fig}.fig
+               opt=`awk -f extract.awk -vexname=$fig $input | 
+                               sed '/^ *OPT:/s/^.*: *//p;d'`
                awk -f extract.awk -vexname=$fig $input | \
-                       ragel | rlcodegen -Vp | \
+                       ragel | rlcodegen -V $opt | \
                        dot -Tfig | awk -f fixbackbox.awk > ${fig}.fig;
        else
                echo "$0: internal error: figure $fig not found in $input" >&2

diff --git a/doc/ragel-guide.tex b/doc/ragel-guide.tex
index cc15d12..ba398e5 100644 (file)
--- a/doc/ragel-guide.tex
+++ b/doc/ragel-guide.tex
@@ -653,13 +653,13 @@ there will be 6 states chained together with the characters in the string. See
 Section \ref{lexing} for information on valid escape sequences. 
 
 % GENERATE: bmconcat
+% OPT: -p
 % %%{
 % machine bmconcat;
 \begin{comment}
 \begin{verbatim}
 main := 'hello';
 \end{verbatim}
-\end{inline_code}
 \end{comment}
 % }%%
 % END GENERATE
@@ -684,13 +684,13 @@ See Section \ref{lexing} for information on valid escape sequences
 in or expressions.
 
 % GENERATE: bmor
+% OPT: -p
 % %%{
 % machine bmor;
 \begin{comment}
 \begin{verbatim}
 main := [hello];
 \end{verbatim}
-\end{inline_code}
 \end{comment}
 % }%%
 % END GENERATE
@@ -704,13 +704,13 @@ that matches the zero length string. Zero length machines have one state that is
 a start state and a final state.
 
 % GENERATE: bmnull
+% OPT: -p
 % %%{
 % machine bmnull;
 \begin{comment}
 \begin{verbatim}
 main := '';
 \end{verbatim}
-\end{inline_code}
 \end{comment}
 % }%%
 % END GENERATE
@@ -720,7 +720,7 @@ main := '';
 \end{center}
 
 % FIXME: More on the range of values here.
-\item \verb|42| -- Simple Machine. Produces a two state machine with one
+\item \verb|42| -- Numerical Literal. Produces a two state machine with one
 transition on the given number. The number may be in decimal or hexadecimal
 format and should be in the range allowed by the alphabet type. The minimum and
 maximum values permitted are defined by the host machine that Ragel is compiled
@@ -734,7 +734,6 @@ be in the range \verb|-32768| to \verb|32767|.
 \begin{verbatim}
 main := 42;
 \end{verbatim}
-\end{inline_code}
 \end{comment}
 % }%%
 % END GENERATE
@@ -762,20 +761,45 @@ results can always be achieved using the more general machine construction
 operators listed in Section \ref{machconst}. The following diagram shows the
 result of compiling \verb|/ab*[c-z].*[123]/|.
 
+% GENERATE: bmregex
+% OPT: -p
+% %%{
+% machine bmregex;
+\begin{comment}
+\begin{verbatim}
+main := /ab*[c-z].*[123]/;
+\end{verbatim}
+\end{comment}
+% }%%
+% END GENERATE
+
 \begin{center}
-\includegraphics{bmregex}
+\includegraphics[scale=0.45]{bmregex}
 \end{center}
 
-\item \verb|lit .. lit| -- Range. Produces a machine that matches any
+\item \verb|'a' .. 'z'| -- Range. Produces a machine that matches any
 characters in the specified range.  Allowable upper and lower bounds of the
-range are concatenation literals of length one and number literals.  For
+range are concatenation literals of length one and numerical literals.  For
 example, \verb|0x10..0x20|, \verb|0..63|, and \verb|'a'..'z'| are valid ranges.
 The bounds should be in the range allowed by the alphabet type.
 
+% GENERATE: bmrange
+% OPT: -p
+% %%{
+% machine bmrange;
+\begin{comment}
+\begin{verbatim}
+main := 'a' .. 'z';
+\end{verbatim}
+\end{comment}
+% }%%
+% END GENERATE
+
 \begin{center}
-\includegraphics{bmrange}
+\includegraphics[scale=0.45]{bmrange}
 \end{center}
 
+
 \item \verb|variable_name| -- Lookup the machine definition assigned to the
 variable name given and use an instance of it. See Section \ref{definition} for
 an important note on what it means to reference a variable name.
@@ -933,16 +957,22 @@ shown below.
 The following example demonstrates the union of three machines representing
 common tokens.
 
-\verbspace
+% GENERATE: exor
+% OPT: -p
+% %%{
+% machine exor;
+\begin{inline_code}
 \begin{verbatim}
 # Hex digits, decimal digits, or identifiers
 main := '0x' xdigit+ | digit+ | alpha alnum*;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
 \graphspace
 \begin{center}
-\includegraphics{exor}
+\includegraphics[scale=0.45]{exor}
 \end{center}
 
 \subsection{Intersection}
@@ -960,7 +990,11 @@ if there are any such paths in either of the expressions they will be removed
 by the intersection operator.  Intersection can be used to require that two
 independent patterns be simultaneously satisfied as in the following example.
 
-\verbspace
+% GENERATE: exinter
+% OPT: -p
+% %%{
+% machine exinter;
+\begin{inline_code}
 \begin{verbatim}
 # Match lines four characters wide that contain 
 # words separated by whitespace.
@@ -968,11 +1002,13 @@ main :=
     /[^\n][^\n][^\n][^\n]\n/* &
     (/[a-z][a-z]*/ | [ \n])**;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
 \graphspace
 \begin{center}
-\includegraphics{exinter}
+\includegraphics[scale=0.45]{exinter}
 \end{center}
 
 \subsection{Difference}
@@ -990,18 +1026,27 @@ that does not lead to a final state.  The following example demonstrates the
 use of subtraction to exclude specific cases from a set.
 
 \verbspace
+
+% GENERATE: exsubtr
+% OPT: -p
+% %%{
+% machine exsubtr;
+\begin{inline_code}
 \begin{verbatim}
 # Subtract keywords from identifiers.
 main := /[a-z][a-z]*/ - ( 'for' | 'int' );
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
 \graphspace
 \begin{center}
-\includegraphics{exsubtr}
+\includegraphics[scale=0.45]{exsubtr}
 \end{center}
 \graphspace
 
+
 \subsection{Strong Difference}
 \label{strong_difference}
 
@@ -1013,15 +1058,22 @@ machine which does not have any string of the second machine as a substring. In
 the following example, strong subtraction is used to excluded \verb|CRLF| from
 a sequence.
 
-\verbspace
+% GENERATE: exstrongsubtr
+% OPT: -p
+% %%{
+% machine exstrongsubtr;
+\begin{inline_code}
 \begin{verbatim}
 crlf = '\r\n';
 main := [a-z]+ ':' ( any* -- crlf ) crlf;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exstrongsubtr}
+\includegraphics[scale=0.45]{exstrongsubtr}
 \end{center}
 \graphspace
 
@@ -1067,15 +1119,22 @@ In the following example, the first machine is always active due to the
 nondeterministic nature of concatenation. This particular nondeterminism is intended
 however because we wish to permit EOF strings before the end of the input.
 
-\verbspace
+% GENERATE: exconcat
+% OPT: -p
+% %%{
+% machine exconcat;
+\begin{inline_code}
 \begin{verbatim}
 # Require an eof marker on the last line.
 main := /[^\n]*\n/* . 'EOF\n';
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exconcat}
+\includegraphics[scale=0.45]{exconcat}
 \end{center}
 \graphspace
 
@@ -1132,16 +1191,24 @@ expression. Though it would not cause a problem in this case, unnecessary
 nondeterminism in the kleene star operator often causes undesired results for
 new Ragel users and must be guarded against.
 
-\verbspace
+% GENERATE: exstar
+% OPT: -p
+% %%{
+% machine exstar;
+\begin{inline_code}
 \begin{verbatim}
 # Match any number of lines with only lowercase letters.
 main := /[a-z]*\n/*;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exstar}
+\includegraphics[scale=0.45]{exstar}
 \end{center}
+\graphspace
 
 \subsection{One Or More Repetition}
 
@@ -1153,16 +1220,24 @@ itself. The result will match one or more repetitions of the machine. The plus
 operator is equivalent to \verb|(expr . expr*)|.  The plus operator makes
 repetitions that cannot be zero length.
 
-\verbspace
+% GENERATE: explus
+% OPT: -p
+% %%{
+% machine explus;
+\begin{inline_code}
 \begin{verbatim}
 # Match alpha-numeric words.
 main := alnum+;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{explus}
+\includegraphics[scale=0.45]{explus}
 \end{center}
+\graphspace
 
 \subsection{Optional}
 
@@ -1174,16 +1249,25 @@ given or the zero length string. The optional operator is equivalent to
 \verb/(expr | '' )/. In the following example the optional operator is used to
 extend a token.
 
-\verbspace
+% GENERATE: exoption
+% OPT: -p
+% %%{
+% machine exoption;
+\begin{inline_code}
 \begin{verbatim}
 # Match integers or floats.
 main := digit+ ('.' digit+)?;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exoption}
+\includegraphics[scale=0.45]{exoption}
 \end{center}
+\graphspace
+
 
 \subsection{Repetition}
 
@@ -1205,16 +1289,25 @@ main := digit+ ('.' digit+)?;
 Negation produces a machine that matches any string not matched by the given
 machine. Negation is equivalent to \verb|(any* - expr)|.
 
-\verbspace
+% GENERATE: exnegate
+% OPT: -p
+% %%{
+% machine exnegate;
+\begin{inline_code}
 \begin{verbatim}
 # Accept anything but a string beginning with a digit.
 main := ! ( digit any* );
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exnegate}
+\includegraphics[scale=0.45]{exnegate}
 \end{center}
+\graphspace
+
 
 \subsection{Character-Level Negation}
 
@@ -1701,14 +1794,26 @@ following example, the action is executed on the first transition of the
 machine. If the repetition machine is bypassed the action is not executed.
 
 \verbspace
+
+% GENERATE: exstact
+% OPT: -p
+% %%{
+% machine exstact;
+\begin{inline_code}
 \begin{verbatim}
 # Execute A at the beginning of a string of alpha.
+action A {}
 main := ( lower* >A ) . ' ';
 \end{verbatim}
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exstact}
+\includegraphics[scale=0.45]{exstact}
 \end{center}
+\graphspace
 
 \subsection{Finishing Action}
 
@@ -1721,16 +1826,26 @@ the action is executed. Further input may move the machine out of the accepting
 state, but keep it in the machine. As in the following example, the
 into-final-state operator is most often used when no lookahead is necessary.
 
-\verbspace
+% GENERATE: exdoneact
+% OPT: -p
+% %%{
+% machine exdoneact;
+% action A {}
+\begin{inline_code}
 \begin{verbatim}
 # Execute A when the trailing space is seen.
 main := ( lower* ' ' ) @A;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exdoneact}
+\includegraphics[scale=0.45]{exdoneact}
 \end{center}
+\graphspace
+
 
 \subsection{All Transition Action}
 
@@ -1741,16 +1856,26 @@ The all transition operator embeds an action into all transitions of a machine.
 The action is executed whenever a transition of the machine is taken. In the
 following example, A is executed on every character matched.
 
-\verbspace
+% GENERATE: exallact
+% OPT: -p
+% %%{
+% machine exallact;
+% action A {}
+\begin{inline_code}
 \begin{verbatim}
 # Execute A on any characters of machine one or two.
 main := ( 'm1' | 'm2' ) $A;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exallact}
+\includegraphics[scale=0.45]{exallact}
 \end{center}
+\graphspace
+
 
 \subsection{Pending Out Actions}
 \label{out-actions}
@@ -1767,35 +1892,54 @@ termination of a sequence, without being concerned about what particular
 character terminates the sequence.  In the following example, A is executed
 when leaving the alpha machine by the newline character.
 
-\verbspace
+% GENERATE: exoutact1
+% OPT: -p
+% %%{
+% machine exoutact1;
+% action A {}
+\begin{inline_code}
 \begin{verbatim}
 # Match a word followed by an newline. Execute A when 
 # finishing the word.
 main := ( lower+ %A ) . '\n';
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exfinact}
+\includegraphics[scale=0.45]{exoutact1}
 \end{center}
 \graphspace
 
-
 In the following example, the \verb|term_word| action could be used to register
 the appearance of a word and to clear the buffer that the \verb|lower| action used
 to store the text of it.
 
-\verbspace
+% GENERATE: exoutact2
+% OPT: -p
+% %%{
+% machine exoutact2;
+% action lower {}
+% action space {}
+% action term_word {}
+% action newline {}
+\begin{inline_code}
 \begin{verbatim}
 word = ( [a-z] @lower )+ %term_word;
 main := word ( ' ' @space word )* '\n' @newline;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
+
+\graphspace
+\begin{center}
+\includegraphics[scale=0.45]{exoutact2}
+\end{center}
+\graphspace
 
-% FIXME: add
-%\begin{center}
-%\includegraphics[scale=0.4]{outact.ps}
-%\end{center}
 
 In this final example of the action embedding operators, A is executed upon
 entering the alpha machine, B is executed on all transitions of the alpha
@@ -1803,17 +1947,30 @@ machine, C is executed when the alpha machine accepts by moving into the
 newline machine and N is executed when the newline machine moves into a final
 state.  
 
-\verbspace
+% GENERATE: exaction
+% OPT: -p
+% %%{
+% machine exaction;
+% action A {}
+% action B {}
+% action C {}
+% action N {}
+\begin{inline_code}
 \begin{verbatim}
 # Execute A on starting the alpha machine, B on every transition 
 # moving through it and C upon finishing. Execute N on the newline.
 main := ( lower* >A $B %C ) . '\n' @N;
 \end{verbatim}
-\verbspace
+\end{inline_code}
+% }%%
+% END GENERATE
 
+\graphspace
 \begin{center}
-\includegraphics{exaction}
+\includegraphics[scale=0.45]{exaction}
 \end{center}
+\graphspace
+
 
 \section{State Action Embedding Operators}
 
@@ -2275,8 +2432,8 @@ advantageous from a language design point of view because it greatly simplifies
 the design.  
 
 \begin{comment}
+% FIXME: Add
 Example from 2 page poster paper.
-% GENERATE: lmkleene
 % %%{
 % machine lmkleene;
 % action id {}
@@ -2293,10 +2450,9 @@ main := ( lower+ ':' ' '* <: (
 % }%%
 % END GENERATE
 
-% FIXME: Add
-%\begin{center}
-%\includegraphics[scale=0.4]{lmkleene.ps}
-%\end{center}
+\begin{center}
+\includegraphics[scale=0.4]{lmkleene}
+\end{center}
 \end{comment}
 
 \subsection{Entry-Guarded Contatenation}
@@ -2315,17 +2471,23 @@ pursued concurrently. In the following example, entry-guarded concatenation is
 used to move out of a machine that matches everything at the first sign of an
 end-of-input marker.
 
-\verbspace
+% GENERATE: exstpri
+% OPT: -p
+% %%{
+% machine exstpri;
+\begin{comment}
 \begin{verbatim}
 # Leave the catch-all machine on the first character of FIN.
 main := any* :> 'FIN';
 \end{verbatim}
-\verbspace
+\end{comment}
+% }%%
+% END GENERATE
 
 \begin{center}
-\includegraphics{exstpri}
+\includegraphics[scale=0.45]{exstpri}
 \end{center}
-\graphspace
+
 
 Entry-guarded concatenation is equivalent to the following:
 
@@ -2348,17 +2510,22 @@ machine only when the second accepts. In the following example, finish-guarded
 concatenation causes the move out of the machine that matches everything to be
 delayed until the full end-of-input marker has been matched.
 
-\verbspace
+% GENERATE: exdonepri
+% OPT: -p
+% %%{
+% machine exdonepri;
+\begin{comment}
 \begin{verbatim}
 # Leave the catch-all machine on the last character of FIN.
 main := any* :>> 'FIN';
 \end{verbatim}
-\verbspace
+\end{comment}
+% }%%
+% END GENERATE
 
 \begin{center}
-\includegraphics{exdonepri}
+\includegraphics[scale=0.45]{exdonepri}
 \end{center}
-\graphspace
 
 Finish-guarded concatenation is equivalent to the following:
 
@@ -2405,6 +2572,14 @@ longest-match kleene star to an alternation of token patterns, as in the
 following.
 
 \verbspace
+
+% GENERATE: exfinpri
+% OPT: -p
+% %%{
+% machine exfinpri;
+% action A {}
+% action B {}
+\begin{comment}
 \begin{verbatim}
 # Repeat tokens, but make sure to get the longest match.
 main := (
@@ -2413,13 +2588,13 @@ main := (
     ' '
 )**;
 \end{verbatim}
-
-\verbspace
+\end{comment}
+% }%%
+% END GENERATE
 
 \begin{center}
-\includegraphics{exfinpri}
+\includegraphics[scale=0.45]{exfinpri}
 \end{center}
-\graphspace
 
 If a regular kleene star were used the machine above would not be able to
 distinguish between extending a word and beginning a new one.  This operator is