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 [[m%<\\ ]/]HOL-Analysis:threads=6elapsed=323.118cpu=1701.372gc=125.956factor=5.277zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`2#KMZj,_C#/QJv+KÀ_K5{g=މ7k=4PRglpz7Ll-ed7ͳ0 uW4O1!iQP Zf!${}I/=-2aXe艛2*Yi=mL6NղIr{l&V' X]L!l WVJK&+Yڡi{g忷<5Iq 4LᦩXq4.@E,A y >sKʛZk[XdKw]_9X"N5[Q6fvlĦ ~-'V_ld vZJ |/JAǛ /NzD3L}0Ԕpk&i:=7Y^ytU yNJjks9ұ蛂"s:c=p#$T."m-|t|b-5k}\!#sMS5,&ͯH1>?C]acA45 2Z]IgB]Socʭv&j :xRf!]0)3o wy]4B%a4onw ;K#>wyx<1#w z 6ٹp!Kن..V&87ŏWO]7xxa ?Rhټ}#9ҦXMsE|8Urk&fGVgsE- f]TNnO~rܡXL#3 ȡsx 1c}a+Q_ն6IPo ܄S,I '|0~[)hV7gxRf[A2.e+Y%(>8t/JEi.4l22U;+i+uG*i&}Z=YeV>w?%4В1I c[9B Xʇ:;p?('1ضY_hnu :*It*qktCF_ठA iN{Q^fK*8M|oDZY^ xIV$ D+F.= q"kJޑouPQBƐ༓|>?ನPP zPvaa%ҏKQ&m5uj=NA_4"RT m_M`fk grdk. Xp4BgA3o/@Cp k5GXA4=h/hBE:{P!!_]Q;.l\J;!Y8`pⱈէ& % HOL-Analysis  62&7͑ e 8˝86\kwӞu=95t1'|QRۙ6%e[r/?d>d ӈx3ߔ !8} E X`31[@:|u\#a%,XyU[G ]dO7Io@]_]JgA4*hQ"'p7̢gЎ#$s[h [Hx ]u6'Vlw?GGM^WӜ /^kq~7,~&yFǫ 8ٹt÷b1}=yzբC<2itMI4ihNAǩM\E@;i< bkWoMz6 @{?9jku 6Al[~+3Oɠ-%wq O=e1b3:W{pbZY(y&LCд7f44Dߛ^]Ob- btZ #QC z^PYLKܳ济=?׏?b=)  c)t>suAq΅ó"^14G$kNAQk &ٮyJk:K+LOU8 7=ɯ&Z"tj6 Z<{:HGZf d<l."㝏{=4@VsoRô*:ig,|:ϱTy8**FMq[o{W]hn4$C\$px.0  c`#B7} my6zo_{)5}"T]tғp1#rvA>Th"P?_N:Z=<;{Hd !1ӦL`r!H@oa/Pz ]cz)pLhي|S6͚et.0Ibo&Lqp,(G-TR{#l{Yh &x<#[qV4BݽN5X@4'z08O^D[{b-B)­"Efi {e,mz l AC,*v Dz4T$ qǎrت 8Cg=46y1Y~bqqimJ L".o 5.XJƌkú<{Rm*zLC3'E c G@MX$p: ̐/^VAyzb^hxw[9lHR7d 03Uh/saXsremꋯX!~I|J_{+Iܓmi5xaY B[ ޤ+|TPL+AŒKӲ تÈ%b{Ut&Xf۶L*#ACJ̯]X.װ9 t;g:`~ )'$s2^c: Lbfb,~]H|AjT\(k{0~u}I hb/BL( ?0y*31BI=< 6bڋ@SrMF;ޏNR({=3Pxzl?g$~%у@_^OZ/stL]%N16SsʦeS>6ʡw*i[:QM`jK";TC$¥H0J^d ܡ'IMH<رAba; ?[cWrfXiP[MnJ9a"Ff~15wL!iޒf"塭_[ hh)#Ў2ʹ&YfUh9Vt \v3nE],Vm}:oc$~B RYM I -_LOO4Ju6w6ݮ <ˀ]} ^-- H,Ns,5hemPV|qĠx lGitV8x  զ"ID]Sm*lW ,Z0I]@ȥ({M6ُ\N`f jIB=6ܴ('m7O7#zSEM> 8[L5/ EÚ ѵJhI[jEk?6Cҳ`}@!^/1$_eM'['mKJ- &U &d-[8|*.\+ @v'ǵ!ǃ4Md+O5F\.)>7@22݇7CF< x|U q3#_l\ ZE@Koޏ{QQU1>s~уU.@:]7oJf[sr&+~|k|a^`SYyoNK*f'=S=$ɔoK5>Y kE7T,n:0Z*.CKH )XgH'E}ny+XGUK+ÓښŁz"]>T{WD@-q].}SA79_,w[GǴXޞ> hoa_ۯ.m|t-AbF9pV& 0\}D[19$/wK2 3мJTmc4Q=L8ngy/ 40eDDC :׹@ze>/$i0d`40.Er H]7+t#Ś=]Ykk1֢ƥv|;]jCS1_¤(YWKΨhn٬"D]@As,_m~_UdP+Dm=mLǺ?uGhrf$BÉe.p9@hef/?Y^nmZ[+OMa<}I(eɈSs$evkNy̓"L[AQ8^8v+yllEOa)e.CY6g9 к',:YWUr_!)kWe1K~b$Su~!ωFOyjxƀ G-U^U]A{luF$l6 [$ E|zgƴUj(:i=6 ѩZiCnlz嵿1UI؊%I_5ByR[/`ZXSUiH&jhDۀF(NirXbĶN:bodYѝyi_qjIs]Ņnz]`#]q#rn8+l>j|7ƪ)ITlq O7[7 As 6 |T?Kh1"fu ?*d+)˧7.Fq!FP:vzIWCڪ5:w#e!7&Qôǻ̯-sdG;+ oҀխiP5LTHpj7?pkCA: wBy Uԁd/'n? [жPaSnKղ2 Z"/@xSWz\4/@0qWLj:=,?ס뙈W+¤$=mˑd6%ɍ׶O[q/hj{\bEPe9dN@&ݔ(6Ǹ~m]ٝ?g*J2Ѵ{(&>X%ņVu(n*"|2H j'!e7k 5yNXZ4߷IϲQӗ kB$&u~[N9(g~ 5GP2$G?Logx5ahOJ"T\MCQb_{<՚ܥ@JTM&*#q} 9w}a$3^A~6ug~*OO\Pg8'ۺ.Jy|c"_[ ^^:|tEM*%^)4*U(%{MjW"KPe%ͧ6o*f ':=M5!w3:v[ۆglni6@)nz7:S0-z)؈3$ɍI_p|; .jΰD̤@u\& 5w&9xWMmo^0Gб<(zڍ5 YX?.b8Xj#AUt>^ Y<.XFƂ|ݞ#\`ejnyןPU[J.ӝiJqR;U!U!ᥧ Uox䏃>Y fĵgR}^lSD w-/-R%x4{)&I,[es!+_E_wks b],͠歷/1`9W(}dWm +v>7? ȦkFϺ[,/s*#_λpkC`,qT ÿ:Km'2 vVi3ȅ;]PW㛹L0GXȏ֞dIoɪY8jxfGy6e!4+Sz TKbS%[b; ܀$(>5!1]p5ڸeF[o/m^!\2d(sUs}}7\d^{ɢ廉Z0Xʅ+/dPG1!c!^v66 ܚ'ޘ/S5J{T*UrE>A҂D]EDS*I'bT 3\˅*Oy}Ws m=d?w=ͨ;i0v: (CwXhz>}!S|AUym7 uM ~ C\6MaF҂ ֍ȟg[u\oGgNa"&T O/ +hfϤ!) ?د&TTP%|EypX<HT|a5p]b68Ђ>0DgO& ͳlȡ=_'*1V]˦``x <%'D~7Gf@뼸IYʳP;Syg(/'u*ƨâPf!f~C])/vT?,DJr .hVH,Ǟ.3R*~*!z]rKHUb rD˝8FoK*%rp|u(z0r@?Ř[.rMDJT3mloBxg_&7.o~?u΄Y<\b55_RV5L~"D"OIT*7^*MjB,"եxQB$"cԗ+˞5Iܭs o]-N*fn {`ϭS`Miզ'U-Pݵ/~~ln64jH*Cl Tkt+p$h J#{Mq|ꡎ]& c"y`M~%i,dY` x"'jO.| m(UU%|4g8hE)Ө5Y"'}eטXM[x&+l^giӂKW X_=ԝ`U= GqGO@I_v D5jޑRrX\;$Ge&_(w^a["2pcŊdu{MN*`Ȗ@z ӡ$-c}뗳&1=hH/ZB3DLՐVhenB?>! l~ @( CgU~aN"86H .Pe\$\fŢKuasOd0{P#?wkڤMi5z!tmš6)JSMfO^fKF#$Q?<@<mr7(AsD|xDS#Bo꧑ 44Ưx7}Q.d_ٶ)w*iǂ)5_36xXVz-TԋD,"L3KmսC[iWcC2TIʱ(i#5<f=Uu_:2zG>>P,)k_HmUc<<뱚v7p)]d]TCDdUC,䙞[\=]w8`C;/,LjZ,BxN}. + )..FPx[eΟ56[2dnR7 r%E'{+lAJإ%wI4wcHBu+| #;`*i=/Rv^k>C36̺iӅ׾~*+c|..kdΪ89(ؿ~'1ϝ0Q]ȗND;swVSaFj<Å1{h T EUYR[FExXRe5O 8M" \OCfn4kܤ}!27D1xa_gCmOD?s; TBⴛnY`B!w$笌[MŨ[쟁*MIӪ}a|ج\ WG.CnuqQ3 eG\$ ^vG$>?Ԍm)kƏ dp\NfA֫; k!'_ kn=Zw Og",U7[]}JΞʪ7FRJm6 TsҞɅTI/ehKZ<.G18H(Tw Ѷ8v~}6#&XBvLSۧLF>eksȺKa疅&>B UoʁG\`&v)QT_[¥NI b& k %ć9 A %O aYPueRT7,zԟ f=Vi, .ErjF=XwIT01_0 /eZSb:ą-M읱9}pF=d ړvɁWL)kt(VD Yw̡-R iYh`YuIVЃ׋̴لlOj|V͙oa=$)ӥ qF(F.A^"Nyc 7-3y),'a:[6bHX ϰ|9ַ̫%AEħ|뇏10Q)Oȼ#uֺ唠kTHiB 1-"̧A䏹K'\%VЗLirQ*qeQL%=:L>#TF^To󐥏X1QХKӲ86"cLE%-$ު/f)({ByVD,n{-.s=E~ʷn_/;ί?W4{z̪1&𐒥c&K6Hf+屁839bتNS( a'16]q(pVZ0G>E 'o v:p?MyWj AqSmܿwƮ1CB H\)Ks̾X_r#C0RAP5K)^jROHBd-p/:~uh/j0ҍ&Xg7$vģ}r 5cJ Ƌy7hp[("R%\3W)lpGƯ3/RPo] JոU,ZKmWk#x3T$~ȾQW޻᪏h38IO5Z0Ms@$#Ԧq%npc[DAW2r[~u©gy̙*U.DC~$űĬǩ=}ZeؚuZ! h H /lɸ$C],}*Ɍl R6AiWAбEzZ8#-[j1D2+d!zNͶ#V@_pYC%ls5\a*@Fr+`W3=me =P&>xӶ\"e­ ",z}RPQ"DWml}$".@}{Ĵwe=TeAr>+"oLl2MHFzL*_]:5 6-,Z|s=aR}I4#zk|eP-l~{U!%_W2V2U*<#[5ӕ}l}&u x#L%Y@  Z_Ⱦҧ*ֲT[pVz:cyt{Qi cc!y=A@ecJlGZͺx4]SA谁Ƶ%b׾hV4EZq5iA2;l4$ɧ&Ҋ%,RЃ8x /]OPܠǚ>Ƒͷ A.H U\%^&Uef0VB2ހvلQ2^*۔ wBp c!`WdJ%␷Wu!<7;P(~\]l#V  dz8Rd^?y?Xq %#kf'nԀޥ UGJ|!|e=ABf}sŀd AjsK٬,e]9a#:KDggcKI}K=YNPFtR2$Voʯ4.?N y;荸N/`a jC }6ïjꦟ̞GnM;rUFNjK^WtUd35Od4uC $9)yJĆEIIUb!_Ptj%kԪ˕3fM3FJPG V;iy:ր|F^U0%(4JhՄyo}Y!q/-&s)ӦjQ0{ʆG? ̊~k"AwE| nBjiހHC.g6ܻ//xJTWRnQğwM)cCϑ?k3kuq02k InڹU%kD7,9㡧E}DїV_3_\<GUS;ZiAܷuW-JG`vBp'Ox@0?01H:js/!航LUT-VB$,+Q{ܗGP] fä^0/ΨрQ!T.rb#sOF: b&q|0eaE֜sź%YH{֕,E%uѼmJ:VlE`;ىa!&x J ["rN>٥].;_{5 bך(zf79%i gۆs,Ǧ.x-|nx;N.|FCٖU UذWK$\Q#ƺbI M3kj _TFt&n٥@,> k)@m&XȢµH W Pr ]N\46V8B9nx N|-T~c߮Ȥ.l[v)"6ZL˚6RI!s|kb}N~oQ [ ?b @;bE(Vx6)l<v3IM SJp=R tμSƳVBC> 9]au z;6%2^,u~F""!wΟNimҬ@Y;l]pKtw+YRƹ@Hո,Um!Z𸋍|g5lmΨ:d?]+YLoC^ѷ{ b |m3 H !{"-RTT C7:d0(mes5s.I3H]_IY1x),ڋ4= 9]4sY*F)H0Yʎj&=ϪrzjNMf`RB)sw9V$"=oݖ57f.krvTFe;wfO}wkנpbTv,#8GgYZ7zXZִF! ( ']ŗXiɟ1˦r!cHkMeBd4=cYd#"NX,`0?„Oj ωM+ۯh;@| |3S6Z˳ ˒tɕ"<$OUJ*BVįr,YO>T]B=d n6`2-Yy~i_<Z}$d5 }ܘe;-`]LwF%JDo#yL $+JAawvpYœU󉤬 Uog ú_ ~?zS\~^̱i3C&J dS`e-A&KDA^%x5C_ ^`$*IZJR-Q%w)C& püy-1NWTK8C{vT(Uo:W`Ԓ2}c(l|\k-}{X)TONȞ7 0Uj\VtԊI8卵̹3.[@jGy٘R,S64L_{^BKk"&%kZТb}h؝i`YPY^᫟^?qK/j#6 և$$EBꢭ+ &n} 6pI(d99>M&JJc \_%'8/8} 7_V[#gKjB O x:}ژmTLGQbRC~kOmYi!ŭ2˜V @0s$LV)4E,TqPed7f<EoJK67 K< IN5GmZ 4qxڹEYx{ κ`Hf>-1 `7q4i ^_Q H ySY*3 BB}aFL&bZ $crh:kK 8'sy Y*_n&|^8Y#wxȜ_i)B%£?ݰQ QD#sfmm|E񚃛1T`ADWsl"U )[f5T զL&aս.ߛӠb{!fDqfȢ{-ҽ+1q ~MqŮ ?0 Mhy-ߴm~̈́ΉۋZ`F_WQtki) G^EЄrrkPit C38I>Z[«;ޥ6jǓ%]$Ïq2)yEϵ.5"}˦Mi=`FCIӏ zl4eʶL=[mEa8n6'iJaCLXlJ$yߚq'*Td1|JFq_ZaD,5?^>{I\ 6+w{rܑM`O]!{b~+R6"^\B}'eb_:hJi޶(/L&ћB #@X B]ٖBݛ "ץ]l\(#ճ~HvL}Sjj IR'=Y/f~{ A'z|+ha-'#1\Ehi*5Ȝ)܌t&f4>Od' K-g8,qUÙyZ3<2))~]o.:Y ΝKoB3?,vM巁YU:IRvr?P np(`gjr:! sb3[tL]&g1F7]|s[Y88&X~* [A6Sa{x?-|&MS1bfP5Fd{'5utmORl^ qEψ'gE& -T o+*_֩]@18t' biȍvԑ0{N %ܞm~h'MzBiIBF^*w6 g|({i6ZJ4*c״~_9Ͱ&].}=IXrB5,'NΎK\Z(} I8 } (36m1~PzMM_&Lh֫]v@^rsW_AT31tL{u=H(Z/z0g,Ll* )qS)򲉮uzf<]_&:?-ci=A:^N68;TiZQƴR(yxQ/fV M6ф+@k(]dӯX< wd_>׍)IĔAʹT&]q$y|ysB%CTkLº#>h>wl!n3tTrX " $'럿kqovPlv!-hαJMt{Lf~t2 E Y3fwUwk2s5ꪵ<ϻAߒjy!1s2ȢKKdÁ%јDwK8T5=]؉rOu&_F⋠䬳o_J CG9_!s'т=<l5_egOYƪ2{9NdzGc=*50͛Eꅿa Ev Y; u,fC;{z>?#FF#H,┃OKycǿ~FV^L[7ABhzZ`UC Kt׮;v^^AF8 ׎0c2AqrsG8m$JLqcO 遣8xqB"Zdׯyib|R؏iQz:QH]Qgڶĺ V^Vu`Sf+݁)Ǔv~޷gߔF&ynЇbW92ghzNkmB5`[aPS!$)N#KU&Wdnܢ\[TO|J\lޏAVhkô¿ȯ$:T?G$;"9E6 &?T8 ‡2(ּz)07^ȿNm3;Q Q0 b'`P` #\[P_/wt9 sMKpI~޶?YO5*}X*>n( 6~X}frIxEP;i?' V//ed50d11ЍhUU0.N Kbݧ~ {b^Or7[ 'eT#bC>U\QHܱ^^#x:@b9Kc45=#ٰPK-\K)Y;_zW%tJ\'*(V'N<yVYPU˜ Nsu\(s;ռ==Ҋ~`}\́Gcnԋ-j֐|xttU0zb=qEl ";ܲ#->HD6@Ԯ{㼏鵰g2*bA+AʇD(w #(P7.,?DCV̺KBaE*Cͯ2aǫʌ">-{k҇ĕ e؍$QI[FFc-pƳ'")mxw_8W`w7b67CvCP״ޢ?^)"nj7XR vStBRdy+jnȢ682c V a86S\vȗ@u_Xd'xca1 {tj`flm1nآmr[,ƨ>t!)p%oBgs&Aqx$Ies E#>ժwE]U |=@?qnpy/\spcX\ z:WCAK+;GPL* B)=df7'9~#*s RhteBx8r2*vh;_3 Y/HOImKfDb{ێQn!X2mP]U"Lh[V5!eYihI15k|'z-_Kn&F,fQ0.)_~m7Rx l5_7'VSrC+ltݗi0 aV""q{+C#~\`8^ngM4i6ܫE]{J:-Ud\81j~lB jR[Tҋ:g}\*X_CK^SAmw3K\E{4R~zG{EAD@Y:plPŔͨq%-|ށ4ֶΉK|iUmwȗY ˝C޴v{~ac (i"~6P}v2ũT4}ø\꒾n7xߓ O]E&wrnJ'"T-[wҊZvJZ05wk|-\]{`:/X%UozY.T09B}Dj_K%:'lepG?!KK+(~zQz(r-7iO3nOE3R:r@ %5%3Y.'Ikgb̷SfIxiHP4;EKD>^?ipj=&>V88JCqr9"3_|] 2jZD Ǜ`>h_NJ>}ڪ_|t;S :k}k9U y 5}· >2X&yq \4ђ+h59 JK4c&R/jBXDhz>qP:x$1928צ L30xnG=-YӮǐK* pk5/ s\Ndq+Oܐ2iT4J 2@86Jiat$R5ϑGpAuVLH 內Gmhjm{"foSNf\PvB O,Ϲe@ _(9鄫w1kꖢi#/")R5nAV"Z51!q C.Y\ o/ocDIcŲeQŸ8M9̒Jdu=;G84(8mxه2x]22ɠ?rljY φBa-QS`^|'ѕ:.X_D1QOפcU>FCNr'>Ap|~) 1rG] .eU[{(! m#(, Q{Ej gR aWҁK .9tv'rο)0G,vHR:-ztw kkeŤ#/:4aRN@[j Vl`[!\KP]uSjqw|+t;!#ڔk~ۣVPmZHW=_0±|Z!)-,M6&qEoYoYPԣZG3{ mJDA#oA Hl:5 Z&< !z\ǁ Das)̢W3ı$1c*ߢϮK`ON[oa2\]ӆo" η $rߘpx9?(7tՒ>bE㰎i=2kQ~bm<9~vL2ߖb1NT# |/) FąiPI98uqms7/΋dӃw:ډ:%'fުyQ? (ޒ+ 衼_u[q5AJTmrTh8rʍc*$1sKPJXkI>G~fc1hBVU.rH1L5kb;ڲ:70qN It$)0<Wb e7~-ָ}3`fkcq@:gFP{r~pfT )pK'aȲl~v Q0Ѓ2ԏz?"ϋ@Vf|& JJi7\fḅjD3yL8 \MczxVuzA|thVm'"W(ux$MYj5׭uBVڸ8}`b2'/_7HEBMCB2}z.u̺/>̳-~{Zf\iIj#=5ؓ_G^(ݓL2Tw5pK]+V@>p%vqb(=0aH0}z^پ'Я_biPl\,%@%EK!vgDbC5CN6LlOEtfPUYgduIw x?Ղm4%9eBswDFOLtPS-pG" |D42~e.M5]R1?ŹH{UIb@s'į! q/aKa^"! ^" ?CguIO#1O(;3eßcMj/q o.i +\i>w9<x;IL\0#2غܚaf`#nJ5*{()|Ȇ,E1Ɛ!^!ZY)~5(/(iec|R+&;җ\G.T#jw+[0 LM#B6CUڟFż64ibغKh C#OR% 'ڤXpK>36aաa EirOw^8s!HWqsKMJ)xV,&Jg x B=~JkM"Oʉ?  (3}//w&lXInĕ%?Ңj5, t WDO9{X]L.O&bB14_ɵTG}jpa$_wWX'V``(D'wI=[\2݋,e+KNJ9< ƉHt-E]ȴr p⃎}w}]XysƥKޔA1Ճ#y|w vv d2Ѐ`BP4! "ʁiQSPX]篆j5PV\pؙ|&{}.S2[QRT)G6e"o7=\oNryQbЮǬ:!ӭ*m)7:(* 9rfXچm-3Y7հ&DR6T C,}%\9BЭƶ8gOoiVYZ0)˩/׹+xjJLvjXe04գ+y]e)YS_tЧ{b Qᆳq6 o./\,7*rnǜ\}&Iw$Rjz\R>Md2e'hP2Ý]-UJS#>nu`l30$YI)uWʦKc9iy:(B>r6 ˩*hyhR X~ӫpLLpX@NeYaI ?jCAQF a.z׮Y`l YmuFHq-%a30AՈlf_"L\Gud,U 2`0ȯH5_edw}ۤM0Tڼ}^R>.Fe[QC/m乓Z-WeN_Y o 1z&(8y#nraWϳgᝥV%,DU͝vx$olI'*n`KNip,|$z <|~o5ꘗN"o^aRWT5PHTW[Oq4=$sr_}{ Qb}0Ƹ33dwZE(FY 7ҠvOd4ңWy+UX<+lҥt^DɒartqzA:&//KjwGj\4l}.2mKl\4寢{'Ӗ2爁b}uJpq5.2kۮDm5-|KBe; 87;qhOS@?nCqDVw{%m`4G\>[ܸc-.NTk,\9Dߝ#ODAjDYV(q`4LmO;Qhf[)%W | *J3FW1h^rFIX] ª`AP0[N'c: &T{`RY 2UJ?L߿RƫZmAE6ؙÒ810Mx!_S!KxدR'" B/_^f v^mɨ.I;n:y!!ҹ&2^; żD?,Ǖ +B4| kI/2Ύ%>w]d5{E'K<džNyFzE1v)!l!$}R|;LC+k!R_ mٮ4kKvkdhurISHݎ%'GC#aa TX0W OBwcJEWtײstò뚩Q>!Z>1i3#DTo 5Ҳ8`V.R4h#ڮF"uc߸ޭ o퐕MtZ2-/ZU%hvW UG/¥0ȥ"Lh, ;RC?dV]!J?zCfHdK$YK!f҆4L'0y$hf3|r> rΛ.pi~HbSB ueW Q^ڇ{E徆VZ_c-NA$I'~%!}x8WFs ]q~[`=x\κnsv"8Y<[_R 5:Ht*(X3$je1dЧ|ͩspG7q >sAc\/,ՖV7žst iJPe{Mހ+v ;Y?`꽦&h IXfUY(Ah:H)!Će͗<φ}@ (?A Ȧb5IAL0@!*^eʫmQ.xJ]:nboS"n5,hxzʶ=KXe!VKg"1p` IȹN&I9HRFXvI_C.gΗV;x (skk”B"8ӌheî 6b o6<yvmMŬ^a'0[}r$m7;p4}/l? ix}: g1r zG 8KxCi|DHu>yXUxZ &-cU쯃.BLj.=Q-^xerh[F,kx+ˬ :oJc2o ac.HFH\?J!8*wOrmÀ։uBus Y0y舺w}.?\D!F̉ peL9e.<I.@c:"/-n[*N}UtCbYgw&3GG%OS2 s"|d QEbK, csqȄ"^)A!=\~b8( LeJyt:1pЕnz!Z} )3e*Vra5J:8U.*^[[a/R#J>M&ѡHY%ﶀgN^S1򛐒pnJٷ`̰ɧvRZu0I{A\C6>l;`5[AFPm-eҲu [˒1x,XT#AVY0+/gvB>Hw=8-+꬞ Rq<bAF<}|%4[#MWNj<qx:էѸ0_ q H}u$SD*q'IAZz|n6k9v)O*Gn- ?Fx/c{>-[ 3fuN{.NK]]ԡ-5Ud01ᴒuDjw2Bxh'IWb,(u:qYZ#c6Wi uUf jwLMDZ8F.q Zwj͠qJ:v5HB~n<.GJzʦ#@Д8#q5w-pk+L'g<^)1 ' ml=%Q1 ",IhY 6w#7#M˱?\XɃ3WF sU`N^ϙߎdP[w w9-__FEKt~2f[Vg F\YX=YMEI^>Ŋt[~Y e{A5lZ7~ |J!tla{O29O_0TaQ/q8ղR(="θ 2jÔ\A 55?21Wbdz;HHLHr%3T-  ``0vw"v:ksk(RuڕWn$[wc`M&yInr'3IN~_64o<8_OdHR7%'ly lRY׮8Mͩ-8VuӢ*aϲ %^;O=yFP2sy\g{;S!l6-eh{.MZi4_4$1*;K>U3 eZ_sJ]}Ur$w[*!ߊU`*vfn?Xպ[ѓc|(hEAI#s@bigjΗŷ1,AT1~0.ov&Y_l{ 8$ .#(ݦP\߲fRƉs(lΦےH0~b>:G; zƕCg8# 5 LV XQEjD!4)NLM"!#H!ƫWm~p9ovő(ol^[H2ު<;l>h nG ]E|[| =9q&(^m? sΟm>ٻLSwd (9elEu9=[2l?90;Uf{lÕ5ϡU׷?m ^i_rV>3&uujvpb;PԂiWv7> %甛\؎1cLХ ׄ| RD`S-_ =L\GX)9Ob0Ci$BHn=_ TrOb`,u_v1u2:cxlĥ5 ܊pURT6*a*dxa@+E!\u ݳqgM[)mP =QR|"j>I6B9䊴ʷwOgڮ-N)8zBx{VXC|cLp/πBX2Ĩg s 5 50-YP[sO8:Y-*$2 د֖4 MX>..s"ZFyUi eY̗QPOKi#kO=~M@хDjUá<(͚҅,5D@NsG7o_-fyLaݍ27dY|-1e$i3{ll򘘚&}r8d˶GKf VcxbYpCTS߿kX`U3Wg. mF(zK"t]Jخ_ Ew"dd~9I+:Z߯Y`Y].d? ?y#)$uPSk lWǰq \I%a{H1*A,3Ҏ=@T14FfGu ^I=~ѝ\=:ɋp"\*_Xq}DP Bc'\Hb31^p|iJi^+t2yY'EYHyXQB}0i? N`PK.25}"]S[Jg#$`1 )_i7);'#LyAޢж]ƿ`9]ۚ}u[0"gD{+nZ`-2rdU&4pDN m"ѢL4F,dG)?I1)g]ӟ){c4]eUɋrJ5|JF<W? :!4!X aԠE޴uY,A&,GL%v\y$dHNÝ"*#ta4%u¸У&M 4)zX@)tVU 􀲔ߧh2wh3GsX {$64 :*"v"|=6`;4bCe^#N&{z N|d b{>ĭD` .߈$zh|.@rhh+h +!ܥ$v^QmGv U5Ft\P Kja :va0nbBTp_lq"t!:¨d If?L7Yt+\US̗bI.}76Dcr~ApH/Kr:e6M\Mwj<ş&{nu8,LCX:@Y71ͯ۟/'+Df6rW gN'9ϓ+bL2 :bV#M2 Siw{]QQ69JP9,U@/=9sZyͳtsT_BV 8(6Q d s:1i{SO4hXs牵6DDfTOv1KaqEmvˠ8o2"v$0M ٍLys'8Qm٣0 <jq:SBV"wfi_I4}8 yԔq?9ih㩰ebB? "[dP[w!L_֨xkVO2j  )F9D:Uk桰gwG%h[Q'uHyfe#6edNP5S/ ^̪FaCvGr[p-sG w8&̌<"5]T?Sыz^E3S2gs "\w#fl<Ϯxbt\訞dI 6Rx.'Q&pKWzٴʰy|B %NHMp݂ZͱM dTr34rG]rפW;uu0ʢ3 /Rⲕ>$bt'jNՊ/6g=dy}3L(ɘ2UۭzWP){Ғdk(@MrG;^39Xlq04J\;{]?= vC/lcn,w^͛ǩAg*IO3ϭC1yYɁ:ڏ'wZOl6ѻ~yDߺ d@e7ޜMndUž~= Á~w&I=eU7l -#rX2lAbfN\.܂ `Ue`ս+g[pE b=t슄p?T/a*6{Կ'ky37Jr,L|kߖ`IꜴ.]_}=gR<Bq[)D$T}plT%80ԭ4+Q`/9VVĻ {FhfD;AEоLs> @l ?B*]]B `X _;$ Zk t53aFU[BډpXaox&Gv!MG.h5b|TO6dhM%'S)y~*^: t,|1OI W)5/B` :#:$E _i׌B O/iJx;8]|'䡈%OYGc\;uM6Ⱥ(0]˪)#408cRf_@knW")fM'r"q ^y<FeZnJƊsX~ Fa'i8{0k4[sF=C Mbv*-HkˍfH!&vQ?e ̮؈y~8=]$$o!EքUFͭgx: _SK .?APntOz8:"k~[ ^W1¨ LJؕ8C&%ff1r $lU2h9㬒/E<ws\5#S_Wtէn ,#li| AR0]2|s m!Ѩi5ik}@I?}OĵM=A,ӁKV"Ωݹ4|zUrYa( [u{X0:9k⾯Z l@`H՞۩_1W$fD1"(V2s`= w_uCzFPIo6me9=+l?>l 4S~ٸk_ʚL?52VCx!n`%} $ 2b>޵( !UT]m¿_R8 6gnzn* ;yYϛ@̚X WVpHG.ښ/vE2^bI$,fv`v9K>f;ǝYRvYW8Tڕ Q{(Xnj.Ι&KC s;pP>K>ˠ$oxrӒSH Qui}/aD5T O @u~%p9ڞth8l".ѕ+W %?K2UZ[Eb)h\0U1tGҎX : /twL~e\S hE'$?QW@"R8 5y#")oݚC_"⧔)JO-c%n}UIUlSE_%M!e.d;U:#' zfBpe8iq-zR9Dz.>j-ʬq8NW.{b:nS:g?dL= øZY80HATaݒZ GZ)A& TcsI&WȔ 0Ӄ:%U ['{ 7^sѢ+) ?i/_ $I?NK[~\"A]i>Hv3& LA1ɝ$Fj;|QLѢԆ3in}.rgawi2LvC/P?Mzbð yOW_)mH}\K閽MP u M68GZ}XS]?ninme0Asm{瘦H3X[9۵^λjuM!f+ ?J5d-S'fz ÑGQTR oȖ$̉)7 <aB\$9fNl2d-Fx3Ϯ2xh^Ӡ*_azv!*΅ğ +^[VӒH=iS OvE8L*ޫc3O`\;B'n\O{Rwn)MֲyiFr(;ل+pOÀ-Sn~n_e@AxNYpJ*YbSIS[dѺ\IğZ zs3_ñZ yc:NطTE["?|xd V;X>azp<O ,.~''v?1{lc{["}+GY\94}S13ZI۳PJM7tήo='D~([*@30Oy8/QR>H²oO/[ܜvGI!ǧ_6] B +>]1fEڀoih-ɲ6;*](qEp @%O{7\x^8dOktv"bH]u6掇_ז릶+GRR֑nxdxɒ[ބ2-"]. fj#j{T-p-HCXo) 'PXmOu%cFE+2JwzO/{ŻWS%3*J_D7 _;@"Q"&NGrk͛?3/p{dTz+9k,=w AfXƟun sӫrޯ` @JOAu3g7z}L<Ƣ2TF4/T?~Ouxh2xVp!r5IٳEHѿ&m=M~ꃖV!OgdFN[^WBj{ Si2yƼHzвTXG+ѠhZoG$D &g,e`\ T/2fgxoh8(WcWjܹVf>NHc+/Ղ&!h0+ԠY 0]8TT1r]tjq8Y/`7n/"aeGSa.عAp?j Wz5[YK <S+TX7̣xbzX0 ,Fᚖ,((p(e;P_UT,DI !!.:Z džDO?̘'Cq RW~̄WJ~juz=/Q+MIPM% huܔSXsfVɤc<5!Ko%w2 XӨ'{p19gu }1=_C¥<\%fxuc h/+aFO-v܃ bOaeJot9a^C'sUvnd4V]'ƫ)ΟwyFtl>rOX[ Zg\QW.2Myƛo[;xl18[kUѴ(!,Hc1 тo%bu}%عB#b,ȓ1C"NK\?sQpw4/imzB5Fkl3Lf/qj셨 :5gjuY0.`0.g\̵Uo:%}{.*]}+:2g&U: Pw >Xꎠ9SUQJ{AWpB5"{DT_&Q&}l*tvɒMv%|F?c ư٣18̣,ypcreG5x|bB1 ]gC߈s7ϝg1u62ӻRˍA(%b \h5ukLMxH)̘i?@=EQD;IG)?6&~kZN[?)2pv+Bv6q2ZfNC/3G!hT($^K˴,R!BPoUer{*Xtx=a$1+gA#Z/e[R{C̺df>-ݖ.qI>ra1`kiUwOd7B"M(!FNҗƑp֖p?f%4?~Ic=@==R*^:#V9/0AM+Ț |>ʋ/4UĸV 3"C܄]y|7c$6W<"K.3y,\h / #I,<Q@/m, v! T 4#}UcrݺxtL8[BMii]s[/mUģǗe=΄`uUv9yvi}}rR›-Vrs<ҽ rZl*`g:|bV}@* BQ;ɠܦ Fu@$}Dl}&#Wzn9nxmZKmyKѹksxAf9=̢Ӯ~dAƍsl5砬6/GR,KrFqU0Es\S_y;&]I 7Q(󯅔ʂ{-jQ5ުCԊktu]\Aɟ\GT뷡  ohp݄BqjN@qyش\K3ϯ_ޞ+:=~DxC4^grgdK#HEV7F?~RK|1@ۡ.]4,$hsT‡-ފ@Cg*) Kk}< xjt\ RQ>1i¡JmN2~!OH9f䏣z봩Z֗mڜz,߆u65|![+<$es_ QpH^d]M9Wxf&x{/(W;uj?yɣĵT+zt\Ql<ٴnJdQNjcXjMDs*f*aLc0<3I :ڪ1(`^ϩm ܎zЀ%5+s`*} pia>2y^m/֖_5Y%]nu5/cY\ⳡj/r8dU.?ؽ:A8fOR_,7LjHRCFRΤ“| Gۣ$$ŬzPxv FCw4$,sS\4 'Wj3+RՋjBٛ8IUW4Ns)~Gg-' ޵~B[JS _L*5h18{0IW5E8VN="e>C;Gb8D@Ew1^*h|K5n2{W0ר0}?) JvCtu'q]^~#3ER#QGG%Ә4p؍QI/&q8*?0`k2(aѷ?a `):|KY?\+wtPTB(֠v=[\Эln澳l!%BDR$mNϰ:P8fLUCi8lƼK_7Rّ wMPZQqīpcܲ(ؗF|7\XL%EWnmNBժ:W qG-ؤm"zmE4>^9U'/s+zMA?o-z:Lw^ɖ=v U[| =9uc hm $3K#. wS IRc+ Ħ+,2\ouGk"ʀxԳHd@Ws/ W*c|_潲c .hB2(Àj8R&~n< PsK𾖶Y, R%q{Ehk|cw(')O}ƀ^<pl%uР9QH-1!I ׫HHaοǛG5-1B;Y R(!}R!ږuiTy1,678X#\.PBP1NjC AxJr-s3X۶u~ -wꗷ e[ $9DQKdy_`ϬYQ$ j=:մI}6#Co+?S!;ZnسqzD6 X \ȹ,[J3.*|,R r&RF3`,АE=|M)H5?G5e:K]2P##ſyi\:{FsX1B2A'w-]ңpڭ߲;]lA)BSyl."eAx:-/E/s@Ɓ+~;NqxR~RdTg \r% wx~[0뜲 ZDogCz эe L#!჌Z~LԠ T}*y Z9`9ǕL- Ӯ5 r 5|K Hgy4*Yf蚎6;3~%IF3P#pm E3~0j|_lOQw6G==VT)nɪhZ\D*<SgYZbae96cefafe6057f124869b398d04e44c83103cee61d7bad19c83358620faa4245e89410bb30de9a c410e6eaade7b07b89b00f412d8d8aa51c2217ba9874f55a4e6e165ccd03aaffc215bfeeb8703dec