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  & &29~l<\ ] HOL-Datatype_Benchmark:threads=6elapsed=507.027cpu=1910.628gc=675.3407zXZִF! 4n]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;|a]~Gg?/;y]/czv_VnAn7$edml]y=JfFڙ6nvPu@$Gjn.\?,:&*7pcr ro kiۜQ96v;cJW#b {K+ׂpk\\즞Zv۽*`"b>\pqO {5#RǭqcQqsk) '~RHR}sV'7~> |Joha~85 #.Cլ'Hfvs'dQ,4S/AwW_6 nz⨝nO>w[ L5zEy g#256rU$y=u_leD^taPshyՔW*E/\叮@&c]-DUNrʓ6SǶ/ksc(B!N#YdCUq"M {OJRRm(=ŗL4BnQii@|娔kn1 y3}S6R9!S?>cVVhy_b"0Vw`8)낳v$h i 9gYZ7zXZִF!  ]ŗXiɟ1)*u%9JN63}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;~8 ]zP -ͯ>6ljdZi3h6%}g#36,({J;IoeTu9Y>:ܻsc-T_q;d'ls7'/ǐ^9Wk{BsIC yR/ z?-i%zs}j )2ǻTjeXLWa=f(DYT0Ti9Y)H*'HnULo),QW h6J}ļ; dp T] f\E\TLmaB^LrN# %fw>یӅDۡҾ~6 " I9ZTL"R|Xy 19N:'_`^TRBV05" 跊fgL KEDA+ΧSa/Kvؔ;,|2Sj [貀Q*' |z|v(nBk#ψx4&C਷/ M #zLNn8t т *f}$z:|H8Ȓ"H.Ȋ=\ciݸѰ32b|MOJRtJ(߫--/TxkF̍Y4eRL& gT)g?*"KDO-F}$yʊe쑀;g$+ G!Ml?.z eL” ~HNSU;92LU@dg>F6Gb'z'SpضUseE$<㚱I_-ag*tZ ohMh]?X"7M(дc3iCNGHK At6ۢD<:$=!J lRo#E+I0`MGdT[_2rfݣh07?Q~Q^%ƵTL(XI̺vbmS-eW@+{&]eH5D!^-TbI>ўĺ`y 8 AY% ٲooJI&}E:'_UlkΥ@bSg=mIJ{{J(jbF#JdF7@@ˑ Lȣxz-AgtN=k\9qMRWԆ!tk2vs7Qg -Kk5}'I(Y!ƝyM#W @ EIΩD l.;pSyW" rG@.X68?ǫ)R"xDhڔ<9UЗT9XY;%PTqKp;PzWӽ¸jm@[)E2%sogbw>R+[nng)IP-‡Uh3B g p@{ f\~wssEoJO{īRWu/N/&FG0 nXg&}XYgr +v-d?$_rȽv\wG'"]HX-k:&gYZ a^J)P^ʴnCij/@O:|&xR"~V+8CƂ6!nܜ;nUΟi6$u.V#XcR$N⋂?UI}yM4`X=m}5Xw2cIQ> >+[B?fT&Y'/);x3?uVqL`\\jv`z oLB\@Ac2iL։@l t={?XoA QFJ/~O-lu~hGq*"h%JI9flZ e& YmM,6A _Ѿ&/t~]|Ʉ0nN }Y8IWk*ZͬC=bHC{(cxR¡cշVg|$~g$6I,*k:zx&j)'%VB~Tauk0كɲ@TʡqfT^Ϲ_*Its% EBcԹGJ Ў Un;7j-&1]{O\nu&^c_Ґ Ap;$$DS?Lp$vYc-zO~ww4ʈ p_Na{ HuyEOM˫-YrJ[I ֊d9YٳּYa Cl d2~-Ɣ9HoBr2.?3 /P<+N9 !)JgкFg4Wp`ڳt9qN7PRxu;Φ%T.Ws^P`&X[3L+&U$iϙ3_ߕ鹜:FwQ, AGΦ9^j|]N]-NW-s};₫Yr. H@H0:l5,#c@h->^41mw8& (X:x^КvO\Kjs1QZk2-J6HNz~S(RK֡uE2 ~! M٤1'-T}=cIa@F O;j`T%GʁruJNXsuer3};.h]|i" |mrϧL>dRfF2kf=KKzR0Da?S"pi"Fѡ3YGQBA=,Ml<l/eU*K#dy6cЧ s^ 6V0``?xr& U `z)i|TrkjW?sY?a"$001CV[gx)ͫXC'=⑙2x`&YCB몮X`ŰmhޱgN(TkhDX-^Mq1& g&y"{j8Jpý2N@@[Cv7UZz<< >#[ /ÇB,]uTQH)R0à'Jz^rQ5Q#YsjEeu፨ά&g_xcolĮ8Ymc 䀵m|Ԩp_}m35&Aslh#pi$P*8/S^Eb"D @?3:Hw4)&M ٺx5l ~J kG*hk[tn zUEL3cz^6lƽc&Ri\>9lߗ%\vyժ.ӏE:=[3DQPK}~zt/6{nqeD{j-du_" ޼fAOe x7hFgsiÿBAYmHy!,Ne85܇Ƅ5ί$*x镱_߫:?Mbam!ղݛm04٠m"\ kH"d(<@cIڸK-i4$7/EJǨÐMIG'.5xEckI*8Mb6?]o.DjF /fDO^OQ^p㊠9nIOO$7]8K x2RFI+z( b8ĩ2ZR"vxg4)Tb\!^9|-2Q:uP*2O< Y3&}c6-"01@nC.ɟْXSGtG'!ߧ.,|A6^NꕄC!]dl9yHEͻOKSC={j5sR; ')9fRd$A$ށq#?XɶU@mzYnƒ]wXl,ʎC^yb1P$37|;KPɓH9Zhwi6Z ժՁ܁^NjwG\FLv|(\>EE'/w%)6QjahDõm8Ao%G+ @x'n& mlV3!4mW2V !mg{*@ӃtGٲP >38|>+H`*8]] ?e!c]lFaUΣuwO'g0K=n$x@mi9mS|(ц ^<1YT*$YKl6)J/+]1 ޒm 's )Y~b`ƅ!9[Pm #D&(>^Z Wx}a((LͩgkƶjBRS f5'ߍDbg ]OIQMPolGfVPW_th,H:>V!*{?tNዄ|:5|[a uSɡ;e\iFڪgㇾhZU**\ oĴԗ0#}!IUL4:Ŭ-l 7t)`}Vh[JvzG<5$-+n^QR#OTV%9[:R_YM-sD(qq-mL/76Es0n\V8 ۚ)"('r~32Njyw ዙjƿ@{5|Rt5f@q kbAK¥EE/P}?uBԓ:$YTDW OIRff;ym݄Կ\zª3wkfaי\b6sD>If/5|q(Ԃ Nehr tmM4ED4IVз'%;TN\.fZ+H _F f@mB5zܵ]>PP -MbWLvC%T<5&ScL QQ.t#8QZT@ b5WtҎ~YL* } my/#D:&٤Λ-'+; ܯ~U P# ;OH[H-Ɔml{0:d2xC6CKAPt祼Vwdyy"X -|' fY֙g4 b6>/CЛgxq5 Q߼s\11c |p's&Y obN+?~y]_ 4ck Mgde[&J/unP7k%\lj.+P&AjJL9KnH7ܯ0%}^1l,5<ೃu0P. 3cGqx&gkB3ȕeyZzV5hoA% A}1Iyۥ'ڢ/816aXcIJ'\N$JX9=in]+&J~kīgqqx*!̪ryu79Jm5{4 L Bq ƞ~ c2L\Szj7TމƶvӥjjzN'}VaU{hNÕo,cBa𲔠)&Ak80º`==[9Z(xYiӻatDD`8?K'GSe(\N1G`y15` $]\/U}X6ELdIX;~+eh8n,em 1kkU96 }oj-?Ɔu"GysK"usw留 jIR,4"ti  !Ƨ; u @N$:Qm⎤R[}R%e|NUB Oeu2NJ2 eegSϧc1^gLz WDY1`|5etCܴ[gnE }wP, SÛڦ I@n 0%gUj7*Dg_o;e?a *%CUCX ^ʔI??I`@xoq{"Z6D@kX-'gcc *wY&!MlO"8w M) / yۼ+PrU CE?E>:h>klڎ&?%WO{7_X~_'2Ϊ.B"T]0,gD2Y '<~?Ҵ]5uWX0xOF[b#ʮ ̖)ʔ躐CnK-5HE!d`yΠ9<_2}Wo/f3NONaEl])nUJ+¦11S=.B~j}Zv|zm**usҎNZi͂U gS4&`ӍGt;e[<\-w*{?^zPm2/j$Y[T]^r"e~<˰U:CCUF+͒e 貶 Ԭ*yviZpXp 9g<`3FÑFY,wV;?sLfg˲?ɘ_M0iQ( 7d{ fl@$(pc@.:Mƙo;0T/wʿ줦Pͷ]t,:*GG&Oï Rw %%k3As6Xw)A">VP J\D)E"T 0 *\_f x8Ǝ<}InW9/ 3%Ub5!p@AvaExYHa=e!tT<I6jVvts$bh cd ='SGi8"H-cڿtUE5U{ː*Kh@^@[P`~mݶvz DZ{:5ϷF Q(5:kb6(ޣg7Gx\Gѻ )vᵥ' +,Mm6gYɯG9Vsh'ɊvxEibb]!wQI \ٹ+ a(Bʸ⹳a?r)FkzN*=Q$hGfnA ktŋQJ.10\*<*c0"ET>tP;[ 5 -drkބEB9t cq-EE(wFqPD\cHlu N#W[RT$bu=eN|R c-'[#gT) (f~gnss%:=QE2⪁6 =]HUh"BkFye`fhxf,.ӝL]&(GfeX/:+N WRjN•eWuG.kT036Ҭ򫫬cȯ S| 9յM@ O!G )-.{XzRv[4)6Hr[Vz3ؠ 2#cnr s&o;Z^벂B]Ǚwog=-r. (, Bh ^.j\*?/Х[Rva#U<hFǎH]Ksk/lX(c[Hʝ1mC2 }΋p/MRVlG ,_pZO]COٝ=9h)g=075ɠ\e#:z`kףDGT #0ϙGX( 2HzmoV,N!=/p 8'rafy@螱TTθR@5zt1G1d%s']* ~n4({f-i;zZB%Uj^fUGg ̈́46WRp07xVSu?J8ߦgF]"K!@nrh1bܶY'Zcq2R24rcvf_.H+ Bkal]pw գ,ys/?|ޟmH`psw S)u7=y[QX]H5329z4N[VJhS-қF?]YAJQ >pCIS|{d2ښAETx1XźmBO48=}Z.PQ| *^EM9›/.I%`wU>u%خ8s!OܨH'GKaG$wS@h Mx椝=E/+f:J; l {v)HMp~MaF2+Ƅ8NFsc.r3郀oK HhHn޺+_H|7 =1X=\FwVxB&EG'ۛ٪=UMh?y2xS8iF 3mX%P2M"Cw7[|Q˽pJMͅ,ց_>PJ2&J#%>͗8j_)-\ weƜ^$NCB5Bh0Dqt=C`AGjN%.3(Gbkh/ʡ2nf5z >4 (c_!)Kk!g?[eyw`-?c kWݶOas&HG#e{m&Q7esˍ4i;z`}}81o-`J+cH_M)v<2zMz멥"uMF(쫯$s}y_F؝?}JxIXbWK z42]dnV׷ve|޷֜ n/>ze>a0]f\P="x|DkUAM #L~+}KՊC pn(V<".B ds{ی<޾`SQ*6yȭ2FJF D*@!8/(zbՊp69Td,)EeB.;_7}<6( )~14`bF?q2`BHZ?Ӳ'2"N/x޶u"zf&$:+GJ m]PĀ ƄK^@b{10*ТVЩճ"zSjV\Z\@an 1Ztݲ#%Q} cKzp [?slkwȤnۮk#?!@2-K&CA> 7ETdtsgR&ж ,m_BLQ3 &:LR0 ۱<%DP9@[ qrC*RG}(jPXc$^+>Ӑ$0$4l󲞠s˛3d9: ]l$>HW!d|~nu N(Mp8#)ĩ5J ΥG{JY3H1P0BBqiYQ_=tܲc'5ql#GZH3V},Qvr)1쪸mj@ho[}烫F_sjP]{<S߶SLKpUO]Y=@ULD $75 8""*SXz,s)32cwaH@!هJUC*`96@"r^rr,bӣD`K2٬K&aU7 _[̷3*Xsl'WdӰ6ݯk5D(=cׯH*T#!Gk{%=qJUVp[uֲw*yjH#M7TcK&HJ%ǖ Ϙ w#Hp!2N Wc ʊ++132p|NLDT=ִ-l쐨' uՆP?n=bdZw¿!>.J1>X+[ayJ?@ꤨb$eȝn>Ɂްt в`M!2՘.[{jme5OҬ5sK~)=xˮ"jT{Sz#>9t9Y|6ܚ1 y"'Uz,* 6dnyl޺{\_ Sv/h2lXLt+-}%8h9m%{y_h Jñs"0>oD+ :yYwFczC{ k,՜cnӼKC!3y׽%vJ9C[')o=}B ".-k*cVk|*iQQXrϥYxKYKa@M5lܽs͌-zMEרKI,r(sև}/r"ɚa<-t]&˕<@E:a٤۷IǹRx|sOGs~&UnOñg;s.#W@3S8<#Y P@O~cBC~gw;*}`rdcJ)ntus"UUg~ME]M5,L?7(:q>Їu*Jx/1ގs].OwK]\n'lp=`{lg/X H%xxqGZy(XcƱYN/U aC=bzaA&Y)Y)IOS~&PQv3W_<8GwiuY #PTFL2I Y0ϑ%r#SX>489 M=7en x|vVx _\K-R(>eH/q=Do3x 5[ŌH=rLv+!w6ŇnVI*WoyXtZ~yj{g(ҒkUt[@DtE >IeGct;Xe\]y4'ţy}f/#0g/K [iT>ZV[s_(j`{|u)K 7?AzAabN2#KxV(TٜK BuĴ5HO4Dʯ1)s,Ʈ-xt>^ ;sp6կ| suQu^^;(w%Zi@jFx%:]z>JHLJKۿF:w^1}EpS]= qL&?V h ƖX`qj|˫}wEm㢡ZQjBk̟rH6WCb_Gv(% u7t?;4 d$H\47# q7h%MӶ)6O[a)Wy"a"W5>O:}ŲS/~pʅ9.D =>PSED ؊?D]R 2%u>,Ka~%O/H|d膃[ 8x5){$w(Ż&oҶ2Lulpxs3ԃb=.'ڌy[&;@FC^ >fĹjs]9K5cNO拾FHfI4Sg3:XU:R_a,lL%(btIs 5U_Wn̙_6 ( KqL utR{=b FIp)28shf ,vHg(ɶФJ\\տgi+4 M~TEVlG.%RpPW\`36ZhUy0m}o*@OVHMksF#t-N6C*b+)Yp=4NDTstl!|m~Mr&چnM=RtGAYw3p "BNgyM* ׶w6(MS%tw[3t &2痡97f;m0|>2(U X<_l7632)u"ڣ"v;ma=?Z].om%踽}Iܽ BHHe1obh;UubSުzJ_v~B#irW~3/ e=2d#3Ҍ{ir ;VqI4[hh2HpgFAr~d7&vZ2r(0t@Y* C[[ h@姱n#V &.,Vq~|nBU-vw|ћ0E5`] ̶5Ewח9>Hi9/Ќ DJi&5UQGö=v2=013A8~W"qvqcEЁJ5Oyep ?gqs}ZWZ8WV:{ݘA~(md"U89S]/}R6^逸e*MC 8aU^j!ۊjMSu/H5B"b_.Y7-rM̆qgΑHđWݔrɻSs  NBa?w0 +C$A0F!\z6iwj |ƍOTFjXl!mm=<1qL7qQpqr/!NlUhJ'WFѣ$)fVt@;+}K(kgx5%=w>ط\Cfd%(+{؋hw*-MG\o&L3|P]3ysJV^cޤ1? #D]Q-=5ː~D߻S.v>Tȇn#'!Ovb^c zߧ!>Kq78c/aoT]6˃XM<'#1kA>.OU}G(G3j̇O{ܗW FB_#`JYSmߪ5%8@ڴ?y{#:UwI S%:jU) xXyCPN/ہ!LV]Z7U ex4W?0 KlvA^Fba]m=}ǸpW۸6Ts$rSE.")0 ^Lb F?O3Q[j2jوu5)MvK6bgw\I`^9/&ǩn`#7%*D&f;_RVY&20-v谕jgԃsu,Yc3{r ,0S,?V2jɜ)sh(i1`UF]ߏvIzcrk^8tW.d^pHE~ve6 눁M~H ]Ư&e|h}3R6/y64n#U.3qΫ WUcHG4zwNhMH>lF>"yiVh!Kz 85(U؆J~m Vlr& N 7(Wis "]X땎, 7H6w]U*9ԱWͰiPu)wSQk*hhpbFza›>P]ϳ56Jqlq 5\ۄ CʆJ@)lIաuH8W}X*mkzԁyxtۢ>+K4'OPΑ[2t#^Ӧy(^9]B#զ]dFh)E_Gg6K sީ=C#Q0}2R9*M8?ē|V= MNTmj&Pd$7`B Uֳ9x_ lg`kzz ys yYVN vBo9}8B4e!Ҟ@Ѫ*g1ςpѢ^@\̞#,D s[]3,L=0?\*3w2M<^w i3¹hgy 'BM5+ZÝXh  ;ﻅyEu|MU&?/ggpOm$&QfQ{:A_隞Ehoq/>kzdRrG*҅i! *EIPef݉kI\o3H=Z^b cj6H*XgdYKYY{b 5S=a'LT)= %TDg}ĸQrar7g#Rx.y yA78'{Yei$5ϜjqF yF+-u>ptnQ8{%BPt^T)u$Cf==\jc]8gyCn%)ADH触MJ񒖊@BCL쏵EYrAZ7ٮ-&M6p|ScϽ:_M?B/T:n=O-UQK5'ɊLtoCVi ~8x]Z:N-$HW5Ina#vmŧMq31pwKzWKy!Nrw"MxAGW_lBEN F"(%;6K$AB\FO_*H(zU% eëPaޚmͅMKjUa`֋{u?3nXL,7a O"7-`bVCF)^xէ.TBpPWO#&[!/ ӕd{ȦYO חkuz\*2ȉuءvݽL_50I 9OֱOv ЍysO曦(Gy0~70*,g}!)j|rΞjw<;dg+CEJbX4z@z yq]P_(q%Bm]^\}O?YAYR@FYDҁæV~ܭpg1 v១낵`Eغ#ܛ wcB/r#Ny;djMYЫ Yr^I?csUIHS=7DB$KbP~6vk[~|HO L(CL@Y{b;(Fxщ(^,=aBS?ސE^1u btK_}bS9LV =#M+*0) lCޅ:vU$̪|Uiɝۊ<\z$vOX&4|g^cE$l?EbBd c BcR٦8=,-`uDCkdp`YttXwtatOV_&T*}xKpǸMPRW7kKI@TENYy.bqa;Y6ֱҟ2_yv93 Q'V}H9|,R]oRt^&{S9J:&}Nm. *,y8G!"+}$Fm"| SQv͒>0,.wp89Φn'M7x ?qÏcKtÝ3LQtro-bARTsCn]9/ ;Ha++ȳL7ZP{utn‚hDN aaT4[,b-V4fѧwdKO 8ldPlҖ{8IqrZ:~3::"$eX,*1WY0|xf;dSA>SS7U:T,TIor.ZC+F V)*1JVT1P I*gYZ N N2 9K' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚&]D?7 {?:fH\wlK0o(gt3B|  Ț!"hd ]|:sGs^3lEV~<^cIPMnەܔ`b7CpoVvSqh[IWP o@&ť7jɂϹNʶ4߃[+gDc0([E`u+\Aߍ+vg f,<ΟGD9JX@.G_P:xg:Ҷ?e<$4 $Iti7aڤ/bI],Cvje7d-}Bvbs, yc{J{'OIpW;&в3cFkh@fꠉ#7#Aƽ#UrWöޥrP𣏕iNwƁ\ K9gez rut5i"fD0C=U"ND%S>ԉW);7+Py\ sJ_xwM8YqϩC7CTlNG@z+~@Dhا)ܝ `="7}QV1U 9K# $HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! FlI] !M젗OFI"Oo5Pl:*_9(&tZR&S, QJk: 7hmv7Ub$fLR.<99_*pIɒ S6듵HtfZQfgc OϚ&kz4j~ ZǖѰz8WF` &2B(q1/=zd ,E){dœ^qel$Z*Y@OVf ?pg̜wĬ?ڠq y%va:D&g+}5eZCs |àV׉δŗG52;Ӳs*+""8RlΙ'ݎܦB*Du̡D 8ôk|PF{V#;JV_9Y^zj|C1CD%nd"CC~oo$&,`MoQ赆T>di~ֹ1}o΄@i\cF7К(FwC DI1):(u1 jkSi*L5|T68[.T\j`A^cj\:RO#]Z4h_RҪ6nM* eHmߕ |-{:X+xo I }R.p;N&7|׽ 'M`#z'm 8ծయucn)G2,|ݗ۪(X{cna%#oHSv>ZBVXY>}95GdYf@GϳI&wnΤn~_2SDu(bW(!;thh^bmtQdj~R)3ci- :pϼH77n Yd\FT Uُ Yrf/ĄpxE1ueaR]f[S td3N,")dؾTSIRn4K~|Q A* ®8+i˭ 8D2fNo#Pړxk5dNmJZqX<@d,Q)?ִD :7 < qA½~zcM58kI3pNﺣB])L1%Ч#4k;4 +xGcNQ&LK-eWdlX-ID`꿦XoWVWe3/F[PŸψ!fS݈CeR0L'L`r 7}7^N+< {aL 2#)9c#m[?O&mc0#/ڀ j(;ľV;5}G}CJR0"$/G]y K\:M4n\ꝯʫxԜ7D2$XosO_:ϥk"iFXF:UW8捨dͪQjȵIKGpC SLJdiekid(:%W ֏Qm)G| ݖ-:(Jig訋xf\gd=QOy#:SCGKIyjT[Kf>7BiSO"y_&4Ara! 1tr'{E7N7,褓%/ 'j]_`!\~D? (Gh]0͈O;?lw"ry{!L/ %G-lZm"~$-΂UTkB|F[.,J+Bm4X,5r>>Zfv;R!h,Dq鷣ͤZM  hv*M+w63Y;9E iQ%-gQL{Y ,p$k>- FD2HqsEG.X˔ZK_u Y 2m_ |+4 ޯ4sROگ 8-?PW\DpS)2L,'Fzh޴e308԰' 4NaΤ:֓~4 MM|Ňr17ܾS?L9#$Da?XZWMC8⦁uƘ(kgX<U=L,*h u-ᱍIXkqg[◓WrՊ$~ e~ nxop)f:QK{k'[D!;DIZrgP(}0xgRlE2-CgCC>k%85K#z6{ ު]/zTq.i8+2QБhG^g#Gy^UZH2EGe3G {E[L̽!@ٞ,մAM"DYa bZOkGJAx\d7]lUhff;b*f>ņ kω,7x{s-#s@|o@B\Eq_0;o,3Vi_O+7M$O *5!*]-Νbjw۳~e&kz $7zMK0{XY}^=w̚Hv=Ħue _X)NVECkDX$LqKxFZ $RCMWq% mPI'?t+MLp_Ki`EV6yɳ0즜4e>'"3p$7>> wwH"3FKӅ^eImhGU;h/<x`-1C8'0U.7H ~Ub~\3I-fvpra@(Dz{4wpdpy_XK? L8&/Ka[f3<{O y꯸}n0 18>=-arIo / +U[JOD ѯS,DE1®(Ahi;hX] E7z?c}8f<|3g R3H)ʍL6}`mVYT 5`~+2tCDGL>";Q0}/d儼@syr2ͭy{ض͂ܳxR4yOu GX&nް6:Z33&} ݮ_n Ad2.N#Uo= d 뻐7 Aw;g 8`WY2Sճ[Ōy \H!єXFuz_Xrn)ҥiZ‹MGŐ%%3|M<qb v<ġˑ'{jqa ""ݽ ӟ ]sI.${Bɦȹj&!UrƎw H)c_+J0V۽l;_@JĐ_eڴKRК8d4+d,K( S`uabnq;gNE ;>wЧr1\3|*& oKZU#eI;j`͛u'D@mdfs{ϠSu^+=_o)lqo!T3OBy#w0DX؅-t^֟Ge;I{ٞNחR2Yx*y<15@AպCpb-^dә m|٠ $*AY!!FO(Քܙr4 GDb^StJJ(m6V&Z݃\ƪ$U1yNudsG_ *p9.ed/V 9=${dBLG0#5Dck8INzV (a5vY6bqqgL@e =%Bb:tC2_:-Brûߟȸ K§͛%nZ.iڰ$LI:絭;wI( -4\M+W]e4n= V(^4zT=f+kn.# Bӆ.Pw1v"H}2v#X>u`)I^sVxmj "'3ye#?PEiPt +4\Ɓؑ`]͉x~k'@ze|& jq@baS9w#fm`VaqRA*ܪ3hZ̙Wjc &FyxVJTĴŝ _v~5 gLO JbUM@$J?hSXlM7#JEJ_KC87ՑBdD_ծFU[T/}VG>v"טmPChed]P *,G߇v02= !S;zŵnHOo {F 7bD֜P[U*1_0@㔎|@=)J o>D W1Ѓ%qLF@YIfZZḲ/1%V*/ug4&V6OߘOV$ RذgYZ >< %>d9G' DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IiZ]Άxʆ5.f-9 rq? G.f̃CtN!5۪Cl࣌!"-gP2M2R-K6몭GS3cl$R~}tLFa?|m\Q?L^ -AgtLn9h/%n<$CZԻoU_'xh'4$ H}>F6\~ֹVt&`J `zr¤*e.doC?>J<R R@Y\5.PTbnA{6:&FIFC6IGi2!MpԛT {|ηNMYKojA#HN޵PpR̝Ď &%E|$L i˧ _ z4Ihv^f^rE|jh9&+ Ѻ>5Gz= mk!d un'qs"U<]P{ FeA0Ұ/0%rsPX)kr?c|b`]EvYKZ^JRm%Fdu{0`Y րb۫ ;x -/N-5|g<@rUaf VOTJ|8y8֏h{!\:ײ& Q굓]YlݤF U|9:өfA|mSfEݵ`t}tlH6jl&K⤄۹( ZB><~^%$˼ ,R84;u~O.R^*D}gmykX3Kd<`X_;L?ef>v[>* ID{j$SMsj VܼFض93K7O2,OS $KOI^brr{P[q ,&ޫJdkc*5u7//ArOfXN 8TC^fp69cva0Aru̽^lv~ w'*##~ܔ1{*YhC|k$O_g_ŎH^P'c yz3ygxmAm=qP$=YD6-S툹DӒF/~Cf7אo߿]`a@|G4#9VTaīظFNx Y*꠰gax [? gYZ{ 9G# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! 8Ur] !M젗OFI"Oo5Pl:*7kbVq 1&?Kv2k˅D_hJ>Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([!<%Ц~\g yFܤV#E @AgUӏz̬gQbei-fÍRnL лq1|>yt"4e϶>"YCkSkܬџ#"rkY7 ?rKoYbu ؅1/)515΂eɸk_'%X1˦ar1x.JIP lMVZ` WxLptU-wM"2SOL-Fb~c `}} _ɟ4xNk  1Yen !)[FZV O|nF&˹~K< ?,%(2 naZʇdq9BFx}H7TǗ;B"VRWQ{'s:,vtFsV xiy(@D`8pkո>_a0p+H7묖X-`*@Y='v3)lܝه{;DKU3ڌWJANtJ?Q##)G&J|N~ea&O+ܧtU?zo(@#L1Лna~s];i|Q# Yv$Ո&ܓs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520~C٥8t ,= |AׂHD`8zgbk6KnX|]QbnQLr~L:ow2p2w+PcX(GjX-oT؃pl1Ա /(kw:rzxE:mU|( jA(J*xjxˏyd],?Z $w` `a%o#DuUsN>`BjT TGHs8}7#g7l[$ąh7hB2몮R|Y&ѻ lk*5^36v0#Q@FK"AlzY Kж%ŁWW"/JL?G~vcȬ2#/dC ]O@Zr{ֲ{x תpAJ{WM"h*stgz =?aJ'K؄B; e!3E`žW`|i;熻6MǤ䎘1:H.$4BRʹjy?Td&k q(#W%w0"WAF$9>/m2.8kLs[E?~n0 sPtjfeq`i]łBG(--N ikPn`ޙP$VuExjwSCeEqdq]ߗ}` OH~ѷL¬?4֦'RghNd2 Xz $5Hx iƕ_J" 5B7]eǝ>Pl Lr^ fM+`[U^MWa:VDQAoԊjӃT ɞri:#&"9.CQ1Ph b'<@>CTbOQ FW^X 8AY#ԛ,ڵbqU 2( n =*vPMP\c>qHo~~L6K,SK;YP+M^BEi@JW3XhL  rO+T MX /HRYT ˪Ԅ@gFt;b zp?&sTd^nDR]bC\#Aӹ|CftGtPsZo(BFseĕy)ŭxFc\@;/PixqyPh]oOq . T] "N4Yv0 ZoF76LFo 3- D˝)U0?tn>茁i{wx_[y+v?ʸQJX6mD!ztehu);9˶C boc@=bYH1te =3.icHu+coEu,Y&NaHgj7 1=Mj|ϩF5pZ]Z!Зk{5q, NwrfѬ1ʜt5s&621=r![V.^Kw75m9x}P+yB{֜˴Ըt R+clty]3bgaCy﬜ބ4~޺Or/̅})̐lsd:;:h8D v6r9Ӎ{@mp Me>C>Vf#7SET:W)"!T \X(FNGZɯau2 Y u}uGb"7 " K[gOAfޑ_j ,ϴqmb5sYR?K/$?r,&JE%~j cX'vUG˼^=whcŒ.(X*|n)Wݢ?T+&U~;Ղ˽BxØ6#rg/`_#'0LaWr Dm2 h^&'۬#LUpH?0ߦdTN\FvHaޏYG6#0;.֗\:@-xVⰯg c谬sw&t!kuMsGf(]R1]czFR/wsRZ|FAhȱ| pNuhB)J=bv'y^ED@%?%Ն<|*X|\]n]*ht Ki&TV>niSH}O 74Diȧ!Up~Uu9:ˊm[}s RA;$,˖g7vF7h˶H?ۺ.MrP14EC葀u~r=1 6 m>Fyt1o#%W-册C"U:'~^B/hIa5 #| /;9ILiPcDO` 5DH<^wh30GwA! \nbt!mm$ZO#\a\0T[ls3mrϞOn+!A1˜,f`r3ټZHN4|cw {oӮ7_gaK[iðt > HI2O %70Ό>d9,JM3*DiH `>tz?rj".D֨E$Wx6Ps:hs5)(8ý#eÓVeopK7SeN;P~_0Y*})G&]X=Ty@h%RH6A)d5̿[ b1 p>^j8*  619#pggJ*rKDnIqw}K VdazoABm*^hs|P׻9-Ù@"kD?Oy_,7ڔG 8kf 妺\\hR9H#23v4)A0q5__c%уb6KA =cGsrŀ-@L0Ziyq =wzcg )fuUݙ33+ľ93̆{C깂IZ3> s`BG {"B[NԵ^y%} fb+D'mNQsFM9R:mL+ V+ѧ~|DY?8vǯ Mk{4 .n{=dOڔw.l{hoQ1;1pVgƶ Ԁ}7?hQjxMaՂ<<-8gux ]N3uI`g}k1`PN(Ic~KRkl?<"ݛ\}J^"[[\jL} &\c(bxcey/y[:hyUvC|d]-脁2 ձ문/ye#_oo X'YWU5za{5 ,Pٌf ^zˊ|G`y[StZmyDS]}qPj :࣐&E֏{#/Mt<FVOՅҠv.b9o=-MaRV$0‡w/]F#72S{b)eY?h̰!>$h;ŔW ]rD&abs{&a6;p[."vtW4a+\3\W? bd$1= kFQ:3t{D'e'2 Ls~FN5v9JeVh8 1 sV {1&8ɮ`6Zw m*zƯ=$G>[8ȍSs9̉Ei$ Wzf)-">sjo(*kBJ+}÷j-,qucX$ c@ '̔<vK {)QkyF г@F%^xH+!ἅj?jJ$:#l8Czb/&7 OWWAiyZ-"svbf} R6^ 39LgH{,"B 7SV'!l9KnIZQ_W4cG/~qNj}'ǂ'tPlU l"]9IU 37JUD;EU9F!ƕf̻1vPAos)sjSNJ1'+eDߊ L8e=XQSԕ3}:C쏍~$^/JH\puf[+W4jS#$Hn6[(^ g!_8 x &w.'\3 ̸$W Th&n?F oD;e{Ҏ, }&ϯ;߱ (譗Nn.962.\z<1-]${.:xL𓅄8gw%$ndJW 7OA-ocjjUqw|0PSDo 1v4"79IlzT'3e]Ee ON txB \:yLWUd# zsh׏Jͨ33&!~D8 K#==SYL3~)7gdęqFAϴ/0ٴ/*.E& $@8 yD{PM1]FRDRSq7/>Hf^:Tҍhݫ陹mr0<j3;֪t1SJ*R6VJ.IR ]yeQLumkb]L5;{ܱ}΂ Q2$$dA#:-?NCKD$sB:0}7Mm؊/Cɩ>/aK9JRKo|\ˣ{{(+WB)oeJJ,2K]pgΒ$qJrj>2{Ej U:t2Fk'2 3rۖZ?[aѓV`D tNB1цxi._AM$;U>}!(f dռC&h>"c CA?midysіJsق[}_{HR'Dӫdr60Y"Ñ4lC#ѮD1j [[X]z#[]c{&B~ v8^Ror bJﺒXonIu\B';g-Bհ/ĺG4X̧m$@$+~I7ۼnx9ZDCbԑ{"ZW4mX9澲AJ>,1&X@YI/ Ct~އjj+bfWѩh]̹U͈+لӫRpII=٤:H<;IX9VG4,DOzbA3\#zmuor4wr@DR?P~zwju.[hܤ]%^wLv,$SE&[F*Fg!4| 1U~5v'S8.}轩HetCo >oSq!@gw/y!a_na 1 A5Jgx*C/~^_>i[<-!"TȂ5UCTLH*u1ŀmCֲzSVMqI9[oBΨYݿf_D[e jjh|ʋck"%#+RCo%q.AaS6teHӊÞ +t5AZoñI߻U#u/r炎E-N?+{@ի|m(\#|Q$PqPiN/M # VsZ1!-O\ ߏ5Ŷv]-:QM뢎#7 2Brq)E(n\%Ƨop q&ۯC 4$kBFL8O"BgDpRaCAT.ȵ*.G٭3I9{1$V3u'V]b_ 8п\w#"]KGG'O ޡ<t(): ;H暰 SEnCA̅."ke29Ő&[[d;{B6|l~.\2bFv=Ɖ&Lz@;nn M7Ռd[NyS ]L D#hIA^ 5K:|si*װ |8j( ګG#ۅΎGp&{C?_v,鵇DJ $ a/Vઝ~rNt1QV8o= цfhqX=&X+A>yyOOy#L&|ũs@UHpCY.gFf.5h$\hMxme_ܔ#k k|u:00Zu KM2AlU> AO$ AO=1fړ8*F2%'j;PuUWIwN1%4 `;6!b]ƬY[=a6!`ipr1NFa *A&r ތ.,[\)(3M&8BÃq\T⻱%ȖU CAplUN2~0L?#C6 -.Gum f,/pU#ĩSۤY;(>I|L]p#=燙[~0ׁB.F ,UdSQqCݝ{"e=?M5jd2BR;$'8!U'ClKD~S~7)sb@ >,uP@3-mV;sq7+0[_ĘT@+)5vhs~*C-GUqD*|-E%bJ3_,1_ItlX@_5 {ŭz)B7 #Bq~Gш]GqzQS8ZJ]Zi~QS^c< Ԛ4e&Ɉā)Gy:.y25a O 24szћy;HXse36UY?C`E# #;<%Du⁅JB5&XO_)w3Pt>e7gT;'o31VHi0nRzaBNaonZ.zc-A}l'(ت.zJV4Zr ~]4Cz"^R*5:lW+i`{p&){o AkŎpƲ4DsyRfމv: }$0{/g|T3'uaJU ߨd#0gggC";?l)ZF Xuf\x}}lz OȧnS +u$IK@h^/diFRߴ25]aҵxH*]0"qΦ'r#(SfTqQdb>؃gɝ BWgx /nnl G-q=Ny=/2"~ON\GZy*B*ky.5 ?VS?vL0z?ܓXqm#ZOR'o v-F f;BN\gI ,H\%AN:[Z}W e\4CtdWȳh0?pkȭ,–̀cN쌂^g?IzL G6G$7Pq8޽y{FH7=ԡНF ig˞pTF`B|HfZ$u01kFqڒxN_ Nfw+˜rLN[`A_+1 \D $ԡ̸:ئy_jLqn"b d{{BZuK̫z.at&UCͿEK`P5ϔhD.,H|{*0$݆* 7/G~[lpeRî8!4] qX`O몆o zi}]_vd^X0$ 9m{46TiXm߯5Z7X%B {QM! hK &v/d"1n AӵaC8zCz͌_Q%_RD$Z^B?PswoKscڵm'48>*yjTiFiJdjtw!~qrS9)I @p@vN32x-e6m6 GK͚LdUPV&zĬ Z1><4:?O` 7N5O}힣;M/#=Z5yS(cZr$rm59 lBl,$1+ Z3OWqzzpy ͭ۶x"1zr+ +IhY|XU][;xB7 ȆxY =%I۫ҦsP[`u˶q{> rޜEDJdP-Iuؘ>Hr53I#.\!֑ ҄ZMFW?ïhJB&U!xA6l%G'U<6O 9f'"xzRB=iX lZv-iP[\YbX.E?`V [/Cy|\ɉ. _ݦni:" s QEDst[C02,X/S׉kUBT8}ͧM#;`6G5cx}qx3ȥtRDd0f6sM'271n8/@^@L~TR^0BSj}:ja$I4'j7 _ΥlBp*1X(QPp>'jh'[4}V p<gDk8f.Rj?e,1sM僫e8rSE[ɚh*Jz1EX--۸ %ZzU} ¶< m.ZHm[Z2m[o~sTTr3;U&"@vtf=sޱd--2<&dbF{+t"C:S˔c{/fڠ`gRa{WY@ZZ8plAa$vK4QAKjf(P2 :ݾ9s磨:FnP13H MO7lP7ӤnR1l8Z*fD Px >O(I|r%A^9}%:<sݞIݠD֕TM*VQl$EX_M 4-2C"y'VT^M58-ig^˗EE/ :EW)o43l58CbQl@aad&UKRe3ze>ahE>x@rcїe- $:Wsc#,\?L/;/RCф+4xwy#KǎKgYE =~Go;ZּOFl3m?w,¦!Aݤ#ﺬi|mpz͓-˜?'V.f^Ù%F,Zo븞|*~0k-؂φ3%^!,vU/;̕-;1!pswo^jA 'dFQRʶPF!|4mI 8E&RfAA*EG}?ȝ4o9gwXw ~laD 1/&ld(]Qd?3݈ޠ7 _&F1.^?~B#D$[̶(nc;ܸ/bsŮ=]-GFRL946_I,T"zG%Am|#?cHIiP]{nYO)T|S#im)Ūs?+A}J a~B^srg~Ц jDeৼڬ64&S=&Y_N QNC܃8-x{1轡/֫s“I?!_&B#**`"f ՞jݹ@#o]i߼rȬ]нĚ=E. VnW-߲Z1(4 2 991=RTtp5H>9 rwX›S+J0US}("N< GL+"d/\p+jlhs:|,Q@jt_mِ3#KO*TȃcuŽ5QAn4ZEƲxZ$}FL~gnŌ²U sOF_o3Dvh9^gxa4~aG唝ZnjKQ &쳀vdJGKAƱ,Z|UQgĕyKLH/k g ^ʀxZ*B?9VZ#ީ؜Ex&?h<OԨ+,-IG09'ݱ3SИzpi)P;w8a 7DN"ʽ±VH#&OALc&e3C8(6ш7q6pxqb ~ Z8z XOey4V5S9G$)SЦIsiWmjMxԇ3#Ie!P{Jh:6`8X3u)q8ΛIꑗoWG>x BҴ2aao)$kP[yT=ZysyB )y ?'d= =:CZ]Yx_?olάxMJלi3W.0/Yz1ǔQ9.\ʷ+Αq;O!+PBu0G~ؙ.i^i21hWSotI_[̳,zlZ.f՝ W5|YEMt8agܠҀغ0@Ԩ 6Vde$B̓Ow"C$\U6O, ӘF_r}?kM8D7O'| `'n1;:KoeҐjYueW* ݏi 4sg8PDL,ᄧ6})-95obkYg ry)Eb{1|lDv #(=]~z%0:G.)Ďɗhg^Y1tTL*ѝǺSet@yK ,5!95UXy>[~P2'!2$=-:wa.Q5w. "h꨾Qk+~f0E?W(Uo]tflA0yJ=;ǵE'&5E bEn kW@d5Ӏ (r׎UQ8IkYGm`Eo]lF.8T²z^HؘvwvRMDI#Ek6QG,C& ,s'as )ڿ"q \lrH)xOU#gw%5hTדi/˪;e/`kLD `69fO5\`|<^|=jCJu}E~)!{X$)YcReKW9Qp^uT:mk դ6)})8s>BNptAQ,R6~#!!`&XHXgA;NBm^BH*H5h|;pM0iԎ`Vqȁ 6j]DWv 0 n*uo@[s?I3D-7|7n W0|)?n'Cs3a} WwP51&\^Tψp*RFy-iM? hp2+6P*1Eɫ|7M9?FTӾsQBuTn/A z َ\*m:R1F%*&mz9{!|ߍ9YjBѴ CVY ֜XcC TT%RJ !@NB헻;׵>|Us`nDǐ7 Ø9K_!>#`!u3U%eMYCY_V.w-|scb+رUJ`6iՆ*C터@=EvK]xLY&=&tܚ$lEYvlk’ sRoG\" 驪JY,ȼ<@0  Gmڶ3 $onšGLϟ71(nmsJTE7z>7lLI*Eaڍ0ts@霹j_iÍ'FDB5~*Oۈje M^Jci H?7qV#X ā=W^ 9Ԙ_^*v$:m$oADpj,ʮ>KɎ&+y,+e8w̨\LE8-PX*7~@+3lxS_XA`sn~Cl*U z.Z#CfG7|F0#b Ί[[}\ 9J.,syq~Q V?k{2Lh2h8;c>Zݼ?Ӓܨ)&d ?:z]V7L'bhA8m·MT5pRiy, muV5V"Džtݳj[-`͟;&$P'-,(p{ -LET驝;]vu r8VcgN[z>?}eIq]a EXUnɫ\ylk߹ԻEuX-Cb$ ATSiMf3T Z/xL${;[{;Fe)sE܍W9ń,M+cnËI].4-vړI<8♚s&DlՑApȗX l~mskAar}}ZH0LQIT"O]s =&:5GT_z6׫{{T7 e:t[zy %kRvA)aO}:W-"_F@G*_XݡIXc=PWtssMH蚋OB e?m=Uն}O_DvWE(n$)o7=׌䘀;P7MDȂ? IzR4/1ܕ'x(dthg֊53c JH|.~lzN^DK2aOv^(c0EqSs>@]01^K$u$ Za5]?)dFJ&̔*2ˊuRc[v]Z6tߐq*+tKR8:nfHƂa-*& E@4yMpݷ"IMk1.}9||դpb@[kCMF4fnf7RZ<48=sy2gYi"L&2:j9 '\q I $(گ}JmD]OG7 oPo1)'C<9T A5xtKv%G(cZ/ލ>WĔs~.¹2f ySɺC!O_ŵ*qCL3 OqO|#a$;ش%AkA-i#),Q"80lQ]qEG}1I#w+eDl-[~ [VA\*fQ{[!<b_S۫=xۨSKD݂ Rr&P%b\儜Yg)Ό_8qDk@-; D -K0vJ-})brP\TEX1ЧVRX!.hI( qj#R}[#W ʲ'B|70:ˈ'+';Yh e:CJAT7Ed{'t~1[U*4ﯮ^?$/H0RjeۀRlg7PסS+.&F=[iQ̮FXUcEWުͩk<h(ZYLɺ:;$[ {,CzqIԠ PKn K 4=zC涨%݌ kӮ! w)AdW>; `ӿ˾ q GhŴ _OO"g/_=@W_ {hh/%œMT87YܤCS4%k%C؄Fl"IӔ ЦБNv#@ND+@kB^<}`.b S aeecBؘ>fId^{(#!!f9ܵH|5 G]*@#Wˋ1A&v{ t̏@wUiV:g8ֿ)jX^h+|[ N\'Al|K'eh-JDVtn_ZB|@a$\wہI<螬 6Foc`llIy/B.(3b AhG_MܾM?:!<ý/ J+Ztjۢ*ǻ~Bu Wv- (i sr=+V[e^}zo4qSAŎE^G>Ѷ~ВQ Vu{qTWw|2 N@]"'nTo:{)#l69Yp~݇v8GI;3u4Uy'bz'-Till*M8#h[d-ir)NbI}رygM)|~${BM(e**:Hc>!Kݩ5R8n, ;L5p[b# `S1`4ѨY|_Gnop=L7=u~^v\3BٹfXc$qmY_X`IO.Lz;Ɛ/i6D"hHz;JgNMIN*Q{g2%܎\Ng:CM4!7F\:`/HŖV47/3v]tBON By C5|i=O2*uٝ5~s>4Ekklܑ5*ݼp}dJۿj B`ay33l{r@IM2A _fݼ{d hkdUX&I-c]'@)51PԠ& 7RwGk6Cl"f8 [UUeQD n>g`E?+9?y|ek"V bPhS2MVjG* ٦Jތ-.!=VŤ~J*S(ul{׷bׄVO ;7ҍ(whOEh"Pw2}tRfhJqԌh$BCv9)KUpNyMՖӠ~I[PW1^ h&@&YE[=5#um xq>lJyfc/we5uqJkoK&NpgpC`#4\ u|%i (+܇@݃s BFa$YÙ !wp'W8'9C*V2xՇLMv77=Qy»7AMmuXRctm5fVGS}6w%_ ϳQ*9 CnPq!]u'! hÁ,[) lqu0aawn3@ƥs9"=g`1֐[p c_!Yy,]n ?Q7#%!NS:ǚ/#O<-`IgiTr~'|?oL8ftA 8.?W:̫r -|*$F5|}0/~es҅nUp^b O.ϲߧkyHlM8:z^l"DV$Hik=W zz$jn :ka> ;"n=k$Ls;twnGogTjAbQ̧G`q(7MFGDwʧ0~Qc-㯵M,"*?K?O|r>1Rfi ޫdDK3Kqw2aG_ps"WT7=IfLş KAB\? T1{b2sq:3eO"WmLnDž fd/P:3)ā^ LJ[Lh=|ߎPM1=1_W@flMӄؔA¢T;p{z?Tt J (<.lژhd]t>=gOA]"G0U4/BpA7* 1ݡ5K 1jQ">'"y#7Ll~z2(ݩOfTlsPq[pH*Mna~ldf< 7jbMZBcVDz]:u(K|k,@ -E1ڤhD)AlZbpx~6>neB{No64%pǀy˯8_3,G}$qtgק(?:rp 3:Pv_@,zDܕmz !gOo 017+vtmPxT3a|cvpE2qcue6`J+ Oտ-fj[oz/UDP<´讴pkHܰlK4%v#~d_Pϲ h=`8R:r^+YES$`o\~+M9ЯrzNOpL6 1w$&æbJTO ֤1̎qU_NC,QpbIkq.vSv&o!`,={|"Ә~ u+S>h+2ūͿ Ib4Xl삋q3Ш/=C1)T+ @DJ"eƧu\7ʥn T0V^Bge2:G0DhЁpڒ 3CA3n'BXtx2mQ0A'aF \0ê, ttpm J7_0<)/s @Z 7Ql\[ 0C6l:R FCxk&TE.Ηl2v,(Fݐ tPO&9A3n+2$`v{ Ԫ>)d#-Zj[?_ HcUqfL5ηr':S QR[}~}Ľ %˲[sS"֮Wp`T1B?[YlǬ{H0 ,K%@1oPDqpMzOUbtOۧ༒"Kr׋SSɭn'D%ҥu/E5{fLM]u.͆\E4͎f|A"b&&ɟZqTQiU}8Hwq9 {]hɥa?v ~8\ |Ik`Kʹ"qJÂTKvcGh6{ꊋM`mT'>;A"Z"ey ؛e5sRS"4:?[['b~ DY_k&rČa:*,K\? ГK[քbƋ>FgT-T'vMUf52z4Z" ,k FE7T1~q\=~yV0!B*A:qKj,pQ ȃaRL^'gΞHO,ʹŧ&I'XLZIr7׋q lJu ee)-rf Pe$_q߾񂪲 Q @FT_)qŰb&T튰Q죊S1=$M/_*_O͟GkU.H1ۏMs锑rȼzTt8I|LxSJ=iXSz4[JLd7ĺNJsbt~-YO ^E p*<B cTaAaM9٫vBu5:T vmk{J#Ҩ&)D mSL~Kd"⫀@@ΏdG š5pAʙϛ`V4/lP4}9bEofǁ/{Te`# bvH"·BPWV8};kmS.4%%uquc3GaKaHIV;Һ;8\ͫg(ogWD?ZݭvGÂ`CѥaNJ<Wq̰֞2TVAjKա=fM}9߼}]FCQގ!!ŚBv^xäRANs`8bN*hO^ ݁#wpU֜*gϔหԡ@FlS5lzMCЋg6l+t'ˠn; .#w%#ݹ CZʼSWn3Ohّ:o.MQ /dCZ>\ G=\k҄+)aIƸ 5oapuP{e>B]fv:Y#Q@lQ׿]xMdQ8LwW4IQR5s"RTa{-yE7G8,=^!kyɼ3:ko0 fj+Qo,Tho2]8~.m5J4>1`n+!7\@/z]>χ0(­O! #YBYU: bXs[N(4!fy u*-)E6"QJ_&?15N%' ?M,\[=6 ^˙DRME [ِovVefSR1+]q^& W-t*z\]@q C5*b\^MO#/cdEdtK?k BE-+hn}.@%@'S6%(ܣ(K Vb̑B@ʽľdGЙafu=aGQNbȯQa\ir|;G6"ã.o$r,l'.E^>}i<9( 68D:\\Ԅ8$a(ئC蚲X.i;QFh%Pؑty- kK7(v;,Y@s|z7\eXIFH ܚ,/l fLT^ǝ~CDH޻^Z&ZSWWǰ充ޕC5diQWs1KS{';fMfNcA̩g%s|m1 fТ\bcc[O\q<: ; m׬`g]N/Z=/PaF| ۽,;1 ŏ!+umU_!Ec+t5Q[\-{O9 =2X΀Aұ~*k/lM(*׍xS#TE:隥jK/1.Wt~3hnw`LP&`䋠B\:Y.yu`Ӽ4ed$?\  DUK-gYBC" B<ԶJaVWVkjWC`#I#s&s(}@ {J?Ga٩oÂbWCƂo1^GGS[y_X = +ضjI$6Sәe}5\UZ*pd{HيXNF59quGlt Ay?³55E27lpE#-$v??!4'uzyr[,`FZF77WjH12\`Jcs{?.8 dߘG޷' -]qH)* ]Z'q_#P9̐g$=(QN[nAxPa Q$>Kc%jIaD4V7Lz42:"cwH4jʠV 4`{m_qsW]Fobh|np)DktŸrXKP!_:l\xf"='f3MJTO :Yh2Z} p,P>,2u?G&^R̴W]T.dh %ɼ_&DhQ{y JnGnǷv{*xMs .EEAOǛ[/$n^HjtD[[7r[2Gh#`z,ݩp9{ujVMZװYBC!) 8gA/h⪯sC dggA}v򩦆:f+)Ȉ!VSWJcdU[^R+a"Yq(i9If$$6m΃f5iV#>'$FFG ܙ]h|@`NvIj P z@x08" =1 ۨBfcM0+G&sPĺ zb9fj|_f6tA]w2$q]Y&%q'P W24DpTd". _yZ_ 8]7_^nKz;v]Z5=ԧȉ_JBB7o]pvi#p?Q~e[>7_S.UxB`N*jj$kJ['-4 >Sk#؛]iF`eTJ fYxmZTW]# М>RQg5ǫ_J=^l!yO:-+\Ӊ}K&z?!8A ~lY # Ǯs(#Ic-n:QքkF#3ўL\kc/0ʇI*#K]O 6ݾNΟ5]1v'x^t T> ?ee@Xnxi *=Sv*+@7KqIV`nEúkcimet^} >N"1o 4()Fd,j gphGVb$hVveAbcs `a|JU&T|?>V3g{d7bbk5KA0z/H٠#a%0 8@{f@4-':M^~>  ؖ(r\I˔ njh30E+`5 /1jJcԃի\hO@9jb|w}p)N Ã3F5]Jb뼣yRR=T4@f'\$gpLIsSjXGed} KlC%}5rqBwvWvA BkJ;;6KS:Wry/zNM-Wlɣ(==;ٝY6{  Zd@-c^3^+ |BK=LT9Rw\ }&ͷqmlv謵ȷ+*g? Ӻam&8kqkڵ<7VGg^LS}+oT~%-fpwK^9Qtoվ\}{jjvᒾ}\Ǎv./?쑭8W3zs+x2==kkC9+?,"Dv`P~hhI>2Է/6FgF @lxy[n\կ%O!8v_]ްKOd3@B9mՌ7SKg4^KTեr}Da i7:zA6hYC(!Y?7aUJ~ ^x"V!=tD_ˈ#Q̥QmO kU,c3ɻ7%lNJ 'a!t22~+6^7VǷYM}m|z/>ΒKq*éj!+饻bL;˹X:(C:K`H1U-_F6VV$e *Z!5<#fL<6C  R (սheW';B)Q_-Rz ZOhQ~h+XYY1ָFIq¨86C\&b>M ߞ*18zZm壏\U?J}Z,TvNoL?ʈ 0DY=D7\_"oZQDzG35@nKx P*sV)0O FPI\!p{ܞ OyQfɀX= \=;ov]QڳˣXݹuO@Q6aRPL`1Am\PߍFHaEjhxrq ǣkTwko82tCŖ`zkF~%>RBڂӑ) 移 <@F&"VU˷dVė|2XC(iXxnsZg,5%'\rΪ?Lg<{:fRǾS¡v$t݅Yn'=\˻X 0Y=N{gjȊ*H[<>×V s{oZGcPrY >ƓJO?N;215ȗkmܑ 7 lPSwd/|4Oh\5En|OFo[[$Wt م,DeoBv[: 'iYI*?Sy9S N\~bXC>]y@O}lAU[qkt4}{i9#A2 !ӉaL6}q&i@qyGa <}+I٬|a =I/O[e]-K 9 [#gS!WJO KuHen'j)>hzM3?x/N4\J3`}[nx%lh"7F3^>gYȼX+=-9'c16&-ne&|"@6t%PEUM63@FB(5ThqS<^4EޠV)Y,lLAB;;W޸%l fHb^1 09 ͣ1"t31 cɑGmrꪫf-5v'Q0zn}1@ 2ك;e'4i[vj`zEmhŲ8uPeva9ʅcw&ф{[@֎Fj m5nZ}uaP0G'M T,;rf⽼PDz >A(F/tb$  xwN##&m vPϖ8nr=-uR[֪!|'/=u z3vO&PYS# T~lTXl1q ~de_xu@u-0B4ߘN}ZY plVxh'jGCJqepgէvX[ʏA\ھ A}ݭ_eU^rκuAҝP.jHZ ?.v ɱlAL0xD[Vb%,L ALf́wS{kwd 2֋FaJ)bڛ}|^zu408x?~DL*3'TjxW1Apjl59ixۮToXrТ89u[Hi`)Mi eQ]oP<7U8%TL:tP'. GRL"w|pnNlwD:Pfw~IHKX)mBIpCVlI!cH*k}2򎍘4H0AOۘah$t<+lq0mhbkOfO)D"#|/{"#=F[CMm`OzHV{/4 )10x^KTeԍ9_ " %ХA^yb _ ݦ2F&Ac6 )e}Φq8F ͞IKʑo9m2:1zaf?<ْE<]bkhkMOr+q_YO }?Cu OxZIr>}6amR GwRy!DqF :l5>HqCZy$KeػB Hӏ4qZ*1+dY/t̠jRIĽpy<<-%'h#UJ/_w|()ٍ1I/_t-EvEĄctJu5v8Y}G-RwC`_$R%7؊P(aX;qdE}cO࿟tZi ԧݷ Xg A`ԣzC;d:-?:@VB.G2GmyJIVEdvx^We,^L۰FieU ;}#v"iBI&iΊK+ -B/yRv<ܟj BL;xi2) d# G%Mu40TM//= G|sZ]Ƽ8̮S365=:U37MZ_zH|2StJV"-q{Yi(:W}1r^ޠvЃd]g5mMK1 hU, RZ-LxY53Y8>I(Ks檨){3{^HdWo-x^ț;t/L2\g~965(~`<4Vwh}|H?Z +2 5E(jZTwVVv Y}PͲ͚JbX&y5PT~:kx(>0 $Bb{^84oɵT-HkEXH&Ret^"ml:P XX5<=&r$3N ộ:2J.A3tHҦ+ǯ0R]޺w`җ1)ՂiI,:PjG/ZZX(@BtܗHWl#O?@~]tHXa *ƅ B8ϖ-NB 8ԝfh!t9B5V7.s:.i5)@WnY/zFFboq2 c3ؽ܈b 9䟵/Q')ɏs R\ZzC]6@v*P@AmHtL^bǬ{)6 PtJk@r lY`? R)NCM=MxֽN֕ЮXgG@sA'U|VԹNEh|9Y imVן P2+N{EA(v^㩨j&YeB"c 5b)g-:lJq&kyO{9'ߧDH-xkvGSލŚ <9IIHatK&~/ E] Lw%3^"&zq| N mDD_H?eNss[S]E'[sHiċzͫ=ǃ;R)|]^nGC(׎q桼5Gfw`[!8LXq{4/A2ԓ7^.KOJd`М]{Snb4]qf INRׯe<>xFSO1 %fV)Xq%`Aw9ZKii܊KWL,$t]<^ɘ#nUz; |Z!@#"h%eϭKqWآ9SΪb̫.2d$jWۀ4;uA4gFҭ!1waf66.bRQ ’/NX{ C_y_`j+!\STӴsF:xOM #9 :cfgNnRb7+iŠeg7@9&ڸ?I֝Vo å#l7gbQ9EeYmP'GU Nna߷8;;*$}S*0LxXVR;1Q=^Ԕ( zz Q\N>)ӃyEeMU׹/Hy,AM"Rf`~eNPP)ǔsJ!:Z*%CU+`zaoC7'^'ͯuVxfS ``0lgtU4uQUp`L~l`ܠ^6c #S.\ϧ@'' 섢c)isݎwnZIZ 7^sgd[{pqp!m+%XQ[N-g m(l mfb!⛼V@&S*ʧ(6v F:E,3' "7k׻Oo3xMxgBꕱr0r2ts<+6+<0אWB{!?IBkj"9IÂDi~3O c0o,q@@7ciJڻ1)fŹd x@y|Yx%>fOְ^d#8-ڰӐ]0r{BSZLr|75Бu.ou5ĵU'e>`c)b) {GJ*$ƿ5:\Gq8)Da?Ck ZFy?,s6;Fv^|*:Y;^{| S`- <ڜ_Bm_\0͓-_A<@As{7C2c"?{&i}g.Ӌ;(g?杦/`"'ԵI3Xx)>vϤْE`׀^75C{Fېg>=RʨmӱڲL`čyԱכLxD ͕?< c]VI%ip-MazLnş4pŸGɈ#i|l:&x!̥ 1,B;{ ͐`ĦEu$V;}/M|¼ShmiZ{!1Ydxмk>y+*;9ȅvX>M 8v]kٓDJQm-E-x.yU-J֚r C3ڊ?O,+Y:=21a>EK0r>JdC@OY1rYLd%,&).lj}j]l*`$P"8\K2=~ ]8֌?Gxx2d=]F 0?(Gg54M?lʆby bf;*ϏNbk~kfn %"EHhUzDy݊Y7' e5Lz!ufz, ЄHIy1ï1Nܭevob Ñ{8pna* γ|P[yaùVi J7!I/JA;L(Vo3T?>W/޻{‰3Q'?30*a2P=)`.'Zޡ ^_&ܗi5<A-15+Zivt?T"N3{C?w|k \8_{Y/(7S6Ϻ7wIEm)2n泏Ƥt5(rT 9@#Adt&lFbJ)pmRXIwnAb%kWg2~:nx^ud%lɯ㸚yoP㑜of^WQ-l%(SY"Hm NiEˮtZA.wz:2cw{~jeQPX}K"Iֹv*X)|_(ka., kږY飏]X)v'6nʹؤfѼ_~ccUVy)t YeSgb+~|t' >w7IKޏ]_$‰`B<5?A8pjI?="q{$Gy:7jRX6mwnFƃJI .X'<5DGS?Q4O?bw*d41@{J靅7lCai~&L$E%YhKꒈVGKNF|҇`f  H\Xfnx~:[m2dmB>SK*Y^si'vP LRATh·0e߬ cyH&:^eqe I`k8,v2LRF3-,kz"1RY7Dz\,V9eFܽibeE5,d|qK[Ehz43zJ(Yz=f1ؒ<(Y@O$l3Z^}&1 3~8j6VCTm mN5X}i^p!4~"AuwL9bH s*UvG@'T!f5J 'KifK!4eAKco&¾-ȚWQE{{1lxF2-U"5&B~._XLqnٮAף ($ⰹJ0>PW&})E]iwft&_Dƒ&*;.ՔЈgKl-;G7 @3H}~@#mM!mijYk/5 Z,9KD:t|4ހl/DN[L=f_]{XG*Vu+2.xPur8zF8f>Tx5ݰ([?L\ p>` oZ$a`K}7QBH>aTu9]S:Ι_8.a{(Pc,\gՏ$:x i0!7sB#eQo?YeFC`mPpT5+.YԘV>W8wBL.Ƭ/c8|:'$/ Y*'.3F"quvڔR,]䉤#|4yݬءX> wU?s7 Qi u">7$ VHѵwER1DrKO$Q SNmUҨZu1k~]gna[j , a⪒~EVfk ȴy:B[pC&_ ٗEԞi&m>L wyz #`N/`LޅƢ=o؍ f[:Elw4}YÃN[#t eJb9ƌ@7L8,jlFYyp!G>7h#|.?SnHL tLV:W@2`f>4yy]Zw=H0vDC Oͺ+λ I.z;y}]J!d+BRD֙-Z6|_vHLjޘz~2T7?%#5KCs×Rq|*2 9+rJ_bXtblG[_oKnY&5F.z nԝdk'uCX)7A) t(A vG&Z(P3աu&/k2RnҚ65#+a7@߇aԖG?IhxVVXu~{Cr/_Qv oɀJs$vbނ 95~sߩgYCR*ФN+%|׏Rtml̰&դʒ>@t2EynJ\F_gWҳ6~0\:]lŘ2e\+pare cޥM"!R=϶00'uFk7tERvLdzQ;BHE%,ɋ׷PS~c5dKa:.ZdI!^%8etЈ!rj<_ݘ.N ]85:#Ho"ɾߴg||dA-*&GF5ч|H>Oq%#-0K6pLr)L_ނaj* nvbO8@QR5c>wr!-8M{:Ii5@ߋxMƠ% `ʯztPIx[Fy2F5eSqK +O<->oK#o R:|^isڶ pZl'\5SC$%P Pa D;]c/n-sk*&na-πCQ2q9e1.0/W'a`(-^Îf1\7,SJv.a?\ ;B%7YV\ @˄.ԋAnZ4{Yj4+M5F2SD%o+#d޵~n ?AjQ\E蓥r/p5|f@35Ɲ7_BFis%:X5x2@y:ExxUZmBfl|ZQqjok-9cRxή j un=r|'Ld!(:(5 `~xr1'yF0gE #ǝ2 ]HPX-eC+rr?LyDtҬ3$]6W}!@N A᏿ꎞT|[bEҽޙ}zy] yAuO*bEnGsxX4&Ol3kt{=ӠZ` 94:_0#\}6 aj'K R$F@Q03캂7K͂mN 6vp<_OZ@HlEW͕~X6tHm3kogo9fxתSxud%^x1RPeo>Ov) cdh|ئPR52z+H#bv\5T[mVq+ rJ7P}*qA_zP+ F :TZa6=(Za;)W8H<͎эXh =My0x,mN"e0i*k Ξۭpăie #'I#^~YKK4ΐ|DV.̳\SJD]ۡ\vyJ܈,*-]9A^o7l}p $ Wsٚ=X4Z/!6j$u=Y{g\׻ԃ{Tߤ$}qxXq[~Zx t(+? !4Q-^e@BGINȇ(V_TLI5(r e1ZRizFj'\494!=$lA_>5Y_)kyc)mS^U~Jƕ t۟|<4+QCd|ţMȢcItL[uc0t3d dF5n"ڭ C"X `eq)3TYl`D `B\kG~}|{¹Llt# jP2&-zq-|޵O8aj BkSz .\B$c)GH([p0!A)o@WRy8&8:䣆 * V[>rM(ڇSo)gZ҄Ai`,Sc(}:[߼1Q9͗aSeQϳnJ9l(%ُM;aВgb^ˋLȃjpDdl5DRd-y5v9/+bq'[ȆaH KW5a*74TྱM M'O؄)W\.U|V ΐ\GN*KT;qi0wsRw;Bi3l._Fd "Pl$IKķaܻ< B絇c j&}mx wT^7sT#1 (AΦ$*,gi0*xDo)hVX/v7:@yB \`SOG5-: 9T`?WbqКC<h&Kcן!{C ˝ _8J2!Anђ=uorNw1FX;AP X/@*+wt<98ͣ5qJ)-|dh\^".g`fTmp뽤;k,cnrO6ġĹMJ 2 S 9ժ}lI }t_Fh>'N[ru Aw7`0#= 0O( OA\tP!= C0szB-cؖ4£-2砦;}b6oT%lB=`~#tP4V7i~/ B_ҧ9m˚p5YTM&׻n+tTn%Hg`'@ (ԗH@OiLڑ;6Z7)1 dhM%T4BA|-fI2 ĕF3m?ȍ?2Z}13sIA H;DXJK-3`i҉9Ce\VƷ"cp3en4&흩/Pp.z#,$eEKAw۶=XZi],,!ăH|.e7M{r#(X/ߍ$h¶jX$qvZ~Oџ~. aFlS$ed,GQ]O ?1ތ9̺ٙFƃPc|Ǒ'N:I) i*6Ď@ ;mrsyJCqlr 0!(}M'1Z3 '3@ rcB-Ծ kA[MLNLF~3M8^L!wX}JUv0ؘ1=n匎#}W>6QM$q 'aJ@ɨݾzb5cC2ALݵ̞2"BVI,~C.}v~tǰcd } 8܎IssŅ|t5~r!LpY"|{ *Rp׹c .$ݟxq'INY# آtomdBO@· /缎&tz3 ? $T08C [e0OA%VHP R #Ege~?N Vx QPh\@5wҠN nN XVW[MI ƶԒW26fd 9rRWJR'eM~8J'/R i>,5Qo`1 t h|IEABeN_X['KR7'ۺYm#,U3vb];Tr¥n|K!f7 hŵѼ!v%"df3qhEa)ɕ9Yk4s$Y;Fı2=Cn,Tcg9Jn)MA`8b*AE˝/8NOTds͢-6Its%ȊUYa3uI1~i2D]Z\b* =䞋eTQ2J U\( p*HOA9s""L:iR mCtLHt6FZIe_;?v,䘌{j"KRH`xg o$3Wf`˫k~?pV9ֶ.U⦸)`5Z2s5d!3ˑUh%;WgQ{W _(mp`(ssѼ@GaS.9F`V GD޾U[\ =tfY[,ݴi 쌲tK8]-G˫hQT]%nإ>s[Y_eeNt@MuAk4Fa[JAkLY7X%n>OBD (4Ӎ&cxy> wΕO3³䋣FuQ 7(1URJ]W֋`OW+&$7N6%˴!RU}TR4cJh ]UzLx9sӋҌo]~nF썖 DL` b v.w Yc(u?n}USw 'c8?p)am$$dUsir xGgR땸bg˄ec|Cs҇l<ګtJ_u;4cü:%kpk,cZlUI"Y1"Z\έ`fȠڍm5#O V) tuaIɴO(9yZ{mB;ݫba!uxHϷý˵b+Y./V{xkt ^`$n/qHCE>LPt'| U<׾56M]Uk(A[#=:IRkj^mr-k1Wrٍ NsئC;c_&xnIB>hz?\pPұ.C?%,4 9&d@B+Wm83Ե%-f_W B-M7h-of\"uBaQyNT` ަho++w/cp-M,|x@#½2a4'r[5tR932Dj 3G (Il;oϧ嚬c1Fw/:7Z0n;֊R~ؼLjW5e`:~Lۻ^݀].?Rd_g(YX}; d\>J}ls zqSd V|%C>˟`ݎ\w9vS\ a9n"0U`} MVhS ;eAklć_ ]gMI`V؛332㓪>E2!ͽh^[MTw# lP Q-JPCJ![ShX42 XomDΊ~O<>M߂t6c՞Hc.2%j@.6.sX>%Ŝ 0 㠬O