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 |sRx,=u2Yɽ KCI4p$;"p$r0)=Ikzz4 l㚘j>e=raF }j3dv$@n o)=Z}]2χm2 Ь#;oYj%7eh[W>ma6d #,'M5`#T;I ࢭ^ Hd2JyDCp=0),g%s\D'sV3lTkFBn.|cx TB;CsM<3xF:u+g]6<`*+x; Xh Vl:ABpUחZ" ͉Cv  k=nj[8u - 7A69^YԛUVh=W~q!?P&.3rkYɃ]N'Oi~>K7s"PFLyFāŧQ{eMzIzSY1zI,Ak_bƪrrÒ$BF\r<7`{%Bq!a:4Ae2*&v(uR#848"PD)k"Ūk.gi(x|d=PftHRbu.'Ɓaéo+w;r:|NWfŊ C[ l c|߸+%6uC|%RD.7fvc!x戵B >+MZM=}K[!sI"5vON?57&rt+6v)*5˭9Jӑ/̚a~:BTȯ`t\)wJ!:L&J:yej7ܰ$@QxU7?Yb jfy3`/6m74w)_W~pqR8JQ*Vb!O7Bocx£z9U^G2%x[wWCC?0 ?H?svq< pW _JSSciWI`5a1&QW쪒7sI^ sY5w̰K;,BQgv8-﷿8k0=4 Qh:?;'qKTYr!o`Zީ551P-1Wč]CF|0b:l @!J㒀ItbKOXCt#%fC@(I|kuIh Ե;*\3_C5y6"OU 稄^ +Nѓ>lYT(Z8faIG=nB]m5Caq$Eq'1"n.gO)M{:JQ(ؿTX xd5X l;h1e/g4^P{xT%<\ [Π|vg21l2]e} aW{iG@穜lo->٭joU5%Ǭ^]4CqGn_&QЅ=pmv>}pݜ@"W/HŨe!9xLr^:F]v,v^B=ES _-l ׋hdZVwSQXb#k<]z1s_BeҁB`?g |u7>ԴOBM6V(nDBFAy1b d )R=&W_J?sRz&4{ey`~8T\`„&ĎK뼜pUs5\2dA,)Z7; "1sU7 7Y> RTUio&~.^ԍ7<(-ɓ㌑vQ41pǷ7pIHa-li5=}VjvJEzUBoAP=?#̦{bLOmG+$x,/DL1ia>gG0Xі'sX~i,9gj =~㪉 =XE : ."o7ZW)B3$H2愀qdUGNrXfkfJ *Q_ƒ;b Ɛ > .0kVT%<@zWC+x9/gCK FȐ-5J \vh /)fh荬|-i+IU2:{+VA3!@3Hfm;DN)w+,5#8'o"/2kwzx˄ 3q<` 4<uU9V(-H⦥hbܕv-Ѡ]|<myd1]klOP-* M7 nMIS,?vLbq siY8ْQ>#e;G@B˳ 0i*R3ġB>Ųk+S;&%ty!1\|qbT'>Mm͞ǥ!|淨yAaliH 4u"-V#ovq`g#G }n_$VNx8>`ϑAlxh#awUu/L);87rDnkSUSƻ眡ٗvHN Lwɲ")k 1NIhbR)\HIxY4Y&m+͕($ބil8I.C0}dtijSh-L`΂#=3+g2csö̿T&Jbk~5]j016^J"33m/fJ3cK9B.\wi2tGtmҎK/ g|k&+~ft ^:'Ȭڼ_~6 ;gl*t$5·CnIFx@q^ş A>xR;/8FG\פX[z6o!6(;?7? D!P* ]n83FF4PB{(@$Q7nG.mD l0I!wӢkxM(ĚRD7W:},k/F NS0M ECτKRPq$uJ8H#-9!N1 lExL:M ;T"uu6ޕ6=ldŮtqi;Y9j@DHyd 8P׏$eMtiʫ0}L{|E|H SBޱld" woڹZF>vʈԩf\,&D"0L81U29v雉&W"bs[SS0r翌NEخ&&*DFtoc)|BQ;ONZWbB$f'B>=GTw/ ЊP^*kK3s>_W|n u-·4iA; Bbo;C:ia>4 :SvF( >}D F]q\yc]4F.ligNz'>AEi%VA=^ّ7Z( a|5Bfܛ4tI̬cxy4B&ݭ-*_Y 4A8PPnnJۚ At}`Uﭫ7jFǿRu3(&]Cuy.MEJ"t{ZZaa/{t!rvihpbT.poN?6鱠+?ɆNѐ\C<*'&[z`fZJrR$I5SѬ1= .[X.Fk4V-#En?KI2(4бa/5C~%3FY&F^[$82c֠I$;? Lk-`a[Yc|<^,߮f}Jí#!B.98{U蘆>!~?ϗmb,~j4 v7L㍖h-hs8 ~NY' \س ͤ< 0`X1MD$[3[X~Az|קH4dU0+ª3r֦ۧ OQmjYэ,LzuFԫygS8Mb!@>yKS .Ed3r~שRk0@ rmce>qn5/D:.CSCkppsJ5 $# &*c꿨_D =c_["ݾ* ;8!݄MUu `OkCٯ-׷ (DH>UB *P /G%=nmжeO_:I%)Ph};uICgR^+kKn%N+WF|t}k?-.¢(~_`c(Fu8ЩqɁhn\-! Qw=AI{@ N!"jWhvQ1['s_S*3 1كS s}pbzx>*d؆LS{ӌuY$&X#Fӿ'q=.mDWw]  @Ev qr̠sDIu,ll$+&f\^e@/6)&%|JL2Z^XA^v$dgK8(p> 'r#MW5bG*hJ1]}āyV❕z^ߓ6a ء~vGQ)>?0`i ΍:2=Spy~~7g5BDF2;Oϗ݄HW7*@GVKUå&ΓX<2LG7S5Z?7wuzMtu<=p8&éCv4OS]mhVzO4| :Eb3vYpP&L =Perb: nP8@k+sUHSKfaPsa Ѡ . -Ωaf4D'njR8!1$ZIN(.^|$8dxv]1${U+BAk%,kFVd=9vǟa1fׯBWѪvN8ؓ8Ō;,UmίF,~ͱn"sKtjAe#P+X. bŠ|VO=Mv߱Ř @?(ms"K`8WL;Q)]xb7Ip  Ѓ*7i,KW'R1sr]TSe'ݪbcZZd%2XD,S߲3T+Uf㘭ף=֘Wᴪ*mRxM=¼^ĺϵǭoDi-rf`lSP՛Njfn\cn$xX4Lm?ypԡF,_K}!H<%BAmV|dsT{m; a -\6t%܏mɞ×m#XՕp.MnhoxE;).WNzjn17Z;bv\+XuK /_9bݘD҉ x>e2R?8Nl{Xɠ׊)P!C\BE0 hn ^RɣZ:δ5d\ }TL1m>y17_:}ՒfPZHUs. )v-%7i5c>"XBqWDkÛ[!Iʪ,ဤ(8dj`:/h9+ ;b?_bCyyؽ;т4)+P2yP(86uGg c/0! >ԁJFۡ.L_'rz~EN}KHv?mCmT"xaEΌIA4@(()ԐyH(0?Qw^R;4nFy(Ԫ0QVh/y*ֳ8^>emu>:E4SwEv'$P\4oe~(⛴ {v=3Yg;k-/01;TFL7^&8\e Ҋ͢U2 (poٱ oA6w/MR&BoT4sSsЎZ؂ @@.FpPuZ׺=l1106YSZ7d%`kںeLpȒ+g`A6_&z,6QPB$+hCD,_*oP}3 :(n6oc1`qE R7G6hSvm9Jk IFЬ/d˙t@?Λ-f54+3N!g]{J-o !-p.G6NLu< *BA[+ vEݍ?U` ҅dO;ܩ7dE\;+CIuiFc>==tD r'XKmZ#G ocm7eխm#5Ay?2!ξVm0cѸ)QR7nuvfnQLnZ?g/'Pܾ 6:?q})ȼ֍J+y_"Y8*Cd|"o@DÖhUfnR Щ-OkLF'"<<("ko~KI !ͭm J|[S~JL%r̃=h0al]ׄ0 A݌s`N\OH^:Ӯ:@p Zr.kdX_h8H $G o~>A0c3jBn JRwqr t gYZ7zXZִF! 1[]ŗXi%;DzRh r$i4Ep򁊹"caak>8hș7!3Ť+co$d$ 0Ww첟Q _9`5:e [ۃ,B/(Gv\KxհwbyS3qAF$eL ]bTGl(ac\,y5Ac .Wm Rkm+_5An^@#=qfc}UD&|é4{v=۴L6@ 9R xo IHSDw| Tk9ҊAȎC2AK[0KORa W`|M 4)u3subJ$WtKN&cpZӏ_*;n9`hmVSQ TH%CUnR2vv5ሠ"\C垵Ϧ 2*v`)ئ}0#6U>y@0 2ɵwθLowPqʇ*ENvPz~jtl.24O Dbxѥ'A+hNDv 24[v'GZ6 _;d?EP8{f@Mvh ?CQ]k_...^M#-)Wk$dOIͨãx}26f\35__`$}u ≮91"[A؏=>"g@G5| 2nC \i&zcHuoűjepM;R.$SLO 6u+^ MIe~#ٻ QabK{tbOĀB)Y RX,L>brc TЛ{ N(yeJ/*6am#v 8a< #KMG?m_~C C:߾( M}u-8&Z-C&_o'CP[X\*SW渿J\u|xOtŶN/D% >1G]~N ̳PeIx݉Eg*5`~H,s/O^0"',uC(:sVc`UB0&0mH,㸝*#oCOR~{g6X[ Q $sA!=?Eǖuڹ-E(3gT&onl[(SJ%&6Rc_Yi'myl2hut0/"_QG%8oV>&Y8ܽގARCvwn&3"Ԉs.^%(9;CI=RSm;L9H0p;ŏN#~,[BbDTR69}wa|}<h>wtp /O;0d/u~bB"9.<ٗS%~Ip%+OÉHddMy`~v]ᑉ6R`q`: ܪo97* \ѡ%=SՕM['SZ䑁-`d[I}OeM|S5>z_az ~ Qqh+22bY7w)wW* UN]^g1I~wtԐNL7SuJ/t 7ߓ|'_r?B;F0>Y3'kk VxUXiו$zfq@t$8W)[9Ž K4a+K5=5%nyr2>9;EOI6"U0p~ "cA* AQlN;!`mK o.($0ڲuXA2|m^!UBKPxn3!HA<r>fђS]m|=;*3.L28C)PAA95U6Vc|Ck~ReXLʚg ,3Y/Jbc9ցjU*Gp%dI{iRrFs=Rg,F'bڍTbCa"PFBKE62kJ+XG󻻐G_p:~RYȣGֳtLӾN`a+'ɒdi>v (A+oqψ]/A9WDWZd(u)zeHr7MmP>,j ouVNuyo1%=R%D`jl}-8.cJ)H֝?5[:uii=8{؈>_NrwC$1gSubM/N[]&d5r4_{3~~7m K7Hkq$8τZ4e^D[gL[?F4@F\!I,o>rS#9o62{qʩ'R@ɤ_jU^$WU ݐpo=j>MGlENZ-({zFmKdo_;0 R56:|P<谌HGoROFUM-U#V];:H&n3\'R ktUW I$+k*)d#Aa; ]G{Ne5 "NPCɉ+u}q9n,yGjB c׬4mhZG"fluy 9ǟpTuNdS06TkCx]y{P[בn#|K&fus*4-8l)n/ED\Ah >+>b*,;* =62O J YqZmM<ӣmخ$wEܯwØm˚O-ÓA {3qj$ * _s f*yo9 ^Kj7PQPw#PkmP@A,SJyAg)ioC @7%L)*􂾊d 0v&E6Vg7cUm 0}^π'g1wj :d{/v#P:%XnnKD`9-X#<$ݯY-;<JK"2S昩!؛زNXgᕹ߾_LhE:ّT){R{e=2p/~&\ɀlu`)d遣8)<`ԕ`@U1vIX{Qqܑ QQ Ѩ_d]i\WV7 Aʒ4Ǚd_r=ӽk:b^ulWUB#Th2dSdpSl6H~q{06v0B3}E[*^g{.&ٿhDU//zR5v4carqc5Ьa<%d*Tx&Ƴ*MڥņBumt9f_Mq*E n.8D6fG vJ H^pB3(n^g\X3 \Td͂/4Kc#%m-ZS0-L/.}VgGe]5%VhP"!i@DC47F/w &yɏy^[$G/\^;Q 'V?9b0tB Fq}49*ײ.i !bO<-qb:,zRwb츴}rsO. ށձnZ{,PzՁHjBO5|oUd)?"x^єa ,%&vDp;gCg9́%x[Fa|S2iKaY4'я;88&hv8~EUgjgMz(T=fU(6 U ){ұ9#w_$ޏ>9Jg,`JK]:Z6 *m2a%Y_WoG-K3'irn NRؑzFӬ0 n-qHr= ?3|Fwb71p R#؎(> )`:V$syy7doXUFCLԄy# k^ʎ2AW>Ukˎ"=1F}9Kt^ T/``,v)ZAnɅwrs/P~23`>63쀴%%o("1qxG "D*>\/H4뇃͔ػ00n|( @F:A][ɂH7yOQWMP^% w*TW1f"g⚍߸GoYJO+@WQ`+p@QKo7>рH8=>0rʾޔ {|70 x@`x-d~΢ot힀JWUfc#aIAXs/[HXEJ @,B4(%KcSYहcIgU}>%qmLf:"S\װwy/(d:KJoj*4jFjU2%l9ރ'TKc)Z 0(?^QQzLJ7<' %GI-`I'n@VR1 r׼X~5!̫܀Bm.I'Gh=U]3a^N\[U T$W{(n[E`+/ }gŷg5sqW/Eʥ["K^RG,OE Hzv˜EP`!q@N oAd+<%.C0, ƵC荜!Dr8;jk`PffTP\$${| ǖzMSnk/R=:s6ːmQOHs;GJEK!$o2څ)~h T_yuS:$+*+nE}8jhH7߉&F}V wlBq["QfV<iUv&pFR9X.r8,jgr@E,wC6^م*T,t\H-<ө:Ookjك *9H|R`nP-:wil P|GwV o] jDsExkʼIoY3 |A!r9ovN']؏v5@2FB.>պ]y,8 idܷGv WCHN$;@(˒=`. /ָqFIZC_,6=:|m!K=X Gsz V2{ȉADϟpk)Ka´ȏ<:1q_ ~ߋ-cklz8f4#%]1I ATZ>)So_obdtH V縹O^38*؀q,HY`/ByNؼW`BY"_ƃ H" )|uVM!w|H8gx6SE(>_4tEfmԅ}(0K(4cuPPpѧƝ׾fdj Xs5U,U'PnhΜJ#| a;N|`ܰ 0Xqce?[cՌUj!xxGCc{jdٷ>iyxGr?]!2G\uea~a|5E܌O~Kv ugV%Ba^zb[0_roP˒+̫JmU"st| BWdbI#j˚hZ@u5j^M$D! nWV)s!UuUڶd5 %Q@FHBMp TG1P!;B^e 9f AI:EJ8tIGf@?2pxleڐ)>ؽ3CkaZ񄴕rԂ_@+ DrVENLc*5@̏Zf^z]oX't}M 96omɊ~&=fcǭ`( ISʏK0*loZ`f1&Qu?#8Y&OֳU+e1dQ7Ns3f]s.%%5_-<4ԈǦG"Y7uPs[^VWWɱE3  "l]+P3R( ӏۥZ&{걵n5<1S\kǨ*>BRsLA*lS@;OzytyO5:+Ood˳Ҕ繱Ej^߳ ֡HNmpstGH0ɅHƣv./Tr2teAuom*|VhX?5XЂBƌ:j]t/p^*is<; jAnD4z /98>3ixX%sUŽ7= =<3cF*LT n]Y|Syfm@:OHPTYL X t}5QfaƱ\n/vnfRJ0 ~Q2Z NE۬҅7q!dg~\ sfQyboxE_ a;`]=Q9L$ut{oȺ&tN\%KH @jBWA}>U DG}@FjGѵ& TSOMQe%D/,pSLX"GD(p$7/EUMj8Ù0xa;:=XaGB!Eԙ01:8sgKa.M9~x6}#T~Oݖdo\s6>ret؟y՜;=N2,LgWh4s>K 0Bb;jAdL*o=DqDTmD͹t 6MY} dL}ύAl{Coɀhir:w~vAL ?YL8py+ε3 2JƭkL[g!;?g ;Y-nyBKu!.Ue+OfxMD fk\Q^aeVq8γ C6]FIZƛx,x೓(="H׹~E:u09+#\FpƏ@ TXݕb|C ">(J7nZ*sFR4oH*}.E6]7gs < 6Bc%4jz3oCm')`@ [lT -]h o+h$#n*uK!ic1ݏKC,h83mnNJdw@­[\x㊜kXqMd6 H%Snyx)&8n!/u=00 ,0!P OMOg8ฌ7D%8>Ь욧MhUKv +OQѭ%͆06Ƚk7Bǣ*я]aAxU,p(;/|,lڀdS1Y.Q~A!T RDʛe !TՄGKZ ު_קaϏrrW`ʐȞdb^v2G5A8?3IBos o5 kDrB!MX 4: 5j<b_BL@>))Ə=9XQQKh0aA"-_sL8U^VaOP*߭5eѦ>a],ss(zA L?$ X]JX>ՔjOO<ه63=:'7!d AUx^Tm4΋ďkJn(yY)cxGRA-r)NҸcxz|_!iT{/C}p.HWZCD 7ڃR]"M]iD/#Y`bǃ}_!'&)d2I#vqs F"A͠?TA#_tK[kiN1cV:Eej^)SurH/mj@A'zxpҔbYryOC gy3սA iZo9򣩺=H%r@íDֲ6һ 9EuB/%54hT`⭣0 ?ó":NzI=p캥xSV!j S #F1h, ɶrȢ7=YKzO:8YYg45n9*x{E_"D2Dzx5<@FgqSm̑+C;['t",V9F"|s+%{NtArIԞi_sܓK6BcJ؎[^V5w QftUylh_o9$c4^;Ua( US@gZ,d1v{)M29T.0I;YTOᲸBu{VΈxvcʋ3|VF4oQ_/ 7^v?4iaEcP\Kǘ'4.059!w,{5CQ5vVڵ  vɊQ\RcR&} QA{c>kkvEûV?6YK2(9V#ZR!&7U$ %B]ȼS,`zƒ^Aj77{Q2f̡V1*&^j(sd_M4̵6 tʿEVnږ*yNEэnf,VIɗg<)>`fEіIq)jMz9=c/ѵUW{(e{[n]LG6Kz[XƗR8ly=6Ȇ^࿷xȮȐk5^^rAr_@g'͒TFUxoh y72~r[VJq^e!ӱ-PTaLJCj?1cYZ;JtVTJ/pl݊ӷiӪEEE?wp;ZU7lot>SDp<%#7ݷ/x XUcGQdѰ9B62nˡO{}QLc&ByxtW7tFQ5a=_(Y(_bV,wR7HQ uMz[]SNoq-6i#cı5*jaIacDǍnCLۦ {vZab9h54?ىujliyԂCJKvd Yq 6d>M>[ҳ`(mFZ'oTaKRLIAG/c[.?ݩh.{AAm(rEOS-7W6Q:XZ m͝@.NFtN-ˤ#m/־uT#n-Q3'&SGh)&@.:J:()ZCBI0q!S}6!Kng&k<ᇍzQAN[NkVu=2Ӭ^D:>ٯ7Mf_re۟-]o"{E'}tyZ쒔z;6.(7ϼ&o)̑J[. /h`Ɔvȥûq6 -Bwؗ#R@1-[i 0# 2ûWs=)u4UINa-["'2N$Jj\ty3s>׌3C ""J~7.CVPE'&PXpJcYNL7nNd`MY<'oĂi', F K@ݠd2 ;)0AZ)9S)S@^ϐTPߛ6*Tej᰽U3[z!}#I\za55|+-fXiDWȂk!µP~3/C|^2bf@-zH6LѪ ALx 3 l|iDD!"2>=+sj|!gR(xPDd8~cľ%5îz BT ]&r7=Ya@@J^Rf ߫z+] t0뤠vpZ"I763/K/)q> u1OrJ ~ ƟxڀlD?[R=y` G9lXHvDKW8Iϒ_ 69JB"@+Bq% M 5 Mu8'5PVR$m^2;Q'1lx[J z _~I_3n_8.D8r)n-!i@>oNh%̆»~x[?sхwq3_8B&6(@zxC3SLU.ǎ쒁;+gӝ\E"!`x횪| Oh+$L; kmrQj1km+JJ[ 9{Kv,a|z_9|RV{EYkSd*w!;b, -v1u>pH `%F$ qV7Ls \_#Oi^uqMM b,@d%~4|K8K2rXl~ľjC*.:kg "]gK1E徢T8>P3IW k bOYebm;InVfSJf ٚQ͋~I:&sn꽈nE+lLDcJdžlw󶍲! h _0~J o*x1yoPiˏǯ:e0 dC;<!nE/CgT5.ɒQּ8Ki6e"G06FXNA>esGxk+IpLz\0.4UM  Yo{V#1H_Blg Q 6Wj2$l=ĽytDh}K(j ~N0B+8l󊙜n獦\; .pNmA@Gc J0:"i8'G??CHfW/ ՜tWE6v]SwqLzeAKo,)^}LUSNhc9^%!zH2 Y7`$YގmdVe%L(}`CY3fKޏ(B;E7:QGԷ1dY}Oh!k(.YN!OnW:aLa8D,m?t< Φ=)6]ˇ45ԎSHŞg lDs\B@/Co-k&gyڷM%WjPZ;'LuqPc=󪗎!]#39%%K&{Jm'6#|qXp7I9oSvX2oQG_,Bx#zdv|=`8JBA|Z{o%6d%=[~@p4S4-~$!2>3"̫gĐie` ZuV53~jVIVagd頷&dŠ0woo-'֏4~.u_| lC6mM-ΜܾgtßEvሯ$xe:t᮸{a.ش5lN'!i`%X>,odA,p%b}+H+×2#pׅjN7chly8úh^g;r,Rbw.3n+- q|&9HY\&Jn L'uo0'xS!a#̵vfޫ 97-^oB9umDob55rbL3)! j3 Q 8aݣ$0"4=UN!Dv0FzF1ZL<__?&"A.?S80tˁ4+sHmTPו:?Ɇ*2{R!7;5E(ْ1#3b9QxѠJLz Xt͑J8`۷;QG3ɺ}"{l%Etqw#븊y\JeD8-KDL8i_u+"_ʉc6@ m^xxRdyefP!}q;'QpU@Bb[lΑTi7!ySZ:Wp?.uh GIX(2*N9c>#|Cˡ+%O&C]zaҤ7: o?"9{0W\׋_5Ϡ@ĭ/߶rTs:ZLAV8!15!>e^A#+gl)R-\xN~;Nj1Ijl#;?N•_ޮ \;.P;ܺ SFF1$l1&2/mJ86f`~O%6a1V h4k@凅F6Kߟ՚*1[HBu\>2 HmsJEFڄKar؎짎&2˼2dLƹ:~RK^|u s &gNHǶip^㻢$nIQSmqt NxfoԚ.f3p?3¸p8ҞoxlO8DrL;KD1 $p&@0R0/%>[76,`xBwiR|ӊ-!V1Mټy#+9ly{,0T ISk6޶[ ̙yυ%vj3He0^8ƚ8{DL%_khT)ZZLi C\KY@6ֽMD-.0r6b@7m'\of<}0"&+5ϾtorN0~bMGPY)Su?~0YSÏ3W]m*_1R)~Y-^: %Q\P1~қ"$1)|2(ʜ-=JBd1f!@ b%pTǫlD= kۚV`IGw+SH~:?@zK.h4`] p>ۦh= ݅]- %ܸbv{ed4&Ҷ\6Rթi ȤNECH$4]j 4(͏&έXBh` =ouEh𚴅:QӦ'|(:1"žI!AIeg(#?լ}P=ybl;-A_NJr]" KkB1s+9[6xKcjjYJ) `l&(Ft[h*/xn%F'Lf>DuV)Jm4/Xbb$MNW4}߀u`%Wd ?.!-=}Kn-M$012CP"nғ!wUf*!)$R5M\ ͼfyD4=ײGAX|ӓw猕Bv5g`.dEžpruuHZ7'Vy(MYdJEIoͰJڳ;-x8 9%/% ̋]LtPڍ P]6o7/&}knF~=G%?XMT/ Fc?IB=g0='SqcaBElRgJ1D ~f$a cz25RqUhM|+5)̹ ڝkɜ[R?ӻ$5n)C,ѷ0 LAkkTPW RЛ@i|sNFO~%#iι 6<ɲS@jut /}]‰kj&F_흥kA3*wT{ yBEhi4BIp=6!Ƶ)_Ӄp1_?`:3'Fe*TܔCFW*X;nI]%bmlU$P:vNP~vRg{R 4 ƈPMEoƈ)|l9Ae+4]sjԕ {: JjKc-$5[ y8bӃvYNiDLMZώ g{ sk,(K鵅װ۞uuc2i!ߨk:Aw_&$ V-hS\I~oGf@9&ߡtLM* l uyԱ970Bz1h*38~2uQ. F> '4U`c|ps&(@1E^˧dۀ,ɈБKl/枉44G zhNF  i,I{8Yp^xQed\nBuOI%(ϪҖl W˅1`B?.*#b35uz_xSoT(綮t[ xx;m<&Ŀd@bn (t Y=8~s!?ؠD*'C!uKPIC?+s{d[pPɌz6+&vT*:o\Dp]K* n1:0F2%{[:/_aVߤLD עu^!!ŌhΑĺ 9l:GjK~XmAkrw˼7^}:0ila8!pT"'HEKvP`k<8/HE"""p_V/KDW׊yc-|ȫ C"-0M. Hamt˚6b"x]gyZ QEg N0r4>X7x?y\pէs>_3%=9F2]01q6敂ѹf$;@dShEZ. X:ȓU<69t,=n]wưF,/Yz!CnE~Il#%MbxMR'LRr@I4?Y{fg0c_CN70HCO6x=֕"jV+Ĺ)D`.ala-#gA;N5V8\ڑ0u+|U#J`H x.F֒?KkE@}C؍SQ偧JrLPXYP~q~ hRK4Ҭ㳈E@opiI[r-Α%j!v*&\9 /1x8!pU 8^=%+҈oh Ni4i43@#dmG8ftorJQR^t p~G׹T]2Yz#3RPnVwN@b|ڪ>;|@9k|0\TDp|zXߊ-&[*TpT岧BۄRyy xœZ2A6 Lջ9?V7X`:!%]f¡4 BlS8 N!D4[d؉湞8`qtcj9=; $w5C ~Bjy!rƤKtIXcpc x]zթh (Y 2{YW1yj:~?~:PT _|+ Od@0eqi= '*{,NVDMkDžTFR~]M9{8s5~xl_H[-TIkCR"~䟰X]?Vki5v$N wgp5І;xD2j9"ԲNb$_rF|` [h;D~T.W),+XGAy'{ԶI|Co2.3[.ַjQ>S.J XiBh#EDn4zKgn޳#N-@ֻ;4JhNiFLt FIU({D1fAD߳3!  K =xrx7O ֌,Ffs?{G ðcWCv[[&@\PaĜ8f 1$0 %pJQb&lC+:  2PWhC4:.G@@]̥-qbP/;$ieᱹ;} ʸyZuO"jܪ "3N)* Ã*o~nWF(ƴBG}Z ~ x6eЎܸӐ7a45愎9F0hWoVsr4*@epC=LoOuL+%cڽG)/3T6gtRtz;Aj F`VXd9{]{ɏ/ "~YAP)^=Y[2۰n Yjj;P>D}59.9=@+\TOb 0JQd)Y\E,y ;?Mp[!wCk>#Z~x&T+Wяqc)v)+i﬋\j+HFhزd7A0Zll-䝢Tğ˽2?<_lF A'c\P\RDpOxTy1t5 U&PnX22ۼDM:,҇p5Pnn80Qk9$K+Oo'{M]l,t+9V峪c]pvƳiMdOGpoÚiG}) Q﫧4O;ΐ6>Pm~gYbJ | 4j1m[$8ɅVPU vᣏ[Q'{XqvubqwyE}RpӒJVIJB B.Qr냔bTdO2ndH/ %ƿK|= uHq@%V%tQbu{O؄)otꌊ+t.3;`T&p/GBSt/kE8w)gzP(MH,ݻsL8޶.@G`H1BsكsVۿ́.+Fe=1ŕӰUd>;EПr4\bY`h0{Mn@yi?$5r BmбR_:;E.pv9d.I, EAz,VrG;<ƒ+=s~a O"y) *Ļ5\˓ .j30u*p8pa'%ijc:,l֍~ J;yŚ\'Dj9vF &_aķQ{:cBkjMb^b+![\*[p31/n~f$yT\ !,{3e?z}DzђZ`œQ rGr'! 1";5餖w 揿;Bw$QY.lFӈ%#UY)M9+SpS9xP l0yx'H:(Gg&KP{X,­Al#^ϋ| 0Q## W\0Y2@XϖGB,mF*OߚܞCdvV:ЮAD- m ,}0 {+jwo[ґBw$ŧ?R - xYts?^ǽy7ueZکKa|gmO(Fv1qN@b̀;RO|*$963aPH-"_6 *KZz1 `7w7}0^hșe+;udW#Cr%;bSg#[)^[1=oeIQ#7Y$9ӁH{_MUR{%یFa;h Rou5y+1`t4ceڔKi u2Z(Gc/R/T1` HGK΁BU6lB9\Y+iH'M_gӒu>֧-vmsk,G}}+=\SX.}ۗQDxw$*4S\HpVw}Op7;.mj6ϚUţ:=L^px/ ='pAYi(M>c6STftoo? 3@lʹ3 AuIo{"(=!ə(I3xDH8/fK٤.C3k ݉ыU1İt<$ٞIvhY;#C"װ,X\+p6m:F"Lb0Vh>Ҹ^<>ЮaxEIֶWʰ\ȭ*?Zx,0m]Gq/~iF&~e#0ONP(Gى L]/د"yi֒N{ȑmXk$WK;2ȡ>@P͢Ƶ'JsR5—eGc=vf8W +nL?âm%+2{gs_{bY0aDjdc9m\UK,# s}1YD!}=<7i^-qpJ]Ԯdܖ OWgu}.9Y؈iaVplkeCOPjOLvG-fpM6v:;ims [^Խ|И~(/{6ue8H|v}s[gxU#B!̧Wܮ1y 0)C,]H_0YH섚hqNcTME121ȭ><37ѭDb1)&=\o,;[rclI g2Y38X75xƷ&5!DbiܸO"υ$@+Leu?rg:W+Ղ_ZӆG`"08AH7+JkМ6\r{%icӫv!"(v |0}J)" #lrӸcg$qPS\gO2,ghWTs0[摳]\.G`o+^y tAP!$\O,A*VݬwJokdIos͊OLh8 60{l T3jzgײ ^:(>N9c_mJ-˕( G̒Z*7 X q;7zzRP aޟ㞉&{`#:ʥIp("f/dM8YSjO%t\KCDeף"b'ͱpN0mf|&ig'G"LecDjKk6wH%bE\eE\uI{)j&1A׆ٕ8ANs)cԝ}~Smj{VɛM"}W4B:\8!yM)0p1z㖅0ծ#}^y~Lw(™l-X/o Xw|*.na>](DX2f677u&$uChJl|a kgbj3qWcx&M 7;|Cz'wȇ25Ƈi uu\M_w@qrJ7tfFa;k'ruRP5B#I|];udXb^*[fuY7TVBc #"ZCۂw\3Ϲ<vk1cHea(yPw*=7n=!-o nkhsieH*{ʩwx{CnևtCI++\q^PzK1%I퍭l!FYGs5ZFjҥC+Vb-yI8A%Jظ:" p{@T"MN7ok%= X2 3}znG5E9F^Ϣ͘JѼT2UV`ǏJ٢*Ht,WF`zy!JSKkǯBc"Ilۘ_|g@ՎwvO?q9F<`堔.x8=xQBd|DO:r0Yԙ/\Rvu(-_;Y MSIuCb2j_\ n(0r GhYم\9Aߓ /8h, ؀ hS)PeQWDgV 브0B*s-- \p兯 L{ L\Jz.FkJߡ7O@w :A9-v5a ̧m G洈 2؇fP) yeX:g>V|%vV~5`窕 .VhԪcS}GQ.ěqx(+@VN(WnnE@7 !sk>}wjpx8AϾlp]bF_>1֠54A?t~ʉւZT9uN{ IXE[i.j])$_{u d`(9,7:˩oD xz.^_ŵR܂Iߖk׎VV,Q$Wab 0Ҁt%"EV;`3R^&ͧlBhW3ahra3w: X\/Ee04g1Gpdg\>8wvLʐqwq-X#Sbp+{:4dpMLuj[+>EC쒷A bjS1IMbr%Oެ) B'7>M7Fs'5E=(cդGhxksTj'(A8qyWlvk[v$.Rֵ8Cch8ax Kt߂Ak3 t7=Luh qEGy aJv[@0]n Y/t(hyv c@{@żJ[ WA-f|l& S L?,؎$F3=/<cWHXWy aykhr6h%cR$>b0tZ';k!{53Ϸ3![% r ڈ?tF;؅J*+)ȣ5 p9ShKK93i276wQMoG^1HcB7V)ի"fn> gSoZ% a/+)Ag9ԞԏmHŪ c417Dx?vLM@s'<ܐϙ[2,j$:Z\Hx3|Wx%qOeh-[Dd6{d$p _Un{,oeVlХՠke$|7go*bɐ* }JZ1!Q%y19i ~Dw/pX>>%{p'*m9 {GJ2sp^qT,`6Hk 6N { Lϐ4\ID&Icj5I~^jޘ<]AdՎyh _[-ޱ2v%HH0UZ/cYϾUZM'7Đ-A{ =ˍP)VuHq+xywdsyFyˤ>gGJv~hs<s`&` ~挅|^ⅥA˜ݽ8rbW웷#((djHlMCVHk%SYLuWE%SǨ Db]x$#;>^ w0 ЉȽark׭=,у"4 gf4L.]ʑYp%4<CCAG/C kL{F¬(P LHsowAU kn 99<̥ Ҿ.A23c]Xvҽy9]P+XƖ*.;᝙P_9){^5϶ ړ7" ߡc%2|wQ89_w~ `KPp׼JHo ?*;d-GI’yY|*Ɨ)k!8> )x_<E9m{yoIWMS8Hgz5pgNeRfM]:uI5*~;GlnwmAj] Q1 gT_!֫#M{HٽOHMF3e~"}61,i-µ@{'6RƮ+1jK>)9{x*GǣbӀD#UԄnXjD/¡ ܁HO;?4C43ov%.֏Tڂ1 3ZA"~4ױ1$lbY/:/f"m*(w(VtùmOw#9l9I+җVӌWu0gC@ya<8wAj,' $wgi7M{(}_5>p0nyKhYmse7{Yz`#ԍ(FcMqSڍ9Ц3PR(4$ T%8zq.+ȍKI<D!ǫrc5 ?H@D񣙭3c.Xo͢]v^nuy~ c(De~4Hx~lFQpx@bKRy2t动" G۪%jrsդy~)R=;(G%8 ޚe'> b@/l_Aat4M)q[m +t5&#qrj8Uf@a]mP<뙱[Fhe*y l4u!'FgJQ$/cx`0eJ+Ujw:nv~0`xCo~j7UVH`4]60`.!o!l򓬃-`ܧņJ&8*K$a瞃G 9U<~ '#݊Qh,@ ,8Xjݽ9F'A OJB.׀Uz ;cߚO iA&s+UӘvhQ# V= f’_%8ӻ%[^҉_ɵkjDѺG~N3;31\;ܚۍͬ8@rL>=y"Հ3 _.4a~L9x3F1\ {Re hٍ"PߵdOVVIQUrАm_&ʺPdfkk_ Ym-Wa튧/^ywdMSgl 0+P%ZOR.׺fkz:vE's(FAdc=Y)񏓼aA1yUG _գZ\U!N]_뒘ڔ}%&)Z{Uzܦ5* MEKFOl>hn[d,r`nUM Qxʅ  ε_O>d%XzR ڕnYprJ%o-[Ŋ^zYڦ-kYa0:է6+vM+_Y+!) Udtajד!J>J ÈR_O{1FO@}nmS-m'V,0xK9IF'EIXggtn_jW Y}~[5+B5E*lJ^'v3XXAaxalmr;{X!D FӦZyulZ2HL(z8spa5?ef f ,3 2& ^lo%C9l*z\Wm7lE_KʟeaΑn2M4^M$ep⩫2kUSWROQȣ[[̒IP %FEgt .f13AǗ-h8<n$Q/tOŲ9{12XuD$OXI=/!nK%T}fQ ({|Y~Alx?ḝbFrb%8!もd7jTS# ;Djaqg8+m-~# U ;GfVB\#- FG_1NɳhDNɗx u*R1bӦem:d|z a :Q)nl_Z762st5D+ ʖofZb;Lh8%)QCMcՂقvriPs趯ky!Hݯ/n54