]> AND Private Git Repository - hdrcouchot.git/blob - images/para_iterate_dec.eps
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
preuve promela traduite
[hdrcouchot.git] / images / para_iterate_dec.eps
1 %!PS-Adobe-3.0 EPSF-3.0
2 %%Creator: Graphviz version 2.20.2 (Tue Mar  2 21:46:26 UTC 2010)
3 %%For: (couchot) couchot,,,
4 %%Title: G
5 %%Pages: (atend)
6 %%BoundingBox: (atend)
7 %%EndComments
8 save
9 %%BeginProlog
10 /DotDict 200 dict def
11 DotDict begin
12
13 /setupLatin1 {
14 mark
15 /EncodingVector 256 array def
16  EncodingVector 0
17
18 ISOLatin1Encoding 0 255 getinterval putinterval
19 EncodingVector 45 /hyphen put
20
21 % Set up ISO Latin 1 character encoding
22 /starnetISO {
23         dup dup findfont dup length dict begin
24         { 1 index /FID ne { def }{ pop pop } ifelse
25         } forall
26         /Encoding EncodingVector def
27         currentdict end definefont
28 } def
29 /Times-Roman starnetISO def
30 /Times-Italic starnetISO def
31 /Times-Bold starnetISO def
32 /Times-BoldItalic starnetISO def
33 /Helvetica starnetISO def
34 /Helvetica-Oblique starnetISO def
35 /Helvetica-Bold starnetISO def
36 /Helvetica-BoldOblique starnetISO def
37 /Courier starnetISO def
38 /Courier-Oblique starnetISO def
39 /Courier-Bold starnetISO def
40 /Courier-BoldOblique starnetISO def
41 cleartomark
42 } bind def
43
44 %%BeginResource: procset graphviz 0 0
45 /coord-font-family /Times-Roman def
46 /default-font-family /Times-Roman def
47 /coordfont coord-font-family findfont 8 scalefont def
48
49 /InvScaleFactor 1.0 def
50 /set_scale {
51        dup 1 exch div /InvScaleFactor exch def
52        scale
53 } bind def
54
55 % styles
56 /solid { [] 0 setdash } bind def
57 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
58 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
59 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
60 /bold { 2 setlinewidth } bind def
61 /filled { } bind def
62 /unfilled { } bind def
63 /rounded { } bind def
64 /diagonals { } bind def
65
66 % hooks for setting color 
67 /nodecolor { sethsbcolor } bind def
68 /edgecolor { sethsbcolor } bind def
69 /graphcolor { sethsbcolor } bind def
70 /nopcolor {pop pop pop} bind def
71
72 /beginpage {    % i j npages
73         /npages exch def
74         /j exch def
75         /i exch def
76         /str 10 string def
77         npages 1 gt {
78                 gsave
79                         coordfont setfont
80                         0 0 moveto
81                         (\() show i str cvs show (,) show j str cvs show (\)) show
82                 grestore
83         } if
84 } bind def
85
86 /set_font {
87         findfont exch
88         scalefont setfont
89 } def
90
91 % draw text fitted to its expected width
92 /alignedtext {                  % width text
93         /text exch def
94         /width exch def
95         gsave
96                 width 0 gt {
97                         [] 0 setdash
98                         text stringwidth pop width exch sub text length div 0 text ashow
99                 } if
100         grestore
101 } def
102
103 /boxprim {                              % xcorner ycorner xsize ysize
104                 4 2 roll
105                 moveto
106                 2 copy
107                 exch 0 rlineto
108                 0 exch rlineto
109                 pop neg 0 rlineto
110                 closepath
111 } bind def
112
113 /ellipse_path {
114         /ry exch def
115         /rx exch def
116         /y exch def
117         /x exch def
118         matrix currentmatrix
119         newpath
120         x y translate
121         rx ry scale
122         0 0 1 0 360 arc
123         setmatrix
124 } bind def
125
126 /endpage { showpage } bind def
127 /showpage { } def
128
129 /layercolorseq
130         [       % layer color sequence - darkest to lightest
131                 [0 0 0]
132                 [.2 .8 .8]
133                 [.4 .8 .8]
134                 [.6 .8 .8]
135                 [.8 .8 .8]
136         ]
137 def
138
139 /layerlen layercolorseq length def
140
141 /setlayer {/maxlayer exch def /curlayer exch def
142         layercolorseq curlayer 1 sub layerlen mod get
143         aload pop sethsbcolor
144         /nodecolor {nopcolor} def
145         /edgecolor {nopcolor} def
146         /graphcolor {nopcolor} def
147 } bind def
148
149 /onlayer { curlayer ne {invis} if } def
150
151 /onlayers {
152         /myupper exch def
153         /mylower exch def
154         curlayer mylower lt
155         curlayer myupper gt
156         or
157         {invis} if
158 } def
159
160 /curlayer 0 def
161
162 %%EndResource
163 %%EndProlog
164 %%BeginSetup
165 14 default-font-family set_font
166 1 setmiterlimit
167 % /arrowlength 10 def
168 % /arrowwidth 5 def
169
170 % make sure pdfmark is harmless for PS-interpreters other than Distiller
171 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
172 % make '<<' and '>>' safe on PS Level 1 devices
173 /languagelevel where {pop languagelevel}{1} ifelse
174 2 lt {
175     userdict (<<) cvn ([) cvn load put
176     userdict (>>) cvn ([) cvn load put
177 } if
178
179 %%EndSetup
180 setupLatin1
181 %%Page: 1 1
182 %%PageBoundingBox: 36 36 463 333
183 %%PageOrientation: Portrait
184 0 0 1 beginpage
185 gsave
186 36 36 427 297 boxprim clip newpath
187 1 1 set_scale 0 rotate 40 40 translate
188 % 0
189 gsave
190 0.000 0.000 0.000 nodecolor
191 14 /Times-Roman set_font
192 400.5 113.9 moveto 9 (0) alignedtext
193 grestore
194 % 9
195 gsave
196 0.000 0.000 0.000 nodecolor
197 14 /Times-Roman set_font
198 369.5 59.9 moveto 9 (9) alignedtext
199 grestore
200 % 0->9
201 gsave
202 1 setlinewidth
203 0.000 0.000 0.000 edgecolor
204 newpath 401 111 moveto
205 396 103 389 90 383 80 curveto
206 stroke
207 0.000 0.000 0.000 edgecolor
208 newpath 385.92 78.04 moveto
209 378 71 lineto
210 379.8 81.44 lineto
211 closepath fill
212 1 setlinewidth
213 solid
214 0.000 0.000 0.000 edgecolor
215 newpath 385.92 78.04 moveto
216 378 71 lineto
217 379.8 81.44 lineto
218 closepath stroke
219 grestore
220 % 1
221 gsave
222 0.000 0.000 0.000 nodecolor
223 14 /Times-Roman set_font
224 58.5 113.9 moveto 9 (1) alignedtext
225 grestore
226 % 11
227 gsave
228 0.000 0.000 0.000 nodecolor
229 14 /Times-Roman set_font
230 133 59.9 moveto 18 (11) alignedtext
231 grestore
232 % 1->11
233 gsave
234 1 setlinewidth
235 0.000 0.000 0.000 edgecolor
236 newpath 67 115 moveto
237 78 108 106 89 125 76 curveto
238 stroke
239 0.000 0.000 0.000 edgecolor
240 newpath 127.1 78.8 moveto
241 133 70 lineto
242 122.9 73.2 lineto
243 closepath fill
244 1 setlinewidth
245 solid
246 0.000 0.000 0.000 edgecolor
247 newpath 127.1 78.8 moveto
248 133 70 lineto
249 122.9 73.2 lineto
250 closepath stroke
251 grestore
252 % 2
253 gsave
254 0.000 0.000 0.000 nodecolor
255 14 /Times-Roman set_font
256 369.5 113.9 moveto 9 (2) alignedtext
257 grestore
258 % 2->9
259 gsave
260 1 setlinewidth
261 0.000 0.000 0.000 edgecolor
262 newpath 374 109 moveto
263 374 102 374 92 374 83 curveto
264 stroke
265 0.000 0.000 0.000 edgecolor
266 newpath 377.5 83 moveto
267 374 73 lineto
268 370.5 83 lineto
269 closepath fill
270 1 setlinewidth
271 solid
272 0.000 0.000 0.000 edgecolor
273 newpath 377.5 83 moveto
274 374 73 lineto
275 370.5 83 lineto
276 closepath stroke
277 grestore
278 % 3
279 gsave
280 0.000 0.000 0.000 nodecolor
281 14 /Times-Roman set_font
282 137.5 113.9 moveto 9 (3) alignedtext
283 grestore
284 % 3->11
285 gsave
286 1 setlinewidth
287 0.000 0.000 0.000 edgecolor
288 newpath 142 109 moveto
289 142 102 142 92 142 83 curveto
290 stroke
291 0.000 0.000 0.000 edgecolor
292 newpath 145.5 83 moveto
293 142 73 lineto
294 138.5 83 lineto
295 closepath fill
296 1 setlinewidth
297 solid
298 0.000 0.000 0.000 edgecolor
299 newpath 145.5 83 moveto
300 142 73 lineto
301 138.5 83 lineto
302 closepath stroke
303 grestore
304 % 4
305 gsave
306 0.000 0.000 0.000 nodecolor
307 14 /Times-Roman set_font
308 230.5 275.9 moveto 9 (4) alignedtext
309 grestore
310 % 12
311 gsave
312 0.000 0.000 0.000 nodecolor
313 14 /Times-Roman set_font
314 226 221.9 moveto 18 (12) alignedtext
315 grestore
316 % 4->12
317 gsave
318 1 setlinewidth
319 0.000 0.000 0.000 edgecolor
320 newpath 235 271 moveto
321 235 264 235 254 235 245 curveto
322 stroke
323 0.000 0.000 0.000 edgecolor
324 newpath 238.5 245 moveto
325 235 235 lineto
326 231.5 245 lineto
327 closepath fill
328 1 setlinewidth
329 solid
330 0.000 0.000 0.000 edgecolor
331 newpath 238.5 245 moveto
332 235 235 lineto
333 231.5 245 lineto
334 closepath stroke
335 grestore
336 % 5
337 gsave
338 0.000 0.000 0.000 nodecolor
339 14 /Times-Roman set_font
340 266.5 275.9 moveto 9 (5) alignedtext
341 grestore
342 % 14
343 gsave
344 0.000 0.000 0.000 nodecolor
345 14 /Times-Roman set_font
346 262 221.9 moveto 18 (14) alignedtext
347 grestore
348 % 5->14
349 gsave
350 1 setlinewidth
351 0.000 0.000 0.000 edgecolor
352 newpath 271 271 moveto
353 271 264 271 254 271 245 curveto
354 stroke
355 0.000 0.000 0.000 edgecolor
356 newpath 274.5 245 moveto
357 271 235 lineto
358 267.5 245 lineto
359 closepath fill
360 1 setlinewidth
361 solid
362 0.000 0.000 0.000 edgecolor
363 newpath 274.5 245 moveto
364 271 235 lineto
365 267.5 245 lineto
366 closepath stroke
367 grestore
368 % 6
369 gsave
370 0.000 0.000 0.000 nodecolor
371 14 /Times-Roman set_font
372 302.5 221.9 moveto 9 (6) alignedtext
373 grestore
374 % 13
375 gsave
376 0.000 0.000 0.000 nodecolor
377 14 /Times-Roman set_font
378 298 167.9 moveto 18 (13) alignedtext
379 grestore
380 % 6->13
381 gsave
382 1 setlinewidth
383 0.000 0.000 0.000 edgecolor
384 newpath 307 217 moveto
385 307 210 307 200 307 191 curveto
386 stroke
387 0.000 0.000 0.000 edgecolor
388 newpath 310.5 191 moveto
389 307 181 lineto
390 303.5 191 lineto
391 closepath fill
392 1 setlinewidth
393 solid
394 0.000 0.000 0.000 edgecolor
395 newpath 310.5 191 moveto
396 307 181 lineto
397 303.5 191 lineto
398 closepath stroke
399 grestore
400 % 7
401 gsave
402 0.000 0.000 0.000 nodecolor
403 14 /Times-Roman set_font
404 338.5 167.9 moveto 9 (7) alignedtext
405 grestore
406 % 15
407 gsave
408 0.000 0.000 0.000 nodecolor
409 14 /Times-Roman set_font
410 334 113.9 moveto 18 (15) alignedtext
411 grestore
412 % 7->15
413 gsave
414 1 setlinewidth
415 0.000 0.000 0.000 edgecolor
416 newpath 343 163 moveto
417 343 156 343 146 343 137 curveto
418 stroke
419 0.000 0.000 0.000 edgecolor
420 newpath 346.5 137 moveto
421 343 127 lineto
422 339.5 137 lineto
423 closepath fill
424 1 setlinewidth
425 solid
426 0.000 0.000 0.000 edgecolor
427 newpath 346.5 137 moveto
428 343 127 lineto
429 339.5 137 lineto
430 closepath stroke
431 grestore
432 % 8
433 gsave
434 0.000 0.000 0.000 nodecolor
435 14 /Times-Roman set_font
436 163.5 113.9 moveto 9 (8) alignedtext
437 grestore
438 % 17
439 gsave
440 0.000 0.000 0.000 nodecolor
441 14 /Times-Roman set_font
442 244 59.9 moveto 18 (17) alignedtext
443 grestore
444 % 8->17
445 gsave
446 1 setlinewidth
447 0.000 0.000 0.000 edgecolor
448 newpath 172 115 moveto
449 175 113 178 111 181 109 curveto
450 199 97 220 84 235 75 curveto
451 stroke
452 0.000 0.000 0.000 edgecolor
453 newpath 236.96 77.92 moveto
454 244 70 lineto
455 233.56 71.8 lineto
456 closepath fill
457 1 setlinewidth
458 solid
459 0.000 0.000 0.000 edgecolor
460 newpath 236.96 77.92 moveto
461 244 70 lineto
462 233.56 71.8 lineto
463 closepath stroke
464 grestore
465 % 19
466 gsave
467 0.000 0.000 0.000 nodecolor
468 14 /Times-Roman set_font
469 271 5.9 moveto 18 (19) alignedtext
470 grestore
471 % 9->19
472 gsave
473 1 setlinewidth
474 0.000 0.000 0.000 edgecolor
475 newpath 370 62 moveto
476 358 54 320 33 298 20 curveto
477 stroke
478 0.000 0.000 0.000 edgecolor
479 newpath 299.44 16.8 moveto
480 289 15 lineto
481 296.04 22.92 lineto
482 closepath fill
483 1 setlinewidth
484 solid
485 0.000 0.000 0.000 edgecolor
486 newpath 299.44 16.8 moveto
487 289 15 lineto
488 296.04 22.92 lineto
489 closepath stroke
490 grestore
491 % 10
492 gsave
493 0.000 0.000 0.000 nodecolor
494 14 /Times-Roman set_font
495 190 113.9 moveto 18 (10) alignedtext
496 grestore
497 % 10->17
498 gsave
499 1 setlinewidth
500 0.000 0.000 0.000 edgecolor
501 newpath 208 109 moveto
502 216 101 227 90 237 80 curveto
503 stroke
504 0.000 0.000 0.000 edgecolor
505 newpath 239.4 82.55 moveto
506 244 73 lineto
507 234.45 77.6 lineto
508 closepath fill
509 1 setlinewidth
510 solid
511 0.000 0.000 0.000 edgecolor
512 newpath 239.4 82.55 moveto
513 244 73 lineto
514 234.45 77.6 lineto
515 closepath stroke
516 grestore
517 % 11->19
518 gsave
519 1 setlinewidth
520 0.000 0.000 0.000 edgecolor
521 newpath 151 60 moveto
522 173 51 231 29 261 18 curveto
523 stroke
524 0.000 0.000 0.000 edgecolor
525 newpath 263.02 20.96 moveto
526 271 14 lineto
527 260.42 14.46 lineto
528 closepath fill
529 1 setlinewidth
530 solid
531 0.000 0.000 0.000 edgecolor
532 newpath 263.02 20.96 moveto
533 271 14 lineto
534 260.42 14.46 lineto
535 closepath stroke
536 grestore
537 % 20
538 gsave
539 0.000 0.000 0.000 nodecolor
540 14 /Times-Roman set_font
541 226 167.9 moveto 18 (20) alignedtext
542 grestore
543 % 12->20
544 gsave
545 1 setlinewidth
546 0.000 0.000 0.000 edgecolor
547 newpath 235 217 moveto
548 235 210 235 200 235 191 curveto
549 stroke
550 0.000 0.000 0.000 edgecolor
551 newpath 238.5 191 moveto
552 235 181 lineto
553 231.5 191 lineto
554 closepath fill
555 1 setlinewidth
556 solid
557 0.000 0.000 0.000 edgecolor
558 newpath 238.5 191 moveto
559 235 181 lineto
560 231.5 191 lineto
561 closepath stroke
562 grestore
563 % 22
564 gsave
565 0.000 0.000 0.000 nodecolor
566 14 /Times-Roman set_font
567 298 113.9 moveto 18 (22) alignedtext
568 grestore
569 % 13->22
570 gsave
571 1 setlinewidth
572 0.000 0.000 0.000 edgecolor
573 newpath 307 163 moveto
574 307 156 307 146 307 137 curveto
575 stroke
576 0.000 0.000 0.000 edgecolor
577 newpath 310.5 137 moveto
578 307 127 lineto
579 303.5 137 lineto
580 closepath fill
581 1 setlinewidth
582 solid
583 0.000 0.000 0.000 edgecolor
584 newpath 310.5 137 moveto
585 307 127 lineto
586 303.5 137 lineto
587 closepath stroke
588 grestore
589 % 21
590 gsave
591 0.000 0.000 0.000 nodecolor
592 14 /Times-Roman set_font
593 262 167.9 moveto 18 (21) alignedtext
594 grestore
595 % 14->21
596 gsave
597 1 setlinewidth
598 0.000 0.000 0.000 edgecolor
599 newpath 271 217 moveto
600 271 210 271 200 271 191 curveto
601 stroke
602 0.000 0.000 0.000 edgecolor
603 newpath 274.5 191 moveto
604 271 181 lineto
605 267.5 191 lineto
606 closepath fill
607 1 setlinewidth
608 solid
609 0.000 0.000 0.000 edgecolor
610 newpath 274.5 191 moveto
611 271 181 lineto
612 267.5 191 lineto
613 closepath stroke
614 grestore
615 % 23
616 gsave
617 0.000 0.000 0.000 nodecolor
618 14 /Times-Roman set_font
619 298 59.9 moveto 18 (23) alignedtext
620 grestore
621 % 15->23
622 gsave
623 1 setlinewidth
624 0.000 0.000 0.000 edgecolor
625 newpath 337 109 moveto
626 332 102 325 91 319 81 curveto
627 stroke
628 0.000 0.000 0.000 edgecolor
629 newpath 321.8 78.9 moveto
630 313 73 lineto
631 316.2 83.1 lineto
632 closepath fill
633 1 setlinewidth
634 solid
635 0.000 0.000 0.000 edgecolor
636 newpath 321.8 78.9 moveto
637 313 73 lineto
638 316.2 83.1 lineto
639 closepath stroke
640 grestore
641 % 16
642 gsave
643 0.000 0.000 0.000 nodecolor
644 14 /Times-Roman set_font
645 226 113.9 moveto 18 (16) alignedtext
646 grestore
647 % 16->17
648 gsave
649 1 setlinewidth
650 0.000 0.000 0.000 edgecolor
651 newpath 238 109 moveto
652 240 102 244 92 247 83 curveto
653 stroke
654 0.000 0.000 0.000 edgecolor
655 newpath 250.48 83.58 moveto
656 250 73 lineto
657 243.77 81.57 lineto
658 closepath fill
659 1 setlinewidth
660 solid
661 0.000 0.000 0.000 edgecolor
662 newpath 250.48 83.58 moveto
663 250 73 lineto
664 243.77 81.57 lineto
665 closepath stroke
666 grestore
667 % 17->19
668 gsave
669 1 setlinewidth
670 0.000 0.000 0.000 edgecolor
671 newpath 257 55 moveto
672 261 48 267 37 271 28 curveto
673 stroke
674 0.000 0.000 0.000 edgecolor
675 newpath 274.2 29.44 moveto
676 276 19 lineto
677 268.08 26.04 lineto
678 closepath fill
679 1 setlinewidth
680 solid
681 0.000 0.000 0.000 edgecolor
682 newpath 274.2 29.44 moveto
683 276 19 lineto
684 268.08 26.04 lineto
685 closepath stroke
686 grestore
687 % 18
688 gsave
689 0.000 0.000 0.000 nodecolor
690 14 /Times-Roman set_font
691 262 113.9 moveto 18 (18) alignedtext
692 grestore
693 % 18->17
694 gsave
695 1 setlinewidth
696 0.000 0.000 0.000 edgecolor
697 newpath 268 109 moveto
698 266 102 262 92 259 83 curveto
699 stroke
700 0.000 0.000 0.000 edgecolor
701 newpath 262.23 81.57 moveto
702 256 73 lineto
703 255.52 83.58 lineto
704 closepath fill
705 1 setlinewidth
706 solid
707 0.000 0.000 0.000 edgecolor
708 newpath 262.23 81.57 moveto
709 256 73 lineto
710 255.52 83.58 lineto
711 closepath stroke
712 grestore
713 % 19->19
714 gsave
715 1 setlinewidth
716 0.000 0.000 0.000 edgecolor
717 newpath 289 18 moveto
718 298 22 307 19 307 10 curveto
719 307 5 304 1 299 0 curveto
720 stroke
721 0.000 0.000 0.000 edgecolor
722 newpath 298.12 -3.39 moveto
723 289 2 lineto
724 299.49 3.47 lineto
725 closepath fill
726 1 setlinewidth
727 solid
728 0.000 0.000 0.000 edgecolor
729 newpath 298.12 -3.39 moveto
730 289 2 lineto
731 299.49 3.47 lineto
732 closepath stroke
733 grestore
734 % 20->16
735 gsave
736 1 setlinewidth
737 0.000 0.000 0.000 edgecolor
738 newpath 235 163 moveto
739 235 156 235 146 235 137 curveto
740 stroke
741 0.000 0.000 0.000 edgecolor
742 newpath 238.5 137 moveto
743 235 127 lineto
744 231.5 137 lineto
745 closepath fill
746 1 setlinewidth
747 solid
748 0.000 0.000 0.000 edgecolor
749 newpath 238.5 137 moveto
750 235 127 lineto
751 231.5 137 lineto
752 closepath stroke
753 grestore
754 % 21->18
755 gsave
756 1 setlinewidth
757 0.000 0.000 0.000 edgecolor
758 newpath 271 163 moveto
759 271 156 271 146 271 137 curveto
760 stroke
761 0.000 0.000 0.000 edgecolor
762 newpath 274.5 137 moveto
763 271 127 lineto
764 267.5 137 lineto
765 closepath fill
766 1 setlinewidth
767 solid
768 0.000 0.000 0.000 edgecolor
769 newpath 274.5 137 moveto
770 271 127 lineto
771 267.5 137 lineto
772 closepath stroke
773 grestore
774 % 22->17
775 gsave
776 1 setlinewidth
777 0.000 0.000 0.000 edgecolor
778 newpath 298 109 moveto
779 290 101 279 90 269 80 curveto
780 stroke
781 0.000 0.000 0.000 edgecolor
782 newpath 271.55 77.6 moveto
783 262 73 lineto
784 266.6 82.55 lineto
785 closepath fill
786 1 setlinewidth
787 solid
788 0.000 0.000 0.000 edgecolor
789 newpath 271.55 77.6 moveto
790 262 73 lineto
791 266.6 82.55 lineto
792 closepath stroke
793 grestore
794 % 23->19
795 gsave
796 1 setlinewidth
797 0.000 0.000 0.000 edgecolor
798 newpath 303 55 moveto
799 299 48 293 37 289 28 curveto
800 stroke
801 0.000 0.000 0.000 edgecolor
802 newpath 291.92 26.04 moveto
803 284 19 lineto
804 285.8 29.44 lineto
805 closepath fill
806 1 setlinewidth
807 solid
808 0.000 0.000 0.000 edgecolor
809 newpath 291.92 26.04 moveto
810 284 19 lineto
811 285.8 29.44 lineto
812 closepath stroke
813 grestore
814 % 24
815 gsave
816 0.000 0.000 0.000 nodecolor
817 14 /Times-Roman set_font
818 0 167.9 moveto 18 (24) alignedtext
819 grestore
820 % 24->1
821 gsave
822 1 setlinewidth
823 0.000 0.000 0.000 edgecolor
824 newpath 18 163 moveto
825 27 154 42 139 52 129 curveto
826 stroke
827 0.000 0.000 0.000 edgecolor
828 newpath 54.4 131.55 moveto
829 59 122 lineto
830 49.45 126.6 lineto
831 closepath fill
832 1 setlinewidth
833 solid
834 0.000 0.000 0.000 edgecolor
835 newpath 54.4 131.55 moveto
836 59 122 lineto
837 49.45 126.6 lineto
838 closepath stroke
839 grestore
840 % 25
841 gsave
842 0.000 0.000 0.000 nodecolor
843 14 /Times-Roman set_font
844 108 167.9 moveto 18 (25) alignedtext
845 grestore
846 % 25->3
847 gsave
848 1 setlinewidth
849 0.000 0.000 0.000 edgecolor
850 newpath 121 163 moveto
851 125 156 129 145 134 136 curveto
852 stroke
853 0.000 0.000 0.000 edgecolor
854 newpath 137.14 137.56 moveto
855 138 127 lineto
856 130.74 134.72 lineto
857 closepath fill
858 1 setlinewidth
859 solid
860 0.000 0.000 0.000 edgecolor
861 newpath 137.14 137.56 moveto
862 138 127 lineto
863 130.74 134.72 lineto
864 closepath stroke
865 grestore
866 % 26
867 gsave
868 0.000 0.000 0.000 nodecolor
869 14 /Times-Roman set_font
870 36 167.9 moveto 18 (26) alignedtext
871 grestore
872 % 26->1
873 gsave
874 1 setlinewidth
875 0.000 0.000 0.000 edgecolor
876 newpath 48 163 moveto
877 50 156 54 146 57 137 curveto
878 stroke
879 0.000 0.000 0.000 edgecolor
880 newpath 60.48 137.58 moveto
881 60 127 lineto
882 53.77 135.57 lineto
883 closepath fill
884 1 setlinewidth
885 solid
886 0.000 0.000 0.000 edgecolor
887 newpath 60.48 137.58 moveto
888 60 127 lineto
889 53.77 135.57 lineto
890 closepath stroke
891 grestore
892 % 27
893 gsave
894 0.000 0.000 0.000 nodecolor
895 14 /Times-Roman set_font
896 144 167.9 moveto 18 (27) alignedtext
897 grestore
898 % 27->3
899 gsave
900 1 setlinewidth
901 0.000 0.000 0.000 edgecolor
902 newpath 151 163 moveto
903 150 156 148 146 146 137 curveto
904 stroke
905 0.000 0.000 0.000 edgecolor
906 newpath 149.39 136.12 moveto
907 144 127 lineto
908 142.53 137.49 lineto
909 closepath fill
910 1 setlinewidth
911 solid
912 0.000 0.000 0.000 edgecolor
913 newpath 149.39 136.12 moveto
914 144 127 lineto
915 142.53 137.49 lineto
916 closepath stroke
917 grestore
918 % 28
919 gsave
920 0.000 0.000 0.000 nodecolor
921 14 /Times-Roman set_font
922 401 167.9 moveto 18 (28) alignedtext
923 grestore
924 % 28->0
925 gsave
926 1 setlinewidth
927 0.000 0.000 0.000 edgecolor
928 newpath 409 163 moveto
929 408 156 408 146 407 137 curveto
930 stroke
931 0.000 0.000 0.000 edgecolor
932 newpath 410.48 136.6 moveto
933 406 127 lineto
934 403.51 137.3 lineto
935 closepath fill
936 1 setlinewidth
937 solid
938 0.000 0.000 0.000 edgecolor
939 newpath 410.48 136.6 moveto
940 406 127 lineto
941 403.51 137.3 lineto
942 closepath stroke
943 grestore
944 % 29
945 gsave
946 0.000 0.000 0.000 nodecolor
947 14 /Times-Roman set_font
948 365 167.9 moveto 18 (29) alignedtext
949 grestore
950 % 29->2
951 gsave
952 1 setlinewidth
953 0.000 0.000 0.000 edgecolor
954 newpath 374 163 moveto
955 374 156 374 146 374 137 curveto
956 stroke
957 0.000 0.000 0.000 edgecolor
958 newpath 377.5 137 moveto
959 374 127 lineto
960 370.5 137 lineto
961 closepath fill
962 1 setlinewidth
963 solid
964 0.000 0.000 0.000 edgecolor
965 newpath 377.5 137 moveto
966 374 127 lineto
967 370.5 137 lineto
968 closepath stroke
969 grestore
970 % 30
971 gsave
972 0.000 0.000 0.000 nodecolor
973 14 /Times-Roman set_font
974 72 167.9 moveto 18 (30) alignedtext
975 grestore
976 % 30->1
977 gsave
978 1 setlinewidth
979 0.000 0.000 0.000 edgecolor
980 newpath 78 163 moveto
981 76 156 72 146 69 137 curveto
982 stroke
983 0.000 0.000 0.000 edgecolor
984 newpath 72.23 135.57 moveto
985 66 127 lineto
986 65.52 137.58 lineto
987 closepath fill
988 1 setlinewidth
989 solid
990 0.000 0.000 0.000 edgecolor
991 newpath 72.23 135.57 moveto
992 66 127 lineto
993 65.52 137.58 lineto
994 closepath stroke
995 grestore
996 % 31
997 gsave
998 0.000 0.000 0.000 nodecolor
999 14 /Times-Roman set_font
1000 180 167.9 moveto 18 (31) alignedtext
1001 grestore
1002 % 31->3
1003 gsave
1004 1 setlinewidth
1005 0.000 0.000 0.000 edgecolor
1006 newpath 181 163 moveto
1007 173 154 161 141 153 131 curveto
1008 stroke
1009 0.000 0.000 0.000 edgecolor
1010 newpath 155.22 128.22 moveto
1011 146 123 lineto
1012 149.95 132.83 lineto
1013 closepath fill
1014 1 setlinewidth
1015 solid
1016 0.000 0.000 0.000 edgecolor
1017 newpath 155.22 128.22 moveto
1018 146 123 lineto
1019 149.95 132.83 lineto
1020 closepath stroke
1021 grestore
1022 endpage
1023 showpage
1024 grestore
1025 %%PageTrailer
1026 %%EndPage: 1
1027 %%Trailer
1028 %%Pages: 1
1029 %%BoundingBox: 36 36 463 333
1030 end
1031 restore
1032 %%EOF