Authorea

Camil Demetrescu over 8 years ago

Commit id: b00a8c2121fdbc64bae9f2cdc35c44d84ca3602a

deletions | additions

%!PS-Adobe-3.0 EPSF-3.0 %%Creator: cairo 1.14.0 (http://cairographics.org) %%CreationDate: Wed Sep 9 15:40:37 16:00:58 2015 %%Pages: 1 %%DocumentData: Clean7Bit %%LanguageLevel: 2 %%BoundingBox: 0 -1 270 102 422 103 %%EndComments %%BeginProlog save

Encoding 39 /quotesingle put Encoding 40 /parenleft put Encoding 41 /parenright put Encoding 44 /comma put Encoding 58 /colon put Encoding 61 /equal put Encoding 65 /A put Encoding 66 /B put Encoding 76 /L put

Encoding 84 /T put Encoding 95 /underscore put Encoding 97 /a put Encoding 98 /b put Encoding 99 /c put Encoding 100 /d put Encoding 101 /e put

Encoding 118 /v put Encoding 123 /braceleft put Encoding 125 /braceright put /CharStrings 33 36 dict dup begin /.notdef 0 def /T 1 def /space 2 def

/e 22 def /t 23 def /u 24 def /quotesingle /b 25 def /l 26 def /v 27 def /B 28 def /braceright 29 def /g /quotesingle 30 def /L /g 31 def /colon /L 32 def /colon 33 def /equal 34 def /comma 35 def end readonly def /sfnts [ <000100000009008000030010637674208f33abf400001764000001946670676de780f1c40000 18f80000008b676c796626fc7df60000009c000016c868656164dd7b15c60000198400000036 6868656110450784000019bc00000024686d747894d50cdc000019e0000000846c6f63616096 659000001a64000000446d6178700452063b00001aa80000002070726570757906f600001ac8 <000100000009008000030010637674208f33abf40000189c000001946670676de780f1c40000 1a300000008b676c796620d770210000009c0000180068656164dd7b15c600001abc00000036 686865611045078700001af400000024686d7478a3330e3a00001b18000000906c6f63617940 71f600001ba80000004a6d6178700455063b00001bf40000002070726570757906f600001c14 0000055e00020066fe96046605a400030007001a400c04c70006c70108055d0204002fc4d4ec 310010d4ecd4ec301311211125211121660400fc73031bfce5fe96070ef8f272062900010014 0000054205d5000f007b401b09050b036f07620d016f000a0f08040f060e24080c1100240602

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 8086a00427fc436abc6a6fc9d702396bfd95c290bcb301e300000002003bffe304b806140014 0021004740252105111503001e940818940e017a0371007a0e60088c121b1a0b3513022c1511 042700302210f4ec3232e432f4ec31002fece4ecfcec10ee10ee1117393930b27f2301015d37 11233521113e013332121514022322262715213501141633323635342623220615ecb1016936 a77bc4f8f8c47ba736fe970169938c8d91918d8c936a05406afd6d645ffecafafafec95f64a6 6a0175c0c9e2dcdde0cabf000001003b000002520614000900404012067a087104007a02012c 002707032c05300a10f4e432fce431002fec32fcec30b28f0b01015d014bb0155458bd000aff c00001000a000a004038113738592533152135331123352101a4aefde9b1b101696a6a6a0540 6a000001fffa0000047f0427000e00b840390a0902089f0d0e0d079f06070e0e0d073e080700 0100040502063e0101004d07000c080503017a0a039c000e0d09080706040100090f0b020f10 d4cc11173931002ffc3cec17321139304b5358071005ed1732071008ed071008ed071005ed17 325922b2080a01015d4048060716072707200753076307760707080808091b041b051509150a 25002a042a052a092a0a2a0e380030104800470d470e5700580e6700680e7604760577067808 7809780a780d1c5d005d21012335211523090123352115230101fafe797901e9aa012b012b9f 018f77fe7903bc6b6bfd2502db6b6bfc4400000300710000056405d500080011002400454027 1e076f0915106f176213006f097e12100a0701181e2405000d0e1b040e211612240900111421 2510f4ec32e432d4ecd4ec111739393931002fecec32f4ec3210ee3930252132363534262321 3533323635342623230135331123352132161514060716161514042101fa012bb4a6a5b5fed5 fea49797a4fefe77bebe02e1e2e59f99bec5fee8fed76a9caaa99b6a7e88897dfa966a05006b b9b8859e1218c3a4ded2000000010100feb2041706140024005b402f0c16190f1f04081b150b 190f0520041b73190073230f731171041c191a15100f0100042504081b1a151f15270b042510 d43cec3210c0c0c0111217391112393931002ffcecd4ecd4ec11393911123939113912391112 3939300533323635113436372626351134262323353332161511141633331523220615111406 23230100468c5562838263558c463ff9a76c8e3e3e8e6ca7f93fe5578e011f9d86221e889e01 1f8e576893ddfefe9674697496fefedd9400000100c903aa016805d500030011b60100620400 020410d4cc310010f4cc300111231101689f05d5fdd5022b00020066fe3904e30444001f002c 006640332c000f0113101c200329007a1d299413089e070c8f042394198c1360049d1d9c2d09 2d071e2c201c0f270035261a0737162a2d10f4e4ecf4ec3232e410ee310010ecece4fcec10ee dee610ee10ee1117391239391239304009002e102e7f2eb02e04015d01111406232226273533 1e013332363d010e0123220235341233321617352115013426232206151416333236350433fc e969c0586012867da29736a77bc4f9f8c57ba7360168fe98938c8e91918e8c9303bcfc5be5f9 2626df6860b7c48f645f0137fafa01365f64a66bfe8cbfcae0dddce2c9c00000000100710000 051f05d5000d0030401a0b0907036f05620980016f000624080a0f0c040024081102210e10f4 ece432d4ec10e431002feeeef6ee3210c430333533112335211523112135331171bebe0247be 02aa7b6a05006b6bfb11fafe8b00000200d5ffe301df0379000b0017001f400f03610915610f 0960181206000c001810d43cec32310010e4d4ec10ee30373436333216151406232226113436 333216151406232226d54d38384d4c39394c4d38394c4c39384d68384e4e38384d4d02c4384d 4c39394c4d000000000200d9016605db039e00030007001d400e027200067204080501180400 170810f43cec32310010d4ecd4ec301321152115211521d90502fafe0502fafe039ea0f8a000 0001004afee901c500e30008001c400c03000804090800051200030910d4c4ec1239310010d4 cc3939301736363535330606074a5e58c5089192c745bb8525abf55a0000010a0073000200b8 00cb00cb00d30002004c006a0071008700a0000200e5007b00cb00cb00c10408040804080002 00d9050200b800d300b80129006a000200020002012f0000000200be0073003300b800e500cb 0066000200a000620002000200fa03cd03cd03cd039a03cd027700020350039a035000000002 00a000b8033b040403cd040403cd04040066000200cb003d00ba00aa0066000205cd00960000 005200d700d700420073004a00bc00d9018300a401d5007d008d007304000000001d010a05d5 006a006a006205d505d505d505f0005c00020002006a006a006a05d5061400a0006a010a00bc 00cb00a40002006a006a01290152036003660158007b000201aa0348006a0085006a04600460 0427042704270444006a00020062000200020002027b0073006a00020002000200cd025c0229 042701aa005c006a006a00cd00a000aa003d05cd006600d7004800d700020066000203e900a0 030c0000001905c1004a074a060c0106077d00540002007b0333019a061d0060007d0354006a 004e0002008d004e01d7007300001400b6060504030201002c2010b002254964b040515820c8 59212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b05 59b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e1 2d2c4b505820b0c9454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c 45442d000001000000020000c5b573fa5f0f3cf5001f080000000000bab24b8d00000000bac0 7fb2fe89fe1d0a4c076d00000008000100000000000000010000076dfe1d00000abcfe89fe89 0a4c00010000000000000000000000000000002404cd006605560014028b000002f6004a068f 0073057b00ac0606007103d3004a04d100660796004a031f00a2051f003b04c50066031f0091 0517010005c7fff4028f004a041b007304000000047b00660527004a051f006604bc00660337 003b05270037051f003b028f003b0485fffa05e1007105170100023300c9051f006605500071 02b200d506b400d9028b004a00000022007c007c00e001320206028402f6033603ce03fc045c 04d80504056805e0062806d206e80730079407f0084808a20906095e09920a0c0a680aca0ae0 0b560b860bbc0bde0c000000000100000024005500070045000400020010004000070000040b 055e00030001b8028040e0c7fe03c61303c5c42405c56403c54004c42403c30d03c2c12705c2 6403c12703c05d03bf7d03bc0b03bb0b03bab91405ba3203b91403b83203b7fe03b6fe03b5fe 03b3fe03b2fe03b1b04705b1fa03b04703affe03ae7d03adfe03ac0e03abaa0c05ab1403aa0c 03a93203a86403a71e03a43203a3a26405a3fe03a26403a1960e05a12503a0780a05a025039f 4b039e10039d2e039c881e059cfe039b9a10059b1d039a100399980e0599250398780a05980e 0398400497960e05971403978004960e039640049525039484300594fe039392130593250392 910d0592130392b8014040090491900a05910d0391b80100404904900a0390c0048f6f7d058f bb038e810b058e11038e40048d810b058d3a038c8bbb058cfe038b8a5d058bbb038b80048a89 25058a5d038a400489881e0589250388871105881e0388b8ffc040ff04871103858430058564 03843003831603829603810b038064640580fe037f6c10057f19037e7d0e057e32037d0e037c 7b0f057c13037b0f037a9603791103780a037776200577fa0376751c05762003751c03746c10 05741e0373fe0372fe0371700d0571fe03700d037040046f7d036e6d3e056e6b036d3e036c6b 0c056c10036c80046b0c036b40046a6464056afa036968bb0569fe0368675d0568bb03688004 67662505675d036740046625036564640565fa0364640363150362fe0361fe03605f2e0560fe 035f2e035efe035dfe035c4b035b7d035afe0359440358fe0357fe0356bb0355fe0353640352 1403513203504f0f05507d034f0f034e414042034c0b034a6403492208054996034832034703 100547130346120345020a0545190344431305446b034342100543130342410b054210034140 0905410b0340090340b8ffc04053043f96033e042d053e4d033d3c14053d4b033c3b0a053c14 033c40043b0a033a3912053a5d0339381105391203381103370d0336fe033534140535fe0334 33130534140333320a0533130332310905320a0332b8ffc040ff04310903302f18053044032f 2e15052f18032fc0042e1e0a052e15032e80042d0964052d96032c2b14052c4b032b2208052b 14032b40042a020a052a64032928300529410328042d0528300327042d0527fe03263a03250d 1805255d03242312052453032322080523120323400422080321201805215d03201f11052018 0320c0041f1e0a051f11031f80041e0a031e40041d23031c0f031b24031a1930051a53031904 2d0519300318fe0317020a0517fe0316100315141405156b0314131305141403144004131303 12042d0512bb031103100511fe03100310051042030f0964050f96030e042d050efe030d020a 050d18030d40040cfe030b020a050b40386b030a0964050a7d03096403080711050814030711 0306053205067d0305042d0505320304031005042d03031003020a0301530300fe0301b80164 858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d000000> 2b2b2b2b2b2b2b2b2b2b2b1d000000> ] def /f-0-0 currentdict end definefont pop %%EndResource

Encoding 82 /R put Encoding 83 /S put Encoding 97 /a put Encoding 98 /b put Encoding 99 /c put Encoding 100 /d put Encoding 101 /e put Encoding 103 /g put

Encoding 116 /t put Encoding 117 /u put Encoding 118 /v put /CharStrings 22 24 dict dup begin /.notdef 0 def /o 1 def /r 2 def

/d 19 def /v 20 def /period 21 def /c 22 def /b 23 def end readonly def /sfnts [ <00010000000900800003001063767420ffd31d3900000dd0000001fc6670676de7b4f1c40000 0fcc0000008b676c7966d35ca7000000009c00000d3468656164dd84a2d00000105800000036 68686561104507790000109000000024686d74785ed50b86000010b4000000586c6f6361241c 21b60000110c0000002e6d6178700451063a0000113c00000020707265703b07f1000000115c <00010000000900800003001063767420ffd31d3900000f00000001fc6670676de7b4f1c40000 10fc0000008b676c79668787f58b0000009c00000e6468656164dd84a2d00000118800000036 686865611045077b000011c000000024686d7478684f0cb1000011e4000000606c6f63612b4e 289c00001244000000326d6178700453063a0000127800000020707265703b07f10000001298 0000056800020066fe96046605a400030007001a400c04fb0006fb0108057f0204002fc4d4ec 310010d4ecd4ec301311211125211121660400fc73031bfce5fe96070ef8f272062900020071 ffe30475047b000b0017004a401306b91200b90cb8128c1809120f51031215451810fcecf4ec

7b0475057a068500850189038904890586069600960197029a03980498059706a805a706b008 c008df08ff083e5d005d133309013301233dc3015e015ec3fe5cfa0460fc5403acfba0000000 000100db000001ae00fe00030011b7008302011900180410fcec31002fec3037331523dbd3d3 fefe013500b800cb00cb00c100aa009c01a600b800660000007100cb00a002b20085007500b8 fefe00010071ffe303e7047b0019003f401b00860188040e860d880ab91104b917b8118c1a07 120d004814451a10fce432ec310010e4f4ec10fef4ee10f5ee30400b0f1b101b801b901ba01b 05015d01152e0123220615141633323637150e0123220011100021321603e74e9d50b3c6c6b3 509d4e4da55dfdfed6012d010655a20435ac2b2be3cdcde32b2baa2424013e010e0112013a23 0000000200baffe304a40614000b001c0038401903b90c0f09b918158c0fb81b971900121247 180c06081a461d10fcec3232f4ec31002fece4f4c4ec10c6ee30b6601e801ea01e03015d0134 26232206151416333236013e01333212111002232226271523113303e5a79292a7a79292a7fd 8e3ab17bccffffcc7bb13ab9b9022fcbe7e7cbcbe7e702526461febcfef8fef8febc6164a806 1400013500b800cb00cb00c100aa009c01a600b800660000007100cb00a002b20085007500b8 00c301cb0189022d00cb00a600f000d300aa008700cb03aa0400014a003300cb000000d90502 00f4015400b4009c01390114013907060400044e04b4045204b804e704cd0037047304cd0460 0473013303a2055605a60556053903c5021200c9001f00b801df007300ba03e9033303bc0444

59212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b05 59b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e1 2d2c4b505820b0fd454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c 45442d00000100000002000026e03aa65f0f3cf5001f080000000000bab9f0b800000000bac2 45442d0000010000000200009d2d828e5f0f3cf5001f080000000000bab9f0b800000000bac2 6791fe89fe1d0a4c076d00000008000100000000000000010000076dfe1d00000abcfe89fe89 0a4c00010000000000000000000000000000001604cd006604e50071034a00ba023900c10514 0a4c00010000000000000000000000000000001804cd006604e50071034a00ba023900c10514 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 042b006f03230037051200ae07cb00ba04ec00710514007104bc003d028b00db046600710514 00ba00000022007400ac00d401380174020a022802440244028a0306039003a60456049404d0 0532059c05e80686069a06e607320000000100000018004d0007004200040002001000400007 00000415056800030001b8028040fffbfe03fa1403f92503f83203f79603f60e03f5fe03f4fe 03f32503f20e03f19603f02503ef8a4105effe03ee9603ed9603ecfa03ebfa03eafe03e93a03 e84203e7fe03e63203e5e45305e59603e48a4105e45303e3e22f05e3fa03e22f03e1fe03e0fe 03df3203de1403dd9603dcfe03db1203da7d03d9bb03d8fe03d68a4105d67d03d5d44705d57d 03d44703d3d21b05d3fe03d21b03d1fe03d0fe03cffe03cefe03cd9603cccb1e05ccfe03cb1e 03ca3203c9fe03c6851105c61c03c51603c4fe03c3fe03c2fe03c1fe03c0fe03bffe03befe03 bdfe03bcfe03bbfe03ba1103b9862505b9fe03b8b7bb05b8fe03b7b65d05b7bb03b78004b6b5 2505b65d40ff03b64004b52503b4fe03b39603b2fe03b1fe03b0fe03affe03ae6403ad0e03ac ab2505ac6403abaa1205ab2503aa1203a98a4105a9fa03a8fe03a7fe03a6fe03a51203a4fe03 a3a20e05a33203a20e03a16403a08a4105a096039ffe039e9d0c059efe039d0c039c9b19059c 64039b9a10059b19039a1003990a0398fe0397960d0597fe03960d03958a410595960394930e 05942803930e0392fa039190bb0591fe03908f5d0590bb039080048f8e25058f5d038f40048e 25038dfe038c8b2e058cfe038b2e038a8625058a410389880b05891403880b03878625058764 038685110586250385110384fe038382110583fe0382110381fe0380fe037ffe0340ff7e7d7d 057efe037d7d037c64037b5415057b25037afe0379fe03780e03770c03760a0375fe0374fa03 73fa0372fa0371fa0370fe036ffe036efe036c21036bfe036a1142056a530369fe03687d0367 11420566fe0365fe0364fe0363fe0362fe03613a0360fa035e0c035dfe035bfe035afe035958 0a0559fa03580a035716190557320356fe035554150555420354150353011005531803521403 514a130551fe03500b034ffe034e4d10054efe034d10034cfe034b4a13054bfe034a4910054a 1303491d0d05491003480d0347fe0346960345960344fe0343022d0543fa0342bb03414b0340 fe033ffe033e3d12053e14033d3c0f053d12033c3b0d053c40ff0f033b0d033afe0339fe0338 37140538fa033736100537140336350b05361003350b03341e03330d0332310b0532fe03310b 03302f0b05300d032f0b032e2d09052e10032d09032c32032b2a25052b64032a2912052a2503 2912032827250528410327250326250b05260f03250b0324fe0323fe03220f03210110052112 032064031ffa031e1d0d051e64031d0d031c1142051cfe031bfa031a42031911420519fe0318 64031716190517fe031601100516190315fe0314fe0313fe031211420512fe0311022d051142 03107d030f64030efe030d0c16050dfe030c0110050c16030bfe030a100309fe0308022d0508 fe030714030664030401100504fe03401503022d0503fe0302011005022d0301100300fe0301 b80164858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b1d00> 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00> ] def /f-1-0 currentdict end definefont pop %%EndResource %%EndSetup %%Page: 1 1 %%BeginPageSetup %%PageBoundingBox: 0 -1 270 102 422 103 %%EndPageSetup q 0 -1 270 103 422 104 rectclip q 0.823529 g 213.609 98.785 365.609 89.201 43.922 -10.242 re f 186.328 86.144 338.328 76.56 62.883 -24.559 re f 25.531 73.586 64.002 126.078 -24 re f 0 g BT 10 0 0 10 14.809473 89.584012 80 Tm /f-0-0 1 Tf [(T f)]TJ 5.2 0 0 5.2 28.36416 87.584012 78 Tm [(OS)-3(Rfrom)]TJ 10 0 0 10 52.586817 89.584012 80 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 f)]TJ 5.2 0 0 5.2 82.289942 50.084012 79.536035 40.5 Tm [(OS)-3(Rto)]TJ [(stub)]TJ 10 0 0 10 99.261034 52.084012 90.982126 42.5 Tm [(\(liv)-3(e vars\))]TJ -8.445156 -7.617265 -1.25 Td [( B)]TJ 0 -1.25 Td (})Tj 16.24 31.440058 6.290234 Td [(T f')]TJ 5.2 0 0 5.2 193.518064 87.986356 345.518644 78.402344 Tm [(OS)-3(Rto)]TJ 10 0 0 10 210.489157 89.986356 362.489736 80.402344 Tm [(\(liv)-3(e vars\){)]TJ -3.327969 -1.25 Td [( comp_code )]TJ

2 J 0 j [] 0.0 d 4 M 10.809 101.785 92.201 144.602 -92 re S 0.4 w 173.41 101.586 95.598 325.41 92.002 95.602 -91.801 re S BT 8 0 0 8 26.641115 1.664059 96.080017 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 OSR)37(-inst)-3(rumented)]TJ 37.919799 0 Td [(var)-3(ian)-3(t, OS)-4(R)40(-ins)-3(trum.)]TJ 10 0 0 10 14.25773 64.325589 54.741577 Tm /f-0-0 1 Tf (L:)Tj ET 0.8 w 0 J 1.211 93.586 84.002 m 13.211 93.586 84.002 l S 9.023 91.648 82.064 m 14.27 93.578 83.994 l 9.023 95.504 85.92 l 9.863 94.367 84.783 9.859 92.808 83.225 9.023 91.648 82.064 c h 9.023 91.648 82.064 m f* 0.3 w 1 j q -1 0 0 -1 0 101.984055 102.158142 cm -9.023 10.336 20.094 m -14.27 8.406 18.164 l -9.023 6.48 16.238 l -9.863 7.617 17.375 -9.859 9.176 18.934 -9.023 10.336 20.094 c h -9.023 10.336 20.094 m S Q 0.8 w 0 j 153.211 57.586 381.211 56.639 m 165.211 57.586 389.211 56.639 l 165.211 93.586 389.211 32.639 l 173.211 93.586 345.211 32.639 l S 169.023 91.648 349.395 34.576 m 174.27 93.578 344.148 32.646 l 169.023 95.504 349.395 30.721 l 169.863 94.367 169.859 92.808 169.023 91.648 348.555 31.857 348.562 33.416 349.395 34.576 c h 169.023 91.648 349.395 34.576 m f* 0.3 w 1 j q -1 1 0 0 -1 1 0 101.984055 102.158142 cm -169.023 10.336 349.395 -67.582 m -174.27 8.406 344.148 -69.512 l -169.023 6.48 349.395 -71.438 l -169.863 7.617 -169.859 9.176 -169.023 10.336 348.555 -70.301 348.562 -68.742 349.395 -67.582 c h -169.023 10.336 349.395 -67.582 m S Q 0.8 w 0 j 229.211 66.222 57.211 40.002 m 237.211 66.222 57.211 8.002 l 237.211 42.222 l 193.211 42.222 1.211 8.002 l S 197.395 44.16 5.395 9.935 m 192.148 42.23 0.148 8.006 l 197.395 40.304 5.395 6.08 l 196.555 41.441 196.562 43 197.395 44.16 4.555 7.217 4.562 8.775 5.395 9.935 c h 197.395 44.16 5.395 9.935 m f* 0.3 w 1 j q 1 0 0 1 0 101.984055 102.158142 cm 197.395 -57.824 5.395 -92.223 m 192.148 -59.754 0.148 -94.152 l 197.395 -61.68 5.395 -96.078 l 196.555 -60.543 196.562 -58.984 197.395 -57.824 4.555 -94.941 4.562 -93.383 5.395 -92.223 c h 197.395 -57.824 5.395 -92.223 m S Q 0.8 w 0 j 177.211 17.586 [ 0.8 0.8] 0 d 13.211 20.002 m 165.211 17.586 l 165.211 53.586 l 153.211 53.586 1.211 20.002 l S 157.395 55.519 5.395 21.935 m 152.148 53.593 0.148 20.006 l 157.395 51.664 5.395 18.08 l 156.555 52.8 156.562 54.359 157.395 55.519 4.555 19.217 4.562 20.775 5.395 21.935 c h 157.395 55.519 5.395 21.935 m f* 0.3 w 1 j [] 0.0 d q 1 0 0 1 0 101.984055 102.158142 cm 157.395 -46.465 5.395 -80.223 m 152.148 -48.391 0.148 -82.152 l 157.395 -50.32 5.395 -84.078 l 156.555 -49.184 156.562 -47.625 157.395 -46.465 4.555 -82.941 4.562 -81.383 5.395 -80.223 c h 157.395 -46.465 5.395 -80.223 m S Q 0.8 0.823529 g 175.008 92.002 130.203 -56 re f 0 g BT 10 0 0 10 178.809477 80.402344 Tm /f-0-0 1 Tf [(T f)]TJ 5.2 0 0 5.2 192.364164 78.402344 Tm [(stub)]TJ 10 0 0 10 203.810257 80.402344 Tm [(\(liv)-3(e vars\){)]TJ -2.500078 -1.25 Td [( f')]TJ 5.2 0 0 5.2 197.989164 65.902344 Tm [(OS)-3(Rto)]TJ 10 0 0 10 214.960256 67.902344 Tm [(=gen\(f)37(, L\) )]TJ -3.615078 -1.25 Td [( return )-3(f')]TJ 5.2 0 0 5.2 233.55557 53.402344 Tm [(OS)-3(Rto)]TJ 10 0 0 10 250.526663 55.402344 Tm [(\(liv)-3(e vars\))]TJ -7.171719 -1.25 Td (})Tj ET 0.4 w 2 J 0 j 57.211 49.586 m 57.211 17.586 l 1.211 17.586 l 175.008 92.002 130 -55.801 re S5.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 0 8 197.335661 96.080017 Tm /f-1-0 1 Tf [(OSR)]TJ [(code)3( gene)3(ra)-4(tion stub)]TJ ET 0.8 w 0 J 154.809 48.002 m 166.809 48.002 l 166.809 84.002 l 174.809 84.002 l S 170.625 82.064 m 175.867 83.994 l 170.625 85.92 l 171.461 84.783 171.457 83.225 170.625 82.064 c h 170.625 82.064 m f* 0.3 w 1 j q -1 0 0 -1 0 102.158142 cm -170.625 20.094 m -175.867 18.164 l -170.625 16.238 l -171.461 17.375 -171.457 18.934 -170.625 20.094 c h -170.625 20.094 m S Q 0.8 w 0 j [ 0.8 0.8] 0 d 13.211 29.586 177.211 44.002 m 1.211 29.586 154.809 44.002 l S 5.395 31.519 158.996 45.935 m 0.148 29.593 153.75 44.006 l 5.395 27.664 158.996 42.08 l 4.555 28.8 4.562 30.359 5.395 31.519 158.156 43.217 158.16 44.775 158.996 45.935 c h 5.395 31.519 158.996 45.935 m f* 0.3 w 1 j [] 0.0 d q 1 0 0 1 0 101.984055 102.158142 cm 5.395 -70.465 158.996 -56.223 m 0.148 -72.391 153.75 -58.152 l 5.395 -74.32 158.996 -60.078 l 4.555 -73.184 4.562 -71.625 5.395 -70.465 158.156 -58.941 158.16 -57.383 158.996 -56.223 c h 5.395 -70.465 158.996 -56.223 m S Q 0.8 w 0 j 305.211 60.002 m 317.211 60.002 l 317.211 84.002 l 325.211 84.002 l S 321.023 82.064 m 326.27 83.994 l 321.023 85.92 l 321.863 84.783 321.859 83.225 321.023 82.064 c h 321.023 82.064 m f* 0.3 w 1 j q -1 0 0 -1 0 102.158142 cm -321.023 20.094 m -326.27 18.164 l -321.023 16.238 l -321.863 17.375 -321.859 18.934 -321.023 20.094 c h -321.023 20.094 m S Q 0.8 w 0 j 329.211 8.002 m 317.211 8.002 l 317.211 56.002 l 305.211 56.002 l S 309.395 57.935 m 304.148 56.006 l 309.395 54.08 l 308.555 55.217 308.562 56.775 309.395 57.935 c h 309.395 57.935 m f* 0.3 w 1 j q 1 0 0 1 0 102.158142 cm 309.395 -44.223 m 304.148 -46.152 l 309.395 -48.078 l 308.555 -46.941 308.562 -45.383 309.395 -44.223 c h 309.395 -44.223 m S Q BT 0 8 -8 0 315.497129 64.081299 Tm /f-1-0 1 Tf [(OSR)]TJ ET Q Q showpage %%Trailer Binary files a/figures/overview-osr-open/overview-osr-open.png and b/figures/overview-osr-open/overview-osr-open.png differ

