From 59fbb49965dce0f60c8f4f579e66f76189374262 Mon Sep 17 00:00:00 2001 From: crc <> Date: Wed, 30 Oct 2024 13:35:06 +0000 Subject: [PATCH] nga-python: fix dictionary lookups & update the embedded system image FossilOrigin-Name: 1a0ec29139576a86bda601bb6b891f7dbbc3f6643944cd4d9656ca9993a6b3b7 --- Configuration.mk | 6 +- vm/nga-python/InitialImage.py | 2515 ++++++++++++++++----------------- vm/nga-python/retro.py | 4 +- 3 files changed, 1214 insertions(+), 1311 deletions(-) diff --git a/Configuration.mk b/Configuration.mk index 366b396..852cde5 100644 --- a/Configuration.mk +++ b/Configuration.mk @@ -27,6 +27,9 @@ LIBDL ?= # ------------------------------------------------------------- +# If using the Python toolchain, remove the -DBIT64 from the +# OPTIONS + OPTIONS ?= #OPTIONS += -DBIT64 @@ -97,8 +100,7 @@ DEVICES += interface/descriptions.retro # ------------------------------------------------------------- GLOSSARY ?= ./bin/retro tools/glossary.retro -ASSEMBLE ?= ./tools/retro-muri.py -#EXTEND ?= ./tools/retro-extend.py +ASSEMBLE ?= ./bin/retro-muri EXTEND ?= ./bin/retro-extend EXPORT ?= ./bin/retro-embedimage RETRO ?= ./bin/retro diff --git a/vm/nga-python/InitialImage.py b/vm/nga-python/InitialImage.py index 69dd513..59d13ca 100644 --- a/vm/nga-python/InitialImage.py +++ b/vm/nga-python/InitialImage.py @@ -1,1316 +1,1217 @@ InitialImage = [ - 1793, 10506, 13976, 14019, 202110, 405, 377, 1150, 1535, 0, - 10, 1, 10, 2, 10, 3, 10, 4, 10, 5, - 10, 6, 10, 7, 10, 8, 10, 11, 10, 12, - 10, 13, 10, 14, 10, 15, 10, 16, 10, 17, - 10, 18, 10, 19, 10, 20, 10, 21, 10, 22, - 10, 23, 10, 24, 10, 25, 68223234, 1, 2575, 85000450, - 1, 656912, 3259, 3268, 268505089, 63, 62, 285281281, 0, 63, - 2063, 10, 101384453, 0, 9, 10, 68485378, 255, 18350338, 8, - 255, 1045, 18350338, 16, 255, 1045, 352393217, 24, 255, 10, - 268289, -24, 68229121, -16, 68229121, -8, 2577, 2049, 56, 25, - 459011, 97, 524546, 97, 302256641, 1, 10, 16974595, 0, 50529798, - 10, 25, 524547, 116, 50529798, 10, 17108738, 1, 251790353, 101777669, - 1, 17565186, 107, 524545, 111, 64, 167838467, -1, 134287105, 3, - 59, 659457, 3, 459023, 128, 2049, 56, 25, 2049, 128, - 1793, 135, 2049, 135, 117506307, 0, 128, 0, 524545, 26, - 133, 168820993, 0, 147, 1642241, 147, 134283523, 11, 133, 1793, - 128, 524545, 2049, 128, 1793, 128, 16846593, 147, 161, 178, - 1793, 64, 16846593, 147, 133, 178, 1793, 64, 7, 10, - 659713, 1, 659713, 2, 659713, 3, 659713, 4, 1793, 190, - 17108737, 3, 2, 524559, 128, 2049, 128, 2049, 128, 524545, - 0, 128, 2049, 142, 168820998, 2, 3243, 1150, 167841793, 206, - 9, 17826049, 0, 206, 2, 15, 25, 524546, 186, 134287105, - 207, 116, 2305, 208, 459023, 216, 134287361, 207, 211, 659201, - 206, 10, 659969, 7, 2049, 56, 25, 17694978, 58, 232, - 9, 84152833, 48, 319750404, 231, 117507601, 234, 184618754, 45, 25, - 16974851, -1, 168886532, 1, 134284289, 1, 247, 134284289, 0, 234, - 660227, 32, [2,0], 115, 105, 103, 105, 108, 58, 125, - 0, 285278479, 264, 6, 2576, 524546, 102, 1641217, 1, 167838467, - 261, 2049, 276, 2049, 272, 524545, 264, 226, 17826050, 263, - 0, 2572, 2563, 2049, 254, 1793, 154, 459023, 154, 1793, - 302, 17760513, 166, 3, 188, 8, 251727617, 3, 2, 2049, - 180, 16, 168820993, -1, 147, 2049, 180, 2575, 2049, 226, - 17563906, 0, 316, 9, 1793, 154, 285282049, 3, 2, 134287105, - 147, 313, 524545, 1793, 128, 16846593, 3, 0, 128, 8, - 659201, 3, 524545, 26, 133, 17043201, 3, 11, 2049, 133, - 2049, 128, 268505092, 147, 1642241, 147, 656131, 659201, 3, 524545, - 11, 133, 2049, 128, 459009, 23, 133, 459009, 55, 133, - 459009, 19, 133, 459009, 21, 133, 1793, 9, 10, 524546, - 180, 134284303, 182, 1807, 1150, 1642241, 263, 285282049, 385, 1, - 459012, 380, 117509889, 206, 380, 134287105, 385, 226, 16845825, 0, - 393, 377, 1793, 64, 1793, 407, 17826050, 385, 282, 8, - 117506305, 386, 396, 64, 2116, 11340, 11700, 11400, 13685, 13104, - 12432, 12402, 9603, 9801, 11514, 11413, 11110, 12528, 11948, 10302, - 13340, 9700, 13455, 12753, 10500, 10670, 12654, 13320, 11960, 13908, - 10088, 10605, 11865, 11025, 0, 2049, 226, 987393, 1, 1793, - 128, 524546, 483, 2049, 481, 2049, 481, 17891588, 2, 483, - 8, 17045505, -24, -16, 17043736, -8, 1118488, 1793, 128, 17043202, - 1, 169021201, 2049, 56, 25, 33883396, 101450758, 6404, 459011, 473, - 34668804, 2, 2049, 470, 524545, 415, 473, 302056196, 415, 659969, - 1, 0, 13, 172, 0, 100, 117, 112, 0, 492, - 15, 172, 0, 100, 114, 111, 112, 0, 500, 17, - 172, 0, 115, 119, 97, 112, 0, 509, 25, 172, - 0, 99, 97, [2,108], 0, 518, 27, 172, 0, 101, - 113, 63, 0, 527, 29, 172, 0, 45, 101, 113, - 63, 0, 535, 31, 172, 0, 108, 116, 63, 0, - 544, 33, 172, 0, 103, 116, 63, 0, 552, 35, - 172, 0, 102, 101, 116, 99, 104, 0, 560, 37, - 172, 0, 115, 116, 111, 114, 101, 0, 570, 39, - 172, 0, 43, 0, 580, 41, 172, 0, 45, 0, - 586, 43, 172, 0, 42, 0, 592, 45, 172, 0, - 47, 109, 111, 100, 0, 598, 47, 172, 0, 97, - 110, 100, 0, 607, 49, 172, 0, 111, 114, 0, - 615, 51, 172, 0, 120, 111, 114, 0, 622, 53, - 172, 0, 115, 104, 105, 102, 116, 0, 630, 371, - 178, 0, 112, 117, 115, 104, 0, 640, 374, 178, - 0, 112, 111, 112, 0, 649, 368, 178, 0, 48, - 59, 0, 657, 56, 166, 0, 102, 101, 116, 99, - 104, 45, 110, 101, 120, 116, 0, 664, 59, 166, - 0, 115, 116, 111, 114, 101, 45, 110, 101, 120, - 116, 0, 679, 254, 166, 0, 115, 58, 116, 111, - 45, 110, 117, 109, 98, 101, 114, 0, 694, 116, - 166, 0, 115, 58, 101, 113, 63, 0, 710, 102, - 166, 0, 115, 58, 108, 101, 110, 103, 116, 104, - 0, 720, 64, 166, 0, 99, 104, [2,111], 115, 101, - 0, 733, 74, 172, 0, 105, 102, 0, 744, 72, - 166, 0, 45, 105, 102, 0, 751, 293, 178, 0, - 115, 105, 103, 105, 108, 58, 40, 0, 759, 147, - 154, 0, 67, 111, 109, 112, 105, 108, 101, 114, - 0, 771, 3, 154, 0, 72, 101, 97, 112, 0, - 784, 128, 166, 0, 44, 0, 793, 142, 166, 0, - 115, 44, 0, 799, 148, 178, 0, 59, 0, 806, - 327, 178, 0, 91, 0, 812, 343, 178, 0, 93, - 0, 818, 2, 154, 0, 68, 105, 99, 116, 105, - 111, 110, 97, 114, 121, 0, 824, 179, 166, 0, - 100, 58, 108, 105, 110, 107, 0, 839, 180, 166, - 0, 100, 58, 120, 116, 0, 850, 182, 166, 0, - 100, 58, 99, 108, 97, [2,115], 0, 859, 186, 166, - 0, 100, 58, 110, 97, 109, 101, 0, 871, [2,166], - 0, 99, 108, 97, [2,115], 58, 119, 111, 114, 100, - 0, 882, 178, 166, 0, 99, 108, 97, [2,115], 58, - 109, 97, 99, 114, 111, 0, 897, 154, 166, 0, - 99, 108, 97, [2,115], 58, 100, 97, 116, 97, 0, - 913, 188, 166, 0, 100, 58, 97, [2,100], 45, 104, - 101, 97, 100, 101, 114, 0, 928, 294, 178, 0, - 115, 105, 103, 105, 108, 58, 35, 0, 945, 300, - 178, 0, 115, 105, 103, 105, 108, [2,58], 0, 957, - 319, 178, 0, 115, 105, 103, 105, 108, 58, 38, - 0, 969, 298, 178, 0, 115, 105, 103, 105, 108, - 58, 36, 0, 981, 358, 178, 0, 114, 101, 112, - 101, 97, 116, 0, 993, 360, 178, 0, 97, 103, - 97, 105, 110, 0, 1004, 405, 166, 0, 105, 110, - 116, 101, 114, 112, 114, 101, 116, 0, 1014, 226, - 166, 0, 100, 58, 108, [2,111], 107, 117, 112, 0, - 1028, 172, 166, 0, 99, 108, 97, [2,115], 58, 112, - 114, 105, 109, 105, 116, 105, 118, 101, 0, 1041, - 4, 154, 0, 86, 101, 114, 115, 105, 111, 110, - 0, 1061, 452, 166, 0, 105, 0, 1073, 128, 166, - 0, 100, 0, 1079, 446, 166, 0, 114, 0, 1085, - 231, 154, 0, 66, 97, 115, 101, 0, 1091, 90, - 166, 0, 112, 97, 99, 107, 0, 1100, 76, 166, - 0, 117, 110, 112, 97, 99, 107, 0, 1109, 184, - 166, 0, 100, 58, 115, 111, 117, 114, 99, 101, - 0, 1120, 377, 166, 0, 101, [2,114], 58, 110, 111, - 116, 102, 111, 117, 110, 100, 0, [2,125], 0, 111, - 114, 45, 101, 97, 99, 104, 0, 108, 101, 102, - 116, 0, 110, 103, 45, 119, 105, 116, 104, 0, - 116, 95, 102, 111, 117, 110, 100, 0, 126, 0, - 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, - 82, 83, 84, 85, 86, 87, 88, 89, 90, [333,0], - 1133, 1544, 166, 0, 69, 79, 77, 0, 1, -3, - 15, 10, 1536, 1558, 166, 0, 100, 101, 112, 116, - 104, 0, 1, -1, 15, 10, 1548, 1573, 166, 0, + 1793, 13735, 13812, 13827, 202410, 439, 411, 1601, 2048, 0, + 13789, 0, 10, 1, 10, 2, 10, 3, 10, 4, + 10, 5, 10, 6, 10, 7, 10, 8, 10, 11, + 10, 12, 10, 13, 10, 14, 10, 15, 10, 16, + 10, 17, 10, 18, 10, 19, 10, 20, 10, 21, + 10, 22, 10, 23, 10, 24, 10, 25, 68223234, 1, + 2575, 85000450, 1, 656912, 163, 180, 268505089, 65, 64, 285281281, + 0, 65, 2063, 10, 101384453, 0, 9, 10, 68485378, 255, + 18350338, 8, 255, 1045, 18350338, 16, 255, 1045, 352393217, 24, + 255, 10, 268289, -24, 68229121, -16, 68229121, -8, 2577, 2049, + 58, 25, 459011, 99, 524546, 99, 302256641, 1, 10, 16974595, + 0, 50529798, 10, 25, 524547, 118, 50529798, 10, 17108738, 1, + 251790353, 101777669, 1, 17565186, 109, 524545, 113, 66, 167838467, -1, + 134287105, 3, 61, 659457, 3, 459023, 130, 2049, 58, 25, + 2049, 130, 1793, 137, 2049, 137, 117506307, 0, 130, 0, + 524545, 28, 135, 168820993, 0, 149, 1642241, 149, 134283523, 13, + 135, 1793, 130, 524545, 2049, 130, 1793, 130, 16846593, 149, + 163, 180, 1793, 66, 16846593, 149, 135, 180, 1793, 66, + 7, 10, 659713, 1, 659713, 2, 659713, 3, 659713, 4, + 659713, 5, 659713, 6, 659713, 7, 659713, 8, 659713, 9, + 45, 0, 1793, 204, 17108737, 3, 2, 524559, 130, 2049, + 130, 2049, 130, 524545, 0, 130, 524545, 0, 130, 524545, + 0, 130, 524545, 200, 130, 524545, 200, 130, 524545, 0, + 130, 2049, 144, 1048838, 2, 1642241, 10, 7, 2748, 0, + 167841793, 238, 11, 17826049, 0, 238, 2, 15, 25, 524546, + 198, 134287105, 239, 118, 2305, 240, 459023, 248, [2,0], 134287361, + 239, 243, 659201, 238, 10, 659969, 7, 2049, 58, 25, + 17694978, 58, 266, 9, 84152833, 48, 319750404, 265, 117507601, 268, + 184618754, 45, 25, 16974851, -1, 168886532, 1, 134284289, 1, 281, + 134284289, 0, 268, 660227, 32, [2,0], 115, 105, 103, 105, + 108, 58, 99, 0, 285278479, 298, 6, 2576, 524546, 104, + 1641217, 1, 167838467, 295, 2049, 310, 2049, 306, 524545, 298, + 258, 17826050, 297, 0, 2572, 2563, 2049, 288, 1793, 156, + 459023, 156, 1793, 336, 17760513, 168, 3, 202, 8, 251727617, + 3, 2, 2049, 182, 16, 168820993, -1, 149, 2049, 182, + 2575, 2049, 258, 17563906, 0, 350, 9, 1793, 156, 285282049, + 3, 2, 134287105, 149, 347, 524545, 1793, 130, 16846593, 3, + 0, 130, 8, 659201, 3, 524545, 28, 135, 17043201, 3, + 13, 2049, 135, 2049, 130, 268505092, 149, 1642241, 149, 656131, + 659201, 3, 524545, 13, 135, 2049, 130, 459009, 25, 135, + 459009, 57, 135, 459009, 21, 135, 459009, 23, 135, 1793, + 13036, 10, 524546, 182, 134284303, 184, 1807, 1601, 1642241, 297, + 285282049, 419, 1, 459012, 414, 117509889, 238, 414, 134287105, 419, + 258, 16845825, 0, 427, 411, 1793, 66, 1793, 441, 17826050, + 419, 316, 8, 117506305, 420, 430, 66, 2116, 11340, 11700, + 11400, 13685, 13104, 12432, 12402, 9603, 9801, 11514, 11413, 11110, + 12528, 11948, 10302, 13340, 9700, 13455, 12753, 10500, 10670, 12654, + 13320, 11960, 13908, 10088, 10605, 11865, 11025, 0, 2049, 258, + 987393, 1, 1793, 130, 524546, 517, 2049, 515, 2049, 515, + 17891588, 2, 517, 8, 17045505, -24, -16, 17043736, -8, 1118488, + 1793, 130, 17043202, 1, 169021201, 2049, 58, 25, 33883396, 101450758, + 6404, 459011, 507, 34668804, 2, 2049, 504, 524545, 449, 507, + 302056196, 449, 659969, 1, 114, 101, 116, 114, 111, 46, + 109, 117, 114, 105, [2,0], 15, 174, 526, 193489870, 0, + [2,200], 0, 100, 117, 112, 0, 537, 17, 174, 526, + 2090195226, 0, [2,200], 0, 100, 114, 111, 112, 0, 550, + 19, 174, 526, 2090739264, 0, [2,200], 0, 115, 119, 97, + 112, 0, 564, 27, 174, 526, 2090140673, 0, [2,200], 0, + 99, 97, [2,108], 0, 578, 29, 174, 526, 193490778, 0, + [2,200], 0, 101, 113, 63, 0, 592, 31, 174, 526, + 2088204551, 0, [2,200], 0, 45, 101, 113, 63, 0, 605, + 33, 174, 526, 193498500, 0, [2,200], 0, 108, 116, 63, + 0, 619, 35, 174, 526, 193493055, 0, [2,200], 0, 103, + 116, 63, 0, 632, 37, 174, 526, 258875503, 0, [2,200], + 0, 102, 101, 116, 99, 104, 0, 645, 39, 174, + 526, 274826578, 0, [2,200], 0, 115, 116, 111, 114, 101, + 0, 660, 41, 174, 526, 177616, 0, [2,200], 0, 43, + 0, 675, 43, 174, 526, 177618, 0, [2,200], 0, 45, + 0, 686, 45, 174, 526, 177615, 0, [2,200], 0, 42, + 0, 697, 47, 174, 526, 2088285108, 0, [2,200], 0, 47, + 109, 111, 100, 0, 708, 49, 174, 526, 193486360, 0, + [2,200], 0, 97, 110, 100, 0, 722, 51, 174, 526, + 5863686, 0, [2,200], 0, 111, 114, 0, 735, 53, 174, + 526, 193511454, 0, [2,200], 0, 120, 111, 114, 0, 747, + 55, 174, 526, 274388419, 0, [2,200], 0, 115, 104, 105, + 102, 116, 0, 760, 405, 180, 526, 2090629861, 0, [2,200], + 0, 112, 117, 115, 104, 0, 775, 408, 180, 526, + 193502740, 0, [2,200], 0, 112, 111, 112, 0, 789, 402, + 180, 526, 5861552, 0, [2,200], 0, 48, 59, 0, 802, + 58, 168, 526, -1885660229, 0, [2,200], 0, 102, 101, 116, + 99, 104, 45, 110, 101, 120, 116, 0, 814, 61, + 168, 526, 1976567422, 0, [2,200], 0, 115, 116, 111, 114, + 101, 45, 110, 101, 120, 116, 0, 834, 288, 168, + 526, -2005311157, 0, [2,200], 0, 115, 58, 116, 111, 45, + 110, 117, 109, 98, 101, 114, 0, 854, 118, 168, + 526, 272731271, 0, [2,200], 0, 115, 58, 101, 113, 63, + 0, 875, 104, 168, 526, 289838292, 0, [2,200], 0, 115, + 58, 108, 101, 110, 103, 116, 104, 0, 890, 66, + 168, 526, -161057562, 0, [2,200], 0, 99, 104, [2,111], 115, + 101, 0, 908, 76, 174, 526, 5863476, 0, [2,200], 0, + 105, 102, 0, 924, 74, 168, 526, 193429569, 0, [2,200], + 0, 45, 105, 102, 0, 936, 327, 180, 526, -1801857825, + 0, [2,200], 0, 115, 105, 103, 105, 108, 58, 40, + 0, 949, 149, 156, 526, -1210660288, 0, [2,200], 0, 67, + 111, 109, 112, 105, 108, 101, 114, 0, 966, 3, + 156, 526, 2089174371, 0, [2,200], 0, 72, 101, 97, 112, + 0, 984, 130, 168, 526, 177617, 0, [2,200], 0, 44, + 0, 998, 144, 168, 526, 5863748, 0, [2,200], 0, 115, + 44, 0, 1009, 150, 180, 526, 177632, 0, [2,200], 0, + 59, 0, 1021, 361, 180, 526, 177664, 0, [2,200], 0, + 91, 0, 1032, 377, 180, 526, 177666, 0, [2,200], 0, + 93, 0, 1043, 2, 156, 526, 1264838491, 0, [2,200], 0, + 68, 105, 99, 116, 105, 111, 110, 97, 114, 121, + 0, 1054, 181, 168, 526, -176589039, 0, [2,200], 0, 100, + 58, 108, 105, 110, 107, 0, 1074, 182, 168, 526, + 2090134543, 0, [2,200], 0, 100, 58, 120, 116, 0, 1090, + 184, 168, 526, -1543050247, 0, [2,200], 0, 100, 58, 99, + 108, 97, [2,115], 0, 1104, 198, 168, 526, -176525916, 0, + [2,200], 0, 100, 58, 110, 97, 109, 101, 0, 1121, + [2,168], 526, 339514705, 0, [2,200], 0, 99, 108, 97, [2,115], + 58, 119, 111, 114, 100, 0, 1137, 180, 168, 526, + -1693294713, 0, [2,200], 0, 99, 108, 97, [2,115], 58, 109, + 97, 99, 114, 111, 0, 1157, 156, 168, 526, 338816719, + 0, [2,200], 0, 99, 108, 97, [2,115], 58, 100, 97, + 116, 97, 0, 1178, 202, 168, 526, -2097653054, 0, [2,200], + 0, 100, 58, 97, [2,100], 45, 104, 101, 97, 100, + 101, 114, 0, 1198, 328, 180, 526, -1801857830, 0, [2,200], + 0, 115, 105, 103, 105, 108, 58, 35, 0, 1220, + 334, 180, 526, -1801857807, 0, [2,200], 0, 115, 105, 103, + 105, 108, [2,58], 0, 1237, 353, 180, 526, -1801857827, 0, + [2,200], 0, 115, 105, 103, 105, 108, 58, 38, 0, + 1254, 332, 180, 526, -1801857829, 0, [2,200], 0, 115, 105, + 103, 105, 108, 58, 36, 0, 1271, 392, 180, 526, + 422440038, 0, [2,200], 0, 114, 101, 112, 101, 97, 116, + 0, 1288, 394, 180, 526, 252997285, 0, [2,200], 0, 97, + 103, 97, 105, 110, 0, 1304, 439, 168, 526, 314257922, + 0, [2,200], 0, 105, 110, 116, 101, 114, 112, 114, + 101, 116, 0, 1319, 258, 168, 526, 975220285, 0, [2,200], + 0, 100, 58, 108, [2,111], 107, 117, 112, 0, 1338, + 174, 168, 526, 1687271822, 0, [2,200], 0, 99, 108, 97, + [2,115], 58, 112, 114, 105, 109, 105, 116, 105, 118, + 101, 0, 1356, 4, 156, 526, -742861781, 0, [2,200], 0, + 86, 101, 114, 115, 105, 111, 110, 0, 1381, 486, + 168, 526, 177678, 0, [2,200], 0, 105, 0, 1398, 130, + 168, 526, 177673, 0, [2,200], 0, 100, 0, 1409, 480, + 168, 526, 177687, 0, [2,200], 0, 114, 0, 1420, 265, + 156, 526, 2088954976, 0, [2,200], 0, 66, 97, 115, 101, + 0, 1431, 92, 168, 526, 2090607556, 0, [2,200], 0, 112, + 97, 99, 107, 0, 1445, 78, 168, 526, 550515207, 0, + [2,200], 0, 117, 110, 112, 97, 99, 107, 0, 1459, + 186, 168, 526, 1249390676, 0, [2,200], 0, 100, 58, 115, + 111, 117, 114, 99, 101, 0, 1475, 188, 168, 526, + -176741337, 0, [2,200], 0, 100, 58, 104, 97, 115, 104, + 0, 1493, 190, 168, 526, -1523788551, 0, [2,200], 0, 100, + 58, 115, 116, 97, 99, 107, 0, 1509, 192, 168, + 526, 549642842, 0, [2,200], 0, 100, 58, 97, 115, 116, + 97, 99, 107, 0, 1526, 194, 168, 526, 745319807, 0, + [2,200], 0, 100, 58, 102, 115, 116, 97, 99, 107, + 0, 1544, 196, 168, 526, -1542096812, 0, [2,200], 0, 100, + 58, 100, 101, 115, 99, 114, 0, 1562, 411, 168, + 526, 933914805, 0, [2,200], 0, 101, [2,114], 58, 110, 111, + 116, 102, 111, 117, 110, 100, 0, 99, 111, 110, + 115, 116, [2,0], 115, 104, [2,0], 99, 116, 105, 111, + 110, 0, 95, 37, 110, 95, 70, 114, [2,101], 92, + 110, 0, 96, 123, 124, 125, 126, 0, 72, 73, + 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, + 84, 85, 86, 87, 88, 89, 90, [394,0], 1579, 2061, + 168, 0, 193454822, 0, [2,200], 0, 69, 79, 77, 0, + 1, -3, 15, 10, 2048, 2080, 168, 0, 256499866, 0, + [2,200], 0, 100, 101, 112, 116, 104, 0, 1, -1, + 15, 10, 2065, 2100, 168, 0, -176597577, 0, [2,200], 0, 100, 58, 108, 97, 115, 116, 0, 1, 2, 15, - 10, 1562, 1591, 166, 0, 100, 58, 108, 97, 115, - 116, 46, 120, 116, 0, 2049, 1573, 2049, 180, 15, - 10, 1577, 1614, 166, 0, 100, 58, 108, 97, 115, - 116, 46, 99, 108, 97, [2,115], 0, 2049, 1573, 2049, - 182, 15, 10, 1597, 1636, 166, 0, 100, 58, 108, - 97, 115, 116, 46, 110, 97, 109, 101, 0, 2049, - 1573, 2049, 186, 10, 1620, 1653, 166, 0, 114, 101, - 99, 108, 97, [2,115], 0, 2049, 1573, 2049, 182, 16, - 10, 1641, 1673, 166, 0, 105, [2,109], 101, 100, 105, - 97, 116, 101, 0, 1, 178, 2049, 1653, 10, 1659, - 1687, 166, 0, 100, 97, 116, 97, 0, 1, 154, - 2049, 1653, 10, 1678, 1706, 166, 0, 112, 114, 105, - 109, 105, 116, 105, 118, 101, 0, 1, 172, 2049, - 1653, 10, 1692, 1720, 178, 0, 104, [2,111], 107, 0, - 1, 1793, 2049, 128, 1, 3, 15, [2,1], 17, 2049, - 128, 10, 1711, 1746, 166, 0, 115, 101, 116, 45, - 104, [2,111], 107, 0, [2,1], 17, 16, 10, 1733, 1762, - 166, 0, 117, 110, 104, [2,111], 107, 0, [2,1], 17, - 2, [2,1], 17, 4, 16, 10, 1751, 1778, 178, 0, - 40, 0, 10, 1772, 1785, 178, 0, 41, 0, 10, - 1779, 1802, 166, 0, 99, 111, 109, 112, 105, 108, - 101, 58, 108, 105, 116, 0, [2,1], 2049, 128, 2049, - 128, 10, 1786, 1826, 166, 0, 99, 111, 109, 112, - 105, 108, 101, 58, 106, 117, 109, 112, 0, 1, - 1793, 2049, 128, 2049, 128, 10, 1809, 1850, 166, 0, + 10, 2084, 2123, 168, 0, 1574593009, 0, [2,200], 0, 100, + 58, 108, 97, 115, 116, 46, 120, 116, 0, 2049, + 2100, 2049, 182, 15, 10, 2104, 2151, 168, 0, -70242661, + 0, [2,200], 0, 100, 58, 108, 97, 115, 116, 46, + 99, 108, 97, [2,115], 0, 2049, 2100, 2049, 184, 15, + 10, 2129, 2178, 168, 0, 1039459334, 0, [2,200], 0, 100, + 58, 108, 97, 115, 116, 46, 110, 97, 109, 101, + 0, 2049, 2100, 2049, 198, 10, 2157, 2200, 168, 0, + 1040454034, 0, [2,200], 0, 114, 101, 99, 108, 97, [2,115], + 0, 2049, 2100, 2049, 184, 16, 10, 2183, 2225, 168, + 0, 178274228, 0, [2,200], 0, 105, [2,109], 101, 100, 105, + 97, 116, 101, 0, 1, 180, 2049, 2200, 10, 2206, + 2244, 168, 0, 2090176863, 0, [2,200], 0, 100, 97, 116, + 97, 0, 1, 156, 2049, 2200, 10, 2230, 2268, 168, + 0, -1234078178, 0, [2,200], 0, 112, 114, 105, 109, 105, + 116, 105, 118, 101, 0, 1, 174, 2049, 2200, 10, + 2249, 2287, 180, 0, 2090335702, 0, [2,200], 0, 104, [2,111], + 107, 0, 1, 1793, 2049, 130, 1, 3, 15, [2,1], + 17, 2049, 130, 10, 2273, 2318, 168, 0, 234850607, 0, + [2,200], 0, 115, 101, 116, 45, 104, [2,111], 107, 0, + [2,1], 17, 16, 10, 2300, 2339, 168, 0, 550243353, 0, + [2,200], 0, 117, 110, 104, [2,111], 107, 0, [2,1], 17, + 2, [2,1], 17, 4, 16, 10, 2323, 2360, 180, 0, + 177613, 0, [2,200], 0, 40, 0, 10, 2349, 2372, 180, + 0, 177614, 0, [2,200], 0, 41, 0, 10, 2361, 2394, + 168, 0, -898142575, 0, [2,200], 0, 99, 111, 109, 112, + 105, 108, 101, 58, 108, 105, 116, 0, [2,1], 2049, + 130, 2049, 130, 10, 2373, 2423, 168, 0, 426007172, 0, + [2,200], 0, 99, 111, 109, 112, 105, 108, 101, 58, + 106, 117, 109, 112, 0, 1, 1793, 2049, 130, 2049, + 130, 10, 2401, 2452, 168, 0, 425733796, 0, [2,200], 0, 99, 111, 109, 112, 105, 108, 101, 58, 99, 97, - [2,108], 0, 1, [2,2049], 128, 2049, 128, 10, 1833, 1873, - 166, 0, 99, 111, 109, 112, 105, 108, 101, 58, - 114, 101, 116, 0, 1, 10, 2049, 128, 10, 1857, - 1893, 166, 0, 99, 111, 109, 112, 105, 108, 105, - 110, 103, 63, 0, 1, 147, 15, 10, 1878, 1909, - 178, 0, 115, 105, 103, 105, 108, 58, 96, 0, - 2049, 254, 2049, 128, 10, 1897, 1926, 178, 0, 115, - 105, 103, 105, 108, 58, 92, 0, 2049, 452, 10, - 1914, 1941, 178, 0, 115, 105, 103, 105, 108, 58, - 94, 0, 2049, 446, 10, 1929, 1953, 166, 0, 104, - 101, 114, 101, 0, 1, 3, 15, 10, 1944, 1969, - 178, 0, 115, 105, 103, 105, 108, 58, 64, 0, - 2049, 226, 2049, 180, 15, 2049, 1893, 1793, 1985, 1, - 3841, 2049, 128, 2049, 128, 10, 1, 1978, 1793, 1991, - 15, 10, 1, 1989, 2049, 64, 10, 1957, 2008, 178, - 0, 115, 105, 103, 105, 108, 58, 33, 0, 2049, - 226, 2049, 180, 15, 2049, 1893, 1793, 2024, 1, 4097, - 2049, 128, 2049, 128, 10, 1, 2017, 1793, 2030, 16, - 10, 1, 2028, 2049, 64, 10, 1996, 2048, 166, 0, - 100, 58, 99, 114, 101, 97, 116, 101, 0, 1793, - 2050, 1, 154, 1, 0, 2049, 188, 2049, 1953, 2049, - 1573, 2049, 180, 16, 10, 2035, 2074, 166, 0, 118, - 97, 114, 45, 110, 0, 2049, 2048, 2049, 128, 10, - 2064, 2087, 166, 0, 118, 97, 114, 0, 134284289, 0, - 2074, 10, 2079, 2101, 166, 0, 99, 111, 110, 115, - 116, 0, 2049, 2048, 2049, 1573, 2049, 180, 16, 10, - 2091, 2118, 172, 0, 116, 117, 99, 107, 0, 100926722, - 10, 2109, 2129, 172, 0, 111, 118, 101, 114, 0, - 67502597, 10, 2120, 2139, 172, 0, 110, 105, 112, 0, - 772, 10, 2131, 2155, 172, 0, 100, 114, 111, 112, - 45, 112, 97, 105, 114, 0, 771, 10, 2141, 2166, - 172, 0, 63, 100, 117, 112, 0, 6402, 10, 2157, - 2181, 166, 0, 100, 117, 112, 45, 112, 97, 105, - 114, 0, [2,67502597], 10, 2168, 2192, 166, 0, 100, 105, - 112, 0, 525572, 6, 10, 2184, 2203, 166, 0, 115, - 105, 112, 0, 67502597, 1, 25, 2049, 2192, 10, 2195, - 2216, 166, 0, 98, 105, 0, 1, 2203, 2049, 2192, - 8, 10, 2209, 2230, 166, 0, 98, 105, 42, 0, - 1, 2192, 2049, 2192, 8, 10, 2222, 2244, 166, 0, - 98, 105, 64, 0, 2, 2049, 2230, 10, 2236, 2256, - 166, 0, 116, 114, 105, 0, 1793, 2265, 1, 2203, - 2049, 2192, 2049, 2203, 10, 1, 2258, 2049, 2192, 8, - 10, 2248, 2280, 166, 0, 116, 114, 105, 42, 0, - 1793, 2297, 1793, 2290, 4, 1, 2192, 2049, 2192, 10, - 1, 2284, 2049, 2192, 2049, 2192, 10, 1, 2282, 2049, - 2192, 8, 10, 2271, 2312, 166, 0, 116, 114, 105, - 64, 0, [2,2], 2049, 2280, 10, 2303, 2330, 166, 0, - 99, 108, 101, 97, 118, 101, 47, 50, 0, 2049, - 2216, 10, 2317, 2346, 166, 0, 99, 108, 101, 97, - 118, 101, 47, 51, 0, 2049, 2256, 10, 2333, 2362, - 166, 0, 115, 112, 114, 101, 97, 100, 47, 50, - 0, 2049, 2230, 10, 2349, 2378, 166, 0, 115, 112, - 114, 101, 97, 100, 47, 51, 0, 2049, 2280, 10, - 2365, 2393, 166, 0, 97, [2,112], 108, 121, 47, 50, - 0, 2049, 2244, 10, 2381, 2408, 166, 0, 97, [2,112], - 108, 121, 47, 51, 0, 2049, 2312, 10, 2396, 2421, - 166, 0, 119, 104, 105, 108, 101, 0, 1793, 2430, - 525570, 1639430, 3, 1, 2423, 7, 10, 1, 2423, 8, - 3, 10, 2411, 2445, 166, 0, 117, 110, 116, 105, - 108, 0, 1793, 2456, 525570, 385942534, -1, 25, 3, 1, - 2447, 7, 10, 1, 2447, 8, 3, 10, 2435, 2473, - 166, 0, 102, 111, 114, 101, 118, 101, 114, 0, - 1793, 2477, 8, 10, 1, 2475, 2049, 2203, 1, 2473, - 7, 10, 2461, 2495, 166, 0, 116, 105, 109, 101, - 115, 0, 1793, 2507, 4, 25, 33886721, 1, 2053, 1542, - 1, 2498, 7, 10, 1, 2497, 8, 3, 10, 2485, - 2524, 178, 0, 115, 105, 103, 105, 108, 58, 124, - 0, 2049, 226, 1793, 2532, 2049, 180, 15, 10, 1, - 2528, 1793, 2540, 2049, 182, 15, 10, 1, 2536, 2049, - 2216, 2049, 1893, 1793, 2555, 1, 154, 2049, 2192, 2049, - 1850, 10, 1, 2548, 1, 25, 2049, 64, 10, 2512, - 2571, 166, 0, 84, 82, 85, 69, 0, 1, -1, - 10, 2562, 2584, 166, 0, 70, 65, 76, 83, 69, - 0, 1, 0, 10, 2574, 2596, 166, 0, 99, 97, - 115, 101, 0, 1793, 2601, 67502597, 11, 10, 1, 2598, - 2049, 2192, 4, 1793, 2613, 772, 8, 2049, 2571, 10, - 1, 2608, 1793, 2621, 3, 2049, 2584, 10, 1, 2617, - 2049, 64, 25, 6, [2,3], 10, 2587, 2641, 166, 0, - 115, 58, 99, 97, 115, 101, 0, 1793, 2647, 67502597, - 2049, 116, 10, 1, 2643, 2049, 2192, 4, 1793, 2659, - 772, 8, 2049, 2571, 10, 1, 2654, 1793, 2667, 3, - 2049, 2584, 10, 1, 2663, 2049, 64, 25, 6, [2,3], - 10, 2630, 2684, 166, 0, 110, 111, 116, 0, 1, - -1, 23, 10, 2676, 2698, 166, 0, 108, 116, 101, - 113, 63, 0, 2049, 2181, 101516555, 22, 10, 2688, 2713, - 166, 0, 103, 116, 101, 113, 63, 0, 4, 2049, - 2698, 10, 2703, 2727, 166, 0, 110, 58, 77, 65, - 88, 0, 1, -5, 15, 10, 2717, 2741, 166, 0, - 110, 58, 77, 73, 78, 0, 1, -4, 15, 10, - 2731, 2757, 166, 0, 110, 58, 122, 101, 114, 111, - 63, 0, 1, 0, 11, 10, 2745, 2774, 166, 0, - 110, 58, 45, 122, 101, 114, 111, 63, 0, 1, - 0, 12, 10, 2761, 2794, 166, 0, 110, 58, 110, + [2,108], 0, 1, [2,2049], 130, 2049, 130, 10, 2430, 2480, + 168, 0, -898136173, 0, [2,200], 0, 99, 111, 109, 112, + 105, 108, 101, 58, 114, 101, 116, 0, 1, 10, + 2049, 130, 10, 2459, 2505, 168, 0, -1979274138, 0, [2,200], + 0, 99, 111, 109, 112, 105, 108, 105, 110, 103, + 63, 0, 1, 149, 15, 10, 2485, 2526, 180, 0, + -1801857769, 0, [2,200], 0, 115, 105, 103, 105, 108, 58, + 96, 0, 2049, 288, 2049, 130, 10, 2509, 2548, 180, + 0, -1801857773, 0, [2,200], 0, 115, 105, 103, 105, 108, + 58, 92, 0, 2049, 486, 10, 2531, 2568, 180, 0, + -1801857771, 0, [2,200], 0, 115, 105, 103, 105, 108, 58, + 94, 0, 2049, 480, 10, 2551, 2585, 168, 0, 2090324905, + 0, [2,200], 0, 104, 101, 114, 101, 0, 1, 3, + 15, 10, 2571, 2606, 180, 0, -1801857801, 0, [2,200], 0, + 115, 105, 103, 105, 108, 58, 64, 0, 2049, 258, + 2049, 182, 15, 2049, 2505, 1793, 2622, 1, 3841, 2049, + 130, 2049, 130, 10, 1, 2615, 1793, 2628, 15, 10, + 1, 2626, 2049, 66, 10, 2589, 2650, 180, 0, -1801857832, + 0, [2,200], 0, 115, 105, 103, 105, 108, 58, 33, + 0, 2049, 258, 2049, 182, 15, 2049, 2505, 1793, 2666, + 1, 4097, 2049, 130, 2049, 130, 10, 1, 2659, 1793, + 2672, 16, 10, 1, 2670, 2049, 66, 10, 2633, 2695, + 168, 0, 626189207, 0, [2,200], 0, 100, 58, 99, 114, + 101, 97, 116, 101, 0, 1793, 2697, 1, 156, 1, + 0, 2049, 202, 2049, 2585, 2049, 2100, 2049, 182, 16, + 10, 2677, 2726, 168, 0, 277702537, 0, [2,200], 0, 118, + 97, 114, 45, 110, 0, 2049, 2695, 2049, 130, 10, + 2711, 2744, 168, 0, 193508814, 0, [2,200], 0, 118, 97, + 114, 0, 134284289, 0, 2726, 10, 2731, 2763, 168, 0, + 255671116, 0, [2,200], 0, 99, 111, 110, 115, 116, 0, + 2049, 2695, 2049, 2100, 2049, 182, 16, 10, 2748, 2785, + 174, 0, 2090773084, 0, [2,200], 0, 116, 117, 99, 107, + 0, 100926722, 10, 2771, 2801, 174, 0, 2090594561, 0, [2,200], + 0, 111, 118, 101, 114, 0, 67502597, 10, 2787, 2816, + 174, 0, 193500364, 0, [2,200], 0, 110, 105, 112, 0, + 772, 10, 2803, 2837, 174, 0, 288947475, 0, [2,200], 0, + 100, 114, 111, 112, 45, 112, 97, 105, 114, 0, + 771, 10, 2818, 2853, 174, 0, 2088850509, 0, [2,200], 0, + 63, 100, 117, 112, 0, 6402, 10, 2839, 2873, 168, + 0, -59285433, 0, [2,200], 0, 100, 117, 112, 45, 112, + 97, 105, 114, 0, [2,67502597], 10, 2855, 2889, 168, 0, + 193489474, 0, [2,200], 0, 100, 105, 112, 0, 525572, 6, + 10, 2876, 2905, 168, 0, 193505809, 0, [2,200], 0, 115, + 105, 112, 0, 67502597, 1, 27, 2049, 2889, 10, 2892, + 2923, 168, 0, 5863248, 0, [2,200], 0, 98, 105, 0, + 1, 2905, 2049, 2889, 8, 10, 2911, 2942, 168, 0, + 193487226, 0, [2,200], 0, 98, 105, 42, 0, 1, 2889, + 2049, 2889, 8, 10, 2929, 2961, 168, 0, 193487248, 0, + [2,200], 0, 98, 105, 64, 0, 2, 2049, 2942, 10, + 2948, 2978, 168, 0, 193507188, 0, [2,200], 0, 116, 114, + 105, 0, 1793, 2987, 1, 2905, 2049, 2889, 2049, 2905, + 10, 1, 2980, 2049, 2889, 8, 10, 2965, 3007, 168, + 0, 2090769950, 0, [2,200], 0, 116, 114, 105, 42, 0, + 1793, 3024, 1793, 3017, 4, 1, 2889, 2049, 2889, 10, + 1, 3011, 2049, 2889, 2049, 2889, 10, 1, 3009, 2049, + 2889, 8, 10, 2993, 3044, 168, 0, 2090769972, 0, [2,200], + 0, 116, 114, 105, 64, 0, [2,2], 2049, 3007, 10, + 3030, 3064, 168, 0, 279132286, 0, [2,200], 0, 119, 104, + 105, 108, 101, 0, 1793, 3073, 525570, 1639430, 3, 1, + 3066, 7, 10, 1, 3066, 8, 3, 10, 3049, 3093, + 168, 0, 276987953, 0, [2,200], 0, 117, 110, 116, 105, + 108, 0, 1793, 3104, 525570, 385942534, -1, 25, 3, 1, + 3095, 7, 10, 1, 3095, 8, 3, 10, 3078, 3126, + 168, 0, -1163346114, 0, [2,200], 0, 102, 111, 114, 101, + 118, 101, 114, 0, 1793, 3130, 8, 10, 1, 3128, + 2049, 2905, 1, 3126, 7, 10, 3109, 3153, 168, 0, + 275614599, 0, [2,200], 0, 116, 105, 109, 101, 115, 0, + 1793, 3165, 4, 25, 33886721, 1, 2053, 1542, 1, 3156, + 7, 10, 1, 3155, 8, 3, 10, 3138, 3187, 180, + 0, -1801857741, 0, [2,200], 0, 115, 105, 103, 105, 108, + 58, 124, 0, 2049, 258, 1793, 3195, 2049, 182, 15, + 10, 1, 3191, 1793, 3203, 2049, 184, 15, 10, 1, + 3199, 2049, 2923, 2049, 2505, 1793, 3218, 1, 156, 2049, + 2889, 2049, 2452, 10, 1, 3211, 1, 27, 2049, 66, + 10, 3170, 3239, 168, 0, 2089584485, 0, [2,200], 0, 84, + 82, 85, 69, 0, 1, -1, 10, 3225, 3257, 168, + 0, 219588176, 0, [2,200], 0, 70, 65, 76, 83, 69, + 0, 1, 0, 10, 3242, 3274, 168, 0, 2090140897, 0, + [2,200], 0, 99, 97, 115, 101, 0, 1793, 3279, 67502597, + 11, 10, 1, 3276, 2049, 2889, 4, 1793, 3291, 772, + 8, 2049, 3239, 10, 1, 3286, 1793, 3299, 3, 2049, + 3257, 10, 1, 3295, 2049, 66, 25, 6, [2,3], 10, + 3260, 3324, 168, 0, 410109870, 0, [2,200], 0, 115, 58, + 99, 97, 115, 101, 0, 1793, 3330, 67502597, 2049, 118, + 10, 1, 3326, 2049, 2889, 4, 1793, 3342, 772, 8, + 2049, 3239, 10, 1, 3337, 1793, 3350, 3, 2049, 3257, + 10, 1, 3346, 2049, 66, 25, 6, [2,3], 10, 3308, + 3372, 168, 0, 193500566, 0, [2,200], 0, 110, 111, 116, + 0, 1, -1, 23, 10, 3359, 3391, 168, 0, 266514170, + 0, [2,200], 0, 108, 116, 101, 113, 63, 0, 2049, + 2873, 101516555, 22, 10, 3376, 3411, 168, 0, 260584565, 0, + [2,200], 0, 103, 116, 101, 113, 63, 0, 4, 2049, + 3391, 10, 3396, 3430, 168, 0, 266773971, 0, [2,200], 0, + 110, 58, 77, 65, 88, 0, 1, -5, 15, 10, + 3415, 3449, 168, 0, 266774225, 0, [2,200], 0, 110, 58, + 77, 73, 78, 0, 1, -4, 15, 10, 3434, 3470, + 168, 0, -1486229492, 0, [2,200], 0, 110, 58, 122, 101, + 114, 111, 63, 0, 1, 0, 11, 10, 3453, 3492, + 168, 0, -494948871, 0, [2,200], 0, 110, 58, 45, 122, + 101, 114, 111, 63, 0, 1, 0, 12, 10, 3474, + 3517, 168, 0, 1249353375, 0, [2,200], 0, 110, 58, 110, 101, 103, 97, 116, 105, 118, 101, 63, 0, 1, - 0, 13, 10, 2778, 2814, 166, 0, 110, 58, 112, - 111, 115, 105, 116, 105, 118, 101, 63, 0, 1, - -1, 14, 10, 2798, 2843, 166, 0, 110, 58, 115, - 116, 114, 105, 99, 116, 108, 121, 45, 112, 111, - 115, 105, 116, 105, 118, 101, 63, 0, 1, 0, - 14, 10, 2818, 2859, 166, 0, 110, 58, 101, 118, - 101, 110, 63, 0, 1, 2, 20, 3, 2049, 2757, - 10, 2847, 2877, 166, 0, 110, 58, 111, [2,100], 63, - 0, 2049, 2859, 2049, 2684, 10, 2866, 2890, 166, 0, - 105, 102, 59, 0, 67502597, 1, 74, 2049, 2192, 25, - 6, 771, 10, 2882, 2908, 166, 0, 45, 105, 102, - 59, 0, 67502597, 1, 72, 2049, 2192, 2049, 2684, 25, - 6, 771, 10, 2899, 2927, 172, 0, 114, 111, 116, - 0, 67503109, 10, 2919, 2935, 172, 0, 47, 0, 197652, - 10, 2929, 2945, 172, 0, 109, 111, 100, 0, 788, - 10, 2937, 2957, 166, 0, 110, 58, 112, 111, 119, - 0, [2,1], 4, 1793, 2965, 67502597, 19, 10, 1, 2962, - 2049, 2495, 772, 10, 2947, 2984, 166, 0, 110, 58, - 110, 101, 103, 97, 116, 101, 0, 1, -1, 19, - 10, 2971, 3001, 166, 0, 110, 58, 115, 113, 117, - 97, 114, 101, 0, 4866, 10, 2988, 3014, 166, 0, - 110, 58, 115, 113, 114, 116, 0, [2,1], 1793, 3032, - 2049, 2181, 197652, 67502597, 18, 1, 2, 197652, 25, 17, - 1, 3018, 7, 10, 1, 3018, 8, 772, 10, 3003, - 3047, 166, 0, 110, 58, 109, 105, 110, 0, 2049, - 2181, 13, 1793, 3054, 3, 10, 1, 3052, 1793, 3060, - 772, 10, 1, 3058, 2049, 64, 10, 3037, 3075, 166, - 0, 110, 58, 109, 97, 120, 0, 2049, 2181, 14, - 1793, 3082, 3, 10, 1, 3080, 1793, 3088, 772, 10, - 1, 3086, 2049, 64, 10, 3065, 3103, 166, 0, 110, - 58, 97, 98, 115, 0, 2, 2049, 2794, 1, 2984, - 9, 10, 3093, 3122, 166, 0, 110, 58, 108, 105, - 109, 105, 116, 0, 4, 5, 2049, 3047, 6, 2049, - 3075, 10, 3110, 3140, 166, 0, 110, 58, 105, 110, - 99, 0, 659713, 1, 10, 3130, 3153, 166, 0, 110, - 58, 100, 101, 99, 0, 659969, 1, 10, 3143, 3171, - 166, 0, 110, 58, 98, 101, 116, 119, [2,101], 110, - 63, 0, 67503109, 1793, 3179, [2,67503109], 2049, 3122, 10, 1, - 3174, 2049, 2203, 11, 10, 3156, 3199, 166, 0, 83, - 99, 111, 112, 101, 76, 105, 115, 116, 0, 13880, - 13933, 10, 3185, 3209, 166, 0, [2,123], 0, 2049, 1573, - 2, 1, 3199, 2049, 59, 16, 10, 3202, 3235, 166, - 0, [3,45], 114, 101, 118, 101, 97, 108, [3,45], 0, - 2049, 1573, 1, 3199, 2049, 3140, 16, 10, 3218, 3250, - 166, 0, [2,125], 0, 1, 3199, 2049, 56, 4, 15, - 11, 1793, 3264, 3841, 3199, 4097, 2, 10, 1, 3259, - 1793, 3290, 3841, 3199, 1793, 3285, 1, 2, 983567, 1, - 3199, 2049, 3140, 1641487, 3, 1, 3274, 7, 10, 1, - 3272, 8, 16, 10, 1, 3268, 2049, 64, 10, 3243, - 3304, 166, 0, 66, 121, 116, 101, 0, 10, 3295, - 3319, 166, 0, 98, 121, 116, 101, 45, 109, 97, + 0, 13, 10, 3496, 3542, 168, 0, 476508031, 0, [2,200], + 0, 110, 58, 112, 111, 115, 105, 116, 105, 118, + 101, 63, 0, 1, -1, 14, 10, 3521, 3576, 168, + 0, -1782398742, 0, [2,200], 0, 110, 58, 115, 116, 114, + 105, 99, 116, 108, 121, 45, 112, 111, 115, 105, + 116, 105, 118, 101, 63, 0, 1, 0, 14, 10, + 3546, 3597, 168, 0, -1510537094, 0, [2,200], 0, 110, 58, + 101, 118, 101, 110, 63, 0, 1, 2, 20, 3, + 2049, 3470, 10, 3580, 3620, 168, 0, 214866883, 0, [2,200], + 0, 110, 58, 111, [2,100], 63, 0, 2049, 3597, 2049, + 3372, 10, 3604, 3638, 168, 0, 193494767, 0, [2,200], 0, + 105, 102, 59, 0, 67502597, 1, 76, 2049, 2889, 25, + 6, 771, 10, 3625, 3661, 168, 0, 2088208540, 0, [2,200], + 0, 45, 105, 102, 59, 0, 67502597, 1, 74, 2049, + 2889, 2049, 3372, 25, 6, 771, 10, 3647, 3685, 174, + 0, 193504922, 0, [2,200], 0, 114, 111, 116, 0, 67503109, + 10, 3672, 3698, 174, 0, 177620, 0, [2,200], 0, 47, + 0, 197652, 10, 3687, 3713, 174, 0, 193499461, 0, [2,200], + 0, 109, 111, 100, 0, 788, 10, 3700, 3730, 168, + 0, 266813635, 0, [2,200], 0, 110, 58, 112, 111, 119, + 0, [2,1], 4, 1793, 3738, 67502597, 19, 10, 1, 3735, + 2049, 3153, 772, 10, 3715, 3762, 168, 0, 2024000897, 0, + [2,200], 0, 110, 58, 110, 101, 103, 97, 116, 101, + 0, 1, -1, 19, 10, 3744, 3784, 168, 0, -2060555330, + 0, [2,200], 0, 110, 58, 115, 113, 117, 97, 114, + 101, 0, 4866, 10, 3766, 3802, 168, 0, 215025303, 0, + [2,200], 0, 110, 58, 115, 113, 114, 116, 0, [2,1], + 1793, 3820, 2049, 2873, 197652, 67502597, 18, 1, 2, 197652, + 25, 17, 1, 3806, 7, 10, 1, 3806, 8, 772, + 10, 3786, 3840, 168, 0, 266810161, 0, [2,200], 0, 110, + 58, 109, 105, 110, 0, 2049, 2873, 13, 1793, 3847, + 3, 10, 1, 3845, 1793, 3853, 772, 10, 1, 3851, + 2049, 66, 10, 3825, 3873, 168, 0, 266809907, 0, [2,200], + 0, 110, 58, 109, 97, 120, 0, 2049, 2873, 14, + 1793, 3880, 3, 10, 1, 3878, 1793, 3886, 772, 10, + 1, 3884, 2049, 66, 10, 3858, 3906, 168, 0, 266796867, + 0, [2,200], 0, 110, 58, 97, 98, 115, 0, 2, + 2049, 3517, 1, 3762, 9, 10, 3891, 3930, 168, 0, + -1502694228, 0, [2,200], 0, 110, 58, 108, 105, 109, 105, + 116, 0, 4, 5, 2049, 3840, 6, 2049, 3873, 10, + 3913, 3953, 168, 0, 266805959, 0, [2,200], 0, 110, 58, + 105, 110, 99, 0, 659713, 1, 10, 3938, 3971, 168, + 0, 266800217, 0, [2,200], 0, 110, 58, 100, 101, 99, + 0, 659969, 1, 10, 3956, 3994, 168, 0, 1032861494, 0, + [2,200], 0, 110, 58, 98, 101, 116, 119, [2,101], 110, + 63, 0, 67503109, 1793, 4002, [2,67503109], 2049, 3930, 10, 1, + 3997, 2049, 2905, 11, 10, 3974, 4027, 168, 0, -2130983749, + 0, [2,200], 0, 83, 99, 111, 112, 101, 76, 105, + 115, 116, 0, 13114, 13530, 10, 4008, 4042, 168, 0, + 5864091, 0, [2,200], 0, [2,123], 0, 2049, 2100, 2, 1, + 4027, 2049, 61, 16, 10, 4030, 4073, 168, 0, -1644352334, + 0, [2,200], 0, [3,45], 114, 101, 118, 101, 97, 108, + [3,45], 0, 2049, 2100, 1, 4027, 2049, 3953, 16, 10, + 4051, 4093, 168, 0, 5864159, 0, [2,200], 0, [2,125], 0, + 1, 4027, 2049, 58, 4, 15, 11, 1793, 4107, 3841, + 4027, 4097, 2, 10, 1, 4102, 1793, 4133, 3841, 4027, + 1793, 4128, 1, 2, 983567, 1, 4027, 2049, 3953, 1641487, + 3, 1, 4117, 7, 10, 1, 4115, 8, 16, 10, + 1, 4111, 2049, 66, 10, 4081, 4152, 168, [3,0], [2,200], + 0, 66, 121, 116, 101, 0, 10, 4138, 4172, 168, + [3,0], [2,200], 0, 98, 121, 116, 101, 45, 109, 97, 115, 107, 0, 1, 255, 4, 1, 8, 19, 2, - 1793, 3333, 2049, 2984, 24, 21, 10, 1, 3328, 2049, - 2192, 24, 10, 3305, 3351, 166, 0, 114, 101, 112, - 108, 97, 99, 101, 0, 1, 0, 1793, 3380, 1793, - 3375, 1793, 3370, 1793, 3365, 3, 3841, 3304, 10, 1, - 3361, 2049, 2192, 10, 1, 3359, 2049, 2192, 10, 1, - 3357, 2049, 2192, 10, 1, 3355, 2049, 2596, [2,1], 1793, - 3406, 1793, 3401, 1793, 3396, 3, 3841, 3304, 10, 1, - 3392, 2049, 2192, 10, 1, 3390, 2049, 2192, 10, 1, - 3388, 2049, 2596, 1, 2, 1793, 3425, 1793, 3420, 3, - 3841, 3304, 10, 1, 3416, 2049, 2192, 10, 1, 3414, - 2049, 2596, 1, 3, 1793, 3437, 3, 3841, 3304, 10, - 1, 3433, 2049, 2596, 3, 10, 3243, 3465, 166, 0, - 98, 58, 116, 111, 45, 98, 121, 116, 101, 45, - 97, [2,100], 114, 101, [2,115], 0, 1, 4, 19, 10, - 3443, 3481, 166, 0, 98, 58, 102, 101, 116, 99, - 104, 0, 1, 4, 20, 4, 1, 4, 20, 67503109, - 17, 15, 4, 2049, 3319, 10, 3469, 3507, 166, 0, - 98, 58, 115, 116, 111, 114, 101, 0, 4, 4097, - 3304, 1, 4, 20, 4, 1793, 3521, 2, 15, 2049, - 76, 10, 1, 3516, 2049, 2192, 2049, 3351, 2049, 90, - 4, 16, 10, 3495, 3544, 166, 0, 104, 58, 102, - 101, 116, 99, 104, 0, 1793, 3549, 2049, 3481, 10, - 1, 3546, 1793, 3561, 2049, 3140, 2049, 3481, 1, -8, - 24, 10, 1, 3553, 2049, 2216, 22, 10, 3532, 3579, - 166, 0, 104, 58, 115, 116, 111, 114, 101, 0, - 2049, 2181, 1793, 3587, 1, 255, 21, 10, 1, 3583, - 2049, 2192, 2049, 3507, 2049, 3140, 1793, 3604, 1, 8, - 24, 1, 255, 21, 10, 1, 3597, 2049, 2192, 2049, - 3507, 10, 3567, 3623, 166, 0, 119, 58, 102, 101, - 116, 99, 104, 0, 1, 4, 197652, 15, 10, 3611, - 3640, 166, 0, 119, 58, 115, 116, 111, 114, 101, - 0, 1, 4, 197652, 16, 10, 3628, 3658, 166, 0, - 118, 58, 105, 110, 99, 45, 98, 121, 0, 1793, - 3662, 4367, 10, 1, 3660, 2049, 2203, 16, 10, 3645, - 3681, 166, 0, 118, 58, 100, 101, 99, 45, 98, - 121, 0, 1793, 3685, 1180687, 10, 1, 3683, 2049, 2203, - 16, 10, 3668, 3701, 166, 0, 118, 58, 105, 110, - 99, 0, [2,1], 4, 2049, 3658, 10, 3691, 3717, 166, - 0, 118, 58, 100, 101, 99, 0, [2,1], 4, 2049, - 3681, 10, 3707, 3735, 166, 0, 118, 58, 108, 105, - 109, 105, 116, 0, 251790597, 1542, 2049, 3122, 4100, 10, - 3723, 3750, 166, 0, 118, 58, 111, 110, 0, 2049, - 2571, 4100, 10, 3741, 3764, 166, 0, 118, 58, 111, - [2,102], 0, 2049, 2584, 4100, 10, 3754, 3778, 166, 0, - 97, [2,108], 111, 116, 0, 1, 3, 2049, 3658, 10, - 3768, 3798, 166, 0, 118, 58, 112, 114, 101, 115, - 101, 114, 118, 101, 0, 983556, 1793, 3806, 1, 25, - 2049, 2192, 10, 1, 3801, 2049, 2192, 4100, 10, 3783, - 3825, 166, 0, 118, 58, 117, 112, 100, 97, 116, - 101, 0, 4, 1793, 3832, 15, 4, 8, 10, 1, - 3828, 2049, 2203, 16, 10, 3812, 3847, 166, 0, 99, - 111, 112, 121, 0, 1793, 3856, 285278725, 1, 33951492, 268767489, - 1, 6, 10, 1, 3849, 2049, 2495, 771, 10, 3838, - 3872, 154, 0, 115, 116, 97, 114, 116, [2,0], 10, - 3862, 3882, 154, 0, 101, 110, 100, [2,0], 10, 3874, - 3898, 166, 0, 116, 101, 114, 109, 105, 110, 97, - 116, 101, 0, 1, 0, 3841, 3882, 16, 10, 3838, - 3921, 166, 0, 98, 117, [2,102], 101, 114, 58, 115, - 116, 97, 114, 116, 0, 3841, 3872, 10, 3904, 3939, - 166, 0, 98, 117, [2,102], 101, 114, 58, 101, 110, - 100, 0, 3841, 3882, 10, 3924, 3957, 166, 0, 98, - 117, [2,102], 101, 114, 58, 97, [2,100], 0, 3841, 3882, - 16, 1, 3882, 2049, 3701, 2049, 3898, 10, 3942, 3982, - 166, 0, 98, 117, [2,102], 101, 114, 58, 103, 101, - 116, 0, 1, 3882, 2049, 3717, 3841, 3882, 15, 2049, - 3898, 10, 3967, 4009, 166, 0, 98, 117, [2,102], 101, - 114, 58, 101, 109, 112, 116, 121, 0, 3841, 3872, - 4097, 3882, 2049, 3898, 10, 3992, 4032, 166, 0, 98, - 117, [2,102], 101, 114, 58, 115, 105, 122, 101, 0, - 3841, 3882, 3841, 3872, 18, 10, 4016, 4053, 166, 0, - 98, 117, [2,102], 101, 114, 58, 115, 101, 116, 0, - 4097, 3872, 2049, 4009, 10, 4038, 4078, 166, 0, 98, - 117, [2,102], 101, 114, 58, 112, 114, 101, 115, 101, - 114, 118, 101, 0, 3841, 3872, 3841, 3882, 1793, 4091, - 1, 25, 2049, 2192, 4097, 3872, 10, 1, 4084, 2049, - 2192, 4097, 3882, 10, 4058, 4114, 154, 0, 84, 101, - 109, 112, 83, 116, 114, 105, 110, 103, 115, 0, - 32, 4098, 4133, 154, 0, 84, 101, 109, 112, 83, + 1793, 4186, 2049, 3762, 24, 21, 10, 1, 4181, 2049, + 2889, 24, 10, 4153, 4209, 168, [3,0], [2,200], 0, 114, + 101, 112, 108, 97, 99, 101, 0, 1, 0, 1793, + 4238, 1793, 4233, 1793, 4228, 1793, 4223, 3, 3841, 4152, + 10, 1, 4219, 2049, 2889, 10, 1, 4217, 2049, 2889, + 10, 1, 4215, 2049, 2889, 10, 1, 4213, 2049, 3274, + [2,1], 1793, 4264, 1793, 4259, 1793, 4254, 3, 3841, 4152, + 10, 1, 4250, 2049, 2889, 10, 1, 4248, 2049, 2889, + 10, 1, 4246, 2049, 3274, 1, 2, 1793, 4283, 1793, + 4278, 3, 3841, 4152, 10, 1, 4274, 2049, 2889, 10, + 1, 4272, 2049, 3274, 1, 3, 1793, 4295, 3, 3841, + 4152, 10, 1, 4291, 2049, 3274, 3, 10, 4081, 4328, + 168, 0, 1181794872, 0, [2,200], 0, 98, 58, 116, 111, + 45, 98, 121, 116, 101, 45, 97, [2,100], 114, 101, + [2,115], 0, 4865, 4, 10, 4301, 4348, 168, 0, 172307467, + 0, [2,200], 0, 98, 58, 102, 101, 116, 99, 104, + 0, 267265, 4, 134288385, 4, 3685, 266001, 2049, 4172, 10, + 4331, 4374, 168, 0, 188258542, 0, [2,200], 0, 98, 58, + 115, 116, 111, 114, 101, 0, 1048836, 4152, 267265, 4, + 1793, 4383, 134287106, 78, 10, 1, 4380, 2049, 2889, 2049, + 4209, 2049, 92, 4, 16, 10, 4357, 4411, 168, 0, + -668819311, 0, [2,200], 0, 104, 58, 102, 101, 116, 99, + 104, 0, 1, 4348, 1793, 4423, 2049, 3953, 2049, 4348, + 1, -8, 24, 10, 1, 4415, 2049, 2923, 22, 10, + 4394, 4446, 168, 0, -652868236, 0, [2,200], 0, 104, 58, + 115, 116, 111, 114, 101, 0, 2049, 2873, 102039813, 255, + 2049, 4374, 2049, 3953, 18350341, 8, 255, 117507605, 4374, 10, + 4429, 4477, 168, 0, 1523331040, 0, [2,200], 0, 119, 58, + 102, 101, 116, 99, 104, 0, 1, 4, 197652, 15, + 10, 4460, 4499, 168, 0, 1539282115, 0, [2,200], 0, 119, + 58, 115, 116, 111, 114, 101, 0, 1, 4, 197652, + 16, 10, 4482, 4526, 168, 0, -1431209524, 0, [2,200], 0, + 119, 58, 102, 101, 116, 99, 104, 45, 110, 101, + 120, 116, 0, 2, 1, 4, 17, 4, 2049, 4477, + 10, 4504, 4556, 168, 0, -865140451, 0, [2,200], 0, 104, + 58, 102, 101, 116, 99, 104, 45, 110, 101, 120, + 116, 0, 2, 1, 2, 17, 4, 2049, 4411, 10, + 4534, 4586, 168, 0, -1497706281, 0, [2,200], 0, 98, 58, + 102, 101, 116, 99, 104, 45, 110, 101, 120, 116, + 0, 2, [2,1], 17, 4, 2049, 4348, 10, 4564, 4616, + 168, 0, -1863949169, 0, [2,200], 0, 119, 58, 115, 116, + 111, 114, 101, 45, 110, 101, 120, 116, 0, 2, + 1, 4, 17, 1, 4499, 2049, 2889, 10, 4594, 4647, + 168, 0, -1297880096, 0, [2,200], 0, 104, 58, 115, 116, + 111, 114, 101, 45, 110, 101, 120, 116, 0, 2, + 1, 2, 17, 1, 4446, 2049, 2889, 10, 4625, 4678, + 168, 0, -1930445926, 0, [2,200], 0, 98, 58, 115, 116, + 111, 114, 101, 45, 110, 101, 120, 116, 0, 2, + [2,1], 17, 1, 4374, 2049, 2889, 10, 4656, 4705, 168, + 0, -811043593, 0, [2,200], 0, 118, 58, 105, 110, 99, + 45, 98, 121, 0, 286196994, 659462, 10, 4687, 4726, 168, + 0, -1017393847, 0, [2,200], 0, 118, 58, 100, 101, 99, + 45, 98, 121, 0, 68093186, 168822290, 10, 4708, 4744, 168, + 0, 276293327, 0, [2,200], 0, 118, 58, 105, 110, 99, + 0, [2,1], 4, 2049, 4705, 10, 4729, 4765, 168, 0, + 276287585, 0, [2,200], 0, 118, 58, 100, 101, 99, 0, + [2,1], 4, 2049, 4726, 10, 4750, 4788, 168, 0, 239114932, + 0, [2,200], 0, 118, 58, 108, 105, 109, 105, 116, + 0, 251790597, 1542, 2049, 3930, 4100, 10, 4771, 4808, 168, + 0, 2090781106, 0, [2,200], 0, 118, 58, 111, 110, 0, + 2049, 3239, 4100, 10, 4794, 4827, 168, 0, 276299600, 0, + [2,200], 0, 118, 58, 111, [2,102], 0, 2049, 3257, 4100, + 10, 4812, 4846, 168, 0, 253189153, 0, [2,200], 0, 97, + [2,108], 111, 116, 0, 1, 3, 2049, 4705, 10, 4831, + 4871, 168, 0, 250474337, 0, [2,200], 0, 118, 58, 112, + 114, 101, 115, 101, 114, 118, 101, 0, 84869636, 1, + 27, 2049, 2889, 1049606, 10, 4851, 4896, 168, 0, -338953896, + 0, [2,200], 0, 118, 58, 117, 112, 100, 97, 116, + 101, 0, 4, 1793, 4903, 15, 4, 8, 10, 1, + 4899, 2049, 2905, 16, 10, 4878, 4923, 168, 0, 2090156064, + 0, [2,200], 0, 99, 111, 112, 121, 0, 1793, 4932, + 285278725, 1, 33951492, 268767489, 1, 6, 10, 1, 4925, 2049, + 3153, 771, 10, 4909, 4953, 156, [3,0], [2,200], 0, 115, + 116, 97, 114, 116, [2,0], 10, 4938, 4968, 156, [3,0], + [2,200], 0, 101, 110, 100, [2,0], 10, 4955, 4989, 168, + [3,0], [2,200], 0, 116, 101, 114, 109, 105, 110, 97, + 116, 101, 0, 1, 0, 3841, 4968, 16, 10, 4909, + 5017, 168, 0, 470531271, 0, [2,200], 0, 98, 117, [2,102], + 101, 114, 58, 115, 116, 97, 114, 116, 0, 3841, + 4953, 10, 4995, 5040, 168, 0, -1068395248, 0, [2,200], 0, + 98, 117, [2,102], 101, 114, 58, 101, 110, 100, 0, + 3841, 4968, 10, 5020, 5063, 168, 0, -1068399934, 0, [2,200], + 0, 98, 117, [2,102], 101, 114, 58, 97, [2,100], 0, + 3841, 4968, 16, 1, 4968, 2049, 4744, 2049, 4989, 10, + 5043, 5093, 168, 0, -1068393351, 0, [2,200], 0, 98, 117, + [2,102], 101, 114, 58, 103, 101, 116, 0, 1, 4968, + 2049, 4765, 3841, 4968, 15, 2049, 4989, 10, 5073, 5125, + 168, 0, 453693224, 0, [2,200], 0, 98, 117, [2,102], 101, + 114, 58, 101, 109, 112, 116, 121, 0, 3841, 4953, + 4097, 4968, 2049, 4989, 10, 5103, 5153, 168, 0, -896806316, + 0, [2,200], 0, 98, 117, [2,102], 101, 114, 58, 115, + 105, 122, 101, 0, 3841, 4968, 3841, 4953, 18, 10, + 5132, 5179, 168, 0, -1068380283, 0, [2,200], 0, 98, 117, + [2,102], 101, 114, 58, 115, 101, 116, 0, 4097, 4953, + 2049, 5125, 10, 5159, 5209, 168, 0, -1235887835, 0, [2,200], + 0, 98, 117, [2,102], 101, 114, 58, 112, 114, 101, + 115, 101, 114, 118, 101, 0, 3841, 4953, 3841, 4968, + 1793, 5222, 1, 27, 2049, 2889, 4097, 4953, 10, 1, + 5215, 2049, 2889, 4097, 4968, 10, 5184, 5250, 156, 0, + 1204567429, 0, [2,200], 0, 84, 101, 109, 112, 83, 116, + 114, 105, 110, 103, 115, 0, 32, 5229, 5274, 156, + 0, 1808866840, 0, [2,200], 0, 84, 101, 109, 112, 83, 116, 114, 105, 110, 103, 77, 97, 120, 0, 512, - 4115, 4146, 166, 0, 83, 84, 82, 73, 78, 71, - 83, 0, 2049, 1544, 3841, 4114, 3841, 4133, 19, 18, - 10, 4134, 4167, 154, 0, 67, 117, [2,114], 101, 110, - 116, 0, 29, 10, 4155, 4183, 166, 0, 115, 58, - 112, 111, 105, 110, 116, 101, 114, 0, 3841, 4167, - 3841, 4133, 19, 2049, 4146, 17, 10, 4169, 4203, 166, - 0, 115, 58, 110, 101, 120, 116, 0, 1, 4167, - 2049, 3701, 3841, 4167, 3841, 4114, 11, 1793, 4219, 1, - 0, 4097, 4167, 10, 1, 4214, 9, 10, 4134, 4234, - 166, 0, 115, 58, 116, 101, 109, 112, 0, 2, - 2049, 102, 2049, 3140, 2049, 4183, 4, 2049, 3847, 2049, - 4183, 2049, 4203, 10, 4223, 4261, 166, 0, 115, 58, - 101, 109, 112, 116, 121, 0, 2049, 4183, 2049, 4203, - 1, 0, 67502597, 16, 10, 4249, 4281, 166, 0, 115, - 58, 115, 107, 105, 112, 0, 6, 1793, 4289, 68223234, - 1, 786703, 0, 10, 1, 4284, 2049, 2421, 2049, 3153, - 5, 10, 4270, 4308, 166, 0, 115, 58, 107, [2,101], - 112, 0, 2049, 1893, 1793, 4317, 1, 4281, 2049, 1850, - 10, 1, 4312, 9, 2049, 1953, 1, 142, 2049, 2192, - 2049, 154, 10, 4297, 4341, 178, 0, 115, 105, 103, - 105, 108, 58, 39, 0, 2049, 1893, 1, 4308, 1, - 4234, 2049, 64, 10, 4329, 4362, 166, 0, 115, 58, - 102, 101, 116, 99, 104, 0, 17, 15, 10, 4350, - 4377, 166, 0, 115, 58, 115, 116, 111, 114, 101, - 0, 17, 16, 10, 4365, 4391, 166, 0, 115, 58, - 99, 104, 111, 112, 0, 2049, 4234, 2, 2049, 102, - 67502597, 17, 2049, 3153, 1, 0, 4, 16, 10, 4380, - 4419, 166, 0, 115, 58, 114, 101, 118, 101, 114, - 115, 101, 0, 1793, 4461, 2, 2049, 4234, 2049, 4053, - 1, 102, 1793, 4437, 2, 2049, 102, 17, 2049, 3153, - 10, 1, 4430, 2049, 2216, 4, 1793, 4451, 2, 15, - 2049, 3957, 2049, 3153, 10, 1, 4444, 2049, 2495, 3, - 2049, 3921, 2049, 4234, 10, 1, 4421, 2049, 4078, 10, - 4405, 4480, 166, 0, 115, 58, 112, 114, 101, 112, - 101, 110, 100, 0, 2049, 4234, 1793, 4504, 2, 2049, - 102, 17, 1793, 4496, 2, 2049, 102, 2049, 3140, 10, - 1, 4490, 2049, 2192, 4, 2049, 3847, 10, 1, 4484, - 2049, 2203, 10, 4466, 4522, 166, 0, 115, 58, 97, - [2,112], 101, 110, 100, 0, 4, 2049, 4480, 10, 4509, - 4541, 166, 0, 115, 58, 102, 111, 114, 45, 101, - 97, 99, 104, 0, 1793, 4556, 67502597, 6415, 3, [2,67502597], - 251987205, 2054, 101777670, [2,1], 4543, 7, 10, 1, 4543, 8, - 771, 10, 4526, 4578, 166, 0, 115, 58, 105, 110, - 100, 101, 120, 47, 99, 104, 97, 114, 0, 4, - 1793, 4592, 68223234, 1, 6415, 33883396, 101450758, 6404, 3, 1, - 4581, 7, 10, 1, 4581, 1793, 4601, 18, 2049, 3153, - 772, 10, 1, 4596, 1793, 4610, 2049, 102, 67502597, 11, - 10, 1, 4605, 2049, 2256, 1793, 4620, 3, 1, -1, - 10, 1, 4616, 9, 10, 4561, 4645, 166, 0, 115, + 5251, 5292, 168, 0, -1027089649, 0, [2,200], 0, 83, 84, + 82, 73, 78, 71, 83, 0, 2049, 2061, 3841, 5250, + 3841, 5274, 19, 18, 10, 5275, 5322, 168, 0, -1748767096, + 0, [2,200], 0, 115, 58, 111, 118, 101, 114, 115, + 105, 122, 101, 63, 0, 2049, 104, 3841, 5274, 2049, + 3971, 14, 10, 5301, 5350, 168, 0, -657703496, 0, [2,200], + 0, 115, 58, 116, 114, 117, 110, 99, 97, 116, + 101, 0, 2, 2049, 5322, 1793, 5363, 1, 0, 67502597, + 3841, 5274, 17, 16, 10, 1, 5355, 9, 10, 5330, + 5384, 156, [3,0], [2,200], 0, 67, 117, [2,114], 101, 110, + 116, 0, 14, 10, 5367, 5405, 168, [3,0], [2,200], 0, + 115, 58, 112, 111, 105, 110, 116, 101, 114, 0, + 3841, 5384, 3841, 5274, 19, 2049, 5292, 17, 10, 5386, + 5430, 168, [3,0], [2,200], 0, 115, 58, 110, 101, 120, + 116, 0, 1, 5384, 2049, 4744, 3841, 5384, 3841, 5250, + 11, 1793, 5446, 1, 0, 4097, 5384, 10, 1, 5441, + 9, 10, 5330, 5466, 168, 0, 410724968, 0, [2,200], 0, + 115, 58, 116, 101, 109, 112, 0, 2049, 5350, 2, + 2049, 104, 2049, 3953, 2049, 5405, 4, 2049, 4923, 2049, + 5405, 2049, 5430, 10, 5450, 5500, 168, 0, 651524257, 0, + [2,200], 0, 115, 58, 101, 109, 112, 116, 121, 0, + 2049, 5405, 2049, 5430, 1, 0, 67502597, 16, 10, 5483, + 5525, 168, 0, 410695433, 0, [2,200], 0, 115, 58, 115, + 107, 105, 112, 0, 6, 1793, 5533, 68223234, 1, 786703, + 0, 10, 1, 5528, 2049, 3064, 2049, 3971, 5, 10, + 5509, 5557, 168, 0, 410401271, 0, [2,200], 0, 115, 58, + 107, [2,101], 112, 0, 2049, 2505, 1793, 5566, 1, 5525, + 2049, 2452, 10, 1, 5561, 9, 2049, 2585, 1, 144, + 2049, 2889, 2049, 156, 10, 5541, 5595, 180, 0, -1801857826, + 0, [2,200], 0, 115, 105, 103, 105, 108, 58, 39, + 0, 2049, 2505, 1, 5557, 1, 5466, 2049, 66, 10, + 5578, 5621, 168, 0, 652426460, 0, [2,200], 0, 115, 58, + 102, 101, 116, 99, 104, 0, 17, 15, 10, 5604, + 5641, 168, 0, 668377535, 0, [2,200], 0, 115, 58, 115, + 116, 111, 114, 101, 0, 17, 16, 10, 5624, 5660, + 168, 0, 410117372, 0, [2,200], 0, 115, 58, 99, 104, + 111, 112, 0, 2049, 5466, 2, 2049, 104, 67502597, 17, + 2049, 3971, 1, 0, 4, 16, 10, 5644, 5693, 168, + 0, 143016046, 0, [2,200], 0, 115, 58, 114, 101, 118, + 101, 114, 115, 101, 0, 1793, 5735, 2, 2049, 5466, + 2049, 5179, 1, 104, 1793, 5711, 2, 2049, 104, 17, + 2049, 3971, 10, 1, 5704, 2049, 2923, 4, 1793, 5725, + 2, 15, 2049, 5063, 2049, 3971, 10, 1, 5718, 2049, + 3153, 3, 2049, 5017, 2049, 5466, 10, 1, 5695, 2049, + 5209, 10, 5674, 5759, 168, 0, -1950939456, 0, [2,200], 0, + 115, 58, 112, 114, 101, 112, 101, 110, 100, 0, + 2049, 5466, 1793, 5802, 2049, 2873, 1, 104, 2049, 2961, + 17, 3841, 5274, 14, 1, 2837, 1793, 5797, 2, 2049, + 104, 17, 1793, 5789, 2, 2049, 104, 2049, 3953, 10, + 1, 5783, 2049, 2889, 4, 2049, 4923, 10, 1, 5777, + 2049, 66, 10, 1, 5763, 2049, 2905, 10, 5740, 5825, + 168, 0, -127536406, 0, [2,200], 0, 115, 58, 97, [2,112], + 101, 110, 100, 0, 4, 2049, 5759, 10, 5807, 5849, + 168, 0, -89307369, 0, [2,200], 0, 115, 58, 102, 111, + 114, 45, 101, 97, 99, 104, 0, 1793, 5864, 67502597, + 6415, 3, [2,67502597], 251987205, 2054, 101777670, [2,1], 5851, 7, 10, + 1, 5851, 8, 771, 10, 5829, 5891, 168, 0, 111909079, + 0, [2,200], 0, 115, 58, 105, 110, 100, 101, 120, + 47, 99, 104, 97, 114, 0, 4, 1793, 5914, 2049, + 58, 25, 4, 1793, 5903, 67502597, 12, 10, 1, 5900, + 2049, 2889, 4, 25, 3, 1, 5894, 7, 10, 1, + 5894, 1793, 5923, 18, 2049, 3971, 772, 10, 1, 5918, + 1793, 5932, 2049, 104, 67502597, 11, 10, 1, 5927, 2049, + 2978, 1793, 5942, 3, 1, -1, 10, 1, 5938, 9, + 10, 5869, 5972, 168, 0, -552286499, 0, [2,200], 0, 115, 58, 99, 111, 110, 116, 97, 105, 110, 115, 47, - 99, 104, 97, 114, 63, 0, 2049, 4578, 1, -1, - 12, 10, 4624, 4662, 166, 0, 115, 58, 104, 97, - 115, 104, 0, 1, 5381, 4, 1793, 4670, 286458116, 33, - 10, 1, 4667, 2049, 4541, 10, 4651, 4683, 154, 0, - 83, 114, 99, [2,0], 4675, 4692, 154, 0, 84, 97, - 114, [2,0], 4684, 4701, 154, 0, 80, 97, 100, [2,0], - 4693, 4708, 154, 0, 73, [2,0], 4702, 4715, 154, 0, - 70, [2,0], 4709, 4723, 154, 0, 65, 116, [2,0], 4716, - 4738, 166, 0, 116, 101, 114, 109, 105, 110, 97, - 116, 101, 0, 1, 0, 3841, 4701, 3841, 4692, 2049, - 102, 17, 16, 10, 4724, 4761, 166, 0, 101, 120, - 116, 114, 97, 99, 116, 0, 3841, 4683, 3841, 4708, - 17, 3841, 4701, 3841, 4692, 2049, 102, 2049, 3847, 10, - 4749, 4787, 166, 0, 99, 111, 109, 112, 97, 114, - 101, 0, 3841, 4701, 3841, 4692, 2049, 116, 3841, 4715, - 22, 4097, 4715, 3841, 4715, 1793, 4807, 3841, 4708, 4097, - 4723, 10, 1, 4802, 2049, 72, 10, 4775, 4821, 166, - 0, 110, 101, 120, 116, 0, 1, 4708, 2049, 3701, - 10, 4651, 4849, 166, 0, 115, 58, 99, 111, 110, - 116, 97, 105, 110, 115, 47, 115, 116, 114, 105, - 110, 103, 63, 0, 4097, 4692, 4097, 4683, 2049, 4261, - 4097, 4701, 1, 0, 4097, 4708, 1, 0, 4097, 4715, - 3841, 4683, 2049, 102, 1793, 4880, 2049, 4761, 2049, 4738, - 2049, 4787, 2049, 4821, 10, 1, 4871, 2049, 2495, 3841, - 4715, 10, 4826, 4895, 154, 0, 83, 116, 114, [2,0], - 4887, 4908, 166, 0, 101, 120, 116, 114, 97, 99, - 116, 0, 2049, 2181, 3841, 4895, 4, 2049, 3847, 3841, - -1, 67502597, 17, 1, 0, 4, 16, 10, 4896, 4934, - 166, 0, 99, 104, 101, 99, 107, 0, 1, 4908, - 2049, 2192, 1793, 4945, 1, 3140, 2049, 2192, 10, 1, - 4940, 2049, 2192, 3841, 4895, 2049, 4662, 67502597, 11, 10, - 4924, 4969, 166, 0, 108, 111, 99, 97, 116, 105, - 111, 110, 0, [2,67503109], 1793, 5002, 1793, 4997, 4, 1793, - 4983, 67502597, 2049, 2757, 21, 10, 1, 4978, 2049, 2192, - 4, 1793, 4993, 772, 2, 10, 1, 4990, 9, 10, - 1, 4975, 2049, 2192, 10, 1, 4973, 2049, 2192, 10, - 4956, 5017, 166, 0, 115, 101, 116, 117, 112, 0, - 2049, 4261, 4097, 4895, 1, 0, [2,67503109], 1, 102, 1, - 4662, 2049, 2216, 2049, 4261, 2049, 4053, 1793, 5041, 67502597, - 2049, 102, 10, 1, 5037, 2049, 2192, 4, 10, 4826, - 5066, 166, 0, 115, 58, 105, 110, 100, 101, 120, - 47, 115, 116, 114, 105, 110, 103, 0, 67502597, 1793, - 5092, 1793, 5085, 2049, 5017, 1793, 5080, 2049, 4934, 2049, - 4969, 10, 1, 5075, 2049, 2495, 10, 1, 5071, 2049, - 4078, 771, 3, 10, 1, 5069, 2049, 2192, 18, 1, - 2, 18, 1, -1, 2049, 3075, 10, 5047, 5118, 166, - 0, 115, 58, 102, 105, 108, 116, 101, 114, 0, - 1793, 5146, 2049, 4261, 2049, 4053, 4, 1793, 5138, 2049, - 2181, 4, 8, 1, 3957, 1, 15, 2049, 64, 10, - 1, 5127, 2049, 4541, 3, 2049, 3921, 10, 1, 5120, - 2049, 4078, 10, 5105, 5161, 166, 0, 115, 58, 109, - 97, 112, 0, 1793, 5183, 2049, 4261, 2049, 4053, 4, - 1793, 5175, 67502597, 8, 2049, 3957, 10, 1, 5170, 2049, - 4541, 3, 2049, 3921, 10, 1, 5163, 2049, 4078, 10, - 5151, 5201, 166, 0, 115, 58, 115, 117, 98, 115, - 116, 114, 0, 1793, 5207, 17, 2049, 4261, 10, 1, - 5203, 2049, 2192, 1793, 5219, 67502597, 1, 3847, 2049, 2192, - 10, 1, 5213, 2049, 2203, 67502597, 1793, 5232, 17, 1, - 0, 4, 16, 10, 1, 5226, 2049, 2192, 10, 5188, - 5249, 166, 0, 115, 58, 114, 105, 103, 104, 116, - 0, 67502597, 2049, 102, 67502597, 18, 4, 2049, 5201, 10, - 5237, 5269, 166, 0, 115, 58, 108, 101, 102, 116, - 0, 1, 0, 4, 2049, 5201, 10, 5258, 5294, 166, - 0, 115, 58, 98, 101, 103, 105, 110, 115, 45, - 119, 105, 116, 104, 63, 0, 2, 2049, 102, 1, - 17, 2049, 2192, 2049, 5269, 2049, 116, 10, 5275, 5323, - 166, 0, 115, 58, 101, 110, 100, 115, 45, 119, - 105, 116, 104, 63, 0, 2, 2049, 102, 1, 17, - 2049, 2192, 2049, 5249, 2049, 116, 10, 5306, 5346, 166, - 0, 115, 58, 99, 111, 112, 121, 0, 67502597, 2049, - 102, 2049, 3140, 2049, 3847, 10, 5335, 5367, 166, 0, - 115, 58, 68, 73, 71, 73, 84, 83, 0, 2049, - 4281, 48, 49, 50, 51, 52, 53, 54, 55, 56, - 57, 65, 66, 67, 68, 69, 70, 0, 1, 5369, - 10, 5354, 5411, 166, 0, 115, 58, 65, 83, 67, - [2,73], 45, 76, 79, 87, 69, 82, 67, 65, 83, - 69, 0, 2049, 4281, 97, 98, 99, 100, 101, 102, - 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, - 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, - 0, 1, 5413, 10, 5389, 5465, 166, 0, 115, 58, - 65, 83, 67, [2,73], 45, 85, [2,80], 69, 82, 67, - 65, 83, 69, 0, 2049, 4281, 65, 66, 67, 68, - 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, - 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, - 89, 90, 0, 1, 5467, 10, 5443, 5517, 166, 0, - 115, 58, 65, 83, 67, [2,73], 45, 76, 69, [2,84], - 69, 82, 83, 0, 2049, 4281, 97, 98, 99, 100, - 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, - 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, - 121, 122, 65, 66, 67, 68, 69, 70, 71, 72, - 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, - 83, 84, 85, 86, 87, 88, 89, 90, 0, 1, - 5519, 10, 5497, 5593, 166, 0, 115, 58, 80, 85, - 78, 67, 84, 85, 65, 84, 73, 79, 78, 0, - 2049, 4281, 95, 33, 34, 35, 36, 37, 38, 39, - 40, 41, 42, 43, 44, 45, 46, 47, 58, 59, - 60, 61, 62, 63, 64, 91, 92, 93, 94, 96, - 123, 124, 125, 126, 0, 1, 5595, 1, 95, 67502597, - 16, 10, 5575, 5652, 154, 0, 115, 58, 87, 72, - 73, 84, 69, 83, 80, 65, 67, 69, 0, 32, - 9, 10, 13, 0, 5635, 5663, 178, 0, 39, 0, - 1, 4261, 2049, 166, 10, 5657, 5674, 178, 0, 36, - 0, 1, 0, 2049, 154, 10, 5668, 0, 154, 0, - 65, 83, 67, [2,73], 58, 78, 85, 76, 0, 5679, - 27, 154, 0, 65, 83, 67, [2,73], 58, 69, 83, - 67, 0, 5693, 8, 154, 0, 65, 83, 67, [2,73], - 58, 66, 83, 0, 5707, 9, 154, 0, 65, 83, - 67, [2,73], 58, 72, 84, 0, 5720, 10, 154, 0, - 65, 83, 67, [2,73], 58, 76, 70, 0, 5733, 11, - 154, 0, 65, 83, 67, [2,73], 58, 86, 84, 0, - 5746, 12, 154, 0, 65, 83, 67, [2,73], 58, [2,70], - 0, 5759, 13, 154, 0, 65, 83, 67, [2,73], 58, - 67, 82, 0, 5772, 32, 154, 0, 65, 83, 67, - [2,73], 58, 83, 80, 65, 67, 69, 0, 5785, 127, - 154, 0, 65, 83, 67, [2,73], 58, 68, 69, 76, - 0, 5801, 1, 154, 0, 65, 83, 67, [2,73], 58, - 83, 79, 72, 0, 5815, 2, 154, 0, 65, 83, - 67, [2,73], 58, 83, 84, 88, 0, 5829, 3, 154, - 0, 65, 83, 67, [2,73], 58, 69, 84, 88, 0, - 5843, 4, 154, 0, 65, 83, 67, [2,73], 58, 69, - 79, 84, 0, 5857, 5, 154, 0, 65, 83, 67, - [2,73], 58, 69, 78, 81, 0, 5871, 6, 154, 0, - 65, 83, 67, [2,73], 58, 65, 67, 75, 0, 5885, - 7, 154, 0, 65, 83, 67, [2,73], 58, 66, 69, - 76, 0, 5899, 14, 154, 0, 65, 83, 67, [2,73], - 58, 83, 79, 0, 5913, 15, 154, 0, 65, 83, - 67, [2,73], 58, 83, 73, 0, 5926, 16, 154, 0, - 65, 83, 67, [2,73], 58, 68, 76, 69, 0, 5939, - 17, 154, 0, 65, 83, 67, [2,73], 58, 68, 67, - 49, 0, 5953, 18, 154, 0, 65, 83, 67, [2,73], - 58, 68, 67, 50, 0, 5967, 19, 154, 0, 65, - 83, 67, [2,73], 58, 68, 67, 51, 0, 5981, 20, - 154, 0, 65, 83, 67, [2,73], 58, 68, 67, 52, - 0, 5995, 21, 154, 0, 65, 83, 67, [2,73], 58, - 78, 65, 75, 0, 6009, 22, 154, 0, 65, 83, - 67, [2,73], 58, 83, 89, 78, 0, 6023, 23, 154, - 0, 65, 83, 67, [2,73], 58, 69, 84, 66, 0, - 6037, 24, 154, 0, 65, 83, 67, [2,73], 58, 67, - 65, 78, 0, 6051, 25, 154, 0, 65, 83, 67, - [2,73], 58, 69, 77, 0, 6065, 26, 154, 0, 65, - 83, 67, [2,73], 58, 83, 85, 66, 0, 6078, 28, - 154, 0, 65, 83, 67, [2,73], 58, 70, 83, 0, - 6092, 29, 154, 0, 65, 83, 67, [2,73], 58, 71, - 83, 0, 6105, 30, 154, 0, 65, 83, 67, [2,73], - 58, 82, 83, 0, 6118, 31, 154, 0, 65, 83, - 67, [2,73], 58, 85, 83, 0, 6131, 6161, 166, 0, - 99, 58, 108, 111, 119, 101, 114, 99, 97, 115, - 101, 63, 0, 1, 97, 1, 122, 2049, 3171, 10, - 6144, 6185, 166, 0, 99, 58, 117, [2,112], 101, 114, - 99, 97, 115, 101, 63, 0, 1, 65, 1, 90, - 2049, 3171, 10, 6168, 6206, 166, 0, 99, 58, 108, - 101, [2,116], 101, 114, 63, 0, 1, 6161, 1, 6185, - 2049, 2216, 22, 10, 6192, 6227, 166, 0, 99, 58, - 100, 105, 103, 105, 116, 63, 0, 1, 48, 1, - 57, 2049, 3171, 10, 6214, 6249, 166, 0, 99, 58, - 118, 105, 115, 105, 98, 108, 101, 63, 0, 1, - 32, 1, 126, 2049, 3171, 10, 6234, 6269, 166, 0, - 99, 58, 118, 111, 119, 101, 108, 63, 0, 2049, - 4281, 97, 101, 105, 111, 117, 65, 69, 73, 79, - 85, 0, 1, 6271, 4, 2049, 4645, 10, 6256, 6305, - 166, 0, 99, 58, 99, 111, 110, 115, 111, 110, - 97, 110, 116, 63, 0, 2, 2049, 6206, 1793, 6315, - 2049, 6269, 2049, 2684, 10, 1, 6310, 1793, 6323, 3, - 2049, 2584, 10, 1, 6319, 2049, 64, 10, 6288, 6346, - 166, 0, 99, 58, 119, 104, 105, 116, 101, 115, - 112, 97, 99, 101, 63, 0, 1, 5652, 4, 2049, - 4645, 10, 6328, 6370, 166, 0, 99, 58, 45, 108, - 111, 119, 101, 114, 99, 97, 115, 101, 63, 0, - 2049, 6161, 2049, 2684, 10, 6352, 6393, 166, 0, 99, - 58, 45, 117, [2,112], 101, 114, 99, 97, 115, 101, - 63, 0, 2049, 6185, 2049, 2684, 10, 6375, 6412, 166, - 0, 99, 58, 45, 100, 105, 103, 105, 116, 63, - 0, 2049, 6227, 2049, 2684, 10, 6398, 6436, 166, 0, - 99, 58, 45, 119, 104, 105, 116, 101, 115, 112, - 97, 99, 101, 63, 0, 2049, 6346, 2049, 2684, 10, - 6417, 6457, 166, 0, 99, 58, 45, 118, 105, 115, - 105, 98, 108, 101, 63, 0, 2049, 6249, 2049, 2684, - 10, 6441, 6476, 166, 0, 99, 58, 45, 118, 111, - 119, 101, 108, 63, 0, 2049, 6269, 2049, 2684, 10, - 6462, 6499, 166, 0, 99, 58, 45, 99, 111, 110, - 115, 111, 110, 97, 110, 116, 63, 0, 2049, 6305, - 2049, 2684, 10, 6481, 6519, 166, 0, 99, 58, 116, - 111, 45, 117, [2,112], 101, 114, 0, 2, 2049, 6161, - 25, 3, 1, 32, 18, 10, 6504, 6543, 166, 0, - 99, 58, 116, 111, 45, 108, 111, 119, 101, 114, - 0, 2, 2049, 6185, 25, 3, 1, 32, 17, 10, - 6528, 6568, 166, 0, 99, 58, 116, 111, 45, 115, - 116, 114, 105, 110, 103, 0, 2049, 4281, 46, 0, - 1, 6570, 2049, 4234, 1, 37, 2049, 2203, 10, 6552, - 6599, 166, 0, 99, 58, 116, 111, [2,103], 108, 101, - 45, 99, 97, 115, 101, 0, 2, 2049, 6161, 1, - 6519, 1, 6543, 2049, 64, 10, 6581, 6625, 166, 0, - 99, 58, 116, 111, 45, 110, 117, 109, 98, 101, - 114, 0, 2, 2049, 6227, 1793, 6634, 1, 48, 18, - 10, 1, 6630, 1793, 6642, 3, 1, 0, 10, 1, - 6638, 2049, 64, 10, 6609, 6662, 166, 0, 115, 58, - 116, 111, 45, 117, [2,112], 101, 114, 0, 1, 6519, - 2049, 5161, 10, 6647, 6682, 166, 0, 115, 58, 116, - 111, 45, 108, 111, 119, 101, 114, 0, 1, 6543, - 2049, 5161, 10, 6667, 6703, 166, 0, 115, 58, 116, - 114, 105, 109, 45, 108, 101, 102, 116, 0, 2049, - 4234, 1793, 6717, 2049, 56, 1, 6346, 1, 2774, 2049, - 2216, 21, 10, 1, 6707, 2049, 2421, 2049, 3153, 10, - 6687, 6741, 166, 0, 115, 58, 116, 114, 105, 109, - 45, 114, 105, 103, 104, 116, 0, 2049, 4234, 2049, - 4419, 2049, 6703, 2049, 4419, 10, 6724, 6761, 166, 0, - 115, 58, 116, 114, 105, 109, 0, 2049, 6741, 2049, - 6703, 10, 6750, 6789, 154, 0, 82, 101, 119, 114, - 105, 116, 101, 85, 110, 100, 101, 114, 115, 99, - 111, 114, 101, 115, 0, -1, 6766, 6798, 166, 0, - 115, 117, 98, 0, 1, 95, 1793, 6805, 1, 32, - 10, 1, 6802, 2049, 2596, 10, 6790, 6822, 166, 0, - 114, 101, 119, 114, 105, 116, 101, 0, 3841, 6789, - 1793, 6831, 1, 6798, 2049, 5161, 10, 1, 6826, 9, - 10, 6810, 6846, 166, 0, 104, 97, 110, 100, 108, - 101, 0, 1, 4341, 8, 10, 6766, 6862, 178, 0, - 115, 105, 103, 105, 108, 58, 39, 0, 2049, 6822, - 2049, 6846, 10, 6850, 6884, 166, 0, 115, 58, 115, - 112, 108, 105, 116, 47, 99, 104, 97, 114, 0, - 2049, 2181, 2049, 4578, 772, 2049, 2181, 2049, 5269, 1, - 39, 2049, 2192, 10, 6867, 6917, 166, 0, 115, 58, - 115, 112, 108, 105, 116, 47, 115, 116, 114, 105, - 110, 103, 0, 2049, 2181, 2049, 5066, 2049, 3140, 772, - 2049, 2181, 2049, 5269, 1, 39, 2049, 2192, 10, 6898, - 6947, 166, 0, 115, 58, 114, 101, 112, 108, 97, - 99, 101, 0, 67502597, 2049, 102, 2049, 1953, 16, 1793, - 6963, 2049, 6917, 4, 2049, 1953, 15, 17, 10, 1, - 6955, 2049, 2192, 2049, 4480, 2049, 4522, 10, 6933, 6985, - 154, 0, 83, 112, 108, 105, 116, 45, 79, 110, - [2,0], 6972, 6997, 166, 0, 109, 97, 116, 99, 104, - 63, 0, 3841, 6985, 11, 10, 6986, 7015, 166, 0, - 116, 101, 114, 109, 105, 110, 97, 116, 101, 0, - 1, 0, 67502597, 2049, 3153, 16, 10, 7001, 7031, 166, - 0, 115, 116, 101, 112, 0, 1, 3140, 2049, 2192, - 2049, 6997, 1793, 7045, 2, 2049, 128, 2049, 7015, 10, - 1, 7039, 9, 10, 6933, 7064, 166, 0, 115, 58, - 116, 111, 107, 101, 110, 105, 122, 101, 0, 4097, - 6985, 2049, 4308, 2049, 1953, 1, 0, 2049, 128, 1793, - 7086, 2, 2049, 128, 2, 1, 7031, 2049, 4541, 3, - 10, 1, 7076, 2049, 2192, 2049, 1953, 67502597, 18, 2049, - 3153, 67502597, 16, 10, 7049, 7110, 154, 0, 78, [2,101], - 100, 108, 101, [129,0], 7099, 7246, 154, 0, 76, 101, - 110, [2,0], 7238, 7258, 154, 0, 84, 111, 107, 101, - 110, 115, [129,0], 7247, 7393, 154, 0, 84, 80, [2,0], - 7386, 7403, 166, 0, 115, 97, 118, 101, 0, 2049, - 4308, 3841, 7393, 1, 7258, 17, 2049, 3140, 16, 1, - 7393, 2049, 3701, 10, 7394, 7427, 166, 0, 110, 101, - 120, 116, 0, 1793, 7433, 3841, 7246, 17, 10, 1, - 7429, 2049, 2203, 10, 7418, 7448, 166, 0, 100, 111, - 110, 101, 63, 0, 2049, 102, 2049, 2757, 10, 7049, - 7478, 166, 0, 115, 58, 116, 111, 107, 101, 110, - 105, 122, 101, 45, 111, 110, 45, 115, 116, 114, - 105, 110, 103, 0, 1, 0, 4097, 7393, 1793, 7492, - 2, 1, 7110, 2049, 5346, 2049, 4522, 10, 1, 7484, - 1793, 7501, 2049, 102, 4097, 7246, 10, 1, 7496, 2049, - 2216, 1793, 7518, 1, 7110, 2049, 6917, 2049, 7403, 2049, - 7427, 2049, 7448, 10, 1, 7507, 2049, 2445, 1, 7258, - 3841, 7393, 2049, 3153, 4097, 7258, 10, 7453, 7544, 166, - 0, 102, 111, 114, 45, 101, 97, 99, 104, 0, - 4, 2049, 56, 1, 17, 2049, 2192, 1793, 7560, 5, - 2049, 56, 84018692, 525572, 1542, 10, 1, 7553, 2049, 2495, - 771, 10, 7531, 7581, 166, 0, 115, 117, 98, 115, - 116, 105, 116, 117, 116, 101, 0, 2049, 4146, 1, - 129, 18, 10, 7566, 7599, 166, 0, 101, 120, 116, - 114, 97, 99, 116, 0, 2049, 7581, 2049, 5346, 10, - 7587, 7617, 166, 0, 116, 111, 107, 101, 110, 105, - 122, 101, 0, 2049, 7478, 2049, 4261, 10, 7604, 7634, - 166, 0, 99, 111, 109, 98, 105, 110, 101, 0, - 2049, 7581, 2049, 4522, 2049, 4522, 10, 7622, 7651, 166, - 0, 109, 101, 114, 103, 101, 0, 4, 1, 7634, - 2049, 7544, 772, 10, 7641, 7671, 166, 0, 102, 105, - 110, 100, 45, 101, 110, 100, 0, 2, 2049, 102, - 2049, 7581, 2049, 102, 18, 67502597, 17, 10, 7658, 7692, - 166, 0, 99, 108, 101, 97, 110, 0, 2049, 7671, - 1, 0, 4, 16, 10, 7453, 7717, 166, 0, 115, - 58, 114, 101, 112, 108, 97, 99, 101, 45, 97, - [2,108], 0, 1, 3, 1793, 7732, 2049, 7599, 2049, 7617, - 2049, 7651, 2049, 7692, 2049, 4234, 10, 1, 7721, 2049, - 3798, 10, 7699, 7748, 154, 0, 83, 116, 114, 105, - 110, 103, [67,0], 7737, 7829, 166, 0, 99, 104, 101, - 99, 107, 45, 115, 105, 103, 110, 0, 2049, 2794, - 1793, 7838, 1, 45, 2049, 3957, 10, 1, 7833, 9, - 10, 7814, 7855, 166, 0, 110, 45, 62, 100, 105, - 103, 105, 116, 0, 2049, 5367, 17, 15, 10, 7842, - 7872, 166, 0, 99, 111, 110, 118, 101, 114, 116, - 0, 1793, 7886, 3841, 231, 20, 4, 2049, 7855, 2049, - 3957, 2, 2049, 2757, 10, 1, 7874, 2049, 2445, 3, - 10, 7699, 7908, 166, 0, 110, 58, 116, 111, 45, - 115, 116, 114, 105, 110, 103, 0, 1793, 7922, 1, - 7748, 2049, 4053, 2, 2049, 3103, 2049, 7872, 2049, 7829, - 10, 1, 7910, 2049, 4078, 1, 7748, 2049, 4419, 10, - 7892, 7940, 166, 0, 99, 104, 97, 114, 0, 1, - 32, 1793, 7949, 1, 95, 2049, 3957, 10, 1, 7944, - 2049, 2596, 1, 114, 1793, 7962, 1, 13, 2049, 3957, - 10, 1, 7957, 2049, 2596, 1, 110, 1793, 7975, 1, - 10, 2049, 3957, 10, 1, 7970, 2049, 2596, 1, 116, - 1793, 7988, 1, 9, 2049, 3957, 10, 1, 7983, 2049, - 2596, 1, 48, 1793, 8001, 1, 0, 2049, 3957, 10, - 1, 7996, 2049, 2596, 1, 94, 1793, 8014, 1, 27, - 2049, 3957, 10, 1, 8009, 2049, 2596, 2049, 3957, 10, - 7931, 8030, 166, 0, 116, 121, 112, 101, 0, 1, - 99, 1793, 8038, 4, 2049, 3957, 10, 1, 8034, 2049, - 2596, 1, 115, 1793, 8052, 4, 1, 3957, 2049, 4541, - 10, 1, 8046, 2049, 2596, 1, 110, 1793, 8068, 4, - 2049, 7908, 1, 3957, 2049, 4541, 10, 1, 8060, 2049, - 2596, 3, 10, 8021, 8085, 166, 0, 104, 97, 110, - 100, 108, 101, 0, 1, 92, 1793, 8094, 2049, 56, - 2049, 7940, 10, 1, 8089, 2049, 2596, 1, 37, 1793, - 8107, 2049, 56, 2049, 8030, 10, 1, 8102, 2049, 2596, - 2049, 3957, 10, 7892, 8127, 166, 0, 115, 58, 102, - 111, 114, 109, 97, 116, 0, 1793, 8156, 2049, 4261, - 1793, 8151, 2049, 4053, 1793, 8146, 2049, 56, 25, 2049, - 8085, 1, 8137, 7, 10, 1, 8137, 8, 3, 10, - 1, 8133, 2049, 2203, 10, 1, 8129, 2049, 4078, 10, - 8114, 8173, 166, 0, 115, 58, 99, 111, 110, 115, - 116, 0, 1, 4308, 2049, 2192, 2049, 2101, 10, 8161, - 8191, 154, 0, 86, 97, 108, 117, 101, 115, [29,0], - 8180, 8228, 166, 0, 102, 114, 111, 109, 0, 2049, - 102, 2, 1793, 8246, 1793, 8239, 1, 8191, 4113, 10, - 1, 8235, 2049, 2203, 2049, 3153, 10, 1, 8233, 2049, - 2495, 3, 10, 8219, 8259, 166, 0, 116, 111, 0, - 2, 2049, 102, 1793, 8275, 2049, 56, 1, 97, 18, - 2049, 3140, 1, 8191, 266001, 10, 1, 8264, 2049, 2495, - 3, 10, 8161, 8293, 166, 0, 114, 101, 111, 114, - 100, 101, 114, 0, 1, 8228, 2049, 2192, 2049, 8259, - 10, 8281, 8310, 166, 0, 99, 117, [2,114], 121, 0, - 2049, 1953, 1793, 8320, 4, 2049, 1802, 2049, 1826, 10, - 1, 8314, 2049, 2192, 10, 8300, 8334, 166, 0, 100, - 111, 101, 115, 0, 2049, 1591, 4, 2049, 8310, 2049, - 1573, 2049, 180, 16, 1, 166, 2049, 1653, 10, 8325, - 8364, 166, 0, 100, 58, 102, 111, 114, 45, 101, - 97, 99, 104, 0, 1, 2, 1793, 8390, 6415, 2049, - 2181, 1793, 8382, 1793, 8377, 2052, 10, 1, 8375, 2049, - 2192, 10, 1, 8373, 2049, 2192, 1, 8368, 7, 10, - 1, 8368, 8, 3, 10, 8349, 8411, 166, 0, 100, - 58, 108, [2,111], 107, 117, 112, 45, 120, 116, 0, - 1, 0, 4, 1793, 8436, 2049, 2181, 2049, 180, 2831, - 1793, 8429, 4, 1, 2139, 2049, 2192, 10, 1, 8423, - 1, 15, 2049, 64, 10, 1, 8416, 2049, 8364, 3, - 10, 8395, 8455, 166, 0, 97, 58, 108, 101, 110, - 103, 116, 104, 0, 15, 10, 8442, 8479, 166, 0, - 97, 58, 99, 111, 117, 110, 116, 101, 100, 45, - 114, 101, 115, 117, 108, 116, 115, 0, 8, 2049, - 1953, 1793, 8492, 2, 2049, 128, 1, 128, 2049, 2495, - 10, 1, 8484, 2049, 2192, 10, 8457, 8515, 166, 0, - 97, 58, 102, 114, 111, 109, 45, 115, 116, 114, - 105, 110, 103, 0, 2049, 1953, 1793, 8529, 2, 2049, - 102, 2049, 128, 1, 128, 2049, 4541, 10, 1, 8519, - 2049, 2192, 10, 8497, 8549, 166, 0, 97, 58, 102, - 111, 114, 45, 101, 97, 99, 104, 0, 4, 2049, - 56, 1, 17, 2049, 2192, 1793, 8565, 5, 2049, 56, - 84018692, 525572, 1542, 10, 1, 8558, 2049, 2495, 771, 10, - 8534, 8581, 166, 0, 97, 58, 100, 117, 112, 0, - 2049, 1953, 1793, 8594, 2, 15, 2049, 128, 1, 128, - 2049, 8549, 10, 1, 8585, 2049, 2192, 10, 8571, 8610, - 166, 0, 97, 58, 99, 111, 112, 121, 0, 1, - 3, 1793, 8626, 4097, 3, 2, 2049, 8455, 2049, 128, - 1, 128, 2049, 8549, 10, 1, 8614, 2049, 3798, 10, - 8599, 8647, 166, 0, 97, 58, 116, 111, 45, 115, - 116, 114, 105, 110, 103, 0, 1, 3, 1793, 8660, - 2049, 8581, 1, 0, 2049, 128, 2049, 3140, 10, 1, - 8651, 2049, 3798, 2049, 4234, 10, 8631, 8680, 166, 0, - 97, 58, 97, [2,112], 101, 110, 100, 0, 2049, 2181, - 1, 35, 2049, 2244, 17, 2049, 1953, 1793, 8705, 2049, - 128, 1793, 8700, 1, 128, 2049, 8549, 10, 1, 8695, - 2049, 2244, 10, 1, 8691, 2049, 2192, 10, 8667, 8724, - 166, 0, 97, 58, 112, 114, 101, 112, 101, 110, - 100, 0, 4, 2049, 8680, 10, 8710, 8739, 166, 0, - 97, 58, 99, 104, 111, 112, 0, 2049, 8581, 1, - -1, 2049, 3778, 2, 2049, 3717, 10, 8728, 8762, 166, - 0, 97, 58, 102, 105, 108, 116, 101, 114, 0, - 1793, 8777, 67502597, 1, 25, 2049, 2192, 4, 1, 128, - 1, 15, 2049, 64, 10, 1, 8764, 2049, 8310, 2049, - 1953, 1793, 8792, 67502597, 15, 2049, 128, 2049, 8549, 10, - 1, 8785, 2049, 2192, 2049, 1953, 67502597, 18, 2049, 3153, - 67502597, 16, 10, 8749, 8821, 166, 0, 97, 58, 99, - 111, 110, 116, 97, 105, 110, 115, 63, 0, 1, - 0, 4, 1793, 8833, 4, 5, 67502597, 11, 6, 22, - 10, 1, 8826, 2049, 8549, 772, 10, 8805, 8862, 166, - 0, 97, 58, 99, 111, 110, 116, 97, 105, 110, + 99, 104, 97, 114, 63, 0, 2049, 5891, 1, -1, + 12, 10, 5946, 5994, 168, 0, 410289558, 0, [2,200], 0, + 115, 58, 104, 97, 115, 104, 0, 1, 5381, 4, + 1793, 6002, 286458116, 33, 10, 1, 5999, 2049, 5849, 10, + 5978, 6020, 156, [3,0], [2,200], 0, 83, 116, 114, [2,0], + 6007, 6038, 168, [3,0], [2,200], 0, 101, 120, 116, 114, + 97, 99, 116, 0, 2049, 2873, 3841, 6020, 4, 2049, + 4923, 3841, 6020, 67502597, 17, 1, 0, 4, 16, 10, + 6021, 6069, 168, [3,0], [2,200], 0, 99, 104, 101, 99, + 107, 0, 1, 6038, 2049, 2889, 1793, 6080, 1, 3953, + 2049, 2889, 10, 1, 6075, 2049, 2889, 3841, 6020, 2049, + 5994, 67502597, 11, 10, 6054, 6109, 168, [3,0], [2,200], 0, + 108, 111, 99, 97, 116, 105, 111, 110, 0, [2,67503109], + 1793, 6142, 1793, 6137, 4, 1793, 6123, 67502597, 2049, 3470, + 21, 10, 1, 6118, 2049, 2889, 4, 1793, 6133, 772, + 2, 10, 1, 6130, 9, 10, 1, 6115, 2049, 2889, + 10, 1, 6113, 2049, 2889, 10, 6091, 6162, 168, [3,0], + [2,200], 0, 115, 101, 116, 117, 112, 0, 2049, 5500, + 4097, 6020, 1, 0, [2,67503109], 1, 104, 1, 5994, 2049, + 2923, 1793, 6182, 67502597, 2049, 104, 10, 1, 6178, 2049, + 2889, 4, 10, 5978, 6212, 168, 0, -2044062352, 0, [2,200], + 0, 115, 58, 105, 110, 100, 101, 120, 47, 115, + 116, 114, 105, 110, 103, 0, 67502597, 1793, 6231, 2049, + 6162, 1793, 6224, 2049, 6069, 2049, 6109, 10, 1, 6219, + 2049, 3153, 771, 3, 10, 1, 6215, 2049, 2889, 18, + 1, 2, 18, 1, -1, 2049, 3873, 10, 6188, 6257, + 156, [3,0], [2,200], 0, 83, 114, 99, [2,0], 6244, 6271, + 156, [3,0], [2,200], 0, 84, 97, 114, [2,0], 6258, 6285, + 156, [3,0], [2,200], 0, 80, 97, 100, [2,0], 6272, 6297, + 156, [3,0], [2,200], 0, 73, [2,0], 6286, 6309, 156, [3,0], + [2,200], 0, 70, [2,0], 6298, 6322, 156, [3,0], [2,200], 0, + 65, 116, [2,0], 6310, 6342, 168, [3,0], [2,200], 0, 116, + 101, 114, 109, 105, 110, 97, 116, 101, 0, 1, + 0, 3841, 6285, 3841, 6271, 2049, 104, 17, 16, 10, + 6323, 6370, 168, [3,0], [2,200], 0, 101, 120, 116, 114, + 97, 99, 116, 0, 3841, 6257, 3841, 6297, 17, 3841, + 6285, 3841, 6271, 2049, 104, 2049, 4923, 10, 6353, 6401, + 168, [3,0], [2,200], 0, 99, 111, 109, 112, 97, 114, + 101, 0, 3841, 6285, 3841, 6271, 2049, 118, 3841, 6309, + 22, 4097, 6309, 3841, 6309, 1793, 6421, 3841, 6297, 4097, + 6322, 10, 1, 6416, 2049, 74, 10, 6384, 6440, 168, + [3,0], [2,200], 0, 110, 101, 120, 116, 0, 1, 6297, + 2049, 4744, 10, 6188, 6473, 168, 0, -466408362, 0, [2,200], + 0, 115, 58, 99, 111, 110, 116, 97, 105, 110, 115, 47, 115, 116, 114, 105, 110, 103, 63, 0, - 1, 0, 4, 1793, 8875, 4, 5, 67502597, 2049, 116, - 6, 22, 10, 1, 8867, 2049, 8549, 772, 10, 8839, - 8891, 166, 0, 97, 58, 109, 97, 112, 0, 1793, - 8897, 8, 2049, 128, 10, 1, 8893, 2049, 8310, 2049, - 1953, 1793, 8912, 67502597, 15, 2049, 128, 2049, 8549, 10, - 1, 8905, 2049, 2192, 10, 8881, 8931, 166, 0, 97, - 58, 114, 101, 118, 101, 114, 115, 101, 0, 2049, - 1953, 1793, 8965, 2049, 56, 1793, 8943, 17, 2049, 3153, - 10, 1, 8939, 2049, 2203, 2, 2049, 128, 1793, 8959, - 2, 15, 2049, 128, 2049, 3153, 10, 1, 8952, 2049, - 2495, 3, 10, 1, 8935, 2049, 2192, 10, 8917, 8979, - 166, 0, 97, 58, 116, 104, 0, 17, 2049, 3140, - 10, 8970, 8995, 166, 0, 97, 58, 102, 101, 116, - 99, 104, 0, 2049, 8979, 15, 10, 8983, 9011, 166, - 0, 97, 58, 115, 116, 111, 114, 101, 0, 2049, - 8979, 16, 10, 8999, 9028, 166, 0, 97, 58, 114, - 101, 100, 117, 99, 101, 0, 1, 17, 2049, 2192, - 2049, 8549, 10, 9015, 9048, 166, 0, 105, 100, 101, - 110, 116, 105, 102, 121, 0, 1, -1, 4, 1, - 0, 1793, 9079, 2049, 2571, 11, 1793, 9073, 67502597, 1, - -1, 11, 1793, 9069, 772, 2, 10, 1, 9066, 9, - 10, 1, 9060, 9, 2049, 3140, 10, 1, 9055, 2049, - 9028, 3, 10, 9015, 9097, 166, 0, 97, 58, 105, - 110, 100, 101, 120, 0, 1, 3, 1793, 9110, 1, - 27, 2049, 8310, 2049, 8891, 2049, 9048, 10, 1, 9101, - 2049, 3798, 10, 9085, 9134, 166, 0, 97, 58, 105, - 110, 100, 101, 120, 47, 115, 116, 114, 105, 110, - 103, 0, 1, 3, 1793, 9147, 1, 116, 2049, 8310, - 2049, 8891, 2049, 9048, 10, 1, 9138, 2049, 3798, 10, - 9115, 9163, 166, 0, 97, 58, 109, 97, 107, 101, - 0, 2049, 8479, [2,2], 1, 3, 1793, 9174, 2049, 8931, - 10, 1, 9171, 2049, 3798, 4, 2049, 8610, 10, 9152, - 9188, 178, 0, 123, 0, 1, 327, 2049, 178, 1, - 1558, 2049, 166, 1, 327, 2049, 178, 10, 9182, 9207, - 178, 0, 125, 0, 1, 343, 2049, 178, 1, 2192, - 2049, 166, 1, 1558, 2049, 166, 1, 17, 2049, 172, - 1, 41, 2049, 172, 1, 3153, 2049, 166, 1, 343, - 2049, 178, 1, 9163, 2049, 166, 10, 9201, 9252, 166, - 0, 98, 111, 117, 110, 100, 115, 63, 0, 67502597, - 2049, 8455, 67502597, 13, 10, 9240, 9267, 166, 0, 99, - 111, 112, 121, 0, 2049, 56, 2049, 128, 10, 9258, - 9283, 166, 0, 116, 111, 45, 101, 110, 100, 0, - 2, 2049, 8455, 17, 2049, 3140, 10, 9201, 9301, 166, - 0, 97, 58, 108, 101, 102, 116, 0, 2049, 9252, - 1793, 9309, 771, 1, -1, 10, 1, 9305, 2049, 2890, - 2049, 1953, 67502597, 2049, 128, 1793, 9330, 1, 3140, 2049, - 2192, 1, 9267, 2049, 2495, 3, 10, 1, 9320, 2049, - 2192, 10, 9290, 9347, 166, 0, 97, 58, 114, 105, - 103, 104, 116, 0, 2049, 9252, 1793, 9355, 771, 1, - -1, 10, 1, 9351, 2049, 2890, 2049, 1953, 67502597, 2049, - 128, 1793, 9378, 4, 2049, 9283, 67502597, 18, 4, 1, - 9267, 2049, 2495, 3, 10, 1, 9366, 2049, 2192, 10, - 9335, 9396, 166, 0, 97, 58, 109, 105, [2,100], 108, - 101, 0, 1, 2129, 2049, 2192, 4, 67502597, 2049, 9252, - 1793, 9411, 771, 3, 1, -1, 10, 1, 9406, 2049, - 2890, 771, 2049, 2181, 4, 18, 2049, 3140, 2049, 1953, - 67502597, 2049, 128, 1793, 9446, 772, 1793, 9436, 17, 2049, - 3140, 10, 1, 9432, 2049, 2192, 1, 9267, 2049, 2495, - 3, 10, 1, 9429, 2049, 2192, 10, 9383, 9460, 154, - 0, 70, 108, 97, 103, [2,0], 9451, 9473, 166, 0, - 99, 111, 109, 112, 97, 114, 101, 0, 67440386, 184946434, - 10, 9461, 9487, 166, 0, 108, 101, 110, 103, 116, - 104, 0, 659202, 10, 9476, 9498, 166, 0, 110, 101, - 120, 116, 0, 17043713, [2,1], 2577, 10, 9489, 9517, 166, - 0, 110, 111, 116, 45, 101, 113, 117, 97, 108, - 0, 50529030, 2561, 0, 10, 9503, 9530, 166, 0, 108, - [2,111], 112, 0, 524549, 9498, 2049, 9473, 18157313, [2,9460], 16, - 420610310, [2,1], 9530, 7, 10, 9383, 9554, 166, 0, 97, - 58, 101, 113, 63, 0, 1048833, -1, 9460, 2049, 9473, - 151066369, -1, 9517, 2049, 9487, 2049, 9530, 251724547, 9460, 10, - 9544, 9580, 166, 0, 97, 58, 45, 101, 113, 63, - 0, 2049, 9554, 2049, 2684, 10, 9569, 9604, 166, 0, - 97, 58, 98, 101, 103, 105, 110, 115, 45, 119, - 105, 116, 104, 63, 0, 1, 3, 1793, 9620, 2, - 2049, 8455, 1, 17, 2049, 2192, 2049, 9301, 2049, 9554, - 10, 1, 9608, 2049, 3798, 10, 9585, 9642, 166, 0, - 97, 58, 101, 110, 100, 115, 45, 119, 105, 116, - 104, 63, 0, 1, 3, 1793, 9658, 2, 2049, 8455, - 1, 17, 2049, 2192, 2049, 9347, 2049, 9554, 10, 1, - 9646, 2049, 3798, 10, 9625, 9680, 166, 0, 99, 117, - [2,114], 101, 110, 116, 45, 108, 105, 110, 101, 0, - 2049, 4146, 1, 1025, 18, 10, 9663, 9703, 166, 0, - 99, 111, 117, 110, 116, 45, 116, 111, 107, 101, - 110, 115, 0, 1793, 9709, 1, 32, 11, 10, 1, - 9705, 2049, 5118, 2049, 102, 10, 9686, 9735, 166, 0, - 112, 114, 111, 99, 101, [2,115], 45, 116, 111, 107, - 101, 110, 115, 0, 1793, 9763, 1, 32, 2049, 6884, - 4, 1793, 9756, 2, 2049, 102, 2049, 2774, 1, 405, - 1, 15, 2049, 64, 10, 1, 9744, 2049, 2192, 2049, - 3140, 10, 1, 9737, 2049, 2495, 2049, 405, 10, 9625, - 9785, 166, 0, 115, 58, 101, 118, 97, 108, 117, - 97, 116, 101, 0, 2049, 9680, 2049, 5346, 2049, 9680, - 2, 2049, 9703, 2049, 9735, 10, 9770, 9804, 154, 0, - 76, 80, [2,0], 9797, 9815, 154, 0, 73, 110, 100, - 101, 120, [33,0], 9805, 9856, 166, 0, 110, 101, 120, - 116, 0, 3841, 9804, 1, 9815, 17, 2049, 3701, 10, - 9847, 9873, 166, 0, 112, 114, 101, 112, 0, 1, - 9804, 2049, 3701, 1, 0, 3841, 9804, 1, 9815, 17, - 16, 10, 9864, 9895, 166, 0, 100, 111, 110, 101, - 0, 1, 9804, 2049, 3717, 10, 9770, 9906, 166, 0, - 73, 0, 3841, 9804, 1, 9815, 17, 15, 10, 9900, - 9919, 166, 0, 74, 0, 3841, 9804, 1, 9815, 17, - 2049, 3153, 15, 10, 9913, 9934, 166, 0, 75, 0, - 3841, 9804, 1, 9815, 17, 1, 2, 18, 15, 10, - 9928, 9962, 166, 0, 105, 110, 100, 101, 120, 101, - 100, 45, 116, 105, 109, 101, 115, 0, 2049, 9873, - 4, 1793, 9978, 25, 33886721, 1, 2053, 1542, 2049, 9856, - 1, 9967, 7, 10, 1, 9967, 8, 3, 2049, 9895, - 10, 9944, 9997, 166, 0, 100, 101, 99, 105, 109, - 97, 108, 0, 1, 10, 4097, 231, 10, 9985, 10013, - 166, 0, 98, 105, 110, 97, 114, 121, 0, 1, - 2, 4097, 231, 10, 10002, 10028, 166, 0, 111, 99, - 116, 97, 108, 0, 1, 8, 4097, 231, 10, 10018, - 10041, 166, 0, 104, 101, 120, 0, 1, 16, 4097, - 231, 10, 10033, 10063, 166, 0, 105, 111, 58, 101, - 110, 117, 109, 101, 114, 97, 116, 101, 0, 27, - 10, 10046, 10078, 166, 0, 105, 111, 58, 113, 117, - 101, 114, 121, 0, 28, 10, 10065, 10094, 166, 0, - 105, 111, 58, 105, 110, 118, 111, 107, 101, 0, - 29, 10, 10080, 10112, 166, 0, 105, 111, 58, 115, - 99, 97, 110, 45, 102, 111, 114, 0, 1, -1, - 4, 2049, 10063, 1793, 10143, 2049, 9906, 2049, 10078, 772, - 67502597, 11, 1793, 10139, 1793, 10134, 3, 2049, 9906, 10, - 1, 10130, 2049, 2192, 10, 1, 10128, 9, 10, 1, - 10119, 2049, 9962, 3, 10, 10096, 10159, 166, 0, 99, - 58, 112, 117, 116, 0, 1793, 10161, 1, 0, 2049, - 10094, 10, 10149, 10173, 166, 0, 110, 108, 0, 1, - 10, 2049, 10159, 10, 10166, 10185, 166, 0, 115, 112, - 0, 1, 32, 2049, 10159, 10, 10178, 10198, 166, 0, - 116, 97, 98, 0, 1, 9, 2049, 10159, 10, 10190, - 10213, 166, 0, 115, 58, 112, 117, 116, 0, 1, - 10159, 2049, 4541, 10, 10203, 10228, 166, 0, 110, 58, - 112, 117, 116, 0, 2049, 7908, 2049, 10213, 10, 10218, - 10243, 166, 0, 114, 101, 115, 101, 116, 0, 2049, - 1558, 25, 771, 1, 10243, 7, 10, 10233, 10266, 166, - 0, 100, 117, 109, 112, 45, 115, 116, 97, 99, - 107, 0, 2049, 1558, 25, 134284547, 10266, 134283782, 10228, 2049, - 10185, 10, 10251, 10285, 166, 0, 70, 82, [2,69], 0, - 2049, 4146, 1, 1025, 18, 2049, 1953, 18, 10, 10276, - 10303, 166, 0, 101, 111, 108, 63, 0, 1793, 10309, - 1, 13, 11, 10, 1, 10305, 1793, 10317, 1, 10, - 11, 10, 1, 10313, 1793, 10325, 1, 32, 11, 10, - 1, 10321, 2049, 2256, [2,22], 10, 10294, 10343, 166, 0, - 118, 97, 108, 105, 100, 63, 0, 2, 2049, 102, - 2049, 2774, 10, 10332, 10357, 166, 0, 98, 115, 63, - 0, 2, 1793, 10364, 1, 8, 11, 10, 1, 10360, - 1793, 10372, 1, 127, 11, 10, 1, 10368, 2049, 2216, - 22, 10, 10349, 10391, 166, 0, 99, 104, 101, 99, - 107, 45, 98, 115, 0, 2049, 10357, 1793, 10414, 2049, - 4032, 1, 2, 2049, 2713, 1793, 10407, 2049, 3982, 3, - 10, 1, 10403, 9, 2049, 3982, 3, 10, 1, 10395, - 9, 10, 10276, 10428, 166, 0, 99, 58, 103, 101, - 116, 0, 1793, 10430, [2,1], 2049, 10112, 2049, 10094, 10, - 10418, 10452, 166, 0, 115, 58, 103, 101, 116, 45, - 119, 111, 114, 100, 0, 1793, 10480, 1, 7, 15, - 2049, 4053, 1793, 10471, 2049, 10428, 2, 2049, 3957, 2049, - 10391, 2049, 10303, 10, 1, 10461, 2049, 2445, 2049, 3921, - 2049, 4391, 10, 1, 10454, 2049, 4078, 10, 10437, 10493, - 166, 0, 98, 121, 101, 0, 26, 10, 10485, 10506, - 166, 0, 108, 105, 115, 116, 101, 110, 0, 2049, - 10452, 2049, 10343, 1, 405, 1, 15, 2049, 64, 1, - 10506, 7, 10, 10495, 10540, 166, 10894, 99, 108, 111, - 99, 107, 58, 111, 112, 101, 114, 97, 116, 105, - 111, 110, 0, 1, 5, 2049, 10112, 2, 2049, 2794, - 1793, 10590, 3, 2049, 4281, 69, [2,114], 111, 114, 58, - 32, 100, 101, 118, 105, 99, 101, 32, 40, [3,48], - 53, 41, 32, 110, 111, 116, 32, 102, 111, 117, - 110, 100, 0, 1, 10552, 2049, 10213, 2049, 10173, 10, - 1, 10549, 2049, 2890, 2049, 10094, 10, 10520, 10617, 166, - 10894, 99, 108, 111, 99, 107, 58, 116, 105, 109, - 101, 115, 116, 97, 109, 112, 0, 1, 0, 2049, - 10540, 10, 10597, 10636, 166, 10894, 99, 108, 111, 99, - 107, 58, 100, 97, 121, 0, [2,1], 2049, 10540, 10, - 10622, 10657, 166, 10894, 99, 108, 111, 99, 107, 58, - 109, 111, 110, 116, 104, 0, 1, 2, 2049, 10540, - 10, 10641, 10677, 166, 10894, 99, 108, 111, 99, 107, - 58, 121, 101, 97, 114, 0, 1, 3, 2049, 10540, - 10, 10662, 10697, 166, 10894, 99, 108, 111, 99, 107, - 58, 104, 111, 117, 114, 0, 1, 4, 2049, 10540, - 10, 10682, 10719, 166, 10894, 99, 108, 111, 99, 107, - 58, 109, 105, 110, 117, 116, 101, 0, 1, 5, - 2049, 10540, 10, 10702, 10741, 166, 10894, 99, 108, 111, - 99, 107, 58, 115, 101, 99, 111, 110, 100, 0, - 1, 6, 2049, 10540, 10, 10724, 10764, 166, 10894, 99, - 108, 111, 99, 107, 58, 117, 116, 99, 58, 100, - 97, 121, 0, 1, 7, 2049, 10540, 10, 10746, 10789, - 166, 10894, 99, 108, 111, 99, 107, 58, 117, 116, - 99, 58, 109, 111, 110, 116, 104, 0, 1, 8, - 2049, 10540, 10, 10769, 10813, 166, 10894, 99, 108, 111, - 99, 107, 58, 117, 116, 99, 58, 121, 101, 97, - 114, 0, 1, 9, 2049, 10540, 10, 10794, 10837, 166, - 10894, 99, 108, 111, 99, 107, 58, 117, 116, 99, - 58, 104, 111, 117, 114, 0, 1, 10, 2049, 10540, - 10, 10818, 10863, 166, 10894, 99, 108, 111, 99, 107, - 58, 117, 116, 99, 58, 109, 105, 110, 117, 116, - 101, 0, 1, 11, 2049, 10540, 10, 10842, 10889, 166, - 10894, 99, 108, 111, 99, 107, 58, 117, 116, 99, - 58, 115, 101, 99, 111, 110, 100, 0, 1, 12, - 2049, 10540, 10, 105, 110, 116, 101, 114, 102, 97, - 99, 101, 47, 99, 108, 111, 99, 107, 46, 114, - 101, 116, 114, 111, 0, 10868, 10935, 166, 11675, 102, - 105, 108, 101, 58, 111, 112, 101, 114, 97, 116, - 105, 111, 110, 0, 1, 4, 2049, 10112, 2, 2049, - 2794, 1793, 10985, 3, 2049, 4281, 69, [2,114], 111, 114, - 58, 32, 100, 101, 118, 105, 99, 101, 32, 40, - [3,48], 52, 41, 32, 110, 111, 116, 32, 102, 111, - 117, 110, 100, 0, 1, 10947, 2049, 10213, 2049, 10173, - 10, 1, 10944, 2049, 2890, 2049, 10094, 10, 10916, 0, - 154, 11675, 102, 105, 108, 101, 58, 82, 0, 10992, - 1, 154, 11675, 102, 105, 108, 101, 58, 87, 0, - 11003, 2, 154, 11675, 102, 105, 108, 101, 58, 65, - 0, 11014, 3, 154, 11675, 102, 105, 108, 101, 58, - 82, 43, 0, 11025, 11051, 166, 11675, 102, 105, 108, - 101, 58, 111, 112, 101, 110, 0, 1, 0, 2049, - 10935, 10, 11037, 11071, 166, 11675, 102, 105, 108, 101, - 58, 99, 108, 111, 115, 101, 0, [2,1], 2049, 10935, - 10, 11056, 11090, 166, 11675, 102, 105, 108, 101, 58, - 114, 101, 97, 100, 0, 1, 2, 2049, 10935, 10, - 11076, 11110, 166, 11675, 102, 105, 108, 101, 58, 119, - 114, 105, 116, 101, 0, 1, 3, 2049, 10935, 10, - 11095, 11129, 166, 11675, 102, 105, 108, 101, 58, 116, - 101, [2,108], 0, 1, 4, 2049, 10935, 10, 11115, 11148, - 166, 11675, 102, 105, 108, 101, 58, 115, [2,101], 107, - 0, 1, 5, 2049, 10935, 10, 11134, 11167, 166, 11675, - 102, 105, 108, 101, 58, 115, 105, 122, 101, 0, - 1, 6, 2049, 10935, 10, 11153, 11188, 166, 11675, 102, - 105, 108, 101, 58, 100, 101, 108, 101, 116, 101, - 0, 1, 7, 2049, 10935, 10, 11172, 11208, 166, 11675, - 102, 105, 108, 101, 58, 102, 108, 117, 115, 104, - 0, 1, 8, 2049, 10935, 10, 11193, 11230, 166, 11675, - 102, 105, 108, 101, 58, 101, 120, 105, 115, 116, - 115, 63, 0, 1, 0, 2049, 11051, 2, 2049, 2774, - 1793, 11244, 2049, 11071, 2049, 2571, 10, 1, 11239, 1793, - 11252, 3, 2049, 2584, 10, 1, 11248, 2049, 64, 10, - 11213, 11283, 166, 11675, 102, 105, 108, 101, 58, 111, - 112, 101, 110, 45, 102, 111, 114, 45, 114, 101, - 97, 100, 105, 110, 103, 0, 1, 0, 2049, 11051, - 2, 2049, 11167, 4, 10, 11257, 11317, 166, 11675, 102, - 105, 108, 101, 58, 111, 112, 101, 110, 45, 102, - 111, 114, 45, 97, [2,112], 101, 110, 100, 0, 1, - 2, 2049, 11051, 2, 2049, 11167, 4, 10, 11292, 11352, - 166, 11675, 102, 105, 108, 101, 58, 111, 112, 101, - 110, 45, 102, 111, 114, 45, 119, 114, 105, 116, - 105, 110, 103, 0, [2,1], 2049, 11051, 10, 11326, 11365, - 154, 0, 70, 73, 68, [2,0], 11357, 11375, 154, 0, - 83, 105, 122, 101, [2,0], 11366, 11387, 154, 0, 65, - 99, 116, 105, 111, 110, [2,0], 11376, 11399, 154, 0, - 66, 117, [2,102], 101, 114, [2,0], 11388, 11410, 166, 0, - 45, 101, 111, 102, 63, 0, 3841, 11365, 2049, 11129, - 3841, 11375, 13, 10, 11400, 11431, 166, 0, 112, 114, - 101, 115, 101, 114, 118, 101, 0, 1, 11365, 1793, - 11442, 1, 11375, 1, 25, 2049, 3798, 10, 1, 11435, - 2049, 3798, 10, 11326, 11466, 166, 11675, 102, 105, 108, - 101, 58, 114, 101, 97, 100, 45, 108, 105, 110, - 101, 0, 4097, 11365, 1793, 11523, 2049, 1953, 2, 4097, - 11399, 2049, 4053, 1793, 11515, 3841, 11365, 2049, 11090, 2, - 2049, 3957, 1793, 11492, 1, 13, 11, 10, 1, 11488, - 1793, 11500, 1, 10, 11, 10, 1, 11496, 1793, 11508, - 1, 0, 11, 10, 1, 11504, 2049, 2256, [2,22], 10, - 1, 11479, 2049, 2445, 2049, 3982, 3, 10, 1, 11470, - 2049, 4078, 3841, 11399, 10, 11447, 11553, 166, 11675, 102, - 105, 108, 101, 58, 102, 111, 114, 45, 101, 97, - 99, 104, 45, 108, 105, 110, 101, 0, 1793, 11584, - 4097, 11387, 2049, 11283, 4097, 11365, 4097, 11375, 1793, 11575, - 3841, 11365, 2049, 11466, 3841, 11387, 8, 2049, 11410, 10, - 1, 11565, 2049, 2421, 3841, 11365, 2049, 11071, 10, 1, - 11555, 2049, 11431, 10, 11530, 11597, 154, 0, 70, 73, - 68, [2,0], 11530, 11613, 166, 11675, 102, 105, 108, 101, - 58, 115, 108, 117, 114, 112, 0, 1793, 11640, 4, - 2049, 4053, 2049, 11283, 4097, 11597, 1793, 11631, 3841, 11597, - 2049, 11090, 2049, 3957, 10, 1, 11624, 2049, 2495, 3841, - 11597, 2049, 11071, 10, 1, 11615, 2049, 4078, 10, 11598, - 11659, 166, 11675, 102, 105, 108, 101, 58, 115, 112, - 101, 119, 0, 2049, 11352, 4, 1793, 11668, 67502597, 2049, - 11110, 10, 1, 11664, 2049, 4541, 2049, 11071, 10, 105, - 110, 116, 101, 114, 102, 97, 99, 101, 47, 102, - 105, 108, 101, 115, 121, 115, 116, 101, 109, 46, - 114, 101, 116, 114, 111, 0, 11645, 11722, 166, 13734, - 102, 108, 111, 97, 116, 58, 111, 112, 101, 114, - 97, 116, 105, 111, 110, 0, 1, 2, 2049, 10112, - 2, 2049, 2794, 1793, 11772, 3, 2049, 4281, 69, [2,114], - 111, 114, 58, 32, 100, 101, 118, 105, 99, 101, - 32, 40, [3,48], 50, 41, 32, 110, 111, 116, 32, - 102, 111, 117, 110, 100, 0, 1, 11734, 2049, 10213, - 2049, 10173, 10, 1, 11731, 2049, 2890, 2049, 10094, 10, - 11702, 11794, 166, 13734, 110, 58, 116, 111, 45, 102, - 108, 111, 97, 116, 0, 1, 0, 2049, 11722, 10, - 11779, 11814, 166, 13734, 115, 58, 116, 111, 45, 102, - 108, 111, 97, 116, 0, [2,1], 2049, 11722, 10, 11799, - 11835, 166, 13734, 102, 58, 116, 111, 45, 110, 117, - 109, 98, 101, 114, 0, 1, 2, 2049, 11722, 10, - 11819, 11856, 166, 13734, 102, 58, 116, 111, 45, 115, - 116, 114, 105, 110, 103, 0, 2049, 4261, 2, 1, - 3, 2049, 11722, 10, 11840, 11872, 166, 13734, 102, 58, - 43, 0, 1, 4, 2049, 11722, 10, 11864, 11885, 166, - 13734, 102, 58, 45, 0, 1, 5, 2049, 11722, 10, - 11877, 11898, 166, 13734, 102, 58, 42, 0, 1, 6, - 2049, 11722, 10, 11890, 11911, 166, 13734, 102, 58, 47, - 0, 1, 7, 2049, 11722, 10, 11903, 11928, 166, 13734, - 102, 58, 102, 108, [2,111], 114, 0, 1, 8, 2049, - 11722, 10, 11916, 11947, 166, 13734, 102, 58, 99, 101, - 105, 108, 105, 110, 103, 0, 1, 9, 2049, 11722, - 10, 11933, 11963, 166, 13734, 102, 58, 115, 113, 114, - 116, 0, 1, 10, 2049, 11722, 10, 11952, 11978, 166, - 13734, 102, 58, 101, 113, 63, 0, 1, 11, 2049, - 11722, 10, 11968, 11994, 166, 13734, 102, 58, 45, 101, - 113, 63, 0, 1, 12, 2049, 11722, 10, 11983, 12009, - 166, 13734, 102, 58, 108, 116, 63, 0, 1, 13, - 2049, 11722, 10, 11999, 12024, 166, 13734, 102, 58, 103, - 116, 63, 0, 1, 14, 2049, 11722, 10, 12014, 12041, - 166, 13734, 102, 58, 100, 101, 112, 116, 104, 0, - 1, 15, 2049, 11722, 10, 12029, 12056, 166, 13734, 102, - 58, 100, 117, 112, 0, 1, 16, 2049, 11722, 10, - 12046, 12072, 166, 13734, 102, 58, 100, 114, 111, 112, - 0, 1, 17, 2049, 11722, 10, 12061, 12088, 166, 13734, - 102, 58, 115, 119, 97, 112, 0, 1, 18, 2049, - 11722, 10, 12077, 12103, 166, 13734, 102, 58, 108, 111, - 103, 0, 1, 19, 2049, 11722, 10, 12093, 12120, 166, - 13734, 102, 58, 112, 111, 119, 101, 114, 0, 1, - 20, 2049, 11722, 10, 12108, 12135, 166, 13734, 102, 58, - 115, 105, 110, 0, 1, 21, 2049, 11722, 10, 12125, - 12150, 166, 13734, 102, 58, 99, 111, 115, 0, 1, - 22, 2049, 11722, 10, 12140, 12165, 166, 13734, 102, 58, - 116, 97, 110, 0, 1, 23, 2049, 11722, 10, 12155, - 12181, 166, 13734, 102, 58, 97, 115, 105, 110, 0, - 1, 24, 2049, 11722, 10, 12170, 12197, 166, 13734, 102, - 58, 97, 99, 111, 115, 0, 1, 25, 2049, 11722, - 10, 12186, 12213, 166, 13734, 102, 58, 97, 116, 97, - 110, 0, 1, 26, 2049, 11722, 10, 12202, 12229, 166, - 13734, 102, 58, 112, 117, 115, 104, 0, 1, 27, - 2049, 11722, 10, 12218, 12244, 166, 13734, 102, 58, 112, - 111, 112, 0, 1, 28, 2049, 11722, 10, 12234, 12262, - 166, 13734, 102, 58, 97, 100, 101, 112, 116, 104, - 0, 1, 29, 2049, 11722, 10, 12249, 12278, 166, 13734, - 102, 58, 111, 118, 101, 114, 0, 2049, 12229, 2049, - 12056, 2049, 12244, 2049, 12088, 10, 12267, 12298, 166, 13734, - 102, 58, 116, 117, 99, 107, 0, 2049, 12056, 2049, - 12229, 2049, 12088, 2049, 12244, 10, 12287, 12317, 166, 13734, - 102, 58, 110, 105, 112, 0, 2049, 12088, 2049, 12072, - 10, 12307, 12338, 166, 13734, 102, 58, 100, 114, 111, - 112, 45, 112, 97, 105, 114, 0, 2049, 12072, 2049, - 12072, 10, 12322, 12358, 166, 13734, 102, 58, 100, 117, - 112, 45, 112, 97, 105, 114, 0, 2049, 12278, 2049, - 12278, 10, 12343, 12373, 166, 13734, 102, 58, 114, 111, - 116, 0, 2049, 12229, 2049, 12088, 2049, 12244, 2049, 12088, - 10, 12363, 12394, 178, 13734, 115, 105, 103, 105, 108, - 58, 46, 0, 2049, 1893, 1, 4308, 1, 4234, 2049, - 64, 1, 11814, 2049, 166, 10, 12382, 12420, 166, 13734, - 102, 58, 115, 113, 117, 97, 114, 101, 0, 2049, - 12056, 2049, 11898, 10, 12407, 12441, 166, 13734, 102, 58, - 112, 111, 115, 105, 116, 105, 118, 101, 63, 0, - 1, 0, 2049, 11794, 2049, 12024, 10, 12425, 12464, 166, - 13734, 102, 58, 110, 101, 103, 97, 116, 105, 118, - 101, 63, 0, 1, 0, 2049, 11794, 2049, 12009, 10, - 12448, 12484, 166, 13734, 102, 58, 110, 101, 103, 97, - 116, 101, 0, 1, -1, 2049, 11794, 2049, 11898, 10, - 12471, 12501, 166, 13734, 102, 58, 97, 98, 115, 0, - 2049, 12056, 2049, 12464, 1, 12484, 9, 10, 12491, 12519, - 166, 13734, 102, 58, 112, 117, 116, 0, 2049, 11856, - 2049, 10213, 10, 12509, 12533, 166, 13734, 102, 58, 80, - 73, 0, 2049, 4281, 51, 46, 49, 52, 49, 53, - 57, 50, 54, 53, 52, 0, 1, 12535, 2049, 11814, - 10, 12524, 12560, 166, 13734, 102, 58, 69, 0, 2049, - 4281, 50, 46, 55, 49, 56, 50, 56, 49, 56, - 50, 56, 0, 1, 12562, 2049, 11814, 10, 12552, 12589, - 166, 13734, 102, 58, 78, 65, 78, 0, 2049, 4281, - 48, 0, 1, 12591, 2049, 11814, 2049, 4281, 48, 0, - 1, 12599, 2049, 11814, 2049, 11911, 10, 12579, 12618, 166, - 13734, 102, 58, 73, 78, 70, 0, 2049, 4281, 49, - 46, 48, 0, 1, 12620, 2049, 11814, 2049, 4281, 48, - 0, 1, 12630, 2049, 11814, 2049, 11911, 10, 12608, 12650, - 166, 13734, 102, 58, 45, 73, 78, 70, 0, 2049, - 4281, 45, 49, 46, 48, 0, 1, 12652, 2049, 11814, - 2049, 4281, 48, 0, 1, 12663, 2049, 11814, 2049, 11911, - 10, 12639, 12683, 166, 13734, 102, 58, 110, 97, 110, - 63, 0, 2049, 12056, 2049, 11994, 10, 12672, 12699, 166, - 13734, 102, 58, 105, 110, 102, 63, 0, 2049, 12618, - 2049, 11978, 10, 12688, 12716, 166, 13734, 102, 58, 45, - 105, 110, 102, 63, 0, 2049, 12650, 2049, 11978, 10, - 12704, 12733, 166, 13734, 102, 58, 114, 111, 117, 110, - 100, 0, 2049, 12056, 2049, 12464, 1793, 12754, 2049, 4281, - 48, 46, 53, 0, 1, 12741, 2049, 11814, 2049, 11885, - 2049, 11947, 10, 1, 12739, 1793, 12773, 2049, 4281, 48, - 46, 53, 0, 1, 12760, 2049, 11814, 2049, 11872, 2049, - 11928, 10, 1, 12758, 2049, 64, 10, 12721, 12788, 166, - 13734, 102, 58, 109, 105, 110, 0, 2049, 12358, 2049, - 12009, 1, 12072, 1, 12317, 2049, 64, 10, 12778, 12809, - 166, 13734, 102, 58, 109, 97, 120, 0, 2049, 12358, - 2049, 12024, 1, 12072, 1, 12317, 2049, 64, 10, 12799, - 12832, 166, 13734, 102, 58, 108, 105, 109, 105, 116, - 0, 2049, 12088, 2049, 12229, 2049, 12788, 2049, 12244, 2049, - 12809, 10, 12820, 12858, 166, 13734, 102, 58, 98, 101, - 116, 119, [2,101], 110, 63, 0, 2049, 12373, 2049, 12056, - 2049, 12229, 2049, 12373, 2049, 12373, 2049, 12832, 2049, 12244, - 2049, 11978, 10, 12843, 12885, 166, 13734, 102, 58, 105, - 110, 99, 0, 2049, 4281, 49, 0, 1, 12887, 2049, - 11814, 2049, 11872, 10, 12875, 12906, 166, 13734, 102, 58, - 100, 101, 99, 0, 2049, 4281, 49, 0, 1, 12908, - 2049, 11814, 2049, 11885, 10, 12896, 12928, 166, 13734, 102, - 58, 99, 97, 115, 101, 0, 2049, 12278, 2049, 11978, - 1793, 12940, 2049, 12072, 8, 1, -1, 10, 1, 12934, - 1793, 12948, 3, 1, 0, 10, 1, 12944, 2049, 64, - 25, 6, 771, 10, 12917, 12967, 166, 13734, 102, 58, - 115, 105, 103, 110, 0, 2049, 12056, 2049, 4281, 48, - 0, 1, 12971, 2049, 11814, 2049, 11978, 1793, 12986, 1, - 0, 2049, 12072, 10, 1, 12981, 2049, 2890, 2049, 4281, - 48, 0, 1, 12992, 2049, 11814, 2049, 12024, 1793, 13005, - [2,1], 10, 1, 13002, 1793, 13012, 1, -1, 10, 1, - 13009, 2049, 64, 10, 12956, 2147483645, 154, 13734, 101, 58, - 77, 65, 88, 0, 13017, -2147483645, 154, 13734, 101, 58, - 77, 73, 78, 0, 13027, -2147483647, 154, 13734, 101, 58, - 78, 65, 78, 0, 13037, 2147483646, 154, 13734, 101, 58, - 73, 78, 70, 0, 13047, -2147483646, 154, 13734, 101, 58, - 45, 73, 78, 70, 0, 13057, 13077, 166, 13734, 101, - 58, 110, 63, 0, 1, -2147483645, 2049, 3140, 1, 2147483645, - 2049, 3153, 2049, 3171, 10, 13068, 13099, 166, 13734, 101, - 58, 109, 97, 120, 63, 0, 1, 2147483645, 11, 10, - 13088, 13114, 166, 13734, 101, 58, 109, 105, 110, 63, - 0, 1, -2147483645, 11, 10, 13103, 13130, 166, 13734, 101, - 58, 122, 101, 114, 111, 63, 0, 2049, 2757, 10, - 13118, 13144, 166, 13734, 101, 58, 110, 97, 110, 63, - 0, 1, -2147483647, 11, 10, 13133, 13159, 166, 13734, 101, - 58, 105, 110, 102, 63, 0, 1, 2147483646, 11, 10, - 13148, 13175, 166, 13734, 101, 58, 45, 105, 110, 102, - 63, 0, 1, -2147483646, 11, 10, 13163, 13190, 166, 13734, - 101, 58, 99, 108, 105, 112, 0, 1, -2147483645, 1, - 2147483645, 2049, 3122, 10, 13179, 13206, 166, 13734, 102, 58, - 69, 49, 0, 1793, 13208, 2049, 4281, 49, 46, 101, - 53, 0, 1, 13210, 2049, 11814, 10, 13197, 13238, 166, - 13734, 102, 58, 115, 105, 103, 110, 101, 100, 45, - 115, 113, 114, 116, 0, 2049, 12056, 2049, 12967, 2049, - 12501, 2049, 11963, 2049, 11794, 2049, 11898, 10, 13220, 13271, - 166, 13734, 102, 58, 115, 105, 103, 110, 101, 100, - 45, 115, 113, 117, 97, 114, 101, 0, 2049, 12056, - 2049, 12967, 2049, 12056, 2049, 11898, 2049, 11794, 2049, 11898, - 10, 13251, 13297, 166, 0, 102, 58, 45, 115, 104, - 105, 102, 116, 0, 2049, 13206, 2049, 11898, 10, 13284, - 13315, 166, 0, 102, 58, 43, 115, 104, 105, 102, - 116, 0, 2049, 13206, 2049, 11911, 10, 13302, 13334, 166, - 0, 102, 58, 43, 101, 110, 99, 111, 100, 101, - 0, 2049, 13238, 2049, 13297, 10, 13320, 13353, 166, 0, - 102, 58, 45, 101, 110, 99, 111, 100, 101, 0, - 2049, 12056, 2049, 12967, 2049, 13315, 2049, 12056, 2049, 11898, - 2049, 11794, 2049, 11898, 10, 13251, 13379, 166, 13734, 102, - 58, 116, 111, 45, 101, 0, 2049, 12056, 2049, 12683, - 1793, 13390, 2049, 12072, 1, -2147483647, 10, 1, 13385, 2049, - 2890, 2049, 12056, 2049, 12699, 1793, 13405, 2049, 12072, 1, - 2147483646, 10, 1, 13400, 2049, 2890, 2049, 12056, 2049, 12716, - 1793, 13420, 2049, 12072, 1, -2147483646, 10, 1, 13415, 2049, - 2890, 2049, 13334, 2049, 12733, 2049, 11835, 2049, 13190, 1, - -2147483645, 1, 12072, 2049, 2596, 1, 2147483645, 1, 12072, 2049, - 2596, 10, 13368, 13456, 166, 13734, 101, 58, 116, 111, - 45, 102, 0, 1, -2147483647, 1, 12589, 2049, 2596, 1, - 2147483646, 1, 12618, 2049, 2596, 1, -2147483646, 1, 12650, 2049, - 2596, 2049, 11794, 2049, 13353, 10, 13445, 13491, 166, 13734, - 102, 58, 115, 116, 111, 114, 101, 0, 1, 13379, - 2049, 2192, 16, 10, 13479, 13509, 166, 13734, 102, 58, - 102, 101, 116, 99, 104, 0, 15, 2049, 13456, 10, - 13497, 13530, 166, 13734, 102, 58, 100, 117, 109, 112, - 45, 115, 116, 97, 99, 107, 0, 2049, 12041, 2, - 1, 12229, 2049, 2495, 1793, 13548, 2049, 12244, 2049, 12056, - 2049, 12519, 2049, 10185, 10, 1, 13539, 2049, 2495, 10, - 13513, 13571, 166, 13734, 102, 58, 100, 117, 109, 112, - 45, 97, 115, 116, 97, 99, 107, 0, 2049, 12262, - 2, 1, 12244, 2049, 2495, 1793, 13589, 2049, 12056, 2049, - 12519, 2049, 10185, 2049, 12229, 10, 1, 13580, 2049, 2495, - 10, 13553, 13604, 166, 13734, 101, 58, 112, 117, 116, - 0, 1, 2147483645, 1793, 13621, 2049, 4281, 101, 58, 77, - 65, 88, 0, 1, 13610, 2049, 10213, 10, 1, 13608, - 2049, 2596, 1, -2147483645, 1793, 13642, 2049, 4281, 101, 58, - 77, 73, 78, 0, 1, 13631, 2049, 10213, 10, 1, - 13629, 2049, 2596, 1, 0, 1793, 13661, 2049, 4281, 101, - 58, 48, 0, 1, 13652, 2049, 10213, 10, 1, 13650, - 2049, 2596, 1, -2147483647, 1793, 13682, 2049, 4281, 101, 58, - 78, 65, 78, 0, 1, 13671, 2049, 10213, 10, 1, - 13669, 2049, 2596, 1, 2147483646, 1793, 13703, 2049, 4281, 101, - 58, 73, 78, 70, 0, 1, 13692, 2049, 10213, 10, - 1, 13690, 2049, 2596, 1, -2147483646, 1793, 13725, 2049, 4281, - 101, 58, 45, 73, 78, 70, 0, 1, 13713, 2049, - 10213, 10, 1, 13711, 2049, 2596, 2049, 13456, 2049, 12519, - 10, 105, 110, 116, 101, 114, 102, 97, 99, 101, - 47, 102, 108, 111, 97, 116, 105, 110, 103, 112, - 111, 105, 110, 116, 46, 114, 101, 116, 114, 111, - 0, 13594, 13777, 166, 13834, 110, 58, 114, 97, 110, - 100, 111, 109, 0, 1, 10, 2049, 10112, 2, 2049, - 2794, 1793, 13827, 3, 2049, 4281, 69, [2,114], 111, 114, - 58, 32, 100, 101, 118, 105, 99, 101, 32, 40, - [2,48], 49, 48, 41, 32, 110, 111, 116, 32, 102, - 111, 117, 110, 100, 0, 1, 13789, 2049, 10213, 2049, - 10173, 10, 1, 13786, 2049, 2890, 2049, 10094, 10, 105, - 110, 116, 101, 114, 102, 97, 99, 101, 47, 114, - 110, 103, 46, 114, 101, 116, 114, 111, 0, 13764, - 13866, 166, 0, 100, 58, 119, 111, 114, 100, 115, - 0, 1793, 13875, 2049, 186, 2049, 10213, 2049, 10185, 10, - 1, 13868, 2049, 8364, 10, 13854, 13897, 166, 0, 100, - 58, 119, 111, 114, 100, 115, 45, 119, 105, 116, - 104, 0, 2049, 1953, 2049, 5346, 1793, 13928, 2049, 186, - 2, 2049, 1953, 2049, 4849, 1793, 13917, 2049, 10213, 2049, - 10185, 10, 1, 13912, 1793, 13923, 3, 10, 1, 13921, - 2049, 64, 10, 1, 13903, 2049, 8364, 10, 13880, 13953, - 166, 0, 100, 105, 115, 112, 108, 97, 121, 45, - 105, 102, 45, 108, 101, 102, 116, 0, 2, 2049, - 1953, 2049, 5294, 1793, 13965, 2049, 10213, 2049, 10185, 10, - 1, 13960, 1793, 13971, 3, 10, 1, 13969, 2049, 64, - 10, 13880, 14003, 166, 0, 100, 58, 119, 111, 114, - 100, 115, 45, 98, 101, 103, 105, [2,110], 105, 110, - 103, 45, 119, 105, 116, 104, 0, 2049, 1953, 2049, - 5346, 1793, 14014, 2049, 186, 2049, 13953, 10, 1, 14009, - 2049, 8364, 10, 0 + 4097, 6271, 4097, 6257, 2049, 5500, 4097, 6285, 1, 0, + 4097, 6297, 1, 0, 4097, 6309, 3841, 6257, 2049, 104, + 1793, 6504, 2049, 6370, 2049, 6342, 2049, 6401, 2049, 6440, + 10, 1, 6495, 2049, 3153, 3841, 6309, 10, 6445, 6529, + 168, 0, 59711416, 0, [2,200], 0, 115, 58, 102, 105, + 108, 116, 101, 114, 0, 67502597, 2049, 5322, 1793, 6539, + 1, 5350, 2049, 2889, 10, 1, 6534, 9, 1793, 6570, + 2049, 5500, 2049, 5179, 4, 1793, 6562, 2049, 2873, 4, + 8, 1, 5063, 1, 17, 2049, 66, 10, 1, 6551, + 2049, 5849, 3, 2049, 5017, 10, 1, 6544, 2049, 5209, + 10, 6511, 6590, 168, 0, 272739504, 0, [2,200], 0, 115, + 58, 109, 97, 112, 0, 1793, 6612, 2049, 5500, 2049, + 5179, 4, 1793, 6604, 67502597, 8, 2049, 5063, 10, 1, + 6599, 2049, 5849, 3, 2049, 5017, 10, 1, 6592, 2049, + 5209, 10, 6575, 6635, 168, 0, 582342613, 0, [2,200], 0, + 115, 58, 115, 117, 98, 115, 116, 114, 0, 1793, + 6641, 17, 2049, 5500, 10, 1, 6637, 2049, 2889, 1793, + 6653, 67502597, 1, 4923, 2049, 2889, 10, 1, 6647, 2049, + 2905, 67502597, 1793, 6666, 17, 1, 0, 4, 16, 10, + 1, 6660, 2049, 2889, 10, 6617, 6688, 168, 0, 666787280, + 0, [2,200], 0, 115, 58, 114, 105, 103, 104, 116, + 0, 67502597, 2049, 104, 67502597, 18, 4, 2049, 6635, 10, + 6671, 6713, 168, 0, 410437245, 0, [2,200], 0, 115, 58, + 108, 101, 102, 116, 0, 1, 0, 4, 2049, 6635, + 10, 6697, 6743, 168, 0, -232792494, 0, [2,200], 0, 115, + 58, 98, 101, 103, 105, 110, 115, 45, 119, 105, + 116, 104, 63, 0, 2, 2049, 104, 1, 19, 2049, + 2889, 2049, 6713, 2049, 118, 10, 6719, 6777, 168, 0, + -2108153340, 0, [2,200], 0, 115, 58, 101, 110, 100, 115, + 45, 119, 105, 116, 104, 63, 0, 2, 2049, 104, + 1, 19, 2049, 2889, 2049, 6688, 2049, 118, 10, 6755, + 6805, 168, 0, 410125037, 0, [2,200], 0, 115, 58, 99, + 111, 112, 121, 0, 67502597, 2049, 104, 2049, 3953, 2049, + 4923, 10, 6789, 6831, 168, 0, -1310218506, 0, [2,200], 0, + 115, 58, 68, 73, 71, 73, 84, 83, 0, 2049, + 5525, 48, 49, 50, 51, 52, 53, 54, 55, 56, + 57, 65, 66, 67, 68, 69, 70, 0, 1, 6833, + 10, 6813, 6880, 168, 0, -1545673491, 0, [2,200], 0, 115, + 58, 65, 83, 67, [2,73], 45, 76, 79, 87, 69, + 82, 67, 65, 83, 69, 0, 2049, 5525, 97, 98, + 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, + 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, + 119, 120, 121, 122, 0, 1, 6882, 10, 6853, 6939, + 168, 0, -1918301808, 0, [2,200], 0, 115, 58, 65, 83, + 67, [2,73], 45, 85, [2,80], 69, 82, 67, 65, 83, + 69, 0, 2049, 5525, 65, 66, 67, 68, 69, 70, + 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, + 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, + 0, 1, 6941, 10, 6912, 6996, 168, 0, -1283195573, 0, + [2,200], 0, 115, 58, 65, 83, 67, [2,73], 45, 76, + 69, [2,84], 69, 82, 83, 0, 2049, 5525, 97, 98, + 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, + 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, + 119, 120, 121, 122, 65, 66, 67, 68, 69, 70, + 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, + 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, + 0, 1, 6998, 10, 6971, 7077, 168, 0, -1868975636, 0, + [2,200], 0, 115, 58, 80, 85, 78, 67, 84, 85, + 65, 84, 73, 79, 78, 0, 2049, 5525, 95, 33, + 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, + 44, 45, 46, 47, 58, 59, 60, 61, 62, 63, + 64, 91, 92, 93, 94, 96, 123, 124, 125, 126, + 0, 1, 7079, 1, 95, 67502597, 16, 10, 7054, 7141, + 156, 0, -143759681, 0, [2,200], 0, 115, 58, 87, 72, + 73, 84, 69, 83, 80, 65, 67, 69, 0, 32, + 9, 10, 13, 0, 7119, 7157, 180, 0, 177612, 0, + [2,200], 0, 39, 0, 1, 5500, 2049, 168, 10, 7146, + 7173, 180, 0, 177609, 0, [2,200], 0, 36, 0, 1, + 0, 2049, 156, 10, 7162, 0, 156, 0, -199368937, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 78, 85, 76, + 0, 7178, 27, 156, 0, -199378813, 0, [2,200], 0, 65, + 83, 67, [2,73], 58, 69, 83, 67, 0, 7197, 8, + 156, 0, 254259165, 0, [2,200], 0, 65, 83, 67, [2,73], + 58, 66, 83, 0, 7216, 9, 156, 0, 254259364, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 72, 84, 0, + 7234, 10, 156, 0, 254259482, 0, [2,200], 0, 65, 83, + 67, [2,73], 58, 76, 70, 0, 7252, 11, 156, 0, + 254259826, 0, [2,200], 0, 65, 83, 67, [2,73], 58, 86, + 84, 0, 7270, 12, 156, 0, 254259284, 0, [2,200], 0, + 65, 83, 67, [2,73], 58, [2,70], 0, 7288, 13, 156, + 0, 254259197, 0, [2,200], 0, 65, 83, 67, [2,73], 58, + 67, 82, 0, 7306, 32, 156, 0, 1936299924, 0, [2,200], + 0, 65, 83, 67, [2,73], 58, 83, 80, 65, 67, + 69, 0, 7324, 127, 156, 0, -199380355, 0, [2,200], 0, + 65, 83, 67, [2,73], 58, 68, 69, 76, 0, 7345, + 1, 156, 0, -199363694, 0, [2,200], 0, 65, 83, 67, + [2,73], 58, 83, 79, 72, 0, 7364, 2, 156, 0, + -199363513, 0, [2,200], 0, 65, 83, 67, [2,73], 58, 83, + 84, 88, 0, 7383, 3, 156, 0, -199378759, 0, [2,200], + 0, 65, 83, 67, [2,73], 58, 69, 84, 88, 0, + 7402, 4, 156, 0, -199378928, 0, [2,200], 0, 65, 83, + 67, [2,73], 58, 69, 79, 84, 0, 7421, 5, 156, + 0, -199378964, 0, [2,200], 0, 65, 83, 67, [2,73], 58, + 69, 78, 81, 0, 7440, 6, 156, 0, -199383689, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 65, 67, 75, + 0, 7459, 7, 156, 0, -199382533, 0, [2,200], 0, 65, + 83, 67, [2,73], 58, 66, 69, 76, 0, 7478, 14, + 156, 0, 254259722, 0, [2,200], 0, 65, 83, 67, [2,73], + 58, 83, 79, 0, 7497, 15, 156, 0, 254259716, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 83, 73, 0, + 7515, 16, 156, 0, -199380131, 0, [2,200], 0, 65, 83, + 67, [2,73], 58, 68, 76, 69, 0, 7533, 17, 156, + 0, -199380448, 0, [2,200], 0, 65, 83, 67, [2,73], 58, + 68, 67, 49, 0, 7552, 18, 156, 0, -199380447, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 68, 67, 50, + 0, 7571, 19, 156, 0, -199380446, 0, [2,200], 0, 65, + 83, 67, [2,73], 58, 68, 67, 51, 0, 7590, 20, + 156, 0, -199380445, 0, [2,200], 0, 65, 83, 67, [2,73], + 58, 68, 67, 52, 0, 7609, 21, 156, 0, -199369598, + 0, [2,200], 0, 65, 83, 67, [2,73], 58, 78, 65, + 75, 0, 7628, 22, 156, 0, -199363358, 0, [2,200], 0, + 65, 83, 67, [2,73], 58, 83, 89, 78, 0, 7647, + 23, 156, 0, -199378781, 0, [2,200], 0, 65, 83, 67, + [2,73], 58, 69, 84, 66, 0, 7666, 24, 156, 0, + -199381574, 0, [2,200], 0, 65, 83, 67, [2,73], 58, 67, + 65, 78, 0, 7685, 25, 156, 0, 254259258, 0, [2,200], + 0, 65, 83, 67, [2,73], 58, 69, 77, 0, 7704, + 26, 156, 0, -199363502, 0, [2,200], 0, 65, 83, 67, + [2,73], 58, 83, 85, 66, 0, 7722, 28, 156, 0, + 254259297, 0, [2,200], 0, 65, 83, 67, [2,73], 58, 70, + 83, 0, 7741, 29, 156, 0, 254259330, 0, [2,200], 0, + 65, 83, 67, [2,73], 58, 71, 83, 0, 7759, 30, + 156, 0, 254259693, 0, [2,200], 0, 65, 83, 67, [2,73], + 58, 82, 83, 0, 7777, 31, 156, 0, 254259792, 0, + [2,200], 0, 65, 83, 67, [2,73], 58, 85, 83, 0, + 7795, 7835, 168, 0, -157167450, 0, [2,200], 0, 99, 58, + 108, 111, 119, 101, 114, 99, 97, 115, 101, 63, + 0, 1, 97, 1, 122, 2049, 3994, 10, 7813, 7864, + 168, 0, 430999977, 0, [2,200], 0, 99, 58, 117, [2,112], + 101, 114, 99, 97, 115, 101, 63, 0, 1, 65, + 1, 90, 2049, 3994, 10, 7842, 7890, 168, 0, -221932303, + 0, [2,200], 0, 99, 58, 108, 101, [2,116], 101, 114, + 63, 0, 1, 7835, 1, 7864, 2049, 2923, 22, 10, + 7871, 7916, 168, 0, 985961842, 0, [2,200], 0, 99, 58, + 100, 105, 103, 105, 116, 63, 0, 1, 48, 1, + 57, 2049, 3994, 10, 7898, 7943, 168, 0, -1227520209, 0, + [2,200], 0, 99, 58, 118, 105, 115, 105, 98, 108, + 101, 63, 0, 1, 32, 1, 126, 2049, 3994, 10, + 7923, 7968, 168, 0, 1698084814, 0, [2,200], 0, 99, 58, + 118, 111, 119, 101, 108, 63, 0, 2049, 5525, 97, + 101, 105, 111, 117, 65, 69, 73, 79, 85, 0, + 1, 7970, 4, 2049, 5972, 10, 7950, 8009, 168, 0, + -1284960908, 0, [2,200], 0, 99, 58, 99, 111, 110, 115, + 111, 110, 97, 110, 116, 63, 0, 2, 2049, 7890, + 1793, 8019, 2049, 7968, 2049, 3372, 10, 1, 8014, 1793, + 8027, 3, 2049, 3257, 10, 1, 8023, 2049, 66, 10, + 7987, 8055, 168, 0, 540935182, 0, [2,200], 0, 99, 58, + 119, 104, 105, 116, 101, 115, 112, 97, 99, 101, + 63, 0, 1, 7141, 4, 2049, 5972, 10, 8032, 8084, + 168, 0, 537650515, 0, [2,200], 0, 99, 58, 45, 108, + 111, 119, 101, 114, 99, 97, 115, 101, 63, 0, + 2049, 7835, 2049, 3372, 10, 8061, 8112, 168, 0, 1125817942, + 0, [2,200], 0, 99, 58, 45, 117, [2,112], 101, 114, + 99, 97, 115, 101, 63, 0, 2049, 7864, 2049, 3372, + 10, 8089, 8136, 168, 0, -32679009, 0, [2,200], 0, 99, + 58, 45, 100, 105, 103, 105, 116, 63, 0, 2049, + 7916, 2049, 3372, 10, 8117, 8165, 168, 0, 1995091547, 0, + [2,200], 0, 99, 58, 45, 119, 104, 105, 116, 101, + 115, 112, 97, 99, 101, 63, 0, 2049, 8055, 2049, + 3372, 10, 8141, 8191, 168, 0, 1869122716, 0, [2,200], 0, + 99, 58, 45, 118, 105, 115, 105, 98, 108, 101, + 63, 0, 2049, 7943, 2049, 3372, 10, 8170, 8215, 168, + 0, 679443963, 0, [2,200], 0, 99, 58, 45, 118, 111, + 119, 101, 108, 63, 0, 2049, 7968, 2049, 3372, 10, + 8196, 8243, 168, 0, -590142943, 0, [2,200], 0, 99, 58, + 45, 99, 111, 110, 115, 111, 110, 97, 110, 116, + 63, 0, 2049, 8009, 2049, 3372, 10, 8220, 8268, 168, + 0, 164041342, 0, [2,200], 0, 99, 58, 116, 111, 45, + 117, [2,112], 101, 114, 0, 2, 2049, 7835, 25, 3, + 1, 32, 18, 10, 8248, 8297, 168, 0, 153339739, 0, + [2,200], 0, 99, 58, 116, 111, 45, 108, 111, 119, + 101, 114, 0, 2, 2049, 7864, 25, 3, 1, 32, + 17, 10, 8277, 8327, 168, 0, 1044946089, 0, [2,200], 0, + 99, 58, 116, 111, 45, 115, 116, 114, 105, 110, + 103, 0, 2049, 5525, 46, 0, 1, 8329, 2049, 5466, + 1, 39, 2049, 2905, 10, 8306, 8363, 168, 0, -1181400147, + 0, [2,200], 0, 99, 58, 116, 111, [2,103], 108, 101, + 45, 99, 97, 115, 101, 0, 2, 2049, 7835, 1, + 8268, 1, 8297, 2049, 66, 10, 8340, 8394, 168, 0, + 850267451, 0, [2,200], 0, 99, 58, 116, 111, 45, 110, + 117, 109, 98, 101, 114, 0, 2, 2049, 7916, 1793, + 8403, 1, 48, 18, 10, 1, 8399, 1793, 8411, 3, + 1, 0, 10, 1, 8407, 2049, 66, 10, 8373, 8436, + 168, 0, 1248863374, 0, [2,200], 0, 115, 58, 116, 111, + 45, 117, [2,112], 101, 114, 0, 1, 8268, 2049, 6590, + 10, 8416, 8461, 168, 0, 1238161771, 0, [2,200], 0, 115, + 58, 116, 111, 45, 108, 111, 119, 101, 114, 0, + 1, 8297, 2049, 6590, 10, 8441, 8487, 168, 0, 1350078662, + 0, [2,200], 0, 115, 58, 116, 114, 105, 109, 45, + 108, 101, 102, 116, 0, 2049, 5466, 1793, 8501, 2049, + 58, 1, 8055, 1, 3492, 2049, 2923, 21, 10, 1, + 8491, 2049, 3064, 2049, 3971, 10, 8466, 8530, 168, 0, + 1610182969, 0, [2,200], 0, 115, 58, 116, 114, 105, 109, + 45, 114, 105, 103, 104, 116, 0, 2049, 5466, 2049, + 5693, 2049, 8487, 2049, 5693, 10, 8508, 8555, 168, 0, + 410738990, 0, [2,200], 0, 115, 58, 116, 114, 105, 109, + 0, 2049, 8530, 2049, 8487, 10, 8539, 8588, 156, 0, + -1636174316, 0, [2,200], 0, 82, 101, 119, 114, 105, 116, + 101, 85, 110, 100, 101, 114, 115, 99, 111, 114, + 101, 115, 0, -1, 8560, 8602, 168, [3,0], [2,200], 0, + 115, 117, 98, 0, 1, 95, 1793, 8609, 1, 32, + 10, 1, 8606, 2049, 3274, 10, 8589, 8631, 168, [3,0], + [2,200], 0, 114, 101, 119, 114, 105, 116, 101, 0, + 3841, 8588, 1793, 8640, 1, 8602, 2049, 6590, 10, 1, + 8635, 9, 10, 8614, 8660, 168, [3,0], [2,200], 0, 104, + 97, 110, 100, 108, 101, 0, 1, 5595, 8, 10, + 8560, 8681, 180, 0, -1801857826, 0, [2,200], 0, 115, 105, + 103, 105, 108, 58, 39, 0, 2049, 8631, 2049, 8660, + 10, 8664, 8708, 168, 0, -1531896405, 0, [2,200], 0, 115, + 58, 115, 112, 108, 105, 116, 47, 99, 104, 97, + 114, 0, 2049, 2873, 2049, 5891, 772, 2049, 2873, 2049, + 6713, 1, 41, 2049, 2889, 10, 8686, 8746, 168, 0, + -1146871996, 0, [2,200], 0, 115, 58, 115, 112, 108, 105, + 116, 47, 115, 116, 114, 105, 110, 103, 0, 2049, + 2873, 2049, 6212, 2049, 3953, 772, 2049, 2873, 2049, 6713, + 1, 41, 2049, 2889, 10, 8722, 8781, 168, 0, 136133038, + 0, [2,200], 0, 115, 58, 114, 101, 112, 108, 97, + 99, 101, 0, 67502597, 2049, 104, 2049, 2585, 16, 1793, + 8797, 2049, 8746, 4, 2049, 2585, 15, 17, 10, 1, + 8789, 2049, 2889, 2049, 5759, 2049, 5825, 10, 8762, 8824, + 156, [3,0], [2,200], 0, 83, 112, 108, 105, 116, 45, + 79, 110, [2,0], 8806, 8841, 168, [3,0], [2,200], 0, 109, + 97, 116, 99, 104, 63, 0, 3841, 8824, 11, 10, + 8825, 8864, 168, [3,0], [2,200], 0, 116, 101, 114, 109, + 105, 110, 97, 116, 101, 0, 1, 0, 67502597, 2049, + 3971, 16, 10, 8845, 8885, 168, [3,0], [2,200], 0, 115, + 116, 101, 112, 0, 1, 3953, 2049, 2889, 2049, 8841, + 1793, 8899, 2, 2049, 130, 2049, 8864, 10, 1, 8893, + 9, 10, 8762, 8923, 168, 0, -638763109, 0, [2,200], 0, + 115, 58, 116, 111, 107, 101, 110, 105, 122, 101, + 0, 4097, 8824, 2049, 5557, 2049, 2585, 1, 0, 2049, + 130, 1793, 8945, 2, 2049, 130, 2, 1, 8885, 2049, + 5849, 3, 10, 1, 8935, 2049, 2889, 2049, 2585, 67502597, + 18, 2049, 3971, 67502597, 16, 10, 8903, 8974, 156, [3,0], + [2,200], 0, 78, [2,101], 100, 108, 101, [129,0], 8958, 9115, + 156, [3,0], [2,200], 0, 76, 101, 110, [2,0], 9102, 9132, + 156, [3,0], [2,200], 0, 84, 111, 107, 101, 110, 115, + [129,0], 9116, 9272, 156, [3,0], [2,200], 0, 84, 80, [2,0], + 9260, 9287, 168, [3,0], [2,200], 0, 115, 97, 118, 101, + 0, 2049, 5557, 3841, 9272, 1, 9132, 17, 2049, 3953, + 16, 1, 9272, 2049, 4744, 10, 9273, 9316, 168, [3,0], + [2,200], 0, 110, 101, 120, 116, 0, 1793, 9322, 3841, + 9115, 17, 10, 1, 9318, 2049, 2905, 10, 9302, 9342, + 168, [3,0], [2,200], 0, 100, 111, 110, 101, 63, 0, + 2049, 104, 2049, 3470, 10, 8903, 9377, 168, 0, -826994327, + 0, [2,200], 0, 115, 58, 116, 111, 107, 101, 110, + 105, 122, 101, 45, 111, 110, 45, 115, 116, 114, + 105, 110, 103, 0, 1, 0, 4097, 9272, 1793, 9391, + 2, 1, 8974, 2049, 6805, 2049, 5825, 10, 1, 9383, + 1793, 9400, 2049, 104, 4097, 9115, 10, 1, 9395, 2049, + 2923, 1793, 9417, 1, 8974, 2049, 8746, 2049, 9287, 2049, + 9316, 2049, 9342, 10, 1, 9406, 2049, 3093, 1, 9132, + 3841, 9272, 2049, 3971, 4097, 9132, 772, 10, 9347, 9447, + 156, [3,0], [2,200], 0, 83, 116, 114, 105, 110, 103, + [67,0], 9431, 9533, 168, [3,0], [2,200], 0, 99, 104, 101, + 99, 107, 45, 115, 105, 103, 110, 0, 2049, 3517, + 1793, 9542, 1, 45, 2049, 5063, 10, 1, 9537, 9, + 10, 9513, 9564, 168, [3,0], [2,200], 0, 110, 45, 62, + 100, 105, 103, 105, 116, 0, 2049, 6831, 17, 15, + 10, 9546, 9586, 168, [3,0], [2,200], 0, 99, 111, 110, + 118, 101, 114, 116, 0, 1793, 9600, 3841, 265, 20, + 4, 2049, 9564, 2049, 5063, 2, 2049, 3470, 10, 1, + 9588, 2049, 3093, 3, 10, 9347, 9636, 168, 0, -1041675421, + 0, [2,200], 0, 110, 58, 116, 111, 45, 115, 116, + 114, 105, 110, 103, 47, 114, 101, 118, 101, 114, + 115, 101, 100, 0, 1793, 9650, 1, 9447, 2049, 5179, + 2, 2049, 3906, 2049, 9586, 2049, 9533, 10, 1, 9638, + 2049, 5209, 1, 9447, 10, 9606, 9678, 168, 0, -112957836, + 0, [2,200], 0, 110, 58, 116, 111, 45, 115, 116, + 114, 105, 110, 103, 0, 2049, 9636, 2049, 5693, 10, + 9657, 9697, 168, [3,0], [2,200], 0, 99, 104, 97, 114, + 0, 1, 32, 1793, 9706, 1, 95, 2049, 5063, 10, + 1, 9701, 2049, 3274, 1, 114, 1793, 9719, 1, 13, + 2049, 5063, 10, 1, 9714, 2049, 3274, 1, 110, 1793, + 9732, 1, 10, 2049, 5063, 10, 1, 9727, 2049, 3274, + 1, 116, 1793, 9745, 1, 9, 2049, 5063, 10, 1, + 9740, 2049, 3274, 1, 48, 1793, 9758, 1, 0, 2049, + 5063, 10, 1, 9753, 2049, 3274, 1, 94, 1793, 9771, + 1, 27, 2049, 5063, 10, 1, 9766, 2049, 3274, 2049, + 5063, 10, 9683, 9792, 168, [3,0], [2,200], 0, 116, 121, + 112, 101, 0, 1, 99, 1793, 9800, 4, 2049, 5063, + 10, 1, 9796, 2049, 3274, 1, 115, 1793, 9814, 4, + 1, 5063, 2049, 5849, 10, 1, 9808, 2049, 3274, 1, + 110, 1793, 9830, 4, 2049, 9678, 1, 5063, 2049, 5849, + 10, 1, 9822, 2049, 3274, 3, 10, 9778, 9852, 168, + [3,0], [2,200], 0, 104, 97, 110, 100, 108, 101, 0, + 1, 92, 1793, 9861, 2049, 58, 2049, 9697, 10, 1, + 9856, 2049, 3274, 1, 37, 1793, 9874, 2049, 58, 2049, + 9792, 10, 1, 9869, 2049, 3274, 2049, 5063, 10, 9657, + 9899, 168, 0, 67034811, 0, [2,200], 0, 115, 58, 102, + 111, 114, 109, 97, 116, 0, 1793, 9928, 2049, 5500, + 1793, 9923, 2049, 5179, 1793, 9918, 2049, 58, 25, 2049, + 9852, 1, 9909, 7, 10, 1, 9909, 8, 3, 10, + 1, 9905, 2049, 2905, 10, 1, 9901, 2049, 5209, 10, + 9881, 9950, 168, 0, 649222073, 0, [2,200], 0, 115, 58, + 99, 111, 110, 115, 116, 0, 1, 5557, 2049, 2889, + 2049, 2763, 10, 9933, 9973, 156, [3,0], [2,200], 0, 86, + 97, 108, 117, 101, 115, [29,0], 9957, 10015, 168, [3,0], + [2,200], 0, 102, 114, 111, 109, 0, 2049, 104, 2, + 1793, 10033, 1793, 10026, 1, 9973, 4113, 10, 1, 10022, + 2049, 2905, 2049, 3971, 10, 1, 10020, 2049, 3153, 3, + 10, 10001, 10051, 168, [3,0], [2,200], 0, 116, 111, 0, + 2, 2049, 104, 1793, 10067, 2049, 58, 1, 97, 18, + 2049, 3953, 1, 9973, 266001, 10, 1, 10056, 2049, 3153, + 3, 10, 9933, 10090, 168, 0, 1054903512, 0, [2,200], 0, + 114, 101, 111, 114, 100, 101, 114, 0, 1, 10015, + 2049, 2889, 2049, 10051, 10, 10073, 10112, 168, 0, 255891066, + 0, [2,200], 0, 99, 117, [2,114], 121, 0, 2049, 2585, + 1793, 10122, 4, 2049, 2394, 2049, 2423, 10, 1, 10116, + 2049, 2889, 10, 10097, 10141, 168, 0, 2090191632, 0, [2,200], + 0, 100, 111, 101, 115, 0, 2049, 2123, 4, 2049, + 10112, 2049, 2100, 2049, 182, 16, 1, 168, 2049, 2200, + 10, 10127, 10176, 168, 0, -1106328024, 0, [2,200], 0, 100, + 58, 102, 111, 114, 45, 101, 97, 99, 104, 0, + 1, 2, 1793, 10189, 6415, 2049, 2873, 134481157, 1542, 1, + 10180, 7, 10, 1, 10180, 8, 3, 10, 10156, 10215, + 168, 0, -441700234, 0, [2,200], 0, 100, 58, 108, [2,111], + 107, 117, 112, 45, 120, 116, 0, 1, 0, 4, + 1793, 10240, 2049, 2873, 2049, 182, 2831, 1793, 10233, 4, + 1, 2816, 2049, 2889, 10, 1, 10227, 1, 17, 2049, + 66, 10, 1, 10220, 2049, 10176, 3, 10, 10194, 10258, + 168, 0, 5863407, 0, [2,200], 0, 103, 99, 0, 1, + 3, 4, 2049, 4871, 10, 10246, 10282, 168, 0, 1957010690, + 0, [2,200], 0, 97, 58, 108, 101, 110, 103, 116, + 104, 0, 15, 10, 10264, 10302, 168, 0, 2000526863, 0, + [2,200], 0, 97, 58, 109, 105, [2,100], 108, 101, 0, + 2049, 2585, 1793, 10325, 2, 2049, 130, 1793, 10315, 2049, + 3953, 17, 10, 1, 10311, 2049, 2889, 2049, 2585, 4, + 2049, 4923, 10, 1, 10306, 2049, 2889, 10, 10284, 10346, + 168, 0, -293999829, 0, [2,200], 0, 97, 58, 108, 101, + 102, 116, 0, 1, 0, 4, 2049, 10302, 10, 10330, + 10369, 168, 0, -1104799682, 0, [2,200], 0, 97, 58, 114, + 105, 103, 104, 116, 0, 67502597, 2049, 10282, 67502597, 18, + 4, 2049, 10302, 10, 10352, 10405, 168, 0, 1310034705, 0, + [2,200], 0, 97, 58, 99, 111, 117, 110, 116, 101, + 100, 45, 114, 101, 115, 117, 108, 116, 115, 0, + 8, 2049, 2585, 1793, 10418, 2, 2049, 130, 1, 130, + 2049, 3153, 10, 1, 10410, 2049, 2889, 10, 10378, 10446, + 168, 0, 1031007224, 0, [2,200], 0, 97, 58, 102, 114, + 111, 109, 45, 115, 116, 114, 105, 110, 103, 0, + 2049, 2585, 1793, 10460, 2, 2049, 104, 2049, 130, 1, + 130, 2049, 5849, 10, 1, 10450, 2049, 2889, 10, 10423, + 10485, 168, 0, -1309732155, 0, [2,200], 0, 97, 58, 102, + 111, 114, 45, 101, 97, 99, 104, 0, 4, 2049, + 58, 1, 19, 2049, 2889, 1793, 10501, 5, 2049, 58, + 84018692, 525572, 1542, 10, 1, 10494, 2049, 3153, 771, 10, + 10465, 10522, 168, 0, 251383785, 0, [2,200], 0, 97, 58, + 100, 117, 112, 0, 2049, 2585, 1793, 10535, 2, 15, + 2049, 130, 1, 130, 2049, 10485, 10, 1, 10526, 2049, + 2889, 10, 10507, 10556, 168, 0, -294312037, 0, [2,200], 0, + 97, 58, 99, 111, 112, 121, 0, 1, 3, 1793, + 10572, 4097, 3, 2, 2049, 10282, 2049, 130, 1, 130, + 2049, 10485, 10, 1, 10560, 2049, 4871, 10, 10540, 10598, + 168, 0, 865022503, 0, [2,200], 0, 97, 58, 116, 111, + 45, 115, 116, 114, 105, 110, 103, 0, 1, 3, + 1793, 10611, 2049, 10522, 1, 0, 2049, 130, 2049, 3953, + 10, 1, 10602, 2049, 4871, 2049, 5466, 10, 10577, 10636, + 168, 0, 1539635992, 0, [2,200], 0, 97, 58, 97, [2,112], + 101, 110, 100, 0, 2049, 2873, 1, 37, 2049, 2961, + 17, 2049, 2585, 1793, 10661, 2049, 130, 1793, 10656, 1, + 130, 2049, 10485, 10, 1, 10651, 2049, 2961, 10, 1, + 10647, 2049, 2889, 10, 10618, 10685, 168, 0, 1526142126, 0, + [2,200], 0, 97, 58, 112, 114, 101, 112, 101, 110, + 100, 0, 4, 2049, 10636, 10, 10666, 10705, 168, 0, + -294319702, 0, [2,200], 0, 97, 58, 99, 104, 111, 112, + 0, 2049, 10522, 1, -1, 2049, 4846, 2, 2049, 4765, + 10, 10689, 10733, 168, 0, 1726883814, 0, [2,200], 0, 97, + 58, 102, 105, 108, 116, 101, 114, 0, 1793, 10748, + 67502597, 1, 27, 2049, 2889, 4, 1, 130, 1, 17, + 2049, 66, 10, 1, 10735, 2049, 10112, 2049, 2585, 1793, + 10763, 67502597, 15, 2049, 130, 2049, 10485, 10, 1, 10756, + 2049, 2889, 2049, 2585, 67502597, 18, 2049, 3971, 67502597, 16, + 10, 10715, 10797, 168, 0, 63806334, 0, [2,200], 0, 97, + 58, 99, 111, 110, 116, 97, 105, 110, 115, 63, + 0, 1, 0, 4, 1793, 10809, 4, 5, 67502597, 11, + 6, 22, 10, 1, 10802, 2049, 10485, 772, 10, 10776, + 10843, 168, 0, 648332804, 0, [2,200], 0, 97, 58, 99, + 111, 110, 116, 97, 105, 110, 115, 47, 115, 116, + 114, 105, 110, 103, 63, 0, 1, 0, 4, 1793, + 10856, 4, 5, 67502597, 2049, 118, 6, 22, 10, 1, + 10848, 2049, 10485, 772, 10, 10815, 10877, 168, 0, 251392926, + 0, [2,200], 0, 97, 58, 109, 97, 112, 0, 4, + 1793, 10907, 2049, 58, 1793, 10901, 1793, 10890, 15, 67502597, + 8, 10, 1, 10886, 2049, 2905, 1, 39, 2049, 2905, + 2049, 3953, 10, 1, 10884, 2049, 3153, 771, 10, 1, + 10880, 2049, 2905, 10, 10862, 10931, 168, 0, -674869668, 0, + [2,200], 0, 97, 58, 114, 101, 118, 101, 114, 115, + 101, 0, 2049, 2585, 1793, 10965, 2049, 58, 1793, 10943, + 17, 2049, 3971, 10, 1, 10939, 2049, 2905, 2, 2049, + 130, 1793, 10959, 2, 15, 2049, 130, 2049, 3971, 10, + 1, 10952, 2049, 3153, 3, 10, 1, 10935, 2049, 2889, + 10, 10912, 10984, 168, 0, 2090026588, 0, [2,200], 0, 97, + 58, 116, 104, 0, 17, 2049, 3953, 10, 10970, 11005, + 168, 0, -1119160502, 0, [2,200], 0, 97, 58, 102, 101, + 116, 99, 104, 0, 2049, 10984, 15, 10, 10988, 11026, + 168, 0, -1103209427, 0, [2,200], 0, 97, 58, 115, 116, + 111, 114, 101, 0, 2049, 10984, 16, 10, 11009, 11047, + 168, 0, -1119018392, 0, [2,200], 0, 97, 58, 102, 105, + 114, 115, 116, 0, 1, 0, 2049, 11005, 10, 11030, + 11068, 168, 0, -294003756, 0, [2,200], 0, 97, 58, 108, + 97, 115, 116, 0, 2, 2049, 10282, 2049, 3971, 2049, + 11005, 10, 11052, 11094, 168, 0, -2103488936, 0, [2,200], 0, + 97, 58, 114, 101, 100, 117, 99, 101, 0, 1, + 19, 2049, 2889, 2049, 10485, 10, 11076, 11115, 168, 0, + 2089080839, 0, [2,200], 0, 70, 82, [2,69], 0, 2049, 5292, + 1, 1025, 18, 1, 513, 1, 12, 19, 18, 2049, + 2585, 18, 10, 11101, 11149, 156, [3,0], [2,200], 0, 78, + 101, 120, 116, 65, [2,114], 97, 121, [2,0], 11130, 11166, + 168, [3,0], [2,200], 0, 97, [2,114], 97, 121, 115, 0, + 2049, 11115, 2049, 2585, 17, 10, 11101, 11188, 168, 0, + -293712106, 0, [2,200], 0, 97, 58, 116, 101, 109, 112, + 0, 3841, 11149, 2, 1, 12, 11, 1793, 11203, 3, + 1, 0, 2, 4097, 11149, 10, 1, 11196, 9, 1, + 513, 19, 2049, 11166, 17, 67502597, 2049, 10282, 2049, 3953, + 2049, 4923, 3841, 11149, 1, 513, 19, 2049, 11166, 17, + 1, 11149, 2049, 4744, 10, 11172, 11247, 156, [3,0], [2,200], + 0, 67, 111, 117, 110, 116, [2,0], 11232, 11265, 168, + [3,0], [2,200], 0, 112, 114, 101, 112, 97, 114, 101, + 0, 1, 0, 1, 11247, 16, 10, 11248, 11288, 168, + [3,0], [2,200], 0, 114, 101, 115, 101, 114, 118, 101, + 0, 4, 1, 0, 2049, 130, 10, 11271, 11309, 168, + [3,0], [2,200], 0, 112, 97, 116, 99, 104, 0, 2049, + 2585, 67502597, 18, 2049, 3971, 67502597, 16, 10, 11294, 11335, + 168, [3,0], [2,200], 0, 99, 108, 101, 97, 110, 117, + 112, 0, 2, 2049, 11188, 4, 1, 3, 16, 10, + 11318, 11359, 168, [3,0], [2,200], 0, 114, 101, 99, 111, + 114, 100, 0, 3841, 11247, 2049, 130, 10, 11343, 11383, + 168, [3,0], [2,200], 0, 105, 116, 101, 114, 97, 116, + 101, 47, 110, 0, 1793, 11395, 67502597, 11, 1, 11359, + 9, 1, 11247, 2049, 4744, 10, 1, 11385, 2049, 10485, + 10, 11364, 11419, 168, [3,0], [2,200], 0, 105, 116, 101, + 114, 97, 116, 101, 47, 115, 0, 1793, 11432, 67502597, + 2049, 118, 1, 11359, 9, 1, 11247, 2049, 4744, 10, + 1, 11421, 2049, 10485, 10, 11172, 11456, 168, 0, 917819423, + 0, [2,200], 0, 97, 58, 105, 110, 100, 105, 99, + 101, 115, 0, 2049, 11265, 2049, 2585, 1793, 11468, 2049, + 11288, 2049, 11383, 3, 10, 1, 11462, 2049, 2889, 2049, + 11309, 2049, 11335, 10, 11437, 11503, 168, 0, 1942579685, 0, + [2,200], 0, 97, 58, 105, 110, 100, 105, 99, 101, + 115, 47, 115, 116, 114, 105, 110, 103, 0, 2049, + 11265, 2049, 2585, 1793, 11515, 2049, 11288, 2049, 11419, 3, + 10, 1, 11509, 2049, 2889, 2049, 11309, 2049, 11335, 10, + 11477, 11541, 168, 0, -1115296648, 0, [2,200], 0, 97, 58, + 105, 110, 100, 101, 120, 0, 1793, 11550, 2049, 11456, + 1, 0, 2049, 11005, 10, 1, 11543, 2049, 10258, 10, + 11524, 11579, 168, 0, 1537607710, 0, [2,200], 0, 97, 58, + 105, 110, 100, 101, 120, 47, 115, 116, 114, 105, + 110, 103, 0, 1793, 11588, 2049, 11503, 1, 0, 2049, + 11005, 10, 1, 11581, 2049, 10258, 10, 11555, 11609, 168, + 0, -293968098, 0, [2,200], 0, 97, 58, 109, 97, 107, + 101, 0, 2049, 10405, [2,2], 1, 3, 1793, 11620, 2049, + 10931, 10, 1, 11617, 2049, 4871, 4, 2049, 10556, 10, + 11593, 11639, 180, 0, 177696, 0, [2,200], 0, 123, 0, + 1, 361, 2049, 180, 1, 2080, 2049, 168, 1, 361, + 2049, 180, 10, 11628, 11663, 180, 0, 177698, 0, [2,200], + 0, 125, 0, 1, 377, 2049, 180, 1, 2889, 2049, + 168, 1, 2080, 2049, 168, 1, 19, 2049, 174, 1, + 43, 2049, 174, 1, 3971, 2049, 168, 1, 377, 2049, + 180, 1, 11609, 2049, 168, 10, 11652, 11712, 168, 0, + -294147516, 0, [2,200], 0, 97, 58, 104, 97, 115, 104, + 0, 1, 5381, 4, 1793, 11723, 4, 1, 33, 19, + 17, 10, 1, 11717, 2049, 10485, 10, 11696, 11743, 168, + 0, 251384693, 0, [2,200], 0, 97, 58, 101, 113, 63, + 0, 2049, 11712, 4, 2049, 11712, 11, 10, 11728, 11766, + 168, 0, -296263550, 0, [2,200], 0, 97, 58, 45, 101, + 113, 63, 0, 2049, 11712, 4, 2049, 11712, 12, 10, + 11750, 11797, 168, 0, -946089728, 0, [2,200], 0, 97, 58, + 98, 101, 103, 105, 110, 115, 45, 119, 105, 116, + 104, 63, 0, 1, 3, 1793, 11813, 2, 2049, 10282, + 1, 19, 2049, 2889, 2049, 10346, 2049, 11743, 10, 1, + 11801, 2049, 4871, 10, 11773, 11840, 168, 0, 289116466, 0, + [2,200], 0, 97, 58, 101, 110, 100, 115, 45, 119, + 105, 116, 104, 63, 0, 1, 3, 1793, 11856, 2, + 2049, 10282, 1, 19, 2049, 2889, 2049, 10369, 2049, 11743, + 10, 1, 11844, 2049, 4871, 10, 11818, 11881, 156, [3,0], + [2,200], 0, 83, 117, 98, 115, 116, 105, 116, 117, + 116, 101, [129,0], 11861, 12026, 168, [3,0], [2,200], 0, 101, + 120, 116, 114, 97, 99, 116, 0, 1, 11881, 2049, + 6805, 10, 12009, 12048, 168, [3,0], [2,200], 0, 99, 111, + 109, 98, 105, 110, 101, 0, 1, 11881, 2049, 5825, + 2049, 5825, 10, 12031, 12073, 168, [3,0], [2,200], 0, 102, + 105, 110, 100, 45, 101, 110, 100, 0, 2, 2049, + 104, 1, 11881, 2049, 104, 18, 67502597, 17, 10, 12055, + 12099, 168, [3,0], [2,200], 0, 99, 108, 101, 97, 110, + 0, 2049, 12073, 1, 0, 4, 16, 10, 11818, 12129, + 168, 0, -495404876, 0, [2,200], 0, 115, 58, 114, 101, + 112, 108, 97, 99, 101, 45, 97, [2,108], 0, 1, + 3, 1793, 12152, 2049, 12026, 2049, 9377, 2049, 5500, 4, + 1793, 12145, 2049, 12048, 10, 1, 12142, 2049, 10485, 2049, + 12099, 10, 1, 12133, 2049, 4871, 10, 12106, 12179, 168, + [3,0], [2,200], 0, 99, 117, [2,114], 101, 110, 116, 45, + 108, 105, 110, 101, 0, 2049, 5292, 1, 1025, 18, + 10, 12157, 12207, 168, [3,0], [2,200], 0, 99, 111, 117, + 110, 116, 45, 116, 111, 107, 101, 110, 115, 0, + 1793, 12213, 1, 32, 11, 10, 1, 12209, 2049, 6529, + 2049, 104, 10, 12185, 12244, 168, [3,0], [2,200], 0, 112, + 114, 111, 99, 101, [2,115], 45, 116, 111, 107, 101, + 110, 115, 0, 1793, 12272, 1, 32, 2049, 8708, 4, + 1793, 12265, 2, 2049, 104, 2049, 3492, 1, 439, 1, + 17, 2049, 66, 10, 1, 12253, 2049, 2889, 2049, 3953, + 10, 1, 12246, 2049, 3153, 2049, 439, 10, 12106, 12299, + 168, 0, 102250697, 0, [2,200], 0, 115, 58, 101, 118, + 97, 108, 117, 97, 116, 101, 0, 2049, 12179, 2049, + 6805, 2049, 12179, 2, 2049, 12207, 2049, 12244, 10, 12279, + 12323, 156, [3,0], [2,200], 0, 76, 80, [2,0], 12311, 12339, + 156, [3,0], [2,200], 0, 73, 110, 100, 101, 120, [33,0], + 12324, 12385, 168, [3,0], [2,200], 0, 110, 101, 120, 116, + 0, 3841, 12323, 1, 12339, 17, 2049, 4744, 10, 12371, + 12407, 168, [3,0], [2,200], 0, 112, 114, 101, 112, 0, + 1, 12323, 2049, 4744, 1, 0, 3841, 12323, 1, 12339, + 17, 16, 10, 12393, 12434, 168, [3,0], [2,200], 0, 100, + 111, 110, 101, 0, 1, 12323, 2049, 4765, 10, 12279, + 12450, 168, 0, 177646, 0, [2,200], 0, 73, 0, 3841, + 12323, 1, 12339, 17, 15, 10, 12439, 12468, 168, 0, + 177647, 0, [2,200], 0, 74, 0, 3841, 12323, 1, 12339, + 17, 2049, 3971, 15, 10, 12457, 12488, 168, 0, 177648, + 0, [2,200], 0, 75, 0, 3841, 12323, 1, 12339, 17, + 1, 2, 18, 15, 10, 12477, 12521, 168, 0, 123652725, + 0, [2,200], 0, 105, 110, 100, 101, 120, 101, 100, + 45, 116, 105, 109, 101, 115, 0, 2049, 12407, 4, + 1793, 12537, 25, 33886721, 1, 2053, 1542, 2049, 12385, 1, + 12526, 7, 10, 1, 12526, 8, 3, 2049, 12434, 10, + 12498, 12561, 168, 0, 139676308, 0, [2,200], 0, 100, 101, + 99, 105, 109, 97, 108, 0, 1, 10, 4097, 265, + 10, 12544, 12582, 168, 0, -199058230, 0, [2,200], 0, 98, + 105, 110, 97, 114, 121, 0, 1, 2, 4097, 265, + 10, 12566, 12602, 168, 0, 269476856, 0, [2,200], 0, 111, + 99, 116, 97, 108, 0, 1, 8, 4097, 265, 10, + 12587, 12620, 168, 0, 193493706, 0, [2,200], 0, 104, 101, + 120, 0, 1, 16, 4097, 265, 10, 12607, 12640, 168, + 0, 277702542, 0, [2,200], 0, 118, 97, 114, 45, 115, + 0, 1, 5557, 2049, 2889, 2049, 2726, 10, 12625, 12669, + 168, 0, -1648685963, 0, [2,200], 0, 116, 97, 105, 108, + 45, 114, 101, 99, 117, 114, 115, 101, 0, 1, + 1793, 2049, 2585, 1, 3, 18, 16, 10, 12647, 12692, + 168, 0, 2090257196, 0, [2,200], 0, 102, 105, [2,108], 0, + 1793, 12700, 2049, 2873, 16, 2049, 3953, 10, 1, 12694, + 2049, 3153, 771, 10, 12678, 12728, 168, 0, -680426787, 0, + [2,200], 0, 105, 111, 58, 101, 110, 117, 109, 101, + 114, 97, 116, 101, 0, 27, 10, 12706, 12748, 168, + 0, 1388174477, 0, [2,200], 0, 105, 111, 58, 113, 117, + 101, 114, 121, 0, 28, 10, 12730, 12769, 168, 0, + -1755659805, 0, [2,200], 0, 105, 111, 58, 105, 110, 118, + 111, 107, 101, 0, 29, 10, 12750, 12792, 168, 0, + -1816911632, 0, [2,200], 0, 105, 111, 58, 115, 99, 97, + 110, 45, 102, 111, 114, 0, 1, -1, 4, 2049, + 12728, 1793, 12823, 2049, 12450, 2049, 12748, 772, 67502597, 11, + 1793, 12819, 1793, 12814, 3, 2049, 12450, 10, 1, 12810, + 2049, 2889, 10, 1, 12808, 9, 10, 1, 12799, 2049, + 12521, 3, 10, 12771, 12844, 168, 0, 253768699, 0, [2,200], + 0, 99, 58, 112, 117, 116, 0, 1793, 12846, 1, + 0, 2049, 12769, 10, 12829, 12863, 168, 0, 5863647, 0, + [2,200], 0, 110, 108, 0, 1, 10, 2049, 12844, 10, + 12851, 12880, 168, 0, 5863816, 0, [2,200], 0, 115, 112, + 0, 1, 32, 2049, 12844, 10, 12868, 12898, 168, 0, + 193506620, 0, [2,200], 0, 116, 97, 98, 0, 1, 9, + 2049, 12844, 10, 12885, 12918, 168, 0, 272743435, 0, [2,200], + 0, 115, 58, 112, 117, 116, 0, 1, 12844, 2049, + 5849, 10, 12903, 12938, 168, 0, 266813830, 0, [2,200], 0, + 110, 58, 112, 117, 116, 0, 2049, 9636, 2, 2049, + 104, 1, 41, 2049, 2905, 2049, 3953, 1793, 12958, 2, + 15, 2049, 12844, 2049, 3971, 10, 1, 12951, 2049, 3153, + 3, 10, 12923, 12979, 168, 0, 273105544, 0, [2,200], 0, + 114, 101, 115, 101, 116, 0, 2049, 2080, 25, 771, + 1, 12979, 7, 10, 12964, 13007, 168, 0, -1114973730, 0, + [2,200], 0, 100, 117, 109, 112, 45, 115, 116, 97, + 99, 107, 0, 2049, 2080, 25, 134284547, 13007, 134283782, 12938, + 2049, 12880, 10, 12987, 13030, 168, 0, 193470948, 0, [2,200], + 0, 84, 73, 66, 0, 1, 7, 15, 10, 1793, + 13073, 2049, 5525, 69, [2,82], 79, 82, 58, 32, 87, + 111, 114, 100, 32, 78, 111, 116, 32, 70, 111, + 117, 110, 100, 58, 32, 0, 1, 13038, 2049, 12918, + 2049, 13030, 2049, 12918, 2049, 12863, 10, 1, 13036, 13017, + 13090, 168, 0, 253758370, 0, [2,200], 0, 99, 58, 103, + 101, 116, 0, 1793, 13092, [2,1], 2049, 12792, 2049, 12769, + 10, 13075, 13112, 168, 0, 193487813, 0, [2,200], 0, 98, + 121, 101, 0, 26, 10, 13099, 13132, 156, 0, -606612126, + 0, [2,200], 0, 73, 103, 110, 111, 114, 105, 110, + 103, [2,0], 13114, 13146, 156, [3,0], [2,200], 0, 69, 79, + 84, [2,0], 13133, 13164, 168, [3,0], [2,200], 0, 118, 101, + 114, 115, 105, 111, 110, 0, 3841, 4, 1, 100, + 20, 10, 13147, 13185, 168, [3,0], [2,200], 0, 100, 111, + 110, 101, 63, 0, 2, 4097, 13146, 1793, 13194, 1, + 13, 11, 10, 1, 13190, 1793, 13202, 1, 10, 11, + 10, 1, 13198, 1793, 13210, 1, 32, 11, 10, 1, + 13206, 2049, 2978, [2,22], 10, 13170, 13231, 168, [3,0], [2,200], + 0, 101, 111, 108, 63, 0, 3841, 13146, 1793, 13239, + 1, 13, 11, 10, 1, 13235, 1793, 13247, 1, 10, + 11, 10, 1, 13243, 2049, 2923, 22, 10, 13217, 13269, + 168, [3,0], [2,200], 0, 118, 97, 108, 105, 100, 63, + 0, 2, 2049, 104, 2049, 3576, 10, 13253, 13294, 168, + [3,0], [2,200], 0, 99, 104, 101, 99, 107, 45, 101, + 111, 102, 0, 2, 1793, 13301, 1, -1, 11, 10, + 1, 13297, 1793, 13309, 1, 4, 11, 10, 1, 13305, + 2049, 2923, 22, 1, 13112, 9, 10, 13275, 13330, 168, + [3,0], [2,200], 0, 98, 115, 0, 2049, 5153, 1, 2, + 2049, 3411, 1793, 13342, 2049, 5093, 3, 10, 1, 13338, + 9, 2049, 5093, 3, 10, 13318, 13367, 168, [3,0], [2,200], + 0, 99, 104, 101, 99, 107, 45, 98, 115, 0, + 2, 1793, 13374, 1, 8, 11, 10, 1, 13370, 1793, + 13382, 1, 127, 11, 10, 1, 13378, 2049, 2923, 22, + 1, 13330, 9, 10, 13349, 13406, 168, [3,0], [2,200], 0, + 99, 104, 101, 99, 107, 0, 2049, 13294, 2049, 13367, + 10, 13391, 13430, 168, [3,0], [2,200], 0, 99, 104, 97, + 114, 97, 99, 116, 101, 114, 0, 2049, 13090, 2, + 2049, 5063, 10, 13411, 13452, 168, [3,0], [2,200], 0, 98, + 117, [2,102], 101, 114, 0, 1793, 13462, 2049, 13030, 2049, + 5179, 8, 2049, 5017, 10, 1, 13454, 2049, 5209, 10, + 13436, 13487, 168, [3,0], [2,200], 0, 114, 101, 97, 100, + 45, 116, 111, 107, 101, 110, 0, 1793, 13503, 1793, + 13498, 2049, 13430, 2049, 13406, 2049, 13185, 10, 1, 13491, + 2049, 3093, 10, 1, 13489, 2049, 13452, 2049, 5660, 10, + 13467, 13525, 168, [3,0], [2,200], 0, 105, 110, 112, 117, + 116, 0, 2049, 13487, 2049, 13269, 10, 13510, 13547, 168, + [3,0], [2,200], 0, 112, 114, 111, 99, 101, [2,115], 0, + 3841, 13132, 1793, 13565, 771, 2049, 13231, 1793, 13561, 1, + 13132, 2049, 4827, 10, 1, 13556, 9, 10, 1, 13551, + 2049, 3638, 1, 439, 1, 17, 2049, 66, 10, 13114, + 13596, 168, 0, -371381765, 0, [2,200], 0, 115, 58, 103, + 101, 116, 45, 119, 111, 114, 100, 0, 1793, 13624, + 1, 7, 15, 2049, 5179, 1793, 13615, 2049, 13090, 2, + 2049, 5063, 2049, 13367, 2049, 13185, 10, 1, 13605, 2049, + 3093, 2049, 5017, 2049, 5660, 10, 1, 13598, 2049, 5209, + 10, 13576, 13645, 168, 0, -208531877, 0, [2,200], 0, 98, + 97, [2,110], 101, 114, 0, 2049, 13164, 2049, 5525, 82, + 69, 84, 82, 79, 32, 49, 50, 32, 40, 37, + 110, 46, 37, 110, 41, 92, 110, 0, 1, 13649, + 2049, 9899, 2049, 12918, 2049, 11115, 2049, 2061, 2049, 11115, + 18, 2049, 2061, 2049, 5525, 37, 110, 32, 77, 97, + 120, 44, 32, 37, 110, 32, 85, 115, 101, 100, + 44, 32, 37, 110, 32, 70, 114, [2,101], 92, 110, + 0, 1, 13685, 2049, 9899, 2049, 12918, 10, 13629, 13735, + 168, 0, 192495636, 0, [2,200], 0, 108, 105, 115, 116, + 101, 110, 0, 2049, 13645, 2049, 13525, 2049, 13547, 1, + 13737, 7, 10, 13719, 13770, 156, 0, -2087665862, 0, [2,200], + 0, 100, 58, 72, 97, 115, 104, 45, 70, 117, + 110, 99, 116, 105, 111, 110, 0, 5994, 13745, 13789, + 168, 0, 1197910910, 0, [2,200], 0, 100, 58, 114, 101, + 104, 97, 115, 104, 0, 1793, 13807, 1793, 13799, 2049, + 198, 3841, 13770, 8, 10, 1, 13793, 2049, 2905, 2049, + 188, 16, 10, 1, 13791, 2049, 10176, 10, 13771, 3, + 156, 0, 215559733, 0, [2,200], 0, 66, 85, 73, 76, + 68, [2,0] ] diff --git a/vm/nga-python/retro.py b/vm/nga-python/retro.py index 783a1ac..4c2bde1 100755 --- a/vm/nga-python/retro.py +++ b/vm/nga-python/retro.py @@ -149,7 +149,7 @@ class Retro: Dictionary = dict() header = self.memory[2] while header != 0: - named = self.extract_string(header + 4) + named = self.extract_string(header + 9) if not named in Dictionary: Dictionary[named] = header header = self.memory[header] @@ -162,7 +162,7 @@ class Retro: header = self.memory[2] Done = False while header != 0 and not Done: - if named == self.extract_string(header + 4): + if named == self.extract_string(header + 9): self.Dictionary[named] = header Done = True else: