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 vvR1t4l ]S]Nat-Interval-Logic:threads=4elapsed=25.707cpu=70.244gc=1.6527zXZִF! ꦤ]ŗXiɟH)0%oɩvv10琖 ,@E]_CRv%޳Wa'J7\ha n; Xy+EœA4;::?}ܮr{bnx hO;̽6l=?TH /ppX=S V„l[ACQ/I&Pz-1#YXk[@DX>tNIô4i%W$3'#6RH}TrjI羬cs20O-K]!PeޗIA/yKlm.%Tخ%G@X>Uz%E{ UHF{pSwO{xKܗ~V;YD##aGgە/;eA}ƻ!$6O PΥB*̽F<ƥJ^n |LV\$v-lZWJ I !Ѽ  %,OQ;*0-AnX>>a#N~cdܹhpSBDAGQ?.zcf ?G{TҴm޻WnZ Q*#"(iYs!q;H@63nb2XlYDI>{1WA^Hzyo$;Nz^:Y)"\v$`Z1A9z>RYtt>Rذ]婧xHw.rL2cN P1C7k:-% ކ̣&v-a=ւ~:W1-q\`+UR90\=] }is ss W7^mQh6|o7ţJ& r]={#˴D)Y{ &eHO0l Z>6E9g ~bp- -w a.T.7q%' Cf?.g7V b=O zzaUB 4K2(=rVrZlS 1 Nat-Interval-Logic  Piuy܋}H 5b䦙SQf#c'vI6xr8a9dN䔴z,,X14*L)W[bn ـlNdÅ`I3Stb 9~ ݿ2vːC'$R!e<-*SKz>MF/-@b4zEߵAfW9c f8-q|Ҽ'z1#%)r*F9f=*? *U):8g;T!Wɓ :]"~PI4Igx)pfiv9:RB6o,W9 7tL}'גjFLƉu#.($`x^STKbb]Òki45-qdA8z5n{,Hl( uYfI\hAtX=,tŠʍhD+EϨ3MZ!`TNYR*]>L%VX,̃c^Yb4h6h }P_HļQ*wm .|!z>|,&Faa9;!164xM,vO3hSwaGDZ^uncQ.%*#j薡Y/i)n<ܴ \)|bxDRI-VYd d:MKVqĉGȞsi>yg`1~ÚjM ` qEkX]Q(4S."`1$#|.Kzb S Rٓ9$JfFD"j&b"e3COK#T,`,(1s)2Aud;dv͹~CKǑk!Zg3N*Ge0ØAѺI$GߌBagQdC'~ $fsZ ԅȟQg(47zRGCzoLXQȼ,<.҆RLfH =4E0&8.'–rʪ-7& xAE,$Ev*ŁˆybYCU/u9V-,:dȠ~',DӫZ۾-mۣ&H !w6pIS (;]Ӑ!A"S AR?E7csAjLKXEx֘/>,yASd;҅-ʜ!ߟax3\zO0%slPml.~ %pĝPꦺY"$ "T=Xۙ+]![;=5DsW]QNDhVwAy hk_  /|  q 6X#{+d33ʣЯ˦D_^~cl=$~zP JCߴ$7|v7sԕeq';*5y`mtE:O3KEJs++wEC$V=abŎ[7 X8CBޝçoZc,hP-Y.WTcKYRk&ka[3Pv8l-Y=w@x[Ub""<U\GpZ*I $%/N;o+4Э H^0(j0h~` .J D5U)0 .ZQ 7>{*`v[XKTnŎ=k,g;gwѣ֯$Т)4DQRrL7GHR5I8Mzl%Ahљ{$HI f&waPgqb' T1wR+NxbvdgSw c'_$@%Xw#*ol,[o/ ԲoBeY&"k@< wvS&!`r 7×tb`S)(X!*iC"J=fiMMV^G)$۸CﳑYUǷ87}$r%"ۯs0$X5{a29󇳮f=ǿq'@9"A?5u%:PyNʿmEtJaYղR>4&a_h A93n)=tC&L%ݿ]ıɮ{C$fDd q*Rǵt,t&/H5˝e~0q1#3#Dvgz.| >^4qB.<+Ji=:XpݗPY`JMթ,tdB?|保nǏR켈o m/Gk\RL.Ӝx+PK~*;+n64mUS̫ok'G\o?F*mg+pޮ?!]wQOLL{V^Hy ߥ94[q9~g wqSC:DvDnT]Sr:0#*_)dN$A!5HǢ~*]RA<>5.&ۆ o-*aČ?b:x o,HW4wK£ͥ&y$~<c/G[M$/&0+hצ7&Sck1F+62aUq"[&8jQ%.lw~,^[J׍O:2913Uw 2EԾsv.ƙCM_/h1„vߦ:<3ݲیNSm5(lK$4Z;\v+ghFAGa5E@vAgT/Jhܦ;+K?O+C,8MZV tɢ+ W^?\FpJ-hm450,?nö#ZA  C<4MoT /)vz>r g |c8\Q}Fbuxd# (ϫL q wLV sDS7#V+(칥W3 ~1f3ܘη'oYN=F$WDbF#~lz4_)1wvN[Zxۈ4x sLJtOgh-K9WqΒfw~ F8x bP B}TߐMQjBYn8E1^G YtTt6#[JC KٙOtAm}L@+f`G\f,)³67r6nc.y&pOBҗBlACu(F6n65i6p2c&;d(\%2d]%c 3j0Ερ̾mN]}BNNm<1۩_o*M2<_#1i7[ ,1xZD9^K!"2©=7~sϭ |ནxT8R‘C/扩 or `^YJ$)&>T(i(վFIU4wZ4: !""l,CŨO[ڿD藄3 t K]ڸ%%R} ~1S\% 개TM%Rd45+  ۲Baב?Ȫ 3*2ק XaQg4V <' \Hl8M0j"-n4Ћ D(:+j!Htnc b),NKb+^Gʧ?9? YԖͯmh}CLu{,wˆqr6Á)(P^v WXqK̆eOD[j-ZrμjIa -EIؐky[j rj 3Hw hfxlC;*}{x.r"zsod@+CB.;(J=j NCUrn Gugˉʎ4]8G/QQ⢒68q! VԑRS =.B#9&޻iW~!M(&ײ⾮!# s5;gBY\X( 3لU>6(zDKIGG13%Upa,r?P I1xdU>{;L ȇVvi 敐[ݤkFqqj!Zz%ϤUŚ/KՐ7U ťtjoj+̨_*\hR1k=-{|`c>EUoU [0Z>l~Qtd6$A#XFe 1;A[yg6RV$9X=C!zk~F* y./S-qO%3bI-TJxժFO`MS_P\"C9r6yhEWBq~"5Q*9|>5LPBdW/#+uO'˘C1 X:<ܚ{iA!/*&2'm UjUQwÿ1OP4kϙGNu+J_@gzo =.lkUkU7IOb.)Q_ opf C&e8 G&yZ^)_FSx H3?^р_t|ZRB)5ˏBD!O1j4%i9HbkTC@/`8g'8ۚA<Zn襪8hKa#;T@}#=Ҋ*cDBv)4Ѝq+=t|*Lg)u#TM3Bc") @<|WEƂ7Q7_֭ts-.ݡ\.e_)w-OM6#slρk^g>$L 7N$Ѐ6 s@MqW=? 5~ )Un/V.S {U .U^S^ґ\Me䏑~gV}ٺIۉlV#.w*YU\*44 x<"?D}zE#s|/o+~um+o؈f憎,bf (5A_vY{~Z͊/Q$=P]^=Q JcW73I`$_񪮕/'t=,xMAɱV*Βr`uBٟDkƪ@pPC*|қZ/kB0^׻ OP f/z[,*'`lL=q"o=^Wiz<]׷ٵй>'mWHm]?)Vbި4(a!;1jOo˹7|sex0(VYsUTj H@ei#n?SڙM,^BtJ' Tb;FW:€ae Ebޑ#_apѯ^M\J0VL…cA?؉TiѲ'q ;na Ue(<Zkan'FXNA%2#x}ʪ.j,XKlSi xG=/EHbY`B 5!%d.9f/U>Tע=@hhcgx/lːB)L."W^]gFБX/ںɻWOSI@KƁH*\aY!<kLP!3T M ow=+[ R8'TZ9/r[JvI!390d"p*A:Ugw Sd~rI%nhŕ$l} wE$؜QzRVŔktM>JgȥE[o%\*ΥZ }(Wf`{pqQ/LfymQ4niS&)r/PiΫ;Gq51fRh :y@'vȠCJT lPCֲ>); ِ7zү@%j5Ir(}4g4"C}p,Gi~GYH' XEXˣ"βdR pSl=*G?dvŃaj\U;#nLrs=fMrqEue͟K@'*VsGٙvNj x{cr$w"z`f7v sx! ӊN@HedTY,Oט-oҜ5.Jpi;pORfw1I"B#XC*qż&@F&ۇJ, zs tߡ]kk;e2y~'aYlFzEk/O|R*=Z/dwnw4 jkdǁea]>X._,!qAjlgS"saz~ﯥ=YIf`#_VKyPmT}Gp?;eS^e>!V?7ַ.$F,XVvߠ di'GWh9?f$nRC,1A5N^/@hTzJ/šiź)FN*v pӪ3Sp+Xy}#lnh|PԻkxhFXiVF& wJs{kpb̹^ 1 ,ܠWǽT2TBL#b"vdodnK)>0+e2DEK_ZD|gݣi~bQ{>l 1Pl+#Vp+CW6_ًJ;$~QG;m D>6:Gf qsϗ$W 9Rߵ?~lB) XT",5!_^tۧlD #|UiP(b^S~oJ04-˺jbv7hjKΊ6N&ZWu:Lz l8VcX.]#EihکznʅU'(%,yxr`}o$)gty\  ٢#xG&p1 OoZƢThti|b*OqS-L#: 3mN?$n>K@A$.HjWCft,L.} 1@^-,3ɜ` L+ ƽ`jtRg܎GFfV1a5d0kFsQ BM~;d0jxhb9[  {ʝ=R1X&<ߏZ A WTP2Z :J !wQ YOOR-YW}>8,ʥuFJ=cX;:Fߟ^c|س%2Ȇ9T A!:Ha?Tʢ|xIb*T!a\.r{MQ hJEK WZ{-;j%ԁNt1RI 91\aQ4KO݇Y^fo+$'ctl!zmEӗ֬肟3 |=RE Zs Bo N B8~#k>$x$4p9eGJo^JQ:LH]DO=5cڿ8`o:#!$:5k(edX߈șFot嶭B"z+Y~1~Ӝ@("OliT ? l{ JP i Ǐ;Er)IxszBуS0%z'ιC7}V,v^)hѰVҺ{ qSͫN,7pzx:wZ7#}@Oֳ,82w]g`a^s`@so'@/$SlO5>8]`Xq..7<(zDJ4W_u#d_%^ἌǗ#YW~e ђ d6L F(0Zl;x59  p6°\6#F ?߱?8,"x31va[Oan,KCE^Df*0ō|\X(ø!OIgrhHzr%wVvAɸ4/EM a{B ,N5y+"XE٪17B;&!\bFcٺN`Ӽ,ĝ9Qj?f>e?΁] oCM5>.Y:2C ׷l=c#ӉԜ8*%D+n#'KصUM,f*+Kowi di{}uTg ik)xxe1T( } ,}WV0";ilSS9p;DM#HTҼ6L>TjfbiT[ل> v ]e}VRDZ?i?"-pTv$8F(ž|VeQk.kI{`"Fw ϔKb;:DSjj2yԎuq*i3 neFA/e (׿+V @&m=Gȳ~lvVC_"~^$ǗVʹ!]>WRipZ*L%I84eg7kMjunyisq&gwi6ǺsF*'(iYZ&֯!MW}( /SԡJ;Se|LL3*Irb Xh rrr-ɸVvrr,VX* 1Rg ]eZrhT6ՠ9D֨U\*|&Mٌ׸X X9?JjB>z*xyҴz?Y߫`K]E b;75SEGl!S[˜ ?/+pKe5|/k0<.e3P˜AየyeHJu7*q4iB ۫{ tAՓv,lYXxѽѩmoj,",請Y #{_qqL!e}t l:oיJt1OO *'0Lya*י3U=W$uJɾG<ƛė~=rÉbR2K:9chn1f+iMNoNU"no5ju4Mj0@6\,{W!xUۙoo6sL3d2Z0-:r~#)yݸ6_ec(>~i560W0Ќ)$E^MOZo{TNbW`)H,qC3pG@ uYm ~|)3.}9/uD͔>.S4Dzܣ*%d A>ө=ْ@]NUrR]8:IZ2>ҽ=*r@hVFMǡIFs&C,hI)!Rڻ_Ar{F~g)7GyQ-Bj DyoiWV#ή"WBnn>8 Ki7kXDWz/n|RY!\J]09!#4C-g=_$yN-⏩T(3VjDG5YUn C,(𤻙}b0zQN1EȧP@AD5u`>*C8gMzϴK'ST rM@s?4xOӱ1HB5)PLTr@Q7:*?!O?(3KG0͎jãC@v=eNqbi*yǗƵp#p~ev#MczaZ ܣͰかOtbc|j~-iR?v7l6I'd'%ʋf7#P^̊gW-{X`8kMr|)`h^Vv+MK6V8!f'*5!)b6SjƝ,2Mnzr0&6$9HCNe U[8H?FM:uw8tXWw5YjqzSXIGZ'sԬi5ځ[q{]N@vzv 嘖[^BKfky ̆J&2ſlv:Vf( )ˆg-!4rx(`CH8AU`_"X'x~3]qi*?`JhOfXS8[xbZ5Yz{ymu0(IbN\BJߪQ+SDH"9ЫT{/ ]RV|)" ][7[Qcv-NA Sr|}:sJhZeRI #nCF+MM-2J-:#/>qȮIz" X >vP].@.$㔡'),EʶP,+u&y':*8\ TNJJ5+R-I|QB{ʀZϼKsȌ+PCL[hKW6a5`ws'Qr]K6RUy~hcݪBuCY|EvQͶL׵ˏADw#^QFw$ d E3Ss.m gaisܿ9'"iE$I$uMS98 hjCE2?n>-+|1@ΌJ6LoH]O Χ

