helm/software/matita/contribs/formal_topology/bin/graphs/G1.ps

   1 %!PS-Adobe-3.0 EPSF-3.0
   2 %%Creator: Graphviz version 2.20.2 (Sun Oct 12 22:28:10 UTC 2008)
   3 %%For: (claudio) claudio,,,
   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 917 656
 183 %%PageOrientation: Portrait
 184 0 0 1 beginpage
 185 gsave
 186 36 36 881 620 boxprim clip newpath
 187 1 1 set_scale 0 rotate 40 40 translate
 188 % v0
 189 gsave
 190 1 setlinewidth
 191 0.000 0.000 0.000 nodecolor
 192 63 306 30.77 18 ellipse_path stroke
 193 0.000 0.000 0.000 nodecolor
 194 14 /Times-Roman set_font
 195 48.5 301.9 moveto 29 (c=cc) alignedtext
 196 grestore
 197 % v1
 198 gsave
 199 1 setlinewidth
 200 0.000 0.000 0.000 nodecolor
 201 27 378 27 18 ellipse_path stroke
 202 0.000 0.000 0.000 nodecolor
 203 14 /Times-Roman set_font
 204 25 373.9 moveto 4 (.) alignedtext
 205 grestore
 206 % v1->v0
 207 gsave
 208 1 setlinewidth
 209 0.000 0.000 0.000 edgecolor
 210 newpath 36 361 moveto
 211 40 352 45 342 50 332 curveto
 212 stroke
 213 0.000 0.000 0.000 edgecolor
 214 newpath 53.14 333.56 moveto
 215 54 323 lineto
 216 46.74 330.72 lineto
 217 closepath fill
 218 1 setlinewidth
 219 solid
 220 0.000 0.000 0.000 edgecolor
 221 newpath 53.14 333.56 moveto
 222 54 323 lineto
 223 46.74 330.72 lineto
 224 closepath stroke
 225 grestore
 226 % v2
 227 gsave
 228 1 setlinewidth
 229 0.000 0.000 0.000 nodecolor
 230 626 18 31.96 18 ellipse_path stroke
 231 0.000 0.000 0.000 nodecolor
 232 14 /Times-Roman set_font
 233 611 13.9 moveto 30 (-i=c-i) alignedtext
 234 grestore
 235 % v3
 236 gsave
 237 1 setlinewidth
 238 0.000 0.000 0.000 nodecolor
 239 720 234 37.02 18 ellipse_path stroke
 240 0.000 0.000 0.000 nodecolor
 241 14 /Times-Roman set_font
 242 701 229.9 moveto 38 (c-=cc-) alignedtext
 243 grestore
 244 % v3->v2
 245 gsave
 246 1 setlinewidth
 247 0.000 0.000 0.000 edgecolor
 248 newpath 712 216 moveto
 249 696 179 657 90 638 45 curveto
 250 stroke
 251 0.000 0.000 0.000 edgecolor
 252 newpath 641.26 43.72 moveto
 253 634 36 lineto
 254 634.86 46.56 lineto
 255 closepath fill
 256 1 setlinewidth
 257 solid
 258 0.000 0.000 0.000 edgecolor
 259 newpath 641.26 43.72 moveto
 260 634 36 lineto
 261 634.86 46.56 lineto
 262 closepath stroke
 263 grestore
 264 % v4
 265 gsave
 266 1 setlinewidth
 267 0.000 0.000 0.000 nodecolor
 268 846 306 27 18 ellipse_path stroke
 269 0.000 0.000 0.000 nodecolor
 270 14 /Times-Roman set_font
 271 843.5 301.9 moveto 5 (-) alignedtext
 272 grestore
 273 % v4->v3
 274 gsave
 275 1 setlinewidth
 276 0.000 0.000 0.000 edgecolor
 277 newpath 825 294 moveto
 278 806 283 776 266 753 253 curveto
 279 stroke
 280 0.000 0.000 0.000 edgecolor
 281 newpath 754.44 249.8 moveto
 282 744 248 lineto
 283 751.04 255.92 lineto
 284 closepath fill
 285 1 setlinewidth
 286 solid
 287 0.000 0.000 0.000 edgecolor
 288 newpath 754.44 249.8 moveto
 289 744 248 lineto
 290 751.04 255.92 lineto
 291 closepath stroke
 292 grestore
 293 % v5
 294 gsave
 295 1 setlinewidth
 296 0.000 0.000 0.000 nodecolor
 297 570 90 45.86 18 ellipse_path stroke
 298 0.000 0.000 0.000 nodecolor
 299 14 /Times-Roman set_font
 300 545 85.9 moveto 50 (-ici=c-ici) alignedtext
 301 grestore
 302 % v5->v2
 303 gsave
 304 1 setlinewidth
 305 0.000 0.000 0.000 edgecolor
 306 newpath 584 73 moveto
 307 591 64 599 53 607 43 curveto
 308 stroke
 309 0.000 0.000 0.000 edgecolor
 310 newpath 609.8 45.1 moveto
 311 613 35 lineto
 312 604.2 40.9 lineto
 313 closepath fill
 314 1 setlinewidth
 315 solid
 316 0.000 0.000 0.000 edgecolor
 317 newpath 609.8 45.1 moveto
 318 613 35 lineto
 319 604.2 40.9 lineto
 320 closepath stroke
 321 grestore
 322 % v6
 323 gsave
 324 1 setlinewidth
 325 0.000 0.000 0.000 nodecolor
 326 570 162 41.19 18 ellipse_path stroke
 327 0.000 0.000 0.000 nodecolor
 328 14 /Times-Roman set_font
 329 548 157.9 moveto 44 (-ic=c-ic) alignedtext
 330 grestore
 331 % v6->v5
 332 gsave
 333 1 setlinewidth
 334 0.000 0.000 0.000 edgecolor
 335 newpath 570 144 moveto
 336 570 136 570 127 570 118 curveto
 337 stroke
 338 0.000 0.000 0.000 edgecolor
 339 newpath 573.5 118 moveto
 340 570 108 lineto
 341 566.5 118 lineto
 342 closepath fill
 343 1 setlinewidth
 344 solid
 345 0.000 0.000 0.000 edgecolor
 346 newpath 573.5 118 moveto
 347 570 108 lineto
 348 566.5 118 lineto
 349 closepath stroke
 350 grestore
 351 % v7
 352 gsave
 353 1 setlinewidth
 354 0.000 0.000 0.000 nodecolor
 355 453 162 50.22 18 ellipse_path stroke
 356 0.000 0.000 0.000 nodecolor
 357 14 /Times-Roman set_font
 358 424.5 157.9 moveto 57 (c-ci=cc-ci) alignedtext
 359 grestore
 360 % v7->v5
 361 gsave
 362 1 setlinewidth
 363 0.000 0.000 0.000 edgecolor
 364 newpath 478 146 moveto
 365 495 136 518 122 536 110 curveto
 366 stroke
 367 0.000 0.000 0.000 edgecolor
 368 newpath 537.96 112.92 moveto
 369 545 105 lineto
 370 534.56 106.8 lineto
 371 closepath fill
 372 1 setlinewidth
 373 solid
 374 0.000 0.000 0.000 edgecolor
 375 newpath 537.96 112.92 moveto
 376 545 105 lineto
 377 534.56 106.8 lineto
 378 closepath stroke
 379 grestore
 380 % v8
 381 gsave
 382 1 setlinewidth
 383 0.000 0.000 0.000 nodecolor
 384 355 234 27 18 ellipse_path stroke
 385 0.000 0.000 0.000 nodecolor
 386 14 /Times-Roman set_font
 387 348 229.9 moveto 14 (-ci) alignedtext
 388 grestore
 389 % v8->v7
 390 gsave
 391 1 setlinewidth
 392 0.000 0.000 0.000 edgecolor
 393 newpath 373 220 moveto
 394 387 211 407 196 423 184 curveto
 395 stroke
 396 0.000 0.000 0.000 edgecolor
 397 newpath 425.1 186.8 moveto
 398 431 178 lineto
 399 420.9 181.2 lineto
 400 closepath fill
 401 1 setlinewidth
 402 solid
 403 0.000 0.000 0.000 edgecolor
 404 newpath 425.1 186.8 moveto
 405 431 178 lineto
 406 420.9 181.2 lineto
 407 closepath stroke
 408 grestore
 409 % v9
 410 gsave
 411 1 setlinewidth
 412 0.000 0.000 0.000 nodecolor
 413 570 234 59.96 18 ellipse_path stroke
 414 0.000 0.000 0.000 nodecolor
 415 14 /Times-Roman set_font
 416 534.5 229.9 moveto 71 (c-cic=cc-cic) alignedtext
 417 grestore
 418 % v9->v6
 419 gsave
 420 1 setlinewidth
 421 0.000 0.000 0.000 edgecolor
 422 newpath 570 216 moveto
 423 570 208 570 199 570 190 curveto
 424 stroke
 425 0.000 0.000 0.000 edgecolor
 426 newpath 573.5 190 moveto
 427 570 180 lineto
 428 566.5 190 lineto
 429 closepath fill
 430 1 setlinewidth
 431 solid
 432 0.000 0.000 0.000 edgecolor
 433 newpath 573.5 190 moveto
 434 570 180 lineto
 435 566.5 190 lineto
 436 closepath stroke
 437 grestore
 438 % v9->v7
 439 gsave
 440 1 setlinewidth
 441 0.000 0.000 0.000 edgecolor
 442 newpath 543 218 moveto
 443 527 208 506 194 488 183 curveto
 444 stroke
 445 0.000 0.000 0.000 edgecolor
 446 newpath 489.44 179.8 moveto
 447 479 178 lineto
 448 486.04 185.92 lineto
 449 closepath fill
 450 1 setlinewidth
 451 solid
 452 0.000 0.000 0.000 edgecolor
 453 newpath 489.44 179.8 moveto
 454 479 178 lineto
 455 486.04 185.92 lineto
 456 closepath stroke
 457 grestore
 458 % v10
 459 gsave
 460 1 setlinewidth
 461 0.000 0.000 0.000 nodecolor
 462 755 306 46.06 18 ellipse_path stroke
 463 0.000 0.000 0.000 nodecolor
 464 14 /Times-Roman set_font
 465 729.5 301.9 moveto 51 (c-c=cc-c) alignedtext
 466 grestore
 467 % v10->v3
 468 gsave
 469 1 setlinewidth
 470 0.000 0.000 0.000 edgecolor
 471 newpath 746 288 moveto
 472 742 280 738 270 733 261 curveto
 473 stroke
 474 0.000 0.000 0.000 edgecolor
 475 newpath 736.26 259.72 moveto
 476 729 252 lineto
 477 729.86 262.56 lineto
 478 closepath fill
 479 1 setlinewidth
 480 solid
 481 0.000 0.000 0.000 edgecolor
 482 newpath 736.26 259.72 moveto
 483 729 252 lineto
 484 729.86 262.56 lineto
 485 closepath stroke
 486 grestore
 487 % v10->v9
 488 gsave
 489 1 setlinewidth
 490 0.000 0.000 0.000 edgecolor
 491 newpath 722 293 moveto
 492 693 282 649 265 616 252 curveto
 493 stroke
 494 0.000 0.000 0.000 edgecolor
 495 newpath 617.56 248.86 moveto
 496 607 248 lineto
 497 614.72 255.26 lineto
 498 closepath fill
 499 1 setlinewidth
 500 solid
 501 0.000 0.000 0.000 edgecolor
 502 newpath 617.56 248.86 moveto
 503 607 248 lineto
 504 614.72 255.26 lineto
 505 closepath stroke
 506 grestore
 507 % v11
 508 gsave
 509 1 setlinewidth
 510 0.000 0.000 0.000 nodecolor
 511 546 306 27 18 ellipse_path stroke
 512 0.000 0.000 0.000 nodecolor
 513 14 /Times-Roman set_font
 514 535.5 301.9 moveto 21 (-cic) alignedtext
 515 grestore
 516 % v11->v8
 517 gsave
 518 1 setlinewidth
 519 0.000 0.000 0.000 edgecolor
 520 newpath 525 294 moveto
 521 520 292 515 290 510 288 curveto
 522 458 267 442 272 391 252 curveto
 523 389 251 387 251 385 250 curveto
 524 stroke
 525 0.000 0.000 0.000 edgecolor
 526 newpath 386.44 246.8 moveto
 527 376 245 lineto
 528 383.04 252.92 lineto
 529 closepath fill
 530 1 setlinewidth
 531 solid
 532 0.000 0.000 0.000 edgecolor
 533 newpath 386.44 246.8 moveto
 534 376 245 lineto
 535 383.04 252.92 lineto
 536 closepath stroke
 537 grestore
 538 % v11->v9
 539 gsave
 540 1 setlinewidth
 541 0.000 0.000 0.000 edgecolor
 542 newpath 552 288 moveto
 543 555 280 558 270 561 262 curveto
 544 stroke
 545 0.000 0.000 0.000 edgecolor
 546 newpath 564.48 262.58 moveto
 547 564 252 lineto
 548 557.77 260.57 lineto
 549 closepath fill
 550 1 setlinewidth
 551 solid
 552 0.000 0.000 0.000 edgecolor
 553 newpath 564.48 262.58 moveto
 554 564 252 lineto
 555 557.77 260.57 lineto
 556 closepath stroke
 557 grestore
 558 % v12
 559 gsave
 560 1 setlinewidth
 561 0.000 0.000 0.000 nodecolor
 562 755 378 27 18 ellipse_path stroke
 563 0.000 0.000 0.000 nodecolor
 564 14 /Times-Roman set_font
 565 749.5 373.9 moveto 11 (-c) alignedtext
 566 grestore
 567 % v12->v4
 568 gsave
 569 1 setlinewidth
 570 0.000 0.000 0.000 edgecolor
 571 newpath 773 364 moveto
 572 787 353 805 338 821 326 curveto
 573 stroke
 574 0.000 0.000 0.000 edgecolor
 575 newpath 823.1 328.8 moveto
 576 829 320 lineto
 577 818.9 323.2 lineto
 578 closepath fill
 579 1 setlinewidth
 580 solid
 581 0.000 0.000 0.000 edgecolor
 582 newpath 823.1 328.8 moveto
 583 829 320 lineto
 584 818.9 323.2 lineto
 585 closepath stroke
 586 grestore
 587 % v12->v10
 588 gsave
 589 1 setlinewidth
 590 0.000 0.000 0.000 edgecolor
 591 newpath 755 360 moveto
 592 755 352 755 343 755 334 curveto
 593 stroke
 594 0.000 0.000 0.000 edgecolor
 595 newpath 758.5 334 moveto
 596 755 324 lineto
 597 751.5 334 lineto
 598 closepath fill
 599 1 setlinewidth
 600 solid
 601 0.000 0.000 0.000 edgecolor
 602 newpath 758.5 334 moveto
 603 755 324 lineto
 604 751.5 334 lineto
 605 closepath stroke
 606 grestore
 607 % v12->v11
 608 gsave
 609 1 setlinewidth
 610 0.000 0.000 0.000 edgecolor
 611 newpath 733 367 moveto
 612 728 364 722 362 717 360 curveto
 613 658 338 640 345 582 324 curveto
 614 580 323 578 323 576 322 curveto
 615 stroke
 616 0.000 0.000 0.000 edgecolor
 617 newpath 577.44 318.8 moveto
 618 567 317 lineto
 619 574.04 324.92 lineto
 620 closepath fill
 621 1 setlinewidth
 622 solid
 623 0.000 0.000 0.000 edgecolor
 624 newpath 577.44 318.8 moveto
 625 567 317 lineto
 626 574.04 324.92 lineto
 627 closepath stroke
 628 grestore
 629 % v13
 630 gsave
 631 1 setlinewidth
 632 0.000 0.000 0.000 nodecolor
 633 116 378 43.97 18 ellipse_path stroke
 634 0.000 0.000 0.000 nodecolor
 635 14 /Times-Roman set_font
 636 92 373.9 moveto 48 (cic=ccic) alignedtext
 637 grestore
 638 % v13->v0
 639 gsave
 640 1 setlinewidth
 641 0.000 0.000 0.000 edgecolor
 642 newpath 103 361 moveto
 643 96 352 88 341 81 331 curveto
 644 stroke
 645 0.000 0.000 0.000 edgecolor
 646 newpath 83.8 328.9 moveto
 647 75 323 lineto
 648 78.2 333.1 lineto
 649 closepath fill
 650 1 setlinewidth
 651 solid
 652 0.000 0.000 0.000 edgecolor
 653 newpath 83.8 328.9 moveto
 654 75 323 lineto
 655 78.2 333.1 lineto
 656 closepath stroke
 657 grestore
 658 % v14
 659 gsave
 660 1 setlinewidth
 661 0.000 0.000 0.000 nodecolor
 662 107 450 52.12 18 ellipse_path stroke
 663 0.000 0.000 0.000 nodecolor
 664 14 /Times-Roman set_font
 665 77.5 445.9 moveto 59 (ic=iic=icic) alignedtext
 666 grestore
 667 % v14->v13
 668 gsave
 669 1 setlinewidth
 670 0.000 0.000 0.000 edgecolor
 671 newpath 109 432 moveto
 672 110 424 111 415 112 406 curveto
 673 stroke
 674 0.000 0.000 0.000 edgecolor
 675 newpath 115.47 406.49 moveto
 676 114 396 lineto
 677 108.61 405.12 lineto
 678 closepath fill
 679 1 setlinewidth
 680 solid
 681 0.000 0.000 0.000 edgecolor
 682 newpath 115.47 406.49 moveto
 683 114 396 lineto
 684 108.61 405.12 lineto
 685 closepath stroke
 686 grestore
 687 % v15
 688 gsave
 689 1 setlinewidth
 690 0.000 0.000 0.000 nodecolor
 691 231 450 54.2 18 ellipse_path stroke
 692 0.000 0.000 0.000 nodecolor
 693 14 /Times-Roman set_font
 694 200 445.9 moveto 62 (ci=cci=cici) alignedtext
 695 grestore
 696 % v15->v13
 697 gsave
 698 1 setlinewidth
 699 0.000 0.000 0.000 edgecolor
 700 newpath 205 434 moveto
 701 189 424 167 410 149 398 curveto
 702 stroke
 703 0.000 0.000 0.000 edgecolor
 704 newpath 150.44 394.8 moveto
 705 140 393 lineto
 706 147.04 400.92 lineto
 707 closepath fill
 708 1 setlinewidth
 709 solid
 710 0.000 0.000 0.000 edgecolor
 711 newpath 150.44 394.8 moveto
 712 140 393 lineto
 713 147.04 400.92 lineto
 714 closepath stroke
 715 grestore
 716 % v16
 717 gsave
 718 1 setlinewidth
 719 0.000 0.000 0.000 nodecolor
 720 107 522 36.83 18 ellipse_path stroke
 721 0.000 0.000 0.000 nodecolor
 722 14 /Times-Roman set_font
 723 88.5 517.9 moveto 37 (ici=iici) alignedtext
 724 grestore
 725 % v16->v14
 726 gsave
 727 1 setlinewidth
 728 0.000 0.000 0.000 edgecolor
 729 newpath 107 504 moveto
 730 107 496 107 487 107 478 curveto
 731 stroke
 732 0.000 0.000 0.000 edgecolor
 733 newpath 110.5 478 moveto
 734 107 468 lineto
 735 103.5 478 lineto
 736 closepath fill
 737 1 setlinewidth
 738 solid
 739 0.000 0.000 0.000 edgecolor
 740 newpath 110.5 478 moveto
 741 107 468 lineto
 742 103.5 478 lineto
 743 closepath stroke
 744 grestore
 745 % v16->v15
 746 gsave
 747 1 setlinewidth
 748 0.000 0.000 0.000 edgecolor
 749 newpath 131 508 moveto
 750 149 498 174 483 195 471 curveto
 751 stroke
 752 0.000 0.000 0.000 edgecolor
 753 newpath 196.96 473.92 moveto
 754 204 466 lineto
 755 193.56 467.8 lineto
 756 closepath fill
 757 1 setlinewidth
 758 solid
 759 0.000 0.000 0.000 edgecolor
 760 newpath 196.96 473.92 moveto
 761 204 466 lineto
 762 193.56 467.8 lineto
 763 closepath stroke
 764 grestore
 765 % v17
 766 gsave
 767 1 setlinewidth
 768 0.000 0.000 0.000 nodecolor
 769 67 594 27 18 ellipse_path stroke
 770 0.000 0.000 0.000 nodecolor
 771 14 /Times-Roman set_font
 772 58.5 589.9 moveto 17 (i=ii) alignedtext
 773 grestore
 774 % v17->v1
 775 gsave
 776 1 setlinewidth
 777 0.000 0.000 0.000 edgecolor
 778 newpath 64 576 moveto
 779 57 538 41 451 32 406 curveto
 780 stroke
 781 0.000 0.000 0.000 edgecolor
 782 newpath 35.39 405.12 moveto
 783 30 396 lineto
 784 28.53 406.49 lineto
 785 closepath fill
 786 1 setlinewidth
 787 solid
 788 0.000 0.000 0.000 edgecolor
 789 newpath 35.39 405.12 moveto
 790 30 396 lineto
 791 28.53 406.49 lineto
 792 closepath stroke
 793 grestore
 794 % v17->v16
 795 gsave
 796 1 setlinewidth
 797 0.000 0.000 0.000 edgecolor
 798 newpath 76 577 moveto
 799 80 569 87 558 92 549 curveto
 800 stroke
 801 0.000 0.000 0.000 edgecolor
 802 newpath 95.2 550.44 moveto
 803 97 540 lineto
 804 89.08 547.04 lineto
 805 closepath fill
 806 1 setlinewidth
 807 solid
 808 0.000 0.000 0.000 edgecolor
 809 newpath 95.2 550.44 moveto
 810 97 540 lineto
 811 89.08 547.04 lineto
 812 closepath stroke
 813 grestore
 814 % v18
 815 gsave
 816 1 setlinewidth
 817 0.000 0.000 0.000 nodecolor
 818 446 234 45.86 18 ellipse_path stroke
 819 0.000 0.000 0.000 nodecolor
 820 14 /Times-Roman set_font
 821 421 229.9 moveto 50 (ci-i=cci-i) alignedtext
 822 grestore
 823 % v18->v7
 824 gsave
 825 1 setlinewidth
 826 0.000 0.000 0.000 edgecolor
 827 newpath 448 216 moveto
 828 449 208 449 199 450 190 curveto
 829 stroke
 830 0.000 0.000 0.000 edgecolor
 831 newpath 453.49 190.3 moveto
 832 451 180 lineto
 833 446.52 189.6 lineto
 834 closepath fill
 835 1 setlinewidth
 836 solid
 837 0.000 0.000 0.000 edgecolor
 838 newpath 453.49 190.3 moveto
 839 451 180 lineto
 840 446.52 189.6 lineto
 841 closepath stroke
 842 grestore
 843 % v19
 844 gsave
 845 1 setlinewidth
 846 0.000 0.000 0.000 nodecolor
 847 260 306 112.77 18 ellipse_path stroke
 848 0.000 0.000 0.000 nodecolor
 849 14 /Times-Roman set_font
 850 186.5 301.9 moveto 147 (i-i=i-ci=ii-i=i-ici=ic-ci=ici-i) alignedtext
 851 grestore
 852 % v19->v8
 853 gsave
 854 1 setlinewidth
 855 0.000 0.000 0.000 edgecolor
 856 newpath 283 288 moveto
 857 297 278 315 265 329 254 curveto
 858 stroke
 859 0.000 0.000 0.000 edgecolor
 860 newpath 331.1 256.8 moveto
 861 337 248 lineto
 862 326.9 251.2 lineto
 863 closepath fill
 864 1 setlinewidth
 865 solid
 866 0.000 0.000 0.000 edgecolor
 867 newpath 331.1 256.8 moveto
 868 337 248 lineto
 869 326.9 251.2 lineto
 870 closepath stroke
 871 grestore
 872 % v19->v18
 873 gsave
 874 1 setlinewidth
 875 0.000 0.000 0.000 edgecolor
 876 newpath 303 289 moveto
 877 334 277 374 262 403 251 curveto
 878 stroke
 879 0.000 0.000 0.000 edgecolor
 880 newpath 405.02 253.96 moveto
 881 413 247 lineto
 882 402.42 247.46 lineto
 883 closepath fill
 884 1 setlinewidth
 885 solid
 886 0.000 0.000 0.000 edgecolor
 887 newpath 405.02 253.96 moveto
 888 413 247 lineto
 889 402.42 247.46 lineto
 890 closepath stroke
 891 grestore
 892 % v20
 893 gsave
 894 1 setlinewidth
 895 0.000 0.000 0.000 nodecolor
 896 641 306 50.22 18 ellipse_path stroke
 897 0.000 0.000 0.000 nodecolor
 898 14 /Times-Roman set_font
 899 612.5 301.9 moveto 57 (cic-=ccic-) alignedtext
 900 grestore
 901 % v20->v3
 902 gsave
 903 1 setlinewidth
 904 0.000 0.000 0.000 edgecolor
 905 newpath 660 289 moveto
 906 671 279 684 268 695 257 curveto
 907 stroke
 908 0.000 0.000 0.000 edgecolor
 909 newpath 697.4 259.55 moveto
 910 702 250 lineto
 911 692.45 254.6 lineto
 912 closepath fill
 913 1 setlinewidth
 914 solid
 915 0.000 0.000 0.000 edgecolor
 916 newpath 697.4 259.55 moveto
 917 702 250 lineto
 918 692.45 254.6 lineto
 919 closepath stroke
 920 grestore
 921 % v20->v18
 922 gsave
 923 1 setlinewidth
 924 0.000 0.000 0.000 edgecolor
 925 newpath 606 293 moveto
 926 573 281 524 263 489 250 curveto
 927 stroke
 928 0.000 0.000 0.000 edgecolor
 929 newpath 490.56 246.86 moveto
 930 480 246 lineto
 931 487.72 253.26 lineto
 932 closepath fill
 933 1 setlinewidth
 934 solid
 935 0.000 0.000 0.000 edgecolor
 936 newpath 490.56 246.86 moveto
 937 480 246 lineto
 938 487.72 253.26 lineto
 939 closepath stroke
 940 grestore
 941 % v21
 942 gsave
 943 1 setlinewidth
 944 0.000 0.000 0.000 nodecolor
 945 446 306 54.9 18 ellipse_path stroke
 946 0.000 0.000 0.000 nodecolor
 947 14 /Times-Roman set_font
 948 414.5 301.9 moveto 63 (ci-ic=cci-ic) alignedtext
 949 grestore
 950 % v21->v9
 951 gsave
 952 1 setlinewidth
 953 0.000 0.000 0.000 edgecolor
 954 newpath 473 290 moveto
 955 491 280 514 266 533 255 curveto
 956 stroke
 957 0.000 0.000 0.000 edgecolor
 958 newpath 534.96 257.92 moveto
 959 542 250 lineto
 960 531.56 251.8 lineto
 961 closepath fill
 962 1 setlinewidth
 963 solid
 964 0.000 0.000 0.000 edgecolor
 965 newpath 534.96 257.92 moveto
 966 542 250 lineto
 967 531.56 251.8 lineto
 968 closepath stroke
 969 grestore
 970 % v21->v18
 971 gsave
 972 1 setlinewidth
 973 0.000 0.000 0.000 edgecolor
 974 newpath 446 288 moveto
 975 446 280 446 271 446 262 curveto
 976 stroke
 977 0.000 0.000 0.000 edgecolor
 978 newpath 449.5 262 moveto
 979 446 252 lineto
 980 442.5 262 lineto
 981 closepath fill
 982 1 setlinewidth
 983 solid
 984 0.000 0.000 0.000 edgecolor
 985 newpath 449.5 262 moveto
 986 446 252 lineto
 987 442.5 262 lineto
 988 closepath stroke
 989 grestore
 990 % v22
 991 gsave
 992 1 setlinewidth
 993 0.000 0.000 0.000 nodecolor
 994 648 378 59.96 18 ellipse_path stroke
 995 0.000 0.000 0.000 nodecolor
 996 14 /Times-Roman set_font
 997 612.5 373.9 moveto 71 (cic-c=ccic-c) alignedtext
 998 grestore
 999 % v22->v10
