doc/exoption.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: exoption
  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 3683 33 33 33 3683 66 3716
  17 # 0
  18 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1333 3683 383 383 1333 3683 1716 4066
  19 # 1
  20 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 383 383 3333 3683 3716 4066
  21 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 3333 3683 450 450 3333 3683 3783 4133
  22 # 2
  23 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4966 3683 383 383 4966 3683 5349 4066
  24 # 3
  25 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 383 383 6966 3683 7349 4066
  26 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 6966 3683 450 450 6966 3683 7416 4133
  27 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  28          766 3616 933 3683 766 3733 766 3616
  29 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  30          3050 3183 3016 3350 2950 3183 3050 3183
  31 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  32          4400 3616 4566 3683 4400 3733 4400 3616
  33 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  34          6683 3183 6650 3350 6583 3183 6683 3183
  35 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  36          2700 3616 2866 3683 2700 3733 2700 3616
  37 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  38          6333 3616 6500 3683 6333 3733 6333 3616
  39 2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
  40          7515 2655 -45 2655 -45 4230 7515 4230 7515 2655
  41 # ENTRY -> 0
  42 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  43          66 3683 139 3683 237 3683 354 3683 485 3683 624 3683
  44          766 3683
  45          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  46 # 1 -> 1
  47 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  48          3650 3350 3675 3243 3667 3145 3629 3060 3559 2993 3460 2949
  49          3333 2933 3239 2941 3158 2964 3091 3002 3041 3051 3010 3112
  50          3000 3183
  51          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  52          1.000 1.000 1.000 1.000 0.000
  53 # 1 -> 2
  54 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  55          3800 3683 3894 3683 3992 3683 4093 3683 4196 3683 4298 3683
  56          4400 3683
  57          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  58 # 3 -> 3
  59 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  60          7283 3350 7308 3243 7301 3145 7262 3060 7193 2993 7094 2949
  61          6966 2933 6872 2941 6791 2964 6725 3002 6675 3051 6644 3112
  62          6633 3183
  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 -> 1
  66 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  67          1733 3683 1881 3683 2039 3683 2204 3683 2371 3683 2538 3683
  68          2700 3683
  69          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  70 # 2 -> 3
  71 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  72          5366 3683 5514 3683 5672 3683 5837 3683 6004 3683 6171 3683
  73          6333 3683
  74          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  75 4 1 0 0 0 0 14 0.0000 2 150 120 1333 3766 0\001
  76 4 1 0 0 0 0 14 0.0000 2 150 255 500 3633 IN\001
  77 4 1 0 0 0 0 14 0.0000 2 165 120 3333 3766 1\001
  78 4 1 0 0 0 0 14 0.0000 2 150 540 3333 2883 '0'..'9'\001
  79 4 1 0 0 0 0 14 0.0000 2 150 120 4966 3766 2\001
  80 4 1 0 0 0 0 14 0.0000 2 150 150 4183 3633 '.'\001
  81 4 1 0 0 0 0 14 0.0000 2 150 120 6966 3766 3\001
  82 4 1 0 0 0 0 14 0.0000 2 150 540 6966 2883 '0'..'9'\001
  83 4 1 0 0 0 0 14 0.0000 2 150 540 2300 3633 '0'..'9'\001
  84 4 1 0 0 0 0 14 0.0000 2 150 540 5933 3633 '0'..'9'\001