SQLite format 3@  .;  B --?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 Q|dd ] Core_DOM:threads=4elapsed=309.356cpu=1025.252gc=52.180factor=3.317zXZִF! !7]ŗXf[&u <|$Xjw~ tI~'⭚=ZJvDՑTu'_vx6䠮B!2}#M;g?p6YvjXN)~*\-]S A[b"^tП?,}wE!'7t-Wt-*,N_'?F7酐|(,:q+ cd?8ꉦMO=b@2nV`W ؀*`&ú| =G@t2`(+^X:P#2Dػ2kt[ML0mziLVN,bܛKV<\>W`)NuY7|0Us4Lϼ] wE-vl5B$IAYЊADzMAOIbnU}(ao8S8Gl5qHey6:f{Zk!cXAv_B qY Ꮚlz/mfuz;RebE@13펄ڔMÈtAݰS*R,pME*zt(]ubV(btsM=:Ьb4`8)vE*BJZ =̽ZG'9YimY  |W߰I )QH;A'?2R,A"YUH$=w<ĵDr>ȗ)N8:…xzٔԀd )I~`Yӿ#eu-B|ZCʘƀ)kZ@#0L睿:Sx@i&g5f+;tunFv1~?$v )iXU'W{6m^S=qI  V(Fy2x/bT䅄)V<4d !lFGlzClwq9TJvis G#Gժ0 .' -ԅ8 t Bvv3zy| 45'3Ʉ}Ku)qr0[0$!>). 3`Vp1$(户 A2ʠoPcTEBCB΅ ;0p N!4ThfiCIEjO YVD*Svի Qԟ:+nлn]zGćي']Na"`\u^+zFElC_%Lqs!jC FC)6mo}X5'>fA&#a$kzcqڂP^^G 63}i/RP{p@_v\O=c!R.IN" Mc2\0ij;j+ %i9NbV[+oZ@b|6R= >㖼m_'w0jk;$m'rT:]Sg{0ˀeWwjFic|,S5DOWO]J$Mu]Bej&ܔ@,8?rHDA+W[2 {ڎUj58+qC {dyk"_ZBpz~*yBU7k%_Q?#G?M/PqbO/xf"ikfckitu \j #;륩:P{ưiYޝ1 1U[t"0Ps J^֚[o=QAfUJԪ_f}荙-q Jw}(9i|bPnyʴW§'J)#lDA/-ctr.EN5"s-??$ +C9.Xˌ㙙2Y !M`etԆjtyTH:g.?Ĥɚ?B o'*q"CTx'堐8K[At(v'vx)"egEo~F F,p߻S0X.Mbb9xnkNspw1OASX5hA^FXѩ-T] C(c8(Sʧ\~FYm7mvU--Wnzp ;9 0ϗܠJW̅Fnw(j[ DsP-f̤-;~j"HyQn$+`nîDּ 510γUЮ(M3J*M|S̡%J.NiϛZk-[#j Ofks"YRo:1L!yY=Pa*'I#8{}z+f1CE['L6%7vN:<> bH  hC:Y۹a?sڹuR{`W*N2NI>f\5"]|hE0{R=XEW5e-kj U,U$L k1 i/Ll<؃I}VRDB DEC%.#yDt$ õٳb4̀7ݗH8L?V\茊6v}l&*k F7eTc _d͘b7Ww$D]RWI$~z/W #V’?wW.zk^6A5U1f Jm8R2?B7ђ}L q^ (s6B<#0*ʹ1\(26c/./<܆ Uޗ9ɑzُ-: {CO?**I&s,nN B1_y{^Ӄ0k%GVW=z_+Il^Wab=g`В A(eJ Vh0B榯 k"U*@eX*yui+tq6D=I:XR#d0drJH>s{Lv&b61A'޸hSQs6L>a7K A@T!<Ơ gk$;,<*MʿcGW s?G3kp\z II/E=l| H3ߎ-xߛ#Q@'#҄yBElu݌~"[%Ob(PF.F2pݬLx@rnFnO&pKۋ^Zt_ )-'X`KvƑu*=EQ .1ɦᄀś4gL {)wДz,|B/9_EE@͋ ~fНkTc0*S+CEwMYZB2R(CP"!sBm\h tP\Nm`ܩD-#O-eI8[ L}c$j=z5 L*+L)Sbb=XpuٮM ucN |¼][hBщӡygή3#\$1ꗩ4S 1}gd8|"~.]}bȥf(z{8DR$?O{rnz8Q?==;,w;w4fȘIr4و1c0kίfMXo^OU4[<ƄﲣӞA3ǢBܮ>>y؃|`mDT\rsTZJg--ti`vyTG8r~ޣL' irݜ8F8[VIDRbHLZ8y &R*.7G1=df^`]ߩOqwS Ϫfԉ9ր~zwNqvѶΛm:|%QcĿd&y|I`܄êKN8L?1QL$B X@ߋ#xxLXEpy!Ѹ*ix?<${rÂoRT_Tn[_֯3Cװw#ƀaeI~x`iT@r ɪ;^ C&`NZRyE*\)%"ck P[Z{J+hc:f]622|`ԯ &JDPJqPݏYt@>%~%e,c~Ac Z"ƮBmZ:3]nHr?p@ wKFZ8Ljpq ]̄CA[PFiLFbuy+;n3)Q^u~@ʆE'`ؿ 3qMD 6AzazHkcיjK,v )1{Zh3uBD)PF?ѭ.!&edG TSfupah wߏ /_k1o  \lU~+ Suts|I3ZVUGXS6;Ì̫ 8GmE Tx$o767=ͻ v&ݠj;a_(mUOQo5Ʌ8&i:E=CeĥA}6X9T|"(Q,S7bW]r)!`k}gCRgvq)epFCdˁ@{9jZ dʵa%b#F6C J55eBpŸaG_k>?{.5،!x1l] Z/kF~8F /r d!Y])g1%|Y#21"k: "atZSyHځ`}/NOvE7\Ѕ&ê+-s, eAu9e 5X5/.hTY\dUD\* b QKZ6IRkeKfz 4 Oy#a!TAѲtN !*J amPuV FVKH#wǕsEcՅ'`u9V!nuЩ؍WV u8ksP!-gⅆ9k % `1KY%UGm$Ac&Y.; r@>#/mq|pX[SBx&WȄFXU7a'_BLXu:LfPoA:s5Ih:|kIeU%!s7+.PhymGO:q;uX{87ȿ6di$xv/e@c$O;@{CS#ZH)h{-l}W }Б s1Yq}f` Ņ++jroKe4.B03,%g /emV}"lJkV",T6hF6,Q8FXmX+jY upnq DFY9*IOxcNU$s֛:Wu0S IiwغX$\jou C@Q߬#Ձfƕiw\^_ _X'59i `We5ڴ}}R)"eUӀy2:5;9-JHb}J-UF""H&?Uk RS>Ӽ) AOhgYZ7zXZ F! j]ŗXiɟ69W:)N}})Wn+xƾŕB,h:X셜,_tݐs NvTPXrE3y n13݃F^`s3Q@>e l,.;cIb cL^hz)Le#SGKRFQ/XƩ]C^LXT4ݸɫqTDsmj^;+/%;:@<lMh^ &M6,c0 > !jjqN)@ٹ›ӯbe#Ҟ~$.7gϝ!CT%A|K]ag+jqN>dߒ7h]d@_yqP!ߠJνK<:L'F#=&M ~B B;pӢ{>h;VB3uPH+Q!!~ʍ{1e4Gʾ[.sH4j1{K=]Ԇ,I{٤*\TP8[C_;5~bhLDNNj,7رgYZ7zXZִF! Z]ŗXi%L %^V"2og7HOW6Pʻ>FO'7<`ipΤDjy Ayr  v_XOp*})~,9uu9E1pvd獠MS ޣ&chlZzδ p4@<ӐЛ4vf$vgm)b11HQO0aڏˈx`>cWTV$xh8h B;ղzPfC,%k]zx<"9Xz:0y~JUHy~ǀ#ӛAЏ ρߏ~ri bٮ;ekp?@bujōO]N\p{;4_. 4-0nPB'%%9Q/|x2J#?XݔỲZPBAgkg$}p8[wt :0{mFu.t0$?d&|A"ުujZS9-^`^Q*Õ$ˬvvs0mzkPsEz㕧ĽJS i G;nF5o.%abԹ*JC,D<@kmc6q%2~vS:_N7۹ )N;|)xX_]iW, qu6<ݹ 8 ۹~x״ӻ i%XG=!q.}>+wqʩ5^O7i_mH4V _0͹S݉dx2+( oЂxe!>RCuA\gw ,u=1/'BV?͉vnnj9}vHkAvd+^u]7HM_&j}8vyq)ɧ.@OHz"2}^ ,Sn/J:`n}$^V2rgC0So-/T,8-c#ܢ@S[ 􋚁'Q5yynG ;(A9~O3,]T,q17M `y*odFcKJfЗ_}Nw4%D(0K w"K0d+Cu-Q .DsZ;,2c4(;}5!e CP#OE75S G<2uwXql^ʟDFu؀ݴ b kp֦|% dSQr';0ͺ/䛶&`(6ۺd-2UwpNGK:LZ5v_#1`a1ZC\q!6cTbjxyӮ3Ncq-<}w.~ PSCu 19N{6oyL޹YMxLWc[bJZ8SYOxz=֛yԊHt\GZ\}[ӟ~0 ]@P|]t !jdigx95ҥ]qWWD]\ASH§696\HWt sHKpy HJ&VJ|9Ђ2m(AK%DoX?r:D}b|P19!"bxWgb_F@QB 1G~N/IVY<̞Ϥuyn$yRK>["s>!& `I7|2jL>@ň#_U^7/5Dk#@LVAߡ%)4,Ԕď́ dߐNd7 lr){9 IQUi$vs31heǻq~n64ZXRB_3]/?t X܌BZl黭$q%:`o-S( Ú`f6GgɊ!gsgUDguJr$b;M8֬Y-lCSL_BLb8ns,9-t,pM #@M?4R&/a`0#e8C4lJ=@=?1Y`[]EdQ}Z1_'Y?\3&֋OJ@@HV8 QEse˰(@` ^録!I,џ"]b?3jXӃ/`M^sԊWʗ΂t+uK~e2OɃzŐv= :sAIiJ:?eu&.|NWd@$ɕ&Oz총VK,2[)HMgYP  !}/3>`0g#AfSZ^ɵ3%:LQhXwBNel _W;p{Z߬vXʞښh#o5,t-8﹄C qh['Xuj/6?}EN:&P̗$M7:.k%I$un\sW]'yr`v3I /A+t1P%Ic5\k Y RmMRp?;L?hLݘ53E9״MB,%}%9m~"J9݂ST P[p!b(a#aм%"WE0ݙEhᱪHqjڪm00U:3t%;Y+0l# A'Ghص`d5Q+Cd\=n8,7xZ&8ϝW_5`d_~9m_ ȷ*I 1QzR`f~q9+0/20:ĩH@Z ]o8/ 7A ,\D_ܢ,yT\j_1_jhi:6 YQ-feRvO,Ciߔ'}"sjR!;ylQYt&~A{<rpO:޲gĐƿ`R}i=܃`H_GBg1Xmzr-MtO[[v@%2\Ο=QB sWXyָԽb^8W(SzեظEHlohb~h %"ePԂ2rw0FiWN605mNڈ'&dHGK*olߖN}Z/(!bM BH7bԻ"QA otG?K"-#Άw5ǿyEE`<0҃ex vADe!]T"t,oWMn  4;ցaV8>ӖFJh9 /ܱҮ}yqQ hӵ#VIӛ-CtVp _()57 bETѐ8GD{F:L#笺pՠ`5n5o*6z&&\#V+P:BQu'5g`<$?˼==\$&gNPƐEGtS!s.|a<,\yП}̙avgviSWl-'hxdK-Da|wK-^ Nt'GWA(YC'hSI~Ӛ`(3BXKbڊ!/j54j:n5RT׆8&^(gAi%H<MENi }spѩoiB)ȊAYm ]27U5)o>FB$Ja04U(y.1]X{W-΁rE_V 7t&Zwj=9`ȁE2sT׵aqc'#K?A-1qGOdkuM {lZD͝g!~m4ǡxNB{Y~VMZHU X_׭цh(l .+x)}c{cD~-O3 #y'\pRSI|㞞LdHD*`Z-v+ka]) 6*SZ|&)3K^US-)K>u5' (vS{\\4G l&tԬk`86% n&f@5 +׋\ gXI-(ڇ=Z,U# Z9$}Y,TH }XNws:g> : W!{(e!L/̈́/_rJ j|ܛB#8춒KY~K!F/@揀s@r;w"l-9F\5㚠+1EqSWGj*4D_'n]dAo崙! ߻LjeP1:{Nwֶ1uC!~@ *O#!Wv3$Ň "< iؚW]n'& {=Zii9n.Jt Wdoz + lv>Jq!- AvF۫:`Y<_ÚAUCeG] 9!ܞDfSWl.[z2Ɋ1\cRt12%$>to+5gR`8 _@y|b]Q-k"xX tn1ù1Q#7~spOO-7kGI4o8*RdNg݉knO4lP\CBYyٳA I^LO 6~t"Yu; yLE: Ȫ'f$\o&,#&K5K12ɥ fZ[M"_H F0{zKm~&OA(IXiF?-V?&1x 2N5HdfJ1)M|H t+6m2QEނ%L_6P8aF"x"#X1;Ușjhf9oaL=J0# j`s˭wϢ_E&yM.ZE3ۤ7݅߳EŸp ==I 1xz9H̒ﯔb \F%>fOgvs_f{x e-\;<]; _75unN\1qQ"+ Vh;0gHylҀIqfߑ%5ĕ"Sˆ6 KfQXRtj5ft& s8w.|ud9Åe۾Fw9ǏBzDSiFyB;\o'vAm8,8&Stl~Q*ߦ ۵S w`+|E%9v):\\TV^{=Qh[]R#٩A+6Kh7o&@4Vqo@Qs; R*/@XbpT>F X|x_h2@l#(6 C"A،FR̙!wYa\fDn;F&Hz )gUȻ X8U-Ojh8V+Lpp>E6n·\t4B;'f,X%A f p}5RɍֲcM:?]lab#CI)E׎rscalw+EqUŬ7-TUXL@ "em<]2G! P*XNsƞϧV" &ɈP$P#g?I<aAZM'afPhl=FwUxV(xm9*{P-ß *bN.a\(уs ei># ʒpPzHw&:NlZ\߂3*! FW>6EB-*j^$JVt?DyEu+O,$顚G^MkUp=X^5Tk-弟y-`jY Hs|ImxV9-%9,*|=b) j)O6OY'))eCrah 8Y7"L<~JJ\^[ wn?tqР7qSor03nP22n}Y󄍷'@RdL/+Er?"ك3+mք 6۪:/YⷿߝFv N{%d ŒĪˣԮk"_Pvj @.a pnEWkBAu+SsJИ#K@mQg6 WuI:*Ƽ 8墲X8h\Q:˔x\@ѽ 3Vt=o @{ sƼ}0'IDbx,ן7ec-E 喲I#,UУx FК=67 ɾ-*oucϜ2C"43TL4f!]Iahhs4 fkfJf$X Am`J>" RHC^XTя~no8G"C0vȚuD:c;eQ PSF[]YU9d`wpZWZMKK"e`K 4M1U~"bGdo}49厒Ŗ#U|44k5:^ݿ R7 ʉWu/M-Gb2sN-Q_òM;lPCG-;KVbb5^^@ b7*irq *%x򊮄ԧK M X;ܧ2듃)@^c"S="#v{ׇpxnKŕ@8!TY K7CՓU)l1W;{L@My {8(#0*_Ȋ*j o3K)>{GEC$z2)+@8"QgӑHteo3oc%ec4ݧJ;SF0{ tn`Mmwez>8SncCj]<{Y0^\X|z_[!7' 1'6 @_fvзOF3q+,2H[(|+- $G})im?["M VPeK-7fOH3jU[*L(1-# }GOM8n*BpMH&rg4& 7V c׃YJynR"]if;Fqr<Ƚ+mjXVq#IRގc5V=HSbZx ajB4[eumڠ?'^^O(&B!8a炽kNDzN >܄j }wvO hG=o#_Dcy4&&+YTi?8e߷X@ZjP6x[ZآTe ?w? rfvn| G4~6Lh9p|) H]DI"OniQCk[PȘW%FidJj{);u |n`ŎJo⻡}hG.:J~wDȰ@፝J:є+w3K:Մᯍ,^«Vw$W`&&ؔ׳/7?׹J_&z%PآF⵷ ;uwe2ĝ~힉ZcpA~\u5 l [}C801$#ҺFgV)4g!*܄t86δoH,sD 2(:j\ kVw]K毨 #|>X:Rvʿ)} dxC@ןo@.5~V!NZz@a:hT( t+eB}?? I Mǡ l w5a݀( BN*.wY C=)JR7%#Z v Φ Vˤ_5@ U.D7 >3p> Ӕ 3Z)wu2(z}@tVI/ 8Ҧz$W&ϜkC%Ϗ`ĒI¹6]+B VEP\vxJ]n ?|Y g>fY5i -%u4,TH⺮AM:VxV9,k@SsgݽUHO,91^RǑ0Ӌ*zu?,/Ǣ Wׇ۶,=vVBLU !'7%y+'3|E\ؒխS0tdHå0d+㰊'jjL:U*ۅˣ-=Q$ W3!H`!N!l> ',Wg,i&oEh2T "VXa adKN8lFkfyx6p t'kIbّ܆w&M6 ??BakFZ=I#רѰ*BAIFBFQS<7HibZn>4 |̨ݨDk$[RKC?!QC (pϷKyP-a9A#)wm])fl㧯?MÀ5*;y謇X:rR [dp[(٥@#ݢ]g{YsDގTa.zc Od X{2<_ji~--o:̋{+l,*,0lN6jt.0pW7?<`ZE14 .vzJH/>ĕvWtʁm#19Wuș,$,1Lh&2<,tHI8~GfFc C뇹,_FH4GNdQ]'4Ӂu&MU5|-bQGwg3]Pv`Q[P\[q)1z٩ uOlzyPϘ1GjwCArELV1u =n@>_ j3YZ̆7 ^˕3g!&f9h: G:xˇi2k1gKΔE @w|PP9s=؝hqul"Jf$\]n~ż[(6*CV>Uj4&:PCC^i$.JBSs`2 bk4 ]زc0ktĿ^7S>gDOc :|..ĤclcjuNKh!Q/Ud@S#cRNRS,tՁ{#)D[%*|'޾STXy7m".~Y".J%Ml̻^+s>ȩZQ#|I% k{ٮ7@A@m9MF* ~1mwҕ١xuE# 6-6FZY670;6bN7k0"zKe4DAep -^`/?&hE't/L$ﶊ_Mp!/v#jGRKCc؃%\iOlB3sͬx{ l$ WI+)h 8/ G_? pYcuCsHYA|8CJu.@iEhDO0anbRvtvFɺ(\D\rbTf77F|@I.0N)"q*1ErINyj(gk?K`HlSICJ 8.P Yce~~_CƬY^| ٶϳEWz0?eK(z'QHrk? !SB_K (gy綠A`3ǀİp r;;t+4wi5ڈN ^PeH(eD14>i=b~਒b1͛W[ =x'(#)QVF'POwU* STq5PvUƬֱv&֓lQښۑX|B|`dX o]uyƩ&w-ioG %=|+}lm3Ii5pGB^U)PE6=>.eDst\k`Op&D<1s,I vλ?ls4N& :hT@uu#CKIQAҘP~i“_@ܻ3dX@HCf៴?։W¶讁Q9jY9k Vi0&G6TڗBgLȑ%b1; 0Ȯno0?%<"k1hC۔yho_ 9[UuCXA\Q59AeˑJ,őf ;uWLA嬟ݪ ~E`ΔP%>[6~_T@pz&nFpDW6d!'6$]ͨZND& U ,2TM Mցo+bqKM]G;qr\EZ|bRh&OEw>l5;TJ$~h,F,\|^0 ޕnM?|M@\ͻ FG,[zE P }K=`mX{IV 'F `PoF[eNS9xU2ش9 ~@EH$ZicNɗc5a\fyz?.˗ń@1n=p޽E9Eu@M ǞYK[xH21m)qѶ=a4+j"uQcRݠԓ,If]߇exOۭԔC&UKvaE]T GC) #E)Zһ}t{@&dD %)j\x|8%u,ڟ/"gQ)~˱!BBC$XR."MsvQ7ݝǩ"径=N^!+k#4>֌:w7\7vtRD\xo2 K\gKc۾8;kw<˘9;%2a^&J4Y|J z5gCF1qti<]YyruSLd:->'t$pN_Re*VK]< :DB?ZXG\0F#r1xp4z+6P;f\2e!9!ӥU-\KiyfU_趚^PmrxhU+8UDd es Eؑ6ZyO: Z[_P?f4e|.QAkq;eiWPฺĵ\w#,ݷTI=WzX^ =.j`:9J~N`ԁmBJUy>a&e=%CJx dp\KĜY<|~tp\sǨT 0|me 5GQjɀ Ks2W?mڿ#0Qn@?*c>3NZ<1Xq]3v/\йO%@$|:NxkO`!]&Dkcۡ]8y #ȹ+jJ&it33q8]ڮ.\J+ZY駸3ިؓ#IF'wNJ&d QW6/'*@b:y>@$pU8[lG B32=N:M)5IwY3ҴBu%:]!_9` Ogې rD $jL B(CރtoaJ^s_uXm_+$?IemLg3NXb/+u-VpCۼl=ǶօZk !DA{3yV:Qi?|x*D] 7M3r(jCv 81kZnґ!KɵUEɍjzW|sm0a#lY[ً%Id:zӆ>go_?xo[wA>A8+JL/ćS0@#`\4IpUxvNvȩ|2| Wy< 'Cc9O%Zs1c?]ٯ3!:e$Ls:wKOہB# nRNnw>`f Es[^v3wN_rkг&ٖE?=Vy_('0egUöԎr7֤tk /!Wq[zQ+MDq?ʳ _䋼G~|җ.89}#O5\[&8ڠtBYc`ʵ|oc$w3=*Zτ.wF^QK~9wIuEPY=bsSںV1upAwaJ-4pxߐ3/ /3绢7M}i*=ujrՙɡ\rހm 12$-5|}}djx w>x PmWa]Z!h*2dTm&[ RH.D v6@[\ť/~y޼NTqQS ,+pjPyͼ ИgTԞta8 (c1D &Κ%3R_"{ԨlxT ,v,,n#]#}0tUpNwDDe|yU9|Dƪ]2Cw0wO%fI+ē(F gі(HnPݵ=z?Hz L[D7 Y⇕p8)i2uu؞2posU1)!|FʘbI .xtlj)L)_rU jfQ70f$\k~p*ʦ]"S`Q:gjWobsws,N+ǟ$N]/8V";|&?sRvFEaX'smM50~WrpI/gU`I|L/]X Py9SφZZf,KmَG{=^@.|Dee3"ZA^`v{ IFqtI(ʡxRp?r;r!p-I,zD$7}7 ǩD -:9g}FoLċ}wa`,X8SH~2>jxHEЬ tGz=,.-gn{KMw$7W2H6UCj*x~2+qxGW+!=k{2uę7b9AI u}Wx_c=궔7KnHaޟ;{[xL521^Kx 3xt11P:uRV}Lgf$Wm&CzHn1쭊a;k|>cī @ ..QdF(~ 3Bx+==>v<-) @ u@@qB*" abHCͰF#&6@NNv([JYn侵Q(%?rH*)GiRVuKN's NWu<}FymJ@H-Q c~:>Ws(^"'ZKyddG!Off\讀mβÞ?G륧W>?Ɉmo Npè@!݉\@ȦV(r߆Qa 1wE$fq0&l*SS6˚tkt6o}êP;ZBAiiCVߘ8$Ճ{ZOTw O>} Hn5ayÅ5b9<,4 ,7< Vт%U0e>E>'v]:J$*lO9\/07$/J@EJcnL@%Z5  lzHS C9~4iޠ>e& $F/ I+GLkUbB3Y+<$@7eYȺjASjPF18pUq` qolSZIfpd&|/zUձrZO ^$nTcK""9?"CD1XB5ag 0VY0{SUR,>r c{0pMQB#}-ˍo !Z6|UCȲ'El-tx⑋a-!Ür3b҉,)1 6xvNZ#߾7;)yO!4Gn/wR4}RHAU2c*EaĂAG8 oa1QR\ AiVB4x DN:0bX2tc`eaL7`dvjbh|b&l\#9*.wk,þrW[$,LCWYȮ#K3~Yb kNt[6:x TFl'f9I5D<=*T)ߢ!~bwBS#ou,u.`q}ҕKmmG?{F=/p3BdP$D'Di=^[ۼpnjP`R"I"\&jJjj?_uFˎ\:3rPPM\]S ] .JL>Omⴒ`N]`Ϯ Z#Ʌ~HnxI x.Ս0N znl!$}~e5Az]ӆTI<-CEI:74u| eڊ4 9€_nm8'qUqGL "W4>O5y,::mdx9T3asks)u{K,kX9<2Vg_{$ȀqU keX5;D(,( gwrk2aD=c@򎟸b6wo<0;qQZ|mtT{KJڊa*1]u)^ɟ6bYݑCHK4:7 U kdi̔r\쏔%ּgc$v>@5N%zkDŽ_] a`Sk|\*V͖~Wp"î#vpǤxɡfnk UuJl.D3(nx8|G}͇Ɓ[sGʳ,(v&9"A{YɃ\AKi)8L·cܻE&} z)u^\\1.0{ة32>SyıAM-]]#yɭ1xQR"!BM7x UG.h!|'f=\hq 7IpusS3@d^%nΫZd8Ӓl=,ւBPbfS2$8zk@lHzYAʉE(O2cc4LFVq* ̨)!(+Bd 3C r) wG!tzCۜYF[?K9Vϓ#Q.DeY&zajVYnE u޶5m_0˜FW!{ŃA{ `aK:?Ibi4QMiBsG;krZEV82SBڕKAbqb•N^^A_L=3pf&NPF˶jg&2oc-QR5d G{! XWEQa RM2EENQE*GQs'xOJupXǁ>V1_^+0GMQ⬤jۮqMͳ FWzPz?=(pf (Ph[.nq!uYɮ7wf'Hoȟ"PT-kr^DxwbuC_dϘ%[Vj$C ut,mml:mձ@ $a}ܳl&=Рw1μwLMs$X,,J^t-#Б)b;,X')U=_6 sw8fk&%gg_ 'Tz!tx b4!`~Qz44+obNN=ʨ*h ["L؛p_h w,UT2D;A8mFLhJqԎ2H19uJxAɉ|۫U;Ybt!ZzX'zYI&tz/cϵ7Dr_2۳xc^|GP}9C}.m}y{+{.a$;,8E^U&)lY|[aJ.gÓwux@G*5w(v& uI;xhcsUkrsBk4Jbqmȥ!ǠtW3(D|$SVBe%NXK>XXwRlb ͙&!LtaP4|i,,A( kkc+ u6_@Hߐv{1ڲfJ@E&GI-yKLSn82% o3Y@ ;IS)~Q=`;')l'˃!'? u3H[]f8ddRO^Nئ/\{z\t[_xBo#?\qLM%Rw('LdYE3}XH4a[qcKTm*lĊA(!sxl9Yƍ R4)&iw=_9,$Og PoRMCQ/2"a}RđT/Dr[ef8P9ӽВ;6QhgNto D Ji!!tYa9C`h%:VJz,0v+I3ų Pi3戻~Oɀw.{0&!# HP EZz|zKE (:@u_ 2?ixB2@rkxs>ImF Madf sϽa~1Q/Yl5K/!kZV(ּF} ۈ?98w\or`A0$־֑ҍR٤' M=g"(x!/fBҷ}ͭ>Q\H?C{9 HI 7vVLς]fg95l̅̑h"**Z@ZMFL"ak_zoCOf q6s\$stu #՛L(.& fA@n -N)cz!:>2rwXYC0~ES}`)\57nR; "Fo;_>5VEZ +l"v-0$yPhM嫱]עvDJ"!澉 !kR.,PmSY] naq d.M^[l,r I4ᚩvy$[A v(U_Z9FjU`agO*={Ү9ޭ:4fk1u)=0 x/I2M“#hQe7/Oޖ-S5R'm 1ƫB51 ..n;TNCQSKi`.?(0LJ#LDDSB&bWylOޕ q!B_Q1~3K^ dt3l>A 0?{!< g˳ЅnD -gYZ550be7b02f83bfeea02373b03f7990508928e0dfd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a