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 x!L,45pxH.-Jr$|r{B7"°U+!᪽2Y $pNkQ:MI#E0Ƌ7\3 Q ÆE i 6#JkVKL9sOʩM둀Nڸ OJ's8HrܙgRϔyc>%ǸC"F4-T?_~>DA4\ mѝ! 2E `|w TG{W=XehEÕCMMC݋c? 1f3("ۯAp%,m wRf$GB4*kL%ڋw{͎9]I悠wlZlL5կ8 UCl{Oqݶv]j8Mk 0M:lo=2DL ^ldj (=1᳸Xݺp> d8E7d(L]їׄ Yo[Ny=h.ZX|ܕօsζ. ߋ*`q>P U+X8㞝B|2H/-;8fmWξL7:~aA(ɳBѡ`t̾chw6[8A;Fŋe"2s̳ tmMY ok|(J+\kٰ.<3˥A٦7#p_β#m%Ό Zm/h[nlV@Kø/ #Z ؚ0d=̕FƼ@-a!=9^u(zCa\J̇x4*dp6٥2 qS& N1Un#tI5頿@:)vE; T5pAª'S;J>oba? .&O)}sվ e"A0{ngO)=(gy`5 XN4R:"k-A%V;t) s (Q ÎJ S꒘ڌT{K ~# ۻ. Ls  Sv}L~kZPׄI$?ϗzd5ƱZ,x.ObV qzbc•ZKu2xתA@SimYjd*y rׯC'>QUTB/)cidhYg6aPi..hK GH()}V `_@4*](FcI<."ɱTU7{托;LY̪zw,%B3hc,astԘfCAz"Mep,$D":c `A\̻ {CJj`@[ׯ7R4.D7Јq u°"da1d&D p%(z+ M!$eaM.F֪ߴu~ƭJw0iw[ DE{t:c&01G_3%hW4H0FWvd /|d5yf -6ō=;\c y8aR!d&i[4}c )+lX\nDZ4+|!堅 -0-}$/pM蜃 v'B–A5졻X) O}9;\#ЙY4qɱ1RXף20~TF} Y9i.S2"6=%mvcFyRpLaVXg<#o T% >ĊE{``%Ś\ZW,T8^!ڍprUѲ:X"HKfE"b*39dÐTbP;5/-D50"j"-x11dTrQݝ ޜ$_ʳ%;2P4v˰,I}>`2g,yoe.AM4E^P)]ji6>ͬ[lL)]J~UMzSkd!Hdu:L:x-]iVEՌU%d] =Yy=Q$ϷQu m6g ӧQ{޽ M|isq^~{YUvXN"!Ps& E3כcəz߆ɒ}I4u2FolD ħP!1ٖR|ЇB[t,69` YJﯨBshxN>\UXZz_ IҸ/٨2z ,* dK%MS1l͌1Yq񡵩7RP, "n#$dEJfz} RZˌKB/쥱<)7 A JEG9&뀒ĶxcǦ6E=@]'"R.Bd_9ߜ@goS>|QTN{t: 6L.@[+XPf a$R2l})BXتm OsQ[yQ548cSQeQY*_o5rb՟>1 nyד1Y)vQIwޘ ĩcCI('!Xүta(CZ<[x>o@\Kg}P u] MC"z繓$ %fQ-9N,Vy]_;-@Gw $|hu`*րb`b;F*|H{TnTi^A iBL42r=D$;NG_vjˇi h4{}GSoDBhV" 1,cjd.N Im+1 ވx >Ceq%NRA\"ƵLъd `4oQ`g0c)}̊V,;E6uaP8qh%3oiMfXΉU-eq;S↚pnh FڄGEFkN,ĵl m+׌ܸct~S({x9Ph4;;e* =2O$s,w|Ƥmҧ"NeS\Iwv2Ӕֱ K+Ά%umj"!s'SIYo{6`_Jl{c(Bc#dn_EH᲌e>yyGE mL! Rګ&Ɋe 3Un*AM~I<_P%sDvaȊ  3~֛ t]wPі&e4CLVD[f. &a]}qh=7iE 2ڎ)bn7L F;Gٙ¸K[%Ӗ+~{kgx^ofU"F|M?1!ք?Ӌh׋ 9>SEjťcݤ~^$8}v!}p#mЛJR6׈T3u=k5o?gSxB&ʉa6? S-gh{f}I')|0:0 }2 ­ +3L+u/Au,;n$%rMTKHf2+²yߵ{FyXsCiwi 8r7qCOI#u'#= Iz&)xvlLiymbˇR]ꛦ_t+jU :07IaʌjjM$W[|z:rC*v+6 U= ΞK'ӌ4였(ݢ - qu>7ZG \6Uqd0(m0ſx[s}hRZ گ>YN&pBfUQ>]~SpjUpc'X>*@a$u G?)#Ig(D=^aF/dབ,Yr2\2_.gYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!B0cgqJ"\p  0'o@]s6LMȀ]H. R]K0}}x%~d"Цtz4,g%a5[}Vld 6h0e:u꿛D 阇o%՗s8?r#modL.~Dz&ܫG]RoJx..04j<\x4"/S9~ʄƊS\'ZSƼXW)oU눊] t7R~ ؅kCZsCdF7ʁK`7 7q-7U?~ ;khgWҺ_ԁӕ! Sۦh{iFUӻxy@جIU{)x]ã;=@>Kt``-&ߋl^sNJz`r=<72K ?r'Og*q4Q1 }ũEaʐKSc~V' *j27:DxyQ(\6Jo -4I$n Xd 0XЊ 2IϱgYZ7zXZִF! q]ŗXi%9%ήIRooe="z-.ְ[Ƈ-L_YDІy[@Z:thew%I*sGW^ǃfQ9'3SLXj+չe(l%Җ*_/ Y|g:EVp7HhJl.*U&Y]FI Cò$'*J&8 0%*xBD)aՖG~w+%8bq/ccf{v7]Yzgy< p˲#v15=e6M4&DZP>)02aw($O&@o{ik~hY poHԸsf0^,4U!4nyc,1ΘOn&:SY)`XZ xy &*/dD<ĉ$߶B$mBtIf̶xQL IEحpysIt]Gt|> :]1 pƑTPD:vA[|h%jJ.s'z70ü/k8#jCNħJzVNw/WbQMCGwEWf3_LN 'Y@6yO iț0I+:"bU:9ǩq%1eű!"ovCwJ=2j}Yy吉?rkDvTx7!^ ?5|&s]2n-p$/F&Af{H=ciUb;/EۉUb|U5c#@ ߃,gZsF[Eةq[k_ȂӎF7p%.עhN,Zߠ5-sdCl7HhFo<%N: ʑ=M{xZPgJr"_BKy=Em 5}&Y^EJ$=dfh,Jb+Ҽ T>N[)*DOtcFfrD B KOОESY -\Qrï¤۾Kq U+?Mz J+ ({jO'w(}Yt›IUGl2X$N-mq}Y J$Tt&Hܸ]T _u Z̧s;~jXyӦ4Pn?\Y(k _j_[$XGdgFPڛ/C2࿫޳e7 &E#4?EwQwm3|V5`F3)rhvp^ulzM6N~ '} ϫ![8ݶTP9ވP; Etúi:EV^,FX0lM-j"{2Ll2 (9r ع}PubYAe(s*:NI&DπW|jWåaYD)7kO,A=<;TG`u}ŒtfLdL> \Ɇ$"G O#kJv T%ݚ4C&E$WEg(CM'܎fU~=B{~,-*$HjO6(;{)=g=ò@ᖽz.NX[.<{ue.Z\V{ p_ߧ :VH(*?nHoC5ogs5(C lM74ڴQ@ٶE*ɦF2iS%Ojg\;oqg\nJ!8DChXD }Glb6 ! &7E8 BwTn,UtaSRSD,%@21BZ/ ?JQ-PzT$S4+CGl\Ey/43#>pua~{=^y1ɠꣾ6%UDegӄЯhEUf$Ir|74*AcҎ!7>RcԜԣfDP# ҙr/1 qvϤm==/2!U("!1QU)DrC݄BD4}5)f;!Ju'RhY&d͵ ڶ>=dԖgmqܴn4B*Y11Tup:{Uъ;mgS{}&jҘ8k=[B0`~Q¬>Ue*JTX\y:hƝQ3aK'+e+f#c|YquI# ћ4^kĮ9DGO@M@=:H䣋 5CH?E $P `5I^0*bS)@CQ~T'ƻmEUhZD8{lWYF[Q 9/Ǯ&A!yZݡy$z6h,,;u:a*)}L@uW49dH)^?|bd!?U|?,oǙvwCTRhdiqki?1)Ђeys7<#Fs4t`v-:K g`gM:tRj (ڬo\뽼-m="`"\Mi_5Ӝ39ݴƳ|Gk.Z51&`}*?9?mXvL4xp>p2H?/~F9vq3 8L0 c/ͅƜ@"%TJvPF!Cˮ9dHz2D 56wd4zvNy3&V`mO64x(mdB=/,XyLDwJn?>뻐2uZ ozӖg/[G72 zX*F3K/i߁KhsBǭ-Ӈm'1t8{Þ"wX,X\y)g\"mWܒB϶p%L?kՏEz:AgECė;OY:\@C/'taC5$K a͎[(A'Y[~Zllc(xXs=.C.Z$ΕKBhb i AM9 hR Bo؄ho*BY]k1` q_>? ulMU"IHɓAWxZNҥ'XcĈbwxr@;69RS;8A&j_ VjP^&WP_F~9%*J7_BUq,8u2^EEu{Z{5f ,Ձ48zw K}٣5Ø ýnlT'YZDbŠXձAoek::8d1.D”ٍnClA\>[?vi3>^J̧_<@jI~uCr=tt|5e|_b-FXx6o>dfu#/ H8zNoq=P]Whfz$$ޞoTť[ J}N ,grYDn:VqO*'Me6H{MRzƯUқy#ԳGiJDFoM$`Tl5-PnɅo`š>u9 ?fvix}#{~"9\Ŷ.(aE%͆Sf #"+@oV l:ms %Da +SÁ4n~z[9=:ڒ0ub.A6nw 1 ?=X8ճo3SC(ImjivIފ\:U6p`࠘Hbc0<65BDjO6P_KfXo qP"d,bO.+J#dwr@$RQ'N@J74\ъhx@IBLY?AgL<)7=!Q%ecy\{!m+̔~#6vAUUͱ/*pԄPB#%͏ڸ0{!i'Qv)02u'ok.pqjl4f+4kI)" *~Q$),GsT=VdŁ%F=QR?խ/BkbW BըJYU"GX5(9 xr1u 0\'$fC|EZH:GyC&&ѿ>1跥g[`Q1cL(0vz*Ev3~6{O2{%VU<]`e|]3W͂׷9*3Ѱkc9*} 5"f&uQkUKolG[*+,F#lQ8Ţ7^3Űl@wUUB#0͟fa(k;8d9r^+Tv{G뾙nmG_iTSMOg}H;tb62u7iƷ cm|HUpLAh[i{X@UjЬn5H6)82۸G.j[7r(;gK8jCaI?_!}Ѱ [(] 1uw>>uocӼ|̸氺Ds5 -5jIҽѮ.$t.n+b$%wZˢg墫:csxˬܞ\`ZES x+g;$KZ&t^jI7'ڍ?t9mV ."_2Lk~kDblLsk >=<->Y~K3H쳡NSzK^< k,<|r)7$Z̤ ͛c R0xg+F qZu+p[\`n!ŘjlgDt! eq]g){ AT]g[12*}&"I@aeheɘNِjxI@ʎAjn51MV[>r嶁^gG{xo%̓Ӱ#ef݀yj̐S!dӈ^[rt@\VL؅Ʃ^ZYnW5V] 7T[}aun޶ g\Xwݎ~+!QMd33r:{IՀe|JFPԀiyLbfkFW`dk;ӡF]||OY/ R;1 ;y.QK}:>WzCw4i>@xuEUx#NO'0ab6 p>H)lTwxyu3;ݖ͗Sgû75_f쐔$%Zy%ܧ(38L [q3 [ \ y7NT=85MZjfgS%k}Ӗ4調"dA%q2JCcReO7eY>+ t@Y \4rBAȭWtW 8L`l|b\f^Rxwk 3P˅$ ]{{Ų;o ՋuUi6{xg 8EyZ=I[B" >+P\vYԁE΀Wb]=fVu'f瓘B`pc83/#o 앫+^tJ(Ps\[E~iml.}w T4bG\.%F;\؜cúRg-ٯ8K*w3KdaSBHI:4QPvbTC(hu л{Fܨ;6~+^MvM\8Bia汖n11`rC13爣u?lVYbacH~?QCiKX wU) _ROv^dracrpX^}+^GT֡d\THw_7V 9>ǩ[_˟ř#BdwJ;֌xS#s=( aOHn Y8v__~D{ qT>r):wnܳŗ?^9BhE4jE,clKX=\𜸍7kS'& &BVRCZpblLZUoGVgQ/8| -?ulQE&[d=56T$EVTh Gq9jX'ם<Ŋ'&!9A$ <&BJ׆>7 ePgY ~*)9BQǜg@;FIVo tƻ-0'}:D ypMmHvJ#k׏~0 QXF2#!QB516TK~r1cpwJA v3_MO¥Ό-mD/3M#롘n(Q\lʸ~g˔5@)UгKRƴ:}cf"sbҐЪ:ǘ^oXn [h?)_\J<IS^*UG ;bQ p\wb{g;˗Rld.>ݰnjK[mxѩk ׇ3~cPo}V[X>u㴿 Ӆvku5?^m^}r̅1gI]vTRdg LnyR7puۉ)̟&>*.Y#f+s7PnXH]U19)?u!%|) F,4jK\7H"pG9L=Ƣ;.>҇()SۮHA-R&\ (צAPCRJ4#[uZSrjZ.dc&HN9Xǘæ7 b2X q<5(5 fH y]W, DVfԧu((qSAs6>juD۲9[Ɲ%u LΡ|KpY^+u0gD*cB9$8;7p?vjXT͞_VqԐVNp~;# <\ YxbR6R26dJ9;W.v𥑧k"9-զh'QE;kw\R gJ$碛6Dt"F) "B)_5a|T4:W ͶFM&墀l¸]q0lYCPe_bMSt.rݲ-K" U]$80%U3ZPB$}ZfZ,лwaGm 8_)+/b9tXTSAۨ/hE>*#iA>SţlFh`Ib|zg7Lb8y/4P~MBKRwVިXTh^zr 7Iķ 5>&])uC OWOiPDĖ%qK}&˴F%/BHrYd)tzJǮM9ljvp8NkL153vvZD jAVٲa 늫055 L?5>9'I-JX,(%ck^=O7\OB13s .֒L5mh;FQn@ * @\I>Уװ&'%k?@I.H0˅'f>UA0\\zxh-FGsk>N4q,uޏ۬>Sd/egZ{Gpq\bγ/LFXrͺQ (鰛TtO|bW>؛@ܵ2(џ]ڞ=Efpvj@/48N /@9 3\{ lQ9\;$l2,d-_MnŸivZ0s- 4|Њ\Ky9?|muHcS_(FpȍЪSVd<ֽz$J } G 3xvhE:Ʒ̵"PZQkaJkҲטBWhϻFjĸaWwHA'ILDa'qA&Ҽ?.5,Tw P g*LR>BEk5KH(sDBM!̧"ޛ`*qW_B^nW"Fu/tQKg"Yne񺽄k)ɵ`'#AlnQgV5d_ѱeG04L8"v t)GZkHU{{*0eҧVT☄pL&Mi`FW4(OjaGE(2G5~?Հ@Ӈɮ* Ci-8q8F_s0{VS\K@Ȥa4^9sX\zV04gp}% HpV-o2&,?U=0~.ʼnվa?>u A>}eExdzl/j:<ĞJ3k=̈V2w۽sVR٭,z!쮢QxeI7S0nCFSeXFEVj& ~>xZ0 N&@k_C3^-{]K 8iy}Kn€9P:%]%k: q@,6YImA`Qz)3+ܶZфE}ǿWK\URmfqҢ-^7?{ZBթ m l:Xل9#NXMz2^:!x~:yɒ&'3<)]=JU)ed\Ls 迏P4YL1I E%X6c|$E6\&ѯw-Yo81i95-ite( /ygwb;̎-;5b7~(Yʄ^ K„M  `\0 ޭ]ܳwi_者quA~ߌ+c7A*uOY7(w>6k4#x[Ɯ].MD׽v7aWD-hߦnRAqq¶n-ăFv*rϣ $ NSH:,Mw/`yȭhFG=:{Ќs2Siw8֧.\^u6!kiFfÔ.6r$9-.h e?*yp@ ۪l(a^%BNR5ve»#$_!F嶟ы@g'OpR]{EPQ#փ_?u7CNjP̒#Odɀ!;tS$|Dcݤ՞qen,,ZubV2tjd\?u5>U~vrmͮZzqp9 RɗIb RGIL!Ay7rfTyr.pICāax0={G%ohh|5> GynIHYT(^^f͚EߚBȳЋtӎƎp\jMfd=[@maSA%ߐ^ov7NW)wzlB4<+9~/͊NCMq1$jj)%TH;gU<;%0*&Ϧ;CSz#F6 DQ2jY10QoB4YȫTD>໛~-C vwXX`s0wor!Y*4gOTZ.؞$S|[z{u9C::XlΞ|YK ^B)LMA^KcTc <4@Jߍ걟Fbv %p:N^X7!޶onK9T㻡:.()R94ľ:gg.H^>v޻w a \~(C0m.NE7VrF~3DY`Jcr稁:J r6yʢx.ӡLD#WwWS`bhE ʳվ^1 75iVr%sHe_ܤ&dNN&6V̍2_v{^߼ҟQt HR@-tF]oV<1ÜsiUK6ŕS+*A6tu m#X{.mRM6/D:8OʖmPPhqEL }=l@Kvĉ@RRuG_oΥT*[g'"wF R.occgo'5Уzz X kjfU|Rv-\Zа;G1_!J!s&s#-;_MwxaD0V {7.MX'1!;,z6จ[j mait֙|} 7`}c臝OKFXloTxm=uIpGx= " ;zxP"7o5\WnR6uf>3E31ɯzuc>%F7שD+ݪRn(L |0l% O929wsG4pŮ+ HUm D'֑!4øC\jܖ{jĞi@ >MM00O03Q5q.mT$'!{}Z۞ڊBh:cnm.=8raq$.r JCaMTVZJJڤu09m$P[UGsʛdމ&uerHŚyƿW#4vRl#rB+Bv+$ss"zXqL|Ì`^q)F&%v#oeC@i vzd\7̬[0Hk+|vzOsvL\)I̙oH` d$%ѿ[ɹN\@n@Xjط0(3{ƟyT`m vcrcGϨ|aT Dxñy[=WI̐Kg 5rvه)b/YH$+ɶ@AaS 72wVfbl :S+q]ڑcA=o] \s1&Cې%b9 K?q}H`{My~\r?n&6jRU,k$w8K\ܥ/mOMȚy5;7>NJQUx9IT%unbͬj 'VP]Ex}6pʡ h%O؄5 TY&Ǧ(IJO` ̢>{)eP gçZ45z?mK>+8İJ`-dFZ[.GF ԅLTsQ* Uf(+q a5h Vs9(CAy^oyo.[2՚}xn%Bp- l\$(dJ68 -,B%ς+ ftwRkt3tVɲpPF}$#vgd< A4ZULEN+eh4)~?pD_Hdo&e3;i߶zӓI=R?V-P[!L*2ecS°I59I8-;f#gՕm PdٔZϞ!Y|,ڵˑTERh8:VĵAK4 ը۠#װB_RwNW ;Uah}õ$CNuϹ/bGmWXX'7.n4;s7La[㻬-E#lȁ3B 0}LCm^Lqng+:H!oB,rHلo=T>Q\P1E#E2V#?=_Mv4k4=NJ;T!q g,C 7*G0$pzib`GIhISǟ_*M Y'?ڕ<ƫFl6|Y5ϝn(Ka15>|Og>x)'_ތg=F!ލՆ+` ׀rB3"OgE_& 0#k%ia𐆫Lz; ?1!_H]{@2?3(i6Z2I-=DUi5裓[OF?VLkѰTtaa@ZnChf$DW//v'O,E^kUlo00u³r:/pL>(u]Zyͬ테u/[3;CYq@tM:E3!UP)mq.*f灎?2=3DN#U9 wskƓ].\'i$6ke 3*a%5o_{O HѦ[2` P]{Д*`4X'nRXAܐVaVTݦ$KʬWeNF ehyYN`f3Ѩ^H[ն"gv# 40I3<60arBNO ևƥ,1.ȡhVFED&߄~<:79 oh/chu>M4`JO#lf) ZR&}5Dk(Ӫ>T]e/T_ y-OjMi<XJ;Kt}Gzf[:b:yOTRg4KV`nk&juxo~퓭5 i.?1zgWJk]/)1X(QD@]q0#d4L[zK~z,f?C'}*:'!8ED HDFBLJَ|Kq#Gz[pi  $ Syx9rx٬焺 u9\50D !(lNzDJ>s@yq4@U̳7z=]#)CI LPSmPiMo,vcI;CvzC@ZMyNJtVa;$ra7"5{|B;G /{O7g7SR;,`pz4wřuX0]߷[,1+h֦R isҐ SzT]S0KnF ͚`eKFIoWO70yyl|Qk@n&~J%7VN@y =Kao=JQi \-e:H~<>(=xv ᜗fF?a2w~> rq˫Hƿ\)T^Dyilj{ASCD^uw! T?r]9l ,$%ӧs0P> L }q67GVX Is .0bYJ5 a Uz) 8=YӮ!Xzvm`\_N Ժ3 P#gL9w4$1QbC~9"H6Q+!^c7rKԪ'}{AHk6;0sx 貅_M7/C)9(Irҟa6o$TZl'e7/\7:y/{17 'vN~иdms `-Ջ[E|f]HK,k"4ZaowrfC |8 !L+qY#$19#[fB~&ιx+ϷTa؇\J. Rn@ (Oj^= O)t, 54]Ec3s٤dUV4C^ߕ !/E6nID@<Z;躅-DОsrU*U/{So[K8z>8Tr/~w^N5} U|o.± 1YX^ÌZ>֚!z􇥽on[=rtF=-$Q%F_אHO!ۇ~i'0~Ej#?H^+#j+I4R[3" r' /0ʮ[܌G9!MR2=X. "]UUS&W$#Hm ;h#P!@ :whYE="s7YD])(;/GL 2(`Hc"Oؒ+<~_cn'jv-!k;\He eYŤ,uKY; @d"?u*#4M}݊Ep'_g' J7k5/\ &"J}DJ:0ToZXŜ'2WdNjYр-΢^8p2:jTX]~uW;E f/Rfu#.( a _pC }X=ek#@)NH;uBy4-EYv:|ށBxF†ŷ%h,S𗤅/sX! .Y.9:V̛LIg$Y(<<{6eLXm(CLD( "dpE׌M-ahI彦pòѲ%Ed0Ⱙs[iԣaՉYwG*檥R!g6V >KZ\Џ6TgdS[ [EV,Fbb|k}?:8}YO.c/H,skZ7LOU6pk,rgFLN 7[tϾ N2XOS_O~/8 @;v-@+ U͂2+ca[.^#J8j4.IQsgE?%$b"X%B^TIa9Fj<9 azHcl.@&E)Zp5^կh>\v˜?)n8!#'ԞR_ֹR,5UOoAQ {/r9ANñ2¨Q Su3`i͹%{7ѠX]}&Rӳ/u)l3mbgr'^ɟJ*A'cgl.gg K u+ᴳb'+_zP?QYD rAm6A{wQcLo ;U+7nD0j' /ȬމBVsvAX?BW[2,i)()X6dI) DCn%xnDCUBs2Me=Ѫj}k(_xRfl@n9rZcH ]-5OL]A@q"|cdyv}*CZɵW DjY&.\nP?ع5|MO:Xةi:};ܵ5C#NECroe`8{Du5>:’ݮ޼n~sРB@;bsyVO(yߊ@C^FAƌN%6}b;2nCTi"-r8ey$_4\=dKy9_k6U szHXÓ#MCC(s UZ$ϼ^hPkT>}'$/϶#|*anKױTң7Klf+)J^I7gCP\m٘iдcƇ.RyPQU:V[\6FzGGYg5p}5``)[F;kd9ݢ,\L\^#çayuNG8f WrY\ޜz"@Eb,O^f, 'da t֔P<6OFDsds?#;t53Pnyw"}T_7'\E󨙠lY~gJ)m`_:AP٠j`Qr.”p:WUfI[Izy*Xk;`) e#ݡ,hZ$;%#O9f $?#euH~pL\E,pH0 )ʨϗ 8)/2DC|^t>O+TLc, ärMIP>ժ!0EM^ci⋨īCz#"3x>I)=xs"Fڰt5Y6(227qWy4GUu*ekFi3߼]P*exP'*(~XO=%}DzFO4̡V`0U)^ԇ lQ~d?La:c4Og-tG/6`}2IrS"_vcU_f*N_pc6K_КL&c>D`pOTXثOS*_$pݜgZKpNevxs'"VT{)(WI-8JJx5rg,F0J)faZYHDWA^C0DJQbKu8hduBzׁFh .ryxOU¸$V: Fڵ;?~9H7u.Vl!sQ34&pEzX%˜[ &顔%dy{M%΀]uF9Za24@ AS+3 :=J:|ŃRY`E'cї8/ب3lpFPj]ŋoՊAgܗM Q2.y4mQ]#cW"2>f= o5$+߫S ^zLKh3yສ SGxΎ]5[N dDxuwS߫L;鳧EMHS~L_aט_A3dZVǹ7d„9 TS(ߢS.A ę%mF$"pWhrN)HQLx=)F؀\)DlvmHԫ2끈hz'jJ0Y@ڍ],TrrX+nDU1\j鴪 ݿ꠆sO\SeR?wV<4&|,o/$w+m߉ШVeGӉwSÓI]"CkZIm΂ŦID1/}pT\J#f5%3'7;5{u*(2kBlnCt3c[Pq+/ID9t085Ji+ùyH&+Q/YޜAth.?`A(("Mrk"3ƞKL☲>;TJHqSHQ $@B<>J>ߨ C !&t GtK4SFxk|ǰ"3OD lk]H--[>aL 21h5:yÇDDAo[.- 8&ޝAgyDbEaDȧ*^SXuN>T&y߱ Cee>-9Ddfm^^j#D:Ӓ&[ ZOtb~j.Y~ȕK^/OE RN~4R6n&=_=h'Y}zN0 6Lw(5 4ʶMҝ`ID/; G5=`4#P0#DB"𶧫Pt{#/IKD:6K ݚKu-M?/w(U0t@QHYdeP8*aH:!2'6+[6Xs*t'X+¨8dm5{S6-F]g)ijs26\ R|!l/S/6ʿgHAm4pZqi9IêCY_ Z2BIb2ODnDśK|FI|FRaBA w++AYbjkۦz0@J+pcjv154`6=h< :`Af_HǃPw "̻J0i^8pLˡ5šXk/JlY2 "pl\$/\n&.z`WSxG#+N[>u_: lzW,Li+ pEkW$of?FԐg \P]f 1A51u$ypDXitIt[9/&&5lSt޾pɎ%;kFaa^5).Gڸ h0O]lv״j^ K') 9eTK|5ūKY7s\,xL9?%.I$dMڰ-n%ߜۤokɋ4rZM롘Ⳉ`#m؈EϑC͕I}B ~Z n 3 .1YaIk;ܩ+QĐ]nl+ (z4ғZ)GDzO,8:$D7R׶¨(gvK˪,X3p3mBLE=w:`Wy\EU'&gOߑ -T,c nq*q@/RZ7+X|7E"bɛvg ʊQ@725,m 'buЧ8*|c=uU W+Gˣ j-Ytp򋢷鬬Θwa`PD_):_D3WIQnr2NW}$IɊ=_SYٱh}?1{`qOq́/`벭jw|2/WѾñ64>W`,-%>fyvR.LB9Dֿaz3Z]P )@E\2?4q#=-~T$>hz,첋G_6kD8PD̅)%ޝju7IJ^* %dfJbEOi/$=iNg#Ϯб)2]F`MYဋZR[cb@UQv ?ۗu (pOX \1/PI; I0~@vz 7$aؐ[:h3RwrZЂY_G{p|y/X-9OW78ӧoBy/ y9ZZ)WS2yz(#J ~Z|~w2[Yq.l[-N<}:߂Ehrg~X,E?mT\BucY z(c#K.hCEP*.8`؜36Djd%HݺMP.uc{AoEXgjTM~ Y;|]H&<%cVTi^Yf!ߏ^AX[5Ds߆]9 nky@GN7pvHcnRfk Pf@l ")YիO 7_khMhQlͤ3swnإ^r PW0{ XjRl6ƖzؓK爃qQgN!Ks rҵhYQ4 B ˺ڴ0]tM[_vHT f#Vsb6r\Cv"p'Ϟ&pn@4Ls ]"Ñ"+i>q&S7!"/L*|"I3IV<)X:Кgw1QkN{i˰~l\i.j̄Xjc  ZZMVAtpǒ9J2g1LMd†E\T~mgD@.X ΒvY5y @W~VGxDKHzTxk<K!0;FIZF揘%Imc"|+\T{H{ɿdM YhֵR.m1ou˻'AlI5%&0/Ŕ3񧜘'I1]vc"O`xrւĜ"'NGb4g/4d.]PHw~ \}tc%yI >GBBSxN^4ߖ4ڔ_ 9,n'91<&d`,ܓCKxRڊ7,oֹ@BnowkQFӠLClh܊մiqihǺc= _unUE_