commit 1292fd1bd6b9014ad6dbc45121c7b82006809971 Author: robin Date: Fri Jan 8 21:17:59 2010 +0000 Initial commit diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..857e5f8 --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ + +# $Id: Makefile,v 1.7 2008/09/26 16:31:31 robin Exp $ + +all: s5 + +pdf: + latex thesis.tex + bibtex thesis + dvipdf thesis.dvi + acroread thesis.pdf + +s5: + latex thesis.tex + bibtex thesis + dvips thesis.dvi -o switch.ps + xdvi thesis.dvi + #lpr thesis.ps + +gv: all + gv thesis.ps diff --git a/introduction/CVS/Entries b/introduction/CVS/Entries new file mode 100644 index 0000000..6ca5f99 --- /dev/null +++ b/introduction/CVS/Entries @@ -0,0 +1,4 @@ +/introduction.tex/1.7/Sat Feb 14 11:55:08 2009// +/millivoltsensor.kra/1.1/Sun Aug 24 13:20:10 2008// +/millivoltsensor.ps/1.1/Sun Aug 24 13:20:10 2008// +D diff --git a/introduction/CVS/Repository b/introduction/CVS/Repository new file mode 100644 index 0000000..6019e3d --- /dev/null +++ b/introduction/CVS/Repository @@ -0,0 +1 @@ +fmd_docs/phd_docs/introduction diff --git a/introduction/CVS/Root b/introduction/CVS/Root new file mode 100644 index 0000000..cb30472 --- /dev/null +++ b/introduction/CVS/Root @@ -0,0 +1 @@ +:ext:robin@192.168.2.44:/export/home/cvs diff --git a/introduction/introduction.tex b/introduction/introduction.tex new file mode 100644 index 0000000..7c87483 --- /dev/null +++ b/introduction/introduction.tex @@ -0,0 +1,401 @@ + +\begin{verbatim} +$Id: introduction.tex,v 1.7 2009/02/14 11:55:08 robin Exp $ +\end{verbatim} + + + +$$ \int_{0\-}^{\infty} f(t).e^{-s.t}.dt \; | \; s \in \C$$ +\section{Introduction} + +This thesis describes the application of, mathematical (formal) techniques to +the design of safety critical systems. +The initial motivation for this study was to create a system +applicable to industrial burner controllers. +The methodology developed was designed to cope with +both the specific `simultaneous failures'\cite{EN298},\cite{EN230},\cite{EN12067} +and the probability to dangerous fault approach\cite{EN61508}. + +The visual notation developed was initially designed for electronic fault modelling. +However, it could be appleid to mechanical and software domains as well. +Due to this a common notation/diagram style +can be used to model any integrated safety relevant system. + +\section{Safety Critical Systems} + +\subsection{General description of a Safety Critical System} + +A safety critical system is one in which lives may depend upon it or +it has the potential to become dangerous. +An industrial burner is typical of plant that is potentially dangerous. +An incorrect air/fuel mixture can be explosive. +Medical electronics for automatically dispensing drugs or maintaining +life support are examples of systems that lives depend upon. + +\subsection{Two approaches : Probablistic, and Compnent fault tolerant} + +There are two main philosophies applied to safety critical systems. +One is a general number of acceptable failure per hour of operation. +This is the probablistic approach and is embodied in the european standard +EN61508 \cite{EN61508}. + +The second philosophy, applied to application specific standards, is to investigate +components ior sub-systems in the critical safety path and to look at component failure modes +and ensure that they cannot cause dangerous faults. +With the application specific standards detail +specific to the process are +This philosophy is first mentioned in aircraft safety operation reseach WWII +studies. Here potential single faults (usually mechanical) are traced to +catastrophic failures + +% \cite{boffin}. + + + + +\begin{example} +\label{exa1} +Test example +\end{example} + +And that is example~\ref{exa1} + +\subsection{Overview of regulation of safety Critical systems} + +reference chapter dealing speciifically with this but given a quick overview. +\subsubsection{Overview system analysis philosophies } +- General safety standards +- specific safety standards + +\subsubsection{Overview of current testing and certification} +ref chapter speciiffically on this but give an overview now + +\section{Background to the Industrial Burner Safety Analysis Problem} + +An industrial burner is a good example of a safety critical system. +It has the potential for devatating explosions due to boiler overpressure, or +ignition of an explosive mixture, and, because of the large amounts of fuel used, + is a potential fire hazard. They are often left running unattended 24/7. + +To add to these problems +Operators are often under pressure to keep them running. An boiler supplying +heat to a large greenhouse complex could ruin crops +should it go off-line. Similarly a production line relying on heat or steam +can be very expensive in production down-time should it fail. +This places extra responsibility on the burner controller. + + +These are common place and account for a very large proportion of the enery usage +in the world today (find and ref stats) +Industrial burners are common enough to have different specific standards +written for the fuel types they usei \ref{EN298} \ref{EN230} \ref{EN12067}. + +A modern industrial burner has mechanical, electronic and software +elements, that are all safety critical. That is to say +unhandled failures could create dangerous faults. + +To add to these problems +Operators are often under pressure to keep them running. An boiler supplying +heat to a large greenhouse complex could ruin crops +should it go off-line. Similarly a production line relying on heat or steam +can be very expensive in production down-time should it fail. +This places extra responsibility on the burner controller. + + +These are common place and account for a very large proportion of the enery usage +in the world today (find and ref stats) +Industrial burners are common enough to have different specific standards +written for the fuel types they usei \ref{EN298} \ref{EN230} \ref{EN12067}. + +A modern industrial burner has mechanical, electronic and software +elements, that are all safety critical. That is to say +unhandled failures could create dangerous faults. + +A more detailed description of industrial burner controllers +is dealt with in chapter~\ref{burnercontroller}. + +\subsection{Mechanical components} +describe the mechanical parts - gas valves damper s +electronic and software +give a diagram of how it all fits A +together with a +\subsection{electronic Components} + +\subsection{Software/Firmware Components} + + +\subsection{A high level Fault Hierarchy for an Industrial Burner} + +This section shows the component level, leading up higher and higher in the abstraction level +to the software levels and finally a top level abstract level. If the system has been +designed correctly no `undetected faults' should be present here. + +\section{An Outline of the FMMD Technique} + +The methodology takes a bottom up approach to +the design of an integrated system. +Each component is assigned a well defined set of failure modes. +The components are formed into modules, or functional groups. +These functional groups are analysed with respect to the failure modes of the +components. The `functional group' or module will have a set of derived +failure modes. The number of derived failure modes will be +less than or equal to the sum of the failure modes of all its components. +A `derived' set of failure modes, is at a higher abstraction level. +derived modules may now be used as building blocks, to model the system at +ever higher levels of abstraction until the top level is reached. + +Any unhandled faults will appear at this top level and will be `un-resolved'. +A formal description of this process is dealt with in Chapter \ref{fmmddefinition}. + + +%This principally focuses +%on simple control systems for maintaining temperature +%and for industrial burners. It is hoped that a general mathematical +%framework is created that can be applied to other fields of safety critical engineering. + +Automated systems, as opposed to manual ones are now the norm +in the home and in industry. + +Automated systems have long been recognised as being more effecient and +more accurate than a human opperator, and the reason for automating a process +can now be more likely to be cost savings due to better effeciency +thatn a human operator \ref{burnereffeciency}. + +For instance +early automated systems were mechanical, with cams and levers simulating +fuel air mixture profile curves over the firing range. +Because fuels vary slightly in calorific value, and air density changes with the weather, no optimal tuning can be optional. +In fact for asethtic reasons (not wanting smoke to appear at the flue) +the tuning was often air rich, causing air to be heated and +uneccessarily passed through the burner, leading to direct loss of energy. +An automated system analysing the combustions gasses and automatically +adjusting the fuel air mix can get the effeciencies very close to theoretical levels. + + +As the automation takes over more and more functions from the human operator it also takes on more responsibility. +A classic example of an automated system failing, is the therac-25. +This was an X-ray dosage machine, that, due to software errors +caused the deaths of several patients and injured more during the 1980's. + + +% http://en.wikipedia.org/wiki/Autopilot +To take an example of an Autopilot, simple early autopilots, were (\ie they +prevented the aircraft staying from a compass bearing and kept it flying striaght and level). +Were they to fail the pilot would notice quite quickly +and resume manual control of the bearing. + +Modern autopilots control all aspects of flight including the engines, and take off and landing phases. +The automated system does not have the +common sense of a human pilot either, if fed the wrong sensory information +it could make horrendous mistakes. This means that simply reading sensors and applying control +corrections cannot be enough. + Checking for error conditions must also be incorporated. +It could also develop an internal fault, and must be able to cope with this. + + +Systems such as industrial burners have been partially automated for some time. +A mechanical cam arrangement controls the flow of air and fuel for the range of +firing rate (output of the boiler). + +These mechanical systems could suffer failures (such as a mechanical linkage beoming +detached) and could then operate in a potentially dangerous state. + +More modern burner controllers use a safety critical computer controlling +motors to operate the fuel and air mixture and to control the safety +valves. + +In working in the industrial burner industry and submitting product for +North American and European safety approval, it was apparent that +formal techniques could be applied to aspects of the ciruit design. +Some safety critical circuitry would be subjected to thought experiments, where +the actions of one or more components failing would be examined. +As a simple example a milli-volt input could become disconnected. +A milli-volt input is typically amplified so that its range matches that +of the A->D converter that you are reading. were this signal source to become disconnected +the systems would see a floating, amplified signal. +A high impedance safety resistor can be added to the circuit, +to pull the signal high (or out of nornal range) upon disconnection. +The system then knows that a fault has occurred and will not use +that sensor reading (see \ref{fig:millivolt}). + + + +\begin{figure} +\vskip 7cm +\special{psfile=introduction/millivoltsensor.ps hoffset=0 voffset=0 hscale=35 vscale=35 }\caption[Milli-Volt Sensor with safety resistor]{ +Milli-Volt Sensor with safety resistor +\label{fig:millivolt}} +\end{figure} + +For exmaple, if the sensor supplies a range of 0 to 40mV, and RG1 and RG2 are such that the op-amp supplies a gain of 100 +any signal between 0 and 4 volts on the ADC will be considered in range. Should the sensor become disconnected the +opamp will supply its maximum voltage, telling the system the sensor reading is invalid. + +This introduces a level of self checking into the system. +We need to be able to react to not only errors in the process its self, +but also validate and look for internal errors in the control system. + +This leads on to an important concept of three main states of a safety critical system. + + +% To improve productivity, performance, and cost-effectiveness, we are developing more and more safety-critical systems that are under computer control. And centralized computer control is enabling many safety-critical systems (e.g., chemical and pesticide factories) to grow in size, complexity, and potential for catastrophic failure. + +% We use software to control our factories and refineries as well as power generation and distribution. We also use software in our transportation systems including airplanes, trains, ships, subways, and even in our family automobiles. Software is also a major component of many medical systems in which safe functioning is critical to the safety of patients and operators alike. Even when the software does not directly control safety-critical hardware, software can provide operators and users with safety-critical data with which they must make safety-critical decisions (e.g., air traffic control or medical information such as blood bank records, organ donor information, and patient medical records). As we have come to rely more on software-intensive systems, we have come to rely more on those systems functioning safely. + +% Many accidents are caused by problems with system and software requirements, and “empirical evidence seems to validate the commonly stated hypothesis that the majority of safety problems arise from software requirements and not coding errors” [Leveson1995]. Major accidents often result from rare hazards, whereby a hazard is a combination of conditions that increases the likelihood of accidents causing harm to valuable assets (e.g., people, property, and/or the environment). Most requirements specifications are incomplete in that they do not specify requirements to eliminate these rare hazards or mitigate their consequences. Requirements specifications are also typically incomplete in that they do not specify what needs to happen in exceptional “rainy day” situations or as a response to each possible event in each possible system state although accidents are often caused by the incorrect handling of rare combinations of events and states that were considered to be either impossible or too unlikely to worry about, and were therefore never specified. Even when requirements have been specified for such rare combinations of events and conditions, they may well be ambiguous (an unfortunately common characteristic of requirements in practice), partially incomplete (missing assumptions obvious only to subject matter experts), or incorrect, or inconsistently implemented. Thus, the associated hazards are not eliminated or the resulting harm is not properly mitigated when the associated accidents occur. Ultimately, safety related requirements are important requirements that need to be better engineered. + +% The goal of this column is to define safety requirements and clarify how they differ from safety constraints and from functional, data, and interface requirements that happen to be safety critical. I start by defining safety in terms of a powerful quality model and show how quality requirements (including safety requirements) can be specified in terms of the components of this quality model. I will then show how to use the quality model to specify safety requirements. Then, I will define and discuss safety constraints and safety-critical requirements. Finally, I will pose a set of questions regarding the engineering of these three kinds of safety-related requirements for future research and experience to answer. + +Safety critical systems in the context of this study, means that a safety critical system may be said to be in three distinct +overall states. +Operating normally, operating in a lockout mode with a detected fault, and operating +dangerously with an undetected fault. + +The main role of the system designers of safety critical equipment should be to eliminate the possibility of this last condition. + +% Software plays a critical role in almost every aspect facet of our daily lives - from , to driving our cars, to working in our offices. +% Some of these systems are safety-critical. +% Failure of software could cause catastrophic consequences for human life. +% Imagine the antilock brake system (ABS) in your car. +% A software failure here could render the ABS inoperable at a time when you need it most. +% For these types of safety-critical systems, having guidelines that define processes and +% objectives for the creation of software that focus on software quality, or the ability +% to use software that has been developed under this scrutiny, has tremendous value +% for developers of safety-critical systems. + +\section{Motivation for developing a formal methodology} + +A feature of many safety critical systems specifications, +including EN298, EN230 \cite{EN298} \cite{EN230} +is to demand, +at the very least that single failures of hardware + or software cannot +create an unsafe condition in operational plant. Further to this +a second fault introduced, must not cause an unsafe state, due +to the combation of both faults. +\vskip 0.3cm +This sounds like an entirely reasonable requirement. But to rigorously +check the effect a particular component fault has on the system, +we could check its effect on all other components. +Should a diode in the powersupply fail in a particular way, by perhaps +introducing a ripple voltage, we should have to look at all components +in the system to see how they will be affected. + +%However consider a typical +%small system with perhaps 1000 components each +%with an average of say 5 failure modes. +Thus, to ensure complete coverage, each of the effects of + the failure modes must be applied + to all the other components. +Each component must be checked against the + failure modes of all other components in the system. +Mathematically with components as 'c' and failure modes as 'Fm'. + + +\equation +\label{crossprodsingle} +checks = \{ \; (Fm,c) \; \mid \; \stackrel{\wedge}{c} \; \neq \; c \} +\endequation + +Where demands +are made for resilience against two +simultaneous failures this effectively squares the number of checks to make. +\equation +\label{crossproddouble} +doublechecks = \{ \; (Fm_{1},Fm_{2},c) \; \mid \\ \; c_{1} \; \neq \; c_{2} \; \wedge \; Fm_{1} \neq Fm_{2} \; \} +\endequation + + +If we consider a system which has a total of +$N$ failure modes (see equation \ref{crossprodsingle}) this would mean checking a maximum of +\equation + NumberOfChecks = \frac{N ( N-1 )}{2} +\endequation + +for individual component failures and their effects on other components when they fail. +For a very small system with say 1000 failure modes this would demand a potential of 500,000 + checks for any automated checking process. +\vskip 0.3cm + European legislation\cite{EN298} directs that a system must be able to react to two component failures +and not go into a dangerous state. +\vskip 0.3cm +This raises an interesting problem from the point of view of formal modelling. Here we have a binary cross product of all components +(see equation \ref{crossproddouble}). +This increases the number of checks greatly. Given that the binary cross product is $ (N^{2} - N)/2 $ and has to be checked against the remaining +$(N-2)$ components. +\equation +\label{numberofchecks} + NumberOfchecks = \frac{(N^{2} - N) ( N - 2)}{2} +\endequation + +Thus for a 1000 failure mode system, roughly a half billion possible checks would be required for the double simultaneous failure scenario. This astonomical number of potential combinations, has made formal analysis of this +type of system, up until now, impractical. Fault simulators %\cite{sim} +are commonly used for the gas certification process. Thus to +manually check this number of combinations of faults is in practise impossible. +A technique of modularising, or breaking down the problem is clearly necessary. + +\section{Challenger Disaster} + +One question that anyone developing a safety critical analysis design tool +could do well to answer, is how the methodology would cope with known previous disasters. +The Challenger disaster is a good example, and was well documented and invistigated. + +The problem lay in a seal that had an operating temperature range. +On the day of the launch the temperature of this seal was out of range. +A bottom up safety approach would have revealed this as a fault. + +\section{Problems with Natural Language} + +Written natural language desciptions can not only be ambiguous or easy to misinterpret, it +is also not possible to apply mathematical checking to them. + +A mathematical model on the other hand can be checked for +obvious faults, such as tautologies and contradictions, but also +intermediate results can be extracted and these checked. + +Mathematical modeling of systems is not new, the Z language +has been used to model systems\cite{ince}. However this is not widely +understood or studied even in engineering and scientific circles. +Graphical techniques for representing the mathematics for +specifying systems, developed at Brighton and Kent university +have been used and extended by this author to create a methodology +for modelling complex safety critical systems, using diagrams. + +This project uses a modified form of euler diagram used to represent propositional logic. +%The propositional logic is used to analyse system components. + + +\section{Ideal System Designers world} + +Imagaine a world where, when ordering a component, or even a complex module +like a a failsafe sensor/scientific instrunment, one page of the datasheet +is the failure modes of the system. All possible ways in which the component can fail +and how it will react when it does. + +\subsection{Environmentally determined failures} + +Some systems and components are guaranteed to work within certain environmental constraints, +temperature being the most typical. Very often what happens to the system outside that range is not defined. +Where this is the case, these are undetectable errors. + + +\section{Project Goals} + +\begin{itemize} +\item To create a user friendly formal common visual notation to represent fault modes +in Software, Electronic and Mechanical sub-systems. +\item To formally define this visual language. +\item To prove that tehe modules may be combined into hierarchies that +truly represent the fault handling from component level to the +highest abstract system 'top level'. +\item To reduce to complexity of fault mode checking, by modularising and +building complexity reducing hierarchies. +\item To formally define the hierarchies and procedure for bulding them. +\item To produce a software tool to aid in the drawing of diagrams and +ensuring that all fault modes are addressed. +\item To allow the possiblility of MTTF calculation for statistical +reliability/safety calculations. +\end{itemize} + + +\end{document} diff --git a/introduction/millivoltsensor.kra b/introduction/millivoltsensor.kra new file mode 100644 index 0000000..4df7006 Binary files /dev/null and b/introduction/millivoltsensor.kra differ diff --git a/introduction/millivoltsensor.ps b/introduction/millivoltsensor.ps new file mode 100644 index 0000000..35dc2cd --- /dev/null +++ b/introduction/millivoltsensor.ps @@ -0,0 +1,2012 @@ +%!PS-Adobe-3.0 +%%Creator: GIMP PostScript file plugin V 1.17 by Peter Kirchgessner +%%Title: millivoltsensor.ps +%%CreationDate: Sat Mar 24 11:29:42 2007 +%%DocumentData: Clean7Bit +%%LanguageLevel: 2 +%%Pages: 1 +%%BoundingBox: 14 14 655 495 +%%EndComments +%%BeginProlog +% Use own dictionary to avoid conflicts +10 dict begin +%%EndProlog +%%Page: 1 1 +% Translate for offset +14.173228346456694 14.173228346456694 translate +% Translate to begin of first scanline +0 480.00000000000011 translate +640.00000000000011 -480.00000000000011 scale +% Image geometry +640 480 8 +% Transformation matrix +[ 640 0 0 480 0 0 ] +% Strings to hold RGB-samples per scanline +/rstr 640 string def +/gstr 640 string def +/bstr 640 string def +{currentfile /ASCII85Decode filter /RunLengthDecode filter rstr readstring pop} +{currentfile /ASCII85Decode filter /RunLengthDecode filter gstr readstring pop} +{currentfile /ASCII85Decode filter /RunLengthDecode filter bstr readstring pop} +true 3 +%%BeginData: 92027 ASCII Bytes +colorimage +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcCi3rVd?+rr)iqrVlcprVlcorr)ilrVcZorVZQpqu-Ejr!WE#qu$Bhr;6?fqtg:$bqu-?jqYBpoq"a^\q"X[Zq"OU`p]C3bp\jk!p\=LXp\4IWq"FLWp\=IVpA"X] +)"mXrp\+=Tp%S.Rp%A(Pp\"7Qp%J%Oo_/:W!Vu_Gs-`n;~> +JcCi3rVd?+rr)iqrVlcprVlcorr)ilrVcZorVZQpqu-Ejr!WE#qu$Bhr;6?fqtg:$bqu-?jqYBpoq"a^\q"X[Zq"OU`p]C3bp\jk!p\=LXp\4IWq"FLWp\=IVpA"X] +)"mXrp\+=Tp%S.Rp%A(Pp\"7Qp%J%Oo_/:W!Vu_Gs-`n;~> +JcCi3rVd?+rr)iqrVlcprVlcorr)ilrVcZorVZQpqu-Ejr!WE#qu$Bhr;6?fqtg:$bqu-?jqYBpoq"a^\q"X[Zq"OU`p]C3bp\jk!p\=LXp\4IWq"FLWp\=IVpA"X] +)"mXrp\+=Tp%S.Rp%A(Pp\"7Qp%J%Oo_/:W!Vu_Gs-`n;~> +eGfaNq=XFPp@J7U/G&T,p%7nLoCVVHoCMYGoCDPFoCVVFo(;PFo^VPCo^_SFnac5Bo()GBo'lVK +Fn"tko'u8@n+#l;nF6#;naH&u;md]f9na>r8naQ&Jgu&+f458WF +hV?oBf\>'6g=b64g"4p0f\4p.f%AR*f@8@#f%/@$e'lareC2podEpCkdF-=ecdL1ddETt]d/M<& +bKS2Tbg"ARb/qlMbKIoIa34J(rl+r[rlG)WrPniSs2=rVrkSTOrkefP^qfrc$GaBh^;.S"a4]t\ +JcD2=J,~> +eGfaNq=XFPp@J7U/G&T,p%7nLoCVVHoCMYGoCDPFoCVVFo(;PFo^VPCo^_SFnac5Bo()GBo'lVK +Fn"tko'u8@n+#l;nF6#;naH&u;md]f9na>r8naQ&Jgu&+f458WF +hV?oBf\>'6g=b64g"4p0f\4p.f%AR*f@8@#f%/@$e'lareC2podEpCkdF-=ecdL1ddETt]d/M<& +bKS2Tbg"ARb/qlMbKIoIa34J(rl+r[rlG)WrPniSs2=rVrkSTOrkefP^qfrc$GaBh^;.S"a4]t\ +JcD2=J,~> +eGfaNq=XFPp@J7U/G&T,p%7nLoCVVHoCMYGoCDPFoCVVFo(;PFo^VPCo^_SFnac5Bo()GBo'lVK +Fn"tko'u8@n+#l;nF6#;naH&u;md]f9na>r8naQ&Jgu&+f458WF +hV?oBf\>'6g=b64g"4p0f\4p.f%AR*f@8@#f%/@$e'lareC2podEpCkdF-=ecdL1ddETt]d/M<& +bKS2Tbg"ARb/qlMbKIoIa34J(rl+r[rlG)WrPniSs2=rVrkSTOrkefP^qfrc$GaBh^;.S"a4]t\ +JcD2=J,~> +ec-B\lI3\b]t:qk^:h1k]"5Md]Xt_a\G`uF\$i`U\@8rU['otC"1GVC[/RK5ZO!hAZa@*FZEUS4 +Z4X@FY-5(7Z*1=3Y-5(5Y,eV)riI!t9Q'n)0S!fY.rg4(] +Q^M26qAJqeu8L4k2/K7ei1Jq8?$ +ItE6$IX?KkIXZ]mGC+X`I!U'\G^+LZGBS%MG'A.QF`DMEFEDSED/jQ9EcGu3Df0N4DJa'&D/F** +C1V*oCMIQs@q]OiBP1mbA7]@bARf(W@q9+Z?sI)J@UWYN>5qq/?NXV?=Bti2"'f#0=oMV5>$+^* +=]np?O3I1oJcD5>J,~> +ec-B\lI3\b]t:qk^:h1k]"5Md]Xt_a\G`uF\$i`U\@8rU['otC"1GVC[/RK5ZO!hAZa@*FZEUS4 +Z4X@FY-5(7Z*1=3Y-5(5Y,eV)riI!t9Q'n)0S!fY.rg4(] +Q^M26qAJqeu8L4k2/K7ei1Jq8?$ +ItE6$IX?KkIXZ]mGC+X`I!U'\G^+LZGBS%MG'A.QF`DMEFEDSED/jQ9EcGu3Df0N4DJa'&D/F** +C1V*oCMIQs@q]OiBP1mbA7]@bARf(W@q9+Z?sI)J@UWYN>5qq/?NXV?=Bti2"'f#0=oMV5>$+^* +=]np?O3I1oJcD5>J,~> +ec-B\lI3\b]t:qk^:h1k]"5Md]Xt_a\G`uF\$i`U\@8rU['otC"1GVC[/RK5ZO!hAZa@*FZEUS4 +Z4X@FY-5(7Z*1=3Y-5(5Y,eV)riI!t9Q'n)0S!fY.rg4(] +Q^M26qAJqeu8L4k2/K7ei1Jq8?$ +ItE6$IX?KkIXZ]mGC+X`I!U'\G^+LZGBS%MG'A.QF`DMEFEDSED/jQ9EcGu3Df0N4DJa'&D/F** +C1V*oCMIQs@q]OiBP1mbA7]@bARf(W@q9+Z?sI)J@UWYN>5qq/?NXV?=Bti2"'f#0=oMV5>$+^* +=]np?O3I1oJcD5>J,~> +f)IK&lF_[X=B/0sU91DQI9MA&M7K,l-8k;K> +84Q6B77BF06q0X66p="*779I/4@2>$6U3mu5X7V%5Md5!D(j2*3i\4?58G+!3!j +2`WTO2E3]U2_R$G2`ETO/i>ID2)@'@1G^jE1,:@80JYC:0e"e/0ek:6-n[,*0.\_&/M&M+.kDtt +.kE:P.XNEj.P*)!.O$;i.k2qr+Xe]f.46Me-RU>l-79o_-7:/e-6=KZ-RU2d*[W-Z-6jfW,pXc_ +,:"6S+s\EX,T@sO,U4HW)^6FM,9S0K+WqsQ+<_UG+!MjM+;c4B+WqgK(EX\@+KS6*ZZ.='H@u2*?#k2)]9V8)&j5.(`OD3)A3r*)B0M2&K2H()Aa8')&=)- +()RT#'c7i/7],AHrVlm`Jc,NK/=D(hW;hA~> +f)IK&lF_[X=B/0sU91DQI9MA&M7K,l-8k;K> +84Q6B77BF06q0X66p="*779I/4@2>$6U3mu5X7V%5Md5!D(j2*3i\4?58G+!3!j +2`WTO2E3]U2_R$G2`ETO/i>ID2)@'@1G^jE1,:@80JYC:0e"e/0ek:6-n[,*0.\_&/M&M+.kDtt +.kE:P.XNEj.P*)!.O$;i.k2qr+Xe]f.46Me-RU>l-79o_-7:/e-6=KZ-RU2d*[W-Z-6jfW,pXc_ +,:"6S+s\EX,T@sO,U4HW)^6FM,9S0K+WqsQ+<_UG+!MjM+;c4B+WqgK(EX\@+KS6*ZZ.='H@u2*?#k2)]9V8)&j5.(`OD3)A3r*)B0M2&K2H()Aa8')&=)- +()RT#'c7i/7],AHrVlm`Jc,NK/=D(hW;hA~> +f)IK&lF_[X=B/0sU91DQI9MA&M7K,l-8k;K> +84Q6B77BF06q0X66p="*779I/4@2>$6U3mu5X7V%5Md5!D(j2*3i\4?58G+!3!j +2`WTO2E3]U2_R$G2`ETO/i>ID2)@'@1G^jE1,:@80JYC:0e"e/0ek:6-n[,*0.\_&/M&M+.kDtt +.kE:P.XNEj.P*)!.O$;i.k2qr+Xe]f.46Me-RU>l-79o_-7:/e-6=KZ-RU2d*[W-Z-6jfW,pXc_ +,:"6S+s\EX,T@sO,U4HW)^6FM,9S0K+WqsQ+<_UG+!MjM+;c4B+WqgK(EX\@+KS6*ZZ.='H@u2*?#k2)]9V8)&j5.(`OD3)A3r*)B0M2&K2H()Aa8')&=)- +()RT#'c7i/7],AHrVlm`Jc,NK/=D(hW;hA~> +f)L*mg5Im0'c.As'c.]%(Ch5q(Ddc%%Mf]n()%Gm'bV8s&f(lj&eu,n'atcg'GM,n$PX-d'G2#d +'G(ol&/,Ba%h]Kc&d]3]&eY]f#SIU[&IoBY&IoBb%1rgW$kX'\&I/jU&.f6]"qV1R%h&jK!s/`: +$P*CO$P!Yi$P!:L$4[OQ%Km7K%1NXR":YYH$jd@E%1*IP#RphE#n.1I$ipbB$k!:K!=T2@$O7(@ +$jR+H#7LS?#7:eC$ipbA$OR+I!=T2@$O7(@%1!@M#RphE#n7:L%0?tF%1EOP!t>SH%13OI%LNXT +$4[1K$P!Yn$P*@N$P![T%gEOQ%hB'["qV1S&.B*S&.B*]%1rgW%1s0]&I8sY&J5Kc#SIU[&e>T] +'+PWf%hf6_%hfTf'+,Eb',2#m$PX-d'G2&f'G2#o&JY]h&f)2p((Cuk()@Q"%Mf]o(DIYq(DIZ% +'c.As'c.`,7Af8GrVlqu*rZ* +f)L*mg5Im0'c.As'c.]%(Ch5q(Ddc%%Mf]n()%Gm'bV8s&f(lj&eu,n'atcg'GM,n$PX-d'G2#d +'G(ol&/,Ba%h]Kc&d]3]&eY]f#SIU[&IoBY&IoBb%1rgW$kX'\&I/jU&.f6]"qV1R%h&jK!s/`: +$P*CO$P!Yi$P!:L$4[OQ%Km7K%1NXR":YYH$jd@E%1*IP#RphE#n.1I$ipbB$k!:K!=T2@$O7(@ +$jR+H#7LS?#7:eC$ipbA$OR+I!=T2@$O7(@%1!@M#RphE#n7:L%0?tF%1EOP!t>SH%13OI%LNXT +$4[1K$P!Yn$P*@N$P![T%gEOQ%hB'["qV1S&.B*S&.B*]%1rgW%1s0]&I8sY&J5Kc#SIU[&e>T] +'+PWf%hf6_%hfTf'+,Eb',2#m$PX-d'G2&f'G2#o&JY]h&f)2p((Cuk()@Q"%Mf]o(DIYq(DIZ% +'c.As'c.`,7Af8GrVlqu*rZ* +f)L*mg5Im0'c.As'c.]%(Ch5q(Ddc%%Mf]n()%Gm'bV8s&f(lj&eu,n'atcg'GM,n$PX-d'G2#d +'G(ol&/,Ba%h]Kc&d]3]&eY]f#SIU[&IoBY&IoBb%1rgW$kX'\&I/jU&.f6]"qV1R%h&jK!s/`: +$P*CO$P!Yi$P!:L$4[OQ%Km7K%1NXR":YYH$jd@E%1*IP#RphE#n.1I$ipbB$k!:K!=T2@$O7(@ +$jR+H#7LS?#7:eC$ipbA$OR+I!=T2@$O7(@%1!@M#RphE#n7:L%0?tF%1EOP!t>SH%13OI%LNXT +$4[1K$P!Yn$P*@N$P![T%gEOQ%hB'["qV1S&.B*S&.B*]%1rgW%1s0]&I8sY&J5Kc#SIU[&e>T] +'+PWf%hf6_%hfTf'+,Eb',2#m$PX-d'G2&f'G2#o&JY]h&f)2p((Cuk()@Q"%Mf]o(DIYq(DIZ% +'c.As'c.`,7Af8GrVlqu*rZ* +f)Kddg5Ip2()RQ!'c7f((_IW$)&a;/&K2H()]0J+)AjD4(`F&,(`XM5)\X2/*$#q;'H@u2*?#n4 +*#fq?)]]Y6*$-.@*Yoe:+!2LF(*4J<+!)L>+!)OI*Zu:B*[)[K+W2FF+sJ-R)Bg4J,9Ig2"9a2a +)^$@E,9\?Y+s\-R,:+T[,on9W-70ua*@<$Z-R9uZ-7(#e,pj]\-7C8h-Qsib.4HYn+Xe`g.OZ_h +.4Hbt.4QPl.P*)".jZ\r/hJP),qUZ#0.\_'0.nq4/h\Y-0/5490e+q51GgjB/2K(=2)@'@2)I3L +1c6pD2)mRB2E*?L2EElY3AWZT3]oGa2**f]4Zkhb4?Pel5!Cqi5!VCu5<;"n6:*q(4@2>%6pa7) +6UO:36ps7.7Rp!=7mTX88P)HD6V0jB9M.lF91qrQ8k_`L9M\GX:.\5V;,L+b92JJa;c6Lf;H$Rq +<)cXm +f)Kddg5Ip2()RQ!'c7f((_IW$)&a;/&K2H()]0J+)AjD4(`F&,(`XM5)\X2/*$#q;'H@u2*?#n4 +*#fq?)]]Y6*$-.@*Yoe:+!2LF(*4J<+!)L>+!)OI*Zu:B*[)[K+W2FF+sJ-R)Bg4J,9Ig2"9a2a +)^$@E,9\?Y+s\-R,:+T[,on9W-70ua*@<$Z-R9uZ-7(#e,pj]\-7C8h-Qsib.4HYn+Xe`g.OZ_h +.4Hbt.4QPl.P*)".jZ\r/hJP),qUZ#0.\_'0.nq4/h\Y-0/5490e+q51GgjB/2K(=2)@'@2)I3L +1c6pD2)mRB2E*?L2EElY3AWZT3]oGa2**f]4Zkhb4?Pel5!Cqi5!VCu5<;"n6:*q(4@2>%6pa7) +6UO:36ps7.7Rp!=7mTX88P)HD6V0jB9M.lF91qrQ8k_`L9M\GX:.\5V;,L+b92JJa;c6Lf;H$Rq +<)cXm +f)Kddg5Ip2()RQ!'c7f((_IW$)&a;/&K2H()]0J+)AjD4(`F&,(`XM5)\X2/*$#q;'H@u2*?#n4 +*#fq?)]]Y6*$-.@*Yoe:+!2LF(*4J<+!)L>+!)OI*Zu:B*[)[K+W2FF+sJ-R)Bg4J,9Ig2"9a2a +)^$@E,9\?Y+s\-R,:+T[,on9W-70ua*@<$Z-R9uZ-7(#e,pj]\-7C8h-Qsib.4HYn+Xe`g.OZ_h +.4Hbt.4QPl.P*)".jZ\r/hJP),qUZ#0.\_'0.nq4/h\Y-0/5490e+q51GgjB/2K(=2)@'@2)I3L +1c6pD2)mRB2E*?L2EElY3AWZT3]oGa2**f]4Zkhb4?Pel5!Cqi5!VCu5<;"n6:*q(4@2>%6pa7) +6UO:36ps7.7Rp!=7mTX88P)HD6V0jB9M.lF91qrQ8k_`L9M\GX:.\5V;,L+b92JJa;c6Lf;H$Rq +<)cXm +f)HQalF_[X=]SF&=^#!3=]AO->?kB:='T&1?5QsN?=.)J@:*5I@:E\U@U3JSAS,La?Y!aIB*2^S +B5%6Y?=[bbCi+!(Ao):%Df0H,DJjH6E,]Z5EH?5BEc?,AF`qnMEclPMG^"@RGBnO^F^$:&$S,M, +I!U3iJ:N,uH[gQtK7\Z(K7el3KS+f/KntP?LP(D>Mit8R$sM8SXZ+:S=Q7DSXl4?T)P?/Ssu@ETV8$NSY2^OUS4BR +U8+KZU8+EXUo'ubUnX]^Vl-DfUo('hW'R;WW2ZesWMcYnWiN5$Wi<#"XKAS)WiW>+Y-"h,Xfo"7 +YHG"2Z*L[?Yck=;Za6sCYd:[C[C!9GZaI3L[C*?KrjNKL\$i`T\[]8]\%'#\]=b\c])K>B^&GYD +^')-hg$nq:rtTrXs8VNpfDkkV52Gb3lMk-Rh=7Z5JcE1YJ,~> +f)HQalF_[X=]SF&=^#!3=]AO->?kB:='T&1?5QsN?=.)J@:*5I@:E\U@U3JSAS,La?Y!aIB*2^S +B5%6Y?=[bbCi+!(Ao):%Df0H,DJjH6E,]Z5EH?5BEc?,AF`qnMEclPMG^"@RGBnO^F^$:&$S,M, +I!U3iJ:N,uH[gQtK7\Z(K7el3KS+f/KntP?LP(D>Mit8R$sM8SXZ+:S=Q7DSXl4?T)P?/Ssu@ETV8$NSY2^OUS4BR +U8+KZU8+EXUo'ubUnX]^Vl-DfUo('hW'R;WW2ZesWMcYnWiN5$Wi<#"XKAS)WiW>+Y-"h,Xfo"7 +YHG"2Z*L[?Yck=;Za6sCYd:[C[C!9GZaI3L[C*?KrjNKL\$i`T\[]8]\%'#\]=b\c])K>B^&GYD +^')-hg$nq:rtTrXs8VNpfDkkV52Gb3lMk-Rh=7Z5JcE1YJ,~> +f)HQalF_[X=]SF&=^#!3=]AO->?kB:='T&1?5QsN?=.)J@:*5I@:E\U@U3JSAS,La?Y!aIB*2^S +B5%6Y?=[bbCi+!(Ao):%Df0H,DJjH6E,]Z5EH?5BEc?,AF`qnMEclPMG^"@RGBnO^F^$:&$S,M, +I!U3iJ:N,uH[gQtK7\Z(K7el3KS+f/KntP?LP(D>Mit8R$sM8SXZ+:S=Q7DSXl4?T)P?/Ssu@ETV8$NSY2^OUS4BR +U8+KZU8+EXUo'ubUnX]^Vl-DfUo('hW'R;WW2ZesWMcYnWiN5$Wi<#"XKAS)WiW>+Y-"h,Xfo"7 +YHG"2Z*L[?Yck=;Za6sCYd:[C[C!9GZaI3L[C*?KrjNKL\$i`T\[]8]\%'#\]=b\c])K>B^&GYD +^')-hg$nq:rtTrXs8VNpfDkkV52Gb3lMk-Rh=7Z5JcE1YJ,~> +ec-B\lIUb0/#Sc-FYYbg"M\cd9t`c-k%fda-:ermO]ndF6Ope^W-ueC<(#f@\U)e_&I*c_!`A'M+nE +f\>'5gY1H9gtCQ>h;6oDgYgrFiSEDIio&bSi8NSSioB+Yio9(\jQ>IajQG[fkN(ggroedqkN_6r +l07Nulfmg&lgr8naQ&@o^_SFnac5Bo()GCoC;JEoCVVFo(;PFp%%_Gp%.hKoC__Jo^qhJ +p@J7U!Vu`krsIckjo:H0s8VZmg&:pPo)mZss0DZT~> +ec-B\lIUb0/#Sc-FYYbg"M\cd9t`c-k%fda-:ermO]ndF6Ope^W-ueC<(#f@\U)e_&I*c_!`A'M+nE +f\>'5gY1H9gtCQ>h;6oDgYgrFiSEDIio&bSi8NSSioB+Yio9(\jQ>IajQG[fkN(ggroedqkN_6r +l07Nulfmg&lgr8naQ&@o^_SFnac5Bo()GCoC;JEoCVVFo(;PFp%%_Gp%.hKoC__Jo^qhJ +p@J7U!Vu`krsIckjo:H0s8VZmg&:pPo)mZss0DZT~> +ec-B\lIUb0/#Sc-FYYbg"M\cd9t`c-k%fda-:ermO]ndF6Ope^W-ueC<(#f@\U)e_&I*c_!`A'M+nE +f\>'5gY1H9gtCQ>h;6oDgYgrFiSEDIio&bSi8NSSioB+Yio9(\jQ>IajQG[fkN(ggroedqkN_6r +l07Nulfmg&lgr8naQ&@o^_SFnac5Bo()GCoC;JEoCVVFo(;PFp%%_Gp%.hKoC__Jo^qhJ +p@J7U!Vu`krsIckjo:H0s8VZmg&:pPo)mZss0DZT~> +eGhK*q=XFQp@S(Op%J%Op%J(Op@\1Qp\"4Rp%S.Rp@n=Sp\"=Up\=IVpA"CVq"ORXq"OOXp\=L^ +p^d2pq"OUZq"a^\q"a^\q=sa\rqZWlrqQouqYL*bqYC$bqYU9g$N'\ro!qO,%oBh.rqlZl!rMrn +rVQ`orVQQkrquiprVZ`qqu$g"rVlcorr)ipqu-Wrrdk*Yrs;MSs!t2Ns4dVRrVlrS!<.QLZN#F~> +eGhK*q=XFQp@S(Op%J%Op%J(Op@\1Qp\"4Rp%S.Rp@n=Sp\"=Up\=IVpA"CVq"ORXq"OOXp\=L^ +p^d2pq"OUZq"a^\q"a^\q=sa\rqZWlrqQouqYL*bqYC$bqYU9g$N'\ro!qO,%oBh.rqlZl!rMrn +rVQ`orVQQkrquiprVZ`qqu$g"rVlcorr)ipqu-Wrrdk*Yrs;MSs!t2Ns4dVRrVlrS!<.QLZN#F~> +eGhK*q=XFQp@S(Op%J%Op%J(Op@\1Qp\"4Rp%S.Rp@n=Sp\"=Up\=IVpA"CVq"ORXq"OOXp\=L^ +p^d2pq"OUZq"a^\q"a^\q=sa\rqZWlrqQouqYL*bqYC$bqYU9g$N'\ro!qO,%oBh.rqlZl!rMrn +rVQ`orVQQkrquiprVZ`qqu$g"rVlcorr)ipqu-Wrrdk*Yrs;MSs!t2Ns4dVRrVlrS!<.QLZN#F~> +JcFs6#P5T/(`6;do7?pnrs?7Z_AiCPs76BGrVlrj"PA;*ZN#F~> +JcFs6#P5T/(`6;do7?pnrs?7Z_AiCPs76BGrVlrj"PA;*ZN#F~> +JcFs6#P5T/(`6;do7?pnrs?7Z_AiCPs76BGrVlrj"PA;*ZN#F~> +JcFs6#PGi5'bsfbon!-prr`6I-@l'p$t29RnYk%=@6E?8W7HP"[f:j~> +JcFs6#PGi5'bsfbon!-prr`6I-@l'p$t29RnYk%=@6E?8W7HP"[f:j~> +JcFs6#PGi5'bsfbon!-prr`6I-@l'p$t29RnYk%=@6E?8W7HP"[f:j~> +JcFs6#PGf4(`6>gon!-orrS2`k5G;gp1k9H7b7V5CD$nBeq*k0s*t~> +JcFs6#PGf4(`6>gon!-orrS2`k5G;gp1k9H7b7V5CD$nBeq*k0s*t~> +JcFs6#PGf4(`6>gon!-orrS2`k5G;gp1k9H7b7V5CD$nBeq*k0s*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#PPf-%hDOMp4<6ps+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#P5T/(`6;do7?pms+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGi5'bsfbon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGf4(`6>gon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGc4(`6Agon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#PGf4'bsfaon!-os+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6#P5W/(Dg)bo7?pms+13Es*t~> +JcFs6%JIG4%hDRNpAb0jq>'r>s+13$s/>sJ~> +JcFs6%JIG4%hDRNpAb0jq>'r>s+13$s/>sJ~> +JcFs6%JIG4%hDRNpAb0jq>'r>s+13$s/>sJ~> +JcFs6%eIJB*#r;"nGDn>e'mFSJcC<$JcD_LJ,~> +JcFs6%eIJB*#r;"nGDn>e'mFSJcC<$JcD_LJ,~> +JcFs6%eIJB*#r;"nGDn>e'mFSJcC<$JcD_LJ,~> +JcG-;'`%@gnaPh[DBgBB\_>TPR;[)?hYMg'JcC<$WrIS~> +JcG-;'`%@gnaPh[DBgBB\_>TPR;[)?hYMg'JcC<$WrIS~> +JcG-;'`%@gnaPh[DBgBB\_>TPR;[)?hYMg'JcC<$WrIS~> +JcG0<(A6:dV5LJpQ>fAaAU],T@6#,?9W[[]JcC<$JcDeNJ,~> +JcG0<(A6:dV5LJpQ>fAaAU],T@6#,?9W[[]JcC<$JcDeNJ,~> +JcG0<(A6:dV5LJpQ>fAaAU],T@6#,?9W[[]JcC<$JcDeNJ,~> +JcG3=(\u[?75Hqi4$#&F-RC)\+W(Xk"<<'Or.4m!s+13Ns*t~> +JcG3=(\u[?75Hqi4$#&F-RC)\+W(Xk"<<'Or.4m!s+13Ns*t~> +JcG3=(\u[?75Hqi4$#&F-RC)\+W(Xk"<<'Or.4m!s+13Ns*t~> +JcG3=(\>%)$O-qL#nRIQ$O7(C%g`FA!Z$+=r.4m!s+13Ns*t~> +JcG3=(\>%)$O-qL#nRIQ$O7(C%g`FA!Z$+=r.4m!s+13Ns*t~> +JcG3=(\>%)$O-qL#nRIQ$O7(C%g`FA!Z$+=r.4m!s+13Ns*t~> +JcG3=([n:]#6YAK'd4bK-n-c"2D,gO#V(qurdk*#s+13Ns*t~> +JcG3=([n:]#6YAK'd4bK-n-c"2D,gO#V(qurdk*#s+13Ns*t~> +JcG3=([n:]#6YAK'd4bK-n-c"2D,gO#V(qurdk*#s+13Ns*t~> +JcG3=(A"h#$j[tKAp&QYNg-!&SV'-9#s5*TJcC<$JcDbMJ,~> +JcG3=(A"h#$j[tKAp&QYNg-!&SV'-9#s5*TJcC<$JcDbMJ,~> +JcG3=(A"h#$j[tKAp&QYNg-!&SV'-9#s5*TJcC<$JcDbMJ,~> +JcG3=(A>IC((i]k`7*N"jQc!tjLnn>'1]@tJcC<$JcDbMJ,~> +JcG3=(A>IC((i]k`7*N"jQc!tjLnn>'1]@tJcC<$JcDbMJ,~> +JcG3=(A>IC((i]k`7*N"jQc!tjLnn>'1]@tJcC<$JcDbMJ,~> +JcG3=$hqSC&e%13mJ?_Xrr2p&prd=h&4WtrJcC<$JcDbMJ,~> +JcG3=$hqSC&e%13mJ?_Xrr2p&prd=h&4WtrJcC<$JcDbMJ,~> +JcG3=$hqSC&e%13mJ?_Xrr2p&prd=h&4WtrJcC<$JcDbMJ,~> +JcG3=#PZ8L*#(uMnG<.ips*[s&k0%pJcC<$JcDbMJ,~> +JcG3=#PZ8L*#(uMnG<.ips*[s&k0%pJcC<$JcDbMJ,~> +JcG3=#PZ8L*#(uMnG<.ips*[s&k0%pJcC<$JcDbMJ,~> +JcG3=#PcJU)A#EEo(r@kq9a.'&k&nlJcC<$JcDbMJ,~> +JcG3=#PcJU)A#EEo(r@kq9a.'&k&nlJcC<$JcDbMJ,~> +JcG3=#PcJU)A#EEo(r@kq9a.'&k&nlJcC<$JcDbMJ,~> +JcG3=#PcS\*YLrHnbW7jqUBO-%6po`JcC<$JcDbMJ,~> +JcG3=#PcS\*YLrHnbW7jqUBO-%6po`JcC<$JcDbMJ,~> +JcG3=#PcS\*YLrHnbW7jqUBO-%6po`JcC<$JcDbMJ,~> +JcG3=#Pl_c*tguEnG<.iqU9R1&3QlXJcC<$JcDbMJ,~> +JcG3=#Pl_c*tguEnG<.iqU9R1&3QlXJcC<$JcDbMJ,~> +JcG3=#Pl_c*tguEnG<.iqU9R1&3QlXJcC<$JcDbMJ,~> +JcG3=#Puqj*Xt?7nbW7jqq#p."uW4GJcC<$JcDbMJ,~> +JcG3=#Puqj*Xt?7nbW7jqq#p."uW4GJcC<$JcDbMJ,~> +JcG3=#Puqj*Xt?7nbW7jqq#p."uW4GJcC<$JcDbMJ,~> +JcG3=#Pukj+V?l9mJ?hfqq- +JcG3=#Pukj+V?l9mJ?hfqq- +JcG3=#Pukj+V?l9mJ?hfqq- +JcG3=#Q*+p)?r'pnG<.ir7ulJ$T4^Jir9+*$kL@/s+13$s3:Ro~> +JcG3=#Q*+p)?r'pnG<.ir7ulJ$T4^Jir9+*$kL@/s+13$s3:Ro~> +JcG3=#Q*+p)?r'pnG<.ir7ulJ$T4^Jir9+*$kL@/s+13$s3:Ro~> +JcG3=#Q*/",7cf1m/$_erSN;U%5jjHqu6ZJrW!$$(1?FtrrhTebjG6&rrLn%JcC<$JcF=$J,~> +JcG3=#Q*/",7cf1m/$_erSN;U%5jjHqu6ZJrW!$$(1?FtrrhTebjG6&rrLn%JcC<$JcF=$J,~> +JcG3=#Q*/",7cf1m/$_erSN;U%5jjHqu6ZJrW!$$(1?FtrrhTebjG6&rrLn%JcC<$JcF=$J,~> +JcG3=#Q3D-+q$<)n,!%hrS`V]%5XXCqu6oQ"8hukgJp]4rrLaVp\t9G#D)o+s+14$s*t~> +JcG3=#Q3D-+q$<)n,!%hrS`V]%5XXCqu6oQ"8hukgJp]4rrLaVp\t9G#D)o+s+14$s*t~> +JcG3=#Q3D-+q$<)n,!%hrS`V]%5XXCqu6oQ"8hukgJp]4rrLaVp\t9G#D)o+s+14$s*t~> +JcG3=#Q3J4-4Ml-mJ?hfrT9"b#;)J6qu6]K"9&63cOU!TQ5g&_ZiC'B:(mdhdJs.F#QO9s$kR+H +s8E!&7[F)Sr"dJ,s+13$s5*d+~> +JcG3=#Q3J4-4Ml-mJ?hfrT9"b#;)J6qu6]K"9&63cOU!TQ5g&_ZiC'B:(mdhdJs.F#QO9s$kR+H +s8E!&7[F)Sr"dJ,s+13$s5*d+~> +JcG3=#Q3J4-4Ml-mJ?hfrT9"b#;)J6qu6]K"9&63cOU!TQ5g&_ZiC'B:(mdhdJs.F#QO9s$kR+H +s8E!&7[F)Sr"dJ,s+13$s5*d+~> +JcG3=#Q3M:-4Mf)m/$_eroK4i$n[k2qu6]K"9/Zs8TPXJcC<$JcFR+J,~> +JcG3=#Q3M:-4Mf)m/$_eroK4i$n[k2qu6]K"9/Zs8TPXJcC<$JcFR+J,~> +JcG3=#Q3M:-4Mf)m/$_eroK4i$n[k2qu6]K"9/Zs8TPXJcC<$JcFR+J,~> +JcG3=#Q`"%3JcC<$h>`!~> +JcG3=#Q`"%3JcC<$h>`!~> +JcG3=#Q`"%3JcC<$h>`!~> +JcG3=#QEeF-O_Vsl1t>`l' +JcG3=#QEeF-O_Vsl1t>`l' +JcG3=#QEeF-O_Vsl1t>`l' +JcG0<#3V!j!@=#tq>UZdROndnO6HK@!S7GQrrSr)fDY^^qh? +JcG0<#3V!j!@=#tq>UZdROndnO6HK@!S7GQrrSr)fDY^^qh? +JcG0<#3V!j!@=#tq>UZdROndnO6HK@!S7GQrrSr)fDY^^qh? +JcG0<#3_@&$nIS*q>U]dSM:O%No^3;rrL^RrVmOM.J*P*iV&H[s5a7(ouL&6rmqDSrsi*df^umt +s5F(Crr+&gV1JYts+14*s*t~> +JcG0<#3_@&$nIS*q>U]dSM:O%No^3;rrL^RrVmOM.J*P*iV&H[s5a7(ouL&6rmqDSrsi*df^umt +s5F(Crr+&gV1JYts+14*s*t~> +JcG0<#3_@&$nIS*q>U]dSM:O%No^3;rrL^RrVmOM.J*P*iV&H[s5a7(ouL&6rmqDSrsi*df^umt +s5F(Crr+&gV1JYts+14*s*t~> +JcG0<#4.^-#:Pc"q>U]eT/-m'MW4U4rrL^RrVmQ.5umMb('?/)s8R]c$VeVCe^k'*rsnX5'Ep.P +s8P_!h>_s7p4<6ps+14*s*t~> +JcG0<#4.^-#:Pc"q>U]eT/-m'MW4U4rrL^RrVmQ.5umMb('?/)s8R]c$VeVCe^k'*rsnX5'Ep.P +s8P_!h>_s7p4<6ps+14*s*t~> +JcG0<#4.^-#:Pc"q>U]eT/-m'MW4U4rrL^RrVmQ.5umMb('?/)s8R]c$VeVCe^k'*rsnX5'Ep.P +s8P_!h>_s7p4<6ps+14*s*t~> +JcG0<#O@p7$n7>#rqcX"m[u?C,_Y+Se,KH/AV'l4s+14)s*t~> +JcG0<#O@p7$n7>#rqcX"m[u?C,_Y+Se,KH/AV'l4s+14)s*t~> +JcG0<#O@p7$n7>#rqcX"m[u?C,_Y+Se,KH/AV'l4s+14)s*t~> +JcG0<#OJ$:$n.+rrVHO!m%Hfc8Xqs+13$s4dR(~> +JcG0<#OJ$:$n.+rrVHO!m%Hfc8Xqs+13$s4dR(~> +JcG0<#OJ$:$n.+rrVHO!m%Hfc8Xqs+13$s4dR(~> +JcG0<#O\6?#pb8crVHO!n=hZA)g^68f)GjM*>+cls+13$s4[L'~> +JcG0<#O\6?#pb8crVHO!n=hZA)g^68f)GjM*>+cls+13$s4[L'~> +JcG0<#O\6?#pb8crVHO!n=hZA)g^68f)GjM*>+cls+13$s4[L'~> +JcG0<#OJ'>%4$S\r;-EumA2fR,'h`8JcC<$JcDeNJ,~> +JcG0<#OJ'>%4$S\r;-EumA2fR,'h`8JcC<$JcDeNJ,~> +JcG0<#OJ'>%4$S\r;-EumA2fR,'h`8JcC<$JcDeNJ,~> +JcG0<#Oe9="<;jFr;-EunYnVZ+*Q63JcC<$JcDeNJ,~> +JcG0<#Oe9="<;jFr;-EunYnVZ+*Q63JcC<$JcDeNJ,~> +JcG0<#Oe9="<;jFr;-EunYnVZ+*Q63JcC<$JcDeNJ,~> +JcG0<#OS?J%jQGPqtgnke+`l-/JcC<$JcDeNJ,~> +JcG0<#OS?J%jQGPqtgnke+`l-/JcC<$JcDeNJ,~> +JcG0<#OS?J%jQGPqtgnke+`l-/JcC<$JcDeNJ,~> +JcG0<#P"]R$m9iJqtg +JcG0<#P"]R$m9iJqtg +JcG0<#P"]R$m9iJqtg +JcG0<#On`X&0Z5HqYL3snutIl*,NpsJcC<$JcDeNJ,~> +JcG0<#On`X&0Z5HqYL3snutIl*,NpsJcC<$JcDeNJ,~> +JcG0<#On`X&0Z5HqYL3snutIl*,NpsJcC<$JcDeNJ,~> +JcG0<#Onf\&Kl/Cq>1*rn?GIs*G +JcG0<#Onf\&Kl/Cq>1*rn?GIs*G +JcG0<#Onf\&Kl/Cq>1*rn?GIs*G +JcG0<#P+u_%NKB5qYL3so!1Xk'O\uVJcC<$JcDeNJ,~> +JcG0<#P+u_%NKB5qYL3so!1Xk'O\uVJcC<$JcDeNJ,~> +JcG0<#P+u_%NKB5qYL3so!1Xk'O\uVJcC<$JcDeNJ,~> +JcG0<#Onoc'-:o3p\b$trr)5i8ei7O_tJZ]JcC<$X8d\~> +JcG0<#Onoc'-:o3p\b$trr)5i8ei7O_tJZ]JcC<$X8d\~> +JcG0<#Onoc'-:o3p\b$trr)5i8ei7O_tJZ]JcC<$X8d\~> +JcG0<(@n[r$Pd'bmI9W4lK$s]c^@$/'2c4.JcC<$JcDeNJ,~> +JcG0<(@n[r$Pd'bmI9W4lK$s]c^@$/'2c4.JcC<$JcDeNJ,~> +JcG0<(@n[r$Pd'bmI9W4lK$s]c^@$/'2c4.JcC<$JcDeNJ,~> +JcG0<(\+h('H'f7Y-4arOb8%.G#Tjt%6'U6r.4m!s+13Os*t~> +JcG0<(\+h('H'f7Y-4arOb8%.G#Tjt%6'U6r.4m!s+13Os*t~> +JcG0<(\+h('H'f7Y-4arOb8%.G#Tjt%6'U6r.4m!s+13Os*t~> +JcG0<(\G10&JHig8OPNo,T.C;*u#4h#9A-Bq18Qss+13Os*t~> +JcG0<(\G10&JHig8OPNo,T.C;*u#4h#9A-Bq18Qss+13Os*t~> +JcG0<(\G10&JHig8OPNo,T.C;*u#4h#9A-Bq18Qss+13Os*t~> +JcG0<(\>15'+P]l&JGBY"Te`.%0m@M&1N=dq18Qss+13Os*t~> +JcG0<(\>15'+P]l&JGBY"Te`.%0m@M&1N=dq18Qss+13Os*t~> +JcG0<(\>15'+P]l&JGBY"Te`.%0m@M&1N=dq18Qss+13Os*t~> +JcG0<(\G=='b1op)''M4%L!%M.Q'FV:j9J:r.4m!s+13Os*t~> +JcG0<(\G=='b1op)''M4%L!%M.Q'FV:j9J:r.4m!s+13Os*t~> +JcG0<(\G=='b1op)''M4%L!%M.Q'FV:j9J:r.4m!s+13Os*t~> +JcG0<(A5UT)&5#,?tsL`/e&7JH(_:F][?'AJcC<$JcDeNJ,~> +JcG0<(A5UT)&5#,?tsL`/e&7JH(_:F][?'AJcC<$JcDeNJ,~> +JcG0<(A5UT)&5#,?tsL`/e&7JH(_:F][?'AJcC<$JcDeNJ,~> +JcG0<(&?OB76u.!_T^,q9,8:>YN>9Go_JE9s+13$s/Q*L~> +JcG0<(&?OB76u.!_T^,q9,8:>YN>9Go_JE9s+13$s/Q*L~> +JcG0<(&?OB76u.!_T^,q9,8:>YN>9Go_JE9s+13$s/Q*L~> +JcG0<&H;1CVl%MtpA"0g:_+(6]_6pVJcC<$V>l&~> +JcG0<&H;1CVl%MtpA"0g:_+(6]_6pVJcC<$V>l&~> +JcG0<&H;1CVl%MtpA"0g:_+(6]_6pVJcC<$V>l&~> +JcG-;&,l(^kO\ZPs7 +JcG-;&,l(^kO\ZPs7 +JcG-;&,l(^kO\ZPs7 +JcG*:"9/5rrr2p&otOQC'j&0CJcC<$JcDSHJ,~> +JcG*:"9/5rrr2p&otOQC'j&0CJcC<$JcDSHJ,~> +JcG*:"9/5rrr2p&otOQC'j&0CJcC<$JcDSHJ,~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#PGf4'bsfaon!-os+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#P5W/(Dg)bo7?pms+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#PPf-%hDOMp4<6ps+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#P5T/(`6;do7?pms+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGi5'bsfbon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGf4(`6>gon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +JcFj3#PGc4(`6Agon!-os+13Hs*t~> +d/OI?0)sN*s47AQm4Ru0!S7FZrs/52 +d/OI?0)sN*s47AQm4Ru0!S7FZrs/52 +d/OI?0)sN*s47AQm4Ru0!S7FZrs/52 +g]%?,!'U8[!@e?QrrgpUs47AArrgpUs4esurs%"K&HsCog; +g]%?,!'U8[!@e?QrrgpUs47AArrgpUs4esurs%"K&HsCog; +g]%?,!'U8[!@e?QrrgpUs47AArrgpUs4esurs%"K&HsCog; +g]%B-!Y*f]rrU4N#Q=Z*f)u')"7Q6mf)u')#Q4T,p_S;:p!\>d_Z'l7]MT1M;7uVRrsJ\h^PR<" +[+4L;rIP!"s+14)s*t~> +g]%B-!Y*f]rrU4N#Q=Z*f)u')"7Q6mf)u')#Q4T,p_S;:p!\>d_Z'l7]MT1M;7uVRrsJ\h^PR<" +[+4L;rIP!"s+14)s*t~> +g]%B-!Y*f]rrU4N#Q=Z*f)u')"7Q6mf)u')#Q4T,p_S;:p!\>d_Z'l7]MT1M;7uVRrsJ\h^PR<" +[+4L;rIP!"s+14)s*t~> +oD\jC#QF`48!X,Sq\IEUn6-53B_VH)"4mWcFT2:_AS)2If)u')"96sTs47AQ8!X,Sq\IEUmoKl1 +Fo9hns8E#srrV3\l2(E$moKl1Fo9hns8U[Us47@L%(5eE'+%%^s6s2#&8:gurs//.`!~> +oD\jC#QF`48!X,Sq\IEUn6-53B_VH)"4mWcFT2:_AS)2If)u')"96sTs47AQ8!X,Sq\IEUmoKl1 +Fo9hns8E#srrV3\l2(E$moKl1Fo9hns8U[Us47@L%(5eE'+%%^s6s2#&8:gurs//.`!~> +oD\jC#QF`48!X,Sq\IEUn6-53B_VH)"4mWcFT2:_AS)2If)u')"96sTs47AQ8!X,Sq\IEUmoKl1 +Fo9hns8E#srrV3\l2(E$moKl1Fo9hns8U[Us47@L%(5eE'+%%^s6s2#&8:gurs//.`!~> +oD\jC#QF`4W&anXZn;=X;hON!;0)U7.b=dE(&@n&'Z(+Tf)u')"96sTs47AQW&anXZn;=X;buZ5 +/r%s[s3q;Nr;Qn%+G.f8rVmp;:[-XeL=ZP-s47MUf)eV.q-?2?nZM0W;hON!;0(^s#PGi5'bsfb +p"'-Rq:^TU&dK-u7ras6hXgXDJcC<$JcF[.J,~> +oD\jC#QF`4W&anXZn;=X;hON!;0)U7.b=dE(&@n&'Z(+Tf)u')"96sTs47AQW&anXZn;=X;buZ5 +/r%s[s3q;Nr;Qn%+G.f8rVmp;:[-XeL=ZP-s47MUf)eV.q-?2?nZM0W;hON!;0(^s#PGi5'bsfb +p"'-Rq:^TU&dK-u7ras6hXgXDJcC<$JcF[.J,~> +oD\jC#QF`4W&anXZn;=X;hON!;0)U7.b=dE(&@n&'Z(+Tf)u')"96sTs47AQW&anXZn;=X;buZ5 +/r%s[s3q;Nr;Qn%+G.f8rVmp;:[-XeL=ZP-s47MUf)eV.q-?2?nZM0W;hON!;0(^s#PGi5'bsfb +p"'-Rq:^TU&dK-u7ras6hXgXDJcC<$JcF[.J,~> +p&G%.%28dY(]X7Bg](B8s6g!f(BG'rr;S4t"91!Rs.N?B#QNBXs47AQf)u')"98-.g](B8s7-6K +s8T>Mf)u')#Q"H>\n)ruEUj)"!oO%XYpJ!(s8U[Us477es76?GrVloe!WEl9&1QZ>#PGf4(`6>g +p"'-Sr9("Z+qP1j'-]DGOLN^*q18Qss+14/s*t~> +p&G%.%28dY(]X7Bg](B8s6g!f(BG'rr;S4t"91!Rs.N?B#QNBXs47AQf)u')"98-.g](B8s7-6K +s8T>Mf)u')#Q"H>\n)ruEUj)"!oO%XYpJ!(s8U[Us477es76?GrVloe!WEl9&1QZ>#PGf4(`6>g +p"'-Sr9("Z+qP1j'-]DGOLN^*q18Qss+14/s*t~> +p&G%.%28dY(]X7Bg](B8s6g!f(BG'rr;S4t"91!Rs.N?B#QNBXs47AQf)u')"98-.g](B8s7-6K +s8T>Mf)u')#Q"H>\n)ruEUj)"!oO%XYpJ!(s8U[Us477es76?GrVloe!WEl9&1QZ>#PGf4(`6>g +p"'-Sr9("Z+qP1j'-]DGOLN^*q18Qss+14/s*t~> +p&G'T%`8P7kPtQrJ+=*6s4@>1roX:Hr;Rkj"94NQs$!gA#QNBXs47AQf)u')"98C8J+=*6s4[SR +rs$p\f)u')#P\6%dmlk,gB% +p&G'T%`8P7kPtQrJ+=*6s4@>1roX:Hr;Rkj"94NQs$!gA#QNBXs47AQf)u')"98C8J+=*6s4[SR +rs$p\f)u')#P\6%dmlk,gB% +p&G'T%`8P7kPtQrJ+=*6s4@>1roX:Hr;Rkj"94NQs$!gA#QNBXs47AQf)u')"98C8J+=*6s4[SR +rs$p\f)u')#P\6%dmlk,gB% +oD\jC#Q=Z.aWmHRs8VQia8#Z`f)u'@$G%2Sf*D?-"96sTs47AQf)u'QaWmHRs8VWkgAh2S-.`8! +f*D$L(Wm?incIPFs/[O!!W2oJ#QNBXs8VZnf_tgOn,gYfrs/52 +oD\jC#Q=Z.aWmHRs8VQia8#Z`f)u'@$G%2Sf*D?-"96sTs47AQf)u'QaWmHRs8VWkgAh2S-.`8! +f*D$L(Wm?incIPFs/[O!!W2oJ#QNBXs8VZnf_tgOn,gYfrs/52 +oD\jC#Q=Z.aWmHRs8VQia8#Z`f)u'@$G%2Sf*D?-"96sTs47AQf)u'QaWmHRs8VWkgAh2S-.`8! +f*D$L(Wm?incIPFs/[O!!W2oJ#QNBXs8VZnf_tgOn,gYfrs/52 +oD\jC#Q4T'.NP_lrrlI[f^umtr;RM`"98C+'R9Z0#QNBXs47AQf)u')"9/<%.NP_lrsVgskh7G< +f)u'4!U0O^rtsd)\a8t26"0fn;b6-+."q'mT'&iRs47APrsWos&V#/oY,>*rs///<>QHO +^%9eS(\PLF()Bf?XGC+@+:\tp,!01k[FjjBrIP!"s+147s*t~> +oD\jC#Q4T'.NP_lrrlI[f^umtr;RM`"98C+'R9Z0#QNBXs47AQf)u')"9/<%.NP_lrsVgskh7G< +f)u'4!U0O^rtsd)\a8t26"0fn;b6-+."q'mT'&iRs47APrsWos&V#/oY,>*rs///<>QHO +^%9eS(\PLF()Bf?XGC+@+:\tp,!01k[FjjBrIP!"s+147s*t~> +oD\jC#Q4T'.NP_lrrlI[f^umtr;RM`"98C+'R9Z0#QNBXs47AQf)u')"9/<%.NP_lrsVgskh7G< +f)u'4!U0O^rtsd)\a8t26"0fn;b6-+."q'mT'&iRs47APrsWos&V#/oY,>*rs///<>QHO +^%9eS(\PLF()Bf?XGC+@+:\tp,!01k[FjjBrIP!"s+147s*t~> +m/I-F(&Iq0"nQ@@"YZ#9rtX,fs8Tn8gAfb0s47AQf)u')"96sTrr3%X(&Iq0%.7.'&p!m$"98Bo +$Jk^])")r4$j7f)q>^K_~> +m/I-F(&Iq0"nQ@@"YZ#9rtX,fs8Tn8gAfb0s47AQf)u')"96sTrr3%X(&Iq0%.7.'&p!m$"98Bo +$Jk^])")r4$j7f)q>^K_~> +m/I-F(&Iq0"nQ@@"YZ#9rtX,fs8Tn8gAfb0s47AQf)u')"96sTrr3%X(&Iq0%.7.'&p!m$"98Bo +$Jk^])")r4$j7f)q>^K_~> +JcFj3#P5T/(`6;do@ +JcFj3#P5T/(`6;do@ +JcFj3#P5T/(`6;do@ +JcFj3#PGi5'bsfbp!s'Io=S-A(g"BArr3Z+ldE+t?Srr>#SS=FArX=QmeQjCrrOVlII-t7f)u!O +!S@VFrrL^Vq#:To(OP07ds\+UrrL^Rr;QfL#P.lr.3O' +JcFj3#PGi5'bsfbp!s'Io=S-A(g"BArr3Z+ldE+t?Srr>#SS=FArX=QmeQjCrrOVlII-t7f)u!O +!S@VFrrL^Vq#:To(OP07ds\+UrrL^Rr;QfL#P.lr.3O' +JcFj3#PGi5'bsfbp!s'Io=S-A(g"BArr3Z+ldE+t?Srr>#SS=FArX=QmeQjCrrOVlII-t7f)u!O +!S@VFrrL^Vq#:To(OP07ds\+UrrL^Rr;QfL#P.lr.3O' +JcFj3#PGf4(`6>gp!s'IotOTD'j/6DrVmT2qsrRVQ>Ar6((1`q/lmV+c04j"P5cT;(qgg`s8U[Q +Se`-FIh3F$s47@9)%:6Uf)u')"98<"&_@-bs6s2#&8:hq;qgne= +s*t~> +JcFj3#PGf4(`6>gp!s'IotOTD'j/6DrVmT2qsrRVQ>Ar6((1`q/lmV+c04j"P5cT;(qgg`s8U[Q +Se`-FIh3F$s47@9)%:6Uf)u')"98<"&_@-bs6s2#&8:hq;qgne= +s*t~> +JcFj3#PGf4(`6>gp!s'IotOTD'j/6DrVmT2qsrRVQ>Ar6((1`q/lmV+c04j"P5cT;(qgg`s8U[Q +Se`-FIh3F$s47@9)%:6Uf)u')"98<"&_@-bs6s2#&8:hq;qgne= +s*t~> +JcFj3#PGc4(`6Agp!s'IotFNF(g+NFq>V*!jMn!@;(`b""W&X\FIgG1o_XmQ1fSc#-`R.Gf)TXS +IKb8iH6rUC!,1WN0mqRTs47AQe-GmJf)u'Q;hON!;0)^:92b!6 +JcFj3#PGc4(`6Agp!s'IotFNF(g+NFq>V*!jMn!@;(`b""W&X\FIgG1o_XmQ1fSc#-`R.Gf)TXS +IKb8iH6rUC!,1WN0mqRTs47AQe-GmJf)u'Q;hON!;0)^:92b!6 +JcFj3#PGc4(`6Agp!s'IotFNF(g+NFq>V*!jMn!@;(`b""W&X\FIgG1o_XmQ1fSc#-`R.Gf)TXS +IKb8iH6rUC!,1WN0mqRTs47AQe-GmJf)u'Q;hON!;0)^:92b!6 +JcFj3#PGf4'bsfap!s'Iot=KF(g4QFq#;$+q!-;4LL)hT&I]Mr;R)c#2]B<5l^l9"8r0&dLH64!<.QLmJh\~> +JcFj3#PGf4'bsfap!s'Iot=KF(g4QFq#;$+q!-;4LL)hT&I]Mr;R)c#2]B<5l^l9"8r0&dLH64!<.QLmJh\~> +JcFj3#PGf4'bsfap!s'Iot=KF(g4QFq#;$+q!-;4LL)hT&I]Mr;R)c#2]B<5l^l9"8r0&dLH64!<.QLmJh\~> +JcFj3#P5]6)B)eoo@rr3#N#P7s$dmlk,f)u'-!WN*4 +f*D?-"98DQ#QOhL +JcFj3#P5]6)B)eoo@rr3#N#P7s$dmlk,f)u'-!WN*4 +f*D?-"98DQ#QOhL +JcFj3#P5]6)B)eoo@rr3#N#P7s$dmlk,f)u'-!WN*4 +f*D?-"98DQ#QOhL +JcFj3#PZ;O(Dg])pXT9Ko=\0@(KS6@oD]L%p#*ibGtot.$k +JcFj3#PZ;O(Dg])pXT9Ko=\0@(KS6@oD]L%p#*ibGtot.$k +JcFj3#PZ;O(Dg])pXT9Ko=\0@(KS6@oD]L%p#*ibGtot.$k +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mZ8PuL_Je*uu-o`FaYoDS=`oCheS +o`FaYoDS=`oCheSo`FaYoDS=ioCheKm'TS!%oL"5nc'=%pup//K3L5T$P=!r5%]qeg@"k;T`5(q +)#F730XqVbf)u'Qf*D?Uf*D?-!,CfQ08e?`s47AQf*D?Uf)u'Q=#8M$^2a2Q;+Td/qYpL1\.8/_ +"8huhcWVpjs8U@TH/A8HIOP,Fs7H>A~> +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mZ8PuL_Je*uu-o`FaYoDS=`oCheS +o`FaYoDS=`oCheSo`FaYoDS=ioCheKm'TS!%oL"5nc'=%pup//K3L5T$P=!r5%]qeg@"k;T`5(q +)#F730XqVbf)u'Qf*D?Uf*D?-!,CfQ08e?`s47AQf*D?Uf)u'Q=#8M$^2a2Q;+Td/qYpL1\.8/_ +"8huhcWVpjs8U@TH/A8HIOP,Fs7H>A~> +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mZ8PuL_Je*uu-o`FaYoDS=`oCheS +o`FaYoDS=`oCheSo`FaYoDS=ioCheKm'TS!%oL"5nc'=%pup//K3L5T$P=!r5%]qeg@"k;T`5(q +)#F730XqVbf)u'Qf*D?Uf*D?-!,CfQ08e?`s47AQf*D?Uf)u'Q=#8M$^2a2Q;+Td/qYpL1\.8/_ +"8huhcWVpjs8U@TH/A8HIOP,Fs7H>A~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1eUQ:G0 +[_08f^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'nBs=>Bg!aV#7qb2>_B3+l1Y(MrrGN:rVnSN-CEBes8U[Us8U[Us47@/'b,0\f)u')"96sX +s8U[Qs8V\''Ep.Ps8VF]#TeX(q#;W-JMdi=,CfOhf)u'QktMF)KEqP/"98DQ#QOgV'FRXT"4c!* +qu6pp$Jk,N$5.CVrVlmdIf99Kr[+#arW!$(-$]"Zrs%+Y('GO`f7Etns*t~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1eUQ:G0 +[_08f^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'nBs=>Bg!aV#7qb2>_B3+l1Y(MrrGN:rVnSN-CEBes8U[Us8U[Us47@/'b,0\f)u')"96sX +s8U[Qs8V\''Ep.Ps8VF]#TeX(q#;W-JMdi=,CfOhf)u'QktMF)KEqP/"98DQ#QOgV'FRXT"4c!* +qu6pp$Jk,N$5.CVrVlmdIf99Kr[+#arW!$(-$]"Zrs%+Y('GO`f7Etns*t~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1eUQ:G0 +[_08f^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'nBs=>Bg!aV#7qb2>_B3+l1Y(MrrGN:rVnSN-CEBes8U[Us8U[Us47@/'b,0\f)u')"96sX +s8U[Qs8V\''Ep.Ps8VF]#TeX(q#;W-JMdi=,CfOhf)u'QktMF)KEqP/"98DQ#QOgV'FRXT"4c!* +qu6pp$Jk,N$5.CVrVlmdIf99Kr[+#arW!$(-$]"Zrs%+Y('GO`f7Etns*t~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%=&r:# +<`W(!=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHL;rr3#N +#P.m0rquHN`h%?J.N&U+)(A4&TuH'_rVhrZ!S7FnrrL:PJcE%UJ,~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%=&r:# +<`W(!=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHL;rr3#N +#P.m0rquHN`h%?J.N&U+)(A4&TuH'_rVhrZ!S7FnrrL:PJcE%UJ,~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%=&r:# +<`W(!=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHL;rr3#N +#P.m0rquHN`h%?J.N&U+)(A4&TuH'_rVhrZ!S7FnrrL:PJcE%UJ,~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%o9k2rtcIc +!#HI@rtG+jcEN%-1`mA7'dQ+\PJ#W=q>QTX!S7FrrrmVRn`!86JcE%UJ,~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%o9k2rtcIc +!#HI@rtG+jcEN%-1`mA7'dQ+\PJ#W=q>QTX!S7FrrrmVRn`!86JcE%UJ,~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%o9k2rtcIc +!#HI@rtG+jcEN%-1`mA7'dQ+\PJ#W=q>QTX!S7FrrrmVRn`!86JcE%UJ,~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%oBn2s6&R_ +#Nt:=rtPJ0nCtO:BKmRQ$kXO:>DKB,l1b1BrrL^Rb5VX-0aA+]jFR?:s*t~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%oBn2s6&R_ +#Nt:=rtPJ0nCtO:BKmRQ$kXO:>DKB,l1b1BrrL^Rb5VX-0aA+]jFR?:s*t~> +ec1!lg5Im0()IJu'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml) +'c.At'c7cG'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(D@,\%oBn2s6&R_ +#Nt:=rtPJ0nCtO:BKmRQ$kXO:>DKB,l1b1BrrL^Rb5VX-0aA+]jFR?:s*t~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R- +=B8:#=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHI:rr3#N +#O;=&rq#-eT6*^W(D-ok/PUJbb2W*kJcC<$M>r)~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R- +=B8:#=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHI:rr3#N +#O;=&rq#-eT6*^W(D-ok/PUJbb2W*kJcC<$M>r)~> +ec1-slF_[Y=]SC$=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^% +='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#=BSa,;--k%=]e^%='/R- +=B8:#=BJ^.<`)ru==IBT<`)q#=BSa,;--k%=]e^%='/R-=B8:#=BJ^.<`)q#&QHI:rr3#N +#O;=&rq#-eT6*^W(D-ok/PUJbb2W*kJcC<$M>r)~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'e9pVt#g@4ujs+13.s*t~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'e9pVt#g@4ujs+13.s*t~> +eGk!olI3\c]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y#c0^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"dN'e9pVt#g@4ujs+13.s*t~> +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUgQip@ItD[8%5C;7uV]rtPJ/mFo%1ANqFO&J#pA=bX-2lM:C0s+131 +s*t~> +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUgQip@ItD[8%5C;7uV]rtPJ/mFo%1ANqFO&J#pA=bX-2lM:C0s+131 +s*t~> +e,KXMq=XFPp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUgQip@ItD[8%5C;7uV]rtPJ/mFo%1ANqFO&J#pA=bX-2lM:C0s+131 +s*t~> +JcE"T#P5T0(`6>eoA9K\qt/a_TQE[S(CCZe/lI%ma5cgjJcC<$OT0h~> +JcE"T#P5T0(`6>eoA9K\qt/a_TQE[S(CCZe/lI%ma5cgjJcC<$OT0h~> +JcE"T#P5T0(`6>eoA9K\qt/a_TQE[S(CCZe/lI%ma5cgjJcC<$OT0h~> +JcE"T#PGi6'bsicp"]Q]rV,O$W.A#+*=EGn,=613]\W&Srdk*#s-*J5~> +JcE"T#PGi6'bsicp"]Q]rV,O$W.A#+*=EGn,=613]\W&Srdk*#s-*J5~> +JcE"T#PGi6'bsicp"]Q]rV,O$W.A#+*=EGn,=613]\W&Srdk*#s-*J5~> +JcE"T#PGf5(`6Ahp"B?Yq!H\DP@Q^!'Eo*i3a[ZIe*Hc-JcC<$Q2c@~> +JcE"T#PGf5(`6Ahp"B?Yq!H\DP@Q^!'Eo*i3a[ZIe*Hc-JcC<$Q2c@~> +JcE"T#PGf5(`6Ahp"B?Yq!H\DP@Q^!'Eo*i3a[ZIe*Hc-JcC<$Q2c@~> +JcE"T#PGc5(`6Dhp"99ZrquEJ_jkg>-5R+')C\I0V9%cjrVhBJJcD,;J,~> +JcE"T#PGc5(`6Dhp"99ZrquEJ_jkg>-5R+')C\I0V9%cjrVhBJJcD,;J,~> +JcE"T#PGc5(`6Dhp"99ZrquEJ_jkg>-5R+')C\I0V9%cjrVhBJJcD,;J,~> +JcE"T#PGf5'bsibp!j!Sp#sT#JQO]I&d/st7;S=,h!t2ks+13 +JcE"T#PGf5'bsibp!j!Sp#sT#JQO]I&d/st7;S=,h!t2ks+13 +JcE"T#PGf5'bsibp!j!Sp#sT#JQO]I&d/st7;S=,h!t2ks+13 +JcE"T#P5W0(Dg,co@*^RrVGp5[uY)]*"i_n+ZEedZ-qt6rdk*#s.'+>~> +JcE"T#P5W0(Dg,co@*^RrVGp5[uY)]*"i_n+ZEedZ-qt6rdk*#s.'+>~> +JcE"T#P5W0(Dg,co@*^RrVGp5[uY)]*"i_n+ZEedZ-qt6rdk*#s.'+>~> +JcE"T#PPf-%hDOMp<`gPrUSj^RrCnJ'G1]l02?nmcKP.Vs+13@s*t~> +JcE"T#PPf-%hDOMp<`gPrUSj^RrCnJ'G1]l02?nmcKP.Vs+13@s*t~> +JcE"T#PPf-%hDOMp<`gPrUSj^RrCnJ'G1]l02?nmcKP.Vs+13@s*t~> +JcE"T#P5T0(`6>eo?R@Mr:oBuWIIi$)@d8h-V&6UeF<)'oDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=boCheNqgnd9s*t~> +JcE"T#P5T0(`6>eo?R@Mr:oBuWIIi$)@d8h-V&6UeF<)'oDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=boCheNqgnd9s*t~> +JcE"T#P5T0(`6>eo?R@Mr:oBuWIIi$)@d8h-V&6UeF<)'oDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaY +oDS=`oCheSo`FaYoDS=boCheNqgnd9s*t~> +JcE"T#PGi6'bsicp!!FHrqc!3[#AHV+Untq*^kU_rk*Nk^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]YMnUpOW@6s*t~> +JcE"T#PGi6'bsicp!!FHrqc!3[#AHV+Untq*^kU_rk*Nk^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]YMnUpOW@6s*t~> +JcE"T#PGi6'bsicp!!FHrqc!3[#AHV+Untq*^kU_rk*Nk^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]YMnUpOW@6s*t~> +JcE"T#PGf5(`6Ahou[5`qXN@XSSgV8&Hr_"8Q8Pf='&L*t(`3u(%i?#u +(_mht(_ml)'c.As'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?&](^Ccl%icp;cLuhhSH"*~> +JcE"T#PGc5(`6DhouI)]rV"sJGXNPZ"UbnX%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u +(_mht(_ml)'c.As'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?&](^Ccl%icp;cLuhhSH"*~> +JcE"T#PGc5(`6DhouI)]rV"sJGXNPZ"UbnX%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u +(_mht(_ml)'c.As'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c7c&(Cq>t(`3u(%i?&](^Ccl%icp;cLuhhSH"*~> +JcE"T#PGf5'bsibouR/_qX`CLKN'E3#QkDG((V5s(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t +(`3u(%i?#u(_mhs'bV9!'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_ml)'c.At'c7c&(Cq>trtktU(CqK4F3aK1s.'+>~> +JcE"T#PGf5'bsibouR/_qX`CLKN'E3#QkDG((V5s(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t +(`3u(%i?#u(_mhs'bV9!'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_ml)'c.At'c7c&(Cq>trtktU(CqK4F3aK1s.'+>~> +JcE"T#PGf5'bsibouR/_qX`CLKN'E3#QkDG((V5s(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t +(`3u(%i?#u(_mhs'bV9!'c.At'c7c&(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_ml)'c.At'c7c&(Cq>trtktU(CqK4F3aK1s.'+>~> +JcE"T#P5W0(Dg,co?.)[qXE%AM,u5H&I]Br2+geE<``@)=&i*u='&L* +JcE"T#P5W0(Dg,co?.)[qXE%AM,u5H&I]Br2+geE<``@)=&i*u='&L* +JcE"T#P5W0(Dg,co?.)[qXE%AM,u5H&I]Br2+geE<``@)=&i*u='&L* +JcE"T#PPf-%hDOMp<_&EQ]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]t0bA-n&Jo]"Pbh^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l&APrm^:h1l^V7Cq]tD/-jnF?+S,\!~> +JcE"T#PPf-%hDOMp<_&EQ]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]t0bA-n&Jo]"Pbh^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l&APrm^:h1l^V7Cq]tD/-jnF?+S,\!~> +JcE"T#PPf-%hDOMp<_&EQ]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq +]tD"m^:h7o]Y)"n]t0bA-n&Jo]"Pbh^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tV1m]YD1o^:h1l&APrm^:h1l^V7Cq]tD/-jnF?+S,\!~> +JcE"T#P5T0(`6>eo?[FOrqu38YCTV)'FbQj3bFVih!F_*p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6` +p@J7U!qZ-Wrq-Wa]3cNt?G,Uqp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg +JcE"T#P5T0(`6>eo?[FOrqu38YCTV)'FbQj3bFVih!F_*p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6` +p@J7U!qZ-Wrq-Wa]3cNt?G,Uqp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg +JcE"T#P5T0(`6>eo?[FOrqu38YCTV)'FbQj3bFVih!F_*p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6` +p@J7U!qZ-Wrq-Wa]3cNt?G,Uqp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U +!qZ-WrUg6`p@J7U!qZ-WrUg +JcE"T#PGi6'bsicp!E^Nq!?D1J5Ij5&e#pGAsU6loD[>@#PGf5()C#don!-os3L^q~> +JcE"T#PGi6'bsicp!E^Nq!?D1J5Ij5&e#pGAsU6loD[>@#PGf5()C#don!-os3L^q~> +JcE"T#PGi6'bsicp!E^Nq!?D1J5Ij5&e#pGAsU6loD[>@#PGf5()C#don!-os3L^q~> +JcE"T#PGf5(`6Ahp!WjPqs2P)HqYk&$POaJCn8N'pAEG?#P5W/(Dg)bo7?pms3L^q~> +JcE"T#PGf5(`6Ahp!WjPqs2P)HqYk&$POaJCn8N'pAEG?#P5W/(Dg)bo7?pms3L^q~> +JcE"T#PGf5(`6Ahp!WjPqs2P)HqYk&$POaJCn8N'pAEG?#P5W/(Dg)bo7?pms3L^q~> +JcE"T#PGc5(`6Dhp!s'TrVPm.Wd%&`'a>6m6>i:3jnSf&rs/81;%F17]_6pVJcF'rJ,~> +JcE"T#PGc5(`6Dhp!s'TrVPm.Wd%&`'a>6m6>i:3jnSf&rs/81;%F17]_6pVJcF'rJ,~> +JcE"T#PGc5(`6Dhp!s'TrVPm.Wd%&`'a>6m6>i:3jnSf&rs/81;%F17]_6pVJcF'rJ,~> +JcE"T#PGf5'bsibp"03UrqGX$VKb`]%M99r6?&L8k4R(##P5T/(`6;do7?pms3L^q~> +JcE"T#PGf5'bsibp"03UrqGX$VKb`]%M99r6?&L8k4R(##P5T/(`6;do7?pms3L^q~> +JcE"T#PGf5'bsibp"03UrqGX$VKb`]%M99r6?&L8k4R(##P5T/(`6;do7?pms3L^q~> +JcE"T#P5W0(Dg,co@X'TpZBPiF[RDd&.U$XG,3:Cp\iD;#PGi5'bsfbon!-os3L^q~> +JcE"T#P5W0(Dg,co@X'TpZBPiF[RDd&.U$XG,3:Cp\iD;#PGi5'bsfbon!-os3L^q~> +JcE"T#P5W0(Dg,co@X'TpZBPiF[RDd&.U$XG,3:Cp\iD;#PGi5'bsfbon!-os3L^q~> +JcE"T#PPf-%hDOMp=oT[rV>WtST$t@&d/ps7 +JcE"T#PPf-%hDOMp=oT[rV>WtST$t@&d/ps7 +JcE"T#PPf-%hDOMp=oT[rV>WtST$t@&d/ps7 +JcE"T#P5T0(`6>eoA0EYrV,'+>U#8pR5WlMAX&#PGc4(`6Agon!-os3L^q~> +JcE"T#P5T0(`6>eoA0EYrV,'+>U#8pR5WlMAX&#PGc4(`6Agon!-os3L^q~> +JcE"T#P5T0(`6>eoA0EYrV,'+>U#8pR5WlMAX&#PGc4(`6Agon!-os3L^q~> +JcE"T#PGi6'bsicp##c]rq,9hQtSZ,%M9C)9ms%flhAI"#PGf4'bsfaon!-os3L^q~> +JcE"T#PGi6'bsicp##c]rq,9hQtSZ,%M9C)9ms%flhAI"#PGf4'bsfaon!-os3L^q~> +JcE"T#PGi6'bsicp##c]rq,9hQtSZ,%M9C)9ms%flhAI"#PGf4'bsfaon!-os3L^q~> +JcFC&"T.ucp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mlT[oF4]=MFIert>>(ik^pp3uJP; +'J*(1Xjl_7rl4sCo=\-?(KJ0?JcC<$ci8L~> +JcFC&"T.ucp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mlT[oF4]=MFIert>>(ik^pp3uJP; +'J*(1Xjl_7rl4sCo=\-?(KJ0?JcC<$ci8L~> +JcFC&"T.ucp@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U$1mlT[oF4]=MFIert>>(ik^pp3uJP; +'J*(1Xjl_7rl4sCo=\-?(KJ0?JcC<$ci8L~> +JcFF'0DFSR]=>Je]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X<_e'Gac`p#H&aqtApa +Q";uu'*K(%;1Ph!mJOm%#PPf-%hDOMp4<6ps3L^q~> +JcFF'0DFSR]=>Je]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X<_e'Gac`p#H&aqtApa +Q";uu'*K(%;1Ph!mJOm%#PPf-%hDOMp4<6ps3L^q~> +JcFF'0DFSR]=>Je]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X<_e'Gac`p#H&aqtApa +Q";uu'*K(%;1Ph!mJOm%#PPf-%hDOMp4<6ps3L^q~> +JcFI(0`0n1Cf*Yt<`rO,=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dp`+q"rZ]_1Cd&cD4U +]9?ba*Y&c".TD//e*d(Krs//. +JcFI(0`0n1Cf*Yt<`rO,=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dp`+q"rZ]_1Cd&cD4U +]9?ba*Y&c".TD//e*d(Krs//. +JcFI(0`0n1Cf*Yt<`rO,=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dp`+q"rZ]_1Cd&cD4U +]9?ba*Y&c".TD//e*d(Krs//. +JcFI(0_W_**"N>f',VQ$(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#mCc1\b"t`&b4\f +NEnF]$P=./=ba<9o(r@$rs/53 +JcFI(0_W_**"N>f',VQ$(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#mCc1\b"t`&b4\f +NEnF]$P=./=ba<9o(r@$rs/53 +JcFI(0_W_**"N>f',VQ$(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#mCc1\b"t`&b4\f +NEnF]$P=./=ba<9o(r@$rs/53 +JcFI(1A8gs'F"XJ&Jl9!(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#m1K&\G#t&rY+`" +')_CX\VjfP(_@#l10B@?g@5+@^AeH2^/l-g=2+?Ys+13rs*t~> +JcFI(1A8gs'F"XJ&Jl9!(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#m1K&\G#t&rY+`" +')_CX\VjfP(_@#l10B@?g@5+@^AeH2^/l-g=2+?Ys+13rs*t~> +JcFI(1A8gs'F"XJ&Jl9!(_7Dt(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Do#m1K&\G#t&rY+`" +')_CX\VjfP(_@#l10B@?g@5+@^AeH2^/l-g=2+?Ys+13rs*t~> +JcFI(1Afg[0+&"/6WR;k=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dm_+q,)\](>t%ro`eN +&c2"L\;aZF)\EJu1L5sJg$npOrs/51=;VlW^%HsVJcF'rJ,~> +JcFI(1Afg[0+&"/6WR;k=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dm_+q,)\](>t%ro`eN +&c2"L\;aZF)\EJu1L5sJg$npOrs/51=;VlW^%HsVJcF'rJ,~> +JcFI(1Afg[0+&"/6WR;k=&E"#=]ed-;-$e%=BJX%<`iL,=BA@#=BSa.=&Dm_+q,)\](>t%ro`eN +&c2"L\;aZF)\EJu1L5sJg$npOrs/51=;VlW^%HsVJcF'rJ,~> +JcFF'0C>f3&J.9g[_BMh]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X +JcFF'0C>f3&J.9g[_BMh]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X +JcFF'0C>f3&J.9g[_BMh]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]X +JcFF'%.h#0(Dg#Xl1O`@p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgKgp?B%d(Dp8gp$htorqu3:Z@c.0 +((1Tg2e8&aht6lVrs///<>QHO^%6gTJcF'rJ,~> +JcFF'%.h#0(Dg#Xl1O`@p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgKgp?B%d(Dp8gp$htorqu3:Z@c.0 +((1Tg2e8&aht6lVrs///<>QHO^%6gTJcF'rJ,~> +JcFF'%.h#0(Dg#Xl1O`@p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgKgp?B%d(Dp8gp$htorqu3:Z@c.0 +((1Tg2e8&aht6lVrs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PPf-%hDOMp>Q#Vot=KF(g4QFnc'3rmaA=k<%\mu$m%E=P.ooGrjDb2p:O65%oL"5JcC<$ +ci8L~> +JcFF'#PPf-%hDOMp>Q#Vot=KF(g4QFnc'3rmaA=k<%\mu$m%E=P.ooGrjDb2p:O65%oL"5JcC<$ +ci8L~> +JcFF'#PPf-%hDOMp>Q#Vot=KF(g4QFnc'3rmaA=k<%\mu$m%E=P.ooGrjDb2p:O65%oL"5JcC<$ +ci8L~> +JcFF'#P5T0(`6>eoAT]SotFNC'j/3CoD]F!ld2Y]:a[%h&Kj/MR_dtUr3QD.o=S*@(fn<@JcC<$ +ci8L~> +JcFF'#P5T0(`6>eoAT]SotFNC'j/3CoD]F!ld2Y]:a[%h&Kj/MR_dtUr3QD.o=S*@(fn<@JcC<$ +ci8L~> +JcFF'#P5T0(`6>eoAT]SotFNC'j/3CoD]F!ld2Y]:a[%h&Kj/MR_dtUr3QD.o=S*@(fn<@JcC<$ +ci8L~> +JcFF'#PGi6'bsicp#5oUo=\0@(KS6@pAYd)qs)Y1HV,_&";2hBCRW9)q#.Jt#PGi5'bsfbon!-o +s3L^q~> +JcFF'#PGi6'bsicp#5oUo=\0@(KS6@pAYd)qs)Y1HV,_&";2hBCRW9)q#.Jt#PGi5'bsfbon!-o +s3L^q~> +JcFF'#PGi6'bsicp#5oUo=\0@(KS6@pAYd)qs)Y1HV,_&";2hBCRW9)q#.Jt#PGi5'bsfbon!-o +s3L^q~> +JcFF'#PGf5(`6Ahp#5oUp:O65%oL"5q#:Tuq!-,'H;#de&-a4@DO\W+ore<"otFKE(g"HEJcC<$ +ci8L~> +JcFF'#PGf5(`6Ahp#5oUp:O65%oL"5q#:Tuq!-,'H;#de&-a4@DO\W+ore<"otFKE(g"HEJcC<$ +ci8L~> +JcFF'#PGf5(`6Ahp#5oUp:O65%oL"5q#:Tuq!-,'H;#de&-a4@DO\W+ore<"otFKE(g"HEJcC<$ +ci8L~> +JcFF'#PGc5(`6Dhp#5oUo=S-A(g"BAq>V'#kfTZC7jSf\%4">^TZ6*driQ2*ot=HE(g+KEJcC<$ +ci8L~> +JcFF'#PGc5(`6Dhp#5oUo=S-A(g"BAq>V'#kfTZC7jSf\%4">^TZ6*driQ2*ot=HE(g+KEJcC<$ +ci8L~> +JcFF'#PGc5(`6Dhp#5oUo=S-A(g"BAq>V'#kfTZC7jSf\%4">^TZ6*driQ2*ot=HE(g+KEJcC<$ +ci8L~> +JcFF'#PGf5'bsibp#5oUotOTD'j/6Dr;RE/q<5qmE^h8e#8ALOEi%(DqYdJp#PGf4'bsfaon!-o +s3L^q~> +JcFF'#PGf5'bsibp#5oUotOTD'j/6Dr;RE/q<5qmE^h8e#8ALOEi%(DqYdJp#PGf4'bsfaon!-o +s3L^q~> +JcFF'#PGf5'bsibp#5oUotOTD'j/6Dr;RE/q<5qmE^h8e#8ALOEi%(DqYdJp#PGf4'bsfaon!-o +s3L^q~> +JcFF'#P5W0(Dg,coAT]SotFNF(g+NFrr3T/q;o_lE'P]_$5=^UG+m(CqPaE!o=\-?(KJ0?JcC<$ +ci8L~> +JcFF'#P5W0(Dg,coAT]SotFNF(g+NFrr3T/q;o_lE'P]_$5=^UG+m(CqPaE!o=\-?(KJ0?JcC<$ +ci8L~> +JcFF'#P5W0(Dg,coAT]SotFNF(g+NFrr3T/q;o_lE'P]_$5=^UG+m(CqPaE!o=\-?(KJ0?JcC<$ +ci8L~> +JcFF'#PPf-%hDOMp>Q#iot=KF(g4QFs8M]Q`11[2,7Y;"-qeiabj"hurs/81;%F17]_6pVJcF'r +J,~> +JcFF'#PPf-%hDOMp>Q#iot=KF(g4QFs8M]Q`11[2,7Y;"-qeiabj"hurs/81;%F17]_6pVJcF'r +J,~> +JcFF'#PPf-%hDOMp>Q#iot=KF(g4QFs8M]Q`11[2,7Y;"-qeiabj"hurs/81;%F17]_6pVJcF'r +J,~> +JcFF'#P5T0(`6>eoAT]eotFNC'j/3Cp>`uVCH`^M%MC6cIB:f]qYm>k#P5T/(`6;do7?pms3L^q~> +JcFF'#P5T0(`6>eoAT]eotFNC'j/3Cp>`uVCH`^M%MC6cIB:f]qYm>k#P5T/(`6;do7?pms3L^q~> +JcFF'#P5T0(`6>eoAT]eotFNC'j/3Cp>`uVCH`^M%MC6cIB:f]qYm>k#P5T/(`6;do7?pms3L^q~> +JcFF'#PGi6'bsicp#5oeo=\0@(KIor`0b:'*te\l.o(Poe*R#3U]1Sl^K2-b=24EZs+13rs*t~> +JcFF'#PGi6'bsicp#5oeo=\0@(KIor`0b:'*te\l.o(Poe*R#3U]1Sl^K2-b=24EZs+13rs*t~> +JcFF'#PGi6'bsicp#5oeo=\0@(KIor`0b:'*te\l.o(Poe*R#3U]1Sl^K2-b=24EZs+13rs*t~> +JcFF'#PGf5(`6Ahp#5obp:O65%nDVAB/q(F&/ZfmK +JcFF'#PGf5(`6Ahp#5obp:O65%nDVAB/q(F&/ZfmK +JcFF'#PGf5(`6Ahp#5obp:O65%nDVAB/q(F&/ZfmK +JcFF'#PGc5(`6Dhp#5o`o=S'='/E'7*"3Dp0NWq6f'rL,rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhp#5o`o=S'='/E'7*"3Dp0NWq6f'rL,rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhp#5o`o=S'='/E'7*"3Dp0NWq6f'rL,rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGf5'bsibp#5o_ot=66$5='^$5YBsKsTD"rViAf#PGf4'bsfaon!-os3L^q~> +JcFF'#PGf5'bsibp#5o_ot=66$5='^$5YBsKsTD"rViAf#PGf4'bsfaon!-os3L^q~> +JcFF'#PGf5'bsibp#5o_ot=66$5='^$5YBsKsTD"rViAf#PGf4'bsfaon!-os3L^q~> +JcFF'#P5W0(Dg,coAT]ZotOK<"pbGP0j9C=fC/X+rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,coAT]ZotOK<"pbGP0j9C=fC/X+rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,coAT]ZotOK<"pbGP0j9C=fC/X+rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PPf-%hDOMp>Q#[q9En!$kb'qO1X*9qO%9fp:O65%oL"5JcC<$ci8L~> +JcFF'#PPf-%hDOMp>Q#[q9En!$kb'qO1X*9qO%9fp:O65%oL"5JcC<$ci8L~> +JcFF'#PPf-%hDOMp>Q#[q9En!$kb'qO1X*9qO%9fp:O65%oL"5JcC<$ci8L~> +JcFF'#P5T0(`6>eoAT]Wr9(1s9jELah=U[FQi@<^]N,jd +JcFF'#P5T0(`6>eoAT]Wr9(1s9jELah=U[FQi@<^]N,jd +JcFF'#P5T0(`6>eoAT]Wr9(1s9jELah=U[FQi@<^]N,jd +JcFF'#PGi6'bsicp#,iTqW5f0_qah^PlD!]^K2-b=24EZs+13rs*t~> +JcFF'#PGi6'bsicp#,iTqW5f0_qah^PlD!]^K2-b=24EZs+13rs*t~> +JcFF'#PGi6'bsicp#,iTqW5f0_qah^PlD!]^K2-b=24EZs+13rs*t~> +JcFF'#PGf5(`6Ahp##cPr:]aUr0%'botFKE(g"HEJcC<$ci8L~> +JcFF'#PGf5(`6Ahp##cPr:]aUr0%'botFKE(g"HEJcC<$ci8L~> +JcFF'#PGf5(`6Ahp##cPr:]aUr0%'botFKE(g"HEJcC<$ci8L~> +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc5(`6Dhon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#PGf5'bsibon!//rs/52 +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#P5W0(Dg,co7?r-rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PPf-%hDOMp4<80rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#P5T0(`6>eo7?r-rs//. +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGi6'bsicon!//rs/53 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGf5(`6Ahon!//rs/52 +JcFF'#PGc4(Dg2eon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc4(Dg2eon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGc4(Dg2eon!//rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PGZ*&e\'Qon!//rs/52 +JcFF'#PGZ*&e\'Qon!//rs/52 +JcFF'#PGZ*&e\'Qon!//rs/52 +JcFF'#Oni\%1PS)n:CW*rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#Oni\%1PS)n:CW*rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#Oni\%1PS)n:CW*rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#On65!s:$Cn:CW*rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#On65!s:$Cn:CW*rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#On65!s:$Cn:CW*rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#O.Hu!s9g5l%/m#rs//. +JcFF'#O.Hu!s9g5l%/m#rs//. +JcFF'#O.Hu!s9g5l%/m#rs//. +JcFF'#O\'0!s9s@mXbE(rs/53 +JcFF'#O\'0!s9s@mXbE(rs/53 +JcFF'#O\'0!s9s@mXbE(rs/53 +JcFF'#OeZR$48homt(N)rs/52 +JcFF'#OeZR$48homt(N)rs/52 +JcFF'#OeZR$48homt(N)rs/52 +JcFF'#PPSs$k,\8p4<80rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PPSs$k,\8p4<80rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#PPSs$k,\8p4<80rs/51=;VlW^%HsVJcF'rJ,~> +JcFF'#P5T.(Dg)ao7?r-rs/52 +JcFF'#P5T.(Dg)ao7?r-rs/52 +JcFF'#P5T.(Dg)ao7?r-rs/52 +JcFF'#PGi5'bsfbon!//rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGi5'bsfbon!//rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGi5'bsfbon!//rs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGf4(`6>gon!//rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGf4(`6>gon!//rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGf4(`6>gon!//rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGc4(`6Agon!//rs//. +JcFF'#PGc4(`6Agon!//rs//. +JcFF'#PGc4(`6Agon!//rs//. +JcFF'#PGf4'bsfaon!//rs/53 +JcFF'#PGf4'bsfaon!//rs/53 +JcFF'#PGf4'bsfaon!//rs/53 +JcFF'#P5W/(Dg)bo7?r-rs/52 +JcFF'#P5W/(Dg)bo7?r-rs/52 +JcFF'#P5W/(Dg)bo7?r-rs/52 +JcFF'#PPf-%hDOMp6Yd]r;$0dg&D +JcFF'#PPf-%hDOMp6Yd]r;$0dg&D +JcFF'#PPf-%hDOMp6Yd]r;$0dg&D +JcFF'#P5T/(`6;do9fO]qWceglMB67#PGf4'bsfaon!-os3L^q~> +JcFF'#P5T/(`6;do9fO]qWceglMB67#PGf4'bsfaon!-os3L^q~> +JcFF'#P5T/(`6;do9fO]qWceglMB67#PGf4'bsfaon!-os3L^q~> +JcFF'#PGi5'bsfboud:=r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=hoCheH +iO4Js]'B4Jrs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGi5'bsfboud:=r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=hoCheH +iO4Js]'B4Jrs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGi5'bsfboud:=r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=hoCheH +iO4Js]'B4Jrs///<>QHO^%6gTJcF'rJ,~> +JcFF'#PGf4(`6>gp!!Fsr:K's`4ipt]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"gSmj0$GgQ9@rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGf4(`6>gp!!Fsr:K's`4ipt]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"gSmj0$GgQ9@rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGf4(`6>gp!!Fsr:K's`4ipt]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"gSmj0$GgQ9@rs/81;%F17]_6pVJcF'rJ,~> +JcFF'#PGc4(`6Agp!*LuqWGqmG%"KQ;-$b"=BAL"<``@)=&i*u='&L* +JcFF'#PGc4(`6Agp!*LuqWGqmG%"KQ;-$b"=BAL"<``@)=&i*u='&L* +JcFF'#PGc4(`6Agp!*LuqWGqmG%"KQ;-$b"=BAL"<``@)=&i*u='&L* +JcFF'#PGf4'bsfap!3S"r9Ce:9dgts(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sLESn_='KotOQC'j&0CJcC<$ci8L~> +JcFF'#PGf4'bsfap!3S"r9Ce:9dgts(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sLESn_='KotOQC'j&0CJcC<$ci8L~> +JcFF'#PGf4'bsfap!3S"r9Ce:9dgts(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sLESn_='KotOQC'j&0CJcC<$ci8L~> +JcFF'#P5W/(Dg)bo?R@uq9sdE*?,k2(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sL6ImG%XGotFKE(g"HEJcC<$ci8L~> +JcFF'#P5W/(Dg)bo?R@uq9sdE*?,k2(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sL6ImG%XGotFKE(g"HEJcC<$ci8L~> +JcFF'#P5W/(Dg)bo?R@uq9sdE*?,k2(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_dVj!sL6ImG%XGotFKE(g"HEJcC<$ci8L~> +JcFF'#PPf-%hDOMp +JcFF'#PPf-%hDOMp +JcFF'#PPf-%hDOMp +JcFF'#P5N+(DfuWkPb&Sq>SnD4S?Ej()0?&\@oPf^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y(kN>T4,.S`9V@!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-Wrq-N^[T+%V +<4_XOs+13rs*t~> +JcFF'#P5N+(DfuWkPb&Sq>SnD4S?Ej()0?&\@oPf^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y(kN>T4,.S`9V@!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-Wrq-N^[T+%V +<4_XOs+13rs*t~> +JcFF'#P5N+(DfuWkPb&Sq>SnD4S?Ej()0?&\@oPf^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l +^V7Cq]tD"m^:h7o]Y(kN>T4,.S`9V@!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-Wrq-N^[T+%V +<4_XOs+13rs*t~> +JcFF'&Fcko&._$cYILsJ^X205p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgWkp@IOW +;\p6K[d!DWoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSof;X;oCLUd,7,iJZG+#d^V%4m +^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7gNC+?m7@rE5JcC<$d/SU~> +JcFF'&Fcko&._$cYILsJ^X205p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgWkp@IOW +;\p6K[d!DWoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSof;X;oCLUd,7,iJZG+#d^V%4m +^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7gNC+?m7@rE5JcC<$d/SU~> +JcFF'&Fcko&._$cYILsJ^X205p@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U!qZ-WrUgWkp@IOW +;\p6K[d!DWoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSof;X;oCLUd,7,iJZG+#d^V%4m +^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7gNC+?m7@rE5JcC<$d/SU~> +JcFI(6i>o%/.)\(3_2Y*6VD-\ZFdfa]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m +^;%=n]ss1l%M)FLp=0+$ro]Fn#ol*,='/O*<`)ju=BAR);,p\"='&F" +JcFI(6i>o%/.)\(3_2Y*6VD-\ZFdfa]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m +^;%=n]ss1l%M)FLp=0+$ro]Fn#ol*,='/O*<`)ju=BAR);,p\"='&F" +JcFI(6i>o%/.)\(3_2Y*6VD-\ZFdfa]tV7o]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m +^;%=n]ss1l%M)FLp=0+$ro]Fn#ol*,='/O*<`)ju=BAR);,p\"='&F" +JcFI(6i#,B'*A:A#n@7I#mqM0:/Fql=BAR);,p\"='&F" +JcFI(6i#,B'*A:A#n@7I#mqM0:/Fql=BAR);,p\"='&F" +JcFI(6i#,B'*A:A#n@7I#mqM0:/Fql=BAR);,p\"='&F" +JcFI(#l2k]'*84?#mgM32Zj9p((V2r(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_mku(DR]!$kcRTp!`q!m[Ys8$k*pe(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_meq&eQ$ +JcFI(#l2k]'*84?#mgM32Zj9p((V2r(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_mku(DR]!$kcRTp!`q!m[Ys8$k*pe(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_meq&eQ$ +JcFI(#l2k]'*84?#mgM32Zj9p((V2r(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_mku(DR]!$kcRTp!`q!m[Ys8$k*pe(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_meq&eQ$ +JcFI(6i>i#.gZJ$/0"p%#RV"Q(Cq;s(`3u)%i5rt(_mku(DRc('c7Gt'c7c&(_7Dt(`3u)%i5rt +(_mku(DR]!%M`!Xp!`q!m@lKJ(,AQa=BAR);,p\"='&F" +JcFF'6Lh0F$k,1ADG3D`77pHX;,p\"='&F" +JcFF'6Lh0F$k,1ADG3D`77pHX;,p\"='&F" +JcFF'7J")i(DfuPahbKr[^s2c]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o +^V%4m\<0;q'iha/oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=ioCheKk,:T[*+d%U +rq-?ap@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U#4qQ[p%A.YJcC<$ci8L~> +JcFF'7J")i(DfuPahbKr[^s2c]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o +^V%4m\<0;q'iha/oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=ioCheKk,:T[*+d%U +rq-?ap@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U#4qQ[p%A.YJcC<$ci8L~> +JcFF'7J")i(DfuPahbKr[^s2c]Y2%m^;%=n]tV1o^V%4m^:h7q]Y(ql]tV7o]Y2%m^;%=n]tV1o +^V%4m\<0;q'iha/oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=ioCheKk,:T[*+d%U +rq-?ap@J7U!qZ-WrUg6`p@J7U!qZ-WrUg6`p@J7U#4qQ[p%A.YJcC<$ci8L~> +JcFF'$2)&7'bsfbn+ZGPo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSog&-BoBEbe +)&Q#0[_9>d^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"eLH,hY=2FW^ +s+13Es*t~> +JcFF'$2)&7'bsfbn+ZGPo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSog&-BoBEbe +)&Q#0[_9>d^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"eLH,hY=2FW^ +s+13Es*t~> +JcFF'$2)&7'bsfbn+ZGPo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSog&-BoBEbe +)&Q#0[_9>d^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m^:h7o]Y)"eLH,hY=2FW^ +s+13Es*t~> +JcFF'#PGf4(`6>gp!3S#pW-n\&N!3^ +JcFF'#PGf4(`6>gp!3S#pW-n\&N!3^ +JcFF'#PGf4(`6>gp!3S#pW-n\&N!3^ +JcFF'#PGc4(`6Agp!3S#q;%B00-D/J(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_mi$$O-bdU$R@1JcDJEJ,~> +JcFF'#PGc4(`6Agp!3S#q;%B00-D/J(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_mi$$O-bdU$R@1JcDJEJ,~> +JcFF'#PGc4(`6Agp!3S#q;%B00-D/J(Cq>t(`3u(%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(% +i?#u(_mht(_mi$$O-bdU$R@1JcDJEJ,~> +JcFF'#PGf4'bsfap!*M!p!ojP/K>NB%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c.Vs%h1h0mt(Lis.]OD~> +JcFF'#PGf4'bsfap!*M!p!ojP/K>NB%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c.Vs%h1h0mt(Lis.]OD~> +JcFF'#PGf4'bsfap!*M!p!ojP/K>NB%i?#u(_mht(_ml)'c.At'c7c&(Cq>t(`3u(%i?#u(_mht +(_ml)'c.At'c.Vs%h1h0mt(Lis.]OD~> +JcFF'#P5W/(Dg)bo?@4rp>3*(@ou`.<``@)=&i*u='&L*3*(@ou`.<``@)=&i*u='&L*3*(@ou`.<``@)=&i*u='&L* +JcFF'#PPf-%hDOMp<3IrqWcPJ^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tCnng\$-tJcDGDJ,~> +JcFF'#PPf-%hDOMp<3IrqWcPJ^:h1l^V7Cq]tD"m^:h7o]Y)"n]tV1m]YD1o^:h1l^V7Cq]tD"m +^:h7o]Y)"n]tCnng\$-tJcDGDJ,~> +JcFF'#P5T/(`6;do?.(;r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheS +o`FaZq18Qss.KCB~> +JcFF'#P5T/(`6;do?.(;r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheS +o`FaZq18Qss.KCB~> +JcFF'#P5T/(`6;do?.(;r;$$YoCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheSo`FaYoDS=`oCheS +o`FaZq18Qss.KCB~> +JcFF'#PGi5'bsfbon!-os+13Ts*t~> +JcFF'#PGi5'bsfbon!-os+13Ts*t~> +JcFF'#PGi5'bsfbon!-os+13Ts*t~> +JcFF'#PGf4(`6>gon!-os+13Ts*t~> +JcFF'#PGf4(`6>gon!-os+13Ts*t~> +JcFF'#PGf4(`6>gon!-os+13Ts*t~> +JcFF'#PGc4(`6Agon!-os+13Ts*t~> +JcFF'#PGc4(`6Agon!-os+13Ts*t~> +JcFF'#PGc4(`6Agon!-os+13Ts*t~> +JcFF'#PGf4'bsfaon!-os+13Ts*t~> +JcFF'#PGf4'bsfaon!-os+13Ts*t~> +JcFF'#PGf4'bsfaon!-os+13Ts*t~> +JcFF'#P5W/(Dg)bo7?pms+13Ts*t~> +JcFF'#P5W/(Dg)bo7?pms+13Ts*t~> +JcFF'#P5W/(Dg)bo7?pms+13Ts*t~> +JcFF'#PPf-%hDOMp4<6ps+13Ts*t~> +JcFF'#PPf-%hDOMp4<6ps+13Ts*t~> +JcFF'#PPf-%hDOMp4<6ps+13Ts*t~> +JcFF'#P5T/(`6;do=b/(fDYaP!>]).rr32X=VV,eGjkY3!qqf_JcC<$NW4M~> +JcFF'#P5T/(`6;do=b/(fDYaP!>]).rr32X=VV,eGjkY3!qqf_JcC<$NW4M~> +JcFF'#P5T/(`6;do=b/(fDYaP!>]).rr32X=VV,eGjkY3!qqf_JcC<$NW4M~> +JcFF'#PGi5'bsfbotCAAf)tpIq:en +JcFF'#PGi5'bsfbotCAAf)tpIq:en +JcFF'#PGi5'bsfbotCAAf)tpIq:en +JcFF'#PGf4(`6>gotCA+f)u!O"j[\Ys$M#+rr`#lf)pU(JcC`0J,~> +JcFF'#PGf4(`6>gotCA+f)u!O"j[\Ys$M#+rr`#lf)pU(JcC`0J,~> +JcFF'#PGf4(`6>gotCA+f)u!O"j[\Ys$M#+rr`#lf)pU(JcC`0J,~> +JcFF'#PGc4(`6AgotCA+f)u$P#4uOqs7$0Mp\t9G"+gK's,I&/~> +JcFF'#PGc4(`6AgotCA+f)u$P#4uOqs7$0Mp\t9G"+gK's,I&/~> +JcFF'#PGc4(`6AgotCA+f)u$P#4uOqs7$0Mp\t9G"+gK's,I&/~> +JcFF'#PGf4'bsfaotCA;f)QU'('[b%s4dVRs8R*U(E`VU!S7F)s+130s*t~> +JcFF'#PGf4'bsfaotCA;f)QU'('[b%s4dVRs8R*U(E`VU!S7F)s+130s*t~> +JcFF'#PGf4'bsfaotCA;f)QU'('[b%s4dVRs8R*U(E`VU!S7F)s+130s*t~> +JcFF'#P5W/(Dg)bo=b/9f)t4!_?m=Ds7$0Ns8VWP_[$/?!S7F)s+130s*t~> +JcFF'#P5W/(Dg)bo=b/9f)t4!_?m=Ds7$0Ns8VWP_[$/?!S7F)s+130s*t~> +JcFF'#P5W/(Dg)bo=b/9f)t4!_?m=Ds7$0Ns8VWP_[$/?!S7F)s+130s*t~> +JcFF'#PPf-%hDOMp:^J,f)u$P#,;XZs8PN5rVloM#Q=Z'f)pU(JcC`0J,~> +JcFF'#PPf-%hDOMp:^J,f)u$P#,;XZs8PN5rVloM#Q=Z'f)pU(JcC`0J,~> +JcFF'#PPf-%hDOMp:^J,f)u$P#,;XZs8PN5rVloM#Q=Z'f)pU(JcC`0J,~> +JcFF'#P5T/(`6;do=b/)f)u!O$ZIQds4A$,g%XW\#Q=Z'f)pU(JcC`0J,~> +JcFF'#P5T/(`6;do=b/)f)u!O$ZIQds4A$,g%XW\#Q=Z'f)pU(JcC`0J,~> +JcFF'#P5T/(`6;do=b/)f)u!O$ZIQds4A$,g%XW\#Q=Z'f)pU(JcC`0J,~> +JcFF'#PGi6()C#eotCA+f)u!O$i<4is8Uta)$CUF[/L"*f)pU(JcC`0J,~> +JcFF'#PGi6()C#eotCA+f)u!O$i<4is8Uta)$CUF[/L"*f)pU(JcC`0J,~> +JcFF'#PGi6()C#eotCA+f)u!O$i<4is8Uta)$CUF[/L"*f)pU(JcC`0J,~> +JcFL)&H)@i]j;^!?G,UsoCqtSq>>gDJcC<$\Gq'~> +JcFL)&H)@i]j;^!?G,UsoCqtSq>>gDJcC<$\Gq'~> +JcFL)&H)@i]j;^!?G,UsoCqtSq>>gDJcC<$\Gq'~> +JcFO*')LnB^Red\-X`LU^;%V0dG!m^JcC<$JcE:\J,~> +JcFO*')LnB^Red\-X`LU^;%V0dG!m^JcC<$JcE:\J,~> +JcFO*')LnB^Red\-X`LU^;%V0dG!m^JcC<$JcE:\J,~> +JcFR+'`@.(IUH#;/2'4a<``F1Ed3GRlMQ55JcC<$])R9~> +JcFR+'`@.(IUH#;/2'4a<``F1Ed3GRlMQ55JcC<$])R9~> +JcFR+'`@.(IUH#;/2'4a<``F1Ed3GRlMQ55JcC<$])R9~> +JcFR+'_KIk/K5E?%2BNm(_mo%/1EB+e+nRpJcC<$])R9~> +JcFR+'_KIk/K5E?%2BNm(_mo%/1EB+e+nRpJcC<$])R9~> +JcFR+'_KIk/K5E?%2BNm(_mo%/1EB+e+nRpJcC<$])R9~> +JcFU,(&[-c9cXu`(Cq;s(`3u*&gA,3@Dhbhs+13$s185\~> +JcFU,(&[-c9cXu`(Cq;s(`3u*&gA,3@Dhbhs+13$s185\~> +JcFU,(&[-c9cXu`(Cq;s(`3u*&gA,3@Dhbhs+13$s185\~> +JcFU,(&?7$-lXp5;c-Rs='/O*9fNh$;nM^Rs+13$s185\~> +JcFU,(&?7$-lXp5;c-Rs='/O*9fNh$;nM^Rs+13$s185\~> +JcFU,(&?7$-lXp5;c-Rs='/O*9fNh$;nM^Rs+13$s185\~> +JcFU,(%oOT*#VA2[_08f^:h7iQV\M8:q6+Js+13$s185\~> +JcFU,(%oOT*#VA2[_08f^:h7iQV\M8:q6+Js+13$s185\~> +JcFU,(%oOT*#VA2[_08f^:h7iQV\M8:q6+Js+13$s185\~> +JcFU,$225@(DK]Pl1X`Io`sfs=:u$6[If%MJcC<$])R9~> +JcFU,$225@(DK]Pl1X`Io`sfs=:u$6[If%MJcC<$])R9~> +JcFU,$225@(DK]Pl1X`Io`sfs=:u$6[If%MJcC<$])R9~> +JcFU,#PGo=)AZ,XoDAOmp;UP\'M>b'JcC<$JcE=]J,~> +JcFU,#PGo=)AZ,XoDAOmp;UP\'M>b'JcC<$JcE=]J,~> +JcFU,#PGo=)AZ,XoDAOmp;UP\'M>b'JcC<$JcE=]J,~> +JcFU,#PZ/@'+@F=o_\Xnpr[.d&4s5"JcC<$JcE=]J,~> +JcFU,#PZ/@'+@F=o_\Xnpr[.d&4s5"JcC<$JcE=]J,~> +JcFU,#PZ/@'+@F=o_\Xnpr[.d&4s5"JcC<$JcE=]J,~> +JcFU,#PQ2I*#)#Oo)&FlprmIo'1fD!JcC<$JcE=]J,~> +JcFU,#PQ2I*#)#Oo)&FlprmIo'1fD!JcC<$JcE=]J,~> +JcFU,#PQ2I*#)#Oo)&FlprmIo'1fD!JcC<$JcE=]J,~> +JcFU,#PcJS)A#HGoDAOmq9<^s'1T:tJcC<$JcE=]J,~> +JcFU,#PcJS)A#HGoDAOmq9<^s'1T:tJcC<$JcE=]J,~> +JcFU,#PcJS)A#HGoDAOmq9<^s'1T:tJcC<$JcE=]J,~> +JcFU,#PcPY*YV&Ko)&Flq9j.$%mmGiJcC<$JcE=]J,~> +JcFU,#PcPY*YV&Ko)&Flq9j.$%mmGiJcC<$JcE=]J,~> +JcFU,#PcPY*YV&Ko)&Flq9j.$%mmGiJcC<$JcE=]J,~> +JcFU,#PlY_*YLlGnb`=kq9O"%&jNDbJcC<$JcE=]J,~> +JcFU,#PlY_*YLlGnb`=kq9O"%&jNDbJcC<$JcE=]J,~> +JcFU,#PlY_*YLlGnb`=kq9O"%&jNDbJcC<$JcE=]J,~> +JcFU,#Pled*=b?9nb`=kqU9C##<8UNJcC<$JcE=]J,~> +JcFU,#Pled*=b?9nb`=kqU9C##<8UNJcC<$JcE=]J,~> +JcFU,#Pled*=b?9nb`=kqU9C##<8UNJcC<$JcE=]J,~> +JcFU,#Pl_d+;$f:n,*+iqUB[3&3QlYJcC<$JcE=]J,~> +JcFU,#Pl_d+;$f:n,*+iqUB[3&3QlYJcC<$JcE=]J,~> +JcFU,#Pl_d+;$f:n,*+iqUB[3&3QlYJcC<$JcE=]J,~> +JcFU,#Puqi(^E!snGE4jqq-6<$ot3SJcC<$JcE=]J,~> +JcFU,#Puqi(^E!snGE4jqq-6<$ot3SJcC<$JcE=]J,~> +JcFU,#Puqi(^E!snGE4jqq-6<$ot3SJcC<$JcE=]J,~> +JcFU,#Q!"s+V6`4med"hqq?KE%QU?QJcC<$JcE=]J,~> +JcFU,#Q!"s+V6`4med"hqq?KE%QU?QJcC<$JcE=]J,~> +JcFU,#Q!"s+V6`4med"hqq?KE%QU?QJcC<$JcE=]J,~> +JcFU,#Q*5&+Ug<+n,*+ir7llM%QC0NJcC<$JcE=]J,~> +JcFU,#Q*5&+Ug<+n,*+ir7llM%QC0NJcC<$JcE=]J,~> +JcFU,#Q*5&+Ug<+n,*+ir7llM%QC0NJcC<$JcE=]J,~> +JcFU,#Q*8+,n;o1mJHngr8<2Q#rA:CJcC<$JcE=]J,~> +JcFU,#Q*8+,n;o1mJHngr8<2Q#rA:CJcC<$JcE=]J,~> +JcFU,#Q*8+,n;o1mJHngr8<2Q#rA:CJcC<$JcE=]J,~> +JcFU,#Q3D2-4Vr.mJHngrSNAV%5ORAJcC<$JcE=]J,~> +JcFU,#Q3D2-4Vr.mJHngrSNAV%5ORAJcC<$JcE=]J,~> +JcFU,#Q3D2-4Vr.mJHngrSNAV%5ORAJcC<$JcE=]J,~> +JcFU,#Q +JcFU,#Q +JcFU,#Q +JcFU,#Q +JcFU,#Q +JcFU,#Q +JcFU,#QEkB+Ta'ZmJHngrofIm#:u;0rr2uMrW!$$(1?G,rsmge'a>t/n,NE`3!g!nl@Jtds+14% +s*t~> +JcFU,#QEkB+Ta'ZmJHngrofIm#:u;0rr2uMrW!$$(1?G,rsmge'a>t/n,NE`3!g!nl@Jtds+14% +s*t~> +JcFU,#QEkB+Ta'ZmJHngrofIm#:u;0rr2uMrW!$$(1?G,rsmge'a>t/n,NE`3!g!nl@Jtds+14% +s*t~> +JcFU,#QEhH-k%\ql2(Dal'3b+/=>]$ru'Djqtp3Dgp!If4s8St.n`3_DJcC<$JcF@% +J,~> +JcFU,#QEhH-k%\ql2(Dal'3b+/=>]$ru'Djqtp3Dgp!If4s8St.n`3_DJcC<$JcF@% +J,~> +JcFU,#QEhH-k%\ql2(Dal'3b+/=>]$ru'Djqtp3Dgp!If4s8St.n`3_DJcC<$JcF@% +J,~> +JcFR+#4%L&#:l,,qYpcbR4J[qQKeDK!S7GPrrp^Ys8PH1p&>'=%>"P1s+14%s*t~> +JcFR+#4%L&#:l,,qYpcbR4J[qQKeDK!S7GPrrp^Ys8PH1p&>'=%>"P1s+14%s*t~> +JcFR+#4%L&#:l,,qYpcbR4J[qQKeDK!S7GPrrp^Ys8PH1p&>'=%>"P1s+14%s*t~> +JcFR+#3qR-$S.M+qYprjROe[lP3MuGs47APrs&+.6iZZXiq< +JcFR+#3qR-$S.M+qYprjROe[lP3MuGs47APrs&+.6iZZXiq< +JcFR+#3qR-$S.M+qYprjROe[lP3MuGs47APrs&+.6iZZXiq< +JcFR+#O@g2$S%>&rql^7lC'=6-]R0cs8U[N(Ddhk<9XA;!<3#uEYfN6r;QiY)nLV#JcC<$fDg@~> +JcFR+#O@g2$S%>&rql^7lC'=6-]R0cs8U[N(Ddhk<9XA;!<3#uEYfN6r;QiY)nLV#JcC<$fDg@~> +JcFR+#O@g2$S%>&rql^7lC'=6-]R0cs8U[N(Ddhk<9XA;!<3#uEYfN6r;QiY)nLV#JcC<$fDg@~> +JcFR+#O\'6#UbVorql^7m?oF*+,AnUs8U[QkNB\gXT/=j!os=\n`RdprVlrR-Co_fJcC<$f)L7~> +JcFR+#O\'6#UbVorql^7m?oF*+,AnUs8U[QkNB\gXT/=j!os=\n`RdprVlrR-Co_fJcC<$f)L7~> +JcFR+#O\'6#UbVorql^7m?oF*+,AnUs8U[QkNB\gXT/=j!os=\n`RdprVlrR-Co_fJcC<$f)L7~> +JcFR+#O7g5%46qirVQU&l^opA-&1=Us8U[Qrr31t%G1X[7="k3!S7SUrrU"Y["87.s+14#s*t~> +JcFR+#O7g5%46qirVQU&l^opA-&1=Us8U[Qrr31t%G1X[7="k3!S7SUrrU"Y["87.s+14#s*t~> +JcFR+#O7g5%46qirVQU&l^opA-&1=Us8U[Qrr31t%G1X[7="k3!S7SUrrU"Y["87.s+14#s*t~> +JcFR+#Oe06"!3$PrVQU&m[uBD,_Y(Qs8U[QrVmOM.J*Sl'Q_t%k(3j +JcFR+#Oe06"!3$PrVQU&m[uBD,_Y(Qs8U[QrVmOM.J*Sl'Q_t%k(3j +JcFR+#Oe06"!3$PrVQU&m[uBD,_Y(Qs8U[QrVmOM.J*Sl'Q_t%k(3j +JcFR+#OA'@%O?Y]r;6L%m\;]N-%XhKs8U[QrVmB)5umsbhd@<)'2#Y3rrN&u!!e)TJcC<$fDg@~> +JcFR+#OA'@%O?Y]r;6L%m\;]N-%XhKs8U[QrVmB)5umsbhd@<)'2#Y3rrN&u!!e)TJcC<$fDg@~> +JcFR+#OA'@%O?Y]r;6L%m\;]N-%XhKs8U[QrVmB)5umsbhd@<)'2#Y3rrN&u!!e)TJcC<$fDg@~> +JcFR+#OnHH$R1)Vr;6L!m\VuS,_"JEJcC<$JcE@^J,~> +JcFR+#OnHH$R1)Vr;6L!m\VuS,_"JEJcC<$JcE@^J,~> +JcFR+#OnHH$R1)Vr;6L!m\VuS,_"JEJcC<$JcE@^J,~> +JcFR+#O\HM%jQMUqtpBun"r)R+aVl>JcC<$JcE@^J,~> +JcFR+#O\HM%jQMUqtpBun"r)R+aVl>JcC<$JcE@^J,~> +JcFR+#O\HM%jQMUqtpBun"r)R+aVl>JcC<$JcE@^J,~> +JcFR+#OeQQ%jH>PqtpBum\`,X,'MH3JcC<$JcE@^J,~> +JcFR+#OeQQ%jH>PqtpBum\`,X,'MH3JcC<$JcE@^J,~> +JcFR+#OeQQ%jH>PqtpBum\`,X,'MH3JcC<$JcE@^J,~> +JcFR+#P"`U%3KfFqtpBunY\>O(iRn"JcC<$JcE@^J,~> +JcFR+#P"`U%3KfFqtpBunY\>O(iRn"JcC<$JcE@^J,~> +JcFR+#P"`U%3KfFqtpBunY\>O(iRn"JcC<$JcE@^J,~> +JcFR+#O\QV&Kl,@q>:0sn#ASb+*#['JcC<$JcE@^J,~> +JcFR+#O\QV&Kl,@q>:0sn#ASb+*#['JcC<$JcE@^J,~> +JcFR+#O\QV&Kl,@q>:0sn#ASb+*#['JcC<$JcE@^J,~> +JcFR+#P"fU#T%:'q>:0snuY4g*,a1"JcC<$JcE@^J,~> +JcFR+#P"fU#T%:'q>:0snuY4g*,a1"JcC<$JcE@^J,~> +JcFR+#P"fU#T%:'q>:0snuY4g*,a1"JcC<$JcE@^J,~> +JcFR+#Oei`'-:u7q"t'rnZYIq*c90tJcC<$JcE@^J,~> +JcFR+#Oei`'-:u7q"t'rnZYIq*c90tJcC<$JcE@^J,~> +JcFR+#Oei`'-:u7q"t'rnZYIq*c90tJcC<$JcE@^J,~> +JcFR+#P,,g%if9-q>:0so!:k#*GNamJcC<$JcE@^J,~> +JcFR+#P,,g%if9-q>:0so!:k#*GNamJcC<$JcE@^J,~> +JcFR+#P,,g%if9-q>:0so!:k#*GNamJcC<$JcE@^J,~> +JcFR+#P,2n'HCc-p\Xsqo<_%#).q%dJcC<$JcE@^J,~> +JcFR+#P,2n'HCc-p\Xsqo<_%#).q%dJcC<$JcE@^J,~> +JcFR+#P,2n'HCc-p\Xsqo<_%#).q%dJcC<$JcE@^J,~> +JcFR+#P,;s'HC]+pA=jpo!D(*)e-e[JcC<$JcE@^J,~> +JcFR+#P,;s'HC]+pA=jpo!D(*)e-e[JcC<$JcE@^J,~> +JcFR+#P,;s'HC]+pA=jpo!D(*)e-e[JcC<$JcE@^J,~> +JcFR+(%et1&f>#mmIfuK->fs+13$s1A;]~> +JcFR+(%et1&f>#mmIfuK->fs+13$s1A;]~> +JcFR+(%et1&f>#mmIfuK->fs+13$s1A;]~> +JcFR+(%Sn7(`QYQ]Xk5=Ts)&8M*)@c=i0i_s+13$s1A;]~> +JcFR+(%Sn7(`QYQ]Xk5=Ts)&8M*)@c=i0i_s+13$s1A;]~> +JcFR+(%Sn7(`QYQ]Xk5=Ts)&8M*)@c=i0i_s+13$s1A;]~> +JcFR+(%oOT()Tk\?Vs$=00i?55TU1@:VHIQs+13$s1A;]~> +JcFR+(%oOT()Tk\?Vs$=00i?55TU1@:VHIQs+13$s1A;]~> +JcFR+(%oOT()Tk\?Vs$=00i?55TU1@:VHIQs+13$s1A;]~> +JcFR+(&?XP +JcFR+(&?XP +JcFR+(&?XP +JcFO*'_L(jVKk!<&IAL@#SRsc%0[DSb5$VgJcC<$]DmB~> +JcFO*'_L(jVKk!<&IAL@#SRsc%0[DSb5$VgJcC<$]DmB~> +JcFO*'_L(jVKk!<&IAL@#SRsc%0[DSb5$VgJcC<$]DmB~> +JcFL)'D_.T\:J$U+UA;l5#Y9F3*)d8r.4m!s+13^s*t~> +JcFL)'D_.T\:J$U+UA;l5#Y9F3*)d8r.4m!s+13^s*t~> +JcFL)'D_.T\:J$U+UA;l5#Y9F3*)d8r.4m!s+13^s*t~> +JcFF'&Gk\@]p))&%Q9!H]!/9Miqe6+JcC<$])R9~> +JcFF'&Gk\@]p))&%Q9!H]!/9Miqe6+JcC<$])R9~> +JcFF'&Gk\@]p))&%Q9!H]!/9Miqe6+JcC<$])R9~> +JcFC&%fH.j`F0Jf4Jq?8nF?,JJcC<$JcE:\J,~> +JcFC&%fH.j`F0Jf4Jq?8nF?,JJcC<$JcE:\J,~> +JcFC&%fH.j`F0Jf4Jq?8nF?,JJcC<$JcE:\J,~> +JcF=$#PcVb*t^c +JcF=$#PcVb*t^c +JcF=$#PcVb*t^c +JcF=$#Q*+t*t161n:CUjs+13Ws*t~> +JcF=$#Q*+t*t161n:CUjs+13Ws*t~> +JcF=$#Q*+t*t161n:CUjs+13Ws*t~> +JcF=$#Q*8*,Ruf0mXbChs+13Ws*t~> +JcF=$#Q*8*,Ruf0mXbChs+13Ws*t~> +JcF=$#Q*8*,Ruf0mXbChs+13Ws*t~> +JcF=$#Q3D4-4Mi+m",1fs+13Ws*t~> +JcF=$#Q3D4-4Mi+m",1fs+13Ws*t~> +JcF=$#Q3D4-4Mi+m",1fs+13Ws*t~> +JcF=$#Q +JcF=$#Q +JcF=$#Q +JcF=$#QEkJ.1@bok^ibbs+13Ws*t~> +JcF=$#QEkJ.1@bok^ibbs+13Ws*t~> +JcF=$#QEkJ.1@bok^ibbs+13Ws*t~> +JcF:##3qF!!@!NeJcC<$JcE+WJ,~> +JcF:##3qF!!@!NeJcC<$JcE+WJ,~> +JcF:##3qF!!@!NeJcC<$JcE+WJ,~> +JcF:##O7d4%4@%lrdk*#s+13Xs*t~> +JcF:##O7d4%4@%lrdk*#s+13Xs*t~> +JcF:##O7d4%4@%lrdk*#s+13Xs*t~> +JcF:##O\6@$7(>arIP!"s+13Xs*t~> +JcF:##O\6@$7(>arIP!"s+13Xs*t~> +JcF:##O\6@$7(>arIP!"s+13Xs*t~> +JcF:##O\HK%O6MYr.4m!s+13Xs*t~> +JcF:##O\HK%O6MYr.4m!s+13Xs*t~> +JcF:##O\HK%O6MYr.4m!s+13Xs*t~> +JcF:##OeTS&0cAMqgncus+13Xs*t~> +JcF:##OeTS&0cAMqgncus+13Xs*t~> +JcF:##OeTS&0cAMqgncus+13Xs*t~> +JcF:##P+r\%39H:qLSZts+13Xs*t~> +JcF:##P+r\%39H:qLSZts+13Xs*t~> +JcF:##P+r\%39H:qLSZts+13Xs*t~> +JcF:##Onlb'-:l3pjrHrs+13Xs*t~> +JcF:##Onlb'-:l3pjrHrs+13Xs*t~> +JcF:##Onlb'-:l3pjrHrs+13Xs*t~> +JcF:##P,,f$l!-jpjrHrs+13Xs*t~> +JcF:##P,,f$l!-jpjrHrs+13Xs*t~> +JcF:##P,,f$l!-jpjrHrs+13Xs*t~> +JcF:##P,;u'cLDqp4<6ps+13Xs*t~> +JcF:##P,;u'cLDqp4<6ps+13Xs*t~> +JcF:##P,;u'cLDqp4<6ps+13Xs*t~> +JcF:##PG`/'Gaifp4<6ps+13Xs*t~> +JcF:##PG`/'Gaifp4<6ps+13Xs*t~> +JcF:##PG`/'Gaifp4<6ps+13Xs*t~> +JcF:##PGo:(`$/boR[$ns+13Xs*t~> +JcF:##PGo:(`$/boR[$ns+13Xs*t~> +JcF:##PGo:(`$/boR[$ns+13Xs*t~> +JcF:##PQ)C)\u8[o7?pms+13Xs*t~> +JcF:##PQ)C)\u8[o7?pms+13Xs*t~> +JcF:##PQ)C)\u8[o7?pms+13Xs*t~> +JcF:##PcDO)%]?GoR[$ns+13Xs*t~> +JcF:##PcDO)%]?GoR[$ns+13Xs*t~> +JcF:##PcDO)%]?GoR[$ns+13Xs*t~> +JcF:##PcJV*YUrFn:CUjs+13Xs*t~> +JcF:##PcJV*YUrFn:CUjs+13Xs*t~> +JcF:##PcJV*YUrFn:CUjs+13Xs*t~> +JcF:##Plba(^W:'n:CUjs+13Xs*t~> +JcF:##Plba(^W:'n:CUjs+13Xs*t~> +JcF:##Plba(^W:'n:CUjs+13Xs*t~> +JcF:##Puqo+V6c5m=G:gs+13Xs*t~> +JcF:##Puqo+V6c5m=G:gs+13Xs*t~> +JcF:##Puqo+V6c5m=G:gs+13Xs*t~> +JcF:##Q3>*+q$?+mt(Lis+13Xs*t~> +JcF:##Q3>*+q$?+mt(Lis+13Xs*t~> +JcF:##Q3>*+q$?+mt(Lis+13Xs*t~> +JcF:##Q +JcF:##Q +JcF:##Q +JcF:##QEbB-k%f#l[f(es+13Xs*t~> +JcF:##QEbB-k%f#l[f(es+13Xs*t~> +JcF:##QEbB-k%f#l[f(es+13Xs*t~> +JcF:##QEtN-jD/el[f(es+13Xs*t~> +JcF:##QEtN-jD/el[f(es+13Xs*t~> +JcF:##QEtN-jD/el[f(es+13Xs*t~> +JcF7"#O.O*$n7A%rdk*#s+13Ys*t~> +JcF7"#O.O*$n7A%rdk*#s+13Ys*t~> +JcF7"#O.O*$n7A%rdk*#s+13Ys*t~> +JcF7"#OIg-"!NK^rIP!"s+13Ys*t~> +JcF7"#OIg-"!NK^rIP!"s+13Ys*t~> +JcF7"#OIg-"!NK^rIP!"s+13Ys*t~> +JcF7"#OA'?%4-\`r.4m!s+13Ys*t~> +JcF7"#OA'?%4-\`r.4m!s+13Ys*t~> +JcF7"#OA'?%4-\`r.4m!s+13Ys*t~> +JcF7"#OnNK$mL/Ur;HWtr;$0dJcC<$JcEIaJ,~> +JcF7"#OnNK$mL/Ur;HWtr;$0dJcC<$JcEIaJ,~> +JcF7"#OnNK$mL/Ur;HWtr;$0dJcC<$JcEIaJ,~> +JcFI(%K-%pp%.n;U,ro/EmF.Qo`ajBe(*a[JcC<$JcELbJ,~> +JcFI(%K-%pp%.n;U,ro/EmF.Qo`ajBe(*a[JcC<$JcELbJ,~> +JcFI(%K-%pp%.n;U,ro/EmF.Qo`ajBe(*a[JcC<$JcELbJ,~> +JcFL))#EF@^V%7mY^eD:(fQp5^V7=\LhqFJlMQ55JcC<$_#Jo~> +JcFL))#EF@^V%7mY^eD:(fQp5^V7=\LhqFJlMQ55JcC<$_#Jo~> +JcFL))#EF@^V%7mY^eD:(fQp5^V7=\LhqFJlMQ55JcC<$_#Jo~> +JcFO*)>rTuDH0P4;,TLm"UQG?<**.!5:.'gG1HD>s+13$s1nYb~> +JcFO*)>rTuDH0P4;,TLm"UQG?<**.!5:.'gG1HD>s+13$s1nYb~> +JcFO*)>rTuDH0P4;,TLm"UQG?<**.!5:.'gG1HD>s+13$s1nYb~> +JcFO*)>;-c*=iYq%i,W[!Wi];(DRc$$3^J@?HN"os+13$s1nYb~> +JcFO*)>;-c*=iYq%i,W[!Wi];(DRc$$3^J@?HN"os+13$s1nYb~> +JcFO*)>;-c*=iYq%i,W[!Wi];(DRc$$3^J@?HN"os+13$s1nYb~> +JcFO*)=tF5$jI%O%i5`_!Wi`=(DR\s"p+f>F4^>@s+13$s1nYb~> +JcFO*)=tF5$jI%O%i5`_!Wi`=(DR\s"p+f>F4^>@s+13$s1nYb~> +JcFO*)=tF5$jI%O%i5`_!Wi`=(DR\s"p+f>F4^>@s+13$s1nYb~> +JcFO*)"tjP'*o4%6W-N5*[*L5<)l:5%0d;/VsT'8JcC<$^]/f~> +JcFO*)"tjP'*o4%6W-N5*[*L5<)l:5%0d;/VsT'8JcC<$^]/f~> +JcFO*)"tjP'*o4%6W-N5*[*L5<)l:5%0d;/VsT'8JcC<$^]/f~> +JcFO*(]<*I0F/.LIBKuQOHQEK\u' +JcFO*(]<*I0F/.LIBKuQOHQEK\u' +JcFO*(]<*I0F/.LIBKuQOHQEK\u' +JcFL)(A#7P+V5uB_XR$Yl0n +JcFL)(A#7P+V5uB_XR$Yl0n +JcFL)(A#7P+V5uB_XR$Yl0n +JcFI(#j.jO&ema,kPkJ\#l`A./e/h)\*nnJJcC<$^&NT~> +JcFI(#j.jO&ema,kPkJ\#l`A./e/h)\*nnJJcC<$^&NT~> +JcFI(#j.jO&ema,kPkJ\#l`A./e/h)\*nnJJcC<$^&NT~> +JcFI(#l;qo,Qo*%a8,`7#O86Z'G!BpiIV#[s+13_s*t~> +JcFI(#l;qo,Qo*%a8,`7#O86Z'G!BpiIV#[s+13_s*t~> +JcFI(#l;qo,Qo*%a8,`7#O86Z'G!BpiIV#[s+13_s*t~> +JcFF''()l!((NBliW&rSbA\L&*H9-sJcC<$JcEC_J,~> +JcFF''()l!((NBliW&rSbA\L&*H9-sJcC<$JcEC_J,~> +JcFF''()l!((NBliW&rSbA\L&*H9-sJcC<$JcEC_J,~> +JcFF'&cUC>0FJh*](5m[Qotro8ZD!+s+13$s1A;]~> +JcFF'&cUC>0FJh*](5m[Qotro8ZD!+s+13$s1A;]~> +JcFF'&cUC>0FJh*](5m[Qotro8ZD!+s+13$s1A;]~> +JcFC&&G(^DXHf^-(P*"=NSec(."JcC<$]DmB~> +JcFC&&G(^DXHf^-(P*"=NSec(."JcC<$]DmB~> +JcFC&&G(^DXHf^-(P*"=NSec(."JcC<$]DmB~> +JcFC&&H1FJ3>36.Wl'B<"Vt=Po_sFAJcC<$]DmB~> +JcFC&&H1FJ3>36.Wl'B<"Vt=Po_sFAJcC<$]DmB~> +JcFC&&H1FJ3>36.Wl'B<"Vt=Po_sFAJcC<$]DmB~> +JcF@%%edeV+V-#=LeJQt4-SLuJcC<$JcE=]J,~> +JcF@%%edeV+V-#=LeJQt4-SLuJcC<$JcE=]J,~> +JcF@%%edeV+V-#=LeJQt4-SLuJcC<$JcE=]J,~> +JcF@%%K5C\6P9qh:*pQ"EQ.X&s+13$s1//[~> +JcF@%%K5C\6P9qh:*pQ"EQ.X&s+13$s1//[~> +JcF@%%K5C\6P9qh:*pQ"EQ.X&s+13$s1//[~> +JcF=$%/.hf.1mON&/J' +JcF=$%/.hf.1mON&/J' +JcF=$%/.hf.1mON&/J' +JcF=$$i]Im;&'Zj1JEt_pjrHrs+13[s*t~> +JcF=$$i]Im;&'Zj1JEt_pjrHrs+13[s*t~> +JcF=$$i]Im;&'Zj1JEt_pjrHrs+13[s*t~> +JcF:#$2W2+2%V$IVUb?js+13$s0r#Y~> +JcF:#$2W2+2%V$IVUb?js+13$s0r#Y~> +JcF:#$2W2+2%V$IVUb?js+13$s0r#Y~> +JcF7"#OfEK5?4B2p4<6ps+13Ys*t~> +JcF7"#OfEK5?4B2p4<6ps+13Ys*t~> +JcF7"#OfEK5?4B2p4<6ps+13Ys*t~> +JcF7"#QEu+W3k7Ordk*#s+13Ys*t~> +JcF7"#QEu+W3k7Ordk*#s+13Ys*t~> +JcF7"#QEu+W3k7Ordk*#s+13Ys*t~> +JcF4!"o\#VlhCC0s+13$s0_lW~> +JcF4!"o\#VlhCC0s+13$s0_lW~> +JcF4!"o\#VlhCC0s+13$s0_lW~> +JcF0u"9/8trdk*#s+13Ws*t~> +JcF0u"9/8trdk*#s+13Ws*t~> +JcF0u"9/8trdk*#s+13Ws*t~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +JcC<$JcC<$JcC6~> +%%EndData +showpage +%%Trailer +end +%%EOF diff --git a/mybib.bib b/mybib.bib new file mode 100644 index 0000000..77f57eb --- /dev/null +++ b/mybib.bib @@ -0,0 +1,167 @@ + + +% my bib file. + + +% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $ + + +@ARTICLE{valueoflife, + AUTHOR = "W.K. Viscusi", + TITLE = "The value of life: Estimates with risks by occupation and industry", + JOURNAL = "Harvard John M. Olin Canter for Law ISSN 1045-6333", + YEAR = "2003" +} + + +@ARTICLE{nucfta, + AUTHOR = "US Nuclear reg commission", + TITLE = "Fault Tree Handbook", + JOURNAL = "Nuclear Safety Analysis Handbook", + YEAR = "1981" +} + +@ARTICLE{nasafta, + AUTHOR = "NASA", + TITLE = "Fault Tree Handbook with Aerospace Applications", + JOURNAL = "NASA Handbook", + YEAR = "2002" +} + + +@BOOK{mil1991, + AUTHOR = "United~States~DOD", + TITLE = "Reliability Prediction of Electronic Equipment", + PUBLISHER = "DOD", + YEAR = "1991" +} + + +@BOOK{sccs, + AUTHOR = "Neil~Storey", + TITLE = "Safety-Critical Computer Systems ISBN 0-201-42787-7", + PUBLISHER = "Prentice Hall", + YEAR = "1996" +} + +@BOOK{sem, + AUTHOR = "J.~Woodcock,~Martin~Loomes", + TITLE = "Software Engineering Mathematics ISBN 0-273-02673-9", + PUBLISHER = "Pitman", + YEAR = "1988" +} + +@BOOK{f77, + AUTHOR = "A.~Balfour D.H.~Marwick", + TITLE = "Programming in Standard Fortran 77 ISBN 0-435-77486-7", + PUBLISHER = "Heinemann Educational Books", + YEAR = "1979" +} + +@BOOK{ctw, + AUTHOR = "Gregory~J.E.~Rawlins", + TITLE = "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x", + PUBLISHER = "Computer Science Press", + YEAR = "1991" +} + + + +@BOOK{alg, + AUTHOR = "Alan~Gibbons", + TITLE = "Algorithmic Graph Theory ISBN 0-521-28881-9", + PUBLISHER = "Cambridge University Press", + YEAR = "1985" +} + +@BOOK{found, + AUTHOR = "Ian~Stewart, David~Tall", + TITLE = "The Foundations of Mathematics : ISBN 0-19-853165-6", + PUBLISHER = "Oxford University Press", + YEAR = "1977" +} + +@BOOK{shin, + AUTHOR = "Sun-Joo~Shin", + TITLE = "The Iconic Logic of Peirces Graphs", + PUBLISHER = "Bradford", + YEAR = "2002" +} + + +@BOOK{idmfssz, + AUTHOR = " D~C~Ince", + TITLE = " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford : ISBN 0-19-853836-7", + PUBLISHER = "Oxford University Press", + YEAR = "1988" +} + + +@BOOK{wdycwopt, + AUTHOR = " Richard~P~Feynman", + TITLE = " What do you care what other people think: Harper Collins : ISBN 0-586-21855-6", + PUBLISHER = " harpercollins", + YEAR = "1988" +} + +@BOOK{joyofsets, + AUTHOR = " Keith~devlin", + TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6", + PUBLISHER = " Springer", + YEAR = "1993" +} + + +@MISC{microchip, + author = "Microchip", + title = "Microchip technology Inc. Home Page", + howpublished = "Available from http://www.microchip.com/", + year = "2009" +} + +@MISC{gnuplot, + author = "Various Open~source~Project", + title = "", + howpublished = "Available from http://www.gnuplot.info/", + year = "2005" +} + +@MISC{eulerviz, + author = "Peter~Rodgers, John~Howse, Andrew~Fish", + title = "Visualization of Euler Diagrams", + howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf", + year = "2005" +} + +@MISC{eulerprop, + author = "Peter~Rodgers, John~Howse, Gem~Stapleton", + title = "Properties of Euler Diagrams", + howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/", + year = "2007" +} +@MISC{en298, + author = "E N Standard", + title = "Gas Burner Controllers with forced draft", + howpublished = "EN298", + year = "2003" +} + +@MISC{en61508, + author = "E N Standard", + title = "Functional safety of electrical/electronic/programmable electronic safety related systems", + howpublished = "EN61508", + year = "2002" +} +@MISC{javaarea, + author = "Sun~Micro~Systems", + title = "Java Area Operations", + howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html", + year = "2000" +} +@MISC{javaarea, + author = "Sun~Micro~Systems", + title = "Java Area Operations", + howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html", + year = "2000" +} + diff --git a/thesis.tex b/thesis.tex new file mode 100644 index 0000000..c560d6d --- /dev/null +++ b/thesis.tex @@ -0,0 +1,124 @@ + +\documentclass[a4paper,10pt]{book} +\usepackage{graphicx} +\usepackage{fancyhdr} +\usepackage{tikz} +\usepackage{amsfonts,amsmath} + + +\begin{document} +\pagestyle{fancy} + +\input{titlepage/titlepage} + +\clearpage + +\outerhead{{\small\bf Failure Mode Modular De-Composition}} +\innerfoot{{\small\bf PhD Thesis : R.P. Clark } } + +% Contents +% -------- + +\pagenumbering{roman} % Lower case roman page numbers +\middlefoot{Page \thepage} % Contents page numbers centred + +\clearpage +\input{colophon/colophon} +\clearpage + +\tableofcontents +\listoffigures +\listoftables +% + +\cleardoublepage + +% Main text +% --------- + +% +\middlefoot{ } \outerfoot{{Page \bf\thepage}} % Body of manual has bolded page + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter + +%\begin{document} + +\typeout{>>--------------------->> introduction} +\chapter{Thesis Scope} +\input{introduction/introduction} + +\chapter{An overview of European and North Americans Standards} +%\input{standards/standards} + +\chapter{Statistical Methods and Models} +%\input{statistics/statistics} + +\chapter{Survey of Safety Critical Analysis Metyhodologies and Tools Available} +%\input{survey/survey} + +\typeout{ ---------------- Propositional Logic Diagrams} +\chapter {Propositional Logic Diagrams} +%\input{logic_diagram/logic_diagram} + +\typeout{ ---------------- Electronic Components as PLDs} +\chapter {Electronic Components as PLDs} +%\input {components_as_plds/components_as_plds} + +\typeout{ ---------------- Software as PLDs} +\chapter {Software as PLDs} +%\input{sw_as_plds/sw_as_plds} + +\typeout{ ---------------- Mechanical Sub-systems as PLDs} +\chapter {Mechanical Sub-systems as PLDs} +%\input{mech_as_plds/mech_as_plds} + +\chapter{Failure Mode Modular De-Composition} +%\input{fmmd/fmmd} + +\chapter{A Formal Description of FMMD} +%\input{fmmdset/fmmdset} + +\chapter{FMMD component to module level example : Simple 'ON OFF' Switch} +\typeout{ ---------------- switch1} +%\input{switch1/switch1} + +\chapter{FMMD component to module level example : Safety Critical 'ON OFF' Switch} + +\chapter{FMMD component to module level example : Reading 4 to 20 mA inputs} +%\input{milliampin/milliampin} + +\chapter{FMMD component to module level example : Thermocouple Input } +%\input{thermocouplein/thermocouplein} + +\chapter{FMMD component to module level example : Triac Outputs} +%\input{triacout/triacout} + +\chapter{A complete system example, A Safety critical P.I.D temperature controller} +Safety critical in that it must not overheat, and that it must alarm +for incorrect temperature. + +\chapter{FMMD tool : Design Issues} + +reference the MSC document and describe the Java extension classes. +Software documentation for fmmd tool. + + +\chapter{Algorithms and Mathematical Relationships Discovered} +%\input{fzd/fzd} + +\chapter{A detailed look at the safety systems required by industrial burner controller} +%\input{indburner/indburner} + +%\chapter{FMMD tool : Algorithms and Euler Diagram Parsing} + +\chapter{Conclusion} +%\input{conclusion/conclusion} + +\clearpage + +\small +\bibliographystyle{abbrv} +\bibliography{vmgbibliography,mybib} +\normalsize + +\end{document} diff --git a/titlepage/CVS/Entries b/titlepage/CVS/Entries new file mode 100644 index 0000000..0aef3f2 --- /dev/null +++ b/titlepage/CVS/Entries @@ -0,0 +1,2 @@ +/titlepage.tex/1.1/Sun Aug 24 12:53:34 2008// +D diff --git a/titlepage/CVS/Repository b/titlepage/CVS/Repository new file mode 100644 index 0000000..5e86de0 --- /dev/null +++ b/titlepage/CVS/Repository @@ -0,0 +1 @@ +fmd_docs/phd_docs/titlepage diff --git a/titlepage/CVS/Root b/titlepage/CVS/Root new file mode 100644 index 0000000..cb30472 --- /dev/null +++ b/titlepage/CVS/Root @@ -0,0 +1 @@ +:ext:robin@192.168.2.44:/export/home/cvs diff --git a/titlepage/titlepage.tex b/titlepage/titlepage.tex new file mode 100644 index 0000000..6462def --- /dev/null +++ b/titlepage/titlepage.tex @@ -0,0 +1,42 @@ + +% Title page +% ---------- +% +\middlefoot{ } % No page number on title page +\begin{center} + +{\LARGE \bf Failure Mode Modular De-Composition } + +\vspace{2.15in} + +{ \bf A mathematical methodology to model and analyse safety critical integrated mechanical/electronic/software systems } + +\vspace{1.15in} + +{\LARGE \bf Brighton University } + +\vspace{0.3in} + +{\bf PhD Thesis} + +\vspace{1.0in} + +{\large Version 1.0 } + +\vspace{0.2in} +{\large Author : R.P. Clark - 2007 } + +\end{center} + +\vspace{1.0in} +\begin{verbatim} + Robin Clark + 68 Vale Avenue, + Brighton, + East Sussex + +\end{verbatim} + + + +% diff --git a/vmgbibliography.bib b/vmgbibliography.bib new file mode 100644 index 0000000..f78d769 --- /dev/null +++ b/vmgbibliography.bib @@ -0,0 +1,1747 @@ +% $Id: vmgbibliography.bib,v 1.1 2008/08/29 16:26:03 robin Exp $ + +% bib file from vmg group +% emailed from Andrew Fish late May 2007 + + +@CONFERENCE{stapleton:inivlacsued, + author = {G.~Stapleton and J.~Masthoff}, + title = {Incorporating Negation into Visual Logics: A Case Study Using {E}uler Diagrams}, + booktitle = {Submitted to Visual Languages and Computing 2007}, + year = {2007} +} + + + +@ARTICLE{stapleton:atpieds, + AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", + TITLE = "Automated Theorem Proving in {E}uler Diagrams Systems", + JOURNAL = "Accepted for Journal of Automated Reasoning", + YEAR = "to appear 2007" +} + +@ARTICLE{stapleton:teacosdawc, + AUTHOR = "G. Stapleton and J. Taylor and J. Howse and S. Thompson", + TITLE = "The Expressiveness and Completeness of Spider Diagrams Augmented with Constants", + JOURNAL = "Submitted to Formal Aspects of Computing", + YEAR = "2005" +} + +@ARTICLE{stapleton:vfol, + AUTHOR = "G.~Stapleton and A.~Fish and S.~Thompson and J.~Howse and S.~Thompson", + TITLE = "Visual First Order Logic", + JOURNAL = "Submitted to Journal of Symbolic Logic", + YEAR = "2006", +} + + + +%%%%%%%%%%%%%%%%%%%%%%% WEB SITES ONLY %%%%%%%%%%%%%%%%%%%% + +@MISC{dau:website, + author = {{F.~Dau}}, + howpublished = "{http://www.dr-dau.net/eg\_readings.shtml}", + year = "2006" +} + +@MISC{diagrams:website, + author = "S.J.~Shin \and O.~Lemon", + title = "Stanford Enyclopedia of Philosophy: Diagrams", + howpublished = "http://plato.stanford.edu/entries/diagrams/", + year = "2001" +} + +@MISC{puml, + author = {{The Precise UML Group}}, + howpublished = {http://www.cs.york.ac.uk/puml/index.html}, + year = {1997} +} + +@MISC{rwd, + author = {{Reasoning with Diagrams}}, + howpublished = "http://www.cs.kent.ac.uk/projects/rwd/", + year = "2006" +} + +@MISC{uml, + author = {{Unified Modelling Language}}, + howpublished = "http://www.uml.org/", + year = "2006" +} + + +@MISC{visualocl, + author = {{VisualOCL: Editor plugin for Eclipse}}, + howpublished = "http://tfs.cs.tu-berlin.de/vocl/", + year = "2004" +} + +@MISC{vmg:website, + author = {{Visual Modelling Group}}, + howpublished = "http://www.cmis.bton.ac.uk/research/vmg", + year = "2006" + +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AAAAA %%%%%%%%%%%%%%%%%%%% + +@ARTICLE{akehurst:aratdattim, + AUTHOR = "D.~Akehurst and S.~Kent and O.~Patrascoiu", + TITLE = "A Relational Approach to Defining and Implementing Transformations in Metamodels", + JOURNAL = "Journal of Software and Systems Modeling", + volume = "2", + number = "4", + pages = "215-239", + month = "December", + YEAR = "2003" +} + + + +@conference{akehurst:o2.0its, + author = "D.~Akehurst and P.~Linington and O.~Patrascoiu", + booktitle = "Technical Report", + title = "OCL 2.0: Implementing the Standard", + year = 2003 +} + +@conference{akehurst:oits, + author = "D.~Akehurst and O.~Patrascoiu", + title = "{OCL}: Implementing the Standard", + pages = "19", + booktitle = "OCL2.0-Industry standard or scientific playground?, Proceedings of the UML'03 workshop", + series = "ENTCS", + year = "2003" +} + +@conference{akehurst:tmwpao, + author = "D.~Akehurst and O.~Patrascoiu", + booktitle = "Proceedings of the Metamodelling for MDA Workshop", + title = "Tooling Metamodels with Patterns and {OCL}", + year = "2003" +} + + + + +@BOOK{armstrong:bt, + AUTHOR = "M.~Armstrong", + TITLE = "Basic Topology", + PUBLISHER = "Springer-Verlag", + YEAR = "1979" +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BBBBB %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@BOOK{barwise:h, + AUTHOR = "J.~Barwise and J.~Etchemendy", + TITLE = "Hyperproof", + PUBLISHER = "CSLI Press", + YEAR = "1994" +} + + +@INCOLLECTION{barwise:hlrwd, + AUTHOR = "J.~Barwise and J.~Etchemendy", + booktitle = "Reasoning with Diagrammatic Representations", + editor= "B.~Chandrasekaran and H.~Simon ", + title = "Hyperproof: Logical Reasoning with Diagrams", + pages = "80-84", + PUBLISHER = "AAAI press", + YEAR = "1992" +} + + +@incollection{barwise:datcols, + author = "J.~Barwise and E.~Hammer ", + publisher = "Oxford University Press", + title = "Diagrams and the Concept of Logical System", + booktitle = "Logical Reasoning with Diagrams", + editor = "G.~Allwein and J.~Barwise", + year = 1996 +} + +@INCOLLECTION{barwise:vivr, + AUTHOR = "J.~Barwise and J.~Etchemendy", + TITLE = "Visual Information and Valid Reasoning", + BOOKTITLE = "Logical Reasoning with Diagrams", + PUBLISHER = "Oxford University Press", + YEAR = "1996", + editor = "G.~Allwein and J.~Barwise", + pages = "3-25" +} + + +@BOOK{battista:gdaftvog, + AUTHOR = "G.~Di~Battista and P.~Eades and R.~Tamassia and I.~G.~Tollis", + TITLE = "Graph Drawing: Algorithms for the visualization of graphs", + PUBLISHER = "Prentice Hall", + YEAR = "1999", + isbn = "0-13-301615-3" +} + + +@CONFERENCE{benoy:etcoed, + author = {F.~Benoy and P.~Rodgers}, + title = {Evaluating the Comprehension of {E}uler Diagrams}, + booktitle = {Euler Diagrams 2005}, + year = {2006} +} + + +@CONFERENCE{bertault:dhitss, + author = {F.~Bertault and P.~Eades.}, + title = {Drawing hypergraphs in the subset standard}, + booktitle = {Proceedings of the 8th International Symposium on Graph Drawing}, + year = {2000}, + volume = {1984}, + series = {LNCS}, + pages = {164 - 169}, + publisher = {Springer Verlag} +} + + +@BOOK{biggs:gt17361936, + AUTHOR = "N.~Biggs and E.~Lloyd and R.~Wilson.", + TITLE = "Graph Theory 1736-1936", + PUBLISHER = "Oxford University Press", + YEAR = "1976" +} + +@BOOK{blackett:et, + AUTHOR = "D.~Blackett", + TITLE = "Elementary Topology", + PUBLISHER = "Academic Press", + YEAR = "1983" +} + +@conference{blackwell:acdqofu, + author = "A.~Blackwell and T.~Green", + booktitle = "Proceedings of 12th Workshop on the Psychology of Programming Interest Group", + publisher = "", + pages = "137--154", + title = "A Cognitive Dimensions Questionnaire Optimised for Users", + year = 2000 +} + +@BOOK{borger:tcdp, + AUTHOR = "E.~Borger and E.~Gradel and E.~Gurevich", + TITLE = "The Classical Decision Problem", + PUBLISHER = "Springer-Verlag", + YEAR = "1997" +} + +@CONFERENCE{bosworth:taapsfs, + author = {P.~Bosworth}, + title = {Towards an Automatic Proof System for Scalecharts}, + booktitle = {Proceedings of Diagrams 2004, Cambridge, UK}, + year = {2004}, + series = {LNAI}, + pages = {227-229}, + month = {March}, + publisher = {Springer-Verlag} +} + +@conference{bottoni:avoouc, + author = {P.~Bottoni and M.~Koch and F.~Parisi-Presicce and G.~Taentzer}, + title = {A Visualization of {OCL} using Collaborations}, + booktitle = {UML 2001 -- The Unified Modeling Language}, + editor = {Gogolla, M. and Kobryn, C.}, + publisher = {Springer}, + series = {LNCS 2185}, + pages = {257 -- 271}, + year = 2001 +} + +@CONFERENCE{bovey:maaatug, + author = {J.~Bovey and P.~Rodgers and F.~Benoy}, + title = {Movment as an Aid to Understanding Graphs}, + booktitle = {Seventh International Conference on Information Visualization}, + year = {2003}, + pages = {472-478}, + month = {July}, + publisher = {IEEE} +} + + + +@ARTICLE{bultena:vdwfv, + AUTHOR = "B.~Bultena and F.~Ruskey", + TITLE = "{V}enn Diagrams with Few Vertices", + JOURNAL = "Electronic Journal of Combinatorics", + YEAR = "1998", + pages = "1--21", + volume = "5" +} + +@ARTICLE{bundy:avmd, + AUTHOR = "A.~Bundy", + TITLE = "A Very Mathematical Dilemma", + JOURNAL = "The Computer Journal", + YEAR = "2006", + volume = "49", + number = "4", + pages = "480--486" +} + + +@BOOK{burris:lfmacs, + AUTHOR = "S.~Burris", + TITLE = "Logic for Mathematics and Computer Science", + PUBLISHER = "Prentice Hall", + YEAR = "1998" +} + + + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CCCCCCCCC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@article{cheng:csatudr, + author ="P.~Cheng and R.~Lowe and M.~Scaife", + title ="Cognitive Science Approaches To Understanding Diagrammatic Representations", + journal ="Artificial Intelligence Review", + volume ="15", + number ="16", + pages ="79--94", + year ="2001" +} + +@conference{cheng:csatudr:2, + author ="P. Cheng and R. Lowe and M. Scaife", + booktitle ="Proceedings of 1st International Conference, Diagrams 2000", + pages ="", + year = "2000", + series = "LNAI", + title = "Cognitive Science Approaches To Understanding Diagrammatic Representations", + publisher = "Springer-Verlag" +} + + +@CONFERENCE{chiara:asfvdued, + author = {R.~DeChiara and U.~Erra and V.~Scarano.}, + title = {A System for Virtual Directories Using {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 04}, + year = {2005}, + volume = {134}, + series = {Electronic Notes in Theoretical Computer Science}, + pages = {33-53} +} + +@CONFERENCE{chiara:vavdfm, + author = {R.~DeChiara and U.~Erra and V.~Scarano.}, + title = {Venn{FS}: A {V}enn Diagram file manager}, + booktitle = {Proceedings of Information Visualisation}, + year = {2003}, + pages = {120-126}, + publisher = {IEEE Computer Society} +} + +@CONFERENCE{choudhury:oevdbanoi, + author = {L.~Choudhury and M.~K.~Chakraborty}, + title = {On Extending {V}enn Diagrams by Augmenting Names of Individuals}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + year = {2004}, + series = {LNAI}, + volume = {2980}, + pages = {142-146}, + month = {March}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{chow:capvaedwtc, + author = {S.~Chow and P.~Rodgers}, + title = {Constructing Area-Proportional {V}enn and {E}uler Diagrams with Three Circles}, + booktitle = {Proceedings of {E}uler Diagrams 2005}, + year = {2005} +} + +@CONFERENCE{chow:dapvaed, + author = {S.~Chow and F.~Ruskey}, + title = {Drawing Area-Proportional {V}enn and {E}uler Diagrams}, + booktitle = {Proceedings of Graph Drawing 2003, Perugia, Italy}, + year = {2003}, + series= {LNCS}, + volume = {2912}, + pages = {466-477}, + month = {September}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{chow:tagstdaped, + author = {S.~Chow and F.~Ruskey}, + title = {Towards a General Solution to Drawing Area-Proportional {E}uler Diagrams}, + booktitle = {Proceedings of {E}uler Diagrams}, + year = {2005}, + volume = {134}, + pages = {3--18}, + series = {ENTCS} +} + + + + +@CONFERENCE{clark:fmmdcusd, + author = {R.~Clark}, + title = {Failure Mode Modular De-Composition Using Spider Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004}, + year = {2005}, + volume = {134}, + series = {Electronic Notes in Theoretical Computer Science}, + pages = {19-31} +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% DDDDDDD %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@ARTICLE{dechter:gbfssatooa, + AUTHOR = "R.~Dechter and J.~Pearl", + TITLE = "Generalized Best-First Search Strategies and the Optimality of A*", + JOURNAL = "Journal of the Association for Computing Machinery, 32(3):505536", + volume = "32", + number = "3", + pages = "505-536", + YEAR = "1985" +} + +@BOOK{dreben:tdpscoqf, + AUTHOR = "B.~Dreben and D.~Goldforb", + TITLE = "The Decision Problem. Solvable Classes of Quantificational Formulas", + PUBLISHER = "Addison Wesley Publishing Company Inc.", + YEAR = "1979" +} + +@CONFERENCE{dunndavies:psfaip, + author = {H.~Dunn-Davies and R.~Cunningham}, + title = {Propostional Statecharts for Agent Interaction Protocols}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + series = {ENTCS}, + year = {2005}, + volume = {134}, + pages = {55-75} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% EEEEEEE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@BOOK{ebbinghaus:fmt, + AUTHOR = "H.-D.~Ebbinghaus and J.~Flum.", + TITLE = "Finite Model Theory", + PUBLISHER = "Springer-Verlag", + YEAR = "1991" +} + +@misc{eloff:icadvd, + author = "J.~Eloff and L.~van Zijl", + title = "Incremental Construction and Drawing of {V}enn Diagrams", + note = "citeseer.ist.psu.edu/eloff00incremental.html", + year = 2000 +} + +@ARTICLE{euler:laupdsdsdpedp, + AUTHOR = "L.~Euler.", + TITLE = "Lettres a une Princesse dAllemagne sur divers sujets de physique et de philosophie", + JOURNAL = "Letters", + YEAR = "1775", + volume = "2", + pages = "102--108", + note = "Berne, Socit Typographique" +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% FFFFFFF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{fish:aesitdrocd, + author = {A.~Fish and J.~Masthoff}, + title = {An Experimental Study into the Default Reading of Constraint Diagrams}, + booktitle = {Visual Languages and Human Centric Computing}, + year = {2005}, + pages = {287--289}, + address = {Dallas}, + month = {September}, + publisher = {IEEE} +} + +@CONFERENCE{fish:aoed, + author = {A.~Fish and J.~Flower}, + title = {Abstractions of {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + year = {2005}, + series = {ENTCS}, + volume = {134}, + pages = {77-101}, +} + +@conference{fish:arafcd, + author ="A.~Fish and J.~Flower, and J.~Howse", + title ="A Reading Algorithm for Constraint Diagrams", + booktitle ="IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand", + publisher ="IEEE", + month = "September", + pages = "161-168", + year =2003 +} + +@conference{fish:crtfcd, + author ="A.~Fish and J.~Howse", + title ="Computing Reading Trees for Constraint Diagrams", + booktitle ="AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September", + publisher ="Springer-Verlag", + pages ="260-274", + year =2003 +} + + +@TECHREPORT{fish:dmleodelmaesitdrocd, + AUTHOR = "A.~Fish and J.~Mashtoff", + TITLE = "Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams", + INSTITUTION = "University of Brighton", + YEAR = "2005", + address = "\texttt{http://cmis.mis.brighton.ac.uk/research/vmg/publications}" +} + +@conference{fish:dedsow, + author = "A.~Fish and G.~Stapleton", + booktitle = "Proceedings of 4th International Conference on the Theory and Application of Diagrams", + address ="Stanford, USA", + pages = "109-111", + title = "Defining {E}uler Diagrams: Simple or What?", + publisher ="Springer", + year = 2006 +} + +@conference{fish:fiilbocc, + author = "A.~Fish and G.~Stapleton", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computings", + address ="Grand Canyon, USA", + pages = "161-167", + title = "Formal Issues in Languages Based on Closed Curves", + publisher ="Knowledge Systems Institute", + year = 2006 +} + +@CONFERENCE{fish:hntded, + author = {A.~Fish and G.~Stapleton}, + title = {How Not to Define {E}uler Diagrams}, + booktitle = {Euler diagrams 2005}, + year = {2005} +} + +@CONFERENCE{fish:irwcd, + author = {A.~Fish and J.~Flower}, + title = {Investigating Reasoning with Constraint Diagrams}, + booktitle = {Visual Language and Formal Methods 2004}, + year = {2005}, + series = {ENTCS}, + volume = {127}, + publisher = {Elsevier}, + pages = {53-69}, + address = {Rome, Italy} +} + +@CONFERENCE{fish:tadrfcd, + author = {A.~Fish and J.~Howse}, + title = {Towards a Default Reading for Constraint Diagrams}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {51-65}, + month = {March}, + publisher = {Springer-Verlag} +} + + +@ARTICLE{fish:tsoacd, + AUTHOR = "A.~Fish and J.~Flower and J.~Howse", + TITLE = "The Semantics of Augmented Constraint Diagrams", + JOURNAL = "Journal of Visual Languages and Computing", + YEAR = "2005", + volume = "16", + issue = "6", + pages = "541-573" +} + +@conference{flower:atpwsd, + author ="J.~Flower and G.~Stapleton", + booktitle ="Proceedings of Computing: The Australasian Theory Symposium", + address ="Dunedin, New Zealand", + volume ="91", + series ="ENTCS", + publisher ="Science Direct", + title ="Automated Theorem Proving with Spider Diagrams", + pages ="116-132", + month ="January", + year = 2004 +} + +@conference{flower:avffmwhn, + author ="J.~Flower and J.~Howse and J.~Taylor and S.~Kent", + booktitle ="Proceedings of Human Centric Computing Languages and Environments", + publisher ="IEEE", + title ="A Visual Framework for Modelling with Heterogeneous Notations", + pages ="71-73", + year = 2002 +} + +@mastersthesis{flower:gcd, + author ="J.~Flower", + title ="Generating Constraint Diagrams", + year =2000, + school ="University of Brighton" +} + +@conference{flower:ged, + author = "J.~Flower and J.~Howse", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + address ="Georgia, USA", + publisher = "Springer-Verlag", + title = "Generating {E}uler Diagrams", + pages ="61-75", + month ="April", + year = 2002 +} + +@conference{flower:gpwsduh, + author = "J.~Flower and J.~Masthoff and G.~Stapleton", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computing", + publisher = "Knowledge Systems Institute", + pages ="279-285", + title = "Generating Proofs with Spider Diagrams Using Heuristics", + year = 2004 +} + + + +@conference{flower:grpahattpwsd, +author = {J.~Flower and J.~Masthoff and G.~Stapleton}, +booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, +address = {Cambridge, UK}, +series= {LNAI}, +volume= {2980}, +publisher = {Springer}, +title = {Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams}, +pages = {166-181}, +year = 2004 +} + +@conference{flower:lmfed, + author ="J.~Flower and P.~Rodgers and P.~Mutton", + booktitle ="7th International Conference on Information Visualisation", + publisher ="IEEE Computer Society Press", + title ="Layout metrics for {E}uler Diagrams", + pages ="272-280", + year =2003 +} + + +@conference{flower:nied, + author ="J.~Flower and J.~Howse and J.~Taylor", + booktitle ="International Workshop on Graph Transformation and Visual Modeling Techniques", + publisher ="", + title ="Nesting in {E}uler Diagrams", + pages ="99-108", + year = 2002 +} + +@ARTICLE{flower:niedssac, + AUTHOR = "J.~Flower and J.~Howse and J.~Taylor", + TITLE = "Nesting in {E}uler diagrams: syntax, semantics and construction", + JOURNAL = "Software and Systems Modelling", + YEAR = "2004", + volume = "3", + pages = "55-67", + month = "March", + publisher= "Springer" + } + + + +%%%%%%%%%%%%%%%%%%%%%%%%%% GGGG %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@conference{gil:cdasbu, + author = "J.~Gil and J.~Howse and S.~Kent", + booktitle = "Proceedings of TOOLS USA 1999, Santa Barbara, California, USA", + publisher = "IEEE Computer Science Press", + title = "Constraint Diagrams: A step beyond {UML}", + pages = "453-463", + month = "August", + year = 1999 +} + +@conference{gil:fsd, + author = "J.~Gil and J.~Howse and S.~Kent", + booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", + publisher = "IEEE Computer Society Press", + title = "Formalising Spider Diagrams", + pages = "130-137", + month ="September", + year = 1999 +} + +@conference{gil:pived, + author ="J.~Gil and J.~Howse and S.~Kent and J.~Taylor", + title ="Projections in {V}enn-{E}uler Diagrams", + booktitle ="Proc. IEEE Symposium on Visual Languages", + month ="September", + publisher ="IEEE Computer Society Press", + pages ="119--126", + year =2000 +} + + +@ARTICLE{gil:psop, + AUTHOR = "J.~Gil and J.~Howse and E.~Tulchinsky", + TITLE = "Positive semantics of projections", + JOURNAL = "Journal of Visual Languages and Computing", + YEAR = "2001", + volume = "13", + number = "2", + pages = "197-227", + month = "April" +} + + +@conference{gil:tafocd, + author ="J. Gil and J. Howse and S. Kent", + title ="Towards a formalization of constraint diagrams", + booktitle ="Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy", + publisher ="IEEE Computer Society Press", + month ="September", + pages ="72-79", + year =2001 +} + + +@misc{gil:tcde, + author ="J. Gil and Y. Sorkin", + title ="The Constraint Diagrams Editor", + note ="Available at www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/" +} + + +@conference{gil:tdsm, + AUTHOR = "J.~Gil and S.~Kent", + TITLE = "Three dimensional software modeling", + YEAR = "1998", + booktitle = "ICSE 98", + pages = "105--114", + publisher = "IEEE" +} + +@CONFERENCE{good:vplsanpchddlc, + author = {J.~Good}, + title = {{VPL}s and Novice Program Comprehension: How do Different Languages Compare?}, + booktitle = {15th IEEE Symposium on Visual Languages}, + year = {1999}, + pages = {262--269}, + publisher = {IEEE Computer Society Press} +} + +@BOOK{greaves:tpsod, + AUTHOR = "M.~Greaves", + TITLE = "The Philosophical Status of Diagrams", + PUBLISHER = "CSLI Publications", + YEAR = "2002" +} + +@misc{gurr:todrdcp, + author ="C. Gurr and J. Lee and K. Stenning", + title ="Theories of diagrammatic reasoning: Distinguishing component problems", + howpublished="Minds and Machines", + pages ="533--557", + year =1998 +} + +@CONFERENCE{gurr:ttpdosed, + author = {C.~Gurr and K.~Tourlas}, + title = {Towards the Principled Design of Software Engineering Diagrams}, + booktitle = {Proceedings of 22nd International Conference on Software Engineering}, + year = {2000}, + pages = {509--518}, + publisher = {ACM Press} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% HHHHH %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@ARTICLE{hammer:evl, + AUTHOR = "E.~Hammer and S.~J.~Shin", + TITLE = "Euler's Visual Logic", + JOURNAL = "History and Philosophy of Logic", + YEAR = "1998", + pages = "1-29" +} + +@book{hammer:lavi, + author = "E. Hammer", + publisher = "CSLI Publications", + title = "Logic and Visual Information", + year = 1995 +} + + +@INCOLLECTION{hammer:tamtofd, + AUTHOR = "E. Hammer and N. Danner", + TITLE = "Towards a model theory of {V}enn diagrams", + BOOKTITLE = "Logical Reasoning with Diagrams", + PUBLISHER = "Oxford University Press", + YEAR = "1996", + editor = "G.~Allwein and J.~Barwise", + pages = "109-127" +} + +@ARTICLE{hammer:tamtovd:02, + AUTHOR = "E.~Hammer and N.~Danner", + TITLE = "Towards a model theory of {V}enn diagrams", + JOURNAL = "Journal of Philosophical Logic", + YEAR = "1996", + volume = "25", + number = "4", + pages = "463-482" +} + + + + +@conference{harel:ovf, + author ="D. Harel", + title ="On visual formalisms", + booktitle ="Diagrammatic Reasoning", + editor ="J. Glasgow and N. H. Narayan and B. Chandrasekaran", + publisher ="MIT Press", + pages ="235--271", + year =1998 +} + +@CONFERENCE{hayes:ckcio, + author = {P.~Hayes and T.~Eskridge and R.~Saavedra and T.~Reichherzer and M.~Mehrotra and D.~Bobrovnikoff}, + title = {Collaborative Knowledge Capture in Ontologies}, + booktitle = {Proceedings of the 3rd International Conference on Knowledge Capture}, + year = {2005}, + pages = {99-106} +} + + + +@conference{hegarty:ditmaitwrbiaev, + author = {M. Hegarty}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher = {Springer}, + title = {Diagrams in the Mind and in the World: Relations between Internal and External Visualizations}, + pages = {1--13}, + year = 2004 +} + +@conference{howse:asacdrs, + author ="J. Howse and F. Molina and J. Taylor", + title ="A sound and complete diagrammatic reasoning system", + booktitle ="Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing", + address ="Banff", + publisher ="IASTED/ACTA Press", + pages ="402-408", + year =2000 +} + +@conference{howse:cried, + author = "J. Howse and G. Stapleton and J. Flower and J. Taylor", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Georgia, USA", + title = "Corresponding Regions in {E}uler Diagrams", + pages ="76-90", + month ="April", + year = 2002 +} + +@conference{howse:odtat, + author = "J. Howse and F. Molina and S-J. Shin and J. Taylor", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Georgia, USA", + publisher = "Springer", + title = "On Diagram Tokens and Types", + pages ="146-160", + month ="April", + year = 2002 +} + +@conference{howse:otcaeosds, + author = "J. Howse and F. Molina and J. Taylor", + booktitle = "Proceedings of 1st International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Edinburgh, UK", + title = "On the completeness and expressiveness of spider diagram systems", + pages = "26-41", + month = "September", + year = 2000 +} + +@ARTICLE{howse:pvm, + AUTHOR = "J.~Howse and S.~Schuman", + TITLE = "Precise Visual Modelling", + JOURNAL = "Journal of Software and Systems Modeling", + volume = "4", + issue = "3", + pages = "310-325", + YEAR = "2005" +} + +@conference{howse:rwsd, + author = "J. Howse and F. Molina and J. Taylor and S. Kent", + booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", + publisher = "IEEE Computer Society Press", + title = "Reasoning with Spider Diagrams", + pages = "138-147", + month = "September", + year` = 1999 +} + +@conference{howse:sasacdrs, + author = "J. Howse and F. Molina and J. Taylor", + booktitle = "Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA", + publisher = "IEEE Computer Society Press", + title = "{SD2}: A sound and complete diagrammatic reasoning system", + pages = "127-136", + year = 2000 +} + +@ARTICLE{howse:sd, + author = {J.~Howse and G.~Stapleton and J.~Taylor.}, + title = {Spider Diagrams}, + JOURNAL = {LMS Journal of Computation and Mathematics}, + volume = {8}, + pages = {145--194}, + year = {2005} +} + +@article{howse:sdadrs, + author ="J. Howse and F. Molina and J. Taylor and S. Kent and J. Gil", + title ="Spider Diagrams: A Diagrammatic Reasoning System", + journal ="Journal of Visual Languages and Computing", + volume ="12", + number ="3", + month ="June", + pages ="299--324", + year =2001 +} + +@conference{howse:tsatsids, + author ="J. Howse and F. Molina and S-J. Shin and J. Taylor", + booktitle ="Proceedings FOIS-2001: 2nd International Conference on + Formal Ontology in Information Systems, Maine, USA", + publisher ="ACM Press", + title ="Type-syntax and Token-syntax in Diagrammatic Systems", + pages ="174--185", + year = 2001 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JJJJJJJJJJ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@BOOK{jamnik:mrwd, + AUTHOR = "M.~Jamnik", + TITLE = "Mathematical Reasoning with Diagrams", + PUBLISHER = "CSLI", + YEAR = "2001", +} + +@CONFERENCE{jamnik:aodr, + author = {M.~Jamnik and A.~Bundy and I.~Green}, + title = {Automation of Diagrammatic Reasoning}, + booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence}, + year = {1997}, + volume = {1}, +pages = {528--533}, + publisher = {Morgan Kaufmann Publishers}, +} + + + +@conference{john:etnocied, + author = "Chris John and Andrew Fish and John Howse and John Taylor", + booktitle = "Accepted for the 4th International Conference on the Theory and Application of Diagrams", + pages = "267-282", + address ="Stanford, USA", + title = "Exploring the notion of Clutter in {E}uler diagrams", + publisher ="Springer", + year = 2006 +} + +@conference{john:pcied, + author ="C.~John", + booktitle ="{E}uler Diagrams 2004", + volume = "134", + series = "ENTCS", + title ="Projected Contours in {E}uler Diagrams", + pages ="103--126", + year =2005 +} + +@conference{john:rwpc, + author ="C.~John", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="Reasoning with Projected Contours", + pages ="147-150", + year =2004 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%% KKKKKKK %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@conference{kent:cdviioom, +author = "S. Kent", +title = "Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling", +month = "October", +year = "1997", +pages = "327-341", +booktitle = "Proceedings of OOPSLA97", +publisher = "ACM Press" +} + +@incollection{kent:ctiaiomwo, + author = "S. Kent and J. Howse", + title = "Constraint trees. In Advances in object modelling with {OCL}", + Editors = "A Clark and J Warmer", + publisher = "Springer Verlag", + year = "2002" +} + +@conference{kent:mvatcl, + author ="S. Kent and J. Howse", + title ="Mixing Visual and Textual Constraint Languages", + booktitle ="Proceedings of UML99", + year ="1999" +} + +@CONFERENCE{kestler:edfvaged, + author = {H.~Kestler and A.~Muller and H.~Liu and D.~Kane and B.~Zeeberg and J.~Weinstein}, + title = {{E}uler diagrams for visualizing annotated gene expression data}, + booktitle = {Proceedings of {E}uler Diagrams 2005}, + year = {2005}, + address = {Paris}, + month = {September} +} + +@ARTICLE{kestler:gvdanmfvcgsr, + AUTHOR = "H.~Kestler and A.~Muller and T.~Gress and M.~Buchholz", + TITLE = "Generalized {V}enn Diagrams: A New Method for Visualizing Complex Genetic Set Relations", + JOURNAL = "Journal of Bioinformatics", + YEAR = "2005", + volume = "21", + number = "8", + pages = "1592-1595" +} + + + +@TECHREPORT{kiesner:voavnofocl, + AUTHOR = "C. Kiesner and G. Taentzer and J. Winkelmann", + TITLE = "{V}isual {O}{C}{L}: A {V}isual {N}otation of the {O}bject {C}onstraint {L}anguage", + INSTITUTION = "Technical University of Berlin", + YEAR = "2002", + number = "2002/23" +} + +@CONFERENCE{kim:vofs, + author = {S.-K.~Kim and D.~Carrington}, + title = {Visualization of Formal Specifications}, + booktitle = {6th Aisa Pacific Software Engineering Conference}, + pages = {102--109}, + address = {Los Alamitos, CA, USA}, + publisher = {IEEE Computer Society Press}, + year = {1999} +} + +@conference{kuljis:acoesacdaiteoud, + author = "J. Kuljis and L. Baldwin and R. Scoble", + booktitle = "Proceedings of 14th Workshop on the Psychology of Programming Interest Group", + publisher = "", + pages = "1--14", + title = "A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams", + year = 2002 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LLLLL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@article{larkin:wadiswttw, + author ="J. Larkin and H. Simon", + title ="Why a Diagram is (Sometimes) Worth Ten Thousand Words", + journal ="Journal of Cognitive Science", + volume ="11", + pages ="65--99", + year =1987 +} + + +@incollection{lemon:cteovl, + AUTHOR = "O.~Lemon", + editor = "D.~Barker-Plummer and D.~I.~Beaver and J.~van~Benthem and P.~Scotto\hspace{2pt}di\hspace{2pt}Luzio", + TITLE = "Comparing the Efficacy of Visual Languages", + booktitle ="Words, Proofs and Diagrams", + pages = "47-69", + PUBLISHER = "CSLI Publications", + YEAR = "2002" +} + +@ARTICLE{lemon:slatcodr, + AUTHOR = "O.~Lemon and I.~Pratt", + TITLE = "Spatial Logic and the Complexity of Diagrammatic Reasoning", + JOURNAL = "Machine GRAPHICS and VISION", + YEAR = "1997", + volume = "6", + number = "1", + pages = "89-108", +} + +@phdthesis{lovdahl:taveeftlotsw, + AUTHOR = "J.~Lovdahl", + TITLE = "Towards a Visual Editing Environment for the Languages of the Semantic Web", + SCHOOL = "Linkoping University", + YEAR = "2002" +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%% MMMMMMMM %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5 + +@INBOOK{mclaughlin:ce, + AUTHOR = "J.~McLaughlin and S>~Gallinger", + TITLE = "The Basic Science of Oncology", + CHAPTER = "Cancer Epidemiology", + PUBLISHER = "McGraw-Hill", + YEAR = "2004", +} + + +@CONFERENCE{meyer:fovmn, + author = {B.~Meyer}, + title = {Formalization of Visual Mathematical Notations}, + booktitle = {AAAI Symposium on Diagrammatic Reasoning}, + year = {1997}, + address = {Boston, USA}, + month = {November} +} + +@MISC{mod:tposcside, + author = {{UK Ministry of Defence}}, + title = {The Procurement of Saftey Critical Software in Defence Equipment}, + year = {1993}, + note = {MOD Interim Standard 00-55} +} + +@phdthesis{molina:rwevpds, + author = "F. Molina", + school = "University of Brighton", + address = "", + title = "Reasoning with extended {V}enn-{P}eirce diagrammatic systems", + year = 2001 +} + +@article{more:otcovd, + author ="T. More", + title ="On the construction of {V}enn diagrams", + journal ="Journal of Symbolic Logic", + volume ="23", + pages ="303--304", + year =1959 +} + + +@CONFERENCE{mutton:dgied, + author = {P. Mutton and P. Rodgers and J. Flower}, + title = {Drawing Graphs in {E}uler Diagrams}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {66-81}, + month = {March}, + publisher = {Springer} +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% OOOO %%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{oberlander:htmm, + author = {J.~Oberlander and K.~Stenning and R.~Cox}, + title = {Hyperproof: The Multimodal Moral}, + booktitle = {Second Conference on Information-Theoretic Approaches to Logic, Language and Computation}, + year = {1996} +} + + + +@MISC{omg:o2.0sr1.6, + author = "O{M}{G}", + title = "{OCL} 2.0 Specification, revision 1.6", + howpublished = "Available from http://www.omg.org", + year = "2003" +} + +@MISC{omg:u2.0s, + author = "O{M}{G}", + title = "U{M}{L} 2.0 Specification", + howpublished = "Available from http://www.omg.org", + year = "2004" +} + +@misc{omg:usv1.3, + author ="O{M}{G}", + howpublished="Available from www.omg.org.", + title ="U{M}{L} Specification, Version 1.3.", + note ="" +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPPPPPP %%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@CONFERENCE{patrascoiu:eoeiy, + author = {O.~Patrascoiu and P.~Rodgers}, + title = {Embedding {OCL} Expressions in {YATL}}, + booktitle = {Proceedings of the {OCL} and Model Driven Engineering Workshop}, + year = {2004}, + month = {October} +} + +@CONFERENCE{patrascoiu:metwsuy, + author = {O.~Patrascoiu}, + title = {Mapping {EDOC} to Web Services using {YATL}}, + booktitle = {Proceedings of the 8th International IEEE Enterprise Distributed +Object Computing Conference (EDOC 2004)}, + year = {2004}, + pages = {12}, + month = {September} +} + + +@conference{patrascoiu:mtiysae, + author = "Octavian Patrascoiu", + booktitle = "Technical Report", + pages ="", + title = "Model Transformations in {YATL}. Studies and Experiments", + year = 2004 +} + + +@CONFERENCE{patrascoiu:tfdr, + author = {O.~Patrascoiu and S.~Thompson and P.~Rodgers}, + title = {Tableaux for Diagrammatic Reasoning}, + booktitle = {Proceedings of the Eleventh International Conference on Distributed +Multimedia Systems, International Workshop on Visual Languages and +Computing}, + year = {2005}, + pages = {279-286}, + month = {September}, + publisher = {Knowledge Systems Institute} +} + +@conference{patrascoiu:ttatlrmv1.0, + author = "Octavian Patrascoiu", + booktitle = "Technical Report", + title = "{YATL}: Yet Another Transformation Language - Reference Manual Version 1.0", + year = 2004 +} + +@conference{patrascoiu:yyatl, + author = "Octavian Patrascoiu", + booktitle = "Proceedings of the 1st European {MDA} Workshop, {MDA-IA}", + pages = "83-90", + title = "{YATL}: Yet Another Transformation Language", + month = "January 2004", + year = 2004 +} + +@book{peirce:cp, + author ="C. Peirce.", + title ="Collected Papers", + volume ="4", + publisher ="Harvard University Press", + year =1933 +} + +@book{polya:htsi, + AUTHOR = "G. ~Polya", + TITLE = "How to Solve It", + PUBLISHER = "Princeton University Press", + YEAR = "1957" +} + + +@CONFERENCE{puigsegur:vlpbmodt, + author = {J.~Puigsegur and J.~Agusti}, + title = {Visual Logic Programming by Means of Diagram Transformations}, + booktitle = {joint Conference on Declarative Programming}, + year = {1998} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% RRRRRRR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@MISC{rector:sviowl, + author = "A.~Rector", + title = "Specifying Values in OWL: Value Partitions +and Value Sets", + howpublished = "W3C Editors Draft 02", + year = "2005" +} + + +@BOOK{roberts:tegocsp, + AUTHOR = "D.~D.~Roberts", + TITLE = "The Existential Graphs of Charles S. Peirce", + PUBLISHER = "Mouton", + YEAR = "1973" +} + + + + +@CONFERENCE{rodgers:dedd, + author = {P. Rodgers and P. Mutton and J. Flower }, + title = {Dynamic {E}uler Diagram Drawing}, + year = {2004}, + booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, + pages ="147-156", + month = {September}, + publisher = {IEEE Computer Society Press}, +} + +@ARTICLE{ruskey:asovd, + AUTHOR = "F.~Ruskey", + TITLE = "A Survey of {V}enn Diagrams", + JOURNAL = "Electronic Journal of Combinatorics", + note = "www.combinatorics.org/Surveys/ds5/VennEJC.html", + YEAR = "1997" +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SSSSSSS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{sawamura:javrswdas, + author = {H.~Sawamura and K.~Kiyozuka}, + title = {{JV}enn: A Visual Reasoning System with Diagrams and Sentences}, + booktitle = {Proceedings of 1st International Conference on the Theory and Application of Diagrams}, + publisher = {Springer-Verlag}, + address = {Edinburgh, UK}, + series = {LNAI}, + volume = {1889}, + pages = {271-285}, + year = {2000} +} + +@conference{scotto:pualovd, + author ="P. Scotto~di~Luzio", + title ="Patching up a logic of {V}enn diagrams", + booktitle ="Proceedings 6th CSLI Workshop on Logic, Language and Computation", + publisher ="CSLI Publications", + year = "2000" +} + +@conference{shimojima:iaecogrsasg, + author ="A. Shimojima", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations", + pages ="18--21", + year = 2004 +} + + +@incollection{shimojima:lrwd, + author ="A. Shimojima", + publisher ="Oxford University Press", + title ="Operational constraints in diagrammatic reasoning", + booktitle ="Logical Reasoning with Diagrams", + note ="Edited by Gerard Allwein and Jon Barwise", + pages ="27-48", + year =1996 +} + + +@incollection{shin:staovrwvd, + author ="S.-J.~Shin", + publisher ="Oxford University Press", + title ="Situation-Theoretic Account of Valid Reasoning with {V}enn Diagrams", + booktitle ="Logical Reasoning with Diagrams", + editor ="G.~Allwein and J.~Barwise", + pages ="81-108", + year =1996 +} + +@BOOK{shin:tilopg, + AUTHOR = "S.-J.~Shin", + TITLE = "The Iconic Logic of Peirce's Graphs", + PUBLISHER = "Bradford Book", + YEAR = "2002" +} + + +@book{shin:tlsod, + author = "S.-J. Shin", + publisher = "Cambridge University Press", + title = "The Logical Status of Diagrams", + year = 1994 +} + +@article{stenning:ialihrasi, + author = {K.~Stenning and P.~Yule}, + title = {Image and Language in Human Reasoning: A Syllogistic Illustration}, + journal = {Cognitive Psychology}, + year = {1997}, + pages = {109--159}, +} + + +@TECHREPORT{stapleton:afatpieds, + AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", + TITLE = "Appendices for Automated Theorem Proving in Euler Diagram Systems", + INSTITUTION = "University of Brighton", + YEAR = "2006", + number = "Technical Report VMG06.2" +} + + +@conference{stapleton:acdrs, + author = "G. Stapleton and J. Howse and J. Taylor", + booktitle = "Proceedings of International Conference on Visual Languages and Computing", + publisher = "Knowledge Systems Insitute", + title = "A Constraint Diagram Reasoning System", + pages ="263-270", + year = 2003 +} + + +@ARTICLE{stapleton:adcdrs, + AUTHOR = "G.~Stapleton and J.~Howse and J.~Taylor", + TITLE = "A Decidable Constraint Diagram Reasoning System", + JOURNAL = "Journal of Logic and Computation", + YEAR = "2005", + volume = "15", + number = "6", + pages = "975-1008", + month = "December" +} + +@CONFERENCE{stapleton:anlftvolar, + author = {G.~Stapleton and S.~Thompson and A.~Fish and J.~Howse and J.~Taylor}, + title = {A New Language for the Visualisation of Logic and Reasoning}, + booktitle = {11th International Conference on Distributed Multimedia Systems, International Workshop on + Visual Languages and Computing}, + year = {2005}, + month = {September}, + publisher = {Knowledge Systems Institute} +} + +@CONFERENCE{stapleton:asf, + author = {G.~Stapleton and J.~Howse and K.~Toller}, + title = {On Spiders' Feet}, + booktitle = {{E}uler Diagrams 2005}, + year = {2005} +} + +@CONFERENCE{stapleton:asorsboed, + author = {G.~Stapleton}, + title = {A Survey of Reasoning Systems Based on {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + year = {2005}, + pages = {127-151}, + volume = {134}, + series = {ENTCS} +} + +@conference{stapleton:eteosds, + author = "G.~Stapleton and J.~Howse", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computings", + address ="Grand Canyon, USA", + pages = "129--138", + title = "Enhancing the Expressiveness of Spider Diagram Systems", + publisher ="Knowledge Systems Institute", + year = 2006 +} + + +@conference{stapleton:gs, + author = "G.~Stapleton and J.~Howse and K.~Toller", + booktitle = "4th International Conference on the Theory and Application of Diagrams", + address ="Stanford, USA", + pages = "148-150", + title = "Generalizing Spiders", + publisher ="Springer", + year = 2006 +} + +@PHDTHESIS{stapleton:rwcd, + AUTHOR = "G.~Stapleton", + TITLE = "Reasoning with Constraint Diagrams", + SCHOOL = "University of Brighton", + publisher = "British Computer Society", + YEAR = "2004", + source = "http://www.bcs.org/server.php?show=conWebDoc.2842", + month = "August" +} + + + +@ARTICLE{stapleton:teosd, + AUTHOR = "G.~Stapleton and S.~Thompson and J.~Howse and J.~Taylor", + TITLE = "The Expressiveness of Spider Diagrams", + JOURNAL = "Journal of Logic and Computation", + YEAR = "2004", + volume = "14", + number = "6", + pages = "857-880", + month = "December" +} + +@CONFERENCE{stapleton:teosdawc, + author = {G.~Stapleton and J.~Howse and J.~Taylor and S.~Thompson}, + title = {The Expressiveness of Spider Diagrams Augmented with Constants}, + year = {2004}, + booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, + pages = {91-98}, + month = {September}, + publisher = {IEEE Computer Society Press}, +} + +@conference{stapleton:wcsds, + author ="G. Stapleton and J. Howse and J. Taylor and S. Thompson", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="What Can Spider Diagrams Say?", + pages ="112-127", + year = 2004 +} + +@incollection{swoboda:acsotdaiohrs, + author = "N. Swoboda and G. Allwein", + booktitle = "Logical and Computational Aspects of Model-Based Reasoning", + publisher = "Kluwer Academic Publishers", + title = "A case study of the design and implementation of heterogeneous reasoning systems", + editor ="L.~Magnani and N.~J.~Neressian and C.~Pizzi", + pages ="1--18", + year = 2002 +} + +@conference{swoboda:hrwevdcncaf, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of Euler Diagrams 2004", + publisher = "Elsevier Science", + series = "ENTCS", + volume = "134", + title = "Heterogeneous Reasoning with {E}uler/{V}enn Diagrams Containing Named Constants and {FOL}", + year = 2005 +} + +@incollection{swoboda:ievrs, + author = "N. Swoboda", + booktitle = "Diagrammatic Representation and Reasoning", + publisher = "Springer-Verlag", + title = "Implementing {E}uler/{V}enn Reasoning Systems", + editor = "M.~Anderson and B.~Meyer and P.~Olivier", + pages = "371--386", + year = 2001 +} + +@conference{swoboda:mhs, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + address = "Gardens, Georgia, USA", + publisher = "Springer-Verlag", + title = "Modeling Heterogeneous Systems", + series = "LNAI", + volume = "2317", + pages = "131-145", + year = 2002 +} + +@conference{swoboda:ticoevd, + author = "N.~Swoboda and J.~Barwise", + booktitle = "Proceedings LICS workshop on Logic and Diagrammatic Information", + title = "The Information Content of {E}uler/{V}enn Diagrams", + year = 1998 +} + + + +@conference{swoboda:udttvevhaevfhroi, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of GT-VMT", + publisher = "Elsevier Science", + series = "ENTCS", + title = "Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence", + year = 2002 +} + +@article{swoboda:udttvevhaevfhroi:02, + author = {N.~Swoboda and G.~Allwein}, + title = {Using {DAG} Transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Inference}, + journal = {Journal on Software and System Modeling}, + year = {2004}, + volume = {3}, + number = {2}, + pages = {136--149} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TTTTTT %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{thievre:ueditle, + author = {J.~Thi`evre and M.~Viaud and A.~ Verroust-Blondet}, + title = {Using Euler Diagrams in Traditional Library Environments}, + booktitle = {Euler Diagrams 2004}, + year = {2005}, + volume = {134}, + series = {ENTCS}, + pages = {189-202}, + publisher = {ENTCS} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% UUUUUUUUUU %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VVVV %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@article{venn:otdamropar, + author ="J. Venn", + title ="On the diagrammatic and mechanical representation of propositions and reasonings", + journal ="Phil.Mag", + year =1880 +} + + +@CONFERENCE{verroust:etdoedfutes, + author = {A.~Verroust and M.-L.~Viaud}, + title = {Ensuring the Drawability of {E}uler Diagrams for up to Eight Sets}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {128--141}, + publisher = {Springer}, + year = {2004} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WWWWWWW %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@book{warmer:toclpmwu, + author ="J. Warmer and A. Kleppe", + title ="The Object Constraint Language: Precise Modeling with UML", + publisher ="Addison-Wesley", + year =1998 +} + + + +@MASTERSTHESIS{winkelmann:sovavotocl, + AUTHOR = "Jessica Winkelmann", + TITLE = "Specification of {V}isual{O}{C}{L}: {A} {V}isualisation of the + {O}bject {C}onstraint {L}anguage", + SCHOOL = "TU Berlin", + YEAR = "2005", + note = "(in German)" +} + + +@CONFERENCE{winterstein:ddadtp, + author = {D.~Winterstein and A.~Bundy and C.~Gurr}, + title = {Dr {D}oodle: A Diagrammatic Theorem Prover}, + booktitle = {Proceedings of The International Joint Conference on Automated Reasoning}, + year = {2004}, + series = {LNCS}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{winterstein:odbtrapp, + author = {D.~Winterstein and A.~Bundy and M.~Jamnik}, + title = {On Differences Between the Real and Physical Plane}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + year = {2004}, + series = {LNAI}, + volume = {2980}, + pages = {29-31}, + month = {March}, + publisher = {Springer-Verlag} +} + +@BOOK{wos:afcitwocygtar, + AUTHOR = "L.~Wos and G.~Pieper", + TITLE = "A Fascinating Country in the World of Computing Your Guide to Automated Reasoning", + PUBLISHER = "World Scientific", + YEAR = "1999" +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ZZZZZZZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@ARTICLE{zhang:ridct, + AUTHOR = {J.~Zhang and D.~Norman}, + TITLE = {Representations in Distributed Cognitive Tasks}, + JOURNAL = {Cognitive Science}, + YEAR = {1994}, + pages = {87--122}, + vol = {18} +} + +@CONFERENCE{zhao:arbmodtofep, + author = {Y.~Zhao and J.~L\"{o}vdahl}, + title = {A Reuse Based Method of Developing the Ontology for E-Procurement}, + booktitle = {Proceedings of the Nordic Confernce on Web Services}, + year = {2003}, + pages = {101-112} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%