<@> lincserver-(3tytmsignatsequentdefn defclause clausetype Efobt -->lam @fvarltruelfalselandlorlimplalllexistsleq constantseqsg indcl coindcl def defcl  current_def serve !"#$%&'(''')* '(''')*5678889:;;< =>?@AAABCDEFFGHIJKLEMMMMM:NOPQR*ST)UVVWXYZ[\\]^_`abcdefgMMMMMMMMMMMMMMMMMMhiMjMMkkllmmnoMMpqhhrstuvwxyMMMz{{h|}~3'(''')* !"'(''')*  3 !"'(''')*'(''')*'(''')*W[ !"'(''')* 3 '(''')*     ++++++++++++++++++++++++,-../012343 '(''')*     8>>    >SpyF  >Leaving  >Entering  >Success  'Hypotheses or goal must be of type o! Type  undeclared! Definition clause for  is not well-typed! E_>>    >SpyF  >Leaving  >Entering  >Success  >>    >SpyF  >Leaving  >Entering  >Success  >>    >SpyF  >Leaving  >Entering  >Success  'Hypotheses or goal must be of type o! Type  undeclared! Definition clause for  is not well-typed! E_>>    >SpyF  >Leaving  >Entering  >Success  'Hypotheses or goal must be of type o! Type  undeclared! Definition clause for  is not well-typed! E_>>    >SpyF  >Leaving  >Entering  >Success  fail-node success-node flex-node  [  --  ] Error parsing last line  Top of Stack = ** Error parsing line  Top of Stack = file ends before string * ...    ""   / \" "/* Tokenizer stopped after line  first X X :- terminal X. .    'Reduce-Reduce conflict exists between  and ! when top of stack is of form  and lookahead symbol is **Shift-Reduce conflict with  and * exists when top of stack is of form  and lookahead symbol is  ! When the stack is of the form 9 do you want to (s)hift or (r)educe (default is shift): parse [,'B|Alpha] [A|Beta] Result "reduce" :-  memb B (bols :: ), memb Sym (eols :: ), first Sym A, !, ( ), parse [ ,B|Alpha] [A|Beta] Result Str. parse [,&B|Alpha] [A|Beta] Result "shift" :-  memb B (bols :: ), first () A, !, parse [A,,B|Alpha] Beta Result Str. shift s  reduce parse () [|Beta] Result "special" :- !, parse () [|Beta] Result "reduce". r parse () [|Beta] Result "special" :- !, parse () [|Beta] Result "reduce". reduce r  Enter Expression:  Scanning for tokens... Parsing  .sig.mod sig . accum_sig , lambdayacc. module . accumulate . Computing Valid Handles... No reduce-reduce conflicts. ;No remaining shift-reduce conflicts; generating rules... "parse [bofs] [A|B] R "shift" :- first () A, parse [A,bofs] B R Str. -startparse START [bols] [A|B] R "shift" :- first (%START) A, parse [A,bols] B R Str,!. 8parse [Sx,bofs] [eofs] Sx "accept" :- start_symbol Sx. *parse [Sx,bols] [eols] Sx "accept" :- !. , parse V I R "error" :- !, finderrline V I,9print "Remaining Input = ", print_tokens 10 I, !, fail. Parser written to file. specialspecialspecialspecialspecialspecial.mod freshcopy X X. freshcopy () ( ) :- !. freshcopy () ( ) :- !. freshcopy () ( ) :- !. freshcopy () ( ) :- !. shiftreduceshiftreduceshiftreducerightshiftleftreduceshiftreducerightshiftleftreduce: Error generating parser. Please press Ctrl + C to exit>>    >SpyF  >Leaving  >Entering  >Success  'Hypotheses or goal must be of type o! Type  undeclared! Definition clause for  is not well-typed! E_seqhypgoal()\truefalse&;=>pisigma<=>:,.kinddeftype->=oindcoind%leftleftleftleftrightrightshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftshiftacceptacceptreducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereducereduceerrorRemaining Input = file ends before string * ...    ""   / \" "/* Tokenizer stopped after line  >>    >SpyF  >Leaving  >Entering  >Success  o( -> ) ->  -> truefalse( & )( ; )( => )pi sigma  = ( )x_(:\)type  . hyp  . seq . goal  . %% Sequent   kind  type. ind  <=> . def .  truefalse =  (  &  ) (  ;  ) (  =>  )( pi  )( sigma  )x_:\   %%  %% ()  ()x_:\Failed in opening file  Definition loaded! Definition not well-typed! ,Parsing and abstract syntax translation OK Type checking OK 121111 Enter expression: 1112 Enter invariant: 111121211 Enter expression: +Unification succeeded! List of unifiers: New signature :   Applying unifiers to sequent 9 Flex-flex pairs found! Unification was not performed. Unification failed. 112 Enter invariant: ok Instantiation ok 1 List of clauses: Instantiating clauses... ok Instantiation successful  Body of definition:  failok() ~temp.seq ~temp.seq  |-> , [] Unifier :  Z_normalizing sequent Invalid sequent: . Applying top-rule to sequent  $Applying and-right-rule to sequent  $Applying imp-right-rule to sequent  #Applying pi-right-rule to sequent  Applying bot-rule to sequent  )Applying weakening-left-rule to sequent  #Applying and-left-rule to sequent  "Applying or-left-rule to sequent  %Applying sigma-left-rule to sequent  #Applying equality-left to sequent   112112>>    >SpyF  >Leaving  >Entering  >Success  o( -> ) ->  -> truefalse( & )( ; )( => )pi sigma  = ( )x_(:\)type  . hyp  . seq . goal  . %% Sequent   kind  type. ind  <=> . def .  truefalse =  (  &  ) (  ;  ) (  =>  )( pi  )( sigma  )x_:\   %%  %% ()  ()x_:\.rule .cur.def.in.seqInput sequent: Applying rule:  substring :  hypList hypothesis:  .out.seqok .out.seqOutput sequent: .synsvr.txtok hyp-contr-l hyp-weak-l hyp-and-l hyp-or-l hyp-imp-l hyp-pi-l hyp-sigma-l hyp-eq-l hyp-def-l hyp-ind-l atomic formula:  inittopboteq-rand-ror-r1or-r2imp-rsigma-r.in.fopi-rdef-r def-r-instcoind-r.in.focontr-lweak-land-lor-limp-lsigma-lpi-l.in.foeq-ldef-lind-l.in.fofocus focus-eql def-r-clause.in.fo def-r-one .main.foClause chosen:  def-r-select .main.fo .main.foHypothesis :  okxxxxXXXXXXx)*9(d4   x< d<    l8dPaalPH x<tPPtPP  l0 S[[[, L  4 H \ l[![#--[/, 12@2223 3 3( 3< 3P 3`[4>>[@, BC<CCCC D D$ D8 DL D\[E[JL0LMN8[N[SV@V`^_p`4`\a+{|,{-{.|[,[\h\[[[T[H[HKL N0O< /t01[[[ǜ[$[ [[L\\l[[([[[[[, H  0 D X h~+w+v,x,<,p s,y,z-[-[.LP../444t04d1L1h114D2,433L3h33[R `nnPnno8p`q4rrtHuwXz@{ {|}~t[x@[0[`[[d[ $4`[[$  [L[^     @ \[H^[[Xh ל X X L Řʘ̰͔Ȥ4dh$Ό$$hDm4l $mgXfZH^HS<TZY[\RxQQQ$OOOpOTNNOjXhh^]|\5=X<;&>%=$<#<"! }\|{`zxzy@|t$mTj,i isftd c cT b ` _`^\@WULVVTLSRRQhONNMLL JIKB@|@4> 98T1//8-$('X%%%%%$%8$ ##<"--,++"LH0`H,LDxt\d4.0-t-,phon0mlkjilhg f<e ,dcdba\`_^0] \[ Z5Y XWVU\TXSRJIXC8BA@4?>=.<:9p8L76,5+L4+x*X)IP'&%$x# "!( D0d8l4p   ( X tl@,|d0$Fr4F;@@;L@X@;h@qF;@rF;@;@qtP3FsrF;@;(@4@;D@qДtF;@rRH;B<Bp l2#<   XX<0FrLF;X@;d@p@;@qF;@rF;@;@qh3Fsr(F;4@;@@L@;\@qF;@rRH;B<Bp l2#<   Xp`    $l2'$$111`W2'$$$#Y&$l $l'$$X$l'$ $  $l'$ $$l'$$`l#%%#%%###%%% % ###%%% % ###%%% % ###+% %% ###+% %% ###+%  % i &ii i i i i i i  ll#%%#%%###%%% % ###%%% % ###%%% % ###+% %% ###+% %% ###+%  % i &ii i i i i i i #< Dl#%%#%%###%%% % ###%%% % ###%%% % ###+% %% ###+% %% ###+%  % i &ii i i i i i i 48l#%%#%%###%%% % ###%%% % ###%%% % ###+% %% ###+% %% ###+%  % i &ii i i i i i i D# ,!$ltl#    #    L.'(p#,  .((".(puz  wv.'#+67-sq.('"puz  2"  "0i  #  "0i  "0i#    4wv.'(p2"0i#++"  #    ##  +"0i#     4sp22@3$$#Y&?$7 @$l'$A$8D$l'$E$ F$l'$G$B$l'$C$8l#    488ԅ#    9<.'(p#,  .((".(p>>>!r.''q> >3>hr? h'$.' ''q##     + ##' #      #&   ####"!i +#*K #*  #*L  %5.'( (!($p=>@BA@A3@hpl2'l2#PM   ###   + #"i#;  + #&i    "0i#   5Ah((!p2@|#")i#  +i   ## +  #"i#;  + #i      "0i  5 BDhBC4.'(.'(pC.''".'"puz   wvC.'.rC!!rC!!rD!!rD! ! rD0! ! rDD! ! rDX! ! r! ! r D#    l#    48DDFrDF;E@;E @E@;E(@qDĒE\EHF;EX@rElF;Ex@;E@qE4EFEEE3EFsrEF;E@;E@E@;F@qEFHF4F;FD@rRFdH;FpB<F|Bp l2#<   XFG    N$l2'$O$11H`1HW2'$P$$#Y&Q$H R$l'$S$IV$l'$W$ X$l'$Y$T$l'$U$It3IdhqIh'%.(((p IPwI3Ih3IhrJh(%.(('p2IP2%I"0i   mi"0M   mi"0M#(  i   FܗJKKJK3KhsrKK(h(%.(''pl#( E4J،Kh'&'%Kh'%qJؔKK2%IJؒLL(LL(L.''"puz   wv.''q#  +M.''"puz  LvMD.''qĽl#  E4## + *NlMNdMN4.''".'"puz    wv.''.''qsq#  +N.''qNsrNONNܒN3NhsrOh(!.''p2N"4i   #    #i    FܔP.''"puz   wvPX.'(p2!Ptpl#  ,E4l#  E4QDPh.(pl#  E4"4i#   *sq#  +Q3Q|hsrQh(%.('(p2!2!QhR,3Rh3R(hrRHh(( R\h(!.(p@|l2#;   #  i  RS`.('.170spuz wvl#    E4STDSSS3Sh3ShrSh(!.''Th(%.('pSU .(( ( p      2# V 2 # V 2% ULl2%E#.  Ws.(''!+3UHhrU`V U`UUth'UhUh'Uh3UhrUh''#Uh''#Uh'%.(qULUhUVV8VV8V\.q.''".'".'"puz    VvssrWhWhW$hp22Vl+W|h'(#p2VVWs!+!+3WhrWs!,!,3WhrX(s..Xh!,3X$hrXLs!-!-3XHhrY ..Xh'&'%pl#(,,i  2%D#(  TLY ..YDh'&'%pl#(,,i  2%DL̛#.#(  i   WZs..Zh'&'%..Zܫ$l2#<   X،l#Y&$ ,\Xd\      Pl#/  +l#P    $!lo+,\lp+l#R  l#R        ,  0l#P    ܅lq+l#P    ܅lr+l#0  +W    RR    l #T  l #P X X      ̅RPX W  ` W    @  ̌ l #1 +W#  *"0i s*l#P          W|l#1  +l#P    (l#1  +   H        ܏ ȅ   mii   +d(a H   mii   +a            $ D   mii   +lt+ua |       8Pa lv+!lw+mi#Q  i  +$a@mi#Q  i  +a  #(  *  !l#P  mi#Q  i  +alx+mi#Q  i  +a#~  *amii   +y$l#Y&z$25i24Ŭǀ{\d 3h3hrp4h'5.2'.3'Mdhqh(5.2(.3(Mh(M(.pV 2 .240P 2 42 2 4  l  $(t 3ˆh3”hq¸h'5.2'.3'MhptЅ ,h(5.2'.3`h(M'.p2.tmii   + h(5.2'.3,h( M'.p "0i  *"ei  * i  2. t2.tl Th'5.2'.30h'M'.ptdh'5.2'.3'MŘh'M'.qt3h3hrph(4.='M(Mp2MXl#=   ,ŬƄh'4.='M'Mƨh'4.=pŬ%t3h3hr0h'M(.p2424ǔǰǔǬ3Ǩhrh''4pl&|ǀ&25252Mp#2#3i%L&ii  i%K %M  %i  Ȓ3h3hq h(7(5(h(8( 6p l#2#3, M.  +l  +2. H2.   l#    +  pl# i &ii%N # .# i  i i  1 4L3h 30h(M(.3Dh(M(.?pl#!#A# i &ii i i%} i%N #-.i  i% i  1 5̅4hh.(-4h 4h(M(.4h(M(.@pl#!#A# i &ii i i%} i%N #.# i  i% i i  1 7p5h 5h.(-6h 60h(M(.6Dh(M(.Apl#!#A# i &ii i i%} i%N #}.# i  i% i i% i  1 87h.(!7h(M(.7h(M(.Bpl#!i &ii%N #!.# i  i i  1 9؅8h 8h(M(.8h(M(.Cpl# #A#!i &ii i i%} i%N #-.i  i% i  1 ;`9h.(-:h :(h(M(.:h=8h =Lh(M(.=`h(M(.Fpl# #!#Ai &ii i i%} i%N #.i  i% i  1 ?>h.(>h >h(M(.>h(M(.Gpl# #!#Ai &ii i i%} i%N #.# i  i% i i  1 A@h @h.(@8h @Lh(M(.@`h(M(.Hpl# #!#Ai &ii i i%} i%N #.# i  i% i i% i  1 Ct Ah.(Ah Ah.(Bh Bh(M(.B,h(M(.Ipl# #!#Ai &ii i i%} i%N #}.# # i  i% i i% i i  1 DCh Ch(M(.Ch(M(.Jpl# #!#Ai &ii i i%} i%N #.i  i% i  1 F@Dh.(Dh Eh(M(.E$h(M(.Kpl# #!#Ai &ii i i%} i%N #.# i  i% i i  1 GF\h Fph.(Fh Fh(M(.Fh(M(.Lpl# #!#Ai &ii i i%} i%N #.# i  i% i i% i  1 I̅ Hh.(H(h HuTh(M(.uhh(M(.jp li%K&ii%N l2 Mi%L&ii%O   .l2>+"i  i  i i  1 x vh.(=vh.(?vh(M(.vh(M(.kp l#?i &ii%K i%N l2 Mi%L&ii%O   .mi2 =i   +# i  i i  1 y x4h.(?xTh(M(.xhh(M(.lp l#?i &ii%K i%N l2 Mi%L&ii%O   .mi2=i &i+#  i  i i  1 { yh.(yh.(=yh }zh.1(z0h zDh(M(.zXh(M(.mp l#?i &ii%K i%N l2 M#=i%L&ii i%O   . l2 ?#    +# i  i i  1 } {h.({h }{h.1(|h |,h(M(.|@h(M(.np l#?i &ii%K i%N l2 M#=i%L&ii i%O   .l2 ?# &i  +# i  i i  1 L }h }}h.(}h }h(M(.~ h(M(.op l#=i%}&ii i%N l2 M#=i%L&ii i%O   .l2+#  i  i i  1  hh.(=h.(!h(M(.h(M(.pp l#!i%}&ii i%N l2 M#i &ii%O   .mi2 =# i  +# i  i i  1  $h.(=Dh }Xh.(#xh h(M(.h(M(.qp l#!i%}&ii i%N l2 M#i &ii%O   .mi2 =# i  +# i  i i  1  h.(!(h(M(.#   +# i  i i  1  Dh }Xh.1(xh h(M(.h(M(.wp li%K&ii%N l2 Mi%L&ii%O   .l2># &i+#  i  i i  1  h.(@h.( h(M(.(h(M(.xp l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2 @# i  +# i  i i  1  h.(@h.(!h(M(.h(M(.yp l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2 @# i  +# i  i i  1 p h.(@h.(Ah(M(.h(M(.zp l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2 @# i  +# i  i i  1 < h.( h(M(.h(M(.{p l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2@# i &i+#  i  i i  1  Xh.(!xh(M(.h(M(.|p l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2@# i &i+#  i  i i  1 ԅ $h.(ADh(M(.Xh(M(.}p l# #!#Ai &ii i i%} i%N l2 Mi%L&ii%O   .mi2@# i &i+#  i  i i  1 L h.( h.( 0h(M(.Dh(M(.~p l# i &ii%N l2 Mi%O&i   .l2   # i  i i  1  hh.( h(M(.h(M(.p l# i &ii%N l2 Mi%O&i   .mi2 +#  i  i i  1  h }h h.(-h h(M(.0h(M(.p l#!#A# i &ii i i%} i%N l2 M#@# i &ii%L i i%O   .2 .0#  i  i i  1 8 h.(!h.(!h(M(.0h(M(.p l#!i &ii%N l2 Mi%O&i   .l2 ! # i  i i  1  Th.(!th(M(.h(M(.p l#!i &ii%N l2 Mi%O&i   .mi2!+#  i  i i  1  h }h.(h.(-h h(M(.(h(M(.p l# #A#!i &ii i i%} i%N l2 M#=##@#!i &ii%L i i i i%O   .2 ! -t# i  i i  1 ( h }$h.(Dh Xh.(xh h(M(.h(M(.p l# #!#Ai &ii i i%} i%N l2 M#@i%L&ii i%O   .l2 A#%   +# i  i i  1 \ Dh }Xh.(xh h.(h h(M(.h(M(.p l# #!#Ai &ii i i%} i%N l2 M#@i%L&ii i%O   .l2 A#%   +# i  i i  1 ̅ xh.1(h(M(.h(M(.p li%&ii% i%N l2 Mi%&ii%O   .l2# +#  i  i i  1 $ h.(h(M(.h(M(.p li%&ii%N l2 Mi%}&ii%O   .l2+#  i  i i  1 ̅ @h.1(`h(M(.th(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2# +#  i  i i  1  h rh.(h q0h(M(.Dh(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2+#  i  i i  1  h.(h ~h.(h(M(.h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2 ##%   +# i  i i  1 P h.(h.(h(M(.h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2 #   +# i  i i  1  lh.( h sh.(h {h.1( h(M(.h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .   2" -,l2#   +#  i  i i  1  h th(M(.h(M(.pl#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O .l2#+#  i  i i  1  0h uDh(M(.Xh(M(.pl#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O .l2#+#  i  i i  1  h.(h vh.(h(M(.,h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2 ##%   +# i  i i  1 ˆ h.(h wh.(h(M(.h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2 ##%   +# i  i i  1 x ¤h.(h xh.(h(M(. h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2 ##%   +# i  i i  1 8 Ŕh.(Ŵh yh(M(.h(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2#% +#  i  i i  1  Th.(th zȈh(M(.Ȝh(M(.p l#i%z&ii%y i%x i%w i%v i%s i i%~ i%q i% i%| i% i% i%N l2 M#i%x&ii%w i%v i i%~ i%r i%} i%| i%O   .l2#% +#  i  i i  1 ą h.1(4h(M(.Hh(M(.p l#-i%&ii% i%{ i i%N l2 Mi%&ii%r i%s i%} i%O   .l2# +#  i  i i  1 | h h(M(.h(M(.pl#-i%&ii% i%{ i i%N l2Mi%&ii%r i%s i%} i%O .l2#+#  i  i i  1 h Θh rάh.(h h(M(.h(M(.p l#-i%&ii% i%{ i i%N l2 Mi%&ii%r i%s i%} i%O   .l2+#  i  i i  1 l Єh.(Фh иh.(h(M(.h(M(.p l#-i%&ii% i%{ i i%N l2 Mi%&ii%r i%s i%} i%O   .l2 #   +# i  i i  1  ҈h.1(Ҩh(M(.Ҽh(M(.p li%&ii% i%N l2 M#i%|&ii i% i%O   .mi2-i &i+#  i  i i  1 ؅ 0h.1(Ph.(-ph(M(.Ԅh(M(.p li%&ii% i%N l2 M#i%|&ii i% i%O   .mi2 -i   +# i  i i  1 d h |h.(-(h(M(.p?AC|DȐFHGIԐKMOdQdS@UWYH[]|_|aPcPe$g$hjkmHnoqr4rsPsu v|x y{}T\0xDܐTȐ@0dԐ,ԐXŀ@̐΄pthp$ XR2.X2'l2#P  ҝ 23ӝԝ3hrh'.-H====; 10@@@@p ՝l MMMM&֝l MMMM&םě h'.-G4===;0T@@@p؝lMMM&ٝlMMM&ڝě,h'.-F@==;/X@@p۝lMM&ܝlMM&ݝě̅h'.-E,=;}<@pޝlM&ߝlM&ěh'..D'Mpě$h'M'.qĒp    ⨌+L.  +xl  i  i i    ↊    i  i i    ᆊ (    +x,ą  i  i i    䆊    i  i i    ㆊ     i   i i i    憊      i   i i i    冊 l+i   i  i   ꆊ l+i   i  i   膊     +x, 萅    i   i i i    솊      i   i i i    놊 Ѕl+i   i  i  i    l+i   i  i  i    ąW'W'll$FrF;@;@(@;8@qԒlXF;h@r|F;@;@qD 봒3FsrF;@;@@;@q렔2XDF;T@rRtH;B<Bp l2#<   X(    $l2'$$11p1W2'$$$#Y&$$ $l'$$$l'$$ $l'$$$l'$$串l#    D#    H.'(p#,  .((".(puz   wv.'#+677sq.('"puz  2"  "0i  #  "0i  "0i#    wv.'(p2"0i#++"  #    ##  +"0i#     sp22|<38hrXh'(#p#   %###* %$!r.'q"i#   #####*#*  #*  %.'(pȒ3hrh(!.''p.'(!(#(pl2!i  $!r.''q33hrh'$.' ''q##     + ## #      #   ####"!i +#* #*  #*  %.'( (!($p3hpl2'l2#P   ###   + #"i#;  + #&i    "0i#   h((!p2#"i#  +i   ## +  #"i#;  + #i      "0i  4t@.'(.'(p.''".'"puz   wv.'.r!!r!!r!!r(! ! r|hh.'>-0hh.2.3.'=h.'? h ,h.'=-0 D=kh dh xh.2.3.'= h h.'?-0 =kh h h h.2.3.'? \h  ph.1' h } h.'= h h.'-0 h. h.2.3.'? Xh  lh.1' h } h h.'-0 h. h h.2.3.' h h.1'h }hh.'@-0h.0h.2.3.'>ph h.1'h }h-0h.hh.2.3.'@0h.' Ph`h.'@-0x=khh.h.2.3.'@h.'!h(h.'@-0@=kh`h.h.2.3.'@h.'Ahh.'@-0=kh(h.Hh.2.3.'@hh.' -0=khhh.h.2.3.'@8hHh.'!-0`=khhh.h.2.3.'@hh.'A-0=kh0h@h.Xh.2.3.' h.' hh.' -]hh.2.3.' !r2d.'#.1'r2.'#!qr2.'#!tr2.'#!ur2.'#!yr2.'#!zr3 .'=!r3(.'=!r3D.'=!r3`.'!r3|.'?!r3.'=!r3-3=;3@!r-3=;3@!r33ȓ23302H2l2222ܓ11ؐ121100@0d0000ԓ///Ȑ/00/4/P/l:sq5h N5,h58h(M(.fp.i%N&ii  2 6#(  *2l2#;   2M2.22 2  2  2 . 2 M  H6h L6hr6"U/OG2!l2#T   U 11/O F7ą"U/O2!U UU/O/O1/O111   1 CԒ82!P$2!l2#T   1111B9`"2AD:2"0i  *911@:"2?l#Y&$?X?d\??\?      @0`#  #*"##*# %Hlmi"M,=2C#, ,!$$$,%$n <n nH!.''!'#3n #*? ##        #"0i %-##*@ %###*Ami"0M &i "0i   H؅!.((!(#(p i, , #$l2#P B # , !,$l# ,  ,   2 l 2! 2mi#i     i &i+Ѕ!.((!(#(pl2#P C l2#P D i,,#$#, , !,$l#% , ,E$2l 2! 222!2#L22 22l 2 !   2   2  mi#i &i   #i     i &ii + !.((!(#(p  i  &i2D2 \w "0i  F####      +B#mi"0Mi &i  "0i   #mi"0M &i"0i   #*G #H!.((!(#p i,,#$l2#P H # ,!,$l# , , 2 l2 !   2   2#  I $#Y ZHJ $ 2D2  \w"0i K####      +B#mi"0Mi &i  "0i   #mi"0M &i"0i   #*L #H< .'(!'#'p i, ,# $# ,!, $ l# ,   , 2 l2! 2H=kh'#'Dq#   +B#"0i#++ !+ #+   ##  + B#"0i#  +  "0i###%        "0i    #   Hh''#.''!'#' q  ##      +B#"0i#   +   "0i###%        "0i#     H8.(. 'p2#2#l HhXhq.'. 'hh.. 3hq .(. 'p2#2#d2#2#dl l =3hhhq . (p#, !$#,%2/l2#  +i   #  2i  2#2#dM$#Y̫N$3=kh3hr=kh'%((p2#t2#2#l pp3h3=khOrh''#q#&i +#### +D+mimM"0MmiM      "0i  P #   H>3hsr h(#.(. (p 2) 2!2 82 ( X#"0i %,"0i %- ###  +##   +# #      #H #X2  l2 #Q l2 #<  l2 #T l2#P#PQ  R S23T22 2.w#i%N&i2M25l#  +3hsrh''#q#   ̗88.'Xhhh.q.'(p2#$li &i ?!w<3,h38hrą\h(!.('p#   *h'!.''h'!.qT0h'%.('qdh'&'%qsq.''q.''"puz%  xvPh'%.(''px`h'&'%q3h3hrh'(#h'(#pIPtL3=kh.''!'#'3@hrt=kh(%((.(( !( #( pi i,,#tl2B#    +# ,!$#  , #, $2!l2B#   +#  2C2 mii   +l#;   (D(@3