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 [ ,$L ]]LEM:threads=4elapsed=32.093cpu=83.816gc=5.024factor=2.617zXZִF! m]ŗXiɟH)0%oC(J(&3渼 .<`qV6y 6ShU]jcԸH`fnrl}ǂbduD5eL6լkL&FT t[inNu{vwbلClv<+# y8IJ[9_0017)2ƜÆr9V|C,–&p))eʾk]rEvC6\gDh7w 1U|#S:'"Xp#vᮽZ8lJ  9nڮ$k&+N\Z܃]{+XGE=v,pGaQ&KVȹ"ɶ^4Q. s*ŜݖX]v<=)̏ŌٜR@jj"; h>cL+j(NyzMHGtMoJJ"OޖK;~Xa N PvQ>\! !Ӭ 9ܻilbyƌ5 ]ȼjӁҊ;☶Sb",?LsEf{lpcLr]vmRΩa2J2mTZW~ <3 c$ԕwgqՆd~,!KvbD#%'7=+v_z',YIZ Xv։r '6?zn7~(O:}ltIrS= 㖛A.|`aKy%%t͠F'j))#^s$>;Dv4YjW mS.2RێA`I͊3{M:I;NvV"Q7^1 +`Qc;_bOw3-&]鿱3AFtH_KKϸNu ZG${?!^xPM3RM?dbg"AՂ(ֶz Uȕ qLӕL!O ^v~U-^ lū߂_s"m-X|oד5gJ=*ؿnW.ekzJ`w3E uO*% SA6~A/tEZa0. w0 Z]ti*YWG#e!JK7!;Ké FvTS=*Ʌ48[ᴄ\ yZk1 5 Mc_ Ѩ2s- QaX!=A\h%ȫE͎&fJi)=[1kc?Dz!J_its8Y0 <@_|Ӣ9z'1DRD.Mqlp~@_dSؠg PS/X_6ZLW;Z i; C[`e=r]Iiqݍɤ[ ΝnvNj Γ~S%DH[5Z>fm$>tԫ/h.eW 8<4Ճdlye6A}`X+a6]lл-)ִi,E㍍ sSaR7_JiUեڏũ$|lc\#Y}1* xEnA䉆 Pn‡Pʎ Y?ṲK0b%QS=8|$v&vW9q`(;!g.O9k)Rf~&5e?UJ|:vŁjΜvIyS@8m±ړYݸc8B!,[>xVpTz!S+Pn\Jҵjo,iv%"`@-tI:9>J/E)yqJ읤+k|?->Qq -jF+DL!_G9sMRr8>P)2'd7GFB auyz9|﨏:}k?ß^;~8 Z,poszOǛhyh%`kQ|TGE(7O R&h~!:,A\q7ǯ_-T?>4\wۑkUXM:$7͈W`1C/~6\aH֚«|sBH,-QLI䕞1097YND"""z!&.wV\jJgk7Vhc{o{Zm?fc~!B=^M3}#W.K1oAfM±F. ;{pZCOf_< H-Q7)vveӤKNjt!|GgPHNsa4K 5:>UGF~3dь@86H2aKIFk"fe'֮מЂ``:w LO0LTYPNϠI/ͅ&3)Z Y0.%>^Q[ >c&_N,~I^YJs5dv6+|Te1ֲz Y#/Na7&'}+AH:s֗vgjk@ N{kypڜLd%qdto9)`[w('A֧a؉fhC;!#`2O8阘*G:Uӗ)^&L,GFFtphCQ,+Yk6ܓA졒ܦxWVθOܚy"]o^RU]pQnwdKn PNfuMۥ #V|]CaٛMbIC /]W!].Z¿PF奌 {nN}="mT OȁIs9IՇ!:l4七gg?L4)·+<㳃-,3hk7[wa4KS'H и3c/Q4FZWrv=vsNoD HN~_bu doC)ՠ_E$TԿm:uK& M%pK0 @[Fַ&t4'> 4}.#6-a}ʅOV&gEi& ݣ<% n7ByL[9!ok= 87p 6%Ǚh]ugJ.%iwXAb\ZsoMذty;;Oс~'7c-( Pdtל@tʊ9Y# . F}JbW6+}k 6o.eXWO!#ct_E2\.Rʱ\.b&䄘H}!X7J# G'l,&!FÜܩۯ7z0_ , )t1/:ꍚ/@] ~ E/*H0ip:#`;d6Z53hۭ+v 2ji7s=0~D΍l3&'|()GY?Lb/e57O:-*2ʵ6!wA~B5mA!>@.O (,B]}?!Pliɒd"{$3cb!JnieS 8]HI/ űut{_n8G]ĉA󽶋,x@-پ=RG'YK3`P?N}~DڃʳZ),LP`{"~kjV1" IhxL _ʑg*\V|v l)VRKݒV~vƭݷbװ:{pd.$| Y8SC(;ihL5%7|FPmt0zCB|cu&UdfO.1k"ڛ+i.fygޮ{:!PWPc0++e# *ilҔ7zp_7g9̪0Sr(y!Hbl䙔3sķJnb̉Rz{BHyT+g}D#jWbfPMҢYsLo/pKׯgPP BUb3Udĺzr6a*yuĶG~&Qgv~[b~9/zLwjȹ3v/ ׶΍~*b;C=`I5G+lie:7 uzk0WǝYWemD2t5> .`ӏLFkMS&5fv[&Ij\xB *졯[͵fJu NƩIhXZzfA[7 eWe1'!ў*n ɔVbJ0Ajˠ@~?e fec8l5떡SY¤q-c|JR3K7*tC,B~;$}pS,tӡ1./ETR/?εb̺مp(a@r!xr/*g z.DzS}aq*b) }N%:$sc@L{F{`R7+c3ʡX{aqRt丅v./"'(Q q({mi%3 NG z4Z ]HvVnCy/9ظx5;cLl%4&Kyk?oFnhp}.bK0c@=@Y+?7 O VL@77 ;]Vt+F@ x|D[HH9$w?Z|1ɲг68 GЏm [B{E&TY?mJ$=q9]3m 8P&Ɲ"o}!}Lx`z~Gwosn'S*Yt~Lj'~&gc ޠfs\[[<'hG4N=>&]*V |UZҪp3Ua.=M=g3ˍt!źp,$*>XL=1@@y X [d%u#! F::}y.E>-x䇺: |A躐^ş=׊twh k%X2/x` 3KI;~X6)&zh2֛f7> ՟ecjih᳂L(J̋KEZ9G{rťa>ਾpy<w3q*ѕr>og_*t`l>' 7nr^bv(6HitM)wÍu,>vE*] *ĉ>=FÖ T^u,8TPULj ˣe4OV8dÈAJB,Za83ܳ)v|Ň\7!ڨەļ*U3uTg%?~^' ,nL/O@(aBܒvS3ܡHO<2 `nK>m? ˌ %JkR Wgt@_"Բ|/*]\/G(hPG8 ~O?J vu3Bn7ֈxV5<, k"σ]&'`QX<ɰ}, jН.W0e2h_>I%U~`"'F] lI&F%0#Y3ܼ|c<r3\.W% ),. s.@,u r/aN{)CG[> "(ea_C&oADt+1@VfvM b+~1hfSp}kGeaO`QXu$~`76kL`+wJlk[˗Fi)D8Բ?p&&h [ɺ21mc[PoANzb|H6 uoOA/ FcG6`1&tlNt|m%zZKhԏZ`1F9 4ϥ˓8 5AP>ɂk1Cƀ8[{uѥWTnp'BKYN(6*!EJp}|#fK{1:+NY"?QNXwU]ljG% 5fJ*TNsS`ëY`K:0nO _D<yJ>أ]< ?s{𔠂_rôb1 [ߘy{ D@ջa*)A}~xSOzhs 1}pPЕי{/땀ީ;ޢ[٘0؞:=LtZ Ao)A26yhD4-\:C9^{3hjc{e ۬#lo1-&:GhooG*AސZ"چ~cc;8q́7Oq.44qZ 9Vjf1WhR}:[Wgϒ3-35*mqnFV WȾ}7v @wLXnh}b.|}2^hI} rrT5+iA-@ q4N=ʉP@\-/ x5'&+́ m7S꟎ ZQ%wVۮ#M[0C~/|sO Hhx9L[Vwq!8ٕʏ\{|~ʴi ^WeB> g'|HbZ*938d8 KE<ιOƦ" v^0=')>Dg[X&U$;\Q NPejPO`Xp3Cx|S}l<;1, Q a q9nJzg2[T[Zd@衤hkcc,~QNMaq6ݨl}p-&T *.|HaC þr zS@Ӹ]W]EПfE*bb4)&w!!R.gQ/r ^f}^Ψ[AV]< 7_gq7eK\%(Wbؠc_zGaXXWd:79<ߤt#QdQ,kP~i UUZ ėu>p)$28k]>c=71(༔T X=>{|ؔ%Ui+uo_SXW^цIδ)?Q߆/=].[婅#>ؑ*E_ bi^3t̢4Q5&Ծ.q\H']f*Y߿4! ]N#er.v'P$Թgf$hF_F.x) 곩x+se+k=8[bq$Ӯ1 Q7G$#~+Wߒ}L nJ҅Y B$׫6vJм,JY|!7v&U3s~:_z&|9B՟I6:U607O 4e-[ (G*M٤FNx8n F;5Lx [moZxU}3ݴ(u׷b78[<mRs J`7"Zg]XbޱW%X6iSχ̞J+tʡfŌ`DC`!rPڔg*l]+fD#v`VHH}NЅuҏJ#i`cړަ dx*]!mpqRk)ԅR[U~̼A<ه 5Գ̂,"zHz-C]Rj1Tʸul"=qPu9c3V%.:TIJ!PʿAh^€6Ți |EDŽ>f\݌>h-3U^Z۫ZkT)VXfUiehTۜ&wk/V/hv5"Dڃ>^ fZ+IeבD|̷c.Wu\H# jrh 4BOa9ȪhpLG.qD({gfHti-6(_ I^*&O#)gi q4͚av5YfɯL:U Rt]]z3t` d'A}"|m2*F|o`@7d;Jِ[|kHd1Op6sGwGrD,eb?A(B4Y4T1$YhWHc-c;!aH T虑 Htҩ i3jpZ#T]8$= &z1F8kDLwzGX4,Ty&7Txq)4/Jlircߋv%LnYqLMfsՎ]|.Wۥ"XSr)_UGbYAX70GIBO V-TX5Jo?X-iwp|=ߋ ]CL\rјw dc)Ԇ|%19㩖'.Vh5۾Ku}ũc"M?T!UeSyytB~5KpM錣M81NgT/uƀ**!k #: &_7˶nWkGZ}R((`o&ZTp:.#d|3ߘ!ZT6 y.%;48:9(=/vxByuмX|E-6?EL>4)"_ "<~]B^m3ĨzK uz1T{̄_'(XrݯitSC>sU,n-5(>= F{[cZ]?#(/sqlF\DX h^ʌR Z?:1afC3pg{qo_r [MmR 3wlyiby=?܂u~"6ĽM|m 56\z!0vv/^rCN4$ ^eZ%'$PFI{t)mڡ˙FڑQK i<ACا|1벯Kc-h%_(,̤~9RLf>hhEmcGB` ':LqKѐ0յ-q 4cET{ B) g¦xׇR@ntnM]K6W5LCvSL H2.'mY T~ʨ*1O:ocr0*t$fwOnR،7bK4O>rGkL-ˁ^2vnFç;,+=%7mGo/JǞ{`GAmqpʃ9Sts\SsC>UѸf #V%,B"su`&,c㑂TфH2ά:9bs7ѽ4h klm]xr[<wɧb6jEA̙2gA jKmGjʂۑi7e~F=2ﷇcxٹ:9%!Y)ʧ9v;_+e%>MUkvٗ)OP3Oa{Uza{|w FfJ+oKrٶKS'hcCPDF3_R:ݎݦ ?'',Vk&lU6*ԂQ$L7~hu `Mq>7lt`XzXqm^EY%kD}sW_z^U?,ߴoښɧh܍,ga_QsH4$)cwqtf k;nd)aR(o+14㵘-  {b0ox L6DzLdL*(,ht{JO6cj&z撨q.uKT%uCowUDWY^}M'-T[M4n~v6kXN[щg]/?!3JOMcϕYWn,Ud]M2*M"Rjxs$KvpX'7NKAI<9B-B BMC`߾m}W{ÖVGdH/<Dk@i|,;FySy$N^`)cRuV[dfhcu .4^KT`[T߼+dq}B*LJ%H?$V|5X Ih!qmnvh\>].Ϻ9NslMIȨ g+@quP&kAͽ0.$c4uN,+LS*`.2tO{W<>WBVA2N= g*~}+s{ Y}M7Z,,nxSn+6tI |lqbFO7Er"S/H5l/v'sxGK_x~s>M ԑϧ~qx01٩:{@_ AUe5wz8z#*5|}4]D@V[:`kNx}œ0@Q[Mgr2P4%aCdֹ H4/bT|]a^,& .Ę"nZsRk Z`G i:: w7+a7=q)ԓ32wsT/>V)4+".M,Z7i|-KzgY6ڭPZ)!nA `΀6G"o&&=֠$A桚= d[LT_6p `E`+Wѳ#;ddGE`[\C?|С@z"-9Ќ'[4˹ 4:-ˆ^Rc,۞_KNtX*4"- I7V 6*Nd^1SK ~h9|2p;b ؊If1ȉ8TJD5E'v7M C8iP͢=[51rhW  kkn JyMȭ- =Mx;UQ]eZt]3m݋N52m y۱?C&$G/ $;]N<("rdq&Fm{bCbŮBv}S/QLJoRyInE¸]<4o)Y^c\`oԤ[u.m3%H4-ۢVfV(X+N9'iTHh Ԍr5)G ̊97TKOAx+j!HNM"t nG\%Ix>Ldˉp"꧟Tڷ0jԄ *8Wd!i2S2E.ɳ_x{P S-Ŧ-ypܛ\WwgW.?b)rsu3e. |!:N^uX\g^b2QFY :,tN ]5 HDlgIN7 AŪsRbew.cs̍A`[с,FZbx3".54[ρGFjB1#T1aM R)¢̟o( _dߐer SmOKjhᑬQ#pd@NW ist&JpwQ1tJ75Ww;B:9ˀmB:-{a LCCٖ_wK)Sw:mޖr r zVVU[d{!V `*icj8zVFǓvc'yEZ-S2_ɍ[ct+5Eܖ<m W}3bt!q?g6UG(mhʢ]@ ϱv[$~Wߜaf6겡*'N@cT]7l\@'h[đߓXJ&P22ی[oC@SPPD*GzWJJNj]Waڿcg:>gjˑ5T3Qdunm$ @ (tk 3pBuU:ӯ&ޡ]Qk7Y3*VL_ГT$~6:x4Y&&|]T2o,=zraK,\h|Qm%7GJ;3GJ% X.&-d @@RH$zHhҽܗp`q18 ܪ?+1&| Ua>jx׉+f1{l}DT}XKБ0|emmN1LJ,&fQ{ +oBFISRo`ECZ :'*eK)? 0݌CXZ}:QBLZRf~6YtiSS)B1c1<)l o)>_']vO(5vRjy6\z e{LvLnSto]UING ޗKUrnj8 ݋Lއ{Fo^M3#_5-/eS a8EF"Dȱ t:KSUsr wvl$֖`4xg@%P0 GH%x2>< &iXKd`浖LCXCKPwCd"B H 2*V0t.F/: buh 'Iy*j ŷ>>F珥k'Laը2D{@=љ߯5T~hEg,Fw1 W;Y&/d4Z t!"$uǻ¬>TRi֙1씦sI8\47u!2_%u"K7mPg*tlVmn[}\$ Gf62}o'0a;iCqԌNl=]mWg˿_y2}rťhܝ7Ķ>&זڑiDKrC{u|X1JYf:{DA#'=0V5lᡁR솜pN+$`&Y _cwQ)t*^@OtojKF&Ǧ6ZI6 Y/RJW WӚL4|9Tr;+__zOo\"3S(g:u^aU0Nuk gz>܎&(=F|]n7a1͉1yILՁڝ1JZ]s-dYA_7,ưNC.T;;q8$%YN3?sFm:ҽ p@p۔9xRUűX&sYP0VuI0MGdK KFF#]:100(' oՅV&.j}60oOd2jt{{L/ւ6C4_`jBY iU QcQFBϕ> +q~݄ǩ:% Oy}^IWb &gei/EO8O IL@{o; &2v76'VLbqu\?]"xQGw{ܴ$Y{b`zH$69^^<%3ѣA7 _Wu.k{^Q ؓg[uB !2j"Ē씑t:zmcE/ C}ҼNǞUaݕz$Fj vQ+v͝izUyyHDpΚ}= ߹yWҮntVeGԠob BAByo}Phb!8,z'zr&h 1!skJ8u蛃MDip2ϣY CHy?XYAFz`>pE%dI&$i΄~x =w]]bƥA̮@bN #C0]kh#sߗ6M*~'ۭ%}̌ӳb2bOP%+5mhΪKPv0wm[S&fʟh{#$ksw\MY$2#"?YFd˸'zkRzI<+F NݖWToZ)GkN)9D+Vﻜh%t%B^)J"IqUn5*h_ &W fm_#q'Le)O%>v 8Zɳ2FtAh}2Qc7?Qnuўf|w)~M"SN\Q:'&Ǘ9ʠ3ber *p.ۗG?ֶFz=ԕ}\C.h@r #O=b=_fSEJ2s `1`O|ߨk-}Y*ozsʉ#j[]OyWnFW"'o ǞL\VF\}B{qn.g_%vgǸtGq`h"xy~Evl$l^r[+5) od*a7BB\]N[,:0zEQI<5"Ѵ`k#>myAQ,cJ/Z!6HT݅@*sfkJӊ'P$qU{3a<;Ī|1-:k4ܥ(`df0@d[UUsu}z3p\.BX=w[^Btވ)ga`:$Z,iyV:MY]>#Ռ"F4q$!4>=-Z_]~5T|dofжN5h_EmV[ȏZ; @-~JRxNO2-JvqODáJ1guY!]1C@g'gq@}[;! bdD6=ihNZ_c!}-಺-,7!7-d؟-ǃR 7: ݹ^KH+ܕOkS .~c3ktȁCE󡛹עp Qn',b5(Ps^Ps @‰}b0"@Y@e+G8,zqu.Y{ltFt%HHZ{5NAGd0lō%n\X#UK5[_\@j4ucWǝn[pb||N@hwn{00068K!t *`A\>zfMtwx ?I=<x{5vɏ➑>y;T}RqIs,ǻȋhا=6 @pfs6Iv:$OnM!bQV ?NW_%xagW2փHgmMwD@ HVhL & ަ\8o{F1nD^P}H:G G.WTDtbE9\hx`;:`_{߱)S̴}ɋ4-55 1V[Wt@m5*| 8yb$[L |g\4F-9.=hIG9/DԚ<~1Uh Ԥ"v\LRaf oEh fݕv$q!3׬$u^޲T>AVSo-Ò. (3mCxh+cvv;馑[(@bisjfkt}$+'l@'%Z1*溗Ҍpt́-F]ҩ¾]BC^fvE3@|T7ǒ$`H5tbu<"4v寸XigG51Zlk:$1t51=!ڒ 2yK*MWцIвMW7ohg{ExALП}p5o/{葵 >:L0L.z pc_XZq}W܉<x9h93ǂ mRHg-7$ݽ(T T\[*&6Gexn5.C[ؚCk{qqDG韓l+ Z=4Oc2vL ? ?*89WݜN aR|@ C} 0ׅ mO5Y Hwl#Z5+v7.c[l/*e DЦ:q/9q$L feTAE=|WJ1KW@'^̍H!qvO0GO󒋎ǭ (Nd>4E[oZT]mߺy [1YjTYz,8|;䯄wi 0 (8Dvf"F5[٧v33 }WnUd۳ڇzþЀP2/Ȇg2yd~Il6zVxogi`Dq]@;3.~ֶªv|0ːmH$Ն@,&Lh q#?eNm\@;-__GZ$jQ:RaYҩB ͻG`O 1ԗ*oPێx)G8Ƽl3ct7 ":<%0$yfy͹oFuF*/$(S0H#4뽎s@5/Ǖ`T%}WqS;ɉ]E5AS]u\VjIֆxQ1og&5pJ *g#M,dH5 r>>3+:EpH uYCEK2#. GhX]/Wav9AyyU^}o)X_9}ͨ|>I#|+yD|5Sn3!uscXX|eSB h io-D#+1pzs۝P* l PL -dmjiev T`o!nIYY[7"h12j_h_"S2Nqi5d䓹ruEê9[X9bG<%mQ?3~ TOr(8e_nV&A 8 ,"঳,a~ðwp5- Đ.,kj_0^ P/!=#jTf|K_{#PANԥ+S~#joFwyښ9]hWO:3i@Ç-!8A\:@Ӡ|6TsH[ʹ9% xv.KB\%kKs;R pΙkŴM@k\fKH@?Q7mJ%8%̞"She FrV[-5!d/EWx^-x|w(/q]™YW"uuU1\#YkRqzF,5щ3j0` #I;lkPw =IUqTv|w Әȿ}cO.sGG$[U䷅F%3,@A&tBUDi`:>CBq_X6zoJ6qe#-kYwU1%H y$:w=BIv~M6ԍs x!щPB,/8 jzj;x6 /1kÄHc+sj8 8WsIPmWQ{ZRJm 5(sc ~u$V?R9 wKͿ냕 Es?gTy \lҵ6zθPJ,Zӓ 4{I\^W+z( j LH?Qc)|B7P(B0 =ǠuA Ov㾝rp. $uz6x㣎G{wJL𝋈֘G~~xFrp5NmgtY+m`e/Py>G{w"n8]h]}wUN]|pɇ5op@Wl|"ޯ}6h()bܜQ3~L#n.UC寂~c7?uQƈ ,~lcl\jhIn&C9 /(fQ9m4;{x H'yEG#k6l#n@t``-[֮ⲀVrNb%;a% IMTڦ2 &㥦A䥟-Cʉ'\_)՚5--ʇQl;bFO qn1TT!+AyWF /8N]p 9^V9wȸz5.}(!Bcc Q@0򿟰R<+1~v uZ_ђOD B?\BGr4,? h.Rpսճ\L =pCӔb)`7|Ϛg؂<-7[R:$M4$~_툥i YCp`Kp3pBN9AH뀕\XLU<=otb̶{k!X7K&b#:{&Ox\gY|wi50=;Tp)H+2ptVs~;;M,xH>86v[pn$'4.feI~xջ'!/='W1^ؒ6F`pu kñHQ^[:xY@+4*,qj3]g0Rkzl$Y&Lf=V糨8 O`NT<I$9[#;RЀGdFCl)4h4K:ϡ }8gyij]5%|@o^HcޫT;ABbC9.QZl.yr㿲VŶ7?ݏ`9Ո٢<Wūt.iwܪJy^0׃U8"Td1s-x~76S#4p{ *P2Ԟ> $6DH0YwHHL}1Eq2]zc;0ˋt~U.v 40إku8SDJJQU> 8\1;1lXLZLiOw@acFSm2R;M e[r9#@넏jt>rA(p- E 7(Y{?,ҥatU=v)I2%npū^h"hc.u{Ȕ*ػd剞%Y&NG 6E]7O9tR1]u{TXvB n>mZT&?Os֡1"$`xѪ\cltT:E2K#?w&>S͆BrKJvYt*~A`.e~! NpfbլK g#nf+AK5m|X^HδDDgk}$F}rVue(c[cX;Ϫn^)Is3WZ4]~&[Ҕj3"g' r\.-h~ݺ~@8%T^bl(a٘mkȅF'gxԑǑ{ޥ(mK2#uc%_!)HnfU׏r]u0?Nc۴}^u,aœ F* ,N5Xj#GBH8̞dZh- .l~i'o! p9V {;mOXQ=p߃#i@@JIt''b/ ] ͽÊp6zN@THE1:mZ,C1A:bW24|0^l}kN훃ˀowLD omߟӚ R+Vп-%׋D^-Z?i1-G$H2Kw&'%_th*Uk;,˭ ct"9 D28:[w*%ˣrO!5QVY\NW'ΑvWBT42 HeuB}/fܔdݸi ?>|fGu- ʔhqFARYEp/}*^M#vw#Ed t:åBͪ mM;h?>.v|U|S+·R-e9&__g|x C3'z&>he0de,v3giC )pKe/=B*@+DE7^_wQom6g@p뾑.&}co4'㭅`QGʒ a/M¢%+W:Ǒuxqlm  401]A|8\xcԣx%=&ĵjƻ&a\/ʖO_q>CAijBݽN +\"Lb3 Mui cb!SIp5DR{y- i=|krFpd'" hlͳG--7A ~FB%IfIg$y`䘒\B񟍔̿Kbƹ' GB콈 5.¿}OP'j?MžoMr1>c1w#땞 ힹлh.LʟOZޏZ@0 WRnYiQ/$,UlN1 `+?}_ig`ۚnt$@ 'c뻬1mtu`[:5m0FؘLm bN *-b_j6A9>A[$قoC̊Hંo 1b܍UXA{&qSQy]/n-fnxw0/0J3Y+*Y y|X\_N列aZIlU33>EZb@\|:09;uμM(VnА e=F qJG.{bNS޺-ukeek^ne^CܖfTIZU@m:SOZSё|}Vv$CFݵl ]9ݭuZ-7E@׳Jؐ|v䰨c;r& H@=[VE'KQ~"-7—UpMѵw ;yp6ux Ƀ7VkfcyLr q'b á>IreS_EJK%6\?徚mz'8=y Z%9k!Kwbc+WocJ:G߸_l1N=CdKnxQ 1V3j0_ ޺ ^*(`| P3͸HidcW*Mݤ`AFrAY%]7o`=Ťc7+;nrr̊/ap?w@[Roڙy`0]3CWvb#c'&D| n.{݁YS̈́C>NOJT {ySbBO c,?GiQJ?W8N- ΰZ#Ua*%/?КU<COvZ̏"'oUwNnQ)|!,HOvk l=UJݰ%^/*lbKE[Dks^3N`QUP{]pJ; 5vצdR(teW Hy}>=]ZLMĎU13.A~3N$(3ܷ A:TŶ8(C ^ yQaNnQ(t/ ̵D2A@G-BkX\2 ~|!Y]lrZ!2UץN1|n^!`$IA YeNC@ݕ\@Ry c՛<_ GV' I La-D9bXbd;R)ĕlfkQJ,&.9!:j?m?Px{v:/ef&xԨB,7Ym(&xOA)jIΉ)%+ukU ko{-Y ~B\;oODIcrjmBÁYJ1_JD40LCݵ.BʥȡK>A<74$/}Y煫c)V—8jU5V)nuj . {Q9V`9]4V_?8)3i5lmPk ֠t2Lj pyzfL&n+f|\m 1ˡ&;s@WoyC] ħ9"7Be_+wlg~2CV.8i:Y[ofdA m"֐W@ p\pъd%Fb6~,Q;Tv@nUS.uX?>flbȫ+%.7>V쥲#8 8EĽ13`z~O)!h@er7gK?Ui~S\[eW?Tg7߾r< M%$1 rℑ%y^8R3mԐJؼ 젪 #uLs(;S)R:6d*$\&O= I³Z8\#UI?4ۏidmx#FUV-W ú-D*ET+[D`@T!tq{"QۺН=&b.FފyyXw 5=Oy<8V'h x9/lB%^/$һQ;mx K· I.xE`eHM@l`2[b)ngU$';uS FLiptzR:Gn&h~lC=@vSc`C@$srqf@$# _ *Cl.9@ ݼ?<^dN]0Ue*Ϥsx ԏ?_@ ] /~x !TS>SY czGO}ՙ&Yųd!9n`oo=#2wKvym`4É-KFCw$G}*Q:8[=ϸep ܼohS!+J">a 鴥xrJ!eALpڬ5`iAc4ٟCl"Xe2ȯ4!5֘p( .挥/:]*8r TfXȉ.ʄGD!'d\1\h}%}mF iRҭ9& vhB*0&9:7vEVb,a!xM솇YI]=ɍG#ظ-:;.BTUa$ ۨ{] jxE;0e)Noί kNP#̓=MA)l\B[yo})^/Hx}20,S⢕xoexۘOJI1`.{i2ƲRDZSgM \`;[r)\ٓ3"3;8-UfU=:4QFfuӫlN])73HhÄZӈgyYi#Ltj_y<64=ӿa`{etҟB4j|XZ:F+.c#~sJXA7a i'dhZǭfU/TY-\*lЙXc#T\׻TQϺO>ybL-T9~/KLT`kpq({Q [%Y;˯҉!04":811]Yܪ&`YlHK)tFXHխJFUs9oqW_GݑcK9Xn,gZK\nk~#9a/Wի~@js[k73l]L,E:1ݵiND>|AO;^$r?*YUвm*=EOEMN ?8JxhV$"9dWf pFܪʌ| [GVC9.aA }$O<ٷ.<7mb<Ʊ k-)o T:S-L[(%a"+!Ϫ xb՝_On齊&&&E?x^r6J @No?=O?¾y&wHs8[YrH) ًĜ)=`e5ETus!.r}vI`}3J[>~B`N.".!O K% ;-+qoD7Ež ̦V X1[g<%M]~tQsʶ 8Ծd;^kL}L~eZ%HI{V+1O9d᷑̏0xIyAR,|e!yw.`މ;ȲMڕqBG1GUO% 3-b+F`vd$J:2^K6TG׍@f:yUIC]F;٫MTB _New7[z͟PG5Q6R4'OF/8~̋$* nIPB#5sPli48_d{ڷ$a+a+AКEcppV$z$$w\MQa!" p 0D' 9OեQ567\b{A5j4o ۙ[ qrN!}1N \諺ỤddSB3^T/VՃO5:8QOf/qQe8 c0;zFaG7gxbض HoFY G*#3lSC'VGRNw5: 3DـnOM*[enߢSSj{2ue`lvpg_FHO`;JtL2G+.y½DUJ+"(^@!9 h?~3,Ned~INF:Y #C iI4[?6ILْT!Xӷjm2MZny$F -slev5 ." rПSuCD%[SIJ@_|VKhWt !qn5U]l~MB׾+7ZGy"i+=mM^ 87eO%+nF%~9bV3XZ:*KhѕN-)պ-+Se&|e+QŶ;@ɉ8>g6]YZŹAاRWEB}}(|jXhQc' uoTu5+g)F!d A}9/|8H+G{D_BSXPFNu(._dپ'Ik}^YCg;rdbES ?Qo[T//#K!V$ӓoSmWv6^ _C ʵB 2fWj} @m~GyM$ėmى!b U!cm_Sm[XCWݾV9VWS1fKAu Sm)"hvA_۪]fbl$"x*4S^ #4/k(0&N!;f#MAvAN%}OEԤ~ Xoww >[~?\r;BR{3 (Ow1y:"~zB*QY*LjED h0M2_"WH*d<" 8x^wATps7)}n coϮ`tjuc0ݬ;jSdodGgD(>)1a*:ࣄF ĢT <߬wZԢh)VO'h|koF~X'l|<ۍk5Wz|vAPr+?NΥjh#Th1(lAc6w .WO_%UwGSAEܢOo)S(jX1O9 ݚBD@3~.޸v(ȳϽ9e"oUthv5:\zǶE6&T/8vmp,F< +Ddҧ3R Y m #VѝKr%J%/AJh-Pd 7WvLWXlNΨXm*5]R)K*^^(}?K[Ϝa@FeׁīK}V3&ݢՁ8İвՋVeUuMXxZqi|tUXncU*?\htOK~tHTh#d]D 6hYySAˇ)?峦i=mJ_K7Ctb^'j!>@\t>ԅ(R{\N4av}]G`o;t+9vJUB5eThD\EX[9v "k#_5Yڹ9wGAХ2FC1_`pY".9x!4h2jZ笶+yIwv oFos D5dlI./?S@iܬEyi8=-Kw덤S{$*IAS%FP+[{EL'/R_&[$aXU0viw)U63Bd?mmDW $ w' 'XmǙ_#{}9^߱ Qe}u% gYZ7zXZִF! GI]ŗXiɟj=Нw(yѨyw֖y b t8dlh&MKzttb`3̖0xax^3ҽ;Fiʴ3 sCb&ZiV!D8S`Ţk߉[_I97p~C3 lZngESw,&N[b4Ct3ѳyl:!{?0J4 `|?|G?.{@tv1(y岊bw=~IUrbv?#@u hPaU<+2%RIzfuu֠N n5'/pj:.[~W=.mdw!v{kKNin9*1{Ρ*DQ_(^M.m/,^TҴIܱgYZ7zXZִF! ]ŗXi%L!l0쟧_)]=Up)j T^%E {MbVΓnxjlqeQzB'K" u}AR;s֗x_2"d>4jy(ĪkӐj,<2t-NTIz uumJ"mSRfMr'l*zmׁZ[-(bPNʞL<[N&:A