SQLite format 3@ .;  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  E%t4D$ ]/ Generic_Join:threads=4elapsed=21.482cpu=75.864gc=2.4687zXZִF! 7`]ŗXiɟO}M:; Atn阇)ɭHtvDX&v<,G2_7-!Y6BcdMD1XC.)Mīu_z!O"˞uiH$&Z8H˒nhcIk>2ƽpJxț,eV0Jm%vt=hO-] J}[ԥz+EūKx.ʃgؤ ǿC\2VF;S'=@`|TOF5 uO~OtִpTjʃ{?DL, :Q%_fb6A cuQc ^H])T ANu8k$<.dXf[^1(ahb&fq Jcz>Ksk˞P7PWy5eW(C1Ѧ.-u( % Generic_Join"%A% \Generic_JoinGeneric_Join.Examples_Joindocument.tex7zXZִF! :]A-MՋhvG"uIBm5v'y()i˴P7mL~4햄L]*. Zr tHg܇z6wd{PEd`CWB[dWnUQPfۜC@PB0K֣*Ws,v%0iT:=g6a !@J&ΣV21M!fOe/_&k#8۲pD"f^zXWD-nsM~mJ{u`ji9?\gm#r.dxdi\OzǦ`y+WcX)9|%ʫnYSNMFO'1`$1Ż~CJ:fA0{f1eP>◗ }&S=GF4=@-!hR҃NE:,?DweRs+Ehs#,4(^ljVzs -1o_)ZZiU9:R8ym@t).'R99WM y |B+N9u{I 3SڸqIs8cX3Ԗ/!ӭp5|sCRg*֡I6tmL'*,kI*m{LاXQ@"K3Gع|3m4#M;p|)QRu.Ȧ9YTS"|R6 툀4f3cr!m8Vt47 Bv"N(r1=s`jp" =>tM"dNuuQG~P/+T9y;̞{ ;ZepۛĤѢJ'#RWZx@R@oOaR4; @K9F(({auV<Fi2`):Vf r"u~^"?ON&Ȋ0MC2 A m~1T8[ҵj-ԶNIT -Zkf#HC /@/'Xy+èvH~*լ TQQ|@_QY|ڮU|n>MCψ|ben:NX2^&7[fb+j>#9JR텀qՄ]TR-~|߈◗ }&S=GF4=@-!hR҃NE:,?DweRs+Ehs#,4(^ljVzs -1o_)ZZiU9:R8ym@t).'R99WM y |B+N9u{I 3SڸqIs8cX3Ԗ/!ӭp5|sCRg*֡I6tmL'*,kI*m{LاXQ@"K3Gع|3m4#M;p|)QRu.Ȧ9YTS"|R6 툀4f3cr!m8Vt47 Bv"N(r1=s`jp" =>tM"dNuuQG~P/+T9y;̞{ ;ZepۛĤѢJ'#RWZx@R@oOaR4; @K9F(({auV<Fi2`):Vf r"u~^"?ON&Ȋ0MC2 A m~1T8[ҵj-ԶNIT -Zkf#HC /@/'Xy+èvH~*լ TQQ|@_QY|ڮU|n>MCψ|ben:NX2^&7[fb+j>#9JR텀qՄ]TR-~|߈o v3Af9LC>-F"ZG2&5 ߛ鍵K3 ÇA4٠&=F?d~{8J%=j{ԃ6LZӦB$vZr³D2K0φ̪&_m$nΖ-J?r 3aW4> 1|Τ=TG2;@ѕGV쩆ZI^!twm'j!;ogt2Ċ #ᾅHHoI3/ZX'J,PJv _ <)h4MZs iFrhFs*sQJTSkf'O\+i? U?tyGg[,xJIa 2{&B #["̜mրx 5 ;6eTZS;s 4Gr0$a0|'EUMOkasF!*lKjD1D;,؅'F2m\ bO1 N)`hqVRTpdrxN\M'Zwq||ÏϚI@,Ppt4:FٔU &m HO7|jm=v_avY*S(pdx;mn`:J-udg($LD<1I^M=BۅdW`J6xӗV&nqW.A3O3n-ȘK~u8i-R,B(^Ou3;*22Bˤ#澌"NưtYKQ1*̡"V tVNZtc_8Z+hn9%@1hc<>c`AcfwE,f{ i B} dT }.oor[#QX"Plv,خ/C3O7|ǩ+?][6[8wT.6J)l46ۗl6t!]!O`1YO~.-PBujB;xL)7^3l:@/yu <*8!Zg{Ws8l)v78kUUJ`n\, -WD ſuD6÷, Ml~V6ն\,ެ;pr;WjxGOB{Ȼ$8rT@kCևRflxtDZ&e( ;z,IQ8ӗ!J,DD&o?S GIjHD 6DZ9%ed=85}gH`0t|=HmR]qS!PC-m}PyՊP1}A[{Եcͬ{*>fѧ*/[$ j:"e./s `j;ly6BILDpdM5EYQ}?m@6q{i;nsݪu=YbQ}wk75jXK$sdP(3"'Ul!"!{&x6Ď|^ץęN)^^`|&^huk4S^WE,!;AX 0Ƽs'FJR> zTʯ.XT⽃SOZ ܫLɘx(md]LiQXbЧ֯8q΅U0F!3zRquoCaI_qx&Q ɱ@dʢpr8kQ1?lsQ?=#E׋X.7gCTGEEx\G`kbv*5ZSQQNm%M"DE2#@r@` KTĚ1F-v7D'~kePILEj*ᖂMQaj>p#;B ! s)j'sc6PaӚN] K;q~1QpXb7̷MX?W[W5m"\gcZ^MRn ,XفKtfq +֐u(b̖A=֭Xwm)@P]ClM%'ϯ9- m{3ՉuȎ`(tQ1Z&st#@$ni}QMgcocor=.cpXzԑ)?I9C_nVao~46y{/Ε m[u ZR8e֚JΘRc:Ea7\`XB0W?gE@Z"nz^;ET֢ p j!qÌn&Hw#;j"űgYZFZ8Ftnj!ZmL5qFzN6*ʑ&BCnN/@XH:N` p 5Ajl}muU%s.7AbJ>8wM/~uGsA{G.:ݢ,14CZO[N 3D[OpݞAZ tuN'8~~ՁJ1~ŠgC쮉߇T=`Ͳ9b>96HK!pV\(.*8;Q(p@R3dI?;egȬ$>S3GL>]D=v%$xre7!֐Zꞅ5J^umtq/S ݫ~ks'nջyN"(Jj3fu!ee4> s4hsY/'NoCK5:(ʺFatr~td&oWĪ6bv%9Ч6P D[_2A(d5]Eb@]mw )4Fj~$Qe P/vw\ףii{d̀ &ȡ/ef,յLVoV˟<}xP \;|WRm6sŔNk༱L9FIܮj\\hdhGK8\xsl, ڒ T~4Xxy8tȣ~f3 1N=c 8 P/րk"*Ko#7{ٝѩP020[ n7~@ ]qW{. SSZζAcHdN2.as;4TcX ŝvdsxCR )A>(xB%Vye $fsHgI$_C*UI_19I[{3Z̚Jujm~̽y!#lf 3_36&a6OjT'bC4oƧ{?JXŤPOֳW}P[F_5sDu2h׊L}S"@Cl `{JFݔS~ e']L +0>Bץ"2hJ{~|!%Z($ Ag_D<Ψ0*MVzP0kVkM غiLGv=wZ59@EI.nL&Ei@0 (tTz)ǚnU1w 6>'!_`?H;.uGJB; Ĕi~ 5^#&WrvS)`Z6r'ݍpe:3E2*(7rbݸ>%ݔZmNԙ<`ǔ[{P R$X iWueAś)v']M-Ȕi$Ht,#Ii_s-ZYRգ>)ּYKe+?aޔ]282GQ.;uЃrvwl/{wFQL !#K!Mx?{G=%ZWko UPAҧ W<=NF&g^N"~_^שݪE'M,XI۵'8_dί&41$w}VWpX1f8 ˨h+3(~dB}3hgsE3#FTIYE !&(Tedy&;<`Wq;!7/*kxThdxbw$]EctiCI;XO0WR(b%OApZ p;{28q+{,L]qҔ } p9 |_!r4\$S I#ya?o'NO]SOQ3HXw&t3) g*_2#?Z =ϓ~UZK'X0t8w~%~BלcmB<0f4)m }shBC=Kl X鐗R`z,[J :.39gYZ bb%3% LGeneric_JoinMFOTL_Monitor.Tabledocument.tex7zXZִF! f]A-MՋhvG"uIBm5ɲmWrǢu<#V!z޶vjM٧y. >opJ>h[1\b)@sͬ4VRyo Pv^oܝX%ZhDb[aK[lHY_ЀGޢg ⷕWn^G.uSA#iwkHX-׼-I$)$rH&3T*xwι_K6rӯᣐ#kDHXT,q;ui! ^~d#.Ioj"2tHკ譊 WhI9D3'簙F&-!b j` dI-e[:@,Rs۳Zor(]YG:)®VabƘ@'Z-՞3Ԓa7M0⬁˔ǞTpӟMCѕ`>QɊ# dFs2ecgӴ~_IC0_gt''U?!N'zw)ޡ (nq Je#`]c ejZ*տ= EakN s*Wo&;U#ߐwB'V} \BI`Ҙt27d_qSʷ\ > 8YX9T]V f47/<g.auWuh$l-ZYL o[ -#7d.Hͦ+e0!)q%mxfd΍r#06+7.LoziVNQwN}<*BѠJ0' ^;դ*TlA5/\M¾ߐX`.آ~bRA=J4(JvcafnIK*nvx~bX Gvp $gIQK$gc~oq Q-ē8ݫeWaFE1>C9t5v3hgʝ[N`O;V-U.dP.6juw&&6v}_\3.sat4/<\q1j[)7}= '^\a'S_j7.0z cbX - 8""4QQ+fT.?x^qEM.6b_D eRx#1-xpjKLRb\$dY/b>Ճ~DA"wJ(i,%Ԯ]OuiEyzLjDdOv'|9aeZ\2oiسWt^_qC̏Ƙ nm -L4_N5+,8{F C-La!'K"d$9k1L${If#sXU$<ݔ lfxpɚu>+SQ6kYnf%+m~9cu$~DLwq2YpyWq*K '} G4w諭!9n#9H`Ƿ'1W,)#e6X'xqχ܅3&8L?җbϱ 7Q{oPs|/Q@ dD:JzNJѱ*?){!~4Qsֽ͞ GwP76WU`'E5i/fz σ+꼮y|vhje=k6LDp$ȥpfŁsW?T\[j9mӮQ g))fh>c@*"{9)4UPB7)OAT8~Ji=KZarUpIQ\jBži=CX#xHɮr*lre6WJ+%@k܃c Axi\P۠ bpEu"DApF?S mS(h[c3yj̾ j~<+YOt49om`M`+ښ Sjғ=, 0# :ffV^KsRGU"=Cq6=IAت-%\ԱdRU!8C<'YI'FTK0?t&ήZ`U6]5JzT!O=KL))ϊQ_hZHq-۞Ж"I8mHcad]%pDc|i|Z c"T`]/] Q?Q=U >4;LhZaNZo zxytV[Yzeq[*9@,F(5#"h?\ڊ ds x cK^B8DVy/]Z ސ4{+$Y*ޠj= I\ Q&ԮZu1Fާv м83SxVbm-CZ`!JqUvyt3;=$%}Ckb3t&һ>~;~VlzqǙwt ͜㣒"{T!w%7LRrpP_+,lȯ,-(oT%+\3ȕ۹< 3}Kŏ[JYEkv0Af@5<'cۚOf8'S#8lVd G$`C>;@Xȸu3hvӞuvO\A DBtR8CQfNbH7|joVWCC0E<># p 36-$PU&k54 SU472iά~Mt"y%*ɱG4FJ!~F*9 [f|6ϘW09gwo6XN;R.J)PP&AGG o:/yXMztP#d4S8yh9`Ȯ>-Ճ?_B1=?Jhν13XtY'AoEoq?q` Ku3j9gc еg5 2 4Vn䳇wUSLqyͦHd'愬d7Wj{f`|rsⰄeGPzDE_>[q>Yv7I K wv/&JbJԃ'mD7۟FCƿ EC uMT̈́8Z:ȞN5Dwkt7{8uv[/bE '?0 Z8龣Q N{0,"ewp=oMW1Ǟ=.qߚ]3 [׀Ifv:JDȨ}#SxTQڭ?d.e-2 IeyD2IK}_po@AnqxLdQYE;ilpE5{net3&k Qg'?o.Y0ӗ1GT9n%OY#I,Ujzsh"TRHuӹ(7SR kXu,r&YIV+3']=hXƓ?A^Ѡ`eh6PRk̥~?7`l&II66"rˮgyM4fn {Bƃ' Vo>b]{  6hz` @Emp5뺣 Ij4͛56ٴB DS?@%BMI0L],H!FEnf[e@~-8UA:s1]+H@LŠu+*o/8KSPUϊ"/Qْa?!1? RS5qˤf >Q! ` &#]LOQq żp:Ů5U w%L%Mѥ4˗|p]es0agbIz,锷O` 5hA-C4w؛ئg-oQ 4ȗU9vEڪ PaA#SBPsN.y R4rY&ԛmaQ-XLKP9ӽ?_ O(EdTK9n^>w@i۾ _F!.N&@Sxj)"ShY͈ fD3mdm,B`K 92"<(E9+=ΙPS%bYS:Er-u_YЖ&'1}CY>l~:.0q7hwc%T%4ȂbA|N B.BxeN$Gb C}Bbxq;R(j|FcgL"E9dڗIk>qi"w3lIL1h5bv{@vZutj@hÅt$\Ak7]CyD{E\ČomX~x""` 6mD|ث{DDg"?œ0ķnnCP'&^PHI {5~ʯ9HwE;Ŵ0~ ڕ ofxn?fT 21x +o[5uj,ny<((Ye9߸xz0+fVic&K>$݌}o^ftW2LbI>#Dt-#ĜyGՏ=F>AW#{c 6~kpkAלJLHlob{}߮W9kf4 *xY< D%ϲ ]tn+@rInՓ)Ӿ6wQ?h.#솈hxzr  `=2&+G0\ );eO`j߰sw𤷻 楞suXXyȓ!|adY(z^(.Vs7Vvc^JrD]w@qG b3S C9e݋ꑍԐw6}Q֠瞶l5Aː/ʹņc1# $/X}j7A7T#lL"¸iLœd?&q$;<.`m08|OCH6QD׽Vmb5prL8#rDقAiB&tyH!H,S sxaNeq0+䢓rKX<"ɏ^>Q+,. 83uB˦:^n&.-'`gpT'N uqḓwB36&g8}WݠRMnP {5R|BSF8Ag,㢧5"_ `1-jH8nw͎EGv~@{Vꦩ# QAVez@+b*@cVuI/xRLCkal^d&F+G:O>4J|K.8JH嘇61_EZICPR VCi hX<}h-zV("#a`E mCK6.SE!nm/q MޥBj-!RnX8VU62دE_5A10vib'!+{u5>ClUa=x߼ɳgf" jjVTq56!{1KŜ ؅mXA +{y8uQ4K,.N.cp{f86l SM(&efR&iIKqlE (6 xfO"ACqA ]Xq_ճQzEEۯRteFCl#M[xQR!u Neq\߈T~Y>z$l1"`o 6 E>h8Iҝ vy.&W6'? ؚĻj@Vwq:#$gM%-X&h6αmM1|8uWr7}8a$yE.͐WvB:+n7WqzVrqVH>ѷYh7ulhs^J6 lܙ6srPuWjn̾b P4jtjOXdOؤZY΢0-q;mCbQbN >o9[FS:Τ6.@nr2'V1/'Ů?kڠx2V0l6JV 9hԶoD'l OV ʑPuuBn^kufђ]k#p;&PS7.So#woT/ ,]4<.D\c;;HDj \41V#"RQ@gч2PD zz_}҄x:f/oӔ7t|jUٓ ۏtN2Qp3l\64tͧl9e݉`5l~I58,zD5 i\~H\`dgrYoɮ_[ An$u:7_ TW;+T:i(@5n_Bcs44BݵI<,D*j3ʅ XkX {G|NP6ڸW)^10X*EMKuʑA€ _4qPwBˀZb*Ι 6u% Z̖[Zh#)%0?Xt (S/.$%E,W|yi2Պ% qm2j+f.YuSpAU iww)׿usE5{OоvP}1YP/,#}rZT#FvXC,uǁ>QSZN~oC95A~Nvl:xloh4]SnBؠעs JG+Ťnclz"Gl iVG*I \L\nC* X~,X!m':/ *\8A9ark= Gfw/+A;XmiZ~`Gpב,[)GB^X$m:'s5,W᷂u(e`'zȬXc.@SG@Qi;:0YAcR"C eCmVxբccmFED{.ǶwYkZ/~Cbs9M~ѽN- LUɣm s5\l`,~ %\"7бPYb5LPNjߠt-Sb݆&]PEbk3lj%icjo޹:w#9)7sKNbq]@%:'I Μ@ZIsB.i42aS $M7~ϟZaL0j4 oa>G|N.ޑ7ӂZhߊY0"v*\HFZitq<IJ~j$Z2_.0ʲ)Fg3ASӆ<*!&]+'mif DnX-zjrXqN{)p E[@O\5d3ڗ+X_q!%&G:`jMQ!m5^)\JULn3s#C |=Ȫ!";JǙ?Tr f-PaF̴E9C0PxNÔ|U y?7_d$g$P:J -S|4;bVڢ,Y$㠤ż/g*5`lzدv ,k1jO^NUc1QM듆GOpZP. 7r mL[- ~v- F4 .YHgmMSגDvU<` m 3:敫M!"u:3YX2*X>8(:R378h'R;C@_ncy%c*Iw9 6e.:qֻe@;B"8O'iv.}Q!7m[J!:xb;ľ~:cLxdײA;~0Ɨs%} @5ԫ]n`?W5 V#%-0 S+  N)M|RBEmu q2dҍEt:KPzq}Y!^&X[[Ҟ6X+YȮqjWAG@*Eqwj ϡ2dToq6qqwٓ}Ƕ6`bIK HXNQ;0i?PS&wUszXAtW# 7NQ+u|dU$b©˽_{=Al"/Eك#GCFg devB׶ig'^HgPhEHƼno8_V'>zzJ,XE]4Z5eI_  jDf·dKe*%1|վ7Y߾?Bݺm*g;:D䵄ٍ@2f\.(_mG-Aq`Dtbfr)o +uE#RJӻMG޵n$ƔX1nM~UE7RDѿJZ.U;8߮) !bK~xæV f/'eRr-‘DE.-ncUTJ}T@;ŠMk"E_߉+T(7=[vCgG$Ҧ#|~1>0M]HA&mΛPQ)s1C6LFm(0̹:~ƒm}e@cUt!@lHl7#̡Sѝǜ`D=VZ9#VGI̪+Y}; ݘf}Wo r 3ɵs𗚟an)m KS?D"0 TS k^.d*ZJp1ЂCP/\̺~7Ki%B]p^MV^' bK5{ m )~&A@;cT \0b܊{+ԜXڬ),7O;@j/%UJIiMMZ} 8ߤ;aZfgSoVu)@b*>бs/$Փ'L_B ;ERNfGuH8bru˃V*I7C FHǙ4 rO`I'Cwґ`)_͋(B{% 2C~}7CU< 6M=X5~΁Ar|ǃԖom߰#iXh|`xGuϠ;X^n X}e&yk^MMC**2qyQ.=9rd5d瑍B?0^m>T:ak145S>;_9KT}ė.wS)̞ӷr ) J[Jض:mG&֋7jmhVI.pژ=F,%ٝ_9 i =٣=)MږkofOPxu_e⬠#}qm y%㊼#XED&jXV8~M;Hisn~R cJ>^ke(ҕسȈlPu/0m1}Eo7TwrYhk%_4z=95ҭ0&8d SI]QܔK 905#w6?1 :Zc pR{Y9sm::Hjvh NH+Z6cP) j6rX+-.# 62[jox'sr|h? "]Q<=q8;Yo 52Iy$<~3 lD+U-8 _!uAΰ~ed>UՆ/ab>Dc6o#sYKجaK~v98F/CjI>~Uɍ@6i2G]QwUUlhs0$6Ƚp+O Fy1qē@~z{ w89&6@BzQ2_+%hgƔ'N4r!.a]b.3SR1xpڵIso->ưY(CXmdWߴʍ0ş4]ݓ ܈ 2x|$l ][46-FrGszZ;e|yxA z:8;⪋x. 9L]$Dk/mɫ }?H@ǛQ MkƲ'eP CK= n( T͸Рf~[K b H5M]n*ٜ&*#̄ M#@sgYwC%t}dY 9@Qyغx#>`a8;@`E2X]Wފv"!S4„wQ9n]1%`FG nm0 qB\mAoK;/Y 0 Z(U;.ݯ]K{ڃGJwǴvfܶ04 tjCBBX9u >"hpyB P0sЖmqʹ/vۋhS1bouYt|\`*zyC=Tv,75wGVZ tHěHغ 79-:4.HV aw~"h b?;Rr C6c!R~V}g[O40ܰ|3WF*[ߓ7µ6Dgvr\vUvU>k3~m+W j q-mGb&mV_4pT)Qq 7e9lGPBۢ#QPiGg{ɹT>"LsSbv^:u̿ 9:s}0x\ F633mf6蓡f e†OS 8)]LiVֻ>V=Y(nʐrRcDFtϠ ?ֹ9%A._'Um_>g`O uLO tuȌd "QBQRs0zoX Nۨwh tPC o^ix45{]-1ɯ.pZ*SiF#}R?|Y~'[,7+{5e,埭l_oqCK,EF}2ѻ~.z#9%>FAcaJIe|qTۑM_\ F_@W"0~)T9)/nFiX 6d ]}OVw7+XF\,, Y_pѻEUnu<9تџJ`_5 ħ۸(["Z*q>[U#j}TdKch=n _WDeU*}=!jڸiN[ Q@ 3OEC:d@n'P21,OoS< tѶ읩zŘH~\LxQZY]a5t/3mp]>G.Ý%U C[i{ 7b!WPe{p"T"sZd=8/8&@{#v0}?dT8v3(Smn/#eDd*fPR) ¤Y[TfA#(uYJ_YKkHxjwu0WWMNv˅ۑ[Ww,F=1N)['T ?\زSO )ތ"E _quaCő,[v/Di;P Wp62 fu.!b]tsU $Ud>"g[P[GH$vwPM4%(#"/jW7GrIZ˦Zqi˩ i+aw^S-yA3m83+?>;[$=kFD҅+y0ITA&/~HS5nPՙ͕ՑRf2\UoAOeYUrjpEt<k.e¡ VZ_!Pα~6د ߨ&X;/ݠO=G0Iּ&)XRuGg;@n{xN|$g;; Rm=!%lm59߆ϫHGx=i/۰ReW+g"jϷS qwe>,cvTu)pD2M89J!>wGKX$43X}c]S(Wtc8E(p{&K. >0jbw1,)HXqX9'Xө3.0՛DʭYػkJy[WyesDQB ]})-`UDŽDzWC/G-uM}(?uv;~nz~=%i&C)2SpQa.DQd#j 5B,!r_3"q^Od8Ήy,I]M|[t? nuo9q0Z\} ! HT4XhV^iAʺl-?֋b&Iϔq杙&0<KtQиݍS\,(aA]D=c6U땐6ZXcY5}X|t{&8}?J!Nh }Q>Ŀa˧"5kJZ&; թ4Rt ]Z㾐"C 0FeI3倕\,"Xx$\\BH}&4>i9@2. !`9}Kej[w7됞9Il$6/iPȖ+_ DZE_%u4g_tbK:&;}EsPteЭ ,JrIN+j< (?fi<=-9G3]1 ֧9u~Ih j&:*.?~Gj=WA(wPк*rgtt7Hإ}[Y>0o ^+M=rjz6"F]5fHvz Dv_lB bAksC ˳ >{v5h#'iQgF~ d)|5~X,A>~nGUٽ`z#?94/vJiO @P*t:X ,A(+[\]-UKnTiʯhw;,y ~?y6ec9{Ty(li"jTm&A;2)kaDAFRp]q]RUZ c(eaIM]qߝz]0ltPJ-Y7ygIF]-,/Ks/=k R^'o!Vz6fX3cRWŒ2ӕdOt|%Dd\B`ΙAa׵ڛ'h~""bgwѠy{%4ii2N_Hc JPF׸Q(шA~rZzQmu *7F|W'QF ])M0*B6 y\~JpHʷʄo̾ f * SC#PQП4pc9jt)ؕLn*㏵P/m̏klsd¬8ewN͊t@_s4,ԤmuO9xwؽ|(224&roHs" AϦԛwݴg 8/H&KS%,nb&oM݉ Ƶ0+ks>o }bJQ_zjoYLj w1] $\6*w+Jc'bvwk](n7lF0yL-w]wKg(:zpʤ(m/52Ϸ#R]kmBo <協!n骁pM?'Meђe *[嶈Y9\oI߹Nv!o9ϩU.7no3-l ۬>eXb-<Xe$Z7tRx΅ې#?`6t]D17++B1V] f8\tnd6ʟ qF|AudXS{`RU>F6sFq;wyykC S?Pۚc"{&Zp_TY ]?4eKt7ˆ> 7S< *QFLSٛ:ɕզ/xs SAScyel YRZ#C.w/&"_N#jNBbX6G&m 6'" k"Fu-j8n@/Sʫ0lNGl (.g&{X~ݩZ_͟Qd(' ?uk`+l~5Yq|:r/r_lPmuYV) w eXcon_3^>reMhOa 2* 4c|qpUc8}u`=$$+_\Ej<b" Hb. y{_ (~΅>aWo5t9ykՍG.dMLnj5±?iVƅdI{$.{˸‹}Ιz̡Gu@ckYM}Fcuz–Z˧\O DMUT-x0R)&vRTF/ Ayy!lUm(}aVevp&Lֳ?e{{\3͡dzaׯ͔mWb=;=U0g6y>6 Enك8EYΟll+A$6!}צv#>f06E6{j >o)ƀGh#k(o(j' Rt;D`AdKS:8_5A ]#s/vQ=k%ؠI6FYàjDj)Kз֔ HJ2cN*I@11a1\hzC_Am]k|H64IBK[B?(5ax=M Z+%/C> t|ޖµRVL:UsI2#Y HH):B!K?>] Rŵ⛸?ByV}FD!, Bd-}TOМ&(!rZ"hӛ(wg;lw>>(3l}3rНа Fג֚rP iS0G&pJ9$.!^]#,#2K8|П e{vtPbjƀR",>^9NE&LwS 5$dM}ShUu%; l:EuՍV}^.DԘ$u""-p9x59ӕ vԜlJ54tnZjC6cb4∋(') [u-'D5g=:5aǢhd1a,$p3i C\Nj3KZz2V~Xh5/V>[--M)֊CU e Z"iԙ,B*B1 G}ͱAGkbzp*"y.*ÿ5&?|#.nVWқht)R7rϾ q,S]#y]$wtâD:0}_`R`6sX%B h/ÏܸQbEzxuב-loF5*a/a8;*qmI"K9o%aE{l>)wisZFgJ( Ѝ낗0p}OEۃ-߳>a[r䨩o2sX;Y]Ns`'i}Ρ?͡* ( ɹ,I`Pݕ)DW lD[XtGJp5 + -2 < ]v6qX @X6k/vdƾrC4lRIh1d@QsǺ3k\x\玥s0h0zN%LRX޻""'Yiv @lyt jfj?jYOlh7XpH fy可oo?A? c]ˀ T`Jy79}g$)nĊU' K=ד迶GϳF}a OV1j*-z-q""!MuɮbGKiKx Js[s>6Ovőe HI0>13^x11ix"^(ڍ>M@߫hcQf'6|K(pZ" W iIZ[dMfW}Ydq>VI2,Egu)仞|\8\e:#>q/|#*45AuWBB$Q,H]i<7|͙ n5DbDu(E` {3I36* y6ž]\=\R=K)bVh4`Ys2~z?!։ʤrYcFlПO5jjW&%z. YR 0Mk;wP } k/ă4r/(iC|:.~ :9;ՀD)qK 9]%qR6b +K:ǟ4Iw)QT"ك`Y`_tzGX)WnvUфzz,9cM*_wIwyIu/,u:m *A0%9O4#MmuI"r3i!_`0 ʙ` NsX#(*_e!!b' UPiI[/tyȾL!$Y-s["D.AZfܜD7ձ\W ,lS !=VC=R!M[$A /v&VOR uؚԄL%| fSa` D8eD:%ؔڦ&.oE:W,t`nU)e|zzjcuGeN7a?OpfX(586~f_3UXM& 5e5gƃAF+ jY񒄊#4W\ ?!e0fȡv>>c"if4?糫"k01v^|uMwCO?¤1|*eA=qx+mj$mWGJiB&Gؓ be\pKGOy3'|NU~z9!6YI'>}A'u~CkA5*-]JVȸjP|[jElT0.tTy,CM֞Of|5 r}=ж.\'?"}L<`QB U9,[/'"ag }-vLOxB0b>:;O0'xhː6k99B)=FJ"`љ1Mp" k"O]&OX`hh]xmSʼn:0q{{Mh>aƀmx^/=aQXF,>!7Yzt/E=} +sF\hc~V9T ʹhхu9jAߨDMwpH4S*y tә`hBcs|]ۉDxvႭ0T#2}CtOM͛uSS ONJH-Ur+q%15r2.H!'kFiNB7kx3G;q ti/U.&N2 X :5s-A !B$F\3sYD̀+a^C'}A÷[| ,5=/*ߙv( K)ň^襓\9б.(#R*9 @ fZR0K{NVHMTIlף3-$?όE ;]E ,LT #BUTRubT'rC}4NKsYܧ2.4\b(0 "CҐDK~(QK妉I^(=g1P0Xm6ޡ.ľjUm-o#, B@D:O b1.[B.cM:vbcZ2` 9sfb.jG6O vۋ…]Im(E嵠?rX[d%T7@t]vGr.7N?n*"YĪQl:A gBe|yfdڿ#{j@In>nLl$;',.=Y9 D6!qS1q7˜rf-Till?d,\G\kvN%&"ec$kMmvC_ۍ{Ш,܋k5׊[DGxLyrT-\Oc|n5!v%*1C3":,JJp"=_e)AIJQ(k1RgB^, +?h+A>bRDI\aMhzAۛ "z]С e$ӣcJQ͈X7ceR NԭQ NB: I&@_`}"IbsaW{}  Q>嵐g+/@\׽]0_ٯyR^χm,`̤$aaTy<j䚛q&']2P I;\{=yN~uL`{pR |_Fb:5#/W2O${{; `R{ L*fLOr1#Ydc/~g +x砆AVkӑOY/uԶ4^R,w8^r[ w޷jA,T:ˊ)Ճ4`^t1!mu+c^%F%jdCn5X mǍHqu($X\jJe>t8#Ãp'NJ;.řwHn9{8,]򳨥]P?L%$wn\Xg  Ŝr{yV`Տ#`," -k{L[6ni"qd鶿ɝMpoBfLo$d{O8?wAHhةbѷWp)r=zR;anԘ"1qzbs>p.\G=J;/Bކ1)Hz HG+%ݗĖTbSZ1{wy &ݭٚ#qb/ q.[{|7mr]G)J(X6NZh–۸|P)!ǪXFeǣgұV#!E8ufk2lIj7ƮST>ʽI3;<-)}_Ov}Fmiqʼn ͓OH\y!bj+Uwmxo!afl3$2X4REZqPΥvrC(p tT'bjq*{|2tʟe>< ~T9_ê}"lK_/5 Z.n)3"IAqz/\#6 tX{[]jԎ\y^5Tޠ2>.py0 uП䷺ZKDZ;lm?U]3{6Rϊy295-^Sh3#ኇC,72Ay8m IHRCV*Ⱦƚޝ6x$̧-<hD>'mzseo{3vE46>w}APy-ư(9Е,_mk`dJ3xtˑ䗸|$CmxBTu!!&F׀A1T[Vv1^|()n3T kz8v ⚲QU1W%YȜi´ւ9b|pgijRRB2ZZ]{!.PI' )rDn\(M wdyRbi#F݁h/rU.YnUH}܃ ѧT ®o3c 1`E_A{˿ Zlq'.F?hz j 5Cr= YMA=vtE q58`sjE At!l Yؕbrl(Cŏzޖج*׭xew1E1M!Nw5{;x&(@ea@5d:zvI*kx^ZNP -*F1 4;Sit#8at,reb^+-|$͢>^TftqI%4d{ ĴԨN"#14D0g﷨/,hwQhELV2^ u]ͼ)Ueo0BG],=.X*E}fo#Fw)Ø\S4z (Db?IJy7㬏6L|IZPnG^nJ\o֙2{ Ur0\i&9EQ ʪI'2c;{r֎0mm9hZj2 (1(@Hpm#EHő,jlKlɊC]C39rUw0?&Ƥ=Q|wI~Cm\`*yVd'l '(̹UmC"vKg& X=h0y~k/gezKǦ1\0<;gV9w$`f3VZ$B GsiwqV_ &IڠEʹVQ z9~f"gXܷ h@;lHTTEU 7ZV(=],ͤ{<.b7q}e3*va:ii1sXy}M_֓B,dHl#ηcIXv![G!.׹zt;7,G"ݟeE˹ÄűJ C{]>*Lřp 1~(VvtVʤlVQ3DX+ӺXQQ^V/!"esz Q3[Mv"_o8譿kܐ5qZA֮k X+>1L{>s[}m~݊(VIap٠nG杌$l a< xPTxYPK^QGW/dRa'܋vw^+bSoJ3^ مHM`v\FK V`v,OappJ&%aE[ìAQ4 ?vUv{EG2lح1ԝIJSvHu^n&LC&5 E =>Me*4C(7_x12~`z;g6T\y1ANJ"ȬjP!U9 99pR7m-p{MٟnnX`rSqVav ܞiwI&qPTjM:H=\CwŘo$qF=p _cHKЄAwZt1؉eC ?7q^"X;.d1IK gг pjx9 "s`rKGAhߦQ%oVy] y1>z1!T eeS}s>vW2Q\^򼣸Ă1#ςe`d;54 ~&)reөđz-xMS60*\O6+iUا DklauHL~<279/?MK/W+.$MeA'ЅfBE-h69+bV0KV TOlD4ɮglI2*A݅79kUpN8'n?@WSGۊSiEusL\/H7MUT!y 9 #Bs'N0 X ˪L[B9yat=0zI>0;OlZ.늭\@vlm}5Ubg0' d@Btw9 ouo<+ҵhџw2|y*Yl@8:#@D6rX0fxz2ש"A\#ugUP.m2f5ЫwUDv 2:0D ;sB%٧uea MmӔrz;Kw RSd>۱۸Wl<^_Ƣt(UQKG2J2tae7lZBs1V.v o{4?_48Kk B8{N}|@ bZ](0D:Jr⢤O,)aknR ZS/#c [9-|Ԕx>PlmD6j6pCZ@unKshsTl@h%q)}")"1~\I]&IWtc"yDҐe-Є`vU!I Qޛ"[T݆Zw%xx;(<#8oAcNrji]5rx?)[lzEDYHq4C1ڇ ω.\/<֩ޥWyZ26)< Lg(L^b^{XQW3ɐ!(Up=½ݜƻ:VZ~6d,Le'q!gn{M"wV/| ka{ Aqt41n>YAVm,[F 洫X9CL| V4Ћӷ p3x%Bp%=[жu@bU1=!JVXE UubeـESMV(9~[_w Xz/TiYzHx g9?stj!gl7XD;΍f*`P%h9BCS&=LN~ ^}| p*M|E?:[{MrYt7}0$|x&Vs@B(%Su ZIE4o&[4KZMa1zl$2oҠKabR II\ %hk)H>R`T!YJDTlu!FOFiG%|j]&z1zֵ֩gfLkCN|!&9阥=`be[&^8:˗6 B 3 tZ.nbκyni0UT()Y•ã<-/5KPb`kCkfӄ9mbVcg . NFCh_eDB_ u}4fu5miC:S0 p߮ -x03^ jԮ ®ˌм XM\>HtD3d @d;BH@n/;Ѡ^sXPwjv1=zn&a q0rrG|7 -:U 8࡬x: I^hZelv}$P ,,T_>qko(\%l1QLb_0r:j'^gYZ  : : %W% "457ʛUծByp&!I1`R!^:0PD歧/v[cԂz$±ԁ16vG9%u˯] |p֧? ؄%^'}Rn ]j/kccv`Tiȯn!+ͮ.ޥ鶫>rvq,̖7V۫z0$epc(pSq2O-蒋}mt,)1"1ΧcV ˩k@U|@[vZC"qL4aڑ!#7:!+kJ&!_bi̩;=y}JZM7%|jpvJס4f :8z2i.OKpqH>o Fo# WP9;ԠJ;R&Pl sr̳$cǬn{輲KpwP2E <)"]:ge^ ow)&e5X ]B+PD7_48_aL\ !-(ؠ:`Ibcp+[LT97d/zk!FS4~*c* T<^lZ];݈lӭ$vxAH`|#2:"c`D4*nI#(vc ==su5(LG.ȁ`SC}zȈ'`YpCJ=2:3gSa8uZ->xTѓHRRV5` =StciͤnVAɩ7% D34Hs㛬绬ӽ]ŗXiɟ7^aόu&XL{qd3`WBj;h5tj mTn~2 U$;͵4`%h}t vj7Ǣ;s0gvGL$9hy^d5bTM2`TW=C4xJ9CϜE+ 34HMSO~ZL {`Řmɗ^\%RDAyfPM?804)1}VKZQQ{QEӥ|ԥ件hd¿*0@ۼt UP0rNԘPDde}-Iy HT`us1Nnm_L =aAfoYbZv"دkflZ9Cyߧչ{m]VL @S5lQ ft׈XTh6[CY ZlQd9.yɴV9jF.:Y$4cŔ7_W!h9e's޴ui1@Y[ 6" tM' aZL7-ɔnB 22 R^_ʛp;H !vįL/;!?@Mlx8>K9UD”7E}w(+}U7mDafoJj~ #?T5{2O0 Y15c@;WD ҩy& (O,GA³ úo/p)ٹ}7sB(i]&YГTi32| KD,9Dp*ׂ :QHvҚ MϿh{eDhNz;l~;dq%OkoUߦJ_1RFgLKo6xe7ٌ6dan-'mNgK+^q` &T* G/}\b+Nf#8GۿؾfZ(עG~ (rY~^Tصɲy:MmAD- fJn P_ xuti(\p_vG+_rd}D+ KXr^:6LoE`\qsYgl-5+&O@dфy<2c Nm_G"l 3;ziN#|%S#s:(`e.`Wkܠn ';]` q, 7yD5_άs<3. Gn~OQ_xki,H0_t;2UV̸[Ժ_ 1N|nBlroZ \lh村LDk4X>%L#{Z-G?/!"zoH/=kW9iJQE 4gC,Nsex=W)~xwY K}HL+oY#Zq'k EK8(3.Ft1OܑKN,=&MoiN~b?up%$RW~2 mrK5?BIMF_Y^9bC/f-A%Vt5?ük˘ e}/c귩-` R\U}p TNDxZCzvo@EQH&VMn=ii&E8.yĖ|8 Θ6|7t=me8GzFLkmAmϡ{ GHz뒦X 8tW]7VOtW #[/ !YȆ1p1= BϫWĞa|_]̽M1$%aqZw>1f{6e7i=t<1Ύ]midfSn.nJ3]1 ?=T "@lUn'> gxG?9l͇5@JD75:~'WJ 50U_I3U+"=jB,!Yj8d !s>m:_@>>vlfuSsRJ*0nK,ԀآL9L2yہ]UMvړ|c@Ɇ׵P I7 2E ? ԆBXͼv^>AB ؑwBC\+foJigiy?_'U$QaJursVrߠKgYZ1511cf9558368fb49ed6531a656d1309f32e6e6596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49