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 :/$T ]Group-Ring-Module:threads=2elapsed=235.508cpu=438.312gc=25.216factor=1.867zXZִF!  ]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: I# .r1vTg嘀e!l P(evnbʻ}D^Nء.'(#Nmm(Iu%k{`BQ>M.f c){7gt}/ZwU:4 Y cS9cz;l2֧ײoz^%_n/NJ1+ P ]|WPxE$v7̢ l9Hg8k=~sJ."JmbK{Ӂn/ï_v94Y.ZĐyE.{u CjI^O_1{Z=2vnPX+WO!{m%~6 ]G2» GAThk.2"4]^/K,a'?XT5-Ov;G~}&YT{B'3c+fMu<,npJSs\Wke1X>FO ]1z9J dx!K^s5flů^ڪV&=Vf~⽃Eo]4 DIU?lF 6 +L=־~\.lNH.)yMZTqJd:.E 0l1➦$ $l*{98|Mdhj[ ޑr! u,t]b/JSx"O_[@흽B '&bo&a ),%'~QoTe86%w.M+HG>l2RUK IZi!$=C9ؕ[D{c!U|/gY C)8`V'<]ulcvթv6~Bh"SK0s4FTQ*ŭ[%0zO.SVJrny9VX<m#rY 9uk&Ty LM{>aer@`<~Ĵt\{褟!)8n.6/Qo[g`q.F?GtCBc&Jc.S\#o r˧&+hЂrȃ`by;lnKy1 S룪"1V-$^qt4D\Q7]I}­rl0#CD(=}kNq dYFovޙoo&&+PmHr3N.ZgbW/ts9ً.Ǽ33T^m2b}S7uLمι&[NNi!}Q`$ufaj޵䄭=Kh+VmT/M;ڪ{YZrhH@4*?(%lP_:CJ`ǡ2QAݽ\Z>+e&3-2-Bqe9w@iK~![BU<-=S]2%^ܜN)_7EB@Hcz߉};*657>՚6e_ir}kK] 䰑vG0n)%;#,UD@Ya=Y<#aF<,/ ?|^sMM폙&cVDR]ߣ Q9vxL]bB^88%JJ!:R_bdVXZ摘KlZ]IrDԚ5u2/]n X\۠DMVePZ8v %}yH_a/z& zpq4秱O Z[M/Ddk#G-,bv$fjg7,DF~"r*yVMX4.KSUp pk䩟^ʇ 蝰W{&%×Jf7O }LO!9.>) /)䤋2G'&۫zQTBPͿ %b.Jn >:={-W_mLN!yy@WPpн}@0&N?#)1//S}ݽld ڷ[f7)cM Jפl1lq90X"w<32Ͽ^*z^6u N:4gMڜ7^yѕ҆Ug6vCVZojxrgpz7\իGyZ]^BYlfɆ3ΙHBNrjiܶsY彩- n/=_RFE=2CZ[ow=[!ncnwJD"F?Z[M%^QΗFĻr,f&KK'|& WqQ>qA / Group-Ring-ModuleۈfOYĞϘ+{t:]q}}GbJ2-B?ĽaݲnP =D8 p&O68/qІα0zM ^1ь .Uti3 SGS !~OnW׋AgQOz+nnsHUi"`Єjzq:G@DD`}{nE)*bc!nLvR̖1%H̓olf@ GM~H5ߠ OB?K^ YĕX ʍad!¹EUACon_h$I#*NS⽊% 0 m ӭtLMOG&HtYb\y_'DDWj\A[378 z *jS7!5DH | d"ӶA N{;\@0n:=x=vCW`cv+ߜ+M|4>`XFt[`pIg =fG3[ N}⣷N%h6BfH*E=Qρ C<UG?BnS$G Jv؞ VQ$׵rsb`g^m$F7re.hDv*;}#rD_kmL.cF=nNL/t7'^7j+1PoG1h2gumN_AEqI="9]Q5,sdS%Vno.l1m1"`}jT8c ?kB3̆5'ʟE!?XҋZ'g@.$gnR&\w!FU@BmOC5u*j[H%h,Ln7ó vF @tV qOw:P'JìZGBt] 9B{V iH{LU2O&&:Go2~z"ány=˾@ݹBOTjq,uiTOLN;ɺ@A A{L8#LQ.WH7^g{QsjХf*ꪷ.^'RF 0+\uU|D;>|,O%Z gii sARҮwЍ~ߡW7f\vAD @vqWE;?lSsH? b : .ߩaJ i-W}M<nh[[tmCjlJ4XcW/H=0Y, M gD *ďcShk{`@٨B XoECOl4vvxt߹`z26E1Y} U'!g! ⷺVb,ЙrWnd7ŋI+g,~27#m('GԵЃ?4N88RRF1eN|RJif0cLPF+XC:{SGeӒr@ BM'D0WH‘/Lv$!h޲cJ$P? $x*HQr<8VHk"r p:\Nwyhטר+fVm|x d'?}.%_3!r`?t*qB,l Yl91nˍ0) 20nM+4[ P@qlo߉B3(ҝi !N v)O}tCʷ ԲxǮ1NĔדŧ$3XaM8Ǔ2겳ECwtBm4JA<<`NdÙ7sXM"<Z7َU9{!Z*T6ym/LJ&G0Ւ"5QP'P8tS[rqXX83vaG!6DqC-Kyvq-zBp5\B-˥G^c67LcWq^)[%p3qn\[{OH5]UBB&T%:^B#@dvO>뿈ˀ=R!l7>-1Slscq3n-at<~A"fɳDd}ϣYK12#7B%pSo10AdntͲP ?{1.V1Q vb\5 忹2"ɇP6RSuw3C)ѳߺW]__wu|S]MK\b6?$ 诰׹yK)):MF?^A >Vlypɐ2c(#&уjwd"O,j~g$VO+Quw}{S'@UxƳ'z+[fJ 2jIHlyWpٜgn b /ໜ?,& 3x WMΕ=ܩ%j`َ7 e*7"`N~9k G?UdyI"Qy-/%E5 fL-*]xSA!ɄEvHuyC/ʂ- 1T={U?%X!UYŵhO|\Ѳj1+dEdb< Ts[yԎ3dOٳq3OL'ƍxv=[n q 7{ @#Za{WNڼ{1ʍ[R=!xנb V}%2 c !v4jN}ce`NXM{ry~QX_ceꢍ愋U!Vtn$l3Nq(Lp_IѲVH]a@]W}2R(WI6~׌|4cc;"L8&Σ~Id~_ 3HȜnsˁ,F#iz ɢI$]:TRV0Z`| }!x v9_.7"\Z;F4`<`|/4ȪąN`Gۥ%ۯ4GI, [:f=LU<,ئMᚚ5k,y#2I dIt  Oq9k,=Ȩv)Khb2wB f)l2 IMgv ᠑>ˢw-ڂFwIU=KyZ 2,ǿ )+M*Ws2*ӊBbDY!&H4,9qg$c2>Hæ8m&l:.]TFڛ>&8!b*6 wv\Q>֠Ru[!S2]_^cF2cj8KT5B#!@Ej@т$B 5h28ZW2 9R?A#J]j݉f0dc>k;'(-p,3΋4^WBd*{ڳѭ P3דv|&q5yTiKգODp;$dH_ jh=Q+bӀ,Z F0߹'*NRw.tX aa?V/~kcq?ը6 m?CB#G3mp*.joIb$@ +5ZpRzV)b$Z8-a7A&l.bsE[ݰM53<@Am dB-|#9a|TW06Y3ŷd6Pk$Ĩg^dlOhbzJ^Е¬ʢ_wN*i^Ђ'Yv Io+TKrP}.r8ېK ]o[hEX{Hݸ .i*BNNVԭ`٭0J3x=&Bs[䑇D- cSFZcatyγyPiy Aa[8FWWwn =6=ah\Y۽^ڽtŴ,䲯#-L ӗD[kH"NI^eAx-sm(dvE%~r'f N>hii\%S_""dcq 띶xZ612<eX΃"I etΣ +S~~6)̻]+"Ey[t7,[]Sf Q͙ȦG'!lPY1 i-TEc*'QS׼ ZP}+0)JP4I|76r3a i-hu]6+Yk/nKBݷ9vQ| M6HtVi*M'["{Mf ߫ \dd!=R%z1⫣%[F{-u+QR;z簁)mAٯ T7JXF ]>vJHUk窅Ҽ7a 1"3 C\lRǷ앤 Z۫H=q¸_>"T 8h"ӲJ)Xj;&*\ZMd&aH!Gؽ1RUnH榵`:q*5}!-nu`}ƃ&,gǧ҂-ď+XQ5-7qȥ7Vy4Da%vJO43Td`QPs y(XEk_"lFǮff&C^f#G&=/ tv`4':ykURq@ ^W=,<,tX ]C"GGCH%UpBAojskaQㇵęK]iEdQ#kjSÞ X颚ɿgTf%eey"n5z)醆>^kDƝ^ʡ8{4wtd̅aԫ0, ;Z_vkv ,\tW^ѤUİnƤ?aMM`p^2Bʙ*o7>Ju2h1ޢb ?bzbu@x:Y:KeL9ۧVJb3/GO?1yt>êPkBF-wо,3kGQT)JwXˇ-\ 9{r^h~hZ[aJT{DVa١ +9bst(]?6{ L-QQpWSGCX0LsR|kЅoXdbO5O>A>6FjQ[f6 [Jxm=69٭a?{-8]dBS/vJ{Dy}۰G Sg4P/T3kFw.V]S y'M0͐X阗z/}YUFG.T4v`ɴiFs߄e(poE(c]ʷ|;>{\@+#gD&IDL$g aVEVaI#C|$o ?Ω\o0 JbȀy2GyW\ LO茹'&#T9O?nC:d1w1e7.Xҩ;3wJBƦ$4,Cc%a 0u?u9(c,avrU;gS,=zmJ=>"C{NhmN]\$J#sL*fR8 @zR0D.OZ/1Ct~b7 {%RsV3dҏHyȷx\ERي?-7H :9AiV`r)hR'b>CQE;8:u:1-ّ&tE".c7 +b8E`7g.>M?^3LC/,ʙ]/FJ`vȆ*3ޯ}wYevʣZk 1X٨Fg;>@>%ٽ+ y6ILhuLXGF/h[\j)ls-% "[x-|)LìCK-fLъKkw{b@Qx;1٨_؂(._bS]j?o[f@j,&zu+=UZxQPj n^61~"߀g8 oȫzm̏lxsB6)(}&lI fK}5!WQkJַ"~jN)$ptOhoZdGޔP=}iOgi}b`㴨Pʡ3(R*橏wly6G\{l4A q%*ᎄ1 6vՈt t~nzK f08)iDM'v7DfM(~MP8 zpl-mF~jM2CWal3XkU: T!LJ3E\| *B@ ^e4:^eњʴ{Qi\}cR9)Jpek+Nwȷ0c*ze6в(ǫ;'mWT!`jєR5ͿFXk 씦~QvL.qU-xiKg?L׸@`ѣONltǭB,uV{;m/ !-Qݳ9F׬32x?̩{+HC;i$Z;`r툩6hQg ryحP y+g珁ˁ g֮ "6%$ʝ/¤Tu 񖶛=Z`;ڐA b,cnT^`#!o4Ju!@` y{koT}'.f01k.!Ns+@x(3 xEa:-e6%3D4). ;w'gud$Ed-t2* $Yw A5tDBRsg4MjC16m ׋K֥U gV0ٻuX 45ۻN v#*j3Ӛϰ=]2_ar n)A`h>l`x>;vQCk&=FR %M&Ն5$W1eR;~8J^CL{E%)LkIB"؊iunEL~d=UTNx($ '^luݯ,_ 뀒}G|d.5QJ߿ Ӝk .d8A /NXd,V-ף.$qFV6x.kڄ{o\#y@R{# biT7(LWr6qj8-o /9z GgIvʅI}dByM5 )Ԗ9i^$UÂ|ALx3{2_?%q*:Q?JL_4u;[B?_f\bSШ!b JޚIK),el%T\|rlMenr.8Y+`WD+sQ9.(cL۷LhEס<g^Q_sK!GKc%25,i6DDh{1H2rڦO.yŲAPrm`޳&cۅl =[Xc}zMf&Kog$ՌMG]+*[36,TQhۏZO"X7I,; @E?Kyc -e5ɗ5dЧ䶂Fͼ@%n[/ ʘ:3d^$j> 2{n[xc O& dA/ˆ@5@hGh%h*)BrJj_qzÝ;v=3Ss=q_~nb{s¥uZtA|d{M?[vB}q] JO?Z{:jmLK-$K;"㗷?iaeBc#}`8{]uK=el6kxjdGB{;ܐA8Ȱ f30L#*m#!ʆMXrr}- W!F/wZ YdL]P=@(:.0npՒC5 |AmR87 (i$|ð#]rQ0G ҿ[LP9SG%]~_݁@vI̓ڹ3jl\oMwbMuhӇ^Rois[E+jS~b68vEeMtXcJ%ߞގ<ɥns0%A#y+;9|ߡ?rB82;xzGGl^_ C#4-8MzXA!w BnՆ~~YVUf@t'JCWZ}0`to|-.n!8gyx~Ve 0)ϙ/@˧}hKn ̳,^+ȹ`⣱as"޶}\ K\Wj_aD妩Ti`S" eE`,e[\\∽P?)];GW˷<^oK29<Ƃ(,~b[drCy,aY>|tv/u*ZJwFDtJv.Ϯ%) b ۣ-8V^ ' SQW>O/dІ2,K?N'*@zqO~vz}6|5 U}7`$;#䉇*Xn2u!Ze{8㷦;s)Sݝ19落+0C c}T_ -Ȋ\mψCe[;aG*y6ΝìrLl[{TN=垗ap-nqnj `,vdц5+W]"7~/IܸUQ) )ꮁrKьb .;r0 a<Yi0bБkc#8S6i%Gj:=xq KBYYԈG66RɫJ1}k,9Vʼn456#p5&F(lFx +hӛȣV4^–α++ĝ'hmp|œ_;]3γDgx8#Q= kTպiL,EioNc' :K5ZhRuhӵ=KRCfK4W * ?t ):8.~AC{[@!x^9Cۿ; (`ᔷܫX.@k#U|ҲImE. ٰy0p$R I%\v$ֹ 3Ư3J748nƨL۾o5CL*p0.Ue،zŰ/3uP; (9[ #,`ð?CB%f]k4W4F)(pK &XD5nfZNL jz"Nt3jlHXŨ~TXeXO{p?bb2y+IJ0'j2YHxrq\mkHPp@fJnl,'po˻V^ <9j.%A*OqMrQ Y 4= )^6 .kṺ}Z'l 텋vCw/S߳ќc*Br1@Inj_Iy'9`#'O.`C|M^ǡﳞ%`~%ÕѨFF@'/n~ ܃N1(xlBCK~ sMjIZx]V?w l ~"҈,mBw. 7Pޠ÷Q0+ ?{,dDZF#S{8ϕA:Rd̴p^, Xd: #gZM? Жu4bŕVTeۗKW&jV,5 +q8H;f$ԅ =ac6\(ƿ0Kh 0>?B)΃ҫjU\𜛒5ȰJeX2|9 ca|D[ؙFe#z情YbN1Kþ.H<4rE$W}~\̛'no5J6_p57JDbبeGBy !F8Y3(8}7 o6]VZ"cJKVmt>b`@(i  yR^gD6fb$SV ,(Fd?XA,`y:!Q4r cd4TtqKכWqg/B pIRyױWzL 9}&o)D`Qyks/2NDF-uJVjKĄݏg.׬aAg_?>`M .igُ){.I٬ƍ02:t*+C%1w@@Zڣjjϳۻ ˄@M\O,aA" nkwȻ<"JC88{-(ly ױgCr[kH{`Qgsu5R"S)ml&b’WU2\1k@!a^CD޹]h_˶ c3 7Sr > T$vkt/6w)ߔdΝf&Ӡ3 ":)JyګWӋ//4%~ iB^ھ90 (:w 4Q EʓRY)^$IU vN2vSb]jjP{.@T1N=0 61*3bCb:$|!Q˹ <t3ri }u,lJ:H#/R6!b"=ӬJf<ɘ?֭O@V+(b8uuY"v`k0 >۩0HBMK#ަ=;eN XtbXscL]t% :tYz?Jω3Ç/) VNzcOg$ Quӝ?ZB1G-JrŭόQley*Uȸ͢7엪h۠ MS~`9m֕F)pD{E |By3?Qhp a0ի|4֊#.N$&}im2'd3~h)PٟpDUdes5J;"<( ':*i+0(""ྠ6!e/gj3ҧ PxuXL^H2l,7#ߪVN-epk_8?\?uLo1b2]hsΚ"1 }x^*.9mD:goAJ5H3bl:PX&х)0;+ sUR#VvR!b#(Cj:sV,=<`opxuHX J 5Iԅ"%WZ$R}KyVbkf;HwtQNmño9,t^۴]P^u4ZoA@ R?#ʜiJĂj@ӻ;'nJ:zUuqltsF9}Z.-_=| ʣULseD9x6zG/|{Br./ µGo(qEVBŬ5* <ЙuqJ\/CI͙}v`k1`%j#A8* Mʹp}/G=yOs;;+SB2UN&hw}l2L24# lH2;?LJb:D8#37>ukkBK yPn0*l#aA9*Xd@"emNM Tc$P5Mjj̦ܺZdג`F:\"wcbDZ!,6:Gf@>>Y*lbRn~y*ҲK<(IO_׆i V. 2SoQ-:XR'|-oMea /^r-r7F-r_$/kX0!@kX)*Eq=Y/OI~(NW%[u{D:kDK?k/t^{Ŕqwxrs몍A:CzoΏ  WAqt(K>1V҄P4S-[jd*[i۴7[-8h.{1?$WN%ܛ*h1l}&bt$#<*۸~B-GuP|c%2a"I_ܸ\>{h=~EEI 5&Coј~"_nyISkJomj{+ Rٔ\ͣ@֖ͥO[we:3kbٴ"ʰHЛwHlzſ! 0EM<>$G!p7_^7Y3NGOGob9~~ Aj_YťMy ˊ7@;D-Fqԁ5{`d#KDQDq\.RG]6'c]R{.+Kwȯw)7?llL.AS LT?CzWF[ ƾ=i2$8̄ǹ p?GFg  6wWA+XZPP,DZ3ͩDA*b(efo"!^T@L_YmF+n^f2/;Yfvi?]Jع<PT噩Ÿk# ,aEMi,8"eyu J0I\n8< \$[?`I1=:/=;Få$Zv$2;sS b|EYf|$T䢕}J~-[ˉ\ph9d7|pk*wtjㆳ#P70z$0GBOWQ\.>C"SmDh.tb8*]t-|#A /M#6/hG 'UGVn1;5oxmIᲥ1Om&p:و:xbjzZϹia  3IShhLu)? $P62#}S5h?o@aGEgPӰL7wS~&kHt#SPx,8H*Lb,sL 8z &J \tE Igeo 7 a-fP({k~˩fnN^Hf֮wxkJ1ˏV&(~,H&C<7$pc 1(ܱר? [Ne3H#kAϜꄡVAd*v~B(/IH. s;AhnTǰ)݀7Ԝ|6&kSb1kQ|9ޮف9N#%HE}hf烷AQ@gٗMU5^`K qVFWE^7$[ 'u9p}ݠ}KU"S)J/EI%լd .D}o&hXgiJm{'!CFG KSSW 8K=jk,:Q,2ϖ(Ix'X ?h>^ER@0AU@ ioIA^6GDZ g!i "tV+mr@YoKj\1fnt:AvxժdXC.$A-Ȁty B)D:mЖH_s/x 5ON,٧NS)rX˾]HmG#E+ɗ B*r?8 J͇gCL CO ˏdxoQHTXK$7l3io|!l9c2+ O&iY)jZ?<a@5|D+sіC,Xzjų6q&;9G 2G4"au{ qM'0QrX/H"wAmḱ9._!Zv4-ʴǀ*Z>VK5m5qψUBYDl9[_GaQ8JJtr9PK|A-:gy~vƭRL@g.>|js-Οf[[ϴ18Q(»SC'1c1t|d^w=6\ ž} QS jノmTcm/ͼkL u[U |eVcZA*@U.áEu|7f1YƜLl$0JS*T|>t=8NFN7;5b6ȏAs~WsTKBG+13auTk5@Gshh\OkBl0 h *OR#bYȨLGxg05j6 K= ޚsD82?ǑlKGѫo]yqB:"Hb{8?Ъȣ#? 1ޝ&~ J>hj<[DV(g{û;&Ր)eKPX ^(`nYi՘ldڤ XBcL+c1T EhUn6)WsaI? (/ثR/K wI-^4A5/O xJ VUG#説[B/g+TOÁ{ .4U@f-<~^G:>rg\Sܼ!$P4L Kӿ <HdS7v{8&8yjiʎB&7(YT 4K$n #cD]XLþY~1AlC~(RvNv C[gy#+0=w9LA?tV-!k~h%^W^Leb@ ;<6JjM( cn OIoxr)؍b":Cr۽BQgCIhB'&" +8H44GgZtANITN~u2r1{a$C0YʩdAUSNE9~@b4,=P 1;jcthwIZgr:eOih̷ӭuhRNo;fB1ߪTS+,ai"u;sE 9Hy)vu"f=Wr+y}T<,m`߬fU'I A<ijXtLy)w)g ޛ22x(!JK+<ҠD}8,lcl?? @.WswZbB ήзcp = K6+~_|˪YAfff6Yr e,^56ZL#o+3o^:4˗(~RC2dbhz֘D}Ӵ6|= ~ KPM%Q9PoRK^i*xmE\9 OTGAT([쪋|~.iF+aDҋy\Aah=?S ͚#kPdWʬ܈#=,1{ w{(oT.G3?|s=;ei\|mQH‘4)skm =.߿ V&}Y P/}b`y$eB áL <7yXGYiT'K󋞙^W5Q#O[p-~]"4; 9,5mmwZ׶*^Y1!mU:N ԷUT†ಋL1I-GGgrCoSf뎥* <`ưVim'Kִl9r0-"͐9xD $Bre X#N TḢǐQi՚VfO?{~MGs;.IͮѼCCy&d2_Ogrj~;W ]22:|1?4h$a*ǰG]-,_$y_?ap߅<N)^eߍ. CQ%  2 U5bw'..W.舢L0q篾Qߑ-n gUYGNk* KDK%Us<3l~}[v/AmE>_BpTZimDO8(W ^},r.Y{/o"$n$*-f~{umKq ?{b?J+-y^쁦ay{O>2HP )rIo 1%=%FYE.OHsp`&9 5jۋk3iu)*/GO^:Aq8.FZlhW:NQJpc](Q"ߙkC';v}BBjX)eJ랂=Ȝ{*!RϡFFfj7AFtT_* 7hK/Ԣ4TKH pdd"|d olW5t pch{1kfQWEJn?]j cɣx ]{v>d%7K Cw(!SH.!zq,13|<\`Ɓ?~S }mE~ʯLei 1;EH~:ү'Jj &p&1\Ayoġ3"M7㔅/<@K{!eD Xr7z %12 &]MROPq]Qu2av:Pf @^'LENNJpZ `OkPƷh,*ص)L»gߴv6Ok8<ڏ6эeuPkGGί kuTVN'ZU;(jsH+kKfR * 5?BPOHnp ^,]ǘ~SiDl̹J^ߡˠ97qK䗚D$qr՜4w 12fvBz߭$#{=n%y3Ln,Q#z!I_Kj,^{38qqH*V5j2ؘT>?FX-pG]#%]wZ,nVPTv'zu|ESJIe21"ƞm,oұ(#:T~>ĕ?{)V/ƏeX o"J 0#EI3ѭ jf>CH$Q{c!n TէQ&J%:魐!%ht,=|vUƐ&,X6V HJsۖu=.v`')6 f,Q\fZ9&vr/x옎σB[h]C#mFO?XI\vU^D{m,'>ee j\&:Q|{ׁ)0% =DGg{IeLaMOuuoV( -`Fg#?}Gk{ vi&BMRnFb䰻j6L\b7)ɇMoy̢3@<8's>c5ʻ]{,IS6}A#빡Vޏ*s:ȡ|C!cq;X~ v1n" IxX- WQ{]5n8vڢF<ԑ^uk+N>ڹqCVWe49ע Nnle%X@hIs=*ʥ"r%ܵ_ SCI# frCJQ׫%e,=@&ŋԢ\ $Ԕdm-^JgQR>Z/XT_01hI Wu2SJy_mzóBzܶZ! .ו5'_ }f(B&9E)3U[`D-^!\] cx c=YФ' (ѱC%|A C+m-evbvU=z8~ 9}gNpj鬎`aIX1>5ƖW /Gs'J'0fXmb,a=5gd$< CeB< xĸC&s>/+qB< G~.=KDMC5x#_Šϔ`Q ouVn% 14RNJqS∬ݞ{|ETN8#]-pˉOXw/LPEkfXtDk!0N1MOf}Hh당F+}츶:[%Db_UG&=Jݛg`zZr6 u ,͏ݮwtrܺ:?pa27E{b SIx+O =3-@({吿)]l Q  XEtشP]MJ15?Kǃ98hc'H,;v_󾘙TĶ.hq2oS7ط;L|>l]eE@ÒE !7'ⶈާ:K(sIt>cJmkU a <;ZoA \(dlo]4Xu$@)XPCA+Ze#bMFMHuč~A~D X1{I[["3Vf)Ll-L C$J(0IpƸpJwS1-YQFp}J]7=DǁRBp1`}=XЧOҕ9O)J3J78:Db>k%mpg `+ ԻQ.wm%UH{竿KF}Za!=_.R4fqpfOrA /0osşiI!3yB0\ hDt?0\N>o[@m"\ SX2)A] VG4ZzԀZ{dkhΤY[2%-X޵4q9Տ1 @ qk65C'[t{Usm% ުÈNtW_ n'nTDXʯ6[7b[01$O=3Ǵ&Go~W Gs3Dg&u@|9:e3J/<6?$xg9೰XKKdc/ʮMN-SM> ja^}m =},nya*6R-on yk G@4t-Wۭ#[2eJS.XwBJׁچRasi}imD^2 Y"afvnX HΏT~#-yz//Δ<3WuLtW8K+)Pe 78Ua/l;噍nI7$ae!񤧖uA P䘈UK83@;p;U1K4q"<Ìȗs1b|L#wwHe{ Qyb,ݞy- Ƣ! $D}Fy~EI-z)Ŧ-j&Q|(|s\sP9uO?3.3@j(cJXpTM@`5#9Gec;?a, Z6͐ Qs=GQR#Zi)9Q&Bl+܋ս;QM\+Y]wl AK@eer[8ZFf(/GxVgko;T`=Xati R\z؟ӢOVЉrka~ysۄ .]y ®*B.Aǃ0bq db!O?򽑪쟐'~r⿕UDDqSz r+ed\hD`+sn1AP#}a۪l`?Am7Z8PKB[ҎLAn'صu~u=j@Dor2isSk/3pwid72w}I0̦Mָ&Yy@j$%TZ=. `'CogJ[rȨ":K FU,O`*ڐUNW2bpKؘ$0\ȟ̌c#:U.m%1sN YEg"N#%we ڲ$?3+w]~I +rU[(Ov\$ ô "ցMq/$QŻ߲2U \P2$Ie ]ELf=(ØwRنi.g|`F {^p|@\XǠ?PB"[ P5uYPD[O jMި%FB;6EGrF;p_a䟉`s 4>q !"CGdyI/YG @9gq8L Rp@}=uTQ̷J7iB~UM9Қ̄~㢥}^Ȯk6Fdt7 RGHH_%IÝ~E"@ҭwt6[`ӼwEi'XSmK@Bb`zM?rݷ3jArv≮JN&;SlU U.K{J tAS4$@~ذYKTߊ&/抾1hԵNMd2ӕx+!]v{r^ӆ.DG=:qvo")aN(r!\'& =sƑ![d׳ˣ9?xf'.9Ę=]2kAYl[K}nLZ o9:8r C:Ţ'e .Qӭ+Ҟ/ŪVϗICoA֧J2|-lrmjDzl_$ E'BT"rw#m>,PGH 9rގ_+V:#sI#DYTr;8S' ={a$n3ZqO&`зd3V|GsqP.yo]FFq $RZBg }ąPM*#&IUG>|,4Y(Z*Xuesl٩, }$7rhxquDCil}rdXՐ.ݢ_AG^(uNV9kFY28/_s>֘+k] aL|UVi%EW&#R_(}"L7l(_@3Ŷ!]F_[a<+̀^b@ 7coV[vo8;QFoFY:p^ݡE)ٖtY$G=PhF|T;٘vGosJ `c2`"^c>Ois޺8VQǤ=x1}4a6$'u&U3Ns\bbax"Cw+~Xv~Xt-\e5׭,Rñk }LR,p[ {0d wGVjSQpc*`lBӨwEsCoƅ"N},c&ڕ4r{M@(Ӗќtu%־jKd0pE &] k1_m ' @ RMJ#PfAlc2Mq9/OWxQK'z "Zܟ%0mTėO4)33}>r>8>o# q0J_ks=0)ȅ%HwJR>hѱ;vs̈O%HeRwQPa!EwOV:G3#\]$i'sh%NTAدHe+EUpu@V+eo'j!:-7`SDdM*M,X[i c-U,GWڬ{FK·-^;^3k{,v` y ^j`0 =\ixJdNci= ;oq;0k&^Xc/+|̇@zWINiP)SsٮH"{R1 ̤ :;V}b,gWZt51Zm{BO,uL 73fCϝ d>>J| r~-D;jIi5j#"ѡ4dpk0uω E : gٟ`3J'0!ltޟ!8޵W1=GE_(VEo SSf9 r:o-$C!&:ՍsinE_:IZ(r+ >^,k~V<Y _FIOϣJh"{F5e"ѷ &@6 )SX{ȁ㠺ƨ O42&w^FLss%ٌ6zMNI30%5Ch ]Hod.aE81S ,|5;>VUE,'+i Wآ{Gc;9-1_,rS) )Z\I%4pf)CQEMaR4HR'k8geWC}8 )X,Q^g3晃{7ҵ oC@'YRh`J A~XA8%u"ޞnӤ NаdU d"  }zD>_GFϓ`mF`)X64k\,uGzuR CXo=e>+ u,R zku`7ҋqw=|U9ȇMxrA+x]dQP||%WnC݊ {CZȽ!8=ӗ*" '=gW%hgsgL{gr t+n Hk1{PFO Ύd|7IP`)BRbt hL^MbT–$20̃:q`wc(6_b_͚2t&5>>S^g{B<+E1` r/W͌R͂AT ۲BPڋpk@k)Ɨ8p&cjJ6Y~eޖ%E5ì#` 䏔#գyςTx mpFJ`v*}NAj1J76jHĠiN_6Ħ쮡dY\$x,Iv+5 t Ւ7`6e3KDS>#5_^)v#i,dӳ2Oɛ`MV$S2cdXJ-OU4A3Cvo ?唑ʴ[` Ve}Td@Z|In~*)Wm,ԍܘ!8Z]z1 ݡ?o6$yoQ.+"-$v 'ֲaӢwFJ_qiv8)ɜ5⓲ \r<ߣ^Uo5lyy{BuK>J<)_ƛYŵ4kc{nCLmDұ72ΤgɞSY# _8ܩÏ߀whpdKAo#ڰ{ĸ 6z 3FSYxj[ߝ@^d,on| Z;7<.-OrJ2m3k0^/ݿx:swD8Xe3B|nw1os4{,ey°eW/C>ϕ N%Pc~{Pf}'Ɨ X HJp,jC7E|nkprLi(/Ty:3;S,vRI_j,q54 (w,ho'nR\GH nWjBF^ &/cC.xax^+ggC<[ԎJWRU?o:r*!m a,X3M@jOMKS5jd͂:r OH. DHK;B_p#e?uI!`a_bXęrGC?wGŽ͒ \!و(c&-:RO哨bJϽREڰ$$kz| 7F{Qhh3σ9}űKrX:| (6MC'P Ҵsm=U SGO>,⣣" HE&)>߉L $.iVJJ;Ijhv;,ɥit6ͣ)!nLjSoXʊ -,_G{N'qݱYoP 5I[{7 ڸ Kj}4O 1nނ>p tc \) XBxbrf1>Fh(Uĵe{Orο"o#\ ʵ;ÒHf$AMO3c6nZ~*fC 9rbrw3Q<)'(3;7qh/VVjqLJ1ǷRnϒ~catP6&@, o٠L!LŶZU'Q qNY2l/G0rE>j"]@@PPI*0a#|3@X5ˡR[du!f|Ś_PJWvѸ{Kz>EC(cdCi7'4g-0O-~OuvEM:5Ҡ#HTil'f&XZ+^:R]y {:g6dVWWaM]sS Ы}!Kw3r r-ө6Y~/I^-Ϲ+0֚0@(RDmıdAp6Ȱbv-(;g;h#AAH>xLZp>ЋV)1,pTrTQf{3'%5N@w%?a4"Tʹ7kN8/J2a꼠`߹G8q_}x؅t[v^ܼzqµJ@ʋdă+J_Tq[Yc^^%5az!4%8ȷ^ς. ?Mעo*^kf>d1F:L>MzY? IƵϻǃ)4`ۣ)%h_n5 -fuVÄtv1i\"q|ٺ ;rOD\ic.7{,t1>1k\/fCvч[/EY$UI|کui19ؽDTٖ՚8 n3O$D6cy*^~- * !If'u SbmWT,?T=EU {!1}aKZ(LCI&M2"I볕؟rghk?*ns_ܡ W;c%j)ŶyN5l*Du9\Tb}!G[=Ge>\CIYY!q:CNd1*_(M0&Qhh Q=ȥ*uQ89ԞHr=ţ2e;T}ќ9=]7 N7 zLa~s"G;>x9c(xGؖ5ҝ ]_xvG\#<ꇿS$h3}lKcHuԫm":WW{ZǛc:i] ʉ>Rb FMxvuI 8UT^1H\ci!a!ϯrMJqS' +ZgN[)NlF m/B/8,Ddr]x^CT R߳5$'bd"to.7 |tܦE>UQHR6$P@}6;!W|E^v1B||tf#|TU4ҝ0X"[aoI#{}$94dQwHasB66V"7wD"7e#oB>Lt5<4eeJ:JS\99V`~ȝf܉NKůAN.2澤a_0ko?B5ܪo6ϑ()z@ǜsm5Vѹ}=h/ZFo_I'w9ΉNow+|XwFr{yDtXr'UsS dħ bA?ex9Nx\v;/ PCžxgl^Еy}-1]8_}zl?FLn7㟹~Y%hDu\4v@7kHXya#=a$1RIItRG$(-?99]:"\4Zn:>}(Otegٲ6C՚)1"_`:(a?cAI}/V&n Mv@,P[K1mT gr 4C)c.RۈH}u͏F>2Z{9BSxj\ wgYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 35ec4e2de1f71465859c6d662739cf54a8befe0d 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 7cd66ace40687de1c02a836c3d355f7cd2500c17 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef94138df5a423e4a851f345f0137948d85d0a974a