doc/exnegate.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: exnegate
  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 1400 3683 383 383 1400 3683 1783 4066
  19 1 1 0 1 0 32 0 0 -1 0.000 0 0.0000 1400 3683 450 450 1400 3683 1850 4133
  20 # 1
  21 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 383 383 4400 3683 4783 4066
  22 1 1 0 1 0 0 0 0 -1 0.000 0 0.0000 4400 3683 450 450 4400 3683 4850 4133
  23 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  24          766 3616 933 3683 766 3733 766 3616
  25 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  26          3766 3616 3933 3683 3766 3733 3766 3616
  27 2 3 0 1 0 0 0 0 20 0.000 0 0 0 0 0 4
  28          4116 3183 4083 3350 4016 3183 4116 3183
  29 2 2 0 0 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
  30          4950 2655 -90 2655 -90 4230 4950 4230 4950 2655
  31 # ENTRY -> 0
  32 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  33          66 3683 132 3683 225 3683 341 3683 474 3683 617 3683
  34          766 3683
  35          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  36 # 0 -> 1
  37 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 7
  38          1866 3683 2147 3683 2462 3683 2797 3683 3137 3683 3465 3683
  39          3766 3683
  40          0.000 1.000 1.000 1.000 1.000 1.000 0.000
  41 # 1 -> 1
  42 3 4 0 1 0 0 0 0 -1 0.000 0 0 0 13
  43          4716 3350 4741 3243 4734 3145 4695 3060 4626 2993 4527 2949
  44          4400 2933 4305 2941 4224 2964 4158 3002 4108 3051 4077 3112
  45          4066 3183
  46          0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
  47          1.000 1.000 1.000 1.000 0.000
  48 4 1 0 0 0 0 14 0.0000 2 150 120 1400 3766 0\001
  49 4 1 0 0 0 0 14 0.0000 2 150 255 500 3633 IN\001
  50 4 1 0 0 0 0 14 0.0000 2 165 120 4400 3766 1\001
  51 4 1 0 0 0 0 14 0.0000 2 195 1455 2900 3633 -128..'/', ':'..127\001
  52 4 1 0 0 0 0 14 0.0000 2 150 465 4400 2883 DEF\001