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  #T<\ ]S Psi_Calculi:threads=4elapsed=354.306cpu=1160.040gc=29.708factor=3.277zXZִF! VH]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט9 7% <>1EhOu(oieC.VNW]k$\R4^=PkȠoJWgxkp< Z$Pee ѦTi5_p@R}%Q4|cEuM8f]M,,m&"߬^PX>Z8px;l+fiL!"M5ķK;բ#lhPf o2,[3H;T; Ypt\^db<: ݔZYQ~w<4|Lr)l|w<I\n-S}M^i 2oPi,c<9~X7֨3xjwW6As2!mtd#e异]UȜ뜺+r>.{@i&By*$CԘeL EߓAe ۨ9(1W {WKN[:C|2Lpu[:m$<Ԉ ùTU%BvCفTW,CR]eh< a!ʇK%˨' բv)BU<^~ 6vj(=n*FtP:,i8i B~qVXC -rLd62^ԖB3HvX?8wD94?>$ R[ª9H##gvh,ώQB!,[=u~rS(FPpo1/`y&) ^-t[}, -'OqU,ц(Y5WVG X\ ]0>n;|i0I!n*m[3qoPLG\77uץim괳=K:&nגH3apX48gf[Ƥ.i;H+7`{`o@;ZmQ児j^sdjeҡloЬΒSLj+83ҪNr-> 9_^'\|U0X98 +pN! .Ƒ`OuG(/КJ[Riaodt+Lҍ"&ADH sM„`YFT5I .30^ٿ'y6j~ # Psi_Calculi  #o3s&C#zt)'KBwٺϤƦP!yNt/@@k\`Q%Ԍ R#\3Z z1ML} hGb^g!'~:%\=/:+6BS@qsD ܘUN/GWơ|nFA{y0LyUٴQ: \Ð3j+XPVSwv@uy߀_?TĶI{XIٰ;+^r-ePT~jxYQK OR)J!TJMh[uy㧘gվ˗QoP5wEd3_0e6ANauSRhۨdy9ZQ$v3yɇ%'"*Td벏s>q\_ւ(gss6HrcbD46Ld8;!%U3*,Pt{_侹0Vw>h"2PK?qmH~G"MmʓQQGV\1&{oj/ܓ_ ZLtBg9UW5AZmR<6~Z[*zZt!ߦf@eu(ybz>7]ymhAP6^O0'$'2B&9poL.f~ $^O:vcBbp@'WG6^N)ȬRr0mP޵ C^H\nv9ʇou)6N6IlPu,2"lD %Ӻ:otBHf("X`@p@2ewj :^.Y!ԯJ<<\h_콥?yF6k$!6L" Nqu0?4Khcf~*ѥpT09)sǩ iT 6  ՠCg2P&i,@=̯Dk 6v_b6>)EK8,cےor:J/}zEB2IMʋ})cN2;9ٱy0+7|Rj*z).U#i]fDR㦐!`7k ~ؚyq~O̎pV 򆴇jCeG)3)r) ז}2bBH!ua*()s@sZ|PFX;öd‡*A'n2% {}% ۾ klSAPB!M6l W[n6/tgrTu;jwNOC{D|R$IX{DDi|M)v|`]YNz;+V?(,v$w`D}iѼK%YF #+;{VmwT>5kSjB`Nsghɯ'īxEQSRGVϖۤx bs[6K+ZH|Etg*,x'۾'NaԒR7ΊN}X_p? 2̖jn?x<8GCIf dBP'6nQr .v Z~fL2+JApyQiP 'jռʰq?'5Lbmbc`MOoF"ܞ] =B𻙝4"40e퉢z*d󗂛vAWWNrޭ,~ ut|ev5~P_ZqTQPWtlZ6X$oz!"Ʀxvtl۠ddZa@GqQ^V|+ɷVKD - 0x ;~i:aI )/oC]H~\6YFvU]bYtNWRuԅ:c}x-FUTO@a Yʹ)zw[<O['{kU™km]Hm8 ~{N7%i6geU%%߇oCg]8qC6@QU!sv<7w )3VG%{ Tp"B]rf`pt5'WYtΚo}K2g]*6B)Q%:I[hsʒcs\#C<g+KQ3/J  WcL{ENZ?N|X^b۰ao|*#5"/HSؼ8H 2dt'zdWR8c)km1Aǔ*l!B=! BO\ɎOٛ({H{rכ,]{=`.p_ h/CF}BetFUu-@YK]j4w Y 0Ϩ^'䂔.8%:1OJ +mCYs9Ev16=&[7;z{n-%LzτwPs!/;vz@!++M &.b[Ί cD 1muWXk7rÈ/~v~픓T{FYb6O~NYc#3Cו+ GeW*;xS(oU, I1.蔊0 $~2abZ?jtؐEjXCPEXšPb;to!dјLVSI ~+طԣY,⎃ !C>a>*Awt삉OfEsיplaG,~ eo do(LmLN}^Ԩ͚Y*ױ`*J>E{{MY>݀@m:tJ&+#/8cI$` [Sʳ?4 8_2rnFH ־:NԸ/m* Q0N;}IaBY|Y =Il/۫ |7Kq?᭖dygnB]z+u/N1vz}`Ojg'H+,Q.VP=b8Ze oN4XWAyjY~^ Yz}<~jx:[Q=V}? Mvz"lhHkLl4)a3QGeH* D.6RVsPĪ!D19C'0{q_7g[#bŗ#,JN?VSf<,`g~$ό _;I\^![.sz`C ~BqX,jwe;BX2:XMiS) BǏ HiDV }qkoJ@;&Rb/Ib 9qn@HyT˲K;ʂ[ ʑs·Dܣ6~-zIREQOκeb.e|~E&i#n +3QW>L0leSp9wS%I@<vܽFg\h #)FcSfyD,e ZsNݼu޵vyUTvW%y_FݯcGwuG6yv "FE:2t˩*lF)`GRD4޹k,>D):Ȝ̴g`|QѹmֹM@ik S-aкPep] aLUUJȞUJ>9l|ly?ck󛱯 1Xa줠u;i!JEW[Bb-冝/(}l?̻%=}$ҍDaiV+𩼥ebj+Cn"/zY%ybjDWLR+T*՚)R1%@QQmY.{nߪOI=`:"/3Y ߊp{2%gu sdZ A®mY=,밺B`l =;% 6~ms/a22i6hu$R*;/}snMy,Vx2FHp-U~0sǒ)Ծ``WVp/Xiead}ǹU,]vwx1>.yfzԨNf^1_g{Iں]cVw,_s~x!jA^lvjgŗs/sݍirCc*"f޾ Du˲9kJޤ]Wz 9.O JzeD*W@/EyHQ2#X $?l:B)y_(DTgM3{.=e^ѩE[lDϑ*2%ѓ3lǗLu6 Ea%E:ak丒 @*+H컈8 VVo IS6p k{Gf2.T?JPmkK9=ɬSgYZ7zXZִF! M]ŗXiɟ˗̵w'Sɺl!\d'Gs3 op;ҠN䍴YQqFD3,T ŧm0ٓ8R\g CK\R=reZPezK]3*߽UVnTʓUT¨LnLJnvQal̡{l^yzӒ¥)j S+#XN;rD^\|!;sS b@+,?/UńSnS<G7-- =d0/Ϝxnۖ v$R5c ev[%v):6.ri Oc$iA,ݓpbA_&_:'fC ]Rχ*肎6ìoIP̓IC;BҖR_HIp'02(sw۬XB@bdI9"1!eb*2ҕ1R!"26@q_-c7 ZTCS0hKU@ a{CQs2̱ Wi is=8-B&?c9ñ!yPܱ=w0eNNTzqIPɡf |%\OEV29+fN0w7Z zLهT&rlN-NCvoM2p'ִkHD#BHױgYZ7zXZִF! =rf]ŗXi%G/h(I蒯6 )SȶUOӌV(-ߩ+''g-1?WN w E e-@i@})-YǣRſ0F5/7zս~уL &N'"2#|ճKo1%&C RvQeqYoL zmx3%Z;K"0>_M8yĄIuenଃ6IuƇErrRpfew<5ϲۙk9b*>]iȤuxdzSirxyshh+sʞ[sA"d "فaP-]IW-1&a:d!?Z$Zj!/LS.r*d /ɪYad漪1 N8+lrzIJd'irCݬye?fVd_%< F BV_G1sJ _o"12"#=E l Zq8H*2 ȅ C5W#y)i~\ *=[ڟ;M4+w*daSZmI_["w-d Ay@$.P$l{vеGX=491'/MȂZ+>B)b"{P7I~g2PvI=k\>C|\[fj:Gw:+G/:'LȠ,YvY<aQ^; L>y%ձBRıgٕ 4r ysorwt)QgSH7be7PfFu{Oh|toK;[] waEc9;.ɺXV.cnuX^;bI/Ř;ᄠBͽNoU;c}Zʠ? ,p50DCoߙ,{ <[.p j^Ws̝ H=+k]78K{E[MWAWcZ@h( Yع D@C q"-Ot;K5F1{o &g&*{ދu KHQud]6AEWܦJ<Rl9ڔd?~IYW9oTU2ֲ^R0`blw);:$$K8y #(νZ?&@W OL6*UE,4$DRƈ𵘖\\@|  R 9 i0->u7L_:$輯 EMIneʭʯ8GB AZSe4 P{h1xO8 fҼȬ P*nUAO;O[~`4Muo<àS^Be>59+aƬؐ %m SZyJ~Qӟ*ܽFIفV7֝Vy_`򴡳d_ zlr>jT ^H z){/ۭ5)! q3.g-/kqy٩5:ϳ~M歫kQW@<+I@r\q].[9h6V=Eaj"|ne;u]9~U=}P+CLBPS L(o{ìK58/'0KLu}]z+'u:K[eH!:}#{5uM1ʮ"}kPw /8^>T` G+_-FU1y۸3,|Fvr`ڟ@%ZW3]ܗr۳V%^7E 2>|# ޭ@bO&1 wϘ28ugSA*|hTEDٟr(lrab{"KEKK?XiNZX*DMDe P+J} sa[Xܖ"ڃmS B]A鮉$yT3nT7 c#1ی5=?"GZBӄ^4s_OH SEr2oZTSǭj^7z6<=%gKsF51"O wq]+LPV8iab5U6YgbEB/pSՑU/{3.aA(%On,`:}`inXM:=tl;|A2OUI%}Om1CzwxocM*Z]?b^ V zV WST6写`vCKsc:ohtv[e\l1|ЁTL(w wgUYA=_@~2vt;~US'F#tǂqV8"ms3uPwC{2贠ZFX5q~VЌ:jj7{ H~{(@!3Ph>$ }%;Fy>M9JIˁڵsʹp|Sx/<6ߞsl.A#"F煮h(ۻ qr[qC y;pyKL0BdR?;[^q)#``b !sLY0X*";ʼnJiԄ@mi#^bzfJϸ=MTYǍaqF?2 +7(GTpÓS_u4C&`0虾 % [7MrBn%JkbE(ui35'>D\ڰJP8zd) Fߦ1FZU cFheGu tN.sDcYwdg52Ҭ̬@ht1ʆ7Tr{l|.4XsUz!YDي4h?n9P )t҅Abpau?/eG)^akޘsmD7j(nɯ]GA6i97+%dtC8\u=3N_Q?Z+c s#>YݔIM>@*;ds4b +R*qpQPjr- 18*af٪TBGH4gY @jq<1i7~e1컪F09V?Jb Li##4L>/6Q!(ʗx.<a*Mt/D[I߆m8vщ,oOO80sTXgn4@l?Q0Qꉙqws?"dcY%YÌœ#z a_$gaZH&ӑQF"pEI=L/Ɍh9/[EB' a\-$+A gýp9ΤFsiE}}Q -rb~zqX\`?X8i{. T{LG 4!}㢈ǮO?жql(0N+LiۗG`T <,2%_4/awl2bN+x^"| aj*T#jr-gMLϼ<3ΏVO"Ŷihh\j -1^ArPE8|*A] {JV4DNq <ȹJ\"xb$W:/+&yb1ۅ2e=c %wݤm(~rhԆ-aQ<`P ;HIMi\ۿH%v߻^Lg6ڦY2m֥]A _^IW>o; ga'QH܎y'eLQdI醂cxvW0Etz^'2 `>U>kO|pɦ DAUIC";ΞKnc[96ߋtqL!gۿT,_\3ld\^!dƭ:KJ~уƷ|a/e A Ť7bJ=:U1'ޯmm0"#t(#!<6J7 P %Y/j/oin|n ~VXp+ܫP *ځc:eG"\)q?K3X󧣻"m;F )SNkoq~H]BJvvnnP;dw}pſ sp0'K}Zt<t}ؒ;PeyW'5NL n}z2:+~{ VP0ƀ6MJs]&y[hzgn5,Mo!),G M'91IPwE@x5hXÿa&{kg)#I8-[Њ7Gyxĺ{_`#{FT{vanW+l|w!>o5SǞ/IoI oLv`qd3]#簮<>]HKȺ?LI x3 u KWGw0^%:=Bs^zKM,Ȼ`~j&Q/ x俿K85ZwJ.kV-GUqi$k0 '$8hm\kԲbZRtO?UF /D q)I'y&4d <@Ủef҇0U˳ #&2j&}tu΋#CG5CsBh>'JۺcxXiyuZ$/oC"(1JاsO{$#8l-pW_uleRD0P/{F Щb1oF4bA?̈6O/hXmן|FoH_Q V~)EM!G#+6Ͳ}wJjY]&z4~/Lt|Ό o!`-c}Ӑ׵aXWB@:EgwkR5sn#uoyj~z "F^ra=ڜ%=) k_Ᏼ!D@v1m!wYCt㋜u-xζqPiU4>yCJyZ7*cDgż?QL^eTڗQ$s }WLeZe6\,~,BU/#DEC[u~AO/߭ WKSֵհjQ;ֆoPM^Ht-f_JKz&^?UlW sF3@8:d >?0h#"Jj\W&"Fov6!*x ʘjl%ޝJ|bQdߔULF$h5ǥHofLԀd{'3N*A<а9ҕΓE$:2 kn0纡&-/v7bi)#qƍͅ9+VmS9rOղAlAx}j#doaRVŪq*{}բNn!I+D7)$2;>J 3ⰔlVS Fdm<QMJ\Clȕ\)˯i8gSk^JWcO*Hy9h&} Nd{]D0'wLL1( z^o+iTz؝+`'iZ |.OP(m}@3Y]L?{f԰DgK 9hFLi-$|x :$MNsGTT6z,S(8M &rY/C:z5Y-ֱHr8?Xu k8vŇUi槤fƼC4wҹyTTQנgn. 4mn*ޞʴomt-* хŗg9?R.?6z(EvA I^t V] ˭-?e&p=9L=G}i_u vc:fA&KٱFM"d.b=MoZ>RԵri+mkêtvu2}mPgi7RWzF>@εwn5 @w~xL :]1+y:/g)By>W1_F釥ն<D3VXl]CT:=@ǫN~~`P sB|,1)h7d傜M^*!wKn)nScE?x%sě 6wʵnrJOBd.YFӲ!lwґ"s4;(v %HYE$D>Ch:9Z!AIҟ:6髲%X:Hx@EE` yM)Nr:TdcH$rgʙf `c*ʑywʬRR^o盛LY7HP:hcBboBB3P}x$["ݿ [,N+﫷ʵF4Y\^Me?*·%9y!9c=y]8,u-=ȵ 7EZQ=PIG"OjPGN-0e04>-afHX<a`baF}+z.%t[fK߼DB,|8hx~,|K(\_Kf*2r]v,S*c1\}+ x.;l^Ƀ_o 4ޙ>_Y*/ˀe="D5DXǧYAlk4zO#rhYuֶ~JK{{Nbk,+# ѿAeDAP 3|zo!FڜTNϮiR8NvҩlRYI*Ah\9%b# K*flc1DSljw[5 p\>0GP(C6%@YRŜ;IZZ)8uOڊ3l%5ywaH!d杮ĤԻE z%dr7]MW(ql#.h RM)s=pAْTuu7e0]̛kLdG\h.lqbD*ݰȌ1 nO)cL7\VNmD #gVDX*()Y`s*1bu ے!{]k|s}NU$N{7, 9v* j)6N03Rn)~>DC"8lA(t`67.?\MXI.νXȖLAMm)C4b;sxrBU[hY'kWvd1/:NDE7;'"ZeCH'ϻ2ܷ^'oQ&~4-b$$9^]=yTmT Uo_üUQ}%gCzZْۧ~6ڻܶ.86s&4/XWɱM&b 3]Gl1Kv3 retNWx?ڏ "~!!}լͭc-`bYOxzYݦɃ)ZT˲sT= FvrJ΄3u*jDRKœS?Ώ+5PJBqNyO~}\<9m9 1%m9x `\\aF]} 3mmzƮ;6ߢl<( q#I= !X~hdr~ [3'6kª/s}DI%bxd^^U'MN6bTޜb`8o\lҌ CKLSq>d. ¿y S YY, %|k&D.1t*Hdnt Uu Ƥșn\q-=+vGT &`-p.Bӽթ3$>e^A|"p;֪Z5D):"_ :I8ډ0r8)Xk\8X%t uW].3KF&ݪ0@HGݥ "S>UC q NEMXXx߻JdpCCѴvlpY,M{_~L(TD ukPj26.""d'Q CZ]&+Eg CzE/&2 /<1A [|<>&i ZJ)-%{0%֏7 sN%4_=[b˿W'H>nV7M3Q䑨vD%(KkN"wW=D)`p(dwct1,=>őQŐu]ĭ좤 h571| f]nD}IwY]m8R6Wi]@3VS>f rxShAvD A'F˃ u4',>9a|7x->O B\g ӵ)w͆Tyd3'_(M"`wgt}K#omDs>nj-r˲@#[?//-eWmRr }w }"hY/oAG"75:+e'Yq[~ >`I-Y,=5ֹ3% e2d7acKz|x#\1?](,KTd4Kzgr FdYPVqD-&3D6JɲP]4ȃvjJ 6r$Y1bZ/uԕl?慜`S$;U(oz->&Ld1oqtAdWU6w%./ gC;3UԱɩߥ4tiEW-j*X0o΂1)"1{fNQ unƑ? ^Gz& $h{F "%z_M{gsi;VхSU} >Mڽ.1KN%A UӄYgTuNaJKXW6Yv&bO䁗 =e񭊛[N⢥vcF{>"$.MG,8w6?'KWP̓%W\ 5=I& 'ړ@s%ȟ >pXJ4ƇH!kV=K~̟/n\gXQB5Y'WZm8+rFu@6j+"&v *{tB88K߄ؠq^ݲJX#f\3GSG˞6|< cR)ylZ2X$=,'1:5C>>P)1O(DnҠ/%Ĩ*KDX8W&[G(6lǖZۧX%g.-pj ;T3t6C}# FD@d|$$ Q9aɩD,(g^tIeZ hyhS*$[SXæ{9|kqi 1&q*s Ȣ5qqvCʖdU< pƹF;lGp 4 ~܏Œi FC(:*@fO_r77:9;$TI֔X\]JN2S<ƢYG 4eJ9-i[eW{e^UK^Oc<`6߾T7 릚CÙgB*7 z&67rLљxH6gCnm޺qEBGo!Cq 'k~Ȱ~xN.p]| HCCtuS^ZZ j!oѾⳠwzkcP{icc&rYiB[B`z=sܲUͶʆ`m8DǡmѭH(~2^V)V35U!0ŴƏX [fn~lgAavVCӇU&8b{fOi>`#X=5-"<U>rCm9U.,<0{*k'4PCdsQ:ڂys x3T)xr;ks= P.["4pVo[MҤ ;؜k m4jl1 u$0|)oȰڬMq_ۜ /]RHV{Zv>i$x1@Ҿn`GuC 2-&Q?;~Z3#慯3c"S4ƥ;>QPY`H@vW &1ص߯֍`7`Q&#@z*qX\Vc>eP87et‡/w6ioMD4-^G~ooTm*G{=3Ny2'q'M9c͡ŗkTҶ *z7SN L!1D [#1ǯiO.dh2Ed(+˥b1JdzҶܜ/Ra9qc>8҇k9X4!λl He#;怋5H+E +6zL7Vڌm2I~)3Lp$ַz*AWNJ:& icl|is[P"MöSʥJs?8#L8&c&{g/ ̨m.Z4G?!Iv6zHK[o<"#d:rF DEGb$idRe&ي{cGa)vhrϲˮ-ς>ti(]DD :oߠF`fmʞ8|pBGE͍U(˄|V:1sbڍhC R!7;u8e̚xvʪPL xẂGIfmJdfi^UγM)63֧;aTNhhƑӍ ^A1:K)!j.Q)6RS$Y_c{PMp4LR!Ai HBcOѠGh4NH[2/^+|e ~C ԵPJ0Cx'U1&=KeϬ=8K~racC =-ɂ3ݧ_){vi.$~]vpWSN`7g9OJ&eJp&ԚkF0q"9poCK,WOR?DuU_tswBKU1o) PcĮvp۰HZd#)VW\8!"G˽_DZׂ̎ LrE8\g)SkCVXB_ ]Š)pQm~b &iz^W:o:Ɂȁ5ta-\GY$y$a ȾCh'M$aǭًNzBEe-. 0t4jDйi#1NeܱXܶB2bGIH'¡lTd8oucT}'܁Y} 0<(C/y GX@J#_b^ ]`1Aӄ$3̯^emPl׻ $GS9dOԁ(kB)@VbgB2oSi!.l|a`JMva eg#n9]iFc^tM{ȳ(32aU|F=o ւ쉝dF Ȱ%+*ThȠNO)!mFЮA|: po'ow`l2W| sQ@ |χ!R<)ώM)R혴;H9-h@=NBK?Q R>7iU3b=+i 0(*XX Dz1D؃3#$ ,b2>*NЯA\k+BX"r$ڱH R.2ڲ6^h8?Ne2Q!9 /; 3XT(=b>"); -gqG Ux,;G8O)ɸ9*! B'Kc*O_whkb9M?bRM:4و (lȫ躰GG.@02 JB oV}ά+-> tW.=w$QYk94Fy]{Q\ÄbN"ӬTKU _J&)D/$㜣~!l7ڍ_,SͦL2Z,󊦒+͒9Ct6\}NpSdf_ vV9r*O85ת{=^?~q̍XЃ,5ԁ\l6}81d^L{xNαjmUϯBXrv?;;ވ\{=Qr yJ(W2]˚:1Iki7'^}zBQ6ո"&I%Ͷ&9ޕ57隿-AlB._ѿaH@0zqo2'՚iPCѨ!ޗT!r1i툧 %KlXMrTfT^)`{z',,( .x8pA$ۤ{(juF鋌D@{]5"b|RgɒU_ OQbqS+g0Rt{es"XNXx9T\]3 Wu]flq@e9 3#4>.dcJak9iP*FXzR*1R?84]MjR<_45h7"N2 $K>zw#,$mGyo`lCT Tv >3Sh? eR6toc/X-sH<"+P~I޹% y޴} d%U!HczU_VklQY -zjL*P ޡrZhXc)]}A"I =Oi0lX "ZXAk6zDH/یdga ;YSa0lηW=Mڢl˽#vW(v6@>"ӈ>:[g,gqȯe) Pg/z؏9/)n=pC<2G`lF `6tZ7:1Hq[w~flZC>XgU;?&̌X~J30%w6~ ݯeyɉ**!V[9OʉE`h#Z%0x^:_f]c|,Y:d@B KmK6\/SHR ǑxyCGcT y^>Nw U I0vZ*n11 fvƌ>cL@ A9;Ɏ}%d9!'1mOVlh肷 =;>Wvd DkL fWd·n9aܭ:%h%0v1 j!iXpCtf.h $/JIr%漌s i\{FuN}L Tu"8[g>ejUJ Is^cV#$F:RI /R 7=gv ٘7|lv?Ҳ=$QRaW!M\4v…Q鼉4t(-r]9>nRP-aw+Mv%%P KuHtkD=o6C9.2'Q/3ٞ`'k8Ĺ[0DJCUSۤ&mrqd4HA*Qt"hO㒙%ɵ}: 7ڲ.skA Cɍ/sPY#QU| h T)=pVi+"} ,,XRF&khnBcMBb}kib^Cf~[j9*# ղ}`U.Fj 4S(ds[,^xrg "ȾfQ-25?5M718bݴRcn*!h-|ޭїҭ(S._ISǟ$>g#`L~qxfξ tws7Pr)#bT?\4禱zY%'Q"6/wfL#qD+V `AM1W"܆:`M{AI ?f>0^VnKsVF: 2+.bBdl@K՗?Kf5͙Qfmow-6 dj>O5ڊN>P)"I&l>< c 8 \¿`&"41]wM3OL@R" EvC6}TfةT 8/-z؎h&jR$)2 cqaYHB;V*n Qwz7eG>"-b:BtcppPo=~mB5V1隦hOfO\l`,wlߤEd5jt`w^2QeMNUSt 㣢PQb\‡SX?7~N8/pus\˃LəsU1 qWa臲5v B56n]ZacVCtU}cV6PGvbǕ-2}UhC$<ܸ4߄TV7Ej nRbRʧ{Y5PG|0xB*m5 wg&d]tЇ J&9:ᔑ}))70}]\]mn HNMaSU(]rck)0g"gd 7чrY{B 0Do;`{`pntH5tZZ;(?UZv'GOj6Atp~<]I_ة0!?|J5V+ $o(3Tinڟƣ!4tKBzpX7q:+\@^>@ju3Ӡߥ71'n8F7QI`V.~q_VV#Wd䀬wס9S}|JMaBK.c;%4ܾf՗֐f6dsVe24iXgyH4:w3Pڿ0Fx5]W#8njSc_> l˲9o&1AK}q;Mn?WJhWMYI+}y=嘷$ԃZu"Dr!*}k^|\xi7>ʻ|ŸP0-PTf;nM EڷXS xiHB#=$VL#Ys>NÒie \Ju$/~YMt*[+!bLd b-Y455q A^q2=kO*ksQ5׭IHsxpǭdmJ* P!9P 8C UHFmo@=\Ka/޶J^>UȡBYKF˾RqXxxNW$sGeP 9? GHʺ(gr:s^FV /fM:)lc g,cH}4n#¡3L&0<&~)gCf!.OtY /3&9]ݘrTuw=t)C_8H6bZۿ[لh/;ݶS<}q#)ܷ:ѺBrC8*7>c07IwҭmnB[#p4R 1B+7_l/,7#> O'`PrYSd@ȵQ` nQ*هfࢊN} u?Bp qYyZr`)U[!|_Yy@]X7/R1qQD^=5O;}f8[U;uk~XoTf̾6ENVT(LIAPuL+5j.g8'agģj~ (kƨJWE\㞆#SDk.^)W4h}"hRz8&# )?R$e95Ndq#v08H$䳐\P-d5%? v Zq>'RT? ]Oe"`&F֘bXB)!2fd1'hXp}; u'^F!归Z Wdӽ< x8fi})}K 7ɇwvL(N$GS2OL!8`8-Bpr|O[#d, [ow y膑F&w-_E?,Y$~z4+JTۓ6QRoON)x؎jK h5U?}].Y{e:›t9*x[д&@eӗSN9d_%ШGOjԀ۳ȁs׼s3*#IoKv/M~$#Ϩ:SQtFX -q4DB5~dҧ;35ߩk Q Yx#J)` >~ bxxhm2%]MCr= y_̻.`}ʌ㝑2w <$2ג*5j\Qh `q)uX(z?Z 2i@<aM>,2Ov}OGI_oUVw!H<dz<{hb3´,|r\hw+8 jVXqO/gqKGKJo u)k"ZOG`1H1! 5V3W72kNf(j_%oH#=C=%JtTըFEʽj)#_0E+q/(PAzk&hЬʶqN`R.sSLApBxQ ]KfhUܲYZUT7̺ĆO2@cfecB,>ocrYnonݨMƭJg>k0zɛiZkzh1򼹇|>bl?Ox:st(V6- DGc}65LJPC6Tu&F.0(4ixƚ%.jsA1E{X/hQࠩ/]hm0SȕLf(3詖YAUVL푋v,  l9?yɃ }(7GMȽ"ݔ!2P#Ռ:\IƲEW#(} BW=1_ NhA# `w^ DY)އ<QKrNrl̡yڟ>~4VW|ƚb.P; hxsyuCY+3ډh*dj"ʼ5LYju\^E=#Gld_` v5AgYEA SKzKqi+ش\Y\&ؾ~n$aiC :[G 4kbЭ+{q2 ^o/hY~V? /e7',%s|)c^'Vcs9K 1OoȀr d|  F&|J:|cƼMrH0n5o=7Ud\X˴(涚 Z_' ݱ4Os۬0]KcN+d65So_\;BsJU/N<'B߱` @Ls˳߶qoޜd;<YtsBMM|/\Uif7i{em֪c7W3@˸-r$K9*ࠍAnhC0SUWf y6 ="f/3P?.sz)r4ǿe?j|JI@R[Ճ݃\8+k24~7^>!2+뭈QK-x6Կ$&X0J| :߮['Q 4:ˊw1n24uG`_ܐmM"(; Οŝ k&y|rNڥ41Zsr)2̸Wre(֋9Q{57P;p 5%m\%.Pr E#H,(lqϜFb|WEOv0-}}K0{P@aB5D l9f[T_Z"`9D7;S7τf~/WG jv.\[l\zA90n) v ɬ{xm_3(y"*=Tt9 ZHP;b?74 uG,a(S$Q.r1d jb620$^;u#^.A?ɃiP\gF]MQCkRƧ)۝MdZVtabsQ&'q^1?S4A#JU95e0OX߭zSfAp",{b1PNNzwl,2ѻ=Kn"J T 4j~Г=#m}/=*çm̐o TNRLC}N#+s+D4mC6ڽ;XǓ%$j'0c+3J{gâ[:TU %+XVV (DP>N㒜,LH/j~ͮ gͧӠʔ)XJ%{"wе.7߷.mR1mb05 <ýobjK'4ďt/ɱITùͷ0Sb!/0΀ݘ&$NjY#3D5lɓ(46xF cYh 0y-=pͻOd{LJ p7yXz:j\h)0 tL]fLȁB%&bѫ,1'DY݇s3HhBC͒_tGD956j5H,qF;#MB䆺r p;3cu@aODF\_# s~=!$U`uzc!jZ\z%ピ Ƙn(xq5?icҪ@(<1tNDvp]6iS^C Bryf%\,خ%sVͣ'G5[/1ǓoN:^(o7ZEU2ekLm/[zƞ!^%trGpRf0fa0rR) &}w[r1w'Kў:DŘ^to{o 7fRR}LE70gk3+kAw.O L#Ň c(r۽seߓ79\Dx`Etp0TJ<%i9I+mH é 3]Qev\Tξ zA)N/>?vdL YDa,69{McIp7laa|.lQ7E"xIw,2{Urlє(znDBqkw0\@#\킻GOt3WQWFiy0n={粸㴑tЕ>+h lrH4|y*@/>=까|554;9`ѺKuYp: 'Vr&0\ &Wft5AV2C Z")q6{f_iU3 &q/O(SnS>?BaFZ_p)sr4K9r5}$͚:,S茥V]H ̈́̔ՓP>f+⶯D-\3z:F( y."j:9R9;N$3HU)Tಳ*I5jqėz8ծ/0BzJ{Iͱ# șOwy>vĴ񱕩i Ħ%U[VkghV1\+ "LHqVLKc]S;+.Dwl<ST.Ovdղ(64N6`B"l|4UU(Q7M""W*t/qBnW:7R5:`bhM/ ]gYZb05890db745281617534e3a5ee49bd302c6ddb074b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 852f48909419df3f6270af6767789a2761eb019b