%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 12 0 obj << /S /GoTo /D (Outline0.1) >> endobj 15 0 obj (Introduction) endobj 16 0 obj << /S /GoTo /D (Outline0.2) >> endobj 19 0 obj (The non-assumptive fragment) endobj 20 0 obj << /S /GoTo /D (Outline0.3) >> endobj 23 0 obj (The assumption-based fragment) endobj 24 0 obj << /S /GoTo /D (Outline0.4) >> endobj 27 0 obj (Reduced vs. non-reduced Assumptions) endobj 28 0 obj << /S /GoTo /D (Outline0.5) >> endobj 31 0 obj (Dynamic Validity) endobj 32 0 obj << /S /GoTo /D (Outline0.6) >> endobj 35 0 obj (Conclusions) endobj 36 0 obj << /S /GoTo /D [37 0 R /Fit ] >> endobj 64 0 obj << /Length 1081 /Filter /FlateDecode >> stream xWK5W踮bd U$9=Ug{Zϙd!$֒Z_wݒfFglPМZ7ؐFk -R5Hb1l"$vI3!ϣ*&]?pI S-h* (Sn/W+nUOq^9WWM.NOMm}۹`W 9ܡe u7S{ 0pi,*_a.0]!2^wpHJ]a&X:)ϛpl.$ci8]omOaGYe6 lHl`}з'*'Ώvx~U`(3 UVҩP Vʌbl+*JC,tT洒ڨ.9u|g+p2Ψ0OCı8EVHRI58hA5u}uɥ"`0zv/%&wcQp*aT<9MI 8ጹ8R+t]xov+t.jK:\$xLZ#R Tbd\@EpV?7kǜnTX#A0%VXCx$I<3|9K:D^:W`hvG;Aì45}}٣ک.f-$HW$<ގ8~INysH+K5%]d>Q?pr1;E_O;c4\aT,1_X͢7c*6; ,t39:w|#ٚ委T7%G<|"i5.z%T> %j@1r x m5瘝RɰK%"CuR P oSiF@3ƃdj-@cK%O/Bxi gi$<.L-HT'|ֱ;2Kdo>%谄Lȧ,FgE)9>TRq~YiVEHox\>7\ endstream endobj 37 0 obj << /Type /Page /Contents 64 0 R /Resources 63 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 69 0 R /Annots [ 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R ] >> endobj 39 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (/home/giuseppe/Pictures/high.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 70 0 R /BBox [0 0 605 75] /Resources << /ProcSet [ /PDF /ImageC /Text ] /XObject << /R12 71 0 R /R11 72 0 R /R10 73 0 R /R9 74 0 R /R8 75 0 R >>/Font << /R13 76 0 R/R15 77 0 R>> >> /Length 78 0 R /Filter /FlateDecode >> stream xlKҬߣ$Dϑ S@ep;?pg_2Xq;$u.ץW}_Su߽;?~_u֯ͽ.mWy[-{_ky?fZ7tϓwF~&5x~1{o/Y篟W]n_Z -]|苯v u{L}{/f\O?=7Fx{1yvқ[uәEQߚ3~0 =>~~|9#M1G{3ふC?OVsK{t^Fyuikx~=-}~/Zt'oOfq
Nykg<;>F'Yg0ں<-gu|zhgqgW]<1xGczA}17H1l?Dw/sDsYxVV֚'C--^>6sҞH`Ϋ;e/vpR3Y6k'5_w{8QWK:O{E_&k糝f&4<街ѳ4=<#UǞYQOh%>`K/h?&B]1ԽxٝO8؍,ht;iTy_vgzj>:I>BD~U/7DnadhV^JRif{bpu0xf~|W|xC