#!/usr/local/bin/ocamlrun T)*VD C 2" @(()*c( ` 5?[o n2$ ]()* ^()* ^()* ^()* ^(](]()* ^(](](](]L()* ^(](](]()* ^()* ^(](]()* ^(](](c!](cC%c!c%C +I( ] ] h ha()* &c!](c!]P(]%g ^]("g ^](!&!&&^(g ^]("g ^](!&!&&^(Y]Z(h()*VD C ] oha o2' ()*] V  ]'5?[)] h `c]cVn @ ]'(m] mh `co @2&, ,ch &)*  ]o }V5 % $)*  ]o }V5 % `(h6'h6')* _](Y]ZThY]Z(h(]]()*c _()*  ]o }V5% `()*]h `(VD C Y]ZTh2%c(,c] %l6'l6')* _](6^% ~V5&^ 0: T -T(2%] ,c %6^Q(5 ^V5 ^V5%d(c(V5(5(5%()*] ] n] h ha ha(g u((m()* ^V(()* ^V((6@[6@[+ +6? + + + +livgTg>iv 6]6]6]6 ]6!]6"] +^+H +9+ + :+ + ,c]i]j] + + + + +Z+4 +& + + + + +%+ ,(+ +t ++ +++++++v"+f +V+A+2 !+" + + :,+ +? + + + 6#^.  + + + + +x +l> +\ +P +G +> +2 +( + +),* +213 +79 + + +> + +BD +G +LKM02468:<>@BDFHJL_acegkmoqsuwy{}>QB9$T)*V D 2&()*|V  $eq o  n n2  n2  n n$ )*c }UH\ n^ n? T\C^ C_ C~V  C^"c C_ zUc()* "._ {V ^2$ o$ _ {V ^ 2$ o$ )* nn  , ^^$)* + + ,O |V hh$ e q oh^ ^  h   h c h $)* " ^"^ _ 2' _()*Y #Z( CyV D _([)* " ^ _ 2&)*f q zVcT5%6 @[ ^"^ _ 2&h_( _()*Y"Z( CyVD ([)* nn ? {V0^ ^"h}V I^ C^"h}V IC( {V^ ^"( {V(@[)* + ,,, +\,Ok qh {U\ ^  # zUcj {U%\ ^h ^  _h"" zUci{Vd ^h ^i _h _( )*? Oh {U\C ^ " I zUcC()*?hO }U\^ C" I zUcC()*VD C _  2&(VD C h"^ ,i &:()*( ^ @ 2&,c O &)*O :(c ^ h " ^i  }U\^ " _  zUc()*c O }U\^ " zUc()*O :(c ^ ! ^i  }U\^ ! _  zUc()*c O }U\^ ! zUc()* Oo }U   Oo}V5&8$% {V$h {U\n ^ n_  zUc(c }U\n ^ n_  zUc()*   Oo }V5'8$% n }U\ _  zUc()*   Oo }V5(8$%:( ^ ^i }U\n^ _  zUc(VD C O h ^ &2%:(, %)*V D C On2&()*V/D Ch O }U\ ^ n_  zUc On2&c()*, h "^ ,h "()*O O :(c T^ n^h  }U\^ _  zUcc  }U\^  n_  zUc(O :(c ^ ^i  }U\^ _  zUc()*: ^h  }U\^ Q zUc()*:(c ! ^i  }U\! _  zUc(+ + +j + + + + + +n +I + + + + ,+Z + +6)? +=l  +  ! #&(*>9*T)*V D 2&()*V D C @ 2&(VD C 2! 8$&c()*VD C ! 2" @(c()*V D C ! 2&c()*VD C "2'()*VD C 2# &()* VVD C DC "  2# @( Uc(5+8$%)* VVD C DC " 2' Uc(5,8$%)* VVD C DC    # 2$U(5-8$%)* VV!D C DC    2   ' U(5.8$%)*VD C !V 2&(d()*VD C !U 2&(c()* VVD C DC "V 2' ( Ud(5/8$%)* VVD C DC "U 2' ( Uc(508$%)*VD C ^hyU 2&(c()*VD C yU 2&(c()*VD C D C ^(2&5?[)*VD C D C yV(2&5?[)*VD C C ^hyU2&(c()*VD C C yU2&(c()*VD C C ^(2" @(c()*VD C C yV(2" @(c()*VD C !V( 2&5?[VD C D C 2! D C @ @@(51()* VVD C DC 2" @@(Uc(528$%)* V0V)D C DC "  2# @( 2# @(  ( ()*(V D 2&536 @[)* V/V&D C DC "  @ 2'  @2'  & &)* V/V&D C DC "  @ 2'  @2'  & &)* VD VD VwC CC "5 " c @ @ @(  " c @ @ @( c @ @ @(  " c @ @ @(  " c @ @ @( c @ @ @( T-T)V&D VC C " c @ @(c @ @( i x o " 3" 3"h ')* VD V{D VrC CC "3 " c @ @ @(  " c @ @ @( c @ @ @(  " c @ @ @(  " c @ @ @( c @ @ @( T,T(V%D VC C " c @ @(c @ @( i x o " 1" 1"h ')*,, ,<! ( & )*VD C !V  @2' @2'! !@()*,hh ')*VD C !V  @2& 2&%,c %)* VVD C DC "@2' U(548$%)*, h ')*VD C !@2&()*,h &c &)*VD C ( 2&558$%)*568$%, &VD (578$%VC (588$%h&,+ + + +8$ ,+ , , +i ,,-,?,Q+0 ,y,,,,,$,P,|,,,,,,,2,N+ +~ ,Y,x,,"(+    !#%')+-/24379<>=BBFHGKMOQ>)+99T)* o(az ((AZ  (('\ (5:(5;( 5<(5=(]V d] h S(l]l\h Sgd ql0ni Sg l qrl0nj Sg rl0nk S(5>8$%(+ + +c +? +4 >9?T)* ~V5?[ RyV(  2$)*5?[ RyV(  2')* ^()*h ')*] ~V5@8$%Y #cdZ(6 CyVc([)*] }V5A8$%Y   ]  cdZ(6 CyVc([)*] ~V5B8$% ')* ] ')*] }V5C8$% ] $)*h ] $8?&8?&)*](!h R !h S(8?&8?&)*] (]h  }U\R! S zUc(c?h ] }UM\R   T%TT ST TT]VdTgTe Cn I zUc] CyV(C]h Ic ] }U\R " \x#-Tr  #g\CSgnCSTgg\CSgtCSTV ]VCST7l\CSgd ql0nCSg l qrl0nCSg rl0nCSTg\CSCS zUac(]Cha]CnI]Cha]CnI(]CnI()*V?D Ch?h? +89 "C]p Cn] ]h ha]?  +89 "(5D()*c ] }U\R ! zUc()* ]o }U  ]o}V5E8$%a()*  ]o }V5F8$% `()*  ]o }V5G8$%] h a(] ] h ha()*] h `(+ + + + +T +/ + + +V +J +? +! + + ,+ + ,+ ++b +1 +$ +     "$&(*>9HT!?[V +?&c&)* ^c(c] D Ch] D C iv lqph? +lllllllllllllllllllll6I? +6J    "$&(*,.044886=?> "9KT0)*VE D C ^(2&5?[)*VE D C C"V(2&5?[VE C C"U2%(c()*,DO !r D^ %VE D C C"V A(2! A(5?[)* ,DO !r D^ Y ! D_Z(6 CyV"A D_CIdDOvC}V& ([VE D C C"V 2! @(2%c()*,DO !r D^ %)*DO !r D^ VIE D C C"V(V1E DC  C"V( VE DC  C"V(  &5?[5?[5?[V E D C C"V CI(2! A(c()* ,DO !r D^ ! D_()*DO !r D^A D_C Id DOv C}V&(7$ D!s( + + +, + + +u +3   > ()*VE D C # 2&()*,D?h O }U\C ^" I zUcC(VE D C "2%c()*,Dh O }U\ ^! zUc(VE C ^hyU2%(c()*,DO !r D^ %VE D C ^ A(2! A(5?[)* ,DO !r D^ Y ! D_Z(6 CyV"A D_CIdDOvC}V& ([VE D C ^ 2! @(2%c()*,DO !r D^ %)*DO !r D^ VIE D C ^(V1E DC  ^( VE DC  ^(  &5?[5?[5?[V E D C ^ CI(2! A(c()* ,DO !r D^ ! D_()*DO !r D^A D_C Id DOv C}V&(VE D C 2! !r ^ A _(c()*D O8K jp8$" zV.c ^ ,c }U\^ ! zUcJ(C(D8*! C@(c DO }U\c D_ zUcc I(7K i8$"8$"h ^h@(ldl _K(+ + + + + +Q ++ , +J +/ + +| +8 +   +t     >9LTKc Mc LG h E D C> M c K(G (G (G F(G F()* Gn D^()*  D^?(c()* D^()* o ] h Da?(c()* o ] h Da(G Go ] h GDa(d M( :ihhhhh ]6M 8$" +> ()*h 8$>$+% :hhhhhhhl]l] "> ()*] " TdMcD] En}VD] GEon|VGEoh D G D8H TB7KD]jp8$" GEon}V5N8$!]  G Eoh G D8H JG FnLGoMcMGoMEoKG h O }U\ ^ h|V o _ zUcE Dh 8H EnK()* _ h|VG M G GFn E D C>M ()* _ h|VG M G GFn E D C>M (5O + + +6P + +w +G +& + + + + + + + + + +n    ">9QTc(C%!F(!F(c!F(c!F(G oG oF^(G oG oE^(G F^(G G G oE^(G F^()* G o D^()* ` W"*2_!G MG M i2&?[c!cj2&c!ck2&YG C^!l@ZT CyVcl@T[ D C 2&5RG !cl2&]V  ]E^y( D^y()* ,bG G GGGGG MM G M Y ch "Z( GM M MMMM CyVD ( +~I[c( cGhD8* cM(Gj ph ^h ^8Q ^8Q^ hhC8* I hhD8* J hhE8* K hhF8* LM(5S?6T?hhhhhh8Q8Qhhhld8Qld^8Qld^hld^hld^> +c +K +D?  + +'++++ + + + + + +    >9UTP)* yVc( 2"h!@(C8$!8$"(C8$!8$"(] ]8$"h 8H#^(5V6Wh? + + + , >9XTEC8L"XV c C8L'(C8L"XV c C8L'(C8L&c C8L'C8L&c C8L')*C W 0c( C2" D2&C +89 " D2"+89 &D C W6 2&D C C8L"XV c C8L#+89 "2"+o89 & D C@+K89 " 2&D C C8L"XV c C8L#C8L"XV c C8L# E2&D +89 &)*V)D C V8$!5Y8$! 2&8$!V5Z8$%(V5[8$%(C W)DZ5\8$%5]8$!C2!5^8$!D2!5_8$%5`8$!C2!5a8$!D2!5b8$%5c8$!d C"5d8$!D2%D C W (5e8$!2%C8$!5f8$!c D"5g8$!2%C8$!5h8$!c D"5i8$!2%5j8$!C8$!F 5k8$!T5l8$!D8$!5m8$!E2%D C8$!89!h{V5n8$!c "5o8$%(5p? ,,, A9qTVD C V8$!5r8$!2%8$%5s8$%W 7Rt45t8$%5u8$!C2!c8$!5v8$!c8$!D2!5w8$%5x8$!c8$!C3!5y8$!c8$%5z8$!C8$!5{8$!c8$!D2!5|8$%5}8$!C8$!5~8$!c8$!D2%C!c8$!D2%58$!C8$!58$!c8$!D2!58$%58$!C8$!58$!D8$!58$!c8$!E2!58$%58$!C8$!58$!D8$!58$!c8$!E2!58$%C8$!58$!D!58$%58$!c8$!C2!c8$!58$!c8$!D2%V#D C V1!58$!c8$!2%1!c8$%58$%)*VVC C^VD D2&(Vc(d()*W +blJwc?( D2   C2 @?(c8X!h8X!    C3  DT C E@@ @@?( C D2$c8X!  D2 h C@ @@?h?h@ @@?@?h@?h@?h @@?( DC4$ c8X!h8X!h8X!hh?h@@??     D2 @?h@@?@?C>?h @ @@@@?(c8X!h8X!   E2 h @ @D@C@@?h @ @@?(c8X!  E2 h@ @ D@ C@@?h @@?(D @ @ C@?(c8X!  D2 h @@?h?h @@?@?h@?  C2 h @@?h?h@@?@?h@?@?h@?h @@?()*VD C V      2  W kkkkk kkkkkC WTVE C D ^VGE "V? hh?h@@?  D1 h@@?@?D>?C@?A( ?[?[W PPPPP PPPPPC WT;E Chh?h @@?     D1 h @@?@?D >?A( ?[chh?A()*WUc8X!h8X! CThh?h@@?      4 h@@?@?D>?E @@ @@?(c8X! CT      4  E @D@ @@?h @@?(W5E D C8$!58$!!58$%8$!58$!!58$%E D C8$!58$!!58$%8$!58$!!58$%5? ,D+ ,`,, A 9Tj$VD C V!58$!2%%c(V D2! C!@()*V'D C VC !@I58$! 2&C !@I(c()*V'D C VC !@I58$! 2&C !@I(c()*V'D C VC !@I58$! 2&C !@I(c()*E D C "89!h{V89!h{V58$! "89! 89!nh{V89!h{V58$! &)*VD C V "c8$! 2& &c()*VJD C 8L"V 2'c 8L# C8L"6 8$!8$"68$"8$!!68$! 89"2' c()*V  D2" C"@(C8L&c8X! C8L#c @C89"I(C8L&c8X! C8L#C @I()*C W ,Rc?( D2" C2"@?( D2" C2"@?(Ch? +89 " D2" +89 " C@?(D C W> 2" @?(D C"h?  +G89 "2"  +189 " C@@?(  C" D"2" @@?( C" D" E2" F >?( D" C@?()*Vc8X! CC8L# D2" @()*Y C8L"Z(6 CyV([)*V  D2" C"@()*V89! CC8L# 89! D2'c()*C W "d( C2"V D2&( D2&c(C Y C8L"ZT6 CyV@[[ D2&C8L&C8L&)*C W ?5( C2   D2  E E89" D D89" C C89"A( C2  E     D2  D C89!hzV?[C89!hzV?[E89!hzV?[89!c 89! 89"@hhA( cD 89"@hhA( C "  89"  D2  + 89 "E D C89"A(D C W&k  "Vc?T "hh h@A@hA(D C" " "Vc?T"  +89 "ch  89"@@A@hA(  C" D" "Vc?T"hh @@A@hA( E C" D"  "Vc?T "hh F >A@hA( D C YhY C8L"ZT6 CyV@[[ C89! 89!zV 58$"@[gd8L!?     D2  E D CAZ(6 CyV?[[)*VV CC DD2$ ?[V?[c(C8L&c C8L'C8L&c C8L')*C W 6aDc(C W""""""   CC2  DD2$ ?[C W""""""   CC2  DD2$ ?[C C W,,,,,,+{89 "   D D2 +Y89 & ?[D CC WD C WZ ^V?[   2$D W77C C  +89 " 2  +89 &?[W00   C C    D D    2$?[?[C W>>>>>>F F^V?[   CC    DD  EE2$ ?[C W DD$ ?[)*V7DC CyV%YEF# DiAZ( CyV 2$ [2$ ch!hA()*VC C W TE D D C W5TD Cii>T D Chi>T F E DCch!@hh!>@Te C     E D CV @ >@T:c!C  >@IC  A@I @    >@   D2# E D CCV  C@A(D@ A(E D F EDC C ch! h>Txch! i>Tl  C    E D CV  h>TG i>T=c! C  >@IC A@I  h>T  i>   D2# E D @ CA( 5(5()*V C# D2# D E CA@()*V  D2" C"@()*V? CC8L#  D2# ?@(C8L&)*VD C G F E CD" Yh# " +89 "  2" F E D CW    >@ >(    >@ >( " "  2" F E D CW   >@>(   >@ >(5(C8L&)*V\D C G F E CD" )h# " +89 "  2" >@(  " "  2" >@ ()*V'C D" E" G"D2" FC>@()*VC D" D2" C@@()*V C C" D" E"D2" A@()*C VUC D D?ld8L!?    E   D#  E# EDC C   C C8L#   2$c(F'C'F'C+89 "D+89 "E+89 &)*!XV  C8L"XV  C8L"h C^C8L#c E }U\ G^ F2# zUcc F }U\ G ^ F2# zUcc G }U\ G ^ F2# zUcc G }U\ G ^ F2# zUcc G }U\ G ^ F2# zUcc G }U\ G ^ C2# zUcG 2+89 &()*V C" D2" U()*V ^V C"  D2  U( F CUI( C CUI( F CUI(C+89 "D+89 "E+89 &F D"U E" !XVC8L"  c G CUUI(C !XVC8L"  cD CUI(F C D" cT hyVE" !XVC8L"  c G CUUUI(C+89 "D+j89 "E+89 &)*!XV  C8L"XVdcC8L# C8L" C8L"h?h E }UM\G^ F D" E" !XV C8L"  c G CUUUI zUcc F }UD\G ^ F E" !XV C8L"  c  G CUUI zUcc G }UD\G ^ F D" !XV C8L"  c  G CUUI zUcc G }U<\G ^ F !XV C8L"  c G CUI zUcc G }UK\G ^ F D"U E" !XV C8L"  c  G CUUI zUcc G }U;\G ^ C !XV C8L"  c D CUI zUcG +89 "c E }U)\G^  F   2 CUI zUcc F }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  C   2 CUI zUcG 2+w89 "C()*V  D2" C"@()*V'D ^V 2  C"@( 2$ (F$C$F$C+89 "D+89 "E+89 &)*!XV  C8L"XVcC8L# C8L" C8L" C8L"g C^hh C }U\^V  _ zUc     C8L#cE }U"\G^  F2  zUccF }U"\G ^  F2  zUccG }U"\G ^  F2  zUccG }U"\G ^  F2  zUccG }U"\G ^  F2  zUccG }U"\G ^  C2  zUcG2+>89 & ()*V  C" D2&c( D" E" G"F' D"C' D"ChyV E" G"F'C+89 "D+89 "E+89 &)*!XV  C8L"XVM C8L"h? C8L#c E }U*\G^ D" E" G"F2# zUcc F }U%\G ^ E" G"F2# zUcc G }U%\G ^ D" G"F2# zUcc G }U \G ^ G"F2# zUcc G }U*\G ^ D" E" G"F2# zUcc G }U\G ^ D"C2# zUcG 2+q89 &()*V!D C C 89"V 2&C @I 2"d( F CUI( C CUI( F CUI(C+89 "D+89 "E+89 &F !XVC8L" C"CUI(C !XVC8L" C"CUI(F !XVC8L" C"CUI(C+89 "D+89 "E+o89 &)*!XV  C8L"XVcC8L# C8L" C8L"h?h E }U2\G^ F !XV C8L" C"CUI zUcc F }U2\G ^ F !XV C8L" C"CUI zUcc G }U2\G ^ F !XV C8L" C"CUI zUcc G }U2\G ^ F !XV C8L" C"CUI zUcc G }U2\G ^ F !XV C8L" C"CUI zUcc G }U2\G ^ C !XV C8L" C"CUI zUcG +!89 "c E }U)\G^  F   2 CUI zUcc F }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  F   2 CUI zUcc G }U)\G ^  C   2 CUI zUcG 2+989 "C()*gd8L!?h?h!h@? A@?    "" C8L" !h!h!h!>(  >( )*gd8L!? #dld8L!? T\C8L!   UC8L!()*Wc(C C 89"XVC @ I()*gd8L!? #dld8L!? T\C8L!   UC8L!C8L"i C^C8L# $ F D" E" !XVC8L"  c G C  C>@I(C !XVC8L"  cD C @@I(F E CD" T  "T!XVC8L"  c G C >@I(c? C +89 "c? D +^89 "c? E + 89 "C C CCA@I()*chh!@ G^hh!66h> G^hh!h6i>G^hh!h6i>G^hh!h6h>F^hh!h6h>E^GG G G F E D>h E }UQ\G^ F D" E" !XV C8L"  c  G   C> G_ zUcc F }UL\G ^ F E" !XV C8L"  c  G  DC>G _ zUcc G }UK\G ^ F D" !XV C8L"  c  G  EC>G _ zUcc G }UF\G ^ F !XVC8L"  c G  EDC>G _ zUcc G }UP\G ^ F D" E" !XV C8L"  c  G   C> G _ zUcc G }U>\G ^ C !XVC8L"  c D  @G _ zUcc? G +89 "C M()*W(C ^?()*Wc(C ^XVd _d(C? C8L#(C? C8L#()*gd8L!?h? +89 "c I +89 "" F E D C " "" 8* ! 8* ! 8* ! 8* ! 8* ! 8* ! 89! 89!89!89!89!89!89!89!>()*Y C8L"Z(6 CyV?([C C8L#()*89!8L!?h? +89 "589!^ g28L!?   c O }U \5 ^^V 89" _ zUc8* %)*Y,C8L"6  ^^V  ^^V?[  _Z(6 CyVC8L"XV ^V?[([)* " ')*Y C8L"Z(6 CyV([Eld8L!hh! 8L#58$!!V 58$!T h @C#58$%58$!!8$!c8$!58$!!8$!c8$!58$!c?h E }U\C G^!@ I zUc58$!c F }U\C G ^!@ I zUc58$!c G }U\C G ^!@ I zUc58$!c G }U\C G ^!@ I zUc58$!c G }U\C G ^!@ I zUc58$!c G }U\C G ^!@ I zUc58$! G"C(C68$!!58$!D!58$!(F68$!D!C 58$!T58$!E!58$!!58$!G!58$!(F D!C 58$!T58$!E!58$!!58$!G!58$!(W*=5 C8$"68$"8$%58$!C8$!58$%58$!C8$!58$%58$!C8$!58$%58$!8$%G89! G G GFGEnnnnnn(C(D(c8L!?(c8L!?(c : : : : : :hhhhhhhh>(hy(C(c(5?6?6?6?i? + + + + + + + + +f +V + ,T + +t +Q ,],h,, ,,.  + ,@+ + , ,,,,, +Q!,   (*-, T%+ (, *,+h &+,u&(,,O+# ,g,w , ,`,, , +Y   ,0,+ ,, 7,I+ ,, ;>+& :,. + + , ?,L,@, +8 >BDHJ+ .=?ACEGIKPR> J9TEVD C V!58$!2%%c(VD C V!58$!2%%c(VD C V!58$!2%%c(VD C V!58$!2%%c(VD C E D CVI!89!h{V89!h{V58$!!89! 89!nh{V89!h{V58$!!c8$!2%!89!h{V89!h{V58$!!89! 89!nh{V89!h{V58$!%c(V D2! C!@()*c  }U5\^hyV  ^^V _      3  zUc( )*c }U5\^hyV  ^^V _      1  zUc( )*V(D2        C @()*V C"U D2&()*V C# D2'c()*V#C C8L"XVc C8L#C @I D2'c()*V(D2        C @()*VC W:V1C     D D2  CVD C ^U5 ^@(5(5(^VoVhC C     D D2  CVHD  C8L"U%5^Vc8X!T  C8L# @@i@(   C8L"^Vi@( 5( 5( 5(5(5(V5(5()*8* !h O }U)\^ WcTC^? _T zUc()*V yVC( D2'?[)*V"CC 89!n {V '89!n D2'?[)*8* !h O }U'\^ WcT C^ _T zUc()*V"CE 89!n {V '89!n D2'?[)*V"CD 89!n {V '89!n D2'?[)*VKC W A D2&C D2" CV*D C8L"Ud C8L# h8X!@@i@(i@(5(5(5(V D2! C!@()*V%D C 89"U  89"V 2' 2# @()*VD C ^V( 2" @()*VD C D C 89"VS89"V?89!dh@h@@@@(d " "@@h@h@@@@(c @@@(89"V c @@@(2# D C@@@( ^h@()*V  89!C V 89! D2$(d()*V D2# C?@(V D 2# C?@(V D 2# C?@()*WmC Wc(C E89! E89!yVF FyVC C^VG89! G89!yV+ DD V EE V  GG$ (C Wc(C F FyVG89! G89!yVE E^ D D^^V  GG$ (Wc(CC CC 89! 89! zVc(8* !8* !l^h^hhh^h^Ch _Ch _d YT\ ^UF ^?^?2 V+  _d _C _C _cT]{V8TMT/\^I^I ^c _g  _yV?[ {UQcZT CyV c^IcT[(C Wc(C C CyVD89! D89!yV  DD$ ()*VC D2"h @h @@@(()*V 89! D2#h 89!@h C@@@(c @()*I @ G"hI()* @ G&)*d @ F')*gdC!i @ F#(C ! !p()* & FCnnI( CCnnI( FCnnI(C+89 "D+89 "E+89 &c?68L !h ! }U\CD^h CE }U\ CG ^FCnnI zUcc CG }U\ CG ^FCnnI zUcc CF }U\ CG ^FCnnI zUcc CG }U\ CG ^FCnnI zUcc CG }U\ CG ^FCnnI zUcc CG }U\ CG^CCnnI zUcCG+89 " zUcC()*D C D CC ! !zVc(!! # # 89!89!zU89! 89!zVc( @ # "?l!^h !^h !in^ Ch _chi YT\ ^U1    V _d _ C _cTQ!{V,T@T#\^ I ^c _g _!yV?[!{UqcZT CyVcT[()* CD^ "CD^" "Uc( c CD8* !!CD8* !!@@?l^h ^h "h^h ^Ch _Ch _d YT\ ^UK "" V1  _d _C _ C _"Tg"{V8TRT/\^I^ I ^c _g  _"yV?[ {UBcZT CyV c^IcT[()*CE {VCE(CE o CF {V CF CEn(CF o CG {VCG CFCEnn(CG o CG {VCGCGCFCEnnn(CG oCG {VCGCGCGCFCEnnnn(CG oCG {V!CGCGCGCG CF CEnnnnn(CGCGCGCG CG CF CEnnnnnn()*CE {Vc(CE o CF {VCE(CF o CG {V CF CEn(CG o CG {VCGCFCEnn(CG oCG {VCGCGCFCEnnn(CG oCG {VCGCGCGCF CEnnnn(CGCGCGCG CF CEnnnnn()*CE {V  CG ^?(CE o CF {V CG ^?(CF o CG {V CG ^?(CG o CG {V CG ^?(CG oCG {V CG ^?(CG oCG {V CG^?(CG oCG89"?()*{V( o{V n( nn()*{Vc( o{V( n()*W5Wc(C C C# CID(Wc(C C C# CID(Wc(C Cy()*CC CCyV=CE CEyV4CF CFyV+CG CGyV CG CGyVCG CGyV CG CGy()*L CD^CG{V CD^CG ^Tc CD^CGo CD^CG# hE89!8X"D!A$  CD^CE{V CD^CG ^Tc CD^CEo CD^CG#  E!D!A$ CEC^V!V2&E89!8L!? E" CVdIDI?[T dI?[((C+89 &)*CCh??h? T\CD^CG ? CD^CG@TCD^CG ? CD^CE@ D C T<\ +C C^E89!8L!?C C^E" CV dIDITdICXVC{VCVCXV;Co? Y" CD^CG  +189 "ZT CyVdcT[CXV cI {VCV,C CC>(  CQC^V!V D!^V4'E89!8L!? E" CVdID I?[T dI?[( (C  + 89 &)*CCh??h? T\CD^CG ? CD^CG@TCD^CG ? CD^CE@ D C TN\C C^D! ^ICV hyV,C C^E89!8L!?C C^E" CVDITcICXVC{VCVCXV?Co? Y& CD^CG  + 89 "ZT CyVdcT[CXV cI {VCVC CC>( C 89!C{V dICI?[89!CoI()*? ?h? Tb\CCD^CE {Vd ICI? CXV-YC CD^CG  +89 "ZT CyVdcT[CXVCCD^CE CoCC C{VCVC@()* CD^CG {V CD^CG^Tc CD^CG o CD^CG# C8!V(CC""c8!h8!h!?i^i>?(C8!V "&C8!Vc8!T CCEC8L" $ )* CD^h CC8!n"8!n8*#D8* !8!! CC8L!? CC 8!  chhhhh   h8X! 3 lill GC FC EC DC CC8! ! E C DG F E D C h ^ c8!   8!CC   G G GFEDC $ CdI?[(D+89 &)*CCh?  Ta\CD^CG {VCXVd ICXV9CD^CG o? Y CD^CG +89 "ZT CyVdcT[CXV c {VCV CA()* CD^CG {V CD^CG ^Tc CD^CG o CD^CG# F8!V(CC""c8!h8!h!?i^i>?(F8!V "&F8!Vc8!T FCEC8L" $ )* CD^h CC8!n"8!n8*#G8* !8!! CC8L!? CC 8!  chhhhh   h8X! 3g ill GC FC EC DC CC8! ! E C DG F E D C h ^ c8!   8!CC   G G GFEDC $ C!VdI?[((E+89 &)*CCh? ? T}\T\C CD^CG ^!Vd ITCD^CG C{VCVCXV<CD^CG Co? Y CD^CG +89 "ZT CyVdcT[CXV c I {VCV|C CA(D W$EC E Wc(CC ^( ^X(C E Wc(CC ^( ^X(c(E89! CiyV !V D!^V 8L"XVC @Id 8L'(C+89 &)*gd8L!h?h CC }U\c CD^CG }UN\CD^CG ^E89!  CD^CG ^D!^V8L"XVC @Id 8L# zUcCD^CG +e89 " zUcC()*VmCD^CE{V CD^CG ^Tc CD^CEoCD^CG# CD^CG {V CD^CG ^Tc CD^CGo  CD^CG#@TkCD^CF{V CD^CG ^Tc CD^CFoCD^CG# CD^CG {V CD^CG ^Tc CD^CGo  CD^CG#@ D C F8!Vc8!T F CEC8L" F8!Vc8!T F CEC8L" 8!hyV8!hyV8!hyV8!hy VB CC c " CC, "$ "c8!h8!h!?i^i>?( VyV " &V " "  '   $ )*  CD^ CD^zV5CC CC8!8!nnn"" 8! 8!nnn@T'CC8!8!nn"8!8!nn@h D C8*# G8* !  E " G8* ! 8!! 8!!CCCCn8L!?  CC8!8!n   zV  CC CC8!8!nn  chhhhh  8!h{VL 8! T:\c8! }U#\  ^^8!n  ^_ zUcc$GCFCECDCCC 8!  G F E DCh8X!8!8!nzVl*gl l CCCCC#  :gl!!lGC FC EC DC CC"""n # T,*gl   CCCCC# ! E C DG F E D C  G G G FEDCh ^ c(8! &8!'8! "8!$8!n $CC% ""zV5"CCn#CC$ **+$ 6)*$ 5C"!XVChyV"V cI?[((C CCzV+89 "T%89! C~V CoIT cICnI ( C!XVCiyV=T$\CCCD^CG ^ "V cI?[CCD^CFC{VCUc!XV CiyVCV6CCD^CFCo?h?CCD^CG  + '89 "cI( (C  + G89 " ( C1!XVChyVCCCD^CG ^"V cI?[( (C + 89 &)*d? ??? T\T\T*\C CCD^CG ^ CCCD^CG ^"VcITCCD^CF C{VCUCVDCCD^CF Co? Y#C CD^CG   + e89 "ZT CyVdcT[CVc ICCD^CG C{VCU_CVKCCD^CG Co?h? Y&C CD^CG   + 89 "ZT CyVdcT[CV c Ic ICC C{VCUC CCC>(C!!VChyV"V cI?[((CCCzU  CCzV  +89 "T%89!  C~V  Co IT c ICnI ( C!VCiyVT\T$\ CCCD^CG ^ "V cI?[ CCD^CE C{VCUcCV:CCD^CE Co?h?CCD^CG   + $89 "CV c ICCC{VCUkccIc I( (C   + +89 " ( C0!VChyVCCCD^CG ^"V cI?[( (C + 89 &)*d? ???? T#\T\T\T+\C CCD^CG ^ CCCD^CG ^"VcITCCD^CE C{VCUCVDCCD^CE Co? Y#C CD^CG  + ]89 "ZT CyVdcT[CVc ICC C{VCUeCV c Ic ICCD^CG C{VCUBCVMCCD^CG Co?h? Y( C CD^CG   + z89 "ZT CyVdcT[CV c Ic Ic ICCC{VCUC CCCC>( D Wc(d()*CiyVChyVD D"VE89! E89!y()*W%W C C^(c(Wc(C C^(c()*C<CD^CG {Vd CD^CG ^@TUdh CD^CGoCD^CG#@T8CD^CE {Vc CD^CG ^@Tch CD^CEoCD^CG#@ C F8!V&CCc8!h8!h!?i^i>?(&FCEC8L" DE  $)* CD^h CC8!n"8!n8*#G8* !  "8!! CC8L!? CC 8!  chhhhh   h8X! V g @T l@ 3gliDC GC FC EC DCCC8! ! E C DG F E D C h ^ c8!   8!CC   G G GFEDC $ )*CF CEh!? CC^ CC> 8$"8$"hCC }UA\ {VCD^ D_T$ {VCD^ D_TCD^ D_ zUc?()*CF CEh!? CC^ CC>h CC }U+\ {VCD^ D_TCD^ D_ zUc?(gh T\ CD^CCTCC {U()*gh T\ CD^CD^!^VT  CD^CC {U( C%    CVcIDI?[( (C  + 89 &)*d?h? CC?EDC T\ CD^CG ? CD^CG@T CD^CG ? CD^CE@ C T+\ CDC^     CV c ID ITC{V CU CV@Co? Y' CD^CG   + /89 "ZT CyVdcT[ CV cI{VCU5cC C C>( )*C ^V5(cD "V E89!89!y@(D "V#E89! 89!yV89!8L!?hE$ 5()*W C^(c()* CD^ CD^!h CC"8*# CC8L!?   h  glillhhhhh h  ! C DGF E D C h ^ c  E G G GFEDC $ )*c CC }U]\ {VTCC {VTg lzV  n^hzV' n^^ CD^!?@ n^ _ zUc(C C  @I(C C  @I(C cC  @I(E D CC~V89!Cn{UCC ~V89!Cn {U-C ~V89!Cn {UC ~VA89!Cn {V389!CnI89!CnI89!CnI89!CnI(89!CnI89!CnI89!CnI89!CnIc?  +89 "c?  +89 "c?  +89 " C C CCCA@@ I ()*??h CE }UD\VzV,C Cn d Cn  CG ^ @@IT zUcCE Cn Ic CF }UD\UzV,C Cn c Cn  CG ^ @@IT zUcCF Cn I ?hCG }UD\VzV,C Cn d Cn CG ^ @@ IT zUcCG Cn IcCG }UD\UzV,C Cn c Cn CG ^ @@ IT zUcCG Cn I ?hCG }U?\ zV+C Cn  Cn CG ^ @@ IT zUcCG Cn I ?hCG }U?\ zV+C Cn  Cn CG^ @@ IT zUcCGCnI?VCGTCG?VCETCF?CG? CG? CG    +e89 "  >()*D  C@()*G  F       E        D C>()*G  F C      E TE VDT      D C>()*W ,C?(C ^V?(C8L"i  ^_?(C?()*h CC }U&\ zV CD^!C8L# zUc()*  CCn CF CEh!? ^ >8$"8$"h }U\ {VCD^ D_T {VCD^ D_TCC {VCD^ D_Tri CCo^ CCo^ CCo^ CCo^ CC o^CC o^CC o^CC o^ ? D_ zUEc?()*  CCn CF CEh!? ^ >h  }U\ {VCD^ D_TCC {VCD^ D_TqhCCo^CCo^ CCo^ CCo^ CC o^ CC o^ CC o^CC o^ ? D_ zU\c?( )*c ! T\CD^CCdT {VV()* CD^CC()*c8!h8!h!?i^i> V  ?@(? @()*CF CEh!?^> CF CEh!?^>hhh }U6\ 89"VCD^D_TCD^ D_ zUc??@( ch CC }U\" n zUc()* CD^CG CD^CG CD^CGCD^CGCD^CFCD^CGCD^CEnnnnnn(!iyVdc CD^CChyVXc CD^CEhyVLc CD^CGhyV?c CD^CFhyV3c CD^CGhyV&c CD^CGhyVc CD^CGhyV c CD^CGhy(CC( D# E# G# F$ D# C$ D#ChyV  E# G# F$C+89 "D+89 "E+m89 &gd8L!?h?h CC }UM\c CD^CE }U\\  CD^CG ^D#  CD^CG ^E#  CD^CG ^G#   CD^CG ^F   zUcc CD^CG }UJ\  CD^CG ^D#  CD^CG ^G#   CD^CG ^F   zUcc CD^CF }UJ\  CD^CG ^E#  CD^CG ^G#   CD^CG ^F   zUcc CD^CG }U8\  CD^CG ^G#   CD^CG ^F   zUcc CD^CG }U\\  CD^CG ^D#  CD^CG ^E#  CD^CG ^G#   CD^CG ^F   zUcc CD^CG }U7\  CD^CG^D#   CD^CG^C   zUcCD^CG +w89 " zUcC()*YCFC8L" C#Z(6 CyVc([)*Wc(C C8L"XVc C8L#C @I(CV?[ D"ICU E"ICU G"ICU)YFCFC8L" C89"ZT6 CyVcT[I(CV?[CU D"ICU(YCCFC8L" C89"ZT6 CyVcT[I(CV?[CUd #ICU(YFCFC8L" C89"ZT6 CyVcT[I(C+89 "D+S89 "E+89 &)*chh? T\cTT\d CD^CG ^# ICU5Y% CD^CG ^FCFC8L" C 89"ZT6 CyVcT[ ICU CD^CE {UcTT\d CD^CG ^# ICU5Y% CD^CG ^FCFC8L" C 89"ZT6 CyVcT[ ICUCD^CG {UcTT\c CD^CG ^# ICU5Y% CD^CG ^FCFC8L" C 89"ZT6 CyVcT[ ICU CD^CF {UcTT\c CD^CG ^# ICU5Y% CD^CG ^FCFC8L" C 89"ZT6 CyVcT[ ICUCD^CG {UcT\ CD^CG ^D" ICU CD^CG ^E" ICU CD^CG ^G" ICU5Y% CD^CG ^FCFC8L" C 89"ZT6 CyVcT[ ICUCD^CG {UqcTS\ CD^CG^D" ICU5Y% CD^CG^CCFC8L" C 89"ZT6 CyVcT[ ICUCD^CG {UcYCD^CG  +89 "ZT CyVccT[CUCC {U"C()*V D"UChyV E"U G&()*W  C^(c(?C_()*E C 8!Vc8!h8!h!?i^i> ?( C8L"h 8! 8!8*#689!^h? +89 "8!! chhhhh8L!?h   ! C DGF E D C h ^ c8!   E  D h!?^>h }UN\:G^ G^ G^ F^ E^  D^ C^ ^ ? D_ zUc?()*c }U6\ n ^hzV! n ^^ ^?@ n^_ zUc()*c^h^h^h ^h ^h ^h ^C89! C89! C89! C89!hO }U\n {V {V C89!C89!Id D CATC89!C89!Ic D CA E D C D WdTcT V:V^^ @ ^_TS^^ @ ^_T8V^^ @ ^_T^^ @ ^_Tnn {V2C89! DC89!I^ ^ C@ ^ _Tmnnn {V2C89! DC89!I^ ^ C@ ^ _T0C89! DC89!I^ ^ C@ ^ _ zUc  >(C C  @I(C C  @I(C C  @I(c? C +89 "c? E +89 "c? D +l89 " CC C CCA@@ I()* ??h E }U3\C Cn  Cn G^ @@I zUcE Cn Ic F }U3\C Cn  Cn G ^ @@I zUcF Cn I ?hG }U3\C Cn  Cn G ^ @@ I zUcG Cn IcG }U3\C Cn  Cn G ^ @@ I zUcG Cn I ?hG }U3\C Cn  Cn G ^ @@ I zUcG Cn I ?hG }U3\C Cn  Cn G ^ @@ I zUcGCnI?G    + 89 "  >()* D  C@()* G  F       E        D C>()* G  F       E        D C>()*W "C?(C?(Ci ^_^?(C Y ^! C8L"i   ^_ZT6 CyVcT[^(Oh ^Oih ^h ^h }U0\^hyV _     zUc A()*8* !8* !8* !8* !8* !8* !89!89!89!89!89!89!89!8* !89!>(c : : : : : :hhhhhhh :h>(W5(C(5 ^h  }U\c8X! _ zUc(58$!c CDO }U\ CD^! zUc58$%58$!c CC }U\ CD^!58$! zUc58$!CE8$!c8$!c CE }U\ CG ^! zUc58$!CG8$!c8$!c CG }U\ CG ^! zUc58$!CF8$!c8$!c CF }U\ CG ^! zUc58$!CG8$!c8$!c CG }U\ CG ^! zUc58$!CG8$!c8$!c CG }U\ CG^! zUc58$!CG8$!c8$!c CG }U\ CG ^! zUc58$!CG8$!c8$!CG%58$!D!C 58$!T58$!E!58$!F8 !58$!G!58$%58$!C8 !58$!D!5 8$%D!C 5 8$!T5 8$!E!5 8$!F8 !5 8$!G!58$%W)5 C8$"68$"8$%5 C8$"68$"8$%5 C8$!8$"68$"8$%5?6?6?6? + ,κ +g +F + ,ں,, ,&  +Y +& + + ,+ +d ,++ ,# +V + + + +n +&  + + , + "+ +] ,,1+( + + + +[ +1++ +u+E+l +p"+4 + , + +P +1 +)+   "*1+ + , + >+/+ +/+{0+ ,  ,.07?+ C,ټE, 8+ + + +s L+ M+2 , ")79;BJ+ o  (B+A+ +\ R+"%,:<>EM+ hS,ּ -G+U+4V, '*1?ACJR+ 1K+DY+ ,N^+y ^+N,#R+ ,$+ ,H,a+O ,,+) + k,;+[ + + Gbt+j ,)c?h ,> NPy+&J+ + M+ @ 8L ! +i +X +G  ,+ !#&(,.257;=BJLNS_acegjlnty> {9T)*VD C V yV 2&( y()*ch  }U\ o@ zUc()*V:D C V&C }VI @( 2"C @(Ic @(C8! DCC8 #  CCC8 IC C8# CIDI(C8! DCC8 #  CCC8 IC C8# CIDI(C8! DCC8 #  CCC8 IC C8# CIDI(D WIC CQGFED C8  G CVd Ic Jc Kc Lc M2%D JE KF L MCi FED8$ C=GEDC8  F CVe I2%D JE K MCh DED8$ C/G GC8# E D CUfI2%MMC 8' G GC8# E D CXV?[MMC 8' C DFEC C8  E D CV?[KLC? ? ?F +89 "C C C C8$ C FEDC C8  E D CXV?[KLC? ? ?F +89 "C CDC8$ C EDCC8  E D CXV?[JKC? ? ?F +89 "C CCC8$ 5 ^U 89"XVdC_()*WTachhhhhhhh> ?TXC E C !8!h?h89!^ +89 "Tch^hh DA>?Tch DC>?T ch CA?T @(E V?[F G !D C8 $d KC(G F C8 "yV$F C8 " C8! yV5 K( Lc M(G M()* 8"V chi>(c 8 " 8! yV5h >(D V&?[C8! E F " o  C8$ CV d Jd C8&5 Jc C8&)*Fh" V EyV5 J(VE KE " L(c? F" L(8! iyV8!?h @i >(5?6 ?6!? + ,,7,Y + +; + +  + + ,  > 9"TVD C V5# 8$"8$!2%8$%5$8$%W*-4;Bi| 'B_|:Wt 1Nk$5FWh5%8$%5&8$%5'8$%C DW 8$%5(8$!8$%5)8$!8$%D6*8$" C8$"8$%D6+8$" C8$"8$%5,8$!C2!5-8$!D2!5.8$%5/8$!C2!508$!D2!518$%528$!C2!538$%548$!C2!558$!D2!568$%578$!C2!588$!D2!598$%5:8$!C2!5;8$!D2!5<8$%5=8$!C2!5>8$!D2!5?8$%5@ C8$"6A8$"8$!D2!5B8$%5C C8$"6D8$"8$!D2!5E8$%5F C8$"6G8$"8$!D2!5H8$%C6I8$"8$%5J C8$"6K8$"8$!D2!5L8$%5M8$!C2!5N8$%5O8$!C2!5P8$%5Q8$!C!5R8$!D2!5S8$%5T8$!C!5U8$!D2!5V8$%5W C8$"6X8$"8$!D2!5Y8$%5Z C8$"6[8$"8$!D2!5\8$%5] C8$"6^8$"8$!D2!5_8$%5` C8$"6a8$"8$!D2!5b8$%5c8$!C2!5d8$%5e8$!C2!5f8$%5g8$!C2!5h8$%5i8$!C2!5j8$%5k C8$"6l8$"8$!D2!5m8$%5n C8$"6o8$"8$!D2!5p8$%5q8$!C2!5r8$%5s8$!C2!5t8$%5u C8$"6v8$"8$!D2!5w8$%5x C8$"6y8$"8$!D2!5z8$%F D C6{8$"8$!89!hyXV5|8$!!5}8$!5~8$!E2!58$!89!h{V58$!!58$%(F D C68$"8$!89!hyXV58$!!58$!58$!E2!58$!89!h{V58$!!58$%(58$!C2!58$%58$!C2!58$%58$!C2!58$%58$!C2!58$%58$!C2!58$%D C8$!89!h{V58$!!58$%(D C8$!89!h{V58$!3!58$%(VD C V1!58$!2%1%58$%)*VTD C V,Y C8L"ZT6 CyVT[6 8$"8$! 2&Y C8L"ZT6 CyVT[ 8$%58$%C8L& C8L'C8L& C8L')*W*-4;Bi =Ol7eV(:L@$6HZl58$%58$%58$%C DW 8$%58$!8$%58$!8$%D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ 68$" 8$"8$%D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ 68$" 8$"8$%58$! C2"58$! D2"58$%58$! C2"58$! D2"58$%58$! C2"58$%58$! C2"58$! D2"58$%58$! C2"58$! D2"58$%58$! C2"58$! D2"58$%58$! C2"58$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C C8L#5 8$"68$"8$! D2"58$! C8L&C Y C8L"ZT6 CyVT[ 68$"8$%C C8L#5 8$"68$"8$! D2"58$! C8L&58$! C2"58$%58$! C2"58$%58$! C"58$! D2"58$%58$! C"58$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%58$! C2"58$%58$! C2"58$%58$! C2"58$%58$! C2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%C Y C8L"ZT6 CyVT[6 8$"68$"8$! D2"58$%58$! C2"58$%58$! C2"58$%C C8L#5 8$"68$"8$! D2"58$! C8L&C C8L#5 8$"68$"8$! D2"58$! C8L&F D C68$"8$!89!hyXV58$!+89 " "58$!58$! E2"58$!89!h{V58$! "+N89 "58$%(F D C68$"8$!89!hyXV58$!+89 " "58$!58$! E2"58$!89!h{V58$! "+89 "58$%(58$! C2"58$%58$! C2"58$%58$! C2"58$%58$! C2"58$%58$! C2"58$%D C8$!89!h{V5 8$! "5 8$%5  C8$"8$! D3"5 8$%)*VD C V 1"5 8$! 2& 1&58$%Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I(Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I(C8L&C8L&c C8L' C8L'Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I(C8L&C8L&c C8L' C8L')*W*----1.9{*..^^t:....|..4h.....-c(D C Y  C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @IC8L"XVd C8L#C @I( D C Y  C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @IC8L"XVd C8L#C @I( C2 D2$ C2$ C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C C8L#c C8L#      D2 C8L" C8L& C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @I(C C8L#c C8L#      D2 C8L" C8L&  C D2$ C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @ID2$C C8L#c C8L#      D2 C8L" C8L& C C8L#c C8L#      D2 C8L" C8L& D Ch C8L#+x89 "+f89 "      E2 +B89 "+189 "F+89 "C8L& D Ch C8L#+89 "+89 "      E2 +89 "+89 "F+?89 "C8L& C C8L"XVd C8L#C @ID+89 & )*V D2   C @(C8L&C8L& C8L'c C8L'C8L&C8L& C8L'c C8L')*W*-036>.W: G<#9Oe{+Ays c(d(e(D C@(D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @IC8L"XVd C8L#C @I @( D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ C8L"XVd C8L#C @IC8L"XVd C8L#C @I @( D2        C2 @(D2        C2 @(C2 ?(D2        C2 @(D2        C2 @(D2        C2 @(D2        C2 @ (C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @ (C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @ (C C8L#c C8L#      D2  C8L"C8L" @ (C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I? (C C8L#c C8L#      D2  C8L"C8L" @(C2 ?(C2 ?( C        D2  @( C        D2  @(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C2 ?(C2 ?(C2 ?(C2 ?(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I      D2  @(C2 ?(C2 ?(C C8L#c C8L#      D2  C8L"C8L" @(C C8L#c C8L#      D2  C8L"C8L" @ (D Ch  C8L#+/89 "+89 "      E2   C8L"+89 "+89 "     F  >!( D Ch  C8L#+89 "+89 "      E2   C8L"+o89 "+^89 "     F  >"( C2 ?#(C2 ?$(C2 ?%(C2 ?&(C2 ?'(C C8L"XVd C8L#C @I D  @((D C@)()*gd8L!?h?ld8L!?h?       CC A()*W D   C @( D   C @()*5 ^V(Y C8L"ZT6 CyVT[ C8L"XVd C8L#C @I()*gd8L!?h?ld8L!?h?    C C@(5 ^V6Y C8L"ZT6 CyVT[ C8L"XV d C8L#C @I()*WD C@T D C@+89 &)*W6C Y C8L"ZT6 CyVT[ 8$!58$! D"58$%C Y C8L"ZT6 CyVT[ 8$!58$! D"58$%WC8$!58$!D!58$%C8$!58$!D!58$%5? , + ,<, +C ,/+ ,1+ +Y ,l + ,+  >9T VD C V5 8$"8$!2%8$%58$%)*VnD C 8L"V89!89!2$ d 8L#68$"8$!89!89!h{V58$!89!!58$!5 8$!89!8q!89!89!2$ 5!8$%8L&d 8L')*VD C D C 8L"V2&E D C  +89 "2"6"8$"8$!89!89!h{V5#8$!89!!5$8$!5%8$!89!8q! +89 " 89! 89! 89!$ c()*V\C ^VC6&8$"8$!89!89!h{V5'8$!89!!5(8$!5)8$!89!8q!c8$!d(89!89!D2$ ()*VvC D C ^VFD 6*8$"8$!89!89!h{V5+8$!89!!5,8$!5-8$!E89!8q!c8$!d(E89!D89!C89!  Vd(D2&(V#D C V5. 8$"8$!2%5/ 8$"8$%508$%)*V?C C ^V/51 8$"628$"8$!D!538$!c8$!E8!c8$!d(D 2&()*VC 89! 8 # " 89! D2'c()*VC ^Vc(! D2&c()*VEC C8L"V89!89!@ C8L#T89!89!@ C8L#89!89!D2$ c()*VC C8L"D 2&c()*C W 'c( C2  D2$  D2$ C ^V@[8L"XV5Y#C8L"i 8L#    D2 Z(6 CyV8@[[()*V C C8L"  8L!D D2'c(WC E D C   Y89! #ZT+ CyV "D@[7 CyV"D8@[[Y #ZT;8 CyVD " "8@[7 CyVD " "8@[[C A 89!@@I(C E D C 64@65@@66678 h @h68@69@@h@A?2!CA@I()*V~D C E D C 8L"V2& d 8L#2"6:8$"8$!89!h{U89!h{V+5;8$!!89!h{V89!h{V5<8$!!5=8$!5>8$!F8!5?8$%c()*VpC E D C ^V\6@8$"8$!89!h{U89!h{V+5A8$!!89!h{V89!h{V5B8$!!5C8$!5D8$!F8!c8$!d(D2&()*V>D C6E ^V  2" @(YC8L"2" @Z(6 CyV  2" @([(C8L& C8L'C8L& C8L')*W*-036> ,T| 2Z",6Sp c(d(e(D C@(D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ @(D C Y C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ @( D2# C2#@( D2# C2#@( C2#?( D2# C2#@( D2# C2#@( D2# C2#@( D2# C2#@ (C Y C8L"ZT6 CyVT[D2# @ (C Y C8L"ZT6 CyVT[D2# @ (C C8L# D2# C8L" @ (C Y C8L"ZT6 CyVT[ ? (C C8L# D2# C8L" @( C2#?( C2#?( D2# C"@( D2# C"@(C Y C8L"ZT6 CyVT[D2# @(C Y C8L"ZT6 CyVT[D2# @(C Y C8L"ZT6 CyVT[D2# @(C Y C8L"ZT6 CyVT[D2# @( C2#?( C2#?( C2#?( C2#?(C Y C8L"ZT6 CyVT[D2# @(C Y C8L"ZT6 CyVT[D2# @( C2#?( C2#?(C C8L# D2# C8L" @(C C8L# D2# C8L" @ (D Ch!h @( C8L#+k89 "E2# +T89 "C8L"F" >!(D Ch!h @( C8L#+89 "E2# +89 "C8L"F" >"( C2#?#( C2#?$( C2#?%( C2#?&( C2#?'(D YWCC8L" W*-------------------------------------------0-T89! " C@(TTZ(6 CyV7?[[7?[)*V89! C C8L#89! D 2'c()*VC W*pppppppppppppppppppppppppppppppppppppppppppp-D C     D2  D C{V89!5F@[ @@( @)@ @(  {V5G@[ D2  D @ C@( n zV5H@[5I()*W*-036>FN\js&1:CLU`kt}%.7@}c(d(e(D C@(D C@(D C@( D2" C2"@( D2" C2"@( C2"?( D2" C2"@( D2" C2"@( D2" C2"@( D2" C2"@ ( D2" C@ ( D2" C@ ( D2" C@ (C? ( D2" C@( C2"?( C2"?( D2" C@( D2" C@( D2" C@( D2" C@( D2" C@( D2" C@( C2"?( C2"?( C2"?( C2"?( D2" C@( D2" C@( C2"?( C2"?( D2" C@( D2" C@ (F D C 89! 89!zV 5J 8$"@[89! C8L#E2" C8L" >!(F D C 89! 89!zV 5K 8$"@[89! C8L#E2" C8L" >"( C2"?#( C2"?$( C2"?%( C2"?&( C2"?'(D C Y C8L"ZT6 CyV@[[ 89! zV 5L 8$"@[ @((C YXC8L" D C 89!89!hD  89!8L!? C #89!8L!?  D 3  E#Z(6 CyV@[ CyVD6M8$" 8$"@[[)*V 89!1" C C8L# 89! D 2$c()*VD C 89"V 2& 2" @(()*V) D 2# YCC8L" F"Z(6 CyV([()*V89! C C8L#89! D 2'c()*V(C Y C8L"ZT6 CyVT[ D2" @()*VIC D2# D C89"V  @@(Y  C8L"ZT6 CyVc8X!T[ @ @@(5N()*V|C  D89!2  CU5O(D 8X!U89!^@(89!89"V5P(Y89! C8L"ZT6 CyV89! C8L#T[ 89!@ ^@(5Q()*C 8!}V?[W*-039-:Qh?de2Mp -D$ d(c(8%C DW!28!XV8!iy( 8!y(8!XV 8!}(c(8% 8!{(D C Y  C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ ^(D C Y  C8L"ZT6 CyVT[ Y  C8L"ZT6 CyVT[ ^(dDC3$ cDC3 X( C2 X( C2 V  D 2$( C2 U  D 2$( C2 XU  D 2$(D C  2 XU  2 V 2 XU  2$ (C Y C8L"ZT6 CyVT[iD4$ C Y C8L"ZT6 CyVT[ c   D 4 X(Ch8X! C8L# D2  C8L"(C Y C8L"ZT6 CyVT[ 8&Ch8X! C8L#d   D 4  C8L"(c 8""iC4$ c 8"" cC 4 X( C #iD4$  C # cD 4 X(C Y C8L"ZT6 CyVT[h @ 8""iD4$ D C  @!  Y  C8L"ZT6 CyVT[ 8" C   4$C Y C8L"ZT6 CyVT[h @ 8"" c   D 4 X(D C  @!  Y  C8L"ZT6 CyVT[ 8" C   4$5R 8""iC4$ C  !  C D4$ 5S 8"" cC 4 X(C  !  C D4$ D C @2 U  @2$ (D C @2 V  @2$ (C  ?2 U ?2 U  ?2$ (C  ?2 V ?2 V  ?2$ (D C  @! i C 4$D C  @ ! h C 4$ F EDC>!8" C W*-F E D C ED #l 8L!? $#h?h hCD8"?@@?>  C8L#g28L!? "#  2 C8L"(7?[ F EDC>"8" C W*-F E D C ED #l 8L!? $#h?i hCD8"?@@?>  C8L#g28L!? "#  2 C8L"(7?[c!hh@(?C@h>"2$ c!hh@(?C@h>!2$ 8! T\c8X!h8 8!C2$ C 2  XV>5T8$!8!5U8$! 8"5V8$!5W8$!C8$!5X8$!c8$%! c(C 2  V>5Y8$!8!5Z8$! 8"5[8$!5\8$!C8$!5]8$!c8$%! c(CC8L" G G F EDC  D#" Cih TC\89! D 89!89!zV5^Tg 8L!?  %  CU 89!TcDV 89!Vzg 8L!?$# D 8"?C C @@I CV5_8$!7$8$+!g28L!? "# 2 XV hyUV iyV C8#(89! C   C8 V/CV5` C8$!8$"6a8$"8$!7$8$+! c(d( C8# CV5b8$!7$8$+!g28L!? "#  2  XV hyUV iyV C8#(7?[)*8"!h Y\TS\8"! D CV" 1 V  1 V'dT" 1 XV 1 XVdVcZT8" CyV5ccT[()* 8""h Y=T4\8"! V 4 VdT 4 XVdVcZT8" CyV5dcT[()*c Y=T4\8"! V    4 VdT    4 XVdVcZT8" CyV5ecT[()*VJC )chh     4 Tc       3 Vd( D2$()*V9  C@       3 Vd( D2$ ( )* iA? 8""i4$1$ )*VJC )chh     4 Tc       3 Uc( D2$d()*V9  C@       3 Uc( D2$ d( )*" iA? 8"" c    4 X( 1$ )*V-C 8"       4 Vd(D2$()*V-C 8"       4 Uc(D2$d()*V9C C8L# 4  C8L"VVd(UUc(D2$X(5f8$!CV5g8$%5h8$%I(5i8$!CV5j8$%5k8$%I(5l8$!C8$!5m8$%I(5n 8$"6o8$"8$!!U5p8$%c8$%5q 8$"6r8$"8$!C "U!U5s8$%c8$%c8$%5t8$!CV5u8$%5v8$%I(C8L!cIcIcIC8L!cIC8L%E D C Y C8L"ZT6 CyV8@[[ F89! 89!zV 5w 8$"@[CV8 ! 8"CV8!c8L!?  "CV5x8$!8!5y8$!5z8$!7$8$+!cIcIc] g8L!?l28L!?   h]^!CV5{8$!8$!5|8$!CV5}8$!C8$!5~8$!68$"8$!89!h{V58$!!58$!V 58$!T58$!58$! 8!CV58$!c8$%! c( 58$% )*8! 8" D C# "h8X!@ @()* " WD ChA? 8"&D CiA? 8"&C C D E D C$c C8L')*89!8L!? +89 "" C8L"VA C8L#T A C8L#C>@I(C8$!8$"()*W)C Y C8L"ZT6 CyVT[ D" @(C Y C8L"ZT6 CyVT[ D" @(C &C89!8L!C&C8L"V C8L&()*C8L"V  C8L' C8L'C &C89!8L!C&5?6?6?6?6?ld8L!?h?h?h?ld8L!?h?ld8L!?h?l2?h?h?hh?h? ,),K ,+ ,P,+y ,,F+M+4 ,},,,,,  !#%(, ,+, + ,v+z6h? +^ ,,X.,t (35,(*+ + + ,*,H +j ,o,,,   249;D, q05u:u 8:<?ADHQ+ ?ACEGIK+?+@+25H+M&+%B+C+B+C+E+F+   -<?Nacegi>V9Twc 3&)* 8Q# "  C! 2&W##'+6 1%3%8Q!]P?(8Q!6 ^VU5 ^VJ5 ^V?5 ^V45 ^V)5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^Vy5 ^Vo5 ^Vd5 ^VY5 ^VN5 ^VC5 ^V85 ^V-5 ^V"5 ^V5 ^V 5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^V5 ^Vt5 ^Vi5 ^V^5 ^VS5 ^VH5 ^V=5 ^V25 ^V'5 ^V5 ^V5 ^V?(g(g(g<(gR(gP(g(gN(gI(g-(g,(g@(g (g#(g(e(gA(g8(g7(g3(g;(gF(g(g=(g>(g(d(g((g'(gG(gC(g?(gL(g+(f(gO(g"(gD(g!(g&(g(g%(g*(gS(gQ(g0(g.(gJ(gK(gE(gH(g6(g:(g1(g(g)(8Q!?(8Q!?(g(g(g2(g(g(g(g(g (g(g(g(g (g (g$(g(g (g (g(g/(g(g(g(g(g9(gB(gM(c(gV(7U ?[g' 3&)* 8Q#   C! 2&W 4%1%7U ?[5 , >9T )* i8U $58$%d 8U " ?(d 8U " ?(d 8U " ?(d 8U " ?(c(5(5(d(5(5(e(f(d 8U " ?(g(g(5(5(d 8U " ?(g(d 8U " ? (d 8U " ? (g(g(g (g (g (g (568$"8@[f 8U "j 8U "h 8U " A(f 8U "j 8U "68@[d 8U "68@[58@[f 8U "j 8U "h 8U " A?(g 8U "k 8U "i 8U "h8U " E @ D@ C@A?(g 8U "k 8U "i 8U "h8U " E @ D@ C@A?(g 8U "k 8U "i 8U "68@[f 8U "j 8U "68@[d 8U "68@[58@[5(g 8U "k 8U "j 8U "h8U " E @D @C@A(g 8U "k 8U "j 8U "68@[f 8U "i 8U "68@[c(c(d 8U " 89%58@[c(d 8U " 89%58@[c 8U "(e 8U "h 8U " @?(e 8U "68@[c?(d 8U "h 8U " @?(8L"58$!8$!c8$%8L&e 8U "h 8U " +89 " 89!@?(8L&g 8U "k 8U "h 8U " 8L"Vd 8L#+89 " 89!@@?(8L&g 8U "i 8U " 8L"Vd 8L#+89 "c? 89! @@?(g 8U "k 8U "h 8U " 8L"Vd 8L# 89!@@?(g 8U "i 8U " 8L"Vd 8L#c? 89! @@?(c 8U " h@?(c?h@?(g 8U "k 8U "h 8U " 8L"Vd 8L#8L"Vd 8L#c >?(g 8U "k 8U "h 8U " 8L"Vd 8L#8L"Vd 8L#d >?(d 8U "(d 8U "(8L&g 8U "k 8U "h 8U " 8L"Vd 8L#+89 " 89!@@?(8L&g 8U "i 8U " 8L"Vd 8L#+89 "c? 89! @@?(g 8U "k 8U "h 8U " 8L"Vd 8L# 89!@@?(g 8U "i 8U " 8L"Vd 8L#c? 89! @@?(c 8U " h@?(c?h@?(g 8U "k 8U "h 8U " 8L"Vd 8L#8L"Vd 8L#c >?(g 8U "k 8U "h 8U " 8L"Vd 8L#8L"Vd 8L#d >?(c 8U "(e 8U "h 8U " @?(c(d 8U " 89%c(c 8U "h @(e 8U "h 8U " @(c(c 8U "8L!c 8L#c 8L#c @(e 8U "h 8U " 8L"V58$!8$!c8$!7U ?[c 8L#c 8L# @(c(c 8U " 8L"Vd 8L#c @(e 8U "h 8U " 8L"Vd 8L# @(c 8U "8L!c 8L#c 8L#c @(e 8U "h 8U " 8L"V58$!8$!c8$!7U ?[c 8L#c 8L# @(e 8U "h 8U " @?(e 8U "68@[d 8U "68@[58@[g 8U "k 8U "i 8U " 89!A(f 8U "i 8U "h 89! A(f 8U "i 8U " h A(c 8U "hh A(e 8U "68@[c 8U "8L!c 8L#c @(e 8U "h 8U " 8L"V58$!8$!c8$!7U ?[c 8L# @(c 8U "8L!c 8L#c @(e 8U "h 8U " 8L"V58$!8$!c8$!7U ?[c 8L#c @ 89&c(c 8U "h @(e 8U "h 8U " @(c 8U "(e 8U "h 8U " @(e 8U "h 8U " @(e 8U "h 8U " @(e 8U "h 8U " @ (e 8U "h 8U " @(e 8U "h 8U " @(c(d(e(e(c 8U "h @(5(c 8U "j @(5(c 8U "i @(d 8U "h 8U " @((c 8U "h @((e 8U "h 8U " @(e 8U "h 8U " @(f 8U "i 8U " @)(c 8U "h @)(c 8U " ?(e 8U "h 8U " @ (e 8U "h 8U " @ (e 8U "h 8U " @(e 8U "h 8U " @ (c 8U " ? (e 8U "h 8U " ?(e 8U "h 8U " ?(e 8U "h 8U " @(e 8U "h 8U " @(f 8U "h 8U " @(f 8U "h 8U " @(f 8U "h 8U " @(f 8U "h 8U " @(c 8U " ?(c 8U " ?(c 8U " ?(c 8U " ?(e 8U "h 8U " @(e 8U "h 8U " @(c 8U " ?(c 8U " ?(e 8U "h 8U " @(e 8U "h 8U " @ (g 8U "l 8U "j 8U "h8U " >!(e 8U "h 8U "h h>!(g 8U "l 8U "j 8U "h8U " >"(e 8U "h 8U "h h>"(c 8U " ?#(c 8U " ?$(c 8U " ?%(c 8U " ?&(c 8U " ?'(d 8U "(d 8U " 89%c(c 8U "h @(5(e 8U "h 8U " @(e 8U " 6@(g 8U "i 8U " 89! @(g 8U "i 8U " 89! @(c(c(c 8U "h @(e 8U "h 8U "h @ 89&c(d 8U "h 8U " @(f 8U "i 8U " @(c 8U "(g 8U "k 8U "h 8U " 89!hA@(g 8U "k 8U "h 8U " 89!iA@(e 8U "h 8U " @(g 8U "j 8U "h 8U " A(g 8U "j 8U "h 8U " A(d 8U " 89!?(f 8U "h 8U " @(g 8U "l 8U "j 8U "h8U " @ (g 8U "l 8U "j 8U "h8U " @ (d 8U "(g 8U "k 8U "h 8U " 89!hA@(g 8U "k 8U "h 8U " 89!iA@(c 8U "h @(e 8U "h 8U " @(c 8U "(e 8U "h 8U " @(e 8U "68@[c 8U "8U @[g 8L!l58L!6]6]6666666l6666 + + + + +{ +k +F +! + + + + + + +h +R +- + + + + + + + + + +v +[ +J +4 +, + + + + + + + + + + +n +U +. + + + + + + + + + +| +f +P +: +$ + + + + + + + +} +g +X +H +2 + + + + + + + + + + + + + +n +X +B +, + + + + + +l+m+jn+.o+ + + + + + + +| +j +Rxz+ y{+z+{+ +}+U~+/ +( + + + + + + +++> +0 ++++{+5 +" +++ + +t+B+ +++^ +% + + + + + + + + + + + + +b +2 +* + + + + + +q +R +F +4 + + + + + + + + + + + + + + +x +p +h +Y +R +K +C +; +4 +, +$ + + + + + +> 8U  > + ?9TV5 C8$"8$!D2%58$%8$F%dhh8$8Q!@hhl 8L!68$!58$!7$8$+!T\YXV58$!7$8$+!89!88"8$8$+!W #/;COdk} $,4<Oc8!c8$!Tc8!c8$!T|c8!c8$!Tp58$!Thc8 !c8$!T\58$!5h]8$"8$!TGc8 !T@58$!c8!c8$!T.58$!c8!c8$!T58$!58$!58$!58$!58$!58$!5 8$!5 8$!Tc8$!T V489!89!8$F!89!89!89!iyV8L!c Tc TC8!TC8!TC8 !TC8!TC8!TC8!TwC8 !ToC ]i 8H#]T\C ]i 8H# 8L"XV18$9! @  8Q!@  @ c  8L# XVd TC8 !T C8!TZT6 CyV5 8$!7$8$+!T7 CyV5  D8$"6 8$"8$!7$8$+!T7 CyV5 D8$"68$"8$!7$8$+!Tx7 CyV5 D8$"68$"8$!7$8$+!TU7 CyV58$!7$8$+!T>7 CyV5 D8$"68$"8$!7$8$+!T7 CyV5 D8$"68$"8$!7$8$+!T7q CyV58$!7$8$+!T7 CyV58$!7$8$+!T5 CyV5 D8$"68$"8$!7$8$+!T7 CyVV89!89!8Q!"68$!D8$!68$"8$!5 E8$!8$"68$"8$!58$!5 8$!C!5!8$!89!89!8$F!89!89!89!iyV 8L!cT5"8$!c8$8Q!@5# D8$"6$8$"8$!7$8$+!T7U CyVV89!89!8Q!"6%8$!D8$!6&8$"8$!5' E8$!8$"6(8$"8$!5)8$!5*8$!C!5+8$!7$8$+!89!89!8$F!89!89!89!iyV 8L!cTT5,8$!7$8$+!c8$8Q!@T95 CyV05-8$!7$8$+!c8L!c8$8Q!@c +-89 "T[UO5.8$!c8$L%)*8$9!hih6/i YyTp\ 8$=! ] n}VDY$c  o c8$=!@@ 89!@ ZT56 CyV50 @89!@T[T] n c @UcZT6 CyV51 89!@T[ A(+W ,I +eh ! A92c8$P!:93caml_alloc_dummycaml_alloc_dummy_floatcaml_update_dummycaml_array_get_addrcaml_array_get_floatcaml_array_getcaml_array_set_addrcaml_array_set_floatcaml_array_setcaml_array_unsafe_get_floatcaml_array_unsafe_getcaml_array_unsafe_set_addrcaml_array_unsafe_set_floatcaml_array_unsafe_setcaml_make_vectcaml_make_arraycaml_comparecaml_equalcaml_notequalcaml_lessthancaml_lessequalcaml_greaterthancaml_greaterequalcaml_output_valuecaml_output_value_to_stringcaml_output_value_to_buffercaml_format_floatcaml_float_of_stringcaml_int_of_floatcaml_float_of_intcaml_neg_floatcaml_abs_floatcaml_add_floatcaml_sub_floatcaml_mul_floatcaml_div_floatcaml_exp_floatcaml_floor_floatcaml_fmod_floatcaml_frexp_floatcaml_ldexp_floatcaml_log_floatcaml_log10_floatcaml_modf_floatcaml_sqrt_floatcaml_power_floatcaml_sin_floatcaml_sinh_floatcaml_cos_floatcaml_cosh_floatcaml_tan_floatcaml_tanh_floatcaml_asin_floatcaml_acos_floatcaml_atan_floatcaml_atan2_floatcaml_ceil_floatcaml_eq_floatcaml_neq_floatcaml_le_floatcaml_lt_floatcaml_ge_floatcaml_gt_floatcaml_float_comparecaml_classify_floatcaml_gc_statcaml_gc_quick_statcaml_gc_counterscaml_gc_getcaml_gc_setcaml_gc_minorcaml_gc_majorcaml_gc_full_majorcaml_gc_major_slicecaml_gc_compactioncaml_hash_univ_paramcaml_input_valuecaml_input_value_from_stringcaml_marshal_data_sizecaml_int_comparecaml_int_of_stringcaml_format_intcaml_int32_negcaml_int32_addcaml_int32_subcaml_int32_mulcaml_int32_divcaml_int32_modcaml_int32_andcaml_int32_orcaml_int32_xorcaml_int32_shift_leftcaml_int32_shift_rightcaml_int32_shift_right_unsignedcaml_int32_of_intcaml_int32_to_intcaml_int32_of_floatcaml_int32_to_floatcaml_int32_comparecaml_int32_formatcaml_int32_of_stringcaml_int32_bits_of_floatcaml_int32_float_of_bitscaml_int64_negcaml_int64_addcaml_int64_subcaml_int64_mulcaml_int64_divcaml_int64_modcaml_int64_andcaml_int64_orcaml_int64_xorcaml_int64_shift_leftcaml_int64_shift_rightcaml_int64_shift_right_unsignedcaml_int64_of_intcaml_int64_to_intcaml_int64_of_floatcaml_int64_to_floatcaml_int64_of_int32caml_int64_to_int32caml_int64_of_nativeintcaml_int64_to_nativeintcaml_int64_comparecaml_int64_formatcaml_int64_of_stringcaml_int64_bits_of_floatcaml_int64_float_of_bitscaml_nativeint_negcaml_nativeint_addcaml_nativeint_subcaml_nativeint_mulcaml_nativeint_divcaml_nativeint_modcaml_nativeint_andcaml_nativeint_orcaml_nativeint_xorcaml_nativeint_shift_leftcaml_nativeint_shift_rightcaml_nativeint_shift_right_unsignedcaml_nativeint_of_intcaml_nativeint_to_intcaml_nativeint_of_floatcaml_nativeint_to_floatcaml_nativeint_of_int32caml_nativeint_to_int32caml_nativeint_comparecaml_nativeint_formatcaml_nativeint_of_stringcaml_ml_open_descriptor_incaml_ml_open_descriptor_outcaml_ml_out_channels_listcaml_channel_descriptorcaml_ml_close_channelcaml_ml_channel_sizecaml_ml_channel_size_64caml_ml_set_binary_modecaml_ml_flush_partialcaml_ml_flushcaml_ml_output_charcaml_ml_output_intcaml_ml_output_partialcaml_ml_outputcaml_ml_seek_outcaml_ml_seek_out_64caml_ml_pos_outcaml_ml_pos_out_64caml_ml_input_charcaml_ml_input_intcaml_ml_inputcaml_ml_seek_incaml_ml_seek_in_64caml_ml_pos_incaml_ml_pos_in_64caml_ml_input_scan_linecaml_lex_enginecaml_new_lex_enginecaml_md5_stringcaml_md5_chancaml_get_global_datacaml_get_section_tablecaml_reify_bytecodecaml_realloc_globalcaml_get_current_environmentcaml_invoke_traced_functioncaml_static_alloccaml_static_freecaml_static_release_bytecodecaml_static_resizecaml_obj_is_blockcaml_obj_tagcaml_obj_set_tagcaml_obj_blockcaml_obj_dupcaml_obj_truncatecaml_lazy_follow_forwardcaml_lazy_make_forwardcaml_get_public_methodcaml_parse_enginecaml_install_signal_handlercaml_ml_string_lengthcaml_create_stringcaml_string_getcaml_string_setcaml_string_equalcaml_string_notequalcaml_string_comparecaml_string_lessthancaml_string_lessequalcaml_string_greaterthancaml_string_greaterequalcaml_blit_stringcaml_fill_stringcaml_is_printablecaml_bitvect_testcaml_sys_exitcaml_sys_opencaml_sys_closecaml_sys_file_existscaml_sys_is_directorycaml_sys_removecaml_sys_renamecaml_sys_chdircaml_sys_getcwdcaml_sys_getenvcaml_sys_get_argvcaml_sys_system_commandcaml_sys_timecaml_sys_random_seedcaml_sys_get_configcaml_sys_read_directorycaml_terminfo_setupcaml_terminfo_backupcaml_terminfo_standoutcaml_terminfo_resumecaml_register_named_valuecaml_weak_createcaml_weak_setcaml_weak_getcaml_weak_get_copycaml_weak_checkcaml_final_registercaml_final_releasecaml_ensure_stack_capacitycaml_dynlink_open_libcaml_dynlink_close_libcaml_dynlink_lookup_symbolcaml_dynlink_add_primitivecaml_dynlink_get_current_libsI%Q}  -Out_of_memory)Sys_error'Failure0Invalid_argument+End_of_file0Division_by_zero)Not_found-Match_failure.Stack_overflow.Sys_blocked_io.Assert_failure:Undefined_recursive_module,really_input%input@F@@G@&outputACDF@ACDG@%%.12g!."%d%false$true.bool_of_string$true%false+char_of_int/Pervasives.Exit_j_j_j_j_j_j<5Pervasives.do_at_exit@(array.mlD*Array.blit*Array.fill)Array.sub,Array.Bottom@)List.map2*List.iter2/List.fold_left20List.fold_right2-List.for_all2,List.exists2@@,List.combine'list.mlK-List.rev_map2#nth(List.nth"tl"hd@"\'"\\"\n"\t(Char.chr@5String.rcontains_from4String.contains_from2String.rindex_from1String.index_from +String.blit+String.fill*String.sub@)Sys.Break&3.10.1@@ %Lexing.lex_refill: cannot grow buffer @@ A@@@,syntax error.Parsing.YYexit3Parsing.Parse_error@%$name%#name@!,! ! !0!(# | !)!{# + !}$new #in $tau."?(")."!(").![!="!="].!(!)8Piastnode.Ill_formed_ast@!, #end!(# | !)(switch {!}(context " {"} %this(").$def % => (") $new !.% <= (") %join !.% <= (") !(!)/if (cond) then %else !; "?(").#^?(")."!(").#^!(").;Ccastnode.Ill_formed_ast_cc@!,"+ "+ "+ "+ "+ % *** & *** X'****** @@@ ,: Number of arguments and parameters differ!@@ @@@@@@@@@@@ 4 *** EQUATIONS *** / *** EMPTY *** 4 ***************** )- #pars: *- #rests: *- fnouts: *- bnouts: *- fninps: *- bninps: )- tests: (- taus: (- sums: $tau.!(") ![!="!="].!(") "!("?(").!(") !)#Fn(#In(!)#Rn(!)#Pn(!)!X/Equations.Error3Equations.NameClash6Equations.WrongNumArgs6Equations.UndeclaredId@!,"+ "+ "+ "+ "+ "+ "+ !_@@@@!_@@@@@@@@@@@@A@@@@@A@"$x@@@@ 0*** PROCESS *** 0*************** 5- COMP - restricted: ! ) fnouts: (fninps: (bnouts: (bninps: &taus: 'tests: &sums: ![!="!="].!(") $tau.!(") "!("?(").!(") !)#fn(!)#bn(!)#in(-Process.False-Process.Found-Process.Error0Process.Found_fn@!_@@A@6Iterator.No_more_comps8Iterator.No_more_reveals7Iterator.No_more_reacts@!, $true%false$void!>!<"=="!=!(# | !)!($ || !)%not (!)!(% and !)!($ or !)!($ => !)!(% <=> !)".('reveal !)".(*revealall !)".(&fresh !)!@".('hidden !)$<> (!)$[] (!)!<#> (!)![#] (!)$!> (! (! (!)% (!)%[!] (!)%[?] (!)#> (! (!)%[*] (!)".('exists !)".('forall !)((maxfix !(!)".("))!(!)((minfix !(!)".("))!(!),eventually (!)(always (!)(inside (!)+show_fail (!).show_succeed (!)!(!)!(!)!, !, $true%false$void!>!<"=="!=!(# | !)!($ || !)%not (!)!(% and !)!($ or !)!($ => !)!(% <=> !)".('reveal !)".(*revealall !)".(&fresh !)!@".('hidden !)$<> (!)$[] (!)!<#> (!)![#] (!)$!> (! (! (!)% (!)%[!] (!)%[?] (!)#> (! (!)%[*] (!)".('exists !)".('forall !)((maxfix !(!)".("))!(!)((minfix !(!)".("))!(!),eventually (!)(always (!)(inside (!)+show_fail (!).show_succeed (!)!(!)!(!)!, !_!_"!(!)"?(!)"!(!)"?(!);Formastnode.Ill_formed_form@!, % and !(!)# = "; (defproc !(!)# = ) defproc !(!)# = ) defproc !(!)# = !,!, !(, defproc cc $) = $here"up$here"up$here"up(defprop !(", !)# = "; ) defprop !(", !)# = !_7Wrong kind of argument!7Wrong kind of argument! *Number of arguments and parameters differ!@@ ,: Number of arguments and parameters differ! ,: Number of arguments and parameters differ! ,: Number of arguments and parameters differ!": @@@@@@A@@@ " > FAILS: The following process < 3> does not satisfy # < 2> Number of hits: = < (press return to continue) % > SUCCEEDS: The following process < ,> satisfies # < 2> Number of hits: = < (press return to continue)@@-Unfolding... ( steps! ,Found after -Unfolding... : - Parameter show_time is %on - &off - > - Parameter check_counter is %on - &off - $ - Current value for max_threads is # - # - 3 - Listing formula 0* NOT FOUND! * # - 3 - Listing process 0* NOT FOUND! * 3 - Trace option is %on - &off - ,: Number of arguments and parameters differ!2 *** PROPERTY *** 2 **************** / Processing... 1 - Time elapsed: ( secs - ; - Number of state visits: # - + * Process !(!)* satisfies1 does not satisfy- the formula = * (press return to continue)# * 2Checker.Undeclared2Checker.Wrong_args0Checker.ErrorMsg4Checker.UnguardedRec2Checker.MaxThreads"#X@&always#and"cc"cd%check-check_counter%clear'context#def'defproc'defprop$else#end*eventually&exists%false&forall%fresh$help&hidden"if"in&inside$join$list$load+max_threads&maxfix&minfix#new#not#off"on"or)parameter"pd"pi%procs%props$quit#rec&reveal)revealall&select$show)show_fail,show_succeed)show_time&switch#tau$then$this%trace$true$void, ZA#C_0QM `A Z "" Z B  ( $"  &% #!))))))))))*))))())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))++++++++++,++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++,+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ B("'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''')))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))'***********************************************************************************************+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, @&parserA@A@A@5trace clear help quit 5defproc defprop check parameter list show load cd pd )$|= (4'and ; |)#= (4@@@)#= (/ [,]* )/ [,]* )) Warning: Unused restricted name 7Repeated name in input 9Repeated restricted name )#= (4 L [,]* [,]* [,]*, [,]*8Repeated parameter name &Repeated propositional parameter name @B@A!_@!_)`      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ@@@        ']  &\  /c-be[utqrsj2P .%63_`zwvyx1d7X$f|}hklopmnQVKB=54^~SN8YAiWGL+T;9@?*ECJI @?v7SzPZwti ::= sBW( +<EKL )??9MTROn{}~DUqFI**SV g   #'+,.0<*-3Dv 1E IJK>=?FGX*^s!huDNuRSL TUWMOP:VQYZ^1`X['a\]&@CDN_bg hc*efiDNjklm;DNHdpYsuonqrtvx wy z{|~G "( &/ }O}}758$/s}Ar9>% @2wTS6*+ UV23$Nh  H;lYPQr(msMRMMM>)HM<><MM>F><MDa><I<Z!5(<   S6M):H5MM:>F:a:D7<:?49:;<=>@ABCDEFGHIJKLM!{:"{{={{{5*7{{>6nu6w8.xy/018{#$+%, +-2c3JKMNLO+94:@WQXA () [\]6^&'xy_T`abBcdX-efgh./Cijklmnopqrstu\]D^01QRUVE_`a{`FGab|czRd{|efgh1ijklmnopqrstu\]}^R|R|_R~`abc|dOOggefghUUijklmnqrstu\]^RR_`abcdefghijklmnopqrstu  #%&'()O*+TW[\dX]gjbf^k_o}peq~aZ,Y",0v#! 89d` (   qrstu_{ +   "$  44 GGRRG4^GdOPQSTGGWXOPQSTGWXV~G GGG4GG#    e##! X  GG4G/6!8!G  ?@LMNG68   G$%BC GG $%pq "G$ GGBCBC G]G "$G3G5;G?@ADEFGHIJK<= 4  G !"G&'()*+,-./012G4  G   >GGG !"4&'()*+,-./012G GGG !"&'()*+,-./012  !" &'()*+,-./012   !!! !! ### # #  " $ "$     # # 4  U    VUG7  V      :Zhh##7!#4>7GGG USCORENEWRECINBANGQUESTIONPIPEDOTZEROSELECTLBRRBRLPARRPARCOMMATRUEFALSEDBLPIPEVOIDANDORNOTDEQNEQIMPLIESEQUIVREVEALLTGTLPARRRPARRTAUSTARFRESHHIDDENREVEALALLFREEEXISTSFORALLMAXFIXMINFIXALWAYSEVENTUALLYINSIDESHOW_FSHOW_SDEFPROCEQDEFPROPCONVDEFARROWPISLCDLCHECKPROCSPROPSSATCDPDTRACEONOFFPRINTSHOWQUITSEMILOADHELPCLEARPARAMMTCCSTDEFCCTXJOINUPCSWITCHIFTHENELSETHISENDCHOICEEXCHANGEEOF8IDCAPS_IDFILENAMEINT@! % *** SPATIAL LOGIC MODEL CHECKER *** %*** v2.01-Nov-09 *** "> > - Listing parameters - max_threads show_time check_counter 8 - Current directory - " 8 - Listing processes - 9 - Listing properties - 7 - Listing commands - Adefproc ID[(n1,...)] = (and ID[(n1,...)] = )*; ) defprop id[(n1,...,P1,...)] = ; , check [(n1,...)] |= ; ( parameter [ [new_value]]; 9 list [procs | props]; show [id | ID]; load "";5 cd ""; pd; ' trace [on | off]; clear; help; quit; .Undeclared... & >>> 9 <<< Unknown identifier: & >>> 8 <<< Incorrect usage of & >>> * <<< Unguarded recursion found in process D <<< Unable to perform check - topped out on number of threads >>> & >>> 8 <<< Incorrect usage of & >>> 9 <<< Unknown identifier: > <<< Ill formed process! >>> > <<< Ill formed formula! >>> & >>> / <<< IO error! % <<< %Line !!( column $ >>>; Context: *************** 1*************** 8 <<< Syntax error! >>> " +Expecting: % <<< 5Syntax error in line !!( column $ >>>; Context: *************** 1*************** 8 <<< Syntax error! >>> +Failure... , Exiting... @ @ @@@^d4@@%ArrayAj@@)CcastnodeA@AB@$CharA@@'CheckerA@A@)EquationsA@@+FormastnodeA@ABC@'HashtblAL@@(IteratorA"@A@&LexingAQ@BD@$ListAy@@'MclexerA@A@&McmainA2@@(McparserA@AB@'NamegenAX@@'ParsingAU@AC@*PervasivesAd@@)PiastnodeAq@A@'ProcessA@@(Std_exitA3@AB@&StringAH@@#SysAK@P-Match_failureCG@ABCDEQ-Out_of_memoryC@@R0Invalid_argumentCC@AS'FailureCB@T)Not_foundCF@AU)Sys_errorCA@BCV+End_of_fileCD@W0Division_by_zeroCE@AX.Stack_overflowCH@Y.Sys_blocked_ioCI@AZ.Assert_failureCJ@[:Undefined_recursive_moduleCK@ABCDF`o)%Array0<ՂO Ӎ &Lexing0y4d4Dv-+㠠)Piastnode0"ԷҲ\ xg+Formastnode04+ΪK(F&Mcmenu0"E ͆m5(Iterator0>vJ/&h%0bk $Char0K<Z-B*Pervasives0Me%_A W&String0,*-G.!'Checker0Hs?ax:Ԡ$List0&WEiH#Sys0 1951()Ccastnode0 >etpJ`V(Mcparser0y8 7BE!(Mcparser0y8 7BE!(Std_exit0̬Q ;M27#Obj0\,i.#M'Parsing0b̡QdY|>)Equations0UaUӌנ'Mclexer0*X-Q:7Hq='Namegen0 >Brij+8s'Hashtbl0?,O" 'Process0P6σ.i'C?&Mcmain0౮DYy.@CODEDLPTDLLSPRIMDATAI9SYMBrCRCSCaml1999X008