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 00E' |\ ]S UpDown_Scheme:threads=2elapsed=51.437cpu=98.368gc=4.056factor=1.917zXZִF! @v{]ŗXf1-q恉<]d %S TzA=0 e"'^H^ l1b3fbKqWSONĪĻ|* &FYUfV"UO,g>*,.3L``+-Ỳ;t[2:oM_|c[e"PS6pl Of`mijS#"ŝ{$U-f%E5! 2]Ky :$Hh%J4t^t&r%l<}h8"(ZdFI"d"̖g!<ENRD79ZMZDϳy[·v!;=u/P=ev>[y;|'z$\emZ=?gKݩH8-v%n+;]"G.ZˎfA?a%[R)-TE[S(k/8b%v6}(t$E Ҏ=Ց.#nHm$&SIoϮSd&0yuw> ;̕ȑjw$b?p{&B)>{`SRRz[.ʑRĜ t O{k/ę7~m=d0`J;g]6"3#Č ƽG/BBZ#ә5'l9 O҉]PԽ]`k247~"L5=,:)p2 1A/sHymm(2OE- [blͰÔ|j cz[`Yƾ#=H3RN[* 2{u I.#ϱ5y<a-ۤvQ0p#ov͒,HFZC7|*] F aCrU9aK簻V WŽ/옳߄[jZM`-%e ҹ= \O-˴9Z fԉmoGzl)۝OX&_"Ε3)RUr1)1: =so1Ƒ%@Ao^?ÜoK $GfM+41SzO#ۓ!L e4yzF%5]-b~mA&EX"++@pXcĄ}p@tsqLmxEUa Bb@N^[LObb*u˚rQfTuls=g F19bFp|j?$w #[TSYتŌBkglf`S$ղ|$ #ErX)wRMI`^B90fH7[ѳC$:9I^+o %K~&Fd ʛY~I}^'AǚU/ܷ$Q6Lo!-]ĩrscna(3Aj`1R2&k4[i$l7O ~.¡6dՒle:\#̈́x% H29رgYZ7zXZִF! ]ŗXiɟ1 Ut/oľ䈒9|0u#:ڑ6 ' ~5Q|&Z)2r? JH ' UpDown_Scheme =;'1% UpDown_SchemeUpDown_Scheme.Griddocument.tex7zXZִF! E\]A-MՋhvG"uIBm59Q( chO1da_DTBd4<^ơf'[)ݱmj}hҊ[y#\y[m]Rxh?1W fI 4 :aa \ 5*s~l{U2owplEJ_iyu32q1o+:} >W1^{{jZ@IVxZo<);Xd@jLX4VA+_D_!J'W : N*ɇv]j1oJO6 &R¦gy GF%kNƧ{ 1OJqM'T`$熅 T4c1 xDamr/Hniuf<5y^f|P* ɡ9t>Fgȑb#' Y/pш<Q7иHVJ5moڷ^>9c OãT0^}%=ILdlݶaqr4j`Gyݧ'tE9(@#M &UUa6_1dZ}{A&kE#]s"8wv _byݗSNe>HaEh&u9' |-'8qѧE4G6^'9^:RW,tc'U#`UF6LYse!/WIHC| ;}?/%LSv.2p\UysqXbXmS #͇R5..?~kkhF`59'"lw=DyJGF1E#D3X\Qāl𲨵di(T 58 /F<.%EO(:Z1y'[7ghg}rLϾ~Xs&Y_͏S(x;j$A(3P|0R,ump@@$;[2YlX0ޟWi϶TL@.l&SZ`p}G-']w%eGꮭb"`ܱ욟>603'jgITc}Т9>z -..gQf` ~^WA7#b>k9EnHBC}d:\Jp#ǃfщڬ 3TjHsҟ7; & K%dr?0+v8eV',15tn CmI9"q7x[?[hTi)Q O@!&jJ;"o1m'4AUDy&Wf0۵$g<)9L0 pIБvHt僐 w[vw_!j&ѩ!O뿀٦^זmFoV(B+UhE˽zp4ŨH~,KWp~N %F_7+$R6Ez1u`Jʐ3ld805dY+2 T9Y t9dpJ@p/z잰~ֽh-#h5Jeg=^}*WAH9}3ȂYc=IC;#)O® 6T*>G!nrwI@RLFMϪ1׿*74бa7dt2ɍ8!aNpiWń:iJ! 62a6$MM-]HB8$׸ˆfy1@`KU |&³sXwl3iUO8*p”o;exvU 8CNaĦ",Eb1 Oǎ,v#"~'Kzl. y:/BDdʞo+~+omKPWOjd#2DV=ǧ#P9862:: J{GK =IZY0%B%-%UKH-ȈuJp{/Q3L41>$Es:gՍwɔ rI:kFǐIfo.Y_V6%µ/ 1v 6u9A9e MG6}E@`s~쵥Ն=s^SU"ߍ0Ǔ\ƯC#?닜>QL;')>O'U`[ʲH fuZ aѣmя\ދX]採+4*)!}ڴ4<;:84 2 0 ,(  N X  / ;  N 6   e YG']%UpDown_SchemeSeparation_Logic_Imperative_HOL.Sep_Maindocument.tex/'-%UpDown_SchemeHOL-ex.Quicksortdocument.tex@'O%UpDown_SchemeHOL-Imperative_HOL.Imperative_HOLdocument.texQ'q%UpDown_SchemeSeparation_Logic_Imperative_HOL.Imperative_HOL_Adddocument.tex:'C%UpDown_SchemeUpDown_Scheme.UpDown_Schemedocument.tex6';%UpDown_SchemeHOL-Imperative_HOL.Heapdocument.tex2'3%UpDown_SchemeHOL-Eisbach.Eisbachdocument.tex7'=%UpDown_SchemeUpDown_Scheme.Grid_Pointdocument.texK'e%UpDown_SchemeSeparation_Logic_Imperative_HOL.Syntax_Matchdocument.tex1'1%UpDown_SchemeUpDown_Scheme.Downdocument.texB'S%UpDown_SchemeSeparation_Logic_Imperative_HOL.Rundocument.tex7'=%UpDown_SchemeUpDown_Scheme.Imperativedocument.tex 5'9%UpDown_SchemeHOL-Imperative_HOL.Refdocument.tex /'-%UpDown_SchemeUpDown_Scheme.Updocument.tex K'e%UpDown_SchemeSeparation_Logic_Imperative_HOL.Hoare_Tripledocument.tex 5'9%UpDown_SchemeHOL-Library.Option_orddocument.tex @'O%UpDown_SchemeUpDown_Scheme.Triangular_Functiondocument.tex7'=%UpDown_SchemeHOL-Imperative_HOL.Arraydocument.tex4'7%UpDown_SchemeUpDown_Scheme.Up_Downdocument.tex8'?%UpDown_SchemeAutomatic_Refinement.Miscdocument.tex<'G%UpDown_SchemeHOL-Imperative_HOL.Heap_Monaddocument.texI'a%UpDown_SchemeSeparation_Logic_Imperative_HOL.Assertionsdocument.texI'a%UpDown_SchemeSeparation_Logic_Imperative_HOL.Automationdocument.tex0'1% UpDown_SchemeUpDown_Scheme.Griddocument.texSByaMW5@=3 3O8=::hդWVA8 ͼyεiDfFqTf Ȁ`8 p]=\ Aw~^I:|EX-U}"FL?o꒡U-l *gG|ħ@&tU>{MJp3Ϲ\[cPLDxF9|i3-Dhv_KYkŻM˂sciӐ\JL{|Ua˸ˉ *ns%?ǿ /-jsNC"d dMC:ӏGa-'fh%# ,~oZZ^c$PG2jRâ.>)KPV󟬳G&Uէ KwJ(_5b$%{(Y,u &{ S!m\2f\rV.pq}]&O ߂M!ݓ#J-__F+TM!y|]+anG2%5]o EԶhU9'I?U#-ح]Sx$xBёҒXb&HqNϹ/`~2z5@.P`dݮnRjdwvtBN@#L@ǁD&S h+%;Ak<[M dr:ΪK"\8gZ;p 4X'Dp)ۍ̚nZ !aBOIw?Eܧ(NƒVjFX>3|?r:iHcGZ&펞 vQRm`B⸰9e0+epg&4RAyuF *\{Cr%vYMb?zymXRFEaYکJZRY`jPrC\DQSR{rW'F[45ڕiS!f6N*iM{393]OǵaX3c9e LAoPzO07F! ɁJI>ߌ3O_2P59xΗ7Rg W^! Xc<+^eqS`ayPsz$J==SѪ YG^]ͨ<IK Ǐj-: _ !lB nڷ5r?`fቡj5 ;_v~b J--njAqNfy_ܙXX.~ңQԸ6^+Q=(+@ LiKSkzgk9W24AJX&~Rw UKEJ X&8+3ZMhWhP_ ,+ \P t/(` &hj4N\h%$0+*,K+ Lnu=EIYإ Cr|i&nc; *ۑNV׀pz(YH@0t^P2_-A3EڲZOw皳dѭrJGmdsM!pQo}M'$RyXOI67,9-2lBJ঄9S*/<[ dBDT+F9^1DZ<VVrK&G xq,"ʳ\Rt >$#p7ڒ8{T[=~xqM;WY+?+6ލ!A~r;?y}m7P'dž}d~fZS9?en* w8QP\:\#MkckVsԎy9KWo<\ F^`HdZ\ o5qَ[B-1`bYq+Ӻ#aIt{#OfVq٨j?2gOX솳)ʉsAh6}TJe;LP6Na֢T.O.6wG6$woedBȉ\@ .U\"0g ݇+,"U*|XYz$ fu䶰vzOWV?c]~wE> %}6,G.T"bu>^0YsM%eҔu\k!1Kr k̏4f]^!]+L2.h!f J]k v5҈&4]>?:<1AA5|e%@P;Tw8Cuk(iN_o{JIspgû\K47;wO5gc󺤷I6Ӡ.|v-fx-" *we8z)==8yRa2"P]E|p25 )t؃՘ y].(]$- ZچY,+X|mXѽXQ)%" dYa|uVob\E-ѢXo~Bww?xʂy䮬5*g[.~q.(ۮN['cLլϧI'2!W֡GYC1"B)(綳rQv֖| ځudl@C=-[v H(4ŸoJm6bGyd * Y%J#f/`dwh]ՠGq?ǵRv8P;߆2m*yON`'ZqrK|2~IRz}:9o**L| >Ю`|~"z'K2{2 Eo0]&cy`Pb#{)zZܲt`pѹЅ;Wlw> i']8:" i+UOve'g5Qx4!54ԐyV;tצ<:)fX+] PU/wb홓CTk6Wj#;REyefʹ(cEROŸ&LFN|"JSC1Q]ZgDFFrנc@7QL^bIWqЛ\[:Xo@#nmp@qG`42RuXL`%MlxQ&H")'J\/%͗)zXL$vp.tTqSVku07 m4!N٠6D S&i;/\'Fϛ˔u$6Qפ>dGae/@k~ܽ\>;۫<;+#DPhZf?[HsŐA0[:he1ڌ6B6v1.#nqgw+<wۑLr/b19Ca^yb)}qھ_5 w&*lA;4X980C?tl:V\ 0LXsW{rPƴ흯O+0lemPf1œrS"{&|HjOG_ʱdkI$>HK\>*;zT-LJ?H ./Z7 - G2-{"ﯱ]U7)Wk҆$wکh5 gц_,!c 1ah1C6 7ãS G< L.7BaSq4Z)gIL"ur=&2IW- ŵ6usF{Ӂ`I?93=~IJqy$S6bw5{FTr{scC)lIxƐL/&ԻhOw⦃!(jӱჰnMJ!4J{aVe-SJ>) 9XY=eYU}wA[md90 4m;b^Ko ˎ=Q΄KPἧLܦxZgkN^1KP(|si@1{#*a. Kt9M2u"v-ieIܷHvlnZ{ϔU;'P [^n']4q>2zE}gYFARc!S*-&P1N!OwƔT)U@;a,\%# dzheT[x) dFM0#TwҶiM u1QfeP's~1y9~åxf:ɾ1= zcGN >)Y :MO$'LPhKZL'/0߷6v' eɖ0ZET@p' 5ѣa݆ hh_ \Sqg1]RH9zR[nP?S1n<$/SU:Yz":s1cIdD6* WZfVGO!3ֵ.i N iO)zd†Psdk/%mafӫ߀- >`qwqʞLМRD8],@{bl*Q4N]T,="3~0,uc]QhUķ=[iI>V´{j9nJ5A̔.GXL 0T:ʤy lTЭE9*JÁZ2Ì=WM!̷P:zz=nexLtg}HQl=plcϗNޝDahKw"C,@N+iŢ1+B=%-[ &}ԸN|ў80 < i qm /cXF4 l^<ռtXxBB[-5EB|.N VML3:7IJ:Z>諎\ HV_R+(a\JZ7ئDR55mLXit꫋UC!n'?罶0,_O.a"z)V f݆i).( 5=>6ocqP,8U0I VlV1#X3\GR^taF◂6!P“A$嶉6v{*$Tye+UGsZŦ)Hf=:#dq4gkpPnNtj7JExOm]UK<$Y w5"هw#ne|i(Y=>ꪏߎLX3A\Uwc֛A,vbv\2j"f Cz˘fȉeɂL j]do:q Ҳe̻P~B(c V4X < >VU? }Olmkcɵ?5KE5odz5rmImIH-BK!vVĄCtyfAavTh+g8&r=io %3-Z֞ħpC*7O]/#Bx(?1}8=5 wsM GSBVu4]֜ϛ:TwZH [XOR\ؾ^ߓaXl!nHB,VHF[ *^18W?GVQC8$ .JA!GJ\Q*#SA6=;Ե櫏e=nY8rF_ c״=wȈk7To&k>'A%x, qsoV3쿋r'e|4UR׵R@sV|-M 8),UV|~_o T6:꤄d$RsQ OX gYhEH+&+ ?ãV[|kֿhJ-!ȑ,&M5 I1Djn REMm "DMJC{R *$HE8'̼:F+r_LVg/ b'&Rf^-F^I}7fdɞe€A&| QTLJm[UIɷvPg/(P$As`P( u|$x޺F~ K6N'69r^Cz]CeL`XWv"C獧tL(Y6``Yy8#Vէ?CL"=( o~>o( V ZΧq#Ќ#JN܎g*e_=Q,҈~|8D. /@Z#XbeL|6əI1 |C=6Z&`e=Z,0 8Q @IBo@(6ROmۓ%W дz藏v3҈2mV}T|; ~HmNJBZP:}3Ijyd뒭׷T](ݹ<&?7ؑJ!d_}yTzއR$ikv#{I&湲\(7bAΞL罭rtx8k 3[XDEw>£,6ӴUbǣ!(h4` '^"LWbJp}-F!%yࢼi+E=h\ 2JB NnjzO-;<ݿ'0Z'&LUUk`?札w=GIfrtD|u?(R7A-2-^CXXeuqU9*ܬ KX:9RZqJh.ixGiPz۷dOj=EB Mpb*N.]d 4AܶlVP}aX YDV"cGUMwy-!g aLh:L'Joac :v;(#ٕX>^ȴ}oϙv,VՄɭ~[Qm*n!Igypo[I}r܁~?.A]H6`^5C RdA Xb0E4LFS𗄏(S[,u$*=w2ѯ[ fLBC>.2~tҍnّ5/إ%F%;]G{u^0NP/@l珳wW`V൏\1ӆqFF5$f-o+ۡ4y4 \+7%rWh5J@R%ݰQ5c`.:DZ=3 G}$^Pͩ;$ї2>sE]^2"Au,J \H"1aTCMwKv䩛p7:X8Q¦8 (;VP3nc@4kRںTƴE%IW1@]qM _^T =U (`c\V|Գ=r1߿ = _S1Ag!{Ҋ]q梽^U`󀴀 UkO[ U~eG (jrab$;(ðQqDF|#Sԓ94_40}Kt*Vp(@vJ` ӢA r|#ol"RvKA$U23JcWTt,Ak~H0Z^HJyd.c.**YJ}mx⴨e_E:ij6t\H ΍*5xTB&U`eB}Lmk{i<1̢GGriE}Uhz_M{?Ho&r`gߎxݰíӽݱΪ%~'Enۡ6xV;ц~QM> ۻ 'y 0AcK?2$ً jp\ʗ" ><L˚N'Uj\S>cbMW?'0I6KaË0 1+feLJ bb~ "D㭘GgW9u/07[ar?Jvy1>KiZ]>ؙFꅛ7:h'av#k$)= ;TYAIL|Q`Šb<.Y{*#|hOTp'=^gyL?*ZqBG&;!-A#BNZ ?sCM #$J*J1!Om{yؤ L4\q;<,L6KȨjԤŚU| pJK=l(CM! οZҋC#s1$۩˜*fR0A.Iޥh3H Lݢԛ{P TRǤRC7' t?~Yyvz4=AE@t\*0;2X(㝬~B;:-i7N?ۼ FʗGv82D@&WY +XGQ h^ߤR *0Fc()r ĭjpd#JEL2p8zግ`PF P 4JD.YѲ Hܗ Ҵ @kaPq8^mŝL4GBPHbXfcc 1%W;}&2;v1ݟg}^ߣٍq~0l/{ER~X5A5S1(HxKz%ԭl>ȶM K=65K4* Y'2JJS={Rž `D`liL$zyPthnXCdL^Q?9"vtz$+*:5O43VnC $'\Hjj =Prx16p!'F2pKhwJ$DFJ@i3fd/j|#Ӿϲ~5\I).S<%GET^ڗd\zs R__2R,ڨr`pm=+7<)LӁ9a~M7$X-+ {[%ג[νQ)^w/W3zkyrg=A UpWvj;W'P8\)U[⪚Zv_vگΆ࢏qG~'g`c3itnOF_ pS9Cԝdt"v^8%6CR`Czept[5'Io4kkY4Vf1DG:+n:l'tb5e-lgm^@g[HG31B%AQ u)YveuPG+¶!M752=BW'@b؇V^м+HJvh%h@0vjYK 1H.0oxZTZp ShU^eόCB:Yľb>*q݅wt D>LvMW]BdG[(>:tݾx˟|]b.f`$$IV"GŔ8=p8v%54WtืI0x3LX\}!& ׀G, ufd1 s0rXklrߍa}xk y5]0 sMܦ$aFr;g[3=YpJ(xF-d֭|қqC|`%V(9`b0ɩ _h[shrNӯ1QVqHbbO=U&Qkb>T;r8j$ձOx%LBR< Rr4VQo9LvZAf|g3g~7.g571X%Tgtq-Sh_\ַș`Ed<% 8,f>I %R{5_D_2ZKr=jα[%U9[j9 S*aC?W3:\j8A~oS[lJsYRZ,{\c~N|{r~"4bNnmXj# 5m1-i!*=WpYdz0*a`ZܢGVpِʓj sĎSUljȋv͜)iC٘:_If.2wLM(y<"᥏rg[bb)Ŋy䃀nG Rv4{dBۗ꺜J榃o3A'-=QXEPFz5Fs?0! |ؖ|Ӝfs!DARDOUs24]`<=[}߱2|@m+B,_]tyS%2Yy4ƺ_S*:~>"#=ok7?PHq&[cAPh-~>/wp-B! _ҹʯEWJok 龡͊Gd)c&}bM(T.w3CDF<$ 7.GsP`*gs*vKLQݔ 읅}jS!]菰:'JЈCL="ݣJuA۔'ml?")O9 6' U^ R|)g(N<5` pUb+6} q2oR:K.p:=Ac{V#/Z{t&l뒁]))od02f`w I%ݽ;C:f[R H!t)pZl/r/ܳUӑPa)Fe5xR^ڹzfs0wKapEs9H2yMdMzu-\3ˤD:VTWjuY< tx+M;ޛ%j|-K1Is%E, qTLm\%U~dwq |ګFyvR+kWX6w.W38tCAX4B` ptKTkzG-0ȨB<\?0 !I2_Gh~a7#rѦ~ L+æ'QیPJsIl~^/Sfmzգ6 fa{}| c)ɡPb`K4Fg:C%LqxF%\ se"2>y˒ħZ#-j*ӹ[._`u9akh9Yk(F&plRh:8Nk5T4̌h[=C+ I1f2e C3i c6.kP7|Plzb3UPr?LqADRA1We8aH  JLG6&R{k[-'L=>dvhN繦Tcϣ8<&bX Ḣg]bۯcDW0dbOC65b dc+B(U-qC ~>{Eu mLwۡL+MP{&IpZTWMoH&2ܮ u͌u,AP pGOIj`hP*m"bJ^LSChw%B!@˫O8n$|Cl 5e PjB3U[?gq֛T-.|GtPǶv3,+Tg9 &}r?? 9"$oanQi]BϚ\3n(+Oz3_@͔ߟUhw Ol}K͇,Ȝy_B',{4)@+=r!3F9*-ZY37SK*(Uő;LDd30)g4w;\ R@2Pg+Kp8fȺg"chzd5o9)_G\7Ɋш9꿞_z`JuPDq~?t{|A˟ Vqt:)H!!O4!0X=b;eϦ 4k7jzaV;Ľ br#S`Y(dJIeK<ceh7LBwPW%~L>ZAMB}d}٢y*cDn_!#]}ɒѳ:B 0ʀ/џZ+ r2? ai葴,x|(+GcĘ .0+?Z2.`#4VKF́X]@1~ Ӭކ}^rJ>x(01iAkaQ#žJOme~ZdivųMxk-9R ;[޽y)R> x2|h{ꗌi `+߿ 0u=~קּ*'_K%jZ೘ fs D2չ]p;9XT7n*(GrŴM6 S#dLƞb&[rmK#@*,gS[1[@wB)ލ().KdWJ8jz{苀ECo Dxhc\5y!lFPJh qrU$U,/vv]OU*F)I} B/' V8}ИUDBQ'D]k_}L]b7_K{WG%jPNu7 =F/d]Yz[>ͿsxNjF엠nr:0gECtU92)8 Ȧ7N8 fn%I\'c!i/69qB`,sAWd3YV|(އYHA{ e+xNNUb4Sgr*}W7._M-2lTƥJraK!:2u ^%9t`B3y3 /e}Ɨ-m _I|iLcV}bhc|Fz `n+#GF|V'w=VZcgmeaW揑okz0g!^o ڗu5>4 ^L$-~T@/yn U!>ܯ S؍ÖS* -N|D&w,6BVo)JށlЉ0 0L-'Nz&nnBR/*GrGEI)\?s݈ 3c+pM6g=.S磟mS@% 9p+X|1|oMdjC$6I}%j` u3_7sRfBֆF/?,w-2``+Hː\YeИYDDL{7ji>`'?=yvEI~k LV>|?uĩ\Q;FLUL%z":6Sw|F%PSɓW9IC{:k0V t\f)z8q)?&l@&`.q| %|5,*s''w Ȯ,LjSR2P2;̗zx2 û£1|Qb k<D /6gd~wS>(nxuCeRG]Ha n*l +d._ޤ/3 a-&Jx֞~ɧ!TRP+P{)v8)iMkt3Af; nt Q8"`[Kp9dKHvȖ m ωo[#Z>EFE^¦IzMg(%dz!J?(yw*3J k|s1.uk9G_P^7rc~ߍp z4J'_0VS+= XMh轈)sTFum'\r6q'(l3yoQ:OP_G`&d*lNbTI5v3& ʿmA Nk( E#״Q(J3,4 LCRϨE2K@F9ffG&1ij::Q4  f!L l ZT*6nPğqؠ~Kl1$GkEZ)7l"*xQŘ VR1/ J-@XaOh%X.vAac W3)|YyO3ԑ.) /`$7hm\ɸ,L|XnRޕ3_,p4tnXETuavɫMmv8bB**B%iWD ~zحI3Yf=Bi6r!2ϋHtۅG>+$%y6zL%װRQ'4LBmf1yqsNK8h -߭Ă'7xΦutPlmU B-FG܅YZ*\ QHee- i&3z[9.d"c$̑ѡ:[aӀNEO v ɁUT4)k7s!' 3;:4L5k*CuFK{'z]^4~cSr:R)ȜcԸ'ZU Dts]x@fw2bvCy@,iMM8ErrL I)|1|L\y,:Lz{6m^y$~Y>vÖa/c ؒZTJ&gn,Wc=QW-<7.C'3K F=abTZ\-/U^0&,#w*Oo#Wv&P 'E'';6Zr7e]!|ʨ-ݛ'$d(s4sPRgմ\QǟFb>N .%څ)%捥\&R-3p:$BN?gYZ !+ܑbRM(i5VPos9J`ڦo?]B_.\ׁ7lޕ,WV0*kuDEȉv\ύx1oGj6*#Ї C)wZߟ(#~ {%Zy̿弻&n8T[lId{I#-JYOgiS(hO A2fuYsGUeniˢg"`B`pu)=.ղy1RLM֤g ^`'iP:v#.evYS6ˠ hݠ?9z {c3CvDU'z%O)̖'B@ AQ $`.Bh9QV3J\,n2)cJz6l9~ c!HT,kҐd{^kM~@{RH[pwDܝ_"5`D|CWx@ƾ@!;U1MWh#=;|zNg`OMߕ\AÒ5KtOSt>B`V5Ȏ 1X~ 2M4 fW"6]ʪFFز(+{?L[|DM_~d`J/,m㷮<#AETG%{r,筓&rEc9}BR5e,v!!5ԴB4'#ݻ DcC]P V.0趸WrIM3}BI+o64f@ 9Ư0n@X=\Ї\HفId[( V":ڔ$:6wGCΣ,LPa75$Xcar|qay81^3I]G[C-.b4d1AQy&OcpXClӀwRuP¯rQrƥW 4rx:`"[4[qn ҋ=m{x^!ko I^3 |MHE (P#B홓 ¬IDJt&tC4f#Z 1k[T Д) Kx]6X@/̡,%;>&D;[uqEA8kҨ'Hq4"`#̭uX4tZr^RƶLK,B^KVo[b* (*$/@Ǟˉ@dB(eV\S>'z8Wo 2rZ*!T 6I+ O=kO4hR~iQ qg,ms\v7[($W 0AÍ iꫲaG<14ZjhSn]6BUJwNJ`vUhH&[I*$ADRqAR.qm|K-Y{֤@ay&cM,n.(_O<3H̡WYn}ǹU]dϳjq ]INf9asl(ƮUJ @"k3|L6f` *홸"`k. bVf|}sXë s_Rfjڿ3=r!^/l&F-n3D@Kϊ˹ܡAHi&Ps?aUReXRdSԓʯu ;A=?*rWY؍اBQ05|]FvYa;> v=/P2y~?Lv ?]tOɍUs%nNUOb7:ƍ߻5ڨ!YӃpΖM Uoe{+@Ҿ]U ~2ubv KĢ)qYA˭isնJZInƒ$hc zTU`,T#,c QZ;vzFҧ| Zӯ Fxpv5Ӻ-QfS\_oOX6 w$=auF@UU7Zq^lY].=Ox$ 9,1~ИjG h*xI? }a{ /Q &%ꍖ ƣD WP??Q$r@{w(|Fx-iJrV+bUr}A̎ɫN-;jDsV EG .d)KO5Š{xKnGځh3m̐m&*,Ф.EDC uܜ4m9iFX!`%4\]p0&ՃsӰ\wQ-=`jm)9/<+?{HkytF5KHjS57`PIFprZPr7JD SuqJ99dKx"iȹfH[u+=XtO+#5[ez̄Gҡoir|Mg/a} n4VWGȠo!kiT$;ZvL5Z V̗ /,Q~;wa/ &d.Hۍ"(ᇀ }:-G!TsWFj-ˑ n ҃K4Z0xtg-.?ݑqAuybpAB&10LhQT . ӛoEI wF.fX#Kd5ßn`-:3iX&1Sȅs>>k^k*=Y.;)6CqnG"έ_֤"KXӰ8&SD;F,DYK:sXp=p`uMi-3HG[^İ D%@ 0Lrp:=0HB :3.ySg?5gD /nAəCfa%"eF+}fmsgļid>j Ǭ3muBW;VgP.gR3 V>{Ma\G`Rz-Ed]`Y6K`YP>X&("J|\ hީ/Gm`7w]$7C̃5>MfKǑ\@10ll`zBQZ Wn߈`ڢܗo`a tv +6Ҥ6L- cD*|Ks-n]\ Y4ZϜfBN펙-K J*=I-|AI*1HCf͊H>dgԀJ'T4l;T,U'Tz nb+x[ \EۗNV@zW|0˂J]ҡ'N^cf" ɫ۔չq=w;P#t7r(rvKؿ#&7,L0RCM3"U"ڍJ0{F_Lx["Y5 /6oӍJ.m >3jwzkE<ڰ^\, D wiֻ+X.*S ~F%5'jL3EIOI;BiA/ImZW{xO9vd&-uhkܱ+Z'ULUG&aEe 4<5XC+FEmx'DQwhmg>&d* #u;":>+LvS=7=mLG;qWhJVVٕ TO@^mtS`  o?gm I{j5CZz{j ,{ zE)32 ̷M'DL ]L݂yO&B HľEitk_ٵ=p9gE} /h|\$}#YKÛ+ &|N:HY;c182JuOȌXуWV=vqQui;iiEB#yUVﺋ{4iۀ&T)1{f{}3M$u;vW}v90xhІ<=KXK7 \WѶ$kبw1x~ $0>+ )*#lY\7al`@MHjyƁ]Tpc)|߄|o&4Q3:>Hw?R‰GOF?d4_xVVoF?Ok6G4hDdMw. ~BjFx| vp °z;l@~GAM5WBTDǑ!(\k=,gg1Sr a͕YmzXf,?'wۋ7n*ddz!(sVoNzjF94F76GuR0ck,5_U` |oe?>5T\W֡Y<_M^5:ے0r\O 6: {k$Z(K_Rܚ=JVGnMcM݇B3ĉz{ w7yZțN?3G.l] [`Z,P|H5{|[3hR5NO-z_qEUҥB$e{CZÐ]?MvdI&He;lxo ;{xo嵄v-:?f؂Vz9&[2$e@ `em$dpl̰At2)|9ca(י)?̰P(\S`уj'o 5"J 2o7 z6 ;\u1RXE0'[N G,C1ŀKe[Rzg39xnsBZ<]bC&VhUTҮ^msA2V„zdLmON4D<_8lOF(ۑr\|4VY5zڎdl 6P*B,,h-:]p}T`= ɠ1rb{+bkjD,8ߕФ9wVVB2Qn+i>U} t[)tT$hcmP9\;k0a]U;P9Ks'*hOXCF v`YeDW|{_~d#O*)ÚSxsyj;狒zߣ 9FDSnaC):RHmEsx{ ppuGV80DYTDZ[_Ej (m r-nG(Dt\Lexp8}Ԭ-R@"ir%c]cqFHafk~r4[ꪡc1 ;B=BѲ|%=P%P #7$"בS{|4KKy";C47Q/x2Bbk>]fҌOT<}RHijq#Yi{ߡCB&+8 QMX\#iczghgF;ZueIoĸ:k[ Y0\3.CT%AL >Lgzұ#2``FyWU>W I9 ɋV5 @ .邘01o}=785ŊYdWj v2o$B$ù>SӉ_u9 N 8|M7{'L(gT#2g"9l; dz$94Qь.hh\.ok%X*]ͣ> 8M*$-x.ސ O^rh1L|Yg=ةG8 'mLsJ izPP9Ŏgs]x1wdlUВ^@IJz<`tOB u(-ױO^K"O 09h,&X̵ A nrs3Db#WG q ҍ7d\B99ffl{a_,;`=_r`Z)5Kyj3 sbJLTo饭ߋ M_~* fQ D3%'3FX ^-6tԥJu?0YYwØrh$ (ӲTQ˃Db֪O`OB"擏jۨ6u`Slْ c/-3tG@Q%Κ=kcq! .X.ܵCl%uMa'T׽0g|Zy Tq Fi 0/8J%LvO"ʜ$RDcu +lǡ efqDo%#q- C}eX-ňX4K@=Gx:ZՕzʜ"Y@Ч#\h[.J. V{cT`"*8&KD*-ζǹ[n'8_u[Jo>'dvi>gtC85]V(%"ϕ+2f&dPK;eG{eUbH+K C@6mgӬ"QR*(@_G3,4sҏ#`9/,U Ŀ:[x%Շ6`} b~y"t zF:~wC35e|X, xL6jbu38Hy/ʲ|+HGO$ݢFtf[]t]Ks-@IP.Ńf3V0l~DK3އLiOzd}#H~ITPMߘMAT)?7 6x/!FX5Z4r*br,,H{94tlTvY.DFV\dh ty +Eg73$NɿW䷦=+r(=7CYM0 ™?_ųzV @Ѓǟ򐄝cj2,\pNSk>5_^ָ9mjWGB+,s0Mq&b~|xL_`@رgYZ ;'1% UpDown_SchemeUpDown_Scheme.Griddocument.tex7zXZִF! E\]A-MՋhvG"uIBm59Q( chO1da_DTBd4<^ơf'[)ݱmj}hҊ[y#\y[m]Rxh?1W fI 4 :aa \ 5*s~l{U2owplEJ_iyu32q1o+:} >W1^{{jZ@IVxZo<);Xd@jLX4VA+_D_!J'W : N*ɇv]j1oJO6 &R¦gy GF%kNƧ{ 1OJqM'T`$熅 T4c1 xDamr/Hniuf<5y^f|P* ɡ9t>Fgȑb#' Y/pш<Q7иHVJ5moڷ^>9c OãT0^}%=ILdlݶaqr4j`Gyݧ'tE9(@#M &UUa6_1dZ}{A&kE#]s"8wv _byݗSNe>HaEh&u9' |-'8qѧE4G6^'9^:RW,tc'U#`UF6LYse!/WIHC| ;}?/%LSv.2p\UysqXbXmS #͇R5..?~kkhF`59'"lw=DyJGF1E#D3X\Qāl𲨵di(T 58 /F<.%EO(:Z1y'[7ghg}rLϾ~Xs&Y_͏S(x;j$A(3P|0R,ump@@$;[2YlX0ޟWi϶TL@.l&SZ`p}G-']w%eGꮭb"`ܱ욟>603'jgITc}Т9>z -..gQf` ~^WA7#b>k9EnHBC}d:\Jp#ǃfщڬ 3TjHsҟ7; & K%dr?0+v8eV',15tn CmI9"q7x[?[hTi)Q O@!&jJ;"o1m'4AUDy&Wf0۵$g<)9L0 pIБvHt僐 w[vw_!j&ѩ!O뿀٦^זmFoV(B+UhE˽zp4ŨH~,KWp~N %F_7+$R6Ez1u`Jʐ3ld805dY+2 T9Y t9dpJ@p/z잰~ֽh-#h5Jeg=^}*WAH9}3ȂYc=IC;#)O® 6T*>G!nrwI@RLFMϪ1׿*74бa7dt2ɍ8!aNpiWń:iJ! 62a6$MM-]HB8$׸ˆfy1@`KU |&³sXwl3iUO8*p”o;exvU 8CNaĦ",Eb1 Oǎ,v#"~'Kzl. y:/BDdʞo+~+omKPWOjd#2DV=ǧ#P9862:: J{GK =IZY0%B%-%UKH-ȈuJp{/Q3L41>$Es:gՍwɔ rI:kFǐIfo.Y_V6%µ/ 1v 6u9A9e MG6}E@`s~쵥Ն=s^SU"ߍ0Ǔ\ƯC#?닜>QL;')>O'U`[ʲH fuZ aѣmя\ދX]採+4*)!}ڴ41糩ʏj?>H&Lx2qjO)q4.&=:{{| RR'a% ,UpDown_SchemeSeparation_Logic_Imperative_HOL.Automationdocument.tex7zXZִF! oK<]A-MՋhvG"uIBm5_25nD]퇆A5fў~r%"j,(Wr`_1%_א^YYeG `X~p+XM^:2y%o WUP^0zcqT~1DIF.$}@ -FwmoL-nK_Kiq1{b;tB.fJ9f^ l,bDFN昼aS,zOԟ@PDbs6!Sg~_ @ u$5(.kv Ub/eɺȯ{‚&zhPgW7\.atEj ƼF D89>Ǩ?A=Fu cb%p,Wrb wܷyMs!>c^ݛ ~OrEg*)dfyO?w;RLkf:6;(yYEc.;M uf`alUٶE#ZPǭƅT.1oR0"d" ƿSU܍S9͖'E%"ӿjL\ͭ-5GL\G(v5w:l"f rnn3~%hW~JXUT͘(ue/-w[n>sMwj%czժBo F$z]8bL M\["52FlIWbsEQ򬘀32@1Hk4N8[JL :񶎎?20] q;"IsϿ>EȬ{jῠN::aU$Kƃ/2^c4G43Rоd4ÔƴFF'@ե ny"f^o٥Ax^ ) C2?Yv^^dRBU =LB4Di>^r )m39.y֓I`o~iHp+8 ?(5](X{&b Z_d?T,lܱ;hu D X%l ~>)ȲW\RXPm$V襏 gl™3ػw2ɷ,i> ;(Gg}M-Er58<rGJYP+La+T@v^7i%\CT~.Ae =jtTYYrYFYV+EcKeW+GXzB?X).ﳼO;@a8,\a +Qr<[Bʯ ̑0ݹkt[(m<-F f)ɦբi(텨oTNf$iT͇g})kEWS\{*ycYȋhHhTs }?BP T.9*^~ne?[x5Fu CfHb#-' OJE@Q=o3i"u $nh!5ø0 83;նC~_g\es]YisBWIv6<#Kߩ-`X`(+(.Ib7N>aʩsvKnQpD8&P\^ j$_j@ pݟ`g&Пu#,oa^ӜD\%_{PL֍wlOy0ilKV6羁RqTm^^- ;4+Z85qZﵯ/-钉&_f_HW}[e+;LKوeYmY;L?IiG7PѸXWޅئcc2UgK~L:'`L[n< Uz|_ PbiY{i'bm_@mM}1#Ys-ۤ[>bŭ=(aKg1 ݓ}aSR_"lteH*|$3@$&,qI"{mѾ]rFpZ Nav42j)M#B90E՝g w/Uyhd &Vo׮j\eJ蹸z_Yuʐf{똵r)S\mu Ó8ՂV8 En5f̯ߕ-mf{BE!qKv`&BL|aΦmX UbP;6CD2\c- b>.u ,t+b)o6fM ߌI{rTjv9nJ'*E%Å!Ŵ96ȯ^TȁvnLN ';7S0ɘ44r*s\UQ4( i<*j4Pg%;rt+?i"BrpHR` 8f}*'& uZڄ^@p0Daz6 =\=0뗐ع CYc) m_I3Ƨpճ^IWyԦ5j3 Ȅ0bDnʍ a2>'Yy{)u+Wr$Mex*;{CbQLN ЬEKtlS˭=MKloG$x2~S12զ>H gX,pJȁ?yp?Rv!?u>T𳘔] 5OE>=j dqsWڶ<67/o N|E jqKCc /_FeeT-;.`u/-,(#4\l6o(p3Q:P&HD"/LOoA[Ȓ`A^Wb*p%"{ tpd2~^hNвe,8stfqkqDc]x `΋ ,Oe3#@:5)ʃgwp=fa)07(`.l΍ *Qzh xxi|OZdr´] B hA:2" )ylPt9wNn@Np\B>8x:2ֆHZ9OTJ(Ԓ1E""Rۢ7afE56nO$;]w1WFO9KƬ,e(\AG;G+XX:L 1b큆Xb3$bMQfd=0 R\OxNug\3t(8lmD xG[jepo#[6cd_4s$Rm*hKlPqJ!O/?] Nj`jn+e(D,r$L hŽ^MDkIS'0N}B% hu7-vQ#SZC(\{8G*OyD.fs[xЅZB)/SPn5xgWaW1 rj:XIqַE1-X睟yf4_ɽ:;:#G-o9Ҫ";kE*njƘDEgt8h-p{b]IF Tz}Gy|k2_PazM P2M^wWVgZAL-=$VΞR:s%Ci") 3w;'"2:STn1쉠QNM26.]J4F 1BM- <mȟ>8v.<#Ѯ-wc3ł\(̭=l5uhqg wt`J$Yi@;&u9m M_*_DsɌ=em+uϹݩhWljo׎PZ 뮵 4KVhgwqLw5tܫaord&9zgmXMM[zneSE RŨ&5鲾@, h4*ӰzC6jE;L {v8Wkhs/24<[BO|0TO+MTr Tyog,m=jKRt 22#&W0)E2@C` y m]ϛ*Xe+AQT9(ë4eSd$q"Pj+L*V(K<)1)bY*t궀fM` ?[uX2α8$("zH0ԉZ.@8VU~2D<[MjL=) 6Gy U9޸sYr,`;=amxۧ0Bsp}*Yf8rM]sʫW/RV4&l(V?0xPvAG\e_K_Q/ƕb\`hYLǟwi-{{]X|ZJӻoNR3oxճ 6{,9*@ H  X9ckJz( rXS޹R \WAEg=vcs ޤ^V)iZPp yzxs@؋eN;YiyrպJF*5mh+b68落M,٪6&4_eQօ`! -'ܵ}{N߂)`O&mDEz-֞% ºRܛ(]lk\1ꠟaaxATª8Åqμu}]BoE/QvPS@aݘˣ?Bt5xl cJۂ?@8 `p(ZI.^ќ%Zw <*#P2L迁e_hэT[ ?!x7aΟ}2 VZ  ԄQ[+? .iyLÌ'shf\eبYnk3 >6ӎXr}+#;WƷ؇HUC.F< =$HoKTC3Dvu mݤ%+,ı$;A{Mz"0A|,#'Q'3b V:Jg8y1TӮ W׿A,+ʶPtց%H Bbvs Ңo{Ƕdm~l9mgs)^($KwQ[׍N~0x)RCc7˶+V P̋I nT(WC3AŶM^ =rٮ-/;_3X+tmɝ]gr|s:jkO:ݩ59DypKCR|ԴFȂ6U d}s+y (v <=I1x%C~i 2(ndsL~g@ дd; CL_YYobF5x3 A )IRLD뭌kwL5Rd ٻ6Cz Ԇx]*lQ1HFdhǛcߍ, |7*Z jܟu@ H#ЋǞ=Jzk#Acl/Y UF| p\Ĉؗ.H zC8[⏙Bpapu1BG'DT2K8Nug´k܎F*M]%S?P#h5cGZS) HNM3~8koVU'n hGr 6y4>=t;FN!}H)5\)]Yb3Ko6a+ߴzA \{X4US.5,flA3T6ա9l;o6n^wAegp c2 POdh9ag.Kr 6jҢ;%2jԻ&Mf+1fJԵ?Ak#  9?O53%/p+=BAz Ϭ%hT.KxT%C肣я-y䈵S֝. EwM 3s.A0 d M I&}q{ gоj1ُL70M|Ί Y^:4Rf\ ʡ)!``=&\QH 3s@H> f0h7ټW+oTO.UO[cAęk8+U$ _Gt!Le5FTjB]cuZc "n&6a{ILwsuT}P4W@]v9a8>`±5)XIrmNkG*ǴbcAhn=%=c%E7|Gfe\ Z̫ܴ1rd4 a;J7b_X h,D4+ .dJM.7cJJԏ- i8~ihZ~{T찻8YtbV(0(;B/Jh/Ik&̼uEN罻7K;6pUZKtj Z`x!Pi*o풓1c(A$$30# (|8tbk z2! sԡOqħu( j ޵iG>>5B@.ͫ[l+_֛+~Wݾ ?=OC.O?A"Vލ0.$i D>emȉU$JtQ &|'pF u%*hLb xK5O[>:ӛnr05zpnYvP0Ocfz73fo)/7 ɕyMزZ)tX|?/ח&Vcg S2gY!;[K*qRgdF汜cT369'2Xd蹭27H66QR$aQ19 4; H~y"dsqùCWR FmW5*LEb<6P`?f8FYT?&U/ɢ"4,R*PԖd]%jt̎ _-ӉO:_)H;F7k (WʆLe&L4J|#Cʅi" t"&~V=ǜ|J\?bO|MS*|sԠw<#{㹁3 뢂V?AͼT WXI3P3D6h|٠ }"_!Sź桅&L,OB@v K4KÝQtu֮RHUw'QzQaY람sȝ'7pr9仦P"gH NXU4M|Z"ZɆ ,RcpWMdj,3W%|PBд\钤?`*@ `EzEv+*Z8=MRb\"eU:%Yt-_+?wG7 ]'д]<Ⱥ-s^ ~-⋸Gḧd/wa ,_si ,5)&R A Xt\o'o}"2AZd[,w1Z]\\IU@?5'`RjGՅۼuKh%~0=>zGָ> :0?_Ftj2Ga~ B"оp%e1?/v5uPܹ^lq"-^}[įZo ((vX7/}lT\ik`JAуtˍ B/^ .y4|b)19@&2C]m(O >zLkʑz͉\UpMm>Uua8oM8D[j HX*_#S3$yL@1Hj``(w0MJOqc]͋sow?~.\ ~n|5~Ui## /\wR;[OHq R(XE!To]-|F>\Fr8">V2^}hOTzKORdGt^=cx˜dd@Y$J ahI r@wƅ[rXYW:kS`n kY =D1q)|(^=gsn2g,{7h$yZn blhKrܴqxzMa[0T-4XqYvs8ՈhD1fi;z 3=2ËoMGleF¦*S!VVL'[Uv]`-  Tld Z*Ap6њ`lT^N6Pk@7Չಜ:9*~&,y;6H>y=LbD%EزA0>pHRpyV&}|d e ,7giˇG:e=  T؎>M/"_F\EdfIG5Q%ȏ$B 'j̔_0Ip/9OJlȚAYv;֋]U0-YXx9D^>{u[|Xnbw¨!KKG?A;u|_qACQ%/ &B|^Cgmg}F,lکtBY@ ۡCA~xθ]NBOqKŎ}7J2 ayXn-QTQ@w6]ᛋ4$s(}`=!eTn{Ry 6p j|IKoŬ:rZ݊" 8[B#1<@[A $7WDʵfY0l4IrIa.HO*[v&H e?uϫTrdBh׹`!ݠ'C2n\X-`@ Ŕ&T2HթB&ƭT^"{L2fz^\S[Z;,kR $]a"R"?V:pP@R/Eg5m''ęx/+/D>rr<[1C׈UyPfVָ_+AoܒJ\|TҲD~W.ceơUFّPY}!Kt@Ѹ;똰"3}_Q䯶_RIT "KEy ŝfKh_ {Mt/F_n v|凖NK8{wK:䔁Ȩ;3fzmyy1jUmԶu_g+I8t0'ܥ_=xl| 06 {^mVa uC6A%B#e6] hOap=e{/* s_-Zb$_;n=kT&W;Z+o j1gYZ c'a% DV=}? ʼå@ޮ6ϫ}A"Wo;b7a.T>\/枽{dBcXCaH#x=5wOݨv.ғD5]<)$yA<*#C Ū )=d<A1$2;{0uf"Hi?H i\(g#&MV@><:U;z4N)?nk}"ȡVDF>V^RW T>(~pEʕ07'zh mz,zc4m Q^] <ˉi ZI4b%U3t^{?q9 Ni5i'+WKyzgK&BK:ʬLDYx,ZP<ْDeֵ8:%V`h`g:ݭj┙7Z0vx ,u*L1gJ4R,ۙޒHn:4[qČh}) ~m{ =̖:?ӥTԏA(~~NV6Lr .phV<y})agkմX1< D;|;pu:^ޗZK%i[<2Y0΁S Ff?QbXZi=B%x3݅fkSLi~W:yH((^a&=o*&q]RHZJoɟ{!r S]9ZļHP}[C@}?1R`P26p`6CIa Ҁ*FM<:MƁoSfm̨ Ž!?Fk;c Op9%PAT)2Go=J^aks֑0n.rs`wGk.'N͠T ,kη%Ձ<@^#egHW Mm4d7&~ڙ;=þmۋ,vXlIz 3W}s!l%+#0*t`d^@A1qRb6_X{TvsЖ̟# g8h6]O>"V !#fZt] \59r[V7 ML_wʫܣ{ݔvUi!R'B͚QVm=eVw-)tTbt88KJr#͓w q2ʑaO|% M[bfOjU5U1FaHI>+Y\',Bã.FV5e<>(-p/a3?/Zz,#t 4];.S.{cVMNh(x&yd,Ϸu &A"2_?FzGas#$g0v7h_핋 &nWb63/ gAΐ&!Ԕ:(5IǛ\KpZ#[vf@[ag+7U֚w5lwcVsjޠi3RS3O}eS<W:l+ 'atEi&⬣p~@aVrHϱ*RAW]3?/R]+AU;zAMaCYdy_%K܁LvnknrEdC&mk9\x,ֲC{XXl(pK]6U»#+,~tGuLO&,ޤAn֔|k Mhp^gӁaa s_feNJKv$p^Prcƙ_LSP<6jnwm,BaY艁[AfHk+^bA N)G."AJL'os@j?+<_#Z PXl9}嫓2$4+-g{H!f&FHp` rz2)GBMщ.ЊqsWd0s^r1[$%xHQˍ:+C[zI{)Kvsр"Vhx)d^MD౶ ±`ߑGӡ$ Ĉ*G4U L$ oxE^ZX7`4kNUd1`05>vꃁq a?44'5 ΉԺ{@ؕdH|eQPehp}*&1_J IW[e=d p'=ϥsIwvX \7 &#S9(ōPmqu9޹Jʳl(KQm8bĮ*7 >( C20OF`ձFHo?x; Vf/[–R+]vF`zyy3h_Gr^yD;^#F„>HwkdI[]wrQ.V GOfe$UƹqA씱5;bbP| 2}3eDO =,+E,T!VrRԲoJ`ʜ? IUښ!N,)L~'#b%/(e3bv0$BO}G߼_f:B:cxɧXD q>\j, -#i2'XQՔ\Efsӧ@1Ku5ٓ\wc7E:Q˪n.c= 8locWs)\{|jܓгtΙb*Ab3Pvo!GN@x:`p;% 63P]Do]UtҔSYhEVmԕ>Tit#,ޠ(?\Z&[ Vg|q)v U\?p%2!sґiK!XC]i?->TzI+΋c _6M4ɨ BW>-A&1Ҳy;uK'׊G{D2B!y CeFƗ#dR-+UcL.t;\$ߡghm9Vzմд=`QAC.[q럂EJ;@4g7j#xs닃_U,Ot$zDzQ,c y2 q@%~|'G'%d K9ۍMmG@躉W` &u*1 y^"dOfz$K4`W)Će&9}t)/bKf_j^;[k(pA".cZ^JD*4p,3pI˄&:y1ߩ5x> '6gGʶ=uD?飄KK$qnxxaD&W<:g ,OYQ\8B7`. 5@hl6@Aa{Ϋ0%oD$ ]r4 ϋq+s-Ύ{dڑdBG)gqfCјqbJut LrU Fi1So_BaH w$jt%SVTu$V9ԔXJ1lT`gl352й䣰ղPxjv`߈B"f"hiqk]#-`5QkkQ{uRPNI}۶{E7gMM0X}tk dl(oEdN6r YQdP7sJg$ dQX\z{R3:[6 .ut #NsAdㆣ$[ԜG Xh‰ɷ޲qtpNu“۰iYH(c dx4٭tVRi 샢mz:dP]pO2#ՓH͵0SUxZ # S+ scߏ ]k )E*.>YҨ1 NeFCV-8`,S~=«@׽knYs@(e Cki*V#d`G j!QK1&c >zo8p.xP!;y%ӣID!+ևLMA4Wi \<ywzgBN9cQY(V@dۿn;nr"b`;3)w`XgRn[]!3vZ$8փ NxqBwv(Ww .Lѷq$ 5_{=g=Cs>BBn+T6+4Gf2~ejG6s?sQV_pDao\2c#yEQR4@n4æ2 g gx&:tVut*-nJnL KQAB)<ْC똟=wc(H$D?؇8{WW H<%h}襰J^SHTۋ2 O'=>qvYͻiA l_wXOJXe,$/\ϝG҂"7:>=<ށU}5 H6H)0mN mQߺfJkZ:|1ٍ'r7䧩Oe yEFUKR#|ɪ] y7Wpq7ˆ>7qWc\zxj٘Ict,YLxwu06T4& !i Y$0L P6+Sͪ%*(6vN%]R[NME+F"F[Kb#Q?7olG>ӣǪCčNKSw!+>mszʥ`íj6Fu%~ԝc Dvn___zuh+!ˍ2W20=|9ƽqL{(YUdwf/K") 9gbfɿy9 yF> 8am pԹ:4H v|!ȝc"x}U#5[~[:<ҜֵJx5{.t`(7 &|c\zKFen9tȶ Ԕ"*87ă?w1gV9eV")$z6U]BDL8bv:~Ç2MW PZ)ڨ?]4Q> 5TG`Ծ "V?Em;M#<d}dSE S^C.$ ΂Q䳲ƅY qC~:8;`|ʋ=r7e%.wPD*_ݔnM0u%Vy'X{k"YWQ-|A60{̢_)3a"æTiDQbuR@=ue$Utz#1i7 RV뭡~BδLpzJ;m[@{HGW@@/q$sOxncıX*3N!CUj4h&+lKC31Vto>E>r?hBz"I? ItUGJ{qr,cUnS?㏤)"(MBs' |× XAվ/l Sip χBb o?HطhV[v㟌cL2Cv %?[텪 Jŗl1.#5dj:u_{˛dS]GGa{$2tMiko$*ҤUp]'A8he+? 56oNQF$Ky@U,'QǷ؛nnZ{%ZyDt*ҩ>a=-5ԧ|8@F>sIEU E\Ҏh-Ȉ|jphc\յQ3{5kxZ\hV6KBu1{iO/1987¾hHE֬hHG~F31*Jӻ\R9"zZ*kU?8XpLزC˗P!mKrԪZIAL6rsR@gOρ5 #@8},X%>c$IVαieL&{#c)^ { $|+Rzm_trǰUEK5XN %gYZ oo'G% UpDown_SchemeHOL-Imperative_HOL.Heap_Monaddocument.tex7zXZִF! p,]A-MՋhvG"uIBm59$ }] %$;gn{kOXesG87aFЮ V6[UP4DXrxMVVaP^Q8T1mk'<cH+6?=9!ژ_.hvkmԬ.:ųoEFg]b5n!Ԓ 97ǭAM[ aav>gN!818d~>bnwGi[ײ6Йapݩl9y3s%|6 -J٩FQCZju |Evf_fXsR lcÑe+q'-XJ"G#w+. 0 uJTN*H\ވ}2,'!n S.ԅz*?ϔOwi~_biO5H;knjxw^tȖʖE`u۾{,8x[噓@xd=ӊ_= " Fy20j6oX; pΎ y&m.­~ګw?ȡ$D.؇ybpLgΠ?~ᶲlB{)Z .ath!v:VeSTPw/kŘ.c&AN@ݣ3?PLο&Pe yEr[>=? ټ3F0{ooZiH7Fqz_# ¹ӃԾXOx&N)O>P(B5T %b < qy ƏPB-yIt: YDwZae4Y_8aM@094G?x򃓞C]ګ}z4qs^w\"bvm'@:Eef>?8C~Y361 \@88Ő]_V`x Z \Zw>Q@8"EM=ʙ-"--u:F*T_Z%yUKP\i3T1?WxO>I(`v0jE:KfbU>,&k\r'4Eg:u` \6 S[/&/س vHAKmmD y|7_Lm+MBDn :y&֊nFBPɁ3Q6Cyd xp(el?XƔٸ:V%̰Ωx1-peLsA0`h7E@z}96&9[ǫ5IcV~6=L|DpRh "8N S(CM30sJѽm r RJsb8(~}S$#z@q KDl-u{b ]Yymh9Qkp%qPsrE>և3 /R+|' ULt2e9JuB23;5)|e52N(2%Am42f)Ό*fIO/۔/5)֎6ce=:|Ѥ`JB܏1~)LTۡ&mY!NOuB1l KIC^2[,7jHf *[ZgՅT_(;,d>"Aڪs7,FCJؖLP ͡qO1amŹ] ,@͹uY4\@4n vFYS,/=\pDz.22P4^!v t`гeb~ጦz2DIlD?3XZ-+YRuHZk @(k-_!t^w#l,Wy*J~W̺_yJg\ԽWeadU/C:f9w+N25ONs+W@ą@_*oZʧOނF.|.]#|wt ꁭ|n!4R/nMK9O[uxt>'`_Ta:SrYHfk;֬ބHn@f[gg^^2/U䙔ھa1n:$\HP[vsr.b\nuѱB#]rUL 6P?H ԢAW):0(Up HPVx8 aQlLͦX{7oG^kugB}aV;籈;VJSէ¬{}ҳ*y1x>AB"x؉^4* q}O 8z^/~7avmSD_D7giGs.oUve1B'r&P;.B *ɫK>o(yNOWʽtaZv~ ˺;=]C7+[.h~<~bsm$ѓyIe@T.hd)Q! d!a,k4tdݺ_άze S!0v0HhM*Ԩ *Ct9™Uo)0yTyPxМw;yj^o@R:5]3UiչRf+ܚU9N 5l?s%;Sf "u<ϱXbzz;XyF? խ BJ d k_X.?D;Y~fK"6U9t%@~r^,A!.@J-՝p]=*[-c;."&dY齡{9H.GCF]?*é] 5Fa);WLw5p@G^F VT2CW~WC)ą YBH`DfARhE\z̯v4ѧh 5p 3./)xz\텯sBETi0Z'xg>V#+mVЋ~TTg)l%0prW3س/Yl Zk?Mh8+=néM1*}O"c|A)6w1' i0P/nKsh0~-u"mz$YT o|mq;< %mT9k=%׊]W;7,%cUSo,ͪ4x2+F&1(nd&EWF>Dt fg٩fV@ (D1cdL[@\P_!Cv!DgHUijP#g^O/s:;;)%Bm.1+Dv }vT# &;{hϒ*JR)'ey/ abyAx6w罨 ` n!lxoeV+t́2 +­KRa ?p>,?}?kĠZ3YwvSI^ }lV`4VNeUՓkH^(ZETȢɇ*m~Hs ;=f&m g(|Ҷ<96oQPI=wh '@u"]\ w+ߦc塇Y%yFúC}*u op?H7Zy951Μ AjXM+ g82%-R9ĘuyE-v{ AHmGˌa_3:XxS&(Tԕ} f)a3$*%9:Lc`* 뗧 3ewPPo Shafv#N+ WH#5$^%u݃CK\onWC3{ˋ#HL 6+sJ Dy<\8~jIдGi_1M<e30! o/@I!{3zҝRoн߉GpZ~ k^X[Uw9 gC 5/;P6/FLTwAx%<&hnMslK:I#V6Yt.zls[zhzQH 8|Zm6}fdAWh-۽ts`KcMbN}=`V݅ OSj[Y+9F#*Yi0fA=sFKz%iI$,|B&&R;S*ѵ>SĮ@T0} Vi*w{gc rmI_NS2nK[j nsQ+ݧվsqEd*Ru|?-]V/ DwP8z:5nFt}}iI|/} 4?xYpxZU !` F@ p3+ydDf~gg$& 8*csְ$ >7/IZ î<Fbp,~()z$|A 2ԝVڠCSfi6I-q6E5u?8nD(5:LF6xX\^Tm񀫺,k*SCf'<\ݥi&%l4Y^*&X6Umx˙WI 9Ycd'7:#2˗l]gP@K7th;,,w^[՞b)[ȁc/Q[5rg6 Q&Ha#PU~R$ȳ:Ɩ3e`N3+I!k-R3 žm ȩOW<_B)+r2 [7P@2 fĒo=g2ֱw[\3JDR : WV9_ß6]Pf;R P¹ 5Y(!b6N 3ig+g؀2c :r5-mcz*辚`~HN=<i[ {VA<>=#1 _YUYk#$rˤ87e%x`G{1?#KkE!"L;rl]V/]#Bl%NYֿo'&cdBc%B O oelc: d{VEIQ"H =kF3=9()%s j:(iTϱ`\z 1y\6GS[%?,Irnhu;h 9F#sM[P|deP g88?x5ӝsc'"r\ ٢FR'U_ q0O_{覢*nBkd =$t=)n LxQ22=ڤ)ĆYdE?ІگMl^vX?&5[/ (B~С yTHgȭ]XِLy2Y5"nfGNhdՒ4}Փ_7l55ϙKvt'ZoSS1b %%2=hБC58fL:z$aV?s=t |Z%gm!ym:"[Y-NfZ726zQjgv!!ѽu`Uj]$ҳn䧇Kۇ"SK }gϠY7~%~J>#OoMҧTLb[H89؜XIit!q! pi_=GsR}_ Ma8I" UkD̀R6^*ͳ;Y W.nT N_DT^9з.)9_);&7H-ϟpO0!X6v#LaO'U>W8ٻ3 RUGAY(oO\W OCʼnM(tONLI͛c2IEo$G0a (U1!0- )}z-' .48w@=f+zrd7,.SJxJn "hOB nR/CRfi(#55O^?Nk&Kݲ˛ע5O|̷ I!\h- WKJ%_V?t;kE~4o(bXmZzmwf5S)(MԖI^)ڳ+AF#[?V}x[SKN܆^]ਿc!ݐ2c 釡TIX_hghzcpAfsĂS#zmbAhi4{)ӻW1!H>Cɐ[MBvQdzVx 4cO _vg<A;&hh}x\$ ;!ZçКu^Rv/-)-nߡm;Rٔ_*4ab IZɛV3T%fkpDܺ"D4dKM~-jfi^<0Ff:i&_Z|n>|,,x+Wc5~U=T ˃d8mRt2Lkg Q 4r@ɟEz?s#ut}ۢ9bC6B<9Diەe-W u/+~ ir&@V{jLETːO9ӣFh=jȓ N>yG{A͕GoҭX=D Ԯon:W3L'i}|Dx-ZQn1 0坛2wuɁݍTm%NZIVD*GV"Z ɒӕ` 1;_!$= 8\ZE?Fkn+,#a9BCP6ԒʉRTϟ(t\/D$':,]E)r-8Ng(;T~XM[i yIޏ??S#;J+%"S-+ּb[= =]{RE[Ms1C?|ҘhT͜J{Ǒ+q@E#2g>^xnGsxSƒnQı:EF}1+q{D,Wd5dW XẄ́wmy60k0j*}X.[ o6f$2-0rIWoBFGJ3CΛY9]\n%bCk1*;/}98 RPͮ^` }VZ ar8R B4-ep+8:D0ֺp^DJW+j<[#]sPK_ rt|f <$g Dme@n<cD;MEYdqA),&ɍP2nEx#V'z".yjv5|؉ [n=AG\[>$ Wb0NL.Q ?"9LO7ݣ>hֆ5-FZ rl%>O6@S:Tiƙ~C) ,\w7 ۋ-2;CKwC=m6uΠ#}iŻReW.B!`zlq?e%h A6qHn'ay  n)Y:?ɅΞ~ oPTG*A1U 2SQJ=HJ!3n],rHw,;fyޑ;j`Aa=SP!؊n?s=_\-"uZ3FÐ[|&h% ǘg^KN+;,}.F&dV-cIDa>%%)i?5V'`N.R>a!خ4;aLTg R0UxYCcE8_ۜ^^0GW!^&vVJw^bxCBEݞOl69?k}_Mʉ@k#uՐ=؄!5ܟTl͑=A})L؋Go~*rC%^vfU0Zىk(55K'fyɰ3A枷   lBIc٭>3 $UJDMhɾQ'W1#5Cuwz擯 #=5Hlf qqqvδ7׏MCIt$%ovQtVc_ݩTH^55sf/$C~ j>Po{1)[~H~Y/ Nr`Yi(ԅpt9&sBIoXPׂ'/P!*_/,*z8RPK6[@6(pad.@E veY`hY@<+p! Y@֩| Pƕ-։V`t֯'dQbrMtP+!ܝA ZJ(%=O{/9TPܛfUn>\?5N'E4N-oK $K+QpFn)*v=Wi*/r$#m_?3+µ/W@XgR9LXaV$ř-#bVّkk}.Y|z@=D'=nC`5fI!sĜJ_QwUnU+ch,Xە{!{ 2u GӾɴ(=NԷO67$<\1zE^Y1 w0Q{?MƷթ b5kݰvw5uK!,Mg$~%_4bD$VGk)is[~dXF^}mՒ~WR \h@Ew s %(ݭ#a| z ct!uYM3J[7^ Bu<0͞YQqK5,g-ىĨ%I:ՙ 5܅NgQ$OuU_ѾIז54{3N>O(Bnak2 E[\3(GlN/ H\O¶iPK}P0[(%b/D,|kDfY=HxI E>[Ӯ=NwbʆF4A[_ow͛Ԑ$yf Ap5^O@2`wZ  dn4-2P Ƨ*1P;-FhZF4M/)y}_c4Yj\x@֞:u4a ˫ޞ_tJ:rUQ($ d0Azp4٭ǃiS6uCrNmjdb:˿ncw X Q*x\ڒFvʹ trʂ80=j=P0 xguѦ# QY1,2uj=KiXR(bE*X)>Օ)ɎZY9 _T|Ή0?!"'d-t:{JO(8Lڿa~ EQcxYq̺e^(<|lܲ PCL-Vo['5?t_.^X4dR8Vg;Y-8rV1H!iDVVѠ)KU))ԧ+Qʊv~J}bBd;2#0[}=ft ,+#@ȇSOVˈu4:9/PEa39[=CuSbl$n'r%|LjKD_ &A3i< 4jJiTbַ9>6OBF =71:U&={gU5y߶p+^/!Bbte-bm8̓;L<:4Ҙ[c@$q$T[_y1aYVݥ-vDxq0Y4sQ8J){{ZE۝NQR6D.:ǡ 9cTntc$a!UJ ѐYŲAJEy,x&--3Y39WO6k`.Z>O[ey2/f|%Y2,TP嫱?}gd\4`Kv=@޾I ˊf8@T\gZ+ԽY;ڱI 5/6)pinΑ}ѥե Co`,EPCv*A$D?pc]Tw4Am|R)Tb*(pe7{:jѬ DiNGw U:c[vbٴ#Fx%jy{a3i .{k95QS^I6&(lwoxL˜? [anL&&נK覩4K Z![{`#9 *m19ᇓ4#@3rO8, LO(nSgENP'u VFXqx(VPbش n\S}SAD&/TaXTwn}I͍o۵ ^̍}GJB-iAr7R\!n1yN{}; pH|bB֫G.jWe5̒afo%!ʧO^!VYIQ&R;hlD 0 \mDKEۍLnqΗ#֚Rc)f{U 71VNWjh>b)}Om> >TlꆥY49񚙀Qh1WwGCj8qP[=) .7U `oҟ6ɴh[*Fꐁn-J"tC ֑j+woz\{XJ)NADsD--E r¶qXg#F`p- Wnr`:0ʮv'3٥w &z=b0RfF gCpEp e1/ƃ>EıZ#?ςȄ>pN%ႯbWeF(d#",?>l-0FbܿG\]9bǘa0C3tW|NU[ Wp)EHdf,+,1& pz,ڦmP@?}|m읽:Sw«(8`8Va_Cf7^(d7yn"a8,~|"-8||ӀJ}pN\9ݳ':-H»I1t<[0Z2*nq)Θ]c-C5jsδm7gz聡$鎨e{O.:~0$=?f66RqGnbGC>[\}y G"z7 DGISAmC-5blQGMy:n<@4KfQ+ Ci[h:MwXؒ*>0t :s rnjI#ɿhpv{MO9Y94&`DbԨBvHƼKQw7t+T̑<6|h 3g`ڿ0ke(4&~m1KЦLtƅ!8FI*&0 gw˳|xK"eُ ihx ƳܶA:WQnQPW?ȆOy<3m9|6Ap,O+@>IaZ@2^@H{Cqj X<.E`Nձ%@ܫǑFtetoűaV}YR^gFJEOZ}}N=\M DxWDV2O iE ~sPl\ì.7ck#mMRPA(eеzQ"l+koBl]ϻRzxz:{B.pG~|^[hIoA 2Kœ@*=/ʂ{#NiWX\Jd0TP Pk{ Cpoujב3EV=RӃq!sh-ҋ,[s0uɂ4E;"I,i$$t<^Q(DFpUJ>⍈'Lճo"H bk$ ~R,5|H &Y39tM2BsiU0^XLnO[zNըt![.D%*MafL%oDZunjIBEZcڏI^N|k "0{bwݡ >2b! *imMVhùռņ%B)F+)MjU՘ s22x]Œ i^r6Pũ2L=yJͥrdk㶅uQ_/(l>*Z4=&V1C:'!:^ ԶjoV^$҄B7]Q 1SMR⯨Dk1׀M!W0 /Fo*bV0ߊ&RoM݋ml> 5,Y%;ė &,ĥr( h8B!3 `' 'Ijm vr+?05^/Уphwqp&SP=ⵅBC`::LH]a>kt\s= JN;"+(Nx3sR.@:@/װ[AID gcԉ<P0/[TƼ1pA=,z~eŠ969 dQٷ9-msFXײjyu কx&k ~p4=;nAYyz%leo|?wWj]2Lvo{SKrEՉe:K$OҰy"M7JG+vfϻ2sif*{ WWYY{{D}v0%䏽B'4̬ MyRG'L;Um! $E]ëpЀΕF058nT%3qO6Uhvκ=FH\ŕ&k7@\QpQCq:03a G!`i{Ɲ@, 2O|eWހyC1@^K'z=l{G❿Rl-uwxMu~mJuR\ʷ1lwxU ;i[H7Ns!K(j[gbda J׀@aejOCH Ȍ [͆谚/Խ%똵.Ჿy96.f=yl3O6kt#4/sW@fr<{bc!$n \iOwDA@^}bȞs=Er1zJde2G&6/u;ؖ|\N޸{RYvFoİfK&dׇ83[a;j\4 1*=?q y$>;#S! k#ڔßgj.|NS?qv9 ]_RN7yMmg$z}W`zruXM՝oK鏙1;daƷxS]ߘ<yv$*w!@^3tc$zB9,u&ȝ׊%~#9[6dp@ kJ ̄ G S R ~$|g7su∶U7/-ƌ9-5uE׽ʔW/A,O߉@H !ZVsrъhsG6v;GG$S nE- 2#* mKG|FoT?-J?ضg}tnY$"h3zhvM,q2IꘊhE-c;'[;A,&tZ-Z)pep2J8f{ dS; ɡK\hF%:YDT[V*oߖ+'j)9f҆; x0-9{'62] ZLD'}3l]l-";ϫ|cX9(i8~Sᐓ X$StP0HI#'1ΰ{ @uЗ(tfls I۔mOTI+`W1(3͘7;P\1cǿaZBݴJ60T

