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 YY)L| }/ Timed_Automata:threads=2elapsed=249.203cpu=371.776gc=9.128factor=1.497zXZִF! AF]ŗXf1-/6vR[kQ237ߨʷMUyw`ubx+^ Sdž r^3= @'K((ӿyhaAsG1w1'Dh7ǻd򐑳Q~~ Ҕ;&W;a `ûC q0vsn#zFgM&;m WujK%?yQeR'l~4Z^PF;w4';.K z:FDf(dbGg(x1—3 q8CwwȢpt^*ǩrk2l oN;NaJEPMQ-ff}xԾ;/Gم.6 \ٟU[[8E ]dG/)*Fc5(~ h9TUSH %Vf?ē6 ud]}@]xa+9Wzά}22qXc΃Pd)<|0+ ]4L 3+?Oh`+{qTB̋B3^Pqe-A{$Ay<:Cꈫ0,[ Ipםv;ҼZ14߅)TN0̇mp[^n D 斦`hC_~R2;0]@◠Dٳ1<1vK^yU_b;gzŴ7m)'x%#'ҰI-Dd`1 xܾn`Mwy~-/2ݴ,=ԨG3W36@'WRHi:Ny̤PN(6]yA)bnoKS'3 `$X< ɝ3.G$bNCrbs'F|f. d/;MObƚ@?7&WNT>Lҋ JJU+yR N bC%2F[1t*bS|yb1$Y&4>) !>|0F~v +#Ȉw3c6TU+/]g2E)BiruK\땐ICcG' w3f h "^#3'ww5ֽ"20ހߎL~J(bjy•%25R7JLC #gk?Z:';6V%5i+p}.knpvSM~1BL%Ÿ8nJ uΚS-s0Leegw_(v,+N|2Fo Ka4 PX, jٱ%P+k-Gw.m o}l:]Gbٺ1K2YI>dL]S90-]-ê EC!y؟89g]w:]_xuO45cLpq(k~E)ǎ (CU>h/,$Osf>cP{8aWm1ۖMf/v0sQ$ E`7 ?nO); 1/8}wb 77cLI8aq$˵)Đ5Irttg9.KhoDX_5Dx'rt:5H@FV|@7 C Dg:$~Ũ*m/'[~&0] iVW3bCٍ jߟOOCq%k](4ֺ#9y<:kD,5dڱ?[6 _OŶ4qD,}K%ΗI9'?5 ,%]D'gT@x)ko]4iPGP$P^7xNě8@Iw\NagS oDV)f_El%{͔kaiU>}eX৴!LRU8edUa޲p8y; g'^eq_K' o[% ƕɇF} 9N1Z$X,4#Crkyu\`ae^nf~5+=E5[n.\n/9(Gu$E]J"v;Ր6x*"xsY8gWJbm@Mi޽?J! 01X߀Q߻yt Eԑ`a^AK IϬxI~J \uL`@f.g˻Ӎ>j_=e(V z9$*7jHۉ8Z‚$T`[ˋ(1j`en􄹬D1˙.ƭV/5jӜqha s4i!f`d^gPD[$NTNO_5ҋxDW(au2f|";s|-󤁿a"#=w Ѻh6_E0s2E dM=VQf㳙I" #Z$eU~Jm:LPY,xvQ UP5` ^ɟ8A`;M-IC<#17MzbF+ KPjׅ/|*e1@ۑgTH F< bkF8d5nq;C@X&8O׶ Go&8I:1YƁIZ,\C?8XI5TY/ LJ& sc*Dd#4}Se{5kkj(-+aQ# *S* +Z  ‡c۽8>1C1G8N8;߮aCVU%vF4@l$r"gUB6N-U8[ f!캴M ߵc8o<$?s6g~M $%쮑تu*P:D"[j5}WY@ hdnѶRN*$İu~]/:3hJsK>#ƺdm =",?Rꛂ-١P<>u|F0d%kE@26]u2G7WiQW9v@غ֐c [=~!r j\;FT$\}M k\_B7tutYv9MTY25 v%lq,1+ `{tt'Z8H'0pVxqd [!8 l՚P]~Ce}JCI7ndOt|?.{)a_Bò`Z)HFţl sO-]~—Ox 4 XC5N|*G .#k !u&CLki셆P+7?P^{Pw?UŘ*n5d@ AB>O\lG9jht~j#,X@sr`gV>,Q49q1 :8i$ɿ7M(GҜ_sv؍4~/H@{s euN"{ǑB1GT?v?rޤW>@(OY!znC떵$h|ޮ4 / <,+m*7\B>or*$툱 6ٜ& -ԕfcb?ƙ46V*}P㡦_̹i}5눎>EeJ? "'_V4K.䡺лIg^|"r5fȃ\')33AiG`re0$ϙLqä%m]ͰDc&_YJm/Nϐ sP R %AP+x{uȤޕ*q>]~<)?b-ԣ״4=%qcv}GP,_rB{C޴: >)T]wPGChs\FXG#GxՑV&=TSX73~8}L9WUt`38.]FU#eqY, =_uo|->(xJpWdzyc.ɴ+2ח~[X]ͧKH_^ޯ]J,!muMDZ84N?tzdDGo޷2^ɥ@1p≪~pѯ.;Fn8yH@ /ʰm^)d}W&4Y˪LIg`12`?}0mBg,G+B{z Al#JHݜ!R#`O)0E{ v=|ѫ`A9;Ac> rcA_y#)NRNE)1$=H`b' 2I|L1Bce?5DEN4Ìvr9u?±2۞Ѱ`>DKb]lmenJ,fgt"B@X% %c=HB*wr~Iv=o^@6F.ӵ#VpZ*rWeH*$ww3 c,ן5}Y{!{ٳee\5% D3װ-.dq"$MoM{3p_>[qkP%<ʏ$MQ溿>mgҖS⊺6"qm*;3S')6=BpV3~N縫D~|ݢ:9uc[o IMVdq%/5m\o+gKH`^O]HHD]Kja'n=m VqP(uSK1igW Ý+N'Zp'u2,{BPMV.( 3Ets?. ;dȀ,&˳:sכXp+ %˃L`<LZÀ'[>28$>PJLYjsWG1ۅr8hE~*hpLQO6i†&s,酈$Wjb8w IuS2@z^^$6!4AVZ)h `%cgս{2DGhdS~\=?DN } XYP# 0Ĩ[CUt(z4'\OIR(A:I'X%%&+y H5H"Y>ԝulc¡~|YJ$hTh AY% 8:x ]/vAtRzRg l%G;Q%V_ț[)wɨx`\ ]aiN+xꬋ8,o¤4[GXK$ ŵ>.$>({hP>k HB`b9]9ucȪxGXhVe6l,-˷*GK/EvJJ_p\ Z {㓢ƪEjmU:j+UGM!E/nj5rE|E(p3;sd[A6"F%!v(ɓ@Wh;yC1L**1Q3b,(79Ur`KGd5Ę&1gFax"*I>c 셃Uߔ voS\=f[5S3Ӱ#eZF+&4O]F8K3*zqGH=<7-ہo2$q_Fۂ-kO sc6Ǐ}$@ |8S䮵MtpFVڹ׶8=ϠVr+R`6bF F~?d7K\x5wĨNe=R~ؗ~:WۯuvMp Cg"KXhFˢ:BYٓ*%17AyO53>tŷﳗF9BJj}oA.Nj 4}ڒ`7\rJScEA\% 2OfXn}n&HHq.~:]R2λMj3&qñ'TAPլRiZY ]#֌9Jm1֨GUq ÒBK^ǥBsdpfʏiF/1Sslk TZ~uZ%> Z*r~r0αLyAK1DNŲuNG$GUДX/|ts WH46y',!Fuʺ,c^,˖ko!!hK1#}!"V8RZ¶eȴ*9U{E7ƓR4|̓mf[׵"q Nffæ^lt$ bWhdd1-q20(3Y .*(CQX</3h7@T4m񄇐Q!Rg\M]E܄o]{[?p̕ D8aZgP냊3 @J(iT:qĨ5&V*[qR2xS,o&S8ثLhb3z@J7b焹7^_ 5PRQ!#%|*ߓO aapB42% jO7^¢t2Ͽr$">^g.&,iQfZ.ϰrJLo1UGw„h$.e}kܸs!UmOv:}ug'gSu+pfMn\#.!dKhx&'*.>N+ñ"򛥎ؐ އi 0Yp(-{(z251f }Q#zTVedjRU en20fPPk!J=>@;M"xUڹ%p)b&(ǟ- 2\ |H,(@P oUH6g xҢ-qԫ1Sqpk/"e-ѕrc0.Z=ٷ :(H-N<(3Yߥ_߼$`!>Za>ί̑{a7S3FzռT$Mv)אdSy3N|uXx֜%"IڔvmĶjlt-ހ~VT)HWYFZauw5S9KrB}l9;_pBge|L`ONg"}Yh3_*O.mcv3D@_>B '䱓  %~?4 gTWA ɱJ zȁhǒ cX(IJԠ`ߋ1bVnݸ]qJ*ʡGNJ@T玫 3-pٜ͜@pL-Gp7ܳ/DAR~Bfn* ȹysj F:e%gNP G\]58-q6` b/o6CDN.:`4 ݺ?{Vg(xY:*9_jTGj*A%uMўc # $A!\;kdg1 `FJ|ՐB _p]a%!oɑ B7B?:gA%-,{&W$ny1-c.@!a=/9p:FYzO^]MX5I"&bxwY\?W[[c/$n[Ag8NrWb7Eo?/bM7=0#anHu_%nVDzv5=^Q5"-bSS0Dv> O 74%2 {KH*g%qw*c[>u,LSEAMKOZ#oe$Ԃ$׵R^u,1\A>9 ? L5rA,|\=ȯBǫBf˾@zi51ڕLEmXbEopŬźӹL[b*AW T& JaV:!\ɤERzm2֣4SFKVYIiUq}FPz8\1I?ȝ!'{(c*3DQ _+xqa}ˣ-yN3,ޕ%2b٣af`kH'<V`OpX"~k ڏ $:,u-O[MA bhPֶl㻱-}l6h\-;@X Tw&tb+)m%bQ;:|.'k_{A pidmuޝ/5 \,im@0hOx'Y 1{(]JtodV0mQ=\u2Q@9Z04}jνЖqv@xF̽AϻSw>xyӹEy9Jeg11"hG4Gquv|cW{ykmO*{BA_2 *@1E{s|5hV@_bVYxCH K<𰺥}s]-{O4I_YceGY5@xx/a"WB.oئ`AUDl:_SMh5mPZR isdo[Ғ.+ԵMz|ncYTu ֆ8~ᓁQ"QÆapC|@e|Jc ; oB3hrȇ9.\XOXR'3o_\NRBlB!t :au|? ЏĭC[2pΕ)ު1-:I@PR7ǔ'Yޫȩ_ripd;&j =aue6VF0+7MU'~:*|o;!^@61Wۜv0%7:KPoCb8Ѷ}䣈)2sPD| PĹ:iF!Daq>"L-~:Jͩ#%)y{jV<--0Fa9?4ͪښ>7\8P]XTYR8&t$F{?7{/dJ #20!&ty+fs [՗5Te; Žhs&`]yVi3w4J&ƪZ\2<Ԕ1cP1Zя/؈E֔AdLaR#d^1뀏D`W2,<= 2ytRg(@n+ąVA k ٹvcRum=dYҼA\7m]ȌX" tEwBzCnZQ*mC`%Fn`ܘ0:5 `\ڍkE;D%52#rOΎ:?HODQ5@ ܐ|L3.r~x7}VLy1K1[{gQu͠!d֨!J3 WE .*\14ſnkY .D%Ɠ1b"2)Q$Xbd*!e:fo3Ԉr VPM:w"|*;Fyߨh˜ c95W8,@*/72Ⱦ^;zw&jLHu&5TdXN4y:gv׹ =|Kt&g5qVsG]:]f lTB`'㤀ZaL4KDű3J J6M& ‡ɮ?%] _eB¶~H56iH%<4k_/FX{ w`(} |Nl#/@X#b 4U$ Oh̷+jsE[R= Bҭl58Ec~1|dAQ4MvJ ,\ҪWzn1Kݟ ͱ5R1 /Y QҮJ\ I;t+ z.jiywamjǐ*(?Zn1 ۭ݄hB%j!k4M$yWe.< PxRMy㐟׸;+^L/= 2\2; K{K>݌ؽIa-)g<9 IO__Te20]G$of03OR[r# ?jOFj1ўyJRXh܆ QWDQx haA:.M=6yVoRz׬=)'uաcf vqf, :P  up]Ou>m)mUJ "K3E'(;>"g9 B!Ikm$k-TE(5 LMe !*r'isv+_ٍe48FhZb",+AWx7hC)Y],(8RQR@^AELŕ _mV2V,zPsrM옣ۼߺ 4pXEއxü6m4| `9iZTy%>\wڕ׫X"8F|ReK9!YtMo%!,7j L 6ܼYŽd*K[Ud0\VdvQ#Vnn|f')S);4*ܚ >x~6Ws$qA5蟪@F,:-{-j2> E} T{+aTBSLV<*^&80 ]]?ήeK]qG!Ki9Y~|#{noTz32;E8yYGx #5Jv?']syߴy98Xnհd{>9sޚob/ۛ<#Lic ui]xR}o %‘WqRoQH=Oa zEy0|ȐT. d VTWeF46c!kꧺݾ_.ViVO' ԎeTޱRZQR3/5a) fhbyBxaZ,CaP7& CQgbJ_MNW<s7w{fՕ-1,R& +~40*>?VWxyD૔Aѱ~€!_KW\5 }g#:yZݰ(kKO%Znqf Ð@J1;b쁙Olŏ\t".ƍ[g m~l߉vh v^UIG ևUհ[}2U;y3'ٗSe:ҳraaiq &ήx$n# X;$ drT @ܑWɡt鍰ٽ@8p:coM' 0cIH֍&18g`C O تUfмH`,^'A_vwlr nB[CQ2Z-ˮ%(G*'3?gûu.ak0˗&DCZڇU>CƑk;yY%ݡюzOB匹QAߡI|3B!2O=ڤ9\7(S[)2QxF|I*oBt[ɀX!<+[@=5a$M!4rDYb, WKobtnDX2lz(XZ!Dx X~"AfW_wwjI9,(Oq6Be棨w_! uVg]b[5dh;B$Ve@E`?@XJxYGt!ԕ8@ ^"o[d!u6z5,Iy5&h^5_\ǬpJHBƟ5hF"Zq7j\n.Bjie=eS`!YM^O\ptC/Yvz F5|Zn'=4;+W.t6(ThHwOV\Bi(ݩLArc-]*\yُW"H.;\ZD6V-,Լ(H`Put0*L%IFFv†bg*ܡNJz|O},Uv78z 948VdsrǢh:u=w(˫8F9 wk>17oe1@<9R+2m1}%$!zXf_Z#e YIhTXͯpO-Xѯl ^'oO.Zd֨c|6amЭ5VqGB?@%7lR »'ESj-͒W,C vX Fl.hZZNFВ(ȧS*kyd|]J~x@'uZdcTxU끈u[MP}JܗBe6I~xVڹ2}Evi:Wu{xpiDQwp @|cf%SWtqZFVCGȐe+(2v:h#`l;n|> N s':Cl3Ƶ8/Zc^~aͪ8\?joYk1/aGa9I40] }}S7߯XʒQr}~fbW cL=j'+|{IƱԌOpԬG  FCå2{_; :I::i3t x<&Mtza5GU%u}`83\Yf2{?jt ( i4V5iljZoήߊ{jJHi 0JAX.AK5z>g &GxStDg:~dN.?XLHCJQE\͸]=Xzp(|@-(j&IA&q;m Yn`g߃'rs=5'1;s;2%bB>Lrm[AHeRPcCt EDhX(0ʽU*ihw5?E8b^Nl!nͼx)qެ%u_e a*u"uV _[ꇶb5Tת:lke;Ib"GX7Cа!y䇓1~?jh ԕD)4dNGqbL&vy&1c-~W~vf M+mļXd2xuҤZRk*qj;ݸSZbX̘ m nIoo?Tm'h$Ì\2$ Xe#x0m5KJX 7\pC&>gtsKkMn!#Cԓި$OhξO$ƆCNR lcqs+;|m0 ޜ6 cT^xxc%.uҪ0<CP62;qIlֱZv69 0sN9Hv8/MV3s/3Q[@hcoJ^ GLRt:(7<c VT;~ֻU1(`iA\]}=&&_@r-͡ ,B 5j"WVeO-n]"3+@tu 6H&Zӌ}8¥us'ڒ#Еm4[ %=3|[u d"<"I:@NvH$Oƫ~޲?hKnzK-z!JbX)4Pd{z[#kʆD ʾMN\UEB&=r6o9O.| nX/0̀XU!pM$L/?VQͰ 7/R^;1. ` ujrE )oRjDf}^= lnK͉\lI2Ks 6p/J6asקėά6f\=|fۈ$6En7p|3XQU&;+<{S)芒gw#N?($`e&\"~I?&.N$|âk5Њ Rd_N=wLŠ5;EFWw{;=s mObdyLy ]~{#lܮ-=MNd|p?"Ij8-3R"; sh@S $ νo%*\57J>!+' -Zx -\WYQIsmdm4"j8$rK2LVWb; Hj2Y*06qD'!I1Vv<4Opm&F^[aN~Et} %=7#Rk>KHAZz]O L谬~ #WM&b!ԅx/&y +5wsa] ]]T0]/^d5TH^güV"&n62C"9Qo?Vq YTsRQ{UoX39M*9c⫹: cL)'VlT7ak3Qp;C.{u^<5ۗ#jemml1HV-:ƥ8]UQ<|mMDd)8ŭC$,^]-Ek{MoH5!ɻOPU~6;~_nIƎ[@N= JK7V`WcYlGZΨZOTtL?.I4 ^<ǀ(eځ߮ ܧ #]޵}]{uRHwj>iG畮縉y>z`baYi`fFXt:)Q0q",m#< wL{Y.TLLdo%Q'sLFPz+-Y4TU0q>Lb$ d9S5; _*%k3#~|e_T^S}=$X(%_1!z;֜ 7BʣtxkN3"w@s:$iU4퉑}i;)W?O-6~]ꇣ 'VBy<GwD߫rZ>CV} 0E١]1xht=Y#IPx@nSnJ(d 7}:tbCPc%!bJrq0ÚptS߆ PA goL"|Zg$޸4}TtNY%4TsrAּC<Az8KD s'j]7둴BC{ECBo)aP`  eG4 lMfn94SCFs>5E0zOCCZpijqDy2$6r::ntڼS&5"u $"9ma^;L=t`]ɾ`EMOP!IڮR3i]P̢A1X˝HS5VOW^xû_eEҫpi>aRu{ z\xSsuUѱع8B>&m'(W!s O;w.X? 3-m r>m0>%8j#ڳ !vѡV}ˁ^ӰA6G_"*Gxa~06vY]0x39OMgFYgPִa 4VBEtA%5c'W h3K $n [Zk8`|ytyAjdmQ`x| sƜ& &=#fyb&JlTaXSң{2*㋕:r,bz Fg9͐gzl% "/u/]5?jVm 5Ol!=q˓}JYJ[(367.ٸ`o-wGTto}*k8>bK1ܹP+D׌oE|ã u%I/tv$ ׺1&GI ^UXunf?ژK Rh:#G NA0;~ױzA| n@v:m2(tzvLχ;1CY݉#L>mr8ם7'#Ǯ.s&' MRs'Fʄ$;HF?`S$v(/j(DdE%ε6m׀tN64t'l^ᑡuKP)B=Ս/Uj/-qOћʶCrX*yG ߡS!fW=([dUټLgᘵFՑShe+hAc U=!G0hz8݋:.sNj?h , 7 JhB[78]Cʾ@t--5+]NU勴~kZ7t'\:rI\J}mYz vڪ1FZy;tزwWDT[w*D噾Rt?e:q1 "ey_Cw~n˪Ih Sj2p'ً{(TzBߢf[wA=#Gz:_:P< :Ӡ|ꟕ2)|tg)>; Nha3RD!$ F)UtCģƀ V] Y]q`|wTo| V &t'mQnȌ`"-E\Cm_em[[cȻ:VD 8ncz,i|IFWͩ3h+̫I( nQ0*XӐ&~ ފ he:oroEgP8#xύ'_+xEaxrPNY[? òA5uJ%{j+KkUnˬX_f $-dSlXb1{*w>.l9ҟ#ݚ3-'' Ԍų#xtѮ SdK#yB] І*t?p<]J"7jTzOZUyn VwSM(F%Zָ>[xr^z EM٧3R9x#YA۸r '#c (Kwɞ=0otKQ֐ámXWΙ-ݎp漍L!c_o3AR!xXIY 9iS?DmUK _Eº*;ڃ9@ǍCG^U;i|P yAyy0K_UȊSfYq>hJ#YF>/mY~<0s;; [BMx|owN7G6LMmP-dI+BH|RtFʓ Ql>^$F#jEvޱ#~~nRt"QS B/5(Ksysk 8sQE8[M?^^c2Ί|)fn7{!B(GFYy[~5*){ ckOMuoG˪ j6Nޑ^ҙrnex.o~ỏ"/Bff?Ixn+F2P7;'ma[˲/1@v(K+"]Czv**j8ۤ3G)A,@b9EE12HW=ԍ2&|[rNfn :FTpZI9>~ cfGr5H4V 0G|G]v-&Njx]:;z/kH{+0_4=B]f̟ѨUBR48raHIYsUѶih(}ozwS|-_bZRxo^:ㄒ!XanuǙT)K@ 7wҴ{A eq $ T'oPA|.ZqPo#K1x C„8_GGM1$]߶"W(Gסּ\*ǘ3KFgV_!::-̥|5!-O|z9r^SV,zQy U苚+nqgAwZJ6 0jߎY{s~!Ě5;C&mQ(ǎޅX"iۜCqԹ3 7usvȾYq\EցUhՈQC(_.&3td֥UBkXt3SbJ s|T +Ēwh-TI*>_TK4 9Z9Ľ끘xWqcC~5QzBaě9Ԙ\TtՖv:j譀*L UH=V"߮z{PkX" w9KM=SKݴ=񎈗l_#;٥躀<̂@dkenTMn"&CyН|ML덯I/h3#$kѷRtf+2A#\ͣyԙCşm̽ŧ.v\zHX͋<,ۿ; PZ`L_)8pIK\Rs'N]AG=;[ʘ*#INeHc`7iq FvHrnT/!*&a?Jr(Xa)!]߲O}!u|s)xZkE=unȳ+EǷd) ȉit^ŇQg&E5Jx5VZoYO֭@tQ;6}]+2)v[\¸ /*g֎gB 06m/}r C,qB^POWuW] j^UebיK*远VK_v1%ꥃ/W~Q OeiOVwy&A6wךg)f Ğ撎Vɏ{38gݻ0d2R8{,r#v>PS-Ӟb/̣>Β`RQf>}5[ekZr4Ζ)AJ,T0 ¸K;F i OK DE#~V{I'|$t=_̭s7/A=]uwk4ru؉xnw'֤_d$ !$OcԳS{#ny,Ȕ }%0z~UK1] .yʔ)ND>[L+BQɫWbI䠼XWm+՟"RfN|3uhUIk= u޲sM 1(AE>q79@pq/07/YEYAsTLPYhWT$M/&αGq1(H?XT3oqZ9/' 2{fgSs_z,\ ИG ~s]c(<: @:%ɜM N͚Ћ]SyY%<S:+`1E&I=Gd}z!W "L&@." `+HՎu>[ '|a,Ǎ0&O!y=64hSg@dHPLR/헋 1{BM :ǥ#T~e5Yy!;heW7/@ 3+6"ѻ3WGL3G`mP@Tnzkl+„%a{CrDADxZ~EvݞgRTL)AIBp噵 7v1jZG$f iqZꐜƳ^fNH;BQ*fv79(l݂wHYgh ^nQ5 Nfɩ@*CZգQmlUO^'|K(a88D`SAq=X;P XU_Gd*B:2>Ǵn[S&8a%&%&9/,k+QC/;uB3zuɮe+@60o;3>6ITF٣raR(}'}R$c=7D1p!zg[ka@m}6Cu_ sJTЈY 'q}fDGףg\K[~oN\J{AL0H-_<47W߬!o'¹c }hM3$G@IEb$qx5BB.Qѳ 3)A= ) -yu~%D(zea"o1 M.o+߿)*wu=H!!Xe1 }x?E|^H CE!e9P"q2@lɈ lfL]\Hs\J[c#z} >~Xdgknf(im/r4BeѾS{ 26@kx`f%UJ{ :CPz :%#]]+f֙]WF,{em|95b񂗁+?d0rRAU uuC-&ܑ)6x,E%)zUUv9ǣ ). Uy7MDk}(Uw&Zń.%btɁ`,xX ?w]ADq|[":+3A&WKy"X(ȏ2Fy Hc.ŤkEDEvnObgm/4tX 0"XonJELʍQ|bKKjP$;^~^~^@N7E0V \RWU\ 6 "qekc#\_Xbb2U17WIբ4c)Iɼ]br'g.P>IxU53(E8p)1&MP'גJOݰ\m;q`(2S C1 1v5Le!"1ήxyC9%}kS[ɕSTS'$T; .@^wm諷Ϳjp/kD,916P0 Ljz!8>+?3G3)S:`a8ITu{jc}$w3/PO:um׫G-8ʓbl?ftKF1s;&éeh^п}90mA肘Fsu?ox`kqT@Lܫ 76+hֲs u(*uW")ȞK!A{$]# ԄVV'R7),q |8cn<5~HwBadgYZ00bfc6c3222c410f9d74b8c3df4b2ed9a3d26647 02c9d2a81cbd9900b2b0e4505f05b2f6f37280ca 0ae69ffcc805c08c937d82d7cfe8c0730dfa3fe0 1bc55bfc978a0720068b4a3273f2ae1ca430b531 2095e128577990dd86da24f34f0db67296649fdc 3b66a4bf4ffe79bbc45f1970d0a974d98e4e1b94 3e552a73fab0434ff307d98bf1a09db2f5b01e7b 44c8b323cc30bfbd1d8e6abe554a99ffb104baef 76c994d9e65fbba472f0e4d6f276c434ebe77e81 788ca0532c5490cfd8371e87bfcefd03638be22c 86b561077d2dd7f66b680d9f7e11621871a4755e b119bdfa771d3eeaee23956caa91662ebb8a293b c26d91e808eba1a16f05b580d5ff636cd9883f10 c65b86f9f22e81c77000b82807229321e57b87f2 cc6b26d9421a72ac11211d3bcb4dbaf15afac760 cc6b604cade3f1fdb9d8d4cce4c16ec3f88d2989 e04836e1a41e496010f953f7cb42e3a7c40114fcc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803