%PDF-1.4 % 9 0 obj << /S /GoTo /D (Outline0.1) >> endobj 12 0 obj (Introduction) endobj 13 0 obj << /S /GoTo /D (Outline0.2) >> endobj 16 0 obj (Estimating Memory-Effects) endobj 17 0 obj << /S /GoTo /D (Outline0.3) >> endobj 20 0 obj (Procedural Summary) endobj 21 0 obj << /S /GoTo /D (Outline0.4) >> endobj 24 0 obj (Experiment Results) endobj 25 0 obj << /S /GoTo /D (Outline0.5) >> endobj 28 0 obj (Unsound Decisions) endobj 29 0 obj << /S /GoTo /D (Outline0.6) >> endobj 32 0 obj (Conclusion) endobj 33 0 obj << /S /GoTo /D [34 0 R /Fit ] >> endobj 43 0 obj << /Length 560 /Filter /FlateDecode >> stream xڵSKo1W蕺kPh$*8*]o(z 4T.(ڌ=oEjA$4 ͉ 5<.>}\W[$Rs" gXfz>w+tY.o|f>|.Y^C2&ͅ&ې}Z_#(gB#M(׀.cr! f9o@e56M־OtN:n gRbe,P,qˌcG@4!5h[ vE6~I}W痂>Cq5-@ \mzy)Cy1?KvPq WϺѵ'}+ɮ;YN)# ʹ"F65ЂJ.Y[~N[wOPDpb29Yv|HnoBw}=D -`|! Pe!Vh(0=%4CD)ŖsJ/6FJ_* Vf&9kC%2iWƇ$wc`7fW0G# endstream endobj 34 0 obj << /Type /Page /Contents 43 0 R /Resources 42 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 51 0 R >> endobj 44 0 obj << /D [34 0 R /XYZ 28.346 261.167 null] >> endobj 50 0 obj << /D [34 0 R /XYZ 28.346 0 null] >> endobj 42 0 obj << /Font << /F29 45 0 R /F16 46 0 R /F30 47 0 R /F31 48 0 R /F32 49 0 R >> /ProcSet [ /PDF /Text ] >> endobj 65 0 obj << /Length 1274 /Filter /FlateDecode >> stream xYKs6WH$0^؞nZҴ˩HŤ6|@":ڞ@-.G[Di;P$NP0:G7G{;JkL=ـo.ITȈ0HuLw-%/RĤi.o&JTzcnmcmE*'cJ'R~H:t;̴Vq)妨nc,~u,hT)yi>Ô:2ٮ&L<˯rFb[6 t^e^m ,fz&jN\Ehu<ݺV[;/e),?:1 N%Sb4\*}e8˗4x;h 4=hw˾ ǡAvSП0X aF(* ``suBac?gE1++T63)~9N a@.L"o# '^stO`<,AC VI4\%!lцVB /$/D ,a.x&~AvwhtZsVcE=-:y]s` }`tHK%kh7N]P42>8Pν~ ;4eİP>7j|(|LxYIh23wjJo'Az8;4[Ox)C6Gaq 8C's$O8̒{I42a#B"BEU1R`[) M;/,>1N4B9f!PN U 49M<+fB&b-J`0p&/3RNjH,oڦ\V=U>k[hle((nloWggͶg(ƛlvLjUBWy¤h7w$V%o_ߡýł̽&/0 BdWDFa"QjrPY*Fm {$>Pn. 3tFLxI FMR"<̥>LiDQZ8fqqZB& -kf-ߘ%*Np־y?81{g{oxuponJn X;(ȷ,Er{{xX<[vi/"{諪M>D_?Aj5Bu endstream endobj 64 0 obj << /Type /Page /Contents 65 0 R /Resources 63 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 51 0 R /Annots [ 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R ] >> endobj 35 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 362.835 35.433] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 69 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 69 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 35.4335] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.925 0.8 0.8] /N 1 >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 52 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 5669.291 3.985] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 70 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 70 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 3.9851] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 3 /Domain [0.0 3.9851] /Functions [ << /FunctionType 2 /Domain [0.0 3.9851] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 3.9851] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> ] /Bounds [ 1.99255] /Encode [0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 54 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 8 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 71 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 71 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 55 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 16 16] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 72 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 72 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 53 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 5669.291 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 73 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 73 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 56 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./figures/leak_example.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 74 0 R /BBox [0 0 671 718] /Resources << /ProcSet [ /PDF /Text /ImageB /ImageC /ImageI ] /ColorSpace << /Cs1 75 0 R /Cs2 76 0 R >>/Font << /F2.0 77 0 R/F1.0 78 0 R>> /XObject << /Im6 79 0 R /Im5 80 0 R /Im12 81 0 R /Im3 82 0 R /Im10 83 0 R /Im8 84 0 R /Im1 85 0 R /Im11 86 0 R /Im14 87 0 R /Im9 88 0 R /Im7 89 0 R /Im4 90 0 R /Im2 91 0 R /Im13 92 0 R >>/Shading << /Sh2 93 0 R /Sh3 94 0 R /Sh1 95 0 R >>>> /Length 96 0 R /Filter /FlateDecode >> stream x[MW4jIvR;Ya%Z:}#f؆ůWH?>{e]<{ӛ)k#s28[Oi4Mi&m$cʟkTɘifnrڈSMfHp6fѝ,catMk=S<ӊ}!=;im4wiMlRGmҍt(S}/y{n_} WO
~}u l[:>s:RqK>#6zXK}NN,flB`'ĊnX
ԴkJ:@(ieʇͬ.!vodH0+!r)5M炵ܸ~7~f\
P89K$aZNp)kqQ3ݬwn^"Z(m.Utu@ǔ·$ӵ}7%XNWwCLWwd*h٬wn^3NE <_ &ЭQ}ڭ8 %{` E̸( جwn^Xr{Xr.K{(D!Osnx./$j CZԸ* Vu!:w4f
pbzn>#.8)`]f S@VlVLj1uINj0k&hR w]z 4̺Jl6C(;9zF8ix P
G }. hj'_
ޱobGQpd-Q.P;pu߸V-/
CaNb~AMxR0c11I+?RYkR^9zƥHДk`~Wdb[Z![i`)|ڀYNxRY.Ayi `9,qIu?l8[u36d4o9j4VOUB;Nno;5la~i Ln%@()ܯ40NA^;MnuݤJ7Ybz[6ĮFu a8)9
&J=bÄ}ZͱNrelG+m>khU%
XCˬ[!P
^,d^} ;κ{
37]~*V Vj^9;nl; <0olre^[rϷ?x?TlQUhyLb@(*s7v*#* UXXeJֳʬĝ̋2 #T +;B Ҁ4C$3QWrDiMR%P=wTuCQ.*gW