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  C#dT ]S Psi_Calculi:threads=2elapsed=536.856cpu=992.520gc=28.260factor=1.857zXZִF! M]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿cVRaP`Z|fmfpJPhަqwdEֹF**Cw~ ڼ DKiF = CD&ԍX Q z7p4pj 4JB؇5x¯ хW2"_S\\~I::h]NkasT>kt~,z_ފRCɎ 2f䒧gÙbw@:{@GCFS2~i|:c :e_dljz ) ${g\7={!E=Uvu(de 83Uo/cXF2FࡻhZW)jǦ4BiSe00$N~Uܓ'+ͬEj1B1j D R ǞI[K iȁ*? !^_$HÙtW_ĬDy2Q$}~CHdMDphQ`(oFeD5Cw?\ $w*m]Q!pJ菪"f60Nhw7$Tk_9.&-= qALHtY@j`i/aR2`$,[j7 $Q^Sc}]#RB>'c;@^m-m+!0ˢHx,]#8ij?*0 e.w!gBa̔ =޼R˰<ÁX2u,-fx`(knGaxdyc0A/jv!y+k)xܗتe'NE%j2K!0G.뷟ޣ! %E ŶtcXsG-dRW~̊ܘ/:yHvd0DI=Rx\tov_SVR\__zβyIh(mٞfF{^GEGnW#.1PG->7`sͦwmkތjMG1CǮ@ ;wdRYCMC+MY%ȿ2>E/w9fզ}Y # Psi_Calculi]_<ԑSe, 8 R[{Qll=w֡("F߆|P]I$xx=^5uO x,ZƮ%NB] |E`Hx,xhB;DN5Nv8紐V9cZ#/t+:H+MB\ S0Cj^JWg2ΘG{,M3f `8EXc3{,4>dS9i%}UGAwKҫӋJngcœCr%B_9 걆$4/GkV7;sz鶀/2p;m֗Mh:/,TAܹث`~ËRNX;$^I&AOsm$Ȱ Im W~W"ϾLf=c(E4fb>"Z?Vy%yQV)LGFWr@-g-d-o-*6*>!Ҵh*F{7W½lG aVqNG'U>ƏAJ-]vwP;p+A$TI}sr剸m>"{l &Ν>=N$q? k=r z-n:W-apd#Z,gsNa1nqo=یVD%%,ŻK$%x ij 6 ѦWH ۵\>׬EY:evi%'}a 6%]Jb/2]AvO[=Fݪ E‹ sDa&"`IL6d2+ޖ;d.5gS~xw2ŭ HvD+?DN'z}>u{x֍,vI!YgUX햾L[>%}bq-.7n(xHȖa*;&Ľ(Mk? h6z'2;=cN5$'B^e!EX)oBC(B_pJPr,)JBeR\j'ٲ'c/em^MyK?R L֠yGloPpE`;q;}΍,`gCKli(ԁKBx(ze5$+O(6xFD\a@&ӠvQqliʅOALbd(S@ʌӳ-SNܧU6YpXƬ:>1deWֽ+C ]LNqw3D4nV[FŃE(*r5YT:fxow@M 7% FyuWQI|~ari`u<:fMP΋^+zYwf6^1b`=QvgL&Gys0X!:}/ "/ه(5U i0!xbp|vښ+0 C& 0o~շbu\ A>q|Efʋ uj>Ay+ZKɸĿ kr_?h-ջ 4E?MUnM:b2&瘁gW[9Q; KqcJ v4>Mt(qwI}[Lq<n\;L!cL0gJESt5]Ξw*S5p-%nQ7;5#5FҵIJ{jh*-Rt0{t$+(%h\^$xmW)WNDB{`R [0kyuB oSW$.#|lG6uzGAXDd-F>>!s@MbFVnp➳9?t6x2]>p<7:YRq{ hL=׋/0&Wdɱ$Jן}aM5̟٣ :ؚ5 ]sQɐ A nvL7)jKcQRr6 "H3`X+U"2xMځكx{5{OMDS_rl&nd)YuPe[!N˵tSl+6/rDra栗w_J&xOpfR-- z]jnE}SLRT>x`Fנ`E[*/<յ֮dtӨ`\V_Dv$iVW ! zsyNȌ`|@*$f!"'vqel0'&Of:ū*3pAmrvo1Muvh⑄dC*)[nMY 5n7> ٙ%Hٳ,g*ѫK$мZPĠt1~%x]U~,W b:E18W @4dh@ޗ&gy5Q")= BFgS:D혏Va[XP2Ժ(%UhLy FB@C8 W-`ѩ2I_>ɣq{E\n`)=Gk3Yf6щp0XoXG?]MmA'YZsɛk,K]2g!tλ G(?*!'vQ LO Wb1|( _J[@07( <[ 8"+w~Thhyי-&.*bV>H~CZm $;07H\df50K< >S:^SD,,)M?"NO( }]1TtX^':jw<24_;ŒS<4zSr:[^ +4s:Kow𖉋R"f TIXj둨7G0$$9y0z淽MƓP6{^բ2c떔Wk;vy{6TOUyzyƒ['@C JIHNIHIzЧAH;"пh586΍S2 s(EmyrMVp5d(^h"8GJ)2DtY$*}Q1ԼܦB^Df = l1ܬ7yHXk/E\ܽ^ˈ~cp2lTkѴRjhGWecN8):fv7_N) l8pYQ5Bœ{:F)գC,/co(jG&SȽe+V{ץۙь ^,+{ v,T;W)q/J}CytdjdϘ^^ΎC!ɻkjBExM<='C[o=KWi7ԮPf{AMbD ǻ2io'ݺ)a&"5\iq,@nF"Nb[P I.`6P~Sht눩a|D*f^6j h:.cW):܇Q֟i7ŗzb:w m,:h VRPg SѳGpW  dqlRWSɨ3~# 7B+<:;5G6<5`9m9k{$K6T*ݪQj=Y%ɢASËi:9ux"P3^@)nƟT*Om&n9z-ZgdDZ%j.m CF}#3䛟mqBVSP3(g[R n'0]7]?3Զ&$@_l+w|nսAx1aGȰK'2wzfojlgC+3hA2Ƴh=kxA ·3 btP`);s[OOđNm/Ieb mu%? yrW2DMTg}2(uoyQ%<_E{@ u;o1]rYթ#Fey A@}JӇp֋$PɗB<[$Pg D%Sϖxx;1j[xmrg̷}kr@5)L3E$Mb/4[Sz6cyjҦBoIsǮlbp)ElDؑ1n;8d`6hYi gU&87g)< щj6Fh7oI" cj)C E@tÇ@c?܅H,wFo& 8?/LGTƼp͢A-%pC{zZ'gv-Ty8sD07Y!pXUyC+ ;_CxVWJPqs)HQ͞bvԢeSyTN8fǦRH\pqo9sE2a?GT5l|["-D@ckqܔhH|)JY5 `8E%KyeM8$7N$ذ!/88̔owa@d5*,lUڕPN/< =ʒ]qr֬a7O}i^텷!WѨ8) F s&rWU) TG[bq`bqd ?s=L;$K g -"Z c <$vYW)`N#J`M{l!VOr/]s@.Bq2²7Xr{jɽ`ܲn eD 8h:oWJl0$IVjrLd!C蹢^qjO+ _r// 9vohx3.Mi|jFbwOLt `u(/(dd 6Joky/?mqT:ung6CsJr^ՌnPHoڤEQ~dJ닺͸}#!V=imǜaYd "P sFg^(ꥸ(T _:FMyud|F׽05D[jޞ n7e!o&7.i4ARL@8.[D/9?lPn1-cNB e_ikIQRV!?^@]U p.iNUQ&qK23*Ŷ&B|&?[v쎖)r>W)hK}N`t'8U9VFjJǴȑB4pR% 1(%5|ME{&O^iSBf De"Xfe"%;5fc=&Nė ߩa $ :e+ >ree+4&좼 g9ş_-I$ f+*$*dOKYѮrk|4J4ݶmV W$9oȽ[gt:X<[Vܹ{h!+S}9n3D)'URFEf 9rSJ(kI`^σFvz G3}Q @13W}P0 ˧KMXc/z>}=`S\ό!J ,Er*թ YD+m&XSZKC D. s v*V|.W"e]=< n#c -9:w ./}Ya!k(~\%.Ajh'5H ۷bkbиHE2==Ԛ]ӖJ vgO#ff%cmc-**d@cV(H}u{j=۔sVP}ez Y VìYҖ5uhd }&ڑ mGzt}̲êH-1A0=ƀ'UpGuT+IME/-3 @+챺R|$XO-$EGt=9OVkV{Iec_O#~!)xЁ. e$)qsz/m!2֩Ҡ?V=[u>'e'+u(@ܰIZ_9W]57E) x-P^!ݬ>t< 1`rU-T=B7$l:4м~R?ϽJ*\KuO !~@R_hD KSt!{B_֨&qy%k[!`Ѹ!:izN 3RYoN^+a{UkvEbwcK+9# $pQ7l̶*Ch'pΝ;|j>XZ;=n9Z`5W&ӹۙ[x&}LBY{ͺü_ⴍH S)L3Q(mWrPtjJ낣ȲKYbK;J;l e+0"}R5hQBS'K8 #*Y^qNug&\fҵ'N./^/t9jub(e/c+~dG`?nuQvf ,A 3[h얓VꎉLKk4oI4QF^"!Wm)-=l0!prz}4@9EDݵ_2(SMUO]\WΡl/[<%]w$3[`Lmɶq!g|$#"a7>3R-Hd6ΐz9ny8ZVJocJZ?8+b".=H6;?x"s(P)UE)]Ͼ1`*X^1BHc%ULd+X/Hi-,P,j "qOq/ NkmP-@~L䱋/-Uсء]:myvlo4hQDzF&=GBzqa){RN8+e8tL9pj:VW}pw0 k]bE4\Mzc#% ~Wpv>?BA:HJ BPS)ivs(SXBr\|u%1~0ĕ2+7&:@cF>@)k'F3':^xvדLjnFTط8[Eg"=N,:du$ʤrNxR I4"]-`v/ o ո`;_"Np1{D%1-v翰+ WXdruƫ8IMd6?í1Eħpy3лv$T) J8ʄ _$b꒫$nTo;U6/ZVr|1BcBkK?Wx7&6ị֧̃~ҖK BùL1EM\/,-L8p= OGa.]vNp<5v6@tQY;&!c^~'~jhtάr-&~ibAX0;sGaS]/-) ̬AtjƠureM3':Ru0~ n29{3T[ & {M]fGl<8` i/J|%RȧGK%'Cv2{6)^{`ma3ᰙX1g1Lo&nv%lky+R"6ن6$&8ykFٺI*pk|[K I$ .8qaW|q*>XzIA5H02$N:T&^)g#fBCr6;xDjC= 7fQγd!ݙX6BUGܘGBSe#A+r*^[z#5 =7(2ad.N*TK à*(Ŀ>?koĽS3 r/ Tk8MU:׃ğY 4EyemXHl5SJ;,%X2'؊/B K p_wVue%ka˛f [ 4A&wH:82p+<~?L]n_L." L771Zdiv7#VNio, m|Lv!ؑ.4&kK6ZADT(f)M61q4!OJf Ls<;q9·{Z'uQ YZqh5 Jv6B [g0mPԦ4t3V"rHdK"T2qbDf">99-DvCj'Š%kL7+̮ZzK)`"Y$f_{tBlV1,Rx[yOWw4x<'ָg1gUw'r\ ̠?azk`*rPW S̱UV~#6ҍѠN>0{կ}8C;$DG#eRޘ_幗@w > gCpHn\I&#+qu= PWI3PkIfdps" @\J"q9T}a163^\Nvw$U!qM:vUgRꠊT9'Qɾ՚sga)[!h}5v' S)ez-P Шw4ocq&'? A"jtS E<L,N)фO;gB(O=瓊"3$ ԒxSQ90 n!A*$M#Y_(syO ^>F[KVeC!807L%(W3s_J!yb] ?EJ#8K": sG,V%E:-\d#Ct{yS² $y)Op]!pFwϧh6-3[ǭG ˦jscB@tN1o%L6D*h$0{c$v\Oɉq"}o-@Eg $\4N*f*@~yg*+fmNkQyE,PrHb8FXJy4CNwM1g5t2&5coirKKZ:A2g?!qpV,Xk}8Vls5]N_쒴jA{?t=N* gvo';bY^͉%t\$ʆUgx]; HVZ P'L>VE9({cJ{*,/ B:nQsZmdd{Ϊ ˇ{#ed?_6_} .i]b.밣 GZ"Z5N* ;QBP 8"ZZ+ qP  CI!3ņX+R@Z@BG8HwplWJɵ@'3>0׵C}YWq'Y:d;ϿW=CszeP'b <9~vFX"|Iw573>C_ `2C8֦1} J#}aYs`m49dX^m6|Tkfr5:a;b9)&8ޫQYO:x^eFmzԺ|;9Ť;.9oC " .9KF~/4of钰6޺Zg2t%yZ]6$c3<&-WӋ;aۼ&9 /tMdøJ|CQ~ͮ{y3R={Q + 3kWIB}ZB~::x[jh=tBU訓FT'&DqMi,I @+~I@WijYiCak{'cZ։P=CiT{'B+YW~ %/d \U{ue#Wb>'TA|u' X7X+s.d+ &bVqCl`2cbI\PPPKJ택L)Jq0diNT NGĠϊp'ʈbyd\VnV[m'&j1hޒblNLrN/nMR:ޜN޷asO?ĔEzucGP mcj>QΔTz`too&cũ7!(n^npg1n ]L2}&vT'\<0vܣlM+k.`?8մK7RNXP zk$i@?d@HȤ!:TKk]KQZ^)Yl@us` O pz7pj52R9ʽsUP4`O q̡+--I5QOByXZQ»DKkї`?L3QfF"d,+2*.EUBnhhĕwI$ t dt:U |&tf=~1kgJ]'AH4KQ :w%cFBRHvhBh'e=^׎wyXPf944#u4M')7r.lGny/7<lLy~ǫ$pD<,~ж% Y%g1-40&+Gt wr*M0ABQ{L aQ㕘I""NGr _E ;8K7uG\1I屉).qb8<Pd o=c g;]RBM0 EPv0w+kAk![֥ئ 5㤳%N&A^ ̲crqNxNjBf=)kc[@Zឤq][_G2j6р}ٛS?-S`q 'A)H 㳻(/֖9/esYp՝c$7y+2?RBqs DHZ!DRv $'og iǓԈrqs2v?GU}eڎ O:=Ma L9fDn<qƓ[v2 ICqïqh,3FU)!?׷sF]29[/ds| )VUFab(ՕuI{asyq/Vz_*~/#.wiN{)ANt`lnA SrVɑEki4U)@R+A}<3B]n%~B@$Kp~Li\&UDw"M6x/j }8dl"0D= rnE(FQ :"6x*.Y,sa^ ˛ŵݳcJ*"˘ts#6?ܛ`m&3pz2 [8Һ8UR.3#pSHe%Qx$?D-b!M1AK0`|s {|(Xk|Od:ź4d5ev1 ffrF@Np GE;_fH8 rO" = < E߶ vYFVZ ^Gో&i=Cvwt ,=YGh=+Wý)Vs7*:.O[]!ztiWkOIt*MWЫC̒006 e;cSDx^a_%Wf4ωZmD[a L"9MxbM&JF\P{XO։?3u/ ;]<öV軝q^,%8bW'Ej+[~ x\w}=! +MwbK h>P=l;?( ,Q{iYVLрj Ln{AVE!0ȏ!keo gP{م2z}SI 3:G+R*BǞU40jy Ú\>*`W#bBb5۞"[ KL$՗)ڢ(PHĊ.gSv$ MI?y%kDT!GI'7"G!(7oAI#;™XKeJzX >/R0B*,O_ XK ^{eLJD e"3)>dQscXA 1`Уtl6&fG2=*H tK.,OR9z6Wx/̈́_4ٱ -c IzI);Ft#8?BEQ̣2_vs5}%Ÿpd嫔k@cojFʡr=zqޱX&dЌ“h˼U}cI` m9BТ=MzӠ|%Ụ}f}ypӓmpe; rb'`p1 Gbu 9)C,3"BjRM>AAփοlkc}J[)9ܜ؊jiC#%~uo1n lunð*s80JLq (.#G;gAF/uJϖ5g6H Ϛ'7F^ڕs}D;^Pɷ^g nH`؎fsw=4~#-5(b"n%+mV24S LW kZwok @E G>^x`aXLnGl},dK<~(I#4Sk" 8%QIhWxB$aM'̓"c}8Vk [xI>0HP3\#hgp}啿_ݠ#Zc>W!ͅjr5DZ9(.ǩ"5{T/YuƷ>?P] ɝY58w?] k{s3?&:֟Al<ūiAg=m:q5LL "r""XK0ch_P"e&,"-BjDo@ ˣ| 1BB@U3mXۮh$S]WMxۮ04_HOeii_) /q9WVL!|\\ O}ES ELuQC˼ O>C94*|amraU7A4!Cw_JuW/*}Qshg?kP!,Eia[w/3bYV[T;mpeO>>]{˚\B%icJU СD翍߿Thص pg#)q`cǧr&z0f?7$vhղ.ZzBWC祴0oGSo4G.-Zn#Ʊ;z6 ?ߵJXK+Cz5[{ݙn͉x]: ?ޥNܐ9w{ź͓2ºWl3{6 ]Qn'@I/[:ynFŌ8B挍E\+K r\bD%M%ĜbK:TC%8i&괜έU&9F,emjGqҗ@y8Q .VRDZ9g9-O"B4%ܴҝ.l5>D Fa#L/SO>Zv O s͑0"$=Dӻu<&5ƾ: f8Q-{iLNl{ AwӉ}Gra|wwkj+Jws[H }a{h3H!lw@7Яv˺%:6TY|D3T,(KtNH[ů/>F/\-4djU ̟q>wΡ7Y\.>qK"fAJxdܔ*,Wbd,4UyB`"8jXؼ& "Fy&Had9/_`p>ݸP* 3*BjXQ㞾 J:I#HP& x`/X~ '"뒯D~ :`qmcX/SĽPys2c\=s{8lo#U|.vXܸ483aGC~tX|5X0O`t e_a%c4M1(rE¼ B_*NFд[LA'XTI|?5u-w̸ }lm`PUl0-C(^vxl{9)ՐtS.(QŎ`Cnl5.4/ZM'k765'QxBfwHs!ؔW~#fH z{z,6 Vh _U=/A<#ș-V&R%ӷPaX@^5buQ.LNY<ɺ!$>,J05ڄm ̚PGDxPsu Cq1J!t~-#n{6q|08޵_K1otIc?˝[k IjymL<ʺr#'= AYx$[V9Xk,\OϽP끤W \dMڶDa 9-cBb"P Nty4qlP1/़R$P㗱`]_WE[-@. ,$gOX@-hdTYw1@wuM[%'-#Ud`hS[nR=`Jn YӘI>3I/Sx"U+*q<տdaxJtV|Esa@u/ +\p"yTDYпI!,|gB߯{Z*)P3&Fb>3ërkWkn7CYMJʘy5?$Nհښ`ܦvR9&i I 7Ƅ͵X#W;)e*-- jt6Э `ò8{&'9􃯍2ި8fѹ2*92{)W#{/g0cUgP\?X暿oq൮E7J4⣓4J^}Ui'\_(ljE7FhFi<8uaʦYCHyVT,úkSeKkDov ᒘ)gI:x[WO&R^;զB\p;>:|yjgI:Y$m~~_wo?͚H/ɺcjU\಻ˇ(D!X丧5uF8imBңrW`Aa +Tv@3|ޮ*dIW3ɪh8tP޳5#?+fO 9؆8W͏:.0JI!{ A_7AJ[(j=F–L!vHH`i`lo aԬ2H&V8C^ ;th6حdhCe)3i[(@@~,]E%l|{l_#7T#ika&R +J0kF6&K 8/dfY/%YmܡOʉbIpT_oP\ML &Ԁ=6nS0$@[6l':n2 lUb 6Zz*xUXϿZHZ/:[ZU-il 9 4#*6֏TN rbfS(;_&9ho|u%'RGn &1ˤ8ukVf)QA`T)Ip g2`A#$j>~8Jl0g14/&J6)<14G"74>~I;4Q2eU-zhǩ6e7ߔJGEfR ՕPnf';IC=q:!VA&-^))ל~3< W##jlkA*:50}7Fb!0Pœ]o%l`P?6xޖ.`y3)e0S>s)d?W)6D, . fMHtOdEhj.5}<3} 쩓Bl[AgHjƙRb]YT]ְ_'Z zBC<&, zC`^ꑖOhm(ʑpG>5>i *eL3nCͼOMNl6{D7=l`9c cFF':-WÎvMlYGɺQ!O. v0B̉eF[$ܣ2E:zPB%եøiK څR4DD,Y8-1o fXQGݷqG\+ Uz436&1z 'NӘx7p%H Qє,ss8-d-P;/'>6I(NF(UGc4_a¨_@bgP-u=s/>B`lYW!yK^f~*iD%E$4$0 R&,< sTIFr8Zelۋ83&$M-ʜyQ ޅ(:h$yC)Oہ10VfR/!b+@{'yi/Of2^(2wO 0Dn@QlEbn-?$,vZ~cMޭ4KB'"k" 2oO@ 9qr% *Io($z.O#,]5 J#81)|=7kk\OuN ҇GpHxPأ Ai4?* I&Iu=b`JݸKMNRF8oHM! j'4 fV/EEie~r.ĻP.@L+| %⠃az!Ȍ`RFÃcMé  i^4f=*|7&8>٪x"ʑQطk2>|ibsh Xή_cT sty4~j<ʱBFmv{QgGKGкq;hpQG͚9I_(N4c.?hCe+҅ Q+pu'kfӧ5v{{R[Ku>- cn,O/$A:;/Tؾ*qKtR{ӗ]RFِĤ̆2<0`mfvύ C׻Qt;|AC5wR{ي{W={Y98:oQQg 0 غ`e'K].XY)Z;(zqTipü΄=d*ӫ6enW?|pW9@. QZ8SFzc5xͨD IbPArzuP BuE{qޫwC+z_ۅ :o T߂uWyWAypKr]go FMi}YƘ9V-ةMҜ޿ߦg*ncjzόZ"mR #djmC. q^&KNY͐U|--8zi( ̷9zHB5}0;j8kwi e<5~ND ܼt6 OK~ e}C@TZˋ*_f80y Z(BLyZ f4ẛcenSL6а׷W",řRmnZ0nڻ%֞,!_᳂^Tnf'gĝ1A{3ŶF+Sc*^]vnͫ wzqNK0> %Tb,6W$MV`^'@Rc5y,OQ'Va g,/baS`oƻnq'#Y 㮴8b j0uw;>a`QzWT >00#$L#(w/9 \_-ׄZ,tvP~;K '+j 8p32mzݲf6F w;GI(&= UP;U'IɫHA-&㊤i8hXuc$)6dnB1m֥(s\gx1 6O~a?ZY˷nscÚ{z}c9QBQ(c,}xbőc!YPzs`*by>ޏ;Ii=I~O'2C6!ce4:O: D8U Rcu++ ݰ0wԍ`@^?AA@*+;3;Tb#s3b7`B/jjqz̮;=9uQZV*h&g}w#lSINҐi j#AأQs?- 3StoSU~uwݔlm& w*!%xink\cj1XPuaXW}bPP3FCɎ8')cxR \.%kN h례 ôiT]ݭG1C 2Z U[WqNņ(P~0'Z ~]P=;Ed^d"izSPձSt^mG/zh~lm`ĭUzf_UqUjF+oYr_YNAA*ioYT(mvV0ӿ(B/]*!iLo=j돺3xOg } QS4@O[FN&W,&)8kqdY'6KpmvO`tQ<U*i^S kt'2BL<I0{ә%KFZQzD Ip+u4[t +Fk-'h>Jj4\(B0"]m_ #5k:x3\d"1Ew|W魪DtJY_pzn4/i;ogi"m*#ơB2>T$* _>k6dqa|yǐV1kFTJ}Yl)b5@/#\>%uws: T>zK81ʀ6dNٱ8:Af`_R"W#][UjƗ#_-T'f~):Zoh@ш77c>[MZP|=lr¦j,d7qx"6iނ3XP˜+m I@M%XA ӸR "WECPDܰUʑ-;|Ip?SS[r.!,}zv40Kˉ0gn"=U0R=P/ewDtG|V ʪ.όǮ؎C:KCԠ4-LT"(" Ysϛ`jSE 2Q(p6i2,MZ7^Ds#l0B[._SoOoS[U7"*Aj^^ZqT 5ѹ,49\r#@ =,yCq=`=WI+X'&T]c3%)1]7\$ψe/a0c  \c eOC-&̡8VsѮvw{0g`^:zndH #>m|k_@ٟ=JA'";>KR4iF&;ݽ{R{kY <~>?/ ryնN' Z5Օ,o+I~nCe]ފ 9>z/g u=tk;Wȉ \ũaF.8SYˏ!$ <\[׋2LfVP+eYrcMᥐw8PEf51BڭsidQT(^q!4rD7Ztkț ޱR + x#gF40L9a] e(qL viT/ mF("rqL^O@:30Y"RtCq;z*=NTN Uϩ@&[9 ӣ@ܲM11UNI5[ڮ"(%gYZ161af686e6b582fd8157f99802df7360a4efa20600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 748ae490e58f57fc2dfe0dc2598be6c7873e95f3