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 //F',|4 ]S UpDown_Scheme:threads=2elapsed=54.738cpu=103.428gc=4.248factor=1.897zXZִF! E]ŗXf1-q恉<]d %S TzA=0 e"6ی6+X2*m:̅C@V_o偝$#vZZ+X1RDb|Pi1.wm#PRؤ-| .hXȿQj!(΂9T*\eXIm;*tSx>Q ^$6{,=bw#pk|J 4R |v٘AGk`gf'XM>`Z&h2:IOdUo;-_-xeI0/6 ?ZuS1JӔiABPM] j±1(`vˌm_8[-ΚU]ǩeF a.*d-nf*S Ae/l9;om+vն LtsCDwUG\푹gsO**(B..8?/:Rkq2t+t^AsWԨ0q/%OtzxMM|$y `w>nr߫b{_SX-tB74%"?fxnQc,  ww 4Ai?XK}rOӔ5|俁Y;L W^^73ҺLSG3ӽIpBǣGOr])OJxLfbD(SޛoU),9XLFr* d |~C,G VD:wWEzGweRa9ްAu,ÜD~.:d$g$Zt 9NV-QƩy?m-YI5HsD*Տ@ %uv28_/mCБ%Bq wen=鶣FNsj-]+=2zL0/&AY`,~&孺mN7w#LRר[>~l78M 22d@;׵vnP-[4/!.L`};,ONOB-n("^#Z@zVŰ4Y?V)}:JX鯂 ])V^YO*$=/Tkjה:>@  2VzTE=LܻY߀\7dXx=㔓=,6}m+@JLf^)ce79LڟrlQro}#!]o> N3UL-ZE**A 76 [?+q 41GNó8Yj=ц !˿ːۡӚ+<3-NU ;'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*)!}=<;:84 2 0 ,(  N X Y / ;  N  J  e G']%UpDown_SchemeSeparation_Logic_Imperative_HOL.Sep_Maindocument.tex@'O%UpDown_SchemeHOL-Imperative_HOL.Imperative_HOLdocument.tex/'-%UpDown_SchemeHOL-ex.Quicksortdocument.texQ'q%UpDown_SchemeSeparation_Logic_Imperative_HOL.Imperative_HOL_Adddocument.tex6';%UpDown_SchemeHOL-Imperative_HOL.Heapdocument.tex:'C%UpDown_SchemeUpDown_Scheme.UpDown_Schemedocument.tex2'3%UpDown_SchemeHOL-Eisbach.Eisbachdocument.texK'e%UpDown_SchemeSeparation_Logic_Imperative_HOL.Syntax_Matchdocument.tex7'=%UpDown_SchemeUpDown_Scheme.Grid_Pointdocument.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 5'9%UpDown_SchemeHOL-Library.Option_orddocument.tex K'e%UpDown_SchemeSeparation_Logic_Imperative_HOL.Hoare_Tripledocument.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!0v0Hh6yKǣPU>Wgr݆Au:Y=+"WFC*BIk6,>h,C#a> 'լsR̮N"=\o%ZKҿ0h#xnլfM ͔xZX<|]r|rZ@ΪެG@rA2` @>sva޳]p,e5rG3 teéV}hKgCԗs=#jB|Jؔ9wk!3Am9E^BkxK3~'{|}zKEh+0+zHI~fS1a2D ce9E5'6 *l.PکأͩSe{q(W"FJ+|d:>yn~~)='';2Uca `n#%IAtF$e!d<; HYslL9y@+SB?R+=Y37u,N[ WCJ@I(`ID%42Z> . ,]PvQ72yb歿1Ӄ5Ƙ*xP`Tv6I~rK~"$<;'jjUC^YRm@u?-GWX+<'OY}q6-0`e^/Ց柿-S>R7dH8]H@t#n+CJT4jc7# ]PT[_.WM޵3;1B:3@Q.pZj*x9sISg[ fV-`Tva#za99r W?S_С`o蛫8/`XЁd5wDL X{>: h,pl&$(, gs%kI{VqY 9p~ %a3p7lG0Ρ*׾{GtaҊҾG.{,19%ȴ *GXI{K1vw׹[o񡈪WH8fӊ^)XC*ݥR<2YNlxjKzY .+'ԁ-[n C$Ҕ;aESsg^)TAj`#~2σ@>l.V m.]a@/< 6hY{a3Bf8>r6An7jKʉ[@]<-a%-w\憑fu@@Ia0@T٤30ٱ`uZWz]z6ᦸpD|wbP9rs;e>ntdLy;n8ƵGЎNET/d[G$vQJީZVO7yG89=;h`G}﹉op)&n wD$|f:w[`]7|O؛Y@`6=ij]_0.AC~RB9WG8E;%M[2>۶ rYۃt-cY5=(c. eQ&z"!5>d) &5[~^֦"f< mc5QMa{:N!wwc|v45781 HF |$,,77{ƟOPfph8O!0Z3IXۓ.'-[ڊ꫶*6hu,vns;w80Zwe+b4-N+Bvdz߇@x1ZsR!Q@r@3*n"1~㈀)`aQ~ʅFrؗb]??]N;VׄYqP/㵁,Œ± Qz|E!ruh7D__p rƄ$n _[@yVkϡ ! JҊwMF/:&jsejCfycCm8+cc@oFa&T>88Ud T%[?m^Ftu>e7ua~Q*ѺCEZZ f'ڜ m)=;t~z|Ce^1y49wmgqތL{֮5݃ -Y>Y!(l?$|8m&/~!Tpl__~Mpg ~3׳6B?vF*7j/~^m8#7^ . Ė%p~|% Yc՘8pJe4']a dQB?P ݮwi46^]w}pFun}ml'jeۆ]H1q}[;/Jpp&W Sض3g}+>zTJ 01xUaLoICFr/#'jewR‡NTps>ZP7*<Ѓs,=Gk̖ʝ"PGl!"Ӧ"}t'~0PЦP:{X PBVኟ(UhtB˻2P" qD~sXbcN[SX=}CHAjldfF*k[kɋפk0()Ԗ,>O+nm(gO*E}8"H##7M68Ono~1 Rmw44?)=z|)C,8hBe. |ó\wDa਍4 ]] bJl12UVؗ p|;_ܴi׭.Tb?er K-&NDUZ5fqn 0"¡01ixR,0n<j!qn)Ĩj7(Z4Kϒ!q׼뎬9q9'([b`w&G獬Ԃ3?r5?+-[@2o,BM DۭzN-[p-*_P)V/ދCBXӻI:w[/jo O2Λns ?F*Xvn5@&h?;ɞelZ9__Z/~ $ŐG6.Q۾ ?ׯG%|oJ=TWX@ˊgw"mTX\ĸ)~:nwsȟ0X,߄r0[+O<]i%kBi <wS& e~CSisSڜV kTP5A? $ާRqaZ !90_qM$Q}&F:!ԉ͙3ɫʂe|"Kk7*^ |l;猳ȗbZx7ժiڸQL@D]22$alnRkQ?HgEh%Ђ<i A~_ :ia796FlBMcu[yylϺ8$xLʛihA+ McҔAR&k@c_M;ٿC.*ك~5=R&2-!@yvd^//ӕ ]z|`Hx&m_ KY7s j}?>)G뚹-§&֧`UmouuܳSO'A1r)`_xD̆u'Ԩ!$A ̈́V{*m#}VpCAׇ<5D)=dOSYET W xgsAW+SLhQ@x$Гق|5WLwˑ.rIz1x@f(Q7&s}k*#RD,.Gg.MF:RSǔ-prs''-D x2skڱtm$L;^_ս-ڪT/]YYL~ Co*TA6J]rp'䘦<Ĭ JF̈́ ۈěaש0DeWuuAAp1n5Vč1+9rX/߰1 *::N[Z |\MY*ޤB<h! Ɂ3:/̤l W'ANPt1.e˖[t5rnk>y$½K鍭I^8kҫs$7|نґ|qCZT !jѢ,wc$$Q78ETFR.Gi35MPRn, o18{6~IPz̆ ɋ)!\g ,P+ݙ] 3s6Δx;3:pP-,M ]3gc!7I$#ߴD7YOfj:ݍj!ӢW}?u1Q;'Tw(1Dɽ#8=-Zo}s܏,Yxo<.h}u&jody&/ҿБk'!++ډabp?O0A 4lȡpQrY[i"$ P&Jh_;d|*uNPOw=dV%Df=mrB[]IGnzW*?xcvT.0CM׾XUJ%*o' Nް¤J ¥NiƑC~O4.Rv < {nW%^f]wg+N鞠c-T6R Ya)19=6 ֮I픝$ 4gGl)k\J]|_pH%P5 dyFdLAk(5Mj ˀYP̚u/ &#:^~.d9FZMp|+t¢6 _^!@OBLJ7BN^=GKNh_*P dEi9@T#dh,` `ݢ"MI!j׬6SXTrd;yuɧ'oEnPF҇, P~w9.$9Kf\'3 vzY3R"HC 0o~v1E<-*LU&)m.(G\?(BiŽ @^M_{BX'iZƓL&nS&wP 6ΔRݶu]7p{5[nluF~t*8hd)Za-.$,qJsg'E&dOPJNP&mUgGBa˹n<'܋:&O|Y_KVhLxl- D`^ܗcpSakI[wC[Qj/ T?em5Bְ3Y%_Z-~,/_QKЪ lhFlcK<"~u" ¦YY(=rp>l~Q[2@O >L }ӠWyH Q5q(5ӯv28 =R|X=67ESȳJ{-" `='߁*;Fq"2#qK@ A31ˉ_fAtG2GNr-2ׇ@+\jllԕ:s. Hr>L& y9IdUd'VN0yɟ7`ҘcFo\ ͬ4re)٥?ytR+lފ̡l@l|uT+"ác"ԋ[\TBŵ7p'8nXK MnQ8;Q8ў,'Irg໬Qo&3knc7x.bS~Ϗl]Ur@8j~Ǯd`sQ ]q;/G%m |N>b1n*{Q#K# |qH,Ъ 0#fY|ﲃ_dUKzͮX5gD.*;A 0E@q(HLw3=ēBJN b`:/wڜ5u dq:]g 55챩{ h|߹ G/8O. >ũilB^.,2>]a?< rb@'IQItGMtRBwBxVLLץ|ܤ8sg![b)NE["Tg-$6LO@tq,. N0T /f•@Eޔ!ScFܐ('_"0̥4)z\2>/=֦Azw=akSl3XSȦqIG\<"?J)= _S`QXl: s1IkĴ4 s2򶚣~*$NAU?H6eP7رZ&#@4Z/]cUvT3u?`TJOB_Meo<1EXv:J$h玲썜!u(-`@F9?!:#Hn̍4`9@/Te0E6$C6A7\A@8 \mξwRZNps61:4!D1Տ8P-DX*VZ;Rc&|⎎~ЗdRHȄlI6Nh~22W6[:BM-` l'̿22Qo)Nvp"t,NeoaRh-N\1eۙ?'XtK4I*4ڎ< j b˜=G:ݩQ' _QjLĪʱ)skP (:u/w[@1R"=z~Tm%SǙinԃ[>^Ž$fHk9d݆$p3S[;9B>{t>]Dܘ.PsrLт1 zs ߄eRKeE7XMQX%W;W׏Q&BNX,Yvys%%itdH{O]gw싪߁Ջ:%1?f 7Ӹ2{<в/1h>f9Dd۾u^ kIE/mlv=l^pYK,=L%Hs&!+T)c伤d^Ja_cbo/yR)<\׍bn0Qwcw<&U,)!vwn#ێ`=Wk@zg?1="w-DQi{!D:'$pxĴo:c_+,R `z4y޷QjCDy_O +($'08`& W;yٗ܎%wjOr(cIixbWKI4խ67Ud4 O6FiؒrlI4MBjLX%/ah) "aI &{냰՝|_žtV}i*Ț# QNV7^[dP0h6Zbx@Eg7*LgZn>@n{B~ȏ3#o,$kH_Y566).M|g2YNou-+%ʲ$DEo@!% &)w0p>lM@(}ąéUN3PpN$zňi蜿[~Nꨋ}%H$  0M{L,ʋY"~ZG??GGW0.4k)а`!qAOVϖ:Uˈ`x 'V8P:Z6?QwJ{bsI^~yF! ;yXrvߔWW(6s2?HN5}N͖z}dPv!p={i~|n_U4z5qV.l|1VٳʬL1.Fw,5Rv}9.gRJ`,&=8OIcX4Z#}D X[].Q|k z:$4r_#7v{B8; {97.Ix_MlUޱDSx؜4|J& _QDɓy3N.$(mLGjoDWǗrn4>"C$Ӣ1[؍ -8)yaQL U,Ve6BQ?O)7Ex#sadc5ȠvY|$'VE@ VGѴHڋ}0uժIikeQkZ Czש)'+Hƍi/Dr6(AX wfx˯XiS#S@1Pmjonp-G%ipuh4g)e IAe 2w#qeJЋL{]:Fa([?|>R D7A.ihu%:'XmΒ![--o=:} M%+Țq v٤nJr"ITeUe{7TsC ͯjUt, !ѹr\7?Bd%H6'X܋|AK@c6NX/':F)>[O ró &ރ#m$L[_]z^<ƈ %^k+92HHj @[$'˕" l=`͟ 䟇SgUǁ oLg)rcB0H \ti>(%O`*c¡) zz9.cNCZΨ%b̭DLXڄ|w҉޹/ɋ>nb&ax^;'TKT%$;&Z,w!ٍUхX3(;j%In0qAWgMpsnv8&sn ށW|޴|s &^&wz 􋜈X̎*)YmHe̒xuTo_GF_h}83|ZM-i/!,ξ9 78/z8Ab% d eK\.ȟ@$ɞ2A{Ǖ >5?Lqw :/;ddϙzc6Nbk+Q!b%i,sݕq2\KW<"eX=eh__ Te]Z7&O0׻DoBDP0)''h[V&4s]tX?4vK@~o<Cg_0S£b_Ň)j^0??/8Rpgo zzGwDNCXr5jMݧ(MbhV_3`"=.BȚnD?x%HSD痋ECs{, /χ+x +l1oIڲ$:n -(;27NJڀif?Eb":?Ե@RgY-?V&4(.+O>UԋQ@y8-zM Q4f#v˯K^l9rݾgunQq$UMP/F oYQGF`+JɈ>WwyXiLgTECe\X-S $t  WnlW,b_ɂ>ޚI^ԭ"~'IjD-Ցzxg:9 ̈»h>i]$M!U+e)8AٲNZv_;o74k0]ع($o*6-LFMuHK'Wkl]NoW A*aFn rVq 3@`y'-P wg"Xf8o-Mtl~@a)N91v\\~7I0V×~Di QwJP\\̔g{h[K8{|j|tv[8^:0xcil]yK -IVH.Vï.6"EUr,/֟v*u6OZL2F=Tm"7#7lYNx_v$NCES" /o UZ9`a3%ku%UjBH]aH\#,wm CycQ}{` ,3t/H *ۭM)j7(nT4߂F#U /q Uj SF#dxI*)(cHʀ˂$IxOw=爩'wB#o9z\bUKD# 䊸t`q֝3\d+G(tue_z{Kpe ë[5.΍8c|"KèNBܠj iȕ3iZy^&ݻ( .8&X%JlSiqxA& `r Com,cS`ь3(F D@|c[ޠ;Ə* Y#fz9e/\qj"R{Ga0+u?F"mAP[sE\1ߎUd7)MoteTDqc |_I'vi({AXZ.A}o.OD·;{8EOkKQCk aB-hwxU|ek!ۗEGVS@HB79F< 1Py߰XWly|Ĥ~]US"#٣H$|XCkp@(+е5)"!"wg+ZH5?s游B \#Kdg֬)el2&%Ϫ0m*DI8 LQdͫvV >RșYt9oy܍Ȗ-d*$_м'ׁř#t_ *@D O;3Sy_8<9:UH- -gQN-;CTrMڏ4| øLUp9!0̴+5A--2fAA!|&,8E߽$$~"F%k Q m.G_]dtL&}E+x4jXWpAX ;7x6v Xgb|}h]  0"$@]>Alku,6 oZR0DF2'!,aҋ7D %`j2)b}C!sWˢYOx3nq"&{Y.:2bGaOι;p dx Ⱦx0q^C#@QO:?sA?) io\4K{~ZEy^u( o٧h"O :,U*;ǯq' F{h?ֶ¡&{uP uiMuZYO&]ձpF.~%S2P1Qkޑ-SHA aHS aaϤԷϑk Ԓ(N/8ۯ}a];ă#n۴%1ԴJ tIC P='r,CfBʞ? u$ |C-ɋNcVY'*Kf 'w4ZSH}t^u8 [gc98yOW3(uIM;K#\A/7iۏ6k[Onr>`.Y~IL.I5&:p,ȤvOyM GT9ݲKZBz+ƫ|E'-˂%nLk!gJ7+C~QG | F3Ҝ,7'Rl۟ "ïإy: m0F )p6z! ::Ey g|6C1/np?.?Žm$I^DtD(h"!zʊŽ",̀!iRcpAH!^-.d}I3BB ]RE_*.x҄{[aaXioC[EսtpwwJ,ԸEދ`."V8Xv.=\8AD|?0fS&k*^Nx]`;ڇ׋ma_s )M:kƝm鏨=)Z0W3u)7&Dϣ0C=ee8"5h=U6A!±8ǵP1#Bl&rJYTKS Bvlm|ji`\8YTkFrjpv0F5g\`%ҟ..u^eK(ۍ.'-K({͕!71iWN X"7A<^U#>4<ͱIª)_l6G4_h)WZd@2('gOY_`2勩*geIa˰+܈ сZW\ i3s6B^tnDeP"O<_պ:+;%۩BQ&, s4(bʅ'v\w\ːWڦH i>U*2'P#ޛe@w/U~= d](r%򴩨iz  )Q@x<]0ܼZ2D#VIa-`YT-ҋVDDB][y=\s sJr8pB :Clv)$6:0!:T@!!/$oR ɮVhY^꘷Rof01 F u;8ڑMjfY >z+ƭC|/iY1BK/Bq=xWFa saxp'`KEVFdc]܊)dَӕu Ro&8# jHfr c>j^H 0RO揕kBZx}c3,THzo5ir0 Sys:^wW3E"8Rp^\| j_*5Y<)W< TzۻyHMw2oTHl5&8hsmPT3Y#&@ʈ,Qύ2m`0Vw3]$gQnĝZPǑ1F11ԃzkO`g”M0"ClէU4}(ӛ_X.@Ցj!Y` `{0ýaW Q{ -{fB, Nu]nzMC)E*xJZkbU⋽ 85C8m㩑 Wdb9px0aC<5aE`0(&0Մ6xJvkO(Ԡ Bvf Y}L9SDfݓ /4}akL z[ (x Ř']9'k,18 4u4J5.F3>E.j21<^&|"V.X?߽,znu$yX`.ZgJ[yefFw u燐y'wEN1L- >.ﵓm Qc y a?5s Vn.!.bSy4#2PИ`Y,VLQf f1-:xm_dM&y"qC?DG&$阕w=PĬ5%NXS1#^ ߃^gH U!/ӕwt#8ԋ%hʐ dm$ÐȄSI@MhC@|3NT"f"Q>KJ% 񡛺6Sιo~瑐G #Y*46R cxLQIh6'~_@}WNy,i^J }9G9^&TbZ zӷyKb6+F"xD:4o%,d_s5N:X$!&m \Q% Ft ]呔AOPZm9[nj[]-7caiD$kTJ/mu⁩(h)BғG T8&^NME:iM O2O> R+eSN^B"J73&қͭU܂q{=$K!.0WzHUT_z'h](A9+7vzjb!N|,#;_g$q;#^( m+-E KgAHM6^k}3pv!*/6i3_FD\y$x&si N6 ҆~=v e ǥpP/v"3ae8QvڌaI\,C`~~)7~]7C]޳T{Nm*\fCjehl#*3W`ąL g{i|d<(u d>טd! );[ |/^)W^Q`}hN° gkï)_)RMUP`,{U̬_ BDlku1 2[As4õx l%F#R鿘ӶC<v>i6_X1I}s9 $nv"YVʋ!F ^oo_Nx =Y6o|u' w~ H FRhPcNnMm:`aaOA(D|eБT@rĄWe1}7P7?Ey:>-@uO/S6J!{LMkj ːL3?Y'ݻQmK0txgewɸ MibQ9%"TEU1ęN~>yOR`ݍ!@na3:A뙢stŢ^Ħ*-  (PEt_W`G}E,@VKFf1P^ z#Dհ V =rѕ-wO"qKX6`#s `C+3(W۴*Qov2 w>ɍ:9%v9T6mU2چ%ju'.4]r ] ,Whq:f84l&S?U*A>V͞JC1#}5R*D~ eO'ur,IT/"H'|Yn`;KKoa lb,8U'XDDؙxzL^ A )??(0(+ wUڼ]GNWaa8m94p P^~ѓ2UڴonMV_<.OϭfPlؐcB{&RSuqZ[&TX:J}+jMpv;Q-2wTA5֢./z 6WJZO 1n.ѭٕs-qBDZ4Q5jJR,l%Nc6bvYށL]"07LB:~'-:jnr1ܜQ^оVcṁ]Dh,"#"9N_ p jPo0ʼ̓$SQ<}S"6^k=ٚRKpb 0\uQ̈rɚ'[;e )CbidOX邋Ti[ =5ekӏYVۀHŕ  e@&]qґhuZr.f nfv1̨F΅Et -ކS )Ⱦ>MZ7iPYB\fgL}!lB dy7DeM6[ Byze ( xx#yא1Ms˳e @t9#Pbgǜ+y;@2KuVvgTl&X$a#y+NfbKsiˮyx_ 3/ ŝ{DdLh(48%Dwx~gک9 } $$: U>s/tW<W?Y $_O/˂߇baySĶK_0] Ts3N֝w>3Dt=VV lBwp79q2uːؕ/+Tf@\aC}%d ?0::h->Ί4JY_49onk_X 乯+qLyxo H,-} \Bx=Ӹ_ ϥib&bh  )D Gsח#Y"r5aͺoP:+]zM4(I)y :Dnnmjd(~A.>-* 1m'EvEc;iQRގXcѡ)^igꌎRvy.QZATaJ &Y!M&mҠ$Jco{mWyOLa.0#kE> R1 ~frsɽMăF-G@SvA ɏ *c<k{N@->? pcv&"_]aLpG6_N/W$CIk@pGzSPPGN5φ˲'DCt(Lݧj$$oSW|7a VNV$,z*р9Q0PjNfKR 7V02lц~g( ig^5H i֦)oDn>xrNU K44y{`v,ou}}'b+[MrjHbA^|; h>VljPa&Ɋͧ,[**o:Ayb!V7zp5T(-ʠר@MWOLҵ K0no3ݠDnL={Č9 ?8u Z:)Eݏh9N+ ʱ~qaU;D'BI=X6Ϗ,_!z ω+lsA #s?9uc4qh&bs$K4=Ψ>o6#`_!:ծdSh9'}=8JykoËE$9'\<^}Ze@Q;uJ}W`^)+L-W&aE3t<0רi_q,P,hJP}2jT#KvD P;IB6 Ig|L[dEJi}DWqGF)80!PD&BmԳ?#+ƟoRԐF7lo}@/YdA#RVRmݚf?3/Q?iMӯfZpCl~ce ͉C>W&7%Aә|~XY&: h@Ds]sԻ{ @+_( DpU|D"ˊkq!i@=y F=0?[ tg6Z8hz]up"g=V׭g+lgDj"h0>gb.0^cP$]Ä.=?:ρtƒE:LHy7~U?Mz%NR/m,ƫc\M* FFbzC@SJ}^_6efI5Va &coyGy|LO?!*^L 6 ыpţ6FBFħ&OhF ~R"īMJINo+*tJlBq!E4PQ_[\4d5S/UTRg%!`5:xYΉ3J'aB6Ø6EkBh 6<ٚE%j@ꣀxnB~ȟNgң[$ט}@B}e\…g"[22 '6S[`k1n.eק n7ɫ4,n[ƶ8cb]HDDkY.lo.N^ [GwV]_.O: 'J$j;KtkHCCeC5c1[ϩ Sմ5m`$Gk }"(-ǟQ}Q޲EG5i SHӱn͟ )PDs5X2[W̠6: a2#B yh\S^uHaJw",4[+Gij$Xjphư=k铴](6 [|0KP(kFwO]VAw@\{1R|$FoC[Fb߆dO `? Sk2.S(cݩjݙJ77. 3XQ7Wg~;ǚxE!Z!u~}e1̋>AD0×AŠ7\ 3ef[Zc]][|"E@jv&z^Oeuɓܩ-\90n 5Z3@8 ]NgSB3n1SAN7Хi4k!`g [)cvpۇ*Հ)(sYs4Z`Bw4k⻮P>S6^->3|1/!}ANHqA@<Ҷt,<gH*QZopL;QxY nu2^Q6^5prY>U8t\O\/}JFӛղC`_4Z}5˝hLCu> @P-//jr P$؝(W+a%9ogb3@B3iwQt;V5;A~X vxεÀ \b)@jBC}MX$o4^fM PZHt'fzB+ayS<T\s@=:uz 祪|*']AȴԽB`ؑB mW8gN<!k}@s!`@kV'wf'}ۊp 52AAGAs$FhkF&y Zmٽ mّ549\Ege1FA B-ڞMӲ]RԶW*Q ?38K}"vվJWq;c6>=jE&"Z;=,DxY(h;ЈaK |yjý).-<C,*bQ߬@@oE$y"ndBQǦlCH*SUONQP^9{2A+xyC t˛]ơkw$S/ c*@Ļvmj/~n<\vgޢ{! yOƬ"ܯwbae'X-i:x 6ZM}AF\sQBSCNt\Ւ9(:X}S6]z':4S_:<6k(=q~ ZlvC96P!B(7&w-i'^h4}(74Jdf`F3t~GY5S>aNLB(Ed \ =%O؞y4@*K0G񿲷EÜ{AaB8ypݔX[RM`P{l+}/Vi33Gװ ҸRmuךHQ(b:8T0]/;³b㷗2((9CZ-Is/6]y%KVIGXG%)nd|Y`02kcȀJ~x8DkxEmȖ#,GXYqcW-ĕ"@su[$,`φQ.soiSyJSHМwkgZ z>Z9Z.qxy FD[xVQH \HZY#ŭ|cyȘ޴>v{WtX(uM5 ةME_čj{[q"؞aA-mϋ) Sdh3U7WPH!0<7qc}2{NCz gf_`-wnrg`P"ϭ;3|WCCΐD w<)tXeb@K2ԟRi!IqP7ĵxtXTEΚP HKdZ@d#~.l# wCTg(Å:8 P^کT"l-R+|Z-b)\ NH;HwM'1_կ+l,v@0cxTVD) 3/ {]v8Jony.#ʪ{sϙfг\Dc .>R IHפ&KY2V{Q0'e[{~}٘ R84 ſDTlU'n}zE&(axυ1$/J$m ̬:'?te CS&ʳ#FbS-? ÆG;w`>Y)hԞE}s)!I|N#/uIJ٨H\;?b+qjy.W'Su 1 vҿ-:{NAڕE_N9;^+eir@Yً"cqL7j Q!:} !oClLITW7emDrv!桥0(tO-Qgjlhs #͡仍@?,ti\| Tv1 ihs)h EP0Y-n;`&bq[w5(xo*?$VHzB /RMj_{+:;^|8 TO{bзl0GA>yZq>'w)GG+(1ROw1 A#M<C̟lj2}*UD1D&Xz ȲbD*DV:vGL?rɵ7FF&*H*J4; K ij1pKauNnl!E y*#mj= ģLeڤނsĀ7;h:1=2>c]F!TCHW|YHfۙ=}5q!'l!}MXt"r?r7<&fѹQUk[}%xM'yѴxJr49>:Gfџ Jĵ返/u=Eð|''\H U*N M7tMŢ T `b\'+[,#omdB@*{*Jm>ofD ˋWw4ԙYq*}tHRy [o̍L\ 9QYAKE*~hRelYW)JK'x#)uYξu?^ܞfߒQ~{Rթh 5oo8ɼJIy{AJsafJhO/E"dJC}~ ׀?Vܔ #(Q7:a-XEPHCOo\It~tZ؛/">\bJ"cs0I@ iEpΰ F㏕S|o%d)J$sѦl05K/IG)"SW*72r3U Mk_ŅVe}7/y`t~Cͮ6%$`J$T\9ooAHmH[& ױF iVLM9q\í&:xҊ&Qr\62Jf-f( sd~5Bi!~No O9`tK@ I-x1y'Z>ĻF4QE"ֆ'#gKcg,=m.}OPU&@ÆafH]SS?Q8h޿?Y$+*U>~CYV~;%'E9.!!J g}j*xbR* aB3E'3Umh'>p\8krC6 i:7|);rN<9yMOly#k8Z'O]9|:~r[4`dN Refkq}IC`3T#A$dOAյ~@w :+B3+67 f*;qBe:f4"/ix!=$ h±w:8Xe;ٛhx"-bɀ(M]@^WeIv:Vnu+U-'¬U ҐtWc0oi i4I$ڰ{'f_+tHe^g\X2PbB"cQtX^+ce+" UL7ֻ> 7EIc *XҸYQoϱJ^"!okBk7OkidAH"5.,eV(JhЃ [Rrq=\Q[qdJ=چ@F/D^hkZZn&6dJdCV"I oj/zDAZA'2)c e0_H_LHJ!%X<0wW QՇ;^»-Ј2&$!nP@%B?$j\! 6*! ? zՔv#!Wo`_WӳYlkYW1"|_\&B|gL?aŮ mbTc$/{e&dF<O,.S J^!QTU3ڔ<.J֦b{Zӕɱ߱BBEˌ]gÎhqF =܂աg2p~1(p£Fn]5Σ=P/_]s~ ca&;Odv,F_i0#ǼjvfwC]VK)Ơ*bL{D3 rB ,&(P[Ac~,hAgttPLB~ =q̆W8(_pI`>upa9hGcB8an&C|}T/tiaD][;&H)b\ +z"oyJ'QAp:ŜCSG PC [Z3q*栂):yr)72_1M@N5,[в0_Jd(}9wXl$ٞx]B)KOͫoA8OA`ȤopȦǵKixOq-?}G.zJF~-I';ﱹ;*q}!ۘ s$IGQP@9؆b ¤iOˢsu0G#TÄm{vtɶy]^xs@H|7V'^!U+3I7Bַi ![RZ.US/k(f`.b>ifi =mkWXjµ: .RG Ձ,hgE9S.y#q5uŸ 6(Uy`ʄGvJزLNesKGDPL[okަ;49i]G%@k6 EƸNeD[64zG$-6mEyv.AbrG'u vBDwfe}wOFVKU[{GLC1]t3FdUFȥRXVw[UM$.雈jm74瘂ExQuӛq (1EOit 1Bk.#R;BJ>xTju=$oz%M.(o (릏">-@0GEͮ궨⏝p B>^ӨfRLz [8nwňl.~~3NF|ZRMco}tˏM u/{؅60}P)nAWP\2pvTV_. ZqώFr &XEbiSmSǹ㹓OORc2Ւ%*On}3n+~V`Z!ޕ*Ғ)xa{bӵpJKK+zD@HAs6GnpU䫱R\-پ ט>O{{.ciS؁}>=BM4݃I1B9<jx:<+(q0GAjw=@*:Efufp4cu&Lb\2|{X"Ks^F]wC:3*bJzYOq'0A~Kn ֙_Ӕ@JLlku,7-BD# .lAy95 ?H]KR`>Q߾Iߞ'}ƆҞ?Q&WQ|E aNewsy|/0wn>C!a{' I7o)dI:$¶Cr6,b@Ro\U$&Lǭ 1$?0E $VAk{dL7,b%!UQ;[YDqUjJ4ݑQ8)H=/7~m:p߼X ksoav@x n>1M6YImt14hζ}]+mh$'m ?s@c9Zӥx@aM3ې:q#"a/<@Yc$K;P:h޳uVJ(Khqsx詮JʼR*5BYgS) Ɵ k)IrWTPٺTw m{NDW1WOYf9rgIRF{"|]H?`#VT%sUs+z)!jè9pc LɺѬk^w~҃w:>~U]>--hGT nYs tQ)nH6 7s!ɥ^ O>kT!vG~! RkKY\*xq yMw*5%7׿$Cgl~`!.3<2;J?# # $š?.wŊӪ@#~9|HrʉQ~Wj`(xE,}Q.gȭtէ8MUd@wPBUӮ Qw@mMm/G1~f5k x/5>'?SZJXZV/$gxx"=: ОVY}#Ys=Ts]9)H0j i`YKР$^%D}V_@Ёx+{1X4^ӎl:}3/znA5 $^tp9:}\J"CZ ys&9瑬eРE#ZE'Ҹd{ӧ|Z{0|T/?2MB+LW4L$v=kSN~Ѳ]A@5܂U/ʽ3ip<3ܬL R=۷3V ncz f[H^*T:mNI?/%(yAg^v*阯ٔ'5bӉogsSg=8A|kcuVw=+Չ v )4#ͧbYUNn~=ޥL1  U(Yg _P bjj>np^OڹQ`[\'O [Vᡚf0_H$?pK̓:F%si5Qb(A("{x?@#g>2>Z) sOfxFRc*}ft 4xEhZ7# =1ΈEo-]rk{5t\G'u39ʃ˰/{P,D 4$OᏥ8¸3a:$ q^꜍IF!D= DEUhtR;zZ9=j=Ctx_0BUFl"`E ]2q&W”+Yr5H{WK@%Q˽xP#NջlfAӒ+%%T x·)Pwe~&{R?O[< R` yaa3p!쓂W)\:@{tcʨ}mtq" k@nD*r2kUN'0fD/5,Z'JdE&K1l$2V&i&.,&,gSF/wXONEkm/<EC=71Wfu [ܜ68DqSQe&\A_=aG{k襁gq'N>n/PO XPD^ϰdUFxY{iw ,s_ 28`[|W"{鑽AM+Bol_w!{ )$V7*o G|[Gk["'{xBh7BՎ7mxv&i Tt5d#Q 2?_K:Q[{l-Ęa%Oje2 IddnNvǮ0\#*ۑ,U$SѨk#<\rߗs;NdGٙWp]@4mnI G(k3yXF_ha/Pg@)B7ﯻ4hϯڈ \k29'[qʧ @ĭOdmTD`a蛹2wY i_LkQ6XVOLFzIiԵF)BԌGf%`=ʷ;ǂgwPmH$ "W\X87,Lo`JUUgZ^QM3xa'@'۝0uU7c2lq1MWzȞ-< @pG)xY5[E? =`qg85^~ >\Yޓ\]e!X2-oq).ALbax"\TDh=䷰saX62J(I#A3DjUu=\OBȊ Ec^W}l#8z/q!l_ƈ^;Bq pq x%^t, o.N>EE0ǧޒ5&<)=,v $50Na`r>KL .K"}T,>SX(hOD$L5|lw7#ѽKDj YB)l c?YER Fdb䶗FsJZ=2Sr * K(q>a&SF-3C!q us>A8tq}NMG3/ ȃLu#/!—F]M!WIu<O}5$z#ciHYKkF :mbHU"&]/ǗlQ@@W♰<%&pcC+VFA[W]B&9XPn7MHcO&^M9mhn@(BsǟҧJzc~6NɃD35tVX"iA2q#6I쬰0St2Z2w^bm1l{`ʨq|)@*Bop_KF91m+{iev%RUoi یYW?s B~n?Mi4̖Ҷl!@w c5N@! #wV^glCS@9H|'W өDl^oIIh(M1 N^!p|I]C}gd$&_Af\N\N,UkS:2*NM.E$E76Cn y7OBᡉS !GKe1C8sp},ACx`T[;[άf֦گבDl}.wΥ{C)7TQOAO"?dF/p<{#C at{( Q ѮoFJrxDKN1a̖M}IEW.5P}]j*: '| :akZ""(08QKe~]*5sF/C5_(xGц OdѹzqlnD-lm <2H/3?7sB 1\_՟|g81"x<3!FKRT6~ЀDUKT_H%Q@B޸K1$^(Bx,|zUk[k@}chCهQ>ncx,<~JW] }꧞s- Z@SJVhBXF}PCzƋɚfxF2أdqt؟O #@&B\ּ FA=z7JibtM 2Tt_?3' <=%@8߀Ͽ,O9f\ 22V dX7/n5?ưBf2$Hxa%sުm\F̕!bNu ,–)z\]W3_4{iݤ ttR%r=[StdL #D)E|vŸ}EէcŰi-~.O#Zj+\m"?HcAZW:OISӆ(~_:%HHG}0*3h2Ծ4on8aR0Rm ` ["MDg*ho\~T<p(Ġy%+"ЖzJHR_V(vQzd+ޏ^o{Jj;|0«Ѹo<v'ې 9IEXT v/`)hO9?,>o}y<8GO!@hZjS Obh(i8KT %ՈU:V25qR1JLNFJ,{( 5i L\_s[:vY:RLTT]rJΊ$4rZ *FxM8mRڏPRU8Lc-ϭ(AGX;EhkS)"_rˆ${p-5~.%Oy N~OyF׋넞meM(Ҿ3۴됹̖f'kPL@IYF1G,qaYBqϴqqŦ7@LkK@1&7,[LłOIQ)9ppS1 Mʑ]*Klz&|3ƀ 81rYܚ^!UsZRp77I'A=bOpfP`&7oS_A\qx8VĆBSy$r0§ 31f\;P|3ŐÏ.Xf=XpDSo٠vU̎`Ep0)(3c:,`{KRD-be ى[9]IúEQ#&a16P?7ĥT5\ؒ#Em!bK: _> h RNUzk Y(Ǝ^xw^ JHAZ٤!'D3z=iI?/_`%r!9]XdMX8Kr|tT9.:CHKE&DfQQ`g:+&>bzZd;m b&ʑ;ZbddLj鍳٢旐nQ{KsbxVGlc[?& Ŗl-6d/x LJ F G_IJ hP9ͮK0>,@u!)S Rjl|D'{> bS͉ J1nU͗F'hEd .R|Eħ UQ Rrt&9%R[,zLe֨ 2 3W(&Jh\Og5PRGpBG-?uaN`.I*q@Sb;%*4NJut]ZGWOy#H4^닼V9Ye&H"A^qm'w:c3}"\Њ(,$gfS%2~lEoaE,Rq4'_7IoK7FsAb; CrPOPerggA%$8"LQAyM[9WJJҨ@HZ'2ݱ&`VCbn:&f:z$V X4i;׫ngGCOBrz 'ʕ\wSWeWH 0 %aN?y"d$2EeƢ,Vzqի A >@>VI㟮n]0mIfa4KuĈKfڰ/\mHULuX`K?niC@S5RLbV$T2k!+ѤK~}v\ mo5 (GK:F p:ũ+>k'o~hєlMx=/ov1Jc6Þ \o\*k D R:"JWZ&Tv$x4>s }7V&Ci7=B7oН؂ R+2wq @'"؟kۑl1]._h+uvL~n y3=BvFW1,yZX6Wt 21S4,_f QjkhzD5%)׃lS+6#șX̂8jN3p'aJK˪gc~̡YMO%\!4@2 )<|c8 qR.4(\h~^ؚqqK$<}%*$V 梦/Z6cC6]ζΓ\{"[p# WX*0r#+N~MZɱ  ]~ҭh,ų]GeVUuhicFa2 `tZo q {]zv ڄ2 xb=u(ţs*shJ7~MKZyd+Nᷩ(Qq['US)31ս/^۔ fY"%q0>p: 0PvVϮA%WYH;P}H2;'S(~V_ u֥jZtXCKm o\2-A>bNM(~ / 쎯>@P1"Gx)Y|E"&q$VKiZa:?7вuMB;6~ﱃ.܇`b/K˫x,=B>ټjx-.Z0_v7 L96 oH.e{RZ)x190p2M_(fFeA# \mDT{F?,> Fؤ7N4KH#1 $v=d1"C١S!nbc M3CgyVhKΏOSTL2$آc>jk.4őHqD2oưnxURfvlqz{/DE;1NzTFH/NHX*L@|#Փ:\fiKb%3+9 )nt_zNxM5ɟTm @ySٳ>.6ylo k hfeߍ/pe:b62X~l{$5A54$Vꅖa -$aS y<S%k];W|JwLH 疢xCP fy]T}'w+l% 3MSg~t$$ 怌;6RLW\WԇɁ}XM޷H޵YN ey#X3\EO/qe"!|p݈c|Axvcd^^7S#drmW;k*t#癱!gPyjVJԼcv8f݇DA[4˪zq c/xWIv H0݂2.`߻FGȢ.tM ݜq 8rkY` ,S6wBifVVD[]cDywlÀRWdj?rя;S!,1h=臯<آẳƃN yIn1 #px;H/ B\+-T KDïJNװ2 HcaF?0gHΝH$7nK ͯA9*Y 4L:oIoGFurM{Ӫpɜ,kOx(5џ`0Zxe@q’m+O=ˆMpJܙj,"SMY bcwx)Bh (}T&BnKE鸞a+>ĚVbXAUp< xx JlK2e!C@zq%<2" `fc8U^ gJ4>_C5P<}6S1 cwK)IAYɼ#^vsogdyGkI:?\ǂ}@6&OH&D827 5 Ng_x|CqPCʚmZ'9/so}~_XO~V=W<W KH΁xl!@y[JP 0e6j@*8ՃVZ {|mOvg1 4~̐)1=}(;Sd7$,gY7t*"3QBQj024[s~J)~elx̉h"d&M b[ݶ9зP24ԔఌeN νb2sVΙE@W UMMޢ@d/2=a]npt[srD L=oז=i֝۵>I0c.dL&.يxghVYIC }k>ˣI*lY50o/Vn}tt̎BLl}EKۍ&AM,ĥՏ;23mHGndgne~eQ"XX眫+[8 ?VTXY8wf&+GcɻBqGR>Ii!E/p; "7w aR3ցNbm-hWQL> zES]48Y]#>ClsN[(R0m$ 2dN0_T,($!C.!Nޝ#l!,//|u"}mB/G^'FR*vSo \J呬uQѐ/fO WKVGO QMj]޹@ ?~fR+j>v=,Y7A,N5^LC H}oN} 6p ӠWw,½T4qxzGU4H}ʷy ݩRqcr.`\3+ߎ cA;.rJ6t|!1u0϶ HƚU!~Ubx g%l4eTTk"ԗX][KCs5E$n*Ulϡ[t̔a -U*Ɏ>N#@NZ>vƹg}2gJ oN$8}X-h--%hv8#vj03Vh7jeVR{S^+(9S[8Pɓ~ϮYl҅4Ĭ23ERE&.W1çjÐ.@lXEE?,yv߉7j8bc"v X8F ֑ߪ>fL\3O"dqj` bLz'>o XB:DmH [@iy+ Lrq歫N 6|EKt\@ҕWb>q \"EY"ލ/B$:B!2+M11uć׀| $mQDx(R^Oj իpF6t"긊h7:t/гнL]ȻSHNo#3YoF$s]ثJA#%q2^H6A p4`66>Nep C:Pn_ȘKA¦UFRO F욳#ESɣ5@h.Af d"p*D qUuz znL-}76)$cz dJ d4Ⱥ& Z6s{ڱ)j٩gAB7%~".g!2ERC4BCۇ5a1FФa8Y@nR$ -WXrrJ]'~pWQ~F:\ `I"?3<`D[zt'%Gиho#V;YBL0ʉL~Jj}s>:c^vf0pێnI/0{E+y҃Dt~-p yV/Lǜt'/MaY4%[s0XO-Mo#`EtyO."d]n7bSp'Xӹ-o-nd2! j^!2O DePص}GT$[\~uNGVM#&OU$X[>[}hZSt;$:L77>`[xkp+$N;8AȾwVK}&HLٹ:Fdm;&F3XkeC2i_,4t]u%oE~^X2UӁv`9Ճ@2_$~~  =(~&K2g[jp'uTBMG+~;*Cuֱ?d,d ȃǥfx#x]eZXɁ'iK>4,G}I3ڸHkԶxa |Eؐ?0j];mv=Mq{ͧꪰ}u 21ªѮXŴ MFYsa<.jߥŜ:Y|bRnJzc7!ic_'*kO@o'MxNzZѹ4[+uNAQXQ Y~o3P_&岜WRd%&{j#'ENpayb{)=h{ SEʼnmCI)2a?'t2 ~GQ7C w#^W[Lɤ,SC14i!y?|V*ϯ@Ő =5W 9nF;|/A9j9^xQx.\ztc?\ ]mvQTh% 3[EƉXͳh&CxT%Е4#=]l(p(eHT#DKf*U:~2/YېsC\O:3b~ T*Pۂ)9eCxXFH3%2zUm'P ^0aI3!&3rN1hVȦraeoa+ORT5Ǜ ]튷T$ ƨw ]HB=7B{`Yw\TJy%ݳw-7 N^.j".r li c2k%ZOYtMXkv~&\:2"Pz; aO?ֲZq67I1$-mLJrCcwBs=5 (pˀ6cY~xUيd@tWCw*(ev XVΫI. .2IFZSMbqF̒i4QK48m(SU+>!x#+yÇjiq,JEm_KJ]L PhF؎YYzNJ`@>`+q 0+ j e7 bc 5ER8-o~7 $y7]+KhH9%7Wɵ&fȷЮ\V&faYt8moѣT[!N "Fn^gƈQT1VS0a}-cD<ƂrPj\1>* o *W% O7:s4F xЦ9Ŕ>.ӇRE7p̛WBW:xF5JUd)d,[a雃C0ef3P'8L~d+97銙ZCxBI2eT6զ0(cz.~a5\*N V"iOf6?O\N]u#5G1 C(=/ϡx+@$@Q*FdO/50t%Q'QO|Pold⭮+~ʳ}D?$raTƕEDFcw%܄=InvuBRοbKU>u d!aGdi[QFZtŀvT+;&Kwk)_O~ڬF_Z@{5$l&?WŹ$*Lv`rWp4e !# M)+x!@c'\W-ppfS)T{ pSGMEZ$`?xMZ W6Z,ϜaŽ0T/~ؘܾHnZt$ CP>>O<'!D2 B\gp|[,5Yq vu.D,moKńczmG3SMv iZ^`kB)*_$D]\tMP=# 0xd a9 ?: Hښ.ѨO5- Xgg#`!q9wC2R| ڧ'XdMJGфqsM3WCKe8~߽3PS7ހiS"Th˄bfܙh 1J!;cf2◧jƫPy3IT.H mwnB3< _K$Ä\jYC/G{Sf*T;)͢!UEӫΏ*Q_$99a}=/"rq6O{ {%0t8_(=e5 wp/pKxAhw;9) e[8)/y*pGt,]K^X2C b" :n?r?of.5FLKYp$tx`jok,<ۼ-FWAϼw-a-}~v E X~g3Os^_އ9wpҊ;պE֕.~gټ2!2_U}ɨEfr;Jq`Îj`Vל`O@ϡHb0vbu\˯v^!qO9׾аBɜu1a*R 3bπ?zDӵ%x}$Ps^rƢոjG4{ c `֤[>s;\>P:#Sj"1Pd6PTl:Ji@?o}RSXO/XbFNYDj|ZDƴÎv,kd3GLNM#؟>2acр6d)jWPз3|.TBʙRtpm ^Bˊ{v z;{c@RjP@3׉sSY3A$I$`h8"UbZ%kp 8r@UۭMjŒp"`sZgE CUa: J[}"]HјHA)J,ub)Dm7^*Pio2#fO(2V.7)KݽGhN#d=-Wus}78$*}2LWҖ!ߺ,Yh4"cn{fF9e_iVABP1usmn}KjGH̥g#0ro  'g7FOe1VݠPolIo%/rέF (#>m{&86U|?htQZ2 3ѣ6HP6Z9ZpsaU|9aH3 S^W!Z@e["RcŕP`J'_65newxu߹ 2Mr!`GXJs MHjZN!"#w),n m~جŭIfytZXqr\a0ȼ8^W1P^zq424o/ͿH3g D ]CXR08$Ev?C&D84@7B 9BxBo>kϤh>jGeٳA<S rȮ6PWꋣ &~E~:*\,OPt[Y۞>C/9T" d|ddwh-Zʄqbż Qݼ54^gJ끘S~^$l`SN{v={OmhGh9| p[Xf'`F.|5лzS9..guMtK2΄))vHy>#Kv2[a .TǟD20M-+W񧾭.H}^ȪtMj7cg;QvxE쥛킉qH~.~ìvX:VP+Bў'JNFY4ϥcVH!{, %0n|0rķ0›٩ղXq.vA釆N:( /ӻۣwz6a{ A[ܓr4Sȱ _ا׻_4dž ]){{ 7`4V|, d5տRH1G >Uɕu`L*{ x)aJXXf;/<9W}Dl2v3hXLY'PtɍV͘H}0- L$“hi̧>Tf;mLcLۓErg~Rp:XXvuD[ւ#oSJ6B@i(0eeIl Dh[Of߀yH sm*ָ A}pcRGү՟+5WR-+p2OO1ds01KdvZޯ K0-{J4+UyW4eiuc N7wz͵hJe?;9-2]*1(rARA 9i\EɴH)Zf)^XigL#:>i]Sb9mu`v)(in@ֆ\VU}Q3a'|GL]@1J[;4)ޑ8,%\/$Md;^X99C*j 6'zJ SH+-lH$}Gr`42ybz+nDzk36 VU lpȏ|<W=mR5 ֙\)4(唸tX~8$E]`KO-BHL{TPٟvʜ &_^Y&I:9irIZ\d 2vi:ҩY ̬wCn H˝ގ ;zŗtBKmDkKh*sᑁ1!6e׭O3LSdr% ~_g.(_bj(9T!@eȨ/\`B랼8g;8*|dvʶFQ zD#˾hF91'`(9@Ιa#Qe`ecպLZ_sS@Z=Iv;;"XpYNC);Vg*}iS+(Ʊ2҃Mjt2'FH҉_!5V NLj%t|o:uzv+.nCЯ^9p 27!&Wd.j\}pe/ޝ*J &#Q/I>Y| ciD< ?r_0יPj/{=IR7S'B>xu8* peNp:*k/nzaGu@BW+f}#؀r\rO$je#s@]:C|.Y-+q2gU I8UE n (06Ezj;}^!⬡b$C=o(+飐U݋ #aR26͘J3|;*TplT8"4ICl m%2bBbr-,QЙP8&5JQDf,CCq႒,,-yppAEHJu=Wl@blsq2v!" Q;j6X,*2C6٦M8#jpm)`wŐ3%-`y3J$뛴I$k ,oj׷5Ka#9٫? 0GTq4}Q7jY\5}\IKfs fUL[J뽅l9/vD2V-Fx{`^WlXMDE2e٘h,UVslIff/4?i-Mm24;zٔ.hf8?Bj^$M`Ǻ^HU,m|zb\4HU)'/1!붕Dh W+Cf>Wk0&5R:5GDFPq!m,tQY Jso=<":]'@ `ؠHQ譱RFn{*0ķ Pks%+?=r̐(8ݹy3EP/PmG&fz#Scb#~Ԓp:^SNzD17q/ &x%?SlFLL4p#mwrҮ]!^vdW6)j܏ҿya.VDG'/zx&AQ-V[GP6>\FV_ǰb%jPBMcPw(z@~R$I}񊭍voBe΅Ci:—fdzheaY-HhFDXCNC-NeWzL!'G;(_# UM˯#ķam-H8'#D  ?)/\v{_T[!TI., `l %RTRey5ZeVa2 S~}cváx":lDpt]?&dIe^ߟ*lU-h=:p+LĘ8"L^^Oq͸*F04Yd9V"QtCgӥ4K} Md$9]wtAQB$ǞW=X }mK`H+lqqelҥ3ْ*$8l$@H]7HG^>_=>Xt9tP IDvЪR/ \Q^ ;P̫䄛14g"&9qa~܂8}]!;Q1a!G <;S%pwkZHHSu 6nBKdx="Z7#?BŐ_F?0u~v5^qlFXƀ(ig/ѻb`'~ݤ)md Op+kʸ\d$/߀EGyem= - gbRu`u"m` ,4̈G`CD {;''gx'6al;LTkæzvg1X{[; ΁=Bs $ ;=ⴆ[wtHlgc/K?5|96 zC둼=&V[Ƭ f. rn<7]sU*%v Ch~laM*@'1Q\ 1Sdxb?Kiu\l&=u = 云 L # A+m{g?˕ bëFa^[_6@ڞg읤z^YRCBVeH#J:DV -JDSp&  Rq^ޘ!KK!]VT>_havbQ||œގLjvz:>z!ĮҐpvGj>pkz(W,X8+F,Fh$e \:#G A}9A/ZgVL,OOpBǐM./?>AgGu 5ߦ#g<M0{ڕ yum G݌i8:б CyĨʘ/p\633xbBZiN ydLْ8νL[%p6srau-4Zv7,DdzOr2`n̒;n-(`Ӿթf T$8ķc MqO/J9`bFdw-5 jLQkmO"q6 ƨ& ݟ:WzQ*hp^(M)BDw)>"}G&*yjL[GUWk&R5[:}WM 1RctDpص\[_3Tb6A)QGKR(b5f3"wWCvt&H2yK@K@a(Z]"lxHT*إݓ271r;,"Ѹl=)U]ueyZa 2j '"h(P%A%ޞd iV"8%.J4 ~n3Q- 5OzQY ۿ^g8$j_>) }K^-CuZa&7E9p-~c7Z*NZl:@mu6&1EXf{R8h~jIْ*6#d)F%Y2%v%'2o+(yYM!/E=JxQY<Za>B6D/5+ uDly!BmEW:gB1u/:iT.~ |w,בλb: *i8WSJktݭZ*.c3[ uC-Kj'}u^NQ m |q%Q6-kg㴬W8\J1#Ʌ|Σ9dA傧qg8؃ӵhGdUYО̚4Uzbd ːRe37+;3by8PvK`T$.QrH1 G¢ ]+R<W r:b4ff Q>UmDN_wYթ";o?:UɅMADb9\l>͆X(ܔP^+|m6m5T 5NSG%7[luH}V"*MĽc?,srȴuV(JQua֪$_n 7mo:&y9= d˦4uy+D d' Oytew\CA`]3l|\ l2H(-'EaԒOTu* ggwC_m-+4{B KBx6s1~Jsߠej# 2>sy|t`ޏ0Nu OkTVF لz]E'ſiZqkyM=9{Y|"Y|s_yw ,>k~S%J4ähR+m8@\>qꢗkeLf`uٟQ[: T$Nv f"uV[] e՟bѤiܩA5`~`nHIK!{X$JjͱOۮ(Qڔ1_f+9zz9oз`TwǮAVN Q䞟]#6Ljݖ MVxl 9d Q>zrJgSaI/BZibuF{/CJTHw}#[͋2 Ogx{)Y0!ckG0 5h5[iM}JBY=W[ဝ<g؟> YixYO*wq/h|xqZM%8 %^i [& HSsP:][D@ 0cj(VTϧp=jrӓpFGN-,k%\mQӲ* ~yNgҹm ixSld{‘3v=^;^NXhx]ǿ. 0FSܒy)!TuoLo|~o',l''݊jC0#R;Ӹ4bnUen 6 Bg EKz|'Ti&uڐθEV6 :8szHF˜n@̪JQix>X7T?Ka{!6?웧3AՂ @9`;ϱw";0)\{6xEZ6vC'xT)wN+ 8< vLD'mc  תASӓc+ P^r{Ɍ#bYwח᤭Qo]Wf~34%)*9q)Q#uiiF&GKHmG!$\pOζGRѰy#p0-XoW6VpdE{bhq6 ]fRj]J֕'|S??~>ZP |4ظ_Jrh֮SZ's=d% JbS\cP01T\7nN  VX(fKo1$gv۩- KJmܟz-NQP WxLݎ':t/X\$Ŵ;y1P"3ED kiՙ4zno '3uȍ.mn+uTDFsm3tu]4?*)=?w´"4-'FU3I;x|^:l;+}mY[Y}xPuxORa*ǀ0-w$u:d~bmnuVq֚Eob&pĢy,͕˥iۨNsꌯ@U/3ށ3s2neH:6jd^g+XaÑ+~BQha)(ĞToEHKck?$L&n"p!zOMDJ?;gz@.ͼxI5ĭ;-j$A=މ'¡хK8pIShKkOOP gǏGz?ף\hmF ,z7 H^-W,r"l] ^=;d-*o4շÛ4 dS܏\/8&+k}hHSB/$#㤈aFrKjb4pN>߿1JR0S#Pr^^ sf4(H]+xz;8J@azͳW^c/ogQl$alm~;4SjTCCi2 e"˭ `@iCCڃަj9:)/-xܾ? FReYYʶۈ^.pz}\c.B[1e?'zQɮ!,( &xWBZb8T{xcԏj:Aq4z.*^24,;!Z:\rKON\N 1>ycwc[|cg3]d)ӠH:hpm˯3cvGƛ!fshRG)Z=G,aXxK0 XH-Sr:”sv9vW5R`L^'nV}WVal5@rġB[Bbهnlԫx`X?E }t9 SҤ}׈}ٺhB&[7oob딜"xm ,A7R5ƤZED봈!SAsb+؜|d󜯢g"զM~yVmm&'y֭mu:KIGZ2^uCsPCiz)p]o+[3XوA7۲78z3IfWI30q.WGfbX h˱cEޔ~[g+7 &)N59^ 7u,NUuvqѫ2au[yW FR痶NbμnVa"w}<)J _;l7Jyޭ9r_KKбtcN  }<)35(oRus c|}>`c^p@\l;@IJ͒ Ko!T܈ ķ':+h@O=ӱ=+ YItèqCDM%(7x,ϟRӅ؍{׳_A3r`MGvazؔQ+RO.U1uc (b o!϶f~tI Uߥ^F)6%8X1o#[Ƈj YJ%ީq^` בƞuʂ^`z9GWO Jv"GcKejO)(e4K,:9%py qI/1˼:dD/dr22E~He'rjeAiY_Hq5 YyKLvmdIzvDh >"n)0*#91>_v:= Z.7܀ܸw%S^#WbD`.@[r<7^ zbnXE]k66Ì,ȒJKj^@8ϴAˣ%$aav_(R8ޜ`֟.p?QZ'6Lᙸ s*$#<%sY^j,ЬQ 2%]8P.#m;m;"=&m(i ٟ8ԇmA>Λ|Zu4 0M}'} M }p]mQ/f3ŭq Ƒ !x?Xy|^sTtdUFweWm4;@ 5?w75Fȫ-Fgv@uJ 2ƺ-L|O'χ"^U4(,N n\ްvDO۵\wJ&Ȥ~F%4#:RLqMXhyiixHz>@BӉ$XAXeTGgk>d}1?,x\G% <5״ Dr0i\3gN'(ZF~Ic n[RHtCj|~MI?]-IvKye#j@۫ 0I{>:OouG HR]Vj5P~fᯎ fK66k!FZNڴq1f3" 8* I<+l6ǞwԷ #L<\Y]S< UTu&op3PkED+x|ɼy^  T W+/GBDY}K93%o7ߊ&Q6}fqSx*63@ jDff46Wu6$ m9'Js'Ӷ6 lVwdf15c{0PS74q6TrDz0J0"zk)=)L$I s VWB szeJdC"Eߎg$! h3dh< fkK-J%E[qs~Q 8=g퀗B$k7l-zqH|dכ@^J"Ϧw+zOwHM(щ|3P* MU%+Εd%o1T>&<%4g'sV}ی+4l$7]1ȣ'#*$fc0@'sɫ{cgkP&Puo=l$H X }Ќq(:ZT,;ÞeRbXWtd*N'|˺"+ 1 gzOqLlx,NBVđ{%pdGJ/%5++}edqd $(;lr :˜Vʇe7Q~qL4Q7 ;.KK#d=ZfϷA=g)2y`~ uXe4j \Z)R|} a7\xti;+|`ՙC~ݔv 8 [m %櫙"= Tҭߤ~W|9;B$شfLIS)P'IQs+TzQk Holٌ̨;c9LҨj c0(c9dPke|㞽JlE.Kt PrLBcA4ln|kH[ǽxg0lԛ;^L~Iڼvu0+Vyҷ@rR ^cɇv# րiZ#B.S=VtT6tz^0==OV|}ąs F^oˬٞauˉOprh" ~1k τxi@:˳Xt;9ush;Q Ճr0HJUJ:,K0a.t'Kwaʃ\8ݗ1"-q=*o+;@;q;Xk:0A+UYMEEܮ Pb6:aՠ gr8eǷJ(&A7hI]ө |V/!t1la̲~^B.^68Ja 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_\=ԗ)v'?% UpDown_SchemeAutomatic_Refinement.Miscdocument.tex7zXZִF! >]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:&QVCҊW$( XrV=,fvD`K 1K'.M%Aɨ5DBO?1YɎZ硤Oɧup@jwSqm;wb:zUؘѩSbWU2:d] .JB!еIdUAY$%q?Yuٕ\3s&4u란DVMlM9,]BδBkj1 ]N;;G~t,*e[œY A[t iT:UXւ(V+t=R{Ì+P9v"'9gUiF-NFoANϘ&}+faؚ_}*F`zr^)Cfp&WOc&o,O:2Ƞ(:5 b!"v:-vQ+_͊ ZٛKC5cJnވ[M((r>+&yJɢX4J{˜e)^]oN6q wW.WV~5LɤjF"!HXq7^?ؘp+z /ep5990Côi~u\^p((ltp9Xx s>*wEA5aXbM-$o8L(3ǪÐO_`LyCbEeQ=;|<{o#bC L8[' t M#K);m<ϷsޭlI~8M;h|W>^/ubAzTmucFĿU#t.w7˄}H y\֔_3IڜǮPjr"FDx?] k)~|x"ME (E Uv̉u Әӓ!@ok"}NB{Md`Z W<%H*-{*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 E-ZG eIfL1A%[nz㦮5E8I| Tp)Od(P/u$o_ |Mx܀,5f[E2$"3f"aFv!3hA|pSN,&Жq3`R*B{ 8 M&7<3N[BJ+#;zÇ|cm奴%,bV]'[Mݓw$_H@b}1<"S{WkKy-?jx,<4`S;>: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{* vG0/ 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֗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   ^'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._ ) KA3t*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 j['C% LUpDown_SchemeUpDown_Scheme.UpDown_Schemedocument.tex7zXZִF! _]A-MՋhvG"uIBm5:aa^&aRL2S"ŝ{D;{ULGcd)9!5̈ ]&Cov7v(4}fkyɦ-O-"# -;kгV.gn&OZN:kU<Ө#?tޑ FGy qx2PVx磗#w*YVM eG?gK]j3>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݇DnT ]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ճע섶"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.gYZk';% tUpDown_SchemeHOL-Imperative_HOL.Heapdocument.tex7zXZִF! ;s]A-MՋhvG"uIBm5hr>c)!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 B 9 eB ']% DOg+~}d{RogـipzBr!;oFmr6t/"UZ(jqw6 9`s7M$w:S9I'G25kP7Zy 0a%JFRb ?SBTXgYZQ'O% ,UpDown_SchemeHOL-Imperative_HOL.Imperative_HOLdocument.tex7zXZִF! "P]A-MՋhvG"uIBm58 NZ]FdnYYp[1,g6NȊPD{ԠJZ) zqG/a}(Bw;F}t\}R>I2؎ӝ"Y)(U&* Ip80+"F5jm7 QH f"`wNLPDž[;gr/z*FZ]RB7 )V>ƊL+sHGգ=@gYZD'-% 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, 80_ܟStWn `YwT Ɛ Lk<ܭװ-G@VhSL蔡ߦls6p[#"?$5fn"C$,xM{W2!O!t߭Zc/0 u…5BPB$KS4M/@$jgYZ7zXZִF! ]ŗXi%;owJ~zMG7?paķIiu6,֍}nȗ#džv&Ho w:r"nye]*=|n,]r ]H`nP*¯>[m)%+d&zvΞ17.pJ , \4xteK=e2up[k(+x$֭ =8{q ԉLwI4{Jj !2MgPg(4j|.t5mQ|R>љZ%EgpoԖ ?v_-.yUybw&-)?Tߝ\I{ǿ\MY@5^*A?-ϵ@Z^94*tKZ7T/vWݗq)yרhȂ6屘YƊtYbzոHpe23'x.rT;i.86jU-erZ2}d,z!VS A4xM7Ն"C*_g`fR)#wbd<-Mk RN)F`g2JڏJ5VK+ Ѽڅ#DB\xrN4f#;xG%X0gxwIL) aȀUkLo@J7tM{K7AJ1UQKGu.GM:dh?IYd$R&E^u}3^C8؀NQmC0%UG\g TQ"*[6ɛ`v$Vʘ&OGD6xtA=G3a+BGx!]_ .C醵jHai]᠔Ӵ{HD] vgd۩U׬es+J.%.]fU'롹7vt50OO[yPރ$9ݿNooՉ8Jge<)5nR\9j#I%o _N"}>3ȏ֝jЌ0bx-y&{2-2(CVXwH&DKVUAXor;G0~^c>ek(/Õzlb\i8%f ű9^a0QCh(nȖ uMCtohŃw Gk!FOO$|['Nh9/^ ^҈t{M[}$NΧ7#ˌ\cM1^H/ϓ!m|9}f?àwLKW<@~ou lYTa2`T;ElNw3)ycԝaH% :5K#]0,p iF=2c^׍:~diI vqx_q  ;CcehS#,adԑl0Uf K: 06&"OD#%"ĥ>#:PW9*X#x(ił)Z4(rR.)4?>t[ &e> .ĥMTuj` @?؉IwqHߑ ?rTy7'D7 `%z"؈f:,L Uvq5yKtWSfEPBZK,|[S[.7K/Ưd#%>PH.} 5|@t)!\[Wn,)j K[oD !G`3vJSqz2=#Ÿ.u SR .%O4g(>r Vh3g1)ˠ!G qz[xfOdBh2.̑Ѵ$_KX,>Ɠ(p>Nl)NTNX,~NM8EnYDqi~X7۳.顿ydQrXh* mgxóȌ f57uJ|kI1ybrZo+Q@ʭŇi$e<kP^0q)6ԉj wfqn<&=7`Q{}E9JM::3 L={$ cѫç@x.(V.zzI ZW:rICJ1Z|}>ϭ% O\]Oj#S$HqVʫ,\h.ت%[Ƶ=[v:EtwHÂqq0 _86͉_>ii]0꠸Dhxth2Lv ˜bŊhY`nel^g}\; jw\e,>H<K_A,f}{_΋$#jNq˖ѥ!!qLPLپ`~+݅kWRB嬗.6fڌ8ڹtXH=|۹w_iӽ2gSo\ ]G\sdJ֝dNŞ$RZk`J Ep pI"=?rb/h_ @5XXv?]Y *!72噒&ɉzD|F+1^#C(# MLw^[*'.!{8Lh@yXSq/gYZa045802bb8a370b5a5b52e22f6d91f74cdaf616d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c b9e42c6f065e09fee37c6335c6786e2bcc3008ea 67736a4a36baa7f8a09d95765ec371724b350b78