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 q%ttl ]/ FOL_Harrison:threads=4elapsed=29.336cpu=52.540gc=0.8807zXZִF! 3]ŗXiɟH)0!h]W{uF7yk.XExi&I߳P.lª*@(,~T*Don~Z`JV}z(ՅY~p*u?ˢA $Tij 0/f+&jUӾ7h k3˷%IiG[Wm({KsdԣE.z/ڍCk5NjWTM ޔ[mW׽Cn˲5HN Zhfؘ6!M̌MȉZ}^d.D},K|Y [=p%% s?2a#TzY2`L&'t(ԮP8v(*s^M)ɉ8w`|?~Eɪl㪿rwc34c\Mk %՚v#<0Dݫdʌ5¹*@r2PEsSJb@QcH) !`|7K FiDcjn@OrHP"tXZLH]l^`UYYPts06 ?mtlzˠt oGT3fV9}` %]>erߎID&ʓvnicdh2>( mUNsaj*cͼs Ų9“kox)e T8Ykq(\ˡU 0>3{5K$WyC;&ݴ˕o:<] ک $sMvgYZ0%?+ tFOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export1.ML7zXZִF! +]9 ! kH#V-ǟXy'dծYI 10*L@c"ᔬnm/dgɮ`t-rW(>:wK=KsG!|)&߳Ʒѕš!lu0Ԅ՞ǜ1urK]+c뾰of{~`[/R$_FW.4SHx!ؖxt!Ya]3u⊿cfT@6=(sڢP-71mZ!Ő(`C(煲&I0g\b:e14)Sy 6~]{ơF:f]Lٕ勋st4CN sԆ'Oa2-+p()_~W>jΊëE@]Go9a S*sG J!c9@'Zl(ح$YSǃ>N<+ Û vUzx AvI*=JT>EePK ,o1D/O4%$-hBSǰ׈DX Pc =ρ;NZ"(MaJRt#8%K6PyKIOZmZJi߶ lH5SߛX_7?.&\[TӚX!I ܀]jyd(K\pVU oJ mǰ  aJT,#98ɽ 8[x-~JxQeZu 1j>PU"d j x#U}@G64\W|(]Xuŕg@69*Y˖ظZrjJ&Kbݱ{<>b!BQG⚁UD̞=D8E/J noT |/ ^& 8*憄 $fLDbcw#AM/I`N'нc=PE +W_ kxW* J?wDC:ʲׇ5 Xob wP7g5Ru8tOfM3ambhDŽ|דM#_jH2#-O!n8^~hkgIx'.w,A$/̭u!IqbӍrbrpq}1 IFlbF9sPF9ӟ_DE1i%_y?~-jj=r/8&G?%nX`gqQy0}^:{Gk -<ARCBZp8JW|E0F6ʮR$Y eE:%2V?jH%PpҥW *z1 s`f@Yd(@7_DI W`IqodUWE|-g)1b'>ߖ2q)RCyu.YO{W*qufrT߁]1VĬ\1)"Ӄ1*)0mY/MOdmK!a*z[>;ab:`;wA9Rj %&l# MCZ:AYB}0 yrm|4+A6Cf881X'z~Bq =}5Gy<*u:pcoQ0BP2D 00 <aVMַ>d 4m^ "!?x}YyKAT(0T@퍩S, /GW.<4rUǚUf:g.4&`8z:N:jnyc7!4%z%0m`DPVNE`_4W%/ag P7%?%FOL_HarrisonFOL_Harrison.FOL_Harrisondocument.tex:%?+FOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export3.ML:%?+FOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export2.ML9%?+ FOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export1.ML NN|%?+ FOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export2.ML7zXZִF! a]9 ! kH#V-ǟXy'dH$.q5τJ/bLƒI={I)au1S[PMR5a|B"WsG@(OG[?}©i:d\_&ak'ir}??6\ \eex=s%o%=亸{<ۂ596e }nEQ"9{M+ oL[(b'V), ޞE"PCHâW#1qHj8y\.x %jw=lʫx7`Ҵh[qt}u{.7FWK"WГ ldq~/{&Xu5v˅#mu\yh41jƎЁ,4ܠyz} \OTHR'`S"%6WnsDstkud%"o1GpfPa6R˴O#/Fw'kva1C(&SP3ǵćѼ3`!.uA05; fdŞۭ/dsv CV0w猨'mkܣd'R0_g!bO> [=p%% s?2a#TzY2`L&'t(ԮP8v(*s^M)ɉ8w`|?~Eɪl㪿rwc34c\Mk %՚v#<0Dݫdʌ5¹*@r2PEsSJb@QcH) !`|7K FiDcjn@OrHP"tXZLH]l^`UYYPts06 ?mtlzˠt oGT3fV9}` %]>erߎID&ʓvnicdh2>( mUNsaj*cͼs Ų9“kox)e T8Ykq(\ˡU 0>3{5K$WyC;&ݴ˕o:<] ک $sMvgYZ0%?+ tFOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export1.ML7zXZִF! +]9 ! kH#V-ǟXy'dծYI 10*L@c"ᔬnm/dgɮ`t-rW(>:wK=KsG!|)&߳Ʒѕš!lu0Ԅ՞ǜ1urK]+c뾰of{~`[/R$_FW.4SHx!ؖxt!Ya]3u⊿cfT@6=(sڢP-71mZ!Ő(`C(煲&I0g\b:e14)Sy 6~]{ơF:f]Lٕ勋st4CN sԆ'Oa2-+p()_~W>jΊëE@]Go9a S*sG J!c9@'Zl(ح$YSǃ>N<+ Û vUzx AvI*=JT>EePK ,o1D/O4%$-hBSǰ׈DX Pc =ρ;NZ"(MaJRt#8%K6PyKIOZmZJi߶ lH5SߛX_7?.&\[TӚX!I ܀]jyd(K\pVU oJ mǰ  aJT,#98ɽ 8[x-~JxQeZu 1j>PU"d j x#U}@G64\W|(]Xuŕg@69*Y˖ظZrjJ&Kbݱ{<>b!BQG⚁UD̞=D8E/J noT |/ ^& 8*憄 $fLDbcw#AM/I`N'нc=PE +W_ kxW* J?wDC:ʲׇ5 Xob wP7g5Ru8tOfM3ambhDŽ|דM#_jH2#-O!n8^~hkgIx'.w,A$/̭u!IqbӍrbrpq}1 IFlbF9sPF9ӟ_DE1i%_y?~-jj=r/8&G?%nX`gqQy0}^:{Gk -<ARCBZp8JW|E0F6ʮR$Y eE:%2V?jH%PpҥW *z1 s`f@Yd(@7_DI W`IqodUWE|-g)1b'>ߖ2q)RCyu.YO{W*qufrT߁]1VĬ\1)"Ӄ1*)0mY/MOdmK!a*z[>;ab:`;wA9Rj %&l# MCZ:AYB}0 yrm|4+A6Cf881X'z~Bq =}5Gy<*u:pcoQ0BP2D 00 <aVMַ>d 4m^ "!?x}YyKAT(0T@퍩S, /GW.<4rUǚUf:g.4&`8z:N:jnyc7!4%z%0m`DPVNE`_4W%/agYZ  %?% $FOL_HarrisonFOL_Harrison.FOL_Harrisondocument.tex7zXZִF!  ]A-MՋhvG"uIBm5^LsyrcvIxst?{ _"7 xhsϊqe2e.Z|R3J ?LBxճC֞L8ӅHڻVב85R\RqŅu QlNK\\p+ 9*vf6(K=ƤICTIN`b-TgrgnVߙ,nvK216-+U<*z~1lZo >.$`cV>\4xnN"QVm"#/}Ĵ+#s sQj>6AOQ dIY 6g(@FX4*?AݔA_#f:BO J]ߌH}F5Y r;ТlNrp$I;ʨIhz\M6e-4 k(`DzyAdHn+ep'x" J(͆/kz [JpB}&{:]5 D`T|4@F{6[/˞|t?}ʵ:Dp)]=#;~ |:|HO :M%Eլ M46=8CyI©E:& hJ@~[ф#]-)+JbnZyTgHWx׸ 3!M'dcSnZ=KJOsd!A၃8-[gL6kpp[P#(ϧ eBZXAOkµ,5_˟jEBHc.Wٞ#}bQl#к ܦ'@r͡I/?ºZQbf~cܮK_6^剢9Z0Y{ ɼh֒Hkh,_PR% ф9KTWz?)~c쨂T*b!T=:MČ& ܐH Rҭq@l 9y|Z>oqgL)iڲ=1o"iao|Ny <"Tc!0%?+ tFOL_HarrisonFOL_Harrison.FOL_Harrisoncode/export3.ML7zXZִF! +]9 ! kH#V-ǟXy'dծYI 10*L@c"ᔬnm/dgɮ`t-rW(>:wK=KsG!|)&߳Ʒѕš!lu0Ԅ՞ǜ1urK]+c뾰of{~`[/R$_FW.4SHx!ؖxt!Ya]3u⊿cfT@6=(sڢP-71mZ!Ő(`C(煲&I0g\b:e14)Sy 6~]{ơF:f]Lٕ勋st4CN sԆ'Oa2-+p()_~W>jΊëE@]Go9a S*sG J!c9@'Zl(ح$YSǃ>N<+ Û vUzx AvI*=JT>EePK ,o1D/O4%$-hBSǰ׈DX Pc =ρ;NZ"(MaJRt#8%K6PyKIOZmZJi߶ lH5SߛX_7?.&\[TӚX!I ܀]jyd(K\pVU oJ mǰ  aJT,#98ɽ 8[x-~JxQeZu 1j>PU"d j x#U}@G64\W|(]Xuŕg@69*Y˖ظZrjJ&Kbݱ{<>b!BQG⚁UD̞=D8E/J noT |/ ^& 8*憄 $fLDbcw#AM/I`N'нc=PE +W_ kxW* J?wDC:ʲׇ5 Xob wP7g5Ru8tOfM3ambhDŽ|דM#_jH2#-O!n8^~hkgIx'.w,A$/̭u!IqbӍrbrpq}1 IFlbF9sPF9ӟ_DE1i%_y?~-jj=r/8&G?%nX`gqQy0}^:{Gk -<ARCBZp8JW|E0F6ʮR$Y eE:%2V?jH%PpҥW *z1 s`f@Yd(@7_DI W`IqodUWE|-g)1b'>ߖ2q)RCyu.YO{W*qufrT߁]1VĬ\1)"Ӄ1*)0mY/MOdmK!a*z[>;ab:`;wA9Rj %&l# MCZ:AYB}0 yrm|4+A6Cf881X'z~Bq =}5Gy<*u:pcoQ0BP2D 00 <aVMַ>d 4m^ "!?x}YyKAT(0T@퍩S, /GW.<4rUǚUf:g.4&`8z:N:jnyc7!4%z%0m`DPVNE`_4W%/agYZ $>H P;𐖕z}7g|7v's_O7? ? ,g\5[yǴʰߍRA1c1wϤMgp=aĘ,"l@eV^(Arviͼ#NDn>-3`Q6<&cd vp;ABB~LnO~ёP܏Ao~,Ӂ㯧J KbyGd1 #i gmf;[gX|긲}Lx*]?d>UɃUW.6٩Dh"2Ή5Tfץڣ$ivfW̆~:.M>'ƢgS~q 50Trw 's5n`ocd9TgW>0 NN8:Ux=׮Oöh{D5r!iyUi+P׬] yۯGxI\Xρ 7KT\''9~i4F;~3pe z}y(rwNV/ꅋ9`U!w5t1O!N N)$tĹ7^2R5%wI!0R^b7G ATܤrPCr~:)pTog 3)$QaB ~^t  t.qS릌7<jM5>U"}Q4(e_٩%4Jt TWcy0!˜ͤ_6p9e_0O/X !mRcC}mD>`k˨̡]cTgNjݢ&3֎Vi2]Pzk3at)vvy|E" "v*m璬t:GXOz3Љopun7mt<%ea;h5ҧ34*6Ao ]I~APy&/",OBF>&"xS1nj&IIšv9?_uYa [޹l&u#@boF1p|NOy竗Z ]=0aКנcW8ٚ5*wXYI5 5鉾Bg)8esIB '%> UxEh!d1A`}=nne<` _#8zo :AWuG[3a5 Tbeh4>,[dɗ'!Fpu)BFa2EQNw2jclŊ}m>(Y˸KTuӟVhf(WQ, z~kա'Fh'h8+~pa,{=-n>G, ={=bf%F`'B<4/U }/%< "5lW,ٛclIqQ4ՐޓEm.$଍x]4Lx:r}drv'rA NpqGnt`--2a4pc5"3j(tUE M&^s ySKiKυ~|Á=#:`,joRbΏGK "г:mԄ 5(w?ē;cz~MbwO%4 A4 \FmQe4Q7C4&(>Je6"(cY蛤J."FL3]Pd8.Z~t 0e/ چYW8`&5 *;K桜~E/+O- f=ٕSyD.:z'{ڷDIqByLSYE{}dU82ȠV( "R' u7 Ra-m 5. =/>,h)ǤÔ +Qw䡸n-3{S8?e3ƭ?cq6Hb F 0, 3D5;vIKi%J1.J_1><"8F'#%53<,pTT$LVHDN>O=Gkk0`5MY%I|>WR8Ă-bV*kt}7DkpDpg&p2 Nm 7N.KSKK#UH&@O;+{m^$y%at?F 6..6QX/V&=`B `3wK/~fɋCOK˕* y11[熥Yy 3DeKS7V'7'an> ՜bLYO'ؠ 5 {'˥WĨ.U4}N6H^,] oT!Uv0ML =DÐ߫Ckdm,ԙpy:)KXT42\.nI0ۋw!eM{5-㋃nwN7n= 2ȗ^-@z'm?FU<,ݔvs/=9 s.tJk_up*쵙6#|S125/ktCXpOBVTcrj&Xz.9IyL☟7qR K6z]|E-,AyGy]  p<ױ" oJaIAB!,"hŢ&O U32e=\,b+,lqLfp3YGA(_<С{Kӈ`!YDzx hmXTޣ`;V!GC`%,k"˾"G3 |MfC,R*dBsgn:Tq,ELO>K%;4{ʵx_Gq@{NY5#n'!VcFmOF+h4' ;5,)mb9ﰗKbjDWyHV&vYrft=wN U逎VjfR>- ޖ~j.oNVB鏄 t"PgGLT?oq ; J44F*,sYH.k+d(,(i\^%Yt2:ʚZAzmcsZi} kH+'Z[431lyvX"’z{+*M0WVڡQy!-J[>x`/;Ԫ\#}dȥy+%A:AkEը5lDLrd փ~;rQ >-HPUnH-B6J鹱 Іm@Rŗ}bHA{šccHTME_u~P|c?l$8x2RE$r^6 S<,#ލDo6R1ΕS1m)/f[/B HM5ۦŔKrBZ gw뻟$b#Jv!3"zznj?Z:*bC@Zjht6*ښH N5^H77ah{uYxW=Ynxr)FЉ#d߼5Lֵ޴<#Z,&q 6E|PWcȅ0LuH)'Hlb:.HI~ ?G,LJ;S*籨G~/^bŃ֟Ƥx/g>B*y֌^}T~kf? g4ݖg/%5%rUcL$?cnjtQ۷ϊyZB|߼NGՖRۂi!h4$&?0S/*v`^ NT+I}#-MQB#z 5g\Y}M:=>nlYh=5WƲ~zm}8c36km"q['h۪He5\bWtu4̱#? %>M>YPDܙ¶p)L)Q@܇S,#eQY3- ?IavВl`cۣM_L0+MF7},=U#N̐rs;=4P w\+=ٯ-?*eD"1UQ%7 DņU'BM.smӭShZ}c'0x eMf A7 m D5_Ĺ~f51'be'CtKZ&'C;u VVU9k)s({b6t+Ei33E|g׎xM.d[TrD@Oc_)PE$S2d $%4t+wϜض$1nM"Bj(օT& 4cd`,U(>xL~wl(H6h"\7 _%l}%" keH 2җbcVj"@Y:r(p/(U0_ EdHqysI-SVVXdf;CXI5X&99{敝|P ZY{;vA<ɔ*vLru >[ A?52UE82QIYζrIk0MMAV%=_EMPqW7$~G h{x@MЪ~F1yy[#&_b$dIA^'_@l;\䪅X?&@Y+_f'L\.1@NޙvP/M2xe7WA,%=F)RZGeNj(DgJ (ybkP StP8?Fܲu{O|8ˎ։aEw|Rid%/?{4-BՉ6~^koϥotcݜ9[B\bBvr=eAfgdMgSBE*\wѸ} rգ7[ om8DG8MrEljvI_ ?{W ObyG'R_ɾ)(iC YÆ7onOP!L#љlt63R̼?OX.kGu*P2!F: +^VDV+hlA#$F[Y08{6UG'UEV~yJ)mFqʵ(j!w,~)12mq\o V`it9W4`p{en4_(UEy|ӕ2L}wǚJԐegxsG5g$ YC_+x?aj򧴮eƌ-15#k|-[H^>/7%Xhgm"د˜mQ) #TChb#I5N89Jnv=Iu'}Ϣph1`#N_m<;&2Cq驢m#Ŧ.BPJIco!F8 TUTtσr!J%(prEx @ _mYشCjȁyZG,g3$e jEiwУ0k\cBQ(],Ztq('TS]#t۩'z{x]wuɈ6ZWX<ρn{m ׍u_m{)3y6u߯ J-O% ZXJ_ Y#{3wsdGվa %EKBr[Zf֟oУqgF1L5:%}[Lkbcmޣև.DRll/~aC$|,n"b}1sM.4TӣLܝ 9CI馚؍n)Z XLNu7\ǵ3{jj3N'8=O2P4JX(RZ!J3:ocw8#`OU5C @#pٍLq!':<ōW^,k:N$Y]+ NzD. G] p1ŮvV៌rdGT,zNKǍ'd7B^쎵Ӭ`u$ZlmTR /E_ *xTg#܎.z(!1GKu P*ue"36Nqƞ͋7 2 _痀DzCpشz4~hd5L$SbpƎ6 (rxZ&h̺o[7%ڡ@}5bɐlDvG8Aܗ,QUT4b}͑xWD\=>>_2 ZC76y+f6+ܰ^M^ݐJ5lBTeV! OdN.ɋɔ6I"{e&l 6ǹ֣ZW $&Odm \DJoKR6M:@vYu%>gEBZG桺ֱNN?yZkREƯ93\;q$ +h0Rk Q =C  Ւ"}kgy*j/o4I٠oTŞe*|H@\;^橡?Da]ȇyS?(@,C0N}J MjP_NSpK3e᳇}}: M][f=ZTw04޲`(rM,9 7ɰW7% t*✧mbOq <*T=鍠AbĹ4-@|Z\0) 0Y>@b¶Z ?tV:*VK>#*YHdGv Y-ر~[-Ŕu)ٺl$4؏H5ϓRF!*TRG{$96IeD _ۂ!xaaYu wʏݥ)<6q*HQn Jӕhf0v)”GL5빩,0?-N4oYtT>GO2R+IFnO; .{yb Ix @3gEte}݅-m|x=r+78>׏Hecը lA9.`3 1FϦ$9 bh1[mP4̌uKV3? );gɞ] = uQGnACTW4(zrRz}RթhǶ]UUΝaQ sXYҨfCy*3Y6[Q =u>,blӗ9Yqf3 ryGCOÀ b CRg$)~d½M ~>s |s6B&mY+:cewW&WNbmj{9A!P#`pKG^K1:L]PSn=0TW'_V񻈆zድ8i$v֗2|5_ɝ(t~aHU&"r':Z,Dl`9Г|f= -n2 q;qr+x(KnzsB# ]꪿D[ )S̮ȷ#(vcuo[G= ٬ }sÀR!f dDzF~'mR^Z$m=.NVY\MIc©?{ͳC=h+ +˔ZI_Њ۶ {D̊ے3.7ݝݖUDdES^Mk+%cCt܄sp(LvuC1=!5qoxu6PYFu) hQ:~@yt3e) Z6z()2Q2jREt{ Ȱ҃-GJ-IXFbREi X.?;Q"Z[a0Y%>5IXb[8\[ok 5tgcy:)-f_jIbUiM,qEAe@hA6`Zs(c֥m"'KߖzGwwx,j#$c] ~3&:xڭ)L4WU=V!JegP-hqEb3Ň{L|d_x`-YC_sE6>}$ЛA{ĤbP$ bkbqiK!$+Ai]\# x~/#g?:TKlcyXS"}'#Lɾ\0+  ׽UlfMǪFdrO+Ssb7H}<7)N8߇&!WJEJCAmQ Mx3ػސrEnDpzeI0>yeĒHFi&V Ʒdrw|Yh-[rMO RKPQe}[Ȁgp5W7UV%Hw轙xjdCt{-sn/IՆH8{GORF6xC5nl+ѹx.kEPB"~a<gQ|_'6+tty(F0{8Lq*MW鯝v:c`}xE H'wZ5)V7OTE;59\Հ p|Vg&(glKK8S͑ERmnŴɾv rZMLQ(j̶ rk.Fg%O?Hs#Co_]ߴ]j" '-0?JE=VHg]? °ׄsD<'>i#Y|o-0^a \4Ń]uͅࡃgcÜ)ΨP!Swu9d==I63x"Xr'j\aWJ="nCiDC͋ğ"F t[ȝ,uw"^L=}ɮR,u5 `z;ˏ5l)?埪݇'7b5< ֪nL EniUX=+pGMjƌ6 ߭ߚlw̰LKGd _Fdn _d3*jl0 c`(U50IǞ:.5JX|!LO WCL|2yFI0<4e#QCz!@@c #$4^6ME)7/!0D ?kf\at+sDړ?{k]Eа3򱇇aW?2su[Ze;iݛY}E=R@g)|D]wn\^l#TwBx]ʯa[B4;&cv_ݤ$SP%d(@"s*8N)u‷U@wE] R+}0\?,ts'*P'1#b[KzZ(4vt]b-Clh`۰h9mے7໸T_2qkขJsqVvy7i>Au,FBS ^\QU!nD嬗PY^=ʞ]Ix)cp,-J߆37%X8q" D^*( їXaZA@eձL)`tw2KcOY޲UMhRnru߫PT1'ҡM 3aO>x#HʼOTT~32&i*{y+]Yu L cP}A6k6D/ԤpIYng c1Cnl|hYY|@FyVT-RoKG蕯lg =_$&K*ǩ4qf4/g-ܸIj.؍h8eF\n* ^1x{Zbu#mZ fEf=vE&uٮ˄aV<'LWi}`Io%h ֹ)&"F+9ʜٳz)5F?kp5VI*)!];j$ =[/ E"39cn@9*3LN*'nRk<T҉21W`-L~ >S}Zʀ#UMEn/PhD71SǒZ+mQ+|Ēj~בzՂZ3,дLI4f 7ܿVTtDE9iE3B}Ee/h׳S;$'بe ֯wDrYe(RYVױui3s~{&ޞ[˸$afC.<ָ2[/ytFl[4aImϵљ/_3{uF )@8._)ֽq-I y: S?w8t={du*c0gB P#Bis‘u"`Zq#+y~[Fiͫu⽩F2GAy;̗e7k"z KTp5jh{(=~`Đpg+ԉ@iN֤҉ @Knzֻp'W5a MNAفX 6[躬@ ;cR=;ѓ wCQ:h>b׮U /O$R L8s;;94Ax3*> 9="\s0^$_(Lj+9UðP #˕ʱzB~[&upӢ(5N(yVz51vyųw<+P>s&_"P{Ui÷Ù|LlKLdlMgҲ AŞ+=%6R{ 6aC|닋$4I7ڧ \VdlJ{Ll(8 0uaN)K&:{j)(!@gh/oƞEt;w };9/]*%sݢ~!)/'qԙ$d)V0H}ϷÊd*pGuIG3}?G7"MjED0VX)z`![:qAL jOHaF{Cc )0vNaw"c햆1CYc'c8(KYyan9BX'z=uÒK{GaqZ[4ro;@4*P>eED9sֺv𤣡٤$}`@t0k{=恌D-GTLixix~v>*<=_&.ɔRoyY;C_a<o __on];0U;̶字NtEXEвk/T.P am$=bKbГ@!t˶8MΙ+Ts]^OS\F[ߋ D1c Ј(NIQ_F*lp[ 2@ǯx3Cӣ! '(M A82=@CFNg67|GOWޔm'nCۖNU, }u>9eXSt?:}dQjoaJ ES):=pX-~u(g;(ˍH:xs#,iT->/6[`oXd>B l+` O^5䌢*Q4~~RrF,G{O ah SF[39 K_ZٕܢZ̖wqJB!<\GH-EZ4*C㽗8%:#Dml5(9K;K*(8 >4'b 1ATa wBG7;xfhqOL%.舉 ˰!!w/hܐ"уL֗gǣD"I[_J&!UDV{(ࡕ&zGZ?4jy/`B3])03#f>iXISA{nNou\~5RmTo]մPNAp_%IP`^nʝ}Ճ#2 0!aaIoh}9*|ɂ+~uj|AGV7YBgLTEylFaC%v'n]p3nkhnh%]lբw =i:55}sĹpQ~RWzNn)- Uū㌉ĉO7Dx&#XZuOART,D,rA2s/=[Ρ(602m $k| ;UT]pa~X yj{Gq]Z3|To{$|ዶr?Ve=|7|8St{/b_q_=K_n@b ?ldoC1cbGԶmt w,4+[VR0[CTo3]c1\B&SxZ6z1׀$v殃P|?s]Tw(itݤ3. z1~<?ӧ8\$%+ýdja' JXӤvͻ, ,@%HrM%V?bg&U2 LtWGa4yY|>2Oe׉ݽ 6EW R857r&c-U W m GaFehL[Avf(˴+ h^.}c"wB[E^J(*Fpٺ+^CjL 1t[[@ޯ~d6ר|]M$0*4ۓuh53V5XΑy)rP*gCS'P~2 MAh7'&8@SS؋qVnFWt ,J%sv@ڸs/D>%j*ӏ E+’ ' Q˂ `y1[b/anٳ*(&Y!̶A Y0_y8׷>1Ҥ;X5޺CV?8D_e+\?B7)9UTd 5sU 4(EMޮ+V V;ɇ푰aM,5%{TaxXG"U@|fer EOW0|~j7~[v ̂!fx4CP3\:'#g.!&4~;/W86a?.i<+]n q`*qBfv+XZ~WBiZI N2IX( ^:_2'NTRnӕ1-ٞvV|;8G(6fE\| KT+Q8nXS ) Ě04:1d2&$|"!()p7F fY'4}mƯWP,LXd|H Ԫ|<-A+"hw:ZΧnve_NagZ^S V}㭩0Am3LCIib-՝޴|p.݁۲A>LA;[= r}'a`Q~_w^$N g"QITOzeDWV;L'+V`[l NU!%0ڧ)x+rG6P@8R7A*0洕R Z$j sU5'L*i*Ęh6dmT>ă8^B?Z@QgyBG#4͌1põ1gR :t-,@ xy{ ?Eb`GC0v,{ga6jU #LqvuWҶk k8P55/8{Dm2" UCd΁,iсJΈ6no#-tpo1‹ʙSAO)!#C#ᑨb>m/z+ZM޺BԋBM$rrΊ؟duy:'0d"ho}֋ԽF_n-ޅ"WkIl9.đ͜5cN5rbTsfBl5->؅-SЋV9Ff` "3ED!8̚N&2iOUʴGqh[ܚUۘaѓ,N.~ֳ7Fꠦ5ī O6ۢzAT&?M(9 p B~bB4EzsYH=o7!?pͳYG8iy6K25kBRKc^Y'A\Mq@ll,u͇LW".*Ё/?lHk 6tlArD68# -c^+(jM?ve`kШzi_X/ ߏ* ӜDwRz墛C:!z'~p$Lu6]gT+zv33},&pD? QiTzy*I.A2 qu:TLHrҐb]ϸT@n[qRA=gh l}X#[ضr5TZoI_EFWFyYe9W4E r‘c2¶7ߠ~fHıC;1f@87d^;rvY#û16-K&Oۗ%2tpK^{Ð?@Pjc(6>d#`ܪ믬=!jس2_oP @F/-kk¦CHOJ;T+k͢;Y?z=?s ]iX_vU]TN^!]&9~apPuk8@Ȝ]f]~SO87^;_]r կf HM7dŋ5'7v 9ZD8-[5 { z`IanN^:-MNƧ4=]L)/.0}ԓ y SQZV g`_c6uZXE\dER: f1c![[;f28uζ4Oʠx`͊XH7PjJՏ׵\S)2E#8"ɨ$$&Y܆@hL PT}jC(KEᒋn~;cMކjMSwKx٧ѵ^{s_UiL/r)x6[to- Q0G%?s"@i&&H41Y (GB/:ΊgkJfEGG䖫xBֲW3`ek%!qJv11Cm%,g)2O$HOy4VUL8d;:CX+7a7ҐW:iTOv}t 3h-z QSuVAxD/۷RdzKogބ/L.]sϐ!,gV{4NSD <3$aPgdoOس.M'muGv<d:h{3''pk+ڴl[ 0xCPk0"TN^Pu3~s E 0g&M,Hu]ʀnݱGG!˭t۟m ie;R-i٭ե]QUAcު֍6<a !N:M5ҷN 5SN %QwP"Đ}Ϻ$kŭLq4M4ٳ{ONPn8b8E *nGWz"r^GXdM[В~WBZ=t d B5Sb3U֨:Z0VԥZx%PU+C&7E%(M,/Eubh驙5PQ{p^`Yy2Ұ|,vJȌIQRLsPrUh+=Bo\r[P~߿E A`a8Ob@!5p(+ ϩOź4D-y h;{IykבJgVrf4"_GX}< V~+/<Zu̦BIx4]9} v +U` |AP2Ԅle2Ì\tQ "B.<~)LKR?UF\EHblCeZjٳO&zX0!^y]Y[L+^}7gVHW !,|}&\(;W[|8ɪ Һ\S- ›H Ɏn$87]-&K)syaLp UKoL!?1g蕍Y5nY6PwHj>1<_hءΗ *lU2[yng2<ԧOs!kO](I_6=)>"\ހ| Ei)(8϶ 0_udc<:t0Y5G GfjvJ(aAݣ[f:m'ߐ/7Ux̰ Maޠcb\Q-֯& Yc"GAk 3)֍$l)6d<Ѿ 2JCtv컝쾃`ЎQިYFܷqtHMt\ݸ]Pr^{ 5b tRzD*3ǩ:<5MKnD|{>·:c(@"B 7ŕ/:@X+IMTkJqMd^|!RIy  >PcfF ߰se" t%غRo\0&NM9yR6\K 6RjڠfE]$!41C6fp`0vK N(8Qګ`8'!'T-Ϟ4;ث<_o_I34z?AA٢~U1_ZANq zia mݟaT*0rih,%6Ly) <DBqI8d[fR@!Gkv:5D2B{`=\~|NՍ9(D:KyM1jbPga s8f}r1Ų$l jjxTs|hR8x"c7HTmn 8zfCUI-HؓmocyP`og0ddcђJ1j%~"lp8mEx#4ʕ ҿOava-;ߺx z q2i(KP7(b%$ޘ) +Qq:i1DCR|aXK~=2-uȥ8Pt3Bž16%X~wE5 %թj=%cxuեY 7/U\Qϱc2ӿJᒵ5 RH9ateaxJ 4Zw@;rJK:mAw34X޴9h<Fp:u2[rO!k숍*h`GgCJOP<>瞆@8M.2rmJ+p[+q8 ڞ;Ϲ%YT]ɅMrͻzתߊ95%PzOq]؄UwVÙ1&jؗ"bRR\m0 Iö6 F6\ qm3b7Ya.fF&KD}&YNstpFoS]|#%Ti*%#XuG\@xs>D~z_hZDF5{KцPE@%b:8ϙuJaPSL=BsauҜu{{_6:"R5W͈#uG05;r1W ci_IڶV&z`  ρWAH6AT<ۓ`}pL0i* D @n-ԇxzU7.JV/m^ZRMG]4PVRkSMU8+8wqH V=i_ߌw@h5n0 ĄO"ӂa"?37o͊&q&[WKYZ gn% åoK Q9DY雇 ifǂ :dY_ nM']~~11 TαVxQA !< Ļ ml],'UBΦfT'T)>nϑ_d,ht_UlLiצq9 +_ O+20/܇EPR(SSo1YBE-3w2ٷ'2NY~\ \uNG.4#,Y8si$L(ĚP/IvvѨP;ȋD~6soAyKIfgL;b:{9p9}1iӥқ.#ke I@RAZ;>&DNɕ2.io6OqI5^1{ fz;}d{z[8=/)NpszmmL6݇NĹT&x{gCl}b#29rLɡ8sN">i+8,ʡC*{ܣ3스e{A\ YҹpIj /6R^DWhԨJAfr ZU7M~}-, Qp r?`5.ub~c(1n}'".tUvM* @>igkuSz1 NfM|LߏE0@vj|,O VS0Vo[KPg }*pDIQT*PJk=0 ?0Fwja0顎['p‰\ҫŲg ޸3G AGDnG9 m]nv tۯe!7y :ǿD~;Rp9u޻aFQ5˓fJ}3o~ !GI4\#d?XKߡnn +i"ޙz;8]ni,o* c^`GOYQ[:>t[(>M#RynC9G%Z[J5Lä~;3MXR˹3m_#mv \{ᖎ!_C(I>NۢK!/V{켨dIh9/cC cΥ?Nd*,xp}OҮ>$8++^yfe_nȵVE v4|1,JHE4 د|d-݊pۃ,3|޿+;NYY@\Sv,C}Y|U&{$LY 䝽?A4B7l} LaX@O,_8Y 2tK] ,AvS6C+u>\僧}օ&(V#kٝHE$bkCm)v1ghÜth >d:Wclzvc:K 5K Ϋ^Ȩ67!M1T\;tnmثҧk~o pOazzNEym>E3!I/*]6Sj2?z9mzІ<$z2``(>:t/d$zkYDX3vtXjRKNXE^E3h zz<&'gʨ@}Z0eyE@e͈#Aά>\>*1xcb@<{( ҼhPʳ|nkνDi8\u!yڊ"F USqliIU-fyk!F#&Vh 3):2DcsE7l;*;P҅;֜q}@F9Σ}h _Kؚ}0S\g *SJiwT8a\effY^Q>7(R~R~iG&ֵF*E cj&?-4[X RnkP0$UMxEtѓHtE-a| LER3\G-16WnsD+ "Oon,h~<\ށآܵG3 @.b0nGIR^T->sJ*̭9[EpaVwGT\g̦6;5H:/ 48 ]w4Yt=Gl{.+O cG((uYh/&J' ,iE$ 0o!Z_d{m}q52Tp g?FYGRPpȠIY?&(4ic jGQӳ7λ1/mWFf P RU eI1ᏊU1o؟=ځ-] *t(P/)pE"PSH\WffG%oc yUBWb>]_K-7hb#;""A\իR۬ Go2> 3K{JCPIHnɠ<ˡE/]Lz4m ڍsKJوnfz LgZYu,Kp-|LEflY.W\BIW:aPɞm vD5 %5p@X *yy %p"pi 7 tNoԀ? ,c7ŕWX =`Ϭ=F4UU qKHQB[aJLi5ap(cK^:m+d"S"d@?/W1eˢ6W0=^V ʔTa+im 1t8nZR|23n1=hc-7\TϺyx]`a _6咹up-@>\ 3WUv$y8u{ul&¥-^My2bvgp2,rκ?ղ"C#.^^ :b-u"/%AI=a6Ȍk&En.&EO/ G߰#U@>_+/CFQi7f&U<57OpV:'!gR,:WUAK+/q΄o^K%NilFK4ܬ*Z 5^d%iJNS"i˻1) qhzU/D8uSX}gP$'@upK[c~{w>4mmUxhpqx("x^wn;TYlE]c?bO1RT%b\S9ACo$R̄6 Z0r p2ábd=K9/h>}V wÉACg9gZ6odl9/Z0HVuJN'H2jdFtCR#?JFk%LCDx<~8dz8w&#O$︋I5JMf-nen8%nId oG/ZXӉF m?0=9Y'S~FrV6$9 ff H*/F5 %+v~~!IxlXMA[Wd)ohK2lm#pymRo"]JRp_{s(\1T0͝`qcb:1q,ÊD=aC{Zo+Y$$/%II_3NF$OnU结`j!%6/ .sSج)n}\9(иׁSj/wcQ8A[*VT8g5ƅ^$d8⚆._E[F5 :Gpjc+ގ\؁Rq050P`3F*a HeLX1T TY_98ڊot|ZL=ٟL$ x#ٳH yvɕUt cĻD]q%S&|UtkFƢꩇOm._")=M}elůmaoW <]e/3q9ԍ"w qxiV5t϶'qP^rd:GH$҄qPQzU݇pOZ Lb~k2:*#;󔋇;7'gi j5@(:XI2Y$=?2HqKOY|8&1R8 D`@[|0eRS1c@9RSyE9dW *KQRTo[ '8}β9KxdU^/xqh` [i 1 #G*2閠>^n.9a9 '9jq}jZ7ڮw_~qQQC^JkXϺ&C!ίJ"_f, ʈ'`'?QV8Xj|%$.E{!`֜r +HUT̗;FIGT[Xfd%Z3#d3B )8Ex Tiw@4$QpbNo^TFmc~OVJgA/ْ~wտ9{p; ƒ$Wt( pku}p^%ejm}w{D Aq1p%NjEwc] Ͷ]Y)Ph*J+$z0ET#:^tD (ȭ]aB`<%x_4?HL:* 3aox6蕛6RF|~y,{"ah9+12pSI2<4[.N5GRvƈ;]bEU]!RŤct:!2Dѳ[01I<̮[hz]0Нw8.ztr`a a!V{:$ ^0XKW&rP~EWUwYbxr(b^ ʼnN E5Kc\XM!='wnܴ'ږ,ntIA> v04}$q̨buiB'q1&Gh2MuH_ePmu0Y)o-zcu4;#b}ׁEV7u Jw.FS"yW֩W2fJGz%G jhR2@a68 UC*a(HI.'D]{\ q~F>v)Yv 3kD%X++*'*JM_|8M|"zS*=֥ ,q%~qU ce*aP!9[ 6ߊނONZYJoA&y+x+N3QF禠SlVuIE)9~UqOwG ?M M]X x1N\M.2rmʕW'"cYb\!zlOr_l캡l4OaEF/=F%Sbm},tGSw@Qwr?svZ 5o1CkV$@dNcqKܵ*Y Ww}!G;l(sa(;?]@8mͩ\fۙH0y8o> G,D:tŎF!fSY1ȫK iJemLxgt6܈V pp=ɧ՝b&3mRT\]68n͛.Ⱥ3-٪5@1=Zdn|/;KLS owyʓ_;Bif swmMߊv%RStά ӷAK=&U!2? 8#: 4wy<0{d2|e\%} ȵ<*KwI8.&h|ݝexE(A5hc=jq9"FA%/丐"YȡʝKtsG6*c>j2uMv&пzWJj#W)3UbLJq0Fpy讑>KxHmŶ\a|`~ ޜ'rE*P%x;rRfۭN;\-Oz~bhs!WhT^1.H,; FOLMO"Vڀ=Chx>K#+vU]Vd@)@ a B5SV󻝹{AP*YsSԞ\OMUZ:,X2ke+'}ᄮN&:wT\Ĺͫ A'ylp$!'%>ͯ.",Z7{#SF8lȨiEcHNoO.o'r,zv7L]ÕD? p*HjCl})RO: eH} OL{˚TY:Rc'u1O9kTw1{oʊSHbj)A A3QOB,]-bI-mcY)l[NrVm$\? w6,/\M^>y'"HfBִ{)㟳6K{Z.&ZEy~f <+mB8XS(>B(ΣXRd.&U>Le߸.4^eMVlL+'1v6!5'=QPM.Eg:pXT$K#hVh4qO!LWdzM׼/)?oݭ4 1l,Z _B8(EY 'D^~y):utz$N =S)3{<`Ә{}:igYMPa\c)fa!RH$(B: *D$M[&,%HŠf{pGXZھ\ӻ('ᚶF2!/ (ϓIχo Ή)eLmyV<4=Eof3[ /Iz+u4a vI>om'zq]xBb\Ɵ%ٰ#eIOoάaϼzʊ8IQA˱a܏`%Įn*/?e݉g&m6Z<.`\OҘ<ȃ:i%' Hy2d/5QgՔPԀ  ֮pSXu۳>R֤j2s7.n}-,vzɼ;JpBN5jXQA/VSN`J~<0JՔBfIa//txUF6_~_T:g;+N ]Z$Fh!/P66r$~Ă2`I:l70aޞL9UV;P7VA;=.=\C/ JK<2muC3M7S7ӳk\PfuF$9n4(e*rgv Ǎl~.F#).~4j?IMk}ŐFs-Sv^@13MrmQY͂7DL.$>hV@nbzw' \JدXzjSt(iS`lݑ-N#,}kSD+C bȎK*S0P%v2in¤R8MgC,%<́ɝ(UG o5;ts9huFF!Ehyůc̈́J䟝,H i\;~2~Ti>eY F9Us {mSdGFx#L yVu-1s؊x,M$7ViYMPl6$.O;sǯƋ&w=wAeHodC6ncgNa{ɟ1(1G qKd6DꞍ>,(-'"Fm2›R+k~|Ɨ:'s/QjزCmQ2kt?QEЕ "eʯd|Y:^7dl7UT#$Rã·H.T٫woɬmF;-"wRPVj^Kv) %aiT۟Oe,0 #3Îzvwj$kYb+{ƫӪ)v$foe0[pDnG٠FK?3pKQC N('֌nQogؑx(`_-(Z_)鍜bPeϛfX 'y+"n;to~_p!Y`8P>\upH)0 7 S]0$y<6Mb'I BBUVz9L-}.&]Ui"<{\S?FH]\QWd +9ETn{WlIesE`i-(]If'{G A.b<ՙwJ1hWANQs=gYZ7zXZִF! OF]ŗXiɟRxCpp'Ѫ0oicNդZ?a"x0NXqD1+DbP&}YZ7zXZִF! { ]ŗXi%D8W'<),gRPA! ֎XX|$'A2k/ 6VT)fr"0fL7uDIk.⯁tkTee~Ǯ.q'Yy{7;Pړ c'$ϾG^YZfdzR}ѻ[1'EV}d?FxQOuY&@N7ܙNxx79BWK3J eXu"+l1>f1dj}Т-4O!r@ZuD] _Vf#rUZOqDܧB?ZX|Myt@nPz=OIz;Ԍj}Yd|=LSWnLӀ0B"̞c@ل -!o9঩&"qCP}OJ!<4`g#cww'g8Smbg".TCO3-/"lnlXi+QSC:BO[5k8d_?XU?y:RQpl۩rH IIM5IwNЁ)VȅK5?:uh]oo͘' Ôyy;6I̩!uޣ #H[.N"=pu3ڄo'OɰRڱUںt`ږ% ΃iW ĩg{aĕZ-檾/Sp. K[ՒNP?ĉӽ OI!CE"mjݢD\*=M99-=VǞxr ~aE.dAwFKD3yO%.ΐזi[/. p3K3'(3P#lfyl ns \p7csmwhឯ*$CLf?.: RjDѡK~٥!i2`Z,T+3߅ڊb;6 %v()#41Bo|nN @9?^W-  TAEKܤf=h%`4`s?jpͺ^) #PBn  iAy#_/7T"7X*^k 3b{o{שׁva^.j)DR?smX C5<VC-#5go8#Ҳ ,ǔG|-t>CV>@ghAQ͔4iL%P)SyT `•d^H73 6LbndC`ys>uHߌ<#;8 =!.VJV^wp4l!>7fZKN+]TMdg1ww+ `uȕ03Dg93j}92j?ʺL`lw܃y&ʖ I.\XXsX~|lm c f|k W8E-8kbSN7܃ULܕ3IKdZ &rJϒ7jH iȴ2 oZHV99l$ϯ\.u*5dbKϒы^-d5W9ѢY(?rmwac әiL}UU\-r 櫾7!) B.?$ZO@#)2z%vws_T"!uHݣۂIupHZOh7)Ag:,{-AO\(^Cۡt 8}t& 4/K$qFZ be\˻yQ[r]s 帔jo(. ,Ge(,7ޚL*50QjA ?rå'LxJ@`|0wكp-,Q²o9|-[oB?-hl;U1oT%ʱ.܄{ I4,(b*rjH, [s`2L^++vX8ED%S_V:⥙H$#B_ig{ ~d;ؼ=KkɁ$ pU8蓊BH24Ѿo<ɷ dj9LF<lñQ&xTЩ{!jdgP9Ku\\voBQk^3D1Nc5$A*5:EKU &HLQtZH LK0q!=  A͓<2ڜTA6K[B)L^8H ^N 9[Ⱥ;SqqgypWG.`GFz#Ks2 T=*۟VevaO^ŝO>Z8mzz>#8Nb핖s~tXA ,vOW!=_݆VXxdgYZ443958684de597fa2159a1489e95b7fbb24185f1c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a