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  f fr9~<4 ] HOL-Datatype_Benchmark:threads=6elapsed=502.278cpu=1877.436gc=666.0847zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;KsPeb w.eM+ Ȫ4Z@8twĽ$TRz7Z +b1UP*dmݵ9.<'*I*Ex&CMLI틓+'?;}hds9[>A& !kNRdJ9 Ѽ6L9~os׳&o*fU%[3^m̉uHYD6dj2Rh{ ~zҕj(7Nq_ 7fӋOޑ|ݭ;3`i Qn/S)VR}`Tb2ȟGѦ?U,iS4nR'ŌZXuSg/̚akƏ+R*HY_߫GA`Rw )߶&!u`*lAw2Zz`u)k\@}'T \-f]+H0e(p&PɩSzf$o< /&m= XqgZzGf#'Mj_c;]K<:6p\8.gh Ǽ=(xE K?1ٸ# `~gr"u 20$ZݐEz1reXȷ{/7Z+5 FMZ\ӧn&˨J'^^E-a8~-Y~<ϋd-a qp!4Y||>*6j OES[&pɻL G̭ip' gkIYnS{YxJb-1П!8"{ձ;0/U#%c@58,:W$njDiנ=X~r21hX:g-Zg:Vc" YǮh~ŏ;(SJN%ڐy^}ٔyB3 o:MJy:ȒvN9LbeCZ]y>2nΕrW2f^J3ILd\EmJm*M;_ iחgYZ7zXZִF!  ]ŗXiɟ1)*u%9";>&eKI;yPt=icE!gNNk=od(ȅ{W&s5Al58 ӕft}wO_ eaw%T[yfrBz6G&4ˉ /P,)ԫlu%%%4|d-E`Є`1*hqi^;iT^"Hm.и 4o> cJBg ue6h5;p}a'B[2IVtcY6#ɸ]=þ*o/lBDVg ,> cimK:=Ug7`+9^ZfϺi3Sy9*kɍcM:.m1|'j ؆"p}@קw|r-;6hv6ʙ8a0搜 p~0hb8\e'r^bj.M&; HN" &AtL֞,\Ir R%SATt+0,(aNML:F! r} Rnm}/u3(OT.eQ^Fa,-|c qE{4ϋT %H{؂S6RAuQ 뗼-UM[/@mɘ ` 5A%Z7uO$LGmDݯa~crnRܶixXIx0׏߿,rv֥eL^yԢE9{OZ⸫?98f?GȈM+ﲎJ\PmM!|mpUq}pynQ^?ywD41y}V& J 5_OQ?e~T % Zj!x&-o]w@d$]كjLufUPsJI1 &@tŬcl/i{ E;h'gcn>>yl-mA6%2&69'N5@~Nj,kp*?)$dyȃ]R7y$B}3AtDA҂ ;mNԷ\xy]욷q20W U0> mٱsAaL)DyYnvbNPVx@ƛ6 \:Gs5jC\MF |Đ ɯgLAP&ⲇLD\ib`0;엏*"˟ F'>X%s蘴r EFK -,x~+ҩҜp{)jPZ:`+f5æeE`pq]~]\;r2Ygh,kwjsraې@o@gg[B$;QkjʽIխoDU]!Z(ӽ7eEk~glQ,/:]*GlAV m(Ď6%I-}\HwKc=_&7;E(W<8%3zM.̏!~8'^8*Liif*U9c"BVȾ('6iJ]o}QT{1f'hA{լqj7E$-Rk]|K/ hW~QF~ PvvءBâ]gpKe dٌsèőo ^a[ְ鳬|u"op "چC|aMm SbϿ KY<V 'p Ed&hL i_ ;F7z u-AY(ƴ):T}P%uE@"g_olGw4oV¼NP 2(f7?%) G^~#U|R =DL*4@!DOfczhOM_e&m#꿃g-g{kw 瀪4ڸXl'(-#+eO.8:XTL@e`MjJ3q]6)K߷WT~|NA]|cݩKk/{6'2AuAY^ z4S쪻 !t~|X`fOKr/0'9ԐNVmv4[8Xnq~nXu﻽ &@660+-CLdo5ɥN\̸3(g?i0uT;}uvХ  HSa17a'<("Cz6*=+HM1ilcܸuE\CЇ`gMf)QP4ļK/jd\yD\z_8)NcMT-MC.>4K4o7_JB6iRIջHKX:sp&!1J]N-/գw^G\I<.H&U 43ǴfكfCm  <92X 357NXtZoGf?/NUA_ >:E9;DӁT5ȾOiMdżb e4CzGD=/ք`wFc?(ٕȚ=4&i"=ϩJ-Dg;$+!#^ ]QScvpe#"Y$= M@Zx2O9zYC]ۗτ[3%ٯ%c^C+yvL bn*@*jsźlp2PMa(kFO4H2ѿnؾ7 |\[e8]ӣ7u)ftw 2N4j}($F3$%MU1P4r8~TIY/FĻ3Qecm%ԡU.RlkōfY&jl;19$yřAR\iwI c߆h.ouȪSFKz[Dا'4("Fc=_UT`"ߊ$%7iveרOt|G_P*PExIJfP$W{ՐLUlj+bxezYA?Kc ^7c Ke<0?^J_1[%ꃠkcڈw`}Tz;dR[{yj1M;#=kMg7?|{w `j!JIwٿAY61qj㗇OMۜ :$_(L:tOmVr5hYb˅+z @5J$Eɀ{ %4n#'VƩSgBuWiaՆ1{W5?*R; j]j];?*NCO`rVN&66q251RgڷpCHڃ vHf l&;ҥn},@Za>NΪc#LYrrGr%֤_B_ǮM`o T1W*ÄO*b(<QL #,3a4 %auG2uAxLD}M̽d%Jr`>iU ΡK"0,/b>å%V{^(ЅXka iK0= +`i9ȁ;WLBrنbReXsu_3: } :#WJCY& 6>Es"._Sκeؖcu0HeҜ^.d=;AQN40P93 .I&Xϐ%}{J sY{ֈWhy|[GA&r t#Fe4ԏX75i&o8u8`9}!k@" 8H k,f/Y]M ("(9_g.6qTX^Ξ8^a ,^bv<<pL~+2Atj"*#lhv3c"n+͕ڠh%2ZrU$6)/ZjEэW{sIi~.߻;@7zFգK5WVӧ~K0}>D2Rjr %Gm5ŏ|zPIoh}WoCԪefL) SU-, 'oUqxBBW# oDr#D[k85S Htg3;Il1HhPL`csssXHbw0Hsa7.vlאbZ zE5>ƀ\_H5]H'Jz"U"ӿ X~*]\ϜGmg s#Z f9\z "TUy<ʶGN S^3{P`K.ͬv: lkN+ U>Ltw܍Ky~,d|Y/""F}aA"Jmt>uF 3YE>"d{#8Mnն70|  i=iZI p.9`[3 ƸTiH(_}qzљT(}9Ng=GGv郶gTa"f[֮z?cf癈km^"  hr  ok05ӨB1X䗠loBNw-_zP3xϫ;S;DSG e<%FVR?%=Bdf Rޒ r:y{-8[kVk0Xf.O, =n9[ͳ[O j| RR7| JL-j /znD}޳:/ߣpOfoR37qmoF JfAq@b*lK~h #6l쭴)S+:g c<_ طߊ_f ϻ>+x[k9T6  뛒IM}-\1$ycRٻiwšN_S>19,2GIy;oߨgS+`Л6!`_fvH0ݝ6vM7ArYbq՗PwiHNtbCAL\Ӓi62E7QɆ4k {edcږ6GM ,V!=qN>W{ptuuGLUlN#'uP?," z<]POe)\zmvsߛF0^ 3U;iUC+y;^+j2N d^[‹(|eFjFaζNCQM&_dTc+ +ޏ|vÍ<.~դ"ZM2Tj22O5D}J6&WD6P=Wc=缕)S41ƟCKy~J+`,e6jeb|pٚsXx&¿TY3EP)UjIx>#Z2%="@ӌ8Ӗۆ 6"W[ijD}Z 3)$ P;6pX3wY*c#Kv4b2ኜE%2[`rHDJ6Gly{McSWY#h7u1o|#um{ɱv,֌VZr&Ȓj?d*ӇVtq{-$+v' 2 @ TX0:sKq~[0`t~Tt@JWS6<'p)Qv؅_88/pPCӻf!Zv@;ڳm[? ] {brvHkL 1%gCd!2u 7bqm6(;y=A@xwu[EJy m;[w~a2͝[޹nmY`:lm#Mj⛘("`XpQīp~e/9NCa03Ҫg?FыMIX;Ӡ>wwnoNhg9:.fxV݀C:Ɠ+<-Ju( Fp  r`zX*dk*$Wb%f2PhxZrV0֛oѥZ,սz7VZj3BCx {Qzl\V@w F//]ͽ}L^H=5Lp8!r(["lKIO  ՜i/_c}`YC CN+NE;hSfֲ-l344cΔiX S1-.SlR1P@ T2"?$e/.ӳ*V}L?b(UrK “8 m8yд"ΟH 5蜼`Ѷ'I %񙈀cb#%%YF+#jnh_7MК1P{8B 0th22jb\!쥴|v D5`[AGsi3_fY2xHGEL dZ\4:`R7dȠ0^﹡ϔ3.`_^0[iheT$>* ~STԳ2 ! d dK"%H ^n:L0꣤^GԳfcc@ ]hYz&T1H9_&?8b-[qR9o!k xBLAAxɔ$l4kCuo/}&<bU!Z%ԿF:\ HMklDV1qllγt%_RS²_2f\+HؼSf0$N1[;_PEeG].u6ڲJiW p^pl(J)f1kpЙΒ_D=Uvl~vw>͆c> p5$|L SQˣ-7WVF4I 22wXP1u{fƔz׍] E [-;67{P}a J2i%ҲȂ|+P;ڄ`wIѲ VS>ERO۴.2I#LΠ\`G*L*2 K빠X. ?FOl8WYmcy̲뜈L&dk?HP ؍uDYe@ u$$Q$nNli 'U 8)оi)<7v`ӽf<եnqr3a. ֽwcR&w 8 &e #{C"WOzn)IFZ#xV0GɧMWi;@ nQK,gD{UOyH̀% $Tw( t2TbZϷ3G6^SH}"c2=А_/gޘtŎGGL9}](SQp _Ƅ( ޾sGʤ Vq_ڷo&#|gH d¢dD[6QL8=,,/bge< z9T@IA#(;^O6L}='>+2Q"ŭf28!CAx.WH3ƛ8P 9ed{t{ Y2 *zmXaz9"dB`uFc>VBdO^߮jz4u*& Q{tql+f Vr1ҟhW'VQF$E"% ;*UCBz6%_]9 NG Uaͳ{`I5.(.4w]!]IZcU.IifHcCZY嗢KL}2>"M ~ߣg!QL$I#u32&5o>羏AϮQr]ڑ ~S> j^078$5z*)ۉeبYx4sd/rCfc9mU>ߴyZ|K^ӊk*pzn-ضb2AKMhQ.V|ȼVR(yVQ?zRXzɆ׸ŷ{#7XbguWHN}Yi5gX#%=B /TV5*{YH0`WͶC; !WQ1iONK+}`]l2|ncP] DLiA-%B;NZgfmq3\ڋ(^ 1q7@O>k2?I!U?e$SF%qlHau^!0+=fUԟZj.韱j=\Ki ]2=З(Ϯ*@ lN9.߀8'͹jv^ukٖ1 5ژ3 n "@'p y) "[TQe+QWKǔ1?,OaR"=~PCyx7>0N-8Lf )|rX 7 D-z{39Ӈ%FC K Zj@V4)f\#ʡ?ԩ:{2^HP7gH+2*RK'C%у‚߬ 2Ƙ`Q?DgwRg>Ik J.0E,&#hDBx0Š\g`=mu;kO\Z6 \#v\T|\KIGVWJNEqǦX3u 5ʛ£d(-TSn2xG2[:iQ!o!# Y FĀ)GS]91,hc eDv\nFC"y­n|?4[nWh1 b]!»DBI=x;Co ~K.2.eIFcc B/nhǞi)27N!m޶zR+xBNmGG/0P{ Л[ZĤxy.W7ݨ_ n&L(ɿn” :ꑏ-FǨ΅  4Z_4E^>9Gƿ /PLf`>}^tR2ןm "sj,*t{]?\dQ# P S< K5Lņlj7Xiu^2EnR34!\=#Kq.ZJt(J1 Tsz\ucK`H --9#&FeItSPg꫕ >DCF٣:s;6lR& 5%2 Q|k6p9/nvn&;YlN]rdОJ '2; ڌ`;vW7D:PU5O2ͱ-H܃zDS|(qș[ `4?pq'<jFXmt:mfxR1 G;B6w|DdY>.4\KeTg>NT]F[XF CQ [p^ǿ+X.ScmFofS,:o@e-/v̨2ˉ 鮣fBU@NbZm9ǜS1ec%bElQqM]FOGfL3.i&6zxʄw)peiX)% ~}8&Ϻ!!%)ev#kdIgXJHl`|E|Z/?*-LX:1BgM0CQ\rcSMp _}9WGUXGD05M ġy@J ?^>{]IR,ؼ hq@jM3rKƎuQnLlJpWvո>=sGi7@pAa{{JnQsztXTBJh-2oNXC[y&};I!Hw"}sazzMŽ\)1]< Kv,kiG7ltXqOClw/VM{ކZR"ܰ{ׁ|bN>Co$}= R+:lZHrC>s+Δ_+P,01~2K#!;lH fjs}8n}d *9) lTvt˜ =*yAc1,6{[q*Qn)Ɛ+фdYqZ@+y7)n-Gh-ՍѵЄ(_w,}8aƽv)晕jݘ~3R=t R [{K<0E>$m3U: #J2#2K:PRCg*fw><@>)X 8#BA? ̕<{=VV~-#R]Lf̴1:ܗw1f!{(X,>-J/Ӥ|O"(ikQDѣC4y b@ ZvUw(]B(k=nNN*څ[v]x_٠8_ӵ)E\'w<Cq a9dpn'hvܳPm^2)sDԻwusȧz_)Ȓ&78B}7mR~ +Ʋ?rayTzƍ]5z(s3QU~ImZ%.uqRӕgXxXv;.9gQ9vbv횸\ &]>&l~Q$pt3Bm Y¬]+/ @ aQ0Hl¸M橭5L _SxJw̞Jމ OH`z-K .m{dcwP4tOFB*̕VwqPl朖vK+ߣEnRw|Dzљ)1>e8`F-rbWmQ3 eF긑dq4H(u͏L>cNyhWN5+zwY:%(s#N0@;?,wʼnɞmy9O`-\ U-=.D]DjbT2=k^m'ep/SR\[@$гFrmZ(ڀP 4]h &LktYo?}2dx9֍G0>oKޗQ 6?vӍ q8NFT^ i%e CcgHje5qp?}dPt=\2SkGj֞MS>C##~w[Nȡnc \4k8/ thFG&ǿTf&szI7FM!3T?zxƞۿ~֥^4"I;#JQe؅vo@HiWs# }ͪ:ŞySH1¬EF!8C´`>y=E'IШ']f%BPlC"-V*`\.$8<2Z q0a`,ō)8}}J >8S Kg^ձ&AL~f~ܖ4ypUf7@t|RBq]WquI *qzP>5|v}wc|\?8uهb_I85M40{'\fU}л*;&i{ ]_ȥ/=6I^m/N]{wHͭ~ᄮ;7mx؆ɻφ-^:q0C7DN[>Y Ez/̊PPjYaMVf v8e+7hnIr7/CahEr(0v\aݤRj(ƯNY'X54 52[BP9ݒ ;e$YbC,@{'\)D0/WQOukpD!9f ԋ:c{n ^Cq-tUq=l'`6|A &PdوT~v&|Xbcտ(g0*h5{?#uHmC=:Ԗ92\5saHjx́dO-T:ƚ'd'|kdjjof Tވʱ O<%ٗ^AH]Ueqp'$~Q; dZ0bCTŤw) {zh>!t:_\lR"Ez?m#A.."5%a7}NmFr3sI-H/p^ʝ} /J](7e3ڭ"sGV Bp AUج`U!FToq]%O@]$M,q!/<h ɏM.NcVWv@RӶܾJ|R%xBgG-Sدz`A #iۅ e:N}κto ON~ؠ4M@  Uv0BP)!@[aiJx*KŮѰ8Pn* LF(lYs4REFPiipRHJO<)CZY.[=B5aiP놖YNK&q[cP|N[xBڋB9 c@s>N|xlDěmGk7@zj)?Z4ϸr.C+Bu/gTπX=7W!ӥ11&L $&T abq('V?A $Z&N̽{k'LX}Qj^88Z,tJW ڡUzݘqdZ4P0tP|8zʐ l+e:hsal5[Wk{>w )&HdF{C % ݏ|bwXC?k_}m5q7+fj~mYY8w)zfZ?8,"X]dXY# Y'R;M}!(t/Fm=zߏ[[KTԠ;hkE|WM[gL,JWEWڙKa. aS۶!?7gkM; -hY9 }2{H61K G`8i=-v0·/l&fD|5lRvULWf9|hU}3*q ~ltؾ VK" [I}ZR0X(;3^k[ ^KԈ:H }`q\b }~kBU6aܚ',nxi\ceODB͚flyL"t*oxU;܊浭MH6 uP+@Lv}\iRf@T\c)VV=Ya..r#Ӂ"R@eKV̲RD5L$<15bUHD'}3rq`1{X(MWX/%!NmüisԞzePo3işׅ.[.SH2:#[xUإ쫁˳ר ^ъPVy?h9hpq&Nqw?y0/_#ғݱZU[4ͫMsU`ɣ;5FG|Zߍ ,~sdOa۾[;0}W|cMiIwGl-);,L֬9<ʊWH`41OB>jwT+iY&x_.GPHbf!1.}M4ՠ3ģ*ӆͳ09=m9>g\7c6g>5A-|W dV+ ۞&>kWBҖ0۬]q,\GEPY.3oA"tqN`q{ u%ې&1H5rC{C!: *$*:qiڂg) us e)y$xE?#7/Wi27EEmL)_EAgi{FyxyIn"HfΉmQDU^X&Qҩv# <R.}:-ca|lݴ[} ]'/:cl'V&yfTzvVS~~#6εCb7u^}3*53}Yπ;U KĔ43*?S<NUe GAnnIV'+H+ЩuVtP?|b3ί扒}͟(, (>i4'RmMSQu>k7;xdQA)8'0>܋1!wsLeD^d;#H#Z9ztopIJ+#INێ7%dx>HMG1܀[=5Kdu vx֔VʻiYOj)ſJ E_ׄyÂ= U %hz!Q@*Н6wǯ^xEt=2a)*|flX4sXHQtܩ$ɴ'=;Z;4&x_P!sS(D~M0a՚^a[6N7z]zK:P䖂FWްk-bt_Нh8 B'UnP2]S. Quar^kМHgT@U)T(Dq!AAG0X>:`g؟UH ᛗ1=)hͥS;>?CBG]pYB3A/-s)I;}8d{̄1%pzj4$pƭ=E^Vk.ֆ=$(}0[!\DX;&T'ef4Hzl~W),$~.xG-7ŘļYX==ge 4wu_jk;53}dVϟO[޼Ʒc}҃1yOv.@W)##0ՁqDҒ4UA7^ܐ^v,.>[$jo#]?f> 3ـ%*KxY "~}'.ck#ɷ&Lx6F3&-b2u]06ʜhE&?ݬ6wn UnǺ1uV[cDW$ &XةvԬ<=50 ACBs'H©Zth-j)5;Kw=2T6gߧꭼ&:Z:b)-ZBxA&HU"dBu&'4&:5ƣKX뗖ƿ=]]ˇĤc4)ů# =WְTR^׺?mm-KRט_(dd 7Dy Ћ9]gws2|0¯d*j"#`0blhVZ1CTlfAg7o"y< mG| ʍ56zkmAe 1-E6gk\ r 9^&[F=JLݓ4w FfU כ$PpiŽ'\v1@bI0'Haƒ^ ȣ=2߄-z~#c"*A76#4VQx4 P1vt/svXkfxJכv  )|-Q/%~Zٟc [^93mʷ,H8\N`ҡQ ;um[8ÔƷ7`4'3+@DVGOi!uoa7=N/I m-8܅k4PԓnE`Bo\h]:z"BeրZ K9 n#Ev :kߛ Sbi{n2 q7[mK$kR {Qz<8.WZN%c@0c USX3DM$GKɣF MGoQdJefM5 V ڇaL1[Vr6F֙i?x8cӇUz# : Db|GJ ϫ:+FZD3b,<1Vp86(=t8U<9_ Jm}h/#zyL€?h(9SP9١˓)̢ŵ"ڗLעXFiy 7_ |]q#L1ؚY6hYSvƆ٠G1A* O?5%yq &N.hZPH9guD~6\(GaY Ss p0-ƐW6 kPTsݰBR9,gPaٓ'30j g'$35E&;4 l"#e#%zÒB4W,9@Ry拊﹐##=ѥH?,*#`|n80?<%,cvA=}rGsuh5%4V"y7t*=0[{H#Nھ.FCgIaU[j1eS,C&~Q>EN,uqQ$*Dɧ` [H+1>(pbt(/04X1u%fpB864g2Mso;`o"UR+1Ue < "]?.X -f.4^X4 _IN[7B7z1*-&'ZWkaW,RP>pNlq}1-CG5\|BO; Pg׳BkA;96d^ðiL*"‡#ώw=(USD1Wrw{?F^"cc𤌍 MN™]Vk). _ =$S4ήRqz[fRwⴤPFMw]|쇸@fqqh׶6VesP7*5\qQZb&j×'DSyK~+ȯt4 򯙙"(ZԙojZôEiQ!EEA0[U u="ӌyn}ZqcgZDdN3-+"؋eJbFW.%k8s;4ۃP(xw76Z ÆGҾPF _#èe5me,*䥁W^RN%Oݸ"kF#=tlYD6|YIW.dp 'Cqъϋ9M>|b1f\Ou/)#LL= PXd|Ljbt|ux2t*6!\JṚOk3:R> q+(z)Z9|SP.Fg-xHOٱlrtNsﻦSCr %ԙrL0Pd-O $s,<i!(8J`ZyF([vE y:/< j&e.-"coP 9GVsv z3UECifkBx Ӥ4f3<KZ3-bZii&}&j%1B,-"Tq#rAA6e;!|SQً{-M)I6e=u+lSor"wb/:go@H5Z ױbOb@gj1<ԩ׿4UµA՘(=~TVV!LfSDH#F@Ym\f?ve 9/V`՟՟Rءm%"=..G$]7Oi}3HOHRRTKIԟ*bR':=S4}E{;YC]Ѡ'%L#jQ0灮JFw~[7tQeNjݯF=J^i&ٶYVv}\̭f8CĘ8D;NEz 2K@ _s-lXc4^-N+\G '~q%}3̒F~%HBG0fEpTq1Pr+h c\2֘N/ZEQ(@1T1/O >ޢG^[bMM|;Ak_ヘ+i}qI&j{|I?0]ufPwKEe+9 oznaTlu+ p9y\<=T$L Q{Xn%S܆MqZvRTZo<$IC+M&Fi &nz+>KFh]?I`vJ[M(AmX׬䜶>q -Eh9&Hk)"yZ>#K_wBn$E溚\*5K ^Du "0%_j UDJA{'3ʈ 8|PĺM 8ZSΤ>gsnY6'J-{tn-ikXbX{8'}{ӢJL` /N AWDP !uG_Vr⊡8Ok0DOX5x15Ԋ:(zl[ 6}\N]% ` G R dD0gTӭu9?s9'sR:$%^4'hmKA¬ML^#/ !HBl9V⑽`[#,"j!D| `5Y&:g%&)NyFkh:$@ |wO`@)pݤjT:hT;U`c@Tܡkׯl*w t@_jƸdCKƿi9|K)jl,qSMJl:RS-_ ppyL{C4c:ڸ ?05+;s#YgSlKxu ~+S!"/Kɱ0 sU 9F@Ivl|cHR?!o $Vhzng٧.zk/$>p^@NG2HVRqәmԫ=C/Q҈r9Y 2T)]}gKbOCCYbw(l%9zK]!DA-}:M%7J5%>|?8Ck'gnޓI** N͢PwFOdH$2j $c4 &SG4X$?olYSR әN4o2*{?k==r,O5`C^&dd]n{ aT 7j|oE2m[CHSnK!F, X/I=S >BN «W'XzprD*ok6$=غ8a$N~M&sVD" s3R%ҩk=`mP05ӯ #o0H'-լbիtˤK;z[t)\ODN1/`," yeN&Lx.-1Qa<坖!T5"BL0sv\a\C^z|@t)!|UsԿpmlw;q2g*w4XK CcZ1^x}]X"-K yo%@jVdhYЏD/Qt1exK54jUGX}QP}G?"Ӕ!-w\6tB,B#"2q͏gW({{_5%(4N*5 xEa lͲ5yYaGfN MZ7P|t݄BHPˑ|Q {?3V<0OqOl.RՐՕaRK6dM誜kuId 0ci9\l;)Z KJ(=hO2!'%.x /VwT1}%py4m TIKś1y&Bq\}\Ma]zȡkŤ ~_ 9 CWC}L0NQ)qO,4 ſh63 G>/D1^IR*OjK\DOSNS~]0e_xjWRa=y2X6 ywqx9 Ȟ8|UQ_4!|#(iL Ve֭ ܲfʎzwMR%է mqyT1DHT^H'(n& najp>ǩT-NύC~y ?mI>7uKXyC:ny:Nd{`b<3^L~b2q<x#54x2?Vc龇')k ʛXW=⨖\:0'k! 2I}j8psQ0F2-'YUdOYXAfh/:XRfbdޗ~E :T&X㿳:+4CcQ݃+ESIuPj!0oe0AgBǐIEU";’21 6cdZF%.>~/{jyR8]56 yoؗAv^I- iq6P;ky+3WaH YLd9Nʈ V׶,mJi0;^w<¬Za3OE=*vE>ݖ CX T顃APjP.Nޛ1g)$ʲHE&u-l)jzSВ}T0%6QgdJ$QZC@NXuf3P 9FbrcV({4sBxzgǩ>~6S?Pv+z:zt'>ٹޅW}FN8mjט #zl!J V:;C(!8,qlj&@&5Pb`^(pǾQMi6_?Y/5gi(_7-Z3zBjwf iA*r-`t:ffJ:@+~7HQܾ6:n CqTh 2>|U!cVJbGd&`ЪYd]_ Xm‘gd ́=1~;9z ̏e9SBLUBPEVUoҽ*]w-sRI*? pt'UpD٬^d|:Ns/Z~_j&κ/ޤtS#H'[cwpHѽ"+[[ Z*3 'p p DYEۛ* vA`,rY2w83[`, x\9_kpw>lAozφI`Y<ctJR XSXOn 4"NCg Yhnry'gE S1/j쿜g$86A*[{.+3S +\}]o`TLJr;݁Aw0NkHiF* )=# {]/.?Za_7WiEݭ0\Ffאlٷ_Y+SްMMPX;Y_'x1F^N.4ݒڠoVYw2ZA(9-wVZ}7ڑ s 4ZaIդ?f 1^aަJPT/ aG[IfGhftL!_Vo`-͆X-|kEr @xRWp%3'2XtͶ̵D2^`*64Zl;]:nTO9Oȸ~zGl|b(^}"DŽp׃2'ziYZԢX; |CQaƯM(lBʣ<^+=Þ@y6Ɏg0q9CT x 1dFqLIH`ׂӋF w#7