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 M5rT|| ] Lam-ml-Normalization:threads=4elapsed=8.837cpu=17.192gc=0.7327zXZִF! !]ŗXiɟH)0!h]_{z Xn9&|?<Lt [4'%R ΕSYߔfq};?pm!!\(Ɨn+΅rz yŗh7MܰgC7D;; gTܕ : [ޱgYZ7zXZִF! H$]ŗXi%BzTM{Y0P4g(F[ٞq.Rݧ̼f bI@3(&/=G; w jV"ָ)8.^Hq<猔V [+wشkGJ!OYlo=Ee\xA+սـpzr:}^XD~|,&ό;PBPP~cw6ͳau޻Q18RPӼr qHAN^龿 ej%U/̄n J+W8^w49 ot5c';A\}P*}!tT{JxS+e0⋴qu.2f{ChCT;Mzx^[]ϗi:X8_IFy^QLz-7 A.-k/XCP8 Y{[_Z݃7$:"m'EXQ=; שu_ }`Pww$σ}"tCe Uns5cDX@Wp([+fgbʴ^< k3 l]}3Aae>VE/PƦ93aw\Ũ3 >sWqN?pKm%\mPr085,o)#v5$pz{n:h~`9:+8#S ]z4'wucx6loL:U߫8XЏAuS2D ,g(}xNJ]Q ^ ?/+侾WxZb3ygKG{, gfZS@;ϪB-Z?CJ#6J I j7k_ IQŒ'+% 5BAd1죺H(dcθzl)>w |zڍ;i?g EG.44.~J({isgtgꤋ+@O4=a9}:fb'͖ʨj^H]X3;7[vxo{t_*v~lQJqƘmm@g c4q@{œ0=|)J+E=Ld]*4$0OB:!f0̾go|>-s+Nneih^/tͷf(ˀ[N&#4"u#8yl {Tu ƽZD~ep)06*&N*շ>M9"5SK E2;. %"&-FT C(F'qZEb@2/$?4xL 9MmajOk0ˡ# JQyXǕL{oC#u\lag1=b~|>; ^Z^yYX1L~%6Okyu/Kas /iòY>6a@f'Q핮~9Ũx7ΰ$X8BU;w6i*-K=یjue2R%fQ7+%!#D(Q7Z*O: C+vT6@ța{.m/ɺBZ+vu1l_mһ1 b 4>|EB^@-P<2pI Hf"LU 7Ouײ7"8jQآZuXg^aٙfkd_ٸ?:[Ki"؎=%T==͵A E6tpbJL0~XDIh0JOx3-GboB*OXipo'U-Pn/fNǁRrLdU驁 pܘzr?]TPbd)}P@ ӻeg rmҤdW@ =KB >{Ÿ< r mEķBn.Y:! W0~s=HGT?zaƝg6OƺLldLn`S/^ I ] \ Yiq+~FoYP Av?-`0o罡!2O{pXct;5D 1Xԛ}.'1CLEOy\O?qc_*2ͻ F/n8W+c *m+mN^1eO񹼴˔~  |D,5bX c,OX 8+H9Ԇ_m0[ )71քF`3V[͆*4x1eIM' tSqvL0yhCs! 8;(#)m+?Si@tto؊ ]p~N-۶۬f笻ot lA2DӤ>MVRhlGwiA{r@Q<|11msd$CNJy@op:V;*fI?c[]ƭ.jokz\*;l 2\x݋KRlIIB>&p}iSR#$ţZ uT-ӑYֈS 89gWA7'Tr\;W;X#~޷TNh'lR$kauqamQHJM (woJB 8?utS.HcQD KK' :=϶6%Os}+V 2#9G)N˻vƥx@ m,S-aۃVG #s.^hf W_ϙl =aG1Q5fݰxe5LѐGϮ~.s2F4߻0͍ >HxNKO<0k9~gIETU6ZgV@-iRL(V@D&r% >i |JRAAe@:  H S@DLXN3Tڰm`0 +se%韯{}ɩʾkINy)C  fSj`e;iEo|!Uz:Nh=cKL`Au[]E5Kӻ`{95e;EQ_V?1(D&MI(*xuURfHLhAM]L2zL*ǔVmmf\"̦Y`Mo ed{)İ͵:'A"}v)#yq5,r% \MUL659% |Lam-ml-NormalizationHOL-Library.LaTeXsugardocument.tex7zXZִF! ]A-MՋhvG"uIBm58s|| :u1TȳDP`cx;HWY c5;͗ˆ[cVX_r˾3AsN(Į͖*vŗ{ms.g:56(&O\~XgYZ A5C%Lam-ml-NormalizationLam-ml-Normalization.Lam_mldocument.tex;59% Lam-ml-NormalizationHOL-Library.LaTeXsugardocument.texwe)\E5-L5H&p8dSֆq)psuɶ2%+TjGg)p)tCn#JJ- /ٚ2Q,Q!shA(м1I==G8y|kuHmUkKYNo&*v2g`ڴ kI1>3o~܃n5'o lC*-9]eXF&f`|'}O;(j6sH:?y{3uT@9qmUҾ NL$UTy9XvuK|7̙ۤP*'+f|MWkR$T9 @X0_}TƊg8wdJЗ{"; >Zhse8l=]Q2lM≙)t8h77xfK䔈@(}~ õBCj.O5vP^2hsBK[Y%:`a7[};{Rr䛲~UN$MQ^'L̔U4p[ݷ.OR;n?A,,Rҙ@|6M@IC(ß y3I6>jᏏQppL;? f;gDe>9PaܱN|:ƩY0=D[Y=Zt$fB0JHe'b!}Yy1vMpLϔ͖2@ȵ d!:iw9^.Uu~}Km=kT[ap*<S05;H9Q" džV޻Y%.D|(ٓĆg F`vUFVNO&Rh2P]t%e=Rԍ@d8ʆ J,|o\&9D'kUރqφRktz"i187@(툈D?M?gJ u@ごԌWJ>dYB[+VTM*whr:j=9ƣA$X݆zrhrQ :‘^>Hgx0b S7fo2c( qc\bZ&l{"M% Gd;=1$FQQn)5APtefNCUG`mkq(s}D >r|=|So`TW-sSYl"+X =ɩa|D,.P'$))˃^˃@GDwp&wg ?'ra!a~7[Du >N H<ƛmQ\א_!&|R)p@lq|6"kot=dO4=<-ӻrtəL%qjMM0,< Q.-FT uZ ߾OimCTaJ^}']XK|&@1Yp^Ph$\Yx0. 뽽W+ͨ 8ya[ONh!n&mUӰ8"_ayݣVS );ݫJKXUY>Y0S\-(:YKTK}FBP}^ 5U,~#82Q( %13)gH_{ U"{k$x;D] ,kL_-^񱔶?KU 窲xL}lR=N[#3Qsz|n?%ߧ̅f߸Q߮$VhNXtk$,M7}V.>A%cnBh4 X˛o&3MlE:*(Zʌ2j4n&IOے|ynXWiJ3c5UL); zɧn$[6 ꒱u-PyhyW‚?*9H2 3uW_4(򖋽p2^_ucb d AUQUj`. Ԕ*bCF> |#UdMpWL_k5?bN.8C1>p%xj],&_38 quK<7:PϚ8< q ;k2e"?F+zhZ6eLOW`n}ߘl7?9G9pI~%3a*G% w_).Y)m j%=驋?` x}v6$3[*"=aog s)$?aƕ752l&j 1ȀIj촗26XxUd;I*! 6,q#`>{{a8o6 Ȟ"zPF7=_dqIA~ɻmZ_u[l(o=޼VF7QCaJwXOHȡ.>%:x;#o_tYAĬ ZxrF?b}/(E^+T.E> (1hLH'TTӚG~ )*2W.}9Nӿ< 2>m 5Sguc\ڽ[6*Џ#%Ŋ9y  ڊݣbqѣ\\<οySdO)бy]y>kZGo%' qO~G!,@:ێimrB5w xA sDT<>qD,q-?#ZzW; 5Drl d5E܊ގ*X? M@4X.UJ}*|A,J0~ pXxssGWb+}-6SqI&c Z*;׵FTQs)$[a~/`M92 b}j1J[&="GXP%QLXX9rrNWRkBZbswoN` .rAWļEÿrgxɹC*a\K/$>tjxe&Y3syڬ9GH8W!U׆T yQڮ;?S|wcj̅t+00薘nTj5rDNH -1yŁPeW?kqFzGd5uͲUgPuK7]Z=~႓CHwhVeϯk꼢. ]a ӞGk؅Ip3es2sӎWd@PЌ"yhh]@OX"i7&8mu r'BHj[-t7L6e#4?Y)rX+\_}YwnxI}م(A؇#輇I(_y\j~ZI`w|w _TY$sګ=C/iTEEAN`G2Z0 (:f2:H-ӡ0j2ոKˎc VWbfU,P$|EzAEَJ1$_ "rJ<LY@J3Zkzc3z⽄I۩ʤ$) hjSQ!Mi3`A$m r=&*)>+!,jOgˡbѸ׻:VhCDrUC[J ܘU-{Gq_4DP%|X-+jRr5p!r1KEkR  ]͔ SL!=HZؖ,ht- q*OaFE dM=]GWeYs[6jv_@uaҥG[CZa&J%g[յT*/YqTk갔i <7M1+T_\N ܶ ɢlKSpצn>64Z4{Ȧ Q)VqКr}lԬ>d +X4 Um)ʬ݇4Pa=./!{}B՟?5p(C&J09(pqԩ HBk,?;ǰWQrL4הfU|lYֈ[ gw9&'q(t%|B:K_qC?h: Z6~UWuD Ӆ}R`\1궝X(9lO /hZpMpͷj;|XoluEkT[G$z_MI;w-@fM"b!m.9˘:&tx`6 0Jp%PO=5Nۀ,#(0ˈGE"u;sѩ #- ۺ`ݖ=,bj;^UfwpuǨpC`) FȚ[l)Slǿ?{@(mWP&gy2T9#﵇ :.1 M'q_f7:?!Ȝ GcLt oO_HB؃"(1mmϢ:|hA-c/`3.n*!y1^c3_,0b@AR|_NWE 8q(OQ*_$Ce0m3Y[D|VX%ѯ ' ]*v8MynȖt!^xg!`B fվ=n'q`]N7{.REPV ޖ#pZdIo*(FbL_^MM@ zNi-34u<2R0lf/ ƞ|UAd(3=y'ԾoI`dM};E'NC*9(wcS1sgߜ)I\*H٤)>R` +e\#GBOҺ;aH<7®Y]vua,=j8gqWFrێ!-(|Hd'9y#MBUWZX^O/00KoU&mr.F1~yˍn1[nijFC,4Xb-Lu̚b!Z\ &v7gr e%)9 =ܕ_a *(yp6-Y] i\ $G&B%=Vwhרk~܂Ѩhb{Zm!2Y|}غl~3j=v{%^ś8.רL# #> .m|i:4zW4swͻhfm `-WNR kA3 6YZP `yzbYcjyaw0>`YohbgP;4UkJ$"gQ2P4g8+F4i[ƎrD_bm 2OMBkCTd @2M?' .CӖZ@'*\eBؒ|HGa,N'd5eoR!u^˸{tTvNN.?R2}|pm^l+gYt%Op?䂿NކӪ24(tJ ' TsWڹL{G*Wta_q.b^ep8aښ69ՙp^ƭǨ?=?F3NSBeW_V{" $iؿcxC|Bh /RQ1Cg1s`#(fM q7R^c͇Ve_Dz7#fsmNX@5QϾjN>V 8`f#*)&xafw] 75'j_)CO$DUL1Hmm$/mx/" ֚06:*Dh$ r/4FV_zנVMq,9ƅf*v[ӷTML6mƖ|cC7O_8?O'UTr-ƞCIdk{%p5h"+FN4ǔ uU B ` h Cp{ /8LYV0 1H#RXʶJ P\QRWA)KQV< ˚Uk4:[i *ڴUD7p@8v-/qSf@ Vߕ#pwkgvNcޑi$@C^nv Hv[>!V)"ovIm lhtsSڦ\Qէo*JU({K[6l<,%!rky'`x23t͗)T k1rf˴^g(H:p1\EBR[q6JRx%"MoߟNMMߨG2ZgW_WmϤ0vg7G, hV5;*M/ȁaB_][p-ʬ,[l",j35Xd%Ci>8):g%.pZx)KAL3$,<Z.,Ly%F:Ru$4o T-szti2 Iaa4JysL2lf+׊lё"Ns%`3  ~>vQdvю {5 A>}ˈʭ on4+Cl$%[en޸Ђ:pf_8;r ]ſܮliOEr(  6[+HizXi:Q픭o4j-`< V P ssR8 UWhDڐI 7 x(WG Fl yH Z(&`Ř:0!zeHf7={1 ,Mcm)"f< Z EF}*ܐuY\!ò#6=.D#Pycr|7NGyNms#E P_1𿰬ABmg;XFo>8GJ=vR-@1 igl϶nNdFfXFbVrJ(HW4 ;SlEfecdeVHXFIWքL~I@Hqf{4LC-#d!:WHQ#=Xر׿i6n]Mc |`N}V&%0(;⡭G.^d=]J1<ъls' PRƕRJ偼J4656T|ӟJGӇ~aӒrG;R`|vua1fZDys)ϔdB|a!eQ+/w/2TQkC_DM|pPvHE%|3~||oOfrȎ oJrnv'JAu^-JtĚ1b@`h37ޱzi! 3*VII_]sY a8MY+8dq@+uqVGҢ>ɑXg/m$ ≧mP8R~Wt)O[WX~Lj A*y'۶2@ISVg19T2dnzGWó'ɒP7mT?̚ypss#>A/-Lmi R\& ֲ=;:,E-0`ٺNJ&'b!RpG [vjL3M6Ԯju'[TR~.aj˦2y/E-$kPeSj8K4U[!x)S ?)߿F\dߍ|h~5@( i~ 4Gy1g䆟D%͒<.T0%MMo5@>/]]:-qJtSC,467r$k/]Բۡi"%,\loC#=r,Jf|=[ؾNb1.'IXㅯD?@8̼ Bo6OrR Mh8}"[ƾ v L[y]bqG]qL4fiw~Kd|~siF :J\ȥn02i+?#uaM_{'&KA7۳2Cecd)⃾JX&`9Qs;$Qjp39Kzw^ rHa*bn{HkJ7Ɔ eQcJ?«^4wgW^pakJ~Š>]A]Z%s" Pje( ވXZ S -KeA %o/ZM}*Q@=WfD%q= rה=M+] c !Gal2:񡏾E/ߨ8`j&⁊V3N#(=O 4v7wE}$*g".ؽ n.O4upŲr %NwxNQ;V 5 'D.6 @7e,4)2Yg#O:g:.=\')#S  q{Һ#]Pi_|J bɄo(ۡgUaӹ1Sx}[4̏F2SJ ma\*//F1O!a 6m@ZD*(r.|j[u@F~8Cl3ibl/wX*'>ZqVRKR>lS9g/V}b/RQ\xA.҃uz4u766JAa'BX9I9Ve <`$ cT H'N9 竪50C8er㐊'%ؙxqb)~˟C|uL{~Sd}өq4 /*| *uևʃF~stD@|$Dv"ShKר\CBӚfdU QB5)PU^*2XeTѕ=9k.o,I`t?,sZ#ڊ&+Fw:?/9u8^ ;>1/9:QXKe*(zaD^?;h rC{6Y7I>E푋u_e?:~ 9mݲ6: 1dрZ˶ cVC9'ՄSÚ+0R]- V}g<!<,hb"yˇd|(P% VhPxoB]3v3ߛXWڭ8{tSA0 |!Ϥ W> bnH:?R wS>UaDתuf NM\_:ZHQ.כAg0Tg;cL75Tc+vݫ%\Ps̼D|0 ;I VJIפoԞۆ{(}wbEgOѴv{v%F< .c魁Yxk?7 ,nvg0Հ"12Q51_bVEf10b~F0Q ZBt :!am{Dqz0P0yCda\e<^Z`EzL7Nޜ^N]:3OXUBƔe r 3aXwPE*d6VO; ʔ1 iT`n7lM>όӫg/wMc2ΰH[Fy L(xxPƄA>>3y'Ļ!}8(x* `pn4z&ȱ8Z 9@.X9߄\,%wôlzգLK3vmZ=FdPVZ3B Ȁly|ކikMn %KIbJ3Sb (LQ= Bo5Nhw}y^،Ƕ7 },HB. ^@#Q,ġg~+*MdaHF̀aF\[Vm?\e#?aq7P?0ob*MuNQW,F q|/9 M'%[czEnPѵiSNհpNg-+ozlr*OΊ"xx7xtɀӤ} s-y4>}mWp t}]Ks["cĸ-L0+Εh46 X8Lc޸:OMk2F@F~Q@20ew?}?V쫙6H_oh};lKDTJt/mEL>8DQxd{^&f;egJhϸ@Ծݝŋmb(2wj%W߄egJ{\؆5Fw9,;/neXœ|Xk(t|Dsn# 5j) -Ŝɑf Œe9TՋ؞B8i>eZ r V3ED sp vHp[^G'pu?5qʗ))cU}Kodmרk[+?W "d :1j3Nc`$\bXG%?CiP*5w"CUWY4X[pskIGc}o8DM^udVjK] uugl!hd W]ZYDG |;lhRdZ; 6#`.N5s=K8/śIco4lX$/4BH5w^ՅT.ሇg6F:BHCslfnL&5*ek7;ZBI̖ga,q({}EM`d;j'I";`^j]E`I򖀮%t|8-8Nx`(<ċ^QE-oyk$=uc. :-1˕Q|v F{~ُbg}HQV*#7/:>sGFo`~P/r@*nBT_kw ]nSŭxUE֧L28R'î!<Յ/y~سfO?NbIعP<&\j^U{E g EFC-IQC%7{wG)/~ř6Sn% цWhk~MHƮ׎OEj3Nbi8>)7g's6hGEx%I[4KVk^=U&fbnP Uq"":K }4I\2=Vt[r \ӊ,EX 0HEԍ af KQ8Sd*WůCQ g~ؘ[m~Nۯ0C I73AN<)ģH"zRJџx3YD9@'a S/|!@N X3toe8GFnϘ~sALsN7;C76V&}s‸b߈G$Kh_.&Z ;(Zqeq$iWJ:| u }w匁zk.kP`#]g9c/+Rtp4x=h hY7 !\#ԯO9?Ze1IZt"k*lз?h'?C+eJ/1 VWo tp7QT4uu_tC]i9qsz|2rE-!^Y]A_6CtOϝsj 臟Kť0u vT\hh6cbDU ML`)\³PƢ lYpƆW5_~NUIYV@:^N{d8$B.$}QQXR(vch!.DSvHP ї Lj {A3kKS=c+MC_Z\NYgŠ?˕-P!LY 0BWEclIc1f"e .y>;p*O͈ NY\'i}%l}PX%A$ZIA-Xw22^>WVdv\x~hG=j}o<"ےUx۾k+Mw2-吤FIϾ/J LDEAtG]0HbXx61MǽCyĤߪ)78L@v뗖̳F [wC"ꓔ '4zieK} Xܞ33WyK&gRHlW/oRO7[Ƅx0>+C;q]vt 2iӿK;dkזL5S,ƅZ=:,/`L-N!PasMW?}x+  .[(>?b|jfj OX殽!n 0AiÈ0X#}ݨt35>Z(֥xII`98ߟa׍㣾y\S׮Aɋ|ʫ4N_-}M#հ7~{ʵcE ★-&\>"Vz{`u0Ε42ez2Ƌ#> ұaѸWl`H%`k8^$Aӎub 2? kGAÓ6g3ZDDGt 1qCOλiTQ.n6]2 ݞP?CB'~NvomcaܷsWw?Bm %"?e?'#>x\)]S9 1#2<K=1va?{9[ηH5n2{[fK"UZүV$$oɌzPnVJ*TM RL4$(\EF24T_F ߼g3"d#z] ̀+ZX`d$O~km.N[, UG W:J2$Dua)k''*(@Dj݊+Diǰ}t_(>tx 3 }#1onn/S0% ߬#O@jhp4"M!ynǃWS9+ M,Z3]y#sTm`"2zU3 Ai}:I/;&4pڗ9VXX[8FժJ8ܘ7is > %fC^l'RI{߄7V`ט (~ Hpy)#5Lo[vN,aRV/&ۚ%6t%\Պ!kF{'7 g"N09f!:!_~\Q.#a_;t~zq罨L GX<XT #&b1]uHh_ ,80݂BZ#)gatWHѱCŠ{/!LdSd-0֫m`U|R4&_(4#e v8lW&4sϨb`RbP< 4N߅>pە] vi%p?\n7m>yM%j1&50"*׋ؗhf;¡yKLHHƷ6]A*uZ rLlbK"7P#C`r\׮Ks#|aBxT!Aeg[!i6zpNk,:(h&uO] GAO}0z2:J+tSǓW;2pxq!f8qF^FՎOsm3e&z^j'Hc "seQՐ744fsޓ,L?0KBDZO*¢"^csP/@Y\!*[=>{q0p%][ve(_֔ i|?g1ЉZxA^41MC i^5?^7"~M-M] fo%z\eb\A]HU ]q}wŘ)S ԢC[nv*\)nyNL쨂&}ܮ{>DCNM hTLY:zǣ_jl(m ;WR0 !1ZE@~rC+I`N8$bQxl\`{]Bo̥JsOcò` lV R 6##s)8Pe#s{e>At[?IJߒԅ+tsg|_)W\WSzo,BE">L)\}X.ߗWh*8@QmGB6}dA*g%7(O{o$m0J}EmK (:(10ps11+U7GīFu,IҿFp]f^ǂޫ^8jUxNx_;bY%ު]ѯ,/ucs'tlȂ!j&#yI(K>Qd͓sρ %yG9.5rE$t7"R>[lqIf31G1N UK@d\a*EUxf*Rh6&ׅ]#.@@ lQioA/ݝ XۢlL6Fuos|{0Xӽ崋L1x#XyjHV5"ݾ=%Ղъ̵+Fn,MVzCeӠbFM5糐K)9J4L!@\JeUJB;"BP$:=Ĉ YBbiG~^X<3"'jlqYC ^ D3Z[noEMY 4a]݋o¥.>8C4gG}D8}&)*3xNs|N]snAnR)68|L7_L_4n=2kwl<2L|CQIOz ĨqP<aqDL>Ӥekv縫Bͱ ֶUY"/K(TH45Sk$̡jn$߸u4윮F7 Yx<>ǵ11u7,2gmT uNk[Pl,WO1)IshI``]x)Zhwo.Eo}CM &H \9;CDUS2+QۣMoĨ[mEfgn_cfKfЋ<9ţ7hU/XmoܘPMQ@eQfIjcx^R B)L=h.P#(_ḫt0oSQL e:3UxC) .;.TfZ) ^3OZB^[ᒉdmnIq>:GnP]Y ܥݢU lֈ<ܟ˚|DR:7"q%^$xTcTn~ At'̀}l$#?eu~BTd?Kؗ#&UCJou/a'39 ow1;cQ=dpة5s.n!J*4/&]8*dWKx)I/Tj*{S:_B}kk9]Y`vf$gm 1=Pe9?0+%yT۵l9!ƈqj%eo~T`%A;2/i\u<%Pj+[:Qx49dj M9$nde>áu$:^ ñpܖ]m |AռN)L.i|!i,EU;{|@V2ѐ#EXZ-@iG藅I` x "P5m2аU?+yJ-ݫl!ɺa%HGm6/x֮w. ;h%Oĺ5(t썰BqBFsy!Cf($5<$yV?]6Pt`z8\ܡ o$D(+3 +wq 3[@ϽH}ax6I3 vȨh,?(RA9[mL#/w(b>"@,ڗcGco﷗}FSuǤx!5CEQGZL~Lv ϓ({ߜW\ 7#1>*/ Sq4+BFM{.6 bVyoÜ!,` ]+ŒT QFi:,ZI)lza*NP:d*XW2lP :. 4|یߜ ^>ƖIt8būV1͢xqɌv7πA=0]bC Ry;g9}XdYEyK31@|2 ƲЀ rʫ_AXx##,Pş$ xigL'kBȍ2&P0~|sĪmY];W,-Dhܴ5_־%`a UᷯQ$c=WvT *lJfyM霻%u'ogF& @;iTKN"I5usdH7T$X`r5Tk>e|z _ȯcfSe*A6WxO@E@UbA[W[\&0 ,=z)[V >FרmrNḒE2PwT FvqN6c%kJj:v)Ʋ~bLrf "kD|-0{hWʱI%r@tz,hÈf9n>qRXLvk6obRx:.; 7!ͬ85d?; D8dW_&V^X+<\hrJ*ƆU!-JE桹C ViDԸrG[g9H# 8,3uC`PA`ᎼFܗx qZ=X=[epB*-#a);%sHFQR=m,.τjPh9p剙/t\va?N!(>/c=b ?0޳ fP|=k{'ߝ iqL:U4IwZ\HzL^`] KJg(8i " Fմi0هAq󆵂ײ%cr V |-p98/͢6ex$@BH]Q6n 4'1~r{~k%IF!ȌJn}Xt2ܲ.(μx=])6[\e.9 Gl#X1G՝͂KM!c/ =m6qE($ht[b9c&e(Œ:N/7`A۔ $"_`uL=2W뮷U^;fH$%?U&FUix*?jK֡Njy=U?vV@^'Dl%~*f"ӃZBMCvUW?D=ǯ~7]Pn" R#`V=#6} Ԃl ʮӯ1WZ|v: pEdsiM2YP,b rOH\ZG< +V .2BtQ6_1? U;}+PUCz|lHᔱ0#_ & \ÞI0sWׁ`I $\,k >ug!Th>-c1g8Nn8a),<~,un2ru3j}AƙDD8EgVANC.AK1:7f")Fe i< w~ڝz3u6n' ng)iAz8RZiDY2=Tz9bƩS߿}ielVܟE$>"8A(o, 5eӟ7m )6 C4HܝfpCcܴ5s"tAf~#M{|[ϴhє(4^EL4N _!` @3(gYZ