doc/lmkleene.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: exfinpri
  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 6166 33 33 33 6166 66 6199
  17 # 0
  18 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 383 383 1400 6166 1783 6549
  19 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 6166 450 450 1400 6166 1850 6616
  20 # 1
  21 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 383 383 3466 5416 3849 5799
  22 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3466 5416 450 450 3466 5416 3916 5866
  23 # 2
  24 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 383 383 5866 6433 6249 6816
  25 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 5866 6433 450 450 5866 6433 6316 6883
  26 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  27          766 6100 933 6166 766 6216 766 6100
  28 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  29          1116 5666 1083 5833 1016 5666 1116 5666
  30 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  31          2833 5366 3000 5400 2833 5466 2833 5366
  32 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  33          5233 6350 5400 6416 5233 6450 5233 6350
  34 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  35          2033 6166 1866 6133 2033 6066 2033 6166
  36 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  37          3183 4916 3150 5083 3083 4916 3183 4916
  38 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  39          5300 6133 5433 6250 5250 6233 5300 6133
  40 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  41          1950 6483 1816 6366 2000 6383 1950 6483
  42 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  43          5583 5933 5550 6100 5483 5933 5583 5933
  44 2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
  45          -45 4365 6615 4365 6615 7020 -45 7020 -45 4365
  46 # ENTRY -> 0
  47 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  48          66 6166 132 6166 225 6166 341 6166 474 6166 617 6166
  49          766 6166
  50          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  51 # 0 -> 0
  52 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  53          1716 5833 1741 5727 1734 5629 1695 5543 1626 5476 1527 5432
  54          1400 5416 1305 5424 1224 5448 1158 5485 1108 5535 1077 5596
  55          1066 5666
  56          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  57          1.000 1.000 1.000 1.000 0.000
  58 # 0 -> 1
  59 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  60          1733 5833 1794 5782 1860 5730 1931 5679 2006 5630 2084 5587
  61          2166 5550 2270 5512 2380 5482 2493 5458 2608 5440 2722 5426
  62          2833 5416
  63          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  64          1.000 1.000 1.000 1.000 0.000
  65 # 0 -> 2
  66 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  67          1866 6200 2033 6216 2216 6232 2408 6247 2606 6261 2804 6273
  68          3000 6283 3391 6307 3790 6328 4185 6347 4565 6366 4918 6383
  69          5233 6400
  70          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  71          1.000 1.000 1.000 1.000 0.000
  72 # 1 -> 0
  73 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  74          3116 5700 3049 5742 2982 5786 2914 5829 2845 5869 2773 5904
  75          2700 5933 2590 5979 2479 6017 2366 6050 2254 6076 2142 6098
  76          2033 6116
  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 0.000
  79 # 1 -> 1
  80 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  81          3783 5083 3808 4977 3801 4879 3762 4793 3693 4726 3594 4682
  82          3466 4666 3372 4674 3291 4698 3225 4735 3175 4785 3144 4846
  83          3133 4916
  84          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  85          1.000 1.000 1.000 1.000 0.000
  86 # 1 -> 2
  87 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  88          3883 5600 4095 5688 4327 5784 4570 5885 4816 5987 5056 6088
  89          5283 6183
  90          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  91 # 2 -> 0
  92 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  93          5416 6533 5099 6593 4727 6650 4314 6695 3878 6722 3434 6720
  94          3000 6683 2783 6650 2595 6618 2427 6583 2271 6542 2120 6493
  95          1966 6433
  96          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  97          1.000 1.000 1.000 1.000 0.000
  98 # 2 -> 2
  99 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
 100          6183 6100 6208 5993 6201 5895 6162 5810 6093 5743 5994 5699
 101          5866 5683 5772 5691 5691 5714 5625 5752 5575 5801 5544 5862
 102          5533 5933
 103          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
 104          1.000 1.000 1.000 1.000 0.000
 105 4 1 0 0 0 0 14 0.0000 2 150 120 1400 6250 0\001
 106 4 1 0 0 0 0 14 0.0000 2 150 255 500 6116 IN\001
 107 4 1 0 0 0 0 14 0.0000 2 150 150 1400 5366 ' '\001
 108 4 1 0 0 0 0 14 0.0000 2 165 120 3466 5500 1\001
 109 4 1 0 0 0 0 14 0.0000 2 150 540 2433 5400 '0'..'9'\001
 110 4 1 0 0 0 0 14 0.0000 2 150 120 5866 6516 2\001
 111 4 1 0 0 0 0 14 0.0000 2 150 510 3466 6233 'a'..'z'\001
 112 4 1 0 0 0 0 14 0.0000 2 150 495 2433 5883 ' ' / B\001
 113 4 1 0 0 0 0 14 0.0000 2 150 540 3466 4616 '0'..'9'\001
 114 4 1 0 0 0 0 14 0.0000 2 150 855 4666 5733 'a'..'z' / B\001
 115 4 1 0 0 0 0 14 0.0000 2 150 510 3466 6633 ' ' / A\001
 116 4 1 0 0 0 0 14 0.0000 2 180 1170 5866 5633 '0'..'9', 'a'..'z'\001