Fundamental Approaches to Software Engineering: Second International Conference, FASE’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings

265 Pages·1999·2.89 MB·English

by  Arie van Deursen

Lecture Notes in Computer Science
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
1 3

Foreword
ETAPS’99 is the second instance of the European Joint Conferences on Theory
and Practice of Software. ETAPS is an annual federated conference that was
established in 1998 by combining a number of existing and new conferences.
Thisyearitcomprisesfiveconferences(FOSSACS,FASE,ESOP,CC,TACAS),
four satelliteworkshops(CMCS, AS,WAGA, CoFI),seveninvitedlectures,two
invited tutorials, and six contributed tutorials.
The events that comprise ETAPS address various aspects of the system de-
velopmentprocess,including specification,design,implementation,analysisand
improvement. The languages, methodologies and tools which support these ac-
tivities are all well within its scope. Different blends of theory and practice are
represented, with an inclination towards theory with a practical motivation on
one hand and soundly-based practice on the other. Many of the issues involved
in softwaredesignapply to systemsin general,including hardwaresystems,and
the emphasis on software is not intended to be exclusive.
ETAPSis a loose confederationin which each event retains its own identity,
with a separateprogrammecommittee andindependent proceedings.Its format
is open-ended,allowingitto growandevolveastime goesby.Contributedtalks
and system demonstrations are in synchronized parallel sessions, with invited
lectures in plenary sessions. Two of the invited lectures are reserved for “unify-
ing” talks on topics of interest to the whole range of ETAPS attendees. As an
experiment, ETAPS’99 also includes two invited tutorials on topics of special
interest. The aim of cramming all this activity into a single one-week meeting
is to create a strong magnet for academic and industrial researchersworkingon
topics within its scope, giving them the opportunity to learn about research in
relatedareas,andtherebytofosternewandexistinglinksbetweenworkinareas
that have hitherto been addressed in separate meetings.
ETAPS’99hasbeenorganizedbyJanBergstraofCWIandtheUniversityof
AmsterdamtogetherwithFransSnijdersofCWI.OverallplanningforETAPS’99
was the responsibility of the ETAPS Steering Committee, whose current mem-
bership is:
Andr´eArnold(Bordeaux),EgidioAstesiano(Genoa),JanBergstra(Am-
sterdam), Ed Brinksma (Enschede), Rance Cleaveland (Stony
Brook),PierpaoloDegano(Pisa),HartmutEhrig(Berlin),Jos´eFiadeiro
(Lisbon), Jean-Pierre Finance (Nancy), Marie-Claude Gaudel (Paris),
Susanne Graf (Grenoble), Stefan J¨ahnichen (Berlin), Paul Klint (Ams-
terdam), Kai Koskimies (Tampere), Tom Maibaum (London), Ugo
Montanari (Pisa), Hanne Riis Nielson (Aarhus), Fernando Orejas
(Barcelona), Don Sannella (Edinburgh), Gert Smolka (Saarbru¨cken),
Doaitse Swierstra (Utrecht), Wolfgang Thomas (Aachen), Jerzy Tiuryn
(Warsaw), David Watt (Glasgow)
VI Foreword
ETAPS’98 has received generous sponsorship from:
– KPN Research
– Philips Research
– The EU programme “Training and Mobility of Researchers”
– CWI
– The University of Amsterdam
– The European Association for Programming Languages and Systems
– The European Association for Theoretical Computer Science
I would like to express my sincere gratitude to all of these people and orga-
nizations, the programme committee members of the ETAPS conferences, the
organizers of the satellite events, the speakers themselves, and finally Springer-
Verlag for agreeing to publish the ETAPS proceedings.
Edinburgh, January 1999 Donald Sannella
ETAPS Steering Committee Chairman
Preface
FASE'99, the Second International Conference on Fundamental Approaches to
Software Engineering isone of the major events of ETAPS'99, aiming to bridge the
gapbetweentheory and practice.
FASE'99 is intended to provide a forum where fundamental approaches are
presented,compared and discussed. Based on theprinciplethat toenhance software
quality,the software production processrequiresrigorousmethods, firmlygrounded
on scientifically justified techniques, the conference addresses basic issues,
especially in the integration of so-called formal and informal aspects as well as
rigorousexperimentalstudies of effectiveness and applicability of formalmethods.
After a rigorous refereeing process, followed by a fifteen-days electronic selection
meeting, 13paperswereselected for presentation and are included in this volume. It
alsoincludestwoinvitedpapers and twodemos.
The FASE'99 ProgramCommittee (PC) members are :
(cid:2) Jean-Pierre Finance (Chair, Université Henri Poincaré, France)
(cid:2)EgidioAstesiano (UniversitádiGenova,Italy, former chair)
(cid:2) Michel Bidoit (Ecole Normale Supérieure de Cachan, France)
(cid:2) Dan Craigen (Canada)
(cid:2)CarloGhezzi (PolitecnicodiMilano,Italy)
(cid:2)HartmutEhrig (TechnischeUniversität Berlin, Germany)
(cid:2) René Jacquart (CERT DERI, Toulouse, France)
(cid:2)Cliff Jones (UK)
(cid:2)TomMaibaum (ImperialCollege,London, UK)
(cid:2) F. Orejas (Barcelona, Spain)
(cid:2)DougSmith (KestrelInstitute,Palo Alto, California, USA)
(cid:2)Axel Van Lamsweerde (Université Catholique de Louvain, Belgium)
(cid:2) Martin Wirsing (UniversitätMünchen,München,Germany)
I thank the PC very much for its efficient cooperation during the refereeing and
selection process, and my thanks also go to the other referees involved. The
discussionswereoftenlively,sometimesheated, but alwaysfair and constructive.
Iwould liketo express mysincere gratitude to Don Sannella, thecoordinator of the
ETAPS’99 Steering Committee, whohelped us in a firm but always kindlyway to
respectthecalendar and ourdeadlines.
In all interactions with authors and the publisher, I have been invaluably supported
by NadineBeurné and Jean-Michel Antoine : manythankstothem.
Nancy,January 1999 Jean-Pierre Finance
FASE'99 PC Chairman
(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:8)(cid:9)(cid:7)(cid:10)(cid:8)(cid:11)(cid:12)(cid:6)(cid:11)(cid:12)(cid:13)
(cid:14)(cid:11)(cid:15)(cid:16)(cid:12)(cid:6)(cid:17)(cid:7)(cid:2)(cid:18)(cid:12)(cid:8)(cid:19)(cid:16)(cid:3)(cid:5)
(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:4)(cid:8)(cid:9)(cid:10)(cid:11)(cid:12)(cid:9)(cid:7)(cid:13)(cid:4)(cid:14)(cid:3)(cid:4)(cid:15)(cid:16)(cid:17)(cid:7)(cid:18)(cid:13)(cid:4)(cid:19)(cid:3)(cid:4)(cid:20)(cid:9)(cid:11)(cid:21)(cid:22)(cid:9)(cid:23)
(cid:24)(cid:9)(cid:12)(cid:9)(cid:6)(cid:11)(cid:25)(cid:21)(cid:4)(cid:26)(cid:12)(cid:12)(cid:10)(cid:9)(cid:12)(cid:4)(cid:17)(cid:7)(cid:4)(cid:18)(cid:21)(cid:9)(cid:4)(cid:24)(cid:9)(cid:7)(cid:22)(cid:5)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:22)(cid:23)(cid:4)(cid:27)(cid:9)(cid:28)(cid:6)(cid:25)(cid:29)(cid:4)(cid:30)(cid:29)(cid:12)(cid:18)(cid:9)(cid:31)(cid:12) (cid:4)
(cid:14)(cid:11)(cid:15)(cid:16)(cid:12)(cid:6)(cid:17)(cid:7)(cid:20)(cid:3)(cid:21)(cid:6)(cid:19)
!(cid:3)(cid:4)"(cid:9)#(cid:9)(cid:11)
(cid:19)(cid:22)(cid:7)(cid:18)(cid:17)(cid:7)(cid:10)(cid:22)(cid:10)(cid:12)(cid:4)$(cid:7)(cid:28)(cid:17)(cid:7)(cid:9)(cid:9)(cid:11)(cid:17)(cid:7)(cid:28)(cid:4)(cid:22)(cid:23)(cid:4)(cid:26)(cid:7)(cid:23)(cid:22)(cid:11)(cid:31)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:6)(cid:7)%(cid:4)(cid:19)(cid:22)(cid:31)(cid:31)(cid:10)(cid:7)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:26)(cid:7)(cid:23)(cid:11)(cid:6)(cid:12)(cid:18)(cid:11)(cid:10)(cid:25)(cid:18)(cid:10)(cid:11)(cid:9)(cid:12) (cid:4)&&
(cid:10)(cid:8)(cid:11)(cid:12)(cid:19)(cid:16)(cid:4)(cid:18)(cid:12)(cid:6)(cid:17)(cid:7)(cid:20)(cid:3)(cid:21)(cid:6)(cid:19)(cid:13)
(cid:8)(cid:3)(cid:4)(cid:2)(cid:7)(cid:25)(cid:22)(cid:7)(cid:6)(cid:13)(cid:4)’(cid:3)(cid:4)(cid:19)(cid:9)(cid:11)(cid:17)(cid:22)(cid:16)(cid:17)(cid:13)(cid:4)$(cid:3)(cid:4)(cid:4)((cid:10)(cid:25)(cid:25)(cid:6)
(cid:2)(cid:4))(cid:22)(cid:11)(cid:31)(cid:6)(cid:16)(cid:4))(cid:11)(cid:6)(cid:31)(cid:9)*(cid:22)(cid:11)+(cid:4)*(cid:17)(cid:18)(cid:21)(cid:4)(cid:27)(cid:6)(cid:18)(cid:9)(cid:4),(cid:17)(cid:7)%(cid:17)(cid:7)(cid:28) (cid:4)-.
(cid:19)(cid:3)(cid:4)(cid:2)(cid:18)(cid:18)(cid:6)(cid:7)(cid:6)(cid:12)(cid:17)(cid:22)(cid:13)(cid:4))(cid:3)(cid:4)(cid:4)(cid:19)(cid:22)(cid:11)(cid:11)(cid:6)%(cid:17)(cid:7)(cid:17)(cid:13)(cid:4)(cid:14)(cid:3)(cid:4)(cid:26)(cid:7)(cid:5)(cid:9)(cid:11)(cid:6)(cid:11)%(cid:17)
/(cid:9)(cid:18)(cid:4)(cid:2)(cid:7)(cid:22)(cid:18)(cid:21)(cid:9)(cid:11)(cid:4)(cid:24)(cid:9)(cid:6)(cid:16)01(cid:17)(cid:31)(cid:9)(cid:4)(cid:30)2(cid:9)(cid:25)(cid:17)(cid:23)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:23)(cid:22)(cid:11)(cid:4)(cid:18)(cid:21)(cid:9)(cid:4)(cid:30)(cid:18)(cid:9)(cid:6)(cid:31)(cid:4),(cid:22)(cid:17)(cid:16)(cid:9)(cid:11)3(cid:4)(cid:27)(cid:22)(cid:25)(cid:6)(cid:16)(cid:4)(cid:19)(cid:16)(cid:22)(cid:25)+(cid:12)
(cid:18)(cid:22)(cid:4)(cid:30)(cid:18)(cid:6)(cid:18)(cid:17)(cid:25)(cid:6)(cid:16)(cid:16)(cid:29)(cid:4)’(cid:9)(cid:6)(cid:12)(cid:10)(cid:11)(cid:9)(cid:4)(cid:30)(cid:29)(cid:12)(cid:18)(cid:9)(cid:31)(cid:12)(cid:4)(cid:14)(cid:9)(cid:11)(cid:23)(cid:22)(cid:11)(cid:31)(cid:6)(cid:7)(cid:25)(cid:9) (cid:4)45
(cid:24)(cid:3)(cid:4),(cid:11)(cid:10)(cid:7)(cid:17)(cid:13)(cid:4)6(cid:3)(cid:4)(cid:4)’(cid:9)(cid:12)(cid:9)(cid:28)(cid:10)(cid:9)(cid:11)(cid:13)(cid:4)7(cid:3)(cid:4)(cid:4)’(cid:22)(cid:7)(cid:18)(cid:6)(cid:7)(cid:6)(cid:11)(cid:17)
$8(cid:9)(cid:25)(cid:10)(cid:18)(cid:6)#(cid:16)(cid:9)(cid:4)1(cid:17)(cid:16)(cid:9)(cid:4)(cid:30)2(cid:9)(cid:25)(cid:17)(cid:23)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:12)(cid:4)(cid:23)(cid:22)(cid:11)(cid:4)(cid:14)(cid:11)(cid:22)(cid:25)(cid:9)(cid:12)(cid:12)(cid:4)(cid:19)(cid:6)(cid:16)(cid:25)(cid:10)(cid:16)(cid:17) (cid:4)9.
$(cid:3)(cid:4)(cid:4)(cid:19)(cid:22)(cid:12)(cid:25)(cid:17)(cid:6)(cid:13)(cid:4):(cid:3)(cid:4)(cid:4)(cid:24)(cid:9)(cid:28)(cid:28)(cid:17)(cid:22)
61;(cid:4)3(cid:4)(cid:2)(cid:4)6(cid:6)(cid:5)(cid:6)01(cid:6)(cid:11)(cid:28)(cid:9)(cid:18)(cid:9)%(cid:4):(cid:11)(cid:6)2(cid:21)(cid:17)(cid:25)(cid:4))(cid:22)(cid:11)(cid:31)(cid:6)(cid:16)(cid:4);(cid:22)(cid:18)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:23)(cid:22)(cid:11)(cid:4)(cid:24)(cid:9)(cid:6)(cid:25)(cid:18)(cid:17)(cid:5)(cid:9)(cid:4)(cid:6)(cid:7)%
(cid:19)(cid:22)(cid:7)(cid:25)(cid:10)(cid:11)(cid:11)(cid:9)(cid:7)(cid:18)(cid:4)(cid:30)(cid:29)(cid:12)(cid:18)(cid:9)(cid:31)(cid:12)(cid:4) (cid:4)<<
"(cid:3)(cid:4)(cid:4))(cid:22)++(cid:17)(cid:7)+(cid:13)(cid:4)(cid:19)(cid:3)(cid:4)(cid:4)(cid:20)(cid:9)(cid:11)(cid:21)(cid:22)(cid:9)(cid:23)
(cid:19)(cid:22)(cid:7)(cid:12)(cid:9)(cid:11)(cid:5)(cid:6)(cid:18)(cid:17)(cid:5)(cid:9)(cid:4)$8(cid:18)(cid:9)(cid:7)(cid:12)(cid:17)(cid:22)(cid:7)(cid:4)(cid:17)(cid:7)(cid:4)(cid:14)(cid:22)(cid:12)(cid:17)(cid:18)(cid:17)(cid:5)(cid:9)=;(cid:9)(cid:28)(cid:6)(cid:18)(cid:17)(cid:5)(cid:9)(cid:4)(cid:19)(cid:22)(cid:7)%(cid:17)(cid:18)(cid:17)(cid:22)(cid:7)(cid:6)(cid:16)(cid:4)1(cid:9)(cid:11)(cid:31)(cid:4)(cid:24)(cid:9)*(cid:11)(cid:17)(cid:18)(cid:17)(cid:7)(cid:28)
*(cid:17)(cid:18)(cid:21)(cid:4)(cid:2)22(cid:16)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:12)(cid:4)(cid:18)(cid:22)(cid:4)(cid:30)(cid:22)(cid:23)(cid:18)*(cid:6)(cid:11)(cid:9)(cid:4)(cid:24)(cid:9)(cid:7)(cid:22)(cid:5)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4))(cid:6)(cid:25)(cid:18)(cid:22)(cid:11)(cid:17)(cid:9)(cid:12) (cid:4)>?
’(cid:3)0(cid:19)(cid:3)(cid:4):(cid:6)(cid:10)%(cid:9)(cid:16)(cid:13)(cid:4)(cid:19)(cid:3)(cid:4)(cid:4)(cid:15)(cid:21)(cid:22)(cid:10)(cid:11)(cid:29)(cid:13)(cid:4)(cid:2)(cid:3)(cid:4)(cid:4)((cid:6)(cid:31)(cid:10)(cid:16)(cid:17)(cid:7)
(cid:8)(cid:29)(cid:7)(cid:6)(cid:31)(cid:17)(cid:25)(cid:4)(cid:30)(cid:29)(cid:12)(cid:18)(cid:9)(cid:31)(cid:12)(cid:4)*(cid:17)(cid:18)(cid:21)(cid:4)(cid:26)(cid:31)2(cid:16)(cid:17)(cid:25)(cid:17)(cid:18)(cid:4)(cid:30)(cid:18)(cid:6)(cid:18)(cid:9) 4
(cid:15)(cid:3)(cid:4)(cid:27)(cid:6)(cid:7)(cid:22)(cid:13)(cid:4)(cid:2)(cid:3)(cid:4)$(cid:5)(cid:6)(cid:7)(cid:12)
(cid:24)(cid:17)(cid:28)(cid:22)(cid:11)(cid:22)(cid:10)(cid:12)(cid:4)(cid:8)(cid:9)(cid:5)(cid:9)(cid:16)(cid:22)2(cid:31)(cid:9)(cid:7)(cid:18)(cid:4)(cid:17)(cid:7)(cid:4)7’(cid:27) &>
(cid:2)(cid:3)(cid:4)(cid:27)(cid:22)2(cid:9)(cid:12)(cid:13)(cid:4)(cid:4)6(cid:3)(cid:27)(cid:3)(cid:4))(cid:17)(cid:6)%(cid:9)(cid:17)(cid:11)(cid:22)
7(cid:12)(cid:17)(cid:7)(cid:28)(cid:4)$82(cid:16)(cid:17)(cid:25)(cid:17)(cid:18)(cid:4)(cid:30)(cid:18)(cid:6)(cid:18)(cid:9)(cid:4)(cid:18)(cid:22)(cid:4)(cid:8)(cid:9)(cid:12)(cid:25)(cid:11)(cid:17)#(cid:9)(cid:4)(cid:2)(cid:11)(cid:25)(cid:21)(cid:17)(cid:18)(cid:9)(cid:25)(cid:18)(cid:10)(cid:11)(cid:9)(cid:12) 44
@(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)1(cid:6)#(cid:16)(cid:9)(cid:4)(cid:22)(cid:23)(cid:4)(cid:19)(cid:22)(cid:7)(cid:18)(cid:9)(cid:7)(cid:18)(cid:12)
’(cid:3)(cid:4)(cid:4)’A(cid:16)(cid:16)(cid:9)(cid:11)0B(cid:16)(cid:31)(cid:13)(cid:4),(cid:3)(cid:4)(cid:30)(cid:18)(cid:9)(cid:23)(cid:23)(cid:9)(cid:7)(cid:13)(cid:4)(cid:24)(cid:3)(cid:4)(cid:19)(cid:16)(cid:9)(cid:6)(cid:5)(cid:9)(cid:16)(cid:6)(cid:7)%
B(cid:7)(cid:4)(cid:18)(cid:21)(cid:9)(cid:4)$(cid:5)(cid:22)(cid:16)(cid:10)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:22)(cid:23)(cid:4)(cid:24)(cid:9)(cid:6)(cid:25)(cid:18)(cid:17)(cid:5)(cid:9)(cid:4)(cid:19)(cid:22)(cid:31)2(cid:22)(cid:7)(cid:9)(cid:7)(cid:18)(cid:12)(cid:4)0(cid:4)(cid:2)(cid:4)(cid:14)(cid:11)(cid:22)(cid:25)(cid:9)(cid:12)(cid:12)0(cid:2)(cid:16)(cid:28)(cid:9)#(cid:11)(cid:6)(cid:17)(cid:25)(cid:4)(cid:2)22(cid:11)(cid:22)(cid:6)(cid:25)(cid:21) 9
(cid:20)(cid:3)(cid:2)(cid:3)(cid:4);(cid:9)2(cid:22)(cid:31)(cid:7)(cid:17)(cid:6)(cid:12)(cid:25)(cid:21)(cid:29)
(cid:20)(cid:9)(cid:11)(cid:17)(cid:23)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:22)(cid:23)(cid:4)(cid:8)(cid:9)(cid:23)(cid:17)(cid:7)(cid:17)(cid:18)(cid:9)(cid:4)(cid:26)(cid:18)(cid:9)(cid:11)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:4)(cid:22)(cid:5)(cid:9)(cid:11)(cid:4)!(cid:17)(cid:9)(cid:11)(cid:6)(cid:11)(cid:25)(cid:21)(cid:17)(cid:25)(cid:6)(cid:16)(cid:4)(cid:8)(cid:6)(cid:18)(cid:6)(cid:4)(cid:30)(cid:18)(cid:11)(cid:10)(cid:25)(cid:18)(cid:10)(cid:11)(cid:9)(cid:12) <9
1(cid:3)(cid:4)(cid:4);(cid:17)2+(cid:22)*(cid:13)(cid:4)(cid:4)(cid:27)(cid:3)(cid:4)(cid:14)(cid:11)(cid:9)(cid:7)(cid:12)(cid:6)(cid:4);(cid:17)(cid:9)(cid:18)(cid:22)
B*(cid:17)(cid:25)+(cid:17)=:(cid:11)(cid:17)(cid:9)(cid:12)(cid:4)(cid:17)(cid:7)(cid:4)(cid:26)(cid:12)(cid:6)#(cid:9)(cid:16)(cid:16)(cid:9)=!B(cid:27) ??
(cid:19)(cid:3)(cid:4);(cid:22)(cid:18)(cid:18)(cid:9)(cid:28)(cid:6)(cid:11)(cid:13)(cid:4)(cid:19)(cid:3)(cid:4)(cid:14)(cid:11)(cid:17)(cid:6)(cid:31)(cid:17)(cid:13)(cid:4)(cid:14)(cid:3)(cid:4)(cid:8)(cid:9)(cid:28)(cid:6)(cid:7)(cid:22)
(cid:30)(cid:9)(cid:31)(cid:6)(cid:7)(cid:18)(cid:17)(cid:25)0(cid:8)(cid:11)(cid:17)(cid:5)(cid:9)(cid:7)(cid:4)(cid:14)(cid:9)(cid:11)(cid:23)(cid:22)(cid:11)(cid:31)(cid:6)(cid:7)(cid:25)(cid:9)(cid:4)$(cid:5)(cid:6)(cid:16)(cid:10)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7) &.4
6(cid:3)(cid:4)1(cid:6)2+(cid:9)(cid:7)
(cid:26)(cid:31)2(cid:16)(cid:9)(cid:31)(cid:9)(cid:7)(cid:18)(cid:17)(cid:7)(cid:28)(cid:4)!(cid:17)(cid:9)(cid:11)(cid:6)(cid:11)(cid:25)(cid:21)(cid:17)(cid:25)(cid:6)(cid:16)(cid:4):(cid:11)(cid:6)2(cid:21)0(cid:30)(cid:18)(cid:11)(cid:10)(cid:25)(cid:18)(cid:10)(cid:11)(cid:9)(cid:12) & >
(cid:22)(cid:6)(cid:23)(cid:8)(cid:13)
(cid:27)(cid:3)(cid:4),(cid:16)(cid:6)(cid:17)(cid:11)(cid:13)(cid:4)1(cid:3)(cid:4)6(cid:22)(cid:7)(cid:9)(cid:12)(cid:13)(cid:4)(cid:4):(cid:3)(cid:4),(cid:16)(cid:6)(cid:17)(cid:11)
(cid:2)(cid:4)1(cid:22)(cid:22)(cid:16)(cid:4)(cid:30)(cid:10)(cid:17)(cid:18)(cid:9)(cid:4)(cid:23)(cid:22)(cid:11)(cid:4)’(cid:10)(cid:16)(cid:18)(cid:17)02(cid:6)(cid:11)(cid:6)%(cid:17)(cid:28)(cid:31)(cid:4)(cid:30)2(cid:9)(cid:25)(cid:17)(cid:23)(cid:17)(cid:25)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7) &-4
(cid:19)(cid:3)(cid:4)(cid:27)A(cid:18)(cid:21)(cid:13)(cid:4)!(cid:3)(cid:4)1(cid:9)C(cid:13)(cid:4)(cid:15)(cid:22)(cid:16)(cid:29)(cid:6)(cid:7)(cid:28)(cid:13)(cid:4),(cid:3)(cid:4)(cid:15)(cid:11)(cid:17)(cid:9)(cid:28)0,(cid:11)A(cid:25)+(cid:7)(cid:9)(cid:11)
1(cid:2)(cid:30)(cid:4)(cid:6)(cid:7)%(cid:4)(cid:26)(cid:12)(cid:6)"(cid:17)(cid:7)(cid:4)3(cid:4)1(cid:22)(cid:22)(cid:16)(cid:12)(cid:4)(cid:23)(cid:22)(cid:11)(cid:4)1(cid:11)(cid:6)(cid:7)(cid:12)(cid:23)(cid:22)(cid:11)(cid:31)(cid:6)(cid:18)(cid:17)(cid:22)(cid:7)(cid:6)(cid:16)(cid:4)(cid:14)(cid:11)(cid:22)(cid:28)(cid:11)(cid:6)(cid:31)(cid:4)(cid:8)(cid:9)(cid:5)(cid:9)(cid:16)(cid:22)2(cid:31)(cid:9)(cid:7)(cid:18)
(cid:6)(cid:7)%(cid:4)1(cid:21)(cid:9)(cid:22)(cid:11)(cid:9)(cid:31)(cid:4)(cid:14)(cid:11)(cid:22)(cid:5)(cid:17)(cid:7) &->
(cid:2)(cid:10)(cid:18)(cid:21)(cid:22)(cid:11)(cid:4)(cid:26)(cid:7)%(cid:9)8 &45