-
Notifications
You must be signed in to change notification settings - Fork 3
/
jensen_proof.eps
1637 lines (1576 loc) · 27.1 KB
/
jensen_proof.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
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%!PS-Adobe-3.0 EPSF-3.0
%%Title: jensen_proof.eps
%%Creator: matplotlib version 1.5.1, http://matplotlib.org/
%%CreationDate: Thu Jun 9 21:40:53 2016
%%Orientation: portrait
%%BoundingBox: 60 205 551 586
%%EndComments
%%BeginProlog
/mpldict 11 dict def
mpldict begin
/m { moveto } bind def
/l { lineto } bind def
/r { rlineto } bind def
/c { curveto } bind def
/cl { closepath } bind def
/box {
m
1 index 0 r
0 exch r
neg 0 r
cl
} bind def
/clipbox {
box
clip
newpath
} bind def
%!PS-Adobe-3.0 Resource-Font
%%Title: Bitstream Vera Sans
%%Copyright: Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved.
%%Creator: Converted from TrueType to type 3 by PPR
25 dict begin
/_d{bind def}bind def
/_m{moveto}_d
/_l{lineto}_d
/_cl{closepath eofill}_d
/_c{curveto}_d
/_sc{7 -1 roll{setcachedevice}{pop pop pop pop pop pop}ifelse}_d
/_e{exec}_d
/FontName /BitstreamVeraSans-Roman def
/PaintType 0 def
/FontMatrix[.001 0 0 .001 0 0]def
/FontBBox[-183 -236 1287 928]def
/FontType 3 def
/Encoding [ /zero /one /two /three /four /five /minus ] def
/FontInfo 10 dict dup begin
/FamilyName (Bitstream Vera Sans) def
/FullName (Bitstream Vera Sans) def
/Notice (Copyright (c) 2003 by Bitstream, Inc. All Rights Reserved. Bitstream Vera is a trademark of Bitstream, Inc.) def
/Weight (Roman) def
/Version (Release 1.10) def
/ItalicAngle 0.0 def
/isFixedPitch false def
/UnderlinePosition -213 def
/UnderlineThickness 143 def
end readonly def
/CharStrings 7 dict dup begin
/zero{636 0 66 -13 570 742 _sc
318 664 _m
267 664 229 639 203 589 _c
177 539 165 464 165 364 _c
165 264 177 189 203 139 _c
229 89 267 64 318 64 _c
369 64 407 89 433 139 _c
458 189 471 264 471 364 _c
471 464 458 539 433 589 _c
407 639 369 664 318 664 _c
318 742 _m
399 742 461 709 505 645 _c
548 580 570 486 570 364 _c
570 241 548 147 505 83 _c
461 19 399 -13 318 -13 _c
236 -13 173 19 130 83 _c
87 147 66 241 66 364 _c
66 486 87 580 130 645 _c
173 709 236 742 318 742 _c
_cl}_d
/one{636 0 110 0 544 729 _sc
124 83 _m
285 83 _l
285 639 _l
110 604 _l
110 694 _l
284 729 _l
383 729 _l
383 83 _l
544 83 _l
544 0 _l
124 0 _l
124 83 _l
_cl}_d
/two{{636 0 73 0 536 742 _sc
192 83 _m
536 83 _l
536 0 _l
73 0 _l
73 83 _l
110 121 161 173 226 239 _c
290 304 331 346 348 365 _c
380 400 402 430 414 455 _c
426 479 433 504 433 528 _c
433 566 419 598 392 622 _c
365 646 330 659 286 659 _c
255 659 222 653 188 643 _c
154 632 117 616 78 594 _c
78 694 _l
118 710 155 722 189 730 _c
223 738 255 742 284 742 _c
}_e{359 742 419 723 464 685 _c
509 647 532 597 532 534 _c
532 504 526 475 515 449 _c
504 422 484 390 454 354 _c
446 344 420 317 376 272 _c
332 227 271 164 192 83 _c
_cl}_e}_d
/three{{636 0 76 -13 556 742 _sc
406 393 _m
453 383 490 362 516 330 _c
542 298 556 258 556 212 _c
556 140 531 84 482 45 _c
432 6 362 -13 271 -13 _c
240 -13 208 -10 176 -4 _c
144 1 110 10 76 22 _c
76 117 _l
103 101 133 89 166 81 _c
198 73 232 69 268 69 _c
330 69 377 81 409 105 _c
441 129 458 165 458 212 _c
458 254 443 288 413 312 _c
383 336 341 349 287 349 _c
}_e{202 349 _l
202 430 _l
291 430 _l
339 430 376 439 402 459 _c
428 478 441 506 441 543 _c
441 580 427 609 401 629 _c
374 649 336 659 287 659 _c
260 659 231 656 200 650 _c
169 644 135 635 98 623 _c
98 711 _l
135 721 170 729 203 734 _c
235 739 266 742 296 742 _c
370 742 429 725 473 691 _c
517 657 539 611 539 553 _c
539 513 527 479 504 451 _c
481 423 448 403 406 393 _c
_cl}_e}_d
/four{636 0 49 0 580 729 _sc
378 643 _m
129 254 _l
378 254 _l
378 643 _l
352 729 _m
476 729 _l
476 254 _l
580 254 _l
580 172 _l
476 172 _l
476 0 _l
378 0 _l
378 172 _l
49 172 _l
49 267 _l
352 729 _l
_cl}_d
/five{{636 0 77 -13 549 729 _sc
108 729 _m
495 729 _l
495 646 _l
198 646 _l
198 467 _l
212 472 227 476 241 478 _c
255 480 270 482 284 482 _c
365 482 429 459 477 415 _c
525 370 549 310 549 234 _c
549 155 524 94 475 51 _c
426 8 357 -13 269 -13 _c
238 -13 207 -10 175 -6 _c
143 -1 111 6 77 17 _c
77 116 _l
106 100 136 88 168 80 _c
199 72 232 69 267 69 _c
}_e{323 69 368 83 401 113 _c
433 143 450 183 450 234 _c
450 284 433 324 401 354 _c
368 384 323 399 267 399 _c
241 399 214 396 188 390 _c
162 384 135 375 108 363 _c
108 729 _l
_cl}_e}_d
/minus{838 0 106 272 732 355 _sc
106 355 _m
732 355 _l
732 272 _l
106 272 _l
106 355 _l
_cl}_d
end readonly def
/BuildGlyph
{exch begin
CharStrings exch
2 copy known not{pop /.notdef}if
true 3 1 roll get exec
end}_d
/BuildChar {
1 index /Encoding get exch get
1 index /BuildGlyph get exec
}_d
FontName currentdict end definefont pop
%!PS-Adobe-3.0 Resource-Font
%%Title: cmmi10
%%Copyright: Copyright (C) 1994, Basil K. Malyshev. All Rights Reserved.012BaKoMa Fonts Collection, Level-B.
%%Creator: Converted from TrueType to type 3 by PPR
25 dict begin
/_d{bind def}bind def
/_m{moveto}_d
/_l{lineto}_d
/_cl{closepath eofill}_d
/_c{curveto}_d
/_sc{7 -1 roll{setcachedevice}{pop pop pop pop pop pop}ifelse}_d
/_e{exec}_d
/FontName /Cmmi10 def
/PaintType 0 def
/FontMatrix[.001 0 0 .001 0 0]def
/FontBBox[-34 -250 1048 750]def
/FontType 3 def
/Encoding [ /x /L /f /X ] def
/FontInfo 10 dict dup begin
/FamilyName (cmmi10) def
/FullName (cmmi10) def
/Notice (Copyright (C) 1994, Basil K. Malyshev. All Rights Reserved.012BaKoMa Fonts Collection, Level-B. ) def
/Weight (Regular) def
/Version (1.1/12-Nov-94) def
/ItalicAngle 0.0 def
/isFixedPitch false def
/UnderlinePosition -133 def
/UnderlineThickness 20 def
end readonly def
/CharStrings 4 dict dup begin
/x{{571 0 31 -10 526 442 _sc
78 29 _m
90 19 106 15 128 15 _c
148 15 167 25 183 45 _c
199 65 210 87 216 111 _c
261 288 _l
268 320 272 342 272 354 _c
272 370 267 385 258 397 _c
248 409 235 416 219 416 _c
198 416 178 409 160 396 _c
141 382 125 365 113 345 _c
100 325 91 304 86 284 _c
84 280 82 278 78 278 _c
66 278 _l
60 278 58 281 58 287 _c
58 290 _l
}_e{64 314 75 338 91 362 _c
107 386 126 405 149 420 _c
171 434 195 442 221 442 _c
245 442 267 435 287 422 _c
307 409 321 391 329 369 _c
340 389 354 407 372 421 _c
390 435 409 442 431 442 _c
445 442 460 439 475 434 _c
490 429 502 421 512 411 _c
521 401 526 388 526 372 _c
526 355 520 340 509 328 _c
498 316 484 310 468 310 _c
457 310 448 313 441 320 _c
}_e{433 327 430 336 430 346 _c
430 360 434 372 444 383 _c
454 393 465 400 479 402 _c
467 411 450 416 429 416 _c
407 416 389 406 373 386 _c
357 366 346 344 340 320 _c
296 143 _l
288 116 285 94 285 77 _c
285 60 289 45 299 33 _c
309 21 322 15 338 15 _c
369 15 397 28 421 56 _c
445 84 462 114 470 147 _c
471 151 474 153 478 153 _c
490 153 _l
492 153 494 152 496 150 _c
}_e{498 148 499 146 499 144 _c
499 143 498 142 498 141 _c
488 101 468 66 438 36 _c
408 5 374 -10 336 -10 _c
311 -10 289 -3 269 9 _c
249 21 236 39 228 62 _c
217 42 202 25 184 11 _c
166 -3 146 -10 126 -10 _c
111 -10 96 -7 81 -3 _c
66 1 54 9 45 19 _c
35 29 31 43 31 59 _c
31 75 36 89 47 102 _c
57 114 71 121 88 121 _c
}_e{98 121 107 117 115 111 _c
123 104 127 95 127 85 _c
127 71 122 58 113 48 _c
103 38 92 31 78 29 _c
_cl}_e}_d
/L{{680 0 37 0 645 683 _sc
47 0 _m
40 0 37 4 37 13 _c
37 15 38 18 39 22 _c
40 26 41 29 43 31 _c
45 33 47 35 50 35 _c
90 35 119 37 135 42 _c
143 44 150 53 154 69 _c
291 618 _l
292 624 293 629 293 632 _c
293 639 289 643 281 644 _c
268 646 244 648 209 648 _c
202 648 199 652 199 661 _c
201 669 203 675 205 678 _c
206 681 210 683 216 683 _c
}_e{511 683 _l
517 683 520 678 520 670 _c
519 663 518 658 517 654 _c
515 650 512 648 507 648 _c
457 648 424 646 408 643 _c
392 640 382 630 378 614 _c
241 65 _l
238 57 237 49 237 43 _c
237 37 248 35 271 35 _c
364 35 _l
416 35 458 45 491 66 _c
523 87 547 111 563 137 _c
579 163 592 190 603 218 _c
613 246 621 261 626 262 _c
635 262 _l
641 262 645 257 645 249 _c
}_e{556 7 _l
555 2 552 0 547 0 _c
47 0 _l
_cl}_e}_d
/f{{489 0 53 -204 552 705 _sc
97 -164 _m
109 -173 124 -178 142 -178 _c
166 -178 185 -151 200 -99 _c
206 -73 223 9 251 151 _c
297 396 _l
211 396 _l
204 396 201 400 201 409 _c
203 423 208 431 214 431 _c
303 431 _l
315 496 _l
319 516 322 533 326 548 _c
329 562 332 576 336 588 _c
340 600 345 614 353 630 _c
364 652 379 670 399 684 _c
418 698 439 705 462 705 _c
476 705 490 702 504 697 _c
}_e{518 691 529 683 538 673 _c
547 662 552 649 552 635 _c
552 617 546 602 535 590 _c
523 578 510 572 494 572 _c
483 572 474 575 466 582 _c
458 588 455 597 455 608 _c
455 622 460 635 470 646 _c
480 657 492 663 507 665 _c
494 674 479 679 461 679 _c
451 679 441 674 432 665 _c
423 655 417 645 415 635 _c
411 617 401 571 387 497 _c
375 431 _l
478 431 _l
484 431 488 426 488 418 _c
}_e{487 416 486 413 485 409 _c
484 405 483 401 481 399 _c
479 397 477 396 475 396 _c
368 396 _l
322 152 _l
316 116 309 80 301 44 _c
293 8 283 -29 269 -68 _c
255 -106 238 -139 216 -165 _c
194 -191 169 -204 140 -204 _c
117 -204 97 -197 79 -185 _c
61 -172 53 -155 53 -134 _c
53 -116 58 -101 69 -89 _c
80 -77 94 -71 111 -71 _c
121 -71 130 -74 138 -81 _c
146 -87 150 -96 150 -107 _c
}_e{150 -121 144 -134 134 -146 _c
123 -158 111 -164 97 -164 _c
_cl}_e}_d
/X{{828 0 26 0 852 683 _sc
36 0 _m
29 0 26 4 26 13 _c
26 15 26 18 28 22 _c
29 26 30 29 32 31 _c
34 33 36 35 40 35 _c
100 35 152 57 196 103 _c
196 103 197 104 198 104 _c
198 104 199 105 199 105 _c
418 341 _l
299 628 _l
292 636 281 642 266 644 _c
250 646 232 648 212 648 _c
205 648 202 652 202 661 _c
204 669 206 675 207 678 _c
}_e{208 681 212 683 219 683 _c
469 683 _l
475 683 479 678 479 670 _c
479 668 478 665 477 661 _c
475 657 474 653 472 651 _c
470 649 468 648 465 648 _c
452 648 439 646 426 642 _c
413 638 404 631 399 622 _c
485 415 _l
649 591 _l
649 593 651 596 655 602 _c
659 608 661 613 661 619 _c
661 629 656 636 648 641 _c
640 645 630 648 618 648 _c
611 648 608 652 608 661 _c
}_e{610 669 611 675 613 678 _c
614 681 618 683 625 683 _c
842 683 _l
845 683 847 681 849 679 _c
851 676 852 673 852 670 _c
852 668 851 665 850 661 _c
849 657 848 654 846 652 _c
844 649 842 648 839 648 _c
807 648 779 642 753 631 _c
727 619 704 602 682 580 _c
682 580 681 579 681 579 _c
680 579 679 578 679 578 _c
498 383 _l
635 55 _l
645 41 674 35 722 35 _c
}_e{728 35 732 30 732 22 _c
730 13 728 7 726 4 _c
724 1 721 0 715 0 _c
465 0 _l
458 0 455 4 455 13 _c
455 15 456 18 457 22 _c
457 26 459 29 461 31 _c
463 33 465 35 468 35 _c
480 35 493 37 507 41 _c
520 45 529 51 535 61 _c
431 310 _l
229 92 _l
228 89 226 85 222 80 _c
218 74 217 69 217 64 _c
217 54 221 46 230 42 _c
}_e{239 37 249 35 260 35 _c
266 35 270 30 270 22 _c
268 12 266 6 265 4 _c
263 1 259 0 253 0 _c
36 0 _l
_cl}_e}_d
end readonly def
/BuildGlyph
{exch begin
CharStrings exch
2 copy known not{pop /.notdef}if
true 3 1 roll get exec
end}_d
/BuildChar {
1 index /Encoding get exch get
1 index /BuildGlyph get exec
}_d
FontName currentdict end definefont pop
%!PS-Adobe-3.0 Resource-Font
%%Title: STIXNonUnicode-Italic
%%Copyright: Copyright (c) 2001-2010 by the STI Pub Companies, consisting of the American Chemical Society, the American Institute of Physics, the American Mathematical Society, the American Physical Society, Elsevier, Inc., and The Institute of Electrical and Electronic Engineers, Inc. Portions copyright (c) 1998-2003 by MicroPress, Inc. Portions copyright (c) 1990 by Elsevier, Inc. All rights reserved.
%%Creator: Converted from TrueType to type 3 by PPR
25 dict begin
/_d{bind def}bind def
/_m{moveto}_d
/_l{lineto}_d
/_cl{closepath eofill}_d
/_c{curveto}_d
/_sc{7 -1 roll{setcachedevice}{pop pop pop pop pop pop}ifelse}_d
/_e{exec}_d
/FontName /STIXNonUnicode-Italic def
/PaintType 0 def
/FontMatrix[.001 0 0 .001 0 0]def
/FontBBox[-141 -240 1128 795]def
/FontType 3 def
/Encoding [ /uniE156 ] def
/FontInfo 10 dict dup begin
/FamilyName (STIXNonUnicode) def
/FullName (STIXNonUnicode-Italic) def
/Notice (Copyright (c) 2001-2010 by the STI Pub Companies, consisting of the American Chemical Society, the American Institute of Physics, the American Mathematical Society, the American Physical Society, Elsevier, Inc., and The Institute of Electrical and Electronic Engineers, Inc. Portions copyright (c) 1998-2003 by MicroPress, Inc. Portions copyright (c) 1990 by Elsevier, Inc. All rights reserved. STIX Fonts(TM) is a trademark of The Institute of Electrical and Electronics Engineers, Inc.) def
/Weight (Italic) def
/Version (Version 1.0.0) def
/ItalicAngle -17.43909 def
/isFixedPitch false def
/UnderlinePosition -107 def
/UnderlineThickness 53 def
end readonly def
/CharStrings 1 dict dup begin
/uniE156{639 0 17 0 664 653 _sc
664 653 _m
655 616 _l
336 616 _l
267 354 _l
549 354 _l
538 317 _l
257 317 _l
182 37 _l
538 37 _l
530 0 _l
17 0 _l
192 653 _l
664 653 _l
299 616 _m
221 616 _l
65 37 _l
145 37 _l
299 616 _l
_cl}_d
end readonly def
/BuildGlyph
{exch begin
CharStrings exch
2 copy known not{pop /.notdef}if
true 3 1 roll get exec
end}_d
/BuildChar {
1 index /Encoding get exch get
1 index /BuildGlyph get exec
}_d
FontName currentdict end definefont pop
%!PS-Adobe-3.0 Resource-Font
%%Title: cmr10
%%Copyright: Copyright (C) 1994, Basil K. Malyshev. All Rights Reserved.012BaKoMa Fonts Collection, Level-B.
%%Creator: Converted from TrueType to type 3 by PPR
25 dict begin
/_d{bind def}bind def
/_m{moveto}_d
/_l{lineto}_d
/_cl{closepath eofill}_d
/_c{curveto}_d
/_sc{7 -1 roll{setcachedevice}{pop pop pop pop pop pop}ifelse}_d
/_e{exec}_d
/FontName /Cmr10 def
/PaintType 0 def
/FontMatrix[.001 0 0 .001 0 0]def
/FontBBox[-44 -250 1009 750]def
/FontType 3 def
/Encoding [ /equal /bracketleft /parenright /bracketright /parenleft ] def
/FontInfo 10 dict dup begin
/FamilyName (cmr10) def
/FullName (cmr10) def
/Notice (Copyright (C) 1994, Basil K. Malyshev. All Rights Reserved.012BaKoMa Fonts Collection, Level-B. ) def
/Weight (Regular) def
/Version (1.1/12-Nov-94) def
/ItalicAngle 0.0 def
/isFixedPitch false def
/UnderlinePosition -133 def
/UnderlineThickness 20 def
end readonly def
/CharStrings 5 dict dup begin
/equal{{777 0 56 133 721 367 _sc
75 133 _m
69 133 65 135 61 139 _c
57 143 56 148 56 153 _c
56 158 57 163 61 167 _c
65 171 69 173 75 173 _c
703 173 _l
707 173 711 171 715 167 _c
719 163 721 158 721 153 _c
721 148 719 143 715 139 _c
711 135 707 133 703 133 _c
75 133 _l
75 327 _m
69 327 65 329 61 333 _c
57 337 56 341 56 347 _c
56 351 57 356 61 360 _c
}_e{65 364 69 367 75 367 _c
703 367 _l
707 367 711 364 715 360 _c
719 356 721 351 721 347 _c
721 341 719 337 715 333 _c
711 329 707 327 703 327 _c
75 327 _l
_cl}_e}_d
/bracketleft{277 0 118 -249 255 750 _sc
118 -249 _m
118 750 _l
255 750 _l
255 710 _l
158 710 _l
158 -209 _l
255 -209 _l
255 -249 _l
118 -249 _l
_cl}_d
/parenright{{388 0 56 -249 291 750 _sc
65 -249 _m
59 -249 56 -246 56 -240 _c
56 -237 56 -235 58 -234 _c
172 -122 229 38 229 250 _c
229 462 172 623 60 733 _c
57 734 56 737 56 741 _c
56 743 57 745 59 747 _c
61 749 63 750 65 750 _c
74 750 _l
76 750 77 749 79 748 _c
127 710 167 664 199 610 _c
231 556 254 498 269 437 _c
283 376 291 314 291 250 _c
291 202 287 156 279 110 _c
}_e{271 64 258 20 241 -24 _c
223 -68 201 -108 175 -146 _c
148 -184 116 -217 79 -247 _c
77 -248 76 -249 74 -249 _c
65 -249 _l
_cl}_e}_d
/bracketright{277 0 22 -249 159 750 _sc
22 -249 _m
22 -209 _l
119 -209 _l
119 710 _l
22 710 _l
22 750 _l
159 750 _l
159 -249 _l
22 -249 _l
_cl}_d
/parenleft{{388 0 97 -249 332 750 _sc
310 -247 _m
272 -217 240 -184 214 -146 _c
187 -108 165 -67 148 -25 _c
131 17 118 62 110 109 _c
101 155 97 202 97 250 _c
97 298 101 345 110 392 _c
118 438 131 483 149 527 _c
166 570 188 611 215 649 _c
242 687 274 720 310 748 _c
310 749 311 750 315 750 _c
324 750 _l
326 750 327 749 329 747 _c
331 745 332 743 332 741 _c
332 738 331 736 330 735 _c
}_e{297 703 270 668 248 632 _c
226 596 209 557 196 516 _c
183 474 174 432 168 388 _c
162 344 159 298 159 250 _c
159 38 215 -122 329 -232 _c
331 -234 332 -236 332 -240 _c
332 -242 331 -244 329 -246 _c
327 -248 326 -249 324 -249 _c
315 -249 _l
311 -249 310 -248 310 -247 _c
_cl}_e}_d
end readonly def
/BuildGlyph
{exch begin
CharStrings exch
2 copy known not{pop /.notdef}if
true 3 1 roll get exec
end}_d
/BuildChar {
1 index /Encoding get exch get
1 index /BuildGlyph get exec
}_d
FontName currentdict end definefont pop
end
%%EndProlog
mpldict begin
60.928 205.281 translate
490.144 381.438 0 0 clipbox
100000 setmiterlimit
gsave
0 0 m
490.14375 0 l
490.14375 381.4375 l
0 381.4375 l
cl
1.000 setgray
fill
grestore
gsave
36.54375 22.825 m
482.94375 22.825 l
482.94375 368.425 l
36.54375 368.425 l
cl
1.000 setgray
fill
grestore
1.000 setlinewidth
1 setlinejoin
2 setlinecap
[] 0 setdash
0.000 0.000 1.000 setrgbcolor
gsave
446.4 345.6 36.54 22.83 clipbox
36.54375 216.361 m
43.68615 206.727208 l
50.38215 198.052648 l
57.07815 189.723688 l
63.77415 181.740328 l
70.47015 174.102568 l
77.16615 166.810408 l
83.86215 159.863848 l
90.11175 153.6922 l
96.36135 147.821608 l
102.61095 142.252072 l
108.86055 136.983592 l
115.11015 132.016168 l
121.35975 127.3498 l
127.16295 123.286312 l
132.96615 119.482408 l
138.76935 115.938088 l
144.57255 112.653352 l
150.37575 109.6282 l
156.17895 106.862632 l
161.98215 104.356648 l
167.78535 102.110248 l
173.14215 100.267048 l
178.49895 98.645032 l
183.85575 97.2442 l
189.21255 96.064552 l
194.56935 95.106088 l
199.92615 94.368808 l
205.28295 93.852712 l
210.63975 93.5578 l
215.99655 93.484072 l
221.35335 93.631528 l
226.71015 94.000168 l
232.06695 94.589992 l
237.42375 95.401 l
242.78055 96.433192 l
248.13735 97.686568 l
253.49415 99.161128 l
258.85095 100.856872 l
264.20775 102.7738 l
269.56455 104.911912 l
275.36775 107.4778 l
281.17095 110.303272 l
286.97415 113.388328 l
292.77735 116.732968 l
298.58055 120.337192 l
304.38375 124.201 l
310.18695 128.324392 l
315.99015 132.707368 l
322.23975 137.7178 l
328.48935 143.029288 l
334.73895 148.641832 l
340.98855 154.555432 l
347.23815 160.770088 l
353.48775 167.2858 l
360.18375 174.601 l
366.87975 182.2618 l
373.57575 190.2682 l
380.27175 198.6202 l
386.96775 207.3178 l
394.11015 216.976168 l
401.25255 227.027752 l
408.39495 237.472552 l
415.53735 248.310568 l
422.67975 259.5418 l
430.26855 271.905832 l
437.85735 284.713768 l
445.44615 297.965608 l
453.03495 311.661352 l
460.62375 325.801 l
468.65895 341.256232 l
476.69415 357.209128 l
482.49735 369.040168 l
482.49735 369.040168 l
stroke
grestore
1.000 0.000 0.000 setrgbcolor
gsave
446.4 345.6 36.54 22.83 clipbox
36.54375 24.668392 m
482.49735 177.34756 l
482.49735 177.34756 l
stroke
grestore
0.500 setlinewidth
0 setlinecap
0.000 setgray
gsave
446.4 345.6 36.54 22.83 clipbox
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 -3 m
0.795609 -3 1.55874 -2.683901 2.12132 -2.12132 c
2.683901 -1.55874 3 -0.795609 3 0 c
3 0.795609 2.683901 1.55874 2.12132 2.12132 c
1.55874 2.683901 0.795609 3 0 3 c
-0.795609 3 -1.55874 2.683901 -2.12132 2.12132 c
-2.683901 1.55874 -3 0.795609 -3 0 c
-3 -0.795609 -2.683901 -1.55874 -2.12132 -2.12132 c
-1.55874 -2.683901 -0.795609 -3 0 -3 c
cl
gsave
0.000 0.000 1.000 setrgbcolor
fill
grestore
stroke
grestore
} bind def
259.521 101.084 o
grestore
1.000 setlinewidth
0 setlinejoin
2 setlinecap
gsave
36.54375 368.425 m
482.94375 368.425 l
stroke
grestore
gsave
482.94375 22.825 m
482.94375 368.425 l
stroke
grestore
gsave
36.54375 22.825 m
482.94375 22.825 l
stroke
grestore
gsave
36.54375 22.825 m
36.54375 368.425 l
stroke
grestore
0.500 setlinewidth
1 setlinejoin
0 setlinecap
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
81.1837 22.825 o
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 -4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
81.1837 368.425 o
grestore
/BitstreamVeraSans-Roman findfont
12.000 scalefont
setfont
gsave
72.332187 9.700000 translate
0.000000 rotate
0.000000 0.000000 m /minus glyphshow
10.054688 0.000000 m /four glyphshow
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
170.464 22.825 o
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 -4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
170.464 368.425 o
grestore
gsave
161.612187 9.700000 translate
0.000000 rotate
0.000000 0.000000 m /minus glyphshow
10.054688 0.000000 m /two glyphshow
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
259.744 22.825 o
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 -4 l
gsave
0.000 setgray
fill
grestore
stroke
grestore
} bind def
259.744 368.425 o
grestore
gsave
255.923437 9.700000 translate
0.000000 rotate
0.000000 0.000000 m /zero glyphshow
grestore
gsave
/o {
gsave
newpath
translate
0.5 setlinewidth
1 setlinejoin
0 setlinecap
0 0 m
0 4 l
gsave
0.000 setgray
fill