Authorea

Camil Demetrescu over 8 years ago

Commit id: 116ca0c38274cafd7b9ea919fe6da5e540233a43

deletions | additions

\label{fi:overview-osr-open} Functions of \ifauthorea{Figure~}{}\ref{fig:osr-dynamics} instrumented for open OSR.

%!PS-Adobe-3.0 EPSF-3.0 %%Creator: cairo 1.14.0 (http://cairographics.org) %%CreationDate: Wed Sep 9 15:40:37 2015 %%Pages: 1 %%DocumentData: Clean7Bit %%LanguageLevel: 2 %%BoundingBox: 0 -1 270 102 %%EndComments %%BeginProlog save 50 dict begin /q { gsave } bind def /Q { grestore } bind def /cm { 6 array astore concat } bind def /w { setlinewidth } bind def /J { setlinecap } bind def /j { setlinejoin } bind def /M { setmiterlimit } bind def /d { setdash } bind def /m { moveto } bind def /l { lineto } bind def /c { curveto } bind def /h { closepath } bind def /re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto 0 exch rlineto 0 rlineto closepath } bind def /S { stroke } bind def /f { fill } bind def /f* { eofill } bind def /n { newpath } bind def /W { clip } bind def /W* { eoclip } bind def /BT { } bind def /ET { } bind def /pdfmark where { pop globaldict /?pdfmark /exec load put } { globaldict begin /?pdfmark /pop load def /pdfmark /cleartomark load def end } ifelse /BDC { mark 3 1 roll /BDC pdfmark } bind def /EMC { mark /EMC pdfmark } bind def /cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def /Tj { show currentpoint cairo_store_point } bind def /TJ { { dup type /stringtype eq { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse } forall currentpoint cairo_store_point } bind def /cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def /Tf { pop /cairo_font exch def /cairo_font_matrix where { pop cairo_selectfont } if } bind def /Td { matrix translate cairo_font_matrix matrix concatmatrix dup /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def /Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def /g { setgray } bind def /rg { setrgbcolor } bind def /d1 { setcachedevice } bind def %%EndProlog %%BeginSetup %%BeginResource: font BitstreamVeraSerif-Roman 11 dict begin /FontType 42 def /FontName /BitstreamVeraSerif-Roman def /PaintType 0 def /FontMatrix [ 1 0 0 1 0 0 ] def /FontBBox [ 0 0 0 0 ] def /Encoding 256 array def 0 1 255 { Encoding exch /.notdef put } for Encoding 32 /space put Encoding 39 /quotesingle put Encoding 40 /parenleft put Encoding 41 /parenright put Encoding 58 /colon put Encoding 65 /A put Encoding 66 /B put Encoding 76 /L put Encoding 79 /O put Encoding 82 /R put Encoding 83 /S put Encoding 84 /T put Encoding 95 /underscore put Encoding 97 /a put Encoding 99 /c put Encoding 100 /d put Encoding 101 /e put Encoding 102 /f put Encoding 103 /g put Encoding 105 /i put Encoding 108 /l put Encoding 109 /m put Encoding 110 /n put Encoding 111 /o put Encoding 112 /p put Encoding 114 /r put Encoding 115 /s put Encoding 116 /t put Encoding 117 /u put Encoding 118 /v put Encoding 123 /braceleft put Encoding 125 /braceright put /CharStrings 33 dict dup begin /.notdef 0 def /T 1 def /space 2 def /f 3 def /O 4 def /S 5 def /R 6 def /r 7 def /o 8 def /m 9 def /parenleft 10 def /p 11 def /a 12 def /parenright 13 def /braceleft 14 def /A 15 def /i 16 def /s 17 def /underscore 18 def /c 19 def /n 20 def /d 21 def /e 22 def /t 23 def /u 24 def /quotesingle 25 def /l 26 def /v 27 def /B 28 def /braceright 29 def /g 30 def /L 31 def /colon 32 def end readonly def /sfnts [ <000100000009008000030010637674208f33abf400001764000001946670676de780f1c40000 18f80000008b676c796626fc7df60000009c000016c868656164dd7b15c60000198400000036 6868656110450784000019bc00000024686d747894d50cdc000019e0000000846c6f63616096 659000001a64000000446d6178700452063b00001aa80000002070726570757906f600001ac8 0000055e00020066fe96046605a400030007001a400c04c70006c70108055d0204002fc4d4ec 310010d4ecd4ec301311211125211121660400fc73031bfce5fe96070ef8f272062900010014 0000054205d5000f007b401b09050b036f07620d016f000a0f08040f060e24080c1100240602 1010d4c4e4fcc4e410ee10ee31002fee32f4fe3cc43230014bb0095458bd0010004000010010 0010ffc03811373859b21f11015d014bb00b544bb00c545b58bd0010ffc00001001000100040 3811373859400b2f1160118f11a011bf11055d213533112115231121112335211133150187bf fe497b052e7bfe49bf6a04f4e90160fea0e9fb0c6a0000000001004a000003710614001c0071 4026071600120a7a08001c048f1971100c7a14089c0e090d012d000d0b07270036130f2c1511 301d10f43ce432e4fc3cc410ee113931002fee32ee32feeed6c610ee3212393930b28f1e0101 5d014bb0155458bd001dffc00001001d001d00403811373859b760006001023f1e015d005d01 232e012322061d01211521113315213533112335333534363332161703716101534f67540129 fed7ecfdacb0b0b0b9b343864205194b4e7191896bfcae6a6a03526b85b2b618190000020073 ffe3061d05f0000b0020002c4012006e0c066e18690c6021030e1b090e12252110f4ecd4ec31 0010e4f4ec10ee30b65f226f22a02203015d2532121110022322021110121722262726023534 12373e01332000111402070e010348f5fafaf5f6fafaf698ff61706d6d7062fc9a014501906e 7062fc4e0151014a014b0151feaffeb5feb6feaf6b646170011cb5b5011d706263fe56fea3b3 fee16f6263000000000100acffe304e505f00029012740422322022421100b0c0b1e1f021d20 100c0c0b4d0b0c20210416017f0064056e27167f15641a6e126927602a200b0c211d08170f15 020f0008291507241d29000f022a10f4c4ecd4e4ec10ee10ee111239393939310010e4f4ecfc ec10eefeee111739304b535807100eed11173907100eed1117395922b2102b01015d400b202b 302b502b702b802b055d014bb012544bb013545b4bb014545b58bd002a00400001002a002aff c038113738594074280a290b290c290d291f2920292129223809390a3a0b3a0c3a0d390e391e 3a1f3a203a2139223823490a490b4a0c490d481f492049214922590a590b590c590d59205921 59226a096c0a6c0b6c0c6b0d6b1f6c206c216c2269237b0a7b0b7b0c7b0d790e7b1f7b207b21 7b22792337a02bb02b025d005d3711171e013332363534262f012e013534243332161711232e 012322061514161f011e01151404212226be7305bbbfb2bb71b6c5d6af010ef468f88c7111b1 b59ea57cc9b9cbadfeeafeed7bff48015401aaa38d876c74373b41c2a9bed22d2bfec29e8d81 7b6b7a3c373dbd9fd9dc32000000000200710000063705d5001b0024008840480b0a09030c08 1003040307100404034d0804001c03041c6f0b8323136f1562110d046f0f060719231d0b0804 200e040503191600200e0605190e240c200e191410241c0c1112212510f4ec32e432d4ec10e4 10c0c0111239391139123911121739113931002f3cee3232f6ee32feee123912391239304b53 58071005ed071005ed1117395922011616171333152103262623231133152135331123352132 1615140625213236353426232103d5466528d9b6fea0e9437062dfd3fda4bebe02f5daedadfd 7a012797909097fed902e5135b52fe456a01db8a51fdb46a6a05006bd0bf9ab1268f96968e00 0001004a000003d304440018009540220809130501000f7a110005168c0d097a119c0b0a0802 2d00102c1208270c2c0e301910f4e4ec32e4d4ec10c431002feeee32fec6c610ee10c6113911 3930403810001001100210031004100510151016101710182f1a400040014002400340044005 441540164017401815000100021001100220012002065d015d014bb0155458bd0019ffc00001 00190019004038113738590111232e012322061511331521353311233521153e0133321603d3 6a054e4b8891d5fdcda6b0016836aa7a2d630429fef64f4ebcb0fe1a6a6a035469bd6f6b0e00 00020066ffe3046a0444000b0017002b4013008f0c068f128c0c6018031a1544091a0f2a1810 f4ecf4ec310010e4fcec10ee30b420196f1902015d2532363534262322061514161722003534 0033320015140002689497979494979893e8fee60119e9e90119fee746eae4e4e9e9e4e4ea63 0133fefe0132fecefefefecd00000001004a0000075e0444003000a94041201a130d04062b00 03071d108503277a299c252118140b05077a2e038c2316090019130a3d0c222c20082c0c2706 3f173d1927152c133f282c2a2027242c26303110f4e4ec32e4f4e4fce4f4ece410e410e41112 3931002f3c3cee32ee1732feee10ee32111739173930400b3f325f326f329032b03205015d01 4bb0155458bd0031ffc00001003100310040381137385940132f0a2f0b2f172f18cf0acf0bcf 17cf18c032095d013e0133321615113315213533113426232206151133152135331134262322 061511331521353311233521153e01333216042535a56ea7a4a6fe02a0606f7b81a0fe08a060 6f7b81a0fe02a6b00168339e647ca603587577cfd1fdc66a6a0225a38abab2fe1a6a6a022c9f 87bab2fe1a6a6a035469bd6a707b000100a2fec1028d0614000d001c400d070d0006710e0600 0a1103020e10f4fcc432310010fccc3939300126021110123715060211101217028df3f8f8f3 9a86869afec16d01d90163016401d96d626afe7ffea3fea4fe7f6a0000000002003bfe5604b8 0444000c00230055402c0100111d030d04941a0d7a0f221e7a200a94148c1a6020820f9c241f 2c00071a1735210e2c1d1000270d302410f4ec3232e432f4ec10e4310010ecece4fcec10ee32 10ee10ee1117393930b47f25b02502015d0115141633323635342623220627233521153e0133 32121514022322262711331521353301a4938c8d91918d8c93b8b1016936a77bc4f8f8c47ba7 36aefde9b1024869c0c9e2dcdde0cab56ba6645ffecafafafec95f64fe1b6b6b00020066ffe3 048b0444000a0028007e402f1b210b1900100c017a1993088f13218e238d1e8f268c13600c7a 0e02190500212d220d2c1a0f00270b051a22162a2910f4c4ecd4ec3232e410ee111239393100 2feee4feeef6e610eef6ee11393911391239304024102a6f2a7828c02a047a28c001c002c003 c404c405c406c415c416c417c018c019c01a0d5d015d01352322061514163332361311331521 350e0123222635343633213534262322060723353e01333216032fed89868874738db8a4fea4 3da06bb1d0eed9010293856e82105f60b556dde7014ee1767a6f828e01bcfdd26a734a46bca0 a5b64979856462d72929db00000000010091fec1027d0614000d001b400c07010008710e0b11 0700040e10d4c432ec310010fccc3939301335361211100227351612111002919a87879af4f8 f8fec1626a0181015c015d01816a626dfe27fe9cfe9dfe27000000010100feb2041706140024 005e4030190f150b0621091a10150b0520211d09730b00730115731371210a090c0325052416 00130215140100192019270f052510d43cec3210c0c0c0c0c0c01239391112173931002ffcec d4ecd4ec39113939111239391112391112393930051523222635113426232335333236351134 3633331523220615111406071616151114163304173ef9a96c8e3d3d8e6ca9f93e448d566482 8462568de56994dd010296746974960102dd9368588dfee19e881e22869dfee18d5800000002 fff4000005db05d50002001200a24051006405060502640102060605121102106406050f6405 060502100002070807011008070e1008070b0c020d100808074d02060e6f00100c0803046f06 620a0311100f0e0d0b080706050201000d1309031310d4cc11173931002f3ce4ec1732d4ec12 39304b5358071005ed17320705ed0705ed071008ed071005ed0705ed1732071008ed071005ed 5922b2281201015d400d28052806280d280e2c112b12065d0121090135330133013315213533 0321033315019a0224feeefd48830214a8021593fde1a67dfd8c7da4021d02c6fb1d6a056bfa 956a6a0148feb86a00000002004a0000026005e3000b0015004940170309127a149c100c7a0e 0003060d2c0c27130f2c11301610f4e432fce4d4ec31002fec32fcecd4cc30b28f1701015d01 4bb0155458bd0016ffc000010016001600403811373859133436333216151406232226133315 21353311233521c7432f2e43422f2f43ebaefdeab0b0016805712e44442e2f4242fb286a6a03 526b00010073ffe303b20444002900d9404123220224213e0c0b1e1f021d203e0b0c0b4d0b0c 2021041601a100a0058f2716a115a01a8f128c27602a200b0c211d08172d151d3e0f08271546 24022d0f00452a10f4c4ecd4e4ec10ee10ee111239393939310010e4fcecf4ec10eef6ee1117 39304b535807100eed111739070eed1117395922b2202b01015d4058271f2720272127222723 5a0a5a0b5a0c5a0d5a1f5a205a215a225823861f8620862186228623961f9620962196229623 a61fa620a621a622a6231d402b7f2baf14af15af16af17af18af19bf14bf15bf16bf17bf18bf 190e5d005d3735331e013332363534262f012e013534363332161715232e012322061514161f 011e01151406232226736a048d8a7c825f9985897bd6bd54ba636a04887574775a87929785e7 cb67c43bf877765d594656312d2c846692a62c2ae86774525243512a2d2f8d6f97ad2c000000 00010000fe1d0400fe6d0003000fb50086010400022fcc310010d4ec30011521350400fc00fe 6d505000000000010066ffe3041d0444001a0035401a0099178f030d970c95118f098c03601b 0e2d0c1a00141a062a1b10f4ecd4ccd4ec310010e4fcecfcec10fee430b26f1c01015d010e01 2322003534003332161711232e0123220615141633323637041d27deb0e8fee6011ae865c865 6b158d8395989796778e1a013faab20133feff01312f30fef08c80e7e6e6e87c7d0000000001 004a000004ee0444001d0070402e070d141a04030117850a037a059c1b120e03017a0a8c1000 113d131c2c060f2c13270d3a042c1a0627002c02301e10f4e4ec32e4f4ece410e410e431002f 3ceeee1732fcee10ee1112173930b62f1f7f1fb01f03015d014bb0155458bd001effc0000100 1e001e0040381137385933353311233521153e01333216151133152135331134262322061511 331554a6b0016833a36cb0a6a4fe049f60798086a06a03526bbd6c6ecad6fdc66a6a0200c391 bbb3fe1a6a00000000020066ffe304e3061400140021004f402616041015030019940d1f9407 117a1371007a07600d8c02122c15100327012c00351c1a0a2a2210f4ecf4e4fc3c3ce431002f ece4ecfcec10ee10ee11173939304009002310237f23b02304015d25331521350e0123220235 34123332161711233521033534262322061514163332360433b0fe9836a77bc4f9f8c57ba736 ae0166b8938c8e91918e8c936a6aa6645f0137fafa01365f6402296afbcb69bfcae0dddce2c9 000000020066ffe3045604440014001b004e401e0208157a000899058f0c188f009b128c0c60 1c0809151a001b011a0f2a1c10f4ec32d4ecd4cc310010e4fcecec10fee410ee123930401220 1d401d7f1d03cf00cf01cf02cf15cf1b055d015d012115141633323637330e01232200353400 333200072e01232206070456fce7a29e799b1f942cedc1e9fee50116e2f10102d40691887f92 10020008d7db7f7dafb00133fefc0134fed7b1babdbeb90000000001003bffe3032705710017 0068401d170a00100d8f140408007a06029c146018071011012c09052703002f1810f43cec32 e4d4cc39310010e4fc3cec32c410fec411393930014bb00d5458bd00180040000100180018ff c0381137385940150507050815071508260726082f197f198f199f190a5d1323353311331121 152111141633323637330e0123222635dda2a2b9015afea634464842028b088e919f8403bc6b 014afeb66bfd5d874c555f91868da90000010037ffe304db04270019007540221711060c0d14 028509180d7a0f009c096004002c170527032c013a0e2c10270c2f1a10f4ece4f4e4fc3ce431 002fe4fc3cec3210ee32113939393930014bb00b5458bd001a00400001001a001affc0381137 3859b47f1bb01b025d014bb0155458bd001affc00001001a001a004038113738590121113315 21350e01232226351123352111141633323635112302d50158aefe9a33a26bb1a7a6015f5f7a 8086a00427fc436abc6a6fc9d702396bfd95c290bcb301e30000000100c903aa016805d50003 0011b60100620400020410d4cc310010f4cc300111231101689f05d5fdd5022b0001003b0000 02520614000900404012067a087104007a02012c002707032c05300a10f4e432fce431002fec 32fcec30b28f0b01015d014bb0155458bd000affc00001000a000a0040381137385925331521 35331123352101a4aefde9b1b101696a6a6a05406a000001fffa0000047f0427000e00b84039 0a0902089f0d0e0d079f06070e0e0d073e0807000100040502063e0101004d07000c08050301 7a0a039c000e0d09080706040100090f0b020f10d4cc11173931002ffc3cec17321139304b53 58071005ed1732071008ed071008ed071005ed17325922b2080a01015d404806071607270720 0753076307760707080808091b041b051509150a25002a042a052a092a0a2a0e380030104800 470d470e5700580e6700680e76047605770678087809780a780d1c5d005d2101233521152309 0123352115230101fafe797901e9aa012b012b9f018f77fe7903bc6b6bfd2502db6b6bfc4400 000300710000056405d5000800110024004540271e076f0915106f176213006f097e12100a07 01181e2405000d0e1b040e2116122409001114212510f4ec32e432d4ecd4ec11173939393100 2fecec32f4ec3210ee3930252132363534262321353332363534262323013533112335213216 1514060716161514042101fa012bb4a6a5b5fed5fea49797a4fefe77bebe02e1e2e59f99bec5 fee8fed76a9caaa99b6a7e88897dfa966a05006bb9b8859e1218c3a4ded2000000010100feb2 041706140024005b402f0c16190f1f04081b150b190f0520041b73190073230f731171041c19 1a15100f0100042504081b1a151f15270b042510d43cec3210c0c0c011121739111239393100 2ffcecd4ecd4ec11393911123939113912391112393930053332363511343637262635113426 232335333216151114163333152322061511140623230100468c5562838263558c463ff9a76c 8e3e3e8e6ca7f93fe5578e011f9d86221e889e011f8e576893ddfefe9674697496fefedd9400 00020066fe3904e30444001f002c006640332c000f0113101c200329007a1d299413089e070c 8f042394198c1360049d1d9c2d092d071e2c201c0f270035261a0737162a2d10f4e4ecf4ec32 32e410ee310010ecece4fcec10eedee610ee10ee1117391239391239304009002e102e7f2eb0 2e04015d011114062322262735331e013332363d010e01232202353412333216173521150134 26232206151416333236350433fce969c0586012867da29736a77bc4f9f8c57ba7360168fe98 938c8e91918e8c9303bcfc5be5f92626df6860b7c48f645f0137fafa01365f64a66bfe8cbfca e0dddce2c9c00000000100710000051f05d5000d0030401a0b0907036f05620980016f000624 080a0f0c040024081102210e10f4ece432d4ec10e431002feeeef6ee3210c430333533112335 211523112135331171bebe0247be02aa7b6a05006b6bfb11fafe8b00000200d5ffe301df0379 000b0017001f400f03610915610f0960181206000c001810d43cec32310010e4d4ec10ee3037 3436333216151406232226113436333216151406232226d54d38384d4c39394c4d38394c4c39 384d68384e4e38384d4d02c4384d4c39394c4d000000010a0073000200b800cb00cb00d30002 004c006a0071008700a0000200e5007b00cb00cb00c1040804080408000200d9050200b800d3 00b80129006a000200020002012f0000000200be0073003300b800e500cb0066000200a00062 0002000200fa03cd03cd03cd039a03cd027700020350039a03500000000200a000b8033b0404 03cd040403cd04040066000200cb003d00ba00aa0066000205cd00960000005200d700d70042 0073004a00bc00d9018300a401d5007d008d007304000000001d010a05d5006a006a006205d5 05d505d505f0005c00020002006a006a006a05d5061400a0006a010a00bc00cb00a40002006a 006a01290152036003660158007b000201aa0348006a0085006a046004600427042704270444 006a00020062000200020002027b0073006a00020002000200cd025c0229042701aa005c006a 006a00cd00a000aa003d05cd006600d7004800d700020066000203e900a0030c0000001905c1 004a074a060c0106077d00540002007b0333019a061d0060007d0354006a004e0002008d004e 01d7007300001400b6060504030201002c2010b002254964b040515820c859212d2cb0022549 64b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b0559b0051cb0032508 b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b505820b0c9 454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c45442d0000010000 0002000007817f1c5f0f3cf5001f080000000000bab24b8d00000000bac07fb2fe89fe1d0a4c 076d00000008000100000000000000010000076dfe1d00000abcfe89fe890a4c000100000000 00000000000000000000002104cd006605560014028b000002f6004a068f0073057b00ac0606 007103d3004a04d100660796004a031f00a2051f003b04c50066031f00910517010005c7fff4 028f004a041b007304000000047b00660527004a051f006604bc00660337003b052700370233 00c9028f003b0485fffa05e1007105170100051f00660550007102b200d500000022007c007c 00e001320206028402f6033603ce03fc045c04d80504056805e0062806d206e80730079407f0 084808a20906091c095009ca0a260a880afe0b2e0b6400010000002100550007004500040002 0010004000070000040b055e00030001b8028040e0c7fe03c61303c5c42405c56403c54004c4 2403c30d03c2c12705c26403c12703c05d03bf7d03bc0b03bb0b03bab91405ba3203b91403b8 3203b7fe03b6fe03b5fe03b3fe03b2fe03b1b04705b1fa03b04703affe03ae7d03adfe03ac0e 03abaa0c05ab1403aa0c03a93203a86403a71e03a43203a3a26405a3fe03a26403a1960e05a1 2503a0780a05a025039f4b039e10039d2e039c881e059cfe039b9a10059b1d039a100399980e 0599250398780a05980e0398400497960e05971403978004960e039640049525039484300594 fe039392130593250392910d0592130392b8014040090491900a05910d0391b8010040490490 0a0390c0048f6f7d058fbb038e810b058e11038e40048d810b058d3a038c8bbb058cfe038b8a 5d058bbb038b80048a8925058a5d038a400489881e0589250388871105881e0388b8ffc040ff 0487110385843005856403843003831603829603810b038064640580fe037f6c10057f19037e 7d0e057e32037d0e037c7b0f057c13037b0f037a9603791103780a037776200577fa0376751c 05762003751c03746c1005741e0373fe0372fe0371700d0571fe03700d037040046f7d036e6d 3e056e6b036d3e036c6b0c056c10036c80046b0c036b40046a6464056afa036968bb0569fe03 68675d0568bb0368800467662505675d036740046625036564640565fa0364640363150362fe 0361fe03605f2e0560fe035f2e035efe035dfe035c4b035b7d035afe0359440358fe0357fe03 56bb0355fe03536403521403513203504f0f05507d034f0f034e414042034c0b034a64034922 08054996034832034703100547130346120345020a0545190344431305446b03434210054313 0342410b0542100341400905410b0340090340b8ffc04053043f96033e042d053e4d033d3c14 053d4b033c3b0a053c14033c40043b0a033a3912053a5d0339381105391203381103370d0336 fe033534140535fe033433130534140333320a0533130332310905320a0332b8ffc040ff0431 0903302f18053044032f2e15052f18032fc0042e1e0a052e15032e80042d0964052d96032c2b 14052c4b032b2208052b14032b40042a020a052a64032928300529410328042d052830032704 2d0527fe03263a03250d1805255d032423120524530323220805231203234004220803212018 05215d03201f110520180320c0041f1e0a051f11031f80041e0a031e40041d23031c0f031b24 031a1930051a530319042d0519300318fe0317020a0517fe0316100315141405156b03141313 0514140314400413130312042d0512bb031103100511fe03100310051042030f0964050f9603 0e042d050efe030d020a050d18030d40040cfe030b020a050b40386b030a0964050a7d030964 030807110508140307110306053205067d0305042d0505320304031005042d03031003020a03 01530300fe0301b80164858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d000000> ] def /f-0-0 currentdict end definefont pop %%EndResource %%BeginResource: font BitstreamVeraSans-Roman 11 dict begin /FontType 42 def /FontName /BitstreamVeraSans-Roman def /PaintType 0 def /FontMatrix [ 1 0 0 1 0 0 ] def /FontBBox [ 0 0 0 0 ] def /Encoding 256 array def 0 1 255 { Encoding exch /.notdef put } for Encoding 32 /space put Encoding 44 /comma put Encoding 45 /hyphen put Encoding 46 /period put Encoding 79 /O put Encoding 82 /R put Encoding 83 /S put Encoding 97 /a put Encoding 100 /d put Encoding 101 /e put Encoding 103 /g put Encoding 105 /i put Encoding 108 /l put Encoding 109 /m put Encoding 110 /n put Encoding 111 /o put Encoding 114 /r put Encoding 115 /s put Encoding 116 /t put Encoding 117 /u put Encoding 118 /v put /CharStrings 22 dict dup begin /.notdef 0 def /o 1 def /r 2 def /i 3 def /g 4 def /n 5 def /a 6 def /l 7 def /comma 8 def /space 9 def /O 10 def /S 11 def /R 12 def /hyphen 13 def /s 14 def /t 15 def /u 16 def /m 17 def /e 18 def /d 19 def /v 20 def /period 21 def end readonly def /sfnts [ <00010000000900800003001063767420ffd31d3900000dd0000001fc6670676de7b4f1c40000 0fcc0000008b676c7966d35ca7000000009c00000d3468656164dd84a2d00000105800000036 68686561104507790000109000000024686d74785ed50b86000010b4000000586c6f6361241c 21b60000110c0000002e6d6178700451063a0000113c00000020707265703b07f1000000115c 0000056800020066fe96046605a400030007001a400c04fb0006fb0108057f0204002fc4d4ec 310010d4ecd4ec301311211125211121660400fc73031bfce5fe96070ef8f272062900020071 ffe30475047b000b0017004a401306b91200b90cb8128c1809120f51031215451810fcecf4ec 310010e4f4ec10ee3040233f197b007b067f077f087f097f0a7f0b7b0c7f0d7f0e7f0f7f107f 117b12a019f01911015d012206151416333236353426273200111000232200111000027394ac ab9593acac93f00112feeef0f1feef011103dfe7c9c9e7e8c8c7e99cfec8feecfeedfec70139 0113011401380000000100ba0000034a047b001100304014060b0700110b03870eb809bc070a 06080008461210fcc4ec3231002fe4f4ecc4d4cc11123930b450139f1302015d012e01232206 1511231133153e0133321617034a1f492c9ca7b9b93aba85132e1c03b41211cbbefdb20460ae 666305050000000200c100000179061400030007002b400e06be04b100bc0205010804004608 10fc3cec3231002fe4fcec30400b1009400950096009700905015d1333112311331523c1b8b8 b8b80460fba00614e90000020071fe56045a047b000b0028004a4023190c1d0912861316b90f 03b92623b827bc09b90fbd1a1d261900080c4706121220452910fcc4ecf4ec323231002fc4e4 ece4f4c4ec10fed5ee1112393930b6602a802aa02a03015d0134262322061514163332361710 0221222627351e013332363d010e0123220211101233321617353303a2a59594a5a59495a5b8 fefefa61ac51519e52b5b439b27ccefcfcce7cb239b8023dc8dcdcc8c7dcdcebfee2fee91d1e b32c2abdbf5b6362013a01030104013a6263aa00000100ba00000464047b0013003640190309 00030e0106870e11b80cbc0a010208004e0d09080b461410fcec32f4ec31002f3ce4f4c4ec11 12173930b46015cf1502015d0111231134262322061511231133153e013332160464b87c7c95 acb9b942b375c1c602a4fd5c029e9f9ebea4fd870460ae6564ef0002007bffe3042d047b000a 002500bc4027191f0b17090e00a91706b90e1120861fba1cb923b8118c170c001703180d0908 0b1f030814452610fcecccd4ec323211393931002fc4e4f4fcf4ec10c6ee10ee113911391239 30406e301d301e301f3020302130223f27401d401e401f402040214022501d501e501f502050 21502250277027851d871e871f8720872185229027a027f0271e301e301f30203021401e401f 40204021501e501f50205021601e601f60206021701e701f70207021801e801f80208021185d 015d0122061514163332363d01371123350e01232226353436332135342623220607353e0133 321602bedfac816f99b9b8b83fbc88accbfdfb0102a79760b65465be5af3f00233667b6273d9 b4294cfd81aa6661c1a2bdc0127f8b2e2eaa2727fc00000100c100000179061400030022b700 9702010800460410fcec31002fec30400d10054005500560057005f00506015d13331123c1b8 b80614f9ec000001009eff1201c300fe00050019400c039e0083060304011900180610fcecd4 cc310010fcec30373315032313f0d3a48152feacfec0014000020073ffe305d905f0000b0017 0023401306951200950c91128c1809190f33031915101810fcecfcec310010e4f4ec10ee3001 22001110003332001110002720001110002120001110000327dcfefd0103dcdc0101feffdc01 3a0178fe88fec6fec5fe870179054cfeb8fee5fee6feb80148011a011b0148a4fe5bfe9efe9f fe5b01a40162016201a5000000010087ffe304a205f00027007e403c0d0c020e0b021e1f1e08 0902070a021f1f1e420a0b1e1f0415010015a11494189511049500942591118c281e0a0b1f1b 0700221b190e2d071914222810dcc4ecfcece4111239393939310010e4f4e4ec10eef6ee10c6 111739304b535807100eed11173907100eed1117395922b20f2901015db61f292f294f29035d 01152e012322061514161f011e0115140421222627351e013332363534262f012e0135342433 3216044873cc5fa5b377a67ae2d7feddfee76aef807bec72adbc879a7be2ca0117f569da05a4 c53736807663651f192bd9b6d9e0302fd04546887e6e7c1f182dc0abc6e42600000200c90000 055405d50013001c00b14035090807030a061103040305110404034206040015030415950914 950d810b040506031109001c160e050a191904113f140a1c0c041d10fcec32fcc4ec11173911 39393931002f3cf4ecd4ec123912391239304b5358071005ed071005ed1117395922b2401e01 015d40427a130105000501050206030704150015011402160317042500250125022603270626 0726082609201e3601360246014602680575047505771388068807980698071f5d005d011e01 171323032e012b01112311212016151406011133323635342623038d417b3ecdd9bf4a8b78dc ca01c80100fc83fd89fe9295959202bc16907efe68017f9662fd8905d5d6d88dba024ffdee87 838385000001006401df027f028300030011b6009c020401000410dccc310010d4ec30132115 2164021bfde50283a4000001006fffe303c7047b002700e7403c0d0c020e0b531f1e08090207 0a531e1f1e420a0b1e1f041500860189041486158918b91104b925b8118c281e0a0b1f1b0700 521b080e07081422452810fcc4ecd4ece4111239393939310010e4f4ec10fef5ee10f5ee1217 39304b535807100eed111739070eed1117395922b2002701015d406d1c0a1c0b1c0c2e092c0a 2c0b2c0c3b093b0a3b0b3b0c0b200020012402280a280b2a132f142f152a16281e281f292029 212427860a860b860c860d12000000010202060a060b030c030d030e030f03100319031a031b 031c041d09272f293f295f297f2980299029a029f029185d005d7101152e012322061514161f 011e0115140623222627351e013332363534262f012e01353436333216038b4ea85a89896294 3fc4a5f7d85ac36c66c661828c65ab40ab98e0ce66b4043fae282854544049210e2a99899cb6 2323be353559514b50250f2495829eac1e00000000010037000002f2059e0013003840190e05 080f03a9001101bc08870a0b08090204000810120e461410fc3cc4fc3cc432393931002fecf4 3cc4ec3211393930b2af1501015d01112115211114163b01152322263511233533110177017b fe854b73bdbdd5a28787059efec28ffda0894e9a9fd202608f013e000000000100aeffe30458 0460001300364019030900030e0106870e118c0a01bc0c0d09080b4e020800461410fcecf4ec 3231002fe432f4c4ec1112173930b46015cf1502015d1311331114163332363511331123350e 01232226aeb87c7c95adb8b843b175c1c801ba02a6fd619f9fbea4027bfba0ac6663f0000001 00ba0000071d047b0022005a4026061209180f00061d07150c871d2003b81bbc19100700110f 0808065011080f501c18081a462310fcec32fcfcfcec11123931002f3c3ce4f43cc4ec321112 17393040133024502470249024a024a024bf24df24ff2409015d013e01333216151123113426 2322061511231134262322061511231133153e01333216042945c082afbeb972758fa6b97277 8da6b9b93fb0797aab03897c76f5e2fd5c029ea19cbea4fd87029ea29bbfa3fd870460ae6762 7c00000000020071ffe3047f047b0014001b00704024001501098608880515a90105b90c01bb 18b912b80c8c1c1b1502081508004b02120f451c10fcecf4ecc4111239310010e4f4ece410ee 10ee10f4ee1112393040293f1d701da01dd01df01d053f003f013f023f153f1b052c072f082f 092c0a6f006f016f026f156f1b095d71015d0115211e0133323637150e012320001110003332 00072e0123220607047ffcb20ccdb76ac76263d06bfef4fec70129fce20107b802a5889ab90e 025e5abec73434ae2a2c0138010a01130143feddc497b4ae9e0000020071ffe3045a06140010 001c003840191ab9000e14b905088c0eb801970317040008024711120b451d10fcecf4ec3232 31002fece4f4c4ec10c4ee30b6601e801ea01e03015d0111331123350e012322021110123332 1601141633323635342623220603a2b8b83ab17ccbffffcb7cb1fdc7a79292a8a89292a703b6 025ef9eca86461014401080108014461fe15cbe7e7cbcbe7e7000001003d0000047f04600006 0112402703110405040211010205050402110302060006011100000642020300bf0506050302 010504000710d4c4173931002fec3239304b5358071005ed071008ed071008ed071005ed5922 014bb00a5458bd0007ffc000010007000700403811373859014bb014544bb015545b58bd0007 0040000100070007ffc03811373859408e48026a027b027f02860280029102a4020806000601 09030904150015011a031a0426002601290329042008350035013a033a043008460046014903 4904460548064008560056015903590450086600660169036904670568066008750074017b03 7b0475057a068500850189038904890586069600960197029a03980498059706a805a706b008 c008df08ff083e5d005d133309013301233dc3015e015ec3fe5cfa0460fc5403acfba0000000 000100db000001ae00fe00030011b7008302011900180410fcec31002fec3037331523dbd3d3 fefe013500b800cb00cb00c100aa009c01a600b800660000007100cb00a002b20085007500b8 00c301cb0189022d00cb00a600f000d300aa008700cb03aa0400014a003300cb000000d90502 00f4015400b4009c01390114013907060400044e04b4045204b804e704cd0037047304cd0460 0473013303a2055605a60556053903c5021200c9001f00b801df007300ba03e9033303bc0444 040e00df03cd03aa00e503aa0404000000cb008f00a4007b00b80014016f007f027b0252008f 00c705cd009a009a006f00cb00cd019e01d300f000ba018300d5009803040248009e01d500c1 00cb00f600830354027f00000333026600d300c700a400cd008f009a0073040005d5010a00fe 022b00a400b4009c00000062009c0000001d032d05d505d505d505f0007f007b005400a406b8 0614072301d300b800cb00a601c301ec069300a000d3035c037103db0185042304a80448008f 0139011401390360008f05d5019a0614072306660179046004600460047b009c000002770460 01aa00e904600762007b00c5007f027b000000b4025205cd006600bc00660077061000cd013b 01850389008f007b0000001d00cd074a042f009c009c0000077d006f0000006f0335006a006f 007b00ae00b2002d0396008f027b00f600830354063705f6008f009c04e10266008f018d02f6 00cd03440029006604ee007300001400b6060504030201002c2010b002254964b040515820c8 59212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b05 59b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e1 2d2c4b505820b0fd454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c 45442d00000100000002000026e03aa65f0f3cf5001f080000000000bab9f0b800000000bac2 6791fe89fe1d0a4c076d00000008000100000000000000010000076dfe1d00000abcfe89fe89 0a4c00010000000000000000000000000000001604cd006604e50071034a00ba023900c10514 0071051200ba04e7007b023900c1028b009e028b0000064c007305140087058f00c902e30064 042b006f03230037051200ae07cb00ba04ec00710514007104bc003d028b00db000000220074 00ac00d401380174020a022802440244028a0306039003a60456049404d00532059c05e80686 069a0000000100000016004d000700420004000200100040000700000415056800030001b802 8040fffbfe03fa1403f92503f83203f79603f60e03f5fe03f4fe03f32503f20e03f19603f025 03ef8a4105effe03ee9603ed9603ecfa03ebfa03eafe03e93a03e84203e7fe03e63203e5e453 05e59603e48a4105e45303e3e22f05e3fa03e22f03e1fe03e0fe03df3203de1403dd9603dcfe 03db1203da7d03d9bb03d8fe03d68a4105d67d03d5d44705d57d03d44703d3d21b05d3fe03d2 1b03d1fe03d0fe03cffe03cefe03cd9603cccb1e05ccfe03cb1e03ca3203c9fe03c6851105c6 1c03c51603c4fe03c3fe03c2fe03c1fe03c0fe03bffe03befe03bdfe03bcfe03bbfe03ba1103 b9862505b9fe03b8b7bb05b8fe03b7b65d05b7bb03b78004b6b52505b65d40ff03b64004b525 03b4fe03b39603b2fe03b1fe03b0fe03affe03ae6403ad0e03acab2505ac6403abaa1205ab25 03aa1203a98a4105a9fa03a8fe03a7fe03a6fe03a51203a4fe03a3a20e05a33203a20e03a164 03a08a4105a096039ffe039e9d0c059efe039d0c039c9b19059c64039b9a10059b19039a1003 990a0398fe0397960d0597fe03960d03958a410595960394930e05942803930e0392fa039190 bb0591fe03908f5d0590bb039080048f8e25058f5d038f40048e25038dfe038c8b2e058cfe03 8b2e038a8625058a410389880b05891403880b03878625058764038685110586250385110384 fe038382110583fe0382110381fe0380fe037ffe0340ff7e7d7d057efe037d7d037c64037b54 15057b25037afe0379fe03780e03770c03760a0375fe0374fa0373fa0372fa0371fa0370fe03 6ffe036efe036c21036bfe036a1142056a530369fe03687d036711420566fe0365fe0364fe03 63fe0362fe03613a0360fa035e0c035dfe035bfe035afe0359580a0559fa03580a0357161905 57320356fe035554150555420354150353011005531803521403514a130551fe03500b034ffe 034e4d10054efe034d10034cfe034b4a13054bfe034a4910054a1303491d0d05491003480d03 47fe0346960345960344fe0343022d0543fa0342bb03414b0340fe033ffe033e3d12053e1403 3d3c0f053d12033c3b0d053c40ff0f033b0d033afe0339fe033837140538fa03373610053714 0336350b05361003350b03341e03330d0332310b0532fe03310b03302f0b05300d032f0b032e 2d09052e10032d09032c32032b2a25052b64032a2912052a2503291203282725052841032725 0326250b05260f03250b0324fe0323fe03220f03210110052112032064031ffa031e1d0d051e 64031d0d031c1142051cfe031bfa031a42031911420519fe031864031716190517fe03160110 0516190315fe0314fe0313fe031211420512fe0311022d05114203107d030f64030efe030d0c 16050dfe030c0110050c16030bfe030a100309fe0308022d0508fe0307140306640304011005 04fe03401503022d0503fe0302011005022d0301100300fe0301b80164858d012b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b1d00> ] def /f-1-0 currentdict end definefont pop %%EndResource %%EndSetup %%Page: 1 1 %%BeginPageSetup %%PageBoundingBox: 0 -1 270 102 %%EndPageSetup q 0 -1 270 103 rectclip q 0.823529 g 213.609 98.785 43.922 -10.242 re f 186.328 86.144 62.883 -24.559 re f 25.531 73.586 126.078 -24 re f 0 g BT 10 0 0 10 14.809473 89.584012 Tm /f-0-0 1 Tf [(T f)]TJ 5.2 0 0 5.2 28.36416 87.584012 Tm [(OS)-3(Rfrom)]TJ 10 0 0 10 52.586817 89.584012 Tm [(\(param\){)]TJ -3.777734 -1.25 Td [( A)]TJ 0 -1.25 Td [( if \(osr)-3(_cond\))]TJ 0 -1.25 Td [( )-3( return f')]TJ 5.2 0 0 5.2 82.289942 50.084012 Tm [(OS)-3(Rto)]TJ 10 0 0 10 99.261034 52.084012 Tm [(\(liv)-3(e vars\))]TJ -8.445156 -1.25 Td [( B)]TJ 0 -1.25 Td (})Tj 16.24 6.290234 Td [(T f')]TJ 5.2 0 0 5.2 193.518064 87.986356 Tm [(OS)-3(Rto)]TJ 10 0 0 10 210.489157 89.986356 Tm [(\(liv)-3(e vars\){)]TJ -3.327969 -1.25 Td [( comp_code )]TJ 0 -1.25 Td [( goto L')]TJ 0 -1.25 Td [( A')]TJ 0 -1.25 Td (L':)Tj 0 -1.25 Td [( B')]TJ 0 -1.25 Td (})Tj ET 0.4 w 2 J 0 j [] 0.0 d 4 M 10.809 101.785 144.602 -92 re S 0.4 w 173.41 101.586 95.598 -91.801 re S BT 8 0 0 8 26.641115 1.664059 Tm /f-1-0 1 Tf [(origina)-3(l, OSR)37(-inst)-3(rumented)-5165(var)-3(ian)-3(t, OS)-4(R) 40(-inst)-3(rum.)]TJ 10 0 0 10 14.25773 64.325589 Tm /f-0-0 1 Tf (L:)Tj ET 0.8 w 0 J 1.211 93.586 m 13.211 93.586 l S 9.023 91.648 m 14.27 93.578 l 9.023 95.504 l 9.863 94.367 9.859 92.808 9.023 91.648 c h 9.023 91.648 m f* 0.3 w 1 j q -1 0 0 -1 0 101.984055 cm -9.023 10.336 m -14.27 8.406 l -9.023 6.48 l -9.863 7.617 -9.859 9.176 -9.023 10.336 c h -9.023 10.336 m S Q 0.8 w 0 j 153.211 57.586 m 165.211 57.586 l 165.211 93.586 l 173.211 93.586 l S 169.023 91.648 m 174.27 93.578 l 169.023 95.504 l 169.863 94.367 169.859 92.808 169.023 91.648 c h 169.023 91.648 m f* 0.3 w 1 j q -1 0 0 -1 0 101.984055 cm -169.023 10.336 m -174.27 8.406 l -169.023 6.48 l -169.863 7.617 -169.859 9.176 -169.023 10.336 c h -169.023 10.336 m S Q 0.8 w 0 j 229.211 66.222 m 237.211 66.222 l 237.211 42.222 l 193.211 42.222 l S 197.395 44.16 m 192.148 42.23 l 197.395 40.304 l 196.555 41.441 196.562 43 197.395 44.16 c h 197.395 44.16 m f* 0.3 w 1 j q 1 0 0 1 0 101.984055 cm 197.395 -57.824 m 192.148 -59.754 l 197.395 -61.68 l 196.555 -60.543 196.562 -58.984 197.395 -57.824 c h 197.395 -57.824 m S Q 0.8 w 0 j 177.211 17.586 m 165.211 17.586 l 165.211 53.586 l 153.211 53.586 l S 157.395 55.519 m 152.148 53.593 l 157.395 51.664 l 156.555 52.8 156.562 54.359 157.395 55.519 c h 157.395 55.519 m f* 0.3 w 1 j q 1 0 0 1 0 101.984055 cm 157.395 -46.465 m 152.148 -48.391 l 157.395 -50.32 l 156.555 -49.184 156.562 -47.625 157.395 -46.465 c h 157.395 -46.465 m S Q 0.8 w 0 j 57.211 49.586 m 57.211 17.586 l 1.211 17.586 l S 5.395 19.519 m 0.148 17.593 l 5.395 15.664 l 4.555 16.8 4.562 18.359 5.395 19.519 c h 5.395 19.519 m f* 0.3 w 1 j q 1 0 0 1 0 101.984055 cm 5.395 -82.465 m 0.148 -84.391 l 5.395 -86.32 l 4.555 -85.184 4.562 -83.625 5.395 -82.465 c h 5.395 -82.465 m S Q BT 0 8 -8 0 163.496565 65.66528 Tm /f-1-0 1 Tf [(OSR)]TJ ET 0.8 w 0 j [ 0.8 0.8] 0 d 13.211 29.586 m 1.211 29.586 l S 5.395 31.519 m 0.148 29.593 l 5.395 27.664 l 4.555 28.8 4.562 30.359 5.395 31.519 c h 5.395 31.519 m f* 0.3 w 1 j [] 0.0 d q 1 0 0 1 0 101.984055 cm 5.395 -70.465 m 0.148 -72.391 l 5.395 -74.32 l 4.555 -73.184 4.562 -71.625 5.395 -70.465 c h 5.395 -70.465 m S Q Q Q showpage %%Trailer end restore %%EOF Binary files /dev/null and b/figures/overview-osr-open/overview-osr-open.png differ

xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" id="svg5607" version="1.1" inkscape:version="0.91 r13725" width="1052.5" height="743.75" xml:space="preserve" sodipodi:docname="overview-osr-final.svg"> id="metadata5613"> rdf:about="">image/svg+xml rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> id="defs5611"> inkscape:isstock="true" style="overflow:visible;" id="marker4411" refX="0.0" refY="0.0" orient="auto" inkscape:stockid="Arrow2Mend"> transform="scale(0.6) rotate(180) translate(0,0)" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" id="path4413" /> inkscape:stockid="Arrow2Mend" orient="auto" refY="0.0" refX="0.0" id="marker6019" style="overflow:visible;" inkscape:isstock="true" inkscape:collect="always"> id="path6021" style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " transform="scale(0.6) rotate(180) translate(0,0)" /> inkscape:isstock="true" style="overflow:visible;" id="marker5917" refX="0.0" refY="0.0" orient="auto" inkscape:stockid="Arrow2Mend" inkscape:collect="always"> transform="scale(0.6) rotate(180) translate(0,0)" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" id="path5919" /> inkscape:stockid="Arrow2Mend" orient="auto" refY="0.0" refX="0.0" id="marker5815" style="overflow:visible;" inkscape:isstock="true" inkscape:collect="always"> id="path5817" style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " transform="scale(0.6) rotate(180) translate(0,0)" /> inkscape:isstock="true" style="overflow:visible;" id="marker5671" refX="0.0" refY="0.0" orient="auto" inkscape:stockid="Arrow2Mend" inkscape:collect="always"> transform="scale(0.6) rotate(180) translate(0,0)" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" id="path5673" /> inkscape:stockid="Arrow2Mend" orient="auto" refY="0.0" refX="0.0" id="marker5575" style="overflow:visible;" inkscape:isstock="true" inkscape:collect="always"> id="path5577" style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " transform="scale(0.6) rotate(180) translate(0,0)" /> inkscape:isstock="true" style="overflow:visible;" id="marker6583" refX="0.0" refY="0.0" orient="auto" inkscape:stockid="Arrow2Mend"> transform="scale(0.6) rotate(180) translate(0,0)" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1" id="path6585" /> inkscape:stockid="Arrow1Mend" orient="auto" refY="0.0" refX="0.0" id="Arrow1Mend" style="overflow:visible;" inkscape:isstock="true"> id="path4548" d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1" transform="scale(0.4) rotate(180) translate(10,0)" /> inkscape:stockid="Arrow1Lstart" orient="auto" refY="0.0" refX="0.0" id="Arrow1Lstart" style="overflow:visible"> id="path4648" d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" transform="scale(0.8) translate(12.5,0)" /> inkscape:stockid="Arrow2Lend" orient="auto" refY="0.0" refX="0.0" id="Arrow2Lend" style="overflow:visible;"> id="path3952" style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " transform="scale(1.1) rotate(180) translate(1,0)" /> inkscape:stockid="Arrow1Lend" orient="auto" refY="0.0" refX="0.0" id="Arrow1Lend" style="overflow:visible;"> id="path3934" d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" transform="scale(0.8) rotate(180) translate(12.5,0)" /> inkscape:stockid="Arrow2Lstart" orient="auto" refY="0.0" refX="0.0" id="Arrow2Lstart" style="overflow:visible"> id="path3949" style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " transform="scale(1.1) translate(1,0)" /> sodipodi:type="inkscape:persp3d" inkscape:vp_x="0 : 0.5 : 1" inkscape:vp_y="0 : 1000 : 0" inkscape:vp_z="1 : 0.5 : 1" inkscape:persp3d-origin="0.5 : 0.33333333 : 1" id="perspective5615" /> pagecolor="#ffffff" bordercolor="#666666" borderopacity="1" objecttolerance="10" gridtolerance="10" guidetolerance="10" inkscape:pageopacity="0" inkscape:pageshadow="2" inkscape:window-width="1440" inkscape:window-height="851" id="namedview5609" showgrid="true" inkscape:zoom="2.46" inkscape:cx="219.86165" inkscape:cy="439.13574" inkscape:window-x="0" inkscape:window-y="0" inkscape:window-maximized="1" inkscape:current-layer="g5617" inkscape:snap-center="false" inkscape:snap-object-midpoints="false" showguides="true" inkscape:guide-bbox="true" inkscape:snap-bbox="true" inkscape:snap-text-baseline="true" inkscape:snap-others="true" inkscape:bbox-nodes="true" inkscape:object-nodes="true"> type="xygrid" id="grid3029" empspacing="5" visible="true" enabled="true" snapvisiblegridlinesonly="true" /> orientation="1,0" position="-150,500" id="guide3732" /> orientation="1,0" position="-150,500" id="guide3734" /> id="g5617" inkscape:groupmode="layer" inkscape:label="automa" transform="matrix(1.25,0,0,-1.25,0,743.75)"> transform="matrix(0.8,0,0,-0.8,0,595)" style="font-size:40px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans" id="flowRoot2925" xml:space="preserve"> id="flowRegion2927"> y="382.10107" x="207.50348" height="59.286709" width="118.57342" id="rect2929" /> id="flowPara2931" /> transform="matrix(0.8,0,0,-0.8,0,595)" style="font-size:40px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans" id="flowRoot2933" xml:space="preserve"> id="flowRegion2935"> y="363.32693" x="187.74124" height="99.799294" width="182.80069" id="rect2937" /> id="flowPara2939" /> style="font-size:30px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Times New Roman;-inkscape-font-specification:'Times New Roman,'" id="flowRoot3789" xml:space="preserve"> id="flowRegion3791"> y="334.67169" x="468.36502" height="51.381817" width="50.393703" id="rect3793" /> id="flowPara3795" /> xml:space="preserve" id="flowRoot3224" style="fill:black;stroke:none;stroke-opacity:1;stroke-width:1px;stroke-linejoin:miter;stroke-linecap:butt;fill-opacity:1;font-family:Courier;font-style:normal;font-weight:normal;font-size:12px;-inkscape-font-specification:Courier;font-stretch:normal;font-variant:normal;text-anchor:middle;text-align:center;writing-mode:lr;line-height:100%;letter-spacing:0px;word-spacing:0px;"> id="flowRegion3226"> id="rect3228" width="107.42156" height="181.08206" x="386.71762" y="17.580261" style="-inkscape-font-specification:Courier;font-family:Courier;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;" /> id="flowPara3230" /> xml:space="preserve" id="flowRoot3975" style="fill:black;stroke:none;stroke-opacity:1;stroke-width:1px;stroke-linejoin:miter;stroke-linecap:butt;fill-opacity:1;font-family:Courier;font-style:normal;font-weight:normal;font-size:12px;-inkscape-font-specification:Courier;font-stretch:normal;font-variant:normal;text-anchor:middle;text-align:center;writing-mode:lr;line-height:100%;letter-spacing:0px;word-spacing:0px;"> id="flowRegion3977"> id="rect3979" width="135.60606" height="221.9697" x="862.87878" y="159.65909" style="-inkscape-font-specification:Courier;font-family:Courier;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;" /> id="flowPara3981" /> xml:space="preserve" id="flowRoot3637" style="fill:black;stroke:none;stroke-opacity:1;stroke-width:1px;stroke-linejoin:miter;stroke-linecap:butt;fill-opacity:1;font-family:Courier;font-style:normal;font-weight:normal;font-size:15px;line-height:125%;letter-spacing:0px;word-spacing:0px;-inkscape-font-specification:Courier;font-stretch:normal;font-variant:normal;"> id="flowRegion3639"> id="rect3641" width="145" height="175" x="65" y="93.75" style="-inkscape-font-specification:Courier;font-family:Courier;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;" /> id="flowPara3643" /> transform="matrix(0.8,0,0,-0.8,0,494.30859)" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:12.5px;line-height:125%;font-family:serif;-inkscape-font-specification:'serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" id="flowRoot4383" xml:space="preserve"> id="flowRegion4385"> y="103.75" x="45" height="185" width="165" id="rect4387" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:12.5px;line-height:125%;font-family:serif;-inkscape-font-specification:'serif, Normal';text-align:start;writing-mode:lr-tb;text-anchor:start" /> id="flowPara4441" /> xml:space="preserve" id="flowRoot4423" style="fill:black;stroke:none;stroke-opacity:1;stroke-width:1px;stroke-linejoin:miter;stroke-linecap:butt;fill-opacity:1;font-family:sans-serif;font-style:normal;font-weight:normal;font-size:15px;line-height:125%;letter-spacing:0px;word-spacing:0px"> id="flowRegion4425"> id="rect4427" width="160" height="106.67638" x="45" y="242.07362" /> id="flowPara4429" /> style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.80000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" id="rect5061" width="43.919998" height="10.24" x="228.39999" y="-405.20001" transform="scale(1,-1)" /> transform="scale(1,-1)" y="-392.56009" x="201.12" height="24.560089" width="62.880005" id="rect5055" style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.80000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.80000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" id="rect5053" width="126.07999" height="24" x="40.320007" y="-380" transform="scale(1,-1)" /> xml:space="preserve" style="font-style:normal;font-weight:normal;font-size:12px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" x="29.600002" y="-396" id="text4463" sodipodi:linespacing="125%" transform="scale(1,-1)"> sodipodi:role="line" id="tspan4465" x="29.600002" y="-396" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif">T f style="font-size:51.99999809%;baseline-shift:sub" id="tspan4477">OSRfrom(param){ sodipodi:role="line" x="29.600002" y="-383.5" id="tspan4467" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> A sodipodi:role="line" x="29.600002" y="-371" id="tspan4469" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> if (osr_cond) sodipodi:role="line" x="29.600002" y="-358.5" id="tspan4471" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> return f' style="font-size:51.99999809%;baseline-shift:sub" id="tspan4479">OSRto(live vars) sodipodi:role="line" x="29.600002" y="-346" id="tspan4473" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> B sodipodi:role="line" x="29.600002" y="-333.5" id="tspan4475" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif">} transform="scale(1,-1)" sodipodi:linespacing="125%" id="text4481" y="-396.40234" x="192" style="font-style:normal;font-weight:normal;font-size:12px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" xml:space="preserve"> style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" y="-396.40234" x="192" id="tspan4483" sodipodi:role="line">T f' id="tspan4485" style="font-size:51.99999809%;baseline-shift:sub">OSRto(live vars){ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" id="tspan4487" y="-383.90234" x="192" sodipodi:role="line"> comp_code style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" y="-371.40234" x="192" sodipodi:role="line" id="tspan3427"> goto L' style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" y="-358.90234" x="192" sodipodi:role="line" id="tspan4501"> A' style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" id="tspan4491" y="-346.40234" x="192" sodipodi:role="line">L': style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" id="tspan4495" y="-333.90234" x="192" sodipodi:role="line"> B' style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" id="tspan4497" y="-321.40234" x="192" sodipodi:role="line">} transform="scale(1,-1)" y="-408.20004" x="25.6" height="92.000015" width="144.59999" id="rect4503" style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:0.40000004;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:0.40000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" id="rect4505" width="95.599991" height="91.800003" x="188.20001" y="-408" transform="scale(1,-1)" /> transform="scale(1,-1)" sodipodi:linespacing="125%" id="text4507" y="-308.08005" x="41.431644" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" xml:space="preserve"> y="-308.08005" x="41.431644" id="tspan4509" sodipodi:role="line">original, OSR-instrumented xml:space="preserve" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" x="191.18945" y="-308.08005" id="text4511" sodipodi:linespacing="125%" transform="scale(1,-1)"> sodipodi:role="line" id="tspan4513" x="191.18945" y="-308.08005">variant, OSR-instrum. xml:space="preserve" style="font-style:normal;font-weight:normal;font-size:12px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" x="29.04826" y="-370.74158" id="text4515" sodipodi:linespacing="125%" transform="scale(1,-1)"> sodipodi:role="line" x="29.04826" y="-370.74158" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif" id="tspan4552">L: style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5575)" d="m 16,400 12,0" id="path5567" inkscape:connector-curvature="0" sodipodi:nodetypes="cc" /> style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5671)" d="m 168,364 12,0 0,36 8,0" id="path5663" inkscape:connector-curvature="0" sodipodi:nodetypes="cccc" /> style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5815)" d="m 244,372.6396 8,0 0,-24 -44,0" id="path5807" inkscape:connector-curvature="0" sodipodi:nodetypes="cccc" /> style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5917)" d="m 192,324 -12,0 0,36 -12,0" id="path5909" inkscape:connector-curvature="0" sodipodi:nodetypes="cccc" /> style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker6019)" d="m 72,356 0,-32 -56,0" id="path6011" inkscape:connector-curvature="0" sodipodi:nodetypes="ccc" /> xml:space="preserve" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" x="372.08127" y="178.28709" id="text4442" sodipodi:linespacing="125%" transform="matrix(0,1,1,0,0,0)"> sodipodi:role="line" id="tspan4444" x="372.08127" y="178.28709">OSR style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.8, 0.80000000000000004;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#marker4411)" d="m 28,336 -12,0" id="path3429" inkscape:connector-curvature="0" sodipodi:nodetypes="cc" />

width=400

figures/overview-osr/overview-osr.png approach.tex figures/overview-osr-final/overview-osr-final.png figures/overview-osr-open/overview-osr-open.png osr-llvm.tex case-study.tex experim.tex