SQLite format 3@ .0:  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 ZZzd T ]]Category3:threads=4elapsed=382.107cpu=1166.888gc=48.080factor=3.057zXZִF! }"l]ŗXf[&wΞҌyP9Zm濻3 g@"yUuNZ=-h8.@mL4i$+mS:şstos ބ\$ Ց ‹u?S3!k䃗wd[w~;`rG87i! :)]4JD4mcwIlJd78dB<$r4ӡyP{nid{vX׍B0l(Bl[O(#ԹIӈ!Q!+XOo >x* ǭg& -oYll_κQ[O^?l n6 #6($JՅC!ocrZmgf1ki2g9-GN-)#8 K30㺠$ls&6e-W̸ tEuU)黖up}ˬ [LɃ_=US@#KU`(Kϊ8~anr3^)#je 'G_vk4(xǭv \9FO-YG%5j9H]x|O?G)oFt?i͟u4*ɴ~U'e]aKevy,^˶.v@.`1,L)EfszNX|\tUW {C@/Bn_A#8M>8om4OwnPg^H(NŭWCȔ }gJ7B>#uR[QF,D5GEB̳M|͹?qkOY KmX$BusN2crIQ?K ^C9T{#U\2L&_W!zgu̙ 2(*?g9#?v.Qj 9~Խ}#/'PY* UC|MUa:OZE=Aӡ))|`*R܊&#W*L( ۴,ֿ3?0~M+v贌|Uo*xpxqE3T[ UV4"jOyU*2$&3Ԑ ʓH`^r$N֫v:s30&= לnA=d8-71#3dD=ɈE"] O'=IJ.\Us.9s̸_~:/t|(< F[S,o(bRkJ6LmI6#2liڴп_?ج07 3i 7GR@.ER򺍛) GzivgR7.l9LWioـe 3vWAo87տ?{xS̳} ͩ[G`"^z'YZ,bw36($(cutӨpYS;;|,m`0OR +᰷E\}|s`r֥_}[2c] I?>J.ud5[lQ0{0nDOkL,YHqψfTyZBԃ:dUj $sʊ[p.g4OlO1_bk5Eg ?4&Pg@ofb`&+JkX* hb6z _6~VB ~s:4Ig۹2&ԱvqKpEŕZIش6:<Ρ`w3J.aWq$mO~x[ & "d:7aV}IG;C-'=luId6x.r%opsnGt'|"_:8V _=QBʎi,-t|=@9blՒd*wƊ&6sO3[K*Yd FO DD-`Sfqq-[34dPƊ   Category3   5cK@M z+'f!VuK]ny"vx·X1rr@USn +f ,NUe1E|+{ G&&xVdUꛀCv)D_dƝm4.XGlowt%^'3,} TG6 )K{v_SԅpGLػm0t=Kun29:خ~ jx{yItGnccKq':acih83Õv7 NG2a瑌k;z|nu5KWJ}Dy紀p^KlG] WF߄P\{9!uhP\ہ `O1 l,VrP]z [; A&m[b ٦cm)l/џo7ajJ=k=ӫWvyG*7 1-, Z/; NB3<B{~ƇIJ>gJ>,w#CbY" UwU VV05̍N@}h!AH)YNz@kuC_w٬uUMoh(T7 $'3XݣZ)H/}/ȾLN53kjިsM".VuH$$tˡAEa*5 Sõ* >cs /J}qYZrk"1aBVDbcs=0/cc0BI#O,J$Q$rǂon[]<8O'7/\Je*UU\?Zu ]1A@VzKf#t&s$Zt >R=kf2t"#oaZœ7w{Ol`?j~[P.]|W2bj )&Gt4WYtp4ѻ{:_<=䴱jW=XBGXȸt2Z0$xi5z6Kƕ*.?V37@ vU|'W’֥hQ>,Z݉^17B==h׀kJ+Xt[FAtTV*GڴD O*KM7܂3WЛYZ?츦+Vᩉoª )I1K w"eۋ<OMN+vji&J0C+Iv VFB:@/AM&͙+`(GJW7C;*!1EwAuF2)㳙x\waYvwS1u^}p|.x l?THs&CRB[{94- [w\G#6A^3"'2ʳO) 5}cM2!ن慼J d̊CZѼerkS6+- /qG]# -e(~f)rcȉbۧQzDc@5lO-yR+E*$v¬O׌W]!q/ꅸ'; (:QA37AyT7NڤW*}򶡓\a Ӳ$W9L(%Oтs <qR|Bc-> Y-}lۭ?2xk=0k KEe>wJo${'1əW)b0k 8FOۉ2$jDD؂:J%Su[,%(RcxnB(àZY&\ÐWahە%H_E񔭈be `=~| CRFϷ_! Ū7zzg%c/SD>fF#⃵nb\_닫|-)jZ*n.?/|!? G%Fx+S$X6_A4&< +ڟ#'G3JJ_=Y hqjAaR9$eIױ3}Vl`5q+HUAH%g/;7бױZ'lأf]ݭ,=\iP̓ݸPSJnw׽?)+"-5\J.*RطIg@o8.VSu_ sq uipa"=c% 5ƺQlLC5^$ELxچ䛓GsRp#_"')?A8\NG7O/㡤.}>Gzk!Cm"2D`'{^p?z_!`}5b߰9^h7@M,jht)B]R碞7͔Ѯ@C(F~*$C5{E6lfKTk6t7qUћJ8SlXqR}WZ :$],Ol%9c(\S6sn'"&!a#u:5v\N  k"}ޮL"j9T:̀y2xƬ Fm:M`M{@A=_1̍@g @مzlFQBֈz|iw(1dnC1KtN 3̐Rnҗp? R <,Д{pn!Q(=@̥mkA7o囸oa՜;AQ2.hWp\'\cH)??2&* {9즭DojMɌh]lwDž)d/+F1Q4DdžNq7ΎM!]l3߳"rUUZH^lQfad'ғ!K0.Z5-1mPʻ߇֠E\~͈HH".yO(߀j)#pD2O W簋y!QB YG}-kʆrEy mӠ Yd&Xp;ޤ͜p6 odiiLjY)X |V>~bV,+3T*ç_pH!FIEzn:+=~Aeˆ&]r0f !S.r- Aw ض:QC3ߋ5Rs}Nduv3΂iԱB1+t=@MT|qHܮNc ",!zB-u\ p.ۍJlBq JT* |rOlIۚr6 EQpj<=xs@,]E[Ҫp]CBDE5uTu}Nˀ6WqWRkn8ɣ*l*sٙ <;+NwzVf- y.B Mc贆mZ,W{rhBvEvW0vs,#0eBcQ"tj_:"#&5+"96s(/}2]Z phG)eT-۹ŏWnؽ,RrHbfP3 JFcs5/|@*ϯϛ`ar 6JI1gnKr뉶ZFnl^j#Bǚ>c|HzUF+cI.耦[gU pk@_S$8zq(=ʛZr~˿$Nj%#oC[4߀\D .!j@J$U[-W9BiU}!;7a{߂<,`+RR^{85h:]`WqzM?⇃t2\)MaQ2kgGn4 ͐gYZ7zXZִF! wa]ŗXi%Br"t'뮒rFRĩ=;`4wtr/ӶmgY4rt(sJ6h&ECmP3}l7kzC UXJRGfsp|ROB(D`hĝ`<&q+fUՙ>@ ؛h嶭љ߻.hIt.Cw4^,s%jd j+LɁ=!^tJfqeyGm/5c7R8z'6Æ2 ~~mH+$BjWF+@,yU#IŶ5 t'mg \i`sFԙ h&#xyZȨ銭fgzIqb*4( S%WP:wtHSjLzpZ̕Ɖ@hN؉`ǯÃlFAZv0o9g^k[xưgӹ-Ĵbl/S+q3᫽cbs?u&3;*^O#oѧGUenК}*zX=CU£SX-|5jPUF(; 1GdB]ѽI&oZA*(4tq>o݂<J\꜊~ғ)xz]zU˅DHZA0Lb ?zW.M]Q<!,Q18;jTx MYm|  3#Ǫu 7nP5MI h K?О!E||fkw mrX7Dˎ}Z}-avBB\%MĂfl &Ìa.B /3sw)B"x/9^vsd3U_`dm$@W'bCf=Khhd[e>^82T}M`@ w!Ϭ MؑǾu4Cm+_ b5pkbe+O|֥]>=~@')21+Ӎ'[1bZ5#fB]KShG{roJ"10o_Pé\f +pO5*}gDIDq++6,vI'r'd_+-m(.n1Xi56!hviJr2FxK]Y,D<)DŒ7櫷ravp-t尴F5Ml&/R@IP)KN ט~avÁ?>!::)~ <0j t}.)~$ӧ]ؑ+GwQ7o"'4)Gv2:@}}_pB: cz) >$?97ҳOtEd!OL#Զ8"β1C 8U À@ǿ?@wFgE  }@z8Q Vë2?iZsP:F?풒԰KnopEӇ* d ,xanTz1Ⱥ:\oj[zn`."QY"`\]A#V|7#xUt0YBg_,m]e1<\B&#؏}nlW‰QHAK ;!2 ,u\jq#@uњld3wvsz6;2s6I?K 1*`.,RR`4N{{;vrbZ'Elh,'غQ-(,VcS\3 1I0_׋(c/$j+{H_P%K~+ TBUMq]PuϩKtvVUǟ U9rޱL}pqA7z(=\$(V*!xq&sM~V'6$5)z>‹Yr5.^\[ ʝ+BO߇3`8]FVDŽk` bF2Z/ xN;:P7J7Mifru!;>ÙQg! Z'ake-!AWq,ԏvrc ۞e^M `<,7&^撛#/yO\9G7¤ o@f ;[7Im* 8C/GFh9+E /^"Vɳ߲#kfPT7J? M"62VdLxp-"i`}ԝySb5*cy,A'nCI $K{I5F\Ӏq0:r ,#r pJ0F3.Tlx7f0l28 7| h/ VA2۷iVSJe7n@EaYF Vv3.|^:=)nFkV(C)"Eaхoc-J5$kJӀ=,+Ӿ~BSj]<&W:ҧ6vB7ȸN8h)4dH.|o+W';]|_g YKqB0ee̫dJX:Q勡pl(5t7n{,JjUV7u(|VWt NEY9n}lu<>ӦQDv2asiMXTƻH5W04YV(yq+-ُ ʓ2wxAG|n8ȷ3Ux.={MR#GA%~tNߤ'pu㝎_AUvtRO٧^RBXϜ,k]o}>1c(xpC7>dO0+NwrpDIcgK?)!|fjbP[QZ:wFަF["sẂUpzaӚci7*_eeG$fe4vwOa K׮ՐϲZ jv]̈ н$n$ Ra|^w i#+rOG_<PzǶb^HĿŒ dSç h+o_Dr`r_DGfiZѕ[9~N/I|TCŅeE.`0I:>=.gY;hGp6W|WLRkuت*vp h,la#fmeLՋi'OS9(KS/ mk<eDQog+=aeeg31R~^K!۲?O#mj<8)LTԖˀT̼6<2p L&k*`in;T{E0HP1nQȡKcNf};v";ۅ >o|A[jAP\ y)Ydn|O Up*S]%oVi͒Nbyyp1gP,v7󧝥S˺ %~ ̞nr ]J 3>8,u:g&t*Ǭ)U! - |ݴ<5A:hbML8+32ߗEs;):GIxlp)@XnҴ'Z8-Juů[T{8h$M &q4H܍cKȿ.đPP:|X6LCӿ),3CaW_:fYx7;1g&.1gb^XФ8]Ka$Vhu@U{'}+GTRhL+t}]zsFMrT@Q ?oSYœ0R Yr2sz.{j.`V3Zj\l𱗻`ؔ2|EdaEFཌB E Ά>̏n>]Y5}𦞪6K=ksnY ;DJbh_x4~+Tf_( <|ڙ.j݇Ŋޱ^t>DU"LI5Rl"_!9ʀdR\X:%LD1r^EU;@MJT~_-b΀>Mcd$5f#X^}0 ‹F-_cfCX6eTiN~ lj,3ýtї? ՌD+5ϲ;G=-;Y Pv_,Nbeh/i<$z%͓(gkvQj"3[g[!E?Pr6PeŚ,[[X!_[Xq - mfs)mzo^?H`N\II&ƙoR$~.ƿJ3ۂ-9:ن/ͬ ?(RB$2Mطt5F U8byעJNr9Jc?qg5ksG١~X{y=$ȇ;r5 !i-jlz? sz2w`֒Ysz Fd; Y ԅ\Dn) 2H,ugy,/O$T 'VՒ:9er0{ Lc\<~A!M? ӂ=,꓍!(='{ M@"x\Iƽ>?]mp)%ěsQ` !@GA 3r8Wj ًv4 @$?FUפ\хd61LFS$L ?o8iFPK3.PB\ԲC!P3ma |UٚT 32αAW+~jO>ʮA&*q"O& wt]eOR@^n׮ ~S]9]0cL&MEMW08uv%>wgdJ)} ӣC~6s625Cȩ,]ڥubuHŹ·FYmkk[ D³?k\mfpp!m V;f l0[DZ’cm݊*i*'#+iWXB'G +.Hܷߪb0q%?h1P9"&0#>އRGM#)_ c\I=o,TqLy2'5{Y"ty4$İfCur1Xfש~8t^դ i_:qb4Y>Q@FORƈ2W-9=㯛hփ31 jc X<1(罐;%ŘmpLw[6f\l5H裕A=J.^)ϱݺejI*5/v(XUynJHzPP^&X'_)>zVj}ykM夃u?6+VV|dݎ!)?˸+n0ytT|/S<ƣ$gAYx3IvKR)XEyq( \08W42]_ }X_oy*ѵ,&VC#Ae!upT=eb`$,U~~L U0}Ds/E '`bVdp3$P A"<0fGJ/")OND%#k #Eh +QWSBw"@{R˚¡ё(,B., ȼ;oH@uq4\ѩ;/n {ށ{؟hV$h ()p" HɥsU'-}c KIS*b6 QqOtxW{;Ѹ7;r]Bti3@xq&*Uhsb,yMZz;6Dw.8)>Fuj|,YCsu{4EMZ_o4AC¦> `j'R27ſx]<TvR5cIrLLIȪYRXh6(k%BKRD47Wae_doKъ<.}z'&[lJxV' %zkrGV^ *v$IIZ?tf Uё ;@wfAh_;-zjD_ū/YzrBp :Ya+ʲاb%GPҀpZ2΀8A-Y^4/,Gx6{} kF7"hp# xU(0CJy9}Eۃ)qo=B+SD[d!5 "%,'s k޵ߗ8OGu4SEp!oted0\ޚl%Qb"Pp؁K2_7᪐{4x&_pL: 3ڶ@gQӕaT/Dums>|@`P]q-ǀ|5slٜlp6B T'L (VK,'#jG GYI I6Y4ț^P"wCo}-(nrVc50*^AN 2^ @(ŮZSǪ߈@,G>o uh;WmO1@vq1ЃrHj>ؔCک"/ g T+=`vAAp<` ć,_8m Ϝ"n2fJeD|$;Q>-8[=a:Ӡi׌?8Lo0Y:SW1-sɦ-!{mc~Vf-[wJ^d*J8őI7flghGۭ$] h$"hzc 4,p$uH} ]S΢V16lk(dltZW~=G9;\E|g_gb #YL%_$k00,6!EOY' _jo]OOxJ>5N4<1{" ]vfQyNk,ukR^NAP~169vtQ'FP-gB12׺NaMڼ5'av/M*dž3DWE(o/pWj&Ës1LY6-]V]f(.q(gO_u}PISCZ:]K@A@Ҫlzc𺭹TkvnÔDhFylķB zCBmayI0?#hʀ'|PYR:ЋwH5R>8fq80ۭ_ÊO4ZB# 3?D}R j{#w@?))3l}xA Dj:ShӐšsɨ1wӖ7// Ka%@OyA \*XZp MVYkwr  V(̝(#$^gE&N(jhJ9PnYQf^u{z9ui$iJRXϛ:]x]ponhMP9SYݑb:E5ҭ>1(,p'MtV,Nުc'E7DE-ONjCI_g澍48}#EPcU] q rF!u]]ֺ#-B1ӊ IuvJT9`=M(DRA$ 3GJ0ΉXekA<o!l󃟈nj%싡OAD8KHAXYۡuNki%{`trK)sW-o4s^8Ђ}+:I٢kb9!9cXН|Ģ**K%:6WV|U Y//bh#odW2n\7:,jX70K6s2nJk73C:@Fvd YHgfAjX~.ڌu{ !g5j"aEy- _pu!iGz5|:;loNT>xߍV;>ѵ9DA/ΡqeXb[<A:r0bXf7(~(bT0N/OFOe=ć:B1k^&Hz ӑx!W&h/R`f{>eߋ!V+WdTONj#I[A4j#/&u. #\ĝooFiOk $Ǹqꬽ# 1cQqK7dHkUgw `ˆb$W"sk.3}C%)kJd3_ҞDL ujk_]uQǮt4D wC&_3NM UM _ι}?-Ϟ G}r/W##j_X qe:u&Xzjm-D>zɆ‘!  `c'FoOL`@"N Lg?EػUĒ'Mu8f: W' W-WIWC+PhB(BO >;Ywèpx;ns_wQRXhVIXXG+4',kM^_G5O R^mSP!%d.w](gv=zmuPf?Xp3~y 7sAXM s0E$JwSI֠ra8Dx0-Hf b<ř)@ DCy9^/"U-A`ې [y&tWڊ X<`Z\@}DpAoީ!.PDӌ%,ˆ6ʸ_n.al&#UI0qD}@(wYM [d ϨaZ屴8lXả!7<=>TAI;׻`~JΑgV储o@p5~˄Y^@=^@ѯfW re@`+u{€v&_ R!,eUkDKʊ$W'!B@&-^HM0H*@{?b 79)H=5/s~=iXlyB*E+rVF_&Z) ]ҡ[ @lYSa?qsk˔r N$-P_H0 {^\lUg`(T7|ނ@}aP4U0'Ց|&#o֙MVu~C]bH$M, tJ{z O\3_+acJEȻ>@z$N, dxդ)aQmϟp׾ )'/dUOzXKi%<7S ڥ$_kHLM!v$L=>$|T; ]{o99Xf C Z+ڳIC_3 )RnIk@Rt_L%sAی2W^IQ$u Rph!I-GxNdJP2̜(qЍh`-D{,&*CFڤ a2- Z`[#*6ގ^K"Ty/hipdf&}qP:l ߼a&fxhEi" LU{5 wY5}SL"^3<v~;3Ms➶tp <7bp-Œ>5,aҏ\C0 ^Un[=|qG&mAظ uv-4>WGH5 N];e'C B+/pwG \0.UOC[ TRrC;k+O>I@W^iϸ*4hrGxFN0`UaUipuf~;@.{x|UUSݱouv:;dD<ֆU*[amRxdA}3Y"5j? aum2ʴQM+SЉ~t[oCUYTAdf5n K [eћ $ p_{V  NcdŲ~OEh s<" ʚFAiVUPciL q(̓nB1L5h^!fzDc)bK{ZK5.$/ѾƏ!He~Lmfr1}Dv/@1@q; EOR>i=Gsy"-h/ʀ) G@)u- /pE[}?7^Hhot.0[:~VWnq:Ƙ;\mml58|X G[e>qWmq5g*b1AvF^xY?GLbKFD>-[lUEQ`vCE?)k 󣅺1~LpqXGՑ:VuػA]jG)kp矩8x0 ZCr%'}WԐɔ?33)ֆ뀥+NF9ǥg0DQuu3 V^N,&$<uV ~(2ARQr+#?0O/Ƃ"d=vK.V7t]e˘>R=iSu +(5J0[w H ϷL8 V֜2wCj`F8 ߔOn}|S."6'6tvA}k.J(KW*<óT>3B~Yuqj~PГ,uli6+g9HDo@Vs hg` 9.2g:Ý#0DPțPP t,u;KX(4= 8$XByZk0'3Z}EeEdbxfp?}(8䒞U~*tf .c*Ws @u z¯KX \ƿhPL`dkD@%Ca-aC lB,"C #q͓yAVp@>H{C~0R Cˤ0C XGUhTP8_F_m- RpFQE;  ܾC=`Wrm]>u $/Z&hJ4O;+(_ +' 6ѩ; 5qk%dj"l+Yev„ԛ}ֵ+ eX&Q0`i' J 1B})0ȿzcu 4L:A>q*-G95^l@8<')8 HW|6@Dk AWDn:ɺvfci;t_ _t0U<Xj%~@~H` ~^Ǣ'l2sr}!d֧:0GEE(*}ŕ 2֕s3v7 nG;nH=}rz5[OGhOPz49ΜTgY.讵]^,z+@rZ&6,Gia 9^Mϐ/q*λ`s^HDh `ӷkn]hnd.Mt"$$9emc z8,Z:[䥀Y +hȫW_YQ*!-OH17+b0d/hbxHDhzTƨ-Ҫ$ysi6F׽M>0C6L;~N?JϠn[&O܌ hWx ؜eZG\5bĆypR& ۢBDEEpB);"/|h&a\eݖ@Caσ?5nm2&%!8*kXDu\hK| (Qm9.29+8b˵Oȋg&~]6: CCpy39pHN /+*"\NosQ%ޓ%#b*첾!AFBe/ %Ib`ۜYr(] ?ѯbF|a(DR΍*Z㈾bGO20{5H\?ΎS1]/,LĒ !5N@Q~.&lf2.Ju:.d6ɭĝ͛Iwq)V‡+`뮸nTmC0OR @9< F$ědj9&@"pAO~!h$'o,˔̗2пu;Vѽ] ]Iy=U }ͦ˞ȁUy*,#Fz5 DFl.KWFuyX ;p8+uʺRʬw X1r'%b<;QҽN7E0#_!l 䎤)IWl9!I)"woSCD`@WKNݬ]? 7 S>qCH\$P-OBKܯ`a~I4;p$"W$P)C?˲ ʼ݆kFu/n?!}3`O2}>.ChT6b`3h@p#li3}G%rGu^3(k4۱U27h(^Ɲpl U:Xu:cl _^nћu͙Pk|Q+0wHx<7VOOO뫶%t6CPRzO7*l:}yM ՚חYpRU$=W%nQht2{l`8( NkC\>(n0;4NZjd' gvJenO#tL5ǪM[,OLܑyyQ¯Y7LdK]Ӏ'>+5-#7M/f쾯%gQHO8anP~ńϼe20^n|!guǞA)46q׷ևx)xOw)eHd}~o(.ZơLߑ]1D76`g4.W$v\v53"#>ǔ}׿UQ/EL N׮OVS} 홟js]/^FѶXļhT mN;eedОؠ$=f̗hiruf ۹a#6gط{gIq0@t\{4Q?d/SV\[3Nӳq1)ߏKe#vX -ё ; oYa>I :InQ`ra%]g 9^:bv2J̩5_5:͑ ݺB^uDw%ȯwEfܹ 3ŻF B"I?F&C,_݅xjr7%ON< z(=\\`MD}M?XCf E&MV OU+y\QA iOP>b1j\c/sN pPB8'Mn  ؉reh+ Xnֹv2"dlF%OT;zUamXӥCQ^At+$>n'nri.2ԛI@̭M"y$ I-D8olyY3Ή%;FƱ6 ?pHXLw7H6( k 1+gԬ{0dR;[G!ğ}5N7Iu8 3v(|ȊYUߌPf 6\u o}qa.KGc̵Ӭ񃋫Fl2j7@4R?@s^uUdT S!*K@uj_uCٴ;{Lg7ɏlmܿ;'KH/rM]"#Kȿe4ܑd+-DGc+ }W _-HTA!ӂ2idk3fA+kV*Lٶ 2 lO7;#P)ߦ8[MFH/FZh.tQݦ\vW Nrg2/G%8G<"=*|U-YumzP}DH7UΎ7:LN͋~6b^kO:U;MWG4o-C {> 4c7T[׊'MG+\&6 @[Sr%p1N$~c鶊̐1vgX=Lt{zy{r]C _ ݱKe5#bi&4 @U;J=%r)Z3y{: I)N!,`,)S;GJQ.h3a}0F]C_B7~pX0ΞfEr\Ȓ/;`~UG+ hI6'%b %q=_|Xq>CzgHsdߟu¹^W3x߷EHA4b#j0mTukSmZa=/i} ' Vru\h]UAvV37}PGˠ(_Na073_ #4JI yt66`Lu<u[+Z՘g _tŽ<$/IcxbAk@YO@CWwoedфG9_ 춄? -Rj F_'5\v(KW*,sm 誖^q#Sĵq{Աe0G]ue5vݛyQKqB왙[զ:Iɹ >R*=7&n#_0~ab3e1L.m"(,%{-x/`,A pSEQ4_fv QAV!u0}wԏQ2͌( AײxRUSyWZkS/6s؎+}6 %fܘ8!bwwt-9{vڑi -u k mL,F_Zaye=P(LK}u܂*MkBZvOq's`eWO@)ul b"\|Yʐ 'LΌ!:BZ;%[4`z0uwSSlBvCURbґJ3(!$sbi4% o[Nq|@G:lNKϹT6X5ܷ(~q~hS7o ElǑ܈=9gyN lNz>Fz-2 v@k+tyo)Z(I…nduZ)slSl]gItsSѪzH^NٯEP 4`=ޗv )ڗ3nT]~s&]7bT/ ]0==y 9J'@*4趠蔯!1 խɣջs42vORp><䈞b ijy\" `n̐iUcXu(2ȼ츓)M% HUb\K6 vyY&_sХM׵dnccɗ+:\,y%A2Ѧ$3BRT'UZK w*Qvrw' \B tP]nWATZ^6":Vk]7wX$iԷ^"1kwj9N5_*0ty]i/z=i%22Uވ ;X3zߢ-:|jx'zYl4̄2TVI$+UȖIU%IuԒ_ߪPzܼ,7EG61ʯl 4 fX݁@^ګ@ifab::r c{56lŹct/_ZaC>C)DcFuާ} SyȚ#fHxD%$_qڜG*$4jFؔFT"U1*tÖL +6"ޚⰖźԃ&0Jk-+>Ƙ( W^#TzHoT^?ta{he-8nٵ諻oK$- VfG>&Qt["C+KdK Q5nAE;W!u :lQgʶ r5J|-bǃU{]O` 3;ܓOp¿=ھwP՛sE̲>{6/;ĆN%oGw-P՟Ȯus2 ztɑS1-5s!倭6-jKn. ājk%goN ooy3^TSm nO>ͷ3 Gn%Qτ)]lc>2uR u|CSK``q/JR* nMa U2vUZAVUP;VD.Wc֮ 7@Y {sh6`HW"b\I񅻽R7dS OnUI[/b/5{x9Y)嚅S$cUQ,j-lTxWLc Mt<&Hr3W4"$q?c%-m'‘Q%գE2zK~6~dF Gg>m1K^jK]8>ݞ'p@cJF.-+ Ģ^̻k%07P_ k4͚. 7ё6Jl´z ddmxns5 K̖R"eᷗ]8?s"Y17V%!'Y-)!5r .)-G9HӵAo8y7ޞaptQ*ޯ00 I %u^Qr!Oq馓b2p)sG :6$g:4noeoVGR aeһ!jL=,o Q{NF؏Ch~(յm:ވ_//kbC~c%V㱒Pg]X0jKOW T?Eږ#U1Gjp:Y>&ñT$RV:]SUfa A*JzG "4Vm.#'4?5W2ϐ߹m>_H}/Qv0lW kKZEz2)I3~1Olf pF+YL-yQSm"?ݰ/<w.7[yq7<˩͇~R*.LCKԋVJAbC#k#7gḷs\ld0HK䟙!QC)mz,_ rz*ba 5Rlg@\cQvSr"y)h0߻NAJ-=Z*77ڗ-&)L> ewzq AR?M<:$vCRNj*S=ey3 4);NbT-&M;| ƳEg n1sy{&|ӒHE惼EvtåGP ۆ1V1GynF '?>C%fBj^|?"s$_eY JOqϑ^w:րV1?oB!STqR%sĚ䊏'a޶)i d ZUStDvxQhE)+n(e%FOm{_^e~JTr +k`@ʍYM-1B^L1C]KX)+cB釵#R\d$L-Ѷ鎖㤰+N4 ŏ-pery_jd5|֭JDlJv5<8boډ^4mle@/;]^69D3 v6a[j8kYt= ,[14U:D-uO8O#EJ4Ԋ3Mȏ820>n+=Oy ;4t/@d_R=+G}\KzK44B̦>ΰhB+HC;3efJq(FMrk՝%^N3"hK@o镸 둽暈AqE#<:p-:dN)&ңbCs>$^ 4$L?i?bt3W.$!Ϝ^,TiXgt7ٴi6 y$ldr5Du8(UaUGvzI5|urq4BA*CuH2rrS3Ho: bTSpBdT+X1/nӼ/~*)-rS׫6VlIү6'W2 ez0ZZMb:UQ0B=M#^xBBήTY.&%z亩}nhik \dS q&+aa,r)7ڬ^|YJu%{jx>U |;jڀ5Mb3$O`]yH5e[ED(6oNV j~P6a[zi ߸f*&L 1e+i3bQ)R 7̴Մ4Dw ppQ-qzw DM \l ;LZS 2դ6׌`pN'tҢ跏X/q"ZD7 =RPETbRwR5Vu[pmbw| lY_Jלj~JtK_+4YVfWRnA1 i B{'zL@ht޼W]=zȢ_tNɻ9RDMX2OnPZ uWnS[6LD߻!8f?.oΚ88nsUhn IDR(H̎%̉qX>,{WBʴ[ 7üt@R2_o,@N o;Ҁ -RL'}oH\JW͸&BjyO A}RU߫%x?ઉ]\g7Jy2Dup?q4 Oc$Y Y™;m~$< LFXPVo1P]zۘ:6!./Lը.d;!\ԨC5(7ΌM@;+{,\Z6=/Ceʫɬo#mȷyr"pM uYa]U+HQm2#okϽGdaTcP 9t&Qд3-*7cid)uqYDwD}#E" Q'Is>բRX6aEݹ.kfyu8Kp=L{q+>3:NO /ۼtԖe7.GZX`Ak2]s ;#Яh MpslV3Q9܄I 8eM#4w¦"YH; \v]js^wb)X\Vs}vSeǹLֵc3H9㌣p3t l-kcgiyUhP[_{\~~d1(+ӂZB:p3u${߹?}#O;yU9AP`Cʲ/)ͫ+NVG|<2S#݊9r!l 3$_~!*D:֐n0YHi+FTbS|4#ƻ% 2uoTLXHRwP?;ѝ3OY J ">xt~b_'1cv_^*hEfN E'nZ#< pPH-5ǯo,zT{@dm!J_SQ5?Py/ bD8S+h$ /Hk&}thb.`kE(gyF>7#_R58MkخWa1o$[O9;NM@oe(rIv8;cz`#Ɗs3"=pC 8ia|M