deletions | additions
diff --git a/figures/isordfrom/isordfrom.eps b/figures/isordfrom/isordfrom.eps
index aa87aab..d865ecd 100644
--- a/figures/isordfrom/isordfrom.eps
+++ b/figures/isordfrom/isordfrom.eps
...
%!PS-Adobe-3.0 EPSF-3.0
%%Creator: cairo 1.14.0 (http://cairographics.org)
%%CreationDate:
Mon Wed Sep
14 23:35:55 16 18:23:19 2015
%%Pages: 1
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
...
Encoding 114 /r put
Encoding 115 /s put
Encoding 116 /t put
Encoding 117 /u put
Encoding 118 /v put
Encoding 119 /w put
Encoding 121 /y put
/CharStrings
41 42 dict dup begin
/.notdef 0 def
/f 1 def
/r 2 def
...
/three 33 def
/two 34 def
/at 35 def
/parenleft /u 36 def
/asterisk /parenleft 37 def
/v /asterisk 38 def
/eight /v 39 def
/parenright /eight 40 def
/parenright 41 def
end readonly def
/sfnts [
<0001000000090080000300106376742051a29780000021d8000002bc6670676d611770640000
24940000008d676c796680a578300000009c0000213c686561648a879c000000252400000036
686865610711ff920000255c00000024686d7478c4d7180200002580000000a46c6f6361a63e
ae1800002624000000546d61787008440d81000026780000002070726570a926421700002698 <0001000000090080000300106376742051a29780000022c8000002bc6670676d611770640000
25840000008d676c79662953a7080000009c0000222c686561648a879c000000261400000036
686865610711ff930000264c00000024686d7478c9a4184400002670000000a86c6f6361b72a
ae9400002718000000566d61787008450d81000027700000002070726570a926421700002790
00000b8c00020066fe96046605a400030007001740090400060108050204002fccdccc310010
d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f2720629000000000100c7
000004620521003100574030312e2225002b2ed7251907f42000f325f61709eb10201a171104
...
33323633321615140623200011100033321615111e0115140623222627352e01232206151416
33323603462f552a6181b1990617065b538291a8a42d760f1b1f7f6ffef4fee7010cf0c4b31b
18392b163f51070d0d455338330d26017915149c7895ad027a86fee9fefee3fedc232c263e47
017c016b0159017ee5fcfe891b2e17263217adfe010155463a3f0a0000010191fe6f039a04c7
001e00254014070d13c500ac1f36080110030c3f0a010a0b191f10d4ec5de432315d0010fce4
39393001321615140706070602151416171e01151406232226272602353412373e01036a141c
30231451483a3c206a1b1227673b888b72724a7f04c71d1415523a2696fef29182f67a3fb516
141b4441970156b9a801378f5c630000000100cf019603fe04a200460076404e453e413c3b36
342e2d2c26251f1e1d1716100f0e080701001504221a380441ac4742413c001e05452c26251f
2d053d3b35342e0431291d1716100f05450e08070104130b0e130d45310e290d3d4710d4e4e4
dce4e411173912173911121739121739111739310010fcc432c4321117391239393001373e01
3332161f011e011514060705171e011514060f010e012322262f01070e012322262f012e0135
34363f01252e013534363f0135363332161f01033534363b0132161d0102a8fe0909040a0c09
1b04040f10fef2b80708120f460b1406060e068c8b070d0606150c46100f0807bafef2101104
041d0e0e060d06fa1d141f581e1403666f04020f1a540b1305090c033ad0070f0705110b3309
090c0aeeee0c0a0b09330b1006070f07cc3c030d0805150b52022703037301170a120d0d120a
000000010039ffe70491039c0028004a402c01291912151a10020300eb2109f915ae292a1901
2822211b1a1900071e012511100a09030212070d061e252910d4c4dcc4173912391117395d31
0010e4fc3cec1732113939113930011b012322263534363b0132161514062b01010e01232227
2627012322263534363b0132161514062301b6b4bd1036393946eb4639383611fed721353764
230402fee91036393a45fe453a393502c1fe5601aa38363b32333a3638fd89441f540a050277
38363b32333a363800030098ffdf0435050e000b0023002f005b403a180c2a8000f000020006
c31224c31eb912b5300b1d041f32183d0c42184d0c52185d0c080c2109181b032d1d211e091d
0f271d1b1e0f031d153010d4ecc4f4ec10eef4ee111239111239315d0010e4fcec10eed45dce
393930012206151416333236353426371e01151404232224353436372e013534363332161514
0601220615141633323635342602665c70725a5d707289717aff00cfcbfefd7a716e6ffbc5c5
fe71feae546e6e54566b6c021966555169665453686e29a06aa5d0d0a16ca12a3092639ac8ca
986394019d644c4c64614f4c6400000000010135fe6f033f04c7001e002140111c160fc503ac
1f301901190b090c12001f10d43cf4ec5d310010fce439393001343633321617161215140207
0e0123222635343736373612353426272e0101351c132d814a71728a883a6a27121b31241451
483a3c216b0496141d635c8dfec8a9b9feaa9740451b1416503b2596010e9283f67a42b10000
00ec008d00f30102010c0221024c00a0010200f800e10108020800d1013b01b800cd00d101a2
01e701a20000007500f200750102038b001901020102000e010c0442030a01a200f8011400db
00d704ec00c100f8010201020121007f003100ba03c900f800d700d7000000000056007f034c
0362039c001d00e500c100000468038d00c101a8018700ec01c700460396007d00cf0000007d
007d03cd0046011400cf033b00f8010c01ae019e000000f800f8000004420100010e02d100c1
008f021d008f00f800ec00fe00aa00aa00aa013f00890062006604c90087006f006800fe00b2
00c300dd00c300b2036800ec01ec013d019e0129003100f801020121018f009602f00196010e
021d034a035200b800a600a6029100a600b200c90000009302830400043900ba01830104010e
00c90104011201e300d100b604000191000000520000007d007d0000000000ec04f604a204a2
04a204a200000019013d01ec009600b600d90000002104ee04ee04ee04ee0098022104a204a2
001f00d900c500d900d900d90614065801b801c700cd0179022502a0015c00e3017900d904ee
00d90021009c009c0073040a00d900b400b4015004a200d9028500d900000056007d028500d9
009c0614040a039c039c039c039c00d9023d025405cd053d051d00d901a2039c00d9051d0521
018d0191039c013900d3018d00d900d900a8039c009c00d703cd06c1021d008f008f01f600cf
00a2013f01420062007904c900790079007d006800fe00aa030800a8006000d9015c00be0225
009602f002f60196010e021d01c70210034a01ee0321009a01ee04ee057102d1008d008d0571
008d02d104a200ac0093028302350083041400cd033b0168006f02d9001900d907a2039c00cb
0019065200c507b600d904a204a204a204a200d900f6056d00cd005600d90127019602a200d9
013b018500d900d916177fff008200304007060504030201002c2010b002254964b040515820
c859212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b
0559b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508
e12d2c4b505820b8015b454459212d2cb002254560442d2c4b5358b00225b002254544592121
2d2c45442d000000000100000001000039de1f4a5f0f3cf501110800000000005faa3a700000
0000c9b116dcfac1fcc6064608f3000100060001000000000000000100000608fe0800000696
fac1faca064600010000000000000000000000000000002904cd006604cd00c704cd007704cd
004604cdffee04cd000004cd00cd04cd000204cd019604cd009e04cd004a04cd004e04cd00a6
04cd009e04cd009604cd01a204cd00d304cd015c04cd009604cd005804cd006804cd004404cd
012d04cd007504cd005004cd005004cd003904cdffc904cd009a04cd005804cd004604cd003b
04cd019604cd009304cd007d04cd008704cd019104cd00cf04cd003904cd009804cd01350000
0022009000fa014201f401f402900310033203fe043e04ce0530058a0622066806c20704074c
07b6082e08a808ea092e09bc0a3a0aa80b380b640bd60c560cce0d040d900e0e0e980ede0f82
0fe4105a109e00010000002901320009007c00050002001000400011000007e80b9000030001
41ff02800159000c0003015800090003015700de000b00050157001d000301560155000c0005
0156001e00030155000c0003015400dd00100005015400a600030153002e0003015200f1000d
00050152002e0003015100fa0003014d014c00290005014d006b0003014c00290003014b014a
008c0005014b00fe0003014b00c00004014a014900590005014a008c0003014a008000040149
0148002600050149005900030149004000040148002600030147005d0003014600fe00030145
00fe0003014400fe0003014300ad004700050143007d00030143ffd00004014200fa00030141
00fe0003013f00fe0003013e00ad00470005013e007d0003013b00fe0003013a00bb00030139
00fa0003013800fe0003013700fe0003013600fe0003013300960003013200fe000301310032
0003013000350003012f012a00140005012f005d0003012e00640003012d00960003012c00fa
0003012b012a00140005012b00fe0003012a001400030129003a00030128007d00030127003a
0003012600fe00030124012300140005012400fe0003012300140003012000fe0003011f011e
00a60005011e00a60003011c00fe0003011b00290003011a00530003011900320003011800fe
0003011700c80003011600fe00030115003900030113003200030112011100fa0005011200fe
0003011100fa00030110006b0003010e00fe41ff0003010c010b00fe0005010b00fe0003010a
00fe0003010900fe0003010800fe0003010400fe0003010300fe000301020101001400050101
00140003010000e6000a000501000024000300ff00fe0017000500ff0078000300fe00170003
00fd004b000300fc00fe000300fb005d000300fa00fe000300f900e6000a000500f900fe0003
00f800f700fa000500f800fe000300f700fa000300f600f500fa000500f600fe000300f500ef
000e000500f500fa000300f4004b000300f300e6000a000500f30035000300f2002e000300f1
000d000300f000ef000e000500f000fe000300ef00ee0009000500ef000e000300ee00090003
00ed00ec0011000500ed002e000300ec0011000300eb00cf007d000500eb00fe000300ea00e9
0094000500ea00fe000300ea00c0000400e900e80061000500e90094000300e90080000400e8
00e7002e000500e80061000300e80040000400e700e6000a000500e7002e000300e6000a0003
00e30096000300e20014000300e100e0001a000500e100fe000300e000df0010000500e0001a
000300df0010000300de000b000300dd0010000300dc00bb000300db00a8000a000500db00fe
000300da00fe000300d90035000300d8007d000300d7002c000300d40064000300d300fe0003
00d200b40041000500d2005d000300d100fe000300d000fe000300cf007d000300ce00fe41ff
000300cd00fe000300cc00fe000300cb00ca0014000500cb00fe000300ca0014000300c90032
000300c800fe000300c700c60047000500c700fe000300c60047000300c500c40014000500c4
0014000300c30064000300c2002e000300c1007d000300c000bf0025000500c000fe000300bf
0025000300be00b40041000500be00fe000300beffd0000400bd00bc001d000500bd00320003
00bdffc0000400bc00a8000a000500bc001d000300b900b8008c000500b900fe000300b900c0
000400b800b70059000500b8008c000300b80080000400b700b60026000500b70059000300b7
0040000400b60026000300b500b40041000500b500fe000300b40041000300b300b200fe0005
00b30014000300b200fe000300b100fe000300b000fe000300af007d000300ae00ad00470005
00ae0096000300ad0047000300ac00ab008c000500ac00fe000300ac00c0000400ab00aa0059
000500ab008c000300ab0080000400aa00a90026000500aa0059000300aa0040000400a900a8
000a000500a90026000300a8000a000300a6000f000300a50011000300a400a20010000500a4
00fe000300a300fe000300a20010000300a100590011000500a100380003009f00fe0003009e
00fe0003009d00960003009c00960003009a009900290005009a007d00030099002900030098
00fe0003009700fe0003009500fe000341ff009400fe00030093009200140005009300bb0003
009200140003008f000d0003008e00960003008d008c00530005008d00fe0003008c00530003
008b00fe0003008a001b0003008900fe0003008800fe000300870086007d00050086007d0003
008300fe0003008000fe0003007f007e00210005007f00290003007e007d00640005007e0021
0003007d00640003007c00290003007b00fe0003007a00fe000300790078000a00050078000a
0003007700640003007600fe0003007500fe0003007400fe00030073007200260005007300fe
0003007200260003007100320003006f00960003006e00320003006b006a00fa0005006a00fa
0003006700350003006600fe0003006500fe0003006400fa00030063006200500005006300fe
0003006200500003005e00fe0003005c00fe0003005b00fa0003005a00bb0003005900110003
00580008000e00050058003e00030057003e00030056000e000300550054000e0005005500fe
00030054000e00030053005200320005005200320003005100fe0003005000bb0003004f0023
00230005004f00320003004e00fe0003004d00fe0003004c00fe0003004b004a000b0005004b
00fe0003004a000b00030049002900030048003400090005004800fe0003004700fe00030046
002c0003004500fe00030043003c0003004200fe00030041006b0003004000fe000341fe003e
000a0003003d00530003003c0008000e0005003c00960003003a00fe0003003900fe00030038
00fe000300370036001f0005003700fe000300360035000f00050036001f00030035000f0003
0034000900030033002c000300320096000300310008000e0005003100530003003000fe0003
002f003a0003002e007d0003002d00fe0003002c002b00210005002c00fa0003002b00290064
0005002b00210003002a002900640005002a0096000300290008000e00050029006400030028
00960003002700fe0003002600fe0003002500fe00030024002300230005002400bb00030023
0008000e0005002300230003002200640003002100fe0003002000960003001f000300260005
001f005d0003001e00fe0003001d001c00260005001d00fe0003001c00260003001b00fe0003
001a00fe00030019001b00030018001500080005001800290003001700fe0003001600150008
0005001600bb0003001500080003001400fe00030013001200140005001300fe000300120014
00030011001000fa0005001100fe0003001000fa0003000f00fe0003000d00fe0003000b0000
00230005000a00000023000500090008000e00050009009600030008000e0003000600050017
000500050017000300040003002600050004007d0003000300260003000200fe00030001007d
000300000023000300010118858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 017c016b0159017ee5fcfe891b2e17263217adfe010155463a3f0a0000010042ffe90479039c
0031006a403b18172e13312b1e030c2a0b07002ec11b1f00eb2607f91bae0ceb13272a20231e
0d1014081718040b01044c0700091048130b51234c2a09261e493210fc3cece4f43ce4fc3ce4
391217391139111239123931002fece4fc3cec3210ee11123939121739111239393001232226
3534363b01321615113332161514062b0122263d010e0123222635112322263534363b013216
151114163332363503041036373845bd1b1e1036393a45a81c1f308b5ea19c1136383946bc1b
1c444e536b02c138363b321714fd6a38343c3318154c4848c2c8014e38363b321714fe2f7b64
7b6400010191fe6f039a04c7001e00254014070d13c500ac1f36080110030c3f0a010a0b191f
10d4ec5de432315d0010fce439393001321615140706070602151416171e0115140623222627
2602353412373e01036a141c30231451483a3c206a1b1227673b888b72724a7f04c71d141552
3a2696fef29182f67a3fb516141b4441970156b9a801378f5c630000000100cf019603fe04a2
00460076404e453e413c3b36342e2d2c26251f1e1d1716100f0e080701001504221a380441ac
4742413c001e05452c26251f2d053d3b35342e0431291d1716100f05450e08070104130b0e13
0d45310e290d3d4710d4e4e4dce4e411173912173911121739121739111739310010fcc432c4
321117391239393001373e013332161f011e011514060705171e011514060f010e012322262f
01070e012322262f012e013534363f01252e013534363f0135363332161f01033534363b0132
161d0102a8fe0909040a0c091b04040f10fef2b80708120f460b1406060e068c8b070d060615
0c46100f0807bafef2101104041d0e0e060d06fa1d141f581e1403666f04020f1a540b130509
0c033ad0070f0705110b3309090c0aeeee0c0a0b09330b1006070f07cc3c030d0805150b5202
2703037301170a120d0d120a000000010039ffe70491039c0028004a402c01291912151a1002
0300eb2109f915ae292a19012822211b1a1900071e012511100a09030212070d061e252910d4
c4dcc4173912391117395d310010e4fc3cec1732113939113930011b012322263534363b0132
161514062b01010e012322272627012322263534363b0132161514062301b6b4bd1036393946
eb4639383611fed721353764230402fee91036393a45fe453a393502c1fe5601aa38363b3233
3a3638fd89441f540a05027738363b32333a363800030098ffdf0435050e000b0023002f005b
403a180c2a8000f000020006c31224c31eb912b5300b1d041f32183d0c42184d0c52185d0c08
0c2109181b032d1d211e091d0f271d1b1e0f031d153010d4ecc4f4ec10eef4ee111239111239
315d0010e4fcec10eed45dce393930012206151416333236353426371e011514042322243534
36372e0135343633321615140601220615141633323635342602665c70725a5d707289717aff
00cfcbfefd7a716e6ffbc5c5fe71feae546e6e54566b6c021966555169665453686e29a06aa5
d0d0a16ca12a3092639ac8ca986394019d644c4c64614f4c6400000000010135fe6f033f04c7
001e002140111c160fc503ac1f301901190b090c12001f10d43cf4ec5d310010fce439393001
3436333216171612151402070e0123222635343736373612353426272e0101351c132d814a71
728a883a6a27121b31241451483a3c216b0496141d635c8dfec8a9b9feaa9740451b1416503b
2596010e9283f67a42b1000000ec008d00f30102010c0221024c00a0010200f800e101080208
00d1013b01b800cd00d101a201e701a20000007500f200750102038b001901020102000e010c
0442030a01a200f8011400db00d704ec00c100f8010201020121007f003100ba03c900f800d7
00d7000000000056007f034c0362039c001d00e500c100000468038d00c101a8018700ec01c7
00460396007d00cf0000007d007d03cd0046011400cf033b00f8010c01ae019e000000f800f8
000004420100010e02d100c1008f021d008f00f800ec00fe00aa00aa00aa013f008900620066
04c90087006f006800fe00b200c300dd00c300b2036800ec01ec013d019e0129003100f80102
0121018f009602f00196010e021d034a035200b800a600a6029100a600b200c9000000930283
0400043900ba01830104010e00c90104011201e300d100b604000191000000520000007d007d
0000000000ec04f604a204a204a204a200000019013d01ec009600b600d90000002104ee04ee
04ee04ee0098022104a204a2001f00d900c500d900d900d90614065801b801c700cd01790225
02a0015c00e3017900d904ee00d90021009c009c0073040a00d900b400b4015004a200d90285
00d900000056007d028500d9009c0614040a039c039c039c039c00d9023d025405cd053d051d
00d901a2039c00d9051d0521018d0191039c013900d3018d00d900d900a8039c009c00d703cd
06c1021d008f008f01f600cf00a2013f01420062007904c900790079007d006800fe00aa0308
00a8006000d9015c00be0225009602f002f60196010e021d01c70210034a01ee0321009a01ee
04ee057102d1008d008d0571008d02d104a200ac0093028302350083041400cd033b0168006f
02d9001900d907a2039c00cb0019065200c507b600d904a204a204a204a200d900f6056d00cd
005600d90127019602a200d9013b018500d900d916177fff008200304007060504030201002c
2010b002254964b040515820c859212d2cb002254964b040515820c859212d2c20100720b000
50b00d7920b8ffff5058041b0559b0051cb0032508b0042523e120b00050b00d7920b8ffff50
58041b0559b0051cb0032508e12d2c4b505820b8015b454459212d2cb002254560442d2c4b53
58b00225b0022545445921212d2c45442d0000000001000000010000bd0db7925f0f3cf50111
0800000000005faa3a7000000000c9b116dcfac1fcc6064608f3000100060001000000000000
000100000608fe0800000696fac1faca064600010000000000000000000000000000002a04cd
006604cd00c704cd007704cd004604cdffee04cd000004cd00cd04cd000204cd019604cd009e
04cd004a04cd004e04cd00a604cd009e04cd009604cd01a204cd00d304cd015c04cd009604cd
005804cd006804cd004404cd012d04cd007504cd005004cd005004cd003904cdffc904cd009a
04cd005804cd004604cd003b04cd019604cd009304cd007d04cd008704cd004204cd019104cd
00cf04cd003904cd009804cd013500000022009000fa014201f401f402900310033203fe043e
04ce0530058a0622066806c20704074c07b6082e08a808ea092e09bc0a3a0aa80b380b640bd6
0c560cce0d040d900e0e0e980f100f560ffa105c10d21116000000010000002a01320009007c
00050002001000400011000007e80b900003000141ff02800159000c00030158000900030157
00de000b00050157001d000301560155000c00050156001e00030155000c0003015400dd0010
0005015400a600030153002e0003015200f1000d00050152002e0003015100fa0003014d014c
00290005014d006b0003014c00290003014b014a008c0005014b00fe0003014b00c00004014a
014900590005014a008c0003014a008000040149014800260005014900590003014900400004
0148002600030147005d0003014600fe0003014500fe0003014400fe0003014300ad00470005
0143007d00030143ffd00004014200fa0003014100fe0003013f00fe0003013e00ad00470005
013e007d0003013b00fe0003013a00bb0003013900fa0003013800fe0003013700fe00030136
00fe0003013300960003013200fe0003013100320003013000350003012f012a00140005012f
005d0003012e00640003012d00960003012c00fa0003012b012a00140005012b00fe0003012a
001400030129003a00030128007d00030127003a0003012600fe000301240123001400050124
00fe0003012300140003012000fe0003011f011e00a60005011e00a60003011c00fe0003011b
00290003011a00530003011900320003011800fe0003011700c80003011600fe000301150039
00030113003200030112011100fa0005011200fe0003011100fa00030110006b0003010e00fe
41ff0003010c010b00fe0005010b00fe0003010a00fe0003010900fe0003010800fe00030104
00fe0003010300fe00030102010100140005010100140003010000e6000a0005010000240003
00ff00fe0017000500ff0078000300fe0017000300fd004b000300fc00fe000300fb005d0003
00fa00fe000300f900e6000a000500f900fe000300f800f700fa000500f800fe000300f700fa
000300f600f500fa000500f600fe000300f500ef000e000500f500fa000300f4004b000300f3
00e6000a000500f30035000300f2002e000300f1000d000300f000ef000e000500f000fe0003
00ef00ee0009000500ef000e000300ee0009000300ed00ec0011000500ed002e000300ec0011
000300eb00cf007d000500eb00fe000300ea00e90094000500ea00fe000300ea00c0000400e9
00e80061000500e90094000300e90080000400e800e7002e000500e80061000300e800400004
00e700e6000a000500e7002e000300e6000a000300e30096000300e20014000300e100e0001a
000500e100fe000300e000df0010000500e0001a000300df0010000300de000b000300dd0010
000300dc00bb000300db00a8000a000500db00fe000300da00fe000300d90035000300d8007d
000300d7002c000300d40064000300d300fe000300d200b40041000500d2005d000300d100fe
000300d000fe000300cf007d000300ce00fe41ff000300cd00fe000300cc00fe000300cb00ca
0014000500cb00fe000300ca0014000300c90032000300c800fe000300c700c60047000500c7
00fe000300c60047000300c500c40014000500c40014000300c30064000300c2002e000300c1
007d000300c000bf0025000500c000fe000300bf0025000300be00b40041000500be00fe0003
00beffd0000400bd00bc001d000500bd0032000300bdffc0000400bc00a8000a000500bc001d
000300b900b8008c000500b900fe000300b900c0000400b800b70059000500b8008c000300b8
0080000400b700b60026000500b70059000300b70040000400b60026000300b500b400410005
00b500fe000300b40041000300b300b200fe000500b30014000300b200fe000300b100fe0003
00b000fe000300af007d000300ae00ad0047000500ae0096000300ad0047000300ac00ab008c
000500ac00fe000300ac00c0000400ab00aa0059000500ab008c000300ab0080000400aa00a9
0026000500aa0059000300aa0040000400a900a8000a000500a90026000300a8000a000300a6
000f000300a50011000300a400a20010000500a400fe000300a300fe000300a20010000300a1
00590011000500a100380003009f00fe0003009e00fe0003009d00960003009c00960003009a
009900290005009a007d0003009900290003009800fe0003009700fe0003009500fe000341ff
009400fe00030093009200140005009300bb0003009200140003008f000d0003008e00960003
008d008c00530005008d00fe0003008c00530003008b00fe0003008a001b0003008900fe0003
008800fe000300870086007d00050086007d0003008300fe0003008000fe0003007f007e0021
0005007f00290003007e007d00640005007e00210003007d00640003007c00290003007b00fe
0003007a00fe000300790078000a00050078000a0003007700640003007600fe0003007500fe
0003007400fe00030073007200260005007300fe0003007200260003007100320003006f0096
0003006e00320003006b006a00fa0005006a00fa0003006700350003006600fe0003006500fe
0003006400fa00030063006200500005006300fe0003006200500003005e00fe0003005c00fe
0003005b00fa0003005a00bb000300590011000300580008000e00050058003e00030057003e
00030056000e000300550054000e0005005500fe00030054000e000300530052003200050052
00320003005100fe0003005000bb0003004f002300230005004f00320003004e00fe0003004d
00fe0003004c00fe0003004b004a000b0005004b00fe0003004a000b00030049002900030048
003400090005004800fe0003004700fe00030046002c0003004500fe00030043003c00030042
00fe00030041006b0003004000fe000341fe003e000a0003003d00530003003c0008000e0005
003c00960003003a00fe0003003900fe0003003800fe000300370036001f0005003700fe0003
00360035000f00050036001f00030035000f00030034000900030033002c0003003200960003
00310008000e0005003100530003003000fe0003002f003a0003002e007d0003002d00fe0003
002c002b00210005002c00fa0003002b002900640005002b00210003002a002900640005002a
0096000300290008000e0005002900640003002800960003002700fe0003002600fe00030025
00fe00030024002300230005002400bb000300230008000e0005002300230003002200640003
002100fe0003002000960003001f000300260005001f005d0003001e00fe0003001d001c0026
0005001d00fe0003001c00260003001b00fe0003001a00fe00030019001b0003001800150008
0005001800290003001700fe00030016001500080005001600bb0003001500080003001400fe
00030013001200140005001300fe00030012001400030011001000fa0005001100fe00030010
00fa0003000f00fe0003000d00fe0003000b000000230005000a00000023000500090008000e
00050009009600030008000e0003000600050017000500050017000300040003002600050004
007d0003000300260003000200fe00030001007d000300000023000300010118858d012b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00> 2b2b2b2b2b2b2b2b2b2b2b1d00>
] def
/f-1-0 currentdict end definefont pop
%%EndResource
...
0 -2.5 Td
(osr:)Tj
0 -1.25 Td
[( %osr.res = c)3(all i32
@isordascto\()]TJ @isordstub\()]TJ
0 -1.25 Td
[( )3(i64* %)3(v, i64)3( %n, i64 %)3(i, i32)3( \(i8*,)3( i8*\)* %c\))
]TJ
diff --git a/figures/isordfrom/isordfrom.png b/figures/isordfrom/isordfrom.png
index ee2f968..fc2d6eb 100644
Binary files a/figures/isordfrom/isordfrom.png and b/figures/isordfrom/isordfrom.png differ
diff --git a/figures/isordfrom/isordfrom.svg b/figures/isordfrom/isordfrom.svg
index d536f7a..3ec2321 100644
--- a/figures/isordfrom/isordfrom.svg
+++ b/figures/isordfrom/isordfrom.svg
...
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.07"
inkscape:cx="83.982131" inkscape:cx="79.309234"
inkscape:cy="735.62784"
inkscape:document-units="px"
inkscape:current-layer="layer1"
...
id="flowPara5618"> %i = phi i64 [%i1, %loop.header], [1,%entry]
id="flowPara5620"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %p.osr = phi i64 [%p.osr1, %loop.header],
id="flowPara5622"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> [1000, %entry]
id="flowPara5624"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">
%p.osr1 = add nsw i64 %p.osr, -1 [1000, %entry]
id="flowPara5626"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %p.osr1 = add nsw i64 %p.osr, -1
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara3399"> %osr.cond = icmp eq i64 %p.osr, 0
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> br i1 %osr.cond, label %osr,
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara4191"> label %loop.body.cont
id="flowPara5634" id="flowPara5636"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">loop.body.cont:
id="flowPara5636"> id="flowPara3383"> %t2 = getelementptr inbounds i64* %v, i64 %i %t3 = add nsw i64 %i, -1
id="flowPara5640"> %t4 = getelementptr inbounds i64* %v, i64 %t3
id="flowPara5642"> %t5 = bitcast i64* %t4 to i8*
...
id="flowPara5670"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">osr:
id="flowPara5672"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> %osr.res = call i32
@isordascto( @isordstub(
id="flowPara5676"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> i64* %v, i64 %n, i64 %i, i32 (i8*, i8*)* %c)
id="flowPara5678"
diff --git a/overview.tex b/overview.tex
index d5b282e..c67d3c5 100644
--- a/overview.tex
+++ b/overview.tex
...
\end{figure}
\fi
\noindent The open OSR scenario is similar, with one main difference (see \myfigure\ref{fi:overview-osr-open}): instead of calling \fosrto\ directly, \fosrfrom\ calls a stub function \fstub, which first creates \fosrto\ and then calls it. Function \fosrto\ is generated by a function {\tt gen} that takes the base function \fbase\ and the OSR point \osrpoint\ as input. The reason for having a stub in the open OSR scenario, rather than directly instrumenting \fbase\ with the code generation machinery, is to minimize the extra code injected into \fbase. Indeed, instrumentation may interfere with optimizations, e.g., by increasing register pressure and altering code layout and instruction cache behavior.
\paragraph{Discussion.}
