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

Private GIT Repository
preuve promela:debut de traduction
[hdrcouchot.git] / images / h3prng.eps
1 %!PS-Adobe-3.0
2 %%Creator: graphviz version 2.38.0 (20140413.2041)
3 %%Title: %3
4 %%Pages: (atend)
5 %%BoundingBox: (atend)
6 %%EndComments
7 save
8 %%BeginProlog
9 /DotDict 200 dict def
10 DotDict begin
11
12 /setupLatin1 {
13 mark
14 /EncodingVector 256 array def
15  EncodingVector 0
16
17 ISOLatin1Encoding 0 255 getinterval putinterval
18 EncodingVector 45 /hyphen put
19
20 % Set up ISO Latin 1 character encoding
21 /starnetISO {
22         dup dup findfont dup length dict begin
23         { 1 index /FID ne { def }{ pop pop } ifelse
24         } forall
25         /Encoding EncodingVector def
26         currentdict end definefont
27 } def
28 /Times-Roman starnetISO def
29 /Times-Italic starnetISO def
30 /Times-Bold starnetISO def
31 /Times-BoldItalic starnetISO def
32 /Helvetica starnetISO def
33 /Helvetica-Oblique starnetISO def
34 /Helvetica-Bold starnetISO def
35 /Helvetica-BoldOblique starnetISO def
36 /Courier starnetISO def
37 /Courier-Oblique starnetISO def
38 /Courier-Bold starnetISO def
39 /Courier-BoldOblique starnetISO def
40 cleartomark
41 } bind def
42
43 %%BeginResource: procset graphviz 0 0
44 /coord-font-family /Times-Roman def
45 /default-font-family /Times-Roman def
46 /coordfont coord-font-family findfont 8 scalefont def
47
48 /InvScaleFactor 1.0 def
49 /set_scale {
50        dup 1 exch div /InvScaleFactor exch def
51        scale
52 } bind def
53
54 % styles
55 /solid { [] 0 setdash } bind def
56 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
57 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
58 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
59 /bold { 2 setlinewidth } bind def
60 /filled { } bind def
61 /unfilled { } bind def
62 /rounded { } bind def
63 /diagonals { } bind def
64 /tapered { } 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 433 341
183 %%PageOrientation: Portrait
184 0 0 1 beginpage
185 gsave
186 36 36 397 305 boxprim clip newpath
187 1 1 set_scale 0 rotate 40 40 translate
188 % 00
189 gsave
190 1 setlinewidth
191 0 0 0 nodecolor
192 275.37 279 27 18 ellipse_path stroke
193 0 0 0 nodecolor
194 14 /Times-Roman set_font
195 268.37 275.3 moveto 14 (00) alignedtext
196 grestore
197 % 00->00
198 gsave
199 1 setlinewidth
200 0 0 0 edgecolor
201 newpath 299.9 286.75 moveto
202 310.88 287.49 320.37 284.91 320.37 279 curveto
203 320.37 275.03 316.09 272.56 309.94 271.59 curveto
204 stroke
205 0 0 0 edgecolor
206 newpath 310.02 268.09 moveto
207 299.9 271.25 lineto
208 309.78 275.09 lineto
209 closepath fill
210 1 setlinewidth
211 solid
212 0 0 0 edgecolor
213 newpath 310.02 268.09 moveto
214 299.9 271.25 lineto
215 309.78 275.09 lineto
216 closepath stroke
217 0 0 0 edgecolor
218 14 /Times-Roman set_font
219 320.37 275.3 moveto 69 (112,211,222) alignedtext
220 grestore
221 % 10
222 gsave
223 1 setlinewidth
224 0 0 0 nodecolor
225 118.37 192 27 18 ellipse_path stroke
226 0 0 0 nodecolor
227 14 /Times-Roman set_font
228 111.37 188.3 moveto 14 (10) alignedtext
229 grestore
230 % 00->10
231 gsave
232 1 setlinewidth
233 0 0 0 edgecolor
234 newpath 248.19 277.47 moveto
235 198.15 275.85 94.55 269.33 72.37 243 curveto
236 62.46 231.24 74.58 218.48 88.86 208.8 curveto
237 stroke
238 0 0 0 edgecolor
239 newpath 90.74 211.75 moveto
240 97.37 203.49 lineto
241 87.03 205.82 lineto
242 closepath fill
243 1 setlinewidth
244 solid
245 0 0 0 edgecolor
246 newpath 90.74 211.75 moveto
247 97.37 203.49 lineto
248 87.03 205.82 lineto
249 closepath stroke
250 0 0 0 edgecolor
251 14 /Times-Roman set_font
252 72.37 231.8 moveto 69 (111,122,221) alignedtext
253 grestore
254 % 11
255 gsave
256 1 setlinewidth
257 0 0 0 nodecolor
258 199.37 18 27 18 ellipse_path stroke
259 0 0 0 nodecolor
260 14 /Times-Roman set_font
261 192.37 14.3 moveto 14 (11) alignedtext
262 grestore
263 % 00->11
264 gsave
265 1 setlinewidth
266 0 0 0 edgecolor
267 newpath 287.41 262.69 moveto
268 311.81 229.67 362.47 149.71 334.37 87 curveto
269 317.35 49.02 269.61 32 235.74 24.55 curveto
270 stroke
271 0 0 0 edgecolor
272 newpath 236.22 21.07 moveto
273 225.72 22.53 lineto
274 234.83 27.93 lineto
275 closepath fill
276 1 setlinewidth
277 solid
278 0 0 0 edgecolor
279 newpath 236.22 21.07 moveto
280 225.72 22.53 lineto
281 234.83 27.93 lineto
282 closepath stroke
283 0 0 0 edgecolor
284 14 /Times-Roman set_font
285 341.37 144.8 moveto 21 (212) alignedtext
286 grestore
287 % 01
288 gsave
289 1 setlinewidth
290 0 0 0 nodecolor
291 211.37 105 27 18 ellipse_path stroke
292 0 0 0 nodecolor
293 14 /Times-Roman set_font
294 204.37 101.3 moveto 14 (01) alignedtext
295 grestore
296 % 00->01
297 gsave
298 1 setlinewidth
299 0 0 0 edgecolor
300 newpath 278.77 260.87 moveto
301 283.3 232.81 287.96 176.64 261.37 141 curveto
302 255.91 133.67 248.45 127.31 240.96 122.1 curveto
303 stroke
304 0 0 0 edgecolor
305 newpath 242.58 118.97 moveto
306 232.27 116.51 lineto
307 238.79 124.86 lineto
308 closepath fill
309 1 setlinewidth
310 solid
311 0 0 0 edgecolor
312 newpath 242.58 118.97 moveto
313 232.27 116.51 lineto
314 238.79 124.86 lineto
315 closepath stroke
316 0 0 0 edgecolor
317 14 /Times-Roman set_font
318 281.37 188.3 moveto 21 (121) alignedtext
319 grestore
320 % 10->00
321 gsave
322 1 setlinewidth
323 0 0 0 edgecolor
324 newpath 129.2 208.57 moveto
325 137.63 219.61 150.24 234.01 164.37 243 curveto
326 187.29 257.57 216.74 266.49 239.55 271.67 curveto
327 stroke
328 0 0 0 edgecolor
329 newpath 239 275.14 moveto
330 249.51 273.8 lineto
331 240.46 268.29 lineto
332 closepath fill
333 1 setlinewidth
334 solid
335 0 0 0 edgecolor
336 newpath 239 275.14 moveto
337 249.51 273.8 lineto
338 240.46 268.29 lineto
339 closepath stroke
340 0 0 0 edgecolor
341 14 /Times-Roman set_font
342 164.37 231.8 moveto 69 (111,122,221) alignedtext
343 grestore
344 % 10->10
345 gsave
346 1 setlinewidth
347 0 0 0 edgecolor
348 newpath 142.9 199.75 moveto
349 153.88 200.49 163.37 197.91 163.37 192 curveto
350 163.37 188.03 159.09 185.56 152.94 184.59 curveto
351 stroke
352 0 0 0 edgecolor
353 newpath 153.02 181.09 moveto
354 142.9 184.25 lineto
355 152.78 188.09 lineto
356 closepath fill
357 1 setlinewidth
358 solid
359 0 0 0 edgecolor
360 newpath 153.02 181.09 moveto
361 142.9 184.25 lineto
362 152.78 188.09 lineto
363 closepath stroke
364 0 0 0 edgecolor
365 14 /Times-Roman set_font
366 163.37 188.3 moveto 21 (121) alignedtext
367 grestore
368 % 10->11
369 gsave
370 1 setlinewidth
371 0 0 0 edgecolor
372 newpath 95.3 182.6 moveto
373 54.95 166.57 -21.6 129.42 6.37 87 curveto
374 40.12 35.82 116.06 22.74 161.98 19.65 curveto
375 stroke
376 0 0 0 edgecolor
377 newpath 162.34 23.14 moveto
378 172.13 19.1 lineto
379 161.95 16.15 lineto
380 closepath fill
381 1 setlinewidth
382 solid
383 0 0 0 edgecolor
384 newpath 162.34 23.14 moveto
385 172.13 19.1 lineto
386 161.95 16.15 lineto
387 closepath stroke
388 0 0 0 edgecolor
389 14 /Times-Roman set_font
390 6.37 101.3 moveto 69 (112,211,222) alignedtext
391 grestore
392 % 10->01
393 gsave
394 1 setlinewidth
395 0 0 0 edgecolor
396 newpath 140.81 181.72 moveto
397 153.46 175.71 168.96 166.96 180.37 156 curveto
398 187.73 148.94 194.07 139.77 199.06 131.23 curveto
399 stroke
400 0 0 0 edgecolor
401 newpath 202.2 132.77 moveto
402 203.93 122.32 lineto
403 196.06 129.41 lineto
404 closepath fill
405 1 setlinewidth
406 solid
407 0 0 0 edgecolor
408 newpath 202.2 132.77 moveto
409 203.93 122.32 lineto
410 196.06 129.41 lineto
411 closepath stroke
412 0 0 0 edgecolor
413 14 /Times-Roman set_font
414 192.37 144.8 moveto 21 (212) alignedtext
415 grestore
416 % 11->00
417 gsave
418 1 setlinewidth
419 0 0 0 edgecolor
420 newpath 226 21.03 moveto
421 253.71 24.27 297.32 32.6 328.37 54 curveto
422 343.3 64.29 344.63 70.6 352.37 87 curveto
423 365.73 115.29 373.33 125.49 366.37 156 curveto
424 360.44 181.97 353.57 186.86 340.37 210 curveto
425 331.64 225.31 330.23 229.96 318.37 243 curveto
426 313.3 248.58 307.3 254.03 301.42 258.9 curveto
427 stroke
428 0 0 0 edgecolor
429 newpath 299.22 256.17 moveto
430 293.57 265.14 lineto
431 303.58 261.65 lineto
432 closepath fill
433 1 setlinewidth
434 solid
435 0 0 0 edgecolor
436 newpath 299.22 256.17 moveto
437 293.57 265.14 lineto
438 303.58 261.65 lineto
439 closepath stroke
440 0 0 0 edgecolor
441 14 /Times-Roman set_font
442 368.37 144.8 moveto 21 (212) alignedtext
443 grestore
444 % 11->10
445 gsave
446 1 setlinewidth
447 0 0 0 edgecolor
448 newpath 176.62 27.95 moveto
449 153.89 38.31 120.36 57.77 106.37 87 curveto
450 94.58 111.62 100.76 143.16 107.88 165.01 curveto
451 stroke
452 0 0 0 edgecolor
453 newpath 104.63 166.34 moveto
454 111.26 174.6 lineto
455 111.23 164.01 lineto
456 closepath fill
457 1 setlinewidth
458 solid
459 0 0 0 edgecolor
460 newpath 104.63 166.34 moveto
461 111.26 174.6 lineto
462 111.23 164.01 lineto
463 closepath stroke
464 0 0 0 edgecolor
465 14 /Times-Roman set_font
466 106.37 101.3 moveto 69 (112,211,222) alignedtext
467 grestore
468 % 11->11
469 gsave
470 1 setlinewidth
471 0 0 0 edgecolor
472 newpath 223.9 25.75 moveto
473 234.88 26.49 244.37 23.91 244.37 18 curveto
474 244.37 14.03 240.09 11.56 233.94 10.59 curveto
475 stroke
476 0 0 0 edgecolor
477 newpath 234.02 7.09 moveto
478 223.9 10.25 lineto
479 233.78 14.09 lineto
480 closepath fill
481 1 setlinewidth
482 solid
483 0 0 0 edgecolor
484 newpath 234.02 7.09 moveto
485 223.9 10.25 lineto
486 233.78 14.09 lineto
487 closepath stroke
488 0 0 0 edgecolor
489 14 /Times-Roman set_font
490 244.37 14.3 moveto 21 (121) alignedtext
491 grestore
492 % 11->01
493 gsave
494 1 setlinewidth
495 0 0 0 edgecolor
496 newpath 212.56 33.97 moveto
497 216.88 39.81 221.15 46.82 223.37 54 curveto
498 225.76 61.71 224.96 70.21 222.94 77.98 curveto
499 stroke
500 0 0 0 edgecolor
501 newpath 219.56 77.05 moveto
502 219.73 87.64 lineto
503 226.2 79.26 lineto
504 closepath fill
505 1 setlinewidth
506 solid
507 0 0 0 edgecolor
508 newpath 219.56 77.05 moveto
509 219.73 87.64 lineto
510 226.2 79.26 lineto
511 closepath stroke
512 0 0 0 edgecolor
513 14 /Times-Roman set_font
514 224.37 57.8 moveto 69 (111,122,221) alignedtext
515 grestore
516 % 01->00
517 gsave
518 1 setlinewidth
519 0 0 0 edgecolor
520 newpath 217.55 122.62 moveto
521 228.67 152.49 252.1 215.47 265.47 251.4 curveto
522 stroke
523 0 0 0 edgecolor
524 newpath 262.35 253.04 moveto
525 269.12 261.19 lineto
526 268.91 250.6 lineto
527 closepath fill
528 1 setlinewidth
529 solid
530 0 0 0 edgecolor
531 newpath 262.35 253.04 moveto
532 269.12 261.19 lineto
533 268.91 250.6 lineto
534 closepath stroke
535 0 0 0 edgecolor
536 14 /Times-Roman set_font
537 249.37 188.3 moveto 21 (121) alignedtext
538 grestore
539 % 01->10
540 gsave
541 1 setlinewidth
542 0 0 0 edgecolor
543 newpath 191.62 117.39 moveto
544 181.46 123.7 169.19 132.07 159.37 141 curveto
545 150.81 148.79 142.5 158.41 135.62 167.12 curveto
546 stroke
547 0 0 0 edgecolor
548 newpath 132.81 165.04 moveto
549 129.51 175.11 lineto
550 138.36 169.3 lineto
551 closepath fill
552 1 setlinewidth
553 solid
554 0 0 0 edgecolor
555 newpath 132.81 165.04 moveto
556 129.51 175.11 lineto
557 138.36 169.3 lineto
558 closepath stroke
559 0 0 0 edgecolor
560 14 /Times-Roman set_font
561 159.37 144.8 moveto 21 (212) alignedtext
562 grestore
563 % 01->11
564 gsave
565 1 setlinewidth
566 0 0 0 edgecolor
567 newpath 187.73 95.97 moveto
568 175.43 90.45 161.51 81.77 154.37 69 curveto
569 147.31 56.38 157.61 44.26 170.14 35.12 curveto
570 stroke
571 0 0 0 edgecolor
572 newpath 172.12 38.01 moveto
573 178.52 29.57 lineto
574 168.25 32.17 lineto
575 closepath fill
576 1 setlinewidth
577 solid
578 0 0 0 edgecolor
579 newpath 172.12 38.01 moveto
580 178.52 29.57 lineto
581 168.25 32.17 lineto
582 closepath stroke
583 0 0 0 edgecolor
584 14 /Times-Roman set_font
585 154.37 57.8 moveto 69 (111,122,221) alignedtext
586 grestore
587 % 01->01
588 gsave
589 1 setlinewidth
590 0 0 0 edgecolor
591 newpath 235.9 112.75 moveto
592 246.88 113.49 256.37 110.91 256.37 105 curveto
593 256.37 101.03 252.09 98.56 245.94 97.59 curveto
594 stroke
595 0 0 0 edgecolor
596 newpath 246.02 94.09 moveto
597 235.9 97.25 lineto
598 245.78 101.09 lineto
599 closepath fill
600 1 setlinewidth
601 solid
602 0 0 0 edgecolor
603 newpath 246.02 94.09 moveto
604 235.9 97.25 lineto
605 245.78 101.09 lineto
606 closepath stroke
607 0 0 0 edgecolor
608 14 /Times-Roman set_font
609 256.37 101.3 moveto 69 (112,211,222) alignedtext
610 grestore
611 endpage
612 showpage
613 grestore
614 %%PageTrailer
615 %%EndPage: 1
616 %%Trailer
617 %%Pages: 1
618 %%BoundingBox: 36 36 433 341
619 end
620 restore
621 %%EOF