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  -v|Tl ]% AutoFocus-Stream:threads=4elapsed=51.642cpu=147.548gc=2.6727zXZִF! I̯]ŗXiɟH)0%oS!!S|=+1?n.T.-J+]W96M8~sQ.AKCAڴx$a+T><,Q'/{kwUO L$7}_.eXnl ǘQ_Boboqg6szSa>J[=ahB[71FQvrl{QsJ5 <&B'4ۊ >櫃p\hWl&i#{-<@i'Jc2x젎gv+"-~yUլ@kvhTyghF ^t|SnC 51ǤM'вx˛ŕ/{WSqPcXdkx0%$8ID'Ӡ?^ց`959?Woy6ǽ3+|<6,Ҡruwn%NKm{!ՍϸR鋠}2  - AutoFocus-Stream  ~|!e)|]ݭ'&+[̚TF/W!gL-fv ռą|JHV8ĎpV CE-.4M]o8ghݕfΗ k_ܮ#PvyOf EG<̺{o)4u3^4q74.dܘ= zWq](ngiǐ5b ~ 9? L]ɦvaU!W `mfo4:YCY`Ui9Ӻm hl/l/FIXhr[넚1gKɘֿgÐh4uYS~i+baRriWa!JO®(B]rǶ86]ڸc4R*aRF<=^߂a݌+B00\F/"5TFtŞjlT:yVbFθ>߿W)>51ߟVd]=RAGOŪ հ+q][%7%ڋd*+`f#{`T7x!̚ux,!ѫT2/{']`3pF۶VY/z (!xJ13;1E܋ͤpSs.yqWpoda:=^2YZ0 Z>~{K*ԊHq?fJS3UmHlShZ Z֠2;qFpDK˄*fx(8_eţwܷӺk_țQZ=8b|"!B{.?a$фac$D5ϕf83cU{4!䪽$ ?cX GAqB)_>h>ar}BKF~fƓQ/4٩)Q/TkM4rIxVwJjM{*Kl`2-X|J?APm9vQg.g7 וڪ^c~~$zŒ&m x/#k؟SAُq 橄ŰV[K" y7F*旆eEP*0=ݙ֪\ڱ")vQIT q].$ +}=0KjOc)N cI-o#A7hP.94ml{r &!Y<ѥS jAw+mp\b4S+_?N`+A1.cj4 Srpb;Gruf b6bk߰ {ŷoin?tRz1OHxK?6KXODCcO8bUɭ5vfظJ p3u_Whz5mPrPep}K'B'ޱb,B<$&)'!eem*٭&̋(62Vu"kJӧ8 d!l I="/+ cOtVh/nWBv0nfvBRS7n~aÞ,G*@c*eK7+=4 z.PB߅}tGζKu֓)/~"{bHnii.FM5G+$\PM\3bY/ӡƦVA猟=Tߢ9&3E$%{o{hJ2bǧ^psKժwTHd^ ?G_HGg+}| 4ju~u#/S`nh yIoqI.*F8J2s:ĺNL-C 9n Ҋ&eO)SHʂm 3b];MI.\!ܵǁajDH9fŞBWȤ球&ϯБ6:ݕه-DxCk}|Y?pVԩ$=iF7 E'P`RxVz?s$H A084<(R,7[e/JSGx7lᶣqѠ]?9y%RMȁVN5ʠR;Op{3^l Ssiˆ;@Yox 81gJbm T7fSE[nlADhFa>39ˮ *DCkbA<7W7{a9?4M]jQbڸC(rU[q |j+_ ՟Qr剿U4QYjZJsX6l,Crԑ{/<7"bYr":\Y1|UG4Ԓ8=m3!Sfdȧ9j'zWNEl`}4h!%nVy82w_EB_"v3rJ'2C\R,ɸYS'ai>冟2 |+C@"ӻ˭{.T#آd٬*XZ:c$vL;9I?R>&: 8]VD9w_)h&tawA=Y2fӥkӬkzl 8?!PD%զoǰ}j<O|l#hŵ9m &bkנ;Ӗ|@͡+1t0>{;rDqYtA^Q+g,(t9՞AU?fH ?ɌfȬrOf[RQ?eW E'0UԷxNMF#h6V6AHU.= )ĀF` iK9Re!f Pڶ' c7hM"MJmqvb,r^ƾ4lc˜{h-`wOepT gů3&s)1nJHݽ`&w{Y}EVj?ot%$B C.̐pm1ebF&ösLڻ^F7,Guj-S9[xx6~5|I5R`۔ h"LՁVXR i?r`nvDɠ?'\<6K+&a/ěIŹ}˪,d#/3b235n;ip8)5aFF?M֜?sdž͙n;ۄPV>L4n~[Fg4a ɟO}-ځ6vd PNΨ,JG[z/ zi5Z Lgh!w93wa0ii ޅڴ+fXIQ>9U_CDb}mF>nZJ nOYy$7JF؃- lH8^ng.sz(]teOP~ڇaTP3mR=]sY6X\Y3 $-*e5MP[R鰳9͌bE[Kn^WWqzv+9ՍMnxQսN Px0x48?CH{0TlGjBh+;Aݜ@@?_a<{hȤs QܥId߳p P?]D듁³ ۩=X BL[J |]7i  b-4YWO۞cXbWWǢPPcZ9.w!]a|^Y۪>j|l1*2zuwsa;f~%2ޯX{Q0wS!DmGY!fԧ\8/`.;䀘V&X7Oj*p[X:m2YXׅJ(*s`pnj $CW+C-7Ϊyö6ݘjE.hpH8B#qo (&Bdϻ}=;[^@!xoy8BOBVb~4*-ڠC_EV*8[jDYg+ yXfgj%73zSL'S׍S׺UFSw(S'\c7:B:Džt WĭXOPe¾Cv--}Fa,.{HILJsj?-r2)'d { KwH I# 4'ٞoKOV ݽ;"XA|r㪡9w|*^ Vh|Qtw悼gMc:,dqn؁9|{eŖ9݃tO#%I"`ƂsyVKK!y0TzE{N:T=M]Qab,vs G";o#;xh@g 9w=m~ O3dB7ӗw80>Yd4yxW<R宭A:^x{K }-3HD*LyQD6EbCƣ#艝pvw)QWb]p MY2E ?YfpCd (if+Hh6˸@u~ ډn.<Y؉w)ݠ˾TDki8ug HTD!F|j' ֡#k4HJl XCQz9 <\Tk=|[0cy3b p4ip @6SF!ZmZe4OӬ:)gFdjeoMߏ&dSgC/xesctRz>!hq"%RCߧ~wcH?x XѿJ:˝Xogjb,[`AKTz#sǧS!H|7vk.^+VLiS RWgex$%. .#bㆄqk[΢Ha4Q״"|=);GŒ7F_l)_\?ۑž]XZ31May?mQOj~wO ]i3*/ABGmhP|t{Wf<:ćwm̦(~K|$98n21Nzt͎d':'o5 ypx2=PR_/Wv1%d`H4,FVFG((9Vz Dvm|sÿaĦ 8NQe2"h'Ň/X7MUqX|uZf`-}Mcuxr鼭 CH^Gok% bk2- OR ?UhgևRxމ̴y nς5. Bw|1Tߡ@@leYbچOF;›kb;*Ecx؀aGbv@ҝh`v}CbLM4>XW)ug 6DEˀAi\ZNVC{wc7Mr;ؚj#sq&6 ?àKD9ʣ&>(WK)l"/c@QvP-ݻ`#G T VT9?o`ԃ] Ԥ[NSleeh]tg?Ʃay!c5&Äz]zo,uݛ%28% ˙NmF"/9JWVB(*erGA~ *5hE& l5$쌨'm//?Υz'8]nP6!x5ZҦ@ZTp'4Y H>}9L~C-92ĔG6Ofr $Zfwˀ_BY"J\kgR !eQ/yvM .AC (r%abݴͼ,j8~d(, 5B$1iyۦ|{-5wf9HʍڌHS\9e30AL}14eי_=%c\ocXAIh+S&%d{s/`hV)~Q*lU((R~T9`}$qIٔ)nuZYGuf`ɥA$gmR# .Sbb*1.]= fd<$biP)B6FqJ w AhSNw&cbyln:lnsw2? w̳'ӣtk(wY2S0cũ6q(OViNJȺ 9@I2gI1.LZPō&"34 $ +ȅ@L$^`Ah~ <}AȮvIu*#n:S8\Vzƥ:"Ǽd9&!Ͱ9{lܨK ' j6e$+HB`vka 7zm/wh۰w1l4^ķiqi5Cw:w#߸\%71f C,|̻I>ןVwl{@NPTgS=Mj.񗊙o2-Zu$o0wVN_ p/M=7Y+YFHP2(ԇ^Eр}yT^dm : p2xjh l)Q$DøQ)6~j, ޳?WʶKǐnM,q#qS^J3^%x(#ٍc]S{E2HW_95u.U(M80]vuԼ^AΔ‚Sî|yX=禟?LF0W b3+4bI-nL-zC.>[էL@0cDk˕,̯of4cG=  2r( wu8B*sô;rS3TP.2X p,#GxXԬAc NQQ"k@P* O$ /2Vf;LN~y?IBuw/ j%šSS9wF+/+gl2HkpPFaKo)]9Zu>FPÚC,{ Jog|Ϡ)ͮw `J2ӪJ~K%MQ:XAF"Y=ûȗʤFHN`tK_~)Eٵ_1#Lvݰwt;T WqjFW|I|p)waH0:pfl&ԍ/NCc,̰ff x$xSN{BS&7nu.GXUɶgjFVKMo'smlnhAws_@^᧌88MDO6sm 'xwnKO5sƪE4X S.Sw|-6K5m5",TN8Rk4Є^e ֔u!0'!+m C)i`u]D K|ĎW'.mn'T' 46~Xh aɪsJqjL_r=$v0Mm,{B.٥3q bz6֌nb<  ;, B~AVVVc/6LƢ{"6֗nE Z%AzCfdY^ª#.w`ˆ4'8`Fg1&G]k;d/NEt>5_D'Zgࡍ\(/c:1={/6xž&iFȼܑt%x8K Sn&*{.9akFI҆llM xH_4O?a NelSu,:,yF+gm,댰iWXE$KfޕO6<͟a#' Ӈ9_`_V=D*VA{vl!;+`BG;!QH`czJ;/Z"u+y+.;b=!w@7%|l5+xj2''h>9EFJ)cCǟv8m/ri!qS-. SuBXUmi~t\u<Whbw3 F?.*qtmN', '|[nsd&S7҅8oŶ_3TsDzۨG@f$u#=?U&h (w,gw^>p eD#,z.EGlV{." ÷z GkIۍ=K<\MW\ddV]UӟrϽ-_!ҥ-^O|nͲ0 b{ ЬBa;s )7DzȸJi.~4kրM)2DA56KVWg=X'"L rСBLAz'xJu9gӕqrJ '([ܟeCD/ݛ \̑xko,ϱiY܌:[g9@,/ >7[._1#aڴ#PX÷}S;2'o.r2sY TsF|T0xpH{7?vzNũI7z%lKSCgU/$q^6T=0CG=σ_R' b'=~lԖ*ŐӾTrtw(}p )WTpEk| Uqj(oiJ[x)ɩފӓB`)=T(_p7441QV moo'_KS޷@ǚCD%9 wDT $9{FM -ՍZ^4}KR uNA[EU b o+^~SR.̜٧|S>#G_c𑷃>7;O/c^<ѿ>8-=K[N:06Ln ]HY[*Y&rT+xZjܫ49j]߶HvȜ'-J V\ߋUXFw$VvBKm 07efZ"OKP!2b-O1'p6ZBSW<6=aݚ=(|ȓkm‡6^~/<~ ~=_f|P4k}r^'E.gW7ae[iݝx: W㨢QcEl’{#]b|ή"KK_;>M(:Pq sTY:h* 8qa'll=NAE3Gbψi+: g: pkA{geXJ'jUt r&~vm1f"!??˯ #<)[Č%ț Hp0 Fz"42c,oi+3G^wYtiMO|POz3֔%#[̘LTߔ֣Y¶mu7;Xs;$4 Bd5迠Ty1x?<:'6.,z3W.f' * ٛib#ԚeNBDVcǩ7PFNL ެj3],)%$}LR!^`:5>&uJ .JU&VC1?P61PILp)E-TS7;NBۤ}K._Z%dA2 i"4G1;3cu FzSHs59@} cR{)z99M5Qz6U+t^[+2bs^- i6T ^ДPddOLR+81fZPL n7R/;yƱrRz3IO`14\Ư$aQՅQSwҒI!QK4RX"WHH7z@͚iOrė8 &a5{킳*6V>Ǭ}O뤄Y/nu/a (\435nkI0fJuڜyCMYs8ejn7ū^͐z{bX<|o[ Od|Om'JX_t3\o|4eMBD22{!*(v:"w{yYr`:(Y=lQA=eN: C}S^]m?UTo7=CH7\$_Ɗ b`z7 ja絕Fč3 Gt0 :mPĕdڟl|;qԑ6vFqX0%~ JX9#-~Aa/oJcU&^w>,d,a75hOI ]p6K3zA7/#_ݫ>jBމt4pf͈t/)K(7@%IgcKeK\ 19Zbqa,5x@rHt,RQHjrh\gȌe=:D;[B&|E=B6 _j_ DeF|ՄILLeHo39+IqѾ3J_l|f9l_"zс)cmLg2u7=i>QGO^@tI:+(sXt##2)ygtZrͰX {,At^Ξ]}E8䕺䅟^C\2=lg Y+yZ7umLI=L_EQo'F? \(ڵT3gWU񔑇}XwT(q1@R7|/\j.%ʠm9HOCP"R,0e>J޿/#o\8SQCcP|T#wF OW8IF{Z@&s*a΅x~,lb: }6݄*ۨSN0/%;XMQɕv綄fr&xѐK }v]{{lͿuiQ履99?0? Cd?drvSꩻbM (sWP}xo:6qƠ]A:|N2"d331*92 aD+sBvQ p:i9-XZj#P&|djcb!,!N E |L:$ݼ*$E{bpMn-%06zwG -~=j40}QlܘV,Y񃉑 Q{?/P<~<$)~I0 PU -X 'ҵ#t*=xIr&Zn;DЎ|9 cY<+cV @CD"8;U2/h2IQܲ2%3qh &یm&0( >!+ Pj84=NRӑ!6"UӗgA6Oĸh6/|=="&.&x%Ht†ދ”{ʾZ ԍs*z38ta@.% gof+C6UE+?`= ; FqI{.s[`"!K$$ ~r?01H6̬ng 4^-Es$Vt:CtP熑֥>FWՠl 2lBjBd8'6Kʣ'FmAk` t1<(nH I/e1(׭^7)Rf$LIf=DcM5֐:5\<\j_E~2 D̦OQ7[>0Bzw {PF ˷ՑKFyrH1p, E)X|_P y?~*. ˕L&:GJaɘ)M9o|FշKSa,ũ= Єc#sȯɱ~xEBX^ I <5cLQ[ E)ĸC "eɒc| @fw6Sr@ =])wۄw [x%ghM /]bpS8Uy;5Z̝szk$tlEhLCef'e ëb*%C-JjhMY@oX'.EB7r ψ^`\z9C*EScf ymL}B@BxhwT=PqySH>nݠq`΃bJbeֽ ⏗%+c6ZyI K_1МS*{3(C 1\$cOG@@ 1WύP|T/aA,7yVj?l8?2u91D 5 ߾!Z-HeƜXg )fX,|c)GkPR<vFBS kZ[R>pĵn<6(/@W#/3v yb Č[\`I &M{dN8,[tr3+ j~N| 1C37 Z d,J602_*/F!^xҧx?) bitFb"%h+8JsA ԼIJ0⻝|9݈&@r$qi9lhG/%L+]v+2!i$=nzCr;,+|;x7>rZmd.ֺPsmH1)gcOK;zTKAVLCkڠ#39RUKhMvo3`QXK ӌ#//'ɵLdRL$6{ ZdD3FKmIT6B_@O 5I.fQ W+_{LS}@ʨe`4Ԙ3/j U [&6BT!i\3d hj*$$`c9m"{ rM7ce{{G7a( Yo.M}\ + q\[AQ;x/\~Rcީ O%0#y(,j.m^ (oY;ͣZ s?;oZv`D\ƂS&P>D3 `33)]! eAoyMؼ x %=ɠh_?%mObtEύ9 .rAցr##:Kob~_ia3a)m~8gZP+Y3|1F$_=0ѤZGT eD`He !Zu+QkQXL+$UDؼI iZ\kƏ&D?AK{6m5G-*OގT@M/^E!ӏe{_4:E%6ۭ3Az!cT[:Neh4H&̭wZJQKwsc3a'xu$x >IYvIK^, ንd% [w'6&j/ $rAR-qB )@\Y}1Qo^҉DJB)nHje_)V*#;Q} EC/ʏcޅsX*Blwk4'w#tOY:,G=4B#( ?*Br[ϧJR?Ew5ɩ̨]EYrbg@I%6ʰec%,DЇ->;IqQX9jf_^3+6'㾶i='P3 +=km#@xyKщpLO!üЌ@'6(rc }֏js)C[!d NL⥄ͪdkmsղ4WY'P,]0PJ^LKLl >ph J l1(Q x<(dMXR)VDȝ*z(maDc7[^X ꍌcysO yNC"BL\|M:hW(a9!)?yÓK.9HH-!>Â%2O a'dsMŪ^žIR ǹl8 J4M)"z$GBܦ(t9M k.V߇`ތgeqG|D]8#G{|C Bk|aџGb_>KgvqQF#$`?@]U+D'-r'B )s(G&c-ntP,|a&dnB&ougcN0,̣LۉI|AKW1e/P)k5\|: >魶BAT+xb]@WJ vEyl2V[ PE C*-B}\9] s>`ք03S?zX\(1Dɒw)~a3|rW2.kw䞸m\"}w1ñIG^BB[\YJ݋$ P.4}&rrX ,-ӿ=6{5XhZ>y-!g{ZjVn?ϨltWBgl3ΰ;![fYh%[1ʄm= 1>_ Tʚ$c-sIr{ h(<𽄭Ba(VU@$~+L?okO>)ݳ8 ǒ4{lNJW>Wn ["̄0k[:Oۖƹ3KY֧Ea.58IN=;ŀv @mN}iՑ`E ;v1=~"``c*5R `%E8PkLL|Qqؓķd2CHq?o^L q[6\nZ5 PFZqT@[|$V{E%}2^? 7ɛE,~3Z+p!bC͑}>J{fU 2)f~7+'26l6i5-[w664-mTBS l5^ *å>{e!юtDC!cvtwh!4s9BNtVҁQ>T,֝#NƖVWo7^A/n訝 ՟ e-mY_qCpIO|h*(sb](JS _HalE*F f5jCȆ oYQQ9[7Fjcz;  Qw@kS~DnO8b{5CXp4,`^-I m,0t`h+MR0/pu&eXQI$4/}07H[G={^VC6*3sTtvX]#ȷ'AH}/AAZҫk"Ix7B#k -2 !f6I䍴IwsI\"5aLY0"T (<p}l  3 ]k6N-L"gvO秖xutQvUVqf::7|i~rxAߖZFy*Av$b(!q)##A^tGv Jl\|h-I@P`yi|kqז1'k5IJ4MoK$`W=UKc (qc?L\d?W <=x,l`tlfHçe\}!N!%Jx;^"|F1G't=KF*vm VϏg ڲP/6ae\8%W[5u`}*dp{]wB3260VLZRM{֛vg B8NP0 }m*2(w 7 qWow9j.ׁt!AvhGM&CcͷXnR(jF;SդAۥq118  {Edb/3 wUncӂ("`vvYг|+;7ΩJ23 s_ؾNM\4Hgol>-]n拳4 a|xHrWS&ʔj y#>ӹ7V/XQ(/MsvEMEh~[l}`T}Mo ȱc0 k&)FħYh xl:qQGA4qOkT&WEiam%k*ul =T[1*2Xr7 )btpo(( c݋u?*͛~F/ l/:Ihw61cPHڰ}e-Ky7Ȟ1s?(xny\c©odqHY t9崕Nþ7FHvӞʥED ؏rlُɀX"N/;#hr]'%&x`g1-I)I6hE6aSԗj!&yBnyEWsd=A)bX hL,QJxbrgiY+u~an`Wԫ@B&/0FfbBtKV1"Ӗ,]LkQ&<H֔Ζp:gžf.Q/z7aܙ/HcW~ ,+s[4H"OG+wn9v is'+!H<{LTK$Pjn}}d6G(Hzyh TXJ!;Z?X(XDTŪsZ%8iZWv=b0E4K{3{Jxz^1Wvs^L .Չ)rV㐐B=w#`UXX3,f{:(8ٟج?1XStU!Gs>ȣ O@0G#O,>KVFuτ!!$5B]%0}w!V/ iFSD R#LsWMӱ`Ӑ/(oKz(S)ڳ}]$`aa-='ǰs>/);~\ye08^Desw$ GfOȍ=Tz7|m%quN){޿ɂEպAžCO:z%\oc~ DQ"%RRـа2ÁjvEɍW$*ӔJdY鬻H)nŜ3Cȡ1XxwŊX t<4 ,t}ܽWLTGS=ēKO;KFLsW," f_xUo )Fg#AD9OeT2/)`F2RF](dabk\ xɬU0Z͌UJNLR>?~yN kh+&JIƴHnI0jNpza5b kU:պ۵ _ɥW<^WڗeJ|=ڡsm>}F],k! :Hl&2 CT(?B/)<.6fW<(q;}6tj:Se+ZV}7Ĵۍ+hOWoùZXWL}vP鞇cH܍27V-N :nY[ٳ. %}/RX }7#J!q, F0aTZ';;3S6Ƽ䐗﫺$Q$U8HI 49ƭl.)l)57iY\;x+ $Z#(ԍCrޠ[!VxVj7`Og=.'L0?aFXF=mp&3>uiӲS- yD6VghVnk}6׉Q V-lWu0KOmZ {_)+TK dsSӪ$|ѿ۵F?x=|9̱G[E׍)C)~W*^rr&ᦎ3[6ҩ պ\ Aj>wˡlBRIMTchQغIg˾GW*hmbN7+ǿ=EЪUgksnS]x59h l*H2:1)w[\R1\1V ̆Y^0Zv s4OEԟZ8IMA1h`=\YFY/]PA9N>?l S̛+2#z㓚 bSuW kH~+8P~[n`eTӤ2fK<-C,:g19sY}ϴܻLn3e4-Hol׏5թ:K53/]c)Kʝ~Թ^eRH?wHmJ}44lk &vIvh0OKNhútψcCEx>l,f2ObF0u<>sgN^͹6’HȦDKp\(ϝn3>jh b ӥzzG7%RJmF^ꬥVDE7@<Q06:fnSW'G_+Ctv-&;\ϗR. ۖ]J: Y iJҲܓ~iV\VFA]"BSW dP6:%k" Z,s9W%m}H)ili)yX!߫w2~IxkX܇H}㻣sUtY8\e$ձ R%Q$^hŷ,!3Oeb !i0VÄI/ClŴp%uSg_:Gx!MfBXX$11RcRwI* E ڦ@wq7$MKGO@e;4X &82^C]w,PdhG?xtTԢ Lfn{䨭 lBzʷ0}m*\] >֬VYW~i(,xtڨww3t:K~*x?x5j'n#uϭbl9$c2"y_, hWzO oqώZ`NCi.Q\iL9"#c[cn9|0AсNGk׋>>=$x ?΅CCWBw`Me!c<4 h8;M0A6̕j@|mÑQ^;boC[Z%WSg]i#pdzxs%$@8eI5FEw.爗*eJG2OV#޲ak^1L>a`k1޶~O"gO ŵR$J1OZ4b"}s8!N?#[ `_?8o;)>jp >c15ust54'/~_67!x] r"\Cla+m[2V?fF`&mOo8VYSl :V=}braLky7iHQXE3idXO_$+긝hcTH"@WBp;jt%f`qgԆ9] N%O4Q#ђ3*MΠ0"q@wƚM)C^-lZ]sQ& +Bqaϥ8[쮩ltP' l w37ʐղ㕻L}qy8ٻ_*ݦt|a,,v?r8AE@!JN|wל <1cѰ@#x hvN?P߳| 546c v+h2e71N fz/Q#yLh`7@2$kh Tch]7d۔ױH](30YixQ^3gMed'ݧڗ{kd@tg+dIs 1d*; ?L_o7|׺Y* Y::{S1T@۱8aǾiYg5dd7&b7{aooI_dlGڳ32CU|+ U-2<KEoS-2,EWMw^aaKDh<3IVVdHr+wXVsm""E~'KwV@GMsV*-5Z[w -o~ib*:ATiOt xS&5>8FlF"oPLPn]6`F "OTzM{Pѩj#{:8 nТYF;s= X\>^OШ;KyН~R\s~L(k oA9:Z8HlsR ^ͶC#=ucKV.@Brܧd8D>R`wV# ,{MT!/uΘQqfGɱp: *c8wہW8q*(@= t?B>#עԖC"|i 0%jvU;ӄ0j_] #5Rf=sE97Y'P^V0 LGfڇ0[ A{[0*d_hh\U>jl>1XhAq^a5<P[l3S藐\+-TM~ҢRHۚc#jԧ!؃׷(g˻Po(%1[lz|ӹtR#Ǽ๺.*?@.=VRD,ӓc2-ҳ g(ch_B^ c[(@ƒC¿^u y꽏W_ ϙ {ų!*)ʴa7Ulsex2`RЪqlY]iykOv( }CO`$S^bgɈD6 kY8v/וM_vxJm #Hw #Ĵɶ~szW.X5O}p`Mҟ5=EnQOUi,T^)b7ڮ~̤(*hկ^?ͼ<34;@8@;0&$D MtϣHԴ!pLj=g|@\75BiH[ߩ%֒-Lnd :(0$H.qz!?g{]Q137>1K+{uc74h."XU蘑! ~k,7}chbtA?zN-pD-NQK TA:F˴p$΍ nA+,)1-Mpt|YO䗲F}{)P6)dȲEo{fh&T6C_kw ? f~Xo39)ddZz8_UOPz@s9P*`_;R`u4.{VL|xYZ[-qg_B\&x'Xo.ϰ!#ei/!]5} &\ȚcLjyyaj N2=A Ոkr{<ONPܼ?Ѕ {o*~)'Z·vQOX\{œ}\wrfb>F3Z۠\r!T8曶({铦Cvy壳m\FRZL9' k,%!ӵd'mqQ(m!¦zf5Jd$FǭT2`S31$0'*^B;(]lܴ,\`|5VH{d5ےH1vfło C BTO5ͤ[:z1e G_M<ƹP ;y*ݶNΪh֙3&~ơpưU>TkMݿGpǒ8mxP?_"seQEG+V5x9UU8SK)Y8gX}>~'kU{d+1z&&&,PM K)x"C4 u*kPU$RY/W(K;55 m01FHc/XͶrw~ՋJS2+&`CxE'$&KVҍNvwg;$rz1r ~Yq6ߠs;P@֨N\قsܶ{zbB:mo; `6BGC)/듛L>Fg?Lp}R*yD)QpiUOpBnFˮ8\43U`,0f+Q͑^_,4溉s0'|oM$ÉަD 1ݏ Mi)I-[4srp/ r55Jk>ʙ|"X*'Er N2^:{ 0}.ʫ/Zm#4>Dź|gl=X剳+NũാN4jn3$m88HyC(a0ͨ,Ψ^WeVACib"5I. ZXgꀱFtXvc Gqw㨨:4gD)ޭc9d7^a"KI'i#l&+֏agsc3U1QE("UC\%Ua^0jso"nr(G$ H <i87(L8RlJ4gTV(JpoQb.މ4 ,Ö_{8Ïoi\ݨ,QQDV:rcY Nw#ą`{`Z-ˇȢxЕ `S*5>V)- :NyDЯz48_7C%ˉ)&%hm]BrVL?:!%D9԰tNI5yUGwƼJ)x .(@rumӞ :.pK)E /;X^n"uW-o9j{e,YӒf5GO"`+CZswJ;8%{ҊTnSD{hihkV!ܚgƓ넂k:Оa{蹼y (4U;3*q^k[gs~;oC ӿToPS*?EwiO mVrұ]f(VObl>\mPpؿc׼ 3 cqAR`ë+2?uHigA"-6[ng߄ϒ:GFq:N 7.j`LBTџ2-yӟTh A5oe$$p5nqAZe/Zi7ܺF\K%yL%YM(/ũ (YhF a!e6|$hg5S EOs +~U^c};Qw4}ۤW\+%\LT 9>{%TwvT?ʶgEq$BQ_sJ An'gya/~kLf  qr_՞gCh"P"Ќ<쯸m‘^ PBv4I=**q9r[!1q\ؗHXk弯lC P csS^P)PZ L% ] iS})IN,ϱ7$@dwS尖^TiX]#SW*)}:oH4IяFZw?a{(OFicbK\]w/G2#2Ik8cVNCnC}B|EzÑy\>bJ7٢.ΎQ5ɇ }opW2eLU?Kp![\ݻtaJ*b<\.5ƌY ՘_oxYuuNQ obZ@TFҕs#&U.nKKݳ#.;V<Lc51̊TZfEĜ#N`@-=_5GE?a<Ѕ2-BpK|D I:^Ry;9zhS8sLBH_ŒN:&QKqNֈ:v$%:$w-CO|N< #RV\,pL+zwFTʚZprY{=Ȁw?*Ţ8IQcӌO缗Ql:4*SA_-:x\gø:ڵ:&l8g?KxB#Ȥ#,/* Lb')(d]?K4ѫ.F%!ooR持Wzf%^nn(,7|e|:ؿ9 W.XN i:K{ ."_]492?-ӱ4!2J)MxF0N3d/Die:bbKoP9UM;iKaE0zPTo)SȬ!^x.#-baU[LTx wo/*;rJB q`Iќ)hޑR Xbu?Ez1lu/pHڍ zt) a[] H'F-KR*-] %i \)]EPzv"ʇ"jKlunu*8qjrc֝fːv&^U2ʽ'[3owQ@v.*$誝!@I~Rr7/8`NO!o./(|ưooss諸|,D,|2'FGL`Nmk$wJS~*YtKՊM1m@-];ҁMҵ~fmRKIk7K:̧|\Pv%h*p_0>@6P/pxX+_0X{j0c1IvRF*6 (ch\+A[2u ^rJAa8uLƮ['|嫻TQX t"?a6pv1fΎиeMnS L+E~*|vo|EQOϩjz&]vr6hQ y!6F'4C"NRi"3ַfKczREw~S S,x^,v)"$o |D1.΅M}jn=m^eV.yECUfmvqaG){%*?2Uɂ>&=T:!"?K`i'OGi)u$i#)ZŸ:ע+i5q߳.\_9Kgb»8<9^JIJw/.R[ͤf$Wnw'h@uOtޮ.H53 %JK"m5y,B|< :9/)Lh ETdqv+I0eb+@>G}&)˔ P)jo^0T1.g I({+ż9S #i[w sP،ZUqtH&躨k%)_AO;21|W4xS4/q4/U.v6\}2#_WL&=rKG({e$-FbpR"i NU;r!z4MQ9o_n/'tR$X: s'.z錴Bb ;SG)R~g|' d^^ QQMμu)ISyrxa&`G~CȂ-f&e].Oz˒Vf^勺T&.k  3'y†7rziY(EE D)`R挀ѸbbD@P.'<IQ?.$cu=>~MT<99_?иC+qSѦW‡XCrV=3īAQoQ*x`:U<y/Yy_qRdjQ:5ۂ3 ! 7֨q2G#h$MIĭ O-u01u( >̝qfGj7"P yNvv3ݭA^/.`w/ CUdt/@Lӝk?q=ߞ>Sjnϥ!5BoIx(F:q`PK/+H<73jВ,Ar{ ~aisL i ?6ڞBbȂ/9LvAc/naSQbbS"Ky@1RH] `VˁJw"iu(ɛW$OYP[C@4S5\xmXUT*R^q4L#l=˭M$3A+v5i$Q] !\,vtiQX]Pv%э`&El9g_ΜŲ  |[nϼ|G.DiUҪO(+`T" zܮtՐV#J),{GKhfiɝKʠ`;kK˄ULhʅjx`4Õ0„ SOWwrڕ'F֮D'{`0Nx Aߩ)Žj=鳵-HUWOLQ%6]u:\κe~H'S XbX΢cp8$QeOe F/<VQJ+;q<+{ozꝃ\EUpJ;UC1 YQef2L+BȜÔ2΅qB$-NxU7@&tl/F&}tCIꍅ?0KÏ&m?6iNw&>2,WF>-Fq*{~3g,ct "Ztfp-l7H7)؈JQ`4TT#tgN9Ko\!^0W>Ea78XSR/x'!U*o mN>99]~dlQI>Fn!7iGV l߳FZXs ٢a~\GU:S\xQCȳt~:^ ͰE\< :W1.35H8eW=G߿JnXdqO\ү ?SK @iFE 2܉D j:_[ x.U.bJ )kKd!7t+}8CPқꨤ80ӅZ U&9Yw0)x/Z ; gmnJ!լƨ3T7j;*:S .Oh2kaxk˦Sy_fz }vS1֦-k6<mV3 ϗqq2U6a4,I'd XOnX ŷ˃RbQ):YED _W9cb=gr66ĭuQ f̷$.+R,L_PxL0p@T[Vj&WhZgc+Uz4Oh uS{>"uMxRskgS}r0VnK lOԕ̌>|PToַcqK*i/+YQK06A'~}VڬS.%4]dEaڰlb`-L6gvb56²>"B%hGJ`baa5 ~ݵ*@\D q nK H5iƃZ_\{ޕi}\^00oRŜX€D0Qݦ | =K'O G34@Vc(e*[-o0)I|e-БJ$ъË24ZS%i}`GFy?9xd[/@"mAev,r$!t+i)^ A#GF6 AWio6EG ar1Kyf ;?=`JyGbKzDNc&莪0A`Q&g4*uP>OA;a$'g2@p e"ڜhp(sDw!]ݻYS=$l cluR:D aZ[7㤊2aǐyY{x&aHB U愬b~Q'ޕƗtMI9; 2gM# s7 fWu5R\3YoCn3jy &Ji\Mw[dTm77jhV(IEV.FLdsR⊹k 9FS̥@BpBj\)7~]`s11cR#M& &dV]UBߦͅw(|YtGyu s< R CX`JԗXxX@ Rw5'/ 4,m=lx!*RlMɳȺ~j<'`gJMe[}{ޤvP]t:upfL$wr@qئ*5q]$2}eh(w^"b70sY0W3 G;'y\3/} pk.^bz /͓%Ld9gYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6  9~ ?p|fKo}3WNjՆYL%ltaVKe2?xJ;VUĄ+i45bɵ!iLwHgYZ7zXZִF! o]ŗXi%L&ʷKl׻wNFZjJVil&e*pi_;ɴP@[VO*Dy>MNw@ŽƲ4lNZ+OK=ۗmz:V)fS 1){8uq=2A're x`l u'4Hx߅d~)I!|BL']q'pg"vuD=?%]ahnbשbcO*{"y~e>0slJ`jN@&zpKW7m 8tx!&Qcc>ht• gmB"!􁢽G}3h^ap'(^In2a)qSTۄ YL7ک)1dI입^kdnXXv߆:y!CvLõv PV͊A{悥bd9Md7&8gRT?>Tsٔ%vBux[fHX_O1 v+§zK=8lG0ĿSiES>f(piUy W^ oCvCҽ}e_)VbQVAtW$\/ܡԶ8 ţߕs<כ=%qˑufNg1MV?ͧuoABV%!u]sos++ %z22G욿pȷ5?*M[2lUx4LjUjp,B7s)3<~cS$0Y|4_0{}[N`;m-v'`oљ"oB58`h¦B3@zPAÔH>q0n G=|ml-WgCEwomA=˪3dq(0yX@``/FO>=qnh-8BvK8˸q*7BMB އ/`w%-P>Ae] /[TU옉ϗŷs}[iJ.ȼ7>R/ZON@Q|OUi C9>Kmb'yKP-ګv(~e.!L5R~0$kT7~>&oU1g /+nrB,W3lT8~Xh5q/T> }0Cg x4GIG{ә/|>rc׋m(h,%s|~ԵR Y6=KpvTfz"oGڅZ{ K_-s+6?=0Rv  P~.ݮ3gL`e+XzVi\{YĄ,ism,?W0{e(4BТ1sKtRʬ/΁A1!}<Ƃ$] UKȘ>K\ xgd֗؉+/nW $â UW§$1"'e$s6;zrB6k7_$GtN%}9#oC>/)\R _>CCMBʮGYI ư+#~Ń>D)j&aDޗQʔ2v]we̿!Qf7V9l Xh fFx˥f[\֌"l~k*L8g*!;ix(yһ:2AdtPdz@+[zQަ?jG;/:*?n$.geY@[VvlxC/UȝD8v` <ӺR.M'cd1wvJ'.׉2M&㕹i׉ސjJ" vD '3i Y܏EF/$D_kC&|$npID2ǫ0 }l+'% q0}v