SQLite format 3@  .  YYQ77Atableisabelle_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, "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  )D< eS]Incompleteness:threads=2elapsed=698.309cpu=1099.400gc=16.760factor=1.577zXZִF! /]ŗXf1-/6vRZZ,}ūG5m&]s#PtDZ>P%@KmG5/5sw`,i5Iq&ouAˡUݱU'wN`ƱMż -ɍ@[W&>@^Iސŏz'mBiYضEf6\ C) VKz4sY:m1^Px[~EԎYlsn䒎7f/Y}Tik5Y/4w ]x{Y.nbp_p>$:c49eV*O9$TsPN:}JMPy@>ˇf@\h[Ufꍺ4%{8ɘ0\zh W ) Incompleteness=2ҔCQ:UAl2 ǃY'/ű0J." 8R({: tէWqV8*XdKQO|ܫeNl27>Ĩہ9eǬ!iٕ犪SPHɧYx\H I+nhdN˴J䔭R+@X>OL-c:,0{kqpT (PRWt[|s;z1ؾtMR6-g `_%b[(c7$r[oMB\Z _y\wbcx6KER,r[BEF4'AamfS6@`k&z)Pu8;[Q9ph /L5ƻ <9LfWOIg'OLۉa9YGE6'e. }X.t&ߛ{& gaO2wX#N6V.nqDu`T>ȣiĬVޢz֊4YuRÓVk춇ꁤJЌY4" ) Wz^7{̟aEje%(DKFĞύKD?-T#(v=,BEdJ@P_WRH( Z;N( D/_QjK!6 8)s2eV]c1#Fp2Wǟ?TƊÇ[r$8DfK}L).nof04Bu0'XqIH 99}q=@5 "N6rCZшXL~6 4g*~7ƫd0nw2s`1ȸ(DzS IeޏzK!0a $9\6[,U: Ԯ/%-Uyxyu1p mY;t [8ӝyql՛z}6|/4kg# 9 :Jl\(u'mҡȿG@EJmr:!=[Mt ue0svkɕ7ه@N- bלL͢%xs /Izv)4@<u9*p٫j d0y8tPMؕdS|Wh,Si]4MOWxZʿL9tz>:=9^T~3=%Ӂ_0SN\^ñT0fdKK4IY &퐲 {X\ʟיr|ꡗ:cZE*ak8sw|F]jC_Mfm:PIx}^wԿgLtl­ /! cƮE⮭U׮r3PN<ᆒ)o}dHg[V^fwB㳴ϵ{;/ūOP_;RS[*8Hw[wдs}} /;qYllQpi ViøJ{V5;cchY۰?ڎ`.h9+)q|IqbW҄  fjOqPώoĦ=_$\{QdS(:}"x36Nn~COi= Fq JUݿx0_>d<ڠ K .~S+*](,=5"#n!.ˋ[ItJҶDSpj,8nSCJQjQ}Z#Jdz4K $ruő]]x`u1;i?b l0YgRB6T#9zBsO߱5ZWBiLe@3x6*Gr+z&,^lI{3f*D~e2J(`FߩM:d ;5lGx2F** .]s!!@1*h+qnm`g{yc6-P.v[EfCkVT9+Xg#>]]oIՠzmr0VL~밫RGufɬRC 4n}8 u~ -XүsFx5u9 ypЫs=wKD pYd"hrl 8d*J5=@y%@N`9]lg$ݛzۼ]pu@kS ŗBָNGTG{-VvP/`$R$!'G묣P\48*9mmxQ`1nL@kD1Ks%?ķ zWΟm%rա\GDaTI&+)h pIک-:FlW kz.Ć85sU NSjZ"'\%^N.rEƑacf| 䳑$v T^t*t 9>q ~N*|DF]s/j{I<8ɢY.qk8g'Ng=l #(xpbuGd?Ӽ.`Af=y(jX\Yo(SgXҔp#7 FHzvhqbʤzyXM3n_6OF)SK( 54C#jػfYj!2lîWѾ!}[㪜sr1B!\yI\Nfb)`fsjU$CIe͉}׎Q0+e渵 AA ^؇F=Y"LSC3rTɪyj]c?}uf4[*~T]=RA*lIPZmJ_-ݶG`|s=J)m}s}"$k!25-V(vkOy%(ܣKŢНPPB>U4EնξP> L0L.~8x>ZxV7@$R $`Yj,M34Y_F9g^{pU᪞PF?j ɨHg09֍%/(sQ1ulcVm[tDOE"!N]`ǟ-t0-e޿a.-7c`ae^ʻ5)=R }IMp!T@3+V:i_/sg^36 kU [UqWMs+ c1YYklY BSq9Ql$IŗWWW2IPeAzgMZiXtne螜4t,0$9q7QWDpQLFuZ xTkܬnfcSOju$}}".$%!3NQOab]1K%|L)Pf;ŪܙE-@=j5/V5ul!z:n]n=+5Zo`xgLR55YZ>OWX-@$wAnV0ǝwrq#k9\;1I#+)ȞPy$7b^G=I.Lc}Qz> lEdO_@r.'\z :G>jҢJ-(O&ђP?[=Ki~c("Ԫxv@t$c<޾M(G(یmI+l0)8"*@j^?_A7Acb$^Ռ'汹xtvF&I[\J7zl=w ֢I-zѓ`x{)7_95DetD(OK ;\11ul3URcIbFČ ȭ5t(3B? o|P>G3S@],%q`W{W]x[c3gԊP+顬 ٧zĊ˱Y'N/ .fԑΈ(ϼMezҹCV Y;_e3ezXe1#umHT|0!Bh,?DM},IT,Of=9c,O#Kq' ͽpkV>-"cÝ(.iU(^ 'FE& qt-fAyyX@$Z\7F6sUږ^<.s'1R|yV̈́D3Ȋ͉s\ѿv;5%X@2>C @):E"]Ħ"Ԏ%U 1ڈ2%ƲXߠe9XA<HM%3@4Y%X_$*0ƕd;Y";DSeOy{2E,SW8ژ7k[9gvIb߉  ,^]jq)*ڡ̣ݵs>XI%8J+;,H.4eboΡj_u54B? .x^?txzL繷מQtu^WANހ]T"*2|%#7~0#14Eh cgF}ӳpZeۥ]n .p[up@KК!/|l5\f B߹/&Eؽ! Nj ,R`K<жN,q7_0KU8`cytkd: HQJ`16l^+j>{=_DW2C#(?+aUn%dO5a-^RI1`-H-!LF_;%9]'$8!19K]]"ǐy>N .!+}JケbiTdzX> 3|lmБzZqtj 8o{M_+gd뱢p@Y+K\%Zv --⽔4$60'<27~~_Of񽲵uJcЗW6*[m7Q3i Ss : lSV5D,(bYsll7)v23חc PpF[iiO71!0_ѽLDEy Usq0. wOM2]_np̯M&Y/M K ;"fz߿>AƑsR: gwyXUľkX eȖ]r^P0Q*j / _ߣ5]?30ZK\Ic/Q{ $̢^9ufd 10XJܓ]WGWwܠ~cLC *%ӭKOm_MWJf?A$[ *[cSt#ΗX$>ɶR+m!> X?`q5OO8ѽXJnE#pJZCn14m ?S;I55U"w3b>CJjxvY cs9RʽI$46'F0q$ʚb4$DlXғAy2AH+r]"'쿶S,gʓ""7|UaKL"nfօ 8h\_F<^6~QṖ5/Ԭ:|WFK 9ړ{lI9GLx/+LW(qڀY<ÓK|3vIxhqmQXütPLt9#yD_-?PK5csy}3TrGtC͹f[ΛezI 8o=\ Q`_ьSw%v]^fՙ2_Y?4,[Dj\nҶgI$tyqlft0dV9c^KWObZK8`@%ϵ S\]}TTmI'k:zׂWm:wֲ{ U a3ƛV&bX@Aȸi%zro$OZgݣ%Ջ;L*'P:9&+cA& Wˈ!~5{NϐЍ241ʄKܱs]%@b9nsԿ,h{60)U]%q+tkyH*c&8N\ʏ?pD!/*f j]s]XPr4;M+{Rh22Z׿5iEGpOqLQ>e9eiKtZ*4ovY2'w҄`A61W&1rQ9ж}MEFNX0w'ͬ݊MLD\/0r;#\e""!2(y 6gGQ_K2eWׄv¥J &&7zoF#~V=ZZ}x1Yjk^g~&i]h6Y_nP %!%0R VC^x,U)[szZ+q iz],y6MN[aglOVw [Rt)@-^m3G|M}j;fY tRyVutI` 8;@0v#kF׻J&ܘ [k\A}VyI,DZd\%FSxvرzϏT)m0>eBG #I_eKZnؠk։Q4*a&5-3%eGhH]QѨpj-IL CPU;o=uTyGVEx K.8 ylp)Ĵ G{J>HM\D2VM 8 ќgTm1B8-DI]5 =0L~_ЁE ]Sdm63D81 rҶcI_e$܏24|}?ch&R1Zu]=,(_Uz]n7NI%*"vSΓ)̾ eho4'RPU] D> @9JNftV*|6ߍ9+$ E1VJ4umhܵ8}jo2553,w{Ur~>Ɲ)370 ""WZtourk9PUZD^TS>!fr6h@D}4w:!MՃ~uZ5p]- $j2F >JHJ_{al#<T`hSFjӜ]+If]sW>4^u}yZ n$*W[8|snv"j 0]/Ƿ hZJcX,p14J:.Nc/r Hf3]HvӠ[AVpN< #=?܆p9"cQNh]]&37to_Z֥1cVx3#?4K Êؤ<98&޹9ԇZ̬hD?CZ8\jH0} G^8`zM}(퓇L:rqeyiC+C ?~KICV=ŸLlDrer!}O} ;`i|D;q/$HAйH'4D%af~!Wh!ˣIƙ#e a*$j\0v8sV{J7rv[ԇ k6iNjYNJUz.IOQМ[O~`~5hљ:41 Q+b{>6CyYl$$ُ)roU:8^ºs܅5fL9m#11nPso;9Zp/-We;3^dߝ2@y,%jX+BE9*%e0e\/;(/uҬ1G @R),ԎnT j!Gxq*ly]@= 䄵Xͱ/ő:G5Nn-O~$eEh//4Y@.'@5&/,Z[n:؆,b?:y^D$fE gJ;;%ST-`U?-bN.|<xKgTѓa[a1a` 'TW¦ N5 œ ޺/xM@Р* .e?;j֤LHA4BlZQo^ij E_$өm9Y*ѨzgZ@ G=idhE䵵=Ew*~= Vx#Ӧ'䢊pEa4B] <:!U8r󒐚,Gb" όPd4sݲ3:N0>}zp&x~t`ȫ܀ ˛W'8$+:zz&ʰ:M1Ig^jgC FNe.VKhjT>E<)wdȹY{ɔ*Z‡OrZya[dl(Yhs 5B7f=Iz}Bg>+ZZp&Rvł+ei蹸4XǺZ|_c0dP2Gss^IzUVp.w/z}dzѐHDH L 3󕭐ᒴ:Hb%GU~ܠҤjELPXQy$iEIc: [)IߙQT_KpW:(Wn`侐)OJ*yʨyReUC0'sXĴA`ŸrzWVH°J~[ѹMk|¢i }{(Ca/caq 1a`.(tIXf I񕼿@"p2i=!-g 4Bҫqm@dՌ`*A{q*6ʧmXrP@goJA;w+d릹ׄb~^ #,#-/*1rxtwPv?`1y >Ωr:X$f774>Kma5i=ǕܿR+;WSR[;p=7Mf㿌Ħ@htBtA MNsdK7B֍`OQUIc Ldb/.է ѲAH8M'-v RV*T,WGf9%Qˬ@mĞ 39I& ykw0x%@K\[{']nP TelI@OJ4T;cʗ(9TuRTxm 셃+;^ګ\U+Ƹ(5> ~=6+!x0KC់oo"(.v' ,tiGL5k @_:!P*ENQKI C =F+QPn̏K49֔O/'e;GUt&q?V ;tbۍ' xӨp'}AtxD6Z8RBdJBf(UTi^eQcAޖHǢ'N Bs'b<0r5nЊĴRv6WQdTsD.n4SqFEvrAz\ax*XVp<3"ԥa[9 1(hlblpES˾hn% 9|46ۘMMϬV`e^zR>>X_j#Tduy / 3q}~$ K[;̧]ڌrZ%w$mP;nmQ(4"n:z|ɛ}f}l,J*v[V&/#j,ETf%ĺ4۸D!N;9McXOh(g]|4*@ .B -3kT0p+`qjjD#|VK],X,;ұn>;^aI.#쥤/2e38?rof@چI-DԺf"I^YŊ&oWcL?_D}PW2^]c1LQ=&y]?k!Gh8 : : V*LmF7##J/4LSTjjY uiCrZVzU,/جyנ8#_X;ww뫨s:)?7 MU|=,tfSach  RC^7*nwafӂj Ċ0@s9Gǒ|\6BgPhucX-,LC4i٧+g+6I[0eģͥЪA,k:@E>Ά?\Y55] ȕ@7?H:OBoB69+Bb/rU"j1aªm۹пc̲aK0VM7p<1sR}έѨ(Sv+{RhjfW5[;;%wg@.ǝQT][$ #DP\6w#Wq2.~>gm~l#X+B\-qozƹ-{ 5=*[ W^%W..m=0Z:f gY 'y^J`+l"5`p[eD z ;YIbMƓU2x?&;p7vij8C)+" ּo5g`[-/R3AR;ByQ؄frN^M0w,9Ѕ0'b(oy˙K욑:Hf("n/ނW=Q 924kr&Hk(/lUtPu7LT3C{2._79 *0vӰfG?D.Kbm Ld_uD] լB˄׊j[ <5R,lWG_#CwBDVa='"S.^le,-Wl^8je,Yx g?{ dwq4Xp+_dWxe/dna8 M꽡J z'tܪ:tj}hig_8B& KX< ;x$#:ͧ_G{WZe cF:bVsYTKkR-]M}Gk^kCJ*L-z7?|tiY"{2DSI iydE~t:951|Ԡmhڊa*U60ÿBU,4*)'`96Qwmmh YP3{qseFjTȮ"+3}=`haaWQsp#V窻˾cɸ .TðKL9 CPbhv0c]Rx= %?-uhNg׾"A#!f(H"2ǫ0|I#i.j^ܫD)jtQya?`^lmr*A ` 7W ϙ!}&cfpC*gZ\ҥz7nq Est#yH!3&'Az2 %)^ϛρGoYȱ˅ud %զ 1A~]Ph߯c<<K(V]a@'MfEj?ܩν%wE4wJe'&~Bg4PU3.m7|R\@x2]q7btDn¸Go8[.4HGŲH;DXU+~W8UrXƚG]`z?:x晐! pQNOYgȿd x/P,$/+ƏG?t}z"׹3! 0t2+nɻ*jLEA})YҴJMF N~P\3ƸIBc@kg5<0ZlsAZ&"mZ> ɥ}/ۀ8X.p`>O1,?"']sTxr+M/`n-KYO:/N_s_ p I,m'1J%͝"*V/84D~0iïE.v nY`QX"D3&0=J.Yr39Nx!?rv֛%qo]Yœ ^#Au<о HT!l EsG(uI*<{7 d` GIճۮ3ك%,ɖ~/ ²斚Q>O[ o\ z 2+;RM~& 󒚢0EkT|,ilDTenwE?f.=ʮh!?B(AZ:$.>.="w,7fvZ|Wc6'qF8D\3*fN2XR%)f=J XF AR[ q#IeD1'U| ϶h)Cێ:Kjz+O, I! zѢ16X^e!̆}ÏR/Z `$/ N@7K:F|LwbBG S"ۜìx Z+4IR_?+Opm'e-˃ 2`HT7Whb@̑G9w3?bh]3膆& R' g@( U]EkS5CQ~h4G{*DzLɶP3_޺Tzg L(Ʌ2Iֵo>BȎbWQ^wvec@ǯII&9ftXT$OdfכXyVRtI+??b.Da~~u~,f:^SEV >,` jjоY n!wjW(`U)k3o%5%h#px7\~9˜1X2F9ѓ>`=iO.Cm-.NVnbgv&= n"woGL]aR°AʨSXD%wC_Ë8R 쮰Ar~GOf% >(>SbT2)eyY0} #AǍy5p6ď uVאwιݪO~j-dsDL6> q<8!]R.MJ]Wsƽ'gǸm-yxof^(pׁ3,JEj5!,k >u `x_\[0}NVV)O1Ϡa5={Ćswe@ ձz_Y/ A=)UPpc]˗M1kvo Ť& Q#(A RR&cƳV1-'fq_1; u-pg1'0 mY+s3:k J̊ԙ\FZ7H=1oмDoLyT] #B=&B6u' n 2Gt߉Yt)tsWyeB87q#W͎I kiOkeS6O!!cH=QoMr ¥X&< Pbi`(j虀;6#>p*u BIӇ}Ye2ª30E(pE j!O :|]KKIq$/~gw_QfDYmfw_qZQT dxA'S0;]S/93odD!LCDCPsI`nG7z;dI4.#_UROae`Mdx=C,W^QaPGAh~SlX=Y4' D vb΂X%4uӃ?sr[ntՌkZrVʃOoˤztߩ_8&Kz3t}(≹q^咻x|_@EɒI\Ɂ??x`m|`,ska;x=M*$Pbk>Kr|Y̛maAWЪQ4h#`8]21kԚLf0) rv8(!zXyKt:6\B{E$2 w7ңSݕQ ҹj v䂃W1(aFs)+2jt$[vo^Pԋ;TE2C_9 :??Yd^U3zB3WzBԄjo\q`Ч^_}뀻dZdF3o:v)":^ߒ|Olm:͋FHna{W7%3u c'^JzM7!M ǰ>5eZ?:>@eam}+38HҔ_$uWa_ɉ/ YAe͜I+AQ%~W~je?2Bz'Y>QKRً&ϓyW¦etGaw0+6< YW)j?Zp2R7#SΝ& u&LJE?âIqԄ,]=<:߇H . ] յ ]]VrTN`w}mvܥRytNZσPOD u'N by!;=62?9xvw}$N~[1VփE6mSXZb"RFs&0q-osos'{\ { zһy9ϸ, P3 _\Sbl#-K$69fCJuWƤ$uj% ='Pk,], >"*.P78}y~~z֕|֓\17Y )4浭 eNյa-/7D-ߒ@  šLH璄eՆy:REvZӅ?z{PdZlJ _HloI`yܾ4ۧ(J,Pc퓄|<Ώ-G7VyZӏKP!۪ :Mӷy"J͠7 3T9}-:Um׀{Xȶq .uiX ? USu^shXO>XҰELFTu(%`&i1૟1w@£`*pD3B!l8>2&v2=8 ŰĀ}\q4U\YFQI|ZL*$h`?/a-=j3 cbF. v*Jcߕ1I?}Hm)wTHY9ۢ hO=k: Tš~Q؞J94ru/ȼ7{. Ay)M8twxʯ("mFwLܗHΝ.LձtmweFs#nF)ќ 3 =!&6V] l }OgڛʖS\So2N-6'ډ}q׼}~d-EnDu5W0 Bvg+2RLh 8_ڜ!Xkb2x@ʋۭ4ML{L zW0jD ԞWMHD#ncl"<$a$W iekmfFȝhr 􃀃fz Y:{:+y!(}lx/> }|%ƗJ ςf.Dgޢ`s]iHz\u.ЃB^7H9:#^e 4`D-BB{/Շs% ,+0'S`Nh䱩J&+fTFQuh9 W2%\׸2y!픋/kHⷺ^õE8%"TNZgifnH>V-Δ=Cər:>*֝4_EA &=,~}H9 0=Jğ: V(ȬVt\:9XNbE%g?Mr4xzؽ_hQKh4dB"RASAC[r z"YzK~$Ԋ@I zO1kqo:jO=Hp݋8ܔ5JP>`_AFgńiY3jG(7FK\AiB|x,*igMFSBME\dv(XFqoPqש~\ w\P%uUe$6A[ެESV x8h0Z3vm,L*9u,6ѥr=ǐ|eKNGaֵؿ hp.IA&'&d̵'OƢ@LR#W&$t:*ԗ X3 0ClrSIPfQvdK[}Ɔ1n7'9hkMPC )bÖ́v?_V7?F{lŬA_ vZG6n!]ycFqBNGck梔01@ܧ $з|v7 Y)3I…+S$?!,\;FqHN*>\R#EXEGe@v[3c ve(FoU݁+F4nFN|nx&e\d pE67SFYnQM~Ő`MR \mr|h_Ckܷ&D Zk>s!-^({7}z.Af鎗"L\8wZԯSus(u$<%b:;jvmЎr=m>-[$`:wS.u󛺮M9`l) ] 7;x K3G$EX4ΐu?&?lcȄ#_V5 %̾= ZMF-ITzJ4 O7Gўz]\1&Ns{݃'z}tWŸ$GrkWm5h~gGbkt`\Ke 'N? z uىH:$;Z/rb4@[;1f U~#[6v8/"?ǘE+SkY;-"Iʇe)JZ?doBoͭI<|fpR()ECƩ.~*ڜ?0li"^/r+Ee2Yc(LHX:(ኑ?;.iIz2;.Î}(`: Ǻ}cDE`>;ܭꭒ2NH>*l>El(GMZU$sbm쒏Jyb9)s&DEIǮ}a^eC]kMWucLR" .ŠkB](Yn G޶Ť^v #gumlzC٦MBټ qtzh}{C8%?{+(jkuOdwtIg(L w#A?<-[P՟KIޞ=t7V*  )qCq9# V8煸kCpֈӣ칞m|h&CD=7]N#qXˌξ _P$1*gp-4Cz;g<}z+Q9qM݉z3~v5U8Lp {ȿ'(>=_u| (eoS!hM^0s`cK1.zI6L dp. Mvf mP9*Bú^EMFXэ^~mf]21˥it t(PYƀ0Ueϙ۟A6;ns=cryU=^J =]͟pm4՜V a]Ÿ#p>9K1:k~y@}$g5]J:܄fˆ |^P@# p*SXC[T)'C۪&bl&-kT@Že]wdR"jrfcpK7>ɰS׋! *R)40#:{(0NwNhB[ Uˮ59xYt4xBoSmcX?+"TZcױW˶&W; @*(CYtI !˪M>93fε̼Sp-d ^v-X0GM9n!n MmRi- kRQclϒ}':FM Whԩ5\`ɟki7"e)-bC+": ㆍ1+_}4P DHçW=xSǕf&5r<4qL6PxJ!|sTL>!Ķ(aSJn: Y"&:cZ7 HMY'e܌`p-۫@[ܣ ha{h \`=Q4axzgk3`k+0!>?E q G8VyLji\jx%m@DD84aO3rHB ᚙcP{5EP 1BhĮeC(m~Č<"i<-=F( ^@$B̌%:_U =-Zgxvo>}9A&er(7: 8-XZЛǣ(s3iDPqWͰKC:[Kk&%6Ut}"+,"*彅ygT@v2-r`oWؘ%s)r(scvn: >gcoVgmO}~+t@nKYzySq$OKG$"zPиyƳqm=jMa%ؤzY'35!|'901I1  *>`L +dz )2&qӒМ5YUfQ7? n p.| |E9Z({ŗu 34c1 cx.<)L\T-r0А~>gU7r k:ȫwمq7V&[gkN(v iuHt`"e:s4&~~gqnw!sjIiạVpg1 \"BB>z%a*2JY+ڵgヴK6(rOi=b)g=hL 7K~k6MΤHˆ*6cpiX8w qCZ=6FqOFgw oBsB;bU2;)g46bHngJdHћF(L3G>KushiuQsХvcƐw_\3ooIR cK6"gPKyhrt\Y:=Zfwz{R<+8TTD4Jm;]T<:6޴j必mc͞N}{.Ye|o_1pw; bj&pR+7*9j-SWu,6dwjr45Œ}Ps߭y^SJCN1́vtVNz{]3Nurm^ \c$jG݁AoOT!WW8`a:P jHcù F ?̡e)pzA8n2>B\貽@QUvmP4eA%wv0!&Oاp_A17Ee#OxӏXGRUU+|"y>P"$kN.A|}d}Y]q2! D"d!rGɓ).n[]c f6dKqei; jaI^ifY |ؐ:[ù[0{^0fzPKh>Lf`#(r*f17J?~-6NR'i_5t^@e PY&eY˻{wu/ѭhՖiʉөbݖ%MyDMսo*оj NL/[K_@- ٢r1k1uVG % (CZ^2@T=˥#4 PuKU ħ fJk! ܢZ{¾#45-NscWya۴_M%CK8SwP#Ƨ D6 (`:}V҅B8 c `m)cbU4ņG=^ T&/_S o$,’e+Kr]``w}ȵ%Z:np'Vʴ } ^T]b5`"n+ZIn ꬊHB/[fRv=8"AT cHf!7ލPaBPm\5D9Z'9 G;Xkws$ et*5uȜ 3+ E1Ǧi| @8%#k4ӌS-UN>Œtx^Z ۥ6MI/H%Xw5A*Ykb=J _8~֝,4B˸ejEQ⍢(m+zw ѓ8pz=𓙸\FiN-<πӕ ^W\]X.❋GFkI%[hjKYs(TE2ܴw;iƨ$}~L /wNϦp%rXo6ثqQGlj`"Y?C1Yop<;sVCp>p@}% y^G_[`{ܫX?mRyG jb+VSLxK+U3Κ bW Sv~BFZBÈи{Aǧ99>j} %2 dՌ[b t[wZ dvrH#xvT4w0noJXaB̄+$}7A9qoªgqł=n 0~~_i180!ѝ_JW/ w/Dc8g1UqF{v9O]0ԣ:pGDVt[*DZoO>sgE^l)lF'ݹF-=Fq:_r}Sf\ ^+EӴ7x|4J*@bs^əoaRpU& 4>R>1i4"`iBcGو"<RWȲm10X|i_VsA*JzزD E,>U)C&jk`P~b_As푖ꎸu W 5*Mir( RQ2B9iQ5 wk^'qŒSe _* Us!Ve!#ߦQ^ۆܹm7Z{Z1d*yM'R/F{ۜ[v[_dgv84.]UpU W|61t0E'k} n*"!=HF>sΗRb0e\oc⦒ξm⧊D +9cLGPQ߈c{%~G 2w@ugR?9e{e*`ÍmY |3&55`3n1ξz^qڨ1Ux4zjo _h35W(}% :6lёJ-]; [k+UHֿ(*lvgռV$U3[cx+v10A^J1:mq!(agXzdN4|fGfFfm :j;ő5${\LIxkRbspoN4,rOӆ)?Uf~` WU5c#l,ʣ ͢ >p`E<8Df 5Yr$ÿɇ] |rU_nvNl ,ȄaPW$ƦVTcnqNFm4=tlCH:0yHS(0쪆Ղ5lJŨjB2  -"),iJnoEa70sX b?+ D{%+;[ՔYk)y)gR讠Dڇ(BЛ[VѾD#&_F$"?G0+/fVEH5#'jwէPKrqU\Zqs*" knE/3 '"$zIWPX:3."rm;3cml.̒l,P~%o9M;#öbVqfi}igP&-o'0B/0Kwml.]vvYW_^'Wq625P\"n, &UH+SSMJ߁fUbˮGwKNuZl6ٮ@R֝6RӎBUuw%[0_- ! 5rׯT7#C%vXc/K)Ҹidȵz萃=n*cn8a+k1>&'SeZaǙ CI@ʒ)]f~I%s\#][ HO{cԾ%#be+XM:>ܪRH{F ,5.{^"_y;o2LdVD@O#qvշ+4*az0+2@eӌ5sp||1eVˑgI,/-xQk5zS3]PCOî<E 5՗̓yXQBRo/qK/m97tʮ 5=S_7B^<6NlfÇ.әR(f^+k|I2qj}G [DH[Z)~jtOuGooO!swб@YKc]v1i͑'d,M,0>A&& E<Ac2 Tb {@fTR #A51|'IqƇ1,%Sqx9[6Ȱ2+0:{\k@rc';MQTҮr4ZGKPF![N 9ю~1:^f-۰ 74_.үWItWBq+>h^gF"-A1ڭ'lcq?W ?_Z4,9UKo|V`''2xM~S1+Rw G|Eg8ѹVb֫%ЧzOV9EX XE;VjB`qtNRϖ\ RcrVd;ERKs}M!\jUZrEt7l|sUɧdRLB:%Vז\0œv#?&srqYŪ,$$ 3-hpur#kyf;"hXEÖ: Zt,E|:!"V+kr6c[Ea"j'%.Tn!Kd`v "*!!8Nt̯y?Raxۼ=-@߱GbEyYzvv3mftŏfgܣgAENJŕ1U}յ '~kZfyP/\g/5̨Ek_U}`< Mf1aEV0-2?rCH(ݽoVV_f0> –:v0}>֑c1LîE6MҸ}wluCЬ΃6X^ozat]UȔ_>x%F`V1@aq”SW`V!GL^.HIow "!~W([+u8oPTޤWgLG𱼏(B+U`ݸPj~#_D^S+h@H.4YҵDQUٸ>A:L؃=6 >d=<7?{=^udJ3u'˚HM_"{k6ZIR4괞85@0;˖FpaYL=邌8T,#͉'AfK`^Ň4.OCՉa}`ԱyJk{6Llt [/^%+_(^F航9V+wCVu-CB[&X#a~Qd|,c1(XP[XT!a3.HT8yn-UU=e6R&bW)2ph36N7^lW&65<I 7/̍? 8+:0yoqR4$Y%%{;X9>Zd!HGotpJg4R1 ye0rz_`s,82Q_dq%;wTo=yJfEQ pHJ?EDCN8Rh^,we4鱎< .G4>ox/3Ξ|φ9hA^hXJFytc[&-܄Zvl~3չjΧÁ}S (DT񇥼\9Mz_H! eJS1=csɨN;Ze9ˍ*j ?،_ɊPT0CHO΂4`oLsQp(PI._ʤϴ\e *EHړMkq3C+Ejr]j$Hjt¨2GA=\g: M<#+gD\MApi$3ͼ v;6Â4UYJ˽H`!jc>hǛwu/mvKcZGuw<#r5#ͯ~{sC7Q&цx#o}9g۝EHU|mgO+@b;x}.|W W$6@4-8j?TA^'|SXE5suӯa꣢2X 5mKlPC).sf u/z=[܊ )=w[ywa%ZI42K k%aYWl27}nͤI5~} H-w; SaXײi1woQG[NW|i-WsSJ߷6LR_Pq2(r}qt}LmӌS\:}]%X3AJ`>E)F@81w_ U&2R.|O'D9#b|Xa*ƙ ɫZ`/Qt&5Z"l/egFQB3rTP_s0NaFb }z"$>J.Ց#S/jg? Êy;lu&svOc{/A'w=bߏqGyd竓A)Zs<^D#I,rt1z1L??'w;X+=ɽBVBcbُ,$C73]~vOQ[v [hZotAe^6e>5 +8yn7˯Ib*_DSt)L i ,nu02ٟ{ g,];|h  tR捏U0[ )YL ih3Gd$gJ"I@z]l`XŧIA)~V3@跟ȌF͝s&IЏ7g:rэ0D 01ھ㐫 7R&^$ K/3{ U(iP/-DwV ,ak Wx~[xR#¼E.@ Ȅ^0EAcįD`hdt|ԥp!A=@هysXU=89)&6z%7RDGl䡹AoOݟ;=bL1칵ƀΈM0YU4[:0|B|[J_ԧg Ik#S`12s/x.^իnr%Cƻq@yƝ%W踾i90CZx# B頞ah?ҏ6!H=3T⍋#r>́mGz8U[kbm=j.,8tD.1Ez J60S A F0,lg)utʜk-핛ดu: ҎCCVAih}-4\#<(bJ)euл[kX$@ T7L0CoUx҉H960g(&{ǚ?k Ȃ6c?Y硃 n`{>2Id2#~jwf{W+"E<\PʤZQ4I/!Xx/bH # #uńrQxii~Iw\j> Q -LvK C6+Ȩa"҄9>5kw⣜;|YY-oհLpzR'}>?Y1\⧀uEŠ0 ǹUIfcz.!J.sуHF:__N%?x-S%cQl37^ M!A=ߢY!5c .侽p.БF$;niDG͊y)!CYbPpDQM!x,vw 3?gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 59e3f3187d6e1edf94ca88092c59ca9044f40ba3 61d13f390a9a8d1e31ba2f9695654fca769788ec 6aa71802aa95e11ee72860ac813f7635fb95e7e5 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec404475baf2e7d72f22669aacf221ea464457c0 fc8203de16c61c092238a1d5eb780b1e7d4d11d3e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 7a9acfd1efc022e0caf13fee18c39885f8bea021cd18e4bb1c406ecf66cc0ab18a0bb4e25e0feb8d