VOOZH about

URL: https://web.archive.org/web/20150923211739/http://www.cs.virginia.edu/~weimer/p/weimer-toplas2008.pdf


%PDF-1.3 %���� 272 0 obj << /Linearized 1 /O 275 /H [ 1514 1396 ] /L 793023 /E 42002 /N 51 /T 787464 >> endobj xref 272 48 0000000016 00000 n 0000001311 00000 n 0000001443 00000 n 0000002910 00000 n 0000003144 00000 n 0000003310 00000 n 0000003937 00000 n 0000004664 00000 n 0000005511 00000 n 0000005749 00000 n 0000006022 00000 n 0000006453 00000 n 0000006475 00000 n 0000007192 00000 n 0000007214 00000 n 0000007645 00000 n 0000007960 00000 n 0000008564 00000 n 0000008586 00000 n 0000009193 00000 n 0000009215 00000 n 0000012608 00000 n 0000012966 00000 n 0000013351 00000 n 0000013903 00000 n 0000014158 00000 n 0000014757 00000 n 0000014779 00000 n 0000015494 00000 n 0000015516 00000 n 0000015852 00000 n 0000016776 00000 n 0000017218 00000 n 0000018627 00000 n 0000019004 00000 n 0000019660 00000 n 0000019682 00000 n 0000020311 00000 n 0000020333 00000 n 0000024409 00000 n 0000025127 00000 n 0000025258 00000 n 0000025771 00000 n 0000036982 00000 n 0000040936 00000 n 0000041395 00000 n 0000001514 00000 n 0000002887 00000 n trailer << /Size 320 /Info 270 0 R /Root 273 0 R /Prev 787453 /ID[<754851d936fe62ee56c25756fd185ccc><754851d936fe62ee56c25756fd185ccc>] >> startxref 0 %%EOF 273 0 obj << /Type /Catalog /JT 261 0 R /Pages 268 0 R /Metadata 264 0 R /PageMode /UseThumbs /OpenAction 274 0 R >> endobj 274 0 obj << /S /GoTo /D [ 275 0 R /XYZ null null null ] >> endobj 318 0 obj << /S 1869 /T 2018 /Filter /FlateDecode /Length 319 0 R >> stream H�b```f``}�����1�A��b� ,  �RM@� MH��w2v6Lc+n��t�P�9�1����_�j��p��I�73�% &}�8\t�G��EcS��n���3N000���1~��!��=���q�����l�� �D,�O��m8����:;WL,1uv��H����"S.��NtM��(:�Wt��hV���b������y��M�re��!#��'%�1Uj��9 �3��:���⠩J��e�ld$�n�m��e���%/�77sp�v� [S�V�%��J�ƒ���]t\;v��D� -/Q��� ��n�Y�6*����������,ʮ�c��ޞ:���boV/��,|<���T�z}D��j��H�7YGl=}�GrP�R�s?�[�x��Shq0���r/A6A��9��6\<�vi��R��m��l�۵��){��eŕ�~%!<�u�쎌�Z���,r.^H<�T�pq�빦 ?�S2/ ���pZ_3���v^�5aO����U=zmD��ZG<�<�xP�F0��������t�εU��r�;�5����� �*�å 7yj�Y&6���g�]���?\7�E�R*��>,>Z��_�M憒ʩ)*S�L^97sl����Q�,��ΐ�~�6CBp{� ㈧���\���R P�G��9˨�� ����(.Z�u�PGܲ(ښ�53Hٟ�K �<|ܗ�E���J���Z&B����f�4��J��ns, �cWG<<��/�1���5�.�̫�y~RfJ.��[\|����Ө�}wL��Τ� �wg�����B�n˸���d����,`��������qqs��ڰ�ZS^\���M3P�&�H#U/!`2-U�݆�-�y��x��B���t�l���x��&��GǵCw{-�2iG7Á�!>:�˻���˚X�˘�A��$�.V/{I| �pP���Ī�H��A�.q(AL&H=v+�&`|<��X��@T #����0/�B�d >'�UG�v’(�1�k��~qim vW6b |�� ӝ�<�m�;8(Y��8�e�J�'å !��|&80p]a`�knc��!�P���k\�.T��j[ �1�m�����\S���{��8��@���1�=AX�Ա��(br}w��;� H�8�@d��f�~� ���LNyn kJ9mRX �� �0F�^���Xh3C���E��[�e[7& ��a*ϼ� ���p��)/�% ��-x endstream endobj 319 0 obj 1277 endobj 275 0 obj << /Thumb 200 0 R /Resources 276 0 R /Parent 253 0 R /Contents [ 284 0 R 288 0 R 290 0 R 297 0 R 299 0 R 306 0 R 308 0 R 317 0 R ] /Type /Page /MediaBox [ 0 0 612 792 ] /CropBox [ 0 0 612 792 ] /Rotate 0 >> endobj 276 0 obj << /Font << /F1 280 0 R /F2 278 0 R /F3 279 0 R /F4 286 0 R /F5 295 0 R /F6 302 0 R >> /ProcSet [ /PDF /Text ] /ExtGState << /GS1 312 0 R >> >> endobj 277 0 obj << /FontFile3 314 0 R /CharSet (/space/I/t/i/s/d/f/fi/c/u/l/o/w/r/e/p/g/a/m/h/b/v/y/n/hyphen/period/P/x/\ E/W/fl/colon/M/O/k/U/comma/one/three/zero/five/J/B/F/C/S/j/D/two/bracket\ left/bracketright/R/q/semicolon/four/V/T/L/G/A/K/N/nine/eight/seven/six/\ quoteright/H/slash/z/Y/parenleft/parenright/at/dollar/numbersign/dieresi\ s/emdash/percent/quotedblleft/quotedblright/endash/X/tilde/Q/acute/amper\ sand/Z) /CapHeight 730 /Ascent 729 /Flags 34 /ItalicAngle 0 /Descent -248 /XHeight 489 /FontName /KPFFHE+NewCenturySchlbk-Roman /FontBBox [ -217 -215 1000 980 ] /Type /FontDescriptor /StemV 0 >> endobj 278 0 obj << /Subtype /Type1 /FontDescriptor 282 0 R /BaseFont /KPFFHD+Helvetica /Widths [ 278 0 0 0 0 0 0 0 0 0 0 0 278 333 278 0 556 556 556 556 556 556 556 556 556 556 278 0 0 0 0 0 0 667 667 722 722 667 611 778 722 278 0 667 556 833 722 778 667 0 722 667 611 722 0 944 667 667 611 0 0 0 0 0 0 556 556 500 556 556 278 556 556 222 0 500 222 833 556 556 556 0 333 500 278 556 500 722 500 500 0 0 0 0 0 278 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 278 0 0 278 0 278 278 0 0 278 278 278 278 278 0 0 278 0 0 0 0 0 278 0 278 278 0 0 0 278 0 0 0 0 0 0 0 0 0 0 0 0 278 0 0 0 0 0 0 500 ] /Encoding /MacRomanEncoding /FirstChar 32 /Type /Font /LastChar 222 >> endobj 279 0 obj << /Subtype /Type1 /FontDescriptor 277 0 R /BaseFont /KPFFHE+NewCenturySchlbk-Roman /Widths [ 278 0 0 556 556 833 815 0 333 333 0 0 278 333 278 278 556 556 556 556 556 556 556 556 556 556 278 278 0 0 0 0 737 722 722 722 778 722 667 778 833 407 556 778 667 944 815 778 667 778 722 630 667 815 722 981 704 704 611 333 0 333 0 0 0 556 556 444 574 500 333 537 611 315 296 593 315 889 611 500 574 556 444 463 389 611 537 778 537 537 481 0 0 0 0 278 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 333 333 278 0 0 278 0 278 278 0 0 278 278 278 278 278 0 0 278 0 0 0 0 0 278 0 278 278 0 0 0 278 0 0 0 0 0 556 1000 389 389 0 204 0 278 0 0 0 0 0 0 611 611 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 278 0 0 0 0 0 0 333 ] /Encoding /MacRomanEncoding /FirstChar 32 /Type /Font /LastChar 247 >> endobj 280 0 obj << /Subtype /Type1 /FontDescriptor 281 0 R /BaseFont /KPFFHC+Helvetica-Bold /Widths [ 278 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 556 ] /Encoding /WinAnsiEncoding /FirstChar 32 /Type /Font /LastChar 56 >> endobj 281 0 obj << /FontFile3 313 0 R /CharSet (/space/eight) /CapHeight 716 /Ascent 715 /Flags 262176 /ItalicAngle 0 /Descent -234 /XHeight 594 /FontName /KPFFHC+Helvetica-Bold /FontBBox [ -170 -228 1003 962 ] /StemH 118 /Type /FontDescriptor /StemV 140 >> endobj 282 0 obj << /FontFile3 310 0 R /CharSet (/space/E/x/c/e/p/t/i/o/n/a/l/S/u/s/d/P/r/g/m/R/b/y/W/T/L/Y/I/M/G/O/C/per\ iod/N/U/A/v/f/comma/B/k/eight/colon/two/one/D/three/four/H/X/five/six/se\ ven/F/fi/nine/zero/hyphen/w/h/Z/K) /CapHeight 730 /Ascent 715 /Flags 32 /ItalicAngle 0 /Descent -248 /XHeight 594 /FontName /KPFFHD+Helvetica /FontBBox [ -166 -225 1000 931 ] /StemH 76 /Type /FontDescriptor /StemV 88 >> endobj 283 0 obj 637 endobj 284 0 obj << /Filter /FlateDecode /Length 283 0 R >> stream H�TS�n�0������:��\��F�ҋ������q��ʘM����m`���f��g�� �Fg��m�H�$%ʒ�����@9%9�Ȩ������ E�mD))�`(�g���P�Q�����E �+��qo.��7P��*'%gE��1�o. �e ��G. \��Ө��C/�x�r�o��� �!Rb�?;X��f��4!xa'x?�_�rC ��?G�FuZ>�N�w��$e�2�� ��(#"c@���n���W�뾺�V�� ��~�\V_�<�$�����������x�w�>�L`eF�ŗ��\v�u������C�\A� ���N�׻���K�H�⢀�@0겠��|y ؗ'��>õw�qB�"�~ea�4#9�c@~���f���vXjތ�j)��P����Rl_�J��^���Ě����}Y��%e_֪�Q���y�|�L���ݚQ� f��X��N����?��q6L��xe����pMX(���`+�{���-�(O�-�� ���`���R������ɩ��n)�~���{�o],�K���3h��W�WJ����[C�'��$�j�n���,Z����������p��i�:[R����LG7q�;%�ʹ_j�X� 0 �5� endstream endobj 285 0 obj 524 endobj 286 0 obj << /Subtype /Type1 /FontDescriptor 287 0 R /BaseFont /KPFFHF+NewCenturySchlbk-Bold /Widths [ 287 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 278 0 0 0 0 0 0 759 0 778 0 759 722 0 0 0 0 0 722 981 0 833 759 0 815 667 0 0 0 0 0 0 0 0 0 0 0 0 0 611 0 556 0 574 389 611 0 370 0 0 0 963 685 611 667 0 519 500 426 685 0 889 0 611 ] /Encoding /WinAnsiEncoding /FirstChar 32 /Type /Font /LastChar 121 >> endobj 287 0 obj << /FontFile3 315 0 R /CharSet (/space/S/o/f/t/w/a/r/e/E/n/g/i/P/m/L/u/s/O/p/y/A/C/M/R/c/F/colon) /CapHeight 730 /Ascent 730 /Flags 34 /ItalicAngle 0 /Descent -248 /XHeight 489 /FontName /KPFFHF+NewCenturySchlbk-Bold /FontBBox [ -166 -221 1000 1007 ] /Type /FontDescriptor /StemV 0 >> endobj 288 0 obj << /Filter /FlateDecode /Length 285 0 R >> stream H�dT�n�0 ~��C��P���t� �d�a聵�X�*��,/���(�R��d~��Hʧ�����=es8l��hl�¢��J}f�QH}+A{W4ݶ��������CYo����2�(��@ 9�e�$�=�Z@���c�٠Aݜt s$6���3�h=H��}q �KQfL������D,՚kO|���s���q9�HYT��FԶ{�� K]h���Z,��A�.hf�=��D��� h�;���2[3�U� �>�Je?�S�RM[Zu_��������ʫ�j���%P���w�o���E��<�u �F߉M��� ��%��=,.��~8�Խ������&p�o�M"]Qyo���I//a�Վ��~Y�� ��ycl�J�Q .�yXo�Cͫ�g���y�U���y�W�.�� ���zw�»p=Ӷ e�)�{���QIͯ��'�y� ��^�����7��].H��#k��� ����f���k.h�\?�U��}�/��6� endstream endobj 289 0 obj 527 endobj 290 0 obj << /Filter /FlateDecode /Length 289 0 R >> stream H�dSA��0 =w�K�) �.[�/ؖ�.�ta%�߉3���e{��QLi�S�{��d�t\�>,�ࢆ���B�l �X�>��=�:�*(��j�堍�vHz*�> m�ʣ(JP"_�M1R�E���L|?yV���(_N2�YylĪ��LB,^V;��'���� Fg�'�⠊x�T�O�F����:LEZT��&_,S�G���#^�8n4��ǵ��fz�䭌Ӆ� 1��xG�D@pI��V��M9�lt7u�*��D�]�T/�9��0�d�F��S�>�&�ў�\����M�րӘә�T�X��j���}D� �w�O�ֺD��9�v��ϲ|��f9v�ѵ5��|�K%��b�yeEI��ļƫӃ2�.r�rz��P�j6U\�c�M��V�)�ymt�'���{�F62)g�1+\��(�Ԝ?Ô?D\�eb��Uk����IYY��E�����,�Vgmt���Zǻ��]~!��u�ENG��c(������ʟ;8����u�c[8�������6�����-�B�)w endstream endobj 291 0 obj 519 endobj 292 0 obj << /Subtype /Type1C /Filter /FlateDecode /Length 3300 >> stream H�lTkXg�!0D.�BG݌���j�k��Vy�"���7�^��I$�p� � �B� �" ^�X4�X�Ѻu�bkW�>>��t?���?�3���|�9�}�C�6I�Λ��6�/�ٺs��ć%V��α��s�}gX�~�n7�ز-��̄u����罓�Bؐ�5>�ظ���m�"R���P�Tn���-R��2J.�t Ou۠���D��~�Y�� }�E�� ���+I, �E��$� b9A|D��;�3{>�t~�\F� �—�Dl'�0a����@K�.bQB���Oɯm6ش8A�`�v��-�x���UgoglA��4c������V��Ns�ꝰ�>糢���3cg�E���I��[�еY���,��K�_�S2�kaO�����)ԕ�J�U�u*ޏŸ���h,��b���"���U��~�4i�My.ۭ�$�[+l �ٸE�T������̜��buEZC��Pʊ��.y��������Ө����(��$��Hlj0$#�o�=���E�4�]�����Ŋ�٪6�Cϡ�"�m�3�ry Y �a� �QQ�����Q"A *��;#�G:Z�W.]6���a�=< ;|�2�3��`<֡;\�]ƞ��m���'d�w`�� N�1C�7h&ǞC�u \�_�oصuy�*4 �Z��jK*Paa�� ��'R�� i_�x�f���O��#ִ�4���5tM|�ӄ)��o}tCj��`0���+a�گ�2f��$2#�4��+����yi1bY3ߙ������?��XX�t���r%�����v7?����� �a���O����a�����m1H�t$?+���I52f��+p���y��L{��� ������w���w��g���� ���5�L�Z`����~GנfYR^NT2�� g�\,� ���`���