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 %t < ]/]HOL-Analysis:threads=6elapsed=301.664cpu=1460.580gc=59.212factor=4.847zXZִF! luH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB 'o_P8;jv/nJnf+o7 !79hYw"b0-?ҜŤ)=+:-A^9\懤OJ~ybhIH櫋NcM+FnܺUepKe xQR!aTu dg+: X >Rl%Z;܈Z?=_R̂w\4/m 亡1 % HOL-Analysis  0at^T]Vڜث#&r>M^a%gt.Z>*;#'3"[ q*v- p]T2c+#rݟcu[Ց׋a[Sd7.h88QÛaPUw!ąJ@lVt|aj7$ V5Ov\N!ܝ꣦,W3I3c̶ UgfZ'ePIf q _t80o[.f.ǹ<Ώv[g̶Jf,k|w55Xa5?:߲ʛq}; $_ 껺 IPZ+^nd楋ە-u(*x>RT.j4xbٶ~%%OKD>@BdBw Le"S>ec~7wR_|x $M^2A)ΦT,SЭ3=~@yvQy5ua _Uӈ4:١阴eL!Qa侷X)@w'6\&ߥ~CR{=g]9lyw} 8$X~u@F OWfpj8H5Esz|~8P=cӭWc9\0=dFjs88U M0F5D~28kvKX;ɒ|BJipSr{ ^R4& i glyF)υ1VRܷlFU7Wc2Օ- $^ןjE&0A HKibfK(L#VYjKg$HCK|ژKd{x'mG_W1NʞW]&ȑǸZl4 q t^wyͧlXT^K C97ϖ2*Z9'y Koe3=>=BvsoOk5O8Y: nyԽI֌g5-^|5KNݛ7adtCSUG@NcI~? kn-E Rq#=IsUC=R\!\{vDJe>*` &_Ȣo?Wd`A4ͯ-<8/ҕ/y!}ejH7뜪,e壯"d31|c@&d=L|?D]Y0Ki)Á . L֙t_Y I3ZcڔrQzf/mnϏJ bC孟k|lYKqr|4VS^w;ы߾jvse`z\k r*ihۙxmlLd,her}2rͷ/Ӻbr6Y1y)[!z,`TLR^A?"hJ5v-G"ȧ}7?6o8"CƜ˜9#;jIs> 3A:LAM_5_ ?men"3tA;[£?~" >+$րؿBPpx$GK]o)A]PD+4LZ&aݹ0 =,KsOpsOt22b"}1ZO:&Fɨ &nc A4A~0 +&朦,ݼ0YzE\ @Q*?\?K߶IM$xZ8MQ7_zW{ zɬ?*_ 1~KKrP+!EaHDGӵ qɻ,`zBrݔmHQE.R^㤢< Km*OC^@PmO2RKYk ^#gI }iq_>7nq@r("oxKqFu)ƴ+>ђw`~{Ϝ3'YJ '##~>LP-p$+&ae\pzI0T9n2q?Ryşakjf{=j%ݞ)+F#)81Wޮ&|NdCN,ҳ76?-sOUMT2>*B#B Bo| 2co'RL1qD?ߪM&S7HLD@s}_% e}&{A^鰼`8KL͟qL(f\/F݈z %glS<|iNK#XeXzmLZC/wOyt_[Ҡ-%Yg8f IK\L:kPO*^Ru5TPy5"\/mM %ǵe 藂 2D1QIbެ ݒx2`'Fް9Ӵ7dߠe^3%VUtdj +-KXeGsbT(#ygp3I1AU|0;K\I= ]qO' `` jkaE{lnQ5n)u2wǵm8^m?7-cWDI-.R-˫ݳ<&԰A7f5O![8Q N!{TAn&Nn AvBDjɏz#N8ʓf0awG8 (S?f'B?d /ACrQ$`ƒXnنg]#GO;lg=v5ԝ?_:MC')O"1$8ۖ~5kPRߎƬzLVoZ0KLd[Zʳ5ND>c"/\/BU&gi:~2cxZ-'=fKP4 GUN[)F HUI$TQ0)bwGХ fd,+!I!*b7 K`NkdOGw) "%gw!}c*jz'Qnh:A@ ˪܍KK DrE=+,; G \'9ϑ!^+D-+E)~k!Xl]"cʌ7}D4?fцtS80 3 Io/-YEO#ܸ?ޜ$/(*eԒTZ?dauF"~!zaP[OVSyTy?MG4!NCڎ.^,lwqy~<D KpĻn]PCvbT..4́ȿ"i?C30CܷEUU9p̲ha9C?rf4}kyweeЎ%!|a ,Gfݠs6Lr!- F?8}&~xva،%vis/I#.ʭ~YoLɂWDDC,. gGza\K߯_;EnӡT7gi4lωrH[kf⸎`a0X|KxeyQq4wT[PX\hb#6V; yIfAj8 ]>r覫Cu=*on@NL4k~p;~\`a$W,U_"n~J ,V&!^zBn!^Vgk!UrwJ4g[)e:pơwۙ9d}?Z[Dƌa/+#~$ H C&Z $O {+Ay oz ؘʊ53BGQ7"27s kIdGB{97ȈD&Mzp:߰U~ri:̑+1`H;`җ~S?>?K☤ovŃbikdƑmGԶ˜7@¿׮D"%m4=_Q7骶9XgH RgX%H :Pr6iHl4'd<؆Lz#L)E_uc/os٢㱦=X3Sa?N$2HHq Ҕ`҅4@6 E.exK%0' .¸$u敲WD}e1nT-d,@F&7"U%*?#F_3$7G\_S9-j%d~c lxѡ[WCi԰}#&xRv!,(^f0ϚKΠy@댭nDxIC ë}V׌ޯNܥb ]D+7#Ĥل2(x@۫ sbP_BI@DO]D_zֵjL+S.h~ n0qtYELb~s!xZ.uL,ȆaW{&Ը8HbtnMs8>p"vKiT^B,nϗ>'7Xԫǡ[Uzpo{xp6BOK>gț)g3(9jP&`~s=W1^\fTyK9Gn_ʻITUcV"%uZᕫv5s'rmAgmڸ0UpNnQ% –ǎ" #9x'wZ!n{0Wⷭ=9*; 'J$'ds-rE{N "_=d ]6`5]YFGK@SÆ:|+|_?>Hn 3>"T^ :}i7s-8S_$EW[]WsA+gڱJbχ!4$qH@E喧[+ ~j-۰KCGP+XBu6Vt*VD+ȓ7U3x}դB%WC[b!䃌II(ixQh:*@3df&jpĎJ4akyF~)0rVzsҜJ)P9 ˔9d1GuijOt_. b@jypDUx\^88篭Wr^unٟ4` Sۮ"įfD8na vMƧ# խ%]"f YXD{#)&s!S=asF 'u~9#W_?^U/"M W.1"/8ÊȞMXdpl,_xCvU J {16ӵB:!o(.9`Rkk%Qw{:V, bajP7iO .>q/tb 8I 7K,s0밝JT 6ڵBH._\ Z|͒Zo}H{ ?UǕuH\YbY #4l Bi3]Dz4p$/A}O.cKm %x/# li%FtrН9G ES-<AWs ň4;uT=T5=NW,A(ok5YKE/.ʁboNuUdTy2nG:LL=mpVq{&r&Y(tT߆hta, PJ1u,+?:͝GDuU`.vzveL>4^jq۹rP]K².*}1",Yw4nR /b_]y2τ;5J3HZXJ"/lVlDlʿNIԪ)R *JR3E/  f'ZU 6)4P o7 |Ad:e{c*=cl!v֏E#D'XGLD"zrܐ ž6Tv5h_w&/?7<^ԇBI$Ҁcضk A>KeD{(phٔm~0wEs+?*.gf nSMZ)oXlSwPddPyIc))I;XNiO-_犴w5H+Q oR A؉Kq |蔪ЦZk03eSo7uqWz+NȷZjf|Qn4;Gu j<_4oadaz=b]e&r!YvON(I[&Dm7ƉʝQ*\8 8za^6/w<8jm⸥36TKKXy)GUdkC:| C$ XR,2GwBڭUwY04ye7Ε LWVQvB W1 CM|k7+1SyMQwAȕZ h ߛ͡4mP;yF6>9q†kJih[D9xO#,lpUvN"! 6ޔ*?qTUR79 +I@ SLTG{ӆ.HyEڶR:6HL{y7:yCUF$a⚝YONhX숎 ?z_k]}7 ;g0ĺ:F;JN@FNH$17P?aL8.#ψ\/]^OЏ ^`L!<2Kϣ% `PtHԷ" 1=.ŲI寺;Z]PMvUl\Y_H:T'u!Sٲ_Q71fE#5 {e0ȁ1TZU[Nj)3.1FHLk8#E%sNt-\HBB/8>_cN#@[ ;h[n;*c%ZZ,q$&KEDJvl_2e5%ㅎ={}-2!í x?'BPf{'_[pdeniYr^!3YLí6er.=ߛ%aZh~1ΐ-y+sh4LT :0*|e*^y$U.M6S22\ZF47lAH 2yG u&[d6evegV&.̿lL.F[]~ nGg׻=U- Ս/JJZ^5X(ܴhTQބQVm҅+Us^_pϕ&ݭxڣ@' 5*L{XꄀbX Qnt o[Srj [Lt+$G$@z4dG (neٓ 631d%D LXklC#7wen' ){fƞ\+)J9T9ҙmO3k\:vOhy=k6{hN\8Y#>5ڵNn^%nٶ%\z?:yzL01}~9մԚ T=JǪyJڱ|9eqr ŋ ŚW-]^r#nȳboKr$jM D;] ?li:o 򔄏Cnw7wz~^8 -EN_Q~w%$2j}>aR!l8R, .C n_)aݷmrBaL! ^L\}aAlI%t_h~l?X6wm=H8_5ƶIS};ixTylWw q| 4wBbKzMM'WVYy8kEp 9 kYmyCX>⤤wp2su7cM%'ofj\{i9mDݷU {njǛsc%iefC!a`ٗ 9cM UU290 Zf0_;8Izǁ+3tz.p`d̡ KәE-H;5%Yș{'0 ۥi8%u d0/"L#Phȁ( oD9 X_H>>*&]/4@ }EbBOy 9azoKG;Rvd/PS[G.#܍`71a]錳dǴ0(|wV0&XUUAD](?1Cױor1Cnul:T5_xypSݾLwk[tpڞ*l)$@mX-@4K{QJʯ\ UvVO9r.PJf*DtPNK)wb#l׏ %A@2+pʹ+C:;w O n) pYr9e b!)ߋV}C4@^و<,߳s7B(%g: 5*D$Vy>rCV\֮tv̙[MtyC .dXi(2pi' e!KXqJ~C,y{Hcv{=XWd(DŽ+e/SW Ƭ4(4r. vmiBC4uūzO &-e,L] ŽаmH tNYҌ @G&əwސ1[oQk&3ܫuRD{PŊ\՚LPȨr#HjXxuT\q/QjQ< (bS[.&Pss'dq^xi9}z=1K'#B ˟tz 6=/mzg>B20$-e7 7nl֠츟l n#`ƂjL?WlrQ\ q٥]殯׵o/ES QydVҤQHޒGXDnnlP- PݣW@XSk/m^c;A~☤i˨n,ǐo(|Eb1c;%ܞ޴ےP%Q?&Exm \\] FJ^PRCXd3U@?_% y_i.PjA k68=b֬e^$ 1#rX|cٵjM6<72R &vi#j2 Ag-f2APwYX VItt>bM|9,V.wMI=Z,v':ya$V,=@+!~8QkЀqR>ʃ3 |7y@5TC3GG!v&̠3l6}.H׹\kԵKcȗAVhҁb;;0~%cEVSǐo4uYBeO//G)}uW:U_¿b 4(Y'MY&a^/t}?K%h,S 8fM5WHNπ|kk3PwTqGBYEAc cW™L.j@. =.[NblY/(%]ie*kmgy鵧cy 7k`w2XcwcȪ8&";"8/j{"AS x'/c226.nFBiC.;*k,$30>/$=\gDzd=qׯAsgU" )I4X6) ɕCC)圸47[0 ́ԻZA s5˼D>}tNYl&kt59\b" >hթɤ?9`3XW5/UVW7АqǬO!1ߛ~merA7ϩIM=FEVE`_< ;TM_'@ö|fԲSڼ >:}q-_/Z+rxL$1HT,2C[Nx "ӈ\(r-KT`i_ 3H COݠ8=d?bd>r.e nA b툈ձ':n"n[\"Ud!*-&5._Z 4:Q1G%{dQ̈mw$rf_pj϶2F߃qyAoz}_('q6DM.錩tԜU"VFN3P"jxs$=;h,𴛎G)R)Ʉne$i2u~ 112uY7-򼱦zjwlOGb`S!׻e`IJ2W_}n쬧V{lN+¨ |UgĦ+dwt&6v; A;uB\w&\,Bhd)Ǩ4]}x1u&F/3{fd2IMo;r+OqX=MhTk)p9;a UďU+: YS>̊#-GXQ5VvicOUY?C"Y]]Y0[OZ}bv]&KwYmϵ꼶7U9S2jb# E((rSP+hyWOT7ؾ22z/TzLؕ ԼpHYPf;u^+WX4>B,q_!l?V)Iup| jf',ևTEW1G /MR:u -ЌmpXY:q˧^LLSd[B0 !;6]J= ~oU3"'E(Nuj=:5,(2c-&]td{ 3Z1r+N$ķb!P'!lRIPYSdt~(5gE}9zTȤm|r(7ܨֲDv[V#VߌD-yѥ8T<RaIY(`fɿ)h-g_M=PP#:*${Z|#Kqi]o s571Z+m%ϤNffZEGUchE_5 mHMo@.ѧIY5<3˾ ̻%;i`̑@/IE3޸AM,@2paIE)9Qc;cL@' 5a )@W :'//PW/$[^F]ץt P? չ{:LIʁ)uvd4! 3^ڸQ]=-ia-1hrq85E074Lݥ6 #:a.4 &M85˄/?A}u[V߶f7؆ŭ'< ᧇfak]\P' EŒ6,>7.βp]V敛LsXIuq}G)>!oTri"cCIw.E/,(0at.seBm0=&:xŠ#kBP[RnS5!B—:"pЪ1?ݣ,#h(2R(L=D-?_e2is2]체 @̐s+_h9todG?50ѭKG?_B `L؂IODx [i|dpMvc$N܍L#ldݲ^~)/"qkckLތGaE'^є@>k#pDf'"k{H9u iiZ&ICgœCUl0&d~?q}Yܪfko^l۔Ө7w8g0hצW”!jضcL"Rw(2s.7Uk $};⏙9A$A$m:8S*o_֩x6;N!W\51u:p3ʶ,~]C' }9>tKb9j;ԟߥɺ\ ~Z\[xmOӁuh6e3Ew2 r=mZWLQPOe7 x&K{mR)xnt '^ H ̞wj ;hNj_~\#f4۳~rxi@}[c+"y-CcGy EemS8t2xB[冘$x9`lpL\% 86Y tk3o|T&# Α1rhRjd}#&Nd c@ p҅Bvr酏 OW ?wtDR@F_bDP.&X4ALx|^%p4Szʣ{l|N.Z"1]7C6FOT[etKn)W^v'1]xU TX?KܖB2!샒mO+XSE$48+Qpk"4Tm/bB/f疶IA'!+l:$EPl8'2)Ճ{kg WyF|Hk\=9WB^.2e\\ jKZ4N36u{PS=iOuD:DrƁ1bCfP$,7;FhdN;`6&D~o8lG9(wc"s*pyGz$Xl|ڗ8FqW7z?#.^PPSL~e.gLv޾& [-)Tk֮טw4P nӏQ_tsS#q ,+pHAqأo0 [ ŕ{ќk߻=> g>}z˔+/M n@V9gʶN2PLRG( Rc3:F,?Е ]ۣʹ?wڝ5pn٠BLkts*zl=Φw%2Is Oش/e,|4U0bpS)n)|JP?Z2P V)ܮ*?^ӭce| ]dNο5Y8EA]`\|gޡZ)53ÿ?\kq8 'o9ǒ<0 l~:y >|HJ}GHz9>rk/ez=4ϕ0V ;ymfm,-{@5ID`m Ts0 !Mkn"#0cT*5; {_XA(dB·]hR/߁5>h^pg|bKp"U=Fpʻ6AdDx߅VZJ@(U c/JWG"}U*$!"8 );I\ JneE@e:$fF gYZ7zXZִF! ">]ŗXiɟ1˦r!cHkMeBd4 C厕?)}1vAZgq@/eBNobG>6{ y7BTӊ!^ػ.:~R\oEyV&S~tj#G7yH2 e ҿC|~ GL0dmcxM9FL1*weD !c*'Jp8Q M]G,$Vdԓ~ae=E|S/#O@ ag Q"Ek@^&/-{=B7AdM1PC R UyR[RǜAhi:"7v<8j`XIPɲ EФNګ>ApgAB"3cx=}"v _-d "§4㰴6lvExUwӡ^U !6;l M+0 )8%PP2}zu =j\%Hqtb'U@n'"l0?+/zL@%̌/ a ?\٣4A?ěp|%C1Ӈ\y8 ,Izl' $T{nV% ]R HG "4m[iIΈpIsMzdeL0w5v-D u_&TC,i3 )t%DdsIX!Vavm!1Нa\zhC_)RӬ* \s$wS{G<*ov?;9JWDCz0#PZR/Nq=GK@md'L[CQwں|B~%+q lcɝiL.i;j]gX;Q7};'ƔJڼ9oDmΦzEXƗwC& sh Z_tv9ٛOO\@!\;X_<s YDjn[ Ap, 2*Qg"$;|CnZ2ed/$jApT*O tBnj5L-&lI KlI|Y>lX+0w9y׮v}鬋?HP[Y5Hv  %hN~-,xadc7`YL~ b>;QQ݈ʶ{`Q"#;w[!cw {D=|"N Ptd $5leDW+Sߐ\;OGs.ѐ{r(JdLW1PK)z uY EnOQiz~ XIvɏXRp^&f &^V8з5ODŲk"Ier!p z΄iጹ1_L_ea>Piy1}ԮhT1O=֕jԍv~PhG! {e<K'ڴ$j6Ch'L; DZ(3}*3Nt53"R.G<^0"8ӕ!`J4T:}OiD`ә'_¿{mP)rf$|Q{ƶmWH,Փ4܄1 w{}4fY5IAa#j"an-va"diZͪ{I\ Ȉn|'|c2-nnx 6L!hf_\? w m-+4ߜ_)PլH.xfbѲAV7Y |4WB cDBKjFPխ*vj~ Uf ~/,V*5X33jc/7i[aUAS|%XjR,E-aL!,>\cah %Ua' `9n=P](^!kޡ*c8@gPT6G *_uYc,ہ۞kR:%[%:;m!Fc^Vr "d?˦TB'OuC gO|Bn^[w}}OS7~,s0,у$j9c+iڸJu^!! -g[bC@xR3MDG= [f‘gE ^zBpt UCC~0\Jo\om]e? usd~ s-SHEF4ky*! K˞tG}3kplc_Ŗ|32_!+MlaXN ɜrI͢ȹ"1|rf! 19EH(;'u6x+.`u) ;8ų4#0'L1Ȳz9Bgd,|w|Ѐ,jAͰ^k`H9yKrmc^/9D3VBO/Y@SLp33XO]BFqTPݍ4gp_Kuq|Jkc[R;&uЅW#SLe/|"sOS~५ʆW(l_^غZy.CD)7=(/(Nd=IvW5 Q+o8@U4(CAlKa{2Vxᕇ*㔞'0ga;cISh&p 9yRv;s斢 Dr%CK-YV`s=OE2Y {RQEǞ]㦟BgD:զ_2Bxa.ls*βA8t*rSF«{sV\4f4\V4r* iW ԉzkDmVRpZ ŴEXZ؃k֐ Dg.2K5? BE)_Ni_'5_NNזFC]2܌["b : V#o 7#6.M {p H_lC\J0-:D4 [&[ -AW쒸2.aWc|Af US #z(|mGOJAefZg1-P <v|X—‘mؒ?K9{˃aF*EJ/Z0yhAvοy'_t;bJa"b_|9^a{<-YJ/%)-R.GkwK%C۳0)u3DZ a{A&^wHtnu?[io;µmXfZ? 7${bimd7Ci.' aEWbvy4z͌9{ APh`]n<}eǷs澯~*-@vЯV26, 9M68t oi~1,`^O&ᴞaC)-#zM'Q&W m0Wq@s3 LmfAVyطJ2 oo^<՝?S  S(jF h\.x ڰ<W$G3?ЬD 32+pχƠ,l"?&٘xy_˴ᠧ` n@xcv3ަ R5L3aQ{L6'd>ߐYĝ 3&T`b93v({դTKgeJ3HK{kBK`)S>OXPP@C=(BO!Z p´]_=UKEAs5t_pE8(P'9StOI M!!r Qq`ȥmE|[-r.: %nE]ol@ܨ0ta>!bZL{kV37$ 6hj.&0593l'/φ8>N/W0U h6WuQ8Ug1uq?\OG/ּa$qi*'ҐOp -Csֆo=VNq]D.iF[!\bk9Vp;`⻯ځ׀sڏLw[bp- gO|W{ytqu(PG`8$^E@(2B {Og ͙L!Uf?Πn0gAuq d9Q0nn B=Gm7MV|)u_e ޮ V\4oHOU5&1 c?A⩚":g?ZퟫZiO~x#.";#\1>cj?!grSO]F#mQ%w^x3a3 pe+gP@:KUP*D*k"dø*k"9 C~D1uQ!FؓvM6ǂ+:ZzᴏX%_p|’rjkcʿP:>trWCE߀;kP [X'Hpʁ^dl>0R Vg' 5$H +Pɇ\=2HDoGOv3IX0qOzy]UBZJ6Kq'@\Y Z"!hɜ1u pD DZA##1:6q&2dCBf-Xc&Gl6+%2U$v9IVSCzAH^NYIQ?~_1h40qꯘ'6m$"oœAL:L2)+Fjۤe";S!o wt?d{ښ!6=8A`&[O+ :Qf aTq9\1}*#H c2(IN]+I `1P.o9mK؈6;5bѸڈI;$8#ylatݏz wjD]zSnOI:swi1E5hGWAmַط T8+g8^6.#ZƥW#gxhPhWOwpc .ld?U8B/S >Ә0/MuHחM{f* ":j"ͷgצAߪO)ۖp潾Fߜ5%A-*2 Xc#)bОt4#[oOJd~ԩ+ 2(F;x˂\c2\pa}A3qeW=!Yc-@s8ǐí># g˄P(앂w,7X84fe#I WAV}R9=zG!u77N=]ȥSsO%IH8fTcc3d3ߝ2Qp o/§aA{P^3g,~cqPD4X71͠ ͓IZGchR1V)(niFiIp=ƞO358!l 6XLQw{Z*|0չ5ʇ+q)dQ*O٧'$R#`Kgh#OYTͶCg%ށr@Z`te9[i ]Q^cnq,Š)6yzmPݨCŕ զUc6r s(Py ^NxEkRJWF: :}^p"#>ͮY'P2Zާ{j$˭c"g+T̢׳H ͩ3Cw2=S֞ќ={+0 -?\?ap4UL yڍ9?/ [k8ˉG <̚#rD 'j}^!+Y:B~/BA@<*CCw(y8 80#\eFNU^>ac|m^P{*gOJw f෋=:xWhQM=7Ÿkw/.(vj8ˍ}QkH[7BeOjoQT_nZ9NniM;e=+$h|p}LI׈>"_qV[]) *֑fɣ6BV8:Duvp?ٜ. (]oᑳ䷉,ra#,6뗛G<9¬vҝHszۘU?toNA{4 I\LoN{w*v O&-|wN5bh.E5?ZXf]nE%zT(1S˞ۛzьycw+\+jx皎 Q\ , b PVȱ[hEzGDB)FH*H1κ(NG“\RM踼A d&.z&Bva WloL!zNԭnqTtDBm5{S; )(ԵD-^daR &篵4\;Y}ܿQhyi A),SđqXMm,˙ e0ɗbق?8uzft}X,P٠0*<"ZZsJrJ„)=&~n֧j?,XUC;&{lc37rt+9Bu:EDC,4dy9{9qȄKjG9?_{wQJzyI, Gl5ZB֬.Alڄ <?L|ʇ2/MEoY% \7IqɌ$4Ǿ%fJLJAM"we ,Oa/R#1K;@ >k%kR^ƒd/=)m3: 6=)fNDzٓ+=iܕ-}Rba|pMBc9q#Z0I:>I΂ ЩGWA Ǚ7%^? ;ǡJK[ޖL&/>aQӦ|">L4"3jB>:F3fϰJz K=7p8DqI@A*c@󋤏t"`Җ1"ڙeA#M\>ik&#] YgEg.+^]5 kevd3h~/3Q/Q.p aWSxuGIg `ͤ4ABzZ@%^@~ ]x3s;يI1rP1NNn]DtJSlgǠA!W |[fBى3^]ҡ&x5j0IjbjG>Eԗ~I*aT@$:5)cS0DfY : .h̓MUY!^Bz[דn7Q`0ӦsWCW{E1'Dx[BaaB(S["atfi VPl8r2" x gLR* R0:^6J|:}-:)ݒli֖NƦz4maB/=0g׮0 /QӜW j8迩PmDj0B}&k3<m}_}߻MʅyrU)Nc'p+hY@f'/s? }fBKkpQᑌZ iӺCۻNV*/ʗЧ;!+-ːWd$3/[?[ptz8vkMo\dWΎ[(vAvjvX&'I񮽩Ko-|PcmqȿIQ>zys(c-@_63"VF6DeI& dtMMKE!u-7nRF VHՄKd w%jm(k Yi)h3%oN ,87 UXiBq)v4Y # ;)z}kwh&ࠚ`ifk/Y^:f gE1+c,Y/g ފT][Vwkdf)NW莀 {剠Ipay[5b xf~U"2^Zjd)(T=U#r Ph ]/Bz)C1ø ޤ{Ǡ]iZEd<^BdvI$3X@L-RW?ĬB:MewgG']v#YYg@f4d70#/yoJ UbTu8L8^k(EyWӗfB'7$eӇ)r|q132-SbRU1 ԇ).,Mrg2h l#j=zjbuKU:|*7KjزۇW ~2 qBaRBc5sߡ&aYw|Be1 +{@adp*@rr-Ps)tWQakWxI|O*hFD-DŨ.34x]pfj3 `.O"v=oqv-i=_X:R 8F"Hl ^nPK:۾c{`&LtcOhqh#qLF,1"{X1`'ϖ50(}J|e=yGĂ(],5BC|U@ 6r+ 5h9p4b!%Z)%ԅ2p)A p-RT׳pof04[ZQ%g6"֩߃BM:Su‡ (Ǟ7N).*ntK6Yv}yA;9U6 )>@I[h]m?N%5fڲnұӬKWDk~CEsR׎x*P_2gvrm|E\CC|+;OM$@̸ YDlTP תN:ʼvP'7{r#8j204j- QJ=I + AЭ`"jGB|&Oa^ӝhb׵28%M}{mkeۡ;Il Vi|e4NRۗhc~=-ay>ldV:=0*}Jc@9mi9ZjnK5uצYI!hɀl/w偢¨0+hѲnA a":lݑZ-vUQz5Ts4<E6 GOCsƏly*ω@I;X\b H2ni'$j3z%=AwC.!yJyu( KdyH9#D-U#iC5Vh gѡyh>߽Xx0@Y(r^\kU]y!,Qi.BuF !]R)I1>c)g~Afk(o@ح F|g!3Cft,՘$3^1y3:rOaǽ=ݍ:|cӢ Nʉo /*gu/K "m9׆mb3=&凝!Y4eK08Jf4]\!l?1b<9x몦uunCOr7BAlݭ0 FEj6 ]S s9k:]zv_wiׁ7Xy2z:)f}ǍP)]uyޟ?y_ S~HII~U0+I-Lx[ xf+:]XtųGv΅+ke₭\UKqo4;2MMHhHe!(b;3Ĩd@{u8 Y7I8b0m擬Y% bĶms= {r[?aOɴɫUbXvi Z?t8<!V9 $}MEFSL#;B4 y0S`N]C^K M G.ߑ=V\D## ;|lřwf5ǭ_jo[eV:gO$$jPA!LT@k3V.38rxyGF$PU T͏x' ӶV @dUq)0bDXw@ރhIvb*EaKrp2u>Q.'E[W$`q#gHΓ_6GLg׭Z,?L1j?m(^Dy%7^-(UQ&; Ht_n}/h ~HU04!oS0Q>ؖ$ROO2t_i,{]H;"PW:fW:sٕo^h@3M|u( A=pvw*-ә Z'44['#>\FdmxaL=BNߠ0qF5ZD^=sBv,4;Y$:M=eVW\W| Yb->Qk2y2P3SiT >~tbIf c,ٌKGm4:l>H$AgMlӓ v S\D7Qa]ܸ6ɿ !7/>8//k`DcgUdN=e4do ;8̚,'*ps'E 0JPX:hEtiǒ{ߓQ UE2 0jUѣ37閷"tYiL$yQy oo98bEsù*[3jߋl¼5I>OU|Ks/>X/j(~+Eam턜wQx$BQ4 6+n鄯Hz2BY,_(vB0Q>1F Fr F%V=JRwo}jB"- e X-r]v e \<ХeR$6rrb9LJ4jV<ɹU{"*cӎ,+ڲ~-@ʫk@VQt_r.gCQޑ-9Tޏ`[egUk4x>Z|bl&VnD!^2~@%zqf\rDRBl/kvKkcj X}EOHŽ.F7C"~Ch%h-3< ngF |H Yƨ=-sޙNl>s$OiMHw} !p@ p'Qis;gFQlbVi61Lziʌcs0%xow&iF,k-G|${<\+g>!@X܁v"mdq{zsCKWvw_\΃9flW^`K|,z*Dzhb ia0<X({#}AN?}{ &)`wV.7Iv{כ#asȯ {UvrO2bq5[q'Bf!FgqFayul}#$" FIxtLb~ [/1a#ൟD=gXMj*bG>r=q> =}euE`xKen䖉k AUMOwX` 7mYFudo H{M]07^U?AgD`?3ۏ,^yv@N&a0WJ~bhɉz97٫ɦ\q@gpK gOjqa9V5{!MS. fPn!I0gQ̻e@FZr4n3EL`Gq &\>j6,_[JLJ}(1n1>^XI@t(!Ŵ|.yx7 ld|XР6ژ>׮d A =>[&2qY;<3cJ PשZ)QqCWtsü.7F [HP5hD7gVGitcQcSҗ;cxSrLtP3`OU-pI%I$ ENc~$1?C{ӇPpY! d(f4KI I1MDV"űh^/1<:q`(Ud?o!orx` rs Ra8U0\ӹa'_蝎-#}d0rg=.hv IBcb& Ɓ(b'2҆𿯣CKa[zGfLqK 5 jr+t!n-,nEBd-Y":.u䃤cX8O!ߒw ،G䯚' 9c aýGŴ{,ҿŴOIYKkBA5Wt☡rؘW&?XZf fZN]21]],!׃(>޿J9_TOZ-zb#p/Tͥ8b,5}h37$xQrK]?:Is@g:R4੔DŽSV[kžb}ߘ|^$Mu42NVrU=vhejkE^XQ@бfkOcgX>Tsa񺰬t{[MKeX4GGMCHU}@4~BŚu{'W{ EΡ1{ r_je:Eݓ_ m`IZPY3,ԙamVJ9 8A_G R_>/@;e]PdT ;oe^~BY: J+z#he]-{HcMS؎6I[Q kĥpi<֙eexdl*F:ށuQh=@?͑06Rrjf 辕YG=SV/sjPwZh-@mJUΏLQyy>09$_~O3ܩj )\c3o~}f~r6x>h-Olc\^@ڜt9Ƒr9없t$Ff)'Kohڍk%rs79v6sqDkޚ> yٯ3z\&0lW=QGZ8,).B&=^B7)F_|6j4KII̓#FVP5Zk6$ VY3Bjе&P^WۂH c"WQ;6> xc19.&9TNna_O;ڈIPYez&m"z:Lo'JC=[oCJ*yYϖmSi^ !3 0$Z  ZYi>FkUuJV(1|a,V -*mO 1Q~ SWU(~ߑ_07aÿ^SEMLS:*n&ejBV1>pzT*p& V?mLEq JJث+Ɯ9L.WP&̀ЎgG"`|[nű×+˃ϱX$ <2/yk\^1mjx@)9glsL/Z1ܢscؒTL SiSM+ZA4-GV/QE&E5*U7Vp=Ʋ! Mo(~z.kCyWf1n){Pʐ,/cx1"*BF< #?E /B?Ztʘz=hm}Ӧ v Y)/`R&J[A,ZHB)EDځx.b?06V3 h^-Vi<, +VH/_YfMLw $Jy<2ao%y%P q[z`wW@xT֝Nn+i TmEyk2YFC\mqGu3<FU͌4=G`L }Jˁ!(x; \B> zA!Ёvd1Pݬ'y]}4);I|L]j ̉JAgz&}a>/3c`_ţଇ%$q1ߗOejxMs\{;J(<{Pʴvۘ#= gNM8<,s^*nL1n_;,rМL=]FH*)/ * C0Wb*֩ ґ[] peb" ʫ{iC98bFq_%O/QA=JvIp6E֔UV]IF-v(^̈́Iן ozJ3E{dm޹q${o|rޚ~ 9+!x;p)oY So.SqwC^jo`%ܼU|t!}~$5onՎ7#_x(ey)x=5 ̦&1Jo#kCoW *1j"a)9{n1z1z FgMf!3勠>ՒV7䠥r>c\`ۇ\QC{%f/"6Նտp9 |jG'VCVرgYZb16171cf842fdc16c2d3f89813d2a491238eb460dd3df6fd1fc63d31a2930446f6245215ba2d6c82 67f7986e25a1516c3b4689ee73dd4dab4fe8bea3474d5fe8a0500f2d297bec2c1e4e6ec28ac2a159