blob: 727bda1a3c8a5e7462f1baf5ef737b9b170b0859 [file] [log] [blame]
// Copyright (c) 2018, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
/// @assertion abstract void sort([int compare(E a, E b)])
/// Sorts the list according to the order specified by the compare function.
/// The compare function must act as a Comparator.
/// The default List implementations use Comparable.compare if compare is omitted.
/// @description Checks sorting long integer arrays (length: 32769).
/// @author iefremov
library sort_A01_t08;
import "../../../Utils/expect.dart";
test(List<E> create<E>([int length, E fill])) {
int c(var a, var b) {
return a < b ? -1 : (a == b ? 0 : 1);
}
void check(var actual0, var expected) {
List actual = create();
actual.addAll(actual0);
actual.sort(c);
Expect.listEquals(expected, actual);
}
//length == 32769
check([-345, 150, -247, -146, 24, -107, 118, 54, 40, 489, 393, 105, -370, -329, 123, -446, -88, -404, -371, 366, -206, -66, 336, -493, 194, -309, 210, -367, -182, 257, -303, 326, 259, 303, -320, -216, -304, -349, -310, -411, -08, -417, -454, 474, -246, 169, -471, -481, -382, -342, 385, 264, 444, -427, 271, 138, -236, 334, -377, 434, 443, -179, 260, 203, -376, -207, 487, 172, -56, -323, -387, -212, -240, -341, -238, 366, 329, -209, 385, -201, 301, -378, -437, -402, 47, -313, -412, 311, -479, -288, -402, -184, 385, -290, -481, -139, 03, -494, -467, -201, 35, -01, 87, -353, 158, -298, -486, 339, 345, -249, -362, 499, 226, 54, -403, -227, -407, -315, -63, -386, 249, 35, 282, 486, 245, 302, -153, 101, -340, 233, -248, 196, -268, -308, -305, 390, -106, 61, 230, 91, -335, -280, 90, 391, -374, -461, -336, -281, -275, 101, 185, -174, -12, -32, -187, 86, -230, 160, -313, -70, 245, 291, -22, 477, 483, -474, -280, 229, 87, -198, 173, 252, 374, -237, 143, -499, 155, -340, -280, 380, 261, 406, 58, -250, -126, 371, -312, 496, 384, 227, 278, 481, 18, 109, 459, 354, 135, 31, 435, -278, 333, 108, -173, 207, -276, -178, 208, 379, -18, -219, -389, -256, 39, 169, 346, -235, 393, -114, -239, -371, -387, -109, -390, 131, -500, -79, 337, 487, 452, -375, 62, 285, 233, 389, 345, -191, -289, 405, 40, 194, -314, -497, -210, -423, -475, -12, -158, 418, 374, 455, -101, -161, 199, 09, 470, 199, 431, -340, -461, -265, -215, 101, -479, -130, -10, 366, -468, -447, -377, 72, 247, -190, 76, -111, 239, 101, -271, -418, 371, -397, -111, -230, -58, -412, -369, 265, -360, -86, -223, -321, 150, 414, 280, 171, -216, 122, 389, -184, 175, -136, -259, 275, -474, 317, 16, 266, 270, 246, -300, 493, -299, 89, 115, 496, -470, 246, -387, 22, -339, -110, -447, -337, -196, 333, 334, 440, 307, -425, -243, 334, -61, 350, 109, -34, -481, -374, 84, 289, -276, 284, 282, -75, 225, -103, -79, 255, -05, 386, 129, -492, 128, 182, -329, 432, 367, -143, -275, 174, 284, 334, 09, -276, 184, -30, -458, 203, 448, 126, 344, -328, 262, 126, 450, -13, -125, 223, 95, -278, 110, -276, -269, -262, 407, -98, 23, 274, -388, -400, 301, 396, 434, 162, -380, 118, -368, 14, -179, -67, -08, -335, 457, -246, -357, 407, -406, 370, 483, 189, -56, 93, 413, 175, -317, -328, -70, -442, 447, 42, -342, -400, -62, -408, 262, 411, -438, 394, 277, -117, 179, -230, 400, 137, 376, -105, 396, -178, 117, 379, -489, -438, 324, -223, 237, -492, 301, 19, -82, 248, -439, 77, 348, 352, -479, 462, 263, -416, 357, 392, 319, 388, 14, -428, 25, -109, -33, -78, -435, -415, -199, -71, -01, -374, 206, -264, -14, 07, -392, 404, 108, 21, 333, 308, -127, 355, 271, -12, 439, 480, -119, -390, -280, 395, -318, 246, 138, -498, 20, -444, -413, -327, -15, 86, -201, 43, -326, -363, -98, 134, -106, -490, -344, -273, -329, 381, -66, -206, -130, 225, 126, -397, 336, 346, -150, -482, 92, 489, -480, -36, -455, -41, 138, 30, -103, -211, -75, 424, -73, 327, 58, -327, 338, -434, -100, -139, 448, 335, 155, 170, 60, 133, 273, 248, -21, -377, 267, -76, -36, -361, 388, 361, 451, 378, 243, 200, -332, -332, 124, 447, 496, 35, -380, -314, 453, 372, 47, 401, 207, 54, 71, 120, 39, 196, -132, -482, -328, -13, 294, 136, 479, 183, 350, 430, 413, 93, 482, -419, 262, 107, -472, 258, -06, 00, -204, -53, -127, -305, 201, -68, 249, 124, -448, 140, -179, 273, 158, -07, 112, -47, -19, 91, -12, -169, 373, -99, -223, 356, 335, -461, 315, -285, -351, -191, 216, 297, -392, -59, 492, 309, 373, -407, -66, -222, 233, -393, -449, 243, 452, 163, -304, 285, 107, -464, -31, 332, 290, 246, 188, 477, 285, 355, -308, -214, 16, 408, -417, 125, 201, -425, 286, 75, 20, -280, 353, -247, 179, -244, 496, 131, -229, 45, -83, 378, 433, 386, 211, 223, 484, 251, 200, 269, 107, -255, -93, -377, 05, 342, -400, -293, -231, 387, 282, 289, -41, 487, -458, -09, -257, -462, -378, 14, 435, 391, 245, 369, -371, -44, 444, -387, 59, 497, -266, 18, -258, 493, 494, 247, 335, -406, 454, -396, -167, -412, -255, -355, -425, -213, 136, -182, 178, 258, -315, 465, -498, 430, 334, -369, 238, 279, 97, -203, 276, 331, 316, -482, 325, 310, -383, -488, -244, -76, -31, 90, 12, 214, -413, 88, -146, 223, -242, -468, 333, -57, -151, 335, -127, -316, -181, -37, 463, -232, -387, -409, -49, -219, -39, 128, -57, 78, 141, 199, -498, -390, 141, 15, 324, 228, -45, 30, 303, 213, 414, 137, 09, -236, 324, -266, -52, -357, 198, 263, 263, 311, 354, -285, -408, 167, 343, 35, -255, -16, 86, 100, 446, 80, -33, -377, 160, -226, 153, -36, 487, 68, -399, 348, 332, 425, -417, 132, -79, -367, -105, -316, 444, 101, 251, -112, -232, 95, -225, 365, -69, -287, 317, -122, 293, -216, 01, -46, 58, 06, 418, 398, -426, -129, 246, -242, -204, -319, 390, -431, -186, -215, 106, 110, 386, -143, 498, 06, 452, 125, 224, 236, 339, 41, -386, 484, -322, 467, -62, -412, -27, 208, 486, 400, -421, -415, -342, 228, 118, -451, 297, 433, 186, -97, 43, 425, -387, 394, -69, -83, 371, 07, -347, -438, -451, 119, -453, 79, 438, 337, 167, 264, 46, -494, 164, 477, -409, -326, 205, -439, -277, 355, 494, -238, 110, 390, -313, 223, -364, 470, -07, -493, -22, 146, -430, 379, 118, -31, -42, 56, -194, -375, -180, -296, -369, -164, -318, 74, 11, -261, 136, -414, -54, 482, -152, -443, -276, 35, -368, -140, 358, 125, 220, -164, 124, -358, -285, -258, 111, -475, 298, 417, -350, -29, -378, 134, 307, 156, -292, -182, -253, -304, -95, 194, -321, -395, -397, -97, 141, -265, -384, -01, -287, 336, -313, -311, 478, -98, -69, 441, 279, 81, 358, 429, -448, -168, 63, -288, -160, 272, 30, 88, -180, -213, 134, -01, -107, 237, -245, -114, -176, -129, 385, 389, 59, -428, -422, 389, 326, 09, 330, 105, -57, -460, 386, -05, -127, -50, 207, -435, 74, 90, -495, 394, 377, 139, 246, 122, 228, -499, -492, -447, 224, 393, -206, -217, -183, -127, -328, -05, 382, -498, -48, 177, -458, 191, 25, 267, -07, -268, 333, -81, -326, 338, -187, -96, 330, -89, -474, 58, 264, -465, 463, -12, -220, -242, 271, 450, 483, -205, 297, -283, 149, -250, 395, 192, -207, -80, 311, 286, -496, 496, -295, -321, -313, 370, 83, -483, -218, 461, 427, -454, 496, -257, 387, 129, 353, -490, 79, 336, -194, -124, -447, 455, 478, 448, 499, -229, -132, -337, -91, -127, -341, 114, 404, -154, -15, 339, 215, -381, 300, 495, 17, -351, 90, -96, 278, -57, -85, 209, -221, -427, -63, 184, -120, -84, 133, -120, -461, -147, 43, -51, -422, -446, -437, -166, 253, 400, -327, -32, -129, -174, 315, 389, 327, -95, 145, 457, 348, -88, 166, -21, 337, -397, -336, -282, 371, -351, 98, 411, 354, -07, -140, -215, 47, 275, 119, -200, 176, 293, -379, -453, -29, -212, -212, -202, 194, -214, -245, 394, 198, -227, 226, 36, -124, -258, 254, 100, -109, 204, 11, 97, 49, 371, 382, -52, 146, 02, 249, 174, 147, -278, -426, -30, 10, -138, 268, 56, 148, -125, -49, 199, 148, -323, 87, -124, -81, 193, 476, -338, 249, -13, -389, -202, 210, 494, 246, 209, 348, 347, -117, 347, -79, -43, -183, -216, -328, -63, 340, -328, 312, 143, -277, -40, -328, 310, -312, 91, 355, -335, -395, 104, -496, 69, -246, 215, 415, -499, 276, 263, -300, -341, 462, 122, 469, -221, 406, -359, -432, -402, -187, 380, 242, 37, 192, 414, 199, 380, 358, 55, -103, -185, 11, -98, 384, 266, -31, 299, -381, -255, 414, 171, 256, -272, 145, 225, 359, 403, 366, 427, -498, 32, 307, -404, -79, -01, -138, -380, 232, -280, -473, -371, 388, 391, 31, 272, -491, -148, 424, -20, 97, -310, -349, -146, -81, -351, -421, -222, -448, -202, -294, -94, -318, -487, 02, 103, 365, 365, -425, 97, -63, -45, -422, -175, -154, 462, -402, -145, -186, -126, 335, -236, 64, -162, 118, -165, -13, -451, 466, 392, 199, -328, -202, 381, 37, 301, 336, 254, 166, 412, 203, -397, 219, 282, -71, -435, 244, 379, 272, -442, 105, 459, -178, 21, -203, -208, 357, -363, 194, 323, -471, 245, -153, -173, 479, -264, -20, 315, 491, -354, -421, 194, 102, 298, -24, -117, -285, -280, 114, 487, 131, 71, 446, -195, -408, 96, 450, -199, 233, 144, -24, -386, 241, 323, -59, 220, -440, 422, 36, -97, -80, 467, -403, -126, -382, 426, -391, -167, -02, -425, -179, -371, 146, -233, 287, 239, -285, 237, -108, 448, 233, 369, -438, -26, -456, 356, -305, -396, -370, -417, 359, 402, -450, 457, 129, -332, 383, 238, 02, -119, 314, -325, 363, 312, 294, -498, 51, -490, 239, -204, -190, 324, -335, 225, 150, -291, 433, 345, 166, -437, -220, 25, -183, -169, 334, 446, 351, -431, -463, 205, -49, -297, -268, 166, -485, -473, 168, 419, -463, 259, -285, 199, 83, 232, -76, -267, -207, -143, -69, 459, 272, 211, 337, -410, -106, -477, -112, 98, -407, -75, -197, 44, 128, 36, 62, 496, 415, -270, 415, -196, -159, -18, -497, 424, -286, -72, 09, 07, 285, 440, 319, 410, -496, -492, -500, 250, -469, -112, -152, -376, -334, -496, -480, 294, 392, 82, 290, 307, -336, -443, -389, 05, 39, -34, 281, -395, 394, -209, 465, -468, 83, 284, 442, 439, 292, -206, 190, -325, 182, -462, -200, -300, -106, 172, 495, -214, 107, -363, -55, 271, 47, 408, 129, -62, -125, -90, 44, 121, -447, 09, 153, 137, 145, 447, 76, 289, -259, 118, 464, -224, 157, 116, -24, -449, -211, 323, 190, -252, -187, -365, -481, 360, -456, -500, 150, -81, 263, -306, -460, 316, -445, -454, 305, 200, 493, 234, -11, 87, -148, -46, -285, -491, -78, -457, -87, -437, -281, -397, -189, 32, 90, 183, 244, 134, 183, -106, -95, -54, 441, -54, 115, 496, 344, -80, 197, -311, -346, 38, 276, 07, -156, -157, 368, 267, 239, 133, 330, 458, 236, -06, 342, -173, -323, 86, -187, -288, -168, 219, -489, -227, 17, 126, -230, -139, -454, -181, 50, 53, 357, 179, -440, -298, -126, -220, -179, -387, 414, 03, -429, -498, 497, 413, 181, -326, 351, 495, 239, -316, -434, 250, 309, 83, -124, -69, 444, 274, 250, 346, -173, 460, 25, 239, 14, 400, -480, 335, -487, -214, 190, -63, -212, 188, 202, 470, -286, 406, -183, -195, -58, -117, -445, -249, -182, -69, 183, -238, 58, 285, -40, 385, -403, 486, 477, 111, -262, 497, 298, 103, 135, -11, -460, 423, 29, -405, -255, -405, -499, 62, -99, 295, -203, -44, -454, 115, -260, -419, -271, 298, -281, 190, -465, -184, -472, -488, 428, -234, -139, -422, 369, 496, 419, -238, 420, -52, -143, 17, 44, 210, -68, -203, 05, 229, -395, 403, 197, -155, -163, -222, -05, 56, -180, 31, 372, -152, 43, -348, 114, 405, -269, 336, -247, -350, -402, -327, 451, -45, -457, 347, 17, -25, -356, -126, 56, -251, -223, 105, 447, 114, 384, -58, 22, -296, -175, -105, 405, 369, 399, 19, -374, -370, 207, 231, 133, 305, -243, 84, 112, -200, -69, -371, 275, 427, 355, -169, 28, -367, 437, -25, -401, -327, 418, 474, 229, -257, -131, 134, -36, 120, 06, 442, -397, -287, 174, 236, -481, 431, 172, 483, 83, -45, -35, -142, 234, -180, -459, -238, 305, -170, 238, 405, 03, -492, 379, 85, 103, 100, -281, -80, 72, 225, 214, 175, 439, -112, 263, -190, 171, -65, -207, -246, -258, 258, 464, 476, -421, -142, -261, 384, 188, -171, -359, 44, -163, -128, -371, -208, -176, 200, 212, 397, -74, 279, 72, 217, 19, -164, -473, -309, -377, 172, 297, -134, -69, -386, -158, 362, -28, 433, -402, -340, -238, -260, -444, 451, 464, 37, 96, -211, -262, 160, -314, 164, -61, -390, -119, 459, -54, 260, 02, 422, -68, 151, -212, -285, 265, 482, -423, -263, -232, -324, 250, 382, 268, -342, 334, 232, 196, 282, -127, 434, -58, 59, 450, 382, -478, 183, -307, 320, 295, 195, 242, -273, 198, -118, 295, -36, 217, 372, -447, 485, -100, -345, 367, 20, -186, -447, 105, -138, 335, 478, 148, -222, 390, 450, 12, 412, 133, 205, 232, -72, 252, -25, -493, -50, -291, -346, 414, 426, -121, -180, 411, 279, -25, -369, 152, -359, -316, -243, 355, -480, 87, 03, 150, -23, -47, -338, 241, -62, -281, -26, -282, 471, -199, 78, -79, 10, 232, 188, -63, -389, -140, 200, -257, -313, 331, 395, -171, -132, 04, -316, 240, -57, -460, 242, 421, -07, 404, 162, -216, -25, -12, 02, -54, 289, -420, -281, 152, 313, -241, -59, -224, 119, -359, 19, 307, -175, -86, -12, 193, -230, -476, 285, 214, -436, 27, 487, 410, 283, -499, -306, -242, -10, -452, -444, 131, -19, -225, -217, -206, 35, 224, 70, 06, -282, -58, 165, 43, -292, -347, 88, -21, 30, -127, 45, 446, 400, 32, 356, -465, 385, -98, -207, -125, 303, -151, -141, -216, 124, 142, 430, 11, 219, 352, -130, 437, -206, -465, 332, 03, 41, -80, -166, -429, -355, 379, -483, -103, 263, -274, -68, 148, 480, 225, -124, 283, -74, 235, -81, -98, 229, -151, 414, -52, -298, -216, 237, 348, 171, 421, -149, -288, 193, -463, -217, 338, -232, 153, 87, -469, -269, -481, -468, -289, -404, -92, -153, 22, -357, 266, 425, -276, -32, -309, -475, 170, 327, 262, 370, -02, -464, 74, -437, 229, 111, 198, 420, 380, -149, 07, -237, 82, 27, -205, -354, 475, 203, -07, 350, -302, 111, 275, -77, -421, -182, -52, -399, -355, 62, 472, 495, 450, 46, -90, 180, -343, -391, 100, -111, 312, -393, 153, 247, 486, 448, 393, -186, -496, 238, -336, -298, -151, -209, 477, -71, 109, 277, 30, -394, 192, 02, -47, 142, -100, 364, -178, 410, 473, -226, -201, 285, -118, -196, 32, 220, -247, 277, -466, 109, 15, -302, -337, -283, -11, -359, 146, -50, -230, 28, 56, 462, -117, -490, 457, 283, 374, -221, 193, -301, 54, -155, 484, -212, 149, 369, -492, -246, 146, -457, 363, 14, 93, -473, 231, -417, 20, 229, 33, 290, -243, -58, -395, 492, -48, -438, 276, 178, 193, 321, 377, 99, -334, -287, 387, 316, -418, 396, -430, -419, -209, -214, 95, 384, 165, 178, 467, -315, -93, 353, -173, -484, -205, 284, -491, -401, 346, 285, 277, 392, 458, 154, -09, -23, 367, -121, 145, -198, 127, -433, -117, 418, -147, -170, -346, -482, -492, -26, 55, -85, -173, 383, -69, 474, 167, -60, -427, 366, 77, 350, -390, 388, 356, 101, -135, -425, -168, -490, -123, 459, -423, 260, -271, 283, -58, 236, 301, -50, -290, -143, -283, 389, 92, -499, 363, 111, -59, 436, -23, -129, -362, 439, 111, -154, 41, 476, -79, -275, -162, -349, 37, -85, -237, 266, 50, 206, 354, -148, 08, -436, -439, 226, 453, 153, 227, 316, -236, 20, -396, -406, 391, 94, -467, 02, -208, 426, 330, -434, -348, -332, -283, 189, 436, -20, 307, -14, 38, 162, -310, -453, 226, -249, 273, -468, 404, 00, -300, -331, -480, 157, -237, -236, 103, 148, -382, 396, 75, -199, 462, 227, -31, 31, -84, 257, -489, 75, -256, 50, -263, -66, 97, -184, -462, 222, 200, 442, 74, 400, -37, 446, 409, 226, -290, 13, -125, 181, 261, -198, 482, 223, -471, 303, 106, 297, 61, 117, -128, -343, 19, 462, 443, -32, 130, 481, -310, -170, 424, 264, 82, 239, 211, 344, -34, -227, -143, -307, -194, -382, 347, -212, -307, 376, -408, 299, -475, 153, 268, 249, -338, 140, 211, -395, -392, 193, -413, 151, -125, -137, 267, -190, -398, 330, -346, 420, -44, 11, -35, 262, 481, -188, -97, 26, -312, -05, -175, 65, 00, -55, -185, 162, -415, -122, 267, 46, -428, -294, 49, -53, 69, -184, -391, 172, -01, -237, 92, 455, 274, -442, -431, -393, -130, -28, 133, 411, -181, -190, -24, -329, -392, 291, 333, -307, -330, 453, -409, 94, -341, 140, -459, 229, -191, -349, 253, -340, 266, -155, -33, 393, 255, 36, -500, -374, -139, 486, -111, 180, -204, 365, 352, -96, -491, -463, 450, 31, -158, -107, -375, 02, -466, 18, 83, 195, -479, 188, 355, 288, -467, -178, 181, -359, -290, 181, 119, 71, -481, -492, 104, -184, -275, 308, -428, -266, -303, -126, 265, 40, 268, 390, -106, -346, -91, -171, 349, -70, -483, -444, 70, -98, -122, -249, 43, 440, -215, -338, 12, -196, -330, -32, 472, -104, -224, -455, 482, -27, -81, 248, -135, 39, 490, 259, 193, 251, -412, 42, 34, -395, 450, -396, 360, -172, -144, -97, 121, 141, 418, -367, -203, -60, 453, -230, -312, -271, -185, -329, -446, -414, -229, -80, 478, -239, -321, 171, -135, 120, 66, 399, -423, 16, -497, 437, -303, -141, 193, 318, -148, 111, -197, 150, -449, -244, -228, -260, 337, 439, 263, 391, -475, -466, 163, -497, 147, -305, -473, -136, 315, 93, -237, 392, -39, -233, -318, 158, 478, 375, 328, 183, 338, -369, 185, -259, -113, 457, 333, -276, 396, 96, -32, -227, 482, -369, 129, 482, -174, 156, -154, -07, 101, 110, 238, -438, -271, 420, -427, 59, -353, 401, -258, -163, -467, 427, 78, 272, -264, -88, -151, -368, -140, 317, -94, -157, -200, -113, 177, 479, -457, -477, -28, 496, 485, 62, -442, -286, 334, -369, -374, -167, -115, -132, 170, -82, 148, -251, -310, 384, -487, 39, -131, 225, 208, -373, -432, -491, 14, -403, -160, 409, -379, -336, 405, -394, 227, -185, 173, 413, 299, -349, -253, -316, 371, 417, 454, 19, 18, -04, 256, 31, -464, -23, 109, -404, 104, 177, -43, -30, 275, 297, 231, -252, -186, 136, 206, -459, -197, 231, 454, -398, 382, 53, 138, 254, -29, 92, 125, 489, -411, -119, 373, -23, -290, -18, 73, 314, 11, -117, 136, 138, -320, -133, 386, -06, -145, 445, 387, 159, 176, -306, 261, 411, 247, 252, 165, -282, -156, 142, 60, 285, -476, 285, 114, 86, 119, -312, -99, -370, 423, -111, -379, -397, 257, -141, 450, -388, -196, 337, -377, -167, -117, -263, -256, -369, 489, -239, 201, 185, 403, 113, -29, -221, -102, -415, 366, -483, 125, 119, 00, 48, -492, 121, -496, -383, -168, 454, 82, 137, -357, 205, -178, 379, 442, 66, -138, 431, -321, -437, 469, -418, 177, -60, -138, -73, 377, 80, 297, 355, -301, 149, -97, 59, 122, 259, 177, 454, -435, -241, 443, 61, -184, -235, -60, -241, -317, 302, 42, -138, -283, 11, 297, -254, -197, 11, 174, 33, -409, 323, -112, 142, -28, -357, -299, -406, 403, -270, -452, -180, -11, 492, 381, 306, 109, -179, -83, 293, -25, 459, -345, 193, 323, 452, 439, -22, -37, 465, -489, 406, 288, -101, 48, 112, 43, 250, 206, 298, -168, -393, -382, 322, -49, -148, 480, -440, 173, 249, -295, 01, -440, 213, -306, 383, -483, -15, -138, 333, -49, 225, 239, 91, -375, -212, -296, -480, -110, 410, -330, 222, -131, 140, 396, 320, 492, -272, -267, -482, -171, -62, 19, -110, -349, -435, 125, 21, 50, -161, -146, -499, -435, -407, 93, 42, 233, 297, 62, -25, -441, -416, 50, 281, 224, 298, 101, 217, -121, -314, -413, 208, 477, 106, -402, -372, 171, -424, 149, 73, -85, -145, 75, 332, -51, 20, -126, 34, 169, -212, -490, 228, -128, 412, 09, -403, 210, -37, -334, -411, 149, -247, -350, 126, 359, 100, -393, 382, 176, -392, -45, -56, -36, -118, -224, -235, 402, -497, 299, 423, -209, -339, 152, 164, -427, 13, 261, 284, -172, 427, -275, 478, -320, -125, 456, -109, 476, -85, 125, -496, 376, -68, -52, -160, -333, -423, 457, -79, -420, 256, -155, -129, 418, -151, -465, 491, 362, -352, -373, -309, -73, 205, 21, 459, -420, 329, -150, -92, 97, -173, 265, -27, -388, -287, -335, -221, 142, -378, 200, 222, -270, -103, -54, -352, 246, 333, -08, 109, 482, 471, -348, -91, 176, -475, -131, 257, 354, -429, 17, -49, 251, -218, -224, 363, 348, -59, -06, -10, 63, 46, 65, 294, 444, -489, -206, 190, 344, -362, -201, 326, -390, 303, 88, 286, 328, -191, 395, -465, 232, -87, -14, -17, -453, 263, 198, -253, 56, -308, 238, -28, 239, 155, 118, 183, 166, 412, -127, 362, -449, -475, -459, 13, -320, 129, -201, -491, -210, -305, -456, -478, 460, 382, 06, -141, 497, -296, 107, 54, 249, 197, -474, -12, -148, 144, 23, -130, 408, -252, -268, -189, 125, 125, 324, 306, 106, -376, 315, 396, 171, -289, 419, 483, -407, 277, -158, -57, -167, -199, 497, -418, 498, -125, 422, 202, -481, -55, -76, -221, -454, -491, 91, 171, 134, 267, -23, -259, 391, 144, -363, 414, -293, -92, -251, 153, 37, 444, -404, 371, -255, -407, 453, 96, 320, 376, -202, 339, 173, -425, -30, 219, -416, -439, -109, 218, 329, -280, 459, -428, -283, -51, -161, -76, -291, 88, -423, 247, 32, -327, 118, -370, 118, 423, 226, -62, -349, -124, 129, 325, -49, -400, 396, 35, 13, 139, 106, 194, -288, 417, -381, -71, 218, 310, 353, 428, -102, 431, -473, -217, -44, 497, -87, -425, 420, -09, 13, -428, -281, -05, -251, 171, 95, -03, 58, -40, -363, 16, -345, -151, -66, -226, 278, 04, -416, 483, -68, 334, -234, 311, -31, 223, 308, -266, -350, 229, 225, 163, -347, 445, 10, 254, 468, -395, -249, 378, 66, 240, -105, -427, -411, -319, -153, -281, 185, 283, 55, -30, 469, 321, 133, -61, 44, -58, -475, 194, -329, 251, 210, 176, -452, -280, -70, -132, 178, -467, 98, 96, 274, -155, 169, -285, 26, -132, 287, 64, 03, -158, -114, -28, -337, -481, -237, -440, 313, -211, -394, 484, -108, -332, -488, 292, 241, 294, -340, 271, 328, 258, -133, 102, -396, -112, -331, 482, 256, 456, 398, -241, 150, -216, -417, -334, 156, 199, -274, -31, 488, 184, 306, 232, -295, -330, 24, 446, 465, 184, 217, 293, 294, -64, 247, 398, 324, 416, -267, 80, 373, -369, -309, 23, 268, 126, 189, 276, 177, -233, 97, -483, -196, -97, 249, 09, 426, -227, -45, 391, -191, 24, 184, -396, 460, 283, -146, -364, 199, 87, -432, 424, -429, 111, 300, 339, -263, 341, 467, 415, -39, 64, 432, 265, -180, -466, -226, -254, 159, -419, -363, 469, 457, -327, -75, -231, 456, -369, -95, 155, -429, -27, 432, -358, -64, 232, -167, -475, 73, -200, 440, -466, -284, -275, -349, 36, 111, 277, 282, -230, 358, -229, -261, -333, -56, -484, -64, 252, -352, -307, -92, 71, -482, 192, 213, -46, -76, -102, -20, -151, -450, 272, 236, -234, -151, 387, 303, -188, 165, 85, 83, 375, -291, -326, -105, 153, -309, -317, -94, 191, -123, -334, -238, 247, 358, -173, 54, 134, 225, -466, 483, 275, -342, -429, -459, 360, 459, -304, -328, 476, -366, 255, -297, -157, -218, 98, 496, -27, -366, 254, 16, 11, -228, 278, 110, -370, -43, -336, -384, -318, 50, -400, -191, -439, -329, 202, 421, -18, 399, -407, 310, -467, -299, -486, -124, -17, 464, 224, -192, -50, 331, -324, 461, -397, 454, 424, 86, 263, -412, 202, -203, 491, 302, 106, -448, -174, 160, -175, -340, 59, 270, 471, 444, 471, -163, 172, 306, 153, 249, -386, -396, 80, 142, -83, 183, 96, -159, -231, 211, 282, 472, -492, -375, -374, 114, -323, 304, 127, 354, 465, -314, 124, -212, -17, 96, 125, -345, 254, 130, 404, -279, 234, 336, 363, 04, 20, 312, -303, -359, 23, -169, -387, 32, -44, 92, -02, 485, -104, -375, 339, -139, 164, -36, 149, -353, -88, 126, 154, 18, -243, 411, 239, -157, 247, 103, -301, -233, -85, -103, -91, -210, -420, 374, 322, 389, -34, 173, 374, 363, -350, -434, 76, -334, 382, 78, 165, 146, -296, -180, -336, 313, 83, 404, 09, -170, 359, 208, 450, -226, -43, 211, 64, 390, 437, 239, 279, -96, 264, 153, 119, 414, -429, 47, -419, -195, -375, 246, 451, -170, -82, -32, -05, -499, -128, -144, 184, -269, -83, 134, 357, -274, -155, 273, -384, -218, 364, 395, -462, 128, 401, -491, 395, 472, 57, 476, -222, 182, -426, 81, -136, 345, -451, -288, 346, 273, 68, 30, -144, 485, 16, 65, -288, -287, -161, -172, 348, 55, 76, 386, -316, -23, -252, -421, 301, 305, -93, -69, -13, 333, -487, -296, 178, -86, -84, 377, -312, 484, 259, 396, -178, -224, -38, 34, -11, -347, -286, -163, 208, 290, 76, -256, 119, 324, 175, -79, 481, -66, 352, 320, -232, 365, -476, -202, 132, -60, -325, 320, 277, 435, -432, -401, 63, 30, 485, -96, 183, -301, 242, 244, -158, 170, 488, 461, 346, 164, 234, 327, -402, 87, 147, 218, 304, -476, -483, -64, -36, 44, 108, -259, 331, 177, -160, 246, 59, -175, -349, 95, 377, -255, -161, 71, -233, 179, 384, -387, 195, 119, -208, 294, 58, -209, 364, -138, -185, -267, -349, -368, -370, -389, -127, -187, -360, -434, -440, 200, 243, -289, -205, 120, 308, 486, 43, -425, 165, -72, -312, -139, -453, 332, 07, 105, -377, 223, -181, 291, 457, 322, 423, -61, 434, 148, 252, -426, 214, 312, -374, -42, -125, 273, -70, -317, 259, 474, -242, 277, -98, 298, -10, 301, 482, -151, 258, -42, -76, -423, -251, 233, 400, 24, -328, -314, -328, 425, -240, -261, -411, 239, 197, 317, 12, -21, -500, 124, 305, 111, 253, -293, 261, -257, -140, 244, 444, -382, -298, -132, 48, 303, -46, -52, -173, 126, 486, -01, 403, -254, 238, -155, 485, 287, -338, 350, 119, -338, -26, -76, -375, -273, 484, 387, 322, -156, 131, -382, 315, 333, 338, -137, 488, -208, -337, -185, -229, -351, -334, -326, 247, -243, 19, -415, -104, -467, 435, -485, 48, -91, -60, 173, 488, 276, 60, 310, -28, -309, -220, -213, -124, -382, -498, 216, -89, -335, -469, 182, 166, 50, -292, -86, 307, 228, 351, -297, -387, 286, -281, 161, 47, -489, -165, 387, 287, 395, -451, -241, -61, -171, 399, -333, -53, 401, 384, 358, -81, -233, 392, -63, 317, -399, -297, 124, -319, -446, 328, -206, -308, -101, 456, 239, -90, -209, 478, 49, 38, -473, -340, -171, -144, -89, -03, 304, 165, 233, -486, -64, -500, 407, 373, -330, -492, -423, 294, 41, -369, 474, 335, -176, 225, 291, -85, -13, -66, 246, -112, 473, 273, 49, -198, -18, -188, -349, -214, 477, -264, 152, -87, -263, 411, 139, 259, -229, 216, 405, 312, -301, -268, 148, 375, 457, -61, 143, -55, -274, -111, 333, -301, -338, 234, 353, 144, -101, -143, -218, -124, 93, -213, -358, -318, -302, 281, 441, -30, 349, 347, -218, -452, -421, 430, -224, -112, 222, 419, 333, 448, -192, -481, -01, 322, -395, 204, -33, 04, -439, -399, -267, -493, -112, 227, -311, 87, 360, -17, -91, -439, -170, 191, -39, 261, 474, 237, -351, -452, 156, -165, -152, 464, 206, -301, 287, -337, 403, 106, -480, -183, 207, 105, -176, -52, -168, 365, -113, 44, -152, 296, 105, -470, 339, -434, 291, 313, 304, -207, 361, 312, 480, -291, 277, -462, 260, 416, -299, 164, 22, -279, -167, 81, 326, 157, -471, 10, 374, -84, -94, -277, 64, -489, -247, -96, -70, -103, 69, 86, -458, 283, -102, -478, -156, 27, -440, -395, -57, 113, 269, -183, 335, -398, 399, -487, -389, 428, 376, 485, 197, -218, 60, 113, 146, 314, -483, -424, 63, 439, -486, 105, 222, 264, 479, -434, -208, -461, -329, -413, 152, -208, -95, 339, -106, -196, 353, 357, 84, 229, -305, 133, -137, 255, 99, -491, 421, 116, -63, -16, 407, -49, -59, 129, 68, -80, 196, 360, 311, -281, -201, 316, 12, 204, 155, -242, -140, 360, -384, -203, 441, 163, -218, -195, 270, 381, -186, 192, 350, 252, 28, 257, 55, -178, -113, -377, 242, -65, -165, 406, 154, 487, 222, -334, 191, -123, -75, -96, 90, 393, 201, 31, 408, -165, -312, 178, -283, 03, -130, -433, 107, -249, 324, 14, 73, 63, 490, 167, 498, -175, 73, -495, -188, -205, 23, -144, -475, -200, -388, 115, -307, 313, -02, -47, 00, 187, -368, 217, 42, 354, 284, -351, -395, 461, -485, -470, 24, -495, 198, 375, 183, -229, 380, 495, 67, -97, 203, 444, 204, 315, 411, -251, 480, -91, 203, -19, -52, 335, 50, 490, 189, -165, -09, -353, -204, 07, -323, -328, 12, 375, -453, -305, -01, -221, 43, -434, 183, 98, -138, 239, 266, -227, 488, 246, 182, 191, 79, -17, 378, -370, -27, 420, 317, 465, -433, -35, 324, 96, 137, -164, -28, -463, 384, 471, -184, 279, -111, 499, -123, -397, 238, -357, -124, -421, -258, -90, -378, -327, 393, -147, 155, -133, -227, -28, 184, 192, -211, 360, -212, -221, -304, -388, -184, -68, -65, 132, -289, -324, 484, 441, -221, -426, -416, 155, 05, 178, -82, 128, -296, -189, 481, 359, -470, 106, 184, -434, -202, 473, 426, 438, 104, -25, -97, 420, 407, 338, 405, -29, -485, 389, -88, -206, -185, 348, -198, 321, 379, 220, 301, -417, -117, 282, -206, -86, 240, 478, 332, -110, -196, 259, -172, 408, 86, 231, -319, -07, 422, -414, -184, 437, -173, -420, 83, 494, -219, -263, 315, -340, 457, 116, 95, 193, 250, -259, -393, 342, 72, -209, -268, 376, -450, 61, -364, 136, 144, 169, -18, 66, 255, -350, 355, -66, -269, 291, -71, 364, -472, 96, -124, -162, 65, -177, -469, 167, 64, -10, 10, -364, 281, 242, -136, -316, 155, 01, 320, -200, 22, 154, -282, 130, -343, -74, -436, -112, -283, 345, 104, -255, -58, 480, 83, -141, -197, 114, -474, 367, -396, 36, -496, -262, -221, 220, -78, 434, 73, -258, 86, -404, -251, -343, 226, -94, 83, -358, -354, 300, 488, 250, -455, 282, -418, 481, -359, -115, 95, -333, 104, -448, 204, 460, -210, -165, 181, 212, 121, -246, -194, -292, -150, 407, 217, -72, 165, -200, 71, 311, -48, 59, 413, -03, -159, 495, 330, 334, -120, 278, -499, -163, 330, -443, -203, -28, 244, 478, 36, -134, 85, -306, 426, 435, -398, 143, 216, 267, -205, -213, 431, 247, 346, 344, 96, 39, 340, -73, 225, 72, -295, 226, -239, -113, -364, 59, 359, 380, 389, 247, -254, -26, 441, 24, 262, -457, -333, -22, -337, 314, 265, -406, 61, 463, -210, -342, 354, -18, 437, 79, -93, -358, 157, 168, 381, -355, -273, -408, -474, -31, 339, 124, 443, 280, 01, 205, -324, -480, -317, -161, 335, -200, 285, -104, 115, -425, 406, -31, 410, 343, -100, -183, 485, -442, -163, -282, 55, 65, -190, 433, -114, -351, 58, -171, 430, -89, -113, -42, -69, 70, -351, -234, -277, 434, 163, 338, -139, 69, 160, -229, -87, -440, 440, 250, -30, -222, 469, -474, -305, 131, 459, 81, 281, 369, 410, -437, -220, -203, 21, 212, -280, 170, -170, 295, 456, 493, 485, -183, 415, 145, 441, -172, -442, -267, -70, 28, 11, 251, 406, -442, -117, -282, 139, -336, -61, 402, 79, -428, 51, -48, -364, -377, -26, -34, -230, -70, 312, -244, -401, 227, -247, -108, -93, -189, 126, 337, -308, -11, 89, -402, 48, -176, 168, 39, 340, -392, 293, -81, 32, -155, 371, 168, 320, -155, -366, -409, -373, 446, 199, -274, -475, 452, 471, -68, -236, 97, -230, 308, -62, -289, 406, 486, 387, 427, 378, 227, -113, 171, -02, 419, -132, 221, 87, 41, -434, -427, 484, 45, -128, 183, -377, -103, 487, -406, -318, 103, -457, 304, -89, -18, -133, 170, 320, -246, 97, 198, -167, -164, 222, 331, -245, -410, 52, -306, 131, 470, 119, 115, 15, -157, 150, 490, -407, 138, -415, -225, -259, -20, -421, -495, 462, 298, 175, -365, -448, -228, 333, -115, 460, 407, 68, -285, 498, -380, 261, 481, -410, -120, 449, 457, 224, 99, 447, -331, 89, -116, -56, -317, -283, 375, -312, 31, 173, 363, 166, -423, -13, 352, 314, -53, 259, -118, -486, -391, 02, 275, -409, 444, 07, -460, -247, 83, 491, 52, 252, 81, 437, -304, -384, -346, -77, -196, 185, -52, -333, 204, 25, -494, 56, 191, 305, 167, -427, 319, 277, 427, 94, 368, -277, -399, -240, -24, 185, -249, -119, -63, -316, 170, 486, -200, 324, 261, 104, 361, -290, -377, 417, -413, -19, 325, 279, -214, -07, -296, -395, -230, -16, -449, -10, 207, -347, 250, 36, -310, -499, 417, 479, 38, 87, -183, 338, 263, -421, 295, 476, 141, -230, -254, 228, 252, -429, 359, -462, 64, -84, -04, 334, 400, 47, -176, 459, -448, -74, 347, -258, -72, -384, 74, -182, -445, 391, -344, -330, 470, -197, -353, 463, 74, 245, -456, 178, 316, -245, -432, -119, 171, 64, 67, 423, -388, -256, 383, 16, 170, 230, 259, -50, -301, -167, 268, -246, 76, -223, -75, 399, 80, 424, 362, 06, 169, -242, -316, -15, 14, 105, -282, -315, -331, -362, -391, 133, -118, -156, -350, -96, -74, -239, 355, 125, 446, 475, 380, 374, -248, -195, 273, -315, -271, 136, -457, -250, -254, 80, -413, 260, -315, -194, 446, 206, 296, -93, 192, 30, 251, -306, 434, -323, -45, -359, 303, 253, -383, 183, 127, 221, -160, -99, -242, 421, -111, 154, -329, 135, -266, -242, -104, 271, 416, 194, 329, 212, -399, 21, -258, -296, 215, 29, 233, -330, 170, 36, -225, -361, 71, 403, -287, -237, 156, -29, -316, -103, -23, -145, -116, 211, 114, -368, 334, 30, -322, 164, -257, 131, -315, 337, 335, 401, -134, 69, -77, -463, -43, -449, 28, -119, -194, 241, 144, -186, -287, 329, 211, 190, -316, -53, 254, 298, 80, 440, 181, 258, 104, -224, -110, -358, -387, 77, -105, 332, -354, -330, -279, 456, -279, 249, -163, 27, -09, 481, 341, -444, 310, 404, -402, 495, -148, -296, -355, -216, -355, -322, -458, -399, -46, 284, -257, 420, -138, 490, -396, 360, -339, -175, 316, -118, -74, -347, -238, 417, -365, -45, -175, -203, -140, -76, 144, -436, 480, -358, 200, -375, -180, 242, 79, -373, 379, 322, -101, -259, -335, 355, -47, -174, -320, -230, -440, 106, -77, -178, 376, 410, -370, 53, 60, 342, -171, -296, 406, -190, -154, 106, -65, -481, 200, -486, -02, 431, -311, 397, -328, -146, 252, 126, -468, -216, -252, -408, -258, -477, 267, -30, -214, 397, -476, 346, 239, -147, -450, 497, 163, 249, 455, -49, -380, 155, 317, 118, 87, -142, 367, -389, -436, 471, -411, -404, -245, -163, 41, 349, -139, -192, -180, 147, -295, 196, -07, 444, -99, 395, 441, -83, 496, 396, -280, -384, 403, -463, 234, 342, 248, 101, 454, -336, 72, -105, -239, -321, 233, -346, -119, -54, -38, -447, -55, 167, 249, -210, 111, -350, -315, 404, 67, -318, -348, 287, 150, -445, -323, -115, -250, -223, -162, -296, -59, -237, 451, -446, 294, 184, -292, -325, -18, 170, -272, 427, 189, 477, -283, 152, -20, 255, 56, -101, -211, 208, -313, 439, -384, 216, -176, -134, 493, -485, 422, 286, -222, 373, -307, -428, 410, -99, -252, -108, -76, 328, -180, -387, -342, 389, 266, 138, 144, 174, -463, 433, 235, 76, 373, 351, 144, 49, 69, 489, 64, 343, 276, 342, -432, 469, -233, 478, 222, 367, 223, -02, 195, -105, 112, 353, -216, 230, 343, 429, -96, -267, -286, -361, -339, -413, -158, 306, 489, -237, 295, 53, -42, 423, 248, 27, -256, -133, 357, 467, -266, 80, 317, -219, 475, 281, -13, 112, 11, -170, 41, -232, 415, 255, 259, -423, -305, -46, 383, -316, 217, -470, -411, -324, 454, -311, -445, 50, 56, 412, 369, 290, -07, 187, -428, 320, -32, 411, -68, 480, -259, -175, 100, -343, -67, -141, -266, 128, 313, -31, -336, 383, -01, -247, -89, 305, -57, -34, -144, -149, 230, -275, -358, 75, -236, 66, -104, 233, -23, -320, -435, -430, 06, 165, 79, 439, -476, -335, 419, -310, 134, -65, -427, -14, 188, 336, 143, -17, -198, -149, 335, -116, 77, -171, 460, 341, -253, 208, 426, -424, 388, 491, -354, 246, 156, 226, -463, -467, -257, 456, 75, 378, 243, -500, 216, -68, 336, -141, -233, -10, 211, -46, 374, 140, 283, -314, 333, -118, 394, 260, -42, 283, 251, 457, 29, 260, -465, 419, -355, -222, 375, -428, 08, 119, -428, -276, -97, -240, 436, -478, 250, 147, -23, 476, 139, 112, -337, -28, -153, -443, 84, 305, -308, 188, 262, -426, -52, -351, 493, 445, -72, -280, -483, 436, -309, -59, 13, 94, 201, -51, 469, 303, -52, 298, 279, -413, -90, -206, 411, 257, 204, -04, 415, 396, -316, -471, 470, 484, -321, -185, -219, 459, 36, -202, 395, 227, -409, 260, 174, 292, -291, 495, 95, 157, 293, 226, 244, 55, -479, 156, 165, -423, 04, 80, 473, 188, 461, -204, -476, -08, 111, -195, -49, -01, 455, 199, 79, -454, -41, -247, -310, 169, -252, -363, -174, -107, 363, -77, 448, -264, -69, 113, -187, -213, 45, 139, 475, 07, -213, -149, 499, 398, 156, 303, 250, 111, 02, -171, -491, 461, 434, 51, 482, 34, 188, 161, 427, 403, -64, -273, -08, 367, 341, -343, 06, -114, 296, -19, -255, -417, -316, 97, -166, 340, -100, -416, 303, 402, 265, -336, -285, 199, 215, -302, 85, -97, -289, 12, -194, 147, 239, -350, 366, 432, -192, -128, 171, -396, -295, 416, 40, -111, 365, -274, 81, -235, 162, -116, -333, -73, 48, 235, -22, 115, -215, -437, -482, -04, 427, 176, -05, -482, -321, -139, -197, -13, -415, 474, 443, 142, -258, -17, -469, -392, -439, 112, -127, 223, -152, 393, 02, -252, 480, 480, 363, -235, -105, -267, -387, -178, -239, 108, 193, -60, -179, 496, 427, 258, -178, 371, -100, 64, 206, -69, -476, 268, -105, 250, 343, -405, 143, -154, -157, 475, -174, 58, -260, -426, 291, -147, -104, -96, -187, -59, 345, 486, -63, -376, 244, 259, -153, -356, 176, -446, 427, 200, -326, 174, -50, -483, 269, -55, -137, -36, 272, -458, -478, -488, -384, -335, 217, 364, 69, -118, -194, 266, -132, -405, 391, -388, -293, -262, 108, 383, 144, 387, 435, -330, 61, 238, -312, -170, 35, 403, 294, -192, 445, -332, 172, -87, -167, -110, -222, 403, 272, 436, 169, -07, -117, 412, 457, 90, 03, 66, 325, -353, -47, -387, -182, -133, 351, 358, 197, -114, -387, 344, -454, -89, -488, 219, 324, 198, -39, -46, 101, 85, -110, 122, -422, 274, 387, -464, 216, -110, 454, 42, 389, 259, -493, 59, -374, 358, -83, -324, 96, 383, -480, 143, -206, -116, 214, -382, -418, -325, 425, -465, 260, -185, -490, -309, -59, 397, -273, 10, 139, 33, -96, 28, -208, -89, -412, 271, -231, 357, 447, -283, 240, -181, -288, -466, 203, 426, 05, -362, -399, -70, -327, -286, -403, 35, -95, 391, -68, 484, -99, -77, 17, 305, 452, -339, -284, -108, 432, -15, -251, 379, -446, 490, 50, -233, -124, -246, -307, 381, 244, 147, 163, 417, 361, 261, -47, 118, 152, -263, 102, -95, 161, -29, -290, 113, 132, -74, -495, 417, -237, 106, -352, -183, 96, 199, 84, -175, -195, -370, 58, -451, 277, -278, -182, 490, -165, 271, 108, 487, -139, 62, -108, -478, -115, 454, 487, -483, -120, -156, -214, 495, 450, -65, -188, 399, -14, -251, -276, 291, -121, 282, -308, 08, -144, 10, 350, 191, 134, 310, -470, 495, -128, 274, -483, 257, 228, -144, -374, -392, 200, 265, -45, -498, -300, 268, 401, -462, -131, -23, -319, -400, 112, -127, 108, 468, -265, 310, 160, 369, 120, 190, 364, -156, -35, -267, -47, -307, 441, 431, 154, 141, 196, -391, 496, -252, -271, 397, -214, 98, -125, -33, 198, -161, -308, 158, -193, -72, 320, 467, -203, -60, 158, 14, 284, -25, 247, 89, -480, 189, 21, 174, 182, -283, -364, 178, -34, 217, 428, 252, 168, 155, 72, -134, 494, 264, -123, -199, -308, -303, -231, -10, 490, -221, -496, -374, -394, -397, 216, -374, -356, -263, -347, -321, -46, -211, 357, -228, -494, 285, -475, 174, 292, 97, -107, 286, 213, -378, -412, 406, 171, 209, 248, 161, -160, -396, -360, -54, 59, 356, 72, 204, -55, 225, 383, 399, -134, -408, -328, 225, -270, 49, 251, -478, -02, -356, 309, -289, 118, -251, -383, 142, -190, -283, -197, 150, -179, 295, -52, 381, 151, -128, 437, -404, -402, 320, -152, 316, -236, 372, 41, -06, -79, -207, 17, 419, 289, 178, -18, 260, -221, 100, -98, 89, -331, -443, -261, -09, 353, -461, 224, 356, -89, 161, 453, 361, 333, 153, 178, -403, 25, 71, 92, -202, -284, -39, 69, -142, -09, -449, -382, 270, -497, 372, -141, -327, 429, 450, -484, -366, -159, 240, 491, 252, -99, -204, 114, -266, -199, -208, -169, 326, -285, -225, -24, -68, -412, -455, 290, 79, -52, -240, 201, -48, -368, -88, 477, -87, 214, 493, 48, -445, 233, 391, 308, -366, -313, -78, 220, -12, -434, -97, 166, -219, 179, -358, 213, -381, 39, 355, -449, 487, -385, 252, 291, -253, -335, 268, 161, 379, 261, 61, 435, -06, -48, 243, 480, 491, 17, 200, 331, 435, -44, -03, -284, -13, 491, -218, 106, 30, -11, 157, 369, 105, -90, 161, -296, 427, -71, -283, 306, 43, 278, -407, -111, 82, -312, -130, 73, -443, -78, -96, 492, 378, -247, 61, -135, -256, 343, 472, -374, 184, 481, 496, -211, -109, -491, -06, 170, 290, -437, 329, -167, 342, 422, -425, -76, -389, -55, 498, -332, 367, 254, 13, 246, -492, -426, -37, -248, -231, -65, 231, 453, -83, -421, -257, -340, -412, -411, -317, -270, -348, -488, 416, -154, 434, 491, 271, -103, -64, -379, 418, 155, -273, -69, 253, -265, 05, -283, 340, -374, -496, 423, -421, 273, -498, 174, -214, -58, 263, -31, 172, -232, -19, 440, 466, -85, 431, -411, -335, 219, 62, -417, 227, 290, 366, -20, -123, 223, -451, -283, 349, -446, -08, 428, -321, -06, 455, -35, -212, -430, 434, 461, -162, -85, -247, 157, -317, 37, 246, -152, -244, -191, 283, -165, -401, 149, -332, -24, -128, -283, -454, 73, 123, 38, 353, 303, -115, 308, -232, 173, 379, -297, 486, 69, 470, -260, -274, 05, 277, 473, 353, -115, -218, 488, 221, 233, 489, -259, 61, -139, -42, 107, -214, -418, -02, -360, -263, -265, 448, 05, 408, -321, -440, -253, 249, -117, 339, -173, 388, 116, -200, -406, -147, 434, -418, -74, 167, -428, 167, -271, 285, -22, -312, -428, 412, -462, 64, -351, -227, 12, -494, 34, -456, -81, 281, 293, 302, 120, -28, -458, 88, 273, -364, -207, -441, 71, 220, -421, 495, 239, 160, -368, -283, -300, 56, -371, -261, -380, 130, 364, 485, 137, -102, -471, -444, 31, -326, -290, 03, 146, 104, -57, 271, -407, 237, -317, 164, 309, -238, -489, 48, -226, -05, -382, -26, -448, 99, 213, 24, -270, 430, 361, -281, -172, -258, 127, -288, 268, -311, 215, -85, 293, -341, 38, 386, -252, -427, 402, -443, -165, -235, 457, 461, 261, -425, -64, -335, 175, 01, 189, -243, -69, 403, -24, -388, -355, -45, -176, 414, 144, -109, 181, -63, 50, 71, -176, -350, 145, 78, -293, -168, 344, -335, -206, 105, 92, 230, 270, 119, -269, 311, 376, -485, 214, 204, -373, 360, -341, -49, 274, 303, 342, 307, 93, 245, -122, -231, 395, -477, 347, -45, -144, 191, 120, -498, -204, 64, 232, -82, -316, -185, -270, -88, -170, -204, -383, -43, -344, 128, -240, -218, 284, -45, -411, -123, 52, 320, 146, -53, 343, 345, -246, 51, 37, -274, 53, -315, 291, 137, 456, 475, 453, 38, -113, 135, 334, 356, -55, -157, -15, -443, 477, -231, 12, -81, 498, -436, -261, 496, 364, -418, 341, -382, 486, 230, -155, 39, 416, -364, -323, -276, -37, -18, 262, 350, -31, 96, -441, 414, -209, 44, 472, -231, -335, 336, 188, -337, 401, 427, 11, 265, -139, -148, -265, 199, -65, 80, -261, 203, -432, 268, 427, 31, 102, 189, 234, -429, 137, 293, 486, 429, 189, -190, 50, 354, -354, -262, -131, -101, 17, 380, -336, -270, 84, 252, 430, -481, 184, 21, 222, 253, -211, 149, 136, 391, 190, -130, -186, -172, 15, -200, 109, -296, 462, 11, -442, -391, -399, -73, 08, 118, 159, -475, -300, -256, -371, -370, 115, 313, 151, -162, 66, -208, -161, -297, 35, -470, 425, 350, 210, -59, -350, 171, 145, -35, -318, -444, 74, -217, -17, -66, -247, -05, 311, -47, -409, 440, 84, 206, 254, 87, -104, -180, 380, 236, 375, -85, -382, -347, -235, -320, 94, 268, -297, -261, -267, -115, 147, -341, -480, -17, 93, -227, 478, -95, -422, -431, -155, -486, -373, -49, 102, 24, 272, 334, 112, 499, 101, -418, -348, -281, -238, 246, 487, -35, -162, 72, -298, -163, 231, 74, 320, 176, 347, 298, -67, -223, -281, -369, -208, -153, 82, -254, -277, 206, -68, -313, 206, -467, -231, -290, -248, 383, -191, 91, 200, 499, 15, -246, -164, -254, 328, -343, -225, -473, 455, 208, -196, 27, 339, 448, -274, 274, -306, -51, -20, 126, 488, -314, -488, 109, -103, -236, -08, 206, -292, 44, -443, 223, 298, -107, -178, 478, 50, 97, -495, 358, 157, 161, -115, 349, 110, 463, 123, 304, 264, -397, 283, 252, -210, 295, -139, -461, -89, -295, -403, 119, -399, -346, 195, -249, 47, -483, -271, -50, 114, -266, -192, 123, 395, -455, -28, 357, -492, -405, -486, -376, -301, 297, 376, 341, 444, 89, -268, 207, 294, -171, 179, -253, 335, -126, -02, 234, -109, 227, -316, -143, -187, 344, -168, 60, -259, 305, -82, 101, 400, -68, 225, -49, -271, 453, -208, 25, 42, 24, -268, 188, -295, -237, 435, -460, 137, -67, -373, -120, 12, 163, -411, 325, 08, -78, -114, -399, 79, 304, -445, 331, -264, 280, -217, 317, -414, 427, 194, 128, -48, -222, -183, -491, 42, 104, -98, 31, -110, 29, 412, 402, -308, -147, 228, -448, -373, -34, 06, 206, -230, 61, 38, 358, -159, -327, -473, -73, -400, 221, -92, 404, 499, -423, -234, 41, 181, 168, -427, -77, 49, -163, -174, -407, -458, -94, -354, -330, 372, 152, -272, -06, -287, -382, 204, 406, -209, 231, 186, 244, -48, -54, 148, 303, 23, -234, -155, 56, 434, 270, 480, -17, -41, 158, 77, 01, -436, -425, -477, -212, -421, 104, 282, -208, 222, -14, 50, -134, 69, 88, -38, -479, -466, -38, -324, 409, 229, 21, -34, 163, 143, 298, -01, -398, -44, -72, 456, 372, 03, 479, -340, 82, 83, 442, -274, 158, 280, -372, -124, -151, 217, 338, 222, -397, -200, 398, -487, -471, 272, 331, -455, -85, 129, 44, 370, -63, -176, 326, -191, 327, 305, -31, 261, 241, 263, 487, -101, 43, -33, 275, 392, -316, 465, 466, -212, -235, 364, 153, 147, 136, -16, -456, -448, -35, 440, 422, 402, -236, 248, 63, -409, 405, -116, -296, 498, -353, -309, -103, -458, 158, 24, -214, -305, 341, -248, 335, -393, -384, -12, -394, 253, -176, -350, -343, 289, -410, -69, -457, -146, 31, 458, 297, -64, -158, -499, -65, -11, 44, -316, 383, 54, -439, -331, 249, 402, -79, 436, -139, 389, -76, 319, 494, 248, 469, -349, 389, -89, 82, 432, -383, -35, 390, -234, -246, 84, 119, -459, -75, -337, -275, -192, -430, 138, -23, -329, 41, -250, -392, -246, -360, 384, -426, -366, 485, -105, -214, 374, -341, -280, -341, -224, -462, -99, 395, -208, 486, 14, -167, -89, -470, 58, 220, -400, 49, 49, -229, -58, 300, 231, 196, 440, 116, -378, -74, 453, 18, -436, 327, 177, -215, -162, -195, 175, -408, -300, 467, -422, 215, -200, 341, 245, -290, 413, -303, 259, -37, -32, -299, 115, 52, -250, 55, 20, -128, 481, -27, -258, -454, 152, 419, 183, 491, -275, -142, -417, 277, 177, 13, -08, 477, -146, 89, -313, 120, 286, -201, -417, -245, 352, 198, -341, -398, 105, 179, 327, 438, -348, -431, -164, -344, 489, -129, -01, 66, -419, 82, -157, 258, -53, -312, 235, -346, 277, -225, 274, 64, 74, -291, -329, -74, 407, -170, 29, 364, -139, -144, 302, 13, 277, -361, -479, 266, 362, 21, 184, 444, -45, -120, 202, 403, 68, -62, -91, -155, -435, -317, -239, 139, -108, -68, -83, 151, -386, 446, 15, -25, 154, 169, -160, -68, -340, -138, 50, -477, -265, 87, 467, 190, 467, 169, 445, 387, -41, -146, 84, 376, 37, 346, 15, -219, 130, 433, -216, -403, -269, -349, 424, -262, 321, 117, -478, -167, 479, 424, -144, 66, 11, 175, -244, 330, 197, -298, 217, 08, 56, 154, -115, -54, 00, 400, -421, -18, -315, -136, 431, 269, 367, 356, -493, -460, -27, -119, -126, 304, -195, -418, -130, -331, 258, 126, 499, 307, -320, -431, -185, -411, 223, 200, 387, 75, 453, 466, -91, -10, 182, -159, -241, 50, -303, 118, 90, 170, 499, -184, 326, -195, -101, -304, -26, 09, -326, 325, -184, 207, 394, 131, 296, 117, 184, 183, 44, 137, -499, 454, -21, 184, -205, 239, -266, 344, -143, -324, 14, 209, -07, 192, -486, 392, 388, 340, 253, -86, 165, -431, -379, 412, 200, 417, 381, 236, 452, -74, -127, 454, -120, -295, 490, -473, 444, -276, 371, 153, 252, 237, -138, -255, -71, 228, -11, 169, 420, -258, -417, 86, -189, -295, -02, -136, -26, 231, -400, 279, -343, 326, -415, 389, -117, -425, 416, -173, -201, -361, -168, -97, -272, -453, 149, 157, 275, -10, 178, 196, -415, 262, 134, 248, -181, -16, -36, -355, -285, 417, 424, 225, 243, -139, 114, -374, -64, 383, 305, -413, -126, -11, -09, 103, 36, -08, 112, 164, 482, -209, 212, -81, -447, 198, -332, 224, -318, 132, 369, 249, 49, -354, -26, 144, 07, -59, -378, -204, -176, -221, -117, 198, 269, 374, -199, 157, 218, -234, -179, -447, 57, -467, -28, 462, -417, 492, 186, -235, 125, 407, -133, 26, -95, 341, 23, -235, -218, 497, 61, 458, -223, 444, -491, -102, -329, 162, -445, 389, 428, 229, -206, -15, -386, 267, -53, -302, 259, -367, 315, 236, -107, -318, 115, 298, -476, -362, -437, 158, -13, 124, 469, 264, 421, 478, 14, -56, 140, 422, 185, 69, 151, 480, -446, 265, -401, 354, -185, 358, -161, -369, 447, 232, 165, 414, 31, -459, -448, 446, 200, 39, 423, 169, 156, -304, 499, -330, 140, 139, -408, -175, -292, -405, 157, 115, -287, 256, -31, 28, 467, 308, -489, -234, 41, 177, -320, -76, 218, 84, -130, 270, -25, 145, 291, -369, 341, 290, 154, 333, -70, -402, 11, 490, 46, -332, 105, 259, -223, -426, 139, -256, -265, -497, 10, 276, -468, -458, 52, 250, 126, -226, 373, -399, 420, 164, 85, -387, 307, 91, 447, 89, -459, -42, 79, 87, 478, 37, 198, -245, 463, -162, 351, -302, 193, 213, -174, 225, 255, 378, -25, 233, -347, 200, 335, -75, -135, 272, 38, 24, -137, -15, -387, -96, -205, -456, -156, -226, 81, -458, 381, 397, 232, 233, -405, -75, 298, 274, -350, 54, 152, 478, -213, -343, 178, -26, 82, -105, -254, -27, 419, 461, -190, -116, 218, 106, -71, -438, -268, -138, -44, -35, -241, -311, 50, -145, 114, -151, -19, -383, -245, -367, -405, 394, 143, -375, -131, 77, 21, 467, -450, 292, -219, 213, -323, 499, 171, 106, -87, -245, 468, 369, 220, 80, -442, -229, -213, -475, 472, 268, -358, -273, -247, 89, -379, 396, -434, 342, 326, 439, 310, -272, 232, -409, 441, -239, -58, 112, -281, 355, 367, 39, 224, 88, -381, -365, -289, -94, 12, 35, 26, 154, 262, 280, 95, -265, -472, 161, -422, 354, 101, 388, -417, 185, -169, -476, 446, -375, 489, -335, 480, 356, -444, -444, 296, -324, 43, -141, 434, -445, 394, -39, 209, -492, 93, 156, -256, 121, -182, -178, -24, -229, 62, 411, 456, -255, -213, -246, -130, -224, 271, -150, -15, 327, 258, 133, -145, -198, 493, 142, -143, 387, -397, -81, 396, 196, -73, -08, 169, -403, 314, -355, -132, 228, -92, 176, 473, -452, 430, -157, 176, -447, -455, -339, 381, -345, 295, 88, -43, 288, -270, -333, -473, 185, 438, -225, 233, -135, 267, -97, 315, 433, 400, -317, 161, -191, -288, 486, -143, -06, 181, -467, 48, -422, 47, 281, -266, -158, -131, -457, -18, 452, 62, 361, 137, 00, -11, -129, -282, 108, 274, -467, 42, 174, 68, 55, -165, 280, 42, 192, -225, 75, -422, 323, 154, 477, 104, 388, 171, -175, 431, 05, -223, -06, -134, 415, -154, -293, -214, 416, 316, -88, -199, 210, -414, 370, 117, -78, -498, 11, -34, -223, -413, 396, -48, 241, 373, -92, 129, 396, 234, 412, -99, -489, 258, -380, -222, -43, -173, 416, -127, -05, -172, 175, -295, 267, 397, 323, 41, 399, -166, -141, -323, -79, 108, 481, 14, 333, -110, -05, 230, -24, -92, -369, 339, 18, 103, -30, 475, 431, -114, 201, 278, -433, 228, -164, -314, 125, -341, -421, 24, 345, -62, -447, 119, -454, -465, -367, -268, 277, 129, 462, 105, -111, -55, -56, 407, -451, 414, -265, -168, 153, 436, -390, 220, -484, -54, -242, 141, 457, -163, -335, -345, 275, 71, -374, -326, 458, -241, 258, 235, -260, 220, -160, 481, 17, -364, -259, 66, -449, 328, -250, 204, -384, 213, 276, -368, 11, -466, 273, -31, -129, -210, 476, -02, 361, -398, -476, -329, 213, 282, -242, -194, 354, 450, -213, -128, -413, 380, -210, -10, 208, 393, -306, 324, 106, -178, 456, -383, -144, -419, 438, -421, -128, -234, 77, 85, -132, 454, 257, -418, 236, -133, -112, 91, -182, -473, -185, -95, -240, 105, 395, 468, 350, -59, -355, -44, -385, -47, 426, -29, 387, -284, 402, -241, -17, -21, -304, 351, 285, -195, -215, 22, 173, -475, -35, 491, -447, 280, 248, 165, 237, 495, 133, 88, 288, -370, -104, 403, 436, -178, 226, 323, 39, 128, -66, -478, -41, 130, -275, -255, -212, 11, 267, 461, 36, 84, -196, 441, 216, -96, 106, 305, -101, 92, -107, 39, 222, -358, -58, -490, -36, -332, 333, -145, 296, -233, 229, 107, 398, 455, 352, 38, 318, 471, 351, -146, 55, -345, 148, 123, 411, -246, -71, 162, 346, 322, -299, 421, -184, 143, 431, -367, -337, -383, -12, -189, -116, 70, 418, -218, 377, 271, -328, 195, -406, -477, -99, -498, -322, -451, 125, -59, 156, -446, -397, 02, -271, -196, 275, 45, 447, -441, 178, -38, -324, -333, 273, 60, -411, 192, -305, 466, 315, -133, 161, 409, -109, -86, 411, 421, -36, 37, 215, -380, 91, 318, 474, 320, -377, -398, -134, -78, 13, -104, 385, 189, 415, 158, 101, -496, 202, -352, 470, 17, 368, 483, -73, 111, -102, 190, 384, 362, -273, 99, -166, -329, -82, -192, -157, 393, 262, -439, 167, -225, -42, 404, -184, -127, 415, 418, -122, 117, -82, 200, -13, 138, 184, -234, -251, -66, 456, -14, 148, 36, -63, 482, -441, -293, 142, -98, -400, -95, 316, -380, 180, -226, -476, 497, 499, 439, -233, -123, 409, -463, -70, -104, 176, -34, 162, -223, 400, 470, 263, 48, 358, 53, 382, 417, 260, 24, 172, 361, -219, -12, -167, -186, 262, -143, 163, -387, 149, 430, 343, 58, -181, -227, -194, 495, 239, -180, 125, 491, -210, 240, 39, 01, -207, 273, -82, -446, 149, -58, -233, 431, 430, 100, -255, -456, 457, 408, -342, 106, -310, -499, 16, 09, 126, 322, 357, -135, -06, -18, -144, 285, -278, -253, -214, 368, -128, -444, 422, -479, -01, -311, 452, 281, 289, 49, 326, -402, 309, -164, -443, -149, -163, 425, 361, 463, 248, -430, 180, 94, 404, -112, -121, -374, 487, -483, -154, -141, -74, -232, 232, -223, 309, 185, -442, 450, 86, -264, -451, 248, 72, -42, -401, -239, -117, -188, -276, -17, -118, -244, -422, -214, 144, 309, 265, 483, -321, -389, -158, 457, 232, -425, -266, 41, -388, -208, 344, -450, 29, -255, 298, -47, 203, 398, 215, -62, -290, -209, 422, 445, 48, -148, -269, 44, -339, -152, 28, -160, -40, -278, -203, 44, 149, 383, -415, 261, 28, 429, -336, -443, -326, 462, 362, -271, -288, 77, 168, 275, 369, 90, 220, -83, -206, -197, 461, -45, 152, 341, -352, -36, -436, 297, -492, 213, 181, -55, 327, -291, 227, -157, 118, -247, -195, 332, -17, 370, -90, -349, 145, -221, -407, 217, -452, -113, -480, -139, -306, 172, -297, -158, -364, 119, -08, -04, 184, 25, 442, 363, -414, 169, -294, -444, 422, 12, 388, 257, 234, -202, -240, -121, 429, -147, -52, 477, -408, -32, -161, 139, -07, 394, -167, 481, 365, 325, -22, 49, -150, 272, -87, 288, -59, 119, 344, 215, -17, 233, -27, -283, -469, 233, 448, 461, -61, 248, -210, 383, -283, 481, 22, -438, -273, 356, -457, -408, -467, 373, 494, 236, 145, -93, 24, -62, -122, -131, -346, -286, -398, 127, 283, -15, 212, -416, 298, -349, 332, -59, -465, -99, -78, 409, -37, 150, 265, 359, -406, -349, 232, -412, 387, -122, 347, -89, 316, -274, -368, -178, 292, 86, -199, 75, -76, -486, 159, -278, -335, 344, 163, 52, -255, -62, -38, 209, -412, 79, 68, -318, 230, 152, -229, 469, -470, -382, -119, -301, 196, 365, 373, -12, -48, -325, -436, 376, -311, -425, -50, 206, 419, -386, -241, 17, 52, -427, -274, 492, -496, -354, 26, 235, 298, 297, 204, -319, -232, -63, 232, -184, -197, 105, 305, -393, 280, -279, 483, 469, 148, -67, -472, 420, 399, 139, -63, 303, 212, -485, -353, 216, -339, 174, 303, -189, 323, 360, 344, -57, 149, 76, 260, -196, -318, 417, -89, -186, -362, 246, 136, -362, 32, 164, -442, -69, -197, -05, 87, -133, 362, 234, -65, -477, -92, 91, 187, 84, -49, 31, -473, -400, -40, 287, -95, 494, -444, -332, -192, -306, 415, -204, 185, -53, 460, 243, -270, 115, 91, 317, -166, -47, 404, 270, 329, 164, -139, 16, -252, -336, -101, 128, 116, 359, 267, -127, 353, 324, 42, 14, -130, -43, 310, -445, -244, -377, -349, -14, 238, 242, 156, -75, 47, 412, -305, -124, 428, 408, -256, 29, -428, 144, -343, 188, 355, 424, -86, 209, 248, 456, -277, -29, 265, -467, 26, -479, 08, 177, 359, -253, 271, 367, 172, -181, -369, -281, 195, -440, -373, -208, 89, 51, 436, 246, 91, 291, -478, -495, 352, -377, 461, -73, 94, -422, 313, -28, -49, -179, -350, -189, 420, -227, 30, 444, 92, 162, -337, 140, -426, 142, 432, 163, -307, -280, 261, -363, -489, -365, -358, -284, -242, -44, 143, 352, 34, -44, -175, 486, 278, 327, 149, -450, -400, 31, 495, -455, -307, -342, 185, 119, -347, 469, 134, 198, -311, -105, 335, 52, 383, 478, 268, -359, -66, 264, -154, -180, -280, -477, -194, -150, -298, -193, -99, -198, 339, -104, 199, -116, 406, -116, -496, -441, 205, 138, 258, 394, -114, 445, -53, -231, 423, 67, 262, 209, -169, -392, -118, 404, -17, -460, 106, 185, -152, -493, -160, -313, 255, -461, 71, -486, 276, 427, -75, -19, 418, 35, -124, -196, -19, -325, 425, 256, 242, 187, 318, -426, -352, -300, -170, 131, -260, 436, -183, 440, -204, 157, -373, -97, 196, -449, -83, -28, 478, -305, 454, 396, -418, 182, 52, 63, 357, -23, 172, 99, 17, 342, -475, 165, -458, -145, 148, 134, -208, 465, 427, 440, 474, -446, -157, -477, -43, -387, -05, 288, 160, 301, 184, 242, -17, 89, 158, 192, -82, -170, -208, 435, -328, 169, 452, 66, -475, 101, 52, 169, 418, -21, 109, 393, 386, -196, 416, -157, -83, 263, -369, -423, 65, -332, 320, -100, -391, -22, -407, 27, -340, 237, 315, 184, -94, 267, -250, 283, -132, -346, -48, -213, 134, -87, 32, 372, 218, -52, -285, -13, -289, 199, 417, -372, -281, -411, 381, -172, 419, 474, -293, -69, -437, -478, -385, -31, -358, 217, -247, 10, 371, -443, -351, 357, -29, -467, 229, 41, -19, 445, -120, -455, 496, 149, -327, 67, 238, -94, -253, -491, 232, -46, -60, 295, 329, 55, 117, 471, -228, 370, 333, -356, -221, 483, -499, -398, -484, 231, 495, 350, -472, -124, 395, -124, -475, -80, 443, -384, 327, -310, -375, 59, 496, 66, 207, 325, -379, -176, 296, 246, 46, 130, 390, 325, 465, -257, -220, -167, -174, -225, -317, -146, 151, -70, -418, -471, -297, -475, -03, -470, 67, 122, 441, 64, 40, -500, -111, -486, -176, 38, 260, 370, -332, -498, -452, -367, -255, -172, -34, 72, 103, -498, -222, 107, -68, -139, 488, 135, 238, -15, -483, -194, -41, 459, -278, -148, 459, 111, -134, 136, -351, -374, 358, 169, -372, 406, 302, -127, 86, 121, -203, -310, 123, 76, -351, -93, 437, -363, -457, 175, 474, -440, -167, 285, -129, 55, -363, 183, 19, 03, 171, -480, 481, 29, 190, -391, -64, 344, 335, -478, 317, -16, 64, -60, -440, -435, 348, -151, 54, -257, -123, 28, 155, 210, 166, -473, 118, 303, -438, -363, 159, 233, 09, 140, -238, 51, -398, -450, -104, -211, -75, -287, 273, -159, -494, -314, -93, -294, 387, 461, -51, -236, 342, -396, -173, 08, -17, -203, 163, 397, -66, 174, 130, -205, -185, -255, 347, 269, -205, 95, -90, -428, -340, -317, -86, -334, 221, 321, 224, 109, -366, 25, -275, -172, 482, 52, 336, -35, 349, 352, -137, 135, 26, -155, -217, -307, 90, -370, -186, -262, 225, 224, -190, 385, -240, -424, -96, 481, -251, -372, 442, -116, 154, -332, 212, 136, -428, 401, -47, -226, -395, -332, -239, 131, 14, 44, -323, -44, 174, -09, 194, 251, 68, -143, 137, 328, -67, -459, -339, -465, 21, -396, -81, -325, -228, -17, -337, 196, 236, 117, 470, 341, -363, -268, 325, -497, 276, -498, -40, 303, 345, 06, 54, -87, -285, 43, 93, -499, 84, 255, -464, -42, 359, -45, 133, -17, -210, -351, -321, -473, -382, 02, -280, -245, 234, -455, -241, 362, -101, -429, 165, -255, 429, 72, -490, -355, -385, 104, -354, -448, -141, -318, 10, -282, 489, -05, -447, -221, 144, 84, 158, 262, -414, 379, -130, -328, 424, 481, -113, -176, -448, -96, 421, -167, 476, 431, -22, -408, 35, 124, -04, 394, 306, -494, -36, -353, 01, 369, -73, -354, -46, -63, -240, 392, -184, 482, -435, 93, 463, -48, 417, -133, 356, 338, 201, 333, -379, 31, -223, 157, -344, 273, 403, -186, -369, 220, -38, 132, 89, -259, -370, -105, 178, 243, -212, -153, 225, -147, 440, -459, 305, 357, 260, -487, -453, 313, -302, 20, -155, -25, -323, 353, 100, -67, 19, 231, 05, 481, 216, -406, 74, -302, -10, 105, 441, -370, 452, -481, -17, 392, -88, 140, -399, 24, -495, -352, 190, -296, 168, -113, -469, -302, -260, 132, 483, 259, 215, -12, -407, 283, 434, -481, 482, 276, 124, -225, 406, 76, 146, 241, -32, -90, 233, 69, 435, 239, -431, 477, 443, -410, -136, 474, 140, 104, 458, 123, 215, -474, -37, -340, -339, 249, -320, -05, 26, 304, -377, 284, 233, 269, 378, -299, 32, 111, -377, 319, -150, -308, 296, 145, 134, -340, 472, -226, -384, 430, -251, -317, -192, -436, -156, 322, 314, 376, -183, 192, -468, -60, 328, 265, 62, 206, -181, -406, -182, -58, -235, -480, 486, -439, 166, 473, 73, 138, -253, 189, 420, 349, 372, 81, 413, 68, -97, -421, 296, 220, 271, 329, 13, 452, 446, -73, 158, -235, 373, -172, -441, -362, -151, -102, -301, -133, -129, 272, -143, 470, 313, 129, 319, -463, -290, -415, 458, 113, -336, 254, 186, -212, 83, 51, 92, 30, -170, -250, -353, -297, 79, 59, -159, -220, 457, 392, 499, 180, -484, -144, 150, -319, 485, 322, -282, 48, -241, -324, 13, 275, 431, -301, -85, 366, -398, -493, 248, -68, -242, 396, 487, -311, 307, -172, 321, 264, 72, 320, 296, 440, -324, 298, -379, 13, 472, 192, -439, -269, 368, 75, -493, -349, -374, -78, -130, 81, 282, -382, -135, -460, -134, -147, 81, -327, -467, -98, -211, 106, 74, -415, 398, -398, -264, -128, 115, -292, -436, -471, -60, -216, 456, 299, 288, -66, 73, -342, -485, -145, 128, -119, 247, 495, -414, 180, 20, -381, -66, -338, -423, -492, -253, 476, -38, -17, -152, -70, -456, 264, -41, -16, -452, 267, 135, 336, -299, -292, -154, 69, 416, 475, 450, 163, -178, -464, 196, -306, 07, -370, -144, 85, -09, 104, 413, 453, -61, -239, -117, 335, -475, 342, -181, -75, 461, -194, 114, -337, 15, 460, 232, 283, 435, -466, -54, 109, -78, -06, 304, 429, 125, -340, 366, -384, -384, 279, -431, 408, -108, -47, 243, 269, 147, -85, -305, 461, 221, 309, -376, 88, 269, -292, -129, -443, 94, -330, -482, -484, 164, -326, -203, 141, -165, -336, 257, 303, -205, -321, -437, 188, 484, 307, -43, 483, 74, -496, 444, -205, 313, -432, -264, 435, 128, 459, -156, -278, -371, -138, 90, -354, 37, -260, 287, -276, 256, 397, -121, -449, -424, -57, -409, -88, 102, 49, -105, -324, 405, 192, 323, 219, 260, -441, -494, 241, -481, 202, -185, 00, -84, 406, 146, -195, -354, 286, 381, 402, 183, -239, -195, -389, 204, -103, 375, -194, -202, -230, 334, -297, 462, 157, -226, -425, -431, 132, -332, -60, -166, -17, 440, 251, 241, 439, -92, 387, 225, -210, -359, 260, 51, 299, -277, 107, -304, -402, 413, -06, 220, -401, -451, -465, 256, -176, -390, -323, -192, 130, 117, 143, -387, 410, 246, 355, -299, -346, -406, 426, -56, 88, -462, 495, -113, -239, 102, 83, -141, 367, -71, -69, 466, 330, -34, -425, 06, 428, -248, 315, 58, -278, -42, 172, -16, 56, 379, 185, 210, 473, 463, -345, 61, -499, 02, -200, 114, -43, 383, -175, 176, 164, 256, 143, -05, -277, -430, -147, -349, 174, -332, 210, 396, 478, 234, -120, 34, 113, -83, -255, 438, -120, 252, 352, -119, 106, -348, -153, -437, -112, 172, -408, -448, 281, 235, 399, -496, -343, 105, 07, 331, 273, -283, -420, 252, -197, 312, -214, -232, -270, 31, -293, 110, 135, -89, -156, -258, 63, -457, 157, 451, 216, 249, -144, -03, 336, 107, 353, 493, -288, -140, -323, 486, 430, 109, -410, -267, -79, -124, 354, 151, -240, -439, 114, -253, -28, -190, -11, -113, -147, -353, 191, -79, -252, -453, 418, -415, -494, -377, -70, 71, -16, 459, 409, 266, 68, 499, 499, 490, 227, -295, 493, 487, -234, 459, 87, -410, -231, -424,