SQLite format 3@  . BBh77otableisabelle_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 !1|T\ ]% HOL-Decision_Procs:threads=2elapsed=632.166cpu=1208.972gc=100.936factor=1.917zXZִF! p5]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH<>)[תl+BP١BK3껈d. [su!Z2jÕE~]ϲC߄k3v4DQh[ى uQ e0Qo_ߎ lٗ EZʹ*q#|b^gwiS+~8y%cZ2o"~CLdhKގ6ń J[,S5@Ql8s*B P3O6lPd7/w8yDXxVW ь7=L 1 HOL-Decision_Procs(ruXP@XSSYf;R,de-#LIR \ q~d,D?!wd핥xaf:8I;]CwSf&t>üV#T Bmn}ׅY}s=gٻ\Iw3 f%h>x{%v]ׁܼq{i5</m*'NsS7W1D{}o-Jn| @#p77$O^`n/YUS0AɕdN.Kt[F@Q;dYLnX?hoKJZmAؓezawb<.t;E'4]8Xce_ <鱓 #EY”edlQޠZÒ~XA^]-w<zt3(6= 2AV!i4& ΫբO9UP)y ⵈ[H6h#Bd]D\^Y*0R7|E\Bh5oX}OX/`u:,*TSߚ%R3)#‹E6)>t6C\'0QSb,_aIh2HlT)Q_$*Affeܯ-g 7gw@#+3MuÏ\,S5Ogj<y?OgYDqBfridb@L/M>h'o>%0WZNktG p) s?~l.,L7%mfFccH9\n#xۧs:.f7 N9 `je{: {$@N"@6L^rUnvr71my≞e<λ!Uޛ" ?[ɡ8zj3(#NmH.BO2T,oA\v. mQ}PiW" Z.|CaLEhsЫC3a0`+0_u@xUFoV_i  xV5e볡f\*c^,b)j91j/q&t, 03 =NTk>QuoK\GȵE'[=9Kks5de %CDo˜nGF;V>n`k'oC%,%0Nr9߱(d]SV.W-\`,[xSt\T[ X9(h}qHF`"H[ ; ٶ`wُIvXn$ze|aHAɆ f'׌XCjh'C` Yؼ;_u!,nL3\m¤~Ma[I+IlE?b[1Է٫VUo9& $&Kυ6j^-G͝Yi8RCҏg;:Jj0QĊwhfHucz:Cn*()[|ZЕ2"*4 p$?ܴaֺu饺̀rc߈5^s&ΒBQjmX_S:y"1ִkw-Ŧ^O-LC8o{ښx-An q>9,]ȉz?J_<C#?jL+م,)&hp}1o_0BaV{},·bm%A%4.;Nv`vD q}iFY!yn4y ?iPVcrBۉ8>$ՔEC2y6߰ أGl/:bN S>ӷm (ҁMbL BtQ'>55 ޥq6 bU蕺l$(ۗ:UmS> <8!BOp:j8l6 sGu[/M27PD\va}0Hz Ք{[Js!9c[sq08>GL;yϹw"y'{,|_Aj,+mƸ1眡,aWBZMVޙSci|o(2\eve$|p5N} x MR@rW_AV]׈WVdLې@u'75S{8rr';F /ұFxt[)KzV1(D,lË갟;pyak6DD-tMO2 oX ct,}y˩ 73'|T`HQaluw@$1iS.tũq ];̸}«&\X$\k2u+E}. zJW׽ռJFEFOw6| 'ɖoحU.rç΅_;zwm CApCắo{| v?{'| BQKS7iu͗;B-ѴwM(aKn17*ֈlz4޶8tmZ15ihv}'dh'3:=ˬ7x# h;}*5;'?(hv"srEāX)\G@A0izCW۬Yeybu!y+NN@22)ܬB./[5z7n.9!̆A2n&4 Aůf' d|xܐCNn/ 9ɹeHu2=5sVECr//._t=%p0pgJzOҵQZ|T-njMZTDw}gh 4E&h&w1C8A鏖\;zIOhlHtxs)H|$X)86߱Wxr? .ig!-F ΥqXfW&f>Jbo%IRr22d v!M-NkrQ_b/cs3#Ċ+1S˻o./jϟs$% }:ge@0 0u1Hqo0~rن\ۜ7aŞSyE-EIjȕ!H`2 $l%8sW1I'|]Vޤe:-tdX'O\Q7@~ K10>_Y d:G o ^l[2j!XB%1yݦ1m@5KD\8IowG=F6u7:)hwtE7&3zisH\m_z0:IF&|SGڶ ;}щ(hh>n!-8 XrzAB^ݎlPk(]YTgYZ7zXZִF! W#]ŗXiɟ17L? KxlWP8SաM~>fٺdU- B9*3Hz Җʭ/.!pgʵ'$ٯcyɐHxny]J=ChuEJg#?  2?Z0 `|HX&>δ/;NYQ^GڡZmg 'H30nLG(4V Kv a=iz}"(qggX̯k&t/(fto#g_C8w(ƈ(6شYc ))%6c5nlJTX ! Z!U$aUvg{Ӽz4|FXV^% Pu(kmĎ]icz`UaW5X}l q޾yTλsψ`nC8Sk[S@s/;HkZ>Ԝ) =G}eļS+iGW"ooe:,#TvL}`^ |i^W=%%~^%TIsۅ+eޘmPRX[uzǻꜧl8ezJ!x!UPHKKBn^V_E%PHI&w.'{ *^~\!3x6 > ơ w4ZT"C۲LJ2tYD”du\'zAo57FV8Ct|fMJ_sw\F̶$"ޖ_*~,\| @"OVp`;M-D 9q{xLG\U?pG2Q-AqTɞ鏑U&;5&@LhÅ_̑/Ň(&E`lO~QL`JTfA =i5ʾ]BDة=d]%WxW) ]-~/R ߉<(׉["[M"^>$] ikȲK)wZqKI,%Ɯl$f\ƭi?9%cyx:Q($HHT=̴zCTe٥^ىG7PRN[m'?W1!G<C{hWldޑ$Ck 2O xn3O,u(<6UŸ-M41ogJ#'0my:*@h:+nw)zUﻸf9:2UFFyA5͐i+0$m:l|I!^$Υ}kZ48ߵJr.y}JLVa3~fڲF;Aty&կ?aZLN-ce^%`Kk 5a7BGX,?GWrv>cԺt? )Oþ_4'G%X-fwOm||j[cM_Z&A7M jF٠]@vNnJdԊbcALfF 2i91L2Ec>nTI)tɗO;v}4Q Ql @w!`fs:P=2_N8 uqo$*C+# UdZV13,KWTgZ[ȕגI0̰g;d!x}NYSTM,13R{4o hVg'\7ynnG o=gr;J\ˋᅻm PX_dM1nz,LB:镰c6a 7ж*[G!rWry+;{SAs3E rϛ Nx@00S3(0 sگߏjmm +S(7Z $ξ "?~Ag"̶s(t>Chgߺb.;w? v/BQ8eCFa`Yc+Fil IӁs}f(a]hsR:'ӓ,&9`A:q} P:*Nzጤh85Ku*^`Nj P.<`wYΨ9Bʻ宅լka ;~AiDM1Сӈ0o̊ƃُ4|xbS*[2Yq˦Otk7dNW#Y3uXxĘ G#DbPb_4#5EECEFdD{V`;ȼM3dz b$O2XYC)i)C`̀$^/ XM%"f5 rGLL丨G17UpE~-na:LDz+ek>x :-|<>2;$ 8$$5Yt FoLl)N5!h` C!PS>Rb7*.Sf]&o%4t,{{fӤiI3q2&7L"J ԥt0TFof!8p{ pť>ЦneE7Gɾ'+^Sió&f]?v]bmS)O u$!bkf ]B]*eD({T~x {ya.o4v.wWLhR/Ià[s#q_=ըaϢfxa• \"n<*$d_*IS85ߧr+bB#f1֖NDU0&ӕ{-s?o3qfdFR tPYa -SR^JHg/ j |K!#z^ 10U-XgtTEa&M\̼qݨ.tZZN`^3I2tn*B< 8Bwv5un}2GD6B6Mdщ$lZ=BXõ&I. YRȇ<w5=`]Y@q+ \+d["K$ Tjua6B[Cbvln6lrTgkUre q'Ɏû~p0%~`pkc8R-S3ߤ4y(2ѝ1Ck=QrMF,vlf^ΦॼyXd0"ֺxlJseJkdƂ] LSد~J̮YQVZ.xySB2wgW*ue{o w2c*ڞo:ILE;  ԐjhcA,&X 9A>|I` LI̮U ՐtN|0ef.7__cA0sp:[^N1"7ކ-1eih[l3?w%bН4`@&竽'gLq.f oWVa ,R; MevŘs7'e{bOD+RXA9 UgslT.oYux* ~y:X݌֘ N`<QNh 8A7K8zɥhkd+/Y/L$L1kB PAGxRw gq/y̎XBQ-T%c$>tF2œAۡYŋY *#ޘǺ; 0GI~r}f ۭO΀*hpz| !b0yKE4f-@ϐ#liv탼J_nWhZKIwn0`KMwzΏ,htKfŔw{|71֯oԹ47>+aW" qtQ "~[<+%+EJF^.3xI$ZW ϦtgT8d&W-+ zzwB"7B>`]FpZk$nX_L5GH~Q"l6._d"f _}DCR8W4Q3,}.8l]{~u7{XF?7rŵEu+"O C$do6 !q{T\zHw0&5Cr|P/J+pm<ϊ@urcJп ;R1Dct8"WرBMJnHC~ӏOv=?ĊqS>įjxu k]TBݐ-̋_M ;r%}Y1MZ#yӵKI?l>7ȅeV )ma&LA.O PkҚn8uKd9MqD&h7WIڗґ kiyFL\X!&Z;c~^A$˜IOZfϲ\>iu]G}jAC׹Vv3?կ*j?+Ley_j_%' t q @&*p<[z/JX<"xEml=7:*:QMh8E;5$U60 (b#L7e"*8)S%݅h71;)%>~MY~ɁuL?HÊ}$Sp\|woXzKS:1בug@d Xy0 NWa/9w(9$EǻU%' O4a+⶞Pv=;!]sqIZXE8ɲ,Fsݐ#+t~T_;(6fz,qpd}lrnGn!ѣř. v+дi Bő,`0Ù#mpYCE%t L0rCvMdZPT=\ЏBYCF%?4:Ǖ(v%\HNx M7, 9XajFUMZ_>~a# ӃSY)zȚ1uP`08d 9\աY.m8* 20 zUu5вEiZo=t,ded?nhf  _pFkf9r&6=|Y=}۩'Gtuȧ!.5H駦?~i0` B sYsGF K-̒6~,ׇPg RHi aaڛKE8Eo\Qt i7~4raA^<'T|NT*Ɏ,&hSAmGn<.{/(EǓˡؙqYoYNPֆȿ7 Uh]lym}ruP"L| '-H$m+ZvϮ7va60GnhxN~Px'N=}z5`K{XjCnh?~m%F(t6W:5L@fǩ;3mdbScR# J7{Uvc5Zℭ(Y>Cy|y ~g1f<˖ y4 )Z Ys52: 2>dTrIu'C?'Sq\1Ȃ6*iKHJnuMSZ}4TnAر`f0o{Yg< 쬹І66JEz<19"/i<.7i t0 fDk od|:Q! };8Zb6t '=w1=5Āb n b\I5OXٰG# \Ф/0z@2^'db9|~-(1Y sp{KFsuS4N VEB||>(HY=xT@^g|r$$'nM}Ui?ƃiMR ~<&TtI[RopC$k7sv >I!o0a*4rPxă cTpNfR 5)JY)`h& m:%̩&4cC;4l'{ VƦ߫ZbUUL YuD+|kVMf!/P~%ӺaDr7CYgf&Oe3)4DY%N̮o 2B ;rjG|z&`lw~"<=ݯweH@Oq|Ė]Q "x:dAEO[n؝׻{gu7>0oKg/D$L?Ќc=ư d $~΃9uKWz!ios, D:R1p@-ç8@/ VPgBOA#0Zu|$Mҿ=}b;|$9Wntts|/D0%rJxh,VAQbT1,Ʌ Mk'$䓏J$9@ʼnnkQ/H?>2KÖl:Ȟ .Ԫ#camtI6v5*dB{E -$wJaMX#Bw LinNꐒEtd/N,Q?C?D}]} D&|k*?Q*'>k[չLlЪg)H<oMX8#ώRFϾKݞΚKQIu5!A|RQآlVwUUXR7WAS*?ꈫImyF`'b o"|ܼ7(_]j^o; ^G`FAͤ;쑈P.9LYC-3 d>&R3U`S˟3=^}4@ d}xqw39h0*fTMMJL՚11"%vgV+zdhm['ET7ih ,$e7똫d,cs{ulodg1Ά9fxUE 92nf.cmzзx6 .գ]#G,PH~M~n5(ʋgӚ*T_U c=swύ tNz/]ASb0;MåV!)"KZLm:ϔȴT x0Dy@t _kfR{Yk0T3~l-T5jx"/PnRE< @3[NN:ĴGu|#Maj);$-xR}!~V9mJaB|cN'1c"#_E/2lIC%kѶ4o[6$mfIc/zq`k8N8ž'@b0 EgJrڇS ,95+p/ՏjG3bpp7:Cw9ܖ`b/3eWmOQ6)<PNldpkil[^.y\qM嚓]ڿioI q1VBEU6ۍiܻ8+(BA5$lJV`E-wopB{"MY.lBmGe |&NI\ޡr aGB@vG$Cz@23Q,cVWF5kwbr')$Jo`rfU!@DdY0BuWۇ`pHp~i"] Tk~d%D;{:QIeFE')ҍ(l=9.p]J[xSIɬmFϯ $ +o6Z=F0_lXam)T|]D _uŕUy-9.K%ϲɣCt6f./W\FڥKM9,WJIT:kO; /IH#H`Ra14@ C )O<1ZdavbBN y*,wP-hpL>6m:DzHpevIy}rx]bgA*3E:p -;pWKA5/dʪjlcϳY}mNSrK<č]0,R-J $C} oï Eafmsj4v'lθtKlv1.XdCcYc-82!bg MEѥ;lkՠMϮ rR`B)d[ӭ@l `m6UdJ-Ӌ FXcRKdN&b7QM5jZQe9#&->:0`Zuǽ+*ͲmA^` K߄JDB|VBwA-SP(~Pŵ(c#Q$q t.I<]!痲T q/ a{1lڋP=x T6 N]rNZJu٣5^|>Rfiĺ4ʒ|·nJ,g#":7߃HW[PN'X<]Jm^U)zt+z[\@5~7/:K͂;6g녅4H:xY<$rp}aӝU@EOyOKlXrzǟ'iz6Ң ?yqx$p=BXg"&pRr3ʛ#uVq݋+͈m.foySN*1|`j?cųh%b.Pc\ @t\f5 M0Kh >4\NxKР<LoN9u9nC}6;=+?tЇPӍx/Om2O< ),dIG+M5U,U۹G#O(W2?Gkp5J!P]3W#9@E|1Z#ϖ8uOXO0i+c{GiRS3u&y9i/$0@9L%?cm+^dC}ݣ>N ZP6xT2֒j5&{Dc,w?6&7 p] (ieTtb]?zcwy DYƢj5"M0мZD5=AȪMfEν'JXTmLz*P Y үlAq¤Vj:OQHjlp( [ cMr0x-~;F5Є)He-yՔd @'bnݽ-O ljTw,Tsڵanp+y7&rz8e{jKS@U&ӵ̈bI;5: xy,R{Zе?Uث.lM}DߍvaՂەq[Dv57h ֳBh\]>Pue!?HoY“uvr'՜)>c[0-igh e}/K]ߗKQL&8 _i7ϭ6`ĚL]O={#>O_V` p_^$1*k @0|'_̒ڈ|e:6Q};< D̮= > <ǽBPИU6U" C ul<~:y}+RC13|$VńnWm7g; c f-NeA\hpwzmt})$L3L6,H'T=ZwU\f-`:%!d"EOͰ3?_ G,D^`|*=;dB?ic6Âi EDhRfAC\aXKK **SPyw z%ʐ7i7oV #W=+K*T9D5۳1IJA0 ٹN;n$\Ulob,,dFL/ЪD7Ytߘ܉ʃq*.k%:ah&9kEӨ ͷk l) 1 l& U\ʻD p?!]KWE#Or6㏂\^+%{Ւ2ar}TF1S`LdqP # }G "ڽ^ÿ6q-3ަt+cK78EB{I]! ixdIKC }iL RwB?u/dv IOVRVIN+F-}hŊ,^%(7ᬺõuԹ<YK\A ʦWa%d䐤(oUc /B)Efs (Frb}ܚ !)-7!b wэ1MT}6u/'oE9Tz/t3Q9 25ĘfTKޣIX;1s$, U1 J)ox MBGL]u'%ȡ_BqgTe?-!#%X@%䏝][w1Xl>s LJ&L1)0[:O|-MMkR1Z">3fm_U2Г*GxhG%5`e{H9=_j**hrA%m]Zc"Z̄4ӱgoԯOKz#_:cG=)˪CMb~ٲj/B?wC6ο Q^DMEmvY#ڋ r"Omɷ0ΰ'1 <;޺% CG Ҿm&$/MGM}WW͒f_%Zn*9w[632~\##Mς_vު˼[hB=iREXrB%I-2ꤧHo,] +p[ş=75$od]ѺD5nqiAt 4@W@WAA0랼@n&5:D+@E|G_ҩ,k*C=U25H:]uZ'R1w*yEO *`f\oI5!wjlHOr-ḯg5Žȡ -! f,޺eP %I&Oܽޖ%ɃV53mEN\Iflk +|_%iN Y&N3UN*; `%ـ[6sN[Ҽ64nIHw6[ "l`ܿ sR)-nN)T837^^V^R͇'L3o>ӒPR_چpd3ݽLhJ̫uI|mFE#eW7#@lM+EL`+f ևxN`||e97e~jAYrSDEDĶCyh t,qUgv^W"Ȏ8d A3Tx7U[U|b`=Wvej )5ܡ\K\T M6兂1FYR#3UpK0+)U)'rkq^a'"qh3WsG|Z>I~WM )[;?c%c!L?`JZ6_/㡁Pw͝dVe,l~ #%+Iw6l,>É=(&siH~VY. P"Ou_LlTYW}_qtlxm5d_'CsLƸ} lkC_!Cʚb :(1 U5¿y4b床W](u\Y701\}aʩٞGjs)I=}P^˂ <0uz]Nj(澎BOؼq-Qֳf̏Lu/87K`% \eXj)gg?n^06 ǸZ'%?X#Qp PB֦O>w5 * 1+aH2AW\=H+o ᕓj7+eDO|<&cyMsrX!J:?cR!dt; k$&i7_ڐJ^a-Pd? Lziv^$_w>;i%N>ZNFZkVr+M3m@9/RwOpT@27nĠۭRV+hAVIl6 g4-h 5)*SL#1./ QC]db!itG7I{ëֵV.YZ/|kaIGkY8h``lTRr욏~# V]e[ m_NW}.ԁڃClxlΌOW`~s`,&MQt>75+i ny$ڹ|$UpaDHiitA^6V^VN!$J.iքxl)}ԙcW"$ 1*0߮NqAHF)S}( T4S]C6 RkG8coȻ4V\V#јwKA!#g׍x?T,35-5hCk-RTSxGmNJpB 9UVf _{<`haWu z>3…VWHLYwExiq# T"@~4a7tzT$=ǣP_邈P5*N*;%H1r 9,)0pp埛]|vvѴL焌 4{r,{XQPjsL TdN#jf~$q!-:I Y\ F৳8C/XOUn{0i=̈́$ם U'j>nz$y+$?&"v(G=8@F'tfVN jF׫[i΋?=fٙT$%=R<z:h's}'{˯=.,R#pgdt&ᕿ jnZ(ϫA7(H1|]w" IXtkhb̯l@Z" N+4 FG*#Lk$J+=]g#H+}/8ߝ :mPVttһ Ğ~v.DSX22 ޣD枒q_C1y\*gwqD΍W ?!j`UcOZ1M6 R&ƨ]>;Z w<ر$t ],_rK%^^iuQw90aSlXi. D*>z+9 ̗m#=.l(gڃ@G?y#!NxVH)'X Uxӛȵs_ x=zZv[tDjyǤo^Ƒ8#xZQzU>r'(t),HJ!zi> J; lśT$RkMJ*5 %9RZtBs|ܰЕ[]9X P,tJ&Z5_*5Kj*S*w/q3;Ko5ΐ,E|9nY 8~y^#KyK{^XRƽn17{d]p,uDzԁ۰154 4[2_b.^}.y1$SH^gOy),6/uI_OAL[?v^8N~;[֧vO!B\v!LyƩbjnΉwՙn |V]|`sω K-m49?%ψʘ!44[d]5Xhkdfu'bC3uۯU^,iziLAT7XAgKsQPfWɓ ]49>=q0͐! L=IP8AVGU*mn۱8ץ0m;H\HzMڗU(&3Zlۺ+=.[]#4CGu6 oF'G#XxZ5% ;q#Iҷ/78#(%cSSw#0'5xraavj{;gkJ'}h[ogC%1yƙ"vngH\c!h1S@^k^I3 9t0I}yP+qHnkvݵsgQé&3si|I7fIl`Cey̲{Z-\Bȵ[HaÖu3Cd]0Z5鸨oP z.7`s DOU$SOB s gh)o؛;xDK2UA=d Py{"LP/>ύ7y͕<ԭ]F:ȧs?|*V Ab@ _vNF dxwIpO sr6DЉH^+rzNQYcbegTS>>3ƴvܕه4HՠhFSo0A2.k8@.GƯK)Ovj#ٓO1šv Z%%''-`[^VIiy:D oE\rVO!9 3vŶz,I?YLPrt 3ц/s A*DBl,n|SɼQeeBau3g4te\Pak&+~72P|Dr+ˋX}An0Z5sR65$;U4A@;Gfz$UH>*'~YAfxn#b3Yp>#ʇt}e~Wu2wF({=IHъA.[(tQL(($O+,r~E6 g8ЃwB-B=mlċ+;k/k p)>}*1[z;e'KriÅFr`AJF1k߶ [*uyZ͎ ]|EqQp=jy Ms\ oʧ>C Y7ՠ?uW$JI5:Ph]CU} Vr'HYZU$ #v{bpzMZӲr"0o! Vè5Io /;հy8ɥ'S CLq>p8u薮fu]{Bt*ʈxea)tv׀^f4=0)hX*&e0d{9dQC ?P\G+ ;Q/H2{&ABބ0r?f_UEd1(& \jpG'zsbw\0y1 :=ޱ6bi * FZ`KHԏ_lj6P_p]vT"Ai|x0x3!AlK7vEM2Si&R0F+^:]L[' Cjj՞GYI8[gشYGd=Gؙ\)k9'>B?c^309b'gѰ͡"?6:Âd\!vsDս]%UT]: " : b/:k}y" -"Gē]Aٲqc}l^,j):=Šyy{7x'B=)+g#i?_֦{ 53wBlpڼw?;ԻӭIázuͭ@Qd7H4AؖBw1Y#1NR֜ }7w-h"mi!rr)CC/MOqScۑ f#nkǡKUP&.w;c7ȕٱDf>$N}ul;y!F-qOݙ ao `4I8}ArRm5s&KB)^FW~c?DэQp lTYck9@BT1DMf &f5 Ԉ8"Dy8F鮣cH=»;u^r'7g ZGX{JKUxGmC! zE@2E߃ bmefc D߂.gRrtqetIqC]ITRMn m76vCPk]^Crt0[/g9K $1zO7c0'?%13O _.S=Gg-д7(%M'x<`#Z i lV E"2>~= RQ*n` ,>aPtבAs]#hĦդ`V(c1f@uh^DDɋGt A,E}WEJj$joݵQ0EU 9p`v3>gB5 JF|(2PhICբ_i$Bq ͛T)WI\MP®{]祇gH^dg 'TKkzѿ"*J'9{htꩬٟֈ瞏(86` YmEۤfQ?՜YϖP ]}=!g0vX_:1hwQk"rNfJ56yl8!PKrՀ,eEz*)|tf\K8z]Hîsye~01πvڨw3QHT|5HaFHg[O91e8m;!ap"I@C\JrZ#kmVBgD:G9+D*'=hTٺHYu/(xשdhTcԓ Ԟy-g>?Zaߨ8&zDmc,}z=oB`(qG7#xn%k ('op9kq2|yDN z#] YaL" Cx/ia[WLB~w'ԭb >JB5bA^M]>Īg#X/q5d[Vv,AbDlKӍ倿Ф:՝!pCmn}0{\7xuN!"BnCVT>͸8T 9) "H?0F 'B]@)c!3 v6?&IkD Gm\.Y;\H0Ͼ#._ysf_f';@+bzSUUKl^fyCVk6[:!'6<IêK6s|l>_g3sS3hΕޡn.= 3F  ѯb"h.ȴsH"^ӽdE.-6[jB!b@& M\+V trd~8_R3Y:q37dፁ3H^!yϖ{ڤc88S qvn&ST=T(_ftOp1X0GLIJ0_-H 3̬)wkA$aQ'4PXh "&`57 ѝU\=c76#lC@79g5Ů^\*Zp4? I33~`4)N*坸:V.M j>X` +6{[cߚPTdWG)B]J^CݝB~"')]U q:D~NN̩J6.gBu1. mʚ3;-~nuiA栩~hN”i~kDxrwW‚`a]ksYbg:`!"w%N؟1LSRPRx"_]nljP(')~F3Eۥ|Pk[SqŕDz |볗 ^sKm^vkJKEvsAc{7K+^<'߱}04TSגSDN> }Lsff}nݣ@6+Mo/4_=сRe2ukB(J-/ ]@DRA(2!W&Z{3u88@>la5x} De0\c;PfWqrnRcbPhLdOgoQuTbv(E²kΎ8UP.v$½8cKj̯ "W4łZ%]HryZ%#sKsBiұ%X|j|SOr2OUOJa |HfP>l0MuQ8>)lWlx'9K]/G\Jɳ9 xQAbkD8}8f$SMpI8׋a z:C5P D P.2qK1 (nhT :ñ}L lCS7 =ŢׇՉ"8tGTsBu<#\Al4+|;:t}ê\Il[ٖe@PF0#UV|f `Y;b]bojaĜs޳V>:/ K o _=9HT0=/R2uj@۪DOmЂN".Q_?E u,ƵLz"KlŕsPt9&zг|Z6\)[8ϿZ)zR@6p $-GuYrFL^%e_M(R!"vA|GVFMe!)/O'/4{}(?[9|,ʋť v&GH3 x~0iӋ=*[+fT"\kc:Nr=M?鬳$|hŽ?vM7NxI$Yx17^eЎ2k[J7AFkm3ۮt: p]F¯{N}*n8ڎh ٙ=ynw5줛UL`M=t\IzNW'.)mGf B~P9ɤ2y2"+`+RgYZf9775f33f2e29d5fccaa2c1222cad6eb7a28555531bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29 2eb0fc4656a0cf4e0a32ead13f0b2b31f3c9dd9e d3837ecd1804c3a03b2ef1db616a17a4c460294b