| 1 | #FIG 3.2 Produced by xfig version 3.2.5a |
|---|
| 2 | Landscape |
|---|
| 3 | Center |
|---|
| 4 | Inches |
|---|
| 5 | Letter |
|---|
| 6 | 100.00 |
|---|
| 7 | Single |
|---|
| 8 | -2 |
|---|
| 9 | 1200 2 |
|---|
| 10 | 6 9675 -6900 9900 -6375 |
|---|
| 11 | 6 9675 -6900 9900 -6375 |
|---|
| 12 | 6 9675 -6900 9900 -6375 |
|---|
| 13 | 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 |
|---|
| 14 | 9675 -6900 9900 -6900 9900 -6375 9675 -6375 9675 -6900 |
|---|
| 15 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 16 | 9675 -6900 9900 -6637 |
|---|
| 17 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 18 | 9675 -6375 9900 -6637 |
|---|
| 19 | -6 |
|---|
| 20 | -6 |
|---|
| 21 | -6 |
|---|
| 22 | 6 10275 -7050 10500 -6525 |
|---|
| 23 | 6 10275 -7050 10500 -6525 |
|---|
| 24 | 6 10275 -7050 10500 -6525 |
|---|
| 25 | 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 |
|---|
| 26 | 10275 -7050 10500 -7050 10500 -6525 10275 -6525 10275 -7050 |
|---|
| 27 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 28 | 10275 -7050 10500 -6787 |
|---|
| 29 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 30 | 10275 -6525 10500 -6787 |
|---|
| 31 | -6 |
|---|
| 32 | -6 |
|---|
| 33 | -6 |
|---|
| 34 | 6 11100 -7125 11475 -6375 |
|---|
| 35 | 6 11100 -7125 11475 -6375 |
|---|
| 36 | 6 11100 -7125 11475 -6375 |
|---|
| 37 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 38 | 11288 -6564 11100 -6375 |
|---|
| 39 | 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 |
|---|
| 40 | 11288 -6564 11475 -6375 |
|---|
| 41 | 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 |
|---|
| 42 | 11100 -7125 11475 -7125 11475 -6375 11100 -6375 11100 -7125 |
|---|
| 43 | -6 |
|---|
| 44 | -6 |
|---|
| 45 | -6 |
|---|
| 46 | 6 10177 -7867 10627 -7417 |
|---|
| 47 | 6 10177 -7867 10627 -7417 |
|---|
| 48 | 2 3 0 1 0 7 49 -1 -1 0.000 0 0 -1 0 0 6 |
|---|
| 49 | 10403 -7867 10177 -7643 10403 -7417 10627 -7643 10403 -7867 10403 -7867 |
|---|
| 50 | -6 |
|---|
| 51 | 4 1 0 49 -1 0 8 0.0000 4 90 300 10437 -7602 leaf ?\001 |
|---|
| 52 | -6 |
|---|
| 53 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 2 |
|---|
| 54 | 0 0 1.00 60.00 120.00 |
|---|
| 55 | 9900 -6600 10275 -6600 |
|---|
| 56 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 3 |
|---|
| 57 | 0 0 1.00 60.00 120.00 |
|---|
| 58 | 10050 -7200 10050 -6900 10275 -6900 |
|---|
| 59 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 4 |
|---|
| 60 | 0 0 1.00 60.00 120.00 |
|---|
| 61 | 9075 -6450 9450 -6450 9450 -6600 9675 -6600 |
|---|
| 62 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 4 |
|---|
| 63 | 0 0 1.00 60.00 120.00 |
|---|
| 64 | 9150 -6900 9450 -6900 9450 -6750 9675 -6750 |
|---|
| 65 | 2 2 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 5 |
|---|
| 66 | 8850 -6600 9150 -6600 9150 -6300 8850 -6300 8850 -6600 |
|---|
| 67 | 2 2 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 5 |
|---|
| 68 | 8850 -6975 9150 -6975 9150 -6675 8850 -6675 8850 -6975 |
|---|
| 69 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 2 |
|---|
| 70 | 0 0 1.00 60.00 120.00 |
|---|
| 71 | 10399 -7413 10399 -7031 |
|---|
| 72 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 2 |
|---|
| 73 | 0 0 1.00 60.00 120.00 |
|---|
| 74 | 10500 -6750 11100 -6750 |
|---|
| 75 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 76 | 10772 -6797 10659 -6684 |
|---|
| 77 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 7 1 0 2 |
|---|
| 78 | 0 0 1.00 60.00 120.00 |
|---|
| 79 | 11475 -6750 12000 -6750 |
|---|
| 80 | 2 2 0 1 0 7 49 -1 -1 0.000 0 0 -1 0 0 5 |
|---|
| 81 | 12000 -7200 13050 -7200 13050 -6375 12000 -6375 12000 -7200 |
|---|
| 82 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 3 |
|---|
| 83 | 0 0 1.00 60.00 120.00 |
|---|
| 84 | 11700 -6750 11700 -6000 10425 -6000 |
|---|
| 85 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 86 | 11166 -6047 11053 -5934 |
|---|
| 87 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 2 |
|---|
| 88 | 0 0 1.00 60.00 120.00 |
|---|
| 89 | 13050 -6750 13650 -6750 |
|---|
| 90 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 91 | 13358 -6799 13270 -6676 |
|---|
| 92 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 3 |
|---|
| 93 | 0 0 1.00 60.00 120.00 |
|---|
| 94 | 13200 -6750 13200 -7650 10650 -7650 |
|---|
| 95 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 96 | 13275 -7275 13162 -7162 |
|---|
| 97 | 2 2 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 5 |
|---|
| 98 | 9825 -6075 10425 -6075 10425 -5850 9825 -5850 9825 -6075 |
|---|
| 99 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 4 |
|---|
| 100 | 0 0 1.00 60.00 120.00 |
|---|
| 101 | 9825 -6000 8625 -6000 8625 -6825 8850 -6825 |
|---|
| 102 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 103 | 9263 -6038 9150 -5925 |
|---|
| 104 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 2 |
|---|
| 105 | 0 0 1.00 60.00 120.00 |
|---|
| 106 | 8625 -6450 8850 -6450 |
|---|
| 107 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 1 0 3 |
|---|
| 108 | 0 0 1.00 60.00 120.00 |
|---|
| 109 | 8250 -7200 9750 -7200 9750 -6900 |
|---|
| 110 | 2 1 0 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 2 |
|---|
| 111 | 9188 -7238 9075 -7125 |
|---|
| 112 | 2 2 2 1 0 7 49 -1 -1 3.000 0 0 -1 0 0 5 |
|---|
| 113 | 8409 -7937 13500 -7937 13500 -5775 8409 -5775 8409 -7937 |
|---|
| 114 | 4 1 0 49 -1 0 12 0.0000 4 135 210 9000 -6750 +1\001 |
|---|
| 115 | 4 1 0 49 -1 0 12 0.0000 4 135 210 9000 -6375 +2\001 |
|---|
| 116 | 4 1 0 49 -1 0 12 0.0000 4 135 105 10050 -7275 0\001 |
|---|
| 117 | 4 1 0 49 -1 0 10 0.0000 4 90 300 11325 -7275 state\001 |
|---|
| 118 | 4 1 0 49 -1 0 10 0.0000 4 105 180 10725 -6525 10\001 |
|---|
| 119 | 4 1 0 49 -1 0 12 0.0000 4 135 690 12525 -6600 function\001 |
|---|
| 120 | 4 1 0 49 -1 0 12 0.0000 4 135 345 12525 -6825 map\001 |
|---|
| 121 | 4 1 0 49 -1 0 10 0.0000 4 105 90 11090 -5793 9\001 |
|---|
| 122 | 4 1 0 49 -1 0 10 0.0000 4 105 180 13276 -6528 10\001 |
|---|
| 123 | 4 1 0 49 -1 0 10 0.0000 4 135 345 13800 -6900 plain\001 |
|---|
| 124 | 4 1 0 49 -1 0 10 0.0000 4 105 180 13350 -7050 10\001 |
|---|
| 125 | 4 1 0 49 -1 0 10 0.0000 4 105 300 10125 -5925 shift\001 |
|---|
| 126 | 4 1 0 49 -1 0 10 0.0000 4 105 180 9300 -5850 10\001 |
|---|
| 127 | 4 1 0 49 -1 0 10 0.0000 4 135 435 8100 -7275 cipher\001 |
|---|
| 128 | 4 1 0 49 -1 0 10 0.0000 4 105 90 9300 -7275 1\001 |
|---|
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
