SQLite format 3@  . BBh77otableisabelle_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  L L!
(~>XY63yMI]1n > @9ʛ$j GjËs\1}5HFT2ora(&HR2k/g P F(w$Rב ?)9?C t)bS/iBx|/|Z2t)nȋď1S?@B5: RU\@Y)4-gNEɻ'mƵ(ušz""UY5\3X!/RB>5|!,L滬qKx*^I!X$iKr>VsFG''5œJ/BH(O.sy:Hq:)8rQ}Otۈ6JػzޗE  ! HOL-ProofsJuՙg;*Z *M:^F8D>/h1kl(չUJ%ԷkTq*G R;lUi;g2 $ 0ưjc6RĽ0jUl9>*w)a/GhcS'Lyky;x  "_hr.KJBBM2tOjVNn:+gҿ#vL,'J -Wʋ#Po y!N=ӣ5'-b%Z > X}ιi_&*ٖGg7S}Ϣډ!_T3x|KL4@3"˵j4Bt˭YY*, oM;a؜]%y-2QmOqqM 9a"OE)ϹaB UimŬtHXGa_&0+aUBf@xa"X|a"Jynh-ِ$%b!WklC2"Aki`SB[Բ,~C5UxjB(c~ 8k Px9V LkR $:;)Z &UA, Q*n#Tt*pГ=%tF>OF9kmRB;0j*D';:l ԲsF v{%{~ #H);&5z3R_9swo#Ru[B55`Ҟ3eAC7AhzyOK -01v+S#xhWv\eΰc'nN!Mq9+X C/2NO c%@nH?dTDEP-uԫR_śNz䳁 78C8=CXQyoi(K34,+X"Z( ZԜGЉH- Vkjzq`b<Zu `X|)䓜5 &q`!c`aUx:oƋc\EOߨZ`C!B'Ph z:Q2{9PZ)!)կ^.qtCEgQ[ջZ&hpIcT 7T-ٱy@Bm瘚ߜ`Q-6W3k:LAmo 7J$^oX ^PS03~C}Y $ }|eu*NX#zZ%W?{Rdgu%׾jNosA= > ӥ=$ ޚϢ^fګL 2Y8AvS7QjjlzaIV W5Ju1 #L㭰ЉK:x<o>VDp #3}TQjBB_Xq2R"U`cÃS|Xĭt%Fr{.d\ŝyߜqï_LਞoiVWyt-OCST0K=;|ԿC `.eF)8ԝt·F R"IY3;E=>84iUi7+­Hj~u7EhYסOн QM| k+Cc9䯑78qwf uPg{Hh-c2-B-xP?m|oͷn贉gw[;Cx) 7I$Ӊfl4 ߛRFG˂jۨrǖҏϣmA}-8]}iy~BCEqYAZ#x/Ԝ, I&C o9rلUbn=yd:9_12PVIKƔN3t4vie1\Tno*a% J {RJ>8z(Bnbu4"|A 7\<9/+.,yĊ Y`d9j͆d7m.0 MBlA;\ bo/3.T sxK27KJ6QbEbwl9Fq>s\NaIVMA ~~F3 A KX£3Bˬ- `5^Xd[LeXj[JB~:rI%8O~Ka|UI9z gk)pnþ+~^{RZJL&_6PF޴tnaxUvd9WÙsFK pi0@`i8*E /ĸ,ft?$[D!ؒWK0$74]zWX7Xd.zG‚H wFb0,𡢮 'ẙ2$)LUU_v(R\ڮKKWV_o!gWF3sr t/K'M_SJDz~+`\C ?$1'F^A_P{{<@P5]gZ (i7 hxM nEZN@u6Nݸl9 znozG7l39VzXm H).nhۮ м}gTh,_p7JLUY^J?3A4f Bh0CW'e.V*n|Ib? %&FKodiw1tۺ4 E\ڽ'R@c̵ءhΔÌǫ06Lڍ| %3,{EΑ-<cwo,tIk8Vƒ?g\M_iױ>ɉ\r$, /`bB \lU G;ЙvZ?R3˒Ȕ0%60?aq,])[+:FacYx͜v/Ld$I:֠%xĂ2(Qpt銉\tV$ Nw I0ajk-§4.S_g6r7y(S(̂tM-N!)e^صK_amIDmaI'QX$g#n/U~PLu藵s SUMub 3 0z}_N 6$"⃠{43)ˏZ$Mi{* P^Wt\튇t0x:Aai,A{)OɤEPv }R;)YL4mg0ç9SdFxR}~aZꃌǧyY9lESØg*,*uQ8m#%= g'!@ OXnRz"{$ 8-:X\P5۬|YQ.Rx⼻ͦcҚ(}%4!6y8IEPi|V>~to8X8y}B]?ܮ倣Ͽo/4C_3W" e\iES;]&Jz 8ڱu.7- $YQ 䄇2GPp2Y.H2db@S0Z,cDPPm`]0Ѿ#0ڋNkYEg$X L?1qn\eZ,&taHgdѕN@A#㨑!e,\AzJCԝzD mT`YY_hXQ/ YBBM77{h^<&B4)>O<) Dl73?*(x-kى~p'" cжz_ J (ZjY@G`!cVq B] MW$dR#oG-q1kb |A }_'ڣ/~oW`:K zEY8~-FSlWKߣ9Ϝ n>/2Y{z*sluK@%Ir(AF .\ %5hW--xg ی' !۷D[~ /%ZGyFɘTk,e[w*û3.A 1O)a8pyK+ =Uٻ ?U>TJQRy-dX44E\|#G] A!\%ʃ>pԀa7U$/]rVrOi \I*M9C$Ȯg[Iђnq\7ugsxH{YKןն >4 Yb)n&4avՁaE3)8,q3`wb7y;qp>us"ۨ#V)b &Whf;!˓od3g4խ ZBD SP{nސI .-&U_e=,=c)5խPdkZz0AKJ$hZ|<.^)O$r-PT<L g(Ts^}')j2m^/l8A'l?ofyHk%ҧINr%)U֘7iF-#8p߬^<(V!٭;A (GG%pbi%w"pVGKJPJl2:Ni*X\ ك@꫉I}70k9ڞomx7[B]XI/Ta6D`Xg.ĻV 8ţx?- RoZr1hʪZ8|U vűL8hLSWO-e$ur),/@#cLVzѐ^ZdUN6]c/%wBܤҩ2,%!Go0ȼ⥱gYZ7zXZִF! ]ŗXiɟ29aoʼz[%U>EM!!B/ ar hu5a(!5)ݎw;?ː>E5]]Mƭ,)E B,acݰnKwJSP}tǾt Z] qV-!"mX ϻQplZmUZgtY k+^ R`Q{J*9x'0l;Q&"m!ru %HcԮ !@ >< ѸfKüTvϜ'ى(- g;=R3 iz䧮'ry![lYh<Ɨ4t}.AJ|p?UI3P"]Uk:yHGC.C^Ѓ1p :B)\^*-k4~Uzfε~ +kr?~cŦ]fJ.+5a# LB_WjlA]Yd '# Y9tWKfhŭ [=Y *xM˦i9r3SY@|zs"^?*0rم<6 7 }pf$Hr,aq1q:#ʼnlY(7zM㬠x/0yqlU̷em0}an`PZMFM%(g:A\h$r`B {Qe5Ol M:[;v"?/&icLuM͓vUszB)DovM(-H}?x.JI7w"sW9`oN6cw7RgȟZתthVBq|t:+ɝnw􈨬f;vG3ݻ2u޹n'pyn^)9 }Ecf &"KC՗(t%d(Pׇj1PPvzI(1 ҇pӲn]e#|]cd% Y{A,r>ݑ 2;[RB zp2A|؞v`шli@8gijo 7  eLL̞@!,|?Qo k>ZG[($xYg[/7S W>bkɧb70*}K4t(|?sR)&; GRf`6sz@mM_nxH#XnuӔ'm2'D6Sq=SB8'6[ʚQp&|W@\<ј!ot쏄;|jmV|fcޏ\Ai>X~ C<v 82 v.@Vj.hVNצ˸Eqm=R%|/1 m(,&2VgV$ ē)m@<:I9: ѵƐSz!<.? b[yc ERvN}҂[K!zo]'9 پqSC8v~6iFIؓ3[ڹy$s‚fJ2 5#o"O ::!`v *&a֏C@D392gYZ7zXZִF! 'q]ŗXi%6Xs[Ai9j;s hCwvTLv ZʞOF/oFZ'=eo [>ǭ_| sΤݍ wU'Luu08 ~S[m,ԃC0 NV ~mJ4cdHVɢ3sQJ*D/&×.̶B.Ǟ'i.)l5vÑ=:Kg⻢HҗzS/Ft=a_N>C=[QF|ՖPW=.´ېF2 N.ʷ_) nev=u'9D.sEKx{\ķ\oߛwA*"y֙^=-s$,^"u@[֋'z$yۈG>wOë Q{s\{g[q?SwQgzV+|V.|QqF{cEܐfĂfQ^)|hqß7M8<(_Sg5sEbR~2Ӝ{$m~ noW5զ6뛮 90PvJ,+1sb6֯x*~^6h |/`oT[~sKRNE'&vOo\Rhu&A%#cEK'{-?E▴пF \u]8)!͍*hT"ּ߁½ ok7 %]Nl n ؐ'JYD +%eo;[໪L*b~-B,.\W\DceH@yD]lu7ArG¬kD4n`O>j/KĂHdX-_uғ^(;-wc_IF~8FxRX<87[e$]So;Rgt8uG\AS2)Lx'a!Z\T`񑔚n.u`|r8ągʚuMH>uf&Eڨ.՝.?nswsmbaW|np'= SYw{Ra"zȠ3HP '*AlufhjUvtRygE3 !9gDh¥Z U ɝ簙+Z0W!3Vk|$K=Io7`Y/Or\Fթ`BEh]>m_aVLUR' nWmy_8"5}tG8/VڣH_Dlx pw?G} DF-,90T tG{8ХeqKS󺖩\6{W2l_௲qetp'Ij-.se 6Kcgq55;z1<m `|Qt^jIGŁYZ{Q[ z::+nb2z?W|nL?wv1>bls^X4Nct 35Pԫgۭ9 "Fb@*-^_^-Z!/Z3yk|Q v( 3nEتt@tӻH ^Jˊf z؋7$ڟs!X>$\D}DS3>P-KҽJ2>dQG׉؇+̓)EY՞ŜX)΁țFwв^ n&cTZC){5y۔4n`XJ=#>SuvҿmJؗ}лJ'%yGޜf"$&H~vWT:8M}Q4w$eHʱ^3Y,'bH>'9bM>5@ JqȕĢP/k]J/k%ײHŊg u=)y w:^8vaLze &WlF˹,̕;dP^ClqK~+KV8 ُaS~~[r\fTmȷ0=n#+X{W.{) r(W"|O$ KՈ jG@Bf92@R@[ ?ÌXPd@%;tth/,mEIYæ6bK'󬅂|?+5W3\h| >?09¬ٞ&6b^/K~[S"۾HQ]m(gP ' ,`M|:Q;k< 9ؘe|[zP, 2[)QhǓlѰ#c#C()Ja.y8*8=_ySE)bUNNsfc~K e ('ԧT`p3d'D\U8v 4;wԙmXVu✝sH|U{ }`1z#{PvrZ .Hí3#J}In!\ 2'P&qe0Ą$bYf0,Ɗ}kosزܥ)n5F0fȺmC/_J9΋} {>dEj Ztɼ{JX0n\·'었4t2޺~Tք1'}RbYh(FTbd{ U֭Jd[&zFe  DPQ*w€p^g= GAZꈈ! R"*ebJh /wˡN(yқ,BGW.}]j~3 l *nEp 3''=|iLxTZ1A! 4;e=l/4,w܂%:ܿo&[!7cQo3Wc":"Rj%VIxC2Ɂ@0vp'<7ѹC[}l!I@(ǽN[SLdvn8=/yaXF=⎏@c(dƄLCϞ6ʾ ;Gc!:HWs/llN4b|H- R /A=FL7-e4j{TfRZoܶg$ne;<rg'7q2S9/GK)9/nP)S6YY[N` vtңy2H.2NO Y L/s`(D{+(KsтBoyM,ӛ!YЍ:'bL!}х @.ASA0'{Ok/&Ijl^mlx7fhLs10~,C|#f4s&T Jo+|8oX~pB@\Xo_Ryúy`@W"TVkS=!( ,N50'E5}|k,Y^v ndf,zaHywȿ=؇'^^TR)Vv}ǁcfVaXֽf&Xe) ]FPo,TCMNmb=y󂃡vte^ _a"O60UaL/|[Ua~#' k::_$E M\$5Z?hv64hҺAG1 ^0^:T$w&)Tؒ˧I:IAljuثkT+m2 A'x]rMk8n}}CZ8 Y۩Z069mp2W&K٣5{~ؼ:47tkԪ9hCH1 ½wҥ.$|") tm=X`k =s8љ+IN!j1<Ąwru7+b}դâBHO,RGJqUXO7])r`-*,}Mr.A=TD:_ӻTKNh(UHݨN{4. OSá"u]/ *+E2l+U0c3L ӥN&x!!rQA _Ha) obvnҿ(;HSQ3Ml 1K*@)BStދ4 AL}ŭcGƀ`b&0`/w::hA*є ߶"2iWΝ畲v\Od^^hCIҦU6@o+4i*gSV~nis^34 :L~L49`,C N)18mCWlgD[1DU6n4;Ars^B}7w F3U~˽ R_9HBXv*Q6[G=WL{@+@`A3+ 蕤+m~3ETjQ{E\oE^ U)#-4/Z(=R<q"NaS)pY?@IMMR[ٖȔ8o~0p6x:͕j0ֱߡ0 &&$E5wr%-g ̋7L_vR-%INUy0qJxb6=Toɤŵ$"4V9b~X6/m0W eL_폭pG~5/F:o8ÐF_]]uPpX+}وQsb2[xNV]u!~h~R^uD_޹ֻyَle] Xĝtt兲 c-!=L8`Mˁ+BJROfG|f*^'`|t}*ky@̖цm6qF q@LJrظ'$>|$B"gЍi5s5x,Xo 'O*.dI24 - 1G7\X@1rr=ү"ΈE}/ $k5 \[6`Anڜ .z$}qtyݑbI \Y@)+<ښ{ -m#Txtflb)r3I>8ܽòʕgfGSPjΉYW]JsPcXE+7Լ-?Z8]@ oNeBsw`,ܣNlԗ*<)CgiՕ7ncۑl@ ڷjՃ֤d֣&p5V3ԡm}2U)ޭYnU ^FwQ̈́Ì݃њ\xeqWX`lRmߪB,0B2x`MCOt`n=5 !N\ZQR#|2rE+Rqw!F5^~1#̪G1(udM .k&ѴK'#L-[OѠUiRX/nحft\8t/vDu'Yȳ1{U OfMRd:Ee`\'! s!ϒ'N% CO.=.T1N m=ّ,7Q{±$،ҧrnŖ PBxltg[Z\00O'yAXH #Bju*\}jt6J[ dp=l갢Mo׺k*HK@/Xkg{/R 72FG+8TM\mc-ʟn(t'y#}GL ]?߷\:M52 he<(s \yOw1cxP iA{M-=Y0WOuStwD/ ς`GV(q|99<(qf##xܝ8f>Pf MSpk7cR ly)V3ڳilĐZeLX{/C}iyXO$Wgp-ZlӟTC?Lw>L+m0)a/HNe&;LT,Eyg> hħ-G>|ɞ\h2~2ǞWyUpTw(Gu|CfʟRLrĴHs?bČk(XY7"ʛ)}^׻?iî*ӯK+;]jFl?|#D8 (k p 闈ra2u:ӄhWTlI1UkбUuZŖ`9|_[s3}v"?{!Y AiP#! YƁ(hSVh4ﶁӊA2}=h{./;?ylKhBFMy(8úkƱY:<3?ȚOopDhȣw(e:W+^s+)$Q#)ۏWOP{Ԝ2Qr"{~2PMA4BdY<N/V Si"uD&$,d\~(x ݛDeRH8y8_ӱs1C]J]ҦTrnđшf5qʐ' i?f$x 2Uī³9KR g0yltkUY^%{:Vj0OV(,ȴQ1U,Bn4|1MaCڽ*b+6A8Ho}~ID?! gaӾO'ɟW 8~eǡ'g/\i|7rE9f#SLtB|.Ia*WATo+ƆQͺ{99yǶnN L$ve6 y| 6&|/+z݌?sDJ-r kԪ,咧1{< $d98A?´'D[1fL$O֦'jJ82WoLJocpha$cpa/mh|Wj'p ]epdt8$W;ɀ݅~7JzUN} k-J[1NpKs ݰ(cX(et-io#AJce>7+TJ?7N?xB Y|n5ieЮdjN G@8;T";_{_YF17>pD2H`ss{J 5KlCr9u_XX7:'H\Y$Ob`K7@afSĬƢ6nԠ8e[tkjPy Kj}P%FPx2ݟL{U C_®Q puAPΧmX⌭ e ޘ԰Xo끕"ZFQT^_.h-9 #A$kxj:sw,з*Y*qx+-~Z7i\:RjZm>n,]'}_ueqVlm*l+L7-OuQv*uTtқa6( CO$BXyL.!WYV*EK(9rw{sg`^6189%xӌFnz^X1C Wt \R\D0Mu5(:>npc݃KyQŐCi*{@}P,Bi5mp)u=dRm&gUO]~N!Gݿo?@ jCVAФYKE...0ZS/XGXEo{=(F=sl8NEX A!}p v뙇Fm~l.LUlP7% < r rL1:Ч;*L.2!Ez\GuUT6{ǿ =9R tmZ/1h<}"[Fܚr#7ƈ5eRTX=/6PSЉ|;A G)O.Zl.lr ]vUgwۣC%F|;As]e&f4W7Q޽s5 ǫytڈ%+(YR2iEҧyZ=dZf$h㌂:Yc D^b`M{'9unog1= v: mQ r!"7"!5LHL^+kr}5tHg?@h&d|[v+_0h wI݂m&*K_ GXw\ Mt/o IeDY jR`TeЙb ~h rKYQ_vq~! Sf+t~^0RʰrO/ &$Ngg0sDRy7ڏ.cjk҆nIfUb vog73KqFȌ1GZ8ϔЍ@Yiދg(5}cΩF4ϻ)*Lu1 a$,rGFֻhjt@*M"Ko.f^LL!r ݿuh:mr*z "~gwFk}\0*.ZNPIZDwF)&⫤EJW){r:d_-m^e]` <MӰ _xtep>)F,҄V&9D]yo ("QG"=XdfrÄ]hOtr'G i9-@a ~Vֵ²QB*Rt?#VUtZnӔH?@F^UHd/ձInp[qQ=n! !D~r m q,[SRrNT8r`,fة8 W̢N#U:vuyܥԕ-g8z>{.n |˾isI|͚d743$0P,BשGrgxГBxcrqVb#jdc.'؂,OzQQW |LĦX~z~'9VQJW?i`/Y Y;F q[,Ѐi C_[m H}#aX$ E6Oɶsڽb:f)fS)Tt=]iz/E^+DIy Ëݘ>#o!+4ܥn[j)fg/0@jGZr/2h"+wշ3mNWYQ@utD'T) лT֠BLu"旲,l.%e6(3SarH)m| IxRiZ\6zTW}khxk#9(]uMڭ;]\8bqv޳Rn~,;cc䁠Mt YZ'k2 Hc5xJ"ˁhijl:Ob} 1' sF>YX)K bv/v&Uv y-{{>F6>q8+|Q;imDVe7+4q@ju?M"md&hCn*;EO x Bn )#;)%8'>`?yL%eOL NT屖@("bf"h!i/3#\#1 ҫtn}.J}ltd t6h^<3W t߸ukՖ@D {(NJpaq9 X2Ғ?Rj=D4Znr)H\+!fZ 奺|w{䏮 n2]HYֽ-D k@LZDg3*5BhF]ʝT|i*ƺvk0ՙA.>$̭ @Hj`4!E M1z YnOizEogϚ9%}${_2b^Hu%]] dZ(/By;`>9(Yu5~a̖p-#Q҉g)fkivm*m85Z" &'1i^G3Wg&,(Q^K$[:̕z@} ՝RFM3oC(AC0(ܤ"'I]2PKi iij39C^0Ы_JM ݁&uj^]BUV_axōG1'HG3l!~B+SFh|ܐHL 8KCϑ`M@5-x=<%&\ {{J_MH<'6X8ywB oI!]|n4j*Xk#x;o0+6cY=0[SɢإOTM:7 dR-[@}ۙJe0yV&[6J6`8dj~mٺ*nTe,@70FT5N O+G^eA|q`0?b#VQ?<:@ 9S.Jq7i{w&י9:U^o A_ݐNSJp ֩/_ݥn+  ^;SΎ\}n@ʱأ@?pU2E)O $LelDYb$. Kq^?A:{onGUnV U>>rV"g6XY\."مD4wVuQXnn1U vH ՎM$8ݹCx^fO?D>u:Ax 9Q{.s"`E8 ֻv',301~3; ܂TI8_FItpΊ ?Js#PrAau[L `r)&Eh 9wsTxZo`6{Pk꧁HY{1EƋcn ܤ.[kK/s[uLr8&`B &hnmmUy\bITN+]Ǝ"(VX䲏R3uak(<r<'qv$E> .eS0;40{sۆ28_FJ?Ǜæ#NOZD@.fFYvVO3cCwmjT ЕؽAa>ۢ{9TxJYh(zΊHH?Iy:mQQQ 0(A{bir=rZm򬠏g̙^**Հi$z@D j8F orun Ulɢ,`xu<}^ .y sƍz Nr37baMqG:Y6{c," NqJJJ:Gbje@XBְfP-uX6ި>v& >Wz+>l?&zr^1oIwǙE*oZwܸCH}m,c Zv+YW8R剔:WQT gʡ37n&l0r揠䨧xpbB5PANHƈ҃GDTw4&5A# U5g&[w b"|u5VYdQQZFq}4s._R@nCR#$@yp[y q*Q (J:i!.{5S %WԸ`@#Tn TmzH^l%=.*t!{/ t4EU1JRW…B}ՀFJqM\ԺDyg?#ȁ8vhrd#(-D HF 19>` ]lRvjL"nd!Hbm4 :fBHXF:K1YJB?MJ+ưj\.ʂ 8?1*V@u`O`X"uNGi|!;ԖҎ{B:^bǔIylXa_Wyr  δt5FCΪsR W#7wd@566W ͬkV GMz.ͼh.ߏjszp{Qq`R}s"-~i^H2@r7׷b9[ e f~̉щjX]LUy Iq>ݛ C2̾VS*gׯQU05nݏ/RkdPKO]Jj=JtCFQ.2:N~LZhvs Q-PI2Π ֺI1M'f戭WVXI!C|Ǯ.\h??c[ ݧLLJ(0Dk>3a7H%ǽs#)ܒȭyX>"n-$DVlf=~a F w=W$aYRLt"ornbg#i{зWMv=KTI/.ÕvT ͽQ`]IZ oG'7RQzi9xRDIiRj-WO @ #~=>SeU4GpMd6 a+F0аW5ɟ ulcnDd25Ww=m5tQ^RΪoF8ssnێVKlĂU:9SWdimo|$Ae9Do{wH) ^hKBGuoZ_I !z[0fvW1 z3[0inrEz|[1nSN5w^Q]XL ${ 0ͅ.h]ִyJ6N*!Д)Օn.AIvB1\EeP (/nvyGBOKAaLRe^Qg\ &RG(w_XޅWI?AZv 4x-K$~RzBˣnHps,,_Jy sH&tifXAyWUwOΞ+]Րa<њ c)`4UNnyE}}`"2r(<Ŗz醮NP$ vQ͟ 61GpBvUaB\?$4 񼏸 {|f>w s e3Rˠ@^G8'ǻCjd$Q !'3ײ$fL0Z}zʤ6 ҿ8Nviۿ,#1dgSH)S8._]NUIDT}CڼqA~Indp\-rE!F/xc,u.pF]3TP%XX!IBOg9Ohd5%1aluLOk\[W#'xӻq}(5=<| RuaԷmO_i6gL }12:B:*+Fۇ UB ,66j$q'VD KGa=3è ѻ(0!Zq&a ?H)Cx"n&m(5ؒmѷjh2Fs X hq4p(!(`Ɏ[E}#R5AqH`9).p461s+,=>9؄.ξ@I2V95& :$`>h<`*BӖb8W 1֗_ZWy-ZWϴ^L'ڻ{xA:"Imh6XUğҿv{Òaۭd̽(T R)t$^A!`7BT0oOic$6;4*Nj+d/T~.ǍBFTګ)+s(ChQzf3_QVXt#\mGOT鉎\1Ӭ;A3uWz; u.5]ؔDelu 5Z A˯\$3n|jԗS} h)G~YEgN~3NѤޑS鸚eWA+D_u]~Y3AѸ[N"?vػFQ[[RmޔZWGJ*@)df5Dd=J~E->`G&" x?ܦ4vU f~yVsK$ Pl&<0Zfu[gL5c EfI@Bh߾T.ɟiO(-X+]aFX,*rS=U%tCoz<^>J/J6KK䚜Ӎ]eTX&+Ϟ7vatf vJs5 -`I2,B熎0^.L2?@5vf\Y8F'a4|{uwYV,wjjvHɈڶPp'yn{2} pHPۀY08_~RQ;U !A^_$QzMdl31Ñׯ/ާ^cs?Q T `*bWn]$NZ #@{v0,'8VxKw{4/㺳w(Îؐ W3ϰKnyxOIڽg!>œ!836P.8뺰4(gQd$1̩ٷd*0~aPcL'$.Hq^J~"jeWT:r"VV2([!F^-b#z:?MF!NP"v2V[1-XvFatU2=jji^D,b4Vm(oC;mMh `m%K^-E(Cp2me"*yźnH0nM)s&E"s$tRe*a7rfarc%s806mF*zfx1F12bCΚCm:`/f69=Ob#t p*l~ͣs:[u\HHјSS0eE:2晧K1W=N53ԉs:b "٬k[G3‡(eq/lZ!# Bz'ݵb=ȱwqPෘ78 '"oʔx M< *st(oI#CſYݺ+ QHm  H[wķ q0 Z |@,"mQPP]Ix@5oR{%K OM`+¸Ґ_jJqAbncǡ3U*[G!uPZFV=b UyJ9^grMlЅ{SoŅlj#K56eM5Y^@WȚ·m^[]Jix 9ǹ\&Lbϋ`Bzw3JQ,[3oᓟ4p8$= h@Q7l VŽbOAqUsGJO0dʅ,Zc%qE`J$@,ra$Td  @d7].@^81iy"g G}ސTojmxZ\_@ a>;j3dnmһ*ؖ-\0g"3>*]rGY f ka]WP$ 21[l⵸|&fkLTM) e>Y>{+lë5l>>g-~Ӵ49ߑ&\GO9Zi6iZ!EYOQbhPVR੎/~Il@6d1. N)l_mաj$qbnOpwǑEُ e@Fx3?Uu_q?֣"YsL`STfU4zƑjGڏ0SB^7>g 9:p =6uNp2bs'c|tԥׯeU~X2bV~z :C` s׷no'? ű7ZdS`9 FeQaj/D1!ŶVl=L´4R_jV=RZP=ͶrydsA:)rq9=U@ t,Eӿo{c @!X -Fޭ(#)md ѢpaX%)4mNITMr ΀2 kfNy JK%fFi' ]N>-v$dZyZ2 5'qk# %Y29L]\֕K38+ Eu?1d:J#Dp& }B}e'4@RDf?[ zv@3G@,Y `kԒxO9%.0뵈HkrϨOR{HђH>&¸' *UmBZ8`JjIڂ4/Y*Ӵl39Rg,!mxpVOxL>ԛZ9:/߫6 Cdhc[MwӭSP25"gT^m;; %.^̐qz"Bfk_BhdOO]}FĠɖRAczb0c2LMfD~b\@:$nv1/$u{ƺ{l!G> xCԔn`m5:tfi lqlH;r5 Vg((I..#N{g?pHDk^4ZEծΫӁ@~zE|BֻRe"%ÊVfKÆb_fkky/11U@2q?7L?x\q_I[<75&b]m0$clqpbԻmRTM 1 Iݯ*G|o0s!:C! _ӼpcֽXYc.)7uSn-'(+sy&E[W޿*GBJ7 }\5wbIW7݌tQm[ɆwR<a훜46F3c4Y$=IsǐABX~Y+{IV焯D'kߐTMl1h Yzcl%t, "+ҳ)2O /S˃>qn$OvϿi{!^<])qPpT`πS{c~ Eԭ)GHi LܬP墇 qѭ7tW@ҐXt8.?7ѐ wu*ac Ic>'ɯT3==tk)M=Ӎ(ʡ&0 }-Wʙ R&32 zzyBNU0 ڞwF; )[^ш0lӝ`&z/<c [pXR})`q֡miw:uuɝ+~wLX7bV0Ѐ&x/54/ڸ, ]:_GVS 3] PDϡP,qIM-dz 2Z\5i;w4 8hP_d{@=Oj%w[) Hd!#Ë*4[A}A-GŢ5eVT>zƽ:BZYY_H?g ,o[/qB7rn{拿X>ڹgft,֫uXnvLg}=eW+1,U{iaj%SHe K؅Z3?QVj,Q%#S1jS5L QJ/}A7,Ga,ڑ[&orvU Z9I0ňh}.-ӲIc$Vuǚbkv"2_ oIR#*BNîoꘝff\{_i3+±x7?ےw"Ϲ>hɄG^ԎQ.mL`nu#">Q4<';KOjmy{rmixhoHKNu%DBWt8r1풆i\3=un |/Z'p£ŗuH[ IOKa mqpC3T9xH7js\l3i/q)HKr 2dhc@\t- wWZFMlO>HyYDSNa#\ MtaNQNxyBE@R%vN6`.YwJT=Ol6 .Q:) !p1tքݾ&ַHO}^@(RygYZ6889917877fc08e99dd6e3ad92712372203c95f23427243aba6cf13954f2663e89dd0ef448f9e0acc6629c3ff2adfce528850e5117a60cd1aab9ea68