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  z zNzL\d ]S Complx:threads=4elapsed=293.891cpu=844.488gc=10.7087zXZִF! lv]]ŗXiɟH)0%o;XG0  CRA].Gw#4)O\llP߱=ga Tb<x"`,ňFxXExKQȀ$5$bSl"LJsU(]Fw1 x/H5g謭8:#`9.(nؾ`:~DOWxd@Ik0\ 1o 9vN Req>8cZsdp,|H#%?Vn6~r$U+]q*wC`_s'ǫ71WrG퍹l:M+   Complx  7E5g`_w/2ےXPR=&(%*:x-(; ~q u3RI0Дt8dNOsV7gS~Q" -葏 h`@\edN"pЉ:H{*#BjqX]4'k@gcŶJǟM*.Zx[c[dʣ؆b=gKDN6ҕXbl+O 1!,$sg5i)[6]Z/Uqw=;^{rxVTd(`D7-fl'TGus0>yRk+N!QHpx[ n yTo<"U y§N⹳ϞnzA~Rmvb)Dّ2z!w+ *Qܺ+s=@D:Y16׶lF0J.b%e~oC&~e.JX"QX/v/QAդ}Y=_lt#vbATJ!)Ҭ|S:?<2GXf0[9k,sx#@[\XW tUzx8r+C_)PuZ'kT6Lf\>lM ׻ تALe5FMDw"(@y<0ݳ-?Α"RȒ@U[9q?Z"^Z@-y mk ӂ~2yCU)W1Dɑ8;$zdǃskZX|6<<^6[;BF !9ĿИH\g ο^6#;C)ebbA^ YG+ O'^T[t/ﰎ4 ]UrMCp ֈdc, pnzs|(f!cjԍǼltJ_i 6ig)A/DJI8GBb D.00e.5s0nS*,"aA'=|gw#~ ~Gƾt54McH}+M_G6d06w{sC*`I'~R?y_rm){dތ\<&>0s `n&^M|6SӲ lx8e-{(~Kc\#\6wYQ#L=5+)Q1nAN"hYsʫ6nOL &{8҂#$sy]ԝ;矸QSGBR~QC':b{Q7cLF c,b58ĀJ6MW(O'}uak%)nfjx\hwЃm0?/=hga*Ciˏ} 'hO"B춨)i' qk7`*f,U5r:HN;̧W"ƣ1-  RLr2"q^6̀%݃*;6T1t1߼[d-U @vJ_i5mMD sN  5i@w}⯔ <&M ҝl15}ܲ2^Y%嚙l~YbM 0}h; [wֽ5oP|vV:V(ףmϭV {};ZE/'zkGܼN&^DaWZL m  mS.M*ҨMΖ-YZ!//ן2<޺`GSz׬C]HD[ڂc1KV)ivМR^#и^W\fEȧ7txq?_S;[9wή{S&.^NŊާO%iO WN5RyD{d>ywp_a|:'wo sOVKF_W|Pe2/XGs=՜c}]k`Ħgo[a*D^G [,>j8^2ʮ@:V]@pI9) xWYl 2-+ z )H76+'у;j]Bv x7Pt#8и]C^D͔֭x)?g<&PaQDKDF~h*}; ,a% ˌc^H ]Ll\2=C6JeY S8P8c%a'EUq$}:ѥc;a]BP6v|au$ P F*v<-8ľ0kU~F~ϸ3Hn>m|Hч!zxDmf[Z _ _R1}:] F鎆 Op5NxWҗy$LS/t*^˱DQyq# ~^gΗD1BWq ~cOyc,>Syk_7vaSC#AF ,By4ص ;E ꐡ7L4Yf0 X&Yu~}u@~Qꩳho&X`NjꢘWg}Kg(GSh G_Xa$/=^~uw΁"5Z/"FzEpjI=KBCSDQrʴLJM&GDimq)zIb̻Njxw6oش̩=O;,U&k\3}IvϡݔpsrrG=R8&Q)]L>d\EH(nʛ+ؤf U뚐Tɐ 2 A?p # ͬ칷aW$ߕr$XV0C} u ׬ArX=yryĉ_+ Ane As],vqGHvkKAC\mqd`v^sH֭2"a`7^+ !))ghvyqukW' DoZDYXM̠ -l!r'D;O7&7 :C`R*wʙU~9GOW9@.G𿚄c*ﻃ&jѶS O< |ULzmFi~M3v-fRNV_iQ#drhFQ,fSyf wqD>@g!h۶["eL!ylm).JlE14ZqR16vQζ18"Q.''u#&:!TbCcY5q0.84[D=UfpTۇ`[Cnh|4[uTs]umbP <)U{|r(Y#b'Yw= z4bJ1>3ÀFLc] l0M/+J.wF;aOe'/?%ؚU9=׷4 nnB s79n_EE1*x)3jnShYFUJY?O 쑙n  48׸Vy,e!HiO-zbE+#\rSPV s|OO( TbPQSة)]> \D-(C9] \Dy$ĠK{è۰a2S#´fn^?y| n[ }IW]+xfz8YMp$O^$J=EnCJ075яys^OɶGH  .0(N]_sc^rol<~b6 X]w#G縤[X>Z̹| 9 45 OIXٻ1='vZPdfyqS ț{_ޖԁ=XCHgbrW]~,T{$|2QҹTzj%exG'=*ߺIqae4vŠIv&O%|ֳA0 .+N(e)4˜8[u66'??hz! > $ҋ9"KŰbSƈdDk`qNnud96Nۍ!Ɨ&_;t<#fmS)ѹ+5h yGLfxŰh 7g9ޣaRjd Tuh%'?D 9Vȫ}.‹y(tq 󁯌?<-w b3fc{KWB^ZG/LĤJ8 E!^# yYU%C' Z[ X%o77YRbJ-+{oxp\ Fzi鰻G.t*fn{3CaîͥBi$f۴gþwա)|Zyq<)e.4?/oB[#"1B֥)QtpKj;s5n?m >mːtH+l].e_OcE*.8Ҹ0x˛?&FC[tʩ86Z+Txie aR)آjmTX__A|zW,,7 Mnmpoc]ixG" ,= sӉ!13=FhAUJ.PrZUz K:A|rvΫįw?yZ&uV6=%ς㿡"8`]w:-\؇i`hssPN'Luzu=5<Թ"GP,W$SFd›2Y@8}|4}N+Q6D$;4&J_1S1.pϓs}#/ U|eL򯊍4e$m٤Ҩg.<*MDnpkƹq#(EHl ބ`dyـ=Ή۸ 5ĂJ[NL6aW+6ٮ\ :\TR*};^.M q_ :4A@-8ڭk@C3tS=pXVr=5ḷ#bysnۿCxSC^ݷܮ A􏺞ԅy)qj.) :gPbt207o7g &QևsVL xW?H\Ŧ9X?9H{E>:/'VM9X! mIK'=^2@KRxa<ExX ՆZ_ pH _^i6!9읧) 4ێǝMM!DSס&3I;+#QmBag!M^ĵIӖ]h\M7)َ~&B%sA6<Ե 9(f*Oo`}fQh7-vɿ2ěƘr]Q)8>Psa}9G`wѥ/~v\+@'IƄE&[L92Eetj,x]\vq؈(ST+ >BWP5|7R 7QXD_;t1zhPz t]jp^%^GG#kMǜm-ɷn a7Zџ9p&sΚCBCUn8pZۗCa7;D'W9b?p̕1|박4n ? JRcųY"Y#\NmD9'``"U_1E4W;UD徥N)3%W yƬu`Гشɠq f]?jDRگD_5J\2DɃiV8!a.}QO\:ʥ9 ٣W$ʼn9 94@qCtd rqN2'>D ;%*}򫔤q KRF `942>0l|b 7[[!\U.CDг@gα+hŇ(f //4<)#+07&S۽BzPL$]ڑ ̄o 2:: ne4BPk%'D^+!IjECܒ?/SR-P5kYhɀ7t_:nR/jj@g(ikVMmTX9I:_IDXH(Y"3ˬ!{_ŶVY|{Qp/!2QWej~}5eJ2N将; Z|G6zSX<BrC(q: 6 ,RU˙@TH* M^uP@w'`ڻ6SK ǿ6IT=W 8"φ9ta!kVMi";B}qe1:5+Qzcgt[DDn V}zD=78vkț<s>lE_ 鯴PR-xuƍ KnV3I z 3$ \jpQr]y)4#)O<_jѼ g6 <$+C6-QsSb8HQݦN41Nurel{-q5]v(P6jˏ˕Ə{ Y|Ʊ ex}aa6<HU7 24诤I,{G4o5X=a-X9mvVA1y5B,5/žWNM4qX&[Gzap^F6& MbЦ(&BO҇bk$yfoՠ R5:c _ Df3k/RFoaa7^q|cIwfd U$.x7zlyfߗbF&d6^/QTv+r/QDuF;YG6 㞵XjBIrza&gp8sIĆ <_I;1LB'huhL𓒍@LB5 e^AHާt>B9$6]uVx7a3>&%ߑYl-~w"f>&<Ht΋;RCtGԕe5XwR- P zl)b*L;"ȋIϠvQS69Hi㰨%(GUdIg-J + d޶}uZ>zq)@%c^W JAeMRr ؅[y!zMadolq2xN~l4 bEG,8;L3TQ )˅0kՒmD`-erX-kPF9 I,Ygad@̔ݑU[O:vVOe8Ay5#6yj\I9T*> .VLoԌ0(e&lԉiڮ{ *>0FhI(P{2d/E?RAGT-C]uLQg47"=5@./}k<<,DaE l^[2DGOh_Cro}pc+ l4 էaH')4><Cmm#QU_nYN)Sq%z^ysz~S=fXLFM>fQ):#H[ȓ=_,e(sRs#Pv `b@w̫L'u0`c9Gʗ%p.z8˗)\CR\D-zD9wLo =* ΛލSEW;qQAS?3W8Ǹ'ho6mcu5iK3AƖE"'7k0D1|k1-iS^w-sfyO&^_K8Z`|dD_ԽiNo,kF*~H`XY eNu6 dz\t %?U 2^[~ZկsdHBP7o5c˶%lbGՔvi  -gYf|!~=&zςYDP7}9bfVyw~h+(,*ٻ0.^7ᱩv%tq  *(_QߔU/lw'DzG! [ 1!LF#0QYSvSJ8ՋqD3oaӢg$&OAX"rg\BQwJtZE?U'?"EA]{.}dNc=)^ϡ-u6ybqѤC)qp1qOAe 14[I>;{hI1FDw*/L#1#T^pQG40 7:?4oGH㉷ufɿn[a'ʻ,U8/,TnJt𮛠fh`y3X@*YCx"F|Ǡ"XȩTed .[9{C'cɗ#ZYI~ʵjTjIwve{ b?p 3}r5ɉ0+`;jNXgF$}ac\uT%vRI8hh4LDucgϰɃ@rI*잦$h.A"bC?D}l3AXӥkWm_.s& JNRqwkO2Լ\[u KtɅ@ ѫS MW;!lMyz-J@s6a㳋HT?~OLfhfM)/>a/ajLnyD'cgd tm>qa[P~N[ [.stJbE!)*wO7@L3,^'!5&D}#P;Z相{Fِ䗵܈i7K+UHS)dn~=kQ5 kq|axQ4=B{lOv%')߃h\*ʭy}yL.l>ʄc?Lb!Om4;O 729a{ƈD'zFq&|S;8@_G5M_TH ( 2pQ۶o/i<\8Gߘ;o1 OM7)>ulRQc7[sapdܪ:!m&],~Ui(tj^%E>mL5`2Ά\͎J4;g/Xqt}8*{/ GsJ>u ng8w!<<&&_>cEiFpLtdIJeq'TLTqbQ_j_=%w$95g [\a3Eܳ]ϬP""ET{H!. DlүRy}(H_l4w`|9B?F{q$j!s7 vM[vi ONRў2|ЊKL Ÿ qR?j+ӗ h# i P}ho<׬a <ͯ*O)Oú8R;o Gi>?!>`h&^LhoeIe KꈩK 4M| }wy!+ گi)S/ET ۮS||uN U QX@U/PY|ռr#OJH6?eP2B*6Z= x!VYe?&肫3>ZBWkQzyYk|⻵4!Đ~}ixҕRadG`װ/<[4Rg46x9g^M%3{UJTM+9h_U޸Jmpo,~nm!50 T$ gqHj/փU&>ٳbT/kOden^ nڤOA<{vb+ѿ;mRPxhQ̋“h[RYw2@c(#Ʊd-RI4<_]=~7V wr(Oa?s)w̋6(g#YJ 7-*^9U]dsúhG785aW|e 1S_Ɣ`jYlۡ,vk=?8:ws S hM]I "QqtI3!?#~|?IE%iEt', fҩ@\*uK-2̤By}(5mdy6SR2VjGyS>ýͪG`Nњ:.)/O%Ux\ o5Y$IٛUUѾ&47Z51k ԅA-mEfސ鿷c5\9F{xVA)xY>Iy[„m(t*e$]&r.HKQŒUIB'YڸF(Cٟ@oˇ +iԨqGMnybq/Ӳevjk(&}1A栺:GQAF^˯7˯cIӎ<1%H$6TN2o$?V1^Avy:ZHO.Sq B@56LPۤߕg&ecԏP|/|PGm`W Pc܈Ҽ"C¦W>,m`WSLT Dn"k)rȎ_P\^XQV gf&~K?h3!/:٫Ax C`fG6Bg*`GSI"kPؔVb'}^咚 7ݠ|J|. WRL)7!'oW&bN~ s5PnDP%80'ȅ̙s0]ZOGqRhIfcNN'^BJb,G2̭+ F}^2nAxNE=p(84PU4OE6ӤbnƘHiv(quRC5i?n2eGNmK|f`wBf/Q 0*ID\JL@ 8'KGuel餛ɺ=' S&Yq{AZa9:z{$ w9>m4[J(y^ E{ ْ|1xk;kVty~zI>o)ȵX0E(^RbTZ]ȽйO\U"(A쓞O>C 8t2J ya}ftzX1ԒuJ]wQJb?a9ZE<~ |λY@? C&xTQ]V3#i/J=`Ԇǰ)$1BVͶ6Qx%^6J$9M .okgwTޚH+whR \cn }TSydp@~r ^S(J<~|IXH't8qNO[3wuib[~oE~B< 'u^ GX"G ~]pYr3d=~ qn/B5Iz_e36ďػw%װ_*ͨd]'-{6EHWA18VPY[0ʚ g88'o-&n:z6dqcm/˚n^c 1HWr;@ D,nvI]r9i[O!J_l(z|$v DD TRkm{*@i 7P;{%8 b:e0Emo3Kh n]U6S4~kPn@Vw+X5˼04C:9*  \-)fkPKPE)=/oN,Q0uWyʓwԕt*HĀPUS@yD㱟`̄$u;ɉCUt瘒j _@=w}) oi )IWu0w <3U3,ģi'ӣ Ҳ=WdE4Sb]e f շ60rwnNOuKL._D/y9OVmٍi S{Dle )2sE9Y| -4@s,XsۧA\!|T߇yТä=FR w~#p'㹆5[Co\t?RjQ4G.dQjo"B$9A|˦I; pQkaXE>X o}L9:6 xSY*F\ä3;O;B ->u%#f9u/~"â=Xp]14g눝Ky-(Ϻjol*@,٧W r72lDeLn:3+f|2yړE6]-b 1@yYv6~ H$6.%9:WbIE H#e%h z$-}з0/[*raHal>H2~}T_ l?bQCO"cJ4qڌMU|+daڏq3t4#c]14y5y'[AčsPkۨ+.7_xxfz&Ujܙ|^ uNoSXR"i narCupO-i \$}I~ 2L),)- K}6Ib!#OL E퇏@dJDI! )=O7 mzp53BF}Sמ$S\5At 4Y ]b@iNnDyBCeߵ^Sٕ\pa^ěqg6gR۲\yme%&O 20Q~qbvo9.ViV8Us _,zBrg(?/^ySwYldG|#-Y\˖,TD ꃉ[ז\kBe Mh@}_*̹ Q|7íu0Ȭ ~Z!vM w'9GjhtB/2擎;5G3ZB:Swdh0^^Y0F׿_BcTtGXcSOnr:DM ֚z2*B.KZFM49Z$J5^/f4/''UvTtbkO3% j{2 A),. LN͋3"PԬDۻEVa< 6VE=3'ʾN F'1rN<aDUp!ualȸچ~3'/F vݽoj^^y^L!92Ma),Ho2`ēHhV$" OG'ȏZ/ǟ3q.$4wU bP~"G>(lBVv-5qR"S+ܚ&o-~i 낋YVѧ8LJ5i@{Ӷ%@7/:ף]7ߗ#ς75C $)!KiXf_pF&ouW+dZ(&; ˘P4D{bfbi ),7*)1( [@$\Ra+b}质RjD>yͷ!E@hsBtߩD`8MhsUޟ1drEӈ[LiG^2KUa2:z\o/m5ڝ^ZVgZ2SnO LˡLR|^pf# ?H~@I'dgEc t[e3۝XhKar8XU/>" ℑ<9~m띛U FS.e:JfRn4cEM7iA}>';&b9PNNO𠥓 LbnJ6WEBޝ92}x\s ~)Wv;d$]A`9,W^3G=ZOY΢ J[995dHRh!A;S k&?%'r'~~4Y@1w4w9;4]zVo׾N=B,j Jo)lRV:G%*I*,Dxo36b;hu%ﳜ{ ҀY&;]Hgr3Xm!^tOI7>; v36q8{vrK, o(+fowAti^i[3ZIXyƄu1:@:i`>^bG` -I⠰}iG[@%K^e/{鹋5<ƫ%1ݘ:>RuUEOǻ5*4INؼkЯ;JWroRU}43ENeh5Dh= iٶS ̻$tm$?!z'j:0av1Y@cO=p;!,CA|L1l+rgf9[גsH+m9=w_|B=R<+Lk2'"@~<-U G`i|>a lGo~?A$YqqcghxC g[UqʃTVoRVum'zt[;n 8g3ۯ=+\9' ǟE9~[~_uM> v-]InainsY4hXf _F2M \A4€m:}X$ÿ*Cxɑ]ͳ)C؞|Re&Ն08eIȚNaRf{v+⿵II_G,A~ WC $ޝN2f$t֮s cS<ߊvŤ}qsK*$̓G/ 9GI9>"*wxY5ٵEXJ;p~p(h8^J醙W\~TLQ@PAU~!Liɩ^a@O`@ȏV +T3rPDO,7}I_$:kp8FPaJ,AI"hok .7 MI'=ց 3Y&(R+#cۻ`O^54w۴~le6WNz\`.[Lz=_=㍭*?l8LC]b8ǚ{m8{+#{W6Wt-khנH:6Sm-FA,?{oMZ]ce,(msLi e()1t`Î1wf#^P;^U%.5ղx ~_'F"+njeO!k6iOaïw.JXn߆J~° f)"K`L Q2#Ю|u׿I=e3h/nbF^ 8@-Lgt:vwggހB(6`CfO5]3ۥ%"1~Hyyt-_LA` 3SSM18F`L*EOL~G*%zX6W՘ߏծ*]~ nM˂;PT,D߯X-LS]ZNÖv *Llȟ, d$ГՆV/?[V:UKNRwuvg"8ǿޝLB3SsSw^X5o=457;j2sLI<`93w1NYI~` N2F>y~KQRSËr\> ʛL@ilhz 6;as&0wWCF΢@eˏ'vm]c; rJ(5qTe/WD%о18s ٟ>hvQRGh1r:]I莖J/G{f[GNubLoNj6fPW5z<7PSxS"vz `*/_&YEᡂn/e̸r8oɫ+ Wzﳝxjs E%0[EsU5/ύZIjY~Y م`&E,eA~SuG˟2 B-i`3YVE5U|u2,%:PmاIG%1QN 7{ ٗ6@Tf 5!V],q 1nwDz?]f(,7]c- V>st}N?^L䃿;66՛6F`"p"ݡ"E݌ 8Ѯ7Բ/h&JDǩDrv-tg0z} e|}.9OBol!P][6P|:Tjn{j'*=ϊrs$>7 ũPV<>5meFZ%z뚽:5>\8}7S]7J@>>;2T&0y[[` N]̘e nR}$.$@ ;3&.'zS)^`GE[vA&c^eoK_I5s6) CXsu |kR Ң)n'{KQ u$C liZ*G1V3–ea8vb> !hUPa٫Ұ!#TB7raK WDjPmc$ u#HH'RId;u87EPm@uarḇiFGE_$lߏ!D2*9]siLG=}YfXZR`rg'oډ -``ֵOK*<~ yfQs݆K8 D #3gЭҗ$u{ 泓T%!R) X-x(XW 3_(bO8AYOΥNwKYo:A=#/xJd4ab}NHUEK2XA4س+djyу3ƟbBpvx-y4=AAMd_BZzXDZ"8{gXھ h@? {|]U 'I_ zBAo_%,͏$.3#vf㔣7-.ƴ*R$ţrkY/8"k01/,|¹E$u'+dc I"J$ =67P_At((yR* F-oծQn/RKu#:n}M">5DT|7=u%IYt3\aw|Z _J)Hр!1mCR x5{;< uMBÐJLcuy?ˁceQ~~iaKΘaV+%G`Џ DEdzGƲj?` gS`ѦoZlYaļ.DИ>`ΉHF!P mMN`%;n]M6cT !.y~gV#j,Q#&__W*a A^5 "g$]ⴊeA[QVmzA i7T7'=w<0eNɃ0D%@=#j;&Cs@[Lʹa{MNo۹sfZ|LX드V+a:H-:V};邻(Tдݏ%K֜bՇ7tY_{S"h,LxW8AПsa7 xҬ :UlK;G[c]5$n+TGbk5뫁76X}2_AɘF18 +W]r_y7I##Jn^pc8,gYZ7zXZִF! (]ŗXiɟf^v5ݑYGKG&Œ%_Oଂ:՗K9?r^z0v]!FL t{td`O(wEKɇ<@1\`1Ȭ@o瀣;J ƨ`O 7N>)FGߩۣDhrK:o\`d`ES.S.=o߮k:]yR]SNoY>ۇAFd[r>S_8ğn\z 0&ݻo@ˮ,d^0gYZ7zXZִF! `YI]ŗXi%L&ֱR5hGfҫIJQeBEH^ފuj#MhEYh!!봘7Ȑlpw@HD:R["͉%铲DI |Wբu3.E-靾Kѣkf \uf:{SV2;!n3k+ӂVDDMo 'z:a>3;Aa P"S$w}&7aGYC -m06L_ c մyzS\u9#+rWŬ"sy$_ݰ 7MO4\:&:l)mo>wn[haBe(O)WsTqԀTpu`ʰ㒳T޴UwM5Lޠ!lsN~Jmi";j%v^7=7xxW 5c?j:&:*%@\wzB{6ĸAg !|mzCpw d4R~v`!+0 JkHmMy6&)rK_h/TO9U6^Kg@Iue6 ' vA,SG|v: y6+b@BHJP8m@L"оFChiSF(jtlƨ?z+uí x$P׍QBMBv7wpg(2Ug h|eJ`P0Do!Y\$WejE_OCo0Y^vXn}S8A|1^#.[:lIt;UYEQTRqw[ Nr W?tTƈs cn||T0zG&C9.LY ]*cч4AccΡlj >! C#&)I {P8̀ESMOl 1%,:-u t[T(Uش&AlAD3oY1ހWϯu}3Pн 1pc4JcPK6Q;BH"Ȼao0Kы_I$PU &]"p1ԋPiП'evwt~I3 1QD;1{@hxY>¶6Z]BH 6?89Lz?QU!jԆ]Ęmh5IG rk~*S{܊ǾvT-IͿIHAa6bTry'WV|$bf2,Syk%(T_="lQl)t0 UnIh O7"6 QSP' AOrԹkhYnZKڶhMBXh |բR9,ѻq5'pQ=3zrYU~l#tS9Nx;6tCB]ip '%&9cpn9 `@ dЭ zfV@cPH5꼟]JC$DZ7fQf: H9 dK ga&TEcZB+k{ʬ0L:&cMw}Ow@GDtVt饨 1;ç~.~C&|ϱ0Rg&~>zȆү^b,cd+$sĒsn.q"z{Ika%i X7ӭcG.FEFXr|VsvY^+ł,=3F+QqazT Upv ,G(b5ł{Tt Porp cwgյʱ;s#i !K͔-"X&f3 tKr=:2Y)+%^"[RQ{*m7t;7'-"LHך ;Um-N0ӱlWxA6>Z;C̸u=1v@BD0+WO))Ç#^)j+ox"02tũ9 w`͢Й)Xp#zp2DTJRWmsٴwI2*|lcK Q&4¦CS lfܒ<+Ǿbady]NtcÅ+ŦE!΂,'c 8(61˨)љ BS!.Dyp̍bdYJw|$Sݠ[+=EsP8;D`CGtW$TYvut~ë_q̓ 6&ӝnH 3-g=}ƞpJ\j+6%? =a݌m d_f:h'dS5X^>Cefz6<(TfnbB~,~<9UaYB%pQV;uFJ#;E9O Xh>١:D*?qc77xTtEsX2395H/&=CpǯýԄlw[\.`D:%IّW2/R,|OQaң r{>ɬy0I:H3NѦd;9ԵFI|!}̓gDJ;YInߙYΕhO7 seʋh v^pYdȁak m؞ZBk$e䷗te\ޜee/rzˊ+NQW2.^k nI|$} Cɚ1?nKe~r++h_’ ϫE=cz|I`b?%DPR'nni}_q Fbɠe3flx(TҎHX4{'")&:V(NJuD^Z(.&vIzɏF,!Zj*grAEJRaqq3C8'x+֥lu"*=pJZ,R{¡ėr2p|j̗D6 ,Dgl)VVu*4dP/F|%/Ee:hoBZ $ko°ZI|^ |Z-ۼ+N6_ȼO2$;U`u0#x=l֑p]$ap#'(PL&ņ 6OcGa,tlYW8{e8ֶ>.ʹ/J8"'f4~@e?Kv׭C˴X>CHO"w!{6I[ϖzLv]T5bzdW-$t֑*#`5C7l$tzXuz{ݤw:`V}%"ptg@cВ0#;:ȐY.\恮ըځ8M q Rm ?DDViRB4W6GЗavW}׮̓o1kEKi2ӎef 3,pqR4nx1|22X46;(xJ :,\ sF ݋EzO"6iEw`|31{myULf?aohF&"`(>2T eIܜ%YiBϔX2&jtZ5hG4oedP[%"k6b_{T2eNAXF)1GӬ-_qgLav>{bUˆUj^D|R mZ%= WQg< ;-0n2Xg!VoyZc>?Ȯv?'(wmUx5tpo_5Z.]@ZJ׃8a bDr\s5mjD%p#%z9z4xDKcFoX8POLsb VdSyɻmR'H]S%UHǁdx~,-O0گ21mRqt*J7q1=ʜ2s;=Ou9 Av3!U1KՎڠ-=ﷆ;:"O>d6d iB(4*c&ODS=1ӱd~j}ѿިiq2G`^zܜ78T ;$,]j&9jKOPnQI3o +|pLeh&++Ye.1 jJP8{SxMG& n%3W (<KBpSi f+6pTLRcھ+HN&r .EU:k2zd<F^WWH[(RTs q) p?/ '4Mb{b,t=tK BFYL=Xl(EnPZ"u'T'-pׇJQ2i(zup?\ؚ[Cr9a?1b:#'o~oayp7NʿKn_gg0#yP{ЬuˮrrmԐwC'B!: 5Fs#WǕb4ïd3["O^A.J3-\%fUcSٚ5ljV w H}&z*S[,4!gb^:cl#V|%3ġ@Ψ@ڰ€֓}z;A`kNspOX?:\#Ӱ*2-,8TiΞ$ Rc9F$enن,Kt[x"5& bs*wX*<-k||66.3#E`Ƌya]7.EKve;c{bsK1plƥ3z e=(1D=W nz4%<`|d~eAT ~2E@D3'P%EZ407ɘI܍#7`v-D]sm6__]}fJe*EeںtF1HtD|ClSa0e$RuZ_awQfB- N}arM#b)8W7?Ah"xl,!&5e |۫-j+ 3c_'4}X]TcߕlO|v*</U!듓uL12;@3fVŅ@[C.:zsB@'J'3§p'S7^f@O?A)2'ST7h䱚9`lXҩ>{o$>u{K{ ʀX9ǟR@$KLv=%Ubt Cv*\W=B l{)槡_\<;ڰe.ٰD ~ Oc"F@ :Џ^MȦ_1"@ANE<Є4?ˌBH6Q{p%3βW*Di3G:|Y*B;q>aJmsDir&,VB=dnǸ}Z?%h]qԪl^/Hh@H5O~&8.c !˟X%n8=}@> "4vp:Ĥy֟p$>YvU!ת/MZN28!ƌDv=N,Â`6}gV7ֺBS1rXrjMEC))8TƧpQ ΄Vü\͝ :[?Zq 4@.A2τWV 5&z}o>T/).⣦ͳGq!Т|oC4Oꋩ4nY\l܆+1If6 Rgݟw!.2 ʱ~o%` m4sMWffiFʌ~3یk{'c?Xg"ۻWn"' R"̚SlZ@5.20u C )Rc^7+QαʮӅg9Qpʼn2huxRAAez\2#ݪ"orM_V#j R|CJ׹Rݱ%ѣb) F4&%sHm[ -F1cUjiW!=U]TPp0/SHMMx ڰPA$%UZ%=BcKX*xpw;`.8d:y S*+̈3yr,av !Ml]x=۝vxRaNM4͋l&Ũ GGLgV !2UV6ɚu`mn;<$sq1QxX1Ϋ`aMi6PHKcZIq9v$oJ <v/a"xp{}ɜ"bi*)kZkƊWt+/xyjT-6H P6mw ,CV'iUR.9U8睦.2I.-:5v5Uk\3)߰}ZhNGbg7b>B2:]*x;O k",D3a7忮Р*sY&a =EOU& &TZ2&v6|o!lts@0פcEqXE%M&&Hkpv]ώq1Y&g¶ՀK@(+I)Ml0qlO%'QhZ܆ ) `\A\>~ú3E$Qm o:}"_ kO z:W^5dWEˤ-r': F1`\0-;әhP(Oi\ey)dY* dp:iq5X,O0 Žz: ey)ڋoM p-)~8ʩxIpݮi4 Ӗ*=/:\Z>OS)G%ܴ)ڇ8y7] dpʕoo p(3nSg+tH=9"ƅ)ـlqі"2n[gHKa U&2<LrvO7ZSkpUW9{L~s_d,f@lcqp3Ă6x*AJ?%+VuXA} Y/<w 0R6$ g<̂vd4,zoWHxȁA;<.w,\ƫɈK>I.m%={P'P х0MJy]CYK6S+pbi[zn V3d}ÇR|QAu vmKX].y~`E݉JAЦ}hn20 * k)PQT_gYfWGCZ1"eͰr{% Ubg*g\еJjlɄVhHĄBzη]9h#l )-&& sd?ѵ٘8$;'{H0-d=q0{buBeH5EFe%%8m᪂>ݔ/tyWZNqe k:J$U$͵T@AʴG,^6-+F.C?ynIq QX!? w\uF!]1l TESzmm(]i37p&Qdpa۾DxTҟ=/>UނP7ʑ-ƭ ,ĀmU% ^MuVba+ztLnțګHȮJvc |3XyCnϻjsL|~j+U .Tъ3^v-(BRiYY9.`ۇHUU#v;Is%0ہ4bp Ü00K,P1RqM/tSޜyn:7DP7gZ `j&g= TVB\ۋ/J# x'Εxn.a."DujpEca< ]4iU'?u]!8;e(DrutG5hI:*C&j_82~``(ƥg7Xk+ x?; xb~( F܅#I Y9Yj0̼3ߣ Y䬂l@ E/45x0^|=R$VYm (":㖜"G{#f*6rZ{K' 0K>ԞO"ȵ:u}ތ "4lLn;g~%T]wSo'h`Y-Wį+GTf[Vgu`3rO_Y98422Lem A'Yo;sSxIF=麀͑{Y}XmuQhg HdB4 zZm4Q{J (R-9xNj¸0yjOzĭojWH"留hQn+G9\xF<1kY%"H}]b[&-NeWWh15EhҢlS 7,e/s^7g+׵&$x?DȬ&* cM&AbKS'S9*el:|=7cd3jԓ/S7qV2fD2l%N܋58P I)70R:O,oqn<e]bh6E?ؠU/u1dPb-!}GtC-Ϲ:Q޴/Di ږJH„)BsҐhvBt'ԪD :П#LTvfq?ZZ; ak vJћTT8懻,sm|_.}^'9>kk>8OK ]C?>ŋб30w/9ma\`oIx.ZdC)FN0ߦ7a{!ZO*<̛ T72W2(sR8 $$ > )`ZMCswK)uc"= _6D‡B\G,}Mc2>PGonMɏJa>÷.LAmg9oRF1J{<%93∌CKJmXq^yY$IMώ!ECL`-ӷܵ G0R$̵H`5?l:A)Q@9u"$ :MI|ƍQSMT81x5mgtFE))Z1,Ӎw*'MD< ],IA&:^:RT'Lm0B'kܝ?LK%8xv@0z$:ʒ qR0H+ DTr^mN=}ߕl(*uŻCp(^HoH(1mV_y, |8m1P=bXC2Ym^ĸ.ؔKmX^ Dh!|yyQY$4ʕGBq63F4>~gK#n >cGZf-_r|-,dJ5(.8/="e9 -6pwM27Cm}*A^A'%׬(,F3s3j>?gG vQb俬qg/Z˃DlZ›pAv!@vWE9gȄqXiL Yfg6HuT [s2.|Q}@ ;ONQ0Щ6^S}0rsrO۸]'GzqMɴǖ.}AP&9d r襳b'buy !3f&᫾G_5}UuS{_yW=%ۭ2{;IKO2oJ[._(-ZTD{$p5$6T f8Vp jR=h, cWhz9GS1'iQFj >UfMҕV!FY9)tc[HP&|oaz=_Vo5" wAX2+7YGyX-4P>5)%&+iC3Ow=} 7#9Pf;ls/]LȰ<P\`l`U܎@\'/},9Q;A΍ewQ2`㒴xTk$%=<(8?NgJ/Z>R4mļ[T_LGz|,]x&.'cϿYy7Ԙǐf::r}9a8KK2_y7 i(; &Z} @% \ άaǞ7*ab?c03a)ԍZدC^F׈6ҌҾ߼^A%v$ٽ{=)e}Ԕ َ0qlʅOXYD6N+۪Pˌ2/2D H&u5bFPQP2 4#i'9g; 5֨!4 \Yhfx4W?WiR@BsO ǫh9WXBB t;b:19\dEE<Q"?GW} _DRsd&|lLCҌ0g *=OJ|Y'J$ē mS]ӌd"*z^|ݳ˚ NA1*V> {#r9=1}ٖu"UrXZAbĀXQjVdU^l=Ja}]A !a<_,.Lz#d a$p08kJ1|.A}I0d덜r^m^ڃ.)sLhC+F#"; =9p;-}P`Bչ$I'j%7JbX$R, !\(4.Jw!i4TAIDp!z „c Ǔfઙb=uMl~Ʀ`iybV6Rap4j}ˍ0\{G/GROiF)v 3{O KbnpnUb$TM©GЀ\(^- 3"CAKd{~6zFB:ih¯qjʰ]89hĥ~p`E.y ̼'qJRǯNڸAc8 kў`ݱז+],G&q[v E{6Мf,)\zSߨ{LEAj18cbK ~ ؝Q˅l T*77֞6Ǘ pBZ_\)C:v>w ml_HI^AVZ ~gKƟoxɚͫq+b5=OvU7^4a9z\h:==b~t'5K0TF %pWQa }&7_n\܅/?e(j$$)hY<ÁI`:HNXl1 <`۔W 8E njW< 6OԱ="HPQ:^/B;22#ȼj7gWv 8qݵŵ,\όԌ61NqÊDfDw[!?s:CȰ\.]EiO{Dj_|l͚W+]\+@P:W,460=N|Elϳ 2T=JG _)ė a탦emYhkG;nwa[zIb|Fn*@|ԁe 0k[/ Лu5 R4@^~uzTTyZk+P!G眜t&W2(jwsnjNmvю:@w^XƼg[!BlYJ D[0$Ʒ\rڻTl0^ޠ$8ʼw/iʽvC;DߎZ@(3IwNb9[H۳` $J4jk1. .I2 <*V3xCn&ìmzJ+nH~8+4c^4F3vfp>3&w2vL'OAxsoHg̳j Ѡ5VԾ5 ~HN JwO>؉1BVpr,368WO,x*K!h;>!Ly9^C-NѺ &3Š o2jRۍ3eplZ+du897O +=0ɰ}Ix2EFȘpNŹWLdͷQ>XL.yTI329eD!L_Xm<^"L;8*zrs՜$& "A݌<NLwT$yעE2845ij# CC2BVow*m{N_Eoy5SR O($WH4ۢQ$KYwIFz $n13mKTNI|a{")s.XpП3f[`7PfX֧yI%EJg`hJ2\cq6ߐeFgYZac7ac078720622630bc974fcc352fde51316138d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a03d08c0f587e047ece54735d75af4917719c4c3 6f918d543b0bd7d4c0f082da6aa34f12e651941b