deletions | additions
diff --git a/figures/isord2to/isord2to.eps b/figures/isord2to/isord2to.eps
index 6403766..cacd489 100644
--- a/figures/isord2to/isord2to.eps
+++ b/figures/isord2to/isord2to.eps
...
%!PS-Adobe-3.0 EPSF-3.0
%%Creator: cairo 1.14.0 (http://cairographics.org)
%%CreationDate: Mon Sep 14
21:17:14 22:16:14 2015
%%Pages: 1
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
...
/s 10 def
/o 11 def
/r 12 def
/parenleft /a 13 def
/parenright /c 14 def
/braceleft /parenleft 15 def
/t /parenright 16 def
/y /braceleft 17 def
/colon /t 18 def
/percent /y 19 def
/one /colon 20 def
/equal /percent 21 def
/c /one 22 def
/m /equal 23 def
/p /m 24 def
/g /p 25 def
/six /g 26 def
/four /six 27 def
/underscore /four 28 def
/comma /underscore 29 def
/b /comma 30 def
/l /b 31 def
/a /l 32 def
/period 33 def
/x 34 def
/h 35 def
...
<00010000000900800003001063767420f78470aa00002fc4000002906670676d6117704c0000
32540000008d676c7966074bf8560000009c00002f2868656164ce375b3a000032e400000036
6868656106ebff910000331c00000024686d7478e67321e800003340000000c06c6f63610004
8ca400003400000000c46d617870084b0cef000034c40000002070726570787ac61a000034e4 90c800003400000000c46d617870084b0cef000034c40000002070726570787ac61a000034e4
00000a9d00020066fe96046605a400030007001740090400060108050204002fccdccc310010
d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f272062900000000020058
ffe7049a051d0024003000d741560043000f0053000f00ac000500aa000800a3000f00bc0005
...
32ecfcfcc410ee111239391112393025213216151406232122263534363b0111232226353436
3b0132161d013e01333216151406232226232206070204014c2725232ffd722728292bae4461
302728e41b1c5fce77596e3721176d2b4ead698d2124291f2424232202811f2923231514aa77
74483925393d6f780001019cfe6f033104c5001d0021401103090fc71bb31e0c001390060106
11151e10d4ec5de432310010fce4393930011406070602151416171e01151406232226272602
353412373e013332160331431144393031195713101f4c326b6a57593a622610130498158b29
9ffef88e83f57a42b31516194148990150b9a90133905f6019000001019afe6f033104c5001d
0033402209031bc70fb31e19091903191319172909290329132917089f0601061115130c001e
10d43cf4ec5d315d0010fce4393930013436373612353426272e013534363332161716121514
02070e01232226019a4412433a31321a561410214b326b6a59593e5d261014fe9e148929a001
098d80f77c42b3161419414798feaeb9a9fecc90625c1a0000000001011bfe8b03b205100030
0080412d002d001f002e00200004002a001b0012003100180000001b00150004003100110003
00150007010a000e001b010a0015010b000e010c002a010a002300e4003100000018002d0003
006f001f0011006e0026000b00700018003110d4e432f43cec321239310010fcece4f4ec10ee
11393911391112393912391112173930011e011d011416171617161514062322263d01342627
2e01353436373637363d01343633321615140706070e011d011406021b64502c3a0d18582e2a
a98a428127221c1f0f1ca68ca9292d58110a3f315001cd1f8da69468460e03030c462226a8e8
74756116062527202408030723c277e7aa2722450b03010c4b6c93a78c00000000010058ffee
046204ba003000a0413a0064000d0074000d0084000d0094000d00a4000d0005001d00170008
001e0008000e0006002f0029002c0000000e000b00fa0017001f000600b9002c0026008f0000
000100000108001700d30031002600200023001d000600000007000300230011002f00070027
0027000f001d0001001d003110d45d3cec32c4c4c411393911123939310010e4fc5d3cc4ec32
10fec41112393911123939111239305d0132161514062321111416333236333216151406070e
01232226272e013d01112322263534363b013d0134363332161d010377312d2a2afe6b55675b
fe1e1c27313b629d45759f271411aa2a2634557125272c22036422252323feb2a4686a281d21
311727244b4a2360641f014e2125291ecd352b293259cb0000010039fe71048d039c002f00be
41320022002000440020006500200066001000040028002000300011000e000000b90007002f
0021001e000300110100002800170104000701030030000f00100011002f0000001f00200021
0008002c001400250067002c0004000b001b0067002c0014003010d4c4e4d4c410e611121739
0010e4fc3cec173210ee32111239304b53584114001001450020014500100011000f01450021
01450000002f000000200145001f0145001100110010070510ecec0710ecec08ecec5931005d
01333216151406232122263534363b0113012226353436332132161514062b01090123222635
34363b01321615140607021b2b49342927fe332f252727d9a2fe914231282801173826324325
010f01142745342639f729272c38ff001f29232420272424013f02cf202823231f272820fdd9
02272028271f2323262002000000000201a2fff2032b037f000b00170020401009d4030fd415
d303f31812061b0c001810d43cec32310010ecf4ec10ee300134363332161514062322261134
3633321615140623222601a26d57596c6d58586c6d57596c6d58586c02cd4e646250506262fe
274e646250506262000500cdfffe03fe04f0000b0017002b00370043006f404004210b2b0221
2b41222f25181b0fbf1bc141c015bf3b09bf25c12fc003bf35ba3bbe442b22280c21181e0600
0c2c120c3e060c2c0a1e08323e0a0c0c2808384410d4e4ece4d4e4e4ec10ee10ee1112393911
123939310010ecf4ecf4e4ec10eef6e6ee12391112391139395d300114163332363534262322
06031416333236353426232206053e0133321615140607010e01232226353436371334363332
1615140623222603343633321615140623222602335d4b4c5c5c4c4b5de95c4c4c5c5c4c4c5c
0256070f06191f1712fd60080d06181f1712b4a5807ea5a47f7fa6e9a5807ea4a47e80a5010c
44555544455354029143545344455354f403031e19111f07fef503032018111e08fee5759898
75759999034a759a9a7575999900000000010104000003fa050800210041402421100a090005
030dbe1f11c4180a20181215100019091f04200615101d20060f1c011c2210d45dc4d4fcc411
12173911123939123931002fec32fcc4173930010e0123222635343637253e01333216151133
3216151406232122263534363b011101770d0d051f27222001290b150b1316a059302828fdaa
28283059a604310202231d182409500303231efbc61d2824242424281d03d100000200660185
04660368000d001b002940180ecc15df07cc00de1c16150f0e0807010008120425190b1c10d4
3cec321739310010fcecfcec3013213216151406232122263534361321321615140623212226
353436a603811e21211efc7f1f21211f03811e21211efc7f1f21210219272324262624242601
4f262324262525242500000000010060ffe7042d03b4002c007b405c851c8f0f99239f0f9b0e
9912a42cbb0fba23b42c0a080b0701000311044f0b5f0b6f0b641c741c7f0b9f0baf0ba41cb0
1e0a1e17fa240b11e0042af724d32d4412441654125416a926a928ba26ba28080e1400312107
54142827562d10fcecf4c4ec1139315d0010e4fcc4ecc410fec45d111217391139305d013534
363332161d011406232226272e01232206151416333236373637363332161514042322003534
0033321603932628291f26261b271c3089599cc3bb93437936132041251f27fed5a8d9fedf01
20d84c99036004211f304bba25251f315153b89295bd25250c1935271f4fa50116d0d0011729
00000001fffe000004e703b6004f011a416a009400380095001a0093003e0003000000430014
001b00060005002c004f0012000e0007003d00370033001500000018000300fa003a002c0100
003301040040003a00f70044002a001c0003000700fb004b0023000e004500420045003c0055
00420055003c0065003c0075003c0006003f002700010045004b00480043002d00300034002b
001d00230020001b003d000f00120008000e000b0006004c0000004800630000005c00430020
0061001b000b00610043005f00060037001b005c0030005700270052002b005f000600270012
005010d4ecf4e4e4ec3210e4e410e410eee41239111239391239391112393912391139111239
395d315d002f3c3cee1732ee32feee10ee32113911393911123939121739305d013426232206
15113332161514062b0122263d01113534262322060711333216151406232122263534363b01
112322263534363b013216173e01333216173e0133321615113332161514062b0122263503d9
333e4a57123d2922237f2b1f443b2d4b1b253c2a2230fef627252f4414124633282899211502
295e3b465b162a6e478177103e2a2423792826022d8d638070fe601d28242428421d01a64e4b
573534fdd91e27291f2325281d02812028232317252c2a3d3e3f3ca8bcfe3b1e272424303400
00020042fe710483039e0028003400de415700ac002400ac002700a3001d00bc002400bc0027
00b3001d0006002800290025001b001c00170010000e000000fb0007002900e00025002f00fa
001f00100100001701040007010300250107001f00f70035004b002e004b002a005b002e005b
002a00a5002100a6002300b5002100b6002300080018003200170011000e00080004000f000b
0007000100040000002c0028002200040032001b00000027002200550014000b0053000f0051
003510fce432e4fc3cc4c410ee11123939111217391139315d0010ece4e4fcec10ee10ee10ee
3211123939111239305d01333216151406232122263534363b01112322263534363b0132161d
013e01333200151404232226272532363534262322061514160164f02626252ffe4728293345
131345332928981e1b44a55fc9010eff00c76ab23c01368bb2b38a8ab0afff00242427202423
2820040e202823231415614646fef0cdc5fe4b4602af8b88b1b0898ab00000020085fe710485
039e000b003700ed41610043002a004c00200053002a005c0020006c00200073002a007c0020
00ac002000a3002a00bc002000ba002300b3002a000c002c002b0036002f001f001e000c0003
0022000600360100002f0018001b00e00012000000e00028000600e0002200120103002800f7
002f0104003800440001004400050054000100540005008a001d00aa002600aa002400ba0026
00ba00240009003600300033002f000c0009002b001e00270033001f008f000c00af000c0002
000c00540003002700150025003810d4c4ecf45de4fc3cc41139123939315d0010ecece4d4ec
10ee10fec410ee1112173911123939305d012206151416333236353426011406070e01232226
3534363332163332363d010e01232226353436333216173534363b0132161514062b01024a83
a6a68382a7a701301c2238ca89726933231b701d947c3d9460bbf5fcba4d934b1b1d97282832
45120308a2817fa3a37f7fa4fd2d8c752c4a4d2c301f2f0f88a5794742f9bfc0fd393a481514
23232820000200cdffdf03fc050e000b002400614045201b220c1509d90f0f010fd703b91522
b91bbe15d52504231423541654026b086b04640264167b087b0474027416841a84148410a623
1006071e221200200c071221181c2510f4e4fce410e4ee315d0010e4fcec10eef65dee123911
123930011416333236353426232206273e013332161514062322021110002132161514070607
0602018f8266607b7f64617f1636844e9eddd6a7c5ed015e011f613e764e2f9ec501857b9b92
767a9892984646eeaeb6ea013901050154019d1c27400201091efeff0000000200b2000003ee
050c00020038009940638a01ba010201201d1c1a15140725182c0f102b040b252100c42f0b31
09c418be032815381556026602760286029402a602b502092b2838322f22042c2002140c030f
061d1c20090315030600003501352c28061f0a001d0f2801281f30207f0f010f3910d45dd43c
e45dfc3ce410c6325d1112173912393911121739111217391139315d002feeee32d43cfe3cc6
12173911121739305d0111090122263534363b01352122263d0134373637013e01333217161f
011e0115113332363332161514060f010e012b01153332161514062302bafe85010f30222327
74fe2d191c1d050301a60e120f060f0404660e113316180f141c020308071b1d542340302828
01cd02a6fd5afe331f292421a8201e45282c080502cc190e02010110021b16fd08231e16090f
0829241aa81f2624240000000001ffeefe1d04dffe9300030011400601000400020410d4c431
0010d4c4300115213504dffb0ffe937676000001016dfebe032d014c0018002d401a1812110b
040e0a00190e03cd191812110b0a040300080719151910d4ec1739310010fccc123939111739
30013e013b01321615140607010e012322262f012e01353c013701f0081a1fdb0f120404feed
07180e03070846101002011722130c09051007fdc40f1202031a07120c0b090500020044ffee
0483051d000b003000d941550043000d0053000d00ac001600a3000d00bc001600b3000d0006
0030002c0025000c000f000600190018001c000000e0001500250100002c000600e0000f00f7
001500d3002c00ff002300fb001c004b0005004b0001005b0005005b000100a5001100a50013
00b5001100b500130008002600290023001d002c00030020001c002d0024000900190018000c
0003002800120009000c002700120055002900530020005200240051003110fce4e4e4fcc410
ee113939111239391117391139315d002feeeee4feee10ee10ee113939111239111239305d25
3236353426232206151416033e01333200151400232226271514062b0122263534363b011123
22263534363b01321615029c8db0b38a8bb1b1ad38a86ac9010cfeedc6699c321316b727262e
44151344322827981e1b8bb28e8bb4b38c8cb40281464afef1c8c5feee4a4b501b182424281d
0400202824241415000100ba0000043d051d001b0059411f000b00000100000700ff001a000c
00fb00130013000d00100008000b000700010014001a0004000400000010000b002700500017
0001001700040000001c10d4c4c45dfcc411121739123911393931002fec32fcec3930012322
263534363321321615112132161514062321222635343633210223aa61312927014a1b1e013a
2623222ffd1e27292a2a0115048d1f2924241613fb992124291f24242322000000020087ffe7
048703b4000c0035008340577a058b059b059a159507ab05a407a425ab28aa15b50abb1fba11
0d1a1d19350d3109000c2a192903e0e0160116fc09fa1020f81de026f710d32afb312b113a12
ba1203312b2e35320d03002e1f1900272950062823133610dcc4ecf4ec32e412173912393931
5d002fece4fcfce410eefe5dee393911393911123939111239305d012e012322061514163332
3635170e01232226353436333216173534262322062322263534363332161511333216151406
2b0122262703443767339ab26f567fd90852c16695b7f3dc3a763e6e744ec01f1d26ddacb0b4
31473028289d1c240601ba1211685844588548cf4a4ea6859eae0f1007736e542f253b52b3af
fe3b1e2724242220000101a2fff2032b0156000b0014400903d409d30c061b000c10d4ec3100 74483925393d6f7800020087ffe7048703b4000c0035008340577a058b059b059a159507ab05
a407a425ab28aa15b50abb1fba110d1a1d19350d3109000c2a192903e0e0160116fc09fa1020
f81de026f710d32afb312b113a12ba1203312b2e35320d03002e1f1900272950062823133610
dcc4ecf4ec32e4121739123939315d002fece4fcfce410eefe5dee3939113939111239391112
39305d012e0123220615141633323635170e0123222635343633321617353426232206232226
35343633321615113332161514062b0122262703443767339ab26f567fd90852c16695b7f3dc
3a763e6e744ec01f1d26ddacb0b431473028289d1c240601ba1211685844588548cf4a4ea685
9eae0f1007736e542f253b52b3affe3b1e272424222000010060ffe7042d03b4002c007b405c
851c8f0f99239f0f9b0e9912a42cbb0fba23b42c0a080b0701000311044f0b5f0b6f0b641c74
1c7f0b9f0baf0ba41cb01e0a1e17fa240b11e0042af724d32d4412441654125416a926a928ba
26ba28080e140031210754142827562d10fcecf4c4ec1139315d0010e4fcc4ecc410fec45d11
1217391139305d013534363332161d011406232226272e012322061514163332363736373633
321615140423220035340033321603932628291f26261b271c3089599cc3bb93437936132041
251f27fed5a8d9fedf0120d84c99036004211f304bba25251f315153b89295bd25250c193527
1f4fa50116d0d001172900000001019cfe6f033104c5001d0021401103090fc71bb31e0c0013
9006010611151e10d4ec5de432310010fce4393930011406070602151416171e011514062322
26272602353412373e013332160331431144393031195713101f4c326b6a57593a6226101304
98158b299ffef88e83f57a42b31516194148990150b9a90133905f6019000001019afe6f0331
04c5001d0033402209031bc70fb31e19091903191319172909290329132917089f0601061115
130c001e10d43cf4ec5d315d0010fce4393930013436373612353426272e0135343633321617
1612151402070e01232226019a4412433a31321a561410214b326b6a59593e5d261014fe9e14
8929a001098d80f77c42b3161419414798feaeb9a9fecc90625c1a0000000001011bfe8b03b2
051000300080412d002d001f002e00200004002a001b0012003100180000001b001500040031
0011000300150007010a000e001b010a0015010b000e010c002a010a002300e4003100000018
002d0003006f001f0011006e0026000b00700018003110d4e432f43cec321239310010fcece4
f4ec10ee11393911391112393912391112173930011e011d011416171617161514062322263d
013426272e01353436373637363d01343633321615140706070e011d011406021b64502c3a0d
18582e2aa98a428127221c1f0f1ca68ca9292d58110a3f315001cd1f8da69468460e03030c46
2226a8e874756116062527202408030723c277e7aa2722450b03010c4b6c93a78c0000000001
0058ffee046204ba003000a0413a0064000d0074000d0084000d0094000d00a4000d0005001d
00170008001e0008000e0006002f0029002c0000000e000b00fa0017001f000600b9002c0026
008f0000000100000108001700d30031002600200023001d000600000007000300230011002f
000700270027000f001d0001001d003110d45d3cec32c4c4c411393911123939310010e4fc5d
3cc4ec3210fec41112393911123939111239305d013216151406232111141633323633321615
1406070e01232226272e013d01112322263534363b013d0134363332161d010377312d2a2afe
6b55675bfe1e1c27313b629d45759f271411aa2a2634557125272c22036422252323feb2a468
6a281d21311727244b4a2360641f014e2125291ecd352b293259cb0000010039fe71048d039c
002f00be41320022002000440020006500200066001000040028002000300011000e000000b9
0007002f0021001e000300110100002800170104000701030030000f00100011002f0000001f
002000210008002c001400250067002c0004000b001b0067002c0014003010d4c4e4d4c410e6
111217390010e4fc3cec173210ee32111239304b53584114001001450020014500100011000f
0145002101450000002f000000200145001f0145001100110010070510ecec0710ecec08ecec
5931005d01333216151406232122263534363b0113012226353436332132161514062b010901
2322263534363b01321615140607021b2b49342927fe332f252727d9a2fe9142312828011738
26324325010f01142745342639f729272c38ff001f29232420272424013f02cf202823231f27
2820fdd902272028271f2323262002000000000201a2fff2032b037f000b00170020401009d4
030fd415d303f31812061b0c001810d43cec32310010ecf4ec10ee3001343633321615140623
222611343633321615140623222601a26d57596c6d58586c6d57596c6d58586c02cd4e646250
506262fe274e646250506262000500cdfffe03fe04f0000b0017002b00370043006f40400421
0b2b02212b41222f25181b0fbf1bc141c015bf3b09bf25c12fc003bf35ba3bbe442b22280c21
181e06000c2c120c3e060c2c0a1e08323e0a0c0c2808384410d4e4ece4d4e4e4ec10ee10ee11
12393911123939310010ecf4ecf4e4ec10eef6e6ee12391112391139395d3001141633323635
3426232206031416333236353426232206053e0133321615140607010e012322263534363713
343633321615140623222603343633321615140623222602335d4b4c5c5c4c4b5de95c4c4c5c
5c4c4c5c0256070f06191f1712fd60080d06181f1712b4a5807ea5a47f7fa6e9a5807ea4a47e
80a5010c44555544455354029143545344455354f403031e19111f07fef503032018111e08fe
e575989875759999034a759a9a7575999900000000010104000003fa05080021004140242110
0a090005030dbe1f11c4180a20181215100019091f04200615101d20060f1c011c2210d45dc4
d4fcc41112173911123939123931002fec32fcc4173930010e0123222635343637253e013332
161511333216151406232122263534363b011101770d0d051f27222001290b150b1316a05930
2828fdaa28283059a604310202231d182409500303231efbc61d2824242424281d03d1000002
0066018504660368000d001b002940180ecc15df07cc00de1c16150f0e080701000812042519
0b1c10d43cec321739310010fcecfcec30132132161514062321222635343613213216151406
23212226353436a603811e21211efc7f1f21211f03811e21211efc7f1f212102192723242626
242426014f26232426252524250000000001fffe000004e703b6004f011a416a009400380095
001a0093003e0003000000430014001b00060005002c004f0012000e0007003d003700330015
00000018000300fa003a002c0100003301040040003a00f70044002a001c0003000700fb004b
0023000e004500420045003c005500420055003c0065003c0075003c0006003f002700010045
004b00480043002d00300034002b001d00230020001b003d000f00120008000e000b0006004c
0000004800630000005c004300200061001b000b00610043005f00060037001b005c00300057
00270052002b005f000600270012005010d4ecf4e4e4ec3210e4e410e410eee4123911123939
1239391112393912391139111239395d315d002f3c3cee1732ee32feee10ee32113911393911
123939121739305d01342623220615113332161514062b0122263d0111353426232206071133
3216151406232122263534363b01112322263534363b013216173e01333216173e0133321615
113332161514062b0122263503d9333e4a57123d2922237f2b1f443b2d4b1b253c2a2230fef6
27252f4414124633282899211502295e3b465b162a6e478177103e2a2423792826022d8d6380
70fe601d28242428421d01a64e4b573534fdd91e27291f2325281d02812028232317252c2a3d
3e3f3ca8bcfe3b1e27242430340000020042fe710483039e0028003400de415700ac002400ac
002700a3001d00bc002400bc002700b3001d0006002800290025001b001c00170010000e0000
00fb0007002900e00025002f00fa001f00100100001701040007010300250107001f00f70035
004b002e004b002a005b002e005b002a00a5002100a6002300b5002100b60023000800180032
00170011000e00080004000f000b0007000100040000002c0028002200040032001b00000027
002200550014000b0053000f0051003510fce432e4fc3cc4c410ee1112393911121739113931
5d0010ece4e4fcec10ee10ee10ee3211123939111239305d0133321615140623212226353436
3b01112322263534363b0132161d013e01333200151404232226272532363534262322061514
160164f02626252ffe4728293345131345332928981e1b44a55fc9010eff00c76ab23c01368b
b2b38a8ab0afff002424272024232820040e202823231415614646fef0cdc5fe4b4602af8b88
b1b0898ab00000020085fe710485039e000b003700ed41610043002a004c00200053002a005c
0020006c00200073002a007c002000ac002000a3002a00bc002000ba002300b3002a000c002c
002b0036002f001f001e000c00030022000600360100002f0018001b00e00012000000e00028
000600e0002200120103002800f7002f0104003800440001004400050054000100540005008a
001d00aa002600aa002400ba002600ba00240009003600300033002f000c0009002b001e0027
0033001f008f000c00af000c0002000c00540003002700150025003810d4c4ecf45de4fc3cc4
1139123939315d0010ecece4d4ec10ee10fec410ee1112173911123939305d01220615141633
3236353426011406070e012322263534363332163332363d010e012322263534363332161735
34363b0132161514062b01024a83a6a68382a7a701301c2238ca89726933231b701d947c3d94
60bbf5fcba4d934b1b1d9728283245120308a2817fa3a37f7fa4fd2d8c752c4a4d2c301f2f0f
88a5794742f9bfc0fd393a48151423232820000200cdffdf03fc050e000b002400614045201b
220c1509d90f0f010fd703b91522b91bbe15d52504231423541654026b086b04640264167b08
7b0474027416841a84148410a6231006071e221200200c071221181c2510f4e4fce410e4ee31
5d0010e4fcec10eef65dee123911123930011416333236353426232206273e01333216151406
23220211100021321615140706070602018f8266607b7f64617f1636844e9eddd6a7c5ed015e
011f613e764e2f9ec501857b9b92767a9892984646eeaeb6ea013901050154019d1c27400201
091efeff0000000200b2000003ee050c00020038009940638a01ba010201201d1c1a15140725
182c0f102b040b252100c42f0b3109c418be032815381556026602760286029402a602b50209
2b2838322f22042c2002140c030f061d1c20090315030600003501352c28061f0a001d0f2801
281f30207f0f010f3910d45dd43ce45dfc3ce410c6325d111217391239391112173911121739
1139315d002feeee32d43cfe3cc612173911121739305d0111090122263534363b0135212226
3d0134373637013e01333217161f011e0115113332363332161514060f010e012b0115333216
1514062302bafe85010f3022232774fe2d191c1d050301a60e120f060f0404660e113316180f
141c020308071b1d54234030282801cd02a6fd5afe331f292421a8201e45282c080502cc190e
02010110021b16fd08231e16090f0829241aa81f2624240000000001ffeefe1d04dffe930003
0011400601000400020410d4c4310010d4c4300115213504dffb0ffe937676000001016dfebe
032d014c0018002d401a1812110b040e0a00190e03cd191812110b0a040300080719151910d4
ec1739310010fccc12393911173930013e013b01321615140607010e012322262f012e01353c
013701f0081a1fdb0f120404feed07180e03070846101002011722130c09051007fdc40f1202
031a07120c0b090500020044ffee0483051d000b003000d941550043000d0053000d00ac0016
00a3000d00bc001600b3000d00060030002c0025000c000f000600190018001c000000e00015
00250100002c000600e0000f00f7001500d3002c00ff002300fb001c004b0005004b0001005b
0005005b000100a5001100a5001300b5001100b500130008002600290023001d002c00030020
001c002d0024000900190018000c0003002800120009000c0027001200550029005300200052
00240051003110fce4e4e4fcc410ee113939111239391117391139315d002feeeee4feee10ee
10ee113939111239111239305d253236353426232206151416033e0133320015140023222627
1514062b0122263534363b01112322263534363b01321615029c8db0b38a8bb1b1ad38a86ac9
010cfeedc6699c321316b727262e44151344322827981e1b8bb28e8bb4b38c8cb40281464afe
f1c8c5feee4a4b501b182424281d0400202824241415000100ba0000043d051d001b0059411f
000b00000100000700ff001a000c00fb00130013000d00100008000b000700010014001a0004
000400000010000b0027005000170001001700040000001c10d4c4c45dfcc411121739123911
393931002fec32fcec3930012322263534363321321615112132161514062321222635343633
210223aa61312927014a1b1e013a2623222ffd1e27292a2a0115048d1f2924241613fb992124
291f242423220000000101a2fff2032b0156000b0014400903d409d30c061b000c10d4ec3100
10f4ec3025343633321615140623222601a26d57596c6d58586ca44e64625050626200010052
00000489039c00430176416a0036000000360020007500000077003200870032008900420087
000f00840000009500000095003300a9004200b40033000c00220021002b000000320021003a
...
20c859212d2c20100720b00050b00d7920b8ffff5058041b0559b0051cb0032508b0042523e1
20b00050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b505820b8014345445921
2d2cb002254560442d2c4b5358b00225b0022545445921212d2c45442d000000000100000001
0000c43e99e55f0f3cf50111080000000000a380f9f000000000c9b116dcfac3fcbb061e08b7 0000c43e919d5f0f3cf50111080000000000a380f9f000000000c9b116dcfac3fcbb061e08b7
000000060001000100000000000100000608fe0800000696fac3fac2061e0001000000000000
0000000000000000003004cd006604cd005804cd006604cd00bc04cd00a604cd006804cd0000
04cd00b604cd00a204cd00dd04cd00b204cd005a04cd006d04cd019c04cd019a04cd011b04cd
005804cd003904cd01a204cd00cd04cd010404cd006604cd006004cdfffe04cd004204cd0085
04cd00cd04cd00b204cdffee04cd016d04cd004404cd00ba04cd008704cd01a204cd005204cd 04cd00b604cd00a204cd00dd04cd00b204cd005a04cd006d04cd008704cd006004cd019c04cd
019a04cd011b04cd005804cd003904cd01a204cd00cd04cd010404cd006604cdfffe04cd0042
04cd008504cd00cd04cd00b204cdffee04cd016d04cd004404cd00ba04cd01a204cd005204cd
006404cd019c04cd019c04cdffec04cd009a04cd004804cd00d104cd00ac04cd00cf04cd01ac
04cd00cf04cd00cd04cd011b0000000000000044000001a8000002dc000003f4000004e40000
064c0000064c0000077000000890000009bc00000bc800000c6400000d6000000de400000e7c
00000f8c000010b4000012000000126c000013a40000144c000014d0000015d0000017bc0000
193000001ab800001b9000001cd400001d0000001d8000001ee400001f94000020ac000020ec 064c0000064c0000077000000890000009bc00000bc800000c6400000d6000000e7800000f78
00000ffc00001094000011a4000012cc0000141800001484000015bc00001664000016e80000
18d400001a4800001bd000001ca800001dec00001e1800001e9800001ffc000020ac000020ec
0000231c00002480000025040000258c000027100000276800002898000029e400002ad40000
2bf400002c8000002d4c00002e1400002f2800010000003001910009007a0005000200100040
0011000007e80aa10003000141ff02800141001300030140000c0003013e00fe0003013d00fe
...
13.516 347.998 m f*
0 336.763 277.535 -24.953 re f
83.062 177.72 120.199 -10.934 re f
99.562 110.762 380.755 12.453 -9.438 re f
0 g
BT
9 0 0 9 3.124579 372.889154 Tm
/f-0-0 1 Tf
[(define i32
@isord2)]TJ @isordasc)]TJ
/f-1-0 1 Tf
[()3(to)]TJ [(to)]TJ
/f-0-0 1 Tf
0 -1.25 Td
( \()Tj
diff --git a/figures/isord2to/isord2to.png b/figures/isord2to/isord2to.png
index 7e47d32..eba0092 100644
Binary files a/figures/isord2to/isord2to.png and b/figures/isord2to/isord2to.png differ
diff --git a/figures/isord2to/isord2to.svg b/figures/isord2to/isord2to.svg
index 0cdbb07..782b54b 100644
--- a/figures/isord2to/isord2to.svg
+++ b/figures/isord2to/isord2to.svg
...
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.32"
inkscape:cx="192.48884"
inkscape:cy="926.40765" inkscape:cx="222.79187"
inkscape:cy="805.19553"
inkscape:document-units="px"
inkscape:current-layer="layer1"
showgrid="false"
...
image/svg+xml
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
...
id="rect6773"
width="15.566395"
height="11.795774"
x="144.8598" x="158.8598"
y="22.143856" />
xml:space="preserve"
...
x="56.451614"
y="126.55576"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.25px;line-height:125%;font-family:Courier;-inkscape-font-specification:'Courier, Normal';text-align:start;writing-mode:lr-tb;text-anchor:start" />
id="flowPara7098">define i32
@isord2 @isordasc
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowSpan7837">to
id="flowPara7739"> (
diff --git a/figures/isordfrom/isordfrom.eps b/figures/isordfrom/isordfrom.eps
index 7030071..5cb119f 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 Sep 14
15:10:14 22:15:12 2015
%%Pages: 1
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
%%BoundingBox: 0 -1
260 493 278 473
%%EndComments
%%BeginProlog
save
...
Encoding 55 /seven put
Encoding 56 /eight put
Encoding 58 /colon put
Encoding 59 /semicolon put
Encoding 61 /equal put
Encoding 64 /at put
Encoding 91 /bracketleft put
...
Encoding 121 /y put
Encoding 123 /braceleft put
Encoding 125 /braceright put
/CharStrings
48 47 dict dup begin
/.notdef 0 def
/d 1 def
/e 2 def
...
/period 37 def
/x 38 def
/h 39 def
/semicolon 40 def /bracketleft
41 40 def
/bracketright
42 41 def
/w
43 42 def
/hyphen
44 43 def
/five
45 44 def
/seven
46 45 def
/braceright
47 46 def
end readonly def
/sfnts [
<00010000000900800003001063767420f78470aa000030d8000002906670676d6117704c0000
33680000008d676c79660a2665f50000009c0000303c68656164ce375b3a000033f800000036
6868656106ebff910000343000000024686d7478e67221e400003454000000c06c6f63610004
a98400003514000000c46d617870084b0cef000035d80000002070726570787ac61a000035f8 <00010000000900800003001063767420f78470aa00003024000002906670676d6117704c0000
32b40000008d676c7966f8df1e380000009c00002f8868656164ce375b3a0000334400000036
6868656106ebff900000337c00000024686d7478e1a52077000033a0000000bc6c6f63610004
7a140000345c000000c06d617870084a0cef0000351c0000002070726570787ac61a0000353c
00000a9d00020066fe96046605a400030007001740090400060108050204002fccdccc310010
d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f272062900000000020058
ffe7049a051d0024003000d741560043000f0053000f00ac000500aa000800a3000f00bc0005
...
12393037112322263534363b01321615113e013332161511333216151406232122263534363b
0111342623220615113332161514062321222635343633ee1344332927981b1e498f4d97ad2f
322c2828fef62f212939236a65679b233c2a212ffef627272f448d0400202824241613fe3b44
41bca6fe3b212424241f29281d01a0757b8a66fe601e27291f2424281d000002016dfec10327
037f00180024004140251812110b040e0a00250ecf0322d41cf303cd25181215110b0a040300
06191524071f1b192510d4fcd4ec121739113939310010ecfcec10e612393911173930253e01
3b01321615140607010e012322262f012e013534363713343633321615140623222601e90918
1dcf0d110404fefe08130e080903420f0f01032b6d57596e6e59586cf421120c09031007fde7
100e01011806120b040a0b03b64e64634f4f63620001019cfe8d033104a20017003a40200c16
0f0b00f107f216f10fe4180f080b161007010400130413900001004f0b1810d4ec5de4321117
39123939310010fcecf4ec391112393005333216151406232122263511343633213216151406
2b010248a81d24221dfef31f2a2a1f010d1d22241da8f8201b1d23261c05911c26211d1b2200
0001019cfe8d033104a20017003e40220c160f0b070016f10ff200f107e4180f080b16100701
04049f0001004f0b1313041810d43cf4ec5d111739113939310010fcecf4ec11123911123930
012322263534363321321615111406232122263534363b010285a81e23211e010c202a2a20fe
f41d22231ea80427211c1d21261cfa6f1c26231d1c1f0001ffecffdd04d1039c003a00d4413f
00160007002a000000590000006900000004002800230022001c001b00000005003b00340001
003a00070004001f0004003300240019000300080100002c000f01040037000400d3003b0007
0008001a001b0001001c0000003a00340022002300240033000d000c003a0069002900670030
0001006900130067000c003b10d4e4e4d4e4e41217390010e432fc3cec173210c61739111739
304b53584112002301450023002200240145003300330034001b0145001b001c001a01450008
00070008050710ec08ec050710ec08ec5931015d01030e012322262703232226353436332132
16151406070e012b011b013e01333216171b012b0122263534363321321615140607030e0123
2226270260810a2828242810e5092a252726010b36261611112d203aac810b28272429107da5
182b45302434010c1f1f2432e10d2727242a0e01fcfe25261e263202d9212722241f27182304
0504fda801b4261e2731fe6002581f29281e2422262002fd13261e2731000001009a016d0433
022f000f002140120c0b04030407d100d0100f080700040b031010d4c41739310010f4e41739
301322263d013436332132161d01140623c514171714033d171a1e13016d19166a131616136a
121d0000000100acffdf040204ee002a0077404f1f2922001e033f1b4f1b5f1b031b18b90f03
0103d712b9500f010f0929c422d609d52b6b176c136b087b177c1394199011a419a01109221e
2923001507260f060106001d6f0c7f0c020c601e011e2b10d45dc45decd45dc4ec1139391239
315d0010e4fcec10c65deef65dfec45d12393911123930013e01333216151404232226353436
333216333236353426232206232226351134363321321615140623210185427033afe9fefec9
a8e32a1c0bd55b86a79e785aad121e19293301fa3030322efe3b030e1817f3b4bff85b411a29
4da17f7ca55a2c3a01f2211d27272529000100cfffee03ec04ee0022006140401e171f16041a
220c0b0003100cc41ad603ba23690b85008b0c9a0c9a0ba300a90cb300bb0cb90b0a17161a03
130d221b0c0b050300071e080d1e08601301132310d45dc4c4c41112173911121739315d0010
e4fcecc4113939113912173930250e012b0222263534363701210e012322263534363f013e01
332132161d011406070275080e131147141703030189fe04032423222101010a03231e02951d
1b0a0b14180e100e080f0a042b2f2d22240a0a045a1c1e191b220c2721000001011bfe8b03b2
051000310084412f002e002b00200032002f0021002b00190000001c00120004001100030004
00160007002b010a00240016010a001c010b0024010c0007010a000e00e40032002400230001
00000019002e0003006f00200011006e001900700027000b003210d43cf4f43cec321239315d
0010fcece4f4ec10ee111217391139391239391239113930012e013d01342627262726353436
3332161d01141716171e01151406070607061d01140623222635343736373e013d01343602b2
65512c380d1a562a2aa98ca21f10201d1f200b14b08aa92b2b56120841305101cd1d8da6936a
490e03030c402627aae777c3220604092320222806020422c674e8a82727400c02020b466d94
a48f0000009800ba005a00c800cd009800a6000a021b0248007b007d00b40098009c00ac00c5
020a019600d5013f01b80093018901c10164018900cd009800cd00000014032f0010000c01c1
040802ec009800ae00000089008700cd01e304d900db004a008d00db039a0079033f00000079
00ae015a0342001d007104140000007900a400db00d500000439033b0096010a01bc01d901db
018b00a601c7019c00ac035800f200890089039c03b6005a0089041900f20333030200980096
00cd01a8000000790000007904190098030201a201dd01ee00b60017016601ae010c00a80298
0079007701fa007500960089012d00910091013f0060006204a00075008100580058005800f0
00f20098008d01cb007d008d007d00c1034c009600ae018901cd011b019c00cd00b401710064
0308018100fc00fe01fa030e031700910091009e0087008700930098028301460191021d00df
00000089008d0000000004f604a204a204a204a20000001f016401ee0075008d002104ee04ee
04ee050e0075021b006204a204a2008d008d0614065601c7022d01b801c7009301640217028d
016d00c3000000190164002104ee030a008d0091024e037f008d03d1021900bc008d00810081
017b04a202a40266008d000c00f2008f0198025a00000096023b0052007b0614040a039c039c
039c039c0000008d0098008d024805cd053d051d008d0196039c018f039c00be01060019039c
007b009e0396068501fa007701aa0079007d008900890071013f006404a004a2006f006f0071
006f007b00000058006a00f00068006f0308005e00cd016d00c3021702170064030a018100fc
01fa0071030e0321007b057100be007302d10073007302d1009302830179007f00df008d0000
00007fff00980098008200304007060504030201002c2010b002254964b040515820c859212d
2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b0559b005
1cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b
505820b80143454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c4544
2d0000000001000000010000be8b7b3b5f0f3cf50111080000000000a380f9f000000000c9b1
16dcfac3fcbb061e08b7000000060001000100000000000100000608fe0800000696fac3fac2
061e00010000000000000000000000000000003004cd006604cd005804cd006604cd00bc04cd
00a604cd006804cd000004cd00b604cd00a204cd00dd04cd00b204cd005a04cd006d04cd019c
04cd00cd04cd00b204cd00d104cd00cd04cd002904cd016d04cd00cf04cd019a04cd006004cd
008704cd004204cd005804cd004804cd011b04cd003904cd01a204cd00cd04cd006604cdfffe
04cd008504cd010404cd004404cd00ba04cd01a204cd005204cd006404cd016d04cd019c04cd
019c04cdffec04cd009a04cd00ac04cd00cf04cd011b0000000000000044000001a8000002dc
000003f4000004e40000064c0000064c0000077000000890000009bc00000bc800000c640000
0d6000000de400000ebc000010000000114c000012840000139c0000141c0000153c000015d4
000016d4000017ec0000196000001a8800001bb800001cc800001e1400001e8000001f480000
1fcc000021b800002340000023e80000254c000025fc0000263c0000286c000029d000002a84
00002b0800002b9000002d1400002d6c00002e5c00002f280000303c00010000003001910009
007a00050002001000400011000007e80aa10003000141ff02800141001300030140000c0003
013e00fe0003013d00fe0003013a003e0003013900bb0003013800fe0003013700bb00030136
005d0003013500960003013400fe0003013300bb0003013200640003013000fe0003012d00fe
0003012c012400fe0005012a00fe00030129006b00030128003500030127006b00030126000c
0003012500fe0003012400fe00030123009600030120011f00220005012000fe0003011f0022
0003011e000c0003011d011c00530005011d00960003011c00530003011b004c0003011a0053
0003011900fe00030118011700fe0005011700fe0003011600c100fe0005011400fe00030113
003500030112004700030111011000fa0005011100fe0003011000fa0003010f00fe0003010c
00fe0003010b00fe0003010a0109001d00050109001d0003010800f3000a0005010800100003
010700d200470005010700440003010600fe0003010500fe0003010400f3000a0005010400fe
0003010300fe00030102003e00030101002e000301000096000300ff00fe000e000500ff00fe
000300fe00fd0009000500fe000e000300fd0009000300fc002e000300fb00fe000300fa00f9
007d000500fa00fe000300f9007d000300f80012000300f700f60094000500f700fe000300f7
00c0000400f600f50061000500f60094000300f60080000400f500f4002e000500f500610003
00f541ff0040000400f400f3000a000500f4002e000300f3000a000300f00015000300ef00fe
000300ee00ed000b000500ee00fe000300ed000b000300ec00e60017000500ec00fe000300eb
00ea000b000500eb00fe000300ea000b000300e9001e000300e800a6000300e70039000300e6
00e50008000500e60017000300e50008000300e400af000a000500e400fe000300e300fe0003
00e2005d000300e100fe000300e000af000300df00fe000300de00fe000300db00fe000300da
0014000300d900d8007d000500d900fe000300d8007d000300d70014000300d600fe000300d5
00b40041000500d500fe000300d400fe000300d300d20047000500d30096000300d200470003
00d100fe000300d000fe000300cf001a000300ce0014000300cd001a000300cc00fe000300cb
00ca0047000500cb00fe000300ca0047000300c900c80014000500c900fe000300c800140003
00c700c60014000500c60014000300c5006b000300c400bb000300c300c20014000500c30025
000300c3ffc0000400c200af000a000500c20014000300c100fe000300be00bd008c000500be
00fe000300be00c0000400bd00bc0059000500bd008c000300bd0080000400bc00bb00260005
00bc0059000300bc0040000400bb0026000300ba00b40041000500ba0032000300b9007d0003
00b800fe000300b700fe000300b6001a000300b541ff00b40041000500b500fe000300b5ffd0
000400b40041000300b300b2008c000500b300fe000300b300c0000400b200b10059000500b2
008c000300b20080000400b100b00026000500b10059000300b10040000400b000af000a0005
00b00026000300af000a000301450028000301440028000300ae00af000300ad00fe000300ac
00fe000300ab00fe000300aa0008000300a800fe000300a700fe000300a600fe000300a400a3
00fa000500a300fa000300a200fa000300a1004b000300a0009f0053000500a000bb0003009f
00530003009e00fe0003009d009c007d0005009c007d0003009a009900fe0005009900fe0003
009800fe00030095007d000300940006003a00050094004b00030093000c0003009200fe0003
00910090000b00050090000b0003008f003e0003008e008d00290005008e002e0003008d0029
0003008c00fe0003008b00fe0003008a00fe000300890088003e00050089007d00030088003e
0003008700fe00030086005d00030085006b00030084008300fe0005008300fe0003008200fe
00030081003a0003008000220003007f007e00460005007f00aa0003007e004600030079005d
00030078007d0003007700fe000300760075003a0005007600fe00030075003a0003007100fe
0003006e00fe0003006d006c000f0005006d00330003006c000f0003006b00fe0003006a00fe
41ff00030069006800100005006900af00030068001000030067003700030066005a000a0005
0066004400030065007d00030064005400100005006400fa000300630062000c0005006300fe
00030062000c000300610060000d00050061002d00030060000d0003005e005d00140005005d
00140003005b005a000a0005005b00fe0003005a000a0003005900fe00030058005400100005
0058002900030057001f00090005005700fe00030056007d00030055005400100005005500fe
0003005400100003005300fe000300520036000b0005005200fe0003005100290003005000fe
0003004e001a0003004d007d0003004c007d0003004b00380003004a00fe0003004900640003
004800fe0003004700960003004600a60003004500fe00030043001e000300420036000b0005
0042007800030041002900030040003e000a0005004000640003003f003e000a0005003f0096
0003003e000a0003003d000a0003003c00fe0003003b00fe0003003a00fe0003003900fe0003
0038003700180005003800fa000300370036000b00050037001800030036000b000300340096
0003003300fe0003003200fe0003003100fe0003003000fa0003002f002c0003002e00fe0003
002d00fe0003002c00fe0003002b00fe0003002a00fa000300290007000300280006003a0005
0028007d0003002700bb0003002600fe0003419600250096000300240018001400050024003e
0003002300fe0003002200fe0003002100fe0003002000fe0003001f00090003001e00040014
0005001e00440003001d004a0003001c000400140005001c00fe0003001b001a00280005001b
00fe0003001a002800030019001800140005001900fe0003001800140003001700fe00030016
00fe0003001400fe000300130012000800050012000800030011001000290005001000290003
000f000e004c0005000f00fa0003000e004c0003000d0006003a0005000d00fe0003000c000b
00fe0005000b00fe0003000a000900160005000900160003000800fe000300070006003a0005
000700bb00030006003a000300050004001400050005004b0003000400140003000300fe0003
0001001a000300000012000300010118858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 41bca6fe3b212424241f29281d01a0757b8a66fe601e27291f2424281d000001019cfe8d0331
04a20017003a40200c160f0b00f107f216f10fe4180f080b161007010400130413900001004f
0b1810d4ec5de432111739123939310010fcecf4ec3911123930053332161514062321222635
113436332132161514062b010248a81d24221dfef31f2a2a1f010d1d22241da8f8201b1d2326
1c05911c26211d1b22000001019cfe8d033104a20017003e40220c160f0b070016f10ff200f1
07e4180f080b1610070104049f0001004f0b1313041810d43cf4ec5d111739113939310010fc
ecf4ec11123911123930012322263534363321321615111406232122263534363b010285a81e
23211e010c202a2a20fef41d22231ea80427211c1d21261cfa6f1c26231d1c1f0001ffecffdd
04d1039c003a00d4413f00160007002a000000590000006900000004002800230022001c001b
00000005003b00340001003a00070004001f0004003300240019000300080100002c000f0104
0037000400d3003b00070008001a001b0001001c0000003a00340022002300240033000d000c
003a00690029006700300001006900130067000c003b10d4e4e4d4e4e41217390010e432fc3c
ec173210c61739111739304b53584112002301450023002200240145003300330034001b0145
001b001c001a0145000800070008050710ec08ec050710ec08ec5931015d01030e0123222627
0323222635343633213216151406070e012b011b013e01333216171b012b0122263534363321
321615140607030e01232226270260810a2828242810e5092a252726010b36261611112d203a
ac810b28272429107da5182b45302434010c1f1f2432e10d2727242a0e01fcfe25261e263202
d9212722241f271823040504fda801b4261e2731fe6002581f29281e2422262002fd13261e27
31000001009a016d0433022f000f002140120c0b04030407d100d0100f080700040b031010d4
c41739310010f4e41739301322263d013436332132161d01140623c514171714033d171a1e13
016d19166a131616136a121d0000000100acffdf040204ee002a0077404f1f2922001e033f1b
4f1b5f1b031b18b90f030103d712b9500f010f0929c422d609d52b6b176c136b087b177c1394
199011a419a01109221e2923001507260f060106001d6f0c7f0c020c601e011e2b10d45dc45d
ecd45dc4ec1139391239315d0010e4fcec10c65deef65dfec45d12393911123930013e013332
1615140423222635343633321633323635342623220623222635113436332132161514062321
0185427033afe9fefec9a8e32a1c0bd55b86a79e785aad121e19293301fa3030322efe3b030e
1817f3b4bff85b411a294da17f7ca55a2c3a01f2211d27272529000100cfffee03ec04ee0022
006140401e171f16041a220c0b0003100cc41ad603ba23690b85008b0c9a0c9a0ba300a90cb3
00bb0cb90b0a17161a03130d221b0c0b050300071e080d1e08601301132310d45dc4c4c41112
173911121739315d0010e4fcecc4113939113912173930250e012b0222263534363701210e01
2322263534363f013e01332132161d011406070275080e131147141703030189fe0403242322
2101010a03231e02951d1b0a0b14180e100e080f0a042b2f2d22240a0a045a1c1e191b220c27
21000001011bfe8b03b2051000310084412f002e002b00200032002f0021002b00190000001c
0012000400110003000400160007002b010a00240016010a001c010b0024010c0007010a000e
00e4003200240023000100000019002e0003006f00200011006e001900700027000b003210d4
3cf4f43cec321239315d0010fcece4f4ec10ee111217391139391239391239113930012e013d
013426272627263534363332161d01141716171e01151406070607061d011406232226353437
36373e013d01343602b265512c380d1a562a2aa98ca21f10201d1f200b14b08aa92b2b561208
41305101cd1d8da6936a490e03030c402627aae777c3220604092320222806020422c674e8a8
2727400c02020b466d94a48f0000009800ba005a00c800cd009800a6000a021b0248007b007d
00b40098009c00ac00c5020a019600d5013f01b80093018901c10164018900cd009800cd0000
0014032f0010000c01c1040802ec009800ae00000089008700cd01e304d900db004a008d00db
039a0079033f0000007900ae015a0342001d007104140000007900a400db00d500000439033b
0096010a01bc01d901db018b00a601c7019c00ac035800f200890089039c03b6005a00890419
00f2033303020098009600cd01a8000000790000007904190098030201a201dd01ee00b60017
016601ae010c00a802980079007701fa007500960089012d00910091013f0060006204a00075
008100580058005800f000f20098008d01cb007d008d007d00c1034c009600ae018901cd011b
019c00cd00b4017100640308018100fc00fe01fa030e031700910091009e0087008700930098
028301460191021d00df00000089008d0000000004f604a204a204a204a20000001f016401ee
0075008d002104ee04ee04ee050e0075021b006204a204a2008d008d0614065601c7022d01b8
01c7009301640217028d016d00c3000000190164002104ee030a008d0091024e037f008d03d1
021900bc008d00810081017b04a202a40266008d000c00f2008f0198025a00000096023b0052
007b0614040a039c039c039c039c0000008d0098008d024805cd053d051d008d0196039c018f
039c00be01060019039c007b009e0396068501fa007701aa0079007d008900890071013f0064
04a004a2006f006f0071006f007b00000058006a00f00068006f0308005e00cd016d00c30217
02170064030a018100fc01fa0071030e0321007b057100be007302d10073007302d100930283
0179007f00df008d000000007fff00980098008200304007060504030201002c2010b0022549
64b040515820c859212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8
ffff5058041b0559b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0
051cb0032508e12d2c4b505820b80143454459212d2cb002254560442d2c4b5358b00225b002
2545445921212d2c45442d0000000001000000010000eab672e15f0f3cf50111080000000000
a380f9f000000000c9b116dcfac3fcbb061e08b7000000060001000100000000000100000608
fe0800000696fac3fac2061e00010000000000000000000000000000002f04cd006604cd0058
04cd006604cd00bc04cd00a604cd006804cd000004cd00b604cd00a204cd00dd04cd00b204cd
005a04cd006d04cd019c04cd00cd04cd00b204cd00d104cd00cd04cd002904cd016d04cd00cf
04cd019a04cd006004cd008704cd004204cd005804cd004804cd011b04cd003904cd01a204cd
00cd04cd006604cdfffe04cd008504cd010404cd004404cd00ba04cd01a204cd005204cd0064
04cd019c04cd019c04cdffec04cd009a04cd00ac04cd00cf04cd011b00000000000000440000
01a8000002dc000003f4000004e40000064c0000064c0000077000000890000009bc00000bc8
00000c6400000d6000000de400000ebc000010000000114c000012840000139c0000141c0000
153c000015d4000016d4000017ec0000196000001a8800001bb800001cc800001e1400001e80
00001f4800001fcc000021b800002340000023e80000254c000025fc0000263c0000286c0000
29d000002a5400002adc00002c6000002cb800002da800002e7400002f8800010000002f0191
0009007a00050002001000400011000007e80aa10003000141ff02800141001300030140000c
0003013e00fe0003013d00fe0003013a003e0003013900bb0003013800fe0003013700bb0003
0136005d0003013500960003013400fe0003013300bb0003013200640003013000fe0003012d
00fe0003012c012400fe0005012a00fe00030129006b00030128003500030127006b00030126
000c0003012500fe0003012400fe00030123009600030120011f00220005012000fe0003011f
00220003011e000c0003011d011c00530005011d00960003011c00530003011b004c0003011a
00530003011900fe00030118011700fe0005011700fe0003011600c100fe0005011400fe0003
0113003500030112004700030111011000fa0005011100fe0003011000fa0003010f00fe0003
010c00fe0003010b00fe0003010a0109001d00050109001d0003010800f3000a000501080010
0003010700d200470005010700440003010600fe0003010500fe0003010400f3000a00050104
00fe0003010300fe00030102003e00030101002e000301000096000300ff00fe000e000500ff
00fe000300fe00fd0009000500fe000e000300fd0009000300fc002e000300fb00fe000300fa
00f9007d000500fa00fe000300f9007d000300f80012000300f700f60094000500f700fe0003
00f700c0000400f600f50061000500f60094000300f60080000400f500f4002e000500f50061
000300f541ff0040000400f400f3000a000500f4002e000300f3000a000300f00015000300ef
00fe000300ee00ed000b000500ee00fe000300ed000b000300ec00e60017000500ec00fe0003
00eb00ea000b000500eb00fe000300ea000b000300e9001e000300e800a6000300e700390003
00e600e50008000500e60017000300e50008000300e400af000a000500e400fe000300e300fe
000300e2005d000300e100fe000300e000af000300df00fe000300de00fe000300db00fe0003
00da0014000300d900d8007d000500d900fe000300d8007d000300d70014000300d600fe0003
00d500b40041000500d500fe000300d400fe000300d300d20047000500d30096000300d20047
000300d100fe000300d000fe000300cf001a000300ce0014000300cd001a000300cc00fe0003
00cb00ca0047000500cb00fe000300ca0047000300c900c80014000500c900fe000300c80014
000300c700c60014000500c60014000300c5006b000300c400bb000300c300c20014000500c3
0025000300c3ffc0000400c200af000a000500c20014000300c100fe000300be00bd008c0005
00be00fe000300be00c0000400bd00bc0059000500bd008c000300bd0080000400bc00bb0026
000500bc0059000300bc0040000400bb0026000300ba00b40041000500ba0032000300b9007d
000300b800fe000300b700fe000300b6001a000300b541ff00b40041000500b500fe000300b5
ffd0000400b40041000300b300b2008c000500b300fe000300b300c0000400b200b100590005
00b2008c000300b20080000400b100b00026000500b10059000300b10040000400b000af000a
000500b00026000300af000a000301450028000301440028000300ae00af000300ad00fe0003
00ac00fe000300ab00fe000300aa0008000300a800fe000300a700fe000300a600fe000300a4
00a300fa000500a300fa000300a200fa000300a1004b000300a0009f0053000500a000bb0003
009f00530003009e00fe0003009d009c007d0005009c007d0003009a009900fe0005009900fe
0003009800fe00030095007d000300940006003a00050094004b00030093000c0003009200fe
000300910090000b00050090000b0003008f003e0003008e008d00290005008e002e0003008d
00290003008c00fe0003008b00fe0003008a00fe000300890088003e00050089007d00030088
003e0003008700fe00030086005d00030085006b00030084008300fe0005008300fe00030082
00fe00030081003a0003008000220003007f007e00460005007f00aa0003007e004600030079
005d00030078007d0003007700fe000300760075003a0005007600fe00030075003a00030071
00fe0003006e00fe0003006d006c000f0005006d00330003006c000f0003006b00fe0003006a
00fe41ff00030069006800100005006900af00030068001000030067003700030066005a000a
00050066004400030065007d00030064005400100005006400fa000300630062000c00050063
00fe00030062000c000300610060000d00050061002d00030060000d0003005e005d00140005
005d00140003005b005a000a0005005b00fe0003005a000a0003005900fe0003005800540010
00050058002900030057001f00090005005700fe00030056007d000300550054001000050055
00fe0003005400100003005300fe000300520036000b0005005200fe00030051002900030050
00fe0003004e001a0003004d007d0003004c007d0003004b00380003004a00fe000300490064
0003004800fe0003004700960003004600a60003004500fe00030043001e000300420036000b
00050042007800030041002900030040003e000a0005004000640003003f003e000a0005003f
00960003003e000a0003003d000a0003003c00fe0003003b00fe0003003a00fe0003003900fe
00030038003700180005003800fa000300370036000b00050037001800030036000b00030034
00960003003300fe0003003200fe0003003100fe0003003000fa0003002f002c0003002e00fe
0003002d00fe0003002c00fe0003002b00fe0003002a00fa000300290007000300280006003a
00050028007d0003002700bb0003002600fe0003419600250096000300240018001400050024
003e0003002300fe0003002200fe0003002100fe0003002000fe0003001f00090003001e0004
00140005001e00440003001d004a0003001c000400140005001c00fe0003001b001a00280005
001b00fe0003001a002800030019001800140005001900fe0003001800140003001700fe0003
001600fe0003001400fe00030013001200080005001200080003001100100029000500100029
0003000f000e004c0005000f00fa0003000e004c0003000d0006003a0005000d00fe0003000c
000b00fe0005000b00fe0003000a000900160005000900160003000800fe000300070006003a
0005000700bb00030006003a000300050004001400050005004b0003000400140003000300fe
00030001001a000300000012000300010118858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b1d00000000> 2b2b2b2b1d00000000>
] def
/f-0-0 currentdict end definefont pop
%%EndResource
...
Encoding 54 /six put
Encoding 56 /eight put
Encoding 58 /colon put
Encoding 59 /semicolon put
Encoding 61 /equal put
Encoding 64 /at put
Encoding 91 /bracketleft put
...
Encoding 118 /v put
Encoding 119 /w put
Encoding 121 /y put
/CharStrings
42 41 dict dup begin
/.notdef 0 def
/f 1 def
/r 2 def
...
/q 30 def
/b 31 def
/colon 32 def
/semicolon 33 def /three
34 33 def
/two
35 34 def
/at
36 35 def
/parenleft
37 36 def
/asterisk
38 37 def
/v
39 38 def
/eight
40 39 def
/parenright
41 40 def
end readonly def
/sfnts [
<0001000000090080000300106376742051a2978000002298000002bc6670676d611770640000
25540000008d676c79661419b6b30000009c000021fc686561648a879c00000025e400000036
686865610711ff930000261c00000024686d7478c9a4195e00002640000000a86c6f6361b68c
ae2e000026e8000000566d61787008450d81000027400000002070726570a926421700002760 <0001000000090080000300106376742051a29780000021d8000002bc6670676d611770640000
24940000008d676c796680a578300000009c0000213c686561648a879c000000252400000036
686865610711ff920000255c00000024686d7478c4d7180200002580000000a46c6f6361a63e
ae1800002624000000546d61787008440d81000026780000002070726570a926421700002698
00000b8c00020066fe96046605a400030007001740090400060108050204002fccdccc310010
d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f2720629000000000100c7
000004620521003100574030312e2225002b2ed7251907f42000f325f61709eb10201a171104
...
feedd7c4fef94343421417333c3537036439363b341f230000020196fff20337037f000b0017
001e400f0cce12d300ce06ae180f031415091810d43cec39310010f4fcfcec30013216151406
23222635343613321615140623222635343602665e73735e5c74745c5e71725d5c7473016a67
53546a6b53526802156753556a6b545367000002015cfeba0344037f00180024004940270f15
0e16072508000b0e19ce1fd40ecb00c9251601000e08051c150f2212070422141c0413122510
d4fcd4ec123911123939111739310010fce4f4ec10c012391139391239393001333216151406
07010e012322262f012e0135343637133e011332161514062322263534360233ee10130504fe
d5071a10040b054c111201018e091d4e5e73735e5c7373015a0c0a050f09fdb6101303011b06
150c0b0b050208221502256753556a6a5552680000010093ffdd0400050e0030008c41360000
0015001a000f001500c30030001c0050001c0080001c0080002500f000250005001c000f00cf
000c01590006002200c300250159002b00b9000600b500310004002c0014002c000200000012
001f0004002e00120004000300280010001800300018000200180009003110d4c45dc4d4ecd4
ec1239315d0010e4fcecec10eee6d65dee1239123930011e0115140623222635343633321633
3236353426272e0135343736373e01353426232206232226353436333216151406031d7370fd
dab0e63f3419cc4e5e6555783f2b560c066c404d464ab823272fecadaecf5f02ae249b7cbbdb
7453313d5a655e655605022d3a500c01010f4952474f5d3327557ab49562870000000001007d
00000408050e00310069404115311b000a0d0802140305001bcf0f221f22100520052f220522
2bb90900c1050d042c142c02240022310231010d02042e1500140e0425180a081804082e2511
3210d4c4d4c4ec1239111217391217395d315d002fc4ec32fcc45de411121739123911123939
3025213534363332161d01070e012321222635343637013e0135342623220607060706232226
353436373e013332161514060701e1015e37362c3008021920fd313a3f272b01974241575934
51160c11303a323320304ead65bddd7379e1063332312d0d9b2e18322e26492901894080405a
581f1c0e1d4e42414342213432ccac73d369000000020087ff9a042d05580030003d00614036
323128033b2735090f0c003b2e03d83b1815d83b1e0cd9351e0fd8243e241024142a0403001b
0c380f0601062b310c261b271225213e10d4ecd4c4ec32c4d45dcc111239315d0010d4ecc4d4
ec10c6fec410fec41239111239123911173930010e0123222635343633321633342623220215
101233323633321615140623200011100033321615111e0115140623222627352e0123220615
141633323603462f552a6181b1990617065b538291a8a42d760f1b1f7f6ffef4fee7010cf0c4
b31b18392b163f51070d0d455338330d26017915149c7895ad027a86fee9fefee3fedc232c26
3e47017c016b0159017ee5fcfe891b2e17263217adfe010155463a3f0a0000010191fe6f039a
04c7001e00254014070d13c500ac1f36080110030c3f0a010a0b191f10d4ec5de432315d0010
fce439393001321615140706070602151416171e01151406232226272602353412373e01036a
141c30231451483a3c206a1b1227673b888b72724a7f04c71d1415523a2696fef29182f67a3f
b516141b4441970156b9a801378f5c630000000100cf019603fe04a200460076404e453e413c
3b36342e2d2c26251f1e1d1716100f0e080701001504221a380441ac4742413c001e05452c26
251f2d053d3b35342e0431291d1716100f05450e08070104130b0e130d45310e290d3d4710d4
e4e4dce4e411173912173911121739121739111739310010fcc432c432111739123939300137
3e013332161f011e011514060705171e011514060f010e012322262f01070e012322262f012e
013534363f01252e013534363f0135363332161f01033534363b0132161d0102a8fe0909040a
0c091b04040f10fef2b80708120f460b1406060e068c8b070d0606150c46100f0807bafef210
1104041d0e0e060d06fa1d141f581e1403666f04020f1a540b1305090c033ad0070f0705110b
3309090c0aeeee0c0a0b09330b1006070f07cc3c030d0805150b52022703037301170a120d0d
120a000000010039ffe70491039c0028004a402c01291912151a10020300eb2109f915ae292a
19012822211b1a1900071e012511100a09030212070d061e252910d4c4dcc417391239111739
5d310010e4fc3cec1732113939113930011b012322263534363b0132161514062b01010e0123
22272627012322263534363b0132161514062301b6b4bd1036393946eb4639383611fed72135
3764230402fee91036393a45fe453a393502c1fe5601aa38363b32333a3638fd89441f540a05
027738363b32333a363800030098ffdf0435050e000b0023002f005b403a180c2a8000f00002
0006c31224c31eb912b5300b1d041f32183d0c42184d0c52185d0c080c2109181b032d1d211e
091d0f271d1b1e0f031d153010d4ecc4f4ec10eef4ee111239111239315d0010e4fcec10eed4
5dce393930012206151416333236353426371e01151404232224353436372e01353436333216
15140601220615141633323635342602665c70725a5d707289717aff00cfcbfefd7a716e6ffb
c5c5fe71feae546e6e54566b6c021966555169665453686e29a06aa5d0d0a16ca12a3092639a
c8ca986394019d644c4c64614f4c6400000000010135fe6f033f04c7001e002140111c160fc5
03ac1f301901190b090c12001f10d43cf4ec5d310010fce43939300134363332161716121514
02070e0123222635343736373612353426272e0101351c132d814a71728a883a6a27121b3124
1451483a3c216b0496141d635c8dfec8a9b9feaa9740451b1416503b2596010e9283f67a42b1
000000ec008d00f30102010c0221024c00a0010200f800e10108020800d1013b01b800cd00d1
01a201e701a20000007500f200750102038b001901020102000e010c0442030a01a200f80114
00db00d704ec00c100f8010201020121007f003100ba03c900f800d700d7000000000056007f
034c0362039c001d00e500c100000468038d00c101a8018700ec01c700460396007d00cf0000
007d007d03cd0046011400cf033b00f8010c01ae019e000000f800f8000004420100010e02d1
00c1008f021d008f00f800ec00fe00aa00aa00aa013f00890062006604c90087006f006800fe
00b200c300dd00c300b2036800ec01ec013d019e0129003100f801020121018f009602f00196
010e021d034a035200b800a600a6029100a600b200c90000009302830400043900ba01830104
010e00c90104011201e300d100b604000191000000520000007d007d0000000000ec04f604a2
04a204a204a200000019013d01ec009600b600d90000002104ee04ee04ee04ee0098022104a2
04a2001f00d900c500d900d900d90614065801b801c700cd0179022502a0015c00e3017900d9
04ee00d90021009c009c0073040a00d900b400b4015004a200d9028500d900000056007d0285
00d9009c0614040a039c039c039c039c00d9023d025405cd053d051d00d901a2039c00d9051d
0521018d0191039c013900d3018d00d900d900a8039c009c00d703cd06c1021d008f008f01f6
00cf00a2013f01420062007904c900790079007d006800fe00aa030800a8006000d9015c00be
0225009602f002f60196010e021d01c70210034a01ee0321009a01ee04ee057102d1008d008d
0571008d02d104a200ac0093028302350083041400cd033b0168006f02d9001900d907a2039c
00cb0019065200c507b600d904a204a204a204a200d900f6056d00cd005600d90127019602a2
00d9013b018500d900d916177fff008200304007060504030201002c2010b002254964b04051
5820c859212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058
041b0559b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb003
2508e12d2c4b505820b8015b454459212d2cb002254560442d2c4b5358b00225b00225454459
21212d2c45442d0000000001000000010000e8bd98845f0f3cf501110800000000005faa3a70
00000000c9b116dcfac1fcc6064608f3000100060001000000000000000100000608fe080000
0696fac1faca064600010000000000000000000000000000002a04cd006604cd00c704cd0077
04cd004604cdffee04cd000004cd00cd04cd000204cd019604cd009e04cd004a04cd004e04cd
00a604cd009e04cd009604cd01a204cd00d304cd015c04cd009604cd005804cd006804cd0044
04cd012d04cd007504cd005004cd005004cd003904cdffc904cd009a04cd005804cd004604cd
003b04cd019604cd015c04cd009304cd007d04cd008704cd019104cd00cf04cd003904cd0098
04cd013500000022009000fa014201f401f402900310033203fe043e04ce0530058a06220668
06c20704074c07b6082e08a808ea092e09bc0a3a0aa80b380b640bd60c560cce0d040d640df0
0e6e0ef80f3e0fe2104410ba10fe000000010000002a01320009007c00050002001000400011
000007e80b900003000141ff02800159000c0003015800090003015700de000b00050157001d
000301560155000c00050156001e00030155000c0003015400dd00100005015400a600030153
002e0003015200f1000d00050152002e0003015100fa0003014d014c00290005014d006b0003
014c00290003014b014a008c0005014b00fe0003014b00c00004014a014900590005014a008c
0003014a0080000401490148002600050149005900030149004000040148002600030147005d
0003014600fe0003014500fe0003014400fe0003014300ad004700050143007d00030143ffd0
0004014200fa0003014100fe0003013f00fe0003013e00ad00470005013e007d0003013b00fe
0003013a00bb0003013900fa0003013800fe0003013700fe0003013600fe0003013300960003
013200fe0003013100320003013000350003012f012a00140005012f005d0003012e00640003
012d00960003012c00fa0003012b012a00140005012b00fe0003012a001400030129003a0003
0128007d00030127003a0003012600fe00030124012300140005012400fe0003012300140003
012000fe0003011f011e00a60005011e00a60003011c00fe0003011b00290003011a00530003
011900320003011800fe0003011700c80003011600fe00030115003900030113003200030112
011100fa0005011200fe0003011100fa00030110006b0003010e00fe41ff0003010c010b00fe
0005010b00fe0003010a00fe0003010900fe0003010800fe0003010400fe0003010300fe0003
0102010100140005010100140003010000e6000a000501000024000300ff00fe0017000500ff
0078000300fe0017000300fd004b000300fc00fe000300fb005d000300fa00fe000300f900e6
000a000500f900fe000300f800f700fa000500f800fe000300f700fa000300f600f500fa0005
00f600fe000300f500ef000e000500f500fa000300f4004b000300f300e6000a000500f30035
000300f2002e000300f1000d000300f000ef000e000500f000fe000300ef00ee0009000500ef
000e000300ee0009000300ed00ec0011000500ed002e000300ec0011000300eb00cf007d0005
00eb00fe000300ea00e90094000500ea00fe000300ea00c0000400e900e80061000500e90094
000300e90080000400e800e7002e000500e80061000300e80040000400e700e6000a000500e7
002e000300e6000a000300e30096000300e20014000300e100e0001a000500e100fe000300e0
00df0010000500e0001a000300df0010000300de000b000300dd0010000300dc00bb000300db
00a8000a000500db00fe000300da00fe000300d90035000300d8007d000300d7002c000300d4
0064000300d300fe000300d200b40041000500d2005d000300d100fe000300d000fe000300cf
007d000300ce00fe41ff000300cd00fe000300cc00fe000300cb00ca0014000500cb00fe0003
00ca0014000300c90032000300c800fe000300c700c60047000500c700fe000300c600470003
00c500c40014000500c40014000300c30064000300c2002e000300c1007d000300c000bf0025
000500c000fe000300bf0025000300be00b40041000500be00fe000300beffd0000400bd00bc
001d000500bd0032000300bdffc0000400bc00a8000a000500bc001d000300b900b8008c0005
00b900fe000300b900c0000400b800b70059000500b8008c000300b80080000400b700b60026
000500b70059000300b70040000400b60026000300b500b40041000500b500fe000300b40041
000300b300b200fe000500b30014000300b200fe000300b100fe000300b000fe000300af007d
000300ae00ad0047000500ae0096000300ad0047000300ac00ab008c000500ac00fe000300ac
00c0000400ab00aa0059000500ab008c000300ab0080000400aa00a90026000500aa00590003
00aa0040000400a900a8000a000500a90026000300a8000a000300a6000f000300a500110003
00a400a20010000500a400fe000300a300fe000300a20010000300a100590011000500a10038
0003009f00fe0003009e00fe0003009d00960003009c00960003009a009900290005009a007d
0003009900290003009800fe0003009700fe0003009500fe000341ff009400fe000300930092
00140005009300bb0003009200140003008f000d0003008e00960003008d008c00530005008d
00fe0003008c00530003008b00fe0003008a001b0003008900fe0003008800fe000300870086
007d00050086007d0003008300fe0003008000fe0003007f007e00210005007f00290003007e
007d00640005007e00210003007d00640003007c00290003007b00fe0003007a00fe00030079
0078000a00050078000a0003007700640003007600fe0003007500fe0003007400fe00030073
007200260005007300fe0003007200260003007100320003006f00960003006e00320003006b
006a00fa0005006a00fa0003006700350003006600fe0003006500fe0003006400fa00030063
006200500005006300fe0003006200500003005e00fe0003005c00fe0003005b00fa0003005a
00bb000300590011000300580008000e00050058003e00030057003e00030056000e00030055
0054000e0005005500fe00030054000e00030053005200320005005200320003005100fe0003
005000bb0003004f002300230005004f00320003004e00fe0003004d00fe0003004c00fe0003
004b004a000b0005004b00fe0003004a000b00030049002900030048003400090005004800fe
0003004700fe00030046002c0003004500fe00030043003c0003004200fe00030041006b0003
004000fe000341fe003e000a0003003d00530003003c0008000e0005003c00960003003a00fe
0003003900fe0003003800fe000300370036001f0005003700fe000300360035000f00050036
001f00030035000f00030034000900030033002c000300320096000300310008000e00050031
00530003003000fe0003002f003a0003002e007d0003002d00fe0003002c002b00210005002c
00fa0003002b002900640005002b00210003002a002900640005002a0096000300290008000e
0005002900640003002800960003002700fe0003002600fe0003002500fe0003002400230023
0005002400bb000300230008000e0005002300230003002200640003002100fe000300200096
0003001f000300260005001f005d0003001e00fe0003001d001c00260005001d00fe0003001c
00260003001b00fe0003001a00fe00030019001b000300180015000800050018002900030017
00fe00030016001500080005001600bb0003001500080003001400fe00030013001200140005
001300fe00030012001400030011001000fa0005001100fe0003001000fa0003000f00fe0003
000d00fe0003000b000000230005000a00000023000500090008000e00050009009600030008
000e0003000600050017000500050017000300040003002600050004007d0003000300260003
000200fe00030001007d000300000023000300010118858d012b2b2b2b2b2b2b2b2b2b2b2b2b 53546a6b53526802156753556a6b5453670000010093ffdd0400050e0030008c413600000015
001a000f001500c30030001c0050001c0080001c0080002500f000250005001c000f00cf000c
01590006002200c300250159002b00b9000600b500310004002c0014002c000200000012001f
0004002e00120004000300280010001800300018000200180009003110d4c45dc4d4ecd4ec12
39315d0010e4fcecec10eee6d65dee1239123930011e01151406232226353436333216333236
353426272e0135343736373e01353426232206232226353436333216151406031d7370fddab0
e63f3419cc4e5e6555783f2b560c066c404d464ab823272fecadaecf5f02ae249b7cbbdb7453
313d5a655e655605022d3a500c01010f4952474f5d3327557ab49562870000000001007d0000
0408050e00310069404115311b000a0d0802140305001bcf0f221f22100520052f2205222bb9
0900c1050d042c142c02240022310231010d02042e1500140e0425180a081804082e25113210
d4c4d4c4ec1239111217391217395d315d002fc4ec32fcc45de4111217391239111239393025
213534363332161d01070e012321222635343637013e01353426232206070607062322263534
36373e013332161514060701e1015e37362c3008021920fd313a3f272b019742415759345116
0c11303a323320304ead65bddd7379e1063332312d0d9b2e18322e26492901894080405a581f
1c0e1d4e42414342213432ccac73d369000000020087ff9a042d05580030003d006140363231
28033b2735090f0c003b2e03d83b1815d83b1e0cd9351e0fd8243e241024142a0403001b0c38
0f0601062b310c261b271225213e10d4ecd4c4ec32c4d45dcc111239315d0010d4ecc4d4ec10
c6fec410fec41239111239123911173930010e01232226353436333216333426232202151012
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
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
2b1d00> 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00>
] def
/f-1-0 currentdict end definefont pop
%%EndResource
%%EndSetup
%%Page: 1 1
%%BeginPageSetup
%%PageBoundingBox: 0 -1
260 493 278 473
%%EndPageSetup
q 0 -1
260 494 278 474 rectclip q
0.823529 g
93.016
492.649 472.587 23.301 -9.438 re f
174.535 110.169 27.543 -9.438 re f
142.535 143.77 169.734 112.509 27.543 -9.438 re f
0
66.751 259.09 57.888 277.035 -57.887 re f
0
346.864 259.09 -90 338.802 277.035 -69.816 re f
0 g
BT
9 0 0 9 1.524579
485.389165 465.326665 Tm
/f-0-0 1 Tf
[(define i32 @isord)]TJ
/f-1-0 1 Tf
...
0 -1.25 Td
[( br i)3(1 %t0,)3( label %lo)3(op.bod)3(y, label %)3(exit)]TJ
0 -2.5 Td
[(loop.h)3(eader: ; preds = %)3(loop.b)3(ody.cont)]TJ [(loop.h)3(eader:)]TJ
0 -1.25 Td
[( %t1 )3(= icmp slt i64 %i1)3(, %n)]TJ
0 -1.25 Td
[( br i)3(1 %t1,)3( label %lo)3(op.bod)3(y, label %)3(exit)]TJ
0 -2.5 Td
[(loop.b)3(ody: ; pre)3(ds = %loop)3(.header, %)3(entry)]TJ
0 -1.25 Td
[( %i =)3( phi i)3(64 [ %i1, )3(%loop.)3(header ], )]TJ [(loop.b)3(ody:)]TJ
0 -1.25 Td
[(
)3( )3( [ 1, )3(%entry ])]TJ %i =)3( phi i)3(64 [%i1, %)3(loop.h)3(eader], [1,%entry])]TJ
/f-1-0 1 Tf
0 -1.25 Td
[( %p.osr = phi i64
[ %)3(p.osr1, %loop.header ], [%p.osr1, %)3(loop.header)-3(], )]TJ
0 -1.25 Td
[( )3( )3( )3(
[ 100)3(0, )3(%entry ])]TJ [1000)3(, %entry])]TJ
0 -1.25 Td
[( %p.osr1 = add nsw i6)3(4 %p.osr, -1)]TJ
0 -1.25 Td
...
0 -1.25 Td
[( )3( )3( )3( label %loop.body.cont)]TJ
0 -2.5 Td
[(loop.body.cont: ; )3(pr)-3(eds = )3(%loop.body)]TJ [(loop.body.cont:)]TJ
/f-0-0 1 Tf
0 -1.25 Td
[( %t2 )3(= gete)3(lementptr inbounds i64* %v)3(, i64 )3(%i)]TJ
...
0 -1.25 Td
[( br i)3(1 %t8,)3( label %ex)3(it, label )3(%loop.)3(header)]TJ
0 -2.5 Td
[(exit:
)3(; preds = %loo)3(p.body)]TJ
/f-1-0 1 Tf
[()3(.cont)]TJ
/f-0-0 1 Tf
(, )Tj
0 -1.25 Td
[( )3(; )3(%loop.)3(header, %e)3(ntry)]TJ )]TJ
0 -1.25 Td
[( %res = p)3(hi i32)3(
[ 1, %entry ], [1, %entry], )]TJ
0 -1.25 Td
[( )3( )3(
[ 0, )3(%loop.)3(body)]TJ [0, %)3(loop.b)3(ody)]TJ
/f-1-0 1 Tf
[(.c)3(ont)]TJ [(.co)3(nt)]TJ
/f-0-0 1 Tf
[( ], [(])-3(, )]TJ
0 -1.25 Td
[( )3( )3(
[ 1, )3(%loop.)3(header ])]TJ [1, %)3(loop.h)3(eader])]TJ
0 -1.25 Td
[( ret )3(i32 %r)3(es)]TJ
/f-1-0 1 Tf
0 -2.5 Td
[(osr: ; preds = %lo)3(op.body)]TJ (osr:)Tj
0 -1.25 Td
[( %osr.res = c)3(all i32
@isord2to\()]TJ @isordascto\()]TJ
0 -1.25 Td
[( )3( )3( i64)3(* %v, )3(i64 %n, i6)3(4 %i, )]TJ
0 -1.25 Td
diff --git a/figures/isordfrom/isordfrom.png b/figures/isordfrom/isordfrom.png
index 40d76b7..29a9487 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 659eadd..bcc219a 100644
--- a/figures/isordfrom/isordfrom.svg
+++ b/figures/isordfrom/isordfrom.svg
...
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.07"
inkscape:cx="490.52419"
inkscape:cy="773.01102" inkscape:cx="355.01017"
inkscape:cy="735.62784"
inkscape:document-units="px"
inkscape:current-layer="layer1"
showgrid="false"
...
image/svg+xml
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
...
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1">
id="g6800"
transform="translate(-342,0)">
y="34.901432"
x="494.67801"
height="11.795774"
width="29.127001"
id="rect6773"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1" /> id="rect6771"
width="34.427029" id="rect6773"
width="29.127001"
height="11.795774"
x="596.57812"
y="513.00146" x="152.67801"
y="34.901432" />
y="471.00143"
x="556.57812" y="485.00146"
x="248.57812"
height="11.795774"
width="34.427029"
id="rect6769" id="rect6771"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1" />
y="553.27582"
x="36.409088"
height="72.359154"
width="346.29355"
id="rect6765"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
id="rect6765"
width="323.86365"
height="72.359154"
x="378.40909"
y="567.27582" />
y="217.13493"
x="378.40909"
height="112.5"
width="323.86365"
id="rect6757"
style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
id="rect6757"
width="346.29355"
height="87.266357"
x="36.409088"
y="202.13484" />
xml:space="preserve"
id="flowRoot5588" transform="translate(-18.13636,-93.181818)"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.25px;line-height:125%;font-family:Courier;-inkscape-font-specification:'Courier, 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"
transform="translate(323.86364,-93.181818)"> id="flowRoot5588"
xml:space="preserve">
id="flowRegion5590">id="rect5592"
width="326.83279"
height="622.72736"
x="56.451614"
y="126.55576"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.25px;line-height:125%;font-family:Courier;-inkscape-font-specification:'Courier, Normal';text-align:start;writing-mode:lr-tb;text-anchor:start"
y="126.55576"
x="56.451614"
height="620.85822"
width="360.47766"
id="rect5592" />define i32 @isordid="flowSpan6767"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier
Bold'">from(i64* Bold'"
id="flowSpan6767">from(i64* %v, i64 %n, i32 (i8*, i8*)* nocapture %c) {entry: %t0 = icmp sgt i64 %n, 1 br i1 %t0, label %loop.body, label %exitid="flowPara5606">loop.header: ; preds = %loop.body.cont
id="flowPara5606">loop.header:
id="flowPara5608"> %t1 = icmp slt i64 %i1, %n br i1 %t1, label %loop.body, label %exitid="flowPara5614">loop.body: ; preds = %loop.header, %entry
id="flowPara5616"> id="flowPara5614">loop.body:
id="flowPara5618"> %i = phi i64
[ %i1, %loop.header ],
id="flowPara5618"> [ 1, %entry ] [%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'"
id="flowPara5620"> Bold'"> %p.osr = phi i64 [ %p.osr1, %loop.header ], [%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'"
id="flowPara5622"> [ 1000, %entry ] 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'"
id="flowPara5624"> Bold'"> %p.osr1 = add nsw i64 %p.osr, -1id="flowPara5626"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5626"> Bold'"> %osr.cond = icmp eq i64 %p.osr, 0id="flowPara5628"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5628"> Bold'"> br i1 %osr.cond, label %osr, id="flowPara5630"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5630"> Bold'"> label %loop.body.contid="flowPara5632"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5632" />id="flowPara5634"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier
Bold'"
id="flowPara5634">loop.body.cont: ; preds = %loop.body Bold'">loop.body.cont:
id="flowPara5636"> %t2 = getelementptr inbounds i64* %v, i64 %i %t3 = add nsw i64 %i, -1 %t4 = getelementptr inbounds i64* %v, i64 %t3 %t5 = bitcast i64* %t4 to i8* %t6 = bitcast i64* %t2 to i8* %t7 = tail call i32 %c(i8* %t5, i8* %t6) %t8 = icmp sgt i32 %t7, 0 %i1 = add nuw nsw i64 %i, 1 br i1 %t8, label %exit, label %loop.headerid="flowPara5656">exit: ; preds = %loop.body
id="flowSpan6761"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">.cont, id="flowPara5658">exit: id="flowPara5658"> ; %loop.header, %entry
id="flowPara5660"> %res = phi i32 [ 1, %entry ], [1, %entry], [ 0, [0, %loop.bodyid="flowSpan6763"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier
Bold'">.cont ], Bold'"
id="flowSpan6763">.cont], [ 1, %loop.header ] [1, %loop.header]
id="flowPara5666"> ret i32 %resid="flowPara5670"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier
Bold'"
id="flowPara5670">osr: ; preds = %loop.body 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'"
id="flowPara5672"> Bold'"> %osr.res = call i32 @isord2to( @isordascto(
id="flowPara5674"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5674"> Bold'"> i64* %v, i64 %n, i64 %i, id="flowPara5676"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5676"> Bold'"> i32 (i8*, i8*)* %c)id="flowPara5678"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"
id="flowPara5678"> Bold'"> ret i32 %osr.res}