width="1052.5" height="743.75" xml:space="preserve" sodipodi:docname="overview-osr-final.svg"> sodipodi:docname="overview-osr-open.svg"> id="metadata5613"> rdf:about="">image/svg+xml rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> id="defs5611"> inkscape:stockid="Arrow2Mend" orient="auto" refY="0.0" refX="0.0" id="marker4667" style="overflow:visible;" inkscape:isstock="true"> id="path4669" 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:stockid="Arrow2Mend" orient="auto" refY="0.0" refX="0.0" id="marker4447" style="overflow:visible;" inkscape:isstock="true"> id="path4449" 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="marker4353" 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="path4355" /> inkscape:isstock="true" style="overflow:visible;" id="marker4411"

id="namedview5609" showgrid="true" inkscape:zoom="2.46" inkscape:cx="219.86165" inkscape:cx="268.64214" inkscape:cy="439.13574" inkscape:window-x="0" inkscape:window-y="0"

id="rect5061" width="43.919998" height="10.24" x="228.39999" x="380.40057" y="-405.20001" transform="scale(1,-1)" /> transform="scale(1,-1)" y="-392.56009" x="201.12" x="353.12057" height="24.560089" width="62.880005" id="rect5055"

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' f style="font-size:51.99999809%;baseline-shift:sub" id="tspan4479">OSRto(live id="tspan4479">stub(live vars) x="29.600002" y="-346"

