SQLite format 3@ .0:  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  ( ((!F1J0J.켮10,>{cWXw=#k~אl1O#Dέ SҮAM8:JvOURڴ-K , Σ6c{C&6{F_<VG Z28CEl;_ #d DH hԍڈ&]bTz< w\&isVEw)u4@):㫼cBZp[^E7e2{=mWJBpy,G)ɧ7f_M4b ı 6DP`pU,$xs %uBoRp#*qSdk,i8ryU_9-ۻ' 2EE`Vs6*++<M#zΏ`$J*,X_EeSG1jW6=|~T DQ>?r@b 'q># |7\{>gMsn3J&OExo_``cޞ1Hu#=aa#S]=PѪX'(lyIf:,zxEuN8Sbέ/ -LG`b r̸*\KY+@Cr;y-5N [:% (nz?cjiUG}胄aٖ ^D1O&:|jpvu3Z6\y /=8M5eWyrfU<,.JSBN=`]] P4ObleZzII[ ^\W,ig5;_Uplp"զ.ׁۤ_\|fZ$:b|-Ρ("; L#j̓xwM,ɶ)o1R@EAמHjn8IeWU Lk-xU ^ ݵL>f 7T o+:~;lic QL[3HlGn 50,0GV026*JkԔe+?"&> t&q潻%#oQUWV0AZDILUQO[4 N Xk1mI5i0eYXr_avdW7tQ+igB^\Q/?yIbaj##aLpn%'ZFF/WZYŵؐ-q$JSmT]홗I!YFܨ\ z 7,h1,m ZY\\O2v|zH!-,E{%~Fl*IE^Y}_ZǗ̈v ݭ/PAnb! PGCJc @6 Ô^ >JN0Ap9m[yDbnd.T L_9}gʹO  @l(^Ԣ,W4/_Cf ݮ+,whk q:_xF3)Їl^O!?3f)[KSEPH"r ]_xXh9r5S!=#w˾sY7>ROk%vu RflAP2q^h_yz՜J:q˓gwc"8up Nai[u˷X|~|1]qn@FLznm]$cЅ6]=CQ*ީmIu&T kXBw =_]yKS0pM%ɲEC8ב,Dbll.-&9=mGB`~BF-R9K/m0">jcIYTT2/@ !OvVT]:uP)CV (1xdζZsd|B4Yْ]n--BkL>'-Lc\)|KEF?4?ۚ5'.kəN>0^bؘ^@ZM4{[b.Уu_$PI qNW](D/YcSWBZa[hu~Q,)-mD?>rTfѐ㈜)Y8dDf Qt%c{ ҄g@RUP8iK7̈#}Ey l K0TE}hAKPmpU߭>4t˚nB:5~9~8eh$P$g2,PeTfE=+T®ȷs- x0OS=)CD;^zi,$ԄSPt :i9$~]*> M0y#f)s׺Wk&M.0v37oydvꗩ| ~k6Y*zXDTMAޮ̈9i0UKYm2`GT 'b01|oړ:]E=Οb8j(@@Kst$";~8@ n:&lS@m\2wP0*OR8'S?B<7<|EV`?_ `@ $ ??IQw1-Mow57s}Uf}&gM933/&xL?Ki_fqdcǥG.Jq܈ZfnWwǯL㙧R)v4yɹ0s8Exh=KS]c^w@$„ևRt,|+7ʬ'C^𚎡k3t8+Tۏ@y+ ܾ %v0ˏ=ñv_IbY80;]Xld "ȏ> ŕ{Hve9,(SUц^R j7]WקQ'[nb\&XK7Q>GV3Y}aE\˾O,"ixH8vBzHOiqcvEeug)fZ {\Rϳ s~b!Z!ԽY#jb39"?=N b#77W C`~t1c fY[\q?!0/ {wwP%XRm0+Y)UxjHIxdB[5 V~ga>FCwffLe^-KXvK/ZиYn9 ~WI+NH,/R }ɥwT~Sdʡ*ež/-LW_-]E$C ub?YR2@@Μ/4"ucxo)9xzz n|z1KH}YjolBgE3wm秐q6'T|&L7P⹍`fɑSRZu[9V/QW50\nPWV4Azv*w zʬC ۪aƔ0/3k?1Gu!.c-,}J$B~L~9µ&hWrũv'@L8 h/z$ MnOCLWa2|g!]˦ƴ|bW߹iw~]=l1 rWD! K!ގLEo6_ey9$ iN $@߱KD;5ǿﻜxi#}Ä^Ƃ+v\@tΚl(^xrkya1!ٞ7|% "Y;=sjHl$i7 ϵ'73Zxu."i%=P#&@)%DrϏÂˊڱCB0}ҿYp:0ss|Kˢv#C:zI-_ޘvQI PE!C"‚gg"n#Ee),鯂6[rlvCi(ٶG+k)W4BB ';ûD0e etlr JTs^lsB Xw 0j_c7i'B`kVrxMɚHn3H0x&=YaI1mjks0(E/kf^1:-cK 0,{/YiĽTO9CX{&oqY @b'%e~b_yA[ڋ%< ZYVQ,WZ(뇀Nk1ƔCӀc뛋ȿ^}hk嵺1Ш72gaoNmHt_4*̆iu 6еUPtLRitRz[&kexC4э?X z[=ߚ"7hVKؤSt-khY䦩jmee*A+ 5X?Q:{fDQs ӖNRhAE<ĒSƗpTHvUT>n1qX൩ $h22>8K#8?2N[E~,/@$@,M5H*8^A?CiRe4r@Wz&[3uˏ"k5a٨[ oyaUi4,Mſ6+tnߛD$|k̓`D 'alFQ rubz>g)E؊akd V7oBQ/ Cd4iNJv*0>yW ݶ>0Q1D;F3|5vZ2IKVb*4U7Tm|")Uvd8n&zI+*7NHRF~YH.,u2R2j<ʮUP.>/E U"l@H'荽zǗI06QcŐ  }ɟ 8*0A)rUỂڅc1]nrc+~.g LygYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*X/鄼2qFQ=93ϜO6AΰFC ^"&pvRlÂ^Oe~ħ.]),:"I)~O-^Ev/mTCqV2_Yv4e`0lʿC?4#oO޵cb)̡@bcU}$*=WcI)|#~!yQ%Zd|ksVєc&)`@٥,M=Y ,Y3ؾ/T/83@ DяT4L~̻9i2-8yêr snm%inRi5ffc.^-3h{G(o_ix Va5=d9SMNN][OgCD|WYx B%Z} l%`9A| 6/9A6+Jb嚑ZSPxur%@QrnwOdU*I-LXBmI_Ld7p:Kjҹʩ!E@ n7<43WSNq,Q<>!KjLA=$"6E2/ .>,uCes[FQac&9s ./MbYleTr]#P'Ί\ t#7ވX NBԧ֠΢PX^d#X:o;I+ 27kϱgYZ7zXZִF! jB]ŗXi%B\IGC@ޓƹ#vROQQps-n)t.`8+Ϲ aVfge75} »zCd3"X[-}IDԌg4Jkw&<x%l :m9t*ݲ2#]*HktۜWјߛ Pq+#uF}Hc͗i9tP+󖜩I1v$xa >G$X9[˟UG6)8EOVr56zFx[óX#]SZiB5q?:gɄ7u>SE k1Iv 6W>e=SV~ n6cUЁ'wSA+ AO/nHu ȑ:J`Ou9jEmлxG/-?㈨y%s2BRhWK#:P*1j@}y\*ӸdbSyz9L'RmE;A7HbM컃2~i mNQs+i> 'N}}/*Ɩa"S= ^ ?x(ޟ@#baxMOUf|[Uv;i fᯑ_c_Vr4'xXxQN"P𗹾@ r-q5YG4F]O2y L*bOiqBsޗ&DhsvLeM$2'{C˳zC(E5־-kWILB q9FR²Ι‡\,xER9uryRSKaI0n|n nY0R`ݏ;2% E@Y A:@DcuYO 9t9,Bf8$ 8 O"z2lpq<ԨСx:WAf4:JU0 F[ό4{1$9]޾]FIi|asʊsCy7N=^m*tX 5AgH%yE=Ub7rflkIe(A5qc9E`guXtJ.wV941e󔅃OO,?Boa&؈uMC*#ਇ:-RЀO-(x;:BԂW2y>pˬ+b)E=V@QipqXHzmPcAκ8`Da-NIKG?CB~CRŗ-NaaNP LwW7wn\R=`i6h! eQ(x%6S4PhOAHdlaD&Cs߷5t]-q3a{ dVr1:^h U{5T?~v.06zOytO4 ]wpoP=h8J"DHI.,jc-V6P#)lBTZ} ,us,$/co3r@ި۔P6}s@M$WNr6εQ)nBA5ѭsT~Bxڛ⒩9m(| 5ɚ8iKSV1zllH 1E/4ҦDαUeCS&EZhÄ;5.Dk򟑵oL7 XXJGG4L@֛I ۝ $ PL\<]d`!șգM8wj' !uӎ;&E{&* u3gjk$f|WLdPTbsAE!&\jWO/xh~ 3~ά@9q'Xž~WȌkAS$WQ]:L%;$W/{!J D=iJ\w ]Evx.'p!{}^(s-$9"A !]J}YL,t>\g deQt*[嚝@J+#(+c)D_Me@V7#zI.(˶n2Ս|aκL_\fG&Op;%;cQ:0 >jOt T#F6^CV>稈L֩#f<g}+աߏτn4%̑89  .4тIKis|]cǨ"GlMGma]H%ʍ(m3Y|>ǫZǮ3'5>3xX/=r9YvQ,=RMBKܦU+TO~7^,a 0w9;p# XT"opGV21]ƩFKo ;n|s =cVX[* Utd[uUۗ@;`vh$Q]7 #·HrJ5=pO9"dmã[EZ&oz}I@j 4'B~J,Nkd =VNd1bWÔ.yp7>aQ$o6;!qcῸu4}\U89="^$lڹZCiSnR?\}$Ofxp*nhg^5?`5;PHqYjBO`Rֈ:@e%3xf_F,~XQsg'L=9 lsOVeax-nw<.REڹ95h _CG n!L{ˈD&Kp=Ǥ⚏KҾ'SPAƄ.W}=w:T[ T/ D# RSp+ZrF"_ۛ(CW&wvD2 \,t(mShZt.ң uMP͆] ߂6RTF_QU=wY$mD]ܺC(s'UrcDG# ;kfxBRNJuQ}Sm>+jHm{$wRm<%S;V,4.5nYxtjY"&5 "r9.|+!W @Ly4V O O;3IY $C{٦KXW0P9kg#\Gyr皞ەC"GcɾSXArMӥ X.DXF,P ݓhc&Q1G v6n^?] o.V ϋމbBq [M,y]YJ̳R3wUfj\Ea{3;D3h\<\Es!7N+ "Wd%<-jJN4smƑ(oiV]&꺟Ohva64aU&{DA.tgOVWo>AlղƎ; Y /SZ:+ E꙯o_2 6р (TU"\OS)Qg}ls8U-~+gkt3 = 7Hgxullp݇Ģ3 f76҃ $NŠT}*]4Xe_/> P<Qkp>D'>ܔ|9^M gs!-#\I'wɵ "&0m~U>a^FB`K%tyXVAL66RAS$^<eT`#)zFIoyQ%Ž .*[;_9@h>_\{ƧIʢ'ӹOa*n P{hHipω$$sRPSGI`_d .'G[" oDFt̄ Ts$9L8+;ȖY ?]j;lCES#/Q<; "gƗ. دs,oER)_SZ[|tyF  4AS CǾٓ;|yL[0 xdETxTu=6V4ެ ^% ' :8M(|;"9C~H̦`'dՔp^ c̤חPx\]^ <"i&9HPˁy~dX}pgĘiOQOo;uK+\C&0[M'tAg@HtqG[eG;Z09S)4Tg6KGI~QUM"J/+xv,@MFom: vz@ Ix?[wNFP8h'  vѝهfA]2//,]TvBHL'lv~S~)(煋񮍋nEdD.!*4YeyTX|aG;sGaU\ll?8=ҟabviݞk_b Y|#W3I>qԪ-,=jЀ15'H@:Fb=9ÆٰƘk)E]/9o|rJK`}ƫr}v, ~.౶IHR }e 2ha*E9_`kiW2\̦OxoU_Q9kTXy(,:…pZI>Mm2%48W,asP ,+'_ y{ٍ P8=/T@a$Zk!X!zQ~pPSH= "0_JHy/m D [@L~d3?AqɕBXX`WQVG4^95AGkKvq3BC!ݦRȀQ*kWw ;Z "=oΦ+Gyj-RM4I!;S()ݯZr~t%+?OuRdKk bowk aPhq -@e;8zȓvaceN z`p߄dwJj ?W /V/MV6vW4 E9]p3aFKH~Yw=-nZ;A1]PZ:\}#qhq WoC4Y6ɷ7yS3 nM>a>.|h6j7f/"#&ԧ4.<܆Bb&<zOc =+RlHLU,a@G925jȽH5eM[;^~?=ej*h24 `Lh\qPR1ˇY3m&xcuHW^µ Fbs ]K`w T;/cɎ^h.kFAIKkcf/>~LUOPuWvT\eFHL(?GܻPWq0L yLQt\6Elj0bV 8GG5 ]mn(H_iK2kGD j@/~CbFZjeJ\R՜=Z$:%WiiCHzOq$ #4YC+\É4"Mh?O_nBaێ*/{!?#pID`MC19*7hRyɩ_.7%;|IG{gŐ8 mG9梦57-DOL\$'R9 Һv^/H?f8HߠWL83g_k_yx(;o{t )|@mqHIHԣ|wߕ_*M;4HiH[ǓQQE^Ag gviȷ+ZWhw>#הI+ (K[# p5 G}xEpboJ99gUfedʼv Ȣ'Go%r&ɟ[L~H .Mʣ t!(4n7bS:-GQ}5XvSOX74$Kr؃&c W\lHOQb-j=̺|j$Y`zsbh`%!-R@traν9%O)vX62m& ѹr鄲)g% Tx4 ̃NtdYxNJ)6J9ɠ?.L*D{:0gg𚥱h? !>\b,9ʧoxhuC{MXx}a<9E kZ5JT$!M: Gh{<;P[ jrl2ǡL:U x2̋Ӂp? z{c`nZ܋G)Jb]y jՐtd "Ɨ]p=wA<w]݅ mA; 4O@m"|ü:D}žDMxm'2So'P&Q!wJ@FG=ς8!x*U/PyLP{2<!1BOtP` "=,sp&sSi5|CaW8)!/?Bsq,+,lۥ/%~[ 0QΛ_6pfN(t*l-,8u6l-O-g_2R 5v]~t0[=.>h`rfu#B<$ФOp "E,c-L齂4h0;c%\1m,<.H36, F' 9mSQߑ*D8bXMâOvKFeޕp;MUu`& fz< YKrJ_23 Pɔeِ8 Uoz$aeh[5qxnWg2QKOgVa3a -$pt"莔y*x#*R b#Ɗp'n1W#} uYI=mV~oڄ&:Mb4s0BW:1Kxc>S oBsX97_#m"w'Wu4cXQ 70JJDCZ9M$(JBGi)siWPmzMh꘱{g&Ϯ4ֳ[u /)ў*y=!.E2 _UYqu=F oU^x2Om kwKc ;EA z<]<۶o9Ov:/E`foQ?˴MSN<hYF `ա_vȀ@snf}sLi}25ڸZy$s;$6v,*M s7 VPo˄T5O_nvY6N~dA!qX ˅ο e1L<>%sLґ PlrMR|,fnSҀNˌ>rU㋨^իء_!5b7'7FK;!Gw4/$9!tUbna-zcoJ`b^h<ʼn@?2ZR䒂)y Z =8epkR(BGWx1켋 ]e2Iva!FRgAl-{!߁>'bϴݨ8 PWGڭhHt%jQ>]~?Ƀ$ٔ?Щظd^ L⸙6gm[Nɯ;<ԖPL}B_Op;sP, H:ni^Љ,@?XvPK vBٛKnFOE8FbJ"djhN`k4͕5{ 85Ptd,BT,2'"ɕK&z#ήae%Qc;E(PHs0T)wag7mƨd{y܊d1r{)KU{59ͨ ۍ~ bVz֡n_p}P/SRa}s#Ig$ "uL'߆$cɜB+>= Di5 4\r#,]{C #y7ltگ'Xb:#tt|}Ag_ P`k]KwPVjO݃:$}T;]M  VꝄ>/`O/=F)vpC1mF`Ѥpx@5PXRCl \5Iˊ4?1" .|%oE[ZPY*~S~؆.8 b b  G^v %0^Gj)&_e1ЃV3JM:P%6xf=y>Q[c2+D}[lFp̞9x{|C|B$9Z2CO:.&sZ<"C _T)nW#~p">0ivmȝ*m.|btoƲ}'2r7dU ~\###7aM>.w ]&(Ie.J-(2N}9!^Zzh\N&y&ڙoedĎM!mk CY?Q@gw6e VW1a:yk'k>R53JV, < * ӷf&Z4^ߴx90m6@ToL q.} >>yfkj?oMdWuz0$SÖ^PXӓ3WX C jZ6I? ˉ"AʮxɬK%-pS!)e!~p]*h- WK40xwht?.5pfXXd *.~^dvz֦T 9i|ݿ~DjFR,׬&Bj` ;Tp%GSf"U^*QHrm$LdO2̡["fFL`_5$Z1rULJy)|=I@'}Wn| $w?: otǻQ!=i.'v/(taK3!i Q'`ePSގM<6NL28ϱ.xbOes䨤Pd|3+?,ȡ%7l ݷO#ZȈ|v@=- wH1-tXD%8^}(;T6<"ր7,83l_}=gM W/ڃQXj,AUo9Sa|`|SDFqe Q>Wd¥XΎ7IYDdRiV>! Xq;!=}t& :pd`:wF^y,y8 r?&\amHS1.Z 驣)Rms#v`<ss@.㶊Abuts@MYOMnN*21#ReSN/F+W*Sd^APĭ(4w A뮕 \#.mDG E(.8\99Ȱ}%#8|pzdCɏ WسȎm8}S(PB3Wk-]*|^O,\&1}џ3X(AGYm٩KUnd1W8%)Qr"^Se? |BH% NrȜʭH$Y2ԖK':C^huB/j !춐rxǹĜ?Xi*b2W#< .*A(TU>_B=Μp GAdFiAZlp̊M yZ_I-Q>oWUnS75stѷZQ"컰-tjP!I%IRG]_]>򩍾EUL&S}kMYf,}H<Ei ouE ҋY ala+_ @paA/<`ѡemh4Pt"):0j ĻkWL'틶|ڼ3]o9t}='mL&\Q6k#D ePIPlIy|1 }HYM^H|$&ٶ ߬,uOm7m7͙s^75i=ahr9s0f?`Nj(Omi*H BM|qRȞߚ{㡢rugE6ԅR/Yƣl>>9i @cN4 \.;aɿ:j$MBlz*pB$+p\];䶞d^  Q Sir͂M(YRTBFbzdQ$TH|]?dQѬ@tw݌ II#ӶLsIu=(ίLHUrm#*k?K @'^<7:ipTw9t^ ܄u8T*n1y8-gl4I|<^*]S#9~p.4 :J ,Bj@r~XDTSVдwL˰ If?t⢮qhEğWu^+Sfs,P(-i€Fv!ÅAbstͿX=5|$˞`h%;E4\o\&rY9ʥ|\B+Tā֏0{JYtʧ]Qg+hThnI.Dr9Xoc_4w9h@w"'--̻d@'"5;[2 y̛VS*C,Ԑ׀s`]#*~+D$a .Z >95J-P ἚF&'HL:sd+GzP Jt !ӂ=ˮ2-Syq{`A1w< jK̆PJQm/'1 `qiRIYJ =ks W5&k@xx]}m>SB~{|-7]gZXytZ}JTs?]S&v7r= PfJcČ=Kϒ., AAb1)"5m\6#,;)ߖl0xy4B o Cc5?:V+$;Z;"5S.æn1BIc*dpΨC}9X=EB=":?¤G8F8*~otY 0!S ԗ"v ,u+ރ21ɩrXGBJ OQWLHNtIPx\[7 ;VI&k.2D6ub#~9+8$1F@2@ƛQw%CYM!@YLEtƺ\Y !XʗY V"8}G3̴]Mj.*#D-eٌ֨_js´=+c#ADil?@qY:D]3!Oޤ{AnSaqp಴26](\R*XdCRJYJV8e˰h;OG[YVdVz;3j-OGpE|h+M}OkW4rF5}y]e3kE&ٝ{QN1 ok.<>H]N_.3 D0ZRQ˙ L_vMmΊ.s{,qǭvB fG,cz~^+> mDgMYrsuG4qM8ZCſf3ڵ;/Exa#g=ݛe@spqAQ"L SsyEx&G\ a:v#*!(ZiH&"H|t.jI ӣR)iN LWpF c\;>@v$;3M[ԃ|`b%fP@UpW$ybd5Wa[wx:#O3O6vYkY@RHʢ# DmoFn`A>7ԇ ELQU5]gc[9*X *ٿ%AlQ:Ε+$WK '@nhF[{\5Dj_=_j־ǒ` V'[ G4u>:Hԅr>:rpa(UӱKN2=.uut}(޲ݠ%"!kz=$< 3z wAB^|XVys Th`Wf>ڟw*|P.nHECY4*a B<*"'7'ĩV(S#⠕tCW#Wچ6O ZdҲj)~Ov8:1Ȉ봬tGIijxflj4(I9 "E(3م<I${VZHy@_9sx]&vey:ns J]K:pru[qM*j|,fM"SN-stW%f^\e df!lsv97\&Ux-qD q32%>=ixU TgY4BfӴzgjzzhU.sNk@FvZVI " mS0AyZ.N^疹&EmP#V'\z[ %,0(t@<<11xsr+:kaAk#g\Qо,_4ym+0)޾^ Z!!Lx;fS00컵bz6A?Z:SIw9Dx:ivY2%M?t\.^r|\_5G+=u$^B,|=e61=SSrH"O&Pau03:8RG;6mxx-\$ޔw>{/nߣzE-ہIGP1} $\fe>/9A.#Ȃ#(lls+rؒ3jM*Բ%w$E)N+vdh7YfaW'a"F3U+ /}3>41-8N]QU9 O5#ʳyB9ZM\!r+P&5$jd<&l6ν9)qtE)h0SEb}Ѭ* ?MAD[V[IhT5*pIsZ5K]~P;Nol+ګbigY- m^z,:WH*39jˀ AWrԹo< 4zE?q2Q>e=i ${dJ7Lz[ܦ_41aE2)%7ƩƁC h*C5R 1ߛBAnY7hTtX;ijɓ(THy>iE Rf#@ qĻR1_Ib(݊Qne.tQă;V 5k͢ W^ꟑuyh(n\[:ye'CY#Ύf.}B/Ip]P[b3Uڎɏ,[I' T}6m8AkoэU"=nIޏ:S陁c&qB@OȆ tJ=Q aíu$ڗgwUk$V\#+ {DJwwI'iQ N 惕y98T#ow;8 H-X{2HOJBػ(m )˜'CßTD.\̠ٻTq7aDTa!>8Fx9Rjm_ /|#W@6ȅpHҧb ʣM*e@FU [ ώ)̙=ٳL$kiKNy6Aq̴*XX ۭCec1Pg6ߚʔrN |Sx7R>!\ ^dY$M7R.bJ/29,28|p%X|XkX  0Hp}/&W?i̒ތcG]yۃC7=" Kԩoւ,J"(OTj/X‰͵/G.ƈGxz^ט5v'j ^bd g_l ߯MH(6Wck;XY`5?N:1z2ɐɃRStt*īgH#$Jꃐ; 댬@[- PXnl/ Nk)ρ]*{٭+D;%2! :i{"F zalx@@Pԋk73I[X;)@:H޻QR%rzooG`$))g?H҄dwyޞ*Djh$rǘ3!8B]ZМ3.3 |0{L0l m(yDg.3 z)7*x,L?{6첵> 7sUv>_ͮ K1@+aPAx*-{5yQc 7 mg`:  Ht] ~uN5`|lX7z3Ng|G$[Jc ?& AB: |Ԅ~jĀ.ܠ-zaI_Oo\CyU֞{C큿`RCE'C `uib'\A4wOjICPzuokW9]Rw|DRIiT8S?t"Jӳ:|Lv#g˧ E~n,v5 h'gz/#W 0fᥪ4 :w_^;QX7mZ̩zҨk%+zE@T3p m֢`9`0hU|4QF+JN>M sf{Q٤3PW+-aߕJCةy:r3q ~ҀIIB"HMcYǴ)ĠQ;nyZ 6Ȅ~# SLԿۍZX7 QD 5 qF|Q ,=#X'RxNK1?xu"B4}~1GNlQZgߣ¦SbWf!_&DCMcD /$%P#Wh p=YE4A:_fPD)a{+- RTxPE)Z3 r[vk6hrfT2/!(Bo59bcܪHÎ_$ᓞ`8,ܞp4p U%k#oE~e )֓E6܃hZe_YF?Gox ijC޲dstHl͆LVbo 1WTm\r?Љ6g{򘆔hK@QnRLS֎dMXDUSL^[L`V@1:_L-I UŐ9G):1jPߩ$LgAkIw?kWOMTYFJ㻾14%p ^-K^1?t=?K!*+T9kuZhPJXEs;I$y'Zo5uUzߊsMp{M$05E= ?EKfkl*Sy2a3' R 1IĊnیt hޙ`hAeQRs@ -D&Mz&Gf@ z~ w;lhn`uB޴zR5?舟>\ah6t Lv;.<$ٿQ-a# [CELU2k`k'^V8~)$aN{V:K8Yoz5*בp0M$\;JnEKO}oO+IQ/ *OR +mdBUxҺq$(T=m<#Z6L(aJ{7S#MkV`U{pcp;u±\5x/7vǿj &,j>Ŀo' ۤQ֣'K0S3%jusJjQU!'lci&Q/`ytrt>%J8Hё*ym ƒjV>5g_ڢoTF@I[ Kt)Ovv·es-I4M;z$ ` PfiZ I6M'|[3R-pOA)M YN(X5R%DF7;$<;z}Aҁ*TE<@F) ߮NcoV;^Ei:e%tL`%9(/t֎uy'VMgom hsw\BA:Udܼo'R( ׋ &lTwr^pKfQw,6sxP v@/v2&K:*0kD2{{WݾaI'@yJ `kp1HD|Ke fz2U1Xe0>,E-ݥ[.]K2dx^~;{KhMw/D!6\&3GYOW8~,X~':jØґmX 6mXnLFq dyl1dܜ [e|3pvʺeֵ ^%ѿr1ʅdjCCn3tR.=Ϳ7nn`I*$ ||0q tȬLUjV7hLvJį𘴺 VtlmZ.ZoV!JQÒ%߳XIvlt׎n9w <Ѳe#Ry-ꐃTᅔD]"Cv5̬C%O`1N"rl+ LDP;Il9X2:K-foUj E_OR؅[w a8}m#EXA`R_ZV73T5oXTGN>u5К/i ~G*K6St8F 91V}gIk;,{*Jeh30mGe!`ugd|a֢쇻}o; hFPik48&_Bx_ nr$GWA5jYլR5zOiX^JPx]=aVYUKnv8]>;ҏ7b3Qu3 ofi+q-+A޸L@QX5 7wF[$V@iوOO AKV\RQ{0dJ}y&sFȲuxU 2dQo1*Rֻ~ګwq4 ?xS~f$Yr@dJoqvꬑrR|Z/8< \7a)K'LtR ?:D5͙wzfk1eXē>Gm1OΝpoR;kJ@Yݿ"buDlZR±'J3s$2^6h%<ؔ؇O}5J菵bqGx Qk齤}+'j٤9٢9[a`J%W<-!.?ApB!IbEf4Yd嗀d^ŖYDfG0ꗐ݃lhIG~6xVwPб({>?S3|]!&dNGjCh8?tŒF#w!ҜK%+Ճ [k͹S'yA%V}=SnZ/,D YFpgS G*l~[Sڨ:t'YUg!sfX %p~$hD^-xXH^}  :=v,+r_m/ڶi vpئ|W˕#Ku/YSQ-.e%|MC!|'hV"cy$ڌn )JדFtWjvD/5Ei\5P t:ԣỊn?FN9h QUY2Z}pVEQ,͞1S%B4¿sd NCpc5H&l ||읠~. sp: ZSj7}RLpVCP$tE 8=rº1ǥ3C6dy ~=C2 92 Fx>8:YC[=D(y;q!O;Q /p?;2܂Em%q,pVJBljYe*s}Aܣb)֫"qxP 8EyQ{+yҴ(̶&}ŕޑV$ȦHQQl@4Qgfʜ605hS/JlADS 5MwG:9p 2QޅDX;'LӸF x*5d%qI("ւ?6oc+tgZ[[v_l U{ ֿ"W\3\$䱙EP0ta^.7Zȃ`n!E IiKu[vۅ \blJ8bkmDQXcҮpKtQ}'KY3)Y</<:E:$ݻ "!1Q)HqadTo^o[klsaZy JƯw`vz3,^dLGAy&|eʂ1dnB)Az ЀܸBF'6Nq/M}޷eKU%4aN/,#aDn`~6 J2c- f0~"Mr:\Z*7GlL Ɉi <RWl 0A`Ac#'[ p)8Ѓ)W=hqtTHt;Z f:KI@&-PdJv>)S!8*FέCɪ^U( =7Cn7۩?ń%M#m7Zf:܄P*n8!oR3֕%LGV~.}[)fPGL٘-\u\/pXVskW.@l{^0%oĸ3쬛mjAxсxqPCn@/3QPGק?>VĬǪ9\dW i)Cj~qvն:W&:;\iF E׊}fwMnJS;96hY6 @KI$w2s{! jK.0oPMcƪxx݌DّZQr'k;OG6!2 _+(G/xlyY}5`J*ZWH7DfT̏)JC0Q5,/_";RZ77\4JLm``Lqގ3r(-6aܤ2[4THd j翂 +^q=`QR6faZQ ^Aү3 U 4-Z "Lw7!"׎sv{o!(aNےa汏dr32FECr2bWP?) <էQ ]e;WTڠ́!a6gR.%B%Fw:SՏ/OMx1xfYpi#(R('`UΔw:œ P=с%T*Ŗw?BPXIkf= 8]ikus\pv'咣DԻ ]ڋn^_wŹ r^vuTyV 3epT u'Rs#IQ0〇o: Le"Ҧ;C%MÏk4L+i-]Q!w1?[oT-2L2VWF}xo'ƛBğ y]Y+ ·Ϊrel^Z/] pv+?(_F?YO&R#_ &[Dh@)KaCC㕗2% @&}MPp07ؒA.3ʀXMJ+T79 EVih>& l<_\jGp9h@F4if2 H0V*@˦Ď'Ǽ.!:jBG~Y ?ǖIj=B(o$?1yK色Fu7ڱ;.$"2 /YI6QT>CƜ|ߵ?zڢt'i{2w"oBdWp5]Q8519E,5NrA|عIy0l!vkɂ4s!&(6-~kP2£@@6yzY6 ȱJa,P2}-`cfrlHzn>Iҕzftp*s:E]%m@j"pؽ2|Oio`i2G iM F|<,q9lCL,tRj-C(!#@<4Ož  މ 4H%hYn|K'eoe9*fęk8@3p9nQq'|k #A+Ȯ2lE[LOx yIIrbzs1!l]6-a]+γ i~Or&`tra5"]&utQdMx1CQ/՘t"̰9PJrw8#` V.#wflľ&n25Ư$JXvDˊt} J-!*7d Bl\qVd c$#TFbJC ljTFTFMQς 6&JO0MMɊD,[kCPAQk}Bbmh^(dpJJ #[!@W~<-%"Xc|`0A\/>a}jT4U vlѺf{%,XKNƯxu*PyZŽAN*_ͺ7B wҝ3g"]7頍z˲"[i7R}EG(fX_YuԬ''8aEtjf *DW i}x;ֳzō::N:GyJc4A̓j#pё~~I_`W:nES|OOj./pA('~i=^M$iDhK:&J8i!2gu=]46hט,eޔ^#F7|c3&SAIթP.ފ-kgYZedfd0bd0bb60df081ba161dac488cb1df8d5f4b4b91fd754b3729e34bddfb478bfaa24fc6bbe2d01940d4026ac95b62612158fb00da235d6b8be8c32