%!PS-Adobe-2.0 %%Creator: dvips 5.495 Copyright 1986, 1992 Radical Eye Software %%Title: pact96.dvi %%CreationDate: Tue May 7 11:54:47 1996 %%Pages: 9 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%EndComments %DVIPSCommandLine: dvips pact96 -o pact96.ps %DVIPSSource: TeX output 1996.05.07:1152 %%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 /@rigin{isls{[0 -1 1 0 0 0] concat}if 72 Resolution div 72 VResolution div neg scale isls{Resolution hsize -72 div mul 0 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 (/export/home/zupanic/www-src/pact96.dvi) @start /Fa 1 1 df0 D E /Fb 1 81 df80 D E /Fc 21 119 df<70F8F8F87005057C840E>58 D<70F8FCFC7C0C0C0C1C18183870E0E0060F 7C840E>I<00000038000000F8000003F000000FC000003F000000FC000007F000001FC000007E 000001F8000007E000001F8000007E000000F8000000F80000007E0000001F80000007E0000001 F80000007E0000001FC0000007F0000000FC0000003F0000000FC0000003F0000000F800000038 1D1C7C9926>I<0000FF01800007FFC300000FC1E700003F007F00007C003F0001F8003E0003E0 001E0003E0001E0007C0001E000F80001C001F00001C001F00001C003E00001C003E000018007C 000018007C000000007C00000000FC00000000F800000000F800000000F800000000F800000000 F000006000F000006000F00000E000F00000C000F80001C000F80001800078000380007C000700 007C000E00003E001C00001F003800000FC1F0000007FFC0000000FF00000021247DA223>67 D<007FFFF80000FFFFFE000007801F000007800780000F8003C0000F0003C0000F0001E0000F00 01E0001F0001E0001E0001F0001E0001F0001E0001F0003E0001F0003C0001F0003C0001F0003C 0001F0007C0003E000780003E000780003E000780003E000F80007C000F00007C000F000078000 F0000F8001F0000F0001E0001E0001E0003E0001E0003C0003E000780003C000F00003C003E000 07C00F80007FFFFE0000FFFFF8000024227EA128>I<00FFFC00FFFC000780000780000F80000F 00000F00000F00001F00001E00001E00001E00003E00003C00003C00003C00007C000078000078 0000780000F80000F00000F00000F00001F00001E00001E00001E00003E00003C00003C00007C0 00FFFC00FFFC0016227EA116>73 D<007FE00003FF00FFE00003FF0007E00007E00007E0000FE0 000FE0000FE0000DE0001BC0000DE0001BC0000DE00037C0001DE00067C00019E00067800018F0 00C7800018F000CF800038F0018F800030F0030F000030F0030F000030F0061F000070F0061F00 0060F00C1E000060F0181E00006078183E0000E078303E0000C078303C0000C078603C0000C078 C07C0001C078C07C0001807980780001807980780001807B00F80003807E00F80003003E00F000 07003C00F0000F803C01F0007FF0381FFF00FFF0303FFF0030227EA12F>77 D<007FFFF00000FFFFFC000007803E00000F800F00000F800F80000F000780000F000780001F00 0780001F000F80001E000F80001E000F80003E000F00003E001F00003C001E00003C003C00007C 007800007C01F000007FFFC000007FFF000000F800000000F800000000F000000000F000000001 F000000001F000000001E000000001E000000003E000000003E000000003C000000003C0000000 07C00000007FFC000000FFFC00000021227EA11F>80 D<007FFC07FF007FFC07FF0007E003F800 03C001C00003E003800001E007000001F006000001F00C000000F018000000F830000000786000 00007CC00000007D800000003F800000003F000000001E000000001F000000001F000000003F00 0000006F80000000C78000000187C000000303C000000703C000000E03E000001C01E000003801 F000003000F000006000F80001C000F80003C00078000FC000FC00FFF003FFC0FFF007FFC02822 7FA128>88 D<00FDE003FFE007CFE00F07C01E03C01E03C03C07C07C0780780780780780780F80 F80F00F00F00F00F0CF01F1CF01E18F03E18707E3878FF703FCFE01F87C016157E941A>97 D<00003F000000FF800001EF800001CF800003CF800003CF000003C0000007C000000780000007 80000007800000078000000F8000000F000001FFFC0001FFFC00000F0000001F0000001E000000 1E0000001E0000001E0000001E0000003E0000003C0000003C0000003C0000003C0000007C0000 0078000000780000007800000078000000F8000000F0000000F0000000F0000000F0000001E000 0079E0000079C00000FBC00000FB8000007F0000003E000000192D7EA218>102 D<0038007C007C00780078000000000000000000000000000000000FC01FE03DE031E071E061E0 E3E003C003C007C0078007800F800F0C1F1C1E181E181E381E701FE007C00E2280A111>105 D<0000F00001F00001F00001F00001E00000000000000000000000000000000000000000000000 00003F00007F8000E3C001C3C00383C00303C00707C00007C0000780000780000F80000F80000F 00000F00001F00001F00001E00001E00003E00003E00003C00003C00007C00007C0000780078F8 0078F000F9F000FBE000FF80007E0000142C81A114>I<01F01FF01FE003E003E003E003C003C0 07C007C0078007800F800F800F000F001F001F001E001E003E003E003C003C007C007C00780078 C0F8C0F9C0F180F180FB807F003E000C237EA20F>108 D<0F81F80FC0001FC7FE3FF00039EF1E 78F00031FC0FE0780061F80FC0780061F00F807800E1E01F00F80003E01F00F00003C01E00F000 03C01E00F00003C03E01F00007C03E01E00007803C01E00007803C03E18007807C03C3800F807C 03C3000F007807C7000F00780786000F00F807DE001F00F803FC000E007001F000291580942B> I<0F83F0001FCFFC0039FE3C0031F81E0061F01E0061F01E00E1E03E0003E03C0003C03C0003C0 3C0003C07C0007C07800078078000780F8600780F0E00F80F0C00F01F1C00F01E1800F01F7801F 00FF000E007C001B1580941D>I<007F0001FF8003C3C00F81E01F00F01E00F03C00F03C00F078 00F07800F07801F0F801E0F001E0F003E0F003C0F007C0700780781F003C3E001FF8000FE00014 157E9417>I<0F87C01FCFE039FC7031F8F061F1F061E1F0E1E1F003E1E003C00003C00003C000 07C0000780000780000780000F80000F00000F00000F00001F00000E00001415809416>114 D<007E0001FF8003C38003878007078007078007030007C00007FC0007FF0007FF0001FF80001F 80380780780780F80700F80700F80E00F03E007FF8001FE00011157E9417>I<00E001E001E001 E003E003E003C003C007C007C0FFFCFFFC0F800F800F000F001F001F001E001E003E003E003C00 3C0C7C1C7C18783878707CE03FC01F800E1F7F9E12>I<07C0381FE07C3CF07C38F07C70F03C61 F01CE1E01C01E01803E01803C01803C03807C0300780300780700780600780E00781C007818007 C78003FF0000FC001615809418>118 D E /Fd 19 117 df<03C3C003C3C003C3C003C3C003C3 C003C3C003C3C07FFFF0FFFFF8FFFFF8FFFFF80787800787800F8F800F8F800F8F800F0F000F0F 000F0F00FFFFF8FFFFF8FFFFF87FFFF01E1E001E1E001E1E001E1E001E1E001E1E001E1E00151E 7E9D1A>35 D<00E00001E00001E00003E00007E0001FE000FFE000FFE000FFE000F9E00001E000 01E00001E00001E00001E00001E00001E00001E00001E00001E00001E00001E00001E00001E000 01E00001E0007FFF807FFF807FFF807FFF80111E7C9D1A>49 D<07F8001FFE003FFF007FFF80FC 3FC0F80FC0F803E0F803E0F801E07001E00001E00003E00003E00007C00007C0000F80001F8000 3F00007E0000FC0001F80003F0000FE0001FC0003F81E07E01E0FFFFE0FFFFE0FFFFE0FFFFE013 1E7D9D1A>I<0001E00003E0000FE0001FE0003FC000FF0001FE0007FC000FF0001FE0007F8000 FF0000FE0000FE0000FF00007F80001FE0000FF00007FC0001FE0000FF00003FC0001FE0000FE0 0003E00001E0131A7D9B1A>60 DI69 D77 D80 D<07F9C01FFFC03FFFC07FFFC07E1FC0F807C0F807C0F003C0F003C0F80000F800007E00007FE0 003FFE001FFF0007FF80007FC0000FC00003E00003E00001E0F001E0F001E0F003E0F803E0FE0F C0FFFFC0FFFF80FFFF00E7FC00131E7D9D1A>83 D<0FFC003FFF003FFF803FFFC03E0FE01C03E0 0001E000FFE00FFFE03FFFE07FF1E0FE01E0F801E0F001E0F003E0F807E0FE1FE07FFFFE7FFFFE 3FFDFE0FF0FE17157E941A>97 D<01FF8007FFE01FFFE03FFFE03F83E07E01C07C0000F80000F8 0000F00000F00000F00000F80000F800F07C00F07F01F03FC3F03FFFE01FFFC007FF8001FE0014 157D941A>99 D<001FE0001FE0001FE0001FE00001E00001E00001E00001E00001E007F9E00FFF E01FFFE03FFFE07F0FE07E07E0FC03E0F801E0F801E0F001E0F001E0F001E0F001E0F803E0F807 E07C07E07F1FE03FFFFE1FFFFE0FFDFE07F1FE171E7E9D1A>I<03FC000FFF001FFF803FFFC07F 8FE07E03E0FC01F0F801F0FFFFF0FFFFF0FFFFF0FFFFF0F80000F800F07C00F07F01F03FC3F03F FFE01FFFC007FF8001FE0014157D941A>I104 D<00E00001F00001F000 01F00000E0000000000000000000000000000000007FF0007FF0007FF0007FF00000F00000F000 00F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F000FFFFE0FFFFE0 FFFFE0FFFFE0131F7D9E1A>I110 D112 D114 D<03C00003C00003C00003C00003C00003C00003C000FFFFE0FFFFE0FFFF E0FFFFE003C00003C00003C00003C00003C00003C00003C00003C0F003C0F003C0F003C0F003E1 F003F3F001FFE001FFC000FF80007F00141C7F9B1A>116 D E /Fe 48 122 df<00000FE0000030180000E01C0001C03C0001803C0003803800038000000380000007000000 070000000700000007000000070000000E000000FFFFE0000E00E0000E00E0000E01C0001C01C0 001C01C0001C01C0001C0380001C03800038038000380380003807000038070000380700007007 0800700E1000700E1000700E1000700E2000E0062000E003C000E0000000E0000000C0000001C0 000001C0000071800000F1800000F3000000620000003C0000001E2D82A21B>12 D<0E1E1E1E1E02020404080810204080070F7D840F>44 DI<70F8 F8F0E005057A840F>I<000F800030C000E06001C0700380700300700700700F00700E00701E00 701E00701C00F03C00F03C00F03C00F07801E07801E07801E07801E0F003C0F003C0F003C0F003 80E00780E00780E00700E00F00E00E00E01C00E01C00E0380060700030E0001F000014227AA019 >48 D<0001000300030006001E002E03CE001C001C001C001C0038003800380038007000700070 007000E000E000E000E001C001C001C001C003800380038003800780FFFC10217AA019>I<000F C000106000603800801800801C01001C02201E02101E04101E04101E04101E08203C08203C0840 380840780880F00700E00001C000030000060000180000200000C0000100000200000400100800 301000202000605F80C063FFC040FF80807F00801E0017227CA019>I<000FC000307000C01801 001C02001C04000C04401C08201C08201C08201C08403808C0380700700000600001C000070000 FC000007000003800003800001C00001C00001C00003C06003C0F003C0F00380E0078080070080 0E00801C0040380020F0001F800016227BA019>I<000018000038000038000070000070000070 0000E00000E00000E00000C00001C0000180000380000300000300000600000600000C00000C00 0018000010000031800061C00043800083800183800303800207000407000807003FC700403E00 800FF0000E00000E00001C00001C00001C00001C00003800003800003800003000152B7EA019> I<0003E0000C1000380800603800C07801C0780380300700000700000E00001E00001E00001C7C 003C86003D03007A03807C03807801C07803C0F803C0F003C0F003C0F003C0E00780E00780E007 80E00700E00F00E00E00E01C0060180060300030E0000F800015227AA019>54 D<02780204FC0407FC040FFC080F0C181E04701803A03000602000406000C04000808001800003 80000300000700000600000E00000E00001C00001C00003C0000380000780000780000F00000F0 0000F00001E00001E00001E00003E00003C00003C000018000172279A019>I<000FC000306000 401000801801000803000C03000C06001807001807001007003007C06007E0C003F18001FE0000 FC0000FE00033F00061F800C07C01803C03001C06001C06000C0C000C0C000C0C00080C00180C0 0100C00200C006006008003030000FC00016227BA019>I<000FC000386000703000E03001C038 0380380780380700380F00380F00380F00381E00781E00781E00781E00F81E00F01C00F00E01F0 0E02F00605E00309E001F1E00003C00003C0000380000700000700600E00F00C00F01800E03000 80600041C0003F000015227BA019>I<0000030000000300000007000000070000000F0000000F 0000001F0000002F0000002F0000004F0000004F80000087800000878000010780000207800002 078000040780000407800008078000080780001007800030078000200780007FFF80004007C000 8007C0008003C0010003C0030003C0020003C0040003C0040003C00C0003C03C0007C0FF003FFC 1E237DA224>65 D<00007F00800003808100000E00630000380027000070001F0000E0000E0001 C0000E000380000E000700000E000F000004000E000004001E000004003C000004003C00000800 780000000078000000007800000000F000000000F000000000F000000000F000000000F0000000 00E000000000E000002000E000002000E000004000E000004000F0000080007000008000700001 0000380002000018000400001C0008000006003000000381C0000000FE000000212479A223>67 D<00FFFFF000000F003C00000F000E00000F000700001E000380001E000380001E0001C0001E00 01C0003C0001C0003C0001E0003C0001E0003C0001E000780001E000780001E000780001E00078 0001E000F00003C000F00003C000F00003C000F00003C001E000078001E000078001E000070001 E0000F0003C0000E0003C0001C0003C0003C0003C00038000780007000078000E000078001C000 07800700000F801C0000FFFFF0000023227DA125>I<00FFFFFF80000F000780000F000180000F 000180001E000180001E000180001E000100001E000100003C000100003C000100003C01010000 3C01000000780200000078020000007806000000780E000000FFFC000000F00C000000F00C0000 00F00C000001E008000001E008000001E008040001E000080003C000080003C000080003C00010 0003C000100007800020000780006000078000C000078001C0000F8007C000FFFFFF800021227D A121>I<00FFF8000F00000F00000F00001E00001E00001E00001E00003C00003C00003C00003C 0000780000780000780000780000F00000F00000F00000F00001E00001E00001E00001E00003C0 0003C00003C00003C0000780000780000780000780000F8000FFF80015227DA113>73 D<00FFF807FC000F0001E0000F0001C0000F000100001E000200001E000400001E001000001E00 2000003C004000003C008000003C010000003C0400000078080000007818000000783800000078 7C000000F0BC000000F23C000000F41E000000F81E000001F01F000001E00F000001E00F000001 E00F800003C007800003C007800003C003C00003C003C000078003C000078001E000078001E000 078001E0000F8001F000FFF80FFE0026227DA125>75 D<00FFFC00000F8000000F0000000F0000 001E0000001E0000001E0000001E0000003C0000003C0000003C0000003C000000780000007800 00007800000078000000F0000000F0000000F0000000F0000001E0000001E0000001E0002001E0 002003C0004003C0004003C0008003C0008007800180078001000780030007800F000F803E00FF FFFE001B227DA11F>I<00FF800007FC000F80000F80000F80001780000F80001780001780002F 000013C0002F000013C0004F000013C0008F000023C0009E000023C0011E000023C0011E000023 C0021E000043C0043C000043C0043C000043C0083C000041E0083C000081E01078000081E02078 000081E02078000081E04078000101E040F0000101E080F0000101E100F0000101E100F0000200 F201E0000200F201E0000200F401E0000200F801E0000400F803C0000400F003C0000400F003C0 000C00E003C0001E00C007C000FFC0C07FFC002E227DA12C>I<00FFFFE0000F0038000F001E00 0F000E001E0007001E0007001E0007001E0007003C000F003C000F003C000F003C001E0078001E 0078003C00780078007800E000F003C000FFFE0000F0000000F0000001E0000001E0000001E000 0001E0000003C0000003C0000003C0000003C00000078000000780000007800000078000000F80 0000FFF8000020227DA121>80 D<00FFFFC0000F0070000F003C000F001C001E000E001E000E00 1E000F001E000F003C001E003C001E003C001E003C003C0078003800780070007801E000780780 00FFFC0000F00E0000F0070000F0038001E003C001E003C001E003C001E003C003C0078003C007 8003C0078003C0078007800F0007800F0107800F01078007020F800702FFF8038C000000F02023 7DA124>82 D<0001F020000E0C40001802C0003001C0006001C000E0018000C0018001C0018001 C0018003C0010003C0010003C0000003C0000003E0000001F8000001FF000000FFE000007FF000 001FF8000003FC0000007C0000003C0000001E0000001E0000001E0020001C0020001C0020001C 00200018006000380060003000700060007000C000C8018000C607000081FC00001B247DA21B> I<1FFFFFF81E03C0381803C0183003C01820078018200780184007801040078010400F0010800F 0010800F0010000F0000001E0000001E0000001E0000001E0000003C0000003C0000003C000000 3C00000078000000780000007800000078000000F0000000F0000000F0000000F0000001E00000 01E0000001E0000001E0000003E00000FFFF00001D2277A123>I<3FFE03FF03C0007803C00060 03C00020078000400780004007800040078000400F0000800F0000800F0000800F0000801E0001 001E0001001E0001001E0001003C0002003C0002003C0002003C00020078000400780004007800 04007800040070000800F0000800F0001000700010007000200070004000300040003801800018 0200000E0C000003F00000202377A124>III<00F8C00185C00705 C00E03800E03801C03803C0380380700780700780700780700F00E00F00E00F00E00F00E10F01C 20701C20703C20305C40308C400F078014157B9419>97 D<03C03F800380038003800700070007 0007000E000E000E000E001C001CF81D0C1E0E3C0638073807380F700F700F700F700FE01EE01E E01EE03CE038E038607060E031C01F0010237BA216>I<007E0001C1000301800703800E07801C 07803C0000380000780000780000780000F00000F00000F00000F00000F0010070010070020030 0C001830000FC00011157B9416>I<00003C0003F8000038000038000038000070000070000070 0000700000E00000E00000E00000E00001C000F9C00185C00705C00E03800E03801C03803C0380 380700780700780700780700F00E00F00E00F00E00F00E10F01C20701C20703C20305C40308C40 0F078016237BA219>I<00F803840E021C023C0238027804F018FFE0F000F000E000E000E000E0 00E002E0026004701830600F800F157A9416>I<00003E0000470000CF00018F00018600038000 0380000380000700000700000700000700000700000E0000FFF0000E00000E00000E00001C0000 1C00001C00001C00001C0000380000380000380000380000380000700000700000700000700000 700000E00000E00000E00000E00000C00001C00001C000718000F18000F300006200003C000018 2D82A20F>I<001F180030B800E0B801C07001C0700380700780700700E00F00E00F00E00F00E0 1E01C01E01C01E01C01E01C01E03800E03800E0780060B8006170001E700000700000700000E00 000E00000E00701C00F01800F0300060E0003F8000151F7E9416>I<00F0000FE00000E00000E0 0000E00001C00001C00001C00001C000038000038000038000038000070000071F0007218007C0 C00F00E00F00E00E00E00E00E01C01C01C01C01C01C01C01C03803803803803803803807047007 08700E08700E10700610E006206003C016237DA219>I<00C001E001C001C00000000000000000 00000000000000001C002300430043008700870087000E000E001C001C001C0038003800384070 8070807080710032001C000B217BA00F>I<00F0000FE00000E00000E00000E00001C00001C000 01C00001C0000380000380000380000380000700000701E0070210070C700E10F00E10F00E2060 0E40001D80001E00001FC0001C7000383800383800381C00381C20703840703840703840701880 E01880600F0014237DA216>107 D<01E01FC001C001C001C00380038003800380070007000700 07000E000E000E000E001C001C001C001C0038003800380038007000700070007100E200E200E2 00E200640038000B237CA20C>I<1C0F80F8002610C10C00476066060087807807008780780700 870070070087007007000E00E00E000E00E00E000E00E00E000E00E00E001C01C01C001C01C01C 001C01C01C001C01C0382038038038403803807040380380708038038030807007003100300300 1E0023157B9428>I<1C0F002631C04740C08780E08780E08700E08700E00E01C00E01C00E01C0 0E01C01C03801C03801C03801C0704380708380E08380E103806107006203003C016157B941B> I<007E0001C3000381800701C00E01C01C01E03C01E03801E07801E07801E07801E0F003C0F003 C0F00380F00780700700700E00700C0030180018700007C00013157B9419>I<01C1F002621804 741C08780C08700E08700E08701E00E01E00E01E00E01E00E01E01C03C01C03C01C03C01C07803 807003807003C0E003C1C0072380071E000700000700000E00000E00000E00000E00001C00001C 00001C0000FFC000171F7F9419>I<1C1F002620804741C08783C08703C08701808700000E0000 0E00000E00000E00001C00001C00001C00001C0000380000380000380000380000700000300000 12157B9415>114 D<00FC000183000200800401800C03800C03000C00000F00000FF00007FC00 03FE00003E00000F00000700700700F00600F00600E004004008002030001FC00011157D9414> I<00C001C001C001C001C003800380038003800700FFF8070007000E000E000E000E001C001C00 1C001C003800380038003810702070207040708031001E000D1F7C9E10>I<1E00602300E04380 E04381C08381C08701C08701C00703800E03800E03800E03801C07001C07001C07001C07081C0E 10180E101C0E101C1E200C262007C3C015157B941A>I<1E00302300704380704380E08380E087 00E08700E00701C00E01C00E01C00E01C01C03801C03801C03801C03801C07001C07001C07001C 0F000C3E0003CE00000E00000E00001C00601C00F03800F03000E0600080C0004380003E000014 1F7B9418>121 D E /Ff 38 117 df<030600078F00078F00078F00078F00078F00078F007FFF C0FFFFE0FFFFE07FFFC00F1E000F1E000F1E000F1E000F1E000F1E007FFFC0FFFFE0FFFFE07FFF C01E3C001E3C001E3C001E3C001E3C001E3C000C1800131C7E9B18>35 D<007000F001E003C007 800F001E001C00380038007000700070007000E000E000E000E000E000E000E000E00070007000 70007000380038001C001E000F00078003C001F000F000700C24799F18>40 D<6000F00078003C001E000F000780038001C001C000E000E000E000E000700070007000700070 00700070007000E000E000E000E001C001C0038007800F001E003C007800F00060000C247C9F18 >I<00600000F00000F00000F00000F00000F00000F00000F0007FFFC0FFFFE0FFFFE07FFFC000 F00000F00000F00000F00000F00000F00000F00000600013147E9718>43 D<1C3E7E7F3F1F070E1E7CF860080C788518>I<7FFF00FFFF80FFFF807FFF0011047D8F18>I<30 78FCFC78300606778518>I<01F00007FC000FFE001F1F001C07003803807803C07001C07001C0 E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0F001E07001C07001C07803C0 3803801C07001F1F000FFE0007FC0001F000131C7E9B18>48 D<01800380038007800F803F80FF 80FB80438003800380038003800380038003800380038003800380038003800380038003807FFC FFFE7FFC0F1C7B9B18>I<03F0000FFE003FFF007C0F807003C0E001C0F000E0F000E06000E000 00E00000E00001C00001C00003C0000780000F00001E00003C0000780000F00001E00007C0000F 80001E00E03C00E07FFFE0FFFFE07FFFE0131C7E9B18>I<07F8001FFE003FFF007807807803C0 7801C03001C00001C00003C0000380000F0003FF0003FE0003FF000007800003C00001C00000E0 0000E00000E0F000E0F000E0F001C0F003C07C07803FFF001FFE0003F800131C7E9B18>I<007E 0001FF0007FF800F83C01E03C01C03C0380180380000700000700000E1F800E7FE00FFFF00FE07 80F803C0F001C0F000E0E000E0F000E07000E07000E07000E03801C03C03C01E07800FFF0007FE 0001F800131C7E9B18>54 D<3078FCFC783000000000000000003078FCFC78300614779318>58 D<000300000780001F80003F00007E0001FC0003F00007E0001FC0003F00007E0000FC0000FC00 007E00003F00001FC00007E00003F00001FC00007E00003F00001F8000078000030011187D9918 >60 D<7FFFC0FFFFE0FFFFE0FFFFE0000000000000000000000000FFFFE0FFFFE0FFFFE07FFFC0 130C7E9318>I<7FF800FFFE007FFF001C0F801C03C01C03C01C01E01C00E01C00E01C00F01C00 701C00701C00701C00701C00701C00701C00701C00701C00F01C00E01C00E01C01E01C01C01C03 C01C0F807FFF00FFFE007FF800141C7F9B18>68 DI77 D80 D<03F3801FFF803FFF807C0F80700780E0 0380E00380E00380E000007000007800003F00001FF00007FE0000FF00000F800003C00001C000 00E00000E06000E0E000E0E001E0F001C0F80780FFFF80FFFE00E7F800131C7E9B18>83 D<7FFFF8FFFFF8FFFFF8E07038E07038E07038E070380070000070000070000070000070000070 0000700000700000700000700000700000700000700000700000700000700000700000700007FF 0007FF0007FF00151C7F9B18>I86 DI<1FE0003FF8007FFC00781E00300E0000070000070000FF0007FF001FFF007F0700780700E0 0700E00700E00700F00F00781F003FFFF01FFBF007E1F014147D9318>97 D<01FE0007FF001FFF803E0780380300700000700000E00000E00000E00000E00000E00000E000 007000007001C03801C03E03C01FFF8007FF0001FC0012147D9318>99 D<001F80003F80001F80 00038000038000038000038000038003E3800FFB801FFF803C1F80380F80700780700380E00380 E00380E00380E00380E00380E00380700780700780380F803C1F801FFFF00FFBF803E3F0151C7E 9B18>I<01F00007FC001FFE003E0F00380780700380700380E001C0E001C0FFFFC0FFFFC0FFFF C0E000007000007001C03801C03E03C01FFF8007FF0001FC0012147D9318>I<7E0000FE00007E 00000E00000E00000E00000E00000E00000E3E000EFF800FFFC00FC1C00F80E00F00E00E00E00E 00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E07FC3FCFFE7FE7FC3FC17 1C809B18>104 D<03800007C00007C00007C0000380000000000000000000000000007FC000FF C0007FC00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001 C00001C00001C000FFFF00FFFF80FFFF00111D7C9C18>I107 D<7FE000FFE0007FE00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0 0000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0007FFF C0FFFFE07FFFC0131C7E9B18>I<7CE0E000FFFBF8007FFFF8001F1F1C001E1E1C001E1E1C001C 1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C00 1C1C1C007F1F1F00FFBFBF807F1F1F001914819318>I<7E3E00FEFF807FFFC00FC1C00F80E00F 00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E07FC3FCFF E7FE7FC3FC1714809318>I<01F0000FFE001FFF003E0F803803807001C07001C0E000E0E000E0 E000E0E000E0E000E0F001E07001C07803C03C07803E0F801FFF000FFE0001F00013147E9318> I<7E3E00FEFF807FFFC00FC1E00F80E00F00700E00700E00380E00380E00380E00380E00380E00 380F00700F00700F80E00FC1E00FFFC00EFF800E3E000E00000E00000E00000E00000E00000E00 000E00007FC000FFE0007FC000151E809318>I<7F87E0FF9FF07FBFF803F87803F03003E00003 C00003C0000380000380000380000380000380000380000380000380000380007FFE00FFFF007F FE0015147F9318>114 D<07F7003FFF007FFF00780F00E00700E00700E007007C00007FE0001F FC0003FE00001F00600780E00380E00380F00380F80F00FFFF00FFFC00E7F00011147D9318>I< 0180000380000380000380000380007FFFC0FFFFC0FFFFC0038000038000038000038000038000 0380000380000380000380000380400380E00380E00380E001C1C001FFC000FF80003E0013197F 9818>I E /Fg 7 117 df<07F01FF83E387838F870FFF0FFC0F000F000E000F01878787FF01FC0 0D0E7F8D10>101 D<1F80001F80000700000700000F00000F00000E00000E00001E00001EFC00 1FFE001F8E003E0E003E0E003C0E00380E00781E00781C00701CC0703DC0F039C0F03F80E01F00 12177F9614>104 D<01C003C003C00380000000000000000000001E003F0077006700E7000F00 0E001E001C001CC03DC039C03F801F000A1780960C>I<001C003C003C00380000000000000000 000003F007F80E780C781C780070007000F000F000E000E001E001E001C001C073C0F380F780FF 007C000E1D80960E>I<1F801F80070007000F000F000E000E001E001E1E1C7F1CFF3DDF3F9F3F 0E3FC07BE078E070E370E3F0E7F0FEE07C10177F9612>I<3E3F007FFF806FE380EF8380CF8380 0F03800E03801E07801E07001C07301C0F703C0E703C0FE03807C0140E808D15>110 D<07000F000F000E000E001E00FFC0FFC01C003C003C00380038007800780070C071C073807F00 3E000A147F930D>116 D E /Fh 9 77 df<70F8F8F87005057C8E0E>1 D<00007FC000000003FF F80000000F803E0000003C0007800000700001C00000C000006000018000003000030000001800 060000000C000C00000006000C0000000600180000000300180000000300300000000180300000 0001806000000000C06000000000C06000000000C0C00000000060C00000000060C00000000060 C00000000060C00000000060C00000000060C00000000060C00000000060C00000000060C00000 000060C000000000606000000000C06000000000C06000000000C0300000000180300000000180 1800000003001800000003000C00000006000C0000000600060000000C00030000001800018000 00300000C00000600000700001C000003C00078000000F803E00000003FFF8000000007FC00000 2B2F7DA332>13 D<03F0000FFC001FFE003FFF007FFF807FFF80FFFFC0FFFFC0FFFFC0FFFFC0FF FFC0FFFFC0FFFFC0FFFFC07FFF807FFF803FFF001FFE000FFC0003F00012147D9519>15 D<0000000C0000003C000000F0000003C000000F0000003C000000F0000007C000001F00000078 000001E00000078000001E00000078000000E0000000780000001E0000000780000001E0000000 780000001F00000007C0000000F00000003C0000000F00000003C0000000F00000003C0000000C 00000000000000000000000000000000000000000000000000000000000000007FFFFFF8FFFFFF FC1E277C9F27>20 DI<07E000011FF800013FFE0001781F000360078003C001E0 06C000F81E80007FFC80001FF8800007E0000000000000000007E000011FF800013FFE0001781F 000360078003C001E006C000F81E80007FFC80001FF8800007E020167D9727>25 D<001FFF007FFF01E0000380000600000C0000180000300000300000600000600000600000C000 00C00000FFFFFFFFFFFFC00000C000006000006000006000003000003000001800000C00000600 0003800001E000007FFF001FFF181E7C9A21>50 D<40000010C000003060000060600000606000 0060300000C0300000C0300000C018000180180001800C0003000C0003000C00030007FFFE0007 FFFE0003000C0003000C0003000C0001801800018018000180180000C0300000C0300000606000 00606000006060000030C0000030C000001980000019800000198000000F0000000F0000000F00 0000060000000600001C2480A21D>56 D<000003E000000FF000003FF8000043F80001C1F80003 80F8000700F0000700E0000E00C0001E0000001E0000003C0000003C0000003C00000078000000 7800000078000000F0000000F0000000F0000001F0000001E0000001E0000001E0000003C00000 03C0000003C00000078000000700000C0700001C0FFC00381FFF80701FFFF060387FFFC0600FFF 00C001FC001E247FA222>76 D E /Fi 26 122 df<60F0F0701010101020204080040C7C830C> 44 D<60F0F06004047C830C>46 D<1FFF00F80078007800780078007800780078007800780078 0078007800780078007800780078007800787078F878F878F878F0F040E021C01F00101D7F9B15 >74 D76 D<07E0801C1980300580700380600180E00180E00080E0 0080E00080F00000F800007C00007FC0003FF8001FFE0007FF0000FF80000F800007C00003C000 01C08001C08001C08001C0C00180C00180E00300D00200CC0C0083F800121E7E9C17>83 D<7FFFFFC0700F01C0600F00C0400F0040400F0040C00F0020800F0020800F0020800F0020000F 0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F000000 0F0000000F0000000F0000000F0000000F0000000F0000000F0000001F800003FFFC001B1C7F9B 1E>I<1FC000307000783800781C00301C00001C00001C0001FC000F1C00381C00701C00601C00 E01C40E01C40E01C40603C40304E801F870012127E9115>97 DI<07E00C301878307870306000E000E000E000E000E000E00060007004300418080C3007C0 0E127E9112>I<03E00C301818300C700E6006E006FFFEE000E000E000E0006000700230021804 0C1803E00F127F9112>101 D<00F8018C071E061E0E0C0E000E000E000E000E000E00FFE00E00 0E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007FE00F1D809C0D>I< FC00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C7C001C8700 1D03001E03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380 1C03801C0380FF9FF0141D7F9C17>104 D<18003C003C00180000000000000000000000000000 00FC001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C00FF80091D 7F9C0C>I<00C001E001E000C000000000000000000000000000000FE000E000E000E000E000E0 00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E060E0F0C0F1C061803E 000B25839C0D>I108 DII<03F0000E1C00180600300300700380600180E001C0E001C0E001C0E001C0E001C0E001C0 6001807003803003001806000E1C0003F00012127F9115>II114 D<1F9030704030C010C010E010F8007F803FE00FF000F880388018C018C018E010D0608FC00D12 7F9110>I<04000400040004000C000C001C003C00FFE01C001C001C001C001C001C001C001C00 1C001C101C101C101C101C100C100E2003C00C1A7F9910>III<7F8FF00F03800F0300 07020003840001C80001D80000F00000700000780000F800009C00010E00020E00060700040380 1E07C0FF0FF81512809116>120 DI E /Fj 1 50 df<0C001C00EC000C000C00 0C000C000C000C000C000C000C000C000C000C000C000C000C00FFC00A137D9211>49 D E /Fk 11 62 df<003000003000003000003000003000003000003000003000003000003000 003000FFFFFCFFFFFC003000003000003000003000003000003000003000003000003000003000 00300016187E931B>43 D<07C018303018701C600C600CE00EE00EE00EE00EE00EE00EE00EE00E E00E600C600C701C30181C7007C00F157F9412>48 D<03000700FF000700070007000700070007 00070007000700070007000700070007000700070007007FF00C157E9412>I<0F8030E0407080 30C038E0384038003800700070006000C00180030006000C08080810183FF07FF0FFF00D157E94 12>I<0FE030306018701C701C001C00180038006007E000300018000C000E000EE00EE00EC00C 401830300FE00F157F9412>I<00300030007000F001F001700270047008701870107020704070 C070FFFE0070007000700070007003FE0F157F9412>I<20303FE03FC024002000200020002000 2F8030E020700030003800384038E038E0388030406020C01F000D157E9412>I<01F00608080C 181C301C70006000E000E3E0EC30F018F00CE00EE00EE00E600E600E300C3018183007C00F157F 9412>I<40007FFE7FFC7FF8C008801080200040008000800100010003000200060006000E000E 000E000E000E0004000F167E9512>I<07C0183030186018E00CE00CE00EE00EE00E601E301E18 6E0F8E000E000C001C70187018603020C01F800F157F9412>57 D61 D E /Fl 82 124 df<000FE3F0007FFFF800F87F7C01E0FE7C03C0FC7C07C0FC7C0780780007807800078078 000780780007807800078078000780780007807800FFFFFFC0FFFFFFC007807800078078000780 780007807800078078000780780007807800078078000780780007807800078078000780780007 807800078078000780780007807800078078007FE1FFC07FE1FFC01E2380A21C>11 D<000FE000007FF00000F8700001E0F80003C0F80007C0F8000780F80007807000078000000780 000007800000078000000780000007800000FFFFF800FFFFF8000780F800078078000780780007 807800078078000780780007807800078078000780780007807800078078000780780007807800 078078000780780007807800078078007FE1FF807FE1FF80192380A21B>I<000FF800007FF800 00F8F80001E0F80003C0F80007C0F8000780780007807800078078000780780007807800078078 000780780007807800FFFFF800FFFFF80007807800078078000780780007807800078078000780 780007807800078078000780780007807800078078000780780007807800078078000780780007 807800078078007FF3FF807FF3FF80192380A21B>I<000FE07F00007FF9FFC000F83FC1C001F0 7F83E003E07F03E007C07E03E007807C03E007803C01C007803C000007803C000007803C000007 803C000007803C000007803C0000FFFFFFFFE0FFFFFFFFE007803C03E007803C01E007803C01E0 07803C01E007803C01E007803C01E007803C01E007803C01E007803C01E007803C01E007803C01 E007803C01E007803C01E007803C01E007803C01E007803C01E007803C01E07FF1FF8FFE7FF1FF 8FFE272380A229>I<8020C060F1E07BC01F000E0004000B077A9F18>20 D<0000C018000000C018000001C038000001C03800000180300000018030000003807000000380 7000000300600000030060000003006000000700E000000700E000000600C000000600C000000E 01C000000E01C000FFFFFFFFC0FFFFFFFFC0001803000000180300000018030000003807000000 38070000003006000000300600000030060000FFFFFFFFC0FFFFFFFFC000E01C000000E01C0000 00C018000000C018000001C038000001C038000001803000000180300000038070000003807000 00030060000003006000000700E000000700E000000600C000000600C00000222D7DA229>35 D<0F80000C001FC0001C003CF0003C007878007800783E01F000703FFFF000F03BFFE000F01801 E000F01801C000F018038000F018078000F018070000F0180E0000F0381E000070381C00007830 38000078703800003CE07000001FC0F000000F80E07C000001C0FE000003C1E700000381C38000 0703C1800007038180000E0781C0001E0780C0001C0780C000380780C000780780C000700780C0 00E00780C001E00780C001C00781C00380038180038003C180070001C3800F0001E7000E0000FE 000C00007C0022287DA429>37 D<70F8FCFC7C0C0C0C1C18183870E0E0060F7CA20E>39 D<007000E001E001C0038007000F000E001E001C003C003C00380078007800700070007000F000 F000F000F000F000F000F000F000F000F000F000F000F000F0007000700070007800780038003C 003C001C001E000E000F000700038001C001E000E000700C327DA413>II<01C00001C00001C00001C00001C000E1C380F1 C7807DDF001FFC000FF80003E0000FF8001FFC007DDF00F1C780E1C38001C00001C00001C00001 C00001C00011157DA418>I<000180000001800000018000000180000001800000018000000180 00000180000001800000018000000180000001800000018000000180000001800000018000FFFF FFFEFFFFFFFE000180000001800000018000000180000001800000018000000180000001800000 018000000180000001800000018000000180000001800000018000000180001F227D9C26>I<70 F8FCFC7C0C0C0C1C18183870E0E0060F7C840E>II<70F8F8F87005 057C840E>I<01F00007FC000E0E001C07003803803803807803C07001C07001C07001C0F001E0 F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0 7001C07001C07001C07803C03803803803801C07000E0E0007FC0001F00013227EA018>48 D<00C001C007C0FFC0FBC003C003C003C003C003C003C003C003C003C003C003C003C003C003C0 03C003C003C003C003C003C003C003C003C003C003C003C0FFFFFFFF10217CA018>I<07F8000F FE003C3F00700F807007C0E007C0F803E0FC03E0FC03E0FC01E0FC01E03003E00003E00003E000 07C00007C0000F80000F00001E00003C0000780000F00001E00001C0000380600700600E00601C 00E03800C07FFFC0FFFFC0FFFFC0FFFFC013217EA018>I<03F8000FFE001E1F00380F807807C0 7C07C07E07C07E07C07C07C03807C00007C0000780000F80001F00003E0003FC0003F800001E00 000F000007800007C00003E00003E03003E0FC03E0FC03E0FC03E0FC03E0F807C06007C0780F80 3E1F001FFE0003F80013227EA018>I<000700000700000F00001F00001F00003F00003F00006F 0000EF0000CF00018F00018F00030F00070F00060F000C0F001C0F00180F00380F00300F00600F 00E00F00FFFFF8FFFFF8000F00000F00000F00000F00000F00000F00000F0001FFF801FFF81521 7FA018>I<1801801E07801FFF801FFF001FFC001FF00018000018000018000018000018000018 000019F8001FFE001F1F001E0F801C07801807C00003C00003E00003E00003E00003E0F803E0F8 03E0F803E0F803E0F803C0E007C0700780780F003E3F001FFC0007F00013227EA018>I<007E00 01FF8003C3800701C00E07C01E07C03C07C03807C0780000780000780000702000F3FC00F7FF00 FE0F80FC0780F803C0F803C0F801E0F001E0F001E0F001E0F001E0F001E07001E07001E07801E0 7801C03803C03C03801E07800F1F0007FE0003F80013227EA018>I<6000007000007FFFE07FFF E07FFFE07FFFC0600180E00380C00700C00600C00E00001C000018000038000030000070000060 0000E00000E00001E00001E00001C00003C00003C00003C00003C00007C00007C00007C00007C0 0007C00007C00007C00007C00003800013237DA118>I<03F8000FFE001E1F003C078038038070 03C07001C07001C07801C07801C07C03C07F07803FC7003FFE001FFC000FFC0007FF000FFF801E 7F803C3FC0780FC07007E0F003E0E001E0E000E0E000E0E000E0F000E07001C07801C03C07801E 0F000FFE0003F80013227EA018>I<03F8000FFC001F1E003C07003807807803807003C0F003C0 F001C0F001C0F001E0F001E0F001E0F001E0F001E0F003E07803E07803E03C07E03E0FE01FFDE0 07F9E00081E00001C00003C00003C07C03807C07807C07007C0F00701E00387C001FF8000FE000 13227EA018>I<70F8F8F870000000000000000000000070F8F8F87005157C940E>I<70F8F8F870 000000000000000000000070F8F8F8781818181838307070E0C0051F7C940E>I61 D<000180000003C0000003C0000003C0000007E0000007E0000007E000 000FF000000DF000000DF000001DF8000018F8000018F8000038FC0000307C0000307C0000607E 0000603E0000603E0000C03F0000C01F0000C01F0001801F8001FFFF8001FFFF80030007C00300 07C0030007C0060003E0060003E0060003E00E0001F01F0003F0FFC01FFFFFC01FFF20237EA225 >65 DI<000FF030007FFC3000FC 1E7003F0077007C003F00F8001F01F0001F01F0000F03E0000F03C0000707C0000707C0000707C 000030F8000030F8000030F8000000F8000000F8000000F8000000F8000000F8000000F8000000 F80000307C0000307C0000307C0000303E0000703E0000601F0000E01F0000C00F8001C007C003 8003F0070000FC1E00007FFC00000FF0001C247DA223>IIII<000FF018003FFC1800FC0F3803F003 B807C001F80F8000F80F0000F81F0000783E0000783E0000387C0000387C0000387C000018F800 0018F8000018F8000000F8000000F8000000F8000000F8000000F8000000F8003FFFF8003FFF7C 0000F87C0000F87C0000F83E0000F83E0000F81F0000F80F8000F80F8000F807E001F803F003F8 00FE0F38003FFE18000FF80020247DA226>III<03FFF803FFF8000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80 000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80 300F80FC0F80FC0F80FC0F80FC1F80F81F00703F007C7E003FF8000FE00015237FA119>IIIII<000FE000007FFC0000F83E0003E00F80078003C00F0001E00F 0001E01E0000F03E0000F83C0000787C00007C7C00007C7800003C7800003CF800003EF800003E F800003EF800003EF800003EF800003EF800003EF800003EF800003E7C00007C7C00007C7C0000 7C3C0000783E0000F81E0000F00F0001E00F8003E007C007C003E00F8000F83E00007FFC00000F E0001F247DA226>II<000FE000 007FFC0000F83E0003E00F8007C007C00F8003E00F0001E01E0000F03E0000F83C0000787C0000 7C7C00007C7800003C7800003CF800003EF800003EF800003EF800003EF800003EF800003EF800 003EF800003EF800003E7800003C7C00007C7C00007C3C0000783E07C0F81E0FE0F00F1C71E00F 9833E007981BC003F81F8000FC3E00007FFC02000FEC0200000C0200000E0600000E0600000F1E 000007FC000007FC000007FC000003F8000001F01F2D7DA226>II<03F0600FFE601E1FE03C07E07803E07801E0F000E0F000E0F0 0060F00060F80060F80000FC00007E00007FC0007FFC003FFF001FFF800FFFC001FFE0001FE000 07E00003F00001F00001F0C000F0C000F0C000F0E000F0E000F0F001E0F801E0FC03C0FF0780C7 FF00C1FC0014247DA21B>I<7FFFFFF87FFFFFF87C07C0F87007C0386007C0186007C018E007C0 1CE007C00CC007C00CC007C00CC007C00CC007C00C0007C0000007C0000007C0000007C0000007 C0000007C0000007C0000007C0000007C0000007C0000007C0000007C0000007C0000007C00000 07C0000007C0000007C0000007C0000007C0000007C00003FFFF8003FFFF801E227EA123>IIII89 D<7FFFFE7FFFFE7F007E7C00FC7000F87001F8 E001F0E003F0C007E0C007E0C00FC0C00FC0001F80001F00003F00007E00007E0000FC0000FC00 01F80001F00303F00307E00307E0030FC0030FC0071F80071F00063F000E3E000E7E003EFC00FE FFFFFEFFFFFE18227DA11E>II93 D<1FF0007FFC007C3E007C1F007C0F00380F00000F00001F0007FF001FFF00 3F0F007C0F00F80F00F00F00F00F18F00F18F01F18F81F187C7FB83FF7F01FC3C015157E9418> 97 D<0F0000FF0000FF00001F00000F00000F00000F00000F00000F00000F00000F00000F0000 0F00000F00000F1F800FFFE00FE1F00F80780F003C0F003C0F001C0F001E0F001E0F001E0F001E 0F001E0F001E0F001E0F003C0F003C0F807C0F80F80FE1F00E7FE00C3F8017237FA21B>I<03FE 000FFF801F0F803E0F803C0F80780700780000F00000F00000F00000F00000F00000F00000F000 007800007800C03C01C03E01801F87800FFF0003FC0012157E9416>I<0001E0001FE0001FE000 03E00001E00001E00001E00001E00001E00001E00001E00001E00001E00001E003F9E00FFFE01F 0FE03E03E07C01E07801E07801E0F001E0F001E0F001E0F001E0F001E0F001E0F001E07001E078 01E07803E03C07E01F0FF00FFDFE03F1FE17237EA21B>I<01FC0007FF001F0F803E03C03C01C0 7801E07801E0FFFFE0FFFFE0F00000F00000F00000F00000F000007800007800603C00E03E01C0 0F83C007FF0001FC0013157F9416>I<003F0000FF0001FF8003EF8003CF80078F800780000780 00078000078000078000078000078000078000FFF800FFF8000780000780000780000780000780 000780000780000780000780000780000780000780000780000780000780000780000780007FFC 007FFC00112380A20F>I<0000F003FBF807FFB81F1F781E0F383C07803C07803C07803C07803C 07803C07801E0F001F1F001FFC001BF8003800003800003C00001FFF001FFFC00FFFE03FFFF07C 01F8F00078E00078E00038E00038F00078F000787C01F03F07E00FFF8003FE0015217F9518>I< 0F0000FF0000FF00001F00000F00000F00000F00000F00000F00000F00000F00000F00000F0000 0F00000F1F800F7FE00FE1E00FC1F00F80F00F80F00F00F00F00F00F00F00F00F00F00F00F00F0 0F00F00F00F00F00F00F00F00F00F00F00F00F00F0FFF3FFFFF3FF18237FA21B>I<0E001F001F 001F000E00000000000000000000000000000000000F00FF00FF001F000F000F000F000F000F00 0F000F000F000F000F000F000F000F000F000F00FFE0FFE00B2280A10D>I<007000F800F800F8 007000000000000000000000000000000000007807F807F800F800780078007800780078007800 7800780078007800780078007800780078007800780078007800780078F878F8F8F8F0F9E07FC0 3F000D2C83A10F>I<0F0000FF0000FF00001F00000F00000F00000F00000F00000F00000F0000 0F00000F00000F00000F00000F0FFC0F0FFC0F07E00F07C00F07000F0E000F1C000F38000F7C00 0FFC000FFE000FBF000F1F000F0F800F0FC00F07C00F03E00F03E00F03F0FFE7FEFFE7FE17237F A21A>I<0F00FF00FF001F000F000F000F000F000F000F000F000F000F000F000F000F000F000F 000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F00FFF0FFF00C2380A2 0D>I<0F1FC0FE00FF7FF3FF80FFF1F78F801FC0FE07C00F807C03C00F807C03C00F007803C00F 007803C00F007803C00F007803C00F007803C00F007803C00F007803C00F007803C00F007803C0 0F007803C00F007803C00F007803C00F007803C0FFF3FF9FFCFFF3FF9FFC26157F9429>I<0F1F 80FF7FE0FFE1E01FC1F00F80F00F80F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00 F00F00F00F00F00F00F00F00F00F00F0FFF3FFFFF3FF18157F941B>I<01FC0007FF000F07801C 01C03800E07800F0700070F00078F00078F00078F00078F00078F00078F000787000707800F038 00E01C01C00F078007FF0001FC0015157F9418>I<0F1F80FFFFE0FFE1F00F80F80F007C0F003C 0F003C0F001E0F001E0F001E0F001E0F001E0F001E0F003E0F003C0F003C0F807C0F80F80FE1F0 0F7FE00F3F800F00000F00000F00000F00000F00000F00000F00000F0000FFF000FFF000171F7F 941B>I<03F8600FFCE01F0EE03E07E07C03E07801E07801E0F801E0F001E0F001E0F001E0F001 E0F001E0F001E07801E07801E07C03E03E07E01F0FE00FFDE003F1E00001E00001E00001E00001 E00001E00001E00001E00001E0001FFE001FFE171F7E941A>I<0F7CFFFFFFDF1F9F0F9F0F0E0F 000F000F000F000F000F000F000F000F000F000F000F000F00FFF8FFF810157F9413>I<1FD83F F87878F038E018E018F000FC00FFC07FF03FF80FF800FCC03CC01CE01CE01CF03CF878FFF0CFE0 0E157E9413>I<03000300030003000700070007000F001F003F00FFF8FFF80F000F000F000F00 0F000F000F000F000F000F000F0C0F0C0F0C0F0C0F0C0F1C079807F801F00E1F7F9E13>I<0F00 F0FF0FF0FF0FF01F01F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00F00 F00F00F00F01F00F01F00F03F00787F807FEFF01FCFF18157F941B>III<7FE3FF007F E3FF000FC1F80003C1E00003E1C00001E3800000F3000000FF0000007E0000003C0000003E0000 003E0000007F00000067800000C7C00001C3C0000381E0000781F0000F81F800FFC3FF80FFC3FF 80191580941A>II<3FFFC03FFFC03C0FC0 380F80301F00703E00607E00607C0060F80001F00003F00003E0C007C0C00F80C01F80C01F01C0 3E01807C0380FC0780FFFF80FFFF8012157F9416>II E /Fm 40 123 df<0003FE0000001FFFC000007F01E00000FC01F00001F803F00003F807F80007 F007F80007F007F80007F007F80007F003F00007F000C00007F000000007F000000007F0000000 FFFFFFF800FFFFFFF800FFFFFFF80007F003F80007F003F80007F003F80007F003F80007F003F8 0007F003F80007F003F80007F003F80007F003F80007F003F80007F003F80007F003F80007F003 F80007F003F80007F003F80007F003F80007F003F80007F003F80007F003F80007F003F8007FFE 1FFF807FFE1FFF807FFE1FFF8021287FA725>12 D 45 D<1C003E007F00FF80FF80FF807F003E001C0009097B8813>I<000E00001E0000FE000FFE00 FFFE00FFFE00F0FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE00 00FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE00 00FE0000FE0000FE0000FE007FFFFC7FFFFC7FFFFC16257BA421>49 D<00FF800007FFF0001FFF F8003E03FE007800FF007C007F00FE007F80FF003FC0FF003FC0FF003FC07E003FC03C003FC000 003FC000003F8000007F8000007F0000007F000000FE000001FC000001F8000003E0000007C000 000F8000001E0000003C01C0007801C000F001C001C0038003800380070003800FFFFF801FFFFF 803FFFFF807FFFFF80FFFFFF00FFFFFF00FFFFFF001A257DA421>I<00FF800003FFE00007FFF8 000F81FC001F00FE003F80FE003F80FF003FC0FF003F80FF001F80FF000F00FF000000FE000001 FC000001FC000003F8000007E00000FF800000FFF0000003FC000000FE000000FF0000007F8000 007F8000007FC000007FC018007FC07E007FC07E007FC0FF007FC0FF007F80FF007F80FE00FF00 7C00FE003E03FC001FFFF80007FFE00001FF80001A257DA421>I<00001C0000003C0000007C00 0000FC000001FC000001FC000003FC000007FC00000EFC00001EFC00001CFC000038FC000070FC 0000E0FC0001E0FC0001C0FC000380FC000700FC000E00FC000E00FC001C00FC003800FC007000 FC00E000FC00FFFFFFF0FFFFFFF0FFFFFFF00001FC000001FC000001FC000001FC000001FC0000 01FC000001FC00007FFFF0007FFFF0007FFFF01C257EA421>I<080006001F803E001FFFFC001F FFF8001FFFF0001FFFE0001FFFC0001FFF80001FFE00001C0000001C0000001C0000001C000000 1C0000001C7F80001DFFF0001F80F8001E007E0008007F0000003F0000003F8000003F8000003F C000003FC03C003FC07E003FC0FE003FC0FE003FC0FE003F80FE003F807C007F8070007F003C00 FE001F03FC000FFFF80007FFE00000FF00001A257DA421>I<00007FE0060007FFF80E001FFFFE 1E007FE01FFE00FF0003FE01FC0001FE03F800007E07F000007E0FE000003E1FE000001E3FC000 001E3FC000001E7FC000000E7FC000000E7F8000000EFF80000000FF80000000FF80000000FF80 000000FF80000000FF80000000FF80000000FF80000000FF80000000FF800000007F800000007F C000000E7FC000000E3FC000000E3FC000000E1FE000001C0FE000001C07F000003803F8000038 01FC0000F000FF0001E0007FE00FC0001FFFFF000007FFFC0000007FE00027287CA730>67 DI<00007FE003000003FFFC0700001FFFFF0F00007FF00FFF0000 FF0001FF0001FE0000FF0003F800003F0007F000003F000FF000001F001FE000000F003FC00000 0F003FC000000F007FC0000007007FC0000007007F80000007007F8000000000FF8000000000FF 8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000FF FFF87F8000FFFFF87F8000FFFFF87FC00000FF007FC00000FF003FC00000FF003FE00000FF001F E00000FF000FF00000FF0007F00000FF0003F80000FF0001FE0000FF0000FF8001FF00007FF007 FF00001FFFFF9F000003FFFE0F0000007FF003002D287CA735>71 D73 D76 DI 80 D82 D<00FF80C003FFE1C00FFFFBC01F80FFC03E001FC03E00 07C07C0007C07C0003C0FC0003C0FC0001C0FC0001C0FE0001C0FE000000FF8000007FF000007F FF00007FFFF0003FFFFC001FFFFE000FFFFF0007FFFF8001FFFFC0003FFFE00003FFE000003FF0 00000FF0000007F0000007F0600003F0E00003F0E00003F0E00003F0F00003E0F00003E0F80007 C0FE000F80FFC01F00F7FFFE00E1FFFC00C03FF0001C287CA725>I<7FFFFFFFFF007FFFFFFFFF 007FFFFFFFFF007F007F807F007C007F801F0078007F800F0070007F800700F0007F800780F000 7F800780E0007F800380E0007F800380E0007F800380E0007F800380E0007F80038000007F8000 0000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000000000 7F80000000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000 0000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000000000 7F80000000007F80000000FFFFFFC00000FFFFFFC00000FFFFFFC00029277EA62E>I<03FF8000 0FFFE0001F03F8003F80FC003F80FE003F807E001F007F000E007F0000007F0000007F000003FF 0000FFFF0003FE7F000FE07F001F807F003E007F007E007F00FC007F00FC007F00FC007F00FC00 7F007C00FF007E00FF003F83BFF80FFF1FF803FC07F81D1A7E9920>97 DI<003FF00001FFFC0003F03E000FC07F001F807F003F007F003F003E007F001C007E000000FE 000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000007E0000007F000000 3F0003803F0003801F8007000FC00E0003F03C0001FFF800003FE000191A7E991E>I<00007FF0 00007FF000007FF0000007F0000007F0000007F0000007F0000007F0000007F0000007F0000007 F0000007F0000007F0000007F0003FC7F000FFF7F003F03FF007C00FF00F8007F01F0007F03F00 07F07E0007F07E0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE 0007F07E0007F07E0007F03F0007F03F0007F01F800FF00F801FF003E07FFF01FFE7FF003F87FF 20287EA725>I<003FC00001FFF80007E07C000F801E001F801F003F000F803F000F807E000780 7E0007C0FE0007C0FE0007C0FFFFFFC0FFFFFFC0FE000000FE000000FE000000FE0000007E0000 007E0000003F0001C01F0001C00F80038007C0070003F01E0000FFFC00003FE0001A1A7E991F> I<000FE0003FF800FC7C01F8FE03F8FE03F0FE07F07C07F03807F00007F00007F00007F00007F0 0007F000FFFF80FFFF80FFFF8007F00007F00007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F0007FFF807FFF 807FFF8017287EA714>I<00FF03E003FFCFF00F81FCF81F00F8F83E007C703E007C207E007E00 7E007E007E007E007E007E007E007E003E007C003E007C001F00F8000F81F0001BFFC00018FF00 003800000038000000380000003C0000003FFFF0003FFFFE001FFFFF800FFFFFC007FFFFE01FFF FFE03C000FF0780003F0F80001F0F80001F0F80001F0780001E07C0003E03E0007C01FC03F8007 FFFE0000FFF0001D267E9921>II<07000FC01FE03FE03FE03FE01FE0 0FC00700000000000000000000000000FFE0FFE0FFE00FE00FE00FE00FE00FE00FE00FE00FE00F E00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFFEFFFEFFFE0F297EA812>I107 DIII<003FC00001FFF80007E07E000F801F001F000F803F000FC03E0007C07E0007E0 7E0007E0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F07E0007 E07E0007E07F000FE03F000FC01F801F800FC03F0007E07E0001FFF800003FC0001C1A7E9921> II< FFC1F0FFC7FCFFCE3E0FD87F0FD87F0FF07F0FF03E0FF01C0FE0000FE0000FE0000FE0000FE000 0FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE000FFFF00FFFF00FFFF00 181A7E991C>114 D<03FC600FFFE03C07E07801E07000E0F000E0F000E0F800E0FF0000FFF800 7FFF003FFF801FFFC00FFFE003FFF0003FF80003F86000F8E00078E00078F00078F80070F800E0 FE03C0F7FF80C1FE00151A7E991A>I<00700000700000700000700000F00000F00000F00001F0 0003F00003F00007F0001FFFE0FFFFE0FFFFE007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F07007F07007F07007F07007F07007F07003F0 E001F8E000FFC0003F0014257FA41A>IIII<3FFFFF3FFFFF3F00FE3C01FC3803FC7803F87807F0700FF0701FE0 701FC0003FC0007F80007F0000FE0001FE0003FC0703F80707F8070FF0070FE00F1FC00E3FC01E 3F803E7F00FEFFFFFEFFFFFE181A7E991E>122 D E /Fn 7 117 df<0000E000000001F0000000 01F000000003F800000003F800000003F800000007FC00000007FC0000000FFE0000000EFE0000 000EFE0000001CFF0000001C7F0000003C7F800000383F800000383F800000703FC00000701FC0 0000F01FE00000E00FE00000FFFFE00001FFFFF00001FFFFF00003C007F800038003F800038003 F800070001FC00070001FC00FFF01FFFE0FFF01FFFE0FFF01FFFE0231F7E9E28>65 D<07FE001FFF803F0FE03F07E03F03F03F03F01E03F00003F001FFF00FFFF03FC3F07E03F0FC03 F0F803F0F803F0F803F0FC07F87E1FFE3FFDFE0FF0FE17147F9319>97 DI<03FE000FFF801F8FC03F0FC07E0FC07C0FC0FC0780FC0000FC0000FC0000 FC0000FC0000FC0000FC00007E00007E00E03F01E01FC3C00FFF8003FE0013147E9317>I114 D<0FFE3FFE783EF01EF00EF8 0EFE00FFF0FFFC7FFE3FFE0FFF00FFE01FE00FF00FF80FFC3EFFFCEFF010147E9315>I<038003 80038003800780078007800F801F803FFCFFFCFFFC1F801F801F801F801F801F801F801F801F80 1F8E1F8E1F8E1F8E1F8E0FDC0FFC03F00F1D7F9C14>I E /Fo 58 123 df<001F81F80000F04F 040001C07C06000380F80F000300F00F000700F00F000700700000070070000007007000000700 70000007007000000700700000FFFFFFFF00070070070007007007000700700700070070070007 007007000700700700070070070007007007000700700700070070070007007007000700700700 0700700700070070070007007007000700700700070070070007007007007FE3FE3FF02420809F 26>14 D20 D<0020004000800100020006000C000C0018 0018003000300030007000600060006000E000E000E000E000E000E000E000E000E000E000E000 E0006000600060007000300030003000180018000C000C000600020001000080004000200B2E7D A112>40 D<800040002000100008000C00060006000300030001800180018001C000C000C000C0 00E000E000E000E000E000E000E000E000E000E000E000E000C000C000C001C001800180018003 000300060006000C00080010002000400080000B2E7DA112>I<00060000000600000006000000 060000000600000006000000060000000600000006000000060000000600000006000000060000 0006000000060000FFFFFFF0FFFFFFF00006000000060000000600000006000000060000000600 000006000000060000000600000006000000060000000600000006000000060000000600001C20 7D9A23>43 D<70F8FCFC74040404080810102040060E7C840D>II<70F8 F8F87005057C840D>I<000100030003000600060006000C000C000C0018001800180030003000 3000600060006000C000C000C00180018001800300030003000600060006000C000C000C001800 18001800300030003000600060006000C000C000C000102D7DA117>I<03F0000E1C001C0E0018 0600380700700380700380700380700380F003C0F003C0F003C0F003C0F003C0F003C0F003C0F0 03C0F003C0F003C0F003C0F003C0F003C07003807003807003807807803807001806001C0E000E 1C0003F000121F7E9D17>I<018003800F80F38003800380038003800380038003800380038003 800380038003800380038003800380038003800380038003800380038007C0FFFE0F1E7C9D17> I<03F0000C1C00100E00200700400780800780F007C0F803C0F803C0F803C02007C00007C00007 80000780000F00000E00001C0000380000700000600000C0000180000300000600400C00401800 401000803FFF807FFF80FFFF80121E7E9D17>I<03F0000C1C00100E00200F00780F8078078078 0780380F80000F80000F00000F00000E00001C0000380003F000003C00000E00000F0000078000 07800007C02007C0F807C0F807C0F807C0F00780400780400F00200E001C3C0003F000121F7E9D 17>I<1803001FFE001FFC001FF8001FE00010000010000010000010000010000010000011F000 161C00180E001007001007800003800003800003C00003C00003C07003C0F003C0F003C0E00380 400380400700200600100E000C380003E000121F7E9D17>53 D<007C000182000701000E03800C 07801C0780380300380000780000700000700000F1F000F21C00F40600F80700F80380F80380F0 03C0F003C0F003C0F003C0F003C07003C07003C07003803803803807001807000C0E00061C0001 F000121F7E9D17>I<4000007FFFC07FFF807FFF80400100800200800200800400000800000800 00100000200000200000400000400000C00000C00001C000018000038000038000038000038000 078000078000078000078000078000078000078000030000121F7D9D17>I<03F0000C0C001006 003003002001806001806001806001807001807803003E03003F06001FC8000FF00003F80007FC 000C7E00103F00300F806003804001C0C001C0C000C0C000C0C000C0C000806001802001001002 000C0C0003F000121F7E9D17>I<03F0000E18001C0C00380600380700700700700380F00380F0 0380F003C0F003C0F003C0F003C0F003C07007C07007C03807C0180BC00E13C003E3C000038000 0380000380000700300700780600780E00700C002018001070000FC000121F7E9D17>I<70F8F8 F8700000000000000000000070F8F8F87005147C930D>I<001F800000E0700001000800060006 000800010008000100100F00802030C0402060404040C0202041C01C2041C01C2081801C108380 1C1083801C1083801C1083801C1083801C1083801C1081801C1041C01C1041C01C1040C03C2020 605C202030CC40100F0780080000000800000006000070010001C000E01F00001FF0001C207D9F 23>64 D<000100000003800000038000000380000007C0000007C0000007C0000009E0000009E0 000009E0000010F0000010F0000010F00000207800002078000020780000403C0000403C000040 3C0000801E0000801E0000FFFE0001000F0001000F0001000F0002000780020007800200078004 0003C00E0003C01F0007E0FFC03FFE1F207F9F22>I<000FC040007030C001C009C0038005C007 0003C00E0001C01E0000C01C0000C03C0000C07C0000407C00004078000040F8000000F8000000 F8000000F8000000F8000000F8000000F8000000F8000000F8000000780000007C0000407C0000 403C0000401C0000401E0000800E000080070001000380020001C0040000703800000FC0001A21 7D9F21>67 DIII73 D<0FFFC0007C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C 00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00203C00F83C00F83C 00F83C00F0380040780040700030E0000F800012207E9E17>I76 D80 D<07E0800C19801007803003806001 80600180E00180E00080E00080E00080F00000F000007800007F00003FF0001FFC000FFE0003FF 00001F800007800003C00003C00001C08001C08001C08001C08001C0C00180C00380E00300F006 00CE0C0081F80012217D9F19>83 D<7FFFFFE0780F01E0600F0060400F0020400F0020C00F0030 800F0010800F0010800F0010800F0010000F0000000F0000000F0000000F0000000F0000000F00 00000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F 0000000F0000000F0000000F0000001F800007FFFE001C1F7E9E21>II<7FFFF87C00F87000F06001E04001E0C003C0C003C0800780800F80800F0000 1E00001E00003C00003C0000780000F80000F00001E00001E00003C00403C0040780040F80040F 000C1E000C1E00083C00183C0018780038F801F8FFFFF8161F7D9E1C>90 D<1FE000303000781800781C00300E00000E00000E00000E0000FE00078E001E0E00380E00780E 00F00E10F00E10F00E10F01E10781E103867200F83C014147E9317>97 D<0E0000FE00000E0000 0E00000E00000E00000E00000E00000E00000E00000E00000E00000E3E000EC3800F01C00F00E0 0E00E00E00700E00700E00780E00780E00780E00780E00780E00780E00700E00700E00E00F00E0 0D01C00CC300083E0015207F9F19>I<03F80E0C1C1E381E380C70007000F000F000F000F000F0 00F00070007000380138011C020E0C03F010147E9314>I<000380003F80000380000380000380 00038000038000038000038000038000038000038003E380061B801C0780380380380380700380 700380F00380F00380F00380F00380F00380F003807003807003803803803807801C07800E1B80 03E3F815207E9F19>I<03F0000E1C001C0E00380700380700700700700380F00380F00380FFFF 80F00000F00000F000007000007000003800801800800C010007060001F80011147F9314>I<00 7C00C6018F038F07060700070007000700070007000700FFF00700070007000700070007000700 070007000700070007000700070007000700070007007FF01020809F0E>I<0000E003E3300E3C 301C1C30380E00780F00780F00780F00780F00780F00380E001C1C001E380033E0002000002000 003000003000003FFE001FFF800FFFC03001E0600070C00030C00030C00030C000306000603000 C01C038003FC00141F7F9417>I<0E0000FE00000E00000E00000E00000E00000E00000E00000E 00000E00000E00000E00000E3E000E43000E81800F01C00F01C00E01C00E01C00E01C00E01C00E 01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C0FFE7FC16207F9F19>I< 1C001E003E001E001C000000000000000000000000000E007E000E000E000E000E000E000E000E 000E000E000E000E000E000E000E000E000E000E00FFC00A1F809E0C>I<00E001F001F001F000 E0000000000000000000000000007007F000F00070007000700070007000700070007000700070 007000700070007000700070007000700070007000706070F060F0C061803F000C28829E0E>I< 0E0000FE00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0FF0 0E03C00E03000E02000E04000E08000E10000E30000E70000EF8000F38000E1C000E1E000E0E00 0E07000E07800E03800E03C00E03E0FFCFF815207F9F18>I<0E00FE000E000E000E000E000E00 0E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E 000E000E000E000E00FFE00B20809F0C>I<0E1F01F000FE618618000E81C81C000F00F00E000F 00F00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E00 0E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E00FFE7FE7F E023147F9326>I<0E3E00FE43000E81800F01C00F01C00E01C00E01C00E01C00E01C00E01C00E 01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C0FFE7FC16147F9319>I<01F800 070E001C03803801C03801C07000E07000E0F000F0F000F0F000F0F000F0F000F0F000F07000E0 7000E03801C03801C01C0380070E0001F80014147F9317>I<0E3E00FEC3800F01C00F00E00E00 E00E00F00E00700E00780E00780E00780E00780E00780E00780E00700E00F00E00E00F01E00F01 C00EC3000E3E000E00000E00000E00000E00000E00000E00000E00000E0000FFE000151D7F9319 >I<0E78FE8C0F1E0F1E0F0C0E000E000E000E000E000E000E000E000E000E000E000E000E000E 00FFE00F147F9312>114 D<1F9030704030C010C010C010E00078007F803FE00FF00070803880 188018C018C018E030D0608F800D147E9312>I<020002000200060006000E000E003E00FFF80E 000E000E000E000E000E000E000E000E000E000E000E080E080E080E080E080610031001E00D1C 7F9B12>I<0E01C0FE1FC00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E 01C00E01C00E01C00E01C00E01C00E03C00603C0030DC001F1FC16147F9319>III<7FC3FC0F01E00701 C007018003810001C20000E40000EC00007800003800003C00007C00004E000087000107000303 800201C00601E01E01E0FF07FE1714809318>II<3FFF38 0E200E201C40384078407000E001E001C00380078007010E011E011C0338027006700EFFFE1014 7F9314>I E /Fp 17 121 df<000007FF80000000007FFFF800000003FFFFFF0000000FFE01FF C000001FF0003FE000007FC0000FF80000FF800007FC0001FF000003FE0003FE000001FF0007FC 000000FF800FFC000000FFC00FF80000007FC01FF80000007FE01FF00000003FE03FF00000003F F03FF00000003FF07FF00000003FF87FE00000001FF87FE00000001FF87FE00000001FF8FFE000 00001FFCFFE00000001FFCFFE00000001FFCFFE00000001FFCFFE00000001FFCFFE00000001FFC FFE00000001FFCFFE00000001FFCFFE00000001FFCFFE00000001FFCFFE00000001FFC7FE00000 001FF87FE00000001FF87FF00000003FF87FF00000003FF83FF00000003FF03FF00000003FF01F F80000007FE01FF80000007FE00FFC000000FFC00FFC000000FFC007FE000001FF8003FE000001 FF0001FF000003FE0000FF800007FC00007FE0001FF800003FF0003FF000000FFE01FFC0000003 FFFFFF000000007FFFF80000000007FF80000036337BB241>79 D<003FFC000001FFFFC00003FF FFF00007F00FF8000FF803FC000FF801FE000FF801FF000FF800FF0007F000FF8003E000FF8000 8000FF80000000FF80000000FF8000001FFF80000FFFFF80007FFFFF8003FF80FF8007FC00FF80 1FF000FF803FE000FF807FC000FF807FC000FF80FF8000FF80FF8000FF80FF8000FF80FF8000FF 80FF8001FF807FC001FF803FE0077FC01FF81E7FFE0FFFFC3FFE03FFF01FFE007FC007FE27217E A02A>97 D<0007FF80003FFFF000FFFFF803FE01FC07F803FE0FF003FE1FF003FE1FE003FE3FE0 01FC7FE000F87FC000207FC00000FFC00000FFC00000FFC00000FFC00000FFC00000FFC00000FF C00000FFC00000FFC000007FC000007FE000007FE000003FE0000F1FF0000F1FF0001E0FF8001E 07FC007C03FF01F800FFFFF0003FFFC00007FE0020217DA026>99 D<00000003F800000001FFF8 00000001FFF800000001FFF800000001FFF8000000001FF8000000000FF8000000000FF8000000 000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8 000000000FF8000000000FF8000000000FF8000000000FF8000007FC0FF800003FFF8FF80000FF FFEFF80003FF01FFF80007F8007FF8000FF0001FF8001FF0000FF8001FE0000FF8003FE0000FF8 003FC0000FF8007FC0000FF8007FC0000FF800FFC0000FF800FFC0000FF800FFC0000FF800FFC0 000FF800FFC0000FF800FFC0000FF800FFC0000FF800FFC0000FF800FFC0000FF8007FC0000FF8 007FC0000FF8007FC0000FF8003FE0000FF8001FE0000FF8001FE0001FF8000FF0003FF80007F8 00FFFC0003FE03FFFFC000FFFFCFFFC0003FFF0FFFC00007F80FFFC02A347DB330>I<0007FE00 00003FFFC00000FFFFF00003FE07F80007F801FC000FF000FE001FF0007F001FE0007F003FE000 3F803FC0003F807FC0003F807FC0003FC0FFC0003FC0FFC0003FC0FFFFFFFFC0FFFFFFFFC0FFFF FFFFC0FFC0000000FFC0000000FFC00000007FC00000007FC00000007FC00000003FE00000003F E00003C01FE00003C00FF00007C00FF8000F8007FC001F0001FF00FE00007FFFFC00001FFFF000 0003FF800022217EA027>I<00007F800003FFE0000FFFF0003FE3F8007F87FC00FF07FC01FF07 FC01FE07FC03FE03F803FE01F003FE00E003FE000003FE000003FE000003FE000003FE000003FE 000003FE000003FE0000FFFFFC00FFFFFC00FFFFFC00FFFFFC0003FE000003FE000003FE000003 FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE0000 03FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE00 0003FE000003FE00007FFFF8007FFFF8007FFFF8007FFFF8001E347EB31A>I<03E00007F0000F F8001FFC001FFC003FFC003FFC001FFC001FFC000FF80007F00003E00000000000000000000000 000000000000000000000000000001FC00FFFC00FFFC00FFFC00FFFC000FFC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC00FFFFE0FFFFE0FFFFE0FFFFE013357DB4 18>105 D<01FC00FFFC00FFFC00FFFC00FFFC000FFC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC00FFFFE0FFFFE0FF FFE0FFFFE013347DB318>108 D<03F803FE0003FE0000FFF80FFFC00FFFC000FFF83FFFE03FFF E000FFF8781FF0781FF000FFF8E00FF8E00FF8000FF98007F98007F80007FB0007FF0007FC0007 FB0007FF0007FC0007FE0007FE0007FC0007FE0007FE0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC00FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0FFFFE043 217DA04A>I<03F803FE0000FFF80FFFC000FFF83FFFE000FFF8781FF000FFF8E00FF8000FF980 07F80007FB0007FC0007FB0007FC0007FE0007FC0007FE0007FC0007FC0007FC0007FC0007FC00 07FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC00 07FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC00 07FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC00FFFFE0FFFFE0FFFFE0FFFFE0FFFFE0 FFFFE0FFFFE0FFFFE02B217DA030>I<0003FF0000003FFFF00000FFFFFC0001FF03FE0007F800 7F800FF0003FC01FE0001FE01FE0001FE03FE0001FF03FC0000FF07FC0000FF87FC0000FF87FC0 000FF8FFC0000FFCFFC0000FFCFFC0000FFCFFC0000FFCFFC0000FFCFFC0000FFCFFC0000FFCFF C0000FFC7FC0000FF87FC0000FF87FC0000FF83FE0001FF03FE0001FF01FF0003FE00FF0003FC0 07FC00FF8003FF03FF0000FFFFFC00003FFFF0000003FF000026217EA02B>I<01FC0FFC0000FF FC7FFF8000FFFDFFFFC000FFFFF03FF000FFFF800FF80007FF0007FC0007FC0003FE0007FC0003 FF0007FC0001FF0007FC0001FF8007FC0001FF8007FC0000FF8007FC0000FFC007FC0000FFC007 FC0000FFC007FC0000FFC007FC0000FFC007FC0000FFC007FC0000FFC007FC0000FFC007FC0000 FFC007FC0000FF8007FC0001FF8007FC0001FF0007FC0001FF0007FC0003FE0007FE0003FE0007 FF0007FC0007FF800FF80007FFF03FE00007FDFFFFC00007FC7FFF000007FC0FF8000007FC0000 000007FC0000000007FC0000000007FC0000000007FC0000000007FC0000000007FC0000000007 FC0000000007FC0000000007FC0000000007FC00000000FFFFE0000000FFFFE0000000FFFFE000 0000FFFFE00000002A307EA030>I<03F81F80FFF87FE0FFF8FFF0FFF9E3F8FFF987FC0FFB87FC 07FB07FC07FF07FC07FE03F807FE01F007FE004007FC000007FC000007FC000007FC000007FC00 0007FC000007FC000007FC000007FC000007FC000007FC000007FC000007FC000007FC000007FC 000007FC000007FC000007FC0000FFFFF000FFFFF000FFFFF000FFFFF0001E217EA023>114 D<00FFC38007FFF7800FFFFF801F807F803E001F807C000F807C000780FC000780FC000780FE00 0780FF800000FFFC00007FFFE0007FFFF8003FFFFC001FFFFE000FFFFF0007FFFF8001FFFFC000 1FFFC000007FE000001FE070000FE0F00007E0F00007E0F80007E0F80007C0FC000FC0FF000F80 FFC03F00FFFFFE00F1FFF800C07FE0001B217DA022>I<003C0000003C0000003C0000003C0000 003C0000007C0000007C0000007C000000FC000000FC000001FC000001FC000003FC000007FC00 001FFFFF00FFFFFF00FFFFFF00FFFFFF0007FC000007FC000007FC000007FC000007FC000007FC 000007FC000007FC000007FC000007FC000007FC000007FC000007FC000007FC000007FC000007 FC000007FC078007FC078007FC078007FC078007FC078007FC078007FC078003FC0F0003FE0F00 01FE1E0000FFFC00007FF800000FE000192F7EAE21>I<01FC0001FC00FFFC00FFFC00FFFC00FF FC00FFFC00FFFC00FFFC00FFFC000FFC000FFC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007FC0007 FC0007FC0007FC0007FC0007FC000FFC0007FC000FFC0007FC001FFC0003FC001FFC0003FC0077 FE0001FF01E7FFE000FFFFC7FFE0003FFF87FFE0000FFE07FFE02B217DA030>I120 D E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 66 156 a Fp(Optimal)25 b(solution)j(for)h(a)g(textile)h(pro)r (duction)f(unit)780 288 y Fo(Dark)o(o)14 b(Zupani)o(\024)-21 b(c)714 347 y(Jo)o(\024)g(zef)15 b(Stefan)g(Institute)577 405 y(Departmen)o(t)g(for)f(In)o(telligen)o(t)j(Systems)553 463 y(Jamo)o(v)m(a)e(39,)f(61000)g(Ljubljana,)i(Slo)o(v)o(enia)377 521 y(Phone:)k(\(+386\)\(61\))13 b(1773778,)g(F)l(ax:)19 b(\(+386\)\(61\))13 b(12581038)646 579 y(E-mail:)20 b(dark)o(o.zupanic@ijs.si)463 637 y(h)o(ttp://www-ai.ijs.si/Dark)o(oZupanic/home.h)o(tml)827 748 y Fn(Abstract)155 832 y Fo(A)f(sc)o(heduling)i(problem)f(can)f(b)q(e)h (describ)q(ed)h(as)e(a)g(set)g(of)g(constrain)o(ts)f(within)j(whic)o(h)f(an) 87 888 y(optimal)g(sc)o(hedule)i(solution)e(m)o(ust)g(b)q(e)g(found.)35 b(Using)20 b(a)g(Constrain)o(t)f(Logic)i(Programming)87 945 y(\(CLP\))10 b(approac)o(h)h(a)g(di\016cult)h(real-life)h(example)f(problem)g (of)e(job)h(sc)o(heduling)j(w)o(as)c(successfully)87 1001 y(solv)o(ed.)26 b(The)17 b(job)g(sc)o(heduling)i(task)e(w)o(as)f(aimed)i(at)e(optimizing)j (pro)q(duction)f(unit)g(sc)o(hedules)87 1058 y(with)d(resp)q(ect)h(to)f (energy)h(consumption.)22 b(The)15 b(optimal)h(problem)h(solution)f(w)o(as)f (obtained)h(b)o(y)87 1114 y(exhaustiv)o(e)f(searc)o(h)g(in)h(a)f(substan)o (tially)h(constrain)o(ted)g(space)f(of)g(admissible)i(solutions.)-35 1264 y Fm(1)67 b(In)n(tro)r(duction)-35 1388 y Fl(Problems)21 b(in)h(v)m(arious)h(application)g(areas)f(can)f(b)q(e)g(form)o(ulated)g(as)h (sc)o(heduling)g(problems.)36 b(Man)o(y)-35 1463 y(e\013orts)18 b(ha)o(v)o(e)g(b)q(een)g(dev)o(oted)f(to)i(\014nding)g(successful)g(and)g (e\016cien)o(t)e(metho)q(ds)i(for)f(solving)i(this)f(t)o(yp)q(e)-35 1537 y(of)h(problems.)35 b(These)20 b(metho)q(ds)h(can)g(b)q(e)g(divided)g (in)o(to)g(t)o(w)o(o)g(classes.)35 b(The)20 b(\014rst)h(class)h(consists)f (of)-35 1612 y(metho)q(ds)e(that)f(ensure)h(the)f(optimalit)o(y)i(of)f (solutions,)i(while)e(the)g(second)f(class)i(includes)f(metho)q(ds)-35 1687 y(that)d(can)h(not)f(guaran)o(tee)h(their)f(optimalit)o(y)l(.)38 1762 y(Sc)o(heduling)k(is)g(among)h(the)e(hardest)h(com)o(binatorial)i (optimization)g(tasks.)31 b(F)l(rom)19 b(the)h(compu-)-35 1836 y(tational)i(complexit)o(y)e(theory)l(,)g(most)g(sc)o(heduling)h(problems)g (are)f(kno)o(wn)g(to)h(b)q(e)f(NP-complete.)32 b(In)-35 1911 y(real-w)o(orld)23 b(pro)q(duction)g(sc)o(heduling,)g(problems)f(are)f (usually)i(sub)s(ject)e(to)h(a)f(n)o(um)o(b)q(er)g(of)h(in)o(teract-)-35 1986 y(ing)e(constrain)o(ts)g(what)f(hardens)h(\014nding)g(high-qualit)o(y)h (solutions.)32 b(Nev)o(ertheless,)18 b(great)i(practical)-35 2060 y(imp)q(ortance)d(mak)o(es)e(sc)o(heduling)j(a)e(p)q(ermanen)o(tly)g (activ)o(e)g(researc)o(h)g(area.)38 2135 y(W)l(e)c(sho)o(w)h(that)g(a)f(sc)o (heduling)i(problem)f(can)f(b)q(e)h(simply)g(describ)q(ed)g(as)g(a)g(set)f (of)h(constrain)o(ts)g(whic)o(h)-35 2210 y(represen)o(t)19 b(an)h(admissible)i(set)e(of)g(sc)o(hedule)g(solutions.)35 b(Constrain)o(t)22 b(Logic)f(Programming)h(\(CLP\))-35 2285 y(approac)o(h)14 b(is)h(one)g(of)f(the)g(most)g(natural)i(and)f(promising)h (w)o(a)o(ys)e(of)g(solving)j(this)e(problem.)20 b(A)14 b(di\016cult)-35 2359 y(real-life)25 b(problem)f(of)f(job)h(sc)o(heduling)h(in)f(a)g(textile)g (compan)o(y)1201 2341 y Fk(1)1243 2359 y Fl(w)o(as)g(successfully)h(solv)o (ed)e(whic)o(h)-35 2434 y(optimizes)e(a)g(pro)q(duction)i(unit)f(sc)o(hedule) e(with)i(resp)q(ect)e(to)i(energy)e(consumption.)36 b(The)21 b(optimal)-35 2509 y(problem)d(solution)j(w)o(as)e(obtained)h(b)o(y)d (exhaustiv)o(e)i(searc)o(h)f(in)h(a)g(substan)o(tially)i(constrain)o(ted)e (space)-35 2583 y(of)d(admissible)i(solutions.)p -35 2617 771 2 v 21 2648 a Fj(1)39 2663 y Fi(The)d(problem)d(is)i(from)e(the)j(textile)f (compan)o(y)e(Julon,)h(Ljubljana,)f(Slo)o(v)o(enia.)p eop %%Page: 2 2 2 1 bop -35 6 a Fm(2)67 b(The)22 b(sc)n(heduling)j(problem)-35 130 y Fl(The)16 b(sc)o(heduling)h(problem)g(describ)q(ed)g(in)g([2])f(is)h (concerned)f(with)h(optimizing)i(energy)d(consumption)-35 205 y(in)f(a)h(pro)q(duction)g(unit)g(of)f(a)g(textile)h(factory)l(.)k(The)15 b(problem)h(can)f(b)q(e)g(divided)h(in)o(to)f(t)o(w)o(o)g(parts.)22 b(First,)-35 280 y(there)17 b(are)i(w)o(ork)f(en)o(vironmen)o(t)g(constrain)o (ts)i(that)f(determine)f(the)g(admissible)i(sc)o(hedule)f(solutions.)-35 354 y(And)h(second,)h(once)f(w)o(e)g(ha)o(v)o(e)f(these)h(admissible)j(sc)o (hedule)d(solutions,)j(w)o(e)d(searc)o(h)g(for)g(an)h(optimal)-35 429 y(sc)o(hedule)16 b(solution)i(according)g(to)e(some)g(optimisation)k (criteria.)-35 571 y Fm(2.1)67 b(The)22 b(w)n(ork)h(en)n(vironmen)n(t)e (constrain)n(ts)-35 677 y Fl(A)16 b(w)o(ork)h(pro)q(cess)h(in)o(v)o(olv)o(es) f(a)h(n)o(um)o(b)q(er)e(of)h(mac)o(hines,)g(eac)o(h)g(ha)o(ving)h(a)f (certain)h(n)o(um)o(b)q(er)e(of)h(startups.)-35 752 y(The)e(execution)g(time) g(of)g(eac)o(h)g(mac)o(hine)f(v)m(aries.)22 b(In)15 b(the)g(textile)g(mac)o (hines)g(sc)o(heduling)h(problem)g([2],)-35 827 y(the)g(w)o(ork)g(pro)q(cess) h(includes)g(15)g(mac)o(hines)f(with)h(the)f(follo)o(wing)j(c)o (haracteristics:)37 927 y Fh(\017)25 b Fl(six)16 b(mac)o(hines)h(with)g(t)o (w)o(o)f(startups)h(and)g(execution)f(time)g(of)h(10)g(hours;)37 1037 y Fh(\017)25 b Fl(t)o(w)o(o)16 b(mac)o(hines)g(with)h(one)f(startup)h (and)g(execution)f(time)g(of)h(10)g(hours;)37 1148 y Fh(\017)25 b Fl(three)15 b(mac)o(hines)h(with)i(three)d(startups)i(and)g(execution)f (time)g(of)h(6)g(hours)g(30)g(min)o(utes;)37 1259 y Fh(\017)25 b Fl(one)16 b(mac)o(hine)g(with)h(t)o(w)o(o)f(startups)h(and)g(execution)f (time)g(of)h(6)g(hours)g(30)g(min)o(utes;)37 1369 y Fh(\017)25 b Fl(t)o(w)o(o)16 b(mac)o(hines)g(with)h(three)f(startups)h(and)g(execution)f (time)g(of)g(5)h(hours)g(30)g(min)o(utes,)f(and)37 1480 y Fh(\017)25 b Fl(one)16 b(mac)o(hine)g(with)h(t)o(w)o(o)f(startups)h(and)g(execution)f (time)g(of)h(5)g(hours)g(30)g(min)o(utes.)38 1579 y(Altogether)d(there)g(are) g(33)h(startups)h(\(jobs)f(to)f(b)q(e)h(sc)o(heduled\).)20 b(Before)13 b(eac)o(h)h(startup,)h(the)f(prepa-)-35 1654 y(ration)j(team)f (has)g(to)h(p)q(erform)f(30)g(min)o(utes)g(of)g(mac)o(hine)g(preparation,)h (whic)o(h)g(is)f(then)g(immediately)-35 1729 y(follo)o(w)o(ed)j(b)o(y)g(the)f (mac)o(hine)h(execution.)29 b(It)18 b(is)i(necessary)e(to)h(consider)h(that)f (only)h(t)o(w)o(o)e(preparation)-35 1804 y(teams)f(are)g(a)o(v)m(ailable)j (at)d(the)g(same)h(time.)24 b(The)17 b(w)o(orking)i(hours)f(for)f(these)g (teams)g(are)h(from)f(6)h(a.m.)-35 1878 y(to)e(10)h(p.m.)-35 2020 y Fm(2.2)67 b(The)22 b(optimisation)i(criteria)-35 2127 y Fl(The)19 b(startup)h(times)f(of)h(mac)o(hines)f(or)h(preparation)h(start)f (times)f(determine)g(the)g(sc)o(hedule)g(for)h(the)-35 2202 y(da)o(y)l(.)38 2276 y(The)g(amoun)o(t)h(of)h(energy)e(used)h(during)h(the)e (executions)h(of)g(mac)o(hines)g(according)h(to)f(a)g(sc)o(hed-)-35 2351 y(ule)e(decides)h(whether)f(the)g(sc)o(hedule)g(is)h(go)q(o)q(d)h(or)f (bad.)31 b(The)20 b(amoun)o(t)f(of)h(energy)f(used)g(is)h(actually)-35 2426 y(calculated)d(only)g(from)f(the)g(amoun)o(t)h(of)f(energy)g(that)h (exceeds)e(the)h(limit)h(\014xed)f(in)h(adv)m(ance.)38 2500 y(Tw)o(o)i(t)o(yp)q(es)g(of)h(data)g(are)f(a)o(v)m(ailable)i(\(sp)q (eci\014ed)f(in)g(the)f(15)h(min)o(ute)f(in)o(terv)m(als\):)28 b(the)19 b(\014xed)g(limit)-35 2575 y(for)c(the)g(energy)g(to)h(b)q(e)g(used) f(and)h(the)f(energy)g(already)i(used)e(b)o(y)g(other)h(mac)o(hines)f(and)h (apparatus)h(in)-35 2650 y(the)e(compan)o(y)l(.)21 b(The)15 b(di\013erence)h(b)q(et)o(w)o(een)f(these)g(t)o(w)o(o)h(n)o(um)o(b)q(ers)f (is)i(the)e(amoun)o(t)h(of)g(energy)g(a)o(v)m(ailable)-35 2725 y(for)f(mac)o(hine)f(executions.)21 b(A)15 b(consumption)h(greater)f(than)g (this)h(a)o(v)m(ailable)h(amoun)o(t)e(of)g(energy)f(is)i(the)-35 2799 y(cost)g(of)h(a)f(sc)o(hedule)g(whic)o(h)h(has)g(to)f(b)q(e)h (minimized.)p eop %%Page: 3 3 3 2 bop -35 6 a Fm(3)67 b(Solving)25 b(the)d(sc)n(heduling)i(problem)c(with)j (CLP)-35 130 y Fl(The)g(sc)o(heduling)h(problem)f(is)h(form)o(ulated)g(and)f (solv)o(ed)h(in)f(the)g(CLP)h(system)f(ECL)1620 112 y Fg(i)1635 130 y Fl(PS)1695 112 y Fg(e)1737 130 y Fl([1])f(and)-35 205 y(executed)14 b(on)j(a)g(Sun)f(Sparc)h(10)g(w)o(orkstation.)38 280 y(In)f(our)h(problem)f(w)o(e)g(ha)o(v)o(e)g(complex)g(relationships)j (that)e(can)g(b)q(e)f(represen)o(ted)f(in)i(a)g(simple)g(w)o(a)o(y)-35 354 y(in)g(CLP)l(.)g(First,)f(basic)i(constrain)o(ts)g(for)e(eac)o(h)g(mac)o (hine)h(are)f(declared,)g(and)i(then)e(preparation)i(team)-35 429 y(constrain)o(ts)f(com)o(bine)f(these)g(to)h(complete)f(the)g(en)o(tire)f (problem)i(de\014nition.)-35 573 y Fm(3.1)67 b(Mac)n(hine)23 b(dep)r(enden)n(t)f(constrain)n(ts)-35 662 y Fl(An)15 b(op)q(eration)k(of)d (a)h(mac)o(hine)f(is)h(form)o(ulated)f(declarativ)o(ely)h(with)g(the)f(follo) o(wing)j(constrain)o(ts:)-35 759 y Ff(operation\()j(PrepStart,)h(PrepEnd,)f (MachineStart,)-12 816 y(MachineEnd,)h(Domain,)g(PrepTime,)f(WorkTime)h(\))h (:-)12 872 y(PrepStart::Domain,)12 929 y(PrepEnd)f(#=)h(PrepStart)e(+)i (PrepTime,)12 985 y(MachineEnd)f(#=)g(MachineStart)g(+)g(WorkTime,)12 1042 y(MachineStart)g(#=)g(PrepEnd.)38 1157 y Fl(The)13 b(ab)q(o)o(v)o(e)h (rule)g(can)g(b)q(e)f(read)h(as)g(follo)o(ws.)22 b(The)14 b Fe(Domain)f Fl(v)m(ariable)j(determines)d(the)g(preparation)-35 1232 y(start)h(time)h(\(it)f(m)o(ust)g(b)q(e)h(b)q(et)o(w)o(een)e(6)i(a.m.)20 b(and)15 b(9:30)g(p.m.\).)k(The)14 b(next)g(constrain)o(t)i(in)e(the)g(ab)q (o)o(v)o(e)h(de-)-35 1307 y(scription)e(sp)q(eci\014es)f(a)h(relation)g(b)q (et)o(w)o(een)e(preparation)j(start)e(time)g Fe(Pr)n(epStart)p Fl(,)g(its)g(end)g(time)g Fe(Pr)n(epEnd)-35 1381 y Fl(and)h(its)i(duration)f Fe(Pr)n(epTime)f Fl(\(relation)i(#=)e(means)g(equation)i(in)e(a)h(\014nite)g (domain\).)21 b(A)13 b(similar)i(con-)-35 1456 y(strain)o(t)h(is)g(de\014ned) f(for)g(mac)o(hine)g(op)q(eration)i(start)f(time)f Fe(MachineStart)p Fl(,)h(its)g(end)f(time)g Fe(MachineEnd)-35 1531 y Fl(and)i(its)h(duration)g Fe(WorkTime)p Fl(.)23 b(The)17 b(last)h(constrain)o(t)g(assures)g(that)g(mac) o(hine)e(op)q(eration)j(starts)f(its)-35 1605 y(execution)e(immediately)g (after)h(its)g(preparation)g(is)h(terminated.)38 1680 y(In)j(the)h(next)g (step,)h(the)f(constrain)o(ts)h(on)f(mac)o(hine)g(op)q(erations)i(are)f (stated.)38 b(F)l(or)23 b(instance,)g(a)-35 1755 y(constrain)o(t)14 b(for)g(a)g(mac)o(hine)g(ha)o(ving)h(t)o(w)o(o)e(startups)i(\(of)f(an)g(op)q (eration\))i(and)e(execution)g(time)f(10)i(hours)-35 1830 y(\(600)i(min)o (utes\))f(is)h(as)g(follo)o(ws)h(\(note)f(that)f(the)g(preparation)i(alw)o(a) o(ys)f(tak)o(es)f(30)h(min)o(utes\):)24 1904 y(.)8 b(.)g(.)-35 1946 y Ff(operation\()22 b(PrepStart1,)g(PrepEnd1,)h(MachineStart1,)f (MachineEnd1,)g(Domain,)h(30,)h(600)f(\),)-35 2002 y(operation\()f (PrepStart2,)g(PrepEnd2,)h(MachineStart2,)f(MachineEnd2,)g(Domain,)h(30,)h (600)f(\),)-35 2059 y(MachineEnd1)f(#<=)h(PrepStart2,)24 2100 y Fl(.)8 b(.)g(.)38 2174 y(The)20 b(constrain)o(t)h Fd(MachineEnd)o(1)i(#<=)h (PrepStart2)17 b Fl(prev)o(en)o(ts)i(o)o(v)o(erlapping)i(b)q(et)o(w)o(een)f (the)f(\014rst)-35 2249 y(and)d(the)g(second)h(op)q(earation.)-35 2393 y Fm(3.2)67 b(Preparation)23 b(teams)d(constrain)n(ts)-35 2500 y Fl(With)h(resp)q(ect)e(to)i(the)f(half-hour)i(time)e(discretisation)j (and)e(the)f(half-hour)i(preparation)f(time)g(for)-35 2575 y(eac)o(h)16 b(mac)o(hine,)g(w)o(e)g(can)h(construct)g(a)g(list)h Fh(L)p Fl(=[360,)f(390,)h(.)8 b(.)g(.)f(,)17 b(1290])h(of)f(start)g(times)g (con)o(taining)h(all)-35 2650 y(p)q(ossible)e(v)m(alues)g(b)q(et)o(w)o(een)e (6)h(a.m.)20 b(and)c(9:30)f(p.m.)20 b(whic)o(h)15 b(determines)g(the)f Fe(domain)h Fl(for)g Fe(pr)n(ep)n(ar)n(ation)-35 2725 y(start)k(times)p Fl(.)29 b(Eac)o(h)19 b(domain)h(v)m(alue)f(can)g(b)q(e)g(used)g(t)o(wice)f (\(according)i(to)f(t)o(w)o(o)g(preparation)h(teams\),)-35 2799 y(whic)o(h)c(is)h(expressed)f(in)h(the)f(follo)o(wing)j(constrain)o(t:)p eop %%Page: 4 4 4 3 bop 24 -31 a Fl(.)8 b(.)g(.)-35 12 y Ff(atmost\()22 b(2,)i(PrepStarts,)e (Val)i(\),)24 53 y Fl(.)8 b(.)g(.)-35 128 y(where)17 b Fe(Pr)n(epStarts)g Fl(is)h(the)f(list)i(of)f(the)f(preparation)i(start)f(times)f(for)h(all)h(op) q(erations)h(and)e Fe(V)l(al)g Fl(is)g(an)-35 203 y(elemen)o(t)d(of)h(the)g (list)i Fh(L)p Fl(.)-35 347 y Fm(3.3)67 b(Searc)n(hing)23 b(for)g(an)f (optimal)h(sc)n(hedule)-35 454 y Fl(The)14 b(strategy)g(of)h(searc)o(hing)g (for)f(an)h(optimal)h(solution)g(strongly)g(dep)q(ends)f(on)f(the)g(size)h (of)f(the)g(searc)o(h)-35 529 y(space.)22 b(If)16 b(the)h(searc)o(h)f(space)h (is)g(manageable,)h(w)o(e)e(can)h(use)f(some)h(en)o(umeration)g(algorithm.)24 b(Other-)-35 604 y(wise,)14 b(w)o(e)f(ha)o(v)o(e)f(to)i(b)q(e)g(satis\014ed)h (with)f(some)f(heuristic)h(searc)o(h)g(algorithm)h(whic)o(h)f(will)h(not)f (necessarily)-35 678 y(pro)o(vide)i(an)h(optimal)h(solution.)-35 823 y Fm(3.3.1)67 b(The)22 b(size)h(of)g(the)f(searc)n(h)g(space)-35 930 y Fl(Considering)i(no)f(constrain)o(ts,)i(the)e(searc)o(h)f(space)g(for)h (the)g(mac)o(hines)f(consists)i(of)f(31)1648 911 y Fk(33)1711 930 y Fh(\031)h Fl(1)p Fc(:)p Fl(64)16 b Fh(\001)-35 1004 y Fl(10)13 986 y Fk(49)70 1004 y Fl(p)q(ossible)22 b(sc)o(hedule)e(com)o (binations)h(\(the)e(31)i(preparation)g(start)f(times)g(for)g(the)f(33)h (startups\).)-35 1079 y(By)h(taking)i(in)o(to)f(accoun)o(t)g(the)g(mac)o (hine)g(dep)q(enden)o(t)f(constrain)o(ts)i(the)f(n)o(um)o(b)q(er)f(of)h(com)o (binations)-35 1154 y(decreases)d(to)h(appro)o(ximately)h(10)616 1136 y Fk(30)654 1154 y Fl(.)32 b(F)l(urthermore,)20 b(the)f(preparation)j (teams)d(constrain)o(ts)j(reduce)-35 1228 y(the)16 b(n)o(um)o(b)q(er)f(of)i (admissible)h(sc)o(hedules)e(to)h(appro)o(ximately)g(10)1160 1210 y Fk(26)1198 1228 y Fl(.)-35 1373 y Fm(3.4)67 b(In)n(telligen)n(t)24 b(en)n(umeration)d(based)i(on)g(depth-\014rst)f(searc)n(h)-35 1480 y Fl(The)g(main)i(p)q(o)o(w)o(er)e(of)h(an)h(in)o(telligen)o(t)g(en)o (umeration)f(is)g(in)h(searc)o(h)e(space)h(pruning.)42 b(Consistency)-35 1554 y(tec)o(hniques)16 b(remo)o(v)o(e)g(inconsisten)o(t)j(v)m(alues)f(from)g (the)f(set)g(of)h(all)h(p)q(ossible)h(v)m(alues)e(for)g(eac)o(h)f(v)m (ariable.)-35 1629 y(The)h(time)h(used)f(for)h(this)h(additional)h(computing) f(is)f(usually)i(insigni\014can)o(t)g(in)e(comparison)h(to)f(the)-35 1704 y(time)14 b(sa)o(v)o(ed)h(b)o(y)f(searc)o(hing)i(the)f(reduced)f(searc)o (h)h(space.)21 b(The)15 b(v)m(ariable)i(selection)e(order)g(also)i(greatly) -35 1779 y(in\015uences)22 b(the)f(reduction)i(of)f(the)g(searc)o(h)f(space.) 39 b(All)22 b(suc)o(h)g(and)g(similar)i(tec)o(hniques)d([5])h(try)f(to)-35 1853 y(prev)o(en)o(t)14 b(inconsistency)k(whic)o(h)e(w)o(ould)h(come)f(out)h (in)g(later)f(steps)h(of)g(the)f(solution)i(construction.)38 1928 y(On)13 b(the)h(other)g(hand,)g(b)o(y)f(considering)j(a)e(cost)g (function)g(w)o(e)g(prev)o(en)o(t)e(the)h(construction)i(of)f(a)g(solu-)-35 2003 y(tion)i(w)o(orse)g(than)h(the)e(one)h(w)o(e)g(ha)o(v)o(e)f(already)h (got)h(\(of)f(course)g(these)f(tec)o(hniques)g(can)h(also)i(eliminate)-35 2077 y(p)q(oten)o(tially)i(inconsisten)o(t)f(solutions)i(whic)o(h)d(w)o(ere,) f(for)i(an)o(y)f(reason,)g(not)h(detected)e(b)o(y)g(consistency)-35 2152 y(tec)o(hniques\).)23 b(Dep)q(ending)18 b(on)g(the)f(time)g(when)g(cost) h(is)g(tak)o(en)e(in)o(to)i(accoun)o(t,)f(the)g(reduction)h(of)f(the)-35 2227 y(searc)o(h)f(space)g(will)i(b)q(e)e(more)g(or)h(less)g(successful)g([7) o(,)f(8)q(,)f(9)q(].)38 2302 y(If)i(the)h(cost)g(function)h(is)g(ev)m (aluated)g(after)e(an)i(admissible)h(solution)g(is)f(found,)f(all)i(w)o(e)d (can)i(do)f(is)-35 2376 y(to)f(state)h(the)f(fact)h(that)g(the)f(cost)h(of)f (this)i(solution)g(is)g(b)q(etter)e(or)h(w)o(orse)f(than)h(the)g(b)q(est)f (solution)j(so)-35 2451 y(far.)30 b(This)20 b(is)g(the)f(simplest)h(w)o(a)o (y)f(to)g(\014nd)h(an)g(optimal)g(solution.)33 b(In)18 b(suc)o(h)h(case)h (there)e(is)i(no)g(space)-35 2526 y(pruning)d(done)g(as)g(caused)f(b)o(y)g (the)g(cost)g(information.)38 2601 y(Muc)o(h)g(b)q(etter)h(results)h(can)g(b) q(e)f(obtained)i(b)o(y)e(ev)m(aluating)i(the)e(cost)h(function)g(after)f(eac) o(h)g(step)g(of)-35 2675 y(a)g(solution)i(construction.)k(As)17 b(so)q(on)h(as)f(the)g(cost)g(of)g(the)f(partial)j(solution)g(exceeds)d(the)g (cost)h(of)g(the)-35 2750 y(b)q(est)f(solution)j(so)e(far)f(the)g (construction)h(of)g(the)f(next)g(solution)i(can)f(tak)o(e)e(place.)p eop %%Page: 5 5 5 4 bop 38 6 a Fl(Other,)24 b(more)e(sophisticated)j(tec)o(hniques)e(for)g (pruning)h(the)f(searc)o(h)f(space)i(can)f(b)q(e)g(based)g(on)-35 81 y(optimalit)o(y)f(\014lters)f([4].)35 b(The)21 b(optimalit)o(y)h (\014lters)g(co)o(v)o(er)d(tec)o(hniques)i(that)g(eliminate)h(parts)g(of)f (the)-35 156 y(searc)o(h)f(space)h(on)h(the)f(basis)h(of)g(a)f(cost)h (information.)37 b(T)o(ypically)l(,)23 b(the)e(computation)h(of)g(the)e(cost) -35 230 y(information)c(is)g(exp)q(ensiv)o(e.)k(In)15 b(practice,)f(appro)o (ximations)j(to)e(ideal)i(an)e(optimalit)o(y)h(\014lter)f(are)g(used.)-35 375 y Fm(3.4.1)67 b(Description)23 b(of)g(the)f(in)n(telligen)n(t)j(en)n (umeration)c(metho)r(d)-35 482 y Fl(Our)15 b(in)o(telligen)o(t)i(en)o (umeration)e(metho)q(d)h(uses)f(the)h(depth-\014rst)f(searc)o(h)g(strategy)l (.)22 b(The)15 b(idea)h(is)g(based)-35 556 y(on)j(the)g(ev)m(aluation)i(of)e (a)h(cost)f(function)h(after)f(eac)o(h)f(step)i(of)f(the)g(solution)i (construction.)31 b(Instead)-35 631 y(of)19 b(comparing)i(only)f(the)f(cost)h (of)f(a)h(partial)h(solution)h(to)e(the)f(cost)g(of)h(the)f(b)q(est)h (solution)h(so)f(far,)g(a)-35 706 y(predicted)f(cost)h(of)g(the)f(rest)g(of)h (the)g(solution)h(is)g(added)f(to)g(the)f(cost)h(of)g(a)g(partial)h (solution.)34 b(This)-35 780 y(part)18 b(of)g(the)g(metho)q(d)g(is)h(similar) h(to)e(ID)o(A*)f([3].)26 b(The)18 b(main)h(di\013erence)e(is)i(in)g (enlarging)h(the)e(step)f(of)-35 855 y(the)f(f-limit)h(and)g(therefore)f(the) g(b)q(est)g(solution)j(so)e(far)f(is)h(also)h(tak)o(en)e(in)o(to)h(accoun)o (t.)38 930 y(The)g(predicted)f(cost)h(is)h(computed)e(from)h(the)f(costs)i (of)f(eac)o(h)f(part)h(of)g(the)g(solution)i(gathered)e(in)-35 1005 y(the)f(\014rst)g(phase)h(of)f(the)g(metho)q(d.)38 1079 y(Eac)o(h)k(v)m(ariable)i Fc(X)390 1086 y Fg(i)426 1079 y Fl(\()p Fc(i)e Fl(=)h(1)p Fc(;)8 b Fl(2)p Fc(;)g(:::;)g(n)p Fl(\),)21 b(whic)o(h)f(determines)g(an)h(op)q(eration)i(startup)e(time,)g(has)g(a)-35 1154 y(domain)d Fc(D)179 1161 y Fg(i)211 1154 y Fl(and)f(attac)o(hed)g (constrain)o(ts)i Fc(C)791 1161 y Fg(i)805 1154 y Fl(.)k(F)l(or)18 b(eac)o(h)e(of)i(the)f(v)m(ariables')h(v)m(alues)g(w)o(e)f(can)g(compute)-35 1229 y(the)f(con)o(tribution)h(to)g(the)f(cost:)410 1360 y Fc(C)t(ost)513 1367 y Fg(ij)557 1360 y Fl(=)d Fc(C)t(ost)p Fl(\()p Fc(i;)8 b(v)r(al)836 1367 y Fg(j)852 1360 y Fl(\);)16 b Fc(v)r(al)968 1367 y Fg(j)998 1360 y Fh(2)e Fc(D)1085 1367 y Fg(i)1116 1360 y Fl(according)k(to)e Fc(C)1430 1367 y Fg(i)-35 1490 y Fl(where)d Fc(C)t(ost)p Fl(\()p Fc(i;)8 b(v)r(al)331 1497 y Fg(j)347 1490 y Fl(\))14 b(is)h(the)e(amoun)o(t)h(of)h(energy)e(used)h (b)o(y)g(op)q(eration)i Fc(i)d Fl(with)i(preparation)g(start)g(time)-35 1565 y Fc(v)r(al)32 1572 y Fg(j)48 1565 y Fl(.)29 b(Only)19 b(the)f(minimal)i(cost)f(of)g(eac)o(h)f(op)q(eration)j(is)e(imp)q(ortan)o(t)h (b)q(ecause)f(it)g(represen)o(ts)f(a)h(lo)o(w)o(er)-35 1640 y(b)q(ound)e(of)g(energy)e(that)i(will)h(b)q(e)f(used.)k(F)l(rom)641 1771 y Fh(8)p Fc(i;)8 b(j)15 b Fl(:)f Fc(C)t(ost)875 1778 y Fg(i)902 1771 y Fl(=)g Fc(min)p Fl(\()p Fc(C)t(ost)1165 1778 y Fg(ij)1194 1771 y Fl(\))-35 1845 y(w)o(e)h(get)538 1920 y Fc(C)t(ostI)t(nf)5 b(o)13 b Fl(=)h([)p Fc(C)t(ost)930 1927 y Fk(1)949 1920 y Fc(;)8 b(C)t(ost)1074 1927 y Fk(2)1093 1920 y Fc(;)g(:::;)g(C)t(ost)1282 1927 y Fg(n)1303 1920 y Fl(])38 2051 y(Actually)l(,)k(w)o(e)g(get)f(the)h(minimal)h(costs)f(of)g(eac)o(h)g (op)q(eration)h(as)g(it)f(w)o(ere)f(the)g(only)i(one)f(in)g(a)g(sc)o(hedule.) -35 2125 y(Therefore)j(the)h(optimal)h(cost)f(of)g(the)g(sc)o(hedule)f(can)h (not)g(b)q(e)g(less)h(than)f(the)g(sum)g(of)g(the)1648 2092 y Fb(P)1692 2105 y Fg(n)1692 2138 y(i)p Fk(=1)1760 2125 y Fc(C)t(ost)1863 2132 y Fg(i)1876 2125 y Fl(.)38 2200 y(On)22 b(the)g(other)g(hand,)i(w)o(e)d (can)h(also)i(ev)m(aluate)f(the)f(maximal)h(con)o(tribution)g(to)g(the)f (cost)g(of)g(a)-35 2275 y(sc)o(hedule.)27 b(The)18 b(steps)g(are)h(the)f (same)g(as)h(ab)q(o)o(v)o(e)f(except)f(that)i(w)o(e)e(tak)o(e)h(the)g(w)o (orst)h(case)f(whic)o(h)h(can)-35 2350 y(happ)q(en.)36 b(That)22 b(means,)g(while)g(at)f(the)g(minimal)i(cost)e(con)o(tribution)h(for)g(a)f (particular)i(op)q(eration)-35 2424 y(w)o(e)d(assume)i(that)g(no)f(other)h (mac)o(hine)f(will)i(p)q(erform)e(op)q(eration)i(concurren)o(t)e(to)g(this)h (one,)g(at)g(the)-35 2499 y(maximal)f(cost)g(con)o(tribution)h(w)o(e)e (assume)g(that)h(all)h(other)f(mac)o(hines)f(will)i(p)q(erform)f(an)g(op)q (eration)-35 2574 y(concurren)o(t)15 b(to)i(this)g(one.)38 2648 y(F)l(or)h(the)g(v)m(ariables)i(that)e(ha)o(v)o(e)g(the)g(same)g (minimal)h(and)g(maximal)g(con)o(tribution)h(cost)e(w)o(e)g(ha)o(v)o(e)-35 2723 y(already)e(got)g(its)g(actual)h(con)o(tribution)g(cost.)k(Therefore)15 b(w)o(e)g(can)h(exclude)f(it)h(from)g(the)f Fe(lab)n(eling)i Fl(part)-35 2798 y(of)f(the)g(solving)i(problem.)p eop %%Page: 6 6 6 5 bop 38 6 a Fl(The)23 b Fc(i)162 -12 y Fg(th)220 6 y Fl(solution)j (construction)f(step)e(is)h(comp)q(osed)g(b)o(y)f(selecting)i(the)e(v)m (ariable)i Fc(X)1698 13 y Fg(i)1736 6 y Fl(and)f(its)-35 81 y(asso)q(ciated)18 b(minimal)f(cost)g Fc(C)t(ost)590 88 y Fg(i)604 81 y Fl(.)k(If)16 b(the)g(condition)-35 212 y Fc(P)7 b(ar)q(tC)t(ost)j Fl(+)h Fc(C)t(ost)335 219 y Fg(ij)376 212 y Fl(+)425 178 y Fb(P)469 192 y Fg(n)469 224 y(k)q Fk(=)p Fg(i)p Fk(+1)583 212 y Fc(C)t(ost)686 219 y Fg(k)720 212 y Fc(<)j(M)5 b(inC)t(ost)854 b Fl(\(1\))-35 342 y(where)14 b Fc(P)7 b(ar)q(tC)t(ost)13 b Fl(is)i(the)f(cost)h(of)g(the)f(partial)i(solution,)g Fc(M)5 b(inC)t(ost)14 b Fl(is)h(the)g(cost)f(of)h(the)f(b)q(est)g(solution)-35 417 y(so)j(far,)g(sum)f(is)i(the)f(prediction)g(for)g(the)g(cost)g(of)g(the)g (rest)f(of)h(the)g(solution,)i(is)e(sati\014ed)h(the)e(solution)-35 492 y(construction)e(can)f(con)o(tin)o(ue.)20 b(The)14 b(successful)f (construction)i(of)e(the)g(solution)j(ensures)d(the)g(curren)o(tly)-35 567 y(b)q(est)j(cost.)21 b(Actually)l(,)16 b(instead)h(of)f(the)g(sequen)o (tial)h(selection)f(of)h(v)m(ariable)g Fc(X)1405 574 y Fg(i)1436 567 y Fl(the)e Fe(\014rst)i(fail)h(principle)-35 641 y Fl(is)f(used.)38 716 y(A)o(tten)o(tion)f(m)o(ust)g(b)q(e)h(paid)g(to)g(the)f(fact)h(that)g (the)f(cost)h(function)g(has)g(to)g(b)q(e)g(form)o(ulated)g(in)g(suc)o(h)-35 791 y(a)h(w)o(a)o(y)g(that)h(the)f(actual)h(cost)g(con)o(tribution)h(of)e (the)h(v)m(ariable)g(is)h(alw)o(a)o(ys)f(greater)f(than)h(or)g(equal)f(to)-35 865 y(the)f(cost)g(of)h(the)f(separately)h(assigned)h(v)m(ariable)g(\()p Fc(C)t(ost)1026 872 y Fg(i)1039 865 y Fl(\).)25 b(In)17 b(other)g(w)o(ords,)h (the)f(cost)g(con)o(tribution)-35 940 y(of)d(an)o(y)h(com)o(bination)h(of)f (assigned)h(v)m(ariables)g(is)g(greater)e(than)h(or)g(equal)g(to)g(the)g(sum) f(of)h(the)f(minimal)-35 1015 y(costs)k(of)g(eac)o(h)g(v)m(ariable)h(alone)g (\(the)f(prop)q(ert)o(y)f(merge)h([6])f(m)o(ust)h(hold\).)27 b(This)19 b(prop)q(ert)o(y)f(assures)g(us)-35 1090 y(that)e(after)g (exploring)i(the)e(searc)o(h)g(space)g(w)o(e)g(get)h(an)f(optimal)i(solution) h(of)d(a)h(problem.)-35 1234 y Fm(3.4.2)67 b(Generalization)23 b(of)h(the)e(in)n(telligen)n(t)i(en)n(umeration)d(metho)r(d)-35 1341 y Fl(The)14 b(e\016ciency)f(of)i(searc)o(h)f(space)h(pruning)h(with)f (the)f(in)o(telligen)o(t)i(en)o(umeration)f(metho)q(d)f(dep)q(ends)h(on)-35 1416 y(the)k(di\013erence)h(b)q(et)o(w)o(een)f(the)h(predicted)f(cost)i(and)f (the)g(actual)h(cost)f(of)g(the)g(solution)i(parts.)33 b(The)-35 1490 y(di\013erence)18 b(can)g(b)q(e)h(minimized)f(b)o(y)g(in)o(tro)q(ducing) i(additional)i(lev)o(els)c(b)q(et)o(w)o(een)f(single)j(v)m(ariables)g(and)-35 1565 y(all)c(v)m(ariables)h(at)f(once.)k(Therefore,)15 b(the)g(comp)q (osition)i(of)f(the)f(v)m(ariables)i(in)o(to)e(groups)i(is)f(in)o(tro)q (duced.)-35 1640 y(These)g(groups)h(can)g(b)q(e)f(further)g(comp)q(osed)h(in) o(to)g(next)e(lev)o(el)h(groups)i(and)f(so)g(on.)38 1714 y(The)f(tree)g (structure)g(of)h(the)g(groups)g(is)h(used)e(for)h(gathering)h(the)f(cost)g (information.)24 b(The)16 b(lea)o(v)o(es)-35 1789 y(are)i(starting)i(p)q(oin) o(ts)g(for)e(the)g(cost)h(information)h(accum)o(ulation.)29 b(The)18 b(en)o(umeration)h(is)g(p)q(erformed)-35 1864 y(on)d(ev)o(ery)f (group)i(and)f(the)g(cost)g(information)i(is)f(accum)o(ulated)f(at)h(the)f (higher)g(lev)o(el.)21 b(This)d(pro)q(ceeds)-35 1939 y(to)e(the)f(top)h(lev)o (el)g(where)f(all)i(v)m(ariables)h(at)e(once)f(are)h(en)o(umerated)f(and)h (the)f(whole)i(cost)f(information)-35 2013 y(is)h(considered.)38 2088 y(W)l(e)f(can)g(illustrate)i(this)f(with)h(the)e(follo)o(wing)i (example.)j(P)o(ossible)d(groups)g(of)e(v)m(ariables)i(are:)539 2219 y([[)p Fc(X)607 2226 y Fk(1)627 2219 y Fc(;)8 b(X)689 2226 y Fk(2)709 2219 y Fc(;)g(:::;)g(X)835 2226 y Fg(k)855 2219 y Fl(])p Fc(;)g Fl([)p Fc(X)945 2226 y Fg(k)q Fk(+1)1011 2219 y Fc(;)g(X)1073 2226 y Fg(k)q Fk(+2)1140 2219 y Fc(;)g(:::;)g(X)1266 2226 y Fg(n)1288 2219 y Fl(]])38 2350 y(The)16 b(next)g(step)g(is)h(the)f (decomp)q(osition:)508 2480 y([)p Fc(X)562 2487 y Fk(1)582 2480 y Fc(;)8 b(X)644 2487 y Fk(2)664 2480 y Fc(;)g(:::;)g(X)790 2487 y Fg(k)810 2480 y Fl(])16 b(and)h([)p Fc(X)989 2487 y Fg(k)q Fk(+1)1055 2480 y Fc(;)8 b(X)1117 2487 y Fg(k)q Fk(+2)1184 2480 y Fc(;)g(:::;)g(X)1310 2487 y Fg(n)1332 2480 y Fl(])38 2611 y(The)j(in)o(telligen)o(t)i(en)o(umeration)f(metho)q(d)g(is)h(executed)d (on)i(eac)o(h)f(group.)21 b(This)13 b(results)f(in)g(a)g(minimal)-35 2686 y(costs)20 b(for)g(eac)o(h)f(group.)32 b(These)20 b(costs)g(are)g(the)f (additional)k(information)e(to)f(the)g(cost)g(information)-35 2761 y(already)d(con)o(taining)h(the)e(minimal)h(costs)g(for)g(eac)o(h)e(v)m (ariable)j(separately)l(.)p eop %%Page: 7 7 7 6 bop 38 6 a Fl(After)15 b(the)h(cost)h(information)h(has)f(b)q(een)f (gathered,)g(b)q(oth)h(groups)h(are)e(joined)h(in)o(to)g(a)f(single)i(list:) 567 137 y([)p Fc(X)621 144 y Fk(1)640 137 y Fc(;)8 b(X)702 144 y Fk(2)722 137 y Fc(;)g(:::;)g(X)848 144 y Fg(k)868 137 y Fc(;)g(X)930 144 y Fg(k)q Fk(+1)997 137 y Fc(;)g(X)1059 144 y Fg(k)q Fk(+2)1126 137 y Fc(;)g(:::;)g(X)1252 144 y Fg(n)1274 137 y Fl(])38 268 y(F)l(rom)19 b(here)h(on)g(the)g(pro)q(cedure)g(is)h(the)e (same)h(as)h(so)f(far.)33 b(The)20 b(en)o(umeration)g(for)g(all)i(v)m (ariables)-35 342 y(tak)o(es)15 b(place.)22 b(The)16 b(adv)m(an)o(tage)i(is)f (in)g(the)f(fact)g(that)h(the)f(follo)o(wing)i(expressions)g(hold:)660 440 y Fb(P)704 453 y Fg(k)704 485 y(i)p Fk(=1)771 473 y Fc(C)t(ost)874 480 y Fg(i)902 473 y Fh(\024)c Fc(M)5 b(inC)t(ost)1156 480 y Fk(1)p Fg(k)-35 548 y Fl(and)635 589 y Fb(P)679 602 y Fg(n)679 635 y(i)p Fk(=)p Fg(k)q Fk(+1)793 623 y Fc(C)t(ost)896 630 y Fg(i)923 623 y Fh(\024)14 b Fc(M)5 b(inC)t(ost)1177 630 y Fg(k)q(n)-35 753 y Fl(where)18 b Fc(M)5 b(inC)t(ost)309 760 y Fk(1)p Fg(k)366 753 y Fl(and)19 b Fc(M)5 b(inC)t(ost)664 760 y Fg(k)q(n)725 753 y Fl(are)18 b(the)h(minimal)h(costs)f(of)f(eac)o(h)g (group.)29 b(Using)20 b(the)e(group)-35 828 y(costs)e(in)h(the)f(sum)g(from)h (\(1\))f(con)o(tributes)h(to)f(b)q(etter)g(space)h(pruning.)38 903 y(W)l(e)24 b(ha)o(v)o(e)f(to)i(p)q(oin)o(t)h(out)e(that)h(the)f(sums)h (in)g(\(1\))g(are)f(stated)h(as)g(constrain)o(ts)g(and)g(that)g(the)-35 977 y(propagation)18 b(tak)o(es)e(care)g(that)g(the)g(condition)i(is)e(prop)q (erly)h(ev)m(aluated.)22 b(Let)16 b(us)h(sho)o(w)f(this)h(with)g(the)-35 1052 y(follo)o(wing)i(example.)i(W)l(e)15 b(ha)o(v)o(e)h(sev)o(en)f(v)m (ariables)j(separated)f(in)o(to)g(t)o(w)o(o)f(groups:)610 1183 y([[)p Fc(X)678 1190 y Fk(1)698 1183 y Fc(;)8 b(X)760 1190 y Fk(2)780 1183 y Fc(;)g(X)842 1190 y Fk(3)862 1183 y Fl(])p Fc(;)g Fl([)p Fc(X)952 1190 y Fk(4)971 1183 y Fc(;)g(X)1033 1190 y Fk(5)1053 1183 y Fc(;)g(X)1115 1190 y Fk(6)1135 1183 y Fc(;)g(X)1197 1190 y Fk(7)1217 1183 y Fl(]])-35 1314 y(After)15 b(the)h(gathering)i(phase)e(w)o(e)g(got,)h(for)f(instance,)h(the)f(follo)o (wing)j(minimal)e(costs:)675 1444 y([[10)p Fc(;)8 b Fl(15)p Fc(;)g Fl(9])p Fc(;)g Fl([38)p Fc(;)g Fl(42)p Fc(;)g Fl(17)p Fc(;)g Fl(5]])-35 1575 y(In)14 b(addition,)i(w)o(e)e(got)h(the)f(minimal)i (costs)f(for)f(eac)o(h)g(group)h(\(for)g(instance)g(37)g(and)g(105)h(resp)q (ectiv)o(ely\).)-35 1650 y(The)j(constrain)o(ts)j(whic)o(h)e(are)g(generated) g(during)h(the)e(gathering)j(phase)e(and)h(whic)o(h)f(result)g(in)h(the)-35 1725 y(pruning)c(of)g(the)f(searc)o(h)g(space)g(are)g(the)g(follo)o(wing:)38 1855 y Fc(C)73 1862 y Fk(1)106 1855 y Fh(\025)e Fl(10)p Fc(;)8 b(C)264 1862 y Fk(2)298 1855 y Fh(\025)13 b Fl(15)p Fc(;)8 b(C)455 1862 y Fk(3)489 1855 y Fh(\025)14 b Fl(9)p Fc(;)8 b(C)623 1862 y Fk(4)657 1855 y Fh(\025)13 b Fl(38)p Fc(;)8 b(C)814 1862 y Fk(5)848 1855 y Fh(\025)14 b Fl(42)p Fc(;)8 b(C)1006 1862 y Fk(6)1040 1855 y Fh(\025)14 b Fl(17)p Fc(;)8 b(C)1198 1862 y Fk(7)1232 1855 y Fh(\025)13 b Fl(5)38 1930 y Fc(C)73 1937 y Fk(1)103 1930 y Fl(+)e Fc(C)187 1937 y Fk(2)218 1930 y Fl(+)g Fc(C)302 1937 y Fk(3)336 1930 y Fl(=)i Fc(C)422 1937 y Fk(1)p Fa(\000)p Fk(3)487 1930 y Fc(;)8 b(C)544 1937 y Fk(1)p Fa(\000)p Fk(3)622 1930 y Fh(\025)14 b Fl(37)38 2005 y Fc(C)73 2012 y Fk(4)103 2005 y Fl(+)d Fc(C)187 2012 y Fk(5)218 2005 y Fl(+)g Fc(C)302 2012 y Fk(6)333 2005 y Fl(+)g Fc(C)417 2012 y Fk(7)450 2005 y Fl(=)j Fc(C)537 2012 y Fk(4)p Fa(\000)p Fk(7)602 2005 y Fc(;)8 b(C)659 2012 y Fk(4)p Fa(\000)p Fk(7)737 2005 y Fh(\025)14 b Fl(105)38 2080 y Fc(C)73 2087 y Fk(1)p Fa(\000)p Fk(3)148 2080 y Fl(+)e Fc(C)233 2087 y Fk(4)p Fa(\000)p Fk(7)311 2080 y Fc(<)i(M)5 b(inC)t(ost)38 2210 y Fl(The)16 b(last)h(assumption)h(w)o (e)e(mak)o(e)f(is)i(the)f(v)m(alue)h(of)g(the)f(b)q(est)g(solution)j(so)e (far)f(\()p Fc(M)5 b(inC)t(ost)p Fl(\))16 b(w)o(e)g(al-)-35 2285 y(ready)c(got)i(in)g(the)e(en)o(umeration)h(phase,)h(sa)o(y)f(145.)21 b(No)o(w,)13 b(the)g(algorithm)i(will)g(start)e(the)g(construction)-35 2360 y(of)k(the)h(next)f(solution.)27 b(If)17 b(it,)h(b)o(y)f(the)g(\014rst)h (fail)h(principle,)f(\014rst)g(selects)g(the)f(v)m(ariable)i Fc(X)1659 2367 y Fk(4)1679 2360 y Fl(,)f(its)g(v)m(alue)-35 2435 y Fc(j)i Fl(and)e(it)g(turns)g(out)g(that)g(the)f Fc(C)t(ost)663 2442 y Fg(ij)711 2435 y Fl(from)g(\(1\))h(is)g(greater)g(than)g(43,)g(the)g (further)f(construction)h(of)-35 2509 y(this)h(solution)i(will)f(b)q(e)e (prev)o(en)o(ted)f(\(according)j(to)f(the)f(ab)q(o)o(v)o(e)g(constrain)o (ts\).)29 b(This)20 b(example)e(sho)o(ws)-35 2584 y(us)e(that)h(non-prosp)q (ectiv)o(e)g(solutions)i(can)d(b)q(e)h(detected)e(v)o(ery)g(early)l(.)38 2659 y(While)22 b(the)g(gathering)h(of)f(the)f(cost)h(information)i(of)e (single)h(v)m(ariables)h(is)e(not)g(critical,)i(it)f(can)-35 2733 y(b)q(ecome)14 b(critical)i(when)e(the)h(v)m(ariables)h(are)f(group)q (ed.)22 b(The)14 b(success)h(of)g(the)f(metho)q(d)h(dep)q(ends)g(on)g(the)p eop %%Page: 8 8 8 7 bop -35 6 a Fl(selection)17 b(of)g(v)m(ariables)i(b)q(eing)f(in)f(the)f (same)h(group.)24 b(The)16 b(groups)i(m)o(ust)f(b)q(e)g(comp)q(osed)g(of)g(v) m(ariables)-35 81 y(or)j(of)g(subgroups)h(whic)o(h)g(bring)g(the)e(b)q(est)h (information)i(to)e(the)g(upp)q(er)g(lev)o(el.)32 b(Usually)l(,)21 b(there)f(is)g(a)-35 156 y(p)q(oin)o(t)c(where)g(the)f(dra)o(wbac)o(k)g(of)h (the)g(time)f(sp)q(en)o(t)h(for)g(gathering)h(the)e(cost)h(information)i (exceeds)c(the)-35 230 y(gain)j(that)g(comes)f(out)h(of)f(the)g(space)g (reduction.)-35 380 y Fm(4)67 b(Results)-35 504 y Fl(Using)18 b(constrain)o(ts,)h(w)o(e)e(ha)o(v)o(e)g(succeeded)g(to)h(reduce)e(the)i(en)o (tire)f(searc)o(h)g(space)h(from)g(10)1667 486 y Fk(49)1723 504 y Fl(p)q(ossible)-35 579 y(solutions)g(to)e(10)275 561 y Fk(5)311 579 y Fl(admissible)i(solutions.)24 b(The)15 b(optimal)j(result)e (of)g(560)h(kWh)f(energy)f(o)o(v)o(er)g(the)g(\014xed)-35 654 y(limit)e(is)g(b)q(etter)e(than)i(the)f(curren)o(tly)f(b)q(est)h(kno)o(wn)h (result)f(obtained)h(b)o(y)f(genetic)g(algorithm)i(whic)o(h)e(w)o(as)-35 728 y(590)17 b(kWh)e([2].)21 b(Hand-made)16 b(sc)o(hedules)g(are)g (additionally)j(25\045)d(w)o(orse)g(than)g(the)g(genetic)g(algorithm)-35 803 y(solution.)38 878 y(In)e(the)h(\014rst)g(place,)g(the)f(en)o(umeration)h (metho)q(d)g(did)h(not)f(use)g(an)o(y)f(additional)k(information.)23 b(The)-35 952 y(construction)15 b(of)f(a)h(solution)h(w)o(as)f(stopp)q(ed)g (only)g(if)g(its)f(cost)h(exceeded)d(the)i(cost)h(of)f(the)g(b)q(est)g (solution)-35 1027 y(so)j(far.)22 b(After)15 b(t)o(w)o(elv)o(e)g(hours)i(w)o (e)f(in)o(terrupted)h(the)f(test.)21 b(The)c(en)o(umeration)f(metho)q(d)h(co) o(v)o(ered)1803 1008 y Fk(1)p 1794 1016 36 2 v 1794 1044 a(64)1850 1027 y Fl(of)-35 1102 y(the)h(searc)o(h)g(space)h(\(the)f(domain)i(sizes)f (of)g(the)f(three)g(not)h(en)o(umerated)e(v)m(ariables)k(had)e(four)g(v)m (alues)-35 1177 y(eac)o(h\).)h(It)c(w)o(as)h(v)o(ery)d(hard,)j(at)f(that)h(p) q(oin)o(t,)g(to)f(estimate)g(the)g(actual)h(time)f(needed)g(for)g(co)o(v)o (ering)g(the)-35 1251 y(whole)h(searc)o(h)f(space,)g(nev)o(ertheless)f(w)o(e) h(can)g(conclude)h(that)g(this)g(trial)g(failed.)38 1326 y(The)g(second)h (part)g(of)g(our)f(exp)q(erimen)o(t)g(used)h(the)f(in)o(telligen)o(t)i(en)o (umeration)e(metho)q(d.)25 b(After)17 b(17)-35 1401 y(seconds)f(of)h (gathering)h(the)e(cost)g(information)i(the)e(whole)h(en)o(umeration)g(pro)q (cess)g(to)q(ok)g(9)g(hours.)38 1475 y(Finally)l(,)24 b(w)o(e)e(group)q(ed)h (the)e(v)m(ariables)j(on)e(t)o(w)o(o)g(lev)o(els.)38 b(On)22 b(the)g(\014rst)g(lev)o(el,)h(the)e(groups)j(w)o(ere)-35 1550 y(formed)18 b(b)o(y)g(the)g(startups)i(of)f(eac)o(h)f(mac)o(hine)h(\(some)f (mac)o(hines)h(ha)o(v)o(e)f(more)g(than)h(one)g(startup)h(p)q(er)-35 1625 y(da)o(y\).)f(Next,)12 b(the)g(same)g(t)o(yp)q(e)g(of)h(the)f(mac)o (hines)g(formed)g(the)g(second)h(lev)o(el)f(of)h(groups.)21 b(The)12 b(gathering)-35 1700 y(of)k(the)h(cost)g(information)h(to)q(ok)g (616)g(seconds.)k(With)c(the)e(assistance)i(of)f(this)h(cost)e(information)j (the)-35 1774 y(time)d(of)g(the)g(en)o(umeration)h(w)o(as)f(reduced)g(to)h (87)g(seconds)f(\(altogether)i(703)f(seconds\).)-35 1924 y Fm(5)67 b(Conclusion)-35 2048 y Fl(W)l(e)22 b(ha)o(v)o(e)g(solv)o(ed)h(a)g (sc)o(heduling)h(problem)f(for)f(a)i(di\016cult)f(real-life)h(domain.)41 b(One)23 b(of)g(our)g(goals)-35 2123 y(w)o(as)d(to)g(sho)o(w)g(that)h(using)g (a)f(CLP)h(approac)o(h)f(mak)o(es)f(it)h(p)q(ossible)i(to)f(ac)o(hiev)o(e)d (a)j(simple)f(and)h(clear)-35 2198 y(represen)o(tation)13 b(of)h(the)e (problem)i(with)g(the)f(use)g(of)h(constrain)o(ts.)21 b(In)13 b(other)g(w)o(ords,)h(w)o(e)f(ha)o(v)o(e)f(managed)-35 2272 y(to)g(de\014ne)f(the)g(problem)h(v)o(ery)f(quic)o(kly)g(excluding)h(almost)h (ev)o(ery)d(p)q(ossibili)q(t)o(y)k(of)e(committing)g(an)g(error.)38 2347 y(The)17 b(main)h(goal)h(w)o(as)f(\014nding)g(the)f(solution)j(of)d(the) h(problem.)24 b(The)18 b(com)o(binatorial)h(complexit)o(y)-35 2422 y(asso)q(ciated)h(with)f(the)f(size)g(of)g(the)g(searc)o(h)g(spaces)h (often)f(b)q(ecomes)g(critical.)28 b(If)18 b(the)g(size)g(of)g(a)h(prob-)-35 2497 y(lem)g(exceeds)f(its)j(manageable)g(size,)f(w)o(e)f(ha)o(v)o(e)g(to)h (b)q(e)f(satis\014ed)i(with)g(one)e(of)h(the)g(heuristic)g(searc)o(h)-35 2571 y(algorithms)h(whic)o(h)e(will)h(not)g(necessarily)f(pro)o(vide)g(an)h (optimal)g(solution.)31 b(Ho)o(w)o(ev)o(er,)17 b(using)k(an)e(in-)-35 2646 y(telligen)o(t)h(en)o(umeration)f(tec)o(hniques)f(in)i(addition)h(to)e (CLP)h(tec)o(hniques)f(w)o(e)f(ha)o(v)o(e)g(sho)o(wn)i(that)f(it)h(is)-35 2721 y(p)q(ossible)h(to)f(enlarge)g(the)f(dimension)h(of)g(a)f(problem)h (that)g(can)f(b)q(e)h(solv)o(ed)f(b)o(y)g(\014nding)h(an)g(optimal)-35 2795 y(solution.)40 b(Searc)o(hing)22 b(for)g(an)g(optimal)h(sc)o(hedule)f (solution)i(w)o(as)e(not)g(that)h(smo)q(oth)f(b)q(ecause)g(of)g(a)p eop %%Page: 9 9 9 8 bop -35 6 a Fl(v)o(ery)14 b(large)j(searc)o(h)f(space,)f(but)h(w)o(e)f (ha)o(v)o(e)g(succeeded)g(to)h(reduce)f(the)h(en)o(tire)f(searc)o(h)h(space)g (from)g(10)1852 -12 y Fk(49)-35 81 y Fl(p)q(ossible)j(solutions)g(to)e(10)461 63 y Fk(5)498 81 y Fl(candidate)h(solutions.)26 b(Since)16 b(the)h(searc)o(h)g(space)f(b)q(ecame)h(managable)h(it)-35 156 y(w)o(as)d(exhaustiv)o(ely)h(searc)o(hed)e(and)i(the)f(optimal)i (solution)h(w)o(as)d(found.)22 b(The)15 b(success)g(w)o(as)h(t)o(w)o(ofold:) 21 b(a)-35 230 y(sc)o(hedule)12 b(solution)j(b)q(etter)e(than)g(the)g(b)q (est)g(kno)o(wn)g(w)o(as)h(found)f(and)h(it)f(w)o(as)g(pro)o(v)o(ed)f(that)i (this)f(solution)-35 305 y(is)k(optimal.)38 380 y(The)i(sa)o(ving)g(for)g (the)g(textile)g(compan)o(y)f(is)i(large)g(b)q(ecause)f(w)o(e)f(highly)i (reduce)e(the)h(energy)f(that)-35 454 y(is)g(used)g(ab)q(o)o(v)o(e)g(a)g(giv) o(en)g(limit.)28 b(Namely)l(,)17 b(the)h(energy)f(used)h(o)o(v)o(er)f(the)h (limit)h(is)g(far)f(more)f(exp)q(ensiv)o(e)-35 529 y(than)f(energy)g(used)h (within)g(the)f(limit.)-35 679 y Fm(References)-11 803 y Fl([1])24 b(Pro)s(ject)15 b(T)l(eam.)g(ECL)482 785 y Fg(i)497 803 y Fl(PS)557 785 y Fg(e)592 803 y Fl(3.4,)h(ECR)o(C)g(Common)g(Logic)h(Programming)g (System.)e(User)g(Man-)65 878 y(ual,)i(Jan)o(uary)f(1994,)489 876 y(c)475 878 y Fh(\015)o Fl(In)o(ternational)i(Computers)f(Limited)g(and)g (ECR)o(C)f(Gm)o(bH)g(1992.)-11 994 y([2])24 b(Filipi)o(\024)-23 b(c,)21 b(B.:)26 b(Enhancing)21 b(genetic)e(searc)o(h)g(to)h(sc)o(hedule)f(a) g(pro)q(duction)i(unit.)f(In)f(B.Neumann,)65 1069 y(editor,)13 b Fe(Pr)n(o)n(c)n(e)n(e)n(dings)g(of)h(the)g(10)654 1051 y Fg(th)703 1069 y Fe(Eur)n(op)n(e)n(an)e(Confer)n(enc)n(e)j(on)f(A)o (rti\014cial)h(Intel)r(ligenc)n(e)i(ECAI-92)p Fl(,)65 1143 y(Vienna,)f(Austria,)h(pp.)f(603{607,)i(1992.)-11 1260 y([3])24 b(Korf,)d(R.)f(E.:)29 b(Depth-First)21 b(Iterativ)o(e-Deep)q(ening:)30 b(An)20 b(Optimal)h(Admissible)h(T)l(ree)e(Searc)o(h.)65 1334 y Fe(A)o(rti\014cial)e(Intel)r(ligenc)o(e)p Fl(,)h(\(27\))d(1985,)i(pp.)e (97{109.)-11 1451 y([4])24 b(Smith,)18 b(D.)g(R.:)23 b(The)18 b(Structure)f(and)i(Design)g(of)f(Global)i(Searc)o(h)d(Algorithms.)i Fe(T)l(e)n(chnic)n(al)h(R)n(e-)65 1525 y(p)n(ort,)c(KES.U.87.12)p Fl(,)h(Kestrel)f(Institute,)g(July)h(1988.)-11 1642 y([5])24 b(V)l(an)16 b(Hen)o(tenryc)o(k,)d(P)l(.:)21 b Fe(Constr)n(aint)c (Satisfaction)h(in)g(L)n(o)n(gic)e(Pr)n(o)n(gr)n(amming)p Fl(.)e(MIT)i (Press,)g(1989.)-11 1758 y([6])24 b(Y)l(ang,)12 b(Q.:)18 b(Solving)13 b(the)e(Generalized)g(Hitting)h(Set)f(Problem.)g Fe(Pr)n(o)n(c)n(e)n(e)n (dings)h(of)g(the)h(9)1645 1740 y Fg(th)1693 1758 y Fe(Eur)n(op)n(e)n(an)65 1832 y(Confer)n(enc)n(e)18 b(on)g(A)o(rti\014cial)g(Intel)r(ligenc)o(e)p Fl(,)g(Sto)q(c)o(kholm,)f(Sw)o(eden,)e(pp.)h(738{743,)j(1990.)-11 1949 y([7])24 b(Zupani)o(\024)-23 b(c,)18 b(D.:)24 b(Job)18 b(sc)o(heduling:)25 b(A)18 b(CLP)g(approac)o(h.)g Fe(Pr)n(o)n(c)n(e)n(e)n (dings)g(of)g(the)i(16)1558 1931 y Fg(th)1611 1949 y Fe(International)65 2023 y(Confer)n(enc)n(e)e(on)g(Information)f(T)l(e)n(chnolo)n(gy)h(interfac)n (es)p Fl(,)e(Pula,)h(Croatia,)h(pp.)e(299{303,)j(1994.)-11 2140 y([8])24 b(Zupani)o(\024)-23 b(c,)16 b(D.:)21 b(Solving)d(a)f(job)f(sc)o (heduling)i(problem)e(with)h(CLP)l(.)g Fe(Pr)n(o)n(c)n(e)n(e)n(dings)f(of)h (the)h(3)1732 2122 y Fg(th)1784 2140 y Fe(Ele)n(c-)65 2214 y(tr)n(ote)n(chnic)n(al)f(and)h(Computer)e(Scienc)n(e)k(Confer)n(enc)n(e)p Fl(,)c(P)o(ortoro)o(\024)-23 b(z,)16 b(Slo)o(v)o(enia,)g(v)o(olume)g(B,)f (pp.)h(67{)65 2289 y(70,)g(1994.)-11 2405 y([9])24 b(Zupani)o(\024)-23 b(c,)21 b(D.:)29 b(Optimal)22 b(solution)g(for)f(a)f(real-life)i(job)e(sc)o (heduling)i(problem.)e Fe(Pr)n(o)n(c)n(e)n(e)n(dings)g(of)65 2480 y(the)c(4)169 2462 y Fg(th)221 2480 y Fe(Ele)n(ctr)n(ote)n(chnic)n(al)h (and)f(Computer)g(Scienc)n(e)i(Confer)n(enc)n(e)p Fl(,)d(P)o(ortoro)o(\024) -23 b(z,)16 b(Slo)o(v)o(enia,)f(v)o(olume)65 2555 y(B,)g(pp.)h(11{14,)i (1995.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF