SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 y1TT4 ]% HOL-Decision_Procs:threads=2elapsed=617.636cpu=1179.584gc=103.132factor=1.917zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օI!b #/ Q\$a\wR !x3 xEkZaMMLٲPn!@Y)]}w,M& ?$3v<(̈F$$0J!~ztSxۼŧ:"!͒M3U8Iz(__DŽ0kj͸L#0ZJ d]v4_ 0 'SCԕ^>lmH~0r`Q *W%|H}bhjXu{XNb7$7fEftA^LuMuFisqH<3bic"K(+>4*_YUnXݒ>KVa]*zM"P$uSLC})UŔx ?s}twI/ tKj=}33+ܘR^!;KDT>'U nqVi\ ϚH6LAݰg-5# ᩬMrbl ֟W3z+0;pН*֥ڌś srJsm@aLn3pXX>;v\L4=yZ3?ȇCоׂ^hRP4VzUTYk/OUiIATu䛟r;Grlc׿O`6pjyn sk½cc ʇs~7U/-GP<P&Q&%rז2lxpgiգ?}|¾ËU*懖]%F*"Q8Hme: - K%~GJ {d#H=bH@m@>*e_+2cW]íbzzH)|Ǹ _9竝ocVK|쓑qH9NTdcD35<^ 5@ELI: w*vP >S1UVɮM#&OA!K%Cx0e\jr,cI4k=m#kFxL<`%D?< X֗:(̂h/y#okOfDCx΄a:tuyw$A޽wm؜R|^fgq4k$\xrpĦS?j:r& z؞- !t.$QߺL YUɩ?4B۰H fZ+eh,,,W݂!!t]ީ5tXZ";nẅ́oDdDZ/;i=UM7;qؔ7+bYuftJ3iӤJ\]dMFGL{ق֫`Br?3 3UP-[Z 7^4\w6Sj0- -*Y32$p8$ PnݮF䐋o{~w0tCMз87: ҏiJt aW}'4{V k#̧bvhڎ*>y+A bO'K2F{e1 1 HOL-Decision_Procs  EK JgLBzd7n$z%ݗ}_Çn!?|y2LB2͗TKޠY8A<؄<1\D>ePxkВJp41qnVz_;ѱɃs1F*4E6ǮOH L.ݳ9T\N|XD|fZr+0_#Y3uB*! 6HTu\Xy:)BV<Z*"ͳLhgQ]'K8kV.=2̡ D>vɵ=u|BײX26o7Aߖ<D}1CHKG GBu|*f?u#Mbx^^X]~ KSJRN醡?QF5?E )H*x O@ q#3ۡEv]0Y$AnV`!CJF\O[z;D $ZOm-w:0JY[QKg2GEҀ٦#6IS2F>87\^}?>ylK5~W]psC+)xd]c)a/Vm:VƑSٔ֬@kc.#fD/?(}hLNiY)gx:+^nV`ݴ_ my{&ʑԊKxGLqYLx2*㩭h/[9T5:*tB6СKM⒍mk;%@M׬#mO /e.VeVy3epEڢA ++R8jJ񢪪q|Wwa^pzQ0ȩ9%k/ŭhk(ZmM- B8SdGlQ:hn4t'fӝD r N?V NJxa0xvZKt'LjJ=v ƺ]&I)HE4=4;UcnѶ±搕R; ~ QmF.u.ykH*!:.ѸYC+Cz' .zNg >½+t'eJ>FWVΒ&T»b5eAG_{VoZ~Bg?&hǢEJs1=qmp-T'rLKE"k5&_wew]"rVH7FdziF}m"-#D*>QNP&BɞIRd>2W9Se@aGs}DO>|>(ĵaLP-oآ|;VV7NQ{-.aIL SozSm{=@;Ce `6[i lۇ{ph -5y^ y~-W95,~qDO 5jScm8dXĒN< _W=/@ ́r^r~Dͭu(|*@EǠ;8f<$8;gUVê-ˎB tHO(nHj"wbS?9i85]1!u9ӣ T yت?Y<F<3NǾ2,%wZ4gBp 0MρȢzDHuE^A H u!  Nw Cot< # GzRscxόP?jDXϐ%s$Zfx:uĞ̚CG},AuA7ؼT5PP@ Y 'Ρ5X^u;΃LԚ *=*p7>}4^kV !푬)Xj`cr^օ|* A^: dN\=w5ZsY oֳq,"U|̐qnUL\Gq;"כ[! vV ԯ7nR0GKt?0..Pu#=v`mqݺ@?sCljcb)\R֚#*G[rL''Gmhdt++WgYZ7zXZִF! W!]ŗXiɟ17L? KxlWP8SաM~>fٺd1)H =7278$:m;D'q0 *]* :>~@`wT-WNcuJ4Y[-ͤ(g|1hB ]=6.xwV4rlTV߸_)ZpA!.|6H7Y}b ;9i-~Ӹ8SbJq)ꀩ?ڇ@}_N,wBY*Oa *17-u NHķ@T,-f-q.hwsjʠWŸI'}}80nLuc OjB p)Xub$=tX4K5%b`t;Ω|?bВ K/>*kVs5e&|֥wkV;W8Gu(<3 "L]t }4&6vtYpu)䶭wygYZ7zXZִF! ]ŗXi%>gb!J E7C0mzG)НɥO%WK,摩`}"526S6Ă|c3Λ~I22|%GcO?&{SI]ƻ:*JAW[v ^xTHPQ [eEC h 1)B; !f8Z5 JC 1p"_2oIp.VѬ?WX Ә82w:4#)듅}?.I܋}=Ij-D}hyf2 @*gL[%A)$+|+s݊qDh'+O`,xs#0=•@ Y*76-UnMwBEJf:P213EB "A,3;![姻dF]ZSSí 3]|#KS= CEq̊:VdϛH2ʀjP@蕍.s$ fvf Yu vMt^-.\:f]_BVQq8.RKΛ?Δ%m*hyد= -_xuraS;Wf_(y7-Rp1o}݁%"d1IZ *QyRZe^*|lݣ6[p'@yҐzYSTjHM5r5oRo>{E %!4C?*r p)fθxNK۶:^3A G TKmܵL7(a,Rm M*3zڣ) >4;Z)z*`\)RIįyFΔY8e:3vzl(ta㷔j%Oua&,/絟K+@&Kh%Vl{OcТ 讅%z,0eiOB٧B:@ryt3iZ)7QpKuhc\AИK-NV:+fM7&5c DΈ',ZEv5x&6~Q GvQKԞ`L L 9Q YhAdVFԋ7uVb|Eԫ }rel|XD ͝8 JR4nlP1(Gr8t1fL`d/;a^$AwHPL*'(S]Zrb_HCWYKylCgnRߡ"L72P]߮1~GyQ_ Ryk.V̰ $qWq5Y zw>97BϫISKr}dH\&=v+p5B*l=$" pL0s `_&/Þ89c(Oq"M](YH&:gl 0iLs:*UTj9y?C^Qp\MNvV4}agǃAaq'?x. $[d25tv0A92|t@aH-hnQyNޠX;sc~ވ7is-XC0jVG9']!:K/-I<3r,U *i{'Zڡ4>g~v{L"kro8G(Cƃ6~y8j|ꅞ8NX3o2HUBs[\]:x9n0 ˑE2ٗxݶxB>U]OhCtwJЩ«"+#;;#93(i >'LRGk H"o"a]E`:p-gqR`; Q)(BbᵽG959GLj<N ^ ̼0 P !m|Aκ 5eT-?@%?j&x/Z\nһl-ep/A w%.EClcA? Yp02(/_!SyEVPWKK=$ hz āqn\o!ѫe>iӂd( ̶w0yu\> #duq?IR%2oe55TɊW@hbX^"MDa302%jm!*g-Mѥw!YmnGBt"L7`p|iL@cv% M*7:+ŹJp9vŒ2I9R9s#rS})7U!\ѝPYkαPBnz3G tyC?Koh)r rz ,q5ąKڪk,,@fԇӒT̆IY1ExuM-bvA}Rs4V$GZj`aj/Ӛrpp}Os~8w/ϭeףQ5\6S\4}Rś>#N" \jJ"!~%mq3W\V/lyBVx}(ޠMs融HnSkٺ`G#Nd'B{$ o \{9M1}`W Szu1\ʛF@Q"dbԸZ`lX8u.|nv]6 ĥ(KG{)B5!6Iw)X/5Ep\XlW=89>C-<;t}wX 'p59dbGv/Ϝ%D 輗߉IE P".c!;mk㜕M8nT15V^Q9nA'7y F\"F'8 Q{IR&naIݏֿPJM RZ;Ŗa0LÉ\(R7aPdѨ#/2@ID> itX}V7jo] "̕c]o8v7 jiTuqkc\OΜP$b eK'ϲzHHQxbn~1G -g><*_6r1!7c5hRwtgTbȣ'a3胱i% W8屍O)y:M85yCR"iCF/'!!@+M#Z6<1{g.?;[,J ,zP6R9H1IǁnmKIX޳{`O}5hjWA:"p|A#Mƛ 1!/?6.}[|}ZKܡb+C&Ď;UV=NʹY#dz:WT6U,:ß^kypq'~eȌ,$S֒ϭ w,GPu4]*Y JВg|n^ $,j" |Yugt`wEt}"2xG];Ls ~Vn3?]Bh;WZʏ_!tAߢdh:ޱh XW|ȇȍ_7fC\$9G)s`a?]@JOBN1}¢#դbD.:}H%ȽDyHqCA0wK*S|-fعEV6X&bsgX25u H5u1LA@̎n@_;kS'{Զpȱ<. fM̏:;&}L aHu+ߜ*'1K#di?'j.+PY3b/e_*6v l/v?$'HѭRf8s@K;_Spu`(HJJtPܭf"{Yj8y kE=_dcPjm.Pݓ R"6- LK(i_~#ƌ[P5"0zH322Ih`@3Ʃ-4Syʆ }$DqcWO"E0B4Be:;PlMg|Q"ySax@},Ќ+&)d*v(@o? rPa؇1\cIEx?+-'~fxIA:ЃuŎH_vGAf ;zKb37‹mK<̨3q{-+3x`]ZVC*NVM\*SV7'`bܱd!?mk8o͖2ƒcMRcʄ+ 9seB~K;("Ha2OaA2Zx#Dg:%mG]Sg^%e2k@)3}hTEاaxWARlGD~}4hX܎yYsr(]4r"WycYNİ8/+ EwWTt.-R9ޜL)[]\|N5 J<\@ګ1(N>—ŻXDZtz\gI[JQwm],p"ihZjHx{( 3Āk8vtP.17F ^61[!Ī6<%/5>r)p:cr1;!lPY\~6),_%5& tdSϼ]9bxzEIK5,aRegiKrUa.\vsWuyM\14YcV|q$-nm~q!&)9!k&]aQL9-bɭU4.˶DcY}rY73{o_L~@[uN}cf%f<>Z g<Є^o ԝv~t26WF⤕n~wa Zsy840@_fEMcy2(-6/ I wf2n]{b Ntb=)%%e9#mBlPj=(}iڵo6It<yۍwlow+a:HP-b[~1CVqf41DG$þiXOcXAf҇)#YBM%˛ΟZj 0̀qįb|d%F X|wrw}ο6*Xac+%?P,P-ՂJl ./v}Ҭt_>LSbG\$h M7ci#eX'$"ITc SlpGSGn)$rQfՀuCir&:YlH,B9a^=a E dycU0 /u,D<~)5CDŽ#n"5FZgLjL 4-<@ݧ3vz}[7x h1:{Sa]W+g.;Jhd ɁC~)Fe)u4%.[D5 jzNjuyQOyŋ jm:9_ UrV;HޠvV[+@&cka(z13푛mmc%pצũG}V5MvEckkT2[o~۟Em?g E1.rlj3cOB\PS&,(4,+|:2K dbRGYVI'an( p+mA ED$lWd"#8ĄzH*> UCU sc=* w\!m>d6uyS"Gyo]YSB5OߍDs|y덀GbL\ ܍٩cZD?wէ}FO(f.u4!ͷ鬄-"xikgpDBJ>3"G֤6M-Mx<0AV.#S9m{/19?S?38k1_/Mߥ(ɂv.UA2N2ܨJrns'A٬>* hDY&|'/*|>ǓQ/S[ro]&,5^[_Z핧ԠY>X__W2C#dvԁDxKWb C<0;W`+(unsH@%p+sE]I 2MfHuzeG͕)ED=, ѬXLvۏzNӞv(i˦ ѵb5ɡ$I[p#y 你\RUr^va _іZ:IPEoϿNz%-g9l+<* ~$cK#F l7WGQޚ™s>) *` w''H6 Ke(}Yvt8Msa`fiG#Pv?>Q0s&gA]i "`3YNwj?o獨&$i' _3l'6gN3/ AV&mWXp[=DwR-YcH)HCO?UصFҀC"ilEGĆW&CE%PcʲlUy[Z$Y{ acjB.iJLo(( 5,VҺ!§c`EءiSiT]C<_cN;>8zLK':8ztpP1!=zt=f%IQl uK": )q{以%8_υj/X$Ku/Tm}=l >xecwzM0gҹ{'] '"(A3;`xD.Ӵ"+. +Z!cg =,K V*xG J78dϧ{@Zy/|2͇HOf`sK] 헚 #Z.P0s N3x5JI-!&J{.*8I>)2  8'.O}M44-զ  ޹y"60vX*Br1~g Wpgқqiq5̧'Mv;bxdǢL;ڈ?HP-Zy`CYVğM8\pe$Sh{ZjKuVIS$vɆq0 XtLDS 3kmy '|H]}К珁+ 0`\y{!>EoH:fTGmQtn-_kDPSrIG\ۧ{EPafB>H;-) 77W.O6 <Ih:+dB%p|_s<PH/M^ ֗z, ]X$IKoݖG%]R!gk2 _Sd 2=XVrƨTZEگsz4@á`Qo!˻h4i]“w5?KCrSaՐsP'TI:-T6xs"U٬HrVrLݜTCůON%|eg~$)YC>T"w,̳Fy亣:9(^LjQ F.he"/|鷒XrX @n 0%谯ՊReKA Sql!fL&nULג&T4BI^V}`(iĉ" e,LiLYEi@] DCsXPO}%+bfttjǽz'ǎ#A؅/mMثU Xvw*.J@+xngro.f vhzc7'oC &dRݶa wxै)a=[z^dL{]4 &BuaDn~|/UJգՉkndi DBÃh41:t'Dڋy~ɓ!y8SE b!]s?x:Z<$Y͚!@;̩"q1*-Iy.Ve./ )4ݪ5vL3p\?Zs rGa ^q+Z)CsO7޷P:!2Kn׌&F9sYeY>{bןQ~?6%bɍ]}l4܏I%xzJ/}ε #u h1Ɯ \؍}]4S2snXJTS n7tIX"sNYi:hLfOy&tim0yg`XGUèMо1ԠVBѱUvXpBEE=@d}_S+X>_(N gg>م~UP/&/3e/MonEjCRg+q2 J#=\RvkI=iT{K;_,TtWҨ%"hl] =(4˸GOjB,uO.|p e^7ơ(m«\ r8ʉE_QIX[uy"sIIV'N("̀ۡzZwʚAG}DfRj^mbf {h0Hg]UP}Bn=:ev`v~ Ր_7MPWdƥ\Nwuzogg1j,ֿ%GP+E=YO 4b#n >o5&B[`"&9FoƝB}$ɖJUPG!mOx#UPNjݕ wnB)Dhƺg̚/\mB\<\ j-fKH5bo9#{ܤ&`3)} Gj}<@jpXl`tD>aUc:gՆ߱(pѿ{8n):qw"L= S BZ$.})o|HtRX0*1<ʻʯNI/؜ƚҢYgsbڅ!U n9y< K7/L6uI4l 3Khx6;xɭ _ŢeӽQF, V35ȳwtNv8zOɳicG`q[D FT]ZrSVcNU9%BP;+dQ/C:$`d~$(;e){˴ԝmކ!Ib͏So1vaӿBcuHo'ѕR#5W_3AT5[p`b׊qP[XxƳFu_/W~o% ~Bh$mO,ȉfG CyDZm !Z-x/[1sivw8Y6>f/,NmpKba$Eb; !ctԑ&[iv AhM9r5-uhq,jI`a=C-٩,աM>dGST8qC>8//ZwrH3ͧ,!œe#~FF.L(M'o;"=DHmwSpm  >YC왇VA9FdVlʨrxJQPƵ+ yK8E $I,j> *-rmYc$;;ˍZ?`Db b8`C [嵚X&/VbiB غ '`JoE7)"֓x5bQ.awpJeogost&Usa\ȴ!0;*HH7]&z+'T5B::;Zc0_^; I v|6^.r23cy :S{&1U@ ca!i:6zܞW?E~ l$y"6R0 Z Ji9yAXt:8qvz8[ fahU[$S^.S(dzlkt.?ٮ$"3}³խL9锌s$ϭd^)yF5u@2O[ͼP\K fx.ָr nJbqoƒ*_ɓMowV@ў-q;?wF{HeCL}>Z>;j7}sAťäc/Qۘ{br)1 `aqed×fƖ= Z[RH(r>SN#Ohy7~ _P5@=z'3@Œ{5#C \p}Ui GD(=Q8Κ7) -ૅAzZBN)eM)JL3O&/96jdXYR]"n]jxqXE5E}>Ms(N'$U;$= FO2 ֪AU^q;N=9=Zjgv;DV\WQ FM}!ek@tn2JDb1XEpDVȡ\o%=ߐaRlԭEM7ܳ+&'LW1%v @AigT*tb$*99DSBbܛcB3,A̱u[J C<>d==ߛTTcVFhE3qJyaYLVXnhuTl[􅣞1)*_U R`pqQP9gXIf<4wMox1E|9mYALRh`r,WiUOZykasdu% <!. /"͋US{ȿ!S9][nBI\gY`BiY~EaڕUJZ5<5 ds_ ,P/KEwCkE@ ]+ֳ"@괮_m\T 坪 &Mr棪f=KV %6 TiCre^eJIf'a /- uw:Buz ϨmY^ xV0 .=;&Þ:KɌ,\|(.^Ɨq-e~٥Pw5v ܿkX kI9=ՊM[9 _Gqw|@7Eġ: "WƴWj,/1(diőzMҫuL+ UL̩f-ƿP8`hGoDϛ;Oj ǐ˥Zm g!lvjqh]ޥ |kt`IbPU f>C Sxo3ʪ]/⢕/@d`5V]dNL BO` if6YHB 1ƱvҌt/&dy1.6n)P X?˶郟<[Q$z:i5龍)$FkENFGNB%n$[ԸU7&6ܘb~޲dˮ3HC\K񹞝k?D&rJUbr9B3!b:li=C5MR(r. 2,2j #ޏ(p|: -J)E>g6u+X܄a^uHۛ<D (DyH?eN*3oNUs|@ZVߠ |}# Ԓs[cf!9W~TYd-%+ie?Jo V TaUBOELs'{8k+r1t*ɑ`(LC(:y $MԨ.oBvE%R[XD'.;h7gឫXBR&Ǩ=l>癄bPaj=ICiM+1!s/S{+d H[K蓱x#bH85ĻBx6gE~QwHZ*9NSAë4ݓ@I%| ^-$?e(ls~a5;5bm֊`h,(vd/c1>p.b(?:1{σGXM 2f )_0s61"tivkx3m6<bNHA#uʎmJ4< V _nQGT&m#|\*'9߯OphH]LqN6Q}M )uxQQȌYP^~˯; j.oi!K sgnAJnYr !)*T-aZF-,g[Vk&+0yrEx[WFznK d`r*cjM]<>0.+/ x 9r/f؏D:bh!=s4-]}[g$,iE X DӻP{ē0)#كt|3W#:6JUDZ6OGeC95>U&>C5UZXm}S4{/2\0FU?̷!'=I'?Auz9WD9 O45mZၖy/ND|`.Hd7'mPġ򥦏6ɏ~džۻ UQ *V* DM@ezghNjvW muߝ670~)sۏ(S M"P5˶BVFM/?vK]LZ_[̢;cHw8;8nRn3_>c?ajA0 #ݣ5g&h3Y-έic8UzmC`6+Ѩ3 Kхl#B\21iɔf.U0Bno49h<&(|`;:o/k!9\o^KQ ]}N$D Z^i!'X@|MY^JϕYMUFΝը n1 sްϰf>i2x3?>`|1xwqTnXr?j4C& M<>e^? {#USjz2rQxL}8>,By~C8:ve|B]|sjyOs+!?&-kL qRjW`>@ /s*;obq!̓7j6ІW nc~*n?ѐz^\pV-߼tT@L4ܔ[xpR6zظ   CX OxBR5n]`a!T po>s>`L몼ل[4if"Җ\)\-!"Y%(@Q<%G"EbSJEWDӖJeD_/E&@kΪnk"Z/NitxI j)a|׆~_09y\< ^]p;^G Yg~-]Kbji 7@6W]UM'~JP;!\ԙ/zQiQ>VV /v?FT-IMK(+7%0h6#2qrtu"!'U(rRgII`KS^VLt˂*jyB9n,) =R\h|&m|6VxyjˢaqF$G}&{.?p9=*jʕɳA7Zٌ)̪h0PbQEf <NdUKJgcm3jL,bCɑngDn,99 Rv1mխXM(A#VWҪXP\l"aԆwT(!V1u#4O&T|!pP`g e{./CQ1U)SY6Tbi"t+U 4|y&:]K9T%@=Pb|}1`M '>,ys˓r䏾_ڷȇ*NX^||Pwb̒_`; @.T"% Tviҭ۱3v4RݩMA!6QlI6rDh8auF?s!2΅G=Q(m߷oqȾ CBS|h6*k^mSzqq:]Ee!&3@)H)MI9G>!3C/pyzWjHʀk #dY\` :G,+20oAz2 n-[8AAjkXJ :RMaAb/%$&QL>qJp.L[0j.Ⱥu}'j^ҍ@!55w(5i Qz)ۥqɮ1NS{”X \,*&ԂزܘsdBe[kßm -ZUE3zM OyR//QaLݟӠ@n,Eױx1Lڽ&PFr=zx}.Gp&<&#b Ρj -sOb qȕ  N\yr^u0o;rhw꜆d8e4LT8qS Jٌ\ Dd`cY-v&rZR1嬲 p9kYCS@5jim65!Ju`F-$qujER p-tQ",L>' mK iHHC[۳V މ=[Ǻv+iJ)12fhs ڭg `%˿RF?P`o+vd?n6 K4vte" u&꙽wȸ%0ߐk*)9OTn6yb~n>h{P/TV f6.q>x3c.P"al)4[Xp[t-\O~^95P߹"c4V>Ou@rĥu  FTWœb4xں65xƳ⹜6sT!;)zL/f_$ 'QҸȸd 6;t/?U&܍%j1{8 P@B~w)6zxz56 H&BqYpY?v% 7G.Xk'-^1 <1DeKh ER #UgUo#&i&NP԰fEXo-sLAIfyާk֋AG?^׾=6xk(:cH<A gj4 #3Qm-\dnN9Jb%XR>/@M+1T;?pZeAfQXŃQ4rqE*|̝f"9V)eT)gYit6v*mcVDv68~5N][o9V;H;i9y(+ac05䶽m1}ʘ^Y0G]VVD3ٝl[ZV'|y E!ƃg1ZX!F: "ll/]Q< "6=(d+n<*QgV%+P} x{b&~+VA[J Nj7G·>FV*ȹq[w+]Ney5ٱ *XXǨFNN#B@ ր9 BQHI_fF~ *rA:Zkl۟h<*cô{E6 h%_%;Hf&!F$գ1ݗ%5j AZ4 ^G?M?I7\߂Ylogtҧ oL-ˮ iȀ8 H\4ٻ5q]񧁯;wa)E M(G=Fq[y ioVocZQCEDG\࡬lZ7"g.9p;vfXFʡ'pmkWnQ?6>PI{븜8tHgYmOF`ULP&,K^BN.EExv4z3E݄ʁ]Ѭ8.\brxdZ6U8dbTDC2PԅW`@zmtµ{)̆ş5;ĸDyF%/ˣ+ z{pJ4qZCLݓg29M&iy.G /@C#bw((ճ/NDz7l̑Z=R {Ox|w>آl_{Z ey?/,VoV:\ic"&>Iy 7F I[~=3.eӖ>]9G/b ʘp.תgh,X%p;apP(ʈcvxvR 9|? [tjtSҥdhQ!@ H .$+ { q4<G7iu$=C1 txx-*gAC8q@+&*c ~_K2]p@THUGqZXcvtÄ/Aى:}s^+~Jj);(udx"IW+jp`(^lTJ Nո`}4LtN0udn>&-CV+tyN4H:nzDksh{CK$;q>`lYD4dnA;؇%{\LXY'jh̊b &l y K}RjU-(Sqo-f dWO6ܗqiG^$"Ȼm .k魇%9%:EN.v*l-Ao}Hѥ8Y+a5,c'MhO2u$k8b~]'zeC("' L}*σ=t_QAx^aEC)WOH3el(sz+6-0VwHƷDX4"#W L E۫[GX_Nl*Ģ c9`H?kl/i0DJAsLf@3LL^8!^Wk/txpȇC 3V8S;MAL\&ЖO&ifB56`D8?7ln%/拙^y({yƩIv|ui TIulد$=4\%Q 2UFHȹ'oPXKVo{Rg.V2sz75$؆RVOZXپ7<n%-`?u^5)y4P;mmaYhOi j$fDT }?VH7;?o Os+_V'0lOW|8hs]KTTNwWoukIڽ3O_/FSlywv%fۈ#<f8,nZL޿mbZ\&( 7]Jo>09ׄÑBhi5(ſ.۷iJÓ+bDfN`QS?2IRbp g*IA5Xѿ<޿&X$3/ o˴OXpx7'Hd=D璦Y! $4Gw\";YLp"joΔ@Ϝ0SI]z":ЖSҶ}oh K40/0Z-beƚ5p06I>q)lp#k^D&XwHMj:WfQ嵰H_3kA7K9-we-R0q@nkCZm6dOe6Ubu[sfu j$hrxZ{ uϝ\(N \x(CO[uMբ%H:CƣG j-O.D s8O\Bݡ"i<[g?#p2fPZ?a %&IR 8nbF^zosʍB|]j2!OdoT f_a2[ s,"$ 7K;gq-?&qKJ djW )$Ҩ,U;9lfRJՐA?PIl? KL~΅+g! tqPg[`savV'2OGbZv9O #.\ĝ7Ky?1rH:3-7}s`Hwa ~az%Mr2%kjZeWen:[uyJT ߄< !7Nr3d՟M@y73Ν9FD!~ j]h;Ц2OA>CQ*cYjrG?j]ttmRАe!se}8̙J+F{AHG5{`N6$e59L΢ }k$΂]CT}neG4d1ǷT(7aH6p!aO0hɰvyQ`p+ԁK?;`v*p:^Ct# Ki"{͕V+A:iIn),Wz&?s/G >qc6¨̴>i*lf9B*k΍ӍAypo+'x=by "S羍ctH~&0ObR֝Wy*;M\5o}asl$TGاbP fTuƠcp?:I5+H>ubе쐏PO~Jwr:p ᶸhsةc+N="sK(_Ma]: qYZ,Q]zPŬuz>iĉ'\Ω{SCo,J }=)N&{_M64-L;__~ʺmBt }^IVit=V"ˬ?ȻNm˔aԝ X![^b'ɊHNw_Ӳ {p`6dBzby-vWv?_i4Eenaa""qq'_ NGG|RmmYLY:4:nt|&\no5:I)'`fQ9o ((SV8-`Tc؜ޮuJX{)J͌>3$ƌ%97ܬ9?nHjɱ>U+oqs罹pr +4{Hdl5WZ4 b9y@f ōhhaF|ˊ;mHghZumUvw-6WGְ'$Ec^ !wڨMRF9¦O>4VT-t۔ 84 ω&D Ɠp]mmwԡ^xX3Y sC{ah j,P<6 !T܎Ϊ`QXRƚ^h7}X@(a+ =C>.ҁ0V2ď`8&jgk~$4k#5nb /*AA8m[4?|09WBX%hItr5֤FB]p5+PIV#]k!hOHheښr tiSb/2W{ 9Y I KRT6.9($.(lnbWspk]n8!OXys#q]X~?uxO8~ +fN7mʛGV4BՅF.2c&uG* fbL~O}tS%cD f TF _w`#jᆹ@O#\hp'QXN( YJ pe +@LB3z8gVjo7bA!_@lcy9천P5*qh!]6QnπY-: /'x1_"DpBz13Ь<3crh57ܔO1ћyHݠv, n}{NW$oct lt+oRǍ8I(i,Ig.zY6# /.ueÆBg{yuCMW'Jeѝc/9F$}.=,;_ i;:)i|p 5o# =6`iK8søk"! *'#[wzrg4R^b$}r(VF9l;ن%z^^Ə>=a"_0sFSl{N1Ab MxeoAq:!C8hqd3zd0?k|ȶ դ8cYLvÓҕkBКA^;o|ƿ苤am|nw7 aS% S;h}~UmV?(bz{^Zskpe$%`EWnބc)Ӂʈ Mv).ɟbҶ?ݏLm)O%^5;SrmepB3Z3򂦭8T7ϱ.^֙=7Π(OE[dL :<ܚCgD_d+Akº^;[øEF[5JYP_~ȉM@60`%aInKb63}ƀ%}S#su(.vNV1tR/S*\2&J/\mk|w$nbuw= D:Kz,bv @Ll Oh;f#dz58Q~X*,ײ?; w7ob&c +[öWAo2̮G?kB7ےM$3(uV VEV0\tTu*̧ hg.n-cFԤC*ħS\;cJAOuD 朡ݝ{, lh-Ap=?AyӖ:闆?7aAߵϠRƄ2+L^q8IdAem{@-\qG>fWhBx^1TX\_¶} 6-3n"ҒveAf̴8eD_gMZ7* }ln+2;>p/?ܒ|ɽ+ʎgYZfc441414c62221896c41489c4f53866517f64615a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 23620354c57eb567d552cf9b0a331e62bb638f82 3b1e64e588e1b38a2463c15c0773e0b84749b9f3 385a28e8e01ae4c3d90eb0ebf21e888966b17396