SQLite format 3@ . BBh77otableisabelle_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 66tt ]]Category3:threads=2elapsed=895.243cpu=1569.900gc=90.944factor=1.757zXZִF! %]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "1Fky l~rrK^~vJd}F&|Ƭ7ef4|7?k(uP?ewrtC+ȋ`ޫ^^3i:Eh 1AЇF ߃aQO9F~ (OuDX_asEsF몟>#H 6J2͌(#QY8D&'Dh+OOz͟a)N.ioZ ~H96X"n-,ФfT=OFiPĄI4u̼j^@!r*m&\ /&ln#xsxs @5'F:b?8',[s-B&cyn٦ZMDx_ W1uT|"Y|,VǷ92[==K{ >~yi,6K{^9;.qNR%YTBF#8H/\ ,ҵb0[]Z秙&]A*mcd36PHKE?W}UF,t^) 6z*d5P~]F`Do}m>%Goǹţqdm/kTʦSީm{R 採ޣ`ߙ)dMRNMr¡ࡿ3$&i5Qx(V^& 2k͑Ά(*c 'HvfMquF#]Lm̥?%yofXPS`mIGfhC"lEѾ:sźF!ʏhJ(8l;RbVU⡴o.,hR-դ qq4Ty ΀4R[ oؕ67T=tϗ&7v+Ԯor-ˍ&%k>(KIA39KYx q]r Q㷆I=[yvIOV1d7\lNG2 X!r+$㰊b1bTxd#~}_&?oMOg'M (V]&im0 93Mq2~`s3`+iLU;?w_89fVN\z2vP n8x;;c!yV@5٘|T`y'OS˽ Ȁ D'#6y=8 K+a΁I Zt4woE<@|4" 6^hZ[<yvf̓>rt_~Ix!&2 ۊl27CگbpGpI=dest`O1;vLgڷSjHVِۖB%n ف] O( %`@ʭzv>hlf8u4y%ַ`)% oun/*/>0<(XE_ aS2MP: .(Yo/[!$*ؐۦ8^S 4Z;h?lu(>$g5#eA@=.n<YNJBA:4:d'7'OzVKG -!cRqx ~x!c%S%;Fl\%,qv5N*;cƨs|r` yGz϶Yrc5Fx|ހm5%43޺ʛzl)"'z#-@PmRb}%Y@٠Wk-<Jє @KJ V7-tmN=ih|XSDKM}&-"㹧T9:Du ?-Ft(l;A'@SD=Ԑ*jgP&rr*~?/uÚz)G^OIU}4 uez8;9惩A!.#7QIr6Z)-T) 'QPhP.U0}dM*3S}G~}_Ul۬^[Woh%v{s.n~r qBѦHIŶף7[ƻӨ*(&蟇!- TpnZeLw{8x/# ]3b LU)IR--HV 5(U;}iJfrps}+ ߷fdw'ꬦ”%ɮVm+2rޟɍW`"_0V2= +).d4%gK8cQ[L|uR-9GoBKA.o;Be/SZÀA,{z៼()~sL0ωW8A2>c31ү%ЩaZp6lTv`hy/,u/u`*.?qr00"7 RֱF6`K0W-eQo9c!wp(ľ_SNy99%uX;=dja3lRȟDApU@Ү|intAPK3UQSNo k tW*ԥEBڟ-^zKUy])}>jc'3<ig YE_{ i^lX S ym)=TGbQ6ڒ!"]Eo3ȋ n"m.tދqL61n9+}xtjlA5rTm2 G|F?G_"uὬdp7R/EIW2y#(Qƒ5ն&@^bse MiP98aN o?m/j!! sOȈ\YC䴁si&6ಁL({/-6g& Etn=4:x 6X =rl,fӬוJ;e50 ~T 94_aJ%>/}Uv@|mQ?:"Q(]a:;@Y3PO2m9SC2v8~iigeteDF)-pQ"pփv}/Đn,]]^OD;ĎugK/[G(9ݍkŀKv6BUCx$qx);Q-'(X"djm-l_Zy=yd,ӯ>7 Q؞ v@ʜ`:Kg^l71>8ФZ7 |h!QᅿUut3'? zuͷ>o&[ӻ=u*-߆]|u'Jq(GB\njZbxO240A[ vz商) ;̥V(!vkͷJ+ w^+?ZA8 ؂#t_w~Vˋ= +,ңq;oQV>;aȟ]qQ [zA/KXxCU4#0Ei |Lɑ½T\lU`X0}`"a~("x;7;ŵbdNNք7^s?%ov@#K;f={^YEl.9!?6'EP3CzAUH$&(X(/ji3긍{\T2sYeoa:_W88 Ywi\Jfr3ҘLm9%;|i# .W*ok &*a^ÁEdSf㔐7U2ٙU( R\%AvpB2Np2VkŘ=^>ݽA9gU"D'(THqѹG0!=.=g(k>z9'on.s8%ICYi+7T£@Լ\fm:'z]autvV@iȰϹIZG !c m DGģKREGhI'1?H=1XH؈Mm5`gxS N6mdA=!#+9^grXr([GMlqKm}}yODeS!_d>TlWnW+Xl& (D^ An&ErWKJC|j;w$zuf:%θ~0 a 3lI߷gasQ#s iτ:-(K1"RF/ ?Y.4lŎ:zhIez쥹$8*Ԓ^Hr7wC-rT>Ee f@"-.]nњEKFvݫRǢMrM!+ĸ'4yt4(Ǘhp8>Ԋa{ͱȴ|\@6NchQbsD~!s*ZAT0ޓDqж)4V3&?@` N] 2)٠w rS1 .5/OHuUG˗y ߌۜN=! &uY.Ҷ ~夼cSa6%f96`[:4̒+ӎ}K/t5ׄOG7H kF~&#Kn寄ϒ` B!nt Tɝo4}'ʗeR* r)RQDrO'>ԾiTJsǒ.dS Rw\m??ij#A u{S;mV,]a\:^T'PeGSuxu`܃Q<ص,QRn˔yOX ,FOZ0op"ʠ2Ü2pь 9'wU5>|[-"%_!ZGȂRHrt ÈTi.c>r_m/#>@꺐8Sg'EbKg}g5x4ȵh7EbjFFY?v*L4qpZq;^菙O(|0;Uvx=HxB:>V%DxFhY~0'G]'kY n]Quݟ>[% %zݬG l%m0v PC8!0Z4A7od~ȪB^kIh;t /m_ 7$6R$ww7t5"Sb,Pڭ )e(4Q5+&e ՞bY#ա2rG[Dg LĠ&QC 6Zⶅfl&>]]NX4!݁? 49vC&si&t 8#lPf sŏ+MFv"B1y+hGVvf37a mmv-@wi3C{q|׳XW/}|{v$=;AyU"9ߗu>G8cOcH}0%jwI:…SbԉZ@֯0n8Sz%t_ T,/&շsuRsLrUmΤ)MggaypNb{y7+@/+H!Nl\!d=Ek !nOOWT>] }_HY38؟x?CiZ~fh~tJkyg{"5,Iyݓ(Yɛq+  PJЁWdJ cl0x/yGӏ62. cn;i˹Id4@, ;pi4jz]HѬx~NԶmhQfWOWsxaIC{42* S,?[]r|I.&\aoQi}S93CR/PM5xDFnr XĭԈ#A1[]kmuNͼg+2޽ϘO>}{FN<;oQ]~ԏyfa 'Bi euA57F&)L"1 iS03@^s{EA9EroYHwl;yY1s(vC3Q3D5X⯗@b+@.a/k(Y+"4՝Kjb-ykռ_RoXF5fxq`֩}})B32Y% #8"=@ /ldkڨ-WAPZL GLR}ʱgYZ7zXZִF! ]ŗXiɟy>ZrYB(ܓ8ʩi \ثxbe`sB7B5kp0I۩ 4>/Fw>wG&R>Lߩ(}3c#%ZuC#e JXx#>pn7D;q1D}IP-쓡OB \rC3 fR2 SHI3p6ZLu'b8KKeT?[bwqW_ٟB'$ K$䐓Mz=/`W?BF41 ȆJқcs4)R 'e0PMNG2Z2ݩ/&njNj +fKsI|R?VL ٱgYZ7zXZִF! I]ŗXi%92,$=cep_C{A@|#sfP$tJr0 PqffB斞oeBz- {L%dZ}"$4; 2lt2G)6zYw?`&E[0ќUgpRׄh1JcN 5YJivC9)\"Mפ =Z R1u */=-R`Vi/Ȋ`g0xcgS })X,*z-ߌNO4d@(`c/#JrๅLVCL5068AuC<ǘ +2@`)b$̘]ӐIv.bv"ۍ̑Oĵ^ͺR~T|FI"(UBs>yZ Q)9>)dS)rDպaᎿ|BƦ,(-zߍeQON4E-ݾs^wkwq&^hȤ;aWȀd>6"Y$VX q 6ܘm M?y]+$>SIArlf\3%.]#wEPlg$6GƦсM ;,;WUOLLGM+0aaޏ잏OA졠. ]sK2ߥ:gb)]b w `tK=-i-U<9•755]3% dY APP C3`R߼@apJ7Zoa&@b0CqU P^ߒg.c*[Y49 AYCp^P-e N+4uZ>>9X=gVk9~ĻcLiptd"[]Let.ja@ZuZ}\_J:xhT>i 4Q!֞+_t9In=Ly ǡVzq!iBʿKÕ@µ`@g}@[)Z1' (^u*&p)֝pI 'A%_35b X*8G29Wk] afFrp+,%RDܲCRvvun=&| GX(ȔݡRs Y}z]&jc>t u )g[˝uϗ`ޕ͂^i#Ky6.R/5ye? sZ9:ˈ՞eEjucy3"o[y4۲ Svp*(L*:ahp H&ɑ{qe+;r̗Ni1M?N@4B ?VA}sI37*ai"{Ͷ W o+V .9f"٥$79t65 yQ L!&}Y$ ?tXa꩖w_Wu|L h_g&7 `l9àIe;dȃ.|mW-CCGE]Ad4f@;R%T95#X8Ǡ0<0\CG-Dn$< IQZ8դ &NJ?ǧ*?}+VhRO,|Z e3gCO_K9 GE~O٦i=T@2NNQsF! J"6Kpq⻤ B>ɻ=yX bj5+(j@AMlL$M:{7w2Y]$.!RosG<$}%4HλF&9/(w֒RfN+,S2BB*q=r\mu /g4tScRy4H0XWi"ȰW1 QQ`thKYc,Ibe0*RZE4hA_a[ypp8ЀG$pwSTfǍInuHjxG,FA  ?hs?O5YXvUϸܟBĜ8so{^멷,Sct,@?Cʄ)`0$AzP:.aɺYYΜ$Fz==kFxmicyAtUٳ7N 7D!p|o6S8[1:0!5E21T*R{KZ[ jB&d"Ia AdGfd:/حP2-qYWut6K xKuVd{YqO\=/C/1UaMisP).zffHW61zMݹt^yKTcߒ-lA&8/j%ɖΜ/ Sȥ]lSAB5۾hOs.਩Wm ˮn]I,Zry"~Hy8qL{4*O>!XPvz?Fd@ D*N%W|3oa6(FI#י+'l#~z3t8r<ρ(ѻկX?CN )"}@3"Α-#3 +8RN"YcT2CI&iw".쎫=Z#<##Qna]0YG9$9IVΊeM s|=|rRs=cx`+8'tT{Q!f^`lr꼾ӭβUJ6l \#ss\(Ǟ" tgS0LAS>l-nmȓw"YWqa5Y7fw[/W"B %Ec5%s8sQybY|NaEȻu'MaZ@ەfC[:-l W 'iKc~QTk!LG:G $κI$`Z Qo:y!)B5.FEU:j\\ѷ|q0C>h `^j젧#k T#KPPР fcܧ4z 6+ct`f)LE,a8+'bLD~7.rkg#*ONѳc":c7 ,`:cU3yYtkesE6 s–r+2< @4IJpg?}QG))&;KyS:(r<P;SLέl AخUINg _ Eh+ knc{*a/Lk[H|YS.ekDD{pV|qeGXØDz 6L+H%):2Q%2Vb]&.dx~P3‘1;@+d1y˫ccY·!5. Έ/> ZieucNBUSl1YVȚMb@Ɓ#t/ցpgbW4]ދ6؄O~5pY@}cE6ݫIn1av(4'cMs"j"$ur7OӰ {꽿Vϙ)v>77HL!6rl,<@ZC<6a"[~tD!=Ao09>ozE}љ A% ySFbJM;jPO#ZWé+kN{].RBByE8"qfU+I bs$j>@hCt0t{vUgބf IݻE9ˢ@<`:AI͓F-e%}"*(RAvwet4MzP~+UISN<^,vMKUk{ŮJ0oj0l\t`!= ׊3U2P,8ys 3!hSb7#ˆTgs;^1[= mUm ?'iSnk3uOnyd}/le`TT@v*vUՄ-1` m +GU h76Cd2,8~Fs;f+@\]1E+T27 /׬=,b_VA~9Q}d톻m`-~~ٵ_~,;XWT]s&h$VAO"h’ Ir45G7O^Gd#\X6&v)yLq!]T ؅@s\G, Ǣ>?(h 7v[izrz{v " \ܵT C( ;Sh]R쏊lˑDsnĂ"(i݄CouI | PU  *Y IԠgz[[wtϥ^ u]c}NVFJ8`Xr;dIDx疉dھO i8@a _A$kҨb@5BlTI4*%Ӧ[Hu@ bm. u=t:zQ{;l)o].͙dR@:0A7 ؎,0Sq职\STkr~, "UT*Q)>ɆZ bӔ`N2 2B\ ^7nk# DJ@C-CgX ~jlVM(5a B4C?vuw8h|NiCӽA >{ƧDRL9F9n4~$6-ͧ(j8dAF ,8+٦ ٿۓ̿g.!Wb9}VT?{@|xw=#~̴ pH[~,:g~'f8|% L {Xv9lԕW{~o?yXl!L\`ղʰSEAq δ.j` RLD/[x;%s.nj9!7ՒZpFYijD/E[1 ޅWé3}gHoV;vy֪KtC>`#WU =K-;K&uy16z\T'8v+O$jSW~VaQx"&%FMŴguLV+PXT .@ xHu;6$t}hv}aֽC4V<tuO^}^{D=.ng( jV)3W,ތdiY+Bb~:[+ J$[ˣ57M#P\>"qFJpDZب,&VDS!\g6RUlSPm#s*r^甡ʒOFrK"W9*I2D,jN]QngX{\aU->o )鳃5>ϵmEh#ۙQ8zOǜn{5tX8JMZ?{}dd VcSRC9 4neЄ"(sW5Ba5oM*;JndE<`p8G8{9&cýK.Q߁B3{^O[S̰9h@hqk _xûbGY@?-xp<4t916Mbp;pB*fbעJ  T}[ &L*7RneT e !RwW@KyPv!SG#rF$5\>? Uq"ZTӗE~T" &O/& L@#`g7'PZ DŽQR=d^q7CTl.QQC]Mb~皖+")krG|ڑ*w|r٠Oͪ zrKo=50k: 8@|Mzk0n]KdTTjep6o6 @B9-9e"rm`_\g.S DA4'' LJ.M2:ꗈ[kkehh]0٥ eiuOXE۫_8M^`oΎyyp=g+Lc=YJUxCs&w(h:A.6qAd =sqO5pn3&@ŷ'.1ug}ay.}H^Pge|9YUtlZŖQav|\|2r"b*L-Xń(tT.8VZ8;?.oWC?"dlIy+Y?UHuQБz0߱Mok)/8ތשTX4I:VY⭽@]š&(fWYvjP1p.!ԑʅP!ӬrKi+Mǿ̓·õڶ-HW86+QoJ/d'On6o&nsGAUy7& @7JmG ch7 <= h@2&R#]P GQq~$5\=o=\q =+Y+\^ΐhWl|=L$ JCDX}#f @ ^ |$!^"Ŧj|ܩ ՄB|Q κU$Jڷʢ`rMs,;v2L Esait{FN(4qw;9ZM F)ի@OT^9s84>݆ߥjZ'7[)dZW3KF )Re1Y3v_ڌdi^OxTORLPnD8'X4UU^(:þ{0sLd95IX~(o= $%R@Nق_8{D\L646w^ ̻/4[ 2kd_mD)܏Aʁ {ֺL "+GC-:{;QW/t'odT"c "s]p!o酿+5;/$@ޫ /$)3U %;φs5G r:8r?`Ґ{ԚmrB͘ocwh.⌋C!N91^ ͧV4zu*%W_'y+(>5CnnE(uF]U?>шb?JYa9&:*f- gߝ9 Vw]GJ;FrL"Qo&/sɕYJv+n4Bmޞꞯ3V9Ups|EޠC*#[\I1Q{LUˤ$A\(:VQlbԻ(+ EN,b:8D0c Kx8 =sx_HG~[ ?EW>%e+@w֗ʗv·*i7Bm-=XPN@hꊌF۪:Q흸ҏb,NyS@RXBc-Em;U7kޯ7"fqÊ __*3ݛH ᓶ(魦eHy*/zz:ؤH{[@'ke\ 9Q)ZIfۙMBQ',qU^5 n:G(^dS$"(3ݶr.ջ`%ŘGO|CDIBᰕ GEe_ZM%T|{we6lnI,n=U'M8b2-ᶕEˍSκ6lnj~„RL:i# tJx䵙o_M~`E2!IbKC`(whDtitFLO¦TXو#i,3=q#k`^!y 'rYDs8Ej((`Gx^<`̂r*M֊,e;;NW-JMibp$m:nHF7(w~s;J^,8ܱw ٭]f绷FtLIDIc)Ԟrk y}mRK#odIW4~]> ׇ#:yHņGuc.ŷJz1}%=rϺe>:;)Qx`No `gS1d6y߅ YP8$y(S 7>r=X>>J7{x H7>[J"C.ӳmg-3隃!/)jZ?DRx]xeHaN*2G9-CPc B7} Y>vzE(av+^XйzH&@4"O,mRV?FuMEYBlCex2 7G̯FU/Y3A(ۻx@I)+JG]:i `8Tsv)d^%ass+3BmR h ˴m֟iR 囒k}OzCgͳ\J]Z^jp G'}iFow S\74w-Uǎ5t [Yf|mnƎr0Մ . ajaͬUj-ŨC Q-աqpq>؜'a:a/%Z>ꓪcPQ97x:޳ǁ8Op)-#+X%jМ-Mye`tjBt}n!l`gt<УBbF\W'FMڔz?9;dzB|(p + `ʘL&"^Qd*ŴBlmt2W9mhXkRXUo b$k 6' kk3kz 1J4/2+hJ==,d#seű=8έ1oF@m74po5uۅz5(,Gbs;%) >97qisP!3`-K܋~^6S1Fa)ѺOp Pl־?p]іN**w?`'3rR&کXo^^Ӯ8۟!ûۢ=Ob}N}먆Zd\ R~jH9y̼6r69 "5{=~QEʙnP^oVՊ6m-;7uul<8sSRnEƔ5ɡ:ȏ;JQ9Զ|:]lqI|.j>f?5}Dblo#흙)~>D@97sk|'&h%"_[G;Ml9Aui>UR🋸v`0n:a20 C2tJU-h[!!8#6iRPnsc+|Y*G6ש7/[bd AlMyrNS͹V0g@ANpP[rc:>U6 E lS.Jt+ *x+t.cXv?gڎp3JGItMP ,ޯʘ% }7 f. NY_?fI?q7,չ1-]wZe#'}ʙʠrΣ‹#] [ ;/*k8'*.>^]oVhyGYB`21_sSUi4R8`*6 c9lP30BNw$kS-{T:f?>O {̲\=06([u큮WAdmEet39KŗHp\U2rCQ 0z!.*A祶}t{8wLIKįfm{-R_s{P I'sK 黝 `!{}h¨ނy2րTX*pĭW?dp:䠬k12~'=PȻͫ3UmUg&@moWR NJpzt i_NyYhdv̶~6&ζ̗j`a#yK}Y/`s㖦ѸQ#E|^CNۄ7NX2kE^|'VŹ[yI{`Ω@VWNL>B>}ۏ)ruxoC'ڕ0xǥD 9vVbUp]hH5"aYq&Zu`myaLԟI^52:M^~h9QY_29fqt;sY%y{(r*.KDM 2q慌?Unr 43bw4+P]baT< ?c s:H:}LT^_/ PծJXnT;a&!aU7w9 02ͩ!8~X8prٌ+wU7a;@yǸaKlpW,E%B ܘNA>XAO7ZQCې0žL[d(>gRw3jzLwbK XK]4_5N?x ?h'KտlQlct gP`i ^}:+ءZ!|Ӡߺ§ωU*xI'J4(9z!'d9TTm3*6?`Yj$З7o?82uP֨ܟغ֔J_B߿)I_$5+ 7[fyn-3Xzs,Lc6/4N(*lex ImV;#ekЉU+o ++9NdT;lt;\ewutEQ~_:~ѹjۓ<Τ 0k7r蒕[,.&7 Rcy1 cp rh؃% >2ș|R){ߗbɴNϭkp}`0T&}*aeSa*1ž`xh130zF.8J7Osvb>aת5i.|_i #8_[~6C0i6'ֿ)w4 6|88 q2#?|&r &'iS? xAeǗsCi6BSWLץgX}shY{Q_޽@ѯ}O?Ä:2DzY=/i|+IaQ ֩KCjmhn \6Jd$v`T~U|;/c(Ɣ c [⎂D`C82gd U +<,UЀ{dztRŒoyQ@mwfTZ |K}QufqyqPh8p`,V B8 '^*> J_$iu",#lBh-<7YoV".XߝR]V# ԣ۷]d2#JF C ;ӃOTfSw UHX-]l T ƚ[}=Q<)ȡk dyy^z?47rL4i._Ү05tIQqЋtn*\Cz'_У[ :0m)i2"+^-=hcMTݮ6)aRͻ8ܣ_y#"b+FX:h#]MN{Bs.'v}`[XG!'BZtw<߉I@`2Nroq~  MƤ0N<+kJ}VώxJ X֠ε^lk>c\VZOƖ+H}%S&ۏt>֗tkIl|@"ՇP]&]H=dyuع+O)ìΒⴂ6z:P/:Z]#,!-:;b|Xx*h4 .3L_ p f3a" jL/CQKi׫f>;GK"ٝJH],$~pKDtJJ]ʔnilj{lL!2-NL;~-M0~@g[Jtz\X+hj}YR֓8h*~CѪO;Ox8 ɵ41sCG @`Vu잯e=_ G EWA/L(qҎH=,lf"r }eD,&Hd: MF|s\{CSb. S*'YjΧ"Y!'os{³[*y${h(xw5j!nn"ϟE, kiwAҜcsOĦc癳v5Km]l=*~v.)]F{ jUtgX@: -4%B7{SyD(Sdn=݈:瀄u$ـCǪII2،ڋ6H *YJI,Hg2iQ0C(8@LoEžHRuw2\gXC8Q|jo] VZEEUnVq{Pq ȌܙcI"2LU v% LŎ F|]ǚ4>\Wᚢԛ"zTԳ QcB?ŗ9*Ua׋F)yàIj L@hJ~^IC=wstk%Y` "wsi_};,nl|bz>܃ '? L|rp 1 AhAoč5/7:T,KsP(gs@{ɤu:n^mٮL7l$* gQ7hRUqݥrէ5F2rPx[ @d@ 0Q[ɓw_RYiI s_83?3C`o[B]+6PԹ' 1nbtѴ..XxFEU~4+y+"Xc;sCf}3kmg1:m}"?6O%\jCeX>v-J2wFpe/BbC6hК/Y5mW% lxTm %{zWAގ3uq4$љ6D3ȁI<~s0lU @'|XAƞ$_E4XB~H8 I<` oYzy MmrTlɧXBO_ZHH+s$, )B"Z"٦mFad / А}< ݪ޿.#(RCŜƭL|oŸ4_ώ|x0"~&CC5[sIF -$/<'UR<U%Aà3/9gVա .I5-XQ)(K4ta St\C>"e"dy  i6_z*Y鴭;M sL>XB%Hda["vCcוh UAADD.q( 7%CzpGC YφYQӾ=C!GƱNV,]nrE?g 4 ֥5̺*Q-sej !Hc;^R˩=ԕP d{&rnmZKؠTCڋӜE';z =Og$*WֳLl_DW riiU&*3s+ R >0f1c1AD%%>$72n"qㄨs'?! X{-nStMHAz\$m\cbK^_GY/q]BͻF9~o77!q γ뇁nHg/h,G x6ExCMV2sO KK0dV ;šHޖ 5^$;P!l^#m@ͺmH.%}ָWp{ :-2Cekt* >rx jUClkXxt I&F,/ Rl59S1ÜvJo!0N')KE|X)`бq`){2F,XD[W{tr$ZN:f?w(Ji#@@[+pB:!Hd49 zk/ՋJ<@ Y#5:X~w /bTtLJtwebbxfxipxl ǬF_B{I~fv/&秢}x7Ķ0P*؍(CBZ0"ft|r4hu# Գ l(ߴ /-Տƅ`D(laK. ጃZ&"JLN mӑvhJ`ˁ5 |(Un1DG.ԪD17&lXOoPo܈='0l]kDoD~iS)E&:w b&i~u0?R%(bY>X vu&O^#T}r/=}A^NV}=0?E#B\[sO3Y}%- 5@kFC5;KOd8:_M5.Y{{OӨ2EX>ª /E׍N*(k?椸OI=4V*(C(gh+X-^Z;_"CbH:) xuye0݌ ]8Ge:vۤE-)ypZrw8&ݮM'>2[:OQYǀ^R g֊ηHZpX&#Z;9BF z :UplqVc[vagCz6ȷR3iirڠ3#,D}Xe CLia.!3sIL6R@UMM޾{hZgvzcDqbm| 'uc?;no yhCHq-L͐OOƒlZ'*c~hJ?n޵Sml8Lw!k*!&ZGMtFoMJLGz`/c7vPѵ_Xmxgi%%zaʾ[hHViB6gB3s (+C܄-weA=CװpʍC7".q`reĂ(|=.Nr\bbi]6g %1,Qb,_4k͌ENГ]Px^/Z^)wT~lTtQDPHTZ24c֠MlW4=.-;ȡMSTEeW?J ܌bl\-<3J+lB["e͇W5)bSiOV3t.5 CC@! ϝƭtٲBq39t։W#n/P@w%^WZ\/ӚKئԟqD@)9֗l%YwTAЌuig_bI4b3"ÏR-ݭ]u '5a!ܪפB„ew#6lGj( A:c Eo;{|myac"7$B_"mǖTB7]\JO&Q8U/WBKP^dʐ8،[@S,@΄G*Vֶ2xFo_ 58rF)>má ,X8ZWYWun)0Cd&;*~rGAhWM͏ A-FۻL4wjv]!ܧkm ~mĈbcpof9..H!ei0NzVzhM" k@FH`w cHE.-fDUeo2[MB壕D1 YN}<˜SKͥvaNQ8 qۭ]zIh )6!hs8a_j!b0aѽhu  ]2 ɬG$Lx5R$];SG7"~a0UzVJ/M&Q8e(ξ_$? ]DB.xh:]Fwkn<Q=2n~oSzDuXLEZ/TUvpj gN2^tCYtC!Zƙ֊[:ʮVK\FGGܤ{כ=^ @SH۟ f9 :H󎹁s:U*bm_I<%j6\"aPr3U㗙 \ %~nTf,MN@":e4И[Xr]Sw"UkBGh~qvt]u]%D+&Zz 3㓎/Ԋ6"^,`G1c}T@-NpO/;Ԍ?jskз>5U.t!N0O(dl/#hNDyz< ;Z>dIeHZ-OR?fd7'7, 90 $| qCYGz;Y&`Vp*1Xv%d+N"M&聵vPw Y'%K^f=<|{tl9*Ńu*npd# H} y`z#۴+q) irK9$1 Q_XpRZ|inK"삇gmۃP=x.]YNFko_gB eFP&-Uo`QC6(=ų]cER:yiip E @*߇o^g62d;>c:kNZfʖا(ʸvi &eT/iWz%=`gI}>  ~뀫c,idO0\&Yņ!9= oQQ15.JZY)Ǝ(54`n,cuJ:?Gz@RxȷF/Ց#F'SEo[rd&k%|PC #& (wU6~9,gKIS̩Mb:tY$ 6Csa/I<\٩GI##+Eq_ВFk@ױϺ=_0a0&dA"es&(9^kL Wi(q"$_MaiyS[51(?LsD[*_/xZN]+ 72Rlb57$YR27zF9gV.ܧSlh/~GLr#-Bɥ2P q ~Г5o mӃqV)ƒ> ͤdل%h+{|6UPR(1)UWq87é1Dy!݇r沩iMtry"3Nl0ЅXR(p+ord3 5\E\8DO> Й'H;n o{m0>hNuu -<8k~ECUu [Nv}c c?kjoǬ^{"k0ƒUkUA)DjSơbPW"(ULȟ+Ϡ;=:G~d0 YVgX_joP'S!5$eeTiL *@SˠRԁ4DZEʖ@_9pl#< XTV쉹Jݮ Vgjq`[~ ѽWJbyrXVDj/C#ܤļk3εF-7Ά0hgE.ݦɧ&$bMrvGH ܿwhsuy,N9e˜.UJ*kׁJn3DR;7̷dW¢hR9,)'d00,` fsͫXwYt6x7'N!<.F"h":78ǧN|uciad# /jrfx<]n[| gaRh[m>t]wIAX\uW~q0pUp`m׋w<|0<~kH>4̌jv9ty&@d@KT ~՘ /rtEoŹE'x" 8UEᾹCI[C̃Π:C75:eB{X=GF[JstT5:_.}ֻ EsDzE)aVmwI8J0 ?pE=-wYa?R:%51$Æ;KLy4eiiDזx09G˿Ĭ[Mz}@LF E/&qX@)}7GG4^gU᎙ ?ީAKݰ tcpj2Po8'FJb ivQJ$TX]hPܡxJ( n 1 謪jo؎>ohd{mڶu ׊Ų6R\"o h۞OYCP&O Xѵ@Uh\W>U@8kX\Ƿ*[P',8kU}WI+*[Нt i@RA]ԠcBƌOT pvO7qq5i ѓZG]8>so~*l-:Jrޗo3fw4J^AZxLt$q8Cjچj n GR2T뮁;-!}yBT̻ M{?AwK+G.},AzZ~"ƙ3f\PLBk3 Q 6BT*@E;Ut޶J{xD//ɯsPq)ġ܎z=)_)C9{rso>7d"K#gN.PG>rM6oW1>g(fgck 1F[=~ &-)=fp7G:V}(shZ}u" #5$rQg]gg #-@kV ;t00:0z*Z}p i9xIfP$ӳ^ R'.Lut` dKPyY,,7H<;Ck"{^ގL$i ߳f%r<T,shsq]+ѝc*Nt 4|:HȪG>&W/SR0ܸ~*K8M-ArEơ sT[&U !{\f\Hf.OZà yv(A `oг}#_`s=<29(8'eeNd~o Fڟm#?Mrv EL0ED)-`V\Wo1tؼ#R- _*QKL(nS@ꜻ GG$0MH2;@Lk,e!pfŽYQl Y6}pGR=*'xcP,4Pi=&:} NUOO*#؆7]kN`wBBqfB;߄]t;r \H)^Z}]SG㱋`6;VW" 7# {,>([ ʝR 7 PIOhd!&Y 8b[dI$lTc[1$#S']UQm뛣5f'(^]|tIǏ \oo9L-+Wl`tw/ső16[}XL )ȠIwk5eJ+k=v#"@IRg!rL$wԿ xYy|E#cМH*Ew b R!T,Zt|Q5 "pmzs *knb@XW=\QOݯ cFZ6:z b!;,P"A y]xTl}|~5P._[xx%GD/>Զ@ }7yX0cGo|=5aectƓ'(3}..%m߆\}=x:@rP6z *1"xRWt⌛yϡ-s̻&43/K,7u e>UE2I$m3 d\*fs V3[0=k(A~w㇙!ͺAM;Tk䓈Jg>S|\bۜ qPvGRx3"A>2$I.SH/QٍcLuI~|`S_+U^,(Z~QC_dě&CFMzҡ6q sPk~kL[@}b[%t582}+7J)o+'ך).މuR> H͂!/,`+o?!1 ց[ 1LO 9*a`4*t(tԇp(Z#-x;6]O?#;R&,lDVIiQn~Mkg֔\cчi}VNoʩ/"oLㅢn2Qu߱g$Ra?>cuBO0_joƆ QՑmAouO1ka@K4|,  j Nr@4 Ѻ8H<߂pnn/<%8OtkbzY3|+qlkֲ_̚*ѰTgv;iDm;\YM0ץ r> n>$ M:~Ga*nfV?~z1e nQ'a,-MĘ_˒yu6Yܹ(e/(sj}c3Q{5BaŃ QbJkNՇ "/ 6Oja)w>GkC`⬢  r fN_Kі=L#yj{1T\T Ws V3$G/?sjd?&\Gd󸰘?snN}m^5NlȢS"lc0GQ1.j^*b02Tqk7sȒZ9t#͡ p~n`Lе ɬ2}h9/ҎnhsAyUVO*j ]+bыJ~nyWD ?>eu$#+S{޳ADoSe>=2i8+ÒQ3Mוɏ>d-P?ofDe |Ta٧WHڽ Er?'s[ﳻ;EQkP#4058[akQGZ⠾5|L{#V'~V}U~m&gxɒepG+I>>?5I~ҼpOV`|4T!%MfR( =@qA)~,;A=cSqARE6)c[Q`2=~F`ͬ*E1oѦ"֌ޑ5b|\ U%^ AϮ5wWجu{ب.&ę(]/A^M@b#SdP(ű0K_6ba~L8OS_+plRqМIEw=-)svKÎ $\7f% *YdqG*JcWA8TC+q( *_熂MmSHPhxLXqeF;׾֝H\mJ!;S\>]ԡLuTR9\_\gV!n\+7ݧ y_-Pi`5YAWvd9sW"P״'3uuŶ5|^{JƧ| OGHkg%9KOF`sM9ݱ 4/z?&\G/BqT`Nϩהo:ؗt;%d>]ӲF{BdLy ,Qĸю.:ULru+/DN$^+ W"k YI~=y2:+hpVBiUy{M49.W3rgڦ楬sO!4mRcq[N92۶vXb&۩#чz:04Os?sJA8?#VIrʄ$Ǘ.nrUx*U+2n.ju)h9CּsnƲl ӾJ=bf=CcaR bIdMh`OPQ~ٖ23_ZYzt•Aj8&fL0)Œ&$L(/`G,LZe~Ҳ'sEQ%nX>/:T=%zp~xi`j1į҂.|(Lp,.܅kނBQ?x )Hxjlȩڛ9 V#}ynɚ9]t5%2S3 䕀W&]({c -XOuS&RuyYmu]GS wQ,5C}Ղ 3Ḿ^r`JevFf`g,O2 h2!g=j?=GOҼ l ,^T1Kd}byĜXӸx;ɰ!& hɘ\ʏ TBћQ\cĐ?o^eGI\Эj*r'2o#vͷD>ܫ 5yo>'^Y%Zсw+6sI EM'ju ۾: •(CTwgk@߳b:w۵cBwmc.0<3 ; ~$FO^-&yyLQsmrAw$U<>-hqHR9s:{Q`t+^N&b'&r[Ww0@U^1+P6A'v+\;o?{,eqŒF r(¯߈Z4upO~y  Ju(i|A'xp KH}nXl:=ce?}@gp`G} dl{AC :rP`rdd|[jݢڍM;MU\-B[[}*ZwgNxWH/ KB#TR\|tKh0{2*Msp\|ZRM>º蠪;{PcCp4)w7W߷i,\1ЍTUϑnoq6 tr-nS.f= L] "!?bO<_aū sOh_;C#9exO$ zI "TBz`g%| E?+tX0/xg*={)[hOX8T }3TjjCqA<,sl4Z^q,2AyMXd7~c(!︯ ÃVKn RE+Rv)Z_aw1t``$;,XQspc?RLb D`<:8Hאg; -~BJĘ0Ay;QBfe<wgO'@+QJfEo}{37@`m|0ߜJG+j)Oe!#{L rp`2~$[DCy"DUOpj&t<+?N)qfuխO'0P^P1UfRVnz{d>as'^͉yK;ȿwcZXBŸ?/37|aᖴdߑ U*'0"`԰ehNO#B_&flOMeaqhBѡlѝHChtZO W JY|gjK~Zg=0,jm`V =-E7BLLhk#0bSyPMPl%8H.e<04pJz:䆪a #`n 5`تKtMK:hW  6:@1Yw: T.PCPI¤?AپcbBJvj7yǾyxt8 W5ٜy)7֑sT%/zeHoQC4w92*Xd\eŕ24&cw7axsŞDMv;#YA᠗&gɃCfBs>ʗaQϷlvjՖ8R!-0y۵ًWҀ sƄqGenFzHTK;S!FD 33'hJ(v)wkhAe#fc]r>[$7dA :Ean\t#mF)9bnTbdAB"U+x@E`O]:p1TcqM_ޙ]E6[:d tMؽ0}XTwkXB/)gzsmd*B6=~i^fecb a |slP@eƼɤFdۇ-L7;T(G2ٓSA嬬5d> *Trke_%PTr|ɏ1ՉPf+2?{е㇋crv:b~QUЙdE}]0]o^¿5\”Ѵ0ԯK}#XK(8YTR#n[&mX4!U^ sK7<Oj\te d8/88Γؽ1% S08l"=>/-UpLCEcķ>%xBAO'{f~PD$RtSF '=0ywG&U>f4SC}?-|t.ؾYp)1̕;f+&t$+4{uQ'QU9l5A`bun5I( Ϟt#9,o6 i ѡ.6L ^o'`vCI8?Kɓ:gZoeO 9*c}FVm[*Br'\>c݈c~JBخsh W{iI)j*9oPl Bܓ91 bܟmMfRN HXFi'ǛN\PȎ۱ciU ܴ򠭀nUY]Ao.2S,y2KڣH"xa4ZIzE$R7bfH}'ğ-KDq30kmvɦd]66CWy1ō qR<7q$}Gu/bgbQ ?]4'~7k9<aR"w^zIoaW7s ʉLc,ʼnFmȾk=by3RT^7B1& VF*2< ".;6)kQހ}u$H.Gj[MMo`4^wM9uTM/NIG%+%`wKxv^Н0H]YG43Ƣ$80=ccUtw1:vEf)(cOpT1tNV5,>6DtpE:o8NwK 2ݜ u `RRH8൩ )=͌鿖E@*EQo;H9C5LRÕ^10µ>XQ=np8Ld Z:ְ<,3uOqK[ bs/}|v)/?wIJ!/){A?B慐ȽLHJN.q~[gv[x5tp1a,\8&ŋؗf^ی_2 i媠yOS`@y(/kŏ94oA Nڴi7 u˜O)Ok`BAEՂn~,)F%xw+'wjk{Ule~i(:s8I,/nnC$hꕊ?JeGl=/~oC bIcP~##9vަ瞙n "b;+DqKѳ~)=j}&dB@_}edv^aޟeĶ8HrL軝1f3io\Ӄ؆K?,$5&[uuefy@ G%i+qRZL~19"b*R>K=xF$a eƊzfm4RZZf'oAaPçKي }c2aS\G1WΘ0/:Z.~JP'Ux؏62MƋQaL0ҷC  fbDMbzvҼܓSE7О/@U$l]KEjZw; ϱhQdɺ67w5mؓ40N'bE(qfɰv+_өuיwyBȜ>6Wog]d>uŝ2.x7|@6 #>U%]oE6qf_.4)π*D+Q Ƈ"(a"G\$RwEe~<"Y2pX]Dysq4=Ғw@cU..>ZxT+ 5fmUOҟ}Vq(_!heAjup/cGM#Qy }2)>O 9;+x6LY5gV&.9KcVMFU:7 {5XAZ1Kt<'%@(PM]&hB)֍]2H3=^w_[1!Vzk[k=L& 9|وGTӚR>Ȱ cYM OFHFc:ɋ^U&7iĺj -\f>(5k e #c?V Xv-rKKhnTWuŽ|bQH}aGl2ZU}3_\@˓aϼ" #60[rU<ڮP{jVN_C̆d~G?*HlB-?I)(q4OCrgYOP^4n ْې4c88W;Ti*֧< zKt gܗlگ=zUCi -%>(Eg %p7H1F}eB5o~. J%VbaJ,1FX-FGTUI:1XEq.k+uO!:t~0&MLxS@.B2VTc<*dJ{UkC%7vQв%!F0R>0e-ǀvXT>t{48q=Z~ V؆M3Vc{uLˇ^Ov-1 mJ !RfHdL1{KCl D-"}48X nyY@|mw,xA6w1Ud}hǵ91A3O$#1ax\ 4ɎIq5G<E1uTIKsED5590VitEv@1XhZ b6^ˁ3wAE_#ě?5[6;RP~CZ0t1$Z]9t!oo(NCT_vʿ u.`,.qr]IISKC-٩dICiH0\.އMIUNb^dH)K/rd'S d*YokRnɵ"Feޱz|}aOj5H}؎{d'L!A9w9+3ބ&ږrc ՌS )7wto@@>"Qb'erQh2b~کpMQɗn,l%A ݈½eUOhiUw-;.mA):;}UY`OIsF%46OJ%Jo U(w VU v6:|<ښ@XL. q1#qm8D k. $X3&63oe3ܞ1;M(TxYf #[8QsBޕX eG+*j{KAy6/R.݄uri¼)"V*xN a^=I UKgvfTc xiNϏܿN驯,7˺"Y$o qEu=D 5?2^s=ʾWazr% ,TÍ>=?ͳyc"hWWҼKpOwEUؐ4bP~}kaGWvי8Jss)pz桠3_2V -Uv9]j>Jkց<#P[^m"[Tʉ*g*4VIl#,nfg4[6vx&3#JEU9C7zo'i| :p'Fcr{1RJ7e>T L2󞟩a͓by%&X˩< ܪP.M.HIA Uao&Ej %ZIEsvn2VIubcʉroԚOK^SDgA +Vc) \,^Vlz724V ްs~ag9FkzivI~IQf)+.8&- GwLA@rH,y6X/cz}@.< ſsQu ^9YK`sQl.-cݥtjXa?R?fNJK=!)?m ')HFheIȑ 'v V?TSٝR{Q[bvU ~Eϭ_XyQdXoYs,͜ݧ4/ pqгJ~k-+W`3v 2GJj#_:DcͣejF1m9g~7S4YL~F3MŽs`2A]'NM$OSn8 :JKhDdVcw r4@OX Qv3DVځ2@%s"YOmnrU}?]lsms/^؈l$i_筨s2-{$^ЖئŐEv+DA9kqnTkeuxq* uKI|f6ĵHwxߋ]7jTAx/\% ^])rXv\_}ϼRPkX<Q)ޓϦQI=$kի:uU4ӳD>B{\whCy_1>CېD /$/Z0[%s)b()TabA.̎BJ|;|^(pA{ѧunA wTxP(f{d-Y&FG/%(i\;|JYVl'eJ7_o܀T\4US.Yvk 䚎VWP 7v[{Ye/7^Um%Z3mm?yҾcL&D7Rb/K4JmvU:[{ `i2Uq+/hZ/2XA 0}Hd$`1@zwJ66qGjԜ&b), u:.(# b1~VF% Ii@-UugSJҟM6_HCm 'RlV,n-)3;QI8 .>MXwV [VDOKՒF 7+:0p>k;ՍbZ^JC %}s}b;qR&mG \Vـ͑VDMPF=^# H'ǑS)щnZ ٿmf;4 hOk=xv v z$7A]79v%+--ݘNya}[1m1؝%!UbQ#L͜' }, Txqs2"->01_Y+^JWӱC+m0>OGAdѱgYZ4bced9a5b32414aa09607861365e069a2c602c1efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740874cdfdb1f62b7423d0a7a1d6ba3a7b50b322930