?y!r '$|E"Bc)p&I7oY mÌín6L~S0&Vm:j=QyT0782fWJ+/fUV-%TyuԁfJcsk{$A`(*͠p&aM>s4p< YrIPKk~m0_)v{+BQ2(0e}Ӥ"QDY+*\m|{+2hV}#X^%B;V/:q, C~1 M?PG%Ut䯶@јmFCCp̳>lzqcpd?Av$ӽ9Y+ qIsQڑ>zU+0H҇Yu +."8pm>*Йxa)aT >q2}jڢ7ьCVGI ߪCwt=ab QvEϤi(5bKX^ax%y'a$8uQFt 9?#QO5,T^ŮCNRfl"CejC:v 9EQe}VՎ7lk MvOacp_E3(Ǯʹysdrf.Uv߇Oz[&_%\ky{4J gIFy`sVC=<'ʷ;V93peuB6' IdȢp v^me+^>2èb7`[aߨN%UYYn8@]!fC\Q H[@*k*OOQ'(LdDsǔU+;6 qX)xZ0T̫Һ4<>ZE.--~OVt Z .c9F֥f<*˧ഷ~ĭR{^46x&*xaFk ZRP'XSZ$>SDGDBTP"W&SgAqVxu.&./fa lD >y^d) APdlu+2#PJa[9lq}ˑ>$fۜ3F(\pC_ג>*ru7gYx\VE,ݚÂUǀЊVɍ)gBVa 7zPeX뮮UuGEb+ Ί=MwT~[܇o]}]$$3A,O>ҒH?&nٶeڊ ݛ)[q$Kh䪩̲⻅߾\1ǜY&7s4:b0r27e\p-a@QDNvy3 k̭,HAСk}j bݥ#i)U%jsFSۇ]/p$)P%Зh1qy#wtF?Zwʞmda/n/ۜ( .K-JRVƑ5ּjmVGշ?4ϾUe&vH;Z}"V?I=:m躜R%b1xt='Qk9Pp2E\֟3޷}=*K^nhژҝ` gSl b]V>j^e^Ct 9y)oWe{f(9uIzFj_NY| F8Γ10hr̩54I\;5Ŷ}\y9o@4bwjdcZ\*SJذj8S퟿ř~lU;`fsxpcGq v{r?ވ)srTQp`ε{O60%@p5CL9 ŠqcpG ;&A\TKk!ӽ"6!sW( c뜭2@? fNKu-Ky!@H[(Z|=I-Js_G_-Ҫ@eؒ?]%v2rZpA.1gw{חO-nt?N-FZ]Qwo&1f ">IDde =,}_eVw$LegN4MbP`CQ̂ { iF)kB _b2IS0Ϻ5?"k qB4(BJ}za\DKwuƯċ'vU;i wNC.HQEkRES07 cXYOv*M33{j9gP@a6E|/J(AfLᏺ uݡ>F p܃"[$.[^[".O)SӽJ$ u/g Z- 'M>`딐 /wx`E!@A52 !о[S!{$d5XȖ%v> E?씯 P1|~WF\&~*(1l }j/QipKWC+r~ԓ^ #kY^x'(^ɒ}MhDb3Ԩ)Lkh?L Ӆ<28j΂:pjW]e1$SGdA#ߒhM+kozjik{_ +'6YedN/I -٪VȞ!a&Q7hwI.>c3Z6Hp,EI?|/+gL]9ANp8RsRk)ׂCPɾRG̃>< 7DTG\1w @H|'U\Rڧ5h9NJ^Eϥټ̖ !{WȖ}'S8_VH4rG5t8L[V@* QǷ?㐢gߝ [_8sP13tT]Yq7.iLnp>ޒ ň`vm@ 9Ս g3;vFݘN>ͺyLEƝ^:ڎ󫅒E3["lSF_ MT<ЂO 2@ȏ''htE*hLh s]EoI,)BϨa:ֹ''2“؂>x%̳d-㣐#J7l$Gnc T[A %8Y(TZ-10@6[_A7f-Rc܈d*5Fp_D`|.CoU RŢ:8ڡ 'Q\U_cøCC0,qAtD<ȟV,Cv3mEъ4LG҉^#( *72mQ%?X LU6<~|򙃽ɠ]Zp Q݉s$p }VSStuqڭGHdrs@E'gJN$-csێa0 E7-%]" ;haaDjWbhŝ"qR//2GOi2H J'Tu6ȑY'55q$*+@')<(EbgyhM;sbx΢ꅝ90*S52UePrL1-5#5ۧo#)蝆޹Ԛ:mwN<88tPE{[|Y&3͘%3ZKfi8d,>ɮ;[o$G(gAe: &Щosxd|}5E%?;tZ+K2ԛʅC.zϢ$t7Ee=gT2/-r:>-dmxevmw#׾'u|KC3G*GA+F uumFi:ſٙwHf8PŠJT4O:Jw#VP-"5>I6ҍedh$F@Ҁ>`q[= К:>X/wߓ\]sUWB`t*T]}% SBWrfKSƥ?oa6ya9BU:ѫR+ћj%m#SCá^1Xv^c]P/mU`%*7٪)-#\_W֍1b9M_f$+(:W9$ |(}/ } P݇p􃼣ҘϑS(⤳DU䈶 LV +h$Oe9]A@:Kb2w+hmy)C+!c9T;iv!SjMLPKsLU(AkWj~ K/fڷ !Js\d?O;&ZX, bϑ_c+w9;^|fَQ)@;7;=veĤ>WDL5' @jyﰸ#RBYQL'ej:= >9|Jx&JRmL9$-ef@33ęMVc#`v.| m7t!%Oж޿+6E}EOӻ谹YI&VX5ᧈΫW<|5vp{ʛFîwuBelq{j`B D٩5pV⧇Qn̸)5p7~(0ă>l3)Ҋ֯VQL-{lO=b]~6Ztg9zqW ֑mrqWV~ _̗_h]J '> 54̶Br _OzRQ<vķݫggk‡>&m$:9EgN)G~]rGqμl{¬%^GgqOSDe2FˠB.;L31s꾙>Ɛ%Ra$ֶle1}6C!"~IF KBʄ];<향leRqB_a2"mzp36jMXJ)%: j|)МQw&+="1\7MSIQ)OblЯ1TcP} otBG8*N9_e lz4mYes{:@k)D+ϟbKml sLO>zw,8z,`CPTL?.TI4pKzs̿:Y KP#'| 々.'J9AFn5FG*_ZpAgHDTX(};BrDDZ6kF!]b61#ifH  kq;lDE#$1ëGJhl+a8a[`Tx@|OGCm0#a^]V3Hf*Rg w5eI3GIȘDNlov-"0i (lP_Jޜ7XyW+,WpZsSWeK ΓYAU,;o"bm8b O 5 =TrGn!<.$ݫJrJϔO C%@$waj1t{ˣ<#mHGkrlWLnڇ+rBz6.3v~8AKXkx%V5igJ oh#E2U}PYOm-*pf%֔Gi!F)(p~c ELaSk[g{ P)ƞ`pT"xH`?V`y%BnA*1^?"ZeUʡZZX߉dQCtcG(Ԗ;"L%AZEYR(AЋa\3kߚ'=gCzoё1ܼ1pdMjϻl2^f,TdNFJ-(1N%U8K:P!∿YS)y4~G%4!(nXQ1s&CH-;jДknSi2EZ`@*JM`,wO= 5KVa`ntGQf+5@AC&4SڎbNj)C^P4.%6ΚYio7\XGjyt,(MZ3վSՆ* s&8 m@-(uW",pQQ0I_H&^pB 6K1I-5 KpTs Oאh rZVuۤG^1kyn7px0>$3RK'Ա9,]* 'DJ;ѐ7z+,pgq!~+Uڟ`0VkՐp X_ዀh(J2}\o\EAl ^H#t w!.$ΣV J5B.EڜҢLם f;~(C)4h>:)GY&ٷ*UQO`["ylś{1׷>5rE,5fF20]noJhN"N M$ XQ hO#]zm[D=U=*6T&Zt˭(*NGv)16LTj]y;j*ENl5# qIqK=;*k'y_U6PFr}z L"5[o$=ԛ(zg1iaƣ qm8͡1 =Z{yʑ&5nyOcw k_w+!AN<┶|.BW U_ S++S6Z█04Yg8N063Mn7R"ǖٱ|xu'ڵ[~J\[RaEANrY, u"hbIfN^ahs}~_ԂtR-|Q0Vk\&IETލvPb#4$&&@ԛ+g wSPGN7ley,nC~ݝqiIΘjiQc鹜2P9YhyJ ф-wZ6`In{c`G :-/~Xh.H^@ޅM2ľc| %MKorJu?>QحԨ{< ˟HFxΤ {KɯdkBW:#xFk?35o]AvSx! 'LMULCa3оpetaϏy=W, m'W˟򝍰4"2r"WK}{2Z:|off3uT^*SvJ6<8. VG[ʖ=UH%sجrd qQQK[DW T} l/ X

