SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  a5tt| ]%]DynamicArchitectures:threads=4elapsed=10.079cpu=35.476gc=0.7847zXZִF! Lt]ŗXiɟH)0%oX^ Owa(U^?Mlbgg|v42zU[=2,&gB?Y=U;JIaF߷vO 5n;x AQVK;^AsAJvs ȐyVcO[0v,W,haI$ccGZ0ҠM^5Ծv ^b@¹;_,w+޸W'JH`@@ΔaG$Lɍ}8 a0 6"?|‚fMOjteQj7#JT9Zhm-| (7ӎyvjؾ xжm^ iU˦ͦE3;ޤjj$K׼[e\dW|{S|ˏEdaczФzCȱ%REjc96VS"S÷kInjy/b 5 DynamicArchitectures  x貗4YzM_4x~w9-*MnZ^;.g'R'ۭeFbG7D%2 +'c@``RA=qHRseѪ[؂ko&]o,*Pu}wɄsŸ* !NZC~aQo:]yYw-˿4ΈII2KixM)V ϕ4FmY%頜D:_: }xVCT-X֟&oc9c7`(o?TVqGJ8s.[""İ.?LQI'mdqͼٲA1GT'2:t!>uwH)d)"nQ*tt־*"%L|Ң-J+j7gE+xCb||$CV>d56j U%*=^ZϢQ9cadTW6K cI]wxYLbHO={ݤ'O n{ԀN5+:*>xkuĺU)= &Ã6ٷbHTԓl($z̟Մ`YG]UPW%D5Jh8;=wh\ěNa)!RŹjgzyBUf_s͖zʭ@'vl6j^Y^x*ISKESl 1B 'ۃu1(JFB~*j'GJA0~Ax"/qOG6h̔]#ޕsɆOC{%Qa}(@f mtYT < esRRw#m^93lpLqf6\Kͫ ~Syy4((vnM1hqeZcl2P3}: wbuE.vn~OݑM$->B?n$ |g'!`Ce0KڟvuiG4ÓMemn |~5@yZGܸOGr-keӜ~n&so +~QpW@^4|dPAz H]̃S&gP\{aBs1E ;.[M=ˣ?(c=12JS[JU AVj9=DŽ xLXo.9tI>F'2WHVXCϠtD wgxWB- pseъ/|ܾ0Ddؖ"qp!fS)V-] d:3aQp K,~qp ܫkV2M']2Tie7p·_i S#C+Q +SR#"/uY>bbZݰ\,p:S.6h7qQhvUDBvey`P\O. -'U aTO5;fYrfe+ǥE3YXu%%s% T#W쿁{}w|]/#J k/pl_%~nFCyfFGxJn+~lv7$&=Z<4U!c)C޲_O6$%cu 8eDaN:v3\&aݻ2gؔ MޑHFM1d\o t)Sv?њ;..w.1&Pa4iW#l/J L$"d 2pn0zjH#`o>˴Jr+^I#fԿ}RvIZ ^d] To7˸sksGaUitzrW0^%Nc*XF]V#-(" H[S@u֥ ԎJQ M#m M >|[:zdD}zGU}rm ;"M[:amI㪈 VrG;+'pr7]$!=2]ځdSr=ybRF zA5dB.]g)klu+`3UMSquLu$?[媲|I|LԔw(pGO NhR#d,N'a϶bqn% yt3>Z^hhed[Y >Ҿp[}1CSoWV~\a7li,|"͹9^M_{cJ  ueѩrˊ@\CݏD|.XW 9+އ*VYb^K!޶D6^%iy+vZSvAe5{7[(I_ɥ"Ȓ.3c<3UcXI/~ gsblJlbPI 8Kԟ\oK|xK& D EbO<4;C!3ٖ"bܨ SDreUl喠VjbG"(`=R&y @Zݮ.\JA=(sx7CT/C TI}=e>%5ϊ]U3ҒO^:PzH( Kv[DjEߌJ-9&D`R1ѧA$J{.|,IP5~ Me>#㱊RW93=g3jE+0T=T;?z+qȜ| +]1Jb,xrȮB-(eV?'%Sil(b4ڐل]*? vMe`ژw?5xmپQ-an)`38dpϺB^Qśx|ຽJ;]'uxZjAӧ=6dz+ F?h$Pu3ê3R ^5 \q!(aХ)nN&6pGy7 sō1ФID.f dEoBnh'E hPPv.$睸H=+ӟڏbO/Ϥ'2l먢l9Tѕ //dUNǛ'a BW|nWKS OPL!f.2"V~tFOM5q8$ .~sj(B͗6B9S <Z~z8E#|:jrQؙNfMpZ7K'|hp).>)ua!:ȳ@pv*bV0/N4A1" p$}ꈬ Fm*IZ&81TϥʶpC[B\>0JeFr SV4BKP.ؾ8ߥWs]bD]e> 4bi-mIx! VQ3͕w<+n=um!܋rq*zF#Nchɇv؂3JcA&$G}u$򸽼UM+7>i*~DQv4Z =ZFrw9&G\GՎ/uz,aَвFԨI]e5庯ɶ ` )> dݶ]\T$dlDa^5 PM`Vt5ȷѰQ{g~|{&2Q"H*̈J]Rd 2VA?- drGPcڰcɇ `}$ 'nYu2tAD֏u0Emݪ3Vpۖ0.jk; &wTQAxߎ)SPG{jxm?Tou:i9@f gzḻ_jyfR*,u8&J 2!.`IkFGY&Y'pթ爿܊3)\!~p"O4$(+VkۆDrg3ܛӺ|51mt_Rto- z L`:Q=& s3OOỚ/$ sv/jvH )&ȃ(V /{Chqx6ełO~ʦBŒ[5Q K+,) Bd\D#<0mM¡S˽hWk ͌tUF8[y߀f@ |^ܮ[|}0g~NbiLcyp_&t W$5H9=LY l}A<ϻJM̭8JvM7"W !XkEC_npo22I<[80䝁{Nmٚ 1WCFYRv#zڝ~ɏi}A|Iw7W{f$ʳfu3O\fX=NG~\A /Hue>@(&]#{j|sWV'Hd8+ݜ#hQ8:ppʳGl`g,^It@ \*BH{a;e替0x4gea‡wѮR2gkU|{VIq$%rN.uhBU_T7Wgllכf6q DEk{`!rx7k~ #Q~ғ{ZxIAQ 5|&}(q;{.sT& x|a[D y*HG+lbZQaoYp*A=}(,G#{xAKI)3?doy?עԋ{m\":Y@푩v ]-%*"`*d߫=U nwQp71xQu Πֲ݆*icrm^7oWwrH'\Jk^d'=A|(UlrD:*^ 0Ҥ7I뷃֙F%>>.>t͒+KaWCj-^hN3(kŕQ`7_S7ro`$qrր:CtU=I9`~5U]1aF$;-b;FPϠichrzdړq-LC`'ƿ^; E]k18BGJ:`SDWp xJNM)^Og,IhUOm;qtj٩ΏF6˓ObF7  (.WW"3NF}B(eI,j5k~f>c?f6 㨨8oi<+ؖpѢROy>jA?snVH#m`m!ߤ| “:\oBԣ) A%)<"e ˁQ(5OٟIOJjZx8AK$W8!` chmvdcTgt$t0[~˱ /"؁@ g&!YЋZQb|?2a{4d 3UԳ)?d`gE'ϙDaY֪ aL%46.P`|g9(%^/3<A##遍I"4V' !ʎS&Ow UIiMAi,mBXs-Vc\됞ROxxX*F) jfX/xL5I W&kg# ۓy`*FN_>T ucǦ+sbeY؟]%>IMc#&~6?Gb3mԍۘx]/ÓS5dh5Nf3y;35nV>4qvkT U &aFecj#A{YKm"?.[np"q$XbD1iCSAݯ^{&BwWMw}S P֥ _I0hgJow(0άK]P |0hȧ%`s'A!K!ZT0Xmd`,+غ];Z^%~y8za S8J7|7zo٭gzd=9Ob6;aK `MHʉBr;fd"MܺWqfAǞ ;X!,H!y'cZ(ӕ@ ^'͑5"ECAxtk}X҃!<:<̡u:ϒpikS ʲҾp'Ҹ6|k ʐ `<+dKm%,%+c$==eGYޤbuM Z',X8O[ m6aHp{I|I3 blʿ+$>iVȵ-]M߁;]uXiWZ|tRi WDȔ=j  L>ԇ"-KwbFX;S,%;!qd́_|In64djziF_8CSv7Q P?feY&v0o44 +bm|tV /t5Uj!ˁ^Xmg,ْ~ߊ{\D\)t+Y&?7mIL ) oٗ٪t1 4z;\r-41(5Tdvj(3Rb&NI~sk۩2+:2l 2T7"wsY[6{zҠɸV=BF_ gGؘF"/Qv] SVl۷CC}9@1ApLYSԺphݡbF먥 !\X[יWYTyUa$,32!"|*IcV˨<Ȼ‰lWԘң_p,e˹ oy,/=qcܛfsjR:LNq̊dnE8{;@h=J ҅GW;0lbfGY9彜^-?eY 7ЃB$(׌v|Y(x0-7:?it , eF2FWTo7㢡Z 9zL@S-9R^YaPrx,ΖvcP~ˌ.#՞Ra5T-ۯ5LJ־MXMx'B`s'4hǥˉwp,`P6QͼۭVaBr4ٺzy7V#AFhA? *Zvh)6jIQ||E: rXޫpU/W9)=OнCah*#Sj:h؄%kiZ x}VןY0uQW;\~"(K&~.;&dZzW78>ŋЕPknK|pd `ƎӐs ("4uPC-o+h p( Ia(NckSb sKK:R/:v,§ * t=>iH,4x7O5ZE tߓCߔbU+g ?t EfƑΥU7Zqd`3B_^*oN\q(`U|WS$ =v1VYs>;h+%^@SKOi]6=!^bv24 kdayTVx-To0_.fY{ +&߻nuU>BU9΋yU&@{w{-xyH%ozK;amYK%ax5+u)(lT*M< Rsg}ӬS0coym(՚A8*lkÙzy"̫9b8:ޢ6cYר֮5Ӛ3{'?JB1┦?`N8-ö؏!J KeO2t* db(Q`n9h} ;idvK9[S5rtH{ 2C_^?b|Jsǵ#ȱ\4.ޢa L>cfVQnCw}fD(QMO;}eCwgy˩ [%9f)zV$_3R LK'D=ve |B6PYF!a[9bJ03zPAZ>u EQ5 Y{Od50\#ťչ}>Q@]Lj5Dw85:*dB ru01Ú*7O.1#_}rů 72GT@bQ/cꃦ~9"Jݚ?rpk-Rqyx*EyLɄ1( z16j7".WLq:XY'x~ E~ugH u^{hpKxUs$O^zTBhI~QH 4$Fir< x\cG !`^Ս0#~Pyeؐ%4ă-āt}}JUkj @DU'?=oV 1qo7ù=p6Qq9xhG֝nNm/S²qp}L_H/a-͜.\* P $ 0'!~ a/H.9Khj.\WѪ,ǹP(4K> מK0eOa)(S;iX#WM{U8l"\N.G~-~} 7&O A`JJ03ix8'D?_]Z/ТG?Nu缘7PϢ# U;1gR-0)FHS,+qr . b`q4(i} cm2j~kU˴pmbP L|0sKk,.97shi'YK`! H1C JZy?}2EgnX}Yhc󥹶.1uDp\;gd1B}ȉu!NjcDfMi~8ΒrD8˹]^jkva*#w)cWm3FHlp> 7Vuӈ)Bo)B#C‡|~4}fh4[iDA XT\}G2.Zv3s8Qz\wĨaĆ?}Բu J~x2adƋd#wx&!gnʎ0-υRb|G5cfT@9] 4?cPeϛg5;"^&Gmdܥ ]6wP2֊pz~W56~3Rαy IfsMsM37PPz3ߘ6 f} :S? 7,;ovkypտϼ45qOx";W2WMl"-%4[ݨ LJzC7z&[$֚V@y4[E~}:JXYwQFAs7ߓM#\^eI0Ղ3jbn&S۹$M5?г)Ǫ@U#>RǢ=6Y MalXi /zԼ WE` k2#QqPxXu#^ 7T+ U[Xbmߛp-|d.SC%TeQ$r󎉩[89璀1cIuGDYY!a:A؈7L8XdJg2E5f"C'ᕧ/:v"F0Hvr˵(F̶ZVY_J\lRg|.bAi%U%8] D\(dSD+5 !0hUYZcFuMux*=~xY O v<"'%,ᔃ/g}~.\Ə?)4)\Σt^g'!ө~oYqo\iÅu@rAa`r.1p)Z&0ٸP/iG\CN۫qI3lz(1R"snzH+ 3OrBpaˏzQ-RozV3>KJ@fDI wQw5fsTP?:?w =FQ8=j(rH#[/lSd-#bg#b<ϠCd] X{d"e̜{)h%o),k*}-Gkː/Zd^- V) W!$Ӗ`[@wi"0kK-';fb*}c\Z grjuk C"nx/8֦n\딯*yozjV}K9ʥ몏a .̡:֌ '~|+-hy۸ Wpc&}潘X2*#{'4wV/컰o,?:WmDŽ}1pX X"o홀JEkÙq͟l|gf75bapAޘqN$`ddxtA 1Swi5x#j7&'" OVMM;{ľo;sn(KF>+*Ϧ;=N~9Y'4W{۳TȀ#xXsS&ona;ƾqHF<$ҏԹqVz,NtD%%wru_%GcP9С&K \LzrNbPHQS]Dry,9h|[EH8Ns*W݊7"x+F.|;<-/wB/jouCΒsfhP0V6sBok|Ts; ciz勻6d1{P'(y$.GrtS5-c'uT~Wo7.}L Ow}.0hS-HVqPv,|hwt+1= arxثh}hm<)]Q=}=_RږǍ+^z"^J~|1 ʀiSҖ^(MG*WY We3&0$d>AuxdZܳHS6VVi/OCtt]d{\vS4؊R:cjW-5a\"+sO^ja,@AzS|[z0bV,Àp%/^µS]["uo ՊH{pLphU"vsuL%bqxRn&TǴh] Nt? C$3~&Іdz39x4ϭmW [yL@K^v:OqI2z`1ѫ'Q赥;mk/ Ap}s eO'ە+!o Kt2ZKt3:^ FD VC`I>}iRip|19oruiըR;Bxd}4"b,a% eX6fBL͋/&qW/w~eّ@l:-W/Ș=w8vJ;@zAUDya7wRXxAZVF1fl=RWT/̧1<"AIGngفԯpϲt5+ 57O*l"1E/~#*ËC?q3Q"e+FNE[jɂb8܈gP"rB֯*ɹ>P{g'Jj]ҥY0 Cm}V4k9X5I,seXGzK4?o}K!jF3>NV#gXܮw{U.xh|ij`2]^=]O Tn9ۼ~`㓫냻[P' .OqOI4|֣}"!{wuE[-hL(edAK{pQEn G8R)3}]yb nf,_q[œvUŠM^Q1_`5I,Cx Pq } HVLn 𥅲 f -}osxMI#̼ڜ6jNl?B93eV\c]`.4eHi yd^P jGZ˼vgOsgÈ ϬnogO\(&f[.3Sw k?ݳUәߋ K6d@ojIe1H~[uZhs0*gM" QɄjٰ« Lz)h޺F\X1Iؤ),ң+I% F a74?WTr |ke]VXKWόƍîFoz34.cQ"3J! CDL 2ú/<㪺4:O1nh *;AN'8DliyGsPOd4+J]7>GEjCSİeƞl,J2Sg_, lsrhwJPijN졃zz{A`>8Β->hm; >-|Ż7K7J*8Gi ¡.[e^[!YeR74輍08WՒt.O 4BPp<ޞ(WdƵzt [~!^q>qG;y" 0P ZQb* W)ΚյE<2b»O>(X&T]gTJvS.EgVʋ+q 6,pqMrĈrتPu@ 5[2"fPfNK#*H OOLV]lgۚ Jb SsPX,z_ͬK2pI XV:oޥ U>h Rfh˿*ʠ Doȗ+RQfwwJUd KMg`hFg8 6#i5씜 h i{1~YKǼָ~QZJKM86E_U-\ڒ" "[ 3#df y1m?¾/g"zQX+W#Dy ka= +S- Hr8Q^_˻7 M0=w՞`!rL̲iErbВG{k]Fp&w9Wam>쵨e%$8UP)GB^sP6Y?!,Ow͓>\&Nb\t&͐Z$&Luf54S=uGOjX|ahXkQo_>evbx.=DN~`rp<6=aSk)BC:F3)=u4L4PIoW(RDXЦkiHRRMb[}{K8IR2 ؊_e6İ.ْ_!DwЁxN,%f#l`[̾—!Dj0gAFSg8)aB齪q_y,9xgAh Ƙ>0 Q݄-(2ja*0^9֐;J5>Iumjk"u. @ X"@mq u҃ ~t5׎r :h%`j*#x[HS*3k˼[8!5j'^zjxCX /(~ o7 VN}֩⑰F2wW\Yٹ2/lrPs70[7pt F3IB.@pà:raϰX5_Tt;9)2PJhwЀ]z%r)blOdcD3mzHǟ^3;*V;o۴^VB` 'zvҚyPmXsM/IvL搘Y1^DbK)csRmE%]'L6sLs+BKyBlSF» C&if  <>8vMDΓ1$,Uap5.c*3ŵ-P7@_IJ;// b8C4vuy4_*@|VdP̿㖦̮y8, Qpԗ# '[Pm JrXI:刐띙uf TݒvgRu'C0ɧ\;TMmv.iR!d?^'.16wV I^C53B~)9͜w:!8yrSjREb+J'fiEZy3X"vjm /O{?S> AN>X{ՀWwr<X4Xwʭ'?vʙR }7f+Dӯv1 G$Pj21#){ }}wS+61ܬ].4:[q萈ƕ3hG$\Oژ7+7En?HGӡuDzi;@TldC֒v"es*H}`k'dFV_Nл-,̴%⠣`}.YJ̔L-S3-Zs4) J1{9S;[ J\RwTBWHs:B.vgՈ=5IQ?ZK֋ ܆EbgFm$i73*SS7tye@(cnsgh[#\^bz>O_J!{ k.nD`8jOř*RLpV}|)6NXܭVN$[|'%H=Gv¯RgNzY{:tX*O~Y涻^-8N*K/^OjA7(|$>ͯRrYsxc8ŵcu>QL/+ zCyOqV:/ Nnp/ծ7(N] nGĺu~;UQsHF+[(`Ț8ٚ4K'Ot䎶2 G@]Gh}.J*[%5lIt 04׵օRa pi2.@CYԛt0@63Owo8?EZ53혅+n0oW&י6ټLKx1!GnNH]R~xB[Y=Y}n?299ֻ vOheY^/._-;OםͯG(7JS56MDŽ6PeMG-޺zzݱݵMdTNN%T'XU8qcr/i;մw*:n~XGqC _֫pP'5'{Zn0dl\ j9C*h*_LԄQ"DugP̟-lo pJ5,9oIOF P6 r x͒K/vcy]uzNt;\"wMVϘy7t4јpF;FR,K#~,+%2ƾCK =xN.S_s5/ldR/k/wlMt4jЙR#4&9 ; F#W$T1,a h]83{I@SngV.|ռpϟ-+ݙ W{Eփ{AQHxD쌷 kXća7=C8PҺҴ"(!RjNEI0~y }xA ov-R% DR)%8$< QmfaV7n#veGJt^D2\9șaMx3V!AZ1d51a7*ks+=qaȢ#Lq%d3'!O6@gV+|x3gf,)?yM-Q[/#:RTprB/2 UY}l8qN6?XCvaQ9r0tB9+ڳظ7D;=o2|Qr}G͓*b@Y c;"*66rw'3}|뜇+0fpilbScy u;s +b}HYUClw&S_.JqFEf+:E-*Tˆ\)`On4$lX?(D`ԔMaI!).N $V/gؤKѸ]),*a%}?1u =(/< VW GhsS43RwC] ?2`O'du=d5!m :c2m;br櫋oܞb#]A]e I J^Q"o_ "a.Xxa#P]"ݓ=܇I!ͽ]IM{U,h\= ;Do J)Z(` } kjh Z?K  y'XT`apZ,Ǔ<%SazE1V;~D HޛP#[H>dm*?^X7`RՇ1xH ]Pȥ+v\Ts]%_dӏ9)sJbo˟*s Z!a"7M~_3ӌ+42K[)f4$CWкQS0 * J92tϩZ[͖`w)hі?n0ؔařlG;ZCE@*.obTgSr02a6dac >j 7@Ǘ+h ^%#xğ+dKV]BP+Cvl]m 72 ; y<>>?ʞ&|dy[%*`5z!衁.uý' bhBM]ƴ* |x*ՖbhmG }qIsk6{ȓpQc j\, wΣsI2fm󢬧)/ʗdDGK}CGwMP*1m078HX0u )PZC#V < ]P1)~|w aiNtm-л+n؇:X' ^Cdy]hy"g쀭|qd{T축ges| ;:f5rE\|8o0 g[8'wأøJU$D6WLax9K(1'}y-!:{Vegz& tHBV]&@ c9}C1hBm ;2լý<]kSelnnWס)qJW}1脟d^67Ў8d[Q#}}u?&Р1U"w*ئ2=hDKO+%M0 Q8K xYj ^Ь+eg|Z_"ü>ˁ ҠbG^*Eu mwAC0sBVCXQ.Q6Yd*[X_YG5-]TͲSSng2^=դ*C>uJSjOI4Z 9¢P6USs@YmŲDi+ =jq tTq_vo$pe'9RS3YHXti@,>]  D M軜PD ^GݎIjKҫ8#GD!{_JuHFUa23XpʐA`[7<|όVH+TqLnx鿻`S4EBN߿6L6iBY 1cM/t)8M"& ev`N, =Yґ!l-R ,=%Ta~6(V;Z;0fjW;p'vt߆Gdd8Ь܇ťNmγ:t!ˤ !~¯WS=!jLQ'­$X*vn5)E۩tu;Ŗ#G8UA0 TDbmc,$^t/0B pHޮIWᵃRc,7ŝ2 ?v؟s[+y7<kha}G2aaQg'mzG,>K5^R9dS5!@=d bq ^}3LMS>O[&:3{ɠ=&> fg{T.xR( xQgMPTF )g'XВR[m^Z- /_zd*9P:z kv]\v @8^{ $t ~yje&fL8_ȏ\N&@@XV8~Y {L;}#N`qT7[FMhqG2#RacYB5`K#HDRގcJX]݊\g6 SxdoϾ%(7v" -:u3ЍŰ\jbNŁ*4 Xz`o͠Hz sj/Gq9Hn0K 4B~ %,? rǾ[Q!5R=q1$F8=i}juNPݨP] @ 4Q ro+N[NrҾcSQ\Fa߭Bb0ڼhU<0є' 7]K'D!$/p傕5FiIR9\ nnD]!wf]$li?93RK:'?̈|4 2 5!UD6Ӎnl+T84]Y0o1\~;QeH$OZ,!;a<ӣxx4"BH[w?I(@BwhR)tt$4G~S:Q&I#X>H _lQo"V}cz5‹55๚Sٝ:Rs#ה ][o̵DOkT'7m\nc%Oΰ;c3e/>u)AOWͬv%`ax`.DLbO,T4LB&rEL* 4m:֖E _K-ܼ&FV ֨ęL@/9n?ݎA9gN02&>նw-8ִQfQ+kNEM1HmkgT 11١]vRXxe “I| hT{s%E0/%_SNehcg -w^Pׄ7-4-e/qrs54{s?xPv({ͥ2ڤL5?D,F2 u y/FC>Vu<^S9i(4z}"Q ?CM+PTZNj,RZ*lKuV\eJVGߣQװ24B\A",?&03c6OF:Z ʎAvD$IBڌǮK ηi(#cJzB narl8d puErr b~}5ʉ:xTU) c a,=ڛ.C]0#6 O{ ,v:2_H^Qb\qK"^ BDf!wMt3 KZpȳ1CZ2K -0MXƁ]Lb<5/^峢sHvv`6kqw zGxj9pxES|'D⒜.v:Ջ.gorP%:&aΖZ,(f]?|[ jH'Zvкmi 2alKTJrNFj鈊?p)~U8ƱEȳ j-Ԇ̻g8ONg>dD $RzakY+!0'dlwl۝t T^׫v=BWb'NI>`7j)?3%&+(-qr 6zw@b_+b:x 5SpӋ60OV.S>`2ѫu(~7k?rڥ)eY 2^#śkdrsȬ-Pi>!nW>"9/,Q'?ѕgؓb8 ',+KCl$6Vұ˜o^/m]: CMx7|RLp{[WdlXk~Kӳ<4) </AE d盳:՝g#cvN?E{\Oʎpa5v uNɝ"u)*!CzuƁ-V=\v/Pgis,Cwփ[38/ =] A3 ٌ& ;`&oet6NAtFH#7 Js7›@ks #VXָGV t['X~ `|keb{r_Ü,lHmߧ( C"'ՉlHW!2`qc2oHd &uY|4pGO ݭ_Kz$y" N (f%<?lhi٧1Uq0.OHC}]^i36V.yЍ P2k晷 }T^3+ ='͏yDW-T}2ҼHla˭J)?oTNWxQj$Аmfu\#؎ҟpߩg.WRJW&&O{u(p$(KJLp&# l1й aqቂ IY|>c_1i{$9l I$'F{P`!Eccv0SȰ/x0I80z=C1w\~2@%GVyGo~6D7Jwey e-1s鹺Vn.%R0m$hioʔDWfRVp8tLwLFǾ(푺B5H9Wfؙ kː+=+ѻO5.V}Ƒ5ZӼsy8)+up']00*k'_K vpG#O%K>LXƗ9H$Z"[^6X޵@$]XɾɭyonǤ ,7C4'y`hk⍜'(ֳ*q IPuIIo>V>sW$)NG-8i]E0@PrR3BTG_I}C| +낂ڵ_`e^Ga#i ` !ϛ`jL#!, VunQZ#/ TJ6-Y_wD :"dIƚ3X0]~-,<-;!#8ȌeXVH; TG72;$\v*{\ =AOn7I4^Fފ;1oJ*^?u_ GU8B*nE_i`s-bVRbNY "cpwacsߎĂK'i8ZRwV,kB_3(XOjk[rw2eVZL6A7檀866CW:>9 JGށ/Łš;+넲k_*@"(psI/(V 7~4|Qr0Qp>ޖw͈;C@r,սy@hI]NT@Wx22vͨW>]Gա'@ lEz͐SI)<$:=*8s(%/Î˺qG&8iA[=x{nٍжLT/YNnMnCF[kR5> ; D)^آ&olɘe{S2Ύ ;zFT`,I-Nq-KUc 4V7ܭ׿pn_G*fZ&/|QJ;RƧfxN;LB T_3Q$c3SfmgO$hj Mc.+{Kz`-l@Kʾyr5{=c]%]Z:>ƒ)eKD%ܜc(P,DxUUTLV[Mpr"IGznF,D AGg5/DExCu cYD޴:KP:16%wKdVamm29}{@7T6ȶvݒ>";{w)9 )N(QyBn8#ΩPa>([u|P?(Iw""Mt0kڑ/ uB0my2`)&NrcP_K*xxi<%  iY(Ǜn6:/%; ke% |,Kތa}%ӁRrnlypa/ըlUFtﱆA|ͤxRߝ8h=&/c2b})Mm{[ ez-Ϸ4-^Ĺ%Q&>ji?74p\ЭJPŏ4PFX['xLjϲÇouc[jυm/]j |d8\6!]ҤS)tneY#+WG'Je#‡T9M'K@^#y"MS?CTA!yIFUؚ=Ʊ^ӡMBE~ M B&?3ٚ6sD՛ eb1bV!nr!M@7Kׄ9H>HZnxS<{gNE(ey㧫>@Dh&OmkE{G ̷q)G?PSiwLAs;ٽbnYo[H -Ru'&ss.Gg[os|C@nQ+̠r/uW_A'ռşx `OjDƕ&9yUI X@Y)!5=HC٠ =f)1mH*|Q4<[ًk?m5?S7B⑄֥+Zny+%ѫY=0ZX̯ R} L>9ת(- [Gyq4?kTv\wJKny@s&٨ eO,G/ xHpOXREG"K%,ojiZ!t6bP)H=HN /$$ޜ+E,a׽1/%Seƒ8`G#I`"(}xv6{JL4-u\$G}ת ½-mǧ#kDwˊJjN.iAtN1AI!Dwr, kRĠ'* ExI ̻d<݃/.uYNJR̝:Ϛ= pq]p|8D.h!uV|y[tG F:1 v^*> tAWGch /Zď>BW;eY@_]+S$#f e`&R37TG[ xt7IRƵKhc! ڳ档6y^4I+h|X? pFOeXV$߄8<7q5<os@pgLI_LdG1{5oщS |0AUCGľDpttVWR-a~_Րe斤Υ݈JwFuz] gRکqaG# cN'ԏ%=ɧ:{]Vq~?L=BqX@:P ?CS`6`p`ްQӵ磒]"P-f}]T b RĪ|CT &dK W'n/nK2˘XHz.SG@9k8QM1QW "|}=n I:|/r]YaMYOgÆ|l}Y#= uSFQTkP1xZi,C?=t7UHloP+Jt#1.?޻[~[l(CG Y ,`D_Egw }CbyaHIk]I<$:r>7UR## ڣH;dbMZdүB n3 vsB9_u!X'Z?<7J۞Bg:ʔ0C:~'UX k /#yB-JtT K۶PAYشէW/X0pG>g|5:設KJR5} '㈭Qf_9vL/O_FlfPgS^k,99BHLdV\ӬCIq_j7 (kZ|_ʔX0j&EQcR42D9ʅh/>ˆ|~) ƘvI}AԏDu皳y uaQ.+ K7 ֐J}nڍ9W,PiRܘhO}1|=qpއ˨Rn'fx6B9hrwrSB5ٶ+Oe (1Y֣4%<قU3ұqR(M 14(.Jˏ?Y"իxI-\y;ޞNyv4=iM؅f\x=q:eQm8|37.rmȳ-WFx:P2~ }?9݈냱Xj 1ve\ 9/z'K-T;n{ BS@k?x9S#zc+PWrsMX(ߚpEQ5!i֔LliEq )˂ Z:/k9;ѹYI _;n`-TCDYgs6oX:?ZejAT/xXyN'sl&LӎD K*jyP5=:KNch:gChe',[ep)MvR1 }:dR}hi Ѵ+!He!'ד7~xʳ?2[%2MҔHgOУx UG6Ia^Y};֛P8gdӜvyl;N[Qxl/ *?7fH msT^enN@-+mͯZf%siyd\*׼r::@FN~,,B=G"c".΂¨[EJ1"pi$FBF[+ψTv:a&L4JPB/&jcA%@71L a-(u$v뵾YmػBV{3eg&(j75ۍYs햽I!+o#\W S \ˤ ,fl6-.]B. '7}Ibɨ?_dOI>xiMEj̆d+ucF%*lIJ9r1W70 _Pk݈i].(}\˔I^WeHL]黗%=P❈pg2WSKkla\ؽmI>@dӄuGCc3J6ʼ0]#8m}~7l7E~Dz0\a6'IbיpɳGg"xгJ)2RD9BsÄX/dDqX3m,P}u<&WpZL-cNEKqRε:} _i];_p/|3lkP[YIr.^1//MGJ _*,>vcT0vp+<]`HdYrԬd Rqgr/g`'w]2Rp={!k IYD.=X[S+ԯhNmWKYۗAGR]QzmDL;K8>\?ܳ@u.+L/\W(Hx~tP^nT;&G9?]chRȟn3EwF]~8M$~ gZ\ V#h8c(AX\Q@I.h # w`*֐px}=.~ƾ.+.ے'G>:L݊˘Qr>NBz{uOvxh4Q=6.6i``$Pe_XԇUmك,>8pd {l~iBCP)LKQ50 \˖dTWG ( DUUENkm5a6bUz;[G*DŽ;Ǝ;+\FZпvS™S2iey~ci#qPU7;)C$#>b)i&Ri$(B& (TdRU~ؕ@!W_Ek:bpYq!'۰DLr~7[[MhLquETٓpڼpGDHԳmף{G+LrFWQ`b~T3_+2'^,ܮT,6HOs&Uz4݂Qk@MӡUڑvx g%5 -*/͞!!Otې R+%!Hp9Mt!aʊ&W&iү V'IQ~ݤ?I1 P7hbP/r828Գ3Yur Fve 24w2 ;O'ȥD@#I 9dpj__ʐ|ݗY̫_֡# ahJO Ӧ⋂vsj]p)cKpȷ:G`$6=fUhk8؝(x9rKP'R,gIrQb}Б%H0k*`MVz.Ig0j?\`a`(br8dm*2튘;+puu:a׮*-Sެ 4 e͆g;+wgbu($ɻn+ef%*{Q o14>ܾL#7!®sNA #fM,)/EZDiL $"!%CݼqWP]<Eo|DNt+= ?@nu@0BgU>WKNlDGaҶLf{O{ f@dpfG*v@K?]325=:ɦ,HU3Aoou6`M.L7Y"zOrۚL|%7 GԼ,pk/ߎXrL=eS4R8_iSVeUbOfu2^Idqhv=p\mn[Qa<QDn̝Y E שI< yk#W} N̗;ֻ-.1cvJ80rPbYN= *v2)r(.0σc_yy2X֏߹f/? ZR) cg{[PvX+6O>C)|(.dD{!oT7bu+U²fhZ3uol=UCum h_,CU[AM~ޅ KKR>" ݷI#KzL3&=4<O| aD-yʳ*2Py]gRA^l⿏PYkWvR'M<`) *DBw. X w]LJ묲a4CzQȔ35C!ю9.+H$~aTyQ%{r͡6v'm+ȥlP-#(Тx!QDAaHށegdHDt<7=rXVA^Y'E3? {M{]R%jRXp 3-e`TpΞ>0)?s3FHriYa r<?n]MIehҿ-I)-R$&h1۝dT ּET<7nHۚ]=jK%y}~<'\ljh7>8w[ٹ0Ӷ#%3~iJzzC䠑߅C|FIܕe}IڽVZ) 2poHz;*R־ơ (d40/RqM0Ҳx<:~;ƙwLlxgRlݣ_=o{c&yb!֔49P2.a6yQM?*h+CMTlnB'gUyz.8nE_o[\hx ͠'BчP黚-ba;@1vC @@ξ9;eĀ;M25\<ۤɳ}6'~U8JW@<Ff96)_k{sTN Lv::-bXbezt4V,L@/ Ra.nk12DC 8D8&_JA*POvYE(oGJG1.Q^$aShjs. ;u%Xf{4 xzpj``ULS#_+8n;m_Szbyyw^\XU2 Mڊ> 7B8bs=Z+C9RXa'q1 08oy3N}387#v9r#.cy^5/A`BX_kՂwO MllEG~mwQv=[".MO|"굒xc2Ҍv*SldaI>yGsA'yɗB,`_<*@H:IbWYwwVJXݵ'ҁ݋A[ ޵듉cqg(O'_u)re@88 PF, 3XG>NbRLMS.Oj.};i[Cj^f8j8!BVAP4.\v2ȴapBeЏL`JivlB5!{͙PA=i,h.w_= G?QQe~^Seҹs۽2l֯>Ƞn$ eT9Hīl\ ~z '[J6nLgZuRt潝βJڰޡY7!KDUnTR5Xc/ 6a~K?nG3Pl]I77GhP:s+^"OKإNUεn}snַp%:*XTP0$wȷZZ!J}fkd׌5$Jk1dϢ" 2pl4&!P[\kv{]}Vj+-)c/i A4AWCkseWy@%\)>3)=rT,J$;IVTzpz`v<)%aM@|9D&Kz8I<H$a5㔛_yYznT[bp?MM~1leBx(Ifӱ+})`kMNF\&o\WD1!*'nVF@D+aHdɝg؁V YNjK'o@t^D9׳:3coޠYX WFz?k腷6Z[P'2:`|yˌm5MDﵞ1FY `-d͊+vgYZ7zXZִF! w]ŗXiɟ:340Ψ_իX+jެDu?.jT yGgIKltnM"Sg7|!AB fAS2E=>ޘ)%gYZ7zXZִF! IU]ŗXi%L&ʷK2'@lI gi QEzOm%4rVb 0][9tį6@ y}b+Ȅ^6ί2c:d0SD!e}BTث]k +ϐD(~^H9I`6"f^|w#7|k~#Y;2g-VNծ;<]DMDH_L9/GCL5y 0Ic=_خ]KT\RG +\b{6[B+r̤&MdwA vƧk^IS4;teCMY}aQO"4~䏟b`6=еqH:J039 4#mBsGeQwPDP c3!a!`â R 9 {}Rnf#B^ͭ-ҠFBN)-_"ɦ|/'9i8bH~w]#*IG q peLڑO IĂ*] #Iq%O{})͊6 Fk4Y-Ad֫ϻjUQjҴM,hDɍկ1Ujߚ܉;|C!w+_C9ZŒ u6UX^e79IϕKպAj{ CkMdd2y :B:qbr@'G6g]g5!(8r(5{_H3l('A]1~K~xyxDoE ֒egYZe8091f7f16f64868d4dfc5251f9f0c1ca8f309799aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c ec6403274aa00eb8d4fd1f00484f30b7129515700104d0c9c45e74afd5be74cd43801531ad34ce2e