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  ` `d= Ll| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.150cpu=31.768gc=1.584factor=4.447zXZִF! |y^]ŗXiɟH)0%o,I|NB{ ׉4J =[d3LbϜW@ԩA^~4%T2RWXUHxEc4ֵOEZ](e; ?YZ9ۅ ML-C~J:K{pH 6zJబQeHpM&ObsnkQ.D-[E{0?eDAY ɞɴ2`-N]iÏx23z1F]`O+2LQz yzoɾ&0ؚqq^ztߜå_neiO=Qa(}뗚U9[PmeeɽI.?77bN >cuE = HOL-Nonstandard_Analysis  am辍H,3&e+.v-M'g_ktZf+]w 8ULP;Dn fۛO5Z^Wab4u}d q< %^Wa!*'żݔ|kw@|o @ڊeo6EtUԪNȭaL9Dq98*Qs-nH3~=@!`4VI!Ig!M]ُ|<`Vݰ^))wz%j57- T#f<>M~e6S]Q ^ot8;6%_ s`F9f)#ֳ.EqG9Sf4i]}\x|>Y^'4l5KC QIt簟h1>XxOgqxu`Nv7MG5/Ս(́GW|p$IqMhhT%/MIm=7mnOQIa#2CJIvZ \ "M 9k٭Xrqzi *ۙ 0ǷP,,8pWAM9qSwV^lS XO6V{s42bU"Jo+܎*ɯRQo;X*.*Z(,x&Oʘ}c SWCP׺9ېo "NJ{Mqh,= AhbpG@_CJ8Y K7c* r5'@Opj6sz_}u3PcWOwL}틭5kt+'䐘XV~r $RԀQr y<0;[oE˰u ϯH|7CgFy>OB l׼}jbr9"%}>P ^#hXA5H/($y:Ns(a ).[/AZ?M5nDMŬ]ٚv50p1%S4a`y]l^0pb`x r0 m97|`amoQbgrL"/,6q2X@~yNM/gL2+Sy_-5-KDŽ lu>wPl;4-5%U'r@#X>1 jvgur&-$(\PΡɫ緽/-Tf˗q. K7뇚5AD3 ^UUl=NT.}WGǝA f&<^DX;u 5?_z@YGXA[#PȰN,a>}w1SS*>Q(B*lvؼ)X3:r)|:;23S7ѠlFu\,Q%N˟O[-Ǫ` AY!k-,e79(k#zzh9QR&u*#z}LvzA ɣ|R&k;%֜5poyv+ N{٫ilGABxhGGr8VAyE{MJN]H&l,87WmfRn&WF{fDA=UvCvj)߮q7 ʥǃ2}?j}@3\@Y__ SQ70Tߗ?Rh Lр.ebSރGyO?qA2+TQ(z Y?@ Jl%2Gp=!덮ɭ Y/(\^}Ie}*b&;ŦXIp3-jY":W)W"T+[bkcVwoQݺ}kc C W+,nF X\bGXq(t%&W  r!+蝆}(4xO/4,RFsY|iv2f)Ǭ+/,&77& C>| C7=!2`e1Zd)kqrB1R" 'cU[ٖ:0@S%L%q 7:l 3aL= ¸͞ݭSnE`CQ5#LgÖe\D hz!!I\Ⱥ;WNs_"^TͮQESΑŠ3=t" J#T1-hkl ]y}Q͝Ɉ[%ѡG!'T+рڧe,ʧ 9[\[/W 0j񼬳[0l4jm=y.Z:z4}c bbV 2DmX @.3u;畒ow"0(J>X d4,{8 m-)ь~-(lT2ueXwt! Jrt @ ,KNs4"uC(^{>} ^*ʧ[g Qu΄_ o"Qpkبk'-/F5BA[)#I~~(Ă1ߵ#dol zL {|<Qu9#PDvBۛԏ>Q;ܒE7:a~Jd+PّM駎d]jjjMIQL89勍c}*Un]CshJ;̦ctVYdYhiM$U'5f[{!͇`Cq¼PF̏om\#00D*ْ Ó-:F Ab,gӸ1w~,lD\@#$r [1oe)77Tr.@A@oG>v dEcQ,/k*B@0+oWU@@3ڳ7 Lq.*B>hјH쉠cNxp#y"-QL]7:}@]} |MfE"F0&K;TQZ60ȕ<|o {P~Ѭc@"CnTJNNKq; %:39 wӳqo$CZ+0;9aƔdՖzHvAX5`сzl-0jE7T`ؼ#=i}f 6.g$H˻xWoچR6-'l}JmFei?^p^iaQmDb"8Ύ#|@61 Y_wn*`@4`QRfV-?i ܬJ8Qr 6k`%mDB;T3S?^~0}xykߑ!= +A`t$!AT @9Y Hf,eE~ٌߎ~w \g^!fR{mh;k!"|!9V9) aRa1>D(_YԺ gˤ3jljUJpSckC1PEDbfn>>ׄ~O]ykRk5IjWMmyk)'#A|P\} p.@wp1fzm G騟5W=t0lZ2fTB ]DIg!MGcr$W\RM_IbJeםڬ_&U.qO@݋-U+P%9/㒜1HkwG~Wj) Fu. ЮXrٜ$r FZcĮ=#͜T^"Kݻڢ^oNGO ^[vVm|1ehRtgWBԾ$imaz:޷e&eqqT<SkgܜؚZ3iOrlFDǝfE=@j3D6-^}u v X'KZ^$FJ id"q}:^ Lz'`0?'{ 9!^: ? V|ɦ. m@胞Bex1[O*:"E&ϙRBW$U:X &5j/P<^ /fIh ߒm4,!0ϹGL尷SGJ`3&u`8l0s5.3-}y~Wp^v{[/jN3N-FX~$;X`Zto/I?4ߢ;'Lpm YD&H>H0z:[43C+p nђ 3q*hM-"#!Q W{k2}: iv{gLA`EįMA )Pp3 JV0ksrQ@;G7Soo -]!JOu)S6*Ő9>RC/11 +2"Y|5!Z$sί~}5|0t%[%$77{0Z+ mӳI$SSi0~edHIᳳR>C!Թ#2SA?%fɗ |r$^y%эZ4_IXvs$,$ IOJ$*: MYoY쁁l,w]Abt>>"t㠊rhu-G\]XbyATcK," lN2պ5;Ԓ"V;v[[ O( 8qf'CLLĴ?hݷ5R y.W[F߾wBq/)Pw9y[iNH~EoNO|ޛ{\ icstVu4 (iە qTNo |WF[+dqUi[rFz@~nݞ,v14|@S#\|X=Z ڱ>SNB/6gWY{d k(,4+C,2t# /;z->FIgz`uU*$ ‘G2SػOZCY`G4׶-J̨^nZUƭ^mb1pnM/էhu;)?E!张V:okb3Yuk$99;݁q_bgkrW6fL Amyf(6#Žd1JlBN(-m7GUIʳ3T}#xҏ/ F/Og > 9K7).cc+#1͕#&DtIȹیsfQ{u9%)m^'-RheU0!ANѮf#9{ 2BCe5K-tqLY1/4TrXŜݎVj fjt HRP+i> ^/)I)Z4W'"=6̣m"eɥ%y?zX1IbWR{'Yt 'qYqef2mMxqȨo i=5ļƒpCşawC?=ELz\ *8er -lLi0~mϦ)T6ӝv%ȽGTr74,{{p;d)ϻS' ׾.nv a!%et Ir/2C Zİ}UYdc i#ل 2%RйӑispiןZ_W9@)U܁ý;'/j9pʊF>YIPD)%)w>!qXfL۠MT7DP<iS*~ #T&iey hf 󘳳is\W(k\o/WߜnR[R ou@٫Y %,ʋ+[A0 !і$$3Jā~)jq : ߛf>=$) To64?9Xmi=q$M }8%Pʫ\O[{P*7 o(NvC5)^Wl2z{p(Zñc1Q m ں~ƆL8/gZ[ gL!k Mh{j WV}躯~@;?25R$>~2^إ@tC yr2xn%E[A8-ݫee lD=tO߮ ' s}&%@鶽Cnt%=\/|sR0g%6) rSݥ1layP{1x6Q-DvդtP>V9fT8y|}콯 ;TM1g~q`$zCo6+ױ?%S }ݸC>Q2 XCD_LCieY£V}qx4^v̶VPBy I)N'Nr+JKfY}j:Na )4 Z!u-CGw&ؔN[bY"LBcVİ^˼^?Vy.ĆӒå3~_keвK/9`k:`f;b =S(ނwag=K& T2,d 4b9vKz1Od ;̈|6\8V!I?J*Bj mJ<0emk ^5<2KQ6~9L-y*gWڌ'}a4@ `yoxg݃ k)dJ< j#g샞H5LP(Xګ|5><aJ^p_2Owۖ7#ܐשŒ)Pg@ktG4Hb[5LN#Cw #Xn(V~L/xhP ZSB}Co۳R %x*`hGdsl+; 3AtӯuAi(vÏ3o}j3ŀ1WU=B)b_k(5R˴Lddâ]U>āKYt^(YI,]ǜշIҕoXj6@pFg  3Uo?9x2e zG!aV ߷R`GiClO)(9;@+3d!?[ʈYǕH{z uIbgNqg 3eU.,SW5i~}?@]و㰜+">R\'v,F!@{ ꟼHAqIi꣗EU?`MZc]=qv#D(EHFGl^/lVR?Yf@8됵2 qJ=.#ɅjiڗlUg0S%v\4?GuO{sEv(j 1 r"4*CyˍJҾc&h X W&G}S -?W&sׄ?ʂ,eɩMhMu !=}x:Bjux+QB5j(gm9J46oh peX#fيEń$H"OnnFLRC LTQj<$Iujb?K1 s+ HB#@zqwB"XF% j1@+b[નtPGf5:9Hltnn=$|mjLUlQ^. r標?L(nq '|sǦ)^gݯ~(B7xQ +Z={ui qyuR2n䳓u_2z&|DkDDOzHE ԙ*> lˠ<eB\ S=>h 萉1癤1^TfD@smׅ8[-${IՓ]t$$Hq Jn"EW 8Ʀ| QF84^Ôp€ ӖV{_J7l(he M.H^OtPsDTߔD,"1T%-kmpSծke 21z'u4>Ծ;(s8+XƗ+GzS̞G46e _JN%-p۟ T5&)ʿUK&ڇ/8t}q J["Rϫշy׽s_b|w}8%i&QHUX] *Ŋd5L*,|\=75 a4۠Jb }MxH6_ M9'p3HjHZ 6rƀHFx„Dx{cztHQ5 900xWn+7b8WYs6H&fmDq.L+] N:ﲣʝ4E 0lztHDz\3u<}}!CqP|KA4M7~Q-.O3_: ;{? 5=hBrK,PYiur5Dy^, ˳ADV״˚rM}*$** F|DC@OAdOTf<NfAwpϛRA].7JL귃ٴxVCg$JLkM'^{)Є2ˠڝyYRTӬ hbi|G.g  ՠԡ#=^  _[U u+Ɔ\IUVio^捻Eq\eދ57cMWzB%QuEA5[i "RƔMr1A +,#7/P YNT9wp}@;Hovms '(L S9ZggJ['VG( 26, TǼIcrMPhɴhS,R*9΂{֎Z)Z͕9b.+AةzY>،\ #m AKs_k9 =v/]woMξeftG: i3BO=I69Z_˕f,_ 嚷,c_ZwsiԘw #4ny z;3eFY$g]`_\!?m^Ւ MVX2f=MF5jM?U#~8F(ؗ;A+u PC^t)/ifڕuk`QuA:᫂a„8{ENNc-T B+Xc+ 4x65#HN,ܓ/,H-p&%B0^9pm~Z#D=V0wlgM=ҹWd4e`[:ik5`HZ(=]/lHKL UN=\ol .]rJvkCM0'#;)ִ02R.ZtC =~6z3>2Ļgzٺ%Ct*L E^Q}ȃpq|{WuaX$ޭM Sנ9b;ckr5 GFqnZs k5ֆ~2,.tssӋtȍEv& ָ*H9(܊έ r̥, [3ޏۮ`<)ʄ W_2 [Jrf}PUP+C>O:2RQPƀU#d VP#.dJrO0m|8$lR;[x>?ݿ!oP%71;ғGs8w =7Ը |0h@J@K;fP9С61;$\Ň՞7kQ`^h4fh[<(d+w^M?dLxm4/5?%fgj9X1c+?M% =)m"rזϮI?p2t>0drl$}.8&&#k[@FtMbEr}t-3+NH17ZPQhIh9JThp$Q/az]RHs}Yť猵)j͂]z19|FɺmA7՚;("" qY% c.*"fP%Z+qupX>{Dؒ Um0OOYNw9.g/ٴw@"T|YZ5 بAydn/ip35\7U!H?|N*+1}J谠 )slfHэ|YJSRX }`e`󚽂}(Ti)w%GD+~34GNHLPmZ:J6`WɵaI_|O0P|]Y ^~x~=(}AzE$ Rы43/ϐmhKkݯ8ǎ\ևE稖o}=qn3p?y+l?{=2V| oɽ-|s#=3c%PJ;=8**{MmtQ:[crLxj49@`Syn]p߀]Fkdwc!u<**|Q_y\p"Xj2qݵؕ_E#-̈́~n\uKCϊx#֖4Ț:ZPp1rc=ws_  N'$ QʗMŒK|<$*{v)Ѳ?N|ߎc?;x<*DX 1ob9,7\%Xsy YT/=;Cq`( 0ޗMurjҳ;9QG_͡Wk4 6_V 1Fl5ZT ϭ*!ZxWP7T3W":`Y[-Q6 D3CKeg#G.vVL3۹~9OEč{%>3=zqo1G橱Q԰>^)N@1!MUFݥhYRc'S*vKH_N4Sjލ-*k5ر O1'G@}?c (0$V*-KTta:7oWͪ Ne׋bNl2}E#:cr16b\G8=GXd+( Qi-LB\>̄ 7mjj[e2>t_ Z'/O+͏=ץZ'z씢×@) f&h YDs:gMѻj' .0 wn/0 Ti=6$ qxS/6w&8Ib[6vtdT{pKL\O OGu@?k+)P=$k'<ɌE 1v4V J.ȐQL$CUZ FxNl\v CWHN'Y|yЭ63c UTt=̒W| +1ŘKs ӠC5p!˯*,VśPp?V 4yЊQ+UH[Iјl;r} )hZ/8cjNVh|>e})Ck )=>PO4]ςc)pB؞t_zlccFFQR=W  6 n|~1ұ6' -;gΉIY;B(A)ڢS'k+l+N.,O`码IJ,˺ɖxYw49T/3%?R۬|uksL *j9Nɾ]֎K +2.J~c>ÿbm\[6%VL`c },|l[r(JfY%~\3O#0P,֘\t/@AIn=J  . W^뭅 kq޻FVtW:Z9 0#835"'G˨afM|%qk¬̛/a~aսTՌP)ίc%;yOms-/o%5so:{֍M֞7F]u\aVjlav&-̃r`ݶ W)u 8dgDP( hANXC(mʚNJ8@:o[p $Wwx>lW]SY VO_d5p1^2|+Ǣ4El?0Έa:%S:#<>;[<鍴6Fwv蓱vv{in6'u?Ws']4X%OUڇ߾BP T ,\z+"odoeLDUB`y=W@9<2\:Hxxhb27o""an)?\nHz_on*'P<^}fhGu)" 3^vxfӆ7q7S߂q98/P6ˍN~bdGø^5'> MA6@RS3 2~7w:&Y$A-VQ-軇U#|&_єEKض(\Fךy"\gkF-jg` ᇪ Kp\))1>Q+dH:?Alykdkۀ3CYl1SM~:Ξ vIsiWk_!m9W ־m Sx:!ܻ }qIjz(O\#p]GĚ_fH|Z&Oz ?OS]Smp6,0٤k1P~vxRsɬqjٔ DEM5usQh\x|gIHw@Tb1q+ޠp78jӕ( ys; |zLFԺϠ% t Oeqʱl!@gDN̐#VObHt[ VGFDx8&S3WKIZ y>c~CEHh4J:|ǁ|`ZKNuRHEp_߅ BԱ7x5CDnQ9gYId,g/,`%5n@}'3vƸIhpTs-0..{Y UHv]i=1JYq]yPOv=εQe&bEV]Rv`*LQMHIde .Ay& ҩI ^b EFWPDKt~\ YMDP;ksK%HXTF6gʠ^%-3^<Y9NCz̀)2^2|p4]ec+D}󝞢;$)~c:R\ rAyA+I K+w6*zJ O#bC859-T,qq6rqm#޿|Hos+JV>+$MmiU59DVp8O"q"fr/|mnn7LhHq26Z¡NũZ6HhcNA ~yro5LrEzUazls.1yZ4CD_Ck3՞ܒ:dK<)}ONbwEN#GW*`ED]U5R$ߪox"^0l_MZ5'Kͺ__*r"yUšiwv#04 YhK慵B[,b@*`$o[YKOa_L|I<; 'qVc==dChL%<[ZZ]Ev,v7:X`fyQamNI&`9&=ͰH~6qLIe. Y h睧[_5Ҟo-d4Nk|w1x 7>OR=&jIWLfxv-Sp=eoMW93,~nڦrrf$Ϋ#2'2 ÀcZ3]u40@,U^x5c0BpE؀d~^ +m qFː?0Gwj 2Eʹ/% 7^'4:4i}F aMSӎFHT:?o+ˉnUzɅ $,g!_5RSoï#U-x |S\׺__Ϋ; ѣ"6t6y %rc1ĴM= @Xeb z00.,(f&hՠ?t )䢶t  ^CN^5qH,Wor46FW# ތoOOuy~&1߈Wݦ(oqrc[LdVB! i[a="+f:t?P dmذ>#c.`3_ {Aik7s.;S6ZǁL&s\ԭ$[|nd:/)R .l4kw= W_,;y4hGX[: H: }=-yQk3()0`ukŜM=d)3yrVĬAO7^p4vϙmo}aGt[;H&ʢ/lzp1hykRϚSita< rGPA?7o}K=Z}} o*|D:%;"EdՓW*03v>tF#[L!uC fgc f&1]$7(˹Ȁb'V4a!۱)1(EXJU)%Qy fFSJʖ;I{;!`&F;I 5zgҨe|k@((&:q&(U2]{j'>i;:0@hisz>ԫκ4,5_K~V/ܗF%κ$5+mM  lK=Us A8KIfh!Ë=T( `$YJ>vRf#3f-nU1Z$)'Gp}GfW2ċ2 ~häD?S$hF,}%Cu\׾ͧF!_zi gjeO\j} ]H1]"$ոU*QU9 qѡa2MaAS^AN ^l\笽\X%fͦ5Wfz5ϊs;fpEs;sep13ŖmE(I|Io== iܥ?~i2ou*X)dn#:+7tou |h) UP|eD+iJw(S Fk]T@ў C!F.j7?ߘ'K :Tq"Og8eW"p֍YH ៫r\n@Q(@V3.8@u7)x.1~zX Z[jӘU`LZ;!pM ؤ:̯q*Q'G\0KCR R`]FjnS)7nь{ʹPeQSNGǜcwywJnpۉeӁ[^V^P{7:[h) \|bQh g|fN̯z{2Cu_Bz'^WH9BB !omzj'=M yKڮV'3Bc: #OYDgvezNAܡ}3f>-yL: pfؙ꿹Won<%-3REKlÅzpkBF%*>q-?Urh e3y1~W5!fn]hkwQ//R&zsWgR3'ݼ]cHgtlͤh'}l șz/zŎM:֦Q6i2Gv,2bm߃R0 _N/χYȐSt8!DIvU>yZ ?ƀ$]9A5pO|:ucgF2L.!/B"n*c_ YUȔ+8H6[1?4ZhR]wf[-2+``= iX R8pšfFjlŪRbgCftls?*W-T|QhV 0+T`p)_sFwF_]R|PHo0+ݰ}B-q G,*@iOc1rA{+{8V]qDqᖑtcdC(>cwqE{l+$ps8j4 f`lXjK,vDIx*A>,HEX 0? ta[FF ;Ӯ c<xWfʠ1ɛđ4eavO;l&DK J=R)g%gY1`U] [EܱRڹ0 ΀vu`/M"[&l@\\럺itCk+rbz | &/a7vSolF@*~l^0;*X;')c7;Wg6APdHL>euHNgBv*QCJٹYJ8PˣvJS{ 1X`J ?Ǖf8+7^""<_7?Y0Zv6yD$mvn Z oaF *:Q/ZF;9W2ytƁвTPC6,}M¨&ᖠ⽄/z4.^==3'䕽I[`>a/i2҄ 螳XF`RG#z!nMhFtxٰSSN+̰}`^BA Xh5ƇK:-I&PFIȮ 9)ƄHY= BvM$\GQpj.xi:& +^ `; DMm>ֆ!h+,TPUTlXB'3p~0 ][K.PDa| ps'C8IJZLL[#:^ȋI0[eQ@\[{C,5} Jc \&Œ*^qԟ0tҰl/WۥxlF^/cA>.U[? gd wHp2W(w+ǶXd,1'f9K,5JQw5 nP4Bb[ gbM6ʜjwDQ jLgPJ=JvQ&ǭVmx|(ۭ@&/R^Md՜N)>]. 1XR #PSe2EXcȋ̻.4n/P)EX+:0wkvai1GB(򦽝xnTL>] >/\7j~7b'՟`Ludee`Nr'3ٌO4|4^F:wNF $uԝ0f9$-FI Vf=yԝu([FqhG #P8Lb4QA@PhIƘskBf9Mb|7KӼ^6 c\D9VVyd7w8݌q@ EemfsC۩셻Q.ןvX~ @C GuhCVKR& ӡg 9'`j9M B#.mro=&TZKq=b%$[r"|8g8"zFsYucMRtoŝ Xl)WnD߳>'ʐI=B'FRϕ)&?8Ukfu>XU-WngE&%]Zj|44$Lr\b:-Y}>L$8ҏ5T_A!@ySՃ< v˿ 0_}1d`^Gl~*[Mr]q:7H sbdJ[mHj%<0'S(͟lQ(Hg33U!$<@hTGTp݄I[x*3Inzb1W)zGc^ }c:s,dS}wCeI#_^)>_yl 2K*j9Ava& ,&gzxY:P[.5f sD]L 40 HEb(w`)nَ=5ex%#y"4HJ+ST~ncԌ:N  2{c^?}) nTfad#uul1皐ӄd)tܦs*잕g!ln rx@j*g~=s5pGx;k}ZSxM1L2J>(L`h8d/@t1L̿[ M\48$Ĕnگ<1f4R%o 0TQ`Ҵ˫E+r D$1ɁwB :lPꙴ1*rJNS8m$[42]n 9Jeo`34Rw֔wWnfh\;$~Qu2=͓ ;s>//"G*àNET#)|z785CXKhP$ 6|0 ` ,$@EEP Xy^l>᱌\ݤAp3Ǻ! nTvY&ӕ:Ν A`M*+9}3l*nE YI{:gPGϫ.Ba܎w0\GfA]L:EGd[̀Sa "bY"jQa]3?|={F@lmAy[! w!%gɠ5Z.ɇiZ$]T3!M5W`ԏج@5c3k3CͽS#v5)TmN9 @F:ݨۈcbXE'q=tc[ (mBXWL6=vfj#K1 5G0A(^r6A߹`y֞.O'-S2C_°z`10`n6,H]u?#cwr#Y}e_tnYbkvH;!2;TkO[.($Çrko%Oqv{7bfԆi"Ƴi*̼ `t<[*F=\~&;BfZ\M;Љ|g!4Bà0&8 Qo^DI`ٖ7!hSk"־fdsБp]M%$(a3-k9`pO iYvl1CVHdq`yγA}oз4CZ1]S&ʀS$}8u.iͱ褮ҜCp9yIynye;M{hwK4EU ` Į%)^J#QY6bp*3DBzjns/2a?/V9LJ ]4茼٘U-fm \qF0nzlx(&eylsP vʺKF:^JU5jb~ V$ѱ JFXXh:hOBl9d 5VLX!(VfP/n&%X`*s{Ǝv'2)P<OuоE>w@i>P" )8]RmvOW}-k0gT}Q)B:ڽ14X[%l41P]Mpg{ﭾyq_It!09işQm5E4?thV[nvuYdZu)~Б dRp& DHFjp ^q,ZV;zI\r`%~rc_QQ7R˛煻<]zDES_x4pe;P%(0X_AStߚ;yMd ^Iq jԘ(?kDI)Ir_` U1"T + լ,7-7WV9\/{T%:IXMEA=7 }z6J97?ZL+av3Koohiuga1"w-uqA/ Hv}[cssV)2K-+~p囦Ъ`Q&mo`U!Gbدe%W S8j;1~ĶoϗͻT?]eQ$tĽla KꘓmN-zŴ7z9ۙ_n;V8H=J6HBdj˴; %EL3fAu.;=NjϽV˅{U0k-àb`L$)(SL:Rj1{ȵuna?Rs*]sV:|rKXR-SL3 -/M;P2<|QC>xg5(5Do"dAZTt!0CwR=(Fa[0 ,alKNT8`ؓ$Sk()c:["opy 1Lpj~T&bCh )&q6^T+ - (G򷾗ҝ< &4Lco`dQ Yq/JF mPnug;4$nHU6'6 hW@Mjx~v%!gJYlTs2fn,1-mK=>zֲ  348ƠX$M;*=HvÓ'O4cA-[fү~\ç|MofO6=ؗ$oB,cnk;YӤQ6fdxV5Νv#?x^>2i~kV&$Ojŏj 0I~,~zFOX/\vbTj"cy[ډ/t 2wE :q`ngK4&zg{z/B`kng 3fApR2,}Q~Xjⴸ_֘/=>b*KB$d,W2&m4M;TN\Hn'X0 h#ж{ި¸`ݱ JNj/ =K i I?^+e躚GKlL9 zBh5rv=}yTqoyH>#T]Odq^zOm6dL| \mQꨩ6H\7}_#.feK=Z'K`c63pqb̋![<'h%EKB CZW3-쥍XTu:CL T>䂽”L&ޘ3Ɍ'0-Fv4c.fRE]IF :2 R^$Hҗ-5P0hl^WT6>+7{TB@M{}|MK#Cs_~j[=DrǠډlI1O 9G$g*:CrEmwyyuHZ;X,Tש+de̔+f׀zYkV8_m>%[sbN:dh,<cNl1"aZg~>j;LS͓0N~NsZ?-e>!ID}^%Q '6)cڡtң_\o?xd : Uf"v)?֦$lR~T- nC#v fJ8;Ɗc 3͐s6oۣ m js:qdbjC@g,IrY x9:[Gls0y^T&PMV_Ef Y%({f;-ssԧpWPB68g)b,7 U`ȫHH\KgwQL8t nKî.G@Ы?ց$/ ׋y[ '@|P7 ^9 YOr .S}ҽg=vytᣌ˥Gh_bqb;#T_mM-:% &J>6 3 N)6~(NHkW3uEcX&EVJNo\Ϡ%sm+aΉ=Hc%_;\qNVClE-cZ{hg &}/.⽃\'lw1[ C%Z.lJȦ4T7'2;?3ڼ~ފ9a¡ZE ΰ*`W$rA1k'CCd~J<@s[i((g6 Pʋ_Xsh _:% ?:ŞPp[ M{@eb1=-pv'䶶wʙ̫MsfG6lx &Kdnm /DWui#aR9S$l_1 3A Ԉ/AYSJ5 [R7c+aSj(c[YGMt/[j$r5]:73A8ec98nI>O&G a[\dzbK%.Y0&>m"Q,hUeyjcJl9~#) /B( Xam.Gܪ pgY>Ya%UiO;twwYؖj'1aOGZQzv!rtoo^ng"=k\}gՈjK4%X'701|VU぀,EemOTkޤנuiRd?}!H^p4'r 8X xK=NXV'׋#ݛtA(P5D!ڀ˗)ư-n~a/}X"j999Q?ݥ9S-0$w˂Oа|E }XRQˊ{=0',qV-4cS=d&"1#\,AT!U2$D Ua7bya$?Dž)s;U'gujtp$5G*1`Yypwۍ2d}#aO_oa7;%p'7P8e~&TRqQl)@H/Z+v-wcWXBt!jP&>+/Hߒr9Y? o]>۟wWINv;L'fL3TA}~E4OUUNl 0hO_[Ѷyy,{RJ=B=岱J4޹ ϱ'e͟rKw zu Q\B)l] 2)\a(';m7 X 4P7ZvB+ a6k̦0ius+N_Erj cNqb+NUAfH\pV` EvkԘ~0⟯oZ z {($|#yWb !8Ĉ@ɸ4tشE9!S'BR* T-9=|EC)EM,PccO1,IQ)t@v\Fy$b ;t@Pd%# CW y~ΖcEZʍg;460 4O)X<&ifRӌmHOXm 9UZ4ѬXvGW;*\$)l\3XelI{ ٵwjhHs,/bjoQ[=y 5UU޸jl);$=5^Ҽ}RZPxcS$ Ǘ@>rWVmx;ž{pɁ}!%Z^#jPِ²! IͅR پVGV̲4P+t2~^J! r$ur}%և#åB\L6EbjWs~Zk/P%5(׊Ao6eʳ5&? B^anZIy{j5xƎeZecQ.mH7/}G`=k)ZdKp%D,fO!+=f ALcxz (Q9+u8 VL&3ۄ`- ΄q]-3B$dDq " tu9"SxˁڹQ^S2"Qv/ssw1p^6~hwc2Lm,]FȞZq43%,VƻS}!#NYRZ+acC*aQrg.TyrUwjnFxF64~z8 wFb֕?%VfF0u2`:.dIlJz^WE3<<5I^8 ||r\71=Y}'x36s֞l&m\nVAQʸX^ci\p{H .Vh`K@ Hɾ$ذˠZg2둝Cn4^#&GeHpaqh)|6 >՚m[hN787Rg9j(iw^ ): ]CkvcAw)cf xq 9+̐Sb\g|Tm}8F|*ҢOŰvhߨ% +VmvC:o'g\ښjv&L /88zZmʔ4xh'D=/: |0/B6MPgY@-9!fPf v=)GAiFf}~D"gBM~yb3WB=",`~sVo:Ʌ0^݆O"5"{q!AF]kCm[thΫJ0P+byt :?9m5% :JdcyQbI9zJk Q|,/'1m$p>hpV*Q%Zk d9\%偆CSSVLqܤ_v-qyɲ4˪qge>#RYYV"<=ږsv?Uȏ #\w_RBCLJ ]Xop& Ŏ.1 zj[9:\=.j]0T8&Pf&u :&Z!LsPb 7L?XhL;1TBn4 7/jkc gI1 k^~xF"zc=%dGAwRo&=+RqO US"x]?l'dzAs|#yNvMp-Qy7% p i3-nj2 >F85m奬ve׼6O O?:ݝi Rϓ|- D[+8z{ ~h0@UFlԖG{4-Ȍ1uja + LrMH(1饃 0S켡QabJ+j/^_+ "Xg+VI&uB27jaXjH <o.>s>SK1ʓdOB0]|Z0'o3 k]wVSp/sV1.g኶CL4A1wp aw"|Yޝ7-m"3 P\lat$OטjD ME&gǜ2^-s^g-`uEcq>+dc<bذI,QW*|Nʽe(^숇UvϦ5O6ٗf+[N%f׺>D05?Aqd~K6 Mᗻ3Cg' ؂ėG5>" o=*j+g.;5sQӦ a劲36*?\`o_6 qSM!yO{ 7 /"%5(وFtX_N$SԦio|d7vU6yC!8Ş;ff):oE"aH5NV.f>׊<y^P]=Τ'FPԨis\^&1kmˈ!(|=~/rU8tjМtﶦkX$N.,+Sw{֢c!L;m:54AW ג/m3n-wzo\ eI|9Fh]]Ԕ\t#)GqBm1`٦uDTA)mڗϊ͒"O£pQj8.g~Dih bܳ3]Ѭ8C:_=+O틎րM9mw1™qG%CwyTտsj*`-fkb.%p5)%5F\2W]#]?љOPBD'S(In$x +^xCQ4pTO2=/O `[b 8;1fJE67Y}_@Q *n-YKqj97ʛ]ePA/賽;T$xIaJֶREj=gⰰ8M=b$[#i?&B)wݥlOH>Y9ןT#SACBUKSzC6J 瑌=h}@b&?$4yB2ߋDs_1~鼃G@ U}0Z_LN)YJ/vGi6r;*#`;֘zO/[21݁ԱBT%*R61d֡+'LfO.Aƌ1fK1JQz6YDIQ,RSZ1,ȸׁ; S/y?_nPG_uAwJ `e뾲.dxS#Qbmu4uMI@᪐Rݺj\k ~>VQuGRl )N.PI.@Q,_f9L~|OH ,.[W҃Ɍ5'2X `ZHF*ЂJb"S(@ǮW!Ge$^HW%vO/=Ҏ׻'Y!P6@flm'DEcB¢c@;;\s]c88r6^-H|۩>?+V.YiA`Ci=*@O1( |tƻS$]d 0ڎ'\b ,֝qjx̫Ni ewDl1 YǎQ8}.+/|7S@|lno(fgRCk;ǖ=H}Z:ġQ$ oMMY\ȿpq}5۟S9h"3[]Hל޽Wd|P#PbA2Lۘ뛮yoCjM"wv'=}w.I,(+[c 5U-BÝwbP=A@n('?)u|: ؓsr(T>#9{0dGRZyoI@{Mr@? ,]{*A0.9onûtf뇣9>U>樱;sC>M+{]σ1 $V o(0>D6M={ }b kW B u*fpk=$|v~0=BO8Zv%ƃu| cV+PO:*׊bjCyeTTyK]*w$N{AXLuC,; UF̭UmъdHuz1LwFLҾ*"+ET$'2QlܪTRCMO{HL8G콁X-=0౟ny+XQK~R:sgf@m]D~+gJy#Oy=@<,Kad!y)^Ha*zIZXyA>T} mg52߻s2D N[N" lu!ءn]b5үb/S|`~3ň`:^}it-AgE@SsJ 'hKSZƕVX| X'B<~:!LcDXI pes[Ux]?]=:"Xfު\^,,鑨 i2l,=4Xcj}nA!1O5{Yxb3̚g /|n?g>RqjBtᆔ܂qwbRNL )mSI#h]'M p"=ӿ&θE#ӥnO{oH.ۦXfGuu7 @y"$ 'i6! GHjίY#PAĆ*.y5CE5Tw_jlљz4mUéc]B\#BkqaATo+j^YmU.=Tz- o\9ѽS*7}`|)0sgiRxVmQH %Z3|QNͬF}ža ڄIrm @V, \H׌ҐJXE0o #\ߒ.]`,"4p~ _kzu^YI#&:դF1#F[D~;bPA& "/%0+"-PX]OdPZZ` Mct^sh>#5<|Y.cvE!%N`SXiMk6?ZWi KІR`# XN hd3.Zkt TڈYr'>kS|wi󪡨_=STal^"4q? StQHۉO"ʲm'.Ct~::gNh q rp$TON0D40r /O_4Dd엁&wMs Ś08a+^}ԕFQ>74Rye&5"*I>qHte|4bgfh@Cτ 6b=]4s^ /㲋'd $}̡ҐG_ul$1%uX{}q=OI'{u Ɋs#Z5-U'AaYHۚl'R 8>D/щ6afH}/h+SKMJѭ4gfo~ oЫ N 1 >cS#sF1LfQGK\$+-􎄌[$r4{qXYyh]}I6H!4A CA]dhR,P<G(xH^0J_=?3@.M3?C9>[$Z^Yk=$[i:XiFi%0*2jH#PoUO"|J+UJOhH5ݧFD0xKw Omz y2?O~`ǴlPgv"?E{pn#PͽI-Sf&/R&I>CG~$Wb[ق('mIc*t87=!((Pz+PAOG̴9iU#[Nq?5 7 .BQ>d".2ei]׈kT׏Wr %h)oOFstՉnnf R-tm[r긎38u"*< PƁ`vPi=V:M;0ew+_Yt@na!nR_d'98| Ej bH`F5MKx4\2yu)9$FZfwk }D@jL]ML9-:RFgYZ7zXZִF! p]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվӪ/[H"7Ri2wec~BF`OCS{TV[az=-tz1>+?yy. |0s_GK0F2 >QiC P;%*yC?-](]Z3{L7**aԊ ;ej֓.RWn!lEGXbZTd}ýEe.)R&> NJR-nM2f]cZX桖e 00OwgYZ7zXZִF! )v]ŗXi%L url|Ғ\2DC70d)$,98y3zFNJdܗ޺MsT$] ~˳#> 0aquGtll'\gb`YiTmc@4+R${( ~ƀ?pY &Et}4n-j>_J prHiAi%zPC-ъR3z,f5c.U|>"i- oߠYoWۗLZ({{:bǧ%\rjA&Nx`#a&xRyE qg!6Η_K8hZw<Y =~b^\&D]Ӄ{m2S6?w6E"8 U, 㒡g}9aAUy$2˼O+ƷGBdkwS =4p>r*t'v؄VeY,e%:0Ĥz2#%t m3h-C \i k{jT`\!=dc8A׭#`IB~$=K"mV+HaRHR zP0`䝉Hr>0za&ɂ4+KTH(%F(y/ >0ۛtzڶV 3WѤ5,9RgVl?? S_B>^}F,'>Ȉ"fEobP7Ń.~BS S gYZ3d84b1164e833a6415ae4cf6412ac515acf056095c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d afbce13905250e211eba44b9e6de1482ce641895 ef455c523fcff11a36327bb10500373ef59d083a46ad67ffa9c5da3b2752ab414af6a1a9936f516d