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 21Ld k/ HOL-Decision_Procs:threads=6elapsed=222.622cpu=904.688gc=82.236factor=4.067zXZִF! φk]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rKC`J' 1 HOL-Decision_ProcsrB,9B _Tx>+m@??4??mEPY?yyNqT]`rwXlc6Z[lF]Q 늒:|(A8((iIJΑoK'?%}"+ YM1.2֝=%.=o<P"KֳuU)"fM9os],ڱk#hABY}ScLj53\\C3 H[ߗc\ hZ[f>];JS@N,'+aC!RtfptL\BFld]Uq͕1SFDž je_47/H;ctaNj'H0̿FJXoapQE٣=ndP * >Cָ?x9N/jvҤG%9ڥpyh (9;iM^\|99OLQV1p$m?'ÓwnRԍ71L;S#;,^A0.S1)4ڛv=yDIGe)A՝ǧC+M/Z|9O3Ҙ!ANL| |'ӷ~(]sI:.<cf&X{ : fhHn(QЃv6߭E5AK IJB,S~1F..]OVVp,g⅋ҡ GC6gV r]חpFxm0MW!aͩM3VܺaPJMP`U7pXc%ͥN_ 4\6~Wdք+MMޥV =c[83V>eվ*ȟRG.x+}_W}B%7l#S~GAY Gӟ.w@TcW 1`)Plvb!2yY[frֲ, 2T-c.Cc`7EAٌѱt$RcbY `2ТMƊ3C2,_.c{Yx?Ӥ3044)ʠ+oC揄?.(I^=x12 XHGp3H|3'`f^SVX4":!l}7Y6, 5Ѵl &Jc|qs!pJnp[L?c?8cJ>in8ՔanB9$?X3)| 7LBKc΀SD˭5Hfwǐ7r,G`š[7n}먛c!D EcJÜtuEHT|rf@AǡP.1KҞ.z먐BÐޠrZiԂ^>)>1F>nX -YYFܟP6lmɹ5M"`h_ b6LOBLAB*qT[h<ŦaDY -~HBUQk}W5O|PGC-ݞ=kk(1O pD+pwd{?B6Rn 8a[wZwz/ +.|x!PXjm0DGJN@G?b7o.n[}鲦gf0ƒdOn"GHfVI>RJ [( kЮCWR 1իh`=bZڐeE?WJ+o}7\Sϩb8K` 8C'zѥ;Fqٞq@G@!zw1P'}Cr.5r,!e)6Eϔ=^Ur@h㐐I(J!QwSϠ5m ɚ} ޘ89#n;s yjN(,ۍJ|=RH,$|-P"kiɒI\s'6 HqBbM 3@u@׶c7[u~Kd8b"C^΃- E^ŐX{hWjkmE2f`-:̯*?) GY'`EHxUigq}^sɬBi*%ADkWLs%7# ʶv}ؓqUJ1-Iҫ =o#bLLw؜ΊVI?fVE,U/9X1決`r̒qC)|~;7/H*bJW}!}'d"y,IW(t5pΜ79E\{]Yaks 3TIʋ# H~gQg^RT[n9Np,Ox"uh-nLRvAExHkjAycUUk)l>SWš*&V{n)T{.qG3)[Ezx.#Xӑ6iJ DPh^W޸fV`!E٦8á萹 OӫJʂQ5*jVQBN6Uo,Eܶ3GȘ)M=SH vDazKg4ڙ&r,2n5yfhHƞC~3A<5YU!̹%+S6Cq:Xs .;[8Y#5J%X5V]V̀-)tNRه p9p* IВur &oKrdb['3 pl#ۋ6&K5t؜EqWH\fkE]VKzkYR `D|d.bKmy(T%H;f2G]ₕIzac٠- hy{b`im!FzUXST" w($eb O+Pi:i3 1^Y&GKa ]k3UOWX2"!'`^:ެ̼!c,Ei8/:9Бw6q,!c4+OM֨kS0G)8S_i!u\%_">JLG4S86O%Q=Z>a d)9)~!g?q2*gx{aK\1sVhUan[b .Q\$q\zJ>;чfhlM=fVRyF~Њq ]mXH&WEY[ȟvoZ<:X2 Hg]us4f#H i@0ܛeOC# T9 $N*TQl=5XTL; /Xz$gэ68d75M 3>ܲe^;`֟ Abks(y,\${+5@z @:kù'c11D+W@Z9_^yU5gu|[>?vA+e̡"W.s* ɏ>SDZ0wxv﬊*^5{:$>xiZbdWk#iĻ*)k-JB0^4ajjngL bAɮc?LJo{ʃCm 7͒S bBFT_*/ 㜲J()nN`mAF6]jY{~udHIa5xD.pAAY8nʤDM%B1&?0$-ɣSn=8X2o$`|!)?# b,) [Gdw&AoO$B^,3Af,pLp,dG?[LS@JdpfP(gN+TMTB| tlQzF^Gvu.!ӒPN;u,U8s1z] jG^dj4օ OdՖx(" G#ZbhZ, 蚟@:o!ZA<]BQfO]-t4V.ZtIHG8\UtW=IEBϸvx¥uL}uѣfU{g32PLYA`WdҀհ~-dlDHPRҍ t6:n7H"3VѴM y$=Ple[%8PU~ExI=nӾbzQ0jBzZdF36g:჈`%t 6>z2Xݎ/jĖoTÊ޲nN{岂bл [3#K޼֫*X,I0bC+3cm)v%Oc_)^5q/Ԉ4\[Bw^ˢ}Ң"cMq֜|bF/W/j΢ %?o1uSh+k L:]=]u/E9Xp\.na=7hrhNSt(_5H踯ݏe %9ۆ@N&}!HwQ$v̏2*^v"PKN 5掭‰ʋԛM$Z )[ %@%9.s OdXq!9 Cp"@(b; (@𠠭bzٚ~B1x'_S"BqU58Rf:p3ù *Kn(2y55g9V@tAiddȭ>_n՞҄"-䪾f6 5Mib\WO_9l)6L㻏˄BwWcerFä4c{uGCBZ&3#p5o{:iSmy)zo#Zj$Y*z6\>oi̴B+{9`xC%B5]VKdn!gs᷐,ze=5@sY0ǂWAy{À6;K]SWQK46 /v{j't4 HcВ^0 gQ/LhqSD=P7h\:7*5;UR`4 7zGld<&I ?BI,f;&(,F(JW%.lNآ[db2s~taSٟ$tV5Rtk>`uG{*o7:1ASRa$ps925'$|\ 1+3)d;^Qf ]CWr(c94cߵglaė>#u;Mfʨҹ/ĿX/9@C$bJ\*Rǫvo"r;`: wu!!m ",88KLC4 0@ƞYzŅPEF:IMu)*wkdw?85AIKbCsmeuu{5O`]OV(CS-sf;H^S)v '`KX"B0H߱eH@N\(p^ n &1Ɋ &$L &#~覊mPm-wbv!;^: C 5 8+UC(>Da -`2; t:h<ֆijg7 ¢0JwdXY\7C-6qSje|"I(! B%YJ7sz~M^&0 ke, AdE `EIeSy*n6bںk_RptcO^OԒ538NoDOm@}_ꬕwS’~׮ODeh0+=*>q.CgQn7% .<>EJLP2ᄒzCۺ׌Zp3ufGGpJT_~9,Kgfmp1l"ɻdl[+{ĆNӁ] S4WЋuE:zq (bp)Iwt ͪױ%tұja6=Vϳ7+!k ۛ!xÙ;tEp\>v4FPHLeV?e%a6O>Nb cr;zZ߹nF,Y08ы˻A8ῇ{Mp1°@w;vٿ%$l!ɠ۲kBzVN6&8|˗Uv>%\ ow vI bYN]VaD$ l%1& }%z,0KHn&>X,]pKikH]/'+x:?Z:w03i򷴜4̃Pxu[iic@mzԷsq)f^a05Ө{:WG, F^<Ü1=nvR#8Q]4 ajW)/M6g_Z9U!8g.^|ė)>M~6s˽G)vx)ЈT#D[J<ܴݧ{v?pX#I),t[oܪWGU6,ZPFzfN 4D" bM'̄ ƨ,5P;煽&CƲprUTGo /QƘOݚYNيfHB5;޾JMH%=^ltUj+s')?'{x֖~u2IOԛ$wdc6wƯqwe(jOR 0ұ'oGAvniUqFKUy={M;;'6讐Q`W'zY5_?tQҠhxBܿF9hkKS[8:o X§(~_ Xږ1& 8:?~qӖn Ƥ̔a:J噏{KB8|ξs1RfMԿ׿KĠp0_=;ד;_G4!^lM7 X|.!ezw LQntܛV7qt Gi WΑrM=gm>9Ef*۹!(>XpM|!ky_+76dC  dٔH"p VA4,(MFg;ȭ$Wl(L6im[?NZYJN"v}ܖSmLM;m &ʫp %g ))dHDXdۓ W*u29X)sa x? Y C#$w \}K 4F^y=IAc4+_qsB&9LGSSz9|9^|se|iE!f̸ |%x=B>aW.>/)cEI=D z0d-֖_`(C7_5,;0+SwqJ͋M>OV25/}vrFOky]9yU<缕ͥg+X|؝ڦ~UU-~' 9nw5GwB "w [J5=$rh,3z<jE9; ̸xo4m|5զ@/ q .*(|x 4mY1WkGV cT惄pGr? P P ì Uš(''udі`HӁ[Rpaxmȑo _XJ@,(,,-ɣJolD4&=TF4]eUV#dG^#,?{RZ #2QoX|AAi٫|gt%\\T8wPMJ5b E =uBef戚o%A&lX`a"Σ6C:12ՈII'V!T9g; }EO <w^7BfG^v.1VUWWBC:wJ?$$H.Ɲ 1KY)T(E:}29TEF& txMK,>e P ߷^[60=حpv6i͗TFRkr`=!:h=Hd*EF&2vPkYz˖!is&r =<zZ WY}҆!BcO_~Iʗ &Kd/l hgP,Vr#vU(ЀhG7%3a4!=~"FL7<$|,!^PDֹ_7(ߧ ?.OKj }2S0RJza @smwY Ѯ~"x]ta5:rAU{xwJՃ B^n (Re $i<; Rԥ~\a(ᦍKA[3 M7 np]GM#y%tb 8ĚH$Μ#B#Rx_̤Jj,h-}b{J\AoPyhb,j&= Kz6!g?l;73'g6r5x.Iʫv K8*fнެ:[]flH/J@e Y^ 4,Z͒`5`u~ t=Rڈ7/9{ƕ>8;lHCb.[ֺ3G5C؎t pdLgp7XL] :xEo'NʺB,`vH,N3wO"`" R.Vő2).;ʪHb{k@k"z>cJ eώ~;㔊`4/'XcNm:xM tGE5THR +sț'ZsBQ74Fr}`t9a#7t8cburB;daޥ2D \$F(bj0 3& hh/"C0\'1[Ub$:V_EՆQY , D)]c+>Xy7ۆ]0TDΆtB4r<ػ\޺gڹAnj#<$6z k/g<4]y*šK/x n˨Rl )6Pi5xy)/vfZ,Uz'.(ŋ*u{_q7+Nh0L i='陡mu߻Az\_l0T6߽!zX%XG@9+AUUֿh?̀; cBj 뤯W x%p[ըL V}7}|T2_>|$uʜD&p톅=Ża0|8@2TYqMSA j(EjJ^=v#Ap+S@q⺢gž ?6(ҀDu G܋ϣJM')OA,R{:N1x^FNB{G(9p t|&<4̕5al4UNfm *x \Y;c $2x&+Kv:!Lߣ(|X|إ(`],hM7dnu Z`R,{ ݟS X=jwAP|2*o`ʱ!`(A7ԡ1`Au )$e!>dt =_̶>)Y֛|"2n`,pQ{%Dعy:٥)>:T= &eqBg1{,N+yƱ}ۢ md3 > aI-m!׮|vȍ/ [\or3i/UUBou:J)噜&wWO[ D)cO;<3 \d҃*8pE;I \:3JCgٟ{d]tAN6vOi-9'DC-T_"5*:D*VVquiIoaZ lQxRiYُ"ĬeF4& ikaWbcs2s PP>c103Fi)tz[4¨O©Pt j&bl$>OlƜda(c8s݂Q?ivl,Fi'we55iu^q ;E+ZܗB-yyG.O {\`><_|+qZ"Y?NO}@Y}&\<4uČ]rPԐ4jPrkwT1f1Jm݉%T@>cusN okO y+VSn/Wu)FgJ Xd7QyW0S#;BqЦ F'%0KiJ2Fch^n3vrbYð'g@Wxkj^g'`[\qC똞|2+  uM:Kw7f ?CK#!7]dѝ"=5Zv0s6۷pM&$u0ƣ|)RVE.g|ZNXSD2ʻEyhތKR@X#+ME_F?,U; Qi+-qǥ^e/KwYl>"-zU_aȌDw<[#|@:yC:`6uv8YufRB 9 'n֚vu 'o+z||I\`$|Oj^%<2$M2vSD_*< xhR V6\EVOZ}M3L?֘@l Q"9<#`g>v8#,t>ܫ+rF܂?+rL)|N&ԜF"cK>YrѮ0GޯD`&"qN+?aw`<ǖ3Է1cЕj٩*"`5c0%Ҭjw튏ő8-ٶgCn _Qrѧk{=Q{egpHjLY]CW֖N GiF]ԯLo%z2k|74XQ!-6+ӰZ53!kIy`@)ȑ'U( LLiKu4Xr⤋@ mJhGy 9qЉ U%Ϲf\x1OuLjl@Qc3  O%eI:a$ę2X_eM5%F1v7acϚA$AFGI6T1-RU 1*P/Im?vP}R#ze|xGإ s. Bi[+qx[LkW@ù)tc Ԋo( "eɗFǙrWRGIq Fe^bh98vCZ̪zqȅut&_|kw[?14%~k~<ƳA=Fa/*G9*Ğ@[sw9 aZtc]+G>4]잽#Vh:~tpe: į1j@.Jt˴//*«- ]lS=1VEV=95C{Gȯ=WSe( B-A@9v'ua"rAy7 9kwN!+i ]t1C|`NA !\_}*pr nTMl4{YRu=RDx~^m. w 9)ldPm6pʼb!wuӠ) X[2ECT䵢' ~7=%ە/vN }zgǏTCrTmLx0%t?ts8BϷ%H{I:!…-~g1&bWTwbEh:ɾ;vPfß~/6wXQJbt{hiP,&@Ϧ ff;rQX0է]4($4``)'(yQzVV%#s׈\-P: ȩpɩc{B[ѫl0[Wq#gw%1NY[H@ɜ &.;J2`HY$`C`rP{^$HNPcKXnÔUWU /Fy a'ʂuLP.dw+[ AX/"TRrfHLVg tSKr/F'ʠkuIǮ mms& _U> +YZ9U"!<2;UxUҵeN_ڴ%IPFXkqW$~M*&t&h Ey|M= {{thT/#fwv-1<:5C@. (ZsAj9 Ibgu7Nau u%t6!l)fn/v Z0K%KކoXK]2@V#Zzfƥ-Y,Y &,#/tX_"5I8U$26񛪌:cT8wȁOBH<:2ߠ*&WN?ȑ۴w m6?^EvuzUHfXa3!T$V&.\a{#ĆbL/VX/Gxү'c]{/W|pTY18b#=^i 19:pα*'U/0gvoPZ+z{FPqK * qJ3/nr:\7HXoPM$g_ ǮWc`L^R"uNBmLNOh O58Lh6}R@2/h4OW8liJ˓ r֢N>v$_)95B7Fn7٬S EK+8HLbR!'$' }Qt7?n!d{%:Sy3*y#(Ek::ԕ'cqvVI_>VW8ݐPDo_EpbK8&ufO!dve%ѷ ]Yc*MrXN] b#y7 W՗]Zf4{ #U5տCQи..A"ȒC#hIrbӺ+V}>/f5Zr ^ 1GBݪT5 lB붳dY_P*I;ži k3R9xS 4o"?J ! 7Bn$o12Di 6(O'S6u>QRzEM U&,KU@5t_4¸1zc-i gĚNrÓ<]yh{>"߈ӳ[ @"y{4Y6DZvnxk?:weӖUeW`Hl)v(]P#I | >ȧBFQ턱S ?ˮ40Hߎ*1|4&"`I*+sZ4!YP;]Ç_SI K8h^>X7TEf5CGH<$;9K/MN"ǿˈCvormJ-O.`X5HBRQyn%-:Nw WZ!Ɲ5g-C^Cb#;VbYTmH>Z(u?z.y![77 ٔXgAl"_r:Q 2T&dn 2>_Kfݤ-+L)c/єS9V(ϮDwҌΫĨ>fR9G.|́kgQr\69My{?f1Jς%#.hFuz#nr8Yq}OB:M/lk?nrS"N=>kCC:$_U}hV"y>Gޚ a. mglWI {PmvAl 2zKk2 H9zo2 H r#ǁ<߿*G^U zBBGlYjR* yxV?5$Rj!~b&/gօwj %4F<Q)vGXz1̧vZ7`n ҚJTeaN@˺j"$ r2l֮Ƅ8T·-X\EA{); [dܪeBm~l#8 uvu-CTlѣ|S\Uҧ/J00ms ^ ekE?Hl|uښBqR<6jۥ_k' $ A)41p^zi;Rr߶husq|p<ϳY`S.WjȪczUó~1= .RHF-O*^b Q9MgZ Sb+)ͅy6'ܜy݋zd[d=>X/%:IVs/_4Hk6J=]C \ڴǕ-~+qWALtպ'CĘ,Т4%F=g `?HAj͆na&vӘcWcyۙؾ!hnG^-?h Z ,u7p y0G;I =ʤ:.gˬ+&)UMl d{f^xu.41$֭TpYw;4j%A^@0NUjv=|.=O#1"ӶyYY"%}D/'<`mXB_J72iMkgn;2~ aQu+^\r~ak׫cy Q$c))7 ;8^:ĭQׅX"yƃW}oy[L!hڵi^6jmn'X2A Y]͓(drWvy4QDZiA"g)Ld בfkFT2[5r>*bZf; w;;tv(ff>Q wf%ֵJ1T }&M0I{J̬ c )q.b.7i UhDt,'hL[u"3++S qX ۤ'0?ŕ=@wMeP6kPgDE2OQ,SR^^Q@t>\Uv&9CmEŭ"0}H(`y.qH; ]ThP^J֥"XX}~[cHxju@U`f} OKpjMf[l8D.Tޤtk p Rlߊ2ԳgFNA5̟!$Y923beR8Ϋ,ڡkȍOSrn>ďLBjE ;I~I"'yű0jE )H k"0g҆ ?Pg~i訶 _\/eLtn8'f+оe=O}M#˃1>N#_ۢ͠CnWL`Y@ WORG} R[g6j^YZ2[̣l4t=W7''0fUȟ8.c!4yg e=8™v^:8/N_}A2)_C nTAilVz|EY5%?UTaZ@#?JvQ6?µ%?ǡMMߒ(sRsCQzCU4g;XMKcFS{I=npI>qq!T=KVWݭy O-sK񓉶N~(LKm`4 >:Wi]% j@h*ˮTybQ=c|%6 %vQ9wG .r_(DE(0ط9n:tF(bLdl/%^ VB+( ZVSnG"j8ʤ^HWUDz w_ǡލ0O:1¥9¾ayF|"+9FsNqY;[3(Gݱh$b(x~8<`=˦0 v1]/gcei%U1Y/ѵ4b~g:D @Ҁ? u ;BFwal=ִmGk$K7B"<&~\\vd(|&6Lv3_~nߌ6|!ǥ3UUJkV?UQ1 RR^nJ`$StT.Rƙ4惶+*7+ J/dRpBTK|t\!LT(l2A)!:rt$mI#6'|xLDР_,|  27XQDGY6BR,*8>{ʪ3p*C\vy~qN5 Ez8v51h˃ '>l" IP/l<s ^,N?aL8#?cB>kZ_։&wпEVQIx*脚9<@utA'.B&''f#BgNGw?8DziJa2D>Ɔ0Oꘇ.8qzxmWx<$gXēp65m(L_cM"LV%`JmFBt")rڐ=,,ZώE g17h!La37߆0ʌA#;&eK&;Bw17[u?wUuKڰDƄj CQbP|zQ%a;[dާ,k53HYkAO )fL)rP_PRQt24l}*4ɐniם*?VxP 䯿bǛc-rF{.ZE}WgYZ7zXZִF! <+]ŗXi%\1@{W$ έ@'X}ZHw W<0p^2Jˇz?zWyPeDݕ?1j:-$5XԿGlmY%hMó-D#sfo. R>;S\ sV8ث%v܂w-pf*{uD'8 TxJ}bئb {97I ~tP멈 jM8ϱ胧.Ts> BOo~o\?/l6|tZPe#pȘ2u&mi/su"*vNE\$ /Jzus]q#0C7#) &%]% $tUYlx/;J{1N`[Bd*l$!UqȳB`.==qZ)9A+%__ |6s^մO!\ 0(6hh0erC_E7Q$$\wh?͋(®F?``A>%As/g0[}t~fj(L2tk͌7YM8@i%dRffDa}Qxj5yFG_h-l= O.*4 &;q`!D#70;4mQLuGim ^'۔ٷ`{ lȽ_#Vi _,hzÛu+m(ş# dlC+ @*7֩/P gop.%!~oJsEm$ĄdΎ6 EDh FOHZ!YN^qBPB)rNr{^Yn&џ}W/sSWp_?݆ğWw&(B~h8?{wnvC^lߣOcG@r47VȖMeJtQ'v0;3sXR&|?p3ӻX T` T@<FM&ؾ=[{=kxIi|^?T^𿋺L~g`O>g)N 8.P>,>nJ FLDLE ^&F OpE  E~z8al'4R$O-!ym*aeB䡂ZHvi *~-G"ˢbz'`ya.0#iы}ۂ#=36#/X}@L{fS^/y=nyf/!Aq$k S)=ֆoMQ0 ɠ3ZMr M$Z~^u뺻ђ2vqvtT;|$OB/Kd<^?|YS;2J3vCğ3QnQ(!VGc{'pnb.S9{數3@Lj n5N@bg]}ЙQ/02W‡W`ʳOzt*N]nڴ]v疩Q)7 AvHX$~ -F[5bF\uc>o63 c*jz~h#ч^q;c٬҃pL?aB0J 4^^ײN+?Xh(a"ƓȃmDþxfH8 06NFtcuپN$A(G<0ۊ1M^DkPKv  YIFw"͒Ba[DO+QTUf& .OkNRPdM M4c {+Qa71q[xLq 'Ge4rE#KQwy\Uh]VNG 96b!&MD7p.ܽ k@T~j䠄Qgu3wyKX+1s j_cLܰ: BȩL<ًucG@J訅cR3,!]ѷF%J|ѺPAiPP&3ҚC|Y.ΆؓgQJ><#Wwe)&]UnN^?Z0ZҬŘއۺ+Jk5~HhW(;!٫+1& Ř2B3 SِLuY4uL&oNSPk{2hRoGCs򈚄e\8?00'o)u_riȺS\vr{\6~YlRzϒ8CLPѠ͝U,BT)981e,-&`$E8ZaLQp哐::(K|9kz)U hP6eKHA͌=?>0s|xwgY+@ځTc[  $X38ItSӻ1WjZMpPFC6S( ›&|gI&p\^';@oҵS$̂= {૦ )jlC25}g7,*X6ԡS3EDPpYH@_ð`Q)8J0ZgHFW{$vG;݋SJ.=]|T*1^`EFWɴ7/ |nQ!Ǡp_틱6ICKIMR~]L@P䘠Q,|LY|!_c=D,HXa1K`rH":31Z$u sp듚σ _֞0w9gH,VLT##W* hªqW]%tgߦ9"$m3 >Jv;Qw8do ` #`=pwG'P2Q 6>6ϵ6%rXKm $wT~$u: }{RY\ʑx qJ4| uXa~7#.rWnheÈˬjbfuB3hs^ ٲZ(hKUϗ "Gd^<8_2dՒ[% q`1) .]صA8>q̮?w VWys5}J!DQaƥ/v1vv&..hp|FEj h`W#rjCL=kZK^+FayhfZ,6hq\Vn_'_Eԋgl[<4SM;@ 8Zπ,`4qj9*mjq ]O5wzm/c B7'E}أa)ϓfk@-+)Ľj|؂FdȵT73{ɀX`.3_ < c/z?( G8ʘ8y#:VSP45[%IGNӤ Qq\ũ< tş;۵Rޗbgb}.T"5tq1[?drL)[^N:eK)uIi']N;LgS }CjJΦN&V!͡kPf{nڢ^kU!Bxg@{J(+2._N萨Enh>w+4T :ՇG%8q.h ^6KJʬq|!|h oDQ<)zpsy9f%>RQJ&̧neAsgYt_jR5zQX5mxO3vBͤ&З?X0U#c~wέ eft9xĮQYzY'ZrrEji""Vo lKˁ4i.Ÿk#[Y2 )o_sfl+Uura}$<c)eB/[ 2WZ^eθ#z_$3c$*3#m[X=Da> &t>Þw!>ǰ6eUT:.x)d,+R)L_OsGټq-G,Jd|삼z6H [M /q;7V||{l(ğV^ ͕ILZ ()8 u'(| `e;9x M=×v-CE ǍS$TUj#[Rኪo˸៊/q%L˕@GWLzLT΍2/IsV4Mh\o GIqԒM+`.%p~7=$\( J{O k<%]i0y*{AݡTLβc[YڪCyhΜ , EޞP\粰DC0ELs'>̓0}92+,.}:*#5ND_][.:X'*USl>c (@U['0mmo]*!bvĢa[eX~ǯ]ծšq,`Zss^npBur.( ՜8I^)Lwh]s!u 09ˈPiF3]!F(j'0GT}=,_'|=5fr (@d1'G\c smIP6M{*2+35" 7(]F$BYB'}XZ"# '?3Z4 k~&VLegdSD, R ڇFFK$<`1-]/ ^?b ;b*Py?k ;Itkw:7%[(9oH8*FՏ[ZEy^r~-'h2&) F΍;hF6A.RZɏʲ_Ϙ-%[i.G r/MpG|<4uI\*`gS`Xi6ĔթEkdvP 5 C'LȨ |44JlIo7ۉ+).jһxC[@-M.xweT-5(]KM%Q٥$(43޸/ =i \ۂ*{n|Q#j$Tґ瓺kG9q̎P1ڏ.؊&rw1{y\!l4Sw9>XKd?ZY1IJ9$B=*zuCp\J1`4ΘdCE8i*0~gg. HdFqsQVeRfvv|q]R`EJjTW :&@Dtp^R$ȊjP-OI")h9pfW#^;mO?_i.vFe=9ˢin+KG 埒IZD~%'<<Ȅp!D S?7X(q 6[7j)ikNE\6ǿ)+LX87h έ=h<+"c:B]YűJ=0xXl48?w!~Av$<9m1AkIo IĐ`-s{Ti!c3Tuҽ>5&7w "949ي9/W6r4֡o {| ֙>`P-;fȋTE84jTLDi09)gQ*?.6qeB#lۘLIbImf5) 6P3)m*8 xQsVA&;؈f+%Ŗ ]=qB T& y]wө%V[O,Isc#49̥l ?CD[Cr&(|U@"dGZu$ХY&AZİ`Taį2- &O7mo18%lf"ܜR Ҟ^n?0q_V@Z-csrb$AOQiH{3;A7eM\v/:UW~6.- ]}<乴Z}g~gD 颧swJXU^)1P-P'm^!6Y^b/B[x̔vЭ,Mjx)*66|{Kh,|n_7_J%Ř/}d/7t6-*.bPEk&V V+vOIJ:=Ly7$-E50 \b ݬ6O9m4r%Xh71.2s8!z \ kWRa6ƫ/jvm"6оyğ^9~R,w81+r:Tj ۰BlJH3E TxT(D| g9M·I@ @^G"~ce #B+S@Hڟ]!ڲngZbTPY.Z <U)/Q; Go'g2JwFuc+#R"1 nex:#1W&OQXU9X{vX|~P mfD$C;g"8Eyzax˛|J#R\s^j`2KL4xo?*Xnjf%-V@+ƞk7.0\J Zo&q_BCCzL\'IPe7~]=4@^zvO㋸ȥRVʴ-j Ӛ׫J-%԰}m9u8kb\ nmڼ%[>ݴz 32x,J۷LPb{uDё;Z*KGT? ŬiGyy?nhHr = X9';S@Oyt2^Ì|/t9Y:.,z_G@fx/&]YpCPlqW7gt,5ª3ML6c%< 짼&ٯV\Q"Foqk#)gfL/D{O\ +C.HSՆWK40^QT 2TP$@7R9~ bȏ9cfܗl!͈LU_dSJ‹|f1mn4YLRA;Sx{+hNF=/VAêZq@H*o`u|GcobInu6܉ FB3LjwX" vNSMō] /̪]TFbsyzyO[] Aq?gu,fy)oN#(٣{?+6'g[χ&OOjj#6e\gt*<'jԒaޘ1;FNd’O?Ȟe2`J;e<{:yqUwA`'_!˘B<$c~|)|E3ˠ;u$2*@W PE 3^Ǡ}%vF8:OBvu\sҎoj߾Q^=܊yL0W@(QJS^m{-$d|kMԔϲ_GSPssCb?1l' =bC?%/P-eM!H+rY DEByv\Cy)Zg4~Q$4fTO<SBSJT} !7u SH#pD8W>rxAg) Cǹy_a'L  ;mEB02ogBo)?]U $Y8#je* WaۚR:B3|I& a*e_x Z6[wb|y!NHu3ɭ'f!R*T ؍fR4\>%P$Ҧ5靫pk› w/$#P7٭k4G&bfF"w ϒͭb#NGL}\Ӝ0L@səNP*1}I !䢞n4n(k7+ws-SMh^Y3#!ҭFSNA f.U0 0g7ia>o &`H>*`°f *aEd%`+E٩$qSt_Ur)`O yG@ W&8T h5ͳkb;fj7X^B-0'}S̲},bH~T@޷yNSIQI$k~QcWSDpM4 H+A/ A23\`G? ,Dąp2zʹkhe~̲{F/0(!]nQ &,RCO6Q#Z_[BNA/t,<ĶjGbH8ˤѰ޴=sP>fXlwqm28sJ8$X߭9>d7ΗPT T6za'Qp8ZO5;x!֠zX_aMS1v NCt“0CMd ٩ײr-VFj{a1N7)b~=JM %ӹoi>Apl~nN9#acLc} Htɚ#e>J7hKTdXbi:rH6/-/}d Ə]מ| <|Vͽ1 d̟+2CXIJc詼32T40,Ԃ)D`4¶ ={{׳ B껉`w(hځѸs5đf U/ _ 2{AKxtV6UU;WXӅ[}0^w+Oi[̳2ȹ@x)u v`5 TG.T.q0&^dg9$o97i#Nd"`9Doc`։q]:m%I\ CD RҼg!0^'1{O:XpWBG}gXJaҊfVbʫYH&#g 2I𐀗V7_v!j C}ܘ2 2+H 3^~OQX*c㉬q%[] @`~5t~3lyP4x'\:+$3MoXue-bvrŝM @Pܺw;N 9>P@,>cӷy/'j@\Pur2np?܊YhN;&7-g+M:(; ~uA4/%5Y.ezY;?&1}m"8&K8̰҄I3z8ٛϼ6>8'Z_LT}Is5,eu#O1,ϠFHG֪ ϗZaIhl퉐M/IJ$5IQIp P&yqAqe"GKPH+GK> Ц1 %_|g 4%CseKS!p!&Ѳp-xR]Rʽ){ m~ rM[?axQGJ$ )_g /QZsSώT8 7Kps;(Ca QPP PÏߛ~JĊSg3g1ȑ[Wք>o. 4HApP$GÓrP_iE=>u; dW[mHP:O8o .i/g'YX&w{4>Gxs <h3=5Kw7BQeӘ1ŹݤUJCn#@"́e@J1pU99ǒUfe؎~񚋑NOm~Xs/v"& E+T)?;7W@, qf61\@YS?h[`dT[`KX=Ck8ysO$W'`2 8ظOj;:Ցm,7NU6xm5MCY;%SͻAFv@<@l*E[V24Sc5=aQBC'όpYwC|[q.n c96 F l4.&~%* 5.`o\<ӭ>TrG6#M|W~E)[@,(RngATZuh%sJxpmgYZ03110661/92f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 3edb2c04d06c806131a75b0bcddef8670430050f 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c0c07da28432d519c95f28fcc6765fa1dc9b8127e db86dba5b5fb7d829c1100e1ec59430e15f326a0