3 << /S /GoTo /D (section.0.1) >>
9 << /S /GoTo /D (section.0.2) >>
15 << /S /GoTo /D (section.0.3) >>
21 << /S /GoTo /D (section.0.4) >>
24 (Expressing Collateral Evolutions as a Semantic Patch)
27 << /S /GoTo /D (subsection.0.4.1) >>
33 << /S /GoTo /D (subsection.0.4.2) >>
36 (Metavariables, part 1)
39 << /S /GoTo /D (subsection.0.4.3) >>
42 (Metavariables, part 2)
45 << /S /GoTo /D (subsection.0.4.4) >>
51 << /S /GoTo /D (subsection.0.4.5) >>
57 << /S /GoTo /D (subsection.0.4.6) >>
63 << /S /GoTo /D (subsection.0.4.7) >>
69 << /S /GoTo /D (subsection.0.4.8) >>
75 << /S /GoTo /D (section.0.5) >>
81 << /S /GoTo /D (section.0.6) >>
87 << /S /GoTo /D (section*.2) >>
93 << /S /GoTo /D (section.A) >>
99 << /S /GoTo /D [70 0 R /Fit ] >>
106 xÚ
\19ÉrÛ8öî¯Ð
\91ª²
\18\ 2$
\b²O
\9d8K%í8
\99Ø]SS=}
\80%Jf
\87\8bCR^þ¾ß
\ 6\8aRè
\9eËTªb
\10ïáí
\e µ
\88à
\9fZ¨(
³4×
\v\9bÅ¡¶yºX×gÑb
\aÀ
\ fgJ
\90V#Öj
\8aöææìÕ{£
\17yhÒD-n¶
\vmM
\18¥y¶°9 %Z/n6
\7f\ 4ï¾-ã(¸øøy¹
\8aM
\12è(Z®T
\90.ÿ¼ùtöîfäb"
\15Æ
\19\1eþ'QF¬
\9fEI£
\85\8eÂ4Õ
\ 6eQF
\876×éÂj
\13¦Fç$Ëuýõò
\17\90#ÒÁkþóv©
\82¶v%üiV×÷Ë
\95N
\83b
\8d\12âÖ
\7f#
\95àzÍÈ
\97®
\81ÍÝÞáÿ
\ 5j°HÂX[
\10L«0W6#.Û
\16à
\1d\1fñ$
\89J¹
\ 5ÀsÙì
\10¦
\82\vÄ«*¤6
\10Bç*
\86¼{X¡¶
\ 2È~(
\11é
\99\1dxBY}̯løÔ%,àØþ
\89?ß
\16\ fåº
\105»
\12HZ
\96£#Z¯ÞÇÙB
\81üIªÑb+
\9b\86ÆÀzeÒ0²
\86-ö
\9fe¦
\83Ö5È
\ 2h
\7fE"(ð¦l«Âí
\99P
\ 6A
\90§`l4|dÂ<VfaB
\1d¥
\8a\88¸9~&Lln
\80Û
\ 1ï|¹JM
\1c|ÚW¥c~
\97À*Ä¥
\ 5ã/u
\16<
\92