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 >/l ]Group-Ring-Module:threads=2elapsed=236.647cpu=445.012gc=25.608factor=1.887zXZִF! c/]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: =|fic8hU凧Bnkx#e Y.,#?~Ƴ(1'l^J8jҗ&^~krCΊbyTIb 3G/;cu[Y %bѨ<>/_v6Iy9z(MM^n5i3\,k ugV[z%4҉ŷ``o>㏚f)}J;Q"ew Jx|o@yה$%O.3δseV#Mêjȵy~"_Z[CBA 弃xWekdOSP%ZI)B\ZOΉNގƨS!˜-4 b&)2>cTѫ%2 lLжіbtayC}/>;vuWVlS-&ۈ]vwvN[k֖UdZ qI] t2"(cDM5ֈ=69C=pcvkx}??^C $K嫧360LlxǠ_Ae'zk ,dOP}2s\Ӆr:+I=iQ֌:q+vū t$/__w‹uAVHL<>{ēB\X8CtMOգuxj*' |9q`uq\}S_fN_q렁~z0Yܾ ͣPr ոE5 "YTF<;:X ~l㫘jIp6%ZWS.OG`h$U~L >a-WBa^w{*6B/̤NYcft#(g՛@M)ZIU-T/o(Vvΰ(JJv@\"bCsP"r $H&5*5UcH(LlkL>DIu5“'fM!5/ $HzxyiypM]$ҡ!Jl?ub.q PL8mTs +u\j/BiZ|M>@2xc`E:4{G1bp `. Zϱģ2Sod(|ߺl$f?f$C,zRH9}Ɩ&M5|ab^b*D1=/(Ĉvjo ,9q9rinS絤>BPW7a?o^6*dh̻x%-X!ߣx{l.(#njc.$|UG;ls_N1L*DۍqYUZgjE V.D}|0ًAe,guT|Rו!AW[BVk@;$wze`iAꧯyrs->r&/:q݈&0 @l P4p|,aHW fC P|{{՘P4Ŏx2Mg-}\_87[l%IŚj%^웸3/[xiNaCvF̷~7A3S5n|__c$"jy)i'# 7 P݄)zZjc?$y1saw#=\UWs%WÖQ-L^v bR! ;)Ť^J-Ƽ_YR'ǐvtq :}KoWB't / Group-Ring-Module)o-~cB|% `'!$BrB9[I.?댰Rn7 j8!So:-}1w^yls_&֫y)e cg5*#ޡ rLe%۰-h ;"S< !8YIPK]FdB-IfV+KFxc.w')l`фoO4+?,5"bh's KˋI=V!#~yM0}<82pjhK.B}SGye&kzUzdoPO5jZGpO6|k?*8::IҺ%rri򰻭?XJA2gNbGFF\gֳ1;^GÝRvhe+ _,qrNK{ 'q]lSvr`>]qn|l g}ՠxY՞H̶RIYTqIi[ H݋ $`m{ a谿gWLlpLVXKi`]L+qP\+v4W.~ءSd!Ä9ƪ=^YQ1ˤ#@ںj S02QJ'( C鴹xn}Hdt\0XZ)WѬU_#SAIX0W1Kѹ&V 85t7&_A$FrmBfun7q,<='#hK]Р!.|öm #M8E ʍldp-; >-P*oS~"܈_Ca훤c@dDNXnx>>um#c 5+K +*ߑ1msg?&{cg^m_+eM+L 0_reTw]B”i+%sQ>&^ n}3ϕ+nJ {r>վ/~e%,Cpit7_c׫G/3zqީ\ßG?Ú>6EBSF Sh4u ~\mi7%<^\ 駿Gp>&-EEEҥrgj3U45Px?5oV Jf~ΚTjlV N BFoT*Ι yݵY p-?a=p@4brH8YehVvyWhp"0 58U[~JS:+ڠT٥?)]>9ZXn4 7 8lQ$p"׷`|*״P\k0Y|CC+*9kxT1BP<8f}@C\!MUJ`KIcP7K|҆fںC;{n%;6v:"B@% BZSĩB%jǁf,s'ϔ߾R53$'%A'kDpԳN"`yn-ÌC4+S:-YKwRXDv y[G(S$)ao g_^%EU~|0Ynw!$FtZ;>'#veoǥoə >Xc8IGUK@-.{13"1ߓ azySr!K /I{:)uYFzML>'m ! HH̑b ;|SqnqYq%4 3\x2a&˝V)т(b`3 5RbGj<- %{pVt(]zbk0?;Js^yZ&"T4h8IW>Fozc̰~O U}wI8~th̛s|9uiWUCNLS\ⲇ&9 oT3)_2[7Ӆ1ݥ<ܵȺY\v>d:s/_@K ]'̣(!?74Qe>ט~??(2"T:?rP2QP/p޿F J!6A0 AaYgٵFw&Et³ıo?$*Eo2)zI8W=f]!%M$XKu0V뮭NvF?yd<| jkO(C.>|d 淽{ȵ)x5G(˜n%/MG uҕ)02l z9K,ݪVKbAnĪƆ].ߤIjα@#߼Xtd fdn`9rV&nD=CeCG`V3hY 7V n`h)ŞOo򍍲R;Y3.h0jEIXbm7O2νr9A=?˕٫LEm4:A$y 彃e_PSg)w*f F1uv|3^i/jf) ПsϺTPw,UୋCuHx]-|$3 QlŮ&xo!4mxX~äbrFn;0K$Pb~5YH0 gq] U;˛ -@p&4w'"n C@8@#[Q\I=kwr?$I2m]"o *Ԗ2od?@a.)yinb5!} L~0Dxe" xts pJY+#dC6  ƓjP.ˢJzmRLaᤳMEN0LM7pw86VԲ -pz\%2uǁz*릀DߏfξSy`W4'kgu(O̖:ĆCnp M  Hҝ =g'G$1R#D:mJCT"{Ŷ Vr?X-(b34ǒеr;4PR:n^!yD#ESgUXuf11➕rrvcvۛ9'z; />vQn_nee%]DaP p卹ȗ `) s;$e6p`ɤ7U˵ۯSd>|A$]Zn"eDٞE]"eJ^?u3Mӧ_U @Qz\?f] t⸀.\ǰu[K#O rޮ7DodNG,漠4"gF-~ W1\ $Hm,Iȵ߱$.tM: wC'scXsdn3N67 wH6VS1& v#4Z4'Z/ =Zo]*Ry3 K;6Rj 7q6Q@UR svD!֮]p(+⊪ggOCMS (n E*O>QpUmwCj:Gy CXCGuGR: }yK ;|~)כ;S& H?S9) H4[y &\ʳ7˜?\)p'GimKMX:[,(mHzTZd:@N\o4(S(u\5U R;f‚O LFvb=X-З>9?ao.˒f=dH J\[jQ ^ecJ0HnLZP: Kd\ ; kmM1HL&G] gƳL61]fOTzC8"*eB:lQFg0V8@[DT\wj!/])[&5N˭9FOBÔ4ɧ巡k=7mMtZ =5 "&?-m4$mL<5' qB"4.#h̕rRXSwT[UF<_!Rb W٭\)m4VԘ1VJadl?즘O #Zlɩ/ސIՌߎ!9r퐧m1(KM.o{Ls3a=<,%se6ָTd\ Ҕw'379s;l[`nVWN>,$;#K-zsW@n"|Q>ax4<7LyTrpBR/fN| G{Zɵ7f娞b*{6T} G!W,ӫ0Rܒ pb 3%߾ r㬳h h.)cu;8)ex^taEٕz"^ [kx9΋Nx" rn>rfi2%i ذLGZobQnZ'#IQd슰 /,?CItvz"S@C=sdWm~:Y=^贱Kw Ԋs7d=6 qdAIoEsPW#1>0%pk:/#L f?hOhԫtnon"ISņN xt>)yaip9ԥi9}pk[V\)v@Yl-dD=ę6 ÇbYS7Aʈ}f9DZX5:=$<>/HB>)[8\8y.nwmCB&E0S=.XM;j}_YEf;mS= o_$tLPLv @т劺 WK=0pujdţė)s;vlz~D{sZI;U' r \(zBs L{{6t%(IȮs['AI4ɕtXIS utB xD6H9"3+ͤRa^Ld?8Z+JUD6U Оk!>wa,GA\g}-$ r,Q&wϏ7q`F6 /Nٍ?ߡ“[ ;ۏ¶t!5_v_-OvbOKIx'd2SFkinx!AnHd)P\ր{PK ZFnⅥm}בVmxSHS/wL0rgN}I4WkY; &^X8X0*??aA͛ ^Ǟⰶ{R=w,q2 ~@ RL:9ފl(DֵtI]s8 PK8G5&ømM%gYk 8,K~o̔[8JYk<5Q"Ч&'> .Tp5`*\1ʭEJJ#19*Ukq"L)ُc?6)爝pye\3 3pRd| AA/B:1̤%kSi$anaF**y*Ce}PnU5N1Q#Vf%J*}gd lW~=|[4ҩ eRb0eEeݠq`҆] 6\vj_ymxր8Nx?,$_ڿՃr*[paܷ0%2_T4osu^JӀH#|g #??Z%:'lT5;4m>pa@f#b,0%#UST+iʒn6O.x55~{}FNJTT,H{TK1;%p5Tþ@ZV >؎VUB>gZ}Rmrs b; RDIwK麥+H!Muݩ7֮}]zl'Ing^^ PecH""0/d dse"Ԙ ҖIW ])aTVR4/;Ѽ<vuQ-+sn1[$W6$TI 5MG}4{"rra>}*_9C$JȻH`fs҃9yG䜹ֶ x]s ֌9@Qjh@S'5ڃq]N4fo$"ҏKvX)W@hCh׫gjikXr~ Q-wdzJ[S$+$Ј%hfYZC']3YRZR cWƥyyPq.-tGq; a^RExY.:e`D"W@G`+EB4hK>?Jj<\WyIfb$Ȝȷ^Vhc [UDK$pwS2es)޷kiַvQު1 .ߛYtw )MxIx3/9ԍc}!1ש_PIYi7Y| y݉M;aԅ(s f Aq|hީ'ѱ?ڜ?[a:PE׬a֜Vde#mxOrRv$HW{(h'{,ajF m[%zr^!a=w<49Y1DI`C5҂|us8}E~v}EBEd3bU"G[ϛ|~KvxY,XG踼&G1ɊbW\'cwDMr^u}L0v20ZE '>.m?p7qE3^iOqc9= L=.ӜΛsdgUv:p XNԹb WOg"(%^!24?L*-FRFU 0s}r ӽwQ+C+`SjgE'ZRgC-F%Y7*R}[[b [z߀ej'@̺_Zp%P&nIE#!s hMIAŞ9>+/{ "gM0jm$ŊCk~ӬcBg]t64y*Cϕ~\M mk|BZ>@3+ECk-,FObm|5mh%E\fK \^*C\[>"_V{-SrDXg\Ǡ&oiF?`3(.1Ydl=L@z^64rqGǧ-*o5E›xa:X65@ִ6IMEgdN*o-WnγDUK{.(ֺb&f&20`΢|'cY_=#]Fzqd'EtK2R)p}pqB`!8HItn `95sq'?f 8L>qbt\ \GvŜȗ)ңƣB?gg-;"s3FssRx;.>%ON/@9w/n g7k"NgW .,'ifuxfvj_+h\%1Boɳ_ 0&4 ˏهhF @j<<aެNֶ=ټ Xxڶoj{H t\ў*蛴غȝӠ*9E6 @p2]F4Tq8 OXHCԦTpEE[79Ikʋ.ѽ 7L&͇G.2]Y,evwU9bȢK PZjQ(Ypj0D_lHwҸm8L|ǾUÁ {h 燖thG+DCiEFsctxzcx_ 3i3w, )f&yxccϵ YO$˃4H4Iuμzn ORR4k"FCp ;$NDBgėDaaW&\}U_IE$s/fuو@P۞얎`ܔ@B d5[ntN5T .NA`ť|gm75חkC zs+TZDl58Y. Ax$ /ˆ%40pvoG]= IDZ,J%,B\p;6l[b͊g C?A=Ezdrd`a~č9D;ɟl櫰}R\6zoǯ/˨qQ J\ XJj2>h݃Wk]V >5Ps=Y_Xh^3T PO~q1x1H/m]l#dsp#/ϻH٥ݳ]rQވ0@ҕLe /wɲuCr- 2:Yy ɈW@X3 a7&y=HoBy7OZ]3P8Pha\^hQǰ썌ឣ% Z!Y3yZ׷9 6 Cn!Li9Ӈ37';#OC0 &F') Zeam6̃fX\%e_zKƞ%U=zT"] QFuLA#;U]v D~G@ُ(?I?FR`|. QEbnpNa&f*Xڊ$u<ԦӄέcR,dݑbG—PsSxOUx,neW D>R`Z+ nFX!=Xob A9 UzøIapGxcFCv'Y5FaG 83vNmܴ*hIVvYFGȉ\\,xjHl i  y6/v埛b7zWϵHSǵ1"&[C:feSI2u;~Xq&􃢼iG.P0I_>yU6BZ::lcz|(:O. [1 _L>$WL]`/eX@t<KNg:Kom$\{ Ik(H%0{ 'HaBa3k5m?]]bI.Ga^*˖2/$ҕmtVD(s lyCGq:,Y>[LlFk\/~BӉ)q$sOf`u \tu0EeABJdNHFϡ 8{j{M{X_ ̽{Y}NFm^!A.. H9LMTXfYL6PH0iM$ vy㪟20"]vWCG]CsCPB8D% @F9EDi5qAinWPf ~kdWM=۷M>Z)j*f+2a(Pp} nyk~EllBEQIFIJd5b;vZu:h^krNR- /m!:*Y˜+Feb6 y 3N* {>zqIq$uVr;T>sݍ2JܻnOEQki} #5Ѽ@P>+u,R.5bll8Dj3H6iFny&ϋ^TPSZFr!R.k>e ^7}6? |bEO9.k3ZAgoFJi5V2cJU }4 W޳L^c5UyY{ [ݔ WSh xL}^}iY,hQ#]|Ӟ_ u,^Lq]l/vӼݻ^c6!{uNv́ /{41F؝|k0g7aht{ҫ{U5NR CrZq^WkM"x$a5T#ϿrH HȍmWih $.af|K͠P<eqit /.UPCPq;>6~ByyDEȿ 2T`;m$ U kmq92ސ_i n6&<)ll,& '4P!Q%T㢻yɫ)FF\6#@i_K'95CIOK.q+w o1$V`1I-(J 2Mtߣ_Þ R=yVAMOrI=7P g=U/XGzEȤ}$"̆ o&gܼ=}9O \ ̞;=!he;X?b`a,{AʋTa]>ga12ds3P >MjZFZR"!& EѴH֧35|ΣܴX~uZkQQ*!( 5)iZ-O߃ 2l&_ Y LͶ:i:(R}^Bv\z6[5'Y-< ~,I}'W (a߂![1au$h aw_$BhZ8ˬc R(%mm'OAKd:=SI nKFT(t&!Aq]ŗuٔRU6N^dX&pwY4 $P F~M{q:øLpRlW %`[ #A#k.: `>F>ns[*#*/p&`mcjܘO<珘Mwbb#B@B|y (,ATs~|ɢj- Np,f8Wg/B!HW>2@-3'ZEօBNFH̼uٷÎK.rrl>ບ2G~:Z^$pm&~o a[[rk >)+501Y/n*t+493 %Kbv g2@ܕ%Pˁv񏵭39A}+wzP3j[88E&-7UJp% z PZ j?VkEt: > :C`6PyE ^24y# ;-:bisyj|Ѹ`mŇvx\&NOp[ ߷آJvz+e[O?w0Ǡ_nccHS!$';޽%.g]ĵq{Rn륑%˶;&꯱5n:Y[' J Mv3ALI[e/*M1:6:T<QG]dF@T<]5Qee{tHiK (T3dw`uQK!l1I0ɻ1R0USLɥ ebvJ$y2GM9`rǀ~~_<_wAGgQ2l4{M泊>P;=0uO}l6F^:ɶ W-;g`An¬=/@CϏhg)uځ d@q^%Z?FT z})KϺף0*nPcrpn\)Y,b5*brtU kT/Ez>w򁚆>يښT!ygu*;@VHZ+oSҴn7ҖYhnFO@gfueT2?ivo@`p`{nƮL~> 3dIs/쌉@^&ll]g4 FΑL)c+VFuW={J#b2 LՓd(sVEN<= ٸЮxL\`R-W0Ϊw}{2go&}Ʊ-ۃD!K-&k*zѴ&CuBOCZUX ՞ $fںu[k# USst}4#l1arm<<ν@ashcqޤ+4!v&JEaiy 4{rR>Zac)z0v<5E8.¢3$ع51mJg5LC(;!Hu|l_OWU' /S=y{,bF )%@?{/#mES8$,(ʌsleAux[zؽ>δ yIGT""$HKtw  oE1-kՎIi e-@:LP%wَ`뛕>rOp퉰ּI(|1_̨Ky>ck=mL~ʩ*Gi.XiE< ;~6e.f=LdAVo _SJcnڤ>L}^i`b?H/>+7R{C/{,e XG%N>D3m6WDABfй¨^m(ά1ڟ; 2ֿ /kzn yE/;'?OUtp?zaYW4Kj"2g:ZTm "Jͮأ;O ,tƌ~S}oY EZXAX/WCnu4[:f`Vc,6dOf%h^[F"]OUO,o@%0+sܼ\ ? 92j9 3~[~ .𽺶 c S\ @Qʝe>1gVcJ4,ZN$`93 [ [΋ 2KGDU0G^O@y9x?oz8K#\fNSTx3ץ>6So POBb j H=c!zc!B;YCE[,۲cI t.  u%)2eTݖ)WkLdLlIt^V-eLL#,Z]D2[ n0n3X=60W>G- Fvu SΕ\ZЂ=QW*4+YnEܽ) +R[UK)XBgWmK-2v"ũ_.΄wdy$GE2ZN*///dCRK}fGr zt60h+S&ΖhS Ioe=@̩YU#܇ [shyޭ Wa>=ZS旬g?>7eY}4LDqNw cOR{4Np' "&T;j4[ɩ-G"D$\a iPS{^[=!#U)2J6IMې`kb}&ž/I4 Kn38HZh\TٟnX!guԶ(ĨE(ڝN!;VQMY%~~Vf}$HxD{ A{pw"3U3gM+]s=oVFW"3dijzd4 yM󌚸"gw4$bcѩ}/6v.]$cQ3눁T#CS)6Mh)W ӆ2( \(xX:Ac#~!%Y1 63"o]Ղb%hTYK s4!"UQJKgE?xE{\nKEq#4{R1/z UVQD/9ghz3gs,ڵ &4J,zDNȯMǃh!\~;ŹNx`e37h 1꓄: 08Lb "*?LWs|a#J|L0  )fWZ'{IUmH0Դd 'W{pcS]?!cP܋T nꯄ'r aP nY`v_n&sYj>^o5Eأ\FAxo;I>N1&ǥٯZ؍]n$ܛn/CJߧ͍:Y R<H?ӹ%#> FtzEɵ:^+uHL<[[՟wm/,/}3 ]g-w(d߆MtB \>nɸaԅ)mAl?lu;@B${L 3Z3jvd֗ L@B.x)2]@8Z3yWHjDGmͼbrOrp*( " gvYvH팳 ^hJc ϯe(3?JOG:!b3S6u}>e+`$6ݫ1mDRYJI@"/@ Mw2Jé :ia~e@}y@HGfI- %)qE]"n:&2*2佃 }cVgWC~vِL }n bVPUVɛE_ԒEFY2©ZNPƁ`Q,1nuLV* SMZ@.?eԵ`ºA@*Vzp|Šp"ŃnbmAK"p\:<ų-,I!X8ϳzɆ3G`A-L)4nSSTh-d!pt|& mҜ:i V瑰p'5rv36_CoUջ"+-ʩ~D  stV g6*a$H o_'$&ʹXe,/wM_>HBV}oo ~=9 }P=D$V Rl؀LW?F.z&Z^ݹPDMW-}ip+WmplE/agna^)J+*[R 4W%ыjǶkvǮZkm)a³"=m~<`mB> Wė{^v'VG,AizLbTf0C\ ۃ_A~yr*5`8}9KΆfh]W+K/+.F@Mf;Ml"%ŜրQy>33\eSGkAbѱؖm ]AN'r# xVx Kۭ~ڕbS* Uw-_eTLkO+ZHjѰiwS6E%Zq,].--|Ԋ{}?ҍꊚwtgqL NQʕkm>{塰:;#YE֣ٶ)=bLtٹiskMڝtS1p + P㤸 C-V#z~H lP- ח ^o'8*7d҈諃hJo=Ů8!{\Z V "C1 ENz]kb ##]}xHӜzBM[,zw%(eV'!N՛L^o)4E1ɱXw7դc!#oz'aV?.>b'GT$H|azpS,ef@H]Fx./5׌輖Z+>`#v;`3 0Y]eO~Pwt%fd[pX0~3DIMITXG';4Aoh~ TFփvr/sߔFA/F_+ uq^L$@$쥡Fxȿ ':{\gxzX_t k{YZG ~Zfv0NTsхFA+\7Y' TإP|ݪE`pcdwOa #g*RHȉ:hQ1(Yj;Ǎu.-|:021m#=ly6>cB`F};>L;NRk(Gd飯 7kF>8p.\25md\ BM: 7yce xVNpC si_)ڡNiUs9-wmGV fVbQc}X HToVWB"xa~6 Vݸ(m8|;y(ɛHZ(H{%NA3Ҫ^LN7Ì?H~a֖Vϱ.4NXU笶 c]u\!Pb8X {Jx,j#\\!;{j9WT~nGS'_j ic?+\s%bh!1ųWqU=񷰀(Fx goTK]ٯqc#=ة qrmT;οG s 0ʨgTD!_Ԑf%/.aGP#?;'/zU}܎@tuؙ@ڤZ>V7S%&g% 6"VNgxяCc,&5YܮYFۛ"HmܤRXw2bdӋZi#-![i)VLd'|e>d{[ܼD ĽCw923J|t;}d(T<ʯb|UfwU/!D$+3&%2K_MegHۣ1Sc_{0l eI  l& Ł$fWql[T#{08X0>M !f,pUnQ6eB$Fh @lh-WGy D_} NeglNTahLI7 wsQi5Mb}xyI0󋄏4qZkLծ?5YU3T%i@zRw|\߳]?o_[zlq3&pQVyF\pNpm}f. 2*TIYmYe% Sr RLW#n8$Y3mc-=)CNEA>gޯo#W$Ny @PQxnKxB! 55 .-;3CH5vY UM,,gh4B)iN WekBB r)>y 0uB= K]TEPr͈/ 7a `c6_0քXX˗|ag`#!Oa}-IJĆ%6 {3 +n>P|ʹ,AVFLxE&!O0_Ku !J14?"fQ3"( &5Vkt -ϡ}ođ(6֑[t &<:B `y2492߆d >9*-T/bzeOpNd^NiqfWRx }d٭6drfeZBk`=\ftg#j7bn¹xR0 _.@)RzVu'3;?we彗-{b?mae{*|~u|o]7D;!k%X'olRF( @`cQ@BTi?7`KD$uğ_i^f b*,ۻu.ؗ0Fhױ8^3ȧTC ?Jc/̡qӏ 0۞##IbxÉ{{>}<,mʣ_ ]A̒6ܚuAA>: frMD ׇ5V۽piknZɮ[Eu?Ҕ<;!\)#6y]g~Eb|8] SJ{&! p@Է;0mb΀=nh|FQ.ȕL  7۳b"Eq clcc\ٗ(Y~*QQgT,lA`b:R\ByHEAg'rLeXVWtܜDƬlK2-ԅ@pol>+7`w}t&T]LDZb.>JݱǠY=^?Р[T猨UwÚZ]f):O%-H8Ihl]9B}M^q&iYk4恢:a~?WSg-CVī BMγX.<)@NjI^&͹sQ.JwOp"Ak(ϥ@G0vSckߔ=(YֆԍRCa! )9O_vFn^.㾰/w=j)[?X:6ld(wjG&4.:F/'\?a9o;KQ {JvcdܛE([ [ -%J̦ i n6֔\4޼Є / f4C3Tn̅'|ȁţ2}չ!RVS]=$x(54DgŰSޑ{V5ksQ׊WA\(|K8jU{oC]jiNg##*ԙ5ĮK ]!Zم?yNmjz;>$yVa<:?m?񭕋_˼6:^ 44;lCd+#9nP1YZ6Oua{Q;l͠NխFiJn R쎰kOx_ц7!' jA0$#O@ָhO(VFUr$1ˊLP]C&~f\m~Kyfuf ;>k[#~Mwe $BŚʩz*T_{4Hc(0 KmPʧ ^Y  Epay|o5N-ml-f!MR(D0o164E詽niM!kДTvV(IE)z0G:PO`v`zZ :jbªNIْ.~-DG v(z$3# T7jL$eK7:,2zvE7@\Q1MU @(!ּzã'b8iIN ] `|60g8h]u+cÀYn%ba +!dwhN" 8gK_py\?kioFXWfh gڅ,=0GPC_ j d**?1Ć4JNjC{ ;3q@ ~;8~kd⻾2lRRk])Ѹk 僖F얖~DS%C*kVOvo(4?fh$&Ͻv] ¡iց܋9>i. m!dKN8Z)O(z?|+1(ז bF%R{h8c>!& 1ۂ@ϰR*aAi8q+(\ Q8fʌ"_ A< TVg=#)o$D\hB8dt(/s|bfk)<.2e65?ޕc Q' 5W6(ZQLs8xlw.YվƩG5(%#x̧A4&lãG鍟?ީm0̿Q!,_70 8OBJ )v^:!A=qě_u1ӊ"kRby{!bb䌦[!gHS 5VҠvKnH J1..~ n|{qkb5$O `oq B`K J&*~ߋl-hF7-V& 0"rC4TMɋ)a|>{\Չ7^pd|&`i5?X8yI\EU&q⼎GGs :.Z=؍k#v]!cX[K1$zOH+7$pg9%눱p>; 7ӕq{kqW:F1"q2'J 0P["( ܬ`ˮD$~4x=*!!\α >ێ{nC+~D+A\,43xymp3a>S[μ,>3m) 1a ̈f|mz<.ō٪h~j:$`n!J GXi&%GP6n<-iOL$G&\>c8-E( XEHy|ٚ{}J2Rȶ, M ?Dgu9d[wLIq4`tE{Q i&0ӖB:NɰV|gBj^4wհ5d]c0cIe=VjK4Gӡ"4CI; ,?Wwt *pE 0@tēNVz\׉S2B$HcxBfZ2:v}srP&~Fu /uy%i—iiMߑ-U2 [c:ա2Ђ#t|x=YJQLiu0n=!nmj.Fc"˨?]a8SVXPz ӽg' :zϕ ؓfre(V,hNJyX ySH3xNCg9H&NQx8[LV0{RD$LG9 @]BnjIE+ z#A9 <2ɳM9vo>U Npj3q=̌܅OxHE+j&:܃lk[v;!,BMukr.$FfelZaneo5PNRΚqD;HyzCp 7<qRgm0=m2pOw~yO0\ CF֔k8,|1xZ=12p!N/,.-V1;Nq]Fmv"d)>}=(čcUUW5.l]Ğ4G143վ1Vw:s>a h[XNAwN0/,1*J k(*X׭viJ )jzZ'yZ(<=ihL僑 GoS *H+z$?ČKⶠĈ/mS4pW&ݢ ӂʃ0֎i\卽D\ Bs`M*w/dHYE(f\/~%8izD5`/ ‹>;/:nyQ/X{u(]!^^XP ` ~rXZI̮!`vנ-UꠥX[b{|}D#FU 4/'|jcwB dFz >.uh+JO9- ѦaO ]CAWP_[!ь1:.bƃ'KfnZL@M0j2~2D[:iݗx5B# ZfYZ/S=_!2`+k3Y+`ʫF@7礕,luɀktDՎ)xdDt9ll~Sc1Rq-vVWBmV ))" ٲBeUSWs//7yX ,gY|ı:\ dMЅ=B ]^-韝m[4+Wt4>x; 0\:$%Ffqd@_g%F>P0ٳYΞHNCM~8Q#4v~7Vi368Tnp> ZrrՌ2IZ4cwpJ.76#(.j CJe t>Utnų>R8kR;z6P}͐S{0ZXFaߊt!UWmmm~uQKQ9JԐ=Ov63[ADS9)7mU}3v1YzI+B¬ſv|tYufcrry>5^1@5,xDE7K`[RA3dFYġ܁l]퍇"GӃ]5jzS=/PC#Ps;pБVS ^D<4pm1E+ݹa\)krf4_CqPi~oBHKJB0@|=lX1M04G>/֠:4MQ;b>Q\OnI%؜g[}h k|z}f+ f$\Gn\s+f7%hl(f!$m("VDia3-4mB@[@EwbK#d:MoLl:FCԄm9p+q?ZDT;G]tݖ%Y{B/Մ01CGEIT{RuBr 2[E3qs.)F:4X[m2vӌ5Ru=YEO n!QZlDTqÃ:H~™@r{]#=AhHY/k 7bl0H3G~K^=l$Y㓳HaYX=c.S8Yз%RwUf> 9ܥcX?U]d9k9Ǐ+"V*"+ܝ (t(f.겹Wu{b $R${"n,1?JޚNͥI| Ni vZ 0JPaˏs4{PHsܶd["ڞqyC&]1-R3,S}pBːM^wrj_QKzÙlRk;W eZ{z >^o?r!k:x_Va$;[W< t7Gʂ]OI iDY4#JߢʌR8ΦpDKҰBY׏}i;hU/WaݒuXhE9rK!^2fWɠ(ͶXWץ#_6=,iHJ\ S Ϩl_ !Xũ$F.Uhv^ɱUl2T$iY<@5Kj)ѝ]v1[8ݵTur8w J70mϴ}EKGa;ZƘ Pp-;v)=83a~3>@WcTʻBӈJ.C [.t޼*å"KU ÄfDD47B[^ J䉠Dw Bm@qLSdu[du(on]aV!['G5ע?US@i &"^$dTQAI\{WN(N<6ӎR0./hj<:& C|Q%]߳rQih[ʐ^AOubH);]}ԃ?yED#և>ΖL] M>}y_:2Lj7A }rrJO`o alZkeI x@\[.Zq⌾3l\dz wg>*9wOԭF?jiAޯ 6m3TD!2dC,l6L{Ukb~"ζ`O,RX)A(Zkh$'Y*ŝ)73h ,/\S%Hh*k4zbd*m_&jC&Uqq5Ή_B{E!oC6t*E0z_1Xrxa,p,Ok + iFu!pG~fi]rhY53&"m6w^s?@9H5!1Kp_!N& /?T'4d/&\|},/pj5f.N]mwBS("(SkMycEdR Y7)ɲIU@";lvψ-*_9]`H +ӰR#_e% p1P}# %<|gbׁ3 jb#j-ѧ#~I#gyqaO~Ӊ<bG V 4v$]69*АzXhNww](MLBF >`gg߆}1MV@6ߦ"gtuQ9=NmijRt$pޅPxaY:x vGM*c(<FbXu.`K| Ҩ"wi醱 -ψ?^ 5tYC `C͝QF{%vn"j>(yۯQӧ&\ڳsx;,"g}UMR,B/zӉ qt?sw=(o&g57D)x2jKI.6c߉~Yg"s4"n s(,gR!N@KnkP]1Y=7 ilZ-aEW:#sJA6YgkwA4vsA,aHٕjbgAQ4\fz2`|_̮Lթ%qF ~XNt(fCS\T$y6`PgzS"Wއ]BEdLvr.&\n^UWxi#x/CsU`y]F|,ڮ,RB遻YƉqT @[TB$ꈹ#:}7 b?cӾ=%˟Q qJ@G'X- }kl_lݾK$ڴ77`ja 6g>@E9yM}خBX3½ד#^*"DC$?RNR*JF Џy+_.}P\1΢hh>Q tŤL"Vjis5VO hX@57R[=YyH5Tr}2\(>nrߐ?kEHQxƘ4*15>P6Q9bvǬ ^1w8MȿH_xT#+TĢuUrnFOnP=h8׻Q|b.50ja7Tk8Z\_## D$4eMC~yorLWA6q,SlD?I:=3HfrXJ[\3-fzH)h41LVg}{3X̢$ %λ MS؁Ngs7@oBZmXe`" '(Ǜj m3g1%{C|'s#d }Vj4?T=M l}ڡ\`@.XJ@V Y!ÑsV^z{n*3q`EUUvl2)iLQ1+>5ʏ]8U_?_NE(jD(&!/u0cp1>}j2CMH72a{О.x~v9㚱j7jzNCry)@q]9BLX3 =a")-)d| .])|J$*9nŒVrVa%'\"HT >>?*cRtHl['MuHZڴgyu_(H;lH$#DaMOg|5f;\[mi*3HoH=>i rjsoPg fi's="Wz2"HhٱDD}k_~)"wũw!)>#hq1>yX|խC 6 B!ŀţS]nhiaU?>Yw 4қ+8q*xʦʿy sF<.JX;\[s`,,NRrZ1ߵ߈S1N]i_Hs~/=ӧD ljgk]}=|!ר/q;[(dbW'<Oօ9MO.bi?Xi\p?ۻ؂" O2W, aނ% !"=PnX,~6EN]ҳĤ,{!PLs5rr?OϭZƘHs5!b;ʸȜɿzHUdƺnOd>Kvx1t  =90Qr;30qj/M9v.sdd Ȃ9ĥǏ8Qd I=ȼh.{L$;jk< FՂ{5F?w]m#6XmJw?J+ְ5u`.fR%~+a_s#EDPw$Z-}:{V}FL5uLxW7C曲x9-\nĶ]^YYpy:s;HLSnIҸD P8}Id1c4#B}/Wc#MMd-9MMH8UTq ΏJOB~ m1A]a1!Ks:GfacL3sggLK`ƨ_4+)&,N/(hTL|s~4H,H4;:9O,D#f5Q<:Ncөs,KiF_#t%qI%fEA:{Vʎ|>[$,Kп qҤ?ZZ bM7F7glH5v. ;< ŏ<ϰlAQ(ɻom fFfK+;pT(fUd DH%C`2G+Pseۑ>QՆ^~9pOQn/`vQM_(&#W9FS76~ga [NsWej2u8[ߎ^X= r5ShZ*~j"<ؠTP_ nխdZsǪ;18HgÕki[TuY׎3"6n;@hZə,XV,kS*~' )t{(h*7qc]15_y .Crvybw(v=E @,GFʤT2~}4?=^y}ūdݖ(qCp1g @ PUJ0 porjy%^PmsiYr2:i/w,^r{,=J\:g̅(%zQK)7Φ` yn<@yh{OsM2ÀzDfB<2w']kƚcF"1\WNjqEɾ VB #aS, d:SU"d/σġ鼲ܱA7V2%#b[fmOԚܿFyCi8Y$%PK(a tqTɭ\X%٧:?gI|Y|ԢaNJ[}L`dTIopDMu_؂"NB65O!zsCZG܇ii3Is7U [M S;8sq&HVPB@;/CsٞF mPaVZ~#O:k1Oo(Sr̰`2҈u90lxLGj;`d!4p\ ܩkŢC2AnLVЩH7'&ݹc$Ul ɉ7s%a:>=sZVPgS,.QB~xCSj(pk B=25rE/*x : 7[q:R6_-_JΥ6'k?b(V+Avo oh4H4 }Z0leD¢lQoC|v1i7:[GGo~kmi}ޫ(Y ϓq4 0@·m΢tL"fe7dw9/9邈;xQ-VF`b e)XVRjGs5' 쉹LSJD!IEAc^20jG؁2 "i /#JQJd`>6gJ_̅*6We-m++*؞nik=h,fpdjtRɇ^6*>\n헰KoQkDUArI5f%5sh#FXj7+ST_mcmޙCqAJ2v%c۫cԧ_ֻ.o5+~DJo=)F֦Ir"ܬ“20y.sv].r='w0rf7튝eW$V@պ'~9U)JQ`h՗E?6M}PQ*d"Β!٘_i` D H+yArr]ND8R=}duo'Fp3=K&Ԑx'oJYP)g걋syfPŷjcpJM$)Sz l[+AQ$"CusՆמDSJ,q!j"jB3oZ/8O849>g&L6 XVuhLp/\1S"R8JI ]sK@{ZntqpA"/͞Iosh[|PE׏b(6` Lo:H+p#rj7g ˥KܿѮ=:#B@Zj]8[5kYAL!aTwFԄjNXɅeѭ`RIJ+YL:GXwÞ/m).@4P9CG^%F]u,֝?{ZIA@ޟ{myU2х'#3|1e*ܒg&&38ޜZ3a(i1yT Rvi[xKy˖oGh8O&}B},&#G>]a}t5ys휌 GbD;J{D'ؚ~>oT>Q )Ёp ~͍j&7wOv m ~{]'P 9qyGA[~;{Y@ *ts|Xԃ@U}ʣ.Ua<|2xgA 6G'-APE93v:Q={-]ϑ(a@s² 37{b R}cٿVAJz6X"A/^]P~fwwZαC[?vv^}bnPHķliYEu(1hi9\ҕ(*EFd]*679NHHV땔03>A3_Mme=(̳ᴎBƱch+1uJJD[o,raG(&!ԁK]S@ol\d",Jʁ Դ+OvмqBƁPHFq'K"mЗzI%%yZ5t=_?зCչEWumqK(՞mDF{P覨qݲUL&ψEY4X$v5Wl+Mr?&8PS=vne3\76m9EO;&w7qZR( =8bS7A \o; '!uڸaʯfJւX"h*<GmMV]?Srq]ɠߞIFw6s}0pdV7RFl]Jx:g}ÇV.ri3`{68!xW%oe$&b9їeeßIݾڪSW|BƓCXNKufDT'|ʾ&='pdr EI{d|;F:-'6M3{~_%Y&x>nfoaC51D)Bp P_2ɳݸC7+ ք4)oM]i&r|\VC 'DƾWO;|5VF S.mN"8^2B^A=c &?,Edw Kˢ@ LnIJby+hq{-7r KYqC'wJj;*NB⊟)%I;b'[M'^+]+MrJ0n cXZ/TG 6rF_mu*ٚ``mGm1L]Z1EFæ" ~ 'F>.0r&8_ah/TcҢ]PVEx/3:/yƺJ /~9РH#<{n::'V+E6PKII+=׭:3M\dgYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 35ec4e2de1f71465859c6d662739cf54a8befe0d 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 7cd66ace40687de1c02a836c3d355f7cd2500c17 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37cfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577cfe3df5be74be590d48156740aecee5ad86df175c