SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ggq1tT eI]Jordan_Normal_Form:threads=2elapsed=342.270cpu=579.652gc=15.512factor=1.697zXZִF! GnD]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcCECrL͓2@Ofuг {MiLB\C6=Oyp72SQWvYs(Fܢ*#7+=bLv{p0T"iQS|2r%(bk yfζyg)uAR|Nٍ&rvɬ++h#K\XL0U71cIHl z8;S_ktȢBoPejE\ )n_W8`܋Yײ1c^΢/V~DD;aɀU}p7/L ) iΐCF0ufHxyʻ+Eo0Y3m@+vUu$w˘@=:@[sYdȘmTJ,Ƿ*U f\L>|*G18 (ipz2iu:-1_"肳tk3)(1'~&jC* ?Mq/C"& /] E>0-kԙz !cg`t_: &-:4 ,6SMT2}uw.ji \7h.@Nt9E4}DT3{f ]7`5qh1T|LZ*CHЛIF\ \]4=нh !ᠼ"^g<,=J1,!bU"ܧX.f.Z*84wݫVڃJ՚2Ɇ&'n{跷.%@,&2:V5bCԧW.+Z/*e +CiلĄ|WO2fzJ{]fm&t *8gMC~@>vt]qgM9ྤR?}03Vb=dJwvJsF{?Ot|y$FhO ;dOG@c9e/[2dH'yF*#T;$E-7).'Yq!c8N\' 9JR:MQ/ rv*Oi''qc]#k9Vj&‹X }g3UV\cAVO*öm鳐sgV?v:-:C3T83ڎm2+j54lHR;bVU 'OS=YPbd6LpRwenYڣ 3*5>t%ԉR~pS[\"ET{ٞCЮ*ʞO2% AoKt,+~y6 n8Uvݷ/JZ$QNÑjyWc2.m7l+_E D\";~HpG]mhZ3 >6$T؀g P6n=b4g240L#Abx0qM,&*+?L3=RQ]Ŧl n=אg~׀nN]1 /ٳk+u|^gw\$TF԰R8]Q&ۢ[otZ︰M9'D77_GKt}'f>:;Il$nCNchALsAFFfFIX LbOՑs$iv? P;bA Ȝ:PLp]-#*l;H`=b hLssPHƟ$(O4v5سXN`Z_Sj ퟼ؠþ5ݟwPYΑݜ̗{NW!`X:_i^q? L^~uVtmd"wX3b[e8FP{#Q/|道DQfL שp5;1Yl+9ןF;|sK;{׶#!i@$ MX]qR'7U2Atnal R/P~+ԶFpCĒgޫ[p7 [yU'#uL@ |25M`J0ř]ɉg=O\o8RnM o?yD?;)n3)H} H;`> *>UΛȆ h)q^;fjCSTd)֚ DS9YL=`Oe{S9?80}akb53{ZRuǐSbjcՐg2 $!~72߲o`]*/4+h}9obyu KEK=s`\@\o6?D[IW,eJ N&_ +NVK:*A}-_;@U-U:X9e!1oM\'i|K3eb<7(&OT9?{@]G;!@7^S-_q 4͵u`S}S}fyp#XK8CR<4q]eg,&LtLtD@ȮZ@S^¦}wY˰j̿r$Ġ<\Arj }-؟PTscs<9 RS b:#\9W(Kynj d`FUP-kA؍ Yi~ x>;k"GԍIpGYZ/.ۍMZ&O͉czUn"FXQfQ堫f5XSemD$홮,4Ojg [vh$c@*W;+Wp@YB1 `Q Dl#扒(G?$Dˑb+΍yg؜xYG(Y +Ydu<_TmP Sxf&WU넱*!Ti`!'N6?׉ohbj\Ct}&Ӕ4Wslț*A/my T'DBu;Н^tH3nB$N&ֻRTsDH]lk$s:EɗШ'!mmm2qޡ9lv|s'I棦5\on|~`c)DV;xVXId%Bʭ,V7猺GG[ޘa ۋ c~20Q\31KE J& Z/Yv ڒu$x$ʡӐ0 &ʏYHZ<*n*^{DCOCQWy>OоިB6+Ma~NUu!hRV V" E̔ T}9PzdWYLc:&u7ʏx8\197ќׯbu,=J5_ {VA@wؒs*ws[͋Ud{I|=sM*;WgE$c3g7k} /s99!ðv;zqu^mxl/_oDHҩ }oB?3o|ITexV/v: zf'؆~܄>?}bƧܤJާoգ`[5y͉K5RX*QF h&\zKn7pJXacąHx.O;W3T&'7AANHS|#rQVZ?M>C%oHÓc%C}`nA.(}OMVM6Ғaj-iaQ3| ’깅Ao~cD %le5x04DpiE3ݧՍTB2Ek Ud]7S/Qrs[ mdz> 'f?WxbhۚUpA\kxOEK7щCS;wpi0־zciyyRxFeIB`)0MdLP)IEzÅ˪v9PZj3ZE;Q`Jv&DEY`!+Jbha)벵I"e/âa?_hi:ȃd8p˲6vsχ┾^ܯ= К?{eG2X 'vU3YHӐx(Ʊo5FAwPY VV.>,1fv䮙wz.op;c|M%ISs>[ Tf]!BOIO Kˮ AgW{9XS"h=\ D?bZ"}ﲈPno?h\/5歵ƒ KirMZA`d[ͼ.$0> J3YzQGҍy1UlR ?HYNyTG0N(EYf Hs[؏cEM*oW],']yA5zIT7B!o}ƬH%}8h(tʰI v*Q@ܦ{40[Fs ry^,bGU,fePuxaf7%YJjʯc*. _3]@Y5jp%/ gԳYo nS`'uj u2ws7!\֙qc]@{LГy&+H2Іa|=C’Zm?͛ʹ|I85- yl$zw@] kDo?] 7%kؑ1MGWoqJSĴr=)OJs0 )WS"ه@0TuF# `10{mO͐P. l꒮"Zf􈖕c_CYCEksO0iUi /M8*^N?.ԍ 9Y)C8D\/i6(:MR/'ة ezeN2\uskfE:/`^AN'U҃g>1#/qUd5)[6fmpcLddE͡vGW_%g&i|.Qz4s %k&n$pa_d_dمyIY'"neU/aPDIJ{D*t 3 X..*s>>mf2AlF#OٿjS@W0Zf4-%fF@kH\3Hp"9ni c0qjp>ayWN%%ro{ !8*upJz^N3C8؏Y{Bϙ9x釳ɭ+ 5kX9(UYP2Iή /\V5a{˰Rlq*|l_ZA! %6r`t gƋO&ZO[ k 畺[["s1(m{2-ܣh˼4 ^ i5t)>č3__=EC|voc {~11$w)E-0/.K (x}+#AcЬkl6X |I 6uv֤\{VDGs}o0@24c@Nz`,g`H]a&j15zZUb>5K)bd <vӜڋ$ѐ-C 'eKUe<\qeh7CmhZ`{({ =Pa߂Fx^wX5 o63u?%`.#Zf<2L5%WYvV =.y>S|+n~d=ng'sǒ:߃DE}δ9qҚZsyDEحAMENvH݊q VPwC57OUu`F5Q~"OwЎA<gP1L1SE6T!!‹Xϯ[~fngutϷh>BjoDBxxؒdfuӑ>"uuψmM6mO;R!."7ֺ>R3# YletnϿmI5^`XdP#$b|Dm($o.9v/vH_k83DB'[. `Ĭ[.I ^5_rs3o'<[\X.e3EdHIL `$`|o>@ Kq@ckCJgbL2yMK)hhi^ i[jZ ƘG2Ͳcw cN7+?ga%jRm*Pi i+iAn21knj V"P흪+J@G\"`2.F%i8#RisH P.se0Cf5A!nrpר+*&6r[om)T0cj7?Vī i>~Zf"p}bD2l^Z@՝dChtZIX|o/S<mv};/@J` M [=h5)`!O|R;@f;ĶIHziTBrB&jAW)bpEVmQuŒ3rE*gK~'#`e!] OUK_(]c,`R [L wᤏUNؤ5?=Wg! kM~1g!RTl"\}*7F })Եۄ _[,6誀}9|m`GR dI4vy,?}CTEY!ЂB4PջNQbcisX:eZ\v\Wݕ;.,7/E6dn sH}ZK[q8";c{˥RZxJ $%- v6]U"ʍ'ÏB YJ2Lh-fK3`#]J6;Ng&_5" #)h$a[o3*E>A a7Ev7&bd(Ƈ9ʫ/ΆwWﻭv5-$u $XI +ĵtth''L _[gAoFq܉J"r=IFAi0hTI0;< =6+Gl٪O3ULm낚zޟ~H$w)B@EL"Yľ+0tq7m4Ѹi9:&})|T>谜]O]8OÈ߆UeEtxo9!_Vh3b>gtOO7v}f4a-c4 Ҳd'W-m'P!&>iQf =ģiXVc$@,BNnt!aAhlFYYR b g>bNG*mKYЩprO me&]lJAFH2|w?ѱe \&zMEXh-lG!я|S)y8Ct bfRJ M௽G6Q*hVp(l_u%qTD剝MsWf]B6K!fTLEGSd7GM*۱!#a@KG}; |;E{GCSƀ"ЬM̫P/GΠol$;2|T6!t7?//m+ILk~&V|yJ>d`yHm T=frɐn"*rRO.65WĀ?`5e"Bu}3^gMW"&Ll&N9-nS E~c\M:"/nQKSnd L9QQa vک|hfİҮxPIQ|iэ4mUVB!R/GXH{|ˍ.)ٸ;܄lѝAUh׬i Ս<qcCw]AIm13bl KAew(֊Pnk}S٪v/B$Jԡu")?^]Q-%xfA4%򯭭Õ.]\2Qt=/ת)^~fyZL -n_iK巹-> G'GHj-'s(+ɳՈfn1W#~@絨Ea t$J0%zpd3{: :T 8CR-f/ LP[Eܢ.%WI݂onP7a(;x|o2 $ j2jϽy::C6 ʕy|ZB6[?4%0%Vʵ@qhdXnʳnluyEB!iKgCr|a{rKO z&r OIev]%r[ }F_l MA7*/I\Qhw[I5m]qJddFomDœ Pg#R¥Y3]OZF<$0SUYc bnv ͛BB*Eȯ-m0$Vp̈Et*lxw<*ؼ8)7=vav;HPl%AkK-m]x*_8%txOS;2\PeĠ~cۻnT#U(gɫzsؘ2Gȫsh b'Xqr /$f8GMѲ8PLyB-J# <%e( vQhOQݡJcE6m**hk}iB7\ +4lՃhM Y`%؎߽ "n& a] *Jsd˾H%5ň/a%"UC:њ<BhPEw#;g/z5:H3#4w9ToE!(݅;+7D0G1`klE.FUӢΑQe⟬A_=FkȊ]#H7v#$^*la,v~qJt#<Ί޴c.SǫyDG*RM;E5/ŶT|+q 5 2&I I,fS4=o%.^^_E+ʬoLsCa})Zۛ/=7wQ=kC5Vr0jR48Qh@1C{"N(b~rv3pafM(Vwg`hm~ﶱVUs mMH?BI4_H'2,T KQ˶&e fc4/# a.o<н!Pyǹ`ق=6l&sDS77$5 ݵ_\qMnxߡIsN&N z p4f%o' d \"ZGt'9?_/xeUW{:KqRdi7psuQPU B4W@[RZ#@i\mʖLzOc k[|Bn3m""pm̭kc0,=3=6]HWn_>&v3l)hNEzK]0`*$C q2oˌ A] _kmFV2bngbCPE-hA@-9ǾV;q>)4) lpzf{Q[+8@(B}7)1mn>Z/~iAk%ɍ}مڵ_34=ApY`gite$8ET3j mV^QO?Q߻?E;O22`{ziy \ݜ ˸޸0S_Dg(cӹB5 4WZy@k"g $wa`>&9rn5d|xqJX{-uV8s#uoԣA:p'b 7ӦJw%%w>LusT`fK'@򣈔- -@1gdmO ()O1#:wM1AgP6?] [Mo5n-/᫤/J%=0(-׈}Z>qb+"*C]&z2䘛] X@gyKãߘveq: 6B--h&H1C7njFGx- t|C7CCצΎ@9ah./2U8SްG$Z~SSk\kKhxZFsw$vYm;6VC.%e!&g!r?6L'PsF!w PNo9F~]v4k(hEpJxAe?x@ 2pdBN?re@eV(ӛz[7g~`}}ט#ﴥb-\gx 'x&g̪ Jw"k$b`*-L:sY3zxxϮ-G>̣sBlC{*sY1Y#Y UH'y"{V^hAz6!7)pr(@8=NG!zr' ̲Nu=aO9nKَ͝wϜ#ZGvհh%!|A1W0U1SCc2Jp@WO3V+Rε"8٫-(5O|,&z$"D^CXD~21@! =>TsHxq zЩHUu?{#AϬ^'U~kqRT.N &QuMB JiEm&w.MP 7a ug{GȺ 'Lb:&Bc{W*XNHYr`h0HPskQwj^uK"ln!y0o-:Ur; ]0c\M + M^܈}ַkXfJx%RCT/|o^@!S558̇Ǚ.P+ v|dAӎzV>ZH4-N3k͙ ' R}0:ۘ#4^a"Ϙ3K@wX rx8Cl"c-2[FZh)''hKu}̈ pJ)7HA岽F"E x=hP2KLeZ9ٮsIUbNQ5#^c1??wcuO7^Վld̦BjeI@J@p f)>}'!{F/];?4X~9瘴fSƀ&DOР =3Xh~;Cـ2c,<ơctJ̿Hotl3 M v'Þlcc$_)#*1&'ZPo-yķy =! eA ѰG@ƨG^߰iИo2'9yl!xlT)'WPSMtI?7'7 O.$s^B"J%}%3a%o;1q,Hf_ElƧ9CpV s>tdȒ˦P`X C,0CU¢.n/Or0Y[lљ3DfZ88D=lmT0CQ-8O +uh3Tprj*&/8q8B&\T,eV%nR?qJ39vX²_s#sWjI ͔f8L% ^%tj9n>)2%sbXSHHmŶ+r~Z mIRRrma P/`PwW$ ZPGJ,~gֻTLܔ3h"gu$yYxq{0/`5%NviYVcii){[D(Q"t|XgQGvH@)Q'Π9X2RWZ(ZT1R:(akKݥ9]@nkM ru,O\y.{i"-8B۪űdzz: BdM^{=;2xԀ nsSc{qj!mkL*K6 ܔEe=cVذjQӛtU<8A*y0>,(z!"z"'-6`2RxM~>Z76nKՈG?v:PȞ61E}K!EQe&ٱ%q|mq+'?eWy?I y?~h&++i#T 2X^Gc^ޞVlM(E4mp Nciz<1Z5Sȩ 1Ip_"Px:M.YWH29彭V7bgYZ7zXZִF! _Aa]ŗXi%;t`A>4s㷋_IWzPkk,ww(ia=Hz{KG&BA &U^O% l0,O<:3J* hܠ0 R$k%Nr bTZ.F@mWV*m_-L i*)O˱<%joЊSrvuEvk=.<Ébf@H~ =4痮fY׋Dn|~w،ܓȳ_ggb:Tx Y#au S>p#:_m~t6%M6 gαoM"kj?>$O:7<8+4Iq@4p13?NnW|j?, A{"E{N KbXI1\* Q4h_!莊s.pvɵ nB3>|%&rMZ9% ~.ibj۱[ /#$W)Uw<ӖGͲKm=cU e|e]%e/wy"x:7t!͗4'Nj+D]yt k(+ N\7n'cAI Xs.qL˨y`3OsImɑ_چ}߹6ry(9R)&4Y6'q`&cƊ~ΞNds9X2kQ@/+ea\V"XfkA۟dqd:PaH=cnךּF5IX3j&b[Tћ@7o[@M|˰.wXOn w6$y3`Ho߸Yx/m'@L6ǵVeyNPr`{ 0Ζqæub31 &Y0$ >aRcqUyt Kj5avM/ލKqJ[0 lK.yW1GirTB ߴZBC6`OS'la.o\.κCJw4ECdoУ]BYlv LFg+ ۝S4qHU̗CsK6u{y ?kV6  y&Lhۿ}ƑE8#9HPxs冠qZ 5]g5^E[U9猷X(g2Nt&.p4c93#VVY<8lC41xڣ&l9e>Ċf8/[9P3N//֚WlH$ֳBՈjgL_dMheAVAb$mR\a{~` 5+{],vB-$p+y.Cd:3p|-oDNDjoH[?-Ed& k㪓&JΥAѬ J&I^ܧD݀Mc_ KHI}vp%mszpv xjs](Q8H&)W׹5^Loe* g #+)6nאJNcT} zH{Мg;ѫnt)1VA_5Ƌ=>8BLFx.PXwADW jݭokV#yWTx"pގ,k 8s~,[<$hCUAֱwܔmB*s'#;' y+䡵D(KIzNl(#|wCD)|!AxyWup(??S6K[HKyv֭Xk##B}-U\T:@+o2Y4PsyF+?]@-iIޡnUh:HH?$wU`YôI/V k8`.cfiMr]PfYoU$uYI|!AKthOtEqJ.ҘG;`Za`f SIHȩ=l"`?Q]=!tpu3 ?5GQ.q8fCyRAAXڣw~'h!Rb±NAN8SIomG!qK_FJ.$Wr0;99{ƭ)Iv~ΥaFRq 5 -H# =uN0^g?XG$|ha)5*ÍP).Պ3Ō~/U4*}C׹&E E/j#F V9.Sc'[gm}fVl4Jk9L-mi}+to=n{W+%{$NFCBLz^ݨq7`'EVtsz!1AQxcX,0sK2# ͍it'r$꿻3u 4&:U7K~hP0QUZtPJіH*_id^i]t3ې vF Fƀj'gd祧c}R$;r]$)yZd 2 JR9kQ5p}~w4@0]Cdz"؀wy_XMw7iE/v;ቹFjgDCVK8X1_./>s"2 ~ >qmh/Ѿioc*mUl#=?KJ-er±|R=[pHŪŲ0G9|i؛%f 췱qJC0)Y$,G+NlTn E Q4xoMf~s"EV$xʾ_ 5׺+A齙}fϩhUFN~vLtչ R"_z\a#b޾xʎGOkn ?XO, ƈ:D{[SN0B;'?;.RDk)+':PWDZG} e)=!<+̄fP3ַ$MJn3:,x~ QMۨ>,B=Ƽ"[ ^"Y5B;60톝$/!Bz[9E3%RL'^ՊL/LOfL %w}hӰa Q5d>ϑ$4[>/4?Ss_L!TA8Qr9.L$ky]9%X5D; pT٤7);(P I,'XhSPfSd[~Fx&p:@pzO6҆Ip1ehé'  CۇJB HZ 18[;tt;. C.Wutʅ3g*A@/wG-AKRO](5e<0WttRh2nX/e})@>`AAGM0,WV,=]H$5oq02j Au) .S Գ=ʗ$Gf ݮWkxt*uNˋ/םƨMBN *hI'&1#$)֟.B6 }f2ɳ/:Š{grlm-ì~u/E Q3LBaXt9L_.V,mȩ#Zmҫ3sFY|+#b_!KY / MU#gpH핣[,Gi4>Rf^(y})ƕs/p9kŌaى!W0X݄tLsA^.=:4 Q7_0uh2jh*4/2X.-_ElNs^K8aQˮyq1->QU>dqDF?חHa%竇G6B"KzD>8s=M]e(j(mal6@H37*.gNDv*dž>uʿ=:Ь,XkoKa^$o{V`YZۤ}3x)^7qg(+@/ViQS/:2sP[_11Ʀñ6קXiZQJ %ISmRlf\ŷg>"Oq ܛQP}Z2h| <;UL !!^;S ^@̘RCo)~.] c]d X?J0ow6?e5(]j(Dh6Pt,oc[u^p@oBI4"(?uc6 B#xijEQK=Y[f2:tBm+I(7:RSˁ ^m ^ʩm`~) ԅNjQ7C*itWJOae+TdJUqwnG7O_%El-5yBq>藶(V D 1C̦%#9A9 tcgZ<"1[7X>9+]wҙ|U>ic%T gNabYXH"W;!600w}/˱5 ^Ie$ C1N.7D  emjeu>AHҨޠQ-ͫZ]:I鼨<*h\@$mTGYWΊ__On&SKh4=e>$Ki_`/!©y`hgcx~G{CN6Nwh@ !>8״wͦ"L!<%gعB>->AE+繩j@lm'9Ҳ'm[^{>{X{QAe7*aW+}G-`_ ki[Q'1k3[Rh ?Cjw K2sy7D=9S(믵.ᆬvqzАfM-wO亘qW =4n'5~;+FN[0p WCM8Ļw7Us8LJ.FK;D2,K뢩oA87iim*.;8-41@N+4FU5IJ"VH i0?{h9k_BS> IRcR‚.J$t g1ؙ󣜂"{GCVAMx1 c"A9 8SMřJx<ܐ\p?[uH_A4%c[@ʈcGZ\/TBR6]60l˕k%EAd蓉gEݫQ;k*&7RVi/rZ̴b:xR7}\9i1_M9D~KlVbd_8/J07Yl'Q߁[T!qhqha~@Yӡhg cw '_4nogVY3N2+K9e>/A8 r &VTE&^@s^ 9oЭ3(?o#i"%7*/YaDq$O0ej\'cg(bE0 ^a?Q LDMfL~)2A៮,W:'?,,0n\cjlG3l1uǂ{yIJu=`I'}qCIanoj_(>[cp>ti ӡKTIgJ<"蓐@/ŪT_x躺kq{ l1rbWak.@(W^NjF89׋C~lAɞ%83UXvY#DʨgS$aM-%1!73tfAvy ݸ(4$q~4 O?% 좔uFnB)CYϬbkEˮ,'wt2q^hCk< o.xFj_jdh v6;T绗.i2'0Уu,%J%"A쩂.g9hxUvua':LK$JWʔj8Sۣe`YZy`僩u^,i41wwUU# 8Uxo*zN" wگu缢%97jrF\x˧33 KTOFg9p!V]OuP8o(&Xk%Jwv/svI*\W.{c7-JWbd'E7AY3S~\ߴ|T9*8\]07 D[:Gzcmtn=.t6]Au/1'+㣎wO`{~~܁+$} 3*C9Q'vDŠbYvKΉ'O|Uu7F׸ʯ2ؒ H[ :-Pѽx'GMSijnyYgo50/ v};1i0OsLвe^L.J^@I^ O)@!^I#9Aq4@/ ?JaqdL7i^c6J;+ԊݏYI5:J<*WBՅm' NG,\g.; u@"`ȳm=K۫Z|;S G_>8m Fɀ#_,Bx1f˭Ql{ huXqdX{bsCT" \[݉2tIB/ms(bWUD\a* ö&,{ r ~S!휈0EO>B:x̽+4rq01 ~ !2?!8$lC:ŁѢeVAc6+<ٲhCjIE]ݿ2_s9?AT/\8A  ntl,tD{OtIŊ[7[1>|osPFVI+fw#T8 %xaX} )PjV<8T>l;bcxf 2D6G7!ɧxwe3;AL^FWu`ݎMzD2JռKQ~ s; %Q^s֩3o`A;^BG y7.,αfJAl;FF yskD"R5Ui vp@MjAl_,S**=|0H ]{1)z) Dhn͔ao}7GF/ūz;4Azz@6?[9Jߘ/҅mQ<#:ʵyӗP&^QzkClXRf`1%H4aO8+RD"iPW٧a&3w0\͢p [hWt-7sAR4I>9)J"; LKLrc~:2Q$S9b?WZ,EmRΕG҇.WL!pzée`b7,>Fu9@O mElo 5tSB~I4u J|+%`OG{N;I\ ' :J&|Zy>"AV@^/[Qӳ\zt1Q֦z]9P-` AGߙ=Ġuw]q v3tq3S']&=lLS7h0\'@, %@r7ҋJ^UI7#Kme~ AnSsm}N:]+eA nqi._0vLiOV9̅}k0l,}* 4W wB0I.߀j0[,Ez x{>c(1гBg̠sfDMշS5\xC)!qةjFF\@=4NLk\4Do$?nr<]nXu16|Z0iܵx{ ,3-B:PiU@!@TB5V&n&p?}eu+DQʱ1 Q:XU. GfB0RhYUW(_UCdts ZW!S7*em+ @ϪBgu#n$jXe2b6z+ʨ}ҰSYla"qE@ҟ$GHv4 " ڊr~64oWH r@YU0F(uP/[E6`'РGrSV{` |1p$t KEjDQ 咙 4mNqESU kz )◹2jNkT;%v}4|pH ΀aM&=DN^fwtHOJ+@.H Kp!14.#9@[[7 hDTj{ K)eIVC\pX"L!jKc'bgx߃&Q6 s+Jl`}aW|jo#;DŜ9*pv).oʯ,G$u0-Fix$4ۊ'KLY`ɞkH.QIL^\ġStox!d`n>찰{CJ^ Cz8Y f|iu}B;'F7ҡ,{Ek%jHnջ.v%;<0G5jv̅ʼKH Ej97 v tz$29`6dy*%-?%kѳVvkҵJJ)hN)vylpEp{.}25_sʯ/ODf \lG X}_8@|2%:=h~ DF+$XNISEL";M fV _Z$DD 2AF tHc$VZu"oy)<&@;뜫g*IA:^0*}}h6@"_; {Ld:= &t#V ,.1sɆ~uao0Qos ΎD⋊RVG!jJ4lYDY(/ƢOBKLtңc3#Z"^;o} 9({v=1VXT>+msZ$nЊ:ͨw Wby0ؔȓ.;%uz&b*OEW@Lci0*,\!5\ɋl+xr"hm7Y)2#=6թ8kmW"SYqs5j_)O_5׫0Wwb2DL0@+ЬxؑCa5Y>͒hmfw)Ʌ٭X&ʑFf(mekZ1M*ӎ;pZ(_&#9$j8mwh`r`'"1Dj9䝍R8ZSh-:b)/ X/ퟷ1Kߏ#E!ǡM{dX *d㓩8|bn4э ƛJxS:+Rpe9K̈U##_[iMyioZk~5&;-P`| a '5h>"o> dtiĹlJȭMބ 'DjE³oXB4}EkoaƐ/Di6KX*xBʰ]\vDq5+=^hK( b~७P xVGI)/tRdqj$v{{{6jn?2w*_e3v:a[b۰ʄfy1];3a?LW\)&ASwUޕ{m͍(! imxZxB/q~Ix 1uwj@9.@,w6x(JjS_AB\~HBah"k4t\8F'Sh ݚ{i\PWCB ڻPhWWFCj˧ZשW\ASf6I?=f.Ư횐pg**/)w|؀:CDs7k_(ƪ!0W9@Y tHN(Uu8tNV|D=ev'FU{-s¢7<".CLhl @'3?|*#c)m'x/q+<'#ͨ<̬2A1_|4q6X$w¾m騰X߫DUVQI(pъE8 7eܴx`A$P0Hϲ؊6,1ĹjzڼdV/GBZ2)ZrԮM꟩U(Fs?ퟚ}ly׮+}Rm7pG uG`4M%yngUz{7˩oSϼV+3ԮW_S]۞!`AQUVdr JۚRu#nWBLjO4 #r2ZB\I)ju5 K"Sy dbiCT&>'siPz`fBHŗDfdSFs/vn0ײ7> Iyl5#atEe$-n6^AdF<{Y m"M|VTSdTnxg닧> FR'tXQy0""/7(?B%Cn}mHKɥA7yr4^\oh\J;~|IGbGPYt6'A._0 j_k*5E)J+ɵ2F)wp)婄_}_ax|5˓VV zw wyr &#?ʄf4