sodipodi:linespacing="125%" id="text4481" y="-396.40234" x="192" x="344.00058" 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" x="344.00058" id="tspan4483" sodipodi:role="line">T f' id="tspan4485"

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" x="344.00058" 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" x="344.00058" 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" x="344.00058" 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" x="344.00058" 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" x="344.00058" 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" x="344.00058" sodipodi:role="line">} transform="scale(1,-1)"

id="rect4505" width="95.599991" height="91.800003" x="188.20001" x="340.20059" y="-408" transform="scale(1,-1)" /> transform="scale(1,-1)" sodipodi:linespacing="125%" id="text4507" y="-308.08005" y="-412.08002" 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" y="-412.08002" 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" x="344.79004" y="-412.08002" id="text4511" sodipodi:linespacing="125%" transform="scale(1,-1)"> sodipodi:role="line" id="tspan4513" x="191.18945" y="-308.08005">variant, x="344.79004" y="-412.08002">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"

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 396,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" /> 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" /> 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="rect4304" width="130.19997" height="56" x="189.80003" y="-408" 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="193.60001" y="-396.40234" id="text4306" sodipodi:linespacing="125%" transform="scale(1,-1)"> sodipodi:role="line" id="tspan4308" x="193.60001" y="-396.40234" 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="tspan4310">stub(live vars){ sodipodi:role="line" x="193.60001" y="-383.90234" id="tspan4312" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> f' style="font-size:51.99999809%;baseline-shift:sub" id="tspan4342">OSRto=gen(f, L) sodipodi:role="line" x="193.60001" y="-371.40234" id="tspan4320" 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="tspan4351">OSRto(live vars) sodipodi:role="line" x="193.60001" y="-358.90234" id="tspan4322" 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)" y="-408" x="189.80003" height="55.799999" width="129.99998" id="rect4324" style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:0.39999998;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> transform="scale(1,-1)" sodipodi:linespacing="125%" id="text4326" y="-412.08002" x="212.12619" 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="-412.08002" x="212.12619" id="tspan4328" sodipodi:role="line">code generation stub sodipodi:nodetypes="cccc" inkscape:connector-curvature="0" id="path4330" d="m 169.6,364 12,0 0,36 8,0" 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)" /> sodipodi:nodetypes="cc" inkscape:connector-curvature="0" id="path4334" d="m 192,360 -22.4,0" style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker4447)" /> style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker4667)" d="m 320,376 12,0 0,24 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(#marker5917)" d="m 344,324 -12,0 0,48 -12,0" id="path5909" inkscape:connector-curvature="0" sodipodi:nodetypes="cccc" /> 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" x="380.0813" y="330.28766" 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" /> x="380.0813" y="330.28766">OSR

width=400 width=700