SQLite format 3@ ?.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 7A D| ]% Differential_Dynamic_Logic:threads=2elapsed=237.024cpu=391.404gc=20.260factor=1.657zXZִF! ]ŗXf1-/6vRZcm(͓oUq#~̙m>tK`#$>7U;bZ2)$0ځtc5 3E4c)<[⬌<,| 1{HMij1HtLWp!)tˁDE@(XPRƝ)(Xwt?BV_dm6jv$b4a\ ?=4 Pxr8'z[}!#x:pA53&5c.vyjzJ~Vz6/*wdq̆MP~K$_C1PuSM Bkgs%'V^ʅ SЯ ;]; LD̦JŨȮaɸ:e'BOړ%rz'N]^tQQ_IPtk6$ wr1vYI0]ԩ/]=&;/f(sոVZL9;Y(;T-dx&<0oi#?^Նėk+7A V@Al ~~Xn&b4v<׈Y? Sƛlx}řOՁ̊z:4Nڑʉ'g|s$`f5%к`>2G%OYfʇfU{W*Xq"LY. &U1{fc>PQkI_Re\dFR(@JU,ٔ$Y0\St_|hܓR*OjɽCaZ"vdnEn|ͱi!tcoޅn2![䲒p`MF:/~nDWDBqc*(_f.qTKLM5B΄ <c0pY.WJfm<ټ/7ta6vZ lݼZ QL-ݼ R{Zw@y/D=^Yv_YƬ( SYeWM,I޳O!,`}c5_w ķX"G^15V2mkmP)1 g2b|†Jgc}\B{eլ".UO2J,Yd'YUj?NvoP,4bq+C`ΥnSE{#?=%6q>W[l[=S\OVRӹqM3aLKV )O,>G3E" ͂tA0fVƿ, ӔWb@%cRDRA$0)e]}+`^r-֮Ni"Lf *8ˇAV:ؐ@efvXSrCmmU5ҷAWQ''zEKNa Fh᥯8xWι\bާI+W({pVpcTv_xjEEcwuWlNH wUgIXأ~W.Zۓ9VS^cqN;(`4w;bl{=(X3 Ҝm+V@'{h+i4izgi? ؀ZgZr B1-c;E_mƇwFjk1{˚ʀn:xn,?ǯD%7 8@ڿ;{]FYYڊ-迚ЧKqƙt¾:CDӉ>W"8E*cD3_dkR)/92>1 ,.tB^ )vl |"'|~1s?l5q@SW{H}Y-&,ޤ#I+vĆaWU$8ƌF`BÖZgJG #/ Z%o&ԒFU*D=UUJ}Fh!ܟ =z4}GNA -+tY|.)+klj㲟 la20`i+*]V9Hp-Ȭo!?H~'TmI`NCŷ*@EPˊ8Aʡĉ 3QڔiQ1X!@<@b!Ynщ(ZVw+cyE^XP?ԅdk,s3 5jY~ Gmo\ΟK_XAZӒG&h*9nJ^0 5| fMTd{Ƕ|L{y-f?˷J˃m$y^ P<'gMgYZ7zXZִF! ]ŗXiɟj"5P=;!:%k_&'H 3? %/6&tv@'50kvͼVJ3!abwIqq 98MMdV1hˑ. \@ƣ_w/d~wW2ΩɎa`Cq![['*7I1E~m]s)(I̝^E gQTGCHVYt1KGKdmHCU#}Jsp\V-|.%#J{ ;n͏^AtLq<01UFcc&d^x[~QX--m^$ GCD`i$ LR%?ƻ61H /UgYZ7zXZִF! 䆷/v]ŗXi%;?ۊ  ?VzTxp&_ԍXPlOi+E҈k[aclU12#<II苌»qD6%zpj\P"y+lz7>|3= A Differential_Dynamic_Logic <1A[% DDifferential_Dynamic_LogicDifferential_Dynamic_Logic.USubst_Lemmadocument.tex7zXZִF! ;E]A-MՋhvG"uIBm5+FD9C DuAgQiF`ԛj*1f4ۖ=li&ި(8)g8>nOX/Lis_i# "ԏv5ߩy!tyQ\Mr.mgp"pg4LqS?*Hed G+;Z/̊ rQ{14,Wg{>FMU$Nžd;L{z)`WjK#˵*_`ʜ8L.LE=RʔPߠ!S ٭h6%k#1rFW-[1$aΖ}4!6F [_d#%8q{@~-O˖) ΎF K՘P٠ b}aCi3VH Ye`;7f#Osx2P״=4}&4ð˗sa?/vt40M\f2Y4`ͮbp'dUBo#Z Go|J!ܪ:\v^oINcVYOV a#Oux}r;KzV<)Z'qgыBwx}#YpfTA5}O+HJ|Dm}NN-,N{F ,JK8xD0M rH͙\0G7]CCY^D6T, j(7m%'J%~$@.Tz~v>#w+;:*\6?4J:3lb/*wrAKݮ*DS @.R6GDs04[[l8::&78ډ'Bd_ajUɟKŗF-cV[e>u3* ãF$vY;@gjv|K-{Alq֮&;Js-0ϷۦZmڢW Ai% lDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Differential_Axiomsdocument.tex7zXZִF! km]A-MՋhvG"uIBm5ؙ%Tl Z$/܀t^p˱=/i\{u'l>]y|ݾG5hƄB?Pq(X_S3DdG ٟά tdde #7hbAe\* "偊0? /j;:M3XGpy`-mݭaDH0h3\3ם㱆!$g}M#zVP3u 0))XҼFIUMT~D6~ P;: 8 5 /(&"!  d   K m  WRaAw%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Differential_Dynamic_Logicdocument.texUA_%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Pretty_Printerdocument.texJAI%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Idsdocument.texSA[%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Bound_Effectdocument.tex WAc%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Static_Semanticsdocument.tex MAO%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Axiomsdocument.tex JAI%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Libdocument.tex MAO%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Syntaxdocument.tex ZAi%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Frechet_Correctnessdocument.tex]Ao%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Denotational_Semanticsdocument.texRAY%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Coincidencedocument.texMAO%Differential_Dynamic_LogicDifferential_Dynamic_Logic.USubstdocument.texWAc%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Uniform_Renamingdocument.texTA]%Differential_Dynamic_LogicDifferential_Dynamic_Logic.Proof_Checkerdocument.texSA[%Differential_Dynamic_LogicDifferential_Dynamic_Logic.USubst_Lemmadocument.texYAi% Differential_Dynamic_LogicDifferential_Dynamic_Logic.Differential_Axiomsdocument.texh'-H<̽$CU EmxQI5p'rb H<00ds{<9!GTIkj;vžK\T! Rd)̾7A\q{" yVuA<(9nٵ F>bӘϪEg - _J2040>xrM"TJ;1q$=CN(юJU7rA^1ϴ{+r//ŠRޢl$t*Br!6᧻7]v[C&4zBU5q)'+嗾04m|hʛii*1s /Z7h_Zj9SUXwL;kTR8#!U)[,fE5Dm35IcvT5n1_~p5x`FC8E^"4+;.daXIB;mgu|_cL^=v 'iyDMPߕ6{!=M>IHHd9:V lYMaI`#~jǐr$ hrKw5 u"pƦˊשuH\9Z VS/f㴹oAم xelYz ݇duA\&_&`?c'[Kkצv^)4/,@`Xo{AqGqV[JNv5i` v9 J0EZ9 r:~8zPVc3mu.&?i0fǖ"0@v !dٛ<ԥ n@;%׸ G*]>,7[ <ia,5BsMpͅD;w(eyA0@| fgU"XݙLm\Ԅ%-p*ҵG-`V~xU̼ n/f6F;r(|tVPT|b\guY_@17.K g}\ 2o t 8Fu]1uT}7,x ?[JU+(uVu NGV ՜ˮ +Dzdp6C &Lvt/\[;@4W\ߋݣlмRp7;"hE{%;raI9,A.1R-Xi9ՀMleݲ$jgv:>3ԦD؉[ZAЋ؜lr\}%Tb0e,v?nyW 81|&?>}ZHxκ؀}M[)$ .5SP~&fDWqy"9d萾"}rc䁪UҬ 4ˆh/퀠|C.vDzOub'EմB3PkvA3q߻r|r?K g2s\-&d:J)|Өzd7RǢ{'5{HOrߗi>7VldN.D fL5YԌb]Az5)<D1~)Dbe,Wa[1A<ä3nz,5)' 8gΜ:9q\ 1(Ϊ+e/AT:l$mzqb={ħLjCv<+j_Ӿn6ON+ ogG,CH sTb[*IbG Ne TmqmE8WIUMx71Ժot ߨ`Ihܼx^TLOYXeGpLo @#)!Yg=4!ΐKX=һhԦfS-0I_tG!θ 5ʊ._jR*[F#X'Hhڛ~\!ͷ5ȇcy"b+fj 5*KOejHcw8ˉ =[[&,i"%w8J{X~t+6) U4&q%ng4J`PO@ o%p(MsΦc9}@+s!-^f!l_.(t _@2=WMok"lwB~Uɢ4Ƹ $tw>ʻSؠTV3߮ k&a牧xBSΫNI蜽T-י`c,$U8C)eJ}+֠c"+c$ rTA d#ri99P2u ~a xP=ȔD ?QD0gʥ^ y o=՟8~5`xP.B1k$Rpg]wpV#g%{*ye] J^Cl G-@j9Dz|c[B/[pGR7 n UGV1p ^fe Ys\m ܓ\[A쿌Ĥ2&@gR$>aZ#u6|?ϙk+Gn72q?+mA[t2G%p/#~&x4ɦ]דu^,?ēUz?v`;` r 쥳œP#6zR5 %I4Y 9 O\c@V.ެ6rO`+Ua_3yG+syi7 A'-`s2&#Χ)0e:jp8= 52& 9D4d L[tLKp ]+AQ$T[jz5sϞ@0~ v[t#Ҵh| ~w=؁].Ol$e@:7 H3DFE<|JpPgFN.5G,ӍjLR3#C%uPښ*xZF#>*~=3\/RP#jYҡX`^\|F9)FeX]5<_{^BB棜аz*075*;[R@Od7XAl2drЁ)ͬ$.^"Be]JS( NGǥRQ [զaS WG DF` /}3ާZN)\Snnyv+u>Y6뉍z.:h}e eB!}fVl|[r/Bgm1>4K3voQڝxk@Nϳ+b| oK2w5ؤOFzc*E *fx u4H#3Hsu;fa) 0zsKJ/$1=ueC~Qr=@PUF#~6Vyn괩v\7uM3Z;̃p8,+<ЯJ̭l%tPnb!Doa(ǒfE딼UW-!iO jsJx>h.ߑ!3rClVPCqS6Xۤ$8z% >(MJi&NƷMk eM~ꉫ|u# H,x=AnjyI.6e'ʤP>n)=!_J*8h`iV`9Ռ?F\>L糏oDu:8z, Q}=-Yڶ3hWB9\9Jmao+g8;wyxJ5?(N+VU7cX׎5:KzQCN, #aԋ%3\H֯Net"9%T2k\7nj1OWV<"%-@Sq2)zRyu8L\>.fn aL@^Nt{؛vTV d kYd (Q@}`W!m\@.Rʿ!CHȝ=c_lnl.Minls ƈIfSH\V 羞!A"ҭ)`jbb& =7"8q}TbɴT#q85rP`tȒ\Pgt[V"zݛu +X!]B]&/~<'Z09V_ۡlmO̤\,죉 2e srf9oN,(=@t.-Onʟg;Љ/!h ŵ;#kȭe=v\^++%MF Y9]ثӕGF~9ƖH$E;V&_3E` zk#'ITME##MBəuJAXFQoo 6W Z)dGjg|G\١Cga|aGwL&͒Գr~m;րL vàq4lTQsHLi2Z)V.3p x[D#PUd=4$0fSQma/?Xapt_MV/™Ԉ.ow'nS[(_1 l-WE睮͗DW:y.ͪDtG- S]ǰ upbޫᠣw.Jŗ !e&M˖4v_.=#%J].ư;]B Te wΙ~Ԓ_SK`syDBEBmqeIzJm"O|Pu L j&w@;I;C6Pi&a=W9CqȤY\J>g#U=VW{\˙O@kn3:S }B ^K6Y!Q%vׯЗ N f}J ^S q*xJT,ȅx>goApMoC`:yD,Zi$p=.#)R-V`stW:`y1@ -6gLHv=u[FK{xQ8_DkK[)*'t2rܘ[b3*OpvҏnüO$@[ ġwtVUpQ1(Bf=GZu60%JohRaj)diD=.|@{XfѾwF@n=0YУlV5R;E"0Q6F$ҵ/y2Bʛ%bY>.O "jM_6.sXAd',fɂEqgd8C撣o*d sgE78bD\L|s\xrbw֐v3؝[{zJ8{ǟA,-9ёΠܘ3p_AFE HtP}c;ԓB|Izօ_؉cXcpt”TWݝ>AK?qf: Ф5Vv8Ρ SE-­30#H}eY{N?heY&Jܶc'.%9cl>;mNjmz#lilСZJ4V֐I>ѧg/DYFF"鏔Z&0DWV wR+ 7eR.Qw8 h]DїڥMsbW+7) +HLWmgz@ҽ/͵(N'*xx&4X/Q~Kg #dGGnKጯWDUY'q]\b`P mRk~>{6wTy2LE@Fz?cpQ'>[eEfsܵA"/_B  <2\5X@e8.5ő} ]k/M$#ir; ,˜<$ح'9W9o?gr@h{0)EX VXOcMǵ.P ݴܼvmq@uLN*p;)~-M#,P$Aմ!Ѽ> 噎%v`[;@&X9Zb=ԩXZwLvOcߎ^4>DfJ4<`H5ViM(bPkZ8!HH I`Ƭ N-E$B73+dӂ2b\%U{`}\0nٮM%%CbOV:Tam]x yz8Sb#0^lwJ,6?wqlE (u'9ƅCTC0دi(+e2XD5'BmKFҀ8)xϯz}M~9awwS݁穚V6~֔'|p&kl })\塐`^րIP8-Bh5>?fn}65`J D}Q-sL8.!lViTo)֛|I̼bO5IHWvk`56!YUzmF;s'l]]AECMbK}<]4C!!H7O3=V [3v.ZJ[aDlZ[՜@\R|XObkq䍐0ipK#A0j sXyL>,P&9l1[1݅vFڟ1r۶TYQ 6̓RF6Syou$g8f^EtS%](DCo 2٫Ǵә "փami= ^Jܺfl0iIReqVㆽSm-pd2C0Pԕ-"b㧊uf  zeeDO䖁mysFzup3=l,< }E}rr뜜Z FX}'el9B쪹T!&>J s *S+`GbfsdבS ,U:5n+!n),\ 6*-$J^u&5ma=|q) #y圗4,0pW(NArNaDCJl!%b_ nFz$DҞ0GlN?oTws!;C%I=h<>gN,! 7|te?Ʃߎq@;K&4ÑP?$n1Vei".|BzKI;'taRHG!gf'ADp?qlM\B26hh! L ,u^&lxMG^ѼY޼iWۿM`[u0)b#3Big{!x6VU4#k ߕ󾠡aPZdxfvOLgi#!s~\u`zEа{(鹷BG k9P[=NNq Up۔iǧY,(JY?EYI|%Pdq hffvAb9!SKm +M< BJJamp̝2ߜD,өgC+%D=XLE0#5َK)PjRd;;uX. > 8w[ad}*aʭ䏔%DžTuІg'%DŽY/wЕ.jdNwAo'G'RA uasqkg f4DCF}2PDv,!Mau͔1 bb6|#֝+"TU6G*W͜cc%2qxN~  n%PȘO ?R`T]OOb:ힽ :-ƶjg3>68iЇi*{ |@<0B % _6Љ{5 q-~t,#6vQYJi H!đ,uvH؆$KQ׃=k@ǘ_89ǼFtbVAiE.. qi*F6 xP~ zȄ!^Mr갓G.xNAl4/oߗ%|k5MH9vv([yQ󞌜?^Rmܠ{es~|gV;%KM/P~$ 7)^xfe]OD]h::hHY#1@P m퍄`RH}}ϩn4]r# tAL~fڢP7ή55UJۙmhUK]V^ʱy(& 5{t7*[rCb oF_] llA<\,P]R` Г .Խy=ATgH!= MHF~[Rѭ7 m.)px,wLKx ܸL]39nīɹΈE^O%':Je Kp=.ٳM"Z=UFqTk mVO:7vG`Zwz닕ڰC.Y # ºd1+Q€y mk`f4 }t´oyD&io0\1R2CβLK1:H|ϼ C~p75X4`=d:%N*C/ b6)oPypk:|&$HGYrt]d s&w`I:jC-ǚw::T1X#Rk.O .@|E9i)hfܗW0x4?ȓ%栋l  nTek?׷!;hm stAF?&8ᖢ'U.Fuu:EB;AtimRhʯûi|˸"-w>lW\12= ȫW;S1ca24w &̟~_pn-d%T`[m$bbj!6]+!aeȒI.h3vYjOG9Y jUm#&SiRằN21nS+_,װ;q &A:9<[;ℇ3Q l޵T RZo˾ b)J,2T8.ނR2"9gB$Z 'xzp\CU됴6wmFnKC82_qI&ILE_aWFl4,I^x5馱=OoGhDXt04& Ibs{ќ]SSIʪmWagGޝe0]_.⾸蠽WcsN͏O_Sa\-}]Xɦ_V3GϞ5+z!GC:4DRA&5Y#geΉ-r?>X'N$)ҹ2m˨%yv eh`ׇ&l`>Yn$~kG&vHBcı}}nj|A$l/%'WXG'A0 T%C-spr"f487P&S3 V)`.cKd(FD3[C?Egd6 F l1F"&.ذ#^R?0OKWK1DqܨtG4M=K=&tKYr(ŀ &}S1&"CҬ`V*#) \zr㣥l]Z,J1SմmEbeӋ@-Fŵx0]cs·. )tS[;q(ήt0@nSbm*a$q ȇ؋jhqPXD:]T^sJbXXUG6]ѨÝyf-`=Fz9kVBF <),߇aA3 OgmpQLd]BB]ce/'& c88tQd'OIN3}M.yX:AC~uCaI{?/] ,)NÇP0A*ѵ}f߆yRM5Il:؞Vgq(n!>~I5^ (:x/@nNO@7a &Ϫr~9dOPd1ǥW(3-: Pkqtr8gmwLB03<#g2W$^sʾMB5'hzE<}roŻeяIuHKW N҃߸.6ʈf׸6+K_9Wx֒/zY, Gž=͵P7Vx/g&h!T(`-hEÕBea#qðZ: oK9 Fa./k8x 6.;` GqUIGoB. B>fjZp$[M{#6@F=2=s\2 |{I͕&aXea.&2+/1N18@4ᓪãH <*ӾV*K2)Rcc,lG ^;1ya!q`Fj`cY͛ahؠ4"nco *:od~OEMҷ6UkGdSfx ~~P{U!Dۀ&[ l9+ws^U5o]Ls{SdFZM7oym֗(vYEd?b9^9{1Gak~*'yHs!Rʬ?[mw#dJTNtk{sZ|< ,&;*=zKe;>N"p _y:ȅwiN׹Oy`xk}TE);'Tjג~6@A ޲)mnur/j.LY5]'(҇cRh9[q G J'.X% %g?^S0ltGH12/t!_63J"0@p[ov3Ӣ{hDRR7gpB1OcQFcU~`XXx,stynl;=5$OD3W+3/l>@$uasݞuc-bX>NFfPLc_!3 Cf:YPy14@zנޞ:hH?xХ8'!$KAL%cy¬ntxװ[ Z:d3Er\RX  v8Zw")Q kbC0H ԉSK`4uLfڰYu[ Baݬ,6xs\o/$Dqv~&w=4SR :j 37ՎjܟM[J?汻lhJsQ5c0͜0\JuZ Άɩ7!I}aIpʻ= cIϺf}*ыᦺ% 8b21-^Ϙo?MLSX i6JO}+(&ژ-\ou 41F%x4TGS]ںXl Sb0'~wcJ-H׫p}|àlRlA!iyE8343Lr8٣SoqRO|9^֓7ǷK_ av?]#%.",}7>VSGy"c6CɒqA -fX<9e`bڴs|څ %xOլ$Z݀$sF.\RμcYA jKu Rcti =H<ͥ,+@T7ߖpR2sldJ7ZCgY! qnpm2ǂڳ@z4ެWXHG$B!g4jcxNŭՀ>;;cǧfV'n.y(n-|F>pc0gaj9-X(L3٭Y(MOͧe.нܪlr3'X]4\ 5C4SgKKOʖpdž%S@ǘel<輂A&=tN 9ioq+1y}Q[m3ɾ&_ئŨO?}pMῲ)7lew{c\}9>)@*F/\= ρ1RrB)1زr5t$lL/8E--1*K?CֽwT֬):N2a CRc%7I*.퀬Xv"Zaa9sEĠ7.Z ]g>Ƅ,Ίҍa{H1 mdæ`tLv z78S`#{w ahH >)snM9(1YD~l."IK+YS*FT[ 7h;/wۼ_ 3U@|ƌĆ UHnOjQP:W,,4,>Nr/vu+~dk!g`Χ=;κ;[F:C`a WbʰfOCo޾BFd[1Jnn wDҙwYV[g6ɼִt" 6پˠb.Ǚo3f@:Zz#??b#23* UzEuVp4"o7ijDR,Ŏ$l\)+yW޷e~x"K"DWu2-H76M%MDwi| < oek}tk}m`hG>H:[GÔ綹,_8+h; ͷyw* QƼv*ɿ8A9IAL#d)Np6>`p=Ҡs~ .hu(48;FͲ 2 j$и}8raxGռ 5\"JJK)^Y1J^OpSr%dMnK+NcYG[| !LZ+&lXYlp˫-I7ujǶ5K^?KJbjs`x[r*c UHΥzE0,ߥ /~K_@\gQ^c~-/[,=N/n/hRk9H}fwRz r/WH> ?yay_~G tcE8_ʮd=bmS=ў۩gsd&ZinR=^Cj"|md2ZFeJ5׶u4(J#_O 6]WWno.7 ?1~- |B#Tq8Ω+xVca;פStW:ddޯ(y*&VrSҩוV_i[gi-h#O,8FGN5\5 $"& H d; o$*9μ,SNe SvOpFNK'BGʬn,V 'l毃񃡽]]`At)IMX~[65e%? X2oo?VF}Ҿ<z/&93xFfuFqcFZ/Svden) c0;hM!"r^]| Hs"@#cTU4.+ Fwnە.V{լK޻nEJNNoTRRqѥ#l̯p9ztms ѳ3 )ިK*) !%PW J]aMAc"c9uN:hS5:ޗ.~"4ҀT* VX?,*ҒfS0 _?eM*d9-h }vUNvʥ&DhHR/27G۫O[#AЬvS):YBя(ku(O3&Yv8uhpoBWBY#i*)̠w ̆Kg`vK;1kQ.ķ'C‹$Hʼnr(wOfRԊ:}}rRi8wpvߍ**6,mgs< '5;aDQ Bо 8|]4P6O1ǛUhb{oZ@-͝JjfAlY<Y梳ؒJlV-/5e|nRMyYY3&:ĞnRLM#ъmwB=S7?bTy/{l)[B[!6.k9=ىڳ' ő gEIݚaˏq*J,L Q$&yGS%p4_V-UKTH_^$igVUS+lbfg@34b7ed`lLdS? CU54 !9:w1M;vL8t5/F3-ܖ'ט~t0i?N1K72p^B_Ӽy8[:kOᅰKΧj̻LEnE8KP/6@; Z*C#.`tA><> iM4W.(AD:l„4W^&-Cͬ:^EҤvK ΐhӉgP'FeCJkdƨ@'ySء&D;iVOS!hE$Ere隷 __Ht%{`*”&\(m:̝44-}5"?HhS[^(vʀ&'R#_q2w9M x&LcN* h|\o -l 6^.mʫ| >[B1<+XLƹP|qm+c]ts{k;&)6b1]Pv[i{_nqĔX Ӂm">mR17grPP@KPyl]I$@o C໼ TbZYARvD4 ϝl \6OgL/fWjڛv[ѕ$Ӂ'}R:='\pjSCc-R Lw]#9cg`55C-%6]2-0Ev# uhb`և< au'/.0 x6tT_JNʵ,n<_Ҿ,dg kpmcSzEؽh+rU">wO`{`os 6C?IV4r"h5a,u /Fۗ)It)yǢTg}/yW+XtܺDv)Iqг|J OE>FdGzZdI宸ampuv0ȓ ){[幢"Ɠm{oQ`\C \ .ip D>G9yШB[v_>ouV8s2`^.#szOsE|OWVROHFpQ mgS6w2 !]eONա}?Mn ]zffw8~P͢O` )3?mZ sMBh+Aj̯хe%_Uw E&"JJ}D H1TOtD )c+x| &Dگz=ARƶ"C-⏜,rRQcS=2%t,ߊU~,>Q4W~\ r`g$S_IW+c=*d XVI"dWK2UNa+ec& ?(L{:3i7 ށUٺǹU&GaeVLЎp9@n&q<L d'P FJ z[Z4 L||\N~[g{Uh(AiL>nGMAbmz`{rԈE Ah ?YB* wNuk9~i?@DBur45#pN/^mi{z|3yNW;A4R6i0=TpAvUK$A 3|mY++eAa;6J;($JU!uxi~1`ncn L, |'X "C f Hz>H#4$&F>#8#ki\XSYY '"ۈBc@9 &ִZ’WA\&L+oyAbsƹ+E~07 -KAݏ!v6y* 1ϯ`G ^s@l54*?y^@6'ߗ|4@}&3).rlXIۑ-/8D߄'sI3 bm hy|jA~$oAEgWd܏r{I i&0D-YJCj3p^E^5es'8qp3@~ ټ:9&XlQ&qQ6 A=9' 8<>1q#_s)}/ K<>WvE 7AW< e>3{sKq{@`1c5buf,2a{DR)P:EX7T`K:N '䵍#y$AZL 7ݡ (G.!ut- ;?vl*2amCx$AV[gi" ~YP'|Wde8tB=V\=К@0N2F\M .nUߧu-W!! 40Dl%%`jY 3ފzm݀<{mw0b\/iH8O}ƻ]X3Ϧ oA>d I^ *-FqV@o3V a_ԃQζM2Wh*807[gGx86( 3>80%"vsZʏε/t7=1#^7Ɓz f(ҧTL=E҇8'3)kssF4x:+{]횦l8F5my̳u&_xQ_J1 _w,vkN*cm&Z$:x391'[i)j谋ܓejdx+W~);]YueL5 sP4HqiQCɮ ?շ'S]UN^P6RnZp4UP-o"ӯ\e"7`qȆi71G"s]wi0KS - /wkBW~cuuw,"n0% s\oټϦ#`?)F7_ :+AoVXk挿n-|)JCA۟VЀdWKGTL:kAG,nTO=갼[}D7YH/^%|ݛQ"OKL|ڛ]i);~^L*44!\fO>G!Tpj rW !Y-|k`%]e|/JC zCV|3[ %"r'%;I Єo3; B bןN;mMZj{8)}󕇣G͉j&׬U!E F/#̸wG2yKEK_G!4{+/=ک;r8R>ɨcGKS4+Ѿ`pV6-ǸIei7zOI5fsrFf ZSxFE-&KK?&uM̧͚6iW6~b¾@wBTh#/q3goCZA&C +Լa܍_+o/Mc$Lc%N8/pw|A*#TlX T( %NԠd*Cr vmqDJ|\gNxwQO(Hzݏ[LDu:nj/§-ļr5XGJ-20Jݠ e_DZnT|[迭h?:C?0<ܑb,14p:4B+DGͽq~aڇh'q3_ZRZ*`B;^U4Qa7LtC!| X(Gv d-٥Z 4Wb(ǕA-4)up/WeHP ^Ix;D0|qØ+^7[Jr8@'ȢJ+;^'#YӗF9WWFg3'KpՆO F[1~2blQ97, %IT^sR@cĿq|#s -uƨ3e|<܊{!mV48].1/)m+o]!sUBgT3p"qًlʀg(~4>18C;QxXΈ:]WC)ps|sy9>8nĂNغ2sE^ݽ 8o)Uh RaP{] i2.م 'HNOaJ;/-;aωJz-%pqDWe C~W3NU= aq/ Uɨ`,Ν&:9zþ [b^~hF^$Ϯ" 8Վw;U~o]"9b9֩PÐErlɇԥx*Ɉ&,J<,7>ɀդ.Kێ rL2`ɈkI0ut2a%Dcs=@_4SD*P]9m&Zطܲ3ԌcdF7N!e]_GM>u]K=g:da9q뇦&ũ.flPzduSB_`1kR*@n>蠞ֻiK}P6B\2_ $QY"#=8zx6m5}/,Cc3v"fE$N MaKYVEw{f"tG鏊kF8pGY3Y9C﭅=#YYrA?"א/مR,B,YJ- kց$KW.QIpOV5Yi{ěF"3OM"S<7p1EBkM "R\8L`u:SIϒWzb!a՝ 4$C9*YGd 1,5*9 hTw%U4,BA8aٴxK$u q0ZMzğ*\M /"c ZP[ cM \K@*-vs:ܴ:Pv~e3lXγ"ߛ=.erM6EjƎ`iy2Z<19=T\͏gbg綛)Su%d%y:$;Ό9O$N< ػlW'MJy{S!޺vҶf{ClZ6\#vK0ed4J3D+$q +"fV5Mkc}.*sOn=v! 8hksByèLXn6Y': #FyScy-"U\=-AlJ/{5]g!*%?Hv.R-0M"sۂ/v`=4v'ڜp$G6`qxPgĀ=sـ|w¬\EC1¿&eeP^^,υKu}शQǼP ʿK*?b{|i/J ii,p͈ }gND( l^wy-"7~Tx4ļp Ƙ86c<9H403(&8$Hk,6AhJG@ܖN)bx+WI} Jq)`{īO#g{[B,8֤7oxY%-&w I{A\^N3F,T+/oU njLrpkRKG-{\gM a0ɱYv ا aH'Ad(ӌU-KӐ^r͍->~*@l)oBk^fR힫(9:<Dާ8}ş 5;V}n~n~~ sJ0݅/ʖO 'yڠhץR %gY;7fa FBry*ct"ΰ&ɶS*8'mV]b*`ы Tgg3E &qNEb?sbR0b='cīsǞ$ eZ0G@ёVzZXnGHS? VV'9bтTkul#AF9Pa"#^|tGKg,YKmA?+LMmQ+)7Zn"xUL!ׁ ] 녔b0\ؚtM=i6G1 OEg78"$. M+y9,%0'Pz-⣔1Rd@B y|;@R7fRJ+-__?KA<$Zyt/`_qt:rXo),Mp%_or(:#!k`Ue /'Og AE6 ^Zέcj` Xɜ*$ s R*3-3+Hg(&4YʾʃڕS.9S}290u%qJ}+-Y"k@^qeʊ:^s*V-XFspr*c1ҍ]xwp̊ybGrpZ 9'uHlBΛ 2ܢ3x*J3Mo*]"<DzbP}UdUkKu bLP6{3oK۩Ww1h~ixre\|Ue<@G+('E7?#hjWcĕT,MҖh6J? ``^m}Y @ɊՖ=NR3XC+y:"]aYl8ثت"|%uoĆKur_3$owLz`yGҬW+*=OMٽXmv\k (]Z~3]>"~KΖ$'mu) wi!Dh4[S_I`e [HY6Ie s) B˹m1.!`9#A+H!e uE>m:O%XLg]XFpT$G+B́2ᅈE.޿ϸz뿢Hk ; fA8gS}(jWr9QizE/p!l\kנZc 9@"(M;Ae.u*p駌c;s8hx546c fZC$ frX֔,(0ϰu?fM9cp?l6O;}۹IAbBf>hkp1!AL(R6'rCP01ؕL-`mu@t$Vj1ےܰꀷ/Q[V7I߫CpN+rY\ )j6,| -JJAvEp8z~'YdXywd=Av%."WJv_O9ަ)l( bZ[C.POzM9ە(XlS7C[} ju#8jFjt߬dlk5(#~j vP@aj6\+Dcp$^hsex{Py@ t6' pOsϩ•&!rQ%8`$cbngm,Ym֊d=hd^0@vt8g&Fd4|_F^C4h%*bT./ˤn+ _zk$^@a"Á.Ȃ_$hYفҵe$wq.cv ZrPSbAI[ltk7%k[bO, gW,M4eXH/A{k!W/>*<׶@qN6IOQ)? ^ym"ƒ{+@~YԂund)%6|?.Qyug2awN Y_~7=U4]5i&~h/AدUgbc[@HEXTodJ>U[d] .TpGК_D;I]dK `WM \eIG.``pg໛fҐXs U[ 5ogM> ezk6?Ͷ\` D o#U~eUzgP'B15 NNو; L(k0!`T?&zAPx5?!,$[yccEAhZi<=k?ae5#tn? t}P> N?CFsPTft*"pT^+|aS!-0L`I"oY: >gk,י, =\(qluuטB/Zߓ/g1G@S8i@)ԅ%jK2qY%R&S@R)/!!;aMOYSPUp5$bn\SY{3 C0q/&u%va'C~q`]hmgŸjXݿC˝ LuGVTTAiK61!EEJN3r̉GLwd_;K-g `\ z"QgBӶGyM-0t̅ iyou_sq֘=\cc\tU_;aX%un_X0TmHNIГ#!x3-ځiMhN$ۚڈdi햺ͶgIHah (_8|7qT[)b&t6<zg~1"f^V:ժ߱/%kY6`6c[=yiNJBecg 7y"28g 8 'N8rre#xqj;OY`($W _/IQKrOBO鄒.M߉$፶xRǃKw^^^m -%ˇs@mwE7 _wme/|<X2)&;aoU$S,I!mOg\I+dC8]Ҫ) ضY)c U;A70fȍRv(B,NL. |7aiNޛ]C+9w791jړ9v)y Ic$a̶9@ư׊[{]u e}_ǭÄwFTmW9Vpa &3`.6E;-|zNBfpa>[LVP ŧTփo\rF ݆I* v\`*/luAyh%C" >D O^:)n B&g(`h`z_4M< ?c\=vqOvx"nPfj>4L.U5 xZc_2wkN CD#fއYy9ZF%4PᒖNG}90ͯ7"K l/IR)gJm?FSUU׊40caT Ks'.h琖0i?0ztfuiu"90[/a}H=0tG'C~&Kh$ MGVƕ507@Q?Z߫î{ ?z§1/Od\SgZb;h^DƗ$}d1j,aLۧ$e~HKՍtXܒ~$WNMŷQ #)dWt s*8&vX r9. {h23ȅY`y6s,1' ESJCJklXL2}SƄCCDdI`1A !&%t\n.1͚0AP V,~ [) { RQ|Tk')kA5fh (c0&+O7A(|ل-ud)EKxNt8GNvHE>d]aAɾ槈n4e{+Ф|$oj)7K]L;~qQiqt2xŗ9,9uZG%Xjvo2CCtb y8>R1 GC, 5I4|]D?eA1٤Pz3Gg`C[+)k0@ cbʲfxDUO\?/2~5wӍӛؠov(jOh2޺c!HI'd㊜wC,e<X*yKҸv~U\34`uc@]޼!rަ/ǷSsq1z{ [ٷ-7tY/`:Z=Aтlj(lbE{#8?&ٮפ_S#/[^lZ(%5S4E=F$фJzZ͖,Y3^d7cH 93m-Yɲ8bJAbЙ-ۭeor UºQ}Zd9_&蠰5 SGئhK?뭩8I,ݓ`~\-6iN-fӑ6y79C8ۈnD߂0)So"= (.Կ|{RatV;"6`lzww +yC^6 Ƹ>] UM>\Bm¥rlC)-ҋgpa1iVL>e&#LNJm0ָW @e] J?s"4+WנlRV$["^A6+3>1_ bJ 4̏KH6ȡH.}ơP h%x7?'7]cRUmb6&d/uuŴwuÅFn=v7?#̒C;Rsz=-e֨|!fLu{[e*o.\ z==NtGi/;fzBbfzZV"#!O$$be߷ьHpݚh?BWրS{!X /f"#g1Yٍaz fc.Dqn{g*-#=K&WǪ/lerR?ho<>zr'yy6 ӪE#YhlmR)T +r&H "_`f pz<?U( lp0ͥi">ŪOWBEMv< -nq.0ir,{514!`x'͜x,"ΝQpgޘ;H1]YL9܀YdL0uʹGϖKylߥVg[uFxS)dݼI=|xë [ i=v5Pߍhiؿ3ԼgYZUTӋ1͟bv|6;E(+T2aϣlGay/ [pB_3/~`QSC-d;{J+A8b~i`"D- Լ `zF|JޯnFel>D/gIܶ\8J,b@ T]8bF%I˛XH(~WA~(^T!߸RZw(RsA lj7`S[XvxPȚXRJ>fpʣ%4zBIt>@_!E: $RWWux#uWM[2q\AqeS 6w+<{[pߋT ;u#Qbo/1I#5|j \ߍ=rGzL=fڞQ|q TznVnaw >mY_ NE/`lFlo[I@d5p] PAU 74Š]Ĥu^PͯtcS9N=GqقȨf  =A4w)AG\5K̸#<6wV@PeޘcI( 9L3j6Mv*iN""iP5aR|#TzM:{; 孑4fm,U- AD#3Uu A‚Y79wՁ~0rtgtΒHGM)O s>Vkso0 '(t{ t[3dYV.%ÀR"u]v<͡So|~m•8 uV{8ȣ{Tݰ@W!) =BXE$%]2-NTcKّysqFhwRP8hAta ?=7mJW:f Fx.A9 O _Vlƴ䦴=^K$@.LvX`\Ikxn}"$bcT$vh9ֲÙ {l'[]0;w Z]67 @#z#ao5?ś3D$C {%d{{7Ja𱹨gf@JkN:)4# &AuIQas&0.K3>t) žaf|b&'F4ket:Ȁ ::f!:P>vfލߺHroo/)J d{]\JNѓ+b*!(q(}>:.ӡnOpo̎@/sys"hZO##Xһ΁oxNQHT ;|7Wyu"󵕰2p"mjo"G9%YJﴊO#^tLgҜw/<SNtu3JT9n@zЏ_튻˱s[ڀd͝ZѺz(tj]cP_,!Nj.tP^DQLpJt G:ϐb&Eb3{}w71-pT:Vh,=m^YM!i;P|78TRjZ,ZtQi'~YtiUUcZ,˪6ֆ;أJhɄUi0+$DSS8_bȽ+;U&QmtWXP*V;TRd'j3E%鮬jZ%%+k澻p RsWyrD.%SFwDb#naRZٗTW#B]'+(;w:&O6 (xn X9U(K*C%řZ8gǣkWۘR@ 瑮z$Wme2ڪ p [BuvݱvnZ W S>/O,mYJa -. kՅL@][tŐm VQ*ZyjaաWk[g~&\οFp?o:6mBݦ9ۧ1ۥi٫uxA.WĪ2 HN<]n2RPI#w7s|| T"]8AJXI0K@%B"{%X#'P=Q>w.N2:ޕ8 }\fpH#: ˘pL zusm(ҍ_GV9uqKM(WAPl"pMQCHJt%;-a^an^$@C^BJxw|qbq?EP |UmAc64![j %O:v7r\9)Y]vPv*KRz3\Z/JWmGMucBoZp,m?4ٳFREnԔݗzrDXDWiC鶺-4Nxp]? =P̖ f,P&`AD >7-kHW6Lٶs2[ذ[0 n<͢Zϱ ;.,nQj^ojء_ն U}M9[\PϭBDv,O2 h7EW,\8s ~Dn𻒢H"3]Dװ_.ae`VRg T(6v)iD6-"7~8 _*b_T,hːAD1sFFT#Ŀ%@Sh`ex3n.CkT$$HF)l^yӇk{E|; 9shöig ˺Ɉ!yAa>[hpzLSGv!u8O4a$͑B-2sxkR~陟%I6b)eч=HOF$~*r3ǏEg`Hg9TĔ/^@9!_'6>>JZcM_5xjp_51<䛴?3B=ِ ]7߹G 6)J8q 7nDa[g$"x^.1c/^ǴSꭵYգaZ+[sr{Hor@>KxUPv MϠ+N!E`h-%&T~m,3(ڧSJ"pw5SVnGw#wwb4_QYsTBz⛏)M#!7J2w B5wMՈT/G7A=?Bvr\)!bII$1HpKca BH$Vۏ}x@+6pqLk:d$R?JzM.;7=U|öO<8 0 oGvT/mQp#2ioB(^Hw͆ө>>\m)a5>K͚b'k5Nݷ)FTQ2UYzLUST,t PiEM^|B((H*Qс(T IF*ħ>4$[좞Ем.:~|K1bS D(ng=x]ijIT* @¨B|r9$.GZOClFrIe.P)kFxeҜ2_-B^lI_Qc #QC~ ql_L8 !#31|[qR.cC7HQ@^DV׌OQxКJI:Jvi GgK!%`sY3!k{D!&82%{vfeO ®qv 5 X?aD`ij-d?7b*%KH0?z+JR'8(RN,iɑb@jщ _7ckYC*}l]3k4h $hxד>M֕JlG^ӻpGiڂ4x+$iMC~q[7Ma)``%3Z|~v<}3 5s[ӁQy!P!XȇTOZX+-c ]4۵$K.y8o399)B `Ӷh9ݐ@nE(zɝR3Ѵo.tLic8k4^䈩aR+/׭g/ɍ7(y J=DQY}Tnٴ~w;hv,V8 L)$ ,&CS 713ϷkM/qn^+\qwl1ss2h}fMe@O붹m*56RNp-۞ohUy '^B`4TQ2  X|8 L;n pT?a^l4`a"C~hL,:_ sJ]{xYucTZ2{d^3P!楇[3-}UdxnM{Iu%9ρ'h]d$a  =LJ5CyVQr<'wر,Ml無, iBj!A\oH ]g|qʎ`&F8L D$%#BEyf'f0k,&d|K!Ɗn2ʁ!䈠*NSmpijw&mG]OcL}zǐ?0} Z0uB}TF;N}7B*eqok9+ڹG?f2 h3[#@%N2/Cewp6_^4rgh3gjk엃7O/+0\(R6CE''<E@̴Aͧ&|rZp :b8NVӒRzl@/tOÖaP;!FֶnO$lAKZV58ʂ?h^x"=?R5x" Vdj = BVJ~*eʨ/ _@كmM[0x荄``o 2Fc*%<E ?T(FzBӤ83Ŏpa՚h}F(ذ9Y"$,D?U< `=N"k0y -0"b2/[.4 n 吇L|r@閺BA~M˨bPڋ _<JӏSeoa#X  0Sj1f$A ;C mOXO,oV0Em=5mE-y1݄٢:3} S]\z7 fSj/:qT5CbԊ6LOTik0@ӛ~R4'av g)/S">fB;BGC$@W" dbyAITTwlb;2dՍ(&wDmpze6wD̀!r̾?I4N@I+ 23m޿7"i^ϬOy6VP5;06lo6IIh' ^DOɄF"SMV-svc?hx:-)5n򭫯UCeqsDa2㼔<)&Cg]g9DE/ ʮ SD a" t~@%V1&p d֯aD4#NJW]̘"9fDReybՕ)#ĮZl-] lN{mJȗ:$f}m= D'ĬY{l¥xxR_JyF)ec7tgg)w]7_iؒۉ^;)%x0b91m ?QcHۣ:TCҹK*.JPȸN1ϑs-~ AFN]o?}>hK59$cm&6EZeIVG:`D̾T~I_e7Mb/K u\"KXU#Jx ̅}^M(u(J.ZŔSvJE4X/@dg': l06IerXe:!T!h R пy_T<%f4 7ш,J[j=YewVM/ M߇93~o%Q@je1 rZg|OܞjZT8SNY 1 y!Q#%/C΍:1gRvt龲_}jɭNizO[*H (^U.B^V̬&}OY90@iۀBh?zצ-yywl7^{UE ghCO 71OM~Iplw<ᎄ},(W EݲKjթ>#,V㘵W`gB%z]W$l[ůƓhD(f_OM 5)hPW QSVy6Y;E Y2il䶅`$$I$-i;ahH_>M8 Ivl i R|Lbo6Q4 \3M' ClX) );ohFd}d4s{U|Tٚu,aIC9exYZnW+P%YȽӔ<(G@k3`kaPBr6M7J8LoQ mJ#ζ,4.6q6DB5Uxkv28ZCRe4ʦKn65՚j1SAYkH5_ޒ>.ꌭ+FW(<* @c?LnztddsܽU.&?C EeE"Tru/Od[G7iYKWjr.O 1Nmfz4s Va{J:bB0nfA$mCnVTit7Bݣ`8Z_7]v@Z_+sI/- 6^/EI"]ľ]F;Ă**`<ӹȠ#==,([ ܢBg%Oߋ閪 {B=w՞Wa3< kAa|aP Sh>Ng28[<-$W+RߪA+Q-x#5O좸DbLВ:}-r%YUҠh01߱H4{iesĽ%ׇ8ȃWw^Uj'4@yqDFb{"aVu#H22A(Qzt%Hm \ܚkq|}jr7d>3,¡5 Blf3hEǪ>"tG%d O|M=zYFUˣhU)Z,&sg[B]<=EѼX2^5j2-k~#|~C5acFoӋvhUkwP,OW%g[8阮NWm&q\~ԍ ϸÐzZt W]ytgq VFG"Z1ĈȢ;w|JGk.ԙl^25o:65a.jB=m]nвQ;S̗=gCvp?I1'MEd0HY0%>5">-F)FU~v7{Ex+0@eY HHOT1F4—WAs;pv5ذ9dGG?'ϲBVȶľ&]Ңy5a_ P]|7&ƈI%8_3:1\XLs'H`l#rRJ|XBrTId$8mfڽB|a SʍT)oS=%N.%yX49 ҉Ty Dԋm_a2>QͿu` X@B_7c(!.-&YqDXA6Y}B7Nmw4v b2{';1: -vM[GU[y="6x,D) MC8@klG]rO]Qh>ONibT"LeTZy/aӶѴ3*W4slO5\C:§q\YBiQbz0ZݑrU_| E1rkز t4(]̼x پ!. sc]לZaPy_,ζ ]5|zKRyMP>$.$OVXK<@sKN_uuwo/5Nڹ,m/|UD2v1.k4V}kee&9H~9elu'Ky5Oa>Ѵs+h](Vd tg^if`]t!GZvҤS ƽ)bwbCbYu>@߁pl @MGnٳ}lȜ<93r$x9ޫub[I{`~n3i2MI2ӂ~YTg6by퉖Qι 2u(@BϧN~ԧ4+-K}  _g =@d!zđ!,M}Ə7/B4j?B X\s9ZC}=3#fVͣzO*5LtKB"h19#5 zL-ڸ"2@=sBuVb.UzcQO};\49 So4AGf~Ϊ`/ZX2 5=Qs\.c FS gmoAT(񐈶XTDzLic C"Ժc9Gb1]>%&}F`jPaRφ$k"X 4f4' lYe؞;'euX"Mx6AĒFqL%ZDf4x\p,<94A-jr *3JBX7{_0@ C.-,i $M%4 2A{PVUi*,6-}6nnC{bpwN ;;Y%>.BJpBd5F[~Aéb9A3>j}a4Z{[\hə܊3 -7bn~a3YzaJwC:ärKfA_AmVgq7&0a[:iQwb#PW˧8帗‰0]q-THwyF?i20}*ش`rOIŠRW `Kv g=7+B*8~!e4Ь' 5AG&xmHb=/oG攀{x#_۰$+}%A =ՁX~dQ7]_d bzkoz@)'H-x[܉v- h +]Mپg+w[@Ug9p Urml0zG塡sE`$ z v0isRb]RMc?nt qB2X> A  juծ0k !lQnlK-#L(w0<ӶCBu@.2tv=d%FX7 ¬0D)0?H/'*_0dJ A%% [!eW(Ņ.A87Z*XrRXaE ^TS30Z# J^@;2n 1#(`#!ކȸ̷ו}\Si ܹ=P2멋SrQ* S}+SƒcX)_~vX)&X=wP }+Vtqw9BrQAVc`ۨ'= r,fRi"S:~v*psc)ݮ-฾Ŷ^ `(喧V0-~c|nmi6VLOQuFy2:CAxOtN!Z7̒8i S>Q@IOVԛw1sj h>hkzu9_LCIzP]+{ݹE߄hiSMv-)R  {wsP9jgX2_Jo8SfF"9(8;&0FBYe|'GSh*HkD,`.al"̥l 7!C1J6zTD&PgQ6l("Uf3%2lSnY#Q-so4G-d9I,i9,h?]Im` ]wC&SGqHU'E{)L|Ztb RĚyBSwh>e"`Yc ntR3q6!M6& \_")ŘD ,D*t슗B ;ʏ9{~V.4oMu\IS:lEm_A>>S$H6jr|2q@馧j?ړѮRc=8 g7@ .-!b#| \-G65,|9HҤNBq 3+ >y:my3ZD7(3u탏%Y;矫<H>yoS\\zP r>bD3/$׽{'!bh3;Vכ*YxDk4d>#M,l"n&j'S' EAu~oƾ[ 8<&@CB1*"uwɣ|za;tkDO5#=]Qa[W u; *I¬w024I3KA۶(|.uA>ܢj#zYd[*p$5.2ҲUhHN\2KlTYM!1߭>5O++S8+_V &"~*ŗkd"a ӝG_`|rf*xLf Q iuHU"CdP"O2FW o4 ԩGZKE8v0Z+YDhJɋt,<20^tųBE2[i'%ՕXF-/P s@'l?g+#F"Cv3y[1)| sNDAdR>&tG<T߶5W` <.OO LZ+/+VUMS܅% Rԙy,~*sBTUwԅKb,[^;@33GxC5x}VT&m.igtƨEྒྷKuηvE+Lu[ƠT,;BfB&eNN)4\S1>:J*ewX^SO%'$-,?.!=@]މ^Tp:oCńW`8.[h}+9Ď(a7~#w9b::K{:Mh/ Hk9|]SOEXO"2=E'r2 9ÖQً Mˇ}f5F͸:QP'x]7[ߥ۽$/<ܷ 0`I2!Qar`1U"Zؒ<ێ}PŹ8k0(3]c7)wfanjx$.bH!}q%Cz y%B&i9L*t/\QWmܼPI飸OGϖn82?A4#8E~\q85S1q+a.kL#䀘|#r\ t}@n"WKdz] f;%#`I ^h9o|Ʋ߉DGW=:Cۡ!\T;LÜ1G <A^`~w@;UiV6'+N*6+k7݈ݼSGsJ]Of"͘*C$e$I]O_~`{yJx3 : &sϮ!^?hr&F%w/G}$ؒx*0i3zdgpЎR:SSSl7=;EڡOAhb.9sC`ߒT7D<w/O F[yQһ ~Vu ~MSM3& d:֐w\Y:9\#[DDNjy<ơf7V|Qo Aт !Yf͜@rrd `|ݢ̊\JB< >,zmD<H& ˞f5"qC6xVtk'kDhK6 08ɠn'+iELd Diδ\Cbm^?@_`]G(+Șy'o5r27 $̕W5HRY9,B -sO\t'n*In: \V *,SGǸˆ#/Xm彗>[0Ss] ` 1KKoe}|z$y+ڎpk޲F1@o=Um))1x/7# >qأ@O}:` nsw]|yT2+5*NUdp+QX0R¡%Rƴ՚^DqlVNsE=2 mSC  e'+4ղh~nk5:CxK!rJf)A ѥpGhyvHI s~z#T6~_ U_[%V^N:CTr!n1h4YGӚ3}E[H8~^ўEݲ-fT5JSfN?t,\;;$\k^e52ʫDR_LW?$8ޱaOT.i;7+~½8h+.3˂&k?S/ sCUj0)^vmDWK~[7ZNIA^j&$-9tcZ4woUk@7Pd bb%ЋڬHd(ѩ@(H_"hdJ'صkĵŇX'ƍlYȵ %AF7?a7-*8+P-[UDaQ`Ũ~h\\:jIҺhQh&>X3Y u(ū'7=9Bn@h\Nh3zc&fh#bu/;" Y dM8xbUeN{*x<"1TӇ R2Јa-2̺XmKATw_Ra{#p!~2eyFjLܨ.YjӂOE?rgՇ3U**.G&ρߵ}*Vd! oYq+LKw/^eޭn A (@ REH_is_ȸ1h3pg?#8G[Dy@ U=z沪QU 5Y O2@<7^!*΀?W=djz#$'6J_[p0piCG6l? hl|ӽK#ZHVTk"felٮlw'%? JN| ]L++!(S6x8֔ /SohLuB ?}=e1_@iM N+HERSfnkߩ0ǔƁJ7хi&׷#N”CL9;H6jbLfⶱ+HK<{ZbQq'X}ؤ! S@ק 4UGBMݛ^e_Ua~G-M6_%rxQޡ7 Li)'iwMuVi_,_݆A>n/dNWH!.2T%/AbB۟" W\¤ kC1#oĄB 6U\G%RؗŽt<oe=OXI9,}`{?ɼ#ɖa1̷Ú-$n|7zLG4_ğ<0s-,ZfW8>#bBO7ZZ k.pF+ uR d9@ q3{F]K/bN`K]V NĆB~JOudtl&RQ9(o}Ý@V 3 _)jJwM' Xt[-zs3X{.8HO=7Eš]) .E#ꖞwCq֍Y}=4cVXPk7aLa2q}Srno_mIIXqyYh @sN.BG(avso Rz^l۬5Vb$PsեFQnɆE绕`+wj+PgĈZU֕8OCZZEr7o/AgBP,g6#gPD9=@dS;\#}^?! }+:|96 t~lZ*hsHtmNp>*hCv%ٮ n=XfHJl\bN6S1l8P:$E6(=_(')3~"Bi{灶o&HΥez':p?s-M±ZAjSFg'Iԡ`¹F\8n7ZEplab}+0x{0kTBM ŵ.J1hM~L6[(:RG򷼓e*5 h[|NKqu& h{Tq)ETyQ.4N334QDAj﷼DW 8dʡY+a9${hl/:%gɁ@K\;N(QZs:zƦDX݈򀬱сe][m%>@Jk BB[I0'QD0^Sw$6jwZ;`vgSnoWu'df^:xsIkwww"Ҷs(N?: ӝ@-!>[KS0]b Q#$xM7 n׶sFDXaRi-igie:cS T)U!cN7PΜġdBDs Tb,=*a\?]ۺO#C6v d$c;TP_rrj69 q= Uc4Pj>Կl0YxLϧ*;w~bu!iAeF68_; Q0+ Ps$M/ [f:C5?> SfnW7! 3Ub'_Ŷ& W,*XW7Lesu:2 R(l oG#5u!]n|mzdj.̣Զ?u' Jߘ6B$*-Ad5:_]ZRܟz(%g9HtpwEXB oKPZ .Y^蠷ӏBL^=2Ke:<2|^J"\`/Q4>;vp;> !G F'][ڳhlV] ^G %Bf#]rTh #e& !;r[;!98 XCSзe5yv\ǧfG|13## V m jI6QN)^82T.6B,n1) p v_804y2 ʅvF)]]ޟ]j[>fp (~oDAqN\PЎ'`K&d f9o,ҤaP/G]";|.h1ƫ lYĤ<*LGeIx Z~OvX6;qc}jo x4: wujy_5$fAZ:2[Ia)^%t /|Z]@Id/DbH%p/_q(g%㍽b-Y%\o;4 >K<ǵyoĭ߽̐hӐC {@Dz1X>[og$Fc-]w5KwYyP6Dڋ&eI*՞^k\8D%$b,Brc!ߢE멾ns#nMuu(fc2fbIS8 ף_e_jvLTfJ*&L:jFVg@5gQ}Lw Ղ w4O3WSān); #Ó&~*S[Sre-&|K,@ ՌL- ,1K:|BqamBGr w,֘(贞'e{Jwvd`DagC1`*5׬hVp2$g$ ¸g@hA׬8Dp;af$qj:')8dD:l4K+CD 3x x9uT-7ω Á`tbĽ9BƚU(-ͨL .hۍO;Cx{[-TB5u} Hfbn:PIBΪh() &+2Se㋦ZP.uGdDt-#a!>wԽ`$K-Q=i(3a& ϳq^8GU'jq[= f'MP۴)XZ4YK0"Pjv(8}ѥ5P |x^4?ET (6 8,de~ 8zȓ2!YÉC#]νLZl /.?`J/ASVȩU ;& eT>cCő~? Y $i̤:Gj=735LUwFzR54&i2SLwb.uzA+TR7TYR/eցTDg&>)O#ù՛>) ?Ơ?aͥSoT) [K2g7SN_}vdCaowCtIz}H &]8SfR6΀80{TmaJ<-yB7rc!:DdJ*Nƚ}gDz^-7FdwȺ¡e=T#@෷XuX2ؿx.)~ID֓)15^t~X7@g; _0߸ 5Nƒqjߝ?(xC&7RokoZ%u$6kDz7 [h`ԀK6/IdeؾՍ09xPG?:luh,2]|TKY t0.Fr/7$CQ錳/ӃE3x,+߈.?y_6R=,+~hP~&rue ) K*ڢ)QZ+=! bX0on]e ۷uK9Dgo^$ATK鸞c'uTx14 gNU(q"Pn(DYye"El'qaCX2 sM-6na ~4"X#&h#b*T|1ٴVoU7A:ATbj_4/: v㷧 h6];RFq 榮~Txqz(vb^wR4 Ѧk^2BmnG8V׆ Ο} Gɻ6>ZAGR ȆF!MC^x;4̩Ta6aT[4x;k%Kc`\G}`Go!8zP_ҩQ:2⭆f c|~ɸ],;Łjݔe,%{~8;thWN<6)<|Xrl)xƍ3IZPF >xPܤj}bJwH"%jU=^1Z󇺻^ضcZ XE$|5L*lWg|.u;_Vlb>VJMTk^W=)ˤt. )ɼrFߊT6NMT 2.WJZc~dOY/@ {A8cp[T&"]Rlt˃iڮ}_7:1 @ITG4r Ƈ&5g Vί g+~ c-`[H1c3zi\`AhxZs@[8ڵ\tBiB}9ېP#< 3sn@׺QuyN~ 7{ߠK 6 \=@*o9yFܪ(\ /qB֝zA LM׼KMN>/BI0RsL vU a+RϿ !_֞NwDPХҺ.b͎s^~JhׯqX7l\F{6>4>I)j6 yl{*'3ד^i-1u+1puKq?sveE;%dó;Shp<Zak`'FZ.ޕ|0-΂iJ=#aү${%TЖC‹J PU/qR=\ ! t] 0cat e6C\_" vBg-yJ}$jI7ϱhLL8b$]yXU.A(Jjv-Ox)d;wN[#Q{ KH0DA]ۖr+@W)nkIF(x`-yVSP-o\e̥Qj}[qMkfdݺFiRXөI">Ngkc u^1xfHv ghxL3xVv/ebYլv%YW /1R)'?u{X-Se$?Ϲ؞Ѧ|3b{3adG XDz28/H j7}@{:/-+G#NU)+᧏5ikui-tBsAT2CS7pj`C /DfR0: nn 1y{/~ゎנ¿xt("ijJ8]!Mc&Zia p?a)Vn#VW)@|g x6N`&ό/zʌ1[K6{"يDw{p)4Q*y8ylaLL;a&#v#0!85 ,3ȇGEYapx<%"@46e  X-t r\nP3Wu)8f7)sK}.@Ov??U"}C/44IXZ1$ӘIn 2H6\P?j3H<Ϳ?AW.OL@W!Lp͝4/D2xCSҪ*=C:g} tGc:;{g> 'a~ $c>0#=cSr*ː8;RV;lf1`qcZ)D#B𤯵@]G"0 Rz+>9Sv;cWT`+g:ٟ|5A]& f?@Pov$fILH3.E+,nG5Iթz(yihHY\6e>36s0DZ&TWeAS 6yEsDKbA,\8|$}R[Sycˮc9tMCf70?t̘Ǿ^UWtN"nZ 9 o|TQ)[~B xo0;݄a3P }OTUQٚ>ylUʑ~ԇͺ-4](w~/dV.P] 59؇v4  i4nzr%>{OJ0I\]&{5ׇI7ɗzD1bI}Mh◀*<1qY=Ad+svD4ݚ/Ѓ7%;~qYbeA>JR_f S\Q U%o|ݗ"K&mv~3Q* [|bcUIn/s-sV#Wn<|3]xt#w:S6)0w>v$+d=u))~:r&|T7{J:N+>YpĢ8Ʊs1m!qu9wg@.苆/;G-}ݒen:֊ S{v<(J} 7 :5316e\႞J;g;ov<*>[dGW|jbFLJӳ'O܈/\_{QQ/3v6:@VV*BWYӥxP,Aw:ֶsKb.<8i-vG6T 19(>;E˟r <&6 & &pTHR^ a[¼ _nȿ ֕&OfЪce1g[I1ʞr$O.)̠b4Y /񗠳PEwkɡv* G:xMϬ'Z4]q $F/a#h5{) G dqkx` Ad}rx1U$DMTXNkpXv#fAa$ P%f[A {Gfb-Nm9s^[.21^"6{O7 xVjj-jEl9G'1"s\}gD*R'ryJЛNGjng1xĘl^r 3m ==E.r'77m@ A͒MMQHɍMv˂$D9uK)6ӖEbZIfF$(]P) (c3f7cw%Cz`~ܔ7w~s:]l"% Z>O %]^~Y_j:P|V.nPfZ06# ~qf8oȅI޼@k͋ 5PY nUFS-GT0Z@ "Խ:;H1g]ehOY鄊tA`ki, ڬnҔ}(.Ԭ4g=s\* >^GGX(]ҁ~Oľ T{  2ep~gI4OGo@>tpҜ<ĵ8ڎq= }"4j}@/;N?ׯʷ*\w=:}F c@ӥmEڇ]-q8b{tKII{rַ4 MbTf=4%mz*m[bf8G/!u:#QIn8V>AdKZgq"8|άfnSo3ͩrsYHI)>LR7uzdƜ2^qK#P# RʖSϳ:,T~uSe?ӡ+@?3*^22,zL'|:H ~[aj2:S[PgҬ'^ݲXcǓ .%~.Uq]Ç+:V[@}`8Vii %ް;$zӛM }/VCذ$3 *=Eմm9t;+e>0sCCű12 F;@N1@1 ?/Dd ##c6DjS, '@9W[AԲW˥-.7bpnuVa)]\d76m9!**^삧7q3vG%NiBNNft%BuQFl+j$/^I#y6#G,]an(h}f KLMIH.BXnkZH[!TVousEdihh& fafLKVș[C^Ala7ݢ䴥jV҇-/R }]/ r19E߭-B0ypO#u 2 ]kq9eg*wc]5Qɖ@Chfj,̦}&i,Wd6&)t|+U؋a17h$xbtBN|g{t9K$m+/fB M̎70:g6v L2!:wS*oue:%] 0ͧSq߶+ȊVn-d1ŏ8I'&o@,cnd{Z n^)̸&3g23Û_sY\a]P#}_Ш=~g6\V+z_#EOMC\:'"dQyM|zN% b~5"@ߋZÁhjG ;5 FXPX>tCGNBzpU5!*!\?CaOᣥ@ TZEfџ'Q({#>vczWT^kDͮ5tRa&QŚ"L0o7fJkaHǟ"Elm_B#J%9M[_Lzs"ThI2+{azye!VJ0p"PuO/d֡/ƭnnvlЋY ]$1#bp޿=8+.𜆔dElp({$R~t+qh_`㑦_$ڱTu;p*B4ҟv/!"|ӹU_Qš^u,Ew'+=]i2FcW*fhUmjyYH^JZ $3>&W1vK:}e)<ëP&>R[^HiU8S$+cG xt]@L֧> [a;X A59O6wh(?_jE;&xu|3>S PA/}A~r0[(o~)ˡOoOy{o9_%vD鈌 C{)\g@>>f8u,4;\YXz*-3W#:xT ohLWͼe=5LyoK\㿏S?2k}i9/'kH 1kun ^P"0V D])fyi.Uk,4QUqH2yW]Z, NSkGgͲACZ p5ND㛊u]NVsMMK7DW*jEz{_|mhסm$̣KEVF埋h{"$eʦ/o8˄p^1ьoR(H%K"A<=tj&WϔxH*o%A k/6?8[9X+_}ɱ/0NuI['符X%)FH;9k&Dy);p$MjO~]PPajU@zgN8qZv1Itz2]NL8^2s3E^٠r" NQSZUh酏g˱^lF=<9$E*/Mgpw!riϩU4Wq>E)e}9Ht mqZ%fGR9l41@D[t&ibyd ~ܸpKv|I<嬏mW.ړspow/VK%]鮞2 }tkzo-#j+^X_\uT/ Dؚ_.pE)tTSD`:/(ոE2_P9>3bĦIjS! 9!+ '7{TO͝t?%V>]yw3\Z(|+{!o$$u] #-iU`)8SNlxyl1KvlT4D: ] pV9./! Dw6qD"\WI]o8(xGܵp$R_lg~ *?y1)f<ْ{m@sxs@])$c~`Hxr@\DVA!=ؕ}׉!@( [l›JQ1 Cj&]b΋ye?4xĀo r@ߢl4i*Qٕ/3p{Nh|aj@ k?/[1:*kDf,Uɖ/.tsV42|{o/78.(Ml~at¾!RCL2- X`P uN>SҏYotxo :kauz9!ۗ!֚l6@vR~ߟM +a"ޒz]i4"[o*"Jڅ F\!;U{rBGAnę,Kbjr?&츥f@\Z:zKNȮm7cIa+̜.(_MK|P)=yvf g7($!7Wo>5 @0i-\L˔ ygj2q|V4Ɨ|ҲR٨\շLj &Q6QBшj|5۱o(TxP`&@( b O1T>z,ULvT +.΋jI4VQj=#VUHpѻ=bD*2g.ɪD dzrú"D6^ p٥`e@ɶJ%1",xl#ϭꢽ=kosKqqc:~B#[? AϮĘ\h`qTx%ЕL^9{X PfjYC#G˖8q]$s07ܥ2hbk J#>~SvTa(+'cĤXDHG?%QM"CsNE; ;u@jg9k'vw$mЁw;YhV[{GNP=ڽ( I&2.LUFG rQ< 08 1r⦥j1Cg 4-/Qn-13n[xӱp-RV«)aBөޒ?2mcv"2GQ)2 .wʰ #m[ _ǯjd0c1{7!d'>( MX]FӇ}W% 2O:_w\FhG=ʠZX p1o?nbSլV1Hߛ ]UGEWi-z'mH)'>_`>  Mr3h D${޽O5'ʀ{pxRsc-Ghl%Ya^*A"U&C>W6^r+7R_vJ[@%QVhqG G|| 1V" Es5%N6\%gz2ۻb4!Ui"YԈA2q3Ϟ9ڜħ`}fA֩S{$sf9u,Ee]d' ^Vb@ŴXm[|\ܟx3'E=̄dZHiJ퇳\{xLs,lӱbf$\k #A3+; 9L"c cE@JĿLseHsgpdST0ZT 8nkwj%o9j;,<"i7\@< iZk*UZB6y*Ͼ)9ºpe(/et ?oWf@ZI3 hƊ\[hPBV( 1/Ja"'']3aV/QCgeQ/\&f 3~GJ1Yu {x K<6ʬ\/i>3|sp t/)i7^X;zm-s| b,Jw)q4L\^C`CZYQYGmd_ x3xo!G.=ݢ @,ˍ`љNJqKS8K?_.R18K6j9ڑ3S%*zw LbH#z# ˄<#9clt> YItRZ(̿v퓹_$sh8hcJIՓ=&絣mK&>>ATwR!hbåQn4WU E !.>V-ō:јEmYPǵu(A"bΊΓzՀ?yi6JWN1>NQr!*G*JQeKka`&*w _IW˵`H ws$nŒbZL&fI1c$ʈ&~.%mj-!= ٜчHׄU0Iq"MXg"=y avU  fve`Rd2 uPw14o]ͼdx @bR re ͼPzB s,W0E8b`̬ L")3Z:<vt Rca2RsQЪ:65lA; mO;a, 'unVHK[_Ņ tW.w135 *P}bA .%ѽ=KZ4r<(q<.?Ĥ{d@u !7y\χuNQ'ɘ_6ɀ/-8,G~ 9FdP(^l?ӝaҖ?8H #e. 6"u^u-…Y20#yzO釗;%Ѥ8-!cWDx!յ;s c@F 8p=?p6SLAK(Я_XlJŪ4^B8b:Қ3JP3I-or1Rv[7ɂ+bݜ t?&qj&X®}1Vya%)޹nza 뛛[@ %҇kFZS? atDٺCaSzgFzQD9X@SHdI#…Dj&TqeO&˽zJ\[@ᮉ}۞ﳻz ؙ0娜U׀g㿛2)h!N}v.H+9&OG6t@AvJJNB~g[htNyŪR19:(壧|&P.$Ғ[.υ _ =!P=kF'iKZsT|Ъdୈ,8ʦQ3shH-XROPVn'6GhI9P6%Os6f<_kr ߏT&+K@?~&-#1+T £0 Z )#ކ oŐ3NފF#`p>vܻʏ LP]бLHf3FOզׇݘx+l8 @B~);w0;&;;AκCת޷%XyHCQk2ltwǓh:\b){&_~dB9 Ԫ5$QGV#ONjDREbd ym hMe5 }G55!RxF<`R} ˥V<voA%`R͋)ܯАXotour{/z$SUΈ`Jxi$yTbR(.|&.)"wE>:clbvGR3.W/^IbF8mv}qsߝv+frL&Pu5u%T}X^寽i*.W-Y ̐wb8Vq9J6Q<kPKN,?=n[u:M2G$%B`% dȻm_/3B)x*n`.X5^S)OB\fSpD&AM% 0Jla7@9 ˔/vmqƩeŲ$ r 9[칗W3 56T_ ]ϢtoQRex)l50EV gi-fv9؛ ^*\$YRqh0Rocϳ:O왰&!ni Ά7UW񏝾0LӝTJ;tM*"}0$̛e=|T;vLR]LK 1'ɏWхr-/4 o.r۹3Mт(ddڥ1s,J~_#O ̤0 x͓o,gɥԮYH8p,X.JfS_/sjrf(OBs & ##;tT}ڪmYQ#ERɸ'Jg5 QH]<}r3{0tY]K8)lf|#b"lʄC-@л:" =y\^q50{bcST~qmCfiB-%zsbաBboƒ6g>)8cN][E0CP8x>1RD {SaJt9m ` Au m zWNt̷8ywghGv /ڦ)3Myg7:;k$ݢ' kYR<ɋ!iqYxUEs,6'HN\R3%]ԳnRFĩϋ:-& +Hk0+܅PkWq`}ԡ?A'E%Jv/9u+#V`q8Eu>,9!Q*ns8& 1DR˨ܵ`.(<>CQv<Ҏ/c|:# ?oNw䬠}">Ls[%V4JVpoɽhTM>wIK790L#'&"Rz!u˶e!oeMeEOGnYflS_ZC֝'!H\7;}CE [ߟT!Ce9%o.! RN XAϦ]c]2MDAicEX>.A3Dk (ڪ钾+rYJL OCDS)/¹Gn Je]6D!|-2ZUĹڌ#MxKTDrq:pDz$&:MLq&3+-L R'8H#ٔb7SMߺGAzw T@4ydqTAuH(Bg8wP cۜ k9闪OiB|oa Lr^IlD4۽}epRzh3Ʀx)oԔI(oi巳pH7>/=j/T:4E&l0# X? *Y'SfkIEށ01l m'kP XMKOxՔ Z&Qg9a[K jopecA^aE6>݌4ZnfJŬVӦwlp"dPٕ! DI<~JXߕvX#tW\E|!7bӺֻd x5VOi ~FsM z<$ !v:pO#xֱ/7 haf4*=LKGf!ـ,Duy3jPĈ<0KUQ7&mA+s_+> N?v gݮнt6U|+<F9q-*E/Z㏆0//LS~nԦn|$wI)p2M^X.80EoBCݪųz|9;=c ]pn7;-7|Ce ֣ r( (y$(g 'TeY-]0RTwX|)Ջ#Q,AUv 7l+>q*TNDNםg>mЭ^ө ꁾ&Cs#YZy͖*mgz$jWc~6{o"U3iwc$l \ؤBQvOcf k29d78m 6{{ ̏oZ9x{0BJ>Ε_Z'_)o)kbjZ,0=LJxTob[х"eb'w F%+!EU]'O%)aݦ]u`:;ဴP_  "Rk|*UBU~*5Hr@I Ry"$}Q,ޢ$P`D04^ޚYHggYZKĨ=w>,F73 nT47:DŽRCd!s ֘wuH gTt#xpGS:>}N*.TND`0^\ƥ[ [xL`hpvEo(\MA@ITL_9/ߪW r"Qh,{_e簐d1B)tAr>Х\ 65 4Ȩ7TR$Dm+7cNsA-'qy9|NJ6[n.VcBl8^ڰT/ky|V9<&I@Ѩ(2J(),6pV5nAq{)6;<zy\^ns78[T2|o+qrOodhg҂giiiZHPYS xHv3*Dn5 ].[.&Zh]1bL^3IPJD3ş706Z`K B.7r(xp6*ee{b~<ٍm QF+dQ$mlmqt:j>4Ǎ)e 6/hE~Pm_vyB jZo 'V#h0PЉOc P@+%H8AhTAApg En' uq*8Vs)X9ڇH KDty#SI* g.BeHJ_|TbK f.D"묊^*uW+^^xu4f AGsVqt.Sy}-RNn"Ê|F!:i6YA{Y51RTAtffUduJ7;ԭGo\Qw1 >:ې°2(y7J KPvnU ~'%3< Ǝsk^psXm~U% l6*A z@tYinywisiyyVit+_` /PH@Їzټx¡%Ȳ oh/l"xIDž(Dt}Zb&k=㞥CH|h{?9d%xJ~! ︾osb&>JWc=>EmD#\.#V d7SVD=g;A,>鼑f!4<Γ )2 f`h0M(vk?ג$Z4J6n߉$&e|Ãr&Cb !z/K[0ef߳PN)AY,NtQv+ykm3>tG/0W?1taH\ 7?/6_Q*̀-i"zMn: Z`Ӿ*X6Fu|*PL\$NKvV aC>RB7]3c(Aې9DAs>_z;02r;f C˥*$>#X"ե_W]Rauf`l&t|t8#躯I|8`IzPb; TnE$3QzRхSS`A045|jS_wal ߺ`j$)E|X X8mqcbTYqPb`VN׹=ES}䴵%W+~w9 Z,kI-w5}p} O^v'BoL|EfAׅ63 m6gUM?׬e1=oi3ܯ\/)4*|6=05 0B9Icxo؈POoPvY_.Buh W2C.MLƐcz%a9ocbfe:0db fwț`U 5*M@lBz[wz)[ 1F& K<DJRWI,tbnó8Jç?l? =qٷKiR X:N6_vnn w|eTQɣ+4N`L@Ƣ' n G'D=BX ,  D!lO?Z%_^!L\`'0 xAILUꌆ)bϐV!J1v{g>ݬs.z=l$9*GdQW-y$8lܺvѥyh? BY;iړ=Qz3o4BZ;(^5ߑ5/[>pli{ӻ?AgCL!Wvd*maٰY $R0h{ R ^Ƀ) jj8]L^2Cx,Jhٱ8lʛ6$B(*\pwFeOΰK;E̾&@TF)ю?h{HTQ|\GԷB& Jw .^$ 4џ q{# sZGnPk8epn $66&yD-*ͱ_Ŝ%@,UV{W9֡V$ Wi=j' 68+bB + `%<[)?>MJji]iY0GsOeo5n>3ÊrFH-7ӓ=^wV_JwnXs%-p|SeBQĵ+E"%N!ю5$b Qyuݤ`DgÆݷr0 o-'x`?Z9*nso343<#'a),9%1Q &GzQq_.q˱TI5Oy0:0M :#%r )ufߖb[WՖ2&Y](zr/CI]H(sI{=ˆqt*AeuNQ0r)qYOYgwı<6NLôr,6ZlAU8!Ӟr{?JF*xV7GZ k &~:G/ Es1 Ka8aW8W<17sPZg&YpgLN lY5ʚktƻshf4@˶Bz>AI)r^ί>t}oxG!E¬;c=ɰC:d-ʦ {mx b&[}hT9*Jg|e"2Mg ;Y,Zܒ29CknQEj!%l?5n>PF(->ni#D;H߽sS)_BP103>WR50ĘӎJ\PHm+ SK$p?'pe]>}BL:f*6/PAX.;À;UY~Zgg'R/䈍V*HJct}z¨0[}kY>x o`[#hHj 鿋um V$O~2yvj\,~^hFͻ 4WVOK/'"v;776uX Zpxk3U%8{HV8XWXُ)ž;,zɟIWV%_uNwn37\}e2F2Bڹ&G-H2tJѯ߮)t9ɍq,HL;^Z`ɕjP/yhefot䊤71.f6 &؍ dXƓ|5mxz}_L&4Xp"A`{]"cyR\صYc֊sªPڇgOLf;|)Ya/XӽfFWOp?3Z|ĢK5 CO9+u+ Y2 iƕOޠ. oIcЁH) )f%$TgyАY4.nӾpAo ^'y忺%>e?iR$M8}up:"0燐Ӟ=yG<1Y)N*r&zq7pWփ憿W0W!+4U3e<_SKqb B > %$]˺.> H*2j et상쾭F~=Dz?ܢ^U>*|PaɃ^`uGVueڋ:1!,r72 "p+v]"BH$_ZpX@7n0p)*_@EGXh>R)PƇHkKfkO M3*{ٺS N~{C 4znrPو<T\Y \92ꯗxʦܨO(In/O7#sX1?zOmFE=]\ΑpPPBkYT-2TF)T,W,!:<@Svp\MFI_Yp^GD5?4{hdo.hy8?L>8ԑ~Ai{gkڡyT^b] \^\Xg~7]Wx7.'WL56/FEߡ}I?` {,.`tV!+739 {=⠪YQeO6`wüpR&hp8V{w,φu6ᗐ#<&0Q;6_PT %yx_ywGQz+e~+vq纣Rة(wh3˧>6zJGh[o' 7dZE"i$d J.5tt^\ lk{';5?Ht3ȗGn'FA^iB(qw)ŋpet>#7h!Tlûl1_4Z>u_LtLm49mTuۚUa!P.UR,-T&X\Nѱ1i1;;*-?꺳hK^xr%ɒFk c;dBȞeژj>L6x6٥B{0]Y|3Dy&;0΂ݽ::P ̵Rg-ԞjWR"l{PG+PN$5٭o_ *rf'4*ne_]t}q!IԿ: kAg4qh>j9iTj,= 2Z v)Znic(>3԰Eꭶ+d!)`ػKexNw}v5g,GFٔ:>?Q[ޞK ,%Ai_=Cč8oޔ/ShfG _kR?4x U#| aie8m_u˷@?qD8D-){S:2=Mf.}\0F淵B!K_!"H&K8VRȉWz*o>jǛaPLu,8 b@M33k!RΎFcoD?+PƖJOKTHSօj 0I hϼҗy\{Os0+MkC|͑zc;ai (2ҹMq(V%kz(hr7e>jT32W՗Mǒ::O?}qml߫&8lJ}4.BBa`9'^eAuiE0xYrC%*{6(pU(f(.{h|wgY+TѼ*Gm'*=M$Ï hUi*-b}toًi6Y%*<}BfJ;BS`DPL/YgQNek%l}* Pz4# ~`f^wo9p4 6^m1 (4N `_2#@Ux~٧9'~ *=#>zS%7y -O]a=O./'W` %!*Z$)UYL?hJEMB#_Q~ׁ:|L^TКVtF%s;뫷th]ߗ;i!]WoG7_`mǏtG֐2fc C.aͿxt>h32L3p2U|)Wb-V r%bl #Xr-Ng`;3bh e_dggzgbT|Li_7?bǩ{S}XŞ^6^#(S rG191񐌝[-/zn`-A,+buF~T!Exװ;Gyw/VrܭƤ^V%z[[t BBcC<)T\CDܡ-SI\2WL\loO!Atv&9%jGk'%+مMy}Vߔ=.`[ q!)3Ct\xMޱsv@ ,peJFdP,, 8CRA:BE{e 0K67Dhޜ3jg X^}[zABh6o})gD^%mxGeIɚ Qέ{RS{ڞ>_NCwO2W$۟~;w  %lێo5vbEw';A3TWCUs1;j~,2q( Bxd|c:mJJd q[b<]iZ`fL^]`^YI=ԈkdJ)vf"ϳ/|+xgrk-B0r}j'jJ̎:daC)$Tg.~-H=ttxh] D~v~IaO{*)du+59묺E:TQ>IT zmq@m $*rTD ^z/kMM 3+-L954tJNiqVRxEa.<^j*] E<%tKm|gG < f3Nk: _[T!]nlk0YjnRYH~=GAò{ E@ ,&^J-<̹QܸcASM_:EЪJe[i}I)w6"`I߀Z]8a߂q;]~&!\K+N|SvM)W2d~SC$45k0|za=Rmd^Ǟipة{H˿TdĔSI?FBQb` "~ɽ!sUcwo Z_c*}SKE ;}ɥBC5 핢)%6DLd dYj4IMjJ3~q:(AgiE)>GbX.u~3£(ѕdb2ԡw, ;+,>+j#OиD)vzW FC`zGB$! n>G&b+5x>&療 EPp/S8ǮQC# e\62e |h2.fxgdXjbKBEy Phۜa[F1OOnijqehÇ@?zf$waHREF`C4;"&>sThӫ$'pi/0WnʍCqRWy&LԀPgIpbQ&1uR"'sU|(Ux3P e[#@'=o`gg$ ),f=ׁQO}Zh5mνXT`ܲT8N,#k@KrC#x!x[γJ7A5mFFo+/b~L -ZiQ`Yߖ?FP=Ҍ/J[D Uԛ֩l Z!SypIxJ4ϣU\ iW+D+Mx:Iwa1I~P]Ƹ!tWAK|v%X:ex<EϺ)Xկ|o5L}qA(O)O;'jfp[nz}fLA٤~hceCG#vTdu67ʜM΅Q8k\wu/`sŹ 0S{}l2B1V ÷jpċ .HGdTe[om-6~ + zo7[h fͦtA=4.jH]!l-*۷::;.ٜZBq\\hF_O# YU$ɥ>.&HU>ΗKQ-m Uc|ï kcA@TOռ\9ERݓ-RN*T (qOp1eoX xUf &>wk.%T@T0f\vPl8J<薊jr-Ѣ4dm'|N\Eƿ"Oh%Λ,R .l#' ^Gͣb26L0H]"6k"&8a_6l:+yCzG[ Wse+:s-O޲>hOgNI<OI>G_'N!u`1C/CtL11]١ t.sW@]#30"'R4;?zE-+-"Cоjak1јha\)p}A1Q"9퐏ԫ‚&˺T F~6+6}2)4*y촹a~!TWb#-_f|sP5܃O5@NެoV U-X$7wvK{V~ײy;;Bo>TRz׊8>#VËLh욀]Ss/x#x'Yl0yh4%b);Im]+Nk3à !\wϓ:@Ĭ0tcPwb^rQҶ=l$-X!G$V}3l vN_^-h+Ql$6YDE a9O C*MUr׷O${=r;yHMPxf mxىi;2rZ>"sԄ8b}aJrc]M=DsHhٸ"Ҳ΁|̓#5W赤ESI'od(FSNIw^S;d4o\zyʂtq8fMgC]v 䉏2f-/hU}P)Eӱ[rA]dM{Ak+ Dڻ )@j~q '5$*G&?Nt>3\݅]j4D5.yF]Cڟ̣P=7xvFt5Z+Kj3~NZ2jCVT؎veDI#joB4yz`Ȑڼv|[0!R} X^ ( X;U;"2Fi*g 9b&EJxky n{-1=} x).N%߽ÇDê4:c%!윰lF+g?bF:,0TS ;K;PL4N-ϵ>&?r~i2L2wh,ʫ!8"?ʘzF "K*(k3:l~[$ۚ4o[иC )Ua(9],@,lPDБsxZHrޗƯte6çk|dJp2'nA}D7)HQtYaVf)On(`$I CO _K^>,# 7FfH G.Q!{ QLDtϬvVj-8Ft# )]pXNEic%8ohNг4SV [uCm6&zW&u+p+2ZUxH (?y@:# x'!q-hkw],qj"X 3elPFFm#Z:%ĕBu>,,MrһOȔ6AS8~Ua$3t3nn#r2LI?8K.O /;c.IԤ/q#wGATdiSl6!{BY39/yN_fbDhǙltaJ D^%O7D  j}oz3 t*bf8^qil esHQN8߭}< g>$On%ze_&2 4"rE5h͑%6^אr7~ލCF;,?953^V:] quށ֪&GE%ZɪKFZɑ6[-e1hV[k[^0KmDS>_1mqhp {zq=v!=ce40 RtB6~or&έ{(  qMo\X4 vjNQ[*7gF oC!Wg R<<<]F [IJ΀^1A'Hҿߡ-G`lPݬ]FQ:}/`B,*IS .~v֜'rS"3N`O{ !kb4ل&d÷IEGAaI^XZ,t #O9\Ih85$ PY=6K)sDW\y Ĝ^_ItmǘusqPE$@sIer`$ku05jnn!?\Oq!~DRnTZ{n*vieLdfwZzF~~aYMlJiD*&NO A^󻵾L,[i/+j+'iM6RdQl:WG=l3CX25~lAz(pۣ/h4.s=˴,SD$H=6J@|ެo${* 8ݠDI)i_"d l6re9=\*du0;Z3#]Njp\ Lj{] 84u9 G?SySSѮbp=@1iŌ:0֕ij.6PV"ִ%i9p& WKռR#agdtCuZr-:#?gOm!i0xzkR.Qc(mOJ} UgQ}xVTmn['s*U,߹"qYiF$>­ 7-i>XX :"JƂX`iVƷ<HGE)b&sM͍F'q 4dk d%,`[XIX-Kd pu QW/RK)y"_MQ~G9q-y9q"ت>?/\5]9cb8$?[{K4+-&sp dhm"= dp+]%5a˃(SE"I:A!hh{et7/-ja?mނZоWNlT}ƚ@E&G_x?:178u2憝5{~qE_F'Ef8W8Rj1VB11lD|ȺIR9d g?zs-h +,+؂SS*\J9 ?/J51!NMɫ+s[f >VU148賠*QMaA6"K.&8Fx0GB'.lKktcK BsE!4`r@=ܞj]]);Bd`YN\)ˤ/86(%8ay.! JyU$ڵ] 昣mS/aSֳF(S6=p}BQ_`|MH2BX\i `/֋Ր, gJԥOR9gg1NY13M"QREpڇG͙=@\rpū "ʽ{yQ9Q`+O*/\y͹y\_nbVϜx t]-74_W? /ĄiGAI n-Z?&4nt͠{sܟ}ZF'o-5 =ulWGP"9Q;PНj6 v8p_J x`I!:=ȩVDd1!dl0IdNXI¦mb6eg5%u}`q&XfY%YjN"x_O~4q4.INHn=a,5W[+W(H-,k; [֪&*vq=^Eׇ(I^u#g >NwbLXe%Q?9o|n4,'+fփؼeI SDy%U']c t.=?r}:7l&hRTV3Hy>ƪ5]Ԭ%!sf[m95<^.YfA#әNᶙj oBll`R42 *\?$̦i_^UU 7V0?6Omo;aΛj X_ x_3[gS-Ybآ%ǟ) X%b:1Na]vdX3,&rQu=F((X)z887H20Ch3!B`SX}ᥕ2s}ـB NY"k`} ,lJ͝l'xY3W>[s7޽"mF= |C(x5+wY-5X4>̭#$/u,Ի >8 s"^a"gՙYx$ D yl/BaG z=WExg Cp)+>35?Xz4wFfo(]سbWD!Q&ֲμɃb*B*>|2Q_>{Ը{]$ڈpTY&]UF{u0 -gxҋq(]`L/+iCXa0-9: 46@Z_cQb,'h1Qr`& uvFTJ9[rHIjjkZlIG֌}'ECm3RD1Q:Z#r;DǬn򩠤n0cTCp#q]2;r-?=fFҩV\ b`$!z'FM|Ʀ#KH:}J_$BƻmMh&FqXܴͭLa4nGWwceSoUQG H@Fl v U؄6jҒC(9P% 5v@.1$DbG#m@@dXaCFݯ:B )!Ł$G+Hδm8w=` {2z@kONǗߥ ȂXOZMb*ч?QЯ\pM'-YiK~ QHcB}hՖ̳@R|[Qa< y]I1HLVc<ŴI c%ߖs#Go@s*Lz8Y$u,%S$( wG 'nJ0B͑$:l:"uv-d~/ak) Y5bz/x(gX_VemwQ6(0RVC#/NY QA"|HOXy7?-~Nppo(*ߡV^[Q^C.%By,:PbJ7r Z֬d޾ b\s|1 H l0, (uʮ@GTeQ*oqca0h0&PD H 8Ecϰ>6a>$~]@+jj'+ co'7uU=#tyWés])PCcP,<r,.U`nZO}˛{{}YrM` M?7'{f“I|X4.MԦgW`)H$$(퀦ڑs'UޏMrAmv֠T9wuI䄀TZ ^U2d@ͩ 4X5*d(vp6Ü䴚i%B?hT8 ExBg8TWPBU3gpڹAnߧb? 4RG0-*2篘c|ڠo fBlM ;Bd|LuL~|O[|#?ҿew~XǛa4ⳗEz䙁%8?:ijqj#@%ki+ȡ1[1= \N;&yHc'^bn8ihD1r{Pv>99ϮC*/FNDO LCA002!VG%q) u~${ ` fLڦ~H-XPimJH׳_~@A_I6wQO=s@]iZ$||8U$NȘ47<Ư_՝v5=t!TA* nQDv UB`b4i5YI&/jtam##A,i ғ3L#|t8D }z3QC ~~[JjkGR @r—(̤~5VfPHBjRk"Y/Ti}RMfj4PǁZ(7㑵љ]H=hsl}y*dׁ !gSP"1R}/6Jc֓{qlh)5„if<[ u,ZE ^ bJѵpAKtZ sz^X+1— ݯ7Zre#i$?1|]Z iHҟ/H Pcu$)5UxcJ LiJrcPD55M3)r>/Eϙ6eT\i%TNT5oޠXpҜDVNuO?zh~j6549{k"ίyz( Rj`6]"eN t}x.g$虈Ę+Fb=fy YL5|yQe' 8ׂvf9ckN?v >(åI2:L IwFTޖmA I>5YϺ]"՗#py^w%!PԌ0zarwNM]4pf=}"uuy:CC4g`@Lc^#,S,Xxk5dhj&{-tb4b[FPk])t!ar=`\9ݫG]O-8%i5g" PS/O810e,Gq紮kZ._OX"ow4w aBt&Ea| W1l3fܐX.:aNvAwp90P7Rp[GmXM!Fk(u#~ \__o91zL6zkFV]?XrkEE&gx_gmvClѥNe yU22S|qH%3[ &e;U g0!nd6YkQBC/F"8圻O5I i߆s2ttkWhQ:b"Q/~7)<IB4's&WbN&Uߚ'δnͪln\/qO@>[b.{:L`*S9q'AQЈ4(6Sd4译S&HLf NtJ s*YN؀Rͩ#Xy}зg0M_q\JhT/[U|J# >[giA|8% +G!/YO߀Ris<%ziaʐ2L}!<;̿\#eP^sf EZMֻ.#NB$(bS5AbBt_7ʻ>vZJ5 9⁏d/dt?w<?xSрΨ`Yw~-W)vO@10jaL&3ٽf(7`T87<0gr / cA=MZOং|;׻$yf?tds" [ݠ \h .cZI|*|"n9[$'x {c競Zo!BtBZZ80 Ӈ7l,<\?ĸҪ}l_?ZPI7}9DMjPf@a'J:BSȜjq~=C9Ú`w΢ {DozR aU=ˎLKO&군oxVD՛'`IzΙcXOXEtil#\zVvS)ȍVNg~9dk:BYdZ-;̒^X\"^(i֬ 7t֧ 8mϟaV{x Q,u'T `Ȋȓav0_`Eg! ;h$jI &>ƵWZ94M_'MdlNebaSq;)gwR#czˆ[:1s9ٗ./ nj]VsNlt&rYTK;MD+p1}-3^v n24Q"O(ne(o-z_&8;-$԰kNd\g)Q  Q =~*V @?;ջ-ol-u$$1Q6.lRUf{9R@ _oa/oJbxݣv'BɺFDwv[rO &f[r& jl^\@dSx˭+ɪ H.0E.׮gni &<|5zC«'aZ9qAh;0#:[3]0ag5n&rYyzb3$l&iWPjYoZv"QPJ@̢v6: |#敻 zD"sͲWNM;oh'*+6 pl7N^rϼt{1֡RY'\-so!gG&}~!Neau{z؅!e-.p 0?GBv\ȞҨ bCTq!%[ DҲy+|N}&G}GP2Mzhk!CB=qQdCfVFA玄K1% ^CVYSL\ 5`QT4&*dP'h'0<WuVtn`;&{.0a3Z zS+gYZ  & &1A[% DDifferential_Dynamic_LogicDifferential_Dynamic_Logic.USubst_Lemmadocument.tex7zXZִF! ;E]A-MՋhvG"uIBm5+FD9C DuAgQiF`ԛj*1f4ۖ=li&ި(8)g8>nOX/Lis_i# "ԏv5ߩy!tyQ\Mr.mgp"pg4LqS?*Hed G+;Z/̊ rQ{14,Wg{>FMU$Nžd;L{z)`WjK#˵*_`ʜ8L.LE=RʔPߠ!S ٭h6%k#1rFW-[1$aΖ}4!6F [_d#%8q{@~-O˖) ΎF K՘P٠ b}aCi3VH Ye`;7f#Osx2P״=4}&4ð˗sa?/vt40M\f2Y4`ͮbp'dUBo#Z Go|J!ܪ:\v^oINcVYOV a#Oux}r;KzV<)Z'qgыBwx}#YpfTA5}O+HJ|Dm}NN-,N{F ,JK8xD0M rH͙\0G7]CCY^D6T, j(7m%'J%~$@.Tz~v>#w+;:*\6?4J:3lb/*wrAKݮ*DS @.R6GDs04[[l8::&78ډ'Bd_ajUɟKŗF-cV[e>u3* ãF$vY;@gjv|K-{Alq֮&;Js-0ϷۦZmڢW Ai% lDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Differential_Axiomsdocument.tex7zXZִF! km]A-MՋhvG"uIBm5ؙ%Tl Z$/܀t^p˱=/i\{u'l>]y|ݾG5hƄB?Pq(X_S3DdG ٟά tdde #7hbAe\* "偊0? /j;:M3XGpy`-mݭaDH0h3\3ם㱆!$g}M#zVP3u 0))XҼFIUMT~D6~ P!aNte+ vX^\r RA]% Differential_Dynamic_LogicDifferential_Dynamic_Logic.Proof_Checkerdocument.tex7zXZִF! i]A-MՋhvG"uIBm5Lt~ES%d4G~7 ^`ky)UځU =ΖJB(;R[cR"?UDͬ ,[4<ίN ykՒrإ.~cݒLQeD P, Apv@HF*ٸYn ^MTЅY]ɦԏ,P`>:ǦkxbxS`\*m͙jU)hF7c=nB @Ӕֿ+{`CM$ j%,#Zp\(Z:Sd^W)+yGZ.C`|IG>( assιE2-V޿CĶ2|:)+`)ڐ޴??ZOQo9fB q,ߐ?mMyS}3x{O9✹SF/ ܭ2UA2Q9[Ck-;a R BoYvA]д ܉T}Qg~A;`ȠE%fػ\0vM;>Z4"5xԲB0&>+c:yL"o4~1GR8"I9&N'唶'/Q:B'3>m5s0z34]r%I& l)XU-L~ d |(5<o>/arYN^ؾJOfi[ :5lCg/\ GqOMiGjE.ǐre ]{m˜ۺkrDRߜy]ttpFܺ癗j񘇳p*r,%2f`Q)45Q Ml-,$_UXf[eoOTOHxyy}/&/ZE*p#j xl1::2{aT NT_Ni)O4HbEL٘(M%Cq;%Fohi49=qH@kH!̢b0tpVG_8YPr>}b_kf9WopNs:F2TBē= GMl g$6UӦ/2,( 7R9xO˺ j J dftW"pQ!!}}&ז+V.7/l,ڣeBX@F s=8F|}y[*PǴw8 DhAwK_S<2sG!\Sż3Iot Axk@R}[\d:W@eMۀg&E]DCi Rdאph?WQpސ[81dbz(`5EC3r]c8"wrfyׯ?YA +0l䲍z;-5Q.yW=; zik{,8}*X}^&r7k{_NM@ WKcS+m*V cX0k s_1m݊F]Cl .O}qo=ߡbѷf](JʙPՖvl 5K玲ؤBNۃgN/!=YA8I,=Le%?D"Q`nWJPIB ҂XZ-P\MX:s"? !'O`|ё[힫Cx!CZnJ]I6t߫Y(}FH4-fWsPh/bsCIbcC +H3"):@ (KH:6'ΚsmDysO>&*f;Npނ,Es1HyUtUФc0BH,X sW8J|&Sx|3HRN G`l`ÄE瀎v| 7o!4i x|O@!di eyR#<00fiGQb4>=*es iRyz]cdL0WUǝ1yfnXJj8AJ+00#sn@!G H,w5<ۉv%6&oN42e6%^ ZQG"rV%SF+^BG§ aJHZJvF {$芘=r 0Uular+%$" -_Fa#Cm85ӉSt'n/x2r竊k+`,sTC9 nfE6r{x;b |ƫ<$fק8;rL0T׊4TJ4VC\i$r.V~c%#|+KS{Vӟ}jZΚ.O2̜COuUyw_Ob}7v'Q-|!he{na D[ńO(\<@SU Yg&}P'L-;A0QJ]U ד'-]$)(؏_̡ ",P~*\[;vt`V-O a^d׈0fW#}ʔ9E^UHn]>=TX4PM6Cy>@rb%,,0bɯRy)H(?i:~^3ʦ+iȒRXNj؇%N0pks:2.LA4lwa闖welb{$/OEpw 3ݷt4y_gG09O6h>nN`u6H,#c(<2$ٮ?B7 ;!~1!Lܪ!nEKSmĠ7rFMLVnh 4p|];׍~Zb(~mˀ3]߸~~ѵ6fqWgmIUK(nHݓtbvXM`L!&')}jDLK#!dFV%cS5Z3 B4?.ȫxI1xҜgBɪ 2A=`wkոp( "ξ](\nDE:w9;[(Ӝ,:hU_PhUqR2nV %so=x8IgS8pFdaji~$bE|Fo$OV!]'1t ,A=sQU=@n8-xW}n:.>YiB<@JLgm4$H<_)'CJ.̆ d#IFdvH'? :IG}V.d+fI٪'̬mR62"9x`N/NbQ_]ciE~q"Sc ̩TuLK;ھe@K(}Y*s9OvSݠ""w a\YbWɼ)m+?.7iۃN* BR]뫻˵+*c$ SA6h4bAbٓr̖8e $ iBظI_wG3MwDpɊ $pJ /︲aUTHx3 XNw ̞#,.J(- 8!dwÐ4ܨAU%W:Zw 0Ԓཝ8, Ow[_[}vNݢHZ ]%v"f"ܔ*TFAAag8&Gg x*$r!1iY,ˣ _8RA{%FS6 yJji0ȳ8@6f z1' Vpl(IooIoF:zjH'վAU g$P&t a.Z4}тq .o㷯Ҷ t`>kFWk¨N1*h #b)\]J3Ohf)dsA~iBms& 1It9[\"'9 z;e!.%wVM]~,L/x88#I&)ۏ?Jjf"SQ"s; jZp}+n$ش -#òW(츊\8D۠ҵI4w骴[1X90jlJǘni%`U3W~ Wuأ5nq:m( LٵOB}Qz]&1f`rA 7D'efcM罕便 ;muzRNzvr) G*df!?d7H7Awh_T|iK1} +`qJD]C%RCU3nYZzg UN>d0sm~T(z}Ol;SDu_n@o "M=2]mlM1g=rͼ^Y11t8Y7o0B̹K;HjW'؂<9sC~6=&RQ-$TDB^r1))rFȧ-wm @[3Uy>hk *F͛jw4׉#~υ:- .@>ig5:gu76EgwEL GӠc/i(75+݂Cbo?+鏢@!bh+V&lisUqbVgX4rBWS(Uv*In}b'A=¡BqqX.cV?z]\.us&QUl:ր?QY 5=U (tPF[]5z2aR1XCK\Oɀ}*$ c"^~<~]"Zj}ظ&pv Φ#Bʂ 9QNcC?T):s`3?oE>D&b׷;MD}:QQߠdL0`jk`013zҖ `E7l6/=xgdTl(hPЁ?mKBsjy.Xf6=XlC#hS{]ZR2HdD&b}_^*rEa_VEEPNh4ۆl57ʧƩ̞x碿brC۞)2s0ԟw];׆ɡK* L)*,<6Mt }E!"Sg=x7({04 ֢+9 >4<0J_32*}bzM@H֔Ѳ#2y1Lg"1'vp>Q“~}*rС;W^.Xr Y5jpZ ^m R;N߶ϲ݊ʗ æk!#Zɺquyr6:sy$f8\~/ LP4 93徑'IfI{ﻘn.}mc1)dG&`wZlw'XT uYyԶ<7ޡ !"-3OZjt:ka@@e3e. / *0TTjU}+iˎ֔{rqAlƫ!RA1/1O>VFwO\W[i1oL_lAr L:#= 9)ЦuM jT I;{Q޳g18ߘ3[ܸtR8rJn-lF(7gp''McӜ)]ׯn ^7kK\ѕ7=_Zϧg) oj,%l''g/jix9 ظPK}jl#R.%ROVcq㪠"я̰Yxtz5G]8qIrCjf&J 7|$|d`uC9h]9*hB@jp+$͘!!iMƨ0mk+rNf͟0&0~kISxSrku`kP+ % d>9A 3̽ԭmͬ1svN?Hb޳|ޡ]c|ȔMjM=&ɬ#KOptXInAp;q^\MD{3-!tGYN`0 K^@x0Y$ 'q #V[S#P7[ێ$[9uk CFZ_F祄p&N',qGSQʣ__`jҷ4nN5XʴJȭLv"#[Z5(;6OI-V,0)/¢/`eUć;&xoX]6@G ? R?p,'[ɲ6PKjSp<1qoA4>$e|2AijG/x*@?Qy 0s6_Gntq*<^J,3i\K|Aa,g<\9߷s%i~TbA=ys9WhHn U5~Ԟ r%n-F,/qF;rd$C#Ohix[@ã)\#ͱ580f~1jDمJ[h)09MhǎH!IU{$h[0!*yARߌIL l4qGR7zBW_BfPGVE$'._PȋOC& $Vq޿0FOR{ç}mp]z|28N[EĴ=t@doBLb9JjKDj1m˔y{I@vAv<[0= %Q$;l2>GHfteUTҧJkh^baN[CtGRlFK![II4$z ~Wu1t&@~_sJWM&v~/0/K>՝W vJStO:N,LʧdQĬ,vD;*JG BLZ6wKbN*ɿ|8 +SV\5\l4ٹxo~[Geq"gXy츰8d>tY[ 7tɪuÂ'_J-&(@4]ѱZ[Y҈;)Pe#dBd[jra*u_g1~NMvfKF5a#V蜦IŨ˴v!B>"FMP,zx=:73Df[JVLQsDX-y}%w?W ջc"?35_+o͘i1(puzN[\ lA4zPIiu)xg\7BeXb?-COB6L ˫.w{VBAmE4fyڜYCO-^/9%Qa"L7dk;Ky.0Q*?n,Ry 6׶aEmSNyG\RH\. Ó"A_qo6y 5};}pi-Lj`G*"S4]_+Up7'}jf=)*LGђ U(-_ٳtp`8ZEZI&^kڧZt~䔟4qRd2!_JG "7c-rV[uh5 l\y#; |cFAa uv֞2ZzQctl?AfL a遬sn p(pܞwϨsk$z6l Zϳ3 8X}!)#1){k/ɟy d|w2Fi>M &r&PU5}$"6ǻܜ*)PV1̹a-EAٴ:.}4ΑepT|CdCuKl "y\od3^cz q]JAԝEw Eǒ{~A ַdFaGC֎IǛ۲XtSGҁvk-,̅ޗT` P^X| k ]e:DE vpiřW%{ 41c*ݨvdļHV_dُ[$ӄ8 ^_uԪgg߃o޺͞`#4YOmv){\TWU?XSr >Ƥ!*$ax-a(;&7h]m|ZS/iPtcg>1j[a\ s6kM3&}OfI}mU܍y />yAK+gf_}@5#~_3JG,vģ%R YM%_gcN#29δ25oȨfV<חb0cb \އw֋#8:? umlwђ´K=/+|6-\pU^DA6c$!!ni׉b!2=d?kZZ׏ +wh32IPX0rvTwd aeBo^*/r3ұ80zЅst Vw+斋^HiX"O&Ϸfq:٧ٝ)sp瀿;:؟wಂ>f{FMZ 'L^֮ ] ˷{mFr@uh_,Hv,YMU7^K%O,Zk:H0[`&s CVW{3R֞˄4Uüu\'ZR?r,8p%XrR3ȟ |H뇔 0ecN?3% S>+}Fxs%ZmWF Hl~Lα8D98cujgqj^&EY*Ԉɀd2ъNܱ#;n7e^C ڶ [7!CjCBfz˚;.Nr\Zw2.53U*YdՐ~̌/W_50a \^N6qxl"A5bpvbRepϠG]i+FЫf* !%n |sPp:z ~X_Mݎ-xj\$b+stG=SqY^f6-8Ujѧ$,YRӘPUT=0@>#wMWFɇdrHԧħ'e&ռ~'dǭ%W;H=7BVvT;9uk4+]#:$Q!8\a:,4D 4FApbt-!U([d5{ Skײ%ɞC; 6/E{W;c=%霳VHqӉ,Y/Bܶ񼢹Jg鵟R}˽U8@/ǻC5=ЙطԺ W\'3޲ bSQ{|ouy pJOl){I?T2ȝW4L"U]Ӧdyl' 4ǝ֒a3XNiDpb> la3؟RJt/8biJ]@N55^H0[J2{뱟\ލѪ~ g``{$U> )Η{.c%H Ƿ9Ŷ-yjg4Biomce؉\4AE78oOHZ˞kLqغkVDҦkKmڕST=C,{nϾEKW}=0Hr^4aw1=Pv & >ᥦMEւ.@LAb5YɍصmCE|b֔fW~]`̞n ygYZ }Ac% TDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Uniform_Renamingdocument.tex7zXZִF! R7a]A-MՋhvG"uIBm59r>d%3',Z{+P .곝&xFĸMc)?#렻|n}߃iTq(~)-%Ix}>;|l(% <9[G dv;k;Ԁ됶%xBLAY@! )z:O6G_1m*iCTAk܊sĊtGAX"< ߄ĉMԘu@i[fzQLܵ܀. VgTB sX)a 4|&I/D2lpV֔}eRyL[``e|pvDk4fV - FDaֶXtYנ5=@]*(USl5bE] BCM<ŴfR?l\`e5 %!šMXUg; ٧eofV7ZRdm2Z֋NSys}̓d syAE8W>Έ$b&J D!I>N^Kt^'Ex.'ެa |3]'dGr~?w Sd{V'Dkn7} 6BwƃPĀ; Ɗ < .:5ye'gp_^-/(ff qһGw 53ctk xvGemΒ~kSm*.-|[*3bۘ~ 9/ "BΧ+tSe⬕}i@ cһNZ2shu ښ󒚳Htmlasx֨!W}nTc$O-9 9SیLFP^ajUM G^"y83g.,m?6 ̌I J:ѵ_?BX"E b"dK9QZ_Oy1i:y>8-[E}L24#Raz˼uro:XaaB/PF>:>T<;h',DR:'7&3axs۳e1 xrDO??nkNjOW*); Tsν# /G 8}cB -Am܀œZ6ZI Se8EbƜE+jKoi=Ӌy'I3_c/caK&sG'ڳ=8n} 0ji8eV.9Ji8ag{w%@ R:6v ˻fu\ٷcԅԐ"` G'7b8rg# #q1B-s.>[O5`!<>D~,+4 cv2cX@V4WjoHS^IH+ ݼ>.TZ;il !j8#[z>;яj7"[xGv:GqdH:7`uʘKEQ W'[] /k'F:EiG}jށYmAYINM`sG,Yd 6͑;g1<}J}F?96jl66ᥓF^{ic~Cq6f{ Z2e$=vz"̨{lGF²ɈʕJ2Of1*룜CD&P (ye4IFVr>kKPhF; @ G$bȌr:0\ of=M EpYZ eYHmsLU2`s {}OO܍u\W"BSɨ5"n_N-T50s|(EiQu%Mo1xvǗ*+X"CTI>XnYW؈lw9TP҅Vxk$%7rk]ژ78LlqXC?Qo+U1ZeԐh':CE#6%OJT,^] z\`cd܉aY br9tmʲ7 qNNedUM^u8|ea1c%$x1E'KcꏠwHr]\IA̲o ;Xm'=Q|x`*3ǙOgp-"zsFk U5A@Z‚\X^Ηl҃--MRwlf#v%]rN+$!Cǔ.aD~o/xQVS'Y >yA1խWץJdrnK1\mS)v/kp'Oeᯂ=̓@A{tmZXșCzrW8uy6d{geQn|WdBqd(^oRR3=!Od8E#>V\=j T{5ii)~ϵJ "JP4ϛL.ڴ\MVf; ϟWv ew4Мһx7]ێCx}+ޏ &brO#$/"BG/U_t%+νt,Nd.{|U ;BY`ROQY|J_6/ZP1%B.j1,vXPL k~IZk~ h,TDB1y'#>RqFTcr(݋FO9հL(/U[`T plF(hFyVjf0m岟vSlc4Kْ5F9@#rۺnT"xR}#B9b:xl%Hq571QQwޝ$_). . L:.p/Yei; p":%*ԈY4+2޺@j(f+4^c]WX" I Ogʆ@.Ʌ]N Y#%C"\Kvܶ~!.Χw$2yi':~ IoSt x wsZ%h |*hQC:qZ^7˰;re)hj}JK'e{@)ou1WN<|IB  7 yHB}U; 0%H 6paQԫoI9"t~Ǯ%ژZތ2n&dCwzZrr*#.Db7-k2AR1#;eC|;ٹo >MaH~FƞʟZmֵ0=L `3 &farلr0(:N3ٔ.ՐŽJlhkv:_J ? lT%%$3._ƗR.ڢeۣjѿ0y9p5ۍ  Sj6:TD {@pB4bZ Z\o;~y \G4rl sչ?I&:(̻CQˍ=7űBXWIT:{]iCNZ / 7)yxT1 RYgl7F~Hr7CïrqꉄqI)MȀ%(!iw2,t Nh23$426k`;q;,_?v^XRQ q{n u~3n}Ol>}ݪRҩ^{tǁGlB*cTG_^="E+)9\]iAIST.ơRua_y$ C}]hX^&) ⁡0z˪e7L&F@յݻ0X78X5a=VTP#߮~ϔ<\]eyY&CRw B:Amk+b[Q&s_zct `؛euyP$>LJ?\I *!9'*pdzxUhi|Jރkc+t48l0 oo1AJ8꤮xU| V㠵n+yHY<(c`{7{P[JA,Sq'y„Q3[|N $1A i_e`&` R&2DM7O݄A7m3zLup݊߁|6~VΩ(V^wm <u o@)?v/A\'-Rx4# %}z^)bypu`:/"o#4t-MpfQ͙.Ρī ϢdI lKbJ ̪EV+SOi>GkNQt{Rk߼ߡ4 tsY**ZZI>a:B ,iVri3ڣ g멊O\\ TU]qkWQ=6w{ 4,+1IFV/Uu7@u|$>zD|Ek#h=0d*ŃcK0;59zTMJw# 6q}(~X4e~1PF3M7e8 %L3hx晷4x}hD9i` B[_JD0:D4T (ؿ&aJxL0W9wxg&,-QcX2S2&˧n \+ODPHkA |!nŜ~U__3B!+ jۑYÍgD=sB ]tu=;DabeZKr)..f˧JZ4K;Slݩ,Y!P>?΢ӧ.lMdᓇ`D,k雜6?ʼ:͵{ !b$ɻ/NxT^h2'v4|lQVacәx Īe ,) ߭ɩ$lccqRGR N>= 3]8~ʁ82cM}lL݀493+^Pծs;3@qpWTU^Y*)ysާk!40yG蘨2EpdvQY{V.\c#Sʳ^e,3Js#fBfd/D=\N 0]vC5YcZ;^%¬V_NI+[>[Nɕᓡ=؄ަ[ t"=lEZq'#.8`1QW|uyz]-5 ܔ3}Ic Gg%0&7O]̪.*#|W*#+U@S󨫖}o`s J;jw]XT&WR9y8E }1/cuÆQ1Lr_JgBՒ )`dCT!]D Jivqso]#$s ,y?(HW|w#IWK3.(jV(/yw_. -dm.ӁLP_S2f oN⡏nLpT @0DÚAS=cyzkB 66LŨE'HP"4RP~GEcZCiΌZ!v_ऒ'<"(p)-jƔxYެ_ܠ;,zGqWԢ5 0)M4X0s9?L|QIP}ycrC9:U ":)Uld+yXTR(}{cFW]JvBkN1ó54rOb\z׉L OmR'+44UڊC>EN)?>Gߋ<44@?ӠcA^丁\e2;˄M)#]#K{` )Hswm.Xw9 ~LJRN̉AK )XV) `0N_VXѢnR||ݡsC3kL`xJۭi~IT#{,j~"'*EMX o# Kػy$.+% d FYo̿!P{bT` {%cA$ͯfC:ywr ͐Ynӈmc,[M?!3svaB`*jog7Sepkz/RI})-yfbiQ=!G%=n&u0ʼzykD1=qall&(_DP>FvyWD!JtġFtRnŕBVs?4P78i PI3ց|i", IPmKfA ;h=M$Lhdm2dHIU!YӎJShJ a~aϙ78keУbp9X$jHe͂?"(@w0i Lޒv8Szxo6+A!Gm<'ڷ` ?gJƀr43*6NsL1PK0 ue*d^;uMArڑqrԪZ ]bK0&8+Zu =%M~_ 7)& jy:V0y8'*1 F{H.+!$:&m'^cC"tu1s'd{|[OSdDu1/7c?Nd9Z*()ZT"ys㞗';r"E]БdP)?H{ҡ;ytKă fє-y4e:IKG@迮VƄ>/y4+)XEHtBk`O#/ vlv^>WKnֻ>v X_Tsq胢aΨYb_W-S  NTfx`\ǡZeZC.'o~(!N d$PH57M{;Sf+'}r4 ?%umH{ݮ6$egX:DXap{ ]^tZ9eJS;PPJAMk0nFyL'ذh 7uR7U-T|K"_?pˍ@!u>g\j'"и86ë{I C?r:WsN?m 1]E ޏZXO;gڅ>GL$_^(I}(t"bfʾ2TFd?sCQ h@&Г+<{ux0A߆RqЅ~lLΜdc# jWdD-ҳ&b 6~:LxY@n?<*3-4{{,̒6pvCO3ZhXS6mօg47uGҟ3iiPFe68ܺJV$KHjYv C7MMdb΃bb =CG}] u@, CE=}oUAue/02$,؍3(ܜk]lց끪ufMP }phfA+>uoE8!~(wؗ8!V_z BH".'Oq5]{nGgPx)O }#TF56v!o7- \0x nQ䉥qBu[^Ÿqlo;TR_!jl,ũKT_ݸ ¯3Sԛ%BTڛ*]KZX2֐г"_Q:psR_/[ձjh*Xa-Ϫ7hn `ښOm;3CHLդUF˶IQ.0K7Y?hYq6L҆AC5L9.RoHŊN bEc5"qu3qJ-T,ڠya4!hF/vO^~q舉z ^ 0.`I{-'U W|./uZRЇd7MPJ倨&_:Z*J8Q\4fT,^-]w}aU5I i+O!} ck;_‚ ?XۮdxVbIд3Ʃ&Po K-U0<$5o-}c"qn-`=Cҝ`kSwjԉ }eP!ӎ w{0l0+{x%H}x! WZMPɰggMH}[*X<ؽ"v8֊ ydcJ:d$+Vw 5I QA8PyUΫYH}tXa#=7W@e7s㛥V x`&0,ҖI]ӹ"^NYvਕx[&]w<)wӽ ,rL"ͫ˂G*cŪ$i3m Nyw#JFB\I$}@~QD?pS]dU<`ʽ-2>[_-0~POE"8 WӚ:NAga)s.I<& 01{5Ae.yb CR"K5LZT`+_Ďpg4ȼz s%0~|pw֨>zgcy$ @$óxzNoAˀa-z /C˧kSN-v^M ~42fB79T7,cEna@m FKk>fhG}ᒏgM8bsKiEyeiE wڍ⠬Gav#OW8zg0< m18lʰqj^6KSSlsx~; FaT-9xNoUP&Yi9+{"R,ij;%'4-XaVj:N=3{Z:x6Eׁ,}aoTpGVZX7H[7Vz偙y;HS t̡P&u'YϦm;.Rs_Q+JC8\EqQ߳zpIgE8K9T[rl!YaXj.SaU"L*3{6*A$sIPjA][wԲ ~-XFsETpT_狟 ̙%n2/RHy=Py3띲=tN ΐäۮ_ /&?k>G#X,r" 8!3PQ !S+!qHUu[p#JnW]KҢ89I/>o5WKhc|'܂#'z<͓IM45 t c2뀲#a`hY dzPN3%{qz\3Z47 -!L2aģ2P_@xoj;Jl*Vf넋@lӢ>WF; he#ksL,'O;g:&H~A"Z9p;OH&5bܡp9.a(!ndNq?~>zL$Y8ٹ hv_q[#V7T<Ž hR޶%qkT9$I<]nBpu2.S~"O4Tڋ I.kߏh<ǫ!l;Ig]%cT:)CT8~rYb97'HߡzI?9.ԉN$li)v/}ՊX[GE1KTaY 8`M Rq"W'{awz]K |s4"+aWPrbmFHVJ2=^R閊Q|7 kXÝՐ难Š}R`/] y}?Wyn.z85ۤ#\e< :a8}YQU. ,{q)IxzO4GBҗអ^﵂Rs 6MŮ;*T}G]P$NQKj@ 0>b8quhaZbs/ cRu"м8wbxZK{&Y/؄5{ B{Ң\B:hT(Oꘝ|+^ObnCt3Anr5Q4g:m_ V W[CaBTNSAs(ieK#iq^@<.@_PK/ n?6Znvhc\$FN=H md jr䏅膤-d+$~߸ܥM;9/vjy+lزU#i_s7N\3hoݪi n`۲iynP}׋]=sAI"!Ƚ;Ĉ͊5ץ/55:$#6j.Y%qdhw*=eJ>ƔT/qu^tr[Wɮ@o-D#lɌ}FWS׿ePOjkw|j\MS!\],u=t:@X,̴=P„7=Ո^2M9t;8mZdpQ~Rc{:tvŶ'b z(9 v|.7WdR*ıL׊JI1|nź#HB-#k?[ކe:4pk>.mfnp#$d:EIzǜ0,=怭sUVWM"|mlPIt11,bNRz0mxBP*"9$luhK >;x Ceүj|`79u7MTf(mXUW/%P5!𧖍ag~^3`p"nc* N/١J{p O@0q3}X.Rw-pQz)r[>gɶڈÉj,f,ZlZ4o.g@!we &&ꌖ=Tٱc 4葟R bl;P̻ UZ'O!~ޅK:;kxk3VJ_ԡvluC(E/QogHIY`ظ(kt'А*{F7Yݮs19Rg7jԒKS^uAw ,ӫ`DޓL",6t;=G3}Y'<tFtrdN`!Q`%p%KoHcMG}k3Xk9LfA TfNtLٗv˓ CFbbW)WOhf(UrU (őϞzy9 ؂B*AL)ov)L{<)sCd8a6Q+>{|X薇qb1QHqһ2SBZ/kkėƃqc8,x1dN*ı^)°p߾f\~NjT\݌Xw.n*}-J5ť[v( ~Ӻ.a)T?|v-I=cC 4QߨQ^5C <;˥{j+XƹrihA ŇvcQ,'N2{xgR /%?tȾq(!~E`ZY&aqϘJû'1< qpnӔ'{h4_idblz}w(QJ2o9 UyHֶ;Cay_kBEVGK^. W%!jx*KA2gMޥkQ^( z6joaM޵*=vf`e4l`#Mstٲ%qVoZ6\2*Vxئ?,JWZIPip2:/?2 EMXjdד|C AL9`9$:~rSY,*`F9GNϛ[TD^o@,mk|'b} P4o !jHY})\H/Jn[0_Pn0y@!Mo3t*N +'aJ_aG 9Fh)n4Yx ')ŁTPCr={{n=fŬ#R1`_U9Z &Slv:έZ{~g]O ]%qܡRߤyUJ̹: 8ZET89vj )F.yg'G611BO=n$ xw[Ѿ t}^c!A3YL)ӒKs\~,zwz9Ɲ1Ȳ=N#:c"cTh;<#L5@Pmi, ֨mHd#ZCz_LAj (ːxnQ;@{d'{D<;=ՒT ^Am]/ o׆9MDQzx- Ug 6?Ifօꚑ{c8P G{~xB:bɃ#?] 7[T.\vVDᡠBN Wcϛbzg}*Ɵ_q/b=$>Xh`GIaGPd\M^wd]35k (]515i~΅4:A{Z$ޥnab?Hǿ) `Dۻ~ =HM tZ`< ,lI'y!i[p|rhHf|v8k@;5 `{Qj\LNs<3(jT2b{D|%*v+"aVny-!%I;ߊL֙. e׀m2@@a ,Ef>Mjf9!Րrh^g[tya? It ]˜|Qq'#l OT{\3DrVP.G toZs/'jC^~CmU|pb}ѧxHm豎KC3I_7<eBf݃ ơR*  FxdW_,O["V6WJcڊy# ғKR5u;i|ahSţ^'cI5F1ij"#:AhbAI{|!.!>>)0EpIqjxaE6pT)1'_a0[=;0Dv6]TDž6?,(?l&fڭ}o= -ϔshqH(Wd$NE9!& C7z}ͫ˖'LHV𻯪 GSpOz@*0XҲ'w=9`;R_D秀/lZvd5 a5N5?}Hr?MA5ԡ=zrKxwbv!7Z B,!O6N*ߥ߻'a7fBu C̼V[o8kZi6qn/*D5E(FJ@V9w0m^e/ #qA104N=bx=pէPQ*nzC+j2nȯgPԶ><9F,WT 9|C%#HWUOmpjp9O;$Glwz7GL" $XwW6?H%?Ce٪rb"V Xr6* nZlkMO/gu+M;dز\'N[oAQN5 $0}Mz L[Qݼ0V0UN%MwSrM`w-%3X -ZXu^#S%e?V@sc[~fz1yby_Х0lŢş gإY6 }BSӎiX/<*JVmmz6.'Hֆ~&R}b|΂X ZPmѭ-‹_NK1sӸyi2w1Ho8b;g.?  JU[Η,y"QzXK_N 7]1pj`&al z|3Oh \f'$ m3 Q2 @C>kb- qޗ~c'.lRytyқݟ;ǶYҎ4$$_up9őѻ0gr|vA1GϿ [ydd{+m/̷JC3(?![d1PvXtۭ ɠHjen@^6l&}6AoˉCib߀30cNt:~.:k$bPµ|IgCj\_ TʮfX&{ʛ|qNn&}>vRʔX⊹31)!Ikgs#1D0A(v TLya~r]7\uq-mX>"}&Lϯ7&艊T=dޗ'EQ2-+26>LJi@T}ع#V|3'Xm5@y^ S( ߢ>W˧+HN$+U -FvY&bUiWc4],I$)bV_y %i.WN=qG,hw]oPæCFxT, U&G\ro 5WSS\OV7= 1!hnX7`{ψȣԬT7ِU 8rx5 hX\z|F6wO2Ȟb ǾX5p>ecY!ڙ$̆A_߂^;7FE/7ґdžCP]A/f̏l A+$#!^U`u=O+/HnQO6"?]H>r"I(P=+SgqZ8]57*e P0Eo-w+\ǜb$wec.$/gHۧoKs pKrjf*!<@ʹ;#ކT/%jbGXS ±QBJBiGypRڧD+(y_:? NעQRop9kC{q2}HOHF #[&qԿ/P&ͻ~.H,|:ȳy+.q xWoo9½^_ߐDg<魶j-v4\jg4k8+Rߪ-?7b}synoA/Ls@5_sYC~>S;=YM[,HKsI M3#WO2b?0=Nq O~1Iy |x>#؝MB>g "'37-ɉ-姎"xsh .s_l*2Ur+}:-ٍ8A`0?Ǡ!# RcgD ` 4Iv\.U疊RŔJ ݵ]t*?E,CG7 *,Gi;XqZ /Qj%9AM-θxbq=!̞nҦ{#r7LxX>v\ں/"{돠`pTҮGQX.IŐoPY ߠ(8Jo yw?2n]oN} P5Sq`UOER+V/Kf̜-A=S!e0˵6@,`VeXw4Ia=S<3t#F:;7rGF{^Յe){?g[ |c}#}w8 ')xb)Xof{d )3dwg$, SтH*L 7. |M4 ;Za4Arpʒ<-˺!yR 2RwrՠmY4+py΁W9fW&6g +LU5$B?rrLCb.Rp0OKq(@\j% NYyu^87T> - ӟ BQ  y'6<1UuaGFoO v,,>D#iiT'K.a ;M\F$v-|Q/O~wҹQ@,^8Hw)'LjyΖYiښ\ۥyDmU}aL"'sHOv~'zv¾(WQCk/h2|noUv HS cqBE:Zvr*xѶRUO{|z!GvI&n;Zq̇vv>a"?XNsdFx`NQ|UΏ Jrc0Js4 ZiD[v=1|.(0DaO"ȧ{4_.GO/xd)Y hؐSYx_voaR EnmU1K֯ gL5r {eI D( If\>V`F(~ݭΖ$ ej(V떯Kн߀2H UA \,V8)T޺02"=0s3󶈎 lFKIްњˣmi^v>9䛫i(hP܏z7(1Qj9Ż5MЮď@Or5V9(zA8D]Fs|M_.3?viVDn Xפxí[Vp4NBɤay#=eP*$!fЄ > %'Uܑ4\PE.p;" ]0arQߋV5B{ޒd<-D! ioKmѶ'L~zx/*rEyhbUr9 Zo^!`GvקDz86t$3~z(R 9_w>@cj7("Wx|B|/Vg`]&\ԏi\z^j22|X͹sG=X.R^ż&>.?z!pSPQwgeY?~ S 0//au .(9hڱʎYt֧?iG{- >jK_{ R$,sI35Q ss"|1hBTEel_sr#iLÄ>%w(U^q'F brYNZ=T֚0?baWEal*5E2nu(GQs~s n?M|:X&;Fj"eѨ@dו^ =g{$.bV ڷI"+s.aO 8֥f3mm? 3 ]ZY!2%TxA?ɿE/x;87jlBf}Gw1wLWN! 4;#,u_; nEu8wȭ46ӳDܟQ{hȸ] q_NbsuY*i{R?[~SEv^z͚,WC?j_ՂDEW^z/fߪY֤p(ԇ 8w+Ta$+6 j"AzcA#Y,'Ȇ|sm@xFG0$EB}KsOK ?t#P&/BZ4cʘUU`c2 65v1LUn  VR)YSIw9 N7jLv6k1?v :y(/1]2!*#K9bI4+ M< &> (X8Ey(gD_uT)‹0z{yx A" %DX^Wi>ʄ[a5Ʈܭ猺l=8w]$QR&y ;K ے7Ĕ\`WLóa[84Z~ثBWP[-&|>O+j́t8l˪--qp?Hҷ~USw/'{PhD?nʵEk[rvCq;D^{zc! f[^(v蒢Bk4c+]94h(󎐝RpK2Փ@02eE4kP#? ۗ߃tL_˧.Ma5Ap9'ƬvY"[9T$L"Ɨ69::Z|iyU^C|GX[F^yC(tHL$zbZ8ȫlswkQ'4E^^7uۺlfsBS9 ryB$/R$f} Wj6X!p. $[U uVNը:!Χ?/yCo{<k-Ob} =^8ifW#=B0I(gذU'\zXNDhͤ*FdN(gm|=;M f3?{iQ7h'7+z RoƬiKh20Mu^''@$d%Lco=K[ZW!A#,>1=gCU&g*q (dPԾ8y'ճ-gŕWR"7~ ~siϞvcg/ZE2aNzཏ@ ]ϨEs/\MtkAN@L1߅o횏YV_ F˪u)Uas֤i,"5<7 2ٙH* O)'<@aet_!\a0ݰB:RBY[R$/83?@gHfs.Dխ3nu,&љ LL?JG3;{aHYg!_XEnj OcY۹dlJTbv ջ=]New0e[VN2+6QAP;_֠269LY e0 Hů[b[Lr^ sZ 19?~IƬC7)W 싟}Yh_ BoA}\~3Eic n),G,IecgfI~.OV+ 'p0_@8t7(1 t &" Ͼc-VtZ13}D}~-Ƌ@m02F6Pdn揌Y1_Qx_IX N_!eZ]6_TejR}lAۊB =T 5s`q'J1RJGRO׊ #;>bW4ZF F [J ߍCcblgWN^V0P#m|<4c0^0=kQS'q׿o׋<oH4FH$[8KRb_&VЛ ߒ8~Z`x!Lѻ-Y(fQu'-H4MetabaQg%r! |{k>b,) n0e7dDkbƝ2 shl2.FX} ݄>퀸+@"-sB7ȼ'bk٪I5bkrR;۠c IMs`p 2dLM8hIPEIoԨbgQJ2뿄@  38s7 W$KoI7 П<Ȱs#fPujXmCb$)'@>D\.Rl>if&o#yRgy2Hן0QlS+>k 8l“,$ƙ!{ŮBA+T2W9*5[i3{֘evrٓ!0.Cqz8Mh/ΘE/-oX- BtZK{QTʾ>vٰo,_} |F*n=HENhuy܃\p @=n9.^JZ1 iQ?Q{1ׄmXuڄ[={Cun7ͪpxdFNA.}5N $Nxt ! N&}rLD\PY"ݒpNXe}6_ub^~wZуtEC`W\scWgUUv+Z4vU|ʧ3怡9·,,=s.džǢâjVg3訾Vk"瓃"vHG;GT pQi!l ;ue?۪Ĭf:1m5koϢCiA}ݱ9҄]AxMx㔳^':1z" ^Rۄp~0<0$ +|#iƽQJMFٔrT0R.vzp5T~_p$J*9"U_sEEdd]*dHޑNJ B]6cm: "- TCalƖ@l}{k㤧1~{i:8P6+y>UIP@:xpSV)*Toǡ#iIaȅ/1N< tU9>b ԄB7ؑrfvlPXRixވz 07j&.v [k<4DdXb5{T8wYio< z.!csOmhm[:-EgDaZz1$(L0hGq7Cjgo;r.'!S}qe8$_$ w;Ed;N8v-XPgT`Sk̾+dh wlKCiR/jz*58UΔbڭ,< VFnL'vu(2Ȧ>;>9n)jJ*z0·o&Xl>]~4EK\mʪ6?; d?ɞ1~ `W.(ʟȳd'Ѧ [XSLYw50~XQ[0TtnvOx!8ߡ1,ro˧L$JTt$? y'd%\ \/Ik8W$҉JՀBKfm rAu\a#vI`/&(2R,Lt8^d)kZ|RƨE4LT0oJC~SK::Ly@}Bf3bCf2hٱU4cEuPo0G|%\qoR~+&U0IUltY3@]#s/"=NAL']j8ټfl++eDxfi b=|IΤz[+=mtMzBK=aǒ3Diʌu3?߉xR*2ţ E- 3QH eI_9 gBRF6TI!M*wH=c=+CVV5 عMR5KCqSX45_V<&X\;>.5!U]S.߶sP< ]]^L5I-%;j=ʅ4th;G+ȠXjXuJhVur,FC\WhӣMExiBޯ Gh#nNX+.}_L8, m=}|X*텛\Blyu "ֈŎt_ `yaǁ4*l }惚_Zhw@b^"({&t̸Hc,TnfjQH ߨOJ=N gI1v0^kpԶ7{g ].E& ɀZ_Hxxhz=FҜ9XȃV^$E+Ξ_lF4O#~  p}œpis$e"ZnfTG\ '" );Z,_G o|Q[q=vw\r*2IA_G(!շŽ0ft.![*7OykĮ28bNu&g jr1FRpd ß6o)<`RI)kWű7z"ƹSSGIQi*|WX+wC^@b ï ?i|qV,NOU>ySVgI]4,~M{6ͺހlf2[7u-)c0E ]ANgT^M'QBYvsDr Ij6m~6Gd9ܕ})GX9垅IHr*`YGǻt P묂p2wx_T] Q]fN"diǰ'4ȸjJ:Z5@e:)m:eX̙JnNP^~ڊ 5ƚO3 #w|eݶzbC)? {nK>,$ܖVݒK/~X&(qɑ}Ņb9/U8QWfDzJ| 0DF]\VV+Xv D#!GsN^,IPۍ"ԁ0cw[%اj2qzD{$cޏ'#*AZ{1}h hH2)(&+>’pp bK@m}e0͟_3;Y>:Sz2^/873'XP !!yH|B=[mŽZ{̄= x) qj́’5gYZ ^U^hAi% $Differential_Dynamic_LogicDifferential_Dynamic_Logic.Frechet_Correctnessdocument.tex7zXZִF! "I]A-MՋhvG"uIBm5o`W~*d0# ׈-C NRغw?,ty>xx6`\))F>| Y[&we$Zzw[9s=1?^5 "+5^|;5PEk,LT- | bNm\G DX*#<pLe#CEn\ aȾU+2 XcqH`Nllii0FO+[ďEs`UڏG0*QuLL=RB3:"u/Dmw%pH0û'nn)Aw-8wgiJDl'zGc1=^sN \&WI V<A6.땁^NCE}+4;eH}|a3hFg# +2>anu>P1Y)Z(pb3ƶ[CfP2(<4O7R ,g' cBJd_=gmDVLspN^ J0hW8$xZX 5y֕2+Ao% $Differential_Dynamic_LogicDifferential_Dynamic_Logic.Denotational_Semanticsdocument.tex7zXZִF! O& ]A-MՋhvG"uIBm5֑I*pZX' L[ėTwhYOBZ7?z*;1(gaSDVC;-`O"$B(9~K=%!! MۚCtf-*Vg9?r՘ X.vNَa7@ZgXYh7Nvy*190A9nJ&lTa?xWC۹$THǯ UyX"\ޝ0wƻ}=@k`]%Oѽx~:v{;=Cn{I Dm̨I#^L[+P~ 56Fq;M'_JF45guoSW͙ WZ`lC9SZR+w3YILln3<18Xt xrF}o-"OTLv\7.`<0i\Bbm]䰶"b{/0[K`&D38{"Qn^[FJ^0>H,@j! ė#?HpbD4c^MzlSe+62T#2~wma! %K,9\}up}WAQKp?dQJCY[;#4k^h N{V㓣twmcuaX,jϰ]p2fxWr2P|n JC;4{ʴ:\Fѷ@d¾T^frT~:RWdN;^tO%Q^[`Hp!E>=8wmTXL%o/DaBɬ0kg^11=1X9ʍKj=hۡ~V=gY󓵂B1[HÇw3"&y}f /U=LMhD͘5?_5ڣS/JKh;Չ8liݯ,NdXcv}䧙>Fx Q+Sy L@#,h0_/9`{7Lx%({B]9PA*TqF0^m+!a=Pk7|2$R$ ȀOB9p}0j' DmmX@#0 c'ݳ*W-!%/9D]s73J2; }N.D#g#~"Gv#UCc~7!F*kL==!9vYG(>OØ{XROWvs-S7A;qNd3_~\i ;\.dbm.~V-Q Z]m܀Nw[nxv9V"F3PY"',Rn}_|jC gph.+$S 0xAY% TDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Coincidencedocument.tex7zXZִF! (`]A-MՋhvG"uIBm5zgf1b / zz7={􄰀 |vmJܤl^V&PUggdBy}Zn;5Jy--g>xh,T%U R/K\N s%;an rZ@qj^ٯtyL΂d]s%vWأƁECلio?U H?~Mal0SL+fg9%̛$ea$sX d{qnZNgn[Ww=(Az\ũL5mw?U =+S'b7M1M&"'|qjg)19#hPOvDsMɓt rzL{'R=*ؐb_LXpKiO ONȓ> X9}u_2ȊL.@d/Ƴ3s㊝#彲Am9>GQ0 G~ e=; YQ<\24 hpx+ambC|LWp` 3G(m%i#}0=u<<0 ^4 K%-PUmρr7FO `ͤVb[CxvަkI˂'UTmLW6u9F- UZzv1HU7gWT-aE|SBTZb.܃U2lk4X*:rʜIRe|I^&G"~nz@d/:W {TtUP71n+M].nߢq.bl VQ:Ӵw\̲#.VE:uGu+m< NA?o+W<-o Y멽;$ൊ=3y~aƁ|0 W g#ޒ/_"5[ncrSrУyӝox;23x(brbeY  `Zq%< 36 ot] rC gZmakTX_wPDR{qB^n X|2cL@٧2rn%aFE xR]%"X(WFT1*}kI~A +P4Ր(K< P5o1l. \3b*ܧqʛMyCΐɶq=OԓY( ~c7^%pnXBO4zW2:ifUVvE*tg])h˜l!\mh{ >_ 6$lcoPJBn)6A х@*A)ȧ,]x`۝|2if]Wy&D|mn%ߠBB'3k؏ &Z\^ˆgz,b%%~5g&1+>MKv6]69N1B;AFPzm?I8Jɭi约)7iWT.Rz/Ʋ(S9ZKNz_<"}ə h6& xQ{hی1rw4@ڕfpJ7uޢCIɪ˼#Me^YAFFTMl.rhtWjAİf4z mm nk}Fəu΋*1Uyd 6#WW# ^<]"U|ȳ4՜ȏ, `E T mm TLYI~2 HQ<9ԯypaG;ƾ溡wMP\g]VE1rN'aS@髢)'jܩB*qDYVWvPLq qAͿχv6&KŽ}&6 U`SHڞ*ݝ M쵛q=Gh"Yǻ}aGi>+ncH^Q` NBVZC@Tbp*:Fn;DR]r GʳA"tD2@$,x%$S ʠ"*M,M4яvQjY *4#a!0%3/~t&^+֭/1csaPq74ʗ8cC- V5VĖzz vڸjPt/E+q I-(S{#FqӭxM736OLѪ2֗'g< r5770vg*C@\XuA/ð /ඃYZ1c2'cү&caxYdj*gIL9uVhuz& [snu=2lDE caeccTrW&9z#n.F_T򋅤c|>vRt2οJá?}q ̦D#Z_.aa&SZ\W@:;ShT?5~kR\2Rې]D3KX T"D3%(Lv &K䈤trb~Ņ3񊩝s'q 눿n)fw3M1ýahL0j";h5xҒM+`293i\1* 0=!mY6p^Ǎu+ڐԞmI/ tl5Q$1ַ[?o@#~YehDy%'Gy"h2\oJWK uZX ]K | pn)y=.uYDU &Ͱ1vޝ/:ZQDhA}Pz_xߚ4Wu Q@X@D'i3&v XBda5]=Va=026xzz9:MvpQ;]Zh06SΜnd]tK4\GO/XMOXRg}D|{w\^N}1(͵aIEքy4q3fvF-ZN]{G4+s.ᤡ-A߇7%TL@>V)P rzT{|1Ǐ}48A䛡ӢXK0;(PvC1ٔJy4:*eN~x@ȫ2UD-COB*^c;dEC-d6l]H"(KՉDC^}* ͼ<6bnuJǪ涸a/:"ޤ}I;N.pLBGbE_~/e`[]oo4:l"&R[IcduW]XH*p6|nTJr )s/!e,".A+X_ 2[5#p?mʡ,cC2^od-O`~Ώ8MQ˪l{ܩyj]Mߙz#ɓdhm8 WOr{fkAH $M!;]-Eһ1U/uBҝ|]ր; TuVB"Xq{G^UHs [r.e—sSAiqK30S\60ҁPNuZ!*Q㺍t%]M Mv Hlޙ _6UK U@od~qR aRy[^,[n}Z*z0 7Q9_g=j&|'9K4*3h\k1? W[;Ғn7nd:7Lj7dөȧ +{ Ub<31zNԬrւ]G(L3-nZCJ7-I:hBQ<Ӵunp" $o&ELKҚY:{k}qC}n|.q] 95UPەP!P˻ ]@ >D?bJN?l"(_U=xI״6A!Bi~I@X#m!N5TQt#Wp=ւRî==h.\)UNj~GC-`J>˫i 'ff=o؍#B,wMg nVq 5l~qE6ar{h,W%5O(Sտ=Tx]NK腣`DQ' P E'BGP;/ING=^?D>NAL"ch@&ypY O%mZRA*'B+A4k*9 MkE)j*r*{AԉN[.s^|-xۀ&mGmwz7C\֐ `jQAO T&!/d(é89"MH zZL<@/$ t#뱛+4WgqNayU4\[S/*HiWwSgPHmH<?#dD ]xH7Rf]R5_w!4-$mr$37'#nBegB۵XL"/Ќ2;<8d +YlY\_h;6 5Yil撏s; w!ӕ]H,B[_ ؃mRa .(ՅRtOA_x%zK=L < Do`[\F_ ٰ9mzmKY!ѬFݖjb_?$.Ϋ| [nPeKVc8ɲ$f,XlߎKK|ZjAS$ CĮk{YzPTGWYdQ !}r]L{-%׫]rc@evm%RuO XJV,gu:[y^$ sZW|CJ (|=U2`mHt%/5[69 D=:}Xo} @|L ["]{ oY;0*%l:b!m:`u+#nB" WE>iIH="O"V吔ƺ$bdd8#~4 gT/qVڗzF^n?J>Pa]Mr9Zhom+• Ow{ؔf]X`j6IX-L%, Hi^'%զgWӭmZFdLSE1>Ȓ zN]-Т`%IuaEzz+{r*(D<& eQ/+ɸ-e o/EGmECτMڞX!?&w'Jռo,\Df.J[$[+ xL[j˜JE ܪloF/"׭yi1 xgn-G)Iz6H^r> V._`ޢ4W$[̔-={IN`Vr98W܃d"luHAWL.L悽cTIh7} e7[,FR1WÅX"ۇt(WSDu."V&J3_Cox}K~3ȩnH|YAw&([C Tˑ(Dќ)´+Oh\Q˖n ԓeh~/Ē4ʉ5>͵\S=0~b#%8LbFi_7[vWRڎ-Ag2"Jc0e/s0 웄~YAfTDmԲAA6yϲV&?u+0<*V8:PaQ$MAT klyɼHӅsI լ?*iXqިҀ'yDʗ'jx$&+_Uzn啇/L Z:+A3 % ^* 0Q*=\N8 $ %[w 0W7Q[/ '@Y KՃG*c׳}zR!Iz<=22'a܃8TkA&|;:2$nݗy7on~_Dom~pOo-&pC3ٕjOf[_:mOg,7Ms5ɂo^ z#܀!{13#s0R߉H$ #M jʨxe} &U'7!§< p ҥvdLbfi (J'lσx!5on&$!_pSD:\IIKdsbSV7&8so+D>|AnV*~TE;X īg7.* PrU{ߔC>b* [|wd!-*>}O e[ȵvaz11#BK;ݗs2Ҩj(smIdhywjЕnH{=m>]C/.u-g 0z2r^ۓWx\ImL8*N| ڐTDG>:gZգ̊ZTYk !YBN']PUtL\d_w1TMXyl\sV!Tz|@>o$!qp?ԙ"Z ,o\BM 78owda$Ze9 g+fmpGQ_3JZU:Xd!^]o n>MoFHbFZ@?EU b"k,m7;ȓj$}hF"/M餕nB k/ԬL[9$͆Ѩb^I;:J4lE&T%צ?~qnKdi8?}iy<B=̄]=Vf'$@i{/S@ %|ź>N#\KjI@WRi{ŌD Vμ+xLbQ̩lEDe9cN9L9T6TG$]9u8#L{֥9RYzD[-ziay qlKnb3qcOq" |v囉_rPc\[6)g5Lv;MW.t 'ulxPٹ,?V\I޷?,!Zِ烉QQh$_ >̌K|n,+*F\@13 쒫3$x6IrKX%-Isl}}$2XwVll%\@dT67hkVa_s˖}ǔWnϮ VMAwtc\KUIj_z{4&V[_Vֿ: 3TMNozi3if ]:Qw-J'On~p |Yj 5-XtӚ/KnSÛhWLg!DC`@-D9{u )~5SP_:%>ö IKeB!\@JL^q2ڈ?@fM ⟮|Xa=%vAuׄ;UI!I-shtuPSAQ24]!9vjfɲ}vi&@9K8 4|< M))Sc(^<i4}?%y[mω?$v NB6 M|<һI'?->7^6lp]s 8Sl RYy"1Je'C%J3 tk/h`kAդNn|v]CZ_.>(te:=>+Y5< 1"3(E@kK0ͻGk)=saR-MH19Ġg"?2mq5+5cGghrB^Hc4HP8Kڿ9O%Nm1An1#<5 M&SX%^T#r33K%/4FՂ_QLG胤U%Qm7ƲܥR0,=wZ.Ï D܎ff%@OU(|}[JzZ[O jKw z:?k+ " q,z)n)ƚ'طP\ j^lk)b(r˜@jA#>Ȝ @<hl ^O(J+&1:'y4QS]mg b[+ èpg׾=@v v=3^68ܣ50}{$yY&-e̚jSXo>d.V?%_rVBװ,T8 i!='?5Ѷ թ${<[=ޞDm)_ԁn/N1A~#K29Hw3b`Ht"[m2NXp6EC6[Bq^={Ӊs~4UU6ӕ-_z˒L;i>w|)Dqk 6ϙ,z=-:{ йΫ{+/L0}DqHoɩg|#fg𖃂N9hsr 4"ެҟ(5tʧ{dbWS<$PJF~Nip % bwT5C;u|L=}5iX[-ی6-ME<_E-Co s͓3T5tE:M?tqqm02Q,Gž¶"d䗲 ֑#Ey|8fFvE-N4ύhgN(3ZH!5< ЄSZ;*:hbBşn['EkR?ٍLpS#:0f)ZY ^{+o's !]Za]qؗ+ s3 ` X:&EGnN^!|)J78Dv PPr>wfljmI _XM`dJl6غ,^Mлٔ=RE1^KիI4,_ %rJ[kFb橾$j"[`q2烨h $[K2:y~ m^Ek2N~l5'Qy#J|* Ae M?:׍l2 Y,{f\glb^)P kh]I.E[CjRctfSY֠UR{;YS~L^L6t68 ۋg9ԪꞫF ${FBb cTy`V#}|t`l^40ۙu^A,N~W@ U70.:p3x[&I=P!,6"u.ߔ\k0=y<+':汾mꔐ;z=XA]NY$Nu 5!՗|es,DSP!$3 8fm)ǫ~dѸ2UUfK^>U$xMu*ʝGZNy-19 {":%wY9AC kIV\ڮoV3;x, B=w0kW}\OF_FS[AޗyѯFnƘhEF)75j8OiؾUgxv;ܙ=A5Dz%qAPpgdhV&%V骗[Q-`fnnQlm^q+v?ٕB^ \.վXo'CDǞ8'`.ג%>G.-Vwo=Glg7-@mOJ@p299j(T_h͡hI`eOxzpl6b'ȲPRw`mjN+G˿vqDN̫ȔE.z \ ;\fIwtw}KzRAt P^(*Q'MƓ4)!efT{VcInE&gN*ZG!o`ոc75h3b0hJ6+ >@ߜujnRfx` za?m\YZ 0{1crMy|-;soLViJH:#Jh Vw_ |6&y]M,,@ձm-\:cPQWRq\MTO$\ G,|!(ʢʐV]\Н҄OYQ,K$+ %&2 ؍j^tm Hrh.pXy*!\GG.Z*w}$,|Ԭ<0J9&LN5jJf z)*=va*/ӂ,ЈޜdrX;-Ik`a-ʿїt'=6(8夓 合iǺ g~楓H`ҡnm\Pd_j?jRh«S<g!TSl-2er{Ib Nߟ(ILK6SLu/"Ѹ`,s0Sj Tf{ܤN!~<)l!9f3p ְG4 uZ,hdN-,Uӌv%h5:LUy~-1\xB$Mj}{B [@>sJW9,Dզ5L =ȕ JLM@˕rL]0AG1L< ?8t{4_S5vX[Ms`j a vl)JZ1r,GA!9 (5OQ5s.=Ӗ0:{j`:ˢuŶѶ ?Zrp3( J~TGB Z3ĄqaJxfy )6^N@Mۭ]<2{Cn}!6y% s\cP7ႌ bF5d.>G qb=\os?5Ǖ!62l՛Ѿ<e~5 ;U+#'Lϒy/],Ąjʜ\McV.H{ rX"xV{t+f+4\ġx1̅H U"뽲*0\~qR %!jTzl%~ #N^rt%/;ڄP&66;=L eq_]?@/{:14oo/.SK. A>m8~/7gg{F>%-rm.a(Mw:2^lcn7;ɐutd3'EqZNj#q¨u s(2]?e7@ *k 9.3yF"MjG.Py5T7E4[kF5 H,]z%%c^!PЗ_'[ ~Uz@f5k}$IUE;tGvM6x0$W׆(R'qœ&,>|Q],siY{Hs)wn@06vrjP0"jQ-]{.4Ēa`쌪"~AAoaJsD3QgYZ)f>6>{h=x8כs:r20ROjE9̳}dH_m!-bTmehy$I_휫ʂ!#j%x}tI16SnK/@A8vQ-ԆLp%n Խ÷]8@kN~edm2O+wb6y"1^BFN*yhe,IC/1ؾB~Itp~X(+D~p!^b\Ȑ&c)T^DmO @cL1#fȉ]Ӥxqʷ 4g,朗)cMyml'cG>dс}XɟL6AI, tvا◢f%Iml՗{.MI%܏j6F N{U=)<ę$fCO?EAǸEC|fdG]9X83U+[kA k5Qޙ_%W0?\SDh_jr( 4<&ӒpFds.3fĔ]9GJDhӤsmtmV'EGI U4-J֕Sq{08(n~ǐbQԫ^S8l4#Ej΄%.R𷰄}o~#D9M;D?o9PlV{9EzC 7MkEy$J&\;##&#Z W$SAUz .EQ16 0oiIt, -ҭP9M%LMUs%!E]#VD<}!Q*h(FXD@ Sdt;dѰŊ˰JmXqU[$)\3 p薻gܝ!_bX*" h: c>q)5(Qy)}NΡBNIϳGw䳐s:w]_O[qj-΢eH bSܤZ(_ >\Ixz&/@WbHm⚲G >2$v-($;i  ViE3Ï~&KZnv-JjH8+&c$RZ/fQqdI3aq>ٍ 3 SαEG ee,Q܇aGF#;1/.pƎƄކN_J€AcKoqYbQw VF3Cak;`kC%$sPԎpnhJҤE>5KK2RKaڞJcZkP,J*]6,A|f׫LV,Eװ\B1fߠ=V:Nxm4=kl񰉉 q+{M©F/Qq =n雄>; {i,%O=njݩ^rvuGJl{,0U'/]UOm7fH@)7)kEsS@B/(0Y̎э/;lQ Ҩ'ԃ8 a|-__p^ xyKx#KA&U$͋ٙ0g 5d[BMϝ-r9<4Ϯץ.t1.L۶Lcy\M4MZ ]lY4gkpp@(v0'!"ÿdpg SƂ!ynKxԶO qP." ؆<n=Q3/K':0ApP~BG]p\\R{poUńi-R}gӄ8[;SȿY%ļ5y4XFN[Q^/L?$La '8YN@ Dִ!xCc'Atb/-ٟfLOBB`(@G(>~Nlxv{wb!ts{G }H(i:}ő˫+*\K @Ww$d=ǫ:MツhX6F;:/(DU#A+ТkJ4N3;~gb6ƻ>@ ]y eKl邺BE{5)́#Hn1Q׈'lN/$WWXrVh̉Sn9p-pha'):Ţy"Cb!څu.r6ujFy@Gu/@K&.88^tV}tC)& 7q*<៩!8F{.כSd,aftVكOIma3؍LAh+9xrD̲fL!O$uq۳"cBƎH< lf+3<~BD|iu7$#84\5EoͲrטEb['ܽ;ˤ?{E^ ?dPy+@oR~Β!U*w"%B$A%ײ3缐;b30: o>`V39%_Btq,ey-=hSs!(/`- W,N~k($$Q0bOq +ʧ˺:s$`0^nNE]eҞ. ϊsÑ=@;YرZq;t6MJJqپW'|CĜwRƤ%ej GwGM"kL%اbE-AY;!L:ԃıgYZ OO& AO% U܆JTi| p2ae)K|=s7>X|ldvbQX9xnj C攫i3$^ϓk:E!k Ȍx5\ ؆51DVu%VCJ TxB-ٖR}{ELjc(M)%tBLвF"PlsXi><(yXz{] RMԔŽFG]#Al8H5g0ˎ-VS8iG^EܟJmǾ?zZo±:t=N.4Ah]aDvG~@orik]LFF~ UQUFGJhњ}Dpwwe"\u!v"sO>楾Ѫ;fa:rdw\MgmRv~wk[`Cg˅>1]UdI󷗫iz7ۊ6r[}lHl & ׅAqPڄv`DuK;޵㋓ \gfʑ.H3|j8Oh}k0d{Ur枌3oBfHM}a*u 6S"Okj>sҞAz F2'J*C?u~s(2 E[&50F왒i 6k~N|;'%^l-զh&H*J,6?ëk:0"Τ!F_JrĴ&NDuQz2ڟ[byEϰИG$<0hF|NN0چE7:;J!a¨u#Je0z&њ ̯,K]6A&S}@VJka]YZOۃ+6tmOrLu!= B=\A`U$˝BOt|kF|[x r5p< 凃"9h[m5D(6XN^j)`3dDxQ\ʼ]E,MA:Eph޼yҵ!]@ Ba06BaPͺ?.p#(!)c.6E?n8` :O;js{K qל9woD[D㈳$E[E{<֜&) Gk;E޸-}#t^pG74w+ PZ!ji$X%V~c ̎S{Ԡ`U,Wz'U:01Rn}DyzAÉA2_gC&);|U4T>1p RIԢY]Q/yw"z+ۣ &}7aP*멺5͐jRb& OX+pZB,D}. mPVɑc`kwJ+Lv _Rx\CB'\Ʊ 6UV38E |#c;pJXG48XJp%B0Xی6CoX5@jxea?* ퟅX&eͲ/C{c/c5c]H n{fWR7u(]Ky|ى6G\]m? h˛ѭ`H8>I•qMm:ʜdC' st6pv>5-{Z]BCb~£3 *Sit2-'?G{=Tr^ub_ump<].D5E ֳi*2ުwf0< ^hm$e:55YiΈ$ڮPI}؞~r)v AXoTuBT s$)r +,_S \Pi=枮rGi 튷U]@<;0‚2UW6|D:+/,u+O PyV2!A6xf"S}z zq!k?29IQDFkvj z)ۉopBm cD hC{3Wsg?N4ZOjA!ĺRDZ:jR_c3΂=/@盚>t-j?NִǒX؀Hu&“Q+͟Fa^Ek:(^FZLC9ݣ[^a\3N :WA!!  ai4l,[Ϝ.FSgbӺĪY}M)ْ=ndAe>4ҽXZ'_9z"vw r7@DQQTLq?FHzIlE<%/q M2'"st-]>\p4wp{ܵmi8ͻ:޹ˀ{A8!$=jl4D6?''q@hUK`  Trlڤ|^G?))鴟Oᮤ:]B`qQ͖m8/AP'iC"= = NFؔ˯W$)cr_ ҕ{elGTSe`L?'JtJr>FseN "n9AeЋV'}L4DaIu.ds+ȟK8mJ]J'R]? ɏG\R+]ʹ##smC莥J%u$B Mͥ@#ډSVOgU(6_JvWicwW _/aMbMMh8а)YuA\/p%Ǻcp>O2ĭZR]GY̓F2a[c2М$:1!3_Nhc&.bF_yf_[G0ϏE<3؇Iy*T1F 64%FjҌ!x ?L5||w[.&pei'[FlP8$N5)bsN}oS$gi܈];@jdlnM4̰k Uֿ^:OBoߢ;3湬AXUNӠoo|`TC@.; 4pZ Ct]ÞPG)U3a i y)[ B{P5^Ng`B=)+o]|="'pp *1չ',7܉vV\ΫRrtFa묆1{qh Aw R./!hX# {XA֣<;9ȇW2)E{Ї*%{_Ved2t۬l4_y-Ur>jq7"8LwA' RgV6M}ό:Syk-cU ~{h ,)сkd;AhzM:m u}O`Ee*A SEP@)oU ܌::VSgnbhoZ ^NTER/)gf ~bWXS0 W'LО`ϜȩlÕջp NM=+DTc:LN5[|[;ʁvؼX~^݂(fBU[W7+ x6+1*:bYis[z'C =50{eIDwTJuRp[ Vug fA"ߵ$y@m^uyZ17Ǧ(ݹF }_ǀK65(GgrQo)dƲV U ׈ gm}YV%2 Л2e4#ɋm5(jK&_(lѬ/݀u Dx*(9awOϯT (XcV(0)OfO|XC *rKRo3(˓O3V|4=Rp'7s*@S}#:RuwT*:S>2 e}2di<%X1< VVqNZF:oxS#c xªas`,^ 婼sɏǿ@W8[>¿hx1 z=2AN2j+?Jgi擳y< GXb`7"h.twݤ(17-}G=8sancn]۾+a|EBA\gm>=P)H⨨13p aCM+5jҁ Td߄[?se.\]*ZQ$n_>گLc7'hA6VJO09\KL;H ^,W1}Vnhfk5VcJDn3aV$kמz薊Q^D:.49KL%$J?t-݅`Ôyb'#8gX*zϔT9H54R-' c> ¡rNC.dxhƷt!aB8fvzA̧r=[SPq6*|RL<[tqs!0?ܯ{L\gzS/x!plHS:3qU&CL 옋8;G9zP daӗ.H$*j_g^/K%2?0~H2]c(s1(CqlEj x𖄾.#67}[-iEװKAQɆPLfbS_MdҀG*Tx3?MY3d:p2Nv"$ۀ)ßaV;w@%XB9wѢ$A,ڍi!wBJ>Ú-w3f1p31ŮlD{h[3{% |"K\#uk=I.)jY^xo~xJ>7-$)=+ 9'ax 䢍ua\k 2hAŎ3 $hjU;5%79?niǘ~p!JMlWQTq/( BBPl3Joؽc@:*? oXlGQZ0tUnϫods2'E~MVz+'-¨H Mн &a;/ p2~Ll!>w/{2Z >\1keK `7md3ʵZ_F1CuL;m""jm]uIUQ3xDXV`O?4F㆏+2d\jF,iyD:Gm.\*JIy Wξs@NwL[Z`|S*zAfq+GOmBګ.Ca;D;HII͸+៏MH+iiCfCkt) M2rEb{Z%'h9aNNzG<綃Y=1l]H"Sصc JH/5GO47hёeDkjkzhC-o"qF9߫;; D]{ D=gD5Jy=7;rRDPXqnHL,!ۀp;~LFlqJ,0K"c,̃Kt6Oo2 \w/؇V9.d7ƞabm-z^_y6!$j7Xr.#dBˤޮCaM^]I$#ƳfdjRM${-> }D6x߻`?!s^ƐP)3(*y#u֎|%Gy;c TTxYٗky ޸.\'HZ.щhaÙEIoֵdhL;"[/:];@UMwl,)%V_CzD^r"Y*V-%.%#mf O;q]$yig},!bw("V&Aز;*nx2^h|ƅ׳rm|Ӟ6./׉!l9%<Knz7b6; "%mec,$Mk2qQ NXڵt[R&0%J^< ]_c\ of yO"2s1bMqϤn l1ڎµĵ@'v2^LG> HfE=Oxⴴ9LH3^tk4\+Jc&[-W7n/mх]&~ŷcӶ?ʑD?'q?~=tU8L fFp0*lVVξ:ܿl4pr3߼i.?o^.`YSūiNT)rBt=ڊ7i1ԓKFʒO@hVnGw3 3lOi"Kbdq0/39""|W aFyEϺb1ᴚZ>?H ;N2kH8 @Jt L)Wt=z7gefڢCjh0~IevS?D:/)_'Ɓ'8/%Uס08|bD~xPF@-PƉt+i RlԝFv9Uߦ<ܥĉ@:!`7X<Ԩ&6}0$Ӈ'%^q+*;ՔRGcYq&+ʘtC29] ER)zu*qo;1K%vroW,{uaE֓HeC!"TPoe;].ap/{YV)O8vIwg8?伽5풐*ę`/AxZ惮'@8lptYȞy`RT C|8\n2SBƕb^i)Q e )\WUt|]omö0UM)AEͼ_W\T>0svJr:VDw3)*+4)ŵm')=x(Q^Gy2ʁ >}DA H"_Ko|'.R,ARՆqgYZ $I$ AO% $Differential_Dynamic_LogicDifferential_Dynamic_Logic.Axiomsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5>nN`u1%Rut|tYuS=Cw ^/ W Q#Akj喻7lt ݩ!F:  M2J!5dJnTejD^yl +䃦:k[b] G8c$#)_}%r_4$Uu+3b\~PSPK{ Xiu*\,`Um?=6:; |c%d"ܼ$\S򒞷 Ϛ"'RGѝOfԈ .*j>n}'~5CN]VdԫgԏJ|%ߛcrCб;ůQZ rab`o@8It#w^;*6Bj4u1a6٥ruT~I? {R[b2AҌGIA9OiTMnPm=tF UIF/K  J䦘_'dz/TܡqY’rq ]łO-߾ JBR=񑴠q%0`嚉mD" h}QX( 3U ڜmrwA%/ӧ8(Wˬxfp/3O%LeGvҵLǻGƖ}lԫ{9aEbBqS]%;CLh1<+\\  `+8}^)^`Swn]E^x +T819N9jz22=CѵOow9]O  ް &~EiRu r "-aç|ǩ̪NobDЍc|_ٍZG'j1 ta,XGxuw;B?R4cXfL&|%]DBهv3~}C c~_+{]&il3\Cg9ki+`gL8~ߚꝔ uq-'xTǬk_{w%yT7a&r&x=T4 X |3edcqE;¾`ˮqźsoh/8*1lo (+CZtf&gAwţT*tTkStdH+U*ܸάSjE>U[55vT5N*FDŽwO5fFǘ_;80.} \/;O9PN UHKY>wq4u3Yq`:ڬH7v\ Sj6ꈆ=d n`MvxѾSF>͠h JLCÈ e -•"hퟱ)T|)|MuAw:P4Ԥ=ېZFq!hⷚ>KG2κ8>.UIrI,H{;eޞ+Hk>ƩUA=6"dHF- ԕ5w##PBߌZEː' 4@Ft$&K] 8%VEb+;3p ju `=:Lr{}{+=5gs`Gy1jH+>4,IYm,Fjn:iђxxon۹׾RLI3 2_^l `DP&|6[;0#7 mluսY\|Sqdд:P|.Kz9 c=i~ࣗ AA6HؒJ>b\X)-Ut:nƎC2MrVβ{TP7 (<}wʦWp q~7Z'ϑ7")8uM1dN3@*MZ/)Yz]~>>S K 9Nv-.V8u(~JfdW@6-k$y^YoT֞=zP _/Qy=Q(i~Z*\%(jb~5ߡ礄05s+@5o]i> Т(aȿwT}ysMEܩ2'4aSL0/ԠWN$25w5.mz,#Btʏ6 ̭_ԶDn %.FH3"LPVXmJS4 *18[Kj(ȷ6v, jwztr4w"|7 GwDMHK88/DXNyİ2 p$:+U2g.bC ęEYyk/c^.봭c_06Z~"e|ڂsއ۴ťj[>^gtf(6%;u);S5XFb}>sYj\E%pN%.P ȘX{,4L|yPr& AP&^X] )_ŭ2odPd"uc}nIQsc5:nfI.L*f3e 9gT(:cNvy7%_AILMNQ#a==Қc/'i 6{^AڑuK6 X='ߧRuc?״ZJ &1;*x>EnpadV"Yo ȶE hA}>fI짣 dJi T%/k@F8X0~ 1}/U~| Gp">\|Ӷ" ❡$G-]7k.7[Y%W8M1f;aXԬ_1'~vdz]u +MbTzXI #{1R@ tuiuI>Y >Ȓf%JPx,Q/  HE Y趂cw,"WD1ԼnnɄ)Z0q6a7Qqq|pB[Δk8ְq$-ԝeޛ^jsy =QC)«/%r,),Ev9gOvJ.dɪcP *c=$suT38&S. YYq4c(|DADQ''OYuH2L:;K.\jE"ٸ{ؙQٹB+ Msڐm\,x`)obR0-yIĹ$&"=Ljˋ#&MWS>9K9p9S '2 O9jMmIqHKu_x4<V?:ZaOOE &baیj-ҝWu(1p%6[0'WnUx֒<yKn{rֶ;RTv& PzC/諫? M%O eh2iqԖotm`*YBl1:mrMFzD:;+Ыξ+:Ok͹ &kGhsI|0SEʠ0@ Z. b)؈'JUӰ|u&л>m'`7a$(^UWޑAsqBolώy3AѢ.X<$m.T}gt!!~8R^8'(Dφ~Oy@;qsvL 8ѼgjL;7T:^ܩ~L0UպQ0R%B~|E~/[PG&F@Yy:XsQۄ:fjI~bK"aNX%mI2}PME׉Ppk?t(UpJ^\ iy?[fyѝ[-2 ᳧;ϖZ~pl^EZ_=X 5٠Nkk~Dˇ`Z4#%q/zum 6< o# +tyip"LNʏ]Fexب?@7My=&<N'۷I;/iE  b61r TI# d8t>ijfXRq h@H l<[y\$CÔ0xxMbٙj鼌Ljw4w]Urؙ-tvXp6<̠Why&[7]oU?5Wٔ_oY9gCSiqLGhI:9#w˜9Q^_,%τTlbDâ%fdҡ#N!!]Tcɸr"ЕRөF?$a1JmVn5&a H\*|WvDW.6-20cDS7W%rw<@9vKAN6χந<3"`W*OtUXТDa E Kʿ=c\tio5^4 ['h4]*&FvvDR5Tv{#o[ AQ(]d.(Q^qjI?qz*ᝯĪD( b]q7Y#}hYtAɝ>R$B؂Pb[:| @/&f#$`3m[MP(?a+9lb4GrU,Qy;򁃬W}2_~CsmZG>y S0WH׬N0>_b}TwĿ,%?ֳVmqBI(,:g9!]Xe"< &-(8yR1(&6)600t'_O(#WS٪#=yVvR:42^+fotj yVW<^MN'鞪7rbU+]Іzsh+v݉mX(LG.APRI̼ ͅ )+!4% D+Xa [lYkT^e&%̝skg-ؿ=lj 1!+l↾pLWxu s#Nj?bRGȡ2G&c乊^zO fD4 jMa]W2P讬vyB[hyJUP4–eFlGoH$倆:9 (ub^")wQ>j&'u0)dd){hzi 5N)d$=I}4)rG6@`iQ_9FL Yr#ނ)p#z.-<|Z"6{f~*t!7?dvJxR9. 2>5+;3]&- }u?|OP āZVNq2S}D YqԡX^]t ,&MH,kA?Ʊ@hp#atfS\ fO%t>Dn3n*us\X#0+v}/PpQ IV $ZN2zxqH5)t)3cF`;D·BliId'̔nkR^0ShUdJ{T<6J;Io )}[~H_X" auE8> Z1׫"ݰMu,@W QŇFY!w mXQQnNrCLpXp)qG SrҨd侴xN" \ *;_1 OM'-VgYZ aa Ac% Differential_Dynamic_LogicDifferential_Dynamic_Logic.Static_Semanticsdocument.tex7zXZִF! o]A-MՋhvG"uIBm5ȩ؁KxEE&0t]]~ ldL LAƠkZO}4zI/N헨]^lt_1qt|M!|iq& E+:kyKU41Ə3xW5 7 +YMCԁP 9n_=T? :`mvSC\ |!>Pi*0>DsFPR L+ڛϊA[I=̤Ou<"\ \G)S!E9Ϧ{#eM(/yN;Pmt 1DUˠ @C)ٵ$!ᵗ!tg@@ÑMOU #MM,}8W(ADA^o*bI:s%eTP؟ ] uJ7HV[6>9v~(PnS'Qi@2a|qU̶i'$n KVmI}oy./⇕|Vą"jsP;kS|2 (F0_ ;(Mbj(jb'8L$K@8B.rIኑdӒbNsZ:`1۩c$$"m(w*U!;y}vW nJDDRSNZV/)a|i+1!(mîv$^Rh.^Ebk[8hmF*yvLq>Ye1z'B\4ձ#2=ȘzH48Qq/OqŴnӠ@ R",P .f{>y3`P0 MkkøpruNg7S5~l҆vD.{Gڝ~ bt a\W2CNZKxM:e_z<ZM97LZJm D-A|l㮛>nżɞe/yabg@oLsh yr}S,Wzg\]vCVLadܭSw̰ai?GTnU+jػ!`SFp߫o-zgآCOٚ_lͮzǁ!3T(!e|Uߧ8@.U.'}(!kYFY&0!|`۠3_GnqQp6 )d 7)ىztL(/&燮p˴صqw*G1N aoY 04))fFzVOk)):M:g?&?r_-&2IVEՓc_0$ԵmLsPj[-8mwHrlG{) *aXz) G(A1]`kMFwTqˎm๼Pϼk盈.*P20v/5ur8Ӛ ^Z~EJo*F"#h#odAA6+c!ՉV@%hqIR7lp%q{QGtTBQ_tơT=vZ5X$QKI6-п}RedQ;Cc#o Ԃ0d߱/3<˴8@qQ5 ,)I1*Y? F$,qo^'gfT2XJړM3(nbpRjb`hH؂,?1G`z03 )b~@}Ն= z%<0v3:t}0> R9qMk E fI8dn*? _Uas, !FFͱfa5N|nj/KNGn ,O{TpWQ1?J;6~@\g[KDh3qJ"ȯ_,#p"HZ-!RɄJj18o*|%17dyCe[vFA|SGYj?+ ;zd~UcXfz]hCI"\8i&!9ۋ@U=tk{ֺ,ׂ[z 7g U7F !ը}" (6٦бNI\ksᇉТꞱy@1PI@j]<NJ.;f+ pV\- sXv!32i .\c Pp?ԟl@%dKvZ@U sƌodP,AxDIh [p\1' 3| Kwdj3T`as;YVpX kL^(Pwd; -mQؔXӒann0XuDpZ&D""-9 AYL иm(p_t~DT9 ¾ D aAM#xu? .RncLBj#YgP\THZ%K IZFvO1Bڦ"}m@ [dOU!r@\aݯs8EM=(a)]vA.h^0 g'NђL׆dvzvQ!qQe`&{d|]G4}onJs9yp}Q ιr[5e_q(`~oWl/#dWA2 uRWpq/D6QIQUͫ5_1v-;S$EU2qNYsZkO}m'Bf29%hS+z΄(I}VוZ0H(gYZ GEG{AI% lDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Idsdocument.tex7zXZִF! )n]A-MՋhvG"uIBm5Ġ(׬Y>ի,LWFB6sxzi*@/a ʜ9F Ё6r"u,1V9U{\ ޗwjz`v'C;#IV_ ucwȺcfa1Nkm-W`#*=gЬV-A`NKlad~*&S0ڝ{8A"6D_(œ̉'fL% ts\<gB{zͯRn}"iy?$^焞kOÙQwvm;cpxL !4 /S?2t5Іn.ZGDv )ʷ=–F'"KoDA6<2dgeIy " sc aEk-Ew5& w3SHۇpԸ3%4Ba0:dVRXb}|S)OwCC{\QH&q6 S`eKs|3E&`G'"4!Oh@3z R gYZ8 A[% TDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Bound_Effectdocument.tex7zXZִF! X !]A-MՋhvG"uIBm5I$¶Z3|oѺphzl750̣{2u"pFۓ6/9h+c5vۗxba .'0Mffy?*d1Ѳ?ȅ_dmϵb]it~j!s [=D7$⯫Ҹl#B|d ̡"v1"e#W)ʫŒ]3bW} աXTݖ1\rd 6n0c dqf: $Cc)dWܟQ7)H35 ktP9 ۤXJO:yX l N2>YC ".`{.T))C!jª[@\]u0.?4|x Xiw=VDQ^np ؅{w`A ݃{PX}ݹx; GZ1.<|';~p\+.r4MS!wBR +1byk~`E46LX:-)"O=+W]Ha]ȶo{TZ_+s`ZE!x?lFn?bF-& hBN:2 ClJD=lz#Ti)CHYR'f_BrjY hL)uOT|\(OlXr7AFk>LΐAIl5oaA^b¿Dܷf<`.?>hޝiA3}| o w{WubrN*" wMc|}}y #f}=[86|mwʎRv2FǤf"ӭH߾IM$r0jQ;Pto/ga=Nǝ< pbdG&%NBpkOwF+?X_`6R \Ckg7p8'];XMQ1 Sɣ7ۥ̫G1!ǮC_9X}#' ~ zp :\.]i Ia.pZx0@-xhҶJr|grJ(SgL F{Z|]ws*Z\MfdN hbg )?9 K4&!C]pU"$i, pF`$f&#Q| ̏(IK9(v5t9 5ט<']#_T'b˳ ԝaa)D C0-r0ͱRcD IB eZi>`[Y8msx :-lw854KJL M7D84S n<5 F$<4q}T襙6\)OU `OS|5#m}S|<>%BˡτW I!5{}\d@< 2+Bf6AO3(e>ūs惱d` ou y[Vۉp @(a7XG06^P0O;:v/dnpxe?hLC9,I+}S }mhRC{Je?cf}Imj(;}/ytc:qL{%=>R l ߶,t90AuaWϫ55b"烲C&`"=uvW@LbȒdž*hnwQ3:x%|c̞_LH:]?Wٻ`$+8ArFG`FO\OWNɣӌFaz \H17$g?y3=hB ׂ)&㌟$fzaG1L}ٕܚŢ֜M[w UzdYhbƹ.B۞׏kBeMߠ_5UQ2e ,DQ@#MYKMy 9wZz4=3Լ/BfV*L"a0~n}"lV:xIᙦ{(Ţl+:yllHj/@LHOoH92&4h>?E>9ﺃ8^I2X;X-08\eGcy.,}"yDÓ0q&&U7}sϻLh!Ք,Y\ ;=cgYZ ~Aw% DDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Differential_Dynamic_Logicdocument.tex7zXZִF! Z]A-MՋhvG"uIBm5ؙ%Tl Z$/܀t^p˱YwfF@ :%v*\re$}V&ܑ Uu/nARBQcCwyȟzOLOqV?MmUʡ,Z`ǻ5)V3#\Kc7Kp 7yc' xVPac JWoG|600D  g<9ǥ1ݒ}\P#p<_a{x UC746d2(ɴO0j6h2t@/lgwGDPc$X66WE #VbflaW` Qd4W%j3P,(Zj*Es fMb(qsvyKwu+/=ygDu ,C,xP7Pߢ+J^8=&= &4豔%FTK){(gOFuPsr6,--6Eѕnr GW!h-;Ͱo k̵DG90O(*S#J%ٕ԰ ; $oX0ydf29cSXgYZzA_% TDifferential_Dynamic_LogicDifferential_Dynamic_Logic.Pretty_Printerdocument.tex7zXZִF! ]Wc]A-MՋhvG"uIBm5MM`˰`X# J~-ʪ 3Khژ)'(blW{L)Ҍ[;wjM;2_nR,y*Qr2sBt!N6mf`w ,t}grRҺvp y~ևQtdYG!L $LQ@ 8z1ʎ 3fҎF Fy ga@qCb*%пyl6c߳[r:$jM.S:KQ4;R0k݈aص(Й sv0U璀 ){@B Xjot,~|VTX1l`=NsY8$3ueLIqF:X6޹:7 }{$5~NCO|xKQ@;,  s\XV(^' =ZUa+E=7p{qMEiTSdQBGk8opb5 "٤ëTB !jΰ:|1&^bQ͙9a{Fv`HP%bkcmnu Q~Or-ąSՎ;S$Z+!M}7AiސBFr-"k؅QXH f{. 1I 5>l0t\I! {kG紙=hܝá ٲ"Aoe? @U.Qt)$ (br 6:5vPW3X A;ϖòԋ|ץJ*75J9T`W)A@h oD#@Ǚ/5rx~*&3" 3_Pea4YP6NitD ;s{SJk4K%( S /U疞KMRuTL$a"Wdi_PW6PwaA=*ƕ^^iI=Fnlqq{W#)@LRE(C'K=gn\+e8ygcXljg*gG,rb0S( Tm2cInnbf^OJ|,6WEoJW0ogNo;f{biJU4YC}\h@0bkA"iT!bF"!upg: }NxjO{X9dF._M{FQ/x-< s@ Țk֭nY$* d~z"y]Sv8|ϰ xo}nY"/@+ Y~:h&CL t p]Fv/ Szfv< .wiCy[%}q.+MeC,V, a}cpWW1:!Pl*ATr2H4L2HʧS WxҌkgA ACpzhˀ1~PG጗޸O; C|cIDofmNKFYr f-7BU,Mby}2M'1^]*T[oA5$S vlq< Ӕ5bL><߸j aST9(0AeQؓ R91r8%K?QUl g=_N|X??S#KHŶo+/bT:~v@砐_ƓmE~;;cf{*Qzr '.J:З]t%/1wf.DQ Úv# ډ~TWr `9?:zkf]Ư rGĄu^<ɯ>K&|ӎZ#pjB׮OOu%Q,URcbBu% ",_ zPY%́Y-8$[QkciÏҷ+e-!:VV^PWw,\,I/ ܥ4xKg^:=Fhvn |KU9,TGVԵ(3sxf X QisklF$q[Ѿ(l.W>3 4׾?_֝  j "4UP[f&hnḡV;$.lZ:x e{KK`>l7V}cy9kF1?C xB=Z)}%W2gdYB~ZI{y9PRuHZw'+qGjAB7U"8IAD}YHDqKqvL0~?S+ @ZYnr6dL$$nʻ2EX d>7Q1Tƾݤ·&Vo[ěYѥdQ΅}dk* ðfM . Lpzɸ$o*3"_r'dmL2RȨ;ccE,P hsWs SR4He y?-S~r/F*7?[y3( ԡN~\qqE;*4Fd9=7bLaP)R"d$O+΄vA]KS.-.QL6,[߀>`JV@S:oc6)0Ty9:%2pik!r }+`2 8Ѷ,*z"7~/TСZ,Wjܗ6~ex\I HĒvg+0Ed\῟A\k*P:J8ccW7fɼé E1m+-׸-;m Xv^]jgco3WR}<[ Ol+b"x]QyBH@ ʷ_JpHMv6:94Aq선oœBI 5ZCYsjR_]Ɓ36߫kQƺcwʴmq(l`&ז<|E}Vnm'bbu^|l1{ SX~5+(\G,x CgG=_IȜ\ =2G,x4GŸP@خjfTsٰ:*u8{C@4ל`P9)p*sGl5cWMlxsQ(Xf>~Dt:H8-LPx>G43OW;tzXe2e(؊v4V$="o| ֌R){6+)DoAr=KyUW*_]:=+ +N|Ѽ,2{uFRd0y^FݤR_ꊍK؇k!g"g_uyR40 kg!Apq~cvVUIg.sߴm<XMwPR"*$$9Cc, ۸~%ep0TDj[3K'R黏=\, ܫ$#D7Po-{RGpJoxJ>**vArS!Yԅ:rId yv7!rثC-i,n%X]ܴ7oRX)oZl$Ȓ\P?Հ_(z%iD̓Ba|xJvp;MLVkǧ}}ynTDB{2! u@o 28XW]?ۋW8di4֫1S;]Gg7)aI26x3p׳E3 (IӲ^)xWUpMs_-TrvEI~;c%F +mj*,B%ȵILJ+[,| cN^Jh$KL"˯șƹh n$K-}?"wH+8ƂO}b(2DsϤYzk8%c@;SGsU boA؎Nc$=\X@NN_0hW,dvs>GRmؙRFauf?l*U:%Ed؝|> OIllW$KE~lP|GӰS!PTnsQ*fװ 3k~~!ɵ%:g}6q\+#Ο<Q{ZE^5aQE?jN~ +F_KapK1!  sĎVk$a\}jumFU74wCm+rjn7`vTbX9_jٳvjPowlM 5{O1XM9 rb: ֽ$?_fbXXs~jB[KsCT]=X.Xϯ*ost¹hΣ [z+B֠ɈCM'MuXǏoB#j'x"΅)˼š+uha0SelF^IϠ2Pd~yD`x$>|[]G3nI{0 +5 dLsŦ/QeޖO!f{J[iښ1f0~ [B)nqrV+,Q@%U-Ev)DȭS͇P#\xNzVQRb;!R)jYsem_4pqȕݎ&և; U 4hoFS˒j ޽nib.dnS0g)ݡ輭GC0j^`(Ƥٹ)#]!#sFD5a^[7<ѵ-ʺΨYBGăư*aS^3C'۹|H5:h-2E3N6̹N)%|u]A'̇j:;Cn2%O4Z~ۉL/*U{^,'IMFV ʾz|Z86TK9w8r pWqeY~gi)i9?ؿĂhSqfiTIG!+@~"!GPTF(*(D"?:t qoMDp |C8N Ȁ@ )w>=_:YiUvUUsQ̝LrrDL)73[[ǣ}=\1&ߌэkGi˺.}[&#UJ:+&?2M1|@ {O74~I%nu >o٘D~l[!ɫ?>xϤԌd)5dq spR=$I9OYiuWX@d|peI2L˹W'י&(.5j"JdkyGac8H!W,hR{{^drX̄baV6b wzL: BV ؽ~QtMmOfsw[$a" I`g}gh{:jh+FP 9:uX%z1S3-O퓪)Ah`# F}>VF#?Zi`;NOnUNL )~܍\d}q#':U'0Id(wN4=YPGWDwS6RTdfyW^P&3Mdkτ\: Q "S4)NA@qS:^TљG*<ͣŮ6vY ƥjJ =R "xxQ ^Fpop\B!HB}Y~.Åڤ2_fe^zJ6f虉k6g)J\6v4eyF7Exӟz ֧=c.jH |&< (An"z/Jl':Xc?VO3*5f1p[zEG 0Bhw[:w4S,hz&4p%aѕC3N1j-G~w{<툄{2I098" ސUF O_BW!bp{99~cA_G5˛\&/jCjB׮2 ]7zOw?MfQVNNzT]@hwxz?Olh 30&hQc@n%L.DW}vf'h~z$HT2, hh1lz-"䗂Haj/ ׳L;MVuenD"1Re>`N+#$Ttthmˈ0TʒN' I a9yUJVM Q3&.P]$b܇EO}cJ1 <)kWF D$j*=Jٹ˵j<^̊nɕ;®s?A29ڗA.f>SbtGx'k,Z9O=;"ݳFWn>b K3aգKL@=S!.dSo4ldRPloƈlxL6[T+\ i[  إIy=+~$AsH1PjKd㭠+VCEc;.CG1_՟?l7OI3nto!Aጋ(&NRZ$0Bgete5*,k|լb)0>n!Ptc`&ӷq_1a',lk߫6cy>UWOMg,egJ#Es*KN{\]gyVC6ʼnprw5(jD$jThC)[z-e󝍌Zsu%P.f\f*8=աGyӦ9.Q@d]" 5<圱{*~6]ܩ*βҮnTu?m8)^340 "*WtuF&1e 6 KSHi}K;퀿2c',2!Q5~oRtxAMUI 9MSqFEk6.~q%} oX~r;T/)>a @{i{0LF {5 %`]Ż"T̰UU1BK{v0ѩmF,MsٳIODCޓ$IH)d,;.P*>~b1,fPȽB^[0>v̓hbyy0.]A+`}Gģ{NN}h(/ÑJEF?%JnPAgM)Dw{AlfAcB@56w>) H%%qN1 VR:藸޺8줔NKѯm agCV%3V3;  #,}z{ 9y1.Qk7D!w XdGjY=|THE]:E!X?!RBrQeE~v06ʾO .+ 5$F~ʝ' Mv|VƲ1 Y[T&i-2V/ b~z5V"2Gw0%2[XQ>Q${eFkHFlmdX JV퍣{i6\Bs&=~V>)ިxQAoۜveFhy+[yau4D]i#Jr*}|m4I82EFu{;5bV *ϸ+H5`.]c<eڵ^ ֆ0'h]He+2uoLhCpIb9J9Fm,/ +;T^M+'Q`R9Q.sMT р]%o^r%?mIGDĖ˄u+Z H0e=c %8K0 t}n?qyF!iTkn k ܯhHg9nҠ$- *ID4"YocZ'rao;[/"0o]Y"")o {}&^jhڰ8 ]*F"JH'M9%weڼLg=b)Vfz=[b@ݕSJM\a oRMMzd-R?@ͰzIsZH.d5s7Y]y Cnf9,SP[\$[}9 QfQv@j isIC;YU\Jۈ | ƃBG,6t1u0-õHS0Ŕuc|i`yZ.Cݫ?Arn&c4%brf R*if]2*#z =[σޛp+xwT-RŠE*q%o#mL:Ba_ mBͪ7G[fIBO@#c%=)ƒ=pE ͎ܳėXZf9f8]6Mъgu/c5vQ)J hZ0,)CVSi]-: Ob_ⷨt+ elQX?ZE mMJKtLSP?9x\0w4XҬGD=c+wœZΎ72eI9/J ҆ΰ31$Z;8ƩŨK Fܶ:|'@a1ΦzC8uaCZCG$ ^5 l9Kc0I\IR}k_y)ifss@btddgF\;UcN=K=2>Bz:{ӓ]TbU%!>UR}%ǎT3Jߺ$web;Xg'.j/Ι(l ?7q/04$* HƐ]fÓCw~p'-豾ö`!tV (Ne٧?裘(u/Jn LTs&4/] iUe,qځnz/8Z - |G"ʲq7:UWjw*)}#{̝\x$+)+𨔉 FԜyOM"!mPRAHbuqV#@q,6XS-OVqu#¨3~]RB,ۡtEF}+ϸ:]5>S [}Ȟg !b 8k*- ppkn/Iuj1chss^,t>!4QfvΘ~X2dVu,_T X5_/1'R鏔>(?` A(Gh)V%4ڼ1kh돂7a"qT b\]&ыp`8Դ2eG."Nl4H pIyR5-ז|.;,q_ )Bm"3rZRّ>Pƻo⫖ H?\lEdTXr@ʡwt7{]Zfk.5 :$r/"£SvZ;-(>gdVӄ0>0kD`Q(QZza1e 6 D@J fO{dm!NzfUL$@IŁH_uJP6#1tPVe@Oօwhcx_V 6 r;RUZ']]&KܢIebr*y[/0`aQuvh"2\\=