a,{eR:%I{А0n-9rUl ্V"’j -h$EU3ك{Y^($ &ݹi9B9d !f R2 F݅}0uE5[nź%MbUn,4e~F@y FӜNG; 穫J7暠LynEgCCnI`kǿ;h& h>t~8̚eJRi9ϭG7[C-I@ \jTfK< @67 6_wziSs]`5_䬿D9߈'JBKm 2ZTC!fi":ue#MMG']+.ylG7CRO˄~ۓ:6}t9dr  BR-nUPrND8!>uQ(?$ Σ쳹[ +b>-7iCΊu\i!0YxAS}Dԃ%!{19M"G#왁(~(G ʼn S1 Q#&tmu"ٜŘp,vAci?YE8c4i+1UV+yײϷdI/B*(@r@vBckAKu;*na9]3hL~] O (Ǻ(< rRϧT=P4HߣoIx6m*ߔ2֠a9|4|qXHG *Mɥ[yҌr; J@eT[|m-`Š.NA$U' vEEKB7H_ XM[lvLj;z[ęN3]ٝgy"F4M# [ϫK*7U-\GܦJQRl.ʎ<|YȜk+z)p7Ӈ0:~b7΄aP$v3LX`$x;;6 ẵ#mղ(*¦ QH(-ӵ !\CƯ~jW!^^Wd`De P`QI>NhGر?$Oۅpa _s]O_oRqY pU8rHrHΓCUxe(bC:U%k5'Йo?`R ɌD},&R*fj> :BSb!Wb:$93|D7EE'\,wI(4[zQ߀GM"5Xh^ 0҄_Y Mǖ2gpLJxn7VyrǕ'[n2Ѧu{\?wo9F^*X_y'̧ L E cq3=؊ cH3DWsKśb-#vov< ,(=F Zuɮemڿ>#l,Γ9wJ p !Zw.4P!!GGYը:IĪfYE؛_Ij H LS~?Sq| OS﷖}N6̶N>'RB"$ud{Jd4K~PM`~/N yjmp;X|U|e Vḱ Lݐn~Fm|"T4I =1 nιl}p Vi/k-}b+a}~YkШ=08_\Z등79W 1\t=?CR_RGc]6q*e[􉶨GDzE.aWH +\ֲ(^?D.Xs&T.$Ā>罩Đݺ/g~d0l˟ ߌWt>?ZA&W$n'ǼH:խPTz0[gyv&$YӨ|BHgu.5MYpĮ(7U?i)րx<ڗpE22 }zLwQxJnJt~u>J^S[YԭS}Op1])cʶnW}ҩXz4`-hqE; Sn2b1S^kǏ] []wk4U {"O (:ȕ :Mu&TOm ̄Y , ~G-諐)ȼ'1 8W"zjepY6g7u7|zyZFH-/cIJc܃;?~׷) jsaajv1ӟ2j,ƅ1Mđ_sҬ8H\GC2"T%#F݁ph_b-xbmXu-p(ǷLy+ꯗ=OwJW.n =zIn@CM aOs+ 芊FۓWQqF';+xsmSvJoyML[Ob XYjLf"G|3\nt X7(:aZ ^լ2ׯGhbV`H /an)p!6K{̍ %w=AZĖdq&Ӭg>,y g%l+v҂t$qsm/y8&h>UT{:TU裍`r |gN}\DXaYQ %jɶt+Rio3lq_4R @[ZAGb6C(؃]}:+eMd* :mjΨ,;g|E'B!V[TNEDF)͎iq AÚ\n |Ѩxݗ℣-z<H(87ƃ5ei9f 2é:pnj 1)@ CVԫү_ [uJ"# w;XUuO˰[E] PBSv 䑼lIϙhQS4 P&Kpױd+6*Z `1Ra J2H-S;&HkgFE>  ^ R%굆op-^V1*Úea}8s,9m|l¡T(&#ٔ=&P&ʧ]A}"[ Ņ̃oxڻN^4aMB(:`--li.$|e+Ypw5GX?4OH==3E WUzHݜ'|W?k9B{8(ߒz^y0 =e^R4IfXļA6ؼÊ/$c)-# סuyLTi6'EavDH˜?)^h(# ڍ߯L[5#f\ΕyNEOʦǓrWȴ 0A"ePS0SVfm7=_Fx|Nkj^u͹=/ۋA`TJw[* ǧ^<1L ŝxkJRȄoy5+T 5E1Ւ,X.+jKۓ< (=U5r~N&Ib|$ 6ٷ,g\ˇcJ ~u WGwu8pK8SwǑW9-5zu#/*X7Nb6xP.RBQ)ofF^V A*PQX6@Y{D_$2дUD\٦ ZօŲ2Q9C*6q“WBb3Skw vLoSےBq{7t?bR )o+^PQզ&> r)s@g14JȭOPGίmz$VLJAmP  m*&pYwmb{wNWQ]wɈկ8?xeѠytׇ8û>sc_Jl-eHrcEPۅQTXC>9|$ոT9S!6.F$~9B c}-wNؠ+p=/ړIy ֽZk=1Z3+JiNKǕBv`¦ۤJO!!|rL cZײýbx0H3gNr)j+sEaT'b); k)R[Tt[]6V?a-Ȥ 1H!6LFa(|?EfA^WV3O/M:]Kߚ\&ED 6 {)류& nq%Ei)Kٖ4x&yq^KF *A'O<ҟSu4M on`qG8.v*# .fnO`ga7f}dn Ďy8~@nnH&-fb~RTIYa+H/O#UI#5h_8c8 I{r7)FtϧvaC-&54؝5z Ʈ˴/˛7rE:j,I< I^[Μu鮾R25XNl(?,ϴGzІAocoxO $:?p {z~Je .ZUԏQ V9F.@R^5` kxr%T<%(o-Gns{R'p1%Hw2*C4lYD1;T _/={+otFXq|("CHQw@lcc5$Rʪo8Lو qLzj1[Afɭm Av ;OD3jC 6 }P4㲮 's1S[b}(ohfC!/|9&5R@C]nU3?F c1PM@,_Ք:}f )i}(51"=5k==I-_L}]lF 9|u KR )yӝ<>$H1b\dw-pMb+CC23KmH7n]+L,u]?8?:wc Tq8h SD➐U9\VvbH"c_1A@'ϝX(u.~D3^ZuK`M{ ,tQaެ^/l6`_ ׼Pnmaڪ1TT֣l X?`7#3;,Հs WC^5ZrcR B>z;EK 612ey*E(dX>z4lؽS8cOsϖuX(@,hf#ש#GBR;&SVvjgˤPUwufpfVxSr*s(nƱ*wX][ =zw ^K]pzYm)̞XCB`(-~B? cvtr!+ٴq=wȯ"V!8vMN{xRMyb}:I8C6͝I+w5U \AS8Vzt"9þUMbK߂lv~X᧣"+`™~Omng3=X0]%0:-sƴФӘFNM^O=X&g.In+=ig $0 ![k&-w{`ٝ]EKf䵾+g!5Vz@/f /Μ>т1.py5$6qhFcv3[kSb#pG-eD Pi ?:xGWQEDzv: m8kBg(6Sy*H;62B)H- D8U|Ȃj\ ^ݹ:8IfM 2/ %y= &z-:?bs@,3-pJ~{岾a?j<9B5r=tX hh֞t>ݨ(L\h4kk>' lIV 6j$z)N ~\=}l Zf@m3*,'6` $Ctet ʋ;9yOO^8yd~$] Z0P`[k7PTA][,?%_x M:'4S(k^~!c)O/UQcǽ8j Z6J7Xy;dG0kFnnOI:~<*b g->a,:YZfI1QV6H@evZ$>U*yũ_LAV?'?=NT1$4As@+e kS=n>P^Zlj~'~fk(Unr7J~ _E9DOis@ƽ>WD%9[/$Qq֜Egt"^,X/bce"i.vYuDX1S#XClEqp%I}Є-~HsHv*zĞbjZ8Mо.p="g<[f*7׬V=Fx*+I"HpQ"/F\T7gBi]c{ہG3Y8IȑlI [VYdnV!M"MuG`{Cgq_Xޞ膛%*K'PjIFV>Eq<3+m|!& rPdD}КH0 V"Qt<u{.-~Sz%YlҰ {_n?- X%N%4W.36lߦ@=0Њo|_>Vc\h!!ٷ^X窼M X;F06Zg| {eFUO$bb/Ƞ-Pnzi5s mne-m1=( Bx1°f*CQ-s.ۘ}1 uی%j+-Bkc"2\do+p7uWqHP?!ټ1' h}iDHJ¬nR3^^*v_HF%vd8D})kx@T/n¬Oe1χ5EڧA`;)nȴpZν@!y̩Wnh}dx\,oS)Wj-35y" ԭLR⹍ †6N Pg-&R*~D -{Aӷ:_]u+ϢR Ld47,L`"uvCr{@=0C[CA`iȃjL(5TE/s$nF\:~;CuM݋?t=rF4XzDoMX@Ƕk@B5\? _p3.wzׇ&mʎn#ﵜ( x0`ҵ?? ~3;-&Ue 7tyAMhdd842l*f?CUvQlOLQ5X c%12riĎ_ b) 8JLkERAx^TothV"mglUT_ oV KЪ_zBi*L*ߵgUu.ǝe4le=rxUDiƵê x}CsY|}ut ~>L%G՚=edT䛰'&fJ Y)Y\!THU9Iۓ'@@W;\\)5V4 Ucu6Y(.x¾IYv? -U!H%ȫk{WôI7/sVX qhؐ< YM(BѼ Zv<ɇEuG^KIsԟ1 Z-gܨC Fe b ѻ(QVs[BiXʰ4ȗWjރYkXNKȶ+!>Xj%h^H-b:\]ITmow1Rظ4E̛+twyZ&s$i_TT Ge"Z_Z ]=,~˂j)B@Quf /14bX$uTlW(eD VEŨ6q61h<*t2ĦIQ?vf F"g-YAjq#o¤$ck'(6/upɺ꼶j&A&n?rsXpdG;ϋ)Smן)OH' y1neҦDu O|/RtcîВ4gXq~jZb1[]('9$+[, \c4Lܣ졈9IK;mC Ur.t"l9B; -I0A?̰lSNCBf.ި33Lo1kw k g*jF-.Ў)8S$n;cA.dEm\-ip ˈ>ZQ]c( j@1Ls#1 ~ˑZLI)*fǗWֳH58y<߾5яZّ(lJ3iFNQ aLU轧K0Hljh^!/H5v"{'"2mgv/#y(IZ8^ m #f "4[-]3ۀ#Z ~;`]8JKþL9:UL_ -/?/z7r\HZ}Z)d@43BV+;؏M7wz?V^`m3-H!1nMo$Tr\f~hW%Խ)zֿÂF%3[e2׋8=8W;FuݫԳźzq/ V}xճ̼K<~DZ ;E?DkJdyWe5.`r{@,,lIWHA]qe7#Z^ J$ W3;JҡI, }mn{@J)1 ֒) |Z('M r% VmLD¶dC КFvcKF=$KTee>ڣ培@5jg\ivEbQҸZ<&rܞdng|F*mL:^PȖ{~L_jAQM 4p=DiË)Q=N )"vA~<&G /i.@~"8ؠH|^CwMB{9ƴqB N=Eȧ}#ߧ?>LTk5U KCj;ԔİHM,Ƙy5M1Y'/^DMh5Ftv-ĆfS߽ 5p/ Ґ~w 4RHPy`*|Nghsn>C- U$C8''ip2t1d(99b2{Z,!⁒'5b-,A&$ O_FN# s'fXvƅ-?Q5s:O3YhOG b+6*B\uf![6wxLè6k|( LTx%e3ӑZ_]!2ΰG]j֣?\n[1KL]a!>pVj4~aZ?:S$Hdc }1x??~S?r3ԷU"ӶS֪`hLg-\󵣀k_ٝ_߃ԝ-BfӢsH/ٞt;h]|Tٹi " o^=Ub`Ѭ $+|FGPhW("8?y@=.1$St0~d/ Аx4휓x;D!75ެYS .\&wmdPy3p('MKߔ*6߫8Vޠل(3 ԝ:6KrnvZk`9zo]ӈ 8 WvZƚ籟8+>е.6آpgr34 F|uPxt+-oA*|x.HWL~զa1brLb6u<σ&X9(6ej1ޏj85c9U=sh&"/2%nő%Z零(Nx"ƶ3 ~:>%2zʬt&ؤ-8?Q61Ds'`*ߚ'>hk]rFy8Gy>z6{:z(85z7`@I + 3z7ieDTeZCwqMrͫB;U<[rRݑTvj1LCA,ՃQ9ͪ#};o+ų} EN&(')5au(͘q WUDٖiK~8e 7O&=57\pv_m;JCݸwdZMS!|^{\(!L͢δ!H)IgKٮ}"Gɐ^"QG_qgS%yGy|ÀL!#}e J!ׯK0P|xxʣbc(f8@DٖTP?l1s n8:PWp2/Bk+ 壄WA}o% N0m5|7@m^bLjt7Jjh BP"K gPkP|Hq>r"/]𾯚 PR׻e)ϳCY^- YMF&;\ $ tm@ϑkfj#k<%2?kQmHT.-K䓝(WխO|(Z gOF "dGNoQD6^7w18|i ̉L7;)6oZ2YP`w Add%LA]#Y"Gա>p>?-9."F=b! ֟~-%u뉘>:Q:Qkm*]MH0o |_BW{bk[d{52GhLx `7> 3*ӊ*%>*r*[Kȕ"=$5~: (jXp&I&P&I`2,q9rj,Êy멤Y6 c Nݺ6{x BEM# \Dժ}4eE o] › xI28fhGA0ؑ $@@}>=ag ԣ* PВ_щV{JۀvDOWuᦷKR/HН Lh5KȃB  uƣ "S,ͻ\VUbS˛TSuY;JTonm+%zVZsPħp9B99Tw~ _BvqaٝVZz(낢#8Z!@JQӧ(F{=j<͑T=\X~ϢhRD4M#ۧFy*([1$.]2,_2XjsJvx_Th0=Ga.󘮼IƂ:Q\iI$┴KЌz(&wQuO(9@RT3 !8 5YޓvV>F$XIfcs)cD#LS/(cqjzigLF7%Yd?bSa.A8ELjfZr4nK'GX!ժMX gBkQ-y%"J :c SMB:f3MkzJ.6< _!tpvкpanzwvmt#7M/+<"=idFɭ#,]U5` Jynٮk˔. prBSa]u+tQՃbO0ASm.S6L]vna[y^ec&!x/so Ti2)9 r~R>oSY fhbON)?FhW=ݬBI1XyV " q(,'δx9ײ/^WijdK T:C¡n->u}5Y[3d1+7^z 5 9dMLZ3b =pEG9XϕA}ȞR^GC4_?O(?n·l~7 !@I'x"ɀ}>S_Z㙍Ib'R %osbx \ܸveC)8 &?OVel %OZ 4>uurL;3-2(7PDWĤQScB GgΖ*\^!/C@H[UuΡx%ԇ^{$E=AFLJ2y ׿#z] ;ia>n旽P`6p){m7H >:cm/9,!39'ZGs$XZ&q Ț@j%KجFhqbAxp1>u.bOyϩPڋg_4|f 4VIo&;<- j^ j&1.+CC~nlI?Oy%b=a7%2텠[v zN+:]~J'q? kIUU A;Wd6ґ|p쮺SVͶF7|~8+y]ބd=F[w~[ِ O51/>jҍwphBr*j6-dR:!;H"|=UJsR}%gP}wA#ԥWX[btkN?M Ia2`gY4Ui,$їZSB!#κ܃YSWgUfBmZS3@94&894NT!Z߳М8up9>*G |*4tMQ Cu+_,ϳ$b150;.pxTy&T #r_$^"9<9O_CVgrPc9&E4~W7kR> ,ed!+U nqn#aٖu`qe@pcoX |dlujxG 5CYR ̥Fݩ\)NZ*tHe l%X ʼn(n~k! /^DȾlTȱ[@a9/1 oX:N!%-p>$UpJynbzb( Z:9S۵oQ:Qd>mƥB$)Hm <  51<,mN ӑs.Kvqk+ȪIDЧF\o_Ɛ BwgiWV ;=rE!0]؇sb҄Zy'T_>n.0sJoc|iEIKN0t%*a<w0Q;{1~geKHt$a4 J8N%嘦.ta!U}dEymWer FGBnJGVm=ᷰaH]ct2m4W6be:*\x=7#s-emy0憎ձ,??9'y Y &qOvOE5nL*xL.^nVbd xYJ=@[g%"ԗgT=>d+x^]3?s9W8K)gjW&* 9q&@quo>}Gb%18ߞ9KeU/+UL0u4pxk ϒ-qh=N+f bE+EDkcŕMs 8`[Xط/%JPT+T7tT@“>2qy>)_䶚qU!&&ZC#neB'[(;""rLW0v+#; *,)VJC`MttSX]}ۼ`=HQ,'y'ng?1(Od*mx ɷGۭN׃|[QϪa/su3͙{͟$\h.xf[U$aBmzN#TU 44 _9-CDC]`kY'{r3&_&*-졲"i>29_7WMa*E\O੿tot:{Aa*I0A,>lZ=hUY pj#k"WqK`6> +A8/I"nLJ~!ro]ŕOr.U4 {Fp CNH1TcX9/W]<Ӛo $/<`k0lojj4 K7?A9I/8_EPk2lC*V{hpw 4O!Fjz"R<+AH"C6(Gc)g.G{in')9W4No38c'W+ub]0(-v=}Ǽ |:#Ԃ] {W1/m TBǿR"DfSBOYZzT\:2QƓ_2==N  Ȋym(t) <[Jo7kz2N[LA4N6yYw-Ew/.l^dC( xOG}Xg򚳮:~a؁`k&ȫr/kP;u<JR/6~ZLR~Ǘ*L9qIy޶~j=VoNXzG RxA_8&HUBsĺsY4Rdp1_*Ѻzm;RX:4khy}V(>9O?7\ˊVH\+0IHUmG ['(p6kb[T_ p=}+[}rDʩ۵#&CyZdgmElf r#/U zIٓ'{5Nh՛]M< 2;2tr{ ݐkV}=$UjU݆'[Tt %$')V^큷!}V&wilp8aOtN_z2dLu hӣܵ mZ9TQx&|idL`ZK561t{x4S!Q/oTOܪ5qQ.LZZE^L gTn/g]>DcVLk0t{;;iC+^gSvgSD̠-*Q}Tj#y*w?1(m@MYgJ tC椊*̈́y ǩA3$Ya8Ŭ5gvp 5k 0 ZkCDaWJ  1Ŝ$l_OAp(FZyWJaM̧9^Fն 7آE^o a@oW&?.m题vNOy9ؒ(ɢ 2xlEZ@MwǼZ#*cȱpMf+no(:h^WߎoAUy2Mf~ki5j{A_IdD9\A沽ԋg4 cun6b2EaI[=Z oX{'V\E``4?kw}'F!X#ͰgjwDmrOSQJ" 5I/U/$!"+@40K(NGԃ%^ rɳ6kcT5NcmH Ar@0Qh{ي V+=$v~?Yw]*M&$&y'~;01Ogv6]!&o 7 f(njPؓ6wpayDP1):wף78W`MXiT :YY8 D: m Ailm?'9`wd_B-AzI5pqr(lĘd .޼Gj 7] xdxgd;/]u)k8wҦzmW/"l'\EY$e@S;z H>? n:DA23v*Ӄ?LںmG'b8~o%֙C:_yܙҖ>|Tf܃\LbZf`tzZ+݌$*GdѺ|dt 3Kon5*H8 ,tIjA];.(/THq5 bvڏ[+xQ[Z0Xouty3虓CD9\Ah{9O2 Tf˘?ج{&2\X0z:1#yN][i`/!?Rt5:WYvy8uP 0O#^ŭ!|K72Sп[/<~?m~xY[IjPjzL)bS &1 WTMkSсC]q6Xcl|n*6Izא%71i,aC}"[K6^`'=( ⾛16= A4tb]*)O'5ͲlzaB6~;wX"=&b>8,T;4JΊ>Jf>zX +,Ngk*JkAc6 ^ fh8aYt؋>fyE^OH| x`{~fdž01~,PHU RV@ "ܩ*ܹH׿QcPQdy^c4s%j7wNPdH A֘9JHG޵oY$AɰP{/rIg\]> $uF7|/Cx"q_]YG$ 3,&+'wtfm.V!^ +㉦Uf_b1aua*^J1찑m 8oF%<.w[@ `Ie1d2 b,+MPEY4c@] Bu2y(%;叵O:hj#N3}p?QOH9;st >r} .cŔ'tqOB6|^&K0ӛ"hxeu"˝ ٿX:gC>HGmHI775P_#9x9CW1X6BTY1 [E= }xbRnY*؁Kil 7JK>-RT6t["j+DGUpP/A-ˉrevuȬ*}f[{f:esK5b)5z "KM"nuZtn̳6C4Lahg2Qy|IBnVW{.R'\"~:n1g7ʺͨ}ƌhaP`OADtX1mz4.mCr+<@-1Mas8ELHZ?lOc .?_D]beHK2=?|*LPM$A)$g`ȹ/30IAOu~gPa5^$H֮{8euli9s_?e?΋3ǓЍ€ݝ]YA{vɕlx{O#I'aُmI-iBdXn^8~0Ғsqpf `{,B$n[WExq=5q_k)*&+z//V7Xȑrl.a -&PV D a Hf)Sև wct/ު,yZtrq 8>/ n57+4hW A9R̬rd(wveT!?tD&XHhG4VUs!m%{ziR E`R;Eς4QxGӫ*4uoEM{YuLHllq)2Y #FRjEbփddѸL\Ii05~8A^_^-u(>2a%/~3LuV$2\;iʓ>X鲢f"^=$ԟ2T <HN)'v&x4lC=,BhNAwfΞϑNۆXB/$q"ސxzÜyZ3v@R=W lvj%)=mB1@ʬjъtux2@Y };%3 sh(g(Oto04@ŗMc"7yXAaU{\f1XblMZu`_{qBȨ㤨vSG=Y_B%"{[բ#6KYD)$بMr>i0$Y P/'TqAbhgwҤ$_s6zD^HwE?U$(90Ff&/sZF6o+$쌜POu3{}](χK0 ňjh|m4K˼0쇐{J_%нGzi+a{}S(2q,g=w}ߜ^vp*8J䀯}E}|bCq`fyZ#i}}ۿh1c{/Pس_狛ZJB, b(\*f_pfHj⬼h7 pˌN4ҍir6  tiUkyy]-h gg P \UTnE`ʃ GC?~pX5Qv*Fl@'t% Ԧc%|؟oj5`AK,'e[2ĭcg0О3E+kM h!'ͪ=ݙH;^){8F)tHL;c$T@[0Iֱ|yc+@?DzoROO6FN;K_I[10~fzrWf!~j"4Zo+ܷB@,D{qn)\`JX5>7|Α`ɔ5K+$Ҭ b-4;ʲ"NDq}6uOP[*'n!U"F y$3 FC)oj wL.$˫ Yzx5bZFʍHec ,'+ m'n%ғچR8Bs[𶿅Y ~iLm .,Ʈ1^K ksES#gLgF~x^r[ݚ @p5 l6HXh/.C^T/HvtOr\A(b2FNK?h=zAȉkb wb+ϩ\(nkO\;n/}TM.|3HOC %gMNsK~/ÚG;c$rAȝ_Kn%گ& DiC5Ɩ`乼0]V ɗ0/`٤rA D 4bH;H@oAm5^덙@f];-{O} 7KV"ɰ]:s[wpS\~r`v[x9|H аH{%%n' Vzl@2nTƉDt wo"W kڊMA-nL?)|tC\3(њW)YIڪ5 WE|n=KBUKK/ u51xQ!^P꾸S`~7__,Ս-v*ay<'Wx2&iZ@CSt&m'kGZI׊hˠli4jĮy{.֖l}cog;g7UOO|𑡶|A%kNj=<[0|7'mV eu2x"JMʆ^z:<ͷ ybvO+45יo2wי#X'>9HuYBQ(j1tեg/FB';[݈\sһhG[:ZL&^mgcl"8Rl|qRFg&D@g+,Cr\DsP*8Y&9Tv&1`P&V7|ܶxt(~iEUO,`ƥ rcWw#^%VY6ؤǣ^;T)^K{]A_UPnkXz<+uY/GӋE|X ۵!mwO~2’oe0Xj w&&8I쿫/ zn,},UL”)I{\ʾ=fI7P4>,+,MSx'Jc-aN*J3O!IŬ3PG-5=*("!ؽҩ#jbT܌0+P_Sv+ef.'i:1m}nUE\a}EsJJ0 U;uJF0݄Oxj "u>d@Xl&+XۀҼ%MC]IoT)Z]IЊ73 'o?]}䑈gq;:VsL?ucƒh l2~ʹ$V>]o # W CymZK"$b}{@;]\XWhhK F/PAM<ݘ MW@ ICK oL|۱м&Y{$u"%ȁh{ݓ{ަ?.ؔ`d.Lb: 57Xf]}#[KǗHO1$+(ot3UٲYBM dK?֔R%-&t 6^ܭ`g (:K, 1{]q7Jse TMλҪSdIZ8N3McTeV \*GpAvSq[ix()?rU`^{aVX]!!_c:`VYf w$Nm-FYm2wT:S{OqeA#'t|r1H.- |z(Tas[=I/S%/krr'|yk-; k1,y67q&O}z[Sgwvw+C|K6|`&Gd J柹~y=tf6n@ZP*e"9Ǹ{%ܷ՟YORRBHI^'|A` bfսW̱9i4$h|;2Ae &Y }pĺa6*Q@a y,^޲ѷl*h[{كKԉc">pJ-ӫE4k_Te,W9CDrOgk+0a7GE7@-#"zkZp9v~ySַ;)ܡ ^ r/C &n77 v{x+j+M\d^*d[o\ Bq>oȴIP#Q *4r 9MasYkE^_;̘Ns *֮-@#e`8PDw4t[)^^DeιֱVTW1w= n?[LYHQ)xk~ڲ?:RPL[Hg|]p7P+ J"ٷ[KϤ8b:Pok D]=] jˀF@>m R'fi }x@ 8xԐikTmŒ[ vx% x{H}@%4J#svNv\xӹOZş՗* x LwB=OΗPDn$Yc[nnz >R*iZgSKRhZV}w\+{9"KTCCJ~_[\vPʔ0{\&f-4D 賌G}Z;@HtM{Y s;a05pHenVY 85Kc_~MClTr4HAayhhHFOݺQ\5ByB `< d|Vm4@3p4,r:?x*񵣮d|WUG}ef8[ ;픨EnNkSWɯJe9=;=BS3'QC>ĨX9u~Gyi|SZ#ӕ3=wt)ܔa_; Q#H@?&_<`)E6t"!CiͫpeM#,ʉUWcV(~$&Y=_cpSf\ZSSy(XW[Z2Rei xJJf>C(q5<x88 -bxW-)cQ`1m!`OXBx;NrB)Y=ŗlLZ$IHeZXj喲3+e;j|x`V+9 x  _MUA[l*C4un)@DpLe͚Bvuc_ű'[j0_Q$;>aѾ;^=CR$jy_}m$3X 甈;I^ݟOPnFطHM'q }8`#k{<]I< /%z_u!l9: —Q@fM8Эd<[Å%(G(T=#)U'\4FҢE0WSU 6 GjuЧU? MG3Gey{"; }IM]jkUhCMAaഄ~W~z~8j"n(Ss[3mI :T&MnhBK.Xf#:C)2JfnN:Gh ѐoH9+`WzzGw_Sxx *.@u̥Յq{t4;!)׍׵1~zrwA`f^7 >v얶E&HIaP8'mB:=$gUyy0$ic~Zd,{|۫gAKC`>0 4StYQx.QcOZ2HS/z4\r~{a$fSO!1YCaC[E˸c6Q|b!}mDz#, hZ[ʣ;]7ns|f,>LfIx?&iy2T!fg\;on½Z04UT( UdžY}ʷF@HK) l^ݾ]@"qu}),;0#e0TɨtbI-蹦K<=Z$?c {o^ g:N],ܙhh>7;ˋːLr^R8%v༇cl6 )B;^ I+4c 91{zB2YB,+dSJ7yfPxp%ݒy/4jf%Ѯ橆Mzz-M}藈Fh!HLxt v[I@B΢Nh>Yk{w+a"zoln0i RE'0iڬ<%+[7jR:񔞳 3W"I~j3f/E(Vhg:iJM|N]Lp=Es4'W j[C~OWfAe#jR$J0fc:,bֽ(O1kܰ4-Q&gjIhXDqi&tCZ~}(Vǐ6Lokϋ@f7 - a/K $$6Mx,cL=-NKE>V]{E>h1; pTґ ތxEJΠK Ô};nùwgwsA*v^Ue}^x!ݛ]=ʬ(%K715|MG7Q _[!xWo]$TcMCmg.Q&rљЩp1(!:M,M hC*^k\dݕ 4R{pR-S?"u=GܖT6;k[P{] GQAv֧u֍c2G=\H i4=x^F|"N^J(gx/C$L)>*}ָgx>`ms^w"R,ģ*ǧBg5E_P:ixR gL7?rźD kiX'mpM{{S`?iub~Kr0GM9 #]&ƳC 'xgX # Jc"to~4+~b>|bE)b~t91m@"99 ؃&mϰdkzDؕJ9g\$,>xON>HWR (ݭqo17cgyhSwFL2Vp@g#J}EM̼6Ӫ %;Y·r ޡ|]if(4ȳse^n+ $d.+zKQyAq F9_9yhI%cj 9۪,#kN^E}-#NHe6q k\uD亭9)}9 bkpBYG[ϵ5U AH#ˁN\,cO蝑f0TEdgˋc>` $: $ E8ƳIg;?'JB54yei8FeSbzVmSF+M'>UX.=μ'úz(,sL.L][y)4FA?Q}$z<Ɇ.px|k1 J2!&epEBA#̤4~M9LSrބHwia06'cZ͡@hpszO0rN3Ҽ$M=B"U9dۍ=RT{G~ֳⷚ@b\zAJ+$ ITĨǢv*ul=Y_AQ.y@h `?]DVpEHj|ƾB|pߖΊe,G޹8Md,Bƀ.A,Y[UWͭo48f|&Y^S֯S-.ulK¶K! rڟ}''"bu[又\veZ`Gڋ kճ="&l+NE +Bko;"߀&78/di[#^%1w]gt쪤C%=yς8gvVǤ<% &cd%֦Bbqc5[]G'c2͝ oLU"K 4Y`q>(I:<%iacb,Z"+Gm<$1@ZɏtV*=颣d{ڜ_kBèr94|:wthTGJ܌fd"MqUT03O6rbyrØ~( X=S4;|K=SP^I8Vv_nY{7^Pc#\r_bjޥYRflͺID̳<wE(jr\XKKFmo.WK%6%2[ݚ]rj\p CUuyML5AVp+^V t_k6ﱝ(pzk 29GJwʈ Oc/霜n1DvTmQaK[IsC*׾3^!ٞgPqD|-Äz|(nψ7UϘЖ<~X O\b_$&n*hX\6 Z(=|>|Jgn,ًg 9\(k8ypЙ[}-W餎 ՅF҉TtXLk.H&pŦI}rRi)1O~ńSBӎґb{͵\a:^gpu9#(3]GՍj8$+Z[Ҧ受/ +4khW9 Z̔u߭w5ͨP)bLC JSlxR6Ԍ=v|+@2&3?u0o!rL X^ m(Ĵ :,M.su䵌36-aq:aԍcGo2.P[3N0 llTrEjzp[N& g-#iT ޽-2J(O0Z"62A3SN d.Zojͼ24p/X߃sYbMO+M)c@t3I& ǁPY9}-hNJ 0!h`l@j+%P0CKjwde$A 3domBv(Rx2Ve%|//CGQ?B]nP,Zw_\/ͻo—pc^PW7WX㠵Y猶*YlWm|o?TRL2iCU#\nZw|_wU@ FJ㲈(ѱa!4~U_3װ.7c]PUm*5{21N.:H"Es/s]8g]USmZn98tC{Lp %+T,?}euMU+J ] T~U)<ޡ"AVcy46ojyԟ侞Yu}9vXYMQY?8P%/0b=ppMeUzD{Um8(>_4j>BByDX/N.S E25B\Ar\iMC -=rP{Ejio*#?{3/)6N}\_~O='O.\-m(ZixTjDV[.\)C% ̯^FpvW8+v\`yH}:H?q ^X]Մ$@;CqFbPǬWeAPBb-8%5?ʑFVT1*w.Y|hdS)G/_6q XUpÔ+yh0:OD4HB%[Db۴hM :;&s\?8ݙϫf? ܎`|r+3uZIM{91ج`d)$G0KR]*SãR]ʤt,1mgRߦi(c,o_rSVf%|o1* 9uV R GA>tHꢴ Z^/mAQ3/G$;Y&Rw}>x[ؿ'QTٳHI|Qe)F:"41Z q+DW5]7hc 6 0r<Œ*`}SkFh`I,r d*[z{wajAZSN_SIMaYغX>6]B~4W2INvxqj5kw(y[V_NdOJjjvλuJ>b7Tc.A^%^y7KP̒l![xm}<5ma+IY5ŴT+}Kc4U\ƞ+C؟S֋($q/ZT +=#!y{u?ƄlC~A q\oGYM;~6Ќ.Pp))1\r~G@Lvz^ [׶c'{q4Izfi: Ir/V.RO~-%s'_ZdsK9$v H-;??ue27fp:j Nj+Jr=r4#e)x@6?0SqwmY8FU\,3zWmP#IZbxllKe]tH='+^dT6|{jJ<9 9'6YƢ}H!Ŝ3H06xqYdE )4 ?XT,vfJpiA-?{*ULI[8 cМW*ps +Izu+~ք (t/Udmrsd&YBj$]Xǣ QrJespQdXfriD R,mnEׯxӲ0U1p Ԙt~:lN;#Bߕ,}LCk w{HB!)Io,ۅXvOŵXevsPT-^Hߤv(˸ * U色&l;"zj"2Js!'/0[n8e :=ʂx݀6jfw:aw[لj 2RM4>%5AQ5DK`EBsOki”]ݏ^k)UeȾwe_V{0蹐Uf4P?6^Ciha|,A>|tPpV2t_ 1n38nMڝus$?,*$dd,rlc]U)nI/I/cXA"п|kAn%ɸnfuWUh 4tilFFQd&W05̈.pG`fʂ4q1N zAVSG?1Sko@Y`)*7+5S0k(r+1DwWԗ,*x{0 C-!,N*LRDYXƴl$?3{MAb?2D3nYUUųUqQ_) 1esg!tXb"El0$n ܖCY" 4sDb(՘"8ӭxOA16KKKEMsC5w Y[4=szJO~w<;Q+:% ?2GGO2<6rLR*ɐ4WĆ* ͝B> Y'O '7RCcSLh_9y=^l t@Eлadr$|,\K Pf ܉;E딖.}:qɧ^X5o!;W̸4(chY͊[S-FNJP9ZOR*vB܁j?dZl] s A A[OGΆN΍46k:2.5We.\E] `uOjHnBpA؞#I;E7#ֺ?uU[`w%u-Re]6)@s0ٵ?3hwKpګ.Qee%YSAp[:k xpfߍ>Ĵ\cJUlی$p*kNj2([!~y طb| izd$[#Un9[r^zy楝^;juf4_,Rz}!#wh.6{8&ʀ#p9OXOkp}j>.~F\nٴ;ڄgj&Todqf7P$83X޾A wUi;H3.[cez&]糬J8 ZƑ}z#khl րhliu\Za.ִ/Qǹb͌E-F8Xp0#p!w9C@xrK<mҥz|ٞX cܵ./scߤӗrc RY*'1~ C T<{ Vp^f( Ǽ'h;|丈U-!gE,dXSD$o/c1hf0t;40:ŕo/ˑlp u$g͠p:sƢ_PAJZ$@/$;Tܘ@`%z-]9k.k4;qw:/JVJL7nb!צ&Bme =f,Z!/հ`NeX9P׈&lTb[D猴e3ϛvI }I3Ҟ>[ C^kɼUTv"N3./pr?ҢO/qrmvb]LB<۫4dˋv/H Yu&Y/ miY{[u#*.ֱS^MS655jGI{Dz3)VV{D-ы&T# 㮴F3o[6TÚc } H[1inC,",W.?4mj)t}5ʬ.ON ,Ko%q+KDkr5S'Z/E @֐Ѽ*ae$ R4M kVq!wf/Q㬾enJzJP ~ xnފMpz8rJ{AUB:`#ovm m]h I0NazRn\ ,? `O+w̜YX!GYF`<ݷ%uKoAob$BQb*1Oü/} Qf)!QxV.isru֘xe=p4Q>a,r]X̮7HyQsy}T"l1iE-kx1:cj>mOfY_"fe3WV: \4<`4x"9tʻ0vx,~"h޽Yo)D)*w@E?CpG/U81nX$b2#-L6DrT-]^eZdlr0N(y9NiD5iFXALh*lqyCpe/$qi_1S#Cq~à'fG~ ino$v" aWa ju!)'{ wXNss2\ S"/1Z q򆺳^CQck?钢 fSR2/3dw&+2#\`X^ϖq $IbP6E .!ۻ$<ʒeJV,<1Yj/r"R!CwSKtr|`r ń^%}BLO5>iz F]kV2/Yݴ_DEBGxCvvv $fd;v;'/9%ۏvznb:&o[}N p:|U6pp`%܍.> #OXF1Flii Mglr{^Grڜa=~$1o\M'CO;' Є pXi|+Z`Vz,X,%eI|fKTUl\e+~#X: n@)ǡrLN3c{2SkOZ^Q7y^2_~N$S(#O>cJ9Z#9Vkr^;i.=sMo{+5齐xL/1Bp2)RȄ"C'<]B67Fb )!,AɁֈ͋Sřm(gBajT ;g4r+(r|h 3>vя45\2J9ր @ -S2֪%1,$ST o,S5Q/* *\Zʝ<ܩVwsF<|eœqd<_j͘ˁUy#5\$t阂ض("\4ZSF:CvG937/ Uыyx C%\WJu}$r`OТ'nO$&ֻ-bk V. dx\HO0 Rld5LOW?g䏗lhDW 5?vOb/G0Z GUIjoF<\D@dz`XC=[Ly*^wqRHW!!a5jPo 5]qFSEi|}c.xL|2j?CO"6.iWN p$m&{`tҭwr:hףv-2Ԁonھ\9v¬RcWg>C7|t*z`VWGu,w a߆ ll`h;2^cmdo kXLQRI~nZ`KpRfWW u.Wȳ|Q\Um77unʷn /ݠ{t[Qzx^; -v׉_͢W 3N;x4] T ΁sL;slttw`/ ]N>8P6jLWãs=9!e%X(:xrGqiT=gyuzR~b\aMil)@9K;e#D!VPƫ=渨y52b X?h&hP@ahfuh'uVC}E`V&T"Za.|*(t j_poM.:7d'`S)xf\ ,WWKhF0Y`LpBYe܌Qw8D1+t ՜I[jbR]_w7P!p57N3mWWW&{>|c4pu\2"T5u鵐ANSPE"b3u`ehՇP`[\ / 25UP2C:5qԔy&=Ѻ4fs~Y&ER#}RL%t  Lz if{ 8v&AwJ-²\B)!dGEMƨ-wv*4eJ+D_tAEL?X_rBW0;hU kP.d`=GϫlZ/ v;'#dfnfrm=+3SȨu4;aaHEJAjZ`}ϥhUQ:}Hv*V,zTLW*,Wj'O@'S|B{3ٺ[肎$ގ7w9*2C%;Ȝ]3G=<%? uL|DJ]#{'DN oHfӅ+%bZS#:/E뻢NAHĩ]M^s }2̀ʯ޷t?u҆/9[f=O:in(nDF9cmD\gbPh=J͍Hx4┯;HjgUeAOc[ P]3!@ >M4}o?0t;MÌB-9$55DyXxLeed BcCvbceЍ=Kf}_-:J9Dm(4}Y`>[?4HNoZ{>aOdÎ"v7:B&:"YXZqiKM"x]. ؔBF@@ }Q̅0ke^Bƿ4)Mh%.kxedG+c/,D , V:R vͥ2cg F İIZ֚jE9rc%K&mr2J{#بҞGiFGPhLGc݁e ew%𮕪3aƲGE)Z)t}À)8GɉÙ}mp HU%I&g zQx`H.ϛ@^t`݁meƈM|3B`Xt5‹xٵvh**Rq_ -8/d|} +&Z1r퓳2G>WHV-t~ Q/`/T Ē)_*|b6/i_8'?=ܯ6W]@zKWlBT`];%og+!Fa\?1[KA8Kԁɉ){ j:HɎ|Hts&us!OĈsFc)Lf cf3_!{])yZXW*za#LZkԴ{+ >?c]vգZF i= qqQx`l oyeh355jPkoTʞBqѻeOVDʹe*W=1 YumTlS[f kX[z)][46m)gtP/) US5ٗ3n#UDMv-z"֣0T]phC=pF{jTo<{>ץ Ys' >}$= X^Ucv89شN2I+7"fNu)C@;Պ=lb!Ok<6PJESXӪ`I9vhhq\c|l>SǭK  %h"fLl7H߂_^-x9|Xn#5ݕSAsayfgVXG1xqOG5κE<$LƕYyxȸ$ ѥpԒwhص_}{,Lv+s"|jah ^|f} K=m*<b<!]Lb~Rj`j!jA@>|,pz˗ I[^bw Hc W>RKW),F7h6o"m߻t8<\+ "+O!dj*7&#ԏ ٮύ}34,٠h2)ujT- \y٢9{ xlj-h.m!T:5hrٝ@N842ԉ4>!˄h[&N+5C";4Ĉɨ\ \idY59 bװrZ]؉۵"?~Ը9c荅QM0{6.[5t-oō3B&=׺ɥV0n4P*n2< 0sՀóUh[cRn3C:`irOI5 g7 v֔ݚ "R(^mKbG ScbEPy FZ9MʳATcɸdv6ȹFBDi=¢ܙE A! ַ:y w+酿՟j1ig&BMC$(R »k,j-=fGnb-,EUd./%{VxXԫL@1% @9@.! N` 4ұ&O`5v#iNj_~4'Y Cb1Łv_ɘl_?<7Fڍӵ9 u/)e@zYvyF;q>FC߱Zhpm;#!;ZU|/mVE#ICO*|=c`V>%.3Mb,q(PP6Hi1*vC(U#| W(tzQE<h!8֑Lc2q5ŧi5wP|M ŭIQuxz-;WrjE5HYc"ȯ" `nȑ=z>"b$ os%Tx},ЗrxY,+^;2ót:H=} D驳j~+ N`@-)J'`N[ܻg}+$`yh2eBKꑆZ7`EW6qO\ Ji}? DCU0WG_XC"BOvnӬ^tpM&?c7f8J#{}T)Z-}!Cj"^#΁ÈMiBw ,@t*'x[/ׇzC7 @֢/J@|QiNb r4,gI::Lpo"`Ck59bE2wVN j/-(\ c1K=}nj?zhN<#i&=Ǵ z;K`W(t{L )g7V{D@)(FbAƋ)q{!?#%H>"TlrKg_gN-X= )76}]Sýy|q򁦷^36 7/^!R@@ͬG Dc0A{ׅ4TO쀀(ۻ'Wu1 T]{\DS+bPbč,azKXjr3ZKlo]^ +!U9Arb{j ]Q` _JdHg,O $X|N&pO7IS[@?AoV;Ӿ±gYZ  V'7% a ER \F0/a|=YJZ^Q uw&mqRj^AA3Ŏd[ilhƓ'tgkKi>yn\0F|-GbKD37HřWB/CpCYr([Txx65Gk]U U*oQ^4T*O;X<Աi)lњUyœo$mT%C!kjK$#&E0B0WEt+q~mz4'W~8Psu*T/;*p* "bGY_\=ԗ)^'?% TUpDown_SchemeAutomatic_Refinement.Miscdocument.tex7zXZִF! /x]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EW_dbsSpQҋKh9$X/ay6g'$ymzriϯ;L$j~E$B~&H#{QHv ݖJ˾'! EB& URڋ~|vrQrX P>֊ VI EUG*f pwQנfJ=+S_OYҿ,Wdo:3lU]'R!a[Lj t4p U0׬}$'^.<{@vيgS<':p XWa:[,jgv4\/b?&} `V{j\?A*:ie@K%-'İ5 c\Tn|TȬc9> 2Rqg#ri]ZO*ZxFȽZ(eVPN"i:Q" ^Q錈ҥNS9#4AzXB'`0wzhTGNVDaKpF-SK'&w0L;B<1uW Z|tٯa6~c5os-3nMah_)d36eԁkZ|y .OPc2dçzIq2 ;6DajLG`[WOIS|b>yB@g׀q%PInu7o %3tR h)kXďK[o/̝09+|J;1Fg hP61dTvƈ|[9xP . ~ի~#D_rq=I!&\d4xYGl^]/{|n?K9u# .ڿ][ n _ R|aXe|{iL:;~>+`P1f(7LC+CdӇ_Xv1c W1N ?lz+cyMk㇨ŢLYNtDU)+!Td6.Qf&KaI5%{/eay4߄ASTS߽[;MpmN y;}i7Q]2BfHW%`;gtݮnW|ͽp7R4K/wnM8S)8Sf)}:J 9]eyް-_qh 't:[&Gx;b˜e4f*uvp"QsK십f?‘2:bmL<É;qPB&봶SZx0g>U)`(jO5bv2i;rw0BɎAý 3mlGiG;4tQ`;o|&.l=!2ʼ(]X5:X;3qH$4jAJ,pӝ{^F.|dD{I^!|N|+i4B8̧WLV~FrَطVn&8Ebg{t'`";_œ"gQ׎5n~Ud.@&$y$Kcec-xGIN'A1IHm@XHknKuM,C8HM-Tk{&[} L 3"NH@}z'}W .yS"Zd%SVBdu=hC+|ZP[p}G }JhGUM+j$%a*#8!ڿz> go$-њ(d`rJq~YDQFH bz+L_&l+ 'P-36 R ^[{8`vICBQ%C| ~\KJyK^yE@y_H5If6&ZjŹȩ})f$&?Hl>/tI EZW$WD7 H@7 Zv߇I; /+&3(MF7%{>7_~ .9Xr#.,ު+KȪ|IDt{?%TA*.|%l!;ZΦ|p~l$^؏d 6T0o|/mFƺa|j:^xxs5>: 0 CI x5v|vJF]lnt[r|ҜH[@<ѝsYԾzr'T}Bx3ri 1M@ĒiJtKW8jeOku# Uo+.=YmD'!8ɜ.! !YGk/G-oԸg87?Eh m3ETO1ф_%l!Ym@fc8/qQ^"FL" {Wtes *)3Bx J&m1 fj? aqiF}m E6 l>F>Q7{.aͣ#vf*.ВVppHFbStG!ϓaѲBn} yD*7C&SA%{J aC-;pPG$k2z~YNsۡxh^n…?J2} D42Q˦WӇP@)#GjWs%vOYP>͎u:W}66)`KGȑOύ{J/ܝ* Huf{XBas2bҧ^y>l񕝠+A|s^P k7cZf2oxmmUGy 43&}[T'z5k+[amӾC[ǚ0w&w=gi Ձc n̔SK1RS3-Xa&\GOӢX"ݴ6qIX$ybrӝ` ڃMf?0 HU՟/r/jUmcgZji3}k(d2[U1pt5k BhӜEUڅks 6C* Je_\R9#$(DILƛQY˚t>p0w8lv 2e vV 2oY߅g%KS)$h^Ō7ljvEDLnJB%/e1'PpV)/RglpXωrlGdPӂlqz]&\!5 L`J+W3.X]̑Z ?kn#no[JC䢺Xx`k (B#lU jZ7 z# \!ዚ3_v5lEX?;)eG|)Tϣ' iz#!^[g93t#(xP+KMK~ 7ny^H )QBi7]Kmؼ껮4(,;_:8 Ae:b'9 %Q4g%#L^eQ]!YH˨~5FQBFgTF'zcʍph)soאw.5 &diЎe8.6=:'u %Y`>t#q~Un`EHQu,VipnUD 1z}:KQ;M%PC[A 6 BB#o0_~ՅC{'@60lQN[YVGքFBa7 _mCvDԕ9a^KuYִ.#nx }ӅC +mpXE^I{JJq biJXtmb!W\G6cH3ͧO-j'0M" X|HlaPEc͂à IiN(D-`8BDfВ"R}aF؄@TBSW8|& y|,Y1@ly"#rB{bR麧 Oh l8ܣ7lvjG'5ʬy颐B7a'Z>ݟvjaT~Ź4yVw?³rT[I{%|ȇnYNcȐ*RTa:<-~`ԪэLx.!1U+qGe~4}/`׆=&j*X!L 4%'{Ya6擋Ym 1V80 0XuwcV yT? \nN{O{MK&1왽6 a)LTf>UA]Ug#Ez3E%r܀*d&nu{3Fh|#?ƌTw0֚/a{TzEj_L- XVKUZtG Q۸_Uj]HDx$+` ҽBlBP;^Buu^~[W +? u6h-&l _.O'ۿ* FrqE5*dJ FP|/:1/o$Yބ$N6CہwUh>}0"kotBدhýiԂF3e>Q5כ':3ko߷I :x("dڋL3I_8G'D+ծl텏 a/|G-90e5< IWR\Cx?s24"6^tv.`,!Is^ؾHT2h=w:t%ӋKgoζ7rp(ܲf ZBTt$er^yӥvcves1inzS]OPRsc'K(WE}f#H{+2ԩeNtTٻQsR ePP0<N&pz_~=[I:9iʄRt.,N\w2}a\k)&%-]\/ W"NE8 ]+H"D3M6 zCra;igkvi:˹Bҽ */oz~S=8\C@~Q 9u`ֈo=)ΌbC!\SV]HH45%r:`Eb5״G12mAAZ:~5;WMɶohUL{ h`iɞFxjlہӆX8wLA p#3VA6u5%7BÅ+iy=F4yF@ߜA&g7^Q~2@ (՗η+y=nKhgE$AI2ԾyKsҘ}U[MNO gVĿɣ-쮮y}^MCZB///Ly+7&q'M;Lut5iXjOM 9M sg / LT%l)qy $bY1}韍:FA`颂8erdG*׺Rm^* lVIKvd3$-M'j{  <]u\t棲sǂ؅02D _ YOQ;Phvb90i47;QS~X >BZ[(͚p3#+l-z{z~8 lC)Yw =^S$zPy*+:'ڬYG0Õ w,,/⼝ҝ|2Wx؉D;c>VDLx;[ k/NH2CX7"LqY1]}Ԡ-=#Rc欋>k 0 >, ;ezu2x8֙mHl5Zk IԶƍU7G"ʎ%Ry8{˪y)?-KM"ÅAL]΄iBsѲ\|ܳ ޜtTeX{g !6 (ܯf/ :Va5vx=(r[}@#f WFݨ֗כS?g kOtX9@Xo)fԊޢs%f,h(l e3S<'Y'n)]2NJ{)jKEMK7π~͎l"S%V>S0}V@\6.$(miǤ}b#"hL6TJ%"%߈";q׈\M65~I4XA|rͽ6_ }56L/{GhBSr926m3d,X:l}bA 孉M=rꚿ'@'3efi4=] 7~m7U@ ekJMWڵ@w{F|>AUOe@8Ĭ i+t)Ek~갎Sֵ}KskjoBiVr:xx&JlߩJ/#BFdrbf~gXB H ߩٕt2(nYlʥ [4 Naz>'%e5r~w)VfFvNgpu, iۏc) &_#{Nt,)Y1qИ L=,/ǖ9f$]wM&DNFѸf+.;)(to]'i-'p(aF-V֑#u`*2dI&4h aBӁ :y[S=A*1jIZhs UiBI|{\pV*,XvFY2kq?;KyJ M :ct' uq}rF^=xSrxdݺ#fa*`-~Mqo?cmVG/5+Ue&]w>[gG \ N\>W|(r6%y 3Np6jwՐչ']{d('}6Yŏ,eJOZe<wG}HyͿdVv 0wM nqʯٯg,2=8M1SݒfUV<(cn+0wr`$(+6]M 3Soh~It s]u )v~:% / T*F˵&CRv0-'G.Zctx vye`H ugŸ i)ccx M$vW8W .H6 ]lBЋo4;L= tcBY߲.CL(PӸ֢ [Uf~?pK'odJM+w->k!z֍_4u ?7Z]c~{m;)Č/t$X]`R~Z$bq|z 0e)!LX<%鷢Ԉbf#Wal0IHD89p"dͮGGf A ^+lH'f˕,*܄C~S"^Jz[4kChOKSˌ٤vefx?٬2< 2'G:zulNkkn֛>A^r\%cR}K#X*2l8,@O݃VpcUFKq PGZvޤWyqA ⚻V=!YpWK ReV9~.vGUK|Ԩ'>,0fBVT~p W޸Q/!_ivrP4cjKh^vY#nb|7X2$/3J (/J̅7v4iV3zM%:6t̆)/dcnQ)+E72ٵ!w L )k6y:Z]!,XrwŞ4Ν^5,IwJ%}-$bhԣuy5pz&R~g Yai}mrrZzWKź-r/!'j#jw?g5HaL7)5l,BnnuS:",B¨"j~~:Hfڭd~Ca :5WzїmEۗꮩwZA 7fg 5ͽ|JY`6JW͊Y䨰Wa~WACbZh𒚤-kc'M,'tmhPLN5M|%'aA5VPS1~|*J/I<䌱 oMr2Da'ͩ]\Chwn{ 9X&Y3F?C歑Ύ2Ahww@U5 Bޔ<&c/RB3_o.=Wբ/6Ϟ0,N  tx0>"%/Jcqw}k@NA[>}3S@Cd Aȩ6߉ _N l"*\`š7ƫ2WLܔ1U=W|ܧPS*SU}9y v2Iu콥J{Fj`.!6^r">ͥUhr7` Ąq~KmdzoTP i߃|^wP5=RDzBv۸ɶl<ѺvQN`9R?-2.[h"#qUtu-.'PH[u?QmMyb`d?;<H*v'c.Q/\ ]GCj\$ 넔?~*Go*;bL.m yz@aK|(uMeǒnUGXfF/=JJ/L6`.|Z9vRR5qիU]i})R=fV~o$5D Gl0(S*iH&9aID&B=6 \\S)E piVUp/Ժp(x / "-8`% 8k=mcщ6Qd7+u8ٲB!~sU  @R3FZ[!r {\(ls:q2?rw[ݝmj`[501H42g%8aU6F5(*Ş zU$M4[8oCꡡdx.xߨtjX:@ c T~ KlʆM6l⺎)]fPz tx7nIҴ⠮eC'!7%q^ZE(/& J\@h|?Ktp/BabbA\YɽA=r$ cyP7hh3ZM:Q+a|+`69H+wrRN3T*W!{vЖ(tՄ [U&'39ڸX fbLir|λ*yJܙүvHDXl5hS+2/{+A$07$JRxR 1*]J*37j_UC.z8 2%pGy 331Ϝ)ZM?q0\u^x3mkS?@U:'knL`gC ehcgv;y06!"-+B80YNi/kJ&:3t@PdUb.\(t{Ͷ 9@Ly^Sp0IƋݨs"Ladt lrzmah^ESE&m?NxusU.=0\+gxӖф=,*?@[{1'`J4[ס] )}5DLj9oNqyb}jl{iDM+mN- yR幙%E4N2[Dy.X tԚSZcg9 YuQ grԒ@P:$'&"M <3w?R0qBwe:Ѻ6,PsVNfaEb tB B@>A q&׊<$}dm|2VQ v&ʬ㘰ζw} (ʏ?2|W4&pn` A&)t% *.=q/J0h8gzdyNMS/eTSE%hzBB*I^KN0ZV_7: 7n 3MK:iƬQe!›\dO LvREC{?9R&P׍ػ)l׆{q=lv(L8+zA@ot<XjMY)8d4~V_$}fR ox:-N=L_KDpDWUjcpGw{-tǛbPEtZ2U'm)/*hqr>t 24O]^ft=I4͝X}#xMYo6m{jU(~nUe=\wpdjq|w{impgwyz'TQjwa*G6$l[gYZ q^'O% DUpDown_SchemeUpDown_Scheme.Triangular_Functiondocument.tex7zXZִF! K!Z]A-MՋhvG"uIBm5r) ޽`Mـˊl"5#D[zdv~j?Z:ȫ U ƶ6B!*'pK]V5 ̔磪ar` stZQ>ҕn3Y= [-."EQ1@~hzR֩ cTJx]Ɓbu#0k%PFNb:MSd<FJh*Z1W?md['~yeuC%d+0'LVVd*hBYV9 9Y&J8)d c\tq )`C< U4{~b_F֨qY)kEeqPa.Ls1"<4ʣ,tp:-QdMZ"͵+Pf58j\6]_g!lЊ V1,&bP5uMYoA \+ ) `811٤ Y c8QRِUm :)jobDlT^ ]1xdfI+NPѸGOv} E Ȝeac7$^^V-Mޗ1 g!NS!mv%-Ք62'X>zg@&a+xST'‰Trґ3@ ExIW콡{.L.c[ry` 62I>M MAyͣCjj)KCxel0=$^sO-r){ކd{e^V +H#A8{0! A\f8 ^3! jU3Ir2x&+OQYy7yZ}"BS%q=孂#s |LS*~= nX.9q 8%֛SƟqd 5GG{5ӈYZ#8XPp7?7@Ư\MLbbW0!KGEZ:4r,d dcአFbaBM`FL5\=Et['T䜵@!y3:zz~d%τ;."M7w mNQaƩ XyI‘X}C?13@)䐠lSmP9p_#opDyKq4K-3OGpH-J@k.=[y?וW{z\z.ı0ֈ>o]|cTo(rf5sTG[V҉Rst~X4КkfɺBTa R IՍ/Ԣ6xK`ڊm[,jʾaKTň~!*Qb)Z#'-@ 0,àçaϯnz!֮Zh>t~h ik<48amB7Vyħl5L]V 񞈒Y/58p!zXW[xel'U %n-k&oF6 IjF*5frw};F\' g 4.GŸbu,LP2t ŅKգArH^w|;U^i0]1eqHm8ؽ!l0j|Eeoc'5BN3$Vx,? &-^ >TCcVx>cHaj:+g2F5 QO 3k H{}hJ,w`:1? D(uUBc =F ґX= IVgi)Pࣴe '|k[ak+.w;NO m=L@WyqO"Ԡ#kեyi|u͠R\.E\UoS;pfł .(}u1n \o,KG菕}ȳ6oR$3(G6v3+Sے | >KaA+փ,D܉?PP-ܘӺ-(2mh#0&sG-]>'2y.@Ww`X^xHfD\+xEwՙ,iz0|>  (,Hh {g l٪JxV)\}3Upv74wv#9$D ʚRR/w<9xBaS`AW ?-fov"`WZ -9sj[XENC 9/t'C]F{_]^!)EFF֔~H?g&iz DTe'ƅ3(bn]"qfq #SM1F7f#ݶ>gWQ:P9M4)N` J1՝Ք( +&=E͌,(uS-"lȫ.F<(2Qhxݛv\(é[榪,kSM7 [|yf6SlS9|h EkL8 ۴;qqO\),(TkIE;܉ʇ0?uR歽@ݞ``vpé4 ^@ cHpU5>6%^x1>z "+&6ɚ{ K;HozwDRa Ӏ=ƹJ (ͫ_Z (~6 =mvCaٳFF2q-~:#zbFӇ4檷?pa-0F%Rm%FqC S+ӚԎD"`ƈ  U*[AhCT&^8E&E<E4`*WeziPŷV-G ԷMe5ЊU$狓76E6 =1D=_39$4|"rtؔR cnIp`C@(:R?şnMI[&Q@bsUE0w˸(h{wY9ɪo~x{d@{>=\ĈbPn0w /ǰ^L;x_Hi9y Ez2@xT6M២,cD*rJ"0:"G!\~DMZJ>| +y/HZz92cI1u_z]w27Dw#e鍟}dv|7Xa9 hdRu) 9*'S1 fʺ.:x /cLFrŜRqMRAb$&it3+Ӳ%|Y-vY~}B}Ih".u$OLpuZi{6P_e1GC+L܌ˆ$m/JvjcVG&!HYGDQIRB5]ZHVycF3{mv2/[%;NQL9IJvYN'2^Du]&V7@ݵyE z4{Slz:gгg^.,Nշ:[%kY/2_"* {?Ls]_KN8fq+l׆i㗃;]M猘7%pԷSஒ uQ4^ql̟"Yb~f# Wo7=`"֓`wzgf6izrd ܎jJ*~V8'+x!Nx|<~ln0b<dCDuKQjI5Ga?~&"ͦ>DK,ǺlEe=4/J.W;3ms /S^of~F $9aW 8|TF\@SI tPo`s[0)AEMנ'bIj71Va&ꛕĚټI[Jh%W10$E>.p{<-:Y}q! zM&I1[?HL/ލoT߰o=Y1 gb!w/ߋR BA:z~/K:ʟķ%-Ï+yR#r|!#|!$U q܎5@~ſrQf<4wáMܧŒ0FCNY[} ~F9iZ>mz.`)Yѐ&ʢ#Ju0CX}> !`h{ϓ#2 QGuV& _8jO2h$C&a8*9؆%Xo/H}mW>`ۥ̕#N/;Rt7%s`sWF/Q+dR0OwUADFWU-|踖ߺwW [HlOp erFˆv3~ r +V(1/BtZ6q?>+fj6@G@t%ge zAmRL=KrRɆ<,`& d*b:<[ brc^B$OW/1b#BpVV@ y? LHntGΪqDJjϬphׇa# 5p0s/_ETbA7o7zO Bjad3>dzjq/ Ƹ[wW{ zp;v!۾jϔjȷ@0HAR{..ڍ?"VhU)U oJgk"Gy-~>iB0=ya8 ֊p#4`#R,)xW_;"Ç|FSt o#^y]gPԚdaFz.&c28r HyO*.r"M]rޥ& WM0~ܯd{dlUtnVX7Ud} VKɲurX΂(uh0M>np> 4u[6kϋ,>+hIrxpqsiҨX$C՜?c%NKW Y2y7A}O'PY]-_>0b9E 7{mKwQjuG ڝ|%$ip:g b8vtqEMl$[V+ԟ`)]n `&T'do7fRw[Yh[Ab.#zS@91M2x@1a[;pKUd.H?isul-AhBE 2 ,  :cɎQ׾ϖ&乗;P1ߏi1+{CQJ_^7P9 @9^B '>=vʛǩԮZԓɢ%nt# A7Ό3`D-j391"S5'k\3!=_8VYr[.}Wտ/|4}QW}{\Xt8y+=|kK^?j0!pyR& >=%ئcޮ[{+Pc6L(>ĺ+ w+k/'T!'3(ꠘ=J[nkf]SB /ԜL}xd*Iֶ|(}e)) ֪s$ ^tn$o7孃N_ ^Q(4˷ɂ2Hm9im.{Uo0o/d}bUV=aZzCKRTde4f30@E$D6w_AZ[˷gW=Bz Xb05~TZ~.oq2h|0e@*hn0a]nsY[y=R/q`)}w)70?BaG:-@  \d 5iʸ$i/S޶F(02Fm3ݩ[C;Ֆ<1uDCW;wϛp1:&,xlh'zuȜtb2Z{3NmQ#IJt(\*6_PF-/mY1HU8a6q&x[:Nf\NOl$WK-tlJ}^h߶;I zqrx儵>{5ycreݚni4-~t[_qe$) "'Lr?`PdfzZ_[s;OF^~SS 1vʥ~ m}ԋڮQXC&gcoS.7\F뼶W ތtbb-1PduĚ2?d}{ǫژpbo̴QQ@-ͻz +)s`;vsRHY|%׿+׸X+Ǟ:,[AIfO]>l8RkPaGL_7,lֵJDA㶺*T2ug|3{ zT~]B̊`M:gYZ Yo4k:%B2fLe16"m3Co#ql6@*e;ntϊ]q؂ Q,&9?vȴwW2pg`:%8 mf0#BKo^yJV=ϨuFع-N(5FKS5ʓ6P%9Jt!ʻ,@ތ;`K褑 o*%mNn :4B̅PD'XUQ\ 9s9Bbݨy~v x: {q}~`pR K#-+vS)3ԗ`sj+ خVUk6Amey[LϸWLNm, snõf٩\-Ai ]/(䵽w8lTۜ>v#Ae'ʌo;ߦ UvrڂgPM=9nP>˾`utdQe&26Z-'pugl~1?5Yɑ,ɐ秨x1P[2^ڴ+}rj{ ٨h:X-h6yG BǮw oSMv|!,$L*[&S_3;w+7G7ipoR#kڂ)hN~bfb@(S ;0n%0ji3uaPJ`]cR,$}+^W1l IӺ4CNW_9~GH8Z4qRHs8aG7a<d =!O̙Ps Oul0h70=exDEV!on /t+eXEYg82d@^.ê_fVIwVgb_aQ y~ix  'f"qOf.c. )kOX},6 i$#44~0 ֠x͞E<_|Tׁ/tB ĦTAHaye~tph@v)bd["60.a2="\U*i#XJI)@F$d3+h鑫OiTW-F(>,Q.BDU`TZCBQd{Juj%A]wz ۡ|P- 髾2@yq4z8Bc !kgnA ymb$4!B(! Bt$mR3ٌ zæۼC`phEŸl]捂"Hp$CX!ffW\oA\UT۽ʉ,^bYj LJ3^NYbT=13,x`)dAư ,dW87d3S 젇q;:g?\_hU]>юq Ē*Ԍc;uR.)G2\L%R<:pQnՐe4|BMfϤV>֍Fr<\(S+>[t'xq@?s u,EMv}u1דW 3lL#Ԛ!km}f0/Poc+ZȃղƆ k}IKՕ0BnKsg-+pJ!kTύ51 E@$=ReVQ2KYm]*_4hChPWS^YWӨ{{I^=]b7vbڈu.-s}wS\PJ~W@Kq_,9♑ptLj ,xD„T6  tR;)q_`qmõv@"~Tx` ;"L|f"J3%Fn@l0˦]bmQPE 7Fʞ9O.4WHt']}?,YHaAOٜ۷,P]m:j.$G֘ MGIGFfC_F:Y~|+dHE`7*JAaիT}? HFDB^.-}e9҈&c5Y[]K@[M0R~BŐU~ e?$ Fb`gїqfI7fE҃fwFA& Ic税?wշ܌Uxſ]"V:RͥI_~H8gJ{|dK]oF_ V1A󆆞H3gOr}!8 z"3+*!ȏ\<,Č;?|flκ"%&W3Wǒ%U"!AUX/I"0B wY(%Liػ #JUQ;^|Y!q?W|ܳgI8|6y5gη|v{k:^gAHcxnōa6 HSN_i46IuXMw&QuJ*!]k]mgoi 'v2I'Bd͛K3oK8Sh)ˉ(}/WU[Kg肩 n~ToPXm2,$ڏd Jgܨ$C^_@3 @4w˗!뙏r6 5y1ɆRnQ:4jh,q)Lm\"n#0{a@k}0 O!L/mEVT,!_[ruy r Šq\%eXc;Kwj iJšF|ǣ֩_-r䖕 Fq|z`P3/k9Jw6]p!l6T) lcg$a6e- ZLF.C۴άzw#a+WΛ7ݗ̸ $KŏIʁ+2=)VxXR)hJrkgМV # -I6Ʊ:YOD0lYTC|<ٽww1;H /.DQG]ßV @9j2#ĞR&Xd v. hQ#t!)ju=>kWU-$qU!a[0XHfne7Pw t_j!vh6sT)-g Hߎ㠈/7!C>Mӆp*gۺ8*G\Q,*9 Vs'ߟc䦋,lSqá˔Uc͖mtA'3aNdUo?mx^}c3ZޕL7='볖^ɀP qdd~->zzzuJ Y I C{ao!8(ް $|l/5DBO}iM%ֻRUOTOwna_&M  리Ss/P LSwfj =RQO,3MI?)W(s&NcL*quD)z^lwI|˻O?!ѻ"a[;{kvFu5ambw0cy_Ͷ[& \8=̾$Tp{ɶ` .xц ZLUd#M NpmY%}eU =:~}Y#')wM+uQT׊ Q`,`$_Ks .p,_%Hrw6t wS?R {ĽH|?` '@58 镤钵+hw2~H4B ܄@ & .Z k/Zׁ8l|xViib] }wKzk"5h ,+懲|sju'7FC>MYX8ۋϓƗ=81{hG~ӌEE^8S$"zm YrI*S\Q2.!pX&rlyn"{Hh8%7=LEbu3]t\},#Nć/Zŵ̈́oQ6/Q"էdY#=Dr]VO ? JoЎ”g_:&ORԍ&]?%ԣPN0Pb0EFH:)xU @ێJ5K+Ƃ˸kdBy n#RG <TvI_~B~4h,[q+@4N9)`aˆ#h["}82bR'݉fNk!׏&MCDa7Lf:qM -tZ?V oVZ7%BkXD-tC*߅wXui Hu C8~׼9J}$ə?j}#>X}UpۜGE2p qui~vkZ\Kñ} )c9UD JN  e?l:-[3MX}\AWFEgnxc5.%& o/IS؏s7M7j+>ŘHhNyX^]?ߥڿҬT%@ަs٬h|b?ޝf_g< VLwhx*QW/ 객"b^%bCxA}.}4r6TӞ؆⤳|K%Hٽ:llc@yzS)=F`'8TMiJ:R-waY9+YԖ6JT~D\ίmWQW%=b:c|3~Q 6&̒1a)䡅}Jr 欐i w)/[A)hTڵ@HBkfZrO^K{!qe25~pAr@T<g5B;߳)"[SnNƢdepIße(6Ry 5ceЯ7]~˟0Wctʚr2 QjfO=3P &H(Hcx "{N8og)Ѧ0aY7%˗TiI{Qʛc\Ǩ\(19485%@ Ě_Ym?$- "T0ݿuFu̿r'AĄ"q!ٺ 3Qz:K>Z]ݳ Z0b \YsK=C- ͊]82ᨪUh mAꊬfj9Z' +5Ny^  Djnx=`?-J+~,OM`#S~R+4wNdAc^6zoz)-tHb*bM.NO5ؘ d9$3/Ղ/kr^zf|Y ε{]EF# 6cn/MԇձŝIܷi dtԢ;PIi}rN|@|FPͭ*=0.4ӽyʜ~Q ?d{y _`u;1H|6SGt$]N1rw^=N>]b~U&)Z^9dt! pfuge|ւ+!Ps>!:zeaQf d 8sW+Tc  V]9WZVGF>e)sll~:KTw ]X -'}G2P7j} SdVoE0 oO3Fy \YUّ-14,9ǿk[u"m!*Tza)6lhhJ~ūC֜~1* tO14_;r|6v~Jq֏Gcnw+n1MtNQE󸙥PDūmo`tla/u\,:ۯ? 1%w'wd=8%]ƶYAcBq!@Ty70xh;?{Ɍ#F@ ~+8$1c1Ao 's% ]lx%b&!d#bT޲UT= >^,)0Xo'- ;/X%BMQFJq X6_GN\0Suē1mlrٯv ۩9Es$bG2I։k[˻eů7!Z#98ɚϾx$eL2ވT8 /dx#uָ)+q^-'%yJO!$UR!b|hN53er-\W2 ,X|unʄasxf9>QәL(BY;X|Jߕ)r/]n@xLJ gaϝEE;[ؑ?ըͫw H! IفmQsLq0)@ .IT_/AtR37S8rPjx!ՔN! | m`pH͖U0et]~ }a--]t e*GtΛ `e51E/J?ʏȢ,Hܙ"_P "զ")&pbn9$F q%0& vψׁTsJMSճ_~CCO)#XO鹃![t+J6byZ4~e֖ؗjcbJD Aagr_֙q_%qx 1vTGvKK_}FStSrxH.F9Bd(j wS~ VJ1YOQש18͇Qa`G 1k,,wHbMN_}{6ScEӏ4)~gT-ztNKl|0r 5Uy5iMLbT(|4Xq)27L9M 1r|< T,L!Y5F+Ml 0p+Z)eM1!탂4=\0jWFlBv2{Rwڈ4RcRO4"$U"=ISF,\ elY<FVtd_d ֽ\&gTY6r VyIQo*CX Eeba<nX Qr8ɒ%)" dsϧ9Bv,=It(PڗDNG[0 ]>I`}\{[p5,WHLPg8W4Fӵ!\p/3u#Gq!VMxwތcYx;OlCfT -\x@?*llUsdGv3͡WQ9GM[i34rC(ClFb # V ƶ~EWpRX9\N[ZE|}tZԞĐ%%0BoI=ڴa_Mi2dv:5ك(ȇ`~1c6%25[ Sb{j=<4~S{ĮY^]I0,_H;mYTg{J|1U&a=`R n)[ D)oO PܶI|}4nBJs18N'oL^!S:HHGQ@au$I!&`4!V(( әBBV3pǛxc9F~7a mE]U'hU^f}[nl$΍pz?aJˊS rD>cnz^ov8$^̀}MN W|zM =ʸE .uOcŐe _P+J֢q?*v0izw;Zr2ƑziI#}E>% #9Ƒ;9<:o2m\i}qF#V`q-A˪aEԷru N69/`;1C*P'7@…1ݱ0pҨx(xHΙE#c[/ K =Vd8zkHkM\Crh.-lIN y  mľ #R=uNز:C]kVI^e9т9;keq\JeaSUi</WTb۩!3jt9Ukե٫HlC!hX-qg&Q`m2X n);O0I25qB:E!/%ߔ|6hf:βA{1e٣o^|Cc6 q:#Dҗc}}qh xX&c^ɏFh`OdV{ݗ˵- 3G-zt T&Q^^Yk5`RC! ¢'`zy8a53g*D2 jBmb4|̙681">a}ėU7H/|玷'gʣ] 2 J.*yUOfum}iLlLJH$Št1gͪ|[oB-xzLW\ROiރՆB$Ap@*Mwfp>ͷEN*1/=r*"sFBTE"԰?sp'R_?Ek<bi0h(2ά۫yd':YU3B{UF#/'s>~m v2hd6AΏ,"d}\OH9lΕ^?V0W7WΞ-AK`K j`keTKgCϩȻoe4SIǰ\X{* vG01 N0/N`6n̷~@P hzzETEo!heXh=y+SM.**~3SA} JTyljU}E LJdSe),'1Q/b{O!Bjsa"\-9[fOA.fJu;$'%b7zg<Rfj;u7+񬛢eF%Q]W\-'.B5bCwY]\rz~KzƱ=,P' EE\PJcx&0d1Nx>֗N{ 8*N1I/?bSBUgG#1aSΖ4ℽfٞuWlwc0F75Z7r2늞jm2`e14;>%ŒAzqS͕w8PD,Ykj=rxݯjĎ;\P;Ws QD.ydPdnٶf|C6]oȇ)>rbG~FVHA K%,-Jl.7 Ci-m"2sP%Rio;I!/1Ə2bo"7.=n _ _ZVB PvȦBu_7ʛw _bU}XyUw3LDA36 w/dVA #&{&Y-3j:ZS9сe֞۬͆$ϖ+9eP+s|]\扵[VPK͘z#zꇂjarIbGo,;äj)Ahp1$3:M u_KCVwt{RgCl,Sr 2]DSX˗᷃^KdF%ӳj3XWH¶mj<4](]NJcl=#4F|bH,[AsfgM$솧I\k>HO /6Dm]>\ZfZzG--W9@fOQ1/X4/SюE[H+ȯz1"rhWw*4N2ŗ[NBgbŤM@MΫS7;g?=|yAfaWʇѭ$d]>wm =ɑ%jȖ)!%l-ۥ j "C)z*N<.[ˇ.sڰ|AXДrÐX,2*rSs5krGrT6^ = /6*[[9۷A.`͜.%%w*K!cr$DӨ'0DOe[& d{ ~5o& #bhğq"(B˯E͓G8Os g6l\n!<|4$%B/sE +Wd'}g|]w:Ưr}X\ouuZ-U?k&8 Ll+,Kג0C4+"xyOz fE-UGs r7м _BBV\=__AYLODY̰%x/hԸK]uDXs/ \6nD2񻐳XwODZ30T2Ÿp3q67hmg7q&ЃZ-z ̏kcBb j/B;>~u=Y)Tlę + ꛿ˈ,1C0v}Hӆ' YUѹkS"y.$l?o( ُE1d!G~qLz45wרhn:| NA%LH{"n+L,]Qp>BAjc_zquA9{DDΟ*hc̽ #lJ\)SfS,+@(Lvq&{h3!kio𔤢Q~!1*0C!'1ϕgr3nh?oaM |iQ; 0ڄS柀(RFj+hOSN} ROia=EČYU;y4Ydpubi7`K@ Bːsñc* 67IA1Y6~zi&n">뫸ZH֏t 4URq*N21!l_w[lR_ ew+^un wSv .]G.f6LxV7g:VC0&8=U Nd'[s-pMh{0vt?[[æzkyV9Wvc ɉ *xl= q@sCi|[ma2U 8\W9.GDRkZͰwZ1Vb8K\[>1_ΏEfcpts2m>,`/cjjgYZ 585x '=% UpDown_SchemeUpDown_Scheme.Imperativedocument.tex7zXZִF! ē]A-MՋhvG"uIBm58 TȈ5ļv(sbGP@K-eE'b_꙳i" ƾGH&ѭjyc PwnN2[WF* b*;̀? yL*f(?aXyZ,Ѷ9VD yn3f$ϥ-4T1-P1j^̳rOy.WM\KY|5LoZI _x4exF*Ը \21d #"Sҭql` $ô@^p=8wx>.pu Q?=MI{;c|0)MQHX:) cH8S S{{s5qcDK4h-:?vb{=e7NM l/"b sQnEﴏ$x5Rqk`¿(,:K{B ks[6X\է)9K>P=<|ŀ lIߌ-p"27,/d.עAbrfU%Ily;]mc[7f)FuP?dT;AƋ r mnyAΩ6f '9% lUpDown_SchemeHOL-Imperative_HOL.Refdocument.tex7zXZִF! g]A-MՋhvG"uIBm5z!]5(;#8vo7kçzdod R< [qʄpiDžJnM [wB{B.E-wVp~a^$r55HA tՅ5M\{rLcwF!0^e:~box>T Y~)%ǟ%w~XoztU_}{y(,jI,{GAv#Ti/*40٢q:Z꠾KD1d_6[1 g)ccW& zn(KCnt *gә/ʋ ɚ\a@%1 LdL(5;Iށ&O(Ē'ȶW\@2d \OȎ0մ Flȗk NjrU KG!7"(sTcwP5Brud{54)@;CYDBtsd]~ ~?Js7 X|wAf~vgRO ٜ> {1f#MD͗JH]V8U>Is1b BLzLyPYIwZoP1j nuݻFa`M~wLvQ̨vhEkB%xnC1[C>Z 3~, زtuxTJJu~ QqiO9tdW>u=7C_5L '-% DUpDown_SchemeUpDown_Scheme.Updocument.tex7zXZִF! ]A-MՋhvG"uIBm5:CKtREDlo`^{UOK):'8f9%hp0sg} 8xJ BP@2pzؾJb]q/vO7p,F'$G2M0>GVf`l n_w3Gs?|UnGJGqr 5APumǗ!r[0٧u\ HZf :WY<(Qޜaڽ j ȇΉ~QUߗA}ECQd3B%2"Xgۘώ;L>@U1r٥ꖜ ?@376?` NnUίR"#ƁWO͇UuȷQ~Y <8aZ%S;T =WS"d:5,~Lf&6b|:^nXn E=^e=ԮzP=ׅQ<7V*[(%S.&lv빫[;0YAs2+ RH?,,C]oVl.!܌k "L#kwP~_᷽fx5f-^A}oJѪgG.y0Sd;M|i(=Su$-bK,)YNv "nީ{!V.ȧaPFx΁DȮy%/n$ C[j>WGvC'R4vJ'o8:ۿnh2@փVSn/ R#'-yUyuˆqu~y 'A[8@7%(}}HZ8#Gʜe12]]:Н-&B])aW++T|E<{[wGn2D#.7~-eN)#䐸WnRn2R@ Wʵ8]˕ꀊ:!wguu [љJ,d h=oyԺwߚ ,xv,V(Ԍ `x>밁_ˏF0V~UUQd׽8K Xz"6WPk:^{TOZ7 4*&A&">>tF#I';?GTkKYWxw?h[v `+U?]f0 ؾ%u'I<\9?L9c>QZG(t R ' 1fǩFr^{VY"7. EL}(+&zģ x}aS̑MWlĊ*%h ڝ0H:mNSڌwdg0ũ5m'H핾g狢b5Aoﮩv  zHӒHUy p OZߡ{"/zsM|LP v+˙!jx$t9z TRz^6EW0Y cDKʰYjTV`JX@*#Ω\>[~7U~pW.Y Xb8vGȱAJڗѤt8)T| y@Cy9{HStDVP#,:Z:䟽+Lo~EhhX_p[S,B:J9J4u숳臈3pOX+̱Z6wXf8lNsw[}u=&uzP1E4egb>0l%wnDb:A캏a:$YJ\δxboM.}V P Rv-%a^j˺QW̝]!"o$c DgM26LEA\Do-[+`Z"Jybz]矀eF?U3[~[rzq4q4QY3^_[iдwlI^ōS8} ́7\5dc@W`ȷu~f{ż2CLwCA:{O|^b4%uD= -[ep]SG/ߡ@\eʻYn3GiOl|!yhY}L߾|tE.9^1 JpZ fQƟfH|{ZܮT"z}`ЯֲxܛVue^,]3/V.a/E-^ )MۢW̦x0+Z;{$lLJH={JWd͆+C,laLqGe3z9$9PcS)IMq%g á"Μbf>i,*hOO i$aQ MMP孉0- 4A 7EXIVg\g:FIb mgcI$!xζ^&+oc^o_XzE;K[IƙA#C3*vfU%I*_ MLOz <hhWjJl#~V]R\D߼14^|B!hfzu?ΙBR[D^_nr*)!=x;/|SmmP/F БTfP/Q][ժ*$wh $i|S}ADe1I j%-iql ;3~wŵPf@M."!gF6zһa4~x(.9tЖN*2ekSfNE|#y$qۆ cHWi¤X˹'/sUPQX2H?hWLv]l7į\ePiep"a ^Tƕ|}Fv8 } ̋})oN~0$<Z^.q,ҌPa'(fD1\#k Xa?U<+vv*J&CudZeݞg7:hzaR;~fJ! e]Ҵm39FJI,vZַ_" :wHӠ2 u ۣi5Otar#ہ겁ҏJҮnװXZGhDX9mU,N-l42vԥ&UfXi|'И/tzX֮fc . ۇVۘA]dKfA*0ӸX='I$m#]ŖZU$D~|\-Jm3:QOPe h{eG{Fm~!]8AKk~r3gg04)+:->2 K _ޕ6%SD^e;vKwƠ [Izf~잮0{pze(Ozicnkt C/'3-t͕X%[%xl0jVAk[,'~ 8ZVVԅr * b@-[[Fڋ9Mmn$ZI[ѡs2j5Ժ5cRXbͺFx@4-^ U1#"~QJ׺r޴t,j:))‘Dm-;hK]~ mcd93~EQ }4Qɉ:J ʩ5`Z!A*!۱W0ΒtH 2:Ov:(画@!^?7}ϵ3>01HtIir $X29PE  W|u),Ņȸi]vcm]a1Q}h5yA8YmVKa(gRsD&w"ovD]2Po[L8nO`YpVzR WqF,gg]3qeH(TX Avf`\=/܃o]ZYe^f-hTt;Ѓv3ܪ]r ,0s,ˋ[d H>d{5aYM8{h5Mǭ%LΟʉmRʜn?W|{? I*tlw[?湒 5@<7?ˬwV3V.hifZf& FABy.Q̧ʹY&nq)Gq6cQri2>p [_M$J_ k^5qB_nkcd\,]PvO r'] z2HV':5m/ >4)`)Y @6^9};"~jf㛍2rf\ak n{= 3<A;?bŵD3˂l0:7/HXozHEͦu){&<8MA`}}^ jV9q,Be&pGjgYZWw?_d3aM '^u,ў pOs/U7"tt9anpQV_.n^B2>879ءƾ oa:a%-`IwJ)&'&d̞5vIep9\v)b\C{A gwNQCtuX}Nyj bȅCO>/fl4D`ArՔĿ4]uK)#n S,+1.R}\p4h oF-hA,= ;%hk oA/^/$~W8X5pi|/vhoph_!!,SVd%T2x.MkEeVYpAHȠ"qiz\\o=GZ;58{Ej&Of!<~(mwUoqNwm#]OHT12nw &2SiRdmT<aؼ$37|p=u b>,Bb2$C1K~)_'Ma~oޚ0;0Ӑ"\" CυC+qU9\C41YRʶD` 1''OS>p+,i "ztVP%d%HH?BŮg+} y>~OʨH3U-:;o_,tCˑLţ̲IaZwu OF=So|W 0!AVESiG6Κ'#C;toysRgՑ.@o_9o(SіMu2sP?&m.hr.W,Yn lCOEڏT뤵jtAMyA;t}¤j8rr]ek,P =OP{;LMʢ06fع{r`K8=^E:i`P/ID<ꊪz/@}@S'"ű`s8,|`5]Fq;_D^?cVԞm]3R s\>PjsUPbL.o_]媭p&``)W2zؔgDY6ozBV@)~z̪L$#@&psNS?xg0p-qc+t ^T\X{ѴSud"t=ٞ$< 'S1H(r@ZG-2 Xu~c\}H$_fNl,nP꬚MUwd%D) vH>O;fx2|(NA`Lxq.B^\f=+hx |̘rN2pUhmQ*gowk ]3!X^!$ۡ?:iNsN&j6!Lʰ:˻l}=x,mNw^zV݃T._sA5R'v>,`mtڋT.{B.Y&5˲/E`|PEgQyO ًێxZmoBlv>T )&C16O`Lb-l)%6; L<%bثr[_x;$jWX^듀rny~A|g&l۟v`0 XʛQQa9T=E*؛t U !HW+r,5̀7 mf<FOx(WBsYXq% -RWzXʷ$.∽8s=H7XyIfj:ʸ1؇@3> 4a<=# 8x[)/vl>l|k6¾f2$J:Wh&_݅ MD5,A7cLJPTmpٓWۃ{nI 9fFV'afRaQKKZZvXAɁЕӄo #)z-10@0n"eòPDj8vxvWV= 1uN3OyoVIԂ_cuǡɪ $~٤W&~_=%*I#*p[ cc9ѭ/8 co>8̐YE/}9?BPAb]nK..8J`&(C*p\茱z4; 3DY05#[Q߱;FƖrf'QAcvk&JbXKPko BoD&Ip>]aK4,Vuc_\Lwv \(K$}'Gzh䀍jmG~8:R ,pYE^PeĒ>WSH9.Pw^&_n;."8DS#B!.b)uBr<H8'fr ϰt. #"{^f%զ)C8ctVmX^" n5wwŐ:; Ukcrf&?WO HX0BWc*܍Fi`4xYB"ٌ?u>#-/gw]I)y]-gfқgkw@ecG Ϟ, \Wmu^DƢZ[(OOFsEc;&-5O.<ެ͆{]оs1~W8q5i "QEvQYB t-QiM8# 4,[{ٜ9`D\bU@R!_KT "v-xfvݯNX gB?*xrb[ +):j*(8W,C}GDTdh솊?nҐrvDGQ_\f !Nw ~][ %+n.@ Lu@ %2N?kQ<ϳ7c EEtN^;i2\fZ\rvk^\&كJ/Bš-{|XMRUjVI rkd\K|dw2>9Ent^^Ax.[jE۸5%0lyPdA˪GR(4gX Oy%;yEkNx5hryGdQ'uogOB>8ѫN+9i ~^^ANޫ_F'%z'7cHtgT 7?&6c'C3Fj[R~y@؍ 9P(oEJ]Z7#qM硜ME-@Y#y%ΫYTEո!D!wy/41_UU+xY$ ^cGGꕘqm^iq񵻲 ,5f$pQދ9+ L-ɮ5P 6VlQ:sq-&,֧MTK^zw4YϤܡwOڿtihb|+~3# `Gۗp tzۻyR2&[ȩNu $t,kT&}O^CNSŸWpfP)Pώk VfF˱WJORYtC:&ȪlzO>|/֡w.厢>Oԗ\& #$Mt2I+,QI j_XpJ׸mlܜ۹~~pL`ڷj%`8%Zi]RoH5}Nw6oUnyIIݡAԍӇT 'γdqA퍐_|#i4@S7m%ft 1hthAZvЕزlcbՋ~;Aޝ8׏рQoz#VɫͰ w5义8x559 $2{H`qqܟMn%^Aʸ|É̤7#a.l&{Haw39qfj6àryij?ܗ*)nxn"&`. H2'!ق-˶^qkfN+@v"eEޒ*|&ke;Km[Җl`&{. Ԉra_p F\}U]HěmKs]B=3Q ~x!Wͱf?{>| nB"'1@{Vt$"oHދ7Lr"P_H\89h냛o*-Oy_<\q`^q6|'1Mڄ8#G$0R$X3 Mexg1azr}tE veSb ûhɒFlQ褂haY5,(_:(J.OeMFp&AlVnfwb{bj38;/!JSL(fEJVY^T*Tik*,j58hq,G$P7?5[ø:C.߇h 1K7g);n J5_GA @Bޫ+^e /kyz>j}D,b/|\NT2z8(M 2l5L!ξ!'ڄ{zP_:Yj15kcQ+55퍺Im},.|eNٟH`\ژ4 զDY{9eUɀTLeF k9sW dھ?D|ji"Caޗo&?O e9{1"K[ٯ>;eSX%Zo9+Lzxe ©jTGYYj<6hi>*Ny%_ηtIGnBDD2'1iruzZu=1}ʚf&K}f>(ī1i^:~1zna|oԎeCBMK^奃髋[;BXsб¼6MŨ=H#et6"WDSL ȔW?GkIE[}2)f;⽂:u.5owmS/d_sNjT~`Rif:§@q. a@ p&tw膝4"UR޾H):Di؛JMOgԍ͝r&;RxcWI ;voK*Fq?b@G^+lvWCq Zߩ Ә h/* Iti`^~1mZгT0ES ѿ3 XݑIEf!XנG{40Lн'CtUHqgxW6(p<+gK5s@b4T}]Y K^M>1JH$ : t(hGMJs[=ۭ #7aF^2KE:;X ^.J .ԗћYdF=+g o/3y{(yNӲ;!87pfc} ,hʈqTn䝽߹0'ek@ymCfNL|SJײ%XA-ױgYZ  4'e% \UpDown_SchemeSeparation_Logic_Imperative_HOL.Syntax_Matchdocument.tex7zXZִF! @ ]A-MՋhvG"uIBm5Ȭ{ȡ#Pg"u '&y?=h聀`A䑖(lܡDo4I'wnr8b7*t50uprJ+NeJsUC3"x*`81)j۲W/)C<2?T1~͓v|D@z"hG}<G LtRmL+x oZFm4׆}؅K}͆6=7ٛY|}tv{y њűQ>A3t*js\o}~ ["/hl~>Ω& ' *C`bLj)D^|ێ%_2i<͵a|ޗ_ t۾%}mӹ0>qemG49%OcQV:B QI\]9ܥ0cdq %;kJÔGwTk)SSE0&i٫)Tr(Dk\CP8X!'SÂ87ռK2(IM/A96}u H` "3ᓣGTKh#'^ծ̳B xq U.@WN‹@>s⡭'2Ǽ? luib^i #{MZԭ9s}mLv< [ٷN`SZ':-Y?þNAVVDI~1n{?*.[$_ae0B-$/4ilcP !gfݪ[fUA"̩dnyr˄Ϊ#nަ%PaY ܎b n,N,]9O{^wb^¸TNh#8KbzlnUC½xj739Ŝ$7)7Qɳ 81!Dֆ$qo:nɥNb}]BnH m>u{PE_Z@je .q֟](5NH.K OF26Qi4vPŪ{77q3/y??LG<<?'/e;-ICA&QY<:B;Xe>0'τzSS vgTFzC.(v5$~u>y:"\1&TT`s_& ` ӿzr(UY1sHחۂɊ-NZxxLqYneoж;O\baniˉ].j~>_>\@[#8& Ό}AA%#3MK+["u.J5`f z >j<^ փ|f=xRoRzkìh(9 @2ۍ3Toɲs0%w\k .N 7KOoSV"->˚v7bqi ^#٧jH{#}1tU eHK̓M6oFrラRmhK&N +M81<TLN% Uҩ4Ö܇,MaYe ޚU\59n n.ݕi˦E 5Xx_B96xt:iM%TLgidh!hhzSl.2yvS.uӇ)V { O@/!%27΅ Y5sK"dZdCH%0חn@/F&PtYj5Dˍ>t /2ߨim"%&祉gYZ^'1% dUpDown_SchemeUpDown_Scheme.Downdocument.tex7zXZִF! j]A-MՋhvG"uIBm5۱.SYÂB8==V :]@P&]%{^+|0@Hs654ue5s݁S]y:zYMT b'T%QT%bcQm*"t\t$EJM,A;3g471̠Xۙ{'AJk:B;k1L&2W:e@q(y^jc[Ҳ׵-TJV #A( W\s!AvŖ"3̔xTL^s>&ELqu:g6`ЛHu+yeT?*Gmy&ɖ1_{1ڻ=j~mV.UD17ͯ[<9'S% UpDown_SchemeSeparation_Logic_Imperative_HOL.Rundocument.tex7zXZִF! w|]A-MՋhvG"uIBm5Q,#@||t8/ {+a%23 C Nlށxn0C0c5 _R2i+SS 8d@ iFsHOI`LtCg`Y+qnq3JVvk#)ZTi {* D<|\o@'t3|7PjY+ sln]Ę#5 3=A`4vT7DX[7d ^PnLnb*'vPSCrEܬa?پ;2(OמC8SA"eJK#=7Y][3$"&. R6aFt*r]fr$-`k~dGQ &x~U' !T}Uck܆S"ndbHY^I(?Ntc 75Paish-_}X 땧@lB 9 :/M>tFؾȈ:nvv7a`/+tĖ#:鰟Mu(ԥ H1[4#A%IJ"}.?LWoKq ~Pp4%z(O.&UvWs#LKɧ'CӓY,H4X wJHӨfu)6jSͣoZ pP]jp0gBؘBwpi.F+aۍX+Rw xu?nc& FF'FzPcsH$0?[/}HVp/NT9.Xx+>`tRj;;|$隳F&VeF8K(6 `[zpOe/&}\~0܌1#'0WvTAPeuORӘb„'q1z*rx7 '8+Y)#6N(/-,skV LUơJ/^XjE?߷,2ڳSOF–B=N-)=Na`V%c.Sao*סr-B 1~VBj7h/}:{Q^qg~笕5L Hf :?.6>Ie>Gsui<[q3pxpܔÕUoQ^uc*ckFdgR=ĞZ)X 6- GbZ-O*_O1 K%]F&+v*dqrvC`3ڇ e혣Jie oCPy#ќJvzRUO훯mL$ [&)M1"Ef9ƣa1l-I߳y:G9T/O06kckhر dz9K9.kVy|:߂ukv^N1T,zߡϑ.?C{=P6-Zqx#׊r Ɗ$: ׂ w9jf/>BQ>ɺt?V#"趂@Z.LP27dOq3q5@]:~L&F!Kx(JsV`T.Rd a{H1J߉B'?d fݱm;cWēRw]7o!. \`oLRtJ, W \Hd1{UnLGUzphwΖh xWhR:xAG{SRu'j  WU˹V{tW*[#m=֯m=]`{1P{Q1kņVxq+BM1L!-S_ՃI:zdN@3UVEM x@ba*,X8BD)4H 1id?uA beLe Lԣ{rWLI~xyd9 A<ƔT ͱ-ӽn1&GQ.ݜHb6 H2& 0♞>I\ ܊>!;ucIZwʆ\+*b247WûVaÒղ9.%>N_4?$2o,b7/8=+/,ğEuEعz#r/J᧺18+".WqXcb:|u0i6߮A*~pbR!ҕ6+n1@]0WXՇ.uzʘۥ/=0T~0%짿˷t P%ྣ$x@=ߤ z JMql<ֿ[I-htؾ[ 7"&6(=I?)*"Ubn>2o/M UFv烠SyM&W9{Q9\(+#I`B1H#-Ԅ3vL:%8G3@ UM(Hė$oӒwwg42a>rq%DGnF_#5VQ ͝MPa󤗙a*6A E^pkQeSW\lmh e ?yv!,yQR9 bHeoֹmh-d: mLruAAmHg0m[Lf g jRjļQyy Tc/'LrsA>w2"\–48672 vYn$W4Xgm?D}CL{D|'#aϧs{YkiVRjP,tk7"$W| s_sgCn@AeF& U$j n%v\= n>N0 ?߸qjiؤ,i#|!;! n3˴_ֈ33΁ꢁP݃lPN?9D%k<%őa{=ɏr…S(̫MA=5dNU{(cc BϒqEo(j t Lw06G r(F!rgYZ  '=% \UpDown_SchemeUpDown_Scheme.Grid_Pointdocument.tex7zXZִF! ]A-MՋhvG"uIBm59X.ryhNō͐M\2! bc@^b q'xsZ;$t꾱3%J劮)("eh:oDe6ǯEb8R5@1oc|#;rN8H~U!:Bq>O" =jֱMC{ [kB Ln[?Ԗ#mb-<ՖhL37~Yd3S $W H.U)ScqT&fZF58'^ٶ6ÄM%ň=T]Pؠ JH(%ٜr >Fsy6IS6K-We jEޱ f̷ob#-|Ш7ʵcyYes*w2/˛s’8+iŋC(PMÀ$ܧ/^2$e̋8w4e[؇+Xm}S<9`nK^Jsy(1{B%KLూYrSy5 A[Nۤek:sZ({8o-K#RWZo 2c2C Cf['R,joBna!*PXCGH)IFPHV%t=Q‹PrzʍǬ[[PbJ0py8ʴYP'Q>!̳l,m3=޴Srh>L7*Ep&wnlڦK!uf`; ʠeؔ@hI4BH&qSCIrV.uqP <^ZXkFkbݠzopAgg{r+uha-E .9"1ۊs("YWT?gWdTeV;8z{80~Le1상/{*1f ܍٭lowiL#/ @"{Anp JoM ,@ d4%2s`\eWK .L`z3zӡ'FvA kLf&!;¬kB;gڳQ;̍lK~:cw"Z仯on$Ps|?ؔ#8MFlN ?y`YDCQz/VVBOAD +f[7p ÚkJ*(qD^Ѫ LjYĦI90r]bϭ 10V"^7lm΄+spԃB'BrWl濂SFwnNXЬ\_F(()>d.tݱ1OU_9,O#=y=49~s@G5O/B %΁ƙ42M"[?=nww ޹ n^ۚu]ɝ5z:g "E$̣Mw'0֍kZKȤFk!Cv 1\-J-ൟ޶bB)Yt hd[#X Co(-w׍&ub29-%e) ˄א?LFk+<}cw״LxLY 4oW@W6!\;70S:SC9catft~Z eTHS!W#.tK_AO<.sӛePqo~ߠQAKM8Ec3h]U:j&*W٩ 735aQe+E O1ҁjk̦~3ga^}PՀB~N'fX8:wJq~Y`}Va ,٠wLL]jEN0 *w$e^ыEt=ujx!_V Q}wÄ|g?}2ǧT p؞hxʒן٢u VI|pc>`VE ~B=vFp#{x:E!~"V^'kI68*dO&#u G- &-tT ;bg4NojO,,Qy0a5W΀;;̎ס5"EDy^6h{R/LG%nWj9M2i7㞉mTck+,;CC|RUyXr6T._ ) K ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճעvW%,Nߒp4Ϋ;aO@m֒ʚ%7t=LǨ| &֎*}:2A(eGdE# "]r$-c{`2w\We`-MܗTgUG-*5_b$xOW1$J\N˹qzXpjӐ > 0"pk:Z9cEƙ/-bY7SY7|BRJ~H_A){ρs,%k;6Ǣ7~XyH"!S[Ǐ*١;N$-ؿhhn7lU X%ߜYRM:˸qtf@PY,t܍ t&rF8hn#'3X7I зYqbU a4b9bnC wzmw&XyK)7æМ~3dHSsJLod9J^ˆ^Fҹ@?qsel*P K;{/[I 0}0Z>c_f_]yI*fI擛[r *\L~IfK及Qw&"`6M%j~g\μ˺C"GbnC|!7˼Qw(=k`5ܿHVJHNT\'Oo=Iʼn91C݇DnTc)!fK>jַYy+] ‚rXZ27L!f>qH+e0J@l0Ç^a2D[_';?1jJeeSo,`! \nZraVr S)V=? ?[~=Ў3n#=E["KhO6lh3G|H$æ_34^c`R?xDrX(ߪT=u/.q9|oU\pζq̡>fg_09>GgMǾ؍:˿C߀x lɥN:l!2=5 Ay!2^'}+VxɊEY `P0ƗtvIQY rmlt<0~GDVǨ2e(\"q/YzAHJMB|9ĶoE}vpSQJ`3 3X/η=27:j.c?,#0Cq x C3Jd!jNm\R W\H5}[S::O`"?9" y|\+jQsd=IVAcWesvlgZ*6 pU$%U~S1ۢD7Ri9 Mi_»tE2i`SvPB)-Iz&"sjB_!KxV̥8wU+$^'DvYM]х_]VzvZXEXX'WK}FB>"k |}ܽ-g,06ӭ[tICkk|2٘jW fs҈B{jI)zFaTvǤ\(A:t 9AN1EqBe7Na0e@ ɗƊ&x@fyq\Pw_yXN@ l"$;hPagϾ^OLlS(P흾ԍVx^kG>sm)PUUxj:5Ժ)w<X!iLqd(r#vz"`*Qgh0V YJ(!4m}ˮɐ^tKz(U-*:uǁ#onB ݕ?q旲񬩟kQgY^ >-#@Yi,Epjm;ikHa3Gw F$h*(^Úאd|ߐvY|}~Z tА~l w[90>GسZTETZkkLs- _VD♯U헤wش>pE [ ,NB@:8S62<%s0J;|'>cpwAqgYZ E /hE ']% DOg+~}d{RogـipzBr!;oFmr6t/"UZ(jqw6 9`s7M$w:S9I'G25kP7Zy 0a%JFRb ?SBTXgYZD'-% 4UpDown_SchemeHOL-ex.Quicksortdocument.tex7zXZִF! S]A-MՋhvG"uIBm5eksߣ\"u sQ<)ԗt#v<ʼߚaD5#)_g ܆+bgs8dH-%5[$ JÅt\H$|-1JP`L녁)]aoEn75^˳$GM0F␧\/F #x}q5i\׀`0Qh_I>~ ht"fWK Kw}w' TIB2556 ȋNg)4d3uDi*x/۰ąZqC "iv@LR4U2b~(>s8CIя8Qjq~ʵ˚:=!Ч-HMl1џa^sXolig1]^קCw9{I}n^s.wF ! ,zqrC>"BZ%@«X_4jdCȜK:R}n\.]W'4;["zt"}dӳڹ>2;N7ExfvЌ0pJ>ez"I&ҩr;ԶNeг @K2Wދ2K47qDFy.|ڐ[nrUI M4u űp=&όE-f܇K.qlj˶H;o1*Z?b8 EbeHxUhyENȵ jL+"odЇ(`,т sm;.F0{אK9Lۢն(8FO0mR^&9 \jK#T{0!Ͻ[#DԷOGU]wO-lW1\9< y8d Ȯ0LCu{| K z 9d۞Vߟ0WJ, 80I2؎ӝ"Y)(U&* Ip80+"F5jm7 QH f"`wNLPDž[;gr/z*FZ]RB7 )V>ƊL+sHGգ=@gYZz'q% \UpDown_SchemeSeparation_Logic_Imperative_HOL.Imperative_HOL_Adddocument.tex7zXZִF! %f]A-MՋhvG"uIBm58 NZ]FdnYYzxH !dhݸ~ 8:'3Bw2ET|inbz"kHJM,Ծޖі6F )kjže 5ǸYcvKg:təhe0RS|j-şX6,,=< ̋rWgYJK{Ww@-*Ntat`m%@6HMJ[AX3jOBR7y}u#>섶"jwVȵ{0YEg )7FO} @A+29G "cZw( G!Зsua.`[`+ 3_ǩMFHռ8˶fk6Jo02LG'~^p 0iw=<+q裴 iuu&2KL3MFBp+fZyC~}B^(tqC<;I#L6K+q>Wt`o 7SF׫iտ\i.>U/ӱє43`y/~/[P !fdz CåtD\.vZcVUW/&(DfLX- oCD(jlCnu<&^{O+5|m8h-[sy glrWej@;<, /B9Y|?dNPGO*nUU$n 9[o0:hohΎ ѵfL~2{qb_L Eb !p>6RZrfxJ;r"u|zL7Է06ˏqBl:|J}@r6v=;Y+}H[ KMi1K ыfgyi77XW%:5-F-=Uj`32R;݇Y2x oBW)5::I0g3CeOgH/wǑ=K_b}p _4 q he\`3xHpOJ E$oAndlF- jHqIa}ͪ}ED{`TjJ6ê ]`ryJVZ0ɯQHi=Ҩ4YdTsvpl[ Ԧ@eoɍ겣即9LU HQ">L~JC$/UlwD4$HkU/|H%k.V-3l1SV KS.gYZpa1 s-nb04tբ*j ,ˡ PS&YTT"NN\-/ǭ\ҡVa^ܽ-?Q[r&cx&IC`79{;LW0om\#ouL#yF.a;"!`|tTu˜5(5hK..$8hb:a?a6{B@qӴ1ܑ|Tyd>m[d')ݤ!?)e7'%o)ql2ut^k&uKJ~`HGIRYG9q?"7: _!\CH4Qږ_fjmn1~.n>`&qH1kfCUVgin UrGycح}88KjV iK#HHe'g'Z#C56n}M40EG!\g*ѯmn2;"w9f-!u+ՁxԕYujDū@`&6̃09̛+m{_WR[NQG=TEZ@̹  (/vE^`2qy_}TQoG[>"ަ_/7z"FkKkP^5}]f)c\D?m&2u?5M ; &Dh^n屸6$1~37$g{/=4ʯp@faּb.S7msXݒefY/y=M{R-ƚ3n'c_xp'o(۠,!a^|q#Ftj}vU`ʔRjĪ5X:tCy"2 G˿"+'-BAgrI]TKnKeF0tj]k?ѿ-ZP5X>H/$(e^ۇfؠ'Jlp yN yTeE}'-ɾ d'K>*#}l]i,{Fl+eH4k$q_9גP/.>N: UXbb =eOx~9~?w-L+Uƭ˿F34oDJAVeY ƒy㬑i@-t9; imY7RnQe 5̻/mӋމX}UkڶL5 -RiנP]̮fM~ZJ{>z2{QDoR94.MoQK;;T߲PT.F*߰b|"33AK=c/! @82n o9̘a6fPbl]h9[X7MAW9?/w;u8\_ޯf:X~;뽇͈( 6 SRVDCh5HݿkM+W* W6I"m`9:@D>5-/fequ7X$4,A?+¸y"Tp OalHzُF]bt#/hm=H_wd`?Z-7…b' Щ8yP` F|=]9EfbEo m⟲߆!&JN 7c]r]ӛ-_Ďp$>sM_I'ˢ$O_x xX.GbȬKKn(j y-JRc uHᩯ8cNswᴊ+o{3Y]5wٴۅn- J %gu)ҔBAe޲MohA/ 8չCJ 3,aZ˗ ~V,3u ,N3n`*Elzp%q$Ӛn9zm9K_#-a[Gjje-3tw q ,Ku c3zKw.BsL'U]؛vQ7Zsv49߀P*i9!mLqi־:OTX ʄdɹuB uHќZ)D%g#`?_etS׵͕)E4| o[^o8GC\ (,Z-b.-t2Cc2xCZ;q:AF6ݵ6 'w$vt/U@x;71