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  *7x\$| ] HOL-Datatype_Examples:threads=6elapsed=82.017cpu=387.688gc=53.2527zXZִF! l]ŗXiɟd)&]hS.J}+%O-7DDA\:_f|SQ(l0Ca-:H9ҟPjzUxTP9 ~yi!Ę Sg c"]@ u>Kں|*/<nP#^;h7 5+J-ϳj 6 O~Ve?^A+8* A"̣ b9BmHgSlrzAh/z2 %Qi) =+{B9N*F,Y6hיq 3/Nٲu[MR:{"SJpxy)"w`FA˾3蝆,3q:\[F9ށ1s.=ljiTPo /eO.seeRCQ5}ځ].m '{)21DEdFo|<=Mtj=~6}W )wc B{UJi݃>~b@L)z f-;q=1s<|%x&<Hfަ (c$甜o7=*UʾJRVޢܕ;=(ŋbH&l<3Ƨn*h3c9wV@O#KxNQ~4GYt#ٙ~Nx.ud}/ ɋykË0q{j6oT AUoK|'}=Tz.K_:q.cFbbڜ0`aNH7umtr ;bFlʞn'/BtPuap͏QZ($9߄4]#7`c\iMܠ{s_NL5D!ڣc8^'2wʂ({Jn !UPxk2>ƞ]BL =3ToWKYPR,yG{C]|3fMy}”(\"l=8<k0(SrylTPOa$/#WN㴲pRD_>enۨb6j 9H{z E|7J=vO~ކ|B}:Z!w^c^hY{x|y!mk9q?Pr2P?!Z`lU.?[Xj`(Y1LwJm `'6<"ִ!bpÛxTNKNޟ3䉟|E֊JW|okY81/WρYG5Fi r)47R )pe|1 G ngor[K)'rm;aasp +'m\Bkg=Q|֊_Cn%I<0)V`?f0 =9#"#UL ?GeFŜDB]4qjÙ6h rṛ51HQ +[3fү!9US0j#h`PHcMD $2 &t eeI +>?I`岙֟z~[H ᥰn Hʚ 㪡y<xK΁B8ߡϪWȔTnt;BbSsspH)%_mMtt0brF&P3wBGE`JR8ɜv>7c Q5_(wP졈(8RK4톒7h~?%AlwPLcxZķl<_W}nu@S{v8 XMWJxs71r3/Ԗ ~z=MYycJ]@ٿ4zi ޞ0gyC`,QNylZct5v5bMicc4ڽX2Q? :c$>WsBF~8׺ :Q/\nX#!aF |_nJ%9DڳP ; qWZT7_d5Ԟ/ ANm|QA8 ݡ`_%/ҽ_" 06Uc=i2˨%i ?ڭ*=#ĐI}i󊀦j0 U 7 V;5,~8M&3̜RQmƻc^S )%J;NZ{ PSd!dj.iL-'FU&ѸQ<7Zp\-i+Yj- Q80L:w-2-H&Jl6,:چej2\ݤj"q^ՋDL6~nq܋t:c ΂uIoga:h>{^˜u^ \sMg9Io`Y-v} "J<+wx7]⧕a4M1Z%ɇQOt d2Kl͕MLg93X\<1%oq`Y.YhwcϮ}FS`A,h$%Q1ώ×&(\"id9ͱg,ջ̫<(WC%a8ARx°|Xzvz8Wc܈VG3CT .n%"LGlkfzIHYx2UmOoAqAK_hVdtKzaϜ\%r?uw $HhTߝLN9-]q3bco.Z87Bp Kx,(noSw̡@**ժ<eٻOVV8܆! 8/;bSf,GG)bhG9T/tJv&SzPJ5 +< q e/ E9خ;~["䙧:VRWWK593>s0!! A+mSYdn/ṙ5?R*\PsJR0v:03Fzq=1ϟ,[_#Vn[δբP7ϫ]Pv@T94[mrg1 @>g.eKO/ʯ>\KNy: קF:ԚvWK0B<(Ef?bߴ*dR݁ 3Q7FMS%Ӎ#yC~Ohj#]:抲O=mMh8[8n-IerPܚ vYI[bD nL\hѴG(Z4bN |i50.o<$g/u3f 'p(Ҧ[&Ra^;Q3)=UMM爣䖟 Y?I#~EFDF]=bbď#M}O'^29G$8*\ߥ8Ÿs~-9czܝ7)KPTFCR,*iˡ?r4Jw N%kz.K8}|۲lwqC*~n=jʺ֒eVcl=PBTsj3E:KЕyUAg0*g*698`na3j^^ vd -BVCfk's8hCP |S'OxA% !\&̨Z4s,vlI&w*=^hf?1jӘ?0bCA4 B%dvRM4D܌ύ.^5.\uX-Chay ;4A%TXJtj)SQ>5ễpݥG)G_1n,z J*PPVӸp5Z#Sg<Ōt.CLnⱤ|l[7#0.q)‡tAטVc.Z Or'wBxRCWKqA1]! A2m3@ v)tv.,Nj1bQL[MRU|jOE') Ǚdjd~ fQlx~_;X CJ )o9| FMX>, &9^ zn'!J,^wܨt R]_󐭓PFV:J/ r7pcs3%8 01,NāEU |WD5Ya0E U̩r0XN4xja7= RJƮ =QkR~|"BDdqlwD+y`Ä]Zo[7~ k61:. 6'6e!k]0:^!ɹȝN[O3V e- +g}p ԅo; \Zj&6Z&=eN8fE+ݞ5u(&Մ_^˃\]%T6m!:P~ݡ:GV7k$q =gu{e5) Ɖyd K X~BzA ;+GO&wp_-mc r95CW;*ut(ŮUJj6CsS6Pչ<V ,e=Mg̏P/b~M"eR%r3 n6'CW+3mF!FNSt7rYÔdlN*K-l9 hH>]P I;3awkj 5bxWld|W(Hx0˄LD= .Dh?t~20=H} "/Jq[*p%~ ^Œ(0S)4iM}+E$P'8~=9bl&DEfgg h(47wm)ϳ~.lESݔEZRb>h޽c4c9zL3|#gP7vIeJs=sYoXG՛&ϫV>qJg@k7ذ؉#ԈaKSx`2(}aaa8ˀaanOd`\B rA=BԾw~R0`)4Y8]wX#Ib]$[ITvpC MWh\(_9F WÆ4pu+F-dx2SBmdxmWQrS?[ ]S^i%NG|VzD}ߍWcZU^ `ɗj$H˹ٚ؈6 MpU֘ʏH &OpVM #cqGxbk(B5d Nn\(:U$yEܭsBL$ ^%.3R I! roBe #$/I?O]UΓHNCXu܍1,d`9km c1@V\kHuH*B[x6}`V_S9z>Rs;H\5g tSA-; 4 KY Fe/WVA:#(3ԦH\^FP=WHzZHko3.X"OWla]=K\r ,/"&ox&@aR@_EAfm2:ݜԑsL(+ b^fI=*Ig.ZhVnD, w@D*! Qξvv' k;f *9Y!O&5=P ? sՑGΡZq{5o }8`6m2^#=KaK^ m1k_㛂wdIDR:*9SE)eY\;z:)/AsDlNebCD8~9SORs~XbG?2M"_,#hӦfQV"H9֍O~b˙L{/9p|#T~tD̆Vܡҏl1z/]mթ3R0\k&poTP.+-RIvJcr5*`VS/"q<ÜO?a|;*$\e0 ]JcX7)ЄaMg`1@~aN~hvx׃,2?vY2aH1¨i%v.;̞kS;:d2f #j]i+[9xНU(yL^ ٶ sGEC=1ԞnMձͯLJ#\K)$j2b>\'Vj%[YYݏ/续LIt y>%|+Ǟ=;<50_8C䞢^6̪&قYWU"m#U"3.^7PxABdH~gtY6t\Z.biB)fD3-h7PcؓB!`*ة8|21N(=bb~"Gu3o`wRB 19{f?*6v`[q/(ZN*N.1P—%V:dKv^O)pbcAU<Ν*]肫"a2[nF#Zq/E&5K=Gj' u?rFb4L }AeG3FԷr[^<8"76#?M Y+o}Y/.P{"5W "mb:~& PJ7JLCAlj#4"jӇ)M{bR܇Y[UHr-tُvxze$zk7)=B"v4qMNt"Qp0_5R”s~''p^K@-]׸ue"-TyP:ǥ;u;|}(ȭecǣ.y()gi^Lb9& E!Ɗ^ܖS0-NIßEyم\̼ 6,(w cn9@'P i'/(h*"Y7$1bhߨ jzF^%wx{ozzJ>k=.fC;d9Ebd69t(ΩM X^\ 좬z!-_׺7XftelUxb%]5gzD,5699H0Ǫae/!s9P=]W45G1yX)^q ai~​BX~"܃H]i~S.gR8KGDm' nVmF7w?b5h Wa{p)}쨧;ACnG΍dgdczՋDVIcYjBC~7WGcU~E:_פ%-wɣwuy@\LW}M C%#,x)_30:s_({Y3U-Z%|[b`,MV+ClexTgD @K%tV4gp:Ԕ9)mZQgõL52!,۩ˇӕa*{}4_Q0I"}X?S7b[v ۨ;ZJfOgᇑ_x¿TqM2e@>К7ܩ [tAjbE#^(w M=uEah: {?}\}oA]úݑNx$A]sk"mǛXUx`$ fezl@&˗oe3PZ.^$nEX;6m=[QǨX >IS(  Fh\G^kt7Go}dD J8biD$ &#bm z&= -Gfk_ ڂSg%itlG0s4W>WUQqL=,PV umh6L\;HVHfwBvk9,OMx2ɯk=1"GdA젮4E<4e&2=}O,jj ptB疶qDh40{=U}mi zk)'sBPyPTO?R_D -z"ywo D|xBeIΘ? |%WnR ;);t2g4xW-$VrGHml֣Q¡y:TŌ)~\=[ 뮎w:$%g'$0[I]fbdI;KL%A՜qu{.UT:ycAwf׉l,AM*ަ*r: 5=&m+ EUKR{?ȠRn%K;?D'\G Q=u,300"/c9RW`:y<\&FАe^NJZԐ:֔7םF00ׅy mDO+;!nH 36{.R驎1_W"TMQ>Io*}ϐHe }On]xu`%Gb[#X=8}(Ν&iePk3世ALq;0uHnIUUdb_Fs  eR۫,!솲U (n9"8ɴ?z]$sPiPw" ڳ]gDB J>qrQ՞/<`Rƅex^:fsK gM H)t+8c^ lcu ]T}J}L:Lv 㻙K䧖O/T`^@V*(5mqj TAۈX Cn^aЍ;:9R0-WcQ 0>;OJ @OwF7@\^56\Q]BT?k0'%s#sofb؂Pן N鲔zי4l>oD}Tđ_W[FV7l>2Oފ y;Agtwbsͭw0LL-KF%,\$@;tqۮf @6q:!o$ EؼRK(C[,gΪ[ (T_=tS~ >!*ү ]t1DFX)t78WNoeJu^~2ЮBɬy'zi>+7^S'j=v85d29t$U4m3iK0h5-w%.$kmx[׶>hqT9S$uw;倶vi L+nCb)GDZ(_}pvʤ8~B-5t.?tF!Kpsl!w0BjP>3 µFk/] mIuіIZH+`nRL8ytϖpcVinCW!15V?rN &RJ/DANJ0%6+SܯnkP8Wey\al}yEb.|fL{lY?AP\I,B Y-.) g{(şA/02FKgPr U5@X}fd)P>ڮ !ų\"ݖf=Zo<J0: gzVCB\mv r_|SU}bޚfIg$ 3"k4/_ͨ3w"a#\b~cCH RPC,nMAx Y&K[QΊߦbq|"-A.sӽ{alEN^11Nd LLc(FipW.[H_@#v.>rKlclmbuv~fh fߚ! *L8"Bx扰-cGuQׁvFe"vgCjFhUJ[84Q.-?FD"r٢6$%'8{0 V%lCtf`wuXJP@V ,co$L*~q;JX>d!;Sv%, !R),2&DY7ns?//*ҥ[p!=Ό)r2Vv:h-钶?hHFQaT0 ŵζPRsMB/1-t$F7ع+ʙCQlJ'&vg`q籣 Sѽ׌GwN홈ĆU"hX" (8nQ |{g)@e}ui0ΙLSP uD"Ei^BVFlո8S}E%lܭCȓtD iO0ɠ{&S Zγ..|>iv[; dYǫrX(2Mhg6#hphK9ےԐz"F %uA`+%Q3?8u0Gh %` s AhU-eW8QL R„<HuR NTԛ0h6@'AӴ" ճ~fSHZ(ڣ3Q+I?۬[v3'kL.%`R2.RZ**EƐ:Z+3PCUm'פ |!@Y$k8FԚC_y<le7/xuENZtqeL5N̮:* }2}H %{ ]4Ra #oZW-pP$*TLODZE\Ԓk?&ۜpn69ܵuu{so~' JwxǏg>p7qh%-zWc|P]Iw?O%S9 6)Heg|n OC-*$qgndoOB."IDn,eתDHqh/DD-}w- )8[x0L#i-ReLj-e^d1LV›( ߶Ihj7Xa2xy.`dƁ6) dЉtO22H_ݖ Ŧi%)A6T -\ `߱wU O3Ne/wgߤPj_aWUeYup)]l}4o)^D8MK=/lv9/e&T5N']RŞs'My+(} f*ujt's ?LQ9XXӹW;ǯ!*3 @$Rko%r Xhi}H:{ 0p07Z:y*钸RvH4w]jxnpg*nrb$_8Pװ-јmgW:h}:|G,X|-04'`GgyL+m)zז<Xܗ/ԝ;RO[cXS6Y]>P7VoHn XLȁGsPyBWx?CXujpg%olϐInӢ!ÝRS@3`C#e׿9DGj N;S)Qʑʮ ,eb/2tj'pBq<״"-XIZu2ZxZCwU5u'{aYVR9&V<<.q4СG8_aÅmQ@" lg1mx7As;a4Iэ3)z: ׅ`3eB:ѳ e8 ~-<_Ph' J^cǒ-,8m F_ɹo2j7Ƒw#TV:9KZ+nَgb&ԇ'Z<9`/ލ]_xYo3:Kp 3S}OmGdYH@'n97wd8AR5j qTHTA(eI bhT_uA ̭/V͇>7=Qh_bի;\A@m ZhL1(1_vɍgk-' WSY?VkvjbuH@ܑWّ>m)JĀF-Sfe|N/,{4$Q:UCo[1-co / 6yOHЅA=ߧճ)/vjp;|ymi~Ti\sp:0a‚V#Tqwĵ]ۓC^9I Wo{U,legL#!Lm|oV?E c=& CQV }p_,2jxdy|. V9KqGxJIScS tQd´Ћ#-p NRr!͒ UI<_,$'D鍺j[A. C:/bH"FK\ 9?1 Αw^]l}6>. &_e\oD1RFVVg˞˔' 'Ek&55${` cdfl83Q3zcmLQ[Y&O|`s.~iuRyj2Z_~9L8z}@y[(1p:jaFX"}̲$&џƄ9G]:-cHgq*KU ,15 P|}z Fcy 5+EP*.;5var_8͕M_2/7Bt;' n3pkb}"&Hl,!Qne`hso_YP+~7,lp~5?@|j%?=b̌$YB%R6OJc")DXh mE>&.ZbD'E;L9˰pHx[/=oi]7`]0y*&Jg( 0N5ͬs]F$,pc{ AM@0Kԍoa%mn <;Ov* ˝:+ eݕp %&y'1q5O'g&jJ2gF6/gW=-ԃP/X"LFhJT Zڬ!0Uw<> ;leLLૉ Gm6Ky~?w.rnP k[ʷ,}%%w vE'1iVoт.>QKԏbo_2{THH086z^{HV6+s PSFj0y|8eIO-T"XrEeZo8"G7WGa SeWg_!&""}ED xsYufE c󺃐AQ?^dvZpBLrqIA[3ӆ9s;n;0P-;RCq`O+v $1nDqaZkW(5Ǚ[5Ӄ$QZC->FMH:qnTHS錋ʁlzyk_ uZw$JTo_];/OA5.ytrmP*Z03A6 ߛXk=1lr'Qǩ`}PTL [s?=*'\J͐(l8T )ݴW. [j°4脠[Y`1#;iD!L>/,/ҋ\C^:?F2o5cQ4eqWIJP{/ Th W`t0b 6׽KɃ:,E7!+I׵Ly>c^ΦwY }sq`[msab0QVCbɌ#<~UeCG4⑆# h>߬H}.xF.yJ_X=ߖ_HZ:f{(xhQ N4[A7hnsELkf*vMY!$D?whSGu#A,Lc_غ)":hFpj=9`j0G[Jɵd9e+bN />Eėfmi7bTᄘ\~68YnrQ.~; b>ΕUަN`(( 2+./tPn l;)góD}{{"T鐢y xf8K׻Dyn1es[P]-]΀iL3,ekDTZdKi %rv?_K࿚G[JH5yۗtA&Ʊ_iyJ t"n5jZ0ى$_ 5 2&GŃSwX"ȓ [ S*=d'F/-xBqO ^bVv?#ħ[g7&E4B&ڨq4HL1/+Ų~KnP3 hu37BK-n5YtD2aWBV'˰{"`$K{.{6lRSQd i1<D )ë'9،BY/BZ?Zt ß,ݜ7Lz'bq}Wesb/4[XWH;'<''\$mW/e L)N;Ks,,ù{LWKڵyUI2`d4݁ Τ!.),Z$5#`sȔ ){, 1jkup䅥d 1eR24V]DUljfR'Z#ˏB`JS&DNWX)wo{+g7sH?Qh٩!*aP3 fֺy Mՙh1;f!V~Sc.ْFA‚ q9LLKGõ-!2i^ /3ø;B,e[0ϼO40^a}H ;S} Ou0XS)rv\_[: h"!2T)$SI, jSϗOx 炊}mI)]Zi.hʄa$y[n+,5R,]x/<0'IEf_'g]8ZB+Dn  ™ MhVo8r c븳.Z'}] Ҟ.'Ҩ|aRPH-J7.nj_F ZsgC~H5k;O+ps"G/^8귉ž%bgŴDp0{/la/sq9erz˨kŭx N%K%\x KvT4Zbvb8GFS1{#A RR0_LYQ:2f#\TTݗÎz6u0lGX[Ƶex+o ~i6G E7ޙ~NdI0֭mJÈjtHo/4} =/GjsAha7(a\\Dm}V4lc1@{o_EeRkirW5&@nJ/u5 F\Eſ+/f-d>gztR/ffdwMJĩc6}uFߥɻq[Ϡ!ᕾ>'P_HɒHNjo-ȟTGOY} (c1pt#ގn('Ck¤VFLa{w^ R+8/ *8d+E{A KN~l)?GtCq1HKTWK 5H n1{Pܔ0e0eDO|ŒAW)GZRbDR{b}ŨU/0YVimu*{ Y3 yY֗݉ÉDrQw1Eukľm]7)Akؽ7(D)G3Fwä-)rL\E&NM[{(umXN٨\L?~X}|*,"dZ/s<:V!%t_Ղo__`Up7Stf^eS9xrkaT[CthmY]3/MKu ~yIsO*+:3UDf{чۑ+iQ(,~F?Y&CRh<̴L<>Îq[M4| *`zIwѩkf~6jL jRMA4#WhF~amh W+խ>;~7ND:A]dԂY{J00yQJ$R[*4"m!~#^ƹech!7ԷYp=A ,Hz cLL6JS<)/-"U%hYְj u/t<0+{C%"/OҲ&hAbjPĄݖ&nb4k H~2kFIT |v >@7L2ڃIaR5ӜAW:Ą?qlu;c\"<,n Kbt)Ӟ/ɰ]!-g^8[iVZ{[=Lf!ivz1QNܟ465{'ƙC-Pdu_:η2cOJBMֺ@zV#O6yO6HxԤ`T*mF>ᘀW!UkJ8X7;f=0T"@BUտm͟蜣xf kp*<G$1,VNTM?jnnѿ_L}>KBݬuxl}{۶͛驈2>|Z][a'.`1g$6DQͰЫ,#,7ԋ/mH.N-ױJ{F|kU׍Hi 2Fi#4k(HȰx!}@uvJ'69A [nRK[r}1rLpaZ ^dC ;ȳ A[kMHqtJcG#>`0 Y> wA;>+VzPcFi}M{4rb1rdo)'ɣs 3SI%X(Vm,8 C4tX+8I/_~JBncxrym~_^ AէQ7p]o)s'D ɇ9pbιq~a%i_Ƅ$/Uag<ǓR_\C@o [t3"X&Ԡu.NT(3Yzs2 npF,qJyNeG' yu$S{tq \6`j θyj{*E>jv6FX*)&̨fuL~S:q &PiT@=@ PȖWAޝ⎉:zܭuS?Ak7Ţ)f9 x(qC3ouU$?WhyS6#_~|~qe~O!BI`(搫{QX5#$]t ÀnT.ԡ=n vjnhb Ikˎr{AP8u$"&@]0;ڴJK> jdLE$|7W51n[bO]oܙdu%[seєkm{$,z2n϶SY!THcFj),tQ@shie̅cVYf_&fTkFjL9.׷FPj!_S;,Tu 'xRH~iFx'6qT'yVwh}MV P"ad2>cjKΘ-`KzKT oyh7"#er]{2^9I;Z>H>"'T݅pL`o@Dek 0vup%ȝ˕pKqQvM^hm6:C\! /|4´A WlDiP&XS%!dk,ZRDiF',@nW}D=  vQYSYo\lb2,%UۉN5}%MX I4:Yx+}ĺ:y"2 `cP$)wpwMv5iLDWcA#3`L^0e]ʒ叉1S+EN:&;PWq,ݬjjh s:ʣ}4J7RI VRFdt{Oo{cTF^"'یˠ 8?(PGCM9[ GأAvjг3G2&:w>NsԹ-_EV" ȏK\ w={}Y]Fن.QB4|Blȹ ڱ0X h*qkV#74IFG#CCLy_QkZ ٞۚ>#v!DE)bB]7{x`8YjцDY}~g`)j6ٙ9\Tv:s՗v?Wzق\ ?bTv0,n D.qռ+I ஛6D]G6@$Sq}).y -&Y:[I͎<4=nh7i \D,d#I]1qbpLK{PN4c^x bb,3 )-c|wήDUgj 򒚊ݬt+7+@3%lMjؑ8yF \w 7#9z$U6ʖ|<%px,T\x i*:K /A٧NE&_Q܇(v*c4{7$W0vs&wWP+=2p^[^t#A"w*/:d}QA0B@YX|~IFEMvuS\hyP!lH7𡗁4X7im[旍" c! scMm@g7AX O1(D=bw˞rWBe: !|d" iS g;iYVȃr(ZreWl1YL8T <8 %&*gm߰LE%Wf,3!-xl&열½,g<7t-:~&{.J h=~*']57oM=nGs0KR9[,jMY>b2^ECz@W5 ԯ }N^8_!./oSt7*A;ؕM ]- |d7!3%Su0^= j%b,[6~I+R?]|نYؗLt8KUP=^d099f^^Y4<$z^ee]Y!Tݎq}9j2B֘1MG6XI{Tl3iNN Dgq"&tS(?Y5G#*74\&"#;ew?@QH_v\W/MΔ~{$`7O $oiFzͧt Nj-U^qiY@d;YA}g6V73u8z ^6(h$IHOeϔb~seJ0Q PyS}& 6M06܆9*6_ɄĺƗ0ʚ$P|"R\BYUr~&#Ky {R6%/zX<}Xf7n+7 K0O/إښ%wh%PAq8ϱ, e ~G[`5R).TX(}8yr~)XΛ,꧟ u=F3˧H Rw{ÔPy^[q}|. JGCW: [Q'9 ыgF";e?2ԡ5ѳ8Q~u -a{6^>\ثݩ}aڷ3ݢЯULt^_4V<h7M; 2\6*60/`XȽMh*{TW| 4HX:HPB~ƃ?Fn(ԝ/,Y`Xĵ2'.^7' "GK SKH.I^_~]J·DS_˼H ͥ&$YA</QbII*u寎ډ꠰l㸣D1'zXo7\J#N~>iӰ;8\j1_f\1x7]eJ!@SxݼJߛ~?Y)Cւ~"O6ԸǯQqp_I]w1{z)[Zؒ/Ń @& {Du Hck!s%W;mr '< \\2S_Yox@ɥH99Yv=S\â4C]ΎwVխoWn0 W[I1ܚ5g9©$ +3Q}:i$Hm83|5m/,/ d+-4giFX n킌*8-N̸*C+C.jO &aam" *8L-)^~8b=6aIkC;'s޿/ػfqզ3й\x`]eraFŔV_ Y'3|Z;ߣҮ?VFҾ:ن>s{=QQ:Et*L=_U7)핓?oW=8'#:FsΩSgu\XRdhFbf@MFZKG0uP0$)D׸׿1mTy FU/xQzU`4*Bg ;Q;4 2)TA^JW`f\G/້)ﳆr4ƿQՁ}[Dpus  AAm#I_@7ϥ|)XDRe.e Wd'梠r4 8B gߩDk2Abc4z#v1u8LgNE1'n=%<p"ygaׁGU#Cud#>7|۱ P!mb?*^9 N<&|9a'Ӆ`&<mMWu;E9ܴ/#|5wǪulm$w2~ǵ,uZH˲h;b0KÑI6zK4|S Mn%+jƛ~o5V?CFh*s8;9h0Չ4Zw9pkfh EC/6Z}ȟ"3~]eH:-M!Ymi_Ge ٢/E'$jϒ_Qi5@5WJHX+/֏i\mTo}bP@VC& c VŋyNa-Sw]2!5gl@=eMNLSqG.!Ata{lm5g+0 BB2E< dn% MaT[Vz$Il&+t1h WEZ[mI2't!f@":LL[gvV`p?oEyU_>ӧi MXZ)\kc|=3r;\1 PPl-3%\('ȒAa?O [pA|iWT;6ˡv]'ynk:~Ňı;V+'؆51:o_joUDoEiwOfC$VIܤ.,ѩb|&aI[I]5 `@H3[1Yi۝)&期2jB: }n[F$O_f+h&w6U7ʤaoɃvȦ>JZӸ*z I*ǀa$4lu#G3_gɖZPqy=z-bd#mdO N{ MSO kphst}%;iL}F\,ceByQpFߙӓvN _gh:ndkg Ӱ4  ul!{A>Ypk1*4*vo0ja {c?$F'{ė_a{0,3^E3;'j%.7 X}Ԛ QE[*iꐉo^ ~ɐl3X:H {x.5'n?o{h/p\Htَ6vpRh"8^27 u{5r7v&!!㺌YCM usJ:{햿B;"z6.Wn-P; p|AN6x5'Rܘ'\CoCM|!A |;*+"9pΣ$J4(Q'S):YkB@y]K}}u( Ų{-ЎAtCN(|'@y 1Y @9W<5agn ZKK} NWUxؘdh%V4$Q $r]/汖VQI;O2b 񙩽j$3 Ovi8@tcAV8 S?y][t̟E6nEƔ2K׍;19j wCkgX<ի6-F`t#ؿD[&>–OȄ[Rnv-L Xh|&gk`&id"2Whh,u~IP2CεHyAxQE-Vؒؤ,wcKLN9??b}Ԗ8PAXwan_jO$CϏ ͆YMA>W$[L*a} nhixE3q˯IZDoMCΤOR>B.M@QX_("0Qqa'QFm'G*bB7+̸cyw7X.VLd,EiDRҁ,-6%i9^\F$^>qj >?;EO\uvc8/3W^ І\MAwGFU9Au'7",bV3ӈ[`il3%L#Ӷw†q{d%A3,IS)iXԉљ!fTOˠQ/\I: n=\&NN_KXi"?XǪ7e? VI;sR W4$eƵ*̐st;Rkm'V; -j1"j\ t# ަstlDi~BpC{5o(>}G%\w%"}9w!R| ʸ.n)IU2u,j-d9O+F٦e³B-} "xP@[. >v{>Q86gAYu?CZG&6|)h?ƜI//҆㰝*N#^2K*RYM'#dua`o ?XU3?zzBo,@r;t'\l"Rp"nt.uIb%[AH 0zj9*2ɕs 4Wk%P Y,#R\[ f 뒉!Ѯ=|UE"9GSX0V'l(\PX@rGe3Ddpv}'IHф,?T20bJHŻy%^.̄70jXփ`2Ա3V}Żj3]a@%btnv<%FN 1Y(5.;la]~D0J>&. fb: 7I( ^KB4Ao 8!v(noOΙt:&5bRS8e/DVR`\Ds/| ѻđЖ^&LӪi?4Saӆ*waKTfT1=ڔRÞπ0:g se nכW}] ~7 Qj^biJ:a^]lBh/B7 exyX\BE/uDtUNa:?+k_{;ZP-u7h:˵fq3#sit`ocGdŃUFjwlvjEYAcuy3mX3m CFtoG++,ȜzR [,rh xU{-|XiK)ժSNćT<K?tT '[gשNاp|P*I'7^6l==, h< y|4TCa.t+"ҊU E4%ę&  ]q*QKj!*^juX"(܊mRl [p;[Meʶ2}_Ɨ%;SJ}{U=ćz)DJCsSS:lۺz(u%|`M= Q=z'Q>iͪ~5Yr9%T\l=T15g묃+H/xk.,UdyFaK`$>kG~ ŘZO*{oi>k\ЍnD<8 E@PV1nj6yl"R`7X/ "a:tYz0mXRޗ/2Az:v{r#TQ-fOEm,Jb"FcQ _ݿ{~JkZv#[V==竣m(T_dֳUsܲC} +8osyg x3Lӡƌ&!"2x^tvǩaXYl&L VMIc'ȻncʹmBA9;-g ߄eVb}aaR= CcD!VN;^5zXM"c \YϑA9\yPlT |rIyj-)F71$7 悕߾2df?ׯh!,~h\m rB}F<%El (GK j"1]LX~jF/ _]L  Q:x|]!G/,Af?jND!1m#Hzyx?XLFNVqKЂ&4^i8&SI>PLMK)V'4+V>#q7^_HL^hkmǍ1`C tm"aH1S*a єd#(H0Մ$ Z䓀 bL:|v@gУVk5 S N9qeqVN-p?)ɲ>]>ctAC~'Gߦ˂G44$048 C(&C IR7FQMI]¬)ZXRzڍCrK 1`oEտ3 *_gWʶ*TAg}j%] C3,6椆Sc^힠$eDf @% L2L9R@αK( j.x 9S(cJ_'eP:X^σa] abo\5h$hv1uhuK69Kn-Ieo>N@R!v r3qD:G$P3.RO`xNgGqTҭ-Bc8MKF_6(t6r?c^⬺mO"t3|_}~ktėznlSgYz=lH;h@uz C"72-hte$7RXLE^u;5_XR]MhI|-%4 ._. Dljzتvی9Yb{fDI=i D6zgIJ!~3ZXJGLt{ uB xα0z'WXoA*<qV P@3`hײi])eHWot9L'aTIKl-ݗ_e,ñʹp(|bb)c ϜDVFo4~HX h~DkyNNnnvIdq$7϶ąbB51):a(P)^$͙tExuj¡ŀ>>2zo4pfwQ̚?-0KsmuyN"N *lSm[ gBmRGVQ {yW5LSηr^HȈSUv^c~Y[=BЊ~t`y7WO 8Swh2¢?r Ng7qT<3P4{ND,v2. hT:a޺'' PF9L(!oա8SZAz6&ǍFWx{i1[pSCrr)m@FЊIۡdGt^[\o *ùS|RE/(ӈZp~FWDlGA:-&f@^Y.6M$ypXMfOre@E V4T {pq`]`:)xC?qvpAAޖMSo"V0Z`CG __\n{AvɱKNIsrAVU5jfa<3U'㹫 8y]+VdgV@X"SkԋCcndH-9 Z

