SQLite format 3@ N.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @-x4L ]/ HOL-SMT_Examples:threads=4elapsed=134.203cpu=323.352gc=6.6807zXZִF! ]ŗXiɟH)0!h]~Ee\ ,@߀x?-d/\ߕ;A )m7/R<}p`he@I6$>+ ӡ=ux D6Zoλyܫ i/@15E,\[YVUT/N{˝_:]Ԍ-Awɠz8zk61pe@ ܎vHǦ4j.`TÚ#%}F#ϧŷ`n2qU:|< E @{wG!K[!z]**=ٶWLk+hW1G/!I%DD8gP*W$AT@͒++25;x29Ə)Ep*ۂ-.%!kwxJ犐".DQ}Eч|ҝ Y_^XMzB3{v2]I7ȊxJHBJ<&U&I$iF,XMSv@HΖFblHk(IGs5_<͸jE$Ce r&,i+,qKR LB=|@-9Xqa#^tx"~M3Y&確* ZYY7MLVEi aۈV' @#鿊@wTnd"mǝї l?=6SO)%@[@=Zin(thF7zK lbفYB&=@cy.T[ԵX=Sqf࡛1)87~iiiɈ'9uIfUmM``Y8  $m@ Ù\i⣮@v,Fؔ|/:[bluS70wfT56'^̲MtW_1کBap+FN&H5at<(;g*[IZhX;R=Hep%4_Iҩ6op>ʋfXә^iT?.zu# zlZ7k4 M2ۼw+y:b73T?5ՙrA B.T+Ev-ujK|D. HvU[rن+c'*iH4TSGT1y&Hāilʳ?a3<%nRLΈ #"6n%oF<|ȋO2=oo V,gPɶ0)PWF2O-FZTcs|9U=Q)``yހ)[U)MDI@vOΜ\4x8h?6Mé?QREYaaw$oR`b| 'QdK*1"7x_ijCX ҏGM| 1zO=8L7j>1BTEE.*#wԠP r~+= c]¯rSxс_0h}hxBP^TZ$lr*)tΔsOࣱCSv=,JLoɆMg8j%Rθ3ǟ VrO+CWƴƉV2\(wpPrQ7/s}&x w_VjCS)R 6<%&X?Fmvw<%-l{Mӡ|a=dq7=uz1]p_{E.n*x)Sb~(l_G9'ϘG ܶ2hA7\$@J<j6vs1c&]fqMx#TBdbd'˰gѡ_<\c=p LwG!gOHH~ҝ%At%ሾPz␒Ox]NaPP~]=1VB 'N%SP#W|dnveYG5XI@{Rw%UkQoґM3ؗPv.*}8s)؂گ^<ݟ瓕H:!/+|խʛ b v5X1HtB>+`n|0d$81ݐse<+*hn/,ufI/νbn=!q}C*+$w'݆ x k"/ɂ?*-gw~"7IDt߈*+ÚЅa pؔo5u!RPAdψIx_StYޑC{a``{Ҕɵϓڌg,1ib~!hӘn@JLDb8j2šB@^*X}G Vfu,'rRCW%!uGc[R+rՍ.Y[|z)} 4*T)Q9ՄhlC0}\ڄ ⯯Z8ʆS>K/_Ubc]i%m8 DQb'vcG3#j-J?`b&[GvE[o{{3ߕBHw9yο{9`ܻ‰>~Zr֧ت)Hq<(?A^9~֊ZGM-X$l$w$(Dn-cۺؓ?M21ٓleMY4>N)uI[>dp4]/d5: $5jȹ㔨ٶCkTcgwki99 %+C킨ܟ[ma@l)g8KC09Њ77&t8FUZnwdLL - HOL-SMT_ExamplesH! -A9 {j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYe@#2"1!. -,+*$#!      %_! @  z P    T X } -Oa%  I3--'HOL-SMT_ExamplesHOL-Library.WordPIDE/messages%1--#HOL-SMT_ExamplesHOL-Library.WordPIDE/markup$7--/HOL-SMT_ExamplesHOL-Library.Worddocument/Word.tex#=-A'HOL-SMT_ExamplesHOL-Library.Bit_OperationsPIDE/messages";-A#HOL-SMT_ExamplesHOL-Library.Bit_OperationsPIDE/markup!C-Q#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_ExamplesPIDE/markup 9-=#HOL-SMT_ExamplesHOL-Library.Phantom_TypePIDE/markup:-;'HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/messages8-;#HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/markup:-;'HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/messages8-;#HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/markup>-C'HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/messages<-C#HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/markup@-G'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/messages>-G#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/markupK-ACHOL-SMT_ExamplesHOL-Library.Bit_Operationsdocument/Bit_Operations.texV-QIHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex:-;'HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/messages8-;#HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/markup;-='HOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/messages9-=#HOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/markupC-M'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/messagesA-M#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/markupG-=?HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.tex@-;3HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex E-;=HOL-SMT_ExamplesHOL-Library.Type_Lengthdocument/Type_Length.tex M-CEHOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.tex L-G?HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examplesdocument/SMT_Examples.tex E-;=HOL-SMT_ExamplesHOL-Library.Cardinalitydocument/Cardinality.tex G-=?HOL-SMT_ExamplesHOL-Library.Numeral_Typedocument/Numeral_Type.texF-S'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/messagesD-S#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/markupR-MEHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex=-A'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/messages;-A#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/markupX-SKHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_Veritdocument/SMT_Examples_Verit.texE-A9 HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Testsdocument/SMT_Tests.tex   ȀSXFT< J4)-7ڡ6$6(kք2zq&%-mh2(D0L&-g4lG%kwhnc-/-b/> Pհl'##׎}(<MezmmLDp}٘i>qpRWa(䠆,i7_n5&!}~BKq-C`zn[xͤԜ χ` [„֖Qh' Hx}h H H`-`95ڄ@U2㟶+rMC,QefPO ^ RX:!L'51lMR'ؠSTѳЯFWkSHeszKF+[YU1>%ADp٥6 (rNŮT,~H‘eܶPuA"Q lL7e^!BW6^e<&6²|3Xe/E%u::iؿVx Sv3hϛdͻ,S9hd?OU!_\iv}GJ0|/l`P l_)H$VUy↋ vzcfϳ9Rq cM"=ػLknOiFlZ);2#" h@'c*a>eҬ3 Skuri2Gnؕ~*fC$-_Nw.Ѡ{FmUf}LŨGםW`ƃi~]O&>GxN)|gƨM*|/+J=x:)TBj-n_^Vܫom\LZtI0Ky[>'4D}BZ8X4]B+eZVcE^{mH#ݸ3C #)+_ rK ~1[o,9d|"pn[o2g!+?Q,>΂z 9\ENe@ sXOR}Tbpxб?n lV:|Wl0TX\("{tT~[~+f^&;-{; :GHbzf /lI]9zVpڐ]U2=}58%ژ ߰`AeD} ?bj&ۺb¼F3Ƣv|.sRY`>j'yq+Uԅ.xWLQqu\Io)tg2:u+lOܢ'm:ӭ="E$:8UvngܸSg/#0©߂b  E|~!\yP}@kH«$oq s'dvqU1{D8!(#oAڨK=~^dW}'ir^pM٢ { /DB^Hxy ^p6c=[4R iXRG_]* 4W ߅Px ۊk)cG >8'扔x@2[wLB lz'QIhgOuDoD&-D ;C|sq\&u}dSHNuhv+S b(7LKOּIG5fF RI3.^֑gEi5;Msiչ.M8XԇqS::z7Fؔ^͇ZVgv?D%L\}eħ )쑗Ҁ]V V_Xv qP%`DY=ӭ,lZ!o0o/hXIw&6zeⶮ.I6l,jD%}/nWRE֨{کlzo7:1;6qҩQq=:$&[C=kf/uO r32( 9>O$OC>rB`3s:3lH(lG0PK@7kŴ%>>' \h7m\jipǗϩ0 zz ÊG-k9G7+G7}>F.IT,`&L|+u>|bH u*; }TĄć^p? wU_fuQr?>|"8,;VN*z9c!^ KN&*trIM^9zUI8DB!nR#B$5UaL$!!BԦm<`N1ǣ9}m{ k#p9.]cyP[i AJĤh( 5!vd7FIL,sZl/ỹoVKΝkmre ;vh@2Fb7#bG|:*XÒE O;@SSiWhTr(wp\|=_%,!iP݌ᱜ_:8XS'K ˀ$㗊ew Rps-/DoFr"s!1: ̸hC@ס"a!0]8a8Bw+{I4hOR<[nJ2.4vfPFa]cfe+4\Mr (`qo1_{gM7lKJFFޤl)`K쥫hntVE*$S2g| <"Q~GD0G),YT>u:im٦ T?ITݗ'tgg-ڐTT[#9 LD{IP@˱v؉fHZ8>WiŎna@n|K* 9XӀE V-zq S9a>uiKҽ2<^^`oG,73`а;'1 Ҏ:%HF72_l'x!a+zSI˙b,^w 9vsAea\PWCQ-BRYBz:х:VJkKɰy8X[]}B=ܞPlT1_?t>3 Xy"R_Ro-I/e7ZHWC7Y/_ `PI`ܩ̌llTFD}*O wYWʇ'"3o5ݎވ}SDžC|&yvTT Ft&; 2&?O UB{7i~ᆦNj i= Q(H ~lݢU{ qc6|g[tzxGoUk=VTȇ?YnLHS?J@\B\*,y/P>;)7ȧaX۱f]muU[|wp" !mMzj C i~[4#"pJ'.q6k% |;iҶv=9cG\̻I6n)4PHUmq :^9x`G q异 HKAt?VN샵®!$rpwTLNJ,`m{jHEsrl~ 4ptΚe; 䮬@ʄ#0B>Z4S'nXǝY !(>WJ_ H3:?I:dCr2Bi2XVC(*PH +<r-- x=&Wgx6p@KH-+ՋCnc9( 2-$X|;B z`Oa_"t[7˓Zoױ $la~uc#iO )4MGUK5 W ۗ@uI 6A4jl/di>^^p@=dD(:Gѹ<'C?GD:^h98M>{+ A֧ýV&v:ɜɆ@C#Ns Z7=:/IEq2WΓSIRUF&g2J_R9/' M'vZyU$12RZ8@JUs6A3"s\bsHTP69\grUH áiG|#Y.))^1osD {xCf9-zhHR^拭?Yd!+[P7 |yP ]+:;W;UTSáݺqqNJ6c5M~]ܷC7J1&P~9WaV"DC#Q DTi%,dTExj[",ubek/[}@E0_fnPc5qX?'<_42گZ҄iUG^ɔS'f$Aʓh:ǭ;mW"sd!tpk 㮱Az~3Snlgsay EZϹV>Ot!y _Bԭi`Ό սvаY}f bRm8orUP;f/OG4r=p0I|iH 7-K (-b./K\M-'2.נ^+ j'դ7'_ %[) gV8;'vK:qA{benjBK0h4;v=7ס0"DA( ud$4 ],NjC]IbHt_W\7\JRmtl7 KQ`~  Ei'E-m\BnU3bog%~F+@Nʩ6{N<'"#ؒz6b4DR02lr^ ,CVIᏏ#~Pc;-\92ir{ԯ1R_%L *Kc|ڵ)ȰtH Qf@‘T8%)YuL}8s of Ƨ@p Vu.26ۄX{<=4 o{ x{)h@N5kqi>_ jNJK+Rj 1`24_uX@ M^#B ˤ6}dtmG4~@8[͐松"T^y\dw+xdixb>z"[i+he5H5HfxMk3 σ(\&|#‡y/2FWG 5L=Q _ H՞݆Gn @UȘ#1M;NX:Jn(/I'h#>s >1^dҘe0SC6CF˽۷?5Ũ^8À֝%cL\вo2#WlJqn@|%ܸi_gPO;x{(WSfs=WX7D +d^ZARJ1bJUX#M@rrNb.t<~iE9,:Ns4IYy -s,j3Мe׬g{$ tJTDPmF\f>*UþNVBӲ^ѽ7U:}: 1vS̰b\٦\/ε#lG!el@fz_rB;@pJ3Gz89.㘇7n>BK,܄MSC5/ y wjrRUP&:ĽlmF Dz2d<=In 2OފmdIJ%T'No1 4W|W4}y.fe~VLr#f$ȹk<1bu7;:1b1n33PQ~תK&'t(#xRbxcB/,? %F1f gfR2Clܨ8~Ox@8+]ZFqBj uHhBUۉ?UI/>Duo<,`Bv I$$#6*+͗ -% zI..~nYV/&#JFxÖ-w'y(x(nv)m FaI BJ4gYZ gF{3 0ɥፊ7Cb.CSn6[kԎ3H);[$ 3z#O8cdﻸ8PQHG=P5;b0 ]Y b~rdlو(DcMFH͍ж4MnEm؆24})r/m Pc[iFw<.|"o%qY+ݞ̎i{GߑF=cU&.akHTe}QbLn)"+NF|jHa];ބ)وc>MDEqk#Y\"׿cinSȻ),+ CRۖIpRȃj'{HHr,F 8FKY"ڂT C5>@{60jWkϵ3j~BF&C%ʩJcfB fcm#"^m]A[4 `*P&.b!θq}z՛_քP kc[vl38D&qk΋卍iE\̗!oJR;d!/9Ѣ:/7a<0rՂN! &[OFTBEWR&1%ܔA*?uJ*Y kӼ̀Wgiȓ*QujΣOMٺk[7<^,,yQ-Ə27x1n)9]LsrH1Q[}Ni~Xsv]Pd,Ѣuv:n˒!$I(]FqJ(GޘCnK²$BQ%Nl,wG-ֆ ~Jt'y\P9x!|MC!ᝉlr>Z|>if ڝ7 }{^VeرbDWs <,#r:,J匦5Л}tm icvgq(:$.%ZOuu3'2{fkIRRWx+XVu [:bVQ &rۑQ5%*md(_TGWn1,3y}$X 3L= ZbS79J T>KlûagFQlmGjP"9X.KUa.lQ3|x]-c=vm./]lйPf5Q9>UӲ7 ^[ny@4$;Jжy#jQY4ͪf,0CP&/7o> <yR` u,,DeKVOHdaBCSP{Ij,fxZ -OҪY~Ӂw&/& >zJ mG]%F;DACe0H;8ASaطq,@_IjG*ÎGPxޅU/tTg銛Jo l!@В?S: }:"=<m *`| jv|H.6"D~&?hu Z9Y`MrU/!U V-gWLRypx^8[m8:߻>=VX5Kh Dڢw?&*:A b]t:o'=e6>L6w凼1ǜLvUYe]C`hoe0 Ć|Yb+? T` =n,ǻ^[%5 qF HZH\SMfBU=,J_kni5cԖ,:ٶpĵ{~-P>~̽K{gKd*9Xeә p2dΥ<&df݇\ )ͤhL9&@6 D\RH rOVvGԺl [F2M=;YKȍQ3Wv:LLJT{$VQK, Ly<&kS&n*u^{";Kbw\^`Z\Fv(YxՈDg>$PzD-xjAM\Cv|aE3"$[5V?s3=Tͮu.Қ=NY +TΣsA[Q6G Y/T:ZK"g&qu>{´gJBY7o0iM3kKhZ]$u+v} 馹`)1$uǫ;GW '-d[XuOz--OAjR>.G1€Ȁ;eoN2K,zjkkOs;+ZD/]BRy*swNa)J2*7"m#sAzX0VZrdi;wf߆7Eb}>v ֳwZ="P&l=7 No3 ^s+;"Jq۠:U=/d@\s,& c)+^#P[ &1gv)+Aĵ9*Җj{'!0zp[gԑ'0Ǫ1-w$ƀ>pys^1$)FbJJu;|nQֲX)"Mטs#jkrT˔ l-$2\+؊Cctε*Y:4,٤eZLN-EJBBN/ג_Z.?=E Ndv-?x{ (ڔi&NKbo sK}ƃ)2jWgΏ1N&#HWj MwkLa{IzFV 9=Τ'iGr(DaU{BeHj:&hZQ",ȊLu$7 DsyR8Dv/q0;kxMP\̇R /ijVLXJ_&"N90;]s9֠`F7xzL 9#8Pe Ɛܵr,AT̹jLOC2 㫽TirlYBC 2I ّhG'1]&赭[i=mNc_^{j`EN$~rZsטM1-3l8ӆgyUo 06ax^DJD 0Y ԵM^Fh!U }BY֫K'& gFjm#Բj5aʿ{9nh% .Ҩytyo"A҅b3c6z Zphtz!%an͵0%^^dk v0f> IʩTG+>_ rdEt;īP@2swa\Xtu9+B[] el#p޶gEIkvB )temnY}I(04Bb P;4Aе0&8NfVw OZ̸idxּ֯q QDR,T[o\X° &h+0b9oK_@t9|ֆ!B /j0sSgK׭XײQhVcTjC0GyA9i1o nCtc@c4oWuC XK;/TSԸA5I 4,@0yp?Vת~H6Ӹ9~ {1:?njpac)e7:AoƟboeD{+ `O_bÄ.9c|tHN()ƒI/Jx#QK fqvJRd*>PT8L;^m Q8#+o$Wa+ꗙוeNKND[ߝ2,ay̘^WXviꃓEpGk̍N(5CFP^<6B]A#مcըRiM1hq+=AqĘmh!`h*;AޒְvF e3.{T6:xc ds3m['}(9gBӌj'r:y}쬤Yb{N!ɶ #㹍6!?7ϡVם]/FN/DϤ7 > zH2g T}$7 ¡OT/}6 /v3LOrcF\ ^yP;9Y^*|ղk!NXD OWHU"W2Lq_AYV<&⡮sbaS~ͿZvH;D58Pl4 OB9j^vłwCϋ#cq41T|ѣAqNс:6G,X}re4PGRGlCVplwSNñxJ$QBIh ;h@_^"hL i͔S''I !3Lqlqy0.: 9GQrN+h`-1F2f~yH$G^8Ssj~#  ]M>b7:kv&2d0@l9G. penu庱ai FUA7<18q]P b::prK4=dB2HW)HFjz:fH_%gAG-&.< hXco'lɘ:>.{xƱ*$d3q;LؿaМ^U1IQ&Z/twAW#! .v9g4t!,91`Ծ!4E A8Q_[/FoF󿸻5/)u:l|Ii>r[a2:fx;3+v̽ a|מJY>dp9ZO32Mh+@O T8\nUٙm@(;0qƒ(߃F-􄭆čk@34~5%[ Wn*z끔YGesq&wԁ=F|.K4 o @b[ő94SR~qC-_pv̑6!`*S[jSj}w YNGTN1Kt ѻ)}"j tZw*,e{W?'@l&/DC /+캫u=OsD% l/3tH9١g!λس4_LZ)?S&i]Da6ad@`U~ac&${ inSЕ}Y˘M gj]PdZo=Lw (-n˗cvp{WEFNBQ9t&zo؆HJD^̅Z0SJO=L,ww"ȶlDҐA#tk>qU z=B==˙nW?U 9KJ?0vf7WYr8ͱgYZ  ! -A9 {j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYeWzBsZch@:D!||4lck aVOtrG}";{J͸}~ۖ#<0d \ ~~s -SK E0;񁮃U,U{d&!<"zGzopC+=*[Ʀaܮr\koS;ޖݵF ̼Bާ#R&فM^GSt?RI`/6\ L4H rºsJڅ[_P$NCt7J_H- b D+۹G~2hdj9 HCnS>DmX?I4;Rz(Mmw|PYmr@84KKKdt="QUI3!SsTG"IqrhLT8ibu F7x˱#iW A]%J`GǹblxnZn Fʤ*$FϼPmjfzoIIS톶U HAm}qiUq _~nH9aPN@VYV`Plždw7XJLA ֜@3G$zd*.tTdQ}.r~! com-zd:;vXL[t({wm8MOD!sB5[ϙp},~JS ,4+2;]NT_keDPUjM,a`+^:t4r3[;hHFFVnbV&V" &RD5> MDgE҂Ƀ@[R]8 j6 qxyʮnNdӰɨp[vEYyw/%#F#x@=G}3Ia}8ub,c om Tf{M:I%>H <~ uDz!ġ '݊oھ)燕pdH1SND۱ڇ݈fEP#A tYA:< ߉G$Q|.msDCu6MP읧)Bp`+"gtxY5e6@q N57҂H$HK ;>C29%%!4Vsw KcV=KҳP;WeaÄ˕E(rצD%lٹtVtjUH?<M#&+™ #\?ªc< ԅ|RbpH+MTK,bfDcRe)gHzxu=Zq Yt7kJUC 4xH۬^ m) 4O֪=_ Vq),.nU߫prv"ܢ$O)T $+JչKz*x#@!2qéԛPCK?y8 ޤȵONn/d=~1l5@ $:c19S a8`{ /=2z>#hLZdD=(=]x6Y_DnG\h *Uh0w/Qb,:;E}ΩG2tcsĸ~rWyЌov^]b:{F'b;6qd@\%s4zDikTJ&φ<ƛݽJiهK^b;ʚ'Pu%qW{hptyu &uj 1:frt8q)>4fb)_T`A66` wLQ^H#0Ғd*6J'w~X長1͵)ѕ̍]ijn?&pjwhnscT.Iĉh[TrsH"]i|ohehs! 6>Lc 0YuD(ʋu*[L΀d+t+xtΏM9{ y(Ef"X% v6qJTaC9ZS>MxgŠ|=\# t8ÚuާK;jЌ.wކ׽Q k2 ]TUGG_ZW >|||΃l hO!T1:儎qw܊(m1&fBv:Z%s)/.Q[#9E?p,7+ W1S+,S,b2@~Ŗ[]F\T[5h*$]i=4k~\&wOH9D CX$_>Ma{3no/,U{@V, c5 7 zZR6C? -iNςT(qySX,w]]nƔKC6 xrn]%XM NEJLr?l}_C;dm뒮ʑ0D6Qp`GLپ!}8i>_{i`Vt'd׉zTF^qj?EdthCύs q'Ak{G+XSyͮOĦj(O?Y=6 "6/wibɐ$" 2r^yV*^:-z,+ihŊy {UYM|"J}DDzCi3pJ?n}ӣ ]>xV"MҪZ)Z譓v,h2˖3?iSlÏ$ͥ6Q=H$o4qH( ϻ58K5($J׈]K\=mLnTm3 hњ&W"i!l؀7{ӽ4(Zܗrg8 L|g Y Tii+c`qG'Ss-:SK^Iqf<>KU:ܜ6Ve|Am/ aziJS[Q6gJJA ˜p}ė*pmXx.!,vX$1Sj<2<%{G=T5VUhSc FNRI \!0guv:Y?Ǩw!ZsPFOq8`n97DU1kg#E* @^&1mXWKC}Inhȴy;d@aamvT9վ.VMX5Pr,U+*E5pŽGjYaz-7SӠpQ1<.b'(UzR/.JnEti=,k70q^᰷_J"V^zwF\؉F@JƓ١,(-fY)vuL{-A 5@sҪaO~&/ "B.7ƸF;xzyn69L(vHLroB?T=y?Wn L3MnnmO\Ƨ"\hVV|Tt5ltk]تW깊 `~Wl. :=bg_dfDpU%fQ@wDNF(RO0Hq.m[C <\9BfE(MhzO˯3z@%7^ 5݉јQ5: rF-K7O 0:nyT^K:BCbuћu:jbQ{ _X [v?˔C|ٵ|Bmf'Ɠx~SG}( @orK?9օ_/I&Z oU7CR ^_mB`w`ɈJq{T~仨0'Y @1?03Qսۻ(FzZح^W+ ?-xȸ7?]I,i?v,;b Bk$}=~L;@\:ύAZܒ^; O`_xnp`r!'Hw 8SV5BKNjEg(;:V0 R/t5dWs "}OE y 18A07ja4*Jbnd5Xw+0= t1,TLmRPh3?+<' V})nj2KDDsi4-Dñ>]D-oh!h"i"_Y0'2ݺS8G$H ٶsEoιDbyx(0@y[9[/p:eY Zj}ݢf⹹FDׄKJ;TL=H`;1o$}Őݝdd09/sB*U)yWe++ê.?vkX3 fEG:A^h-Rḣ+֕ DliKhGL'cScM^0,}etiE?#i{{Z]0"4JڻcY:Z4U[# i k_"*]`">2鐧g2'2QKtc'ڞ{V6XK^/YQ3\:BsDCrhS *%?C)?.H%^&8DsΎgZB(q F)B3_Sh#y-ԕ ܡ8"88kߠLD d8q\$үf_]?DbR]7INT0u\7\c.Haj'E$JfgYZ 6 0&6 -ME HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex7zXZִF! _ ~]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cYxp^ѡ&e?6e[⠡,>BjU^oSx-]b}\-B<}̟ /!B?wrl[DHsKMZ)hc2HVuL2k%_"k"NF>'"=]]a ;:>s:W=N2vK;Q,>s㲠[P:v!CFh;RŢXԒ1 n:lj:fĽV ;gM=mQ s'(xpML\ؤ3_&\F39 ʝY6Xun2H?.rs6^+4Rv*_3׃v1vZٝ}Rw+XZZ|%7{RL,o懐KHыԋzQPWq*I؅Q^z HVdb&2fG7fa/]ԯ>N4SyȥS\ѷ)=$~0CWʖmΨk[Kr*ʻ FG6ZK/8|?`UF:-XcsSE3Ȁ 3z}t'X?szw~rBʽE@edԮKqq\Q?^%/Q]xy6u.`c,7j{܃E(aՔNɭw;R;=v!dgǾ'f+bʯ^=3k(g,s= nJV֨Jq`]vj^y2P^ fg8` K49f?hU9/-CFz݊YRCE/y#1TPBF#~"0N1Fl1dsxtҒD&jWkҼ$CGNz}hM]T&f̚K~%8yIo6N|=V_mw58oջs[mPYfr{)p& r`/UfcSGQ4ׄVs89 C55-O2zCЇ}K{y =kMSU|2խjR|Fϵ=p__x's1E#||@>6 sZR)S-zi([ū HHy&#P8ـX5yκ؎7!d4!U ףnoVw4FN. -ԑ)ހDl%ŇŁINXWC>ybo#>٣@rވ_yv^pzh?M|#5?t O"%MV.]ѳE ǧ7gYZE-A# HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/markup7zXZִF! vG] !M젗OFK?[:nb7#.s1SULw;3MAtw.x0ʽǺGl+ ~ˑ^䄮&Y#0(.L-A۠rv oRtd1zbjl\bn8~&PA[Mha3-yɆz{*fJ/&GRx%TKCہ O%+஗8*ߣ `r/eIJ\$xc횇DKD ZdbP׈ѹv|PM !(\z>FsKFҴ-!l:{lM,(:ϱSƬ{* iVtgb^մ*3勧KI5v](S=&A[%ZD,*BQeuʶyDw)5ͳ@2=+h_#И$Qb`sPČJݑk^~q2tw&%5ؒ86B(/TbW~%<)C>rŊb)?y{4BA9mBYɌ1ύX\m4V#v45%| Jrg"8xy(kmF4=pa ,d5u9Űbks RH":R!s\G%=1-r%%ʰZyзb}Уֳ [&4"﵋fqۻloU]7}*sJ$aQ{yZwKeqք zG$gK- OS<ףϬŮ&z2=NÀHvk%Y1IQ%{pQv“^N=ˑqs{L- 88{3Cx8-p < Wiw#hZׂ[5^b]lx* Ō~\~ܳP8QxN[ŠI9^GʟJx=9R/< VO_^zFC_rNM:6)tFQ?Vz\#%HρcG20 lDzؗhPYD|orAѵ&ntʫ]!qF|TITԤH)P-3: GӒ g5"ʯC5ϴje|/mrh"蘩N=g5)S֑Z(Yn4O<9/ ޾)‡TêaUyH&Cw$N_ mQ׾x+CRN$䴻nGŏ.Ţ$v rZ$S_  &`e\r}eaJ G:鋾i7}\N \[tg-aERPVx6}Dd^hy4vu9Fz)zAgĭ`:Zg@*ǥ|z^-CxJq$Z=جUV%qa4DkŽDl$ߚS;#;;ܥ$$٫Ӗp*E`bׁ̀m|ƴ R+A)訅!2@<*e@9i[7(* +q}b&SFahpB l`4 Wj'Jۺ^Kk]Udaҳ G"1+Q)wGuͽڏ`탻VqT%= g-):oͼ)˒xVCݕDF5@!y4w+x'^aJ!5Vz!Qމ (aܜAsXG}TP= `kwsS~]3a* }AKk3q@HoOw_以V#$g w?YTq 3 $z8ߗ/naBl_y`m-O!5 U7{+W̗kTSXs0k+W^Qu$!PcuX7in[ИߋGEegd VC3hD=p;_p%gu4}r͏rl#@r~ Kj%$k mm1G8svEPYɅS3_(? $݈> &QEtbv&i׶-xGߣL<{Lw5.$yCvڄ(i4, cI[Ed¹nwx\Wܝ2>SʉxˠX!akdI15dRǥC!θg7YUJp:,Ҹ$>}C׿8b";LrGr_uׁLSc,՟w1b}؏\44;WzX]jy ZΕ6rMQ'X+9i޻ElXFճI^O(HN`! ,s귑QӐ-NhxOنE,4}&$lS>c ig ɖ%YFuIP IBSy+_ !+KDŮ'$dϠ+PGσ|f;:h7uedMZ6Eq^W^*'[avLnz$n;GP/x/79 *AU˗"u%{L7wO|(er K7Fw?z>0xenPRRS 8ku!~ӿ&P׀SO0|Q*e˥XejkV_2$0;Y{C9lEd%r507Wqg54IӺ7 v9.O-+K7SX;jC^n9ʥ~?>#iOp}!I<dzU.l@띙=wx3͚ YLwKԴ$߆ؚx.lQ8{Z{y@IȠ夲2(-6P4>N`6iv}KWRl\d Yth㠧y.ZB (PD8Ѷ7`:$|ܓщpT_ o7ky>Pg 4)nL7bvqaV~ ]jEB.[[nlqNXɰl: J|}@ܝ Mɡ#ת]!Jonr-;zJEioh: t`$yqa=k>L:xXpZ~Al>5(4Y|?4 SC%,R3&I4 呓\u3WEFQ3k̩/pq46 QN )9x!35 -y9;]s@Oz2Xzzg>fMSnԜTZ'z.u׉zYWMP}Ky:TŊVhaR!E;f/SSʢ KL%<#@֋t(rgpZ%SפQ[O?ΰ$MsthdY48O;8$ѹ7ZM(ȕlh'y@UeNs*E!,4]zn!п̒p<՟6NwVɘԛDžܬ Cz{쉙"./' -"dudž>^6|tʼLvQ&knS]>t 3Cqc㤨[EO%IY~z'5nWO7͇-`~Jyj!Zgd۫$&dshdZ=/q^}N=ϠFan$cz8d@xpG/%'hrZ?}[e(3"-ʼ+r o͹q֩r֯ھsJͥq&,^eP ᖿv\s{4Ie{}gz`P=l{ 2]_rjWiLŮbĕβ79ی8a04 z[.-$$a#ADGW'92+~+w%bN#v 2NK>kn>-.d/=Jaaw帅1RBXG66K9ѻ{ 5' ICkYg'0#F@N7N[wb:fӕ UA)\܃..m4,wTYLQZg zp=6> ^k&S F:GH |Ϭb"&=S?rv-׎׶jO!==43,&zEo&1(vM\&LESK6@pĻq~c ))p|?'~>8_ܕ'7O6;m9[,1 _QT-4[*bo4J<@ت0E<:PWaS^3Y$o Ê.DMiɄlO6ZTz7=J lt]Gw5)!wU6-nIۭ?Rئ])P~A=ߩմ{Lc @YTG(9\ö&ԧP:oĒp%>Vg5WvJiB#oCT)+Pm$FA[Lqɺ٠"/Sn^#W0_mgH5aYOt YLqZe%njlB^/v3tfu) 7P *n\Q=@~E6gꚈ D\qmL4*'`Q&_K1:dks'c,R7.{$-~AnDP4@x/x8]rc,YZr %~5k$Ac˳ZR!sbt$X =(UEcNFI3! !=L 萆lPf/k-!B4ѕ7QB[yjBSsCcj|K_hXW2\RN~.;18$- \D);S.U?Mǟ$\I}EoUй'%]-œC!`g.JSܫju$ƽw0+G }z3qOrȹ:;cL!m!(.+fk3rc ű5nD(xvpe}`!n!$xqߦKG>AvsVuusU%K(9]k*J;\Sѐx?hї4Ki\\>Bϱ|樼$u_xnlm8. yr/;cfҘfMԃ﷏32~l#<:6q/Zxs#wiځX5nLdOqvҕ0[_;h0+|X̎ #R[?+F^dvvfoe@7 Y$yO^$G?nKQõjP7bλ4s6d-ulK07s+ 'lI HZT,!e_\/v%zZ2 llun7/Y~ 8E}Hʕ\YD@ScK`.vx& *Keهu8؄&{ʍd<9SKN$XW_j;_!l!]z_Jy{mZbUx-U7pH,hp-jkxE:o17#L(2584~Weؘ.QOz_)s -oB' 8kY@ä(zZY|Mi[O…ni4-|(EP/.wSk?~@Q"}]>k#4ؙB9ws? ؘ߀E3CmGRo:.^gxJQ>G|80$]n,ͨ9 3Mvm{ܾچȥe9]J nvY;΅䷰ƄsC ?6=}QI[Gjָb6M}ZxdzR^䁉#>HEhDg Lɋ'߻:%fxz0Di(vpNPe;G!z-D66@w嵯/ZO,&!zy$8ԝd=b^g6Ξ *BM=4{mfص-!awM9u`=TLN1{a>\FAM^8LH~!/ZZTe4J_Ce%rq=#T'*&k],vHh#<FE]PkI8[1ʵl(a l͡Xh6V d~`hi&D7~gw%mv!Ѭ*e+2瘨:B g-TqFMp) 6@JH҂,^9A:G[{PA@F~.&O7s֋m$Cx5$(^5Ѣ|` >Di!aCZk ~|Fyhae$ )?(2g˟|`w(;MktEdq<X/|;bksVh2ƮSa14j~ N ÃpkN5,bp#Rȓd]8X0j \@O ݵNxCD23rѾlRd"eRu88kȌ̉˺e5w SR$צf*w|E鯊ǞAcr.BGSXW|:2@Ґ@V;MO 7Rpy/Qd} xwgkf88)}4g P ʺ @.&DF4$Ogr D!ցf;p<l zRn~G_~V$i$}U_ai'kk z,Ӡ)EGqd`0֭/^GoS>K3%Sx{WfeD ';dxl4 zh8qlP Kn<9ʻiø lpA5/ U[ W C^*#a2x}X/1Ƙ|t3{o}ӎX= (_ǤF40- f;5:`Sd!%ǐ[]W$1'0&WhJ {a,"N TZ8vb/bOB$:@aͺjT_ng7 :qLz߳C {q݉{\ڣD0!KF͌ $ͪ+bEns2 ]8VP5 ./b$zċbhj;lƪh禂nag@V*0wQ agP8WjRX|7~ 6QE+xV&׎ͣ$lhd56Qt.AqęH@:br(*hO|uP}Jo5 yCzfI63068Gr;"yN\KY[r*ᛜ޴J):#oNŶ6nbסa~9_7#i5p+PS4!S0qlc|Zyi%m4zl3-ۆUvS8H5.du|D-O!L8]q|2H K>f pSuIY5ͷDtI9P}ێ=6UdWfM4'7fd|"X'#"0͊&) yKcY(5 >CDǥbs䣩DE{.R"H!p.LԳ{n[Q;Q+0Kyء\%P8"nSrIa0H`GPU}\q?a>eȀe2t]$X*ۅK' pR,~ 7CMa׀a9C*Ѡ/Upm\bIx΁oz Ogr/s%Kc~rrBX+ƶVM51={#['؟@[Z ؒt&ҵ\vV"M3W(gYZ " -=? /z1r SqQ_x߂t{!@;dkT|*AVY+3;Tq-78F4kжZg7P Z%!ʳ2:؉se782%[J?,ﲞK е`0mЈ]L؅ H *[Nj5ΈQJd}b; ڠ= ~BHPR]y ,2<0R{NWɁiAvҀϵ`n?2,2TGƜ7vd<ƭ\wPrrvz>^G<) # ZpQg!Рcwv"D Op@ P;mʁѾE׏( ,p`qZأbNX.F[5 HY@OsWL&ymQߝ{#%I,l0|~@1SAxŃ7Mu=} ߴnB^`pUHG6vY͊{j=NP))D{yAnn"[.-01cBƘ㍳a7ڋӡ*G0C uxqHfTq\`lp-ȋCU\dE; hxU[u~B+}qԠi<.LاU!f KJK^(ĪN^Zt~aXCrˬ`}ҍ WѬe!PD6 xHqCP.H;.be_M T62M(p_Te-5*Ow#dLVɑ$dHIR}SDhOUFW>aʢXE ~r)ti6 ~^@0t_Z N[@Z7FnXţ00̈{$NU9PuG3O=='O\C w6X:A]?'>C"xB%M{^SM!GiUHtGZ/h TڑֆST 2-t6w>TԢW*pyS%Q~߫ܩ4wLŠM }dlRذk2B>gto=X!~/,mrs P򞭂z_mOBYRT/$6!Z@" 'MtS˵l*׏އLŵ!9e-:࿫nm nZk-ǭSu?Squ?G~Cy=.ܶ6C<ֺt7QlQӴj*]EӘO }ܨnUm"1|}m)ޤ Q&pkNn\ Gkzb+1z=M]9'R4h>w[u3e;e>n-OHʗ+4Bo}RN\I@xn"ðt÷FmOF : WpIua70x}!J,,U2AYH*yQ6Hw^.82䪥O"s NK5p_j#| -c]!'0Tƞh$7Bj1հj^ڭ^?{aPj+pqBwAJLe/E2,&\a` ǺǾV\1Z3ݰ vGIJs/T433(b^.s[]r3Z͑EEF?*۽Qۄ8} `OVqR;2C:;i"餍cHZ. Ӕ`WZ"OD`i> EbaH:Ī%4r|VշlUKb!Q(F6+M7ɇp´Dd)&bܡrsb~|տ[5dRhZ|73$ &nϔGl~o6RL}8Sf0"5zQChh*M/. /T!Օ B2)zx}b>{=47r摒bئ*C32hMx%ǵ9b.8\wIh~O=SCōJg%,f) D:ߛCԁGB=v1W*3v Ҳ-?ʑ%b MwR"TsI©NxKF*.nI"3UbIL_S)ki!RQ i\-gRߛ5ǃK|2Z6sKSWp׾6yg+#kA~ Z\\ MHu)AojXW 5I-sK%jԩ$BCkKYYvM2_@iTشn6C~ l{~? Kk-@Ro,YkPWq:axA@gCurNӓkmY`(t;0?}B,#xjm6W xH"TnYU1y6Nz=yc)r'* -_ӆz,8_L.*;73~[;#: .);v%0rGNcdv Fz b "Tŝ:nneeJU˟zPI5{PR=ܐ!٫bYiyzRDWgodTvl2m$0t%KYȯUWFWOj\M2,330Y̏l<..M}2w񂃭5V@d wxWgCs{diG1.w7?sCp3˜T ˙P39퉊\zqUb`]U'^84A0$Sx7q+(Dtmͨvȃ t)WCDaO^W{uGdB̹2mA0(3cLk%Z#&9(ttq~ԉ(P_Ӯ_>:j>P I1|l~žf=:DQ{n';*ҍp㓯8;;C@Ӓc@/?J#|K'Ih@87zMә4XY}iO.e_:X,sϛ۞uv0NV?%MƐl(drs0y|LWClP$M|XP%&ɻ`%Ia9R!N a;#; rc`Yr+֡3'Z}O{g*:VD}KI1㦝bUp]A q5WaݸeQcI֒_}l,mpOro|6V?%9/F3@t9MGviD|վ@y%~~*娐x-fʈY߿Fr^r#-!}+Bd7N'O3ֳTS2Z:֋uHKQG43AuГGH;i zAIs6G3wI\(FѓʠMe$L| Z<[[ f(V%PT+.S>Y+o$$bį}1W!/Rs`BPd+ʬ e-]n"h9oPEʤ\lynΊFNiղ9m-qΐsг~9 ʸ=M'ۘ#~gYZ.1lE,l& / rl?`S[:>(N;= XG#tM?52Eɼ@&5dw y5i&AhRrۥlVCh1l:?Gj]!,y?31SL28f<>&1?_ ZVΠA;BD4t[gZRb\j5+ʦbx7~r!mD \ߎMuٖKs[֒K'A9ڄV (ҩ:i{9: ]K%a`Khl-L9GT`Ez[Oe5nǻߛ;BG,s_4=>%ϿyҊcq !Ng/>Y5z9{⃋<쁨8]wqUMdqyA\%-wdO#{jE "Ϡ!Oa|nѲ'`&3S-zGE9T3I116LR?Ax:/K$1h)lKS{}Q>h*vWwi?B|D,>Y9 ɖ 힧A>FUr]2=-E`Ʀˠph1FI͒XFS5 L`Ԭ ;zk& Aoܤ؝!I;t0W =9mGK7RvSĕRgUwy_ć pskmPy7AFKjGG(Rjwv  LI6"u|>G!l@`V~^iZ<%!8sr 2z ;,J5ʨ.mpKi{n(u:a!>Oٙ7N\{EgtŊ'>jz9zK/o%WaQJNVR+0xnѫ@WB8qKy66Сx>X$ Xe;v^+!cZţ0+v2ƔA-j/}6t%`]\4OO-ܓp{6??7<Z"jQkte~7+Wr[v Q-f~H[H4>"˼i杖3sᝍ}Jl=]DX7&X+l4a$R Rcᾅ%ھPx-++,XU2MnaEi 1&wf9YuoZpl@zK챐G;s)[WrOx0a+@?VyQ3ǵ]D2v'P%51aAp@Ae%SL<7=( ƣN1wB6g_7gZR? jLx+?2}jv>vHϢr-[:iu)ȅ@H^`^SVg.2:vpN3>JhsHSV0]ڛJ(bY+2f3jN9al1 Y#?{L:S;8$J$%g:L9pcaw!ȖW/uE 7?I+TD!tg{vY7<pkԴRU t*T ,r}FDWf¼LX9ͅ+0uσɅ$0r14@h.dd4%IH^/}Mz~ߺ^g~xDch02O~`"b∨}RNfCHU&tW`NA0_fiH$$#W!c,5n^S6zwV@<0~mSB/4PnV[sW4ƥ56B#C`&ȵԝ`fcw bŸi d[~ IR%tw\MvL./Ijq-kZ`bےU/D_#k 5Ǿ*}UvdeЮkl?@PX F$;H/Ϳ24IU,\HmƋYReq sp(l|w%e3 fB6˰=?0ʒKw%f2n}.^=Y6~v f7G<[3*O˽_!t.ݤrվ`L~U]Oh6F3&O tЌc)vq M2!5EEeQ3ֽ(5g=i_$Fqjr&r nCd[@T].DS/YբO5pճA%w5D<6]Wub{DS0YB.L [Knvq,J)EԊE8ؑۻ-4/59tvc/+9[1vɼa J%bo{K YdުLL/b?֪UC6B0ߥ䌺KZvOv7@ .! %S QؑMnG\..X!%0/gn6b(ou]xVBEo` tAftowRw)8w}ɤ.׉fj%.I)ߝ' K]iFA yP5-.OM.&IVã"le oC+x"cK;"#ICI 5PWƒyW `v8ΟxGzFʫᤃ0#{un \b5EĹuX-uR|#B2]EGG(gn/bU:DVa88ɧvB"Qs0J$#FʒG|/#A}R@L _$BB~&ql Z'WmIԱb0aH1PA00FS,۪Rb@$~c#KʏO3x`/Ԡυ&I\v/%n^xim-p\)# c-17Z%?+3b쁠iHs8%̅*;jՒkL9 =N#guwBS>*69qp tHw>r ^T٪44>, SSL%yD-qI G&$B${·W[^ xa'K6;wRRo @|I؝,4?=V"jSTA{d/{#8~zԽېbH(Qݺ˶*я.odUwg(ha'\˭n] LcpW]""N,SݱymN@|Pw@j՗H{CEC@B,3II)!mX $g6Ұ˕Q%x]1N-'E$CKI$ű83>giШi (,-Yz Ew`FCY /? v dẗ6d~ ,G%c1>*A/uУě2*B=4<d49_c,&1dfSPz_*JADQ.ԯHGKkVhr m BgޢձSAGǜtBQzSTFX{&M|Z@L3=JåuJ,Mߢ-=ktvk gl~GM3wtHJ/`{*XMzШ 3T^W*СuER:ݞ㽬D6Hq7* Y'ypKJS/XW m>1AnAdX˝q`qvM׏lo,D+C[^\;!ٴqZٌy,H!3jqբu#ݑr1} ?(fIuƈE3vR?`>۵_R+Rf0z`ì"@W }[SMM`PfS-AZ){;y(G6.2qs.&:R|$HjB*|]&.g{' nOrf2E#@Lt+d<ËAz붢A0}i68 -Uv3WY1CLS8/m٢Y E dtB/i#Y(?Z>2޶'m^^ٕSGQ?֚I~#,i|s>u{ztN P90嚋C=2)9otIdM_h:4v>` N.* C.`Oy"9*S̨gs&gy!G W-{A5׎QZ^pfH !c"|n劚w#|28!k֞{~K\̞ÂM%,M\@>(EY{Y*\?a1k8 Q?Y??vN(v>ߵs!݆2σzՋR% ˔qbsl޿zI~-41vV&(eR[o2-e)RD,ےY)t!VN@Ű9T#ÒN==7|K<8NU ysIN` k1b?3Ӗ/px wB@J6yZ0reӗ.} M!I7wU]% fc}U_yu)U©U/R-R|8kN5c=}(a[YVIN 1ǣW3*!?dհWYUprS98pvzH'_vbh]| K/J<."=}M@Pl4c yipy*{U7wU9u"D4 GbjcUsȻʉ1'Hhv \~a a݁FWb1 Twd?]ֈpCi^I wtW]mpBjwf;qFe W=nKN Gy| f3mUf'];q^g] p{XSэQ/L!Y!Y;1o4 =)Wk~m[dNy?HE(vǺݎdhb/{za؆QI%YLíTb!&Citaf ːY}udB\4,#CM>˘yX74\8 0aqZ e[=%u^ _*ȁhɡ R㤺qQR-0|V"1$ x5E M2|6thȝp+璂qe L*ǁ&%pMX:bMw*4} \fq55'W}9Ji>Y2id L_Y(!UZ鸮kRR<ה:Z>e(%-K]QΌSu{円f}BFizD?{Ms1ZX :S㛻|s9! פE7cB6NY=:=)k|X7t zz.+B rչ;h@(UW#Ħ,=FB3hjhi#.}3`E/Ii%5H/;ϛe0\RMB+Tvicdfn*UJ_O9v#+ѱL/+af=un WMH!zβCDYZˮbiAz͢R@e 33ܔ(W=]B o?hbss =Lږ") w@>#bOF8-:uBsLaDw VZ$l)  D0xJ挩 oRB4fWڏj8v&Wts7G6A* _U7A+f#bKB;T2RqNo<,yr/[ )٤DaJ%&hO( ؂;$(e+h6a>3X?^dU@ !>Twf<UHSn+ R lι)Ql\լpO@3^OShbKڦT K=EOrlaD;7h|[:nы;tmބK7}B @S+ި+>^/٣p oҩxب>vy7C_Qw#qAԼMg3gYZfםkzu*|ǐ]r߾]V6M.<۟`Hsūq_1d|X~( Jx 淌$J>4&5khKjzwҍ2u5Py NεY9 7$_zՂVKp,&;N<̝,ABޣm/H>p$=DcP5ƤK3`|V毾7dp}-b OE]{6NϦֿ웙殜w-8^\%S5&H.a-/Bed|bE[G8 2|JR>.t갹2 ̡yQI63WakOv,e3#Qe9LA_}Ńe^xr)p&a;96a@$n"\Tڠw?-1 HN .#CJ@\#]BB;Q=Jz!4VPw=F $Y!P0xf2ꂝ lxv :/S[ exxZ@Z󄫒wR;)) ӈC+nzG&Ѭ1{7 vJ(ť㾓 rj@7ݙ D A/+ӱHCL3ֶ'1DE>js%6>s%Dږg"G{M7/o^R~gagFt#̤P@]FtՇlsl{(ILށi~ Q!pxhFr߻ܭUW€cB|z|j8].ymTK8 6ef8ŨT5U齘n[Z//![dR6@. 7޿dTr胥p̰ÿڠZVЖ*54ӟ&DU CTa0Pq2oz/ZPLtj;%UqVvM_3ȠrG :r0LT%I ?3 {[t%pT)3*A>:!9Ou<"PDz[}q Mp{Q-N@m}d6Hh)مbU Ս-ʛqGɥo׵{p)R{=D`G{`B5i)P(׉-!oo|G.6,w(*bru]0g cvX?Oiך]>8zgY6q^oj}Q|)rlS Q7mic"^WfZ &L/̔Eyx/F/ݭkkz.;*~3gZK^ BLѲO|hl+4 s9Z~Gע'R 8ot%t>|HN17MVA ^-+DC?Hc+"%6 kE^z1&.&ICޫtU·a2" F?!LeK[9;RȒe#tF't3P5zJO M˥ʘæR,3w ;3^d[JssA !ʪ^b;mk*ФֆիfʁM­C#Ǚb84m|68^1@H`!gBs|,7tu6}3И~m-9ַt$[ް*4r,Z^[5֓Iwqjظ O7a2m%C!1 7^ծ.5mB<4I9Mڿ8|91X *5Ѵ}!0Eo={ ,ʘ-?Юw(w;㋢Zxw@# BHr|[;nUތ.~4=Z3IyzطE)aazȑJ|֧FJ[C!9F:b{=Q',ho~/ +,j[21 ȈAkNEj-\+ #cp/|> Xlnp,C4<mUG©gZDZy fU=\x*T& "&kC^Z%ju5_V;*[5:IH֭6NO4wW"~>+k5yvÞٙdԙg1z2ήYn=saoN n6-uuV'|qaI ,J;n, Y:UWdER|ļXD[ I>@"R'q`V yd*b>AC@ joS93L,VQƄ.ua2(nM"oT;Ʌn&` z2Ev9S"AsF1:p ֝'f#p}얅 U=:dsC1$X$Y9D6Ê5a%Yh)-_~$OIFiz$EqS[˶4j=S0(/8y TakW /Sηo8%y\z))#=?exҒ fj?)%M@i>J;qX#QrٖOKRfҲ$Z,/ f ^ [,Oނ{ ҄r?K:8U+*kͼgP z`K#("$OӮgjլ3eΉIF hˏ2S IyT\q:r3V$2&%Ʀ>K&2V _ .Rϲ']J_5+4 *@C-;IM`umK!u$X,:$)'Y i 5R=򄉯5 ;,8k .W X<5iQLʕE.S e*WFj]WX&'lZelWo#hXu`It0;M {eZ.*Аq/}Q `IEhMHIdS Fjh/MbKKS f,wm"x>ݐ Nlզ}!(l3a%r-;Y>s-E#To1 NI]WF"5JTṛ";۟ꠏgSdbmȐƸV)dW*-Sb.`F xPexL3w|>Œ$Nn͑|T")@ѹ[M~XOe:ahxp+"!f&t;keH]%; |`@\tpƣnW"u/9ŴӁ:ss\y |yl]A+A%EO NҳD7Ϙ%RP$Ԯ?Qؕٙx 7( T&]'f q$lJ"4N'XYWz )Y(35m m""4%~xaiu@ lwV pCDQԙp+`?6 (V/w^MQͽ_8zW'[2܋&䵌|X^"y lK4p0c1>1?|@L؃x" GsYĕĽDt誗P$4<>ŋX"9[   n@:hG'!8?aGUB!*UӪmɗۨzJ:au5_v;| 7^w^,/YxO lz7;m];=;̖f5Mr9!9͑.Ǟ%rpN/ɪ1ډt'.5RJ fPB#'__s# ;BeP/ Yb.E$|^ .O&E]pkYgO8SWxMj!D/i6#ANૉWK #D cB5e`7>(:]g$ϓ 9uX=C>_D,yCv=^Mm!39 3(f9 m8k.޶qJxP^ S>h_FQ  rs0v2IE c ^='YE,:p(VAp!C?P7/UJɰ!址SA?5/ J}a@g6eM(7upx2ݓ%5%3g 9Qw&;apR/P3~9]@)ԦghMTeYm :D߭X%"TA\G޺ ssW k˘cbN(bz@,ReC~Urf ɽ}>+L3,c ӊ$bDIi}1ht' |7:A\a [ˤ  Mt 1cfCYsyȗγ`II=gK㑍$a:SS?K? wCs撧JZD)m^F[l:Fawl[[:Ej緘LLBE\+ r;@J;gLmj$GWkOŽSlx*c"aɑZb`EA e9鸬E`A>˜v]pYC~hu :/JtG8W:fџAf$E<2/ Md{Biy- :T .mT 7lh8>2?Tـ4@HN%k}>}/,!H`L-89ZVzYp`9 +tZo\zQ  -b@)fN0Tj6Bo,\$t!QSǟtZ 09[XhPAHŧ D52=-:+9:F{mVm]d}}7, ^ly y^bPoiU- ЯyAia%-dʆptx `8 ŏ;$ľ-?׃|5sp~:+8` HnUI԰{.BʵCP3T#{>. 3B.?RZRKQ3V:hV0YnVu^~-tFqp Î}_I'Gi`V7"% cƸM6eɇALr|IXȞN\xJ:@Q+ԅ"bEmi޾Y&αZY5RC{^C`~}OOZ7O7:+XMMJ#3Q{by@Z-<砄 aFY vycgv6d>_ XʃL;KL0*go"g DD}*ƔDR>X[F#p*i}9xxm4cѼ~5"@j{jQv4uƇ,41^;Ec{W$8\HJt1}^OI-BHLvMȲ!p!Z^hQC5# u,(QË'}0Qˀ`֠P%m X@1s^0.Nq<-KyĘ/IRrhYJ94QHb7q ҪO+2a#Dǝhcy$ȷ}Q` LPyH ݺJDHԓ+iQ>#Oȼ빍: `1"{SViw *Eg|\u z>SoW-0x(RLaoZR)7kP_ y3*?<"yqj~[f, Z˰1+ٹtVxD,\`8&ȅ0;{^3CkѼ,켣 *d khFy1$.8RZ}sx N޹#nHW.\QQ]elcnp/1p}~@*nUe<4^ fy6 qBi*@>:+T .*@mxubcld BOav'?[C S',aJ>߱gU~,ǰ%=LBe?DR7T|TT%ߑ-_ZO"A̧C]JrBM$Z9# &P&dM  My94vx ˛ ;{0e ɦaΝlt9hGT#)qZ xڷxeџ$#:HL P/`ZX_JlM#y|'pόH3Q('-#x!_բ* $@ NûYcOE3'Is+ylo&鱌GֿLgYZ  | -;= tHOL-SMT_ExamplesHOL-Library.Cardinalitydocument/Cardinality.tex7zXZִF! #q]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀IgUGJle6VATL|Ck ~}'%B!; iKשSlS ÍgzS[eܦw;Hďj%KdNMIƴ Ն9Vx0ðk*/'>ӆ#Z3_-334}2mhU؈I.7?TǐJ2F&6ajTYК3 EۏCeRN-&Pi>޹)[@PK]UL4uج/^K| `5] /s~QŁfZXVkc2NB(JMA2{3g vvyy38^[X3u Ĥ ;D͍Dl 㵛ȖW1~,UZMg}q,x› oȲ$DnPʴE >fnۻ[6 d*m_jKiƃ{(~&{Œo,Pq-K WHsam-*2Z GP]~.;hߪGW[?´Is4/n/ S&a039+z36EDF&o$^də6k3gk.<שo2!8#); *I|2fRY+goK9tN9lS,E"ոc8auK9(Rs;֑;lb>]s!%E+,<6~?>dqSS3N·tJrXf_;0I@]{Nc|Љ?z. RJ+SP&j Z@i>_ahy1P]$6Hhu<Л&6⸬@-a)(.2 @iXƦ|I&XTƢ}_<:U񟠹79 O$'v@fj_fL 4515- u;;IVN8Gmx)$dT)ڤ4V\Mb6B`j9Y,69&ON[bAdnO15+yΦ=5mXAKm:>z2G莲ü[mᨙ&Bpc0b-ʐjxJNrD ) 6$YJJvf_v?b[VCMC'6rD蝒uZ?B@@ݒtcU6ĦC+@>| @$NFw@w_/s>{1[puW8%LkDR.'B&fe|~};VF%$gaFȘXrih`e"AGZ,5 -{6Tx|\YXb j  EiU4z)l [h&99 W'~xc ʚ&3|wJ7qi.9N7p<0ڽA{Mvⵁ\GYW^d$Ϻ@<\&q$/-lU}[d{~g`]!wUb!,Jk'z$TvKGJg$:02cBs͛@&'@ PGˊAPvobPBSgWLbݵnQsBr?!-6 í`N^3_\dltX]=;hj23Di>%u͜Nuߦ[r9:u1`C 2Gp>0ݪefF;l)|*2|Nez:C-Yt拂_St][>T[O)`s)\,8DKpU5ǥg :ؘJ9}'-W;QAJ;BڳTU΁qI,XW[}ΈȘt'f*(hFȦ!F#ӂ, [{ 9!ͩT_UaJ'?wSr[hui`4 Q-5bК-/p>@:,msL pý+gN/. &AQ7j*ZP-L7N>ɦl,SqAg?qd1?v%?8jwdߥ7x gYZ qq -CE HOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.tex7zXZִF! ]A-MՋhvG"uIBm5I V +AC T QWYh<_nL`oDTw}qO:Ek~V)UXH<)m Ӛ}G$qV{NK5PTEIQ6AT$Kr5$.LHɥaݑ=7084؄nA]SNOIZx_8645&5:rQUP=%obYX87L.#kB{^ ׂ.Wmg2pGF'qKL"N=NG=¿jv.jx3@6(bI cX.Ů E‘B;T<`sտ\M״os+g1g;P}E wI It-nxʒ+1w\yMV0ز(>J NDmÀhCT,V4(Sy)%$=O^l"&x=mvXEeمB f<^ w0cSYG5◎O(h`D'aB`*" QazPSc}:@$O^r do?ӌgGib&?~hV^.)F&Pb>y TK ]SK(^㹉6S/%qb8٠{.ZU ɑ]^Xdnm%rOvM5FȚONz\.w}ߘ:;ی1jalgYOq)#B Bhxu֜ҫP͞|ی;? .Iʒ)lٯh.ben+\U<-|eRM}Je!9_}" =?8sOI[f1!Z_M( C/3>4͌4f Xi\WdBV"`?MS/n_kSi (#Jwƙ4s}K˥V7gّ- 1w+~d7z%0][x!@\0zݮgޅȉ _# 85"gBUT cͲЯ2@o)i l]ˁQfi.ƈo1K˭ hZ40!qmӰ3\Xe)ިu^oKQd.l9ՐVDH\N{s b k?ӧ:N\ϪY)Zt*nʨ^L c4[9dUuGԹ& )&|+/k¶`Ph$B6Jy,-'KЎ#{zm¹# "2A] уPݲj|G1}R*E\Z8cswQl #cMX*fBp^r&j >~Ayd\f16wҥpqv=$G8F>D髑v\y㏖G<fj_G&Ee9oJN? ytCtb~Rp30:Q cTm9#zjBrWo5hLI[6^ci'(,u ϲJSEEeqI%-[Hա)"7*?+ƲTk kD{{DJZs?l#H5F3ó9%'B7v dJg+pĭ"_yߛ-[#Fg1nÔߍzbQ+1C1;&xT~>z '#j5Tk߲ gNF~ιK 6Av\TJ EB5~7gf5Z3.Z)xC@yRcogeIiy> :Wv A[s*ҩѲg aݒlxh,y54/aFv;XˬݣzUFӕ xJ7LB견<[&yjY\IOxR|,w-&ﵡ&ލ#{<]t 1bӅؠyzkt\`mW7Bz) a"Un6whBZC+4Yc"NRԚ]cIOlvɔzjO99 Ms<&bGvY] d|\1z{FL.&B[zVG?Z?i(Je2[N.5W VLެ& ;5ʯ;PI3 yRJB;w^jBW4FA1ziH,H7!.u% [`nZT Q`64zΜ=Ic;6zxUc,<[9Ǖ)G*hd|j~L j)%0=A]; x_W:j=J__S6䒃}~8in;<5RQX.>v[q4Ur)1H/]}IGDڲi ^W(1<4 7M=N荥8%D].qwڠYu{Yk>;xy{z\03hk`։ĜlW]US!I=g&@[ 3HH< kɂ5.SI~px& /A(78 tM*Pn:~C4 ?v#p"w(sO;7a;%.FϻV:tÓ6-S=`,,xjZG̘\)HJrz S m@xc!awIqTk,aPw],WdD 3ԑ"9^-c)]Lo*wՇUJ:2 G~pp\446Qƽi K##ΞL^ВA)Kx1VK7ʇbdj隚2hŤ;ϐ( D'pdf/]'y@5LV^,? ho.ެp67yH\DTm &mOK ⧉yCyTȘF[1,9EH OSWF0Cq)"8\+d!@L%P#ok,JHIT_rja+|ڶR?ZŠr&rZ= E\ GR.ϡ Ťz_+C,+g%dA)zxTL0;YB;/o}ff9yv)-2b׏kLMSN(BaO\EX/>$ B{}zMC24΅_h!?ؘbd5NKo|okV\8+{z9/{#Lv8 xMO{^jS C, O~06(j9#y&$Fe @~H-;±Z D('&Ya!-%V U>0ƫ%Q6e Dk*cV9n/#V@~StiGI )H/y a^#)o6U`̋n-ADhqMܒ.]j 8 1$8)TsrZ4`/aHL2FɃ, (i4 ٫8FA5UtM6d. btE8{;wP/^!^8~/;E}t% #M1HQj<2f LԈv4*|nKR"l.ϋj Hc&!m>Y޸0(DkYWVaItrc]3 lmKQoP Ξo.cpʻDY/տ)+:E˄}l4ς,( h[#wk>։# MD=>/`9R]-ІlQ9s/Ʈ5SSU/ Td-Ϧ`?.V'> /3FެW&ѥf4RJ[0h=)`%ժKQ@3_NiS( X+&ye 9Vy2 !ms 2m ZVDň\,n;ɋ=NComnmZ{';4Ku2gvGf'*it.,h.Yhӛ7Kh rt*#߆ZFmdg>_io0)4j߳}P7E`$~cZ} $VvF6z96cFkqsegNkޛԏr?F 0W{z#p1 vS2T f>^XΩU)Ά_mDzkJ(#q+ u5~;%&޾uL 0Xjm;Rcߙs`E74\||_4Jnw.Jtl pI?E}y mYRDq4YٱxONpCS|R!IͩNPm#щi;]Bqqy2Yg 0p7243Z䨖~ o svTQ cT,mXzH1۱7 }RE9I(K8~ȃ `Ɂ> 㑹AhsR>NG*.d° q2j.\s*˜wmTs,Dψ&TEi,Q%D6I;'Imumf$sMׅb%m* $/.1qy-ȠCeQPy !K֐XXaЈ@oEx  FexI7X.߫ %]sҲ[G(F|Cysm1 RuÉV 1B0??/6Y4DLl u5Q‡]8gY-ͳNCK"÷&",CYjYy~ÈE("=XL[3^~e̝a)d.O{ߋvWnGE]ZMno~T1;rO_bl򓘬UM0#й={lgYZ QNQz -;3 |HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! x]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<ZSmvL/}zfI6(㚎 PA ]Ӷ M,2.CWSc-?g(- IXWTtLvo:&\KO(?C&TIz m;2%ᚋAߖy*kW_rtѠ8bmN7/Z0MuTN} 35_@SJQ^.X6`72,蛊%Em C%)ӔO <5·D̐0U.>~$r1*h i_%튼h5#'CG}L.dzjQWwhc)(jbzxob_ Gʙ?!&jՏc֬cz+=S@@Zv?1iZݳoe$=_sG\ЦWVRbq %dɈ(V; +1qKk=sDoN[+BەIFȑ:P(A_т#n*xL)ɻvRv#EHv8a};8YɲZQz/ѽ~!6>+\|@n^wYZ 7!šaE>!ÓYMID3&ƍ BbR+V7 ["˲.8Bvhu^̍$W%Jf@_bftugPӓhQj6RǤ0Q` Zu%aYdd[<3n7{[i,1IEѝXP;uB,&Ȏi*N҄'cAۜlo6# 7!,'֣?me(Tzp&VՄ!ogaP7Qz:4wƼRucfAT;\yđo N=R9@1\z*[KyN E6qH=r<.Q!fpCS2' lr<]݉DLS#~IMhʉebU!ae_1; K8 FuPa~m*ia8-EoT:FSZXN*a2!{Y9@1b"TP7Sn ^fk䁂G'D"IS`&z@V1PiGRf\ eK؎Jс oȮ5_fZ^^د;s22=?3 ߦWr?l}|-*ءɣ2!sC "#7h{ܫi)"φ1~ "a IM{6N%&P̲fT#p]hhT?ĵG UGk,+R 9=H_vqPj}ꢉZ& +؍$+dF jn5Jd"qըp.vl=H>E1дYWxnaӊ0jhޘ 9Q 쎐K.:ekqFK|kW#Җ'?%d BRs9?m,}Zu3BJ UOc;O19MxyFECgrc1;]ɚM<#RŦ$vX i`k/#g O V@Z X@ןN\F2;|J\KߣH@@r7M;bxL<2>J"fg{XࢤhҍiŖТK8)iO3ݪD=.%|Mhc mSO ? a=cʕ#we = *YPE(~hēVV*fZ?-u@ņB:=`M#C001i}G8a\X "HveMƼ:0I Nëw8utV JB ە;JUE w gb]*{☪[v1QqfT#M.ڷ#ê\<g_wxhD,׍-FRCkpC}lI1N$pUu@=,ȱN3+55+q@zvrSEe3Y 9$lHC_q)5,3I564ќ"՚6µ7y^] (>;XT']Dsh eFŤp|xQ} tԫBČr[~2D_nSԈB?Xu!cFqQdJ/z2q0Abx4@ i[~L|aFR)T\ajZ-E^mEw[gu8;[;fv?.T gᓠ`x,‚΅ gU?5-ڨ&OۑtjZVdd"H-䯄YO}f }v}GLo3c͗w+!)˸j`ٵ =,,~^SҫВϖ8ʍoA` K^8×3ط)2*E!DbNןYiޱUgYZ x hxhx-=# THOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/markup7zXZִF! H] !M젗OFK?;uL2a^m6*%uMQqaaDuKlZn7 {5ڼgXӊa[G׶wAư:G UmYv/܅0ޞk2>?%%.' Vtb` uŋl)^w)*_KZh: 1 82W6PinN3w6]#IRuϾilhM%~Ëj=rVzNLC5e.DJ~Ww]HeJD^]/z?]WĎhYQ0dv,WΜXM%yI,~8sRx,^'m˾lz>-~~b#KՇh3.P8@gCvɶ\qqVS%c* 9Vj}Wg7.le#g鴼 g Wx~MIQܙK?zwjq%J@X;ڱgYZ-M# HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/markup7zXZִF! e] !M젗OFK?[:nb7#.s1SULw;3MAtw.x0ʽǺGlZ2)k`a#r\+eT[NCވ29QJGudѐyx/4^H!K7?9i㈼:^̐v%CΉ;C( uD"vʹ$R_5n: c#ljnSdafA5ogj„:Fzb oj3Rc)dth+Y-V_oKj8_`)P"g D'E h`_^TOcÎh2 "o3F&ʭ_184P-=? $HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.tex7zXZִF!  ]A-MՋhvG"uIBm5GJ&עDrګI{ׄ)C6P{ euYugM)44\'BYF˟FsŨ#Aޒ, TىuМd\/-n}S[U)stqy̋GXZ5 x2%'hR误6 !~M+[*[&H.v57!=Mi7 YuuŹ-wOD^<=.:i?@tS{V0Q*#w`VK;Ϛ\r6^ R _VdEeIu ɖȁ0>->uf£N`݇l΀] #F}1W2/@TlxՄ0iwJgCځtu jȤ'erHqPl)LYpU<9,A"<XFK212SQ8Gcw8˄#7o9c(]gڝʅo #zS-[h3$FmXNP+lLպ^F9nDWM +c(E\7;AXG fS}sE={{>/{J]pӇ\F (臰 \K!ߚu[@o ݢP%Z̶9Ϯմ+F?Ce =]gYZ|L1dXSHLcVJ9Q塧AG d#?/Hy3.)WM]0m# pKc?ڂV{fTwئ$%шՖsGrC@'ezR 'o]ZPc[K봁>CUIԁɖ]hmpG\Ԩ^yѪE0 MoQ"͏l`02UAKW$zlbtu^!@ySz:Td观?cnEYUcK@V,Zٽ# 2gPNx  yЖ1Do(1#юkrF, &2o@2 )qcάܴ4,2Q܆=-躈#PE 탮CYc߽Em:`X W${hȪ1 ٰ?nXiĨIOvQ06mK]Zi3u.*EŹ^ Tk-O!XV";Q ND?>up[23Q? Hx+YS܉\%S̎qޏrZ\!F07% ,$nDw S_{$1Dk/W vELs@m۞羅VK\> 1ߓ6ajy蕏)^W5swm}gm/wv=_7|$FuR642|#YtOɬ(8Nl.dxu)^d}@hi(kDWN;QHYuh c"zHGzɉ `u.w@*#Byrv|T/ip((Ycoρq-2,3Bdəf5A`chIi;jg^#}gy)d oBݹ)>{RDAI4lRx%'D`4Kݻ.Y(72 1[kd).@ y^.d~|Ҟ4X[Hϩ/ZցwPHl/IGs:Ǭ8TܰaD>jP3{-+'E@/%3 "TYy4Υ2 u'ׄ hX#E::4s[f_nEq~:eko̩uy+ހ`p{oa}#U4`.4|ny: =|({ӬgS21=Qb?mg>sV ~^O)i~ĎJpr妵Ǜaҵ^t>#j@ݱxv*00wkF]Wh[+^rZJ6+-#`VҒ6\c_5=čmU DcI,? gH&QozX}2>mNUG{B[&5zfe\d{s;?lb9ʦ2WM|[ofh@5jq/sfjHf(k_{4)2;RK45w.ߪA{V煵y*QfQֵ`b$su){:j6FZ%z~w߫|}e9W:FB%2 Ra?m:dƝ:VSqG£4pc;!SDsW4o[c3Yw| !c2ʀհ Į^6I]Hlv`Cc8c؛C  w̫*?%؄MK)_~` ?K:4Qt73/LAOF1ܫut_BD$#ETr:g?6p n5|Ie[0IQ]*Q2x@QU Yg[6 r'K5n | 1O#~ro"֘lHdܞ/ :ؓ M]Z'Og^P@ ea˿%n2Wq^p.=;o1L'f~Aue+5J=`Ʃ$wq ɦ̵;3N*c1n <>y ';|9 JKSW͚|3mMK ٖ UgDSRÏm x/z 'tHDj[rqBV]Oh+,RU<C;}JNc57)$ifNiaK8ݒ5>jp+XA!\J,4ǚDYX-@|V>S$1'6d.}.Ay2b\JT'\'䠯h 0HV1*1uhϟLݙs?E[o 1` = ²e|* q|e(>cH2z!@8G%oFcL7[5`NwL ;q9CēMzii xʾX}%u5sn mw>E@-JB`[^=`22@~Hh`‚aŝ:4wO|:"ՙiCY!bPՔ3(Pp&ck@E\GX擗1qcK% ^d~xnl)҇hY6_!`k`D IY`4cgF _Ү ҭ jD\Ruw%=W_Q~'IΩl:ۭRݴ޽ :"1P`gYZaءHb_ZOCǓI XjLL ~;-Cjo½f dgVg2K\R Xglj^sg(2zO1Ii >_]ܟaFŃnG-`xQu…$%MtȨ1qO/4ЉB)Ix?|iKXWIdlM?~,w{ d3zFQQe\ yC;P!I_2\'

