SQLite format 3@ ?- 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 dD /]]HOL:threads=6elapsed=146.490cpu=466.592gc=50.056factor=3.197zXZִF!   HOLl]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7P]*,!+Y-bm\D)Lb_/ %̕PWanEFQ5Hz $iOពl;e9F v6z^ԏ[Hyv`#8&I 586B Ϲ$?*p@JalkzZYt69zB?6lp.)S;M/9@3I2rϳ*>Hlue9/ɿ =ϩ RZzཆ_!59rAGi+`dO+Go|9;%%|!+]$L31G#sPS<.%g)=KKʡصS7`&dIכ3*SLNi7UN-H97r|^Ъ('տ-cQ۫?) eS2Z(x^ >n%21Ҵ}ey{li2t.}5[(Ţ9+4\#pAgtX>[Нr69d0XƓfQjwH M>.4*BTGZȂ(;z&alX^ұIVEKFi1$AyݖOOf[reA=XI>h&qTD10&׹/qIL[xv^|gSJ/V@52A(Iz#@D渄 [[7ys&S`o47GYo0I j SV$(צ>ο9q&|ӵؑ`W+q1"J<^ޥf*k~lƿ{: jqsb;NYe4Rn)7DEMh@.Vl!DlO+$TR~6 q%X,LHgaff0,\f! w_>X9Ҧ2R.S^&藻kp#v}$}wb7:j%UFc_/*eU4ҖZ5N~_Vd':hw*G_a>%[(}g0kg-sN`h A^*uV(ؙA=hR*-,Lي:mӌC ,C5eCC/StGq-:&.UJ5 w$SvLxXA= ܞ Pr8~ OP\\L I^bTdM5cʍ<r$L{_ [l@|%܄gs<)uTtprN5iingL5qNTCV0yYn>tRѮcOޮ:cTOsj񛦓Lmqx%gu4OoU4c#11p,/Z)S2u` 6vJ$%X8sm$OEXzW}p @mN<%;B v唚$DI؃ ?Me@6ã˯TrlM+.CRNc7Cbzu"R8ifcOw@~xk5Yf#A[wͺ NIDvnm E|R< U_܍'R=yB*ٷ`laa£Wa3E']0 jܦ޿blBZ#Pwʛr]O$%礳mH?; +;X zp` >R9]4 րW >xO|&Wܑ*,PC@`BӡE|_[f__:#Jz ZmW'5ҮƝqJ"6Q P{}}Yܮh)s*uobF+bR$WR]^ax]OGK/;%(;XǀU%8RlP?)ݼPkj:}/>dZf{̊$S14Fsl?|S z:0 xVZx&oUf:Gkm QY ǵDbZe%Q#Wp0 2u-]k47Eܾ: hNY؎ULu´el `\_ 꽙K8-r:a"ް1( r*Ie d> W"wn?G`RBC EkjRyJ+%*IS? !K^%2:mdu62)Y"gVbn*x9ѪڹZ~Y!NH)XxW5bjCER3s)gh6?/\U8!0W(t]E8e&La/Y w`a؟>X8 h /ހA$Y'l*gk`fO4#eG7ù]M .N H$4|E53A<+ RχZ B$·tD+Ƈ2]k(GMN+/9>{Ñd=^roTMqAA7,pn%!q4kԝdBkzJuȔ۷~8q!~aHW3@@B_~kΣ6fs%~eF x:aӊwQ!r`xTw(jv퓶* X7忞2 <.F("$tzB[1N!}YNv;04_Or߀CIi2ЈNjY/:[s,S=~"wz\u rXOO"&QWx ʫnV.QLll7!;A,u!e%kISh)vvjQ-R P%:ZH`Uk<z,Gj9s֫$p|6S5r!^EbP50#ǒ `-ˍ1UJ pz?ٜ>cgȑo\g 6}CKR.>'ItKOJaqYMlJZ0"ZdwF,pGJ틪Z tbj~fc]J@.W";4ɒ&j Q{X]Ci21rgH X t=%:?rn`cՆ{*O\,(R? |&P%}Q,~c*:6NJ /Ui1!Iڔwd0{Z_(@PW6J! _>b8&C`W?s-bSIR 5!u!]{?g|Z0)J#̱-O("q jkAaפḜB!SS }K#TҼaܢ.!,+Id‘aV6 ߺC`;ܺЭ'R Cof9/6 *L 3nJm9a ɐxsshӼ#Aۖ415|A,9PEbl+[O?Mc23w jwC0оࠟUvȖ71OK:ulPZ qF.^(A';潸0Dޚ()nhCZk1,exF-|gtq?U6 !A}שU%,/thWV/]Ep;#nJmn,i g|bn 805$s&;fېvQLtK&I^~!$6&B)o!z0q>l6֊-Y,\aS;869 } O[5nkުt1SUQa;0qŲIư0h8yg z[#fKᮅ ֓#mmId'd32"Q/S'On b1O56- JtMe阊G 6*vdBNK~T N/qML_PRUGK#(>g6/US5F-x6LRp,3d>PË }o1Rj;fl< y )x{3VTM{'R3%-8qiu2 pOC)1u2Ew:d]Tw!ƥ9&FoHg02#⪼ll3 ZYvK/0"m lnIA@q Нoׂ Rn\S`5[<=AS6ԁ Gۦj%<5_VFAO?_̎e۶4txGkt fWf70I %ϧx3jSSVsO5RڼgZ&atɕ+-)}Q( "^VGƺ]R>VXQPGe(K} 6_R$N9lf%ǿ2H%GOdד8H|Y%+B2َҹN5ٯsELuX wuyT7_@ SD1ԭȉƟI8Wk4bp[C!s_2X5^I0URζp,LEv߾mhw]*/4JZ |Ov,Z|C<'|yqG@[A(( ?߅^ra=̠tnHw=OSE)źvP[뼜6t]8TABSLfiNj1׬Cp7M]V[Jʂs{ՔPRqW?V%Og,l(T!f/zS,f71 2Is+<~=L+,#M񦿈Pd泜Ow@-JiNjsאPȇXҾKή12ff(@),1L\ƞm 9ʀ jg#0UI44~JW'>KM(Jʤ=[QStKxf11[M}le`0%X~1^%~X&dr{܄43KO; +()6N<7}3?a' P`?/ξlp+6R*Ai0<)xlɨm\Jn`eA&黷K5TC ]{ְECZ5F+֦SD%M ZM(@}Rk/TW/HL3#[d]c[P&&UϦH$G;iWMRC ?؆}D|325m ܃'f(G N[ߋD^ ML~Cpt\On=aj(.Oǟ98/H}\FD15w0ay 4-授DR.颲vl㯠>BCJ'(Wi$%(i(]%;c;%&Cv-,. ݂؁  2K0 JB""Wџ_HA}q[CF[beYv+,%[E{'3Ωr7b x,:- џܴUBJO=D_M1=A0BŻ7̉G*ӾdA o hKA {~;N[T3!?ckYa/Oc9~uW#xk q)+E'갘t>wjQWBe*I_'.2#|aj-\x%dSE:v4(?egbۿbtЪzjM\bs_q6~w{4=OjOxJmx9; e|1Z\v}lBk$vaðenڮP& \ Ś!]J`PNu_IST20>K+0#Ol{j՚s|lb)ZD] F7+q^''.|9 ^5n CSkgĺ>J `pT>[xyRҜn[onF Q^GC"kx]7sM6KNN?MT!9_x\,.VPBh9\j#|hw3/5(:ɄrF ktlFY +"nJ^FdFUaE5)̡RkL\aE4!gٺe*D$dSߊlBʥa^dK Ф\[?s!j?'EBp}IOib>'눖YD^-Q:ņ)= 9{ ɳ~1~/*ҼфKte:w)ldu>y@ܓǧR1*(6)oJyaʲSW%uH*c̀n/ݠ#A;X(!\o~%]U7Z7!N1u= uQk'-7g02ڦ A: Rj ! jYPƱǰ~=:0z2@3Hl/sr!Ȥ#l`tUwyN|/dNiW|m);PR'ӆ`xՆ| W 6I/az)RءC>=g? P;1A3i>_O +2PA0 Uޢ܇Xӓl]ѼSKGƝcoxڣ9yD:'''Fx̆0o.)eXCU3k!>7"D sé~tBio;{}/zn'~ 6qLhi@@U&Ԩ΋ ;nJ;WA ǕcrP{Y pY;|gh/u,NP_}QegBz<Ŗ 8~S%[;3Xo5eGi}=9 (q)gfk#^y,zmz}e@7N Td֯ +?:^֔6 8` qMOI\M4rU|LTFMKu^WUh܉F3Zqہ|}_%fѲ\좔4bkb@KpٱаL}8V . *e_1q4OUͨP#5Y(sa }$~=lrHוX>>i6E#Dq~ Ŏ/m%O.IV͋ x-ՠ:]2W Nt|\DFaq/TŨܣ*Lg.iH[#*>e+{0BOqpvZCn`0 { ;iQTFLJ cfڿD {L15#vzz%K/Hwb _Dք;wۑ.Fo0o=|Omxrϕ-À92q &/V(ΰ4tSh&WB$_ܽ~Xp&y":ե;Iߊ[J3a:$|Jzm[ 2*J<IIvّY\5( 3vrl^ 5 9Wk]qG,~aQSwr&V$ ZS@]|p;#rX5!tg`M+B?4RKVOvS M,("jB<,3@z_ nڭ5M>/KD23{0'&敏[ )AѦxH9E@ N}_q^![`"֐UХ9&-8 X#ֲ4-5;jORm̙QE=3#0=-2^,F;D'YO='Ga;uË3$Vjz>!9/7_ ai*@ko=:iFW87un.xaf.RN_k#ƎOE\(!I, l$mX1b½i~sNMzPԌ})Y`Mu%O_A,>aL(~%|v6rqt.L 5oʆR*/)Щ3Ӄސ|P8RL4sc,RJ!} 8dуcb2TSөszL!I(􎧦O7wX3S8F4 KmiG_ow_ѭ=lZ|lZ=vPٰMi(FsRX{ ك>M\EyF|b"VW\㶜y"hD>nÊJAMll03J读;bp`}o=}]:C .8wfMhrt\Y^Ww+rgՙkfM/=z=LD+~~G-G# ]eGdz~ ]\XH|e x兞Ko?"wsaZ%NA48`Iĵ94oVL3 ej|Evlˑ`=jH;ucy:ޚ6m0jqJ]7hG0vPkuumrSK\Q:69Ȕ*s¤@;4"Qi.WY]N `Fe,P^53: .`jLW*jWB5#cι.ƀ-P֖3vܝHUJ+Hs˴lC%T(%e S*ƒE3; EhoM([o+9?Z9,)~mݟ-aIyliCI+si57$Wi.ޮJ1bF}HJ N1qӄWubݬW13Pݗ8N?wHWz-28`vk+>6ƪ%u:`(1d{q@r7c\⑦g/s rxm%/&yB9J5\3qTdv)\Zc5ngO,8u9WmFsGr5uqШh"9]ZBZ>B-Xr/_~x ,xs/M"~ BIyT[5XeijYo(Q'Y}}%6n~%fhiBTQ@ލGsn#oY&u)(W+4FzLrN(WY{GCS&:Չ#C(aSi cÑ8/yzŧ=L`"E H+ӁJb^MmRǪ 9A GiRhjO8\z(w L/~gAC?f RYe4{` 0bxr0\=d7mL wKizX^?^(|H![vcU=%,`I<[ ;F-焝V]>%.X_Ra&8K_4ŶlTl y@'( Ci%E-12'_&Ja9~~7|=EHT7FLn1Ƚ nc%KaXDgĔu Z8(xC~mZ4, >?`Xl}k}vۑXG0FdJ*rt*p6 x29wS |rj8EkY>N$ފ4 TXoDd p,y=ZG_BaY0$T |\_tߠ#IPvɩ1.3Afy9{ ^-C: Ŏn tu3.\K3I.!VzǫQlQc]4=X#K7P]M(Gϗ[蛿F8dr)&$-oP^\n.4[bI5K4*hZ=QFDsE>璁LSk 2|X#.<6cwhl啢f& o0 lgxqjE9.^4zQ2pͨw=#(mu+zL=^z[3(~9`bU~W Ra.S;HE2T0ZbÍ +Z C&bl+Z s6CwӚ3>-_p/\s(c kC*]޸\xf6l֗;`W$,H>[(2~(inԢ5',΢ Sת[ёBrQ+G<>?k礲w08hT h.8yfSZk|zby-=ɪ#I vqظ!,c \>>i!7"ahRBD>RW534O6!?z:SL1ڔ[>A0&(_*WB & ad>aYܣRjS.*I1`&`tksn&.w/)X Ёfqv(q”~H{> Dg$BIW)`s }%燙74|hNrםOte|6ڬˡgTE$oݥDzKX<𷸿J?N=h":_ԸzTK܆[BK_L>mžT()GAI :m5T^o`Y~4E!e 1'Y)0gnٶgl":*h^v Nft1.75[) I\QuPP]D/粒q{m \;}CTB-y [!?/o?$Owl0ug M.-rPV*ef%\)tXCCFL2BNߥHz:cDuA3M\ 0R:Az&8s]oUcZ& [ىi&Y`/V@aHyNZ#AQ2hM]?%8M"rg1ka-MνŚ oHJd#{ >j; U_T>j#~%!u"bj.Z\˙vĪ,6*QL`錬H_=ҭI{* (}6(aJhi+;nxI ÎԂشӵAnvqII=S;]>d kP‹|vW?!تDKs J>yڄJ4I˜@G}A*4TE,0 C+L)1TAnߟ&=k@Jw8:hdtL7p#!^7pH4%d}\M4 /YU-#y &7Æm~"?*ol(Aj}'ڵbxL~4UC&q\;eFE '+9zBzQhhn6D$!wSЎjCpUg6$U8~vI~iUF Rꗈע[)g;)- wj±ICBB)ӈW0]uɛ5Υi|/RUZZ T/Fp3uGշ+7Ux٢>Phw;)bZ$TBk{{ϴ!6 ;4ۿu孡'}>qM9C>:sR<bwe29"UOvѥ6mH"$U=gNj덻Z5(W./ȼpB٠p&f8uk?`.\̓;j|齴sl%M1K{*;,x I$;r> G֘;&+kj"s*N8Bn Q_jOI'͈YأOY,7 e` 0y0cIx(2DMڀ""7ltn}jhh`;٪G/R@玊Z7Bɋ.1A't7}GA5.* _y k=8Sb+zRHs뺘8sNaG_Ov#o:?TQWl .z & ofu\&x#>C8F"Pǵ洏Ф![~Yjdmn.BIC5#"{zb,\LYMdI87C2ͤb?ւ_r̠;'RȺM9x';rZAan|$OU A{!p֗#6˓h_seȍ(dW C"(4pdgI6DϧBrV3b27=Luݘ=V -ZWQ[[RM̼aZǵy!o]FC<6(uXE-|ZΘq&Cor׌xN _]3spIӞC@ݒGKInbJX)z(w T#1 >x̗DlSs/PEù{K9F cu K:ݥdw#ZDIQ+iZ(T|ػ/ʺ l!Ҵ)DS)Z&?lel1w>AX Wp$鹞yG Œ1ɈLE`1.";}jn>_xț/UjeoH&og>Tj3ŧ}-^yѿt!#e O!d5 ъvs!(ءt'9`nKLQ& ZveYrh6˽ڥ.TV/*4rc{1dq ZLxhڲm@oPw!:!`)nq0~?G5%,aD%eIMF=Bχ>7[)4ICCpжŠK߅@S|}1%sP _Q'NOvrDV"m{)Jx&WC$䎟 ڑ;bG:eD+rdFNA )X:~`ɭdlD8 ۔22_6*/*R%Y^y/oq34`5Uif˵TY )4# _Y_Q4*( <j5^GyF_fvȫ$%yA@e(>ª:PoESH֌~|DB Jđ03ZL援$gsHz.TMHH Ds+';壄"ޏi \c40CWYH8W?;R0K4Z>^A)S~7*G:?WeILQkRڸ2jKs,+}>xK̯fOotSr!)Rp^#6a;P+.jW/u&EBNϰ˅i_P@iYU C4 R0Fg:99u. h4:)|<>!#06 օSk!JPҾeiˎAEᾸ0mum>'bb\t7BQ‰oDqMԘE9(Lx#Y%w(L񪇯kRzنv'TFi[np.K$t Q]t@}mLOE$q[+K$Knи@UT5O>[lϥAeUژ*;G}M9Ѷx3fbڕvNyILCstv) "_,oo7a}J&aPɀnW9S"Kw\-NL _?[cx[l}{|MLOצ $ULgM/8I5TO2?$Et$Mܺ1Eo1T 8Lr.SY<^*FiaFh}Gq^)ez]!aד@Q,W!a>އgoAZPzwEǠ6XBTusͱ[.hVY*v eR*Q5?^-}9s2!`,k%q +V]r& 'Y'MeXo]e#oZŁ`ґ7mYs $*_ǿTц mz8PUU9^{dpN6g 2˟] t7/LJ2*14LǙ4ֶg1gF #B2A= ؒyE7|b{Jt{:VUlTm-n]oIPyU Fw{1w/<A~h4eф>Jzމ;ջ|rꨔG|̞Κ+u AWgg(=˫Q@p+@}}0%ԻmG4nO; hgpĕ薄" P"Fܷ<[`}!)mFi܍sdV~CaS2CpEof" K*%vEDՐPa0Tiby|;^("]=I&rc ;CrVigM>O k5etCk8d@8L(#eUVVfTVG"pGZoP̆ o'ZZ9 ,H-V P 7;K h~"E\rbbZ)!<\IִrM3AcetK{w۬#oG=v!_ibiݴ_^YMA ʮZ'AZ[U\DRZWG)}KjKKI;fC9Esk% &Yq0^SZ]Bfg`z;kF5%r^b<0+$e[Q9hi9!4OEӠբ 9w|}2Y'DiHޔUU ~o CX orNaɨRU,π){gޗTA)izߚLJIfW< I 5pPd?p'n/}e=>YU pz\aEPpYb'O=9`Ll-aў}^}TbV,ž=~ D3[j?|@4ǷL1H؇'vIQRC,2=< ¯!wyi]0g`z!8'*${M):)~e6tѹ`%܆PkR>9Ov)!peC0 VFnGg Y>q.P IPL4pZZ{ [ r+І~o`!`wEyΫ9=qPͰWSzoJG4E- -C0RD  ލRIdS.Qr,rD) Z= >H3[׉/GHBf}<ˏ zYh2;""n%$- ׫Aa#mBuK!*4u5ĉI-޺B=Q (7+?!QZ|u)SNxYx|`BHE`-'Z7ڥ-3pUƿh2w`Wd|!Fm^Ѓ)f2 huk{5qR1~^2IϏ*,7ܷA%A907dg:;2MUԐi$R)x R):=m֫'QG4<%}'ǘ 0#18]8G`ɬHVYXc5>'$3D׻%V{)KSN#tJ"E}/X=yH;NTx&@-yԮ*q~VE 2$PݫձL kOz?@6Ծh^MNa)+yp0;?o'$,Hy^ΗAW`c-<jFɪe ߵsdy*اtX6G*[[,O%hd¨X*ڢJ/UY>(l˼pNH WLg:D1 IQvTG_+ (7nm:(ղ^|RJkFFYypt#">+SZ/ߗ 8i\* _3*0Ө#hYAM̑qW|p~1A"@@qMw`c\?PR»zh :7H?zjJfpZkj5z00 >ZiJ0s1 5gV> )gW"H_! 'BS _d H咭Xhz4cO6vDCne#aܡl<__Bni䶶˵e)3 vRUp2 N8ɒQyhЄ9?]p ɷ]Cw銁L=n{dF`PQM7͐6^ۚD9_ӵ r?w!!gWfl9Q&4֖pɊZ~g gZiA7V7OH6E*XWtPT2W'@ǘH \i1<ܜayat”}x+O)h .4#ssvV$ⷄPٗ+D5c`{o !?^^JUeз?P|܁Dj:bXh蹮9A-tGO}qTn4N>܎ށ 8=|>2+ih nFjA(-"S|ڼo2cs@뺋eje Ucka%[ alS@ _ntHA}lyʚA}@1@Y5<~U.SQOߘuS&;ЍXB jGϑ Q4 1->T4WH$Wӟ0!5P늅 T|<:p+b@PeG] ab;59Cuۺ(CrW=P!.&ҎRp\uɬd%=oZņsKE]U*|߅+9/}IT-W/ N.fNf~1}1Q=VRX+jlQS!L E>ѭO[>V +n撖hQ3J?Jix_g됊qsوl\ေA7)]X.&HtqQ@(s!2|@u$B(i!~#d&qCQ/Ďİ!:dN=oNcxz2ȴt`}?V"baL*"׌M@7iH[0su <z[+Kk4j:%4f4)hK<5^:pc;Fi)g3s-BCަ i#-[Es0&~?"*Q8I3W{C98(Y#]ymn]8)Y"Yt+^y%}&rԾ&8;Ńn%ڛ4$w0CFm_h,Q?i+HH; 'xoub@#V0 bEEVdRv?KZM pdKFĿáS3D7h7L *ÕeN% ;N8ZVxRchJX#` G7q/ax嶩 s t}N*b Ze% efzX=e}(%M=ZyV |aW,y1d+hZqL(t;;;ҥZ#Oڐ[SvFOȯJnȄTVGjJ-^ y6K|~6[fŅ"u)/Ɯ08Vg(iY,#JZ8k.inpht6>iP_KE". )R7e~%T8<`$*@A(,: *4y=h S< 3F :k'9ɘ|6 ^V~c+J ,4~VOۑ̓(4Ǵ8~HfR]j=[)fP&ffeăʌOU Lc`Y8ZQş_TϊTj ~J¿Ʋl@|wߓSKK×W&~` AKW%"[nHx΋Y84fha1ВճՁu ok%^ !@-峧 UӲEB M.Eń#EN#>"Ocf,@C8c Ea zu)$-[e`aXird}?Vzw}FUɃ!4& k;x|{TS 9B-68W*rU+S+Q-7s5!يeЗXQnkG0gB@<̆(b3A4њh]ԣ*57}I2* 9IIIpW(ipSR;񖋏Լ[f//V1=S~t: Tf)ӣbXʴg0 ,ms;ې$ )*T.LsK70UOMe5a g;r%&DUӛ\!1B=Uh7ƍP~U7GMިYo =jkɊ$^Q_Zq[Z*RK<"6jzIK~,:M*XD>Gj CÐHn\ A;A B0HIC0? MM|ۯf r)]t>&H5j_mE-iYtBR^h7}+5dG\hg{wod .D5aTܜVd/Z!E)x?ϙ4tcHP] x pZ `4xjԒߋ~`8 UZǺd^5 ]QfS#"Ҕ89[ }r t$gSX@H?($Z\d,RK\Pk[t!y3]\%HB80#,ޗKuy,LuY H}hnMۊ)+}yX) B܄Xn*H I$2A5 C?8#3LO:yТtl0-^l].o,r@)n (7s!w$A! +}ۗ'cV5)amSJݻ+`\ю:zC.7Bs+ӦC ?$a""%i%Nw]yWr~P"d&JVEJ5c$kZ+Bfcm9㟯U7fn䎒\MA) c&{[)W7 91.bu[[{e_>:K)tJu$2]``ՇSiV[4@R-/9 !,j(u1ux> XN0CEyщ ZDiqP~gP^7ۭ :7H[ ¶:N K\] !ůmI~5Y0z7Aa5jwD|+G=~֭,Kx  xJ[qLXE9%h pXlz 㮭=1|&Q2g8,2fbd 7ukY^ ,[]K^ִ26D>mB}߹n +_^6iwXZ3/| ɓabw\Wb0# 'f?F#0uR6D+Mg{uppL/+.v8H9-Y!-̗:IˍmkxkZ7rx$ajF8/[nDmJ%xEzv %޿r2,6$l,MÆ͛>M^NY{M%6lati ; s55>#k[]$ZAɇ*w V^nYYDb2L;)6OMq7/2dbgNGP2Mޱx:[8ZuԬVVAFk@GAj d!mkJ!x%wQw\AT~VvI<*z3䁲)}M.,HlZ3LeՠcCβex"VQxn$S,~9tՂA._(z/HQ {@TTN!WITs\7]AV+QCJK6Q %L:{ !Jbp*Ilge?x5SKC sDEkK< Q\Z(e0K\m>A _'N`5I&/6.|2M0q0O4h-ZY)"sL(~`FY/.Wyvi 7QQEm05~LGUIYօ.gv\Lr?>­]W1fkŧݨX!cB`!Э3{%A2b :]VZ%k-J_fx[=gs8@N6X+oc P@.*Sk:T盹A2g.z&`7٥b13^1WfU\FC*9h},5#*}] S]&MS< Y2?m5u"j` Fb{`56bjÝ p/&#Y:g_q^o(OZ0(_)9W+3d G"U25]*FnΟOzԱԯ*;Purj^sL푯.qpf9Iޤa/LJX%e+>w p§]ep$mnRP,0Wi*O>PCĵ HFUe0T#iK&#^&mf&Sϣ-Lzun.aRևL_8ldE3fERlxS )H1tsEcPqO=Y-dO epP *k>&W5.CNw H3C]?WzY"U[?]***nʚԷǙ(_F:& D$ݜh.غ:}y!nZkYv ѳ5fT/NCI11ͭjix'6Ny ƭx&-B/z墨sVbfH%:C7romSV!]Wˆ&)wfzw4Ӵwt~EY?)?@(ֿ[MZ'ˡLt l<*ۄʲ5g@Su4}e<{bk3MO9-])&ÈsŅ =01砧%J\"~bH՗ 2L2m2Wɶ6G|+x~f"|F`ڷWL2d"FӕZ&K G|arGn-lM -8f#b_ ` qK8 b|Gu6p)o_3.jR+A-D@Izq+E]3l\;sJNR4=-ejư[aj )D%h07JF#F|"zy:0\oc랻iq1 }c->_K6 mKȻ}ʲ9#T@$`-ٱ;-8`,āF ڵ* -i('JC:{iNC TƏPT13;J̓`Ÿ8eKgJ:TR0!UT[χ>CҒTa#au;aH(4w-C.]o*q"!5:vWUg Wq op}6ykF_E7.C>4x%2s՟̝F$M U7Nǻ`*'^dH>"p$> .) O*Av/T'trQ%Ix)#=Rui:1 OJ8 άGb@ k@"ي"cam\ EI#)C'٪] I2fA̍@D3]Y/ YDicԶEV(&EI=KݡRmJ_@9aƜJ #_p'}rEbR{b $bSt^W $ӆ$B.Ѕ{}srM$l鶙ul5lHr` ;)14meb ֔=]tΌ ܌EE z]zg岃̳ᠴ]bwo@QbLHFvA `s/|ݚ*ZTL]U蹥/i]S`}2`'8UfkڭAQRsȽ'hv_JWr1TFd)E <%ݡ#5?IqgJ VT ZIm "wBcwEr}ِ3A(R訾k!y+ Mm£y 1Q;BRKrI]Rɫɏg %n=>ުNAOMjx~LțjO>ǥE+-0Lg{8kEжx{5hu0\kO%gYZ7zXZִF! >(]ŗXi%Y=Ph(]WE^;Fj|L|xEC0EhBc(Bvd1pWXcmcMquFt.mY>n:#%Uj dlG6MmZ t`j2 t9e AV!Nfh؞%#?T@,R G=@~&aT΋t~.ARn;dd1=0: 6KcF0$jq:\QA87 װG!1}E8Dx SEiܓq4~$84H). Sg[R:܄͡`EPf@=fHŀ)D {˪(1PխgG|?k(st\3|K祯Y)@EfbK: 5Mdmg [FY`Ek*6,i[l9>]{T5:qQg/Z>:Z_r ]3 Դd .@Nm, _󹶩?'@tG1$y.53G Wg&Cv| o M[wuiۙH&֯^B_䰗8liҼsnB^(8 ߀_-]죉sTaՀ |$(c]SPѐϪqKHW_YgIhs]V0M$;*;h6uc2e3 |8=UhɅ}[ )0b,g,acm"D0vo4t<*E"bY25gB`VvjّM^V@žKS'<|_m'2i3g@&T7i9Zj6%E@0[ (w 玑*j3"=v,\V^#bO(1mK|{ QZ,öN[[>7@) ]*XWeA \L.1|Ҩy(N}AaB<``ވ=%!.rGAa?K{l# [^3UՑ\",!}D] L ui2OUr4H\:0$,oeSN whv+ި7̛=C^ɷc_|b.m)8Լ[MĎnUlhsn~'ԭRNUE(B]-+^rIoQKF׶Z犏);gH+ű _}Zp<QljEQ֝tdq[BkIã2z=蟖wZi֡A+W!^WReaӚJ@hf;cDDٙaAEs@#އoI C\m=cw3L`n%,$-zKAj-4/(jQ<%Uq[xOLJk'GTH{Hu4tmf25ɐ}5PS #e ŕOz t^d$ }0>.|=rhoQ!4&4 Ж .gcF5ՌDwm)rsڑ1ȺTr = Ŷ˵ mmqXxޒ1LVJ^ Ub7P W?s$GGÒ0-w0ي4dYrOԯ*9fr$ JCA(Lԕc(<>iK8=|&i 4rR+.l=5A%y;k3°9RB/A?eQz'>= `{W;[Ыئ:DCq?=H:Bꦧmm]ԊL˺x|z(@ln)c3zt%+ [Wŭ;ܱ^TM31|wNtiȮM}y>jD {~twCK{^չ3 #NHTz.i=$, Q-v)ϣT6Ž?g@ǚGd[PZr'mHz#VH6Zޠ<ܹҝڃm cuSnʬb'\bD+Ԋe<]%O.+PsF,ƬGӕ 9Z Xu5&**iqQ`Ee$K'4T߽;&;߭DWؤesJٺ$ wSc2?|o[chJ՟y&oKXK,SlQ,t11ddg_ncI[3Ơd*>@1AU`,N;ڠ3!Cʹ߳oR5jP7g;,@T3nU 3vkp0<PwiLs=?<]/gp2y֐G'.(<56-?1N_bɔghi00.M&,$+A}BAD`vɺt?0X\ė|a.t-<3#nq (U+&\͋31c{8)B{&X7nYa:9|:rQx a:niȄA^vʪi!\c>&쌑< % r3l R.q[OA.+L0hmKVue:AΙ<6u4sֶ֫KM"k rOv= k ̇>EMWT`׌ۨJoYEj\eX% \}5C%D&ZAky8M)/!%rș<؀8nVX^! +"2DB胒=ams,,O2i/e#~=(ZOu<0W~;eZuKvѰIͯs5_ ?#1zP`9brbi$zNZDfe!$HmIFߟm=mj/~`UK#r_('[hXոr''Eǧ4؁]q`+.&&Xc[ީU.g9 Tod_qKrH@J[MD)n*Z& sBqJI48ǘC^ |*>hpqWC/u"`#vq#r:CᎿނBgֻ)U,K(Kth.|}Te'yK!QK5Hi%;xPܰ_n!I'͑u.$d -qx<"5'mΗ O _O4Ty H,}1мApU),-l=`2m%1\T$@XEp(YXt 3?@bڣn~U 3ɵ0G=Uijsu){m'gUTTֳ=4!Wx%{[-hCѤPِNTJ4P{v7c}}!;_Qv-icyS:]Gf/}PnǧSon[D96dP*|sʥ/dk<6\ 9zGXy1z9QΪ8dZ18%4vQ2"Vbtk(q^KaS6K ϱ,U,xnc@[PWi;:i3` φ'`D"i1H5 {a  ed@}`@wФV-8 \VQ#\XT/%R`vޕgc[7>#Qyg1CPyZ8/ZK2d| U"o=RҽՈB'OX9=Q{Vا'Mւ#20op8TA΍9g,)lvn䊾ѫ` &WtM  cYE u$nEU>$$;X9qo=,ƝT*f1ǚol[/I5 gC\(?w}/)W"ެaקb'ňTN&H/ܤz>Lv]MnJ(y,ۥ_ɹHݱK=gXHe&7zS]ou}<>;ƢQYd<&,ߕ <)^ l6\BNwH2BZT fTcK2z f/i;es' )D{& ӢӻE%y0|N-5M]_!g\uG1 m;C޲?~ ϡ_w$Fp){Ѥ3Pe3T=-r"0k :"ŒōXCe 7i;)"͘  z޸cbP. E9PTf3LNYFv>Ŗ8IL/-֩SEJcndN^?%SWJ$0rM.h L1C m` bFyz^ %{uCGP@AYi^XkNW6nCZl#OL̕Zomk6 m.YZș;RԀnZfs1@9w˚ نZOB5eT"DPSIt"JFFY {1 ࢬyNpxb2-~)8B~7֟ oHS Ca"VӲXlmU8S%`z!' EjE |}•gqmQ On5tCKBs'}\w/x4ެ:M$~Ja3PV:UOa^NboMiQȝ0\iZTx 9/j `\PrR%Ո ȼ,_&+e%z=Y%8g-866U@vb$ VJ"( k{ 絝r ;[/f7̐j#F\-һ޽[Z ^9ڭDU-3_[3[.XRkD$T,aaL:UJ]x<(Goh t˃|.eY.&\⤛Df;ISZ1pڄf~W!@n" %n{'RC\7jƚqz+CRp#o jJne/Znd:}⁰%l0diZc(GxK6Kqwps @!sH̘c|.P͚, u$s865M(pҜad܂wp.?QQewJmMOf=/ħunR~HZοBX %sQjY{%@c,s'* ]f]k5m#p2* ɍit0ƨ_KP(m$U4; ] Y2gҁmd; 3,Gn)@[堺 l6ۀt;%f5Ŵkը ڶ|aTk&u-injznM 5mPϣQ-䚸bvX^FLb:Wi@uW 4?+c' &qFxt8$c__4p;ub)Rw~G`A7~'h 󀯅IKE^g |A^?T}z]ȹRd0>{&} wֽ^pȭ&4դ `}JBt_rlyX(<ȪB]E"?\^tX1olzd$hw#zdky.UqAJ&e&5^쌐* 9vA aeL KljMZUG\ۋtwq._8d_yˈ$f΋f5F2YP0;T˾ *>^)HVRw,Y-ֳhtsg DcF-ʋӍR\_Dd}aX)2YIIc mD(yy7D &Ț~/6o2:Ucڒ!X{Hn44~\;sv!+\Z-ߪvh~sa^^K V faz|VM}}hEP_˙X9c8ar]>xpޱU; Jcr LLJ"[L d QbB4jd1ǓJغ❕M:LC( U-,̟O+HQWk2ZzHFK[w4؇ԫ'at$CW8[b \ǔ{7դ [}0;ؚl)*PuT/Bh#'H^ή[@) gUpqDH"3*4~nb=|$ ' NV2X"XA~]YN}x2ZYCm3W*o^E5&@9rI2VͧgiI&sO0_#c^d.2ܘj:!̈b#RY Y)$`b&gCa.`tiG Y|'  Eє73*Oa`dpÓ*lophXߨߏDmNTi)a y\PΎ[mΧ\2 d8>Бƚ—)HPJ0) ұ,.'ikrPvKT D_9V؄#u~K(Gn1)EӞIXK%bx7CT*%R&gNw-0(Kz[,eQ^÷_X ܹʶ?{zzmk,̮U1!o(bZC~*l28IJQ}Wvm2Y!s[b5K.e`Qgc΄ 0Y Y7dNl؄HJGeg.Iye~ PDN~E=G;3{_5/q]a(P#7KOYzi:}h"t$ )2łkNWOUTjxr]x$rJlsD3YHFfIjTUJ xi45!>̔hnV>0idM{ .P oDD3j?/UpNϱ;p\R' \ja5lICsw♹pn6jl_ !30At.e1b50938b8ea9388363b33bf330f c9cf09b2178eb4b2b328e50120eb132a138b0543 ca6d3741c1dfd91d53585adc92d7808b06ecf149 ceecead55c31d355149e38b0991f780896669c2d cf3de0e7613a445aa8b96003f1f8d7c8f96a83b0 cf5488fd1d80aeb44f0f4a2576d4a6e57102329b cf59e7462917a831ff72f54f5176f976971933aa cff9654e7c1bbe673ef41f23c6b6103e05067dc7 d29fa84f3fc63184c6d57988fab9170f68181b17 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 d381c9449169df4b0e02f097b8c7ecbd49775b88 d78af3193d09851402a57cf9704c8605356a3786 d7e0767a8f2ad4ba6d3adc581090c8f132ee96a1 d8292adede94ab5ef0257836f9002579788c8c89 d84b0fa4a441a9ae3859c4599c76a8c2d2da7b86 d9b7b4a0c9ed126939b24ef7763e450d7a34b99a d9dbae4ec7d5be5774cd8b0490d19c92e0da6ce8 dacb91831dc2a4a5ab74c794fe81ed3cf79c156a db7947d90b8ab9a4cd4be8474a5f8b3f8355944e dc217076872eb986a89109e382c7ed9f08a0dee2 dd12f57a804ab5c99a71ff1eb5fda83941632114 de83180bc60e40cf325db337ba288758e8fefd85 dfc98146e4755edad293cd36f21a331bdf474b6f e01a06b3c65a5eb32ad29b8b21edb67c357c08bc e022b8789087bc5e44635654e0c0caf1c313dfb1 e033bf4?de41ede5a6fd99b700ce377c68b1271b0 e06f7daa951d315c56d4b6a28d08fec875b653a0 e0b01e3985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e3076356d70f35c17a47b97dc41c35db33db582c e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e61dd30730c3ad4bdf5a92cfea8567acaff69888 e64accac256a3cb4f3e66a28313b2a7255522657 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f4ab5eaea02e8e225c961fb5f512062ca171a998 f57466a6b2bba5e6f57deef22e4b3fff1a69dac3 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 fa1518e6b4bd6905d1f9a8531fe25ddecfe619dd faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff54406 fff2ed7a7b69887532fed673d5babc24f44048d691f5305fb3fe14e7ef2e6985f51b5dad5849bc839286910ee9ea881ca140c8da2edc28a01ffef3b9