%PDF-1.7
%
1 0 obj
<>
endobj
2 0 obj
<>stream
2015-11-03T08:43:59-08:00
2015-11-03T08:43:59-08:00
2015-11-03T08:43:59-08:00
Appligent AppendPDF Pro 5.5
uuid:a2e06ec9-a162-11b2-0a00-782dad000000
uuid:a2e09572-a162-11b2-0a00-e0898db4ff7f
application/pdf
An Intraoperative Glucose Control Benchmark for Formal Verification
Prince 9.0 rev 5 (www.princexml.com)
AppendPDF Pro 5.5 Linux Kernel 2.6 64bit Oct 2 2014 Library 10.1.0
endstream
endobj
5 0 obj
<>
endobj
3 0 obj
<>
endobj
8 0 obj
<>/MediaBox[0 0 612 792]/Parent 3 0 R/Resources<>/ProcSet[/PDF/Text/ImageC]/XObject<>>>/Type/Page>>
endobj
9 0 obj
<>/MediaBox[0 0 612 792]/Parent 3 0 R/Resources<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
10 0 obj
<>
endobj
11 0 obj
<>
endobj
12 0 obj
<>
endobj
13 0 obj
<>
endobj
14 0 obj
<>
endobj
15 0 obj
<>
endobj
16 0 obj
<>
endobj
48 0 obj
<>stream
x+4Sp
Mb
endstream
endobj
49 0 obj
<>>>
endobj
50 0 obj
[/PDF/ImageB/ImageC/ImageI/Text]
endobj
51 0 obj
<>>>/Subtype/Form/Type/XObject>>stream
x+4Sp
Mb
endstream
endobj
52 0 obj
[/PDF/ImageB/ImageC/ImageI/Text]
endobj
53 0 obj
<>/ProcSet[/PDF/Text]/XObject<>>>/Subtype/Form/Type/XObject>>stream
xڅQn0+h865cRJJַX8K_`Is*KٙJPGA1Ȉq " Pv䋰N}cqYS' u:W_[NM@(@@rDǠ*2bco*zg/H+g 5I-[(K}qzڛsSָQ>4K1ڔE0S753Jm[3S= e
endstream
endobj
55 0 obj
<>/Font<>/ProcSet[/PDF/Text]>>/Subtype/Form/Type/XObject>>stream
xOq)>c^_RDQ! yZ3
W_'dͰ=omʪߟ++OsC}ù}s=חY?n}=}
ztvo]מ־]x}_~jog ZuqJWޮ]ӛ?o{tAHousomU!~nU{ڿm~|H9_?ڷI[U#)&*vRW?Q)流@};)G歩W&߽+Kg65Yc;ꭹM-rnF42ߌdO2Օ:rΩcSo.J4L
&l0O.wck2oRGa}hKFuj~?
N
\TT"KW \]o5'}UV_ݻG:ߦ&k*Coӣm;SηUN9ߦ8߆88{]2D[.T[jVZTM4?[udՖ#ϕV)WrUצ^m}}n or,.]Yo ~4St%r7okQJ,dnN\G]U9N#A"H7ݏKE7_U1v۵r[RK}whIGOֹo7σs'RsO$ِLC熩3e MBZƄ&els-_NhlՆˮ>TG߮W[SOHeT{B+'hL봌J#TelVfl}T=53-QI>%욷r*Zi: uimId9]ĖwGv,kJ*ŪRJ]ZJW -T@Vo]VwUTpUۢ*b&lq,jWm{kG'es%KʚpˊuYvp˂u+?\D53&E%=O6&Gٺv:x#OM;KOHomO^Q4h,3W;Ki7j+3-'@kpvD#`}Ya;R<m'D5v-.W#֚Z,V+S'lԱWn*l۾o1iHh0hG)iUNH=xٺԤsZdP6;!ӇEe[ȕSwzZks`YŹ\k^Hr2WƅG,kY
*u,kYGHHl)VDԷ)͞Ju/6TYNv!zw.dmՎsj..T߮]TS]zqE^b)1V%`MLӍf-.1ݠ"#%S6HYNǐgj?a\ŷ:ETT-ze$+vS,\[GEp\6ltsw]Cv,$bW~:i>ASDV
!VQU^~Zյ lsua#[1X_ \{>_=to~qc40r)בj[c4ՊYwhgg 6|vt9KȅtgH&nGWC4OI
(0iII3۲,
Z\hdqK){?զ"eQ`Q
,nd^GqF%%*e\'fl:XԼuJpR7|zF}G?KcSӹQTzrQj-_mI5`muUVp
aq5-͍UM.7C3Z&qt]ـqي88&=+rGkAe+=lhH#m7e忦_1n S_UYELe5f
p>
U+I+@l K))-Ř|Jԝ㲣6\Y\qΐW&±>P3B&-Ɯ_AcyQTwyS9L^s95,>k|먂cخ̹7uWlj1e-ݝJK"faeihDLc`x
L~eM}^^Β-71"~Wˉj}
hP$эE^\xLiMRR&UŁeCB*7z؆?EtptnЦ_#j
0G+3anIvtMWB^qќE9FR%ԳU*h-Ty28SZm74}nب$CjeSGTKen]QNYIפ=}h
$]6ٖ݅\+*#SKIzF
JQke S&Mn%?UCP2_5nB3rwL;˖5ߒQ{vOެkڝ.]Ѡgj^槶VSn\I(vlyC氧oVT%#{_]"QsvӦv~DjM(~l FXmEVO=זY˪bQ^!T|qlfUQ;Afj橶0a()N/ɿBsRbYO7q&JE~:JJfLT}TRtOӆz}sþ2Dz+.{QKIN4l.5(CJj'ȇ,R;֤T{