T~? yN%VϮj^W$pp:ZQR.D܋kr:GY 'O\(d/4Ih*Iů+\Z "'c-iި@v Ii0F斀@0_̼VdkՎLO ֮'qKk("wUi4m[˺wLHa%O5`O:#VE\*MAly} mKIR[~z$1;_7nPۘzVԐ $"P ^ԆSLTN~Bgp3noW;/`ÆT.M{:2>{xe>u>CnAC?䉉(\Tyzm`5]q*0 k"SȎPyBEW#(A̖.:|矺+MOwQ7(-&zy6x}W.Hhۀݶ)>!#/AVbiZ 1)E`41fwBh0 .p {_53{arEO M{kԻw[HϹgL{!7[s&eES G8:1 f8ʹ >9<䦠c( ;U@ǃ:5-O9g+ѰQ9;syǥlJnXv,-<(*%UcmWQӭ7Cb!wO>JtʺlI ŏկ&N2B q(BÄi !vrt 9o*fG ʔQdC ZC$LZ])L8 ;GW\)duWOhWW:WFL *AZVːQRo)i_.c'!ɸx(2YCv1zudTI[ 3LU c¡}>0/t($ӆB`z`UH|u3:Z~g'6^h vDZX.M:?@BRH\"'yN-R4*AOeWo͏Uǟg.*t*:3tQeķoO_isɌBθ@PbM8q0%Y]^Y[眧(ީ$m( ˪c%)U ,&u'G{ݱSqGbRVe ЉL6u)*u?O2%#2g0ÔY\