R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
'' ,, %% '' )) ++ %% !! -% && ''
% ) ) % % ** + && ''
,,
)
% $ / ! ! " " / # # $ $ % $ % $ (' (' + +% & $& $ ' ) ' ) ! ! /% % $ $ * * + ! ! $" " ( ( " "
*
+
*
%
%
+
+
+
)
/
/
/
0
2
$
$
$
$
"
"
"
!
!
0
!
2
!
!
!
11 ! " ! ! 11 00 11 ++ ++
!'" 4
1 1' ! "
.. ! % 33
,
## !! % !! // ' 4 11 55 %% $$ "" !! ' $$ "" 66 11 !! , %% !! 77 ## !! "" %%
77 !! 66 11 !! ,, ** !! 77 88 '' "" !! '' 44 !! 11 '' )) )) $$ -- . 11 %% 11 %% // &&
+ + ' ' % % * * " " 1 1 % % 3 3 1 1 ! ! ) ) ! ! ' ' % % 9 9 1 1 " " ! ! ) ) " " * * 7 7 ! ! % % ! ! ' ' " " ) ) ' ' .( : : , , $ $ + + (
+ + 1 1 4 4 ! ! 3 3 $ $ # # + + 1 1 ) ) + + & & " " ! ! ) ) " " ( / / & & ' ' 4 4 % % ( " " $ $ ( + + + + ' ' * * " " ( ! !
(
( !! ;; )) !! ++ ++ !! << ## '' %% !! '' %% (( !! 11 )) "" !! '' 11 55 !! "" !! )) !! ,
11 %% %% $$ !! %% ** 11 %% == !! , %% ++ !! !! "" ->> ?? @@ AA BB @@ CC ?? DD EE FF GG ?? HH II GG EE GG JJ
CC JJ PP
UU
KK GG ?? LL
HH KK QQ JJ CC
@@ MM NN
RR HH @@
HH II BB GG EE FF KK HH BB ?? @@ KK II OO FF JJ LL HH
II GG KK SS GG EE TT
VV \\ \\ ]] S
[
Z
[
a
Z
K
`
a
J
J
K
`
J
J
R
_
__ LL PP EE GG KK S
^^ HH LL @@ R EE _ HH EE
VV WW XX YY VV XX
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
D
Daaggssttuuhhll SSeem
miinnaarr “Reasoning about shape”
http://www.dagstuhl.de/03101
About 25 model checkers, program analysts, and theorem provers
gathered in this very interactive and productive meeting to discuss
how established methodology can be extended or adapted to deal
with`shape' --- examples being the shape of a heap structure
manipulated by programs or the dynamic topology of an ad hoc
wireless network. Three representative research efforts are
http://www.math.tau.ac.il/~rumster TVLA has been used to analyse
programs that manipulate linked lists; it uses first-order logic with
transitive closure to encode the required `shape theory' and analysis
constraints, but is doubly exponential in the length of programs in
the worst case.
http://research.microsoft.com/behave/sharpie-report-abs.html
Sharpie is a staged framework with behavioural types for
asynchronous programming. Its behavioural type system “allows
programmers to state succinct descriptions of the externally visible
behaviour of each operation in a stage. A novel modular type
checking algorithm ensures that the code implementing an operation
conforms to stated behaviour.”
http://www4.informatik.tu-muenchen.de/~nipkow/pubs/cade03.html
Isabelle/HOL is a higher-order theorem prover in which
Prof Nipkow implemented Barnat's Hoare triples for pointer
programs- based on separation logic. This implementation is used to
prove the correctness of the Schorr-Waite graph marking algorithm
(not presented at the meeting, but talked about).
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
W
Woorrkk--iinn--pprrooggrreessss rreeppoorrttss iiddeennttiiffiieedd tthhee ffoolllloow
wiinngg nneeeeddss::
* The ability of model checkers to generate models that meet specific
non-propositional constraints;
* The focus on approaches that promise at least some scalability - e.g.
Airbus software of up to 1.2M lines of code was analysable due to its
high structural integrity;
* The ability of model checkers and theorem provers to express and
analyse HYBRID logics, e.g. temporal sequences of heap structure
evolution;
* A Systematic study on which shape constraints give rise to (omega)regular languages - e.g. as is the case in Bruno Blanchet's PhD thesis
on Escape Analysis for Standard ML and Java - possibly enabling
automata-theoretic techniques for verification and analysis.
http://www.dagstuhl.de/03101
ftp.dagstuhl.de/pub/Proceedings/03/03101
Online Proceedings are available.
M
Miicchhaaeell H
Huutthh
N
NE
EW
WR
RE
ESSE
EA
AR
RC
CH
HG
GR
RA
AN
NTTSS F
FO
OR
R PPM
ME
EG
GR
Reesseeaarrcchh G
Grroouupp
PPaassssaaggee T
Tiim
meess iinn L
Laarrggee M
Maarrkkoovv aanndd SSeem
mii--M
Maarrkkoovv C
Chhaaiinnss ((PPA
ASST
TR
RA
AM
MII))
G
R
/
S
2
4
9
6
1
/
0
1
(
P
G
H
a
n
d
W
J
K
,
a
b
o
u
t
2
6
0
K
)
GR/S24961/01 (PGH and WJK, about 260K)
R
Riisskk M
Maannaaggeem
meenntt ffoorr Q
Quueeuueeiinngg SSyysstteem
mss
G
GR
R//SS2277884499//0011 ((PPG
GH
H aanndd B
BR
R,, aabboouutt 225500K
K))
PPrroodduucctt--ffoorrm
mss ffrroom
mM
Maarrkkoovviiaann PPrroocceessss A
Allggeebbrraa ((PPR
RO
O--FFO
OR
RM
MA
A))
G
R
/
S
4
5
1
4
0
/
0
1
(
P
G
H
,
a
b
o
u
t
a
b
o
u
t
5
0
K
)
GR/S45140/01 (PGH, about about 50K)
PETE HARRISON AND DAVE THORNLEY
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
b cedgfihkj
l
j m
D
Duuee ttoo ppooppuullaarr ddeem
maanndd tthhee F
Fiieessttaa ddaayy rreettuurrnneedd ffoorr 22000033..
TThhee FFiieessttaa ddaayy iiss aa lliigghhtt--hheeaarrtteedd oorr ffuunn ddaayy ffoorr PPhhD
D ssttuuddeennttss ttoo sshhoow
w--ooffff
tthheeiirr w
woorrkk aanndd ggeett ttooggeetthheerr aanndd cchhaatt aabboouutt aallll tthhiinnggss PPhhD
D..
T
Thhiiss yyeeaarr''ss w
waass hheelldd oonn FFrriiddaayy 1133tthh JJuunnee ((fflloouuttiinngg aannyy ssuuppeerrssttiittiioonn
tthheerreeiinn)) aanndd w
wee hhaadd ssoom
mee cchhaannggeess.. T
Thhee tthheem
mee ffoorr tthhiiss yyeeaarr''ss ffiieessttaa w
waass
''G
Geettttiinngg iitt iinn oonn ttiim
mee''.. T
Thhee ddaayy’’ss PPrrooggrraam
mm
mee w
waass
10.30-11.30
11.30-12.00
12.00-13.00
1133..0000--1144..0000
14.00-15.00
15.00-16.30
16.30-17.30
Invited Speaker
coffee/ Poster Session 1
final year presentations (x3)
lluunncchh ((oow
wnn))
final year presentations (x3)
coffee/ Poster Session 2
DEBATE: 'This side of the house believes Theory PhDs
take longer than Implementation-based PhDs'
17.30 - late
Fiesta party with Prize Presentations (poster, presentation,
debating team)
What
was
required
from
the students:
n
Year
3
or
above
volunteers:
20-minute presentation
n
n All other students: a 1 A4-page poster (or reuse of a poster already done)
Two debating teams each consisting of: 1 final-year person, 2
'implementational' PhD and 2 'theory' PhD people respectively per team.
Prizes were given for the best Poster, Presentation and Debating team
Best Presentation award: SIMON RIZZELLO with 6 votes
Best Poster award: DIMITRIOS PERPERIDIS with 5 votes
Winning Debating Team: IMPLEMENTATION with 13 votes (Theory had 6)
THANKS to all those who made the day a success!!!
Julie McCann
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
FFuunnddiinngg ffoorr PPhhD
DA
Apppplliiccaattiioonnss ffoorr 22000044
oqpsrutwvupyxupep{z}|{~v€pzƒ‚…„‡†‰ˆ‹ŠŒŽŒ‘ˆw’”“”•–“—˜Š™“š’{›œŸž “š†¡’”Œ’¢i£¥¤¦z¨§©r€p
ªepeteª{«~z€pe¬i­®¤¦¯‡z€pw°§š±pet{¯³²´¬k­¡µ”z€ª¦~zu|}­®¤{¯¶t{·š·e«¸~º¹tš§©~»¤{z¬ƒ¼e½¾½À¿uÁ}ÂÄÃÅt{zuª
½¾ÆÇÃÈÂÊÉÌË
e¼ ½¾½ ÍÏΔÐÒÑÔÓÖՅ×ÙØÖÚ»ÛÝÜßÞáàÙâ‘ÑÈãäםå–àæÙæáջڅÓçàÖâèÚéםÛÝØêâ‘×ÌåëÑÙàáÓÒÐíìïîñð¶ÓÒÐòאՅàå‘ØÙÐóÚ»æòØÇôÀÚ»Õ´ÕçõÒÑ
öç÷óøuùÝ÷Ùú¸ûÏüýóýáþ ÿ æÙæáջڅÓçàÒâèڅאÛòØÇôÀڻջՍâèÐÒѐÛÔõòÑ ØòѐÛòâáâ‘×ÔÑóàóÓÖЁѝæÝàå âÈѐÛçâ€Ú»Û ѝõáåÒàå
ôÊÚ âèоã Ú»ÛÝàÕ ÞáÑáÓÒÚéØÙڅאÛÝ؋âë× õÝ
Ñ ÈàóÞáÑ Ú»
Û ÀàåëÓÒÐ æóåèÚ»Õ ÿ
Í âèÐÒÑ ÜóѝÛÝѝåëàÕ Ó ×Û Ø ÑÛòØÝØÇô‹àáØêâ‘×ÌõóåèÚ»ÛÒÜÊãäזåô˜àåëÞÏâèÐÝÑÄôÄÐÒ×Õ…Ñ ð Ó
òÓÒÕéÑ õ
ð È
àæóæóåë×ó ÚÈàÙâëÑÕ Äô‹ÑáÑ Ø ÿ ÎeÐáÚéØÏÚéØêâë×ÔѐÛÒàõáՅÑÈâ ÐÒÑ åëÑáØóÕ â‘Øêâ‘×ÌõÒÑ àÛáÛÒ× ÙÛÝÓçÑáÞ õ
êâèÐÒÑ
ѝÛÒÞß×Òã æáåèÚºÕ ÿ ΔÐóÚ Ø!È
ÑóàÛÝØêâèÐÝàÙâ ð àæóæóÕºÚ…Ó àÙâèڅזÛòØÇôÄÚ»Õ´ÕçåóÛ#"óÚ»å âÒàÕ»Õ æÝàå‘àÕ»Õ…ѐՍâë×
$&%'% Ø ÓÒÐòאՅàå‘ØÖÐóÚ»æòØ ÿ
¾
½ ÆÇÃÈÂÊÉ)(#*'+Ȭ ÍÏΔÐáÚ Ø,
òÑáàåÖô‹ÑÔѝÛÝÓ ×-áåëàáÜÙÑáÞÈâèÐÒÑ %'. ð î Ø âÒÞóÑ–Û â à–æÙæóÕ»ÚéÓçàÙâèڅםÛÝØ
âë× õÒÑ ØóõßÚ â âëÑáÞ õ
0/21 æáåèÚ»Õ ÿ ΔÐóÚéØÇô‹×å ÑáÞÄô˜ÑÕºÕ ÿ ìÛÔջڅܐÐòâ ×Öã â ÒÐ ÑÔà–õÒ×"ÒÑ43ÖÚ â Èà
õÝÑ
ÑáØ ØòѝÛòâèڅàÕâ‘× ÐÒà "ÝÑÔàÛÄÑÙàåèÕ ÄÞáÑáàóޝջڻÛÒÑ ÛÝÑ5 â
òÑóàå ÿ
6 6 7 7 8 89 9 : : ; ; ÷ ÷ ø ø 9 9 < < 7 7 ÷ ÷ < < = = 7 7 > > 9 9 < < ù ù ? ? ; ; ø ø < < 9 9 ø ø ; ; ; ; ? ? < < @ @ A A ; ; 7 7 @ @ B B? ? 8 8ø ø C C
; ; ÷ ÷ ú ú B ûB û ö ö ÷ ÷ ø ø ù ù ÷ ÷ ú ú û û ø ø ; ; E E < < û û ; ; ÷ ÷ ú ú 8 8 ø ø @ @ ú ú ? ? ; ; ú ú < < @ @ A A ; ; F F @ @ ø ø 9 9 8 8 ? ? ; ; ú ú ; ; ? ?
@@ D DD; ; úú 99
D D @ @ ú ú < <7 7 ; ;
D D@ @ ú ú ÷ ÷ ù ù < <ù ù : : ø ø ü ü ý ý ý ý þ þ A A û û
÷ ÷ A A @ @ G G ; ; D D ù ù ø ø ? ? 8 8ø ø C C H H H H
ZZ
T
T
T W XX Y Z Y [
I I J J K K L L M M N N O O P P Q Q R R S S T M M P P N N T P P O O P P U U U U P P V V M M N N T W S S Y Z Y [ \ \ N N ] ] ^ ^ _ _ ` `] ] Z Z ] ] a a b b
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
cedf gihkjml#npo0qrjsl
IC/UoL
or DoC
FORMAL MILESTONES
OUTCOME/DETAILS
IC/UoL
Immediate - 0 months : English Language
proficiency test for non-native English speakers
If not applicable, exemption may be
requested by Supervisor and
Postgraduate Tutor.
DoC
IC/UoL
and DoC
Year 1 – 3 months : Periodic Progress Report
Year 1 - 9 months : .
First Formal Review First Year Report (about 20
pages) and First Year Presentation (25-30 minutes)
If not successful, student may be asked to withdraw
Year 1 – 12 months – Periodic Progress Report
Year 2 – 18 months – Periodic Progress Report
Year 2 – Months 12 - 18: MPhil to PhD formal
transfer seminar and extensive written report, together
with the outline of thesis, and plans for completion.
DoC
DoC
IC/UoL
and DoC
Progress is assessed by reviewers; if
unsatisfactory, students may be asked to
re-submit.
Transfer from MPhil to PhD registration
is approximately halfway through the
second year
Hilfred Chau Memorial Prize awarded
for best MPhil/PhD Transfer Report
Possible outcomes: 1) continue to PhD, 2) continue for MPhil, 3) asked to withdraw
Year 2 – 24 months – Periodic Progress Report
DoC
Year
2 – 24 months – minimum completion of full-time study for MPhil, PhD and DIC
IC/UoL
Year 3 – Month 25 – Plan for Finalization
Student and Supervisor draw up a plan
DoC
for finalization of the research and write
up of thesis within the end of third year.
Year 3 – maximum completion is 27 months for
IC/UoL
MPhil & DIC – therefore latest submission date for
MPhil dissertation
Year 3 – 30 months – Periodic Progress Report
DoC
Year 3 – 30 months Latest date for submission of
IC/UoL
PhD Examination Entry Forms
Year 3 – 36 Months – Periodic Progress Report
DoC
Year Three- around 32nd month: Research
DoC
Presentation (30 min seminar)
Year
3 – 36 months – Latest Date for submission of
IC/UoL
PhD dissertation
Year 4 – 40 months – Latest date for submission of
IC/UoL
PhD examination entry form
Year 4 – 42 months – Periodic Progress Report
DoC
Year 4 – 48 months – Periodic Progress Report
DoC
Final Year – 54 months – Periodic Progress Report
DoC
Final Year, 60 months: Latest date for submission
IC/UoL
of PhD Dissertation
PLEASE NOTE – This list of milestones is written under the assumption that
students start in October. Internal milestones (i.e. progress reports, and nine month
progress talks) apply to all students irrespective of whether they start in October or
later on in the academic year. Talks usually take place at the same time each year,
usually every January and July.
ALL current information on PhD research procedures can be found on
our Departmental website under the Research icon!! Just ‘click’ on
‘Postgraduates’ under ‘Information on Research for Students’
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
W
Weellccoom
mee ttoo A
AL
LL
LT
TH
HE
EF
FO
OL
LL
LO
OW
WIIN
NG
G nneew
w
ssttaaffff//ssttuuddeennttss w
whhoo rreecceennttllyy jjooiinneedd uuss!!!!!!
Catherine Wang who joined us on 16th June as a new
Secretary in the Department.
Oliver Wells, UbiCare Project Manager who joined
us on 1st June, working with Morris.
Paul Aljibar who joined us on 1st April.
Dr Xinzhong Li who joined us on 16th June.
Dr John Tchalenko who joined us on 1st May.
Kanwal Bhatia who joined us on 1st April.
Theodore Hong who started as a TA in February 2003.
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
Congratulations to Dr Robert Merrifield, British Heart
Foundation (BHF) Junior Research Fellow, who
started 1st June, working with Guang-Zhong and team.
tT
t he following have recently been awarded their PhDs!
t t SStteepphheenn BBaarrkkeerr
Maarrttiinn B
Beerrggeerr
tt M
miill
t t JJuuaann CCaarrllooss FFeerrnnaannddeezz--RRaam
Alleexxaannddrrooss PPaappppaass
tt A
miim
maa PPaauurroobbaallllyy
t t SShhaam
t t RRuueeiihheerr TTssaauurr
SSeebbaassttiiaann U
Ucchhiitteell
Our CONGRATULATIONS go to them all!!!
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
C
ongratulations to:
Alexandros Chortaras – awarded the Morgan Stanley Prize
in Advanced Computing for 2002. This prize is awarded
each year to an MAC student for the best individual project
and is of the value of £200!
All our best wishes and thanks go to the following
who recently left the Department for ‘pastures
u new’!!!
u
u u JJiillll PPaayynnee
L
Liinnxxuuee SSuunn
D
Deeppaarrttm
meenntt ooff C
Coom
mppuuttiinngg L
Leeccttuurreesshhiipp ppoossttss
T
Thhee rreessppoonnssee ttoo tthhee aaddvveerrttiisseem
meenntt ffoorr lleeccttuurreerrss
w
wiitthhiinn tthhee D
Deeppaarrttm
meenntt w
waass ssuucccceessssffuull…
……
……
……
……
…....
v
109 applications received
v
12 applicants were interviewed
v
6 Offers were made
C
ongratulations to the following who will be
joining the Department as Lecturers:
Khalil Amiri
– in January 2004
Jeremy Bradley
– in January 2004
Sebastian Uchitel
– in December 2003
R
R
E
E
A
R
C
H
B
Y
T
E
uueee N
N
m
m
RE
ESSSE
EA
AR
RC
CH
HB
BY
YT
TE
ESSS –IIIssssssu
Nooo... 888,,,SSSuuum
mm
meeerrr... 222000000333
SSeessssiioonn 22000022--22000033
2288 SSeepptteem
mbbeerr –– 1133 D
Deecceem
mbbeerr 22000022
44 JJaannuuaarryy -- 2211 M
Maarrcchh 22000033
2266 A
Apprriill –– 2277 JJuunnee 22000033
SSeessssiioonn 22000033--22000044
44 O
Occttoobbeerr –– 1199 D
Deecceem
mbbeerr 22000033
1100 JJaannuuaarryy –– 2266 M
Maarrcchh 22000044
2244 A
Apprriill –– 2255 JJuunnee 22000044
Graduate School of Engineering and Physical Sciences
Following on from the Launch of the new Graduate School last October 2002, several
Newsletters have been issued. If you are interested in receiving your own copy or back
copies, please contact sophie.white@ic.ac.uk
***** GSEPS DIARY DATES *****
Summer Research Student Symposium – Wednesday 16th July 2pm, Great Hall,
South Kensington campus
For more details email Sophie.white@imperial.ac.uk or refer to the May Issue No. 4 of the
GSEPS Newsletter!!!
Postgraduate Study Opportunities Open Day – Friday 21st November 1pm-5pm, Great
Hall, South Kensington campus
wyx&z|{}x~}€‚„ƒ…†~ˆ‡†Š‰Œ‹‚Ž‘ˆˆ’ˆ“”–•ˆ—˜‹–™Š~ˆ‹'š ›œƒŠ€ˆšž ŸŸ¢¡˜£Š¤¥’ˆ¦†—}§¨§‚’Š¤,©Ž|ª«—­¬“‘®°¯ Ž²±³¯ ´Š´|¯µ†§ ¶
©¯µ¤¥—Š•†·‚’Š¤¸’ˆ¦,·†¹}—!º¤‚Ž}»|“ˆŽ}·¨—!¼• ¹Š’”’0®5½Ž}§¾Ž‘¿Š¿ˆ’0¯ †·‚—}»ÁÀ ÑĵņÆÇÃ}È#É|Ê­ËÌ‘Í!Î|Ï}Ð&ÑÀrÀ|É”Ò–ÈˆÓ ÄÔÖÕµÕµÕ
Research Bytes…. Research Bytes…… Research Bytes… Research Bytes… Research Bytes … Research Bytes….… Research Bytes
Research Bytes…. Research Bytes…… Research Bytes… Research Bytes… Research Bytes … Research Bytes….… Research Bytes
×-Ø¢Ù|ØpÚ5Û ÜpÝÁÞ5ߢà‘Ø¢Ùâá°Ùäãåçæéè«ê5ëê&ìí|îïñð­êò4ëóôêöõ0õ2ê¢íñ÷}øíùõúïûêýü'ê0þ4ìíyõúÿê4õ ø&÷
þ õ øÿ
4
€
‘
~
™ ¾‹ˆš 4Š‡ ~ ‚ˆ~Š€ ”›”‰Œ ‹¥ }€ ~ˆ› ~Š€ }œyƒŠ€ˆš ~Š›ˆ‰ ²'~‘š
š š ‡³‹‚…ƒ š ‡ˆ
‹‚ š › ‰~Š€¥‹ˆš ”‡ ‡ ™~”‡ †”›”‹ ‡ †Š€Ç‹¨™ „‰pš ~Š€ ˆ›Š" !# ›”‰pš › $Šƒ”ƒˆŠ€¥‹ ›0š ‹ˆš ”‡ ” %|"~ ǃ³Š‡³
š ›ˆ›” ‚~ˆ‹ˆš –€‚”‡–”~Š€ &™ Šš ‡}š ‹¥‡‹¥ ˆ› ˆ}€‚Š› ”‡³”‹ ”‹ }‹ …{ö†~”‡–'‡†”›”‰ ~ˆ'› ˆ›ˆ‹¨€ˆš ( ‹ˆš ”›†‡³‹‚
œy›”‰€‚ ~„{}šµ}€ˆ)š *ˆ‡†ˆ~}€ ™ x €¨”‹2~}€ (~ ƒ0š }€”š +­,š ǃŠ}€”š -~ ~ ". /10"23246587:9<;2=0>@?A9CBD4EF>G4H>
IKJ 9LM42ONC9?P5&06QR9;-EF>SG19<TUV9;90<T2 J PW—!¤¥—‘§¨— ¤ X–—­·ˆ¹Š—¤ˆ¯ ´ ¹Š·¸·‚’ —}»p¯ H· Y†¤‚—Š¦ˆ“”§¨—!Ž‘S Z
•”’”–·¨¤ˆ,¯ [0“†·”¯ ’}†§ \
]] ^^ __ ]] `` aa bb ^^ cc dd ee ff gg
ãã hh ii ææ
t u vv ww xx yy zz xx {{ || xx o }} ~~ ~~ 
o
jj kk ll ll mm nn cc oo ppqq rr ss t u