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 %t0D.e>,UE>ўiDAKbI].$NfyqZ7@ŚvWE]A$: 6U|[ 萐tnS7ljgh8EMIAQ#ۏ6;/-զe^*Zu*H%$Jl!0~WOǭ#" NqOGP8%L\,[豚t ŧf}yp;/N !6aQ"+e@ʂc,=qV,[ Z`lWLj&YԲ" 7>&>҇_&\E`kSё?3CSeKԭPd \^ZH~!HǿxI[ B:sTv,l3y@v2B0 OJ4Sh*Uٷ|oU"6 V8LJ(.10M[19'Yu4!Gc!aUGWTN6wEꍽ|*o 3Ӣjn#t` scNci#2q`eDw)8w)Le,f՟yK69UÅع%D(u7bAKBoTn lM& (2V֭be{uhj) 8a0Bɭ/Di"߉|)F Y;>AVb$1^9u9P2`hvF~Dvs-8 J#N$mqlHEH0-|Kh7zݖq[+ȁ7|B?Ր MLԩZL2W}6fjE",p+rt"Cٞy̫J^0 -ٺrZg:#.a~D t jEB~,zn!NVK#[{ϳeGI$g錾yL $0XLQkY؈ph j^%^ݨ&'C7?G@&N [tl X_v:ĸ p-\mP t+<1q5@2nwy_áP? V}͎c N6Og ܫu2mo}2H[46KU@+Xoմ2O7.6iȾo?` D.:D<^%i/9`N/xAc[d_D'-aIQu BGgJk$Zr9O(ӠJ@1݄CxQa0Q1~ ~.g}so# Me24P2T@ *BWһ=FR= \.c]cEKGuej`C|64o-/A;8dT5 /mmTFgx&:vуz瓕Zz5WHH8+lUAe ".1+D_Bއގv5JPA*Y|7QYpxT$lGC %SqE % Generic_Join  7ߛBoaCd"^bURRH Tڴ z>MGAb|#蹦6 xޓm@|9W୅Z}\CoPm@K{ Lpx5k'>kL\ V=/Hm .$sMd5P(ehf6ybc[f|"{\޺C IMr wIҠTm)M}Q$>RJ2%۫6ƈ]Uq%QՈ6e ΍[:* ؞AxBS-j⾾#8D>v5. S94H5ag .7)^Fo:O0Jt5 S\~[ i#8`1hd%1C=ŪL戟aiyK9jj=`c0ٻy=fC7e 7'x&F\E|loz*zN's>喭5O<2ō?d-WJ4m:A5kOPY`* gDy4EDEJ [_N䷼kjpuH=@Z<~{Ds 36j貫)VZ!`]~ xćA./}GmPV.y%.ml!RZꂫD;^ضʔz ݥ'nt2%eāCA5 e0ʟWgڊ i]5`;ñeT5D%tD;ųE a q.ndEkj{)M} o57MRbiU{ g01?pLe=4޵vm<\I-%(07;N$KKQ@#*- $ѭR3HLPl&?GWySUt{,cIK;}2/een\`Wdh#daZ^HJ/4  Ѯ9Q RϮbDIYA=?WVes5#FefYv x6UoHԮP7UJb1vQ׿[*ID^Ε¶tX+7n!`>+h 4}r½MtK}xD,7Y^5udژ\*`v73 7~/3ü6MpuLN60U˕cঁ[IYQ7ԃwHCۦ7?'Cd{*:eģư½+V1ijΰaJ"hϜry2]j8ɩkEl?dҫ qڑb5&nx.cA-">j$0 [ޤdLUJ AKa2?!X5n y/1.UYS!UkbmظsoINB#I>/}2u E] -QbYz jM"D#>mOx \jUzTXFv =zNQo7X%CB6BzPN(D 2 /U-^%=buԡL24dRES}vwJ_rT gZSBp<կ9eBw 9q=_dg!MqJ ]&C7gDuDrQ]{P| Z/1Gw2dV=RRFЗlVmnmS_*Mz{5ZaanX ̿1;ntʓds Yh[((hm;wo)u}i.ikΞ"O :x7+h[[YH mUni(ɧf:"ૅ Xp2 ;d_hNE%u9q9ϝ&+u 5ŧ>iOyI6Xz hhܑET [*,EcAY+34USƥZ=;4CjNjj,qݰƗ;bYezY6,(J:oAWe-T8zj 6Pm/6ݥHG_|CD5cܕp۱\*=k*timo;_Q3-DN,CCdK8d9`})Fȏ AK-,x-jPh' gnR(SwQQ%䃜 ÀLHڛ4&S w'>/8vmb E{Xȧߠ![4VeWL<ۯ**RGo&MQ 9F6A(xBf7k! j+5. ,f2 q\0jErݢ]WCg=L=0xZ['];O)`yEcE\/|?F\;V̽ ̀[&z lQxYQR(řRCTNjJo+h)dx8QEdXs1sԬ{Wiȩu V. 3iռr-~3d2R`!߀M& `2us⸃ !ZukipzOq^CBNk yJEfWߕmIuW:lPU #Crɱh~ H)eUUc啾Є1Zr={E:Y*ڱER)(/QXK.؝7t܇ȁC;D ޱ/Xwn٧CORW_a=ԏF~2"d_V8+O0dObޱLMРLeR (!5&':(Σ4HCgEcؐ=aM2*B9,QTX8~]8b$z徳L_ĕrJpHp7Aº|"'a/W1 .^.@ u4ǽ(w ^Zh<!V[2>/ol`b~-9l(S?ir1h|9ϛK&Ymj='*о4%"e,P- rb4RreswmFEv_7>M P2b oاR]1RWŞrET*_;I:- E liŨtn,0c$.+"yXS:4ʝ@&AQ].dU^')w˂&YM 7NB6o%>Xk_ KYlLN<3CT!|aJ@O`,|>M,EbGxi`\?rի_9 kfPuyAkFg}"8fB9HWbZAGؤDŗsmj -tbX1Lo -]?CGeoYkj/,uZ<``ǩrpfj+u{^ X|ÁC0)RRVߟ~D}bM"OLE QD-Q: 0C)أ4% tF rBM=BH>tK;ҨךID87k_pU2e-.wMتE0`6|=<-UGfFyaXfHc+[A0݌Bg\t$+J 5]H}}7'+H2Z@!_]{PFŁZ@Z(ZDѠs$5s$!-ӂiPT!~1}$}zFyH|ZG*EԬL=eWT,Wx Lީ3wt7 \'8 o;֩jzV,Lf*LmR=RCʢ<uNT܏(8KT{"Ԏ (2o] ' "[}/}URN)gyu""{ޡa=Hnٟ/@;0Hv9jG/| Ҭ7/U:<Կ7' b/a۞]ZqCQ=Fn @iȟ2g AL\+<4z(ѻW{N4hxSa[z|J'bg 0fB@ vM>yfKa;6Ξ@C{zFSa\sN$|mMխ:Jj^.tb)Жul4;)S:~Vf+ݖ2*yZY$wIAᲽxstiA |6hk% ncGmV.ojQ@ӆ}`,1Wl ÂYSGenG]5Fbhr,=*T@.]n^]Gѵ"Pϯ61'2&t0/;<{N-fnU|OmH> fvJE*[C0uJQ1W; 6ΔEc]\eemEFA8M#*(py9ܘ EQpټ AruGNl)ZLBO f/SO3Aź䵻Nq3$dnK*w lqk19lKU%&gT8PEռ "(p!qQ L%MjB>N f_#`;[G(5tv\Q YwR8BTou!}}jI tWTw\:މ'.S! /=OF"SzXV@44tRj0'wcNɭ%*Y ӜE_EMlȔQo o^3wi'+y =Ƭ0aek|qvxkF)9"v¦l0d#zw}<2yE;C~v>oOacXF0U- 0l\؛-Nv/0MQ+8 YҏL tK*LYMޒ;cx+Ga,ǦЩC?B  {O9YiS*L6p8woFN=y ] @_,F7iEuҬqj=΅oy:G%d!Yoo%RϷF@Teyɖ V6e*2r@0I,w%}ieӑÊ +(uS"€d>af~Oz9-|>{DQ{R߮m1U. &x #${,N3ɋ+QLYa3a2 iP1~{DVqIɱ &{9p,znnw/zd턄f~$@$儓%Ĥ*{@7:$O.LPhg%1V~bYK>!go0sDF@XT9R4iUʺT\̨s.ુJ>Oۑ[aYJ=OUWrpiS |lOWyKI+ҁ~x 0y\K{))I1dHPoM3`\%sSN5&jAAqu{*>9Yfa\unR!k=޼ M b8q!y㇬/'4tgZy{^t4ڕe{=:.؋D ")4,O%Q%Ņ`u#N X;7Zdq>B0b>"* ihvƭ㺏* wW/|㤟މPF;ar,r` [F/9.;oV;%ƺFc6f}"`͹{V1>*7:t!E_LPɡ2{63b uk~V|Y#%1T_/*RO9AʈCZ]5!-m:87 v5!+{ػObudݠ/ jm&OU6>r$w[1qeўtv3L!s5I> i91sG䉁thtX#ݕ^"R*Tс~雖`vTԨxho["9Hnpbd$n 4cBu.j9}T5viۡZ]f(!)n\kQ5&c+v^J0l8ĘI/5lĬ1LO2).*p߇ 4fSUYג1 Oi+z5Rӎi@`\^ao-y2'pHtH ߇H5 M:EE;e݄qRIJshW[ ~`dM4QK:(4hϹ]!{F,jn*XVayEbh됩Oa . =@JtڭoiM1|mc;g2Y7}> (D}od/,t3k:+UD8о% p^Jvk'ǭG$lBxtŁ~桫'ʷIcD7v(uqZ3m]s[kOet뼁9OIQJAn&{4:ʃYB}kB[0F:8Q:HWn1(rc?s` ~>ycY{MOSYX"S!a"⟓n"{OF)qBIIݕlB~#{okZUBpԦ."ݡ<ǗW'>0Nvq[dGuZOE}!-&I K̑azP ʊ@56ӷH.'s,jP'*Yjf`}aGr*xe^V${T,&mtNO|f,VrxƢ; yV7ahE6G(wr^JP))!g|-ny,r%93*0˥K?yvLsjvN^GS]ɵ ^+>,Yg 1\̰ [IE|cP[4:[O .@SDp1-)h5߼i}dlpFcATwa+/E.L.://T5Om=(7fQwK.yMSWuY9N`b1b8Ce: E7W_dޔ+^?͒5mI3߻.bUYWL BDJIZr( E%zo|5-K:M7Vr2Zມ,Dm|<y d^d tv`'*9?6Q5IH?dxIiA-'^RFP6d26Z{H@z6M 庬"ݢ,{ Y6$T-p:FNbz܎J#qaU0TP⋛3Yw ȓ{SzY 24,Y..R;+R'nq3lq5M##[/N_yW*!f_dDPֽڔ{`ב6MUDRE mMVO2r XTu{9[p4{z9F/\[ Eꜟk\5Zƞʊcg[|\ˏlug$+E1ۉIjU4$TIəMTrN];4g&~6װ,A8_WvG+{)] 9ĻFt5jdј57͐Ġy8]SqvA*Rd$FdWQ({qL#ȷwΈΦ/w &CM,2aS=G;O`?a1|q:ZDofs¨Aq zh '_^9DstaPJK#vԙ/6c;BS/)\Rᨭ\f璊=;F{kKNf!Qx={ؖ2y! i6®Ohru8ҖΫQ8Xk!9:C@vL6>g<Թd_ Ҩe2d*Re%il;ϳLչKuKk"{0u]Ak dպ,>NGw#1'/\Q94'jlW8xW:;7WoSH^=Z ] U$j!>xȤ\y""xfdLdfݩx7^qZ iޛV]+Vsz#>s5VS'J1R, wI*ѥXFHm'=] 6:FgUINNM \v CG'zX(BlNM7ϴq]Azv@B̑2g-r:а6w# so4~bEMg^%a4ܪ#ש4y+m|Ph(%Ԍƥb3g^6[onV4bLҐ8&R҉(a8v%ON#R:#OBraљv-g;%VsTg~eh$IZVJGd_ H PzL r]߫ w20X_I{&({va@ 0,=PU6r ZmpZעSKOW2/D(vh.x(fo Xx x;0*] "3RgYʒ h &XwAD~1IHajQNfCMhXHI4RBG..wn~AuJJhB!#9d,Ƹ Èy~ p(mO+3CQ7c,{gxsWMOޡdݎ!t œ=%(um>WK"t{!1+oV{q7XtZ9>2Hrojh)VJnUʕ3-51Op'w)8 '}wa)m }l7` :ijn'h|oJ{I Q@Z=n ]IjiTpJ _İ(Gg*m!5O%*a12#/BD} 2ɠ)P/`?w,*$ #Uvʃ!h 1qkW~zvXU7Xxw&#G z2w9]Tΰ'08~^nJK>uĨr,{ie7 xhܬ_0onW,S} /IV[ǃb݃a4$Xջo&g[fk>0M5gzLQS Fm3kt1]wuaE_vz`AwO@p*ި~v8ɥ T2(\jv'هНJ\ Ũ; B(q0ə<[/:K;xg wv\EȒyl85 ԄY& -6]Q751Off<+.N9ȶ7N !M6C8!"`UH RԴAdd!_%髮ozJ=zxv- p;n5DJI|T㧿OqNJfsEzHLMR8A_Gߋ`b{l$+qiq2Y> E9ϳ5U{Z qLL_LڍV xȾ|܂1TˏQTcѿ:3*yNNT)^h$ZgS['H[3z\*31(yCI$_tTLICiՄ'JRzE/t%䦘v9KjE[_ t)jXn2,R; i$] _\ Aj{J6 l{=ĚO^Ϫ6B +" k6(jSn.&"f^py!!b6Qep۬ȓu9[ڬ^룴Q%vf9&Ʌ)E| b^ ^VOortC ]ɳ& *aChW^;CVT\ 40 APZe߱/T޶xl}pVDoj߫4feNNs/UU~gyLwXlDYh8{eߋ 1cRw@v;\}ݕY~*#ō;ZƱ= qUkA +Q8蝋)Ato[Ͽ1.Ћh*h8IT(1}K6`^%> L@81!W'cp MĕȻqHLjTaFM vMJ?|c@XDFHm MgD\V[=nƀA/1 `#9Ous893!m(MVʒS[#F^u6ʹ092SoᶜJqje(O(6;?^"-p{I:7Jbe%2c7lӑǛQs7%KhkB,OՎc )g2-{Ʋ̥?^} #Sf֘Ss[W)Mê9 M;,]8AWkl$4nM=/8##ҋu<&ym~=V^ލ%{Ј/G^{OV2`_ uf;VZz:!} i~<Q٠:a[RaK_35lIb9Sr"H!/W^ ' _ وI@~ElW c,N.8/90e?# S $҆]Me@ޚxHP;B_7{m{NX݈1$&(!ːd !`1QCdptL w/l|t\0$͊kVU.H:6_N#z / vACxE)Z=CTbXae%jiƑS[@Bbv`4Yr$4M7b-h1L*~ vZQWnD-28lP~/g[| LD1ͬyC]@HLۥ %/d=^[|J.U9i̹΄%hcfTx0\r(-4}η裻-.2 Wmq E2tC x&L=}`M(@-R̚3=elq3H')Ӫޯ29u7;+gV#s&oڝa~fGӶ)i#Y%%-[W ӋblgV; _l*V!QW,u^ tl'D*mUHE$A|x͔pA,a,s8 (-l{ Y?{۬ 0j(`޷g3fԇw# h0opB=)nd[lD#Zw=C%+^{ \#ȫR֫^zM7TB^e;/eʵNe^Ui+cgzq,Faha6_/e0 ;'_&ҏ{ {)P1 j!-CȬ^\[fUYۨGN^B1 c L׼#D0E%۠a4ZwK_]we_6Fm.D2T+xһ;A)W?jblth^\ >ʹűœm20]vDs_/49WO?Yg/Y@廬<؁qxӁg%.HU!Auy:dɔ|o :2[%! T 'αKX] u6 (BԄ^ZO ~l:.\65A0[+ę|F;|k $htSGO;/ M1^B-`z430u^{ _6 l~<__oh VOyJ2hk m] 3*,0ݩPP: H&TC:-.f]/!1MS,KeŴ)P>z4WWcN.gzDl) ۱# sK)$2fgf`vU& et fK[G~Q-x~A] e1|]Y1J`3%6"7~fNFW4Tt/]dI&}\ e͎̱=UB\ho3: xfR¬!Ǐq8I1Qx>3# <Pyvs9p<6$9`pW4²gFs^Clز_;6_]z$-(bPX WI0EKhwʁ"AGH13US8=."Q4pxΣJum$C#7XXȧή#ټx4-m g@I%=F_~PW̲M727ISHh.u8307ȒyU-L+@v&#Y=ys4;1b#Sq5gMݷlk(9 ЛQ. Tj(,L>$^-[lwsQAqos,A6ӕcē Ehrb&Ҥ8mo7p0iQCZvl#پd,3hir( 1`ThWpt:g5\n aIEَg AC#ko)2"s@"?k v; حϯg-,6yɞœ7LZ; kY.Cl`8>`U ,s%,v Fif^~㼵Y&hA/ wx~0Wqb ?uk,1Z =u  bܺɺ3U6a#c"at0]s 1FnvbhP;/bHP-"Eou_?{F@#u~ I]TݑbyǒU#Jzl說m4 vZ\*ӀCtHN!+ˏ@uR3#Vw>r?G3q'ҎHMQk ye_3ꘘ gKL3Sz#2C `I ʒ{@}`G nv(&Hm7L*+͔Ho,F-T&(b%MՃ cAAPZI!:{X~YKf(_s[|5:-p#1GzJ 5_Rc*("}OYLܳibJ'{;Rő,$+eH$3( lɓ,Rx_Y2c%җ%L[ƀf< ƵD_#ӥùh!@uf=clJMxw }IPA7TZd`Ho۷İChĖWsLОM٫ދ^@HSg֞v +ncy @^W,tv.H"0ia`HF%nOPjB'F7&a\Zq0/ PֆG߰ 2 Ŝgjp,l< YYSl&l-{odԯ*ABv;!AcOڶ]X; *"; G^Q臉pO( /Pg.oȾ^0>b!{PhR>>O Oey{3>@H}`h?t1:SYN.$S,f[~dTn>9+&fko6^ &n_ń 崁k&Đ,ЅAD={rKࣔv7TfQ`O^Q n)7*)aZ6$2q[.l6{@)=c_@>},kYm9"*c9"lūe+_v2id4vגU :7E4 QK"bʰ8frykX`,F!;8䝗SIM+m\*|Mz25QE'S%xN;q u)2PPk:$ q51g?KzXjcwv]x1qg(OZڮQ )4\-{z#mc O\ݎC0@gAg=hźla F: #"/n˺lVUH]&yU9 "fxߥ"M 2}W|<ޟUI|d/T tAʋCnK߆ #)5K@>z>d}PZ2A]CqMP[+6Ȥjb'a1;Ss-T>s|(5fg$5r\\kV)NQn7FA]T/"vJYt* ΑG5y!br<<Ɵ߲Uܨ\mt'%DNaBbS9Ȩ!M) !2d{9UH6 D@n$a#A6bFd+݌藑Ϳ洏K;HǪ5V ZC˜,s@U+ = tMaP-AŁ˟=h1|1 ]B -ѫg/(e.NY JG <AFK*!q J4jgꣃh&S: zr8Ν=06KwaTEJgH~j3]DJag:CCBom3h;nV %}wW`3EaZ'Y-@g6鎍sg <3R<'yګ9-4RKUCݐb5j}/Χ1p젮P1E43-DW8_TT&N,Z܀UTmsp=5 5. G)P'g+lOukJ~վќ]ۄߩ *oa&E.Ij"uNjm[[*2jI$/d{>5O6Rdt#zG# f6ª;`p-LJ^c< 7u,wzNK!ZS"ڤ . t{}0U+3YZѝM7Lz#SjR¹Xexu4`TB Ta47`\͏ w<7w{tG)92J[Y yk0R0s㨊D#hyeX ' 7jB؁^@siVW4_N gV Qb>sS7Ft_~!3[ tcPIЃ҆Ì*fj]3?7 " .}nt7Y;Rs:TǦW&+O gfyS^0L^vǁ\iS3W))_>Y(? s9e?*!ޫ1R!*b4dǜ*A"Mm3vtoqW퉈80a s+D8:G%aM 2`,>r;bkP NdL1o TYg4ZQh 4 9Rob<418}=w`zZ7BLMF7{7BCb<싢IJU)")DM,溯x 1}>5BTW*=%b 0xua&8" k :0]D !<6X [2oGWnT:+N(\R^[eg' {LFרv3/yߝӳtq}edNmPztq|_'@{:,/3J>t&OMr3^B^yB~QnYZ2?Gq? ΫHqrDMmZ`z]M0 ^eO}\u/1Bc@ɥLFƲ'bfl^Sῢk~"<8H鍺F|Y[30*) seIA:qbk֡z.O+}Gy' fwZIP'qL|1x;=.An*ExzL]=K8:){wORTy"抳9\5",b=ʈ2gr=.:0; $2#SuaPb{;\,n^CBT73tIa$rZo9鴼(p ' m8[ Y/isp9H:X]~QgrmQ/;.mIS]~5PC=@/YSMEHR0כZoCsH*bR8ZO S'c W1k99Xt‹m0iBE/S97?`z 3y*WWCbJTo{=сsj*)K <(wnpA5RC֮f6X,”2fk}KIK!PeL9Q (3$䝀ax#\$u@z:Y,KVQc,._*'D7R/+uO h/|WֆŏF~q@xVns_cZ؇Vw܎*fn@ŝrZ2Tc'. H{OP.r*/EaBͿ3,8%:`6:_\{:Be6XC|k_Smv 2@[O*FMm߸ sPqz@gb7\_ulԵ0D3 /pk>iVn~هW`MTz3F(^_0xw5  VfZި4_R7`K)UQE`bx2l]7|'k;fI +C'ڴݲ[<߱YqW)?=406@o!Ҕ)n,Brqg]}D z8T&PY>-FD!J ާGKWȾsr92^d d#FYicdBJrm#W֣]|6NI.f1w9J;Vj*꺒4rH$N,% [晌PD~7*Ios/PB_Q/IiL_ ?u0*t:gc-e.c(VKrAMJޒk n'#z[^ٍ@Cg& -&JnnG4^ &x𛘂6vD}`-5f=9%;pZ"ҼMn*v\x9zj4?Sudcp3&ЌMy8YASP0Č Tcw"H$&Z0zmhdZQ?bҟi$m80ե_lĖTW -'r޳@ 1ewrU+7q'ws ȉy m$l`‰kyӉF 27+ Q G/73.3 mh/*?:תLlAAbz9^f9 ޤS9C;Wtu6 ̷q*Uҧҩ,ZyF^7IɣW|2ZєLi {b DoS69vQ:8Qx+dU!]w)Jڊ P4.чs M)j[|ؠ3כv3YlbH&׆xa#X@kOW6Loƍ)1=I7ua5jdIbv&J}!k2ÄGz\3 NIN"~y 뿽&Z9H؋+ty}vmSԙ~1yg8ׁ8*_Hy\t/k]rVܞ և+(-9Fm8AkS@نv)Ӕ^eb̦opy61$l) .C蛽g;$gOcdm'm13UݭQuvGovT1j *K-_54‡dš,"{=o;"^}A퐩򾒤!Մ?o7,܊tҴ \U ˫?*34IN .rS6eZ ij`(mf*?a,&.saH¿qrx7BjƜ7|%qX\%Zȶ|bGD5Q/<]ŗXiɟ7^aόu&XL{qd3O(?{vS_BBH$Wf^+yBê_eG96d3AۨX ʝs&|VjN#ޅ,TogYZ7zXZִF! n ]ŗXi%L&$Jwv\I蒯6m4h\;(|vChZw^YkrP0؅/XgO{ԿUs¯٥mcn+vp2. $5-M1d+*6eՔ|/Q%wK:=@$.O?P)^#ĬJƅwz@Y(ts6Sj_Dz"E>Նy6E 1ҡlEd&;W` ٿ*ݔ!;?`t ds7q3:t7( ėeUR;w3{ p˱rsek_K+_Hq T+xayWt@fIf`wZ)'3pߨ@eDlsO. E_h6Y|! ;II&,ezD H .{Nl0\F8q٩  [I>Wٖ#m:?iΏ?.0"Ŵj`Τ.,6׬R: >zE7੡Wzrߣ#hM낲n# `}''ѡ?Ob-1xɽqAV<BαDkF! h^贘9eq=_r$]yO 䝷{.mƒ fOjEKݬUD5MXgvG6dj~{=$qUcϹk_ 71@_1>_N[kDE.53I53e09f$znevee\\x(X߉*ERo7& P>':އ'P`^O \lk@+Q3ӻ!WjlNIdXQ2y,< n/~"o_ i4^A*}~Q1.[}yn Lj ™ͨ~ \[g~k<`00X XWQA ņD5V\Rg9{zS[} GF҂CicjC4;췪!:i4NP&8jo"l #5-YÄ́ܧJ Y+ sȠxوzKi^?Rg1&ұv#+Dzi<,EBڞ'*+ eɍW5mz'3W§hd?Ȭc;sq2pm7 GT?**-_j(9֍'ϐg}(ijhb9P$h8?g + Mg8E>اP@l6Ja0F2>}DT@| ! I&G7튋j/+S,UiMtVKG:DVvqpXriMg [iE!ZKp\Ɯo@Yyzߪ,< + vرgrQ@Q"kpYd}O!!bHު'+ ΁fr;q8`epqQ6:I @GJ Q@>q]q!ryf([s`O[">NSٵlS㥩&(dt-;ws mmoRĔgRC5%Eד.AZ{a@*͂GzK⒅h;FֲN'kcEVQyC5g0M $K;r>ۙ܈W?d\΁!j'6yBJSSAxkhgYZ272aed55df4c53a0c07112688a57f8157c4acb929aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535