%PDF-1.6
%
29 0 obj
<>
endobj
37 0 obj
<>
endobj
110 0 obj
<>stream
1999-01-31T16:27:57Z
Photoshop PDF Plug-in 1.0
2011-05-13T15:37:23+02:00
2011-05-13T15:37:23+02:00
application/pdf
C. A. R. Hoare
An Axiomatic Basis for Computer Programming
Adobe Acrobat 8.1 Paper Capture Plug-in
uuid:a10ded6a-7a14-fc4c-a305-ed4722e742f8
uuid:f6fb2b37-a516-464e-9408-1401c74861ac
endstream
endobj
26 0 obj
<>
endobj
30 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
1 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
6 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
11 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
16 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
21 0 obj
<>/Font<>/ProcSet[/PDF/Text/ImageB]>>/Type/Page>>
endobj
109 0 obj
<>stream
HWێ}e7G/E,Л8a,2IT7RlɎ
.N"/v~KɈ~s{y_O?ٿǧgJP}cH+!1Gaj'#Z%RZ2wB4Ö%hS%͕C$8⭸儦X9v,g2$`Fil2c{Lk"6.!nfN,MNi:] c1:Xtɘ`L~:ts;/a0%ҥ wJv76Ic,|7!-?0wsa!Qe&hُ9\z/}Ϝ#x0Nxs8&-YdIJ`ν1HsSwn;M64 Q ]3J70)2$})E
^ ynC|ucFTy9wUTG!MMa= YDvMNs3nÌi.@j|~yM.RG/͐*Í-,tu~|۔aTX52iefwU$&_McJ7\t5+qg=֙k"PŊ3MD^Ÿ^wpVNhxzlvjbzy$_oMqޥTY2
sQ8rx gt4<掬E>"ZWDJMߣʉҞŹPLU@@ۍu'Uks#%x&pWlU!H=~X{`tWH]
]/9%S^ÑkBAֱYcމhz觮]_D+y7C} wL˂)TUM m/͜qj8z< 9-M2pNj
!-P ϲ|k9\k*w\ێk3]Ɛ,i =M%vX\rpOG>%)LBGBT!]TY^Pr.Ӡt0UMOsd|
Ýr|ʸ
G"Vk6b=N"s"oٕyĹNHX Cw/+ iܺ$\tMu*2lS!aUT0miejMvou +_^Gm
k}[o,+ǪBHbjpzA.UTn4quǚtJuw#s4NiEr}:a䨂dY1
k 3($io;sYf# $._;䫖0 .G]3yHjViw
0a+{I:H(P5eQ{^Ӂua`Apq62['fEroj^){Sv{pgԐ5zA!V̓T#B'IB= p}i7kI^KLyYt?&rE<4H5Wk6ג)46#to:a(+S"a-0(aHMWb~OSsénƢ(ϙuI+3`C,KSZL|LnRg_7K~_ P0t:3GR
M{n1q[:}o1 up^/A>d݁:kv:1cDk_rrjWh,.lZgD3\ն~R Q
5uRC{-څR_,VkP.7],R!``($A)xN>*BX"4EX8_OJ(6ަ˕iM<ކ6/x9 *8
h0%FP QyTAH@p#Ҩř&fnȝ*f3C/c(
#ND5w*-VYT
t@sUQf$ym+UCJjU`vN4L^6`>ig &mθTz1*AD^KY%|=җ`M#:~)
.+@4d]`#&jNAP
xU&0ŁP~JX*%RnTh+<c:Guvr`T+_3<:"A%sA"1,mФ$}kP0Muk3+JNc(Y;F8+2A׳x#p.wVyeU@PyEۼt4K9owYQfYu?2帨H/"d\-W;$8oWZ( b&VfdNhˁu_kbM`땟;f9cvH-LOZY^;80" Qc0axsjV3CmHj9g!zQdô&X.\h-WW6߉hWjjX*r-̧J`HBD$fՂDiB $; QM)Uqq3ĸv#MnV&b|vFt pۡ\JonNC]"9)]?e#J#OG2prgvYi@fk`yӺ^eԟBJpʒpwqEGwܔRFu SE.1SF!4m)rΗû^2ӳu?_jZ[Xrq5EEc|!0v.Z'k֩r6L9x8t{xjiBvM4DmRGS*ܸLB]$j<.oRi-Bt:\-m;SB[5$
C5=Vkw,a`)tcm8D8o2OY
w_0PM۟ό=R3
IeRXHA٭MC!Q>Zj]l=j)='蚺|a|ϗ2uu,*OyC>QeƍEO>3uuOOrL],WaHn M# Sß(kG 7y2dףr+:S2MO'j{(ۣyO5tғS>SޒT8?I>U7I6Ylf^B?(c=EF!Iv}ju(0r\](r,|d@wznB2\>yibшml?;~Tu۲4fNb+Ǹ`1ƶk3H%bV~?=Dӌ3x:$T'ORA}JY
%vI;-H*cqJM~ * lm`|)dP=Yڇf
ERkjJJke,[ud2L%,|ߑXM"U5]| r "~MW
xT0x+Xh[MU RLfUg`F֖OPm`Kʱi?&KI'ϮN07>a18Dnնe'1-ld$Є83Ym0IwȄǐoz
~f_.[-X ۨntyHIr
O5yQ6
=(+l
wâO*!;J?ȹxJ(&αoͯW7+:%.MlN_W"T:Q!=*R}T hK蛋OcD[h{o~\P_J5D-%^^\z_^-URk$JD6Kpt ^Oda %(fkxR$%`Є{ZF eGMcZ(E%WP~X>v./Ŀ3gtֲ9\2_&&Ǟr$Wif)b|[ ۟K+[
Q&]\u什4