SQLite format 3@ #- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8A$\ !% Differential_Dynamic_Logic:threads=2elapsed=293.320cpu=440.544gc=17.180factor=1.507zXZִF! FJ]ŗXf1-/6vRZcm(͓oUq#~̙m>tK`Rއ5l{3  ڨ} ү*l6q4"m AaS.:'8E2Ҳ@h  A Differential_Dynamic_Logic36/+ƋM(_ ލ"z7J{KJ;K2[XspR n>^ ʫ3@<$}tߏ➝zEjTꇹ9<6Uہ{WY~X 0Sf.mX'Z&D0@!%g/X 6/ֻbKFz#:$;AcJ&#]1g &@VhgL"}?S8RwZHBgQ"QJN|PK)1+=`e[=`7i4g}/nTLx8:ïRsՒZc:^#C) Oz+ke/n\(o sqU|u5fA\Z{{@Baj:r%bYDIׅv˃Fee3]f/OهKM3B]^u@A} ZP*տBDV8g3Uqb'kjjZWSU^p˘#-Fd`'DFhثob&;R-&Íe:=8eKo9*~#V. 0T| 1^[4 XbK %BS]K &ǶO~c%୨-/QX%|7:]'˓zF6d*MZp*-{Z:ܤQ,]!,7|R_|tcH[K #m Ȯi)9@gş1Ά+֥ЛgsWMԘZ0x@Ҋޮ`gխ8X_<Ge^}^H GǾ?@XވOabw;NY ҢK鸘OI3xG.pD5Ƶ`l5IgF0/ r rEJl؋=@bbWTŐbŒYoYs n?U+>(Wl]~90|^kaӌ 8v%}GHqrJ%[0*4n.|7iUSen>LY(NHϾY{TLFm9Z Ho68GqJWTۍS\6:MW|=:N _%B GJu)\Nr'86&wE??s1 Z#PilxB\ +mQzZ/$$X 4>sڽm@NVfXa{fFU^ǀ҇)t6JZh!;js8B2s* 4tcyۛ3QqَlB}emu}̶FD3$mڜ1x:>a^U%:Ri^9Im^U spGIvR0˿&v8[4PQcXTaC9h:/pr2)7.hr(5;>h?2"+ C)=!.AWE6F/J_0x*R b|WEa_--{i'))qS1Czֻe" ' ^ Ϻ>0BƄeBBnFHA哸//s fklu~4 |?>l 6Y]{:cТzkK6߳C(*2=7 wz~%i2T@ޘ 6GJHQl|gzM; s 1Ij>Ge{2ₐGNCl *]H ZuIZnDԢI?o?>~ȮW34";M)rhJo~̠#@SL;^ /Y&#PI7̏, /!x [6eHħPHY0{靺A?3> Zu¬#{N،- kK~-Qao1SbM~ Vtשּ8rCq;j7`.jd01%7CN%2r|w!P7zx*@UzxJgWg<`Gd%`.aŎ\q~4ܲ,B5bJt0D:зH1m;x=gGԘ|'G^L9wk|R]G ԅZ)fG/fP>,Ҕ [`tW'ګA ?~]jy }Rϐ߂6@Юޭ/x?]!Fyt!ldJ\H}֖ƚY{jхz`o\ Bi7}\i0ߞD?C~)xJ>Ѥ  X06o)2^(qӥĺe"XUb6<~m'@t% ˦HF.ܲ/Gb%8[Q9+8ip,z:[v߳E4'ËLK$L +7u<InWK_Hn[(M+1%f-M(jӍ\5v$Y۫3N>2de"XBsblyeDٟNJ# ؆jrZʊȗܔN  kQݧ3UΡ\ Ny+iJ0DC-A#{9ik)"HMC6GcN'\ ׹SLU }^ ZIǸ9kda{]7z<#MЏ<QIԂΏH|۴5qiiH1iBy|ݸ܁ut2^'Z1v;ѤbepۓWnann[F!k~͖mG2uO2tP5S +|Yxnv`e4:*@ {Ow mC|_\,m2{6 ,|}L|4/IkVԿLE䩴^DWˌ;q)A귁2h@U[{EGdR)R :Ago0FYv!zy$ ؠ6WyL[fx; +FnpGdϹ|bXs5 z/0< 2>Iݨ}t&qlqJ;n[sІ}m)L"NwlL yȥ@UXDJ>Wو Q^ 2(Z'=G%I*MMLjFD) |Uh9zܳlt~_^&@{m_{L{~>csu] {YbAi_s&"IRzT42ͮ:HipmaCybEvBF"rGȴeF)1\2mU-o4ToVBC7ٿ+h85ew픷\GZ|~(a` )s7^>Bt[s UllM ZeXi&.i ;6r}|;%28$׮xE&[Ws$γSv\qaRM ^m Iͯx:ލ޿iEI2R +,msqTmGT}&jNԽKN@h[ pd 0!I-Kh9=IsA~ݰ Td :'%#UZm@ aI%&;!dGX-a+cܲ^W÷]zz[^1J0-b4u/#bH:[]xl 'ަG8ð2H+c\?f@[ћ,& M|T+xw֯ig}cNj T'9X Dw|-{&v+b+gjb4o| Bi[e [wzo>}o-6L*Vg㤁LҞ]]{Rl6fOaf`_O%Ӯ#E48O@0H dɕ^&1h cY2Y65DЪ.7.,@FA1Df1nN , /7 )qO uUi'@6/ ʹD;TÎ4_]yF`£5c~:. HL혉U>h `#)jmI;EՕzTA< zSiAf o?g(^(rb3}MYb#fϥVląyv#4>m<|w7Cji 0fiI~zPԟPL6e[_`kٖ1[Pq;g^'jܑ}[:"gg ټ*zqCپIca+M1ì"<4)]X;~IJPث#¹6]>R֟JN,`FՁԐ %RYT>j/5ZGż6ҙiIA=n"JLێr4:~WPwA!zqfy->[nnk 眍{ pG<mK:Qn}$n1#1XEו]u9&v!xY42!hpĆ?VzYl D B΂Hd9؝'Dj2/? bEu&S[ZbtN,u;n|R'*HEW<1ٙ=>r(kilm j2W4A6)% `g| غ! uZH8=U` v6&qƞ  f:'$dE)SU.8۝ڠ6M7E'mOR]o$aī_{>ȯç و;@9Ӵڹ>TG4ALXTGkytDB@D!0)&'lˋ5/GQwY^Kz㑢txGc&De_|X7NO6A21(G_` 8U,wB(X }V*߲w@!hlŎW*m GDѬp9 Q5"!D7䲃p^|d T)ftm}=͊fb?Y&|mWĿ^ os{Do/=]VwS܈f0&D-B |}>]YTLSS嵦dEZ} ١`@U */ X`/^PJyqB[y>vY->] gd)sp^t81] ?&e" ޿-sgx0i"H۫v{d3Bp:@$:7VaYЮ7I0z^ĩ <&=VGr2. .dݞr'ȃjRFq:S+Qz.MX@#~Tz=Q`nn"*it*KI _5)?O,24G͢5 1o\&>5昺uOh70`iqGbYjhtJC ]jtF 5yBK(0q V]vWy2_@ReP1b6(?Ov N?cnaiǹ$zmٿuOKWڔG1,;+sNH5r#(-\l!eZ5*Vg9ZGNr+& 隰T"'h\nrͳ5F"S \$)00ya> ek^ "AZ&SXvӮ>7ծ 0:m4UwМ5}ۮF*7/hK UPH" "A PHoFy:C<uR"%^w"ϭi ױUO=M %'9:n!j/1GN)"$,)YH!* -r?6TYԥ2)|a\NK0r K4fp]*z7콘!3+PGy|$W T5׻^£(Y`)QzI5.?(rR[C0)rYu͘PMskzJ|%E- RL4r/lCXӾÊ(\vT;Z:078l+>7-fed7<0X 3WTP.V'tb:+wܡJJ\F;}T@]@cJfL vA%zRr^߇;+m^V9",QQ%emز`bIeAFF Xrl?Vxĉn"9H`CUZDR?ChpQgHd=9|HW-͞e7u&H>7L,F*W( uŠXYOetY FLCNjIRZԘ Vdť+6e:f&7G]9ЄF=j9RR,]d OԲl ej{w$~ I7?5s͞8`yoxi?|JMI7cJG=lTdl4R͹uizzLx0")\M80]'̳nBX(}B|JySzi[=_8*L)cuT;+AQnLRLjHxXLUT1ˮyתeZ^(utjOQ"DޞT,퐪uxgrXYl`˥9⎁ ?.-7ƅQݺa?\4=πY%Qhwl.ϱ& 4{Cn94%*H3,j,J:1m` 9qZe/Pl;7) yF#~>*= WEA ^I^I]~NdI4Q7PU h?Pdy-z KAX-PV՞uvՈΈo8S7Ra=۪ŷu`Е"МZsXMfcLYvºRQirΫ>ezZ 6l|pOyinbBG^٬VaiH.uj@;殊͊hQTݣ괉.eVd^p򔿂:@8gd[WwT#]_L zqn>m՚ʔ^7Ze(%bx۰1jL[o{͝Cۿ`Q,:4{z7 d91=_VG=zOj.vwI*`1z`vʉqC*g5SK?[ `k$as d&;b \-ɂ &@c8]~>t>!Ex;`e_gRLOk}"Hy$1_F)2dÓ--GO#kl8: T^Y"4wT+PrcMgN j%ڠFt_CBv sG_@{ΠlsȡGԶ"z80ˎ+Q%P˲J`M &})+ig?=#Toc o$~3mWb Zx`DzkO~f4#|Q+rDW8@xͥV nOl\Sk sᾄ0@o:Cw;1F$YF^rK8) bu_: bC͙ mO\H'lLZ,UpNzʀٻ? hD%7|{%LqY,1sZ*[ȗZfF2~F"A_MS-byT"]1[|~C'p( np+p6TbPjMPlٱZ\2XHX:{v|rO㬶Oipa9ڢ+kʙ!hl)[Yb$?oL mvDT=&DCR?y'Sl{Ar.^L~,菉I7!R%[*J k(@@KXQG;U}+:9j}_r$r3sl ?[i"bqlDiBu=b} ݃&VFM\KA6Rq;*S(йRF\{6 >*+[J쩮Wx~Ow9]|]̦4<|z'* za_ /$~pn"K~^뗔 2^7fEX_Jšݦ_\ hE.ʜD۞ł'un%c&WL{Lȹ7(dRUG~& :[K}8W'I:Y@#3LrbC}JQTAYX|/蓵Ϡ >`!RM <׷wGRpjsHvh I !O:,IHG2/e&zTǺ4"h5A.dl"cuF_CdA+?1O8Hs>\҉MDoA|xtazP`m?;%K8Z( /db!<&_uR (R?A r@D!z(E)9#$20?UJ8HN°Auc׮/x5gq}c2.oA|CKf! [vF[Ѩ/ka!C,%|v(Dtv@7)yA4<10KU%N8y1^^ YGBEӉ,di}.*:~.¢@@,(9.yG+>ݵnr/kqg`:59iV+40ɜ\\{-v>thă2W=X>0KdS*v7A{<9RPxSw YHt,Tzhk>{L䕁T_R a|5{  { tWTҭBqaAj>>d.]8!rDxqfϨDEa:۾f\pn"ILGbvFZ>lW|Njy[W*I<9y]Sc7d'RfŶN''ݤĤ}{l?Uژ=$?|X֋J;tF]{Hen ^Q|y˳E':[a}4 %?Hخa~/Yt)A`]U}ra'?LI7"pH覥+y]>/NHd䶥27]`b+Nzun~ޥ\7,N/ᾰ:/%d)IZ@9_HfFSj5F7Ht8kU"ѡz@Āu ?%VDBr=rٽ@ޣmPE&nDGiDߘ鞚\{"7P;L녞2P9(*}W|\0*|F%^X; 2Bˊ57GBp$0 NWj]yh5lAm@g;0Ncv'Y1)˔Cd|rv7Tcpr.,V1 8/Q%$wATܙŶ_UAz_)>sͥL2F&DZrK<. n9jR. 9pTv>+f& _{Uﬞ+ SuBSDG u|AqJ/>.J]B@ɝ_ce26Q5uQ!ĥc+}]$ `BFd*YZ%3#yǏDEدKx/J89%)Q(n1[4}s &_o6/ESv6 О1ToO緝 d^#jMmk}8e_z}h^F obcD`Q,[T_&ܑ/nrRJ(x{cw@6yg 8MÌ&3ƴHxk;6ٳj+Ԓr:~SIfO;XPOj8MfU?rK8۾4nv̺A;v /'hƈ8iz\zɐ vq*>/߅$?pV{y8߈<)CԢmf}JB =&<-Ar*1MPW0ro!W\Q.Ӛ&ݙL[Qyk]kvrn1'"`pbědmJ/oMX5ȊV@4qD֨_I1q(ENz^ IIptm$!0 Edk%vK'+TQ}#.qLyU#2;€˒UȤ_\%bݾ}V'9$~Vv@ўbazaȴMLdUʏϤ 9%OXHƸVsXU^Ɩ: hU_{d? VuWܴ- wG`acnFc뀹K2S=oG0a8VLD )qtf_ET9:0`lu-Whu\HY/p^, yS!4zAȏ.懴YokTD߃iփ]"Iinxhc#eb1 ϡX:$FiD̵2m졬#}D䅇`}$ݯ3MGxio7OiC*ڄFpsq$8>O[X/QlMZSƹQ =6GQU߼N;7 [.R JUgķحux='(A&5UDJ֌3 ;uKNNMhDf ]QQʇjrb09 @CjBu,*1$p{ W>5A4T ^ep,bvd:6W>ldhY"4 aվ Wvd&̾J!D=bz@՞s'|\R|1P{vJp)BOŵ*B R L44^U^唢 a }Jro\P%l /e.`K5/[_+h(8(6mdp*$[NqyWge+ApMm\S8qfB&]C :vjvIŲct DY=|Q0Јuh͙%$鿻2=ʳρ8ߎ=vX(؝_\ߓI̍wueHOnymP_(̂z ޔƳl*Lĸ$wI,LJ|I0IqZ"ك'`xf~4zѐ 6.AGfd7%ȑTzH6rXѼE%b {{Wdc w-twU!5q.=c2íd'zP b]_$:*הwmeZU嶒 afrJev 11H3~e$V]Xd!tYuO-380#V7RJ]fu_Ny0+{׿&0:\=F.𐑭dK9^6) :ZQ./lq4'u')JqD9vȀu(2%Gb1RܨUxbަyLhnwF-_f'7cgju0^UX#l2׽?x,m5'ڀfC^&~zp/˞Tide3fRm$L ߨEwF+DiϪVv[IukgO8~c+|Kֶҁv2++e;b5k0v\P*4R/ (MYl&ر` Xb@fO+Ne&&~r/:ǮyފV#xl9ʯzE* 0y$?۪t͓u*)W"9\$)|cM[>3@AjeWypXF`gQ¿'L:c N=gL IܝmCDQ0 ,W5+'I"s oȡJ^̾:C?1&a^tȎi+q r8 *\Dvo񄅠CXBsbPw="ѪVn TMɐ@-ЏK#®rlKS(>nj'{3Qi ~Ymr|]X .շ9֨}ł'[Um.>о QUwZ}/Id/(s -Bv@o'1ڃXԇ=삸kx:T=q@UF|D>e+㡭o{m-g A[4CR'S~SB(d}"yfI)w8ʾrO,y=;"dt^}B=&Dxb1V6Vw*yGPX n|.g2o޴'GZGuWܖy2&Ec{&t,hW"ҙe̤R_4QRqiBj<ۨcO/䖈pPwc>/ J܋owy_]J ާsT9k#;o=5_2'|%@К3)RS+B&kD[\NdP@0U Kɡ*aˎ l{y(ɟl8 >8ldbJ-W FῈ!y㛞:B Q]E{\n trA0Ye@7EϚD\<9Ϫ| 2mw휬j (&Y:NՐ81;5T("/XۣhEPikR~Iwey~xxCSD*Եѣ#8P5z'ز(&D >bnPM!? ˸؏ŗ Wb~ hہӛYpRh|MXh}iX{asn0\ E |}ϿԨYDb=/-Pއq^Ռf ;xQ3/$-cZ\4GUa+'k?(b=_ᝨh[+yh3zg!%B_nX*^.V.c։EFnR?`2fG7kF+F**᥈O1<~_H7#jɫe>e8_Uw\5Nj[3/XBm[Y3 ]lb]t>6%)eۂɊX8-ytBFY܎ z9PuA BzξD#Q'D1Yߙ!&BVʉ( MyZRm`')ry*3iCÙd쓿.~gT@/ N^M9vwi̇AEw `a ꜘ[488El =_~h{.W HnezIN^7wgh5*h*1) T!Oz.rHyZsQ]9|K52mw[<,ѡ)IP/tx,EԒB9mޝ{|+z y,0oHmN=75"ӛׅGc1h< v`k\ ?Xh6ȳҞH&BԲGBNsYs;,Q쪩g# 60w'QZ*g6er9ڋL/Z4`NL c[p([&B-+V ]A[{ৣI+sklz`{}jcԢh,B Jk$y4s0 S`V$(q}yݐnXR,}ƶz!.; ?a+t[cf$K/ #Vn B8ǐ 6uDbs"fe`!-8*{ĕ+%Z:J tH֧ޝ}5-k MXN I##d&GSc p =QQ>!+YaԔl,!7(\+&u/wRx#e9>Seal|\.xJ^;+>^'44uI~M Z\ĞS]ZMӔzzZ%ck.BBtբS;6k?)ڮ.ˌF=U*N$đ3_X90^it5A/Va+ZNj?u^mS<^}ɰIDza8z ~+<*.=zBկ_}VgȎ\iH4o_[(mC)5VL\g$7C&ӫ I- ZDf:J0 =~wk6BCoQ|9[.7.K0ɥHbm+Hv2NBc9kk:,9ZSvO%!w낓loBIedH"}5$%WzZS'gxM"th!_ߠp~)[j4[vd+Cfn@FacL`:C3HavZk'DTatdja4AJ)z(ۥ?fei/na>)$+ړ(9#|H;/HWyDc~]$cmԊQ}g&>n3YTPw@ Eu Qʬ* "4 4-)o(Y +[bLsFbkG =P.ɽ:N"Dn\C {I&R͍\)#<<<jϘ"\cx-cB RRXF ۈ2ÚSz_."!,w~ H O0 ^PEJ5`-K ;da-?BNL:e:w3>^TSktfTs77=Ŵ[f߶ }(쁲A'CIK'y]l\m:BG)B>%}bgƆ&htYR]mz$F-G[Oޯ\: =c$U/ZjyO8Q P9݄PhP/n]#r>:Vry1\/*=C( YZ )-d#1/ⸯ*>P2Fh3u"0L? 3[HdjSԁ|}T_lox5$V],yZF (2q%`Z ϳ :sKJ:%״nxueL|V2F^OqNwjs ޻LѼBMKg/.xO5ӐrUԓS]b*.gst80e/("r)l(_M9GxVLF, j])ZȝeB s}iCe^<~<ُQW R3YP1ܨH2+>Ɋ s G4xNg@hHobH%-{;+?}m]74/`F6@ *f>2quX&zjg^I^_&> U,<Gzǻt5W+>Y\jGst//tu$?QgߨA޴K'3t2FXON&YX>0p, $wZGښ5pY:.N;/- 7 ^XOBE|\}ǥ1&ͬTx|zSs;8ؐ!7a[Aػ!?}¾[jQ!n쒃? M1gcU/\P+աr/Q[ QhE\4a+Oܫd914ZA$h}Ր9N@-p0`6}8o@wޓUW] Mr :\xtВ|A{{/ B`kfc_f/ɱ6R.-*We.mE~|@6/PAљWPKBqLefJ7ނ=:H[g.JzWmg6>3MKEA_wC M< a!jq<@'Fuf1ѰDLճ-Y9gg0KRh6k$ex. d/7 FѸH zȰ\ǟ]1ʷ'2ruЈF+5?zsv]^&ۃG?h('s&t=b gqy=$Po %WFh!sd)7Z5z7\WɱKM8E;ָPE ?5x7uɀeM='Ԋ h^Z,5 MBlVv&{Hl ,۸+ }>4|$pu]! lY P\܄V {LјS+ 4~0%\nj`fBt?6Ѱ9Eِu(Ν+": 8.P.Ǣ3 :ek\U`~vҶvG5d`kVb< G3-NxIR lۂDSħZ[akǯ져KÊ()9|zg<߯ \wJZl?jDg?W"$PcY.kqayQ$L9(1懆ߌ4J{%Wh#L>+uv8&ǀ(vѲ{_w{̡ %@Q!yDAf n)CaU.% p0-fN4c4wJb7_cR \E6[!A(ʤD@rrk'aOih́xec;nB"*%q~$K#]z8/s"L?kq醿G%%|t8K|0֓̊uV VQT,CKP!%5 me3FT/ceBMT6OʾesUm.0_hv| [!}p:ht3NjkbCvcd)fvfe5~!H` #0@1+$pctam)d_+xER_3qщ~<.;g3頂]ێAbkLD[-`B8o`ĠT|>RHY`M!^Tgb0Zk0RCi6?٘s)%hYE1D)ec`w "nl2Cy[36}W4a";& ZQT7g neٵj [V!fWL A5c֡5$/OkΒ&JKLn_AhQ%ł6u5V/P䅳'jy"q{l,vuPRm*68|h▴aq HmZJJYZ:p]CҒ1&>&S/*(çD9e+L'Qcp4pG8 ˝1mbnMJӣ td/S m%h#z TADȕ;% t5aU(JC yhp&PY[cfVdjbXlEf3phǁUol(P6WK΃X Izy=.'_HǎTjd*a5q|L+2b{B}ϺZUǯ\T{, V7 2z^?f9S+=86N=(JBٝhv9>qt 4z}[ zG3'բ4b}L:P1kAXV.sSml lB4!*nSA}F\)GQ& )B#.{m6ި +>/I{?D!QK x!/.ȴBBr>A%[͌Q\MWD*{!+)LzT(5} ' Y,5arn${#dW0ѲO24!Z݌PLKT7$jO;!BGp$K}W4R,Yґǩ*"miG)f_`'47mjr#1SY#T6w|D\yW?yhQQ̈%do:ˍ"8xAl`p~yu}I" c ܧR=Sof䶏9UCi@=GsKK3pw{b~޷cFxJ:LU,#qgߕDّ2|:b5!#k)dˆձ.G?hu8qN'c;KMA* ;{Ѩb·&_V޾w7UDc^"N +ؓjH22btlMэ?hf/?QJ jta~_~Ə|g96)NHչS*!]@T3>hYrRu#e\E]XPHGQ(= 1$,#kN;w_Í`j{a;S_s椵MC{*-OTYFO)@oLG<(O'B^Q*M ɿ@67{I'򷆅ps/鴲m:8E2%*Z UGZc 9w@P)~J&gXvM.C/l 8h@vTP@<6=cTjX|s -DiBt,pLJN2 E|<zXX <v`OoLo}8c:k I].i'xϥ`'4NjI{8NGYrvdE섍O:u}xBRb#InqzDC.wν!ΆRIf_9"2ccIfLujx^[z|g,0LEIb\v_?$Zp3EYznc](yVmZCt|ٹ3@bDx6d֚fMP (Ck˛W2cZ%7xn 46ҽwk9G 3nDa ۴JX!q++e 溒 $ RTVWjErO-M-YY_*|%԰,bnǤX'pXF |VGžt1܌XM《u#wUV*ne` fst;CY{ȹ|xD 4sBV360Z&4ihxK\ge*j:cn9y3erͫw,u@5Fs rUZǒ6EZwu1٧~2:1dD<(3*uG2fXU 9aM8v)& 0d9sɿGpp#a]iSZh>OtMܚhy:kc+^\(j%Q&*¶ ΜwS9]#0j`\VWSJ=oSuۊ:ʭx{)zIėkkL _} Yi"ӢՃD5J+; 1ɻb( :ׁ4ߵrV D/qs\ԪD]0jEjM.bOq@(ƪG䊿A"18gɣ4p)_ge3e{2dpFW$t]ƏgjuxE5t}a\o )řʿz.ۿ`_?bǒ~iK\y. /aEn }5 *%1B|vIg)9 !O*+'`/w`OʸhNDJcb\f'(Qze'N~@ ՙKEaJvҰ9^/\CwOP# j!F7,'vRm)~sch |@7zEpE?%5VF~,'BB{D@[zSI|#jNrv:)uv+> y”5Hi%Wݯx O!i{Xdc#X1-{kcPոÿy_׮<5 _ݒ3>*d]׶m"li5X,3;L7c쫆m6{2cYn#MTb k&R)2e:n8O R^/].љ[5ȐmHK=n.ϲ^nb*ӂ z eD<>Ra$k(sA-nE "U&< n|DTKs6l6,Fr+g pP.t7ndSFl5ƅR^})ɘӔ;jRxV帘OtyaͿ՘jY<38ߴB:~Z7uA0_kt)(=][.DI)I P¸a{և3nfffnVa1;w&875,TdIr2+X|lͥk K#,>$G6E\WNdm>1$\rRX8.ՙ_ eW'ze$l;vYrI # 蝨_?r'@Ȼ_uòx9Y2 5_Igvll^xnI5ϋEM5L.L :Mj|<+Hd4Tg2\ 4./(ն*k% z {̚`?vӝM7dD8jcҾԏz ʽy$ʭpG0[j8.2*he\TP Q/6Yz饹Ht q epgc@L6lx{5X*!FP4K,a𰫡mH4ʪ{!exs੾1?P̯y1V}dJ̫Z?z?XSoo2B `IHmHgYs/)&gg#d¯y~>loˮd}CBWP>p{3"]$ͽzr <"ODV|ϸG֍Sob9;RV0sfaEMA ~^<3 ;x}QHYkj1M gH!s| !4Si9]BAD{FLm9_Nz&V >1.1X8כۊ>3R8 TS UkBuC 2J 4aaD0GDs+X5+Qw,6';vt|xY]wNtѶaufu<:P+۽?_7p¡fBsvH|ޥp'XMjok/܍堆 m+ťY_]om,hG G\l4 zLر^"NfAU;}"7/ºuYBx\oܠn5=[Tb!"'=*#yʎİ}hrlտ 27,W?=R#3? rbR(;muPZaGFa۩d#"uXQ2`(ֲ,to_?TWq̬Jupl zq.Y :4:kpu0\1uYpUߑ?EkKG .S]3eɟTiyOG )ֈ@'L Q`q|vr:0ԬQYDv5|B_]EZ !$Fm*='N,BlW7t\*xfzLJSwInтaω MK) Ag1NiKX|]PmZ%#[GK4W*Ɉ64*F)-bP3 a Su7liXroTvX=w9^kVP9 vdU9d X_[av M@Nq7չdhv<d2_,uGq;oxNJXiPNHsY|eb6$Os Mkyۋp?.Vnq {%Žo_j6 *%UrA# ʮ8Ui<ݬ5zpi i"'d5򙨑XY |'ީٕtR߭Jj7^y¡G  NY5 Iqᯙ$϶;ax!,^e=mC;OhxW'Qo \7J˚BT} -&!L5ث!Ki(r=kw| Znl2hb ?΃#