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  R9~S JH@Js-j3> 2CvSZ};_hѴf jN@9G7kJ]Qj@K/ywuNB力EZ&E`eB#L|@ 6&O`~}[޲+`n|%,b3?ˬIXQ8@5eSΦ(Td@f{pfԷCɳ|IMoL|S'f6}B4@A=G(' ]9='5BxEy|/nIP[=(* x+"T(7A<aQ]"#$agHƐ=59E.ǾLܽ);ak|oD'ǫ`1`Sq}8+\aDp9cf2޽͸qm<`]e9fSQ.Gr2/Т Anv*m^2Q܎د5;mp5OG^H62;<DA6GƽT:m8D'bynMՔch,a,tj|WXحP 8ʽ]pAk P-ֶke,y?ҕP\ ySj\zΛP( ʮl(}s^8pK hXlgYZ7zXZִ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_id520N9G3 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;~+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~E-mѤX{MP%_!JHdy5֎&{ c(]-YjN(L[v:tJ0ZЀ Oqs%-j7(:ZhI'MD2]ZڅP%i kWk w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id522{9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˷ƗU AݳpUNc( #Hy;ɾt%`OmK8"?9|4& ߎp:qV}ρc20l1di.GGyȦ*v`I K%{o]Y $|,$[5Qzv$+bw;n|t%E~'<`bP#=E|YMmKٶ8^569 ӷR4to:tcw8@33%7uHd| ɐK;s]+uMV!TnrN3 o}5D6dhHĄ;;p,*Sŗ'pEOG^5:yR<@(.B̕%5SJKO=N;$\5a=^^\ M;؉ȁѫg-N@ЮEY|+&zt݅pZsl"q7]J%5wD =ޞzpSQ;;^ܠu{a2J~V>JĖ!9K` 8]Z,h=VgJZr§A -?CI72[ F?Q(RJVž>K)m&9}Jp/?xv}4]%s0&LJ,.؅3"Ui|~N;))9emu<6## :f8j}cu!%"hF"Uɚ/;jpF{_jˌ9vRҚ:q8n5HUcf9CYُ?ȜM0Sc\s gղ |t"e Ӈb]+|z p!DWY][s(HՍ aqjG;QD @͸&!#vX,ZЭ-Sy rW"{z8g˅;! xVF-䈝'|t#f ]_^~Cd"1c~{G:[⣪pGUC?FL{[yй#;?Ʊg'$κ < p ]J[BܸNVnWJ-^hN}ɛBmPހ?Rqt3'u)'K{t< sig[ '}NgҼ" igi4#i.z &'ƛXQ~yJghEw,s iuz&釾ؓ@Fy(=,s3&[Js5-"R62c!a  [xgcm"o_\Fa{< =ȑJpdˍԙN2el Kw?C^M<j/9Ce797# צAgGFeoԴ1]UMƣ 5Cx]]VR<槭is*IYkh:4A5wj4JFpAd_k9>gYZ /գKabWx#&vP]N{ RK~PR'U VzO9 Tm1uoo#3ňfq 䀱{5r.g^^rWNPC~ Q aNX֘\IpF ׮24WNl/]aBgtPSP)ѓ~W/]X:^fšAyG1{?!*XMap޳%:滋f5rEt]@05qUxa+ TZ\Ηy9%>ّg4Y!2_>H6ڏouiLx0P w\3ymA[a9O(E-lOࢼhh: -I])r%}Z6{hV>}ORs^i+*9, &If a xMUӯ` g])\ݙ΂)6\7';r|[&2P#f4>v1ğj5so:6& &l RxW9F J ;YK:I5y?EJN~3ue(zYT3NAxUnxΤ{$ /OglC '**%wc=Uv5a҈ӥL5'YͿ nCzArsyˮD$AƴDxD) ^@y6mI=Ы 6$G ;.]W2,|5s+mZ}隫OΫ(Y۽ K`MV3y\04.}<1]84X/&$zn'Y ,~v>}+xgWb@L-(߷̊XX1 #*C]Uzh:PK̨Y3`"8ZCk#~1 [_ ^7gOaOjdd"TIaM Ec^"D7@gNxejm|>iuaO0J0JWיIJ_SYOG,ۈl|ĕx_"g rS(PYݘdfUO[lQ" w.Quȉw\{k,FӍұeC$"{H #:] mJ*P d4gGmyX/ Dl:vAA bmC A=&,H%.DLHΨ1$я^*]̼豢iם7+øl1awfdJ,)-t>`?ҼG/s\GsO&pN0f FB/\ɰz'T?$"{9nˏGUK @MDabkݍgYt)8>aXѮ6keyCB ;?~O6f3+_}[%#b,{pRzU7к $! 'n< 1 Fls^w|oUTS2% &4#o].:zOuƹ$nV!'hEJj E-LSdaa>s0omC9ld"sDžj [4c(K!EF!>a5pn~ $k6}Y) Ŝ_-aG8qzfIG G^v^! u:sO 'iZM8#FBg&qqׅ7rj_&k@v )IC>s 8p~-brW>~LsFx5"'u .|5J $|EL? w6K\lA5wUNNAN [YW|1 0쑱 Qo肪Oq=jOq]dMmv<̓v[¯IdX|(±~_֕ZY q[PoFwSzܑFP ?ScJA ւF` (>mp8C_px ^ k~'֓.%Ō 7{=_{ MZe;5auI;QnXN jAXA;`|n_s+#wxH#dvWmdxg2i ^S [jm[gDވɧ..pZ'] ]lu=|@BKmE ` R+ ĥcY!%|5 y]~UZNe\R] pP8;-n´V}9n>\(g%->hVM,mAi^;!ѓ$v$xR~bјr5 *~m,g ~ xa{UxX`)ߘ+~0[Qa2j6c#Ȕ"S෸aQl 43v۵ zRUð>HWO+k h-cUJP?&'_}#Y$hԊ`ͷDZzkP>yum]Zǡx@ )9 ~Zy`SOD jAK偗yx **7Y~{PCh(=mxªi!F̋J.%YB>K"S\{҆Jh>eăg48<7}/\Vwo#$& ujcIϭNdZ;4'qVb2ԍ`GjЈt`g._hVNvb>يQeV 'ŷT3q*])I;@z2E޸)pr<M{QUyw+ ;)քpm*oYlU莁?)]nYMHޞUk]ai[vVo}ֺ91sc_*1VYT_L@[FiҌMhp }kxPuխ\ .}S_vwlLumn)WE'&_  ,RG5>M1ֱù ʋve%~ujh9Nj,fܑ:!t` IY5(m戺rx;G8®HeĠZL>q>$B(vtPwa![QB$B4{yQ[LL;t}tw`U?Hp_x&Ffs6J tYEtFW{(CY+NODb۫ 5hٌ)zѨ7(mW.c?kz0c{JE]śWˌ~ܴ>p7ZyQiӜ1)PkoHm̩ds\xW{W8["=$hkpG^fiяu1 >x\' AzD yx &Eaprt4G:]u-H NߌjSe=\=%7P8ҜqĐE aڞPyŲ,`7mܤvr7Tݿ. H0&c0+P9Ϡs%}O/}Ȥ6٬k>O\JڙJO6r'_+^@3 eGG孥2,$6Fz@fT̓=X6Lpo$5 b Z-SÕ6IWO!iV%!~=:ђ_ZHJH 2dK1r-E9E(6C5vIL~}M>ܔm:lS<e|p/4{w& 8Q[Dq4aҐ1G 6,GO[~u0s;羽z ;HP;b  `!bSaulЎX،2hЅ5%(  jw UyT!PG{϶\|<fLK% #nm|C%jRqK)ڒJj 7B Jbv+P-8k^qa8DF:7E]5b#iWB8~Qk["w#۷a7ooE!Y0t<8uhgM)j2j;z1XE:DVSPm&OE 7y;OItX#DVf4(Z/d3&"x1i̜Zz 3G̏PmI_ ˶?Q#il*|?Zhca{ .LZl;!\M'N+ONFF *M7WN6QI.M+S 0ݳ}Pt*H.|rڿcEtlw_=5 xWPNEO R' K6r#"bgY 䚧)պ7}t#cG#=>K}1CE1t:}Xh.fa.?# 5}l@'rr6QHsdc!cTݞ){dAF(]N*::4JG~uhHX B1Bz~y55Trӏuv :#v':\5n.͂0ƵPهHNmM$RUE >kn)Be@/u<@b*! >eТ;JDq?D,s퀡Q[;B\/*5D,{x5k*-p*x) OQ AMSEʮބ"Fr[S.>?2F66`q8uS=@5c RD-a^9I`oiYT23`Iwp6yb-{p:-%7/fӫx;|Q#H^ѡ,qB.@T4~w PJ֒:nK7/4~;iW%bD vgN;nB /{XZFfJhBŠ|-y*#!D}t*r"خ~AB/FђPt$U{iF=ŘiE8qï})+yߧʢc+_8BNe1(Cҡm& lDyMwI)Zv>OZ>/^Kd.558Ch*h,C^ȎJ,Ckljt>O ;>JA,a=<"P9>N–3VSb c)_ǜ66уL}M\Xɢ\r;^BĢX6Úu363j?FճB{6 qґ R@ ߯:]y{p8% y2 Y⍷qVAOťY氚M-J6d7GŰgQ›L}bp 3I^I6n# c'Mɧ=!b)[,i'+RsI-X\8WFiٚx/(0Tz3KbI8ډo,~ w TsVVOJ2LY4:eu^7V,/b?q#^$f<_p}R8ʏwnD7GYH±>g($FhF6xDJ&ϐ#/t[zr #8]+|`^fTxUnxB(VrHzSOJ};&zOT`@_/srm%M:9 3zBQQT Bg n f7#/G5(\ݽb\>؈iR4]0Ԥ3 _RA簆f\YAB P&& ucEWS2S!oRu z]zPzePdq#::8iwC!?^\4q҆ś!?Pݽ p-}HQ['Xvť+5ID"<ՅE5&l$)O8pΰ SM7UͭBk,çX[W%8FM:$wۿZ EC}'FNj*8v0jH#Ёܑ"hXu1@ @հc'Bt5n/bgG} MSsc WWEP0042MM"Bkxj)Lg[ D< OH:XVT=fʓ[wf## WLQ _H[bGc۝CD8QIRFVM>#Jf/ ^-WO)+9XiNGVhǯ+<Š^4սZs n+`.I <}n$w#W{c8㡻CԔ ES>'_MI!\rs`Maftꥼu^ߒ[{eޣ!45vO0!k$P7R/;' '`3賳*Fa\aQ[lFk=Z1!ڔG)3.$4ihS +>Ö iŠ^ۨvo#~A}tkH? cm!y^F~N_ĩژ%&g(ŦHK !)>، Nhv1d^ԊORQ“89i<eN -?s` (a#<swK3ĭ{d(tV*Oyi{!>Q^F3K $udkC3[s|Ɨ {yaEL 4S]2_6p\KGP/᎕n2Ba::5<6vzkh^lKJnίʐVoa5 S, G]CWg|Uҳ/Y/7GIC_9Xױ.f(=Is$nSC\GE#UMYT^D_AS#{@9yO"ja. 9$?.4ҕ߰&8N7Kd>3wV;:=DG=&mXE/g&Β͆A%ed3dk[dJ,LWT^RjKili i=H/t]HP[`a3DϠW+RA>h/jzW5 TX=o Ʈ a^+9g2o pF0Dra^\۪5q?eibb@'Oq&LaWAQ[9TgMi>^! ^1|Ӭ>t`|ة7땏h0Jzev  ؖ!`FB ZRiXpH×Ȅ7@VAfSg~[c+#$NI)_V>uegeϻBL` ZGrE@kJ Xc1ޱ@Vάx@SnE-u8_DV?G`,r.P{%Ԩm]5iRO8!5Ʉ5HNyM'Tܱ+x1"1WsB~|_<+"S#GY S7jï9R: RxKAZAk';Fɥ3d,`QtlVJU(w"BÙ{lE_%NzH6\y!'n'r2y@ب HNB V av_ج7TzX\ yфcaF3o,yt0]yȷo?"5vΨ9J9t7jO:֪}f @sW`zͩLRrfЮ^Sw-革ז'cAJ={ss vo-;{}ڙŵ)Ti#bk0!3J2y$֞Cy۱E'/2xW\.Y ?&bGUWEYI6=oЭOuE^'D2p|ݭ 'yžܛ)4U"}Ϻ+](SFhSUV!xgH8AɕW3DEjb ׻NEʫG~M) Qq@Q`cɖCR xIFoli䤈kBDF,}_8tDa{#Eq/ ӨSZz e!T-ٽ~r3 3pJ?{ ze5?F8aj"[MЅũr;6Y@IN;Z<ě[8YQ_P$ !nգɰ?ÉqDUtr9OrKU:'5z1vJE3rL h O`.e.rعJg";{S4ZU՝²jO VɢV)1ޗ6&cH0f^ND뵓@8C`i8Ҡ?jL(p%SAm\qNonٱǰ\H~C $:< qy]wnp گ$Β3S#O 6坈cuwG**\] sC%%*;*T]qCν g#nT]EC)5]<-,MI #<-jA9wsV4 FK gy}:oV[dۿق 1/8+S}Fl3gh^i", <1'O;TKrhMw``Zy/HGnwM)#$s>{xu`u'aEx@NƠ-c$~S[Gw>RM0(2c+|eC~+u$QTC7ģ̺B(hrU;A?k˟)[dO̒QwUNu kKt#N./$3*_\R*UgSv7n̡{RFp/- bGr@. C?o8֭z.|!ÿJ/b{v}z[m\kr-cD>#pTvL=v_}FM$3:5e(O*7I[3 m"޲Lap[; 0 ntҦ(Zv![ Dl)YX pe2<%JZГXp3=Eo nÉ<`BĠ[wZN4:~j'\P@"fo_*RG7kܑ>Kؽds6$ٜH|3Q?sV[i:9( =QXt$6Aӈd/s?y4*Vn8}[G)l00ϽdW!TOs6Ox9a?K2%6B&_˽vBHm\!Aƛ٤*WRF+ˬ*K<E\*&v ؁no-31&N¶Q\4!XkF-ӎ`D h dr4qx~VSIVC"E'CQhJtHDu o#3[f>tN‰gX Ss4Zxrz yqSK't z_"N "2[h4zM9:9@!DT*\bwn:6  ؄`'?r |Pw&Qa;@ͥ'kpMNa5Kh@m&#}V@D2?g޳wGDHk+B8Od>LyN(ުۀxzT& RJ{,$I5^} kdM4$1možKv͈]6V^#R s< $(V[5LOL&67ҏgtbuF , dq {bRKaHPT$;L IճjtYdfNt?`3g % Ѓ08Px_|w`}`_"nU;,W0=8N\HԮCћ0m@rJ!G#qAb I9+Zʸ:aFEDVcW)7y ._r/οIZ gRh:[kYXMv KY`6a,,s5BOHDgct"n~={x&Z5uOvVgq\yhJ7KR if!uͲtU зS6(@%QASmӫ{XP-,~5Z4?KY˝)zŜHJbxr';7,Ń͓lش1JaPfvaڋF辘%E\Qv~wV Yk}G#C{LvR\kL*:+lJ]U&>\`C&߻Uǚ)-dJU]A_4s j+ޑCAsѰkOܧy5i`RWw !36+ُ秈^4ﵫ[.YU&c>ȻBB\ovP^3{u3S]YΚϢ|OτkQYP.|inyAE5i*M/·e,@k㨖#U 'LZp?+MȴSݝPy; (t8y7e>Tr?sR( VAIi6m}.+=ܦ$hĒXmŲ,a}->rȷ +}H"1,/n##}&5*tNƥS҇ QQwXrPg R> kBJ₫Z1VvL{%/iJȒ+{o%@ey|vٟB,; NKRbRyrV*/;Z TSx֞ylkB ާ3z(vNqHƵ~92KS 6@&+7Y1I 'RKHyamN ʹӖ̈́T8׸  ?*xf~m\TY}*^KEETSVfs˿~/);jCYG^[= ;bEHn0L(/ܿ{gܖnu b.uƧ^Z_y\ :7T]ߏ&W֪(Myv}e?<<*cHC1@ƳWEa echť h[)F2ۉߟ !-︲*keTL7@EGV*]hkRyz* Gqp##`@X>-7TsUr^?3'=K!em('ݶv遢NO6ZtM 8 N7Ps<`f|-*pU!Wn޿Qni ):(/(Ny8Z!b؀/T*LJ̨,WدS%'0zB\CGY}XdR;I8=Ȏq 2nQ!eI6sahfQٙ_ `@8׀+~079qb{j"bۗ$~6L4@vQdVMtB$rхƘD,9y 8)v25-yqKˠIe7~p /s𞜉7LW(,b'aޙV*d6:ٳX9b; 欇ģh5YxFAh4Wl~ǗcI*kC0 !zK%|rm~z0ϧ:\kJ= =ڲ r-JKϝj-$$_3Ti=d9w;}ހ)`}[~ ^f_\6笹}ԛC;PZ 5o%3ѣc i%DMx*H`86پAl.s$_4kN"3A=^=ޏmX)+ٌ|R:ni+E7,NQ~?)jZ2="UU%~$gNB%R k"m]YcqoΉ2/*^D沪zI٬0O*,%O>٥()gf58C:ut[ۢ 惎Y򍈥dcL.sCUSy(\{7?.l 7ƈUܪ Lqt{UL3JThXx|#jiGNWw-M"$D hzXOR!QڒOX_o>iJkX%7XtZmQܜL|m8S4\Qq= bIozӅx2>#< l; X5-7M^܌,Ø= <V5kyJimCf6NNY^UqG뎜v8:b);v X ޢP&? 9A=doY0 QΏdr !?LtahH."j3ٙ*#G m84ơ7ꦻJ~a ~ϊY^/1{; AǟNܴ^n0N2R%SDzVaK}lviˑP ]r)jldak:VY+2AKZ)vsەuF#z;Mp"f&7 2^jCȵeF 46_l6ebUk Ӌ5QЙ!뷢ڎDN(!?e`O @18~R4Cb?4̀b!Z?hZd 꿏2`L&R:Cίw|`7VSi?5u(,z-jײ\Ҙwt-mP0͂RLyXj"^6SG]'!pE;׾-q,gg#]){NDDd2dI{pGp1=`U4\*ZծNMrk}0 Bкr'k xIYAPz~U@ 0Ӽ3_rvG.՝F8<1 ѩC47WnH՜~ң n$ ) i̽7_통s!RٖJɄ'if_0L:g/+999ӡ?-y>CI+"Bs34]0xpRHl.*~qPˉ{%:p`&`]` g($cg:H@a|ON.q0nz|_KZ$mjH]A-}i  %[kT͝SYǧǖA?r=AW*\{űKVA,D҉G7JmViP2~?j@֎tNA2ګ.:й*R𦗻vJN pdE΁n4f F$AbK{f6G]Hg$jP?cp'-8J1ĜvuFKTWbDJ6 Я]{OpHpӋ)=M,f[F%Oe]rXmy)L74QCUtbT0tL\h gO5wjVm,uIbzʸ3T j_c ; %Ajɡ#? K2rÎڰ.s34v0p.n@g>h&RLKqӪ7%GYnG({V>IOpɒD< zWe υ{L%qoB‡|15C:͎zUO,5f{<$XM[YKIkIZ4j zQL㓒jXP)3)klǝB\LpH|b<$VQ(n[mGo ZЅGfCYeEV 8M_#;#s5k#+/]H)zb"Lڟ?ç .A XMI-"0<6SK?R0Ǻˡ2/FLCqJe.EY kVhP3WN-a(W] x$iv6{1KDP`W?}w#H%a.捷r8t?q_;|5.\+(%}׃3"DUYu `d`>k7Z7.Sر;lj8}%Hl1 4mӨAy5rB8zN(UnsyIEz;]N(bG(j^XHj-49S sPcAɝ+@\f1OL8~<7㆏&xGbeJiV~QyA r=AyT,MRK bT1&%(0 d2;~JE-UeIх]fS%|xW:ҙgl?IB LgOZicCXN_Z ix3ISS)|!3ĥ{ھͨ o 4N'Z$|Y:98BfYSp%QjEDŽ^srfǨ18w'@*4ϣ]R髂+dXjz$٘O5bց!ii3tԿAVӺc:7d vEm%b.QֶNi;x8Xa_oa\-VfGۍ #Q`f&`%*X{7 ̦ d>?NSjTXҲ 5>~Ke,LeU5%NW +Md5iv Q /m;dt4Kђj|~m+!]m4:0XiFM~?wVInsE^Kv,2lk3֑dVl噤#yܓc%$٬ΔoM;-iXcɊ{t9dļhEVA>3 .0{@z(O\TMlK;!fhyF tI.Kcޝ#aϞ@TAx*$[;]l?U 뭂wYYjCӀǒZ`\ ;7I [NH;FGa#'5VԀ`5#c;iEc vC._&jf* ]Ҝ`T$WsrRCYfLq)gF{<Ǯ WRGz*ӫΎ߮X|kPP^! ֌ ŏ^XPl6]S_`Xل xE/6+؉fR 3$&/_* ùܨD:Ityʡ5jD9݂!H],mAf%n=3}Uu!G\Y+O Hұ$cc,y.P@NoKkm8qV B Hp$G@0Y1np=&_TB Δ\B'S$z&( [3~V7…f]) UG] Ap"t{pP($raf*rIݝ#o:PđnLn2x` Bg]/`;r1ؕk5JrK=]ww䰆.,ȣ"Cg ujDT $ҭ6 CL(Z]mcx~D;CYRҌ2/9Kl9TTe!K̐9m8(QU-c7=y|_g-0Q_s㟶>GV_" GCؖ1j+^Uv˦Ģ#1)Rgh_W;0o|UoEv}—jaBwo3AQ(QԿ1DxyM)C{aÍp/7Y$#xJLbdÿ2Z_^L ݓf:j7oӤsvwCD |Fh2x4¹*jW,7FpORR6sEHݟb*:pYx;\b-Pf,NچƑr5x+_}cO2tIgF)N|EI||Άq: O9bK1=~;dԤyrڌO))$hY"R(M_C6oplw>I,@R _mV v`:^|!ߔh .L(Ø\vI0AK[h=`:j2$:%H`BHv|*$ ۾tƣft ?tA:"hx\s{A9eo ;*X`g8{ű1 fAgo-KHkV?(fEutZ]T!kI^H&ǭ/A&nL0޺b6EjcG{f h5VCCkep &jX+uݝAurTۼAh[<9\5 {|1HңZ6 ,'zIxpQ<#vIRGZ@Y*s|&eӽ@\'Zݏ7īs"lY:sn{(962%GrYKbbSsCw>T [t%?D"l8l `SR@4dLn,]|65 2p%=Ȳ_u>wKݛVc6hHZg|$LNuL.GU1>T[b>:F/\;:A,'M}d=6/u}& :$Ci'/u?g pk]A IN8p|@KLM͖ju+&1%8*Ig\"ɣ傋s?:bIWT-8RQ#7fp1;|կ\fA]ؑV>Sߤo|u/ yF!qv'{<{&(t[][zEmUֶ+/:-5B|WF8} &e_~-v-VyP&>3|t]e V;#JW03{Hw[~kn&Eٰ хϩPF| J>WMr?͈j7ٔIc=k vB9msG jT=1 U6}nBQ1?k|1 5i OTǒɈj)`'Ao`yf#HbǤIVy!3dmW> #8+2(]sl]meP-@ Y3FVIV3^OjƪYVd ["ӂ}yqoբ{2-IZ]ISΐ6&m{{3VS L4?1KG=T)7MѲc DgkNI|6BL, tSÊ i^+>9daFe*E,-H:/";gy[0ΌQbo:RE)yvL h+av~7ljف.1+pRB.}h(=j8/E[Uh.ca>NO Od2?*M>9 ˖̃~!~=;_' y6'+;eъַ(y::덪ȕm"}bi\1ͭ$1+ٍXQxFCZNWɥҐV_}R Ϭl2YIߔ^pU,7Xkٶԍ9OܸL'$l,k S 8{H v\1*i+X.}`Kc/ٱa}vmf|${/|N̄zN9Vp=lw`% U!BĒk&܂`FjB7s_aM=wԀQZ~ $K2\~( /MޝE vNA_)VHqFk}3<WšC?,8MԮ=;),l/ iSw램q(VMN*qC B|U\m7@̡gfjJ5YX:M{nTZIÈ9'hOIF/_8z~76{RUiq n1n57̸@)¡Hd97_黎 U__ڌsBӗ]d i {jWĞM]Zk=9欎GhLdfi ro2<%r&Z'r{&zFq֋Js N?"H7'| u0L@e7>'ٰqʟ|D5M*rensA'[ 078}9œ!cH>T,*wIW凃a˵[R('b.ح"P~U♎נ:"[yN/ @gZ3ƴGE%1SC.Opr+!·U$“Eq_~cWۮ ĥI Ѿ?`=Y„S3?2YIcXp@R5H>\Ϲ׭ҿd2ٸ1nwYl'LdDmШs#^8>ֲl3~_WEJ+ v6rhAHp<䡾Ww=_%>`c6YWqkaw"۾[,.ĩe_z$ [ef6q؜hPDeTG2 o\CIٌ[OrSTs^Ή,۷p(5a}܂C `2] 4P >0d;^|@Y6!i]mUBA@U=F:3+ҙPBi p{$8tYwb u2OjHM s #]=xQyFπ&j  ~iYh N(/$Cm[-U]z㹹qFL.6Ib ~7<. K4*_գ}NK,,5Ce4hf=^گ]҂Kjp;d Y=4߅i9]cy  ۢ锳M8F~فl ^9jUWn3`k=7Bajҳ VCyG <-~>f8~5.XY<k[ѢJl fSzcmqA|oXxPG#翺 k4 d9*I ;Q|J<mHr09JМ`@ſ։97H0BTbpб 44=6&lis%SQe\$&iSb;t';f,$#%u(CU{ZǨ&FmQ 6jp?>gU"M֭Hؼ]2[BH bs#gb!BQ _4Ӓ#Q7l , Z=#W`+-Gىb:֩{M{Ѻ(U;]3&sFX-82L y8(jG'tj% &1ee C Q?;0,P &y ;(zsq" 2~uLaAQ9W0#/ը f Uꘀa5}uku3AV%98"Hacu $vƢ5PQf>|щ'AKN ٰ(*Ƚv +[B> Jn5z0B%Gf'?S8c;dy 'o3U3&|CL}arTZx(sJ׷Yo,{m󰪞/2UܘDu,ؒ(]PDyG?{M*g,}MsZLc+ZP>R[IL_ YoŴ; Y dbFȰ%Ξ$ Wփ^ L1t0fߜ^p"_;ݮg^j%_Ҩ dk#|Vʹ1db*7qb.J*@LM@pE'$}G-r Et,ŔT#>'-ĂfKFj3 =0{ЂWv'Oi3F4p+b5e736 B'zKN)$+=ϛiϺ^`~v]ZX&s޾۷_Nu.lc!Y(?4pewD)͚ .LZ+ pw=j&,ȼFvmdw#Ȍ0wG}{iy3 {^}g}W+OdaO 5",Ǝ wOo Ջyf a;M+[,4FKV)kU P!|xiyEwKWDuM&u_Wղq4Y@rBABe LWY> G~OK`gYZ'C|RFhi-1 uаle5-"q8roB_.Uг SLX#Q1N7\wRy`{IۋSeEk=YبMRJTl>[O.Amv͂ShQCk wjKRn~nt|+3 /Օsɿ o}>gjZcz$leU"miYZPgЋuE1 Eօpn澊wi/ۋ!i>Š\c^!F:bz}`m7wYd&yfd#⟎&&§1YA3}$Y"] lZc +Մ4\q%G7!푶K}:y\q =J0* @fXlQ9_o#1a!N&dI}r~p=1ӥ{@pNӥ~i4MZH,v| _r s[ `^"5Z WD y$sk9//)R>2}Jt!MU*k'6uKMQt #jL r՘v꾰y11,|٠,mU<;f3@ rQf\ϽcyZTϊ̂,&7 8ܐ2]ކ(^{=tC7^e*c8:{⍯xGԖE!&И0!(i ?q( EP£ܬeDU~tS\%\`8ODc]C!@d]caO̩ wEPzZ"g%!^g2-K?)Mfr}Zg=]pFun~wB'1Ba|PmM3?QIx|k&K Yu }-{a3׼6N< tCͳ6-fV'rv͋XeKSʳp R B;;ڨǘ:!*g+ND.t5ɹ~d҃=,=ճqu.sqam \ jzx <&>,9,ApU8z)&%xeoxۀfl0˟違*Y` *[%jabqs܊*P=g{#}@*+1ܱro%H &|30ۏ,ƾ;{IOC4sϰE5:6|Y 1a%GT;uE.BX y8 +`hFomx eEI''<\{fC2U%x~z ٥r2, y\:^Ya_(fXkp3ϋ+kyg(ŽE= /LW4o[/+YowQk2ì DTnKS!Jٵ09lؼΐlԁ̺0PcRTX?Z|+|H\A4XzM.Po[A;N0`ƻo=|1.ghk~il2:y:c!x)~~&0e x#bAdl@Msju)Օ1nDVʫ0 "/A!{߶[~h(pñRoӤ%\DԐk{y:Drtࣖ]!lcN~ 6$Qj^"/w2ߛiL4c.iM+ŁǶtB:+^ 7s<'4苃Qe<ލ>H[ϯ[c5hth˲ϡ l]R[pCw 0NhH>$ jgYZdIuB$+5*1CuO^:ٽ%_7/_`%Ɯo6yA.Uw|,-_ca:1~?,GQi2DF ޘ`Mk>gdOfuJ7xz-ZCfe JS$(BXg~6l \R^`]ǐX^{ i2CoVW^^H,v J08Iϻ1ɷ -Yr `Jb[B rpЍ520M(%vw~ z>2\0(/ti~A}c:%Jնkd]c}e#|o%H ț [EbDMxķD\ᩘpL-ys\3n:ܡ]rn&Lp={ .~/U6tTxcc>8\>ׁTDZZdR즃8 [I/ \ &3v`HyCG1uҖC`&ci\b`sJ4W ImN<П[ 6â֢ɔ:9e]IHUJ I{!?XC\TG 𞃀w"s(=n:Bӱ/LcUqOSՏ<# e4WIrM?!0禬I$/[E[eWC/p_UϸwɤL+Woni ɒ|nV ;̼VA?WFU )][\jV.|N_jLϞN޹q8HU|_ I|z}eʖ=nvSUEn}ҸDʸZ|0wiKM7u\TﰍH^G D!? \.:tȌuSKˆjŚ5B[kb0s!-GM IB*?]uI] 9l/RnϾŠx-?B0OӯWC5e&BjZ TU>P.S' A>kЫ@se X"@DD7* z/aTa!T)t:8ͪ:{}^ 2?hN\[77 :M KZ09T ^Beݍ^$#uPo5P<,_yGE(PatҵfZ]>()gB(E3<6tZb`=[8 (X&y?_SgMpluF [j1d=Fo|cɷHE34zⷴ`xXEOef_-50yHxOQ%?SIIҁIW^/=Yop3&wg Y9_,SrfAN]Q+zt?D["!SIF) pKdWr3fFm 8}ab|q 6Q543i* ,~hTP7.'Ƀ\j^T>}O ı*.t,yEf~qio;XY~XyDJV:9Ak g\U6źaޚ:၆*$36ѱ)3׾ƌeQw[kNw/ Kd!boq+ F Z Qq. I1!PU6_XYAkF*H33BL .3:F^BwFo(7}7o#)4[10椳q:_/ gm."͙71z @@Mo,y '~uHŖU2aKHhp S3aV'a%;;2θ3agtBb#j)Z7h2aFL5T~{g fD2D(S&.h'?|bݼom@| !aXM9Hv'g4a2$*>I85J^bۃ<-C!f+^qrQxdx;!&pcAfiLlCi;7T@_[Y="FY'/Qо?oc.QxQ, -*L1Pl6{=m4+Zc$x)!e2Gs:/+%^X֢P_c9pEҸU73s|dɪ+]'KuTY8g)o.re_pH4goRv|.KQ,Oa3,)lFy﮻>M,tcUއw5Z)yv)cH/totRA\1@nLhX E{׵cqi2.Վ:<H` [-pR@Ȱݖ[Tϱ tMq" He;Qt@j tǖerĥ8'(ȷ(S4HkyxçrC΍X Ke -^bLwSVEXQJ''oKE&݅H'Hu}U`[w[KagƐAK3p? F0%la2ɋ{W Hbڏ)X+v1)<Bȶ4T&~ h9[Ζr4^P<1ъN,MtMOR, qGл˨-؀x u:&y7,`G 5 Q!~s-qL  `W4-[o^gd(oh$sEX&DK ^X;9Y?\؅0R1܃Z+9%l /ڽRFS|ꞿ^3L܄.lDћq(GGu)Yβc:# ꤷV2-mǂ.iAqI})rɛFh_9b4wJjh\QCE^ScOPs,`2b{,N9ӗx*ڧŗ qnӘNzP/{h=d`P-OW~AoϲU*5wE((_QEw:Sqy,O钶O%o~?!-X+t@?9elCa$Qp< z~J9GБݼl0bB)(Ip7'\VYvu(u9k*O(ŞN@GsC * $NHdLO3 1Aq] ϼ)3]ɆDy@8}/Q52 ߻Kls?.1mBmK0fA&8 ,soېMM42hppdKPxwb5Aph)>ixgd~Y{dfS"3uO'JzFԬ]ʃ z'SwuYgےntb*yC|_B1xRuD`9j8%,B){! fy.='~dw5WSS]745eg0[AhB*츍6SH'"UԝC3Oo 6GϾ3M c̭|{KbGOW'0ovIq>_IE5ݱP$;E}M~z=oBY`}O˞SjN>G85*-މd{&L(˗h Vp)%ih1IIH6z[;4?nU^alM=, QH>u,YdsVj0cvD7 'zɭM)U-6jp`'y=j$h$̣%8ņI<:DtvhUUM7{cYڌYgl/oc&N"ukI!^daZJfzIs٩ԢE`A[7mE:2 jdNj;1* f#2]{Ax%ũێbXGaijX?4!$^IagH+WoMA;X%Ev5Z~S՟E1UfLm(~hֺ(pQؘ4v{|{êW0-}lCK?碜ýM9Wtlӣhr|xV@mJ [\&So QGr4:<֙&̥rXȎڳmdkRy&.â`GݸJ>Ȍ#rT>LhOKR|36"nD'DsMΰ(X!H 8B>~C ֑XkۼeN`y<;y<|֕;ﮢ5 lDP]~QIXAgVO;|-/$fA!pWxvZKk5o-z$ZKmayqF$kJP]&8. b̚ن! VsmM+ڎsMcV[PKnWZ^[5W _}$g3ee 'hAlo`y%!zEate2xh5cS$3QpsOw&2)Ư54N1'\uPt6lzäDiO>Ob\&T>Yzn2hS25I#h&oZ$`\#RTTWkriwc( L&/$f]5hdwęWOik3GL]9i&.WChP?\:'3lR1RM.9h2 A];= _~ݦTK>vi~نr.7T["\X@ɴBLrҲXw2wNsrFmMSwou"_oP侰rwE~)D^2[Ml l}C9Jh堺"fb@%prgu) Ţ\CE" ҈cT(!2 mFi Rl9Ζ j[oWKR5Ӽq:QMz|~\k>IyCco"Hu!z 5Π͟M6؁# b^θ~Y-gbii" ;2+h^Q֕t@:۲J &sYcv>FZy|1e\ϩ-ajU"cv.6,zR liIR}evY]xP%M0v!߂!*oKr.2YO§%lgX>e:i*2S`i.MvWƃ|ev. ݃K710T.g!;Zx\y"ҋ!H;`8? lGF4!qܺnTAO6Q1FxZ|ThHF=4OuNzG+V5ˆw>{ncc]  U^$#7P x'dO@uCT_,(If[_6Xb{vb*y&^P/Jdʆrb(W^x"c3-Ϫa>紵m,+&\>tJYO^  hPU!{-_kaQ:x҃!asP<#D:CtloU`OaAϤ%zxbw53;9My #m0M6\lBT`"V o9ZAJt ^)Xr`sr ]#bƙ:b) 'Wb`X:f=?E~p_ ܐ墖cZ˽gXQ]Џ?Ty}FF&o{~$B'rl< ҈gU Sӏ0YA R˼0LR;~%'w'NWKyClt^MŔCI"+/I.VNkoj uDqHNA;d2ȼH{xo3i=SNKȄ&;Fȗ: m +b{ft ⒻrbRld8C8".ZzqB ö\2^Bx_}]SA蓒&Нܚy&]v61OG=\kQC$.*ܐ)>XF>.C<ߟ ȁN9n1@Si~ICN)J8R'ICYPf6sVE Sޜ,D~elX%$aΰVwq EM@JzXU| ~YKFsz XZ&E(7e[( s@!%7$\^a%e!ml:!_+=6znPd4a0nYٔ eՉ8'wV1%ۜ6GJ|o4E<Jz g cn%9<_7_{.+ZRpڍ̳:L_Fg_H oh;c$= QţVYc[- 6 T*ՔC%Ako"5Ij$Kk)G_Ld?%ߋ +@\rEBxd8q;M+IFA0aI7aY;[.[%->^BsW{{7-w>;nWx}]=Ղdп5TU[<bИc~҃o"(߃e/dfDP2ޏМV (;OmxyH-?v#ȵnGE"`mtyk@tRo@鹖Cfs]8 \̀n NHj ZPQqSc}w-E~2Ms cЌ<v(l2)ТaQQPmmLuDkōm,FLh%U4ܩO3-!VuQérrUK_8o 1z򺕰اEe#D Fݴ֘6T6(/hLWEHxk*Oy=@К@Mc{<|H,~KGSg!:F%ĆlTRfM2`U:,jp0!vpAPyc3.:\~; 3jYS筑DW^ "ˡHaF:b/t/Lid[HzU-FɴcҾSrݻ,r,sR)Z :F0t9LZG66f2>XBJarMmԌk³$Mhy`(n< !(5'J`R1]Λg]tu1_9df_&P x8GX[+ [.7h 0T_gf^S!/8Iz!=nfJk^͌B8Z PU/"S! y sH5qfLh'#X$ᔷ]"y"pE}Hj+Lδv܁8e'pP} ]vzKtݿ&i[ZD,0[nA bo ($#SvgKnzѹ)~QXxdGKQ_MsAAs4,gC'uĒפCqG #'c7&B :Ek$>&yZ|6}g80ٱSSb2QlJ"+XE^;RT]7 AgC&i=9 .JҢtxtBAZ=1x-j8Yk,aBƧc{dTGʑ]mM_4F[`p(wd?}RiCtk%/KNx䜿Lq'k{-3EkeCBj |~| lB ?ڛ'@ӧ4YO X 27/Tل=o %x ʃ|54>YZH B"4J)#!""BdP:|oNw>!τ!997`2S`_;]s R`Ƌ^E,Cji0՘Tg{7AtO{G*3ȔL9d.h7SelH@͢OcFFB/^* }۽ xRĜ[܍+.'ꡡ=pn/Тx<3bNp}ZIapW_azAK5gD0N {Cm7tj I\-\Gg 8~ep2]Ɋ..4nFY@_l#քK<j-S5}-r@ . Cu0paY^&ru"h4PG7BZG1Vä ӱC3F x퀉wԀМV/irS  yEDvTq99R[8-} `͍k]=Xl<[C?S"mkW[^^WJHT#Sӝįew`Ds=濜w@ږ>ɞ≗0|8;9l-&tv^mI4L/ |V?+=}+zrӓ"'kf̱jٕڃ8SԔǝaVhLAP1ѿ4E9]W0bbU.}d?4 K?b4mUbbH2\ncԏ`sj@ټpr'髌iݤa][b2&01w1"L v,\Usy@Yqz2QZ'aY+w^mRO3ϽĆ hTVaY$ FQ&ϨIyz7Y}j+-e ̞QQse ;`Hrk"GWQ \KTЂ?=^}W;<* c7pE+ g6fM F!OZi_;LU`hxɍ9z%̠ٷUtd6?tO bRm@(Lpy>Ђ2Sw (UQ}uxKZH|]1Yk<߱5ť7Pe]);xr(viAh ؒOYW9TWw!,vpg"-bTZ_+ k2UGq~aI^1t\::YkF{崅9owq`Lucl͛<_u/X߬StʄJ w7getfHtlQqgW }r;xhO],烈xNY[=_6d1 좤<Y'@3ȃh,.xjECgddInSEC2oji;FS-l7>z7|f!δy8L3ڻСHNGDW.,(K ɳ~XZt:T#b#&4wU ګgL[(4-Ң Xtoҙ8Ih7ƝK%'|,<MD$l,4zA{(Qأ>S^pz5˹ֶ3QPyYtyL$qje\PXl̓ g KDH0Rz$=io߬<Ρ_Ϝ*ld> fb;9GkV}Zp٘bi_`h"dcaui`[2Jrqx˱p4!r H_{j_beow$Ӑ@iJ42tҼ`G3:/K# Sp_*mv[*s:8m7G2Va$'G"thuW`s:^mҮDB*Yn)_2Rr=k#qW |(sL'cBg#7L`v|ń:ĕr7} BoJԸ^U؅zV~ԗ LCAixD._|DKEFBV5n$#Ǒ t|jR;,zbY҆>NDZui-C#{%/OL_Loh23fq#%0= 7)(+nldjn7~ԗW R{T ~",x3K`b=2~Y0ٹHӞMܹ;̶g5-l 0_$Vr Cl1>P6o'@6K#2oؓBOWr`I=J'v3 sA $iϙNNduurcVnp >^-H.%"P},l_2UG!%DVT+qw@F"EoPȡRrnݬe)8LQZwTԤCv PlJ5! <܏FPN s2et jO0}f !PH31 n0%fbn=Sjyaι+LðƣO U7N ;^G],ݴjubɎ{TR+k ڧqWM@iQ%<,F.]bOm;4 9AKJ0}u?j_9ljë).)Aq2py CwmY-pФwA8C$a•ŗ]x3}EƑJ^y*nv iG=Kb(w!A*xO 5|Ҁ56]ͷg601F`"}OK/?LN D|fL:L7m$y{yD *1B /m!+\5C|KzU?m(8S&xA[MYVq zl1g`{]J-nX!( Lf$tm0I`rl*9<}ӯ6ZdHP=.ymY8_B; АTV zgF%)OF>DVk.+:O9ҢH;HC-]*a=-u ?0{HwUP},$F*B:,tH568q:u 2L9'olkpxcZQDX C!RȰ#'T;ΰ_N6+`VԴ"@,{61qۄm)!1sQ|,ynJ{I F 4)E Մ){D(<⃡Kw5B+,*+Kkacf[#N7-Bׁm8 FPjEy!3"o\fL$D.fJucy;$5iE {%[\x;UƔ~4nEzʾcZWYBf u.W"=1YOoNTZt,CC ,D?M~ ~:1o &$Vm(Qs1i0(k;TG`"wQ+Tk^6Q;߳ EѥLǝr&|pJ =\{ и<^Gax+gxҾ?.~zAᡢp\9(I;^:Xa֊ٷ =$NOyZq7#E~b`;j \AChEtX|ӥ}]ϲ?H'rN*zj|L;i8>oG."cN;`0nO3&_'yBE(Ќ2mI͔<.tȾ#qeBg`)-w=Rf]&(g<|$ۺovhRZYPxQM?\D:oW cChLiU+L`;O1i;V "@;^!vd'| -2[ LQNlTNv6 TI53`LZɑW wD&`A5fT6zj](Ău jHomh/sX+o3 3zeV 3+8[J'rpP%<^-*#0zJ/WON+D&x1:E'/k#G{R\@?> ȝC rWbmGΪ2-.+t0v|fr?.A1Nhi]kE$aiS>oз?W0R?*!UD}Q&Ѣڙj Tӈ8E@vRttOO:wN3lP{uSrݺ&c])GXU..Z2BM@a`Nzn]Øݔ 5!B!]t`FvJ,Y/ii! ?(L1~1)CJL=7&M`ᱼ%j]3 @А) N9vt&lj 9FϞ$K4;F 5A]WU`YXABI|@ZJH}4U8;NZ+6A+8):p@Wsi=۱ȉIybKS`};M;J6,\d:%8`yNJk7\rvutjڧ,>WgQ4^h.vql?eZXQGcS!ӟj%8gQpѰ?03Н u˛v!WiB(lP*}Wj`ڐ1y;ܣT?8}YC iUTf7¶6F[|)txXK n{We+8nuW ]g!@{`~X;gPL(͊ Ld£=}4X$)ҲVr.cJ_m;T/RrV fH˩mPDhDc6Ou2QOR/ON2n%{Vk@~8Pպ$IŨޗvS|_1~zƊƴ'GGχe"K_o6DHdȲ+H?V0f_iGZNA{y^ZG -v @ YXqI8ŴXf6{O9L 0 9 )Wj6{6?X7z bF~{&{{{%DkwW}=BhՊ-w{{}HzF<b5I#$Rk9AÔpwh>j htο!X. ;Hn׍VgedK~ pа}E& {Ah0 ba~MJ%O*g5<]*gT"v8nUz~7"P5^+jqB_9P{5(B,SMEc_e]I طSAPvh r+nq_)Atz.ݹi_yl=3n'vI"l"ξG~{ڏgȱz0p޲ \Yiݣ(=O\%)mU6_@y1BJ 6 {>$,VXGІɞ:P&IԚY+0cJ4M rӌ֑6+LLV.ꓻrxI&@M1\;z=_cTqw7iCu_hbm|Ng"MwO̵ͣ'0$!1~H!&wJD#t8?4`7nŞ!|wލrdĨl|>3A5XP=B utjMދ"=8'k02^puڳdRdy#3^~$dbiM8zP H1M;8Qȸ%_EX>7u7-OoZ@lM$`d8U(zpt:us'VŠiуCps 7ǂ3i05;ᲜeIj#6  1wU5xW䕃FrQC"gYZ  9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ,I?.1lxb6ƕ4kw;oл7_!寐llbQXEK0!xH4V:}Q8!|R|^ӢQYN{@Hץ^T,HZ[o)={.zr"L "!Qmp<#"iL\.Ā HރJ u˖ N \LZCIC2t{Q΋"ai2J/pA9j0=*D e*3$v%( b /r:d802?y 8ddHT<m~C4__6 JB-s}4˦k÷SaM| D&D'`jb':()UqSjt;D}:)>Nqc %9VJn;.YL5SUN.G*(Hl[B4}o8( 8?H`@iuё$+p^.l )2PPNSй@v5%}p )#QPm8 fGpRp^} ,S$oO#sˮ1౾K]A,GLL4o2crTw8[!W xԂ,EmS2>N>⼥93ljCIj{y=Ł@YG@K3ZauCS6Õe[j]# IѾA]GnjTt+ êtFE'~2ف&?Y&j܊Y !{GE2Lr~r9z#=b}os ߁lrA`)ajԦ1bwd Ȏ)i؜6ֹ7xKy.+էZWo fX 3)gk߬m6Zf2ܚ5pNKR[80~0?_m†}zuôQTа@vn1rs_u42y| Yac=XScZ+gn^O溨sQQZz< ~'^(2B@:/ܥsd =J:HM4,z 21Zaɛ]!"׽G䤣'*#vMTϓ+[G&wa0y͵+La޸?9a^*Dʜڿ\3%>4mT| Αi|=-hvU:ŨTV-gی6hy/L;*ǽdv/3%LՅjvh~uXF f^9@p<ҎkWHB:F|*q؛~ѻB`e湘u9r*0s Js;8پ+?`4w#Wnp MIɄ0u<聠o ª }TN+o`LkgC"HKQ&'1*S]|Hnųz2"\`߭:5+[x@mXGYt+Џ ,r#sWѫh9ű{J9dyN^#v'_Ol{HN>5!oŝp64iG, H3*Ӵj 3\XԏjJClX;cE$jcJ/H<|"֨q;oXF/=?:.UpA$1{")Lqu\̟>' y%F+g\<=5c^R ]"$ޢkd8ǁT; mͫ'/*NjwyQj. =݅Z%+1yi괌d%[W]ky/6iN:5"AK6>A~_Rac53(:͒#͐Gb2XZ!y9a`.SZl3A Eq#=ڈ+ Q- HGMEG ~Hjlݓ-P[T/ԘU"&4n9ZeHԛPތ1B2=&\%&K!Q%5ݬbY\)x$.1jf~ˆ< +)y$Ij?I.,9Y>1FN{w$rӂ,ʠV{@aFL3}Nv#^aW]y@" :M |gYZ*ak۝O#II5 0ă 53O6\0[^r{rG/XK[P>2'ՏB,Ii_l)]yUjLjfhLJ}V" ǵk7=A_M pwL>/] |r+oI嵩+)$"*ɬ](r| *$Uv hK;7VQ4g4Lh! LZ*,6zi4,;|ppNE.D|2HMZ{/e~-W< >Wsj4͹?^#g{~9c[T<;H=UmmƗJ1αI`4aRe1H<̊xm[%R|mCMwd_]"}: nIN)3/,'*eYv ?"2)O" -[wA j(Rw(o2x~S@C96yT14)t(dc B ]ѢKx#si![ϵ[(k|"}>5PŷX odeY<|o<KH^¦9fN6)/Ir]9*ђ=7qZrU-P<Ҥ?\O%4,=d,I'Z,ڦK >֮WL/af}N"_b!Kcͻk^\2=j GR) X(' RNDXq>oL9s|r݀`$CN{9eP)rr5F P/eA*ҎnKƾ=>r cW(!Р$ 5!.EϱDdW*פUeLY4'| ͺaxTk)MİCVvhiDd|8@d44X%}InuӌRJcpv] =\bBĪC i‰4baw-9-i^.D#m9DbB;U\*ʖ¬%Nh v@,!SeiG1Z:n9h[ѠQxyK01Q]PHS^%5 P_M!OlΫw}rza#Ft؜ K\SS;oiB_69Dcp"cDlǪdYݬ8OS>M369/Cо.m]S eo>D`piv1WfF0e|5+7a1Јl8ӿ+eD%_F~ӻdaq1jTF]MU2VR#fJvvڛ<"qo@8a,0qs>)| $F` 3ݺ֑QI"2&tć,:TY"` bj׳y&J$!;G.V4*Ljnh'6^tp=7/$=O P@i*TegkLt[yRXUBLGwZX #ȶ74#Sq;'x]na'i4`oK#%N 7vtw@"];m[ېMYZ.6͖ɭ(-@nuBjX+.u""ɫ^./na|hQS3n@z3‡)>4o-Y@fK,G%q1t.m}68jD4 Q1u0!ەxyiT?hFȷ~H @ob 5gB^e8;[}1UhBlz R;9&Imؘ:RYVL7Tbh!2-Ȍ鋸M6o٨ѹVَ'bф^]qݦA;m "khfcc}f!_7QmYl &)}DR1"(=Zz*Iױm 1Kb;7U .ig?Y-q ;xN{?|rmfۨf\k=rM6^l$6sBZdWDp0V>RT@3BiyOtȾjR^/W3a۵h3(/ٕ1(eyZnXR=Σ:d(!hEr-uҖi]:Hnmaoݿ϶*e>ћK_ r~ckٚoZ\ e٘u ǒ#FTtmo&Ǚ_~vM |g;Fh^n_[]2}顃^C9~_i\]f[RP+, ׭.&Ջim<6%59!9Y҄o2}.Dy(jƍi2wlJ4U"Dˑ/DE9u@ asnfkQ= >V$9E3+KZY*\8׫vs(m(_60XX^4{pBcM^ wM.48i1D#ɖDM֋dl"ϩ*~.mцU9re(q =I2Q8{956S%>r)?vIg E,8)w$%n6i!P$? cbɧJ\ ԒV-GyWc$ s57:E]֢B49M1GJeY"+D'fdz[b J?ڙ^{ơܱ\Q,*v<ޠ!_4¨LBf@ZS'e[t,08*f?̟\= &ho|GN2^h onFi)uK! @F}s ƹ=3 ?T3% & Ws&YvMP>%ͧǬ)G7F``XՂN[^Εw jq0FPJx2in?U!w@ 6J~b64@E^7Vu1Mf$̇7ۉV~t#;Ќ]xBc)=QuvԷ<"颸~hO ^NOW>~GrT#;GS=Ju% гN ;!>zܛP޻P".s1ԯK*+SAD6?rRѤľ'*РgjHi;4ݕPX80lOY^.I,X6*Z<5h{a>Jү85,<ʴGr=qPM+/Ј4-P4L=T"7'±86:%E?XlZ 7I>VΛׇ oՅx0 LH ()`۞J %sz h{MoQV⻣^.`h@JHHt+_@3W҉cw"/qшNe?2: uٟEp׭ N%yI +)yrT Zm>38upe3#%!ϫ%8dQ6O^* !ZV@*&o%QبĊ^/n~Չ*ߨc53TyT[4/QjE3BÍgM)'GꗛӔ{K'vF^]t 5s=<GoMmȅ=) }?~+^oh?LfB5f۲,cTIwW=EDtZ7ѷ.ZDEvZM{V*GZQ.ͪ<z)=whVx(vQti,Juq{ (a{ y>W O39 S_u_>qpwr|M}}]]dzĤ oBW<)䘯ftlc -IK`!pgF//^k*qAN+ @z Xt2Fv 4jgr ck4Uh"T腊^Q&ɴݺfv-XT}kS>(1H5 J=NhDX*&1X@E73b r4^QcEwuqԼ˜ft _y8k:ڻR ]RNDG1fuj'9KH_?*0?o/ 功YkN.82 b,XwqiaW,DDB#S;=I |M.F'*6>h$i؁NOnBrfT,[+YeMO -Lc@+^W{W֊.%m$a8Нet&w'7F aѲps\Qo5"1 t"lSҫ $ %Vzt@2Ebe msts4 xz^8@&Uś^Rsu ̱{BvX^*?kP Edٖ[< EJ R%  -k\_rgxl'u`Ȉ~;:݂0pukZ4Dz45%s-q_ CjWv.9g kJ:'Ϯc̮$+rLW;]t`Ez݅j ([DP?㨁vZeewS(`iZL,B9S}` &QdY+hre;۶bZKpLvJ`ѐ}6i'M"5ޡ(bbk$ʲig _`ߍR0eayvbzRe 2Q#kH@jۭb.hQ *[™ST}%dIPBnK-Yʕ_O]wt+-95jY pkBi"KtRxW >+G_(} P[A~) %Gq%I˥d}*y~f%9,XZx rlć1BwÐۗэe=RGUE i{'$R&g[S=֏[3LQX6 Qįv o3G:`?C3eh (jVpz-aB'?Zh߹}yey[-71X'B˦EG <誖IL ,YB +0f f}Ṫ1m-n-@+IYcx--I G~:_}LS/Zy+dKѷ+{oe IGpK*Yno-޼Ι(-65Z{[LVܷdg4f ?|j"r6q6$& Y1F2UE h[#>}C涣(q^jUCqF?BJ+G"2thrɵK}1{aaPL ȧ صݲp ƂtINj:c/ Kݬ5U^ue/v4QwscqVђɮD2| wڤ`7W@+`*j=΃JŽXL.? t!P?o\*S!h@7IB'xUgՊwܝ~+ FcBTp8b->Vm}Sh%Վo=6rEL&ViJ(3a >-}@9KkE(%>PlǛ5&e{nePЌ-@ s$H^i0u>F)}FC._چXXXdn=$Ie24O[[] \]hI:݅zC#E.^Q9O)]+x')ڬڕ,L(\5I st]R'U0'W.vqK0hCF|7s,.u_!`tSJ5gtTxL=r(8'y/9&3@c+."Z;`?9Ы~#`TPܕ.RL&>tg%&?o ??o%8vG -~  !߁AUk͝<5ēP\JҽE3̪QpM؛xgDD&A1<ƨ%z|A /F}Pii L+TŖsM뿗76Ex1u@A=Z:&s= m JKIʳ"(BP<&c+̵} !>Q^+[NpxdzHL~y0izPOY|dID_`! )fR'ƨG6ɆZ,Cs"R՜H2W )fh8&Kt%]kgab%f#&C3b6&-Ѓ{*U\ѩ'DbzыX;:5i;CU`d yirx&_m!B3hXϘSS&晆_*V|*ô82܂/8$dj_4bmA2A PCwd[Bқ >.-Q'?7^h3-B0%2!#gaQ]S-}'{Y4?/ A-o4 3uwhv}!>yrz6Y;RE0o&)tH vJEs{0X*sE~MˑpzNmpV`AJgkA1Ї fSY_+2p_m_oIe7֝+ͶDIu ՇbE'fJy4o8 *`[{$ݜXX"͠+E8nUTMB+q&lEwnwE-3A$=vuSM 4Y*)ss޻l\[R"~G T4-@ٱptxN@$LVV"B߅/H.:!{5UndrS" Y 9R;xh E.hF-n>l&dw{."x _6oq9/ J-^I }cŪ?k.6їw魢>/G^<6AMYŞ"ms;L6SQ`|NF̻迨\- +?fr|Dkf_>dySٗB_F'f QTqqb]i6>7,h82A5t/ ݤEEN[~MN{m"Qe&ٱ!8>TY 2z%Qx|Ծ:8=o".=h:US3.XJYQ;gį ve7`VT;JɐjJGϵVsR6!ڴr\a6}9GuKEC'}ST8fVv"?95na+Ϳ/IJ!q ?v0yTC\Gl wc&m>^B"t# pC˩v*Y]Ct[۱V! }74iYi&#R杽͠à.5VTU$ 4?=ǀI z˚ĥvi֚co@D<@!p`_*TNŚiJ4-J5ɐph \ޗ/_wc֑v4}Sh&uє $%IYMR[$)gcYKL^K-Ogi0gt86܇A ~>l 2@s6UufZmz`Vd\Mƕ,cg6D#\w_^|HyQ.kY7(#"M**s@#P};UKIHJpB"/׹{W{4;T?꫒HIh0$[ȟ hQ~#&nJLG0ؙJY" pbr]EĆfNۼh<8 ژ ;*g Qȵ/ B75u5a/뜵J߱|s[n۔)=> jZiV@I= fF1dZ8IxUˈ'/FCϋNyA*Ry#%Vߝw"v~vPK=4_ZDp.6Ķhb/O2 nztQq]e<&X=`ĸM&YQ_OMULenK$B)l}-||=F:x^1&-.=i,ʀӪ YoA,C-⮋K?d{m&Xv@+9$Z^܆,102~n:nL堊ZzeZ݌)&U yW罯%yaxՀ9ЖJv%C3>+nS[xu81G}P hUXh=xtss;\ u;HPaW8gߔa1J-ri(*#e=t?Cܘ4 ox>s hmQt^n%mkx&i9 {Q?ffP޳eHw2j h4Rjh#ֶ&¦*;I[ŕ&-km{}+,F;B7rI ;Z1%|dXY:ig=o'8XCNp_KJ~Xwwny~13j^.Wrӑ}la&ː^tZcF'C Rپ:$ydf'֏㽀^/~ҡAm>9LXo5oiO>XL.Jd b'sञ+$|@!S> :Gu0۬Om㞪(]mH/>krsjoT:=AlʒeQM 7uTmOe5(5m*i8`Z=Q!Yؘ0Q 5Iݒ)AL&N\-;نT"7θ^>ՕgeT96Z~4lc]Po%/Nu/֡ yn]8]Z܁C q5%,`cA+cu5*ۂ2W%B%̂}|£PGu8HbaHSՆ wFݯ&5:"G;ٶx2w$`bP:[o \czM<^܂,QN#}O[@i/W%- S5Ciɐ='.8C0rk'a죢 ;M&Rerr \=5אMX84XY-x쬋\4L5P SR Y}T/} l&oHϡ#kw |[gt4v4+%6שo׌q ^ ]_BƭΜMPuphnAX:XϳnWAٍPXQwS c_ڱ9'EK D]^ů3(]G~Yj^;iR{R}Q-g(GM Yns8V2+0 h,6^B@Bxy?H,+:%%2cp泮|B-ū7kdJ7E}[F0iflQ] ޽?'ܰO빪%x8ƿ)͛_% IY]tjE!V\*F]AkGqX OP>pQ?. 3y ּvcAsDlA IH~ JK'T|q9SK0R111͢)cy!#-QzqoT&1U w}FQEk3ib8XA(2(F8lj8LW+;iଷIϞ%1CF775tՅ/8S.ʽ"@``4فˡ09+\- @u|Sx!?zo ovu\YcBnߣYNn&^qZ:₮Ūۄ693?k[(bႮ0ྻґj {D w=ƹ| )"UE΂ExePu,LՖ b-͈7ۃex|U~ h&K=tOW-[R3͇iK#/srZ?1 N2@NN¬TkL=^eǫD9g 1q;Xhv:z.ZQ?E(; >Xf0ts_b@,⾯WO'R7}t0:Rl n2θX߳¥PdzQ:`e:>!G YFXsFAW!\aͰjEl T؅hlmdwv6l2,S@{Y' o0"6G6?(o|eLQΓi){H)M(9T2390(o;~]]ȋu̶5w5b١e[aԦJN}S$"_g߆ #YБKpPO+7EHlh88Pw6h-l67Y9*Jo<,hAKQP6B H#()VhK}`~>h {g7>I) :&N`Bo%N\RseB\H[Mk:Cefx"'oI38, %8k-IS)OkK_n;HLR!c%nHzu? H_+6Tܓmn tQ0Ng󡪓Fa8J2ҞK+ e ae~ k-K4rSε~⑀]zڰq׻]6WT \S3,*v@ۇm1/e(pIbȱ~ҋoh2PVs,^pa ~0eY;2Bj'^V\ iGLKV7 ë}סjjl +2~YW Am[:ŵb4Æ-I \⒳KQ9MUII\1A<ɀfϸ%*7{yf(bJ4Sxk "dL mҏs\`g g9L;1_.jToч\C5HB%^K` ]K#TcSwA'P9T*4v[ gr?񕸫稽c.ZoTlW͢nԂ~whĊ18pA>2=3BѮSSj2܈pdXs.{`LZ#5 R@}0NiirAiaFQhnBo4U=.{\W ÝZ;_$;+#e4zx= ?%7 –HWH`Ӎe@UF6E`sV1oM:pj]O(9$㫱ZY3C=>Bw0l$B`M~u)0WʱǍ9#7`:Rm̴ JO&z:APvS~E< p$,v傺%MB]@o?R%tWboh-YHKNh[䐩cMxdO51≸B?4 s*5~kR  nC6q6_eAA/͇hcJܥ mn $/y{*x3YAOhy&ص*ɌхjAw,(og+{޲nᙖp9uNX(*MdjŶ4PKJ$fI )+*+ڏi~i E؜MA wDcO;Yܘ''W|tm9Ɩ7 Fƾ 'G 3S`ǰ}N^xhP$1e{͎-IC;2N Ll ʭ_H3?^glƭ,@.Uqihpq>pAWjLZ ;ahOrI"E09bpf] (<w DWo'}iqpJD^m(|0];K7}9DuZ" [ZBpwA~$?-$69LT`nD)˖lB+VsOa܌MHCUЖ5xM"a#ؒX@ƷJڐ>af(T_wص[of8ON8k1Rֵ͗o~⫷U^mnZ%%7b6gRERB`ivd >2 j WB11幨2XkYy{ ` 㗅k+3^|x(56 A:@EW$;h?qZUSOpPJP]^NƽpRK?^H-E@P4."0%o2]E‹}54 sqH&XB"D(\$>bHcgۺ4g q /;!;'7 ?=^Lj'3#O%/=+O.lEIń)fV:n%uIEK1Q+p*S~C߅V_٨)^ENJ _T߈I5e;*0_83 qVnx\0א?Gc-MW:VCٰ(M@ .6X}s'+rC|yڔ.Do"w@G3:οa3y+F )yUn4AHh / rfSFA; T6yĬQ] 4T)QBy)Z)AdV(VU@_ӧgD\͉)'\1mZs )Ivr0@= fdZjaNU6sq\j U˅(nN-R8 V#PΔ飿}3:tezXNsƺ9)ybH tU/ DHӍ_<<?}}۾,lv X9F¦p 5C5tXD\rMoN~Ft[Li ?'CTlsc`\X-?G v7HPxG 8٬VO;HPA (WMg"~dAU%_B. 0wKz'Ge4K9Ghx6G2D"^p J~ pFEMÇ? i{S=INIjq]PmyviFh3W L ^c:~OAU9z5܄]KV&nNt9 ~ffc7:nizk(!PZ}M9E : Kн{Q@2T3F1xg ̵v#QkBr8A _kNJ<463qB m^LF&hqz f;CpCmd~ TP}H8qfZ@i3"? ,so{9IË Z:P-h_ pޑ9pٹV;Xu|'/oɟ+mm WH@rX @Ѣ7lަgSC{M*;TgWs~J6i:e+YboMbnʰlhLYe }}=stO+jx (2Mݎw>unoI璾 G~H5zWt ~(B2n ɐi>(K7>$>rc,#Cak g9B`Ep fPS{̼ <:›=V >29=L[w9,0Fz6p9ьJ(&NE|=% 4$ȒQU#>_aiGHGΜu4&q juRXU{JM\2s1iBrocAyQ]Zkr@]IdBo>C{9~ 'OK@i]d.DlP?n-?n:q zK&y[E]薐%>V1õCf] 9kΗ:LuZZ 4\?lཬ:< :ǦƘ쿽OGkxYi }va~ڷm'5kNW1q@֨M9&&2& ;ݒY v6dC~¥}8:8FG `Km|&W9c8:"V{*ƟRzPscr u+l}K%:=1ʩTG`LoPލXtϒ1 gya=溉 .^{*;31ow/ejF%5hnd[@J-Wz"$p ~e\ч@uƽs5;Q2Jy-GF|y@ounRwwf8yu k #HZ{<YyzÒV4reiwd+?2'sss h{AƔ&,yG`%B-YVO^Q1PȵD .?-A q Y d\k뙅t~Ӯ#QXN M?L Hϓ[ |. ]M܏KGQcr|G.C &.ݐݰz1!(xfS}d#1 Xg8 ͣyh98 DS)k(>!}FլtH9ΤI.}*(Gx\! >rPJ~ MZq]~hfU#C/dnjqDž%Ule{=CB(%yR>&y'ā#>a6!nז906T:4j}jwrdLkiu0Pә1r%bh 6ࣃTSlIp1azK r{*Ô.\,xr+Wl/F hٖ){*{VI@@yle=Սi|@\(&঺O5J&](reH|DϋH_a'hE/[Ic(DGoSOdFk,'~bn9@Z>pbߥ&Aa3?ˮ ß\B?kCc7Hwyu]aLg-:=^'Y#w1/nn}Lw@\P1gt"' ΍3Vicn9^%#jU)ׂZO C-}lۑ^`/0iSwc:)!1{,Ih LURR1J9h.CV,Mӎsek!f"o{?rQ0]pDŽ"Or} 4^FБ{ qe $[z-d ۀXp,۫15Z,Oyc;(`/{?~i?G"NGtc c,a=2Qި/wHΦ`aQ*55"؂cdeIA?06rhz8e&QY,@40iGb,}zc$GeM/)aZV0ZSpP |˰YXZhUVZHĠ+P']Gl{0Q{Eq"ŢHLJcd߈$0~/[շWqwO!Sw_S:b~֗"^D/rDt=絇pvX>N81ݢ ݤRp{I&LU+}F)g#-fŠNfcV('`W:jnDzػFRN}ӵc)%jqFXo˴"/içX=mxXJs.lK{xHS: { 4y_^Neczr3"aglz1Or1LC8XnvyVkL[HCJS7,m%=U$껷KlHG"rڰ:z0ݳ i0| RsBP(]Y ~j nl dD>mgùi|дo|DάѭYd>X|U;yGL> c~yf /&c\wIs7+إ_g}dm\,iXG͉q{)VK߂Vt7jѠoO]l'Ī@׭no|`M!622y+ma{-y)NLrTk-hSgu'0oA~"wцW_IޗW{v_Zvh.³%dό7Q^cch8qQweGDQ7+"nD"5dE|=J ^uxS8Qj@3/ϫyHt<'m:ڛ ցc_:n2>ij`м|0?x =7Zh8 XwWQzfQe)6/з-8'l_[ԮiͱLkX2#WVK^RyfQ&FW$PeF`ʦ;ZR$w[ͽ.2=IOAìw^dc"[H Fr.̦2;R$6~ھӈY@m "T=sZ=b -t)ҝFހ`Mm Sw\߅Ec:]{' ne!?4hbf*[<_0b̹L"F[kP? F|Gy ~fjS e[ (v:w0ȁ^ct'.j2FJrz[\]u1kL?|X#Z!^ih0hgGEB*gy6ŏ ./c'f΂iek<=_CRsc_1ɐIv/(b\L#:k62 "^B7 7fK:D' [?]RJ f0~EkIM6z@5zC3 KfM,Er #cs\=j?TL*Xz ֻ'FPtRpNGaN .8[S1t[ww(/2<rWMYQ=u>DL83iLƂBdcOaѫpQxZ!4#ha X<;'ÊWЂ0edU[K;<\PY `f {q h;Fo=< wGR7R(U)Z@hE`\ct LNeQ{P+f)~,TVTr\@씠Ex7}ӀDsc®]( wR]7 [s65k+UH`Os"c;.4Uu`2{REyQZ59;ȯA;\I;n!3:D}:sM֗,~Yi#MT Q=ZYy xz{Ux ָYbD&1*RZNTۋ-ɜT`v"Ora\9ccxxԇ sr6rÄxwԟyw$bHhA3Cj[* wߡ'DJq0s14@7gUh}p=?]_I;4V  д2c#RzR{$M .D, f]/kB=!eh=ŵRdAXU55?WJ2SOnB)+#[ȕ&Yz3xgbFp?>X@#9r/fؿ%B"$ViH(`eg S cbًtvԚNNN0c{%ȕ\[JPN倓-9֙ "'֟0 14̲US[4~/Amn2aϸvjVm.23Pk}iBhU"f?;O)% j<pE;,] B(K'RtXl8;@6Nweװ%̹*곺&@Yqz#WmmHA4nv,1 jhn+f싚/C0uJaUIOD:j<+ |8e&<.d<\-#?;;_#Ylt1R;%/\&lT?Q\_J]z`/w <Ԕ@py摙$>"+2Y,ekEQV!6L5hk OB+G)ۣ$#ؾiz95+$u*)_5ޚBBxIČ7זD2b?hʡO@wߥTF g6)ڊY-Wl)OdX`Jx'7)Ɵ+^oq2P#T|x9]8^ye;}pj#BPf@\r$90i6nX\,jO{~YV znL>WFUmRBdר~9Zܟa*Etm0ƻsiNڦ32_),vUY!%`uW!b_ܲ^p1ZK~'@Sڧ3JX?l%YU p>#y$qf  x5A *RkVu_zgG(hwpu@"x+.h51aAvg@7!^I RȮְ%E&yan81߂ d|d47\3RL=B!f( ]:k,`"_`Ev! s_z7lynY|Z<&]U?2zFi9'6 # ^_٪cy79ɁDҸgl//tM3;pni<͑!OKM!SiE,pkXD>n3L79HjS2uRhZܚg)X2a'+s7nv!Z#cҧȮ[&/ <0#[#:F2_v-)%ruf tFtJE mi=IIs/B`L}\HW0\ԀܒQO XAdmrlvfnu;)ܮ S5| f5L3 lőIƅ9[N4NL21"$Y]>Éd8cs!AjS6tbߣ~g0}q?`1s[Y*heF{XNi+R9%Hb<4S>J8F_Axב⿻z{q]y)8ІP ~d\v|@2~aNiifF6-5\ Yק|UB ]-K:>:qAW[uLJ$Cj.v$/Ҁ9{V/g\vJ P>`TTv9HTgUݒ =QǀFM+꛰CWs3жa,mȬ ᭵F7j%/|d ;dW >s* {D Kî7V|u.? =*HMl3s4S %1;o2ЅO[ `aB..԰0ו `w.4|5ˀPo|P(m`)"E`{89]=bP?@ &$H$ ?de< x=*yl6.43_ [hNS 5KZҹ9vczqy")Ǣޕ·l As|,{%w\_AMKba[V7w o𧛘vܠZ2IF FK#գ%j#g6p(`U/@u@ܖPK/^^\* ~q<~įs-͏y;qkv\9gJB'>Vew(-LLT86;s%Bq۳-G{䄥#0^PMj%"`'2D!ΜzY,FŰiq3j>ɪERgg ƒg\GN669RelCsj'plub+4'*1_zUo>e\@1gz1 6 +lWށ׸ro#3F:GhB+ع 9T0J[Vyd' &Q3XqiOr|QL Ϳ,7"k1[VDJ =gOH5"W9"*_m={m7/ݽcBr޾f\:&Ӳ D/u7$r.my99Wqk\h1 (z:0@/1/`5xKW}c r;FS-Rq[w+G*R0ԩTӪ%"3bl9H+|0k9.Hcnn'ZGmm%21SCjmt%լtܘb!|F!p굕O?95]`+ =4$Rn)3_=ρ:Y/W*VGV& (}ᔶSG?E~^6|87.ZMH d8–uEP+.#~)Wq($Izt?wKER%,f.RS>I;K$l#/dKARawSԟz]1.%$qP(OHywKq'i3׃=CYjSϲ**9iDn y? KWD;(t]ւ{0>釤D\!,SJ;'l+# |5"*@®L:J&i† w =RCR/ƤӉsUM uڑ:˚ī 3Ȕjnq}t` 9w+%bvdmBieuo{`XঃSd>kDi\//\Ems} UTb{tUgܑ&Ons/q[$5IpX7789cZĐ 6$3F)Xi;!%  3h`[Ҋt۳uG#v%#5"/ .JJd/Y6{ U9\7 `8(9C,*)J U‡Q*˽05`~XvYLxһHxWBOӾX}غvNM v!w4doaۺ #"$kc~4ApzgQS@VпCS>baB]3W/5 od> ߾0aqDy_ "ߤ^VmF;ɅDӟzH}HłDz ,2lgmlILqbhx2lv,Lbeߢ?dKFPKn@)H)#BHJL_i}轅,i(L C 7|RN7@[}"ܐbME5(ل6L"Fꛀxʇ!a?/L{Iʛ ˟_٢i罫12,YYh`ܖ K$}PβElu59[bhXP4_닲 28ֱyP4l$ya@FBLV(>:*RŦI`xGL~-gYZ40115cebefc9840daf1191581c77ad2b98f17bc06b7cffc78b37704c68c4a7685f80ff2e47a7537c 7f368c43b0534a88b3227e5f60a00015a4a52856 c7624c8f21f97470044675b8ec8a2bc3742510c5