O]>h;f#M>lsdNS!fQl}>d|JE vDЊT4`VmrCn<1\u*cX^2Epup9{xp!wYBmw.mjvf~y0q!.3Gi<>G+j14zHam%aU(~tȵ'ۜPzٟ+tof7*3<;ľl?]~=&CUg<2x{mW5t߱ѫbL 7]jhKu#V0=Rw3غ1Z(CX(tA̛wdtmWeAWTGW|7Ńl8BIľBƱ%i]̬z>(>LSba{1 $ lv`0ݡ^Uu%_<01j Pw1$”7@A.ƒc@_pǸ <|\5"NhR.i/ N0,gI%'zMtTxګ_TѶ M/p9!}&]i;X_#jqůi [[}$WT'`.N=q$Rx.|72 _DkCz< s_`>*- ՟/ύZDO@LZȈ CH{D"vM"F' JE@vQ H:6\>f>aAķ3s2ie'GϰOvFIA}*A"ُVm] agP,iAꥇ6e} X_98nO^ vz)hJϬ~@&.ClnL.S#P=RYug$ Ǿ_"D^:.t$tIx|;`N|gYE=6h"{/e9:s$N>Cm}F ⮁D1EXa`TѺnhffQ 9lA(i5#R{}|Zo{)|o8[88@dj/ՂFFZVwQl Vާ$w9#[r5vdW෻c𑧵^Ov€M'W(YI[UӖ-ot7ݾ =)){GnᠢqctZ<%zBD/6FDTavݎy_ĵ.rD!;2&S+k1U@p$%~$g xФ4eG0yJxq&AftJTwDs mKg)]gXFsW*.)4^Lj6/JX;ݥ+]jK{O%l\%JzbkOR%Zk/RbZ_Y93wsqDPه}**D,嵾`}=&Y5$e`ό7d\-R;7%u]EL>+u#,!>HAgYZ WW:-;# HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/markup7zXZִF! Q_?] !M젗OFK?;uL2aFrR٭ݓTBWd ھKZMϾ]š9ҕX?ut$67aC"cĎw;W(,btx7!/"*Z*l܋F,1$Q(#rsTk4MXXhxa/+6ưv-HO|RF|ˆ%xlAД#sh^t\-Eczce}|# lU[5lV{4bלp%5xK<O&x#Gwɗ5GkXI' j J;88^OCCwaHy*+OwP]y. ^؁4NΏa>_aِMƺ8`N`u3>pkS1NG"a-=' THOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/messages7zXZִF! c]D?7 {?:fH\Ϲ.M;(9"%r\ٱqOD<-yUS*9GV,7 S@}Sތ0QXyg{<c]s3H;OOOz>>|cZ~㜉XΫwH6N.^Kw[+.8Fl!9XY }e@_Cr{u8J_ÁɃ%LCb_7 \|eGFeWn>N.Ŀ>KemFϽ9ڼ66MHr5z !ҏ&>^EK/df;FRʃfsg]aO{[al@.(,c~":Pc;B.Ɋ=K!MptI P{⢙XwQ9s+]H*wd"4~;M[ž n@wiEHsD⨦1&ΙU@Wf k)GR>rKm`n{]()G\U,W5w(%3V5.jpTsѐPRrBr9/8HU"ʈPI-;jWsR8W?iwdau.GZHz43R a fu=c;IPqc]9mI=r^ZHw|=lLW~aMF ^H{^mюC 6h] zСy }f){%SI3ԿF1dↂP7dM.]Wu*c:l:oa9U^uMҘLߜd.&n3`$`,ѫk,_fXn}hY?>%ώ>ַ]VPKnH/0a}u{-lX X7`He5ǭ͍6p/ctZ=|{=hԜ{BF{uG:5ͨ1FtFf6LcJyt|zlΒ=e[WvP]XP-ԫOA2,^tkYau9[v}m2nO9-Š BV B:αfEաN_,U$1JmŦ lJ}SarQ/]ښϞM@@yH**k 3vE>u?@/z&IŒ='sv귻Z7./Dt}#_> wʧ u$Djk1hzw|'ӳ_.VQ0A+4NDw i80QKN| }526_g;tFJͧ l9~ͤ:I_qf&S kg{B n.q*WtbC 4A#3UOUX6fvtDyM9ap9cfj )mBGdTcيGgf5?a)b&_[p+Jp lxWb,r~˲6ج񜑛ZMoll/UxX*bg?RJe_T?4gYZt)N.'DZ wwsmlC8 ^[[L$ *XhuE|.E pD8윖n#T&n9fWhP*yw0$6{OA^;_`xhJBI23Ie5^#e̮f-njbe՚ɏ߆U4yZ(u \>(z`T+Okj أWOzѲ1RCB$m7v/ 禗dF6I k"#{,9rɯԊX3I#C=>^pongJ"Ǘ1e\ "/TT$FXwVJ-Y}u҆ A4/WcDx$Zsb ~VLJ!XM QY94JZn7" ^1؍hb/>?faҺ , W!&KJ̞)f~^ܬ`N@)AWw^Z=)V;xT$9 B,W! 雬G $&6|ҽR\_9aD6O i;"%wt|L] iIAOݪ8Ķ%Z%vpǞAz\Fʇ~Y`1ǖ驀ӜtQ2yaWlR;\hA]"&zO T#Ӳ@/@8=FxoY!B~aqh[WThan1ݶl#c%ĠDߎ_FrnZ f2 U5< _f<7Zs_GtB_w Gܲ8-W=='lMd5^'JJ Smjaf':!E9ۮ#bii~)߁Η2Hu2-Q<ėӬlAHl^Ơ\Dfn&i Qhtv#2dHVGf0eDf}!O3mh{v \ yDG\C '' ъfċɭLd_mpv jeihO V[G 6jJU<xW5dK0EMʝ7Gє۲ I^X~q̲V(1(BrW@Ncۡ#@ z̚@7?nuz `[Xa>/+H!J4kݓ*"KI ' sJ4{'4ZĎD>r]KxǑL&*vsh=fUAAiaD+uR  ]!k$SU_2у Xշ4f-Vbfɳ1yxGy7]4Hbȿ 1,[=[З Vছ_*lf >ӛ jʏ%˚S8:%'IzK~fMc+:nhK=fb6 XO&T4 8s; ]p$shڸ o(P&2{iZ|zNQ+^==Yz1˞Ҫab#O{$¶~1*pOc3'VxNb+6+/ ij 8F)툨!o=rֶQnVWt'rBͰ'>dAe˂^7s+}(]% T뚛QqT1{O׸9U'/6!NK@߁먕WN1\NFV3>kHz˗7đAt8{ǂc}5!wzDTzH./TO}yOz~82KHה{8Sms쫉f 9x@WMk1g *ra [C(&/# *ppa8QVENQZONSzɢIs2\|Ypoa2-s 6¡"sCӓJ7VmCiy4M ;ݢ?)io?}&3jêe[ml.AH(tVԹ.c7Fk;.9ޱ 4o@R<7mӽM09'A^QQv(UR)H6Y]!B{|o^U..q~ =v1y.7 ]j@ɭ{3H/@ VSvv/? < n;$Mާ.Z'0cU-$ze ʥl@4n>%Z ,iZn!=`b,V j\CEmj?pʝ #Xc2xFC0 wS:ᥒV)V'{<|S}ZOjP>c311k)8>WQER{Ǵ2|Ċb;lcE:ll*wE>ntwiI-LdnrԞi$H5u9㞃!o*K_ S9ߛ82FmZkJ`Nr2F,I`גbY~H?"|] \3R/Mn //ϙ(C J],N2Sn Ël,>\ȏ:&k?5=ZmB&߭ <\QDdH!˔8X400zt *E}y>}"}y}lV!kO&z0 oFFn/#x1NkRַE3F:aN7^~n@̣b#i*hfe2ڲy%k%s\Hb@ qx?uf|me*-i\I]'-lf:QҾ;Aa\rhŏ{6EźU`1K`E- Q toǑi/<, f~p4]Qd*;mz쭖טD ! bu CG'֨!DG{~(Sg/7ء4e>*6L N3(pſ&gYZ QQ,-;' lHOL-SMT_ExamplesHOL-Library.CardinalityPIDE/messages7zXZִF! $ .]Άxʆ5.f-9 rq9oɼ{}m }] 3FL!+] R׳m;e+|W%Ta'$1̻ݲ!w~ 9Uۙy(!d Ч1Oy~ 1jm["æ%#ˍ\3&c~`Ζլ/vaBez*yrԥ^(L <5In;3w s*0}ĬOhU5a$TCcU,C%5T\X~L L"m%t:A8 ^Ye9:- oUpǀ( B "!Tzx F7PUw%_8~ exl:uKNSJ Wڟ(:DW} b[o1B<VF^PYF[DE%"exQEIp{Kjt !LBZA*d FSn520ڨb5~Nٳ+kS/rSGѯQ;EC )n e<偹&N("aqF#.VHWNaWtHE2Rp&Y-U+R&\V1ma,W26-2Av>. [CC{_vuQ ^}9&@Χ}W";ցWz.O*F7-mv՝o@N鵬lG/#UH >}qK6pG*ػkl3'iJ\%Ч,J}<:4,MIqa+ :5Pڞ,*"xIKQڹFRfQXo]&[UpJ/1e~i-= :+Sv/4-/xfjr ϒ1r3&{Z j*tHu}H9Ʃc4)}eO$G\?-Oa#\ \"S_ω{mB>6["TɺJb999gwOaUDzT3l]D&X-s l!v@bhCg|F2( ֐~&E :W - :b@ b؎T \>G;[* $* fF]qZxf\) $^o0@7şhUjw!B-֊ݯ7!/3T*%MU1?NILpI4Ě_"6[5odv{oEj`FE"|7L q.kwJ9G?" MoGQv5֊ib0wLX[^P<1zPi sJ*8s˶=ԙϾYE#b:X-+i"Z4{Oh~ Lgw!-S2 6 JX?,!wOmPl{X+it 3GLfpol`|vueߏ4gƲbX.{)[ 4Q ݶg i;HH`ٴ~9 u/ \h` u M ggnUGWEnߡ.N]X AהF|hpr*uli1TvO%[ֿ!([L"0ƃ鞇R#)hW31`c'.W&>{Š_㱣vק#NIL zx:dPY3ה:@$ O5WnV{C+ZQneVĺO؄-E]ux;oMRy.A Ј#q5;Z*ܕ KX#&(y0)*Tѕo>M$2U~fȌ+HO0}{9:seoa~# mIJJLp1Uf:"_SG{ٹnó͟{=%y9>nedTclNS%TKʭ0p%@-QI \HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex7zXZִF! ]m]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cY=N%pT\mwNi,*MRt.*ϑ{rD%D4";Y ,|-ufSk,w\q(|rfXŤHaTU*W?3 ϔ[%vtLbǩ(H _w*rۄ F0"1J'd%5/@0|_zm9h5H1;?.)B" < e;MR'+0%A~8@u {$Q#rc~yu"vE@Q'mgP؉bJ7i/6?MGƅP5( „XZ^';5$)Ŷ=sT| uqxvҩ` \;<0Bl;=rQ{edM=aا%7&ͧH :iů'zYˆv"-$\$AD%@1#15S}oL,E쬶qňoN:^ԜOϠ s܃ZѺ:%E:ȷF%ڕۙGi7[h$CN3e٨?=J_ HtZ` 5k B}ISiwJbǪ=rYT3i711 )G/P"OxSS !ӨHhR_p\}d6R<#[ {!"rj6iҩ^@:f 2>uh uwo\DS<J?oOE6['s,lL$H?гhd s0%^ A'XIn \ L5 ?XO`U")AUH=RQvzT91owZ Z+|n3U߭'MFi o̓dnRRֹ~_bcʛ tݲ?Uv151iXƁ~5*<ЇEHy]?WgYZ&Y<'f \Na#C.! "-bCo0)|$JCX[+{>Mߡե"X8լYT̝]*Mvɘ"x~\!3";Nkf ,|"HbSQbvE8RC!% 7G>vƵc#} d6jG1ڏ*HBVQmY_kQC!h။IK-Dvsyl'Y|_K6aTY2dHS_Pn~<a/D^\HCiΗNNE`pl-VYvyŔDӲQ$T&`$l]ҪN `wǀ paA_ $3s8pآWIR3L\:zڏ{s;H Am?Z7."s_K+vސK%g{51=duYZ[8Km #q?Ԙ!?ڄ!j=m%NmBl>ߒF# 9 `O.ZCwwjуRbq߸oW&(d aRuJV&{M$Q]M+ rϻ˴Z㫦?'9 h =b1UdDe6I }^u{g\RI'6S& *HNCv ]Cd@j.f;<)e1*]p $lq.%r\4}߉h}<4u)!;"f*"m0(0ceRhؒ6̈޻{J80 t%s@m(W6ϛEu:Y!mfBgu ?} B]IT44h+_)al6PpU{\ʮ{'WB\y{(yey 2X0sb=)\9v0l*B -@L"2؊ 9[d׾:w0s- ,z>@'|)'s6E*u gTf1.G=@#~1 yE-gp$:m:ɏSmj} `PK&elO}^qlD*^m*EB$誈:d)Jjw0,ZV#ۤw8fxdR:2m@ջ4:عFpw.ʵuC£O [#A#:얜g"Ȼ63{Tc֗lrriI^ \dGt ǚ8R!/ nH]nֽ`O']%!$h͋6ov[#$v_dlC!tK^e CþB6G_SR^MĐ?&]NWRJ =/n]R6Bw\^> 9@/\ )Y2գ9Cgױ0U}]B4 ҭ1[,Y>҈{ 7QW v71~ ؊`wIrG\'5M/.3\(ucs{^5$:-Uj[7H-)]azPʬ]@t"z8 (f2x<Ջ `D/#m 5FⲹGP9͌݅)X_A^Y5wVgswDh#N$ONq\L8^D? pPդLFIL"sPy.UdؕV6:kfD,txGNc%$ m@kE֠|ݗ)Fau tZZ63򚴰ur1@XEjPRLJhq0Aܢf2;NGm$&9 b] KR+ԑuKh|5H]~[0 Mٰ|l[赡D8eMwo3y7 m#g{K ˎzyNE?_}'մ+6ju6K/,*`!BR.S#t[(0\Ja\oC}%c141txYME.ɁRC]rGrn6a˩liX5H³@ !,x o龏~7öb9ȩ4CO/|EdJcێΔT+?*% öz鷌K5GH,-nϽr7P%'dN`pX!ȡ/c޾CFyHc'ifQ"E8 9:j$HSS-6tdaTœ/VXkyUw-և4˸ \V#&:Pbz,j|CȌ9lJ|&֗4 "Kg N)䱊8pm ؁_M ss-԰J0^Xxs]-M o}*!uTJv'GT("CF2,NJ@_1)XV9OT95\T2OzԐi;kuG䃈(}қ^k`D^nqz6xѷa_;UO\7c9gIc+Abs4"CpdtHSb5!UhE!S<{ܻ b,%rLE.als4cWt;D'1LF_FӷA OF˂jLqd0 kPB.;D)Y'õH:J*"*gH݄ PWCZ؊ky>ϺqvT\sZ;ώ9II#a{/HNmp#/EFQQ`+Mw!Tob9KV5E#jP0)w<$> f8xJK.ɿEpE7ʄ ) SU9Hĸ9֎.POcj/irC")M*s$0\J,'tIȻm'(˃\o|ʻ񞨸nkj%i厳.rL8f" ;~?qV|DŜx.RX^+0zj,8Y7{%߰h p^BWX{ tL䙢GmOV<37hWMg&nX{ O+c!& *Ɍ@:ր|9t~f2r04u @0ѕVтPޙa'8ZXts.wz~ؑ3RyYQU0sP㭗V9bMeAߴ |26G]2M? faᄬu+I|a*H TN=\igr'O\Ox@7_ 7i ɶc%CPXM8'&lhГ-蟐ĩؽ1*%P!NBOQ74cOA@k03uJguj^Ѱ#u%P& Z)r3eA|9^1 *᧎w?1*I^n6 k@>z10m0Fn[J+w>ZԄsW`r1FU(8s](a-Ya;VwUMґ67-udh!-m[scÛKf߿6]Fjul-OKs?aG4e3V-D0"!:'rfz&xVYw9F~Ͻ\ 搏#ۓ YmG<{&bS44f:PrcP "1f>_Pu)\r2gƍ'eY8LA_ h(pIkf^ar aU: \10;aZ 9+kT3pYr'ܿUqTne{-iyYСn'B>6#eIVm8k<mMM@q-B(lP`I%jk_s{.]lCf*  X:}f@3WR %~ ^LȽ)PEj Sa(9A)TěQ7xn,½7` ۾&=}=%xެfYHFY5Zm#k﹜P‡*{l6Wq4~Ft7~R)Pj J@( yT#l'_TXR2\umP1n/UxvK %TMo Zd҇ ~j&OSG ?Un&0S6 *A<8UGsD+=ZKė.ҝnsXV1T+_}0&﷛se~1Gngv9%Ƣ=q$q`@TcglC>'g.{j݈C[@wF%> )M>m+JT wNj [MR4L?yNVĹg#@ ཾV><Ctd@}5>RH+~ 2Yo&|Wr@2 I*L-?pH J7"!fqD;z8 nh59Xu_C? w_T6TKX9>_`4Cej-9q.!,HXпȐjh(i˶%ԇ4}%EzQ6d E  im;"QpA2򟴞n!ig夏!]&ʟY j@/aFt{y*xV ~gU/4x.-Uƫ1եNPo5ڭVOL22qM *56?yIbaA46H\XRYhrDۯ77н{QWe{\ `C(L%D Iy;5יKҿXmNI{2f7CG(9pFj`W.b Vr\Q)U$ÙB\/Hn]2={gZWHa\k⸀%MGSlX{n1Sg]~20DҜꖉo.|HQÊR@n*ͧ_p*?yޛtܵ"REL[^sFp[e,4ɉ'ÂB7ݶ8iNLw t~&yA"i9[Қ%ggyO&*a @jfyg*_VAq61 )NX!mDA2Wx4sEńQ(?%'~gM/!EŋReQB=J枟L޶|XsD%0+7:-3i|$jRu\MJ @C'^ 2^nv-AԵCHlױ&hڬCݓMC.y >UNpbv2 Y>?#'p_XY LeexJʚ8 ;5~GIِ\!֜u"^ ZJud4;B7`?{ BwCbNeC( Usˇy`wЮN^YqQ@:mDt i!*{zd."yèZX0{XnUKR~"`l`임JO+oķϼ1r Ϸ V6`mYL|ɘx1gxB@\G'ǎrש岜P6OmEr40 1? btr8oɖ}}"1J8,(juWe 8wpԨ^_o$*/衏Bdk+.COi^܋fuEܔPt-޿xӏxP\XY(Ɛ +Q6&>h$e3aFinY v>ƐX(~\n zYNHM|&GӡU8}~e1p]h`oЇ]|,5YRO]ӌ=G*v"ׂ1*+ĤFeۗ;rՌ:O%0zZwDg$# MOõ/~OǼUz7QzK1@ rחC`dZɳ6H[C&cwGw CXxяćF5dj 6ˮlH(b* beuᙞ.!nywv.K=vz5e7(ёڕ߽ Er6- v=5}mqRDie]ᬹtje#2j8ޤ/ٮ϶Y Lz@7DU7^lއN^ƺK,/$Kj {9 `X># |]P>7OP5+K Qlyao?fZQޞ`UψChc x&])'kfx03}5˳C(1Ec" 2E`vB#]Ȱ<`6}h{9g;Hf  *w1[AoIH V]7V˜D3AEš~56rrxfXF_€"q8KEv{7oj?5ty na/oV#*{*`YKTq萻bJԂi0 Yj&gn׈Fi X|SQ|H a9S]$K546 ZwkUw?fiy$Hϻ=9lgml*YI)=Z$2!exG($$`Ld0>ԿOl}T4atrF6܍y2JBwfzs16(iQװqC vI3Xkx_ Z4/Ip!rh]d -yEM@]Yܗz vbGA%\Qoz4n!_Pb +hRG v12cyQ\ͤΥ$b?:mL6鐍yZY}Nnf褿k2@ʥ{.B})9DtB:U<3Bg횽Nņ2RTэ8ض̓n|`ol"D#JpnM 0FdȴÝ&5q/!Ltz1>.ɕ/1lWzԡnn (͐gdJ]Xj.+b⑻11GIf73"zpfrx'I)ԵT4"͵ۇ,6y|Vj=iwmK}c 7㼅7tM1^t{аr_Z及pnN^eI|/ as2F1ɐnP3 ^/&HյtTDd#=+NdzSak)v=juN8C|86qAX QS #wnә ژKuSTUĢ .jD=̓O' .cJiQ}aS4Q`4_"o5y=]ci_]/&s|F N+E/uNЂ_q(> 9*f2OA4g@Q HjYt:L5u[ P<=oQ*(Ce5R~W/Ecb1u^R4~n//NcM9g#?W i:<Un[ Jg Sޤh`T|LՁ]Zzv?vZ[L%LV 2L|]1BzԀK13[$8Y͇D-g۶8AVSٸUYy.7`ǪU W’BT6%h'6&_bIQ0+j dwY4 KCl*=W5!+lwSW Sp/. C;s0d; .EfT4 um^Nõ) qtPDe| xGfAn%c|Ѣ?G.Wx=ƩۗEb?_Ⱦz]|qY͞(58щ.UXg1/8;{ IAq#oE:L`rd7LBnʧgM(VnZЁ;m˵;+rH% J=I#b'&(8̓u$ 7sB g?t7Eeڲr26ks>Zqv]rÈpeɗK4~hkZz!g'SXΆ᜷Ȝ5t5Tkwc 0]]{kl: [2]~0>FШhԝ@| f=FuJ`ݧU㽘]Blm8; [@ݡ <[GŊVnj뵡aoh$J))GV(^;dYj4iQrb3O<|۵=Z%VAp הo xơz:jELo(&wJԜ$XwybN*r cy?ц-@lR;˃4aEWz#O)RvV![iݧa??FIxAbi{d.]3kK.=O%r̽6m&Bki+>{W29ݖca^ߑƠ[ri14Y~6a".$$:a Mse?M{ naNf]?9,\^ (XODSW;[JkվG, 6smWұE-OAc8S$6)șηh4 tpsQ?U7bq h 7.J?@Ykol7Hϖ:oxN^8?'ܣCvl/l9](&Y49V&ݮt] iQכ鎛PKvkM³"e ն+`)֪cϊ _QPWz-gA2 2b[:cHJw&c:]IQGsP-0A0 'w&W[]3:?x]'Q~BGYG m.5}." vnd44ͫ\W V#g^ \ʙH#XJ(z M@z@fyG]*Eup0۹4!XONt8n"f]o,v݈Gߘ`wVg+He9mjc:ڭ8R\N$ gFoL!Ph/ +MF-4- ԝȨzcwRCjUӨ[cbKm-JdRzzlQ}Y0zB!/\]Yl3yk8Ď1{9y٪hϿDi9HAcZwTd5<_?,HA@8n{3-Y _p,?JRph]ƀ WAMq/wwIɿu\B̛"e@g2 -]]~ࡽӇ I!`|d#Ʌ[=fb&K7/W;tLpnD1qf:$Ś7#l~zSarj4P2"BT UZ,.:pܜSAQ(7g%ic0*Bx1^y7@skYK{X#Iό3W 8V6G?!YX$dZqW %>qUGڪmD`ީ2-ڗĄ`LVneҿdK֯7g&D>B8DYn>3|vhQ%⁣RąR֥؄2pKimcėy lHBI(!_{0I=˺H]-:7DFdamm5dk"րw 30JͲ%xq:np$Ij>>MMsXYG4IxhWqGe)mcmdﰥzrlHm_Oy!qjo-"ьzm?eIRCLM'_U>4գ;5ҥ/-&m+P@%^ѻ9^2MZ[vwq`R%k(8uJ+*FYv=v[OpR_ŏѸtZ9? q kŕ;Ʃ?Lwr YYdaM$)wV]Q7_* $OۚidSQ ϩRQ #63?U;+45҆?ӄ>p2Mیu)PHfsiT'@IFE='wgU  'q #ͤ2̖%$xj! K]eK^h̜i)悪KFF T5߭RuD}ğuPS4ڐEM 3٤=9Gl%aJ_9Dmpk8in Z! z93x9 ceT3U0i:gXVonZRY 'م/4t r_zgU'dHvQCݧj2Eĺ8Dno2eI|VSk/cqg#6MCجBgR}t'K.f7wWTwVMfV MBr5Yl>l(&e^L.Yz:}Ws?plro(W7%OJ5NM5kd`=>֒wew?806yXF}^ɧW$]de+>pG ;+,ӕbOEA%`*gx2!lHH>!]l@ˆ ْzz1.#X|в8Hzoc}Jyi3֔W5"V@5{ K[s#ENYzMwa|Ѐ `|5CgE/Jv0x*W"J`f&Αܾۭ&~Q o 'KPCǗE~`dEcDKg;WvCG%HLǑ}ȃ /SDj]ZJ?Dݗ2#`AC;"BBnS/H?q;y5ErGymBo8ni5O6fOqFpħWe0KqcyˢB;@i P Ѷ ?qy,o N{ƱxuĠ^HJ#qKʫ:^T^ T٘k,y}`gFNVHN1-~qRW=#ϏsZ5ل53ZA=Vk"4/HU}l>͂ʮ|9ui^AEP&yFnm5b 0ó:U{zTk8(]q=6'jgW{bY٪cD )\#e<Ufw ox߲J |F>۴qrY{[T6D#62l0]҉rn?y6`hQzA:1[7>e B;`4G58ڛz٤{vXN͂}[ @]9ʣZv8.lL nRoFpNJ;J8&B("l9'Ծ/-_(AdEnQg?,rDqz#$T[إ^Ny~G~ȭDh,MVX}DqXtUb<ƽkNE\uK/ȔPړ\_(5*ugCOe|פOm RBOprR@n щX?D.GU΍vqF撉e,,n̋0&)sf2W*&_{Zb@#㏭ޤGvӛHN?`E:8;f]uFSC@wzE-Ee.\'WXhm"1qͼNq=* tw5LkzgH6K%븿aXv҈Oԫ ?~{;kN ,bƏmh~FWvӯ.=q?;M3ѶcF*kWi[MʍRk5r;xyJa.2Tue ;D](5TX<⬢t;2 u(4Ym$qWDd?W eӄ dsuB 1S&UY+47ug$̸lq9FA7fJА1%]-ZjCeQj|ur'3dh/luֺƪlMƇ݁ [!=Oס9nN`#g D>IZT 5DׄMS3r'g7K/lgml,hY7ܲ~>"Ό6zD ]r;y<Ȕ!'ChsY647Rp&㗦>DxK`2G?xxc"КWi0"9XYUnӑMǓ|t D|轌ۨbj}V1Z X [^íw/,a4ڛ°F7+$ ;(Ϛ#y˅vL3*`f:ZsqS6vjyO/Q(D 89xTםޙ2Ɂ !;!~zȑEG~&uyǪ]N7t~SM p/J'Fm殡n&UcƳ=)܁}\O/1 d޾v|_V l.xq6$)2SJhДކ ك?Bm:=^'AҖԛ֠<6wGMJ\ zV)цLFY׊y;'h\q?طt;29}YY4(h$HZCj<kE}=7clG40[GC*]14ҰEpZ-{vRx@?!e~T,q^zAׇlmRa Q1(+nX+ݣ{ўwh!L)󫭡 i8#Y^ZEJTT(HfÛfK+m x: v0 1MW hމlmBն8=շRD֤Sx0i';?_%b4 NNuGv,NT5qТ2Qg}czȰNYBZWCdZvd7 WSX0 Z&pp*i*'GH̴5$y]&'N&LDs~Ғ5,é qQ]ޙel0_:K?o?ǟ{p!#O[sԱgYZ t-G# tHOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/markup7zXZִF! :P] !M젗OFK?[:nb7#.I2u\ϖ15͠2 'BCl/RHu|3VJ[BܿV@%~1AeZIK~.li]ův)0,` i YLVLg@KLA$5@ bO ӂ2<_2NSz:{tWƼ ,.Cv$8Yʑx" c(=v{2ٓZÄ Sӗ-vi $d(Mtoʉ&:N*O'SW|B'Hڕgz|&ɂX F4]+ͦ#e>(3iTa- Dg<~4pLJ⥗fG:#`Qif(9{ v@/81M?;Y>!kP:ZȫM畄 ⎲?3jшe0S}THLdpu[YM*ښ[Xh_\w=v--b;\|$rHaתALʦ[G, ϫXIhrB߭3hnpה  غ%0uP.@^h8E)4EhZ!I׊G%bDê~?b/6WV=xF*icƒ!Ie3,/j6~7[Uc"3Fr'HF6m&u7?Ч|TiLa(jDDs%4 vs5(NjF3{'9V4  lY <#זq" k&z "dv/u-zhԎ[7.ͫB\=!h 4/ZݙREš.^eϡԛ|)?B'gW!I:  zqX!;/~ڑ.!O/阀M)P! "яhXK^Q$|kN`1ެ-|$o׃ T]CX 5I7+kG4p x86 :RTkpk5D>l}O+_/ "v4ݝ91B/3U'mU='rdQkK'oV/˹qwT x/JQ*%/:{BTFeöEh4!ԘV/ ӝd>P()E4hmx N;з^mL#&j's7'nJ\0R+%)6[l^U9-?38yHWݗL1]L7W|q ˄k̆n5JjN4Nch |Lu F3V& WqBܡ2)Ą؝Sw],ε4 :M[bDqh]7T^*P>!}ފ8 83[yՁH2G2,cFk@>cp.)Ej&͡uW)d(RJ{o{iIHR6P]H`[&u/_[% E0"gw-3tΩǬ*9,17nBb1F&)g01̺$0Epf5N|E#):wLt.ܒZ19St,c@7 "7eFR{%$cvVgǥҮr& ucQCQt :'UOߗz09D"p Wv^X;]+FJa_5u`DRd ˗_`73'%h>ce&m1 JsJ! s9>;5 *\|llOaE\Y"Gokp|<<^@rxi[^:C3-4bG7P;H]ӬC(h67ꣁ183f z"J͌ QHS{@ 9L 1AsߠtTkQb$#=0NrlnʇYsCf5yin#_n[rE7wʶ`я[ [T6 e o@Vn%UC{]ҷ}ebЯ)CQ$"*S{sR̕᳌-uy6{h* 45?ӻ(:}2whzP։2nyUT}[}`[@CnɮL'FopĈ77Ti<ŝՒQlOЃZ-[)xx^٫55`ĉ?GHqIQ(el]8 xPC?i0=TMfP)ן9n9z̽PZ!C7j*;ԱN N=b' 3~`ES㆟ɺG gr` }70QOnkyGHMw-ʤ@":6m{gbq|>nvsH؈nm5F3ԑȣ h[iiP7'Jbbѹ %ToQ.w6bچЀbV>?fItY?;9UM)=+q&\Ȝ8NujJDeb3GYe{D+A\cXB2z=E)s]dl!CeaSLl6ſh[CSgYZ ~ /~.-C# lHOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/markup7zXZִF! 1 /] !M젗OFK?;uL2a],rЭMo1Z}D}|#4>ixץ`S=[ZBg71,_snr5Q5m\P'U>- ܎ZAk-H]d &q[XϾە@JrƲJ@d.PyYłFc hл=ChpJ ꋕtj.t+븫t/m1PKI tCMgHNhsEɧVM^W T٥yݺEU<ߴQ%W/RSڼL~L),Rx|EgD Jlab+lKW."qŐOOFmcD+Mveܵ(Vw' gԨ={X Mae/jK,~)SV`Iݚ$jז+<ϭy$-陪) ,vyj+569s8 Er7V]c Y\9xПi!4R(*0 H4?*(M^e+lmA_,|w,'y:1GmȒGޏ͗Q>"Х}] 07jc7};/` '* t [K\qT {0EUZ×lh T; ڪNCSsT>J 0 F @=Wa*.%Q9u3{>DK[{bv_`n4 sXO)ZQP4*P F{7!WXbnTsʜnEWb r ͵L_/ t.CБ/3}6QMDe RN2h4j֝dm)V[W~e[&Hs5m AL |FցO ]ڟGM{K<1#aUdV.q A+Rq)a:[Hp_·o**4R-L @ӑ땡y¨ߖ^_"@PJ'dx at[}ԽgZN#>a7MW=~-]]}6):#Cxۑ6*Hz\q D6P0!4Ŋ\qy3[>?۔ e6ƥ%3d \I"Wl$d 4q9 g^lz3AAߖ eճgZMh`NwÈ9yܪ`+rDPQ0qf >jC0@zk;BG/)pVPP+lB*ea.|/Ko}~@dјbi塓Z8 z\ v8~iܶA7왯M|\* .7Paӳmm/Imd")1i*R}l8C3KҕL]Jm`ke <0 1I:c~RogB 'M|a.YV4,& U[!in=ѳ8yc8Vs8aR9{:o\E^d72Jg$e-Q^eV7-vCsIId`8/֑")2][c`kT͜s"'V #)>َ ޓ:[R.V:IY@ƶܢquͫ++V;wn9٪/S#Yw7'ì&(N֭4fAt1;5 7\wožX(yem=ȚBf3Y2nh+84¦ Ac/zgYZN-G' $HOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/messages7zXZִF! 3L]·Iq n[:|&[zy;MHI J*ve/K Zy|Ad҄K_)SoTg *C҅zVo}h SGVp|ue4RY)tX,`l`23YׯP69I ]L/;Rqa+60ݼ(aDT6R`Zʗ2 =E`K0xW63cu|qTtpҥP֩^f/&HE vdR[ (%#lXZKfK6N򧱨}X\3ckk(7w=j^. j1]ߣp7^^&8m{.j-`Qܤ,qG ;J0sk1o!9IYu@Ж\ѝDݞBb~Rmpl9WA:غTӴ(BtEt{;X] hWGfhffF 3Y=ԗDc=89ʂ<*zؙ^Ҿ>YGKEV> dye ]U?LO/ KPE@F (WҍZ5cSLÝiX;=g6KS-U˕`ȼ! po~@%aH$h9s9FÎ8 s)iܴӾl4]}c+g3mzIE_hF-($l;dpE,xl{EDž|cIg3 -y8IYpf̂cgIW{+cYcwĈ8G۶) RD=`Bé4)!&V#cæAO6NY .s2\.UcˏN>{j˶ϱr}*z&Wg[y&ӿ~g c䌃(pI[C~T}qgޑi'JB8Toܗ49շ=0#]h#kX~+Q6ן Y>:v}_)~Yjʬv]LHp qt4mFAdx}Su(3?/u6{;P_5GLmKJrm( gO@qgYZ  "-;# \HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/markup7zXZִF! x] !M젗OFK?;uL2a8 L[oz\ =/BQ21Df?\xC^V啶tjd%71]X`kPI/bm%XU>Q+p43raF/`*op>^6+_O),o$\bŔg?{24ŐB[Rp%"*|FP)!nQJ'9ôp2D+|W'BTcsDeN[!U[RHpN+'\ =qM24{ XQ)!)k1%-ZY^vmAr֋gfLÜ1,Bpdg ?Xpe@ t{=]0(R,a;b%RUۛ,"au%~>ǤqZL-x 0n[,M/F+ǎ-o0X˛@ϕLCa<'+C{#X"_ E; y#%Hysа]9_nl5]Vʋm @> B}ЊQ!ƀR鉊Ha .)0UBx) r2*mЦ~3L, >#jKHU?aMA9/z+e[l_Qc Q~4ickJ8CWMT>"g9NPE{1yIR XoBiNl}/U|+Jk/pu.:ZivNP*\˭N/2kZE]|^ !#*Wl AggYZ-C' DHOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/messages7zXZִF! ""]D?7 {?:fH\I6޺0 Tw@9DTttf3k L[_ }/ tDT #H7 Q~:-sC2 2jD*$ZN84Ey 76к7Kc\}84Jڳ8x#.B[; <-(iAt'MX0?cQu#mO?ҿ:ɠ$n:!2Pÿ4:ݹ奔41NKBhfFCr)ʡ4O:̫Eij7=:z($.{:} Cnk<V*=¤2k =!Wao`e4Ƌ))dյGۭCtyщ̐**c4YdSCmJC2̮߿͊T) pD^gYZ h-;' dHOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/messages7zXZִF! k]·Iq n[:|&[zXu9<#Om>K7 ȣd7!;_miKMejr\>7%9~Q k-<,gC"a5~C`^8) uMd2/@P; %.Z?h]'/VQځL~|Qm1Z1𬡔>mY̹~t1\K-#TIۊڎjz  ˃( {hgśrFq~EҢN1 dNѡ+#dk-{][ / 55qP,f#P EgYZ -;# ,HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/markup7zXZִF! ] !M젗OFK?[:nb7#- Z5~TA6OB7I*MP[zkp9I_^GuL}Xѝ\b<\8=Ҝ1M( GM,Պ;ep?Ĭ wtTiq!2ޭ"j&CQ\8a?.EZ)|e1{*?GV=WdqѿT+ W/UuZV/]rtAMe̲glrqHɼ|rv˜ @\a<2wϞ.ZŐkp՛b0r] 3U*u/TI|=k̫CNYoLo a;'Qo7W[_ x?(+[RlЪ#,Gم&^msaߌZMe 7=6~)?Şa~ @J̸s Dl?A{HvA/"D蹽!*b&?aԒ-=1$%79لj[(UwN*`N09͊B|42nU譹 |Hj|m}b_Ȣž8 o0oZY 57\f8{aP+ @!_4c蓼EB{"hw99sts[jpn (+V`$LG,FEn}YM/|>3s&xgM+/L 0ݽ+BOP Rx" &F[[RS$9en2VGU9 }?'>-7(W|(yfr]Dnξ'VH$SB ]zs,$ַ-0S2zb5'pI?W˜$[Z4[r:q@|ZE6! U2/ƐԼX8XCm&_VTۯJ QӇO{IFxMMD88.uֲ$`:+7WOl3~bܿPXa)C4oldj25E5[x|Sk2W Rd0kA tUVfE>4%/WX N^|\ 㗇"l,s[c[&GP5嗆38Bza^Qd9b6P `|®pPChS W`gYZ  ! -Q# DHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_ExamplesPIDE/markup7zXZִF! ] !M젗OFK?[:nb7#.s42#b%= }B>e ~o٥]K#bh Z #r'a{_~űizfG3a-ahE}) Ji_opOE]0Q 59րWZ1 PFf;]]uZqWٮO`Uz FזE01,1z4 rj$NWa 364F3 xsQ;Lٟ(feŌ9KQ E~'mj.D{`:{꨺*rw$#JqĻ@Z z#V;S<q+S$ (XpU7_ț$^CaYv;@/yS'p\ [c%躎q@rp%zMՠ.<'FZj;d\uE&I ׁ@{f~va0ʇ4gYZ-=# HOL-SMT_ExamplesHOL-Library.Phantom_TypePIDE/markup7zXZִF! ] !M젗OFK?;uL2a(v 1rW+tJ|W⒘Sq@9ihJMx!e b7['(N:fX?}Ps  bLcqFn?p.e%3%JА//QWLr8R.G֖cÊK>~s@Ŕ<<~yg5Qa lf_HbӜӥαP^E!WDu8RF΃:|/QeaY,nf!?XCPFFBX.K"@\I4U ݘ7A+%k˥b|"o}8qE@ktY#b, $3#VBG?;Dsme9b R*GZe'By;hVSy㩵'ydvebMgnPJљ{l U*fmZKx0H" ayk%eP$'ZeĆ%Ay"P34t Z5) \L&&;v!7 i=2/G: $L\;yb9pH]]'xGrh!)3$?_}k@qՀ0sГROtA;$Ġ%P&& {TJJ^Ǜ? S$BmcdA23*"CtE6@ Z~ s;/3ww1wKXXm7V<ހ1>T =m*OTxhQt ^O^AwefW5^=S73-lW5 ?c ԈU>obNv6A-Zɍ^gj0pEQ%/d-tȘVӏ|V^D ,Ltf>$Q(V0X($iQ$ `قyD9#{?dUQi!U4l,5v,59)W2?oPLmpi5$b@0P1[E95BҢI*csڢLi+u0Jy.B/V,iAe*cѕ>3%2'zg)^])#,v 8ٰvsuר>"ADӨԢq"-#h#6X<\[;dɉw6n"@-zI_ME$صäƽew,uTuPKM;\OK7ʯ{s/*LP%@Z N$:KF(Dz.o4 `I)C^<*}, %ҥ[ke!`<a.zcwg[n4^ JUN~ZP-z{ddC1%z.$YTm;Rh ^ɃBHsv@XIH5P0}s7SS>GT+ wdVC^Ƭ}Wl@ "JA4IA5twe+s2}~|_]l8aUIO?0\ ŭ[Hbt  7vգI^aBD{Rٶp(Zh>fx-42+1o`F)f= A{;Byim@;%=ٞ[i/߶;,uniY$C*vF]z"EW 2Dq_|CW?esDQGӼה _6"7`2#|jw-|Rkf9ȥbg;~:(E T [O%wخxҋxy]cl"U[cr~'h]|x1cѷkՑzB+*~ 3b>9]NƭӀ$5}b5<7-BAs}&n&?[i(aq̈*Y\ WU\h)`JzԬsHBqrO.F I wn)23zsBitkA/F Cc7I# bZzDw!;FKC uR cCGd# ~;CĚΖҖ^jEON% ,OV<r[ LWrnY !4K3G 4/!T MՅ%] I&ggyQC# Jz[$nNB&عKHJEݗEXV3_.cpvĞ_,q.MnYD{"gΤp'VՍtRlչ| ME*vWyXn1m_ƿOnDAaZUo^ mC'':QM\Zd>ʗdj)^%Yfk@TL>zpc!-0tFQe&5V@&_A>Go&vg]#|ߗJOָeIAάZdU#rKW_S˅ qnւ֗cP@9ΝQ;rū1vK\pwUpd3IwJn_-9sZ, vOnȤ C l9AX*Tz#Ȑ. f34R6DGV֯AmCck6ZM郻~R~8pqYrHvV8C6Vȉ>#Tw雿pMj<Ԛ6N*ڿ١jN+[u&ʇ6] l*%A z·us(*‰a&)>6X#BS[ G2i1O8ǠUtSzVG[&?`[؄w.d`P]Cً_\Kr7Aq8r-6ӾHۇnlC#.t|iXAn«CHekו3 jШy ț814r  *|פ6 lZbw1盀Hˍ~̽Vs)1TFpp/ v U> 1,㶏V6}-3We4%‘XX?죿K/X%åV\%62vP qlxwQ-"U9*A]U2-ReY1 X$PרDgX=ZV[nt*GBli~daBWs; j\,D!hœP!iA)L_=L˙?e~$*(Etjev^^.gƝBiv:\` ⁻OzL^pRfP:[Q4b&^I&/hv})7IYKH#TJd^_13<9҉vtjƝfQ5wY$W_Zɢ$~#zI,/ *AuOj!]D2S*Rnc=^BݫL1uH N4W jDLY? &3nhI6Ke?JPH2(qX\=o_pI2 [#1&?amp奢F&RnWLOzX '`Erxz^<@;lnCoz, 4ds$αm%A,?|%]ms0"o' c2indcnXߢu?iŠѲ0S< %O{/:4VpKբkljjU,Ոccⶠ B((RJB"d[_?Dî:@@N+x1~Ya$:`zMO R8ew0!%HșvWAqa&ej+w{,9^վ3!}v*.d͜BM 룈D"|7g-t1~Ge_0 q^&l q{,Rv0R9Fg"QGRlkE7庈ggƹ;^ \SY-sPL?Ƙg;r%:3gӋ &"=Rź}noZN0~SĵEtG8oJ5OIA$:( ='@posJ -b,s6߀c'Aq m `e[s䩗\E e O>6]M?$6C>: A]kv}컈.:裡vJITQ8|+.;kW*>$ RΑAHP& OCBVؗ3SfvәfVB!d_ޮ@lPQezGk0'#\?dK⊁bSzoZa]kH$yZ:jkte: P<ڧ|ڷM<ˌZ9񟇠cf4ik5|Br x]=;3G K3"#ɂ^0&Cכz \T , gaƾZo {7zX* ̀vZ#֌L=b 73FX5JnZ5F8EeTO1IyT@DuiԴrb5wB -Cz=puK4G?Q6o1 ?rZՊEbw ʓkR<'4?hPO 2=l//2~KԆj`#҃KG2ViC˜IFngK`#uUkZ¼EFe+0Ԅ]6!\tg{ ;`5nk483ԭA ]6Buis̮ic<(A5&hL€p~U褧$`r 3UPFvKt9@P!`0scsz6i5cB2t`gC ͧQ'ALn:cMwT z7;eK ,лXDT-ϹK;kxJ5^9'6on3 7Xa/*MCpZ&=kaṏ_|V"7h׊((|35RJIk>fO4ᐑr;,IJMy`{cZÉw0M/!^K/ah?)qlUWl tbp=bg oEv!de VțBQbQPhr+e zJ{wH R:1ݢC yZ̦4Z[*~*8Rw~%R~mF<H߁Wp|,cW] ͡ pVQ*' +F{@l3(y|@TFظd3JQڐgm?ْƇ/NRfUT,$`:H8l鏎GK}]f40Juަכ%YEcZ#9]:tC %YZFy~ u6V[wE5;f87e[xĵ df EX8JR eE`S#=1@WN+2'8 U' mi;-%f|O+hC|~KhEYq y1cΑ4FyhM+UHA̔H{1.4{=AFF;#R;}a`$y0AKuwIf 6z_6B}89 8ʧ9Q9!|Λz\q,"~40fLXY|u%ēr)>ܟQ΁'ߝ3֭ گ3!%1%]wJ\&}^ixʧ] kr9Z+& !L,%etW#XW Gy;un<{ uo)xC PqK"]<@r@'W$<|^P\ud"ߚ;J%[2g;I%6J: W"@j?xTCJ#Aíff,i ^g4X]$qs"Ҵ 6 Nagjèi&йfF q*&0F:#G_ժZo" âc*ehYDd:D \M"/n&8vtJڗp+NlT^Du]r[[#W!N1aM;gp4>n|JtNsG!՘0LWM_DI%0^2  |QVIidB50>r~&.2o SwS:\~s7,Oco +5 /Y׷- Յi_N gdl|Beг-WN&I!ސDoa#L5=Q*[BмKQhbGgՎ^+|!.$:qPD[X7W$5^S@m32@(ה/1$'J0) 2&eK]jH8򽺣@JHGa:fKyf?lM_1""QXcn[HizR=ERQŷqVM}(% 4Om8 _XS.`5iVcOil=M?0b7VUl 38Ւy!o@}02\_j"vT,LGG͎h\Ro.A rʳ} B,$MqUz2\:0ܟD i R9( jݧxe 䑔 >Ϗ> /2y 4R&imܹUv΅$RQ6ѱ~ )C-<^ $i)pDxU5/I%1JY0rU8 b7NH|>D4TLvy+*ݷMgFmC~غp( i{)_fkU~b xW$rpe _ԓ?Uqy>mI4rh iW恇ȱ} )v̻-][2ثh7RPùzW8bļ8ǿV|t._{#I}t }3X~ٺXM:m0H؉qKy*gpR@hG*l;&7&5o{D0f"jP!p=(lC?ؾK A'̑`!u+O2l빷I/ENϪW3 *]K.͏_fPfKN0u=y"D,rp⋶y#&_BD{<Z5]Tq:D[/ک"ӵ8zN7o/>&t} N;5UK%CѶfǗlLUY6QjsEocJl,W4q=;p$`S, *u\^N^><5Z2ufp=舭NPac pQ<?9|nkL3ztbh)AvB\f_ ]tUB S.8z2|K~Ā3E }aV $mzye`v H.C^u+iOhe7ؕyҚ2wJCIھ(G}IO:,7ԅ%}C%w#4h=bi2dj/8;ASU9tȚTwlJY2%!#b>d">1fb!%Rzr5i*z`*S]#&kYM%e(5o1ԯ`x-LR$ E #(/dJrshE60$ġڻj0UqIV>a埌c+(ucONRV3Vv9k2Y\ z[er3<_q/o`}&8ԖQ6w uֆoԡݠ;<1ՕFZ\Zrv(\AFP& u-rvsFmbgD {q]pNǡ50Y2,Q嚂5$&Dka>" ߒO#-$C'z1C.zc"6=6Iu{XӥPxcX6Im'` 5 iX]م[1ډ %yhjE3v .4,Yێ]3K9nE2E;3:|F"b퍬8<[1ZBBz0W$5xqHKopx_F o6Bo3J!l4CP+; fDun.@Ahqz(I,47 +nVhjHayLC`{so?&>df(\r99-Ӥi9_GgKowW=.ZJZAIe GrRBM$w W .nw7e&!ܹ χuIjWvxסK^K~]d8qØ3O| ) &vNQe7Cdʨt1[Kvm _q_< )kluW]0c$m?[Q~dGdsE1/s <.s_b+~%k5I,`<.<@ۨ_qm;ݓ*;Ey kLP?a%kM6 Coy뺢?ݑ0ۀ BiA|U1κW^#fKo?cm| #tVScQpr@xL(+#]VQiW!HTƳuIxA0)sf#oaG&|Uɽ]<_Љ;73&s$,iAa&3Lx$_xr=9,T [1Yt#C%_>Bb8RFֶ6!  su .3B9|+z2ӎ: @nSDV ٱAVZcS*nФb4b?q2af4 Wf';J8{nk{#Yl}xM)NcZl<^l.^д/0h2dG@O[-^W?lj 5 pkKvק)L{!Tچ6&h,Nm u8+H{/tL9xE2HPtJŖWFvw"t)%[賉VtiI֢L|1#Wn@3Z@| l HIM&HqE5FVʖ/KbʕQnvH zhO%ojjZj9~ Q/zTp Jyiʠwm58ˮRhb7n@Yܻy]UiU2./AO蛧q'c%-DHL]ZQ"͆ l({V7!@V9s^mXD'@h 8`ty)CZVݔ>5]i.KyWmvԸ)=}zQ\xbfГiJ- J#$}>z4t~ޯΘkў; b<7(\Acu-7lnpq$EnXrWn}T?(Ӄr'۟uNye- X 9%z8*5kGSZrי^%s- Mw4_ ,~cdڝ J2BD/hއˤN*[kMsf}e磘;dBpv?s&)xb 1v7Ɓ-Iiood"<]iTl/А=G Q,Ϟzoܶ.IM}kidCiTڋy^=:WO@/D-hog+ICzBhdfn^Zv0IPm׀LXTg\_\r4J_Pp3L]uw|>On#J\ґxv*umMkxkl Qs܄a,'5ĊqMN7^~A5/"zXs^Ϲ)V0}pږNELO Wl+RzȪAxQ)W"Y7:fQ{CTm^Oiw$%ʃYG/!0bL  d?lcuMi{;[-/9Ƙ^br*(Nv]h2W#p88ಔ8v#hǍ|dm>ʗʏ"u;`75xp>1b4l#rIhhQ`jB|3[?V$P *v3u 2 jl ^"g(vEe=n5Qv{OG9Hg+W.p(.:5Y"] ϣ!Mg! JqݾXCTtl[P*QF]$ t|~&;3?л)s d{9qF27 82N]wyp/%PZjy0 Ǧ`5E-Y[ff"e}_2Wm W,>.,PtUW1+jt痊DgˌncP4/0-jL~CB[ 28ԍ&t}ti 5Xt髤ƻLvD Tn?,d9ru!U^GN"%-0ԱK}LGudpfdrcmUrDG@ChOJu@Xyj%5A)>T*xYL-6n*1l2/I`F%yp~LL ]j_gq%IU " swRlugRakUE}֟עmըi2K)1R/߃ !( ӂbldvdq2B|M#c(/7FPkjy{݆[[^˘_B+_e"펚F#_.6|Ƶ."ŦA^Xքh39e'oI P)*{=Ei֑njbLW>˜3!UEM8.5ʯ#Aezvòݚ^EkIs J-ESCe!!uw<3pIR/iV hx#nEeh$fJm ǔמG~~-.W_E' 6Va`9/—-/U`<_ x;8)MUɰ@Lg(1^d病Y9McppDJX G&Ql=K X6('p0K U Nu+_ϥFV1g-/*B?ynx"/dש@z 9%_ޜ;Ƹ@fdqٞ)@+H5VKGEG&3ҕ3"& 8BGM @k<;r{gړw'3*(ViB`__.1r ׍♖tF- Y8%ן4(A%;!EӨL6AL=1*G ~ 38~/B1p[rcPP'*O#-7^.θ}F_܁Q:?r` #aΒWf\2Eޙi,u^|8`=&&V?ӀRՍAV|A볮1}[6O6"?ff.}Dm0½U8 k|BxQte>{-0Uel9i~`J݊ХiT/S?KLRh bnkM?Ey`" \рAmr(2_C C0FFӯ;t lz.CFI0p$ѽLU'dtؿ&tK !" +1Hzf:2["]lwTe X `GQ|ʮByϭ*UoW¤ﲑзG֔@ܶxOxN@LR|v]X@H oD>)QسA..oiCWÎ0]%W$S@=:`?%aJonE!= pbZ!e{[@Ϛ9&)Ίb `Kp^l pNimcfbfN0/9{m? V$?`6\R90@AyI:>jy\ sgϪleͧ ߸;mJsఙ8)-YhX-C8lBrǨRkdqNdsIv?wʙl& ]M wX*p9 7N}:יw4GN'^P:%& p,Pk;9r:Q)m9ާ}7$Ё\@& s[PË!}ׅC1/pE\MdV)sоEmݭ1>K هH#_j;) h}aAAm@_VDc aQtPfdOU4lCSҷ h qB"q- $T%b&yH$lbÁUEfT c}c^fbow:.O=s }!_4c y^fbWl$Dm#o##`M(4(/R+G3$'Pm\4g6zo.30٩# "w@LPӾN}GIõ9A NAp׆t7IQ2&[uvoFIfuϲLvrh 68dLӽ>۩" _u4#½#/#p">,5삜QhOQ \K^,U@przMwAtFϻ^ :.Vo۾%Z*!\Z0vfFb`gZvWgy經?><><1aBK3`s$]8ʣnsz{L,?BBJ 6pVuԬ?GtRsV$A-;N ik 5 Q+ Hx5_=#/ނ"rFX*NU*d?4$1Ck~prIW.rω؂s&HBBPt{~%™0d S㜰g(D)rPAtHwi pZ-59c:fDuh t3f&bV7Z|; yB<ݓmeQ= 7%Ȳg@kuJc:d\^nxà{Q]"xN<rԼUPJLFOvsr-麏s$B'X bHpftk:|g|DКZArOzdWXcT"zѿA^M(QG4! b88v78;uݣ%ZX.XrxsIgh\WDv"We%Ԟb/( `Wѡ?Va*fiyVckɅZfQF#~0ɅBkbtAoU?jZ'cܵ^wo.>~->G_=ĩ@̔V2}:Ӊw(Ét2(.t[z!&^W,j+5A/QT)N@dC~a%oSl[j{@0\z1GO.JvhPs|˚%R9"}!=ɲJ#G8 m]le$Pt]z'icÄ+&;,}UXE֬Y0uQC"Usӣ0;/M Ɗ,}{#i8cln{A[`;`Lƌ;;[d_s@G]˝iYRD>Ԫr`-'Hݣu2$'o~ 0ocVWE Woqɖ.Q'su#5zʥf$qVr%(@b:`bIM$[\6Y[hie`Ch<6h%P^,ev yq.WC>槨-%>uLJ>L]fTKl`"Ap] Qkۯ;(@F0HaWvSrM@=iV(ti`5gqbxZz!S<YzL3&o8.2. `4H-2ؠ#{Mkq{$E(ĜKXC7aо:k2/X6RӻE".$PRmGJp lJ##wlЎNDҤZ LLpV[^ WΟQQMHU~X󱙓<lt.Ð+Wh y,Rџ$6q }`cn"o#~"MtcSjG ?/HA+^' d$5t)ȧ68j=?xDO`r,|3 oC5),5,H?K"ZpԠ=gM{Ff oIV*\.l0ܥԠ`B3 َ$Yo^2blƼ87_DM]{\3o((8B:^*̰'~3w SpJʼnHȰ¹'UsM!>Q+nԾRxnJ$5\%U+AMy16ƿQK?> k= z}q2rLJ oQ㶊Pm|52Ljt+ {QݟyBʍJy9*Riv;4by wdy坝"x܎xϭ:os޷ç>_Xrl[3z' َ0 ALliU`fq4 ea~isw5_w:6=D6:i_㨟Fu\\$V3 k9 CoW<&Ƅu:l {8͐G>|xIt9HN[OԠF`aD^[_sUg:bK38EcRM4)$rX;ޗß*r<'Tlt#}۽kVP֊vҾT|DEg*5 -Aa 'AݎaYAZ?REۡX}F~2Ef10Y* _VsDʋU> :33 k&f]9{p`N!(]6wC^Db?qg]{ 1D<, YWZ{^|Oi$I9r?j6 2gmo8'X=&53yict(/3O*N0U/ǶCq*YP~FW&Y5\mP1j‚63 0%ͷG_1g{"G=¼a8/2WO1p0a~:G%M>}2G J隐 ,m^E){`/v֬W."t,IMD~v aqhՊQ>R3xȡe,WHY!?KGLaH|:ktg>u Ȍ/~nyH9 'W4.@ubTvQVá k-DSeqSyCkxݻyůoY5M"Vh Zl q@U'ǹࣄ5ne##P$:'d@Т0|:\2I+NuA1ae .t]Aah3HxLٔhc`܃3"='cJ{̜iߒ\Rm [!:ivnRBت } +e dؐ@L_k-mhEe4dL[@ѡH0lq2 ч`O<D%M_ +fc 4Æ]B0rit bUfכvQbtK؇6Y]DBBb\g?/[!3|33ݾ&ޑ cn5UW4cwU/^D1;BWޚCu)X-<?w(9Oڭ}C9!'7ڲI^IV22ǦBjʕ)iW j"fP 1nաW)=ނb=}7\3,l ~xOu:zL[pN;":ỉEu 9Dو}6P>MQBHɍ#oP&ȑNg9)\7*3ղoZDzN R"͆{$\eWzo}8L#d 'q*M_,J=XS-n̖KF]H;z'UyRL6Nt2};CNE~dE\T~*bCEunfѣ# 7ȋjK$^<\\7M|Pt]@ R[Ϲ9S/hFީJ?w+6AS嵍L'$8TNg$]tk`ٲ OG6O bx\{ܸך 'P:O}:ȯgދ\Ů0i`0e.y)qN5\G 3}}g{!)1iG^eJ˖`Pf'IUG_6Dʵ6uy 4u'WS/.&!0yju;̶fC OdPOMX b#5iL6bZ,#X>tiQQNbg]1W)Y)&K j*ʍHc{(Qrݯ>BT}'݇}7\IX{Qm7~1ӊ}a4}=u۔4sYxK~.e'ol{VtYŦԺ/{Izv6)-u2/.ۇ/M7,#=PŎ>[nK˧?Ѕ~U(,9~>#9?Qc9#)g w̞ > fz&$XDWa6v:y yyt\jME>+ [mĺ`>X6TOLd`V*m M7'0V-ATa$hӀrѝ!]WmM' xK0vv`I Wc1XBhoΆHbŀëI%+{ؿ w( m+~79l9,^:Vzh 8PJAjv"l0AT&uC~ց3|nOd<.K!Ʀ̄ጚ O ݢ#W +xT'8{&"ELHE-[R[/, 2BaUYl12fFFP;47%)cM=IN˼Dh\MC .ʤue:{5ph cрO>xze/Ov#8#U%xR FO{1x-y@O ]a!D {\\™Mo>G䀩t, 6`3<+q`jڽ-y 0O!8%(4}d$orOck\/5%32v.97 aK=]a)]ȳ/)=D/]ɾߚ-]m~>iWIdFVPܢ)DGC<ݑaR]@3Kfhe?]e%_G JWTF3KDY‘KD9Upϧ8u>f ٬|V6mJ%9e᛺EaXfxqlLaA'TY>x폙!7YP["YQhBK&fb}h{v8IDt3q+=.Qc-C$?R{4Nզy<8e-JgySβN-AyUPt֔r\D풮=f;\7/ps+GR2(-l$OX[4x7d:|8 {ԊpV,Iɉ(E-__ mZ}b1 :ԛ.j^H˗M*{krZ٢ +VWGP *ſYĠ2hk A]:bٰsH?rX}LѩN?ؓ\}>%~o6Fa mF?].;$DxwJNlVI=oGM$앖O`9v]'{B/0hiꏋ}Q?#zpQ!ƀ\ |QNƝX>^U"ppM:/y=2"!{JY7$2agwL%Ðc,]7;ט-Īd 0a$ldXzKmf4 m焲sث9)(MImf\!:7wVs7}F#%H@OE\ ~DF"kI|a#04 ;jCOUeZ_9 yrԿA/-@V>IdmCo;Oڊ=XLL{ A/wWLxh^7NdT}:E)uP;`E5-;'IL=+1!w_ՙ/hBZ8u4HXrжΪc-\z=V RO}IV'iG> h)s8; :emd xVgҰ7e i]WZK Ӱ\v*j7b=D#ڱli^Pǹ=x/;1x`63?Y#պAy" j1 Gajp]v7l ;ܾb~ko 䀄X%dByd˦- J8`SGdiʵ9cv鄍d1?p^Ԏ'Yqa8:R`j^ g|imrHڸaIN@h #bR y$5}ER(ۂX>GBoGQLHppue]2U X eI rq̺(s){/<}mzz5@Stx|X@5wI҄a7p5M74\3 +Ba~J@5Z~jkG1[VT6׊VҌKuUϠ"㦅UGDŒӛP0G%B6}lS':~~<6<'PIpD_s~}e:P(;+,,yI,˪PkYFthy"Xْ=~ >|pVeV$*',ǖZkZ ,/Yhgt-(fu@ ʫ;L<7H:HٓmP[r8|9t)ڱǮu~ yDž~o]9ZVgr&is_"* TV6O;:i 'a fpM<8~0qs3ԓ|Fxv\^pXȹ U3yD>L|vEJ|i+ &zT+Qcp򀪬w(Z7=(zN_BAPjԓs )׸qf_K2C &CM>$Bh[h-q֑6L(f!!LZC4Uۮ&yn?4;뜙@Ͳh%Q @}׻1Bf.of#Է|E-f kgpmBAcӢaJȳsLwb׉Ofɉ73>5c!* $?a5~S+̀*(nYc3{&x@j (3Kn<=)#%ca,㢥65}e6'^85CGgU Gq|͡a}=ȯ·`8 b#sF-,Aƞ"Ţi3W+`-78g I։]0iL!Mv+1'C]oۑiw@-8 BvEXԦ%"5b~Z_-GCO{ʶd(fy.-t=PY_ 8$R&0ZӭO0.J:TרC#|XxS<5:_(q_Iwشk=hf7J~L9E'HLo8&) t!IA}Q+ ⦑Y#~ naiU+.{tױ2qԂ/8KwtD>Cd* GQ\fTr3_C\5+ w2㹨fp̜mCrz#պʉU‘3$z}W%4$1-ցMhyDwD mX P=-V*3Mgu }1HUﱏ!#(gspԵHӹHn^@{MY=y?%G\[qBto3Ӟ*G`!?W$=$wF9ˤzVپ5ɣw'J7.;D u̮<JЍlt cyJm|d{[>y|'^aj@cП3a5$@k9A^w =B- ~Ġ\: 9U1L[|- KM0(fՉ*.v؀ȷ>cyn|N.\ۙ:8~ni+>t&S*x.VΖ&RNgonտ1(bQ2^դ0JO ){  ;W#p uz{z/ u(gK !ov@F1\}SlaҡBg 36C̈*5OCk137oFPQk3R' l ZḲys8x3ɔ&e%#ge"KJ~a^H]Tk *g0(YJR~,INJzi+v*X&z <*|̱1?;cW^(QCARhb4F8"I$N5M]-^ǾHJmt،.d@Qru8r+ /ŌSsGCc# .b}dc۫ ES/%GjE.EA޾TbMQ1d&m6MxU_g0΀/  'EhoI &P! 0bhD=\b?(XM>ujO+5:&%A^w4eeG!E|]'6' n?fYwQp\wE>u3%hÓGw#1$U'TmD|1pb3/dDŽ`8HnsH;緛ł8BRjJ$:y>&߅i]t5#:*Eo>e]Z,>KNp!nW>ۤQjECNhFi!J}8&~Hze=kX&^V~//fw%-B_݁GG\#$\ w3=LC.$P&g F@b#;VX;EZ E%zNt׈'_Rv 娺wd=ixv9b,NkhOx0nR~9Nj @$F!BmV?J6U./Ov@UmEQ3A@?^=|>+Ѕ0fX PgRn I!xXN3ù?_įk!!ku6VBJD H8 U${׮%& |9߳%Vg =19ٮєD||%g&:~݅MVGzj U*64}ax9_Z702B;ѝx4`Wau%pN?E %-{pum!`'O}M;a'013zP8 s6Efk9j^"v1mӬk ͉hOV~3fvOzx&>\*zw^2xzI(۹e=VRwcNMBiƒ~~R`iirǾk*^`-O6 $RUyܑuRAWR~܌*H{UM^>%(/1V L7Z}/:mc]zr%m¤ 9 1b4,oJ\FDmTygECmVJ\ӻƿzZ/6Տ&U/wN"plfP׀`]ԨYXBhP+9v=3g2S0~$EO5'ƕs8<3V^_'V,OxoUīqpHl0ٳ=Y4\$D K2s~( т|T ^*ʨǗ)yXy'V%R?M¾f\>*'rE*rE(W26OB0'7b¸mtx쫬⽲dE@`QMa8hqxG*vb<5批W\0e|"S9d'Ui+d|XeԐ}p_N11o-יc\&ؐpë$BߵeƭyЦ0ʵͣ !B ] o/򼫺m$;&XVNvtsj, zFd0R{@3 JUpZww EuryZ\>Жryh ӎy7(}2*H{|?d+W _ 0D|=ܛc¿s4hKCM)Iv $qqn;%ƭ#KlioZNrv;DjPx5ĔPL0J])9qch~lWzo YsiqbOtkǚ%ZyC[YmHd` ]\Ez%̆7cBʕ:{)藌VTrYh% ]4҃<G׿Ľ?&҇]Yf_Ĺcq^ڔx푘ko4KqTء@GEZkboGH,1P*y  5 {s/TY!S5){KBZ0ѩuK$f W+yTKmk8V=i<^G F?=eG ]GS HEucz|a6$&W쏋!"; bݞ}#If#=wql!i9ZX;- FK۴΀o NA"l8xgDvM0ɔ^3HIM5 1k|S($G졺]8kڊgy7Ile=A =:͢!*Cبgyrb[顺G U WSNA? gVqhawTMnK4/H[*cT<EmsE8kMz h()|J_l.h;u"-fTAG y_j>um54жT@m8:yFU69Ζ!3E ӥȹ`Ei>zY.SXqZ[ )?V&K%f|Z i+דOmPjsaѢJmuJڱDMTZ"a2:wGv/j!˼H"^5l BM%~W(}QH7&U~l&*ii‘ g;y pPz"ĺQ9x-p:?gV^@֞|TmR~)$QPS݈#!a&W7\sC.GPH8 .pY߅,1G$T)2ăU涞S6&V|6=/mp 7E:9w%{n-UlTsQIڟ9CK]Oa Ş&IO!eݵ>G#j4PJ>dBǯIƼkF , MGRD迲y[Pg雏r-p}5tbmX6}6Q [pޞEUJ ;Ð=[!uB>ܥ^B 5^%NdV  3rH Tʬ ?0n*t-0[ɷ7i~OiHB.$ʁwٲA yɢD^S K'*+o֭']M -U-/|zPVq3stũ)~n=-3b!*[R,BD _;#ctY͓Jd+RȪ}5輞 Q8OMOOb<3h~z]jҹw'qԴxHtU&Jpry#'(Qp S;AkY.{ߊ67^02sfjnVɝ1NSގV6Od~ FER#Et_+j6TC$yMq[Oz~R~-r;C^ދ ڎvp *c`訢yr g&6^dcM^W]*a_ Kd)IٯZ8zzSKk_؀*A9*tmj t4mZ _|/Kg7f8CO|tiWՊDMoFߠY2- ź% s{A#Jq(Y:ۮ2?Z/O\&+}D>i\5Z 7|Xk:%(7З"}Z-GtA.s~ "uap'j%R$ ].=^*COȑUo&Q/H([@TR&)+o[lu(%|$g q1.=N3o]->gPՎvX9m(a"ø[p~m֊lGГ˔{[l 5La!R7~]q}F{T .Bv:o'I mTll| ]T>8)Ey(Sd ncq='mu;X $.PNq'6y@Nͥ0y ){r^KXj6T4wx%ª Xiv#*G8!u UfOA9I ÕF>@~T4c),r:)54{1qD-dukT!2! X2gR?&PstCceR^GC]9Jg>T8=et[n$d!5%#p3Ka߱DL~}>vB OoB9cõq"3>7M?2Q=`bHL;պ]a )mGT8m/=HXmDxHǝqije$kܴI UQłpd|@% -(| `qLKFGFsw[4$n1q3;_܎'.09fAe+.zbZ=T h$eBO'G;BP5]>ޅaU榿[iJErNRp4{D02N5.\]ؠ@;î*x`!ne[V 65 ʺrˠ~15+R^6Ufj,t hGrQu4m/mX6@/¯P@8ZRbHTYpok ;YA6+D>L:_N=r=zZpsWގf6:C\|m9'y,xδpjBW!Yrht S;m$75,{=M)KhvD?`Y>= S3{%nR;].$U:T#rs*ʬHmBNt]@}eTne`nxPMeq)V8<-Bg~ǰй8ljr][4~Wd.r'J s(:ZCmivA8zo4싏N7% uvdb ^.Fy(kN]lˁvĺcϓXF@lW^CziJ]xRTZ6 qOT P rC])RJv|] u2l2)A>T|Si#k7_-by Fwy'.@1ˇSИ?:mwkS&;R> rW]YV) nl%;tq(j^zQR/հof5l@4zmxB>%Tn<]k ˊAjjCfw6lɮ*t`j6.ud;sfhdF_}<3" boJBQ7,|3Wckk2j+WwKA&2rǥ4,P)L ۸a{ [];{.[k\!}4\Isi4KQ{PMHyQ<~o&;Dkiʽ: fo|LHtIpDLKЌ6q%wAsqLdN2.Io}?k3 Wk?U!C8Iܹ۵$ȷΒ{A^o6ق7+,RG90N3۵&G&.`TP:lXN ZT}- Er\͉;y1g h=䍘j*eCdIiö9[$%u:c_7e!`u-U@nFO/ Ɯ| vxW@f0`s;]^vp^N'+γ$`C(Ȫmwೄ%'>kCp$nĹS+\M4̡@|zN!!E_qkGY)p/x#cZsY'k6NnWmrF@-%[.s_lLQTa]KU2sW&,XP=D{Y8+RvFKA,KD^8\$Dn(:dq2 ^cr=,ZnXk#][-@ /3nfFy(q(Y -n'$_ߖ6(El E] R|c,^ 8Yu 7+njiN?FM'}_BW1|My<wx%41zLn1h"+XMGJl0քa 2GNE=ƍnR:*|eT 1 )7%Oc!Vq8A0kk5޹d$K*\ykz$fuZ1+c| &2Ƣ8^fcϡ]3#sFT ǀuL1ٌ`GCrc(sв21--&w4|vs1dcE|eMc^]wdc2 @<̄ݟ3M3xNBi*:~6T#]77Kg70h Q:s^CvyZqςPRV`!=W)RW 6P5.@Iȧ D ]&kA[}z߀LS Ē)GŘsG ˪}Ot ڈ:Cŝ,3f6˶63Yj0lfJ,N̪N]3i9q6SJk.m}:S[!~J{޼ݠ\'- |a̱J-J}:C`]f+5r1c!?W L Bgy&U_жQ/X2< fӥ!ﻁh4"3Fwסs(MCN DE.a`mڲ[@<kƠTq}))h(vKc4q.$9#\%)| X6 IH} Z-͎B N( G̢Za>Kn!= yBw% S#qr-(B\:"aYQ5/y'+h"jR9&!a-Y}}nksR!T#޼m09lj#+_.n <_-DyȃAn0[ A)m~'wi &X͋O%m*%$E;v26Q^ Pj۫tec.^XЯ; x,]pDw"]3>ńb6Ҿqa[@Q Mΰ9"ńY=0L?eиaUU-[oNs8apo߃W;Rf**`aCf LI0bn.b!j},c`{%ORE=KY՗4U:@GYkN3/Q7[!`ݫ'=oF\"lJ$@'Z5k_8?iE%XڈMx^ F)E[3.$5"ψG3_ToVΤHKnF~tbRĕ`jҽ$da6TׯѿO=rˮ'r;l!Ir jyWQw$/ >Se%5I !L,~dg?8Eg%JR{öhdž8 >?by>fkFϚ)ks(a,tzJ@lpVsx-"|bIC\Ie@j!ZcCj+HC{zm^BZj5y8 BQЯc83rE.\s2vh;.^ {Jb%l9:#ޯVhb֓E\zYV.,oՀe)-8ZaqWEee$fif-撚C6]*BbI>9 Pa-u#}1N /$u/kB:€}[Gb{s]O _:-M_v$sktY:ܥM &ܣVHMEotT9c- pb%m/' pcrY< CQ팋]J0v% ud?:˙\X@Au-Jo݇dY MUճߡ(٦EL21<@%ouW{7rS<2?b-KS{bQo#3E݊cE;Y[Q\YHJLWE#j`J ߼ãةd>Uk*JDi+ҩ >e  ]TiNh%OdhoF簓!(%D򊓗5ilI;;yh+|c@K)+?FD; z d4K {Gt7 QG$ff⹥nO jO$T㈒Rޛ(?-؛ʽr茭n (h~ɀb1CxfqFQc5YgYm .[9dS /^{:+&ۀrw4+yYhn긏]֑n Vhn a Y0!h|X)ti'ʽ#@7I~GѳZIn[4es`o gзzOiaH(ItmIrS>2b Zp!ZRK0 ~nk|;e\f S e^,, 㿅qt}^11z ~I֋$7[ϱctʍhtV |Gm[yox:g|&}=?I5F a 5 ˒ +Nqrj^Gs9Ne\))O}nx2-ЄWR:F/`㗅5=a+~⭾F 6rzŐ 1d>̑Uu`{N!aQU4?}_!(a9?l#SČ^݇^O]3pmtISHK<9v]_"B`)$F9>Pu cF]q!{O>ceg:ms@WB};2Yi;eǃScCU-xۢ#yoٚzɥXy/ )\ń P\#:_\jyQ=rLs]uP&3v&a8vOBY'lx2UMHIY'w >B,-%ڔ>,8&'#h [@`{@3S6hsw&S^pₘڄ@sWy)3_㫻O<4c}(SMx(s]i$^&nNEUCDgIKWa;kHG7xJs`.eB{Y_ *mo{a(eݔsNRθ  3%HF]Ax`N;@o0>K{qUv ^$y#zRE]Er ޑ+/;ITo"ٙU98;eWH|A8@tILgqGdc-tSD<TƺT%6!i"6K"LV^Ts}Fa9;R"C}_YsF7,gI2--0 ʏ.m-.OжgQ5ܙsySj\_kkJ,"^vN: wggX+yFl7_Be "%K2o&Qj;aCh^n5Ss|8~,ޞD%ø7Rl,L]lϚkI[!9%k2ҩNK>ղ8!3Skc| قL~GhOCr3:{?&6.KYT{ $rxh΄x>T gNmuy vXus\C>%a)u(rC9'6d Om&dHUI!69)l[ƨ^sy[)r_?} &F?}p/ ޓ/7ZG[~"jmSqGx>ʇivp>t~oזYv X==מ۩)B WmrT;.FT4,:mV^4L!:zAp9@&* 3J[ ެfsfsmr\k8︈ **:|_Y' sC&M4?/v 1nu٨ ӓ _3aT, E_"IΚ~igfG 7Zwov‚@W" ;M}FpΊW(S5, @7!*u!ч!M/P-AÆf2!gRf<4fiP)Dem?>Jbysrȶ K?%pv\>1~Ȕ٥`Fq֧v^p).i7As8l,hR6κ";"CgjӖ;FAYCs>" !V_. <mCdkrŕJ?\jo>cZ,̢s։Z;Xksv/~{忖!PA^9I8o^wDF0,%# lyTo0$ ;r >Eqߺ"u@mB!g P+$w:"fEZ銡jCle$-)&) dSV'om2(aؑxLYϨT ӓ큿=#c(\+e#JS&L]to|d<4shED*/䶢zb kV,ٟP/RmL bHX*`urYgw:\.#i ԍtR;ri] Spe=q#!rMT+>/];6t^[?kbc ;%YH쌬*C*kkݰJ#dD_mexXQw+-9% wJ}ΣR/[ z^.~(>%p'Vg-SrNv7IcˋoM%4_[-r%luj3R<˼ AUŸeuPx$Tp0*2CFֹv-cf3a8㪀Ga6v!T9jڸxD*uɾ$,.x?Z $KV4p+T}C{(}jl/汌u ei,2LjM9AðEJ|$BE- "QXDRp:=7a2k!*r"wEVpno5ˠ1p42\r6v~\V͡j|7E2zxBC*12-nyC6˂65DH't<|!yߖ+^*lRZ^U/}ඟCROdj"*]ݶ{S(wh0:>G9*?}b~]I@Џ[f<՛(f, FGj-HFrYeqҿ*Jn)W[txnjJrsU|Z AIƾZtNdXԨ-  W (P䌏Y FÜT6fӮ잻ChpeJSL+rpa,|Xu`GHK:tG(~}$]6(Zޯ4Z i9K`&p#вf3KcQ 6xRл ͺ@Z,B{jnkJ}IMKI 41;Ӌy0@^KbÇEڼhO ߗ*#c#I,[-vEOh0,lb0;/t9HpS4m,đPʦFJ~~ A:"=@Hh3ƐYz?cڲSXHB;l9_b?>8[{PЌLfmAO(4,A$iX]  ,g)<0U[daie:̀Zoq˅\SSoSD1W 5?z({,G-T)&y*o߶{a\.:pΦ#"Gzܵc)?;JFXp 'GdCT욖1; `Y vG]mR=gKK3:waqېF,qp_O.> Pn䚛oBkE+!u`}|4@5d(rċt0z4~s:Fv"Ut[X5}5jj@æ&C~ERCe[{ pKo,[J>vsN |W|JO8έ4$\Y ]&;2( VjG[(vS _zyT%e1| DU z$gA.}6uz5w֑E{wD:+ ?ja夐}ڞDR`BA3 d\JFp۩U^fc#|,2LXݒ<B \F4^vǾvsDǸRγg>43ȴ0C8ܔP3|*Gv,?ڱP6Z8c`o!uJJi XC}l JX3 I|T-RPvw"[:)ݖGUp "-cUZjt&_aae~pAQkZ'$ș}Զ}fW^WMĖiC:(@oY p9IYQzO_ xE7-@P+|oJcnaS3irsk)l>Ul>M+/֖lV TH,]O4 sOcC>xq> =sGSG2gЀeA(,S릻k2S \G٬y&rs.E{~bIw9 _ )R)m*>Ɇ`V!a*Ѿ 8 \[>H_?yv;K93Cn@WĘS`No[|g' FNyk7A1)moԉbpnS|t8#z010"㷮'" t jnfep}7O<نg3Z܆Wr PW BAXՈx7erlZE)u>E4i Ƈ;Lu<`oO^0=ի , ,66n2-4ݼ6$+ c:Mϩh3[Ky? w״-CёFI/u#~蠖Z!dݸF\#Mj3]8M=:xۨ*щ?ƈKϚFT "MX\ +]Z<Ǔ޸ JxpXIE@UYi5V)NE*~A>{u #4:r~~F c0?.:HeNp6ox*h\KxGyݔ f|ܘYWyeܵq:$KzVXF֬ PGwEnZ벞͞X 3|D: E OSRU4 WMb ϹY !'fA|,m^TW䒲"5 +GnaqSs#₈KP%;G|| <0$桋}.gқy yQ/G1{G0봞[O!%_ɮ>nɝt]m^J Pz5w:ݞ^ҦT_#oxYk`D ͛}epE?'nE{#r)iR+ MRCKfc$x{_KPl+ VѪrº ޴%&/y1.y.3J^n}5){ ʫiaߒ _7/N%\!G^a_рULiJ2>X֫C߲2a|p ņ~cLLkPd!E1њK8Z#eIL:ǒI'? Ȓuw)5 tȷ$IlS*7b|%# HJ5$C osJ-⎢|=^S഻P~Op:xtXp4E.UJ_2%UwS1 LT>y?[2|U>Bѿ)ģdrB _OӁĿ֙edrp0̱39;;l1f :"s+(*NRd8EQfJ{~D)c+直ogIDj KS g*ժ@ln`37/wQq׻ZApw̐%J:h |AQ/^x]MщLUyԲ!㯨'dGB4_&;R̢&x32we06ND>Nv &[>2lIy =v+P^xC95^fO],i*(JYK b;30䊯 WDV4s7ݞlZH?6l_()ы} iÞ@?:a'b.iX Jy| >gd7;Ui7P|.CV>t6۰>/o5%NC[gwƲ >m+-꾥rZMlOj=vDҸzfJp%EOҧ$ ڣ(cُ)L2470%,;PnOJG4۰-`J0dSVl?éb< qx8 j^ЕgEf,]yNTK;VRЅ! i&4tq%:km۫.-r;Ig8.1$PЯ.KRʚvyZ+j-߳7OɌy|m ՞9B0~|X4w;f&w7E/ufaIArF5f>q8<|Q*'fPL&O Y"6'h&-g~ԏ>gXhO.2!wHws%t G'?H6[,7kZxwmj<] XbtPQ{̜1RXW%-gdBMiq]n 39\鞒8 X*4I=M07$"R-tw\B%Ob(m;s[{34 9 n?M!H&C}P?Jo5Q03sEN8$(v+% `]1q3t&_^"@ةlr[v%@c^1ؿL0IO@s RIgc8{3yۈBJWycWyrYlq[AF};n4ezv !Oo;JGp$W&zM`E_.sutO:Μ`Nh9߮~`&7Ȕ |K9By.[Wqn( xr|OfX\L -JR bj֫ןRĴ$ܿ4Fl huE*|:Ha(N苋ə‘c]{C>cAfvdv,Q}RDk哑;FD;79Iٙj o>:fp.E6xJm?lgtJ.N5%>WXM' mBǩfecfrl j*qX Z2"-WZeU]-y/7fk3/kBQ?6Vc6 /E<_bj|\G\WrPO+H}^̐hWAmO(L-kH}XM ]Rub)1 4á xt0~]7ROy#44eqx:-+ljp*537QUJ6U]wU"SK 2jY~|QъHỸ=s:1ώdo.8/z\ϪҦ"|N_ itѲW7{ !yb rB=É[tiUm3,~ћ_TLlwUqF{>h,8g`4SX&? . aGD㐸ׯ sբ-Y qEn$}Ud^;!|$R}NXpH m!i_lgC˧ j rtP+Z<&ϣLnoAx`2xuYpmºsQC/9 k0rɽ\ <ûcmD{УV֊OiAj[~O0dɕYHIj o]X6w!2Cu5M9H/0%$=CmS*r^G}MB)JțqRIyL3m@"i,󧪚5yCdGo @e`95Q!HѦ XJ*MGKu6[QmTNRBp߄\[$vt 8ahdv|rulZ$<!G?tG|GB!dQ!%$dkK%ܷ# \`K|yC`;?'s\$4ƨ-q?;妠ct* ڵhJȖA&;rSn.4Ť2Acp-!x$р3J8S^W\NI2kSK_N{guksnj; f?-$_[xtGWc\6d4&C,2'{"{TãO}>uTE urݜϷVQ72;nTKTSTmw>V aQO! ^kPfPN}}_ۤ33zqI/[O^ + ,1_"C {gG{1.jL0}ɯAU-ylo~nR1QmSGя ^UK7Htp4"$NrRuJZiD j{'y[!~~:͝Ǎa?qo1 `ONQ ):B%`I?vq( +>P2k5qb͂QCbo(cI<>kNץ|L-'!Mqĭ!o ~`9G:@:Rݎ mǴDOkNFB* +b7AUdW [7 >("I7nC#/*DsIsd=T3pG:Hd}lc7a-7Z+Xx05W2M_3 {SET:b0(./ FOi nX0` mmPιy7!z 5ZQ , "_W U!w+@|GTi#z>iF>ۜ=62DNR˙ٚgO:%rg08a@j‡,J*J)bR¹QT!H58)YqllWiӇY=P,.Q!jm*4:+1~eOZEOR>$mnJsPvb}e౶4oxMYL񷎛?"\Pr9Gr7p2VӢ9PPU =N /D̅Ir]M8h,:Pխd9(|Ϩ?RH.~m\:W]u}2B:dt~庠Vk(~o\=@ Kjr3.r\僳wA' ʝND91Dpy\9ھX7l ^aR ؠ'\ 6A"8@'KfĂx{CoD4!XCڶ+aؑ7u.R&"L担'{wIJ}:ߣzBgnM+Q2yz+mm!بLؿ*LUt"06ZHtcw;YPvnދ)>\m Y'j}.'Am9Cu8ύY @R|&vѠb톹m z"o >(҉C21n _ &䢮3IB\`x=\赋ʷ8d*l+2/nhnSE琢ȅsxzԚenj[,;`_pj=0b̑]׷GcP{עʙr@-)<8+BE6gn^a۔j,88&MwUu#bs1=kW+ N 91ؔfɺan0P(]f'g+=? 5 Bf'& 7\MXַw\3yBnj*RLp8H(t3ø'a'YG*(e—$^_}Q &.e'KEJ۸oE"in f^eJȂfdpp ݣ X쀸E> i?)9ahTWC ^\)'{8Ty15!MONyZ"SDhM^֮ -RsGwڶ4a1vV[4  784OZs6Ajz?KȲ6 >֥-HTj]{< ތ}Ȑ mlѬpz{7@Y;SAT4g< N Y[GƲTm_Ο|n_"ˤ񹠶F`3 <+ &O4?,>'s‚NDQ[N?Iʖm!/n}ԉzmt& #on˷DKbe/EjXG]{y8XGe 5:GSBγ`/byx$C k/+c;hE5gyw>37'nuGTWyOKkX0"klk#LEUh0G;%Sx yj*,Azqa-j բj#V֖k{ӹeul'*X<)[ 'xwP+@om8qjRM%'sY YѡiwVY2@p}Y#uk )[Op,9JPQ@~T! *y=?.z#! ^rҧ۹L*9Aԅ'T*j!)ǵ?D eCMe)Ç(ʮvhKHP5Bm-8nW6-H.0V~0ßVn%lZos͆ɐbG}-|o+;v3F-kbN_o!vFДnr0Ah|I~mk.G qCxc|hTQwlq$k juύA89Nh^4KMPVf+/bؒ*?ދ,I)X +KYMʧ/Sο&4!/\Xޅ>9EXY MOPzM(<]\kY=$OhR;)W3@d6ȉFA*jนJXq\& WiRs:I o"V|D #8SEnԳ:V9} @;r99V5MpE<0:k/M#l G/M2MVe? NCCA'ly(׽Q5Wa+Ivz$r}@x ڡږȇISWѢ#%*y.YKܜ ѹ%.p C=Rڡ[س19:Ժ#ňD7q'd޻g JNN~_j aF!p). 1 iAxs=pWf{80i+ˍ|_ϔ ~2\b,d0#&X,&Vi*ߘLSlBEn6ٲ՗|.G⽭|_M.eR{KEcp .|&Q ރsX o)\g "{wBm<.-yfViBp2TSc=U(ҫIDsVRq`+ լ=0XF(u鈼g.*ބQϿIXo7S\=Zl o̴usTX$H?b#+.&p7wpOHE:/}~Zyk yZ1IhEnm]"p0:xKWlHB\?9䩆ш2p|ng}rwz- b[RBIu]NS~~ah|R'c|)8ә/IwA^qV4ud%*~E*ː \wa+ʌ_jy gy?K I+) V`o~ q:ʐ&mV=>o|iEbx:+,=!00i`UgPj<ÀhEDL욘x0+יoHٜwLy"dCW?I&)L}јχG h0%<~@/ 0zďb5"ġLJ2GSIVn[e!]-Ƅ+hL7XpqF>vz~503U{ZV#=ق88z1ez S\ r|&uSZ[C#'f}x,hjށ9JS}+JRU9vt8AEP0/1ꞹ"O*wIfL$!%Ec2ڦ@^kUgbv(V8}_!G/ޛk6!:]BZbh: -e_6GR|0nN#9jvʅH5.[ι2,w?5:wy8 tUm+lڠo*FD_ vA@'q[]u^z5_1YGL[4/q'K|}kwT~ HI #%fd5D넨CE" QGԦ 2+Zᬸ(, $$n;#NgSqȘp$vC2kژ=):q/B*aiBE>5)">_' T]4%NNH*%8y#P.a-G@z0'45GUkg&' xdTɖ?Ṫ)cjȞ]phy&o7,o*jAmUͶC"Oi4X+{jg~"EnR= WM8ۉhӻ,PT' Nh$ѽs5t[ h?'NzpsS"W,~ߌctEaB׹>2!Opc?ٷ"7N4UIye\@w"f+_)RS7sSyܚeQYC}/u-^ /.f-BAiWU}HWXHUZ-kHLW-MP<͂"l-jKScf)V΍ffg[a /x&(xʸWe ̂8|9؇Q:1)yQrRO1#6NSQVY.JۆooP&][ VHFq˦~#s'Q+4q,A j9e\ شu?N"(27#C^$@d㏜tJV!uț7-꩗/VW=0^ $Hs#xv\ShzMϧj2Q"c>SyQF%Zq:I8 _k$#Jw Go+)GISʍ쁑JGQ(!R -|@{ngz;h=u.L8bqȂ[Y)vإ\T~|w''THFAa@(HA𓕮ogV֧rPKIfQn340x4 篸CTR: -'}uS s&8ӏ܂Y~ҳ_̐mudxiqKkTQ4#~׶:nN% + tu蔿/0knS$= ݀ɨ곋_ݍ7DnQTvQ 0SWe0mNe-HddOx4+^-rE&/UHZvo<\=ȳЈ lS\8BQa"UjiUFXds͇J^s&k[t]C-dKl`GxpT oG$j@ f/'z3ka9Q.Ξd6}4wAE+ 6y OfZξ035Й57շ(YaBP$tD9w&?g1pN$!>Y1aCooZa=] 0MXF,,onFVܺ*t;=p.#4ok^[a]ՓۍS3=yȣI+oqJS)ɉ1?Ypr |RHWw(B+6wAxeY`XcC/v $UJ %ߗ3$ils HiO[@Kh͝`veϡ#37@{>֕ĂK{qTC415zЫ/|0~OrXҜ)&C 8M{DݑB҉^;!xoBH,BTtMYyQ?tS ˮB~D!+m?P=]π(@w= m\i ۆvJq`[p11T!ЉJ(ιhOisCawpLG^_\%͘6w C6I~3X r Ց@3atF}-*H̛mar:U-^ZxEyչc!b}\x4H.l;h;ٴӛIa9k "w- Ir9H! s;\[<eG =KnS4Ў8.u$m/#rլY0+H ;2)-u&# .yW:F&QIDL^ٍOb!b ۭd\>k`igrw,WDL wϪl'c?JMGCf^h:ʸcEk/ܿY2.{F̰PS9} dKWt!䰍ҋTOxpZ[S/=\ vӳPXWu_oDum-ehXLp| JwAFoO^tp`+\ vc$)./,W3H / |}\XQ^S - Lfę |M̌٘:(m&kj.u\Xi=s?5~s7 X(mx3ƴb^w8͵j xB$&tz01E2#`"t(DS,GGqPI\@ ڨX CEUUl-ya&C/jLDY*@9#Sk,]( af04X X AH9OzYRs9AJ'KH$})%*i 1无maHc,!N?'_ y\5bbm{<+zYvI5G & V<Hz'dրfc",`=z̮f-t@Fsd;ح2z|=9p o\SoA7CfJݬC,6ZUFp( ˉHb3SsA,:m=D\ɏ,Clh kd \l jq" in)H&vĂЁQQP櫡i|,?o6:$5%̱W8AYm@ifq7YXs2|F.2IKL`` VsB=Lo|I%|f1$'KR/|[[) )Uea7ZSƊ#[~ľ45ֆkLK{;o  ˒vjim>n=Jzii`窝!]YAME80Ŕ叺h,:?Ҍn)Pɿ!<ՆE8J (Q٤ 쏻X%TLWi=I<\ѲKKn'\5X5Rk))flBVuk吰Ȉ ~xF睅DKI`d7ƌ]'A]SnwصM%;֖RΰøgR)2s!N oG6rmYdr!/)@6w?-VP)RP;s|MmDoԇȩxǥq?P 3H|<9BH~7UK4'^0T!J"lMQ/-an7jLcHZUh;?xRLjɡlX)o!.\!tI?[o J7#'6;M\u~ܘ?€cvhm,viD g4Hj_$c.I<VT"tUm˵qHtu/@n w;Ir: OL*;n8$˞,<1)]Ԙ́ػqשNwjثN[[kFT&kECf F}6lyUO*0vú\j(ulqcg6+V tY4u@g0TP Y%^]L|TM^)DȘ>]~1r:98ؒ&϶@Qy՛7_Eg8=b*ԙD#w\1Va>d8ObdE,9`(zqWP;Cl#vlST2PӰx5*nANH 蹅 gLzBՓrw&'J]1'#ZG]j7}7Z"9Vh2JnD甇$~ALG BvR>m%C3G5ϳ͑3ʖx4&Uc^.at7a`xI["ix:4Z%9M}@tһU*b).R5yخS~^8v 3Tn C{ Y[{O]Ã$|($çyZ^%B\"*+[j&KK~3I[gxuo[):K\&뼖Y)8BK=u\9PD_J/ul:>@FΉjsP~C!݊Iy6?\6 vmEF׶DZ'vמq!q5o@Ɠ8WRHfZ,W)vRP،Pa){-J=O'tmvSPFR/+Adyl4J%< Z#̼W?ߩrt4~;1vL.ri T¢5N;%̕b$!s ûto'bՄ+)jA2 vtoopH.ƄnM DߐGrK٫Np(0#6dg;S|~;t ^Րw-1⤫3ղ]GYyd?_鎮jEnyGxCiPAW@F,!m]ӰU.$P p]rWx->&@| (W|M_3ұ!Ъpr[]in0@6 ]L ᳘9gLO!_8 1#<@nRpM&'ZN(GܭbBKOG!"פWwVØxFC ig0 W MW:v#_5.՘I8vx)tgV3x̎1%9d\nFCq {|nU9Zi*l;d7 65?FKq_dCI=YVJd]9n{XM@2zj=uy?Mv00>]H:@t֣z8rsѥ&$ D72r-FJ1u'[%J*d] NZz()l*%*P#j]HϘ7h#Kkqݙş4TXhّy 𖿉,3=LwӍ_*%w ӫǴ|m7@RǎN!L>8F ə'5cI)P>vD|:0>pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tu0b(ߝAf14TX6vWV`+i9qj#N|^IҋhUCr^ m7 X=޴kZs-h7LeKF,R`e[r= GTջuX1UBQ&gіSlV^%V:ӼvkDn[ø{UtwoƼj} ys3RDU"iڿ!|Q:-p1Ͼc?U`s ]E1F-8@AٹEdB؅ d2#:"f7 1'܀=&6 !RԨh1y ]q<[s#(D}zvsGp8U^ 9Kt fƔ a/Fd|uZvfVΒk+B$AX_G;<-!>70#Z4mM͚Dq "eUH(JnJlj# )0jʪil-Qgk dI`['ȷYZP<#hqJudR 3 ,uF %sܔ&~.tP NcnB2/4zWi1Q.S!Nk|.( %6P&SO36ll}ZaꢡV W6vujdE'mj;mTܐ Rh邯]jFON>JD=0ђwt۫*W4J{hN7b%M?X#g ֛ :@JY,WXva/VPe<%2{w0I(|9S*EÛۦ/ZPV5{DaiN\FXxP WкO)4 .u睁uںM:X^}Ln[w:~+Ykn&;*iMQsrTC9KRBN&{KPjĚtKDJ7՟hh׊qK\0Tje?]  VixC`.{d^r26;U>1'iG~-eŏԢb]Zb#Gn"8$`alr-\7k@e ?%hy͖[>,v+ b Tǭ\6q2|.akxH7|y~6)e>$?ݐ1?}≾j2PtiإY tt??``%zy% "?8Nȶ seR]}0[ ÞWH'LMIprTel鴥ԩ.S>vU&ik@1\bR2ͪkrA(X#%#=c|}}ِ>SvQI̗ oK;J,ne9=;#{iOu_&ESbXеů |rbⅽ7 '!~su4tN  =Pk.?b)"+(kS+v&Brwq:6A'} 3X|PUk58`!5`꼺-ѵ1W՘>Úy&3ޯ0}SzG +xʤ,vO V+2d+h,֒Mՙ,lyoˡHeΚ=Eoܦ]owyZ?eT%[>!p7)7'>]#\KlhD*|PDdq7(߁7CVB[ƨ4} y%/ L5:jHs苹jq)suBʚ**ۆ7XS -٤߆ 0q>nd<0#LŌ|8cşoMAw6' gs<9IFڌ+*ͳI܌.1<gtP(}]1ְʩs}V!qHǾGaO^wBP*>Z ODG&!14 1lB6K0Dwk l*"ُMW*\pÅܯ*j46$VރDCv ɫGkL g( #@ze̓+6zf۳)Q-be"\kn-񂒄vWy f@L]#6$2ĉ'RJǃ `˄R_:;` ĩhW â4F7ar4tl<.叧 knj z?ah@/n41Y1"S\qr欽>k^ߝ,VphR+{V9(J#zZ T4CGDZ\;/ijl}w!Q \9Le鹿Ӛd3+O.xO$ea`cNt IVUzJqڍY 7_w NKogpAR~@Wǯ0mVH *1<~W47B+M{ `>}ž ;&6V 2X2Z9,kþEԉ7Ҥ۟a%wlkQ];mo›,Ȯ;%qʙHI~H/>S놨ߧ 5~8pB'DPǰ'FΝb ˆPGZfѹ~p2b`zcb}(5V7%qpd.UV-x>L84C$v:kh .Fk{+5?a#W*!+u1~=B-/T.)U;TDeaNt2U`dZoUn]Yє&5oo_afЕWqwu~ ^TO38~n=e&# YDhՏj5.D/wY>#cì.W*o!F󜨸w8Glv}Yzu'eQ|You.M?CF$ںWӱcíM3BE.0HL}{Y<^NI[[KIⳕGtd'MDЎͲmTxG+-1# IuT>NؼA"#̔+?`"TÆ^{_ذY QI P3ŧ; .ǧDZJG*ḛf[/ b]6Sܻ 촯)EOvX=a܂j{kfr {jB=$;3~iXɃ8F#˨Ziyٻ# 5aBmueP>օ*)>7V,mւP b2Hޏj KH0 φ.HIki!q 夨:ND[$Ew3:|K뾥M5N3-rwE%]lz3SdaZI@BA31Wu@g=.D? B`RUoT!ik n )yCb*=jWOLUsiH+%]wGeIvV K: ю4Ll* M!ȡIL!O ԫzn!jogПs;i+"ӶyEic|.{kv02"?YXStA2BonoaQo,A2>O`=Mz:V3 cLu:E0MX\Ή?8xM}?H_1D*p7oy|5+ԫ% ]ۨ[֣;m(l)?iXWy3&]u9"re+X Y7ʚN["%0Caa~g/&yG#o%[}YXg2{¬/cN;rI16brRÒqϿRlUg.juI_:Έ./so Vb'ݠ(&PB͵|7Cb }]1q6љQe'K3\BtA3 T`N|W;ʉL6"!3{}"Kx{Bh' ODϖ%^^z=Ei>KoHӼEZz!u^*^X5S_Oaxβ4YE|'nJF~OR[2޳MgL}b(IEA<˕|~a:.dI;{7n-Ʋ@qkhVcOך:)* 3bs'i2"|! Q_^ X evr(׈4;',C5g"c ://\Sk1nt ΣvF:z&ZDH]=Ma& X,dS|rݗ?"ൿ_8X[IX'=BM`e5ս=sw¦ȲVdj:3TreԢ*k[o x{oJEڗ'Fyg\_gY ?JYO]Vظ3<զ?>0iѩkYJS_9jCH"o&B( N3-z넖mg( /j&-7nZuK۟ScՓ_gl$5E5ٕIZsMrgZmH[au6f`}Z7Jj?FQ%BkӦ"b~>ِ2;ΉubCXv~j-i',^9גU ^Qs#Jу %<ϺE|U`۰)lJwo,}Wu3`l*ǢKXO>Fȼxg@=uWT/[pȀ|lliiCYx]~rϪ]{XVCun.*h̪Α  l]p+{ [ 2؜=DҌsz8a1N4!"3g=,XTl駴+x0xo-,@3ѾbqJa~ca^?amOGw"E*Dڔyp2a; \Էr=te(<Ѝx 8`(V@ )LY0Zm,TpDa>3S&?*y'4nuU3}G|BRP=4;I )x l.:ݙlЯh.jQ:hȾ>h0Qlڔ4Kͦ\n\Ro)wmKzB'%\ ěͱNj0F=dm]$=UkQV[ld%mgh2l/0VW݃r<8DXxp}5r: 5H*ؔ^CL^Gq̬KXA3Ÿ@snB6b:t3(iHC !g,e"] bJnS%֒-j֌2C_(1cLw!:V !mC1ˑHΛ@r!p:VN婓R-v %{=I)bhL$s~җ >Gsx+z*{<^SEnA}lcy'ۛ"U 2@(jR9D]ag|CotT{0q:1! Ȍ,WیNc.Er7̎Zgʜo%Ԃx8OH}̓ _40k;Uhl>U^eD\+T݅J*.' \}w|%[=i¿g?Fŵ!-`=+c'Hڳ_'?$KpLeJ#=eU|+59g\ȡT%xc8< +tur.zz6,%2UumgB^ؐh=8ĎD"٬!5GYyf2/{QB@/R›i̗q$8.dx gO?'Az7HżJ)d$B+C&3WP_"Bo2<($ GJa"A!v;Jυ$|)ÔnQE{xl)aO@wjHcqTG^Zm2܉ YSIM`$:xE8LLzd_]do8 6ZЯ² jDV,'}-:DC#9a-`E(S bR \R%@hKه Z8t*9 8WȽwC_-9^og}-^ަ#$\(㖎* rX=Df|{ΈKjd8>dFKƀ= )O 7^0o7cmJTG0H=įxr(^g|!,)gpRj[%]V/ }rutfݵ֟`&~1TĕzZuSuOzQ5"t >|r45+o \0, ?}oc3Yt7NwNr}@a<@`o$S̯:SMQ8^"I.5D\LșnHi,Zөs;t&4`&5\8*x=}Sq 7&h6 ܋T%%Oa+|TPj+.K8+sk!7d<-L~'AvbA8&xӗΊDAkjaZ~D!vPOx+l?#tb#ۆ897Xk|>i8N^U!øb&?(6)38 IoÁvr>:-2J## ҿxg,d>KNm=3h W HwzD0t{s؉Y^EŶ˳ZcJN6{w"[=2}-& ꜞgT$I~%}Sݓci]a-.@ JM!P(YWe vC >K&|@NH*]%P_z Ƥѡ5i%tG{l6!s_}0qmʹ+ut,_FSuhQ!299)S٪} _PF_"հ'Y٠5U/X~f)?g˭4cq~ آn v FyҲtP,>ZkP^e۱#`@f7"ɚު|Ik 2B# TmFo\|s^ؔ+]]($(d%)a01}߷܄ {iz&u>"\ m hXw+tDI VW#rUL\ ]Fra{; AWO^%KG)1x cbGɫY8J ΐp=wB{dkk*N!^4+e D&i67cu9}V7qYv^1gi!Mh`x!b[5l)e̻"+lAJ sgd/yzo6#&v5AkҹKtNcjY%FlJ@;lo#EX2>Oxr~ETNZ&^m?-@7ΨݸdYZRjkrș=빠 U#k .ΙI[(FX[ykKKcƵ>n~ BcWԂS"<鳸>108z=g+݉I Gl-8KvwAjcW$C2_&^xeqE |C\D`1ej4ig<5$>%mFk4ZX[d/B(Xf[d;JOj߆\=M3u~\5Iuu)=TiQyM)}Lko/Li{qG?.7t]1 XjO.Y2D5Z3[ l ~X#i]gsw kp+0S+ek׿`X\r"Y<:k̇ڢ0-G<3*<,0RlFTUQ{`!.HVž}D:|E Tڔ:Yw3yMȒ֟y)m-)`'2cd4\0-ШG=LAJFSᙓGu),m9Ґ:7&p }n ^?:~E&lڽHK$o>rQ Xkzij[Jp6*i[c4@ӫw[Mw9ǪσX0WJDfεTo 1xseTv7 ؕ%J4;Yjo O U$5TWI=bKL?%-2/5"I>*+ $J}_{AT4V-bk ".v27y*)z]1red2EhSSz2vXg S7V3$D>~Qࡻ; d}=vDz:|25Մϰ xBުsRKs-P.xT)$A3+O)ӄ4 3BKQл p:[6d23L tdȃcƙ;&_zpVTVJ aL*o.W@{uT<|(]9WŒ|֧vd\%Vنj+6XO4nz/%YSXc[l< -ߎ/r#%Vt%ԟɣٻ0M\ 8|ws8F|Iu59,H }=NjaN趶+N}\yW=;rX@$̎liEZ^N5<ju?KCzCвбDDt.H nxm\;%*]4V|Ͷj}[Pݾ%Vԏ#T1MzyFI'VLd[:~ou~ !=m\QvOiAZ#nY/. iPUF]їzvqו,t$ӀN5Ujr+nYL2ǜd_.''Xλ7irzce[?xV$C4ԏi\V6"% ǖumkrb)i~0+)G0 (ImV!b)DæaVā*kw"5 A>9c>W?0]:X~Hc#Խ4ت.,xWVkHl#U )Va,0<̵<]0aEuQ1ú{]4|7`1phx @Ia '7!XS.9/yK1J [X#bX$IsK}~Fވza`7vx$9yMj7.9OsE")尵=mW ܸ%EaBM4Brv`@LL)#v@TXYJ+e‚'63*J\UZaZ`-XhF侕DW))حݭ&6pU-M^.5QMFa'6oʺb?o"#nsd.Yz6I65zYB{%huE" XliP:"T'r%Uۈ'R߿*5"+>s7~/֙}0qbG6IcS tSղQfnH`kB&eEt6IJ>b(Y7W*S U\} ]U|O(OCݼ&B춣#[Gk&m~AI35| C| a|v!wJe[w<؆4-w)-"k:ķ糼j8qH.A?yidэR>)ŔFa0a @ݤ C<(eO䒓ij29щɗE9v+ jh<)3[`Hv'm 1͂Ǫkv5 KEQ!Q p8%:Σ:+E+4.yS]b5S̈fo(Iعs~33bt)4W-.+w' :ҋ"L,۷^Ng`U'`1x$agWzMxS$G76=ą׵7>YWP9j: sJ{Z\<aZBnP3Y!?'r ZqSI؁8?%Fcwq%;?]*Nr4q~g% 2&1+/9}gE6 kd7qy-2MBa}z%[b4*Vvb?@q٩!Y>`T(qo #.]#&4+f/ѷƺ ZIlKy.}:AtH94A)N$6vB[эNP 14 ,ٶ'V*5|7"N;0(vzuΙ_> dNz/RhFFNj~=S6Yܹ]Y'+jg ܕջ>N&% * xItUI.XZF/.9fQUG7*`H5L_(, nS$6r0:#h> -G,vƗ(IּF> LS,AȬaXH+x g a/n4s*>F xs1nuuSڗ՞sC#t+jnRy6O rxC _FwGtHl KnQAPXmxUL9" nHt`zCW\l!tb\;q/tX$4wשm3Nb&HS{r""Y"61EHS :ޅf Jg :uu`s_C)👉E6<:У2C?S izacߌ_QGrim-ȒǯǷA: We=SlF5O$).+N>2"uV^NibX\_ZXf3dvaCj]TA"+Ј XjҠg !ST6j~XS3f\[ZavǾlCCiBaaqPPPO DC2ڽ[~'>!d;nR#sJo/}ܹv$?0m1~ ۂLrl^\7e_> H[-/=4 B77໒1ou&Q6/ Wb8P_s 0+^l"o!]ˤJ[Kz*=g8W5_zC>),vjEUxD̜6SmT U 'BإT"UDۉRsq&)D0ڤy5 ؙrS|*vCNq2ym~˦,@b%\"j7Ҵ",*Nma.O!fN˙W7 7w)%ST'6qӶ: I&~ XTėK;7cL+ΚB0mIh;OlMߣRQð:"" FbTڷ j.`ft(M}ZV!5`Z0$y61 gid"cx&W-t(g8njkgmXHoYfqle:UBi|d0@*hu K«.4ze+0"&[k:x.-\sM'<_F9^e[*.EE=\ؤQQ=rC1+)ԩ:x1+Ct4wt,,K*jT-voh4^3Fq/L/b*yi370Gk'z&0& (1-**%"DHxZp%vO"֮w~9]pt*ƟDALq7h% ,ɺzG;zr2ذG/"!Y쬃AFJc`ߋA|d*ljTAlp6j:1U\Q 8U7Ւ˂`U ;4ĕ\YWG|_ \ya 21!B)l;j Q/%u!Ϣ^S rT#dmGriEM &"+GK1m]NBY%W77(ǀАlI'WyʣhJ(/ܑ;fC\mts$:B~cXHFW"uU.Clæ z"nr;Ϳ X }Bq8[p 1YoZΚ`]5t|M tFF\sMKXhArcJ 1mEov+:zg҄e˧#\įXduMZ=);|/)1>ɄDʐ ̉FH6U_niZ SXá[Vwgs-pFe/t}EB4jNw%Ce?S蛴Mb%UGGS6>EJHoY Sqݥ9}Zo ߻،_8uSKxԼKsW龜zVqG"rȜ5M9ߢB D x%.?ƕ'"}tҫqz|{CݗF . fpwH|y5vá~Xc=ӳ_tlcoe(zIu3E'i'_*X\.uh8p$P5A-:l_̐x=x2F@{ϡr: EL ~}<a*k]?6x3X߱D>Ynb8GyVn`v{2!IYWqf €Ebi)n@q14^w@e^BJ CsL0[9$mdI!->RY ȀF̥A)NQMQwtK(B;ǰj{H ̡\ܐ +s>eY}e\A{rQV6!CQD̨ D ^@Na^~lA=%HCs9g.K#GH[(%$ ܠ,;ŕf*_1:q|tNOv=&_4pZ kjW4/m@6x 3nCM= o5.$,Okl xL3q򳀫3(\~/{,(]҂W ]_iBb:0DġUlWDXXq4ƚS= 88rϺ* #\ʓgbεlMLDTHm)vk;F6"h&Ҹ8m I$r#M߉:;y0KG.p*1"Z^JL%'}Bx;H 7>Z3ϞVǑ?ڢuv n2J%H עGP=tZ?djf!8Pe1FR,錎J8eVYxQL!/y3׉j~3/S(&v1IFKƚaZ@qsij8ٴl[bxkNj觖bUB9[]t[u'KCuHoݨF*u&8t@ 2T=Zr+%nSmgBl\Ya l^x+ߔz~ܧRߴͧXyS8?; 9c-鷋u@#bv~mEvU037ZR!ZdA7Nvec*u{Z>%/#U~|bCx_ aFz=p%#AuR"SV >[j?Z֦v̧1uA$`rFҵ?_cM:ݔ^S(n aث Ï蟸K[;qw]:/WԘX zScPPrDV gW1$HYY|dK|!;vkw_QM2qW*x4M2˩%Z FoW˄= ":CUQs쳙eoوFXU Kvw9t=߀@؛ Wa ( mH[,lTcV2CwC ~ɱ(n?eSm&}3twHEUG˗+-[e|;(" h9zϐϣBfj>$?(lXtH* |1Zٮ_  Bnߟm)TNzV?$=ǽ Lv6sPmŠ_cPIs?kx.A'r>Cu3"'`ԔSOLE]At]CJۃ@g zM\ busti4e#۟t Q4 \%%ReS ~YUdhsݵWO֯XCڙf_|kxkiZ:Ei]֝t[lz@ igٿ=Xn&*F|Ӭ=**Aer}(o;ϡkS6n9X@ɴf ̂6ˡ;+>1(UDWy63BseylZDpWf+h,~lCvݡf|BH#g2eOI-:ԙߕk58laEJszy^JX5L_l\@轢Ô6 C|7UDg4TǮ=ד OôPϩ:R$ܛ*au) 4ϼ;C1A3e!s.GhY23Gb Q IAϬơa8kj< X,4d=U̱ !Q[/Ք*uugVC0I#hDEp$b~P2۽,QnN.َm^G.`ßݱ0P\#UCӉ(7/QX?i9Fuٓʝj9AI5ٻvɈ!W` ɥTQRĒ8]ipkiēT|"D̘gB'0O6댓%eo}؊:/- $r#qN]ՎneuJ7KG66Y: wwDPcFeٻ^J[-Eq-Lxd<U?Jj3w =?bҳ01ovF0 A.7Xxl5q{=/[EeM˚ڷ^xBv$EmҁLV 9JDJAJED_svuIxfk/%)B`/ԵiYAЗT>SrL5&^YTl rlL=vZ8="^Rj*b%PX_ҾjӾd -Y DmQyX Dv1׌I5Im2s1=4#/bbF'hJ;W@Q!%7J妽{ơG}7 i F6館V\ CհQx"AQ?O쌱\ʩ+[b!Cz9mU&/2OG|gsrUd5$uUk(L__c8}Si,y\Tn1UatnU|Xa 6gvC8j(h=fbx$X3`3EMͼ2X5dH&+Q7-s#m鲝D)ͥ UfP#ZOv{LY ^8})tF|)D+RH4SKwh6^8ԘfsYqEF-<ѬJ: 3.4[]p+ġ׏%aO[Q]ͪMC7l1$|Úс%ڈл ӲGRhzE}7Ft ky5Cm]VLՒ>Z5Ek`q-*qGE'{@.ηd SD8 QW?$s*4և{,k$?Y)-_Tu;}PY*.,+Zhpk!!{#r TQԳ̄I&rEҖyśp-9tN0^Ń&m d\XmfQ6af\xb$H(2LzU. ̀-dp(Y5D=W˳]~vZ8~މ^="XNU9 ͺacn ;uXp;(w85rԖxe[F2Ipy>4@QBC|?2 TP1g2a%|~ϨnO; "W-k (~ͮFB5G}(yYgp~i4M4le/;Qi~O**Ch"?e'*Lc@b^,p"D# zO&CpUMy1Uq0ߪF|P lM~vZm4UTaa4'^+I.A~:RNŏuP&e4g>,W _7 tRxM 3ִ8N@hFl*`d)Eb6sj;V9sk >Y?@/9:LsH&!\CZm_9r 2rLWiaUC8>h|tday**yOJw.K69IrF7[w&0\MzZvR! *eO"cr}P$A"k|!W105R/}r_ߵ&?$;$PeKe=^ΖE겁!q.)n_RkE0?g[]8_X4geG΋!ؼ$IyFsK˟N=a@Y[!  gܚKI7+'B6qG@E-F),s'OՎ2_  +kV#9*,b4ڛXg!GBJVﬡ^԰!td,uLnw5NH<` \P"Yv"gwn(='$FdN3Ժt͠{ ('seƝqy- [sCR]q%" 3!՝&OrS_=AfMnw|iܫY 6\㖩-fZ:X.TOOo%ȳz;eߙ{ f<=4\@c02p zTI߿6|'`pg0L|2bbǷ]{i^#Q ^/\6CrB935!"~SJsK yc\/Lέ4#HG2Cp8C}d:*+{;ë2r.?Q%<,$Y|>Y%~( ClôteK,醇FZΩ8q-01?݅٦~%ΗCsZmC(ғ։qivQ . +`_r&cD1wyPlbR7<.ʎJCwM?K߇L0%k@W& wI[> m4pgƴ:.GE.vFDNjCN|j,YAs xDPXm0[t4*kVut-Y~ŧ2&F)Xg׋֦.'90%>jDBh3ݿ<'`poCd{M9E!pD{9د˥x`YM<L $I%u:1b\|-$\t#f ao̲i^LWjvqZLQbB_ 'T Nb_l3}T/ČA>Qx/N{h\ 뛷l҃Ogm sD\*%@/>)j8T0̯7'`kW,'iRsJW؊Ǣ515#P &KEq_tӠ47bZUM H.{6ȲJ wx1iE*0B k#" ;C - A0%(v"_Iʄ$!!Y=,4bf4@}ikgL[?vSn`X!Tc{2.*zkdHp# v2)\cl/ZށNg)ǙW+4uR@Sx=T}%ϖ?0wXMԨV ظE};yJk!kEj y֘o4_UPvO qM>bbꖱ 2 I`V/KAWyU{\B.{i*"WkkRm|.͐Wd[t k\_^"M]Ppv:ٜ);qzM9sJӰuv:icNe`_X-}j xQc^FMF 3TkתYȎDrLX:P0,SMXAקAFT=%4҆9ncH-h7!jB1i5w|R7ŕ'nJ4o34< 7ha3hJTv}A2%++ 1;!'VBo“w8gŴ?[EF P~X+D.LkExTƪ xVjh hz;r%ȵP4RvӴٕ'4+ A|tfhMe*˻a p\خ$a[lߦ,Ǖ_i<-5RGY1BD#RizԂJM7:mmUHe"0#ޙ>PPOB7UƨKV"A]ul k8k|NUB J#s5xثt ,b")@vP$uѻd)Hg f="}q[-0WhpET6^S@7Sfv7Pm} ]dPŝр\0"jbXv>$*X ^N?'xMr9jH,C3~.D&}bQbH<; `~ݳh=9SG.fDD -RtZ4S=ߺ{&/ɤʨt?۴'՛,_!U!wpjEb\Oe<2J \ 0$_%1F:6Ҹ#XIR2;Xć *iVmtA6<TRi'v7k?:rr`{lx S!0:\!&ɴP+-ndDGdr M{1GfMQoqUihluܥH~>E?JpeWGgSs8 '+ 5* uz]Цv>l*C{{)ҔfWq&)'gf( iڅV bei?Vfr z5?J{_LCN1'LE<Pn Ǧ^zlokZ/g i5dk;Mљ&6gBEqǍYhXq{2\l`4̈́@S@ ܪa_n@H<8k<5VefuܸM Dèr|e~b&/`H z" 8 ' i*`M焔)^el}1G2(YE\"Y~VPH翪# 3[vq : ^PVu>A?qrK 4DAĀN^]tMGt #"PUCϭw)*TLtkLg+LjgUA+ϴ J8(m_h/*P+y [=:֢6c}WաTkl]蚧noqeO.էs̍w}P2I_$D1 ltж`ػ]P:8UBN{Ld,)h緀,!-UmʊwV DNTi*7hFax1JuS2W_'{%Gg NSG,[ kƀ-1o*F[⃦?{Uz:@%z,'3/:Vaػ7[M^{7:eر2Zr)^<sZ QvJ9Jw'4q>:Mhfe &@8 [o*l Žȶ夝gOIDQ@s2n X2.xjPO$pm`wv4G%)bN) x<'xAbA=?8Li<"&dfr)p-c%јh91nwعT+gqBO9 Pv7! o:XJLhw7q(ഺ.0nfneN@~UN؋{jwC Ü~`~v5m;gPX,j||['{ rgYZ  % --' $HOL-SMT_ExamplesHOL-Library.WordPIDE/messages7zXZִF! 6]D?7 {?:fH\ǴlyuϲtㅕTAK[:?]\znZT5AQ4u}ھW w2B dι] @ S#S(*6*RSR I դuן5![DŽyiFy4́7|u/5 ~@Arq|>%>_!V=9$w^0Q`ax_"UcxE6I|zޅ$9[ rs_8>E顝~ 7]O4BYuo#G xe%5|,f"D>1"I&K wk mȦDG:LŽ N̉#ߢe#w]ڥLlw(BWd2)"B*>`ܹIVdЉmUYcNr}E8@X kiqhXnW@W9Rp4񔀺Nf#O^}@QRM>M( GB9E5fGDY+ЂH."ݣY} vWo f)-ZNO#2f G)U)-%Xss[K@yNaj&lTt~y\YH?u=fJdXzgi#&`OzSj̝%'IU[4Nc7ܫ.tz{,645P9пpĉu/ۦ PLG3 #;K7*? MR|<ܶGeENK33ڒ7#3ɱSFg2"- mFBAY|nVKI+>(9'H^O `)\K^JUŨ59kRaS=)J>F>6/Pp8vI*c,WGi Jlˍz o6Px{O$.؈zr|xC'&YrR0_VI]t!߆@Jw GZHKVY W%( `r!G-3F/uSs  I&-(@Yl~M( >wCf1D…)F 8NP-N2p)"4C Q Z7SnVIF)[I>&l.p[` :$H8H.V,rW-jŀR= ,6E =WSR+ 'C(zn&1YjcE>6,F^8>ämL,mAdڈtZytRI0$ --# HOL-SMT_ExamplesHOL-Library.WordPIDE/markup7zXZִF! }2q] !M젗OFK?;uL2aM?Lo4U6FR]".c1]ȴT~Z6 i;7Ua7߯Ư9S05f̖{\f(oZTNH416ӕƭ.<9BU߻ζi{y A0zΪnI4qي8x(Q`I53{{H߀.l>׉ xi<A˽.#Ƹt"#]k6=ig8NǢJW.BtL?3G}WR)P#8b2Jx"xADwXRM)vb-̌ (<5ɇ?@X4:V@! N +3{ xr%i[W0qHMGQ/$33L BoCn0ů_Nc_dkgI g@Z"!AJDWx}쐲'7&nн<%?'$ i8/f窮Yvz3xDP~>&4X/ҷجpMtX>l HH.-m-'8ܞYI<5lz+8R_*"alvJ6]Ep{"5׀e9dfwJ[+&Z9{tWc_HjɝDEHhIlz;T[ogV U1^BlT*r [ r&YPgVy8'- ث궅Lr'iq )D=tzg"ڴ'(ܻlTWvTΆWXr.ѳ/cWV7P#[} 0yJ?HGKy&uj!蝦JY~OsN xбNernJ3Cw*c05y4 `G0-ι-wf1ۘe-W7&PnK134JJ < ( C?jED0m>$o@gS5mĐkp%M1oq¸?mc6O2E fbrMoN:NWx@[ Ĩaؕ$xf7x CVpEq;EG. &E.`@CYӏznHصRW 7JX'{CK ,9b8$:ӿѫlHU榭)I0b^G%]u:_k;l;\0'6 khhP?r\ڸ)G0eyEfWEݭjUGjd%E?^7%$A:B AɗyM /ܴ\jBmM\! *lw4֘! ̏.Q%at@RaP԰kza3\440'{\ijWD*1"Y=:|l\@kF 0*a(ìv/ϋ!j~Z<$O T3 lqT 8m$]Yº m;w| C!ͥNMK>&\)oؗ[iC2 GΖS҃O*g'B?6@|#2`'A6WZNRl{i!3iūG"VIZY]RM8CzqM^,Eʃ#P`MAIoX? ε3UQ A[-1tvWلC(㡆&0z7Du4!gho)cyr/Z~(վN]fYDT~K%|* H^Z*qB6PF 9"S/YTxm#p s =<_HM#Hn1yh9ƖcB֊Y`Kt{N)b|6 \ᘋb[04Bb]aИ6]:ҜVGOq@!2O e}N<-b>M@ݞR64E fmؼ+5*Xqw 'y+?' >Es &`~-;TCFOCBLWh>XZ0rgH1:hpn#BXJ9d k7zh뷐_FJh NԸ`Yrcn$EJW:LyNJLxY)# ,?0r]` )l.3W/J{h]iy ۢ=r;U;/f99@/Bʜ;%ɱ7 dF"P3 e*F**Q[1p{Y"E;Z|NHLLoOH{7H5UL< gH6`3ť2?C%< ISb_LJOaŕ7f6|kF@4<pNfQ%vm Od&(r\8T(׃,6ɍP)"u॔s߱WNWJ5 ݍ~3o93FAnPz\k%|a/GBb3JF|ۺfiQå@44SO^1q} &ۤ"V0qK;%$vJ($)4J*Ֆ: >^X V3'޻Z=+fl4jlBTG V驷-/>HbPKڊGIz7h=M¶W8ʐjQ)l=#yQ(n^yt7AdҺpt?Iu``F,ULvx*T`QF_s<7-ַ̘VΘS{P#ΓTJ28)a>b6t }=mVhx^^h`j%cyQXy&ht1|<rd|F){ėK|YOfHg(y~hŎed(>(-Xe|F^K]ւ7?>^vm u +4<搨m6bd}?^_mث;iUhܓ-TE|Z#Dp8^2xuL5m:ÖmZqb!/۴y(WT:Pwש[Y!9y2FcxК 9 ].2JsNwv-SZ]% PP57bz~cI2VTךCX!Y0R:ث_Fb'&IbPԁ)Hԥ0&zGI!kW73,櫎U+˫bP'Ő}:64L1m抴 $|U/[3+snc? 7M xKWYd*\5޶^6Y5c+Yu;yyKq|4d'ndtϦj{`ew`/h\ے6pq.{!:ee|,.q6q](O:§g:9 +gl-q=2(y/" ͱ"ߜtvWx2Ag]v~|dg8HȘEks`~Ғ0NoNT,)J]}^ +Hia@ԳҬ0K]ZE&ۀ]mc^@9w%93">郩K#'F v=nl˶=ކ3}aWoa>XX;q&V}9FrޱL#G?yg0N4E ^yكBsE"I4] jAcB (C AfILrԬK!^bζߎw٧/20W+lś}~y!L=^2 𭇢]Ͻi8J!=~m8OJN\鋚F(N03 L9Z4Л(!@3 沜 fۦn1g+ɗ5c43ϫ$%c:6=Zw >$Q`Uܸ #&-6:\'ýG(’QNP82p9f.I~9yF*ON̼ wԪA tCքPP3.+%{@}?N"+F󋦆q caLO.~GǛvo(> 2꜂6FNSQ;~Y祝ZZ>AglOw:ptQبM @ G2qݲ%7|\& 2.Emai~z^aYmT]ӻ_7V;U*Lռ DSYWIiCcCIwGDS>fY$C嬼 lϖ2yXrjڛ+e_<;Ĥ-$ jҘ!;ZqHݛ~)Õ?p w|ۈKv:5q\WtJ4bm\C&<* }FР0+ou2u5iq3ٜ o>ڹ!6(ΙL1 (JEsēaVP~o" LOQ%VaL MJB 0 -*}-+]U)a>gdm2MÈ_QsOr]r[SguP(rtXm3-N ʼnȼF3<ЙeVѭw6p?%_A'؅S_*mG>$`H~)hKcu1GOKP@oC'qBF v5Zf mcXr{#Ξ{|^ÀPWTs_v6,#pKĨYCΕpݎvm= +E77qEٝ2E΅;^kT]3M  N:|6YŒy|֞+1C:1טv|fFz/S~)3(o2&dݰ鑎#9k .S3ql J3 T y [x*Ƃϣc9ѩ's ǨݜJV z P~D ƢlXEn&tŖ,O_^}*F\5[c֍۞wצ3֭OcLO97'e:Rf.˜xaϲEC@K5;|TXAq,x0"lEb͌Ln>"`"ӂKhY2ra܎J nL*N<.#te2IkEE"oƍĜ\FdQ IGR, (.0mK1t(B~nܪKOa="Znk?m.(T.9f*7jX+k]H{_^p4C+O"4,*3f/0tRe #)zΒ_*„vVg8^A* ά \#Z]'fK-uuA8h"#H>pm?,QUz&mKYqsP8/dT>ePY#ym3W؉vT-X|.[ѽCCj𲔦P!G\qD6hR4'1ZdZ̈́~d9R$;}r1! 5h!"Af"A{A$ (tc)tmdc2Оȏxv #Xv4aG{r')r 瓇)9z# 7 f.,OM}sD艔{bBQ;tO+2B$ 7tVa/^~>`k5<}'k18%#F#4x*w/YIKKU c@rVԵEb5g4L@LzyQi/aNy|}3p79%9B* p1 5!a@J&#s=ΥFm51WN=8IU)F=>^x^ -ٺI P•6&nNue$X$x73?;7SAS Lpsk@CGd |'٢ ,cV*Fj[ÐVc22TJdQok*#\oL [\O=WNSvE?;&`_]VI6F+?,hN , @L㰄"4S5}[ߑ]i~IeƝԮVLd }5tߑt e!( j9r"JJ-)n/I V:Zgnpiqt]NK";eνh$x!‰aa0`׆9\ ]̝u F^…kLǷ<Ta9tvaEIUO=EkTg qq&F1/L1YHش޴ޫnK]qV'ek#榺={ExB P^~noBH{`S\'q)3t_(龱i>5xI|(a*?V_K= s̽M[!cDb@Ʃ+x[wE 5-pxs"t00Lf{],"mJOT]gu<˜'r Ñ\f5Hx`:@xEnʍMS#F&sv 1ǂ(PǻWf)PWf^9Z^\VC籊nY@XC RLO$0prݖV^=6MinD6CX  R;anl灖#߸hZF?K~֓%!ȄNsR PZ<dcR1˹SR,$8ɡ9ӡicY+ L'e#"s# 䐦2+ƒ䛭HY6wa%!Br' ff$c H yEd>##l%n=rcM2JtA99NHzasF苧Wl$D-AaZhj"q᥌A4{ POY q; #w{`aarjH=^lT/0rBg !!܆  &=xȣ(FEZ˖Uikv-tvHIBO]e.n~FѴlXGu@|5-]ATh)ίԛ66BTۺ*^6Syϟa$hj Tq@9X\hzI 22k04î{\ hQ#1Txy FmI5N4J?~[ӯ7->d}Ne?(Y5cnX,yIH+ȼ9ō(*;NF{,pbќљ&l5<ğk·+0BhO,0wB(DhJbaB!mI'pYr L W y-@6V/çJ$+'O"D"_ M0ms<|am1%|a8`1MEf?dق+1S$-M: ) h%?_cҳÕZOBHUiwIcLVsŷ9&e3̖7V- t5s%7k:7Sۊ_L3E-bڌ`p!X~4%>M )b"`#K\zr"(3?ip>&0rK"*[YT*M*iufd_0Cʤ^0 |zgë`|AOQN<,}(@',=+mv)ӂHไqڠ\N˴K63KhkJ-NAG,g U#uXnEjip -}x 3LJLySm hB[BN!KBNs 0dm['}{"ð \ZeNIp,wDq VU2vJé' H$Vn7dOFxTU vv7s7L$uq1\1l 86T*idX=*@*:2"mj.I!M[B iط^q_G Iqqb ;ʊ':A2׌l*~̼D|> ⎉ W-q}vr̬yx3׼S{RS ؓlR/6,Qh#ݳn|]0gj%VTa|(n"UN&yZB}Q 2&vPp UJן|Ky7´ܹy.|8A S z6zrU"'WB6jjM8#` 2LX əyS|RfnLLGJͻ܈;M2d/xnAT?zyN6Nz=Fjr zMgґtH٥+qf2/A5$rT2G}K>tiQ(NPO~4X]'Dmtl>>`ҐNjWnb (͈4U#-sNZ'唺Ol +# GySD}wO A5zdE_Oznt@?+[FE']r̪%7{dt11mtI[;2Λ@wpfTM\"cv:'lZ;xeJZYd[y< f{ ΑÉj<~o<0#(z@dp6%#)uC(I +RzЉ~l4TJ{bGE >xX-jI6=X}Kw[żdsW+N5~I蹈 ]}=ze)32ۥPfD #I3S[&?vDM` =? ڔOӘV>ez%);Ywᜡl~EUt,! CCB7! ]_%K74"Θ}9Mk;_vFu ?Ft7i_XuRvZ/M$Ev@H_և]IwӃ؋A(dk53X܊6,)vBB^|?LF| + -eJ}!8WB>Za <@Nr}}I;s77g JlMA AGM$.\\p"&Wy\w P̾*Z[ug>SʜlW}UyNvjA U,sE9 Oϛ~n%UpM Q- 8 ;1Vjkb"deX-uJ>F}4tO76l vdSA_kEZ8(?|PdU*w0Pͯj0{f:A'S~-7{ך9E,• ,A}6\Ԇ#SP2{$kOJŌWϩꝻpSO&:&+ kBUVnJ,x_e AL&\旑3{c [&%Px&i5ͮL+{xGn\$GxQ@": bPS3(4HDs8DŪp zR;{dk~YX>aJM?*oI9Ya @5T#y /fNh\U;tX9!y`41ҾSЌᙪ^oq1È^MK,zs IHâo<7T5$4v{u BO8.?'TF:'SO@0?&;g9(m#<)gYZMJ鈜0ӱgYZ7zXZִF! ^]ŗXiɟ1&f7g"Ti9Qy44\@1t jʈasȈ*>YVK.Evd'*41)fe Z}_ADvQwr*K|(\D0#`]UKP8=91 3H-YOEM|3ht׏N>ϚCjUs̊o< &!YpiU@TDL˅LT!YKRZI/wec ԪO %]aFU蕶EՏ*' 0;֚I.W NC>b9%ls7s64(jsgYZ7zXZִF! d-z]ŗXi%N _Zl)x qnoI~ Ҍ">U#ETpʝqmQ`Yd"9 o2Et9Dh;qZ=ӶF4ԕE Ƙ`.Bnх) ;ȴpΞˆnw}UWo1lM=dW-[582Qgʲ {RBTCN 5C`Ak3MWw9mP`c^S@i*;/}X#ǰoLNnӔ0,<M)nk9sE-inATVG #nJȺ9.)ZK`ꭧLAn%1;貕n ġ m#"}hC uK[S~Ʌ[L2:YҠQBt}.ĩ'HzwJx5@ZQwP'm?y "(^?Sݓ-|3iP5 [uX?aGR_t_pRE lyݭJDu :d4ż 1#|UľN(Xtq)Ӡj^%guAN=0ηW+4n `YFԗE=fՕ>7I J̉R/"_jd] 7.90ui8,vU)Tf+V^[t~eψN WG\8&zv d^qz!ˇ,6NG)#[ڍ/+w̄Iy Bb#=/}9ϓ*rحu+x_:"[ kLKw>/qL^>1](%yqOnBV,nSJgG)X"3Z=L*?ϥ?b$l,a> ; kXn.|pz)'mPؘ s+YLdS![3Cj?ƆBM;/lfE[խOVH-$"l1-3%oXm;ю-lǵv`׀[1^9 S- Huq^;.ЌV:OG\\s.#<4dL&7eńR.ϣa{{fͦOu:I/GWJ߮%x-$NrvԊ \U`ηPB}Wg)Fl$\QP1-M|_N)~j-R,L"m[/*p 2@0 6տVxw>V|_3%ްKDRq[KuZUG)a(1ZJ~{K.ǜ Gr=8k&qwb"kɱV[:gEoljky-(REUk(V}%ٸYi5-GV^B `K22aIs]/:X{W/U >nn7ߗeyzZG( 9v1 xJ$5ӲiZfoL-U5lj! s:!3TN 6!@!Rq8b[g#76Sl i t6o)E-A{[7`M<$ >i86s4fRڿ9UZա?u10T**v%l_Yso/URnp^'r`yLl{2:٦6 0]lODcşK9ՆrÑ8-aw`h&Λδ4/׺q-@?3_qy$jhPimZ*ߗ1GfqDUX^RC &0(5FQe06;F15Mj_Ӫ.Vff 3Kn K:??ߨ"PB4d6?ޭS p+W\^H%K薈#Ь0n̑lW~2|I'Qm  = KQ[DP]+aV1% hB(UT'=0{K6we9 ?AKz5[)%ۢGJ l'ޒ7 BQ]cfd%s< 4׿JEv;:7IۋHID .+RmV|!'vkla-}7mi; ly$2m9: a!c1zTB' X01x]NI ÁƑq@ 6^+I MeUq}-8e,^2By&EZ.ʶb(SO/z5HH3.'+5CVIK2l^-gK(@dU*ZEݔ@6. NQPt$I)Ii=sRSeyV ӏ? jQq^UfסZKCS`}Sȏ|_Ehi&iofc_忰gq+f,8?"2΍ չǘF3 탄eI\С@HY/xvyO HpI f J,2QmFeUBT+DŽO_bLxAH&%9G@Jr(fP8f0Cq։k4=Pn|L&\ T@"zdh[뀕9[e[];T }*&C' ̜*ۏk ]{~|&5MXtH%?ƆB"z<{c6MJ}22%@^m;rq\g8^qt  ~PPBREfp pȑVOcF2H[=͡"eZ>ИhhLU_MX b-^[OIߝIId|X%yBڎW7kp&bD\Dt82ɞӝc> {.}#9~!#KуTé riDH:CU?Л;pw񧇸z ֥7E@lV5.YlL4.F]žg>%\qK5?1"HؖB,5Tx]s] rs6OÞ`THĮⷄϫ=R nz!N]6sWQD6hn"H:N#ӾTuFޝBvN뱤%c3[ƻkWZU|]%q6mtd9k]8|/Pڇ(h| TuU# (LɄ[FnI),ʕ=7,nRs_8N{%Hĕk]mq->h6ԖSE)DXU7kֻ1;[zčۍ[Mӯ2U` {/%KkZjqiY=5)eӸz3n@8jˢ|rPN KNC7sfGR #G2aX5?ؒS/exSjxhLH jCJ4ɖ'͟t+4j[ #K/U(g+-6tLbO!M(b|* n"tYZ ǫ.s`2KCUYZz2.@rٖn&NwN_LQ0&$m,ë$:P-nY SZ5 czR@nCP`xvo+'F0,mP؀Ԗ+!$Twtzړ?VHw {E}e}J{3>Q]kbH5+&ax=1Li:s.ErӼ.1AKc@K{5p]"ë)&omUl'q [&IvǶ=(Z G$Qyd%-Y/Ht22jߧlB(M[%]b**zI[?H;(Ӓ0Hv&<@3[ڙǑ41;-(^͏3ހ[p.t]bYA%GÃ8b&iU(yZB]]1Dov*mxgJUO-.E@6zHK\'̅pPahhH!-ۇȸ|Bz6cb+LӔ8U?:RKxjCǛ7U[S6X2f35aT@Uak6z zz:GDC)%sX=MUKЗWƕ"HYiʣ+fi]F^"po,KstYeG6kn ]7tGo [!V)c 7-ǾmlJ=ŭ8f-X?B.>$*4B"a!۱ .11f쇞dc&4tQoz zds[*/+; $aѡoIS)mYhhv;J1s$dS{}km2ux"#Y Ȑ J)" \yu@ߎٛ m*Ëa',RRznN G' #RNPmM)x0Ub)F8=&im mhǧTcjO%2HqUFv_. g\FhD3NΛMi JCR jh]x 4(ےiĔrہоT(0Ҋg[IX:X nŗ ,sZQc8]0Y,!|u@ lS/Ջs [pt`s¦vmQV=wKw\e:ͧ,|E::F2G+0}6bA26 %p}CjO\XmE ݜ3pWrK!|8V+dd'FK4AO-6!'1qjŋkϒe%NӾ/mZw 8-)`,L Ak+ppOP{d}&[W 9-m0.9N+Aet(1V4^;$BʣMg~WdEJ+EUEw FoPOs7 嶞_X z]\5gOǒE~A5`yOn+etՒ>H&p!gyz`1@[OR\d&2UD;Bޔ -gC (5PTQ&Ɛnl(Ze}*{1ܱɏ8nlDVjY Lt`q;iDgM$0{j3_?db Wͷ0I͢:-|BN6E)_))P[wnuST|'OɧI]I:I]j #+k!t4vgѯ@Ţq*I&U7;Άnݱ_b eH+Y03#y_$B:*}AqCw|ؿNn!T(RX1SYfTzϸ ISpm-.ZƲ3qH((W6ij@kl TSdi쭒|s_x$4 E?liȯO#+#[3LMwA`{~ ࢣOixNL2%6_dS)_uRsm+HxT lJ~][~r ? a2Dn\RGQ(؇\ճ=UpPg34!ڒ`8c+Ͼ/#*s' DP/BetPyMZsbxL\PTP)&gB &WƢ[4!Nd@?(EyaUS 'esvfC8YqXXZڹR 5s@3wEMcUG˚~cRD*&/d\9ѵ|]-"Tr?\Zd+^OZIe:Q"UohX^0S.5BҕA #_%&?hF96훃I!pKy DPKWͽAlX[Gc>pJxoe^SXC PnhbQ^?aұn ҽ?Q`_hLX @-)~epV۰u@,#b(3j<=H1[,&WsW{x=Yiu0ԆBdEP,#|D<>:&ܓ.F@`^RN_ ~HడH&t!nKÅEs]-qJn P٭n9.BeZA1VBW@KSbyrꓮVsinQjh! ;],o$qZ 4&D$ly>5<3aj! :Z%㾶tKXw%߃c@嚁t I䮙P mMj/C7xP oזo.Lr@),i<l=̘"Gפ MiGmUO6b[uQ)cdJtlK=Ӑ;ӎ? , Gz v@j(=ֹ>"HQ6b$1emnl(m!n˨LރͤXCyDT }_|Le_Ox6@S}5Ձ~ӻo2pATMTS`*yp=I%!feb㩏-{X>GOM#6{ۊLؚNafːu׵1w{7*ɜX&w9OM_gVζ`khlXJC<8  #{{lbdTziTX(jsʰNaXtDQӦ$Y8gH3f}|&Ȭ'Je_L94L]ȹ5dUw.y*S%Dۉ^EGAu)^Eqr"O}b,[NHRH 0I@]VMHt@~Ke?BKu-$y* i-s[I,m >0 o weR45+m)W4-wPao&ijhZ1!:~`/_ca/eNR=&fu=jwYn10f];BQj| qQ?6^ˠL5|B0wy"L#{OLZӢ,'d `T҇ҎY2ڽ= yoz{@~ܝ+XR ;8>@ԬH՜0 @9ݎhZY+P*#ŋ", uF) -EyGE 0ɫk߂^5kA,Ak̨ni$4O<SS?8]3p~@01z%;Dz[ l1gYZebdb6cc041a9d5dbbd8e742a478d222a02b9154a4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe