diff --git a/COMPILING b/COMPILING
index a7535aef3..308d1b9a3 100644
--- a/COMPILING
+++ b/COMPILING
@@ -1,6 +1,6 @@
-2LS 0.4
+2LS 0.5
./install.sh
-The executable is src/summarizer/2ls
+The executable is src/2ls/2ls
diff --git a/README.md b/README.md
new file mode 100644
index 000000000..aa46ece57
--- /dev/null
+++ b/README.md
@@ -0,0 +1,21 @@
+[![Build Status][build_img]][travis]
+
+About
+=====
+
+2LS is a verification tool for C programs. It is built upon the
+CPROVER framework ([cprover.org](http://www.cprover.org)), which
+supports C89, C99, most of C11 and most compiler extensions provided
+by gcc and Visual Studio. It allows verifying array bounds (buffer
+overflows), pointer safety, exceptions, user-specified assertions, and
+termination properties. The analysis is performed by template-based
+predicate synthesis and abstraction refinements techniques.
+
+For more information see [cprover.org](http://www.cprover.org/2LS).
+
+License
+=======
+4-clause BSD license, see `LICENSE` file.
+
+[build_img]: https://travis-ci.org/diffblue/2ls.svg?branch=master
+[travis]: https://travis-ci.org/diffblue/2ls
diff --git a/doc/deltacheck_logo.ai b/doc/deltacheck_logo.ai
deleted file mode 100644
index 58140b302..000000000
--- a/doc/deltacheck_logo.ai
+++ /dev/null
@@ -1,4776 +0,0 @@
-%PDF-1.5
%
-1 0 obj
<>/OCGs[5 0 R]>>/Pages 3 0 R/Type/Catalog>>
endobj
2 0 obj
<>stream
-
-
-
-
- application/pdf
-
-
- deltacheck
-
-
-
-
- 2012-07-11T12:42:11+01:00
- 2012-07-11T12:42:11+01:00
- 2012-07-11T12:42:11+01:00
- Adobe Illustrator CS5
-
-
-
- 256
- 60
- JPEG
- /9j/4AAQSkZJRgABAgEASABIAAD/7QAsUGhvdG9zaG9wIDMuMAA4QklNA+0AAAAAABAASAAAAAEA
AQBIAAAAAQAB/+4ADkFkb2JlAGTAAAAAAf/bAIQABgQEBAUEBgUFBgkGBQYJCwgGBggLDAoKCwoK
DBAMDAwMDAwQDA4PEA8ODBMTFBQTExwbGxscHx8fHx8fHx8fHwEHBwcNDA0YEBAYGhURFRofHx8f
Hx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8f/8AAEQgAPAEAAwER
AAIRAQMRAf/EAaIAAAAHAQEBAQEAAAAAAAAAAAQFAwIGAQAHCAkKCwEAAgIDAQEBAQEAAAAAAAAA
AQACAwQFBgcICQoLEAACAQMDAgQCBgcDBAIGAnMBAgMRBAAFIRIxQVEGE2EicYEUMpGhBxWxQiPB
UtHhMxZi8CRygvElQzRTkqKyY3PCNUQnk6OzNhdUZHTD0uIIJoMJChgZhJRFRqS0VtNVKBry4/PE
1OT0ZXWFlaW1xdXl9WZ2hpamtsbW5vY3R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo+Ck5SVlpeYmZ
qbnJ2en5KjpKWmp6ipqqusra6voRAAICAQIDBQUEBQYECAMDbQEAAhEDBCESMUEFURNhIgZxgZEy
obHwFMHR4SNCFVJicvEzJDRDghaSUyWiY7LCB3PSNeJEgxdUkwgJChgZJjZFGidkdFU38qOzwygp
0+PzhJSktMTU5PRldYWVpbXF1eX1RlZmdoaWprbG1ub2R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo
+DlJWWl5iZmpucnZ6fkqOkpaanqKmqq6ytrq+v/aAAwDAQACEQMRAD8A9U4q7FXYq85s/wA8PLFz
5/k8nrE4kWVoI9Q5KYXmUboANxvUVPhmadDMY+P7GoZhxcLLpdVvry8mstHRP9GPC61CcM0KSdfT
RFKGVx+18ShfGvw5hNqX+YtVvvL+ntf3+tW8SVokT2jO0j9o4UWdGJPuTTqTSuKonyf5kuNc01bm
4txby/tIpLD23IHb/M9cVT/FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXY
q7FXYq7FXYq8E/N7/nJAaPdz6D5O9Oe/hJju9WcCSKJxsUhQ/C7KerN8I6UPaqWTucfJmrYPEdN1
rzD5o1lr/wAxarc3lpZA3N01xI0iAKCwRY2PCmxPAUqoIGSwx4pXL6RuWmMjI7lC394UvbPzDpgN
t67+sgBLeldwsDInJqk7lZP9VxnTaLOM2LfnyLTPY2H1Zp/5reVNJ/Kex81zssNsIViW0ViWa7Ao
0QYjkWL1LNQ+O+aLUY/DmQXYxmDG0q8qaBqXnW7i80a7MtxBMOVmiE+kkTCqrEB+z+J775SzerWt
pb2sQigQIi9AMVQ+t6xbaPp0l/cxXE0MVOaWkEt1LQmlRFCruQO5ptirz+2/5yM/LG8mFvYXF7fX
Z+za21jcySmnWi8O2Ko25/PDydY0bVrXV9JgNCbi90y7ijAPSp4H9WKss8veavLfmO0N5oWpQajb
g0doHDFSezr9pT7MMVTXFXYql+vax+h9MkvvqV3qJjoFtLCIzTuT/KlR95OKsM/KT82G/MJ9ckXT
Tpttpc0UMEcj85mEgYsZBQBTVOg6eOKvQ8VdirsVdiqA1zX9F0LT5NR1m9hsLKP7U87hFqeiiv2m
PYDc4qxKP84tEukabStE1/VbMAlbyz0u4aFwP5DIIy30DFUd5c/NfyNr+oHS7W/NrrCtxOl30clp
dcqVoI5gnI07LXFW/wAw/wAxrDyVorarc6fe6jEE51s4S8SgsFUyzmkcYZmHevtiqN/L/wA1N5s8
naZ5ia2Fm2oRtIbYP6gTjIyU58Ur9nwxVkGKuxV2KuxV2KsD/NL81ovIOni6l0S+1FWChbiFVS0V
2JCrLOS3Amn8hxVkfkvXpfMPlPSNcliWCXUrWK5eFCWVDIobiCetK4qnOKvNvz988XXlbyLKmnOU
1bV3+pWbJ9tFZS00q03qqCgI6Eg5CZoNeWRA25vi91ZWKuCGHUHY5Q4BFMp1Vf0R5ettEhB/SOok
S6hTrQN8MX0OOJU7qyGmzZlZBwQEestz+gNh2FdXseqfkZ9Q/JFHEZPmO2P6VuRQlqMgDwAca/DH
Tb+YfLM3s3L4c6PIt2TD6K6vDWjk1PQpNPLktpzvf2sddirKq3KgePBFkHgFbxzM7WwcUeMdHGxy
2Ie5/wDOKXnmZzfeTLuQtHEhvdL5H7I5ATxD5lw4H+tmhxno5Onn0fRmWuS7FXz3+Ttnax/85C/m
AY4lX0vrPp0AHHndoWp4VOKvoOSNJEaORQ6OCrowqCDsQQcVfO/5y+Rbv8u9Rg/MryCTpqxSoms6
dD8NuVkYBW9IUX03aiunSpBFOuKXtvkjzXZebPKuneYLMcIb+Lm0RIJjkUlJIyR/I6kYoTzFXYq8
J/5xi/46Hn3/ALai/wDEpsVe1S6zpcWrwaO9wo1O5hkuYLXcs0UTKrvsKAAuBv17YqjMVdiqje3l
tY2c97dOIra1jeaeU9FjjUszH5AYq8W/LG0k/NLzBefmH5lQy6TY3LWvlbRZfighEYBadkPwvIeQ
3P7VfBaKvb8VYT+af5W6H590GW1uYki1eFGOmalx/eRSdQrEbtGx2Zfp64qxDUrbUrX/AJxiurHV
IHtr+x0uSznglUqym1lMI6gbERgqehFCKjfFWTfkJ/5KHy3/AMYJP+T8mKs/xV2KuxV2KuxV5r/z
keB/ypjzD7fU6f8ASdBikJ5+UX/kr/K3/bMtv+TYxQy7FXl3n/zvpvlX8z/Lf6YgSTTtUtpLdbuU
BvqsqyjjLHy2SvOkhWhIpWvEZEy3pgZUQEV+a/5U6L5n0o6lZWUSeYbA/WbSeNFBmKfEYpVApIGp
tXv3pXJgCxaZQBeGfkL5Tl85fmLJrWoRH9H6MRPJG/xD1E+C3hJPXjxqa9QuVkmcjIuPihciS9L/
AOcnvzMuPLug2vlzSZjFq+rkSyyoaNFbRt1Hu7inXsfHDKVN2SVB873My2epWuq2carb3SrdwQkV
QBiVlgIPVFdXj36r886fTZBnxb9di6+XplYZr+SNqth+eGipalhYXa3UtqWNS1u9nM6KzUALIV4v
T9pTnMZMJx5DE9G/F9Yp9hZJzXYq8B/KH/1oX8w/+e//AFFJir37FUg/MDS4NV8ja/p8wBS4sLlR
Xs4iYo3+xYA4q8a/IPztaeVfyK1bXNWqbTTNRnS2iXZpS8UDJGldqtLIRXoPvxSXoMOh/mdregRa
u3mh9E1u5jFxbaZb21tJYweoOSQzetFJPI1CA78xQ1ouKG/yd/Mu585aZf2mrwx2vmXQ5zaatbxH
4CwJVZUFTQMyMCK9R4UxVhP/ADjP6n1z8wPTAMn6THAMSF5cpqVIrtirEtKtvzYl/wCcg9as4tZs
D5pgsv3l1NHI9mltIsMwhhjpyUKJVA28TuTXFL0vzN5u8+/lz5Iv9b81aha61q97dRWekxW8Jis7
YujnnKVVZGX4WZq+AUUrihS8/wBl+bPlfy1dea9O85nUZdOjE95ps9jarbSRAjn6fBea8ev2q0/a
xVrzr54l8yf843ah5nhiMMuo2KxzQxHkFZrlbacCv7IPL6MVTP8A5xtEX/Km9C4U5crz1afzfXJu
v+xpikvTcUOxVhP52f8AkqPM/wDzBP8ArGKvPfyls/zI8xflbo1toerx+U9Ms0khivWtVvbm7YSs
XdVkdEiiDMVB3YkHoMVTLyN+YXnnRfzHP5c+f54dQurqIzaPrMKLF6qhWYB1RUWjLGwBoCGWnxVr
irMvP3ni50nUtG8saIscvmjzDK0dkJgWit4YwWmuZVUgsEUEqtRyp7Yqx7z+v5leS9Fl816V5jk1
yGwCy6tpGo29qsUkNaO0D28ULxcQfs1PjU0oVU31P84NCtvy60/zjaxPdPrAjh0nTFI9Wa8kJT6v
UbAo6sHPseuwxVCav5S/OS/00Xtr50j03W+PqLpsNlAbBHO/pepIsszAdObcv9XfFWLfmJqXmzUf
+catYn82WwtddSSKC7QIYwxg1SKISBelHCcqjY9RtikMl8ueYLPQvyI0O+uNR/Rcn6Jt0tLgIs0h
naIemkULf3rsdgnf264oRP5bW/5wXttban511G3s1b4ho0FrGJmUrt68pJ4Gu/FBX3HTFWLf85Ve
V59S8m2GuW6l20S4YTqB0gugqs/jtJHGPp9sryDZozxsX3Mh/InzXdal5WTQ9WlDa3oyJHKpI5tC
aqnIbHlGytE237I8ctMTGr502QNhlmleXvLnk+21vUbZBbW95PLqd+9BRfgq9KD7K8SQO1cDN8O+
evN135y85aj5huSeFxIVtIzv6cCbRoNh0XMeZsuFmnZXaS/1zSbnTus9qWvbQU3KhQLlPE/Aiyb9
AjeObXsnUcM+A8pfe0kWHqv/ADjfJpNz54tFv5GTUdNguDpPSjrOpEkbMT+xyZkA7u2Zfamnusg+
LdpiLp9V5p3NdirwH8of/WhfzD/57/8AUUmKvfsVYZ+cPma38vfl1rV070ubq3eysIx9t7m5UxRh
ANyRy5bdhirwr8z/ACXqXlL/AJx28taZKjJO2pJd6undZriGZlVv9QEIfcYpD2jRvyv/ACs1bSLL
U7PSg9rewR3EDLc3JHCRQw6S++KE98rfl35M8qXF1c+X9MSxnvQBcyK8jlwu4H7xnpvvtiryz/nG
L/joeff+2ov/ABKbFVvl7/1rfzP/ANsyP/qFs8UvU/zD81+V/K/le41TzKiz6eCI1tDGsrTytUpE
iP8ACWPEnfYUrihg/nrU/wAwdZ/KzXtQuNPsfL+ly6bPJ9RnMt3fGAxEgNwNvFC7Dt8fHuMVQf5X
+XG8y/8AOMlvoSECa/tdQjgJ6CUXs7RE17cwMUlJ/wDnFTzcsVjqnkTUq2+q6dcSXFtbyfC5QkLP
GAf2opFqR/le2Kl9A4oaZlVSzEBQKknYADFXmP5heaNP8zfkp5q1TTQzWHpXVvbzmnGYW83pGVKf
sMyGmKph+Qn/AJKHy3/xgk/5PyYqwj8zwP8AoYz8vj39Ef8AJybFUs/Ma30q4/5yZ0C08yxeto97
YJb24Z5I1DSCdY6MpU7z7bHvil6nL+S35ZSxmOXRVkjb7SNcXJB+YMuKHlH516donkrzF+V9nYW4
0/yvpupNdPEGZkBjubZ5GdpCxY8amrHucUvo0EEAg1B3BGKHmv8Azkf/AOSY8w/9Gf8A1HQYpDxX
Sda81eS7z8vvNnm6OLVfJ8lhHb6ckaFksAyijopH+9IRBJy/aHJV6bKvq6zvLW9tIby0lWe1uEWW
CeMhkdHFVZSOoIOKED5nsNR1DQL6w054Y7u6heGOS5XnEvMUqyUbkPbJ4zESHFyQeTwC28s+cPym
816Xr+qStqOkylLXUr6zt1ZFhakfG4kqk1UADKWUqSBvXMnU6jFPlEiR6tEIygd92Rf85QfmBb6X
5atPLVtcUutcIknMarKRaIQd1YqKSPtWvY5iRnGJ9W4bMkqD5yt9R0iKJU9Q7DvptmfxL5ljVab/
AFNwifP7AyzyD5Z1nzdqotvLqOGTae/bTrSKCBWBB9SVWNKgn4RVj4HLIavTXYx7soRMuX3PSfLn
/ONvnTQtdsdYtNcsluLKVZVosoqBsy/Z/aWozJydpQnExIO7ZHTGJu30SvLiOVOVN6dK5pnLQ2qT
ahDp9xLp1ul3fIhNtbSSeikjgbK0nF+IPjxxV4DoP5V/nvo3nnUfPFlPosd9qUsr3mmSTXBhkSd+
ZjosXRDTieddu/dS9LTVvzrciE+X9Ejeg/0ptQnMQP8AxjW354oX6T+XN7da9b+ZfOmpLresWdTp
tnDF6OnWRbq0MLF2eT/ix2r9wxVkHnHynpXmzy5e6Dqik2t4lOa05xup5JIhP7SsAcVeP+UPJ/8A
zkD+XxfQ9EbTNf8AL3NmtGvJGj9EMa1A5JIlTuUHJa1p1rir0bQ9H/MGys77WNY1CDV/Ms8PC00q
F3tdKt968E+F3Yk9ZHUtTYUxVg/5T/lv+bHkXV9Subk6NqNhrk8c1/ClzcRyxNzYtJETbcTQSGqn
rQUIxVF+afIHnvSfzYf8w/J1va6ob+2W21LTLqX0G+FEirG5+EArEhr4g7GuKtfmX+XP5h/mH5Ke
21Q6dp+q29zFd6Zp1u8rxgKkiSJPcMPidxIOPGMAFeprsqmUuk/mz5x8pXPl3zNbaf5fF3CYL7Ub
aZrqWYEbiO3UBIw9PiJlOx2XwVVfyW8s/mD5S0RPLGvQae2j6eZvqN7bTSNO/qytL8UZTjx5SMa8
gR0p3xVD/mN+R1p5h1uLzV5b1BvL3m63YSLexCsUzqKKZVFCGptyHUbMGxVX03Wfz606JbbVfLel
a7Kg4fX7PUPqatSnxsksTdf8lR8hiqH1fyh+bHneJrDzHqdp5Z8uy1W607SGe4vJ0PVJLmRURVP+
SCD3BxVGeePIurRflovkXyRp9uLSeE2jy3c7RiCInm0myu0jyMTXpua4qr/k/onnfyz5bs/LHmCx
tBb6fHILfUrS5MnPlKXCPC0aEEcz8QY9MVYt+YHkH80Nb/NHSfNukWumx2vl/hHZx3FzJzuEV2d2
cLEeHIOVAFadd8VTr80fypuPzG8u2FzOE0PzZp/J7WRZTPEhLbxPKqozKeIZWC1U9uoKqW+Xh/zk
zDaJpF9Hop9MCMa9cu8snACnIxxMPUen8yCp64qnvm/8nrbzR5DXy7quq3F7q0UjXcOuXFDILtq1
PprRVhNePpLQBadxXFWNeTbH/nI3yzYp5fltNI1iytV9Kx1K6uZFKIuyhioErqo6Ax1p3xVMPP35
ffmb5h8jT+XF1Oyv7/WZkn1e+unktra3SBkkit7O3jjmIXkgq7HkaGv2vhVTDyt5A12fyFH5D89W
On3elW9oLeK+sbmV3Yo37r91LBF6bxjcOHO46Yqk/wCXvlD84vIIn0O2Om+YPLEcrNp31m5ltbiJ
GNdisM4Ub1K0O/Q4q9hxVTuII54JIZFDRyKVZSKggihBxV5Re/kL5e1zWDceYVlvY4EWCycSvGYr
ePaKJQhC0RKLUip69cBiCxlAHmmWn/8AOO35S2cvqnR2uW2Ki4uJ3UU/yQ6qa/5QOR8MMRhj3PQN
O03TtNtEs9OtYrO0i2jt4EWONa+CqAMmA2AInFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq
7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7
FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FX/9k=
-
-
-
-
-
- uuid:73daaeb6-1136-654a-971b-5e977a1fafc2
- xmp.did:01801174072068118A6D8685B6A1D455
- uuid:5D20892493BFDB11914A8590D31508C8
- proof:pdf
-
- uuid:a3439645-3ef4-5b4b-a8cd-d96103a2c5f4
- xmp.did:370310640E2068118A6DC38C6951E8DC
- uuid:5D20892493BFDB11914A8590D31508C8
- proof:pdf
-
-
-
-
- saved
- xmp.iid:360310640E2068118A6DC38C6951E8DC
- 2012-07-11T10:44:56+01:00
- Adobe Illustrator CS5
- /
-
-
- saved
- xmp.iid:370310640E2068118A6DC38C6951E8DC
- 2012-07-11T10:45:15+01:00
- Adobe Illustrator CS5
- /
-
-
- saved
- xmp.iid:01801174072068118A6D8685B6A1D455
- 2012-07-11T12:42:08+01:00
- Adobe Illustrator CS5
- /
-
-
-
-
-
- Print
- Document
-
-
- False
- True
- 1
-
- 297.000132
- 210.000102
- Millimeters
-
-
-
- Cyan
- Magenta
- Yellow
- Black
-
-
-
-
-
- Default Swatch Group
- 0
-
-
-
- White
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 0.000000
-
-
- Black
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 100.000000
-
-
- CMYK Red
- CMYK
- PROCESS
- 0.000000
- 100.000000
- 100.000000
- 0.000000
-
-
- CMYK Yellow
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 100.000000
- 0.000000
-
-
- CMYK Green
- CMYK
- PROCESS
- 100.000000
- 0.000000
- 100.000000
- 0.000000
-
-
- CMYK Cyan
- CMYK
- PROCESS
- 100.000000
- 0.000000
- 0.000000
- 0.000000
-
-
- CMYK Blue
- CMYK
- PROCESS
- 100.000000
- 100.000000
- 0.000000
- 0.000000
-
-
- CMYK Magenta
- CMYK
- PROCESS
- 0.000000
- 100.000000
- 0.000000
- 0.000000
-
-
- C=15 M=100 Y=90 K=10
- CMYK
- PROCESS
- 14.999998
- 100.000000
- 90.000000
- 10.000002
-
-
- C=0 M=90 Y=85 K=0
- CMYK
- PROCESS
- 0.000000
- 90.000000
- 85.000000
- 0.000000
-
-
- C=0 M=80 Y=95 K=0
- CMYK
- PROCESS
- 0.000000
- 80.000000
- 95.000000
- 0.000000
-
-
- C=0 M=50 Y=100 K=0
- CMYK
- PROCESS
- 0.000000
- 50.000000
- 100.000000
- 0.000000
-
-
- C=0 M=35 Y=85 K=0
- CMYK
- PROCESS
- 0.000000
- 35.000004
- 85.000000
- 0.000000
-
-
- C=5 M=0 Y=90 K=0
- CMYK
- PROCESS
- 5.000001
- 0.000000
- 90.000000
- 0.000000
-
-
- C=20 M=0 Y=100 K=0
- CMYK
- PROCESS
- 19.999998
- 0.000000
- 100.000000
- 0.000000
-
-
- C=50 M=0 Y=100 K=0
- CMYK
- PROCESS
- 50.000000
- 0.000000
- 100.000000
- 0.000000
-
-
- C=75 M=0 Y=100 K=0
- CMYK
- PROCESS
- 75.000000
- 0.000000
- 100.000000
- 0.000000
-
-
- C=85 M=10 Y=100 K=10
- CMYK
- PROCESS
- 85.000000
- 10.000002
- 100.000000
- 10.000002
-
-
- C=90 M=30 Y=95 K=30
- CMYK
- PROCESS
- 90.000000
- 30.000002
- 95.000000
- 30.000002
-
-
- C=75 M=0 Y=75 K=0
- CMYK
- PROCESS
- 75.000000
- 0.000000
- 75.000000
- 0.000000
-
-
- C=80 M=10 Y=45 K=0
- CMYK
- PROCESS
- 80.000000
- 10.000002
- 45.000000
- 0.000000
-
-
- C=70 M=15 Y=0 K=0
- CMYK
- PROCESS
- 70.000000
- 14.999998
- 0.000000
- 0.000000
-
-
- C=85 M=50 Y=0 K=0
- CMYK
- PROCESS
- 85.000000
- 50.000000
- 0.000000
- 0.000000
-
-
- C=100 M=95 Y=5 K=0
- CMYK
- PROCESS
- 100.000000
- 95.000000
- 5.000001
- 0.000000
-
-
- C=100 M=100 Y=25 K=25
- CMYK
- PROCESS
- 100.000000
- 100.000000
- 25.000000
- 25.000000
-
-
- C=75 M=100 Y=0 K=0
- CMYK
- PROCESS
- 75.000000
- 100.000000
- 0.000000
- 0.000000
-
-
- C=50 M=100 Y=0 K=0
- CMYK
- PROCESS
- 50.000000
- 100.000000
- 0.000000
- 0.000000
-
-
- C=35 M=100 Y=35 K=10
- CMYK
- PROCESS
- 35.000004
- 100.000000
- 35.000004
- 10.000002
-
-
- C=10 M=100 Y=50 K=0
- CMYK
- PROCESS
- 10.000002
- 100.000000
- 50.000000
- 0.000000
-
-
- C=0 M=95 Y=20 K=0
- CMYK
- PROCESS
- 0.000000
- 95.000000
- 19.999998
- 0.000000
-
-
- C=25 M=25 Y=40 K=0
- CMYK
- PROCESS
- 25.000000
- 25.000000
- 39.999996
- 0.000000
-
-
- C=40 M=45 Y=50 K=5
- CMYK
- PROCESS
- 39.999996
- 45.000000
- 50.000000
- 5.000001
-
-
- C=50 M=50 Y=60 K=25
- CMYK
- PROCESS
- 50.000000
- 50.000000
- 60.000004
- 25.000000
-
-
- C=55 M=60 Y=65 K=40
- CMYK
- PROCESS
- 55.000000
- 60.000004
- 65.000000
- 39.999996
-
-
- C=25 M=40 Y=65 K=0
- CMYK
- PROCESS
- 25.000000
- 39.999996
- 65.000000
- 0.000000
-
-
- C=30 M=50 Y=75 K=10
- CMYK
- PROCESS
- 30.000002
- 50.000000
- 75.000000
- 10.000002
-
-
- C=35 M=60 Y=80 K=25
- CMYK
- PROCESS
- 35.000004
- 60.000004
- 80.000000
- 25.000000
-
-
- C=40 M=65 Y=90 K=35
- CMYK
- PROCESS
- 39.999996
- 65.000000
- 90.000000
- 35.000004
-
-
- C=40 M=70 Y=100 K=50
- CMYK
- PROCESS
- 39.999996
- 70.000000
- 100.000000
- 50.000000
-
-
- C=50 M=70 Y=80 K=70
- CMYK
- PROCESS
- 50.000000
- 70.000000
- 80.000000
- 70.000000
-
-
-
-
-
- Grays
- 1
-
-
-
- C=0 M=0 Y=0 K=100
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 100.000000
-
-
- C=0 M=0 Y=0 K=90
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 89.999405
-
-
- C=0 M=0 Y=0 K=80
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 79.998795
-
-
- C=0 M=0 Y=0 K=70
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 69.999702
-
-
- C=0 M=0 Y=0 K=60
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 59.999104
-
-
- C=0 M=0 Y=0 K=50
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 50.000000
-
-
- C=0 M=0 Y=0 K=40
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 39.999401
-
-
- C=0 M=0 Y=0 K=30
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 29.998802
-
-
- C=0 M=0 Y=0 K=20
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 19.999701
-
-
- C=0 M=0 Y=0 K=10
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 9.999103
-
-
- C=0 M=0 Y=0 K=5
- CMYK
- PROCESS
- 0.000000
- 0.000000
- 0.000000
- 4.998803
-
-
-
-
-
- Brights
- 1
-
-
-
- C=0 M=100 Y=100 K=0
- CMYK
- PROCESS
- 0.000000
- 100.000000
- 100.000000
- 0.000000
-
-
- C=0 M=75 Y=100 K=0
- CMYK
- PROCESS
- 0.000000
- 75.000000
- 100.000000
- 0.000000
-
-
- C=0 M=10 Y=95 K=0
- CMYK
- PROCESS
- 0.000000
- 10.000002
- 95.000000
- 0.000000
-
-
- C=85 M=10 Y=100 K=0
- CMYK
- PROCESS
- 85.000000
- 10.000002
- 100.000000
- 0.000000
-
-
- C=100 M=90 Y=0 K=0
- CMYK
- PROCESS
- 100.000000
- 90.000000
- 0.000000
- 0.000000
-
-
- C=60 M=90 Y=0 K=0
- CMYK
- PROCESS
- 60.000004
- 90.000000
- 0.003099
- 0.003099
-
-
-
-
-
-
-
-
- Adobe PDF library 9.90
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
endstream
endobj
3 0 obj
<>
endobj
7 0 obj
<>/Resources<>/ExtGState<>/Properties<>/XObject<>>>/Thumb 15 0 R/TrimBox[0.0 0.0 841.89 595.276]/Type/Page>>
endobj
8 0 obj
<>stream
-HlWˮe;
X?pұ㼦4#>`/QUZE-ٕcη?}{~WVXYUϮ?~~@n%|l]V]?se+áVi]W&M˰k91ji%(&܆#F{>r/mggѵw؆
gV&F+~5j /jVq[m|Ғk>fa\cjmvpF͊CcCC/1nXP_+{`0XcF b7[yUYVa'(J;DTbx\!F'bg;s nw.DB7FUAys|c4l#fuvnp0@0*!Bណ/D3bc5HS$yo{50ydhd:鈁^KC:FUµh-L$/fg>lwXD.Phhaj>HQȘbL_b&Σ %
.L,r4X̷xy]#gO
-yjץ#6I
<4}!.ҷRɁ_^"~50cN?42lDS(1;ʘ́.+T"
j٘N@k apu_X:u2ijsg0z?y|$
-HgHPUH(ԏZ%{nRT64rpa;Z' V::p V2Y]g-3't출gKdb&aOS8IH;@;%PrrF33DnS1d+;Yu#xOjgk
&tI`n^
-斶KEc<1nJ%5WFx##pGatbTH\tU VF*"&Xm
&F
DqX7>92 No|m+F.
-E!%C_/-TY
-.:}>ᬏI+'+'\^"DNn*4WaG
-?:Ik~3Ap=@"Q~!؝ڣ'=3ώu $4XVY0~dszHkL!;Fg˚M^M3=%rjO`Y&Y 2P-P1".gbőT 6i;RT ʛQ%:$1,eqyew
-7-H)RĕQJaw7c_贲IY1qdU )D@0K!a79;gk.Uo(QM;SzWCZx&
ĭ5h|#G;tqCI.#jA;sBf?~!kmf)h]090g pQ \g8T ,;r3>e
SZ6h+cf-) ,6怈S#b5oWP9҈vb>z9{
-b]Hj%BW0_L>4^jtJt=o$UxYqԪTgP!2aи2B`CIvo5ԃO?`4NdPɋo|m9/рzF:
-g:hut- pY9ƚ
_dv%g_, F
-T)$zcyL96u y1yZjcgY혚OdZM1d,WR"wzER%25ѺzU^aإ>,&!CrrMQAPo
ن7@AHX\Z->!<{eGIGؽ}tq>*2u{CA#o# ΤqG`n&}