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 7;$L\ ]/ HOL-Quickcheck_Examples:threads=6elapsed=76.445cpu=194.580gc=7.216factor=2.557zXZִF! `9 ]ŗXiɟH)0%ofA(5"o͘>*8sݲ:!Az)Uy0DU*0곔c6qȞbX?2ʠ!r;p"m ~C,'yF f_ӬN`c iGSz:JZ!B*5hi_n>f(ek͈BFj`o2vY~gd ]/3G}QɘXaRly 2Kd,X3@LDsyZ kyJG3<7⟾ysk:i-(_ =fR axa~QcS5Mͬɻޡ{ {ujAzy E;QB Q 5^mCn6٢Kg|gKR"L7y>kK* 'q4ifÆ hdA 4Ku@8Xgix}p1g2.,2]]C( 8go~O]E |RGAȵ| 诼9[#Oc, ́R( yy?'u-@Cypt(Y݂ճ9. W Gb-޷Y=zTWh 7*H:)XYx~멖DP/LwT}Yg^OgK@HU}ii)*2TMrFAPGbD ;Yi`nl+WkKl 㸛Y=T'WtbBJB&:kh@`bӳ3`CL:l =RyE2JizA;͠F|(Y*g&m^K b6+@I||}rwCHY,UIUkho(saG<4紀Hi{g~ᠴ-Cyto*y ^N+'~KQ+c7%\1 2P٫Ac]%dgd2/=y0f)y׈|P-aw89O2suAt('0@7~ 8^dtyTee4R+fЇ;OJ]AA^ƾ}kWVluRn }SOpz>{?JC Z >G09Z4WUexFgYq_DoūFCL3nIO`f&h{:L-()Ci5ůE %'|Q`'b$)ϳ+hSbT`C8{?0pBtj97#AW2h 9CZ+=.r.iG/I y>3/lHNN!K:Z+$y`9lS<Ӷo_F8>+e#\D; S(92PWA3`Reȇx~WKH6¶3p!+))8Q*9'E<9CUHO|V#K!`s<ҵd/HO+Y xP|YƑT*n'v|ӵMp^vD9u>fߏ;M7EؙѣQm07SIqE-xEm5 nf:k^;d{Tfh ^KiK ;4޵d{b~ Ⱦ=OidHj*ro)T+5-rZtUv:+ru`iǬ c27jW@ ; HOL-Quickcheck_Examples  :HiD8ND/Pq ]mUL`O*  `?T|+`23ZΈQmky&W2`-6BI ->̍ OR;3<.H]TM*;iGe.|ނ *H:)rEG3RzDE?N>A R̓/[``b:LsKR?D"̥675eJY'5)8O43Ax9-{F XհL8]?7ߧB0bHHGOzƵ`Zɘ5J}$yc$W1UhWWb_FT+ySN1:‰__ZQMi ]&=AճC%/:#t2c-QƑR;FKT5!#ݶon<ߔ>T9.#3'}5.s!.ďVa3!ҾY? 6iB+A_*r+8N Oitlf"%~X2Kޟ*a5WG4vT-l븭Ybqpd@8noHu޷n.wĬr~wf0 b_7>˹,ݧfw`g䇶iö7ѩE 4 q⣷u03y!Mm~^؏< @5/d-Ҝ= 2i8;N\Lp:Yr !,*]dS sVoo0Iu]ItvPϑWy:.~5`):bl~pq9eF y"9&lk3@ M]].ʾ [dYM]ػf\g^]lR 껽U_obroCC 288Sdn}(H ?kLc/G?+[v_қ@듮 Y )3ey,*!5v,v1UcK nqߗ#t̙@R\&zoZw)װcb[,P F5ljsY9Vld7;i*S!Ek%~òZ%(7U%ZWqlsIcViɽ~`@`vutPJc] s)úJEWbnV8)lr}%ni&[czkBxwǟ, Yҩ;{ü1~3ĉ}sKڊYw ðNXD|hSA/봃 li]]"ML݀rͿ" *,Ki l#r&4*ux,wd#O`}-åPRnRh^gęf \$zGW |^0ku)"wi/'Cb9"=)@a΀gi2n!fŦ:΍ƻbP>hWe1{]4\ws`(7iCƐR҃gꢱ5斆Sn.Qy6מAjȶDoɖJ JKE:"s%ιv4 [«W|eo%Xoi. 4.00jl.d.xg8s.YUlBnrkQf6;W+//%v1C~U!VL4l4vZz‘J${uo4f6s毻Cs.w;"$t"ghVKfuFc<8)j%^?# ߐI1J>:0]_@U}6+ݿ^Vv\:H5?G]M`{E`p`#ܤiPLyjSxQ ֝QHr=1:p+EϢ1EZz"Li*Y/Ϡ{c\'>b&ݕ.\Į2ST1ӈ֔8NT#X171w7 \-t^+sY?k]vFB.١>\h nˇ4 쐜Á5 KTj6 |ǎO$nl(Y/Aj n=@؝8jlԠาI:z8@᪍,|b~GIu*EڌMz3hֱ͵V&Iߡ_Cęf$o~P9,#G=p?儙_b2fs1UugQڃE .qݮݱBry\Gx |psd$5HO'`H {yE^fވP| l Q/cP&@ U`) %[rT+۳>0X*@@N*\|KL )M7)uosh ;ѹ?X{Kc@X l c U$ ):HmzSɤ"C[xJ _J]]`B-Y6OFU:H5UOcGda^^!`Y4dALs: jF}^[t??=(t/m0m _4^]$RmFx&[?0xʨә]iqǐQn[,CBVCA%ra O]P"v'NƞvK[GFMLI D7m|{~l><ctNVF>DdhR7]<ݣp)K4ӘԷ+NX&1y` 7WD1u}KGצD'`p;Ff,<&lê6H3a= *W l֊<$n`WZ^>MQ /9 bIEi:K m«2Uku XeD3A( b,{)#i񰇪^Vu1%%_rJԀI}/Δy|91dNE Ƴ7 '"ܘMb&vUjkxWvL4z<~W=nta!>a]~G-'4*ֹ|V_33gOGJLCq f PFXB8{+3 P0OLxnL~Fp]ό0_]` tC 9D`6c1'vg%إqg~FI׀wƝ5Xb^YS]U.WT`6! CY{=S[mn_>|ln_i.r|ZP:S[9O5Dca/:Zr0fmB,M/`bڡl j-H<Td8]إm_Vt(qn|9B  ^=+{6=UURb۩Br9մ^ XV0|(ùʽя6 3{4_U]2 V)J.& **Y^a+ u+[d}*jZ7h(JGŲy`[nXc?=JAh;Hk(]L0nI^jA EG>KX#sB.u47J1R|`Pu >||M FDMnQ`O7-0m4 q+^K.#knRePFY3#L&Wc=Au,uL4jR$ȑ=(] tAEN0j tc܋j&WpK抱nĝG-b7gUU3B5iiQgy_GMCx(ӽb!{|LՃ ,j-#3T4(@^&@)SMnM1AMp`1a~F̿ޭCì&(EXIc@w]ӞֈJtԣVϰ mhvRކɢ %b|HVf#nf5npctNT?l9~a ͻ:Ey*I}`|+>:,v;N6C\kvw9[&ợ3 +&i?s;ͥg_PF;Ҟ{J>>"]ӵ"ژ,WHaVk(Nc,8{w'"l 3hȢA3|kU^|mB6T[hSqyy[vxUřKUp'$x!-h @LTNE6*5/{ݑX D&TdgXdd=%B*FDјlhTβ/̼>֞8MX˻S%z>`*D /aWʝ̻[~PsEg)uOO&8QT&^s%>Rr2冹WPVҨ{߬Fw:3ߚk398F5weG6 A0NI,2hk^m`n1dQ]t%mbj}+һp)+Z'x"r^ nTӞbyk kaD۝=s̷f!z) v+@^PUئ7o`n׊P|lG#S*StߨX!?zre3 ENAC3H_%IOT9m7MRCxt8Ǒ⠩+% (g)\F}:82*O,\XB(܇C!@DΌPr1yb64@8DnG"%/o$+W:긪qq5vNp1Pp>& ^%,)O5\֎}̻ 2}'a797Bh\sJ>֎:+ Vu{?ro +1I/.~Z4-ߡRUX yq"35.,q$5xmk%ơ]O)a+*u'#8Ү]޿4Ƹ TXWfgt _ 10th"__J # k;)oW8t9-.tY]lxzwZ@UZCs(֋Ҙg\5L3HC/:=Ԭb0MnsI`T\>C{a3#_|1W|Q6V->(T/Q7FW(?FyQ%]N@mgԂC>46 %x(M4jϰQofS\eQRڐHHY:-%#+VI].'gO.虹`+iv:('kM$'# ܣȚɥyPK1^'VxiU^ ^gU] NȥCqգOaj,PE~= 8 ^Y, &EY̏, 71El|IcRb]8=3vǜ0`x QoNpЊ\ w"KoAv\>oyH8(pȻqvi|ĵQk'$rE6>ncAxeFv {|¦~K mA=2|z7N=2yիU.cɼ( wδ^فpx\Űj?rP!R8$DFeݗ%ՑVzƷ^*`{!B= RT|4@:ώ)#G~tQhQܠ&^%G46˴n|>!^م?](XVT|!o\By`fd?NV;ɗJJmjnhYqN.l ;T;n N-h2e[ 6Mm&ޖOji[qb(,u?ꆓįi'?{hW3m="RL)m*iҖGgzYw{ㄈ`hыǛq*Y%=&wW-N:m#Uدo ;h3Lui|o0SP Z!>#w~*Qmy`zE2nk kaz_anH6a!OQ/#գ9ObXPH+ ~-DX.kFvh@r8,k{_GJG}/"4U<ȩ/6=ܓ$MO BasNT󘬢7IM1ⷡ OvV&L[a5!R7-M5J ,ީ:u*'pS#h̛-Oh'Y<15VƫٗUq#0Ą0CNEVanxY,EfPSVkd^%9>(aªm+8;%޻K"] ڙk'ew:[^0,ف.Z,λ߭x9n`)v 9EicPRs ᥺u4k9]>[U=[7dJ胼&RGJQ+-WM 7& |s *{6tg1+dA$.JaJrciLå, c\ 1fH^iIU7ZKGHAs[frqݬ>&- Mӓy:RQ-*e\y̥|M)^b PvG+̿n Yw+a(m4$s1jVr]Ya+bRI\<k-W33FNW hR奄spJuAb aX׽^M{$x[{YZS93|0k#mtHs=40 5Xbׇ\ÔL/7bo;g1 maRNZ)#Ūs}:]sU{O52p Ŕz)i3<6uhOscBEeAMF:&)ibV5'G!)=&ht:ȺeU؈)WO$dQ=՘3b9@La;[;RQ] XD,Hri3okP<)GƇetGkXF}I'ÆlO2(Gp>K*M9xfI`d=Y/Po=~qL?#zϻD-QE#DQ'l[B97KY}> ]H@e/tY D}ŕw̩sI+dL+Q_0,Nt Djrt -R+3DkHwYу:KH[xԣ3%!W`3$舝fmvQ*lW">9Xq*8IQk-oM CG^}STNRbaE;13F}NBvA(>%?$ V򭍧VJM#Q~No~=`\~NS} RXqӄgWhGvdGY N#7m)GSpFrVH&][1+nΔP9mͽRNiEMEQ D/q턿(3ɏљ ޔ7[ ȳyVD/}J318Űn0 E}1b>ߵϸ:cVKk o,}z'%8HF}k:k ,wE~g96ma,ԁm[>y/'}͞]©wכ3*g߅<_.>]ӲӺ0yh%L Ӿo5}rW* +*,8XЇ|3Ry׎3cZђ/o@2IN BZv\S1~MȕC:yl e:ݧS{^>pU+[pJLsvR|\6UJ^0݀6(8Ip\~PmF}̬ȫG騌ɲ)h"'fdjEY l o+xc'*KA^ +`3M8(48A>L+Ӏ;y++մ6c^Zu>_1 %ESH`@`JZL'"j,&# .X/BoR8LRÉd}bV!lr(Yܱi9s1\tJ쁂y ,LD9U-qWc7TamܨK[Jz:$)pma t*1&=͒ 敛zKW*X* UGδ Ѫ1o"VreR,XxC-+C.5'VZ$" s7|$'{d``Op{f:P-~J[ =婫88ZGjܢja ŧqS q"7 Y!~8n9Cj"̆3=ep*\9j$ƾiAYx[*p-ȾC]7U)SSj `k0Q3CQ6q^MVC@]K@VګO+yDNB5tͮPo?o΢ۅ`@- CҼ[F "+El6f㶊}C`!֑ZOyj :ǡL$F@>v!SI25\|b]oF|?ynJ|=$@L^,9-g+p ` ZZu1ߋyA88ɜ/EZSel ޾Ң}LF`jUS ׻B#@tUZw!Wz~;}U`G扷&ꐶ==]I.djO(z/WKcR vJ*zo lO&lliGseQap G1:yhSq&]J sT%+H&%o;F(K@Jv64kW(,c! &%jY_`}:Zc] 4y#Դ87]+onm 9=,˒.j/2vpt7OOP.(d = D+\䘯}w7;v}>fi=k:H͍E][SwBX]:ss-M7w.R916?4Da![ZW-py0. VZQ[h}{Ν䣎rRQgՙS:wCSvFV}t;Le wbYq|\2Ȫ`Ny}'A:/sWoٺNâ']wi,J/lXŅ%ֻUSG܍` ^g|P2?CDN$_ǓcOpN XJFŠEd\aoQ[OԊBaoK6^R/IaThΏ'}n,Yx݆2ʋ3:pD,ahE6N a)Kz_{:0eK/ZL z1)Zq1RS8+0ypCo|P3+@Btj 䟈;z|Ox@<-!jת?]gkb8|#oɘ@'y>RQd|.zky/,_: 1k̩?]?{f!2.uJ!a4[AZQn$,Wm- [m4=SΫH3؆EX1+Tgn-BΤ>0,mI~←Č%Vwo8:E!H)ߑG7լͦDNnI>(?3˂Xo[34ok$ycNRs"˪$"ݘcXt9 AddDA˒\=R#W/l,efJ}7o2`U*mgwW T=(dR&< [ ;Pܰ z" ";̥/{lCH!r6O|ٱVw<=$#{p W$m@C :To "m`v44@[RWRjiz4GWtjr'(I̻f~XUS513artsl.;%\v9<)n1) p'Vn{*BoWW+ac(o_ˆ~?s]VȀ_Ta[^$ tQML4Pʄ;tGEZ=hi ь56}s֠ ^Hn(d5&+Lrogr(FW=pA2.LՆ!u46KFe}V{yfksCRHScÎ8T,FJѐlg& gK NO)m{TF*4Fƫxo, &h׋J6`+e+\Ph[Mc,FT[Sݳ!UR|Y >dvOyduΨqSw lV^H3 *RP^2[So@ bS{p磙UR<r}1D_ ɥVHI.|0Utx&rFT0>]r.3svyvʚ4M"u4MG,қS:ѝKȦ(L =uW]Mx1,sfxx6xћ0a]vƫOØ'Aa{<؄wk}ەKqCEqѳ鏫:4~ʎtmQkTbȎgXOr>dY8RvT]peG[+C)N>/=RPQCEѕ[|'I'_:EArTQn. {^g\י;7j)P}'HO!^,?( {ۚ K.KW*O[]v_,5 Z=+<5t16Ƽ뢙8gvp?",5\Z O5k\[͊7KӞ>Irʂw1bA`饅b*JZВ=~"rflä́oҀyK =:2L ~˨41osߵ )l0E+= .DP~?]\Pwѣ`j>m-?hƝȶ%9sBҴK2*]j({6VŌ,sm%R3gc +1إ޶h:';>=;XU(obET6`yz{D=+ xjHMIV2-sIeT= kߏo[yN, $y Wr4,GL]|w PE!%h~ J/E 1}"qZݲF(G0OYx0(TE*MMClœ`]l2$/e\)R)M>6ƍU=і_#@i3]@2qY$pH岦ƆDQ3>uI3GL`1CX B eYT_\NUr3⯀4 ׾=@k~nφ!(3%A@\ #G#N`(plɛ~|so6Z!jDUk͝%:/F>0 x%;hi1bM797.i}WQH8$(@?ILIkؓQ_("ШH$Z :[>t :WJSmAbopnD,詨מR ڇyM[Ahzq^#YS[@#5>j64RmW'u;‘YMxocF]/7Qq,/Iol<^ H:֔y绮>G+he=gP驯j pL&A>w%x?m۲Lr] ET HbsU@`t:"F 3TUG坨ћw.qi5;}0-vyG5oc^ qc J`[(w*m)'l{_P8|, _:{YMzt%`iM{w*+pc+ OX@kw+PrE<<L/ҩPLdA_HWf?[8WMp}W+R>˸W@?Ҙa~8n#h "+`bgh9eħyT|D:%A E |soy6~>}4oOŎۦPg{ ps{G8њKioL4 +3{41_3уT,ioFn_@ {iBkR_Qn+9E*/iԶfbCAuķZ%B\^^Aixԡ90a 2 Jt!XIQHбpzȾLv5+zΗ``p7%nI*r' -'jZ/+N\mKNYvF*\.=<}ܼ-c슗AӷEJG# SSD1 8Fg o;#ǩP/&Oy+4c,pmvi&g-`~g"}wXD7vDE";>C>"{@d@hκf(Aή`|_bTn>_{dwT+ϷҭpXANn[ػwlԥ> n<?1w7H׾(a46jGj#:W60 _?K/u01H e:ޒeƕC}Rå Ťs,Bgxpu&dQ/p8)Ϻ3ޠ%)$Ao H#^u[)r"a֏P!MO i(ulB+jɫ[k :"z_+mg`$YBy%4bg%W.p8V;ֱ$pG*I68xzM8B4 B凖@]=&!dșQCm1ťn1Za^ι}xZh`97r-3:tf hsM,M2ј%R5,װ_$pD;u&~2#&eDط2pSCmp)8845t+g x4)kcv5Wm j(^jAh[\ڭH @4~*m@i0q)HnXwǯq+g0K\Dm ̦֊d_wjH`ek8r#x҇Rh_7yl֛1(s -ZpB†?VS aꞈKW$V6W҇Y]6(ժָ=2iOe)}xN/#z,u԰a"T n KAcEL .(Cv+iN#?@/ Gk;T{36nB7CvyƳO{H|/ ^4Sasc!(UEoiqDt0W*#q Z}7]+x}'dzk3f4L'K>騨>0Zڱ5G}E %P{?;E~ ]a;uJ]CSAGOԒ)Ґ`[xi|$`!9A4f2Se"ζ'tq O0[링&&@Q=ǶAqԆkq ]Ykq+mj){&FŦ; 76mqZW xLEKHRr ܲv].UFAۧT `9̇SR,&>#%mگ> MO,RZ:$Bv$u[΃X3Bi*\y(C_o$_xji`N-s7J FBDB:W-Jm͛"Maed Eh%X.d<͏*L& *=΃,0uN/AҴ]1ͦcLӓYV&^\ Ō?\z'|aaԛoa(nBһL$4ޘ|Ni@~ |ЛnSrN~F^M"^qAcFS%%QC2ʸ(f;tf6)PMڮ0Z Q\4TFZœD10W1,בdwO,hВ/$n)Ļ/SWpFRoDա|i-7Njt Tp夃ݒ,n6-eۉB D_\dEY{axͬY>ZoG$Bcz{rcv@Ɲ.Ǟ-IY1fO8GRvr| _{ PK\xjڂ4AA+ӝqIr Ŀ+}äϗFTOn0bTc(b'WV蹇rp;Ύea Ojqjj3x0F7fnzMM4k|s (#ʉPuj|Q 8׎=+zx*{B/ j i0=HnEӀLtqQctΪHp!і!+I([\PR 9&hee .!\|[JLߧ ;Ēal#iB=qf+i@F% GW9оj`Bl ~Ә>;H\+Һ+. ]ǽ/QP-&mr0؎#Sl9MWg 1;W,Nff. U g{'vshhn`ƒi0wR8`IO2Df=еWCҺ4@5Ѯ@,LUG)_o~iJv^FrjXn^!UрYx;§^vE2 kO G h?KĤcȀQ(1)OW$ {6-=?P掾LCT=4o=EVckQ,ME Q [#-ۄm }SS|ey{fh^ p}\T('1M~$e@G;ݔIL+D. 4o$'6)6|׻4U#,!߻,'-E\ou<:YtV!\>ScUV4X;e.x iS m s1o=$2:Z-(F'?@}"nEe:JPyVzPa pb2BLuPs!Q*uɬ9-`Ł|{djbWskuD Z@B&wU ԼL}JliRrGOzJ[vE@]$i$̄izB}ҙ"`W6k(wt<h+M!YjpRx'vK J ̈K!sA=^W8lw{Xhb+} !xw;3GPCzl8qƬeW[l0㺬?`M ]j]ВB~= iS#a߫7R.㻇H\f5O ;zi?&HC[$D]-p{dG!l0+&i12)Q`mAV}iVOJ-xc{xDfakҿV5=j9;u.x ]m[J2Kʝg3K2nC#Ip#j-<𐔡0U#5$Ci22KzB観at~UXiFg8 G)s]e1}u=yM w} !"i5|$Z>a ch.UK3(DYR~ӳR%FSѹB$,az2ֱڨ~DWw%l(,͌3x$?[n(u _ؾLujIz CPOywп*# -܇i[p Z23/R:+OY|Ͻd >P= [d7+\|^ʅ4Ão:5bO?rlH{8T.x~įoPKb}6N__:q wCg3DGY6L1PAT R:F9R~YqQ@Jw x^+FBͶYß?U:,ʫSkxt<ҋj.FrUWw~W=>:g /'ZqyR,0b):Ґ=nb'#be.͔r:?$J2pr!8_SDܯ0dϡwi6EIϯ/e@1[?X*f#tDU3TA=8B>6FDR4EtqA1o=3]̴fbQtZjuVx9S Bg %LCa|| 9D;XmRJ̤ɷAzV6׃j*KijVW7a HL"ܕvf|tԄJlxLu|թE'I&(AJ]Af Ev)L-Hlq>z ־tZ)!z}$~?N O̱=ט=a5!pS"'|_qaVB,E&F/ !bO/\JADlBKFdE)Oۈ(6 |LztOC>0Y½"\MmqEPqԭ~BҋeEXX[`mTwkVȚ$]-EТc{Ll:# Yi˻ҹq)n:-~3a *J`\DV ;L9w yPf.!yG? Ĕ´5.ƽ lz9Akeμ_w 4Cs\;]8 VWgo"!fev.Cd#OHya~Ry]0?\pIF|؆&qDg#18++0E%y< ƪDoa+?q|G2 -4X#3kpp7Y,6wjK*Z{^(?LhbM+%̬Xv: u,OP@b|6ꓧToJ;M.ӇbҤ;Q/b:m v?Ke9G~[pˆ@hCj݉Q 9kd@%$m2;;c]s>+RU\&N=ĉjf-1]Y}2hq ơ O_ @%*|15y  8beX˟3 d|"hIؼT7 @&V|魌O|4":+Mcϥ5'Lƪ5ǔ:pY[e6b zi>#*hk8)ؕ胠єl4GTęO:qc79c/LeU0/8*`YsE5s+(j(q$mc>aDuFўy$]euG~aT77>8}5`*ߙ8]/NM‹F:eT$wfi`Ldqt:Q2 zTWG_D@Ͳ-gF#W܃O"KwT eHne\-b%EbsoQKzyOgK4̕A#x>˷]rk ^mF'QO&Ps;vInfBs]G/y_W{xA95@c7knao2>OGCr}0l3s*0>f^$a/5UR]B5T/91--Mco$~-f:]-;{BX;OL׋ҵ /¶%KY ZZD+M[=,h.>O3?S"@k^M0.YySx>imDRT k8FzkEb3cV*Cc-Ja xo<|K'o`882ٛtޭ-R;%2ˎ_^89aJRמk!w[&pƁG) ;ӛڷU4ǶxU=v#Ok >v 2%m{RQ;'Cs)vٿE+ϓ]Y6|TU"j 3CeZ^ĻV:#Y+jy,S@F)P &tXƸuu^qHޑ%53{WkPW!Ix gi X}_Ȗ+`j* |Ww7HGiAE{֊U{Mdnz BO/+=\[s~Flc^ydqvҚ7;Ml OpL^@#PHj_kꭥ)y~*G FAzpXfzS?þWiX\Ru T)1NY.W0y _+s(|Wl<0T~  w?o]Ӆ(BϨ֟-l[W ;CK,xV'-aSa2e\KҝoxDY޿|$Q.@)b{رOn1`i7DmղfQKYla / C|K&<ܕbƂJ *]pUWrߦBZMЉtjIZPL;:k kϧM>!Haccr5OW;OyUY#e>.'հRWkla◟ p4txyhfUP! pM+wmz-ofih5n{a.SlP{-GE](\n?֬܌l$[>miCLwt4w: Tc{~H JD⃡YzWD?*"@v7]/%f74R$Z $A*6-R|jKS=U#T KuG=BI%-t3 iCeWq{?v(yg2OQT+-Tf)q76* @!s%[f41cD,vN0D1 ޮWFy5ZF-OLS19e#IdKhz!uFU$"OP~G -G]Ϲuʒ/LyGklƪ{nb _;;WCrsOwy(Gm7Px&W_b\ ĥ=)2IVx/*Ȝxӷ1LL1-5IEjC#Ss/T8nM d@Yx΋vc×;j>ϊ)?^D/x1};eJ<hR6Gy4O`߳-}mУ0[3Kų5N\mA^-Pyxuu[gaddtٗPZN]܋aظ$faL$ 'ˠGYPs}Y(-fm! sb9by]yR'Έ!N` t~rΧPϙ}ʾГ5LI˹?2-zwy {{Cquk7OM%S s?|C1=xRjn8\^R!g@N!~֨־g+91'u6&AVz8%Bz1Njhx:ǔbIb)m6?)ۆƏ=2 <³ :fiHp]ըښ/] ξfHzx&~FL}n]5W"R4 "v5yiPvY)J쫣: mKdK l&W^P'#H9:φDoUUvVEs.[ՓO]蹑GCUNa_=T|@Q ?$F*g&c.ALfg3xE=|mAWfa[EbF2D~# & SAz4!Eu:UFec;y`Q=񭇳ĶWG*Y~yƱ~ n8$0)dr-,wksd\fm?iL!uCXxQw L9T/'@%|DSgI|J$l\nx YH3CѱeA't:#g֔LI@yj_0؅[ग±.r)S}=v@۳Q `y5OX$9U'vI1ZE1u)N3zI릞/RV P_d#J LL% t憭)QЀI$Z׶pla|`ӈbJDJ4Ij/x6D *~WY hTsMzBϘrU5aGQf< 8s _ȈZ5:?%BYYlA_=kh'>˘_4]3t79|箈E myjĮŠ{gRUlX޹r/UNLw`J2oGk7ƩFE*[5L{밾'VKgIfh_I}`7x kjvuKT|od/vF AOȁc ?s],pX]E3IXbHM[QtJޫ_!c##8 (y^r5y!B+Ip7Gk'˓&IqJAB#STe>>Ju{iwV:n7-ե$<)}\#W:6%}Ie{!:O2zuzLxlm aPM ,y' +eN)r7(w-SGuXeHN{B-͓bpˋ+4h#Xq _WCJF}\Z0qD~K<_U뼩7>ٔe',da & ˬvR? E@lP(0n#Imu^= gb {(L`B"1_% K!jQÂci ly]h`\#6rA0m(4}QX=Vʹ 4H6Yب*..ma.WvABaD>%?͘,Royk@Z8Lh Eߊ{~uLUwCyH~hUz>1K޿`O Zs=A?G(>4Ps^2-d+y[u]MU{BM[j;Bh8Udzeh&Ђ܆6Q%墟mAK+C2ؠI_qcKA- XJ3gT4aNYK[*|fHWT鿐q޸.&ot )MdvGOpw_HؓGUf$wzza6Ʃ;, ]ue5AA:U_F&TxMgxa2= StIF%^)_aks5ҍG*B-B]lg 0?8;{Ԃ- `1`UKH%*͛KJ 3WIWQQ?H R!S׺]SR9@TԸ/_~pTQLfP!Nz&xZ.G=I2臷ۢxVCڶI/W"uxk#"? 'p-`pɔ˸+p%Z.beV3A}bᆘV1M=`p7]`6:{f Q\zD>gH!TY^k 0nޚnpħ眔"; B|8f4aGDhL [T=FtCJ aw#n NqHd|W姽( õ`De٭nB9S8Pwp4 CC=h:L}:DŽ;Q0],ߙM8nhy*HVH)j *"yl˶iqYI<ALHH3O9&AFKZ0![luݟN2M_5M J+{,5D.]ԩDfbyo $0Xt)1^5ܤ\p9ͫ+§Q6hJ%arᏻw>t E$wGHߔ 쑹e9Y~J;}|[%NKK喲( E)<ߘ?j ^5aCI+{ N ~l)%-H#lmGʫQ{Ңf2-ձ>%1ɥ;ͼOڅ1C5h[L"d8ﲃKMSj8W^ `U1C\RzR{ְ ,CJ8GG\EM %Kt4m 4Γ2*:csILٰ݂[5R#m@j !Iۚӄ VRT3=훢k-ϖd`FT]u=ȷ ?z k|zQXJl1b$[V8#!JÂ42`IF,c$_venQTd}p,}/i*Qu[+.Bg2bIR`VR(o a%ҡN\QCBi1-u2g7T ct1-菡eCLlSCC%C1k4f?mJ0vIk[j={cXc) # [N*KԄdCORw}P,NCub"*o\lQxFx@"iG=$I1 fN6X8tm9 n5d1?!ߍ׿8%,_C3'(Rdgk|u`Y=O">(6BehqnpuP%5; H9Nɟ.rzxZ1,tW!N, UEfR:hwc 碗KX,olDNY -%[N ϥ6yU^# x|>04k*X_-G4 /}@GzWy? ƍ7H%{2)O@{[V%[ <$s݊bџln;>#!ʛDPb-;j}`A,pH (~ 47'~zDcYX2a#6NqW-[ DV$+UVeB K˖\iX=mc=WV(tk=xaQ$9AVֶOzcZ& ٥,ojQ;o.-3oY]-U)wK6<(kO<r%ܼx c+ ^zrQ(yC朌cMe$ɯ2*<̂{dOJ! ь!j9 rYmBf͝ ;d4Vd ~S~!$[/+Ggś(gT hOȮ^B|QO>"zkӜGqe>ympq= t  boEC>E JAQ>6RC HEā`SKqu Nt 60 ~-I}X%c?0!ǷjCfP鱲 nȇm{$AJ]Ik:f^|ja7$ACXl۷I !&df ÿ~1{mD^yljpga($:R- ͉ìX4gk)CP䵉,d^hb@2 mO: &o3rq]4)ˋC=ArSJRd>=Yh{jf>YtFŅճIYcE8Ag#ykԟ7{4am$XDA= b8?gX DHin슬py(kEWcOSj݅o-Vj&͇.}e$KkBq"p23{>=3/8+7XҠ5Vg2t {zjI_3 ^,u`($StE_mUٻ ky' m$csc4Cx9=6[;t(irIULƺ#~kAH]J#\h(ǃB5cVwUY6Hsri fA*js7ۡA<'Mۖ_uQT2̵stzKECMn=[S#0S0/֞sH$I|H3)"fs2Sn{6/+up+\.KԽbdNCݛ݁Dhܧ S0-&Tbbn`mT$"i\eͿ _3Ii(Wר/|\?Է0kCn:IufxL mALPo!A2$51yZp9a iVu1=B:#Kb\ ~S{uۡ]t۩_9 4#m.Q%zUSdIൿ &q`,ͳ,iDaB:3 J; C7#@27λDC]E^!AYg:Z`XYt#YOKuRz_*F (#GhZeIx/`hAj*/`AHEf?jEAg(?]&1I5Qb[I_jDt3sr%N8#(jfи>yBOn##%7,A8Ԩ^ {Si6OJ\&zapɺ.v<<c^pq89LeB^@aA dk{j`N)g9uGM]ZVcuof; EFH) t`Ik כ*(/y5yh-Q^#!2.6?6B_H &j]搴A(>uc9nX3,%zv ÐWn_t:OJ[/\>;RA8y 1[ʟqj]޶3j 2o/+ƙ4М4KA_rZ[h9ɑKeY.3}WZBw J4ߜuȔwԪ@{& Cs^a@DUGL y76M}ۍ4Љv7{g]mΧ(5A&WoO^?F(̗-7b˧fY"֠Axw^ 10t~vN8YVe؇urM~3QLY,T=X9Fp젡}5Ą;^Юh\^>3pv!cl |B&ݏ9ȳiVu]|s(7zq >;vytC.0<@LWK2xT 8?Epkr3Z9C]. :|FH]*.9TJe\vcGC<R=2{T//]Wl ʪ44_7l+ RwlyF+:$Zj&|e"ك K%pXy^)V~#hSpjSgsFb~u6 HE2 \럺@ venfZO$>ު$77x?U#رLa=4~r}X@XlZy hYT>kLnKi͈'0NHƅt?L_\_c?vPI99/:n,˃.2.O.܃wr:)ıXT Q0E0\#FXQ~J†Vta/3lVc`_WR*+aS[Wx~/zVpEZ9 ?ݪVk^m^zVNWv hn]ٖS[Mp F'F cCg&UxAdZ7sMJc [ς0|?1;zKee@ JѴh ;=hc&<ʀZiHԇR93C#?DbFڞrLKܘ^P{V&=R Zp*:r1,ױ#DY!K2Yߕ *^.]3/'rP52bP9\e]iL<;mί\ց0ŕˡ& xǞfK>JBjV Mɘ37Pvs= i pPD9^5 g+|+FvӪ}&q<`̝?UI/lVK΀R}=H+'pM¤j%wL)GaС늤wB8BFSJsKN^/sBcM ``MwFvهeˢC5 c2!\8!P`Q NkN/}t16 b˱駻Aɑ(GTw\m' e^\X3߇I@jI|Z^}o_Us 3^|mG\%.RJ,]f,GAq("|jS@Æs?r{(M|Q>n<8YZ \8'RFJVeřÜ]r$ũC/7=Ʌ;rZ ُV!VK m<~$q_1r\-t,WkiCzZ}D6 $yD.q5Z y=ZURe*(SBXl]Q,aQ<}).QiF"`$%dTgc"Pߛ jA~4μBx AwKM4Vg8EVM .sz㓇M҉Në UC>И ' B| jRr0 K\x}C0m!eW"OٰF|Obb[/*߳@yN J,gd;w [Wymƣ8"hjDzš/.LGprzH;|)*\Rcf; crLnO)J:QNPw@9Odmidt#[Έ!V([dS3kAKvKAJGhWrzX:MuHQpW=z$PAϦ?eL_^"&}\#|/3țtoK(on挚oLzZR|,♽s#GWc+)~?V|)$_:hR\CL>V(o-(! $bRڽ >nWɣ9΃ulEDV&yI(pKO/1&J6KjhԜ2|AID? YN %p84BÆc*P[/A&<ӻQ"(v0"5") ` v`&o 3~ c4Azo.Dz4~5x^I|-#j Lx5N]md77%)MxA7l?(HAn l! p[µ'fʔjt7,hmKml%w5G%'tޟװ]G.?IǸ6fz>Q e1ssrT<70C'h&!XQ4,x2> q0V=|lF D"w KeQ=$|-ӥ%YMQVDC#uv`BwqPϛ 9}x3EW#m=u wx+7bB--ܢ`\ rQk{6c@7`1"^.&stͅysAS9*3g7[\AK7BdVCR74CR"~w' ƑôoKWqPJ΢e a6M g*S/X庲eif:J^HˠO8_D׎ĒhzRŲs?\V4+P)=I]eΧ j( @CM~90NG\1K(v}41|J;e riecܥ"X* '}OW"meVӞ܌z =x9׍TPd{,+Ê ~ /z)¯- (Jy엞'ub5Ū۲eqo B/>Jl+\3}Rj,0y_^*K!UruDsyt^FjdhS}ղەCg=Sn#|pBtqR@?:;5|J,$@x-[A_!5NOu:/=? H>`cTE& i+/,`)\4cr(E $"Iu-+~Ɍ`!69#BGd|<XPeк[N@&(^g\pb99f"9.6vG.dd*s0"#'P٬ Rݰ$0ǖs ՕL߄cOS^7ݵG w Knϵ2Lk;S/!PsyYUᙟ,loeĤQ{ˉ_&~7]$ mY=E9=Q8pQ NU* (O\:f$Q&'=1n+Ӛ)=b[MnW >Ă%,fEVN1H\H;s/|3>uyS%\]IVOԅPeEt  ޚzdOq@JZ)&/wkTv,WGd>[ؔ |@BCŇ40POPunxp:}LLj?bۺ#akxO.Ec.d;X"'Xf~tӿڡՅ Hf;/=Q~#oU娟ȱ;nKb'fΗ$˳qA6s%hLl#:r<:w/\o FS(MԹX6|̎tǑP j5p.YRzf$ >=o-%^y 2vfJS( h;x}Z/[p4w{gU1VQg\?[὾$Ɠ1iﭬF;٘ {KL;h*=#ħ~3\Y GZu-ta48;2HH%sSuGJ/!"vnH4Mh!+$? #cMnP@KQnȃb@qś 򝖖!!LN]l48s_>Weæp_Պ^NCcU X|a}AYlJ'-TekM ;J DvM;G_0틉S&Юn۰<$S(Ֆ IIύws'בi:vpI4"QzχYpk;jʢ}*':1xKCw.=fڅ0zY됌t t^nX<5h6ŏnDCc~bYܷ2?# ۮooQEUݺ2YBȣTPH"gX/٭)8:&)ܬ87ev~Z$b\B`' eAg De4j~UvZb42KBy_o nbwuE`pLsF R&Igmo% v6gCabi'1Nd;.%. uw-㯄dwJ=0wuYϝ|6=j>2{ b:E/ s+4YE^,d&`55"pq;׺߃i};'2TmV$HToxb^2vvf%pa o: y*=4퐓t =h^fiAJrR 0[5.ҹn+Qu£"ƍp:BpԽ266HI*Ĉy(մA VpPgm wK9H~h-Y Q;t}ܞPP.c,ZI5A0 8NTvHkݷ½{?eJMk<_1X~}NtIPNj<)QDM*iH~x'N"RJBb+sHKdk}I[{DZ#8EIOPs'*4&<S6t-& ?ɧiUZB!RnRf9 :D5;qeh :E6PĘԥ7b̼C-)6G)mVq7™ ] xVJ0Զ= z%J "˘mՎ > 'sqFkο3 tHǧ达 A&eM7kytSk!=꙰-R-9X31RY8h CY)4@ Π?XHq}%Hi%Ph AkqԡKV f#zO 5Ǝ\j&&[ͬqn9`ZottJQp'2Et*\Sۮڼ a]Ky=i?#da5 :bÎK\ ^W+p>,k7xM1hLfVg׀y31 alˢ:̌ȣw.-LZj,TԃF( 5›O@Nh8l; `q@l([H_嵯4Qy/J.KCa7qn/DpAhc=5&VFi}p?;Y4Ha( "Q(#FuBN D" WKGVfP0!=.G]*)*`oJY^mj 2p4^266l5g4:KfX8s؍-&yh]=if.XAkq(WN++WRh/7Q52JjXYx|o?8^H,]Abw( U ڟ {V(^c1璹"U+3z;˶ynqY%P;եRd1̱U!5o忁< -ګ ڇK}\~lǝ8аXed9$H|LK,y2'ʕȡ,)@Jo7"V ?/QF7qe!xUm&7l Q Y,Kx4nQEРq$Ƀ]4uVO|›;R#qP*Q#*vwhiCkL=^JYbh/4M5,)=hHm IruZ玉e$\ (V 0~zߔ51a 'Qr(U'x|Ӹt9oZMS$+d K ӉW!Rwn/awGYhu'ߪV? jh>* *+4*ܧ*.]6n*޳ `1T$a@6+/a=o|]IoU(-Ӟ3 1jYrN p]'9|S˙KFΆr `S\tPC>d = ψ'us84vv-bg:ywH_z4 E&b+R Ihek%R:MɊf߂RXq=K*ߠL_K`:xb~ @@Xj趎e4n 9A󢑔+}F,<ћd1m;LV` 4<5T$VEX~6ZW8YY"Y:V!,?%FtzG\zrWP\)L+yXIO"=glh7uv&~X`Er;(<YX#j.hodftl@4׋t7MW^4N" Tg:QR9gk5Sƪ߹NT$SU6:o&Q"$f]Bȹ߫rvМcX7lwƍkeusW >H7 爱gYZ7zXZִF! n]ŗXi%L#N^ ~oࢂӡ}\("ZJq̹C_Ƴc̋M>j#[1 nJz4 8@^t/*&3R;bE2rg.S̱)8xD) BֶK]،42t\(H(QdA:uzߊ"+1|3(Q[ѓˍ~r lߵ >/+jf:N9N|4rB;7r@KŁ` O\fVN1ߤ9>ѡD~ЖR Qzl^-CZ[ٲ)-Tll(S%M(;3T hIYesZzȦSmFg3:{-N\GK݉CsoHv0:׌P!kۍ%8;*_FԍjPQs䅕|6Q9d 6p_wiZQX,>BEԦ]I&Dg;.|D(3\ _c`V!֢KAyDrIkW|f˞l|4o5QEؐpm:3| |~['lbA"Ǖҁ;ߦ,O2sAW?" "ūX GhZ;p><-v(9)|5RG W]L0 ,ʆTYBRO4EHE_Y[0`@yxl;O&\فTQ| f$i]s3≪q'{whg" '2Z1~ACw&Uzx/zL[3vVޔЬzfHQf!DQ43)dW^ _$)gh h[<[KQt~cJqқa# 4zwpS9,?N{(ZLlc0o T6f9FXjsC,zIZ')Z0*濫GŜi=s[3%|['U.o/.bDD*ض}I15_qq>򺕼ڱw.DR&j i n$#VvLlTBwEojh2 Q[laxFeg aS"Jm8g1E(rg}b<0@ٛ;vA7Q^1)`]%ohF޶))) ?߀-*sR\.EHcNZ6g Xފͦdp0AYD՚uFRТKk3 ߗ._Ziԋ^p 2I3Z̰VW<,]234E>l kC]r,-9:㒗t,b<過CGe9 &sѽ_U`ghHa.TTem.<Vm w8HD ]}X.wPy7vC-Ou:) OlMڃ`d ffW’VW= ICw>II@Ґ|~ЫH7Dq Hq/3orbOrū u["hXz5mI|a! OKPpni['Yu'K}lM"F/3BIBa]78l'ROMٽWj8NQgJprcbb]HUS'H?7Q}#>07H惣yPۙkDȣwz16i 焩X9qs' ɿB#NS[ԣ9`)ԣ:* O_bM\0@<=5Ue״2%(A/Zpdc\4>: ?eΥ (7LuDZ$ Z ZTHM$S{翴Wz^Z4#é`6<wc Q2A]BBNm qL sjv;ºLj* z]|uj>zj6~=:'a2ԪԲ[4nnڑ@,GRQ`N/Lc%.x;)>ZF{L+ʷ7ɀtV[坠Y7uCx>oEk`b˭- w( qa݇c5;:|1T®` /oZ|jRBw_ >q+BʺA6; 9MճRd8(]HaFDKc6ބ)c>*3VL.P5 Z "<ߎ#& U7ZNF, SFxo<9orObis0n%x.4%2͐@[ N_.JQsUR͗g0pf-JDCb拢vH: yx >ncGYg2ȏ|@<}pQ\UwX6ؚ{v0&RLczm.78,n`aXR hkۺ,>NnhUE}~p[g-{0Whs.L0^FRD n>3`Í`u\,d\osb_ t{?vOϸl܉:'[0rT7s[?(k6/XlXa%sQI9Jს_=B7' M1N!>f| .0qmӽgu9m#՞s\ 4Խ1';ke0ʒ; -:4Q7}L?zkG>dOlB|>ZsKXCzZ+23Z,ܱGr-|D]Zj!,5(AbñK>ړ@CfSG,iP^byL9l,-YE?K(ќ;7jarɀ5| &ޛćmg>F#B9nJ@]j_0"ձjյx?V %L6*6~A:"Z"Q7p T;鑙{3/'ihHq{n~ynX3kj,eJϘjŜun,P_gqUp}4nWw "9Gy YÜ Zݸ}^٣`nRY7~=!g"޵,Q;7=I}[<}&d$܂krc*1[af ҋ"K)H4QQ/WXre@c,3A4 QY0'A$8qz[{I *}׺ oIW2_A+؉hw&Z+̅KKG_S=A /H vEeFE}#4()rl/@ }7qЌ>nE**fmwj9jB*5r=I 0gm~)s2 [}m9b6!#KnNrtӵ rN/[A L\af`c†A2bΔd-aDJ>ξ蒎շ}ꓘ Fs]PQ)ڤ6K2 ɧSm d^[qdps+hizj2ѴPu@YchJ#eC893eZ# Wj/1SN ԽY )HPmy`ТY,q֧sYjtP{֎JzݨPGJli&T.RΏ0hs5h8 db|9t>7<E0tZҙ n+ҟk :"$pMV@8`Yt8KӪ7 (fDAvFrUk58Y8c 67^R3f!~ˊp/lͪ3xg?.j{CKiUŻy}Sе`tKt%mLW sl,40׽80^Hf҆}?#ZH:5HSYczAu$=YJP[,T}VRY]n-u㐍M[['K7^0CQ@Y4?B`3fJXbdjᙓtj!Y@