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 *\tT ]]Category3:threads=2elapsed=960.372cpu=1675.408gc=90.152factor=1.747zXZִF! X&]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "ݽQdpκB X1Ր(jd!a=Ru&u6ӭuU*(B^n'mGO$O5.K?/̓v܃Rh۰C^ 2[ !;b9=^WWKppXTE|!pڟaWKs{ɹcFXw ظKjYdCѰ@͉M\6i0G aT33SZej{07 )޲CT!QlmPhSږYT(?2?[W'5 95@FEg٪ ulMBgE5+dCq1֠n Fs5Зf~f',vZf$>Ҁ&p\#QfʷϑI,agg3m㕁fy34-z2/Ev[D2]$%ajrs+V S!yްE yyyuIhŤo/@˩؅{' au %)2uqK[tݧ= H(pܺ!hvz\䋎d:`ցg2uCyP:ZeՖ?==wUyQ'$o5YWâk<jp@'sAiA]TJJ ?x9ؽPXap!ԏ;Zcr a˥CHNڟn M f, <@8q|o QO !"A oHMˡO Y\ݾͰA`2#`QZf߯8Z#a!<¶}ogFfzGUr>!TuzԺMMԖ.-/( מZn <,g= }E4FTN' ,KL9&xAzox/)Ӷ۴4٬g( 754Py%u9D'hYƔ/ݝȟABP/Jh6wFz]3N\WOeʍ$/oX}Xƴ2G)Vqs+1klB8UUJȡ?m"##vzh9"y. 83j(g'jMռK+wNġ@gbf7 o ΥSc2PˣD]U DcXP9R'* !H ND6d7},7 .?CQŻ&g֥lhڸ6 g(ߓ}VJcs L'UT] HύG;وWUYFGK 5 ]i0șy"[1*vXXn[釢^ܢɡ3/j]IA$ ^ur6.& ?;sJO~B $ZnژV1rKLs$ʃ{ʈ?YPFO(]-=ODI   Category3< KܘPFewµ֤\3Ք_  ;GmZ iˊa&#uZYVA-Y6YjźH"Z]y~OU<sP".g'E||>"V(h qw [XgBOkv.c{_ 㳸qIEgVqh/x> =wcYdXyDAG[jz*Ƃ(yF)`aq-5x{jP6@jmF#{@t*F*4AV>a}ބN[̄sdwRGӤp?ȱܓAu0'K -zu o˝yii}ܠ\ɒTYӹ"l}&lbHH%} .˗ Y S^;6רn?<,Oh,g ?ꖤcEd>Za=%/>Xèe4%hqC$TGòz-ZюĥU?Ϙtھ U 63tG\Z}(3QgPkKG'7;G9 ܌yIQ:Q ^i2,=rEJ8-ͦ粀Q^FH~F1eaBy7Ke'k\{>' jrRBڹQ"f`L+dnӘ_`V㓘4^K>\ A 'y衹ם}@_irU0t͜+Ml ElRꎾBWb0n̨-^dVsryà0UGX!sM7Ľ*;1ؒ(B$oz5߽xhR#ib:A?S=cKUܳN&PE~T0Fk\BXo=YrX3PGe=kZM%Tc(U#9Y4w>DϊU9oDט]90FCf57Yʄeښ(gÜdA( ob"9È3l)z%=!q5B_tXI,9BF:Mp1oHb71?&b:AEd4'wd>A:Ⱦep ׼RHv2Vm es.m!nXHRF`Hd n%x>JrNjd !4wJj¡88̊hә@nzY׽O\mH6Qèİ-*'@%J>OOL_+:D57fy KJ& O]ʷ|N r\yMXb; dj&Muh|l~v(sn*W_*Z2 b4'J^'W\[t =?;"*}c7ZVQ~g\z+vzD jßkoDqV@җ52L'pp%^ɛxY~=vS-"a|{h}lK{h8=5tV&i3Q<<{ם5IRt3e-Vɻf(AFn4eVkijw8Y ÿt2EgO,FP6]uΣ{ vvA{hPH2ԁ/*{Ǩj;D%|dΒ ReM89y c4q C 8C @qj#F)HpB$,7^l|}Z4|NȈ%e"frH]6M+o}`/Vyt Aݞ4v@5Ol5_UԸ.,X/"'Rě"Nf|Z =Gpi:dǃp908koN`<0\pAEZocy_Q/VC?P6LYw*Dss0'cЪh#%7BFΈ&)ZVtD6NӜutm 9K+(WuVb[ɷd8% 39aoΪ؇6*TeskMቆXQ^,G[3sJ>~;qzxS1G8-nYF" ze]^8&ZENVű'S+Lڥ@a^ c)BhIf%;̅ d ڑl'`_A6{0?9Bh2fKaUVDKb:C[ra1[p Tx6 Sgy?ăpH50tMvFks.O $gNQg)/s,Ye>M!^Y{ٝ>TjR$n 19^UEsA-9)N8Dw&"24xӂDjj9c 2F È 8B({ZP3BF슞: sw7O)yNbMr"vZCFx•AYff mфYO]IQAghvtF 9I3YD[0qYQTsޛ3@U.qTo\ 9pUSt(7 5;/S T힤m΅#:ylga se悙kylmZXӞ0 fm$@C*cTH*n^NsgYZ7zXZִF! ]ŗXiɟy>Zrem޹g܆4OQ/к"Ɛ}aTIeZt'\c DhTu%M 0F9)FJL[Kh3p絋SU0G01r9pJa@̊ d0W H^ov?ĭLYi1,V:Hthw:1tPO D`ơ vo5#S_WT_됳牛eRx퇜(W[;; >Hu\F B+0U!}Nqæ)NPiUPhrC:D8i1 ;?-zAҹ* 3xe׬ J-B?8r*$J *62 "b^Z{;Gf;/~uq+D(A7ÿ?1{l xsuo|q^!*َiC(fF61`Wa.]U -\NJ %#H_7,4Q}kL.Ѯ fV  d?y{ Ay75 zS:z0 lxHWpY{T0863iKs~5 y6NdpyR;7ҶCQ#n D'y%ċ$K2&:Gvh;uߓV* oIbA4X2>PdJZL=N^v<+ERx)MKta'Μ(_5!B*' Zl,ₓd+Z&,'MDCcţG3$OEU!*+񷮌?p,bhU?؊r肊*n{7$`?[ȲYTl1ҹ*p !,BR-q\ d.y6g `*8J1#cK"kvV|ts=o%bUw)<,'yx͊6w%3 dyr'eϮ#K9 (y-\$F=6\NiNN"L{f,|+TP#>P-U[/8Aiz[="3@*an8EO6$on*yPq[%62Ԓ& ͑BTO)^,O^63euV *M|9:%]ո;%8nsZ5ϼvU&]c}K%e hrDtbyޒ=Bц'Jk)%Wp tB!3rE7wE 02({&74)e2ZMHJ41ܳMsNF͋Eg+POcR:1gm{ywrO9DN7;ڤ q,_9Is{کn^;sOdo8/҈X@:C qDzmpTiÚ ͫ NoiͦM67:OJҶwvv\u~D6R'V#'5GKRt}O9 #'F1 B 'lǒx Ryp,q2CL:65@>r-954dl~ܿP升˝Ja_iˢ֣m?U%$ f<,,IȨÝ3|$>M @&HR ( E`= g85u; /i0:>Ɖ崇ao"ffΑW g>tMLtƏ12^GmEU~ tf|zR&5}y`''>l#9ed0j8pOi"NAx!1sQS -mΐ|~ß6kX"O "s45G$+e7WMe6&Jo,១оCW ~rce08c:copvl-e0~*w`N+utv;H+q&}d4ieߥ|PECz"Rsy8F1peEӖl|0ͷZ'i'g JؔEceDy7A;&Mʚ/ѳ^G1 kTyMc~O #wG) ~r>Xop Yz].~d\Xȣk#;v wN:T-آ%G@F єIdKTnL17h(֭baHFLW;l=A#aPxsA:{χeF6pr׾u֣#6r2{9!%%i!2=~6@j`텗;;ZW|]M4}d9IYP9 wPoBVx,@"Fʢ#@*`Uj/5M`y0~QT]>Mh_7M ($Qgy]5/6AueΗ|/آڽ<ƀ@/2`F v-vG ]^'e1UHS ]?bDch)sVDyhQ꾭M@i3@ϘSĵm#_G(cO=Wa&ƭ źq=IGNӂm9sU@BA8N$>& m󙠆*oDiQ㈵bO]YYtX2}c}9=sTL6+'?dN󨊚'BXTvpRN"/eGILHȑ6~[Lgdj|@$Rp_7:6BTҜi,o^׾$^jW,B*]ѭ(G]xs:FU'jQ-GJ#t 0/E- i,QsV.DŽ:ԳV=xZJTqiY>aS}=~/Jo6Ėg-8av BAz%e9SQ ٤qwCq!3WP¸Byp*īF,PSg$z> c?"_y :'wLA p2лfw'#:6!\AR@4Zd$!uWc֤ɨ7N._PmFd S@>Ĝ<'EԱ s72iڬ &ħ5S. Pٛj0?HV+!˱e/۴JQ(T-g60m?eEFNVift/^3?x..V=T} `$d.lH*)A" i6WP.~pY"וa*Ldf?gGTNEj*6"m6u1NdvM+Vֺ[TdӃ ;C:—Vp:bHo,FqEvԅA$wWU#{ NC?mOS_z2[ `Pë8{4*ސ wכa$7wG&VwA0_4R#`i@߯ӸװykUH: *ok؞ZgAġI?,YlMc\ǁpˤ B`Ny16Ti+k8HgzWe@4%w5eqm[ۯecy }f8KiQ(Fڞ+19LAF YF ĒSťTTվӊ y"!}y .“ByB߬6eRɌ SO"/%z7ΤSᾏ7u6q܈~[I۔`>0[>$$_ YW1+5NiҨ:I$i!9ʛ O|M؍cV>hXEyjaD_FGYkRj7țzJђ?yrDs|tSQ(by.ck]BY.D0K| \l6_ @bs2Ac]W]WAP\^A;+ObKǢr}(j[\9H~ ]6WNv#*M%<}Sr25/g\ow6$mAP:U3}޶g3[CH (>߈ |ijBc=CJ\'dYښc1W0mЙ]ZFmsX;$$0;/jtN+_REob/ ['.']LOP X!Htgd:܄ޛUWbvwQSZ?ɦka\KNd#6\'^df.'pyJ>7l)b:Hi<[tHp&wn q1QJ L:JAM@yZxޤ4qYDtN7ɬEhޯ^Zc`?cvF6]$E #,>/͛٧9p(Tݮ_&f!{`+<7XA^&pƲT`MTRͻs"n%7jHE%h*\ZpD\]vzT`ACWzVrr!@ǰaS/u) -ߛ̥2}$S2?M bئ0`-gcRq e0D{ (bff MtLUX}]Yq6ђJ͡<A 'sJ9_ѵ_-OKbEIy MUi,GtF@L*3 ~eWEQ4:SoKj|L0:}dBܼۤk'9$BK `7˘pe#e E>dץ %y-'⡋rEf'Zz?( :hi_ vۺQ:CE67rp= +}iG=;\-J< &NI} *l6YqO ubjЮxm07GH R췿^WEy56[xCNѽoRn$`?&) KȷK069]B zH!x~ڤemEQ(~ѡ7zƦNj_+L,G Uv@qXyڿg9L` TkPUn?ҧ=@ݨFf`Jgp5]fߚHq0|9nr1ЫZڮ5E%5 4+e,S`L`6nxZ]pF[K RW1`Buiae1j}ipK!Zӿ <5g8Lʫ $Lou0c؛+ WFa w.T@l[H ?@ܒ Ue ]ԖS x!JrE_w+Mco.?Wt&Xl"=_J]d=NL` jҬ<8 hG,T&Eςq)RUc $^aK]=H)e-ݜb,H*7K>Q=eWeXYR {(!FN.ڔJ &7Ńb܉ξԜ84}6}w`B/};|{BFhqecdo?I?>5o>*h(L)' 6CY̒+M\%چۉ,lSv&Ml ""]s񕖔T,jm%M*rkB8|2Z44R]4KoBph*ϊ>}+ {Ru[~bfG{pm4\R/"v~#N_{&-<('ܥ (1WҸuǚzC62gtOf0AC0UH-kף%EH@U5$B- R2U7,1%D~~fQh3Ծ@UT@q=b?fbTI:H:S͈\2VQv7h!DpJ-YF[B+(E;F Z+˕?[b}0XjvF!62}brT3? ǻ|f0I烜K>Sܽ#EVj;pT+41}t" gg)oIX Wa~'/WfO \]Dԛj5o$A8g[ ;hw9 0>䕗0?zx6DfoaެާvUg>R"5*?&pNʢ!;я~&*|! 1m LAJ+?< wEvͫVy,^٠v{Qc?i+=F%% j` ؏RIX)SKNh KLEKo+R ޏ gT >9Lo0[|qL+u6s}%RŎPY_`H*$"jӎ`FV)kg[.y#!WS0 SSm5ͮlvU_̱`r 9Y uC<" o9|!c+inG'ͅ4tpPm|5x>3@@ʗ 9;" G jyMpW!||z^\}v/B {1 MO>g^:`wq\h *:zbL!cf`goN֟{.Vn5nhP\[x8/\Ȭ QxU>lE+/N.Oa@*n{M:Bеs^C߄琨X/:qX Y("Fv [ӵhI?ϟ$IW>:f'WĜn6ϲ>D /4|p([a7bu7ñJڬ5;E?9">A:(0] (-@jw׿)-#%aBBX?jK*L٘pVc5Dg}#prK'jiU}gY;2L=h_o ZJb=^"⦂ hoAT/A#hǟQvrnܪmgɍDJRW>{(#W<7g4vZ)7qmY[=!6`l_ߓJY´v',㲤F6L%4t1:&oI>Tk.F^v z5v34LdlN?l]%xM]ػ7$ϥk:ݰrDws%4.f쫆$dvA$t7o6QOӳ56 >h%S[P5m^61V5Zi RK-x@R\PilM5'45DMh8aϰ5\bu&1h0: 3e/k] Pp,: Yc<cl7FۄcJ,s]a 2Aoka&ٯtU 1=CFׯY:YLNf'Ϫ$DFb:)/)eMh.sil{k;$_(. ?TYꏧ7p"@_+z RnaHg/0B/Ux?!I=֬|r5 fA#DyRe|}H<6#+2Miix%[.g؇1^m%zDP?=ԅBg=>EgҢ "ݾ\|D+!$phQԠyj$b) 7'4־(F/cPvGT O9?󸅦B!!}g]Q@Z8!ȇ Zʼn?|5ᚺ`VV ݓ@ C[XGH^]B"B6RcG 3yGԡBu.OVY)vA!xa1|P0Ba+HfC w8@0}|̕aNY8U+Mo"|B"XnxiuöIZrӑ:L_j>e~ |Ɣc=7$:PM"{C͂~CLԜOD^^1r "iAl*s&sWXeÅ"$@f0?uLmjf#8;2's2'(q%|rF|m߇{j ޡVAs[)OTe5/՝%ܱ)eF]&ԤƃPKud&+&.0- .ZcAVPi(kEJnY3i}fHj=KOb1`Z~0dݙ3cgQhpy'$j㴼L8c4tN78f=Mg`qFng knBf=Fͭcu?J544 ~cr%.]H ] aW"Uo7xd;/ꂶV$. `] ^o d;-AE-yb>ջ>_PᝲKYvWp B)mQ`:Y pvv#FE9” ,Xϥu%7.&SU<Ky=V-58[ǛXnyJ/;V" HizɷBVMޟ0w} ^ߤ_Uv? QUִ(hN5F|[ \.}5$woyGTfXb}m`H}]{!Rs4"mkNL_M=pjM"JѮ'dy\=yB^%_f6*,Oz/~7-ݯohh ɥ@OPFLT=oTppkd3eG}sYmw- f)bUV4g 2F6 {jˣ Ym>X(kH}kO" 9ݬjl 7vYU!~yLL٫ڊ_GT :Ppʒyf1wc@Ң'yS}w2`& r}MHmC _ywr:1`uI!1:lYZՄ֩hxFORa2`acd~IZ1_ % #cڲjk+ h~7ǹ^dϙ N$Ko#pš^sø~]ЅXu5Exkk EK`ZMH;r^eP{g_>o!5Qbw y;:U X/v5r;;$ہ2}Gn*,"3X݂>G|J [f)r7/L*v <*4T,!bI`鎸 ޝnLxQЈ?w!2&>hW+cIK33s}/#:f-#ި/p:UA!%"Hpe ,(r(P*n$aiGu {:[C͢"D^O?dž]SB;# YO X&ӕ@/^.ceyPΥi`xE!]z_sDnznҍР>b:WuSecZvn]m[mUPC;-!7(BWj2o[.*,^R1UB&w݌6XwMH&U/ ?Y7?>RҔ̐iVo>7hmNя?D(Vo 57*˗gD!Ooˊmf H9s7SKac^ vߤbȇmk -W(jA7&HPLb̮ XifRyB_"|F,ʤqjFՠi@KitNG睵t{Pa8rms8XDFYd!;!,+˔=^ayf B4q(BBSbuS(GBs,[q|LU .02't5ly=@&[C|% X&vi njL[,sB@qQ\{լE?"c_F["29nQ~X[Op1 62aWC?)+zWwץguo]*w'^XM9,Ny sֽg>>9X(f2(MD:',k#,E+iY߉T_V t1bu{G ^%-FJM@JH# wF=QYWSD6JqrWɃTҳg oz@G|STC/"Rsjc6#^oZXM}dإD$? +>NcљC5 P-ck]ca7!@nE+okm䀟#~<2m!UtUj\a 11=4+! ~X_~tOFMI76:٠?(̒3|`Zqq)#H?dlƕٱiݿH1b 7MfGrߊ.!/t^X̢m෎ɴiヿ¯brr d8dV1eHcZi0JQ 4]ɣ< (n'1'`&OI OۅxeH~{jr!zF+m(8[x_H5Nwd'3Is1 5v](v;y"|kia}lS?\fYr,w^ʬ:TQAiB=W* `G<>S%Rc$h/ T47 ,qg_>DvGAV؇Y7&/9/I讬g"b}\`phPCH?UgK2'& yWrAVqii$m.tC>E_G<~+9 +L Έ4bv&=BuJ*UW7!ogE^#g# #[|:^\xM:^-;M| ҒJ^&dve_; ֌fiM2-7|%Z>og-?o^D~4P QLI 4ڠ=|+H;c;ř;4z'%Y LkrHC0l9זUHlȞ<LLb< vDF]σ.6LA°KF0(cbhQ>`(ީߥN@}`Z^vGWȦ23~:Ahf -$m)EhЗYl;,f&/!|x{"TV{Xƛ>x =jJ1\p]jW MD`Z8=#ÇefS'q`IW~%?{ƖJLw1P%2s({ T"K‘:Q=4Z`7C`ؽ bC#p|jP/b79BH9jj%>VjREq:[+"lH&̾8JY&[-w8Q݇3'JG.jm*ɽhLERe,O[i0So1j/ZgVEdӲT#iEe/\vWՔ]fԣ N*Y5s⽂fur1k|vXŔ27ϓ_)>`7^S:rb͙ 9=0Jlh!uߞ>kh[rHBݵmB 鰸[v6(d aMC_G-6l'?9s:ݕ.Lc:g :GFhMYIi*Euf$S&tZ5 }TP%z+ aowdnϪJz/bhO9>t|% e\ ~E]Q ]0qQq*TfaS(AQ4*o0Hi\F䶔* 8 :ͣUnMeCq9ktwM ,T9Rm6Zu3]!/&cl1 \DJOu=ʇt91ܮ{i$2;CKbz9HRLMCf#9{(N*ߑ龄;utd@R{CsAM]V>C߾6֧^2%k:6fCu_OӰD-mUs{XrdBCÌN`9{A19 G6C.=F\_~:?%<|zGtLo?sUm9}m}M@* Z>7u4OfH 9NQΕ/ɊOLu64҉Ib&*Cc7|qS> 8dXX޷T̴"FƓ`+M1j*VԺO*Խ[3by [Ε rbH6 +d_6lʍŭSG:7 .Y)'/JUOƢ|WpSA*lI+^A-7%f61CpϜuBh1_`ĉ?~!4 )pj:(pb%݋hdF}-J(]F420aeb)8]JX-a'1&h:g/|Sӽ(C*ՖTu{bX0 ?Uw};By50DU6T۠V]U"):j|1*_:徹$_G@.&o-()1 !:5[]b|%<7׹ʹ)Xj^]# U#9,ģѲͰ8`+d)|9 K2;pu'mr讳aotcE/ hhQhóG:!^HN]r`YEUM=Xw`|_!/l1<3ƧL@f1 0LҋD a ^cLo08`evajaNiy@!Y&ie2]ܗ01GɤWh $RRB/UGHP#KtWwL(1w Ⱥ>NJxH T?vP`v5.Eg@`0b&kӠU0kq@s*9?DSR|FS2_tv{+DUNܱ1zhiROS( l0+mt~0q P_7ͦ( cykFq.l pCH ?lJ =? $ъg~ee[r194 ,s!ȝA=V+ jqA:O/nv|s[LNɼ+\õm)(R/p!p2Rz}ПV$9MD'Q \nq;:y}3B@ X0"}q||% Dq@f%TR-O<w4ԧ+)1` ꉤ4ΎT"L"X_ :xQZK^GXPt@4MI/3"v|3ZT*.Y_c`BrOC_& G;xʧEUIő, ]VX1{Q~;pH#&}d13p-HL~7xT֘yFԄDvr`p;|Saֹ1g~酒s` aAXo#1 n Jno 0I%4( VPpΤ>_Vu"_Yۖ"Ec&`qF癘)jPfP"n[YeHоBh'CV^Y !jw 4! !A'πX}Vׅ_wpSɼ2C?bvÐM'ðAE|9 [VGPk'a %c XO#kRY NzcE#-jhp ]Л N1 $I@z5Iw~?i .Rz"8_PTX= G9HdSGOZ?I0i5֢_r0JXe٩&NQ#;In?u 'W:\.!1fY?B%l[!tI!n "kl3{o_"]bUٟuS۫Yud|.*dowlQj49`9hl'v"R H#n܉񆈐TCrj6:Xkf9FCDŽYAחBX_c -V’J' ߲DNdpZ|CR01r{taղ'Ѥ|yx_z?S$h"FIAybA~JF5)r\5O)@vmkRES7iv4ql]kb2?ciKWoLJe-CcsJ*z#C4# &?8ސ7I`틃i"Sb"hTH1]0б~2 ^[:9.)Ҽ Q7Iqam7;-NX:i>&qRϗII|o+;xsIMҦ-ob,LF6|n)XȀ**w }5= 5+ Eq*P R-vlNZQO暏U1d!T&θTNTƼLԨlWx:dt<9v0&М2B{[k=6~"" 2HB[PL*hbuףˬ]U,:`$Wr$I08w%f)| Ev鵌#N:C\6E<>9 8#ͷ$Ĺ=|"7Ep$wrB?2R 4l#@P}_ lۡT\sg9FcoMG!"dBّ_ {gP Rc{vK ǽ۲8\ٖylόC oAŹD[q{?e }[H!T{acy{M_SS c*o@XWvؒAoqF^w!I@摾z!v0>:+iFPT's9?~ժ%:gV>A@y1xp|(=1bo ?5>N4|\es&v`'zi&hZ:9=]㻏QD)x3fM2yCBoMFaw"荩YQE*|FKd-4\ Ug}0-bhZ**#k_h9;Kmw{~O  0߬7j/|!Jʺa{yF{5Wc E?WEP!d2Љ"b,'e]lu} _){tM+t4w"8P S43^IvEԥ,,z?N(A EVEL-;.cZ!UpbDFy U8il$нM09E9-@0WB*:2b[! +Rn2%o4G2{98n6oRVR819f9d^3J"*#:Zz_|2.L|!X}Z9ӈ%k`ws6c_L\Pn'(dryw*ބjw ;wXYӨæ,fpPw_EK9V:mhoMd^.7u O6 AM[8f.{ ԢheeF_WM&N2]1Ttglwzp'Ќ" 2dX :48AݸmK񂗼q~v0"TCݣ` ^ kwR_'+G_ t nH?Q۴8+'*̍yHNZA3U@EK'!vR!(cA&|1F-īe~# \pϦSsK`rLΗna2mN-+"~-l`6KA ]OĖ4k=$M;B-kP JW{@09;B(y!9>e¸S{#7r<y=se}Z2d$X)L\@yiW)%DSdSzF?є%вQw@JldgH0*uЭVUR1pI_ʟ-#׹h$6/L;$;RnIRhw>$F`*p\!DKaI(w\ܠgd<Ĝ"sSM-n~w# d\3d%Z" y1gbt FDn6{aɷR9pK_:f,L8TXޝ77,J˔ENCrܺbE#پBLh oGhZ#Dc|TT㫽~X /63Ԛ!u-y_J %G%5hG)eT+@T㎢,vfv íՠbp'uv=W؟I Ɨ[EQQeCGN,c iTm|Y3{E[mKSGhfs~΢HUʝz$ d38R;%/7<>ѷ76~"-PsQ(o1H{'ۧ3&y=]NF*kCM\f$*jcY蠋!լ?/& 0;HVLSo4 YcʳxQqK-$k<SomFd!-8?@l$)4@5gcL_QDXSZbWe9jIvQ}RZvmUV?4*4kȦ%|>wf6'UX.GהMPي6Y*@e< KǍDu~@i*N"h>! GwP3d Ww\(OurZm'Gާ9KQ6SgmUP(6}=BE :!n38dޣ9M!˩d4r*:lfqͱD0wv٪1`7.7mCjh'eNƎЫjq")#T魔 5 }prB#!}%! ۩ Ğdž$"Elq*$ ,$t/rp֑NEzʓg:H bkEU_R.\(HeϠ 1e2Xܥ.gvʩ$+OGN8"Y oX߰ijq,(Θ,0v$:#$}, C ^) msbP p,eT0nERa6jH8Ay/qqPSDA0Iy‹mg„U\bd\oW(y[?&#IwE_a(AG~&4}-͗_K>K+Lb(;ƶN,xK}J5"'v(69jwq`뾔*s}!m[^Un }% $(^A댌t=BFhJk昍rtJe5Ņ%>ٷꝽ)?ΚA93 3 y8Mu—-QrFH v3 _\Pɕ uTaՖ&G>H`-[} {INmA]htHڿpkKGQV>:RT6gp/㉄C¬i,$+z{7@/<C紵:{dk+Y/|u\!#}!~ϩZ4PmE.1AQ]b_l;o2BWhfPpPyJ@` 'cidjsc +6v[EI1LGT'x` QO+Ar7*q N)fNO@MЬ G'V7P5=}))M[-%do@hvvu].+*T5R?6S#&9Sr߳|2|l50wɐq4?kd43e|,xn!_?y*5ˌ-c 04-Ԋav-۱xbz'2ES7\A\k⨤'9u̯ؕ:Ǣ(c62s t'^vˠAƪ.o:ycfa^xw3X aҙqX?d:lL-ZjVo:A7^xAeq裂q?W.CXMT Mw2"]H"b NnѪfaPC]eWm1Um9<7浈kw̪xAĐ{~j>odtoFTrg!8Y7P,'<&o.>p 4Qrԣv@SbLWvg JSKXą^ ̘ V*N{^KJ6]&H~u;n *ޚѿM>}lΔc覃uxjH7uT8&rxWiĻd1w}%cMhrx&TEǓIv|*mR)P*&|T k?%e$iQSq2x:_&c:ZoF4=w*URf ('EBu`.%FLU\@w&]5lJ=L1[,r#}" Mv[aV^*OP8Ao'/Rjy?,˾GQ|e;"31kv8TO:M&m@}G_EБfAS`8or{$r{>Z)nҐCb4Iwv24m7LIl,~-ς bl}A.m]w* 89r )FBF2QY.$w&K0YL;@;t+707Vw j^1iEw8OULp)#,@̬me߫µ33(rZZ3Fot#2v:RB6P` )[VQܑtD*B<*p焧;t.xGp"LaF$ZZt*3Gp,%k;D>>2X`S0n#:lr901E=!v.n,کon>_4@ƷYwKQVqbrkOKwe KM>>!!rȾ ?1qX eX:.*'Uc<;qWCq[l?^j?Ē[y. E{#,ZkB hȄ 2&j5%fm#|@9OqۡiYSbq&;3hpgq8!z<=ֈHk=D庀/dbK{ 囈V{̿"O/ƿҬdQA}X~9&71j|1L'kZGހ RD]2.T>\/n 1TM‹)xyh͵t`ݣ!޸pӰi\P!\I L0oRCLMKo\0@'oJa|IoK5v\MkZT~"wʛ]D|>$bB{.$%,JFb+fFĥxuV`Ŷz9eFXUƎp\|뚞l6ѐ!,@x=VI 7]k;j;~i2:IB_I:KZYB}C_X0{}C$nsɟ\E^X E QԀf"Q7oƵ,[9|0H$p3kL4cKgF+<zuʢ`1+ڻ4Z߬nE5\(a $K:ŠjeC BtINʌzp>POU/ͿqW9̙_P0lygB2]$SQY_!\/7patQn9v2T K“s瘤ȮhRfw"U}d;EbIw"F=K/z 2fbY< =bLԲC:g@ ,Pxt?P3`Wp쉅Dv >=Z,iK u;#Jkq ;9w-`^'A]LSY~Pmr3f,{/t*o#J+tg~dtb-! dӝ-^LF[E-6D7qQV}>Eώ!% 7ˀ$``}`/:%h+.S`Bt|e20?)U@):͟_ tŅ)CLRωa\( N*5U2#;wPAt> s= 9'H pe 3?A-0!vWeC&|fh;:ymE{L9m= 6$mm |pJ|WYQ:EFJ=X';"/[䖅zӖWvqi(YwJL9lk+>_,`o(z~BE뛳6T7ɬD#5@ǥR.C IT:VD=t!؍[]ߗs]Lj;+kwo]((-%=?+DQeED/1 xCQ{Kx7$}"f<.,i4U$ aD2c^{/rf{ *52ozJ>eh ə9{щSYGm!oc!n9F{mJlF/0Ai1 rx&1zp@[ sJ@!Q%`U3xogakjN_3ԢZ0^ɓsD&@[„5""l+AiVAT`z˂\ bġKշ`OI0TNU{%8OH,Sx-((ז&S7kVlfS!_7d>'^ui^c cru"Y%p\WqyZi">'M4E[7\Ƽ8 5)$'$}ݘt&^usf~+dBpфs9S:[zr ehMzok[aI릸9\/7 N2:d~P{ \%u8/&{:۝ pN 20P; 93)'MEDCyՆ"a؊I1fE"D#pC ޕҪd+=t:Ut_MtB^^'d%ÕsMZ?l pg5 @ ²x?y1~>`%b8K/Ngp׬K9R)l K³AO!fos_G7ۆL ( 2z)+Cj}EQ(%aƸnW%ͻʴ&5!MIZiH>Cٟ-R$:I>WR71Kڦ-%O>{sWHZ0:6YA5sgϚwTi2Ee~WpG0pt?/HaByVi|^ !&΁SrB]{UmJktPq)rǵ1:>6+o~,XsdMɜ7%QDq5^l?/6#"_{dk{#^ˠ v^V)Zy&3p5=xc< $ۖ!>NmTnCڂu?䦢s}Ag-0ίxwSwe޾奧&jO3̀yBhVԄSsEo;~m(JH;P!Bg#!-wЛ*C}(rNv5E۪-]#rg4HM(CDI:Z"|ڿpŖIȡR&4#C؅~#$hAuE %'g3Ts D6l"^:ZɥZDɢɽqi Rj-IcMo"q_?qU*6:t'v薃Ag{k-jW/| b=%JQ__];|1U?0,™ _wGj; ̥r#7߿nuVǥxc9yJT;SC9\M  8f #Tc3&RˆϨ`n]jq,HaU;jWcunxN$r =V_ =Z{J{BXJ$Lb_I6뒫3aF /wʙSsL^V E5 Q>)IT܋#T!Z̧(؏hN (M>%D9iIx54mŕ$Iã )?Npƅ;o {]Dn7a}tf{8 R /,sw$W82SawtQϥ/GwT_bwL-k1u+Y}~(@1exJ%[/&~E:~v9N^譝cngd|k͝[%VWX[ ]V{mnP']Dxq0^ :_ZcąF$O`ywI(͔`WSrZ%QQ_A kG$W~dHv r^A650?e!(Sf@YxC&vJYiK$nr[h֙,OOXz/ߍ߲/. -lu>hW^eb!s^&Ih'nCJp*iqyN@Uai^9@; R4<۷G6k%Y6LTԸJ=ZU}ڍAՠ♲.- H<@G:^9 k2}rzE|f<!UyP3i_q3F7kȚri18yģEWN"v;Oe&h>E({n֐TW*?]b~=T1zsɿ}Y;D9J>?S'1NYfV+ُj Bh'ֿI@'^’NO'׬ +wm0iT pd#2D*4i 6L)Z(|-kl"'B+&BhF=^=$vLӜLoXxc=5O)CG 잠j,oB[dxtvyZy])T ^U.,!4-/*mXC<Y w 7<|)I%46͖\@9bc0/{cġ5_^4guDj1t[IْM^g{{h(g{(Lkf]vGH}— 4;$CO.53<3cj&]V O>~1\P$"|{<\*]Rú tyxߓͮ4wfژ%VA㋔>s^-4g [sӆ?SCFSd\apsnG|neƥ)f>Yw, 3OT2)B<oؑ9 7TP%_hĶ)) Է v7M豎+2a(@c5w,N~G oE c0EQ~{e'|R`^5sƔW)>.`Qn%soɅ66dꭣ+n{+oHP'JPdh4s$E^HgOsԻ_5Sq)޲9 <$@hM1RͽS//eZ6"$1Et;NoG-5~0zv%VU?}YFŖh3##i\4AE ]4nV1Sڔ 3c <2boⵒZx .t95H"8! q2qTBJq)@`K2iƭ!@ڴWdR& ҅R1$T|4\߅-a^$Zh6uQ)@t1n6cyD`SƢE%ÇG`Om++;7m&q+-{m!It$8gdm)U@YA=77ݧ%4 6fӁsA@6 U?ÙY E*/Y6 g&Q/j9g2)0c](U.]>RLWv#m,Ǖ, t9aٸ94|@Y &DzŜgVhjq*\bgt`>߳/T?5 6&!IU_7q..Kc"2hʵ8Nv683:׏q1sN'iNi5}k2Pg$ʺ}WaH7֐_C 7iƷģYF`nvY+nt5,mMtz?f] 8#0X|#Fr[b@r]+ ! ݄#j7&ꀈS%PO#-?hGnHt3Qb:J(}/v^$S4M|ɱE\ԛNLT__&.}h+?,"#_"N8h4j"̿|< { oIU;4cdQ*vgӇJE$ϓ5\ iARoX=C=hN7+prgUQ>@JܧO =[]t hzK$ۣIH=Y~kW M`0r/uL."8HpE!`o޾Ò/\8[ҝF 2c2wV !E)1Ghg/[S.c{a}K|mJ'?8,uEH‡ki!ߢ5"P9}/ b, gѱArI b yM;QX?|yJ&g蟆6U6CM{{wО 1DqvHdόk}.LFx;ҢuB)L[DYbvhxC˪t-h女d45\ eӌJ3:4xUuOJ T!Kc&|jOFƩk?W~X)Z+\{|W1]n봿I,(IQH9< w48j "5KtOD-_G'5%%M G=[y: i?x- /ˊ6,UژGiuҷ!+*GjxxB cHy;EYV((2X! zEÎ*+6 R)΋R؞C_J1d;;Q$:Sed(l.@*MqҲea,g$E˵5UOzn 2|H㆒ 46.`頗1A^7  QN(*EELFAkX͜*iFe6W|U$lN*sROA=70ũ.SE}rHKl|cm3ׯ U$r8kgx -}{OnOӽ-7-+9tqtpcF)aE^N+j%cԹ*I &g  oՏ&4#oi\m^OX8e!@![CkhA=0Dӵ@;J;HxU4UGTNŨۤ/0_(Xڔضvifwaq&b-[(Y~!dSr'Z2]AP]bŴ5'}][a߾OZ58KQ <.LT`h!<܉Sc"N]/N+!(h`l2mH[̂ݤvc@Ebsh /Z.)4!bD~)l]-D3dNAhZʐ:hO0jߜ8+2E otUψa$~ehxt\MPY.$~e"sX7&\?Ziu`67z{5! fXcI2n{3oYrY]k{Ŷo?Ut (a(Y\s9 d9k-$Iͪx CZ^_anIv7YuoQ԰oL'Ud#DĠI>2=f,%xt1xTi b*h4P =D:\]U|Ӭqb؎7^:~x|$V t1n15S= Zk~V(+pOX>7qN V[z}j̙~`I01xD Ff_$H"IOV(7P N6 Ri2 Һ'6 >D(|5Xfy : Usolnkx/@tp\EQ|9Oa gV~Nu~ChMGɂXH6n  ~ӷBoF8%`FGH4!Zk#p}xqo#S#S10DNz )(1|JX\ڂhȦ{݂сX]O{#qmzzMHe>XCpJ!.S)9I5![8U"`vn(KF2:evc.DOj$:`ABd>d]KQhC|!ęoCy ntMQh=B+2ElE _Ipxq0F:7½c(oP>ϭf\YO:nn S \č\U̻3w7"[Jv<-3Fb$Z"=A:YC9"˼jSHkQ:&!ȅՅWl) 畊۪Ov fck .t@p53rMt tKx9t8KqtF5QA yNuQˢsH[b [P؁P0f4_V45TS3Zư*cpic)s3=l}%aZ 0£겖\\Ԣ;x`et2Pbmbb\,^A+O[HjB zD0?/6"k %ϼXegcƫ)ļ]"-IՕNwγvI`EHơ(S7rW gs=cJL,,X%f|zȋN焈0[W?̦M9OQAd˹nHyE̋ T9, _&hKm۶_OOlEn)]1313E.:-Bgہ/I!1݂sԐo86f֗)g i?c>7'hwW&LmHvx ~'"i;(AC˛BakThjٚ(m8O?QV!yht`OV=v8vR9:CM~o\Rh-6v<|/ +2/o55(W L Fm^>}O1R6ڍ[(?L"y 8(K`Xې.D,bfţvĪ$2 uCh1sbVJ-t|^K[T!st粖Lk_ka@0NQUKCߗ0i!)5WMQS꥽0ߥ uH |u?vhjDȾ=h0Y0%:+/ʭ7{?"uʶ:0BčqIjB5Ğ+jͮEuɱ^= mru}Qlzx5ىа 3`ut>dVt Ip* 9sزoqq q^yF MwXEHaZÀQPp`Ÿâwm:q` LA52BޒIQca-|s {rS:ܳ",|v4 ʋjzKeޟ`US.{ { %Y]`AEXvErHexyU 4wņ?x*n3]Ảs4KM=M<0|)9@$0xvwN0vU?O=aYM?ӓLo6j/^)_3D&I{7ae!.Ƕ^9 m4zdZofxi^ ʹܽ${vNxR>p^B͎̬;Ȕ@Sߟ]]&,MJ}ቻfMz$v ICpB \v@<YCm呖=Ưjx !o@)Pq縴S,cY^ ] qAU[V R4lRbi9LT5p X@OȮhU7GĪD9FC{C"\d)F#猶m-7xq_R=a[*6cW3A!i:=x{ԅ6}⍦Mbm]̞:;7c1Sdsr8d=WXi|SH*Q\!6ڸ+1R"[*]D5l{Fq፦qM5v-+._? =틻3 1EZ٫HCs?0W.T1+=+Oy-K&m_p?˿"0+#:FAX.Ao rVhmݻ 㝫b9hMo%}+ r,i/˃ ^l~XN`pE/l8iV6lʭ5 vIZ&^yZ3DCџjJw{R܏${ \@ln,fuԾvf J/ZMO/X-Ë/4#n;Ye$vO#K_+lm(d"J)&UdQl²3Sq (3vZfr1w~</) $/dw}|71d"E9d\F.yؾAbŭyޠ&m h IoqHC h7܉dcu Sw6?}y6vhmƶW1J:S#:SZ\dC]6udڛ*Qd*RF/u3Sv򑨍eT:MtLqwuJu!ɤm2Х˚p,%xS&DK 4S]2_XaZ@{MYЦf/HcDvp)X@]6< 0Rϕog{)@l=k|::5^cHIo|W׈Ί7B/y3&Bsk#` YSZ}D:W+_v݃FG[ldng%Q2ʨv I{&;'. Ύ-4uʹ9J=wܞzGxfyݴG_CepYuD'݈iVr ټj2g-.q:0:`9{dY&0kѡy/Qd QD@/w.}V"Y㤮X,m tITo y$bxl>+nAI&4u%gH\$ǵS8~bYQxXAdPdZ 8-$Hoh3Llpd=ֲ+Otps :xeU$;5]^P S~$o oԔqXQBC~KMDM!bLX~9j( ֥ɩ;ҿj[шlnd ;ߜvVFUyGD9ۛ'DVO=nϏgN1AӺ@OXk W֘wK2[ZAQ@ Z-YّgT+b="&Y@HFQBaϽSui)Yh #aSXJo;ǗOegy{"yx>;x@ [K!TP/|+i羚Ƅ< /x6qav[}Q&z*R"_;ܼƵD1-M`|3r :r@ߔjіT-@%rj8+cl7j>'/vS|&Bev`i1p# deo>Ӗw/n!饰Q]szT`CY4K6 1O0*Ѧ!~Ծis}!&*"J'N:YnJy(8/Baj$VDp FC]Zfla\> XܢTe^i/(|H-v Oad>g|ٵl uah$;t  3]>U镏ޅ ?I6W Kc ].ȟTpx:M $qJW3ܑR;.WH96l.u6Eͷ.u;g|yȆeeLhʫ$Υ}q%5^|cG$]+B27cMWz^hYО7(,1  y4qi ˓3("*R&8_IW>%=,d\{&n=cMA_7AZ Àl 7fG\ f;Cx|jv@^s *E+0VRKWOG6C,GtuZ`2G&U<F]"7 :KBl]⥈xk-; TeӮb|ҪVˢ W[iB,& fхsV][GC2HP 7V٤8 my!h={O?t. wt2%a5ίW9BiџEk֣qPѡNN<ͮa31k ('sf60"2uP̤%+LvAO$-"\濬U'&M(jg_*F"j+ Hc4̝>dus|0>(QnVQROk,Ge&e,x59\h49A#}u(k`=nKJ]i[Y{2r.@@]7x&NPeoN&WtmnHO/~d.E:t^R97nQ|spI ZxDGR+1DL`)gܹ~^ Լ1߄l\xZjjDZ4K%k|ۥhWhHk hH)f.ԕ`OW CG*[xfD$ژģJHZ̜: X[+hL._` "iՆH zz4i˓G Q:S.I=k9P 96.I#ӗ ZlAL/Ӏ;j'Qmw]Ol/'B.I=-# Ds56 %S,䜋iY8 nE0^60Z ,QlJi3.VqgeASU^l AsW:Ds3kw-c!+ɥ9l-7P:q1ST?3"6xSxh@KCc4 QmO>Q/ dfh 7Cutq#ŕQg'-=ūt:uAPbڳp45_Y_ai8ZD*pu)Iۨk`~npWv(S*Pv?r'j E75-#`)KokQe7<3O%xOh.ͷl8G \.G~CO9ƅDlӶvhpBDvØ=y؅Jrbkqzr/ZYds䝾;hgsCn\׷6r jK@A<0}}. nQ檁tcc,B͍wzzDnu_/l H>x; %m5@2#N>bQEer5͔ &hyW_5 1K.AGs;nWctt#Ltj*r+DwAfe.@S, SGplHI.RGȒHuQw79ئW;Wy*ƿyGT%4I@`>^C,Rk/2kjlH(cOĠs'm=;xȰ#.\AH[ri6[Iu#e O1afQv6ь 2̤l59p፠r)I ̭#-co郪-`Zw[=lv3]B]D7;6Icq@VʥW9rtٳO {7'E_HTn+Z(#{<;W:X0٧mEo}wBͶ|Uj&Z* ʝu&(e tŏ|}hhIE"^yNŚƔ/=WHaѢ5 a8@~L h!*c#/}sx:kоCM5Na#PīVF0gYZ4e94f821d0b774edabdc92b950ba703bce8323c4f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e297532a57ac1daf16a11a92f4578b3dc6a19e5d15