Reorganisation of the source tree

[ghc-hetmet.git] / docs / storage-mgt / cacheprof_p.eps

diff --git a/docs/storage-mgt/cacheprof_p.eps b/docs/storage-mgt/cacheprof_p.eps
new file mode 100644 (file)
index 0000000..94d3a5d
--- /dev/null
+++ b/docs/storage-mgt/cacheprof_p.eps
@@ -0,0 +1,2083 @@
+%!PS-Adobe-2.0 EPSF-1.2
+%%Title: cacheprof_p -ghc-timing +RTS -H10m -K10m -p -hR -i1.0 -sstderr 
+%%Creator: Ghostscript ps2epsi from cacheprof_p.ps
+%%CreationDate: Aug 23 18:51
+%%For:t-spark t-spark
+%%Pages: 1
+%%DocumentFonts: Helvetica
+%%BoundingBox: 72 107 505 756
+%%BeginPreview: 433 649 1 649
+% ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ffffffffff080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000108000000084000000022000000022000000008000000000000000010000100001080
+% 800000000000000000000000100000000100000001cc0000000e600000006300000006300000000e000000000000000010420103c01080
+% 800000000000000000000000100000000100000001440000000a200000004900000004900000000b000000000000000010738106601080
+% 800000000000000000000003f80000003f800000012400000009200000004900000004900000003f800000000000000010588104201080
+% 8000000000000000000000000000000000000000011800000008c00000003e00000003e000000008000000000000000010488104201080
+% 800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000104c8106601080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010478102401080
+% 800000000000000000000006000000006000000003000000001800000000c00000000c0000000060000000000000000010000100001080
+% 800000000000002c00000001e00000001600000000f000000005800000003c00000002c00000001e000000000000000010420107201080
+% 800000000000006f000000031800000037800000018c0000000de00000006300000006f000000031800000000000000010738105a01080
+% 8000000000000045000000020800000022800000010400000008a000000041000000045000000020800000000000000010588105a01080
+% 8000000000000045000000021800000022800000010c00000008a000000043000000045000000021800000000000000010488104a01080
+% 800000000000003900000001f00000001c80000000f800000007200000003e00000003900000001f0000000000000000104c8107e01080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010478104001080
+% 800000000000003c00000001e00000001e00000000f000000007800000003c00000003c00000001e000000000000000010000103c01080
+% 8000000000000063000000031800000031800000018c0000000c6000000063000000063000000031800000000000000011c00106601080
+% 80000000000000410000000208000000208000000104000000082000000041000000041000000020800000000000000010800104201080
+% 8000000000000043000000021800000021800000010c000000086000000043000000043000000021800000000000000010000104201080
+% 800000000000003e00000001f00000001f00000000f800000007c00000003e00000003e00000001f000000000000000010000106601080
+% 800007800000003c00000001e00000001e00000000f000000007800000003c00000003c00000001e000000000000000010010102401080
+% 80000c6000000063000000031800000031800000018c0000000c6000000063000000063000000031800000000000000010010100001080
+% 800008200000004100000002080000002080000001040000000820000000410000000410000000208000000000000000107f8107fc1080
+% 8000086000000043000000021800000021800000010c000000086000000043000000043000000021800000000000000010000100201080
+% 800007c00000003e00000001f00000001f00000000f800000007c00000003e00000003e00000001f000000000200200010000100201080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200200010070100201080
+% 80000fe00000007f00000003f80000003f80000001fc0000000fe00000007f00000007f00000003f8000000003c8ff7c106d8107e01080
+% 800003000000001800000000c00000000c000000006000000003000000001800000001800000000c000000000225396010488101801080
+% 800003000000001800000000c00000000c000000006000000003000000001800000001800000000c0000000002253f3810488103c01080
+% 83c006800000003400000001a00000001a00000000d000000006800000003400000003400000001a0000000003273944106d8104a01080
+% 863008000000004000000002000000002000000001000000000800000000400000000400000000200000000003c23f78103f0104a01080
+% 84100000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000010000104e01080
+% 8430080000000080000000040000000020000000010000000010000000008000000004000000002000000000000c000010000102c01080
+% 83e00800000000800000000400000000200000000100000000100000000080000000040000000020000000000000000010010100001080
+% 80000800000000800000000400000000200000000100000000100000000080000000040000000020000000000000000010010100001080
+% 800008000000008000000004000000002000000001000000001000000000800000000400000000200000000000000000107f813fe01080
+% 8400fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe10000106601080
+% 83c00f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000104201080
+% 86300e80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000106601080
+% 84100f60000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000103c01080
+% 84300f98000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011c00100001080
+% 83e00fd6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010800100001080
+% 80000f61800000000000000000000000000000000000000000000000000000000000000000000000000000000000000010180107e01080
+% 80000ff14000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101c0100201080
+% 80000f68300000000000000000000000000000000000000000000000000000000000000000000000000000000000000010120100201080
+% 80000fd55c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010118103c01080
+% 80000baa0300000000000000000000000000000000000000000000000000000000000000000000000000000000000000107fc106601080
+% 80000b7591c000000000000000000000000000000000000000000000000000000000000000000000000000000000000010100104201080
+% 80000fd2c02000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000104201080
+% 80000ff7755800000000000000000000000000000000000000000000000000000000000000000000000000000000000010180106601080
+% 80000da9b006000000000000000000000000000000000000000000000000000000000000000000000000000000000000101c0103c01080
+% 80000dd5d95180000000000000000000000000000000000000000000000000000000000000000000000000000000000010120100201080
+% 80000df46c0040000000000000000000000000000000000000000000000000000000000000000000000000000000000010118107fc1080
+% 80000ddb7755700000000000000000000000000000000000000000000000000000000000000000000000000000000000107fc100241080
+% 80000dea2b000c000000000000000000000000000000000000000000000000000000000000000000000000000000000010100100001080
+% 80000df5559113000000000000000000000000000000000000000000000000000000000000000000000000000000000010180110001080
+% 80000cfcaac000c000000000000000000000000000000000000000000000000000000000000000000000000000000000101c0110001080
+% 80000dd4d57555600000000000000000000000000000000000000000000000000000000000000000000000000000000010120110001080
+% 80000cbe42b000180000000000000000000000000000000000000000000000000000000000000000000000000000000010118110001080
+% 80000d765759511600000000000000000000000000000000000000000000000000000000000000000000000000000000107fc110001080
+% 80000c7b21ac00018000000000000000000000000000000000000000000000000000000000000000000000000000000010100110001080
+% 80000f5d15d755556000000000000000000000000000000000000000000000000000000000000000000000000000000010000110001080
+% 80000e7a906b0000100000000000000000000000000000000000000000000000000000000000000000000000000000001000013fe01080
+% 80000f558d7591111c00000000000000000000000000000000000000000000000000000000000000000000000000000010000106601080
+% 80000e3fca2ac0000300000000000000000000000000000000000000000000000000000000000000000000000000000010000104201080
+% 80000f7d4555755555c0000000000000000000000000000000000000000000000000000000000000000000000000000010000106601080
+% 80000e2ee20ab00000300000000000000000000000000000000000000000000000000000000000000000000000000000107fc103c01080
+% 80000f7f635559515158000000000000000000000000000000000000000000000000000000000000000000000000000010660100001080
+% 80000e27b122ac000006000000000000000000000000000000000000000000000000000000000000000000000000000010420100001080
+% 80000f55515757555555800000000000000000000000000000000000000000000000000000000000000000000000000010660100001080
+% 80000e1ff081ab0000006000000000000000000000000000000000000000000000000000000000000000000000000000103c0100001080
+% 80000f155855d5d11111180000000000000000000000000000000000000000000000000000000000000000000000000010000100801080
+% 80000e13b8626aa00000040000000000000000000000000000000000000000000000000000000000000000000000000010020100801080
+% 80000f5fd435755555555700000000000000000000000000000000000000000000000000000000000000000000000000121e0100801080
+% 80000f0bac201aa8000000c000000000000000000000000000000000000000000000000000000000000000000000000011f00100001080
+% 80000f1f561555555111513000000000000000000000000000000000000000000000000000000000000000000000000010700103c01080
+% 80001f0bfa122aaa0000000c000000000000000000000000000000000000000000000000000000000000000000000000101e0136601080
+% 80002d5d550d55555555555600000000000000000000000000000000000000000000000000000000000000000000000010020124201080
+% 80004d05eb0402aa8000000180000000000000000000000000000000000000000000000000000000000000000000000010020124201080
+% 80008d15f585555511111111600000000000000000000000000000000000000000000000000000000000000000000000107f813fe01080
+% 80008d07bb8223aaa00000001000000000000000000000000000000000000000000000000000000000000000000000001042011fe01080
+% 80004f55758355557555555558000000000000000000000000000000000000000000000000000000000000000000000010180100001080
+% 80002f0bee8200aab0000000060000000000000000000000000000000000000000000000000000000000000000000000103c0100001080
+% 80001f5d758355d559515151510000000000000000000000000000000000000000000000000000000000000000000000104a0107fc1080
+% 80000f0bfb81206aa8000000008000000000000000000000000000000000000000000000000000000000000000000000104a0100201080
+% 80000f5d7581555555555555556000000000000000000000000000000000000000000000000000000000000000000000104e0100201080
+% 80000f09ea81002aaa000000001000000000000000000000000000000000000000000000000000000000000000000000102c0100201080
+% 80000f1d758155755711111111180000000000000000000000000000000000000000000000000000000000000000000010000107e01080
+% 80000f0bbb80a23aab00000000060000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f5d7580d55555d55555555500000000000000000000000000000000000000000000000000000000000000000000106e0103c01080
+% 80000f19eec0801aaa8000000000c0000000000000000000000000000000000000000000000000000000000000000000104a0106601080
+% 80000f157540d55d55515111511160000000000000000000000000000000000000000000000000000000000000000000105a0104201080
+% 80000f13fbc0602aaaa0000000001000000000000000000000000000000000000000000000000000000000000000000010720104201080
+% 80000f57754055555575555555555c00000000000000000000000000000000000000000000000000000000000000000010000106601080
+% 80000f1beac04006aab0000000000200000000000000000000000000000000000000000000000000000000000000000010000102401080
+% 80000f17554055575559111111111100000000000000000000000000000000000000000000000000000000000000000010000100801080
+% 80000f93fbc02222aaa80000000000c0000000000000000000000000000000000000000000000000000000000000000010000100801080
+% 80000fd7554035555555555555555560000000000000000000000000000000000000000000000000000000000000000010400100801080
+% 80000fabeec02001aaaa000000000010000000000000000000000000000000000000000000000000000000000000000010660100001080
+% 80000ff755403555555551515151515c0000000000000000000000000000000000000000000000000000000000000000101c0100201080
+% 80000fa3fbc01020aaab0000000000020000000000000000000000000000000000000000000000000000000000000000103c0107f81080
+% 80000ff755401555d555d55555555555000000000000000000000000000000000000000000000000000000000000000010660104201080
+% 80000fabeac010006aaac00000000000c00000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fb5556015555555511111111111200000000000000000000000000000000000000000000000000000000000000010000107e41080
+% 80000fa7fba00a222aaaa00000000000100000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000ff555600d5575555555555555555c0000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fcfeee008001aaab00000000000020000000000000000000000000000000000000000000000000000000000000010000107e01080
+% 80000fd555600d555555591151115111510000000000000000000000000000000000000000000000000000000000000010000100201080
+% 80000fe7fba004223aaaac000000000000c0000000000000000000000000000000000000000000000000000000000000106e0100201080
+% 80000fd5556005555d555555555555555560000000000000000000000000000000000000000000000000000000000000104a0107e01080
+% 80000fefeae004000aaaaa00000000000010000000000000000000000000000000000000000000000000000000000000105a0100201080
+% 80000fd5556005555555551111111111111c00000000000000000000000000000000000000000000000000000000000010720100201080
+% 80001fe7fba0022226aaab0000000000000200000000000000000000000000000000000000000000000000000000000010000100201080
+% 80002ed555600355575555d555555555555500000000000000000000000000000000000000000000000000000000000010180107e01080
+% 80004e8feea0020002aaaac0000000000000c00000000000000000000000000000000000000000000000000000000000103c0100001080
+% 80008edd5560035557555551515151515151600000000000000000000000000000000000000000000000000000000000104a0100001080
+% 80008eabfbb0012021aaaaa0000000000000100000000000000000000000000000000000000000000000000000000000104a0107e41080
+% 80004edd5550015555d555555555555555555c0000000000000000000000000000000000000000000000000000000000104e0100001080
+% 80002eafeaf0008000aaaaa8000000000000020000000000000000000000000000000000000000000000000000000000102c0107e01080
+% 80001fdd555000d555555559111111111111118000000000000000000000000000000000000000000000000000000000103c0100201080
+% 84200fabfbb00062226aaaac00000000000000400000000000000000000000000000000000000000000000000000000010660100201080
+% 87300fdd555800555575555755555555555555600000000000000000000000000000000000000000000000000000000010420100201080
+% 85100f8feee80040001aaaab00000000000000180000000000000000000000000000000000000000000000000000000010420107e01080
+% 84900fd5555800355555555551115111511151140000000000000000000000000000000000000000000000000000000010660100001080
+% 84600fa7fbb80022202aaaaa80000000000000020000000000000000000000000000000000000000000000000000000010240103c01080
+% 80000fd55558001555555555555555555555555580000000000000000000000000000000000000000000000000000000103c0136601080
+% 8400ffafeae800100006aaaaa0000000000000004000000000000000000000000000000000000000000000000000000010660124201080
+% 80000fd57554000d5557555551111111111111113000000000000000000000000000000000000000000000000000000010420124201080
+% 83c00fa7bbbc000a2222aaaab000000000000000080000000000000000000000000000000000000000000000000000001042013fe01080
+% 86300fd57554000d555555555d55555555555555540000000000000000000000000000000000000000000000000000001066011fe01080
+% 84100f8feeac00040000aaaaac0000000000000003000000000000000000000000000000000000000000000000000000103c0100001080
+% 84300fd5755400055555d55557515151515151515180000000000000000000000000000000000000000000000000000010000100001080
+% 83e00fa7fbba000220206aaaaa000000000000000040000000000000000000000000000000000000000000000000000010000100001080
+% 80000fd57556000355557555555555555555555555700000000000000000000000000000000000000000000000000000107e0100001080
+% 80000fafeaea000100002aaaaa800000000000000008000000000000000000000000000000000000000000000000000010020101001080
+% 80000fd5755600015555555555511111111111111116000000000000000000000000000000000000000000000000000010020101001080
+% 80000fa7bbba000122223aaaaac00000000000000001000000000000000000000000000000000000000000000000000010020101001080
+% 80000fd575550000d5555d55557555555555555555558000000000000000000000000000000000000000000000000000107e0107e01080
+% 80000f8feeef0000800006aaaab00000000000000000600000000000000000000000000000000000000000000000000010000101001080
+% 80000fd57555000055555555555951115111511151115000000000000000000000000000000000000000000000000000103c0101001080
+% 80000fa7fbbb0000602222aaaaa80000000000000000080000000000000000000000000000000000000000000000000010660101001080
+% 80000fd5555500003555555555555555555555555555560000000000000000000000000000000000000000000000000010420100001080
+% 80000daffaeb0000200001aaaaaa0000000000000000010000000000000000000000000000000000000000000000000010420107fc1080
+% 80000dd555558000155555d55555111111111111111111c000000000000000000000000000000000000000000000000010660100441080
+% 80000da7bbbb8000122222aaaaab00000000000000000020000000000000000000000000000000000000000000000000107fc100441080
+% 80000dd555558000155555555555d555555555555555555000000000000000000000000000000000000000000000000010000100441080
+% 80000d8ffeae80000800002aaaaac000000000000000000c000000000000000000000000000000000000000000000000106e0100441080
+% 80000dd5555580000d555575555571515151515151515152000000000000000000000000000000000000000000000000104a0103cc1080
+% 80001da7fbbbc0000420203aaaaaa0000000000000000001000000000000000000000000000000000000000000000000105a0107b81080
+% 80002dd55555400005555555555555555555555555555555c0000000000000000000000000000000000000000000000010720100001080
+% 80004faffaeac0000200000aaaaaa800000000000000000020000000000000000000000000000000000000000000000010000100041080
+% 80008fd5555540000355555555555511111111111111111118000000000000000000000000000000000000000000000010000100041080
+% 80008fa3bbbba00001222222aaaaaa00000000000000000004000000000000000000000000000000000000000000000010000100041080
+% 80004d575d5560000155555755555555555555555555555557000000000000000000000000000000000000000000000010000107fc1080
+% 80002d4bfeeea00000800001aaaaab00000000000000000000800000000000000000000000000000000000000000000010000100041080
+% 80001d575555500000555555d5555591511151115111511151600000000000000000000000000000000000000000000010000100041080
+% 80000d63ffbbb000006220226aaaaac00000000000000000001800000000000000000000000000000000000000000000107f0100041080
+% 80000d7555555800003555557555557555555555555555555554000000000000000000000000000000000000000000001183c101001080
+% 80000f29feeae800001000002aaaaab0000000000000000000030000000000000000000000000000000000000000000010000103381080
+% 80000f35d755540000155555555555591111111111111111111180000000000000000000000000000000000000000000100001046c1080
+% 80000fa2bbbbbc00000a22222aaaaaac0000000000000000000060000000000000000000000000000000000000000000107fc104441080
+% 80000fd5d5555400000555555555555755555555555555555555580000000000000000000000000000000000000000001003c104441080
+% 80000f9affaeee000004000002aaaaab0000000000000000000004000000000000000000000000000000000000000000101e0104cc1080
+% 80000fd5555556000003555557555555d15151515151515151515300000000000000000000000000000000000000000010700107981080
+% 80000f927bbbbb000001202021aaaaaac00000000000000000000080000000000000000000000000000000000000000010700100001080
+% 80000fdd55d555000001555555d555557555555555555555555555600000000000000000000000000000000000000000101e0100001080
+% 80000f88bfeaea8000008000006aaaaab0000000000000000000001800000000000000000000000000000000000000001003c100001080
+% 80000f9d75d5558000005555557555555911111111111111111111140000000000000000000000000000000000000000107fc100001080
+% 80000f8a3bfbbb8000006222223aaaaaa80000000000000000000003000000000000000000000000000000000000000010000100801080
+% 80000fd5555555400000355555555555555555555555555555555555800000000000000000000000000000000000000010000100801080
+% 80000f849feeaec000001000000aaaaaaa00000000000000000000006000000000000000000000000000000000000000103fc100801080
+% 80000f95557555600000155555555555551151115111511151115111580000000000000000000000000000000000000010600100001080
+% 80000f863bbbbba0000008222022aaaaaa8000000000000000000000040000000000000000000000000000000000000010400100001080
+% 80000fd75d7555500000055555555555555555555555555555555555570000000000000000000000000000000000000010400107fc1080
+% 80000f82affaeaf0000004000001aaaaaaa000000000000000000000008000000000000000000000000000000000000010400100401080
+% 80000f935d555550000003555555d555555111111111111111111111116000000000000000000000000000000000000010600100401080
+% 80000e8227bbbbb80000012222226aaaaaa8000000000000000000000018000000000000000000000000000000000000103fc100401080
+% 80000ed5555d55580000015555557555555555555555555555555555555400000000000000000000000000000000000010004100401080
+% 80000ec18ffeeeac0000008000001aaaaaaa00000000000000000000000300000000000000000000000000000000000010004100401080
+% 80001ed1555d55540000005555555555555551515151515151515151515180000000000000000000000000000000000010004107fc1080
+% 80002ec123ffbbbc0000006020202aaaaaaa800000000000000000000000600000000000000000000000000000000000107fc100001080
+% 80004dd5d75555560000003555555555555555555555555555555555555558000000000000000000000000000000000010004100001080
+% 80008dc0abfeeaea00000010000002aaaaaac0000000000000000000000004000000000000000000000000000000000010004100101080
+% 80008dd1d75555550000001555555555555571111111111111111111111112000000000000000000000000000000000010004100101080
+% 80004fc0a3bfbbbb0000000a222223aaaaaab0000000000000000000000001000000000000000000000000000000000010000107f81080
+% 80002dd5d75555550000000d555555d555555d555555555555555555555555c00000000000000000000000000000000010000100001080
+% 80001fc08bfeaeef00000008000000aaaaaaa8000000000000000000000000200000000000000000000000000000000011c3c100001080
+% 80000dd15755555500000005555555555555551151115111511151115111511000000000000000000000000000000000107f0100001080
+% 80000fc123bfbbbb000000062022206aaaaaaa000000000000000000000000080000000000000000000000000000000010000100001080
+% 80000dd5575555550000000555555575555557555555555555555555555555540000000000000000000000000000000010000103f81080
+% 80000dc1abfeeaeb000000020000002aaaaaab000000000000000000000000020000000000000000000000000000000010000106181080
+% 80000dd1575555550000000355555555555555911111111111111111111111118000000000000000000000000000000010000104081080
+% 80000fc123bfbbbb000000022222223aaaaaaa800000000000000000000000004000000000000000000000000000000010000106181080
+% 80000dd557555555000000015555555d555555555555555555555555555555556000000000000000000000000000000010000103f01080
+% 80000dc18bfeeeae800000010000000aaaaaaac00000000000000000000000001000000000000000000000000000000010000100001080
+% 80000dd1575555558000000155555555555555715151515151515151515151515800000000000000000000000000000010000107e01080
+% 80000fc223ffbbbb80000000a0202026aaaaaab00000000000000000000000000400000000000000000000000000000010000100201080
+% 80000dd75755555580000000d5555557555555555555555555555555555555555700000000000000000000000000000010000100201080
+% 80000dc2abfeeaea8000000080000002aaaaaaa80000000000000000000000000080000000000000000000000000000010000107e01080
+% 80000dd3575555558000000055555555555555551111111111111111111111111140000000000000000000000000000010000100201080
+% 80000fc223bfbbbb8000000062222223aaaaaaac0000000000000000000000000020000000000000000000000000000010000100201080
+% 80000dd7575555558000000055555555d55555575555555555555555555555555550000000000000000000000000000010000100201080
+% 80000fc28bfeaeee8000000020000000aaaaaaab0000000000000000000000000008000000000000000000000000000010000107e01080
+% 80000dd3575555558000000035555555555555555111511151115111511151115116000000000000000000000000000010000100001080
+% 80000fc223bfbbbb80000000202220226aaaaaaa8000000000000000000000000001000000000000000000000000000010000100001080
+% 80000dd5575555554000000035555555755555555555555555555555555555555555800000000000000000000000000010000100001080
+% 80000dc4abfeeaeac0000000100000002aaaaaaac000000000000000000000000000400000000000000000000000000010000100001080
+% 80000dd5575555554000000015555555555555557111111111111111111111111111200000000000000000000000000010000100001080
+% 80000fc627bfbbbbc0000000122222223aaaaaaab000000000000000000000000000180000000000000000000000000010000100801080
+% 80001dd555555555400000000d5555555d5555555555555555555555555555555555540000000000000000000000000010000100801080
+% 81002dc68ffeeeaec0000000080000000aaaaaaaa800000000000000000000000000020000000000000000000000000010000100801080
+% 81c04dd555555555400000000d555555555555555551515151515151515151515151510000000000000000000000000010000100001080
+% 81608fc627ffbbbbc00000000420202026aaaaaaac00000000000000000000000000008000000000000000000000000010000100001080
+% 87f08dd5555555554000000005555555575555555755555555555555555555555555554000000000000000000000000010000107fc1080
+% 81004dc4affeeaeac00000000400000002aaaaaaab00000000000000000000000000003000000000000000000000000010000100401080
+% 80002dd5555555556000000003555555555555555511111111111111111111111111111800000000000000000000000010000100601080
+% 80001fca27bfbbbba00000000222222223aaaaaaaa80000000000000000000000000000400000000000000000000000010000100f01080
+% 8400fddd55555555600000000155555555d555555555555555555555555555555555555600000000000000000000000010000103981080
+% 80000fc88ffeaeeea00000000100000000aaaaaaaac0000000000000000000000000000180000000000000000000000010000106041080
+% 83c00ddd555555556000000001555555555555555571511151115111511151115111511140000000000000000000000010000104001080
+% 86300fca27bfbbbba000000000a22022206aaaaaaab0000000000000000000000000000020000000000000000000000010000100001080
+% 84100ddd555555556000000000d55555557555555555555555555555555555555555555550000000000000000000000010000100101080
+% 84300dc8affeeaeae000000000800000002aaaaaaaa800000000000000000000000000000c000000000000000000000010000100101080
+% 83e00ddd555555555000000000555555555555555555111111111111111111111111111112000000000000000000000010000107f81080
+% 80000fca27bfbbbbb000000000622222223aaaaaaaaa000000000000000000000000000001000000000000000000000010000100001080
+% 80000ddd555555555000000000555555555d55555557555555555555555555555555555555800000000000000000000010000100001080
+% 80000dca8ffeeeaef000000000200000000aaaaaaaab000000000000000000000000000000600000000000000000000010000100001080
+% 80000ddd555555555000000000355555555555555555d15151515151515151515151515151500000000000000000000010000103f81080
+% 80000fd227ffbbbbb0000000002020202022aaaaaaaa800000000000000000000000000000080000000000000000000010000106181080
+% 80000dd5555555555000000000155555555755555555555555555555555555555555555555540000000000000000000010000104081080
+% 80000dd8affeeaeae8000000001000000001aaaaaaaaa00000000000000000000000000000030000000000000000000010000106181080
+% 80000dd5555555555800000000155555555555555555711111111111111111111111111111118000000000000000000010000103f01080
+% 80000fd227bfbbbbb8000000000a22222222aaaaaaaab00000000000000000000000000000004000000000000000000010000100001080
+% 80000dd55555555558000000000d55555555d55555555d5555555555555555555555555555556000000000000000000010000100001080
+% 80000fd88ffeaeeea80000000004000000006aaaaaaaa80000000000000000000000000000001800000000000000000010000107e01080
+% 80000dd5555755555800000000055555555555555555551151115111511151115111511151115400000000000000000010000100201080
+% 80000fd227bbbbbbb80000000006202220222aaaaaaaaa0000000000000000000000000000000200000000000000000010000100201080
+% 80001dd5555755555800000000035555555575555555575555555555555555555555555555555500000000000000000010000107e01080
+% 80002db8affeeaeaec0000000002000000001aaaaaaaab00000000000000000000000000000000c0000000000000000010000100201080
+% 80004df5555755555400000000035555555555555555559111111111111111111111111111111120000000000000000010000100201080
+% 80008fb227bbbbbbbc0000000001222222222aaaaaaaaac000000000000000000000000000000010000000000000000010000100201080
+% 80008df557575555540000000001555555555555555555555555555555555555555555555555555c000000000000000010000107e01080
+% 80004dba8bfeeeaeee00000000008000000002aaaaaaaaa000000000000000000000000000000002000000000000000010000100001080
+% 80002df5575555555600000000005555555557555555555151515151515151515151515151515151800000000000000010000100001080
+% 80001fb223fbbbbbba00000000006020202021aaaaaaaaa800000000000000000000000000000000400000000000000010000100001080
+% 80000dfd555555555500000000003555555555d55555555555555555555555555555555555555555600000000000000010000100001080
+% 80000da8a9ffeaeaeb000000000010000000006aaaaaaaaa00000000000000000000000000000000180000000000000010000100801080
+% 80000dfd5555d5555580000000001555555555755555555511111111111111111111111111111111140000000000000010000100801080
+% 80000faa23bbbbbbbb80000000000a222222223aaaaaaaaa80000000000000000000000000000000030000000000000010000100801080
+% 80000df555d5d5555580000000000555555555555555555555555555555555555555555555555555558000000000000010000100001080
+% 80000fa48affeeeeaec00000000004000000000aaaaaaaaaa0000000000000000000000000000000006000000000000010000100001080
+% 80000df555d55555554000000000035555555555555555555111511151115111511151115111511151100000000000001000013fe01080
+% 80000fa622bbfbbbbba000000000012220222022aaaaaaaaa8000000000000000000000000000000000c00000000000010000106601080
+% 80000df5555555555560000000000155555555555555555555555555555555555555555555555555555600000000000010000104201080
+% 80000da2a8ffeaeaeae000000000008000000000aaaaaaaaaa000000000000000000000000000000000180000000000010000106601080
+% 80000df355557555555000000000005555555555d555555555111111111111111111111111111111111140000000000010000103c01080
+% 80000fa2227bbbbbbbb0000000000022222222226aaaaaaaaa800000000000000000000000000000000030000000000010000100001080
+% 80000df7557555555558000000000035555555557555555555555555555555555555555555555555555558000000000010000100001080
+% 80000da188bffeaeeea8000000000010000000001aaaaaaaaaa00000000000000000000000000000000004000000000010000100001080
+% 80000df155755555555800000000000d555555555d55555555515151515151515151515151515151515153000000000010000100001080
+% 80000fa1223bfbbbbbbc0000000000082020202026aaaaaaaaa80000000000000000000000000000000000800000000010000100801080
+% 80000df555555d555554000000000005555555555555555555555555555555555555555555555555555555600000000010000100801080
+% 80001da1a8bffaeaeaea0000000000020000000002aaaaaaaaaa0000000000000000000000000000000000100000000010000100801080
+% 80002df1d5555d5555560000000000035555555555555555555511111111111111111111111111111111111c0000000010000100001080
+% 80004fa0a22bbfbbbbba0000000000012222222222aaaaaaaaaa8000000000000000000000000000000000020000000010000100001080
+% 80008df5d55d55555555000000000000d55555555555555555555555555555555555555555555555555555558000000010000107fc1080
+% 80008fa08a8ffeeeaeef00000000000080000000002aaaaaaaaaa000000000000000000000000000000000004000000010000100201080
+% 80004df1d55d55555555000000000000555555555575555555555111511151115111511151115111511151116000000010000100201080
+% 80002fa0a22bffbbbbbb00000000000060222022203aaaaaaaaab000000000000000000000000000000000001800000010000100201080
+% 80001df5d55d57555555800000000000355555555555555555555d55555555555555555555555555555555555400000010000107e01080
+% 80000da0a8affeeaeaea80000000000020000000000aaaaaaaaaac00000000000000000000000000000000000200000010000100001080
+% 80000df1d55d5755555580000000000035555555555d555555555511111111111111111111111111111111111100000010000100001080
+% 80000fa0a22bbbbbbbbb800000000000122222222226aaaaaaaaaa00000000000000000000000000000000000080000010000107fc1080
+% 80000df5d55d57555555800000000000155555555555555555555555555555555555555555555555555555555560000010000100441080
+% 80000da0888ffeaeeeae800000000000080000000002aaaaaaaaaa80000000000000000000000000000000000010000010000100441080
+% 80000df1d55d575555554000000000000d55555555575555555555d1515151515151515151515151515151515158000010000100441080
+% 80000fa0a22bfbbbbbbbc00000000000082020202021aaaaaaaaaac0000000000000000000000000000000000004000010000100441080
+% 80000df5d55d57555555400000000000055555555555d55555555575555555555555555555555555555555555557000010000103cc1080
+% 80000da0a8affeeaeaeac00000000000040000000000aaaaaaaaaaa0000000000000000000000000000000000000800010000107b81080
+% 80000df1d55557555555400000000000035555555555555555555551111111111111111111111111111111111111400010000100001080
+% 80000fa0a227bbbbbbbbc000000000000222222222226aaaaaaaaaa8000000000000000000000000000000000000200010000100001080
+% 80000df5d5555755555560000000000003555555555575555555555d555555555555555555555555555555555555580010000100001080
+% 80000fa08a8ffeeeaeeea000000000000100000000002aaaaaaaaaac000000000000000000000000000000000000040010000100001080
+% 80000df1d55555555555600000000000015555555555555555555557511151115111511151115111511151115111520010000100801080
+% 80000fa0a227fbbbbbbba0000000000000a2202220223aaaaaaaaaab000000000000000000000000000000000000010010000100801080
+% 80000df5d5555555555560000000000000d5555555555d555555555555555555555555555555555555555555555555c010000100801080
+% 80001da0a8afffeaeaeae000000000000080000000000aaaaaaaaaaa800000000000000000000000000000000000002010000100001080
+% 80002df1d55555555555500000000000005555555555555555555555511111111111111111111111111111111111111010000100001080
+% 80004fa0a227bbbbbbbbb0000000000000622222222222aaaaaaaaaac00000000000000000000000000000000000000810000107e41080
+% 80008df5d55555d555555800000000000035555555555755555555557d5555555555555555555555555555555555555410000100001080
+% 80008fd0688bff7eeeaeee000000000000400000000002aaaaaaaaaaabf000000000000000000000000000000000001810000100001080
+% 80004fb97d55559d555555800000000000d555555555555555555555555ff1515151515151515151515151515151516010000100101080
+% 80002ee43e22fbc3bbbbbbf0000000000120202020202aaaaaaaaaaaaaaabf800000000000000000000000000000018010000100101080
+% 80001ff57dd555407555555c000000000155555555555d55555555555555557f5555555555555555555555555555560010000107f81080
+% 80000ffa1fe8bfe00eeaeaeb000000000200000000001aaaaaaaaaaaaaaaaaaafc00000000000000000000000000080010000100001080
+% 80000fdd1f7d5d7111d55555e00000000555555555555555555555555555555557f9111111111111111111111111300010000100001080
+% 80000ffe8ffe27b0003bbbbbb80000000622222222222aaaaaaaaaaaaaaaaaaaaaafe00000000000000000000000c00010000100001080
+% 80000fd55ff7575404075555570000000d55555555557555555555555555555555555fd555555555555555555557000010000104001080
+% 80000fff27ffcbf80000eeeeaec000001000000000006aaaaaaaaaaaaaaaaaaaaaaaaabf0000000000000000000c000010000100001080
+% 80000ff5f7ff75d911113d5555700000155555555555d555555555555555555555555555ff115111511151115130000010000100001080
+% 80000ffbf3fffe7c000007bbbbbe0000202220222022aaaaaaaaaaaaaaaaaaaaaaaaaaaaabf800000000000000c0000010000100001080
+% 83c00ff57fff5776404040f55555800055555555555555555555555555555555555555555557f555555555555700000010000103f81080
+% 86f00ffff5ffffbe0000001eeaeae000800000000001aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaafc0000000000c00000010000106181080
+% 84501ff56ffff77d11111113d5555c00d5555555555755555555555555555555555555555555557f111111113000000010000104081080
+% 84502ffbbbfffffb000000007bbbbb01222222222222aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaafe0000004000000010000106181080
+% 83a04ffd5dfff557c40444044d5555e355555555555555555555555555555555555555555555555555fd55558000000010000103f01080
+% 80008ffffeffffff8000000003aeeeba00000000000aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaff0060000000010000100001080
+% 80008ffd577ffd75d11111111155555d555555555575555555555555555555555555555555555555555ff9780000000010000100001080
+% 8400cffbfdffffff80000000007bbbb02020202021eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabffe007800000000010000100001080
+% 80002ff55ffff5574040404040d555d555555555575555555555555555555555555555555555fffd5555f8000000000010000100001080
+% 83c01ffff7fffffe0000000001eaeb00000000003aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabfff0000000f00000000000010000100801080
+% 86300ff5fffff77f1111111111555d5555555555d55555555555555555555555555557fff111111111f000000000000010000100801080
+% 84100ffbbffffffc0000000003bbb2222222222eaaaaaaaaaaaaaaaaaaaaaaaaaafff800000000001f0000000000000010000100801080
+% 84300fd77ffd555c040404040555d5555555557555555555555555555555555fff55555555555555e00000000000000010000100001080
+% 83e00ffefffffff80000000006ef0000000001aaaaaaaaaaaaaaaaaaaaafffe0000000000000001e000000000000000010000100001080
+% 80000fddfff77751111111111d5d555555555f555555555555555555fff9511151115111511153e0000000000000000010000106e01080
+% 80000fb7ffffffa0000000000bb2202220227aaaaaaaaaaaaaaabfff000000000000000000003c00000000000000000010000104a01080
+% 80001f7fffd55d404040404055d555555557d5555555555557ffd55555555555555555555557c000000000000000000010000105a01080
+% 80002fdfffffffc0000000002b000000001eaaaaaaaaaafff80000000000000000000000007c0000000000000000000010000107201080
+% 80004fffff777591111111113d55555555755555557fff1111111111111111111111111117800000000000000000000010000100001080
+% 80008fbfffffbb00000000007222222223aaaaafffc0000000000000000000000000000078000000000000000000000010000100001080
+% 80008d7ff555550444044404d55555555d5555fd5555555555555555555555555555555780000000000000000000000010000106e01080
+% 80004dfffffffe0000000000800000001aaaab000000000000000000000000000000001800000000000000000000000010000104a01080
+% 80002d7ff5755711111111115555555575555751515151515151515151515151515151e000000000000000000000000010000105a01080
+% 80001dfffffffa0000000003202020206aaaac000000000000000000000000000000070000000000000000000000000010000107201080
+% 80000d7ff55556404040404755555555d5555d555555555555555555555555555555780000000000000000000000000010000100001080
+% 80000dbffffffc000000000400000003aaaaa0000000000000000000000000000000c00000000000000000000000000010000100201080
+% 80000d7fff7755111111111d55555555555551111111111111111111111111111117000000000000000000000000000010000107f81080
+% 80000fbfffffbc000000001a2222222aaaaa80000000000000000000000000000038000000000000000000000000000010000104201080
+% 80000d7ffd57540404040415555555555555555555555555555555555555555555c0000000000000000000000000000010000103c01080
+% 80000dbffffff800000000300000002aaaaa00000000000000000000000000000600000000000000000000000000000010000106601080
+% 80000d7ffd7759111111117555555555555551115111511151115111511151117800000000000000000000000000000010000104201080
+% 80000dbffffff800000000e2202220aaaab80000000000000000000000000001c000000000000000000000000000000010000104201080
+% 80000d7ffd575840404040d555555755557555555555555555555555555555560000000000000000000000000000000010000106601080
+% 80000dbffffff80000000180000006aaaac000000000000000000000000000380000000000000000000000000000000010000107fc1080
+% 80000d7fff7751111111135555555d55559111111111111111111111111111c00000000000000000000000000000000010000100001080
+% 80000fbfffffb0000000032222223aaaab000000000000000000000000000e000000000000000000000000000000000010000101801080
+% 80000d5ffd5554044404475555557555575555555555555555555555555570000000000000000000000000000000000010000103c01080
+% 80000dbffffff00000000c0000006aaaac00000000000000000000000001c0000000000000000000000000000000000010000104a01080
+% 80000d5ffd757111111115555555d555595151515151515151515151515e00000000000000000000000000000000000010000104a01080
+% 80000dbfffffe000000018202022aaaaa00000000000000000000000007000000000000000000000000000000000000010000104e01080
+% 80000d5ffd5560404040755555555555555555555555555555555555558000000000000000000000000000000000000010000102c01080
+% 80000dbfffffe00000006000000aaaaa8000000000000000000000000e0000000000000000000000000000000000000010000100001080
+% 80001d5fff7551111111755555555555111111111111111111111111700000000000000000000000000000000000000010000107e01080
+% 80002fbfffffc0000000e222222aaaaa000000000000000000000003800000000000000000000000000000000000000010000100201080
+% 80004f5ffd5d44040405d5555555555d55555555555555555555555c000000000000000000000000000000000000000010000100201080
+% 80008eafffffc0000002800001aaaab0000000000000000000000070000000000000000000000000000000000000000010000100001080
+% 80008f5ffd7d91111113555557555571511151115111511151115380000000000000000000000000000000000000000010000107e01080
+% 80004eaffffb80000006202226aaaac0000000000000000000000c00000000000000000000000000000000000000000010000100201080
+% 80002f5ffd5dc040404b55555d5555d5555555555555555555557000000000000000000000000000000000000000000010000100201080
+% 80001eafffff8000000c00001aaaab00000000000000000000018000000000000000000000000000000000000000000010000100001080
+% 80000f5fff7d1111111d5555755557111111111111111111111e0000000000000000000000000000000000000000000010000100001080
+% 80000eaffffb0000002a22226aaaac00000000000000000000300000000000000000000000000000000000000000000010000100001080
+% 80000f5ffd55440444355555d5555d55555555555555555555c00000000000000000000000000000000000000000000010000100001080
+% 80000eafffff000000600001aaaab000000000000000000006000000000000000000000000000000000000000000000010000100001080
+% 80000f5ff577111111d5555755557151515151515151515158000000000000000000000000000000000000000000000010000100001080
+% 80000eaffffa000001602026aaaac0000000000000000000e0000000000000000000000000000000000000000000000010000100001080
+% 80000f57f576404041d5555d55555555555555555555555700000000000000000000000000000000000000000000000010000100001080
+% 80000eaffffe00000300002aaaaa0000000000000000001c00000000000000000000000000000000000000000000000010000100001080
+% 80000f57f77711111555555555551111111111111111116000000000000000000000000000000000000000000000000010000100001080
+% 80000eaffffc0000062222aaaaa80000000000000000038000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f57404040d555555555555555555555555555c0000000000000000000000000000000000000000000000000010000100001080
+% 80000eaffffc0000180002aaaaa00000000000000000700000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f55511111d55555555515111511151115111800000000000000000000000000000000000000000000000000010000100001080
+% 80000eaffff8000030222aaaaa80000000000000000e000000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f55840407555555555555555555555555570000000000000000000000000000000000000000000000000000010000100001080
+% 80000eabfff80000a0002aaaae0000000000000001c0000000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f7591111d555555559111111111111111600000000000000000000000000000000000000000000000000000010000100001080
+% 80000eabfff00001a223aaaab0000000000000003800000000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f5d44406d55755557555555555555555c000000000000000000000000000000000000000000000000000000010000100001080
+% 80000eabfff000030006aaaac0000000000000070000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f5d11117555d5555d1515151515151580000000000000000000000000000000000000000000000000000000010000100001080
+% 80000eabffe0000c203aaaab00000000000000e00000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f57f5e0404d5575555755555555555557000000000000000000000000000000000000000000000000000000000010000100001080
+% 80001eabffe00018006aaaac0000000000001c000000000000000000000000000000000000000000000000000000000010000100001080
+% 80002f55f771113555d5555911111111111160000000000000000000000000000000000000000000000000000000000010000100001080
+% 80004eabffa0005223aaaab000000000000380000000000000000000000000000000000000000000000000000000000010000100001080
+% 80008f55f54404755755557555555555555c00000000000000000000000000000000000000000000000000000000000010000100001080
+% 80008eabffc000a006aaaac000000000003000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80004f55f55111d55d5555915111511151c000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80002faaffc001623aaaab0000000000070000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80001fd5f54041d57555575555555555580000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000faaffc001802aaaaa0000000000600000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fd57f5113555555551111111111800000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000feaffc00322aaaaa8000000000e000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f757dc447555555555555555570000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000efabfc00602aaaab000000000c0000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f757dd11d575555715151515300000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fbabfc00c26aaaac00000000c00000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f5d5dc04d5d5555d55555557000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000feebfc0181aaaaa800000018000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f5f5fd11d755555111111160000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fbeafc0322aaaaa000000180000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fd75fe435555555555555e00000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fefafe060aaaaac000003000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fd5dff17555555951115c000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000ffbafa061aaaab0000030000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fd5d760d75555755555c0000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000feaefe086aaaaa0000700000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86c00fd57771dd555551111800000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85c00ffbbbe13aaaaa80006000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400ff577e755555555558000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400feefbe22aaaab00060000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 82400ff55df355555751780000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83800ffbbfe6aaaaac00c00000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87c00ff557e555555d57000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400ffaeeedaaaab00c000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400ff557ff55555170000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87c01ffbbbfeaaaaa180000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80002ffd55fd55555600000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83804ffeaefaaaaa9800000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86408ffd55f55555e000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84408ffbbbeaaaab8000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84404ffd557555550000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 82c02ffaeaeaaaaa0000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83801ffd55d555560000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86400ff7bbeaaaaa0000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84400ff555d555540000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84400ff6efaaaaac0000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83800ff555d555540000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000ff7bbaaaaac0000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87c00fe5555555580000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80400fe6ebaaaaa80000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80400ff5575555580000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87c00fe7baaaaab00000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000fe5575555500000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83800fc6aeaaaab00000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86400fd5575555600000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84400fc7beaaaaa00000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84400fc55d5555600000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87f00f86eeaaaac00000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86c00f955d5555400000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85c00f87baaaaac00000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400f875d5555800000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 85400f82faaaaa800000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 82400f13555555800000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f03baaaab000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f43755555000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f02faaaab000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000f13755555000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8fe00e03eaaaaa000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 98300e07755556000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000e02eaaaaa000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87f00f13d55554000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80600c03eaaaac000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87800c43d55554000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 86000c02aaaaa8000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 81c01d13d55558000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80702c03aaaaa8000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87f04c07555550000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80008801aaaab0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80008913555560000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83f04806aaab80000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 84002845555600000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8400180aaab800000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8400091d556000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 83f0081aab8000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000c35560000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8010086aac0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80100955700000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 801008aac00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87f009d7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 801009ac000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80100b70000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 90100ec0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 98700d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 87c00e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000003fff9fffcfffe7fff1fffcfffe7fff3fff8fffe7fff3fff9fffc7fff3fff9fffcfffe3fff9fffcfffe7fff00010000100001080
+% 80000003fff95554d556555514044d556400135558d55655553fff955545555355590404d556200095554d556555500010000100001080
+% 80000003fff9fffc8a8a7fff10004eeea400120008aaaa40013fff9fffc48a93fff90004aeee200090004aaaa400100010000100001080
+% 80000003fff97574d556555511114d556400135558d55651513fff977545555355591114d556200095554d556511500010000100001080
+% 80000003fff9fffca2227bbb10004bbba400122228aaaa40013fff9fffc62233fbb90004bbba200090224aaaa400100010000100001080
+% 80000003fff95554d556555510404d556400135558d55655553fff955545555355594044d556200095554d556555500010000100001080
+% 80000003fff9fffca8aa7fff10004aeae400120008aaaa40013fff9fffc4a8b3fff90004eaea200090004aaaa400100010000100001080
+% 80000003fff97774d556555511114d556400135558d55651113fff977745555355591114d556200095554d556511100010000100001080
+% 80000003fff9fffca2227bbb10004bbba400122228aaaa40013fff9fffc62233bbb90004bbba200092224aaaa400100010000100001080
+% 80000003fff95554d556555514044d556400135558d55655553fff955545555355594404d556200095554d556555500010000100001080
+% 80000003fff9fffc888a7fff10004eaee400120008aaaa40013fff9fffc68893fff90004eeae200090004aaaa400100010000100001080
+% 80000003fff97574d556555511114d556400135558d55651513fff957545555355591114d556200095554d556551500010000100001080
+% 80000003fff9fffca2227bfb10004bbba400122028aaaa40013fff9fffc62233fbf90004bbba200090204aaaa400100010000100001080
+% 80000003fff95554d556555510404d556400135558d55655553fff955545555355594044d556200095554d556555500010000100001080
+% 80000003fff9fffcfffe7fff1fffcfffe7fff3fff8fffe7fff3fff9fffc7fff3fff9fffcfffe3fff9fffcfffe7fff00010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000380000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 800000004400fe003f801fc00fe007f001fc00fe007f003f800fe007f003f801fc007f003f801fc00fe003f801fc000010000100001080
+% 800000008201830060c0306018300c180306018300c18060c018300c18060c030600c18060c030601830060c0306000010000100001080
+% 80000000820000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8000000082002c00000001c0000000000084002c00000010800000000000b000580000000f000200010000000020000010000100001080
+% 80000000c6006f0000800f200020001000e6006f0001001cc00020001001bc00de0001001bc0038001c000080038000010000100001080
+% 800000007c00450000800a200020001000a200450001001440002000100114008a000100114002c001600008002c000010000100001080
+% 80000000000045001fc00f2007f003f800920045003f80124007f003f80114008a003f8011400fe007f001fc00fe000010000100001080
+% 8000000002003900000007c000000000008c003900000011800000000000e400720000000e800200010000000020000010000100001080
+% 80000000020001000b00058003c00110001c002c0000000040000000000038008400000010800440030004040058000010000100001080
+% 80000000020041001bc00de006f0031800f2006f00010010400020001001e400e60001001cc00c6004f0061c00de000010000100001080
+% 80000000fe007900114008a00450024800a200450001001e4000200010014400a200010014400920049001f0008a000010000100001080
+% 8000000002000d00114008a00450024800f20045003f80034007f003f801e40092003f801240092004900000008a000010004100001080
+% 80000000020003000e40072003a001f0007c003900000000c00000000000f8008c000000118007c003e000800072000010004100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000001980000000010004100001080
+% 80000000fe01010040402020010001100202010100000040400010008004040202002100404020201010013402020000107fc100001080
+% 800000001001870061c030e001c00318030e018700010061c0041000e0061c030e00398061c030e018700124030e000010004100001080
+% 8000000010007c001f000f800160024800f8007c0001001f00079000b001f000f80028801f000f8007c0012400f8000010004100001080
+% 8000000010006c00ff00040007f0024800000064003f80ff0000d003f8019000d800248008000c80000001c800d8000010004100001080
+% 80000000fe005c001b000cc0010001f000f80054000000190000300080015000b800230019800a8007c0000400b8000010000100001080
+% 8000000000005400110009a01010080800080054008080110010100808015000a800808013400a800400000c00a80000107fc100001080
+% 80000000000054001100092018700c380008005400c380110018700c38015000a800c38012400a800400003000a8000010020100001080
+% 80000000fe0024001f00092007c003e000f8007c003e000e0007c003e001f00048003e0012400f8007c001e00048000010020100001080
+% 800000009201040000000e400000000000080000000000000000000000000002080000001c800000000000380208000010020100001080
+% 800000009201380019000000000000000008000000360000000000036000e002700036000000070006c0000c02700000107e0100001080
+% 800000009200e0001500002007c003e000f8007c002e001f0007c002e0019001c0002e0000400c8005c0000001c0000010000100001080
+% 8000000092003800150000600400002000c80004002a000100040002a001100070002a0000c00880054000800070000010000100001080
+% 8000000000000400150001800400002000a80004002a000e00040002a001100008002a00030008800540019800080000107e0100001080
+% 80000000000000001f000f0007c003e000a8007c0012001f0007c0012001fc00000012001e000fe0024001340000000010400100001080
+% 80000000fe007c00000001c006c0002000a80000008200150006c0082000e000f8008200038007000380012400f8000010400100001080
+% 80000000120004001f00006005c0002000f8007c009c00150005c009c001900008009c0000c00c8007c001240008000010600100001080
+% 800000001200040001000400054003e0000000040070001f00054007000110000800700008000880054001c800080000107e0100001080
+% 8000000012007c0000000cc00540032000000004001c000000054001c0011000f8001c00198008800540000000f8000010000100001080
+% 80000000f20000001b0009a0024002a000fa007c000200ff000240002001fc000000020013400fe007c000040000000010000100001080
+% 80000000ee00040017000920038002a0000000000000001900038000000000000800000012400000100000040008000010000100001080
+% 8000000000007f001500092007c002a000f80038003e00110007c003e0007000fe003e00124003801000000400fe000010000100001080
+% 800000000000440015000e40054003e000080064000200110005400020008800880002001c800440100001fc0088000010400100001080
+% 8000000000007f000900000005400000000800440002000e0005400020010400fe000200000008201000000400fe000010780100001080
+% 80000000000004000e00002007c003f800f80044003e00190007c003e001040008003e00004008201000000400080000100f0100001080
+% 80000000000004001f000020000000c000000038000200150000000020010400080002000040082010000000000800001009c100001080
+% 8000000000007c001500002001c000c000000004003f801500100003f8018c00f8003f8000400c6007f001fc00f800001009c100001080
+% 800000000000000015000fe0022001a00000007f00220015001000022000c800000022001fc006400640012400000000100f0100001080
+% 80000000000100001f00002004100200000000440000001f00100000000070020000000000400380044001240200000010780100001080
+% 800000000001000000000020041001c000000064003f800000100003f800880200003f8000400440044001240200000010400100001080
+% 800000000001000000000000041003e0000000540002000000100000200104020000020000000820038001240200000010000100001080
+% 800000000001000000000fe0063002a0000000540002001f0017f00020010402000002001fc0082007f0000002000000107e0100001080
+% 800000000001000000000920032002a000000054003e000100064003e001040200003e0012400820064001fc0200000010400100001080
+% 80000000000100000000092001c003e00000007c0000001b0004400000018c020000000012400c60044000180200000010400100001080
+% 800000000000420000000920022000e00000000000800017000440080000c8008400000012400640044001e00084000010600100001080
+% 800000000000730000000920041001100000000400800015000380080001b000e6003f8012400d800380018000e60000107e0100001080
+% 800000000000510000000000041002080000007f008000150000000800017000a200200000000b800000007000a20000103c0100001080
+% 800000000000490000000000041002080000007c008000090007f008000150009200200000000a800000001c0092000013660100001080
+% 800000000000460000000fe0063002080000007c0080000e00064008000150008c0020001fc00a80000001fc008c000012420100001080
+% 8000000000000000000000c0032003180000005400a1001f0004400a100090000000000001800480000000000000000012420100001080
+% 800000000000c00000000f00038001900000005400398015000440039804000180003e801e002000000000000000000013fe0100001080
+% 800000000000000000000c00064000e00000007c0028801500038002880400000000000018002000000000000000000011fe0100001080
+% 80000000000064000000038004400110000000000024801f000000024804000000003e0007002000000000000000000010000100001080
+% 8000000000005400000000e0044002080000010000230000000c000230040000f800020001c02000000000000000000010000100001080
+% 800000000000540000000fe007f0020800000100000000000000000000040000800002001fc02000000000000000000010000100001080
+% 8000000000005400000000000000020800000100000000000006c0000004000080003e0000002000000000000000000010000100001080
+% 8000000000007c00000018000380031800000100006000000005c00600003000f800000030000180000000000000000010420100001080
+% 80000000000038000000000007c001900000010000000000000540000001e000d8001c0000000f00000000000000000010738100001080
+% 8000000000006400000000000540000000000100003e000000054003e001c000b8003e001b000e00000000000000000010588100001080
+% 800000000000440000000f80054001c000000000000200000002400020003000a8002a0017000180000000000000000010488100001080
+% 80000000000044000000080007c003200000007d00020000001040002001e000a8002a0015000f000000000000000000104c8100001080
+% 8000000000007f000000080006c0022000000000003e000000138003e001c00048003e0015000e00000000000000000010478100001080
+% 800000000000000000000f8005c002200000007c00020000000e0000200030007000000009000180000000000000000010000100001080
+% 800000000000380000000000054003f800000004000200000003800020000000f800000041000000000000000000000010210100001080
+% 800000000000640000000d80054001c000000004003e000000004003e001f000a80000004e000f80000000000000000010718100001080
+% 800000000000440000000b80024003e00000007c000000000000000000001000a800000038000080000000000000000010408100001080
+% 800000000000440000000a80038002a00000006c003200000007c0032001fc00f80000000e000fe0000000000000000010448100001080
+% 8000000000007f0000000a80064002a00000005c002a000000004002a000600000000000010003000000000000000000104c8100001080
+% 800000000000000000000480044003e000000054002a000000004002a000600200000000000003000000000000000000103b0100001080
+% 8000000000001c00000007000440000000000054002a00000007c002a000d002000000001f000680000000000000000010000100001080
+% 800000000000220000000f8002c0036000000024003e000000000003e00100020000000001000800000000000000000010000100001080
+% 800000000000410000000a80000002e000000000003f800000004003f80000020000000001000000000000000000000010000100001080
+% 800000000000410000000a8007c002a00000007c000c00000007f000c0030002000000001f000000000000000000000010000100001080
+% 800000000000410000000f80004002a000000004000c000000044000c00000020000000000000000000000000000000010000100001080
+% 8000000000006300000020000000012000000004001a000000000001a0000000fe00000001000000000000000000000010010100001080
+% 800000000000320000002000000001c00000007c002000000007f0020001f000c80000001fc00000000000000000000010010100001080
+% 8000000000001c000000200007d0032000000000001c000000004001c001000088000000110000000000000000000000107f8100001080
+% 8000000000002200000020003fc0022000000000003e000000004003e0010000880000001fc00000000000000000000010000100001080
+% 8000000000004100000020000640022000000000002a00000007c002a001f0007000000001000000000000000000000010000100001080
+% 8000000000004100000020000440016000000000002a000000000002a0000000fe00000001000000000000000000000010000100001080
+% 800000000000410000000fe00440000000000000003e00000007f003e001b000c80000001f000000000000000000000010008100001080
+% 800000000000630000000c80038003e0000000000000000000040000000170008800000000000000000000000000000010008100001080
+% 8000000000003200000008800040002000000000000e000000040000e00150008800000040000000000000000000000010708100001080
+% 8000000000006c000000088007f000000000000000110000000400011001500070000000400000000000000000000000101c8100001080
+% 8000000000005c0000000700044003e8000000000020800000000002080090000000000040000000000000000000000010028100001080
+% 800000000000540000000fe003801fe00000000000208000000000020800e0000000000040000000000000000000000010018100001080
+% 800000000000540000000c800640032000000000002080000007d0020801f0000000000040000000000000000000000010000100001080
+% 80000000000024000000088004400220000000000031800000000003180150000000000050800000000000000000000010420100001080
+% 8000000000010000000008800440022000000000001900000007c00190015000000000001cc00000000000000000000010000100001080
+% 800000000001000000000700038001c000000000000e000000004000e001f0000000000014400000000000000000000010000100001080
+% 80000000000100000000000000000000000000000011000000004001100400000000000012400000000000000000000010210100001080
+% 8000000000010000000000000000002000000000002080000007c002080400000000000011800000000000000000000010718100001080
+% 80000000000100000000000007c003f8000000000020800000038002080400000000000000000000000000000000000010408100001080
+% 8000000000010000000000000040022000000000002080000007c002080400000000000000000000000000000000000010448100001080
+% 8000000000000c000000000006c001c00000000000318000000540031804000000000000000000000000000000000000104c8100001080
+% 80000000000078000000000005c003200000000000190000000540019004000000000000000000000000000000000000103b0100001080
+% 8000000000007000000000000540022000000000001c00000007c001c001fc000000000000000000000000000000000010008100001080
+% 8000000000000c000000000005400220000000000032000000000003200190000000000000000000000000000000000010008100001080
+% 800000000000780000000000024001c0000000000022000000000002200110000000000000000000000000000000000010708100001080
+% 800000000000700000000000000000000000000000220000000000022001100000000000000000000000000000000000101c8100001080
+% 8000000000000c0000000000000003e000000000003f800000000003f800e0000000000000000000000000000000000010028100001080
+% 800000000000000000000000000000200000000000000000000000000001fc000000000000000000000000000000000010018100001080
+% 8000000000007c00000000000000036000000000001c000000000001c00190000000000000000000000000000000000010000100001080
+% 800000000000040000000000000002e000000000003e000000000003e00110000000000000000000000000000000000010000100001080
+% 8000000000007f0000000000000002a000000000002a000000000002a00110000000000000000000000000000000000010000100001080
+% 800000000000180000000000000002a000000000002a000000000002a000e0000000000000000000000000000000000010000100001080
+% 8000000000001800000000000000012000000000003e000000000003e00000000000000000000000000000000000000010420100001080
+% 80000000000034000000000000000000000000000036000000000003600000000000000000000000000000000000000010738100001080
+% 8000000000004000000000000000000000000000002e000000000002e00000000000000000000000000000000000000010588100001080
+% 8000000000000000000000000000000000000000002a000000000002a00000000000000000000000000000000000000010488100001080
+% 8000000000000000000000000000000000000000002a000000000002a000000000000000000000000000000000000000104c8100001080
+% 80000000000000000000000000000000000000000012000000000001200000000000000000000000000000000000000010478100001080
+% 8000000000000000000000000000000000000000001c000000000001c00000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000032000000000003200000000000000000000000000000000000000010000100001080
+% 800000000000000000000000000000000000000000220000000000022000000000000000000000000000000000000000103f8100001080
+% 80000000000000000000000000000000000000000022000000000002200000000000000000000000000000000000000010618100001080
+% 80000000000000000000000000000000000000000016000000000001600000000000000000000000000000000000000010408100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010618100001080
+% 8000000000000000000000000000000000000000003e000000000003e000000000000000000000000000000000000000103f0100001080
+% 80000000000000000000000000000000000000000002000000000000200000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000103f8100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010618100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010408100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010618100001080
+% 800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000103f0100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010010100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010010100001080
+% 800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000107f8100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100001080
+% 8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ffffffffff080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% 80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080
+% ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80
+%%EndImage
+%%EndPreview
+save
+countdictstack
+mark
+newpath
+/showpage {} def
+/setpagedevice {pop} def
+%%EndProlog
+%%Page 1 1
+
+-90 rotate
+-756.000000 72.000000 translate
+/HE10 /Helvetica findfont 10 scalefont def
+/HE12 /Helvetica findfont 12 scalefont def
+newpath
+0 0 moveto
+0 432.000000 rlineto
+648.000000 0 rlineto
+0 -432.000000 rlineto
+closepath
+0.500000 setlinewidth
+stroke
+newpath
+5.000000 387.000000 moveto
+0 40.000000 rlineto
+638.000000 0 rlineto
+0 -40.000000 rlineto
+closepath
+0.500000 setlinewidth
+stroke
+5.000000 407.000000 moveto
+638.000000 0 rlineto
+stroke
+HE12 setfont
+11.000000 413.000000 moveto
+(cacheprof_p -ghc-timing +RTS -H10m -K10m -p -hR -i1.0 -sstderr 
+) show
+HE12 setfont
+11.000000 393.000000 moveto
+(22,191,444 bytes x seconds (MUT))
+show
+HE12 setfont
+(Thu Aug 23 17:37 2001)
+dup stringwidth pop
+637.000000
+exch sub
+393.000000 moveto
+show
+45.000000 20.000000 moveto
+431.338567 0 rlineto
+0.500000 setlinewidth
+stroke
+HE10 setfont
+(seconds (MUT))
+dup stringwidth pop
+476.338567
+exch sub
+5.000000 moveto
+show
+45.000000 20.000000 moveto
+0 -4 rlineto
+stroke
+HE10 setfont
+(0.0)
+dup stringwidth pop
+2 div
+45.000000 exch sub
+5.000000 moveto
+show
+135.712632 20.000000 moveto
+0 -4 rlineto
+stroke
+HE10 setfont
+(2.0)
+dup stringwidth pop
+2 div
+135.712632 exch sub
+5.000000 moveto
+show
+226.425265 20.000000 moveto
+0 -4 rlineto
+stroke
+HE10 setfont
+(4.0)
+dup stringwidth pop
+2 div
+226.425265 exch sub
+5.000000 moveto
+show
+317.137897 20.000000 moveto
+0 -4 rlineto
+stroke
+HE10 setfont
+(6.0)
+dup stringwidth pop
+2 div
+317.137897 exch sub
+5.000000 moveto
+show
+45.000000 20.000000 moveto
+0 362.000000 rlineto
+0.500000 setlinewidth
+stroke
+gsave
+HE10 setfont
+(bytes)
+dup stringwidth pop
+382.000000
+exch sub
+40.000000 exch
+translate
+90 rotate
+0 0 moveto
+show
+grestore
+45.000000 20.000000 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(0k)
+dup stringwidth
+2 div
+20.000000 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 56.751299 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(500k)
+dup stringwidth
+2 div
+56.751299 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 93.502598 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(1,000k)
+dup stringwidth
+2 div
+93.502598 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 130.253897 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(1,500k)
+dup stringwidth
+2 div
+130.253897 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 167.005196 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(2,000k)
+dup stringwidth
+2 div
+167.005196 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 203.756494 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(2,500k)
+dup stringwidth
+2 div
+203.756494 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 240.507793 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(3,000k)
+dup stringwidth
+2 div
+240.507793 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 277.259092 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(3,500k)
+dup stringwidth
+2 div
+277.259092 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+45.000000 314.010391 moveto
+-4 0 rlineto
+stroke
+HE10 setfont
+(4,000k)
+dup stringwidth
+2 div
+314.010391 exch sub
+exch
+40.000000 exch sub
+exch
+moveto
+show
+481.338567 30.238095 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.000000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 32.238095 moveto
+(OTHER) show
+481.338567 47.476190 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.200000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 49.476190 moveto
+((57)synth_2,addCCs_wrk) show
+481.338567 64.714286 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.600000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 66.714286 moveto
+((15)parse) show
+481.338567 81.952381 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.300000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 83.952381 moveto
+((95)SYSTEM,use_bb) show
+481.338567 99.190476 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.900000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 101.190476 moveto
+((164)useCCdescriptors) show
+481.338567 116.428571 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.400000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 118.428571 moveto
+((133)makeCCdescriptors) show
+481.338567 133.666667 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+1.000000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 135.666667 moveto
+((29)main) show
+481.338567 150.904762 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.700000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 152.904762 moveto
+((55)annotate_insn) show
+481.338567 168.142857 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.500000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 170.142857 moveto
+((111)synth_2,makeCCdescr) show
+481.338567 185.380952 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.800000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 187.380952 moveto
+((27)preparse) show
+481.338567 202.619048 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.000000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 204.619048 moveto
+((117)use_bb,synthLine) show
+481.338567 219.857143 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.200000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 221.857143 moveto
+((114)synth_2,makeCCdescr) show
+481.338567 237.095238 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.600000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 239.095238 moveto
+((59)addCCs_wrk,use_bb) show
+481.338567 254.333333 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.300000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 256.333333 moveto
+((52)synth_2,use_bb) show
+481.338567 271.571429 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.900000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 273.571429 moveto
+((112)synthLine) show
+481.338567 288.809524 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.400000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 290.809524 moveto
+((62)SYSTEM,synth_2) show
+481.338567 306.047619 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+1.000000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 308.047619 moveto
+((43)addCCs_wrk) show
+481.338567 323.285714 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.700000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 325.285714 moveto
+((48)use_bb) show
+481.338567 340.523810 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.500000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 342.523810 moveto
+((1)SYSTEM) show
+481.338567 357.761905 moveto
+0 14 rlineto
+14 0 rlineto
+0 -14 rlineto
+closepath
+gsave
+0.800000 setgray
+fill
+grestore
+stroke
+HE10 setfont
+500.338567 359.761905 moveto
+((45)synth_2) show
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 20.000000 lineto
+125.280680 20.000000 lineto
+160.658606 20.000000 lineto
+191.954465 20.000000 lineto
+221.889633 20.000000 lineto
+249.556986 20.000000 lineto
+275.410086 20.000000 lineto
+298.541808 20.000000 lineto
+316.230771 20.000000 lineto
+330.291229 20.000000 lineto
+356.144329 20.000000 lineto
+386.533061 20.000000 lineto
+421.457425 20.000000 lineto
+459.556730 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 20.618304 lineto
+421.457425 28.827368 lineto
+386.533061 20.618304 lineto
+356.144329 20.618304 lineto
+330.291229 20.618304 lineto
+316.230771 28.577459 lineto
+298.541808 20.618304 lineto
+275.410086 20.618304 lineto
+249.556986 20.618304 lineto
+221.889633 20.618304 lineto
+191.954465 20.618304 lineto
+160.658606 20.618304 lineto
+125.280680 20.618304 lineto
+88.542064 20.618304 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.000000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 20.618304 lineto
+125.280680 20.618304 lineto
+160.658606 20.618304 lineto
+191.954465 20.618304 lineto
+221.889633 20.618304 lineto
+249.556986 20.618304 lineto
+275.410086 20.618304 lineto
+298.541808 20.618304 lineto
+316.230771 28.577459 lineto
+330.291229 20.618304 lineto
+356.144329 20.618304 lineto
+386.533061 20.618304 lineto
+421.457425 28.827368 lineto
+459.556730 20.618304 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 20.618304 lineto
+421.457425 28.827368 lineto
+386.533061 20.618304 lineto
+356.144329 20.654467 lineto
+330.291229 21.323929 lineto
+316.230771 28.577459 lineto
+298.541808 21.736719 lineto
+275.410086 21.736719 lineto
+249.556986 21.736719 lineto
+221.889633 21.736719 lineto
+191.954465 21.736719 lineto
+160.658606 21.700556 lineto
+125.280680 21.571780 lineto
+88.542064 20.955240 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.200000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 20.955240 lineto
+125.280680 21.571780 lineto
+160.658606 21.700556 lineto
+191.954465 21.736719 lineto
+221.889633 21.736719 lineto
+249.556986 21.736719 lineto
+275.410086 21.736719 lineto
+298.541808 21.736719 lineto
+316.230771 28.577459 lineto
+330.291229 21.323929 lineto
+356.144329 20.654467 lineto
+386.533061 20.618304 lineto
+421.457425 28.827368 lineto
+459.556730 20.618304 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 20.618304 lineto
+421.457425 28.827368 lineto
+386.533061 20.618304 lineto
+356.144329 20.654467 lineto
+330.291229 21.323929 lineto
+316.230771 28.577459 lineto
+298.541808 23.214416 lineto
+275.410086 23.213534 lineto
+249.556986 23.213534 lineto
+221.889633 23.074761 lineto
+191.954465 23.074761 lineto
+160.658606 21.700556 lineto
+125.280680 22.833966 lineto
+88.542064 21.955757 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.600000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 21.955757 lineto
+125.280680 22.833966 lineto
+160.658606 21.700556 lineto
+191.954465 23.074761 lineto
+221.889633 23.074761 lineto
+249.556986 23.213534 lineto
+275.410086 23.213534 lineto
+298.541808 23.214416 lineto
+316.230771 28.577459 lineto
+330.291229 21.323929 lineto
+356.144329 20.654467 lineto
+386.533061 20.618304 lineto
+421.457425 28.827368 lineto
+459.556730 20.618304 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 20.618304 lineto
+421.457425 28.827368 lineto
+386.533061 20.618304 lineto
+356.144329 20.654467 lineto
+330.291229 21.323929 lineto
+316.230771 38.031951 lineto
+298.541808 23.214416 lineto
+275.410086 23.213534 lineto
+249.556986 23.213534 lineto
+221.889633 23.074761 lineto
+191.954465 23.074761 lineto
+160.658606 21.700556 lineto
+125.280680 22.833966 lineto
+88.542064 21.955757 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.300000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 21.955757 lineto
+125.280680 22.833966 lineto
+160.658606 21.700556 lineto
+191.954465 23.074761 lineto
+221.889633 23.074761 lineto
+249.556986 23.213534 lineto
+275.410086 23.213534 lineto
+298.541808 23.214416 lineto
+316.230771 38.031951 lineto
+330.291229 21.323929 lineto
+356.144329 20.654467 lineto
+386.533061 20.618304 lineto
+421.457425 28.827368 lineto
+459.556730 20.618304 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.040972 lineto
+421.457425 28.827368 lineto
+386.533061 20.618304 lineto
+356.144329 20.654467 lineto
+330.291229 21.323929 lineto
+316.230771 38.031951 lineto
+298.541808 23.214416 lineto
+275.410086 23.213534 lineto
+249.556986 23.213534 lineto
+221.889633 23.074761 lineto
+191.954465 23.074761 lineto
+160.658606 21.700556 lineto
+125.280680 22.833966 lineto
+88.542064 21.955757 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.900000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 21.955757 lineto
+125.280680 22.833966 lineto
+160.658606 21.700556 lineto
+191.954465 23.074761 lineto
+221.889633 23.074761 lineto
+249.556986 23.213534 lineto
+275.410086 23.213534 lineto
+298.541808 23.214416 lineto
+316.230771 38.031951 lineto
+330.291229 21.323929 lineto
+356.144329 20.654467 lineto
+386.533061 20.618304 lineto
+421.457425 28.827368 lineto
+459.556730 31.040972 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.040972 lineto
+421.457425 41.485985 lineto
+386.533061 20.620068 lineto
+356.144329 20.656231 lineto
+330.291229 21.325693 lineto
+316.230771 38.031951 lineto
+298.541808 23.214416 lineto
+275.410086 23.213534 lineto
+249.556986 23.213534 lineto
+221.889633 23.074761 lineto
+191.954465 23.074761 lineto
+160.658606 21.700556 lineto
+125.280680 22.833966 lineto
+88.542064 21.955757 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.400000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 21.955757 lineto
+125.280680 22.833966 lineto
+160.658606 21.700556 lineto
+191.954465 23.074761 lineto
+221.889633 23.074761 lineto
+249.556986 23.213534 lineto
+275.410086 23.213534 lineto
+298.541808 23.214416 lineto
+316.230771 38.031951 lineto
+330.291229 21.325693 lineto
+356.144329 20.656231 lineto
+386.533061 20.620068 lineto
+421.457425 41.485985 lineto
+459.556730 31.040972 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.124282 lineto
+386.533061 21.258364 lineto
+356.144329 21.294528 lineto
+330.291229 21.963989 lineto
+316.230771 39.278849 lineto
+298.541808 24.455433 lineto
+275.410086 24.454551 lineto
+249.556986 24.454551 lineto
+221.889633 24.315779 lineto
+191.954465 24.315779 lineto
+160.658606 22.941574 lineto
+125.280680 24.074984 lineto
+88.542064 23.196775 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+1.000000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 23.196775 lineto
+125.280680 24.074984 lineto
+160.658606 22.941574 lineto
+191.954465 24.315779 lineto
+221.889633 24.315779 lineto
+249.556986 24.454551 lineto
+275.410086 24.454551 lineto
+298.541808 24.455433 lineto
+316.230771 39.278849 lineto
+330.291229 21.963989 lineto
+356.144329 21.294528 lineto
+386.533061 21.258364 lineto
+421.457425 42.124282 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.124282 lineto
+386.533061 22.023968 lineto
+356.144329 22.922757 lineto
+330.291229 23.872705 lineto
+316.230771 41.524501 lineto
+298.541808 26.559960 lineto
+275.410086 26.340334 lineto
+249.556986 26.038679 lineto
+221.889633 25.642353 lineto
+191.954465 25.245439 lineto
+160.658606 23.546647 lineto
+125.280680 24.593618 lineto
+88.542064 23.493137 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.700000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 23.493137 lineto
+125.280680 24.593618 lineto
+160.658606 23.546647 lineto
+191.954465 25.245439 lineto
+221.889633 25.642353 lineto
+249.556986 26.038679 lineto
+275.410086 26.340334 lineto
+298.541808 26.559960 lineto
+316.230771 41.524501 lineto
+330.291229 23.872705 lineto
+356.144329 22.922757 lineto
+386.533061 22.023968 lineto
+421.457425 42.124282 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 31.368500 lineto
+356.144329 28.080582 lineto
+330.291229 25.593548 lineto
+316.230771 41.524501 lineto
+298.541808 26.559960 lineto
+275.410086 26.340334 lineto
+249.556986 26.038679 lineto
+221.889633 25.642353 lineto
+191.954465 25.245439 lineto
+160.658606 23.546647 lineto
+125.280680 24.593618 lineto
+88.542064 23.493137 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.500000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 23.493137 lineto
+125.280680 24.593618 lineto
+160.658606 23.546647 lineto
+191.954465 25.245439 lineto
+221.889633 25.642353 lineto
+249.556986 26.038679 lineto
+275.410086 26.340334 lineto
+298.541808 26.559960 lineto
+316.230771 41.524501 lineto
+330.291229 25.593548 lineto
+356.144329 28.080582 lineto
+386.533061 31.368500 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 31.368500 lineto
+356.144329 28.080582 lineto
+330.291229 25.593548 lineto
+316.230771 41.524501 lineto
+298.541808 32.677140 lineto
+275.410086 32.867659 lineto
+249.556986 27.036551 lineto
+221.889633 29.209581 lineto
+191.954465 32.384894 lineto
+160.658606 24.587738 lineto
+125.280680 24.605379 lineto
+88.542064 29.373933 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.800000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 29.373933 lineto
+125.280680 24.605379 lineto
+160.658606 24.587738 lineto
+191.954465 32.384894 lineto
+221.889633 29.209581 lineto
+249.556986 27.036551 lineto
+275.410086 32.867659 lineto
+298.541808 32.677140 lineto
+316.230771 41.524501 lineto
+330.291229 25.593548 lineto
+356.144329 28.080582 lineto
+386.533061 31.368500 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 35.123306 lineto
+356.144329 36.264949 lineto
+330.291229 35.930071 lineto
+316.230771 53.392818 lineto
+298.541808 32.677140 lineto
+275.410086 32.867659 lineto
+249.556986 27.036551 lineto
+221.889633 29.209581 lineto
+191.954465 32.384894 lineto
+160.658606 24.587738 lineto
+125.280680 24.605379 lineto
+88.542064 29.373933 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.000000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 29.373933 lineto
+125.280680 24.605379 lineto
+160.658606 24.587738 lineto
+191.954465 32.384894 lineto
+221.889633 29.209581 lineto
+249.556986 27.036551 lineto
+275.410086 32.867659 lineto
+298.541808 32.677140 lineto
+316.230771 53.392818 lineto
+330.291229 35.930071 lineto
+356.144329 36.264949 lineto
+386.533061 35.123306 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 39.445259 lineto
+356.144329 44.770669 lineto
+330.291229 47.872773 lineto
+316.230771 65.212036 lineto
+298.541808 32.677140 lineto
+275.410086 32.867659 lineto
+249.556986 27.036551 lineto
+221.889633 29.209581 lineto
+191.954465 32.384894 lineto
+160.658606 24.587738 lineto
+125.280680 24.605379 lineto
+88.542064 29.373933 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.200000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 29.373933 lineto
+125.280680 24.605379 lineto
+160.658606 24.587738 lineto
+191.954465 32.384894 lineto
+221.889633 29.209581 lineto
+249.556986 27.036551 lineto
+275.410086 32.867659 lineto
+298.541808 32.677140 lineto
+316.230771 65.212036 lineto
+330.291229 47.872773 lineto
+356.144329 44.770669 lineto
+386.533061 39.445259 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 39.445259 lineto
+356.144329 44.770669 lineto
+330.291229 47.872773 lineto
+316.230771 65.212036 lineto
+298.541808 45.475412 lineto
+275.410086 44.560452 lineto
+249.556986 37.761462 lineto
+221.889633 37.820558 lineto
+191.954465 38.949558 lineto
+160.658606 29.876397 lineto
+125.280680 28.824428 lineto
+88.542064 32.072361 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.600000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 32.072361 lineto
+125.280680 28.824428 lineto
+160.658606 29.876397 lineto
+191.954465 38.949558 lineto
+221.889633 37.820558 lineto
+249.556986 37.761462 lineto
+275.410086 44.560452 lineto
+298.541808 45.475412 lineto
+316.230771 65.212036 lineto
+330.291229 47.872773 lineto
+356.144329 44.770669 lineto
+386.533061 39.445259 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 41.769117 lineto
+356.144329 48.957965 lineto
+330.291229 55.205392 lineto
+316.230771 65.212036 lineto
+298.541808 55.455301 lineto
+275.410086 53.812665 lineto
+249.556986 46.138112 lineto
+221.889633 45.465122 lineto
+191.954465 45.850276 lineto
+160.658606 35.922721 lineto
+125.280680 33.236054 lineto
+88.542064 34.512353 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.300000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 34.512353 lineto
+125.280680 33.236054 lineto
+160.658606 35.922721 lineto
+191.954465 45.850276 lineto
+221.889633 45.465122 lineto
+249.556986 46.138112 lineto
+275.410086 53.812665 lineto
+298.541808 55.455301 lineto
+316.230771 65.212036 lineto
+330.291229 55.205392 lineto
+356.144329 48.957965 lineto
+386.533061 41.769117 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.278637 lineto
+386.533061 57.202311 lineto
+356.144329 78.538645 lineto
+330.291229 96.945459 lineto
+316.230771 105.991277 lineto
+298.541808 55.455301 lineto
+275.410086 53.812665 lineto
+249.556986 46.138112 lineto
+221.889633 45.465122 lineto
+191.954465 45.850276 lineto
+160.658606 35.922721 lineto
+125.280680 33.236054 lineto
+88.542064 34.512353 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.900000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 34.512353 lineto
+125.280680 33.236054 lineto
+160.658606 35.922721 lineto
+191.954465 45.850276 lineto
+221.889633 45.465122 lineto
+249.556986 46.138112 lineto
+275.410086 53.812665 lineto
+298.541808 55.455301 lineto
+316.230771 105.991277 lineto
+330.291229 96.945459 lineto
+356.144329 78.538645 lineto
+386.533061 57.202311 lineto
+421.457425 42.278637 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.279519 lineto
+386.533061 57.202311 lineto
+356.144329 78.538645 lineto
+330.291229 96.945459 lineto
+316.230771 125.536500 lineto
+298.541808 83.504186 lineto
+275.410086 79.552981 lineto
+249.556986 69.332298 lineto
+221.889633 65.722732 lineto
+191.954465 63.020776 lineto
+160.658606 49.723863 lineto
+125.280680 43.050415 lineto
+88.542064 40.162351 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.400000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 40.162351 lineto
+125.280680 43.050415 lineto
+160.658606 49.723863 lineto
+191.954465 63.020776 lineto
+221.889633 65.722732 lineto
+249.556986 69.332298 lineto
+275.410086 79.552981 lineto
+298.541808 83.504186 lineto
+316.230771 125.536500 lineto
+330.291229 96.945459 lineto
+356.144329 78.538645 lineto
+386.533061 57.202311 lineto
+421.457425 42.279519 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.353610 lineto
+386.533061 58.459793 lineto
+356.144329 79.759964 lineto
+330.291229 97.497317 lineto
+316.230771 125.675567 lineto
+298.541808 138.035176 lineto
+275.410086 128.812658 lineto
+249.556986 111.126757 lineto
+221.889633 101.413535 lineto
+191.954465 91.637396 lineto
+160.658606 70.610949 lineto
+125.280680 55.169523 lineto
+88.542064 45.801764 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+1.000000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 45.801764 lineto
+125.280680 55.169523 lineto
+160.658606 70.610949 lineto
+191.954465 91.637396 lineto
+221.889633 101.413535 lineto
+249.556986 111.126757 lineto
+275.410086 128.812658 lineto
+298.541808 138.035176 lineto
+316.230771 125.675567 lineto
+330.291229 97.497317 lineto
+356.144329 79.759964 lineto
+386.533061 58.459793 lineto
+421.457425 42.353610 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 31.679269 lineto
+421.457425 42.353610 lineto
+386.533061 70.083200 lineto
+356.144329 103.293144 lineto
+330.291229 132.934977 lineto
+316.230771 172.460852 lineto
+298.541808 182.646548 lineto
+275.410086 169.982933 lineto
+249.556986 148.411390 lineto
+221.889633 133.790548 lineto
+191.954465 118.811600 lineto
+160.658606 93.317371 lineto
+125.280680 71.339506 lineto
+88.542064 55.072500 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.700000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 55.072500 lineto
+125.280680 71.339506 lineto
+160.658606 93.317371 lineto
+191.954465 118.811600 lineto
+221.889633 133.790548 lineto
+249.556986 148.411390 lineto
+275.410086 169.982933 lineto
+298.541808 182.646548 lineto
+316.230771 172.460852 lineto
+330.291229 132.934977 lineto
+356.144329 103.293144 lineto
+386.533061 70.083200 lineto
+421.457425 42.353610 lineto
+459.556730 31.679269 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 51.559663 lineto
+421.457425 63.454442 lineto
+386.533061 89.964183 lineto
+356.144329 123.181477 lineto
+330.291229 152.819782 lineto
+316.230771 341.486250 lineto
+298.541808 226.567291 lineto
+275.410086 210.440821 lineto
+249.556986 185.053905 lineto
+221.889633 166.048486 lineto
+191.954465 146.420940 lineto
+160.658606 117.332434 lineto
+125.280680 90.502222 lineto
+88.542064 65.399909 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.500000 setgray
+fill
+grestore
+stroke
+45.000000 20.000000 moveto
+45.000000 20.000000 lineto
+88.542064 65.399909 lineto
+125.280680 90.502222 lineto
+160.658606 117.332434 lineto
+191.954465 146.420940 lineto
+221.889633 166.048486 lineto
+249.556986 185.053905 lineto
+275.410086 210.440821 lineto
+298.541808 226.567291 lineto
+316.230771 341.486250 lineto
+330.291229 152.819782 lineto
+356.144329 123.181477 lineto
+386.533061 89.964183 lineto
+421.457425 63.454442 lineto
+459.556730 51.559663 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+476.338567 20.000000 lineto
+459.556730 51.559663 lineto
+421.457425 63.528532 lineto
+386.533061 140.979690 lineto
+356.144329 216.546240 lineto
+330.291229 287.298665 lineto
+316.230771 348.276126 lineto
+298.541808 382.000000 lineto
+275.410086 353.331635 lineto
+249.556986 315.505140 lineto
+221.889633 281.057412 lineto
+191.954465 246.046949 lineto
+160.658606 196.150446 lineto
+125.280680 147.445272 lineto
+88.542064 98.116209 lineto
+45.000000 20.000000 lineto
+closepath
+gsave
+0.800000 setgray
+fill
+grestore
+stroke
+84.542064 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+121.280680 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+156.658606 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+187.954465 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+217.889633 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+245.556986 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+271.410086 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+294.541808 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+312.230771 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+326.291229 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+352.144329 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+382.533061 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+417.457425 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+455.556730 20.000000 moveto
+4.000000 -4.000000 rlineto
+4.000000 4.000000 rlineto
+closepath
+gsave
+1.0 setgray
+fill
+grestore
+stroke
+showpage
+%%Trailer
+cleartomark
+countdictstack exch sub { end } repeat
+restore
+%%EOF