deletions | additions       diff --git a/figures/isord2to/isord2to.eps b/figures/isord2to/isord2to.eps  index 1c1c68f..6403766 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 18:53:02 21:17:14  2015 %%Pages: 1  %%DocumentData: Clean7Bit  %%LanguageLevel: 2 
...
Encoding 115 /s put  Encoding 116 /t put  Encoding 117 /u put  Encoding 118 /v put  Encoding 119 /w put  Encoding 120 /x put  Encoding 121 /y put  Encoding 123 /braceleft put  Encoding 125 /braceright put  /CharStrings 49 48  dict dup begin /.notdef 0 def  /d 1 def  /e 2 def 
...
/hyphen 39 def  /u 40 def  /asterisk 41 def  /v 42 def /five 43 42  def /eight 44 43  def /exclam 45 44  def /seven 46 45  def /zero 47 46  def /braceright 48 47  def end readonly def  /sfnts [  <00010000000900800003001063767420f78470aa000030dc000002906670676d6117704c0000  336c0000008d676c796678eedd7f0000009c0000304068656164ce375b3a000033fc00000036  6868656106ebff920000343400000024686d7478eb40221100003458000000c46c6f63610004  be300000351c000000c86d617870084c0cef000035e40000002070726570787ac61a00003604 <00010000000900800003001063767420f78470aa00002fc4000002906670676d6117704c0000  32540000008d676c7966074bf8560000009c00002f2868656164ce375b3a000032e400000036  6868656106ebff910000331c00000024686d7478e67321e800003340000000c06c6f63610004  8ca400003400000000c46d617870084b0cef000034c40000002070726570787ac61a000034e4  00000a9d00020066fe96046605a400030007001740090400060108050204002fccdccc310010  d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f272062900000000020058  ffe7049a051d0024003000d741560043000f0053000f00ac000500aa000800a3000f00bc0005 
...
08070e04080b07190303100ffee8bc07070d0b420c0e05060e069493070f0704100a400d0e08  07bcfeea1011070119060c08080c0501081b121b4e1c11035a7102040f144c0c0f03080c033f  da060f07050f092f09070c0af8f80b0b08082f090f07050f06da3f030d090215054c140f0202  73011f0c110c0c110c00000000010029ffdd04a0039c002600a141270096000f009a00250002  0028000f0006002600200023001e0010000e000300000100001700060104002300d300270000  0026001f0020000e000f00100007001b00030014001b0028000a0003002710d4c410d4c41112  17390010e4fc3cec17321139391239304b53584112000f014500200026000000100145001f00  20001f000f01450026000e0145000000000026070510ec10ec0710ec0810ec5931005d132226  353436332132161514062b010901232226353436332132161514062b01010e01232226279c42  31282801183926324325010401213c4d36263901352828314212feb619312f2b2f19030e2028  23231f272820fd7902871f29271f23232820fd27372120380000000100acffdf040204ee002a  0077404f1f2922001e033f1b4f1b5f1b031b18b90f030103d712b9500f010f0929c422d609d5  2b6b176c136b087b177c1394199011a419a01109221e2923001507260f060106001d6f0c7f0c  020c601e011e2b10d45dc45decd45dc4ec1139391239315d0010e4fcec10c65deef65dfec45d  12393911123930013e0133321615140423222635343633321633323635342623220623222635  1134363321321615140623210185427033afe9fefec9a8e32a1c0bd55b86a79e785aad121e19  293301fa3030322efe3b030e1817f3b4bff85b411a294da17f7ca55a2c3a01f2211d27272529  000300cfffdf03fe050e000b0017002f0091407324180faf090109da03b92a15b91ebe2ad530  0a1d051f1a1d151f7a087a04750a75028416840e820a82028b148b108b088b049b1d9b2b941f  94299b1894249b2f9b1994239425a423a425ab2fab19a91ca620b620b623b625b91cb919b92e  2624180c120721230607270c071b232700072d1c3010f4ecc4f4ec10eef4ee113939315d0010  e4fcec10eef45dce393930011416333236353426232206131416333236353426232206132e01  353436333216151406071e011514062322263534360173856e6f85886c6b880a836667838367  6782216162deadaae26065656ce3b5b5e26c01586a84806a68817f01ee637e7f64607d7dfe79  3093629bc7c8906b9430299f6ba5d0d2a7669f000000000201acffe9032104e5000f001b002e  40190f090701040c0413b619b50cb31c070108160000011000081c10d4e4fce4123939310010  ecf4fccc1117393001030e0123222627033534363332161501343633321615140623222602db  23012e23222e02223e36373efed16753546767545367045efd77212b2b2102890a3a43433afc  214658584647595a0000000100cfffee03ec04ee0022006140401e171f16041a220c0b000310  0cc41ad603ba23690b85008b0c9a0c9a0ba300a90cb300bb0cb90b0a17161a03130d221b0c0b  050300071e080d1e08601301132310d45dc4c4c41112173911121739315d0010e4fcecc41139  39113912173930250e012b0222263534363701210e012322263534363f013e01332132161d01  1406070275080e131147141703030189fe04032423222101010a03231e02951d1b0a0b14180e  100e080f0a042b2f2d22240a0a045a1c1e191b220c272100000200cdffdf0400050e000b0017  006c405b06b90c00b912be0cd5183b0b3b07340134054b0b4b07440144055b115b0d54136b11  6b0d64139b0b9b0794019405a90ba907a601a605b90bb907b601b605c601c605d711d70dd813  d817e711e70de813e8172409071503070f1c1810f4ecd4ec315d0010e4fcec10ee3001220215  141233321235340203220211101233321211100202667380807374808074bcddddbcbcdede04  7ffef0f8f9feef0111f9f80110fb600163013501340163fe9cfecdfecdfe9b0000000001011b  fe8b03b2051000310084412f002e002b00200032002f0021002b00190000001c001200040011  0003000400160007002b010a00240016010a001c010b0024010c0007010a000e00e400320024  0023000100000019002e0003006f00200011006e001900700027000b003210d43cf4f43cec32  1239315d0010fcece4f4ec10ee111217391139391239391239113930012e013d013426272627  263534363332161d01141716171e01151406070607061d01140623222635343736373e013d01  343602b265512c380d1a562a2aa98ca21f10201d1f200b14b08aa92b2b56120841305101cd1d  8da6936a490e03030c402627aae777c3220604092320222806020422c674e8a82727400c0202  0b466d94a48f0000009800ba005a00c800cd009800a6000a021b0248007b007d00b40098009c  00ac00c5020a019600d5013f01b80093018901c10164018900cd009800cd00000014032f0010  000c01c1040802ec009800ae00000089008700cd01e304d900db004a008d00db039a0079033f  0000007900ae015a0342001d007104140000007900a400db00d500000439033b0096010a01bc  01d901db018b00a601c7019c00ac035800f200890089039c03b6005a0089041900f203330302  0098009600cd01a8000000790000007904190098030201a201dd01ee00b60017016601ae010c  00a802980079007701fa007500960089012d00910091013f0060006204a00075008100580058  005800f000f20098008d01cb007d008d007d00c1034c009600ae018901cd011b019c00cd00b4  017100640308018100fc00fe01fa030e031700910091009e0087008700930098028301460191  021d00df00000089008d0000000004f604a204a204a204a20000001f016401ee0075008d0021  04ee04ee04ee050e0075021b006204a204a2008d008d0614065601c7022d01b801c700930164  0217028d016d00c3000000190164002104ee030a008d0091024e037f008d03d1021900bc008d  00810081017b04a202a40266008d000c00f2008f0198025a00000096023b0052007b0614040a  039c039c039c039c0000008d0098008d024805cd053d051d008d0196039c018f039c00be0106  0019039c007b009e0396068501fa007701aa0079007d008900890071013f006404a004a2006f  006f0071006f007b00000058006a00f00068006f0308005e00cd016d00c3021702170064030a  018100fc01fa0071030e0321007b057100be007302d10073007302d1009302830179007f00df  008d000000007fff00980098008200304007060504030201002c2010b002254964b040515820  c859212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b  0559b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508  e12d2c4b505820b80143454459212d2cb002254560442d2c4b5358b00225b002254544592121  2d2c45442d0000000001000000010000d75c62335f0f3cf50111080000000000a380f9f00000  0000c9b116dcfac3fcbb061e08b7000000060001000100000000000100000608fe0800000696  fac3fac2061e00010000000000000000000000000000003104cd006604cd005804cd006604cd  00bc04cd00a604cd006804cd000004cd00b604cd00a204cd00dd04cd00b204cd005a04cd006d  04cd019c04cd019a04cd011b04cd005804cd003904cd01a204cd00cd04cd010404cd006604cd  006004cdfffe04cd004204cd008504cd00cd04cd00b204cdffee04cd016d04cd004404cd00ba  04cd008704cd01a204cd005204cd006404cd019c04cd019c04cdffec04cd009a04cd004804cd  00d104cd002904cd00ac04cd00cf04cd01ac04cd00cf04cd00cd04cd011b0000000000000044  000001a8000002dc000003f4000004e40000064c0000064c0000077000000890000009bc0000  0bc800000c6400000d6000000de400000e7c00000f8c000010b4000012000000126c000013a4  0000144c000014d0000015d0000017bc0000193000001ab800001b9000001cd400001d000000  1d8000001ee400001f94000020ac000020ec0000231c00002480000025040000258c00002710  0000276800002898000029e400002afc00002bec00002d0c00002d9800002e6400002f2c0000  304000010000003101910009007a00050002001000400011000007e80aa10003000141ff0280  0141001300030140000c0003013e00fe0003013d00fe0003013a003e0003013900bb00030138  00fe0003013700bb00030136005d0003013500960003013400fe0003013300bb000301320064  0003013000fe0003012d00fe0003012c012400fe0005012a00fe00030129006b000301280035  00030127006b00030126000c0003012500fe0003012400fe00030123009600030120011f0022  0005012000fe0003011f00220003011e000c0003011d011c00530005011d00960003011c0053  0003011b004c0003011a00530003011900fe00030118011700fe0005011700fe0003011600c1  00fe0005011400fe00030113003500030112004700030111011000fa0005011100fe00030110  00fa0003010f00fe0003010c00fe0003010b00fe0003010a0109001d00050109001d00030108  00f3000a0005010800100003010700d200470005010700440003010600fe0003010500fe0003  010400f3000a0005010400fe0003010300fe00030102003e00030101002e0003010000960003  00ff00fe000e000500ff00fe000300fe00fd0009000500fe000e000300fd0009000300fc002e  000300fb00fe000300fa00f9007d000500fa00fe000300f9007d000300f80012000300f700f6  0094000500f700fe000300f700c0000400f600f50061000500f60094000300f60080000400f5  00f4002e000500f50061000300f541ff0040000400f400f3000a000500f4002e000300f3000a  000300f00015000300ef00fe000300ee00ed000b000500ee00fe000300ed000b000300ec00e6  0017000500ec00fe000300eb00ea000b000500eb00fe000300ea000b000300e9001e000300e8  00a6000300e70039000300e600e50008000500e60017000300e50008000300e400af000a0005  00e400fe000300e300fe000300e2005d000300e100fe000300e000af000300df00fe000300de  00fe000300db00fe000300da0014000300d900d8007d000500d900fe000300d8007d000300d7  0014000300d600fe000300d500b40041000500d500fe000300d400fe000300d300d200470005  00d30096000300d20047000300d100fe000300d000fe000300cf001a000300ce0014000300cd  001a000300cc00fe000300cb00ca0047000500cb00fe000300ca0047000300c900c800140005  00c900fe000300c80014000300c700c60014000500c60014000300c5006b000300c400bb0003  00c300c20014000500c30025000300c3ffc0000400c200af000a000500c20014000300c100fe  000300be00bd008c000500be00fe000300be00c0000400bd00bc0059000500bd008c000300bd  0080000400bc00bb0026000500bc0059000300bc0040000400bb0026000300ba00b400410005  00ba0032000300b9007d000300b800fe000300b700fe000300b6001a000300b541ff00b40041  000500b500fe000300b5ffd0000400b40041000300b300b2008c000500b300fe000300b300c0  000400b200b10059000500b2008c000300b20080000400b100b00026000500b10059000300b1  0040000400b000af000a000500b00026000300af000a000301450028000301440028000300ae  00af000300ad00fe000300ac00fe000300ab00fe000300aa0008000300a800fe000300a700fe  000300a600fe000300a400a300fa000500a300fa000300a200fa000300a1004b000300a0009f  0053000500a000bb0003009f00530003009e00fe0003009d009c007d0005009c007d0003009a  009900fe0005009900fe0003009800fe00030095007d000300940006003a00050094004b0003  0093000c0003009200fe000300910090000b00050090000b0003008f003e0003008e008d0029  0005008e002e0003008d00290003008c00fe0003008b00fe0003008a00fe000300890088003e  00050089007d00030088003e0003008700fe00030086005d00030085006b00030084008300fe  0005008300fe0003008200fe00030081003a0003008000220003007f007e00460005007f00aa  0003007e004600030079005d00030078007d0003007700fe000300760075003a0005007600fe  00030075003a0003007100fe0003006e00fe0003006d006c000f0005006d00330003006c000f  0003006b00fe0003006a00fe41ff00030069006800100005006900af00030068001000030067  003700030066005a000a00050066004400030065007d00030064005400100005006400fa0003  00630062000c0005006300fe00030062000c000300610060000d00050061002d00030060000d  0003005e005d00140005005d00140003005b005a000a0005005b00fe0003005a000a00030059  00fe000300580054001000050058002900030057001f00090005005700fe00030056007d0003  0055005400100005005500fe0003005400100003005300fe000300520036000b0005005200fe  0003005100290003005000fe0003004e001a0003004d007d0003004c007d0003004b00380003  004a00fe0003004900640003004800fe0003004700960003004600a60003004500fe00030043  001e000300420036000b00050042007800030041002900030040003e000a0005004000640003  003f003e000a0005003f00960003003e000a0003003d000a0003003c00fe0003003b00fe0003  003a00fe0003003900fe00030038003700180005003800fa000300370036000b000500370018  00030036000b0003003400960003003300fe0003003200fe0003003100fe0003003000fa0003  002f002c0003002e00fe0003002d00fe0003002c00fe0003002b00fe0003002a00fa00030029  0007000300280006003a00050028007d0003002700bb0003002600fe00034196002500960003  00240018001400050024003e0003002300fe0003002200fe0003002100fe0003002000fe0003  001f00090003001e000400140005001e00440003001d004a0003001c000400140005001c00fe  0003001b001a00280005001b00fe0003001a002800030019001800140005001900fe00030018  00140003001700fe0003001600fe0003001400fe000300130012000800050012000800030011  001000290005001000290003000f000e004c0005000f00fa0003000e004c0003000d0006003a  0005000d00fe0003000c000b00fe0005000b00fe0003000a0009001600050009001600030008  00fe000300070006003a0005000700bb00030006003a000300050004001400050005004b0003  000400140003000300fe00030001001a000300000012000300010118858d012b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b 73011f0c110c0c110c000000000100acffdf040204ee002a0077404f1f2922001e033f1b4f1b  5f1b031b18b90f030103d712b9500f010f0929c422d609d52b6b176c136b087b177c13941990  11a419a01109221e2923001507260f060106001d6f0c7f0c020c601e011e2b10d45dc45decd4  5dc4ec1139391239315d0010e4fcec10c65deef65dfec45d12393911123930013e0133321615  1404232226353436333216333236353426232206232226351134363321321615140623210185  427033afe9fefec9a8e32a1c0bd55b86a79e785aad121e19293301fa3030322efe3b030e1817  f3b4bff85b411a294da17f7ca55a2c3a01f2211d27272529000300cfffdf03fe050e000b0017  002f0091407324180faf090109da03b92a15b91ebe2ad5300a1d051f1a1d151f7a087a04750a  75028416840e820a82028b148b108b088b049b1d9b2b941f94299b1894249b2f9b1994239425  a423a425ab2fab19a91ca620b620b623b625b91cb919b92e2624180c120721230607270c071b  232700072d1c3010f4ecc4f4ec10eef4ee113939315d0010e4fcec10eef45dce393930011416  333236353426232206131416333236353426232206132e01353436333216151406071e011514  062322263534360173856e6f85886c6b880a8366678383676782216162deadaae26065656ce3  b5b5e26c01586a84806a68817f01ee637e7f64607d7dfe793093629bc7c8906b9430299f6ba5  d0d2a7669f000000000201acffe9032104e5000f001b002e40190f090701040c0413b619b50c  b31c070108160000011000081c10d4e4fce4123939310010ecf4fccc1117393001030e012322  2627033534363332161501343633321615140623222602db23012e23222e02223e36373efed1  6753546767545367045efd77212b2b2102890a3a43433afc214658584647595a0000000100cf  ffee03ec04ee0022006140401e171f16041a220c0b0003100cc41ad603ba23690b85008b0c9a  0c9a0ba300a90cb300bb0cb90b0a17161a03130d221b0c0b050300071e080d1e086013011323  10d45dc4c4c41112173911121739315d0010e4fcecc4113939113912173930250e012b022226  3534363701210e012322263534363f013e01332132161d011406070275080e13114714170303  0189fe04032423222101010a03231e02951d1b0a0b14180e100e080f0a042b2f2d22240a0a04  5a1c1e191b220c272100000200cdffdf0400050e000b0017006c405b06b90c00b912be0cd518  3b0b3b07340134054b0b4b07440144055b115b0d54136b116b0d64139b0b9b0794019405a90b  a907a601a605b90bb907b601b605c601c605d711d70dd813d817e711e70de813e81724090715  03070f1c1810f4ecd4ec315d0010e4fcec10ee30012202151412333212353402032202111012  33321211100202667380807374808074bcddddbcbcdede047ffef0f8f9feef0111f9f80110fb  600163013501340163fe9cfecdfecdfe9b0000000001011bfe8b03b2051000310084412f002e  002b00200032002f0021002b00190000001c0012000400110003000400160007002b010a0024  0016010a001c010b0024010c0007010a000e00e4003200240023000100000019002e0003006f  00200011006e001900700027000b003210d43cf4f43cec321239315d0010fcece4f4ec10ee11  1217391139391239391239113930012e013d013426272627263534363332161d01141716171e  01151406070607061d01140623222635343736373e013d01343602b265512c380d1a562a2aa9  8ca21f10201d1f200b14b08aa92b2b56120841305101cd1d8da6936a490e03030c402627aae7  77c3220604092320222806020422c674e8a82727400c02020b466d94a48f0000009800ba005a  00c800cd009800a6000a021b0248007b007d00b40098009c00ac00c5020a019600d5013f01b8  0093018901c10164018900cd009800cd00000014032f0010000c01c1040802ec009800ae0000  0089008700cd01e304d900db004a008d00db039a0079033f0000007900ae015a0342001d0071  04140000007900a400db00d500000439033b0096010a01bc01d901db018b00a601c7019c00ac  035800f200890089039c03b6005a0089041900f2033303020098009600cd01a8000000790000  007904190098030201a201dd01ee00b60017016601ae010c00a802980079007701fa00750096  0089012d00910091013f0060006204a00075008100580058005800f000f20098008d01cb007d  008d007d00c1034c009600ae018901cd011b019c00cd00b4017100640308018100fc00fe01fa  030e031700910091009e0087008700930098028301460191021d00df00000089008d00000000  04f604a204a204a204a20000001f016401ee0075008d002104ee04ee04ee050e0075021b0062  04a204a2008d008d0614065601c7022d01b801c7009301640217028d016d00c3000000190164  002104ee030a008d0091024e037f008d03d1021900bc008d00810081017b04a202a40266008d  000c00f2008f0198025a00000096023b0052007b0614040a039c039c039c039c0000008d0098  008d024805cd053d051d008d0196039c018f039c00be01060019039c007b009e0396068501fa  007701aa0079007d008900890071013f006404a004a2006f006f0071006f007b00000058006a  00f00068006f0308005e00cd016d00c3021702170064030a018100fc01fa0071030e0321007b  057100be007302d10073007302d1009302830179007f00df008d000000007fff009800980082  00304007060504030201002c2010b002254964b040515820c859212d2cb002254964b0405158  20c859212d2c20100720b00050b00d7920b8ffff5058041b0559b0051cb0032508b0042523e1  20b00050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b505820b8014345445921  2d2cb002254560442d2c4b5358b00225b0022545445921212d2c45442d000000000100000001  0000c43e99e55f0f3cf50111080000000000a380f9f000000000c9b116dcfac3fcbb061e08b7  000000060001000100000000000100000608fe0800000696fac3fac2061e0001000000000000  0000000000000000003004cd006604cd005804cd006604cd00bc04cd00a604cd006804cd0000  04cd00b604cd00a204cd00dd04cd00b204cd005a04cd006d04cd019c04cd019a04cd011b04cd  005804cd003904cd01a204cd00cd04cd010404cd006604cd006004cdfffe04cd004204cd0085  04cd00cd04cd00b204cdffee04cd016d04cd004404cd00ba04cd008704cd01a204cd005204cd  006404cd019c04cd019c04cdffec04cd009a04cd004804cd00d104cd00ac04cd00cf04cd01ac  04cd00cf04cd00cd04cd011b0000000000000044000001a8000002dc000003f4000004e40000  064c0000064c0000077000000890000009bc00000bc800000c6400000d6000000de400000e7c  00000f8c000010b4000012000000126c000013a40000144c000014d0000015d0000017bc0000  193000001ab800001b9000001cd400001d0000001d8000001ee400001f94000020ac000020ec  0000231c00002480000025040000258c000027100000276800002898000029e400002ad40000  2bf400002c8000002d4c00002e1400002f2800010000003001910009007a0005000200100040  0011000007e80aa10003000141ff02800141001300030140000c0003013e00fe0003013d00fe  0003013a003e0003013900bb0003013800fe0003013700bb00030136005d0003013500960003  013400fe0003013300bb0003013200640003013000fe0003012d00fe0003012c012400fe0005  012a00fe00030129006b00030128003500030127006b00030126000c0003012500fe00030124  00fe00030123009600030120011f00220005012000fe0003011f00220003011e000c0003011d  011c00530005011d00960003011c00530003011b004c0003011a00530003011900fe00030118  011700fe0005011700fe0003011600c100fe0005011400fe0003011300350003011200470003  0111011000fa0005011100fe0003011000fa0003010f00fe0003010c00fe0003010b00fe0003  010a0109001d00050109001d0003010800f3000a0005010800100003010700d2004700050107  00440003010600fe0003010500fe0003010400f3000a0005010400fe0003010300fe00030102  003e00030101002e000301000096000300ff00fe000e000500ff00fe000300fe00fd00090005  00fe000e000300fd0009000300fc002e000300fb00fe000300fa00f9007d000500fa00fe0003  00f9007d000300f80012000300f700f60094000500f700fe000300f700c0000400f600f50061  000500f60094000300f60080000400f500f4002e000500f50061000300f541ff0040000400f4  00f3000a000500f4002e000300f3000a000300f00015000300ef00fe000300ee00ed000b0005  00ee00fe000300ed000b000300ec00e60017000500ec00fe000300eb00ea000b000500eb00fe  000300ea000b000300e9001e000300e800a6000300e70039000300e600e50008000500e60017  000300e50008000300e400af000a000500e400fe000300e300fe000300e2005d000300e100fe  000300e000af000300df00fe000300de00fe000300db00fe000300da0014000300d900d8007d  000500d900fe000300d8007d000300d70014000300d600fe000300d500b40041000500d500fe  000300d400fe000300d300d20047000500d30096000300d20047000300d100fe000300d000fe  000300cf001a000300ce0014000300cd001a000300cc00fe000300cb00ca0047000500cb00fe  000300ca0047000300c900c80014000500c900fe000300c80014000300c700c60014000500c6  0014000300c5006b000300c400bb000300c300c20014000500c30025000300c3ffc0000400c2  00af000a000500c20014000300c100fe000300be00bd008c000500be00fe000300be00c00004  00bd00bc0059000500bd008c000300bd0080000400bc00bb0026000500bc0059000300bc0040  000400bb0026000300ba00b40041000500ba0032000300b9007d000300b800fe000300b700fe  000300b6001a000300b541ff00b40041000500b500fe000300b5ffd0000400b40041000300b3  00b2008c000500b300fe000300b300c0000400b200b10059000500b2008c000300b200800004  00b100b00026000500b10059000300b10040000400b000af000a000500b00026000300af000a  000301450028000301440028000300ae00af000300ad00fe000300ac00fe000300ab00fe0003  00aa0008000300a800fe000300a700fe000300a600fe000300a400a300fa000500a300fa0003  00a200fa000300a1004b000300a0009f0053000500a000bb0003009f00530003009e00fe0003  009d009c007d0005009c007d0003009a009900fe0005009900fe0003009800fe00030095007d  000300940006003a00050094004b00030093000c0003009200fe000300910090000b00050090  000b0003008f003e0003008e008d00290005008e002e0003008d00290003008c00fe0003008b  00fe0003008a00fe000300890088003e00050089007d00030088003e0003008700fe00030086  005d00030085006b00030084008300fe0005008300fe0003008200fe00030081003a00030080  00220003007f007e00460005007f00aa0003007e004600030079005d00030078007d00030077  00fe000300760075003a0005007600fe00030075003a0003007100fe0003006e00fe0003006d  006c000f0005006d00330003006c000f0003006b00fe0003006a00fe41ff0003006900680010  0005006900af00030068001000030067003700030066005a000a00050066004400030065007d  00030064005400100005006400fa000300630062000c0005006300fe00030062000c00030061  0060000d00050061002d00030060000d0003005e005d00140005005d00140003005b005a000a  0005005b00fe0003005a000a0003005900fe000300580054001000050058002900030057001f  00090005005700fe00030056007d00030055005400100005005500fe00030054001000030053  00fe000300520036000b0005005200fe0003005100290003005000fe0003004e001a0003004d  007d0003004c007d0003004b00380003004a00fe0003004900640003004800fe000300470096  0003004600a60003004500fe00030043001e000300420036000b000500420078000300410029  00030040003e000a0005004000640003003f003e000a0005003f00960003003e000a0003003d  000a0003003c00fe0003003b00fe0003003a00fe0003003900fe000300380037001800050038  00fa000300370036000b00050037001800030036000b0003003400960003003300fe00030032  00fe0003003100fe0003003000fa0003002f002c0003002e00fe0003002d00fe0003002c00fe  0003002b00fe0003002a00fa000300290007000300280006003a00050028007d0003002700bb  0003002600fe0003419600250096000300240018001400050024003e0003002300fe00030022  00fe0003002100fe0003002000fe0003001f00090003001e000400140005001e00440003001d  004a0003001c000400140005001c00fe0003001b001a00280005001b00fe0003001a00280003  0019001800140005001900fe0003001800140003001700fe0003001600fe0003001400fe0003  00130012000800050012000800030011001000290005001000290003000f000e004c0005000f  00fa0003000e004c0003000d0006003a0005000d00fe0003000c000b00fe0005000b00fe0003  000a000900160005000900160003000800fe000300070006003a0005000700bb00030006003a  000300050004001400050005004b0003000400140003000300fe00030001001a000300000012  000300010118858d012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00000000> 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00000000>  ] def  /f-0-0 currentdict end definefont pop  %%EndResource 
...
0 1 255 { Encoding exch /.notdef put } for  Encoding 32 /space put  Encoding 37 /percent put  Encoding 40 /parenleft put  Encoding 41 /parenright put  Encoding 42 /asterisk put  Encoding 44 /comma put  Encoding 46 /period put  Encoding 50 /two put  Encoding 51 /three put  Encoding 52 /four put  Encoding 54 /six put  Encoding 56 /eight put  Encoding 58 /colon put  Encoding 59 /semicolon put  Encoding 91 /bracketleft put 
...
Encoding 117 /u put  Encoding 118 /v put  Encoding 121 /y put  /CharStrings 30 35  dict dup begin /.notdef 0 def  /t 1 def  /o 2 def 
...
/underscore 20 def  /s 21 def  /comma 22 def  /period /three  23 def /colon /two  24 def /semicolon /parenleft  25 def /m /eight  26 def /b /parenright  27 def /bracketleft /period  28 def /bracketright /colon  29 def /semicolon 30 def  /m 31 def  /b 32 def  /bracketleft 33 def  /bracketright 34 def  end readonly def  /sfnts [  <0001000000090080000300106376742051a297800000185c000002bc6670676d611770640000  1b180000008d676c79667b15c5220000009c000017c0686561648a879c0000001ba800000036  686865610711ff8700001be000000024686d74789008114900001c04000000786c6f63615fee  59c800001c7c0000003e6d61787008390d8100001cbc0000002070726570a926421700001cdc <0001000000090080000300106376742051a2978000001c70000002bc6670676d611770640000  1f2c0000008d676c7966d721af500000009c00001bd4686561648a879c0000001fbc00000036  686865610711ff8c00001ff400000024686d7478a80915b7000020180000008c6c6f63617ba2  825e000020a4000000486d617870083e0d81000020ec0000002070726570a92642170000210c  00000b8c00020066fe96046605a400030007001740090400060108050204002fccdccc310010  d4ccd4cc301311211125211121660400fc73031bfce5fe96070ef8f272062900000000010050  ffec046004cb002c007b4129001b00150009001c0009000f0007002c002600290000000f000c 
...
8197a5150001015cfeba0344015a0018002e401b08150f0e040b1607190bcb00c91916150f0e  08070100080413121910d4ec1739310010fce4123939111739300133321615140607010e0123  22262f012e0135343637133e010233ee10130504fed5071a10040b054c111201018e091d015a  0c0a050f09fdb6101303011b06150c0b0b050208221500010196fff20337016a000b00144009  00ce06ae0c0314090c10d4ec310010f4ec3001321615140623222635343602665e73735e5c74  74016a685453696953536900000000020196fff20337037f000b0017001e400f0cce12d300ce  06ae180f031415091810d43cec39310010f4fcfcec3001321615140623222635343613321615  140623222635343602665e73735e5c74745c5e71725d5c7473016a6753546a6b535268021567  53556a6b545367000002015cfeba0344037f00180024004940270f150e16072508000b0e19ce  1fd40ecb00c9251601000e08051c150f2212070422141c0413122510d4fcd4ec123911123939  111739310010fce4f4ec10c01239113939123939300133321615140607010e012322262f012e  0135343637133e011332161514062322263534360233ee10130504fed5071a10040b054c1112  01018e091d4e5e73735e5c7373015a0c0a050f09fdb6101303011b06150c0b0b050208221502  256753556a6a555268000001ffee000004e903b4004d00974053004844162c19062613053d25  120e072916c1033deb44f94b03ea3b2d1a0307eb34210e3e413b384548352e312c2200251b1e  190f12080b5612580631a12c1ea10e06551941342c583856443c3555211957254e10d4ec32f4  3c3ce4ec32c410e432e410e410eee43912391112391239391112391239391139113931002f3c  3cee1732ee32feee10ee32111239391217391112393930013e0133321615113332161514062b  0122263511342623220615113332161514062b0122263511342623220615113332161514062b  0122263534363b01112322263534363b013216153e0133321602a62a6e3f88780e2f2f313baa  1b1e2a2832370f2e30323baa1b20282832390f2f2f323be33a322f2f0e0e2f31333b87291d25  68403a5603582d2fa1bdfe8537353c331714023543425953fea237353c331714023543425a52  fea236363c33343b353701e639353a33212f33352d0000000002003bffe70487051d000b0030  00634037302c2519181c060c0f0006c11525eb2c00c10fea15ae2cf023eb1c262923201c1918  2d041d03092412030c09124d294c204b2c241d493110fc3c3ce4e4e4fcc410ee111217391139  113931002feeeee4feee10ee10ee111239111239391112393001220615141633323635342625  3e01333200151400232226271514062b0122263534363b01112322263534363b01321615028f  62818063638182fec1308448d00109fef2cd618f2d1f1c9a44393736101036393a45bb201d02  c793717493947370947b2a30feedd7c4fef94343421417333c3537036439363b341f23000001  01a2fe8d036804a20017003e40220c08010d100001e408e500e410db1810090c171108020400  1405453f000100440c1810d4ec5de432111739123939310010fcecf4ec111239111239300111  33321615140623212226351134363321321615140623028d962025241ffecd242c2c2401331f  2425200406fb252b25242a251d05911d252a2425290000000001012dfe8d02f404a20017003a  40200c08010d00e410e501e408db1810090c17110802040530000100440c4514051810d43cf4  ec5d111739113939310010fcecf4ec3911123930051123222635343633213216151114062321  222635343633020895212524200133232d2d23fecd20242521d504db29252529261cfa6f1c26  2925252b00ec008d00f30102010c0221024c00a0010200f800e10108020800d1013b01b800cd  00d101a201e701a20000007500f200750102038b001901020102000e010c0442030a01a200f8  011400db00d704ec00c100f8010201020121007f003100ba03c900f800d700d7000000000056  007f034c0362039c001d00e500c100000468038d00c101a8018700ec01c700460396007d00cf  0000007d007d03cd0046011400cf033b00f8010c01ae019e000000f800f8000004420100010e  02d100c1008f021d008f00f800ec00fe00aa00aa00aa013f00890062006604c90087006f0068  00fe00b200c300dd00c300b2036800ec01ec013d019e0129003100f801020121018f009602f0  0196010e021d034a035200b800a600a6029100a600b200c90000009302830400043900ba0183  0104010e00c90104011201e300d100b604000191000000520000007d007d0000000000ec04f6  04a204a204a204a200000019013d01ec009600b600d90000002104ee04ee04ee04ee00980221  04a204a2001f00d900c500d900d900d90614065801b801c700cd0179022502a0015c00e30179  00d904ee00d90021009c009c0073040a00d900b400b4015004a200d9028500d900000056007d  028500d9009c0614040a039c039c039c039c00d9023d025405cd053d051d00d901a2039c00d9  051d0521018d0191039c013900d3018d00d900d900a8039c009c00d703cd06c1021d008f008f  01f600cf00a2013f01420062007904c900790079007d006800fe00aa030800a8006000d9015c  00be0225009602f002f60196010e021d01c70210034a01ee0321009a01ee04ee057102d1008d  008d0571008d02d104a200ac0093028302350083041400cd033b0168006f02d9001900d907a2  039c00cb0019065200c507b600d904a204a204a204a200d900f6056d00cd005600d901270196  02a200d9013b018500d900d916177fff008200304007060504030201002c2010b002254964b0  40515820c859212d2cb002254964b040515820c859212d2c20100720b00050b00d7920b8ffff  5058041b0559b0051cb0032508b0042523e120b00050b00d7920b8ffff5058041b0559b0051c  b0032508e12d2c4b505820b8015b454459212d2cb002254560442d2c4b5358b00225b0022545  445921212d2c45442d00000000010000000100003b5291d85f0f3cf501110800000000005faa  3a7000000000c9b116dcfac1fcc6064608f3000100060001000000000000000100000608fe08  00000696fac1faca064600010000000000000000000000000000001e04cd006604cd005004cd  004604cd00a604cd009e04cd009604cd00cf04cd000004cd005004cd005804cd006804cd0002  04cd004204cd007704cd005804cd004404cd009604cd003904cd00cd04cd003904cdffee04cd  009e04cd015c04cd019604cd019604cd015c04cdffee04cd003b04cd01a204cd012d00000022 0c0a050f09fdb6101303011b06150c0b0b050208221500010093ffdd0400050e0030008c4136  00000015001a000f001500c30030001c0050001c0080001c0080002500f000250005001c000f  00cf000c01590006002200c300250159002b00b9000600b500310004002c0014002c00020000  0012001f0004002e00120004000300280010001800300018000200180009003110d4c45dc4d4  ecd4ec1239315d0010e4fcecec10eee6d65dee1239123930011e011514062322263534363332  16333236353426272e0135343736373e01353426232206232226353436333216151406031d73  70fddab0e63f3419cc4e5e6555783f2b560c066c404d464ab823272fecadaecf5f02ae249b7c  bbdb7453313d5a655e655605022d3a500c01010f4952474f5d3327557ab49562870000000001  007d00000408050e00310069404115311b000a0d0802140305001bcf0f221f22100520052f22  05222bb90900c1050d042c142c02240022310231010d02042e1500140e0425180a081804082e  25113210d4c4d4c4ec1239111217391217395d315d002fc4ec32fcc45de41112173912391112  39393025213534363332161d01070e012321222635343637013e013534262322060706070623  2226353436373e013332161514060701e1015e37362c3008021920fd313a3f272b0197424157  593451160c11303a323320304ead65bddd7379e1063332312d0d9b2e18322e26492901894080  405a581f1c0e1d4e42414342213432ccac73d369000000010191fe6f039a04c7001e00254014  070d13c500ac1f36080110030c3f0a010a0b191f10d4ec5de432315d0010fce4393930013216  15140706070602151416171e01151406232226272602353412373e01036a141c30231451483a  3c206a1b1227673b888b72724a7f04c71d1415523a2696fef29182f67a3fb516141b44419701  56b9a801378f5c63000000030098ffdf0435050e000b0023002f005b403a180c2a8000f00002  0006c31224c31eb912b5300b1d041f32183d0c42184d0c52185d0c080c2109181b032d1d211e  091d0f271d1b1e0f031d153010d4ecc4f4ec10eef4ee111239111239315d0010e4fcec10eed4  5dce393930012206151416333236353426371e01151404232224353436372e01353436333216  15140601220615141633323635342602665c70725a5d707289717aff00cfcbfefd7a716e6ffb  c5c5fe71feae546e6e54566b6c021966555169665453686e29a06aa5d0d0a16ca12a3092639a  c8ca986394019d644c4c64614f4c6400000000010135fe6f033f04c7001e002140111c160fc5  03ac1f301901190b090c12001f10d43cf4ec5d310010fce43939300134363332161716121514  02070e0123222635343736373612353426272e0101351c132d814a71728a883a6a27121b3124  1451483a3c216b0496141d635c8dfec8a9b9feaa9740451b1416503b2596010e9283f67a42b1  000000010196fff20337016a000b0014400900ce06ae0c0314090c10d4ec310010f4ec300132  1615140623222635343602665e73735e5c7474016a685453696953536900000000020196fff2  0337037f000b0017001e400f0cce12d300ce06ae180f031415091810d43cec39310010f4fcfc  ec3001321615140623222635343613321615140623222635343602665e73735e5c74745c5e71  725d5c7473016a6753546a6b53526802156753556a6b545367000002015cfeba0344037f0018  0024004940270f150e16072508000b0e19ce1fd40ecb00c9251601000e08051c150f22120704  22141c0413122510d4fcd4ec123911123939111739310010fce4f4ec10c01239113939123939  300133321615140607010e012322262f012e0135343637133e01133216151406232226353436  0233ee10130504fed5071a10040b054c111201018e091d4e5e73735e5c7373015a0c0a050f09  fdb6101303011b06150c0b0b050208221502256753556a6a555268000001ffee000004e903b4  004d00974053004844162c19062613053d25120e072916c1033deb44f94b03ea3b2d1a0307eb  34210e3e413b384548352e312c2200251b1e190f12080b5612580631a12c1ea10e0655194134  2c583856443c3555211957254e10d4ec32f43c3ce4ec32c410e432e410e410eee43912391112  391239391112391239391139113931002f3c3cee1732ee32feee10ee32111239391217391112  393930013e0133321615113332161514062b0122263511342623220615113332161514062b01  22263511342623220615113332161514062b0122263534363b01112322263534363b01321615  3e0133321602a62a6e3f88780e2f2f313baa1b1e2a2832370f2e30323baa1b20282832390f2f  2f323be33a322f2f0e0e2f31333b87291d2568403a5603582d2fa1bdfe8537353c3317140235  43425953fea237353c331714023543425a52fea236363c33343b353701e639353a33212f3335  2d0000000002003bffe70487051d000b003000634037302c2519181c060c0f0006c11525eb2c  00c10fea15ae2cf023eb1c262923201c19182d041d03092412030c09124d294c204b2c241d49  3110fc3c3ce4e4e4fcc410ee111217391139113931002feeeee4feee10ee10ee111239111239  3911123930012206151416333236353426253e01333200151400232226271514062b01222635  34363b01112322263534363b01321615028f62818063638182fec1308448d00109fef2cd618f  2d1f1c9a44393736101036393a45bb201d02c793717493947370947b2a30feedd7c4fef94343  421417333c3537036439363b341f2300000101a2fe8d036804a20017003e40220c08010d1000  01e408e500e410db1810090c1711080204001405453f000100440c1810d4ec5de43211173912  3939310010fcecf4ec1112391112393001113332161514062321222635113436332132161514  0623028d962025241ffecd242c2c2401331f2425200406fb252b25242a251d05911d252a2425  290000000001012dfe8d02f404a20017003a40200c08010d00e410e501e408db1810090c1711  0802040530000100440c4514051810d43cf4ec5d111739113939310010fcecf4ec3911123930  051123222635343633213216151114062321222635343633020895212524200133232d2d23fe  cd20242521d504db29252529261cfa6f1c262925252b00ec008d00f30102010c0221024c00a0  010200f800e10108020800d1013b01b800cd00d101a201e701a20000007500f200750102038b  001901020102000e010c0442030a01a200f8011400db00d704ec00c100f8010201020121007f  003100ba03c900f800d700d7000000000056007f034c0362039c001d00e500c100000468038d  00c101a8018700ec01c700460396007d00cf0000007d007d03cd0046011400cf033b00f8010c  01ae019e000000f800f8000004420100010e02d100c1008f021d008f00f800ec00fe00aa00aa  00aa013f00890062006604c90087006f006800fe00b200c300dd00c300b2036800ec01ec013d  019e0129003100f801020121018f009602f00196010e021d034a035200b800a600a6029100a6  00b200c90000009302830400043900ba01830104010e00c90104011201e300d100b604000191  000000520000007d007d0000000000ec04f604a204a204a204a200000019013d01ec009600b6  00d90000002104ee04ee04ee04ee0098022104a204a2001f00d900c500d900d900d906140658  01b801c700cd0179022502a0015c00e3017900d904ee00d90021009c009c0073040a00d900b4  00b4015004a200d9028500d900000056007d028500d9009c0614040a039c039c039c039c00d9  023d025405cd053d051d00d901a2039c00d9051d0521018d0191039c013900d3018d00d900d9  00a8039c009c00d703cd06c1021d008f008f01f600cf00a2013f01420062007904c900790079  007d006800fe00aa030800a8006000d9015c00be0225009602f002f60196010e021d01c70210  034a01ee0321009a01ee04ee057102d1008d008d0571008d02d104a200ac0093028302350083  041400cd033b0168006f02d9001900d907a2039c00cb0019065200c507b600d904a204a204a2  04a200d900f6056d00cd005600d90127019602a200d9013b018500d900d916177fff00820030  4007060504030201002c2010b002254964b040515820c859212d2cb002254964b040515820c8  59212d2c20100720b00050b00d7920b8ffff5058041b0559b0051cb0032508b0042523e120b0  0050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b505820b8015b454459212d2c  b002254560442d2c4b5358b00225b0022545445921212d2c45442d0000000001000000010000  1bc63e4c5f0f3cf501110800000000005faa3a7000000000c9b116dcfac1fcc6064608f30001  00060001000000000000000100000608fe0800000696fac1faca064600010000000000000000  000000000000002304cd006604cd005004cd004604cd00a604cd009e04cd009604cd00cf04cd  000004cd005004cd005804cd006804cd000204cd004204cd007704cd005804cd004404cd0096  04cd003904cd00cd04cd003904cdffee04cd009e04cd015c04cd009304cd007d04cd019104cd  009804cd013504cd019604cd019604cd015c04cdffee04cd003b04cd01a204cd012d00000022  00a000e8014a01a4023c02e002e0036e03e0045804d8055005ba0624069e06e6075407f00852  086809340976099809ce0a2e0ae00b580b9e0be0000000010000001e01320009007c00050002  001000400011000007e80b900003000141ff02800159000c0003015800090003015700de000b  00050157001d000301560155000c00050156001e00030155000c0003015400dd001000050154  00a600030153002e0003015200f1000d00050152002e0003015100fa0003014d014c00290005  014d006b0003014c00290003014b014a008c0005014b00fe0003014b00c00004014a01490059  0005014a008c0003014a00800004014901480026000501490059000301490040000401480026  00030147005d0003014600fe0003014500fe0003014400fe0003014300ad004700050143007d  00030143ffd00004014200fa0003014100fe0003013f00fe0003013e00ad00470005013e007d  0003013b00fe0003013a00bb0003013900fa0003013800fe0003013700fe0003013600fe0003  013300960003013200fe0003013100320003013000350003012f012a00140005012f005d0003  012e00640003012d00960003012c00fa0003012b012a00140005012b00fe0003012a00140003  0129003a00030128007d00030127003a0003012600fe00030124012300140005012400fe0003  012300140003012000fe0003011f011e00a60005011e00a60003011c00fe0003011b00290003  011a00530003011900320003011800fe0003011700c80003011600fe00030115003900030113  003200030112011100fa0005011200fe0003011100fa00030110006b0003010e00fe41ff0003  010c010b00fe0005010b00fe0003010a00fe0003010900fe0003010800fe0003010400fe0003  010300fe00030102010100140005010100140003010000e6000a000501000024000300ff00fe  0017000500ff0078000300fe0017000300fd004b000300fc00fe000300fb005d000300fa00fe  000300f900e6000a000500f900fe000300f800f700fa000500f800fe000300f700fa000300f6  00f500fa000500f600fe000300f500ef000e000500f500fa000300f4004b000300f300e6000a  000500f30035000300f2002e000300f1000d000300f000ef000e000500f000fe000300ef00ee  0009000500ef000e000300ee0009000300ed00ec0011000500ed002e000300ec0011000300eb  00cf007d000500eb00fe000300ea00e90094000500ea00fe000300ea00c0000400e900e80061  000500e90094000300e90080000400e800e7002e000500e80061000300e80040000400e700e6  000a000500e7002e000300e6000a000300e30096000300e20014000300e100e0001a000500e1  00fe000300e000df0010000500e0001a000300df0010000300de000b000300dd0010000300dc  00bb000300db00a8000a000500db00fe000300da00fe000300d90035000300d8007d000300d7  002c000300d40064000300d300fe000300d200b40041000500d2005d000300d100fe000300d0  00fe000300cf007d000300ce00fe41ff000300cd00fe000300cc00fe000300cb00ca00140005  00cb00fe000300ca0014000300c90032000300c800fe000300c700c60047000500c700fe0003  00c60047000300c500c40014000500c40014000300c30064000300c2002e000300c1007d0003  00c000bf0025000500c000fe000300bf0025000300be00b40041000500be00fe000300beffd0  000400bd00bc001d000500bd0032000300bdffc0000400bc00a8000a000500bc001d000300b9  00b8008c000500b900fe000300b900c0000400b800b70059000500b8008c000300b800800004  00b700b60026000500b70059000300b70040000400b60026000300b500b40041000500b500fe  000300b40041000300b300b200fe000500b30014000300b200fe000300b100fe000300b000fe  000300af007d000300ae00ad0047000500ae0096000300ad0047000300ac00ab008c000500ac  00fe000300ac00c0000400ab00aa0059000500ab008c000300ab0080000400aa00a900260005  00aa0059000300aa0040000400a900a8000a000500a90026000300a8000a000300a6000f0003  00a50011000300a400a20010000500a400fe000300a300fe000300a20010000300a100590011  000500a100380003009f00fe0003009e00fe0003009d00960003009c00960003009a00990029  0005009a007d0003009900290003009800fe0003009700fe0003009500fe000341ff009400fe  00030093009200140005009300bb0003009200140003008f000d0003008e00960003008d008c  00530005008d00fe0003008c00530003008b00fe0003008a001b0003008900fe0003008800fe  000300870086007d00050086007d0003008300fe0003008000fe0003007f007e00210005007f  00290003007e007d00640005007e00210003007d00640003007c00290003007b00fe0003007a  00fe000300790078000a00050078000a0003007700640003007600fe0003007500fe00030074  00fe00030073007200260005007300fe0003007200260003007100320003006f00960003006e  00320003006b006a00fa0005006a00fa0003006700350003006600fe0003006500fe00030064  00fa00030063006200500005006300fe0003006200500003005e00fe0003005c00fe0003005b  00fa0003005a00bb000300590011000300580008000e00050058003e00030057003e00030056  000e000300550054000e0005005500fe00030054000e00030053005200320005005200320003  005100fe0003005000bb0003004f002300230005004f00320003004e00fe0003004d00fe0003  004c00fe0003004b004a000b0005004b00fe0003004a000b0003004900290003004800340009  0005004800fe0003004700fe00030046002c0003004500fe00030043003c0003004200fe0003  0041006b0003004000fe000341fe003e000a0003003d00530003003c0008000e0005003c0096  0003003a00fe0003003900fe0003003800fe000300370036001f0005003700fe000300360035  000f00050036001f00030035000f00030034000900030033002c000300320096000300310008  000e0005003100530003003000fe0003002f003a0003002e007d0003002d00fe0003002c002b  00210005002c00fa0003002b002900640005002b00210003002a002900640005002a00960003  00290008000e0005002900640003002800960003002700fe0003002600fe0003002500fe0003  0024002300230005002400bb000300230008000e0005002300230003002200640003002100fe  0003002000960003001f000300260005001f005d0003001e00fe0003001d001c00260005001d  00fe0003001c00260003001b00fe0003001a00fe00030019001b000300180015000800050018  00290003001700fe00030016001500080005001600bb0003001500080003001400fe00030013  001200140005001300fe00030012001400030011001000fa0005001100fe0003001000fa0003  000f00fe0003000d00fe0003000b000000230005000a00000023000500090008000e00050009  009600030008000e0003000600050017000500050017000300040003002600050004007d0003  000300260003000200fe00030001007d000300000023000300010118858d012b2b2b2b2b2b2b 0868093409760a020a800ac60b3c0b800ba20bd80c380cea0d620da80dea0001000000230132  0009007c00050002001000400011000007e80b900003000141ff02800159000c000301580009  0003015700de000b00050157001d000301560155000c00050156001e00030155000c00030154  00dd00100005015400a600030153002e0003015200f1000d00050152002e0003015100fa0003  014d014c00290005014d006b0003014c00290003014b014a008c0005014b00fe0003014b00c0  0004014a014900590005014a008c0003014a0080000401490148002600050149005900030149  004000040148002600030147005d0003014600fe0003014500fe0003014400fe0003014300ad  004700050143007d00030143ffd00004014200fa0003014100fe0003013f00fe0003013e00ad  00470005013e007d0003013b00fe0003013a00bb0003013900fa0003013800fe0003013700fe  0003013600fe0003013300960003013200fe0003013100320003013000350003012f012a0014  0005012f005d0003012e00640003012d00960003012c00fa0003012b012a00140005012b00fe  0003012a001400030129003a00030128007d00030127003a0003012600fe0003012401230014  0005012400fe0003012300140003012000fe0003011f011e00a60005011e00a60003011c00fe  0003011b00290003011a00530003011900320003011800fe0003011700c80003011600fe0003  0115003900030113003200030112011100fa0005011200fe0003011100fa00030110006b0003  010e00fe41ff0003010c010b00fe0005010b00fe0003010a00fe0003010900fe0003010800fe  0003010400fe0003010300fe00030102010100140005010100140003010000e6000a00050100  0024000300ff00fe0017000500ff0078000300fe0017000300fd004b000300fc00fe000300fb  005d000300fa00fe000300f900e6000a000500f900fe000300f800f700fa000500f800fe0003  00f700fa000300f600f500fa000500f600fe000300f500ef000e000500f500fa000300f4004b  000300f300e6000a000500f30035000300f2002e000300f1000d000300f000ef000e000500f0  00fe000300ef00ee0009000500ef000e000300ee0009000300ed00ec0011000500ed002e0003  00ec0011000300eb00cf007d000500eb00fe000300ea00e90094000500ea00fe000300ea00c0  000400e900e80061000500e90094000300e90080000400e800e7002e000500e80061000300e8  0040000400e700e6000a000500e7002e000300e6000a000300e30096000300e20014000300e1  00e0001a000500e100fe000300e000df0010000500e0001a000300df0010000300de000b0003  00dd0010000300dc00bb000300db00a8000a000500db00fe000300da00fe000300d900350003  00d8007d000300d7002c000300d40064000300d300fe000300d200b40041000500d2005d0003  00d100fe000300d000fe000300cf007d000300ce00fe41ff000300cd00fe000300cc00fe0003  00cb00ca0014000500cb00fe000300ca0014000300c90032000300c800fe000300c700c60047  000500c700fe000300c60047000300c500c40014000500c40014000300c30064000300c2002e  000300c1007d000300c000bf0025000500c000fe000300bf0025000300be00b40041000500be  00fe000300beffd0000400bd00bc001d000500bd0032000300bdffc0000400bc00a8000a0005  00bc001d000300b900b8008c000500b900fe000300b900c0000400b800b70059000500b8008c  000300b80080000400b700b60026000500b70059000300b70040000400b60026000300b500b4  0041000500b500fe000300b40041000300b300b200fe000500b30014000300b200fe000300b1  00fe000300b000fe000300af007d000300ae00ad0047000500ae0096000300ad0047000300ac  00ab008c000500ac00fe000300ac00c0000400ab00aa0059000500ab008c000300ab00800004  00aa00a90026000500aa0059000300aa0040000400a900a8000a000500a90026000300a8000a  000300a6000f000300a50011000300a400a20010000500a400fe000300a300fe000300a20010  000300a100590011000500a100380003009f00fe0003009e00fe0003009d00960003009c0096  0003009a009900290005009a007d0003009900290003009800fe0003009700fe0003009500fe  000341ff009400fe00030093009200140005009300bb0003009200140003008f000d0003008e  00960003008d008c00530005008d00fe0003008c00530003008b00fe0003008a001b00030089  00fe0003008800fe000300870086007d00050086007d0003008300fe0003008000fe0003007f  007e00210005007f00290003007e007d00640005007e00210003007d00640003007c00290003  007b00fe0003007a00fe000300790078000a00050078000a0003007700640003007600fe0003  007500fe0003007400fe00030073007200260005007300fe0003007200260003007100320003  006f00960003006e00320003006b006a00fa0005006a00fa0003006700350003006600fe0003  006500fe0003006400fa00030063006200500005006300fe0003006200500003005e00fe0003  005c00fe0003005b00fa0003005a00bb000300590011000300580008000e00050058003e0003  0057003e00030056000e000300550054000e0005005500fe00030054000e0003005300520032  0005005200320003005100fe0003005000bb0003004f002300230005004f00320003004e00fe  0003004d00fe0003004c00fe0003004b004a000b0005004b00fe0003004a000b000300490029  00030048003400090005004800fe0003004700fe00030046002c0003004500fe00030043003c  0003004200fe00030041006b0003004000fe000341fe003e000a0003003d00530003003c0008  000e0005003c00960003003a00fe0003003900fe0003003800fe000300370036001f00050037  00fe000300360035000f00050036001f00030035000f00030034000900030033002c00030032  0096000300310008000e0005003100530003003000fe0003002f003a0003002e007d0003002d  00fe0003002c002b00210005002c00fa0003002b002900640005002b00210003002a00290064  0005002a0096000300290008000e0005002900640003002800960003002700fe0003002600fe  0003002500fe00030024002300230005002400bb000300230008000e00050023002300030022  00640003002100fe0003002000960003001f000300260005001f005d0003001e00fe0003001d  001c00260005001d00fe0003001c00260003001b00fe0003001a00fe00030019001b00030018  001500080005001800290003001700fe00030016001500080005001600bb0003001500080003  001400fe00030013001200140005001300fe00030012001400030011001000fa0005001100fe  0003001000fa0003000f00fe0003000d00fe0003000b000000230005000a0000002300050009  0008000e00050009009600030008000e00030006000500170005000500170003000400030026  00050004007d0003000300260003000200fe00030001007d000300000023000300010118858d  012b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b  2b2b2b2b2b2b2b1d00> 2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b1d00>  ] def  /f-1-0 currentdict end definefont pop  %%EndResource 
...
%%EndPageSetup  q 0 -1 278 382 rectclip q  0.823529 g  29.539 369.818 m 29.539 347.392 28.934 347.998 28.934 195.5 134.041 35.953 -10.934 re f  195.5 156.439 35.953 -10.93 re f  140.664 246.041 39.59 -10.934 re f  13.516  347.998 m 13.516 370.423 14.121 369.814 14.121 369.814  c 148.934  347.998 184.426  369.814  l 148.934 358.302 184.426 359.513  l 198.629 358.302 262.605 359.513  l 198.629 369.212 262.605 348.603  l h 29.539 369.818 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 380.755 12.453 -9.438 re f 
...
[()3(to)]TJ  /f-0-0 1 Tf  0 -1.25 Td  [( \()]TJ ( \()Tj  /f-1-0 1 Tf  [(i64* )3(nocap)-3(ture readon)-3(ly %v)3(_osr, nocapture r)-3(eadonly %v_osr,  )]TJ 0 -1.25 Td  [(i)3(64 %n_osr,  i64 %i_osr)]TJ )3(%n_)-3(osr, i64 )3(%i_osr, i32 \(i)3(8*, i8)3(*\)* %c_osr)]TJ  /f-0-0 1 Tf  [(\) {)]TJ  /f-1-0 1 Tf 
...
0 -2.5 Td  [(loop.h)3(eader:)]TJ  0 -1.25 Td  [( %t2 )3(= icmp slt i64 %i1)3(, %n_os)-3(r)]TJ )]TJ  /f-1-0 1 Tf  [(%n_osr)]TJ  /f-0-0 1 Tf  0 -1.25 Td  [( br i)3(1 %t2,)3( label %lo)3(op.bod)3(y, label %)3(exit)]TJ  0 -2.5 Td 
...
0 -1.25 Td  [( %t3 )3(= add nsw i64 %i, )3(-1)]TJ  0 -1.25 Td  [( %t4 )3(= gete)3(lementptr inbounds i64* %v)3(_os)-3(r, i6)3(4 )]TJ  /f-1-0 1 Tf  [(%v)3(_osr)]TJ  /f-0-0 1 Tf  [(, i64  %t3)]TJ 0 -1.25 Td  [( %t5 )3(= load i64)3(* %t4,)3( align 8, !tbaa !1)]TJ  0 -1.25 Td  [( %t6 )3(= gete)3(lementptr inbounds i64* %v)3(_os)-3(r, i6)3(4 )]TJ  /f-1-0 1 Tf  [(%v)3(_osr)]TJ  /f-0-0 1 Tf  [(, i64  %i)]TJ 0 -1.25 Td  [( %t7 )3(= load i64)3(* %t6,)3( align 8, !tbaa !1)]TJ  0 -1.25 Td  diff --git a/figures/isord2to/isord2to.png b/figures/isord2to/isord2to.png  index 5145d88..7e47d32 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 109f3c1..0cdbb07 100644  --- a/figures/isord2to/isord2to.svg  +++ b/figures/isord2to/isord2to.svg 
...
inkscape:pageopacity="0.0"  inkscape:pageshadow="2"  inkscape:zoom="1.32"  inkscape:cx="-30.99601"  inkscape:cy="805.19553" inkscape:cx="192.48884"  inkscape:cy="926.40765"  inkscape:document-units="px"  inkscape:current-layer="layer1"  showgrid="false" 
...
inkscape:label="Layer 1"  inkscape:groupmode="layer"  id="layer1">    y="330.53827"  x="264.78326"  height="13.664933"  width="44.943779"  id="rect4199"  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" />    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="rect4197"  width="44.943779"  height="13.664933"  x="264.78326"  y="302.53827" />    y="190.53827"  x="196.23782"  height="13.664933"  width="49.489235"  id="rect4195"  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" />    style="fill:#d2d2d2;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  d="m 57.33333,35.81675 37.303027,63.091469  c 0,28.030303 -0.75757,27.272727 -0.75757,27.272727 0,-28.030303 0.757581,-27.272727 0.757581,-27.272727  l 150,0 0,-12.878787 62.12121,0 0,-13.636364 212.878792,0 0,12.878787 97.72727,0 0,13.636364  z" id="path7839"  inkscape:connector-curvature="0" sodipodi:nodetypes="ccccccc"  />   y="77.134933"  x="20.409088" 
...
id="flowPara7098">define i32 @isord2  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"> (  id="flowSpan7807">i64* nocapture readonly %v_osr,   id="flowPara7741">  style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"  id="flowSpan7809"> i64 %n_osr, i64 %i_osr) %i_osr, i32 (i8*, i8*)* %c_osr)  {  id="flowPara7745"  style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'">osr.entry: ; no compensation code needed... 
...
id="flowPara7755"> br i1 %t1, label %loop.body, label %exit  id="flowPara7757" />  id="flowPara7759">loop.header:  id="flowPara7761"> %t2 = icmp slt i64 %i1, %n_osr   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"  id="flowSpan4189">%n_osr  id="flowPara7763"> br i1 %t2, label %loop.body, label %exit  id="flowPara7765" />  id="flowPara7769">loop.body: 
...
id="flowPara7775"  style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"> [ %i_osr, %osr.entry ]  id="flowPara7777"> %t3 = add nsw i64 %i, -1  id="flowPara7779"> %t4 = getelementptr inbounds i64* %v_osr,   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"  id="flowSpan4191">%v_osr,  i64 %t3 %t5 = load i64* %t4, align 8, !tbaa !1  id="flowPara7783"> %t6 = getelementptr inbounds i64* %v_osr,   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:Courier;-inkscape-font-specification:'Courier Bold'"  id="flowSpan4193">%v_osr,  i64 %i %t7 = load i64* %t6, align 8, !tbaa !1  id="flowPara7787"> %t8 = icmp sgt i64 %t5, %t7  id="flowPara7789"> %i1 = add nuw nsw i64 %i, 1