/* $Id: clipdb.inc.c,v 1.3 2004/09/18 10:35:29 cegger Exp $ ****************************************************************************** This is a regression-test and for LibGGI clipping operations. Written in 2004 by Peter Ekberg This software is placed in the public domain and can be used freely for any purpose. It comes without any kind of warranty, either expressed or implied, including, but not limited to the implied warranties of merchantability or fitness for a particular purpose. Use it at your own risk. the author is not responsible for any damage or consequences raised by use or inability to use this program. ****************************************************************************** */ #define CLIPDBSIZE (1000) static int db[CLIPDBSIZE][9] = { { 278, -15, 103, -157, 0, 0, 0, 0, 0 }, { 389, 593, 135, 133, 326, 479, 135, 133, 1 }, { 475, 537, 394, -90, 468, 479, 406, 0, 1 }, { 697, -196, -214, 680, 493, 0, 0, 474, 1 }, { -56, 525, 126, 89, 0, 392, 126, 89, 1 }, { -272, -27, -52, 182, 0, 0, 0, 0, 0 }, { -53, -124, 670, 45, 476, 0, 639, 38, 1 }, { 89, -5, 792, 167, 108, 0, 639, 130, 1 }, { 757, 265, 136, 70, 639, 228, 136, 70, 1 }, { -121, 516, 575, 555, 0, 0, 0, 0, 0 }, { 764, 634, 160, 380, 396, 479, 160, 380, 1 }, { -269, -103, 118, 228, 0, 127, 118, 228, 1 }, { 185, -116, 907, 603, 301, 0, 639, 336, 1 }, { 120, 231, -138, 359, 120, 231, 0, 291, 1 }, { 427, 69, 948, 227, 427, 69, 639, 133, 1 }, { 213, 687, 250, 511, 0, 0, 0, 0, 0 }, { 371, -192, -54, 520, 256, 0, 0, 430, 1 }, { 47, 7, 837, -87, 47, 7, 110, 0, 1 }, { 342, 237, 320, -78, 342, 237, 325, 0, 1 }, { 396, 536, -103, 537, 0, 0, 0, 0, 0 }, { -65, 591, 203, 575, 0, 0, 0, 0, 0 }, { 857, 542, 449, 52, 639, 280, 449, 52, 1 }, { 698, -68, 744, 60, 0, 0, 0, 0, 0 }, { -27, 427, 136, 531, 0, 444, 55, 479, 1 }, { 121, -96, 852, 432, 254, 0, 639, 278, 1 }, { -284, 164, 64, 7, 0, 36, 64, 7, 1 }, { 723, 506, 402, 593, 0, 0, 0, 0, 0 }, { 492, 322, 316, 719, 492, 322, 422, 479, 1 }, { 448, -227, -151, 461, 250, 0, 0, 288, 1 }, { 251, 274, -170, -220, 251, 274, 17, 0, 1 }, { 222, 112, 355, 450, 222, 112, 355, 450, 1 }, { -272, 117, 106, -82, 0, 0, 0, 0, 0 }, { -16, -17, 335, 6, 236, 0, 335, 6, 1 }, { 269, 545, -296, -53, 207, 479, 0, 260, 1 }, { 90, 296, 191, 224, 90, 296, 191, 224, 1 }, { 892, 159, -250, -177, 639, 85, 350, 0, 1 }, { 421, 511, 139, 333, 371, 479, 139, 333, 1 }, { 711, 139, 476, 703, 639, 311, 569, 479, 1 }, { 769, 43, 332, 252, 639, 105, 332, 252, 1 }, { 862, 406, 327, 661, 0, 0, 0, 0, 0 }, { 702, 182, 738, 147, 0, 0, 0, 0, 0 }, { 788, 7, 438, 447, 639, 194, 438, 447, 1 }, { 210, 449, 239, -216, 210, 449, 230, 0, 1 }, { 418, 118, 416, 416, 418, 118, 416, 416, 1 }, { 855, 445, 346, -120, 639, 205, 454, 0, 1 }, { 35, 272, 508, 333, 35, 272, 508, 333, 1 }, { 266, 307, 716, 115, 266, 307, 639, 148, 1 }, { 150, 86, -313, 274, 150, 86, 0, 147, 1 }, { 205, 445, 566, 669, 205, 445, 260, 479, 1 }, { -160, -162, 386, 106, 170, 0, 386, 106, 1 }, { 805, 331, -183, 431, 639, 348, 0, 412, 1 }, { 199, -176, 945, 202, 546, 0, 639, 47, 1 }, { 445, 287, 509, 5, 445, 287, 509, 5, 1 }, { 120, -150, 350, 407, 182, 0, 350, 407, 1 }, { 225, 17, -245, 430, 225, 17, 0, 215, 1 }, { 770, 445, 659, 619, 0, 0, 0, 0, 0 }, { -253, 460, -142, 431, 0, 0, 0, 0, 0 }, { 857, 494, -29, 469, 343, 479, 0, 470, 1 }, { 570, 463, 502, 703, 570, 463, 565, 479, 1 }, { 340, -10, -30, 278, 327, 0, 0, 255, 1 }, { 446, 493, -100, 268, 413, 479, 0, 309, 1 }, { 303, 482, 169, -155, 302, 479, 202, 0, 1 }, { 366, 141, -208, 245, 366, 141, 0, 207, 1 }, { 777, 659, 339, 235, 591, 479, 339, 235, 1 }, { 330, -22, -65, 526, 314, 0, 0, 436, 1 }, { -153, -194, -126, 455, 0, 0, 0, 0, 0 }, { -7, -236, 798, 544, 237, 0, 639, 390, 1 }, { 431, -82, 475, 11, 470, 0, 475, 11, 1 }, { 580, 238, -159, 678, 580, 238, 175, 479, 1 }, { 430, 446, 645, 253, 430, 446, 639, 258, 1 }, { 153, 558, 612, -176, 202, 479, 502, 0, 1 }, { -237, -97, 430, -105, 0, 0, 0, 0, 0 }, { 905, 161, 325, 260, 639, 206, 325, 260, 1 }, { -270, 664, -249, 392, 0, 0, 0, 0, 0 }, { 74, 356, 487, 152, 74, 356, 487, 152, 1 }, { 322, -128, 835, 369, 454, 0, 639, 179, 1 }, { 54, 619, -142, -166, 19, 479, 0, 401, 1 }, { 863, 646, 156, 41, 639, 454, 156, 41, 1 }, { 330, -130, 462, -120, 0, 0, 0, 0, 0 }, { 648, -86, 77, -71, 0, 0, 0, 0, 0 }, { 424, 439, -213, -104, 424, 439, 0, 78, 1 }, { 866, 706, 793, 32, 0, 0, 0, 0, 0 }, { -235, 5, 380, -79, 0, 0, 0, 0, 0 }, { 116, -202, 707, 81, 537, 0, 639, 48, 1 }, { -133, 364, 759, 240, 0, 346, 639, 257, 1 }, { 681, -124, 147, 432, 562, 0, 147, 432, 1 }, { 617, 259, 663, 36, 617, 259, 639, 150, 1 }, { -303, 508, 216, 600, 0, 0, 0, 0, 0 }, { 654, 565, 410, 147, 604, 479, 410, 147, 1 }, { -225, 581, 96, -104, 0, 101, 47, 0, 1 }, { 66, 384, 259, -205, 66, 384, 192, 0, 1 }, { 172, 471, 2, 690, 172, 471, 166, 479, 1 }, { 765, 249, 793, -15, 0, 0, 0, 0, 0 }, { 755, -66, -235, 410, 618, 0, 0, 297, 1 }, { -34, 518, -26, -83, 0, 0, 0, 0, 0 }, { 340, -35, -266, -195, 0, 0, 0, 0, 0 }, { 549, 610, -71, 507, 0, 0, 0, 0, 0 }, { 401, 489, 646, 567, 0, 0, 0, 0, 0 }, { -71, -227, 933, -92, 0, 0, 0, 0, 0 }, { 852, 554, -87, 668, 0, 0, 0, 0, 0 }, { 163, -230, 255, 356, 199, 0, 255, 356, 1 }, { 935, -3, 456, 112, 639, 68, 456, 112, 1 }, { 145, 207, -284, 682, 145, 207, 0, 368, 1 }, { -134, 661, 335, 303, 104, 479, 335, 303, 1 }, { 596, 8, 689, -230, 596, 8, 599, 0, 1 }, { 801, 629, 48, 262, 494, 479, 48, 262, 1 }, { 867, 356, 393, 398, 639, 376, 393, 398, 1 }, { 467, 504, 351, 343, 449, 479, 351, 343, 1 }, { 853, 86, -301, 145, 639, 97, 0, 130, 1 }, { 300, 713, 852, 57, 497, 479, 639, 310, 1 }, { 106, 422, 696, 355, 106, 422, 639, 361, 1 }, { 171, 555, 652, -138, 224, 479, 556, 0, 1 }, { -253, 429, 425, 56, 0, 290, 425, 56, 1 }, { 309, -205, 520, 12, 508, 0, 520, 12, 1 }, { -218, 221, 216, 440, 0, 331, 216, 440, 1 }, { 145, 585, 461, 556, 0, 0, 0, 0, 0 }, { 507, 502, -70, 128, 472, 479, 0, 173, 1 }, { 234, -150, 98, 574, 206, 0, 116, 479, 1 }, { 850, 658, -116, 96, 543, 479, 0, 163, 1 }, { 336, -87, 341, 26, 340, 0, 341, 26, 1 }, { -230, 26, 202, 603, 0, 333, 109, 479, 1 }, { 55, -215, 438, -175, 0, 0, 0, 0, 0 }, { -21, 271, 697, -213, 0, 257, 381, 0, 1 }, { -10, -28, -102, 418, 0, 0, 0, 0, 0 }, { -130, -189, 222, 634, 0, 114, 156, 479, 1 }, { -183, 488, 154, 261, 0, 365, 154, 261, 1 }, { 47, -228, 645, 426, 255, 0, 639, 419, 1 }, { 207, 85, 81, -156, 207, 85, 163, 0, 1 }, { 386, -233, 60, 141, 183, 0, 60, 141, 1 }, { -115, 160, -286, 477, 0, 0, 0, 0, 0 }, { 923, -61, 597, 110, 639, 88, 597, 110, 1 }, { -150, 275, 623, 386, 0, 297, 623, 386, 1 }, { -316, 706, -153, 390, 0, 0, 0, 0, 0 }, { 689, 202, 675, 24, 0, 0, 0, 0, 0 }, { 235, 652, 205, -56, 228, 479, 207, 0, 1 }, { -110, -72, -215, 347, 0, 0, 0, 0, 0 }, { 33, 620, 294, 534, 0, 0, 0, 0, 0 }, { 417, 352, 51, 249, 417, 352, 51, 249, 1 }, { 284, 65, 467, 649, 284, 65, 414, 479, 1 }, { -171, 348, 756, 18, 0, 287, 639, 60, 1 }, { 182, -130, 125, -83, 0, 0, 0, 0, 0 }, { 906, -166, 806, -129, 0, 0, 0, 0, 0 }, { 876, -86, 140, -126, 0, 0, 0, 0, 0 }, { -1, 345, 389, 712, 0, 346, 141, 479, 1 }, { 224, 481, 944, 252, 229, 479, 639, 349, 1 }, { 217, 305, 593, -212, 217, 305, 439, 0, 1 }, { -168, 593, 604, -60, 0, 451, 533, 0, 1 }, { 31, 648, 720, 476, 0, 0, 0, 0, 0 }, { 316, 510, 326, -138, 316, 479, 324, 0, 1 }, { -196, 222, -310, 576, 0, 0, 0, 0, 0 }, { 668, -130, -279, 481, 467, 0, 0, 301, 1 }, { 896, 2, 267, 369, 639, 152, 267, 369, 1 }, { 935, 445, -252, -183, 639, 288, 93, 0, 1 }, { -97, 346, 741, -130, 0, 291, 513, 0, 1 }, { 309, -133, 280, -152, 0, 0, 0, 0, 0 }, { -208, 671, -84, 104, 0, 0, 0, 0, 0 }, { 831, -183, 493, 361, 639, 126, 493, 361, 1 }, { 815, -161, 824, 549, 0, 0, 0, 0, 0 }, { 353, -176, 525, -149, 0, 0, 0, 0, 0 }, { 380, 441, 614, 32, 380, 441, 614, 32, 1 }, { 607, 266, 327, 325, 607, 266, 327, 325, 1 }, { 858, -28, -105, -201, 0, 0, 0, 0, 0 }, { 669, 390, -210, 316, 639, 387, 0, 334, 1 }, { 240, 297, 303, 636, 240, 297, 274, 479, 1 }, { 677, -24, 152, 590, 639, 20, 247, 479, 1 }, { 459, 420, -233, 438, 459, 420, 0, 432, 1 }, { -91, -25, 32, 491, 0, 355, 29, 479, 1 }, { 859, -121, 60, -163, 0, 0, 0, 0, 0 }, { 238, 718, -92, 566, 0, 0, 0, 0, 0 }, { 113, 23, 526, 224, 113, 23, 526, 224, 1 }, { 631, 315, 711, 72, 631, 315, 639, 290, 1 }, { -56, -210, 2, -94, 0, 0, 0, 0, 0 }, { 600, 483, 880, 430, 619, 479, 639, 476, 1 }, { 633, 119, 784, 185, 633, 119, 639, 122, 1 }, { 79, -116, 73, 230, 77, 0, 73, 230, 1 }, { 132, 500, -202, -146, 121, 479, 0, 244, 1 }, { 830, 18, -191, 550, 639, 118, 0, 450, 1 }, { 334, 635, 499, 641, 0, 0, 0, 0, 0 }, { 683, -94, 778, 469, 0, 0, 0, 0, 0 }, { -226, 373, 460, 354, 0, 367, 460, 354, 1 }, { 318, 194, 924, 464, 318, 194, 639, 337, 1 }, { 159, 94, -309, -200, 159, 94, 9, 0, 1 }, { -185, 647, 176, 358, 25, 479, 176, 358, 1 }, { -159, 72, -5, 349, 0, 0, 0, 0, 0 }, { -202, -163, 326, -100, 0, 0, 0, 0, 0 }, { 344, 408, -275, 480, 344, 408, 0, 448, 1 }, { 544, 707, 288, 106, 447, 479, 288, 106, 1 }, { 603, 71, 54, 258, 603, 71, 54, 258, 1 }, { 65, 205, 580, 316, 65, 205, 580, 316, 1 }, { 423, -30, -17, 186, 362, 0, 0, 178, 1 }, { 117, 416, 894, 114, 117, 416, 639, 213, 1 }, { 89, 459, -204, -206, 89, 459, 0, 256, 1 }, { 701, 697, -36, 33, 459, 479, 0, 65, 1 }, { -265, 118, -91, 199, 0, 0, 0, 0, 0 }, { 448, 614, 560, 656, 0, 0, 0, 0, 0 }, { 744, 172, 744, 12, 0, 0, 0, 0, 0 }, { -184, 267, 914, 187, 0, 254, 639, 207, 1 }, { 503, -117, 292, -120, 0, 0, 0, 0, 0 }, { 193, 671, -37, 531, 0, 0, 0, 0, 0 }, { -300, -60, 904, -13, 0, 0, 0, 0, 0 }, { 445, -20, -213, 60, 284, 0, 0, 34, 1 }, { 659, -164, -62, 381, 442, 0, 0, 334, 1 }, { 370, 19, -157, 461, 370, 19, 0, 329, 1 }, { 43, -212, -119, 520, 0, 0, 0, 0, 0 }, { 570, -187, 428, 404, 525, 0, 428, 404, 1 }, { 761, -31, -236, 361, 639, 17, 0, 268, 1 }, { 19, 459, -18, 464, 19, 459, 0, 462, 1 }, { -198, 316, 160, -22, 0, 129, 137, 0, 1 }, { 29, 63, 858, 53, 29, 63, 639, 56, 1 }, { -108, 19, 237, 267, 0, 97, 237, 267, 1 }, { 798, 81, 225, 235, 639, 124, 225, 235, 1 }, { -114, -114, -319, 444, 0, 0, 0, 0, 0 }, { 769, 195, 186, -177, 639, 112, 463, 0, 1 }, { 275, -212, 869, -219, 0, 0, 0, 0, 0 }, { 83, -147, 224, 689, 108, 0, 189, 479, 1 }, { -268, 251, -221, 350, 0, 0, 0, 0, 0 }, { 197, -198, -111, -44, 0, 0, 0, 0, 0 }, { 611, 419, 718, 311, 611, 419, 639, 391, 1 }, { 684, -87, 209, 305, 579, 0, 209, 305, 1 }, { 632, 348, 570, 434, 632, 348, 570, 434, 1 }, { -124, -179, 229, 309, 5, 0, 229, 309, 1 }, { -81, 371, 447, 324, 0, 364, 447, 324, 1 }, { 105, 333, -40, 382, 105, 333, 0, 368, 1 }, { -152, 137, 698, -104, 0, 94, 332, 0, 1 }, { 156, 37, -6, 290, 156, 37, 0, 281, 1 }, { 102, 84, 524, -52, 102, 84, 364, 0, 1 }, { -251, 611, 91, 168, 0, 286, 91, 168, 1 }, { 593, -228, -103, -15, 0, 0, 0, 0, 0 }, { -85, 299, 340, 205, 0, 280, 340, 205, 1 }, { 308, 703, -309, -113, 139, 479, 0, 295, 1 }, { 829, 691, 511, 64, 639, 317, 511, 64, 1 }, { 511, 366, 269, 351, 511, 366, 269, 351, 1 }, { 396, 391, -70, -218, 396, 391, 97, 0, 1 }, { 518, 237, 80, 591, 518, 237, 218, 479, 1 }, { 783, 583, 937, 23, 0, 0, 0, 0, 0 }, { 896, -233, 137, 322, 578, 0, 137, 322, 1 }, { 350, 676, 817, 159, 528, 479, 639, 356, 1 }, { -246, 536, 304, 13, 0, 302, 304, 13, 1 }, { 439, 167, 381, -130, 439, 167, 406, 0, 1 }, { 33, 49, -61, 635, 33, 49, 0, 257, 1 }, { 125, 426, 252, 616, 125, 426, 160, 479, 1 }, { 171, -136, 833, 202, 437, 0, 639, 103, 1 }, { -77, -228, 736, -58, 0, 0, 0, 0, 0 }, { 367, 405, 688, 427, 367, 405, 639, 424, 1 }, { 901, 449, 929, 179, 0, 0, 0, 0, 0 }, { 409, 710, 151, 134, 306, 479, 151, 134, 1 }, { -320, 112, 121, 384, 0, 309, 121, 384, 1 }, { -201, -36, 900, -76, 0, 0, 0, 0, 0 }, { -171, 148, -26, -207, 0, 0, 0, 0, 0 }, { 702, 571, 136, 644, 0, 0, 0, 0, 0 }, { 218, 108, 555, 574, 218, 108, 486, 479, 1 }, { 901, -162, 182, 183, 564, 0, 182, 183, 1 }, { 776, 139, 206, 402, 639, 202, 206, 402, 1 }, { 328, 145, 424, -125, 328, 145, 380, 0, 1 }, { -194, 280, 27, 655, 0, 0, 0, 0, 0 }, { 935, -139, -6, 595, 639, 92, 143, 479, 1 }, { -3, 14, -96, 328, 0, 0, 0, 0, 0 }, { 165, -65, 716, -123, 0, 0, 0, 0, 0 }, { 618, -3, 432, 645, 617, 0, 480, 479, 1 }, { 554, 697, 836, 235, 0, 0, 0, 0, 0 }, { -305, -121, 224, 579, 0, 282, 148, 479, 1 }, { 385, 448, -246, -53, 385, 448, 0, 142, 1 }, { 539, -219, -115, 178, 179, 0, 0, 108, 1 }, { -293, 453, 459, -225, 0, 189, 209, 0, 1 }, { -163, 544, 339, 53, 0, 385, 339, 53, 1 }, { -310, 460, -74, 214, 0, 0, 0, 0, 0 }, { -179, 216, 919, 678, 0, 291, 447, 479, 1 }, { 454, 112, 770, 81, 454, 112, 639, 94, 1 }, { -317, -128, -1, 463, 0, 0, 0, 0, 0 }, { 172, 348, 102, 550, 172, 348, 127, 479, 1 }, { 829, -160, -12, 113, 337, 0, 0, 109, 1 }, { 313, -45, 159, 161, 279, 0, 159, 161, 1 }, { 861, 657, 39, 257, 496, 479, 39, 257, 1 }, { -109, 234, -274, -66, 0, 0, 0, 0, 0 }, { -151, -187, -247, -154, 0, 0, 0, 0, 0 }, { 449, 265, 151, -144, 449, 265, 256, 0, 1 }, { -310, 637, 337, 381, 89, 479, 337, 381, 1 }, { 47, -83, 355, 349, 106, 0, 355, 349, 1 }, { -114, 336, 123, -171, 0, 93, 43, 0, 1 }, { 555, 425, 31, 671, 555, 425, 439, 479, 1 }, { 230, 683, 323, 563, 0, 0, 0, 0, 0 }, { 618, 224, 539, 261, 618, 224, 539, 261, 1 }, { -88, 75, 46, 79, 0, 78, 46, 79, 1 }, { 644, 589, 684, -112, 0, 0, 0, 0, 0 }, { 461, 261, -255, 661, 461, 261, 70, 479, 1 }, { 371, 699, -86, -9, 229, 479, 0, 124, 1 }, { -12, 127, 71, 101, 0, 123, 71, 101, 1 }, { 24, 13, -14, 611, 24, 13, 0, 398, 1 }, { 734, 308, 208, 83, 639, 267, 208, 83, 1 }, { 694, 119, 485, 308, 639, 169, 485, 308, 1 }, { -272, 564, 813, 424, 383, 479, 639, 446, 1 }, { 885, 195, -24, 58, 639, 158, 0, 62, 1 }, { -75, -95, 821, 415, 92, 0, 639, 311, 1 }, { -32, 142, -286, 636, 0, 0, 0, 0, 0 }, { 601, 563, -125, -215, 523, 479, 76, 0, 1 }, { 872, 456, 705, 437, 0, 0, 0, 0, 0 }, { 303, 245, 757, 682, 303, 245, 546, 479, 1 }, { 479, -136, -266, 658, 351, 0, 0, 375, 1 }, { -213, 454, -210, 505, 0, 0, 0, 0, 0 }, { -259, 117, -12, 53, 0, 0, 0, 0, 0 }, { 360, 89, 22, 548, 360, 89, 73, 479, 1 }, { -33, 429, -76, -203, 0, 0, 0, 0, 0 }, { 676, 309, 85, 490, 639, 320, 120, 479, 1 }, { 386, 290, 52, 283, 386, 290, 52, 283, 1 }, { 191, 694, 731, 255, 455, 479, 639, 330, 1 }, { 77, 488, 243, 39, 80, 479, 243, 39, 1 }, { 64, -54, -165, -181, 0, 0, 0, 0, 0 }, { -123, -151, 375, 329, 34, 0, 375, 329, 1 }, { -304, 565, 459, 619, 0, 0, 0, 0, 0 }, { 726, -94, -312, 41, 7, 0, 0, 0, 1 }, { 957, 269, -27, 558, 639, 362, 241, 479, 1 }, { 720, 99, -14, -33, 639, 84, 167, 0, 1 }, { 120, 255, -87, 282, 120, 255, 0, 271, 1 }, { 615, 530, 391, 571, 0, 0, 0, 0, 0 }, { -233, 520, 730, -219, 0, 341, 445, 0, 1 }, { 627, 232, -230, 319, 627, 232, 0, 296, 1 }, { 724, -131, 380, 188, 583, 0, 380, 188, 1 }, { 558, 179, 453, 416, 558, 179, 453, 416, 1 }, { -116, 707, 604, 384, 392, 479, 604, 384, 1 }, { 185, -237, 676, 457, 353, 0, 639, 405, 1 }, { 832, -233, 392, 451, 639, 67, 392, 451, 1 }, { 151, -131, 856, -105, 0, 0, 0, 0, 0 }, { 408, 264, 211, 335, 408, 264, 211, 335, 1 }, { 304, 442, 645, 94, 304, 442, 639, 100, 1 }, { 347, 56, 339, -224, 347, 56, 345, 0, 1 }, { 848, 233, -172, 610, 639, 310, 182, 479, 1 }, { -8, 31, 482, -155, 0, 28, 74, 0, 1 }, { -91, 633, 753, 95, 150, 479, 639, 168, 1 }, { 257, 392, 928, -189, 257, 392, 639, 61, 1 }, { 581, 560, 270, 578, 0, 0, 0, 0, 0 }, { 427, 209, 111, 466, 427, 209, 111, 466, 1 }, { 805, -89, 607, -82, 0, 0, 0, 0, 0 }, { 79, 175, 629, 222, 79, 175, 629, 222, 1 }, { -94, 268, 540, -8, 0, 227, 522, 0, 1 }, { 747, 360, 670, -89, 0, 0, 0, 0, 0 }, { 252, 478, 130, 427, 252, 478, 130, 427, 1 }, { 162, 344, -232, 289, 162, 344, 0, 321, 1 }, { 727, -12, 82, -123, 0, 0, 0, 0, 0 }, { 56, 45, 469, 117, 56, 45, 469, 117, 1 }, { 185, 247, 80, 184, 185, 247, 80, 184, 1 }, { 407, 170, 525, 702, 407, 170, 476, 479, 1 }, { 910, -93, 710, 617, 0, 0, 0, 0, 0 }, { 845, -217, 697, 77, 0, 0, 0, 0, 0 }, { 39, -54, -2, 500, 35, 0, 0, 479, 1 }, { 523, 592, 281, 102, 467, 479, 281, 102, 1 }, { 950, 17, 204, 231, 639, 106, 204, 231, 1 }, { -217, 482, -209, 640, 0, 0, 0, 0, 0 }, { 595, -143, 2, -190, 0, 0, 0, 0, 0 }, { 539, 561, -191, 9, 431, 479, 0, 153, 1 }, { 891, 120, -263, -194, 639, 51, 449, 0, 1 }, { 260, 677, 859, -161, 402, 479, 639, 147, 1 }, { 140, 453, 270, 515, 140, 453, 195, 479, 1 }, { 36, 247, 202, 536, 36, 247, 169, 479, 1 }, { 74, 463, -221, 48, 74, 463, 0, 359, 1 }, { 352, 633, 162, 380, 236, 479, 162, 380, 1 }, { 861, -225, 538, 23, 568, 0, 538, 23, 1 }, { -317, 140, 57, 518, 0, 460, 18, 479, 1 }, { -47, -47, 862, 190, 132, 0, 639, 132, 1 }, { -263, -25, 426, 614, 0, 219, 280, 479, 1 }, { 916, 407, 602, 223, 639, 245, 602, 223, 1 }, { -299, 535, -172, 386, 0, 0, 0, 0, 0 }, { 763, -138, 255, 680, 639, 61, 380, 479, 1 }, { 203, 185, -168, 688, 203, 185, 0, 460, 1 }, { 830, -121, 835, 60, 0, 0, 0, 0, 0 }, { 631, -190, 798, -195, 0, 0, 0, 0, 0 }, { 247, 55, 156, 625, 247, 55, 179, 479, 1 }, { -236, 696, -303, 425, 0, 0, 0, 0, 0 }, { -89, 647, 137, 144, 0, 450, 137, 144, 1 }, { 774, 374, 222, 681, 639, 449, 585, 479, 1 }, { 306, 13, 522, 152, 306, 13, 522, 152, 1 }, { -175, 684, 121, 612, 0, 0, 0, 0, 0 }, { 350, 49, 803, 59, 350, 49, 639, 55, 1 }, { -225, -36, 792, -10, 0, 0, 0, 0, 0 }, { 599, 114, 604, 607, 599, 114, 603, 479, 1 }, { -194, 415, -10, 49, 0, 0, 0, 0, 0 }, { 558, 478, 68, -226, 558, 478, 225, 0, 1 }, { 927, 542, -111, -169, 639, 345, 135, 0, 1 }, { 597, 541, -279, 519, 0, 0, 0, 0, 0 }, { 728, 408, 44, -224, 639, 326, 286, 0, 1 }, { -219, 679, 610, -37, 12, 479, 567, 0, 1 }, { 419, 355, 334, 58, 419, 355, 334, 58, 1 }, { -168, 457, 326, 401, 0, 438, 326, 401, 1 }, { 605, -221, 322, 388, 502, 0, 322, 388, 1 }, { 911, 293, 306, 466, 639, 371, 306, 466, 1 }, { -120, 469, -107, 531, 0, 0, 0, 0, 0 }, { -50, 174, 839, 381, 0, 186, 639, 334, 1 }, { 73, 583, 410, -147, 121, 479, 342, 0, 1 }, { 251, 368, 937, 101, 251, 368, 639, 217, 1 }, { -21, -36, -23, -176, 0, 0, 0, 0, 0 }, { 98, 454, -255, 78, 98, 454, 0, 350, 1 }, { 858, 13, -292, 44, 639, 19, 0, 36, 1 }, { 308, -223, -4, 243, 159, 0, 0, 237, 1 }, { 681, -221, -239, 549, 417, 0, 0, 349, 1 }, { 3, 136, -54, 195, 3, 136, 0, 139, 1 }, { 141, 127, -277, 210, 141, 127, 0, 155, 1 }, { 328, 147, 672, 287, 328, 147, 639, 274, 1 }, { -289, -110, -240, 65, 0, 0, 0, 0, 0 }, { 477, -17, 310, 606, 472, 0, 344, 479, 1 }, { -226, 229, -20, -15, 0, 0, 0, 0, 0 }, { 899, 221, 73, -54, 639, 134, 234, 0, 1 }, { -278, 466, -211, 406, 0, 0, 0, 0, 0 }, { 350, 627, 538, 480, 0, 0, 0, 0, 0 }, { 138, -55, 838, 344, 234, 0, 639, 231, 1 }, { 372, 217, -18, 595, 372, 217, 102, 479, 1 }, { 104, -116, 236, 212, 151, 0, 236, 212, 1 }, { 817, -115, 652, 714, 0, 0, 0, 0, 0 }, { 912, 243, -100, -231, 639, 115, 393, 0, 1 }, { 230, -96, 450, 349, 277, 0, 450, 349, 1 }, { 52, -216, 275, 620, 110, 0, 237, 479, 1 }, { 325, -202, 224, 220, 277, 0, 224, 220, 1 }, { 810, 300, -45, 70, 639, 254, 0, 82, 1 }, { 231, 74, 571, 201, 231, 74, 571, 201, 1 }, { 620, -111, 165, 401, 521, 0, 165, 401, 1 }, { 199, -152, 428, -103, 0, 0, 0, 0, 0 }, { 407, 62, 274, 238, 407, 62, 274, 238, 1 }, { -60, 497, 271, -138, 0, 382, 199, 0, 1 }, { 877, 239, -24, 242, 639, 240, 0, 242, 1 }, { 34, 283, -316, 384, 34, 283, 0, 293, 1 }, { 340, -14, -68, 420, 327, 0, 0, 348, 1 }, { -247, 686, 817, 7, 77, 479, 639, 121, 1 }, { -44, 170, 610, -192, 0, 146, 264, 0, 1 }, { 773, 264, -195, 595, 639, 310, 143, 479, 1 }, { 29, -112, 886, 55, 602, 0, 639, 7, 1 }, { 133, 217, 727, -163, 133, 217, 472, 0, 1 }, { -129, 685, 215, 237, 29, 479, 215, 237, 1 }, { -164, -216, 621, -173, 0, 0, 0, 0, 0 }, { -16, -95, 294, -6, 0, 0, 0, 0, 0 }, { 67, 140, -138, -105, 67, 140, 0, 60, 1 }, { 393, 95, 75, 234, 393, 95, 75, 234, 1 }, { 852, 372, -280, 129, 639, 326, 0, 189, 1 }, { 777, 495, -15, -195, 639, 375, 209, 0, 1 }, { 912, 416, -318, 344, 639, 400, 0, 363, 1 }, { 80, 427, 773, 487, 80, 427, 639, 475, 1 }, { 347, 486, 388, 93, 348, 479, 388, 93, 1 }, { -283, 322, 827, 401, 0, 342, 639, 388, 1 }, { 763, 174, 690, 129, 0, 0, 0, 0, 0 }, { -142, 696, 394, 470, 372, 479, 394, 470, 1 }, { -227, 501, 341, 169, 0, 368, 341, 169, 1 }, { 579, -156, 427, 199, 512, 0, 427, 199, 1 }, { 79, 526, -134, 561, 0, 0, 0, 0, 0 }, { 714, 48, -99, 487, 639, 88, 0, 434, 1 }, { -121, -100, 688, 615, 0, 7, 534, 479, 1 }, { 29, -99, 291, -144, 0, 0, 0, 0, 0 }, { 922, 346, -114, 203, 639, 307, 0, 219, 1 }, { 374, 61, 580, 12, 374, 61, 580, 12, 1 }, { 710, 147, -213, -170, 639, 123, 281, 0, 1 }, { 178, -74, 715, 93, 415, 0, 639, 69, 1 }, { -215, 618, 164, 48, 0, 295, 164, 48, 1 }, { 212, 198, 453, -138, 212, 198, 354, 0, 1 }, { 584, 20, 154, 631, 584, 20, 261, 479, 1 }, { -129, 378, 262, 415, 0, 390, 262, 415, 1 }, { 649, -103, 177, 383, 549, 0, 177, 383, 1 }, { 383, 693, 164, 149, 297, 479, 164, 149, 1 }, { 441, 534, 19, 525, 0, 0, 0, 0, 0 }, { 576, 559, 121, 647, 0, 0, 0, 0, 0 }, { 134, 62, 491, 347, 134, 62, 491, 347, 1 }, { 853, 179, 421, 475, 639, 326, 421, 475, 1 }, { 6, 660, 234, 24, 71, 479, 234, 24, 1 }, { 243, 224, 267, 167, 243, 224, 267, 167, 1 }, { -209, 243, 197, 484, 0, 367, 189, 479, 1 }, { -140, 361, 463, 120, 0, 305, 463, 120, 1 }, { 348, 582, -76, -232, 294, 479, 45, 0, 1 }, { 212, 534, -289, -114, 169, 479, 0, 260, 1 }, { 206, 400, -12, 60, 206, 400, 0, 78, 1 }, { 823, 192, 103, -98, 639, 118, 346, 0, 1 }, { 41, 485, 71, -177, 41, 479, 63, 0, 1 }, { 609, -232, 346, 655, 540, 0, 398, 479, 1 }, { -269, 175, 623, 259, 0, 200, 623, 259, 1 }, { 572, 161, 496, -131, 572, 161, 530, 0, 1 }, { -231, 235, -73, -194, 0, 0, 0, 0, 0 }, { 598, 50, 290, 249, 598, 50, 290, 249, 1 }, { 874, 553, 106, 90, 639, 411, 106, 90, 1 }, { 865, 309, 816, 455, 0, 0, 0, 0, 0 }, { 25, 207, 601, 486, 25, 207, 587, 479, 1 }, { 433, -85, -228, -161, 0, 0, 0, 0, 0 }, { 63, 663, 345, 483, 0, 0, 0, 0, 0 }, { 705, 549, 301, 45, 639, 467, 301, 45, 1 }, { 599, 12, 195, 648, 599, 12, 302, 479, 1 }, { 175, 460, 877, 209, 175, 460, 639, 294, 1 }, { -320, -175, -269, 702, 0, 0, 0, 0, 0 }, { 187, 282, 555, 287, 187, 282, 555, 287, 1 }, { -194, 666, -55, 612, 0, 0, 0, 0, 0 }, { 203, -162, 633, 672, 287, 0, 533, 479, 1 }, { 122, 305, 811, 524, 122, 305, 639, 469, 1 }, { 490, 381, 430, 335, 490, 381, 430, 335, 1 }, { 381, 498, 385, 188, 381, 479, 385, 188, 1 }, { -59, -148, -26, 157, 0, 0, 0, 0, 0 }, { 825, 528, 55, 623, 0, 0, 0, 0, 0 }, { 813, -138, -131, 493, 607, 0, 0, 405, 1 }, { -255, 462, -193, 401, 0, 0, 0, 0, 0 }, { 408, -132, 920, 601, 500, 0, 639, 199, 1 }, { 11, 582, 908, 519, 0, 0, 0, 0, 0 }, { 415, 368, 924, 43, 415, 368, 639, 225, 1 }, { -11, -27, 408, 228, 33, 0, 408, 228, 1 }, { 897, 89, 693, 101, 0, 0, 0, 0, 0 }, { 829, 685, 224, 437, 327, 479, 224, 437, 1 }, { 415, 403, 849, 633, 415, 403, 559, 479, 1 }, { 712, 242, 354, -10, 639, 191, 368, 0, 1 }, { 254, 76, 418, 402, 254, 76, 418, 402, 1 }, { 92, 478, -219, 666, 92, 478, 90, 479, 1 }, { -312, 135, 31, 394, 0, 371, 31, 394, 1 }, { 294, 237, 177, 72, 294, 237, 177, 72, 1 }, { -53, 605, 3, 49, 0, 83, 3, 49, 1 }, { 309, 369, 147, 536, 309, 369, 202, 479, 1 }, { 761, 119, 461, 588, 639, 309, 531, 479, 1 }, { -260, -177, -37, 282, 0, 0, 0, 0, 0 }, { 742, 213, 958, 147, 0, 0, 0, 0, 0 }, { 724, 449, 926, 592, 0, 0, 0, 0, 0 }, { 78, 331, 350, 434, 78, 331, 350, 434, 1 }, { -136, 594, 628, 46, 24, 479, 628, 46, 1 }, { 396, 446, 248, 586, 396, 446, 361, 479, 1 }, { 647, 164, 762, 417, 0, 0, 0, 0, 0 }, { 547, 299, 537, 493, 547, 299, 538, 479, 1 }, { 6, 621, -175, -58, 0, 0, 0, 0, 0 }, { 569, -96, 533, 357, 561, 0, 533, 357, 1 }, { 219, 118, 414, 110, 219, 118, 414, 110, 1 }, { 791, 705, 386, 46, 639, 458, 386, 46, 1 }, { -173, 475, 648, 288, 0, 436, 639, 290, 1 }, { 938, 261, 955, 375, 0, 0, 0, 0, 0 }, { 413, -178, 445, -169, 0, 0, 0, 0, 0 }, { 261, 503, 350, 100, 266, 479, 350, 100, 1 }, { 844, 340, 365, 448, 639, 386, 365, 448, 1 }, { -35, -203, 463, 335, 153, 0, 463, 335, 1 }, { 217, 326, 461, 638, 217, 326, 337, 479, 1 }, { -244, -76, 690, -189, 0, 0, 0, 0, 0 }, { 287, 530, 662, -218, 313, 479, 553, 0, 1 }, { 783, 698, 629, 576, 0, 0, 0, 0, 0 }, { 734, 311, 900, -61, 0, 0, 0, 0, 0 }, { 648, -94, 708, 698, 0, 0, 0, 0, 0 }, { 312, -180, 727, 210, 504, 0, 639, 127, 1 }, { 188, -100, 787, 602, 273, 0, 639, 429, 1 }, { 566, 505, 469, 647, 0, 0, 0, 0, 0 }, { 21, 299, 23, 187, 21, 299, 23, 187, 1 }, { 836, -3, -187, 326, 639, 60, 0, 266, 1 }, { -95, 421, 333, 558, 0, 451, 87, 479, 1 }, { -79, 231, 502, 363, 0, 249, 502, 363, 1 }, { 914, 502, 114, -10, 639, 326, 129, 0, 1 }, { 561, 156, -202, 451, 561, 156, 0, 373, 1 }, { 445, 541, 521, -52, 453, 479, 514, 0, 1 }, { 859, -41, 347, -47, 0, 0, 0, 0, 0 }, { 795, -83, -39, 413, 639, 10, 0, 390, 1 }, { 810, 164, 574, 266, 639, 238, 574, 266, 1 }, { 842, 461, 620, 263, 639, 280, 620, 263, 1 }, { 896, 229, -69, 537, 639, 311, 112, 479, 1 }, { 524, -71, 145, -160, 0, 0, 0, 0, 0 }, { 670, 206, 563, 28, 639, 155, 563, 28, 1 }, { 455, 447, -294, 432, 455, 447, 0, 438, 1 }, { 686, -152, 266, 613, 603, 0, 340, 479, 1 }, { 772, -189, 799, 561, 0, 0, 0, 0, 0 }, { 826, -175, 41, 186, 446, 0, 41, 186, 1 }, { -271, -132, -7, 214, 0, 0, 0, 0, 0 }, { -78, 250, 124, -171, 0, 88, 42, 0, 1 }, { -33, 116, 72, 321, 0, 180, 72, 321, 1 }, { 233, 488, 117, 612, 0, 0, 0, 0, 0 }, { 196, 460, 686, 587, 196, 460, 271, 479, 1 }, { 152, 116, 647, 394, 152, 116, 639, 390, 1 }, { 954, -203, 17, 448, 639, 16, 17, 448, 1 }, { -38, -181, 941, 220, 403, 0, 639, 96, 1 }, { 126, 568, -227, 352, 0, 0, 0, 0, 0 }, { 943, -210, -31, 293, 537, 0, 0, 277, 1 }, { -15, 303, -64, 416, 0, 0, 0, 0, 0 }, { 121, 499, 933, 99, 161, 479, 639, 244, 1 }, { 155, 74, 940, 39, 155, 74, 639, 52, 1 }, { -126, 386, 637, -120, 0, 302, 456, 0, 1 }, { 35, 459, 217, 17, 35, 459, 217, 17, 1 }, { -141, 665, -142, 314, 0, 0, 0, 0, 0 }, { 472, 202, 0, -17, 472, 202, 36, 0, 1 }, { -34, 393, -111, 83, 0, 0, 0, 0, 0 }, { 300, 50, 800, 517, 300, 50, 639, 367, 1 }, { 694, 438, 106, 610, 639, 454, 553, 479, 1 }, { 820, 642, 509, 203, 639, 387, 509, 203, 1 }, { -302, 411, 402, 168, 0, 307, 402, 168, 1 }, { 553, 205, 412, 620, 553, 205, 460, 479, 1 }, { 366, 4, 289, 219, 366, 4, 289, 219, 1 }, { 489, 378, 713, 202, 489, 378, 639, 260, 1 }, { 169, 146, 309, -217, 169, 146, 225, 0, 1 }, { 887, -60, 913, 56, 0, 0, 0, 0, 0 }, { 776, 443, -147, 488, 639, 450, 28, 479, 1 }, { 119, 251, -312, -65, 119, 251, 0, 164, 1 }, { 754, 455, 110, 625, 0, 0, 0, 0, 0 }, { 435, 258, 901, 602, 435, 258, 639, 409, 1 }, { 305, 660, 98, 584, 0, 0, 0, 0, 0 }, { 152, 335, 929, 58, 152, 335, 639, 161, 1 }, { 631, 147, 884, -89, 631, 147, 639, 140, 1 }, { 441, 303, 827, 386, 441, 303, 639, 346, 1 }, { 727, 264, 341, 637, 639, 349, 504, 479, 1 }, { -180, -65, 822, 268, 15, 0, 639, 207, 1 }, { 328, -178, 698, 299, 466, 0, 639, 223, 1 }, { 680, 627, -71, 226, 403, 479, 0, 264, 1 }, { 806, 81, -36, -56, 639, 54, 306, 0, 1 }, { 205, 19, -81, 518, 205, 19, 0, 377, 1 }, { 945, 210, -265, -35, 639, 148, 0, 19, 1 }, { -36, 569, 837, 426, 511, 479, 639, 458, 1 }, { 395, 679, 203, -23, 340, 479, 209, 0, 1 }, { -101, 340, 111, 57, 0, 205, 111, 57, 1 }, { 318, 376, 798, -162, 318, 376, 639, 16, 1 }, { 754, 424, 99, 204, 639, 385, 99, 204, 1 }, { 180, 642, 312, 355, 255, 479, 312, 355, 1 }, { 624, -180, 796, 118, 0, 0, 0, 0, 0 }, { -67, 152, 613, 208, 0, 158, 613, 208, 1 }, { 711, 491, -296, 185, 639, 469, 0, 275, 1 }, { -116, 157, -137, 245, 0, 0, 0, 0, 0 }, { 76, 387, 154, -178, 76, 387, 129, 0, 1 }, { -198, 140, 65, -173, 0, 0, 0, 0, 0 }, { 632, -87, 937, 545, 0, 0, 0, 0, 0 }, { 834, 305, -227, 97, 639, 267, 0, 142, 1 }, { -150, -61, 15, 402, 0, 359, 15, 402, 1 }, { -252, 173, 871, 457, 0, 237, 639, 398, 1 }, { 866, 268, 539, 246, 639, 253, 539, 246, 1 }, { 579, -139, 256, -152, 0, 0, 0, 0, 0 }, { 583, 20, 224, -173, 583, 20, 545, 0, 1 }, { -90, 403, 460, 658, 0, 445, 74, 479, 1 }, { 34, -66, 435, 616, 73, 0, 354, 479, 1 }, { -198, 420, -204, -117, 0, 0, 0, 0, 0 }, { 929, 320, 433, 611, 0, 0, 0, 0, 0 }, { 494, -232, 677, 719, 539, 0, 631, 479, 1 }, { 149, 38, 823, 105, 149, 38, 639, 87, 1 }, { 22, -10, 783, -117, 0, 0, 0, 0, 0 }, { 372, -113, -152, 465, 270, 0, 0, 297, 1 }, { 745, 85, 358, -223, 639, 1, 638, 0, 1 }, { -296, 558, -86, -87, 0, 0, 0, 0, 0 }, { 771, 420, -219, 360, 639, 412, 0, 373, 1 }, { -258, 139, 553, -16, 0, 90, 471, 0, 1 }, { 484, -93, 710, 426, 524, 0, 639, 264, 1 }, { -184, 511, 339, 90, 0, 363, 339, 90, 1 }, { 878, 551, 75, 548, 0, 0, 0, 0, 0 }, { 699, 700, 347, 528, 0, 0, 0, 0, 0 }, { 107, -102, 696, -54, 0, 0, 0, 0, 0 }, { 130, 2, 694, 685, 130, 2, 524, 479, 1 }, { 5, -7, 663, 192, 27, 0, 639, 185, 1 }, { 105, -149, 928, 129, 545, 0, 639, 31, 1 }, { 332, -236, -141, 290, 120, 0, 0, 133, 1 }, { 611, -31, 408, 274, 590, 0, 408, 274, 1 }, { 180, 210, 349, -67, 180, 210, 308, 0, 1 }, { 261, 482, 224, 22, 261, 479, 224, 22, 1 }, { 404, 362, 618, 276, 404, 362, 618, 276, 1 }, { 520, -61, 510, -134, 0, 0, 0, 0, 0 }, { 936, 554, 562, 604, 0, 0, 0, 0, 0 }, { 459, -23, 318, 31, 400, 0, 318, 31, 1 }, { 911, 692, 339, 320, 584, 479, 339, 320, 1 }, { -306, 466, 558, 600, 0, 0, 0, 0, 0 }, { 334, 445, -20, 478, 334, 445, 0, 476, 1 }, { 824, 714, 800, 365, 0, 0, 0, 0, 0 }, { 460, 76, -221, 263, 460, 76, 0, 202, 1 }, { 594, 566, 683, 283, 621, 479, 639, 422, 1 }, { 340, 385, -97, 579, 340, 385, 128, 479, 1 }, { -246, -179, -214, 209, 0, 0, 0, 0, 0 }, { 534, 459, 527, 715, 534, 459, 533, 479, 1 }, { 882, -166, 316, -204, 0, 0, 0, 0, 0 }, { 934, -16, 161, -115, 0, 0, 0, 0, 0 }, { -194, 60, 66, 92, 0, 84, 66, 92, 1 }, { 635, -182, 139, 428, 487, 0, 139, 428, 1 }, { -183, -26, 484, 661, 0, 162, 307, 479, 1 }, { -143, 196, 134, 253, 0, 225, 134, 253, 1 }, { 272, 671, 141, -161, 242, 479, 166, 0, 1 }, { 840, 225, 78, 268, 639, 236, 78, 268, 1 }, { -203, -189, -278, 303, 0, 0, 0, 0, 0 }, { 290, 437, 804, 340, 290, 437, 639, 371, 1 }, { 509, 640, 879, 492, 0, 0, 0, 0, 0 }, { 265, 170, 843, 10, 265, 170, 639, 66, 1 }, { -301, -166, 466, 306, 0, 19, 466, 306, 1 }, { 871, 252, -114, 275, 639, 257, 0, 272, 1 }, { 707, 167, 910, 146, 0, 0, 0, 0, 0 }, { 908, 445, 185, -119, 639, 235, 337, 0, 1 }, { 256, -173, -158, 592, 162, 0, 0, 300, 1 }, { -212, 211, 540, 123, 0, 186, 540, 123, 1 }, { 95, 670, 463, 547, 0, 0, 0, 0, 0 }, { 734, 373, 11, 234, 639, 355, 11, 234, 1 }, { 217, 89, 157, 697, 217, 89, 179, 479, 1 }, { 414, -143, 864, 268, 571, 0, 639, 63, 1 }, { 269, 365, 342, 177, 269, 365, 342, 177, 1 }, { 844, -87, 503, 716, 639, 395, 604, 479, 1 }, { 700, 468, 201, -161, 639, 391, 329, 0, 1 }, { 43, -111, 49, 200, 45, 0, 49, 200, 1 }, { 331, 29, 137, 331, 331, 29, 137, 331, 1 }, { 354, 434, 626, -174, 354, 434, 548, 0, 1 }, { 580, -84, 876, -206, 0, 0, 0, 0, 0 }, { 639, 619, 420, 368, 517, 479, 420, 368, 1 }, { 469, 504, -244, 516, 0, 0, 0, 0, 0 }, { -273, 427, 433, 413, 0, 422, 433, 413, 1 }, { 847, 460, -182, 100, 639, 387, 0, 164, 1 }, { 391, 312, 524, 261, 391, 312, 524, 261, 1 }, { 936, 326, -314, 236, 639, 305, 0, 259, 1 }, { 510, 619, 553, 716, 0, 0, 0, 0, 0 }, { 762, -101, -153, 486, 605, 0, 0, 388, 1 }, { 368, -143, 257, 72, 294, 0, 257, 72, 1 }, { 259, 273, 217, 84, 259, 273, 217, 84, 1 }, { -35, 460, 399, 2, 0, 423, 399, 2, 1 }, { 419, 196, 266, 40, 419, 196, 266, 40, 1 }, { 423, 528, -171, -71, 374, 479, 0, 101, 1 }, { 864, 161, 429, 76, 639, 117, 429, 76, 1 }, { 792, 358, 472, 416, 639, 386, 472, 416, 1 }, { 485, -146, 952, 476, 595, 0, 639, 59, 1 }, { 474, 525, 31, 219, 408, 479, 31, 219, 1 }, { 126, 640, 229, 39, 154, 479, 229, 39, 1 }, { 381, 660, 568, 453, 545, 479, 568, 453, 1 }, { 158, 131, 308, 243, 158, 131, 308, 243, 1 }, { 501, 353, -77, 557, 501, 353, 143, 479, 1 }, { 858, -10, 615, -139, 0, 0, 0, 0, 0 }, { 26, 557, -218, 84, 0, 0, 0, 0, 0 }, { 492, 45, 644, 220, 492, 45, 639, 214, 1 }, { 806, 581, 679, 497, 0, 0, 0, 0, 0 }, { 816, 717, 87, 584, 0, 0, 0, 0, 0 }, { 57, 138, 341, 365, 57, 138, 341, 365, 1 }, { 42, 83, -274, 331, 42, 83, 0, 116, 1 }, { -296, 178, -305, 296, 0, 0, 0, 0, 0 }, { 382, 589, 795, -145, 444, 479, 639, 132, 1 }, { 362, 198, 187, 114, 362, 198, 187, 114, 1 }, { 502, -161, 758, 175, 625, 0, 639, 19, 1 }, { 442, -222, 833, -174, 0, 0, 0, 0, 0 }, { 0, 192, 856, -132, 0, 192, 508, 0, 1 }, { 888, -72, 653, 579, 0, 0, 0, 0, 0 }, { 46, 58, 864, 250, 46, 58, 639, 197, 1 }, { -72, 460, 849, 370, 0, 453, 639, 391, 1 }, { 436, 430, -14, 64, 436, 430, 0, 75, 1 }, { -142, 697, 832, 321, 422, 479, 639, 396, 1 }, { 493, 13, 307, 412, 493, 13, 307, 412, 1 }, { 0, 427, 404, 263, 0, 427, 404, 263, 1 }, { 726, -96, 15, 717, 639, 3, 223, 479, 1 }, { 931, -220, 649, 142, 0, 0, 0, 0, 0 }, { 145, 641, 436, 327, 295, 479, 436, 327, 1 }, { -2, 312, -32, 595, 0, 0, 0, 0, 0 }, { -28, -160, -236, 114, 0, 0, 0, 0, 0 }, { 920, 16, -163, 586, 639, 164, 40, 479, 1 }, { 952, 703, -154, -213, 639, 444, 103, 0, 1 }, { 350, 170, -183, 343, 350, 170, 0, 284, 1 }, { 666, -74, -91, -190, 0, 0, 0, 0, 0 }, { 32, 663, -271, 598, 0, 0, 0, 0, 0 }, { 61, 560, 783, 250, 249, 479, 639, 312, 1 }, { -240, 700, 548, 468, 509, 479, 548, 468, 1 }, { 758, -148, 936, 589, 0, 0, 0, 0, 0 }, { 838, 81, 697, 468, 0, 0, 0, 0, 0 }, { 63, 573, -75, 293, 17, 479, 0, 445, 1 }, { 318, -91, 519, 75, 428, 0, 519, 75, 1 }, { 52, -54, 65, 547, 53, 0, 64, 479, 1 }, { 600, 537, 620, -220, 602, 479, 614, 0, 1 }, { 25, -49, -101, -164, 0, 0, 0, 0, 0 }, { -169, 672, -57, 508, 0, 0, 0, 0, 0 }, { -302, 346, 726, 23, 0, 251, 639, 50, 1 }, { 739, 198, 253, 423, 639, 244, 253, 423, 1 }, { 618, 15, -184, 401, 618, 15, 0, 312, 1 }, { 7, -154, 887, 106, 527, 0, 639, 33, 1 }, { 141, 548, 524, 185, 214, 479, 524, 185, 1 }, { 947, 305, 418, 383, 639, 350, 418, 383, 1 }, { 781, 101, -128, 436, 639, 153, 0, 389, 1 }, { -197, 494, 622, 84, 0, 395, 622, 84, 1 }, { -159, 114, 200, 410, 0, 245, 200, 410, 1 }, { 215, 309, -48, 587, 215, 309, 54, 479, 1 }, { -223, 124, 328, 375, 0, 226, 328, 375, 1 }, { 801, 307, 833, 444, 0, 0, 0, 0, 0 }, { 395, 140, 46, -53, 395, 140, 141, 0, 1 }, { -102, 489, 828, 367, 0, 476, 639, 392, 1 }, { 1, 700, -26, 267, 0, 0, 0, 0, 0 }, { 549, -20, 707, 35, 606, 0, 639, 11, 1 }, { 905, 635, -93, -227, 639, 405, 170, 0, 1 }, { -119, 103, -293, 201, 0, 0, 0, 0, 0 }, { 332, 397, 733, 608, 332, 397, 488, 479, 1 }, { 500, 468, 268, 393, 500, 468, 268, 393, 1 }, { -233, -55, 206, 674, 0, 332, 89, 479, 1 }, { 371, 455, -30, -132, 371, 455, 60, 0, 1 }, { 221, -38, -268, 679, 195, 0, 0, 286, 1 }, { 379, -92, 622, 561, 413, 0, 591, 479, 1 }, { 563, 255, 914, 105, 563, 255, 639, 223, 1 }, { 611, 163, -314, -24, 611, 163, 0, 39, 1 }, { 467, 395, 46, 19, 467, 395, 46, 19, 1 }, { 488, 211, 128, 154, 488, 211, 128, 154, 1 }, { 794, 677, 532, -60, 639, 242, 553, 0, 1 }, { 935, 660, 827, 303, 0, 0, 0, 0, 0 }, { 137, -120, -46, 466, 100, 0, 0, 320, 1 }, { 166, -228, 791, 198, 500, 0, 639, 94, 1 }, { 328, 132, 699, 709, 328, 132, 551, 479, 1 }, { -308, -13, 568, 433, 0, 144, 568, 433, 1 }, { 670, 251, -156, 536, 639, 262, 8, 479, 1 }, { 101, 183, 582, 118, 101, 183, 582, 118, 1 }, { -134, 614, 41, 507, 0, 0, 0, 0, 0 }, { 927, -104, 240, 719, 639, 241, 440, 479, 1 }, { -18, 398, 425, 340, 0, 396, 425, 340, 1 }, { 783, 29, -155, 555, 639, 110, 0, 468, 1 }, { 430, 211, -186, 441, 430, 211, 0, 372, 1 }, { 300, 541, 473, 235, 335, 479, 473, 235, 1 }, { -107, 40, 166, 567, 0, 246, 120, 479, 1 }, { 467, -57, -250, 101, 210, 0, 0, 46, 1 }, { -223, -107, 565, 655, 0, 109, 383, 479, 1 }, { 706, 91, 168, -28, 639, 76, 293, 0, 1 }, { -270, 307, 417, -77, 0, 156, 280, 0, 1 }, { 541, 686, 768, -89, 602, 479, 639, 350, 1 }, { 591, 372, 348, 141, 591, 372, 348, 141, 1 }, { 236, 170, -174, -226, 236, 170, 60, 0, 1 }, { 161, 537, 797, -135, 216, 479, 639, 32, 1 }, { 922, 652, 103, 688, 0, 0, 0, 0, 0 }, { -11, 313, 351, 454, 0, 317, 351, 454, 1 }, { 631, 676, 12, 695, 0, 0, 0, 0, 0 }, { 638, -63, 737, 505, 0, 0, 0, 0, 0 }, { 823, -39, 401, 322, 639, 118, 401, 322, 1 }, { -239, -18, 549, 74, 0, 10, 549, 74, 1 }, { 370, 226, 75, -46, 370, 226, 125, 0, 1 }, { 168, 533, 241, 421, 203, 479, 241, 421, 1 }, { 290, 718, 530, 606, 0, 0, 0, 0, 0 }, { 480, -100, -48, -22, 0, 0, 0, 0, 0 }, { -216, 637, 452, 527, 0, 0, 0, 0, 0 }, { 379, -194, 146, 365, 298, 0, 146, 365, 1 }, { 199, 420, -64, -60, 199, 420, 0, 56, 1 }, { 478, 651, -56, 247, 251, 479, 0, 289, 1 }, { 295, -179, 875, 656, 419, 0, 639, 316, 1 }, { -109, 357, 841, 515, 0, 375, 627, 479, 1 }, { -301, 20, 175, 311, 0, 204, 175, 311, 1 }, { 457, -124, 176, -126, 0, 0, 0, 0, 0 }, { 60, -212, 119, -203, 0, 0, 0, 0, 0 }, { -305, -77, 731, 280, 0, 28, 639, 248, 1 }, { 52, 88, 820, 438, 52, 88, 639, 356, 1 }, { 925, 465, 621, 29, 639, 55, 621, 29, 1 }, { 115, -14, 347, -225, 0, 0, 0, 0, 0 }, { -181, 529, 77, -36, 0, 133, 61, 0, 1 }, { -234, 360, -283, 644, 0, 0, 0, 0, 0 }, { -105, -134, 38, -41, 0, 0, 0, 0, 0 }, { -229, 506, 205, 559, 0, 0, 0, 0, 0 }, { 356, 232, 229, 321, 356, 232, 229, 321, 1 }, { -26, -131, -106, 416, 0, 0, 0, 0, 0 }, { 566, 585, 574, 130, 568, 479, 574, 130, 1 }, { -65, 347, -61, -185, 0, 0, 0, 0, 0 }, { 951, -159, 807, 503, 0, 0, 0, 0, 0 }, { 849, 80, 92, 11, 639, 61, 92, 11, 1 }, { 820, -58, 346, 368, 639, 105, 346, 368, 1 }, { 45, 495, 624, 711, 0, 0, 0, 0, 0 }, { 800, 421, 727, -80, 0, 0, 0, 0, 0 }, { 581, 347, 653, 328, 581, 347, 639, 332, 1 }, { 144, 699, -160, -80, 58, 479, 0, 329, 1 }, { 113, 526, 329, -47, 131, 479, 311, 0, 1 }, { 190, 541, -4, 605, 0, 0, 0, 0, 0 }, { 494, -171, -67, -41, 0, 0, 0, 0, 0 }, { 391, 240, -139, 405, 391, 240, 0, 362, 1 }, { 729, 594, 517, 132, 639, 398, 517, 132, 1 }, { 493, 369, 218, 430, 493, 369, 218, 430, 1 }, { 953, 313, -62, 312, 639, 313, 0, 312, 1 }, { 149, 559, 510, 303, 262, 479, 510, 303, 1 }, { 499, -44, 664, 516, 512, 0, 639, 432, 1 }, { 586, 140, 247, 532, 586, 140, 293, 479, 1 }, { 339, -193, 944, 45, 0, 0, 0, 0, 0 }, { 120, 256, 671, 334, 120, 256, 639, 329, 1 }, { 394, 365, 823, 303, 394, 365, 639, 330, 1 }, { -78, 150, 22, 193, 0, 184, 22, 193, 1 }, { 426, -95, -292, 439, 298, 0, 0, 222, 1 }, { 300, 620, 830, 389, 623, 479, 639, 472, 1 }, { 171, -139, -170, 552, 102, 0, 0, 208, 1 }, { 578, 311, 317, 550, 578, 311, 394, 479, 1 }, { -278, -170, 220, -105, 0, 0, 0, 0, 0 }, { -17, -67, -257, -220, 0, 0, 0, 0, 0 }, { 421, 198, 939, 719, 421, 198, 639, 417, 1 }, { 855, 154, 946, 308, 0, 0, 0, 0, 0 }, { 640, 601, 644, 462, 0, 0, 0, 0, 0 }, { 573, 188, 328, -132, 573, 188, 429, 0, 1 }, { 3, -72, -212, 709, 0, 0, 0, 0, 0 }, { 397, 294, 505, 666, 397, 294, 451, 479, 1 }, { 25, -94, -22, 604, 19, 0, 0, 284, 1 }, { -300, 497, 702, 286, 0, 434, 639, 299, 1 }, { -109, 38, 12, 428, 0, 388, 12, 428, 1 }, { 707, 262, 727, 652, 0, 0, 0, 0, 0 }, { 419, 170, 98, 67, 419, 170, 98, 67, 1 }, { -79, 229, 69, 348, 0, 293, 69, 348, 1 }, { 865, 359, 705, 612, 0, 0, 0, 0, 0 }, { -235, 353, 337, 505, 0, 415, 241, 479, 1 }, { 330, -214, 385, 453, 348, 0, 385, 453, 1 }, { 783, 482, 515, 517, 0, 0, 0, 0, 0 }, { 700, 85, 768, 591, 0, 0, 0, 0, 0 }, { 736, 417, 940, -237, 0, 0, 0, 0, 0 }, { 635, 476, 541, -159, 635, 476, 565, 0, 1 }, { 110, -144, 861, 171, 453, 0, 639, 78, 1 }, { 815, 648, 190, -180, 639, 415, 326, 0, 1 }, { 449, 368, 109, 650, 449, 368, 315, 479, 1 }, { -284, 567, 586, 24, 0, 390, 586, 24, 1 }, { 137, 536, -265, -161, 104, 479, 0, 298, 1 }, { 392, -38, 559, -129, 0, 0, 0, 0, 0 }, { 661, 181, 346, 144, 639, 178, 346, 144, 1 }, { 113, 54, -162, -83, 113, 54, 4, 0, 1 }, { 349, 549, 951, 435, 0, 0, 0, 0, 0 }, { -300, 292, -310, 326, 0, 0, 0, 0, 0 }, { 121, 282, 118, 469, 121, 282, 118, 469, 1 }, { 591, -111, -275, 223, 304, 0, 0, 117, 1 }, { 40, -163, -62, 119, 0, 0, 0, 0, 0 }, { 608, 511, 835, 4, 622, 479, 639, 441, 1 }, { -54, 8, -248, 203, 0, 0, 0, 0, 0 }, { -21, 450, -52, 369, 0, 0, 0, 0, 0 }, { 358, 11, 380, 315, 358, 11, 380, 315, 1 }, { 696, 259, 142, 217, 639, 255, 142, 217, 1 }, { 293, 488, 916, 291, 320, 479, 639, 379, 1 }, { -14, 576, 273, 290, 83, 479, 273, 290, 1 }, { -43, -72, 395, 338, 34, 0, 395, 338, 1 }, { 682, -182, 481, 358, 614, 0, 481, 358, 1 }, { -153, 100, 479, 13, 0, 79, 479, 13, 1 }, { 82, 710, -240, 116, 0, 0, 0, 0, 0 }, { -142, 491, -45, 524, 0, 0, 0, 0, 0 }, { 835, -19, 689, 525, 0, 0, 0, 0, 0 }, { 430, 611, -274, 59, 262, 479, 0, 274, 1 }, { 311, 652, 94, -216, 268, 479, 148, 0, 1 }, { 889, 368, 378, 314, 639, 342, 378, 314, 1 }, { 207, 324, 435, 238, 207, 324, 435, 238, 1 }, { 853, 719, 775, 349, 0, 0, 0, 0, 0 }, { 783, 267, -303, -66, 639, 223, 0, 27, 1 }, { 359, 206, 741, 685, 359, 206, 577, 479, 1 }, { -35, 105, 476, -214, 0, 83, 133, 0, 1 }, { -6, -240, 173, 677, 41, 0, 134, 479, 1 }, { 645, -132, 382, 697, 603, 0, 451, 479, 1 }, { 506, 462, -71, 438, 506, 462, 0, 441, 1 }, { 568, -75, 353, -157, 0, 0, 0, 0, 0 }, { 378, 529, 935, 67, 438, 479, 639, 313, 1 }, { -120, 473, 184, 280, 0, 397, 184, 280, 1 }, { -209, -6, -294, 294, 0, 0, 0, 0, 0 }, { -18, 576, 183, 441, 126, 479, 183, 441, 1 }, { 498, 122, -264, 617, 498, 122, 0, 446, 1 }, { 581, 601, 790, 29, 626, 479, 639, 441, 1 }, { 322, 410, 877, 142, 322, 410, 639, 257, 1 }, { 844, 613, 403, -115, 639, 275, 473, 0, 1 }, { 447, 436, -25, -184, 447, 436, 115, 0, 1 }, { 807, 567, 621, 585, 0, 0, 0, 0, 0 }, { 432, -200, -39, 511, 300, 0, 0, 452, 1 }, { -290, 507, -23, -191, 0, 0, 0, 0, 0 }, { 894, 360, -264, 528, 639, 397, 71, 479, 1 }, { 221, 235, -47, 476, 221, 235, 0, 434, 1 }, { -201, -100, 449, 522, 0, 92, 404, 479, 1 }, { 370, -165, -16, 53, 78, 0, 0, 44, 1 }, { 780, 702, 240, -141, 637, 479, 330, 0, 1 }, { 339, 495, 151, -39, 333, 479, 165, 0, 1 }, { -44, 143, 10, 449, 0, 390, 10, 449, 1 }, { 533, 608, 27, 74, 411, 479, 27, 74, 1 }, { 647, 289, 213, 545, 639, 294, 325, 479, 1 }, { 950, -6, -172, 575, 639, 155, 13, 479, 1 }, { 195, -101, -293, 627, 127, 0, 0, 190, 1 }, { 276, 353, 32, -30, 276, 353, 51, 0, 1 }, { 842, -7, -22, 204, 639, 43, 0, 199, 1 }, { 371, -121, 222, 337, 332, 0, 222, 337, 1 }, { 897, 393, 406, 51, 639, 213, 406, 51, 1 }, { 252, -201, -268, 93, 0, 0, 0, 0, 0 }, { 755, 174, 694, -155, 0, 0, 0, 0, 0 }, { 568, 654, 74, 718, 0, 0, 0, 0, 0 }, { 205, -95, 483, 209, 292, 0, 483, 209, 1 }, { 409, 253, 460, -228, 409, 253, 436, 0, 1 }, { 607, 171, 765, 156, 607, 171, 639, 168, 1 }, { 241, -184, 236, 440, 240, 0, 236, 440, 1 }, { 929, -212, 933, -163, 0, 0, 0, 0, 0 }, { 761, 138, -227, 449, 639, 176, 0, 378, 1 }, { -84, 599, 707, 226, 170, 479, 639, 258, 1 }, { -53, 367, -167, 143, 0, 0, 0, 0, 0 }, { 828, 308, -254, -150, 639, 228, 100, 0, 1 }, { -151, -200, 668, -212, 0, 0, 0, 0, 0 }, { 821, 285, 79, 297, 639, 288, 79, 297, 1 }, { 308, 186, 870, -106, 308, 186, 639, 14, 1 }, { -229, 385, -162, 456, 0, 0, 0, 0, 0 }, { 885, 95, 317, -2, 639, 53, 326, 0, 1 }, { 920, 548, -218, 354, 518, 479, 0, 391, 1 }, { -296, 164, -215, 652, 0, 0, 0, 0, 0 }, { 506, 157, 351, 8, 506, 157, 351, 8, 1 }, { 236, 601, 823, 25, 360, 479, 639, 206, 1 }, { -77, 86, 267, 254, 0, 124, 267, 254, 1 }, { 164, 549, -265, 179, 83, 479, 0, 408, 1 }, { 471, -112, -278, 251, 240, 0, 0, 116, 1 }, { -295, 703, -259, -227, 0, 0, 0, 0, 0 }, { 929, -99, -252, -147, 0, 0, 0, 0, 0 }, { 453, 54, -157, 268, 453, 54, 0, 213, 1 }, { 750, 611, 804, -206, 0, 0, 0, 0, 0 }, { 906, -150, 582, -85, 0, 0, 0, 0, 0 }, { 704, 96, 343, 480, 639, 165, 344, 479, 1 }, { 169, -240, -187, 408, 37, 0, 0, 68, 1 }, { 701, 161, 625, 190, 639, 185, 625, 190, 1 }, { -117, -142, 773, 165, 294, 0, 639, 119, 1 }, { 686, 329, 648, 9, 0, 0, 0, 0, 0 }, { -4, 621, 943, 536, 0, 0, 0, 0, 0 }, { 512, 400, 886, 241, 512, 400, 639, 346, 1 }, { 939, 497, 368, 299, 639, 393, 368, 299, 1 }, { 582, 705, 91, 217, 355, 479, 91, 217, 1 }, { -85, -59, -8, 588, 0, 0, 0, 0, 0 }, { 437, 507, 282, 282, 418, 479, 282, 282, 1 }, { 757, 192, 508, 30, 639, 115, 508, 30, 1 }, { 422, 689, 727, 64, 524, 479, 639, 244, 1 }, { 227, 337, 692, -201, 227, 337, 518, 0, 1 }, { 280, 363, 639, 204, 280, 363, 639, 204, 1 }, { 695, 376, 350, 480, 639, 393, 352, 479, 1 }, { 812, 322, -191, 496, 639, 352, 0, 463, 1 }, { -238, 586, 185, 664, 0, 0, 0, 0, 0 }, { 679, 423, 13, 278, 639, 414, 13, 278, 1 }, { 381, 241, 651, 209, 381, 241, 639, 210, 1 }, { -141, -99, 796, 666, 0, 16, 567, 479, 1 }, { -28, -151, 539, 433, 119, 0, 539, 433, 1 }, { 798, 571, 615, 459, 639, 474, 615, 459, 1 }, { 22, 453, 183, 658, 22, 453, 42, 479, 1 }, { 858, 683, 302, 302, 561, 479, 302, 302, 1 }, { -186, 232, 560, 131, 0, 207, 560, 131, 1 }, { 635, 686, 883, -198, 0, 0, 0, 0, 0 }, { 397, 268, 345, 261, 397, 268, 345, 261, 1 }, { 252, 469, 381, -35, 252, 469, 372, 0, 1 }, { 870, -65, 139, 398, 639, 81, 139, 398, 1 }, { -6, 457, 86, 438, 0, 456, 86, 438, 1 }, { 816, -224, 36, -118, 0, 0, 0, 0, 0 }, { -73, -124, 76, 153, 0, 11, 76, 153, 1 }, { -81, 103, 516, 597, 0, 170, 374, 479, 1 }, { -231, 470, 116, 143, 0, 252, 116, 143, 1 }, { 652, 666, 783, 642, 0, 0, 0, 0, 0 }, { 809, 161, 546, 403, 639, 317, 546, 403, 1 }, { -303, 665, 685, 599, 0, 0, 0, 0, 0 }, { 149, 29, -141, 406, 149, 29, 0, 223, 1 }, { 109, -173, -179, -114, 0, 0, 0, 0, 0 } };