SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 x/Ltt ]]Affine_Arithmetic:threads=2elapsed=517.751cpu=874.348gc=84.096factor=1.697zXZִF! 8j`]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=nTř'e̱oV2+;ߩy17%QW? 1&EZ|Ǯ4r֋r}zɟ<_sY]Cw]sA%F jG!+Xy9 ;P]MI2 ).Wmn~0AYXnjK|s)M2&q" Pa: keIS|=c&ÙK [ZevkNڷ]VK}="IwYjBwi5/,c,,/̍ƥv]Lo&3IPcwb=V:EaNݥw0R)sr{f)2>GtZ7>T~I`V!U] k'Si;, `"8YS@j ^]Ol~sA}]7c)&J9- jphxDgN`ZVѹιUl;2;<.exF@|M$"F,Sl+s!zݤ밍e^=2" m_K472[+DDt Q)Ax. @;(iwqIfwOqbM6rV6A4E Mݻ{+TMժq;ý`ZK wUwcg{^E3O"ġ;N_Ir:+r#ApՌ%}^\ "p!"v=;A,IS Es''ۨϥٌ~kTqdM\k<nݮ=x$2߉"kSSN=auYF)0PJްy6 IrI?]ibgh&|1NQ$(He,=Y 1q+x $MgyZ._E#1 2$X ܛdeHUu;W^C0-YGuj3`.]bUjskwƇB"hE7ш~ b?fFf_hZpTs)];!Y). 'ߊ"mt&mZ+C9YgY$"%ςxTgbKcWC^&=,JbmiΔFΗVt۷NڵvN(Vp/2#]cEV%at?$[ f=ZrklwM73t^&بe8HSzAaMA]h2 -h#N̝5 A(="* Cb*2&ğD N`{0F/ w>V%$o)IT{aFnuM38@>ٝ8Kfdћhଁq B =ç8Y.wR/`⾭X01PlIrv!Z fLW,l B?xg[k;Į24p=U c>s>ĂyL8^ jL("ongꋬf KBt4jkucV1q߂dr/LtX'lusm4l ۔ \$bx\e 8#h(rqO'^i٢ШcwH} @2[8a_0I p&{rѼvή5a /;"*~:ؽ3`dVH'Maq/=SB\6M;^ V'4I$X: QA%#*rϒSF3Cnru^?bz[l2ҝXZӋ D\5m50 L\̎lGfKUd_v,U~Ms J#ș%#Pԫg>ݺYkj2y%,D^rwůX >GN>V2gZV'ַ})ԓM:m+*ʮc[ T#̸%;6u+Re'^ >uB\?lU^2ˤXi;~#bv8mCFEƱ%@aX9 =2S,3ic tIB@<_7~?oudUUT \LS6͹n#H@ ‚ QEIS )pk7HM14) G$l-ʘ{[] %b6Y{KuKv ).q.éͮ~I<Ҋr:8q!pZ>V`\ B(r¤b IݢS;~e ?i֥Ĥ޵}.Z}ʁJw6 w˫86m`w $ũ2LPF?k,yJ|gt ihSpOd6E+΂bb┸N(`?R+=n$UȏkLGvu+`։iK VŠ0^nϻ;_1;7~޹fu1W2qfΟNp7R\GAx;>)[^|%Q@n|ſ OvN/ \osNzݵt Zjˁ0iPϑkZnPne ̥[GAo#ә |<M Y-sui".l͐g>#1^v/VXu.v5?C(cds?a'^C*BM/[u=17CP B[Jg+],.wARI ~88߂ԔyBO旕/xv 5!ʋCS"͏hz'c(+k4SeT&ʹ9|0[Ǎ}* 4i0h|+^>~r{ d#0ˣ~3F)zߍ3^t-mT_ b QFpk-pVS*os{K: w+wֲ )Șv1#L̪޶$J=b)D'hGnǵF-m2VkX2(Nˆ7hk}e5YcEblC ! "¹yV, bx"0dbVG>PЉ@7#C>XidSIUtޥ´6}F6'6'8NAÉ<¼B` ^j}ֽRMv"R Ӡ {NzUVqj=#uZ߯cuq,F`>{2zm.Ͱ7g=Rc9s!'V#ڶֵݡaޡCGлB[s=W!d١yA? *>7Av3\כ-62EtRLYbO߀[AU̲Ka˴;UWQ}Ͽ S \x8:mu̹@pL{ B#|pt0kbL,נ_KtTN.KlFPa٩肸&c'penL:\*J=g/cG"go_^}Ԯ7+u܇s/{zbAuѥݳM觠(yjm gר;[קIp~H H&'Z?ixW11Y^OxUp\yU Sj;`j^l DƮ}b:rlETԂ.qQa1yӜS` "4Q$)j"&c%A|w(U Ӑ`qOk* $(\2]C $O)4/3|d]?gΜ' ,f+Kh,sE% VohcL/x\{QZQJFV+wnwLg*^H$iѻmFi#*i)߄l;[bHw;"4'W&G 6Jw : `҃jCK"3aĥZ O82G!AO,@{PmS)_5쭲j\+>j3&3"C˜!tY (j&ʛXj= dDj|N_L~/y,3AFSb5O􈨤-clLQ_KdlTv/tA|#w|%a"3v=#{/jI`:á&s!}aA?.%J٘¬XRcgB!Q#}"&è30ݔmbڱQ u/j ކ5;PLY_1-gkZ/OfSdT \ۣ`m2Жӕ0}i@x>iV+@HK1y%xx%Sif.6t0_gYZ7zXZִF! j2]ŗXiɟ|E\Ât+.*aphG)%uG~?sKp@mQs>(;%n٢ZjpUC'*ns1owzMփOTO'a߸9cRVo"pE 2LԵ"ڔb u8O`= A3/G_7/x|l00::O8۸rŌp_q%6\xS+2fn֐OD@tf/^s=]q5L[C7 !%|u4q֍ĉEU,1Č?;"]|̇HȼǪY)"}:U5XxG< P}b°OX?aѠPI=!DQtC6z|q:m OAFH9e >&G ./q7VN] f9R 树\Y._|, D i8PP):+E?&Mt3%(lu,NF0mָBiq-/&%!"Yf {cЏ&ܿ# 5ɱݯn4U\{`A_Ad QBiI.[s"}ݪ_VW͊?{1ܓ\a4hu`idP֛r1d9}Wsiù Lr@,]*W|az܄6"35d-2zR4}̎#ipJ̗懽ݼx1|BӉ;7W3x.7m]$S)T?wn<l0[=p)ǛDT,d| zɼ b~1҂yU2z;5B ͒@c\_vvhsXulmdʼNm\)&[Xԡ gLC]mKec59%vUF\vt'#c WUa`?mtܼ!$"L@m mB`c0 I;!fdDwyKaЧ 7Da i_Q+R|ZkaT0,,g B6NGSGk *6g۾tb{gSwH@oGKaX߿W 儅,gi{#NILy(oISƯK'^i_L=Mdf Q;3SC'R.%h 5X"̸( 48;%ER}v i!ݺRP'W@H{!q3`E-7ˤ qtyo3K[Pd~5zAQG]#3 舶dUCa ュ򸱽>WZ*CњdW͑xBFt:dQ}RMFOk_w%ي>24$RI?wwA=j7sw5 Pڋ^Yw9fEFLyx󭺝+^$C"ݕ!MH*384;(A?QYuS2O`p3=ZUmG쿂G@1 6tR.PkAa ?r|[n>KS4y0xa/[`}c?(.Y#tÓL'v~.pӁ``,fwvLO/n]J{r?D򍡑? hM{ ` :zw{׈!^ ֨Oܺun l"n^~C F+WO_v RzH)@OtQF*t]8>b=dw+==%`mA ՗S8sT4^=) zTQ&go2hJ–LU3UIC`F/z#(1$0";p=pB`{h!D[]F߉PCNn"*!fiR[iPy3S;bi9o D BCK m:,?q&};i#jS@ D:zc,Qz`.w/TPO) d7Ӌ;GEb-",#[8~ɳ1[~c?h$f%As>#i ,>*{TAܹvyOesu"uIqpHqi6Ũ* MbϨh7@=ʜI.S9#&UzW__YЧ';8lMߌ8l;(u"_/`QxC,+-W)Cz3rt54DMңWx$Жl(ӱ(uFQ||U`?T#+t7bL%P WO9c%:Pؤt3&Kye޵?ŏȁ5aEV4w8\*"H}ٷ {r>1aLm}_] AQAHqTX꜋ STTp& ?M[95eC#dmo,Pb9cE]JDoOa:̢mɲ(/Mה jFB~v+QC-]*`0!-(/d Rd{+O ߬Jj@ꜞs +./ޒAj{QҀ uDY2G)`QizdXd2qB~.Mh Dƈmv} xHo1VDt9a0];bmݤX0LS2k&sdZuY!}tU<i Q4 /SX-Tdbɑ\%uuh+kB _כ?iN7hxHȅ- 8Z;![vWj~毐/Q4t^qו eoPHZlsY24XD {8gqհS~@|bge_GQmcnKtt@qcLpMNg0KZM,(-ٿINZ0nވƟ`=/, .cϝQX|D- "! GZs>83F"ua++y|zcWgકQ9p?l.30 &lgM抅kD0YuHkF*-H  Z;=`p;zyc/Eac_^lkBaßO˪R5LБfQe웜u9]@x>(E8T]h .a<*QQ&hp@V+Vwm7q27V:6O+"@wWp,ɠqtm{bi\$E f B*q4_\!fs` =Z!w# Sb&sc]|Rе,Z|U𗠴W7G(srĺƉ[=$+N{"%ywPhpJdP[=:Cc;1vyj(2c=@bNjh^G qo i^P>oO_oK8(e-?B`EM7= Ec92p#ǬBx6^5ǣ~ dQA]K`*mG Vwn / }:_7r8MC>撒 :[<"/Hĭ.5wf?sE {xH Uѷ,mxUL`r+c=a*0= p"~Rv['hNAH#TO[M뤙Ƀw;Ro# YEԠM/ u+ZJ̆GR9%LLzwQ"A>ؒ3-Ҏz|_ 8KLZ={n^Pց{,5TQء's}կd"ZꆹblO4eq~䤝%C{vC|0q$)n\ۈnɓA%!G2(~ Sr dVRț').!⏑m^ːϞyV$6MI'R&<>aK Έ@]B5_y=|:bcn1׍:s͚S5b{ss&2" ̅x >\ B낺Lfx}'O6 :m`=?Cs2ҟ]Y՗pvd_g){4j.Fx' gzҪ@b*ڮTޚfb+V 8 Al {@tWYcZ/2!DHPLrN(78Vɂ؄cZĿ4i0t\KCz%JՒJϴUZw}mQn~G׼'A?m509H>i{_rv scOMg&m3NWp<,еnlcNiBZHu&hPT^nn)΅<\#\f?d\؆éȼmǝϷ\ro`8Z9{Z=>T,rd1Ğ[إI-Ҫߖ!30(#L/f>;؆YPΟ9VxFZvc`5ʜI"dRj2b >= OfJDB'Ѓ냙klugYVE.D/d<"\?]blqSmt $2q7X|OˏD),]' #Z 6kkD uugFܪIsag.ac7-G Q"gݣ-E5}߀#2%CЛ뼓Vq!BeLf.,–n5$U#G:"N]866}f0l(-{9?^Phq&2=(H:%@ȼv<]5 0 c12X¢(>+l~sCܼ:uW7g8yNt+@CoX{gi9Nv\bD{j lމ"acGa(,JuDזvQ(zE&__zԐcIUyվ_] ЏW^>ߜ|+| 'hr`hpd͆4*/Tlz!ߧRH!?yYIꋦ|nJ p+Z'Psxs]A 9x咫@>XnH΀ԁٟ^6ZxXnWq#k'Q4@hU}oI|+ ʴSi3J4lU+'bz s0q`7$0( R.|:MVZ sʵOf%n_`̸̂Z|F[53iCyYTc}CeUT  e]~$O[H27pgE*iɉ?D7RZ?,2zFīDJji!͡g~7^ïbw Q5\?G i}'6bfg"P2;$cvCB 8,wCgV UvTv'Ngm#تi:lވe6Ѝh jygH|5w{y }un s!UÝ{Mx GAЛ"YwH=:S'=#;Aՠ95.l2/"bVlZ㥗z8)k*wii;:~>eiznj:k>P%<Tẝ'bp$ے XPg9# dŏ B ~~rUͰ]J빺E&m$`]Xcf.ʺ>P a.'-B1!kV23TgE5P ӐӇJò,ЇVgVtGy\:c:&h-R">6j/ 0GNUH! ?0[YLJQA}3+aYc(KXxVHV&/c\9o 1LcΏsk_C7.V*7[g^TYu6b5 wbzEBEU{s_.XH~wrbӧKFi#ZwΌF2fd3YFպ60_Npھ}yE~52|~K^jKH 3$oLJm"G<~bO$1b}{4w3!$? z[|p͏Pb_"nNc!  UNEn\1X~V6nF3fzF %]Fjzu[r*9'bJ P|bCae3e ƣ3swBWi(.h OJ;g2p0eoq3jڗә짒^nǹ̮8_$~/~N1O8]f.!du0d[Y%Wf/, sGHx$^Rݭ!75SgjsVha wׯ) cfzW7ՍP}E)(cHXI;QT1rK&^bdGyӽB`S3omN4Gf(1HS߰"Ɛ YǺ>~2EgipƘ/PmLn&7y&SBtnr,Qf`;M-Y1y86k1־ `N?^2By_zyb"X(S_|`$` Ҝ=d 1ț ?ڦ̻F:<؈~ހl׍D>۬A w`IتqHC:^#u6$E4ea+ l#V7ɧ. ɐTSb_4BUU FIi|~z_0Z\R.#Fb'!KxF^v옳MUa"4TVcQ_`M,ŎUuٿ6(_Ϳ ~])r 2o혇̙X$25hnb8>X ~|>.Z# b JZyM Qr&ф(^(p{08jF$x=hx"1t& pT`[a,7&艛%:9WFFݿ^gE5saUx<фn8 l l:{lSGH*żtr I^4wwQLz:PR+Ad})*j S0c "晪A Vm'^=:rj4NهIk09fԏMHG-Aof%*˧ּEg"{Qr>Z;L,ƥp V)H G ;5Tց"hc{Sx'oQRr-_|&)6a5O){v׶Azw y?D&e&BN/?wܾ9yN'itqG0U 0$CM}Խ_30fOӜp`eb`_qJAU̔'EZT@LKiXj9Ob%ʽQ)Yɣ<5Ɋ1RX Xcxwf؞B k6T\!{)AX?M7ÔЛ=UoF~] QQt;~\ w'=hgEYIXbWlYrOE CPXQ_N?j5,#x8+M 6%Nf=9MA2$tPo'0r.{ Z[<=?xnf3E%%BܵquP,| 8R^1o^8\Z\?6P٩nq>excS«eM=j4I97 0\=qE-Q<әd@IMF[)hln{-ul D1҉ʎY芟a ';W,4k`e״m>ijH ~m._M:-t(2%Cx?}$MN((D@ Oz;?{|M.[a_*XAAF_,<鼊bp# [#P%ǽ$L9uB{e8<zi]Vm]r!?Fy9OBtn "My,4F׵'c{ꌀSDgK8$/| t{gѕ 4 nz'6z}>9}^$[[]~*"j|;#+&-4]`h L?CV!ϠK\^\E#\ TN T1J Ϯ:xf qXF\УcuAzAu5XJbۃ 6.}5&-qq&\<| (R>|&\6o>hF5D DLKCx=V$ ]ȧ&ǽɦ=?{@TA˓.wYXhN ǔsA|o<^ ӧٝA{`²(r5곑ihb|HޒwNA`.8{/{#H'@Mv4#TXfBHvo(0+?U`wsŷH%cRbX`{Wkl|:7ZӁpw3GT+^g. 3RtaL[eѫd<ryL]+ӻtkSnOE2xK[bC)!J׀mhev1/u'ĝDeѡ*u3$K:,Ky 45FWֈt:c(9O-U>G{OoI8f#nx_י4Sf% m.H)^_;DchHQLOH.IVF tn۷[P-1Pqʯ us?D@}x)lկ1Diec"`hff-דrGmLqJ<( )ExУy;.T2s+qSAkJ-3jf d0 bglKN+%#坸@Yg[XPI҅vl˧7>cL8?ztq zGc\i}&L<9߾&eb!хlۇ26e:7Zvg̎5I`Z@=%V8}Rk"J";>GR_*Y'A$AdyMKtPdx;FkH)))TqJܿ)j "Kf rغGrEq%o-A8G<ˬź43ii} MiaMA- ei eډ 8>tE*3hsQcKZ끂sj2ι垃eʇk/ 'Awzt; ,U.Q B$Fnd="8Q|xk+~ =3PxW"k1~"+ L垔UvOlOZ}~h}vyf;U$߈nd#xcSsYaTV VcXIUK΀iuSe=sVNC!M|aV'*ca/*d7cD9 яH丷r;ؐyw b'7Ӡhuo2R<6w c.eQ;|p@?,Պ7[tYydHV#~yY$<{V?+7VhDRmqp!5ݐVp`TTUoX HA=εĚ!KS1|{+ ߤWhܩ:js! zc픗 $:$-?I'p!S0\sVj⋋dݍ{`'ePznd܍y!-VAqmx¶|d6݅k5͝Xgc'n>i^[l-=\rKƝ;C*(2v1Un ON")#S\pBqfXPŢ^Ms|8_J];p|_87}8Szcs͢jzfM[Q{:VRh3h?v'UTCmY'܍Er:7+P6E砯+6E-xWU) %>yc~ir/G *hk1үZ<ҹequ(g܄o3$(*!r&Wt4Gns&\:VXeS]`NSeWl|؜)B~KEٸ`w 9LK΃ckt =8,wtSU `bܥ$P|"TT%EMnB;8UtҢh8=q^D y&x{ VxцӔ:7ѭH>~$󋬧)Z5 i%"\qr;NЬz)]) '4mAqk@[ ʠ?&D)FM1=(ff\`C8{=ѫAmKD!^ dzgy=S2VE5D"g&E/)QbnWAE{BEX S ^S,Ŷ1SFyMgx$܃BE4-Wz`6 }53͊ `j0F/FG:_rdCu ɒf63&j|<f+=S B!'&з YjLUH7#l.oԵsg/cpgÄU@yF SG4PN@85#dUSLcJjIE+vɡwRhpxGpdz7$Pg<=SA .~O8 Qp +1vlBʃVp_ijD.JtrzK eo-L5Nl, qR9*goo$|f*E-T@~'~㿰Y(4,E-&: 7*%7Tm l 7~#+rjG~(ɫʎ)n/?#]j=r9Z5]Mm@z򿥇ߪ+I>$:yck"44=Ůt.D0pܚNbnԐѳ Gib)"'qW$d/`.L|LnwiptŨh:dTJlP.{AG  A;7++[PHf)͗S夈UϓxutΞ8= pcQ 2t-4wBpmjN5 Qy*dsyejmhAYJk7LՆKhRu0Yk'B^UV+M~2cZ n q'#ܔĀ ]p\VNzښ/E,-@.7YNqK7_L{~­fԊ' e>?0[n'79-b@zrp)h3j | eG #m>|I522h[爵H&Bb䓮J#xӿcKj5ߖ?mի"R4BLS!5*k8uv4d\BeAw릷;刃9WFhLὪ㭸=aUW Kl5xLinJ'pNuf7U|CLnymUy {:kD$ۙ9`r-w-)- mnQpJAZCGPX[ruQ|\ ort$ ba ۭE 0n4_3ӳBoa"E-! }0VVdaE<697}C2IdI2I](FVxAC0s ؄-LMKNe+@ :Lrd1V?&9sMQh` |)x;?B :vӜ@gmzϜv3o)ER3.i@{ܓg_pHe0:u.bҁ73RZB)Iݚɏӎu9NAb qZ;ϟ×毩t2KQT+=.fj١ĿoJ FcEt|җCؙ[W\'%v T V gm֩q yk(x3W /-\Ө-cPG6VHl!hQvw H UjWi5V7ƸD$~]d4n󤎘uPc8 b"srdP$B˥ |~-G$h ;[GD~.k/|ۯ 9 0rAT9e:+JET.G{ E wi0ˉ#`UGL ~QjЊ){6hD UFKOCb%+?쫴FAC//qaB )C;o#s;1MFhX5O1=A99_KYg̞C̈́YӞ!X?pQS[DUqGvxӄ=̥8=kQm-)Dxʷ&˓*[P϶؎mr?ሢJ‹*hGkQP1 p+0`yC%\{) |}7XJeǛyO5? I}a }{/랼# 9?stv2nՄ|3oE7 쵿|[UQ-~BX%4mɩ(bzdB M=o'W S&QɅd# \)u]V3Sc"+o/nh9dqdY\ÑחTc J0#z =uqjzLQ[vTu!&o7|W˿KW'ߡl"NځQR"֋Gc W7J=[cD.kwGP4 +!Hd͍ĀYCiH'~M~)dLu_׊'YֈFǺrqb;S'dKI&8+a{"O83n╌, LAZ%t0o,1nHbT27:;}pao.IWZWvB6Lwھsyh#p֓9*5x`k|*<>`N:MYfsp ]se{d*XRReuKV[ɑqQ DHT4͑fHݻ.s{l!8Q($8\<< Y0Zt?9#eT'uQf f;vStkHWdlfD6 #vi%C|#涙xsib0XڈvGIU?tXEЉW)2|*)W Z5-[Ks>2-}}L:㿃_5h,V|o,oL&d67~TZI^:{M@\7fiEP;럛V+3%^ &{(|1=XS' .j?&FB̀U^H{svM"]?\%z ]v^iW/;䷡vob8 Aʞΐͻp tzG}(F.Z]EdMXMϟ}rBDnob|ȸ:o _=8$q*,.Onl%7&6/<6 )Ռ,bi^x+͞0]@λ==2DK9&ϼx> ^lw8] q]+uN @%kaH * thL(M?kL"'1D|7u@6^ ՆW9^zT 6cb[ @I*l莰Tt^ƕnkn*1؆T; )Xz[uypТr[NݏCr!֪MѲ5fe& ] մEf/ $;rm"YN<>ӈBc?uUC7]Yz1d쩁7anz,qkd"gf,ʫ;Bv= 96"){׉]3&$i!fP_5\$9ai) f*Zr;C L"$@ysQzrc2Y:RMF4&*7ң!t'sNJ2ZJuaM8~d0p> _0Sh"s5,VfA*S=QyeVyJR_ojmscN% ele|3Ch1. |U0Ő3zECҹ'E|QӲ=w5( =Lyuu͎X4`;U$l½9$sLsf T 1(Tdf"A2]o. M*Q.B"9b5hX ̢U*d&x&-!r$@?M2gǩ絜ցdJl1 ) Y/b瘗fЪ Ns' x+=$Uiҷ}x, NU@oy ,xoN.G.9E1' |>7{|xΉʍzj{pB-u&4fR"OqZ7߀.or 4d:T%O6l&_j:,T:&&p[W,K :$%bq6zz=C!ڧkv3?+"-2RU;{D-7R0TvYVV`YP]-NħVŭ}_(*6s@TfhԔ;o~1%h{`:PS ;Rhړ"<ƎdW*|m9 %svD;?5tnؠ'YIJi\s<қ~BÝK;6:9%/hir_ԐQ(,+{|nal9uV0KŰ~bk,n{s6=;<ZamL4jlKvo)9}ț =N<}d2P@:"%վn;/2ਥ~Dˈ䍓i)DOjDi>' ttTn;V7Ƶ2fZ;r=l 5z*SVr4g&M@JZkm3eSѷnɅ,LoK9i- k e5G%gB/>gv8EX aA8MZv /()z 8|+`2[7DE^ڜy*,x$Oy7w>c $nxN. 5y+3mǖwd6a]Вg7XQ(䬯PȓӇR71.Jgs#U2Wz+9߀3RmV^ Lfd$d\}(w6JM]ҩ<ʘCQхAr.lNoaAnB^b\#KfV~3_*K#:NWey+,<,Je 㶈)Y}=Ek.+t|j_U' Fw\%B)xxh^8)\HI, lk0 uO?4g[룶&$,~$~_946ۑ Jt 1Mø%0kbLUܟ CJ ?pXC׉OJYgQ`UNj_ik]j֦H cPZU_/k4s( ԙ CX'/3L8)~<  UcQزK~pRC۪<$[KaūZx9Imز6 \k?J9GhQ,),Dnݷl45$L5XMŨ_[Cm*jݞj. Qۛ"E{6o '{UoWT]8?˧PL6-Wj0[{"`XNI엒,+=fљTEp ͵:'Lt`G|k$=/ѸsǠ UհK hkט#"G.]wb+c*_[(EԔd.~jU?-nao dbͨC&O/rm_hCmېwHi ?`'[Uඈ)& P+Gd ̏Z5I'g5*/jOj5E}uEH988b]@"*H =lMC}GoXh8Pd+Aa0qQHN=k!]+g/5/HKOp%wli6w lNçQQP ^6Z$p"*$ː@/kci}%Wx@ˍ[P<ڍ7>ő4 S5@,<AD#՘# S 9HwB:gL| ϸl>a4ɜOxEt%B=`cBs ȃ@Ruқ5ZSp<}}@:k޶:M_=t2jI m~®c -zа7x $aKE*ڴyԩdX[u<0>H7prYUk/ ^rKu1kĝuԠD̂};Wjѳ=Y[ \y"@ƚ,{.7O'N9HC(B()D"ܢT1֌|FObW;2;w\iM⾗zBv4oߚ ȁ½8Hށxm%}YP|W-N^yK h5t\ SP݇2o:?iᘺvL |{C] {"D:55C݉9- RcAvGZ./sZ/Sqs#aa'3kWctׯ?^OT$w|Ec: g{x (ѽN?2x]hV{.$ 碵~Ekī^\*҃Խb(C.R1ǫ$kc()iBRK^ϰ\GQsƴGyJP{khee׉4p !228{Wz0%IUQc,'*%bGyGRIOnDD8CU,SX ($EFeu6TI4yP{2$9{u@jw NF_cKx;Ë;K_b^cNOvvTYʚȒ.̩pBHDd;y- =I0`pgufyjf}; ziGGܿJǏo1 :`\ID1Inc)cAWaLT,LpH %!pٲx([44(e;./.[ZpRvKʢ8D0 P72.P5@2Y`^ Q5O3jߨhn4Ȝ2ߪ\Ѻ`j>L+c5#2F-vn),H g,-X}xle/e8dy٤3%M~kׅqQU9&|l``f+3`Iuc3E%&4L^*>I hXFp2(B6Z![8H)J%" UD~j|4-r2?dIL}dW.ݎ(6o+GmwU*ysojOw @b%[(&>T/ȃdxܙnUMwKtİ;I+ݩioUbX\HQ&5݇ GxEr;]R?r H8 È1߰U2@c_kB>#T߸Z`:sO@#YXRߋ]&\R+Qbdo%I]G:Uqffnv΋|(pɝjh`&4?HeG[M/Im`=T ?ڠJYFNmTǒxL OOo,vZnQSB.m\{$`QJ3Q!dK#rv)n@~ )o& )e.9=F|bhN8SZhd&gȣ!PtgA$ZkS{7} =( זuh2=uwt68|TN+?m3Ri &sF@ύ䝙4FJ[f K*P[}+C{Y/Ѱs,Jר؄8܄aӁ\n$H<b=˩[FH@R0%S o~ބOOm9Uj3D;˚+=W3|(׼.8tU^w.<)ߏs>28`ςrvzJ3:BQ~|QSaߍ`V|,<g qWX,,eض;s(Rt s0T|:g/ny "uE%EI8—_jk >{h/*U+|jQ3m%0ؿsJnY(#ƹ6NH]jw\ amLN-zL|*OK?ҿ V![ c?ﲁ_{[T\> h@ȇZ_P/,Պ4IN-:N9D1u#x4 W(t+f8+U(Ym ˗Zat)!7,䣃H8K):;U|Tm@ሳfc?Op "cR,x:ԹוU2GSt[7cvf[8P/.)G CcRN1, Cht*ke6gnO6#׵HyӹӯlW@NBW5Am&o.91nd20@@Ρh&UX% ,IVe'9ꈻ[i,ǂ yWa)lyj!#]v4EⲤQT@CQʣP]]f4Z ZdaCGp_f`Ž unܩ4b6 UP=^k>MCD7# 9??l]jE.s%Zsڗ!7ۂi.Dj'R)=?a.W7c+o^?^jV[.kTڹ!5m8׶2z| y ( yXM,Rٲ['Nٞ%ɱgYZ06743f20ee9523cad7e829e1e404f2ac929772dd767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990d12f7f7bd3d7e9617a54079a45b64406e4a7d1ed