SQLite format 3@ 9- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 754\ ; HOL-Nominal-Examples:threads=6elapsed=378.170cpu=1408.696gc=121.684factor=3.737zXZִF! |]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&l -Dܠti`,S#R5]udqYEghtݝyF:?͏S|޳0Eρ/,I$9U1D7L$ъ0h2U{j}څڨήҚʁNBoD֍bӮv bd lNaj2jz?0;Qͻ&1 A,ad,rVal\KY3=)&wנïҳ3u#OmTW#w^}Y ՖGd a^xw BHs4R x壪7-?qi!r.gu 'iūY%uGu$V!\ɡ9$d59u%1⠅ x=b G9O8 3xص'-LWQ7s@{P-.\"ůOu}WwopVQ7)Oq[fwցwlG]muiOfx~uW&'OlsH@4Aq&ŠѯYb@!cDo`B_rkj409 xY> .ZS+8OwicRyd d5n_ 5g|h,^W6O @:˕vslxOXܬwQm6d04 RYqt);Nʹl>lēmMQ߰r Y,m t7lO9(_A1$Ne_ckJ-Ӟ0Qy`rB%Oĵ,F,Ʋ1|>^ו{Aa$"U'nnPlC;}_)dEٝڣ ˅O.a-kBғqڅq"3Z%-Hնs tD͖UZQ@!y|a*3};/}R}Lk`p|2_SU膣: %($Tf>sП Tm@e`m 0=B_At߲J{72W TAdR$ τR'0?#h5iץx U]zG8IdKܿ[Gte-@wn;w;xoǿ 1u rg9= p~$WW1:i$[;4#Z˳}vd[K`<Պ/(I^ZvWjA2IEI{OsJT?)HrlENY. af;tݸ.D= |Bw/3?p-#@ "uKl+3A 32ujOAfDjig=DSwu+wG0\CKUa"Ba  / IR^}xcל!Oޟ"cf^t&0+$y-5CgWE 2bYYirt 9}bqqfbd;k4P21+'1 É5{S:hV%s"L0"<٘VlD8<&WIt@Foݍt5x1B)NcofX`>J1:<".(Lb/sJUC+J,ɪXooL}͌%=1mx$Pct0pIǰʱin54 E!\;Rp e{:ڧ& X>~.6!ɳGAaP*EfXEd&>A%C[&(tӗJc ނ^՛_ }~;| ęVn?D8D7nWm(<S$#nWva(Sk˼YGI܊ 'k.sD,Z')pOu@^ |N4Vk?ȫC0ir]2JI9*ŃݼG7d2 7r/p |Q+T6ҸEKCuA8iHU[5>Ee-ʃ:mA_$8#fun)}G4Rxc΁ Sj;Z>G&/QwRi3mX#_2]MN[V,YɌ Ns \(q3iGƪU)bo9G3"L_U, TddDk[ AmMܔY.9i 0zZndXc{PΣ˘/ :嶵jp Qb )WAO@}*nCf])LKX-Ө:2mX+/;;ro_x 뙁?o[C hY+t:/н ].;_.?$TQ捰J.uIAJGv豓v̲m$j۟~F uRls{Y^鎧, 'M ZԠ-D$nD'|+FTfp&`5TCPç7j·9oC5 BpJq#bY4<3eŗz7vlұvVj;@A4v PjoUINź'-rG]HOrI$ǩ햦FA*e ]ерcnYٹ^*&Wt zN$<%s>xS'8(K)!v!=tjNiO.I%sY|5@W\&Hg˵SG!b!WcI^[Jn]qB" hFOSrւÀj}>@dOq X&eړz Ulj~Q|RߥYiIIt;-_^&\Ob5qVF .z,;_!vs +Fg#@4!+}册å ]Clnj"Rr43u1ăju ~ LXwK\Y0 wckԳ3ECSewzMH waF7*G1g`aw6lmp&haDEm9g 3,"Ny$e_%nwLS]VVMi\*nnn^Ͱb3v;`8ł?Ȳxϓ$. W޷׽Q$4V It`@Sϗ{ mÄɠ0n&0\|q#` Xʽ+߈#86} -};GvHK|~W ֩{E޹۟eD had+Y&`?GEM=ZaB6Skc>Q2z:gEڳ輳 *p C cJDnZaP=0Gn\JQ8h*jperm u/=`y.z ?2u;T?0*u&N29̖KI~6S6%A˟M%Iم^9ҝh˟Ѭ/"!2 3팩PT_B5lkkn Lם&tO2\7llc#׃~dcT#YVmJ v{v{. ˨Sj=RףS -11VeN"-S!R?Ay*卒DSj۫@KŒ{tubnM_ qnuKu8oMH*e V/rI-4,6c5je 3T,xtoؼCy72h1IV獑Ut6[pR=vz:R?$sӥ0[Cy.&&u)nZ*. [)0LTrʨO6CKلۥf҈i2u4eﲘEEt@@ib?W#G]iT5x xRf-H޾ _H/|.m᧛Ptvy8F3L@T,hٰ5zR  tyjI5/FAm{O!U6o,t3iUm@B,IW% 픶U! 4sH2ÒSĜp> o$Wo88 tkqQ;E‚C< 72#PtFzeKnO0 6 7aZ 5%ER?)7"HNHd7vD ]$9e?/K 4fPe>IJ~"Ez/X$?RCf1U€]O8}@hAtsb>}8-3b_:~:s4dzRMyrjq!=aWau⸵K Se⟭mcOA(3IteqScuE6?yچ}=7fB&Y {rv^i!Ң3 f@ ^sy4mLOg > F-߲1|sl#VȨ@Ҹ;5CCƠsxF:l^?槈I2#q}AMO5p%1V߶ҧWT.*ϲTFd|}F[^l_lK){ꅷ=vې.bP%{Q[e :dC^n$la:D.~)7 о%b?ȩD'ɷmOmS>CBPyCd6a`[Aa'\u`A8&`͠C$vڼQ<eф-""4EKa0I5=5X!j݈ŷ\ nؖk WM;  $K qt*j-KHnNy41ՁU~9 D|"qlkKTa~m3@hWH 7ZJ!͞P"zv}E-%b|X4b+=ҕI4YNj^y ; {cə6|U BjVҼ~` )xxar$7(g GtS%P} w;6lrJ;n\@؝D9OAdTuB7PSXLT?e]b1)8}J#L~LVg9"\! YKy]6D0r8`)Cdt9„Ѷr D .{,ÒJzw+? AL}ludǚ reiNJS/B`]Qx丂zBXG|i/=G z S\OCA3Hvc^zHɲ,\OB"Rոߋ,xk2'a6^OL[T<<0Ho8ɼ)xF ׫`(sm26+C z`6:eqϧ 9E=#nam\JmqJp)7+Z49Q!Q-%>R˘aᱮʧ3JVX޷TH|A7 g pTudUSkkj~AE>b,gp" ]0cVe䄾Ip6庢32ij~M2ZO{%eB&ځS9>S!Go%a_wELѻ̫L\&|1jҫGc$c_ܭ# XUabcmҢØEêV Ohd>.D5 8u!%" "xTDtJQJ "+黈>DZzyw23_sWImZN$B%%dtD`7&+<+ED.TVku̦ h_,9[T۔^P7\?,[a83li"j}߮t=i薘C:BtwF:̪L8mrHڡh,$  ֈ"[ΝXϻ-vW/]gl}w1nDtBgbM9^j,QXl0V s=$׉#B{#nK F |>G5z"Sr2Zo(˶_䜣S_hyP񆕈 ;e1pEb9_90ә@͂r6G-`a'RlWx5[2xH+=KS/Qc7צCk!zԆ\]|g$)Rz2d Yo6A0e 꽾Gn?ѥ-{[Mp\@S{"l-,k̪{D?f(5t^vM zk !D,A_"Ȯ¨H\ Y@I'>PU2S˯6 A1H8/W qmpf5@$s؍g,wi}"[^,. *VԹsO9a;1]9MV6v귲? _UGՔD.Ԙٛ]qnTtk/@ï%_ 쵌֦LQɉuc3X$vUQ=Vx^Ձ{;o=Q9 *qƙ b3qWa [U듁4;vGw!=XSZH[-t 󧙾͂}= v2?Z(QvHe4л><ꝵ>G[?$k"?yPU+MHވDJ & L*NݚC国P8t/9.s vo3n[B@+Qx5rdT)' յT;J1ePEED8Np N ՔY(ۛ[ 't yu- &ed|K'~TuU"Mkp6%"]"Qdۋ6 4{³\d$sj)h7vt$W3(YY^5vacPE;^ܨs]}0K"&q=7,o$*#D՟Ƕ*^ Hdg7 _*Oz.^aj{8GAxO/2ٜ`N!]SVL[ZowZPہ!zîx\ZJ) [1u n}{+o0㕀lCMָq n_v o8sY؏u֦쀊G52&ZM_KR{*xBt :Z(*QLsS }UP(whʡ"13"!5="xI&m`4G!JtJ㷬EGx< tP}Sua[ͮw(!Ә3pDgSeml7Gɒ'֕0dcK lY O38/؍::EpA%l @fO#k QNlj{ܯП\>!^0fx2nQ*K̛ ͈ >NhŪ,RQKU< i'XNz)(B5Vb76W (nާq0*rW<;ѴUNkLja7J$&s݄Ug CRŴVWSk]'|"S]Nm;zz7Xp io:}?q&|2 jż~Airr:'M]; z bw6 rlBB]eA4N䤵!WΙ1Ҋ,S̒q= Jn-!Q"c6$I"7*/ad@ T7zӍә^XL|g̎ef =rZ E$1^MD>,VL(زc5Eyp [HmHxO=x:0W]|k>/G.QU Ar`%Ggg. &{bg\#h(7[4ox93C`ڕx\ *FWDXc,Tn`"+570$FY>g-**Un^̒Ԇ8$vYMVJ9b.#Pߤ0(X#vq4X+fEm6X\gI.#{5z ~i2eDa5:A93u${y \{nK8C}s)iv$U]dWK<`?rīZ-(&٪FNVJe}׃[lMe򗢃 Lc5x!kE!:W]nd_y @@N+bYG&gT/B9L1u^NzV,y]$OY;7A %KBE5j^PյSDpR~x\TKh4ou1V:6t;ȲwoIWuy7kuXrlopM'_`mB.@V} o^HT"`&c`*s/sǿ`Qa~-'Eب0W/eŶN熊H\wM;N5s's,]ݯ@H :_2Fm9z6waM|\\:1nԱ10K'v?u/x\ΏpıK Z5QG1l7If5|dNZdp1{K9>1G#ѠY!*tK~8'$V8/xqơ9N4KS6rm1jA/{D$#z12CrP >Y7u$M_b@6܁POYNjV͛n9{%:Xl)tZێɃ!(?2Ԏ?yP9+c̓W&}2r]Yˈr 7}S\WwcA]E =h+YD>)zd,3Jo56>V],J 8ؿDzteP7ڒրY>KOL4c}~%:>X3rMμ =,,݊v(jPD"QF'kc;QiyVۼRNvb*,0!^P>rjrMx sߒ/z;d+`?MlW$D%S7\ܘo]eGFvøNg-n4r3')\! 1X͡(xL S&V=9&,ɋK}dXg^fjFHqsԫ5h6mY^K+4>֚6[.@:aUe8EV^7VA_KբkJdp߇<#_7Wd/H>`0*ƽ%L8AKQsRtjRl @44v(@T@Ӝ (Yo@2` ʢ(jWb ӆ<)o!IZʋva97ޕc[@ReD/8~rYQ1\hϖJ^A/(=m^BpdD&~j8^ZM.2WS? uMHτDnǻs8vb* [s2ϔ]Qz~a2H }[87di2[9ɻ'spuZT(Vf (LgQj6z7 snӓ#4`FM<›|Kb_6t?+wIe9]#*&uD?}HzJ@;H:?}ꢄ{ 5vG\žan"@-d#թ[$h;Yأ*M+da>/ L ?C% H vZwvHa«8 @sJ/^&ЍԼu9Nzoo3<? p^ga-9)Â-p;Y:ծL{}R-$alZ!m4₢&,[78u|"^٪1Xo*ta69;6z+8hv/TS*v;+(ʼn6fOBңp#cm<8 ?!qT" uNxe@OJT}5lu|UAf>^dg!ъEDvE+Xs:Lz~eE.aM2cFzUR_`oW Ua `%q)~OV8٣=䩒ߋŸFUCi ^&t6<8Bqrz.^xdmÆ6@V `!$X4DBTf Sȇfw{:90ߌ'F&= *EA2jϜwBmDR''rMnEC[%w+t^G8]fuzr=f{ͭRWUyi5բ=BjԱ Kl"YESL\s[X Xim)m*gF"k` X=>q6Z/͐mG+ר,7HQR39y{3N~;8YDuBJJ!2S :}Ц,bVW{P4V3PژgZosc3o&#E EDu[* 8IHIV5xEXG4&J13nBISDZ}a=zm`M-:g@Zu?>;"NO4{^<h˸RPE];jKw.$ˋo̔e~BcP2}`ƒ\Zq pRi0!yxtxS{*=WTFw*]ǩ9L&o=ҾU -?s&ۍ 7JNG3-F$q8^q)?Srܓb6[:K|XfX"D-|HQbuZ?q5b@h][S.6]T߅o rpmsg} yv{X2~X'+\+l=(spSj+Ey\kV:58D?u1Tm5-gQ*{ !k kҖ  ZwDf 6'ţBQbZcJ uSna9d\nPM^76}ԖM#)z}+T֚Qd{=3{@H/-2.-ang$bXh;ꗥ wP F^Q];o 1qINˋ1H5G~O_qF [k!$ +0*ag[E )1K3&?f3 _#ǃZ 9NImX؃WBqo!ScK2BS0{oz1c }0rN]7C(/UJ?&{_-FXmC}Df*y93[5] K)h[RIWP+)qtt-yk|*ُ!{ٓHֵk+f-?!-5ɦ(q›4-%}Qvkӕd(PN kr-g[ %؇;NWwɀ( bҤsϛ$"8fNsmt&v6_r$%LBч5{m KRu ms𹜱ܳUaLVp&5r;Į&'g)e@( Wc3u~S\?A} }0߫vcI44+!A )y}aʟ*"{Ox£k& A+3Dz@FWsUU:^~U΍.!:F{W}Z* +g1 A$YIgԮqH">WZ-Lk,~&}4t,#ׁ3)Br-mBQ} 7tVTB#asdv3PYL鬎Cմ]{f΄o 9?|4uĜ}ʢM=HIhMZV&kOO9zk$ kP 2Bާk ^{\"ˑ]v#rR7<1Be:V:iκ&x/%vUG$1YeM ۉ,o*~Yř#[ R=;RT/e#Rzdsy B(˲^ m9r.*mFEܷYu⽦ͻ/˧3Ir~`/qP7r~d@ɊgBV ;F/T)jrU]T晋aA蒻!7 퀃}kHL[iY)j7MEӗW~pBQKRnmI1'Α'[X[ˁwսjcHa\ƴqϟ#Fk@d`Ph:#NK/[ciHdZBPZ8OtR? _S겦߸1Ry4A:GZM3f9TPAOKOBPw. oWe?K) R?HvYTg-]f۔3Kto_)0φ $VL$z"F-[pѬ?!}cs. O)1a;6iO{JBg"{>33^i!F{\ѩ2nTQ g+5j_  F-&Ap;̜ح̺$ĮW적KJp?8|؟ďv@mO a.ƠnyU{z>PS9*AlWjqZcBiFo ~0IU|i@F~;MdV{@Jtu`vl&jFߋ',ԁ2G{%vT̓!HTGgr -6@Ú"?9@hU(<% \' LMȸ^'g=܍fz:Ι:1&`k3v% +m-B3!V nF#Jw>]a~&tyrҚǻ /!rrxk's>`wRO  (`W{\H5pS1[4hIKGl0Tc.Q 05;dxMﳁ8P0ԑA\NoQtS)! Lo\Vhִ,YT`D 5ZѶ$יc]<ۭSvW[%K1ϘR@i 6*9 KSxM櫤|1LOtaka{U)rl0ܡC'kH#Ŵ*}.Es2pCF>0x; MȋوA 2v"{eXR')W+-WUZo=B(~XQϣ pQ&j*믷e ',-q|Nrcg Sh'ktG]7Cc0a6fw&1.?(VBI5weP[3_J}o:_l~'*t^0DO 4vĹRAfGNJOudHHsο ?qo%-5#d۠v:މh,+#]7ݓFigh$|׿@Sm/qO?.tŴ{say&S8/uhc-e`~rT5RFLM(lO,K6w[(?.7 AyW\,"8n1@6LW 2cd|Q؄ţM SW3v9 |/ H\-|[쓣]HퟚvW瑥mʳkv7g \4Eu">+VjtM%\g&M,2:7ѹb P bB"6=774!uc+'Yf|6z#în"l(ơa3pK~ ٪¨v<1%b%&ƦٹG3pbm]ݽcU,2 ]O;zy @MҎl"TbDǷ&b&0ӺReճ Ωa rbXgw3'<6Jh/Cg?̕p9)k;A5VweQgc))扏1܂R0cR}WYz6P ػ 83R_. Q;7OL che$| lk.楊`S*Dw}x@O´v_UP I; rh3y#'Nhˡ,?^D+_0ǰQP8ٕc"<`xI,qJ&)lbK$$Qpܛ)7Tx:'tV)-~'zU;,ac/džo0 5Yp\/92FtPpF@ܖ Gf(Ux[ݩݛN"1E%L Ie5fa崲#֮ C"$,v;T.x636X.1i!S󹱳@1^4ڥs޹画?Px*GBؾM担ʾ?sl|f0-1Ü@pp&}D[{!0\RCW|@$Dm0xy|aL# *w֖D^(Gm`0bYy9? w[ʴѻ4#iF9]ŽhJ~ '1spP ːG`璎(aGE+d zF*J0 [ ;v-קҢ#TjqJҢHN\x*fT-M_~}(=٧#Y8i"wGT_P~)WmqhڄPEb/{8]]-kSGVH[!VsCjf 4[޹*)+;Y>W5M%pXYZl!!)&`j҆zO^rcA0AsAF-.TVQfn>~h%RP1;m l7z<ETgaX[obBԚJ5"p.# ?u-fcI1לm)pYMD%[S!(KSczޜ,͒ pT|~p\BdMD zY&\/70,AuKNR! ''Jic *䠨 HV+'o}D]zcTK:4 c,S?E'I(j+3F#0+[?X D`ee>xDN4w8rӅCYau#khQM(7T;g) bm% %iĽr!?$؛0姽 QEWBU vlr}T[pL1/IG @p1+Խ(#ǡJ1Ka<|N'n@βGEB-ԡ/jY A'n1)Z K&"a)bBKN~5p$ARWVL ]_6UϡIvȢr|p'A(2T"x#~r`l`}ה_BMfM̭ ?z 8 (R>vb7~16 . "1Ci; A +o:kz{G;DA)ţo޼3m]f^-Fo2*5yjge/EW)ߑJBӡtz7J޵eR8(q}t؀`m6l836(`|Mv_u NkCn+&.G˺ַңdPvapE4ѩ#輦×C;dgxBG3Smmc'9A]rl. K~gk'Gܭq#vHZhɳ; m@1yQodstK+Ur ba$2&LPR3$Ȏr/}qYL@7 (K?q6LV|͇}ώo%.Q_Mr?[M c !QnYתm(fVUqF9.~Yf Q!^|ŚKq\~W5hV$]%3^9)֑C+ G?d7kc3ƽr wX@fm]OMa>:Xݫr+js8遁&5T')nɔDl(̐(,0摑y3pY]lLiep I?O,֠bkΏ_XNb_!_d+a9c kC5ui!>|\J?hxynKj H]@Y]׹/x>qZ2Ee_/J ^[=9D@ aqk|<(W 04Cr$)ӵvʏA1kGɼ hZedΈkVF? +ܗ A唣fv\lmmOp"PsDStZ~{nῄKɻd趥 O8<_+$ڿHb~}tڭ/ؿe.n|u l XU7]EC`k taj k?TRR?7eBXҌ>}8+!X,WZvЌpa$?;[Gs(e_{qES{Y AVكGk б{$& 'oV_n,Ȅ@f aw1rtɡ!4Itn$>Nq%~ry E qZإ]EIgZ\_Wjڶ6py])DŽ\AF߿eBi(PXgfr^ ؿ&/q8{DÿJY}vOco'[OYpܶfqFG-(PY4>YfC3ExǫX#Ʒ=:y1`<:oN7GWXz;'<3Rʎ^vBTlIJiǯ܀Ku}k?0qJLXCY5B͑%7vjydψw,ڽ87p [ rd1Ju.qS hsʯoW o^N*!FX_"8vT9'1z&';CfgB::ɭĉD%wqJ@-Qv94 a&F-Z }xmbxWsVP ;3a$\r N[ƒu3N!v?de& ̮hCsۀKq/պh;m} 1i&F!v;}K[k7y0#neaat#Q@pu(AmijflY8p(fO.)p8FA0m׷{hEURU?e6חu6uJFEWǽhN6j:QeEb4zJ 7^enX元-`RSSz|LcJ w-q5VECF/\츢Q*rofby [ "1oQk;JwRNS3xT|p=" v>+~%rqJ=]I2\n="޶4jK@ lߍGmz7DϬN_VM3J?Uvċl8)z<+1P60/NٖΓo$K3Uį-~r 3YKb-m?ą{\.:5# 1mAOzZEGd:͗ssjmrIږ$wJӨXE2J3^&W4EK$wJeLj10O!g~/hӣo0BV6ك{IfrW8/^&>YoY>sHSVh p;0IS~+M\?KIo%ec4SwwЈ4lfTrB-LHbC;%:Hq-# ^fn7|!Nz%i*7#PI]zwӭ[ka$`J9f!iZ?-Q)(mg=)0[f]F\s_(:SA8:%D;9xUZu1ZWrt=>he_u6(o߂؇E= 6/|,r| b#btToX7cJ`ru:om!ߊ4N6lsdAT:>٨gQTU_ږj'(vy>? l@"ά| <qJSH\E3XgD\D]i(m?1b phh sEXjTMJm# NISh/iwn=_q)=a9 6=圗r@+7DyŠڦaRJ Jz{Q.Ṯ/A3rx@`Q=,nTV;\ 3Q4Kԇf\"JQ1JʛmaEuwVd" ~W2(eldHNۼγG*О7D)Hk z){gX;HP˽~>fM澑>Vd.ޢU ïB3I4jQԋ.Duh03 U1A#|HᇖNS V4俅LðOŮaC=]WƂ˝'^}r2/tJpug:#zGa'm"j*)uth0} p<<^7]ɇ ²8DX$t׮/v{g5yE|zͅu>|@v I 9^r9{A9ÅbpobY`~hNʬ[ORI}Fz7tM+!`8 }{QmH& Ϟ,(#$jHZ3.9\w~UŹ{X,̓@5z[VÛtq1Qhwӹh k1٬ɶ@+=ePH_QwK?R=o7= gT3, \e p5HKN/F9h WfjTon̏! xhmyͿFܽ>ľx>@h!C!JO.?ӅJ+?Po/|OM=*ea >*%h GgYZ7zXZִF! .X]ŗXi%q]߾Xx诵$b~/ @A<ȣ2ڈ\V.a/ kpΌrhG:CB/f  E_^b)r`R "쬞M5."Zѓ=\w؜a~ȋ@́m z? (Q[i(r(ΙiEg˖yaX?uQ?곯@M R]8(t2#vH+CXGfۇfo'_yQU\iЕy2R[cO믒q9I2YփBKA5N\?Tz/k>u(wLMYఞQKW&|D CeT(`?skh*k|Yi#0dӚ4>Tz PUEޠhRc!y/_Um!zu+` kQ5oNR:,@wb{ ,m/xO [VsXP&oӀ!x$?/ͯPEPצ]ӥ8$to"ڻsMv[c` ,.&0gM; v:;w>4ۍ$<YZ)UC{! ndɸɼODIn WeMR0-GQ|"'l` !I&5{| ہJEz̕A//=2:%@~d8ٗOWzs擫RZ55Y⩍\NU8X:[B(y(DkmvXa!qҟ٨eD'nDG`(| tWu3fcLɴ5i ѩ墛"r$@~V8r6r8h{wI^J糯dm:,s$r8H[ABF4^:QFxqF&, iSWQapM3F<$G^W j_FƐkTTmHt}$2G.>\ Y9{_Gmgl͕.3;g{BQ.&IK)x_ݯBg;o6+;¿z3JFVQ_\|/V85:ͲcI (@K"ʐeb?7\^j!.+~qC^JO*kas.jb_wB [HB>X{XɧみZ]Bu|NjʛC 6p(׬:x;S̿'LYK[))Q\F^:(uH72 e@!V RHG{ՅarK9Ap#MBuwU=uTV3E2`m]+5|b2ҵhB.vJAL(όbU % ~1< j==G {sg[h&hl,Y{w7-U_nu8@8+zI;_ž!‚ <0D~ϲ4ᡒ)8#Ys0-K~\FLV(˳R8-[ ޮV`ɞqc][3IZ\p3}FߋLܑPbXyȊUD{aT%O.$cVNB=O;oAְo,7jH,>?G~ y5jOO64ZӰ<{)zd8B#ڔP;sl(6Fn\^ixfڃD]M2G|4$)Vb)U|NwtH"+4Ojm3fݥ YK?:0s,gS^N:d(̉`m u1@U 躠f>,f9J?PT(Q) "ƻ~'Yӹ;"9 ѥ$(3B5 E<(ֲ rG>[6z rOW܈7/ea+.~em<^pْ \;@ti'J''`~d;bf}!̭GļHRI/,laToA6N8#>;ꔙFPYy䱽#.b5}+>\g $^PGE"ܑ(jN"oi&zhA=R</5zN-u$w#nMD_ܪH܏@d,I|z:2N*+?\}v`D3 [.βZ tm~ Wᾀ"*c"UP˩n:PF(6iɑDP٠c(x'QJx v(PyݤRV!wѼ+fCvi$?ҝL˝Ǐ;qFݡxDk%"dlMX7߁2A.};]:.1FӲSd?FzQDȄa6m~&jrtU)KezCyv.oeE<dH8:7%î GiZ KWs.^2A $5-`/&R?!ٰ1m|WpN#ty3 rAJ$i.:׿" zZ(f?\::^Vr, Fn5c4-tmK۽q{+E{QMg(?==ds+j [7 yXTV 6jDOȲy=;c>ڼh f#GۨOۥ2'xZ w>@jV8iQP|^2)4hg]|}U8q$#$FAsƒuKd煇~! w:ּشű2uulż^o L^_n,YdMi7(*aص1HN9ܰIR&EY,s'}7a^m(2E~  mԇ K嘦OU= OmBF3זp L#k 3[1ttMr*J]3r.zs$GIX6 AFPA&_֠3i+15 eTpa֤5׬B4. ZkL_XWr(Ng?!56/,'P6*QCxAv/Q4{Q4ivMXusŒK5iql`as|h-zm ~]ނ&{M.2@^Nz" S6|z漢Ƽj&f!*R2JJ%Mԣp"*`**f8? L>$ im >NWt0gcfD9^ySM~%rv=;E*XaF, LWX`[[rd+%<.Ѽ [ u\Kh GI;x^y_YcK_'}$`pY FCD*Ll bI49)߰ Jj~eFxCphS`foB'J],&Jb(KE,* F[6>k=kdӣH*F ulKv2j)UBӁZqT>|d6}(;ꭳRAu /ƵG[q9ٹ!^q=@1;K=:}\"hzb2cZrbdĐhnSuf8Oa"rd*[3v')0H0 N,;%=>%&1;u"rT{eS̺@m70~B!*1*pafSH˻kj/aJc KED'GH`UυGSN5]ztX~|KD>1ak!ȏ:\@7-"KbuѣLQL6 10( /@N |Ï#ZGCif'瘑83|kOXDh1j,?s8q23/ F1&@Ar=yW L^ŹK}v4f2}w&\KQ{lKںdрpVUqpdvf'>.pP>p7WN=EykujD|eS\Y5" -Qߛ>Mlk :7^vKev3q,;:wn3ZtbiBK_n,#U$+Ewo p 3Bh )]l򮰮!ϩ *K=:% Js<||Z>b5Į`/Iiyۏ*#;Es ܼ/6 '{C?!yދ9O?ẁpYMAoYN}_ \{.0ބGj(猛関w ;<kB$>68繱ݦ1Եv0#]C6k6qk4U3(_++aKޘ#!GRk+#+IQ2v>@_dX1{F.,t;\T7QW^ج+Jzu,C{[нkM6?Ή@uu¾5a w:+|]Ԓ[%SIANylx7Q]f8Cb#šI~ EcSKm : C-1\(hA44F ?D0aBI2zf`H$! 6H%C1gs,%+I>E!͍ f01>'LD&NuWq4ض`Tt@jw^UG:}̾l)@Ŏa Gq^-?SH,s/5c*-]*(WO>r+Ad^2i Z^:i gAO@ix`WWYkZY$e~?y!r_PRym}۩=:2DzSi1x2-Hᖳ!:Hs$.aIP QQ .fڜqqM(.A^FǧO MQYu<4fPx:.mM b.n f-Ta xLorގ7ޤr:I-*,55^ㅪŖ8ك]lκӬcP:!u1Pk&ybR/iTHK%jK϶^ӭX팃,ChCDP`Β6I9rbD4Ӥ-f QSb!Th!z-c_,VUL;r7ieQ($2e>nȼ_2"3_$º4)+0r:-۰³J9@LG cT#=V`R쾟Qߛҏ>:6;q/GZF f3*Sz d&T%5xzE!ЀI`r6s~Q" Bq}-BҾMtEi '3 gIR_ teS-D5IP_hW"zt}~NxYZK9 `"VNÈMfȋ =@$Cc_ށM W_ᘟ#bD.T R=md%^w]-hKC^q](ga~WX1S0MMi,d;y:1eZ-^Rgd,ɮ1t~IM'-9)BQdX_Z 9V6ݷb}s}8yoA|G#,9.r>eBE\BQG/ްsv _"'eȭ6QxGI҉>-keCa_cwbzi ׿"O?L$Ōy ư?nM.ܓkZ$20QTq.a4mUzUn>ţsE)yՍnsveFJa1忀-D}WĬə%T#۲leT 2\:|"+Ԛx+p j;c%Btl'S| ?tI+1*mA?ħ +#̓%T4ETOG10dbVNaepZ.[@M%jkOuMrA67w )jgT B܃;h]kh8̸u~T IKE`"wcح .{$BoKFT_wK2OXs:μzXrzL5 $T¡ݺ y1=g&t5XQCx4RYCj\&Y97*Z:ORxVx9؋n4V}AHf˴3>A8YvEp["Zbx0K{OS5*`L["wpBf=¸?bdy`̕&e$D8?j!n;pm^n5K,Ha'\U~/ew*֗w IMӁMDB$ ZXcitXSu%$ OEH\RU9׭V̿u4I@$PQCJ݇n)8(eж²?6.%ޗ-݀ɰJ15 ϖh8Njplm*uy'[bm3p 54Duv#N?H"d|fp,0vIJ7@} Qt΂X]#*Oԟ .VЙooør~< BjZCxX2~mgZE8!AAZRhxKt ]Z) /W?<G(6^9?'03=־;RB`Q9^VzP䮺?fk%JU { ekYɤ /X@[8r8f{)uXUx/q+Kq Jġ6Xw; YU~Z>ߍ#(дw]5!r>kyցO&G7($ 5>c4ۙkh6X'F#kjo :O*,hv֣aCKg SajկE}CۢɫҴy5/NBxƉJ4AvAحViHMi(j x I}G\9_&.WsOMUTֳ튁>kkt>R- w8b\q|V)_q m#Sw~ ǎY%|B~T/|?F_*{)tU tF)fXzOc\l};p{>ԥUS¢>"P>9O5 = u.s*2P L_}u@f$-B4Ob 8"n$xt^.ʙCZ<#V \FFe= U^nes}}ýw|GD#針m}("v F`H4۔F`=GeW_kE2 :ߓL4cl?WUG5q8T)C5@/t{lZ@Cq6lEJP:`kˉolQ/8<`k޳F^;t21)L,NH45%>xa|s8|'cThQlq~URWaG!zԸiz1~Kޟ&'4R=q_]йD6ubH9F%@գE?qCĆ٬ k#OG{F@JBf[W6jW{B>Jˏ,+F1{ 8- C%atǐ߭C|oS&@ƯgzkN1[ skAu[Xe<'pO>qz8F~(r H7vQbXWW{A!4qYO,>_f ;V;$PHkno*0_3?*|#abX1c:0bd zsU3pZ"GTLԢޔfw2-> 8Ef\&h]jѧi6RJ]# !6k^;ÃQS LnMj\r0ɳ19)!NSݰxp>G3B>sy9BE?xL+E|`bXZPү6$#̯e~| اW,k787g+RcS~Gx52ۗ #4_Rlڲ> əfR'`DI}K_=XƔ1 W+a>/T,SȘ9:7빻U vGK\9w =ѫ@X_UsO"xD${ȧX"| \{Ï~gѿ]Wx(WbS72+ּ"҈ϔL)ƍIFmb0H+ `( *|_+re߾rۥ/\OTR,]Q[VD@+ibx4ɓ _ @ZY)Lu)k8ŵAߋ5\{XA~"naUlLx#&٥6=q]4gn ms.υo_WNʽYТ2dfHoEwBvnGJʖ d2:+L"k0H6,~=PI$+V=-{$KÛQM}|G#KoTNy NpEٮODcuAV?x"]+1z/k6-tt]@֓7*IJ^1F%!W3 Ŏ bzDyQD zDE@@~Df؝\!<Syؽ)!~wp @6^5)!ПaՁL}a7?{+-TwsU[TPp"6U^$KqwL#qy;omR$910uFH$BA+qv1bOb>2M}JgbGBO"1&:Lcye]vf| ]uOy6ߠW}29γ]e Xg0;7@(nby M% 32~>y3hbh># O[-. g3J@ D쾩WXCsYm` =RAIR5幔4t%)pPyF{Qq>JJXu^29ow]^6^9;%0 ǥv d X3>U5ʿ9Ҫ@@|) ۬#aK[mt'.nEK,σ7%cJ]~=OdxfP;8ɮ P--SM9NDq<5~[>"fGp(M 8(%bXkw#K^7:dyNĭ^F8͕_Ң%B^ɒNtZyj꺁o ᥌z0("O&eU!5 )^u-f[K!8_! B X|f7-/X'#;;gCPWeW0wn.{4b9wрF<' #P5NFJn5jG Q!x Ii{L@~c}ɿ)c m ;nA3SX+uILvC( 7e?fhQ <]UR1ʠÌpq}ҧ|\)Cl^3i߲'H]_f&݇!+Hl꛼4ka1{|n/( * $@E0%oX^?ͼǹ1 FܭMF:z?SJ}GKHJ$, 0 G(IY)bY 7Ó񋝮( \гN$x<)|uk'9<̠dvf$$GS{fYF#W\c ow_'/g`m?ݛ 6IǑ >eGޙS~ADi?Tdb * 6iF&*i%xY/Ϊ궀ρc瀟(Yw;x]dU k 偑{K :kjb>͉w^ C*qk9uKkzx|nLYb",]h7[GԿa[BbM\f$BJIFtU9O/Q:s=ՙI``ȐM0hqvb;OݟqbU%@:Vw;OQk(j Kh)w3S7nw#'xmR6<.%UZ~ov9"LܖM)[Ї2+W@Htݺ dD#F!4yqV `c\{%>!Ŵ'bFteZUs{rdLu'>iAA3:@o%goԅ`%?a.͏O=n2s& @c-")uALv4廊(}Fzt[U vOge77YI99QVz{?5;䆲%ʒ+/PPFW}BM&$7]2o'_H`V0U90ʙ((Sʟ[2+b;brtiЙ'g4}xE_r|E{WV]i,6$їaS/:;Aw)+p:fGN )=)}@m> _}X#L]'Ǟ:姳-<9&A0ˣwsɁ?,_pṆ}Se Ԗx/Xl!GRY2b䖂ZPLC~$>]f'=`˫7pԭ -. 1ŚGə K48Dt{}?13H+YĊTXt~ub"nn$9.:!i|> l>K:.C+t#s?tIRXSEoi7 N+9v[]Ɲ]ƫ3޳0_(CDzeFE_@ XSV6f2բan~IE~K2,Dr1VKl\eQ1.S]<"]> s|hec ,|5[P F!_5x~xʊ 2[`[?f!f̋{FOrtlv[=ƸjgLg61DG+ 5a1bu /HEJObNr\[D6L<ߎdwIm @8!WǴnd3ׯ婰|ˏ~n /w>"&Ovl::ԏD@j2uLc6EB:]Nm{e^8TNo 3i޿Uʑ >Z.i|@EFi@7dfGk+22^VՓ6 BR&bv(?#4TIQ̀NOW!\`9N\q(\q^9CP@:AN+z*;T^me\`` _ !Vy'dskC^|%S\.T>ȎBJ8p+%&e(Y'v*~eұ^vԞ}ˑK7k&]cxoOT~Ot t\p2qpdzv;p+A+A[fIҤkϨ%﬘`&Ta^F>3e bDk_'s49Y1Xs,yլZwҞxȂ VI|$($Fي|f< LS }b>zƍh㼩O預/޿{űᓷH\OÙ BCBd=˩nfϛs\t >B:R JZPs%A(xi2Fy=qpq:a4HSvm0]g\{ȝs'z,/pQP 'HD9Pz\H% Yʹ<:0âL/sŨ-pw檅4$ wZ+ud Yܽ7]>ZWJԣLU-3/ GICufz&<Ձ^^dxDdӹުY䒽I6d E2Ear⿁^-u8 1VozXD:W[rGNphHOb44V Mi ~o Xu,U-|L0xZ߆`fSF G5&F7Nʵ WbdU!rTky]*gڂf e(gfG}Wu\)QpHg`fXRw/yU1$cgkʠw;:;P_mEO íըokE;DD\#mY[7}*>Yi.Fq4g=AZCZ2J/9>dłOI:wg0Ͳ CzX3'svMo<TT:,#'Ms3l')|| +w!_1m*bKE~ Mk`_v^eU@bž2J =;Z\ e_:>922%Gt]jYd߄cݛˊ3sk+ș}}VEgA;.D˶ЈLqf? =D8iq}z*qn̷Bӊ^mؔsn4}^0+6:`i8mk=#¥,ʅLZ#h 臆9zGCfo6;OUXFPr'y),gj*L;7Wut"LlUI`#у=Ïm`i~ND&ZWxψ] b6;K VqZ/ȟ[i_DmzK j!رE<T?״'*}*(c&E58: 3rc#&wi}ё/La6MvPq -E|嬺ʎmU3NCZiH{SLkW`Lވ%jv$j8Kx{N|A;r_CW;Exb3.x`b%}:uN;hըK\;opтe% k!h"GT7i~|-$_ # +. o'ݳU6گ(]Ys'?_ߓ7@Ezu0%& J?g3oVZG2V#].ˤ*"SsѳM(΍Tk.8}ʊso1EpNhChVЉ̊zK=Iaya/bbj>( Ů!q{\&N0Uҡ~C@1PzԺ=Z*f[,v7 -}x; !ӁC3Zzm(rmK64b!$6ܱ.{V5TOX )P5j^5a?}"ώU 9'cC-k6Q J$nϏhƽbxHuF: