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 H!\\L ]]]HOL-Proofs:threads=6elapsed=645.895cpu=1818.180gc=286.452factor=2.817zXZִF! e]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^w!u!Ea]Y:*Pq<":fjvKoa]]M2KS㐩F-; 7hT>ޙA] HM,)W5 E2LԳ^w/O٨t"N ŗs6ejVq;^IO}7C{JS5rz!Jg!$IhU3TզdJ%|o;yq߭,r%I.r` ?EYW~I-"LZݗ"]G^<uê'R-oaR2O)tt}r#FwlJC^Jn1;m/>zϸsbcCr\Y.{m[4&=6;'yM<}f':1Dw/'v$ pCWD=H05(}4=#$pr'~do5뀷_8{%'tG0S5~|@2t~mF~mӇ5ڥ)@&{O9 uPɴcXޥ~N}Qpp{ǷBz[Nw )U| DiLgOP֏1/Hc87m#WG˨P 21n7>di-4waޢY>j7ɯؾv( ͪe&[,"nߵ->{,~>$Ʊ1έl;z{n/c* 5B ,s:9C~Y$:gP|FiO rLRbJ1| 5e.*5&+#RJϠF5\V..>I-?VTǍ -_}smGk._ESLϑ^FQSO0 TG8 T8.2'+.Rf<+{ 7\Sm OrVXQ5erۄt,l4BGVmG4#x]*ܰ!֋:)jd#.smYnvTS?gQlޙ`wѼ):ӢS_}15 Bu mO&m.aOQS.xFDޝ6@E p@WkMUW|Tf80̇UJu, HͧϷYd' Ӕ5ȹl7=BDH)X!##B8ɡ!_# },+!b&1$!Yxtu3 =B RK9틻gqW߿eS)?0ndk݀b0h̥dns~ L(7h앱S g4M6ƇZOq?c\nD G )~%ZIaCN5#3|MM[Q{mΞaIO#ĸ0!qw PRGr\'v=F|ZM^b n {|˲-'u\bIiF>s6ٟ(k~3Eh/'Z(:[ iz^uBlt.0~@aQ *q ;\FEҀ ,""YA;آ*wxػvC Z';|K&Dw7"Lwf¦eϑo~27m, Yz1ߴQ6NcpBz 9uD>l(!b:3\ΜJ: T<;D~+ ~hU @́ޤfO^n *9YNoR>:u c[> ^Sˑ] Kń |Cv9{v7MҬb$U̘h`eQG[V>%e3tmaG3ByIc IojKB97]!!aZxd6LX){\rg43:Wy5 Lwƞn{Kx$4`Q3өB@~= #+ɛn̸|T˔?B:xN J, yY"j?3R,aw+d^{$޹Jh1w&U۶nJP2;,@%薌Éa% uŒ@E8Gi[JGsIBC"+h_ۓ^'qƽJohCvLh8ARJQԻ1q^rwex^5:.XQ@E.ˣ`FkXZ 8%w&JhEs~ i0?hzd A頡zΙpmζKcaSx.[=(qy*DįxfYtiA}jɰGZuv3z)Lt9/mА}fr81M* s>UӮL/P}.堿KqC҃/SwҾz--l&K|b3jjYy4e2n~2Xڦ|.Hq)  m,ģY6;&F'R4Z!򉬸c,GOﱒSm Z|JOa_\=iF]~JhO'@+ʃ}fJJWcWO|`Ϋa4/8Vp2u~$8r 9^ =GxFiSet/}`0O.6.a&/0 CS5bJIpbdL8y-d@隞Rb0g #"`KI#(oߛe"youRm~ & FDǵngB욗㲠]I;ՃC?(etH˞qE(bB R?ΐBdE=Y-G2. Th u)7(4*`7NjZkcxuрaoy$YYh^tALYߠqZ$˱'J)ӐEmEY0 J< z{Y, wv3iNC!욙bʾ#m.3 '_4͑wW?YN' UHI_fLKPTc#:U7t=%\VPyue-8#*B`1T =aי 8ᖓeަ#J @'f$varJ\E&9[;a$$ݵ?V2E1t5#Us moo-1TeRewGeЗ}$,l;pfX ԉxb@ʩgsj?BӺ/) "IX;R7 x/BBu6uWrPZy ,Y\*ZL_}dՃi.B)0 )Yr!$."ĿaTRrO%QsĒu N,.odmb٤𠓆 Oc|*9i*ԕw 7_|66 JRbo% 9})hU8-e6LJ/{bOYvw]3EZ}PR†3(g?ENu6KؔknWYۤ  fU>^/ cՔ|oD Z@I4}n7eWn{ Ύy gi 'UcClrൗ* ZWq|a|qBTo4D 1{)rn7}AOIԳ{a#>y{v;<,r^0xXe\:S׆&sNWVQcO2us꩟Bk_tWH 8e ̀Au7|Y{_ʆ7k%BTucUo( AdGI^_n:VH0lʵ-VpEYUFv]Xul8_RdY7ʶ-SJwasN*<CƷXLf-AKq0:f \ TvPx牕@9ѩX`Nv)Lݟ&t[076,n5M*21V("zy`&L^S.=ߚ"i)V^{~:ZZ,VuS;YEO,SbgI"uV˅0枣ܼ2X2?M WcCS!U  CCKM 1@puႦ'uR¹S*PL!GeJxk' IkuR1q7{3 j(a(j:r N~b^Ӎ~r'6%$jUR4(]ԣ"mlK|^DZrݎdUyo<К(pT'07'Aph"p)q$vNo YM }K$1o+SQOCvwXΒ䯊y{7;'X=rA7ۯ]Ӯ(ЬEh;e;/u(S9]3'0s ]$`tޱFY<ȎVHk28U#Pg,6?Y-k4GO L;qdO BSf]ocgLf;~@U݌BT\c6v0paTMMSxtxt(*g`[~ `}OF ݝ>iul.| [WEq\%zC=?#ߌΗpm Ow9ĸH{ Gy(3jb..7&hCUs{ &gD@(S6 .q~Z,GBæ󦔺Z6wMj#M^A[Vo5}hjgYZ7zXZִF! k]ŗXiɟ29aoʼz[%U>EM!!Bg=`qDc'LV{0+ _iJk/>e鶚6B#풯/wXMkвRk@Y&ݤR3ۗ B<I\AĘT%5ߋ>aLLR$vLDt@UM{úFK[ `S٭/KmoO1"?^BYQM'ŶW;Ź_KKC4eR֏S.p 40R5 89N~C/r0囲㞺T%Ajm.%/(\7B^QJA/џ?ak4Zu@n)Trof b@!"ZUU[⭖ i o!@:5/7< B!naa`bE@E띉Le|,ö\EuBMH`onkPlHqB%7%5xuDϥ&Γ9Е_9JW1zA1BψoOO|&NKS})w@i*E:U9 )ryGL qofq}(ǝ5/|CC&eZ#eFhmT+L7,‰_I歹Y?xJUx]3&Z_[`:!5|?O ^mpcE-Qг184d68[)[|`1th(o>8VLa;qkq6pzᑥMYPE-'ȌpA[ H6P1@1`##J`.nʄrx{q9*,RX$=G|/xmNt8!o%okB4UN`|v;2c.Xi,w<&)9[07uy g(&w;cE/xCiB=u Q$A*`7Wy7Z+oQ*m7OkiFuDܗ Ѽ|* *Y$' jwA0З:31Ls`|'̶܃Hxk& au΋ڿ,S43 A-ؠk-q܊,UHž H?YZMH3YjXd bR=7bam:)$+>FER D^okXʭ iy$.;3[\n]nkUw{$K!B= 9JY=j LI(l˼#\" 2`eYum2w_P/"v@snT,,&lಭJ^Їwk@?^*oW/P\ /i:l}H@,T5`i;upX`YF]ӎKH>Roqt5!;.୐ No4,uH52ePSQ|#΀`mA9y{ Џ1tSf# (O])Qg0\ږmѝP_Z4/d8pbZU&ؘ PU8M^楼A#LIVT% mĨ3 H^pKYc` QQtKG+c`i`w#a8mʡFr o\1!D=E 's GR@,ʺ'?W&^6o|]%:0|6ŲyZ qѕ|IxTC0|f$)#Kr4z7E (Ku_ф'MXdS0h 9oc¡D ڜT<g >aV,-OCX5w˫n-?lWZɠbLub휞6oƉQ%gyE/Ǭ:{[}D'/e[PD;Ɋh}}`dX@ɪ*OsuTbo,kh IE5iHKD W# /5ws6@a8*O\Uqj:&OM(9m^dž78hN'?:j5JUW%D`Dxt* YY |XBuuvƵ|>]DkI ġ^[>}Xߠo"w*Gፏ'$sd BE9B" キ\LojCJNȔJ9Um5A)}8Jj*U\Ч+ҭ܁>Ͼ$o[ /A@X^Gm`,,oTd1rjp5A@a&ut~ql:<&D~zfe:̑˧h^dْiB}I>44G1pa29d"ˆ;GnЬ6Y-;8c17,zKQ=C1yGxN,&P7IiZ?4 LY|QBG vGx_`vfm&,oW9PqlnYL:U9C#IX8oDhzLY)vR/V:5j1py5> n&io)>#RT1?=>lmZO#6,0p*oH`Z~ !O&3cJV,MÙ:i 5xl^k0k'#eE3(O^ggЖ=ʩ 2wZQhaQiw c4 ZPIڋ W E/ݱݧyNVq};䮯4.@wpH/O*$Z GD/IY607VSVF F_\!6fPEVRi.Q$o,ˡ숭2Mx_A@^V7.j +/Z ݃@I4 1rhB#jؙos+,ٚZ{SGG MA{hkܼ_Q&f#k$gY"H#HMɱdTPN\23`!/r@E]BE]gΟ;5+? x|;;?cAL tθ*Zެ hy rCI\6[*0N{s!jz'n(&P;%j+)>~|əBtywI-eʜJGOW RPb HWY+|2'Agh4ܹ\7XBU|@F4ysE :2;B'W#IJq΄\U쯏"Kge+RO4Nc2]Кf2w^ImXN:R># w\m>S!%Ǯh) /oYBhnm]YS1%Q|ٲfrAH78>5JiTN9@Fp!-ګ(iG[!S=#˜|r\cTTen-r H {p֬&  r^)/Zs4IGCܜ䀣gv/ GDzjU#vhJ|`W H1)D`1[JLA ~sYܳ(.41,Z<]'-y:Yթo_V9>I7P HS{@†%A ҥltC!җLe&zfIljm081ސ[u^->5lZb’X lHf`"3OPl>|ogۈXP!K"7Wjo&aKX|~'.C+Vli)Ϳ4aQX#}X᠒տef"P~RܒtI.d>uAqVG,RN]!O& %QKnE32yCǮ B V`\%-{DAYqBXɸ]6=m6b4) oAwBb 9s([Vi`HɍQ{U>=LE|lqjpXg&ல2{_0$<6<95;Ulהъ8j%s8j=4xrA֋i\A< #Ŋ9/dСP[{ [4 ހ pw%7n=1WZbUƶSM5 .\oq6hpRD5R'.5~} L>{a[٢Jfw@͚2]VTXhruϪ/ Q TU!Ԃ+[\ N lڑp P{ 8Y9Lb %LI=Ecj8yr|Ppq]` Aqey.^wQZ.1me|mʛ}^;Ğ,PKz1 g T@u^;n6UߪYt~fåOWQn F(dzX{`1Ax¬h-Dɼ]&9y;!s5;w*e}4x p>f }(Nm5tНPuSJ!=},'cy>;:/ T2Je4wN\"7VGgi  laY<5Abx/ƏYd&z0?[DͪR6*.ռ7=| `3v|@`^p/ž^IoÏ7! $M48Z#noY猑o2B1Q4yYtN0D\Z IgX#:}r~ZP t7M8+A4'}ńPP^T.4Hlu[}! Ѳ{pY ^;Q1GT#DV<6S#H[yDg>Y]~BN&tc}QF*dQ mGvp:\噑=|&Ft)Ԛ4+Bɡm$[EC|vcT : U@,cX,TꟃC4nϟ b[F5x-㨬V#с;1Jx;j%u*k7=0ejE6{cxtvn W.?/KU)fBv3&IWpg!ngsNp̝ zRoq6LaϱH s1#1gԈK}9b.D ,;g.\kša*f̐T)7;oʏcFHrx c\&i$oHkchQۘY]İ^jޛ׽25z kC7g)H,lc^/87!ؗZ;4W1Ž/ulMUmSCγbfas,2FXɻ%bA)xeIKܐ\'^{I~uJUV4<&Y\Ay-# ugb5U9R$.u{XrB"B5}QaǮ3mzx/V"+^N`Ҝ+yЧv>_$Eq5"1F",lQ/A@ȟtXHנW /u1Y<?7XHVAK)G^ Q F[3"jB~8r`ܙs /#CUwnϣ68h*9yD"@ھŜ|$ZZ}p.A L?+0 $2Tl})C: vs9f} 2~9XlRWmuܭ+`Ys\\ E1}o~|C>1c)2b\!SV)Ʈ9L^,. :&R47IRsSClbܤt 9/ 6:ځ3LDʊ(ks&4QLb;OhsgjU@G!gӺ!T,BqvR&:DBB͚!|.&,ͨ ,署 0"{xٵ}~%A5,h{695=KXrt EJ]#wж"YDyho=O)!~ۖpWHrj`%R;0}v_g}mRm*tduԿy!˔=[ӞL*XgC k ,+ҙ[tْC6"HiK׫I{BW`!y8.N(U!PxT9,G \9ٟ }1iޭe\ǚbk $=)VP)'WS%6ZLd o})Aꡫӑ&GE/l A!^x/GA^m+lx"Cj&JޚV*C-gyXY,X;YDWq+f̍_]0+_HRFsؙjP3!1=@YziI UNy,QRCx]?0DІ'gn,Iu_:FT |[/")YdeH+R -A#$[R׃%7#dk³GGssJEv]S>]2hH?e|-ĥ%i +'fVe% 12k0m|4%aܛqə@7B~~y:S7'xdTi %)p:J劄oͱٝ Sgoz h~ΊإLf֢~g $Ŏ:ڈ)C=gj~uj(ٵ/>*VTn&S-xjߕ^8ɨ*`HFµ%%>S6F]4;.vsIa( mL!z.qonU9/: 2\$0mc(YQjn3Ƒ*sSNtN`wyo[#ǣs}0He7+֋ό> 1]lecT> 7c#w^lanJDb$tq8ټ#Ƨa5 T*`ƙqs+4=z#C}l&7|wr4G`܄`]ߌVi6!Z^ny%Vo 󜳆#ӎZ;pYLӏO\&s*969(j5XϥİLr5]„? D$R0amQCdD0c=u%fKP'|] `[huA1'+wm- 8Gu2@j ȃ-0(!U9%Q1iwUgyXVN:;u"jlt1&ՙ_d=FYaP ?ySPt+z_uȕ _z4:J G&@Md"8/N,"[A2ީ{ARMgZk’xk_D}>ȑf! =Z n9(84 5f…[S5\нݡ:w5G`{}01O});&msŠ8PEAGP{cQvhsܡQvh\ơ >e`/Է: w)~U2D 2ZJ59R+4:+Eҭ_].W!^?&H1H貇~VDXwx]չINeLdWeQ/ԦbQ M<1¯%Xzjx cQVF!(qX VP?Wuiޠ 띹\q*#E)l*]/@-+dfz˳`/'tM:8ř` Dc,.Um@[S{OAaI![ZPXtḃ'Fv0xH[SS۔YO4hXYich*-3fg?:p<3vF'1ǃ;%Y<8%&Y<:fZ8:A< ^HۯxB秽Kv+ǵ(bOw @SW9|[ᔫR3016qV"VTlN)EȂ:%c[7DLIwMrbUAI585=눘I9Sh?;`<9Gi fBat/F q,aAІ3܂FY6[gڟ LyqĒz`Xhx Alm/~ɪMb/\,BCޯ$ʊb}xZ Ԝdwl- ɪư۫RZS-GHAJ24Q"w(%cK8X#Z癦ǔ+eFth[!J Ę*զ]oE2nk[ ,w&Z7{" ug &9Ux32}hNf`d"P{xifO[m TȤc3{@+܂ Q])߉HDK5OcZ7A'w]AGn6ku'UC``r(/ l%|i:s}Q{1`]nP=&C_Gߺ[=_vLM;ls!,kA#ּwx'=0|t}[6,êh kgrgZziMz@QױQ΂aP-$4*S Z#Pf띦!/cV c؅ O1]=i'sl$+!WV, 2?GJ]~1?4J+}ߨC6K:,lLd)v2f$#@L|$1<"]HyG'p^Lw俬Bc K|X"Hiȡ:|M'^|9UJUXRH5ƺWf͎>MxUс޾L! F8?#,GQЉ<|V)\:K%}7 3c>_Æ]Y/nhx<{#*/_1]Qrp K C<fu˝wf'ؐЕ9Q`-l|w(9WN/u!אe<;M@8%Z.F.Je3Y~Ó#w v7@z 80Y$ZG)iLu`4gqYu¶Ջ]xvnq3p+fru!P9uq|Q+>9XZ(ʡ'kQvRge8s6 ( ?74 (S@djx`@kgCqxL@ZսF5[ m=E^UW5m&Z=D"M| &16I N8~h*VW>Wc1_HI/miJ FZ U؃|l=V1Oّ$߀܂DQ+/NȀ5y\_:LP(kd-?r( S[^%z I5Ovy>Rm P3q\ MUF6 Z9F*D>6,$'8e BUNÀ2Rt͡lXG׭'TW\mڼt< (îϠgm,@ra%1&1)"R3ɧHp j!?EroXDQ{-GROĶHxFi#rίi(!}d/gU)k|YL&/műO5hpNw> >GA W f<2iN(}-%[Snr ~o| dT)AULcW0vL z[@'e(G5E]o9hQ-ӹUH3 5NJU̬M1DC2e~)QZL\ D!v1{oFΊ7r~?5`jo(DϘT 1eom7e|E@c.~Ҷi(\+utpSr?ahBtv;zb~sBĊS& 픅/??څ7h{U{S 낣G=SQR;cxy2}zC`2e)y>m&,(:'1ч%M,8_&ڗ4纯|wo^͂R:эN3fڴrs! pnkNFȥu+}(hƔGE /GJP%7S\m5kɌ@/&6RԳ-{ײ F dch S)5a~x 7ȴ0s|ĈXN8hl̅ C*DDx"_/u?L D83\`vnVO:deFrق n(?YO 濘ٝ]r$83䯕G|m]z^L\ <݆ +-lF g2ͩ>.wF[f@ǟfL?05 :2?&s]2w鋂;uiɤαci6UR'!URD_k7V39 hLU~/!; -%b!vSXC, Q4;e K  Z'] AcEƍj }7<;n˕ .%o/X_)Z<T1fKpup怹O b%o'S侦>OXuz#b5yr5E;ˀtq?T1ъ5]hw^F99n #' X`q8]J'qTKn$sՁnaz } B&=Ng0L*yI 4?=9&@ΞVV_zE43`ƦgiٳJ/qNABcb\vTKp#8{kL`K(.z^vz87ƹ["ē?=r_}ݖ~w9gY1۠ vU3~l}/҈F?4P8b#A%O[,ЬVݗƯ#.@~D{?˃3 #,s}|F /3z2"DT(7G!?TI'0P mxe'TŦʊBv+{Xq5o9J%ʾ2LHW m|:9 I4ݎ0f˗'^l+4l`5['0ԑj@m&uA$I3JCAXbKOϔ[EtӖvmvHIC=J{.yR. PdH"h,G1 Vo䴧T5o0)8Z#mV]{.-\_%mkN|zJzS/@n6 6@.o^K(?fa72أ˧[U|nT$GK0|j N($ų[y6 :7'6'LWp@e.Mx\߆0"|觥Y $2 NE &^NOtA0t{l+&E+#Ң^^V_ ^>DuRc"Zo ;(괵ihWjSs Sti +?zD/`/dC_T߭lߑs2r~_FNok@%7+;EC~ʣ sRz&",Ϟ [D]FN[nP&_Iv(LE~q5qIr|D yD}?g|gPqy0N+;Z*RU gҁ@U>E %JG.K:|{ udbaX,a;ǡvq)ᆫQCgZkCs{!_ɅM_+iBWʛJ}ZLVnka&WXTEMrMZ2<87#!9X,f=5Vқ)5cv^"n0K)lIJC*tt<Ȝs]I0E&rM\,HpfFy/G]NtҐl`3cl9,[vwOTB˷uYo_Xڌ{`P|1$%RDgy"UߘYlIɁo P1:9 g|?UL/)ʬWgLa,Y+~ɐWj%{6YWG^9ﹲVͰlgF Bt|nR,h ?ئJRoI50%t[?PEe``p[AYQ9I]@S(B'0w'uy (q78zvS=/oq VYDЌFv+cݿ 3lMKX?qﱿB+Ei(6loS_wF_AadzHXBOM\"N S6k_X N5CH:?, UQ4_L=|_h ڱoflܲo6"D='jUah-UF~Ԇ+ٲt7ۛcog<ȧ ZNdq m;H|cʍoy6N DLJ@k~ӊ'_H/I5KI: :$[SmRV)7~#;Wڪ)ܷ-7UDVt־5{^@fu:y\[Qx3,U.TNa}j4`SVà'KEeGdhvĢ ؖH&Ao#ve䮮Ϧ}En$sU ,9$__m4w`zMϐX"=R0;NQF]] Φ2ܔr{#7 lɚ8b<6FKEH8_i!zA˭T9f+n2 kQ>EE~<+W/ #wX@+_{~;_䵪01{I@qծ-&D@XL?_zb{E܊DbqNy^Kp+\O o?pE"8f^x"rrKnB,m 9 *FA3|j#:z`@39} k;jiݺS䓰蓳hʵi=??y-oFp,rxpaP^ROʩ;8 MPVslǝ$t[X/RD mNa'+k Q. UgSPcəC,<~g-qnS3=bzQÝnL.ׂ3Y}dH\gPF ,W>6OQ)Ӹ|p~Y:xE$+ ! 7" Sb5#s)A)zz__/^hXC);`e>L6 pVTGW_{H5F#:FpHܺHIhWaCrh) %U8n V؟wWmmRJ`Z&N-'|g TW׳DAkef0;`"vv@ E*\w3_2,PHtfA|~8Ayg<Hxd@YCهwªE-͙UtfR>SHz $~ߜںf0f"͛6ђ}FLp+'znA,$5r٦,xv%1LnISQmi1m@هQcly>!QvH|z&3 w, ؿGjXTHFdYPS`亯>̍PqH ꇬ'uZMx"/K>nԴ)/ k 뙍 D %^Vܵσs% kz>"zH⼷rTdTinBE-ZNQ; 7NUoMzl/,90)k &;=C>r&F YLzW!ڲ7^b j~ħV<Dc!ҜX/IP og.czl2eZ0}CU.eZGk\<~\ꁏ[y_K'Cy_wq&`NͷWYe!}|Ÿ_J<[\Dn؆8zxS#F A9Pe}5iȪ }Qւ ihp;D6םWbI3:71^[ގHfVaN)tHw4d*\P͇P m+=/t{&QH;ndWl|B}cT01N^ AG#Ј biEv{V[Vp(X~:ݡd]'x C@de(ᘜqG$3YgV|1ϷO 2!T1ELkEQ)`ΜI$)O[!L{wo{>Vy•x0#̅1fBxY{ߎm/,Թ*oCurl>WyL( qz}I2X+2 nHaT5fnJ1wS|`*Bs<.^Ohʌ T+b/"QտN˿GjiLי`9C8i\Or' 2& & R yQWLS)h .6 M6f qNrZ|td|,bqjeI3a}u.^Zib1dBCq?3 IM"ZǍcVVAOk׉Flnnp;`#f+u#8XVeknat@Ln I)Px#¸gptđM.{wbލT<1'zlxpFG9{BJDs@e"j8{5-6.2w; / 2v irM$:ЎKKt s6h3|_6OI2W>bA; *)g0KEg~CFq̾-b0h.CзW[g`\d(mqY# 3oɻ ,,cGY jrN='InLyAxYHHOT~bvBk{T| ]P#GN^M%sYC8̝Z7A@@GZpŽ2F^TgH>/oΒOȀ5a%s3F lM~Ƃ c6f͆k/'Eo/O">w")S-A9X f\-OHjvh[x|o,EJQJde*WZ"BYfi-]0.S9<"B=HvGR̪&nuܠe {h%!5*Vx'na&1^^0Vq^3J""no$0mzc}E7 P;]PPBmgƔ@p҇ $%kEs"j5y,4M-Ӥ˂?Ry$qskw}]/qJQ\ītTfy@(rGM~vxbD޷Hp H7dLY[Cȹ0fZ^dv2ږnWVSkcͷ3K,S3 N^S{nᄪ X#Փy mX^{ ;(똮Y#6'&ѰNdke- ?wK=/26fiA&x'05QKlcG7X|ڗGL$"3폹A)ذ* sT" MIb=Gkc$gբ͗!ɍOKm|f/QGs6Ҭ%3ފ{ fu˵e3̽b"x'y4l]2M\9ѦA}92/]7Y ^o^w}πP"+R 6F`dUdE?$CT{zTH죅%TRvhE_jԕ9z1E)D~V^ X^'/{~ôK[uP3:jQ!s}>\z쫮E+Vn Fشbioq#S[-%օE-{Be0Qwm|O <~Hj;A˅jBJ @Dpij~#׼:sd"C< A̵)TA`pX&GKp,lWH4=?]8.<\9泬AzS!S&JMc_gE1gSYٴ~+Y%YWb|*=e Cx4) Ll(*M R.7& *cTb&YR"/T'NtlT#EEӁŀG4sS0$oflEi*?*Pk5\#,0>p-oC39gW,{\K9O7!촒΢.fo߱ L) 4S=O; s I[0 kM>Q#+9e*U&({n,/sKTeD0#uqD,!- /[l+vS}+Gĥ(#";M繒0LkDȁ@973V ʄ29Wj&tTesY7цv*;WW4~'<,k]6TLm1_z p$D.1h^0~9 )p w1v;c5䢁7tiUV?B->D ?n~@&+,,d;T!\-'jE}֨F< \"!E cA*SXKEJfYGx/-9]vh*/Kj32"wM(U_>N \ޏZ+`2m3'YKt bJcB')/)-[!2' Cjr1-^ .&=Εi84ciR7OׇdGv{KސI8ea6Yc':ľgQbQAxLj$e` 3cOJ Xj+R2宅HTnEQKp~%i}#ڴ wHE3kfu]ïjĉ!D+Rp(uSvECmFFɴ6%e{@g7 霟s'[~R5| b@re?ab^"xsSj8h<:5'ӎDžxQNg )^S߫9lf>j b8cS u=X1>+MnG萂Jz;e\p*6{uC38qU_I?I& H'>w@alIB%2TCf;ΝvO/)VhoJݾ}ZmI}ڐGr*.ʥT?ִf9Zl+Kn.-_Qt(0x_6X;96ˬ+:M &iʴAR[f gIьd0 ug-slb -&_w Isnċ/A[C|jnlӱ/no=hj)B"ѴWJRv#Y^+,;1uᮽƂ sFBOi`'"G@ƘOw}xy iІ1άb~WB/Q{:{ \f6y8Ze jԪIϜ,4FR\OW$H[{eQݚ=V!u")l0Sq,t95榬ߙOz`'um}|qBFpyt%:Э:C#Ns|C Цaz%t.ȶ1 ~v838(N5{`|1| ka_*[|=a v9n/AĢ\"Ӥ# jq'H.[A&|=B)+1=L~Lq_778t>16˃3¼϶ꉨQ y0<,Q  1F$܍lt~Xu'h*.pcnlMene~(W?r: MeO34Z1? Uf 4F3/4QfoT^Y"4ƴAe¾{LLlJΧ'.g  q9$1* Aw*?o{W /o| t߯0M cp+kC)>,&K\:EHv*_@P"j8 p>C[?e\NAYWiBn 3SOsr p]@ 9Gv*!b(@G>CWX81݃~{oF3M?H; ד]>ѵNHG% +TE~≩F&*!qsc+ 8L5y. dVr!4KL@PŇ]_;miRqO,bEELC( ^x“X1Q& 't[2Hn $t!€ K}2tdl9cVA8,J*p(Tq%U;eN_~!1}yfM}X/;pCv+nv*=е7O2 ]AWçm\TYϞ8U)EA6rO&fQN?˓7]?Vq!@3SEWtv4^-]M*+v&B}J4h&YQ}vػMAënw2uJq\8]xZ:%:?s'z⋿Qsr- 7}jQ[iZ70vu\2?#t}pG;}&~SFo9+D\^L\:d[9 'k@ӫC4MDa;-fj$K;xɐVv$=ąDU .OBMkDO6X}s>3R [SЊs1m16S]j2NRhpw[y_RզO2P.=T n,33v]_7D>Ndhk#~G)7Q1GǕmzhm~(3q- PPrDq9u(=ո¢]DЮ )R*i-WY3 /!ms"$:6$~~}3Հ5ke7*P;W&ԚV3:,i&g vE. Dl=?ٛ{WM3p5|u0 4Bi jaEX %0p&-K$]D'([hZtF5 ku`;1{X qIo0Os\YI~IbTpyJ21T6YP֯p;t*'FmaX%mqBCtjFt=k@ ?;j:^ N m+.k2~ڙ&Y/SÁ'xkㅬJ鸿0hhGҫ@<[ST7D;.mV]>YP>9Gjo^dkª+mM/Ap5gzSȣ *$8${k0z[BztMzjhHxm3cMF۴7E Ml*]$d,`ܺ%eY$ frlP%_^7|).,+>M$r ESdrcbCg]*Lfï bRؓY/_d?\Z|SBx'3"Fe;z<hdA!ĭ?i(l %DB R5ː_m"uHEOiѡ}8dbn>Yf~~GxJt؅p}},;T[9fz-+?as`x_2hTu7JAi=*f]px} X\aԎU顪C^w- >նԓ&(H0,_B0Fm%TBfLwޮFnuѳ?/"݃k>5/1FIʶK `9Z9$Oyd'a:=<ϒrWnOXp`G^x )HQ},qR}]c{,7\1[s`Sܛ3otFh L;vo(ZC90->q]ؚ`&|O*!DD*p_8JJc@;=齇mƒ]۠>[ZzePɺq!(h!gx`ѠAϒLUnFwͽ-;jcF< =ْdI ^LWg(fQ[5,- Fkgg`g^$ ;rȠPU&9qP2>ÿ {x1e.hq{Â>m3rjkXI9m㋴c]d3.n7߉ H@e%_Ӄ\X?;[G1i='{FWnDuus&Ty 0/_+gsGh543$YU8ʸ}ymQfxpql1bU=y4`ɿ H{ֿY;8bF>xknu[Yejirp7SDY,opG<'NC2v .'eg%yQP#ҩ2GQ 1  2;H&o0`5g,ׁӤ_vqeU649E>*#H*C-ٷ)ՆmI4aPE㠲j&fֆs%E V&v; EEBO!M쾳8bAUx#rMz 0'$ɴFDZlvp__[;:]jD^$حclì'__)Yݠ׎]~ekRѥ+Z6yvEC(?tpǀԝѻk{260@)|]Y0cDN|̳rw{+Z`yQ(˰^>J,)r繂R7¿@օ4ѣ(qKHL_-O GYb楻RRPL_pEA+ ܑwbwS~A>O_~Xgjv;;V $hq B3 Qa)̜֠iQh$V.rq##RP$THbAMOBo;.}@'g]f ǣ-lG/ePSίhɸ'N`YTN M 2:Hd%<οP@;QUrO/Q\RW$N߹