SQLite format 3@ !.K  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 v9~<< ] HOL-Datatype_Benchmark:threads=6elapsed=528.603cpu=1953.376gc=716.7967zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;'EWnPp NA"۬/V]:7 HR'w43<CBi?bAe(K#sxtÊ$p$@mKMm\:3n2~yt@@BsJ@'E#]6`_=CLyVt%8GyVkj7o)',v/4Mə/xJO!`ʈ_H0`W& HVCQ^Ubs|d@2 `,- ]G3Vo8 ۄWAL-˜/w ŤVQ3>D]/N;,`MՖʷLP| %0S=|3l'ohp:cAݡ)Lb̸iPw @4!Dk Xt4õTB-L=0+0|hK`&p?Qu㌸݅Fᔏy#nei >YDk {/1UT󓗔̌{Btږ/DL}u |+?R+3ܟei0EZ\׼ C<b5Ư 3%ڄ#p1g=/9}pw9B™~`a篍s{Tf .SEu:zx'IG@GOט`dJ8@K̜dĶz%Re|X=ԲZl䃗vL6fի5Jb~7˽P7,u8M.a/]Y_q@T2/ A$&wN?-A.W%->waj5>f0MT Χk{h ) Ќ?m<='Siq\ёUE̳u&6DG7FBqȳ M ku+Oh3^Uߴ%p^k+}ь]adjt"XE^cLPO9tHELQ3>0| dqZl< g{#'7D5< i/긱gYZ7zXZִF!  ]ŗXiɟ1)*u%9{챖 ,5&]NC_5YFnP.Rl5:%o2^Y@zćvցލ$r|΢$VPTwM) F_r$RT7A?4|Ltyx`@(cz@Bq0c~hD0Dn+(5S<[t v^(߶)0Rmie@lYe5dTLm|oj<@%֓)0:/ӏ`K^E4DHzb"Ghn*l꠱yCE`AۚǵϦ8ɅzO͕"v3>ZU׹Bi9bB#P4]=n&*ῢZ oLZ?}Ydss$َAbAH\cCE炊%}sI 5AІOUMZRbŦʯg̱2ߏ"q4i96eg2v W7"aX,>L{N]**:VT 9 HOL-Datatype_Benchmark8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ I  e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~4#ѿ'9JPAzxKgd<.qNS;?69D )Zzvf&B#o .b.G|-RN|F#ڨ"BXl]+3җKSq!62Ёz->cqVirHM H%p* 0f#`egP@Vu5>| vߜv{Ţl솔2!8М_iTa1݃KM{)<)!ҜU=ZX@ RkNeۜs>MQ0_9*M}5㥾F|Kܬ܂A 9K# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p5]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~-$@AxA.0Qu*L;-!u_~O}c{3iJXĥ@_0b1P[͌BaSlg|݅u UcĚ|!ͤpǭڌD1EédB{],~L]J w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520 9I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! } ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbÝ,p/¡of{宰쎀T\A6SRfٕFnqVꞈb @yҴm\';Dr&Fd~JA>gʧJicMDʱ!L&%n[ŽVNx R^̖/@*µɠ5s(s/e)s{nFT^d=T;|,s(,P!9U+}iNڂ.C?Odr3L"9 &3~wLHJaVX :_[Lh"(j̜,6E}F'fh8͹"T* ڜC+&x]k|VFKJvHON^ٲ^ ]mkd!&@$&^Jӗ{iߡKAfZMمCx]>E0$;}1q)10VC1qn>Qf,m^dErpT4dhky_zsVIj]YSvTL2i:zoI 䱡,d7[jf[e࿱IB M_^"H^#^y(1:b\ǽqO4ٓiKڽ&T3;nkKu)B#ߎ"*8,E(M=u:ύøAeE:֜}*n@卿+lu#66"k?)]!Gd14dcқ%C {jaR̒yQO}/K1vv \{\ߎc qI`! 9@sp/&.`͒K/ujNTckf(]0ow"Ht*. pq-;G<x#[܁5Y\^cd̈́DWaFbnC=Q$!W^<2#?xxDQ{XRƑLʖӛ/@DsD\˯쉠L)RrEu1.0 H{IE龁f+q2ŠSjsN1 sYд.PKfйtϹ y&,x.&&DMe ck ƴdlH|hd5@g|<ɲF).Rr9UEppr(Rׅ[쾊AVlxd!`fŲ[~P}˩$;!U-*"'6䢨ݟHp. iM UN9FBqEiDzdGAo 1EK^*1O4N*CC j|Kg\'m:tScqzN|^r2p8jِc,m.nNDmǤϷR79ɫW,Ւ8;zڼc^=9<AƧ k3(ǞGXG׸wJ $WDH86IZOp};XkvxO*.NfEA[^{rf E@w;\ $y*>߂~DH>aAuI{8xe \jfڹkϿp+> pLyai/Ht9s䖜<_} &L0e{ Ug{+rk=Ymӵ^⪖1Rs&b#g[C/Ip WW3ACr{YgYZ }qOZ( 1YUw0 ;K..+"BqEмlGpqpj!p(y '`n/ ,aC)6%A]&iBM nuua爳#T8௲ q&xhV[hkՆNP~6Zk=7hӺ:SbeMcGDXP? {mYDwԠ\^#S?IHA$ދN<U]{$ͥWm.!p ĵd?tY%ccϔQ)1s"Ju.`Nm-| nˌU}hu&&L BTf[ J|C iשB7BezY@gu-MTBV {_.g U;lcܶdI]"Tl]ք#kl|弒+9U*qni;&&c[s @s3&*1΋qP6hES8{>\*^ T %J+cV$7R,6dTAVڊ͏6sb/iw7LAn gfP l(zRCb H)$t`aY2L,a.QNZKKuTtIBFӫnUo唌~T*Ѿ>b'r)QRdr` ݿR]jF=aJS!:sZ,ͻėQCe0ԏg~pB/쭈٩KjlR)lH U PJvfMF-tT  u}D߈ju׽%¾Cj;--۞Z}uSkuRtmD7os MږR΁j\svH ={HZAk [ ~v m=MtٿOH2ltMO?|y^Û.q3ƬT\j\ETDL?<zH$o|SijM|L6| WiC<6JV]\ywA}K[7ʿl<<xⱭVƃd-,uqO4ǹ>{$,@D/-aVֽE4a&G_p>RāƟ(Io)x.JN,1Xip[(tؾ^idl8zJ?)"^!2#x D8^?fb(2t;Skzv&!yrF:{ӻPݒc_{Y5TPмOgbjGӰ[5v`bxKK|8>UThj'D;{"E ޫD7+=W((ݛa?G' LS5>0-]D ۹$|G "х)(x$`;ȇ6pO{< Dk.wI-fc\O?ʘx+n/ Ϩ( WV6J"G ؠ8DMj3J{CR]f u;tĔS!O !m5ȝחFX.OY2{oezǃxME~,!xУ|b1<Cьq JsT7(͜0Ӿ/kș2e./5IKX)8yA 7)2@78& Bn\fV:}I/ɶ%w_N}q?K?jpt S w/>Mb"kl:Ik|f¶F1yѕ{uSC=wH2$:i{2w$&o;r]{z`9Z!Imvt 胅Q<_}g[MqbI)z,Ƥ5D=pr7,K,V2@ Оo0ڥ x` /c5Y+%CAyYrC:naֹ=T긭tbyMΑ~ Be\g1|0g'Lit$d)Y%lTtXG笀4&XcIEKҦhO7p5޸z[6$܈CōH_T|$y %uFT3r,V\*0튤p U9D%8!kt ,Y&G^u<Y2m.N$*zt2; SX`MJ]+lpsO)in%򅔘Y9~F>uP~gyQ"5X~I=5f(EwFl!z Q`' ӖLrhw{ 9ؽ&ҶI84+9"!9KB *Sѥ{=ZhcFo~fh%8}1IA~ⓝPDl6m'S?9EU~T,P^u''zU4&&AFIhݭMN ;3|@4"Ɇ7O5Ge{Bf%rgN-5N=Tb" d*c-x,JxBhQewKt!+toxj U렚!#ќLMV:I#,g=G}r /.^Q}6(9zVv%  ba5+\Rek(;^{VNcCIbve Wb̫b jh —ώeS49hK[q$pBJGIMT/6 G1_.f H1%?D׍-LWii*ABX׶PAh"gu'do%Z$=JY۝.O=0m1Xfƴ- #P ptcmc6)B<և!1 H $꭭ 60 BQ}uPkCKZ,m|V}ק&-NVI ohը٢lQ`Gr5/%ٺM69#e8*Z:NN2'S^\?>Dj\lƖEp:\\`"܋ 6RpKDݽoVSt喘 %|xζ}oj5x}4%-r=,,|>!!*OI-Nef )]JʡAs_0h#rq&x9\[ծST ]J2Q^q@ր6Q.<`qw ͙-o3.aWѓR8O +dƉ+@ef g7]<$|kؐHj t>0sv85 !AɹwPlΗ-BwN+.ZVP^s&dDp@kX=Ï,?X -ziαYZN9qMl@E1lV-!}EaeYPNn=}CnK(\ޛ&e6ďЧI߆$u':`m"k,75s]c{UqfC hJz~R;оҘDW-v<0<&KP8jF#%UMo~W\0>Te1p1Xt HjөY"-Ni$Z=Z,&Oshsr6}=Z-H#b՗j>mZv Gv8r)z*J<db/8I9?u־GXnqAR̀M|hS$2*)െľUq(I Qg jYNxG65Et^2㖕*7pdHR$1y2 7{tt4R|lx#^*og']ɣO[=|,@'$g 3HwcYwB^.}i'>8/e⃡ h^jfF FInƵB"Z'U> _9y5-`lu ;%|j:fK hFQFq43@90U݉ѷO`S/|VA~uĈGtU%\5J\D<eq3fU:&vO [KIkǑJNRٴ~b;ZX:۔+B5(%ӌ2-49O~!B}v܀n9>(:fR+D+ w>vC G#FÒ33$ xr$%pNwiv}L!i5l=gpAK\W ā3ډZս0~:0Y쥑;!{ṕ:m˻KOʲd[hj0[~WD;7 k. 3x|1I0:޼DZLvD~Z"`nqI#=} ?*xy|GpӫD-ΐ#+[^{ª4ެzWxc] b$ :+h\$#L,h_<}w~Rh'΢' L7YM&d$уV3m{""\Țd,\EwSy~!HGic\"+k5(3wA]>R :JbHǜ62lQJ<$y :O`ީGʧ 5aB2F4R%fF's#^WBaF``XjLi( rD*8Z Ix2Ya|LGTskqz<8]Y̧[?.;5hVU|7eE; :ePW~C.=a٦<^qE(m y!䥘sمPvkx+hl3`}IDut^MJϘDJ?=߻q+M;@5.np™z_@$]OP7&U45„96/ZI* y@TGR@uX]6[oS$Y]iWUQ̾tsͻ d}C=PE^QyH%G]j=D{t<6.'"C7b<>e ͅ?5UzL )BF^6$"x r?zH>xK'JoߚG}!%~ c8 hGtPLBB>ХD%_7hyV9`&\P1i٭K s\-K:G?r{z}oY '%};{-}K"9k#h.21InYzU ),gu(6ue;')x?,fl}R]Bň+(᳤ٌ͢R֑4t{I#OW%$DDpd rJ%o6P`{> epB\n aH4!.'R5I^b44?ϚMy|ʪqRiϋI ,e~ 1{y/v6aWs y`諔7a 3Ԭ麳zJjSۦ sߟpOwzq/2u+-xǨUANva~:%$_k):XkaC׬ nB a)6'qUrnԠTdx"HQ5=cN|l:*+ E?P|b{=V3˧xARl@\ۣ^/PF'0VbAZVS2$>uNs*e$[B>PlHyH~F?|D/dԶW3*] G7aTWHE2@xIG4͜1CyMˏ c8f}5,Z_p>JsaXyTO{8zK*󞊦v/\w8UU6cy᚟Z)=R_vHpz Og7 1k@9-Iڭխ& *^MQF嬂6׫sKt=[^N Ajj79T-%EagJ83!m2ҏeW EiHa>a|G%2L"xnaȩC1QBM:w8A( |SFrA9xD@< =9(H=C; ZN'UQ@2ݏ^7X;uE3QCe)C;>jeU|JR*eց[ 8X'AlR!|jrt8? Rk6A?6KՇ%Ûٞtܥ@Ut̂<d H2QMs|6é\/i Xݷ909e YaV-2g _ a1<3]NEkK[Mq D=h+"Fh̐2%|mwڔftG2T-c#jٿhzA UD~PQVhD3ЦyI1~1+F }I WIL(M9Zp6ԱsOH iţfO=1ʌh`s]>sy{&F93:Ӗm5a6 J/ea3"x4NV(<MVB/cvvmI Du[OA3eIh+TvfרQJvsxHMCF.ށޗdxwo HjPA7a; õ[bv 6!VK ;+:VMּjlothcmSVl4rEm`V1d{6! SH0SUXћڻY厓0ΈxQ$an1jQ^k _.u}1#o%x-9 S }-S7oߊ/5l"N Z(Xc+gP,5[ޱgn΄zN28d7N`\hSsۆ7E`C5r=8ǍUtD6abẑ6 d UMɟ$=&LEG3 ]0'MS{>_FjLma |&kNl{ 7'U_vam:^m:ʹ`WP5@hBd1dBʵt0u(YZ"ECD´]c|u;_jqw+/LP,>ڈ,]KVݦ6bWZûr]DےRzNPP'7-6^U>PQE5Ft(kOl 8G7O)f=E268qhК?mz S `kB&H.|b},dn N8T2𡰡C MaIaC UKA25KcQPJb_out*JH㎥%'N"q4KTMVȃ/Tg|^&7Ji|j Y{t/kMb_ 6)OQP:<{3-~~]& S[ 7:dvtba m:7y'stW|RdT eI$.: b EC)q.'(1b<[i/F'}hCUoQn8k5TZ3 L#JH+3{o.\iB5+r}ΫUJjc`zeSedxA/ BV/·j0PVВR,-PY|&Y/+>vPp̪8qXg*yzMk9'8EIMyr<$f@FKom-@.Ie]Da 62 z\Jc`õ(R9KG .sZ6OPF[^iMP;7p!QUfS[m'-w4 kƸ C﯄e>e =b'idi9YP@QI w[ _Da~OFM ?-~&xeuUB"@U]ـu]Ю:R@,пH.. mC+f*ĪjUfa.cx#pikWNc:AjC^QlD02mCZ(T E+6#ἃ3Y[(a)]ѓ)jNQ}[tkE:'1>ax`$^*]Tb@rp|]L+TAl&Yz֏Gpߤp 3S/.Y=-y7AcןS3c٧Z5qKJPN<agO zԡC;%XS`~A>q:rw$_ƚ2wSӒn@bAj'mCi!+Abl_QO-G|!y2/9|KN"sٟ{vwnC"@)0"q!cu`g(K)ߚD>hJ] $.{/>  |6B߳&(LlbOe9FWe4rKܮ@0VhujkŃ`6"A<"|DAD3%IȞK uzU]nY_?qC=Ed. ؼ~9SIJ3~!#ݠ{{kmCj/,s ݸSP=㣥vSH@tt"t]nae"S}V.ׇm?.,."pڨoU," xϷɠખ?j1x`2.8s!\ߑ`FCYтR=AE?(Fj Tnm֐iX\qjaLVa5!K7R41}oz rRM :#ޠ6;FEխʟ;۩v9W5F%Ŕ&}3N_;X!oxZ3Cm骋x6TqC*OM&Y(gwj.6?TɺBqC7Q+x7ZyA(01k4\IyԮ/^ut)m QIRF2ف3@r/8P cJͦ `< G8&Ll$YyNT]@7$4=[-;qPBIF)t@cD|V7>nݕ5߀Mlޘ6ÑwIXU? <>~΋M>Ŧ_ȥ1|Lnv/9LK2b..cJxͮ0[2Ðs`9KQۮ4q(n4`Os&`jgdiH2Zΰ"+k [, x`[5xόDY_Åv7ڙz(&W, G4wHTvS{ -Bb̀)&f ''{j t5pJ\TeS}>Sn~Mi>cMl:!O6WdGx>e^ ,ްUJ%WՃm_ ^݂M @yX] {n3!M%GR*Re,U2tJX/V@դY90M3α:@"(i^K"i /F (1W<>#@R bT'!+1ciw ] 숚|˻PϪb]-Ӻ:@1RA;4q0G@Fl /j蟟X{^4un8C ^D>/3XѶPmg? $e[R\"_;Ϻ®K\9Ob" cK:, <5{kp>j} -44g]K&`5ӢF^P_6vMY#'w[P0+hҶWssY?Bm{Tym&n{H,Or%".j Lh+{='wbxQqf{B=V9[˴ɶ=4K"\JivZ{jCDB ,yy St`&>BoP]OrC9NT$Iaw :6q`r#shM $W92Bu؛L'(w$OmV:#(eE3;̠KzhjE+7Ƒӿ;15tT4ldW`3NsP|1cjcm*O~~n o0*K17m/f}+}gr ~IgA)Wzf t l:?%KyQ9s#L4DN)+Gq19iL =W7{";M#HgQ7_+e?t`p[J: qA#("?11+ [¿ r޵vuX<3[m ky"w(>0[ UDNQ@MoO8D%Q쮹7Z-EBP~fK3~1KiPP6E?*=a-\ohC^g$w-)^=fWg*'[jA'WEdHBqkeՔUߨa/-_8)Tm(y퇚.Skv/xyqʝ`zo׹ǭ_NA]4j< F 3!݁3óV97g#>V\x&ْlp-?W "5*BRbͤ@CsHk]j iq~wOh/[E EΏG ݈zYimPY5AdXJh>Wn/6 <J >U]IŧؼbCy-0LCbgKCHO A)|'*-? c.lpe<9^i.*+UDνڕ?}>93=MaF9|4Xcxḙ7hA g@]f~xsBlWC1֬I@Z#*K0D3[p*7[H!@>&-@ĵLKyn"qkDipUմ85 " 90N0p5^̷w5Q5ra^' jP}|Ka^W.P˵B *7 ,_9j^_m Oi 8F~{.TA=x^7j_Ҩa@oR$68o^lȰ[S,=&D817IڈTvF&yyyKX6NY+`@;o\ąSy_< 7B ;{aQyנ=`@m} J)0[1O,s|B!a#3ӡeR̈́7w"O YNc & 'cBx<|-:Y` ? `I6I~UXHG7qڧ/T4#Zj#L1|I"rguBCSܬ:,eG lc^VՕm-KyqrI(7KnxDȱ6O)O#^Ev[}[@\oo(x4R}xތuK#->Vy4erW'Ct:Tvڹ寍K"B7]e|7j&OH)̾3l(p]j ШQkl)K!p7B^YgRsReRa-Ƈb)a{kbekɡuh#Vre_eetHA9[a*xa^c|/aS?iI'E[8 y5sZ?$-WDpQ[?/jc -<4yiPXts_F5i~;jWHgD7lj\DxAi~Q d܊2Ն@^Y߷ {3aFk6C‡n8'm ~c?yDb%9m) NICt[&Z7A=R}+_{73>d }a*ÇYYc3)>ϜQ9 ,X^Y/R\^qBlץ`zC©B+o풁]o 㛸kM{W T>EU6XCt6W!pؗStfEs.% PmX{Yn_u u#TUk~ϼT1/ .1#\H8pIpTMt_4J cɔT۵Fퟧ/GCǪ&sz=kjGf `/l,e$0t`Y[ d/ly2@$[ O7A3(g9F}0f2džet~nxىm&zJݫ4TZu| QS(͞k t@4]哪}%z,=mrna"P"l굫i^%q:gM}~(]y.B-ɘ}'>Y4K% -Vh01Ԧ[I]ipur0k"nF/jyGec9' WèPi*LXYBFCY5:^t>?^{aIipf03NV'qKݳ:sWVr^,SA23D<a.*շlYAV|B)Am`6ӎ'OQzBf Ë <J,LwcWG[,*n. ](S>EPHVܗdd/Úlu j-5Pc&63/PT,jF EaKR< JO&R8~"x;3\#di3"@BMt0T7[Dv $8}&)Q3o^X|:zlqjPȪNAa`a7sEbcqNfNF,mfwIx +lh$]U6Wޒ!}6a8SN~xSR,͗T[@DWi٭$*LGr$y]%]+K Ұ4 XS܇/փWq܏fdO j P |M߯tE ᰭ:0^-IvxTt7A'TD. iTe#3M{hz:]$D91(/H]f҈fwQV狦֪ۢ!sn`V'__[H Z?VI'̈8 ྄DgC'N G^Ձ8x4 fWj bfRSY1dzU*c>e 01xdcdzb~?}[EҲRMVn.FlV!WvFLW5z7Ҭy9|f_҈`$co^2<ЊwX5+ߛ\[n-0Z#P\%CZHxI1+뢒cR?KrȀh9!m8+ 8<_hfPl=̔G8g4mȒ[g-tCk[| #5OVJ Б RCqi.ڈWPX*;N@a!Ro+>*¨NϣNJ=lC3'_5' ꮮ B~uvagEQw\5/76Lzw͈XsRk 1kpǘU6j/(N2J b *몥ŘH!H֠dn˚p#BVBҔG.^Vx]`63.m3Z{{-O(!vC Q-u]WVd#%>\yImғٍL󘷡D"W~VJ`a5A~,t0lX7%Op@2N"jz#:W'tZnDJ-Y*35)UƎVQEoj|{#k \D2R$M@$Rqb8{R&~ϻ Eq LڊDu}6ݿzن7y %!Ƞп&P Ňd] }'giGm5t; ]<[IGaOWFLzn!G|fX3sqd܇44:hr/y/0he`%a=}.g<8j[>T(wa4bnx47Evk9Vz87R:/XGlgУbePKBpH\:) ;f=5.*Ɂvu^V'Sdl&a"ExQ?ړ!m$pJC{c4G7unP5}\.H@"(_3kV$ BHK~`p Օ].Et7[rz4Hiq$>G$?nZbrPɤʈZI3CoZk bjZV*t̔jM0 ~A}Eˆh'G i^qtC[lOz1{N/ߪI b2#o0Αk=.epٞ\F*Og;aCqj#ODx)uS.AzySQmF%n8fG"=?؂6|JS=Ȋ}qQu۔+N>臲=$ל5PXQȒS][6 )ʸ; d!ܾǿ=5U\V9L;cvK[!퇹JĢlڅi E0!œLF4o,s>a:8("VHLώ|TS7*juYgW>QGYezb F rK|(gLQ)-n8dZ2/ kc5'UڛRSG1 !by TVi~c+`S˪28SUgɿt;f(C f_ڝ9c)NgSٝ_#5d,rHh}ɯ1z{|b I 9SR=)2}0ܲ1&3W `d^U_`PClRB7h"wQULJnA?āsyW1]p0DYKiJs|bM `dϓK"ߪ}ΪOS==2DwOTez S' ~&𷫽4$.}>rp +K>=SNfq:p(g=du0!mkZ0o|~mh)u15G+Ij+CZ+|v;M3 RjP<_ Oˤ՗Ӭ*G8O|>@QΓ3ͩC 4>1Tc;{jȻ=l[T[:\j#{}[@sp[f^i)fv ғԅ>%xN,Y|dTra]/tVO㊆EVk$^aÆңl]k<_ޛ[aјP{d0&;8-^'pqz8'" /3.3PMg]sf֗;=@τ4, 4`%Y\HPKpGOh@k u')%q^]h+o{S !uߓ9BGyC俾Jt EEr 35|Tn 2d zk)Y{?k`'崶C*ǂ4XQ*X7=x>>o n8~A&?n pʢmWq 0xfTlɯkpRNe=Cq&}N{i^SaI;Ye"ڕv O|*qDu{ZwcDNM⟜(fv$V%Y)^TKyN2Ad'Xb݁8 [eԤ㒱뗞752-얧0-I<7Y~Mg$Л w{lbCR o3sBTـ|>>JKZ\]|1˵ |]g|yضԗ`F=HE 8m'Gd#IPHUIӀ3{ڹW4 _-RQ0uaxlzeMRr 5&VfrnK VGqDLÐ7Wp1t9!ylf#~q ,5=R$r[nmoS _٦5wsP|o9F2dUG? Ξqz%X׍f̀/OPzb-{5.2ďA!28Gq\5{cXSY. tC "sљᗼ/ݮMSyD>#n-1W2^M>![M"um*qUiPLTM( Is pFf"HdXrVu4nۙFi%6V<~ AVw)&ЀSczwtݸG\RkuFZsKc؋{fpbnS.T\;H'/E0$;W~όmx8rߕ9w4GM$0)lujd\lU!9׫QajD!S!Ö Z9ACǥ4`wiY8 ~bͬD%#_.٬P4-Kl9TڽImnqyԱ|VE1sW,yLV3z,Ht?yD;E"ex٥MJDJc|L@U6tZgl V$ö.nm3poB`}8eEdIyiMY9Mk#m~F?ics,zL%cbF_!G1.fCb︠N%rdq 9͛_TyFc\@YRv65%7S; &rB HFKgU:=C .S|(^$M)w/wyZ8 {ܰk3_o# G9: wofi)u9DAOK`k{>qa5Fl@-Np3WM86[J ч Jxe!$ GEg'8,ƴDؾ4cl_ * yĞIڇ;qMPE?Vŀ:BiqgHr-9}J#d-$L/Xѩ#Cx!zW;*(&gZ W򚦠-4~P:kP>B?˩ tm+CKY 7ע,rUc픋'gF>P!0B 7,&Wq]i61nn,ϡX컉VСYzԋ77@A.,~}!1!1zlQq;Nb;fφ3ܧYuIMg `PӟQH@-P+K]HYp Kߵ "2p\Ԓ&cZR_%DHAtAJ[!6CQ2Ɋi7T2G&8@I^\u+/| o+TJ;IK6EhQ.j&cwr#uq7׍ݪnq]rQcGY}l#ykE_&-㯋 UP njLa33h /[^'`1^KpYhnIfAb~ݛmb;2΋]&d}f8$>pRrׄB>}1jo@.BWЭ)WD1D{tc5;C=EP(/d`ə5cpI q < a ΔO%,VP'Eo]8G(1M=rtCLIZ7Ş?nakͼP9>80N)jvvLLF: 2!F]u^m6hNcT L}b#^UVuA`_10gA,"TMEH~K|Xo}8D>G|0MSܿ9:88$;dq*ݯ̱HP'"<j3?ԹDܜL"V$.+NY X\ZTr ] H; \dM t32ПǠҺ>K̛Zs0k1AܾOn*} ,|O&FJ4 ^vO Δ>CIt-0 IY1鴅#ɱn]0)';YNRVg߸?q")Sc;=Z&A'2ew!'b 7lؑwbaK/w}sT /L=@ tfZd[ D<ܫev 3G<{K-CC(t׆R!?!8#B`W~^2e U[P\jp|P 0gmQ*b:vEl㒇kfQ:fujƯtVV<~ zl:ޘ%yIP.IVt{kIHD`\%*d=CD߂<>cKHw5^E8սcc8v&ŒWkqIu^8* nQj #d-/.ӄ9*;NTě{._?I@\"E.mֵ",ί\rZ;D5@8nL^)(@_a3iX&9vw: J;ՉEKgt(="eM'5tBRdS LVA5ؼc@WhUQ[%FVg1_!+*5'ߧlqK ?\pn^"#R~(-YyCh<]ϱ Y2 qewS$A-nov*)'65ȀW+w,gÜ1u;LcF)$ dtgYZgHY%,k0>zm Mt MR{mT +a;jLBu6O$B_ǓS`5+IzO:A% ײ^L54*7[X*>y< 4N_tj 7~j ;BwA/ܜ]vQ>t` {v6Q@L EI_]~i9Z0B ,}-%[m*3<h!Q?'К$Mt,/]re?5^ˀjo[Z9(yWQQWSq+V8<)  L}Ldr=YжQIZ>~vt5A%2΍﯇@e/mEe\7,l#ЎcL-屝MgŋP^5 xQ3`WK-&n?H+;) Iy,_eL6ɞ$ JeFx÷>OC~A}qI$&}t4G.Pp{<=>Nn'N3fWmJ+V뫻mi #gztf:JeA"E3'uɿu*k}M* h9 4-+mXzpQ?'1'b}*k3ܴj0%ޱ޶X^~';hɀYO.eu+t~y<@l3 f~enMاyiP|LBP\ k .X|U7cS+9Cj*~1 Y4 Wӓy0W۝d# 8@$j lğzCJBAFϳ0|W sK#o{r3 P++Xo6g!3:M%Aמ.1ق@y r!Piv!{0tЛM|Ye?T*5Ĝy˱[Vp={Y:ag[{rxEaA-.9FV  rSuv0=Bg ')D |s'o3FO=s8 R8=Di#Ue о fe0C~e|!rN8eTb"I8Dru>xRD$cɤͼ bdI*`# gw 3#g#ῷ~mnVsi̢~C-+ X6&ed+`%KWWeF+N9*bk)rUhNO: 80B U׏8y7֦3@S˝|?Ld=P/(MÈ)C7/t|o CdR  AKF40%Hz˛aei*}V4uyg(Fh9\x'T!ܮ*Ɵ}dmAjO^p{\{_.c&_5#њ6;Efm|c0)p[fNYgd%J bQ`p?29Y}= '?y5W^/jSzݕ\Vk3>H=j)\Pi =NW{b yʖf*֋VTި!ߌryHMB83 0a70("ϞvVe`o`Wؤ[ ?&7pK[]1|Q–.ȭ7dRODd[oBAj4UY٧&.&LMST,߉EMF6ь1hm M0u =ࢩLVĈ+Q!MP`}]_b$5xί4DY ;ߎsT %^ )EC_t3lf'|xJ_ģg±,-˶Ag䉿(.C}T+Od:Cyzrh٢vQfًg!W Ŝ?0UëYu%D[]<1|2+ÜNˑ*nr.fr172qpMFC'[#3$˵0fm%!@ ҏi?YmFئpO,mDh5Q)).OuQ30}(~x.ο %:-F4m|hq6$κ:0g Q~jDqG߾8:ߟ K{+(sN">Ud1;7C)IpGg8̿`Fh9_6 c5K;]WbhA=xk lͶXOCrQ'5-o*V&\Ve;཈ y.j+yׁ+ݍ/m8Q%CVY 8ԳoDR}9OW{N8ajb$MMqhg#k<{1GL{ye!yMN8Y^N~{Jc}*]| pwR?TyD?'ɳpqh[XvB+xd]&'M,ŚiTѵfkGzesLĂFn4rqKe$YDڔ=ک8NŻ1u?E$'Ql<t~7zG3} (ro䅟u 1c}VgLp8猙FåP3f2tjkϚנ4$U_$Fv]ـ2bq鳕>j߯xWODGbe?ߵBҒ 8f8z힬m@M:0q2=IAuP|2#{L ɗBH_[S*#_!"{0e9N9f^ ԃ@/+i!RQC-Ho+rIV]B~Q}Ho,2mgBAnh}NAI+-pVNW(u<%XޤH*ǡV#G[keb1qfZ~G+XǁitbGavX@mx+C@ -׭,pʚe P %.L{>4Zo/X=nz:ݾyKO;0=P˜yr^bdFk-̧IoMZP/ hc$yQӠyb?Gj2YF.n 9Eo6LoPpM2}d~Zɘ˾6o@Y].'*.=@5#RןIKP~}(]).#พMJq |ױnD|UM|MyN\LAGL]˯%E<Ͷ}=ˇ0o"y9i3gS֒`#Qi١ѷv4bXr-tyǪ6bv/sþucv4ei=BXO{iozۂ" 5>TjKn}t*u^&%|/$y2{yCF&7saF`""!-#qĿ=\k[f\9zz>k קg߸JegԥqX7q7S; ߠ8$ WV7D-7"<$)6>& F9ZQ)b%\*ge}L]TMɛ:9hc]&nH>Й!N*^u2y, ٸxrC(u+[ v[/U.B gif5B⛺%G Joo^<ԐXî-]$\ɏgέ>4HJڴ~-< Pج8%i&oȊaxѭ~ry cOq_랆To!R&k!#-"@9hq{at(5p(eN%0mky#(TJmIhf QFV6|%qD  2qO 8qH묹\QVUX>A"愣'I4RcJ\=[H!$RԾ;l%Ek̼`*h.CH6l JN?Y~cQ;+&1w ^z[,cA $20)DѶ#]]lV$/ĠpAs-Kj^=zs+<:*wWJS-D;-!]cɋ|yX{QOe{tU= G=:ދv($X`Mo?ZseU~EF kŅvTN1Rm?0;) QYN8x2E\l䁠 m)^}6'~6<66?>/N6:znz*C痃„4i([bl`m(ˇCg4AǮЂ9AKi 5?DK#/j,IEzYZa=} 8gPt &8_ DК`y_)B*(S#r!/a*cZ!gUC)剜U!QگqHÚ%@u=l[ }z:m,!݅}^N_CyT PG]C8J) ›Uؾ£4NREvK sA:iw ]CgG9?2(@:x,}m(U>xA!dJRiK4Boǂ>20U<@d8&0R&)80آQ}(cTӬn[Z0Msxv` =-,esadU6pk<UحoP+t$_Ldø(}[&?,Pqgh4֠5m"'? ȦoMNj0 !73 {wcͦ4oax'", #2Rj)\+o҄Սe| DfOzp1NcДMыMCLUq)  4fWY`ݫ (*pYsP,J4G++ \KmdĶQaE(_ڋ)H@M*m&dh+8oW\WWDIT|k2(q{P*W{ݱ+h,=>-Q=Ҡ1`Bz&=3Yb5hFG!]:,S"+d-Ip-:% {:{ (mP ,1Szn ˣ9 r _DbTZVm `LĦZ]NgI񀇶`6!vk5*Gm ħQN3*~Т~ & |+>Pn ~HήD$44< ӄF5{`$Ch1'P{NčỌ#]x|S>Y4d;NJki v=|p1,8U2<1;&@ϩT7"禍?MN/ [ĶϦw"ܮXIR CH1yAMvhnUeة5J2LKR2ECbF/CUq1@dBrE̠6AF+Ɣy`k?f8Ճ`ɧ:I}O-dFPQֹ5U3#atgN HI'vUM<lYθp_1/#`GME]WH<@2zL( F}٬Ù )/7C~U^`Lx&1Ƈs[A>=FnDu(ֶlW_b6 eowY) ˴(jOXS|M7!9 YN-FWē= /+~OJXtwצ.,Eˎe;(+P8 (GG()Y7gTujYWmv,9;vʉ8E,딗i9=VLHeBh_KVÎ)'4n{Z"\oVJ/@uBK3#],;o{f沭Dž_^a>q< OVBB4]z8UqI-%2{IA4=nζJEUX.o6(ޯ9/moT.B#3$FZavUⲱ(4H1^/";j]p>H5?ȲUCj-r2ix+t4'G$?AS0rmp-}`e@@}̌縡xkPRZ@y]rن8Ѧ{Vߠ6vԆG%Eыlx@kfGuN]rcYNUJW%@^vKxpM)[jeC~;(Gbi=::3{k-~M8'GCH` 6ο8hP1r:H~jΝȷ-c5(+ll&4l\{6w7MqXEp2P y3T02&ڱ?Ѻ"~N]KRt 05jzSvMFRhhӍUn y$J&ɇʞ[zᙔ[ݓBu_i.3)n }S g!Qj ;`~a; 0omXk](4XC4t۵C ?um;owH#㥄v@t/n3/ 8aW--kfӭK2ϕl;'250jMH*C}> !XJQfNӐw -sG~~g.h#}1Ed!;d<]lM *$b)$]RqȰ2nqR2Ѳuybz?/F \7Ț%4b&qx qeLGЯuoY9Mc.k/?zv^B -y?qu8#^?6\X/Q*z Cm$EsiQ&) -ulojTZ".}uP̿Mt;Kin7/_cEj˚/(a7,gQ3N@9wT&^;޿tHSzV̯MF@ ŅsV>c rMX❳0,TN6FDkq\BAδSLOCr^0j@J4#$*xHٚcZ! Y\n?Y HR%g BIָŬ˞E#IJ3w1z<GDF_Pŀi'W# =ʳ(d̟4[~;bZ@ Tќ饡I;r;bшwf`ӟi}Q>R"iz!?= Ji"mjm"ۃ @)1XTxgař-Ybzڻ%PUBqŕ<=fWK,Rt{S1깐*jM+YԎB~Q:X{щ0T!P&x`R&[kCFMyxMB?c/uCaķ *J=M %tGHXUg 06uk;(e9\vUVH/nFvɛ(\?TSa!%[%3jRR?bTE"\8x2LS(&8=Qt6~ ,u\I% [-Ґh0oܟAjws+̸ ٔy\r5s\_=s4FD3AWY}5ْ49َnyPfTp3idnqP:t-tgʳ0¯ c]IM BjRH0kcRBb{{!MQDXO*ZsF#_N,ub,ɧ5P]9ǟY2X1Cs\+a'("2ՠsR6xI9ʅU:Y*pamD#!t TطNByOWu{:9Ig; #67t`6lIٜ=*ЗFq` v/Y5n/ w1Gԫzߊ sΒm䫪iH^M\̡* jB%P[tKE^|mAzNh]XjAxQ OlŔHsUD^l:a8X3Ggf9"PO)΍dx݌hXƧrJ.߹XX>v:Y|y].Lu5ϓPfJ ,% $aCӏ&`-3a\~x((#3+?:}#WxV*ovoNн*"'4T>em3 "bTLp={ɠ&8c8y\}> ]CE>wA/M ¥ZR15eBxJZ&aa-yԢ2o&7ʆFYIto%-0hoxUɃomЩe9q 9SjIfyǂ0j;w j>J;nJJin&2&TP  ׶W荭uE̅[si1uQw1LX-ib"GɿVa(Ŏ6졹һxFKeYx퓾a?i&CHYjpi q%_[x7tUNؾWPZ{kY.ZoҭE_g^fF*˃={ڞ<'o6?&5KqJHU"a7 %a/#|^4tw2QmOCc!c.]YɹaJȓ Ww@ >(%`[bE _۶b>XT=P!'4vh~t1x~űHQqz?, 8nnKx8".{ΊSw Z ;j-BFtHIG0dC!1hi;$6Vh-y7m ^/ҀqMP4%N6PzCVO9΍ZTFSzŎ4͓jj1 <>2S(\n+jP<o B8"Z6x#1rPYc(j&pcQ~iRK&-[wI3'PI@iudW*VDrM n6Pd/`9>yu"hEO lI<}&n-Koz-]@IoxvyzC@4LSE,=EI'TG_ǃ;lInܩj v+nQMf{÷9/`Kf5 í9w8_g׏?rOg||Oi=Mԫ";qz}mh ;9@d*!yqM2_>~ݾk7'3SB'S.)MMFfDIN^!k޾'9'v tK(+I? T2a$n`nZNRժ f:P%*;5&fnIf`Uj<9cCQl&Y]炚\YcgqJ$T\&)f)k0z *b 0D `3> ! gZ}3)m{?mWqt9k^>SޘaaJ"5<Mb뺐1Õ|8YvH2sd9c8O3 4PDF!È z|Z!\ۅZՎ2W*"s`~M6k`1yK0NB%Nڭ ,)IL^O`sĈ 5[6J$':q`2O9#d! DC8Ob++#f3GB\E 5*g 4MMTKa?vX៕ۺ5!CCp6@_23~0b{ױd"ZҨTŁy1M%!Ϫn pSFwQbŰ #ewXXz(u44ef/-u,#r>Aǫo-O# (T%5QR:$o0Ы[\Zuw4m>TƐJ;21>-ex.\&fdc JT6j+m"iJ-g{z9A%&,o~np>E˯]fL(΢ZOD:V\}^EkM`{V~?WP zu<# \Xor?w@5 *<WB٤]OQx-kʄFvԀ~c{C`(O?Ih2qqE)HX+4L3AazX&TwGFd74TJ{Fx"/~Ԇƽ2JҥiۃaD7 Kx'si `:zf?b$#u |=VT6*]YA>aļsKЪNQi ;6fw#mSz5xa@Y#c}nx !FЯ-jG.PH/&Zt`'CvZwwZ {>G2oj)Dsp|lƔ t#O%|MǼ҂^-fΈzH3g zN+`T1eYb͹H_)m‡9v' ~pZ''iB91%ՅRynʂrK}Qaj!'R1NQS@uqCQPJw#FS1rbI G:k nQ=*wDv ^燯Sa /f,B])l2]" =p}W"YصI?( Wb^p I_98+ zs'  Ƥtpbʮ+i֮JT7FnHlN욒k} խ7,YnG%BLjz5óG]_,BwԽ p46DF^㺷%ٔ+ S2De`bo&1;c`\mR f❢ aQ]OV<-E4lJ>M^BK kD#(`og,-m/H/|wҦYdוgeb+gY fUq4b[}RVb[u T%7&nva!clVՇOp$hYmw +QkP(r@YAmv/+"P#R<Oup0g5/XY45S"?bYUKEc+oLp xx(R4ofȚK# (dF5!k?,|уBnz䦂u> ;;:9dJ&4=@3()tL_cmG6 rv?jQTќ$B1& #Cq2in;JЈ/fwރ W Ni( ~\&z5R4K)9W{fa5sib$pouc4Pl`{FR٭=J X$aMCѻIV,pV0=#t9U8 ` Yg,ݦQ .3_1IjMznr4jvh$$8ª!Ⱥx_IۚPGy'Ա#ń84=U2Od~KuJ&IS^7cIj#$^j⠄Xųly P#h<~5 JOX#"_֢L灳k_ѹ= Yu"kr;YH6HRrԜhF&_~:1YֹfŨ6jK@sbH툦FӰiA&AXLHENr:WocnBܣez6:4[4R9Wh2BfFM/ATlvH\!*1hv![x^mMm]S!sƥ[HU-[41Mo觃t<0a%j˰d1,x5?Ա=[O`]ٲji[փ'Wߔ#'L9KNH.'q| B'Euq|넕`cbwĩٻJ/ÿ,AH(}ؐ] ,P@al}wlFH]"CGEO?PxaAJ&xEӛ+ЬORulS+T cԵ:ϿDx2Ni_hs&/ԍtȱ̌֎.d+$nVCnNrRĎ3j3O"5%mrfJͅ.yj ]]nq`[zfKOOǙbYXoaƓpPMYͱ.tn:NfcJ|^._ք)Jb+: 8⯙I vnR騀r45}UF #3d@w֒Ҵqr-D~jn/[pMK .Hp_ckif@hn% 1/RePZ.PHG5}Ed9 d ^DݦHt@ 5ZsEy/%5U-rU;q@/ϴSrj]*4M v(x{HCrfF"" >8d@}e_t_KMA-D`)@U&P %wS1RU&m gUwYt|z榮ʩ8^/z^t0)#G[Ix#ݹ3$**)yU:H6I\4t;O\z% +Vi4nF1q5sM^řpN-HYye.SxVRޟ+\UyhV\4s6P~ 5*P2t8p q'\Q1>x{'DpW A⴨▢8/+ tX-v?3/Vʎ+! t,2en?]GoM΀ /<h`EZ:Z%9^a?PYD z)>s(+]M.a6YēdD1z![W1Qw2Lt^BO@Pv@R"K9w@!P.w:׎']w,X R '^ Wa"S30?#rIwײ#L^nbWYHU~kk(6h\+9#Gx%]wLɺ2SԨRI6q7uX9k2Hu_Q!z1?or:he c w'D% dčeyt7DBe1{54UX)\o|ֻ2@yXb,s;L[ٲӓRLЁ|* 4e: kٽ\u`wP5O(*u>Ӯf-1wUѥFNWJ֥%pmTAz\pp(~mVe~YRȜe0?$nj!LЃ[>+dWVäGc֋ Cmӏ<-T]CUr\) `/D $(n螴D7"^얁jT!{s4vOXowb2¹!$="'k=!fh$vխ V< %<^/uâg:ˌw<[JrBe3 X5dg`/V 7@5Ԩ:) ;Rӊş93 F)=ȭALFtm yJ=]@8h۔-HKPa;C?/ ڤxϑٟWE#2^jo`/OHT"Jqo-'R1p)Fqާ7SLq#Q<F0|0;*,*\0v)º͎1"K vZ&! CywN9*6(;ӓ ZD9txX[xQg(;@,HSa)ڥZlՇiYY,Coz>)MQE Z0^(iHd!->{[Dy>WVHhkQ78}Cs;?XJrW=n[h˷vjy| \OU[Y(ߢZYM8Ef64(]˂"1u▷uG&BS~a [рZNI=éopic`ZF#I:>A;hM0aϤy*`_D*zq[M-;^1A(ne+hG1s^XkLdGk<8A~Uzlly-58TlX!ac 5iEf8gMzo/htgm)raQNh4VW\ rViAp Y~ IlG]є9}|ڗ$r|3h7; y *FE@ڍt84-grd=HFvFDq\9FUJ:xO6(>CW2dǵޗȒ?Ad=:*Zݮ!Юk!Xoܝ;٢a}GI+I0L:}NIk';+MsI(,x{QĜ~WI" 4]c :䁓O2=5&t=0x &/l0 Ye\ y_p|'+r'61ټ$`<[`樦*QC#g˭UGhG:*뛛$?=KCAgYZ \9G' 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IiQ]Άxʆ5.f-9 rq?u|KuoacpA#x9{p#R>R@v6~4 o֍ Cht`8y Ԍqbr_\fp7NٓK#yc'Ƴ+ @5l-bXN[~߮յqGbM)5<و0s&hrvd8Nħ::BS~! XEY `l  cqg@$G?ȿnŴٲڴ^}|po;5ݲQMz(عPIA>;oj TlbOTl@3,h)×B u9{y.ITOU*.xv yGU+`!kp' ^KBםݯ>&!5&yh!oKO8]&fRY]97[-"?>4q5NoḢ6a儢qNN@]uPVgU&*iUKࢿD7z|ShL;߉hCmb"lgd g.$0 %㮍 XiRWfj_q?:+3S]ªۣۢU vҤrOŐyn%Q>сkTYz]zVՕCU"jMV\e Ͱ5Ȱ~08] ~4"8~|ޓ@J>@Tv Uytrx N1JF!v%ㄾK?LeLjZo3m#9 ϫl82UO~)ҥ)o5̃:`=u VEefy>QߒNd yEN̊1-oSA/8)ԓ$'Tr%7:aC6FbY/%XCZk3 .%^,ng+vYT< &%醦+eA ݓAӏψr/ʎgVN NJJly6[}u cI@4"FJBcenɸYEd6[ D2VXYx9U.s'ia92r"$۩c 60/1ꞈxN;^f2y/iP$~v>ޭ#1FZD 1gYZk 9G# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xb]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H >FB'8"Yr9Ih9s6ZK޵ӑ8 -qhr^oVЎmclb'۾[ҷDH'hp&Z0=۝ڣ~pM-srq1~vQz̙'0kI).cԡrq1a3Id Q}z #NݭְA0N TJYO*.:F /f( |Av  RG:z&G2jOglA)R>QǑe(筅$2Ԣ:n{ʘ ^=[ҽ^jvFz"aT˚m**y,- ` `}#q#ͭz,x%!S؇x_<:y\oYۦ~-4ʿDxV gUI$rG4mk+Ⰲ,&^n\ƻcN[E12_x@w @㰻*˵j0#_oWk~I!#b{|. ʆGn2K;kz/ZH&ݡYKك_A!h֔kTSiPr/d s=1ʀ;Yn $_rv\2r0hԶ-@k2v?ff?fz V'hĨPdyR)QYS:7v7q}^ o>$ pRmZWT8!qP %f_GۏO0%*V{&ddL.Jn;e8:&A&|Fe p 3)@+ze>JlSL˞in}i?GL8I5C`Csnv"Ц˱_g8l#moBfsCޤ(s6t<В*r;BD镬l"R C i@xɐ!# A׆ "LJ ^!+|?VݪX%mlY@5dkCH tf? %oahᎧrcM )t϶%AR_m-}`Sv5V#Q9C"M~2d50MFU[ZdQJY!#^1bccX^vҲ]ix~FXmTtbhް+3,lV=}D@Tv:W ѻzP#q+ے=\ΠWzlt3]ŧ!\3^ [~ }_~'F Y];*E;Q>2n:fŠ_sҼ5m+/`eR5UQ& gzmsϮuâ"=nj{VYPpJNe6Ɔkڶ%B$Ugx!nV=&u/ F"M7i?;u3j)b q)f?E:'̩`Q/=A_+~~bRxja?5=ŵv~ 3fc@CnR@mז~<y=-1 W*.ïU[6i%z*:`}4DlI{AYP&I "(KU>]FuW~~kYEH-qdrҘ#;Ȋv&' v5 %K~' oy$9>Ad2. =F3fE@E%mBvH\zNg q{ʉə 4;-:\㖅R#.l(;9 /%x ZOGdTrrDumf{رV2'И 6~DYa`jvvDv>=>[~\/Ju- 3q^ڊb,2:hcCb/z3;'l} f< =jفm8|Ky:?BNJ=WoМ~.sW'T0WU&6E-U&-7Eȳ&at(ײ nt)+GX Aj/˸; HLO.U&p֘SB=\.>3 &f{?h6' ? P~p/hŻ (7}m̽]EbIv]mkOoa-6;D`NX H?HFH%6}2.*~f;P99v(zsU.KgsRx.h^xZ50ݏIq[>@3'U&;oYCe "{&=b~ * e&naJTcA& ۍ=ךUl{,nȆȖqyI Rv,(if"1 ҊqjC" O|(m 48j}>(Q˰yyyM_Z\O.OD֍{~_.E98տ {rܸh3L5DI02]PQoĄ>_wx` OMBj\lƿ 6s}1*D8A; V5-iD"[IndOFz(nl:oj0ƿp H:VQ֦=²VWκJ%uRz.N2)|lM=*!h2vUL|bK)|8VĻ;OkR*?VeRs[v'q,/HgSCPf wW4lO{C%$|Km2F3u QuNen=+ =3R8&.LD|cċ o0D۰[P$`wkʂnٻp~P =y|I h9E@ /y+y$?y9[=}f.NۊA],f9Y-\*!IK^N?%0qɪNz>Ec ǛlJ ZķӸ-$p5yoSN+:]|(;o8{;~)Yl!.ǭ 'y<ۜB-zOO [=%m sOuG\t)'0LW/Oq,잢w lNz:ΐILlnٕ%)۩!}/ _X?*'_#ҥ#g4Ӽ iHEex 6ɛN3%iG~֝( fia{]+@t[;>,׃vL`IҸCݬ's2&q"s-FU P*3Oš~xg+|!rfIp*J&2FoZp5lN0؜f!GY,#W^ζUezAdO3 B 1[f22˩D09t[n} qq"a+,xP CM';3hՒg ;0}sz=mN"$gvIgw9hX)%HEYN;]d ^zi)%ާBb`8l+*=n"g_ nmmŠ(6Aëk.ǔde`mZ  XIw5Q7*J\HE:ckf21\C2k/7Rέ'Gݨr2Q^ϋXm"  <٪%֩2\wy; AIwx FnωD_%)1F A&ZW!Fd+gtfG8sEI)]м4PqR]OPJ[d5d?Ȳm\BLA9XE3ZĬZtPG8KjINsW!F|{CcӺC ⡾y#KH'E 9ǼWW1a~ Ma&ăcݔ5 ׵Z*tҠyB^k2o$ I:ik^ipiooab30{8:A>Ԉd,793ݔ(jL`*L19+ KݎJOXgGK|Fwu޿هMQaHD }d%Ov4*.)װdyw?U]p|B.J栋[6_GŽ~fG2,^WHuR=AcW/TbMp+{ >֐`ORT})4"^v⥲Ag"%.,NfW"m$1qD B COJaZ"SrT0t s@{DM-9JL@6d'@|>G- en*]E]n_; mef~az\5/5ET";N@Jv >e}ԦuPD D..ɵ>TA▃$ f,ESqNn`+X~(e6F^mW6jwxNp¬pvkl-K؅Jf r=r LPc :nNf k;$ī;bNnCLPṈ6{ LԙZ^QJl=]EW$9^bnsldg'؈cF,L?1zUƊ0gU0QH:UKs/ \3g,߷EM)g7߇(|k!l :EI~#&0=-mWBje6ysiM_[G@aA6+0lnkA[(oι0bMޜm>V#F- On̷46_z @$~f¤ܥ;R4o:{. ՈD:r]{nsJ+Uwj*` Zbxn ,7S8'dxԟƅlgm@0ջuM{#UN?5/Cn/rXT =h %8q%'S/m̔mXMA 歗7J&z#/=PP/$wCϐNfYaϸ'z;<ڎњhA$2OE@#IKo@G^BPE7 񘵗cNXvSTTXcVta(^e2lbmJ47;Ex,IR5@n!@VLF&ְ!NBOEWgw>`N,L{- `<-Ф/4gjFл<j  h\im\S'^PZe2rņ?."X"MTqKAi>3lDZ66PeOc2E%JqZbw 戟1np^bΊ N/RsxKȶZAR(8&%礣dKv~3;9-Wbm~}! $?0tx3Δ~Ե\ƪt5Г0fvKH&^uOR.D0)Zm(Ͳb3v{(ұ f>wR;5G ~}I\5N_ 6㝛6xb+H"NO`t~"Oo*_dnaGhY79{SZH05g̅yW<I7;IwC/`mvFޠBEohge񊁾I0|_~eZƢe渭z {"Y߽y Ԍ{M!&C7Q!AjwQ}{Y9$؛oH[/L*co]*xA >1ߎ{vuR p:iZ5lCB4;PCrm4 Ecok:cXK{n0@1I퐈Qx4i7/9?ɎF2>1b)aɱB݁ЌXq"ٹ|t"NX<èXfD4!9jCoGVv6]oqC4sKEl>I(P,[e$ h'^-g(4JsA.Χf2$8FӪ`W)%:;o4S<[\|kXz=^#(00,V{.EeĢkl Ќqq&:ZI ݛeTK Du( t` @#Ͷv^)7>81]ˣN;5k@jH+Lc`"yUEo7) a /K2 '93^s}Ι&Ss+ 8آAv|*]+J l2R$R/đlŔ[ i#6៘՗B]][F遆An< TQy9z$.4'!omXMSo CMyC*p43ty D-IUyoXo(BKKGd#Nyy HK" Ɖ2lSE k 0۾JE84 ᵥ Ll߽`5+!466}fKwC_U 4/sw߹5Փᅳ4XxJF㖱 *$-ڣCT{B5&&3G *wOޥaRgZW muT\3ӆra0V);=嬪 1wIO Q97M."B> engh;ջ W-JVy싼DN1$թ83:>#`C^=I^?jm*oA} &:?򬼕Rx pVr/ Q%,΅G3Ocsnpb3@cW_T'_SE6d拧Ѽujط'%uFߣn̨BnҴ֓ E?$dD7JNSrg=NpӲ6N{%>AVL^!xi3-&Xmnr~/i8^$ ޓDslӛ$ŞWPjeSu3!¼ ߄eJb5V j3AAۜ+IT ~=64GoKNk.312-M@Eo&&< M-|j .͓mhkc f \S6%?\*k)Bŧ!pɬ|gKœɰ\W6.#vWm]"f9oɒM_\JLdUMP@wQf> SNr==lU*!^SYF/}RxdԥBrgnCȺҡWr(['{y JOJ G{L߃bz)МkE[Qi3᠋uqgLǘsۥü~XCrs%ކp|tpu-UTS F ) "؞c>0!.0D5׹cƺům%mˢݲ"sʣ5;L˱(*gNK#f#>  ?#LL;ci=AW/䧸J؇yd2G2l[Z<\XBvqu> Oe/bƃQ&~&AI/%#fq "v J} dWl1?WAT)q׋"=R緶!ePz?uWjfy Q}(1GkU A^Ht5ICW~' QO caTTgOb^Dɐ=7,d؄/coƱC+c?G R;*㗂b\Jk #߇$hhoeC+,`ZhdaԔ== N_՚,ef1lE 8dWFiehx'XpݑXX3vk*F/~WZɵ).iR $Ւq%"T_,.{TȒDh Ԃ]~E~m\(ӡ%-p^< 1 %t Sz/5`wh:H^ <]:3 XšX8*k#qIQuraAGCsÛ-ܳX.9RdoNͬ%'1+inʩ4MgX7J'57է<|J9>{pƞ/57)NȁNOˁJ:#۪泩;%O 93h6֬WH\.Ug;ǧE,Qs~&r}L#H3 gΥ*̹ lu#zlr @eX?d#:#  HG#K1vf`Oi(؅%7, )I:4>XXʎO,WHo_a9[6F5֤钳0`B^Qm39emhg,n{~)c=QY:08?2F@W:V?a|(v~\ #3d- )kHқHF'N"pd+c Bz. GM$pʘaPdҰhm ᶍ'ViM|2"B?oeѐw?'0#šEF(ڙLD_)pg[2m  ̄ZRɈ/f@k\H٬ cUV)8͒QF\"fsVILCoܩgrQ(\|N6!PTa7WB=9z_Ř qRp?wD4BMk/dƥlH%Ipbm?&cS8.B#oV-nSoA)\ڵ(L(Y.+Dy1@bflqRJS=Flz(z/PijR7L?]>nl0kuwݚԻpq7NqKhdMEqfe: k< f3L|b/4q (-CNv&{>{t~.]i xm_m&QL"6/_n8YdƢ/C1ķļfv(sE_Rt\FVnr}>XtˆgS uPmߞl 62aX#F8w <Å7v!{x—5_~Fr)/BC^]R 5 %8/Bw$( c_Y+OCRuFk sxt7-5) XgnG/'(E s+ 憽֕(nY+8x_BuxjbT_̌`S X%9Y]Yhm5 w>!Kj:G\ܭ/cRO&0w&h(̴rrax(]F÷;7Vu}j6:5j RUj¸(u¨j9B>+VUl롪e5Q,YR3,4EKOqq2I siBPh7!4{! R*{bԷnl v/asl 7퍵%?^9m[tHB`ٯ16aE^л+mC~KȄ0 m^{U旬8]':nf? Q~ܴb`^$಻lf&$ "=%$FD0'z7o×iMf"!n\9̌󘧫'ؔ/|*Bl5Arg`+qh XcJH_L~^:cwX"<Yc4^3b(ʮg.߉U8$Sc{2T<>%d5yxښ'Dֱ U3\eB]b\3.eH'W8M`#`T0?б{il1Ԗ`X=&!!.s#s23F(NB(VW60(' c|ψ󼹼Ds!?4 Ԥ|u N`Ce ˵[%UyeM~ThB젖ܠ4q=ʕQnO4s WPIj e\zDm'ELP[aF$.Q~ɟKu"a,3==;KyfG1'y:Q[?|E C/]?Q'AxMi<ⴞ.R`lIqo޷O*^&5]XXdق)`;rV-CNȷul%\F s}P>Dڽz(*י0Xi޾G}I%{xb-dTT_' n#u‚Áݿ[XUgMySs>疻^4$.D},oV!{l."8pY-Ŭ 谍L!":P]JYH%N8gYWL80|h2insL?Kmr w瞽e33Ӿ.ƋeOf+e%x2;5VO lm1KnV^S0Yhes-x[# \! S ШPM=zۈP/cCX [ozbZ7*N\vSM3X QcO;Bh'YF_NEK Bwpe$Y:[ɝr"Js,kOZ$rn֨jAVpk&6+}jPxha< ?pl;?E~-^FJ"fhÃT󧉿d[JzA91HϠ+EXmCE5;Kgͯku p=KJ3-{yY>>!(/%lmy7P$ ۴HŽ6CZ-!/^fP`OR}F>^罭x??!U\=Mo!d$5T(%U-BuE08ͻ{#,8/#"+| qʺ!S P`v%8Bz]7 B7_tT xޛOZNCh6z Mdbs~Nˬ^,>kF-E(M_(q;%VFĪ=^**5^L=ʄCѦbˎ%*J]1 2#/ƆqWt)eTlRS)GT]N?M>Ķk#fS߷jN!?{8D-'ct{-JwM0j /f5ih^xVBvgz:!y_t4\ 9NcE'c̠&kƎkQ%G;DT=,<} 8,ۘvEȪ}ոLu[P)ؽ%Q^}x8F=̐3@xbsƀv(S 6ۄ 2ٔ pϘs=@HX/E\zNiB1M2q)[nxU|c -Fu7:rwd}a<ޔf,V=N2#6VG.yMs)KF@v\{bF$'#z9reED_W:ƿ'Uj|/Q(W]1nn +YE>c+zdŘLPQs,$\00SK̢_/{١0:¨ T|_oP+bwsQE0?h1 KLIb[L2NnRZ>AjÉ(o~4'蹇=ޟ/c7 =Wa9a*aClA)M(KB?Eo G[]TJҤ ` 7z6Z ^^bsFn¼˂2 7Rƕ̙-o%[ca񔪌 Q9>p͕4%;+pdBuhf ,hVdX2l-˥C+! u1jgMZ9-R"⩺&enL3? SWRNa9iUT;D0!Ξ3I],?6CᇊVeb-;jG<W5\DnSF@F VdMzB*kI-4 ^=Xզ=[vBUf6?ڳW6[ <>NKOkא397w8Edc"CQ =f?$O T"@^.\Q!8:w沢b~&{qk`ZAXASTgq\~M[y+˞X("^*Ru}? F.b<8 b[.ApsE.6ޡyR>&u(ŴJai=l-T:AU)|zwBB7'YI@m\wEhKhźi$:cmګۈ㽐 I/dW铫n0ٺM4E˼eLנ00u2_) &{\*Ȏ|]ʔPHJ@7n7oVYiKI%w2a)S`D*m/9BU}Հ *_+^U@:`r |mO Am_ʿBe,]bl5qQWeMT}BL/. Av`<} FY~2df^^Lrb7Fi|LCD=mV+;v#Nag3Fr U82QM55.u ynSr0D=8(^!q/Ѹt݊8ޑ\ݣ6Pq&͚\5 4ww!)w+ Z")y =]a{x.Qr5#aꕁ$yj9#9y`? S(i=B/ET]萞 H{~JO\rfP(rky3SE|#Wt=-,?JFUJbn"1ŵd)u6Ωl!nB"DX] d6ػ}Xvp\+oA:NZU>1 {zsx/,[1ʴq'24?$+ `pY~`q'p?j;5ӥ?kΝ2v ;eQ rES~%p&K@A)jMŇj9t2i wl8;#2Zo< <u+J[>amn{l\'oYwqKD䣮`EL?I3ąMXˎFČ'JɁ ; hPUA$mk$\qVw 9q}*-ZZhFoC266;TEg 4e:j$:NNϲ pw78)˯l2 )LDP~-$&%dJѳ()Pe+Vi*iDT(nHnk.ځMFTd?,NJ_ MR\Z8@Iy2#S ׇIgl9:13;n+?3%pj %tn.w0+Y3]K>l;:g7xZ$RYb lG eE[‘J\~Qcm,/L'vRM%mz0HzBBM\|P=@EƠB Ӭ ;*.{@zyy1̅{ PXqod?85V8Vs)lbbEJG$L9צ@Xܡi#&ap6ܺ) R9d[]jG"QPrD7HMRC82NԗrgXYcQF'ym}InO=O!~DSڴa EϒYPMtM/|;Uk {\M`Wut;!Ĭ3/9x.nnϑӑKeqԥ愶rH!(vd"-ݼ0f: 40 qc)Ww psXό@WoHbZԘEGG"P'#OT)Ž^SyO9pb뚄rOH|52*({-ɢ@G̔Vƈ w;LDGTkoZ&X8 $BbrdsYubewn({:G~:BgV ryX)vmqR"ͩdU<]R}*W e55n͕ӵoSK{"Æ3Ke2HAW]q0{Mׂ@?@|x .ewt,Ĝ-1"cCmJAg5Y,I37X7w_8[&}O= 1[tagsL,cnn4G?t VXkܹ6wG\X'!3Q<28syp*BSgA}%HD\m/shm;}GO&g|+y/qM;(b߿$-X?ž&;>-yqjcS KZU^_;tBޭ6SBk*O׏asvuZ i-wCj]Qg˞U5$]Jmy61}6sPAڄ+{AZx LtV#AZdcW#?_({P DGz*oE:>Ѓ&^kPu -\1:Tn'RGK;|? TkTUfbWuSN㑜+ɕ"aoq\#8\9ۛ7>kTT}C2p_wE-90`'Ӓ>Rɯ.vY9P* ,R~Z-V,k.w,e0( d=,\$ꂜJBUu~ԫtuG39bN w$_>蠈yDډg8=yͦ7j'n~&P@!5}YEJk0 @Mޯ`{aBWw -7Ԩ F 'Ivp*0m`~ݍl)ywdjuȝpl|vg*WIq[Ytc z[=V2&46Vv7цJ ֑2MDo.m3f-`eU(ŧMN1zB(!Fl, S|f*@h*&ܳT?{g^l'kw2$pq⇫A6vaCtVr Uq§\r@T+~/)Rin[^›($$, [f#:9 Yp ڌtX=(Ms5fWQPvWʷ+-ڥrmz__'M)`mtZgv(Zpx9 ~6ձz}a= ,OΏo3KP:X'B㏌l<'G8F]ӃtrbkARL`D7Hѽ!uZfwkv*XW{8殜!uC =Nf&Bf1TF4-5.!'C.Q!%4tPlRc5y ؚR!vůo{*btMcQv\- (k=T.W)`u7mF"b!3L򾶆+޺#(JKiǕ$5M8,'`7lNпϮ ad+pmkG# ==To~\f"WJq(!#ʘM̧~Ƒ5-ģϒbLacg1084_Xt:mdtK^ &`CEJŖkU$ȶ 6QPUOU>)/2=!^BĖ mX~w{z]}(.8ڎ t쇝[y +l9֒#[&!_t DpA><n5P+OI9{]iU*2i3}Q!C`%٨dFAkW$->T'%fb*(;A78٘(~jC@e* } ^$RǤ:buH3THkb7[x,"̠tMO8( >xpTC#W,6W?*wZLKG BQr^j|G2] 43cݽO*bYAI 6q=_nXص\"a ,uc2yuR, GmO}^Wh騅 )fAصb;Vm?ح^+n[ ! Dm!O^c4W{Kl~5i s0^ 7=m@`% L{oNu Ds_Wdz4Ya!ǚɷ?'60E i>,Kqަ@!s"&%nU!:MI%+)"cg6!)8YoYY:+GxU3᧨wQˁInt_8p+qs"F\k=1mfŶ-cbn"%ō)N #8oSgA>t;~VC0/H׶م?xrLurw_yy0 ϗ>VE@U:wGt o-kJi1!@b}f\܎*'2<{}e4BxLUJk{c/ z촷`CWOep(7'='z*YQ& [DEs |nN{p|dru9h~!!OȦg04e!\j@ &L(šAU6iy%)oځNq[]0;H=Y'r ;u-ee ʹNfqpHw{_]/*S}/Uc V` 'da%Է߃+Ur/@e9=FO 1WRp`}:c؂+*l;ņ>.8'HN܈Y -nu^im $&evPYݫ䥭?p9Hv#jz]4|Z.+d#L:y S:i7fihK!JӷPѭT{uEtsAfG}jd4YoyJGSנĒIo}5,{j 9\ Ip% oT>0k,áP۞C:aOjț_{ ؕߙҕ #͜"(@ m4UP&|y8pCFOf"yq]x6!JTJz|4_~KJXfB 7fzlj_W EQb~=ٻt<ـ)0lV@P.i(ؙ^6҇8>*tAכ6Jȍaސ˯cOppacft+B% }AW^WWđ4kE]+?34ncf Ï!O.{m!]cP S؏៵ɯf1y53W o1tx{xwr0uӰϱ0,IΝPEEneU&}5nY;V7Ո7ݴЯ? ~4 RLO | &"زwÂ{1Ӄ k\ЉǭSqOja ?&r--Ra ژ=bO. W H~Kc Ax FA:[|'xJ6i0V\5lJZ/ ^?t$lh2Li'ue\aɫ4>RPP,]O6u0.Jw4&_R2Z:r u(vMlKI|5M:'Y.򌑇:cgX$Vc!ۉ$S5qlQ^W_f5arՑQOy٥9jE˺n<ËY[lQCYaN n*f`q牤%IeS~S7zUAD8)!:ᓔKC:b_&C/R"tB+ςEyЌ6c] #y"?VXeúf"3-I'h#jvR]NQ.VǨ㕙ÆM)׸l_6Ҧ?jfm&ʎ  - u>)Pb[:ޠ_^kw%UI{j3\ʝޠKQmcq g|0PlIi)<Zl%$0ܑެ{J)Cʍ~0;4;e;mkew>yro+BJ'rGcS3fO~2a6;V Xu,{$ӐE n)sN. PsZxy^TA#`Wr9@rd^rb.{G&9s죚&6vRi< 2_C6 >%[4]rpcF,E.8s! UYHpnC1c7rhsR0[M)HH1c5P[&\)S2s8"Lze@Df΀癋/A9HVX"RHS>Mr@uBt[86_\KPoǽOkK[4X:v1#7q0UfnWF%h%?۹A۞6jzD/YfaN@Б~V'q -0*^`ZEM솓Oе>g6]݋oHJABmɛ 'p༤6 p3 X`8v"/>63Cy/-Ij 1 PSx2-v<|oDA-8͒b, !~뇪 F/by#=$`ym6RlЃѣsڮ^b\SLqJ# P:nC,a.oIњ @¿nH&`!'pEJ󍘘Nx9w U1zى!CҘ A1Y=܎߀CT3TFM#x$J^'@"k|eɝ- tltcʋEr2PTAZIy4IGa|"!#UMhCj%F<#=C ZEbv`^6ffvYip ߵˍ; 5=&E Is,nƖ=0S XkFXR[>h~Vx+*7̴何5Nsl$)+Ou'Pv~ eo>[QaӢhRH^ ?>mD{^Z} KMB$v Cu*-e>,IiU}o[Ň^KO nUC. @⸛'<-DT$+3oO7n{Wf%SdB0ןBO^J[r7nIeRՄj>6㈹$/reos0 p jPӳTՕ0 qd>FSb!ZO5284T8a`dGRD#=,b3&/UC~&ka6GTcVlVDq PPVaoIR&I: P(,*qDv)urW(k2f*]/Kz!€ebjCLc4O-UYmԡ, Dx^#g@0pT,wcgz.ƥSn(&9pFOXYghv|DlĞai#-.8KrdZG39+B]A䃢(TU %h Y<fmO;T[=s*qMy6͈aQ,L/B*0U1qا[p(tj?M'r]piȂs"W1<+̖>q hB̪`hI 斉uUt1e-ekӳ& d5HPpM WXJXCb-4CE(P ks⽦ iutu2!{X._2I@K<ߤWCE}bp9B44ͫ"˽zÖI T[(1=$-18dWuN8!&Z$.Vڑ!'ߙ k,(z w $C/W8)mu)6(nOrI51hYSsrA=uf|_{C (1 w%tw$Flo>pz w%jS4jxuoJyU}BbLl60-ܚk=0TTj 0-Ul6Eu*r&_Us%W[3+k=ЎR(\P(?yӪ8S֐;,j[ؓ(z