-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcounter-example-tree.eps
743 lines (721 loc) · 14.8 KB
/
counter-example-tree.eps
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
%!PS-Adobe-3.0 EPSF-3.0
%%Creator: graphviz version 2.43.0 (0)
%%Title: %3
%%Pages: 1
%%BoundingBox: 36 36 482 368
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin
/setupLatin1 {
mark
/EncodingVector 256 array def
EncodingVector 0
ISOLatin1Encoding 0 255 getinterval putinterval
EncodingVector 45 /hyphen put
% Set up ISO Latin 1 character encoding
/starnetISO {
dup dup findfont dup length dict begin
{ 1 index /FID ne { def }{ pop pop } ifelse
} forall
/Encoding EncodingVector def
currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def
%%BeginResource: procset graphviz 0 0
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def
/InvScaleFactor 1.0 def
/set_scale {
dup 1 exch div /InvScaleFactor exch def
scale
} bind def
% styles
/solid { [] 0 setdash } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def
/tapered { } bind def
% hooks for setting color
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def
/beginpage { % i j npages
/npages exch def
/j exch def
/i exch def
/str 10 string def
npages 1 gt {
gsave
coordfont setfont
0 0 moveto
(\() show i str cvs show (,) show j str cvs show (\)) show
grestore
} if
} bind def
/set_font {
findfont exch
scalefont setfont
} def
% draw text fitted to its expected width
/alignedtext { % width text
/text exch def
/width exch def
gsave
width 0 gt {
[] 0 setdash
text stringwidth pop width exch sub text length div 0 text ashow
} if
grestore
} def
/boxprim { % xcorner ycorner xsize ysize
4 2 roll
moveto
2 copy
exch 0 rlineto
0 exch rlineto
pop neg 0 rlineto
closepath
} bind def
/ellipse_path {
/ry exch def
/rx exch def
/y exch def
/x exch def
matrix currentmatrix
newpath
x y translate
rx ry scale
0 0 1 0 360 arc
setmatrix
} bind def
/endpage { showpage } bind def
/showpage { } def
/layercolorseq
[ % layer color sequence - darkest to lightest
[0 0 0]
[.2 .8 .8]
[.4 .8 .8]
[.6 .8 .8]
[.8 .8 .8]
]
def
/layerlen layercolorseq length def
/setlayer {/maxlayer exch def /curlayer exch def
layercolorseq curlayer 1 sub layerlen mod get
aload pop sethsbcolor
/nodecolor {nopcolor} def
/edgecolor {nopcolor} def
/graphcolor {nopcolor} def
} bind def
/onlayer { curlayer ne {invis} if } def
/onlayers {
/myupper exch def
/mylower exch def
curlayer mylower lt
curlayer myupper gt
or
{invis} if
} def
/curlayer 0 def
%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def
% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
userdict (<<) cvn ([) cvn load put
userdict (>>) cvn ([) cvn load put
} if
%%EndSetup
setupLatin1
%%Page: 1 1
%%PageBoundingBox: 36 36 482 368
%%PageOrientation: Portrait
0 0 1 beginpage
gsave
36 36 446 332 boxprim clip newpath
1 1 set_scale 0 rotate 40 40 translate
% 0, 8, 5
gsave
1 setlinewidth
0 0 0 nodecolor
232.3466 306 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
214.3466 302.3 moveto 36 (0, 8, 5) alignedtext
grestore
% 0, 9, 5
gsave
1 setlinewidth
0 0 0 nodecolor
189.3466 234 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
171.3466 230.3 moveto 36 (0, 9, 5) alignedtext
grestore
% 0, 8, 5->0, 9, 5
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 222.3735 288.7646 moveto
217.1843 280.3172 210.7233 269.7993 204.8955 260.3122 curveto
stroke
0 0 0 edgecolor
newpath 207.7808 258.3222 moveto
199.5643 251.6334 lineto
201.8162 261.9862 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 207.7808 258.3222 moveto
199.5643 251.6334 lineto
201.8162 261.9862 lineto
closepath stroke
grestore
% 0, 8, 6
gsave
1 setlinewidth
0 0 0 nodecolor
275.3466 234 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
257.3466 230.3 moveto 36 (0, 8, 6) alignedtext
grestore
% 0, 8, 5->0, 8, 6
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 242.3197 288.7646 moveto
247.5089 280.3172 253.9699 269.7993 259.7977 260.3122 curveto
stroke
0 0 0 edgecolor
newpath 262.877 261.9862 moveto
265.1289 251.6334 lineto
256.9124 258.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 262.877 261.9862 moveto
265.1289 251.6334 lineto
256.9124 258.3222 lineto
closepath stroke
grestore
% 0, 10, 5
gsave
1 setlinewidth
0 0 0 nodecolor
142.3466 162 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
120.8466 158.3 moveto 43 (0, 10, 5) alignedtext
grestore
% 0, 9, 5->0, 10, 5
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 178.4457 216.7646 moveto
172.7154 208.2301 165.5661 197.5822 159.1451 188.0191 curveto
stroke
0 0 0 edgecolor
newpath 161.9949 185.9846 moveto
153.5147 179.6334 lineto
156.1833 189.8867 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 161.9949 185.9846 moveto
153.5147 179.6334 lineto
156.1833 189.8867 lineto
closepath stroke
grestore
% 0, 9, 6
gsave
1 setlinewidth
0 0 0 nodecolor
232.3466 162 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
214.3466 158.3 moveto 36 (0, 9, 6) alignedtext
grestore
% 0, 9, 5->0, 9, 6
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 199.3197 216.7646 moveto
204.5089 208.3172 210.9699 197.7993 216.7977 188.3122 curveto
stroke
0 0 0 edgecolor
newpath 219.877 189.9862 moveto
222.1289 179.6334 lineto
213.9124 186.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 219.877 189.9862 moveto
222.1289 179.6334 lineto
213.9124 186.3222 lineto
closepath stroke
grestore
% 0, 8, 6->0, 9, 6
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 265.3735 216.7646 moveto
260.1843 208.3172 253.7233 197.7993 247.8955 188.3122 curveto
stroke
0 0 0 edgecolor
newpath 250.7808 186.3222 moveto
242.5643 179.6334 lineto
244.8162 189.9862 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 250.7808 186.3222 moveto
242.5643 179.6334 lineto
244.8162 189.9862 lineto
closepath stroke
grestore
% 0, 8, 7
gsave
1 setlinewidth
0 0 0 nodecolor
318.3466 162 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
300.3466 158.3 moveto 36 (0, 8, 7) alignedtext
grestore
% 0, 8, 6->0, 8, 7
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 285.3197 216.7646 moveto
290.5089 208.3172 296.9699 197.7993 302.7977 188.3122 curveto
stroke
0 0 0 edgecolor
newpath 305.877 189.9862 moveto
308.1289 179.6334 lineto
299.9124 186.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 305.877 189.9862 moveto
308.1289 179.6334 lineto
299.9124 186.3222 lineto
closepath stroke
grestore
% 0, 11, 5
gsave
1 setlinewidth
0 0 0 nodecolor
90.3466 90 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
68.8466 86.3 moveto 43 (0, 11, 5) alignedtext
grestore
% 0, 10, 5->0, 11, 5
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 130.2861 144.7646 moveto
123.7886 136.0181 115.6422 125.0518 108.4043 115.3084 curveto
stroke
0 0 0 edgecolor
newpath 111.1146 113.0876 moveto
102.3417 107.1473 lineto
105.4954 117.2619 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 111.1146 113.0876 moveto
102.3417 107.1473 lineto
105.4954 117.2619 lineto
closepath stroke
grestore
% 0, 10, 6
gsave
1 setlinewidth
0 0 0 nodecolor
185.3466 90 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
163.8466 86.3 moveto 43 (0, 10, 6) alignedtext
grestore
% 0, 10, 5->0, 10, 6
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 152.537 144.411 moveto
157.7315 135.9549 164.1572 125.4944 169.9414 116.0783 curveto
stroke
0 0 0 edgecolor
newpath 172.9774 117.8227 moveto
175.2293 107.4699 lineto
167.0128 114.1587 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 172.9774 117.8227 moveto
175.2293 107.4699 lineto
167.0128 114.1587 lineto
closepath stroke
grestore
% 0, 9, 6->0, 10, 6
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 221.4457 144.7646 moveto
215.7154 136.2301 208.5661 125.5822 202.1451 116.0191 curveto
stroke
0 0 0 edgecolor
newpath 204.9949 113.9846 moveto
196.5147 107.6334 lineto
199.1833 117.8867 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 204.9949 113.9846 moveto
196.5147 107.6334 lineto
199.1833 117.8867 lineto
closepath stroke
grestore
% 0, 9, 7
gsave
1 setlinewidth
0 0 0 nodecolor
275.3466 90 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
257.3466 86.3 moveto 36 (0, 9, 7) alignedtext
grestore
% 0, 9, 6->0, 9, 7
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 242.3197 144.7646 moveto
247.5089 136.3172 253.9699 125.7993 259.7977 116.3122 curveto
stroke
0 0 0 edgecolor
newpath 262.877 117.9862 moveto
265.1289 107.6334 lineto
256.9124 114.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 262.877 117.9862 moveto
265.1289 107.6334 lineto
256.9124 114.3222 lineto
closepath stroke
grestore
% 0, 8, 7->0, 9, 7
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 308.3735 144.7646 moveto
303.1843 136.3172 296.7233 125.7993 290.8955 116.3122 curveto
stroke
0 0 0 edgecolor
newpath 293.7808 114.3222 moveto
285.5643 107.6334 lineto
287.8162 117.9862 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 293.7808 114.3222 moveto
285.5643 107.6334 lineto
287.8162 117.9862 lineto
closepath stroke
grestore
% 0, 8, 8
gsave
1 setlinewidth
0 0 0 nodecolor
361.3466 90 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
343.3466 86.3 moveto 36 (0, 8, 8) alignedtext
grestore
% 0, 8, 7->0, 8, 8
gsave
1 setlinewidth
0 0 0 edgecolor
newpath 328.3197 144.7646 moveto
333.5089 136.3172 339.9699 125.7993 345.7977 116.3122 curveto
stroke
0 0 0 edgecolor
newpath 348.877 117.9862 moveto
351.1289 107.6334 lineto
342.9124 114.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 348.877 117.9862 moveto
351.1289 107.6334 lineto
342.9124 114.3222 lineto
closepath stroke
grestore
% 0, 12, 5
gsave
1 setlinewidth
dotted
0 0 0 nodecolor
38.3466 18 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
16.8466 14.3 moveto 43 (0, 12, 5) alignedtext
grestore
% 0, 11, 5->0, 12, 5
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 78.2861 72.7646 moveto
71.7886 64.0181 63.6422 53.0518 56.4043 43.3084 curveto
stroke
0 0 0 edgecolor
newpath 59.1146 41.0876 moveto
50.3417 35.1473 lineto
53.4954 45.2619 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 59.1146 41.0876 moveto
50.3417 35.1473 lineto
53.4954 45.2619 lineto
closepath stroke
grestore
% 0, 11, 6
gsave
1 setlinewidth
dotted
0 0 0 nodecolor
133.3466 18 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
111.8466 14.3 moveto 43 (0, 11, 6) alignedtext
grestore
% 0, 11, 5->0, 11, 6
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 100.537 72.411 moveto
105.7315 63.9549 112.1572 53.4944 117.9414 44.0783 curveto
stroke
0 0 0 edgecolor
newpath 120.9774 45.8227 moveto
123.2293 35.4699 lineto
115.0128 42.1587 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 120.9774 45.8227 moveto
123.2293 35.4699 lineto
115.0128 42.1587 lineto
closepath stroke
grestore
% 0, 10, 6->0, 11, 6
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 173.2861 72.7646 moveto
166.7886 64.0181 158.6422 53.0518 151.4043 43.3084 curveto
stroke
0 0 0 edgecolor
newpath 154.1146 41.0876 moveto
145.3417 35.1473 lineto
148.4954 45.2619 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 154.1146 41.0876 moveto
145.3417 35.1473 lineto
148.4954 45.2619 lineto
closepath stroke
grestore
% 0, 10, 7
gsave
1 setlinewidth
dotted
0 0 0 nodecolor
228.3466 18 38.1938 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
206.8466 14.3 moveto 43 (0, 10, 7) alignedtext
grestore
% 0, 10, 6->0, 10, 7
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 195.537 72.411 moveto
200.7315 63.9549 207.1572 53.4944 212.9414 44.0783 curveto
stroke
0 0 0 edgecolor
newpath 215.9774 45.8227 moveto
218.2293 35.4699 lineto
210.0128 42.1587 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 215.9774 45.8227 moveto
218.2293 35.4699 lineto
210.0128 42.1587 lineto
closepath stroke
grestore
% 0, 9, 7->0, 10, 7
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 264.4457 72.7646 moveto
258.7154 64.2301 251.5661 53.5822 245.1451 44.0191 curveto
stroke
0 0 0 edgecolor
newpath 247.9949 41.9846 moveto
239.5147 35.6334 lineto
242.1833 45.8867 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 247.9949 41.9846 moveto
239.5147 35.6334 lineto
242.1833 45.8867 lineto
closepath stroke
grestore
% 0, 9, 8
gsave
1 setlinewidth
dotted
0 0 0 nodecolor
318.3466 18 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
300.3466 14.3 moveto 36 (0, 9, 8) alignedtext
grestore
% 0, 9, 7->0, 9, 8
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 285.3197 72.7646 moveto
290.5089 64.3172 296.9699 53.7993 302.7977 44.3122 curveto
stroke
0 0 0 edgecolor
newpath 305.877 45.9862 moveto
308.1289 35.6334 lineto
299.9124 42.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 305.877 45.9862 moveto
308.1289 35.6334 lineto
299.9124 42.3222 lineto
closepath stroke
grestore
% 0, 8, 8->0, 9, 8
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 351.3735 72.7646 moveto
346.1843 64.3172 339.7233 53.7993 333.8955 44.3122 curveto
stroke
0 0 0 edgecolor
newpath 336.7808 42.3222 moveto
328.5643 35.6334 lineto
330.8162 45.9862 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 336.7808 42.3222 moveto
328.5643 35.6334 lineto
330.8162 45.9862 lineto
closepath stroke
grestore
% 0, 8, 9
gsave
1 setlinewidth
dotted
0 0 0 nodecolor
404.3466 18 33.5952 18 ellipse_path stroke
0 0 0 nodecolor
14 /Times-Roman set_font
386.3466 14.3 moveto 36 (0, 8, 9) alignedtext
grestore
% 0, 8, 8->0, 8, 9
gsave
1 setlinewidth
dotted
0 0 0 edgecolor
newpath 371.3197 72.7646 moveto
376.5089 64.3172 382.9699 53.7993 388.7977 44.3122 curveto
stroke
0 0 0 edgecolor
newpath 391.877 45.9862 moveto
394.1289 35.6334 lineto
385.9124 42.3222 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 391.877 45.9862 moveto
394.1289 35.6334 lineto
385.9124 42.3222 lineto
closepath stroke
grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
end
restore
%%EOF