]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/whelp-bw.eps
4647a9594772b88e46cd2098542c731b89bce4a6
[helm.git] / helm / papers / whelp / whelp-bw.eps
1 %!PS-Adobe-2.0
2 %%Creator: inkscape 0.41
3 %%Pages: 1
4 %%Orientation: Portrait
5 %%BoundingBox: 46 239 553 716
6 %%HiResBoundingBox: 46.957585 239.70075 552.18831 715.78839
7 %%EndComments
8 %%Page: 1 1
9 0 842 translate
10 0.80000000 -0.80000000 scale
11 gsave [1.0000000 0.0000000 0.0000000 1.0000000 0.0000000 0.0000000] concat
12 gsave [3.0924450 0.0000000 0.0000000 3.2441020 -664.23500 -1140.8700] concat
13 0.0000000 0.0000000 0.0000000 setrgbcolor
14 [] 0 setdash
15 1.0000000 setlinewidth
16 0 setlinejoin
17 0 setlinecap
18 newpath
19 277.14285 465.21933 moveto
20 277.14285 475.47076 267.54285 483.79076 255.71428 483.79076 curveto
21 243.88571 483.79076 234.28571 475.47076 234.28571 465.21933 curveto
22 234.28571 454.96790 243.88571 446.64790 255.71428 446.64790 curveto
23 267.54285 446.64790 277.14285 454.96790 277.14285 465.21933 curveto
24 closepath
25 stroke
26 grestore
27 gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
28 0.0000000 0.0000000 0.0000000 setrgbcolor
29 newpath
30 122.69571 344.82451 moveto
31 130.60260 336.12694 138.59737 331.77814 146.68005 331.77809 curveto
32 151.95127 331.77814 155.53135 333.49130 157.42029 336.91759 curveto
33 158.73804 339.33363 159.39695 343.33102 159.39702 348.90976 curveto
34 159.39695 361.38515 156.87113 374.87083 151.81955 389.36686 curveto
35 151.29236 389.54256 150.89702 389.63041 150.63351 389.63042 curveto
36 149.62312 389.63041 148.52494 388.94954 147.33896 387.58780 curveto
37 145.75752 385.69892 144.83505 384.66663 144.57153 384.49092 curveto
38 148.78850 370.12668 150.89702 357.98078 150.89707 348.05317 curveto
39 150.89702 344.27546 150.26007 342.38658 148.98623 342.38654 curveto
40 141.03533 342.38658 131.28347 351.21597 119.73061 368.87474 curveto
41 119.73058 368.91868 118.83007 371.62021 117.02908 376.97934 curveto
42 116.01873 380.01033 114.61305 381.45993 112.81205 381.32815 curveto
43 112.15314 381.26226 lineto
44 107.27720 375.59563 lineto
45 108.24359 370.58792 109.56141 358.63969 111.23066 339.75090 curveto
46 112.54847 324.90351 114.74483 313.10903 117.81977 304.36741 curveto
47 122.03677 306.60778 124.14528 309.96822 124.14531 314.44874 curveto
48 124.14528 316.86481 123.53030 320.46685 122.30036 325.25487 curveto
49 121.11429 329.99908 120.52128 333.60112 120.52130 336.06100 curveto
50 120.52128 339.31167 121.24608 342.23284 122.69571 344.82451 curveto
51 fill
52 grestore
53 gsave [3.5770410 0.0000000 0.0000000 3.7645230 -662.71910 -1480.8770] concat
54 0.0000000 0.0000000 0.0000000 setrgbcolor
55 [] 0 setdash
56 1.0000000 setlinewidth
57 0 setlinejoin
58 0 setlinecap
59 newpath
60 277.14285 465.21933 moveto
61 277.14285 475.47076 267.54285 483.79076 255.71428 483.79076 curveto
62 243.88571 483.79076 234.28571 475.47076 234.28571 465.21933 curveto
63 234.28571 454.96790 243.88571 446.64790 255.71428 446.64790 curveto
64 267.54285 446.64790 277.14285 454.96790 277.14285 465.21933 curveto
65 closepath
66 stroke
67 grestore
68 gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
69 0.0000000 0.0000000 0.0000000 setrgbcolor
70 newpath
71 300.44777 235.24770 moveto
72 300.44769 237.48804 299.41540 239.92601 297.35089 242.56161 curveto
73 285.00724 249.85358 272.00475 253.49955 258.34339 253.49952 curveto
74 255.83950 253.49955 253.26975 253.36776 250.63414 253.10417 curveto
75 248.39382 254.68558 247.27367 256.83802 247.27369 259.56150 curveto
76 247.27367 262.37286 248.41578 264.63512 250.70003 266.34827 curveto
77 252.72066 267.92967 255.18059 268.72036 258.07983 268.72035 curveto
78 262.16503 268.72036 268.60038 266.94131 277.38590 263.38318 curveto
79 286.17131 259.82508 292.43095 258.04602 296.16485 258.04600 curveto
80 298.31721 258.04602 300.07431 258.55119 301.43613 259.56150 curveto
81 286.50077 272.69578 272.90526 279.26292 260.64958 279.26292 curveto
82 253.75295 279.26292 248.34989 277.65957 244.44038 274.45287 curveto
83 240.22334 270.98262 238.11483 265.88705 238.11484 259.16615 curveto
84 238.11483 258.15584 238.15875 256.68428 238.24662 254.75145 curveto
85 238.33446 252.77475 238.37839 251.28122 238.37840 250.27086 curveto
86 238.37839 247.19598 237.93912 244.88979 237.06058 243.35230 curveto
87 240.92617 242.69343 245.42872 239.99190 250.56825 235.24770 curveto
88 256.05913 230.19610 260.18830 227.23101 262.95576 226.35241 curveto
89 267.52416 224.90286 272.64170 224.17806 278.30838 224.17801 curveto
90 282.92069 224.17806 287.37931 224.94679 291.68426 226.48419 curveto
91 297.52652 228.59276 300.44769 231.51392 300.44777 235.24770 curveto
92 290.89356 235.24770 moveto
93 287.64288 233.62244 284.04084 232.80978 280.08743 232.80973 curveto
94 276.44141 232.80978 272.68562 233.53458 268.82007 234.98414 curveto
95 264.47122 236.60949 261.35238 238.71800 259.46354 241.30968 curveto
96 258.45317 242.71539 257.94801 243.81357 257.94804 244.60423 curveto
97 257.94801 246.09779 259.28779 246.84456 261.96740 246.84453 curveto
98 266.05260 246.84456 271.14817 245.61459 277.25412 243.15463 curveto
99 283.35996 240.69473 287.90644 238.05909 290.89356 235.24770 curveto
100 fill
101 grestore
102 gsave [3.5369150 0.0000000 0.0000000 3.9726750 -640.96300 -1524.0820] concat
103 0.0000000 0.0000000 0.0000000 setrgbcolor
104 [] 0 setdash
105 1.0000000 setlinewidth
106 0 setlinejoin
107 0 setlinecap
108 newpath
109 322.85714 442.36218 moveto
110 322.85714 452.61361 312.61714 460.93361 300.00000 460.93361 curveto
111 287.38286 460.93361 277.14286 452.61361 277.14286 442.36218 curveto
112 277.14286 432.11075 287.38286 423.79075 300.00000 423.79075 curveto
113 312.61714 423.79075 322.85714 432.11075 322.85714 442.36218 curveto
114 closepath
115 stroke
116 grestore
117 gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
118 0.0000000 0.0000000 0.0000000 setrgbcolor
119 newpath
120 460.04320 185.06070 moveto
121 460.04316 191.07883 457.60520 195.73513 452.72930 199.02960 curveto
122 450.57683 218.53340 448.68795 239.59655 447.06267 262.21911 curveto
123 448.29261 263.36123 448.90759 264.74494 448.90761 266.37025 curveto
124 448.90759 267.81985 448.46832 269.15964 447.58979 270.38960 curveto
125 446.57944 271.75135 445.37144 272.43222 443.96579 272.43223 curveto
126 442.29653 272.43222 440.89085 271.44386 439.74876 269.46713 curveto
127 440.40765 247.54740 441.52780 228.30723 443.10920 211.74658 curveto
128 443.54846 205.86037 444.58075 197.58007 446.20608 186.90565 curveto
129 446.60140 185.19257 447.89726 183.41351 450.09365 181.56848 curveto
130 452.28999 179.72362 454.24476 178.80114 455.95796 178.80105 curveto
131 458.68142 178.80114 460.04316 180.88769 460.04320 185.06070 curveto
132 fill
133 grestore
134 gsave [3.7509660 0.0000000 0.0000000 3.9726750 -747.77890 -1446.6150] concat
135 0.0000000 0.0000000 0.0000000 setrgbcolor
136 [] 0 setdash
137 1.0000000 setlinewidth
138 0 setlinejoin
139 0 setlinecap
140 newpath
141 382.85716 436.64789 moveto
142 382.85716 448.47646 371.97716 458.07646 358.57144 458.07646 curveto
143 345.16573 458.07646 334.28573 448.47646 334.28573 436.64789 curveto
144 334.28573 424.81932 345.16573 415.21932 358.57144 415.21932 curveto
145 371.97716 415.21932 382.85716 424.81932 382.85716 436.64789 curveto
146 closepath
147 stroke
148 grestore
149 gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
150 0.0000000 0.0000000 0.0000000 setrgbcolor
151 newpath
152 646.96145 287.19182 moveto
153 640.32838 287.19181 633.45375 285.06134 626.33755 280.80038 curveto
154 624.27294 287.87269 622.23032 294.92302 620.20969 301.95141 curveto
155 617.04690 311.48362 613.95002 317.72130 610.91905 320.66447 curveto
156 606.87772 320.00552 604.85707 317.96290 604.85707 314.53660 curveto
157 604.85707 313.04304 605.84543 309.46296 607.82217 303.79636 curveto
158 611.95133 292.02382 614.01591 282.38177 614.01593 274.87019 curveto
159 614.01591 272.36634 613.84020 269.99427 613.48880 267.75396 curveto
160 616.43192 265.29405 619.08952 260.52793 621.46162 253.45560 curveto
161 624.84400 243.48413 626.84269 237.90536 627.45770 236.71928 curveto
162 630.13724 231.31627 633.62946 228.61474 637.93438 228.61468 curveto
163 644.87485 228.61474 651.28824 232.98550 657.17456 241.72700 curveto
164 662.53364 249.72181 665.21320 257.38713 665.21327 264.72297 curveto
165 665.21320 269.77463 664.13698 274.38700 661.98461 278.56009 curveto
166 659.39283 283.47996 655.83472 286.26934 651.31026 286.92825 curveto
167 650.12417 287.10396 648.67457 287.19181 646.96145 287.19182 curveto
168 641.69017 240.54096 moveto
169 637.47310 240.54100 634.20052 244.38464 631.87240 252.07189 curveto
170 630.68633 257.78247 629.50029 263.49303 628.31428 269.20356 curveto
171 634.55193 273.64024 640.17463 275.85857 645.18239 275.85856 curveto
172 648.38904 275.85857 650.93682 274.80431 652.82575 272.69579 curveto
173 654.75850 270.58729 655.72490 267.92968 655.72496 264.72297 curveto
174 655.72490 260.54990 654.36315 255.67396 651.63971 250.09516 curveto
175 648.56475 243.72573 645.24824 240.54100 641.69017 240.54096 curveto
176 fill
177 grestore
178 gsave [3.5369150 0.0000000 0.0000000 3.9726750 -775.36580 -1500.2460] concat
179 0.0000000 0.0000000 0.0000000 setrgbcolor
180 [] 0 setdash
181 1.0000000 setlinewidth
182 0 setlinejoin
183 0 setlinecap
184 newpath
185 394.28573 513.79077 moveto
186 394.28573 542.96791 364.84573 566.64791 328.57144 566.64791 curveto
187 292.29716 566.64791 262.85715 542.96791 262.85715 513.79077 curveto
188 262.85715 484.61363 292.29716 460.93363 328.57144 460.93363 curveto
189 364.84573 460.93363 394.28573 484.61363 394.28573 513.79077 curveto
190 closepath
191 stroke
192 grestore
193 gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
194 0.0000000 0.0000000 0.0000000 setrgbcolor
195 newpath
196 487.40984 460.40450 moveto
197 487.40968 510.61843 473.47007 547.40023 445.59100 570.75003 curveto
198 438.87487 576.37274 434.07215 579.18409 431.18282 579.18408 curveto
199 428.68373 579.18409 425.83334 578.12983 422.63163 576.02131 curveto
200 408.49669 566.80635 401.27309 550.64109 400.96080 527.52551 curveto
201 386.12304 553.92100 374.60433 573.60044 366.40461 586.56388 curveto
202 360.00093 586.56388 355.31535 583.94776 352.34785 578.71552 curveto
203 350.23931 574.96707 348.95077 569.03200 348.48224 560.91030 curveto
204 348.40412 556.69330 348.16984 550.36777 347.77940 541.93368 curveto
205 347.31082 534.28061 345.28040 521.27812 341.68814 502.92618 curveto
206 338.48631 486.29245 336.88540 473.17283 336.88542 463.56727 curveto
207 336.88540 451.38488 338.09584 442.48228 340.51675 436.85943 curveto
208 340.98528 435.68818 342.19573 435.10249 344.14808 435.10234 curveto
209 344.77280 435.10249 345.63182 435.18058 346.72515 435.33662 curveto
210 347.89652 435.41486 348.71649 435.45391 349.18508 435.45376 curveto
211 353.71445 447.71451 356.72103 466.41778 358.20483 491.56364 curveto
212 359.76665 517.41252 362.49991 536.15484 366.40461 547.79066 curveto
213 371.63679 540.76233 378.39184 528.15031 386.66976 509.95456 curveto
214 394.40090 493.00845 401.58546 480.66976 408.22345 472.93844 curveto
215 415.40792 476.45274 419.00020 481.29450 419.00030 487.46375 curveto
216 419.00020 489.88473 418.49260 492.96941 417.47748 496.71778 curveto
217 416.30599 501.40345 415.60315 504.48813 415.36897 505.97181 curveto
218 414.58795 511.59459 414.19748 516.63159 414.19757 521.08283 curveto
219 414.19748 527.25224 415.21269 534.31965 417.24321 542.28510 curveto
220 419.89827 552.67151 423.29532 557.86470 427.43435 557.86467 curveto
221 430.16750 557.86470 433.33027 555.91237 436.92266 552.00769 curveto
222 459.64761 527.40842 471.01014 496.87406 471.01030 460.40450 curveto
223 471.01014 450.79918 470.22921 441.50611 468.66750 432.52527 curveto
224 467.02740 423.07616 466.20742 418.23440 466.20757 417.99995 curveto
225 466.20742 409.95654 469.01877 405.93475 474.64162 405.93457 curveto
226 478.23375 405.93475 481.04510 408.58991 483.07568 413.90006 curveto
227 485.96496 421.47526 487.40968 436.97672 487.40984 460.40450 curveto
228 fill
229 grestore
230 grestore
231 showpage