%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Pages 3 0 R
/Type /Catalog
>>
endobj
4 0 obj
<<
/CreationDate (D:20170417192311+03'00')
/Creator (TeX)
/ModDate (D:20170503092716+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016\) kpathsea version 6.2.2)
/Producer (pdfTeX-1.40.17)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3379
/Subtype /XML
/Type /Metadata
>>
stream
2017-04-17T19:23:11+03:00
TeX
2017-05-03T09:27:16+01:00
2017-05-03T09:27:16+01:00
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
pdfTeX-1.40.17
False
uuid:fe7de6e7-2e56-4167-9466-c09d02c82350
uuid:dad4d7b5-bd45-4027-b2b0-46a7bfa8eee0
application/pdf
endstream
endobj
3 0 obj
<<
/Count 13
/Kids [5 0 R 6 0 R]
/Type /Pages
>>
endobj
5 0 obj
<<
/Count 7
/Kids [7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R]
/Parent 3 0 R
/Type /Pages
>>
endobj
6 0 obj
<<
/Count 6
/Kids [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R]
/Parent 3 0 R
/Type /Pages
>>
endobj
7 0 obj
<<
/Contents 20 0 R
/Type /Page
/Resources <<
/Font <<
/F1 21 0 R
/F2 22 0 R
/F3 23 0 R
/F4 24 0 R
>>
/XObject <<
/Xf1 25 0 R
>>
>>
/Annots [26 0 R 27 0 R 28 0 R]
/Parent 5 0 R
/MediaBox [0 0 595 842]
>>
endobj
8 0 obj
<<
/Contents [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 37 0 R
/Rotate 0
/Type /Page
>>
endobj
9 0 obj
<<
/Contents 38 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 39 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/Contents 40 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 41 0 R
/Rotate 0
/Type /Page
>>
endobj
11 0 obj
<<
/Contents 42 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 43 0 R
/Rotate 0
/Type /Page
>>
endobj
12 0 obj
<<
/Contents 44 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 45 0 R
/Rotate 0
/Type /Page
>>
endobj
13 0 obj
<<
/Contents 46 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 5 0 R
/Resources 47 0 R
/Rotate 0
/Type /Page
>>
endobj
14 0 obj
<<
/Contents 48 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 49 0 R
/Rotate 0
/Type /Page
>>
endobj
15 0 obj
<<
/Contents 50 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 51 0 R
/Rotate 0
/Type /Page
>>
endobj
16 0 obj
<<
/Contents 52 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 53 0 R
/Rotate 0
/Type /Page
>>
endobj
17 0 obj
<<
/Contents 54 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 55 0 R
/Rotate 0
/Type /Page
>>
endobj
18 0 obj
<<
/Contents 56 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 57 0 R
/Rotate 0
/Type /Page
>>
endobj
19 0 obj
<<
/Contents 58 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 59 0 R
/Rotate 0
/Type /Page
>>
endobj
20 0 obj
<<
/Length 1974
/Filter /FlateDecode
>>
stream
xX[oFJCm+UHJlsM)11 !'쬁93c{HU3̙|;|$QE:HZ#O~c"FE'h[:9a0XUdjjj5n#}py$59vګ
ozWՃI~RGd{\.&ނε8!sg\goV.tQgjebڋw<<H.vw使^б=rV|G{{*ۭL4uw7fTC/uԢndXU^`W'XCrog38*8cMDGBIQ ILha^hOX/玳<_C14*FG}l6qu ]ƝӍOv]rOOO9{[JMjJ= {I2p>]t f[B%V'lׇw~pSzVT4 m5,!,Aw Yo[bobbO`c/3)W+B .|Ȁ
%C!;ʕVIZS^*2Vrw7ʷ*(}_J[)ceCst9QΔ.OpvdC bv{8gOj?GAMM'j̀e}4H`i7pu}azЩ>ڂOoCtX+ .K£6&LqdsZ6:`p4
oDO"s#Ĥ
-::EpsOx3BkZoޓ0\qtc?)K0vAI8t'<&4DČؓ _:Ab{c"EFtgxs
xf3xN`Fz%K#,&Bjb@chu HbI{)M=ITY[99#e%)(܂&qP3#>wɢ@'^b{c$k/9lW۶?1R51"r;SK[_-붐iVMJh>4'jB?ds*}/\v84m@C*0-PVO:DM%Mc-=he`]I8o912%Y&/^#8̽>rmLOzsHr4^Dy2dvҘRHs}KHOa\O:*ȌO,:"hOPL.iHBƤLUg!0`ox6N_>Cvޤ*>+5'Gȵ8ˈG͡@]"I^`Pt;eqێJ.WZq;?y&XyA+QT$`b?S!X21-cE`bX"]A4l`[
̐Q"y+`ÊȂNA}gτumiT՛&וtafI}%3)ٜ ޖ;Q1/-O(JqA'l:nLxU|
.U{p>
endobj
22 0 obj
<<
/Subtype /Type1
/Type /Font
/BaseFont /Helvetica
/Encoding /WinAnsiEncoding
>>
endobj
23 0 obj
<<
/Subtype /Type1
/Type /Font
/BaseFont /Helvetica-Oblique
/Encoding /WinAnsiEncoding
>>
endobj
24 0 obj
<<
/Subtype /Type0
/Type /Font
/BaseFont /BWUFUY+LiberationSans
/Encoding /Identity-H
/DescendantFonts [60 0 R]
/ToUnicode 61 0 R
>>
endobj
25 0 obj
<<
/Length 178
/Subtype /Form
/Filter /FlateDecode
/Type /XObject
/Matrix [1 0 0 1 0 0]
/FormType 1
/Resources <<
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Image5 62 0 R
>>
/Font <<
/F1 63 0 R
>>
>>
/BBox [0 0 595.32 841.92]
>>
stream
xm
0F@uIzFJA*lCmŷ7gp\?\!9[_3Ji96hf]?ܒ,ŝ3"+-ʙ,k4'6R0-g0 4;̞) S!-2ߒMHS4N
endstream
endobj
26 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1109/LICS.2017.8005109)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 595 184.87 605]
>>
endobj
27 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1109/LICS.2017.8005109)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 470 248.24 480]
>>
endobj
28 0 obj
<<
/A <<
/S /URI
/URI (https://birmingham.elsevierpure.com/en/publications/a3ebe16a-62b4-489e-b55d-6c38635dd17a)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 410 291.54 420]
>>
endobj
29 0 obj
<<
/Length 751
/Filter /FlateDecode
>>
stream
HUKo0WHɱ- ZRqܬw($
yƏro8ZG8p_ث2T̢*"@% ^De5LR1\tak?Zwf׆NTJiO=̋±eRF+GL(dr T
Llρv^o$4Y49x܅T7*ysgPpv,d(sJ!ˀvk~c Y8eJ 0`@!P(
ԍ͡AXNgVAW:Jws IrJ}%r J\zjcLʆ9-YEy晳˧~d5L'ApKHީnHo*!qkpa>
69ѕ?Fh
.Tn$uqn GqF52*v]z'|vw ܠ*`;Bjm5bziF?ֲ`bZU>`SvC9&A
e[o7Kբ
{v'fNojg9,(6