doc/exconcat.fig

   1 #FIG 3.2  Produced by xfig version 3.2.5-alpha5
   2 Portrait
   3 Center
   4 Metric
   5 A4
   6 100.00
   7 Single
   8 -2
   9 # Generated by dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
  10 # For: (age) Adrian Thurston
  11 # Title: exconcat
  12 # Pages: 1
  13 1200 2
  14 0 32 #d2d2d2
  15 # ENTRY
  16 1 1 0 1 0 0 0 0 20 0.000 0 0.0000 33 10216 33 33 33 10216 66 10249
  17 # 0
  18 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 10216 383 383 1333 10216 1716 10599
  19 # 5
  20 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 383 383 8466 9950 8849 10333
  21 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 8466 9950 450 450 8466 9950 8916 10400
  22 # 2
  23 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3000 9283 383 383 3000 9283 3383 9666
  24 # 1
  25 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 10400 9283 383 383 10400 9283 10783 9666
  26 # 3
  27 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4666 8466 383 383 4666 8466 5049 8849
  28 # 4
  29 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6533 9000 383 383 6533 9000 6916 9383
  30 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  31          766 10150 933 10216 766 10266 766 10150
  32 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  33          1866 10400 1716 10316 1883 10300 1866 10400
  34 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  35          3550 9400 3383 9333 3550 9300 3550 9400
  36 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  37          9850 9416 10033 9416 9883 9516 9850 9416
  38 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  39          1100 9766 1066 9933 1000 9766 1100 9766
  40 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  41          2566 9650 2733 9583 2650 9733 2566 9650
  42 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  43          10116 9750 10250 9633 10216 9800 10116 9750
  44 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  45          1750 9833 1583 9916 1666 9750 1750 9833
  46 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  47          10250 8750 10283 8916 10150 8800 10250 8750
  48 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  49          4150 8666 4316 8633 4200 8766 4150 8666
  50 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  51          1400 10783 1383 10600 1500 10733 1400 10783
  52 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  53          10166 8833 10133 9000 10066 8833 10166 8833
  54 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  55          1500 9716 1366 9833 1400 9666 1500 9716
  56 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  57          9916 8983 10066 9083 9883 9083 9916 8983
  58 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  59          6000 8800 6150 8900 5966 8900 6000 8800
  60 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  61          7916 9650 8050 9766 7866 9750 7916 9650
  62 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  63          9850 9183 10016 9250 9850 9283 9850 9183
  64 2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
  65          11160 7065 -45 7065 -45 12015 11160 12015 11160 7065
  66 # ENTRY -> 0
  67 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  68          66 10216 139 10216 237 10216 354 10216 485 10216 624 10216
  69          766 10216
  70          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  71 # 5 -> 0
  72 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
  73          8050 10133 7841 10211 7604 10290 7347 10364 7078 10425 6804 10467
  74          6533 10483 5044 10483 4046 10483 3441 10483 3130 10483 3016 10483
  75          3000 10483 2806 10478 2610 10463 2416 10441 2228 10414 2049 10383
  76          1883 10350
  77          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  78          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  79          1.000 1.000 0.000
  80 # 5 -> 2
  81 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  82          8000 9900 7398 9822 6642 9727 5806 9625 4962 9522 4186 9427
  83          3550 9350
  84          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  85 # 5 -> 1
  86 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  87          8900 9800 9049 9747 9209 9691 9377 9633 9545 9575 9710 9519
  88          9866 9466
  89          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  90 # 0 -> 0
  91 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  92          1600 9933 1620 9834 1616 9740 1585 9658 1528 9592 1444 9549
  93          1333 9533 1249 9541 1182 9564 1129 9600 1090 9646 1064 9703
  94          1050 9766
  95          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  96          1.000 1.000 1.000 1.000 0.000
  97 # 0 -> 2
  98 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  99          1716 10150 1810 10122 1908 10089 2008 10052 2108 10010 2205 9965
 100          2300 9916 2356 9889 2411 9856 2462 9820 2511 9782 2556 9741
 101          2600 9700
 102          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 103          1.000 1.000 1.000 1.000 0.000
 104 # 0 -> 1
 105 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
 106          1533 10550 1735 10781 1935 10961 2147 11093 2386 11183 2665 11234
 107          3000 11250 3025 11250 3202 11250 3683 11250 4619 11250 6163 11250
 108          8466 11250 8921 11199 9270 11054 9541 10829 9762 10533 9962 10181
 109          10166 9783
 110          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 111          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 112          1.000 1.000 0.000
 113 # 2 -> 0
 114 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
 115          2616 9366 2522 9393 2424 9422 2325 9456 2225 9493 2127 9536
 116          2033 9583 1963 9623 1902 9661 1847 9697 1797 9732 1748 9766
 117          1700 9800
 118          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 119          1.000 1.000 1.000 1.000 0.000
 120 # 2 -> 1
 121 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 25
 122          3250 8983 3275 8967 3300 8953 3325 8937 3350 8919 3375 8896
 123          3400 8866 3659 8554 3824 8222 3952 7906 4097 7638 4317 7452
 124          4666 7383 4684 7383 4807 7383 5141 7383 5792 7383 6865 7383
 125          8466 7383 8911 7429 9260 7560 9539 7768 9772 8045 9984 8380
 126          10200 8766
 127          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 128          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 129          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 130          0.000
 131 # 2 -> 3
 132 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
 133          3350 9116 3472 9055 3606 8990 3745 8922 3888 8853 4029 8784
 134          4166 8716
 135          0.000 1.000 1.000 1.000 1.000 1.000 0.000
 136 # 1 -> 0
 137 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 31
 138          10366 9666 10365 9691 10362 9715 10358 9737 10354 9756 10351 9772
 139          10350 9783 10276 10083 10211 10331 10137 10545 10038 10746 9898 10952
 140          9700 11183 9509 11404 9339 11583 9170 11722 8982 11821 8754 11880
 141          8466 11900 6163 11900 4619 11900 3683 11900 3202 11900 3025 11900
 142          3000 11900 2609 11865 2294 11764 2037 11600 1822 11374 1631 11089
 143          1450 10750
 144          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 145          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 146          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 147          1.000 1.000 1.000 1.000 1.000 1.000 0.000
 148 # 1 -> 1
 149 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
 150          10666 9000 10687 8900 10682 8807 10652 8725 10595 8659 10511 8615
 151          10400 8600 10316 8608 10248 8630 10195 8666 10156 8713 10130 8769
 152          10116 8833
 153          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 154          1.000 1.000 1.000 1.000 0.000
 155 # 3 -> 0
 156 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
 157          4266 8466 4030 8471 3764 8488 3477 8520 3180 8572 2884 8647
 158          2600 8750 2326 8880 2098 8999 1906 9122 1740 9267 1591 9448
 159          1450 9683
 160          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 161          1.000 1.000 1.000 1.000 0.000
 162 # 3 -> 1
 163 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 31
 164          5050 8400 5107 8391 5161 8383 5214 8375 5266 8366 5316 8358
 165          5366 8350 5462 8344 5539 8342 5606 8343 5671 8346 5744 8348
 166          5833 8350 6455 8390 6959 8432 7402 8483 7840 8551 8332 8643
 167          8933 8766 9088 8804 9213 8837 9322 8868 9430 8901 9551 8938
 168          9700 8983 9740 8991 9777 9000 9812 9008 9844 9016 9873 9025
 169          9900 9033
 170          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 171          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 172          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 173          1.000 1.000 1.000 1.000 1.000 1.000 0.000
 174 # 3 -> 4
 175 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
 176          5050 8566 5190 8609 5343 8654 5504 8702 5667 8750 5828 8800
 177          5983 8850
 178          0.000 1.000 1.000 1.000 1.000 1.000 0.000
 179 # 4 -> 5
 180 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
 181          6866 9200 6926 9233 6987 9266 7050 9297 7112 9328 7173 9357
 182          7233 9383 7342 9434 7454 9487 7566 9541 7679 9595 7790 9648
 183          7900 9700
 184          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 185          1.000 1.000 1.000 1.000 0.000
 186 # 4 -> 1
 187 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 19
 188          6933 9016 7047 9024 7172 9032 7304 9039 7438 9045 7571 9048
 189          7700 9050 8099 9080 8422 9108 8706 9133 8988 9158 9307 9185
 190          9700 9216 9725 9217 9750 9220 9775 9225 9800 9229 9825 9232
 191          9850 9233
 192          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 193          1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 194          1.000 1.000 0.000
 195 4 1 0 0 0 0 14 0.0000 2 150 120 1333 10300 0\001
 196 4 1 0 0 0 0 14 0.0000 2 150 255 500 10166 IN\001
 197 4 1 0 0 0 0 14 0.0000 2 150 120 8466 10033 5\001
 198 4 1 0 0 0 0 14 0.0000 2 165 240 4666 10433 10\001
 199 4 1 0 0 0 0 14 0.0000 2 150 120 3000 9366 2\001
 200 4 1 0 0 0 0 14 0.0000 2 150 240 5600 9550 'E'\001
 201 4 1 0 0 0 0 14 0.0000 2 165 120 10400 9366 1\001
 202 4 1 0 0 0 0 14 0.0000 2 150 465 9466 9500 DEF\001
 203 4 1 0 0 0 0 14 0.0000 2 165 240 1333 9483 10\001
 204 4 1 0 0 0 0 14 0.0000 2 150 240 2166 9866 'E'\001
 205 4 1 0 0 0 0 14 0.0000 2 150 465 5600 11200 DEF\001
 206 4 1 0 0 0 0 14 0.0000 2 165 240 2166 9450 10\001
 207 4 1 0 0 0 0 14 0.0000 2 150 465 6533 7333 DEF\001
 208 4 1 0 0 0 0 14 0.0000 2 150 120 4666 8550 3\001
 209 4 1 0 0 0 0 14 0.0000 2 150 270 3833 8800 'O'\001
 210 4 1 0 0 0 0 14 0.0000 2 165 240 5600 11850 10\001
 211 4 1 0 0 0 0 14 0.0000 2 150 465 10400 8550 DEF\001
 212 4 1 0 0 0 0 14 0.0000 2 165 240 3000 8516 10\001
 213 4 1 0 0 0 0 14 0.0000 2 150 465 7466 8433 DEF\001
 214 4 1 0 0 0 0 14 0.0000 2 150 120 6533 9083 4\001
 215 4 1 0 0 0 0 14 0.0000 2 150 225 5600 8633 'F'\001
 216 4 1 0 0 0 0 14 0.0000 2 165 240 7466 9333 10\001
 217 4 1 0 0 0 0 14 0.0000 2 150 465 8466 9050 DEF\001