giac{f6/=nӋuOs>$98mz2MT-BTdSRqr6pşʣ`2x!trȔM{e<3Z1E5˂ŗY`+X-I)|&Df Z  X 872࡜[ +ǿ#[6_'b~vs|}LߑQL>zq -龤oӴ=r!fh/ݶHj[Tt9gG(p2zT; G(71vOwXuxi25ěʴf1>8AM52¬WD|;8%!c}l:Ee;Jr+Ec&JA}e΃VzҢ6hGKҜ /ǥr'%"{?[fUdP>?ŗIR:b[ U8(?\;,>NT@4ޒ RڭӥfRڭPo󢘑2v˄NaG :f&YR&؏u IkZ PgBP2Aϲ>M+KxkįUL6D0~wg>gt0$Om;̼4sLOaaLj~:"TN> ~F-f?"4|waՋ"l@'koo.@kkf oV.+۵\hק+J? B1IKyK@Uo5%F0) tGY?^|Ι߂秱Q7G;49Fu%`sV[q!D E2=vtQ`xD&ju\WŖFS:52Mݱ4RUGcz_=*iTHqҾTwma/?M>kg9"%vr ɖ]*kCܧę PE?f}i5XH&:qB]kcK@e?d1`I2ò]-Wk.\%J5D~X9V("0<e4댹+Vbn[hX8lQWߦ|bxžtu[rD SkY?Q[{S}|_dhZ& AxT-[-853G&}rWKH-:g0,9S5OCt<[¯OZkXZ>G) EΚA/Qgu6Gձ#DirQPă^8z H9amjjBdϰ4_e"u,s{+&عT1#…u|8r1Bv@N[~œOTHMdpY%+ g%"$ELؕP!gs_s9nl;pU/4{!UGӢ)f$RK S U78XUAK?$./¿V1œ#g. tfe{Ab>5l`#fBJpzer_ '9#ͳ6 U:\k] .003 `l.M>@p9|{kSSC;RKm9Yrqކrh )PP@=!xy/ 1+HO"|wτr)CWT[AURSh6> GuIًsgñl z _ ?Ek(9N7DWSf} G6mI!*sYmҀ^R Zhtϫd!ȱnE aV@¯f:XLt3si')C)Cz$\$,\*QI9)x"> ͻQu2>Š#*J2ss9`wX ˬ#O:#Ia@,xq~FCbG4  Wq& X/Qa#U8)SʵӀU+swx5 #| 2!#C4ꇅm-\mE2 d5גN~(R$F?^;u HRCKDϒEn E*j ntl!u-溢msFr ܩn 3=ٳTiʖU8>Kb;YG Hy/dEE!0IS<-5֋]IZ?nk[wPh'aZSø%,~ր;KGDMa g!>u6q>s@A:OlGX$q~wܩɷ!R,~7w \Hbn+\)jݯSH1A B@BAn=@H/3,U9JnDmޮ|ГdV8PHGѐ:K`ذpCG$g⽣H;#0ђ't ߁ 7DFCmG9^\JRIH6=# ɷMk$ly{աEVgBgxS-,豔''iO~ ʽޝ$/‘́3m|mH8LnGE)/RdU1#d'&QKI9{qԻΐֻ"+ p :8 ɲ8R((yJX /#jBss$z\>* 78=G3/ʠS>_^c}eZz_ 3ѫ9ߐh )/&uD\׫>()ؔ0=Fd '~3jJrW]sAP>Z:褵JXE`I_M_Q lX`s">$%@/>_× $)|Σ*^|"_/ 2_83m$_ߌ@3I"p r3/ 5BSja_?mjȚoraq0;|E|E&9>%npbbֿ))aq4@&@7r++q|~osڤ}Ξ'cyۜQڊf V_-#'5wQx7.Cg~R:9 ]znʚ3[Z(|[y]N{(:8"h?{B;#p*7[!]6D$}_'.E1ͦ8[}Op6 ` IY$g&pLHq ~yi;OG3'_P$e)Tt; WJ!-fLicX>?Bd8/XYI>`(пRtajSaVGK30vB/A40F 53:gՕ2ohf A܌=Qn-|2"'/'3z\X7.`VEr]yvCOPKO&^W+iG 촲: iaV(Foz c^՝JUvY]0rಎ|hY9 +R{gPrx j+t.F_3~dCCXh[Ot!r&lʙ/87U w(&:5#n%/dOd󳄎=ƣ#z2Rw,#-`kN* - 1H{`n<-:B.b8`R(+.o>] Hr]Ieg>֫/ І Ũy:5Q܋vp tYL D!Q;)b0 uN {*j;7 |.EثPљ4.G3o*OFF'ҟ>(4ae7BB4,b>y ROz1_{ڛ]tb @YO[ifHLjk: P|j,%ݒQF{,j釓QhUe^y.ɈxZ:}) >5j`Nso3g5vr{FښhTQu؈hqg |ݰ^9,&XxRjGTK\.>ѹ'+ (Ea=$m408ASMi@{ꕼJ.}T~"{kU:w]/ Zu"fUNE\AW&0 DKJ[B< ~3+d`kf{M%gWN"x8⇔߂Z!+1UHFs@df JXս&\/7L|@+yUici633\=;oYm˧I,i:ȳ%֝}I|urd1}ᰆs\u.E~DmG3*`[x1mډbhaΚ7N&8N~*DҤ(Rmhq|H}VIQ ~udʡ3F^Bܻxvn 4 M˲fX|6ZHOET;G'0ƲOS8@P &QP5 lTH}rM><9y}Y qIQozUx6 I`klbÙk{<4o#IYq-0;)X6[IV<[Sղ1Ug,u=|1\K.?Z>Zf23PѵcL\Q2=\ˍj}D |Ua %n4Jۇ-E",yCk]?IU?>hLpS--Ɠ0&la,b&?P͕* T*"6uVOWOMw4?tezq'CI ڰA#RAn&^RWR.,8r7@91`cGu  X;Z*ePg Jhx,{YG6')V$luL϶pW +>̚RMyX Rhrs\=Kg!yE*g%#7.F1Y%vd#}Oh9Y(1l+GLm ;۔[h~ޟr:IvH5l ]̋c[vF*=Y o)1`8AǠ4a.̥,짡0Zl 8$-kwӕ=ُVU4Md,ҽRauVP7}DGFQbFc((>7Js۸ nhWR\%mD"إtvOi.FZIA8h[5k8shVF>?ѳg,!*9[ \zrm81a *w봝S5vñ[sFjepmOJwwQ # B%i4ԓJ !61<Щk??PlouzD֛҆Ud1J"Whrr2*kdt%55r2V4O­lޘ(;prJ@Y 0 ALHi5Q)A.g496o~1^H`=hq@MK锚}`<\DǬ2З+"6 _V73V'| 5K¥[+ ͱsfv~aM)ʴ\o?5(LF!TndPӗ*2%mIqSidf+擈MaHF1( {IndY7EI4ĶϦҼX8( n弶=rI=X~Ȳ9~ o)ǡ0k)urzyLA,KbBuJ6D|rlJ"mz {U) }^T B2t珣ǚ@bG矼hn6bPy*wRlw݅!8Ď`iAÍ6[{^ۢ@UpMK>?.m]d-c =TbLC촭 ͕k/z:-M v>Y":CHnynL9G0ql¥QSM矁\c[H.|7 &#˅,m#R )t͌HnV4{mbX[`=YMju\ߔhU ݶ T5;UG|O* e6ბQߖb!- H!͖IJu~M44T&zmqaWYKWS!S̫YKbF8 yD+͚xHm oĄX]n`"ltq+^ACT%z]rad2S{4DRC9ƐIb *-{ (kdp$q4U޷vGZp_bSoU:!B%Gv5,wȽvIal{8KඑPڇ"Q󜟴s{tqGl[LovRRTHV1mܐ S}+)F˯shRI HNo@ y]{~ax7 Qpݧ RRC\?245={9clTo`{~;iCζ#, hەK3+AsQ( |%1F_J2$ع0_Щ?MfVl%!ǻQBܐ{D+_XLu^ӹZ5yR>y0Cny$F* WqR헤;א=a)tw9;UhU3۵-c,EϞ5P \x(σ==bHc娈2(Sn&f|kXiSݰ#󴂶1Q_^ c(OnW7NnGMUٱnPg49[r;$^Q`"}) ?`wa%Ј qIe=ÀM5~Ӽx~+ 0-Z$. jumyl.+[ HrΉ lɋ?#8q Ne.˞󥇝UX$s+ʚ[yE-BA9rw-:Y&8q?G@)a! YMxY8pE?DOU1!@*9x)}iBW̨ U؂ >Nq#VnuS>#*KaoVbC֖x/µ9RNO4Ph_l)pN7G+fNjI浗h|V1gse-@lGSsԃO~ >Zo 3Zr cEO0Swiwf&pӈb5NyX1u:Dj ^"q~Fuz(O`l`@#ܖTi1/7}Կb @j}|C 8st~K]ڸm'ߒ(^rrHۜWsD5p9Ӕb4Бܥ 1)Qc62 ׷Wt&&V]VdӢ(0u-־D#FI_ZQn!%iW{ZsNo6`xr$lvJ 0:VR\HqG_K+VA~g ;~?:?mН[OMl ])MTM*j*}r\Iթ]jI޳6m BM{4wKˉ#NM-ȓm}3^OۙV%S{=7Ƹ@r\ a:EB-cDtkҮlHwasZfy$}ׇ l!"40lQ+1:aye=!Oy~B:8?u@Q$FAFobUD%$ln X"֋8^υX ԋΐkoRzW$2m3zm񃚪K> ЪM\'e >Q^CEEܱ :?]z:KH-3Pɂ Yc" ';Iߓ7-qRߔL 0e%`0('7kޘ"7\L& qaܨE :ýDą;=1׊}`.](1ZxEɴ*!amPu"0(Sφ&[kiKU^i$r&wC+cN>8OygpFT?!|‡1.+SS]kXT/5e=inJݰsBG@#Q&{ G,R;PB.W+=c}Tt#wd>StFظ(M2Y2fy`2#kfOb۸gCDc痉Z3~̻u@TΣ4AR󗩚i"w oH9yE ⌄Hl:+,1JJ-I,yErIJcc.yoφw-ӱyُ8p)G:9{xѱ˗R, n|$"(Tɧ};KNr§4PTҼ'zfm @`}u3[튢PHV*װ0Jx12e$4/IУ(D~D Åf:-qQsI{U7k`0c/L\hil`I騦8ŝ" ^g[zs' : $+x⪂(*7Pmo!o;cC? f({WiV뫥7Q?m01"P1K w .=صU`%Zdsp@Cl[M< *I>w\ޗ$m?#ȫ+7& e>Pd,[ ˀֵo&{E?FT';fYwA h1EZ(PϡH iW̛'ș9NeMe5,pSl[T dm:n! UXa{b[r;jn_IսʾxL<:Cs,Svj4!#FMvUjWMݧs[>' 5۔o,XZB$ei],B6q+9>^oL6rf.T~WыXV3ICb5b/&w]!n{zz1 ߬ F[pIRr71p[|J_muF6E?T8W7\E6:y×~֥.k%y :$qmCMsԞM]#G%)آDpk]:<g3Tޏ[M+(H*4;WCa|71HKyr /P0 huσlUDH;ԿU0a'LZ9 Ȏ{!-}χW;7CN!`37A7?$nX#v[Kr]ÎIhT:ok&f eI~Df%Rj:ѫ1?+Z0ְ/b.Rz >*3_}^*byoְ6QlD(U 堒8,g.N6l}'k$ssHl r9L=kNB ,3}Z\5D. `CٳOR52%aWtCLR&]}/2Q;ĄDFJUx]<TDBig b:G>N* *.˛1:z #`"`ejɸ~N$@l0l4'MO "VNSƓ}ӣ`\3JAnMp [:UP)$MNյhS>;୫2JБi0,)슁{Nvbju=_&8::Q:;i6!\v"xtXFȧxK?I^nziQ_=`vW4;Kv>w+q}\(42:o~ 1b CiY˟\Wٲ TWہƿܶ d >* Լyn/64דn{/{#-Pd`V:~-23y27u V"%jL H (jV:jQ=_u=3\++5>k_ m9LeI|A2(I@Ѕy+,d΋bj~8twT8$O eA}PI\-OPr nlkhb,3sOUT$)3*lQFv fxkQY=ilA24^ت VLZZ^ZP:AVw~u <Ң}ϑhtaQ^KRuݕYekk[ !3|H1@on6;_x)<2I"}i+uC0vH+d.ۨLP #=2#YK(i1x8ѵTc hBpGn0(4H8:K骑9C'H6 = 0&[~[o [ Y˥#<..1De[hg%A^T` Vz71ML <}oe<]8r³-TϱpJh(Lj ڰ1G1.~mZ 6C77|*w][3SAJԍmæ̑iZW㜦msRAd7R 9:2RT6WZ?@۽gcV9i-n3ɸ-2d3aCni,+.ϝK;!oQiRRb";\!#d]rk&`pؿKdx-|*"Œ;΂%3|Z~(( ZX 5X?|L`FF˰M&?WxPG| l"䐥'1-o{SeC(?(i4B6lf,ȁyP>=dX.pSI%ijCmOP u+9@# Vwmj2lzwZ06#4 ɉWfP "u=vTj:'vͨ)~\T/u `yo;=ų$vPĘj_В 'aD^D"Jx p1IoN;6|MєϹYA.ƂLUTNWqt)A,g%s3aTh^50 bx^0]xqa r+. ũ׈7Ӆb"+K7 syDyҼl ǔ o+y2wqgaBҬo$L\`01&M!ƵeO&*FAWjnG3.*Ub1B4i~f80^s7> +A ^iuA{KQ6lMwsHO' f$~=`诎1Gw"MpH B0Mע`;7C~`Mc-KL]$P^ ˫@r;:NBƟ?nM$]Ir0Gn(:`ތU'n֞؉Lv:q 8Vk!úf oPـV~{|ݼyұPyē 74wȃnx&lWSi]Q%6RҤb^Pmy+Y=p}l$ig@:%\MYm(d> 2?pUѢoel5/Id #UoƬӺ=R_n ÷q/βxWfA]:pd@hKy?dW0l`!s5>t4vqI:anɊ70xyю'\ЇAytuVړA?Dg9u"J]4cpF$Ё>.@̾>Jqic vH<ؿ֑wju2^Ltޠ X58J4"u1hT7o+,42ӿ no_CK֗"3ű ڙ$F3yd3}ߎŧG .zbPQjNoH'+}ED[<~b0FoKR-|?.e,T`adž8$ 3Aug;j L8MdS sgQ۟?Eʌ*d@G7s&'e2$oVBWt§eZW' ~@AfR^+Z+зX~A8}5E )7n]_Uq?}jBP=٪(;kԨL*SassM?h\Lz$<1؋b)R.? TT/7chӞϫن_UM€' b$r 8Xmr ~VXTbI:*&77N (%[J zglKo ϱ?ypv eгxk^tWSc}ٳOBy>0ݍ FqIDzL5pZޓ +bbpa5"i۠v^  /Ab@E0I+ׂ ^W?Mh>_wՒ p ;8<*D>2XKT{.,xb Ë3*6f{0ܳ]BK]^=2S ¥'/nO}C Y eVWx)h2$GK_ai=J0Ch(3^͗ Ÿ{j $Oa56l =O sSlEZciqLfc,Kd1: }gr($AG]#7*;l) !NS+ζR4ٝ E<=h4Zz!}-80軆iCƳpC-J,vɫ `4!la^Fh@)rd"^5ּ'iQ?mJ:v 7Mϳp*pl{{QN>akޔ*C قap6nYUM[eh|극T}Lqģ[{BÅoOM \h?.}v6= "-`Jd/_T 'l[Li2nJ1pg~*h9ߘ~i`b k=n귆\qDEv6jN:ve+]P#Oͺ;pB[ Ywln`HJI!lͪ]+#Ѥ;Z۠!mZSsѭ4PH3T~_t`ִ7{@f [c$|U?,SXOs'?q^2zfW#L+B>lZP,KNY}M T8*75[' ŒDٟAm\ r넽-iorI10k`kփbpԾk9f! !Re!$lqdr4ercCbȌlW.Pg 8H/oÔd(йݖ L@{gʽ@5)TI/: 7 ) ΤMQZaܼ %,0UD^Wo/?rN]3#gBC9DgT7 QӠ<HjiŹ7-rKxnG&!ml!̟rN+gqm75D%XD} *L°gYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5cTWsL] Շcɸ|Z IW\zMX;ﻝii5k%my?aD-AthӖ%gYZ7zXZִF! -]ŗXi%L&ʷGlV2/~s 6j{,WKoPC zMˆ6sD:Cf9ԮP^hB[z"\m X  6*EWe)$pՅ{j9 W\^u,PO)6_fBg1]|NEy>3b9rFE.ؐIhf'L26@+ܻ1){$DO 6>HzZlxm^TB<6:J\Qmi3wUJfP8X22E95u c/S<DkF6+^!e)Jm{:NXw$'%T՝FDm/"|J&}v0\y)<:g@Z,C\`_?( C n]ؾ|,2!5гcN_KEơ2Gug@D]O`MӪ\,Ju݁ԭ›%`WW( Wv͑/KE#|Icm5 M^d9=PK|RX,6;Дs =SQWxJzzb)&  ;JװDypۥ\>8?8UHޜ>k5S4\q{~_搞bNim~@MxbǸ”@L)s#cڃ’sZ=\1a'{X `ޫ`"$f)]EƦN(nX]c$LT%Tm7C*°Lh!h[m\ݞO0P/gBFߢ'SK\S9)b݄֠7P99!yQz&`AP+.4/m;3nF\1I/kBӠ8#*Ն.\*Gr SgvHY6a=QgwCoh%sģ9#pXsJJU;NF ׍%n 5XC3a1ڣ~?c<^kة&J߷,nu D(?hj2R}< c|Š=lWL :ǧzO:QĬPVzl5*G קi w\n&P(㚉b \B;(>Vz}&A8.6A%RwX5kdwpF7g#+_>ãT)JE 짶ci BJT rX=M8ɝdV:]Qjfߧ}wg1VbʛfleVyQĺ[Mep~-8\' =bv"M;@N5&>82"3A@i딇D >0S2O %- 1SK5ӐHnܑOe}#JoFՇ!d7RH@]ZKض xW4CwbisO'xSp`zrqeUF;Hִ,q S"ԢgPY2,rEA}z2W%g{0_ v2(N".?r)I#"Sn?|`WC|ˠ/>1Qb_w7w !lnOZ5|#* j?iϻNc2K<2ANhDS :NA&|A+m*AHQuX`ָAD W_G @׊!g:sVO^+ m6W)9