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 ?zT < ]]]HOL:threads=6elapsed=215.496cpu=737.416gc=60.2487zXZִF! / ]ŗXiɟ{Ѧ7sy^Q)F 9D0rp||Yz yiZ:N樻)p=8uJyoL@R"bA2[Hn©/;nMV S E9P4"y{ˇ٠ꔌzm~>>͈[> ryֹ1Du-f]75pɤ!扏 мAQ~߬fR8\+ 6Ϲ򸖡N Sfg`jv)(  HOL  XY\jЎ|Yd!ki{kK. fTs{jz y^ Nȁ>grC`y"_Z1åDLʄ6Rvd>k9A;%Qu5ϳuf=RX'Pξx|+P xg.ni a!rK/&\=$?!0!)l6PGe\GO򊯡:͎;o|N5d)df! oeJ?Lu~"cA'r مh A:[aFŸ}f6"aN\za鉶[yu5R;To;ңҕ;eEsj:Cz0mGԦpu.o,it'5kwdHpq} ஙP$OQNL_y ='J3;OUot汯dIin13^cK!݆ lP6~ⁱ@) :&F4_v+;pas^Ȅܮ<@G]}#07E@ތ>dk2۶##6~p|1&̘:Fe!I˗y NY吞oؚWEqy=׹h,RX U 3e)α0ߑӊYjAV?W*a8r9[ Zy-s*'y/Y%#R?TD+sQn%m OBhUVC;HXĿNϠfHX+d'u$Gl)ɛ+:$l<~zTBrL4x NJJVgr"{$/۪o-rf6XnlzZk'r?{=״M"|aJK=ZJl%T4Ϻ2x^D#7`kDJHI:nG:޽V ?lOx޴+0,Pߢ\D}C`KGtS)֠S[7o"|w.L⍭s1 .&!*WJP-@L`~t"7NW&y#R=P MJdJ]LE +?Uz_dJ+!kS"Uk׷mwe}~RrvpK%$3S_V9}П.%ƞ5.xhA'%U`piǻe)YtMFi6@A ֥*q nvC﫨">&e sN:cטrUD=GR1X}Avaڗ5=U,艠\QO[-;8+J ?8[̥̉Qfaf<8 c A8RJ-bc*!}>Iu8ċus\i1/=)SYv("<1bqu{dodёT qVT*4%Rsu޿9}eWOXMR񯐩+3҆MݠrGA;}74c>^Zijh^vp_W$Q-w'|W~M4?sPwۂ|b61UJȍ!k/O>{m X$TʺbOshԼ9$y sQ P?P/D3Y״hߑ!XݾSxp]q9= n d;nn}J\C"͔--a:fƘ.w5Č,j_?B2fRP˸ɣ}P09pނ k=CƧ2h/fT2Fֳ>wG mCa=ޖ=ĥ {Tw15]?zѡ ^1t\~B/5wyU9p0E5]Bjy*Q8ib <ϥp gI(@ mh겺ǍڼFy[&ߟ.Hds8ΥMjQs6~;+<ːz0aVUT"E법 vǣ:P2T4PF:SWoP%;H/uGgm@ɐilpն{!@: &#$Tj @ 莆vs:Ϋq$)a%6¿qXz{lUx*|=WLMQ4i*.㜙 &QŽVš#\1_elǻK7.YRKŲѦ?mLbDFӮ u7oݽegڦ x=u;u+PcCmvp*5^!*Y=ܧ>#(iVv{@YD1Cs`3yqo+awDvv b DT(ɀΝ9%+=&/MR.g &j*0ooj[)7^h( 6[8oH|h#^Q9$2iӔKMWUzz|"̲Cxr؇Tg z@HkIdX oei iHf ?-u,r^={*aF8NK@2q`(R99aqʇC 9!\tY8 W(󴈔IԸOE38Uڅs"8NLVCE'@_K|EF$vt <ڲYN莀U9^^F.:C:7<>gO!`-Ӎ0r2$ WI)J}~҉|LNa@wUO@350iOrH"A) :l!B*t^ s]# H<=;lL^D?0FJâ0c=4#[)hoPjg.0 Ө ? sW!=wcř!R**2'gہ$a8 zB8Zsj0!gQZ/0d(QԈ8^f1ӆ(h(= [sj5wijv$ݢlf@*xܮ`g)`4Dݕ]<|X |B1\x@U0֟?"ʴ"Rj>%Pa{f" ?N-+.LV ?^>jSyxC}=-i;Rg:L.٬\"?ߟ`f j|꽄cH!U|4?]4UPJiSCh"c5 uw/ gf&j@EK)%Z7gn.zF5gmC(|R=05{0a hQ3Obv-Oӡ߳Z)nG=Ysm7 +4;,n*|'TK>^q6֟} .KU#O>u-Vᕒ܅>e`*ເudtj̕GGX<5]`aާT= ۋy e r~nYnrAUO˩Fk1ASryE;9bj'=OX &aTݦlf_9 r 'PRa/gڈÙ>b*9(vu8œFn5I/ňaL#Ji7Z.eQi,)")|g/.y{ \T/.3`Ք7{u ab~3PG;Y_V@<$EHe6\"5CLP8ON;jݪ7T]|_o&^_hAMϥVYU`$8U !;}aJ,wS}a/x:} g_| [8Զ Fi1 #1|HZ܆ONchڢҲؘxt޲s_ڭ/@59nhe݅$E0 XzH'MG&4.1})_@JE1b ^w(* MzKן_ΔCCvO=L06M76bWU1dG$0"]ģhKAv A5CL@B! ˊ?垻d<E9%XuIBha-$RNLɉ2v#_G bn G†j1ţچ\jսK0.S{(-HSrֱ#C(jx=7fk.Ƣ+65 /]H(vr%Fc&%+ ljLwcx]ɈY<@'$,!z˓ NRsb]g0.~_Y-wϦM6@CXzUz=f] 77ex LU9a󬢿O*FrdbSEy);JիX!q+C`fS=ԹwmP~"C%햂%TG:_Cb*ʆX?W%$gu(8#!ID{%q 9* LMFV(gBC|{LsHGJ`1 V\Oy1#G>'Zg̤u'(ݫACԒ8楩P߽U|#|ü%sJDmv,4z.k!3}A޾8"baECT{1h}"Qq*6B(0}]JjȎx`c)٦%XZKs3]* q+ KO'М أ+"#Q^zj:-v5Բ!LGDugwP.NOFa*oF)<#҇f3^nlz>uY, };P~9Xv!,U l,(\듽r4-*N\Ξ։݅Z8a, #zdd9 [!Bʴ͡Ec|8oT"g$R%^ģ0҄ 泖Ub&SG3>N`㈠ڐ~5uԳGPƂ^Q7o9T0$EhŔ42++_3ڋ;;PO6tf#@&ɏ@/R({"%CIhPvIv2jCz'i ed_o)TkqG"24#$:ZdGZZ{>hr =q/.RI$H" mǀc ^t|2 OP=j/h ɹVAe˱gYZ7zXZִF! p}]ŗXiɟg_$N%Q Kβ[I4>!O ,F}ln ds |6ZK5j O?„5`VeO?X4GQ։N?b F 3| I<34-#GO&3~I[ԕ,\>P,j~/ZT `-#\ %.n.?G}oBbL*Jz?AA!GѾ:X fB jH:#2>{SR4=z=<;z`V˞ĸyrFGcl/30DK5'*2Ί0Ճk=")lmsWg(m5Q ї+u#rh掂{Ft"'g}"lJxf;೷Pak> w6,&Yşy zW 榮'd;۬DR-n8Pޔ "^^p/w0=y.+Ұ AmZv!)ֿ^+ *%FR4DDWk<#L">t=S\ (] ևluR[Ξ0ؤ~n1*ѰX%x{ݫ>tWabeh \ĚHl[H_Ǥ gY54aJ,(HsUT8 qZ #abNnAAc߾;-zɁBGC~Xy/uaݿ U$evy>u%QDjg@*D rV=uުw !H:urkf0Uc8#c' qw_#з_@v`|K&H-Wפc cȺjT;tUg,Hym03s)*H#H"+:imsP9s4f.<%l?+{qľnOr E+@+\{N75rjk0Upx\HW4-WMLJH5x˝N2EJr*7^|ei@ny#yK+tvx'пhh)o/H?1ߒIx>"h{+MЬY'PuNUܥmt纵t pAVTq~Bj=z+ 6!Wh$ mh2bZo:JlgYZ7zXZִF! W]ŗXi%L(qY6y[KUnQslV̐,u; aGS=3?NoVbUNo]7wPm6ō`xyz*'JUe41Nr4nܼ(q_!A|=!LuR.Ɲ6әc&axڙnM=JV *zͲz& C+m$jk/PŸՉ lڈyp7iyz Ƣ;J+ѠS [pGVµ^,dPzg;n$i"<}xO%zo*i;~y#O3d8>)#Oh!L/V s}l9YrtbhЭF ns 7ofyâ5_=\nxOH, &UFZoYcfKڂute2ưgqL< l9p̑ CN%+u؃xiZ. )I"LϤ+%82XGAS"*@&Z-y39݋ێtImg#=$bC==+ j7bM7/Z(+hۀ=n_>Į -Z†b%[,I'zQz)VȋG.w~6UUYV|@~ոn0+4_rS1Kò.FL evavݘogl%p0CJ> LE q<{!]//ҍ%%.1='2 루Cw&@{2f8+#?Q3Tc1>ægE T]Q^6Ӿ@uH|O9(UdO:l$:e>PBFlp{c6J}Tr!0@#(͹21Va$8XF \JNMUg VFNp:ku"UT#GVgX\Q`@A $=CW>EgEPC fuHB{3@t ׬>(LQ߃eN9&N:zb_ 8g7Tɛ:F@Tl5~0dn]ڙ Ǽ$N86c]dؽځikڋW[-;-M uTjiD_ϷC{^>V!dXн^lZem< zm@g6eݖ2/uI*VtwXk^z&W_݊]I/#-{[ og!Y1T˱ $|bؙ4Τ׼šj%'yt«l#;nJS#ޗa^/+~4ڌj+#6OiϘ#ko7b+ݦ8pκy@d4댥͆[>=iӢ12 ݁\7ی1Q*O\g];#yLZ,Ԁ!D cCxG#F==𥳬BPA |X͑^<ݰ|?$a`>s<nGrXʬsֺ*s=Ex~L|ΏER!E3-wCI83g"::82o4*.,UDXͦ+Viw"Kb3kX[|٣T֎ Yp{UKNӀ.{qr KìiR&w 17dy@ Kl熍û9zUѕqNYVl~(0?((y*-AQw ȡ th NJ$m[*֚K)yI0ҳHqr`ƻp S2~|zAe9/ku];KhxkV'`7Vۆ"U\>R C{n o)b5#L[%"sgf57Պ9 CQSeD8`rƿ!:xEa@b ke@3JGw9@2G{XTfBs$ ~|IrOɎʱ'sȁb4 Y߆w]ƃnUih[h(~ADX$ Tn)ڻݡ5O_ؒǷvN;" !&~EoO>u)|Ӡ#x.*ptS;STSu̬RKEOXc e_8$gT`clS`0^)gK5*-9Ԣ[hlةE?J)W䠘tՔ>ǜ`+ Sv%Gkئn/^*Ɨ8Ib8QCuwR!NPWut +ؿ9Jc@y)ty (5#3YO& _ؽoc,;>RTφem A8b+J0v+O}X<;ФV9\MD@]s]GkPқ%Kѵn vOD\ZO?VrR§Уr(z/7|suK64# "n͞FsHވV7]s0Z2󉥘kX%ȘFMμPc(u7JC3)D]=;^ bђ@+_[-{LH׮nGEpd̷f\TNSB3Zk Hm#s=>`TE>o() rZ9u0 A})nl:]NÂt:[o(FuNjHmei/R(j&rX!U,]>Y0Xts[7)he5@h4hbGn7,\8n{+Fk&XV8tgmm\\}MW|r+d+6<Ӱd*'%;C;Oh|^9U}R: hU"^)濔*Woh\2^4BB K)Z.xCqEAHgܣ];O[+mQ#,mzMs9Rj*D[ѐ55@BdW7B)PXJ7n} { j^Pk"xT 8(XAr#\gPZ|,TP̥?ZXƎZΜ/GPa$5dW2 ?!\ʥ5Q&n^2`UȮ9>|"XT>sГ-{x&Ik00o4:K39sـAp #¢-/RoM^.R#gϧ8%S'j0]d`} ˿-7uL'f(_2Js—$WSC$#8עci BmLł^.MIuT A%7 'JV&M4A&DdHRq@7" 1PGIy1'+ 3JLc"&m@A@wkzT IdX!jPpi'7$,U @l2m>-zL u5Hk ]P$f=0 8lbT؈"ڛ m6e~/D,>U70#rWzo!k3-=:i2A,d]B!srp ] (dj_)`*YS8-chGG!gTNq|_Ӕw %Ă6ظ3X7Zo'T9$ t⯶ kO:?~l.yaBTsM3J?tႯf\@ 8I{`ж.Ԗ;"<:=k߈`HR\Խ^q{ $Mn_nsKBO-SDLM캹:h1,=nO=0#fdS#&quIep1H?PT !aEe|s—bg>Mf7)C&nRSac6/`24q/'j- "0}2ךzF@?8LcGب^큒s z,gkw.rN{ċr*jOξ1؜ =Bwm5jAQ٘=GXop#X%QH{[JF&P)lQe7:ាp N~63^e[rE|6SFO$QDՖ ϱjLnVzϝa0WK2m߸ϸ)Sf Z_H",ɯ;`߷"Yi!QyxӶipzՁzufV `yei.:uo%kX@8Fc79A.U~z?N,b3)6 ng݈R uXpԦR-h0w5ܭKlp+9uj'(H'mFa&"n>(HWrT~>8Aޮ_70ySiĽƸU;,L U$,rbo KԶQip5l6ԧDY\`&ҏ8%&[Aʅg[m*a+S{YbEo`6όrߑmn__3|Օ~l|<%yD*!E?f?"=v~Fe/\ L)9NsQN={G巠MS0 5OQ[nӚ蠔8ס)cϊ_&θz#BcW@lNcwY䃗A`mC <~}4#^-B]om' 3:HUdo.&U3 ?,=$*Pz+?6ij6l|u'] `i0}aUҶcZH# WLk6>KBFyt3ߞL0T>R<'VuH])BF =e$8cYoϙh6;H[̺WQD]D?p H\vdu:x"FdW yƿe%"M~pKJB0W7Al܄f%6؜Uż!o/Sx-Sg3zsFSQcjD C, oX/c^4(op>sʖb װ]! 7d7Ŏaʔ&(q.2^ЮuƆmtl,^Jx߅ԓ.SӐg^GpXzKxn#y kGcd R`SUАJllDŽRلZ+^SG#2Ix||vޚ<;VsyD{1 }SOڷ 2ܯbcNjjfx1': 1?gUC(1.HX#L\zzu*z ) bTVOt::vȂbՇV1I`:淾Y 󢒬v>1K"bа,]6GgOd-}Ro[HK7'ו  @'~N0xy|G|n;ÏrUV؂wبrhdu,JHaV9ZET!R/d6OqioQ 9H&<)N߁ ,x-7ϣrT9M܀îFZdrIF5{y@8 (VC,:7>])A %)Lcj_B.l<ڠ[AlX*"г!KɃ`,[> J5[&wEqK[e"3~u9v"[qݛʑ?dI{1b.B#Pr'ŜbTgpht6|G:A%.|][*?*ۯ>Ǖ=<܄Ox7MRolr`hPUoj,,c!s ɊԼ/-0L&Wg3q <㤌Sv }LF9TeFͤvɵ>FOq3!Ҩl%`*Q8dv^e55JY\OAheO6q۽Q̻'pq2CS/Ч86*Tξ6o4/2PL -KR8[16Nb`ſ(W@n +T,ob)`ogPy%x|pY4ƹ6eQ}efZ_0#Og`߳m gus/1lxw+EıJ2~ʠ=J vS=>4ukVXSr"rbǘ_>xą$+`؞N9MBA >i(JQ,N.J2^KHBX8LRc`.`1 $?~cQo(b-Kg.L.,VKD:e[{}ny&Ho͞AVJJܦԋ@yft1ٯHw!ik\bG}T<TJsΜ Ց;~/-MLjtj`+|e_-2ӠĚΦrmTi,JuuOq%ykюKWԮ7_J̡{]QNy !mtFVlU-}ZJ1q߄Y,']un5gwIw3".:x/kϧ:T vmO~̄D*,Q_ aQ)1VjO|:+?P:{hRJd4[?頰{=mpE80_x@X81i*`5UUUU3GՀCuϱ-֑l?K?~DA ae _ KDJkV&URTB@Z1 -_gj q N؃Hl@ o_TUZbTZ0@ZsP18AÔ<lH3'#ш"cE(Xh WSѵDL;RMhB!yU6,̕7e#^PL]QqGI?s%lD ־C),WIX^Oy$BBv )g<tGNX@Y2180K;הVQ5=x tˋo$hή<nM1pb80P8\ 9yMH&ȁR[1Ke-;Ǻ%}km. n9N3ybb6\׷Ǽ'z- ^W_-4D9L`ey2? ` [WH c^FcpU* &";q?t-f0m8f+J/762>5-yt_cǿ{6'2h#{'DdX ӓ EpK`tu+9=6C}Q:N98ӌ/LJl-=#;nuOmvu'mNpU}%Vtd@ mduS6 oj5HJ=EX(4Nr;N@џi7165zUC\-~ ԜKځEf<0,S~H›,3\6 rǮ: R=_}S\P"=lԓgٶ~/FfK(e$^q!=.gxwPai20qOplv_tA[ajzAt>uq Υ7f gY?Y8;5iqo^#Um_ܵCv*d!fʸtrgg#nAOv WkV9wA扲׽;'+ sݸ+)t$ OR_fst[YmơtidΉݛ}r&N.3 KEHB5&9rA/z&'Rz2!.R(j Prl_:I*C1xu{MU+k=Q  :Z_5 @*O–A}U1I<{uV5$*9 ER*nظZrm\$?Vȟm[qA&ɯJSOie/\Gg.:UhN p>RvQ `x- [4%M~R] "\76)L[}?+<]8^ޣmmVA]$ؕ3o]$۴86 K $4LMmaNHe몖7[5MШfj%%f9I aV~gYvR |h+X˘n_̘gd䇸+mG;W2?ArTxL &Tvb`ǬN1X.ߩdQ'|V# -sW y=+"?VRigrT'bpt5M \#s/'µjg(rְ{WJ[?u=+kG4F$6Qf "N iՔ'}J#$DpEG7ŧ GnzD;qp U_*`l'V/j[/@UP׷ik ^U뛯z7ȇfPra&ev>&ߛ;CZԫTjBX!}Wđ_$ L]./;]]/}NԆG{ 17Qv,Q`a^^< Lv{WW:Y> SSQ^RdI>nM8+Hi 蘩YNhG\ nْ #{lϧ٭a4JM=l)`nm~/PGD?^$3-C9̂'E9ȥk]mQxR2=#,M-ɢfaerv}Wrg)vOʗ vSKZ6<]?tΨCd;w?ȿA|ibiJTcOHi\@JEVϚR%,Y @uptǕ:VI>E. 8-TZSA#†VX١|)Pn"?h7*xdO9Ojm@QL wU ?SV%Ta "$8IлKbNXKfVo٤!:G_Wܽu*H2G ÇX>{WӓjYIҨbHƵ,Y_]5%=1UXl+O{Y~eJD^\me|WL6pfV(.r!;S&H>c–c6鈩0Z$F~d: bпO9phh mVFPߨأN Δb?E3DN)b$~`1rULJ.)kɑ0^ű̲ʮ-FTuqEA.L 8>i/9{{xWw$DS3K441^P; qDlԤ3B֪ۖʄ}n s5:Y<9fL5)﫭L#.xo #KW8z(R/%&ʒ"o}un1}0. á&Gi:re(:7%,TjTo4 o^VWj}Iژle X2?5eyrL zik,yg=C*կDwYn;ٷq(Hm=d0K/_ fB48~[IP`ehD̰pJйzׁ)A%|/pD{B`[A(('2DMjQN1>&Mѡt~} 5R O9VT\ӯ Gb 93N.M'} ҂%|t-$^zp%/,7a-4aT9b3Rr0*m~Pn iB9 J}f; 6&x(|Q&ΤJȜF| xA0rV2 YJyo ArXJdd%zVŁ5`w&vpsH0-pBCNz┬ͪw] Uo%qH%\ģ! Dg7yZb0BK>NܰgXϟC[Mam\%!Ѫ}aPo* m(F} 3a#LpeU#CU8xo ߸' <4r/Ո j5>|˽̔^ WrjYEMPWo`S\%mŁ@ٓ XCy_P3XE6qx@U$@B\ru:6JK .gty9}0/U[grOOtn+i٤pb^J"vAڱsxzeǢ洒2{%:|8''W_cS/ݛIyM@-`M@ zC%5j(R[ȱyXR kR u̙+-߱Qys754ehi8B|@֜^Aq'jQ;1 BLaOMD/z2SʫAea^I!E!x.SCcZM)4@9+,m̔C(iBCNdmؑ7LO]EƵ ڜ/~,O^qn/+X_1~ pC+ mưxV.KMV=w&}0m&^/IZJ$,!ۋ<8z9*)'AovEJc|?jFJBΖ&b˛\` RNFwy-Tk6 Y-E>bcNdm(z+jܟilfu݅jMe +~4t,7gYj5K_Np!ZC 3.#d1̢zIk*eIN# Jf{Z0s=&D^5|V2{T C؎!rA E'=>dx۵%_X ٱq,}5{i,ꍱQL8ovBW?1m"l,QL6O. TL>,PI5x3 l}*1kThI/t|óQ:`YO7~e(c{~& 0ѩ{}C)$4DlVuUݮ-*gn)Gs })/s *dW6Tғ rfQiyKHXYnåQ9'H՗48K+ra4(Af4R'@NSً }g7:ōRu|hq;i+-*yuQЀX[!َ[>ó%nZb< RrΫf@J≎:X`R܆CQtŶ:~ݤy {KNt8`J['dY}hFzx1g֞i݁1:8ƞ%Q NBLiSѿ7.ˇvu!b.).hm__ ڔMVm=h N5^z[kQ˜\(]_JXYUW1ϝ A'f<~x}PɪksWT%cA oL6K.J\'SB5ۑhE@'xyazGb1yp 13I`&\?~ NrhDg,M uAx|s%S~͍)%o,TN<6H֡d,jw/)NBťr,-u}b9V8G Aytϸܴֈ0ڇfb.N+Hh0cY/5iyacf\Tx1`gp#|Z{HUJXRi&O|&a!°߀4nM͂mGUa%F=MPZaQR bZސ#$)TTvWoM_jGA3.KmrL\|54zjs!|V=9艫 lu'9Miಿ3ʰ4I l=ͻ3I-REv gW?KXW&۹EO:QH'%u++`SiCH_IhqG.9ib CO ;pY9l1oz\D U F(;l|F: IASrR*V7_!Dַ7On} ?u< ŝUYL`cQ1gYֆ*f Xwџ&EP°}8*\. \> h'RckhT5ω5\֏}k{;E*l^Fڗ9bs<޺WreտϓK뺧OV)=')S2kjOIf035^R$+\"NfsB-5XlGvĨ~,-ārZwb*l=|3ݲ=#R }n=u.prK!4Я,sH#{?Ajk1V5َ5iY⊭:'exe7~:42'd a`6K YhP19cZr@WVP|N/JI5Ѻ`r4 z֑uypUPȊr K̆1ϛExBp0sCN) ? ISd>j2Z}3Ҡ\k|%^Nh'X wő8t;_ z/K1zz 2cfJ>_e]d' 2qKF h,=-SI)LΦjp֣){8B̷ZuUH[/@Ya U}=<.tuO~@wA˫,ħ@P*Ǒ/tm@/*ֆG,p,ս4t±2Q38s0CM.W6jm'U[z d&Xgr l /Q­=2y[ 1A>!E%xwFwP-JAiX(PQ t]'Hѩ cB|aYVU>n$d3h`Ht$SZYc>MZw8w Ӕ(lDth_ÿ$'D'ZF_Qk]QcRr >黭?=՗>V%ueAmrHK3$R!L'\M{i y~tfdx9 X~<;q2U̾Z)-~gwuuL2<{! fh\IjG.pY!cdp0*G| 3ͪӎ;ՠĊ+UX`X/`Pϙ6F9|ύ3$6qp6LJ:X% Xbղïd# rY98 uNckt-*e+e:) Pu.\r!e}ZȻZ-ꁊ 7 ^Q ċ-KS7Ʒ dڤQ `,\X"-YBijYw܅IQI "3TzI93F񡨤?oATGp Yb҂[VǤw>Yyt*D b;%} XA/:`Bl4Gw9G @DW&BX{2V,م")mj,U HU|"`ȓs+fkitmj9OytscĻߞ^ה~ *jR7d/A5*Y&%5å0|N:}›iI;,ߦ7R"yV7OD}6RB*ۼK^ȢPR+)NI6#W;вc{J*AZA~K@_K^"=K$o,5?~c^gn]u`t5q5'~mQ1G bQ$ntoaѷ N7,:yܷv@ҘPQ7g1CqiH!RP-ا,W@'mzʆRYWæ%ԬXB(]>j2AP:1hg|/_g8$QM 1V"R6}Nus2w0E}- ?sQO`7AC}# {,x+Nj}i 4O̫Hv[C .2߽U9`+糣B]GjYRYLave<}"ހ5ma0\xWhe}-dl>nq[xBMA S_j9uDP4-zӍ"-uVLxa+Ħz0/F͕+cK RR xdhOMi!q u}+Zn%!DyxC$zt4vMACa#/Qeʵ0Ml!¦}Mt}󬳙>:ݘ]hCXפ*z!AN8G؁24\v}5]fCȉo冶kC}ヒV)?+p\2&񽣁,_RHGHE/[W7{U<6^->в`Rk