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 !dLl ]]]HOL-Proofs:threads=6elapsed=608.870cpu=1475.104gc=268.872factor=2.427zXZִF! %]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\+jtzaiG}/<{g9ʄ(b]5RZ?=({c+7LZҌDQҴ!(n|"`T bwB? dϸ!33DxǣSZuRM&}u&(ʞg{9Qxji Ĉ\Y1o+ӆcx`%w^cS${  YLz0( qcv1fyNty?R`$\JFV# 8BLY  ! HOL-Proofs6%QE:ὟHZ 'S&̻"?ѢJ"Cx`9h ȲWk@kҪEqYfAL܄.YK]dRaLW7z]"k!,Umr-OsrSgQjeoz\S2CՅdӶQ[\~#^M _E`szstzz*T iOoP&rT[ v*)XRJ kj2i4z5/e[ᆾ.#a\xJo9"I19`}xQ7OI {6pᕻ_'[3͉L*79W׈yZμ( lۮƃ3QxiOU&LSz,O 2Ht`)O."P,(тW4& qN(Y1C^A]w{k8tC +-Tf$-35iPXL&k+n 9!3Fù> r뫺luGЬӝ, jv+kj!C]֍fI6-Jg\ĕ l>һQ(Ⓩߝw1f‹1G >(h  [#.FbM7{`&D@]N[ۥ2 [5PALUaB3_RW v*l1 :)}!tG1ȗ{2Iȿ^:,V Y RD lF]ު1gг1.ik AۂyhƪQkx݇<Sj?3$.8HpsMf@a)b _z!9i>HB8]t˕&DAzdL|ouei3aA'o]`YR!k,JMˬ@vHC}$>M00w =T?ZD->ֵXa{meU[~60x{.t!qWs ֭q!1:~?n197_Xp*DίN@= <ǒ%IK\f2tǚioXnuЂp44ݑm H3-3][Gnt:3馰 aaH<"iF8Dݬ"ArC ja.S(8 UW>^aM?3k_ZͽW $J2 !sM>0GG&A{+ QWEi4l2>:p1 ȳDu_Ddf4±"vA(@`i{a_bͩE8+ ndbb,H>& 504 Cv垟Gysd5~T#M1 z xoTቀ嚚ٵ'd=CjNÿIp #u99]Xh,,{&#.(Te;~!O 41k9|M2lOiט6e/+kYF+Ɠ*<۳s\/~_%n .ylKnⶈgyzyRgH´͕MDRIMјiG7!5O>+X*(7@R̉2_-7+^sc-5x[hw&EU๩O.jHԱYx:Ye Vb_G1$뇸]=^.OOw(Pꤽ "ͼ= %k@Nٰ\[8= C뢟䟷۳P30 fSze S#o Y)TfxWxB_[?1?:3\PN[g]P}8\s ^tb.|fmo_jpiūk6[h5ΞhO0]*^;%BS#`ۗL)d2y>Orkyqk+vs ljWF㦄6Mi6E GDTgv'Qw,\OJ$uu RW*VAUM**+jK ښϕx8:o/<ǁ(g~(ކ?sɷ%D[qٗؒ:VZɃɺ铢on b&2EQs&1`Yv`EK|])#۰[j1SN5ڑ;9|wRf(8C5us{7*BĚ`Y Er> v4WP.'Tojm)KU5u;$ԐH>Ftk cW ?܇u!,^_m;u^7񥳴t25i*3KHh,f@؎HccM0/ bH\o״̸F)}I~£c6,oSDgE;1yr/Lc e܊^+p|~W6Uk'3aFh=؄?3@zyv=>m썘)a+h8 %}U6HH47`j3dE)q}LDz1pV90/@aҕy`*E<ͷ2, \R~Fyhw3."Q2nLHU6[w2Bl&4x+oH?>.Q2D*Dd8ɻQi = ¨a*o1Q%?jRS1MDn\Z7ʗkh?*_!nѻurvߑ\A!Y˿?a9V:HoY5nBX1m%A(hM, ad|2{'5/I߶jm9QɋG3J 2+m%kܸbI[<{ѳ-=ݣ\F<.\xGcNL27XہX64~M}K!YY8Mk~&E"}1_;|Dc?2(2H *4NHwY7x ֙3"b.S{o TYo; %f706{~s[=c~ 52ByoD}l|g@> QYh&}u/ V?>/sMU9j=^2;ɔ$VRƚ.\-`B&^IDyuAٹS5k#Jo7i\)7<"SӔVo Mn򔭧 c/ƋJ&)a0aejfOWunaŁgmsqQ-'KU{@:'RYX Ǹ$R21(w?5IjΓ7-мM,+(>Y-"r}2Y$|_# f bGܣaF~@FȸCx a35R/ufޙ``?Vޫ#jr.YټP.fg@I p瀪R.7-lūh>cn! S\.c+9MRy㴿jC"(rpUhD=sΌۓg='e?ERѦI0UZ.NE+|jKV緄~}ܢ.3yowOs pM_v$~Zc:Il}292-)]p[+ ]պdq?UK0`po'N᭭[)#DIL]KVf)M1!mwDZR ױ%ygfbniҕ_( 'K4kA( BU yӅt˂zE &p/U֠p7+3 $gYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!B0b#Z\:2;k2=k|m+c?l;,5잇"iyCG{IJb%}nprE5l{qs$ z>E=,%c&%pM@?3+x)an0l7Ҟ?es;8U1Yf-&"?udC.g^v3V:_-v%+;:" ^qqƽ"$g=idRBEMQiY2S@=2vQhq2[_® 3@sGr2 %EhJ& [-C^iUy;or&ܕJ!g崒c;mHcM߰fB`Ӊ1b.k腫Pp[:<ہONA%c3/K<8q g3 Jh %J0#R{.%cxB^Qx&lm2Fd^Y8byeIgJڧBN;nafyJwQ*[`eZ5XjB8EOGEɶcݸQЏٌAl:r%Ժ7Xo0 V[AZE0;WP#;vD!(k|@+{1^`$iE{6.~w ą&.n~H1OJ~k)8%FPz p6b-aZqj,,zy*b/,!![GNS>$ދktÕKXa[[oUm!ҦN}36VӌP$MIE*F=(G;:g*|F z8_tSu3k*PN=TjuG" `,UvN|j6A<χs=x-]h35NxF]/V/a&U |gEdʾ3Zot{wS/k Msyb,^#Kzz`fٟ PnOb(5L_? Om\\bi[d턧$$ xt 9R+Ziiu0vcÛ1c!1Xuqq0;;&5K\<@fs5t| f {d?cap7( kF+ЖAd[rG~ VRQhih_u2x8@*̋C=BhEa({t5=X[?}H͒ʝFe[.ͤ6;Y.xAU(Lsʫns-!IAMwνAÁ@q/@6XpZW+wBV3?@/r\|[{wanٔnfZa w~` s rTLx|?F_ 2|=gYZ7zXZִF! \ro]ŗXi%;n*(TTƌp: ϥr+ҬP[\\ :@[Kq*^jxh+rpuKI, Y -@Ȍ{_j92Zk45%.S߰x?dji;ḋv1 UU8]wƉ- pn\/ħca{\ kv(u|, ښ4@T蓆X{}3e8M2gul  fib`gz6eOFr+ qD[=KOL֫Kd%:|ޟ6ô I5tܐ,֒N]P!_zz9K_.ZTR;'iVH| I?{L4|yazgA~4?h(n\xF? &4 _O+6!I'-:fo>SA/]{kN!:.?Y]7 GxN&F18J-N !2?k >㉝=@EIlWˠ@/jĢEdvWUp||IR¤;obaHZ5#9J8걇d=JJXH;0w&Z蘀oMJB쥳:޼hXܞߜt[ ԸuDvI:Uq;f2Ű% >oI qTO#fHNl}|Bm9E9¤4ef1ʠZ J10nVnrs/qfݒ.t֪#DB-_wm, dPq@~ 8-M85QC4Iͨ: Wꖕ+O;ӛ=rPUz:TE*5Gx'C:B*G4AsR:*]Zlvjlso03V5P2֑,fns푘yss"O,idfi]Xv)F"}N>$l"Y3ǔV+#9&s1j3kOWMȐߧ:Gt˗cRۓ~,Yo(i WɨVp~9?SUIYtT_@ޟ) 6mwX TdlgtO줚uӮGƷ&M$Evoi֓d3P0S*5n ޿a2Kf𒔕JWoܽVe$ m5 mB}xׯfUֱ-rg[}!`I]. H]5_ބӬ!S1(۬fJoW42CJÄMFrp4}_o= )/I}MhcJѸ 0ʊQkx6x>V=o\=hO7/#Bc3+ו?A&(3RZ wer>'qKjUX,l $/7~ IhbPwR1 q|cZvߜCE@'4-LހHAx)/—Sluٵ Y?0c߰m1ƸNʈ D&j]p"-ˡM#''qzC|HMElnH0͆C^KnDhBKpYYr> ? 6l|4wp;8LJ#JȮq"#cY:5ߧ<1iqyb,tl&BoQpUsWl}#Ӳٔ lL;Lϟ\戺.Yr;F+1Mb\s0KyUim`4QNrBʳ͜ 4!joGm>$|Yg 29jG*>OtR!@y ƔAi( Ĉ8*"ywG%T$,o[Ϸs׾dE3*s4SayK:aSE&Ϗt>tpj6Me7YP]:6gvnRu7ף{@jIsEL916kX۔:PdO#3 $F[p:jsG?#$]1?:B0`s(syp S?_s`bd+(V \Q4C #W<.y cQnC꫽j81uvnww)Jx uBQ \#Ԭ2W tj(/*Te %ԸX9c&X+ *ſyx*1 -'LnznaDm3I]$GFuFYq<`sHmM۾/]}D!.vEɖ*>ȖIaaNnyN2ǔӋCMd\{Z= 2GB01(kqL/Zm r~2LsrW`f6?"v~govV$GS^yPkЪ,́$X&PPPqLk+ əHmy)dzn{@Ob9yE4ͳKpU%=}*RJޙ X.߹cf(=}dXa>2;kjչuMe2 },C XMA=X`w%&ŖtX-{G5͌c47SF^v81]x;.O˔f9QRU \Wװ̟@]HiB˰OPQ8KvO" Ew+l^+g5_0,Ů<ƒ8r:~^@McaKUXdNKPޑjHq.B´,˄p/<0?Z]=%2W2X>,f痿(AB 3v:U^4ӽ ^`\`!C )ڊx9/fhN7aK[PߚU4Գ{Kǭ$.' '9uToTu'sw6@52BWd疎6ܫ鍈qðŅ2IeZze2;?~JRB9BN-]xN`WE> R;ATl|1`aG4zYV쪓g͠~fK SaQgyh7C^>9@oQy+ +2.)g^f`\o VmcsPl&}?Ǔ'n |p!dn_UĽ`ɸV k˿:d'n);Ld ~t_ 67F"wg~Z!Pf.QCjqW`-|7h_69oB؏鞙UoJyk/ɃquJ k78kܷAo59"zWt`fg>Unڗ36+Ss%!Kȼ*pnJfRU2hP71W{4(+94>Ǚ2{kKp1+MG9ޔAuW8F cSMϼ-lWz ;ZV1C5dB6OP›n;¬A͑QxgO_D!CgAj>Y271]LI?kqʖ`8yHB:P``vcΉb֯ aӝûlJqF)oI'$1g+aog):UxsHjstG˅ fħ77 7ˁP@zg2Aiq{=XJ֗)'"c`7`Ԓܶ%ngrCB;}Q?,0Kp*+cjm'QC#=CLɺl،M})a.!4Q~~ ƛeګth ; Ei"TsWڧlH/ B<}sLSKڍ6?+Hfyh6V (N7UM?:+B҇ ֵHt6hg) x{6`:e>; NᨲUpj-E`jV;Qnv-wpеSZ 0wrS-^a$yȆS8jt d[J`M]pq+|tfȮJ..A?Qï6%z'aI 0&il$6kuЯnoX:p8xĽE2goi^mpGdG=pM=uPLHs4t`%2K5lJOxR~t$Jm=GNا_EZxV't|B]FW3y}>Y處̄' 6ŻRQK i ɕiS ұO!u{_i UFlb3pKmr,r6CDC0pߌ+~6Y+@""gԖb0tݶ;p]!+bӳ-_ܽj_.CNO/6[20Z0ժ=߀9XWƨ72PNCÂ0&NQۊzt׾3 S8U{IvB&o {O$3\z#N%a(,p:`HP&!L*#t`ǹ)x }=6=ړ$Co%&8 ከGƲ, V(he&¯S}m%LJۍ1VT|u־G_\* <ΖqzFAf՚[1"^QqP{jK5MKBN('B2?-3@`kϯPJ7QY4[twTq/iu"E-%nyҧSٌ$v`鮌w 0Fuh|!mFA&7e9ZFe*[ N.\y5{ !:c4 #2(btiNz߱#xFaBP8QteyPvRsR:kǕM[,c1G^d|oջ7J{IҖ(şHΕm } , NXWul;-B2xԪ\Oj9c];")Coނl-2/M觸2 ˃DW͛<"xpy:_!U\V_Rz{>76"E>چXk$f-CQ16w9yu *ðZMj {X~ڮ9 s`>?!Rd5V\%kg*!cF:ރ!T%uk?ǩjyh4=̄GL2f Zn dGFvǧ΃<=5!,ӔWϜ1F7p/i3l#D~N7O(TiJ-b#*T`4d 83F e'ȯx:١oZs^DSGeq=]YhE|,n5h8lzKn7N5<U.foy%M_8ȶ|14|ҍ+tK]3*V%lKqݎOţLїly^7"q'V;|rTIlwψ/ p ]sᚡ㣒1qn3&V_T*[A?!+?d橙$cM&:"I;ʕQD {|s\#Tsu k,Β1k cRmP8ՏQI6dL:_ )n]+y? vEOu"h&V={5 ̎`jG^|]Xd^Vɒ0x}oa^"MpF."Q= bYl,dJ<n6 kg{a%QM|nOJ1Hw *n !ë0|bX%s\y㏉O%^A`w@@2L͐ؒ"c[e僧$6zb(MXDEt<8H*i_y~Bo74:ʉ23 L 'ۅ&Z\d,Źo.DEHsDzlu&% F+Ira+7A™{L+F mH1iFaOgfXqNr=rHB"@,zK|qC- ]..\*~F蛈Tm)-'$G~wݙ\!vb8\]Rgj]Q19NjԶ>૒>9yD,c]{ޘEKnʅZیb& K]BsނdoJ\/>~%f6*t(cZ:7@Z$XlR_C| ^M)C7 7 G?C#yi}T dM-Q6}aYLW,*!cQ\2ύ^UrN[@G9;oL7oa|vALw]13u zuQSeFѽOI^\Xf} K^nJdӶwAv0ɒ{5ϞL'˪`uw&BHm&aXLD<סbUV,^͏iI:krGtU[<B 6~c-Ȋ츗sB\c^XhhI/d_/뢴ӓ7^ PzcjU#n0w22K[ / 6t%k{z -}e|W+{l*b ">/u^hV&8zυ Oyu7WB%Sy4sƄ#4^B[' cm7/oڥDiI9.DE:+Ae1iU:߅)=B._m[ohEoU UIZӇN iuBt$;0Βx-b( ٰE3Ȑv G5~9v%AIY-F>LFo|$ ݽ̤o@.dVёm .q=%81oa,v|D^(ZDOhTvUqR xN;Qs@qz᭨9Es ҽ-c!^ӛR,]+$n:35]ŖoHFa_?3ڄe}}|w8>DR~dJIcݗ@!3uJYCLY fct~k7b^a3n巺YM}\3'(VVG *@ރS&;L!$b#%zE6oF ,v9p]5䍸KAĻkU$#]랖aLLd:d~@I!W[*/5Y͑ᩭn.WClWY WaЩ +E# ?n{:C2Cc55SO~L&@T&ήe< tsTvǔiX L|$Uvȵ^)7 Hw+=1HtM}דHQl^J!sҾbi 9"u_yܒL7K37kkMߜɱp"#.heb9~Y\s}m=dlpNw2մ/>M_`lSMI)R[_m 㖙BTpoВ*U*5ݝShp;#8P=[{lT %_Ȏ~X3>v "B$ludLA(ˣlи#gqcH0Ә5#%FxEi0uV*Z+.+->#SO>٥}YuVu~zyd \D$u_\ɸȼ6HX,zEb²LMKEryإG& LYBLr&kD")w^E NWEN3G}D98H$F~x[?w6hfvHZ+ "lEl)U]5!d_`鈛mipsaX53ꔋsWYvrC X>eeX])[D0*/sx Hgk\M҃ުkfߌ/3G-vtCziO{U8RYoS8"uvBY"h~̓}.:&b.A=E?,tI"| "" nX3P ox1Dt9#Aк‡3f~qVLr.h-&E2VϟeV]3RXyw$H,P fm ke-V4!|PM4+ԋQׯm4zFXq^w#fӨ^< >[.F{K{I?DY0ۅR! 'JK|9 zq=r-"27M(co5;4\V`¯@s? wP园+(G.\ ՚0Ɛѱl#;_>~^ݑrsw=v-K^5a.ᗊaB*y3dp͸5LURTk3##S3T %P!FωE,;v"4"`Qgں¶ >8/4C ܶ NTȝ.0ʌLO2$=>A-ւ}Pi,S q(!GS.UE,,B~3uA,?0JL" .wTadyDVkG\`1`0=D716W_'MQhm9M-!:4lnmtƤy6-E 20:/sK@ߟ`I"Msk;3 Z;cO۸% @m': 0HBj"(Wzkt%,pUWXMip2Ɋš6s1pc/CrL@^4d[@'‰V\ q;؛; uVefuT25Ͽ !uT+z *I(.j=y9g"CIti윧:xZb$+qW7ģ-NL`a dvБ+lwOSĸR?eU$14PN]R;Fgęf\_Oɖ*Zp)Vn]ڻanaT.}FSK@Ug-B ~Q( zL@ yf3ѠH=~\<#t .:`%@ʎBf3QH ` AXI{e%Wk`7K+\GI5ϙAI>9+U+T[vzze./-vX;..%@TlzFW٫SOŲPXR [z9DN""to^ 5u)r͐ 6e4]Ǐܧ½G|P z'{QOTWP6H *Z %V{@q*W41(2/#N홋%YzC!Re-͒>_$E曜G=^iM;Zi6X|S?e;/{:ӄtʷTӪ(RcT#-𙩇` fJYmݒ ~EO&fn#je-W%tW,| oZeC/.v) m"ހѬ|7a>=0[к&/5>2Fc̹q l.: Oz9r0E5eaż12 S_Ҝ:nVJ6s2 AG <'.ojb5oB$:U˴"LK;طeR(s 7=?jQTĭ ϊshr#qйccڦ9$L{_u ܁/?o:< OSMMLғ+J ,oKs.o~ c);>@0ؘʝd=w,êڶcwL)qUVCDc͊XbnLrX94UV2ipBYSϥ%cslL݌&38?&QU:v݋ 8#&;cV}>`YwQö&$hMTLX(;ՔQS$NڥM=O Ro?2oTLEg%+b=ZVNkPVp`UN#xXlwh8h@w@eG Gk jq_u볮OeSAtnwQE `pBf4`pY:ð "fH=?)/_M0pRH,T,qq~07Lak}M)}Dx| ƃպ9f9'QU7a@C/n#kGALD9]kqop<#0NxP{BNP &xq_D 3)0/U -J4~($8/zyOfRřLZhA867J-L* k_~0*TM/Yg]]z,$m%hNΐ~-Wgڿ-L  o炫}qR#:{ >i"ryHsvYVV-ґq¢n[~v$$$s#=tsoIְ%JcySďO59)@*̦>,v.Ks]`6WUb^Eyb52Ȱp_>$rVЧUcUE9/Iyuk#9ePp>mg8 T&O$dze=isf0o&w&h!UFd5%cl6#sqXA÷yX xMϖK`*P*~)v M:s.N3f G9 q=c "BX>mmF2$ Ԡ?nuXȨdi FFSH'krTD 6kІ`d.Sp38UM!WrxfY_si6cLy-Z$#)~}:u%JzY@r(m2 7IP1֫{h4=z 0+xFn9r mh/&{Sa.ܞk*e:RG$o,wW|:WCrE跍?vz~LNӾDЙgOs{`lb;4{m\_BTa'݋Plu{vT?xͷr R@88"(='FCblcpѻirgfXb zTk uO_ bϼ1\$Bp]=<'v#lqX Hr 3c}8O_ Fyͬ{B,cawB,"f*b|? VcҀZAhYj֤::dEI-r M$ɡ+m͔+}俼iUO` D/5.0q,[@_adyYP,'t5-wxLЏ+k؉)wm6sK\ak@xJ(k`?+vV;%Fj$T>w{ޜXL$㾇Mk0$goYTG+Z-CW*wM9c!.+ *m(#mpK|*}VcR~M[g լy).Dg;˺@EϸƂO-ݡHQTeMY˗P'46mZF TyBf|NJ=ۆ'U-2qLp&*E=IáAk} ̳@ UA]FW F<٬S&OY~2RԛI bP%:әSs s#^Vڞ\nXы"s3h)ta٦CvEy>AخWE,K JKgjj^c*ƺ*0:!nٛ׷z4s#>F":ޅU|g*X+~c߹]D%͖E"+=G;; C>sF?r=9əkO!>Nc@Cݶdq`m)^]]UY;$34J7:gÅJ(@vwU:ORVL<Ӳ1sx# * L`>1 oED1$&gAm}1`ЊzG 5>W&-~`UMʑQz.(mrXĔZ\Wyjh,Ijտy`2n_v%Ŗ[ES!1|쇘:xWTdᝥzWmD7 A'ZI'q ?\@{^38 #js P&L>Z]mf%CY%]g"0nS|P_( p$W1z}!iHқ{;tjV+zIYA_ 帄{ ]"#Y>|ӕN9V-D4(n|2>zc3V̩8nJаv17G̾Gݢ}d?~Te|>+YQUP;I?JKj:E E $aET7 q}xcןHD0%NӐj7)w3/`)*^E8"ŃMN#XKY}kvXw>X Q%7pPѭR{ŠjVP ^!JV[=qz|OJ{ "|B{YemM!>ᙡ2\Cŗ9&W`:\UH,K$˞]ٔ1?JVG׹QǓ0ڟq )k42߾$&vFo˝o YY"AA$=nQpK `/Jk~Kc>U Wv1*t79Xgv[Uĵ}6D}К۱/HՀsF.7B0Itk=a|KǪBnB[ J&3dVr5i2~efjn-(s ֥c[c_ylY7DE8$t6Dmx炴=AHO H0xD=͢$4+VlƝ0"H)$V}hF`B8qOdT_25B -M7Xd;m?T>V4+o/PdX$M6Y-@h 0j,C HR)Đ,g!!j^O^jyp=ҏrxsΟt8 C@unM:湀Pz("K:Ț<st2Bnܯĩ A\Tʶ=6C}Bﺲm;?ylKOn"{:@ PRk+FbV%rl )#IiE=w5ڡ:!#wNy[Hz`Mz KbkO案"6el l lBF gpᄬ㭚)* ij:Uo-bp:0)wg}Z@ 6EA7p)߇o(_)LK K"/ktR$4TGg;fUq/C D.ysyջķ`Q#RvY9[exyl 5P ċVa,sMSR/QK Bd)`0yP8>RCw&7 1́r}4|q*+gs a 8%,˷v׊[J*tI`nz:班(#m.y ݦDc.hkǢr`C-l2z_d Dz|z M7Z¦= ީ-g,Zİλd ,`>XF&X,f"h&7n//AOm=S oUC)4)5=0߫A[X@Tp精ϡpVk=}iJׁ8iUxu;193Y 멟 ߊ'̭2( _hE&ü%D?A,ܭqJ,m4ċ ?GV (n=jMǹ[L"d`=&3#m'5*M4\g-KY(^QR:DdH j9Є KyhgQiZ4Mq5!ǫK2 j8X,l-zHSҚ &f7O桤~}as>~,@Tr>+bϪ(Pu_#cvmɀZѲs;:h;ƿ$f2Wb]{n^$PN-6WXm~Vb+E?<ϝh%AC1j.rӶki" ̉ d5Ӏ)'9j V"C1~NK}B)^O{81uG7U?Ⱦ1;K!awf J'7Bga'Ԍ}~??ib ( yr.q4Єklz)| h$} do– ^2E]&&4ٟVC-`H +SrCJ<Eyv>j=LDzfU $߃ Xh_NתQn\`ZMHy`kYXIŶn/]+&f=b#$YriT8 Zw1VP& 7HNN4W=n$eAg fGӚ Nأ<`/Y0#rH7MF +T̅.I6`F ȕ]۠,JJnԦ3Zb7KWbV.? 6$H0*W󐼽G1 Hz.@*\(^I_CDk~.jz5#  ibƚVaP݃~H!tbN` 9Zk~YD 7)k#ԭ + ~|J!ʃbBjfiG)݅]UoV4]~#J*3&jQw;PNwÏO/J5eVɭlOvxewƙ+NrY|&"-d>k<iN5ՒCO/CͶC}_TGwfPCp_z-F',\õekE68E[5 H$sJWTP9 xQTQ@+ ,NJtzXyBQQ$V/k(9f-f쓏#񢃊DRUotjͧ)нd}GO^]28PFQV=id@sѢ@f"vq㋹*"|kt_6u]?I`{5LUd/HPu͍/ej:14-pQuImU.3g>buB2W˅hJbMRM&S-#9+MJ8}Z".PL$/?{;T_':cXD&Y39Ex2.u)7$V\] 2T*IBR%1QlkǰWPHavȒ^_wwT{7ee*Iw9׽x,@bUjlR"wk1eXB:Nw@26p"\ D" s'͝k,uK`K2_lvM6 DԐ\ara]!tu2 -O:C:q61VWrഩ+ZH єpJJ qbb\ct#Sȡk6CF3C RKh7[u+&7j1IS{bRп/:z%Cn*MM"@)F+rRTf @|bQ*`sd,lL{?8޻9 (#.ZH2NtP0^Oˍ!O\R6Q֋J)WCR{?[`nײ-]E(=.&όkof"8CugهE#.fڃ̴ 8(4^?TL?`9oX3M"6TMWAcI"5TrɇD^% vij&gEA1ȷ!xd)eΛ^q |1b#!:[j@磖G;0VsoK"@u̵q8")9MHˎ z[srJ$ՆsH#hsqʅ4>rP_ӑawga;^@{ gLbO8b߽S!,>x8M<0&'/K{& Yg3b=覺a+*coz&ėݝc YrVT!=Є"(ln \!]I6%߄Jm;V];Wܕ=ѬjH Fqd\~HY@R\jzuK6)>eO;Ug/j.Xf~q+ETDVY: ")_-pvH6@kd+E6ԱƲnRh+OS,ׇZk~EMaw]2z`b܃閿Z5wX۩z?^Z٥˙SQMX$_ lKG K:,]\UF-!C̞$oHGBΝX 0i/:VXYg 6hKO"t"%s<\FK5 O C̊ܣӰ[׋sލ`R_,H.>:G;q {b .=կp{}0LJDX6eXJ9%u& /[W84@|oE{dD5T<6;m$R4GB^<Ц>b9nz,kRduMͩdH5!٤Z!W^R9هQ9nO(Gj>3@R.5*vYG;nu9ډ5U@ /88!.w;ɫk$ &Tuk?N{Qf|&hWK,pKp3a4 "Q?gAzֶuy.o:HS%}6~;0[XK\%p:j)<1A$R'p셧 5Hѯ#wTf쵡[&1 ~d=X^U6 %0kgMf*Aޛ$RNH0tKIs-q>vumr4Icoik&g$f4jƣ[E~A=&?\[YmbpCyBSb!9w%c{$u,6FӰof|oS(QkRE𘘪'(8 fI DDC-5{N6L PiMkNuN6:gR YG1oڱ2JiG Ha@Pub+ֶ/)?,Kg0Abb%2F0\p> C7Ns+ GjbEg՚D!J%~^",49F39HR)1UVvZǻgk.Q@T-Qt)wK_5iK.6Y`f ]م좡y-pY X&FvhTPBIzZ&O(B) *ۣρzo+F)(GNHk eY̙ \BkU$h|w.5R8yj=[~@nn#a]a~aŵ|g qb ^Eq a0bxƅ3-i}oO̒e152`n5:ڼ3iIllbY9pMv_a<(Oł6&Vb^ ?`dS]eǹ•;j)) VR4;0o{aPԪoi2r $+\ \ ~S(,ۂr3F 0z^1C&Br?7Jl2 {}#ڌQ/WAD j)<`:: 5FP`3RvGJ@U^k>wln F.ҹxέnd{|)ugJ)=0՜'nªlCnԡ.d/}wvf3L V#X >o1>Y:kiː=~Ⱦݰ(-gYZc416e693b3cfc9bac801afdc43c2de0a112fd3601557763c55026864eeb1fbf92ab3ec60267ee348099e4ff689781a78decffcae2870a83507b01f1e