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  j jj5L$ ]S HOL-Nominal-Examples:threads=2elapsed=547.251cpu=1017.624gc=129.332factor=1.867zXZִF! "]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,~x<$J[;yWE6Lұ6#$N* A _Ĝq;l{ !dt]7ޱlUA :YyV]c4\Lx̫9n^2Yژ!Y⟄AYFj͉8vefs"!@hA l T*b`BOJҠZ)x2dC?eiɡ tmX]^j/,5HUSHFrz>mX`=VzY{ 3T&eZ\/ָZ\E~N26ْ7n{@`KʸewJl_dǬJΎ&_Ϻ&C y7#!H,rA>}Jq1>!)JAyb5d#v|åCAC3_jm 1XF" E! 9*pe9EWU XG3{\/b(Y8DčJ_1T0_ #M_4~[M|`|kB5e݅.Z)ʶp) >nDtD Ek@µ%1R"rv;G1f/؈䢩+kWZX wxysxs0k`YGcv2fR߼E#7JKJ01fcn$gͼ;w/ @֝1`Eb)UzxsT$FdPkCB(2ICąX G6wN}2:{ ,A4JIwlLCQxts`:N&4H~Й |8oKKc ?{>T2fk[TWJ5G[ە^SlWQ*ə΄þUFn8:_NEU*57!},veܒu*9(0qKDQڣ]c~%pk ܕ>d#~2TkJoƨqIY*\|9r.y[| HG>=Ğ"/e}ɩFWkŰ+PZRJ 4NfN˜}Д1 l+WfÓ\=L@0=';S Չ9;kOh'hhN81{P|]@^^*3^?ĩŲt+法M*, ˮc*m`LJb{RS%#gu jWf $E.84*ѮG|Li1ySHܔn=vkg΅9- #0C/DKR)Ń#RPaǩ#^ؠP%=nTpĴ"ELQ WN:=`w>FT|CVKfQ9\^Э;S(3wQGy.o`I:Uũw}qgHԌ7 By!<{BȌ{9T =h_Yj0K:^\b2x#-Ӭd>bb.II*pl>]܅'F9RsD2,AdFG&"νd֌SP/wJ}M$gw ǧ( k)Sy$]R`C>1,n_:ᬃG43|HP`AvοUft\-u`@S*8{D}{ڒ/"&0/1Y[(ڎ𨼿ul cMhq^+g+e%H5ШJnvۤy*qU+&]^OMIxS6ƴl% $MP]B53[&)P=uʢ,{5.N %2AK֐oE3㑺mpc\?Y㠍 #ǎm 6RNRVt}ݑI C_s^IMḏ1XMnNq65 a[ZJ)EC@[?Lp%x8f"Wn}*AKZ7 B+qJu*ȮFq 3w zɩP[<%²q.4L\^ͪ~I/_s#*IziU O(.wJJPk|yqgN`w? VmF):p`x6"4Y?VPFtFv7%Μ?%!ڴwyaS^OC7+s}ڞd8JG k_u )6) KzA]굌BPnk-aZgL x8:LByiU7MU`] T.8 (qǬXk+%9c Fۊf˅#3[s-4Z_ޝT nߡ#ys#Nf]M =DFkA\_n yac6aW mQD6Ύ_yd|T^c/6(-Kd2ܷvGp"Tj")3;Z{*HZT^+]U{ā\CUt&nmz6^=z[HE%V}7)Yl cCl GPGјò&%Q]uĐ 9h=u*qBf(L%W2{l2@jGE/?79j3Ah7(= bPKڋZr aR6bp^._?c8^KO4+e=c EFV:EzO{ Q1X4 {~A&mDj^[ @ a?Vuy$}d'q=Jۧ7:CڇW:.(|z1?F0_ KĖtA*'ߴyR}K-YԟUnwg!.F iڦerY>n>BjucZs I!s1G[q2vݺIV@E?ar sK)bXdڻQ˜H1b3-[2=V'^hk7&=tbYXd JwHa(m%aV{R?mxdW^P)6z8 ȷ["A6&(o#j7슊RvdE|Wnx6u3ezԷX7T,p^nG%|6h )WxYcuȥXYbT3Bm&}-D!`:|ֲirB|IUQ\NtPɤ$%H;Ekxhoc}6Ӭ1HSGΏG<Py߉qs'dUBfv {s>,lfHFuJ6D:Dy{!U WS -=Ah2dZ;l bVpOw_αr("V$ Czo"Z.V-{NLSY:]噚2"ӒYtlka!S7ĬX#%CMx5}Sm!j.%BFOxn(<#uf|kOŵZݦVrm%LD9 &%gPZy0HPO]jl+[^@R"M'v=n< -1Y0fzW/DoA\.{lxřW}Ҋ mIc%\Z5="p/tG>;+䶄yF>ۑl#m>zyg0ݪLXnS ekAkEw\(Z['Bvxəm<vu{g74×;~{_iR vӊ54Dcw^>ą.Blr| 9Y,[[F9\nN@ymnF[!-s1Zi3jCTgrae'r¿z˿+;>m,*׌wOi%DI> 2)Muq-aK𕡯@jՁ}ƕ&O_d?kSw&T9GgYZ7zXZִF! b ]ŗXiɟ1ʹ l93攀Lx3 iA )$ҵҳ%9h(0vY=NVW p 3Tyϵķ՗&O*XlOba76'9,YdjN%O-隟raD-(@0j2?/uNB44pM!x#1khߒ`+1JBMAħw>)TYL,SQy1@Uov#n Q+1$GGՆ?kmr\(!F;Oq Z>Jt3XGܩ<3}:.z 7nxYUWjb75(&FǑoZ7 WG l9e t BjFub -4#b!Dp XvM"d4AGB)0JN[N:PɱwEoˡX r8Bn!ϑBB" gYZ7zXZִF! s]ŗXi%;cٛLm3(sٺ}~M;AR|V6зo+ `bw j;PHr{@Yfk{8tN"9nU@ ^.cvbD*SpaZp/*;y.v&*@օFJc Kz# Zgg Ov_&xu#IzƇueVL@}N! xQgĽ*rb=--;FŢ͆l!Rt8\%/,JAJ2+ßrA ^RSҼPdN%f&uuh?-gEɱE>( }!A~0ɻ:>$;GfdL$]`X8/q'>1 krvH~ ?`h}}S񩗻7m @A+o=Kyxh 6 ;Pxи!^-̍0Fl'(Ę'?I|KEQlЬPRMB#] 6! +ĺ@{‰ŠoЕry.R[&=V0L;hfu2k l6A3<ݟ .`)u16㮕(mZ=]GN{oҦYtҖo)j%aC1& mz'/:@<H#"ـ6O=M=}%u"b̺/qDeZM!yջ);,q.?%t{7%t#Fpd!: $7L+Ar!r @^Z WɢqjWh6rq6DQ,C2a"`9|x`"1%=[,n"őSqǀ:SvvSX& fɉޣ8%$h.6#;0:O~),u¸SB/Vq2V͒L'1hh[5v4Y("`݂!8'C j>(MѫKxoڃwWZU-_5MF|śe]HƴsrEipGt v>?]\-Ԙ9$sx, pCM4N@X}e:Nv6YC:$RY갪HjWnyIz(@v*~PGt8E=>KJ*Iϵ١~v w^vb8j+n($U~DNv, w}Z!]/ zuJ,f]/q/w^\ƄK%)AZ'Qj5&߬\7Bhp&"KY0Ny-R,|Ӄ*Q6cJg_fa2j&1WIňm*R݂7Mjv0˴=yMv6KB=3֘AXqSc]w&^O3e|Q/pp0n%eWMKhS^c@J%nA/I2s Go{< :Y&ANź25wgy C?TN-/, ;=?h(e}7f4/FM3>BÒB˸eI cb~8pstf{-2; j `>k \IL q $z*@z=5 :Bc$PӃT5&}w^VdQ|M."pPKk>-X9m=𺪡XULMKT{@A>I>2Oт3 OSQk%PJ]D"-|f4LaD)y8PS5Z_ƽFm09T3<;[;]^'Yc Az [PdB@`Oo6tZ1^ik5J~yLu.h Oл\0ךo\.tq3mM*R<#WNxlB<>BNP} ]o; i^k6ңS-0 ky'?j:cFs!P|ItaR\ -:jTJ N\45 wѧo5I2-~K{:_+^%^ Y/Ww!B)B~8R e:uh-W'_Qd) s*Ŝ2HUGH?{Zs Y1a!V%_ΥQC(00Gָ?Wt!T3Zjq^M0W) դx)#BBT{|!򔪆ӈ|x+u]&8ЩR,$^"j aq1:eIÕ[Dr; 8M5{%sykC99I{7jl4(L]4Wf0oA'ʳ ^c?b~uS̝ i*Jm]% BӸh&WulW 3y᩼ u*?,]r@ xL%&^u/!,Ԗ;bf+Y7?Ɠ?}Kxǧt@Cpm>:GdZ;wed$yB81rfĞ<ƱyN0Η'ſo#jTY*RE)D8tClOEXk{.c(+J.!XlNEV}D]k^:ّƮ&kM#.X?d UL(؄wii`ͧseL+utvۇ2~~UvZ>!T}t-Ei X=nO R;>s0)[nmQΖ%,qȗTfqƁ,>4bAT3:(>/]9yЬ 0~<([篰(DPi ~K5'VeⱝT}V|}I ŤE~9V# d5x] /cX^uPjU~8 3=s&te ]NsÇX܊OI`b2;؆)FS FƏQ1Ut0v2FG@Q7lvSC A7 Gm<&y!Gp:^F=U{]i_YNl&(uaM{#=fp$ioo6Dsiw'1E?{^rn,Oum[ <)}y]" m0̣1 Gӽbnt١Ron[7[F>-_Pj`al1(-V\zpwVYa´bL̊RmrˣTbCPHUX~'ee?cxz=zy҅Pw~=4'f4cltp؞u6c8~ R2Q&j Qk2Mx̨cW SWa  eNNB3!}G&!_` 5|mw|(GCa}T"K \CN䠙 R0c4n<Ա̧kd1kfP)| :R׀@'DCQ)28'brN_j.8z{ٍKTz'ƀ|[CMZ &n_BHa-@.QW`fP:B}äU;2ƝOMÁ{@-ƽҳ5Xܛax,ևyL6lExj14ý8|p,4utKrC{ `fT9LNJͯB?^3rrrOvsGq!C\#>=4\ HnH b 5 ̦o ϊ/1@ny[t]:YI0:`e~KB^ڤ2)l cZVd oUz{)߷UZ9d.<+T-Y uo^{.!tYKͷ{>'ZQZgKW(Puֶ뇋@ ZPr,pm6^ûeaU\޻2ToS(]u% AE\oԨ=cuv~86P\uYv\e}-KzO B*@tp_7!3Ҷ- ȷGӭ.kW~+loXu֏$6‘]DֽVaMO>FCƍ3QOb]g%|w60x"Lu X{4#jgN6r[eF%@),h*; MWַk)Pw!>nW25=97Rg>4\H jBxH|'sGXs-4GL +uȵ6Z FSc[?=N3Uu\y.k9Y6 FixMhsTK@xL#U'CArC?Oo;H ]D<CZ&kHtk.Ϗ~_G؂zwFڐs\h@ɚ6mζvXtI㋟ ui/'5G!pOu;! Obf+!vi"}by/,9&K}{fgŽ#]dȅW]-Nf5O >/At.fpasRcG+O RmV.p#̲ 4u:WB].W%: nki4ؓHF9%ClV%o2HG. LuXjnqj29/0-$Osi|[Vw&Y(3i*]/ iTo޲f18 lZ;HAUCr^jLXXoUcW4+"ƳGabp͞a <~Wss"IݳK\Y=֊BR#{^FoCdZ1j q%B/l^>Nnafh{LXEy!q_^A !vu`@mWirOv{|+]xWFy &zYO|~V!Q/(x~3:`^ΏŬqJ@ ٠z"N#EU3Uc s{7`S6._A~K~c^NՅַSMn@;Q"D@uACzܰau{-Je<+9;:-`M }^db>oNCtw}T7(:l~(Ja(-GqN RLXf<~bmAqkx ?tphəz`c&b3lm $4^gpF"K w$o,kxG-X6ځǪ4nem; y|p8},, GG/ DWm喯w#L/8esU8% S XБ1I/_Dj.]Ic,o[2y;PAա; h`uA\x*䐚dc3)Njs%@z؄n;iLN+0s>lPC7#;i9_Fi1_5Re4JG$MY_2Vv[#iYs_v{& *Bxqom3@W'~3D ;.q6p;#ٔt_>}35S7 zĢSgD:]eTMt?APJf"m&e,U[6b}j9'R3~*}K!-)?Bڕ5cof, RJtemٴd ?7ϡȖ)Ki\4մ!?ڪ{J"{`^7q/5nKlŸ.)uܠHC%-+`ѩmER.^7 !L.znnsEZ*˗2M 'mȴbf}uy'$ Z7IUEcl!5F:Ψ_2# " c爅{6)\6KYdeO -gAƕ K|=/OZOgF\\ Ʈл. Y{\ ;ʙ(+f HI-yF8|],(Aیi<>(sZ9ez_9И](409Q6ۖ`<.=+8m@d9%Usi0,֚Uໃ\*S2骯 ~:`,* Ξ5Js%O}š5{{^ piDJ_i^`/#9?S TfHM_Ɠ;zi˟gIjP$zAI[@+` UQE!z3/C@͌Qʌ% z$R4?07ķ+ң_GsKP2 |v^%yBOqqF/uEqb 4خd@FE@Xh pc$ȋDYxB=u 0NBlWL pOv=U5~#% qR ډ#2Ѫ\>e"04ߩt m@i"k YUv]Di "xM7BMO$9/ݻܳ&Q[4nN>x`폊u*oG V?Ls߅*dBRo* 7PY5:GQ>L nA(@5pd!!ZNׯ{-*nִ\kj^>kӚ<8 Ê,IU7.'ӷv*%i 2NwYC>y ZYUuV橨\aPN'컰 uɷm QSm!$x~LmpKe*? FsTo#̓SeE@;RgGZ.ryq/%$J(=훖}2$ԝFo"AXm| -tY원.qx? fP$؇y&ݹu΍-v_[7_Ml!}PPj4O^{W}5Z.8S|H_n%-akR8 G";ib4?bp还R < -ʭH_D?d䞚7cRwu%l/ T?0oQt~~TAocˎ/BbcίTgon_j Nd[,AE-pdろ7BS mHR o "I`nN"[n{?е±a&6my%hǕu[)#{KJ߳=][_~ʗX,f2B Bf/r'F %\ܩ>{s?;!14X IT|;+r5OpR :cJӻyC8HF.4ʝ$~ñBWE&#كQK1W) r]IQ {mw{H__at 6#'o˵pH4Ui78iҋwЂ]A޻z+>xxF[GѕO'- Q5M.j|g<1I謚|t~' mҞv$)9'hn'@yDz@lTݯ?Ɯ 'o>_\`Q%fId<_xW )76l-zt [[ڷ#syƠX;+MK7i٤ƨJfcHcB!'CQ`f' ,wᇞvv3Q i Oye2C^PHL)/mP$[Lsؑ?*Ђm7W$T~jv8ŒQF_kSiZ6݋E2y(EH4eJqm񍴺x&F]d}e~?4#'vzeDǹ]E>sI,XB?j2Kt$~ڝ/͉NA;'GBx`- &ca ďKzq}.%P@1o kq麟Z%2z{#uL&$ aTǙHC"}ѝ z9| ){[7=J_gˀ=%#$7cZy,cN?_I)#L lf[fo-E%.L;eAChTLHAqB#@I.B7j-pY8k`=Zw<[%~Xr-mǑ`N>V)*EVl1&2H!瘆3F969ݍ /yhon:~wYw}3K=hKwډ5!-CN@!Hs _RPo}`+ +o6 4fjFPSS5L3 CP'̘<4(|j# ,7vxh Bg2OY/ bMaB*j? ?H;V^KWc$_9d|F9(Kc:*X\s"oTFi v O/dN;WdH:B^4W?!6ƷE֡ktX@HSe:wA&($ъ,(cfe]1!(yRjܿXrS8vwC^*ǢZq݊"d͖+|_KB:lNђ\vWվPcr\͚8r6M' iq )kA?2Y;KJ' bdŤg'hm9ye0DfOYb%s.C9 TbQyHDμć@`cMymT&^X6wstZγvN` kHj<RSȦ lǦVL]wy TtoG]? f}sTc `&,}oZwrj,< W!j9P:/pL?F[CՖ-U!hjq{:fiǥbm>ݻBґlN iI7%9j!ڳv)R;e 4'oXV=;O*l\{Cp|QT/tѬX>ܞ_@nhMYz|d@K<%xsZ]evq{ʝ[:АyRWOa|̵@s-;73X-Xu_Uk 5Onl. W@f<}5I聀%FEs6,nTU9?MSM̢uGƜH+ /cxGi!|Ep[-U~ZU\ B2g Mio{J4 \D?cs%j}L\/LZi(롥 1-ڷ<ꩳiyl.n`хNypU~6ҋf[l 3BVB?rF:D۱[ɋE[51 (KرpûɎb͜Ai R }5JaRm\! j~ƙb4Xay)>?o4g#˸JXV%в-CbJ/{g%ıf-!џAsy`I``imA!/tP8W\ eyY(d.4sN@uBe#JWvM P$~͙!NT,Zcv,MpKAN xf(" F oMVп*<_kD\rŐ0@N=sBBTlV" @I:V)Fѳ qiQ\zJͣ%NIT 4;!Ґ {_Nrŗ bAkY&!:wti^Ui#2bR9/$k߿ޡRn+׻ 6ނPJvPG`FItP ޶,a`$|>1ibk:dM G(nYz+j14 *]ʝ U1%hfVJ^Cw`>RGo81ЅRM3jW(L&{ъ¥nޫ^~Ӽ sN0w 2ȟ:p>e*@_"M^ɍ;ǖ\ 1cu-.~q {5E7blxPo(d#)N1:"X{:";qAEaʩԌ.8{DR ˪iY6%{ٗZCh2ysjkW 5pz:{^Rev\fd~#X,a  {oMVO@rqIԅ'd|tE4r4j`Ļ=) R&e㗏M(ҍƲ~,Xz'Pwy!x tHϗJӽ¥x!l$>4 -aYt?`>!i|TCu*a~4x 8~-b|tq2we%uQ'c€[f+K EV$32, I몞 ˆ nF]Q= 8NLduSî7),HfÈ ?_6UHeI1vg YYG~'! Fišp<:+K&z鐻Y*0F%_ a_394& T(GF>\t"q /%o<7۴,Wz$\B"sU=J][֗NзH9DnC\P!{:ӰuXr&-4֎@._y”s_äO8op++\#Q ҁ)֤+ư~1DnL/ZNEIVzzx!цP%@E-X _5J5o&8Nf|)߀(j+{Œ(X穃͙h_ymA&\݂Ko\Oox﫹Wsi$PCO19mD;:z ƍ(m5g_jgME6p#ACvӺy˄z+ӭ M 9;6NU"we3xkLV_JeXt$-kb@'ENs}(Ԝ[}]3Heha V3u/4'nU+m?)=/{mvK˽MJ'J%麿fp,Tye?󛊵tK.3>4VA|a%#y+#t;ɟKtuBc|jx##w&uH^0r$J??7g>N!+#q~r.tS\m?6>1@c8.hsuF*UD竼*AFPƻ`9+JDq;ANMA:kPjI"I,@Z7}KدפΑ] ~(MjP:ɢGCȁ*3tr=,Jӽg!F SiڇzIfVHBٴ] yNiE{/Ѧ2-AIB]>RmNݠWH@\o[.;E鱪#10`!8h\P &g_[Ü:B.tb񖟢>Z eqF,J)Ǥ?7@R"f?#/R8ߎ`:x9ID^[' 2bpM`U/ '9@c"Ϯ[h(rrWauKlvNSOs=w wB` \w- 0; ҹ oV Lװ jt?ډ~eCl1MjM{Җ&Y?Ja)zDp!ydEW\3H1,@}؇[yUwuSguFgEc4v_S)U4D݅)a]G-ٹ:@NæBwZ k{tM=Ǐ]:ɺ;銬w6"FPd&\>@ϣǟGt*Ul~ #Nzr_( H]l%_]?|ZI+#oܰcjvHz1/wc3S9}#mUͶO:ty/ҒziH^/pJ1d2 h'k ,Ngf_{WR5Mcz|xQ f w`Ȧt[(Z i! !;˾490#1J#EjJO6ߥD;T[7l&>A e`,u]u%SAAzJ03X+׆ \q2=21g_C鞈k1`eL؏^­G\ GsYEI{nً-f' OK TanmOf[Ii8QcEH#$SAe;&+|`w UDXb3- Fևbv̢lVX+*5R 9Y?(LmCv̞tz#TFX5|ޢG.QI}[,e|W[H05%-!品C]f>D*wMO.=?CտW+R=w=۰0M;0S3elPYC_ILFQ"QAy7%dadXE6~W5Yw9bso5+Y#DM.H;Hg@ۍuYv}]y{z&!5Ol=l{1+^Z5; ȓbzRZ G-0>#)>4h-+%̽e ܜM„6k\[8O+% : t8i} ΦO"љTcoFaj4y$N^B=r67!^oSw:(Z@$!qJvxz1~k!&KJִ)lNt-k#ėP_>PtH `"B|cFcmL7]bOOԢ$kYk>U")y8|rC)WoSXoB-˪1J&\B~ 0\L_1Kd4x u1}[7*5^Q'Z4YC4^>Kxc6WͰt`>ow4R .Y!H=RG5PkgPŽ!g)!F1pP+SMіxC[E\Q/`' 3n1-ބL.5r'VCҲhKL::; w ع:P9h+WtxKF~ wq C2T~`1<\&$T [u2q=[ wHPK)ڐڼFv] 1nQ(rPt/~P{z__?p0eW{'NxAX[* 8䡉9uYwv|^(Zi9pnm%>$-َ~5Eq1)D{n*U-R݌?3 #gt2x㙆{=W8ǟ`QJlXP 9քxcߛrg`xn_JV 79qnCZi}ea` b eH/.pfsFRr.(i^Gk RFi"T6wod^;Gp0dpCƚ y#@wzNv@QB34\16;jDLy^ yLU[ ѴYZgg+w#aC,}r,$~JRgh3/ǡUA$j8Omgw|ˢ^:Z7 f:ǠD=;@#D5tǂþR}&3-l.;Cwf䴽&uSTథ!xK"0{sDݩ:;uߓ E0MbQ spyTk1&麝m,(=ԕc-t5 , s w+TtyݿSd,:\eS9sȳmYfŹ@=3~8̋s{;(B#4E7nO\d.X*~YK[Wm8[27/u$3+G ᥜi~;Ք]R> ,$ Op7!)$ Dnb|Fo]iJShkA-͙4o ?9X"Ab1 @4a-SY$\j!$7Fʝ1i.*_G dɃ?4ڈӡu5m裯jY1VL/%GB"z)Lzl?BեcW_EB5(d t֢y47 {x3/:;|Mת0oX'dN )yLR'}GрcTwz̫G5dJU5Jݑˁ5ɫEWj>0{l @Ie귝Hg5өwAj'7v bӞeM[11qEע4C.XgE 5yD 跺:g Ʈb'ܞY1{(Wd{WC<6nf-pz|n`zT(i&C2r%DY}V^l 1vd'{[f7[;F{E Uu :7bR_>ᇧy>Ln=Yk1^ WSL))tZa ;ygԍ td1ЫKHCv۝>@pW`U>?v{|e]$ w^Bq^>&+rno6h ǻH{/y^kZ'u6{7>1l6* ,ͺ+@?p!:(i ͇snB}l\{NDXȦ=~*X0%v O]k}zB@"Ҿf#nCdab&F# ƈjf-:xHoY/; Sf- L6nT޺.'TOvB^o擊c!a(ʜ=&ڒƂ#Z z~2OIoɼf.#W˪P_N9@*S  hv +@0gEƫRWmJ9DIfKրɢQ1]$Y7Ryb7nٴn ]QPIQqN'r`g]JY޿#߀kE_o@r)5=S7eK{W3a3q%״ea汻O*MG"['Gt;qPr$B=EbeH?#*6כN\,={ւ [}!q,ʛlK{}Nm5m1$ z]FՅ:T :X+2'4\uƗgd۶ mlT@krcRaȘw])"{Ncs%LOl:x3E.8ƥP>VGJ8pRRJHd-n)GVUFolQ'IL<' cyʴ0F5B6W0|# ˌbݡ^ƹ;QvZKYv7Qo_Guٴ\r1B,P𣵙IGE uEI<[k0%wL1 (K[P$K!=ǷTTǑ Wzc4!윆 X?:b͌yQ'[}[v˃qGnne5X@nO:[_ƈV~j}gRa25ͷ->K|_(b2F{B)^tSGkGu f p-O\{O沄qvJhr!As_Rm|g D-ʱ.4hp\d\4Oojij6bjDn'2s|>(3b EcY \wf]@g.Ztl=VbJ gyC?fs:G+2 -й?|҃Ӫ6Xp3j~7<kXG N*$=aZ'8*;/n1H~S}g{Pݡf N^X.&Pd>*NEBi+&bRg\'b|P{iФ' @zvQ8 y.lB}0h;iSȖvZ)SFMr%ONU1((۱߱eM=*1Ǖ~OdՓ"C9"A"^$}k{%(ذOS%1>=UJm`dWOyt/{^1:"Т8}:JAJ@@ N`!*b4 ݊DyQkӐ*}ǫq ث_$zKf&q\3O Drdi0SAf05ƹ(&:g_+-Fr ] ZլP U}bR-O<޹}>Z-iӮ,p:uPԂ}slmo\M`Wcsug{<ץ%ЃXr Oq\w~KpG3wCԭ#úknza/fS B '!D.0&[H8Cw,W;VV"jfL%GfIk(ov"{vJڄrGeWu%J66oe"34X'wv*cU$ک 91XMD@E=j( Gi#?֔~/qYŦz"`+:G⯴TZG=֢'N7p(UDι/٘# lD# f^*Қa_sk˵dVE;' K;뾋+%1 q+?&%-&N)xŃmu3[f{c=ƽ >b^nۭ>hO3cE/*nQiW7RA{4UXpŁf)o)Ey' a;en|5LQ 11:vxѴ)9\UJK\n8q4]?>%RW(ࢁ&xU8䦆R!k'hu J-\˗>s|[0(H/ O.bh݄jF{-GKK. |a%j oy7GhWբAsBɍtP\\"~L|"cD d1WgƬB6*1eAXn넌`EH5w uIiBsSqqs+q5~a23{a% QSDW񽕲-!聢󩖪ml\Y6ϴ}gaͧ2X߅#KEgwA%I2MY^S9&tXv) m^إUq8U=2cY|;o+=4ܭ¤-:)Xfc؇Pr_Bjҭ(譼D=GW/rj:hCMI{tz KtsgدA8ƨ@8ǘ m=؄q0[ºu1 \epQ*M-J͋H)$0$LgYZ649256e7413f5ce5cbd843f2c8f517a49f99a2757a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b df72d7028f69a9e33712e7298d34d8db8f70d61a