-
Notifications
You must be signed in to change notification settings - Fork 1
/
ML-syntax.ps
1790 lines (1789 loc) · 107 KB
/
ML-syntax.ps
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: dvipsk 5.526b Copyright 1986, 1993 Radical Eye Software
%%Title: ML-syntax.dvi
%%Pages: 11
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%EndComments
%DVIPSCommandLine: dvips -Ppreview ML-syntax
%DVIPSParameters: dpi=300, comments removed
%DVIPSSource: TeX output 1995.01.20:1927
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR matrix currentmatrix dup dup 4 get round 4 exch put dup dup 5 get
round 5 exch put setmatrix}N /@landscape{/isls true 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 /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add
.99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore showpage
userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook
known{start-hook}if pop /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
65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}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
{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{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 /QV{gsave
transform round exch round exch itransform moveto rulex 0 rlineto 0
ruley neg rlineto rulex neg 0 rlineto fill grestore}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{SS restore}B end
%%EndProcSet
TeXDict begin 39158280 55380996 1000 300 300 (ML-syntax.dvi)
@start /Fa 2 104 df<003C00E001C00180038003800380038003800380038003800380
0380038003800380030007001C00F0001C00070003000380038003800380038003800380
038003800380038003800380018001C000E0003C0E297D9E15>102
D<F0001C0007000300038003800380038003800380038003800380038003800380038001
8001C000E0003C00E001C001800380038003800380038003800380038003800380038003
800380030007001C00F0000E297D9E15>I E /Fb 4 16 df<FC00000000FFE000000003
F8000000001F0000000007C000000000E00000000038000000001C000000000600000000
0300000000018000000000C0000000006000000000300000000030000000001800000000
0C000000000C000000000600000000060000000006000000000300000000030000000001
80000000018000000001800000000180000000018000000000C000000000C000000000C0
00000000C000000000C000000000C000000000402223A08142>12
D<000000004000000000C000000000C000000000C000000000C000000000C000000000C0
000000018000000001800000000180000000018000000001800000000300000000030000
00000600000000060000000006000000000C000000000C00000000180000000030000000
0030000000006000000000C00000000180000000030000000006000000001C0000000038
00000000E000000007C00000001F00000003F8000000FFE0000000FC000000002223A0A2
42>I<4000000000C000000000C000000000C000000000C000000000C000000000C00000
000060000000006000000000600000000060000000003000000000300000000018000000
0018000000000C000000000C000000000600000000060000000003000000000180000000
018000000000C0000000006000000000300000000018000000000E000000000700000000
01C000000000F0000000003C000000000F0000000003F000000000FFE00000000FE02323
80A242>I<0000000FE0000000FFE0000003F00000000F000000003C00000000F0000000
01C000000007000000000E00000000180000000030000000006000000000C00000000180
00000001800000000300000000060000000006000000000C000000000C00000000180000
000018000000003000000000300000000060000000006000000000600000000060000000
00C000000000C000000000C000000000C000000000C000000000C0000000004000000000
2323808142>I E /Fc 92 127 df<60F0F0F0F0F0F0F0F0F0F0F0F0F0F0F06000000000
60F0F0600419779816>33 D<E038F078F078F078F078F078F078F078E038E03860300D0B
7C9816>I<0387000387000387000387000387000387007FFFC0FFFFE0FFFFE0070E0007
0E00070E000E1C000E1C000E1C000E1C00FFFFE0FFFFE07FFFC01C38001C38001C38001C
38001C38001C380013197F9816>I<00C00001C00001C00001C00007F0001FFC003FFE00
7DCF0071C780E1C380E1C780E1C780F1C30079C0003FC0001FF00007FC0001FE0001CF00
01C70061C380F1C380F1C380E1C38071C70079DF003FFE001FF80007E00001C00001C000
00C00011207E9C16>I<3801807C03807C0380EE0700EE0700EE0E00EE0E00EE0E00EE1C
007C1C007C380038380000700000700000700000E00000E00001C00001C00001C0000380
000383800707C00707C00E0EE00E0EE00E0EE01C0EE01C0EE03807C03807C01803801320
7F9C16>I<03800007E0000FE0001E70001C70001C70001C70001CF7E01CE7E01DC7E00F
C7000F8E000F0E001F0E003F1C007B9C00739C00E1F800E1F800E0F0E0E0F0E071F8E07F
FFC03F9FC01E070013197F9816>I<30787C3C1C1C1C1C3878F0E040060D789816>I<00E0
01E0038007000E001C001C0038003800700070007000E000E000E000E000E000E000E000
E000E000700070007000380038001C001C000E000700038001E000E00B217A9C16>I<C0
00E000700038001C000E000E000700070003800380038001C001C001C001C001C001C001
C001C001C0038003800380070007000E000E001C0038007000E000C0000A217B9C16>I<
0380038003800380E38EF39EFFFE3FF80FE00FE03FF8FFFEF39EE38E0380038003800380
0F127D9516>I<00E00000E00000E00000E00000E00000E00000E00000E000FFFFE0FFFF
E0FFFFE000E00000E00000E00000E00000E00000E00000E00000E00013137F9516>I<38
7C7E7E3E0E1E1C78F060070B798416>I<FFFF80FFFF80FFFF8011037E8D16>I<70F8F8F8
700505788416>I<000180000380000380000700000700000E00000E00001C00001C0000
380000380000700000700000E00000E00001C00001C0000380000380000700000700000E
00000E00001C00001C0000380000380000700000700000E00000E00000C0000011207E9C
16>I<03E0000FF8001FFC001E3C00380E00780F00700700700700E00380E00380E00380
E00380E00380E00380E00380E00380F00780700700700700780F003C1E001E3C001FFC00
0FF80003E00011197E9816>I<0300070007000F001F00FF00FF00E70007000700070007
000700070007000700070007000700070007000700FFF8FFF8FFF80D197B9816>I<07E0
001FF8003FFC00783E00E00700F00780F00380600380000380000380000700000700000E
00001C0000380000700000E00001C0000380000F00001E03803803807FFF80FFFF807FFF
8011197E9816>I<07E0001FF8003FFC00781E00780700300700000700000700000E0000
3E0007FC0007F00007FC00001E00000700000300000380000380600380F00380E0070078
1E003FFC001FF80007E00011197E9816>I<007C0000FC0000DC0001DC00039C00039C00
071C000F1C000E1C001E1C003C1C00381C00781C00F01C00FFFFE0FFFFE0FFFFE0001C00
001C00001C00001C00001C0001FFC001FFC001FFC013197F9816>I<3FFE007FFE007FFE
0070000070000070000070000070000070000070000077F0007FFC007FFE00780F003007
00000380000380600380F00380F00380E00700781E003FFC001FF80007E00011197E9816
>I<00F80003FC0007FE000F07001C0F00380F00780600700000700000E3F800EFFC00FF
FE00F80F00F00700F00380E00380E003807003807003807007803807003C1E001FFC000F
F80003E00011197E9816>I<E00000FFFF80FFFF80FFFF80E00F00E01E00001C00003800
00780000700000E00000E00001C00001C00001C000038000038000038000038000070000
070000070000070000070000070000070000111A7E9916>I<07F0001FFC003FFE007C1F
00F00780E00380E00380E003807007007C1F001FFC0007F0001FFC003C1E00700700F007
80E00380E00380E00380F007807007007C1F003FFE001FFC0007F00011197E9816>I<03
E0000FF8001FFC003C1E00700E00700700E00700E00780E00380E00380E0078070078078
0F803FFF801FFB800FE380000700000700300700780E00781C00707C003FF8001FE0000F
800011197E9816>I<70F8F8F870000000000000000070F8F8F8700512789116>I<387C7C
7C38000000000000000038787C7C3C1C1C3870F0400618799116>I<000180000780001F
80003E0000F80001F00007C0000F80003E0000FC0000F00000FC00003E00000F800007C0
0001F00000F800003E00001F8000078000018011157E9616>I<7FFFC0FFFFE0FFFFE000
0000000000000000000000000000FFFFE0FFFFE07FFFC0130B7F9116>I<C00000F00000
FC00003E00000F800007C00001F00000F800003E00001F80000780001F80003E0000F800
01F00007C0000F80003E0000FC0000F00000C0000011157E9616>I<0FF0003FFE007FFF
00F00F80F00380F00380600780001F00003E0000780000F00001C00001C00001C00001C0
0001C00001800000000000000000000000000001800003C00003C00001800011197E9816
>I<00F80003FC0007FE000F07001C3B8038FF8079FF8073C7C07383C0E701C0E701C0E7
01C0E701C0E701C0E701C0E701C073838073C78079FF0038FE001C38000F03C007FFC003
FF0000FC0012197E9816>I<00E00001F00001F00001B00001B00003B80003B80003B800
031800071C00071C00071C00071C00071C000E0E000E0E000FFE000FFE001FFF001C0700
1C07001C07007E0FC0FF1FE07E0FC013197F9816>I<7FF800FFFE007FFF001C07001C07
801C03801C03801C03801C03801C07001FFF001FFE001FFE001C1F001C03801C03C01C01
C01C01C01C01C01C01C01C03C01C07807FFF80FFFF007FFC0012197F9816>I<01F18007
FB800FFF801F0F803C0780380380700380700380F00000E00000E00000E00000E00000E0
0000E00000E00000F000007003807003803803803C07001F0F000FFE0007FC0001F00011
197E9816>I<7FF800FFFE007FFF001C0F001C07801C03C01C01C01C01C01C01E01C00E0
1C00E01C00E01C00E01C00E01C00E01C00E01C00E01C01C01C01C01C03C01C07801C0F80
7FFF00FFFE007FF8001319809816>I<7FFFC0FFFFC07FFFC01C01C01C01C01C01C01C01
C01C00001C00001C1C001C1C001FFC001FFC001FFC001C1C001C1C001C00001C00E01C00
E01C00E01C00E01C00E07FFFE0FFFFE07FFFE013197F9816>I<7FFFE0FFFFE07FFFE01C
00E01C00E01C00E01C00E01C00001C00001C1C001C1C001FFC001FFC001FFC001C1C001C
1C001C00001C00001C00001C00001C00001C00007F8000FFC0007F800013197F9816>I<
01F18007FB800FFF801F0F803C0780380380700380700380F00000E00000E00000E00000
E00000E01FC0E01FE0E01FC0F003807003807007803807803C07801E0F800FFF8007FB80
01F38013197F9816>I<7F07F0FF8FF87F07F01C01C01C01C01C01C01C01C01C01C01C01
C01C01C01FFFC01FFFC01FFFC01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01
C01C01C07F07F0FF8FF87F07F01519809816>I<7FFCFFFE7FFC03800380038003800380
038003800380038003800380038003800380038003800380038003807FFCFFFE7FFC0F19
7D9816>I<01FF0003FF8001FF00001C00001C00001C00001C00001C00001C00001C0000
1C00001C00001C00001C00001C00001C00001C00001C00001C00601C00F01C00F038007F
F8007FF0001FC00011197E9816>I<7F0FE0FF8FF07F0FE01C07801C0F001C0E001C1C00
1C3C001C78001CF0001CE0001DF0001FF0001FF8001F38001E1C001C1C001C0E001C0E00
1C07001C07001C03807F07E0FF8FF07F07E01419809816>I<FF8000FFC000FF80001C00
001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00
001C00001C00401C00E01C00E01C00E01C00E0FFFFE0FFFFE0FFFFE013197F9816>I<FC
07E0FE0FE0FE0FE03A0B803B1B803B1B803B1B803B1B803B1B803BBB8039B38039B38039
B38039B38039F38038E38038E380380380380380380380380380380380FE0FE0FE0FE0FE
0FE013197F9816>I<7E07F0FF0FF87F07F01D81C01D81C01D81C01DC1C01CC1C01CE1C0
1CE1C01C61C01C71C01C71C01C71C01C31C01C39C01C39C01C19C01C1DC01C0DC01C0DC0
1C0DC07F07C0FF87C07F03C01519809816>I<1FFC003FFE007FFF00780F00F00780E003
80E00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E003
80E00380F00780F00780780F007FFF003FFE001FFC0011197E9816>I<7FF800FFFE007F
FF001C0F801C03801C03C01C01C01C01C01C01C01C03C01C03801C0F801FFF001FFE001F
F8001C00001C00001C00001C00001C00001C00001C00007F0000FF80007F000012197F98
16>I<1FFC003FFE007FFF00780F00F00780E00380E00380E00380E00380E00380E00380
E00380E00380E00380E00380E00380E00380E00380E0E380E1E380F0F780787F007FFF00
3FFE001FFC00001C00001E00000E00000F00000700000700111F7E9816>I<7FF000FFFC
007FFE001C0F001C07801C03801C03801C03801C03801C07801C0F001FFE001FFC001FFE
001C0E001C07001C07001C07001C07001C07101C07381C07387F03F0FF83F07F01E01519
809816>I<07E3001FFF003FFF00781F00F00700E00700E00700E00000F000007800003F
80001FF00007FC0000FE00000F00000700000380000380600380E00380E00700F80F00FF
FE00FFFC00C7F00011197E9816>I<7FFFE0FFFFE0FFFFE0E0E0E0E0E0E0E0E0E0E0E0E0
00E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E000
00E00000E00000E00007FC000FFE0007FC0013197F9816>I<7F07F0FF8FF87F07F01C01
C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01
C01C01C01C01C01C01C00E03800E038007070007FF0003FE0000F8001519809816>I<FE
0FE0FE0FE0FE0FE03803803C07801C07001C07001C07001E0F000E0E000E0E000E0E000E
0E00071C00071C00071C00071C0003180003B80003B80003B80001B00001F00001F00000
E00013197F9816>I<7E03F0FF07F87E03F03800E03800E03800E03800E01C01C01C01C0
1C01C01C71C01CF9C01CF9C01CD9C01CD9C00CD9800CD9800CD9800DDD800D8D800D8D80
0D8D80078F00078F000707001519809816>I<7F1F807F3FC07F1F800E1E000E1C00071C
0007380003B80003F00001F00001E00000E00001E00001F00003F00003B80007B800071C
000F1C000E0E000E0E001C07007E0FC0FF1FE07E0FC013197F9816>I<FE0FE0FF1FE0FE
0FE01C07001C07000E0E000E0E00071C00071C00071C0003B80003B80001F00001F00000
E00000E00000E00000E00000E00000E00000E00000E00003F80007FC0003F80013197F98
16>I<7FFF80FFFF80FFFF80E00700E00F00E01E00E01C00003C0000780000700000F000
01E00001C00003C0000780000700000F00001E03801C03803C0380780380700380FFFF80
FFFF80FFFF8011197E9816>I<FFF0FFF0FFF0E000E000E000E000E000E000E000E000E0
00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000FF
F0FFF0FFF00C20789C16>I<C00000E00000E000007000007000003800003800001C0000
1C00000E00000E000007000007000003800003800001C00001C00000E00000E000007000
007000003800003800001C00001C00000E00000E00000700000700000380000380000180
11207E9C16>I<FFF0FFF0FFF00070007000700070007000700070007000700070007000
7000700070007000700070007000700070007000700070007000700070FFF0FFF0FFF00C
207F9C16>I<03000F803FE0FDF8F07840100D067C9816>I<FFFF80FFFF80FFFF8011037E
7E16>I<081C3C7870E0E0E0E0F0F87830060D789B16>I<1FE0003FF0007FF800783C0030
0E00000E00000E0003FE001FFE003E0E00700E00E00E00E00E00E00E00783E007FFFE03F
E7E00F83E013127E9116>I<FC0000FC0000FC00001C00001C00001C00001C00001C7C00
1DFE001FFF001F07801E03C01C01C01C00E01C00E01C00E01C00E01C00E01C00E01C01C0
1E03C01F07801FFF001DFE000C780013197F9816>I<03F80FFC1FFE3C1E780C7000E000
E000E000E000E000F000700778073E0E1FFC0FF803F010127D9116>I<003F00003F0000
3F0000070000070000070000070003C7000FF7001FFF003C1F00780F00700700E00700E0
0700E00700E00700E00700E00700700F00780F003C1F001FFFE00FF7E007C7E013197F98
16>I<03F0000FFC001FFE003C0F00780700700380E00380FFFF80FFFF80FFFF80E00000
E000007003807803803E07801FFF0007FE0001F80011127E9116>I<001E00007F0001FF
8001C7800383000380000380007FFF00FFFF00FFFF000380000380000380000380000380
000380000380000380000380000380000380000380007FFC00FFFE007FFC0011197F9816
>I<03E3C007F7E00FFFE01C1CC0380E00380E00380E00380E00380E001C1C000FF8001F
F0001BE0003800001800001FFC001FFF003FFF807003C0E000E0E000E0E000E0E000E070
01C07C07C03FFF800FFE0003F800131C7F9116>I<FC0000FC0000FC00001C00001C0000
1C00001C00001C78001DFC001FFE001F0F001E07001C07001C07001C07001C07001C0700
1C07001C07001C07001C07001C0700FF8FE0FF9FE0FF8FE013197F9816>I<0300078007
8003000000000000000000FF80FF80FF8003800380038003800380038003800380038003
8003800380FFFCFFFEFFFC0F1A7C9916>I<003000780078003000000000000000000FF8
1FF80FF80038003800380038003800380038003800380038003800380038003800380038
0038003800386070F0F0FFE07FC03F800D237E9916>I<7E0000FE00007E00000E00000E
00000E00000E00000E7FE00E7FE00E7FE00E0F000E1E000E3C000E78000EF0000FF0000F
F8000FBC000F1E000E0E000E07000E07807F87F0FFCFF07F87F01419809816>I<7FC000
FFC0007FC00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000
01C00001C00001C00001C00001C00001C00001C00001C00001C0007FFF00FFFF807FFF00
11197E9816>I<F9C380FFEFC0FFFFE03C78E03C78E03870E03870E03870E03870E03870
E03870E03870E03870E03870E03870E0FE7CF8FE7CF8FE7CF81512809116>I<FC7800FD
FC00FFFE001F0F001E07001C07001C07001C07001C07001C07001C07001C07001C07001C
07001C0700FF8FE0FF9FE0FF8FE013127F9116>I<03E0000FF8001FFC003C1E00780F00
700700E00380E00380E00380E00380E00380F00780700700780F003C1E001FFC000FF800
03E00011127E9116>I<FC7C00FDFE00FFFF001F07801E03C01C01C01C00E01C00E01C00
E01C00E01C00E01C00E01C01C01E03C01F07801FFF001DFE001C78001C00001C00001C00
001C00001C00001C0000FF8000FF8000FF8000131B7F9116>I<03E3800FF3801FFB803E
0F80780780700780E00380E00380E00380E00380E00380E003807007807807803C1F801F
FB800FF38003E380000380000380000380000380000380000380001FF0003FF8001FF015
1B7F9116>I<7F0FC0FF3FE07F7FE007F04007C000078000078000070000070000070000
0700000700000700000700000700007FFC00FFFC007FFC0013127F9116>I<0FEC3FFC7F
FCF03CE01CE01C70007F801FF007F8003C600EE00EF00EF81EFFFCFFF8C7E00F127D9116
>I<0300000700000700000700000700007FFF00FFFF00FFFF0007000007000007000007
000007000007000007000007010007038007038007038007870003FE0001FC0000F80011
177F9616>I<FC3F00FC3F00FC3F001C07001C07001C07001C07001C07001C07001C0700
1C07001C07001C07001C07001C1F001FFFE00FF7E007C7E013127F9116>I<7F1FC0FF9F
E07F1FC01C07001C07000E0E000E0E000E0E00071C00071C00071C00071C0003B80003B8
0003B80001F00001F00000E00013127F9116>I<FF1FE0FF1FE0FF1FE038038038038038
038038038039F38039F38019F30019B30019B30019B3001DB7001D17001F1F000F1E000E
0E0013127F9116>I<7F1FC07F3FC07F1FC00F1E00073C0003B80003F00001F00000E000
01E00001F00003B800073C00071C000E0E007F1FC0FF3FE07F1FC013127F9116>I<7F1F
C0FF9FE07F1FC01C07000E07000E0E000E0E00070E00071C00071C00039C00039C000398
0001B80001B80000F00000F00000F00000E00000E00000E00001C00079C0007BC0007F80
007F00003C0000131B7F9116>I<3FFFC07FFFC07FFFC0700780700F00701E00003C0000
780001F00003E0000780000F00001E01C03C01C07801C0FFFFC0FFFFC0FFFFC012127F91
16>I<E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E0E003
20779C16>124 D<1C303F78FFF8F7E061C00D057C9816>126 D E
/Fd 50 122 df<007E0001C1800301800703C00E03C00E01800E00000E00000E00000E00
000E0000FFFFC00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01
C00E01C00E01C00E01C00E01C00E01C00E01C07F87F8151D809C17>12
D<03C00C301818300C300C700E60066006E007E007E007E007E007E007E007E007E007E0
07E007E007E00760066006700E300C300C18180C3007E0101D7E9B15>48
D<010007003F00C700070007000700070007000700070007000700070007000700070007
00070007000700070007000700070007000700FFF80D1C7C9B15>I<07C01830201C400C
400EF00FF80FF807F8077007000F000E000E001C001C00380070006000C0018003000601
0C01180110023FFE7FFEFFFE101C7E9B15>I<07E01830201C201C781E780E781E381E00
1C001C00180030006007C00030001C001C000E000F000F700FF80FF80FF80FF00E401C20
1C183007C0101D7E9B15>I<000C00000C00001C00003C00003C00005C0000DC00009C00
011C00031C00021C00041C000C1C00081C00101C00301C00201C00401C00C01C00FFFFC0
001C00001C00001C00001C00001C00001C00001C0001FFC0121C7F9B15>I<300C3FF83F
F03FC020002000200020002000200023E02C303018301C200E000E000F000F000F600FF0
0FF00FF00F800E401E401C2038187007C0101D7E9B15>I<00F0030C04040C0E181E301E
300C700070006000E3E0E430E818F00CF00EE006E007E007E007E007E007600760077006
300E300C18180C3003E0101D7E9B15>I<4000007FFF807FFF007FFF0040020080040080
040080080000100000100000200000600000400000C00000C00001C00001800001800003
8000038000038000038000078000078000078000078000078000078000030000111D7E9B
15>I<03E00C301008200C200660066006700670067C0C3E183FB01FE007F007F818FC30
7E601E600FC007C003C003C003C00360026004300C1C1007E0101D7E9B15>I<03C00C30
1818300C700C600EE006E006E007E007E007E007E0076007700F300F18170C2707C70006
0006000E300C780C78187018203010C00F80101D7E9B15>I<0006000000060000000600
00000F0000000F0000000F000000178000001780000037C0000023C0000023C0000043E0
000041E0000041E0000080F0000080F0000080F000010078000100780001FFF80002003C
0002003C0002003C0004001E0004001E000C001F000C000F001E001F00FF00FFF01C1D7F
9C1F>65 D<FFFFC0000F0078000F003C000F001E000F000E000F000F000F000F000F000F
000F000F000F000E000F001E000F003C000F00F8000FFFF0000F003C000F001E000F000F
000F0007000F0007800F0007800F0007800F0007800F0007800F000F000F000F000F001E
000F007800FFFFE000191C7F9B1D>I<001F808000E0618001801980070007800E000380
1C0003801C00018038000180780000807800008070000080F0000000F0000000F0000000
F0000000F0000000F0000000F0000000F000000070000080780000807800008038000080
1C0001001C0001000E000200070004000180080000E03000001FC000191E7E9C1E>I<FF
FFC0000F00F0000F003C000F000E000F0007000F0007000F0003800F0003C00F0001C00F
0001C00F0001E00F0001E00F0001E00F0001E00F0001E00F0001E00F0001E00F0001E00F
0001C00F0001C00F0003C00F0003800F0007800F0007000F000E000F001C000F007000FF
FFC0001B1C7E9B20>I<FFFFFC0F003C0F000C0F00040F00040F00060F00020F00020F01
020F01000F01000F01000F03000FFF000F03000F01000F01000F01000F01010F00010F00
020F00020F00020F00060F00060F000C0F003CFFFFFC181C7E9B1C>I<FFFFF80F00780F
00180F00080F00080F000C0F00040F00040F01040F01000F01000F01000F03000FFF000F
03000F01000F01000F01000F01000F00000F00000F00000F00000F00000F00000F00000F
0000FFF800161C7E9B1B>I<FFF0FFF00F000F000F000F000F000F000F000F000F000F00
0F000F000F000F000F000F000F000F000F000F000F000F000F000F000FFFFF000F000F00
0F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F00
0F000F000F000F000F000F00FFF0FFF01C1C7F9B1F>72 D<FFF00F000F000F000F000F00
0F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F00
0F000F000F00FFF00C1C7F9B0F>I<FFF8000F80000F00000F00000F00000F00000F0000
0F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F0008
0F00080F00080F00180F00180F00100F00300F00700F01F0FFFFF0151C7E9B1A>76
D<FF8000FF800F8000F8000F8000F8000BC00178000BC00178000BC001780009E0027800
09E002780008F004780008F004780008F004780008780878000878087800087808780008
3C107800083C107800083C107800081E207800081E207800081E207800080F407800080F
40780008078078000807807800080780780008030078001C03007800FF8307FF80211C7E
9B26>I<FF001FF00F8003800FC001000BC0010009E0010008F0010008F0010008780100
083C0100083E0100081E0100080F0100080F8100080781000803C1000801E1000801F100
0800F1000800790008007D0008003D0008001F0008001F0008000F000800070008000300
1C000300FF8001001C1C7F9B1F>I<003F800000E0E0000380380007001C000E000E001C
0007003C00078038000380780003C0780003C0700001C0F00001E0F00001E0F00001E0F0
0001E0F00001E0F00001E0F00001E0F00001E0700001C0780003C0780003C0380003803C
0007801C0007000E000E0007001C000380380000E0E000003F80001B1E7E9C20>I<FFFF
800F00E00F00780F003C0F001C0F001E0F001E0F001E0F001E0F001E0F001C0F003C0F00
780F00E00FFF800F00000F00000F00000F00000F00000F00000F00000F00000F00000F00
000F00000F0000FFF000171C7E9B1C>I<07E0801C1980300580300380600180E00180E0
0080E00080E00080F00000F800007C00007FC0003FF8001FFE0007FF0000FF80000F8000
07C00003C00001C08001C08001C08001C0C00180C00180E00300D00200CC0C0083F80012
1E7E9C17>83 D<7FFFFFC0700F01C0600F00C0400F0040400F0040C00F0020800F002080
0F0020800F0020000F0000000F0000000F0000000F0000000F0000000F0000000F000000
0F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F000000
0F0000001F800003FFFC001B1C7F9B1E>I<FFE00FF01F0003C01F0001800F0001000F00
0100078002000780020007C0020003C0040003C0040003E00C0001E0080001E0080000F0
100000F0100000F810000078200000782000003C4000003C4000003C4000001E8000001E
8000001F8000000F0000000F00000006000000060000000600001C1D7F9B1F>86
D<1FC000307000783800781C00301C00001C00001C0001FC000F1C00381C00701C00601C
00E01C40E01C40E01C40603C40304E801F870012127E9115>97 D<FC00001C00001C0000
1C00001C00001C00001C00001C00001C00001C00001C00001C7C001D87001E01801C00C0
1C00E01C00601C00701C00701C00701C00701C00701C00701C00601C00E01C00C01E0180
19070010FC00141D7F9C17>I<03F80C0C181E301E700C6000E000E000E000E000E000E0
0060007002300218040C1803E00F127F9112>I<001F8000038000038000038000038000
038000038000038000038000038000038003F3800E0B80180780300380700380600380E0
0380E00380E00380E00380E00380E003806003807003803003801807800E1B8003E3F014
1D7F9C17>I<07E00C301818300C700E6006E006FFFEE000E000E000E000600070023002
18040C1803E00F127F9112>I<00F8018C071E061E0E0C0E000E000E000E000E000E00FF
E00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007FE00F
1D809C0D>I<00038007C4C01C78C0383880301800701C00701C00701C00701C00301800
3838001C700027C0002000002000003000003FF8001FFF001FFF802003806001C0C000C0
C000C0C000C06001803003001C0E0007F800121C7F9215>I<FC00001C00001C00001C00
001C00001C00001C00001C00001C00001C00001C00001C7C001C87001D03001E03801C03
801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03
80FF9FF0141D7F9C17>I<18003C003C0018000000000000000000000000000000FC001C
001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C00FF80091D7F
9C0C>I<00C001E001E000C0000000000000000000000000000007E000E000E000E000E0
00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E060E0F0C0
F1C061803E000B25839C0D>I<FC001C001C001C001C001C001C001C001C001C001C001C
001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C00FF8009
1D7F9C0C>108 D<FC7E07E0001C838838001D019018001E01E01C001C01C01C001C01C0
1C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C
001C01C01C001C01C01C001C01C01C001C01C01C00FF8FF8FF8021127F9124>I<FC7C00
1C87001D03001E03801C03801C03801C03801C03801C03801C03801C03801C03801C0380
1C03801C03801C03801C0380FF9FF014127F9117>I<03F0000E1C001806003003007003
80600180E001C0E001C0E001C0E001C0E001C0E001C06001807003803003001806000E1C
0003F00012127F9115>I<FC7C001D87001E01801C01C01C00E01C00E01C00701C00701C
00701C00701C00701C00701C00E01C00E01C01C01E01801D07001CFC001C00001C00001C
00001C00001C00001C00001C0000FF8000141A7F9117>I<FCE01D381E781E781C301C00
1C001C001C001C001C001C001C001C001C001C001C00FFC00D127F9110>114
D<1F9020704030C010C010E010F8007F803FE00FF000F880388018C018C018E010D0608F
C00D127F9110>I<04000400040004000C000C001C003C00FFE01C001C001C001C001C00
1C001C001C001C001C101C101C101C101C100C100E2003C00C1A7F9910>I<FC1F801C03
801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03
801C07800C07800E1B8003E3F014127F9117>I<FF07E03C03801C01001C01000E02000E
02000F060007040007040003880003880003C80001D00001D00000E00000E00000E00000
400013127F9116>I<FF3FC7E03C0703C01C0701801C0701001C0B01000E0B82000E0B82
000E1182000711C4000711C4000720C40003A0E80003A0E80003C0680001C0700001C070
0001803000008020001B127F911E>I<FF0FE01E07001C06000E040007080003900003B0
0001E00000E00000F00001F000013800021C00041C000C0E001807003C0780FE1FF01412
7F9116>I<FF07E03C03801C01001C01000E02000E02000F060007040007040003880003
880003C80001D00001D00000E00000E00000E000004000004000008000008000F08000F1
0000F30000660000380000131A7F9116>I E /Fe 39 122 df<0000FE00000301800006
0180000C0380001C0180001C0000001800000038000000380000003800000038000003FF
FE0000700E0000700E0000700E0000701C0000701C0000E01C0000E01C0000E0380000E0
380000E0380001C0380001C0720001C0720001C0720001C0720003803400038018000380
0000030000000300000007000000C6000000E6000000CC000000780000001925819C17>
12 D<0000180000001800000038000000380000007800000078000000B8000001380000
01380000023C0000021C0000041C00000C1C0000081C0000101C0000101C0000201C0000
201C00007FFC0000C01C0000801C0001001C0001001E0002000E0002000E0004000E000C
000E001C001E00FF00FFC01A1D7E9C1F>65 D<01FFFF00003C0380003801C0003800E000
3800E0003800E0007000E0007001E0007001E0007003C000E0038000E00F0000E01E0000
FFFC0001C00E0001C0070001C0078001C007800380078003800780038007800380078007
000F0007000E0007001E0007003C000E00F000FFFFC0001B1C7E9B1D>I<0003F020001E
0C60003002E000E003C001C001C0038001C0070000C00E0000801E0000801C0000803C00
00803C000000780000007800000078000000F0000000F0000000F0000000F0000000F000
0400F0000400F0000400F0000800700008007000100038002000180040000C0180000706
000001F800001B1E7A9C1E>I<01FFFF00003C03C0003800E0003800E000380070003800
700070007800700038007000380070007800E0007800E0007800E0007800E0007801C000
F001C000F001C000F001C000E0038001E0038001C0038003C0038003800700070007000E
0007001C00070038000E00E000FFFF80001D1C7E9B1F>I<01FFFFF0003C00F000380030
0038002000380020003800200070002000700020007008200070080000E0100000E01000
00E0300000FFF00001C0200001C0200001C0200001C02000038040800380008003800080
03800100070001000700030007000200070006000E003C00FFFFFC001C1C7E9B1C>I<01
FFFFF0003C00F00038003000380020003800200038002000700020007000200070082000
70080000E0100000E0100000E0300000FFF00001C0200001C0200001C0200001C0200003
804000038000000380000003800000070000000700000007000000070000000F000000FF
F000001C1C7E9B1B>I<01FFC3FF80003C00780000380070000038007000003800700000
38007000007000E000007000E000007000E000007000E00000E001C00000E001C00000E0
01C00000FFFFC00001C003800001C003800001C003800001C00380000380070000038007
00000380070000038007000007000E000007000E000007000E000007000E00000F001E00
00FFE1FFC000211C7E9B1F>72 D<03FF0078007000700070007000E000E000E000E001C0
01C001C001C0038003800380038007000700070007000E000E000E000E001E00FFC0101C
7D9B10>I<01FFC0003C0000380000380000380000380000700000700000700000700000
E00000E00000E00000E00001C00001C00001C00001C00003800203800203800203800407
000407000C0700180700380E00F0FFFFF0171C7E9B1A>76 D<01FE0001FE003E0001E000
2E0003C0002E0005C0002E0005C0002E0009C0004E000B80004E001380004E0023800047
00238000870047000087004700008700870000870107000107010E000107020E00010704
0E000107040E000207081C000203881C000203901C000203A01C000403A038000403C038
000403C038000C038038001C03007800FF8307FF00271C7E9B25>I<01FC00FF80001C00
1C00002E001800002E001000002E00100000270010000047002000004300200000438020
0000438020000081C040000081C040000081C040000080E040000100E080000100708000
0100708000010070800002003900000200390000020039000002001D000004001E000004
000E000004000E00000C000E00001C00040000FF80040000211C7E9B1F>I<0007F00000
1C1C0000700E0000E0070001C0038003800380070003800E0003C01E0003C01C0003C03C
0003C03C0003C0780003C0780003C0780003C0F0000780F0000780F0000780F0000F00F0
000F00F0000E00F0001E00F0003C0070003800700070007800E0003801C0001C0380000E
0E000003F800001A1E7A9C20>I<01FFFE00003C0380003801C0003800E0003800E00038
00E0007001E0007001E0007001E0007001C000E003C000E0038000E0070000E01C0001FF
F00001C0000001C0000001C0000003800000038000000380000003800000070000000700
000007000000070000000F000000FFE000001B1C7E9B1C>I<000F8400304C00403C0080
1801001803001803001806001006001006000007000007000003E00003FC0001FF00007F
800007C00001C00001C00000C00000C02000C02000C0600180600180600300600200F004
00CC180083E000161E7D9C17>83 D<1FFFFFC01C0701C0300E00C0200E0080600E008040
0E0080401C0080801C0080801C0080001C00000038000000380000003800000038000000
70000000700000007000000070000000E0000000E0000000E0000000E0000001C0000001
C0000001C0000001C0000003C000007FFE00001A1C799B1E>I<FF801FC03C0007001C00
04001C0004001C0008001C0010001C0010001C0020001C0020001C0040001C0080001C00
80000E0100000E0100000E0200000E0400000E0400000E0800000E0800000E1000000E20
00000F200000074000000740000007800000070000000700000006000000060000001A1D
779B1F>86 D<01E307170C0F180F380E300E700E700EE01CE01CE01CE01CE039E039E039
6079319A1E0C10127C9115>97 D<3F00070007000E000E000E000E001C001C001C001C00
39E03A183C0C380C700C700E700E700EE01CE01CE01CE018E038E030E06060C031801E00
0F1D7C9C13>I<00F803040E041C0E181C300070007000E000E000E000E000E000E00460
08601030600F800F127C9113>I<0007E00000E00000E00001C00001C00001C00001C000
038000038000038000038001E7000717000C0F00180F00380E00300E00700E00700E00E0
1C00E01C00E01C00E01C00E03900E03900E03900607900319A001E0C00131D7C9C15>I<
00F807040C0418023804300470087FF0E000E000E000E000E00060046008301030600F80
0F127C9113>I<0003C0000670000C70001C60001C00001C000038000038000038000038
0000380003FF8000700000700000700000700000700000E00000E00000E00000E00000E0
0001C00001C00001C00001C00001C000038000038000038000030000030000070000C600
00E60000CC00007800001425819C0D>I<0078C001C5C00303C00603C00E03800C03801C
03801C0380380700380700380700380700380E00380E00380E00181E000C7C00079C0000
1C00001C00003800003800C03000E07000C1C0007F0000121A7E9113>I<0FC00001C000
01C0000380000380000380000380000700000700000700000700000E3E000EC3000F0380
0E03801E03801C03801C03801C0380380700380700380700380E00700E40700E40701C40
701C80E00C80600700121D7E9C15>I<0180038001000000000000000000000000000000
1C002600470047008E008E000E001C001C001C0038003800710071007100720072003C00
091C7C9B0D>I<00030007000300000000000000000000000000000078008C010C020C02
1C041C001C001C0038003800380038007000700070007000E000E000E000E001C001C0C1
80E300C60078001024819B0D>I<1F800380038007000700070007000E000E000E000E00
1C001C001C001C0038003800380038007000700070007000E200E200E200E40064003800
091D7D9C0B>108 D<1C1E0780266318C04683A0E04703C0E08E0380E08E0380E00E0380
E00E0380E01C0701C01C0701C01C0701C01C070380380E0388380E0388380E0708380E07
10701C0320300C01C01D127C9122>I<383E004CC3004D03804E03809E03809C03801C03
801C0380380700380700380700380E00700E40700E40701C40701C80E00C806007001212
7C9117>I<00F800030C000E06001C0300180300300300700380700380E00700E00700E0
0700E00E00E00E00E01C0060180060300030E0000F800011127C9115>I<03878004C860
04D03004E03009C03009C03801C03801C0380380700380700380700380600700E00700C0
0701800783000E86000E78000E00000E00001C00001C00001C00001C0000380000FF0000
151A809115>I<1C3C2642468747078E068E000E000E001C001C001C001C003800380038
0038007000300010127C9112>114 D<01F006080C080C1C18181C001F001FC00FF007F0
007800386030E030C030806060C01F000E127D9111>I<03000700070007000E000E000E
000E00FFE01C001C001C0038003800380038007000700070007000E080E080E100E10066
0038000B1A7C990E>I<1C01802E03804E03804E03808E07008E07001C07001C0700380E
00380E00380E00380E00301C80301C80301C80383C80184D000F860011127C9116>I<1C
062E0E4E064E068E028E021C021C023804380438043808300830083010382018400F800F
127C9113>I<0387800CC8400870E01070E020E0C020E00000E00000E00001C00001C000
01C00001C000038100638100E38200C5820085840078780013127E9113>120
D<1C01802E03804E03804E03808E07008E07001C07001C0700380E00380E00380E00380E
00301C00301C00301C00383C001878000FB800003800003000007000E06000E0C0008180
004300003C0000111A7C9114>I E /Ff 21 90 df<387CFEFFFF7F3B03030306060C1C18
702008117C8610>44 D<387CFEFEFE7C380000000000000000387CFEFEFE7C3807167C95
10>58 D<000070000000007000000000F800000000F800000000F800000001FC00000001
FC00000003FE00000003FE00000003FE000000067F000000067F0000000C7F8000000C3F
8000000C3F800000181FC00000181FC00000301FE00000300FE00000700FF000006007F0
00006007F00000C007F80000FFFFF80001FFFFFC00018001FC00018001FC00030001FE00
030000FE00070000FF000600007F000600007F00FFE007FFF8FFE007FFF825227EA12A>
65 D<0003FE0080001FFF818000FF01E38001F8003F8003E0001F8007C0000F800F8000
07801F800007803F000003803F000003807F000001807E000001807E00000180FE000000
00FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000
7E000000007E000001807F000001803F000001803F000003801F800003000F8000030007
C000060003F0000C0001F800380000FF00F000001FFFC0000003FE000021227DA128>67
D<FFFFFF8000FFFFFFF00007F003FC0007F0007E0007F0003F0007F0001F8007F0000FC0
07F00007E007F00007E007F00007F007F00003F007F00003F007F00003F007F00003F807
F00003F807F00003F807F00003F807F00003F807F00003F807F00003F807F00003F807F0
0003F807F00003F007F00003F007F00003F007F00007E007F00007E007F0000FC007F000
1F8007F0003F0007F0007E0007F003FC00FFFFFFF000FFFFFF800025227EA12B>I<FFFF
FFFCFFFFFFFC07F000FC07F0003C07F0001C07F0000C07F0000E07F0000E07F0000607F0
0C0607F00C0607F00C0607F00C0007F01C0007F03C0007FFFC0007FFFC0007F03C0007F0
1C0007F00C0007F00C0007F00C0307F00C0307F0000307F0000607F0000607F0000607F0
000E07F0000E07F0001E07F0003E07F001FCFFFFFFFCFFFFFFFC20227EA125>I<FFFFFF
F8FFFFFFF807F001F807F0007807F0003807F0001807F0001C07F0001C07F0000C07F000
0C07F0180C07F0180C07F0180007F0180007F0380007F0780007FFF80007FFF80007F078
0007F0380007F0180007F0180007F0180007F0180007F0000007F0000007F0000007F000
0007F0000007F0000007F0000007F00000FFFFC000FFFFC0001E227EA123>I<0003FE00
40001FFFC0C0007F00F1C001F8003FC003F0000FC007C00007C00FC00003C01F800003C0
3F000001C03F000001C07F000000C07E000000C07E000000C0FE00000000FE00000000FE
00000000FE00000000FE00000000FE00000000FE00000000FE000FFFFC7E000FFFFC7F00
001FC07F00001FC03F00001FC03F00001FC01F80001FC00FC0001FC007E0001FC003F000
1FC001FC003FC0007F80E7C0001FFFC3C00003FF00C026227DA12C>I<FFFF83FFFEFFFF
83FFFE07F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F000
1FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007FFFFFF
C007FFFFFFC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC0
07F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007F0001FC007
F0001FC007F0001FC0FFFF83FFFEFFFF83FFFE27227EA12C>I<FFFF80FFFF8007F00007
F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007
F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007
F00007F00007F00007F00007F000FFFF80FFFF8011227EA115>I<FFFFC000FFFFC00007
F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007
F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007
F0000007F0001807F0001807F0001807F0001807F0003807F0003807F0007007F0007007
F000F007F001F007F007F0FFFFFFF0FFFFFFF01D227EA122>76 D<FFF000000FFFFFF800
001FFF07F800001FE006FC000037E006FC000037E006FC000037E0067E000067E0067E00
0067E0063F0000C7E0063F0000C7E0061F800187E0061F800187E0060FC00307E0060FC0
0307E0060FC00307E00607E00607E00607E00607E00603F00C07E00603F00C07E00601F8
1807E00601F81807E00601F81807E00600FC3007E00600FC3007E006007E6007E006007E
6007E006003FC007E006003FC007E006001F8007E006001F8007E006001F8007E006000F
0007E0FFF00F00FFFFFFF00600FFFF30227EA135>I<FFF8001FFEFFFC001FFE07FC0000
C007FE0000C006FF0000C0067F8000C0063FC000C0061FE000C0060FE000C0060FF000C0
0607F800C00603FC00C00601FE00C00600FE00C00600FF00C006007F80C006003FC0C006
001FE0C006000FF0C0060007F0C0060007F8C0060003FCC0060001FEC0060000FFC00600
007FC00600007FC00600003FC00600001FC00600000FC006000007C006000003C0060000
03C0FFF00001C0FFF00000C027227EA12C>I<0007FC0000003FFF800000FC07E00003F0
01F80007E000FC000FC0007E001F80003F001F80003F003F00001F803F00001F807F0000
1FC07E00000FC07E00000FC0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000F
E0FE00000FE0FE00000FE0FE00000FE0FE00000FE07E00000FC07F00001FC07F00001FC0
3F00001F803F80003F801F80003F000FC0007E0007E000FC0003F001F80000FC07E00000
3FFF80000007FC000023227DA12A>I<FFFFFF00FFFFFFE007F007F007F001FC07F000FC
07F0007E07F0007E07F0007F07F0007F07F0007F07F0007F07F0007F07F0007E07F0007E
07F000FC07F001FC07F007F007FFFFE007FFFF0007F0000007F0000007F0000007F00000
07F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007F00000
FFFF8000FFFF800020227EA126>I<FFFFFE0000FFFFFFC00007F007F00007F001F80007
F000FC0007F0007E0007F0007F0007F0007F0007F0007F0007F0007F0007F0007F0007F0
007F0007F0007E0007F000FC0007F001F80007F007F00007FFFFC00007FFFF800007F00F
E00007F007F00007F003F80007F001FC0007F001FC0007F001FC0007F001FC0007F001FC
0007F001FC0007F001FC0007F001FC0007F001FC0607F000FE0607F000FF0CFFFF803FF8
FFFF800FF027227EA12A>82 D<01FE0207FF861F01FE3C007E7C001E78000E78000EF800
06F80006FC0006FC0000FF0000FFE0007FFF007FFFC03FFFF01FFFF80FFFFC03FFFE003F
FE0003FE00007F00003F00003FC0001FC0001FC0001FE0001EE0001EF0003CFC003CFF00
F8C7FFE080FF8018227DA11F>I<7FFFFFFF807FFFFFFF807E03F80F807803F807807003
F803806003F80180E003F801C0E003F801C0C003F800C0C003F800C0C003F800C0C003F8
00C00003F800000003F800000003F800000003F800000003F800000003F800000003F800
000003F800000003F800000003F800000003F800000003F800000003F800000003F80000
0003F800000003F800000003F800000003F800000003F800000003F8000001FFFFF00001
FFFFF00022227EA127>I<FFFF803FFCFFFF803FFC07F000018007F000018007F0000180
07F000018007F000018007F000018007F000018007F000018007F000018007F000018007
F000018007F000018007F000018007F000018007F000018007F000018007F000018007F0
00018007F000018007F000018007F000018007F000018007F000018007F000018003F000
030003F800030001F800060000FC000E00007E001C00003F80F800000FFFE0000001FF00
0026227EA12B>I<7FFFC1FFF87FFFC1FFF803FC000C0001FE00180001FE00380000FF00
3000007F806000007F80E000003FC1C000001FE18000001FE30000000FF700000007FE00
000003FC00000003FC00000001FE00000000FE00000000FF00000000FF80000001FFC000
0001BFC00000031FE00000070FF000000E0FF000000C07F800001803FC00003803FC0000
7001FE00006000FF0000C000FF0001C0007F800180003FC0FFFC03FFFEFFFC03FFFE2722
7FA12A>88 D<FFFF000FFEFFFF000FFE07F80000C007F80001C003FC00018003FE000300
01FE00070000FF00060000FF000C00007F801C00003FC01800003FC03800001FE0300000
0FF06000000FF0E0000007F8C0000003FD80000003FF80000001FF00000001FE00000000
FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE
00000000FE00000000FE00000000FE00000000FE0000001FFFF000001FFFF00027227FA1
2A>I E /Fg 18 122 df<FFFC001F80000F00000F00000F00000F00000F00000F00000F
00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F
00000F00000F00010F00010F00010F00010F00030F00030F00020F00060F00060F001E1F
007EFFFFFE18227DA11E>76 D<FF8007FF07C000F807C0007005E0002004F0002004F000
2004780020047C0020043C0020041E0020041F0020040F002004078020040780200403C0
200401E0200401E0200400F0200400F8200400782004003C2004003E2004001E2004000F
2004000F20040007A0040003E0040003E0040001E0040001E0040000E00E0000601F0000
60FFE0002020227EA125>78 D<FFFFF0000F803C0007800F0007800780078007C0078003
C0078003E0078003E0078003E0078003E0078003E0078003E0078003C0078007C0078007
8007800F0007803C0007FFF0000780000007800000078000000780000007800000078000
0007800000078000000780000007800000078000000780000007800000078000000FC000
00FFFC00001B227EA121>80 D<7FFFFFF878078078600780184007800840078008400780
08C007800C80078004800780048007800480078004000780000007800000078000000780
000007800000078000000780000007800000078000000780000007800000078000000780
000007800000078000000780000007800000078000000780000007800000078000000FC0
0001FFFE001E227EA123>84 D<1FE000303800780C00780E003007000007000007000007
0000FF0007C7001E07003C0700780700700700F00708F00708F00708F00F087817083C23
900FC1E015157E9418>97 D<0E0000FE00001E00000E00000E00000E00000E00000E0000
0E00000E00000E00000E00000E00000E00000E1F000E61C00E80600F00300E00380E003C
0E001C0E001E0E001E0E001E0E001E0E001E0E001E0E001E0E001C0E003C0E00380F0070
0C80600C41C0083F0017237FA21B>I<0000E0000FE00001E00000E00000E00000E00000
E00000E00000E00000E00000E00000E00000E00000E001F8E00704E00C02E01C01E03800
E07800E07000E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07000E07800E03800
E01801E00C02E0070CF001F0FE17237EA21B>100 D<1C003E003E003E001C0000000000
0000000000000000000000000E007E001E000E000E000E000E000E000E000E000E000E00
0E000E000E000E000E000E000E000E00FFC00A227FA10E>105 D<0E0000FE00001E0000
0E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E03FC
0E01F00E01C00E01800E02000E04000E08000E10000E38000EF8000F1C000E1E000E0E00
0E07000E07800E03C00E01C00E01E00E00F00E00F8FFE3FE17237FA21A>107
D<0E00FE001E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E
000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00FFE00B
237FA20E>I<0E1F80FE60C01E80E00F00700F00700E00700E00700E00700E00700E0070
0E00700E00700E00700E00700E00700E00700E00700E00700E00700E0070FFE7FF18157F
941B>110 D<01FC000707000C01801800C03800E0700070700070F00078F00078F00078
F00078F00078F00078F000787000707800F03800E01C01C00E038007070001FC0015157F
9418>I<0E1F00FE61C00E80600F00700E00380E003C0E003C0E001E0E001E0E001E0E00
1E0E001E0E001E0E001E0E003C0E003C0E00380F00700E80E00E41C00E3F000E00000E00
000E00000E00000E00000E00000E00000E00000E0000FFE000171F7F941B>I<0E3CFE46
1E8F0F0F0F060F000E000E000E000E000E000E000E000E000E000E000E000E000E000F00
FFF010157F9413>114 D<0F8830786018C018C008C008E008F0007F003FE00FF001F800
3C801C800C800CC00CC008E018D0308FC00E157E9413>I<0E0070FE07F01E00F00E0070
0E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E0070
0E00F00E00F006017003827800FC7F18157F941B>117 D<FF8FF87F3E01E03C1C01C018
1C01E0180E01E0100E0260100E0270100702702007043020070438200384384003881840
03881C4001C81C8001D00C8001D00E8000F00F0000E0070000E007000060060000400200
20157F9423>119 D<FF80FE1E00781E00300E00200E00200700400700400780C0038080
03808001C10001C10000E20000E20000E200007400007400003800003800003800001000
001000002000002000002000004000F04000F08000F180004300003C0000171F7F941A>
121 D E /Fh 12 122 df<FFFFC00000FFFFC0000007F000000003E000000003E0000000
03E000000003E000000003E000000003E000000003E000000003E000000003E000000003
E000000003E000000003E000000003E000000003E000000003E000000003E000000003E0
00000003E000000003E000000003E000000003E000000003E000000003E000000003E000
000003E000000003E000000003E000000003E000000003E000002003E000002003E00000
2003E000002003E000004003E000004003E000004003E000004003E00000C003E00000C0
03E00001C003E00001C003E00003C003E000078003E0001F8007E0007F80FFFFFFFF80FF
FFFFFF8023317DB029>76 D<FFF00000007FF8FFF00000007FF807F00000007F0002F800
0000BE0002F8000000BE0002F8000000BE00027C0000013E00027C0000013E00023E0000
023E00023E0000023E00023E0000023E00021F0000043E00021F0000043E00021F000004
3E00020F8000083E00020F8000083E00020F8000083E000207C000103E000207C000103E
000207C000103E000203E000203E000203E000203E000201F000403E000201F000403E00
0201F000403E000200F800803E000200F800803E000200F800803E0002007C01003E0002
007C01003E0002007C01003E0002003E02003E0002003E02003E0002003E02003E000200
1F04003E0002001F04003E0002000F88003E0002000F88003E0002000F88003E00020007
D0003E00020007D0003E00020007D0003E00020003E0003E00020003E0003E00020003E0
003E00070001C0003E000F8001C0007F00FFF801C00FFFF8FFF800800FFFF835317CB03D
>I<007F802001FFE02007C078600F001C601E0006E03C0003E0380001E0780000E07000
00E070000060F0000060F0000060F0000020F0000020F0000020F8000020F80000007C00
00007E0000003F0000003FC000001FF800000FFF800007FFF00003FFFC0000FFFF00000F
FF800000FFC000001FE0000007E0000003F0000001F0000000F0000000F8000000F88000
007880000078800000788000007880000078C0000078C0000070E00000F0E00000E0F000
00E0F80001C0EC000380C7000700C1F01E00807FFC00800FF0001D337CB125>83
D<00FE00000303C0000C00E00010007000100038003C003C003E001C003E001E003E001E
0008001E0000001E0000001E0000001E00000FFE0000FC1E0003E01E000F801E001F001E
003E001E003C001E007C001E00F8001E04F8001E04F8001E04F8003E04F8003E0478003E
047C005E043E008F080F0307F003FC03E01E1F7D9E21>97 D<000000F00000001FF00000
001FF000000001F000000000F000000000F000000000F000000000F000000000F0000000
00F000000000F000000000F000000000F000000000F000000000F000000000F000000000
F000000000F000000000F000000FC0F000007030F00001C00CF000038002F000070001F0
000E0001F0001E0000F0003C0000F0003C0000F0007C0000F000780000F000780000F000
F80000F000F80000F000F80000F000F80000F000F80000F000F80000F000F80000F00078
0000F000780000F0007C0000F0003C0000F0003C0000F0001E0000F0000E0001F0000700
02F000038004F00001C008F80000F030FF80001FC0FF8021327EB125>100
D<0007E0001C1000383800707C00E07C01E07C01C03803C00003C00003C00003C00003C0
0003C00003C00003C00003C00003C00003C00003C000FFFFC0FFFFC003C00003C00003C0
0003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C0
0003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00007E0
007FFF007FFF0016327FB114>102 D<0780FE0000FF83078000FF8C03C0000F9001E000
07A001E00007A000F00007C000F00007C000F000078000F000078000F000078000F00007
8000F000078000F000078000F000078000F000078000F000078000F000078000F0000780
00F000078000F000078000F000078000F000078000F000078000F000078000F000078000
F000078000F000078000F0000FC001F800FFFC1FFF80FFFC1FFF80211F7E9E25>110
D<001FC00000F0780001C01C00070007000F0007801E0003C01C0001C03C0001E03C0001
E0780000F0780000F0780000F0F80000F8F80000F8F80000F8F80000F8F80000F8F80000
F8F80000F8F80000F8780000F07C0001F03C0001E03C0001E01E0003C01E0003C00F0007
8007800F0001C01C0000F07800001FC0001D1F7E9E21>I<0783E0FF8418FF887C0F907C
07A07C07A03807C00007C00007C000078000078000078000078000078000078000078000
078000078000078000078000078000078000078000078000078000078000078000078000
0FC000FFFE00FFFE00161F7E9E19>114 D<00400000400000400000400000400000C000
00C00000C00001C00001C00003C00007C0000FC0001FFFE0FFFFE003C00003C00003C000
03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
03C00003C01003C01003C01003C01003C01003C01003C01003C01001C02001E02000E040
0078C0001F00142C7FAB19>116 D<FFF003FF00FFF003FF000FE001F80003C001E00003
E001800001E001000000F00300000078020000007C040000003C080000001E100000000F
300000000FA000000007C000000003C000000003E000000001F000000002F00000000478
000000087C000000183E000000101E000000200F000000400F800000C007C000008003C0
00010001E000070001F0001F8001F800FFC007FFC0FFC007FFC0221F7F9E23>120
D<FFF800FF80FFF800FF800FC0007C000780003800078000300003C000200003C0002000
01E000400001E000400001F000400000F000800000F00080000078010000007801000000
7C010000003C020000003C020000001E040000001E040000001F040000000F080000000F
080000000790000000079000000007D000000003E000000003E000000001C000000001C0
00000001C000000000800000000080000000010000000001000000000100000000020000
00000200000000040000007004000000F80C000000F808000000F8100000007020000000
30400000001F80000000212D7F9E23>I E end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300dpi
TeXDict begin
%%PaperSize: a4
%%EndSetup
%%Page: 1 1
1 0 bop 598 183 a Fh(Syn)n(tax)21 b(of)g(Standard)g(ML)574
303 y Fg(T)l(obias)c(Nipk)o(o)o(w)e(and)i(Larry)g(P)o(aulson)0
465 y Ff(PR)n(OGRAMS)j(AND)f(MODULES)0 582 y Fe(Pr)n(o)n(gr)n(am)p
0 680 156 2 v 154 645 414 2 v 154 711 2 67 v 174 688
a Fd(T)m(opLev)o(elDeclaration)p 566 711 V 154 713 414
2 v 566 680 36 2 v 624 689 a Fc(;)601 646 y Fb(\017)601
713 y(\016)668 646 y(\014)668 713 y(\015)104 680 y(\017)p
104 745 2 34 v 104 779 a(\016)719 680 y(\014)p 138 779
549 2 v 719 745 2 34 v 719 779 a(\015)p 669 680 156 2
v 0 936 a Fe(T)m(opL)n(evelDe)n(clar)n(ation)p 0 1033
V 154 998 236 2 v 154 1065 2 67 v 174 1042 a Fd(Expression)p
388 1065 V 154 1067 236 2 v 104 1033 a Fb(\014)p 104
1099 2 34 v 104 1133 a(\016)p 138 1133 18 2 v 154 1098
372 2 v 154 1165 2 67 v 174 1141 a Fd(Ob)r(jectDeclaration)p
524 1165 V 154 1167 372 2 v 104 1199 2 100 v 104 1233
a Fb(\016)p 138 1233 18 2 v 154 1198 422 2 v 154 1264
2 67 v 174 1241 a Fd(SignatureDeclaration)p 574 1264
V 154 1266 422 2 v 104 1298 2 100 v 104 1332 a Fb(\016)p
138 1332 18 2 v 154 1297 390 2 v 154 1364 2 67 v 174
1341 a Fd(F)m(unctorDeclaration)p 542 1364 V 154 1366
390 2 v 624 1033 a Fb(\017)p 524 1133 68 2 v 624 1099
2 34 v 624 1133 a(\015)p 574 1233 18 2 v 624 1199 2 100
v 624 1233 a(\015)p 542 1332 50 2 v 624 1298 2 100 v
624 1332 a(\015)p 388 1033 343 2 v 0 1489 a Fe(Obje)n(ctDe)n(clar)n
(ation)p 0 1586 223 2 v 221 1551 249 2 v 221 1618 2 67
v 240 1595 a Fd(Declaration)p 467 1618 V 221 1620 249
2 v 170 1586 a Fb(\014)p 170 1652 2 34 v 170 1686 a(\016)p
204 1686 18 2 v 240 1695 a Fc(structure)221 1653 y Fb(\017)221
1719 y(\016)453 1653 y(\014)453 1719 y(\015)p 255 1719
166 2 v 255 1653 V 454 1686 103 2 v 555 1651 134 2 v
555 1717 2 67 v 574 1694 a Fd(Iden)o(t)p 687 1717 V 555
1719 134 2 v 687 1686 103 2 v 811 1695 a Fc(:)788 1653
y Fb(\017)788 1719 y(\016)854 1653 y(\014)854 1719 y(\015)p
855 1686 36 2 v 889 1651 213 2 v 889 1717 2 67 v 909
1694 a Fd(Signature)p 1100 1717 V 889 1719 213 2 v 737
1686 a Fb(\014)p 737 1751 2 34 v 737 1786 a(\016)1150
1686 y(\017)p 771 1786 347 2 v 1150 1751 2 34 v 1150
1786 a(\015)p 1100 1686 103 2 v 1224 1695 a Fc(=)1201
1653 y Fb(\017)1201 1719 y(\016)1267 1653 y(\014)1267
1719 y(\015)p 1268 1686 36 2 v 1302 1651 210 2 v 1302
1717 2 67 v 1322 1694 a Fd(Structure)p 1511 1717 V 1302
1719 210 2 v 504 1686 a Fb(\017)p 504 1851 2 133 v 504
1885 a(\016)p 538 1885 445 2 v 1001 1894 a Fc(and)982
1852 y Fb(\017)982 1918 y(\016)1083 1852 y(\014)1083
1918 y(\015)p 1016 1918 35 2 v 1016 1852 V 1561 1686
a(\014)p 1084 1885 445 2 v 1561 1851 2 133 v 1561 1885
a(\015)p 170 1951 2 299 v 170 1985 a(\016)p 204 1985
18 2 v 240 1994 a Fc(local)221 1952 y Fb(\017)221 2018
y(\016)366 1952 y(\014)366 2018 y(\015)p 255 2018 79
2 v 255 1952 V 367 1985 36 2 v 401 1950 372 2 v 401 2016
2 67 v 421 1993 a Fd(Ob)r(jectDeclaration)p 771 2016
V 401 2018 372 2 v 771 1985 36 2 v 825 1994 a Fc(in)806
1952 y Fb(\017)806 2018 y(\016)885 1952 y(\014)885 2018
y(\015)p 840 2018 13 2 v 840 1952 V 886 1985 36 2 v 920
1950 372 2 v 920 2016 2 67 v 940 1993 a Fd(Ob)r(jectDeclaration)p
1291 2016 V 920 2018 372 2 v 1291 1985 36 2 v 1344 1994
a Fc(end)1325 1952 y Fb(\017)1325 2018 y(\016)1427 1952
y(\014)1427 2018 y(\015)p 1359 2018 35 2 v 1359 1952
V 170 2050 2 100 v 170 2084 a(\016)1627 1586 y(\017)p
1511 1686 85 2 v 1627 1652 2 34 v 1627 1686 a(\015)p
1427 1985 168 2 v 1627 1951 2 299 v 1627 1985 a(\015)p
204 2084 1391 2 v 1627 2050 2 100 v 1627 2084 a(\015)104
1586 y(\017)p 104 2150 2 532 v 104 2184 a(\016)p 138
2184 85 2 v 245 2193 a Fc(;)221 2151 y Fb(\017)221 2217
y(\016)288 2151 y(\014)288 2217 y(\015)170 2184 y(\014)p
170 2250 2 34 v 170 2284 a(\016)339 2184 y(\017)p 204
2284 103 2 v 339 2250 2 34 v 339 2284 a(\015)1694 1586
y(\014)p 289 2184 1373 2 v 1694 2150 2 532 v 1694 2184
a(\015)p 467 1586 1332 2 v 929 2955 a Fd(1)p eop
%%Page: 2 2
2 1 bop 0 -4 a Fe(Signatur)n(eDe)n(clar)n(ation)p 0 93
223 2 v 240 102 a Fc(signature)221 60 y Fb(\017)221 126
y(\016)453 60 y(\014)453 126 y(\015)p 255 126 166 2 v
255 60 V 454 93 103 2 v 555 58 134 2 v 555 125 2 67 v
574 101 a Fd(Iden)o(t)p 687 125 V 555 127 134 2 v 687
93 36 2 v 745 102 a Fc(=)721 60 y Fb(\017)721 126 y(\016)788
60 y(\014)788 126 y(\015)p 789 93 V 823 58 213 2 v 823
125 2 67 v 842 101 a Fd(Signature)p 1033 125 V 823 127
213 2 v 504 93 a Fb(\017)p 504 159 2 34 v 504 193 a(\016)p
538 193 206 2 v 762 202 a Fc(and)743 159 y Fb(\017)743
226 y(\016)844 159 y(\014)844 226 y(\015)p 777 226 35
2 v 777 159 V 1084 93 a(\014)p 845 193 206 2 v 1084 159
2 34 v 1084 193 a(\015)170 93 y(\014)p 170 258 2 133
v 170 292 a(\016)1150 93 y(\017)p 204 292 914 2 v 1150
258 2 133 v 1150 292 a(\015)104 93 y(\017)p 104 358 2
233 v 104 392 a(\016)p 138 392 85 2 v 245 401 a Fc(;)221
359 y Fb(\017)221 425 y(\016)288 359 y(\014)288 425 y(\015)170
392 y(\014)p 170 457 2 34 v 170 491 a(\016)339 392 y(\017)p
204 491 103 2 v 339 457 2 34 v 339 491 a(\015)1216 93
y(\014)p 289 392 896 2 v 1216 358 2 233 v 1216 392 a(\015)p
1033 93 289 2 v 0 634 a Fe(F)m(unctorDe)n(clar)n(ation)p
0 723 223 2 v 240 732 a Fc(functor)221 690 y Fb(\017)221
756 y(\016)410 690 y(\014)410 756 y(\015)p 255 756 122
2 v 255 690 V 410 723 103 2 v 511 688 323 2 v 511 755
2 67 v 531 732 a Fd(F)m(unctorBinding)p 832 755 V 511
757 323 2 v 461 723 a Fb(\017)p 461 789 2 34 v 461 823
a(\016)p 495 823 128 2 v 640 832 a Fc(and)621 790 y Fb(\017)621
856 y(\016)722 790 y(\014)722 856 y(\015)p 655 856 35
2 v 655 790 V 882 723 a(\014)p 723 823 128 2 v 882 789
2 34 v 882 823 a(\015)170 723 y(\014)p 170 888 2 133
v 170 922 a(\016)949 723 y(\017)p 204 922 713 2 v 949
888 2 133 v 949 922 a(\015)104 723 y(\017)p 104 988 2
233 v 104 1022 a(\016)p 138 1022 85 2 v 245 1031 a Fc(;)221
989 y Fb(\017)221 1055 y(\016)288 989 y(\014)288 1055
y(\015)170 1022 y(\014)p 170 1088 2 34 v 170 1122 a(\016)339
1022 y(\017)p 204 1122 103 2 v 339 1088 2 34 v 339 1122
a(\015)1015 723 y(\014)p 289 1022 695 2 v 1015 988 2
233 v 1015 1022 a(\015)p 832 723 289 2 v 0 1264 a Fe(F)m(unctorBinding)
p 0 1362 90 2 v 88 1327 134 2 v 88 1393 2 67 v 107 1370
a Fd(Iden)o(t)p 220 1393 V 88 1395 134 2 v 220 1362 36
2 v 278 1371 a Fc(\()255 1328 y Fb(\017)255 1395 y(\016)321
1328 y(\014)321 1395 y(\015)p 322 1362 V 356 1327 380
2 v 356 1393 2 67 v 375 1370 a Fd(F)m(unctorArgumen)o(ts)p
733 1393 V 356 1395 380 2 v 733 1362 36 2 v 791 1371
a Fc(\))768 1328 y Fb(\017)768 1395 y(\016)835 1328 y(\014)835
1395 y(\015)p 836 1362 103 2 v 960 1371 a Fc(:)937 1328
y Fb(\017)937 1395 y(\016)1003 1328 y(\014)1003 1395
y(\015)p 1004 1362 36 2 v 1038 1327 213 2 v 1038 1393
2 67 v 1058 1370 a Fd(Signature)p 1249 1393 V 1038 1395
213 2 v 886 1362 a Fb(\014)p 886 1427 2 34 v 886 1461
a(\016)1299 1362 y(\017)p 920 1461 347 2 v 1299 1427
2 34 v 1299 1461 a(\015)p 1249 1362 103 2 v 1373 1371
a Fc(=)1350 1328 y Fb(\017)1350 1395 y(\016)1416 1328
y(\014)1416 1395 y(\015)p 1417 1362 36 2 v 1451 1327
210 2 v 1451 1393 2 67 v 1471 1370 a Fd(Structure)p 1660
1393 V 1451 1395 210 2 v 1660 1362 90 2 v 0 1603 a Fe(F)m(unctorA)o(r)n
(guments)p 0 1701 156 2 v 154 1666 134 2 v 154 1732 2
67 v 174 1709 a Fd(Iden)o(t)p 286 1732 V 154 1734 134
2 v 286 1701 36 2 v 344 1710 a Fc(:)321 1667 y Fb(\017)321
1734 y(\016)387 1667 y(\014)387 1734 y(\015)p 388 1701
V 422 1666 213 2 v 422 1732 2 67 v 442 1709 a Fd(Signature)p
633 1732 V 422 1734 213 2 v 104 1701 a Fb(\014)p 104
1766 2 34 v 104 1800 a(\016)p 138 1800 18 2 v 154 1765
269 2 v 154 1832 2 67 v 174 1809 a Fd(Sp)q(eci\014cation)p
421 1832 V 154 1834 269 2 v 683 1701 a Fb(\017)p 421
1800 230 2 v 683 1766 2 34 v 683 1800 a(\015)p 633 1701
156 2 v 0 1942 a Fe(Structur)n(e)p 0 2032 V 174 2041
a Fc(struct)155 1998 y Fb(\017)155 2065 y(\016)321 1998
y(\014)321 2065 y(\015)p 189 2065 101 2 v 189 1998 V
322 2032 36 2 v 356 1997 372 2 v 356 2063 2 67 v 376
2040 a Fd(Ob)r(jectDeclaration)p 727 2063 V 356 2065
372 2 v 727 2032 36 2 v 780 2041 a Fc(end)761 1998 y
Fb(\017)761 2065 y(\016)863 1998 y(\014)863 2065 y(\015)p
796 2065 35 2 v 796 1998 V 104 2032 a(\014)p 104 2097
2 34 v 104 2131 a(\016)p 138 2131 18 2 v 154 2096 334
2 v 154 2163 2 67 v 174 2139 a Fd(Comp)q(oundIden)o(t)p
486 2163 V 154 2165 334 2 v 104 2197 2 100 v 104 2231
a Fb(\016)p 138 2231 18 2 v 154 2196 134 2 v 154 2262
2 67 v 174 2239 a Fd(Iden)o(t)p 286 2262 V 154 2264 134
2 v 286 2231 36 2 v 344 2240 a Fc(\()321 2198 y Fb(\017)321
2264 y(\016)387 2198 y(\014)387 2264 y(\015)p 388 2231
103 2 v 489 2196 210 2 v 489 2262 2 67 v 508 2239 a Fd(Structure)p
697 2262 V 489 2264 210 2 v 438 2231 a Fb(\014)p 438
2296 2 34 v 438 2330 a(\016)p 473 2330 18 2 v 489 2296
372 2 v 489 2362 2 67 v 508 2339 a Fd(Ob)r(jectDeclaration)p
859 2362 V 489 2364 372 2 v 909 2231 a Fb(\017)p 859
2330 18 2 v 909 2296 2 34 v 909 2330 a(\015)p 697 2231
265 2 v 983 2240 a Fc(\))960 2198 y Fb(\017)960 2264
y(\016)1027 2198 y(\014)1027 2264 y(\015)p 104 2396 2
200 v 104 2430 a(\016)p 138 2430 18 2 v 174 2439 a Fc(let)155
2397 y Fb(\017)155 2463 y(\016)256 2397 y(\014)256 2463
y(\015)p 189 2463 35 2 v 189 2397 V 257 2430 36 2 v 291
2395 372 2 v 291 2462 2 67 v 311 2438 a Fd(Ob)r(jectDeclaration)p
661 2462 V 291 2464 372 2 v 661 2430 36 2 v 715 2439
a Fc(in)696 2397 y Fb(\017)696 2463 y(\016)775 2397 y(\014)775
2463 y(\015)p 730 2463 13 2 v 730 2397 V 776 2430 36
2 v 810 2395 210 2 v 810 2462 2 67 v 830 2438 a Fd(Structure)p
1019 2462 V 810 2464 210 2 v 1019 2430 36 2 v 1072 2439
a Fc(end)1054 2397 y Fb(\017)1054 2463 y(\016)1155 2397
y(\014)1155 2463 y(\015)p 1088 2463 35 2 v 1088 2397
V 1206 2032 a(\017)p 486 2131 688 2 v 1206 2097 2 34
v 1206 2131 a(\015)p 1028 2231 146 2 v 1206 2197 2 100
v 1206 2231 a(\015)p 1156 2430 18 2 v 1206 2396 2 200
v 1206 2430 a(\015)p 863 2032 448 2 v 0 2572 a Fe(Signatur)n(e)p
0 2669 156 2 v 174 2679 a Fc(sig)155 2636 y Fb(\017)155
2703 y(\016)256 2636 y(\014)256 2703 y(\015)p 189 2703
35 2 v 189 2636 V 257 2669 36 2 v 291 2635 269 2 v 291
2701 2 67 v 311 2678 a Fd(Sp)q(eci\014cation)p 558 2701
V 291 2703 269 2 v 558 2669 36 2 v 611 2679 a Fc(end)593
2636 y Fb(\017)593 2703 y(\016)694 2636 y(\014)694 2703
y(\015)p 627 2703 35 2 v 627 2636 V 104 2669 a(\014)p
104 2735 2 34 v 104 2769 a(\016)p 138 2769 18 2 v 154
2734 134 2 v 154 2801 2 67 v 174 2777 a Fd(Iden)o(t)p
286 2801 V 154 2803 134 2 v 745 2669 a Fb(\017)p 286
2769 427 2 v 745 2735 2 34 v 745 2769 a(\015)p 695 2669
156 2 v 929 2955 a Fd(2)p eop
%%Page: 3 3
3 2 bop 0 -4 a Fe(Sp)n(e)n(ci\014c)n(ation)p 0 93 223
2 v 240 102 a Fc(val)221 60 y Fb(\017)221 126 y(\016)322
60 y(\014)322 126 y(\015)p 255 126 35 2 v 255 60 V 323
93 103 2 v 424 58 134 2 v 424 125 2 67 v 443 101 a Fd(Iden)o(t)p
556 125 V 424 127 134 2 v 556 93 36 2 v 614 102 a Fc(:)591
60 y Fb(\017)591 126 y(\016)657 60 y(\014)657 126 y(\015)p
658 93 V 692 58 133 2 v 692 125 2 67 v 712 101 a Fd(T)o(yp)q(e)p
823 125 V 692 127 133 2 v 374 93 a Fb(\017)p 374 159
2 34 v 374 193 a(\016)p 408 193 166 2 v 591 202 a Fc(and)573
159 y Fb(\017)573 226 y(\016)674 159 y(\014)674 226 y(\015)p
607 226 35 2 v 607 159 V 873 93 a(\014)p 675 193 166
2 v 873 159 2 34 v 873 193 a(\015)170 93 y(\014)p 170
258 2 133 v 170 292 a(\016)p 204 292 85 2 v 306 301 a
Fc(type)288 259 y Fb(\017)288 325 y(\016)411 259 y(\014)411
325 y(\015)p 322 325 57 2 v 322 259 V 237 292 a(\014)p
237 358 2 34 v 237 392 a(\016)p 271 392 18 2 v 306 401
a Fc(eqtype)288 359 y Fb(\017)288 425 y(\016)454 359
y(\014)454 425 y(\015)p 322 425 101 2 v 322 359 V 505
292 a(\017)p 455 392 18 2 v 505 358 2 34 v 505 392 a(\015)p
412 292 213 2 v 622 257 268 2 v 622 324 2 67 v 642 301
a Fd(T)o(yp)q(eV)m(arList)p 888 324 V 622 326 268 2 v
888 292 36 2 v 922 257 134 2 v 922 324 2 67 v 71 w(Iden)o(t)p
1054 324 V 922 326 134 2 v 572 292 a Fb(\017)p 572 358
2 34 v 572 392 a(\016)p 606 392 183 2 v 806 401 a Fc(and)787
359 y Fb(\017)787 425 y(\016)888 359 y(\014)888 425 y(\015)p
821 425 35 2 v 821 359 V 1104 292 a(\014)p 889 392 183
2 v 1104 358 2 34 v 1104 392 a(\015)p 170 457 2 200 v
170 491 a(\016)p 204 491 18 2 v 240 501 a Fc(datatype)221
458 y Fb(\017)221 525 y(\016)431 458 y(\014)431 525 y(\015)p
255 525 144 2 v 255 458 V 432 491 103 2 v 533 457 351
2 v 533 523 2 67 v 552 500 a Fd(Datat)o(yp)q(eBinding)p
882 523 V 533 525 351 2 v 483 491 a Fb(\017)p 483 557
2 34 v 483 591 a(\016)p 517 591 141 2 v 675 600 a Fc(and)657
558 y Fb(\017)657 624 y(\016)758 558 y(\014)758 624 y(\015)p
691 624 35 2 v 691 558 V 932 491 a(\014)p 759 591 141
2 v 932 557 2 34 v 932 591 a(\015)p 170 657 2 200 v 170
691 a(\016)p 204 691 18 2 v 240 700 a Fc(exception)221
658 y Fb(\017)221 724 y(\016)453 658 y(\014)453 724 y(\015)p
255 724 166 2 v 255 658 V 454 691 103 2 v 555 656 134
2 v 555 722 2 67 v 574 699 a Fd(Iden)o(t)p 687 722 V
555 724 134 2 v 687 691 103 2 v 807 700 a Fc(of)788 658
y Fb(\017)788 724 y(\016)867 658 y(\014)867 724 y(\015)p
822 724 13 2 v 822 658 V 868 691 36 2 v 902 656 133 2
v 902 722 2 67 v 922 699 a Fd(T)o(yp)q(e)p 1033 722 V
902 724 133 2 v 737 691 a Fb(\014)p 737 756 2 34 v 737
790 a(\016)1083 691 y(\017)p 771 790 280 2 v 1083 756
2 34 v 1083 790 a(\015)504 691 y(\017)p 504 856 2 133
v 504 890 a(\016)p 538 890 239 2 v 795 899 a Fc(and)776
857 y Fb(\017)776 923 y(\016)878 857 y(\014)878 923 y(\015)p
810 923 35 2 v 810 857 V 1150 691 a(\014)p 878 890 239
2 v 1150 856 2 133 v 1150 890 a(\015)p 170 956 2 299
v 170 990 a(\016)p 204 990 18 2 v 240 999 a Fc(structure)221
956 y Fb(\017)221 1023 y(\016)453 956 y(\014)453 1023
y(\015)p 255 1023 166 2 v 255 956 V 454 990 103 2 v 555
955 134 2 v 555 1021 2 67 v 574 998 a Fd(Iden)o(t)p 687
1021 V 555 1023 134 2 v 687 990 36 2 v 745 999 a Fc(:)721
956 y Fb(\017)721 1023 y(\016)788 956 y(\014)788 1023
y(\015)p 789 990 V 823 955 213 2 v 823 1021 2 67 v 842
998 a Fd(Signature)p 1033 1021 V 823 1023 213 2 v 504
990 a Fb(\017)p 504 1055 2 34 v 504 1089 a(\016)p 538
1089 206 2 v 762 1098 a Fc(and)743 1056 y Fb(\017)743
1122 y(\016)844 1056 y(\014)844 1122 y(\015)p 777 1122
35 2 v 777 1056 V 1084 990 a(\014)p 845 1089 206 2 v
1084 1055 2 34 v 1084 1089 a(\015)p 170 1155 2 200 v
170 1189 a(\016)p 204 1189 18 2 v 240 1198 a Fc(sharing)221
1156 y Fb(\017)221 1222 y(\016)410 1156 y(\014)410 1222
y(\015)p 255 1222 122 2 v 255 1156 V 527 1189 a(\014)p
527 1254 2 34 v 527 1288 a(\016)p 561 1288 18 2 v 597
1298 a Fc(type)578 1255 y Fb(\017)578 1322 y(\016)701
1255 y(\014)701 1322 y(\015)p 612 1322 57 2 v 612 1255
V 752 1189 a(\017)p 702 1288 18 2 v 752 1254 2 34 v 752
1288 a(\015)p 410 1189 461 2 v 869 1154 334 2 v 869 1220
2 67 v 888 1197 a Fd(Comp)q(oundIden)o(t)p 1200 1220
V 869 1222 334 2 v 819 1189 a Fb(\017)p 819 1254 2 34
v 819 1288 a(\016)p 853 1288 150 2 v 1025 1298 a Fc(=)1001
1255 y Fb(\017)1001 1322 y(\016)1068 1255 y(\014)1068
1322 y(\015)1251 1189 y(\014)p 1069 1288 V 1251 1254
2 34 v 1251 1288 a(\015)461 1189 y(\017)p 461 1354 2
133 v 461 1388 a(\016)p 495 1388 345 2 v 857 1397 a Fc(and)838
1355 y Fb(\017)838 1421 y(\016)939 1355 y(\014)939 1421
y(\015)p 872 1421 35 2 v 872 1355 V 1317 1189 a(\014)p
940 1388 345 2 v 1317 1354 2 133 v 1317 1388 a(\015)p
170 1454 2 299 v 170 1488 a(\016)p 204 1488 18 2 v 240
1497 a Fc(local)221 1455 y Fb(\017)221 1521 y(\016)366
1455 y(\014)366 1521 y(\015)p 255 1521 79 2 v 255 1455
V 367 1488 36 2 v 401 1453 269 2 v 401 1519 2 67 v 421
1496 a Fd(Sp)q(eci\014cation)p 668 1519 V 401 1521 269
2 v 668 1488 36 2 v 721 1497 a Fc(in)703 1455 y Fb(\017)703
1521 y(\016)782 1455 y(\014)782 1521 y(\015)p 737 1521
13 2 v 737 1455 V 783 1488 36 2 v 817 1453 269 2 v 817
1519 2 67 v 837 1496 a Fd(Sp)q(eci\014cation)p 1084 1519
V 817 1521 269 2 v 1084 1488 36 2 v 1138 1497 a Fc(end)1119
1455 y Fb(\017)1119 1521 y(\016)1220 1455 y(\014)1220
1521 y(\015)p 1153 1521 35 2 v 1153 1455 V 170 1553 2
100 v 170 1587 a(\016)p 204 1587 18 2 v 240 1596 a Fc(open)221
1554 y Fb(\017)221 1621 y(\016)344 1554 y(\014)344 1621
y(\015)p 255 1621 57 2 v 255 1554 V 345 1587 103 2 v
446 1552 334 2 v 446 1619 2 67 v 465 1596 a Fd(Comp)q(oundIden)o(t)p
777 1619 V 446 1621 334 2 v 395 1587 a Fb(\017)p 395
1653 2 34 v 395 1687 a(\016)827 1587 y(\014)p 429 1687
366 2 v 827 1653 2 34 v 827 1687 a(\015)p 170 1753 2
200 v 170 1787 a(\016)p 204 1787 18 2 v 240 1796 a Fc(include)221
1753 y Fb(\017)221 1820 y(\016)410 1753 y(\014)410 1820
y(\015)p 255 1820 122 2 v 255 1753 V 410 1787 103 2 v
511 1752 134 2 v 511 1818 2 67 v 531 1795 a Fd(Iden)o(t)p
643 1818 V 511 1820 134 2 v 461 1787 a Fb(\017)p 461
1852 2 34 v 461 1886 a(\016)693 1787 y(\014)p 495 1886
167 2 v 693 1852 2 34 v 693 1886 a(\015)p 170 1952 2
200 v 170 1986 a(\016)1383 93 y(\017)p 1054 292 298 2
v 1383 258 2 133 v 1383 292 a(\015)p 882 491 470 2 v
1383 457 2 200 v 1383 491 a(\015)p 1033 691 319 2 v 1383
657 2 200 v 1383 691 a(\015)p 1033 990 318 2 v 1383 956
2 299 v 1383 990 a(\015)p 1200 1189 151 2 v 1383 1155
2 200 v 1383 1189 a(\015)p 1221 1488 131 2 v 1383 1454
2 299 v 1383 1488 a(\015)p 777 1587 575 2 v 1383 1553
2 100 v 1383 1587 a(\015)p 643 1787 709 2 v 1383 1753
2 200 v 1383 1787 a(\015)p 204 1986 1147 2 v 1383 1952
2 200 v 1383 1986 a(\015)104 93 y(\017)p 104 2051 2 1927
v 104 2085 a(\016)p 138 2085 85 2 v 245 2095 a Fc(;)221
2052 y Fb(\017)221 2119 y(\016)288 2052 y(\014)288 2119
y(\015)170 2085 y(\014)p 170 2151 2 34 v 170 2185 a(\016)339
2085 y(\017)p 204 2185 103 2 v 339 2151 2 34 v 339 2185
a(\015)1450 93 y(\014)p 289 2085 1129 2 v 1450 2051 2
1927 v 1450 2085 a(\015)p 823 93 733 2 v 929 2955 a Fd(3)p
eop
%%Page: 4 4