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  ><  ]]Category3:threads=4elapsed=399.023cpu=1185.088gc=63.544factor=2.977zXZִF! ᅋ"]ŗXf[&wΞҌyP9Zm(%ydwDvhS[8J݄ky߈٢Hˠ!2#|{ ӏ/fo9pv_ea 敼 <V]J]FkHkJ ˸W^@K4q)JI je|j.ȸ X3C8+5wH?trГm) C{c2]W݃f2G K0QϷ96gٺ XܩD:3C5'kOdS13&1딵's_P)zo++lPI~rX NP6kA "'ff-m,- _z&B\f?dN6;/ 'GnZi$iAq#g.R65VT܈r/j :F TM.RLd җ2 C)NkVx>G,eQ 7VwMxd&$a$ w~q n3R<8y8h3UC>n d)+߮p^2 be>hͼL:< 4k. ^HvĞ9Ya;-"wREDٞ ݆妽MϼFC?jKq ,r҇cn D5xV>nLRI&ds%.&/e0p,ShsB L'zXٙ/NiOh:96xZ0GB.q:&U0~0e~i&V]x>MH("sq$Mj߻6I֞P罿!kO&X egpYְa8w֫`xew_qy!- % 08=/WEjil8fyk&k5A^kײ7l;^QGs38忒!§J͂xhAEbx'>Wq/2gJ\io}X]A?#3FڏB; pU%vm(¥אJÇΒײTqG2tp(qy=uck4f'HS*w¨݇ me[-jNFl 5C+f)*5pt]&@Ʀ\18eDrō);q *]TOTdl 1jՄWh Iq<*@9M=  昂ỶeI .EqQ~a-ۅNևvW\2cPFLsiH9{':=2c(]'4S2|~jk_Ietx-"}$Jfף6 [ѻ2Sr~Pi _FV |ܭ{]]F+`+9`#ʘJA$   Category3  iOڀ D%Hx b МC~T0E^IDNPM.|M0ڱ?-o_K>>̎G]#Zs ;=[c} Q.rޟTmE[yZkp4}jk,c_qO7Pu$?Cy^3r%p&3N]:Zl%6Y ix,b[efbz۽8IwzHP|(E+FA?Cz *,ȼ_N6腵vIi5Le(}@;jਐP+_! C& 8E"'f;OPm0g8͵[:, f(<i ~8칡u1X#Y![jX8ԹKt&P Ds w; %9z7` 06j ޞpH% ,.6e{Mhšd yqSB苰:uj&MwT c̘PDc8\ۜI#6=}ln#|9ˋ%ϞՉ) EڲZ~UKuD] ;؄Ccq(28y%p<۞EtF:#?]~7бUCP-9i-4H4jUY!z q׎;pJ_9o!V[ bl]kQkfKOzmM b8/.3(COay⿭Ua1p0DF0ul>Ffj$!Y&.~k!UADr?)6.j9<zKz8rth'z< @%o>nts˘GD"&! I}NYѐNaBR|SBG56)1սBQaQg$ǔ>+dRv+̦&70'ML@g{qDd&YwJb1ftuBHŒnJ?{8,"ؑ)֎gåw;ʡ<%^)K{˪N-l TP%J҇o{O%A;F*Qi//& ,JYj0l iE_d̘X , :Ϩg$ɖ1vƫ#6F5(:_崏רYgm;}* u32Gѯ E36 B/ x|\'AOƵ vOj,R=G9uGVc7X](Z%3 ,,)+d~k+㒱0mBr/9 Q ,0 XT:\($}n5~ΧM,΍uvT *W 'g_ѸL2h[;Z;Tzl!@ nᕼҖvh p,p1*PrMFsD4w` z:h__C0O}h4xǣ^1nP?Z k3AG*i99Ghꥳ hK]j=ʙXt߉F9 #}DV`ɽrh[mQfxzS|3Oж2^o]+ܦmf5Pwgl}j;{ &6M}yUm}{Ӭٱ*~iWx+K-\)Dz|8Mԣkh,g^ … {4W!LΤLlƻ,ň%o qsܬ&[t:<*l/5N2>{tLJRQPHXKg_'Tr SI#pI3oLCe҄ 9y5 #y&-A /}Z'BRVw$$폯Ğ:bY@ odʇZ^ⓩmiXJl{jOwMlc+AJ7Ւͻs猃ֻP۳W_hUxZ7aoOe*e4Ľ<( KGTn(a553tȜcs'qoRzY@tcMbDW:"nBѦ6;_ !ssN :0uTHH8RǸS?JݓqW&**ވXmQ4(b_Rae"Bs]JY(r>*Nܞ 8&s ț@NS@T ue[6#wLJ 'hͤMr@mXI.@OOsy~]B@ԓ H\& ԤmD уE6D..rM[PIuAռ #`B;c32&j3.Hs̓TkjPFHo+QC瀃V%RF;ze$_ݟZ_ⰹtlI"曙}Sm0?#id/zN2pvUϡTq~݉`v%!kvu5ȟ)9q?zƈx,*jia'0hK祠E \TZuMؚ𠱫OͰM-rieOㄷ3L?0qr"ґW{H)=3.l^FԤer%I~mB&Oݥ9'l7AxgA{x(Xa^kl|^Ⱥ?)pY:q_Flb5e 3xX@:U"* cuw1ï_O,o&/ iQg?m`%Z3]JUamZג+։pՖpҏ4Co D>8BM\Dhk}ޜPW!R!0BlmwsP D\$D^Qi %&[<3=s[rܑO,+Ɉ }yY- ׮ʏQ#32z3ȼJ[y/LkZ^HdXWEZ5>谉)c&uuy`y!oW[7xvꉹ4<,%Q2&,cWiaÕ^v' KHS>]V~2RP5EC!t8~LmbVZN}?ď%'.Alv־I:)C!MpQ,iwK7)^~^Ahks|c9v2w{zmb=E*ṈTѮ +YVɶ\0Ҽ8?uO aLknBC/n6BzKM3n>lo^'Z\,e?)RͥerQCź*(Bhx }_犼u3 lD/Wx`_9>.Ę5/J>P} \A PŒ!D~R9}h:[o` r!_hWLxbNX4,/S'ֶ Mi=Բ K WQY_4ukS}Vڭ&hwf7 |"3:JT֕m.s&bk<*o]~C8sXb'^+Wqlpӊ"ryO^Z}J"3Ysp08=f:P>*I]c\{TuF;Gif:Kt_[QPlU!o[?#d ΂,dP5w("Ke1c3?ʂ_xP83m !Wx(_!۳0Rd~[|j\K (TɑJc,74<ߌ%UbnA83ُLro%2NVHDt(d?msʘǺT;̺OC3 +(Oϙ/A¥ZɇsOJL1@Rm)jK3!hD[8C}'j>wRCkqJiA,ː9" ڸ*00M {Z pk?V)k^X9,kѧ`P*HM&@dbw*1|,00ڈ P RD-xi\B~vu5vI 6SAsچ0Ja.`;!$ 쵬T@۪v o@BkԝQĤN5D%G HMשkNzHh;n=ea;?j[4EX:wgDHH* (GFb QfBӆIC-P)5).USX׉kҊ]St1&}A&zީ능NݪgiK>+4r• ztؘO4Q‰-h}#eq6aX_4J_` gA6H/ˍS\ViUʢqvͿKcE}1M6?{`{g4a.˓\Oȃ+AfxmC{4e|W e $?,^J *?ShY@#/(?:(jCI'DTz)d[,iڢXY$U9̡[.;s0Y~r'tbR@WfNV=sj8f +XIh8ikclNp%"`LK_$et.ax*. m5Ոxkqʼnb;`V%~4|`0~1#}H嫀xt+Ih5_'3Ui&x j ornkw$ |xa}>5 "T/eE r o佳f|?NmPLU_մZr]'O,d7v ɛ }'!E8ɺ{xArF|:lAd7ك@Ǚjuj9>kd&D\3ɂ'*_x-k"QO 6Yz^6ȗuj0` >#W2>N5* tj!S=#,( $.רu4m B* n=t QPEVCTr߅ 6wgYZ7zXZִF! 5]ŗXi%GJ\ROZ8>1fOvcg^p( _5'}7hHuO-Jvh $&b%#kHѱt#S zNG.'SP 1FV2;ON؏&ɧ?bDlb<&5! +ONg^ot_YɶÚswٺ= 8Ҋ.|Z7 u KֵЁ =K5T7}&^R$64Rj[Ѻ,%ae~[^=XCsB}Rns{H K8- @ɩq|a}fl!,I~* ؒ`$a9N/M:0_6u`O3@7[q|׎KƲW69&,YraѪYOm~i G{>DDђB3')C7qYCEO0h~Ut@R'+0 ;ڨ v:::YR`s 8o*c7*28H»J#m&M^D> ۧ7>U& 7WR4DޝV8s;4qt|<nm;O=O @;%{bYEZGh)Zo^ *4 TvQh(wt.h`!Z)!^>LWi߅;bYW/ }hU-P1y5 Rb`/$Gn-~DNFp(9kjh0&;oxU&driyJSQ";|?!~2őEKFa};GNGZ20)I(oy( ztvn|&M 6b<*(ŝP|߉8|yqW}TMX{Z'B7"`̯&|-'\%WpU/3& ^.5zY*C{_#@Ru#w(^LuniKy;Pe/mRQW51+^4}G&g&{ MMOz߅H=M&V) @wU,1ͫpx_t*_C5{ruyw3CF2f򆭢^&@2ZZi'T^NX eE4יPUX4}ݛymx:il^} j=gʿт-r*F$dLJܯ;7 [Z<';rGP}=ʼWm(^UF (c< Lxw."7Kwt206J;z0*:Zj.hF B6&=&@P՞rI_kw& x͈ E:rD+_ =) V,?N!BQC]{b +%-26HQ`jEVlܬzB 058g~鐪^M0F*o&^Vs5c֧ƒPMԱo3vz3>$fDIݷ9'({>@F٭ꛛ2gΠכR;Aƭ Z!?֯33^'SqS7|~붚)p/gl@AJg1(G"KBƧx '> NhIFWq,hm{͗( [rQr-p&~ fC2hb{㾿UAE4HlYTW!6\9?,TԅD侬|#u"Bɝ|c|(]|f*)kGt_,&nV(E.cUCAn$"9nPwm,T[$,V!#vY7xq94+wBAW l9֖z2; h!,KK1zm/Hu%E(t>oF+}8c _Ti^d4?Vާql"')Y L'mwdWK :V[oZfW?XCӒ ].t I[<%ll$h{Ʌq-1.M d?$=2k]Ii9|MS!玃B\q/SE]RY r!h}DXOZ#(` KA:%b“KȒ 8.skx.UfM-7o;<(ah^ci!fuf_ķ"yػ c׫yG$d̪bA%%HƥGTp=,=EbFv'ɡi_gIG,}RL0RS"S7a|[I;[5/Zzl)T$溞:fڧToO@XR,|M^Rw+tepfy?nj/J!0$8`=0v[ɹځ !6\ju48Hܰm!t0ɭ&HJQr W/bI/|%[[5k0{-M5'("φ"<:K y *iJWȕ7Iѵ f5~[k*1Q/MʝУ_tY(3LP'ΗH4Xt^!k̶fdo<P̺! eaIT0)>LW'dik.Ecj?ʓ s""h-~z3Ggoo/w8HY۟8h<0:>T\旱Ty-zIľaۯAc(7VF)-q5Hjș &Pr0P8_ܒ`dܷMcUȿ;@(媀&&KINRo)WϢ4\0B9v*Z/qCYi<\ƾI}VM}%SRVA`F+}8BzN}=c8I6GE:xDFT7di6z!=oJK%9!`L2NSٵ &"rqQ[0`I`fW|K<=/?1U0&71(h0m?dA fkO^՞GxDS<4Hcw5T hմK*,-+ے*?n@=/"i N*e?c1s;~upwzEF˟Xa\@39;[o\+;@HCeK ]үF f q궅/}  BP¬u Gz {xb!raXpc!;2nO_SyxΎh;'DO9ɟ+9 kz+  |,u!tXs9 T"W9ʠv^|q ({1 Eua7rq @Ia1 mǎ,P6/ټbɩ%ool$Zt[$UŶgSyLHF`4R~|Ky_׭G3S5F{--tv:WsSy'%Ggz3N㘴+׋20hHC^4w!7 wێ[%6D4lzYԬ(n~uFGF׳ l\czQrQ#\SSyHByzLH{w* Eǽft "vg^p+fejnw!]^wg"UL8 j n}UyD;Ρ D\!x-3t& ?pWc9:;٭$CCSXwb|v$t=z)JztRDP>`sUޚ4l~DVYiϦ `ZZQ*hMa׮g/Erh#3m~,?0H;9m9P1C͉)4UkGuxM&B~.or_<ဠS3mefbޙar wQQ@އM~:5ݮBҔxKnclb_JqⳄ$I6}vN~6*I wȡ#/c5z(󋆏6uUoz&i2轙y-M)ca ]]zgTI7_pJEsCW(g^q$,|Ch-.|r]/_lyZJďoL%h 1dO3} sLq}F6@iE؄|e CosFwʳk߻6QB紱3Xf(̆ui`j`n32]}WXN=Ԏk׮2zc/;`7U4)ď=ovJ1O̫o-迌57kwxJ _ ۣںA*ZǩCgY{WC:WIEG%_OX"j;sy*lJoy$ln㹌?=z\sl m.6Jc0řudE(^>o~|@axl38L/Z-1:9i޲ W˃^iImL>srϽDU9EdFJ*0nrj,|*z3Ŋ<օ2ǃkw!_>!MH)Ϗ-DO Nto"Ɋͳ?¢͢}jmI=9o}C$;Axfid.BSMo8jYLG-OixeЏ;ӫ̚LykIc;lԞ^k]M$h"$dI=!@+ז#fGOO<~3~M| ?Ey@b[ Du%!_fo(rDLU\zS~߫Ii&FH0[4,gUS~i+ix%ҩ9*Vh~Ds",VpqHH!ƌd{AVsj4 L=bpc9\2j qIWI+f$Tӧ/+7JTE%Ateڤ6$)B,e](꩘C\~CbG4!xH[m>VҚK{ߍT(vEaݴfCoW (( Gl1 tIX=8gʗnTDBd|}QܵG?..]iyKCkY,3C;@FF)ghR-.n$!K> Df/_JTU\b'٤xnyO |hd(Kɺ%Mp!s"͙G^ @O=hA/H٩Y Y&\Ϡj?#>y65P"ҦKgu|ʨA"Ugn~ӂK#큗_uK_^ٯxLm4/u؎Um4?oLMGԃ.$ upT|k Nt;ԭrpp-LꝠ;[VǮOS8{*z\LBݙҴ?YY$(> ֪)}Ze`h3Uqkɩq=%+êd漴=Xʹ468wyo4qʂxiࣱt牎2Jb.}D[RZL߾bυ u,ߓ)݀pz^fd kVQeH8-~R%KhXF(Sdqq / 3A ^J^uHMVOYdolFb'a/ϰHmj Gd!I@@p= 7Wu3d{"؍J \zݧIVg+)MVhݵ^Kh/CY D x&r_$˷ ? X#k?v [H.땺C5_"EIQhy xÕ,Ej|/"퀃;u*n'fxk9F*רњ5Ie ~Mu_,9Q))ݒWAs?4 9/h2T[&`r壚G mH|-"xOҕd0p?ڵZDfW$Bao C(O6Za۟B<1:"ZH c鉀[+2O Z *E觀/}uD E%FpmsB˼5ЧjG+qA}9 k,wQɘoXNJ_WwPOg5D¬ ̲)?(@o(jxmpcYZDtN ]̣>Hd4!TA6]8ª9An ̓sZg1`p'02hm].qa˖5nJl 4nM į)^W [Vc\ ~V ,m|4Y rw?^;WT%)"hj6/˔Aqat-xPNB6Q|S=[Lʨ?iS6eOz֍z֌q2\4S#_蛛HPg-Ѭ)"C3!@#V|Hc={Ao :y{voqT=@J9ޤV#F12꟠aYu*s[`U3<6 L~75F"dp͗;[2No.竑ZMQu¸oˠ293Bx ={*A=vbc1Q}C;wlt6,u .(P`Q3!`ԍJϻfէ?HAJQ3C/hFB&,RW38 ڨMoCFy )*#o;Vu лW0Mu&mhtL\` !g~qtά 4*V Ͻ? U=6E-92Ae t:?D*Z4"zH%G1Aq,?!E82iؗZ{cAZ#z꼽yA3@8ėсRX 2 ^\2 `;?eVo_!+]J6Q|FLq8ђ_K~ifhW7ܙ2~DϬ\,-J%iSYsrdviEZQTv$n׋Qx>*ccfiBвB$P&C!џR3G8Sda<lacjQ+;VJtɂYnQ Bw-$6{>\xGg#,zw=vZ^{sەNވCB5$HȨ 4*ޯ!#˴n`b숋] 2`:̳+xTVc7ӃIꭜ.E*HRvQǟOXT#"{ǴGZ0 ԲGWNzsr߁G^Ăar6q+L1d8r/4׈ 7X'sR q1 dv:r: pJUre[Q0ֿw49ۋf&< 4^r c4jjmPUl|j }~hǐTT.ќ:]Fё Ly}b4 Z FeMW1@RfoM'H`y];[Bہ/G \>W4$t{e/Ne֣Y`CDu󅿶(}tcdQeZ3 ߝ~nb!&lsNy2Bϊl}AOij6QRTfɣ>\_Y))Oǧ ^OvmMBFgE8\1Š-= $ ly9D^+'Ѓғ? ۯB͔K{8޽<\t'+eOXPʖF<䖐-EyC7±pS$jEkNpÛ*(?말;{9$/j2FBBGcfVC&G, {řl‰7(;`8]f _!ĪW1Zfl*5SxfyU|Ncn6o%v ^Of0dϯ:.ء3fG ^v 54584?@Rc_W=#:`%%TS9Aq fMVN6$*w݅x ':KqMes3Qqg~Dh[Wsp)܊CBr? A#<kahUs묻ѽ<](]:3#ar\ uqB %߷)5f 3x{a|!hb|걌rd<RqKn_ 3/*} gԌ{ ]IErӳݓeϷ?l Av K#!`kݰʱ%_wǃSR܇qg x],@^ n_:}%XU dUAP[R ';7,Rylj˴c{Ӽ"`g^4`ࡪY5~(G#FT EFu [nYxKCzd$F`$UIulP.@qIdaU"DqN;D.G(H: ${o˻IpF5lGZQ:X!0lw\*ik/ąSgl=dLnvu<),%95лJ|މb~.'c]odAyE ͞v`m6rcSHFJ: ;@m˼Ƿ1'N<I ^:ǙPv$b 3&R28ǔB^u ha5MH{H;Z~DB 󝌁 K[Ή p4r_]HBlZ"ڀ.Ҽ W@+-G C o2sn'0XI@bT-\.b*< y NЭF\3+[)nuT+1X&zhVk B0(hRwi>[7EkLh9~p\;ʗp׋ ;u2-t2iQ=ceƸH?t=%LuY{I6(XS\{R';@TD&g P%Slwh#Y->]a UcLmIlm/yMmr(+cp4RKùǺe8|ۉSqs~IJ>dg+7 tW}u[> 4Eb,{zFjU哞>"459Α 1z[2 BO}UnkLkU<@*9r];: [w+F]\Huvm`mmY2AD@I>_7ȓ#%֗R `oi %ElKa Bg9N-1~"ܛwa:wxg|gBu"Z@)i8'j8~)#ҥ,kdrZ5Xe+O! lĿueYPϓ5Y?3]&Z{uw=frPzՊAsX7cO~._h-xR`ր(fNwǽA#rI=>K$ '%'LfŶZIbfY߭5[tl)-q,UOGZYjn "B3FRiJg/~y@u6$d9¥tJ#%S`o컖\Z>;o)Vm5r sr؈)j؎<&Dx`ӓTFwes ,e#7e}>f!b%zNyגQlGi$%vك(=ߔLԦ0ޤ< wft$GvkjaNb !™ץ3cڷ 9/ Ҁ'iaɆL)I־pq[3_ YW`fj$P&y9O(&bڬQJBHz^p`"(3TNC~T^tꆢpuw"WI^]!m!)# #WTuYHN?^[IdӋ@&hwWx<:$dLxګ+ʞLVpRptV' ~kI7y-PTtʹQ.)xig#g<#@jƪ>g!@jx`ݺDUR3ME}9uV 8PnFƅwG: b],D+ !|zp=IócCk1TWNTJV(Fǥ +@Bti@1`&es+ɲwUËܖm#S<n! אLfYX4._߄mq05>7 nd:q򠑨#*ؿm]s$ R/Zt].t=:zp?é knh:i(ͺϠڀH1n0 V>u4j^ffFNG¶`6܆)VlǤzҠ1ѯQyIQY6ilx2t>>l6>(.pH-M/v<$+qHG/hEOy'5GM K{h/gg Pjp!ɬe`N!N?DFqL:5,Ȁ9,6r.X6Ed݊}@bBp,K4~j9P4TV;{JW_1vդ9#`9$ҵC Q@)D$s@i88-9<%K FJf|(_$%Gn03 +^twC$XW^lɵqN#)yO)}W Wޏk/id6'Y5KFYL{cMxA+U d[lob6Qe7$`eLYf5//|v|g%i`GԄxy' Pwُu0Du }T.U(7|08b ܠ*Ƽ(8a:"$'k ;Ty|wGTO˕9@g L*(-r}c z*pR>Iy!+Ը?PVDVK9Vk?~ۜ"\@$}2r`b(Ɂ@Xt&C.|$ 4&BnTzg-iIN2o\,4>6]Br||)~orpB<ȧA]<{y34{*Ex%heL75x4Lg.y(H;|7ZSH <̝(2t0@rL8N^`N 3 Cu$7s=1ZY4 xI:5U.#>θ$u! y&x: tgN@đ|/<qfT ; ೊLmLmȁtjߨ}f?[FR10o9ڠ;_!Il<`P*?]\tqdA*lmxI6k<#4cZ/琟HWM뭶S*M}@CUEiP,Ym:ub5(D& Ee>ck:u]:6, 5j0<*3C}H7Z!*$YϏXΐu.U YOI\ɡMQǤorjnnp{~|\dbRLly V:NO`ጟn_l5uNFD aEY PY1C !)gc R!O    inU gQǽK9={>+rv)avPDX&knYӂ5H&y-ؐS-۫ʼnhGXtjx&#N2 G"@u9ԜQ>!+sAeOX(7a-ԡNy%cݮqNܿyߨA\R>!׾p)`-oy =7Əs9 @vԡ)*=!r2պ$o;2_E~6YQ4y(WNXm+ 7S{^[{oЎgzD3>1{CB(XnM"\ʸGZ)W8ix]0'ҔOا>d̉u4$CYFV/ :I3 I:Z6gk >!/FxB9#+E2zCQ}lAl!ĢbOO4A+H4$cOFjP3xo3R"|,O_$yJ11գb !S]7p;-Ow(7eTb G;[5:\S_EnjD ?[ a+N"~<ۀ)uGLcE !ZƢ6Cp łhH`/##N31BoHa1n̸FSvu)^d"MYó[j7&8ڃa"@„¾ @"@Pp+ynS h{]U8n%m-@)c̜[!|b=ˢ?0ON~h *kߍ\6-ٔ^ ̈G% 럯Hг)wOfP$fcs)pZ g)w{٠O\J|$DnwbiqHa :FNUD%¹N[2 <U٪T3 F֖|UGs'&Q1sQo*OYgatN6/G_9.ڧ =E )H~3+{.gۣ=cZQ'*9o[.JϚ I jŻnaۥ!&E3mˤůtʛ]2Mt&2 jr};. ȍ9 1j.3["lܚ Z 9`>T%[r8QًwG5lx,{3:? : %lq} h3S0"-[zI|gӝqp}Ŵo02 x# Au30t0"E1 _Q !JFgMÃPI*[ٓ@D8si L}*lSBBoR%]t A}e0R?NַZT-g^aM*C|i>P6jqӻ D6ߣFů/N0!d}0XUlTP [ZqTx<>i׿W^G::~ 8&ȲHョ]eE!7Bq9|LRA}\s<4d@8'?}0AZx~_B5v%~1Fp=zVҷx?6۠Ok"|YGtw9:L4\PljSr*4>@r|":7;> Kfė20'X  3$m_\@G2D2Q$ /ޓ#_6SrdqnO+);ݐRW,bVC#78> ZT҃t0=1Y%ٵ5"`olL(R2LF,} IgN;+1 lMy}*K"(c?=g*qGd!嚏|/wm>B~sRC̵YGhG|q%edʎN y䭱{r dW/jEz1K6p+u L KM=x.[F:rTe\\IPR#35Gܾ 'XX_N̩ܔu^k#>kc'8C6z qwe-Wf5Tf02[z[BqWMӀ(!붌W3E*_hxހM u pQZ%V%2;?mZAnjXf 0|p2'lJÆk5՝V]~1PE7;>JsY nb,(ַJ,W*%%4R&3{'{idt#]R^髥HL*hd> mR@-U.55JǨN*z_0Y߀6HH*wq<=T)Bxiߎϩl'.'6?|%3M+y]E|Ӥg.5ABڣ>fSg I3Ю0rANyoTgRdž|4ܾrei"$%M' ā(_WzS-^0*9]3=qfA\V䀟cM42 c?`Ix #屮ߛrRzM'cօ*Nږ\FЈO)0x0[ SOTn0*v% kI5ˊ)EkH8EɐAh\đRO5?6ᕡfx !Tѣetľ*[ܪFhipJmAtl{;]r =?O]Tv FB}WqYqwi#ކ؈ݮ%{ jq4II]qU`r}W7tNt O= I oP!*wRL"om96^90FUV'3O2],nIH@N̂*2n/ĕ5?x;* duSq2ΘTw\ }}Zoa\_kHCY=9+RC$3 "_Yw gDsQV˴'g6,?y ]TK@x8s*> eŗi"FBL1-w£'yc_=#ŗ;hBfzE||bW|ȫ}ӊxv"ʠe= N&DGmNhe7wFbb;1Bؤ% Ȗo;c$> qs0~{/҄nT?l>KvW;/016AANpS(E=5vɑ`L]{'"Ub)\qI< K#zeS#OvfE,EFxw_oQ2<?.3J@jgm41ItGg@7Ş}ziVSxx h!›q9n6*>=sPѽ+xp W @'^#w!1*VObdq`íoܵOIq \q3a~÷QRғ,V`ޞ~e`k8Q܅ڊAߥVKzdv ȫ&XMɗU#Td4]A/͊v'%lϛ ︝p_sӍ!I) 0*5EpJ9̬UEry@PyP x'n`X~|ӮػHVՖ`ۣE`o?|Sj$:CF(>}MUuViLq祈Gm>cYmU<M0zSw8V cgUm%HyAOn<$S>Q^K-R$ga>H&?%;$tW}lmiH7ݨ4BEus!ZJ ;he JЬosP/e8D_. `c3J hZCœ3AnayўE>jA1*[8X! STVEn;fس!A+vC t eU[F|o`^' bk5i  jcYh-ӻFN=Vj^ z'MFhϡa߉3v8طd”rjEIHh0z <l#HKppZxJ|B]"Rt刟~<-"gdYd肷9˧0=.>`(fo|2t p ?{F壭W܉9٦wfI7W =֕&^d9&2ae-]w7..*GRĜS9'sp \!R. Xy!1X2Ěj/hHΔUN<%Q on79"U/Zcȥ+D'1u3~ZUXA" o0(%HN߁Sr<mOcT֟hqKڟ}k'w*\sli-:, .kKz7LHdFRni+ b{@lCxwɢ&K@3HE: %S>ԍ1j:5KQD[ٲ8o9 @3  c(Q4ä uH(;xjXW{q!Ab'2 2noPo$Gif~T4u=Dj!>į\3`s2O!I$ d{+smC |B# O X3 mW)w{LuBɪD Y;y<Ƹ݊%le)s/)E:IPnف T7E.o_0e+JnSk\ Ck61yBt>4$*: z)t TBQ2-"̚J@n37[ky ^ӏqLD-O$8e8k'1Pgt7ߒ4;- ٕŒz%|N_gܑ*/ Xӎ,A,O I;ui|_?~3IJ`Mw*;UH hkVw/Y#etly)S`?:ì*mxj6$ 1{F-H#(yg$yaW"‰ʇc3ы:n!cj܋;qvۮcrz{KV&*|kK>&,PfoLe[*xg۰CFll t?. ]L!?yuf]Ȟ( 3~[4j?6pyIBhz#)2h=Gii.9O/]&G8q}_~+qVI :ie]EEx!FI(ԥhTkA>k!3v6?,VT1n~wFdž?fe1cy&)˦.R'٤ ^P #2)#ܤ܃5 Ҋ5J_DF@\ʎ'J,}]WԳ[@ ,u+~I٤Qύ ̜1f-i}C!2f[>hsH@j1:u_sg0Қ8LJwL / JHsZ}r;4 }5 ܗO01in .CvN-$?kɫ~˪#it;`A<+Hq_zh_`OJ0+\<N2Â8yeKaRF-x2 ؃9n3nm?-C?0/-昬RgЉ&EW҃)yimK٧fZTnHwd*)Ho|%vN>{E8꣼C/@ 2_6 $%iX3 س)e.y&4_"GR8s1-[!`1n_IsX^v f͂[s8&~&b 9<"rm ˵VU&/8FɯXQOf QL ת.P34: 8# 5ÓXw @aԕ_vMROyEfj@jHI/gvx@ȷ/n~~S.ZNTUd°N/Þ3b.JQgӑ[ =H̻]ti]k{DHDW l:W?? ד֕ԀcuW]"A@27,=?G-]&#SQ RzNAȰ$Pȃ,q#+E옘o-lz .w;/ ATun;CJ_ Bw2:O`(/ B}bhO9dyrVw#:'Q_' .ƺ~x͖N R1P) A9[`uyHpf K"+\gygxCFYFc 83O WH2#~RnQz j2GJVjK0@*Ù?k^W10aI"ͻB ?ifElZF<cGߐQw\ԵZ?RкWH#CYп\i:diTo PnTnb%, 2#o#T@ Հĩq#p3WCqBVLн >e>f= FeM/hU_F uA\O[5!;a&CJネ|m*M7gzct˯Lpl}DÝۍ'DAN e 3lZѝo6DbfY:%w/|NtLCy]Fڪ)drIY-.H8?2Ծ6ֈy/L o=M| 8|Wft |ax2M##6* h{u c;,JPCl>Ώ*M< = uK_C&K`|,1 5`޸"P+5L~,L_Jx}啳 6ux-ZAOln|{zE(kiAp Zn;Q6mG Y.q2Gs=MH~4rՒj\' ^#VDAۿFR ±4{QjnƝ y""fVG2Zj; _tO{us թ4|F >2+VƬ6)uVleaD-QW5|]͡kY#G \Uz;J'nP4 h ?huhBH$Jv(l!bGVrΕ HU [(5P;];lndH||\k UBGvo#t ?`Xw hj?`8 \D@+I"Âe9 ۿw?{03,qO"湪Pq]v=9 3[ ~2QQ%:-P3 5"= Tka+ޕ)X߱riFlS˜[ P3f@yF+Q \ RS|(wNҮOJۡec'5`)elEU8s/h#Suq<m"cgP`>֭{.(Lٵ4e•M)yhHP,z-YVQ-tEƥ0w q#&[kWmV$en?6̏AJ^$ߵm]N*@ ic ɨ:vxg3X#Zy)R?9"&!a9{RTR >[܇PsWH{=}#ڧnDxDsr\7܎5^$ bUwj֧| ^V֎t#dh Pof=Y ܹ\j\$ |<`A1m5oVQϊg<=N^'^3xTQ_^ l(f vg1|d 1C$?@:"3 WـXr&3 pBXS~sEfXfs%ݸxOU*4t\;#$eFǙ/^rYƁpQߠ,r8uOS!ТӍmD ]\DN#k۠, ,j"y}l$Td!^kCm$k Яon@٥HUq R{%=?ښי ښM_BCDe= Q@Yl;|}b˵5m"&S 7Xp->ƖIklg\ ;)u '+CK^k@~t/ ~r䟆%cJu^Ʒ[eǩ,6^Eڜ@v-6 Gg[G|jr*!5 bhkB!L1 AR԰ 8}5rv(jV P>5Z[݇ Lc57B#G?&wO;;E3G&'U{$16ULd׃ 6>xcSDVLb2bl84{]-W4yZu%?͟ux?1M[߱wY߳J*W[_9<3oS;PѱZI<pᒿ ,Cga"^4Zv:%m$~Z,c4wl &V1 bw]ʢWC+ ~TL/|zzQ<4{Q];e0,6j74KXXCEi.@/j)06^DL`88 OZzl؃n$IU]Q۳I%ǨČ)Ds r (Y}R)9 eh%~p3jx%,Ѻi)jdM ~<ed;DY٦2B>,fpxZcNyMB\#-JTAgSV^_ .SrcZo:b"%WXޓf}ߕn/^Ɵ8]zR=}N C44pڇsoaC+kUo__B +eXu0%HzqM_L]G DDaxPo)*WSvE偯¾ۙc*LXF)ANUrS|_f(]}"O"u&Őnxw*6"S?V,u.`6]H ;'\;A16'aH! :y=l_eIS5]} C|gBT7>N/V4T f.3mlGc3@JQ]77܇;ζxZEMdrM*>ahQ'zL}tL$<$d E*b=[OCݙ!7ϝDr!ٝ@dj>];iRk?Wr1ޚ_]1peU]]r 0*nЛ=:8~Ht cY(<)zOsS&y @isZy3j>fr\{#K1핍ZQr׼t՚.?dk3,N 9<'3Nw኱_ W&@4*19 -qKpMhkZ\۬!cҪ!|+$ę$ e(|XЀ%(K'-1c1Nb~Ԯ3*w$ j-*@('f/Os@Wvmm'>~]#M MI8ΞA^1}=Nv.+qC}m)՟гJjQzo&saӯM*OK_S:Ujђ.CVR>C?p~3xk|)钞~7MCQta#uAɝʗΉº}@Dc fAf(J 32/OPb&]|!VCJm3)NQ~@.F Ň?y)!@3)6\T ?MyNC#6)6׺viM1"a}~Qs7թ˫r0 X{94م| Rz+&jՐ3n-SW x[xްq8R >²Q(2(8(}A~*,sP*#gYZb1f682b69edb43c492f0f97486f5a2de023213551795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d148f5d50f3dba1133f4c8ce037ecc2240ffe6f993