1000 gsave
1001 1 setlinewidth
1002 0.000 0.000 0.000 edgecolor
1003 newpath 673 361 moveto
1004 687 351 707 338 723 327 curveto
1005 stroke
1006 0.000 0.000 0.000 edgecolor
1007 newpath 724.96 329.92 moveto
1008 732 322 lineto
1009 721.56 323.8 lineto
1010 closepath fill
1011 1 setlinewidth
1012 solid
1013 0.000 0.000 0.000 edgecolor
1014 newpath 724.96 329.92 moveto
1015 732 322 lineto
1016 721.56 323.8 lineto
1017 closepath stroke
1018 grestore
1019 % v22->v20
1020 gsave
1021 1 setlinewidth
1022 0.000 0.000 0.000 edgecolor
1023 newpath 646 360 moveto
1024 645 352 645 343 644 334 curveto
1025 stroke
1026 0.000 0.000 0.000 edgecolor
1027 newpath 647.48 333.6 moveto
1028 643 324 lineto
1029 640.51 334.3 lineto
1030 closepath fill
1031 1 setlinewidth
1032 solid
1033 0.000 0.000 0.000 edgecolor
1034 newpath 647.48 333.6 moveto
1035 643 324 lineto
1036 640.51 334.3 lineto
1037 closepath stroke
1038 grestore
1039 % v22->v21
1040 gsave
1041 1 setlinewidth
1042 0.000 0.000 0.000 edgecolor
1043 newpath 609 364 moveto
1044 576 352 528 335 493 322 curveto
1045 stroke
1046 0.000 0.000 0.000 edgecolor
1047 newpath 493.58 318.52 moveto
1048 483 319 lineto
1049 491.57 325.23 lineto
1050 closepath fill
1051 1 setlinewidth
1052 solid
1053 0.000 0.000 0.000 edgecolor
1054 newpath 493.58 318.52 moveto
1055 483 319 lineto
1056 491.57 325.23 lineto
1057 closepath stroke
1058 grestore
1059 % v23
1060 gsave
1061 1 setlinewidth
1062 0.000 0.000 0.000 nodecolor
1063 663 450 63.93 18 ellipse_path stroke
1064 0.000 0.000 0.000 nodecolor
1065 14 /Times-Roman set_font
1066 625 445.9 moveto 76 (ci-=cci-=cici-) alignedtext
1067 grestore
1068 % v23->v22
1069 gsave
1070 1 setlinewidth
1071 0.000 0.000 0.000 edgecolor
1072 newpath 659 432 moveto
1073 658 424 656 415 654 406 curveto
1074 stroke
1075 0.000 0.000 0.000 edgecolor
1076 newpath 657.39 405.12 moveto
1077 652 396 lineto
1078 650.53 406.49 lineto
1079 closepath fill
1080 1 setlinewidth
1081 solid
1082 0.000 0.000 0.000 edgecolor
1083 newpath 657.39 405.12 moveto
1084 652 396 lineto
1085 650.53 406.49 lineto
1086 closepath stroke
1087 grestore
1088 % v24
1089 gsave
1090 1 setlinewidth
1091 0.000 0.000 0.000 nodecolor
1092 314 378 116.24 18 ellipse_path stroke
1093 0.000 0.000 0.000 nodecolor
1094 14 /Times-Roman set_font
1095 238 373.9 moveto 152 (i-ic=i-cic=ii-ic=ic-cic=ici-ic) alignedtext
1096 grestore
1097 % v24->v11
1098 gsave
1099 1 setlinewidth
1100 0.000 0.000 0.000 edgecolor
1101 newpath 380 363 moveto
1102 418 354 467 340 510 324 curveto
1103 512 323 514 322 516 321 curveto
1104 stroke
1105 0.000 0.000 0.000 edgecolor
1106 newpath 517.28 324.26 moveto
1107 525 317 lineto
1108 514.44 317.86 lineto
1109 closepath fill
1110 1 setlinewidth
1111 solid
1112 0.000 0.000 0.000 edgecolor
1113 newpath 517.28 324.26 moveto
1114 525 317 lineto
1115 514.44 317.86 lineto
1116 closepath stroke
1117 grestore
1118 % v24->v19
1119 gsave
1120 1 setlinewidth
1121 0.000 0.000 0.000 edgecolor
1122 newpath 300 360 moveto
1123 294 352 286 341 279 332 curveto
1124 stroke
1125 0.000 0.000 0.000 edgecolor
1126 newpath 281.8 329.9 moveto
1127 273 324 lineto
1128 276.2 334.1 lineto
1129 closepath fill
1130 1 setlinewidth
1131 solid
1132 0.000 0.000 0.000 edgecolor
1133 newpath 281.8 329.9 moveto
1134 273 324 lineto
1135 276.2 334.1 lineto
1136 closepath stroke
1137 grestore
1138 % v24->v21
1139 gsave
1140 1 setlinewidth
1141 0.000 0.000 0.000 edgecolor
1142 newpath 346 361 moveto
1143 365 351 388 337 408 327 curveto
1144 stroke
1145 0.000 0.000 0.000 edgecolor
1146 newpath 409.96 329.92 moveto
1147 417 322 lineto
1148 406.56 323.8 lineto
1149 closepath fill
1150 1 setlinewidth
1151 solid
1152 0.000 0.000 0.000 edgecolor
1153 newpath 409.96 329.92 moveto
1154 417 322 lineto
1155 406.56 323.8 lineto
1156 closepath stroke
1157 grestore
1158 % v25
1159 gsave
1160 1 setlinewidth
1161 0.000 0.000 0.000 nodecolor
1162 509 378 61.15 18 ellipse_path stroke
1163 0.000 0.000 0.000 nodecolor
1164 14 /Times-Roman set_font
1165 473 373.9 moveto 72 (ic-=iic-=icic-) alignedtext
1166 grestore
1167 % v25->v19
1168 gsave
1169 1 setlinewidth
1170 0.000 0.000 0.000 edgecolor
1171 newpath 465 365 moveto
1172 426 354 369 337 324 325 curveto
1173 stroke
1174 0.000 0.000 0.000 edgecolor
1175 newpath 324.58 321.52 moveto
1176 314 322 lineto
1177 322.57 328.23 lineto
1178 closepath fill
1179 1 setlinewidth
1180 solid
1181 0.000 0.000 0.000 edgecolor
1182 newpath 324.58 321.52 moveto
1183 314 322 lineto
1184 322.57 328.23 lineto
1185 closepath stroke
1186 grestore
1187 % v25->v20
1188 gsave
1189 1 setlinewidth
1190 0.000 0.000 0.000 edgecolor
1191 newpath 538 362 moveto
1192 557 352 583 337 604 326 curveto
1193 stroke
1194 0.000 0.000 0.000 edgecolor
1195 newpath 605.96 328.92 moveto
1196 613 321 lineto
1197 602.56 322.8 lineto
1198 closepath fill
1199 1 setlinewidth
1200 solid
1201 0.000 0.000 0.000 edgecolor
1202 newpath 605.96 328.92 moveto
1203 613 321 lineto
1204 602.56 322.8 lineto
1205 closepath stroke
1206 grestore
1207 % v26
1208 gsave
1209 1 setlinewidth
1210 0.000 0.000 0.000 nodecolor
1211 506 450 75.05 18 ellipse_path stroke
1212 0.000 0.000 0.000 nodecolor
1213 14 /Times-Roman set_font
1214 460 445.9 moveto 92 (ic-c=iic-c=icic-c) alignedtext
1215 grestore
1216 % v26->v22
1217 gsave
1218 1 setlinewidth
1219 0.000 0.000 0.000 edgecolor
1220 newpath 538 434 moveto
1221 559 424 585 409 608 398 curveto
1222 stroke
1223 0.000 0.000 0.000 edgecolor
1224 newpath 609.28 401.26 moveto
1225 617 394 lineto
1226 606.44 394.86 lineto
1227 closepath fill
1228 1 setlinewidth
1229 solid
1230 0.000 0.000 0.000 edgecolor
1231 newpath 609.28 401.26 moveto
1232 617 394 lineto
1233 606.44 394.86 lineto
1234 closepath stroke
1235 grestore
1236 % v26->v24
1237 gsave
1238 1 setlinewidth
1239 0.000 0.000 0.000 edgecolor
1240 newpath 465 435 moveto
1241 437 424 398 410 368 399 curveto
1242 stroke
1243 0.000 0.000 0.000 edgecolor
1244 newpath 368.58 395.46 moveto
1245 358 395 lineto
1246 365.98 401.96 lineto
1247 closepath fill
1248 1 setlinewidth
1249 solid
1250 0.000 0.000 0.000 edgecolor
1251 newpath 368.58 395.46 moveto
1252 358 395 lineto
1253 365.98 401.96 lineto
1254 closepath stroke
1255 grestore
1256 % v26->v25
1257 gsave
1258 1 setlinewidth
1259 0.000 0.000 0.000 edgecolor
1260 newpath 507 432 moveto
1261 508 424 508 415 508 406 curveto
1262 stroke
1263 0.000 0.000 0.000 edgecolor
1264 newpath 511.5 406 moveto
1265 508 396 lineto
1266 504.5 406 lineto
1267 closepath fill
1268 1 setlinewidth
1269 solid
1270 0.000 0.000 0.000 edgecolor
1271 newpath 511.5 406 moveto
1272 508 396 lineto
1273 504.5 406 lineto
1274 closepath stroke
1275 grestore
1276 % v27
1277 gsave
1278 1 setlinewidth
1279 0.000 0.000 0.000 nodecolor
1280 663 522 43.08 18 ellipse_path stroke
1281 0.000 0.000 0.000 nodecolor
1282 14 /Times-Roman set_font
1283 640 517.9 moveto 46 (ici-=iici-) alignedtext
1284 grestore
1285 % v27->v23
1286 gsave
1287 1 setlinewidth
1288 0.000 0.000 0.000 edgecolor
1289 newpath 663 504 moveto
1290 663 496 663 487 663 478 curveto
1291 stroke
1292 0.000 0.000 0.000 edgecolor
1293 newpath 666.5 478 moveto
1294 663 468 lineto
1295 659.5 478 lineto
1296 closepath fill
1297 1 setlinewidth
1298 solid
1299 0.000 0.000 0.000 edgecolor
1300 newpath 666.5 478 moveto
1301 663 468 lineto
1302 659.5 478 lineto
1303 closepath stroke
1304 grestore
1305 % v27->v26
1306 gsave
1307 1 setlinewidth
1308 0.000 0.000 0.000 edgecolor
1309 newpath 634 509 moveto
1310 610 498 577 483 550 470 curveto
1311 stroke
1312 0.000 0.000 0.000 edgecolor
1313 newpath 551.56 466.86 moveto
1314 541 466 lineto
1315 548.72 473.26 lineto
1316 closepath fill
1317 1 setlinewidth
1318 solid
1319 0.000 0.000 0.000 edgecolor
1320 newpath 551.56 466.86 moveto
1321 541 466 lineto
1322 548.72 473.26 lineto
1323 closepath stroke
1324 grestore
1325 % v28
1326 gsave
1327 1 setlinewidth
1328 0.000 0.000 0.000 nodecolor
1329 709 594 45.17 18 ellipse_path stroke
1330 0.000 0.000 0.000 nodecolor
1331 14 /Times-Roman set_font
1332 684.5 589.9 moveto 49 (i-=i-c=ii-) alignedtext
1333 grestore
1334 % v28->v12
1335 gsave
1336 1 setlinewidth
1337 0.000 0.000 0.000 edgecolor
1338 newpath 713 576 moveto
1339 718 552 728 507 736 468 curveto
1340 740 447 745 424 749 406 curveto
1341 stroke
1342 0.000 0.000 0.000 edgecolor
1343 newpath 752.47 406.49 moveto
1344 751 396 lineto
1345 745.61 405.12 lineto
1346 closepath fill
1347 1 setlinewidth
1348 solid
1349 0.000 0.000 0.000 edgecolor
1350 newpath 752.47 406.49 moveto
1351 751 396 lineto
1352 745.61 405.12 lineto
1353 closepath stroke
1354 grestore
1355 % v28->v27
1356 gsave
1357 1 setlinewidth
1358 0.000 0.000 0.000 edgecolor
1359 newpath 698 576 moveto
1360 693 568 686 558 680 548 curveto
1361 stroke
1362 0.000 0.000 0.000 edgecolor
1363 newpath 682.8 545.9 moveto
1364 674 540 lineto
1365 677.2 550.1 lineto
1366 closepath fill
1367 1 setlinewidth
1368 solid
1369 0.000 0.000 0.000 edgecolor
1370 newpath 682.8 545.9 moveto
1371 674 540 lineto
1372 677.2 550.1 lineto
1373 closepath stroke
1374 grestore
1375 endpage
1376 showpage
1377 grestore
1378 %%PageTrailer
1379 %%EndPage: 1
1380 %%Trailer
1381 %%Pages: 1
1382 %%BoundingBox: 36 36 917 656
1383 end
1384 restore
1385 %%EOF