%PDF-1.6
%
1 0 obj <>stream
application/pdfIEEEIEEE Transactions on Software Engineering;2013;39;9;10.1109/TSE.2013.15Static analysisSAT-based code analysisAlloyKodKodDynAlloyTACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight BoundsJuan P. GaleottiNicolas RosnerCarlos G. Lopez PomboMarcelo F. Frias
IEEE Transactions on Software Engineering1283 Sept. 201393910.1109/TSE.2013.151307
endstream
endobj
2 0 obj <>stream
application/pdfIEEE Transactions on Software Engineering;2013;39;9;10.1109/TSE.2013.15TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
Acrobat Distiller 9.5.3 (Windows); modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
2013-08-26T13:55:34.000Z2018-12-02T12:48:52.000Z3B2 Total Publishing System 8.07v/W
endstream
endobj
3 0 obj <>stream
hB @Y8Q2gn-vٷ}8eNGe{jc&v[簧#^
] CA*b1~iD< Spb DC;@/$@95 h2pSd;dnMIs+yQ
-9: U4?H|\KLHThQNIXgWjh]k5Ҩ3+ήLm6w#]QxI³BWҗQCZfE~|5sԾMgfs46/ ˦U
endstream
endobj
4 0 obj<>
endobj
5 0 obj <>stream
Adobe Illustrator CS4
2013-03-14T09:57:48-05:00
2013-03-14T09:57:48-05:00
2013-03-14T09:57:47-05:00
256
64
JPEG
/9j/4AAQSkZJRgABAgEASABIAAD/7QAsUGhvdG9zaG9wIDMuMAA4QklNA+0AAAAAABAASAAAAAEA
AQBIAAAAAQAB/+4ADkFkb2JlAGTAAAAAAf/bAIQABgQEBAUEBgUFBgkGBQYJCwgGBggLDAoKCwoK
DBAMDAwMDAwQDA4PEA8ODBMTFBQTExwbGxscHx8fHx8fHx8fHwEHBwcNDA0YEBAYGhURFRofHx8f
Hx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8f/8AAEQgAQAEAAwER
AAIRAQMRAf/EAaIAAAAHAQEBAQEAAAAAAAAAAAQFAwIGAQAHCAkKCwEAAgIDAQEBAQEAAAAAAAAA
AQACAwQFBgcICQoLEAACAQMDAgQCBgcDBAIGAnMBAgMRBAAFIRIxQVEGE2EicYEUMpGhBxWxQiPB
UtHhMxZi8CRygvElQzRTkqKyY3PCNUQnk6OzNhdUZHTD0uIIJoMJChgZhJRFRqS0VtNVKBry4/PE
1OT0ZXWFlaW1xdXl9WZ2hpamtsbW5vY3R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo+Ck5SVlpeYmZ
qbnJ2en5KjpKWmp6ipqqusra6voRAAICAQIDBQUEBQYECAMDbQEAAhEDBCESMUEFURNhIgZxgZEy
obHwFMHR4SNCFVJicvEzJDRDghaSUyWiY7LCB3PSNeJEgxdUkwgJChgZJjZFGidkdFU38qOzwygp
0+PzhJSktMTU5PRldYWVpbXF1eX1RlZmdoaWprbG1ub2R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo
+DlJWWl5iZmpucnZ6fkqOkpaanqKmqq6ytrq+v/aAAwDAQACEQMRAD8A9PXum6deyRi9tYboRhuH
rRrJxqVrTkDStMVeceaovM1p5gu7fRPLunTabFEjW3qaU8pkkFvNM6+ukiJ8UsUUP2dvUrvxNSqV
6x5XW+0e5dtK1Gw8w/W3fnaWs0lq1objlCoijkhAR7firekROhqaVrVQz7yl5a04+WdN/Smh21vq
H1dBcQypHNIrAftyEEsx6muKUfp/lzy89hbM2l2jM0SFmMERJJUbn4cCq/8Ahny5/wBWqz/6R4v+
acVYb+ZPlzRzHo1tY2KR3M15KXhsl9KaSCKznkf4YuLMA6x/TQd8IQxTTdN866JY2USeXLXU/rNn
FcSm4s5ppRcG3KTpI8kh9L0ZIVf0x/elyEoeiqHi8z+YxrMujfoTRbq/itoX+rjSpo5XmdbeW4VR
zda20VyxdN2PFeIJYgKvTL7RNLPk64u59Js7bUDpzyyiKBV9Ob0CzcCyq44t0rQ4pUfP3lewbybq
y6TpUQ1MwH6mbWBRN6tRx4emA3Xrv0xV5ze+WPMsWoevoujTXsvozxJbTQTW1sgAuKTxPdSurswe
MCO4TkHClWCcsUMui8u+XZBb2em6XdWkN9cJPf3GoxyBoLa0VZJ1ja4JdPUbhE1DT4mZCeNcVYzo
0Pmu3traLSvL1pqVjNbX13BeX1q1wZXFxLJaqLj1T8MlvGEQMq0LKdx1VRvmC38yNJJYz+Vk+pXO
neqJtMsvRmivWkjeKITq1x8AUskx4q2xKjdeSr0LQvLmjPotg13plvJdehGLiSezhhkeQKA7vGFo
hZt+PbAlGR+WvLhjUnSrOtB/x7xeH+riry218nRar5ruTarNDpT31+yX0CPNAqQtZlI4xUwirx3U
ahlZRuOJ+HChkf5Y+TUh0Mz63p8b3M5osV3E5mRUd6c1nMgDEMN0oCKbVxKsvby15c5J/uKs9zv/
AKPF4H/JwJXf4Z8uf9Wqz/6R4v8AmnFXkeo6BrdrqnmaSLQJ7m0eS4Hl/jFIyLMQgcSxqUcxuOX1
dkbgm9VB4nChMI7nzg2pSQr5Ms2tPrdx6btpwSQWkcamMUaURNIX59ZVB2p7qqvllvNNxf2Y1nyz
Yx2hdIr2NNJeJv3s91GJUld3UBI0tnccD9s7ihoqzjU/L2gJe6SqaZaKsl2yyAQRgMotZ2o3w7jk
oP0YEo//AAz5c/6tVn/0jxf804qoX3lHyzc2ksD6dBEsi0aSCJElA78GReQPy3xV5dBoWsWmnaPc
WOiTy/UHjvtbtby3aSa59WRbV7aH1Y5C3CEPLx5gcyrV2NChEP5aae0guJdCvotXju/9z0EKOLdr
JrsFzadI6iKnD0aS8OQPx4qy7yV5T02K31P6zpitYPfO2jC/hD3K2noxCkhmX1qfWBKUEnxcSK4E
si/wz5c/6tVn/wBI8X/NOKoeLTtPsfMVotlaxWqy2l0ZRCixhistvx5cQK05GnzxVGalDqkrxCxn
toCAxkNzbvcV+zTjwmg4+/WuKoT6j5o/5b9O/wC4fN/2WYql/mCfzXpOkXGoJPY3bQBSII9PuCzc
nC/sXUjbcqmik4VX6JL5k1XSLPUo9Q0ox3kSzIYbOWWOjio4yfWl5D6MCoi0tfM0lrDIt7p0avGr
Kg0+WiggGn+9Y6Yqq/UfNH/Lfp3/AHD5v+yzFXfUfNH/AC36d/3D5v8AssxV5/q/5m+YdNubuKSK
ydLVLy4WQWkg5W2mvcJdvT6yeLqbNvTT9oMN13oVR+r+ZvMFhLqV7BbWVxJY2CXYuG0+SCWWEysj
rxkuhKqoUJoRU9l6EqE8e61y68rNrUd1ptxZT2JvEhewciSJ4fUCsVvJE+JTTao+eKVXzBd+YND0
O+1e5vbB4LGF53jTT5eTBBXitbwCp6b4FSC5886tpGsSaT5nvdL0q69KK4t5I7K5uoZIZPV5MXWd
GjEXoP6jOoRRQ8vAql8P5ma4NWu7O7FlBbKLkaZciyuGa6mtZ5IPq4ja4j4yzNA5iCswYDqGqoUI
vR/O/m3UYtPl9GxiivJLWCaX6q5WKa7sxfcN7pC/GKSP4gKciw/Z3VQGmfmX5x1q3trjQrKwvUu5
mt4FkhMLs6oZm+E3TEcIaMxagqRxLAqzKs50mTXtV0uz1Sz1HT3tL+CO5t2OnygmOZA6H/ez+VsC
UPrt35k0jRpdRa60+Xh6aRwrYSjk80ixRry+tmg5uKmmwwqxXTPzK1u7ad7hbW3tbY3ME0qWE0zi
5sxC0yCNLqvp/wCkDjIadCWCjfFCvpvnHz7e6tb6cbHT4nlmSCZ/SduHKBbpnCi5+JY4JIyx2HJg
u/XFWaNZeaAV/wBP041NP+OfLtsf+XzAlv6j5o/5b9O/7h83/ZZiqA1668xaNo91qc15YSR2ycvT
TT5eTEkKqj/TNqsQK4VYzovn3zJqGpiylSzgVLy40qeZLKebjf2rUkRUS55tCR8QlIG32lUVOKGr
T8wtbm1HR9On+p295q91f2ao1mWEbafdS2r8mF7QlmhJA8PsliKFSyu9h8yRXNgj3WmyNPO0cbnT
5axsIJX5j/SzvxQr9OBUp8zeYfMmh3lpbGWwuTOvqzlbKVTHCLiC25KDd/G3qXaHjUfCGNa0DFUv
fzt5oXywuurBbSFZJFurRLJ6xpFcSWxKyNdrHLIzxcUiQ8izKOnxYoTvTtR8y3A1dry607T49IuG
gneazbj6a28Vz6rMLziq8JgTvt3xSg2806lc6DBq+i6npWqR3dxDZ2yx2kiqZp5FjCyOLt+HHnyb
YmnY7YqkOm/mnqt5pr6k628Vm1lcXtqV06aV3Nmq/WY3VbrjFxZwquzcW8RtVQnGg+aPNWp65+h5
fqFtcJDdvNL9Ukkj9SyultpET/SlZlPMMrFV27YpZPaDVINbggv5LS49W2neOW3tngkT05IQy8nm
nqrcwSNugwKjdQl1ZJIv0fbQXBIf1PrE7wU3WnHhDPy7+GKoX6z5t/6tth/0nzf9keKsW82ea9Qi
mfQdU0OKb6xDDPH6GoSxCV3vIbaGKOUQRMshuJ4+6rvu2FU18r6pq115esJtH0fT7fTPRVLW3F7K
npJH8Hp8RaEDhx47HAqN0+581/ULbjp1gV9JOJN9MCRxHUfVDiqv9Z82/wDVtsP+k+b/ALI8Vd9Z
82/9W2w/6T5v+yPFXmWq67oo1KWG58p20lzdXzW0bNqnoJcStLeRTCNpkhQI00c6vGePqFvsOGrh
QiNd1LSoRf3c+gR3cNhZRzvdW+r3XpPbGdgRG5jjX93IH5lqClRU1IxVld3day/kuY2el2EGlNpr
fVliupl4W5gPAJEbOOnFOimnhtilE+ZNT1a18v6jcaxpOny6VHbSm+ha8mkDw8DzTh9T+LkNqd8C
sJnm8vG+bR/MPl+y0u+424iXVtXmMlxFOksUcSTrHP6sdElVoi9BuStDUlCCt9c8ryavfWUnlyCM
2C3V3FdS6rcSQyPZXMwmNtwjkZZlmklZAUVyGLLscVb0jV9N9Kwkt/LUkWmzS6a0cZ1C5aG0u5be
KO1EpihdzI1vNbIVq68Su2z0VRlrrkdvawSaX5UOnz3i6lpVlPb3UpkiuIZJYpYE/wBHdBKzaf8A
uz0CogYqoUYqzrRLrWjotgdK07TjphtoTYFb6cL6Hpj0qcrOtOFOuBKG8yajq9v5duJNV0ixnsCq
RvCt/MHdpHVI1T/RVo5kZQp5Ch7jCrCtE8waFcXjC28swWrIZIDJJf3Cq13CbYy2/FYWL3DFoVLc
T6n2eTdMUK/lnzVp1rq8MWm+WorPUHYWFy019OzWzyyyRRxSloJP7x7Eopj5ABFUkAABV6E1z5s5
J/uNsOu3+nTeB/5c8CV31nzb/wBW2w/6T5v+yPFUt8y6jq9voF/Lq+lWEmmiFluYvr0xLq3w8F/0
QfExNBuN8KsK0TXdGm1iNYfLcFjcpdS2TXc+pTpGuowTBpYXYRPzuGfcyUPMGnNuVCoa0PzHob6z
YLY+XLf1Z9Qu7exv5b+4eN7r4riV1MkDO6yNylVuJAJL/DzqyrOdTufNBvdJ56fYhhdt6YF7MQW+
qz7MfqgoONTXfw9wEpJ5z12WyvdObV9Btry4irPCYL6djFGtzbrzkQWyF1+sPAQvFviAbj8NQVY5
NqeiDy000vlylpYXMhvNPGqXv1i1eKSb1Z5Qsf2VkMjFlZquaCsm2KGT+S9Tvp59aGj6NbRehevB
fSTaxJcepcQEwMeIiuJIyFiUUkVG48dqDZSv1LULiPyrbrHotnd6VNLbxWFtZ6hOkjytOvoek5to
uDLLRuXNeNK12xVi3l7W/LOqIiad5as1hvLVxYq99OqXCQxCKe2gT0DR1DhJEIXk2/xUrihOvLd/
6us6VJp/l6GC9u9JfUbS4l1K5K/VrqZJZkkrA/KVpZ1dyQan9o0GKWWW8urP5jtP0hbW9vSzuvS+
rzvPy/e23Llzhg402p1wKmd49+skf1SGKY0bmJpWiputKcY5a/hiqj6/mD/litP+kqT/ALJ8VYZ5
pNlL5i56nCy6lb2CyRxW8l3IohjvIpEkiEdjJzlW6WE0Wp+EVFK1Ksh8tfWYfL+npo9paPpbW8cl
nJ9bmJeKRQ6uS1sCS/Lka+OBVz6tqOl6EL68hs47K1t1klnNzNTgqjcKLYsSeygVPTriqhp3nGe+
uprMW1va3sBhElrdzz28v+khzCVWS2Xl6npPTjXdSOoOFUvg/M6xmvtRswLVJNLgnurl5J51jMFr
I0M8kbm2o4jkQqafqIxVi0snlHVZR6lvM8esKtw9lHPqDxPFO/19opUhs34Kz3SzOHIIDjcL8OKF
+oa15bumN1Jqc5lnga0kt0vLxJvTid5DHMhsllRnPMKJaFxstdsVZnPDdQeTJLGwtbG30mLTmhtH
S7mkjjtlg4xkUt2ZlVKeJOKUR5lkmfy/qKa5ZWX6Ha2lGoc7uanocDz+zb8q06cd/DfArC5NC0LX
7uW01NH/AEvHFDbTNf309tdS2dzHLDHAOVrGGjlBlB4DmWrU8sKEDBD5Su9XvLKRj9Y0Y3Goq013
KkUbWlzO088DizAb0J7qUHr1pQqFxVQ04eXYzpkkd5cW9gv1K505WuLpFjne1itYWuJVsyqs1qsC
KsvGnPqWkxVFQppbLBd6VeXaX0B1KWxJlvD6VzIWvbv1IHsYqyOz8/TejMpovwnFXomhpf2miafa
6Za2b6bb20MVk63jspgSMLGQwtqEFANxgShvMcly3l+4XVra2TT+KepJHdTlw3NfTKBLZnL+px4g
A79sKsM0E+U2u3GjzCG4UTSPIt3eRAXA+rm5ctJZqguGAhEkfgfsCrYoa8sweU4dR0yCxm+s3rSs
LS0vLu75mSzMoCyxyWaMhikaZ150q7Md+yr0hptf5J/odp12/wBKl8D/AMu+BKV6v5tvNKuFtp7K
Oa6aF7n6vbSXM7rBEQHkYR2rUWpoK7sfs1wqgNf8z2N35Wnmuks7vS72OCILa3krzP8AXeItxGqW
/MM/NWT7+gxVithd+TY49M1WEIYtZW81BS15chZGhrJf3NygtRwNFaOUGi7leOKF3lvSfKUOsrBY
2foTDUBdrpc8tzaW8V+FkeIiH6lCtQqSiOlUPEipKrRVn2oya415pZe2s0ZLpmjU3Mx5t9VmHEUt
ttiW38MCUi88TWAmsX1+OG1kAYQvFc3BBj+sWxIkKWkgVBcC3NWpvQV4lgSrHVh0CPyfDIb29TQT
Ok0Usl1qCspQNMsrI1hyESspmaVl48l5FtsUJ/5TNhcXGr2lnbDUruWOKLVZNTmvWMtuPVjhj53N
miSx7SAca13JrWuKVWfTNK0nynFaW9hZWekCe3e1ksbiV5DdeunoPH6Nq7SSeqF/Zao2aq1xVIvL
c3lOArNoUqxi3s2lswl3ebW4iX1fQV7P98TRHkQczzAqK7YoRnlS60j9K6QmlSma5tdOlsdOjuJ7
pEa2jkBkiLSWMYaWIxoChb1FC7j7RKrM4zfv5gtWvI4IStpdCNIpZJWaslvU/FDEoC0Heu/TrgSj
b26nt5IvSs5rvkGr6JhHGhXr6skXX2riqh+lb/8A6s15/wAHZ/8AZRirC/NV1Yza/LPdS3en3cel
tBNZ/wC4yUC0luYzJI6SyyVWR1SKjChBIG5rhQyDyvNFp/l3TrHS9Lvp9Ot4EjtZnls3ZowPhJPr
j8AB4ADAlQ1eWC/8nz2erabeQaa9mPrN2JrOL0kRA3rB2uKLw48gWHbfCrDrnyrovnK+lv5n1W71
q2iitLq4pp0M8dsVdowsLsphZjI8iTKvLkTxNBQKEDB5d8pXV3c2TXF9JcaMJbqdB+jovTVZ7ppW
dvVAkjWadlkFStY1U7qcVU7Cx8sD9HWUl9P9VJsr3SS/6MiuZJI4LdIm5zSFlDLZRP8AuihbnQ/C
UqqjIbby9DpdlqP1qTVry1OoSaLqV1+iX/0p7eSS4kkeCQO/p/vJm377/s0VZvdSTWHkmbTYNKux
bWmmNbRSs9oR6cduUVjxuGPQV2rilE+ZZotQ8v6lZarpV5Dps9tKl5P61nH6cRQ85OZuKLwHxVPT
ArB7vyxo/nK6knuTqt5q9pFHbXEzJp0U0dtJFKqcYZGX0zIJndJgteW6mgoChCW+jeWLzV7m2W4v
nvdIkmvpIqaenplbm4klZ3aWk0SyXTRyKSV+FQ24xVS0yHTVbS7Ky1q7it5Wsb3So2/Rfq3UyWkd
nA8kc0nFwIbWN4+IHxty6+niqYWk0WnaZY6lZ6tdXnozalNp1xcnS2jubsQzfWvUeCRXkVGilduO
/uQAMVZ5oTzaXomn6ZbaTeSW1jbQ20EhezPJIYwin/ejuFwJQ/mO6ju/L1xDqWnXdrZhY5GuvUsR
6bROskbjnOVqsiqRUYVYXomn+V/rbJpd3fS3BE2oMqS6VIyzyfV2uLgcpG4tSKP4f2OVRQ8SFCzy
tp3kaPX9Ov8ATpLu61MyT3NtAJ9NjEksoZpDDFHLH6aEOxKR0D0q3Lhir0ttVvuSf7hrzr/PZ+B/
5eMCWKebNRtbXV7fVJf0lpGpG0ntyYPqMzPaBlkkcxNJLx9FqH1aUWvxVrhQxiT8v/K2hWUOr20W
o2el28lrLZlTp08ZAnikhT4ZWe45SIix8izBSVX7RxVBx+WvKJ06ymtby+Ca1bXH1SZm08xTiOzM
bzcfWAjWOrzyU4guTy22xVNtGOlX/mWDUImmvdSuLuOfUoQ9ip9azhmaCBEjlh+NDM5LTVkKx8f2
W4qs61PU703ukE6RdqVu2IBa0qx+qTigpOfGu+BKRedU0nUb7ToNTju9MvbpJLe2jE2mpJcxrLBc
OiiWZi3GSCPp2JH7WFWPNpnlm38q+pb3t1Y6RqN3ykvl/QiQTzLK7tEtW9MReqlTGvwkKa15OxUM
u8uTQNYapbRW99q8lxdTLq12ZrLmZnRVMRMNwgT04uCKFpQAd8UoWfS9N0TynHpwstRsLOznguIb
6SazkkW4SZDF/eTsp5uFTgBvWg3NcUMe8v6T5XtoVTRLq79LTbV5bd1k0iRYIriNWnuAXkZf3jKk
rv26bK1MVRHlK20bTdc0v9FXN/c8bSSWz0wnSzG1vfM9y8kfB1MSyPxcCMqKIq0oMVZ1Fdz3HmO0
9WzmtONnd8fWMJ5VltunpSS9PemBKYXt/BaSRmVZm5hqejBNP0K9fSR6de+KqH+ILD/fV5/0g3n/
AFSxVhnm1NM1TW5LhtSW1EelvDLZXWl3spERuYp3uHKvbsIx6Cr0FDvy7YUMj8u6hYadoOn2Hr6h
qAtreOMX01neO83FQPUZvSNeXXrgShdVbTNb8pyaPMb2AXVskYnjsrpijgAq4/dcW4soNOhwqxXz
D5Kl1zVRrNxrV3b6sIYrcS22kahHEiwCUxTRx8yRcRyXEjJIzMBWnE4qgz+WloxUvqU0ZX1lcwaL
exetFcT3E8sE/wATepFI08YZdiREN99lClbeXLdbUabLrrx2elXVhO95Fp94Jfrdtb2tvGjKTSE1
tBVJPUDLIAApUHFVt35Zs7TU0vLXzDNJrdk93qk+lz2N4IHW4haNlRJTLJbQuzkyuxkr9AGKs5a/
0218hnTYDdTpBpf1aK4NpdBXCW/BXLmILQ0rUmmKUX5muNI1ny9qOlXJvbaC9t5IXuVsbqsYZT8Y
5Q8fh677YFYJqWi6X5zvBrEHmVrjUraOO0a507TbwwxCNJuEipHIxW4SS4aSN2chaD4OpJQhovLf
l251W4SLzDG17YyTyX1vbaVcrKI57ie4mgu1WQ/upBdIsgKqSEXcYq7SbW2iOn6Zb+YbSe09WwvU
56XdzG/a1tIbWJViSWJlVG04TLR3DP7IQVXTRaPatpusW/mhJr/TL3VdQghNjcxW9x9bknup7ccn
f0qG64ySVb4AtV2rir0jy/d2GkaBpukgXsw0+1gtfVNjeVf0I1j5GsXfjXAlD+Zb7SdQ8u3FtcSX
VnGFjmN29jdlI2t3WZXesaAoGjHL4ht3wqwrRfL2gB5fqGtfXPUeXUig0u6lAmvTBymAVv7r/Rf3
Q7E7swFCoa0eDyvYanoNfNBaOC5e90ywhtLyMyNOJYTFbc5Ja25D8fTKuQwPFhUjFXpba/Y8k/dX
nX/livPA/wDFWBLFvNOq6TaazDrn6Y/Q08lpLp7jUNOuZIZEZxIrIG+r0dG92BB3HfCrD0/L/QdB
tIrldfnt9FspLSZTqGmXckRS1mjeD6xIzRoxVY/SjYBaKxFGqMUKCeS9Dj0+2W18yGRb22uYbGNt
NuhBKZrRlk+qEM5VJJneeYDnUGmwFcVT2xisbjzTb6pJqMs9xfz2+oXNrDbXa+nHawztAEWkvqO/
1pQ8iBEZFrxqd1Wbanrlk97pLCO7pHdszVs7oGn1WdfhBiBY1boPn0BwJSjzZcx6jquhcNQ+pw21
19Y/R93pN7O13LFR0EbK9uQYuJkHwt8QViPhwqxe40vR7nyXNYy+Yohp1w9xHcatHpd6nwz3E83B
JRNxVkknHGpIqvxKa0xQyvQdR071/MUR1Ka+N7dcpFtLG8intSLaO14SOvqn1ONuDy4p8VdvBShP
qOj6T5Qt9NOoXkQ064gu4tRvrK8kjR4JlkAZWVKI3HjTmKVqN8UJL5U0Hy/ozWstjrBvI9Dik9My
aZdSGL61Gskskrqw+0yK6dAqVG9eQVXeVf8ADlh5g0Rm8xJd6haaalpDa2djd28t5AkAETOnqT+p
GqJ6i0T7VW5cdsVZ9FfQXnmK0aJZVEdpdBvWhlgJ5S29OImVOX2d6dO/UYEppPOkUiFlcghvsI79
x14BqYqt+vwfyzf8iJv+aMVYR508qXOv6nLcWzi3hm05rJ5DDcLMXN1DcD4kj+EUt+AcNyXlyA+G
hKsl8t28GjeX9O0jnNcfULaK29f6tInP0kC8uKpQVpgVFWF7EljbI8cyssSBlME1QQoBH2MVV11K
2YVUSkVIqIZTuDQj7PY4q4albEsAJSVNGAhl2NK0Pw+BxV5v5l8katql1q8ljdrZ/W9RtdSt4BDM
VLQRJETODbt8VYi6025GpqVGFCH8x/lzqOqtfkX7W8d001wGK3cjNJNbW9oYJDNHKTAUteTfFUlu
NANyqzRxdReSJNOnEtzqCac8DmKCajyiEp8AEa9T02xSiPNVnFrvlvU9GWSa3bULaS3Wf6vM4Qup
AJXiOQ8RXcYFYVrvlXzbrGpfpyz1JNK1ExR2jwWQvRBW29b07iR1jjaZoppywgdeHw8ST1wqhE/L
rUm1CS5S7Ebl7pLsr9clae3vbme5ntH5x/ulkWeKpQ1BTkB8WKHWvkXWRbwaXcQW0kdrJYzyXpjn
5slrZ29ssUJMTyRgT2PrMKBW+EVPx4q5Py91Cyke/k4XgAspLmzjimjD/omCFIkj9SP0/wDSTb0f
mQEU0q3GpVeh+W0/Rfl3S9MuHmnnsbOC2mmMMxLvDEqM1eA+0VrgSpeY7catoEthEZYp29GSNmhn
C84JElCsQhPFinFvbCrE9M8mahYXM8ypDKtzbRxzwlb1FeUX0t5IrmOJC8XG4MQDbMqgMpUlQoV/
Kfk+fT72zudVitq2T3FyPqVrODLdXDFg7Fol4RxerKI412HKvUVKrOmv4eSfBNsd/wBxN4H/ACMC
WNeYLK+fXo9YsPRl9Sxl0ya1v4bgR0mkV1kUrG/L4lo8ZA5inxCmFWGWn5ceY9OgtrJtcmu9G0+W
xkjjuDfRNIlhJE8VeKstv6aRGOkez8ubfEoxQhj+U+txWMEMd6sqWcF5FZ2pjulSH65aPHNHEfS+
xPcyl2rTigVR44qnOmeV9Xh80rqbySvaX9/BqZJi/fwLDbzqY34R0ev1hYF4MQIx16VVZ1qV0sl5
pTpFOyxXTPKRBNRVNrOlT8H8zAYEsd/MPyq/m39HQRy/VIbSYTNeG2ne4jKujFYwU4MsirQ8qcWC
uKlQMKpQ/kPU3gkPqxrPK5kaER3v1dS2mNpR4x8fTH7s+rUR8q1StPixQnHknytJ5eF7HJcSMJLa
KxtbiKCZpjHBPdzrNJ6sbL6n+m0I+IVWtTWgUq8eh3sXlWx0xrua+1CwuLa7SW5hlWN2tp1l9MlI
ahWCkBirFTvvSmKpDoHkfUtHiliWCyuALKKwi5Q3iRyRwQulLiFIwJFllmZ5FdmBFB+yDihNPJ/l
NdIurW5vYouVjA6wC2tpuT3Nw7NcXMrmKOrstFQKoCguBscUsoMhm8wWkiRy+nHaXSvI0UiKGeS3
KirKBU8Tt7YFR09zbwyJ60qRcg3HmwWtCOlcVW/pLTv+WqH/AJGL/XFXnfnDy9car5oOoWkNn9WS
O3E0v1xVe8WK5huJbeeNlYGIx2/pIhPGsjM2FWV+To4dI8sadpt3eQNcW0QRwsqlU3JEamv2YweA
9hgVQ1+Iar5IudLsdQgt725sxFE7ycV5cRVHKnkFcfCxG4BwqwrUdC84R6pJqvlaaw8vQ3EUET6P
BcQCM3Ft6vC5mKxFWjPqhXjSjMirvXYKEutvIHmSK6vLuC+tLe61OO7ttWna5jZ7i2u7m4ndQURO
MoVolRzXjV+1MVdaeT/Msdnp9lFc2cLabc6dLNEW/dvFb2sEStDOksW8MsVwVj4/afmaEg4q4+RN
a0mDT5TqFtq+nW813c32lvweYLcWklowiaJoY5JZomSv7rZ+bcm5Hkq9InuPS8iSWl7fR3Oox6W0
VzL6is0k62/F267lnrilEebUTVvLGqaZYajBbXt5ayw287S8VV3UgcmQ8gD0JG+BWA6honm6PUW1
Tys2n+XVmihhm0mC5gEbzwLMY55isRQxc5UV1QB2RevRQUIODyNr8WsXWpQ3dpDcX5u4tUn+tR87
i0vLqeV414IvGQRtD6btXgQwG1MVUbHyTqKrp1s1rp4v9KeweC4uJLaWySGC2tY2jRXglZv31vcs
PT9N0aQNWjmiqpofkrVtENrGx00+WLVLuWfSYltZZ5BJEiOswiht1nuZVTikqcCo2PIEhlXqHlu5
+q+XdLtdSv4ptRgs4Ir2YyqxedIlWRieRrVwT1wJQ/mlYdU8tXFha3cAnlER4PKqrIsciu8TH4vh
lRSh26HCrCPKvljU9J1k3JitLaCZUime2v0UtC90J2SVGjlVlgiCwRotKKH4sDJsoRHljyRp8V7o
lzq1ppkT6K13NDOskU03OW6mltYo2Kj044kuGZuJ3fj2XFL0d9S07kn+lQ9f9+L4H3wKxDzdpy3+
tw3v1ew1zTzYz2TaddzoixTSurCYcg68WVeLlfiAApy7FWIReVPP/wBQt9C1PWbXVNGtpLATGS4h
Bnjs5YmXgrRmgMcTeqJCeT8SDTlVQg4/IXmq10uyt/rdpLFpNrex6RBHdIJLY3do3NUZgoYmeT0o
mqOEYrtWmKp3pOi6vbeblv2ubY2N1fW9zaTxr6LwWkVtOjQSxtIwjUJJHAqDqRyIqCcVegapf2DX
2kFbmIhbtyxDrsPqk4qd/E4EsZ/MjQ7nzHNpH6KvLa1ubCf101NrhVMILKJF4KpdvUjqAUdTXZjw
LAlWPP5M1VtMltAbFbOSYyjSfrcf1ZWbTmsCVX0t/wB+RdVZj/q8xihP/IGgXWgPqbXV9am4ngig
W8Mqym5ninu5TeTIpiq0i3UasNj8JFeIU4pRU1jqdx5NtbDUr+z1LUoJ7ae5iMnCO4ihnSR4XZ2k
5FkU05fCTQHapxQkXk7yxe6NLJHdpaGCS0t7S6MN8hW6FvA6O0yNFVzI8nFSSCqKor9qqqY+UdHu
dN1TQLm6WygWw0AaRePFco59WOSL0+IotU4QV9uVMUstNxbz+YrMwypKFs7sMUYNSsttStPGmBX/
2Q==
saved
xmp.iid:3767C77218206811909ACE7C5D2DDA1F
2013-03-14T09:43:02-05:00
Adobe Illustrator CS4
/
converted
from application/postscript to application/vnd.adobe.illustrator
saved
xmp.iid:3967C77218206811909ACE7C5D2DDA1F
2013-03-14T09:57:48-05:00
Adobe Illustrator CS4
/
uuid:F1258BE4A08CE2119FCDDF3A44EB2954
xmp.iid:3767C77218206811909ACE7C5D2DDA1F
xmp.did:3767C77218206811909ACE7C5D2DDA1F
uuid:F1258BE4A08CE2119FCDDF3A44EB2954
xmp.iid:3967C77218206811909ACE7C5D2DDA1F
xmp.did:3967C77218206811909ACE7C5D2DDA1F
application/postscript
False
False
1
51.000000
66.000000
Picas
Black
Default Swatch Group
0
endstream
endobj
6 0 obj<>
endobj
7 0 obj <>stream
2013-03-14T07:23:02-05:00
2013-03-14T07:23:02-05:00
2013-03-14T07:23:02-05:00
Adobe Illustrator CS4
176
256
JPEG
/9j/4AAQSkZJRgABAgEASABIAAD/7QAsUGhvdG9zaG9wIDMuMAA4QklNA+0AAAAAABAASAAAAAEA
AQBIAAAAAQAB/+4ADkFkb2JlAGTAAAAAAf/bAIQABgQEBAUEBgUFBgkGBQYJCwgGBggLDAoKCwoK
DBAMDAwMDAwQDA4PEA8ODBMTFBQTExwbGxscHx8fHx8fHx8fHwEHBwcNDA0YEBAYGhURFRofHx8f
Hx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8f/8AAEQgBAACwAwER
AAIRAQMRAf/EAaIAAAAHAQEBAQEAAAAAAAAAAAQFAwIGAQAHCAkKCwEAAgIDAQEBAQEAAAAAAAAA
AQACAwQFBgcICQoLEAACAQMDAgQCBgcDBAIGAnMBAgMRBAAFIRIxQVEGE2EicYEUMpGhBxWxQiPB
UtHhMxZi8CRygvElQzRTkqKyY3PCNUQnk6OzNhdUZHTD0uIIJoMJChgZhJRFRqS0VtNVKBry4/PE
1OT0ZXWFlaW1xdXl9WZ2hpamtsbW5vY3R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo+Ck5SVlpeYmZ
qbnJ2en5KjpKWmp6ipqqusra6voRAAICAQIDBQUEBQYECAMDbQEAAhEDBCESMUEFURNhIgZxgZEy
obHwFMHR4SNCFVJicvEzJDRDghaSUyWiY7LCB3PSNeJEgxdUkwgJChgZJjZFGidkdFU38qOzwygp
0+PzhJSktMTU5PRldYWVpbXF1eX1RlZmdoaWprbG1ub2R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo
+DlJWWl5iZmpucnZ6fkqOkpaanqKmqq6ytrq+v/aAAwDAQACEQMRAD8A9U4q7FXYq7FXYq7FXYq7
FWE+b7L8x38xQXfluaNdPS2CSwyyAAvyf1CqMOPqFWThyqKjqtCJCrG9U1X87LC4KXE1hDHPIIba
coHiMlw5ihjWihi5fjx5UUVq5pihlV1H+YVzpWncFit9UW0u4r8rKBEb3gIreYUDH0S3KWn2l+EU
rXFKdeWrbWYbGRtXk5XU8pkSHn6noxBVjjj50Xk3FOTmn2ifngVNsVdirsVdirsVdirsVdirsVdi
rsVdirsVdirsVdirsVdirsVea/nj5wvvLGj6Tcx6UdUt59RtQgjbjIl3BcxXMCCob4ZlhkQmlQSO
tcVei2n1r6rD9b4fWvTX6x6VRH6lBz4VJPHl0qcVVcVdirsVdirsVdirsVdirsVdirsVdirsVdir
sVdirsVU7mX0oHk/lFcVYX5X0b9O6XJql3qepLNPe36hIryWONUivZoo1VFIACogGFVfWNG8uaLB
Fcarr+pWcM8q28Ukt/OFMrglVrXwU4qoWflryh5jikW21m+1KGyuQHpfTOsdzay1UippyjljqCO4
xVVt9N8qXFstzD5mvGgaMTc/0nIKRsqsGarAqOLqd/HFCPj8m2EsayR6vqjxuAyOt/MVZSKgghtw
cUoHSnl0nztd6Kt3c3VrJY2dzGt3M87LJJNdI/FnqQGWJNvbFWZYFdirsVdirsVdirsVdirsVdir
sVdirsVdirsVQup/7wzf6uKpB+WX/KIRf8xmpf8AdQuMSqJ81eRtC80GBdX9eWC3IdbZJnSEup2d
oweJYBmWvgx9qKsfn8meRfJ+mAy3l3Y2E9xHDABM3wXc8hEcyMq8xIObCpNONajChsfkd5CV5HWG
5q0fpJWd24II2jCqWqaUetGruF8MbSzPRtKtNI0iy0qz5fVLCCO2tg55MI4lCICe9FAGBWJ3X/k1
3/7ZVl/1EXmFWcYFdirsVdirsVdirsVdirsVdirsVdirsVdirsVQup/7wzf6uKsH0C+12z/LJn0C
1F3rMl7fxWUTCsYeTU51Mkm6URFqxqw6UwqhNS/Mb8wUiiFv5QniN0JHjncTSLAig+n9YURrxao+
LelD7YoQ5/M3z3d6ct5F5ImnhPoXEKKXlWWNyzKysIyKghHXjWnelQQqnGr+ffOdnq9/ZWvlG4ub
e1WN7a75S8J+cQd0UxwyAMpLe3w0rzYLilJLT86NZOsJp97oUdqv122tLmZ7ho/SSUgSyssscZog
q3tTi3FiMaQnS3tlffmk89lcR3UP6Lsl9WF1kWouLyo5KSK4qz7Al2KuxV2KuxV2KuxV2KuxV2Ku
xV2KuxV2KuxVQvozJaSIOpG2KvJ4PNHnXyYsunR6TBqulpNPPCS72sq/WJXnYPIBcKwV5DQ8Bt9+
GkIT/oYHX7smLSfKQvZa8TLDeNLErAjZnFukf0eoDjSVKTzP+eutgCJ7PQFrVfqdsLiSh6B3umkT
/gUHzxpCU3nkX8xbvk/mZ9Q1yzPxObedpAPEmxkdEHyi5k+GKpr5f/LHyTqbNbWVzE13CP31jIgh
uY6Ej95byqkyf7JRir0Lyl5A0/y9IZLdFRmpyKqoJpWlafPG0suwK7FXYq7FXYq7FXYq7FXYqxLz
x5L1TzNJAsOrDTYLThPatHCzzJeRSiRJSwkQMg4j4KdR1ptiqQj8nJBo0mlvq0c6rcteWV1PaGS4
hdrZbenqtMaisaueIU1HWu+G0Lbj8o/MNxI10/m+4F9K9rJJIYPURGsafV/SDy8xx5SFi7NyLAnp
u2lVb8rtZv1u4tZ1o3aJLDLpMkqvcfV2G8vATOzgbIqlpGb4SSfixtDZ/LPzpzuivna9VCJBYr+/
b0xJwUcyZ/jKxoQC1fiYtscUsZvPKWoaRfWdleefJr65tg8v6Itree4upJ5mlZpjbRTTN1nY8nHE
mnLbFCdeT/L35rQ3X1iXUmhtXhkiLau0lzJ8bIyPHZpcSqpXg1GkuOXxUK0AXFLKh+Xei3Ugn16W
fX7iob/TmU24I/ktIljtxTsShb/KwKncWh6TEqrHaxoqgBVCgAAbAADFUTHa20f2I1X5DFVWgHTF
Uu1jy7oesxrHqljDd+nvE8ij1Iyf2o5BR4291IOKpV/h7zLppLaHrTzwdRp2sBrtBvWiXQK3S/OR
pfliqXeYvMWrNot3p+q2UugTXCGI6qsbanYBH+GQ+pbmOVPgJo0yRgH7sKsf0/8AL/zZqGk3Tab+
Ys9xa3chayurUtKkaho+AR0mpRV9WqrseS/77FVUbN+UNy11M8Gp28NpeTW1zf2P1MtBM9tKspjk
iWaOORJWG/JeQpsaFgzaFS1/LbzdGk0Q83XcEcMa22mqC8iLGIow0jx+ogLF/V4qxaild6rjaoG3
/JzX9MEh03zZd8BxWKMK0Uxt4USOGEzRyqpYRxBORTjvy4VAxtKMP5V600BvI9faz8xXMEa3+o28
bK0k4jcSn1EeJjGXeqqRReK7GgxtCnN+VnnKaOwSTztdOIV5X6yRyyJPN6hdX4m4oqqvBQnT4eXV
jjaVDT/yl8520q3EnnW4lvKgS3LJMZGTkx48vXH2BxpUcWp8Sns2hn/lrSL3SNJjsbvUJdTljZiL
ufkZCrHkAzO8jNSvUtgSmmKpDe+aZYtWm0yx0m71S4t4Yri4a3a1REWdpEjBNxPASSYG6A4qt/xJ
r3/Uqaj/AMjtN/7LMVSPzl5k/M86HNF5R8pzDWZfgiuL6409YoVINZAq3MnNh+yp27mtKFVIPLGm
/mJLodra+ctO1q5nhXhNaWN7p8MEpHV5Z0u47qVn6uC4TtwpthVl3l/U9N0u+g0KPy3L5eF1FNcw
8hZCOQwNEklfq00zGQ+upqw333wKy3FXYq7FXYq7FXYq7FWmYKpY9Birz2eLTtXnuNS0nyxqdvci
ee3Os6ZPY2Ukz20zwuzf6VGZV5xmgmQ/LCrHILz8/tP87i9h0SXVfLDxpBc295c6dDcuFYn1wsM/
orMoanwhVdQAVBowCvRv8Sa9/wBSpqP/ACO03/ssxVDaj53vNLtfrmpeXNRtbISRRSXDSWDqhnlW
FWZY7p3pycVopxVk0UqSxiRDVW3BxVfirsVdirj0xVh3lZ2bz15lqa0tNNA/5GXuFWT6tLqEOl3c
umwC51BIXNnAzBVeYKfTVmYgAFqVOBXnUOr/AJ26fBdG+061ujEUjjuD6TRMsMYWWcLDJHKqyENL
QqW6IEHL4Sr0DQbrUrzRrO71K3Fpe3MYmmtN6w+p8SxNWvxopCv/AJVaYFYr52kZPOvljiaVttRB
/wCDtDhCs4T7C/IYFbxV2KuxV2KuxV2KofUSRZSkdQuKsM8tHWm/LiQ6Py/STXt/6RT0udDqk3qF
fX/dcuHKnLbCqCs/MX5viaeA6Hb3i6e0KyuxSKa45rG7KrGaOBZFSSrMnJOQoMVUbfUfzxtHtku9
PtbulYby4BhMBpJtcKqyQTBWj3IpUb/A22KFfzvqGr3/AOT0moataiw1C5azmezFaxK9/E0SNy35
iPjz/wAquKWZ+WnZ9Ht2Y1JUYFTTFXYq7FXHpirDPKn/ACnXmb/mE03/AJOXmFUDD5C88NcSveeb
rh45L9ZxHCZIgLJqme3Wj/CWPHg1aoKgYqgNS8k+c7OGO8vPPJtlikka4uZ2khjKMyOi7zBE3Tfa
lB0+JsUMVj1Sw0qK2sz+ZL3CQwyIDYxXl2rSlGETtJbmdSEmKyNX7e6tVQMVZPqXm3Q/M/nPQX0S
Sa5js7e++syPbXMCKZXtuA5TxxqS3ptsPDFXqSfYX5DAlvFXYq7FXYq7FXYqhtS/3hm/1cVYZ5Zt
NVu/yyurXSJ/q2pTT6olpOSV4SHUJ6NUbimFUs1LyF+ZkWnyPp/mqS4vaR0hkeaNSFoskYfm3EMu
/OnOq7N8THFCTarFfaRcyprX5lJby/Vp0nsoZpHuEuHZngkWJGaTjExVSAg5KKHFV3mnz75a1P8A
Lw+X7LUrrVtXdrONXNlfK0hju4mZmeWIAURCSzN9OKvUvLSldHtwRQ8RtgSmmKuxV2KuxV555w8j
ajd6l+k9KvbnT70qEae0meFmRSWVX4ModQSTRgRhQx1/J35j3IEU/mXU/TChf3c7QtQf5URRq+9a
4q1/yoi11KUXGrTT3N11+tySu0w/56sxf6CaYqmEX5RanpXx2Mttq8A62l8ot5qf5NzCjofYNDv3
bvja0mulXnlbRp1XV7Sfy9cEhQ1/Gq2zMdhwvIjJbGvYGQN/k4qz+KSOSNJImDxuAyOpBUqRUEEd
QcCV2KuxV2KuxV2KuxVKfMGv6DpcAj1O9itnuPhggJ5TSmtKRQrWSQ+yKcVeRT+X/P730k3lE6lo
1hNI0xa8maCEtISzvHYsZHBZmJYOkdTvhQ4flN5w1dDF5j8xajqkL09S1knkW2JH/FAfif8AZVxV
lGjfkvotmiqY1UD9kKoH4Y2tMktPy+0O2dXSMcl/yRjaaZJBCkMSxoKKooMCr8VdirsVdirsVdir
sVdirTKrqVYBlYUZTuCD2OKsck8iaTBI0+hzT+X7hjyb9GsI4Gbape0dZLViabt6fL3xVb9c89aX
teWVvr9qtB9Y08i0u6AdTbXDtC/uVnX2XtiqM0vzj5f1G6FklwbXUyK/oy9R7W69yIZgjuP8pKr7
4qnWKqV3d2lnbvc3c0dvbRCsk0rBEUdKszEAYqx4ed47/wCHy3p1xrdel2g+r2I6fF9am4rIu/WB
ZPlirhonm3U99Z1cafbnrYaOChPQ8XvJgZm+cSRHFUy0byxoGjF302yjhnlFJ7o1kuJen97PIXlk
6ftMcVTTFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqhNU0fSdWtTaapZw31qxqYbiNZFr2I
DA0I8cVYh5h0XU/L9taS+XdXvbS2uL6zs5rSZlvYY4rq4SAvEboSyoy+p8ID8P8AJphVN4fJfl62
cajqfq6veW4MgvtUf6y0ZUVLxRkCGE7f7pjXAqJh87eUJniSPWLQtOwSIGVBWRqcYqkikp5D92fi
9sVTrFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXnH51+d5PKmk6ZPLp0t9Y3V/a
jnAR6i3NtdQ3UUXE9RNHDIoPZgPHZVnNxYDVNHFpqkZRriNPrUdvLJHxcUZgksZjegYdRSuKpHb/
AJXeRbeVJYtNo8bc4iZ7g8KMWAWshooZiQvQVONqyrFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq
7FXYq7FUg8+axdaR5T1W+tH9O7gtJ5LeSgbjIsZKNRgQaN4jFUJfaS1gI2v/ADpf2gmYRxGdtLjD
ueirytBU+wxVQ1vyRDdWanWfM2oNaWs0V2r3A01UjlgkDxScjaAAq4H6sVRVvoNzc+r9W84alP6E
jQzen+jH4SJ9pG42howruDviqX6o+r+Xta0QNrl7qFtfzSwT290tpxoIWdSDBbwuCGH82FWbI3JQ
3jgVvFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqw382v+UF1f8A5g5/+TZwhU083+WtO1uy
U309xDBaJO0q2/pVlilhaKaNvUSTZo2IqvFh2IwK8g0aw/JrVLdkvNWvnLxRPdAh4klhm4XUNsSg
mlQQ1hjCeqCXRVHI1GFCN0byZ+W/mLUJ7DRNf1GbWL2NdWupJhH6kStJEz8mWOCRXk9bjxVyvIfG
CUAxVm/5iIiaj5WRFCot5IFUCgAFuwAAGIVm0H9ynyGBK/FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7
FXYq7FXYqxP80LS4u/Jup29uhkmltpkjQU3ZkIA398IVDL+b35dTwslxqJtywKy21zb3EbiooVKt
HQ/MVGClYfqfnj8krWNGsfL36VYkxp6GniIK9y/E1a7Fv9t5N2WvWuFCCsPNGvw3S3XlbyfpWiye
kLf1pFe4kMC8aIfS+qUHwLtU7+ONKm1hH5/1/VtPl8wPa/V7GZp4kt7do25OhSnIyuOIDfy198Ve
tRikajwGBK7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqp3FvHPGY5BVT2xVjF1+XWhzymR
olqfYf0w2iku8x+S9GsdKt3jiXl+ktLWtB0bUbdT28DjaU98x2Fza6BdNokLfpAcPS9FImkoZFEh
RZQYy3DlTkKYFYha+ZPzXhupYDoEF1BYPGJZOHCe4jkMbcQVlWFJlics5TmnLYYUKFnq/wCedter
Deadb3KRoIp7jjGbcv6jn1k4vBLxMfAHrTeinFUTBrn5sNJaayumyT2t3Fbyy6LS3RYVkkm9RQz+
nP6ghjhY8nbi7kcSKBVKHttY/PO31K1hudLguY1til5IgiaA3DStIjIfUgegjZIm3ovxPRqUKqKs
tW/Na8toNaS39M3Fo040Z44vQWRRMVSriG4DSiKOnKSis++wpihDx+afzwlto/U8s20Msp4S8COU
QCsrOOc5VqvR122XY8iRiq9fNP51H6zL/huDZT9XtyFAJVifif61XeNutD8S0A+KoVemQCYQxidl
ecKBK6KVQvT4iqksQK9BU/PAlfirsVdirsVdirsVdirsVdirsVWXFxBbwSXFxIsMESl5ZZGCoqKK
szMdgAOpxVjf/K0vyz/6m3Rv+4ha/wDVTFXnH51+dtK1HSdKl8nedtKh1CO/t4rmNb60eP0ZJ43W
d0LtvbzxRycv2V5V+GuKvQbP8yPywtLOC1TzhpMiQRpEskupWzuwRQoLsZKsxpucVTLSvPPkrV7s
Wek6/p2oXhUsLa1u4JpCq9TwjdmoMVTvFXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FWJ/
mncPD5F1rift2Nyp+RiYYqyzFXnGr/nXpGma/NpU2nzmKG4kg+t1CLIsSsryRcwqsFnikhPxUBWp
Iw0rKPKfnXSfNEc76dHOq2wiM3rIFoZ1LotVZgSYuMm23F1PfAqW+fLl7bWPLEiGh+uTL9DW7jCE
MviPKNT4jAldirsVdirsVdirsVdirsVdirsVdirsVdirsVdirsVYb+bf/KC6v/zBz/8AJs4QrLbs
zrazNbis4jYxDxeh49ffAryuw1/84EHLU/KcE7+kFBAjPxxx0nk+F+ksvORU6kELsxrhQnHkDUvP
k+uSwa15ei0fTmtBc3F1Hx5XF/IsAJcA7Mqq/SopRa/DilE/mP8A8dPyv/zGy/8AJhsQhmsH9yny
wJX4q7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FWPee9JbVvLl5YAkC5ieIsvUB14kj78Qrz8
/mj+ZFlzt7rR7O8lX4UuEE0ANKgFkrL9NGGGkWlGs+fvzivLZDA1rpKSXEEIa1ti0lJ50hoXuDMt
fj6hBjStt+VvmnXAW1zUrq/DGpS5mlkjHsI2PBR7AYqyHyj+Tljouox3qwRLNHssgQBgPCuNq9VR
eKgeAwJbxV2KuxV2KuxV2KuxV2KuxV2KuxV2KuxV2KuxV2KuIBFCKjFUK+l2DtyaIE+OKsX8/wCp
+XNH0+zhvbmCykmvrCeL1mEamK21G1adgzUX92jcm3+zU9AcVT/UBPq3lyb9D3It5dQtT9SvGVgY
xOnwy8SA3JQ3IA9+uKsCXyB+ZNilw1l5nZwIIoIAKtKRahljb98WQyPH8LcmoWPMk8RUoVtR/L7z
1dQvJbeYfqd7fWIh1CROdPrTxESSRrQgLyZgo2ps25UVbVYfy/8AzHSAWUXmitkrkMWMnqzR1qHk
ejMJS1ZHKtRi3H4UVRiqnZ/l1+ZNjpv1G381l6JGHuZTI0spoBMrsQ3HkKIjJTgqCi8mY4qiJPy9
89WtqU0bzELW4YgyM5kcMwWMVPIOdmRjToeRB642qle+RPzUluYmi82j0IoEARwQTcelSR6og2Mr
OVqTxXiKbYqi9A8l/mPa3ls2qeaWubRAjXiIWLSuHV3481/dq3Gmx2GwpXFXoeBLsVdirsVdirsV
dirsVdirsVdiqWeZNbj0PQ77VXT1RZQSz+kDxL+khbjWhpWlMVQJuvzB7aXpP/cRuf8AshxVin5j
eRfNPnvSbPTdU03Skis72C9Vl1C4JYREiSL/AHhG0kbMvsaHemKsqFz+YAFBpekgDoP0jc/9kOKq
D+ZfMVhqen2mtafZww6i7xRTWl3LOyukZk+JJLaDYhf5sVZSCCAR3xV2KuxV2KuxV2KuxV2KuxV2
KuxV2KuxV2KuxV2KuxVh35tEjyLq9P8Aljn/AOTZwhUz87WHmW/0F7fy5fLpupmSMpdvuqIDV9qN
29sCsIu7D8675EtrO/tLO3V5THIkyyzJGUItxK/Gsq0KmuxZgxO3HChWgsPznAtbM31qbcSWxmuP
VV55UQqbiRWKLRXPIkU2DKq0AOKpx+YxI1TyuR/y2y/9Q74hSzSD+6T5YEr8VdirsVdirsVdirsV
dirsVdirsVdirsVdirsVdirDfzaB/wAC6v8A8wc//Js4QrLbqBbm1lgLUWaNk5DegcUqPvwK8nm/
KLQfLlv6915vn0214CH1LmZII+CRiCKMMXjHFIgsdO6+BNcNoS7y5rvkPynrBvrXX9S8ySw2QsEt
ooJZIlUCH4o5ZCsNT9XA+FulAelcVTbUvOMPm7WdCjsNMvrVbK4kmmlulhVOJiKAD0pZTWrdxir1
WEUiUe2BK/FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqg9W02HUbOS2mAZJAVZTuCD1BxV5
q/5QSW5ePTry6srVv+Pe1uZoYqVrT042VabdKYbQlusfk5pVnbQ30yerdPf6dG88hLyES38EZq7V
bo3jjas7PlHytothLeXgWG1t15zStUhVHc0GNq6LXvy9srQXw1G2ihBQDk/Fz6rFYiIz+8Ik4koQ
tGX4lqu+KUfH578mvYyXo1i2W1ijaZpHcJWJCFaRQ/Esoc8KqCOfw/aFMCqKfmL5Ne3nn/SHBbcg
PHJDPHKxMgi/dwvGskv7xgnwKdzTFV0v5g+VI7oWq3UtxckovoW1rdXLhpYfrEassMUhUtDVwD2D
fymiqrZ+e/J91bpOmr20KSJ6qJdP9VkMfD1A/pT+nJxKfGG40K7jbFVU+c/KQnihOs2XOZS8VJ4y
pA4ftV41PqpQVqa7Yqq6d5o8t6kYVsNUtbmS4UNDFHMjSMCgk2SvL7BDUp0xVM8VdirsVdirsVdi
rsVdirsVdirsVdirsVebfnh5x1Pytoul3UGm/pKzuNQtUeNG4Si5huYrq3UfaHCX6u6HbYlfkVWc
y6auqaGLDXIo5jcwKmoQx8liZio9QLvy48um/TFWPv8AlJ5Cdw36PkWjrIirc3IVeKhAqD1KKnBV
Xgvw0VRTYY2q2T8ofIDqEXT5IogiokUVzcoiBGZx6arJRDWR6laV5NX7RxVE335ZeTb3n6tnIOY3
4XFwo5cndXoJKclMr026MR0NMbVEaP8Al95P0e4t7nTdOFvcWtDFKJJmYlUljX1Czt6nBLiRV514
g0FABiqEvPyr8jXb2bTaex+oU+rATzgLSCG2/n3/AHNtGn0eJJxVCS/kx+XUj+odNcPz9RWFzc7H
b/iyn7I69NqbAUbVOPLnkTyx5clWXSbV4pEhNsjPNNNxhZ/VZFEjuFBkq+3cnFU/xV2KuxV2KuxV
2KuxV2KuxV2KuxVjv5g6rc6X5P1e7tpDFcx2dw0Mq7MriMlWHuDvirv8E2v/AFdNV/6Tp/64bVJN
V0fyKZprHVPMF36lg8E80VxqEtIpBLGYHPI0DLJJEV7gsviMVTDTNA0PVIXmsNb1S4iR2id1vrig
dDxZdyN1IoffFUFq9u/lzXNCe31C+mivZ5YLiG5uZJkZRCzL8Lk7hhihnKNyQN4jAlvFXYq7FXYq
7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqw382v+UF1f/mDn/wCTZwhU481+ZV8vafDdmznv3nnS2itr
VTJKzOGOyqGY0CnoMCvONcvPyj1vVLq/1D9IXMt4IIryCKC4EbG4hP1cPwjVm5RxepHViBSq05MC
UMh0f8y/y/0+3srOzvZpba/nmaG5kjkJee5u2LVqob45Xdvs7AY0lEfmP/x0/K//ADGy/wDJh8Qg
s1g/uU+WBK/FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYq7FXYqxT8zbK4vfJ+pWtuvOae3ljjXpV
nQqN/mcIVLF/OT8v5UiOom6srlH5LbXNjcSvG4B+LlbpcRA9RUPjSpFdfmt5LiV49C8qzX0rsJeR
tobSFnBZgzM3KTkGkY19M9TjSGPT6n5u1YFLPytomm2xYOqfUUuZFYDiD6knCM0G1fSxVPNH0z8w
tX1Sxm8yXxuobKVpoYxBDFRmXh1jVTQA98VevRjjGo8BgSuxV2KuxV2KuxV2KuxV2KuxV2KuxV2K
uxV2KuxV2Kqc8EU8ZjkHJT1BxVjlz+X2gzymRoEqTU/DhtaRNn5K0K2NVt0NPbG1TaHTrKEUjhUf
RgVWEca9FA+QxVdirsVdirsVdirsVdirsVdirsVf/9k=
xmp.did:F77F117407206811909ACE7C5D2DDA1F
xmp.iid:F77F117407206811909ACE7C5D2DDA1F
uuid:9F11AA66548CE2119FCDDF3A44EB2954
uuid:9F11AA66548CE2119FCDDF3A44EB2954
uuid:9F11AA66548CE2119FCDDF3A44EB2954
uuid:9F11AA66548CE2119FCDDF3A44EB2954
saved
xmp.iid:F77F117407206811909ACE7C5D2DDA1F
2013-03-14T07:23:02-05:00
Adobe Illustrator CS4
/
application/postscript
51.000000
66.000000
Picas
1
False
True
Black
Default Swatch Group
0
endstream
endobj
8 0 obj<>/XObject<>/ProcSet[/PDF/Text/ImageB]/ColorSpace<>/Font<>/Properties<>>>
endobj
9 0 obj<>
endobj
10 0 obj <>stream
xc
endstream
endobj
11 0 obj[/Separation/Black/DeviceCMYK 23 0 R]
endobj
12 0 obj<>
endobj
13 0 obj<>
endobj
14 0 obj<>
endobj
16 0 obj<>
endobj
15 0 obj<>
endobj
17 0 obj<>
endobj
18 0 obj<>
endobj
19 0 obj<>
endobj
21 0 obj<>
endobj
20 0 obj<>
endobj
22 0 obj<>
endobj
23 0 obj <>stream
h ˮl۶ɶm۶m۶];1nCІ1o1l0m&_3Ll0LmӚf0l0m[,n KZҖ,o+ZVլn
kZֱo6ln[ֶlo;vn{ :qG:юq':NqӜg:q.q\
Wծq\7nqwqz< OzӞ</z^
oz>|_|?~
endstream
endobj
24 0 obj<>
endobj
25 0 obj<>
endobj
26 0 obj<>
endobj
28 0 obj<>
endobj
27 0 obj <>stream
hTP=o Ib]+e臚kwN!}H z߳Lݩ&