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  #\,D ]S Psi_Calculi:threads=4elapsed=346.923cpu=1134.476gc=30.248factor=3.277zXZִF! [ e]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טȘa1yVLS <>1CsY9ڞGq\[ʒaM{W$ygƯh\(Q&W%_[8L3Ei}cϥ,6Oy G ;U-jvo!S2󘓘:ɎZw/I V3W]h#m6x`DKY$N9i`yThjN/l~r0p{W]#NS#+Brh\{қC2Jv*v;D?DñU@dq) a hZqP6 U{ߝ !d@39@ٵlt1G.ov ɾkiGS4z8)4wwk/GF0I<<&8M 6[}w.tW.k0Ol`<ƬqYMBSD5$eaݏ|^ syBIF˞O \w(*=v۩fi6&Q@n9Pefj /׷E}(lI he  aU -"UqqC>9"5u@Zfh|`LNg,R8na븙8:\=ַOM:%V#K"2\֝*=DS\rkbRy9 IpSׅlV`(bn#=FɣqL=T4SԾe5;Ŏ|I)AY2gp%%\+'6RG53Nr"B뿾AC% `t # Psi_Calculi  cR3a9a*Ҡ!B~jb=!(X3ԛOG S78.|xڦy@¶BMݦۤA&pNz&Rm%7tWͱەO,JNsR]晈rI_=򶧣:xWP""囇lvlCxAӖ4ϥk>דǐcJ`w]$7،j_=X<]xl{T?Y++h!~$Ni У6}$ʐ1ĊkIBx*.Zs>?ECFt?")1F317DQNBgR}6\Vc^4^nn<XZӁ`*Dڢ#L~>U2-i>kƫxROU w65I6`tUitVFy͕IkI^k=s ʒj-i!GJ#PM7+ vy&Nm1#;U@l ^GU~nVs<ĐSV8OE|F@_Zd,o,y.\\h|'e/߱sǩuI%Z GXXWmku/<((H"u!mP;N[|?QN=F]!֏ /9C\㏫^Hpz=n WbLBAqܰ4[kxV&蟾n`?m=c֤h}{K IK^T'JRBЦZwo\@'K|i&21BU usSeuy;a:kp/&vĎEt&t a5~Ɓ56umTDY x ;xٮc-9"pDDChߍ7&'iơs,Y(ʚ$ʶ~QǙ|zhkQ 8j$RnvM$Ip.C0C؎RWa?n}~{ݒ~n쇍r0eZogΔM6SHM68Yo+j x?N ͗aߛI`s%Wx"QݛG5>27:[`TƧt>--}1zi {CoůDuG QP-hKxb9~GޑadJh)tT]7h鈭M3sԜFG6l=]#Gx% 4uJSL[sxwΞk/--U |1p2cSLHMt0|5 {t b<2|@ P.͠?]Le х3_JD\l#vxɡcLŢkxU>foagFQO"j5)#U4 [A/+% b"|޻ NC`^#}Uu/ml gu18 ~.]?Dauק7סčlruUJ]N2c69TMZq?4N2L'ºI4;'Yk03Vjʢrl9h&%+%Ɍs09s'+Ϸ+]ÃKSwjZ}=ө*Q{aAxa:ҽn]x L,^K7[ɿw c_wΏwO|k٢ib_ 3:I\̔rSJvRp/`.b|.mL ^ĠtʖjTF]~TA24e͏K$bcK\ Kv e.;73*0أȡ/lS4P|DG`h)b\Q"j0+1&zlU I+GHf6wJ?Qg75i=᭏JoWZ J'>6:a?_%+EY\D7 #>뷬ׅRňV(u):-TXPx{Di|MGKz:.-a(MR-d/w!;Neۢ/16^a^& f]9ЭmcӊႹ!rohrDH2-IG,{EJ7quaKMJɐp1u,E{KSʧFdZKREƐ<6WFۊτ`zwV{=`uкl)K ǃ/ג zy93C4ۃ#VLg;uV>\ fMۥ,q~l5*~ R{?V/ >%a,G;1E9SiSE:x,TqIIVepbP2ڹ{(|BxM^ l;HBBtP+;nTf&@TPV3z$DG@ToqV΂CShk0A\%!G?; =IM& N<m('ayMBR+OAy!LBgR餤/d'ߥ¯xtX4q<ǡOnUǫwITFUox09|Q%uLp25 į.:op{i%ލ-fxw+רMc\A2ժR,#m̌w @,"GAnoJa[u7gT%y D6mgʃt`Nb.GH&3(a[) rZhW/ vk+h sGo6 ޕx^l+{]k[RIF"Azdȟӌo:."qJW~ 0ۙ?gN8Lߕf22Ps9UЃaRϨ[J=<>MKo? 9 hi;u|j,z qYI`iOV+=膖fUzI+g<7 oh1*MDD>P)~ih䧤-M!@lE*~YˀA&8~o:W8}ss:gM=v(O4g` rݵ7H^u >/{<̊MvC {r~VBP)ݠ9곥:k[=3s&!n?B%WfqP({0)cwm^MLe515Nf/ܪnN߭P<)4l f XFW/[gTEV7!z{n&Xzs fWk Q<+eVMd|џ-'5 o N@h(H mϼP 8=fU"&n9vZ8UvU$N8F@W}p:_-R޾,gTZ}]Q$ۋOC |?7+Ei\P=#MIHA.j ݎRTs>>'߰TZiʔq}6kblLA<0gpk3e&l/VuY%Uڕ* ?~Rl5tp5ۂLftRAxRnyꔇb q:`7} .l%1l`< >D 1c5hk+EL<1`qȷ2ird+ui&S][oN탃Jv8f<֦FgHX~*.p.!m*褥>G+o,kGML"CZsW32r^j}(J!7ؘM!Ϲ3<1䪙c bzq|K IO;O/%NA? x&uz{Ĩ)MQ9AB\6uɃ wQOgSպF*Oc-o[V Mu6I S%%T d;VA֯3 YF8<0IGs KSx$!ήtKC4oȞ{~SG#7k)&LܬT<j>IvK X'!x]y i`)w]9CEz95urV.扰p:M& |Fdަ,,8 y0p4nZmQTjKS:K 3å51S^ i.wJť !Xfބq-x'_͐iBfE ¥"ip%IIc8[Ȅ;d 4 fםUoܝh=0BY۵]]'5Hgq)( H~{=uKȤstbUl=~Q*eO9VVbqYÂi/NJ.7 n| ::ʚ?e={ؙIcnëumEmGD!gYZ7zXZִF! *p]ŗXi%G8TLSοh-룁MyB>#ReOVt0B$R˜;eqiy 3D|F;ֲ #UMPWOCp!ީ܏rxk3:%ؠ¼*W ]1C2ٮ-{!Mdq_,6u#u3—Dn^&l-[j8B##g̴ܭm' ZQ#F`c\_YBazBһ_a1X{lCmIJo(;ȟJM@<э0δ6&2wޞ>:dݬ-FrŞ[5T@`ڍgxq)X]Qp_zpbTOSR Xن,C;/FVt;s[XĀp=Hj!Rܞ#?-Gqݶ;X$DUYH!}9s"^+M]ty2%UHJ?Л4by#`#h$ϖJ6I{De5;Khhh…U@Qaf)Vh;zsPdAwt_wF[zʘ)g/1z5tph c5goT )Vys1炖Z 4 jp1^a8]{Q!{bsdV x~Ip˛9HC:Ɓb2˨ssb1s"Mx`ykp ӃH̐'L[~uVp-X%tN94rli)BvA#x# L@|+[~RcCuT4`=8AzlZUnt~qⱇ Gm-P.eԵ5;plG׿<;ql8>u!{$UiNbIN D` O׷hCtkd+B~ko{*fdLS9 Qk5fcׅLmfM,s,_*&oG߃/='閺l$0ld:3xKI(}y` G ̙~T)Nqip,: y.sI@7&̋ pVݭ"pj$7A=BLyDMlЈ A{m^Yo\~19QUYaTc9Rz%'q8Gjws PTwH#Ն&`df?7Օ(e\bHscĎweLUv͐Iq^cAw} [ȍ{+hljXw. $pJB# KMPFe_H%2 V~ ~¾HKl̢>&gH:soaZj2#ӣ݅[FA|pvሴz ]?.#-: 'LD|J:dE0Pد^鄌êoG -dU0w!Ww r6 Unqo 8pɤpA`+_,:F}4ES]^zʊ/{(;׽_4r܂وpݮD.#Կ% [=nPh\ z_{#7LB 쇒w2@dld` [h8>q_e s5Ւ=~\#^ 1hwj?!r%?_rN=DY' OTnHTN)@m ֓[ \{CC5)*fVmn)e:g:5у)E#+&NIn!pq)e,؅>(\xN9I2MxVǽ{Ec`E|rmyܾ&. 6^3'!u\TPŃ9D]W:#*sn,o,Srx^X{@̒w%8`#j0@qמB/ 6R0t 8SֻNP'%+ Wϣw߁̜AX>m#^pb-ZtZs.sGYo!4^w΅%_vk >{}җ[/6.U*H}v%TYY!KqȹMAFWx阆p(a2p9êܐҠtw[D'B be7-Q%.wz&pqU^͓W!VbjQӍ #y`q+0xP֥e_JHB֒hZ-9x2h!yץ{">&OLHk:/!1[B2{z*+%xzѤs!|r eif/BHi^>5޲juD|Cg Ŝ~*1(m Z\((!kfw(Ekn BY'q*xzDoVr_\Vm]6;3jH>]:W!՝# n^UUĬb?#vl͏kUzvo ?+h7w=a+ѱ']Q#]g,[Ug$+S u*@K|^!m ŷY 6fͨY"=yyn# *VQZCYRxIJ/>o1 Q)z;M(v›YlHdގX/-,6pxpڏftMJbz3i&`_8V "(B2D,w/:Cj6qeQUuiV2mZ4%PVtHhA/B䉟}5IF)(zz0[({c~jgX>kSD[X(}[*hYtM A'Kt`thЬT/A {01P-#Og #]pIvWۏE5_h̞3ʚ\yܦŌzCeGz)/[L5-8cCDR-OΟg !'QLKw^y3.W˂rUc5l?1 4aB(&"; Mԑ\Ln ܅ <*%Ned' 8V_bwR-- iV91{,<`H*t&[M?U2wozAٙhM/)u+aR~ָ>lC=(*+b~]X.jji;pU j#Z䧈ڛo+z!xBv_DN%^:HMH@T'Pp stl߇~DѴ*_&/ռQԁwѱyc4﫥/ U6SzP'u׌.ѕ˙'\i*ˬ.{W =*XPT֣mh@1gTGJQIVVcB87O~qf&KE,M] uFkP4Y~>4{uWŢOR.'n8#~Zdm6ESR,u+⩬}Z; 7w?i: Cfʂc֘l%!&=0gW#'l$%͒ar/J.[zImA!lߟiL^$h\_&qΑx/Z 3%P[,v {)S8Cp6Idž&}HNnwT_y?;jk%&8o_=n5IdРS yCp+1Q.Թ g؞M.rK7?4R4W@:*I;uo!9@i qV+}__ q("K {KWK,cgϸ楟8TA%S*:}AtlSԼbw{߀6ho Ctq\"1TBӟsܾ8 $65ldb.OI+ lP6೟! g3m6pZOZKw-R7,Bvâ`a)͆̓n!Q:[ކؙ_yg:@ޗR?y8_9mO"}X'p OY^oK/PR=4%/6=ū.KjL!S:Q3f AeH$:(yl73"\NUjtLdz.5nx7 _Yc]yMFVAߩ-o\k8(LT/S^dM(zx3a Hzf"ELytETĂ}̾4N`[g xXPOGJ e=oI’.}OxSؾn6ŧ.I (t)RxV>-F*erzerӀMC}& DpUIί$ Y={ώ 7ӉK+,I98Љc LH G3"ӽc% {rUŁS D28$m{4p/Mń|>rT<9H3,| 7;niQ_5lo7' `= włbo5J'V{Ë5q?OYc dJAqCTON7v4Ꙋt=2r{+B쀋豉o_Iʖa K0fIv$qZ1To;$qGyQ=~QBb"_8Lek+QfI{UTгmvst|w6e#p-ucGBQQ7t|oouwlv Ҿs}CXn _]WiКC/>+5\ϱy <k(w EWT tgqM0{_^VM06X-{+x?w׀[?yM9  +MŬO.>erV33_K|Oѵ` dsG6l1نIY+ (F7si[npi&)NA܇n{r7 ;{bmo2[e-o 1>Q:,63KVeunI#5Tret?@Z]9H+\x=x5f? =Ծ ;")4>i虻QM hhtZ2`Jʡ%Q0#Q3Q#ܪ[넜)ỷ?3C sj )Cb~DG6 ŢFAJXO6} `yFΥS:SDzqʟt1ѕB"!wo5keIYTL8[LOdUD 7lfzy^9\cw'!U]Gq 8#Ew.]ޣ[Y( Y0b¿H74JnHJ }TSx?%}NYt#ao֐7=zϳ7zۯQ61t vXb$u"J09! ։:+›F[9MOK|y&:PM | E GaV! :/#$HJ69̈"Cr}m؊_"\ÒR݃|^fjwd!Ĺ^g.gY>XH-U狢Lb\*hSg2 |3F@L= |0L)V|'@TalO(ؐ Gxnu~![r\*)5Bhh13Fa d2\*0PIg~s?Rz!"]w4` p3TR؝9zJyg,9xJ S(mD8M4!Ja% uXQ'e8Pm@S}̿ Dt^uUQ,r_(gyslem=m9 PR%0Ay^ 1?1q4RGkJӏc$GCǁVFܭ>;Rs+:ĀҸD"'+αy/\^ڛڽjaT$8:xW쬨:I2׿ E >Fgut 94_%i,UP^J6`q /HVҼ6х` `,S% Uk4"Õ9Z@:,:3߼dz7|B5{\& ;M@auaR>m&pbam`d̮ieZR(Z OLos68VUt0u 7ɈaPY|]mMM>PnJ,k-0K0'.Hu_@[\ l.䑍brAY5 ?-[n28Ji`Aj jQۚ"c7,#Q D4k.d6K݈$~fVv[A[_&# 2ث`*"rPs;<)|NCñ* 4V>/F.)PcڥNA0Tɼ@,z rOrG,x1S0乽+,#2:%obͭ_(x%Eonu$n|kc lE]VLL[# 1##Pz=0;pl"o5f^m$&1(ia2dR)%)^Do[ {D ͇wA>'u9 $ =(y ;fN6twoLe ,&7x!1);hCAa6Mv(e%z* ϳ*1֚nmosnœNaGߩŗ`, |wÍs M~`a&.#t+n C/m1mp(/vjڡ-LxyG;iyYeS*riѷKJDRkJ/({?1t<(NK4XSGͼV&M#4I,nP3T q7MOnvgCA)؞*ʒt?݉M#C&A*>%/ЙhZ\Vab.ǐ6ꆫb\Zؔ*N^W/ GWp9wK E ILެ'Q !܆|cˌ=KlK~+e[b/i_ްÜ};Z*p%.*s1~\1d8fg=m 4}UGVF,DA5[31{1>Qt\2Z,΁]0,RX &y5%z{mNfgElKv* QW fz9`D_ݸ[ۜ􌎮0/K>3Z..QzuNKʶƚ)FE4IeMyrZ!- /œ#91Lv(p4GFX#[dž)IG3f"X:]6yUsR~<#BOz_`Uv%9tË재IXROl }4d5oClALEu:Ga$40IF)j-yuAyzq闓@ je pwػm`\CQxhΨ \jP'a[Wx/FmlH6>Y@VanxP6HpOq7x"$,v~J mw^ezDxľc#)!j pS7W]͊RhG tCl[&Z b01(="rHXpOʙWEc2G۟_ ߕ&"sIcbLfGZ]Mow-UiI/'Ft&*cY0TflMzq_~\CoVkS6K%ʜ|*iv!#:bǎGհ<#rz-V#vSrv cŝNvEɖOl˔yo䛕S*Zo/$I#Z1.+`KWFӫ;R"e; i$S0t:OGZ~^K?6۶vfPo`jrRQ؃BB]$)qt׬awPuSz;n jE5TGě\Ng`4&`ɨ7sB2$W*ԄUh~rw/||nd̕"^웇 aYE;ûSZhXmezI GNS Y`Q«Nm컶IC*@QVf_)L+uq<疍bSC5C<-}e}k[ۙf"T=],a8Z@Q #S5i k\*="C*}1+lǁxG覷,ie QlRE 4Kj! C uuI e+g&:oI) )FW*ȝ2ଽSURlݖ*(7gI6a0; &&[*:Zz-`>,U$w~$viUn"H}*ғcHTO?q4Ԃlۃjk.OJۑ!a鏯e@O0z[t@/i4k uq O67svXO~g"Uo&X ت/8xɇl:ohՊ;_j R4r!5{Ģa M~?>FY<) b*׸0Qh1O &%]ȹVu-N M I yJ`8ᔽȕЂnC%Q3xғҺ[`vd9u?,Sr9#Qxn$i Ps&koG*BAUlv/lm"d֪{b[Q3p n6^Ga޲PTq4O(sKC: ;C2rs"T;0А} ȍ\`z$j+.]hAqd J~lLM ӏ hwvC;Ī!'kYްx|Py />Ԯ=>c8=sԄ 1Z_io]. '@5ƌVTdTTz2]'R ^h,6/)SsMbp|#ߓ&"$z4!Mn76 }`88tjg([ը~):s4>a@.:TH48eIU"( G< mpKgeTGO#lD((GW\R4&ͧ>Քp]V%:N S$EId\%ub!2K=g[Oj9+tTE{WQ[r)Н,櫈OA:c,T8_W |x{%3W^8}sb\ca!Gl*FCv:i]XHxl+D[pWeoԩohI%Nt%2.T}?Q+i\Kټ KaÝuJ GLHprڠe^ˏr-EC! h9.eY~0)gBݗ1Z0A94 A_#`k:;4DpFQ,7= șmd`9{SZ4_{VA'Hꭄe/!-vz괿S)+|R/hk{y0V8Iw_LcQO JU3b{LRiq:36H|:թ*NZM9IFFp_Hw*G}a#&p1KPa,|21VoSB'#{x g{y F5}|?VsMHs8nx-cE#MYi_[/KjXμҁ {nngb f$:m.ϧ' ^8^, Kj\:9N\9ƺ-+1s U~f.ecc(UtJќUJ?V5)*{k\ keQP Bs&:ԏ+aTy<; _x | lul\s*ODÕҴ‘MӝInL+iH=/eJ{M.f<:_ƻـ rĥ-ͅ05j>=HMd*A) ^S{2 p7hfd˨ju$sʿ'hRQ8vMjR- 6M9wAvwj:cIgf%H2#+|b^-:>E :2 ꋈk=(7 O#!1ωfDt3 al-5GtA[ɨ񏋮FOODŽ}Sĺ/5ͽN sU;uF`@ e8*%ycQXT+Jg(6fUY穞E=d8dD\(A}6614XD b8d+դNmm[Z4s!sP _W*bb9܊3 i󆂝eZp g&Xep#8y*3z&M< olfwR8k .\qwYDQ(Gd~GLrQHZ3?E>~Kס~W斎j+P,yh!*f xBMRbF\sA>2~e%ɨ0^)aNٱ;FQQ+4߬7C5ǯ}#xD8UCwY-GqÌ#[š0&{6)T/竻9(g%ymMu9)nVtѾ6v " ifˬę)x]ͳN8s?ӹ>_TɲDEWPe;J&)ib^ߡĸTG-4iXI۬ھ& ?bP KnKA?pӉA}I1;ca%m'¨ UR3lf=R-K4WBHmlҷE6^TY:JQ4t$o*|`̤C7m@4̥DlYHP ѽ`o@ t0I2ƙ]Ռ득׻3 ׊t}B06N#LLasJ}(4b[go{pфv\mF֯UJSr&sQ!dפF*]䏣XɝeL@ZH佭yD5>2nu:9pܠ)A{@KЀb!& X}B>gK#WOvty(IO*54Y<[VBzuEҘ) jz ie{sȢ9HD7ܓ'< 1Jzz9,+vo.Rw^ZZ.i&@DrqܕMB%AjEvn9ivcGMmaetF;L) Q zM/U;oH_G3bTs)E`$A1YhScMV8`MY KzNWos_˄!D/YDG7簦:ʿ/Nd7~<0-D wc (ۉA/sZg<}N- d淇:%3!%77^a=+Sf6]RLqYP.d4`&Ex/<=W,m"묖"٠CLraM=6_ /*CuC#xt5֩[$vq35E;DCk9JTm?{2GQa_.i25u%YeT *r LKUe/:Kr|К+6cM ~bJ^)Ÿ^N_9̣GuTOq z?NSկM$ʣ;S!]y 3gwd]MMfx`gͺ ANV U}HE\Z:@aMv:f{ZDbxi_^F!%ϝw~F2^1dgH&[6;6l ^ɋ]()'HytG%{ 2Њf4 ̾ah_0ٯEY%G^mGmx9? 8E!msбź0p 4E3~n2 V.Bp=Oy-#Y/R<ӽLÍ0Gusxku]Caʿ+ ]r}_0J4+.GB+2;\،Ks₦!Ǿ)9`MyX4#^f]Da_=CѠ_v\5-nf 8Qmg&L3+Xw̹$K}u*:ZeX]Fg!Š\wα.Bퟗdb˄h<.P甘ūX.`dU3I8f~^iBru(~ݯPɤ;/m(Z9]/R["ˎWʡ}Ԧ*~-qdjq*Ŵ}pK(l墏sd뿓9(Ꮍu]a-%w/T#ccƶWgc̩!HՇ=:A[ϺHB_M mٴ6K!rZyTQ/K$q܎g|4i8H陿tx/b"9uX uI\lW$w+ef=+8R&'לpRW9uIFON¢$kckl8Nޢ;nHt`ߦHBKO0Z-2w'ۢ>ZEP͍Uy[0o*o$޽HH hljClYfb#HdֺewR8Y7_@T0lXꄙ5J'ިU fCx;X/,.[-C:zϾ'&"=`9>0Lu\ fxzў|Ipwv_ni uf|3 2L;okUk-Ж.?n1 XQO|Rib6|˜a~-0pߺhqHObT&WM7Հ6y}A`,PBi9o# whAᯘR-(.:t8~gp=#hS,1Ҡ+ICR]4?k[q=qrH"4HL`.v9}_z6[ZH(|FWKs_M`qZy@FlRGbˠE:Mrc__m=H$>,#Ճ: d:dM;G)c ~R -#4̦XB/]f$(eC\t2~=.00a1)̎HA>H$tLe>22tR`{ OYJ! <׽h(W56W6%l߸1! 0lhiZ2-4=ڗإ@{/%zXkXaAbi ~y; Wԁ'z6%\TI_BÃ[ `ϊ`鶡DXtNuR:%ҥ1hJ:y7d S,Wx8 GEE7[QzBUW8-\E3+*D2:Gev"2Ml MxXWmƞ>3҈ ʠ|ou5$|?]SN9Cf;hK,_py %Fr`6N/MIǠdz21'0x6լPGk鋾IOAmtLBј?(]0`_nKP6pY'0l}$}h z|["#|49. 0 $*e3pӨ!_r^_+!i%#Wc`'|̮x.oau =؍{g d+?>X״z=h)%T\Z@j<5G ]sӰTVo\C_姏*ې<4l0j8um*1pôPLSÕ"ti\wE/-(SAUd'G=emÈJuBo %ٓ 9ͣL8^ D%rnQ`UU=G,ӭaidC'ZI&4bQK[ տVX~ i_+OyЫO."l8jo$Ц _f*.f Yk^#L6*QP39w E9\QWxk10ld׾%Qc#kCL|ew@} JMGX3~<`@PWa=R`hTHN2pHCju}J OH .0 ;n27D袌`^?FvTIjbPC6 }])GF0k gS+U#r-UG_uU9WYiG 1yTJAOջS0ırZɎ>Qe:t*_-uQ=>/VG )@!fTi1ux ]UQ4,dr;Z$.^Xᖰ#nJw4V zɊ̴x<ŎaHJ BAzC 9%&Rq[tfX;ΪK')ts1z*ok _}g,$?|1L.]qgT[d zQj3A0r bUD^`#S -2AbWfhH"?4-q0մ#E uX!atrW&M4yШ")Ծ=$XOPAw6i(܇a9;V!f4 P0YXw)r$MK$tRR[V [b@(S,•C꫱T-m HaSܿBilfV"S*5eHm3ؾhT.3[úZ#;lJ֙fؒð6A̼a\we/tg8O.!1 XF)yuRo5;Us*-6g,i i``F3l9nof}]TbviRlBnPR(ew?a7χJ!V[F:? p>z\/^~"tnO zJ.y]aDއd2=a΄9M9UwԤo[}~vΝ8T!4Okn1o'. ^b8o ֕g .olˬ%r kC层B3klWĖAdL~m* ]~ֽ#[OExN z PzY̋"''!98舰4S{7MP$&5#~$4G]bp*f 4+5&9gҟ$jp&c}Æg"mJ]4V*%' *b,hEYj[IDP xhjCd0b}&0u`4iQDTyqXҶh틞U>R#pS%tLꩦ3)x՗ ?WD2p{HC߉L@pXaz'K*gm-E2EGN>!bs2mlcߺvƝzkO3c9g| m׌VEgq{X#y RRL$9aŻ]+3ìq93.ʧnrm)"I;`ߝtYAEWoA3tK A+ޘ{0 E)" w9C _L˘ Ƿ4Yӟ44+&(k"0ϩAH𫵃@@ܓp'x:>`ҩTG|˓0-s~ۖ/w+ HrU[J\ KôB_4~ܢn£4{p/izǰNg䍿~1oi][ɟ;ՈÍш^A|FEpFG#<COV(0pm^^):eX?"td :8ǶŰZ+Wr8_^[HE rQQJN: CY[H) 4ϿM\Q{IǻnR ]][epa+/RiFSJdw4׭D (t*k=6}cV z[-BL` #-x"E}ӓLM%Yūƌ'Yؘc帑^$|l=5+m?8XLj{SdJ\|F V)sa:XKLt˅.*L?Ю‰pF='>*djsUnuyX]v&'3ߦݻgeG) WFt(E[倒%ΐܳjI1I NlnMW?j=kkeZ;FtK%ΙΛ>^%6) x*.F-$Y-dUw^jx:1nϯ!'##p`hÆo+H?Дwt ލ?,$ݱɀF2ҡџlf#|)߈_Y!6z,)B:)d+x1PNT#E`O.t똙jm R@ h3Δ͜jp5ϡj/= ?UG4TK\;l K[!xzԃSCdeB$_`L-џG? ,Q҃ua0R}{K7YeDRo[ƫpm`SB/=RYb н$뽖GMAc2x"Rhɇ?q x;Ns=-~ev~{ o_8Sᕅ&Ԯ@xOB!ɝW_El~-< ڡG)/^EÛTktt8䣑6C{7m8!Qݣô%B%_ ڃ,;5/_sezßE0rbW8:ޏ IALYW~KjcKV(:xEKטn}rZ Mvʁ ؽYiDaGъ~>ͼX}m 8䷦DxG!ˑktn`cVP,OK*oc5èĺކ<S6FAzF]V"v&Kê6} "֮+ܽ7#5q