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 XXx!L,l ]]]HOL-Proofs:threads=6elapsed=553.703cpu=1347.812gc=142.896factor=2.437zXZִF! a]]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ~33|H$Qjr]$?M~Y ImZk rAG8@H$?hXqSt`[JK3G(~h.m}(ܑu)2 0ܩ]ԇ5~|f;,0ڣJDr;_ 2q,9Y{ lѣ fXʧ l>SPhRaȗﺅ/ӸR@HvOg K"/-,W|Z"@!m'9bDH "ʉ$k$`B,\X&GњE0NZH(傖vي3L;>jgǕ Tλ%< 2R4&Igh) d:.;6 S.&bex`:O A LmF~J :ZM  K6Ms2':[e@fs7|Nl~YE_c2zFjx X]Qw_VqR]mCW0]Ό=Kg*țߚ99ȩ,Qe@mG7No'jp?)?啕c[3CVeݦQp~?Nh1F[ߪ:C#OV6kDR$P|B%9HӐp:S| rZzp,m%x&D<ŦǨ<|N%e UE`%meEPWTda bӜg;n\-~3x*ƔL\D/;9ۓ@`la}%U@LBHO*$E/PxNk!AɎa5=Wy~DiYEi@ǷQA]5q,|q2Qo&My@-Je3h}ĻˈA3uݑ}jaPGQW-'ncZ~إo@RS_gy_8\#y[Ahfa6*d/'PǙORK  )\0IWeG^ꉮnJo(B+a !f3E73@tvX-/c!G۞,''yCBQIwn@`  awWw FifԺԻU`B^=3ݟ r`Aq- w*z[Χ$H\<ʝaMMaM\06.W ˑf icL ʪ)_O!r1``&FMq"E$px _aO[ةs  U-&_k}W [seѣtp5]54$䞏 UsE0ڃ)Ql!;>q$'!8`~pbʽpj~7n@b$ǦעJ1/Tã?!V7̋Iy`Q5XrF5Ei̜l4D4n%;AATD0硉K;p4x4_4ฬ9;{vXTn@(W,lj]R8{0![/4>K8Pᨲvyh^h ezDxHqS:N[nC<{r[ZzY@߀?F`ٶ(Z>MQ |f]{!okqiK}gTI. Em2%2tCJZMzA\E%zve_Dh87/lU|A vTߋG9t_@W[jv0Fy 0ef?92rIpVjc@xx 1֚k2vn4'1$h†/tL@br$945b4A&R]$n QT1!0|C0h/ -sy˛e+\tX23~DI]&I`~! >oPv"4T%<3>\A DxøwSDL블H# 7M&[\ "A[ <_лv9U wEk! oF4萟*\8 &[VϨ_K+$wiiv?A Pp}R($[üv*sG>Z_|B,Ms N*zOGmRtLv$@OlR&(t6fΨӳͶr1~*zjsn>.p((8!Dnly=B\=hԲKb|h"C >}< -û+>wjB;0kPj3CmEbX5I,r:樁?2#IU2tR .eۿ Xswلt+(DŽ-+&֞Ƙ Gqv]>l. qdMjcv"+_ꉸ#UVsq&xJ(EV% / K}pljYO: f)t3c@{ٔ'Lb {J /b!(4Un!V}Ih:j! &̀CǓJxҼ="PR d7L-MP?S8 )𣰘]͘ڍ`J2Ĵ F۲sk'Z.Fs$fA/(eCK[ǹL Ex1o](_ƶ],[5 tJa!}p<{3v?م7sS~)_b@ Ѕ47l|$po>Kܡu@ 9? +[n1j*5rp)f:HnT`S-/3VhuPߪWZ\w2^P-aQ([&/!Wv`j%o*QƝo/ }%ݤD?˜LmDaO4 g2W2Qq]ZaCj}MtM? wQܳ.D$V d? QOfE.CiGCv$"^7ΠZ nmUmKNWNl[ ?Q >1-[ %dO4K&&>O_8clP9T0$t{Yih-3%BRJ``2LY^n&~؇. 8/#㸢gfbk]G׼ѡtFj40Σm,e"- 那M(4 atܙXY ]p9="X!T2`.ZoO%hFO?ą|/Km0u Zdg)|3I>gelYG۵Y,P6: 4G77$q% 7na숎 (h *ALhôv-by7!ye?O-4 gaAi/*2X_&#C޴d8VH\dŋ =U?QuQ?8HnZ@zpjke$eɾh&Ϯư$P VQv!/Gw  Tr lU+gnv:b;u`}͐(a9nx>Znxa(u5!hX:nfGDHK+bea\&&UoGdAU Y D͜6xL1h"}ExX3{:!+xH!O4ڎK[!&pIBI X 8WIq*azȇo(qPk-.dld9|>n$ogT~kF".켔fg=9=B3;nk1Y H b}lk8KKtoJſ9i~&2١p+$ "'EAA\a$|V +gmr.NjZo}}NrJf9@; s7Z.z|T5ȋ} 7_;$[:+: { XJjg~ }rH҇y 0Py:MN>7#y^L){|=$4Ot-95W⁺1-u q f9ݐe Ӛ~3bgo`z_Jz:mP̷i~\ gFw+;X_;e6+RKPvzzF5j5WrX)B@ ~3+tu #Y̐p9_;M<&.<;\NU95-Q3֡ (# iXNȜF^Pe1Wz qTe_`/rb2& HK7`_JGžX8N^^XOIoRk`5}]{ZfM'w9Bu##/YU:(g7+b[ͮYH˚"Gvߙ5+K/LVy˜'Ҧ@"3%ghclcSqBˏ':]jΦ L()LU2KEN9|_Sp#U nW'sK\*{!vq%Zc]0Q`vH(6:7H0RQ̱gYZ7zXZִF! b]ŗXiɟ29aoʼz[%U>EM!!*XK6AjPީ[V2 ^Hf[3+Sl:9G8*#6l} χ`A_Nfk-xC ^7˯v,-+y[ Obd5°O8oA_Yل.@/5wWîkæC*Mx(E%&hk;O ~̣B˫;p^[XR'aqp@Ni{V|bI&L˲fMk Μ ,@2XTcb]Jٜ.{sSG.k,w@ }EAÏQ#и9_dVh DbϛZ %CaҼWG{ppS~JPwʕ>%PQf>L^S*Uue 'KN1a69re{ڀOUɰ ZGe$Z~Dǐ;Cxyg ڍ^8;R|! _f\U_͎z&ssT7pwf\sR4kiOz'?۲CvDӔQ;Y̛c'"+CIn"<_bdL1))૘=?*Lo?nS\Wct= o'[ŪR]s`HO8GWMz6"*[Dopi M?7Wl \U)lO' LlH[]bYxzbZ>V.,ksK}%GTp0enX> {ͬ+s_N1 T-O8EN?6JMꦮb¤;QT FŷoUI U &|!~jTj"h{wpqP/wH%zlsĪK,eSCy:$G;oVhFK#FzS_aw`mS?BPjъ.d l$L0Ц5h9.)ȥQPe{K$ ^˦ϖ/PWhhtڠo]k~6LȄ)K:QbSF@i#j6$[lo#c9 qxU'joMh9PMN4G3TFplW[DHR * Q~yR76o ^&ʣ@O2 2$cgYZ7zXZִF! X]ŗXi%ES3k>dD&XSˆ = Ԓ$r@L? 9o'/ \'1s(/>Tp4͕ӽg{\oAq3."4Zx'NxLf XcbBk ,r$ 6O!Ǝ]lpK7K9tPx+}E2pU:Q*飂̍Ht sCW΢0Xs(24dt~N1%v`vhDhE$S(fp a4CDѸ٫U3L#+3JǨqunz3[\Sgq>ӬUq.R/s{ZXC->p#2pveTb|todjAIfB7fkGk#Y(tX1rj㍱j~M"3 K].8\aӡ{.6ic/s\OXY!&ڃ"4.xcsW#іɎ[.iCn5IiV{'H2{UrlIEFT&D ]%^$اQc4c,hٷe˄1csFE~3!zN5W?lH ƐA;׭BXT7Ot˳KL{ .I<7G#џOsXYաJg7yjS:w"ܐ Dj-"G 7 «/A]A&.\k POђఈv" ;jUEJ^ bAΓ^띦;Wg0#n[4@ׄ;39ȒGѩă,{N+1_\j tRF2ص_%7hC@bw!j2lRi#YIY* $Ȱ 9Ź]9(poSa\-wX `\Cz.XAѪ <5ֹpnZ_Ղk_%"%/;vmM-;-7x.n~ȍ\qyߥ1_2$<27Za,:0xh ڰ:7,c&>"U lO\z/`/9~ǵ! \`Cko,oR[`:7 }}DT)0ހ7o''i0ՙ+@žf8D"$Q$;(dED&Sgf/5X_8J,c |];[h12KUUvhP8ȓvsv΂e5` ]btRb/; ֛җ *rBb}c(:LJ}AŢ72 e+#yR4kFˍ87yj;!\NZzVS)~)|7*Ǟ#ɮS{{Y6Xeٍ}1#O[mtFЖ^h=R~XC[R&Wa *P /Xo7J9P#3@)!:n!pQb"/$s%-m`͞_8+.Rpm͖ڡ}ּy[{V^j y-Ā&$4e`,۴ 8' ,jcWa!B(tjݦc/5,xцc$UdEb**9V8uoq!aY8u ?ņjUwCmP؃Az4m%#=f?)fU.1\\]PPwk k52`I3GYGo G;d9~BM;|6ucNH;sdҡ{ID*Z^s^afG%8\B/sU30}VK:2+%b~7VB$CCsaؔfUOe&@hԸfw2J9~뜯\kB|C(VUѴw~Ng(ԮS?T@̈́DŽ];Ycq)܊8aӊ?*~#Xtԯ;H-vC/&YRd`;^%RxW> kIG; H|m6132-_&61;y0.A [6mljmZ,=ȍ/񡗤)X"N&#!@BcKZdF4xZBXIc찆7D8" DJL.`-Aa4Qjez7DR&'Dq' siqpY5Ha|uMA0Ś'u_^hA*1Coq%ZhGA[YsQF 1k <-tHԾ ,UCXx<EX:+n.jI*.FFE lHi_l⇕FA4LeӚ|YOq<6G_EdaשӸv<aax;m0x@&t"hhi/ܞQy2AS+ D(ߖrg2pQX3FA-IL=,i+yD""YJYs"|ۊeJ lrt\ 8 xuQx5i>SsSZ(+8mC,xta= \%|-3!xo|P7z_&2OcNQ':Tޞ"mMH#.V5P9*[\ȅ:^ T |?˲3jl4(J)*ϓ6L1'᎜ ~E^<+w#Ui{%@kelPT4mpUDWsۜ!}dʜ!t_aLTdM J}ۉXKۭ-Fޒ"u8\X@+h|_d_2Lo^/ 2;]1jrwk:Nd@M$<mec,ҠͪE`UVk*di}h$Vp`*Fz8_q_ v6/#b͸2ѽk9SW֔&S{[nm,_ {"ݞ(мD. *#5Qɚ/ tIdH9@ǀAu!jd_Z{=|I&0XnTeE~=xr\J3uFΞ-,/ٓg^jگ7m _ JRTKY%-g*[D3! :dM`1ctB΢CN2="?L ߃[<[k\NSQhPhA~N9I *dNfAIU`Lx)5EaCA*<[qL:p3}Uxh`hlw3gT꺙Z"+q/sUUg\XJK &z _-@KsQ u!j3@ˮP"1pC.?yo`V'Ѐ(_=zEh]ň&~gz=CrtFaAGC^+Hot!(@~FcSe}o`KjTI2cz ÔwG֑EwmQ9@~f0'<y%_#";"/KHM΂M*qE%(͸:2v]Pp:9 u\N+I]p m0_w>dK\8{{(i%WGehnvx]'iZ|kc9.mq`0tI W$xi7m8A\z[;h݆z[sf`:y| ===o=virvo>+w%^kP|ki.@=UWiϟf,щn dvn:zM[7-0{=c/4eqb'q:3o[㶗;K"[p!l|6ԝ">,бZy,m%a~vƄgޏcTP qkP~3  1 e CAn COhVmu_@ T0STY`cVz*Ԫ&/`kPjlÜથ6/k?,Y*f%\5$4EQ=H_ lvӑ#n 3l٩'6LJ=/`3`SFB|#S&YL1~CXf"8GzJH\ɂu?EU.w;Mj112ߐ@'}1tl ')>X [6…m`uO ؋6J}8lna٩3۩/ҙJMCIx[̜"mF>ŘxLgF('O!a+d&QLfKH ۍ Zc]E T|.|紣PڮF9LQ,G1c0׺l o0NԟDRc/5ݵSxB^74VjqO bԚvW ](F(XjrMԓC_sRC41d#½Hd*q_ *VSPx?g{c_:Z0N|J'[4\IFʝ<}=-CĨy=?oJbGpEsZ.Eu3ZXH ۏ /ɤdnNǹ߾0ʁ%Tʏ[=M&Pqy_WQ/HIh9=b t jc s郔 Ϭ{&^$F/z=VMC3c\?CݸƪߡsB*uZn=]g蚊;x R99n;gwAy e@+!\)^K4m]:rZmi@A_?8YosvEjaC*< v]u Q]^"B=^vJvisV^Ꚃ&Cb,H\J{ g,g0 Φ Ȅ}']PecX¼Ե OP6|ҚgzI1ւʗ@"`/UDZ)kiU+h|\.@:>ǮZA2uˠgԟ`.b3f$mB B$WDCբW@T <9P Kns; xɶ0nr4^[*Ί U(4|Yt~;(0Gx A5M z9Rk71g;Y}YOOHjT) ʮhkg>)Ec{n}Esc BM!Q:Gl) }-PZN?-T'c򪇀rV͖ z)Ϭ1,!zG lE:88Xv)V R.dś9QUBl0A Gtu幼VL#|R]gac'( L ^? ^m+Z^8.'$r?6 ;DL{rsݏ fB4^"E^Oi[t s9 } ~PJ5lT`{wNo%Q{"&;l>qe/fdU7)q/dCG`ya<6],̻-E#E[Fby+LBL9 :^&&:K:ZJF4[ hIrfS K08UҖae,c=1ylb/4&0}{{H)䴰B,NYz`6<,U(]v_\E]Z -^mqAA@ץMX KQ6%qhݯ9jtcx|R޵Bp `x@)B 9\uY{BPBq D7dv$OvNdK(& ,ov LzcDZ`_ e!-lebSR"EafNtGjÐdB&"od~$T_fzC!=+-8-خK%4Qx;O9'_o'*ة)>@ A}b| "4kLb 繹˓FǴJrk#o+xDd$yWWq2" @u@x)%ꓧ;/7Lɰ (IDC+9 %q0DkB!ĞG'}^RR eƇD"ׄ>ڂL9ƅ3Y%bB[Ci~Y, -#" mcڂlI$9 UZNɓ޶dR_`@QAsB [x<{AIOrHmM]#u=:6'α!f+_%=pTn0[shi pc!:gw%H`ʑLj)i B~)M y#79Vˤ4A,|02EhC="""/sr1b s >&HKW[B"| " ?HN+[-ڊU}}v9@Z F ,ݹS}*uĬ#) `J|aT_62%e^!Y0=.^_?}ۛoNG3hG˦m/7=7er@%_uOFNA|㦎== KA{'w3sJD]Ѱ]<URdiQJ.]=9U W=^vUgaD69R~ Y}\w:N`+2+48Z2#~(rjSM̝t#Q)¦=U.mASU'L|%&1WIS;Sg7hqZfp/l@m{Ri Jg1[/uR: *3Tsܯx][#/%^X&kew eE@\~0Iƚjv dGUw0lw 7H7u%}T_j6rӕzFF Co4rSn?젏5N U\{hQA!dJAU36IO`f3D͚WzWP#Y?]q)T݊FVvÉ0-Pqp(p)˟j^F5 =t B!OD|])&@ ):VN" r~F*Te䓡yɨp=!B/1}һ'vgsN$YL 7`ib$O5)%QFrƇ_.UytbMZ:50@6ϒJq kx(XnD(,|C׌%o%f鱩. 9AY01=AD* gj_voNiZBK4rU[Y6I"Qغn-}Kv3AGuN\n琒%Jؕ4=m/r-t39w؇Ռ8$lF #/Ǫ,*Xݕ [PyޕLBiMWU#}<8ܛYuzhWW:/D3GpeHUd\ښMpǨUurE b6'YwgVGoq}InhCa(($6t&8r&椱dB[HP 1UWfB׸gH,\l{\ o56כap6JsMX[`蚷7+%pFd+=]>`2'Kv c ;Qd8?/IC!rԐbE%xE+/4%cک2Ѵ  ,9ySpBn 44$y+%s{[0uLh") AF7:sْy4tX/;Y27:.R,G=97,+RY__RNSkNў8"' *-/!KEf{84ZR-\0YFƓX ]„34}GBB.rcogٻr?e笀eǝ.}'_#MlnBtWd qi2s2t1I'?I^ГhnAQ7Cg?}J sNk"@ >-pi1ڏ0DdWq,*)u4e'J`JZj|<u [a)2 캨) [4qr:)$Wi&!D}!ȓ WA-0iR/I˵~}T+e;vg2Ҏ-l,˻ ~x1B=:<, 05iu0tI{:ʐbD ywoqx 11e_9Jj.j*U;{J }':~yHJ0jqHOo=AJS:QMTSd~ (N1MSh{8ކ\{yw/m ő~[Ct؄Gވ ^,q4|ʰ{F&}F@=|!̈́Kb^aVgH_I4(BZ #zq ِlZ!b'ӍOk:1Q=YTtw5X/E#>c$gL~@NeY3 @ryN$3%[\tQ u (@G ١CiAT:e904`XH6%k16\C3ad&\ϸHCI 9 B>F& õeAE'<ܩAKAP,$_Gp@XF3$*$00-U4"S xޙ1&#+rXUΨ:вf6̋?GmKcgʖrsȐU&8<&v.U\Eu𨭡jcC?-;‰RQSQ(`Z,vKT nPtE bm*u>:Ob1ORU*6'z_,-Ke`sZR5x34i6KI0'; *lY!2 Q 9&WA5C݈( yztyE#LK;|PHjLLl_-ƒB; ~Fӗ /4G.Jbn9{xcT0,b^e@{+%d/6IϏ9׌0_n ŸzGqcuz;JHPK)9{4J^qT<߅tC9Obz=K257kVEN)WnvqAGg,E ;將sK]4}'q]Ǫ-MK9RE784NWJעBf›ݮưg3~@mv]:YK'CR>fDGx?`{@bHA$]0EMNM\=LdjE|%7t%Uȸd {T~MkрpRyn^bY2QFl(b'L!TA*}D`iAL:3t*gOr|1.m>öY8A3o LqOm܄8k7C9sZ qJE͓* k}'A 8Od7$rsjy~A^${/iϚn1 R0)2vqXrRBWvP~4Wߨih27aY mGy.fw{5``gUqfò䙔{<4 }5!iǔB> WCirR1 .bj/2I8INAR'j=+;M|upz+3"89vx6R3¢A& +:q]=Я "x x&xM%N)vMO&fܤHF/wd8ד9)Ep ṫo9 U >ڜWJѲtWC0`/:Kl Z,YOvtkF8-j0P3?JF(Ԥu4^absRF_˝z+͖^қ׊dy [ &E&FsFuIs_寴JR#*gCȂx '\t*l!{=vZmŘiC|U+b!9&DRNs3ܷi $ bA%%x:͂ m5@QڦO> ~fu+AA3p )OeH+c&yk IC =vǪ:4qa`4,xɀ>L>A4a]8&r9ύ3O%k.zqTtLnQMd;P%E~WҦi+GG#)Lt:UI{ Q}BG$<&{S$M{߹Lcl~]¹=72N]`oS٦O vHmԙ]]oUW^8,g]uHM(8]ՋBLv T O8m5ْmǦ$h(+H [$IA}؍#-%'pRȶ0?uf{@1 RcÈ[-9/}h~3K3EⶔW^,w=.s{5,בbr~e+6z$s<|rlu]e>W Ge(iw WRe#6FՄ,rud\n<"tKV1#!]AkQړχEWXU 2&`5>>@@ƓMQ\ ~H MHpZ_qb31YLsw|eG|P(T-f, wJF]9-@魚IV~AMml2w@(|yhs RΠHRe#R =q}}yk W&O3PYgԮXcvQn{A# 'tQd$-Z*=,^]d2A8*NūYa"LfAe׃i:9<" y͓m1+ ͉C{3sO#P$8nԌEO,$ơjm;z@@/]3i  rUƄe:2g淄x+xǫWh Z|f fLQk&@Xm8 Mjg:dVJh_+sAmQ-sAT:ɲNn)͉9%tv`rsl ߁67 iP2꘿1J;F0\VR$5] [)fb_|8d=!r|}A46]ĸKAw|c䢈yG:y`r6OMÛ >NZ $2_ot#D{&<_pN%gR^LolxiQ=MVɷAjyKT<&gAYLh(pXHO\ooqlT!*̝2E6 0ZXʏܤ_\%7# D!zwpfɦM;ՙB~s.Ţ>߄zI@ Ep5TaL/# >$SO̬*Ah.6Ȣ|%gΝh4Rp$q~˫ ]⑔}dKWG" ؠaJ! UKҔo92x6AYsO|,Dd7d+sTozJAuA-ǔW? 9ώYCn!R}(&Z??叩gx,7B/48O48Tg\X`iS/Me$G/kQxfM(P˕[)}\tCtm\i\5N0YL գgB^Fؕ 45ZASzT&Z;asл=7zeE3>!ubbsC}4z tIVd 9453Mi4b2l@ɩ;!FcSK*GnaYOp/V!7rFtZL8⬒f)>{5!+#\JA4Uq.I[$8J_ٟmɽTnc\(w>$F hXGyٻSWgan[6p#LSq 5Tfz[y7qEV#UB䫥 4l>Ur Uy2N%ZD&L 9? ȴNq^5p:.xe[-8\wE(E#6Ug/Vcz̵O{$ՖY#"'f dX&V<4dž#.\ddaYZ)+"^=Jn}zvKz(#jC'W?`$)þ(v##vVD ,MKփ-Ͱۧ-7_>=有:DBajS[W74m9#NEU=N1o6Ƨ (L۱=.lI+!\%/Y eVjT7?V.WYUo3ڥ I Ev+MNw@ESvzn8}%k,g<ZnwEtkSku+Z4B@`2.v,fKs0Ć>b)^KY8"f<<w|&ဆ(C꓄٘9ٶ-G{eNv) 5@tsڻ0 2Iݫ@_H } 7ɦ0,?y&!jq7@vdT!RlI0im5)" UG*`!)Yɡ)DZrvO^ztGt+!@N%YEbrq9t>VP2zbzrU'n:RE-h+4y(꫚J{%=S`֒s3V 4k#]hM .ALSD+~vP4ShNTEpxcIJ8v!KOіR'6*}@$6w쁴* z@Y>,iܸ}D(n}Qݷd&8ЈY _jT5Dr]d~ok^Jijj<_T< wc=)?<76!/HYyp1_P, ՖIߘoqNz8.%Dt EТ" d*:f7CSKKCWWᖿG8J!`Hz[A  ё|]}嶍hd1L8Z&ٸkR L[F+u4<]a-Ks^$iJ S.z9<,n3TIQNVdvM;0Bvܒ lI;+ c?} g&X,QݢQpABkw_7VB}bys;s^"Wl˷PՄ'6Ɋ9B2'-P`ξ+*WSF=B{Y@˹&H> 0]@aCY|O見 -^OǺ\@a5]SxfW G--I+w"ʠ^$'S`Q>]{SNڳzK@͛(JEkOSVA˜}8u7kbt;U*YyrY]^2uw[hzOoI}1zTRW@,n.gt 1 _ndҤ)o4yR4Dp>3j/zig΢foh+Yvw;R߆Lmrd[D{Ԝdp)A0O<g CUqZ\sԻ5=Ͷ?Sm*C©selrSx~џ@ bQ7bo 8N0|Lr{N{6ް—Er %&yJЗ|[¸Q'@Yk\)v'$u `Qvl+ Ԝ4 p*>2#ZB͇lF[^iU+l,B!!098>QSfBpt$q'jy65E̶޳#rPowBAG Ԁ${9i+ #vBC_>!/μK*" !CPFe$b4+Ǜb]Q;jX"z,,rҔ`uອV wijn҅ pۏ̗_*㓳.4b)CxQxEsPyN`b:nKE^MQ-*lu_deInH"pUr)ƀ59GYq~ƵYJ@S`(v}p9D|}I)3 }*¬.:kmo!aQ #O]:oN&7\jkABr^)42@ i}*zF@niyjQt-)e]pw%F{1$gh٧Z{ o HvgqѤ1H8+ƿ;4SA3,1p JGߧy2`c}FcujKwi5%B o3!+i <|r4͇T9(U(%Z F%!Y^q:p&X_0tJFv9hHSG| O$tё_ '+T/L<Z6(.Gӽvז]{J_McUKO9w."\Ri)6I1&(1vx~ JHʂU@8TN+YE% e"ruidݻLNN6Y|CK:OoY@蜑 ',os]9ULLgJw~SaVh?PG- R*̈p5n I.!C1W4/=&Rd˙-6%6"~뺄46yvj/ Q`tXzN1R?GBv#9vedJF; \Ԡ5h 3ĺ;^& ca}2(_mݸ>(]3,պ/3. QyPy'De`URU≬'7#TFr'8X\ :ԋnqva2{ν$ꔴؘL'uٗvY(S 87 (jShCi)r? Z۳vbN;Rn !ާbi;>PA(@h-a~N* )IP"YCHA)e D.Z"= TX77f7P"p"Yrx殲::@)H[PQ1Xȳ?A3Ot'UK!MۮVو l}.^~eCc9IY4l7&EȻ[~3M GiWӥ{z*i lhQ^[|U|}B*[o͢Ђ*/q7I?Lk/1۪ ,լ!Z+9PֈX.zO8#cgFe-s<* :'V[^a D*89 !-mW>*\%לBGǶ"kgj*]vQ;{@TjZ}D ׺Vn馵|B)>x կV<@C0FL;f `ifm6U [ m[BY/:Bg {.$xqHVSTh(|`R`'" p#XjlUoDNo‘=ܹ\7: Noe96=gL%Q?}R5 Ac2a -`~sAquI[.DV$3]Q4"]\+#_-3ڪxLlCxV?H/+G%)CwXn(ж%N0}Z\4_ދPq҈N7{*Z3Җc񇴈ӊ̀n[6TG2`#cF=(Jm`@!ɼ]Oely[%?ؒ&Pu례Fn%Z}qn#WNh)* GX/} 1)fpt,W!dQZݘ>L@1Kɢ}9Js~%Dž2׆noZa?gf;(%,*5Yv .i䪪<5?R1+*$)rĚ84: CH%/˥Z#jbRM W̅\>UҫuxCrHYkp~A $10%^ta[m%P.;ZX7'UՋNe|Ͷ, )ޞc J3zÊZi~Z}(4ȓNJ7jlVLa*kD% ZG?$TP՜|I[o o~%H Q/ o7) T$smQHEŀgf9˭a2mMKގ>{FM3."!3L# :ƙ-x7kt9ʨ񚨈kZv̆@4 6R޶Kq} ](\R#!}{ |(9DuWڝh$вюR,0P; W?*۴\]ykCjQ ]Nf]>;J͂nL(KNC^;7Uk%yj;ɇq n/h틮FIa&ꪗ;t%}7T}IXWIiTa˚[x\|'Uol1163`D_'Kpñ HAs)9IuI9+v?,cwjĦA`O:}QezinL'I{D?grs /65 GD5Lk>(j_$vUVy) S$ C|z)`' 1}AAIrC_ OWչ<@W,o"(.=nEDH~І{E:;Dsܽ4w^םO۸ U-yç"ۛ~ǧ3 o-Ek.IۣAqjgSkf|>xxZk㯻v{8$Jp?swX A?U ɠ݇3> Ksvp"»@޼:( u;ƫu\S6  ps4t{|8?n^" *CVR!ʰWfPsH,aϫPxCΖWNw̱b W'$JH^>G)Jp Hq^$j?r~;tOn_]DPӷ)[OФ >_FIiI,utM7[_RfQ@JJNO}b5\; qa}s+mҨ=ФS_4o-^}F%?.ɹP2@H#(罸:ATJ4 ~.XMs4 @7=l_N=Z(pɵj?b& |3ch8qR\5dVgWt{.!̳p>|`|mi~[3/ )kd!ݵ욁KZۤqovQP~W|3xp>aZ8f·R}nzfTx#=q3XE ,1}*YX'% 's5wKmd/DEr.^ 8ӛ)8{Rթ[G, Aڠx p#%@΁"3H,:Fa#TQ w^gIUm,%ExI?}i6)41n&V_^_R,竄*oxoo뫄i[cW!3vlΊ11\`WLLs,OђL6'6WoW20Zf?ETK]ޙ ,;L2|&["0&3&;[l3بy 2f0hQACeu9KǥԸß8*VUI{6p-*U= tr`N)b⛹>KQ7JIG7]fu6ܷBZE ؂2WM:LD<Y4+;;{bHւ.TM 5,sjȍ0јړ?)9[ٌ! ^ 0HӒ ZNꨂA{}aǴVמxB F1J=Pw#S)-:Ɉ4Z57SwٜREb$ md{IGJxqEO${cV ۴u"2PmPWf!+KIxXAJOjQ Af6Jk>u=,xu;|Hm|$=;[NFkfkn;DK_wOsXο`Μj9|F)xew:BD<X b$֓:g`:>5NHwW9hOg=tӥXfLu'cv KYc u$ ^ g8{tnF+MpP<#;9Djr6)Ѫ@]dBfP^5=IUȭTZPO(V`?c!xP[é<3LQ ݉j\j& JtaF:*?LmF[gKRJIU ߶V6{4:(iIXgԕ;kC>-kBކxw%wD hj,{/@n;vmhVlGᇓa f*ǛTΆ/ dvn E8Tѯ´ ||KNki`Dp1]1Qeל`akҳ nm`/!H!m5/Yh\̐.(>aOGNȊ]ei#%ק*\4Q/e;V5 @oJƮ9SGha3FhssSOͩKju=G-fpLgBeLDa cWhLa bPPMfS]EYq?`!ԩ$ :-d/;R.q$=U=pzҡ"㴍2IGV*>N; 2$,x7Ѥ'DdB }# 7` <t8@gcgfwE'Z:K4/ \ &f[@ l2)t{vfƒ،)]u+'sftd4P/oj5 GUBԉ39s|NT@&5IyD(YY3_^qSJDJz8uj%Q\/TSNć0[˙<⧺?wߔxVx%Wv QPBR5|o_oO=n!{_ ijh5^ oGhXࢬǧHFnM9=ia,%Կs89msk~k>-j.I8U KWh8͝|/MɁ xAQGPV):EJv rOzʃ71p.mx@Vg8g.t6u|^B}2 gcC0hP|u CoD]]mn=o!4އ,ɠb݂avy,z]voMk$V(uLiӅ}#H79 \4XSnn"I֍!Az˫-7 hIAzI+.|V8\ήS7uKY@)3gsoѭ#)Sݩ!3n.m}5hLZ}]7̳|es,Vr@>=5m*/$䅐xDYQ6Qዜ$eLZ@mpt * V& z${ fiƻq'~{ L ;&4xȹ(p"8P5v4wMJ|_$GidN(Kj&Be@SD4V5m1;Ә9MѪIx"erV