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  8' Dt, ]/ HOL-Matrix_LP:threads=4elapsed=18.526cpu=52.480gc=1.616factor=2.837zXZִF! :ay]ŗXiɟH)0%o-q Kz@͂!a+o Oe!|wL( clds#En%IkŞ"Oe߉F{n7Jl`'f>NJZ`µCCI}/G?GOWZ4 DM+r5һ*E*ӝ;&HG3qj>@XbžTE` }\ONN!my |X0/Ȩnegm*vL տ9TGwv5 3+Ow|]eT|zP##(MS̞r0TB+|՘U>5>rl$-^g}ԨGBj{bK(~NayLx<XE}+5W^$POa[HV$lA;xL2* ߑ(^YJ^ͥvԢB\S"M-]YjyPn@zP~)}'V7gP0q835N~:xO82?ic>s¡Egվ8\&%!ePwǀHaQ9I@ Iے9)$ݢ>^噲ӝvIؠ)}gZ qo:"&u]6^ӷpbh ˤ0Y,$Oe 9XǕ:8& 2L)4󨜸b1A,>&qg'MPO(u+浹V!f :z/Ci[I$5>7@ @RK #v-o1y>A6&sV>kM)ZXxB# >L!.JݿFy.őMUu3 I} .-Y)"^zc(,_ݮai= nιYZ At3͗'?S?: XRn-ccITjG WuQr`gp )]kC|![$qGZӕD-ݶ90绑W)7ٗY,l&MQJx87* Ec)H3%P6|yI1B8T'yl8SV K$Qh#W;.NԶSl!b0ydeޱHhO)j` Y"?<l$_X0jk2En~jy1ؔdl0ZzS XF91OU=SxOm `C*SRҨNUBps4:1uE;'li!Y֨Aռ3Tue*+8;zK⁕{!ER?NWcc( tF,G2O LF' 5Y^jɊӄ%?BG>XrH`sZB]v !¥9/ZYY&( j=yIW!m.뙠NŦW\]r[+i8itڻ5kuM4Ձ$ s,S%Qspׅĵ7UM~KPKּnyWn4YpkCl/C-'GKLrKט*?G |r~0r.2CU0z "*l/\TbQ?7)"Y4%>⮟;䥃}`Q`a'َ,J ³MC,.^}ѡUHPs`P,L >TMtԖ(HXפL4rw)q!5 トOMlatAIEFܦS|e@+w/M PrIIh2Tx¤vbLx/Qr{~|9YqyUQ$-m)D\u!x9,QGFj(^cU G|6Ƈrmzly: #V8 j+2z,HXZSGx !(N0GkiV/t /~5IPa`{phАɆ߻JkvԒn .xe"O@uA':" >ʘW2l8[MvV ZTYUӊxӚe=;.J!OoݫMT{摇%vm ?"^anA>l=ڶj&,J(ܢ0h{ jM7a@xө gݛMYX4WM*>+΢3I7cGY7$H٧lO8 țb۷1yEW=&@pa7EccUׯ%I$'(!o YxK>X&2a+DO"'.gU048J j%K/%u#JlHw4jUg*8,O2"4 zEZv"iΛEl|xL?XcxRHni3 m8h:EEی7bl]h;~`E(I/a|FU1hZɼLÚ!o<갽o IX¬֞,˩gPxeӟ.;FhK1%-}C7!DI3BF-dܥ%ұ[xJUj ̡\P1 #n~Kr9 PU#*ƤPGo^oe JS5 Äm't;{3}Iw)n0O-MEYROD֤;2\Nx?K'Y:W&$sybW^dMߺm&=M_e_+}[>lc.DEhQpV1]P=y|>n.)d-^{տFtR伹_*g,zBS*qKڅPV~[M)UVHI%O82˟&>?LUv[8kZKMa*4m536Gb?uȿ}òI{A[8lz~e{ffΒr HmAWx&}uζl .H]//tMy9r*Zy2<>| *O 4-Ÿg\i'hϠ^ j ҡĝ_=FŋqnS;bFN3[]99)2_\FRװ^uNsã126㠻3 w4.?+B0F8&!By7-p-My+C@:snHu/:S@CFyIkguxDhg2=ܢb6 >eBVUMV*ڮ#_.ǢfG?{9͏3҉P' $R88wsV=BnKu 4SqC2A )gB@/LR^,4RO [*6kF%$HIv*>}/)Qw}μ!(~ 1;N\W:U؎l,AA4gqW.f *#jٍ!dֶɜb|hjtyJk fj5;49/I(*cS [T4A4}qT¼߷*Ҽ7_>SZO2rYnê,Wcx$M/]<(S{MA-S;8}O+T(ˊrh-QQVo*ˮyx^ѠMnZ:R~TLNrGWf-_0ӇJ.L2X'_L?N})<;۽m+b2TM*c]4Y̐S܏ i\l^1Zxn\'B3VG|FkWW4\H;pGz)Ir)"w}"  ӂ(MrҔ5RJ?jH]@ {Gӌ#oP7l/wFLu|E.AZsR5䏄 fȥMPpq/ݩs-#^j{ K5\Q4Y5Lc(QVh~i\o L.x?녎iAW/q/ϊPS %ٌ-D2ȺHZɪ @x C"W/dn?9|kN"ނȱ'+{#b-={s%R |hWQvZ:guN}zRrD'CAHGZ"IK" d/"G3XL!cEx>'?-猈.CQc(!2Wwv%'9.OvG* lۓ+aemie 4')N7/Ϣh#Vl,Ui#B@zskff ^AG"7A[4(Y(֪1Y6gr̯.ivxZ6` {C)ĥV D<*?ſ!%$WDͯ!{IOx2@ !CE((.D/.[*87?oj/a_ ['PO!Hz^B T?rשzIhjGLXF2wHIi.SyTXDd<}-׾`LGFrmK:d [ ,`I9TAqIqn+xZZ51C %ɿ]zN| XzQ^% W[/Zj&d_]Cj2e 4\l_)a/SH3َ;x 9{ 3w5?D9R@)D@kn*^7qq"PRj%z ) #0 "Q%fb5W]Qk7>Z+ HxV0Wk6( ~tWn"Ia@ѩ{ 9~eV]I%?(V#vdF/ȴ\U*9_ȷ?~L|y3|m7vW!+l<a~٭'I%W;<JͶ8/2Ó {[5>KN=v*v7|c-AN9.hU?7S ܧX}gT |mAT ^CV)~U4+S$ʺI2WjK.M_֦ڀK/y{u{2);?]mC(r W6(nADМ+݄Qwh\<8VX l{$>\`C٤;{S;qHhJ?*Jw걨E3soj{y <aIQHd>B,}wɆt:R0Ӵ⮷f4o&tcGu~ܒ]ejɞn\R`'mBE@85>q<%T%\z4OfTHxb坬Κx3ZV,XN83˺kdԧ}Z*Oك$1%WC95v:jPqL2Zly F2}2g\/*OIny3w\j э3c oZb’ d Ć4n9iM;4ZO|(P/Ҫ業H[0UAxF$$}n15@~NއcGI>dA1m<IO/ `$BJ]>{Wq)@6va_h{@JAYFYJ*Ӷn SR W(D7Pli3b}UfiP3O"Frh\w;甹hs#<ӈ$pLZVwa #_-5U VRD!aIv#obiVNK߾^*e2x_m|sv/6-/n"  \if B 6m^Ѽo-P#}˺o,ۀrU"&YY Eʀ6IoC =LKU=Lxwn/OEJAڰ=;bhNWjSԙ1q$Yt5ߢi.s]y;BKߖ7h.,jYJA*[&-Љs679YKwx4}BCXuM,`vwMzڭ/u>+aG~Y~O;ޫgCKc=A!$0Q(@p7'# dklEG,&Arڑa _FI'DU$J|X"JFBNLh3X{OmڣGT8ijrM]@I)?F[هK8H긌KMM}2VHMmP].$oZ+MHe#\鼃5^sB@3S /ݥ4ѷf_-G؈9.NNhaR}|%`HVJ xު]+8VfNB ԱKǎ`)q&C̒slMc gy{~u","罫xjEam2yp?FCxAwfa,,Q 9fƭ[8u#s"\+\)b !S[ T"^=&) b͔yazyo0W baB/( e~]lT֓:}=>yO֩tP50#y˻1>kv Lx~O)<ΧKzs+((=pS'93'^MLl%)SI\g."0|Gx\ebıĈiA3nݒuXlBM囎=td2eVǤ'`{cL}vn*Q%'e+}Bf)aBH=M$-2d3rOO"vIF?uʄ=[hiB;_HA%,R} 1DQ8ge#ZL R7"t;Ya9T[PHBnD*7|Q+Jpz'֍DWm槸;)~GKkU{ & PI95Qn̦xl-ƉOz28hghˊ PME*P`S%7,Ox]BE1*ԴнP+nsaDc F5dUݣm)!ԍ斉؅c9i A`]8`'0D}A4r)}~ 1X TsK>fR{$&>+ag\lRThޓ")'GH^36p|~ånթl =h=#kJg;O.1.GU~4Y.=r%I7/0O ) Z\ESA ztBu|<sA$sAZјrMqa\L,pO6#=ܡx(t)UCIo=ӌ1{Ťf@"܍)鲥SS nLTW*Bct~&̊>ђ-˺[T֪ Q%x` jdp~[Hx+_2k z2HTGv _Jl8Ȼ]\+o[3g?s$Q"Z]UNճV!fD| JZMh}>T;բs=M~Z'{u4[BߵOGŻVŽNonNi!z */ƀy;"Y61=$ ,kg6-**eE,v4N(~ܤ(Vñw?RU4kf8 LʠL^m $cGτRK:7 ;Wً/[?%(vr>:@湊KA J:A ,TfM$ ;g@k A/i̔Unf,2G`o .dMzps . ^֠eD,MB^33#Idݪxb)]+'{`P3++ 8iro]xf:_66Hm@@kSws̟3G {tH]VXy}3A>8P4`#P,rGc\]WHd-V7V=!}Ob?9Pt6k{?O Mĺ#Qlf> ?Mi8ֶ#;"]g|6iMs{TQV#t6/2=@_];Py\PFaVqւKUDX0LXYBFJ L?CyIp`v l<41#rsXYjL[EwI8"W`>*S N|g4l*tvTq +HdQޔ,V^-S?@ u VISE0uۓQⳞI=}c-QƉcC"ŒƚyFN! @O/zt(z2fZ8O}ԉ#Ɛ+xsifTDH^:{$%*mltBly >u;䂤.YN6]pg4 M>h)!S./fy<_CDW>|< *3$E:$ F^Y&#LX ,%c&7O^܏!3&ҝDG ȕ\]*y.nWˍ-n,1>|Bs"3D-kY+ 85`'^Rn3ξ$=Nb- p~?e$:K>ޥ!+X3w ~3۬1id, Z8Mı>0+BϹwxfe4Fn]c:yKR_KxE_$YZ|RKt&~ԕe.- t94 i2.k ڪ| PCÊeыq7fHGU8+Yl(=-ZjF9b@#`0_Oegg&w^&\ى3iѫl#6kԦw^UK3Xc2>dž#TKPd/[֍0*zfb3c3oƒϡZwM&Hx/#+E1VTXI|x0 vpwшy&_K'Wڲ3a˰}܌ ߯*I uJ tmgR `Cě8>QdžIq]9Qi˦*MV1RJfSGGOʽFc_9O+͔BQ( g(j8K%J h67y@YTy:x2Ѵrx_ ): V^sn-f &Yِ˲H\e ^m?I [llkUي.KLPV觳5vo5W񲜻QsA,y #x"`{_X; wDyLs@ำ;_؇U2#xL9 <[1z,Be]_x ?`qPig-ڑauc]B9nV|Imy&t5[Ӿ'#yǟrČ)쒞_v~w=Oq=.km{lπ;&Y 2OGPM#.,scSXN%8Nu9f$lc[>ՌTڜU+q}y8bZtyJ(X|WNxxok\m RuE4y2edmK !/siI*S >WY1$ 0(ZWfV3rqGЇ|n@pC0ٯ7@s- i:!:Hkr)Yд /81yUE$vkW%F 7A" %*SBz_s2˞i?C9#V\>l,jMr|!fqĩi '䞰2r3ah}@ǤSՏ \=JliiAp7{ۯiawb6#uH>-پI V]XSnWY = I3-3ۓꥆݳ"~Y.KG%Ԁvg\ةHv lY_Y3Yʐ"ܻ;8:t\%lz1l*f$lڽP~虡NA?W'KV/,[^<$58L_[J5' ҅'sFsgg<62Ý+ܦIMn)FQP0 01{XpL1Onqq)N^!et<2d\mFav>\tT5b-1VqZ}Q{]7Ǚ?ѕ9dҪH=_8Le/S? kd|T+3|A}4<ƐKRUI,( "6uBWnYv'tbuFT.,UgK0iB*~;9TCpU9,˭3Ёt_'@w#ts$UsG~uħHtx4FLG ,`Opz2jK!׵9bѿbn\sL.RUiCph&*](eu[մ T& $FjC*Sվ$"@RwJ$[a?,ŖuXe_lPNY 2sW[>415Ӭ!gǼɛ\V)u};8vxS ϧ#:-s)#ח8~HM')\5nWL F\/}\W&Ijd79zUI)J 4Z¹](m.-M-hTa@_+ՎtzG-:r$ڐ\$%Oփ hʮ]7CA.kole`ry/;Yd]mh_zPTcFÈM}*ɺ[-V]mxh+]e?t.ug V^\*=,a>!ם8WH=b>hWMd&(S$8` 5̛PEtYzSenr[ljdŲvI)#$] 򻞭['h6!uK֊qި jXAZNfkD5.kEVop͵@{-_W]n d! gTa.3>x@KZq(Ȼ Ksq۳A,2eUụ7@/,>"-+ǛBE5/-}B7J=y7*E}c6/jWh%-dq ׷ivwS^JCi |U&5'ܱN a>cI|E)`u{1D%C/U2I=M= `e:Opf;46F߉vQ,H@h:E9iWխdsE+ƿ uSת<87n慩6?D|$)يLy8-n ~Uw \#p:51-]rYf[\ǬIGFԸ?Tw0ۦW[o~/U V{V!(cS+@1 Z*io [aр1 ІH+% BЫ/#iE9Ky.0~@_b|F/am2M ȓGu|i11wEoJ̏zЁW`As~() Zqaww</ /HϚd]`JxXε.Lӭw^i*N7[{.Ј„gb7` ,F({|K.~%2p⏚|Bu궷L ۋfp̐?Kw_Ռ&{X B[o$I4RLd]Qc!wsciD;t&X: i:y'SyJ5R3^(5-*2kl-_Gh&Kʡ,S6tkP P3*n! Xw0ׂ6p)y@iXT⮢tě(V!_ 62jj'ۅNfM&P'!F= {] 7IVԐA _"j51DOq͗-ql7:".ۘ1f^,*MS*Յ!0 K 'yX*8V6TJqKiϩ FL 30[[2x C[¾(ws|ݦCc9/mrn@iqsa{/ j ej֩M!ڀ,*g@HQƋB#=o6ex$]~o6+Tf ~y7:!<"qx9iMf3#P-g_\Ђ& `J U(@6D ki怸êdR/ v}h)%-tf=@";j)\C 賀;"OрSSuc)6mj07ezag =WT8/9 3^Yjf Fi:khC?F~E$& ο_]*rŦhmλSp/[ța9hJ@뇄ֿ~&Q₿8 ,4iSAG?hWc>JDJC拡>gPA %8nIE@,*-9J \D =|:N,=_IJiuP1&`솶AmkL҅CȮ N*> |E `)ofZzX~DS+F+]M]GT R8S MNxRީJUD.ζ0d.XvDUtu3.-2JŒۂ i k916E2n`$.x8` Ped$)>$$`>0iKxIRX6uySc!ȫ?;~ }KB&LXC*50H Y\HyxPZDI a?9Dn/b[My8v =2V]O!Mj.8vhB@x<+~jXz5ec(kȬo.3] ,c,Kx?{CrL \iZWϚ:1#$fSr6oɂ1 D`3'qfv1V9UU06 9wqϗ(,1ҮVzq? 捊2hS~tR~bivhTcjIfathsADߣuKY҉.O<7i"my`K H8rvB'4Qw n'~@d'thd%F:bLڂWfΚGv\.kز%nVτ'S߱o5g_X$'0 X3"Z/`}~eNĽhI0G-O1W5{(4X/I˔- g> VVH,gVJP=U[N0wHTtZ.7qf?,v B7Wosd tq!ƅDR ]EKZǹW؀0ENFFPv0`K2*fgDZ"iyuiBw$̑)c (-I(lx%HbS5AԮқw!R,X [U8ܵ2LvLT@1T3sX'lAOO޾$+ڢVA?e#ÛDټԡ"_*.L _zB TԌӋAfW; F䓶lP- IU Q- s3h5бgE k& 8#IFx4tW9 Ӎ)ߎ_se!sS=wïк<'-|@*duH ,ji.,Vu``WN,i lc+Yy$8Ov8N4Ck Hv<-Is͕J[z~:^5FҖx ʍZXQ28Vu`{gu;Y î':VI5Vxә3diֱk'$6O~ɤy"MF. ٜydKо٧%Z]0;N=2I{%1EIC V_γ^i'C QYnqS;|bx֡k'P|.q]_A[R!Ɂ|Z7eoHӼk  ~ѭ\6*=]fbȓYty=!;t%AFUqJy_4}EE#+p;Yqdޭ#SVD'NL)_f`@Yn&#R'vBg !\]«KXp lTSӭCA;jV9Zg\ x$j'bBXHbfPX_(Q#>.s$anܖ!GmQӒ0}XZLjeSƭ-~0m!薑Pnȏ'i@[qUFe137yLzwfv*2 >ؤZ0eViۮ[A,&V K+Q0JQڨH8@% uFT@RKhO9u:;m]yוyFPGL?٧\WW :tH/h!`ؐb?9@swź t'7H \`,t^JP9L@_f, yq= 蔪\HkXQ숦9yNoͽ`U+zԻL5a|olw{#!ϯ R!u9٬OKY!p}R.3,(69-*\ɐ -(/4WpXᇾْ(5qqe R7A\2W}`9ыHj|7U!.sY@Suyf'v%nv զzrіMfj>wFrF he$W5Z].@\WO2^ބHOԣT }+Oh =df$ILah= I `m 83=mwD*>.mk +izعwMVs/&i{y |௬Lj?_`JQ!'E{h2iY:P(@68]CKnqv 1ʋoo? {Ht7/<`]5DٽU ][u4$mu>{#m.# ,y1"LDZ<OЮL+ߞw±e1MtTLw8'oJbP*oaЍ8-=Kɾ*;6ͤ;w P2}Qnyhw1kG+asMF7)u#@;/CB?&`vaQ|W>qTK4 ܥCJTJ4f|RD@f_cOJE vMw=uƅk^"M^lAr'q&zF4RXYÈW͢U-P`' cp#F/t.)ߚz_@z?e}4Y&~PU*-6Q'|}Mݝ}M6<3[YU\ V \ d(Z+\&3;0@dF5Wi2D! +_\"d;!SyvJ>^aN\,pʧ]22s]w KXY^/N M~YMW\ /Q6D\nǍ_89XGiU]K>I# |h _] *sWiǮW;^Juυ!&uN (5y5|qXn0d/ XG'uXwvt`ZJ_X)⊨m0UpE,]#n6c"36S;, Ӥ 9D$ B Fmy>UbBEAX,}*3&ק_W<!Q>fĖ{ݖE|{8vq܊6zeDi1dd e.wtJ4|A8ZOUJexb~{5oBVM| 6g]N -׳oƌ_h Boڼm <=|cƻ5"Û.8 ef1 'UE(X/*Fl/4Y8oݞoᛸfLީ1+lsoFiӑz|o05V0T / J1oY9E CN-zQcu)wՠIf89N,PcmfK^Gz?N5Hc4Q3Vc!!Ql-C Eq&HFH_\rGݞ!cx!2xP}Xw? ѵ/ ?FNV-1ԅ-n?l;;#e9L4B;nd>-ɷ;xph IFGgrq3, `opۆ8ǣDcl E&,PBl'.o  =1 ?϶(`V 1c`l?:G}Xb4YbH+MpX~'o7f@0amowQcN/-]oH(NAz՗m0Y1i4|?d^;R- *jeGO)7nneV587wWm$ [8|9 gcn#q--uhpG_:luܗw%$Y@co6 ~uFcr][ 23 FF 9%nXR?VF[lsbWqi  .Nt\yc$0kjx>2'޷/0l.A^ w1 g75`o#BTAQ$a-Ŧ 9)1Lsi| ³?;$ f~)p٤Vrw `._Fh=+j$xQl\i3HxI vd^e 2)@?;R'3#D0'^ā+;%DUE@C4oaV뺜yy:T)!֦f]h{Ɓ"?}آsz dl0t6DPqt |,:wdিM#U;x3h:=YSٵ;;6n7 H1it5gpXCryEуcy\5Wd/{YCmbI=J t݃?t-a8B=Q'e 6xOg^`%?1YS[vLKM| ]MNY$=7A5H0yaBuKv ґnפ{(xW/47yl=O6~e(JD:f_˕~5e,J}( d73j7-ՋL>,\G&IM6vC`rzK,L:'hGlo<^y4%p@ pȟ=ԉ7\ݯ<|3858e~< = "^.$3z Y5Q}1{$kxݫl#nS&JޝX (Z-36B- }D-<09DC-r84%w fsN Av3N9y]ҋܲ@;C/4X7M !<&˖zăޢ m4y^W x;1m c4v,'LhId#7LkԷ5#I t@I#]sd ( xQR*Xlܬ㎬]rP }US1m F}Yԗa賩B~ 021:UA`eOBB̒5~BQL!n͗eT1`P̃i/ &#kc1Eyh+)v,گ 4K_34 :Ve{.|{a'̈nZXH O`~:ܦ|lM JyXTfH7AWYyHwD9-6ljVwc9~EX2] )ߓc- ?uю gkD%X(q ApW "w; Nz hNtj }'wDQеAN*\~$'ʗ&/#i|OBj9 f?PXXL& EN*@$#LbVvj ( 6q=#Ji6nz#͔Yjb%/3bd&ϱW2Z^d?EVk`Mgj8Fs-l!M L89+ `M>+易I-*2L͏#T<(]tmDYyA2pSITa70mz,G9NOla>Q+Faa'ev{O``I¿XSa=R/&L*# =1cꓰ~_m<fGv{e"2vUFV/(Y<`g .+`FBͤ}n.04 3Ke['CUά5 YdS>|HI;jX=9E$Д0P|A;j&dEQ 6!yX@6dƒ>3ʠ6 U"|H1yRQB. Ғ?<%ˣ%- k`/0A}b#[:=?syך!}'&+7&Q_DG>+|vm8NB Э"nVS# O:)\)T ԑ^?D:N\^s]]37  .vOOxQeNKb?.2!^^Xqtj5ɵ>e'* ~J}y,"k))~,b@uYm/\";؀YB{Sm'n 4yi[e3Fo`) w,hP㈚4k†ok΢$6N0$Qٲ(Lnj*QKs޻:^ $Vk ۻG*, 0Zph4]`o;G.hV{&8٧~q8=Ѕ3B\?D>7hu_FеOcO,/RG+4Q4<-16wwhE Vkd dM-oS-9s|K U; '#5=Q"}<-\6 VNg`ܠM nU:<=s``&^X!D=t8[63*Ց9H˰MT8nN>?m(F2FGV4=š7UFCMB:vj }dl8'4x|_sV~Eh팚f?O(nuQW=:=:*?3)B.9"̧>{f!cHB۴ZZ"S\7w(ܨ߳5oYLyiT쨶0|FX5~uZbCBt9-^uii`Yr~qXw'qX{X*w>d } PE4]nCdgpPiұJt'F ʓCw Ew; i]t _|M`W=N^[,n-񪯘s|b3|oA 1qUkra )r4NK8ʓDZ!Uofl`ףLrb]g mS6F@*YLQөȼz:R=n! .ISJ>/ޱ.[T d*&=6yOM-xЂw[{xQx3XakEe~gxg {#p~+뛕Ht{$EQ!߉J,pHT^?8Cqd_xo@&&G 3؎gf1)2gJB CD( 8L!8ċ.ʮfg;/Wj,kMAU.f8R8fPb>R%#H9Լai:v"!,b1J+jȻ} Ύ)%?Xx-7#v#zPl-f@4ܑ񊧢ן^&Ѯ*xI*$;'FZӝ='R&z_8u{п_6D(r>W`3{@"OuZb{KȒe$Ew׵KdK!ޏ4OuQZZhndD znm\S2`kF3;xݠt>TXF͏Iָ+w" \2agZVF8MK[TOLzA~Ά:+$|xq۷G-$&Ke(5zb)]楂ɉQY˾LB~b/)#?DN2SO.l"$Fu ݧ2_%T 6.ʺJ/ItV5P+/!}sdC@m_E 8N`{&@TESb\Q_enGď('K7Up(T<|َ4dSۆm@lw Ɓڳ^TrHcAŲ8k6):wQ-<.N; L1yƬNзE%v3*6լLn'C ':7Gψo_nvGB.P)YU ꋵy#*NUt'﬿V(i!DC;QS飪Ӵ)!#b4{vKIDZ:VR5[WAt;("jfMk+3k<}U,eL-N [$(|M8qj':k*Le,M3)`Q^c ifNhiDC =-4Jz$冃/ETv ^Y) a(K;t!4'P>TM`fDgYZ7zXZִF! ]ŗXiɟ1#vX@;+bd`GhOwz!PA[0;]X"^6Qjx%b5.t!>vAY0x!Nu_'288 ۘS6U0^̈́)8>ڼHx5ߧ D 7*sTGWe4Υ*Cz+BI^>;Bn& **ڄ`]ڃFAgYZ7zXZִF! }]ŗXi%L!l.[ ѥQEVERc)4o"AXɡ / 볩 >l[QV久kK6#61Z"idetv7DyoHwkteӽ_.fSkU",1 !keaAQhG#Wt đ_m6&;iz 3k d#l}-v3[)T^\^!FsXs&O (Stb-)(歽`&PSnqֿXX""BNs@yAho]+nڡ^!(qTñ.:GlBAظ;V 3Ru/8:䠫 &$tz诜V?T)מ^ %\M* *k&c2Ib,I9 .2@Ȑ9z"aޜa2ޯ.8FQf?Hک6mFTBO,ܽA r ]L*t7)=m_$df͞7_juk6!v_Fm*IjN sq(RqzP/`*=-KNnŠFHh(;T}ԥ;6m`V(&dqb2P)'~?9!ƀLP 5ŷCЎ}їD _T.,fmpB{&^ExUBp%#7VAjJ& N)wCVo- 'EV(XsUuQ~rKO!}5͍ꗼhV6O J2Ȍ2y[@@; dF4+Q?5{mDP!6U L.{FQX>nv>qMķxB`VTpYŸO(hao/߽{*^=Fv0 廢 }18La y)\O"2aU)wMbo;MWǮ}s @)-@c(n,dL*d%1i-9+pLtn0Aoջ.*-(htd?1b8De A#W\mK@/~+b_pCQ)rPKH}R9K|elrLMdD(׽wiGKfwT*ez"uFش /w?/Ng/+tHNJ`_i 5a!!wyبfzW z9PaJfFۯ5"Ê8H 2P0Xjk B^XãJ9