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   8%lLT ]/]HOL-Analysis:threads=6elapsed=351.804cpu=1790.384gc=82.800factor=5.097zXZִF! V.]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjk ed8dvdSJ>EVuc Cc9PWE6@=`8؄a#Q|F 0R=mNGCÈ%.y9:?݃lRԙr3vK%./9<->UV$.1w^Ϻ;c 1FQ]mqç0#<}WTW &n߁{bDWk7[.m+] ^Zc5pUf~~Cg nv+jLЋ:/ +с-CJ:#F%VhX wQ4]?(RNL6qx"RzftuH\Y%W9-!/ ƅޖ"*p@./]"-߁Ƥ鬣;x9k*afk_­h;A KĖf`hEy `dx*䣭2E[o\Nր| %׳}ۿxf١@SRYI4 I8,;HA@Bļ)xoY7a\Eʫ5Pe`N0z . hxǐmlD_h 5nm8|jKD%l6ik /x\&68BHByj ެN6wԩ3*Ą>i 6~sƀkq-^'1| V%ƛ*umXSl`\ҎwJ׹' r70TkNAD )cvHp#MG`(W)~TJ.S3WW=T3 y 2&3>-9ݙ , 2} p$ 9[GbL^ZϼJl:W*]愑A$z ,wI_es^2G %('*%"6%PG 2R{fr|+RO@I|9 \Yr詵F-ˆ1.;Lh tE]j*&]딋x0c _~~ges"nzIT2gcc])T]>W9 ZQoLUm3sZ܊ͭآUpRZ]}/bB0; l2s0O:\+;~QZyKoaKZwϵά̮jCJaoH,rW7H81ma6+Dd^zdZvQ|gk6Je'?<@Y#-o6ڢs5Dlz2):J.k_W_$ac/a.L%<)Yt|t(lU"6@PY2Jt2K O8 f+D5 膈Ijg]???ОMz?sCǚ\$T֨-,6 ìZ)WUB0̖մJe\Eht yyq hO*?'nzFol/3j JDCbM)Pw_ė@sQ(hC;$6zru ~U~Kx&渷8Rɹw>iX641XP)u Gz\2Xlԫgq]ӃD˾'ӝw\nw*fOɩb2ZRԈw\g[57Q_3-474Vݓ#q^&Ɵ1\k[\m$lMYh0{ci鏇v¥H|]a?APvJƸv^3V8kb]}f0wHq5 \mX1b>eH#y p;.hua/lTj!0,vVcR "դ&q9SFw³a;;^~RԀ/)opjlFgN(z_7rܧeEk w"9GE,N"C<Ԓ2Oec:[bזC.aGAMUoIAm PuvcX ^pS2܎chguB~a!Œ1Aha60򳅗Wtƅ?~sꎥe@#)yygS9nLB;n]ț.%z8),QΖ\?^NӕJ_{ȟT0@׮_'>~yOsW`#p+I["S|,0H>^ԠȔGZ&GiGq [wg )04//¡o 0!*f@7|i{$5Hy6aDgzYӵ8C Xb;-u7u1@a吕'%(p{Ԉ"qNz!1ե09E\*]κMZςbB."۴ahok5Y|zQȧz,VeF\]Aa4cuwM6m⚸/rV]8VH;)ڨrL{@.W S*c2?/ ^rPa>3Au ̀VJvd [<ĺzw\ Vn ݰ(`*\GjULg^LJ\j%fFre+uĖӥܢm. C>I-;֌ܷĝR/ka˭a淿$3 ͬg(QxV{rj,{Gסeٞ2YL°rPBգCҚu13$B~g.|G1$ TZ]lXƬx5vK!,` P2>U?pڟz0;M5@&ޝܶYVdpC0|029 b> TU w 85Ws+QZ8%>ښ381F>l>56A7y$ r\ Oj$}+A9|\!6(ޮh*ܞ[. OHiE'SBgQIVM|i^,Bq? o'!!vndy5挠48Y bj-ξԣןzU7VR%<>!5EƓ \G$uy&|"S)qk:^"i~yWL|e]6z3eWn= w,0{;R7/,5{:`Έ{R!#rmϲڲ9W9lWP@WِaK:DG*fk! V(os&Em(uu vQӕjײa#FNe35,vpr skUe2;fe;mfZR~n ,YK ^yicg0Q0P|k&J[dHςȊqPp ;8 Sud[*bNڗXŲu?F kVB;zY ȡ>-[>.d01V_]?^V:TRQ#ZZY44]by9>\}^{0 xԶ6YPr2zK\.g/ ұp<:o? nwB + qX9.yl1E-⏒t/=yPл ;n_D`G }_I o(Ўe 6!UٚgS3xA0HЅ '@N+9gf6ô_J *r!1S&53$q˕'p9t< -21l\<,Ε^|CfQ'>;xbWr)7^ubӖ"y_\U5礸laG$:QLr;dn5N#lSfoӣ;)Ёk<2=YL.WƽwhZ JOzF"F~5&5+_I9qHHktO\vz QL}LBa;Wݤl>?̀OX"ƊF!=EcF؟"(Lb]LK8|"`]+,=zÒ*a4Mc;k.oL=1,Pvݧ#c>PIG&/IF`6O] hQBdc~q2+|0TTDJ1| ~3=.L3QTI:졟}\*`C`PXy2?:8/k v30C,b <^dCwF ?j.|m=nFFT]욮Pb-}S%#X4/I S" Y֫uȚɕqqFst؃?n S@!1oT 2Ĵt<ҩJv$VKW'PT8)9W( \z,q9 vxjP>z8峩3%H$6NXsM]8#ȕURg0'ݝ%[70'q`[DO;:kG^#Bʍ+{cӽ+:TL5t]_@V[nαe3)pc[rYL5\s};y /[M%BekWիFtU ЅN?51w~ yrcJ$팥Lqh^.牉trhJ]` !!e8U'G4 9 i*LiQ's]qE Yڡpհgk?\ u-J TOuCdQNk 5x;Ȥ!q89s/ }>C.T*U/u5Jqa1X'M &A7S!ݰl޴1YU$ĄC\z*ɧD`69{oC)Y!BEL%crwauH$ V0 #rފg]<%|-+aYԎOYm,xPiS8?H S˷2 [22mHE7ؑeKAG(v_}/7UH!S'5),fSFl-&|_ 62ݯG3ˆNwh߱q:dOe>7dQɾfsYa3d52-\kǤZ;sGT|.wԘc wFnc+ ц†r*ilO}9y"Y \7)6d|pDC'2\˼ޔ踑1kh%.RԃD“U)z3IP1.'ƽ,>vN3X[ukS 7@1ER53Vܽn=DHy`&[]-kR^.PNK~yNbvAp=Ut~~uɴDJ0fŴ4ݳ əoפ(/[ -ʼng{3^ /<Ĕ]L99bMO\Ȼf D4XMth F^<ϟf@jGff)iz!V,5OfIX;;#;9> azX\o`bCqgw?qNV}z R<0mGpM.Yr 2RLb>0z:ʈƊ0Ilϛ͊%ʙ`6 R&VXmk ѲE3`̈́#:I"ŠdCn8ڠW45Do߀c`׿˜$$ D!nDAk[ Nf6@ޥ W_eF8!r`N\ߋ)YA;m/| oͳBSQz:zےx=8jQ?O R(J/[8<~]EBV"`,&GPل-;;%6?lz2A!r?s~.s`kyߎG) Jhb 7Tvp{6 HBFT*BNq@|`DV`@lÕ:qs.M~>Lߪ2<ӅEOΫ39Չ󼘴AYztມe{B.z:h |vgje)~22Uz$DҰioTԵ @cƐ`;,lzKkeavoa8 Ru낈HOg'6kK: G'vSDMӻOPXA(^k?Rk ~q+\ٮ'#i/F9w=I~xa<Ǯ%=E#&{udsԦ'`c0GqŁbs@g~Ҩd mwB}D#?',b랆B:~3'rM??Phb&PD|FiO0@ƍ2"M떏'|Ks/3tͶLU)8y^Z8K8l ժ=Xeua#ˌ}ҢZf]%p-l.?Dbg>?a@ʶ+SUSnJ3!!N3vd4*&MSF`4aW/hc̯ES`IvRY*U~'h+_a)Fl1Bu̎\#{FŐ[c =|'O(ڪA(Mr^<*m6Sd}R׎q}@+D/Jq9#YIdլǣƐ7Qqh$>M9.][dWhCl.ڮ,NRHljd*f_< ]rq* )u"Ȳ~5V*\Mtdߺ@2|ndpn̉9ix&'Pa@. N>s. %o?D2jɐl Nxtu4Š[evك7nC4.d4{!Yrd{.-CYTtKHО. #ڹsLKI65yʎf6d^3<4%!io+ "]҈T0vw]WA5`tq9Ԇ #H#H W9|@oRa=!a-jV%"vmXRz4<`֓{U'&%l0;3c _F3;}ͭlk7AgH3zB'5͔?0|r5,ڈ`x/G ^v==)^nejx"vsP㉣M' Ս'˻THmՅ~K.dǹl)j;np:|JFI_Jhb c BUGO=ξYcuȓ%k0hÏHE/O 3jZIC V3xQ.坽Q V3]lb@5dbcF?@usSƈ ?%nHBݨW9 F@}w#9W卌 Q KEnLTIkK;tͺU ^ԕi͆v`M)`C<.qL]$tDx|42\&:d'S69rB+ ; ۖ<0֋/M+}8Rۑ@^ ( bTV[WmvtFF $Ь4щ+q{W^0ɩ.E(l4W :3^i X::N&.ؔ;&yZj깅С%ZY wTNS-Qņ·6w<<+貅yq.(!(JT-o;+3JT4qO行m\@YG_Zm܃ng', L8;4CWiqȕڠvwЭ 唈roE\!MƉuW.F;D1hg%4k+ 5B$l#%{n2{)^bǻ:OZfz'77n-I݇x}kG汖1$&l?|X BteU] Fe n"Č{s4YYXSڙ _A4~ۀ32OHLByvܖ^"IUMw5e{"ݹOcq$ JXz c~߱(q|"t9 V0uEo\1C[z\ ]!@|PKR+49̘h)ŀ|Xm|;#SP. KQUX)0 8dżx?^ [0 ]6cu!kث %˖UrS!MLQ]4Fə:\N9DN^RqE}ݷ,# 5,Ne)G??;H#˙*^$0_ZH0l$'Yy'V_(ÚRn^vRol ,Aݝ'J]u~ΦAҋV~*4un9=t!SsUx s fm)'x0i:{6vuL`> ȌBl;gޥ2$^ ?>6[(9KaaQwqىl?J ͕(Ml)躁Yؠ:vs1Cvm*`%aĖF!J%|.pݴUK*H1ybQ7]{P%}zo2?:YzY#cU9vC.PRS9qBlNjmo3Z*ȝP5dvY~KYIuՠT݁ڡO"*LTR'2z(Ēզ2-h+UɮaZX<(p8geӘl ov5ݤ3ʭ! @es \jFÓ6h< jh0#^3HDm=_a> KӋ^ n$8'14tAd lϴQHtf`K61VL'x$R*ג܄zx`gȶWI$E &6[W BP[p&mOfk쒜Aw9k)Nϩz%-3+v`U.'8/!mUJZαhe4 jamۙȢxӕaw?s#M/eqYP|/oHZ xr#ڼ[:xfS yZ&Q36߰ ;ajae|-Ju+u8U(`JWrvPN7@&`?/0z FC&D射vXpqD5xɞB$aWߊ{r`4tG˛|Aj&zs r!0jis:p73H(b\e h++ruoNBN/2)(5mz! '3;k_vUk^i;ז εDBm"DOqUr9Y}S&92N 43 dXmNG*Y!Ϭ*;$fVo?Uo3^.$7<!.;O㈦_S_JMoyuM՘M?n+Ua/x1VnR6%EK \(^Y{4nI\k]a<lg56ht ?1mEGmo> YWtx2o3zvo+ tlbyhqTO["{ay%,onCxreЙ#GR HtABxeХ.JY9-+΅7zd4h|9RBD<|Uf~$6dϛcJD6bD dmz_Yp)vpb`nnF@y-}?wE+.jwYRASJ)Yaa`!hwon`!å6>(an^~\]>] JfSD #yVL5+%T [l-K,q2ÿkfb:\Cy[/ϧ:|"o)Q^hh l*_EyTVL[Z2`ࢽN*],ԵdP2%K4ޞ-3%fNGm降7Fs {o(  Ԁr y2kw8 "H0`5!t$' 6.u?Ci(/P8x"iOf2.-uS3iMR~  Tl;q80ec 9 x\܏1v~#QQNR@b]怽u7g= EgexY6ud!fY_(`wj@{w8Snl+ TYkwPZt>AdYzN:r3[O?&=xUSꍳsDH`f!_KwMDJ}S):`R& ڪ1y%ODp"lّ D-!VJxߎS_#7t1/Z`THJnJׅ'p+#5(]_Gb@؀dml 7Yf9cKk>PKhu6ِhT놯~Ȝk9m}^au s4, _`D(왣ADO/°=l^6% 5hۺZ+.p*ȍKkTG^~bknYe46qW.z!lNaBA K0De*pǒq/~%p>L8Μcy L1]ʈuߓ''81Mq3}_ `1?/kkn?mvOP%9?TɅe&WVK8X2(3HNnU13^npN!/ .7짶^N2J|Sж/pD6>4̃mO&[Rbn@Ri[tm6*'xuhc\/6^4y!.X^BHDNu ^r9yEIe]||#σ Fj M҂Nr@oڞqUtNPi5 : }ڗIR7zrTrݨ+t8_,xm&F۸mH'y L׆:-l9r4Q֛:wdPYxd̴R#3%JMNo۳# 퉰ve1n;E~=8Yȓ1~_.WXV7u8F?(Iʜ 9 pgx޾\C֠y|)Q~|$[E>o١9F:^QTL ڴ,.tH1`1)v>Ny| (Kd*$'6`nMM EtH&!=G.(¿ #bLI[\}{'7؎%`p1/pOK,)eP࡯K+YB{TN!TDI.ꌏ_cHUF5IA GD5q}3#&)oIQ<`—;˒rtw,ݵ5ɹŘ$Ws[5.y;5_?"fͰ$ ]wƝ w!0K!}ߙymч?im@Q;,pmԣ cu@4(^Vk+ڛLRjA~r|J~~{Q, 4)~(U5-\£qZC p"`X5*N7q d{L[n8C+[x6t}iT==7 *6B#R}nqns)qA71o{\w ޳Bٔ(Ҕv.J$3Q fΏkFUQ2ɴuQT?PSv/ gԧ|٩O$/\p^8eEGO,M^HM>̧.z9 Sf1O czGm= lS3ra"5*_&NQ'tEz;^MGo?/V-M[FZ){ ;1:LNB>"z;RUy087 47lQ̙s]kfw\&L}vMW<#(=s{|iqz~ y$3kOBd6/+lO)JlWhڱͪRЉf_UAPXgri_HX,z٘WLgh1LY[3r`Q78aUa8p(D"_e\l &Ԟ%$2|ex@&_DܙłQTXDuuڨe%6]RҾw#xW{`,}>jlY&5Kf(`;ݫ&; X6܊xq5 G|!? T '{*խm u^1ӕ A2=b^T Q@oR!ajN?馺 xÌ0ůh!s6HH)#E, ˠY[IA<{)=BL* _ǩs̃yBX9l:|QTzq=O4mCq4 EE+4?6 LfԼ Ʀ1>8cȊU݂3't^ \1U͕s> /WXyUx2ȑς3 } Dk=Kps&\r +q:/Eӗ;Vnbnj^X)RZU_?;SCZVi}ܕ vZ̽iv*XFo{{~m?_T:VHCeFH)}~j0:5Cpf׺댆/j\Cx,iIbV zN^d$ br QHzy_4ߧdѩ<5mxkBde hhY"@6z |!W^t Sr@?݃+YÒn| ­1>Ź~I7U+`vMݡw"50n'j2pk1$r>q3_7v|h48T`Ȭ}Rt'5 p 5 v-_zb_0ΌեEҾIU`ˌ=&¬zs(BIh%1;q`0I< q{ L zh0Vm5r4XGW_hi`yB}Y),2F7k芣(.t%8EN$aqʐ`yvӈpB >^a{hsb]Jpq2MW{;ߝ0ؠ;fJLh*gUݪX&/MLd)Gw6wC /DOJ\o,0SSE;qY8PJUtDU#ʬG#"=gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba''h+J/pBUR,%SedPx2 IT'T GU>[Fl H=Kr"A @tPSF^Bg^m8>g c3 cXr! 'Θg6`% 1;ӓQAliE19eG>Q͢Rݖ=CHSl%̦HE͛Mr qԈ%yy{)p9S\*M}0@I pM(TS[J/VR/lwt["oնFft= SYfzFW=Ao;N;8%4`L(4_׽ݺ[ C}?مw;Njp~PR]׃P!C?ƥhwb$ I4}X`[ IYNc.bl(h0:٣ x7X-^ɋJ&ǐ"xH47΅H~d@1OiOe W'tAڌ5 h/ QVwQ4]naܴ[Q?fu#T.$/W`W~X,<^ 1kу-r3zC+7ۤonPo+г lSh5q-*wM@BvE6|f YH} I#{I{I]4WV6h[2p8r@ek4/⸺qsPh^C 5e ,Tg &57+X'y5o2K1Z.aZ- T_Kt07~ Vnm6#C7d"fhC42S :47oq?% F@8kY2{nDņ]Sg1DR"/=}f9w ?gV!4JFߌ=W(nAb$PcujfN[^X8kPONs~CҾR9xWN),e99!>wlwpeڰ+HvbSMiq@FU7w)\S?έmz2'y! \ ՑȾo>D] i %QVϒǨ/g%,`LN% L/]atnca{dU` $6u{~PkݔPY͂-cku_|vSn3)+OdgJ0:--. _Xw)˕չh2j/ou5NzZȬGRO;Wfq%y2j,qm9駲\"Yo5,Lh,~׆!a xBژ.'${ǃf!JGƏ㱤ԝs,@$+ܒt+<.nFp9I`a nza6e261QtpkhcDϱ)q;0}($e%YϒaK\Z|8\yE{KRYªl@)夷T˗ uŮ1"w0dg*IlUZz9n߀xгcƴdbKp!(tWle֚uX:mG9<գu͙Λ䲸OlYg+knWs,ă_s|캬\nW>>LdMzU[a\nJRR$oAB54^`@j+pF:X(S"D(3pϳbBW,$!a8ݍiS)Yn tPQ)/3F\>UԽz(;NQu f~s $oO8%˫lZ;9!B"w]Jz-jF8q[ Ia%٤};v}X J>mpZBY2eWky<ɐtYdxM16j M,>>`XCpmۓ?׼1W֜sIɅwmbAӨ`Y B\f6:Ee*z eܢw\ sB5^"`/Fd f"%|"\~ii^Hqbjq3xNoZHS'\&`ΠXSq乃dhR\4c9(;yi8R cm6Z-zz~ ;u8DT.<;J&@7LC%UWwp?0R㞅%7Q; ^ f{TxƟyn0h̕Foz E BxU{ve~^ޯsd/MLjFEmkōNP.*u83\o'^|UNL&hyۛiwxR)p`3ET u_w^+lZ"GɈ)nGcHRF3">l7" ɒ7jP`l@i,OX^mG ĺ{!>tFal3JmϮ%n-!O=kRSBЊP;%#տ(GiZ ~r ׈^(>(an#V4xuIMS[~6%S]Ъv=yZ{+==բ^d0 ae<""n8K/w0){ٕp3[гML~)",bPd4(g;G&,CƲN Aș`ir$ɱȷkŮTF ZөIlA9 c90[#[+gY?ݑyRdG,c{54/ -PY:Iek\r4Nܻ΄UJz'y" OK D%5G?? ډg/HgDM\X@P"XB燈Z1lLYQaT`Dhg4yo e³p@u `uīVR`nΪN2"o; !|!mlX1QqUL FT.>!/ߌ]S/:D* m6ZCenW7 f_/bѱze $/$x,bЌTiُM=DQ&KK}ȌSt Gш˪Y$2!4CWΦ7."%0ЏvFGt@@R?AI!K+tVjG@G^\r$4͸JO%dЙAu;i(ݵDu覯gYJ8_Fg0\CCe?@zl㜦-#9=<>I95U ͓4.cS/?҆zXtӹr64/?x/;G4Rl_}]~DQ5>Z oQ2 c1̆Gaͻ6,G4Z_{zN&<<624K|2 3?ro`.1*2s%Up</=?*&!ז ,"q"ϥgȕЪplc,a!=UUX]`WpN0J{ֻɳ(^,E1n@Jv9eчl)^glG|e)<  <U:>R $򘧹{dHV[#[Vހ"Ol,貎9#~%piI~_c0 oxB3Q1ؘ`Ť\`ZEUS!WNe^}%S $IiD/:RWp` Jw(sdb]Z?\x:0Mbe&&Dh=Z8dUgST" ^>g`y"$5f:p>v2GLȏ4jܸjGz7f^qd _FOHu_q0g`unsЩIJ峏!(fߑs/65j e$|\A,Q9 5(9-;l!<\'%A(Sa`pwO'ژȪ8J;cr[^WhCK1ȗ'Bv8_#iփw".Q|%-y/#冬;ljoPc/1wPo&;d]]N./stc > G\|͖W).KCCGs G w#{5gh'ob/nccցX˞UtZ9Yq}f֮S\dyL$4e L;JHGr׻o` #qÐS9Ǚʇ%B,J6ΞhM O77օM̸8}u8 mo Rh,Xg r/ao3j^@mNI4))]tDdKŌtٍ1A:Swx⦑hNN31xc^E_e!7T QtpRWYx/7jɈ(1g`E8$ \"|nNCa8=s7ő` ^3o@ԃW?.Iot|IX+:3iQU;,ZCMqRqzɼMnBP^U.H}}5nmB3ЎnS; J-o'R.)tyG )lQȒOJǑP{.Q\@{o ]p嶹(gg & so0&Z*hu-܀#eXO fmA5oX ˅8\UzӢdIDp\,C<`o.CTIa[pF跿E,͕[r?& oA^ʷU xNJټөtu [ij˛J}C g1Pu!JEQڊ2p`Cl/e)}4qkmP'="/EVp{Scgbu[d IQ)! <z資4#e@BBr]Xe+ .$ȳv!Ra1aƸ/;Z1Xt U5om;!@n&PTt$"W5 y01ob2ᲇAَJ>#>i'BEP`rmvZ/5yE%LҜI-0Z[l|]D[Mlϡ,I/cF8ԌSCg#Rk&z81J74'EM8ߗe+r B_"f:])u!GB5# 9 9,mU#r m3#(ʷ5*ފ9_>VC|9(2YDW3*^,v&]fO=x=Xu w&?FPh=Bha/&d1#鏛"rG^7:4=S'+Mޠbߏ]H2E)˲c#P 0eq#uԩx4yPIk" D}e$R!6~sҴ2Duf\R7<1I0ZgF㜽`P9V}O"U Z|WE:hP蝚'=`Jւ+ ,c`W#Ǿw7‡ L{gݵZI]aJ@G>܂^$3r\JvgwZkJ.1 'Lo}Abr`o*"GhډxK®]9JTwm%I旲j9S7@cXǾ$dj$:}}""1G"Kӣnxonydtx;9+'e&iAx+GMitbK}_g^#jkM-MIW9q|CL=N#S g~YrLT3(Nuе8dY ofkCtzV%4Q6r]@djX-to5o}B2=w֪-R !]#QC7pvDc>\r3E8b. " ^ާ ҢB'MշUe#,Q=@b ؃/*fo4&E,xؿ^WRM,_ُ9)dhG6eSm0~83{@}pF8gRպMƽ1BO 65$ou8AL)zF~m{TDUy`LY|43Fy\"N&ϊZpfCHjix*Ih.?gT@ʐ=94{3v4xOW'#_!3їy(; KՀpznţ#l{;1s/™=ݜbU<uJF4j$%jlXi[&a)˒,ı$ !D/*Xxj:ٻ@ipb֛8{zbd 14k6QN[ĩ)sߦo\DqJ>÷WY'~}!-ůOR5uoPҹ5~BWRn*bj'fhn83%cU"wJ@Mj3hl,>wGˍ4vF]z "ބy<͢asy;:k< 9vCyCJXlpG~]Paަp2a4z2UyE˥^TL٬*)|>Ubf_:nN)Rߘ Mk~S^wCn"⇳Ρų56.!8suAtYiO.Pp.׬zrCu Occw`]NzDiep$tGx~ط~i8{JQ nY(pq7Ty&璟lҤƌꊴ^h+`g!VHMJX81h#W!sU8*KmzdsҐ(4O*5]H$JqнNr3064/ ^N̮C=m8<{(5;b QyhzNU&{͍(rDh..-lƙC,) M`/s@Tv zs*"uzվbRJNA~/|$r{D?+)Ct+9X~!t`lQZ!܂f5W&-.d!NN٫um\'vR mh3޷sSۦ9JsV =RO@tSY3hr^tlɱb~&e6s *p>|\LV Fq㬠VTdI2:tc۾&EFv=|?utF=l^1h(ycWSEMCcsUT} KqLt ܜd(XyׂH3?mRU_,3sMs];E\QnW&F%iVcQx98QA]+)z.My,[*ɢ $@*ݍ bLF@[lemUX]+GBzRۓP:l5Z^"t$Ħ97dp'rb]v:xҮrp~nG b'r<}e|29a5#9'o00}A zH "<` Dե<@Xh<{̖UܘGv~7-bX4G.Jv*p@.$3ZS'dhĕb)o hV^& .:p! cPt|rv_6`6Wh pT/\Mlw߈cY]ꏝvh<`~fZerg<+r)q4[袩CN ՗,O~Ќqr-[W(ÍkV>vR$hC]De[?`H""!Fg4]80RS8+2wה/']3vqXMPP^ z-}ߏVaC#cPѪE8:$jɆVyml9fuPg0D_!Xpo-*{-5,@9k.;wmxMM|^ۜ# c!5VP7^)i;\[ 9 MhD_'(98 '.T}%͒&0P7Ib4 /E-[:YB3!3X ;{}3 u>Nwlqiµx"]M,mޏXV>E>gigh>7Rc"6X`y球,:Q_匭TT9·e6X_/Q5Q߭B̤F)TEA+f>ʼn㩣US}/!~;Xb㆐4r`̊{,4I93yK~5nD-r 9HܖG/m9DVME+J1F͙q޴^#oG!Uߍ>b5F_5Z8`4-9+YYjw[WvR*]m|@ ;RޔuBuw 9'h\„ӯ2ni4|ͱQ4"-k-ao 3BrBw>n8]}yU餶[)\%,䏲iwM2ijsdı#ux7SmXYLob'lBtUOb( Lة@[.:&0lgq;8vQJ Kk^=~t`žohRl>@EcU!UMMs$W @EzJwv@I,-&]A"W KM[HV1'ʞLxq% hS@ՠ]J_$T@gN8;Z95$(s [: {C 2~cǤn<CXdSwa$@1K>B?Bb~x|K4RW(+`|"c?bOlʋdY25!I"j,5XaI[Ua l tk\jjw:wW_%]َfb VX _']wb<c5&pFxUﷄP80w[VOgIΡ[|M:f-:\0:W=Т˲&:J(Qn(RONﱡ}+'*Ѓ7QZ){{9a,dbp *Ew` S 5/F-t pTe B]fJEţvqKvKEJ}XIfu2f o_x%>C;e nhVE"FnX 9#`t$| pʅ} *+vǑIjR+2k| @:?n,§humV )}#bn~52GGʎaqc|Q&k~'ܬfr+;r.kh&+0>=Hfbs`KIu}d|*.Z(7@1DT8z[ztuN a# Ĺ o/W#EM4/\Rv>pÚТ+N.X'f^U@:x 'I\ߴg46n'JyrOl{*m±Y)ōqȨSFư1_R;eZEDwv89ӿ 辳{@fg,(/bO $ -%zbƟTzfd53࢛lmXCG 'pUJ{.a=Xu7I=k.6〳 |ZԉJz080Kl>ȬPPfGȬlml'Mi()5Mww\Q{O%@!@6?G 4[eDCH@GCbD@<4g b#IB'Yߛ1Mav1K̕+>&;9")1BN@Ei;[X16bz8{ :1"+Q01MFpb,~_Ww?Ot<_E$2f{b5Aî$$wtJHK?g?s4%Ɗ/' pUL{h=89w !UCojm6/>)1R"Y2!u:Bz5L>$p;apwo?u="Ǥ e܄3FThϼGܿ@WpJ|p- j$oPtCEFN;{ Ǹ@/kКpH Ïq(^?mw i>*hص2`e+Uj^j=)pM?:FJw9&Y}oX; ۃ CSD탔JϯߢďX{Zcӽi: C#_42o Q;l`C)(d#M~]+xz[a^c?7R@R{k4߳Hf$ݳH 7߀q5?{5׈(s+r|e0cvbmTmRgg@}aM\,\2md`ȗ .I߯Ds-2 7Ts@ OHNp EoY)B(.DFOُYf?1AՇ%mKTIrxg^wtՏ\-9LnFi+^ۜ&#.wݠ]TIǶ_=$[1ZyOi͇@6㚷n@2tѠ)CtD|&Y125CAŎ: Joe@upALq- c9:#-j*  ZY-m՞}c~!CLUvf:Ӏ¤@/N5r~XpxtODDn)ţ\n#2_ZG cʜSQShusg"p|[8CFs$r=3 EYwk"&^C@0tB$.ː6H;5]g9n1R/v\ /KFUXȦ=Ϋ.CR. $[?~nDC$ -L%n~4HKZmcsFs6ɢUo9p7;ݼ. 4}6&SA=o\Jǫ"WlvEü [M}~TL WN۴, $Өof=}NAZe6l\$+ǩY/(kCa ‚V u!s\IwDzo{ks4 Vf֣SeB%\QIQkC4J/cyi=yahoxP )yw%(vuD(`GsVq ˓(E6YԷNa_(%v`v+}Ttc(L1z'PĽwPap)s=(y>zQwc,\+2!tH b?Cc;bޔNFrwG'IGssjHU&-kLC/syc]Cz"|'EuUnZBG;zv]È1@_3&Jb(y'\踮3& ί50 D &\>8s|Q_sZ.&~5G{,}ݺ%"61^]AۮJO)qcy9^hVd6yc9TPg O,6ҘQF,yik3"*R\&q. %T%Yh브$MN| `5mJ5j9QYJ:uLVLbL1=E"KA~|.qIJZaPi ǦV}0غbqMwdWig/6LY"$bI(o/Z7ghs6rՉbMXN[n~)^iq˷tx*SME^}Dw $ެɉoșHc"੫J>ƨ ]}(؀XCը9P+l4 Δ֔Gy{Fs0Iͻi):%ܛ2/~f<φ pJE7{n=repunY2Ws$ok>Δ1zHT/3j({sg"k9%R/ߕhw+{fwL"KWF=#X`fP7F?5v .][sa<1 _x[+G/eMi sSmi򕒣IQ$cYUPbڵ^g_>uʲ4gh 8]%r$;9 \\0 nm@1ׄ1@x)?%+Du%YY:[\'֠1_9(6ٯBzCb ~+  ׽l\lô}j 7e]DkQo+! Zh @:n{߳*n3ӳE"lSӊfI@2}RR$n ʮéK]e Oq.kO^yL W_LNs $Duiy91*\\x)Uj6h!4T19k'xۛda3WN%}݋MAu= m$ޣ -׋{ LlonqfQiEV~}mި0+M7e9I]{qؠƾa%mEH:2d&":S<.>1f O(mcShIv(T<&MB߸`+GA9|~9(WGS{ kc}om-G W[mچ_cb`u4bBxU ͱ%p\!&& 0+yvzэW4ɴ{xUU82% >n]M)1ILz*qG eYM浫_Gmu1p"wj&͈OAZIyU\ۜf\3K&feSƾo2ca9JclIяF7 w:YK2>_StֶطfAld j+tZ )ZaHTm@pTr*ךr%m5\~$6= /;(~!7U?BGԐpz=qSVeV'0Z| .Ctzұ-r$WBF[Hm []3&7(N֊Bדt}*Oh $ZR!~rM ~eq!8=$7/I9[ds sN;VC>CXu62:sNd-'8b'44h$[fq& ވ)f괄[Ҿͩs>13Pÿ5qk u.O@Fs9+~@Fz o#s^,B ܹ$ZMfNac[Ynæ$ISvq~= W8vT[,]{dhϖJnWx \4wD@%xge!kIõ4C@Jy΀o-:)ƌ]V@Hm<8$B@#B[s6g 2.h6]~YFxZ6)8/ +:39IT&a#䣢<oGZT*ܠ %fTɛ.wuH!?/aA˻ v!kAO>-ؙ ڀPg!\,!wKMu(b6KT$}cS &$Q }ߧxY0{t2]RYhARZ @ IȒ73xnMPtL02HPӓPNSD+iov2ARml>Q w#nUa͏KD~5"XTUp_Z )k-d2h2U.ˢj/&HFFOL(h/'Dci@Xd)w_" I3NW# 6=YSݝ~3n:`o,1Mfa9Z,Mg-v,CxYŵǐْ#hbop3gO;v/ F!h:QnS?XHյ"*IUiO/2LEg>*%V$a3GsFJ<*|-B|y1R@鞩~`d.TyLQo-~KQՔ)$Sշ/yPSIgU>/ ~H8`w1J7M| uvev,'uMrFC~.,fQ9.TCx'4oM-r 9 CD>C2m3]pݼ$M+6!b} ԴU8uYǠOkuZKƮt>A|i6HvS {kgnhcf2'x~}t馘#T߮t㢿h 2Vϟ"ko jP q1=Jqm6 #ؔb:X%8erFS ^8(fneq4 H}֛$8:m]VE8܊76}&(%_3,8`q=^saHi{op@h;, vJFy&vV.j#SlEЃ"295' '&qn޿іSގƂ{3zL:*M0@'D eϙ1StbYGg[$JQWuScGOJKf Z@}Oäc, ~= ;STC>g7yvAjP"*u`@E!p-P2>003a{l3IP‚;[xb٩Sh.!֑M*W7Q`Yed+IT'I1K,2ßmkdZ7)pQt#V}:opFsHZFIj a7$) `rm; 6-J.4c&lZ,;yʑWg݉,Tp{(8ld3G?i)2Õ8 Sa?nmP&?PSv0o4Fixtval( FBJ'2Qyk+̱>y@" vrwLOD絼БY]ϘT+G^;`ּ[ה; K{!!1*\ {< 2óef,$o&DV#2`,Y*1c7)y;*?TOfd Y696إC*T+_ ]Khr9`|](6)[P<%u%G9T#HKsC|*aSꮘŷ(*Xmhg4rsZ,O:!M=DX,x5F䝉(=m X# y M~EF'\,V4ۭ$yzJg*_g6k$PRWC1uPZQ&#&~h1{ HʘS4W^Dqg5` ( !R/ml).kKi8wH'wXK1ߗelߡfJ86] wgSoʬ{ DHс@o7Lrv_l'>Pb*1O ƹ5jύM&nbh>N2GJ^%{ ةQt,,v[6dlXJxA~UR~bA4-HH  6D4W[04Ѵz- l Q^cru3iKLMik_R;X=Pňj(#oŤ#xb}QbKg[2fASԙt9 ب{jyS_c ߧep,5/ԡ|2uP[m4z;ﲣN}"x*\J -RE߅j;JPΆ+b (4rKr5uz;(^$C7jd/9=x~` *O31iU+}S}'?ۥSS kF}4%\ z u1F<A<~H i%5\tFN#S+DA?4ˆ$!$~-^dr$ |/M\O)3t)E #cxb71 mp5T[CbDA?oF!? ⪸ݍo@Ȁ"b[CKYqBkҟDT8⢗WWHVSp?J؂f3^h>|zL7Ge[=i-.e< N)u㎑P9ghs#{j<Ύ{NNPm  SݣAT̨3P]=rg "c'lМ"WwK̈d2;aӼ9+vZ twF֐s#l.ph( VwF= ڹ2E{ug]>.8D*GrAz/eIPeWCJv{keִgWr4Wuii4w?`#Oq2@2&&M LSrb)a ՃUFK lѯs$K,iB*pZ#J%1QMP&Iv)VZeNtfaz4IpXƥys)JwT a_-=VdCY{W!"fI.(N]}¡C(ucBKC8U]ˇ 3X1R\EdCۤ蜌q/0%)$E)1hڧq_F_g:Fn5di9x(?`ē-o2Kгjd`t7 :ŦMsׇqdf hio9ۂbW>N O@ŝw؝K.Ey*6îSB}}jϼ^Fg`iԣ Ylq<v`f$-%+旯6= [`&_r#!2[g0#e&G%*xt4-jGdj>"hls4 $31E}>g`!Iy]L23<O<-3 7 LUz@l6%ۍF/ZUۻѫx޶kNH26-YxuKEmÏ GoNC5>$/vJ+' Wo SʪjRٌʚ@̬0y+$&Ku/8"k}gwk6Dn~zG~x3UM@JL&iw@$mf894 ^<Ψ32Tmd}UH?T>گbeZ=ьФJJFծWI f;a;pi4Z p @_x^3Տ/QRHVTx0EzSDD?P~yC#*#(l)Z%>wfo,MDbΝAb3}9ʼK9햐?:{-\c3:aŀCx^`}Ivi-f+>7/?^S  xm5 can- ]}v`~ӿ"vUf`qkVql$;:ڑ:D."7<1!`֍k4!3qW qgQ!WP>-#Nq꯶Ќ:$V K\vΡ$ _ gc6 p$oOtÏr^bۚN(}ȵ'䒌]S=dsD sݚri=u1=f fox}=)v|ܣ6T~ä۾w fU ]gY5}Dٝ\{B0}C$pG$S5;d{Ycɨ:cr?k cǟ:\I)228M{MYOB8eO|6*.+}D0.~J_XgӓQQϩ˅҅Ҡ}{`*?eV+*_ +L` hj>Mb"/:$#DgGPGjr.`aMy.VrTGHb9򬈴/ل&b&6WZS7=娏w>ʱT4"_Z2ۙxM)+MMs(BB^G5EBfYIuRY`3a{}l&2y>.r vuVύ؇A|ϧQ?†răG%IaWJuФDk|]ۼlc}U>†T k)[@8m);rQf@0b 2>V;i 8Q.!ܸ-MIނs[3StO N^r/w?]*FV4bMPTtz7Oe!@xdF<@&hN{>joW48oOZ> @ĵO39c1is 5 2xg0eL=EvU[:`FC;;qNYq=>Ы&!$mQpV&Ut^4u 5XVA6`+yAB"cǜ<L%^|s@rrTP TO|)^ =dtV"DUQS&w.HG.Bﻗ{ǰeˀw8gۼ*g".$C.!l|O0־90*$W ;pt^gYZ65c76071b1e7d49f32cf6961499312c0cec77e5a7c385341d59add624f3803e0e2d207c16fcf2b8b 4343be3d37156aa8739d2cac200a5960179301746186c1a76d9cd83c721202a1f42dc99e545fc0f4