SQLite format 3@ 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   -#\4 S]Collections:threads=2elapsed=363.049cpu=630.252gc=45.560factor=1.747zXZִF! Xr&]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,z 4G۪5PxXlh # CollectionsL =r䬣u(:2&'#f~͵86 tt镖w J35-#1f/Ɵnr4XCC~7ҟ81U]-߶iսZ̳}f0CE3'5m(C^?y9.2Q~b&4? !t7Cчq~(.v f!憑 ~1w‹|_rttoJesv9W&1Xk`58F-9h>f !|U9֣^ODfі^**=pf3Ө75D^W,כčU)g%>F:yJp4u< {<ԅ \DkyO3lx?H3ltj!: Fĩ"a?RCqy+"fE;G^ds=\#`EljG2J{o,h?öHќ(d| 3SZ abp}޲z$S+c`/p<6UN4ē,7b5L VTRDS0eD|vSbjtk:z~ h^xMuCL2iTK=}H^jX=jW/t+8:5RׯS)?5Y(VR11] J]$~8Bf֦ [ hM+yB5Tգ|kN5&1#"uzz9h>VC-@Y4OXL~[hђH̢ʚuHݏa11ͭ{OHX(3/9m9Jia|7<-BF\;呲N_ӊ֑7]c9<+47̼ ګd2sՌ}gPr)Dt?w^? &8zL9iLC䤲W@ /x_ޭvA(a;GG3)L,QfJ +% l?;0v w%`~WUo\o [ 泺_˛=׹ȋ? xN`၆{J)h? U_r,Vpja.$q0sضϨjKSZ}/5F71X@V%@Dts_U0R;O gC EjO~kK(֟;=je+4fƻڤ\H\&. G.~WK}boɧ)ŒoXhj:o|+=V_( \ 3/b;% ]- UN ~KlxAGr!#v:h Cõq Dms\[qi4>W!v@=2 9[G :W4O.q*2?TB OkpgrCKM BzNv60p2:SFL嬢;_r^_$H  Y$~L9F_gAoWԩPb %Őg[dka7$T. 6H5c-!&2nvZ᫖tŲ \/HGuBhAukLGAN!` ~epp]4au!\LtWkަk,`$.Y=QgkQEʹE \)U5 $34mگ#n#Z@T wx:G[{ާs-J^gu,>m$Mۧ|0vǭ1nۖGvRڳƪ>.XGc^9|A"쮹~Ɨ/ky%u̫6)U+l6Cd@ %unR\UBvXU8fHuW:eNT le%No&xeLjK~D.Kթj h"ʍ"C qfثGt"90\3ֺ\eRjs*)YLI d:e{߈z5.h-9Cl6dTuPp/s#vރ㪰i9f׊eϠeiE|tG0G H}PgÏqMrޟ`Rj5 6U"k:*̬^ɧɳAlD鷐 _PpL KFr5YHn ~Vn+yg"[qwj(6x-j<#ajʥƐp2O?sAԮ6 @b33 {[fU?)jYI!1'Yk 0\.CX5%F>r_^o%I'av`#!=P33dF zgX]R,u-6 DITĥڿo*=fpm_z*PoͨtsI1stS`;U /ٽi긼kik<$.e!M%(@'ꬢ0z+fKlY'lAu1 AE IN?*i6Cg<1XZ>Tm?:3QyK"kO@SO-GQW WH+u ++zBe_NhyqTZD1W+=QlہʹRPa,S2=TV8E~ gtɪǯqoPch)vFCS5M7.DR0 tzʣ ˟j$~|SֈF|B mxj\v;4Nj]6"/1ny?o Qg;@ߠEGy7FRexxm~"-j)=Ծ77HS!PEE6^fQYZMbeIqP>ñOzOr[`co-A9%=7kf`SF/ xIX4-vjݻ`AQIa¦-Tb|Mö %A&0֤|3.N)#R;"pelu_8uٔsAzC/p 67I@ Wz?^͓KoYzBkS*+lٛF'nHfH:]=%NQ- 91(qW `v1_ơ6v.i(<.6gA&=ЀTx0s(陨T{Hg!{hjKک @e  |wBhCsPpY!OyR勫:oC*n7vA?7En5v6uW[\5/B\˙A$`P P a=cF\AoFezХ#w<tIZ2p ^t&zw'D.Xt=JFy[kIDOꡂ4*@nP5A* u_a5>iHR' 𕼇ʓ:OOqA+{7"(h}ml 3.FYq *c{j c0fFj.[/U8BdH$(EB[qxf^`-Dd ϓasQ$]흻W,+,dj5Ժ_n oW&W v8xn%[z{> ~Wjӳa]E Β Y 9jk䤕N>?ːSjazkM v2|VTkNlȻ\z im1ذCi\ \kq5}2g·K +rwnFLwŭ`F&rև!"sv=Us[auoGI]&{OT,β]inuZK1G;;j>yNd%ČN]L_HA1HN9'I|hdJkKK⇢]wU`KܗDVVu;֢pB:3:V`'r¾']sraRhmZh kdn}]TLlR:mm|hm\)I/9VM3BZx_\q}v&Jʊu>y|o_pVKe9wݵ,9F ELa[g|ϘbSTdV(Q,<>:jQciTcn^vMГZ7ʂluAPϊp V6)w~ﹸh?ϴBϓE0Aey4I>~.A'XF@C7 *LsA(@ߛi[!K;&߼<ڮ8I NQ v*3dY7e* XbJ,41hJ߫hx}ak0.cr?23 Y{Pk%צ%6p- qUn|`y6mNn'Z\1f5Kp7rhebE*Ay0YϥT1:>AҢ? Xv%{zM%1MG0hpxqf9KVV0KEYџʜ6 嫯+rp0`6ƁFjixv\S[$SiVLZ(;#Q\xt!~hIUt(ũD҈Z7jucqsp3 ʿCv]0{2'Q)QLb-Zl@aښ9(ƌ0Q\21ЗkfV-m䢸<,0= Hbڞɿo8w52&̭y^K+q8iʣsOy&>TUHAw)3qa>P _6j?`E?=Z[Vfd,_pڭmB^2bQIo6=Yj3&ۜE!p)s,j@=gTB=jnrV `t69%I9<Ϛ嚵\gJJ% ·9#(I*~*p6m>qޣ\ukj!df=̣ݏ6~#y- )~\{6V;O>7kW97~|=㒅Cz8ix QoItexa2tX*T4:E%+ Vqۦ"پB\5jnhaZi;qkXVzYh$OU"u곘.GvbENR(Md^!?k[?Ǐ p)?az<2XQ11^,oV&I;HqT ϕLm]a5F#dRck-y;[KL 5ZLC~l@&s~vg*Y|,!Mhl.u(FD/{J/=R(x7s#nZtvd0J\$C5zɴ 3 MmV4I|egD|"2ԤyW0 P:٤*SLD}&--A{dCp_;:_cAD'RWA^@,DιPt%fF&3H[w|/{_Ԕk"5#g ː46ͬmMzODXgNc"i̕S&>0')Bꀪ-͑m!^BB-Zg_}\=L.`'O* *eo"3OcO\c#!1umnjNaٱa67͍Hx&"_wd ǽcTD<>TtL!E04/ڪ)7$5,ZuDO2Uxqҭu5 1V 0ķ>΃Bfk3w1^@UϾbp[RĄ pcxChd;Rֿn {νGd9g=88ĸtqOVPXMv(Sғ8΍ T9 S$.A^zhD~޲V.Ug#J`/F|0zRu,ҭ۝F(@EslEy1F!j꣌#۽36NT=D2J94Y3'cu2$J0`7NQ(Mέ!sS`F L24_ZHbC9ps[yZ{%<{iǿB3LhDv W6|1d^7ea[&iAC.?:Vzًz5qU4p]e1.+I1y:הh SFU 8A1|A{~Z6۔:>.}݈;:SS̆FАr ٿš=X)I`4AXu{m`i/\k9$:MKp($޹Nǣsu+$V!ELzw}Q贌r*`Z|n#*1kjaKV3p0YOftlt~ըPlC}O}$ Op1M!(xy}I{^:9ҰӐn܎O73º옩b#QgPkPrNLz¬%(PyP-мB,@g3b[ L=nퟙԚ SI>} ZK2"o"d ^꺷n|g|xfEv7&?/֒~H.P9Ky}u86=d(E”F?6BZHSu5ع7&NS؃fj+WBBmk/e}ᓣB]0  zLF၎k^)ܒ,[XܨÄ͋ڰiBhBh{ ܫKӸOKRcB,zUm4Ţ OV_rf4-y[È)֛`aЄQDWBIw2H8LrR zy;kKGMي$nYcCTүtcSnG]$/{޼;Csv-8-A"6If9%DK79oGۄC]ǥe ЉN04\10@ C«F¢dJKzԢ9ޓJD/] 4(P-.H  NbP-֠[@-+us+ց(¢ }wxZUX>ws4<[`Fnͽ[5ujia[st*@aeH !X|bLC0On:}><-PoLpNRz{lתqTL`˘׆+!e,܎8ጎ-yl>(?jZZ(Au5 b@5"uiYK++OzsgDDE1 Ӷ̧Ѐ5w>yrhr;)RYg5 tnX$a5]&y 6MWSToUb2n@GkBD~ "t>iw?>`2vɃwK~9}<.ĈWVg >lm)QQ/6Cس̭S#3w6EAzZ&ud6qXetnjN'*5:/R@{=N迳[݋'oeQI1U2O Ʊ{Xnd I!7rR7uikk %0Y䛠vN?Ղ8UV/gl >4j׋3~04%0n>;AWix7d B?\1p1oYh7G kelv-vK\ M?Q訏`]-'05 \h]>ua&&odcv=7!}իVpec; ƿF(TE9a)?)hwsH;1g[7OZvV-/Z\Gv2_^g5>1.@U=ս†X>Ja@Q3`l:K9r<&zp?DVKLSYzOX+G~*H(56cG LZ:qC܏T] D b hyʇK6M"[af9s7vE>Dnzj^M瀰~׾ ō,_;}YxAvR4T[GTQ.&#r Жv+pO֨ig\ð&,?`MLD_?/UfD{JB~AĻ~7OҠ 0_֐'S}g圝Sm %-/]CZ1`) vLv Jl)e\5ޥ$k5p`ɰU؎P r_8e+* >G R'2bne9Hx9\`{oԎSieC+'rzg GjD0]>TrAĢo"h9>de|ޗ!O~9dFmG-a܍ ԖągD wpU?tpz=J#+cQv.9m<Kl˦J!As`U҂~x+ۆn#v>KpqOűvrkwey–JVTVkۍ{ D(7(2-߲Rh{˺|#Kʠ1fLrHjcjS9sg@vLVf2J^HR;Cm 1M"+Q qDO"G%2#`==#҄E)?upOaYGI>G N=v$B|{!ȞoJ:{B[_MI=O?*8'à`,~Vȑu"wB؎L29ƥϛ?nEq/`󨛾í!v6YhDiX%qE5?|<3Oh22ateg~ #i1+O bLGuX7Adrh~`%Ӵxi ()x-2O+EJ KY,##HmnupG2!Ck`= E1 (ѓ%WtYdDGڳL{ -n 4DUڌfEK*?Xp6Yf\eBU2iA"pҳ6P=c*0N4`/{j͍˵hlwj_m>z24zԢ,3!'ZQ_n{H\$2߯}4%ƑA13&`ۅvf0;Z qW*WxQgR2M \ѻ?TѤѩJ"'~BAm`rg[D!i9":{ Fϫ?'f3#8;1NT]?}gO*I9.C7`~4V`ڙL|;~!)ՇV;W̱%k`*?cA%HI8`OA"1ah84,t.rtpCzﬗ697J9. ' Ewm^bjwL[NWgcuw.RxWߠiW :Z5w;;k.IhָSϼBwd5]ch\W'0:.(̰P;E}٥šZ]"k| D ]1B*}MӅLTYԠ/SV?lWI: .ْ"N'PC/G?6dl, t!\KwZCӗ:|?fԋ化E P]"0M/S(0tbCYQE_\o38>'/mɋ9% j,$xJG(Ex~YJ~ƺ@ۼ@Sfcc4qh1OS Tt2{/; o%47K$Ki+7uT_S9,12.phݼ)|am3Y< ӇsAPR(!Z\e#X[*stĕ$Pce:.Dݱ8PrM~y4%/I`95|pk!'Akm2vD%W[+bPD5i2j:NȫS̎zE,i1i #9i" Y? \@BD/3td|ɰӸ}p(黻<ɃqYy TYZya$B.N8:F,gOg8ݨ7ڐzJ ߙW˳CZ] RчhoQb@VnȠ ̱}=CM|!"4wyjdieޢc"2)gx&.k tx+l,'f/M!lpX[gx{>OMUmIk|k9Y DgPvJvL:=cSNKܭ7@dƛ%̈́ezߴPJtU qhsk>(QtZKѵuCi/Gi Z0LLF@ԉ (z۟Lj01%ߤ¥kAa|"7K.Q+-F  Q@7ǐ0@6wzG$a6x-ˌ-d^&]gUsɝ]/yjd(#sYU\,6u~2>v, d7gN1y f4`-|4W@|*+ƃ5`i OܚIkC➀ѲI@+ߤ3W Z`В>ltz#x+g}-Z7EJnBq|F M I&7g [ 1<:xK]{[kh.{&<˓NY4c/~M8Z`*:Z]lIA9Z6c͇PMћ= zW0&;e:s08BӘ9@iliK7oZo:vy\{+Aג׽Ru}rZE}v7czGج*VJxV]=z5*-U U@7"/]Ot[@t׸-NeѾ aS WCla Z5GϞ +Y 'jh~9=C?9Ϋ;jV ĊRX%M"MxI{?g @]TC'8*&3r?Å;}irza&-j]w34#ïh(tϼRWm\;'wX!Ǯ!Ze&-js=% Y`x>8Jh 0R$M Q*qrLX/rȤd?+k9`Xs9+1`2;Uo8SF綔&O8 ˲SC/B4є[ؽϴXI+.g`)_ldcu1V7ew.,OKѯ-z2EE-a%lyѰDNϻܲU\&Ȫ2E {vEN<|Xiƹ47柅Usꜧ0w Cid?J/`QXμ:KI\> "BME 4-R]LL8C0 ww 1mjY`<90?j|TJ""nsMx/b9(;Cc["ߌQ\KHqKY&4)ѝ=)gF-lEK"-̶*lMz ]|2<)KKŢ}Q1V(w^F&m˻9*Նܒ{+~wt,+ D~F 뼆0}tj|x֛CoY.R: 8c슱٭.) Vi!XzGT4U ._݊|瓞Fl@pa2T)QNls_l UKlAFF"hɁ1Qsq(6)oFt9MeN|ILu%0Oy\@V7w\AVPJQROẇmL?L>,g~҆/il\ u%@05av<n=֤ %1ba25'?{&ۤR_g.ц&F2xI`'^D#ZJ Lw1_Py ʾYu\Ű-@6VI g-[KԄkF!=Q;i}UXL{b螩բܤ*M2>~"2e2F4E- /`*"]˸!ΈjMsQ[{:&'ʔE*K }(M8`r (Ơb9իOi,E򁥉UkPit5(-{9I i= Rd(|k}*O>=e7a!mZDrOFﴥ Ã*Bm*' R:`>aI'Ks!LYb} ~KQpN3CgW- >IPok'?Ź"o'a''zwfyp/*irW&\}0Y~Wʳ%(+`4Ѿ"mh#\nEZ0Ң Ֆ [7@8ț2zǼ沨Da`| w4'rIQ k]"cIMͮ/؆iET hOQUIYP^Npzpwհd,+#3DrgֺَksTAMF2BcAhGWo]la} 6k  H|Oz5 2z&sY&E)<_()=43EDr )'2tvg0epY0b uݪګbxiWpFG(xoڣhx겨ϊ+ -Dd»v] \_tN8GfG(l&Td~pA ':|(UT \>d}1]`@{0Z *;[4j%1w|99(/<皾n U(pT{ja 1V[o&ȶ }!&GN%$1m}ydiws'rlZ|9nL~tYƇtcPVBvֵ*Y45 vr 26 Eq{(;6K=\6ngx)e8ΓP26 .&ǷMt+|i /d ?)^ߴ\dTp>P 3^L//h=>"e>xU9 ,|hs`]0Svna*8Y'ըvT|.LqK2Q_c :ͅط;IG="T+D0ӺܖO7gCs4d8ܢքµ :yq\GRBMHIu ;cˤ˄ߏyӠjNE5Xbk[NUU A"s>3Mmu8ݼyA0=9?Lp CO'謬30Y;3P8rUOs.҂wO%U*T:/5kQDqiQ嘾{n|*fgP/7:ejϷi$|X?ZRRA~;J(tJ-^,qAJ2S.3xf!V^9IoAc,IO~ET=3^B"EMv7p'Q~KŽ3H56KTL3)M^ ֐1c%HݜlCu]=YB\G1 .@ӑ eB/o0DET#t-:2cn_YYGf P? 1_!Yӭj.kS(8nlzg4]j[Nyy9̷֜~{/~!E*'"poM $xEVk<@;P bmZB9Y3j=eERuᰔ%ަQ|2,S+b5(i$w2WL߰hV+.p%YǪovF/UMQ%+/_Oiϩw- Q*0>Y2Hr1:KW E$F_,U6&%\ &n8!5 }a ńFω@[a/YEB0@C܅珫ڥB'rWY}>OmFOʍsr=&y?kJn&K>UjP餘.keJYYMǵZz}#LG@FJ;Ϭ3M+Dig&!M s=S3@%.V1Lov_I$Yýz@ñ0"M]C&jK:rkd׾PI ` @jI' q-zMC{m]J0tav"T2#CvoBvL.]{qV,2VB7肄RY v3H Y%-e;759*c 񄟥x#4B5Ueh6H#~ $s ;LEO,A-4)VnHq-e^N_5͵5KTs8-3G?E DP['by͑N}!G[SA,fC 9l=a*o]7ak):9s7r9zo-ڣ.*i*T @n_dUAssJ*Έ3ZhKh*1 f˷vQs~~F`3U*%uB\ rhז)uFyD DzGRLkfS" 4`%lJ8q@~6e˩ #'Uar4ӽ1.(EJ̴$,ϒ@+L-jS⩘HuWj`W2z&ezŨp(,41=yůul"m= =Z9jE_4=74_3h#߿f2`jeaVHPf"m^Hsh$yu2$18KY)d{W ʊ&7nf.Ҧ'u^Xgpmb5:ecţ,o7Uf9( aY.r^hϘgJZMCS(z߅P_*{uhGȍyPqE^k](ᔾolx@D*Hf&lWl_C%ݦk! fNCOѫCI^^(2I( ]W7l7UyzV{Aс2;c]̡qA'9 o8STrUy)N; DTa^>ސ IXJTUкDZ|fvﯗ'e}Tzie'("Ddgktۿ&wUM.WJu( n-W {~v$ݧO|NᢛGLy4ESg;n$l O#naz>\ =1'bOS'9aganslI;B$RB;sKb*à>*S~UlM".YpNI4% #qx7 Kg`^3D{')YOajSg=d[5ǘץ(N7u'=KE<ݜ+i2/b[*ږ~Hꌼ 0 #yFPmf \"c9~vl?Br$»Xҷi=@<%L 5#^az?GΈQGҐh'YW&}OC AZgي,P_.2|!>aMPžeR*9*>YaikgvrfN fhঌ _A.s/Y?.8{J'-{U'C(VWO򆱦&Vs'AnLj['Qv?Ib?r0Kf`ƮYOhEK_4>6ZSI{d%rtxP%-w<|mzOun]tS*i?YZaqcP zSTmTG4vyyf+I[~~kslmstrFY#ferޯJTn'M\UtE zVҊ 8h+؀&6Ir kxt0dJnX^Xש-P7ggO+ 8wQZ@07Y z)7Y)M}С)vd,M8aHD>cI@5L.[?`!W'nCԈMyak_}".EH+“Hz8u3tRʣql_ь )i\.ޤN$RGdLrSDq7o`(fe d=; <)xiQJ2Fx#M;M-GI[`KRgdGR;*YE*CڳLM%֪54ͽ,&XI)6%??wHM+;D89R'[g ^2f!$YQt@ǰkA*O^sx 4! X}MBnyxtZ@*GPR/.O V$} CEGZ+\腙ϥϐv4Bx_d2~T3B3%.N?x,VВ )tEpױq`y4OC?2zk߆ Mku׍֒ض#BeZ2MuW8CpyN^}SNŒBK?O-?:5 \rWi x恬:?$8r08n3`̟)ڳ~lB#>Z'ǘ BO1q\6U#إ  ~3 ͳȝ0B/AX M_~P!hbfVyf*V01>pBpvSWfh)t@KACf3Ī]v*A}OZ0BK[w.XJ*b|q5-Ss##coF2AnMFwbSo|7pBrrKї]rEKȇ@j.3iC?iu\ԎwU>j^9FE-7_NѫhWص@#Ӗ ]6yK.2% #b32Jٻ?Jf:B5UY]lu F3*6<@E[g |I KQQщ|yiMՙ\Qb*O4]p/^M :[ $D7#It9"5[[B6 RI_USgs[X_oϨ;z`61l'/0ڇXLQ:@hVmty~/kJA.%&%&mQ/rRGܢ~opM]v W.`)v-[3*4/urɊ$3S=Zc1a(Uސ#]?Z0ҮՐ%mwXM¦;I,A A_]Ё|_ZR.kx4 =uK4D)+R ms#/W>Z# ?n ?H ΅Qɵ(ڽWD`/ Ng-&j&^~n7:T![Bs<5A3Fiei@'$ }YP}rl$-1 ٍO"99yShA>rwG/{6-=݈H~^uS;_o!܁A7xmb&U4x26z1G̓FdZ1͗9"ws8%nl6v8ްOC~{yL%"m0^C=BKC|f4O[.Llhc?Hl15w Tt p["Im1^ ;(d,=G芍_`9p7r2»'2E{<]'P*nxx\C=WRm`M%\͘!5; h>&K]a6X ݋g7%/O?I_|gl'n%iMLkĪ^x=ғ 8~y4D=1K-U(ank=zDp&ܸ @>-4#K)ǣ:dA4"Σܔ3 :I8#_jlA^;,,^by /w#!X\moR2N>L ᫡S6nҪ9>-H#~YC$F"7荹 {q}V ^7V=@QIښh%2,ٺW'\!}=JG8>COmfTHbUǔ66*^Ьb/>!]}Hc`RgFLes!44)9B+OCqΓ0NkZG _D[Pǜ1-bo\ V!VWx{-]zfnLe~]/HhkƬ9}d@*sOߐ3ry$a^Tlel[rm6@ϐfb|n\m1 zx*y>bMJ v3mfX^<&a\ r &wxA`RD Bj &_pj9q5t1}]xeGId* J5(@TcjGV۾YRzmF*ϐY^A@3!4yDdlWD-u@RussI">a 2:ydG 0>44:lة!` F,g ETM[lO>@U)dz=9F,? 3$7N*Ig-4Va:, {Ky͐Ǎb+Qe&UM!&d:;Z_* *imiEg%zA͈t6д1wA5{g (O)-+\ Xs L>MQ%X,eahĒ; Zu/$qN$o@x,ο]y Aвt6BU80(BQ@ ~/S}z}r8Lf >4*e0}8Ű 6  JKT ۻժS$}SÚ,G7;vraB3h[I9, rFR|)H8xc3&꠶Ua$5o\dki}|#Yo=>`:t#7~71IYCWCv` ?B/^(m*XE)aZxq\#Md\0E<=RifwOM)K%K13tJt` EėJЅ(/'JQ\ fq ?+mtwT ?Te'Ë}H4KfZU ?` N9*(݄5]Pd;dxzF =i) CTohqܩ WwTܨ=:OlUfaG')nrTPuj x~]:J:XȤkָq9UKEXfCÌDZ8Hul&e*oQh{ZXrKÅ-_FAev؝Fq~M9J&^',|`F-.m?8Uzܾ96C5O@~a=ʀѐ=Hg| ɚ?dtXF<ق`gYZ7zXZִF! 16]ŗXi%BbځosH 0gkFt+-DΤMɌk~-bj _7K6#HhѩA"ǃONV$9&c-  5ʜ.YݘIx ԫ4Q c?(pgDyVvδnGp#ڪ zqYE9= lELq>Rƀ%/䡺DGA*=Ӎ $]X_gPSj5Kv2rcɮ7gOBFDc"s< ͻgyˡ/zz v| 5c >7{g+>J$:4=5}\aARH _"|awê | ֍Q.ؘQ)㱟'5TQ!S^J{àʲ%}͓֝sC.7K}6zԕż}%Z>ų< HWe=] \LPm>TrobV@Kgf9rLKf$1lftN,{cŴ=BaKRDi[7W̤> z>ߴ #Uѿ2. ܎|z{yKY}Xh~{`GN%=^rq0`(վK=]wHH_ACd%XO ^@uEC,iʸrCX|%ǿYx۩ hjs^s8 tO?9-C.z4b k;]bq4Kd;\]ЊMe>!lt0Wa;=ȷZKJ-ݙiI|EL-roeLdY2hNKuY]n=4'7 ?GaJW^ ҪڢI#.N=;s{m9+vy}srWP,IKդyԾ l`jA ZyٻW#_A)RZ+^Q'!l̓ci;&֟":__)_=@ib3/ +uXN|sjرu8u FKuLYOfR*dqer,5r`2z#u5=[o/#;T=Rw⪼CIfo  Uz~t5'3=ESoq)Vp7cm@)f_oSw X?(%5e;أb=b1€pjo;7U^(־Q4N/J{l&$hLnlelŕ7}G#DJ*G6'}u-?:Ĕ{Yޝ)9oh!f%h= Z6L՘i6 \);3{DҚtu= 䟕fIW‘!nvRȮ֢=~x\@B.yIC̨4/U%W9~J!q*O #G\ߵ|z'֫L%vynF"CNs11*{LJFybOA9Gw^т$ڬճtJ-*,(I$t-F /@eaVe5he$`*@5IQ0yE6 Y p[gqN#u3[0JoiݥҒ;?$b[Y$*y"j/.J!)seyOZCiypCcsAˀY ^hp{ynA\xB/*5kq=b; Z8@n8m(/կޟaCJ(q0j򛈅.V|D~m\.kf >WBk+mnÉ?&= ׵<AD5 mRݝxvBglt%CݫV3a?wNdhӳn`*6oЦtv\/,i54O,k튉|8Xou2* B뢱aVjAA%դ Z!-!xb20bVB-h: .XA 8Ǚ@X(qy[Aݨ= d+<6Jxn$1\UjShp'!ukd, bOrPC)TrA\￈ pu:jR]@h~BSuBFz-}f)rqaيD 1)ˑfLaZ\YDخ3 I6geh _Z- HW(pWw NXiɖR& eUo*/^jt̤ΩB!^V}3YmUoJ62#hvBkMU%XK"2ƝY~؃,(5=Rru?` ;\~=nW61\?x80mε T:k{,0,H74 rE(5UGE]ε` 'S GL?2Y(UW R?̿Lz:!'РAQxng5ɂI0N9XB$_#H8NRlL]W4R`Lh~ 9X {mFs-4q}Nc}<{n-1M)gPl.iRI\s )1G':09CBL ?=a D`4)lwŘfCް)[,QnBoJ 1db͝V`uD勴W?40eEߨL`暎M3I'x<"ь(&!!SózTSc1UBwX W6x@$мGGO!taYWIP`B]N̗x3? ccϖ ;S[ R&X$Vߚ9B&&&:t#^06e腒KyTߓw#tc}&$ڶHQ1ɑ H9L&9z_$@.f+!H/vk}V7c %Px ꣸7(HHlgq9%ǶwpRrNYc 4:YjK0w+$pQF(:BA;ģKUUM5^ nV?`#yϮѳLה*j-\e=̧\iDN \ҧ߻F`DD RDbI !lG3ީ]BvA 9%$i&h +l}@֖f'm t 'Qlpt'N]ϪD,Eju{7_>FSpH{ MA3qӏ#14̀GHcv#RK KaB{XbGV<.~ .l,!Tʷ 6d[禍,z,o&aQBXJf~ksd?(!ex+n߮Ek~*wfDc,Q8\)0IQJ YkÛ[,HfnClf.2,Zi]Y>i96,S[3W:%uQy<}4³%Y>+۪sw($sSC.$5Ɓ%@nbof"a=kD[ւ/s+]p ՃN#*Y+w ,&h2[U*mYV_@zZ+?ĪÓۃL536S_#,R\RA(J Ub=2Cuǰvo5744kj4%a|O.2$Εw2M£lyI}b|jcn=u}k&)9d}RN12[^e%,9Nsk,'S`j^6/XxBg$vx뇇,Lc(g]`(ImA:ufʂ0Q ?(L㩟dV)4 6?t)?Cѣdӫp@ԝv?#ԯvQmogLg\@A]0.PINvXR&(Pz lNB1Aj뇄o ˫ ?2~[ix-7O.۹ɨer_ur۩['w+ @Q_Es<'c- =jxXB?!1!ƜQzшSm?JHq@^XK|wqus}ܞYlK؇ً쩐? k!_C cBE'w YM}dqKYN LʘG gАϧXFN.c  E)KSBK>3k'7L{ȸIq>I48cYhZ(s˃ ͚&4nRc`N_(u_JBOBnQ59zޢ!zt]6{i7B߇΁qN _tI6Mx K*P]Q?ć5Mj* xZħL:gU:Lya&@3 ~3_EFpQ1Ph$Ph*qmAdN2Fv@c.q8fJ]+vݡȌc /-%L,ϥ 1"%uԈ49u{5-'Oٽ6l+g:n 2Lݽʺ8ZMgi }x]l4@NE(8]ȄO ʲ&/RҭfE3/4_nY@O@R `(_4;G<沕`zaڶ~SUm%k[]Nb1} BAm ,U]'@cdMsPlƸeN~ZI2 *? F6X߱+tIY`΍B= }jwG1)HPhMY,ToO(kWD> AtH3tZJcM]5|I~>b H 5er9Y"]$02&j=D Y~ѸCOC`$G~Y%~>s3ynHkeNcF k){l"{Sv$SA1*'  E'^u.D? La2B#x1G<@X2m."IhgUٲ4zLJEEtAL_*PSC1I3#n` gg lN5*%ND Z%N{NDLf'*hQ~ГGäij~V5'H %I,]30L䤃=dkMDARo*x>:ԝ^u^|W=D: ЯU7FƷz똮 U%j#,[wr{( /ۺL.<:vO(r7^Eʃ޺k6ԖfY- sS$Dm'B%̹`g8K%LV#YiRp,i,"-I`_:"pxkGVMB9ҹPƹsaBG-y|%,oV@l&|;V-oRi)MAvL|(ˋ|bi4z6is:4P#ᆳ9Ѽ? @h-Z-qLٲ'HrHY;m+U(RפFjcSlc{j⍿ i܏pg>n|[-!Y3b.9=2{:Þ \adg>"h6)}#gvsFa=p9 Ke"Xk{N4qvpw$0oZv-eSÜ>7OBxaS+Pd` !ža^|2B*ji{`گ+Q1jms2TtVhV+fP 7*, fLs@TmFPVAG~:jpB]B<%ˍ>|Xh_iН2{)7%0˨e&Ec UXÜE;nBH1 K-:bl1:WugȐַ-`*/^;Z#ms.- P#/{b.s4B(S9upiL]qs( Ky]Qh1l,ldər SXcʄsG%AyX*\Ȭ)ssp1x-8hmP'# VL:K!%R8,_veS7w-%<)kgV %k@q]ROrI&\YIY( ǭz|Z LY1),EӓO#FX %x0g춒L͊j̥[ 7L41R#UGw=oӒm+r1/Eu){Սh'7LsobdLj7Kϵ5E Lcy9gFE\ #^lT6Uat>CNLHT5*K|9LDGmiޫ{%M@ $#2tg9"/y݌[~39ZEļ_Ʒ?ybfMxK< (FQQ]r [p@-C0bT+YxvdLk<"0 H1b14CΕY`<;5{Wv2>\u,wQP2]~I4<QmWדNj:f`N8cϋ-ŇS)%+8dCz8'7X? dاV90|eE g||Fh _P j&.5:^"|3I?C-Vˆ ǹbp8 7- j''d;: >XzU-LV|N3p"&5d8Jʹ~(\ K0U*7 kAoVoGϑȒ[j s{>rm=3~r~\56X\gyԲiR6rť\ .w%8+ Z3O";WY-y}qs /P@b˞f7ڧv< '~ ơ$ tNSHb̒-ƶ wuv2HN॰z6}] ӬX]=Ak1f^l41oCH AkwI{55̍ D,o31{?rɸ:'C^~)H![HMǖc̠Y`c8QЛN%g 3VֶMNJ!ķtF7…5TE;wRdȤgі,THc8RGd7rG r+<=.Ś\uθq/9*.fEؾ:>uCjն|;M\Hy[?PBhLOn`?_T}gM8hPߚ6%g0$?vߝ7lx1_3co 9_C )Nv]m%}O{kXjE=05frhQlqKSVܗx@ ;B"ͯr9#∂EK׺v|j5)eBY\dY?odlʳ;3]Q~~U"~i#{ }]NfE(:r|6Z-3+,ٟxꭚʄ Nw'ހd^l6}eᔱ-$\jq9.f&eLXZDEvt+y Bl[@-oa*=;t}x/6CFtfί*?-:JE@cžzM)-L7"Ri5THy@x9 [b,t8E~<6,c{ ~D_q똻 6k($⒱mE 6X DSej۾QRjҰ37!3/M)1l~N΃Mkn'TjY:pE/E\,*%IAG }ų(6kE+itl_j[ hkUXDÍ6OU.ߥsx\ޙНyw2g`=#^EH\[)#qs)&췒 _R;Z-W7*/aNwlQ#/"CaT)Rl&pl38K@Q+2G`ltR2[s{-.I߄lLZPqQ@h=%gҟJr7#{5 J$B3]u>`ͫd\eX(kB ~Ξ=u;~7YVfZdI/FxJӧq0g%Ϣ$u|0clR:HQU$ (JgijL홗crԺW.<>co[98VfX|VAYC:!_Hs^WRywNe  &0U%76C $hyjnF'4Y+eT\{#5]4s)vH䛭DќKX[H i."u-|H9Ј\aAH w*.YJF="#W)8}ԛ0$f-b绢BR2CIaI|dY #*&)`8qlw |T9{m<'Cj, <^#wP6#P<i&4͟E`x ɩ%ثZb=j 9cOXS9Yy=NZ4k5T^۲|1zjCyJ̄ FQXYZg%IV)=6ٯ KuZ[Jzh@)"$V`0*Ak0*zʘdb(n? 'z}"R䡰N' hk1Ȝ*)/ak[!\,obf.N5[tl`` -REVq_NKA+bꅺ<(ӏ7Gt77 pS*tեYMwFgqp/n\4,^I ( M O=)ėTK~&3ի9$YmWGB|FYb-sTiGO@*s}t&,R#G.|UyL |r%6Ci}!+c=!_bSl#%Vr&Er{Z@~'ӇM e#{!ȳ~G&//d_ c I5il% F,R{tN<ۚ_U콎\.m GGV,viH8+y_ '1a\iC9wk@.UOm*rH{\ѝ:K$(fS-0;I[H BGm.@]9k)$xJM\Tդ| -`2lX#f|&(o!rŽI-velhUbpD2'W앋DGQ0ʻ2Z|=V)E<)s>t> gIz+6UQ&.,@͵!~_Ɓk(e(9] G낟 &l) Re.6r7^,@Xz5-)Z[u\SQh۱2.[ʖ؀`ƵS>:1ސ '{~j}Q8[#]ωkH'X=y ,%SP3[2DûjcĻ}Jj_ƒHԩLoCpg<垴 a!N~ܔEŮiڶb9C<g!Vg rt ɍI1{R%Vgr*4h!1R+O䷔ekױ ?/Fq' ošy/%-U$}5NMbA%{C>Vx%G9ZӢWd}QgFkdFveMF$,0SfΛ5fqC~i{Elp3v20P/2zE'f k!8 Ҭ1 kgt{Kf;dcL{`$åHtNnLW Cɥ3AXVP07U:.qft~0_xEīh *ɔ8>:ZWt4U͒C?@qWJ=>wSzr;7,hFwF;lFn${Q0o 8ts⬀okT #:]?7zX/0/>`(&=C`dǍ*CC{=*CmrmT(gYZ04eb82072791d00976062df95e35b81cc3afc530 08f0891cff2f74fd97fe4f8d9775b4b780015337 09d14f92d5f20755a37b71b73f98b2ea38c17858 0ab1216172c37a973c252fc420d2c91a4c828037 0adb6ddcf719683935a81ce6601b2eef069da1d4 0c7f3c6b0c2004ee7b5d0a3a6db57e061416f3ee 111f5f83db8cd6c963f0a0d50d269129d69aee95 12e9393526cdc65ed00bbcc616eeb021ac2000d0 13d46c72c4246dd89d068589d4ab2416a69d780d 179d3d8a079700144fa293cc194fa6f887475171 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 182b4f4bfcad3896c7f6aec4c4fdd91fb6b1ead3 1a7116ccb10fb2adca2f2c72ac75eff210b62526 1eac23a6230f87391b83b07cceb1c06162dfb171 1fb42b7f62b007623b34424bdac13a60c66edb83 2506486842c0c2bae6b6e48d1c3673fd53090f08 2579b5cceee11045743e6f0141b173049baee8449 25be5ab20992bdb2d3e02c3eb26487fff94c82a3 271ff21afb294fcb60b3e0f95e8deadfd318f7b5 28ab25fe7b2dc6b6983d959e1662f1702a530313 28d11acadea95785e264b7049cdcefc8cf20b5e0 28d7fdd6961c2d2ddb25962a1de7bca1528b3b15 29b0608f7edba22d603ddc4c2c2680194bc315e8 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 2c780f0242fb7f4866d0702d4e4671b18813f173 2f36fbd0457a3841840cd5aef34e1bcea0da99f0 2f97d62e8d6dbd08f9b8bbe689d2370311f9ff79 2fc43b996922819f29d67ed43486825972e5167a 3191d73abc9f1d53a80bcd1060314fa362b10b68 31d1eb7c7087e502da024f0705a52d01dd06a322 37499f5276def1667da61c3f7ab8793c373e988e 3865375b17ab3417dee8556afbee26ab9a6999fb 3938574b1ea7bf6a52855f584e2ebdb8ff6efea8 3a1c97548640e89b5d8dc3993ade86dd3aa4df33 3d05a7e7ea8c19c326b9b612481af2ecb816536c 3e8a4fd5d4b2aba4d408755562f202f224992897 41e1371d815046828a14830fe2d9f23bf413ceeb 420eeb54df33dd21c9830a6919fd10f46142a6fe 429718c7f740f6165f235999057b58d9fe6f8ec3 44baec093d30bec4af6ab8a6da185f226cfd552e 457d30149f38fcaad24d3f481ac834985791043c 47e8b7cec11fb758c14bec77840ef2b05d4d4d7ce 494e1ed3df8d8847c09b29129e5fadb1918f0079 498e014df5d2c87dfe779464577c6000d16639f5 4feab95df2fb1990219f52c2099bb2af87bbcd2c 4ff02153ee43c8cc45f8592be8792c07aef961bf 53b7efe2b7e5e03364f5bff534d75ee845562f8d 57fd4f29e8cd73e55c9e16a0e31a1fac60888222 58d2e72eea51b7c85a0e1d8816b7677e3519844a 59bf9161f79c96b8cbd9950efe401ea13d9c02e2 5c79c9ce94340689036bf8fa8694af44c56adc7b 5da4f1f8a066e90a66f3844d13a77db517e4322b 5ebce02c2f68143ee0ac77eb4fdb8cab72275f9e 636e7632b8e5e2f04fc186d72241dd0c5eb1b99c 661c2b8beaf15b2323c0212655d7a3523597de01 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6bc49225a99e9bffdcc316e172669af8a86dfe53 6eaa61d40b8dd379d8883f8c76616d214b738568 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 6fa675cb6a7888c6b6f3e68ac680c7e8c50b2f20 73e061e6d2ab24390e598cf809c64caea95a7687 76ff6a868fee8a2526140e87a7ea292a9cd07941 77a885f2f67441c914c0a91a003066a2d29cf309 7a09398f4bc94d423f9b9d5ccca4cf07fbfd8db8 7a4eaed7e718366597bb3b3c8eab90a5999ed86d 7afbf3f3c4c47a37a421f2647aa3266a3fed1212 8462b182f2e32959968913f3ee3a023f54fe92a92 8d31800ff14de35d275f6635e9c6d24becf4c94e 8deadde7e959de6479aebcd3c13c41b1a01361f0 8e2ea0588484394bc5cce75549dfba011ac8ef96 90dd23764865c420baea02c03390be6be9f12060 92ae42f45bc501abbb8ae6910d8fd8c60f7f86e3 934d4c0039daecc176b21395581737e1b45f6393 94cf28ba8d12ff5ca578a5a6c63e5be9f9202c2d 959e721d7dfb61be72261b1be170497fdcf735b3 970425cb10151c56437492b3ba98382dcd26b533 976c2163df867b925b53a371d0e83a81fc7037fe 98973696628f58ed9b6054e30e6bcea8b622ff49 99e419cca85a876ecdeea613b750e09442272500 9acc35bef3ba5061da854705def3501314e7e5bc 9d0c5f02dc64655f9848885fb30a04c68c6dce2a 9da0b56bb9e9ce02e24baa68f32a17a95d2dccec 9fcad22ca971d8e956fd0e832ab83d2034c75b08 a0b767db58820723e94ee4cd7aed68d9daeffb74 a15a362a53760791debe225c8bb33a2060093cec a5ed38d3bbd6e0ae879378537f4f178f96b21ac6 a60fa1dcc39efd8f2ac95d4868c523d85ba629be a8b74391e52061a82597210525ccc74dffcad1e3 acfbcea0ebf1fecc3d7c1a26b17295b75264eff0 ad3e0430353cf9dd719486ae796d190d5e13f04d add258111776de3303489072efdb722c0a076586 af697d4346e62f21fae68e135e4ded7f7e96b06e5 b20c5a836a20efa6c81c9dd054615d9ff29a5c8d b39a1ae637f016aa3106a4a51fa371d2179d4455 b5fc56c84e6c96d0e02dcbfb5fdde728bfb0c976 b61ee89880b0a784d955f1f0d7c065b4b68c12be b780f13a87bf12999587c30700b7cbd026d978f5 b7c160ed6ac8852c8b5340295674084e135ce0fb bb09bf7567098f2c229c8ffee4ee58daa9b328cb bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bbeb96dffe53ae21b8a2125cd89013a1a89f9fd2 bf0a8c379efce63f061b109b2570ade3dc4f8d42 bf56d30f5014e2797e57279598cab61a2db00fe1 bf79d61676413ca26159c68881785493bbbb6f0a c27760307e2a77b2ab2a0535b918181520b3c45b c6595eb84f7f5b6ff8cf51591a134ede1855866a c6bc702cb79b542225d41a0bd77259304e20d2c6 c79c24ee868e3f20c05c786ac2e51e0dd666910f cb45aa29aed037350de48fd1f2887efad358c2a4 cf1fe489b054ae04ba90cba143ed8882f7a2c588 d0098e82710c87d35c93eb96aaeecf6fb64fbe36 d30b2aadc03e041139d012afabcba6981419e8a2 d3619ec50c5329168b668f78fc1414a79933debd d6c7f827a16a63c18af83a6bf8a4ded44a8bd8ad d9e06f568255b38fb2df0f11621e3bfd8040de89 da39a3ee5e6b4b0d3255bfef95601890afd80709 da6b6241a4c28d704c96d819eab9ec40780fcf73 dca94ca9a249eb910bbe83f52b4f29be6558cca1 dceb865860ce8197a36a31046cb45dae267d9230 df13615d9e2021d35937fca8750fb807504bcf8f e1303d6be777b2d7bf679ea432ac7ce088449876 e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0 e9739243f011676dfb6c0d119a018d9458cc7a39 eae35f4b880ed6c1fc688dbdc82614ae481659de eb927ef449119ae9450ad465dc41b2657e99528d ec49b6704325ecef959832151db7d6b048ace875 f25ae966a6cc9632645fec281f7aff778159e5d9 f3251cafcb6b32a5363c9b01857a5d184c120973 f37dd1b5d3d65ff97ac46679af09b59691116f91 f4d842e067de95fdae671ad03ce727eb4c399684 f6ba9cdc14d83247fdee8808bde5204cb0aecbef fa04e2e9e98851a313715154bc138406529d1918 fb7e26c989d75e3be9e5b319f48812d0eac5d123 fc1e1865761a7c74b66402d9dd7b7dd500a15dcb fc1f1a2465cd2837a9d472cbf64cfcf82f8ee519 fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c144282393b834a811160f26c9950bbdf5d1edd0a5921b522