SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ,%L$ ]/]HOL-Analysis:threads=6elapsed=311.729cpu=1538.228gc=58.044factor=4.937zXZִF! zK:]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰xOB9~N]MgcP]5,\9RqpHϣ };b qrrg;匯7E8G/ =}k%^JSUkkE%δbjs#Z3zbH)F`aO&*3O/ㄞ?vpk!#]uΡ`ڀū [tk'y:if{S ? Ѷoə}>1VG`$7CHZHΘG IQropttG4;\Qg ȶXhԇضWa2&x sVr VHUxxN8:c[Nkd-O!`kDV2*`ta)y6F{T:NBZʮ:dBÑ:'Fɸ tEWi2%_dXѕ<pޮcH8ХɫG*<3Vf`VN!o"a϶Wԋ&˙N;RaC--./[ʁѨV83y|,I0qHoYKNCssg۬B1Ɇ7 .ynMAΝ;j6"w.eOy GȻ-V+*>ދ qcL{=[U ?ɩtYR:\~X}u/i c}j̎"VzL:"Ho5W85+,dKz?ChF|b4[><ЭzYzy9 t*A1irà!ҪY 0ʰunEi{C7:V56| HY uvN L hOq1smSSj@b酗PT8UilLd+{9oXGKi$ I1S;H8v,ΕՒ(CX)Ɣ鳅*t.~P?2wXaَK./E Pم<$=cA ;O7~zRXsV"08! =S%[߷B^oc2#C1p dr2 % HOL-Analysis  G2S»= z P2n Iղ} [lᦷQe ̇>}lyxLaVB0nZ-V֤\p.aLꪲrjtcn:AX~6mC`` R$z6GaI7LdXj?f/R网L=\#9kM =&,&ƍ9f|gIۯ@BX&-IWfTў(Qm+\:.-zodfa\y@cbڷ7V2Ctm#p}|-ȣ v@S՝E%q;[rٿ6eJ0_MvFWgL%VLy{.f_|u3 A;߂&_ 3J*ANėG-u#تh]t uCYQo$vgyFpǺdEy2[ɛj mȤJKc%I`$wYsj@6$鯹{G1~lAMB-sZ(͢` cf8|Ŵ4aX>SmF{Wz{ [yǫTLJiNӂ?))VNa/Ybz[p&Z~"&taDp.?U,"aJi;)̵h'P/ruP?ee?Kpq[V`nN4یwy(ѾvLOV|US4^Kx+-t tx_ap_:Kam$5bAG k,{`nsSkvhPF$zZj!xetx99jXEX{[fT$kNq/ɁvfRi qHJA֋ݱ\ $/&M'hMLV[IH7g7 &wr9t kzx&طnhX` (tV":UIz`,(@E8ܰ[]c˯=6C`tiHݜ.;\݄߫^#l͑uٺbѝVp -G rA~i0 reγȷ'eg ?Gt؅J1> \;@]\#p_]5 @7)E׏Olep*5SiH)fyFSCgO "9is}qCc$BEbEG#B`ҭMF}x?E4e8oL.UdMZfjZ kߐz|z_9VNp- $Q#fV\ jVkT[:{7be6e['QLHLȠ6KcHGq RQG`#`]Ajmun/xIW^3 .ö߭&Cv^_ Ej! iҔ=cE $[Cdkb mgqEF/>6>^6j=`SwUw:ɷuw˔(aɾLcD̷^A\85wa:!F; (z!F Nyc[>F5' YGk cOLo4*?W{,u g $k|oz7*n:# j1$u$5|#ﯟAxDnvV}RN3OOG2x TUќg糖<>ayXxdŧժ"PF<"^ h$$d{ -5o'E #:Jɨ,5).MSg+T`T6acp$櫾0dhICC :|-ަ(}#Í2!"׏-~B*?fpƏ1Č0PuFR^GNi5&>Qށgɔݤk Re9E[Ѝw8kfX,P8l sqLJ9a4^vDWgB@Xa4LZQg?E_Nu$OϦ4, I oe>tn 7y #Ī-zH܅.٠2 r.']"#-wmOnn5G$'`!XGV&P2Tt38Ɍn9f[&Df՝*L’cAF *IPLm["02+'?8:T)QvH(!@%j>Feỵ%:-q28/OQu _ }Y$Nf}䮺\p"c'! T(JhwwL|(\οa-7L9uX>꬧=Sߋ_ʍ?9xԢ$]XwB:a1 M ۻW|Zg,*E!q+jN_ Lx}Թ3\wmۮҘ5W TKe3bHyz&'CKytߩP 90rU0cROi}x a.ZyVs1yg="CB4D#fRc+M9'`ɂ]=Rs2j0!cLsc)"cdsNG.ɞrG*m#Tg$߅d5(FCEŢef.0vXoxf6K p슯s|~>sʭ( îŋ%gR!z<)-/B"xo Yc|6/S@uJj~GU׺$EAn&B<"Dsc|;d6W5FyU)=:$:40W]r@fl.X m1'' \qVBG$%X3XNI; Y@Fq3Cb{z RHԨ툵 '? iX 8RSo~Ue= l_UqʾL>[a`dzű/ܻk'>b˧>yU3i\7YFKG9mć@1%`q !b×s_ )G4P [Zْٝfsk8 u!O~{0K殙td XUaF2&<ga֌"V1cgvkN%S!oy)mhE[}XTtnSc K7(5lwsQb4uu{|v.eL7nixz/ixgEꉋ'ځJ!|#.)su@}"V_'cq-j(7 cc~:cߗ:K ,z 3r /br=c[(aN|݇F迋iڙ 5"R/ިÛ(VELx 3r׊Y`R&#GRҚwK{A'T.yFWlZ]G zsGaūG,YJ)"ZE2d%՛}nbՔU0ՒGM+.)H!6Ŧd<>G #E [פ7@-ČeP3Q b&0g`}\)9F֮/mk WO2/} =4ή4WޘP ,{)=irRVl@J#{j_Vew'س }>U~ѱK*VV;@=rt+ʻ>+<PT CS:Ye~z5nj `)$v/wxK+IϡBr0 ܶFE :ZMԷ ڂMg5śqWyb,KA5vNPOPًakc>4GNM CŚϑzXHyhcp+:u ;ԇseVיWHe2[$nչ$^l:7b*wG?/D>x`l J (S;Кv/T]5GW_jN hp(0sure&)lHrl4!@LUǻ<7s2!Uɺ'uu#Џ}AJM*C] 6vAFa욷E5Opf.! ؓ|ŋ7;Y$S(:ܰ[3?_~gb:,gpsl7IČSl9 ܮ7$o]{.΃IM3o*(ac< k8@5e DkQha8I6K= |`.E21^t=ݾ7bR7*V4~D /v[<2?:F-[G'weC.Nh%gC D` M. 6GANXߍ aNy{ u7ρrYH+si@qV5qy8aW+0zV3։ {zPsβGT%m~% jkA*>j#_"Fe8#5-fj"R0Is &}@r具2U70|J[e@LXݽ(o1cQ5} o4'YuAdXC Ej=b.?xj\x޺HPDoVA;ǩD/x8<&ސ8 m;'OCPՄ.Ȁ9֥YVR?C-܄ JS"fm[\۷slP;~h7'5ĖWs<Bԕ9wfF  W\Ūb h L "SW"]Ѣ俩n V 'LS.s8b8ŨRa+rXx= 2^#l}pxS<Ѓ߹mЕ@|pʑrG%^| po9չs& !`UK"҆hʢb O:g_."niR֨#Jt)I˭Zn_RKQ VQqk<3"RSC|KR&}}aBg• YEFv|oXҦZNc Z Q:i-CC#ΩAݮ]:<g b6M$Q]\+0A X! ɕxa4'+N8ہw7gQC%%ř5^U3SdG+5uP/揄"p1OeN`7zr;x?@' aT=9_ ^gS䞝vL} eF`*^ 8v\>v<׬^rGXÿ hOwѐK6TZP$~N~}m +9{\E@@*t+ݱ`4 DժzCui.QRܵ$[9;"Y-aY l̂l&yڦO?"Ri`; O<^70̋y \ OuSTݎ>ؐU O4'?@y^l-h{$xz*oeXevb{bpӜC~뾙x /&٫R}E-,3#-aDLbfݢ3~V |X҄oDEmea y;ouTJN#Iܺ tˡaujaːe/-# hmg LAȩo]|]Dm7w7r{`Ek+^7N%txa Vc߰LRD7+,a2('mGmmœkT]#ꨒ^ѓF% nS /Z qsK3R\:tAR;eKU az%+lziLVK>!LC}s Q/ $^zC1θG;=[F|뱎btF~e @6$Z%(3&+s#䵵Pj, b1Ɂ]Ӿ-N!l$wxSiX"^_Ό^YN{ԢlXrDrqYfֺ? a^r/\P+1 [W G"JC[蛛볃i5zY(18lˌdJ1N ЯLfz iUf!fHGhFr;*TtnmP &hi_^ rgBkV dq1e(ۛ˱zZK^\س50EG6a3Rٞ7m=֑0t{ap + , ;aW^WI xfnLs=W3 6 lQ=_?Gyn1!ů#q(S]t>-k? pk0C(i9:S 7EjD*viXAAٳϸ"p;6+&j[%ɐ:XKa"`8Guf5SA 'hr-|9p?MYcL!5*vbÇDy:GfZX w*ͧPy=TߺS}k X1}(7yFORD!R]4r\8Wnuf (i n%|2XœXTG;ĦOmr% y}V**AD9KaMGiEh`y+U* GF3QzhcHyG×SٵtF7?¿[-DVFnfI_R3+֐gԟ}EɔG. eৗ!">,Ԝbmb.=.4o0]zm2B) ̭UE8u#ruD| '̓^sijL_ul&CͺGҒp<B ֪fO;η_ٰo&Sw#4VBo} m*hZ0 ?,Q=Γ{إX6z47G%tc(mS;b}p4ՋN٬Ո&Gr) 8VHި c`2^H/12 ?~CĐvK$s%sC4 ~(]sRˈ<C/ ".} '9UuyQ%y E؞3 GK[/wROB )ECŻT%3÷pW}8>6J wt=dG˚4Af 6Qs|ЫFN>ׇyÙ_NY}8O#{:L|P=Vުˊ6hY&+hפ~ndZgsÀՏ= "bBsdT'܂lD>;nkVB jYB[vpW@N}ت{SMmӔ)"QDC;W [ޜk9?;_/SIM;SPCt2IHY9N-mƥn Yse7ATL*D@)6?PQ^-SS7g_0(Ջ7*>L8K櫮ydYbbzQ;# (אR>zIsg,]uIt$^,Ϣ{Ũ(}x[qXձk\Fĵ2Ad|y2I3Ŷ{%R@SI9 r\У S3@Zv~n qֲ+"CB-A%8c<5r[薌8SPL9vW)b;ćOc(=] /.]mT=ePr%wqѢ5-:&ڲݳ_M}<S!z'vBJ$bTPeĿhPr[?{&,|dF= n.DJ ̶iỚ tLU=\ p䯔5=/ڇ %J'QygЮ{uƉ^˶1 )vuq-rƨej-&,LCO#Uvt%^pC"Fobk-9;4n38Wu' |DŽ x%+a^n^Oc!ً ifnpϽR"άĭ[p݀a!.y=7%2_Jpc#'- khZ)) JCe= CU6~rak;P- ZohVdo^TLiJr<}"pFtO| e⽽ ۏk@&EAi?AiV&ڢG2m7Tpfn<c l=>f#xR3>,~yY ?eqBajrx@em"YSK/BĢv>>o%B@[IN[\0LkA3-Eo.x0q4MzD-J`f}O[pv0 .ee";U)jmM|]SM#P5$X=D#KW^L,K 'yM=z@D\A"["a"wF)l o@]$RSIk*sb\O>"ikb bYrO\w ÑE1B^rwvP ( rϭ>|kQד`yx1X/{r}@x,Nyhlu}A(J9aD)ɫWBFdc' pWnR&@\^Rg 8V$duݭ^cO6(J-uۏiYL=?A൨79%jW>kgs,nfac;x tU ^B_?SH$a`rK-oyߛ{dPTs * e+i5Cd56<~t*f lbA㉐yQBP#<ϹlWymz%%}&Km-k932f<Ϡ7.9JH㔻|UUy39Be鞁Wɯl1sэRI:ztQHEcvj6/|qӷ:tCqe'X}'njp$I9 dz݂{SA:* EeA i(ӂ,X@B&\c ]NE}x\5=j1Gz#|ߋ9fڄfLdt$%ӻp/?ï&$/}4 7)"Gf"=I `*4?ۿ_9u/}ѡ@J5 "wI ;GYLA:!-/nYx [MA/4I)v 8`fvnCc9a:Z!oHbjrd1fpEӈQ5 N~߻@F4|T U/yYT?12-Oك/UV}P@YtڗǡܢYSА@|*KUǘD/pE48f*2 YEv%`u=r\E5y`cj j٣=;DyQ#2UyJĵNؘKB|@C:w{8gsF9yS_͕ 2CG'=W׹M5^\<#8h68zMy9XdlFk7^)Z{u(/UXW@)ݭkq41@\֢O Q˷)b&I"!'^Lb5uawl>bZ{3&w[p[zq9 膟gO,)=)Z|%(+m&s6-ˉkٞ7&u4򎅹X]&4zbxig;0IL(Aަ-J\jFR78I'>^SɩN≸4nubd|/j]0GRMJ676Њ`zeŚ> M L)2Y-+% xAwMT mۻƢZ~W`^,[IJ)|YOTGtj^_=tȱDYp~2+†R$>y'B8ƔvG.qKwNVd\#&x7#Pǰr=\D-, 59*l - /b5jd06I/#owB# Delf蕴o)n>tX8iv‹bIPIC(T>PKUu؛n'\`᪭M; v`vg.](c94(d@C׬dz4ϱ[▉,la΢rWY( KOT\h4q[%pŨNȤ3QC! ~׆/4?JBf:=tz^,vd`VGQw\څd~Ðl6)zLOa %nҭ]>'HMes#uDQLVlC1 pzN5Gcb)F; /tL/xy+;ȌsxMGB PMyҥ{F: X,⢏-DQF˘02b@u6\ZnAx M l%=bܜ# a2z =I moU橺y|]&#$qvlYZ jUx;$R [ FI=\U=/rw^/ovrًB5LN%3Y9aD)D9Oܜ~/zhJ{H\扟Q~E ".NZD~w~+RkA#P r@;DH֓<, vvvbR  4NF3Vd`')"lіqrΚ(s7w -:9ѫ?>H/Bз>W\P7@DK+{XĬ26/j H@iHGhcC:_(U6GCыtws?{(fxp:#R>N/7IZ4@w/!/z’*90prMg #07|s [Ehǂ$C"`bTcx H 9[U}Y7ʜAa丙_̐3DY4_P]X ~:!^X GV9ɨJ|d J-끗< ]*3dMwбvrwyg ^xqcv'Jxr^Cw-q9b4 4JAj4G[#ÿ"Mpd)dv$*!1kF+GI~=B9 P { lKY,l^B8-Y@k:}Вom XѺ$2ַ*%xEay]WR[ WER]-p9}b2Lr#/Hq`\YC޹ރ(/jiĆ¡")*aVԙ~t:]8 0!nIǓZ: q^jd8.H HUZUe,EA*wei/Hy$;n4J~8PLjBioɮQ]%z%#R('X$B^qP0\' ʃv]@tUP%Cn,V͞ڪ[N׻fد2Vs 5>^Q9հhsQs WuPLz0d)S#g_1n:& 5 5$'ӧkx޾'{U&PQOYZrڳQJ'Bl6nK\[+'zŲ6Kh[/Qq ?(1.wY]vVdLEhT)a0!|"4nWRSp1#FT0! ^D3SG"x >% SπPr@cR\ȪW &#+$;Qxq`u{$hai0<"`> PJ6OS)@ZZA-*5&p_2⛁d)\ 7LGQgYZ7zXZִF! Q_]ŗXi%@fb__C>w ߣH[u-8^=7!fyQ9S%: N)Ĕ(t9_#;27#a/n̐ya ޺/zܑ3Hfb-#ԡL)W"Πh=t>bTa'"!Q(݊lsK+ߨG).4pOJ(3uz>lPk@=`%Dh q t>_ NƭlŨH9j9-9"$)TGÎ_.ᱵ(DŶ!/<5J7cM$xp aXE66MΆo$ȴ͡$xIyzĬ !WYErB)Õw$Uvhe kf+>U4C*cنID]U!Z*1p3x֋͖@&A itXQpdex!!\AE_ٷU.4\qhf6sd6y,QDDL{{P=c8p:: IVUGґSe28}hJ_{fy*v ulz>g[sLHqPӱ\ld#0Rp(.RXT!ZoFY21_\b~F+n΁5evv"@D3%~)XIM@]y_` R%@`Lá[Pi5OK0A~?iKy`^8wBɨ 4 hl~y>|p"سl/*д*HtcwK8BRx]tp`B07ᖆ>> CpX0zƒL65?~q:pu508d糗>W 䛖T?SGZ&kH˰׊#v?]^g;mQxײ6h\Vzɽ6Gq5`uf壭Y;@JjL`nvJh8=K j6s+_ۆԾcT4i&|\.ոJrT 8Z[N@_lZ69N zns1 Z9C͓gT{g~PE>x ;]Fˏ {zQaSe ?l@~paL^Jh ivE\/.DDTkV[phu;8攍/^ɛnkNl-I!A~QcJHjya@CiG[x?J2 }E?ᔽ&Aɒۚ=0f} ppxln3sRg {iFtN_!yA @V.s׈JI EDx%ZLtƶZo&3\pK%&ځ5xlzб܎L_%hV")FnCߍOlj6'/ 3xM@t#XI]G50zG^^I1 -`C.8iX#uZmTXtwYb֖tMNCxhѮgz5hkٚgjMwOJ^ՓRB iGtWØUۖ5_|Z*ֲ̠R2hta^mL R/2u> GSuezS'b(F QvW ~ ZΩ^.AM!6Z?H '2Uj-g1d\ȈO_8~u Wm*g;}ŨjvgIqn=~W{e3L}onml1,,Wޫ|dϿ' 5NP|fp^GQF# 7{ џ[œJ)g;vSȪlq9uucl:~,b%gMAF&|퀇`"SQx }m`>WgYQ'CcIP{ՀN6åTՉm&2״gvHeY.c9ntAoGO9&\'ӛݭo|t$wJ&eӝA Q:Qp@ N} I"P&"PZ))cŷj_ Ta;̏Ocm>ױ'UJYLa{_H4`SY{ʹO^][;sj.hN-NP%nZUT@wcWlQB#t0jrZV(l2X2|u0‡4LB{^UF1GTa^*r=SLc =?~񕺞zlHNVa4?&y Pyo~:XםH- A.с( i躧!jEBªzRC%fv:}Vhu*eemfYG~Z\0j_s]G2Pn3`KiGļR,DV!tb#T aV04o(숁cC4t3 њojG3Z2%^|z1}gnnYp rh)p#vxӾkgp84xe)y8n(' XYlpzgiL*ҦeNѤ;&T٦厘zBS4&|F&W{j<;RT.+}>[)WM:5@O_Dw$ZmYH$Rrvn^adp >S iXx\\brGԨ|GKi,>|%}*6[shsa'yN.6y u|xVOҖ |5J*%@ԣO@RxmתTGuH=Tۤ㸳S nM]tק"i eϷ \ͦUE oj _рIam k$L;]9' Jra IpS\*1/WP;,yDZQ),wWW:3*!BwC1(`b]4"Pw5BIJc]MR;.pb}fTw#y^KO׮Ş2qsq "Ղx@mR/mhV/eLHn5fb7eR`&RtZl\c^ӽ @/Ò6B. J"c꘶ۓo:ONS̷:Su4u;Ӯ>:AN Q }˴x& \ė#6ŢV7؉zf\ \eLhdope>tO|{] k09/"ph 'C5t;g9сk#`,ht=Jt1,٬6wl ⪆E4:_Y[@Rq. %(#G{a-/<{X5PGjv#,i PɎ5E&&JULsO[C8yUpH?g!I4rHF}PLD)V "<98SU*\>HjD";L<~bKtm=ȥ ?Nbnu'H,_㤓t{HTGq_f UjƍL ZjOB0ړ(5yQQ8{jPql;[2 km2:cjp;g^L\_^y/bJS:%c:36$qX"'RM>mʺزœXPrҽsOYb!_V0 ޽.p<^짦U5'xV`vt Y5y'$w`/i=`0*w2$ vLs'$N)ӎL+ȱ% TaiOg_hm CI+,9-p]|@Y3(OY PC6sUn52MѲ6q>Jܳ }xa/IR}|u;žTRS<ŌIɃb RT<:Mw~N&_~ _W=uh֩O /s/X}YSDD  }+*R5bռn@q3ȣF7;AiR*rӂ[Z$.eԼ Z rg/5,l1KbI XzM4,_d'nG8GGiτ4mBeU?Nz{Z:ѬVt'ˡo^]>;"Hy⃗n]ľFs.>v7Jj6ԡ;BA3X k:q5uE=xʹiw lQ? svt{Zup '{ [y8;3Da :wo`ЧSj6 IY[,fWIIh(c/It\jRo= N^t;8VmAfPIEmz 4l4Xy/Ĝ&e7 C{A32$}˰mg{IJp<ܠ 壠D|tZvwN9JdffgPH Ng{URRc"U{YאtZC?L1ACM9}NH?VK*π^>RL|u4RbM~#3<mˡc({lmb@. ^JeC*ZeH8W$ ԤJ"/& ވrxxtuoOaG>ũp70oM02*W ^=`~%Y,S;窐}p9rqFEEB 8Io|ݕ^)杜ER].T W){KvbYVXa5-[`wu*UO<5ϝneﺣQb d9ڑA\}UJAc8>x߻SRV7bTBngW<_~_ѤT(@@{iyʸ6Y{[1*d]΋Wb|WlKpX1o&.d"c*a_ NAR:;-yAG4) L%(վcl!0%#?"dǬYayЂ$kO7T1svCMjÇULaaτ}1j#5'*1! 0Xw.~q(zt̄HcYjF<_Aio K%6&I=bHhg؋֬{tJ% [K<̛P&{ZK&ףSK.L5,u} +oU7C09x" yyn^$PA27t9*%+^$]3"?q ?rvV/(ӱ-F-\ްH2d2ಒ^m=+o1nIRtBwQI^֍Q#} xrxaPkgy?V"_> Y/e` 4"9g#ƜiӖ -ƃ34,zb}'V͍o htc ǂ B.^pޭm mko"& ݛ-}¤%C!(njSe rV>/ˋ5]C3b}1V^&_JLƙcH|m3Cg?m,8lYHk$QM͟Di .6> -3Ѓ!#ؔG**k17(!C~럪:fs p#u[I řEmfn*k]>ѷ& OT^Z9/ k$z2K?[|GPc.XK>/5>x95axٕ)$GBA f-]yY澬dedнFɍKZKyK[1dX8@0R<#PPQZ6ɳЭ9ybL+QhiȨg5K1n$9|z%..t7WG;kTZ<ZԶpmA_PCzn_VO5f qa~Rh?\-P@Q/uzQ *_=OB^ yp#Ǘcܶ^8ugN :7ȉ>uAO?kfsD\G !G˧ ZkV_5=J̜5zY8W qf|^1w 8 }!B #v?'Y wc+*'O2t;"Pyڑ@`DEB|$`<|Ƴ`&8u#,xߝ5h^E xolpx5V[tti&A*j&|8;;Oh+<ԡ|z(⾍fOƮ26'i0gxuM֎r"+^gzb8j ׺!(uP%qhNnM~fV8o3u]e"n [GlںόOuȽӻo!ߣߛ#~cbV6~" D&E۞6< CKWSmv¾-ٗ=O^r\FXɏ@6x5L>,s O@ضRS^'sَ tS\vуy?l{jklU:j _YMA1$pKBF*C5iLRnךe w%&p)_Q`L K (99q.=Ŋ\dM%">j~egĸ Ж8GB-\JsFoJEfs恪Flm&4>.ksWbwEsLV4ᆦ%@26 )$,\H-AoV7*S{39ӒzЗMqxjtѤK'Fj ͹e G?X>ş/! L3!~gPj~pniX#iR9I;[Sd]R|:Qu "%&TY+\Bc~ktfa5Bm"jTzFq Bo|ܶ$@g-[¼ӁzT HaGjzlsD+!?u!N0PL左Ppo9{ԊVm;mw ^l"M|[ CoWY>r}Sk )f`~qՊO%Tg\:Y&fcP dlԩk >9-)pZ.)ea1jM჉;z5 {^4['"?E9RF/q64s=&_M6o5qJ.-$^Fm6Vw\0˚jrf= ߈y½ީ٢R!v]m-xOpX n]7oJ4 <+Υ(5CΊ2zA#{DLOmJ8b(Ѥ3[&Mnze95ߞA?&K(GW߻8M,;h@6bv:\UC΀4~<.Nѐl4x䏩eSGYfV#>;NGZeeѝ}=L֋[՝lWOu(-w1GZu,Zz5fcK{6>KG@Ӛ?Y?1IF O n7$ TMߪ!/$5ݕcYd59%6NƋ 6uԑx` Ԡ]>8Za)ݗO7츽w&^)gsr5P踬/p2 B?r_a1* ~᷷ %\ݦ,q)iMej6Y.cou٦6"/1-fd+JU[ϓL$,' hjuYUqYI9Cy޼iG], H+N`_#KiAؖ5[ҝXi/~g3]xEt4@sq]C8[Du.#7яQ.> b͵ax>Y _ݙS'XR H%V5wPyUmQ y%hz󥗊ϒ8ā '<.9W07PPDWOzjD/{T@%AG|B 6ֹ HipV/':fKԊW:em<|g #epTm[2E}" Mxij|T108:CFx [QbKʑ:DMA?/<_&0>M 43EgEj#l[` C+g.۳%٩E;2*y>q۵1s ޲CEz@IOLInBOz>]?R7-P\<e"KKUP$#$o4,Vu&z[ {ǸJm1VV>y*\D I.Տ$Eԁ&|uP~2x4"aKᶤI KO$!F(g$M0:5p :(dfg J;!zpoib1$ t:K _9rݸզ0/U8Jf5JAZ~ ͽ_$J f#i%/72L!c~]9?v t[]G v/lzW5 3Op_֠L%^f tQXLgYS=Mz~Ei@ P']gșKqZ Q 6u0 `6 #b~މ#u_.K= UYC,pWrnaڡE:\Tx3/!ZW^ͅ`ѱ]\̔x;bfgKD<<*7ۑ_VF9KɫġLbKC+7DQXYQ\_Bz4iN'ȯ`) crQp Ԥh̃܀WyP"Z~u|Y!W˼:ޫ}SUBiV$' -y7#J)u'/UcCVOjAQe,,12tFJv8 |m\Q˂M*@5#)7{  U [bK#d#~!k 8[U_? op,-'f>S/~9IPfq4MȊT]wڿb)0jm#7Uh3_by.68g[NRKlp5>NmКjK3& EtK$&AiTUt(mj[1F9`Uah^'D";VSbel-t;`HH X2`|R˹Ĝ(# B1wGx`3hM9 U:n#.(كe2s`4{Zάx$=5$1_ !J>S9ɭޝJ5v loTv'p fiܵAr3\GSAύLUO8ѓq4 1'{h[L'LZm^& KАf,+O\T^EGW''bh0`,Lg/ɗ'EM-'i-2j5=F}wEdu.Moy6=CDG7@OUW ;/OijF@B!D v ;6f̳fot/?E6&MzʖxvHl[%1?&坸ԍ({My,ww!|0TTv\)g*ՖD(:ZD,HXGzq '&!ГJ~ M #k@ !s^:wZa &Gj_e%nLNk7diQN?f|,"BWǩ E Hs4} >ٜcsឳvhi{r.ŎWoL ;TgK2G̊o@))k@|_U^jk5N6g 8Ceh`El9&8# .sZI 3Ca7qr(1 G7J J;grqZP93F}vgx3'2Oܧ?QDUO+X"ǵ .M>2:<RD#eIP ۅ(qk xE cё3xNWYAK LJ+$,P<}+}o=^%ɗ>_ щ?ƆxG' 0gH^XE8ig3H0=Te:w{~4rџp) #X5 ۑged9p\=u> < "jH^~csi l"waj#iP@y4o XDZ'ht+P5su:*K]l lb)̛#ۺӚM4!>6sREL9~Wp˖'g^w@LbH}pϲZP Kf,nU#Ë́ /#qDI=Jz3bAOf|φyG8M?nh^cj4u(3 Z@6XwdecRRiF8x*<-h} Uٲ*`D!n&͋߶ewt7+M.jB` B.a DqLBZS.5l>mmHƹ]7QDv[’ O~w9;8 qXxp-_f%7 m(y/Er<.6+x&94&j3kxW2 @0/ Tm05ѕsOIIOu `iwO7AڵcbE'ӷmf7ž/`l'P r_t(@i74(BȗL[B~fng=P9 DHAKEwwAH"'+/-qK] a<O#)CF*I.;=*e0y OUރLSͲngP >^`S}Ѝ: bI+INBr5θ0M5]/cdƿpjhEAO3Qc8K`ܘ@]Yp̆$.IjHrs)l?A٪~4%?آ\iߖw:/}tNpuQ ۯ$;F9 ÔE(P?^˛{^z^dyzY!?Bi*EM#UaO^&Oϵ/榊||p3}ܓjoZ4 -m.{S\XҦ"@E8v?mu>?Uovq:bǼ4=f `s*ͪk|zHreuU/$grq^⧮m{ "9hiS\]f: )|G$XTXG`{f~ɦ B\Ƨd/6]? C+ɿ?j`xxv,4IUdV7>"Tqx23JQy*ǃX2Shd`g#]v-VƠ.DȻ$;P\ʍwEZA\@'Q^=3MF z`,AEЀh9L\;et?ْ dJ@$Eg'wڶk|L̩V4ȋc߁e!pU4gB \FT?\ߋkGĽ-gLt4Ws"SF_C-y0vj 1͹=+Oc*0b;zO׻UJtӯU)i])ܜ{zOʮtWn91'adM?ϧ{Myzf#O0cԽ*39Llo.}.q)SkGW(7)-(Oqz0Yqۉ[Z?.M, 0mߨPX:_,5\m0&A(DZt]{nٰ͵ `)&&,H!ƕES d5et6pgLM#l(1bOagz%IzZP"[f, |cKl p~iǾ> % rV8 fb+ U;/+!m幖~#e[iO(1yDV [a{TW1!5TXl)9H*&&e%hX6jq TK kĹP i/١76C2JW?Cbr^T#~"w)O-OyRTWj#4X&8YYaPD@ w^!R|sT :fՖ 7 hEӯ$7{Bmf&l)A'^py6 _ 7\sRurܔ^,JtduNs⪠:':QslkUc=m*6+'җcG87)b2+ޢW"(Try% ?-uDsჀb4]V!LR_sh )o_ ϻ͈5t:\R∢biK:$? &0)p@;RBueۂ!DW`!٢NjOI"ps*\CH}B3sgaz)dfx\ϥ2vR>E?lrbPU<]}8x I82_7nln OW5&R mRgnW)Tz QEmBfEN U `LmtՇ¨CsKl 1'frmoXhAm2Nњ(0~?/-; fsv։yM:h`yI7gBy ToHϨ.p d3cfsB2="6Wc, |m)@Cуבt߀j+I`'J5j(8/S* MٜyGX~0T%|!؂&h!3{W"^˵pf$I1鯢xDt Q\ѷl{L^OGJ4(P9p̫ZP%c'>WubxK-_HtxtaCk`"Z F\ͻO1p@5uY?0E&osp.ήuxWzV*xk+cBo`gtNY]Mo @a^W?q$ßǖO#!=ppﹷ4Y|)^ (p8FO RwEBoj>6l܇Ѿa[_{mf/t6El,fGѼms*p6}Q!y>?Z+J31dLз\:#A7WIg&2iLڱD/R 7щ4  =YU!aLbksY:RJ, Gvu"o!w CD7 /Z؃HJim(&`]IɆbBRHu-ds4qR>g)dV_yK*yew\e^`Ǎ/@ 2-<IJǍΕ_Vǒ mQ=#=i ϡΰOCwwTxy+:CVGjNow<*NȊcRT 6c m::Z 1 Nɓ܈C_7$Jp'$RgD]x%I}<#~g OW64˄2bKҘ2|,)u-_yaz!2R}7-yNFGfanG%WH_1MTeqᤣ"ƪ8!ZQuGgN7 i'C_Y%拱a{W/qpG8/޵PIiϐ~U կy=#1qlc\v~Qps|5f'#% pk #*آ'nQ*z [KVb y +l8->'` X+:v=JF8Qh;[LmQuk<)"%FH%,6Ĵ+;Ob.6ܮLۘEUiL8%]etoKy*8lb7OIڎA#*{hͱ)9 F'ԗFh#yw@F9D*3K@Ylwb6Uzdv(ӊla\ H5sSKޡO+$1 嚲\Ya˱eFl 7k0q=C 4s xvba[zZ{Dh3'3 {hekSW\ql;:;/?"RpHq -s= !D^N2 ,RpP.GqSIVm$ r˄7#6 ŷ%RcߪD+WS#M VvXd}*VEPWLG*`MFaFnKnj407a|gLK+ljj\[QwƊ3` 4WoڭPǏ/US ]#$2j|5NqpxH~ 'Xv/9A[&5@޻@/SLPN [0+oBޫ2PMIk=Y;3_RlJ8YrE@_ 0y]D6ârXc,Fi/ؾ>ҙ΢OP^=ϝcOo19utZ/q궲hVޛzy#9= ||)?w:Aca/1<5/kgߢ&TrTbljOjcڨ1LQnRt'$UDM=]E'r[~5{kW#WC1Nx,zwfG̯N./H\y4 y.Z!1>AkD7' $9y`2gC>-bCPK3Kwn[}deujchIˍwŭ̿y@kmE\vl^>ApT=zY rg%PJUu4 ҉`*MrVkN5g9C5H@Jذ6GiZ}[lW^ E7 MO:^25B[a|"d[cݥ[P|:+-gٶ#oWX%m2~B*Xא}iRg)p8/#=Bm[R7J(E7GCR]9V:6,>,na詺ɀ]AjbpfOv\>%n=&ct(8\xk7^1xPI>!h Bg`6Df`)yI@ 8p[;6q*aZ&]2C:Xg>U9 ^B[,Tk@2%g*K&H󄱊t%g8SѓXr[ߤ~޻ <|T&_&a _j3˒28V=w3 PS b\BЩ9dj})»)✋e.33kJAa`R+IG@S:G3NouԊ[!Ugk&)W}u߻uޟWNAt$"7.FfL.>.몥"*fXȂ}|>hlń`wbA^MU߇Ǚ 'oB-j7c:; h2+0EnU:CrXP kbs^zWMatЪS ZW.+Pjet8mb( v?qx#4Xya5ET$Lf{+R7z*ҡ"12}/L'7%oVk5&RKt޸̛"R=t2]hPu70^G)٪<{Mx $"!gfih}6$<eGqLs*QY}=h ={g6URfdod[zKU9֑ < tt!C$7Ų>@<.'x YA\ i^n D<i50CRө-\`8 庞IC! eWipt/A5NĎsi)Jq<1OݾCȿxğ0vHGĵcejY҉,ϨJU]Z]INeXYqhjMN=E^-)i+?z +ġtF|1={nTKy,{r.WvuaNFpUpB@ (,X fvf{+$r7X?4 0zQQTGMci3oR!!WjWP7ej\mR`9ܽa%frk\IW46{3w<@ Ww*/cY>*C4ƭe_M\_I`DJHk@4?0Οh{B(fdWki~ȅ*]`e}\v0OD_@=^spG<.lլlz"BÊgYZ2c2dd4b25939a58849ec71e62da77c60c42c9addf773f64b5324612793822c6b9168a199158bbc25 919d4d74d5325321cbb68f9d83a169ecec0e086e2c440c36ef60c07fe83fda1d3e2a2bcc55ec705d