-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSIS_paper.ps
More file actions
15401 lines (14301 loc) · 447 KB
/
Copy pathSIS_paper.ps
File metadata and controls
15401 lines (14301 loc) · 447 KB
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-2.0
%%Creator: dvips 5.47 Copyright 1986-91 Radical Eye Software
%%Title: paper.dvi
%%Pages: 45 1
%%BoundingBox: 0 0 612 792
%%DocumentFonts: Times-Roman Times-Bold Times-Italic Courier
%%EndComments
%%BeginProcSet: tex.pro
/TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exch
load def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{
isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
Resolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 get
round 4 exch put dup dup 5 get round 5 exch put setmatrix}N /@letter{/vsize 10
N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{
/vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 N}B /@manualfeed{
statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N
/FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{/nn 8 dict N nn begin
/FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array
/BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2
array copy cvx N load 0 nn put /ctr 0 N[}B /df{/sf 1 N /fntrx FMat N df-tail}
B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /E{pop nn dup definefont
setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup
length 4 sub get}B /ch-xoff{128 ch-data dup length 3 sub get sub}B /ch-yoff{
ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B
/ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0
N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S
dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0
ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice
ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}
imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn /base get cc ctr
put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf
div put}if put /ctr ctr 1 add N}B /I{cc 1 add D}B /bop{userdict /bop-hook
known{bop-hook}if /SI save N @rigin 0 0 moveto}N /eop{clear SI restore
showpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook
known{start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256
array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}N /p /show load N
/RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X
/rulex X V}B /V statusdict begin /product where{pop product dup length 7 ge{0
7 getinterval(Display)eq}{pop false}ifelse}{false}ifelse end{{gsave TR -.1 -.1
TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1
-.1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /a{
moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{
S p tail}B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B
/j{3 M}B /k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w
}B /q{p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{clear SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
TeXDict begin /rf{655360 div mul Resolution mul 7227 div /PixPerEm X findfont
dup length 1 add dict /nn X{1 index /FID ne{nn 3 1 roll put}{pop pop}ifelse}
forall 256 dict begin nn /Encoding get 0 1 255{2 copy get 3 index 2 index get
1000 mul PixPerEm div def pop}for pop pop nn /Metrics currentdict put end
/fontname X /nn dup nn definefont[PixPerEm 0 0 PixPerEm neg 0 0]makefont N
fontname{/foo setfont}2 array copy cvx N fontname load 0 nn put}N
/ObliqueSlant{dup sin S cos div neg}B /SlantFont{/foo X[1 0 foo 1 0 0]
TransFont}N /ExtendFont{/foo X 3 2 roll[S{foo div}forall]3 1 roll[foo 0 0 1 0
0]TransFont}N /TransFont{S findfont S makefont dup length dict /nn X{1 index
/FID ne{nn 3 1 roll put}{pop pop}ifelse}forall dup nn definefont pop}N end
%%EndProcSet
%%BeginProcSet: special.pro
TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N /vs
792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP false N /BBcalc false N
/p 3 def}B /@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{
@scaleunit div /vsc X}B /@hsize{/hs X /CLIP true N}B /@vsize{/vs X /CLIP true
N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{10 div /rwi X}
B /@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X /BBcalc true N}B
/magscale true def end /@MacSetUp{userdict /md known{userdict /md get type
/dicttype eq{md begin /letter{}N /note{}N /legal{}N /od{txpose 1 0 mtx
defaultmatrix dtransform S atan/pa X newpath clippath mark{transform{
itransform moveto}}{transform{itransform lineto}}{6 -2 roll transform 6 -2
roll transform 6 -2 roll transform{itransform 6 2 roll itransform 6 2 roll
itransform 6 2 roll curveto}}{{closepath}}pathforall newpath counttomark array
astore /gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{
PaintBlack}if}N /txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR
pop 1 -1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3
get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip
not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if
yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR pop pop 270
rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 -1 scale ppr 3 get
ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not
and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip
not and{TR pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 S TR}if}
ifelse scaleby96{ppr aload pop 4 -1 roll add 2 div 3 1 roll add 2 div 2 copy
TR .96 dup scale neg S neg S TR}if}N /cp{pop pop showpage pm restore}N end}if}
if}N /normalscale{Resolution 72 div VResolution 72 div neg scale magscale{
DVImag dup scale}if}N /psfts{S 65536 div N}N /startTexFig{/psf$SavedState save
N userdict maxlength dict begin /magscale false def normalscale currentpoint
TR /psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts
/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx psf$llx
sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy scale psf$cx
psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR /showpage{}N
/erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{psf$llx psf$lly
psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll
S lineto S lineto S lineto closepath clip newpath moveto}N /endTexFig{end
psf$SavedState restore}N /@beginspecial{SDict begin /SpecialSave save N gsave
normalscale currentpoint TR @SpecialDefaults}N /@setspecial{CLIP{newpath 0 0
moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}if ho vo TR
hsc vsc scale ang rotate BBcalc{rwi urx llx sub div dup scale llx neg lly neg
TR}if /showpage{}N /erasepage{}N /copypage{}N newpath}N /@endspecial{grestore
clear SpecialSave restore end}N /@defspecial{SDict begin}N /@fedspecial{end}B
/li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{/SaveX currentpoint /SaveY X N 1
setlinecap newpath}N /st{stroke SaveX SaveY moveto}N /fil{fill SaveX SaveY
moveto}N /ellipse{/endangle X /startangle X /yrad X /xrad X /savematrix matrix
currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc savematrix
setmatrix}N end
%%EndProcSet
TeXDict begin 1000 300 300 @start /Fa [ 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 22 22 22 22
22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22
22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22
22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22
22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22
22 22 22 22 22 22 22 22 22 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 22 22 22 22 22 22
22 22 22 22 22 22 0 0 0 22 22 22 22 0 22 22 22 22 22 22 22
0 0 22 0 22 22 22 22 22 22 22 22 0 22 22 0 22 22 22 22 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 0 0 0 0 22 22 0 22 0 0 0
0 0 0 0 0 0 22 0 0 22 22 0 22 0 0 0 0 ] /Courier 1000 589824
rf /Fb [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 12 15 19 23 23 39 36 15 15 15 23 26 12 15 12
13 23 23 23 23 23 23 23 23 23 23 13 13 26 26 26 21 43 34 31
31 34 28 26 34 34 15 18 34 28 41 34 34 26 34 31 26 28 34 34
44 34 34 28 15 13 15 22 23 15 21 23 21 23 21 15 23 23 13 13
23 13 36 23 23 23 23 15 18 13 23 23 34 23 23 21 22 9 22 25
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 15 23 23 8 23 23 23 23 8 21 23 15 15 26 26 0 23 23
23 12 0 21 16 15 21 21 23 46 46 0 21 0 15 15 15 15 15 15 15
15 0 15 15 0 15 15 15 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 41
0 13 0 0 0 0 28 34 41 14 0 0 0 0 0 31 0 0 0 13 0 0 13 23 34
23 0 0 0 0 ] /Times-Roman 1000 734003 rf /Fc [ 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 19 24
29 29 48 45 19 19 19 29 33 15 19 15 16 29 29 29 29 29 29 29
29 29 29 16 16 33 33 33 26 54 42 39 39 42 36 32 42 42 19 23
42 36 52 42 42 32 42 39 32 36 42 42 55 42 42 36 19 16 19 27
29 19 26 29 26 29 26 19 29 29 16 16 29 16 45 29 29 29 29 19
23 16 29 29 42 29 29 26 28 12 28 31 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 29 29 10 29
29 29 29 10 26 29 19 19 32 32 0 29 29 29 15 0 26 20 19 26 26
29 58 58 0 26 0 19 19 19 19 19 19 19 19 0 19 19 0 19 19 19
58 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 52 0 16 0 0 0 0 36 42 52
18 0 0 0 0 0 39 0 0 0 16 0 0 16 29 42 29 0 0 0 0 ] /Times-Roman
1000 917504 rf /Fd [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 8 11 14 17 17 28 26 11 11 11 17 22
8 11 8 9 17 17 17 17 17 17 17 17 17 17 11 11 22 22 22 17 31
20 20 22 24 20 20 24 24 11 15 22 18 28 22 24 20 24 20 17 18
24 20 28 20 18 18 13 9 13 14 17 11 17 17 15 17 15 9 17 17 9
9 15 9 24 17 17 17 17 13 13 9 17 15 22 15 15 13 13 9 13 18
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 13 17 17 6 17 17 17 17 7 18 17 11 11 17 17 0 17 17
17 8 0 17 12 11 18 18 17 30 33 0 17 0 11 11 11 11 11 11 11
11 0 11 11 0 11 11 11 30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 30
0 9 0 0 0 0 18 24 31 10 0 0 0 0 0 22 0 0 0 9 0 0 9 17 22 17
0 0 0 0 ] /Times-Italic 1000 524288 rf /Fe [ 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 25 25 25 25
25 25 25 25 25 25 25 25 0 0 0 25 25 25 25 0 25 25 25 25 25
25 25 0 0 25 0 25 25 25 25 25 25 25 25 0 25 25 0 25 25 25 25
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 0 0 0 0 25 25 0 25 0
0 0 0 0 0 0 0 0 25 0 0 25 25 0 25 0 0 0 0 ] /Courier 1000 655360
rf /Ff 8 107 df<FFFFFF80FFFFFF8019027D8A20>0 D<03C00FF01FF83FFC7FFE7FFEFFFFFF
FFFFFFFFFF7FFE7FFE3FFC1FF80FF003C010107E9115>15 D<C0000000F00000003C0000000F00
000003C0000000F00000003C0000000F00000003C0000000F00000003C0000000F000000038000
000F0000003C000000F0000003C000000F0000003C000000F0000003C000000F0000003C000000
70000000C0000000000000000000000000000000000000000000000000000000000000007FFFFF
00FFFFFF8019227D9920>21 D<0000000400000000020000000002000000000100000000008000
00000040FFFFFFFFF8FFFFFFFFF800000000400000000080000000010000000002000000000200
0000000400250E7E902A>33 D<007FF801FFF80780000E00001800003000003000006000006000
00C00000C00000C00000FFFFF8FFFFF8C00000C00000C000006000006000003000003000001800
000E000007800001FFF8007FF8151A7D961C>50 D<003C00E001C0018003800380038003800380
03800380038003800380038003800380030007001C00F0001C0007000300038003800380038003
8003800380038003800380038003800380018001C000E0003C0E297D9E15>102
D<F0001C00070003000380038003800380038003800380038003800380038003800380018001C0
00E0003C00E001C001800380038003800380038003800380038003800380038003800380030007
001C00F0000E297D9E15>I<C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0
C0C0C0C0C0C0C0C0C0C0C0C0C0C002297B9E0C>106 D E /Fg 4 62 df<004000800100020006
000C000C0018001800300030007000600060006000E000E000E000E000E000E000E000E000E000
E000E000E000600060006000700030003000180018000C000C00060002000100008000400A2A7D
9E10>40 D<800040002000100018000C000C000600060003000300038001800180018001C001C0
01C001C001C001C001C001C001C001C001C001C0018001800180038003000300060006000C000C
00180010002000400080000A2A7E9E10>I<000600000006000000060000000600000006000000
06000000060000000600000006000000060000000600000006000000060000FFFFFFE0FFFFFFE0
000600000006000000060000000600000006000000060000000600000006000000060000000600
000006000000060000000600001B1C7E9720>43 D<7FFFFFC0FFFFFFE000000000000000000000
00000000000000000000000000000000000000000000FFFFFFE07FFFFFC01B0C7E8F20>61
D E /Fh [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 7 9 11 13 13 22 21 9 9 9 13 15 7 9 7 7 13 13
13 13 13 13 13 13 13 13 7 7 15 15 15 12 24 19 18 18 19 16 15
19 19 9 10 19 16 24 19 19 15 19 18 15 16 19 19 25 19 19 16
9 7 9 12 13 9 12 13 12 13 12 9 13 13 7 7 13 7 21 13 13 13 13
9 10 7 13 13 19 13 13 12 13 5 13 14 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 13 13 4 13 13
13 13 5 12 13 9 9 15 15 0 13 13 13 7 0 12 9 9 12 12 13 27 27
0 12 0 9 9 9 9 9 9 9 9 0 9 9 0 9 9 9 27 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 24 0 7 0 0 0 0 16 19 24 8 0 0 0 0 0 18 0 0 0 7
0 0 7 13 19 13 0 0 0 0 ] /Times-Roman 1000 419430 rf /Fi [
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 8 11 14 17 17 28 26 11 11 11 17 19 8 11 8 9 17 17 17 17
17 17 17 17 17 17 9 9 19 19 19 15 31 24 22 22 24 20 18 24 24
11 13 24 20 30 24 24 18 24 22 18 20 24 24 31 24 24 20 11 9
11 16 17 11 15 17 15 17 15 11 17 17 9 9 17 9 26 17 17 17 17
11 13 9 17 17 24 17 17 15 16 7 16 18 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 17 17 6 17
17 17 17 6 15 17 11 11 18 18 0 17 17 17 8 0 15 12 11 15 15
17 33 33 0 15 0 11 11 11 11 11 11 11 11 0 11 11 0 11 11 11
33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 30 0 9 0 0 0 0 20 24 30
10 0 0 0 0 0 22 0 0 0 9 0 0 9 17 24 17 0 0 0 0 ] /Times-Roman
1000 524288 rf /Fj [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 6 8 10 12 12 21 19 8 8 8 12 14 6
8 6 7 12 12 12 12 12 12 12 12 12 12 7 7 14 14 14 11 23 18 17
17 18 15 14 18 18 8 10 18 15 22 18 18 14 18 17 14 15 18 18
24 18 18 15 8 7 8 12 12 8 11 12 11 12 11 8 12 12 7 7 12 7 19
12 12 12 12 8 10 7 12 12 18 12 12 11 12 5 12 13 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 12
12 4 12 12 12 12 4 11 12 8 8 14 14 0 12 12 12 6 0 11 9 8 11
11 12 25 25 0 11 0 8 8 8 8 8 8 8 8 0 8 8 0 8 8 8 25 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 22 0 7 0 0 0 0 15 18 22 8 0 0 0 0 0
17 0 0 0 7 0 0 7 12 18 12 0 0 0 0 ] /Times-Roman 1000 393216
rf /Fk 1 44 df<006000006000006000006000006000006000006000006000006000006000FF
FFF0FFFFF000600000600000600000600000600000600000600000600000600000600014167E91
19>43 D E /Fl 2 15 df<FFFFC0FFFFC012027D871A>0 D<0E001F00318060C060C0C060C060
C060C06060C060C031801F000E000B0E7E8D11>14 D E /Fm [ 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10
14 17 21 21 35 32 14 14 14 21 28 10 14 10 12 21 21 21 21 21
21 21 21 21 21 14 14 28 28 28 21 38 25 25 28 30 25 25 30 30
14 18 28 23 35 28 30 25 30 25 21 23 30 25 35 25 23 23 16 12
16 18 21 14 21 21 18 21 18 12 21 21 12 12 18 12 30 21 21 21
21 16 16 12 21 18 28 18 18 16 17 11 17 22 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 21 21
7 21 21 21 21 9 23 21 14 14 21 21 0 21 21 21 10 0 22 15 14
23 23 21 37 42 0 21 0 14 14 14 14 14 14 14 14 0 14 14 0 14
14 14 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 23
30 39 13 0 0 0 0 0 28 0 0 0 12 0 0 12 21 28 21 0 0 0 0 ] /Times-Italic
1000 655360 rf /Fn 7 115 df<01D8023804380C3018301830183030603060306010E019C00E
C000C000C06180E180C3007C000D137F8C10>103 D<06070600000000384C4C8C981818303262
62643808147F930C>105 D<7C0C181818183030303060606060C0D0D0D0D06006147E930A>108
D<30F87C00590C86004E0D06009C0E0600980C0600180C0600180C060030180C0030180C803018
1880301818806030190060300E00190D7F8C1D>I<30F8590C4E0C9C0C980C180C180C30183019
303130316032601C100D7F8C15>I<0C78168C130426062606060606060C0C0C0C0C080C101A20
19C018001800300030003000FC000F13818C11>112 D<31E05A704C709C609800180018003000
300030003000600060000C0D7F8C0F>114 D E /Fo 32 123 df<00F000030C000E06041C0704
380708300708700790700790E003A0E003A0E003C0E00380E00380E00380600780601B88306190
0F80E016127E911B>11 D<60F0F06004047C830C>58 D<60F0F0701010101020204080040C7C83
0C>I<00010003000600060006000C000C000C0018001800180030003000300060006000C000C0
00C0018001800180030003000300060006000C000C000C00180018001800300030003000600060
006000C000C00010297E9E15>61 D<E0000000780000001E0000000780000001E0000000780000
001E0000000780000001E0000000780000001E00000007800000078000001E00000078000001E0
0000078000001E00000078000001E00000078000001E00000078000000E000000019187D9520>
I<01FFFF00003C01C0003800E0003800F0003800700038007000700070007000F0007000F00070
01E000E003C000E0078000E01F0000FFFC0001C00F0001C0078001C003C001C003C0038003C003
8003C0038003C0038003C0070007800700070007000E0007001C000E007800FFFFC0001C1C7E9B
1F>66 D<01FFFF80003C01E000380070003800380038001C0038001C0070001C0070001E007000
1E0070001E00E0001E00E0001E00E0001E00E0001E01C0003C01C0003C01C0003C01C000380380
007803800070038000F0038000E0070001C0070003800700070007001C000E007800FFFFC0001F
1C7E9B22>68 D<01FFFFF0003C00F0003800300038002000380020003800200070002000700020
007010200070100000E0200000E0200000E0600000FFE00001C0400001C0400001C0400001C040
0003808000038000000380000003800000070000000700000007000000070000000F000000FFF0
00001C1C7E9B1B>70 D<0001F808000E061800380138006000F001C0007003800070070000300F
0000200E0000201C0000203C0000203C000000780000007800000078000000F0000000F0000000
F0007FF0F0000780F0000700F0000700F00007007000070070000E0030000E0038000E001C001E
000E0064000701840000FE00001D1E7E9C21>I<01FFC07F80003C001E00003800180000380020
0000380040000038008000007002000000700400000070080000007010000000E040000000E0C0
000000E1E0000000E2E0000001C470000001D070000001E038000001C038000003803800000380
1C000003801C000003800E000007000E000007000E0000070007000007000700000F00078000FF
E03FF000211C7E9B23>75 D<01FFE0003C00003800003800003800003800007000007000007000
00700000E00000E00000E00000E00001C00001C00001C00001C000038002038002038002038004
07000407000C0700180700380E00F0FFFFF0171C7E9B1C>I<000FC100303300400F0080060180
0603000603000606000406000407000007000007800003F00001FF0000FFC0003FE00003E00000
F00000700000300000302000302000306000606000606000C0600080F00300CC060083F800181E
7E9C19>83 D<01FFC0FF80001E003C00001E003000000E002000000F0040000007008000000701
0000000782000000038400000003C800000001D000000001F000000000E000000000E000000000
F00000000170000000027000000004380000000838000000103C000000201C000000401E000000
800E000001800E000003000F000006000700001E000F8000FF803FF000211C7F9B22>88
D<FFE007F80F0001E00F0001800700010007000200078004000380080003C0100001C0300001C0
200001E0400000E0800000F100000072000000760000007C000000380000003800000070000000
700000007000000070000000E0000000E0000000E0000000E0000001C000001FFC00001D1C7F9B
18>I<01E3000717000C0F00180F00380E00300E00700E00700E00E01C00E01C00E01C00E01C00
E03880E03880E038806078803199001E0E0011127E9116>97 D<3F00070007000E000E000E000E
001C001C001C001C0039E03A303C1838187018701C701C701CE038E038E038E030E070E060E0C0
61C023001E000E1D7E9C12>I<01F0030C0E0C1C1E383C301870007000E000E000E000E000E000
E0046008601030601F800F127E9112>I<0007E00000E00000E00001C00001C00001C00001C000
038000038000038000038001E7000717000C0F00180F00380E00300E00700E00700E00E01C00E0
1C00E01C00E01C00E03880E03880E038806078803199001E0E00131D7E9C16>I<01F007080C08
18043808300870307FC0E000E000E000E000E000E0046008601030600F800E127E9113>I<0001
E0000630000E78000CF0001C60001C00001C00001C00003C0000380000380003FFC00038000038
0000700000700000700000700000700000E00000E00000E00000E00000E00001C00001C00001C0
0001C00001C000018000038000038000630000F30000F60000E4000078000015257E9C14>I<00
7180018B800307800607800E07000C07001C07001C0700380E00380E00380E00380E00381C0038
1C00381C00183C0008F800073800003800003800007000607000F06000F0E000E180007E000011
1A7F9114>I<01C003C003C001800000000000000000000000001C00270047004700870087000E
000E001C001C001C003800388038807080710032001C000A1C7E9B0E>105
D<0007000F000F00060000000000000000000000000070009C010C020C021C041C001C001C0038
003800380038007000700070007000E000E000E000E001C061C0F180F300E6007C001024809B11
>I<381F81F04E20C6184640E81C4680F01C8F00F01C8E00E01C0E00E01C0E00E01C1C01C0381C
01C0381C01C0381C01C0703803807138038071380380E1380380E2700700643003003820127E91
24>109 D<381F004E61804681C04701C08F01C08E01C00E01C00E01C01C03801C03801C03801C
0700380710380710380E10380E2070064030038014127E9119>I<07078009C86008D03008E030
11C03011C03801C03801C0380380700380700380700380600700E00700C00701800783000E8600
0E78000E00000E00001C00001C00001C00001C00003C0000FF8000151A819115>112
D<383C4E424687470F8E1E8E0C0E000E001C001C001C001C003800380038003800700030001012
7E9113>114 D<01F0060C04040C0E180C1C001F000FE00FF003F80038201C7018F018F0108030
60601F800F127E9113>I<1C00C02701C04701C04701C08703808703800E03800E03801C07001C
07001C07001C0700180E20180E20180E201C1E200C264007C38013127E9118>117
D<07878008C84010F0C020F1E020E3C040E18000E00000E00001C00001C00001C00001C0006380
80F38080F38100E5810084C60078780013127E9118>120 D<1C00C02701C04701C04701C08703
808703800E03800E03801C07001C07001C07001C0700180E00180E00180E001C1E000C3C0007DC
00001C00001800603800F03000F06000E0C0004180003E0000121A7E9114>I<038107C10FE608
1C10080010002000400080010002000400080410042C1877F843F081C010127E9113>I
E /Fp [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 7 10 12 15 15 24 23 10 10 10 15 16 7 10 7 8 15
15 15 15 15 15 15 15 15 15 8 8 16 16 16 13 27 21 19 19 21 18
16 21 21 10 11 21 18 26 21 21 16 21 19 16 18 21 21 27 21 21
18 10 8 10 14 15 10 13 15 13 15 13 10 15 15 8 8 15 8 23 15
15 15 15 10 11 8 15 15 21 15 15 13 14 6 14 16 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 15
15 5 15 15 15 15 5 13 15 10 10 16 16 0 15 15 15 7 0 13 10 10
13 13 15 29 29 0 13 0 10 10 10 10 10 10 10 10 0 10 10 0 10
10 10 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 26 0 8 0 0 0 0 18
21 26 9 0 0 0 0 0 19 0 0 0 8 0 0 8 15 21 15 0 0 0 0 ] /Times-Roman
1000 458752 rf /Fq [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 28 25 25 50 41 17 17 17 25
28 12 17 12 14 25 25 25 25 25 25 25 25 25 25 17 17 28 28 28
25 46 36 33 36 36 33 30 39 39 19 25 39 33 47 36 39 30 39 36
28 33 36 36 50 36 36 33 17 14 17 29 25 17 25 28 22 28 22 17
25 28 14 17 28 14 41 28 25 28 28 22 19 17 28 25 36 25 25 22
20 11 20 26 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 17 25 25 8 25 25 25 25 14 25 25 17 17 28
28 0 25 25 25 12 0 27 17 17 25 25 25 50 50 0 25 0 17 17 17
17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 50 0 15 0 0 0 0 33 39 50 16 0 0 0 0 0 36 0 0 0 14
0 0 14 25 36 28 0 0 0 0 ] /Times-Bold 1000 786432 rf /Fr [
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 10 14 23 21 21 42 35 14 14 14 21 24 10 14 10 12 21 21 21
21 21 21 21 21 21 21 14 14 24 24 24 21 39 30 28 30 30 28 25
32 32 16 21 32 28 39 30 32 25 32 30 23 28 30 30 42 30 30 28
14 12 14 24 21 14 21 23 18 23 18 14 21 23 12 14 23 12 35 23
21 23 23 18 16 14 23 21 30 21 21 18 16 9 16 22 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14
21 21 7 21 21 21 21 12 21 21 14 14 23 23 0 21 21 21 10 0 22
15 14 21 21 21 42 42 0 21 0 14 14 14 14 14 14 14 14 0 14 14
0 14 14 14 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 12 0 0 0
0 28 32 42 14 0 0 0 0 0 30 0 0 0 12 0 0 12 21 30 23 0 0 0 0
] /Times-Bold 1000 655360 rf /Fs [ 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 11 14 17 17 28 26
11 11 11 17 19 8 11 8 9 17 17 17 17 17 17 17 17 17 17 9 9 19
19 19 15 31 24 22 22 24 20 18 24 24 11 13 24 20 30 24 24 18
24 22 18 20 24 24 31 24 24 20 11 9 11 16 17 11 15 17 15 17
15 11 17 17 9 9 17 9 26 17 17 17 17 11 13 9 17 17 24 17 17
15 16 7 16 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 11 17 17 6 17 17 17 17 6 15 17 11 11
18 18 0 17 17 17 8 0 15 12 11 15 15 17 33 33 0 15 0 11 11 11
11 11 11 11 11 0 11 11 0 11 11 11 33 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 30 0 9 0 0 0 0 20 24 30 10 0 0 0 0 0 22 0 0 0 9 0
0 9 17 24 17 0 0 0 0 ] /Times-Roman 1000 524288 rf /Ft [ 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 10 14 17 21 21 35 32 14 14 14 21 23 10 14 10 12 21 21 21
21 21 21 21 21 21 21 12 12 23 23 23 18 38 30 28 28 30 25 23
30 30 14 16 30 25 37 30 30 23 30 28 23 25 30 30 39 30 30 25
14 12 14 19 21 14 18 21 18 21 18 14 21 21 12 12 21 12 32 21
21 21 21 14 16 12 21 21 30 21 21 18 20 8 20 22 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14
21 21 7 21 21 21 21 7 18 21 14 14 23 23 0 21 21 21 10 0 19
15 14 18 18 21 42 42 0 18 0 14 14 14 14 14 14 14 14 0 14 14
0 14 14 14 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0
0 25 30 37 13 0 0 0 0 0 28 0 0 0 12 0 0 12 21 30 21 0 0 0 0
] /Times-Roman 1000 655360 rf /Fu [ 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 17 21 21 35 32
14 14 14 21 23 10 14 10 12 21 21 21 21 21 21 21 21 21 21 12
12 23 23 23 18 38 30 28 28 30 25 23 30 30 14 16 30 25 37 30
30 23 30 28 23 25 30 30 39 30 30 25 14 12 14 19 21 14 18 21
18 21 18 14 21 21 12 12 21 12 32 21 21 21 21 14 16 12 21 21
30 21 21 18 20 8 20 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 21 21 7 21 21 21 21 7 18
21 14 14 23 23 0 21 21 21 10 0 19 15 14 18 18 21 42 42 0 18
0 14 14 14 14 14 14 14 14 0 14 14 0 14 14 14 42 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 25 30 37 13 0 0 0 0 0 28
0 0 0 12 0 0 12 21 30 21 0 0 0 0 ] /Times-Roman 1000 655360
rf /Fv [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 15 19 32 29 29 58 48 19 19 19 29 33 15 19 15
16 29 29 29 29 29 29 29 29 29 29 19 19 33 33 33 29 54 42 39
42 42 39 36 45 45 23 29 45 39 55 42 45 36 45 42 32 39 42 42
58 42 42 39 19 16 19 34 29 19 29 32 26 32 26 19 29 32 16 19
32 16 48 32 29 32 32 26 23 19 32 29 42 29 29 26 23 13 23 30
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 19 29 29 10 29 29 29 29 16 29 29 19 19 32 32 0 29 29
29 15 0 31 20 19 29 29 29 58 58 0 29 0 19 19 19 19 19 19 19
19 0 19 19 0 19 19 19 58 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 58
0 17 0 0 0 0 39 45 58 19 0 0 0 0 0 42 0 0 0 16 0 0 16 29 42
32 0 0 0 0 ] /Times-Bold 1000 917504 rf /Fw [ 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 15 19
19 31 29 12 12 12 19 21 9 12 9 10 19 19 19 19 19 19 19 19 19
19 10 10 21 21 21 17 34 27 25 25 27 23 21 27 27 12 15 27 23
33 27 27 21 27 25 21 23 27 27 35 27 27 23 12 10 12 18 19 12
17 19 17 19 17 12 19 19 10 10 19 10 29 19 19 19 19 12 15 10
19 19 27 19 19 17 18 7 18 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 19 19 6 19 19 19 19
7 17 19 12 12 21 21 0 19 19 19 9 0 17 13 12 17 17 19 37 37
0 17 0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 37 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 33 0 10 0 0 0 0 23 27 33 12 0 0 0
0 0 25 0 0 0 10 0 0 10 19 27 19 0 0 0 0 ] /Times-Roman 1000
589824 rf /Fx [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 7 10 12 15 15 25 23 10 10 10 15 17 7 10
7 8 15 15 15 15 15 15 15 15 15 15 8 8 17 17 17 13 28 22 20
20 22 18 17 22 22 10 12 22 18 27 22 22 17 22 20 17 18 22 22
28 22 22 18 10 8 10 14 15 10 13 15 13 15 13 10 15 15 8 8 15
8 23 15 15 15 15 10 12 8 15 15 22 15 15 13 14 6 14 16 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 10 15 15 5 15 15 15 15 5 13 15 10 10 17 17 0 15 15 15 7 0
14 10 10 13 13 15 30 30 0 13 0 10 10 10 10 10 10 10 10 0 10
10 0 10 10 10 30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 0 8 0 0
0 0 18 22 27 9 0 0 0 0 0 20 0 0 0 8 0 0 8 15 22 15 0 0 0 0
] /Times-Roman 1000 471859 rf /Fy [ 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 15 19 19 31 29
12 12 12 19 21 9 12 9 10 19 19 19 19 19 19 19 19 19 19 10 10
21 21 21 17 34 27 25 25 27 23 21 27 27 12 15 27 23 33 27 27
21 27 25 21 23 27 27 35 27 27 23 12 10 12 18 19 12 17 19 17
19 17 12 19 19 10 10 19 10 29 19 19 19 19 12 15 10 19 19 27
19 19 17 18 7 18 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 19 19 6 19 19 19 19 7 17 19
12 12 21 21 0 19 19 19 9 0 17 13 12 17 17 19 37 37 0 17 0 12
12 12 12 12 12 12 12 0 12 12 0 12 12 12 37 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 33 0 10 0 0 0 0 23 27 33 12 0 0 0 0 0 25 0
0 0 10 0 0 10 19 27 19 0 0 0 0 ] /Times-Roman 1000 589824 rf
/Fz [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 9 12 21 19 19 37 31 12 12 12 19 21 9 12 9 10 19 19
19 19 19 19 19 19 19 19 12 12 21 21 21 19 35 27 25 27 27 25
23 29 29 15 19 29 25 35 27 29 23 29 27 21 25 27 27 37 27 27
25 12 10 12 22 19 12 19 21 17 21 17 12 19 21 10 12 21 10 31
21 19 21 21 17 15 12 21 19 27 19 19 17 15 8 15 19 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12
19 19 6 19 19 19 19 10 19 19 12 12 21 21 0 19 19 19 9 0 20
13 12 19 19 19 37 37 0 19 0 12 12 12 12 12 12 12 12 0 12 12
0 12 12 12 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0
0 25 29 37 12 0 0 0 0 0 27 0 0 0 10 0 0 10 19 27 21 0 0 0 0
] /Times-Bold 1000 589824 rf /FA [ 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 20 25 25 41 39
17 17 17 25 28 12 17 12 14 25 25 25 25 25 25 25 25 25 25 14
14 28 28 28 22 46 36 33 33 36 30 28 36 36 17 19 36 30 44 36
36 28 36 33 28 30 36 36 47 36 36 30 17 14 17 23 25 17 22 25
22 25 22 17 25 25 14 14 25 14 39 25 25 25 25 17 19 14 25 25
36 25 25 22 24 10 24 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 25 25 8 25 25 25 25 9 22
25 17 17 28 28 0 25 25 25 12 0 23 17 17 22 22 25 50 50 0 22
0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 44 0 14 0 0 0 0 30 36 44 15 0 0 0 0 0 33
0 0 0 14 0 0 14 25 36 25 0 0 0 0 ] /Times-Roman 1000 786432
rf /FB [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 18 23 29 35 35 59 55 23 23 23 35 40 18 23 18
20 35 35 35 35 35 35 35 35 35 35 20 20 40 40 40 31 65 51 47
47 51 43 39 51 51 23 27 51 43 63 51 51 39 51 47 39 43 51 51
67 51 51 43 23 20 23 33 35 23 31 35 31 35 31 23 35 35 20 20
35 20 55 35 35 35 35 23 27 20 35 35 51 35 35 31 34 14 34 38
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 23 35 35 12 35 35 35 35 13 31 35 23 23 39 39 0 35 35
35 18 0 32 25 23 31 31 35 71 71 0 31 0 23 23 23 23 23 23 23
23 0 23 23 0 23 23 23 71 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 63
0 19 0 0 0 0 43 51 63 22 0 0 0 0 0 47 0 0 0 20 0 0 20 35 51
35 0 0 0 0 ] /Times-Roman 1000 1114112 rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300
TeXDict begin
%%EndSetup
%%Page: 1 1
bop 308 369 a FB(SIS:)19 b(A)e(System)i(for)g(Sequential)f(Circuit)g
(Synthesis)649 490 y FA(Electronics)12 b(Research)h(Laboratory)592
548 y(Memorandum)e(No.)19 b(UCB/ERL)14 b(M92/41)582 664 y(Ellen)e(M.)h
(Sentovich)55 b(Kanwar)12 b(Jit)g(Singh)490 722 y(Luciano)g(Lavagno)55
b(Cho)13 b(Moon)55 b(Rajeev)13 b(Mur)o(gai)428 780 y(Alexander)f(Saldanha)55
b(Hamid)12 b(Savoj)54 b(Paul)12 b(R.)h(Stephan)439 839 y(Robert)f(K.)g
(Brayton)55 b(Alberto)11 b(Sangiovanni-V)m(incentelli)369 955
y(Department)h(of)g(Electrical)g(Engineering)g(and)g(Computer)g(Science)519
1013 y(University)g(of)g(California,)g(Berkeley)m(,)g(CA)h(94720)855
1110 y(4)f(May)h(1992)905 1252 y Fz(Abstract)160 1314 y Fx(SIS)f
Fw(is)g(an)g(interactive)g(tool)h(for)g(synthesis)e(and)g(optimization)i(of)g
(sequential)e(circuits.)23 b(Given)12 b(a)g(state)g(transition)h(table,)h(a)
104 1360 y(signal)7 b(transition)g(graph,)h(or)f(a)g(logic-level)h
(description)e(of)i(a)f(sequential)f(circuit,)j(it)f(produces)e(an)h
(optimized)g(net-list)h(in)g(the)f(tar)o(get)104 1406 y(technology)e(while)j
(preserving)e(the)i(sequential)e(input-output)h(behavior)n(.)12
b(Many)7 b(dif)o(ferent)i(programs)d(and)h(algorithms)h(have)e(been)104
1451 y(integrated)j(into)h Fx(SIS)p Fw(,)f(allowing)h(the)f(user)h(to)f
(choose)f(among)g(a)i(variety)f(of)h(techniques)e(at)i(each)e(stage)h(of)h
(the)f(process.)k(It)e(is)f(built)104 1497 y(on)g(top)g(of)h
Fx(MISII)f Fw([5])h(and)f(includes)f(all)j(\(combinational\))e(optimization)h
(techniques)d(therein)j(as)e(well)j(as)d(many)h(enhancements.)104
1543 y Fx(SIS)k Fw(serves)f(as)h(both)g(a)h(framework)f(within)i(which)e
(various)g(algorithms)g(can)g(be)g(tested)g(and)g(compared,)h(and)e(as)h(a)h
(tool)g(for)104 1588 y(automatic)c(synthesis)e(and)i(optimization)g(of)h
(sequential)e(circuits.)21 b(This)11 b(paper)f(provides)h(an)g(overview)f(of)
i Fx(SIS)p Fw(.)20 b(The)10 b(\256rst)i(part)104 1634 y(contains)f
(descriptions)g(of)h(the)g(input)h(speci\256cation,)e(STG)h(\(state)g
(transition)h(graph\))f(manipulation,)h(new)e(logic)h(optimization)104
1680 y(and)h(veri\256cation)g(algorithms,)i(ASTG)e(\(asynchronous)e(signal)i
(transition)h(graph\))g(manipulation,)g(and)f(synthesis)f(for)j(PGA)l(')n(s)
104 1725 y(\(programmable)8 b(gate)h(arrays\).)14 b(The)8 b(second)f(part)j
(contains)d(a)i(tutorial)i(example)c(illustrating)k(the)e(design)f(process)f
(using)h Fx(SIS)p Fw(.)0 1864 y Fv(1)58 b(Intr)o(oduction)0
1956 y Fu(The)11 b Fs(SIS)g Fu(synthesis)f(system)g(is)g(speci\256cally)g
(tar)o(geted)h(for)e(sequential)h(circuits)f(and)h(supports)f(a)i(design)f
(methodology)e(that)i(allows)0 2006 y(the)16 b(designer)h(to)f(search)h(a)h
(lar)o(ger)e(solution)f(space)j(than)e(was)h(previously)e(possible.)33
b(In)17 b(current)f(practice)h(the)g(synthesis)e(of)0 2056
y(sequential)c(circuits)f(proceeds)i(much)f(like)g(synthesis)f(of)h
(combinational)f(circuits:)15 b(sequential)c(circuits)f(are)i(divided)e(into)
g(purely)0 2106 y(combinational)j(blocks)g(and)h(registers.)27
b(Combinational)12 b(optimization)g(techniques)i(are)g(applied)g(to)f(the)h
(combinational)f(logic)0 2156 y(blocks,)i(which)e(are)i(later)f(reconnected)h
(to)e(the)h(registers)g(to)f(form)h(a)g(single)g(circuit.)25
b(This)14 b(limits)f(the)h(optimization)e(by)h(\256xing)0 2205
y(the)f(register)g(positions)e(and)i(optimizing)e(logic)h(only)g(within)f
(combinational)h(blocks)g(without)g(exploiting)e(signal)i(dependencies)0
2255 y(across)g(register)e(boundaries.)15 b(V)-5 b(eri\256cation)10
b(techniques)f(are)i(limited)e(to)g(verifying)f(machines)j(with)e(the)h(same)
h(encoding.)k(Finally)m(,)0 2305 y(it)c(is)g(cumbersome)h(to)f(separate)h
(the)g(circuit)e(into)g(logic)h(and)g(registers)g(only)f(to)h(reconstruct)g
(it)g(later)n(.)18 b(In)11 b(this)f(paper)n(,)j(a)f(sequential)0
2355 y(circuit)g(design)h(methodology)e(is)i(described;)h(it)e(is)h
(implemented)g(through)f(a)h(system)h(that)e(employs)h(state-of-the-art)f
(synthesis)0 2405 y(and)f(optimization)e(techniques.)16 b(This)11
b(approach)g(is)f(illustrated)f(with)h(an)h(example)g(demonstrating)f(the)g
(usefulness)h(of)g(these)g(new)0 2455 y(techniques)f(and)g(the)g
(\257exibility)e(the)i(designer)g(can)h(exploit)e(during)g(the)h(synthesis)f
(process.)62 2504 y(Many)j(algorithms)e(have)i(been)g(published)f(for)g
(various)g(stages)h(of)f(sequential)g(synthesis.)19 b(For)11
b(synchronous)g(circuits,)h(these)0 2554 y(include)i(methods)g(for)g(state)g
(assignment)g([24,)g(58],)i(state)e(minimization)f([17)o(,)i(31],)g(testing)e
([16],)i(retiming)f([22)o(],)i(technology)0 2604 y(mapping)g([33)o(],)j
(veri\256cation)d([6,)h(10)o(],)i(timing)c(analysis,)k(and)e(optimization)d
(across)k(register)e(boundaries)g([11,)h(25)o(,)h(28)o(,)f(29].)0
2654 y(For)d(asynchronous)h(circuits,)g(these)g(include)f(methods)h(for)f
(hazard-free)i(synthesis)e([20)o(,)h(32].)29 b(However)n(,)16
b(no)f(comprehensive)0 2704 y(evaluation)8 b(of)i(the)f(algorithms)f(and)i
(no)f(complete)g(synthesis)g(system)h(in)f(which)g(all)g(of)g(these)h
(algorithms)e(are)i(employed)g(has)g(been)965 2828 y(1)p eop
%%Page: 2 2
bop 755 154 a
7104430 12361707 12498534 17563729 24010342 37627166 startTexFig
755 154 a
%%BeginDocument: /users/ellen/Tex/papers/sis/sis-erl/figures/design-input.id
/arrowHeight 11 def
/arrowWidth 6 def
/IdrawDict 51 dict def
IdrawDict begin
/reencodeISO {
dup dup findfont dup length dict begin
{ 1 index /FID ne { def }{ pop pop } ifelse } forall
/Encoding ISOLatin1Encoding def
currentdict end definefont
} def
/ISOLatin1Encoding [
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quoteright
/parenleft/parenright/asterisk/plus/comma/minus/period/slash
/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon
/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N
/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright
/asciicircum/underscore/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m
/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/dotlessi/grave/acute/circumflex/tilde/macron/breve
/dotaccent/dieresis/.notdef/ring/cedilla/.notdef/hungarumlaut
/ogonek/caron/space/exclamdown/cent/sterling/currency/yen/brokenbar
/section/dieresis/copyright/ordfeminine/guillemotleft/logicalnot
/hyphen/registered/macron/degree/plusminus/twosuperior/threesuperior
/acute/mu/paragraph/periodcentered/cedilla/onesuperior/ordmasculine
/guillemotright/onequarter/onehalf/threequarters/questiondown
/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla
/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex
/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis
/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute
/Thorn/germandbls/agrave/aacute/acircumflex/atilde/adieresis
/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave
/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex
/otilde/odieresis/divide/oslash/ugrave/uacute/ucircumflex/udieresis
/yacute/thorn/ydieresis
] def
/Helvetica-Bold reencodeISO def
/none null def
/numGraphicParameters 17 def
/stringLimit 65535 def
/Begin {
save
numGraphicParameters dict begin
} def
/End {
end
restore
} def
/SetB {
dup type /nulltype eq {
pop
false /brushRightArrow idef
false /brushLeftArrow idef
true /brushNone idef
} {
/brushDashOffset idef
/brushDashArray idef
0 ne /brushRightArrow idef
0 ne /brushLeftArrow idef
/brushWidth idef
false /brushNone idef
} ifelse
} def
/SetCFg {
/fgblue idef
/fggreen idef
/fgred idef
} def
/SetCBg {
/bgblue idef
/bggreen idef
/bgred idef
} def
/SetF {
/printSize idef
/printFont idef
} def
/SetP {
dup type /nulltype eq {
pop true /patternNone idef
} {
dup -1 eq {
/patternGrayLevel idef
/patternString idef
} {
/patternGrayLevel idef
} ifelse
false /patternNone idef
} ifelse
} def
/BSpl {
0 begin
storexyn
newpath
n 1 gt {
0 0 0 0 0 0 1 1 true subspline
n 2 gt {
0 0 0 0 1 1 2 2 false subspline
1 1 n 3 sub {
/i exch def
i 1 sub dup i dup i 1 add dup i 2 add dup false subspline
} for
n 3 sub dup n 2 sub dup n 1 sub dup 2 copy false subspline
} if
n 2 sub dup n 1 sub dup 2 copy 2 copy false subspline
patternNone not brushLeftArrow not brushRightArrow not and and { ifill } if
brushNone not { istroke } if
0 0 1 1 leftarrow
n 2 sub dup n 1 sub dup rightarrow
} if
end
} dup 0 4 dict put def
/Circ {
newpath
0 360 arc
patternNone not { ifill } if
brushNone not { istroke } if
} def
/CBSpl {
0 begin
dup 2 gt {
storexyn
newpath
n 1 sub dup 0 0 1 1 2 2 true subspline
1 1 n 3 sub {
/i exch def
i 1 sub dup i dup i 1 add dup i 2 add dup false subspline
} for
n 3 sub dup n 2 sub dup n 1 sub dup 0 0 false subspline
n 2 sub dup n 1 sub dup 0 0 1 1 false subspline
patternNone not { ifill } if
brushNone not { istroke } if
} {
Poly
} ifelse
end
} dup 0 4 dict put def
/Elli {
0 begin
newpath
4 2 roll
translate
scale
0 0 1 0 360 arc
patternNone not { ifill } if
brushNone not { istroke } if
end
} dup 0 1 dict put def
/Line {
0 begin
2 storexyn
newpath
x 0 get y 0 get moveto
x 1 get y 1 get lineto
brushNone not { istroke } if
0 0 1 1 leftarrow
0 0 1 1 rightarrow
end
} dup 0 4 dict put def
/MLine {
0 begin
storexyn
newpath
n 1 gt {
x 0 get y 0 get moveto
1 1 n 1 sub {
/i exch def
x i get y i get lineto
} for
patternNone not brushLeftArrow not brushRightArrow not and and { ifill } if
brushNone not { istroke } if
0 0 1 1 leftarrow
n 2 sub dup n 1 sub dup rightarrow
} if
end
} dup 0 4 dict put def
/Poly {
3 1 roll
newpath
moveto
-1 add
{ lineto } repeat
closepath
patternNone not { ifill } if
brushNone not { istroke } if
} def
/Rect {
0 begin
/t exch def
/r exch def
/b exch def
/l exch def
newpath
l b moveto
l t lineto
r t lineto
r b lineto
closepath
patternNone not { ifill } if
brushNone not { istroke } if
end
} dup 0 4 dict put def
/Text {
ishow
} def
/idef {
dup where { pop pop pop } { exch def } ifelse
} def
/ifill {
0 begin
gsave
patternGrayLevel -1 ne {
fgred bgred fgred sub patternGrayLevel mul add
fggreen bggreen fggreen sub patternGrayLevel mul add
fgblue bgblue fgblue sub patternGrayLevel mul add setrgbcolor
eofill
} {
eoclip
originalCTM setmatrix
pathbbox /t exch def /r exch def /b exch def /l exch def
/w r l sub ceiling cvi def
/h t b sub ceiling cvi def
/imageByteWidth w 8 div ceiling cvi def
/imageHeight h def
bgred bggreen bgblue setrgbcolor
eofill
fgred fggreen fgblue setrgbcolor
w 0 gt h 0 gt and {
l b translate w h scale
w h true [w 0 0 h neg 0 h] { patternproc } imagemask
} if
} ifelse
grestore
end
} dup 0 8 dict put def
/istroke {
gsave
brushDashOffset -1 eq {
[] 0 setdash
1 setgray
} {
brushDashArray brushDashOffset setdash
fgred fggreen fgblue setrgbcolor
} ifelse
brushWidth setlinewidth
originalCTM setmatrix
stroke
grestore
} def
/ishow {
0 begin
gsave
fgred fggreen fgblue setrgbcolor
/fontDict printFont printSize scalefont dup setfont def
/descender fontDict begin 0 [FontBBox] 1 get FontMatrix end
transform exch pop def
/vertoffset 1 printSize sub descender sub def {
0 vertoffset moveto show
/vertoffset vertoffset printSize sub def
} forall
grestore
end
} dup 0 3 dict put def
/patternproc {
0 begin
/patternByteLength patternString length def
/patternHeight patternByteLength 8 mul sqrt cvi def
/patternWidth patternHeight def
/patternByteWidth patternWidth 8 idiv def
/imageByteMaxLength imageByteWidth imageHeight mul
stringLimit patternByteWidth sub min def
/imageMaxHeight imageByteMaxLength imageByteWidth idiv patternHeight idiv
patternHeight mul patternHeight max def
/imageHeight imageHeight imageMaxHeight sub store
/imageString imageByteWidth imageMaxHeight mul patternByteWidth add string def
0 1 imageMaxHeight 1 sub {
/y exch def
/patternRow y patternByteWidth mul patternByteLength mod def
/patternRowString patternString patternRow patternByteWidth getinterval def
/imageRow y imageByteWidth mul def
0 patternByteWidth imageByteWidth 1 sub {
/x exch def
imageString imageRow x add patternRowString putinterval
} for
} for
imageString
end
} dup 0 12 dict put def
/min {
dup 3 2 roll dup 4 3 roll lt { exch } if pop
} def
/max {
dup 3 2 roll dup 4 3 roll gt { exch } if pop
} def
/midpoint {
0 begin
/y1 exch def
/x1 exch def
/y0 exch def
/x0 exch def
x0 x1 add 2 div
y0 y1 add 2 div
end
} dup 0 4 dict put def
/thirdpoint {
0 begin
/y1 exch def
/x1 exch def
/y0 exch def
/x0 exch def
x0 2 mul x1 add 3 div
y0 2 mul y1 add 3 div
end
} dup 0 4 dict put def
/subspline {
0 begin
/movetoNeeded exch def
y exch get /y3 exch def
x exch get /x3 exch def
y exch get /y2 exch def
x exch get /x2 exch def
y exch get /y1 exch def
x exch get /x1 exch def
y exch get /y0 exch def
x exch get /x0 exch def
x1 y1 x2 y2 thirdpoint
/p1y exch def
/p1x exch def
x2 y2 x1 y1 thirdpoint
/p2y exch def
/p2x exch def
x1 y1 x0 y0 thirdpoint
p1x p1y midpoint
/p0y exch def
/p0x exch def
x2 y2 x3 y3 thirdpoint
p2x p2y midpoint
/p3y exch def
/p3x exch def
movetoNeeded { p0x p0y moveto } if
p1x p1y p2x p2y p3x p3y curveto
end
} dup 0 17 dict put def
/storexyn {
/n exch def
/y n array def
/x n array def
n 1 sub -1 0 {
/i exch def
y i 3 2 roll put
x i 3 2 roll put
} for
} def
/arrowhead {
0 begin
transform originalCTM itransform
/taily exch def
/tailx exch def
transform originalCTM itransform
/tipy exch def
/tipx exch def
/dy tipy taily sub def
/dx tipx tailx sub def
/angle dx 0 ne dy 0 ne or { dy dx atan } { 90 } ifelse def
gsave
originalCTM setmatrix
tipx tipy translate
angle rotate
newpath
arrowHeight neg arrowWidth 2 div moveto
0 0 lineto
arrowHeight neg arrowWidth 2 div neg lineto
patternNone not {
originalCTM setmatrix
/padtip arrowHeight 2 exp 0.25 arrowWidth 2 exp mul add sqrt brushWidth mul
arrowWidth div def
/padtail brushWidth 2 div def
tipx tipy translate
angle rotate
padtip 0 translate
arrowHeight padtip add padtail add arrowHeight div dup scale
arrowheadpath
ifill
} if
brushNone not {
originalCTM setmatrix
tipx tipy translate
angle rotate
arrowheadpath
istroke
} if
grestore
end
} dup 0 9 dict put def
/arrowheadpath {
newpath
arrowHeight neg arrowWidth 2 div moveto
0 0 lineto
arrowHeight neg arrowWidth 2 div neg lineto
} def
/leftarrow {
0 begin
y exch get /taily exch def
x exch get /tailx exch def
y exch get /tipy exch def
x exch get /tipx exch def
brushLeftArrow { tipx tipy tailx taily arrowhead } if
end
} dup 0 4 dict put def
/rightarrow {
0 begin
y exch get /tipy exch def
x exch get /tipx exch def
y exch get /taily exch def
x exch get /tailx exch def