PPos[0]:=[[0, 0], [1, 1], [3, 2], [4, 3], [6, 4]]: PPos[1]:=[[0, 0], [2, 1], [4, 4], [5, 6], [6, 7], [7, 3], [9, 8], [12, 9], [14, 5], [15, 12], [16, 10], [18, 11], [20, 15], [22, 16], [23, 13], [24, 18], [25, 14], [28, 20], [30, 21], [31, 19], [32, 23], [33, 24], [34, 25], [37, 26], [40, 27], [41, 28], [43, 29], [44, 30], [45, 31], [46, 32], [47, 33], [49, 34], [52, 35], [53, 36], [54, 37], [56, 38], [58, 39], [60, 40], [61, 41], [62, 42], [64, 43], [65, 44], [66, 45], [68, 46], [70, 47], [71, 48], [73, 49], [75, 50], [77, 51], [79, 52], [81, 53], [82, 54], [84, 55], [85, 56], [86, 57], [88, 58], [90, 59], [92, 60], [93, 61], [95, 62], [96, 63], [98, 64], [99, 65], [101, 66], [103, 67], [105, 68], [106, 69], [108, 70], [110, 71], [112, 72], [113, 73], [115, 74], [116, 75], [118, 76], [120, 77], [121, 78], [123, 79], [124, 80], [126, 81]]: PPos[2]:=[[0, 0], [1, 3], [2, 6], [3, 7], [5, 9], [6, 10], [7, 4], [9, 11], [12, 12], [13, 13], [15, 14], [17, 15], [18, 16], [19, 17], [21, 18], [22, 19], [23, 20], [25, 21], [27, 22], [28, 2], [31, 25], [33, 27], [35, 28], [37, 29], [38, 23], [40, 30], [42, 31], [44, 33], [45, 34], [47, 35], [48, 36], [50, 37], [51, 38], [52, 39], [53, 40], [54, 41], [55, 42], [57, 43], [58, 44], [59, 45], [62, 46], [64, 47], [65, 48], [67, 49], [68, 50], [69, 51], [71, 52], [72, 53], [74, 54], [75, 55], [76, 56], [78, 57], [80, 58], [81, 59], [83, 60], [85, 61], [86, 62], [88, 63], [90, 64], [92, 65], [94, 66], [96, 67], [98, 68], [99, 69], [101, 70], [103, 71], [105, 72], [106, 73], [107, 74], [109, 75], [110, 76], [112, 77], [114, 78], [115, 79], [117, 80], [119, 81], [121, 82], [122, 83], [124, 84], [126, 85], [127, 86], [129, 87], [131, 88], [133, 89], [134, 90], [136, 91], [137, 92], [139, 93], [141, 94], [142, 95], [144, 96], [145, 97], [147, 98], [149, 99], [150, 100], [152, 101], [153, 102], [155, 103], [156, 104], [158, 105], [159, 106], [161, 107], [162, 108], [164, 109], [165, 110], [167, 111], [169, 112], [170, 113], [172, 114], [173, 115], [175, 116], [176, 117], [178, 118], [180, 119], [182, 120], [183, 121], [185, 122], [187, 123], [188, 124], [190, 125], [191, 126], [193, 127], [195, 128], [196, 129], [198, 130], [199, 131], [201, 132], [202, 133], [204, 134], [206, 135], [207, 136], [209, 137], [210, 138], [212, 139], [214, 140], [215, 141], [217, 142], [218, 143], [220, 144], [221, 145], [223, 146], [225, 147], [226, 148], [228, 149], [230, 150], [231, 151], [233, 152], [234, 153], [236, 154], [238, 155], [239, 156], [241, 157], [243, 158], [244, 159], [246, 160], [247, 161], [249, 162], [251, 163], [252, 164], [254, 165], [256, 166]]: PPos[3]:=[[0, 6], [4, 1], [7, 9], [8, 13], [9, 0], [10, 7], [11, 14], [12, 15], [13, 16], [14, 17], [15, 18], [18, 19], [19, 20], [20, 21], [22, 22], [23, 23], [24, 24], [26, 25], [28, 26], [30, 27], [32, 29], [34, 30], [35, 31], [36, 32], [38, 33], [40, 34], [42, 35], [43, 36], [45, 37], [47, 38], [49, 39], [50, 40], [52, 42], [53, 43], [55, 44], [56, 45], [58, 47], [59, 48], [60, 49], [62, 50], [63, 51], [65, 46], [67, 52], [69, 53], [70, 54], [72, 55], [73, 56], [75, 58], [76, 59], [78, 60], [80, 61], [81, 62], [83, 63], [84, 64], [86, 65], [87, 66], [89, 67], [91, 68], [92, 69], [93, 70], [95, 71], [97, 72], [98, 73], [100, 74], [102, 75], [103, 76], [104, 77], [106, 78], [108, 79], [110, 80], [113, 81], [115, 82], [116, 83], [117, 84], [118, 85], [120, 86], [121, 87], [123, 88], [125, 89], [126, 90], [128, 91], [130, 92], [131, 93], [132, 94], [134, 95], [136, 96], [137, 97], [139, 98], [140, 99], [142, 100], [144, 101], [145, 102], [147, 103], [149, 104], [150, 105], [152, 106], [154, 107], [155, 108], [157, 109], [158, 110], [160, 111], [162, 112], [164, 113], [165, 114], [167, 115], [168, 116], [170, 117], [172, 118], [173, 119], [175, 120], [176, 121], [178, 122], [180, 123], [182, 124], [183, 125], [185, 126], [186, 127], [188, 128], [189, 129], [191, 130], [192, 131], [193, 132], [195, 133], [196, 134], [198, 135], [200, 136], [202, 137], [204, 138], [205, 139], [207, 140], [209, 141], [210, 142], [212, 143], [213, 144], [215, 145], [217, 146], [218, 147], [220, 148], [221, 149], [223, 150], [225, 151], [227, 152], [228, 153], [230, 154], [231, 155], [233, 156], [235, 157], [236, 158], [238, 159], [240, 160], [241, 161], [243, 162], [244, 163], [246, 164], [248, 165], [249, 166], [251, 167], [252, 168], [254, 169], [256, 170], [257, 171], [259, 172], [260, 173], [262, 174], [264, 175], [265, 176], [267, 177], [269, 178], [270, 179], [272, 180], [273, 181], [275, 182], [276, 183], [278, 184], [280, 185], [281, 186], [283, 187], [285, 188], [286, 189], [288, 190], [289, 191], [291, 192], [293, 193], [294, 194], [296, 195], [298, 196], [299, 197], [301, 198], [302, 199], [304, 200], [305, 201], [307, 202], [309, 203], [310, 204], [312, 205], [314, 206], [315, 207], [317, 208], [319, 209], [320, 210], [322, 211], [324, 212], [326, 213], [327, 214], [329, 215], [331, 216], [332, 217], [334, 218], [335, 219], [337, 220], [338, 221], [340, 222]]: PPos[4]:=[[0, 0], [1, 10], [2, 3], [4, 13], [7, 1], [9, 15], [10, 16], [12, 18], [13, 19], [14, 20], [15, 21], [16, 4], [18, 22], [19, 23], [21, 24], [22, 25], [23, 26], [25, 27], [27, 28], [28, 29], [29, 30], [31, 31], [33, 32], [35, 34], [37, 35], [38, 33], [39, 36], [41, 37], [43, 38], [44, 39], [46, 40], [48, 41], [50, 42], [51, 44], [53, 45], [54, 43], [56, 47], [58, 50], [60, 51], [61, 49], [63, 52], [64, 53], [66, 54], [67, 55], [68, 56], [70, 57], [73, 58], [74, 60], [76, 61], [77, 62], [79, 63], [80, 64], [82, 65], [84, 66], [85, 67], [87, 68], [88, 69], [90, 70], [91, 71], [93, 72], [94, 73], [96, 74], [99, 76], [100, 77], [101, 78], [102, 79], [104, 80], [105, 81], [106, 82], [107, 83], [109, 84], [112, 85], [113, 86], [114, 75], [116, 87], [118, 88], [119, 89], [121, 90], [123, 91], [125, 92], [126, 93], [128, 94], [129, 95], [130, 96], [132, 97], [133, 98], [135, 99], [136, 100], [138, 101], [140, 102], [141, 103], [143, 104], [145, 105], [146, 106], [148, 107], [149, 108], [151, 109], [153, 110], [154, 111], [156, 112], [158, 113], [159, 114], [161, 115], [163, 116], [164, 117], [166, 118], [168, 119], [169, 120], [171, 121], [172, 122], [173, 123], [174, 124], [176, 125], [178, 126], [180, 127], [182, 128], [183, 129], [185, 130], [187, 131], [191, 133], [192, 134], [194, 135], [195, 136], [196, 137], [198, 132], [200, 138], [201, 139], [202, 140], [204, 141], [205, 142], [207, 143], [209, 144], [210, 145], [212, 146], [213, 147], [215, 148], [216, 149], [218, 150], [220, 151], [221, 152], [223, 153], [225, 154], [227, 155], [228, 156], [230, 157], [232, 158], [233, 159], [235, 160], [237, 161], [238, 162], [240, 163], [241, 164], [243, 165], [245, 166], [246, 167], [248, 168], [249, 169], [251, 170], [253, 171], [254, 172], [256, 173], [258, 174], [259, 175], [261, 176], [262, 177], [264, 178], [266, 179], [267, 180], [269, 181], [270, 182], [272, 183], [274, 184], [275, 185], [277, 186], [278, 187], [280, 188], [282, 189], [283, 190], [285, 191], [286, 192], [288, 193], [290, 194], [291, 195], [293, 196], [295, 197], [297, 198], [299, 199], [300, 200], [302, 201], [303, 202], [305, 203], [306, 204], [308, 205], [309, 206], [311, 207], [313, 208], [314, 209], [316, 210], [317, 211], [319, 212], [320, 213], [321, 214], [322, 215], [323, 216], [325, 217], [327, 218], [328, 219], [332, 220], [334, 221], [335, 222], [336, 223], [337, 224], [339, 225], [341, 226], [343, 227], [344, 228], [346, 229], [348, 230], [349, 231], [351, 232], [352, 233], [354, 234], [356, 235], [357, 236], [359, 237], [361, 238], [362, 239], [364, 240], [366, 241], [367, 242], [369, 243], [370, 244], [372, 245], [374, 246], [375, 247], [377, 248], [378, 249], [380, 250], [381, 251], [383, 252], [385, 253], [386, 254], [388, 255], [389, 256], [391, 257], [393, 258], [394, 259], [396, 260], [397, 261], [399, 262], [401, 263], [402, 264], [404, 265], [406, 266], [407, 267], [409, 268], [410, 269], [412, 270], [414, 271], [415, 272], [417, 273], [419, 274], [420, 275], [422, 276], [423, 277], [425, 278], [427, 279], [428, 280], [430, 281], [431, 282], [433, 283], [435, 284], [436, 285], [438, 286], [440, 287], [441, 288], [443, 289], [444, 290], [446, 291], [448, 292], [449, 293], [451, 294], [453, 295], [454, 296], [456, 297], [457, 298], [459, 299], [461, 300], [462, 301], [464, 302], [466, 303], [467, 304], [469, 305], [470, 306], [472, 307], [474, 308], [475, 309], [477, 310], [479, 311], [480, 312], [482, 313], [483, 314], [485, 315], [487, 316], [488, 317], [490, 318], [491, 319], [493, 320], [494, 321], [496, 322], [497, 323], [499, 324], [501, 325], [502, 326], [504, 327], [506, 328], [507, 329], [509, 330], [511, 331], [512, 332], [514, 333], [516, 334], [517, 335], [519, 336], [520, 337], [522, 338], [524, 339], [525, 340], [527, 341], [529, 342], [530, 343], [532, 344], [534, 345], [536, 346], [538, 347], [540, 348], [541, 349], [543, 350], [544, 351], [546, 352], [548, 353], [549, 354], [550, 355], [551, 356], [553, 357], [554, 358], [556, 359], [558, 360], [560, 361], [562, 362], [563, 363], [565, 364], [566, 365], [568, 366], [569, 367], [571, 368], [573, 369], [574, 370], [576, 371], [577, 372], [579, 373], [581, 374], [582, 375], [584, 376], [586, 377], [587, 378], [589, 379], [590, 380], [592, 381], [594, 382], [595, 383], [597, 384], [598, 385], [600, 386], [602, 387], [603, 388], [605, 389], [606, 390], [608, 391], [610, 392], [611, 393], [613, 394], [615, 395], [616, 396], [618, 397], [619, 398], [621, 399], [623, 400], [624, 401], [626, 402], [628, 403], [629, 404], [631, 405], [633, 406], [634, 407], [636, 408], [637, 409], [639, 410], [641, 411], [642, 412], [644, 413], [646, 414], [647, 415], [649, 416], [650, 417], [652, 418], [654, 419], [655, 420], [657, 421], [659, 422], [660, 423], [662, 424], [663, 425], [665, 426], [667, 427], [668, 428], [670, 429], [671, 430], [673, 431], [675, 432], [676, 433], [678, 434], [680, 435], [681, 436], [683, 437], [684, 438], [686, 439], [688, 440], [689, 441], [691, 442], [692, 443], [694, 444], [696, 445], [697, 446], [699, 447], [701, 448], [702, 449], [704, 450], [705, 451], [707, 452], [709, 453], [710, 454], [712, 455], [714, 456], [715, 457], [717, 458], [718, 459], [720, 460], [722, 461], [723, 462], [725, 463], [726, 464], [728, 465], [730, 466], [731, 467], [733, 468], [735, 469], [736, 470], [738, 471], [739, 472], [741, 473], [743, 474], [744, 475], [746, 476], [747, 477], [749, 478], [751, 479], [752, 480], [754, 481], [756, 482], [757, 483], [759, 484], [760, 485], [762, 486], [764, 487], [765, 488], [767, 489], [768, 490], [770, 491], [772, 492], [773, 493], [775, 494], [777, 495], [778, 496], [780, 497], [781, 498], [783, 499], [785, 500], [786, 501], [788, 502], [789, 503], [791, 504], [793, 505], [794, 506], [796, 507], [798, 508], [799, 509], [801, 510], [802, 511], [804, 512], [806, 513], [807, 514], [809, 515], [811, 516], [812, 517], [814, 518], [816, 519], [817, 520], [819, 521], [821, 522], [822, 523], [824, 524], [825, 525], [827, 526], [829, 527], [830, 528], [832, 529], [833, 530], [835, 531], [837, 532], [838, 533], [840, 534], [841, 535], [843, 536], [845, 537], [846, 538], [848, 539], [849, 540], [851, 541], [853, 542], [854, 543], [856, 544], [858, 545], [859, 546], [861, 547], [862, 548], [864, 549], [866, 550], [867, 551], [869, 552], [870, 553], [872, 554], [874, 555], [875, 556], [877, 557], [878, 558], [880, 559], [881, 560], [883, 561], [884, 562], [886, 563], [887, 564], [889, 565], [891, 566], [892, 567], [894, 568], [896, 569], [897, 570], [899, 571], [900, 572], [902, 573], [904, 574], [906, 575]]: PPos[5]:=[[0, 0], [1, 2], [2, 4], [5, 13], [8, 14], [9, 7], [11, 20], [12, 21], [13, 22], [14, 9], [15, 23], [17, 24], [19, 25], [20, 26], [21, 27], [24, 29], [25, 30], [26, 31], [27, 32], [28, 33], [29, 34], [30, 35], [32, 36], [34, 37], [36, 38], [37, 39], [39, 40], [40, 41], [42, 42], [43, 43], [45, 44], [47, 45], [49, 46], [50, 47], [51, 48], [52, 49], [54, 50], [56, 51], [58, 52], [60, 53], [62, 54], [64, 55], [66, 57], [67, 58], [69, 59], [70, 60], [72, 61], [73, 62], [75, 63], [77, 64], [78, 65], [80, 66], [82, 67], [83, 68], [85, 69], [87, 71], [88, 72], [90, 73], [91, 74], [93, 75], [94, 76], [96, 70], [98, 78], [100, 80], [102, 81], [103, 82], [105, 79], [106, 85], [108, 86], [109, 84], [111, 87], [112, 88], [114, 89], [115, 90], [117, 91], [118, 92], [120, 93], [121, 94], [122, 95], [124, 96], [126, 97], [127, 98], [129, 99], [131, 100], [132, 101], [134, 102], [136, 103], [137, 104], [139, 105], [140, 106], [142, 107], [144, 108], [145, 109], [147, 110], [148, 111], [150, 112], [152, 113], [153, 114], [155, 115], [156, 116], [157, 117], [159, 118], [161, 119], [162, 120], [164, 121], [167, 122], [169, 123], [171, 124], [172, 125], [173, 126], [174, 127], [175, 128], [177, 129], [178, 130], [179, 131], [181, 132], [182, 133], [186, 134], [187, 135], [188, 136], [189, 137], [190, 138], [192, 139], [195, 140], [196, 141], [197, 142], [199, 143], [201, 144], [202, 145], [204, 146], [206, 147], [207, 148], [209, 149], [211, 150], [212, 151], [214, 152], [216, 153], [218, 154], [219, 155], [221, 156], [222, 157], [224, 158], [226, 159], [227, 160], [229, 161], [230, 162], [232, 163], [234, 164], [235, 165], [237, 166], [238, 167], [240, 168], [242, 169], [243, 170], [245, 171], [247, 172], [248, 173], [250, 174], [251, 175], [253, 176], [255, 177], [256, 178], [258, 179], [260, 180], [261, 181], [263, 182], [264, 183], [266, 184], [268, 185], [269, 186], [271, 187], [273, 188], [275, 189], [276, 190], [278, 191], [279, 192], [281, 193], [283, 194], [284, 195], [286, 196], [287, 197], [288, 198], [290, 199], [291, 200], [293, 201], [294, 202], [296, 203], [298, 204], [300, 205], [302, 206], [304, 207], [305, 208], [307, 209], [309, 210], [311, 211], [312, 212], [314, 213], [316, 214], [317, 215], [318, 216], [319, 217], [321, 218], [323, 219], [325, 220], [327, 221], [329, 222], [330, 223], [332, 224], [333, 225], [334, 226], [336, 227], [338, 228], [340, 229], [341, 230], [343, 231], [344, 232], [346, 233], [348, 234], [349, 235], [351, 236], [352, 237], [354, 238], [356, 239], [357, 240], [359, 241], [360, 242], [362, 243], [364, 244], [365, 245], [367, 246], [368, 247], [370, 248], [371, 249], [373, 250], [375, 251], [376, 252], [378, 253], [380, 254], [381, 255], [383, 256], [384, 257], [386, 258], [388, 259], [389, 260], [391, 261], [393, 262], [394, 263], [396, 264], [397, 265], [399, 266], [401, 267], [402, 268], [404, 269], [406, 270], [407, 271], [409, 272], [410, 273], [412, 274], [414, 275], [415, 276], [417, 277], [418, 278], [420, 279], [422, 280], [423, 281], [425, 282], [427, 283], [428, 284], [430, 285], [431, 286], [433, 287], [435, 288], [436, 289], [438, 290], [439, 291], [441, 292], [443, 293], [444, 294], [446, 295], [448, 296], [449, 297], [451, 298], [452, 299], [454, 300], [456, 301], [457, 302], [459, 303], [460, 304], [462, 305], [463, 306], [465, 307], [467, 308], [468, 309], [470, 310], [472, 311], [473, 312], [475, 313], [476, 314], [478, 315], [480, 316], [481, 317], [483, 318], [485, 319], [487, 320], [488, 321], [490, 322], [492, 323], [493, 324], [495, 325], [497, 326], [498, 327], [500, 328], [501, 329], [503, 330], [504, 331], [506, 332], [507, 333], [509, 334], [510, 335], [512, 336], [514, 337], [515, 338], [517, 339], [518, 340], [520, 341], [521, 342], [523, 343], [525, 344], [526, 345], [528, 346], [529, 347], [531, 348], [533, 349], [535, 350], [537, 351], [538, 352], [540, 353], [541, 354], [543, 355], [544, 356], [546, 357], [547, 358], [549, 359], [550, 360], [552, 361], [554, 362], [555, 363], [557, 364], [559, 365], [561, 366], [562, 367], [564, 368], [565, 369], [567, 370], [568, 371], [570, 372], [572, 373], [573, 374], [575, 375], [577, 376], [578, 377], [580, 378], [581, 379], [583, 380], [585, 381], [586, 382], [588, 383], [590, 384], [591, 385], [593, 386], [594, 387], [596, 388], [598, 389], [599, 390], [601, 391], [603, 392], [604, 393], [606, 394], [607, 395], [609, 396], [611, 397], [612, 398], [614, 399], [616, 400], [617, 401], [619, 402], [621, 403], [622, 404], [624, 405], [625, 406], [627, 407], [629, 408], [630, 409], [632, 410], [633, 411], [635, 412], [637, 413], [638, 414], [640, 415], [642, 416], [643, 417], [645, 418], [646, 419], [648, 420], [650, 421], [651, 422], [653, 423], [654, 424], [656, 425], [658, 426], [659, 427], [661, 428], [663, 429], [664, 430], [666, 431], [667, 432], [669, 433], [671, 434], [672, 435], [674, 436], [675, 437], [677, 438], [679, 439], [680, 440], [682, 441], [684, 442], [685, 443], [687, 444], [688, 445], [690, 446], [692, 447], [693, 448], [695, 449], [697, 450], [698, 451], [700, 452], [701, 453], [703, 454], [705, 455], [706, 456], [708, 457], [709, 458], [711, 459], [713, 460], [714, 461], [716, 462], [718, 463], [719, 464], [721, 465], [722, 466], [724, 467], [726, 468], [727, 469], [729, 470], [731, 471], [732, 472], [734, 473], [735, 474], [737, 475], [739, 476], [740, 477], [742, 478], [743, 479], [745, 480], [747, 481], [748, 482], [750, 483], [752, 484], [753, 485], [755, 486], [756, 487], [758, 488], [760, 489], [761, 490], [763, 491], [765, 492], [766, 493], [768, 494], [770, 495], [771, 496], [773, 497], [774, 498], [776, 499], [778, 500], [779, 501], [781, 502], [782, 503], [784, 504], [786, 505], [787, 506], [789, 507], [791, 508], [792, 509], [794, 510], [795, 511], [797, 512], [799, 513], [800, 514], [802, 515], [803, 516], [805, 517], [806, 518], [808, 519], [810, 520], [811, 521], [813, 522], [814, 523], [816, 524], [818, 525], [819, 526], [821, 527], [822, 528], [824, 529], [826, 530], [827, 531], [829, 532], [831, 533], [832, 534], [834, 535], [836, 536], [837, 537], [839, 538], [841, 539], [842, 540], [844, 541], [846, 542], [847, 543], [849, 544], [850, 545], [852, 546], [854, 547], [855, 548], [857, 549], [859, 550], [860, 551], [862, 552], [864, 553], [865, 554], [867, 555], [868, 556], [870, 557], [872, 558], [873, 559], [875, 560], [877, 561], [878, 562], [880, 563], [881, 564], [883, 565], [884, 566], [886, 567], [887, 568], [889, 569], [891, 570], [892, 571], [894, 572], [896, 573], [897, 574], [899, 575], [901, 576], [902, 577], [904, 578], [906, 579]]: PPos[6]:=[[0, 0], [1, 6], [5, 17], [8, 19], [9, 20], [10, 22], [11, 23], [12, 9], [13, 24], [14, 25], [15, 26], [16, 27], [17, 28], [18, 29], [19, 30], [20, 31], [23, 32], [24, 33], [25, 34], [26, 35], [28, 36], [30, 37], [31, 38], [33, 39], [35, 40], [36, 41], [38, 42], [40, 43], [42, 45], [44, 46], [46, 47], [48, 48], [50, 50], [52, 51], [53, 49], [54, 52], [56, 53], [58, 54], [60, 55], [62, 56], [63, 57], [65, 59], [66, 60], [68, 61], [70, 62], [71, 63], [73, 64], [74, 65], [76, 66], [78, 67], [79, 68], [81, 69], [82, 70], [84, 71], [85, 72], [86, 73], [88, 74], [89, 75], [91, 76], [92, 77], [94, 78], [95, 79], [97, 80], [98, 81], [99, 82], [101, 83], [104, 85], [105, 87], [107, 88], [108, 89], [110, 86], [111, 90], [113, 91], [114, 92], [116, 93], [117, 94], [119, 84], [121, 97], [122, 98], [123, 99], [125, 100], [127, 101], [128, 102], [130, 103], [131, 104], [133, 105], [135, 106], [136, 107], [138, 108], [140, 109], [141, 110], [143, 111], [144, 112], [146, 113], [148, 114], [149, 115], [151, 116], [153, 117], [154, 118], [156, 119], [158, 120], [160, 121], [161, 122], [163, 123], [165, 124], [166, 125], [168, 126], [170, 127], [171, 128], [173, 129], [175, 130], [176, 131], [178, 133], [180, 134], [182, 135], [183, 136], [185, 137], [186, 138], [187, 139], [188, 140], [190, 141], [191, 142], [193, 143], [194, 144], [198, 145], [199, 146], [200, 147], [202, 148], [205, 149], [207, 150], [208, 151], [210, 152], [212, 153], [213, 154], [214, 155], [215, 156], [216, 157], [217, 158], [219, 159], [221, 160], [223, 161], [224, 162], [226, 163], [227, 164], [229, 165], [231, 166], [232, 167], [234, 168], [236, 169], [237, 170], [239, 171], [240, 172], [242, 173], [244, 174], [245, 175], [247, 176], [248, 177], [250, 178], [252, 179], [253, 180], [255, 181], [257, 182], [258, 183], [260, 184], [261, 185], [263, 186], [265, 187], [266, 188], [268, 189], [269, 190], [271, 191], [273, 192], [274, 193], [276, 194], [277, 195], [279, 196], [280, 197], [282, 198], [284, 199], [285, 200], [287, 201], [288, 202], [290, 203], [292, 204], [293, 205], [295, 206], [296, 207], [298, 208], [300, 209], [301, 210], [303, 211], [304, 212], [306, 213], [308, 214], [309, 215], [310, 216], [312, 217], [313, 218], [315, 219], [316, 220], [318, 221], [320, 222], [321, 223], [323, 224], [325, 225], [327, 226], [329, 227], [330, 228], [332, 229], [334, 230], [335, 231], [337, 232], [339, 233], [340, 234], [341, 235], [342, 236], [344, 237], [346, 238], [348, 239], [349, 240], [351, 241], [352, 242], [353, 243], [355, 244], [356, 245], [358, 246], [360, 247], [361, 248], [363, 249], [364, 250], [366, 251], [368, 252], [370, 253], [372, 254], [374, 255], [376, 256], [377, 257], [379, 258], [380, 259], [382, 260], [383, 261], [385, 262], [387, 263], [388, 264], [390, 265], [392, 266], [393, 267], [395, 268], [396, 269], [398, 270], [400, 271], [401, 272], [403, 273], [404, 274], [406, 275], [408, 276], [409, 277], [411, 278], [413, 279], [414, 280], [416, 281], [417, 282], [419, 283], [421, 284], [422, 285], [424, 286], [426, 287], [427, 288], [429, 289], [430, 290], [432, 291], [434, 292], [435, 293], [437, 294], [438, 295], [440, 296], [442, 297], [443, 298], [445, 299], [447, 300], [448, 301], [450, 302], [451, 303], [453, 304], [455, 305], [456, 306], [458, 307], [460, 308], [461, 309], [463, 310], [464, 311], [466, 312], [468, 313], [469, 314], [471, 315], [473, 316], [474, 317], [476, 318], [478, 319], [479, 320], [481, 321], [482, 322], [484, 323], [486, 324], [487, 325], [489, 326], [491, 327], [492, 328], [494, 329], [495, 330], [497, 331], [499, 332], [500, 333], [502, 334], [504, 335], [505, 336], [507, 337], [508, 338], [510, 339], [512, 340], [513, 341], [515, 342], [517, 343], [518, 344], [520, 345], [521, 346], [523, 347], [525, 348], [527, 349], [528, 350], [530, 351], [532, 352], [533, 353], [535, 354], [537, 355], [538, 356], [540, 357], [541, 358], [543, 359], [545, 360], [546, 361], [548, 362], [549, 363], [551, 364], [552, 365], [554, 366], [555, 367], [557, 368], [559, 369], [560, 370], [562, 371], [563, 372], [565, 373], [567, 374], [568, 375], [570, 376], [571, 377], [573, 378], [575, 379], [577, 380], [579, 381], [580, 382], [582, 383], [583, 384], [585, 385], [586, 386], [588, 387], [590, 388], [591, 389], [593, 390], [595, 391], [597, 392], [598, 393], [600, 394], [602, 395], [603, 396], [605, 397], [606, 398], [608, 399], [610, 400], [611, 401], [613, 402], [615, 403], [616, 404], [618, 405], [619, 406], [621, 407], [622, 408], [624, 409], [625, 410], [627, 411], [628, 412], [630, 413], [631, 414], [633, 415], [635, 416], [636, 417], [638, 418], [640, 419], [641, 420], [643, 421], [645, 422], [646, 423], [648, 424], [649, 425], [651, 426], [653, 427], [654, 428], [656, 429], [657, 430], [659, 431], [661, 432], [662, 433], [664, 434], [666, 435], [667, 436], [669, 437], [670, 438], [672, 439], [674, 440], [675, 441], [677, 442], [679, 443], [680, 444], [682, 445], [683, 446], [685, 447], [687, 448], [688, 449], [690, 450], [691, 451], [693, 452], [695, 453], [696, 454], [698, 455], [700, 456], [701, 457], [703, 458], [704, 459], [706, 460], [708, 461], [709, 462], [711, 463], [712, 464], [714, 465], [716, 466], [717, 467], [719, 468], [721, 469], [722, 470], [724, 471], [725, 472], [727, 473], [729, 474], [730, 475], [732, 476], [734, 477], [735, 478], [737, 479], [738, 480], [740, 481], [742, 482], [743, 483], [745, 484], [746, 485], [748, 486], [750, 487], [751, 488], [753, 489], [755, 490], [756, 491], [758, 492], [759, 493], [761, 494], [763, 495], [764, 496], [766, 497], [767, 498], [769, 499], [771, 500], [772, 501], [774, 502], [776, 503], [777, 504], [779, 505], [780, 506], [782, 507], [784, 508], [785, 509], [787, 510], [788, 511], [790, 512], [792, 513], [793, 514], [795, 515], [796, 516], [798, 517], [800, 518], [801, 519], [803, 520], [805, 521], [806, 522], [808, 523], [809, 524], [811, 525], [813, 526], [814, 527], [816, 528], [817, 529], [819, 530], [821, 531], [822, 532], [824, 533], [826, 534], [827, 535], [829, 536], [830, 537], [832, 538], [834, 539], [835, 540], [837, 541], [838, 542], [840, 543], [842, 544], [843, 545], [845, 546], [847, 547], [848, 548], [850, 549], [851, 550], [853, 551], [855, 552], [856, 553], [858, 554], [859, 555], [861, 556], [863, 557], [864, 558], [866, 559], [868, 560], [869, 561], [871, 562], [872, 563], [874, 564], [875, 565], [877, 566], [879, 567], [880, 568], [882, 569], [883, 570], [885, 571], [887, 572], [888, 573], [890, 574], [891, 575], [893, 576], [895, 577], [896, 578], [898, 579], [900, 580], [901, 581], [903, 582], [904, 583], [906, 584], [908, 585], [909, 586], [911, 587], [913, 588], [914, 589], [916, 590], [918, 591], [919, 592], [921, 593], [923, 594], [924, 595], [926, 596], [927, 597], [929, 598], [931, 599], [932, 600], [934, 601], [936, 602], [937, 603], [939, 604], [940, 605], [942, 606], [944, 607], [945, 608], [947, 609], [949, 610], [950, 611], [952, 612], [953, 613], [955, 614], [956, 615], [958, 616], [959, 617], [961, 618], [963, 619], [964, 620], [966, 621], [968, 622], [969, 623], [971, 624], [973, 625], [974, 626], [976, 627], [977, 628], [979, 629], [981, 630], [982, 631], [984, 632], [985, 633], [987, 634], [988, 635], [990, 636], [992, 637], [993, 638], [995, 639], [996, 640], [998, 641], [1000, 642], [1001, 643], [1003, 644], [1005, 645], [1006, 646], [1008, 647], [1009, 648], [1011, 649], [1013, 650], [1014, 651], [1016, 652], [1017, 653], [1019, 654], [1021, 655], [1022, 656], [1024, 657], [1026, 658], [1027, 659], [1029, 660], [1031, 661]]: PPos[7]:=[[0, 3], [2, 11], [5, 9], [8, 16], [10, 25], [11, 26], [12, 27], [15, 29], [16, 20], [17, 31], [18, 32], [19, 33], [20, 34], [21, 35], [22, 36], [23, 37], [25, 38], [26, 39], [27, 40], [28, 41], [29, 42], [30, 43], [31, 44], [32, 45], [33, 46], [34, 47], [38, 48], [40, 49], [41, 50], [42, 51], [43, 52], [45, 53], [46, 54], [47, 55], [49, 56], [51, 57], [53, 58], [55, 59], [57, 60], [59, 61], [61, 62], [62, 63], [64, 64], [66, 65], [68, 66], [70, 67], [72, 68], [74, 69], [76, 70], [78, 71], [80, 72], [82, 73], [83, 74], [84, 75], [85, 76], [87, 77], [88, 78], [90, 79], [92, 80], [94, 81], [96, 82], [97, 83], [99, 84], [101, 85], [103, 87], [104, 89], [106, 90], [107, 91], [109, 92], [110, 93], [112, 94], [113, 95], [115, 96], [116, 97], [118, 98], [119, 99], [121, 100], [122, 101], [124, 102], [126, 103], [127, 104], [129, 105], [130, 106], [132, 107], [133, 108], [135, 109], [136, 110], [138, 111], [139, 112], [141, 113], [142, 114], [144, 115], [145, 116], [147, 117], [148, 118], [150, 119], [151, 120], [153, 121], [154, 122], [156, 123], [158, 124], [160, 125], [162, 126], [163, 127], [165, 128], [167, 129], [168, 130], [170, 131], [171, 132], [173, 133], [174, 134], [176, 135], [177, 136], [179, 137], [181, 138], [182, 139], [184, 140], [185, 141], [187, 142], [188, 143], [189, 144], [191, 145], [192, 146], [194, 147], [195, 148], [197, 149], [199, 150], [200, 151], [202, 152], [204, 153], [205, 154], [207, 155], [209, 156], [210, 157], [212, 158], [214, 159], [215, 160], [217, 161], [219, 162], [220, 163], [222, 164], [224, 165], [225, 166], [227, 167], [228, 168], [230, 169], [232, 170], [233, 171], [235, 172], [237, 173], [238, 174], [240, 175], [242, 176], [243, 177], [245, 178], [247, 179], [248, 180], [250, 181], [252, 182], [253, 183], [255, 184], [257, 185], [258, 186], [260, 187], [262, 188], [263, 189], [265, 190], [267, 191], [268, 192], [270, 193], [272, 194], [273, 195], [275, 196], [277, 197], [278, 198], [280, 199], [281, 200], [283, 201], [284, 202], [286, 203], [287, 204], [289, 205], [291, 206], [292, 207], [294, 208], [295, 209], [297, 210], [299, 211], [300, 212], [302, 213], [304, 214], [305, 215], [307, 216], [309, 218], [310, 219], [312, 220], [314, 217], [315, 222], [317, 223], [318, 221], [320, 225], [322, 226], [323, 224], [325, 227], [327, 228], [328, 229], [330, 230], [332, 231], [334, 233], [335, 234], [337, 235], [339, 236], [340, 237], [342, 238], [344, 239], [345, 240], [347, 241], [348, 242], [350, 243], [352, 245], [353, 246], [355, 247], [356, 248], [358, 249], [360, 250], [361, 244], [363, 252], [364, 253], [366, 254], [368, 255], [369, 256], [371, 257], [372, 258], [374, 259], [376, 260], [377, 261], [379, 262], [380, 263], [382, 264], [384, 265], [385, 266], [387, 267], [388, 268], [390, 269], [392, 270], [393, 271], [395, 272], [397, 273], [398, 274], [400, 275], [401, 276], [403, 277], [405, 278], [406, 279], [408, 280], [409, 281], [411, 282], [413, 283], [414, 284], [416, 285], [417, 286], [419, 287], [421, 288], [422, 289], [424, 290], [425, 291], [427, 292], [429, 293], [430, 294], [432, 295], [433, 296], [435, 297], [437, 298], [438, 299], [440, 300], [441, 301], [443, 302], [445, 303], [446, 304], [448, 305], [449, 306], [451, 307], [453, 308], [454, 309], [456, 310], [457, 311], [459, 312], [461, 313], [462, 314], [464, 315], [465, 316], [467, 317], [469, 318], [470, 319], [472, 320], [473, 321], [475, 322], [477, 323], [478, 324], [480, 325], [482, 326], [483, 327], [485, 328], [487, 329], [488, 330], [490, 331], [492, 332], [493, 333], [495, 334], [496, 335], [498, 336], [500, 337], [501, 338], [503, 339], [505, 340], [506, 341], [508, 342], [509, 343], [511, 344], [513, 345], [514, 346], [516, 347], [517, 348], [519, 349], [521, 350], [522, 351], [524, 352], [525, 353], [526, 354], [528, 355], [530, 356], [533, 357], [534, 358], [535, 359], [536, 360], [538, 361], [541, 362], [542, 363], [543, 364], [544, 365], [546, 366], [549, 367], [550, 368], [551, 369], [553, 370], [554, 371], [556, 372], [558, 373], [559, 374], [561, 375], [562, 376], [564, 377], [565, 378], [566, 379], [568, 380], [570, 381], [571, 382], [573, 383], [574, 384], [576, 385], [578, 386], [579, 387], [581, 388], [582, 389], [584, 390], [586, 391], [587, 392], [589, 393], [591, 394], [592, 395], [594, 396], [595, 397], [596, 398], [598, 399], [600, 400], [601, 401], [603, 402], [606, 403], [608, 404], [609, 405], [611, 406], [612, 407], [613, 408], [614, 409], [616, 410], [618, 411], [619, 412], [621, 413], [622, 414], [624, 415], [626, 416], [627, 417], [629, 418], [631, 419], [632, 420], [634, 421], [635, 422], [637, 423], [639, 424], [640, 425], [642, 426], [644, 427], [645, 428], [647, 429], [648, 430], [650, 431], [652, 432], [653, 433], [655, 434], [657, 435], [658, 436], [660, 437], [661, 438], [663, 439], [665, 440], [666, 441], [668, 442], [669, 443], [671, 444], [673, 445], [674, 446], [676, 447], [678, 448], [679, 449], [681, 450], [682, 451], [684, 452], [686, 453], [687, 454], [689, 455], [691, 456], [692, 457], [694, 458], [695, 459], [697, 460], [699, 461], [700, 462], [702, 463], [704, 464], [705, 465], [707, 466], [708, 467], [710, 468], [712, 469], [713, 470], [715, 471], [717, 472], [718, 473], [720, 474], [721, 475], [723, 476], [725, 477], [726, 478], [728, 479], [730, 480], [731, 481], [733, 482], [734, 483], [736, 484], [738, 485], [739, 486], [741, 487], [743, 488], [744, 489], [746, 490], [747, 491], [749, 492], [751, 493], [752, 494], [754, 495], [756, 496], [757, 497], [759, 498], [760, 499], [762, 500], [764, 501], [765, 502], [767, 503], [769, 504], [770, 505], [772, 506], [773, 507], [775, 508], [777, 509], [778, 510], [780, 511], [782, 512], [783, 513], [785, 514], [786, 515], [788, 516], [790, 517], [791, 518], [793, 519], [795, 520], [796, 521], [798, 522], [799, 523], [801, 524], [803, 525], [804, 526], [806, 527], [807, 528], [809, 529], [811, 530], [812, 531], [814, 532], [815, 533], [817, 534], [819, 535], [820, 536], [822, 537], [823, 538], [825, 539], [827, 540], [828, 541], [830, 542], [832, 543], [833, 544], [835, 545], [836, 546], [838, 547], [840, 548], [841, 549], [843, 550], [844, 551], [846, 552], [848, 553], [849, 554], [851, 555], [853, 556], [854, 557], [856, 558], [857, 559], [859, 560], [861, 561], [862, 562], [864, 563], [866, 564], [867, 565], [869, 566], [870, 567], [872, 568], [874, 569], [875, 570], [877, 571], [879, 572], [881, 573], [882, 574], [884, 575], [885, 576], [887, 577], [888, 578], [889, 579], [891, 580], [893, 581], [895, 582], [897, 583], [898, 584], [900, 585], [901, 586], [902, 587], [904, 588], [906, 589], [908, 590], [910, 591], [911, 592], [913, 593], [914, 594], [915, 595], [917, 596], [919, 597], [921, 598], [922, 599], [924, 600], [926, 601], [927, 602], [929, 603], [930, 604], [932, 605], [934, 606], [935, 607], [937, 608], [939, 609], [940, 610], [942, 611], [944, 612], [946, 613], [947, 614], [949, 615], [950, 616], [952, 617], [954, 618], [955, 619], [957, 620], [959, 621], [960, 622], [962, 623], [963, 624], [965, 625], [967, 626], [968, 627], [970, 628], [972, 629], [973, 630], [975, 631], [976, 632], [978, 633], [980, 634], [981, 635], [983, 636], [984, 637], [986, 638], [988, 639], [989, 640], [991, 641], [993, 642], [995, 643], [996, 644], [998, 645], [999, 646], [1001, 647], [1003, 648], [1004, 649], [1006, 650], [1007, 651], [1008, 652], [1010, 653], [1011, 654], [1013, 655], [1015, 656], [1016, 657], [1018, 658], [1020, 659], [1022, 660], [1024, 661], [1025, 662], [1027, 663], [1028, 664], [1030, 665], [1032, 666], [1033, 667], [1035, 668], [1037, 669], [1038, 670], [1040, 671], [1041, 672], [1043, 673], [1045, 674], [1046, 675], [1048, 676], [1049, 677], [1051, 678], [1053, 679], [1054, 680], [1056, 681], [1058, 682], [1059, 683], [1061, 684], [1062, 685], [1064, 686], [1066, 687], [1067, 688], [1069, 689], [1070, 690], [1072, 691], [1074, 692], [1075, 693], [1077, 694], [1079, 695], [1080, 696], [1082, 697], [1083, 698], [1085, 699], [1087, 700], [1088, 701], [1090, 702], [1091, 703], [1093, 704], [1095, 705], [1096, 706], [1098, 707], [1100, 708], [1101, 709], [1103, 710], [1104, 711], [1106, 712], [1108, 713], [1109, 714], [1111, 715], [1113, 716], [1114, 717], [1116, 718], [1117, 719], [1119, 720], [1121, 721], [1122, 722], [1124, 723], [1125, 724], [1127, 725], [1129, 726], [1130, 727], [1132, 728], [1134, 729], [1135, 730], [1137, 731], [1138, 732], [1140, 733], [1142, 734], [1143, 735], [1145, 736], [1146, 737], [1148, 738], [1150, 739], [1151, 740], [1153, 741], [1155, 742], [1156, 743], [1158, 744], [1159, 745], [1161, 746], [1163, 747], [1164, 748], [1166, 749], [1167, 750], [1169, 751], [1171, 752], [1172, 753], [1174, 754], [1176, 755], [1177, 756], [1179, 757], [1180, 758], [1182, 759], [1184, 760], [1185, 761], [1187, 762], [1188, 763], [1190, 764], [1192, 765], [1193, 766], [1195, 767], [1197, 768], [1198, 769], [1200, 770], [1201, 771], [1203, 772], [1205, 773], [1206, 774], [1208, 775], [1209, 776], [1211, 777], [1213, 778], [1214, 779], [1216, 780], [1218, 781], [1219, 782], [1221, 783], [1222, 784], [1224, 785], [1226, 786], [1227, 787], [1229, 788], [1230, 789], [1232, 790], [1234, 791], [1235, 792], [1237, 793], [1239, 794], [1240, 795], [1242, 796], [1243, 797], [1245, 798], [1247, 799], [1248, 800], [1250, 801], [1251, 802], [1253, 803], [1255, 804], [1256, 805], [1258, 806], [1260, 807], [1261, 808], [1263, 809], [1264, 810], [1266, 811], [1268, 812], [1269, 813], [1271, 814], [1272, 815], [1274, 816], [1276, 817], [1277, 818], [1279, 819], [1281, 820], [1282, 821], [1284, 822], [1285, 823], [1287, 824], [1289, 825], [1290, 826], [1292, 827], [1293, 828], [1295, 829], [1297, 830], [1298, 831], [1300, 832], [1302, 833], [1303, 834], [1305, 835], [1306, 836], [1308, 837], [1310, 838], [1311, 839], [1313, 840], [1314, 841], [1316, 842], [1318, 843], [1319, 844], [1321, 845], [1323, 846], [1324, 847], [1326, 848], [1327, 849], [1329, 850], [1331, 851], [1332, 852], [1334, 853], [1336, 854], [1337, 855], [1339, 856], [1340, 857], [1342, 858], [1344, 859], [1345, 860], [1347, 861], [1349, 862], [1350, 863], [1352, 864], [1353, 865], [1355, 866], [1357, 867], [1358, 868], [1360, 869], [1362, 870], [1363, 871], [1365, 872], [1366, 873], [1368, 874], [1370, 875], [1371, 876], [1373, 877], [1374, 878], [1376, 879], [1378, 880], [1379, 881], [1381, 882], [1383, 883], [1384, 884], [1386, 885], [1387, 886], [1389, 887], [1391, 888], [1392, 889], [1394, 890], [1396, 891], [1397, 892], [1399, 893], [1400, 894], [1402, 895], [1404, 896], [1405, 897], [1407, 898], [1408, 899], [1410, 900], [1412, 901], [1413, 902], [1415, 903], [1417, 904], [1418, 905], [1420, 906], [1421, 907], [1423, 908], [1425, 909], [1426, 910], [1428, 911], [1429, 912], [1431, 913], [1433, 914], [1434, 915], [1436, 916], [1438, 917], [1439, 918], [1441, 919], [1442, 920], [1444, 921], [1446, 922], [1447, 923], [1449, 924], [1450, 925], [1452, 926], [1453, 927], [1455, 928], [1457, 929], [1458, 930], [1460, 931], [1462, 932], [1463, 933], [1465, 934], [1467, 935], [1469, 936], [1470, 937], [1472, 938], [1473, 939], [1475, 940], [1476, 941], [1478, 942], [1479, 943], [1481, 944], [1483, 945], [1484, 946], [1486, 947], [1488, 948], [1490, 949], [1491, 950], [1493, 951], [1494, 952], [1496, 953], [1497, 954], [1499, 955], [1500, 956], [1502, 957], [1504, 958], [1505, 959], [1507, 960], [1509, 961], [1511, 962], [1512, 963], [1514, 964], [1515, 965], [1517, 966]]: PPos[8]:=[[0, 0], [1, 15], [2, 7], [4, 18], [6, 11], [7, 23], [8, 25], [11, 29], [12, 30], [14, 31], [15, 32], [18, 35], [19, 36], [20, 37], [21, 38], [23, 39], [24, 40], [25, 41], [26, 42], [27, 43], [28, 44], [29, 45], [31, 47], [32, 48], [34, 49], [35, 50], [36, 51], [37, 52], [38, 53], [39, 54], [41, 55], [43, 56], [44, 57], [46, 58], [48, 59], [49, 60], [50, 61], [51, 62], [52, 63], [54, 64], [56, 65], [58, 66], [60, 67], [61, 68], [63, 69], [65, 70], [67, 71], [69, 72], [71, 73], [73, 74], [75, 75], [76, 76], [77, 77], [79, 78], [81, 79], [82, 80], [84, 81], [86, 82], [88, 83], [90, 84], [92, 85], [94, 86], [95, 87], [97, 88], [98, 89], [100, 90], [102, 91], [103, 92], [105, 93], [106, 94], [108, 95], [110, 96], [112, 97], [114, 98], [116, 99], [117, 100], [119, 101], [120, 102], [122, 103], [123, 104], [125, 105], [126, 106], [128, 107], [130, 108], [131, 109], [133, 110], [134, 111], [136, 112], [137, 113], [139, 114], [140, 115], [142, 116], [143, 117], [145, 118], [146, 119], [148, 120], [149, 121], [151, 122], [153, 124], [155, 125], [156, 123], [158, 126], [159, 127], [161, 128], [163, 129], [164, 130], [166, 131], [167, 132], [169, 133], [170, 134], [172, 135], [173, 136], [175, 137], [176, 138], [178, 139], [179, 140], [181, 141], [183, 142], [184, 143], [186, 144], [188, 146], [189, 147], [191, 148], [192, 149], [194, 150], [196, 151], [197, 145], [199, 153], [201, 154], [202, 152], [204, 156], [205, 157], [207, 158], [208, 159], [210, 160], [211, 161], [213, 162], [214, 163], [216, 164], [218, 165], [219, 166], [221, 167], [223, 168], [224, 169], [226, 170], [228, 171], [229, 172], [231, 173], [233, 174], [234, 175], [236, 176], [237, 177], [239, 178], [241, 179], [242, 180], [244, 181], [246, 182], [247, 183], [249, 184], [251, 185], [252, 186], [254, 187], [256, 188], [257, 189], [259, 190], [261, 191], [262, 192], [264, 193], [266, 194], [267, 195], [269, 196], [271, 197], [272, 198], [274, 199], [275, 200], [276, 201], [278, 202], [281, 203], [282, 204], [283, 205], [285, 206], [287, 207], [288, 208], [290, 209], [291, 210], [293, 211], [295, 212], [296, 213], [298, 214], [300, 215], [301, 216], [303, 217], [305, 218], [306, 219], [308, 220], [310, 221], [311, 222], [313, 223], [315, 224], [316, 225], [318, 226], [320, 227], [321, 228], [323, 229], [324, 230], [326, 231], [328, 232], [329, 233], [331, 234], [332, 235], [333, 236], [335, 237], [337, 238], [338, 239], [340, 240], [343, 241], [345, 242], [346, 243], [348, 244], [349, 245], [350, 246], [351, 247], [353, 248], [356, 249], [357, 251], [358, 252], [359, 253], [361, 254], [363, 255], [364, 256], [366, 250], [368, 258], [369, 259], [371, 260], [373, 261], [374, 262], [376, 263], [378, 264], [379, 265], [381, 266], [382, 267], [384, 268], [386, 269], [387, 270], [389, 271], [390, 272], [392, 273], [394, 274], [395, 275], [397, 276], [398, 277], [400, 278], [402, 279], [403, 280], [405, 281], [406, 282], [408, 283], [410, 284], [411, 285], [413, 286], [415, 287], [416, 288], [418, 289], [419, 290], [421, 291], [423, 292], [424, 293], [426, 294], [427, 295], [429, 296], [431, 297], [432, 298], [434, 299], [435, 300], [437, 301], [439, 302], [440, 303], [442, 304], [443, 305], [445, 306], [447, 307], [448, 308], [450, 309], [451, 310], [453, 311], [455, 312], [456, 313], [458, 314], [459, 315], [461, 316], [463, 317], [464, 318], [466, 319], [467, 320], [469, 321], [471, 322], [472, 323], [474, 324], [476, 325], [478, 326], [479, 327], [481, 328], [482, 329], [483, 330], [485, 331], [487, 332], [489, 333], [490, 334], [492, 335], [493, 336], [495, 337], [497, 338], [498, 339], [500, 340], [502, 341], [503, 342], [505, 343], [506, 344], [508, 345], [510, 346], [511, 347], [513, 348], [514, 349], [516, 350], [518, 351], [519, 352], [521, 353], [522, 354], [524, 355], [526, 356], [527, 357], [529, 358], [530, 359], [532, 360], [534, 361], [535, 362], [537, 363], [538, 364], [540, 365], [542, 366], [543, 367], [545, 368], [546, 369], [548, 370], [550, 371], [551, 372], [553, 373], [555, 374], [556, 375], [558, 376], [559, 377], [561, 378], [563, 379], [564, 380], [566, 381], [568, 382], [570, 384], [571, 385], [573, 386], [574, 387], [576, 388], [578, 389], [579, 383], [581, 391], [582, 392], [583, 393], [585, 394], [586, 395], [588, 396], [590, 397], [591, 398], [593, 399], [595, 400], [597, 401], [599, 402], [600, 403], [602, 404], [603, 405], [604, 406], [606, 407], [607, 408], [609, 409], [611, 410], [613, 411], [614, 412], [617, 413], [619, 414], [621, 416], [622, 417], [623, 418], [624, 419], [625, 420], [627, 421], [629, 422], [630, 423], [632, 424], [633, 425], [635, 426], [637, 427], [638, 428], [640, 429], [641, 430], [643, 431], [645, 432], [646, 433], [648, 434], [650, 435], [651, 436], [653, 437], [654, 438], [656, 439], [658, 440], [659, 441], [661, 442], [663, 443], [664, 444], [666, 445], [667, 446], [669, 447], [671, 448], [672, 449], [674, 450], [676, 451], [677, 452], [679, 453], [680, 454], [682, 455], [684, 456], [685, 457], [687, 458], [689, 459], [690, 460], [692, 461], [693, 462], [695, 463], [697, 464], [698, 465], [700, 466], [701, 467], [703, 468], [705, 469], [706, 470], [708, 471], [710, 472], [711, 473], [713, 474], [714, 475], [716, 476], [718, 477], [719, 478], [721, 479], [723, 480], [724, 481], [726, 482], [727, 483], [729, 484], [731, 485], [732, 486], [734, 487], [736, 488], [737, 489], [739, 490], [740, 491], [742, 492], [744, 493], [745, 494], [747, 495], [749, 496], [750, 497], [752, 498], [753, 499], [755, 500], [757, 501], [758, 502], [760, 503], [762, 504], [763, 505], [765, 506], [766, 507], [768, 508], [770, 509], [771, 510], [773, 511], [775, 512], [776, 513], [778, 514], [779, 515], [781, 516], [783, 517], [784, 518], [786, 519], [788, 520], [789, 521], [791, 522], [792, 523], [794, 524], [796, 525], [797, 526], [799, 527], [800, 528], [802, 529], [803, 530], [805, 531], [807, 532], [808, 533], [810, 534], [812, 535], [814, 536], [815, 537], [817, 538], [818, 539], [820, 540], [821, 541], [823, 542], [825, 543], [826, 544], [828, 545], [830, 546], [831, 547], [833, 548], [834, 549], [836, 550], [838, 551], [839, 552], [841, 553], [842, 554], [844, 555], [846, 556], [847, 557], [849, 558], [851, 559], [852, 560], [854, 561], [855, 562], [857, 563], [859, 564], [860, 565], [862, 566], [864, 567], [865, 568], [867, 569], [868, 570], [870, 571], [872, 572], [873, 573], [875, 574], [877, 575], [878, 576], [880, 577], [881, 578], [883, 579], [885, 580], [886, 581], [888, 582], [890, 583], [891, 584], [893, 585], [894, 586], [896, 587], [898, 588], [899, 589], [901, 590], [903, 591], [904, 592], [906, 593], [907, 594], [909, 595], [911, 596], [912, 597], [914, 598], [916, 599], [917, 600], [919, 601], [920, 602], [922, 603], [924, 604], [925, 605], [927, 606], [928, 607], [930, 608], [932, 609], [933, 610], [935, 611], [937, 612], [938, 613], [940, 614], [941, 615], [943, 616], [945, 617], [946, 618], [948, 619], [949, 620], [951, 621], [952, 622], [953, 623], [955, 624], [957, 625], [958, 626], [960, 627], [963, 628], [965, 629], [966, 630], [968, 631], [969, 632], [970, 633], [971, 634], [973, 635], [975, 636], [977, 637], [978, 638], [980, 639], [982, 640], [983, 641], [985, 642], [986, 643], [988, 644], [990, 645], [991, 646], [993, 647], [994, 648], [996, 649], [997, 650], [999, 651], [1000, 652], [1002, 653], [1004, 654], [1005, 655], [1007, 656], [1009, 657], [1011, 658], [1012, 659], [1014, 660], [1016, 661], [1017, 662], [1019, 663], [1020, 664], [1022, 665], [1023, 666], [1025, 667], [1027, 668], [1028, 669], [1029, 670], [1031, 671], [1032, 672], [1034, 673], [1035, 674], [1036, 675], [1038, 676], [1040, 677], [1042, 678], [1044, 679], [1046, 680], [1047, 681], [1049, 682], [1050, 683], [1052, 684], [1054, 685], [1055, 686], [1057, 687], [1059, 688], [1060, 689], [1062, 690], [1063, 691], [1065, 692], [1067, 693], [1068, 694], [1070, 695], [1072, 696], [1073, 697], [1075, 698], [1076, 699], [1078, 700], [1080, 701], [1081, 702], [1083, 703], [1084, 704], [1086, 705], [1088, 706], [1089, 707], [1091, 708], [1093, 709], [1094, 710], [1096, 711], [1097, 712], [1099, 713], [1101, 714], [1102, 715], [1104, 716], [1105, 717], [1107, 718], [1109, 719], [1110, 720], [1112, 721], [1114, 722], [1115, 723], [1117, 724], [1118, 725], [1120, 726], [1122, 727], [1123, 728], [1125, 729], [1126, 730], [1128, 731], [1130, 732], [1131, 733], [1133, 734], [1135, 735], [1136, 736], [1138, 737], [1139, 738], [1141, 739], [1143, 740], [1144, 741], [1146, 742], [1147, 743], [1149, 744], [1151, 745], [1152, 746], [1154, 747], [1156, 748], [1157, 749], [1159, 750], [1160, 751], [1162, 752], [1164, 753], [1165, 754], [1167, 755], [1169, 756], [1170, 757], [1172, 758], [1173, 759], [1175, 760], [1177, 761], [1178, 762], [1180, 763], [1181, 764], [1183, 765], [1185, 766], [1186, 767], [1188, 768], [1190, 769], [1191, 770], [1193, 771], [1194, 772], [1196, 773], [1198, 774], [1199, 775], [1201, 776], [1202, 777], [1204, 778], [1206, 779], [1207, 780], [1209, 781], [1211, 782], [1212, 783], [1214, 784], [1215, 785], [1217, 786], [1219, 787], [1220, 788], [1222, 789], [1223, 790], [1225, 791], [1227, 792], [1228, 793], [1230, 794], [1232, 795], [1233, 796], [1235, 797], [1236, 798], [1238, 799], [1240, 800], [1241, 801], [1243, 802], [1244, 803], [1246, 804], [1248, 805], [1249, 806], [1251, 807], [1253, 808], [1254, 809], [1256, 810], [1257, 811], [1259, 812], [1261, 813], [1262, 814], [1264, 815], [1265, 816], [1267, 817], [1269, 818], [1270, 819], [1272, 820], [1274, 821], [1275, 822], [1277, 823], [1278, 824], [1280, 825], [1282, 826], [1283, 827], [1285, 828], [1286, 829], [1288, 830], [1290, 831], [1291, 832], [1293, 833], [1295, 834], [1296, 835], [1298, 836], [1299, 837], [1301, 838], [1303, 839], [1304, 840], [1306, 841], [1307, 842], [1309, 843], [1311, 844], [1312, 845], [1314, 846], [1316, 847], [1317, 848], [1319, 849], [1320, 850], [1322, 851], [1324, 852], [1325, 853], [1327, 854], [1329, 855], [1330, 856], [1332, 857], [1334, 858], [1335, 859], [1337, 860], [1338, 861], [1340, 862], [1342, 863], [1343, 864], [1345, 865], [1346, 866], [1348, 867], [1349, 868], [1351, 869], [1353, 870], [1354, 871], [1356, 872], [1358, 873], [1359, 874], [1361, 875], [1363, 876], [1364, 877], [1366, 878], [1367, 879], [1369, 880], [1371, 881], [1372, 882], [1374, 883], [1375, 884], [1377, 885], [1379, 886], [1380, 887], [1382, 888], [1384, 889], [1385, 890], [1387, 891], [1388, 892], [1390, 893], [1392, 894], [1393, 895], [1395, 896], [1397, 897], [1398, 898], [1400, 899], [1401, 900], [1403, 901], [1405, 902], [1406, 903], [1408, 904], [1409, 905], [1411, 906], [1413, 907], [1414, 908], [1416, 909], [1418, 910], [1419, 911], [1421, 912], [1422, 913], [1424, 914], [1426, 915], [1427, 916], [1429, 917], [1430, 918], [1432, 919], [1434, 920], [1435, 921], [1437, 922], [1439, 923], [1440, 924], [1442, 925], [1443, 926], [1445, 927], [1447, 928], [1448, 929], [1450, 930], [1451, 931], [1453, 932], [1455, 933], [1456, 934], [1458, 935], [1460, 936], [1461, 937], [1463, 938], [1464, 939], [1466, 940], [1468, 941], [1469, 942], [1471, 943], [1472, 944], [1474, 945], [1476, 946], [1477, 947], [1479, 948], [1481, 949], [1482, 950], [1484, 951], [1485, 952], [1487, 953], [1489, 954], [1490, 955], [1492, 956], [1493, 957], [1495, 958], [1497, 959], [1498, 960], [1500, 961], [1502, 962], [1503, 963], [1505, 964], [1506, 965], [1508, 966], [1510, 967], [1511, 968], [1513, 969], [1514, 970], [1516, 971], [1518, 972], [1519, 973], [1521, 974], [1523, 975], [1524, 976], [1526, 977], [1527, 978], [1529, 979], [1531, 980], [1532, 981], [1534, 982], [1536, 983], [1537, 984], [1539, 985], [1540, 986], [1542, 987], [1544, 988], [1545, 989], [1547, 990], [1548, 991], [1550, 992], [1552, 993], [1553, 994], [1555, 995], [1557, 996], [1558, 997], [1560, 998], [1561, 999], [1563, 1000], [1565, 1001], [1566, 1002], [1568, 1003], [1570, 1004], [1571, 1005], [1573, 1006], [1575, 1007], [1577, 1008], [1578, 1009], [1580, 1010], [1581, 1011], [1583, 1012], [1585, 1013], [1586, 1014], [1588, 1015], [1589, 1016], [1590, 1017], [1592, 1018], [1593, 1019], [1595, 1020], [1597, 1021], [1598, 1022], [1600, 1023], [1602, 1024], [1604, 1025], [1606, 1026], [1607, 1027], [1609, 1028], [1610, 1029], [1612, 1030], [1613, 1031], [1615, 1032], [1617, 1033], [1618, 1034], [1620, 1035], [1621, 1036], [1623, 1037], [1625, 1038], [1626, 1039], [1628, 1040], [1630, 1041], [1631, 1042], [1633, 1043], [1634, 1044], [1636, 1045], [1638, 1046], [1639, 1047], [1641, 1048], [1643, 1049], [1644, 1050], [1646, 1051], [1648, 1052], [1649, 1053], [1651, 1054], [1653, 1055], [1654, 1056], [1656, 1057], [1657, 1058], [1659, 1059], [1661, 1060], [1662, 1061], [1664, 1062], [1665, 1063], [1667, 1064], [1668, 1065], [1670, 1066], [1672, 1067], [1673, 1068], [1675, 1069], [1676, 1070], [1678, 1071], [1680, 1072], [1681, 1073], [1683, 1074], [1685, 1075], [1686, 1076], [1688, 1077], [1690, 1078], [1691, 1079], [1693, 1080], [1694, 1081], [1696, 1082], [1698, 1083], [1700, 1084], [1701, 1085], [1703, 1086], [1705, 1087], [1706, 1088], [1708, 1089], [1710, 1090], [1712, 1091], [1713, 1092], [1715, 1093], [1716, 1094], [1718, 1095], [1719, 1096], [1721, 1097], [1722, 1098], [1724, 1099], [1725, 1100], [1727, 1101], [1729, 1102], [1730, 1103], [1732, 1104], [1734, 1105], [1735, 1106], [1737, 1107], [1738, 1108], [1740, 1109], [1742, 1110], [1743, 1111], [1745, 1112], [1746, 1113], [1748, 1114], [1750, 1115], [1751, 1116], [1753, 1117], [1755, 1118], [1756, 1119], [1758, 1120], [1759, 1121], [1761, 1122], [1763, 1123], [1764, 1124], [1766, 1125], [1767, 1126], [1769, 1127], [1771, 1128], [1772, 1129], [1774, 1130], [1776, 1131], [1777, 1132], [1779, 1133], [1780, 1134], [1782, 1135], [1784, 1136], [1785, 1137], [1787, 1138], [1789, 1139], [1790, 1140], [1792, 1141], [1793, 1142], [1795, 1143], [1797, 1144], [1798, 1145], [1800, 1146], [1801, 1147], [1803, 1148], [1805, 1149], [1806, 1150], [1808, 1151], [1810, 1152], [1811, 1153], [1813, 1154], [1814, 1155], [1816, 1156], [1818, 1157], [1819, 1158], [1821, 1159], [1823, 1160], [1824, 1161], [1826, 1162], [1827, 1163], [1829, 1164], [1831, 1165], [1832, 1166], [1834, 1167], [1835, 1168], [1837, 1169], [1839, 1170], [1840, 1171], [1842, 1172], [1844, 1173], [1845, 1174], [1847, 1175], [1848, 1176], [1850, 1177], [1852, 1178], [1853, 1179], [1855, 1180], [1857, 1181], [1858, 1182], [1860, 1183], [1861, 1184], [1863, 1185], [1865, 1186], [1866, 1187], [1868, 1188], [1869, 1189], [1871, 1190], [1873, 1191], [1874, 1192], [1876, 1193], [1878, 1194], [1879, 1195], [1881, 1196], [1882, 1197], [1884, 1198], [1886, 1199], [1887, 1200], [1889, 1201], [1891, 1202], [1892, 1203], [1894, 1204], [1895, 1205], [1897, 1206], [1899, 1207], [1900, 1208], [1902, 1209], [1903, 1210], [1905, 1211], [1907, 1212], [1908, 1213], [1910, 1214], [1912, 1215], [1913, 1216], [1915, 1217], [1916, 1218], [1918, 1219], [1920, 1220], [1921, 1221], [1923, 1222], [1924, 1223], [1926, 1224], [1928, 1225], [1929, 1226], [1931, 1227], [1933, 1228], [1934, 1229], [1936, 1230], [1937, 1231], [1939, 1232], [1941, 1233], [1942, 1234], [1944, 1235], [1946, 1236], [1947, 1237], [1949, 1238], [1950, 1239], [1952, 1240], [1954, 1241], [1955, 1242], [1957, 1243], [1958, 1244], [1960, 1245], [1962, 1246], [1963, 1247], [1965, 1248], [1967, 1249], [1968, 1250], [1970, 1251], [1971, 1252], [1973, 1253], [1975, 1254], [1976, 1255], [1978, 1256], [1980, 1257], [1981, 1258], [1983, 1259], [1984, 1260], [1986, 1261], [1988, 1262], [1989, 1263], [1991, 1264], [1992, 1265], [1994, 1266], [1996, 1267], [1997, 1268], [1999, 1269], [2001, 1270], [2002, 1271], [2004, 1272], [2005, 1273], [2007, 1274], [2009, 1275], [2010, 1276], [2012, 1277], [2014, 1278], [2015, 1279], [2017, 1280], [2018, 1281], [2020, 1282], [2022, 1283], [2023, 1284], [2025, 1285], [2026, 1286], [2028, 1287], [2030, 1288], [2031, 1289], [2033, 1290], [2035, 1291], [2036, 1292], [2038, 1293], [2039, 1294], [2041, 1295], [2043, 1296], [2044, 1297], [2046, 1298], [2048, 1299], [2049, 1300], [2051, 1301], [2052, 1302], [2054, 1303], [2056, 1304], [2057, 1305], [2059, 1306], [2060, 1307], [2062, 1308], [2064, 1309], [2065, 1310], [2067, 1311], [2069, 1312], [2070, 1313], [2072, 1314], [2073, 1315], [2075, 1316], [2077, 1317], [2078, 1318], [2080, 1319], [2082, 1320], [2083, 1321], [2085, 1322], [2086, 1323], [2088, 1324], [2090, 1325], [2091, 1326], [2093, 1327], [2094, 1328], [2096, 1329], [2098, 1330], [2099, 1331], [2101, 1332], [2103, 1333], [2104, 1334], [2106, 1335], [2107, 1336], [2109, 1337], [2111, 1338], [2112, 1339], [2114, 1340], [2116, 1341], [2117, 1342], [2119, 1343], [2120, 1344], [2122, 1345], [2124, 1346], [2125, 1347], [2127, 1348], [2128, 1349], [2130, 1350], [2132, 1351], [2133, 1352], [2135, 1353], [2137, 1354], [2138, 1355], [2140, 1356], [2141, 1357], [2143, 1358], [2145, 1359], [2146, 1360], [2148, 1361], [2150, 1362], [2151, 1363], [2153, 1364], [2154, 1365], [2156, 1366], [2158, 1367], [2159, 1368], [2161, 1369], [2162, 1370], [2164, 1371], [2166, 1372], [2167, 1373], [2169, 1374], [2171, 1375], [2172, 1376], [2174, 1377], [2175, 1378], [2177, 1379], [2179, 1380], [2180, 1381], [2182, 1382], [2183, 1383], [2185, 1384], [2187, 1385], [2188, 1386], [2190, 1387], [2191, 1388], [2193, 1389], [2195, 1390], [2196, 1391], [2198, 1392], [2200, 1393], [2201, 1394], [2203, 1395], [2204, 1396], [2206, 1397], [2208, 1398], [2209, 1399], [2211, 1400], [2213, 1401], [2214, 1402], [2216, 1403], [2218, 1404], [2219, 1405], [2221, 1406], [2222, 1407], [2224, 1408], [2226, 1409], [2227, 1410], [2229, 1411], [2230, 1412], [2232, 1413], [2234, 1414], [2235, 1415], [2237, 1416], [2238, 1417], [2240, 1418], [2242, 1419], [2243, 1420], [2245, 1421], [2247, 1422], [2248, 1423], [2250, 1424], [2251, 1425], [2253, 1426], [2255, 1427], [2256, 1428], [2258, 1429], [2260, 1430], [2261, 1431], [2263, 1432], [2264, 1433], [2266, 1434], [2268, 1435], [2269, 1436], [2271, 1437], [2272, 1438], [2274, 1439], [2276, 1440], [2277, 1441], [2279, 1442], [2281, 1443], [2282, 1444], [2284, 1445], [2285, 1446], [2287, 1447], [2289, 1448], [2290, 1449], [2292, 1450], [2293, 1451], [2295, 1452], [2297, 1453], [2298, 1454], [2300, 1455], [2302, 1456], [2303, 1457], [2305, 1458], [2306, 1459], [2308, 1460], [2310, 1461], [2311, 1462], [2313, 1463], [2315, 1464], [2316, 1465], [2318, 1466], [2319, 1467], [2321, 1468], [2323, 1469], [2324, 1470], [2326, 1471], [2327, 1472], [2329, 1473], [2331, 1474], [2332, 1475], [2334, 1476], [2336, 1477], [2337, 1478], [2339, 1479], [2340, 1480], [2342, 1481], [2344, 1482], [2345, 1483], [2347, 1484], [2349, 1485], [2350, 1486], [2352, 1487], [2353, 1488], [2355, 1489], [2357, 1490], [2358, 1491], [2360, 1492], [2361, 1493], [2363, 1494], [2365, 1495], [2366, 1496], [2368, 1497], [2370, 1498], [2371, 1499], [2373, 1500], [2374, 1501], [2376, 1502], [2378, 1503], [2379, 1504], [2381, 1505], [2383, 1506], [2384, 1507], [2386, 1508], [2387, 1509], [2389, 1510], [2391, 1511], [2392, 1512], [2394, 1513], [2395, 1514], [2397, 1515], [2399, 1516], [2400, 1517], [2402, 1518], [2404, 1519], [2405, 1520], [2407, 1521], [2408, 1522], [2410, 1523], [2412, 1524], [2413, 1525], [2415, 1526], [2417, 1527], [2418, 1528], [2420, 1529], [2421, 1530], [2423, 1531], [2425, 1532], [2426, 1533], [2428, 1534], [2429, 1535], [2431, 1536], [2433, 1537], [2434, 1538], [2436, 1539], [2438, 1540], [2439, 1541], [2441, 1542], [2442, 1543], [2444, 1544], [2446, 1545], [2447, 1546], [2449, 1547], [2451, 1548], [2452, 1549], [2454, 1550], [2455, 1551], [2457, 1552], [2459, 1553], [2460, 1554], [2462, 1555], [2463, 1556], [2465, 1557], [2467, 1558], [2468, 1559], [2470, 1560], [2472, 1561], [2473, 1562], [2475, 1563], [2476, 1564], [2478, 1565], [2480, 1566], [2481, 1567], [2483, 1568], [2485, 1569], [2486, 1570], [2488, 1571], [2489, 1572], [2491, 1573], [2493, 1574], [2494, 1575], [2496, 1576], [2497, 1577], [2499, 1578], [2501, 1579], [2502, 1580], [2504, 1581], [2506, 1582], [2507, 1583], [2509, 1584], [2510, 1585], [2512, 1586], [2514, 1587], [2515, 1588], [2517, 1589], [2518, 1590], [2520, 1591], [2522, 1592], [2523, 1593], [2525, 1594], [2527, 1595], [2528, 1596], [2530, 1597], [2531, 1598], [2533, 1599], [2535, 1600], [2536, 1601], [2538, 1602], [2540, 1603], [2541, 1604], [2543, 1605], [2544, 1606], [2546, 1607], [2548, 1608], [2549, 1609], [2551, 1610], [2552, 1611], [2554, 1612], [2556, 1613], [2557, 1614], [2559, 1615], [2561, 1616], [2562, 1617], [2564, 1618], [2565, 1619], [2567, 1620], [2569, 1621], [2570, 1622], [2572, 1623], [2573, 1624], [2575, 1625], [2577, 1626], [2578, 1627], [2580, 1628], [2581, 1629], [2583, 1630], [2584, 1631], [2586, 1632], [2588, 1633], [2589, 1634], [2591, 1635], [2593, 1636], [2594, 1637], [2596, 1638], [2597, 1639], [2599, 1640], [2601, 1641], [2602, 1642], [2604, 1643], [2606, 1644], [2608, 1645], [2609, 1646], [2611, 1647], [2613, 1648], [2614, 1649], [2616, 1650], [2617, 1651], [2619, 1652], [2621, 1653], [2622, 1654], [2624, 1655], [2625, 1656], [2627, 1657], [2628, 1658], [2630, 1659], [2631, 1660], [2633, 1661], [2635, 1662], [2636, 1663], [2638, 1664], [2640, 1665], [2641, 1666], [2643, 1667], [2645, 1668], [2646, 1669], [2648, 1670], [2649, 1671], [2651, 1672], [2653, 1673], [2654, 1674], [2656, 1675], [2658, 1676], [2659, 1677], [2661, 1678], [2662, 1679], [2664, 1680], [2666, 1681], [2667, 1682], [2669, 1683], [2670, 1684], [2672, 1685], [2674, 1686], [2675, 1687], [2677, 1688], [2679, 1689], [2680, 1690], [2682, 1691], [2683, 1692], [2685, 1693], [2687, 1694], [2688, 1695], [2690, 1696], [2691, 1697], [2693, 1698], [2695, 1699], [2696, 1700], [2698, 1701], [2699, 1702], [2701, 1703], [2703, 1704], [2704, 1705], [2706, 1706], [2707, 1707], [2709, 1708], [2711, 1709], [2712, 1710], [2714, 1711], [2716, 1712], [2717, 1713], [2719, 1714], [2720, 1715], [2722, 1716], [2724, 1717], [2725, 1718], [2727, 1719], [2729, 1720], [2730, 1721], [2732, 1722], [2734, 1723], [2735, 1724], [2737, 1725], [2738, 1726], [2740, 1727], [2742, 1728], [2743, 1729], [2745, 1730], [2747, 1731], [2748, 1732], [2750, 1733], [2751, 1734], [2753, 1735], [2755, 1736], [2756, 1737], [2758, 1738], [2759, 1739], [2761, 1740], [2763, 1741], [2764, 1742], [2766, 1743], [2767, 1744], [2769, 1745], [2771, 1746], [2772, 1747], [2774, 1748], [2776, 1749], [2777, 1750], [2779, 1751], [2780, 1752], [2782, 1753], [2783, 1754], [2785, 1755], [2787, 1756], [2788, 1757], [2790, 1758], [2791, 1759], [2793, 1760], [2795, 1761], [2796, 1762], [2798, 1763], [2799, 1764], [2801, 1765], [2802, 1766], [2804, 1767], [2806, 1768], [2807, 1769], [2809, 1770], [2811, 1771]]: PPos[9]:=[[0, 17], [1, 6], [2, 21], [3, 22], [5, 23], [8, 28], [9, 29], [10, 31], [12, 32], [13, 33], [14, 34], [16, 35], [18, 38], [19, 39], [20, 40], [21, 41], [22, 42], [24, 43], [26, 45], [27, 46], [29, 47], [30, 49], [31, 50], [32, 51], [33, 52], [34, 53], [35, 54], [37, 55], [39, 56], [40, 57], [42, 58], [43, 59], [45, 60], [47, 61], [49, 63], [50, 64], [52, 65], [53, 66], [54, 67], [55, 68], [57, 69], [59, 70], [61, 71], [63, 72], [65, 73], [66, 74], [68, 75], [69, 76], [70, 77], [72, 78], [74, 79], [75, 80], [77, 81], [78, 82], [80, 83], [82, 84], [84, 85], [86, 86], [88, 87], [90, 88], [91, 89], [93, 90], [94, 91], [96, 92], [98, 93], [99, 94], [101, 95], [103, 96], [104, 97], [106, 98], [107, 99], [109, 100], [110, 101], [111, 102], [113, 103], [115, 104], [116, 105], [118, 106], [120, 107], [122, 108], [124, 109], [125, 110], [127, 111], [128, 112], [130, 113], [131, 114], [133, 115], [134, 116], [136, 117], [137, 118], [139, 119], [141, 120], [142, 121], [144, 122], [146, 123], [148, 124], [149, 125], [151, 126], [152, 127], [154, 128], [156, 129], [157, 130], [159, 131], [161, 132], [162, 133], [164, 134], [165, 135], [167, 136], [168, 137], [170, 138], [171, 139], [173, 140], [174, 141], [176, 142], [177, 143], [179, 144], [181, 145], [182, 146], [184, 147], [186, 148], [187, 149], [189, 150], [190, 151], [192, 152], [194, 153], [195, 154], [197, 155], [198, 156], [200, 157], [202, 158], [203, 159], [205, 160], [207, 161], [208, 162], [210, 163], [212, 164], [214, 165], [215, 166], [217, 167], [218, 168], [220, 169], [222, 170], [223, 171], [225, 172], [226, 173], [228, 174], [229, 175], [231, 176], [232, 177], [234, 178], [236, 179], [237, 180], [239, 181], [241, 182], [242, 183], [244, 184], [246, 185], [247, 186], [249, 187], [251, 188], [252, 189], [254, 190], [256, 191], [257, 192], [259, 193], [260, 194], [262, 195], [264, 196], [265, 197], [267, 198], [268, 199], [270, 200], [271, 201], [273, 202], [275, 203], [276, 204], [278, 205], [280, 206], [281, 207], [283, 208], [284, 209], [286, 210], [288, 211], [289, 212], [291, 213], [292, 214], [294, 215], [296, 216], [297, 217], [299, 218], [301, 219], [302, 220], [304, 221], [306, 222], [307, 223], [309, 224], [311, 225], [312, 226], [314, 227], [316, 228], [317, 229], [319, 230], [321, 231], [322, 232], [324, 233], [325, 234], [327, 235], [329, 236], [330, 237], [332, 238], [333, 239], [335, 240], [337, 241], [338, 242], [340, 243], [342, 244], [343, 245], [345, 246], [346, 247], [348, 248], [350, 249], [351, 250], [353, 251], [355, 252], [356, 253], [358, 255], [359, 256], [361, 257], [363, 258], [364, 259], [366, 260], [367, 261], [369, 262], [371, 263], [372, 264], [374, 265], [375, 266], [377, 267], [378, 268], [380, 269], [382, 270], [383, 271], [385, 272], [387, 273], [388, 274], [390, 275], [391, 276], [393, 277], [395, 278], [396, 279], [398, 280], [400, 281], [401, 282], [403, 283], [405, 284], [406, 285], [408, 286], [410, 287], [411, 288], [413, 289], [414, 290], [416, 291], [418, 292], [419, 293], [421, 294], [422, 295], [424, 296], [426, 297], [427, 298], [429, 299], [430, 300], [432, 301], [434, 302], [435, 303], [437, 304], [438, 305], [440, 306], [442, 307], [443, 308], [445, 309], [446, 310], [448, 311], [450, 312], [451, 313], [453, 314], [455, 315], [456, 316], [458, 317], [459, 318], [461, 319], [463, 320], [464, 321], [466, 322], [468, 323], [469, 324], [471, 325], [473, 326], [474, 327], [476, 328], [477, 329], [479, 330], [481, 331], [482, 332], [484, 333], [485, 334], [487, 335], [489, 336], [490, 337], [492, 338], [494, 339], [495, 340], [497, 341], [498, 342], [500, 343], [502, 344], [503, 345], [505, 346], [507, 347], [508, 348], [510, 349], [511, 350], [513, 351], [515, 352], [516, 353], [518, 354], [519, 355], [521, 356], [523, 357], [524, 358], [526, 359], [527, 360], [529, 361], [531, 362], [532, 363], [534, 364], [535, 365], [537, 366], [539, 367], [540, 368], [542, 369], [543, 370], [545, 371], [547, 372], [548, 373], [550, 374], [551, 375], [553, 376], [555, 377], [556, 378], [558, 379], [560, 380], [561, 381], [563, 382], [564, 383], [566, 384], [568, 385], [569, 386], [571, 387], [573, 389], [574, 390], [576, 391], [577, 392], [579, 393], [581, 394], [582, 395], [584, 396], [585, 397], [587, 398], [589, 399], [590, 400], [592, 401], [594, 402], [595, 403], [597, 404], [598, 405], [600, 406], [602, 407], [603, 408], [605, 409], [606, 410], [608, 411], [610, 412], [611, 413], [612, 414], [614, 415], [616, 416], [617, 417], [619, 418], [620, 419], [622, 420], [624, 422], [625, 423], [627, 424], [629, 425], [630, 426], [632, 427], [633, 428], [635, 429], [637, 430], [638, 431], [640, 432], [642, 433], [643, 434], [645, 435], [647, 436], [648, 437], [650, 438], [651, 439], [653, 440], [655, 441], [656, 442], [658, 443], [659, 444], [661, 445], [663, 446], [664, 447], [666, 448], [668, 449], [669, 450], [671, 451], [672, 452], [674, 453], [676, 454], [677, 455], [679, 456], [680, 457], [682, 458], [684, 459], [685, 460], [687, 461], [688, 462], [690, 463], [692, 464], [693, 465], [695, 466], [696, 467], [698, 468], [700, 469], [701, 470], [703, 471], [705, 472], [706, 473], [708, 474], [709, 475], [711, 476], [713, 477], [714, 478], [716, 479], [718, 480], [719, 481], [721, 482], [722, 483], [724, 484], [726, 485], [727, 486], [729, 487], [731, 488], [732, 489], [734, 490], [735, 491], [737, 492], [739, 493], [740, 494], [742, 495], [744, 496], [745, 497], [747, 498], [748, 499], [750, 500], [752, 501], [753, 502], [755, 503], [757, 504], [758, 505], [760, 506], [761, 507], [763, 508], [765, 509], [766, 510], [768, 511], [769, 512], [771, 513], [773, 514], [774, 515], [776, 516], [778, 517], [779, 518], [781, 519], [782, 520], [784, 521], [786, 522], [787, 523], [789, 524], [790, 525], [792, 526], [794, 527], [795, 528], [797, 529], [798, 530], [800, 531], [802, 532], [803, 533], [805, 534], [807, 535], [808, 536], [810, 537], [811, 538], [813, 539], [815, 540], [816, 541], [818, 542], [820, 543], [821, 544], [823, 545], [824, 546], [826, 547], [828, 548], [829, 549], [831, 550], [832, 551], [834, 552], [836, 553], [837, 554], [839, 555], [841, 556], [842, 557], [844, 558], [845, 559], [847, 560], [849, 561], [850, 562], [852, 563], [853, 564], [855, 565], [857, 566], [858, 567], [860, 568], [862, 569], [863, 570], [865, 571], [866, 572], [868, 573], [870, 574], [871, 575], [873, 576], [875, 577], [876, 578], [878, 579], [879, 580], [881, 581], [883, 582], [884, 583], [886, 584], [888, 585], [889, 586], [891, 587], [892, 588], [894, 589], [896, 590], [897, 591], [899, 592], [901, 593], [902, 594], [904, 595], [905, 596], [907, 597], [909, 598], [910, 599], [912, 600], [914, 601], [915, 602], [917, 603], [918, 604], [920, 605], [922, 606], [923, 607], [925, 608], [927, 609], [928, 610], [930, 611], [931, 612], [933, 613], [935, 614], [936, 615], [938, 616], [939, 617], [941, 618], [943, 619], [944, 620], [946, 621], [948, 622], [949, 623], [951, 624], [952, 625], [954, 626], [956, 627], [957, 628], [959, 629], [960, 630], [961, 631], [963, 632], [965, 633], [966, 634], [968, 635], [970, 636], [971, 637], [973, 638], [974, 639], [976, 640], [978, 641], [979, 642], [981, 643], [983, 644], [984, 645], [986, 646], [987, 647], [989, 648], [991, 649], [992, 650], [994, 651], [995, 652], [997, 653], [999, 654], [1000, 655], [1002, 656], [1004, 657], [1005, 658], [1007, 659], [1008, 660], [1010, 661], [1012, 662], [1013, 663], [1015, 664], [1017, 665], [1018, 666], [1020, 667], [1021, 668], [1023, 669], [1025, 670], [1027, 671], [1028, 672], [1030, 673], [1031, 674], [1033, 675], [1035, 677], [1036, 678], [1038, 679], [1040, 680], [1041, 681], [1043, 682], [1044, 683], [1045, 684], [1047, 685], [1049, 686], [1050, 687], [1052, 688], [1053, 689], [1055, 690], [1057, 691], [1058, 692], [1060, 693], [1062, 694], [1063, 695], [1065, 696], [1066, 697], [1068, 698], [1070, 699], [1071, 700], [1073, 701], [1074, 702], [1076, 703], [1078, 704], [1079, 705], [1081, 706], [1082, 707], [1084, 708], [1086, 709], [1087, 710], [1089, 711], [1091, 712], [1092, 713], [1094, 714], [1095, 715], [1097, 716], [1099, 717], [1100, 718], [1102, 719], [1104, 720], [1105, 721], [1107, 722], [1108, 723], [1110, 724], [1112, 725], [1113, 726], [1115, 727], [1116, 728], [1118, 729], [1120, 730], [1121, 731], [1123, 732], [1125, 733], [1126, 734], [1128, 735], [1129, 736], [1131, 737], [1133, 738], [1134, 739], [1136, 740], [1138, 741], [1139, 742], [1141, 743], [1142, 744], [1144, 745], [1146, 746], [1147, 747], [1149, 748], [1151, 749], [1152, 750], [1154, 751], [1155, 752], [1157, 753], [1159, 754], [1160, 755], [1162, 756], [1164, 757], [1165, 758], [1167, 759], [1168, 760], [1170, 761], [1172, 762], [1173, 763], [1175, 764], [1176, 765], [1178, 766], [1180, 767], [1181, 768], [1183, 769], [1185, 770], [1186, 771], [1188, 772], [1189, 773], [1191, 774], [1193, 775], [1194, 776], [1196, 777], [1197, 778], [1199, 779], [1201, 780], [1202, 781], [1204, 782], [1206, 783], [1207, 784], [1209, 785], [1210, 786], [1212, 787], [1214, 788], [1215, 789], [1217, 790], [1218, 791], [1220, 792], [1222, 793], [1223, 794], [1225, 795], [1227, 796], [1228, 797], [1230, 798], [1231, 799], [1233, 800], [1235, 801], [1236, 802], [1238, 803], [1239, 804], [1241, 805], [1243, 806], [1244, 807], [1246, 808], [1248, 809], [1249, 810], [1251, 811], [1252, 812], [1254, 813], [1256, 814], [1257, 815], [1259, 816], [1260, 817], [1262, 818], [1264, 819], [1265, 820], [1267, 821], [1269, 822], [1270, 823], [1272, 824], [1273, 825], [1275, 826], [1277, 827], [1278, 828], [1280, 829], [1282, 830], [1283, 831], [1285, 832], [1286, 833], [1288, 834], [1290, 835], [1291, 836], [1293, 837], [1294, 838], [1296, 839], [1298, 840], [1299, 841], [1301, 842], [1303, 843], [1304, 844], [1306, 845], [1307, 846], [1309, 847], [1311, 848], [1312, 849], [1314, 850], [1316, 851], [1317, 852], [1319, 853], [1320, 854], [1322, 855], [1324, 856], [1325, 857], [1327, 858], [1329, 859], [1330, 860], [1332, 861], [1333, 862], [1335, 863], [1337, 864], [1338, 865], [1340, 866], [1341, 867], [1343, 868], [1345, 869], [1346, 870], [1348, 871], [1350, 872], [1351, 873], [1353, 874], [1354, 875], [1356, 876], [1358, 877], [1359, 878], [1361, 879], [1362, 880], [1364, 881], [1366, 882], [1367, 883], [1369, 884], [1371, 885], [1372, 886], [1374, 887], [1375, 888], [1377, 889], [1379, 890], [1380, 891], [1382, 892], [1384, 893], [1385, 894], [1387, 895], [1388, 896], [1390, 897], [1392, 898], [1393, 899], [1395, 900], [1396, 901], [1398, 902], [1400, 903], [1401, 904], [1403, 905], [1405, 906], [1406, 907], [1408, 908], [1409, 909], [1411, 910], [1413, 911], [1414, 912], [1416, 913], [1418, 914], [1419, 915], [1421, 916], [1422, 917], [1424, 918], [1426, 919], [1427, 920], [1429, 921], [1430, 922], [1432, 923], [1434, 924], [1435, 925], [1437, 926], [1439, 927], [1440, 928], [1442, 929], [1443, 930], [1445, 931], [1447, 932], [1448, 933], [1450, 934], [1451, 935], [1453, 936], [1455, 937], [1456, 938], [1458, 939], [1460, 940], [1461, 941], [1463, 942], [1464, 943], [1466, 944], [1468, 945], [1469, 946], [1471, 947], [1472, 948], [1474, 949], [1476, 950], [1477, 951], [1479, 952], [1481, 953], [1482, 954], [1484, 955], [1485, 956], [1487, 957], [1489, 958], [1490, 959], [1492, 960], [1493, 961], [1495, 962], [1497, 963], [1498, 964], [1500, 965], [1502, 966], [1503, 967], [1505, 968], [1506, 969], [1508, 970], [1510, 971], [1511, 972], [1513, 973], [1514, 974], [1516, 975], [1518, 976], [1519, 977], [1521, 978], [1523, 979], [1524, 980], [1526, 981], [1527, 982], [1529, 983], [1531, 984], [1532, 985], [1534, 986], [1535, 987], [1537, 988], [1539, 989], [1540, 990], [1542, 991], [1544, 992], [1545, 993], [1547, 994], [1548, 995], [1550, 996], [1552, 997], [1553, 998], [1555, 999], [1557, 1000], [1558, 1001], [1560, 1002], [1561, 1003], [1563, 1004], [1565, 1005], [1566, 1006], [1568, 1007], [1569, 1008], [1571, 1009], [1573, 1010], [1574, 1011], [1576, 1012], [1578, 1013], [1579, 1014], [1581, 1015], [1582, 1016], [1584, 1017], [1586, 1018], [1587, 1019], [1589, 1020], [1591, 1021], [1593, 1022], [1594, 1023], [1596, 1024], [1597, 1025], [1599, 1026], [1601, 1027], [1602, 1028], [1604, 1029], [1605, 1030], [1607, 1031], [1609, 1032], [1610, 1033], [1612, 1034], [1614, 1035], [1615, 1036], [1617, 1037], [1618, 1038], [1620, 1039], [1622, 1040], [1623, 1041], [1625, 1042], [1626, 1043], [1628, 1044], [1630, 1045], [1631, 1046], [1633, 1047], [1635, 1048], [1636, 1049], [1638, 1050], [1639, 1051], [1641, 1052], [1643, 1053], [1644, 1054], [1646, 1055], [1648, 1056], [1649, 1057], [1651, 1058], [1652, 1059], [1654, 1060], [1656, 1061], [1657, 1062], [1659, 1063], [1660, 1064], [1662, 1065], [1664, 1066], [1665, 1067], [1667, 1068], [1669, 1069], [1670, 1070], [1672, 1071], [1673, 1072], [1675, 1073], [1677, 1074], [1678, 1075], [1680, 1076], [1681, 1077], [1683, 1078], [1685, 1079], [1686, 1080], [1688, 1081], [1690, 1082], [1691, 1083], [1693, 1084], [1694, 1085], [1696, 1086], [1697, 1087], [1699, 1088], [1701, 1089], [1702, 1090], [1704, 1091], [1706, 1092], [1707, 1093], [1709, 1094], [1710, 1095], [1711, 1096], [1713, 1097], [1715, 1098], [1716, 1099], [1718, 1100], [1719, 1101], [1721, 1102], [1723, 1103], [1724, 1104], [1726, 1105], [1728, 1106], [1730, 1107], [1731, 1108], [1733, 1109], [1734, 1110], [1736, 1111], [1738, 1112], [1739, 1113], [1741, 1114], [1743, 1115], [1744, 1116], [1746, 1117], [1747, 1118], [1749, 1119], [1751, 1120], [1752, 1121], [1754, 1122], [1755, 1123], [1757, 1124], [1759, 1125], [1760, 1126], [1762, 1127], [1764, 1128], [1765, 1129], [1767, 1130], [1768, 1131], [1770, 1132], [1772, 1133], [1773, 1134], [1775, 1135], [1777, 1136], [1778, 1137], [1780, 1138], [1781, 1139], [1783, 1140], [1785, 1141], [1786, 1142], [1788, 1143], [1790, 1144], [1791, 1145], [1793, 1146], [1794, 1147], [1796, 1148], [1798, 1149], [1799, 1150], [1801, 1151], [1802, 1152], [1804, 1153], [1806, 1154], [1807, 1155], [1809, 1156], [1811, 1157], [1812, 1158], [1814, 1159], [1815, 1160], [1817, 1161], [1819, 1162], [1820, 1163], [1822, 1164], [1823, 1165], [1825, 1166], [1827, 1167], [1828, 1168], [1830, 1169], [1832, 1170], [1833, 1171], [1835, 1172], [1836, 1173], [1838, 1174], [1840, 1175], [1841, 1176], [1843, 1177], [1845, 1178], [1846, 1179], [1848, 1180], [1849, 1181], [1851, 1182], [1853, 1183], [1854, 1184], [1856, 1185], [1857, 1186], [1859, 1187], [1861, 1188], [1862, 1189], [1864, 1190], [1866, 1191], [1867, 1192], [1869, 1193], [1870, 1194], [1872, 1195], [1874, 1196], [1875, 1197], [1877, 1198], [1878, 1199], [1880, 1200], [1882, 1201], [1883, 1202], [1885, 1203], [1887, 1204], [1888, 1205], [1890, 1206], [1891, 1207], [1893, 1208], [1895, 1209], [1896, 1210], [1898, 1211], [1899, 1212], [1901, 1213], [1903, 1214], [1904, 1215], [1906, 1216], [1908, 1217], [1909, 1218], [1911, 1219], [1912, 1220], [1914, 1221], [1916, 1222], [1917, 1223], [1919, 1224], [1920, 1225], [1922, 1226], [1924, 1227], [1925, 1228], [1927, 1229], [1929, 1230], [1930, 1231], [1932, 1232], [1933, 1233], [1935, 1234], [1937, 1235], [1938, 1236], [1940, 1237], [1942, 1238], [1943, 1239], [1945, 1240], [1946, 1241], [1948, 1242], [1950, 1243], [1951, 1244], [1953, 1245], [1954, 1246], [1956, 1247], [1958, 1248], [1959, 1249], [1961, 1250], [1963, 1251], [1964, 1252], [1966, 1253], [1967, 1254], [1969, 1255], [1971, 1256], [1972, 1257], [1974, 1258], [1976, 1259], [1977, 1260], [1979, 1261], [1980, 1262], [1982, 1263], [1984, 1264], [1985, 1265], [1987, 1266], [1988, 1267], [1990, 1268], [1992, 1269], [1993, 1270], [1995, 1271], [1997, 1272], [1998, 1273], [2000, 1274], [2001, 1275], [2003, 1276], [2005, 1277], [2006, 1278], [2008, 1279], [2010, 1280], [2011, 1281], [2013, 1282], [2014, 1283], [2016, 1284], [2018, 1285], [2019, 1286], [2021, 1287], [2022, 1288], [2024, 1289], [2026, 1290], [2027, 1291], [2029, 1292], [2031, 1293], [2032, 1294], [2034, 1295], [2035, 1296], [2037, 1297], [2039, 1298], [2040, 1299], [2042, 1300], [2044, 1301], [2045, 1302], [2047, 1303], [2048, 1304], [2050, 1305], [2052, 1306], [2053, 1307], [2055, 1308], [2056, 1309], [2058, 1310], [2060, 1311], [2061, 1312], [2063, 1313], [2065, 1314], [2066, 1315], [2068, 1316], [2069, 1317], [2071, 1318], [2073, 1319], [2074, 1320], [2076, 1321], [2078, 1322], [2079, 1323], [2081, 1324], [2082, 1325], [2084, 1326], [2086, 1327], [2087, 1328], [2089, 1329], [2090, 1330], [2092, 1331], [2094, 1332], [2095, 1333], [2097, 1334], [2099, 1335], [2100, 1336], [2102, 1337], [2103, 1338], [2105, 1339], [2107, 1340], [2108, 1341], [2110, 1342], [2111, 1343], [2113, 1344], [2115, 1345], [2116, 1346], [2118, 1347], [2120, 1348], [2121, 1349], [2123, 1350], [2124, 1351], [2126, 1352], [2128, 1353], [2129, 1354], [2131, 1355], [2133, 1356], [2134, 1357], [2136, 1358], [2137, 1359], [2139, 1360], [2141, 1361], [2142, 1362], [2144, 1363], [2145, 1364], [2147, 1365], [2149, 1366], [2150, 1367], [2152, 1368], [2154, 1369], [2155, 1370], [2157, 1371], [2158, 1372], [2160, 1373], [2162, 1374], [2163, 1375], [2165, 1376], [2166, 1377], [2168, 1378], [2170, 1379], [2171, 1380], [2173, 1381], [2175, 1382], [2176, 1383], [2178, 1384], [2179, 1385], [2181, 1386], [2183, 1387], [2184, 1388], [2186, 1389], [2187, 1390], [2189, 1391], [2191, 1392], [2192, 1393], [2194, 1394], [2196, 1395], [2197, 1396], [2199, 1397], [2200, 1398], [2202, 1399], [2204, 1400], [2205, 1401], [2207, 1402], [2209, 1403], [2210, 1404], [2212, 1405], [2213, 1406], [2215, 1407], [2217, 1408], [2218, 1409], [2220, 1410], [2221, 1411], [2223, 1412], [2225, 1413], [2226, 1414], [2228, 1415], [2230, 1416], [2231, 1417], [2233, 1418], [2234, 1419], [2236, 1420], [2238, 1421], [2239, 1422], [2241, 1423], [2243, 1424], [2244, 1425], [2246, 1426], [2247, 1427], [2249, 1428], [2251, 1429], [2252, 1430], [2254, 1431], [2255, 1432], [2257, 1433], [2259, 1434], [2260, 1435], [2262, 1436], [2264, 1437], [2265, 1438], [2267, 1439], [2268, 1440], [2270, 1441], [2272, 1442], [2273, 1443], [2275, 1444], [2276, 1445], [2278, 1446], [2280, 1447], [2281, 1448], [2283, 1449], [2285, 1450], [2286, 1451], [2288, 1452], [2289, 1453], [2291, 1454], [2293, 1455], [2294, 1456], [2296, 1457], [2298, 1458], [2299, 1459], [2301, 1460], [2302, 1461], [2304, 1462], [2306, 1463], [2307, 1464], [2309, 1465], [2310, 1466], [2312, 1467], [2314, 1468], [2315, 1469], [2317, 1470], [2319, 1471], [2320, 1472], [2322, 1473], [2323, 1474], [2325, 1475], [2327, 1476], [2328, 1477], [2330, 1478], [2331, 1479], [2333, 1480], [2335, 1481], [2336, 1482], [2338, 1483], [2340, 1484], [2341, 1485], [2343, 1486], [2344, 1487], [2346, 1488], [2348, 1489], [2349, 1490], [2351, 1491], [2353, 1492], [2354, 1493], [2356, 1494], [2357, 1495], [2359, 1496], [2361, 1497], [2362, 1498], [2364, 1499], [2365, 1500], [2367, 1501], [2369, 1502], [2370, 1503], [2372, 1504], [2374, 1505], [2375, 1506], [2377, 1507], [2378, 1508], [2380, 1509], [2382, 1510], [2383, 1511], [2385, 1512], [2387, 1513], [2388, 1514], [2390, 1515], [2391, 1516], [2393, 1517], [2395, 1518], [2396, 1519], [2398, 1520], [2399, 1521], [2401, 1522], [2403, 1523], [2404, 1524], [2406, 1525], [2408, 1526], [2409, 1527], [2411, 1528], [2412, 1529], [2414, 1530], [2416, 1531], [2417, 1532], [2419, 1533], [2421, 1534], [2422, 1535], [2424, 1536], [2425, 1537], [2427, 1538], [2429, 1539], [2430, 1540], [2432, 1541], [2433, 1542], [2435, 1543], [2437, 1544], [2438, 1545], [2440, 1546], [2442, 1547], [2443, 1548], [2445, 1549], [2446, 1550], [2448, 1551], [2450, 1552], [2451, 1553], [2453, 1554], [2455, 1555], [2456, 1556], [2458, 1557], [2459, 1558], [2461, 1559], [2463, 1560], [2464, 1561], [2466, 1562], [2467, 1563], [2469, 1564], [2471, 1565], [2472, 1566], [2474, 1567], [2476, 1568], [2477, 1569], [2479, 1570], [2480, 1571], [2482, 1572], [2484, 1573], [2485, 1574], [2487, 1575], [2489, 1576], [2490, 1577], [2492, 1578], [2493, 1579], [2495, 1580], [2497, 1581], [2498, 1582], [2500, 1583], [2501, 1584], [2503, 1585], [2505, 1586], [2506, 1587], [2508, 1588], [2510, 1589], [2511, 1590], [2513, 1591], [2514, 1592], [2516, 1593], [2518, 1594], [2519, 1595], [2521, 1596], [2523, 1597], [2524, 1598], [2526, 1599], [2527, 1600], [2529, 1601], [2531, 1602], [2532, 1603], [2534, 1604], [2535, 1605], [2537, 1606], [2539, 1607], [2540, 1608], [2542, 1609], [2544, 1610], [2545, 1611], [2547, 1612], [2548, 1613], [2550, 1614], [2552, 1615], [2553, 1616], [2555, 1617], [2556, 1618], [2558, 1619], [2560, 1620], [2561, 1621], [2563, 1622], [2565, 1623], [2566, 1624], [2568, 1625], [2569, 1626], [2571, 1627], [2573, 1628], [2574, 1629], [2576, 1630], [2578, 1631], [2579, 1632], [2581, 1633], [2582, 1634], [2584, 1635], [2586, 1636], [2587, 1637], [2589, 1638], [2590, 1639], [2592, 1640], [2594, 1641], [2595, 1642], [2597, 1643], [2599, 1644], [2600, 1645], [2602, 1646], [2603, 1647], [2605, 1648], [2607, 1649], [2608, 1650], [2610, 1651], [2611, 1652], [2613, 1653], [2614, 1654], [2616, 1655], [2618, 1656], [2619, 1657], [2621, 1658], [2623, 1659], [2624, 1660], [2626, 1661], [2627, 1662], [2629, 1663], [2631, 1664], [2632, 1665], [2634, 1666], [2636, 1667], [2637, 1668], [2639, 1669], [2640, 1670], [2642, 1671], [2644, 1672], [2645, 1673], [2647, 1674], [2648, 1675], [2650, 1676], [2652, 1677], [2653, 1678], [2655, 1679], [2657, 1680], [2658, 1681], [2660, 1682], [2661, 1683], [2663, 1684], [2665, 1685], [2666, 1686], [2668, 1687], [2670, 1688], [2671, 1689], [2673, 1690], [2674, 1691], [2676, 1692], [2678, 1693], [2679, 1694], [2681, 1695], [2682, 1696], [2684, 1697], [2686, 1698], [2687, 1699], [2689, 1700], [2691, 1701], [2692, 1702], [2694, 1703], [2695, 1704], [2697, 1705], [2699, 1706], [2700, 1707], [2702, 1708], [2703, 1709], [2705, 1710], [2707, 1711], [2708, 1712], [2710, 1713], [2712, 1714], [2713, 1715], [2715, 1716], [2716, 1717], [2718, 1718], [2720, 1719], [2721, 1720], [2723, 1721], [2725, 1722], [2726, 1723], [2728, 1724], [2729, 1725], [2731, 1726], [2733, 1727], [2734, 1728], [2736, 1729], [2737, 1730], [2739, 1731], [2741, 1732], [2742, 1733], [2744, 1734], [2746, 1735], [2747, 1736], [2749, 1737], [2750, 1738], [2752, 1739], [2754, 1740], [2755, 1741], [2757, 1742], [2759, 1743], [2760, 1744], [2762, 1745], [2763, 1746], [2765, 1747], [2767, 1748], [2768, 1749], [2770, 1750], [2771, 1751], [2773, 1752], [2775, 1753], [2776, 1754], [2778, 1755], [2780, 1756], [2781, 1757], [2783, 1758], [2785, 1759], [2786, 1760], [2788, 1761], [2789, 1762], [2791, 1763], [2793, 1764], [2794, 1765], [2796, 1766], [2797, 1767], [2799, 1768], [2801, 1769], [2802, 1770], [2804, 1771], [2806, 1772], [2808, 1773], [2809, 1774], [2811, 1775]]: PPos[10]:=[[0, 4], [1, 23], [2, 24], [3, 8], [5, 26], [10, 33], [12, 35], [14, 36], [15, 37], [16, 38], [17, 40], [18, 41], [19, 42], [20, 43], [21, 44], [22, 45], [23, 46], [25, 47], [27, 48], [28, 49], [29, 51], [30, 52], [32, 54], [33, 55], [34, 56], [35, 57], [36, 58], [37, 59], [38, 60], [39, 61], [40, 62], [41, 63], [42, 64], [44, 65], [45, 66], [46, 67], [48, 68], [49, 69], [51, 70], [53, 71], [55, 72], [56, 73], [58, 74], [60, 75], [62, 76], [64, 77], [66, 78], [68, 79], [70, 80], [71, 81], [73, 82], [74, 83], [76, 84], [78, 85], [79, 86], [81, 87], [83, 88], [84, 89], [85, 90], [87, 91], [89, 92], [91, 93], [93, 94], [95, 95], [97, 96], [99, 97], [101, 98], [103, 99], [105, 100], [107, 101], [108, 102], [110, 104], [112, 105], [114, 106], [115, 107], [117, 108], [119, 109], [120, 110], [122, 111], [123, 112], [125, 113], [126, 114], [128, 115], [130, 116], [131, 117], [133, 118], [134, 119], [136, 120], [137, 121], [139, 122], [140, 123], [142, 124], [143, 125], [145, 126], [146, 127], [148, 128], [149, 129], [151, 130], [153, 131], [154, 132], [156, 133], [158, 134], [159, 135], [161, 136], [162, 137], [164, 138], [166, 139], [167, 140], [169, 141], [170, 142], [172, 143], [174, 144], [176, 145], [177, 146], [179, 147], [180, 148], [182, 149], [183, 150], [185, 151], [186, 152], [188, 153], [189, 154], [191, 155], [192, 156], [194, 157], [195, 158], [197, 159], [198, 160], [200, 161], [201, 162], [203, 163], [204, 164], [206, 165], [207, 166], [209, 167], [211, 168], [212, 169], [213, 170], [215, 171], [216, 172], [218, 173], [219, 174], [221, 175], [223, 176], [224, 177], [226, 178], [227, 179], [229, 180], [231, 181], [232, 182], [234, 183], [236, 184], [237, 185], [239, 186], [241, 187], [242, 188], [244, 189], [245, 190], [247, 191], [249, 192], [250, 193], [252, 194], [254, 195], [255, 196], [257, 197], [259, 198], [260, 199], [262, 200], [264, 201], [265, 202], [267, 203], [269, 204], [270, 205], [272, 206], [274, 207], [275, 208], [277, 209], [279, 210], [280, 211], [282, 212], [283, 213], [285, 214], [287, 215], [288, 216], [290, 217], [291, 218], [293, 219], [295, 220], [296, 221], [298, 222], [300, 223], [301, 224], [303, 225], [304, 226], [306, 227], [308, 228], [309, 229], [311, 230], [313, 231], [314, 232], [316, 233], [317, 234], [319, 235], [320, 236], [322, 237], [324, 238], [325, 239], [327, 240], [329, 241], [330, 242], [332, 243], [334, 244], [335, 245], [337, 246], [339, 247], [340, 248], [342, 249], [344, 250], [345, 251], [347, 252], [349, 253], [350, 254], [352, 255], [354, 256], [355, 257], [357, 258], [359, 259], [360, 260], [362, 261], [364, 262], [365, 263], [367, 264], [369, 265], [370, 266], [372, 267], [374, 268], [375, 269], [377, 270], [378, 271], [380, 272], [382, 273], [384, 274], [385, 275], [387, 276], [389, 277], [390, 278], [392, 279], [394, 280], [395, 281], [397, 282], [398, 283], [400, 284], [402, 285], [403, 286], [405, 287], [407, 288], [408, 289], [410, 290], [411, 291], [413, 292], [415, 293], [416, 294], [418, 295], [419, 296], [421, 297], [423, 298], [424, 299], [426, 300], [427, 301], [429, 302], [431, 303], [432, 304], [434, 305], [436, 306], [437, 307], [439, 308], [440, 309], [442, 310], [444, 311], [445, 312], [447, 313], [448, 314], [450, 315], [452, 316], [453, 317], [455, 318], [456, 319], [458, 320], [460, 321], [461, 322], [463, 323], [464, 324], [466, 325], [468, 326], [469, 327], [471, 328], [472, 329], [474, 330], [476, 331], [477, 332], [479, 333], [480, 334], [482, 335], [484, 336], [485, 337], [487, 338], [488, 339], [490, 340], [492, 341], [493, 342], [495, 343], [497, 344], [498, 345], [500, 346], [501, 347], [503, 348], [505, 349], [506, 350], [508, 351], [510, 352], [511, 353], [513, 354], [514, 355], [516, 356], [518, 357], [519, 358], [521, 359], [522, 360], [524, 361], [526, 362], [527, 363], [529, 364], [531, 365], [532, 366], [534, 367], [535, 368], [537, 369], [539, 370], [540, 371], [542, 372], [543, 373], [545, 374], [547, 375], [548, 376], [550, 377], [552, 378], [553, 379], [555, 380], [557, 381], [558, 382], [560, 383], [561, 384], [563, 385], [565, 386], [566, 387], [568, 388], [569, 389], [571, 390], [573, 392], [574, 393], [576, 394], [577, 395], [579, 396], [581, 397], [582, 398], [584, 399], [585, 400], [587, 401], [589, 402], [590, 403], [592, 404], [593, 405], [595, 406], [597, 407], [598, 408], [600, 409], [601, 410], [603, 411], [605, 412], [606, 413], [608, 414], [609, 415], [611, 416], [613, 417], [614, 418], [616, 419], [617, 420], [619, 421], [621, 422], [622, 423], [624, 425], [625, 426], [627, 427], [629, 428], [630, 429], [632, 430], [633, 431], [635, 432], [637, 433], [638, 434], [640, 435], [641, 436], [643, 437], [645, 438], [646, 439], [648, 440], [650, 441], [651, 442], [653, 443], [654, 444], [656, 445], [657, 446], [659, 447], [661, 448], [662, 449], [664, 450], [665, 451], [667, 452], [669, 453], [670, 454], [672, 455], [673, 456], [675, 457], [677, 458], [678, 459], [680, 460], [682, 461], [683, 462], [685, 463], [686, 464], [688, 465], [690, 466], [691, 467], [693, 468], [694, 469], [696, 470], [698, 471], [699, 472], [701, 473], [703, 474], [704, 475], [706, 476], [707, 477], [709, 478], [711, 479], [712, 480], [714, 481], [716, 482], [717, 483], [719, 484], [720, 485], [722, 486], [724, 487], [725, 488], [727, 489], [729, 490], [730, 491], [732, 492], [733, 493], [735, 494], [737, 495], [738, 496], [740, 497], [741, 498], [743, 499], [745, 500], [746, 501], [748, 502], [750, 503], [751, 504], [753, 505], [754, 506], [756, 507], [758, 508], [759, 509], [761, 510], [763, 511], [764, 512], [766, 513], [767, 514], [769, 515], [771, 516], [772, 517], [774, 518], [776, 519], [777, 520], [779, 521], [780, 522], [782, 523], [784, 524], [785, 525], [787, 526], [789, 527], [790, 528], [792, 529], [793, 530], [795, 531], [797, 532], [798, 533], [800, 534], [802, 535], [803, 536], [805, 537], [806, 538], [808, 539], [810, 540], [811, 541], [813, 542], [815, 543], [816, 544], [818, 545], [819, 546], [821, 547], [823, 548], [824, 549], [826, 550], [828, 551], [829, 552], [831, 553], [832, 554], [834, 555], [836, 556], [837, 557], [839, 558], [840, 559], [842, 560], [844, 561], [845, 562], [847, 563], [849, 564], [850, 565], [852, 566], [853, 567], [855, 568], [857, 569], [858, 570], [860, 571], [861, 572], [863, 573], [865, 574], [866, 575], [868, 576], [870, 577], [871, 578], [873, 579], [874, 580], [876, 581], [878, 582], [879, 583], [881, 584], [883, 585], [884, 586], [886, 587], [887, 588], [889, 589], [891, 590], [892, 591], [894, 592], [895, 593], [897, 594], [899, 595], [900, 596], [902, 597], [904, 598], [905, 599], [907, 600], [908, 601], [910, 602], [912, 603], [913, 604], [915, 605], [917, 606], [918, 607], [920, 608], [921, 609], [923, 610], [925, 611], [926, 612], [928, 613], [929, 614], [931, 615], [933, 616], [934, 617], [936, 618], [937, 619], [939, 620], [941, 621], [942, 622], [944, 623], [946, 624], [947, 625], [949, 626], [950, 627], [952, 628], [954, 629], [955, 630], [957, 631], [959, 632], [960, 633], [962, 634], [963, 635], [964, 636], [966, 637], [968, 638], [969, 639], [971, 640], [973, 641], [974, 642], [976, 643], [977, 644], [979, 645], [981, 646], [982, 647], [984, 648], [986, 649], [987, 650], [989, 651], [990, 652], [992, 653], [994, 654], [995, 655], [997, 656], [999, 657], [1000, 658], [1002, 659], [1003, 660], [1005, 661], [1007, 662], [1008, 663], [1010, 664], [1012, 665], [1013, 666], [1015, 667], [1016, 668], [1018, 669], [1020, 670], [1021, 671], [1023, 672], [1025, 673], [1026, 674], [1028, 675], [1029, 676], [1031, 677], [1033, 678], [1034, 679], [1036, 680], [1038, 681], [1039, 682], [1041, 683], [1042, 684], [1044, 686], [1046, 687], [1047, 685], [1048, 688], [1050, 689], [1052, 691], [1053, 692], [1055, 693], [1056, 694], [1058, 695], [1060, 696], [1061, 697], [1063, 698], [1065, 699], [1066, 700], [1068, 701], [1069, 702], [1071, 703], [1073, 704], [1074, 705], [1076, 706], [1078, 707], [1079, 708], [1081, 709], [1082, 710], [1084, 711], [1086, 712], [1087, 713], [1089, 714], [1090, 715], [1092, 716], [1094, 717], [1095, 718], [1097, 719], [1099, 720], [1100, 721], [1102, 722], [1104, 723], [1105, 724], [1107, 725], [1108, 726], [1110, 727], [1112, 728], [1113, 729], [1115, 730], [1117, 731], [1118, 732], [1120, 733], [1121, 734], [1123, 735], [1125, 736], [1126, 737], [1128, 738], [1130, 739], [1131, 740], [1133, 741], [1134, 742], [1136, 743], [1138, 744], [1139, 745], [1141, 746], [1142, 747], [1144, 748], [1146, 749], [1147, 750], [1149, 751], [1151, 752], [1152, 753], [1154, 754], [1155, 755], [1157, 756], [1159, 757], [1160, 758], [1162, 759], [1164, 760], [1165, 761], [1167, 762], [1168, 763], [1170, 764], [1172, 765], [1173, 766], [1175, 767], [1176, 768], [1178, 769], [1180, 770], [1181, 771], [1183, 772], [1185, 773], [1186, 774], [1188, 775], [1189, 776], [1191, 777], [1193, 778], [1194, 779], [1196, 780], [1197, 781], [1199, 782], [1201, 783], [1202, 784], [1204, 785], [1206, 786], [1207, 787], [1209, 788], [1210, 789], [1212, 790], [1214, 791], [1215, 792], [1217, 793], [1218, 794], [1220, 795], [1222, 796], [1223, 797], [1225, 798], [1227, 799], [1228, 800], [1230, 801], [1231, 802], [1233, 803], [1235, 804], [1236, 805], [1238, 806], [1240, 807], [1241, 808], [1243, 809], [1244, 810], [1246, 811], [1248, 812], [1249, 813], [1251, 814], [1252, 815], [1254, 816], [1256, 817], [1257, 818], [1259, 819], [1261, 820], [1262, 821], [1264, 822], [1265, 823], [1267, 824], [1269, 825], [1270, 826], [1272, 827], [1273, 828], [1275, 829], [1277, 830], [1278, 831], [1280, 832], [1282, 833], [1283, 834], [1285, 835], [1286, 836], [1288, 837], [1290, 838], [1291, 839], [1293, 840], [1294, 841], [1296, 842], [1298, 843], [1299, 844], [1301, 845], [1303, 846], [1304, 847], [1306, 848], [1307, 849], [1309, 850], [1311, 851], [1312, 852], [1314, 853], [1315, 854], [1317, 855], [1319, 856], [1320, 857], [1322, 858], [1324, 859], [1325, 860], [1327, 861], [1328, 862], [1330, 863], [1332, 864], [1333, 865], [1335, 866], [1336, 867], [1338, 868], [1340, 869], [1341, 870], [1343, 871], [1345, 872], [1346, 873], [1348, 874], [1349, 875], [1351, 876], [1353, 877], [1354, 878], [1356, 879], [1357, 880], [1359, 881], [1361, 882], [1362, 883], [1364, 884], [1366, 885], [1367, 886], [1369, 887], [1370, 888], [1372, 889], [1374, 890], [1375, 891], [1377, 892], [1378, 893], [1380, 894], [1382, 895], [1383, 896], [1385, 897], [1387, 898], [1388, 899], [1390, 900], [1391, 901], [1393, 902], [1395, 903], [1396, 904], [1398, 905], [1400, 906], [1401, 907], [1403, 908], [1404, 909], [1406, 910], [1408, 911], [1409, 912], [1411, 913], [1412, 914], [1414, 915], [1416, 916], [1417, 917], [1419, 918], [1421, 919], [1422, 920], [1424, 921], [1425, 922], [1427, 923], [1429, 924], [1430, 925], [1432, 926], [1434, 927], [1435, 928], [1437, 929], [1438, 930], [1440, 931], [1442, 932], [1443, 933], [1445, 934], [1446, 935], [1448, 936], [1450, 937], [1451, 938], [1453, 939], [1455, 940], [1456, 941], [1458, 942], [1459, 943], [1461, 944], [1463, 945], [1464, 946], [1466, 947], [1467, 948], [1469, 949], [1471, 950], [1472, 951], [1474, 952], [1476, 953], [1477, 954], [1479, 955], [1480, 956], [1482, 957], [1484, 958], [1485, 959], [1487, 960], [1489, 961], [1490, 962], [1492, 963], [1493, 964], [1495, 965], [1497, 966], [1498, 967], [1500, 968], [1501, 969], [1503, 970], [1505, 971], [1506, 972], [1508, 973], [1510, 974], [1511, 975], [1513, 976], [1514, 977], [1516, 978], [1518, 979], [1519, 980], [1521, 981], [1522, 982], [1524, 983], [1526, 984], [1527, 985], [1529, 986], [1531, 987], [1532, 988], [1534, 989], [1535, 990], [1537, 991], [1539, 992], [1540, 993], [1542, 994], [1544, 995], [1545, 996], [1547, 997], [1548, 998], [1550, 999], [1552, 1000], [1553, 1001], [1555, 1002], [1557, 1003], [1558, 1004], [1560, 1005], [1561, 1006], [1563, 1007], [1565, 1008], [1566, 1009], [1568, 1010], [1569, 1011], [1571, 1012], [1573, 1013], [1574, 1014], [1576, 1015], [1578, 1016], [1579, 1017], [1581, 1018], [1582, 1019], [1584, 1020], [1586, 1021], [1587, 1022], [1589, 1023], [1590, 1024], [1592, 1025], [1594, 1026], [1595, 1027], [1597, 1028], [1599, 1029], [1601, 1030], [1602, 1031], [1604, 1032], [1605, 1033], [1607, 1034], [1609, 1035], [1610, 1036], [1612, 1037], [1613, 1038], [1615, 1039], [1617, 1040], [1618, 1041], [1620, 1042], [1622, 1043], [1623, 1044], [1625, 1045], [1626, 1046], [1628, 1047], [1630, 1048], [1631, 1049], [1633, 1050], [1634, 1051], [1636, 1052], [1638, 1053], [1639, 1054], [1641, 1055], [1643, 1056], [1644, 1057], [1646, 1058], [1647, 1059], [1649, 1060], [1651, 1061], [1652, 1062], [1654, 1063], [1655, 1064], [1657, 1065], [1659, 1066], [1660, 1067], [1662, 1068], [1664, 1069], [1665, 1070], [1667, 1071], [1668, 1072], [1670, 1073], [1672, 1074], [1673, 1075], [1675, 1076], [1676, 1077], [1678, 1078], [1680, 1079], [1681, 1080], [1683, 1081], [1685, 1082], [1686, 1083], [1688, 1084], [1689, 1085], [1691, 1086], [1693, 1087], [1694, 1088], [1696, 1089], [1697, 1090], [1699, 1091], [1701, 1092], [1702, 1093], [1704, 1094], [1706, 1095], [1707, 1096], [1709, 1097], [1710, 1098], [1712, 1099], [1714, 1100], [1715, 1101], [1717, 1102], [1718, 1103], [1720, 1104], [1722, 1105], [1723, 1106], [1725, 1107], [1727, 1108], [1728, 1109], [1729, 1110], [1731, 1111], [1734, 1112], [1735, 1113], [1737, 1114], [1738, 1115], [1740, 1116], [1741, 1117], [1742, 1118], [1744, 1119], [1746, 1120], [1747, 1121], [1749, 1122], [1751, 1123], [1752, 1124], [1754, 1125], [1755, 1126], [1757, 1127], [1759, 1128], [1760, 1129], [1762, 1130], [1763, 1131], [1765, 1132], [1767, 1133], [1768, 1134], [1770, 1135], [1772, 1136], [1773, 1137], [1775, 1138], [1776, 1139], [1778, 1140], [1780, 1141], [1781, 1142], [1783, 1143], [1784, 1144], [1786, 1145], [1788, 1146], [1789, 1147], [1791, 1148], [1793, 1149], [1794, 1150], [1796, 1151], [1797, 1152], [1799, 1153], [1801, 1154], [1802, 1155], [1804, 1156], [1806, 1157], [1807, 1158], [1809, 1159], [1810, 1160], [1812, 1161], [1814, 1162], [1815, 1163], [1817, 1164], [1818, 1165], [1820, 1166], [1822, 1167], [1823, 1168], [1825, 1169], [1826, 1170], [1828, 1171], [1830, 1172], [1831, 1173], [1833, 1174], [1835, 1175], [1836, 1176], [1838, 1177], [1839, 1178], [1841, 1179], [1843, 1180], [1844, 1181], [1846, 1182], [1847, 1183], [1849, 1184], [1851, 1185], [1852, 1186], [1854, 1187], [1856, 1188], [1857, 1189], [1859, 1190], [1860, 1191], [1862, 1192], [1864, 1193], [1865, 1194], [1867, 1195], [1868, 1196], [1870, 1197], [1872, 1198], [1873, 1199], [1875, 1200], [1877, 1201], [1878, 1202], [1880, 1203], [1881, 1204], [1883, 1205], [1885, 1206], [1886, 1207], [1888, 1208], [1890, 1209], [1891, 1210], [1893, 1211], [1894, 1212], [1896, 1213], [1898, 1214], [1899, 1215], [1901, 1216], [1902, 1217], [1904, 1218], [1906, 1219], [1907, 1220], [1909, 1221], [1911, 1222], [1912, 1223], [1914, 1224], [1915, 1225], [1917, 1226], [1919, 1227], [1920, 1228], [1922, 1229], [1923, 1230], [1925, 1231], [1927, 1232], [1928, 1233], [1930, 1234], [1932, 1235], [1933, 1236], [1935, 1237], [1936, 1238], [1938, 1239], [1940, 1240], [1941, 1241], [1943, 1242], [1945, 1243], [1946, 1244], [1948, 1245], [1949, 1246], [1951, 1247], [1953, 1248], [1954, 1249], [1956, 1250], [1957, 1251], [1959, 1252], [1961, 1253], [1962, 1254], [1964, 1255], [1966, 1256], [1967, 1257], [1969, 1258], [1970, 1259], [1972, 1260], [1974, 1261], [1975, 1262], [1977, 1263], [1979, 1264], [1980, 1265], [1982, 1266], [1983, 1267], [1985, 1268], [1987, 1269], [1988, 1270], [1990, 1271], [1991, 1272], [1993, 1273], [1995, 1274], [1996, 1275], [1998, 1276], [2000, 1277], [2001, 1278], [2003, 1279], [2004, 1280], [2006, 1281], [2008, 1282], [2009, 1283], [2011, 1284], [2013, 1285], [2014, 1286], [2016, 1287], [2017, 1288], [2019, 1289], [2021, 1290], [2022, 1291], [2024, 1292], [2025, 1293], [2027, 1294], [2029, 1295], [2030, 1296], [2032, 1297], [2034, 1298], [2035, 1299], [2037, 1300], [2038, 1301], [2040, 1302], [2042, 1303], [2043, 1304], [2045, 1305], [2046, 1306], [2048, 1307], [2050, 1308], [2051, 1309], [2053, 1310], [2055, 1311], [2056, 1312], [2058, 1313], [2059, 1314], [2061, 1315], [2063, 1316], [2064, 1317], [2066, 1318], [2068, 1319], [2069, 1320], [2071, 1321], [2072, 1322], [2074, 1323], [2076, 1324], [2077, 1325], [2079, 1326], [2080, 1327], [2082, 1328], [2084, 1329], [2085, 1330], [2087, 1331], [2089, 1332], [2090, 1333], [2092, 1334], [2093, 1335], [2095, 1336], [2097, 1337], [2098, 1338], [2100, 1339], [2102, 1340], [2103, 1341], [2105, 1342], [2106, 1343], [2108, 1344], [2110, 1345], [2111, 1346], [2113, 1347], [2114, 1348], [2116, 1349], [2118, 1350], [2119, 1351], [2121, 1352], [2123, 1353], [2124, 1354], [2126, 1355], [2127, 1356], [2129, 1357], [2131, 1358], [2132, 1359], [2134, 1360], [2136, 1361], [2137, 1362], [2139, 1363], [2140, 1364], [2142, 1365], [2144, 1366], [2145, 1367], [2147, 1368], [2148, 1369], [2150, 1370], [2152, 1371], [2153, 1372], [2155, 1373], [2157, 1374], [2158, 1375], [2160, 1376], [2161, 1377], [2163, 1378], [2165, 1379], [2166, 1380], [2168, 1381], [2170, 1382], [2171, 1383], [2173, 1384], [2174, 1385], [2176, 1386], [2178, 1387], [2179, 1388], [2181, 1389], [2182, 1390], [2184, 1391], [2186, 1392], [2187, 1393], [2189, 1394], [2191, 1395], [2192, 1396], [2194, 1397], [2195, 1398], [2197, 1399], [2199, 1400], [2200, 1401], [2202, 1402], [2204, 1403], [2205, 1404], [2207, 1405], [2208, 1406], [2210, 1407], [2212, 1408], [2213, 1409], [2215, 1410], [2216, 1411], [2218, 1412], [2220, 1413], [2221, 1414], [2223, 1415], [2225, 1416], [2226, 1417], [2228, 1418], [2229, 1419], [2231, 1420], [2233, 1421], [2234, 1422], [2236, 1423], [2238, 1424], [2239, 1425], [2241, 1426], [2242, 1427], [2244, 1428], [2246, 1429], [2247, 1430], [2249, 1431], [2250, 1432], [2252, 1433], [2254, 1434], [2255, 1435], [2257, 1436], [2259, 1437], [2260, 1438], [2262, 1439], [2263, 1440], [2265, 1441], [2267, 1442], [2268, 1443], [2270, 1444], [2272, 1445], [2273, 1446], [2275, 1447], [2276, 1448], [2278, 1449], [2280, 1450], [2281, 1451], [2283, 1452], [2284, 1453], [2286, 1454], [2288, 1455], [2289, 1456], [2291, 1457], [2293, 1458], [2294, 1459], [2296, 1460], [2297, 1461], [2299, 1462], [2301, 1463], [2302, 1464], [2304, 1465], [2305, 1466], [2307, 1467], [2309, 1468], [2310, 1469], [2312, 1470], [2314, 1471], [2315, 1472], [2317, 1473], [2318, 1474], [2320, 1475], [2322, 1476], [2323, 1477], [2325, 1478], [2327, 1479], [2328, 1480], [2330, 1481], [2331, 1482], [2333, 1483], [2335, 1484], [2336, 1485], [2338, 1486], [2339, 1487], [2341, 1488], [2343, 1489], [2344, 1490], [2346, 1491], [2348, 1492], [2349, 1493], [2351, 1494], [2352, 1495], [2354, 1496], [2356, 1497], [2357, 1498], [2359, 1499], [2360, 1500], [2362, 1501], [2364, 1502], [2365, 1503], [2367, 1504], [2369, 1505], [2370, 1506], [2372, 1507], [2373, 1508], [2375, 1509], [2377, 1510], [2378, 1511], [2380, 1512], [2382, 1513], [2383, 1514], [2385, 1515], [2386, 1516], [2388, 1517], [2390, 1518], [2391, 1519], [2393, 1520], [2394, 1521], [2396, 1522], [2398, 1523], [2399, 1524], [2401, 1525], [2403, 1526], [2404, 1527], [2406, 1528], [2407, 1529], [2409, 1530], [2411, 1531], [2412, 1532], [2414, 1533], [2416, 1534], [2417, 1535], [2419, 1536], [2420, 1537], [2422, 1538], [2424, 1539], [2425, 1540], [2427, 1541], [2428, 1542], [2430, 1543], [2432, 1544], [2433, 1545], [2435, 1546], [2437, 1547], [2438, 1548], [2440, 1549], [2441, 1550], [2443, 1551], [2445, 1552], [2446, 1553], [2448, 1554], [2449, 1555], [2451, 1556], [2453, 1557], [2454, 1558], [2456, 1559], [2458, 1560], [2459, 1561], [2461, 1562], [2462, 1563], [2464, 1564], [2466, 1565], [2467, 1566], [2469, 1567], [2471, 1568], [2472, 1569], [2474, 1570], [2475, 1571], [2477, 1572], [2479, 1573], [2480, 1574], [2482, 1575], [2483, 1576], [2485, 1577], [2487, 1578], [2488, 1579], [2490, 1580], [2492, 1581], [2493, 1582], [2495, 1583], [2496, 1584], [2498, 1585], [2500, 1586], [2501, 1587], [2503, 1588], [2505, 1589], [2506, 1590], [2508, 1591], [2509, 1592], [2511, 1593], [2513, 1594], [2514, 1595], [2516, 1596], [2517, 1597], [2519, 1598], [2521, 1599], [2522, 1600], [2524, 1601], [2526, 1602], [2527, 1603], [2529, 1604], [2530, 1605], [2532, 1606], [2534, 1607], [2535, 1608], [2537, 1609], [2538, 1610], [2540, 1611], [2542, 1612], [2543, 1613], [2545, 1614], [2547, 1615], [2548, 1616], [2550, 1617], [2551, 1618], [2553, 1619], [2555, 1620], [2556, 1621], [2558, 1622], [2559, 1623], [2561, 1624], [2563, 1625], [2564, 1626], [2566, 1627], [2568, 1628], [2569, 1629], [2571, 1630], [2572, 1631], [2574, 1632], [2576, 1633], [2577, 1634], [2579, 1635], [2581, 1636], [2582, 1637], [2584, 1638], [2585, 1639], [2587, 1640], [2589, 1641], [2590, 1642], [2592, 1643], [2593, 1644], [2595, 1645], [2597, 1646], [2598, 1647], [2600, 1648], [2602, 1649], [2603, 1650], [2605, 1651], [2606, 1652], [2608, 1653], [2610, 1654], [2611, 1655], [2613, 1656], [2615, 1657], [2616, 1658], [2618, 1659], [2619, 1660], [2621, 1661], [2623, 1662], [2624, 1663], [2626, 1664], [2627, 1665], [2629, 1666], [2630, 1667], [2632, 1668], [2634, 1669], [2635, 1670], [2637, 1671], [2639, 1672], [2640, 1673], [2642, 1674], [2643, 1675], [2645, 1676], [2647, 1677], [2648, 1678], [2650, 1679], [2652, 1680], [2653, 1681], [2655, 1682], [2656, 1683], [2658, 1684], [2660, 1685], [2661, 1686], [2663, 1687], [2664, 1688], [2666, 1689], [2668, 1690], [2669, 1691], [2671, 1692], [2673, 1693], [2674, 1694], [2676, 1695], [2677, 1696], [2679, 1697], [2681, 1698], [2682, 1699], [2684, 1700], [2686, 1701], [2687, 1702], [2689, 1703], [2690, 1704], [2692, 1705], [2694, 1706], [2695, 1707], [2697, 1708], [2698, 1709], [2700, 1710], [2702, 1711], [2703, 1712], [2705, 1713], [2707, 1714], [2708, 1715], [2710, 1716], [2711, 1717], [2713, 1718], [2715, 1719], [2716, 1720], [2718, 1721], [2720, 1722], [2721, 1723], [2723, 1724], [2724, 1725], [2726, 1726], [2728, 1727], [2729, 1728], [2731, 1729], [2732, 1730], [2734, 1731], [2736, 1732], [2737, 1733], [2739, 1734], [2741, 1735], [2742, 1736], [2744, 1737], [2745, 1738], [2747, 1739], [2749, 1740], [2750, 1741], [2752, 1742], [2754, 1743], [2755, 1744], [2757, 1745], [2758, 1746], [2760, 1747], [2762, 1748], [2763, 1749], [2765, 1750], [2766, 1751], [2768, 1752], [2770, 1753], [2771, 1754], [2773, 1755], [2775, 1756], [2776, 1757], [2778, 1758], [2779, 1759], [2781, 1760], [2783, 1761], [2784, 1762], [2786, 1763], [2788, 1764], [2789, 1765], [2791, 1766], [2792, 1767], [2794, 1768], [2796, 1769], [2797, 1770], [2799, 1771], [2800, 1772], [2802, 1773], [2804, 1774], [2805, 1775], [2807, 1776], [2809, 1777], [2810, 1778], [2812, 1779], [2813, 1780], [2815, 1781], [2817, 1782], [2818, 1783], [2820, 1784], [2822, 1785], [2823, 1786], [2825, 1787], [2826, 1788], [2828, 1789], [2830, 1790], [2831, 1791], [2833, 1792], [2834, 1793], [2836, 1794], [2838, 1795], [2840, 1796], [2841, 1797], [2843, 1798], [2844, 1799], [2845, 1800], [2847, 1801], [2849, 1802], [2850, 1803], [2852, 1804], [2854, 1805]]: SkipX[0] := []: SkipX[1] := [1]: SkipX[2] := []: SkipX[3] := [1, 2, 3]: SkipX[4] := [3, 6]: SkipX[5] := [4, 7, 10]: SkipX[6] := [4, 6, 3, 2]: SkipX[7] := [7, 9, 1, 4, 6]: SkipX[8] := [5, 3, 10, 13]: SkipX[9] := [6, 4, 11, 15]: SkipX[10] := [8, 9, 13, 7, 6]: SkipY[0] := []: SkipY[1] := [2, 17, 22]: SkipY[2] := [1, 5, 8, 24, 26, 32]: SkipY[3] := [2, 3, 4, 5, 8, 10, 11, 12, 28, 41, 57]: SkipY[4] := [2, 5, 6, 7, 8, 9, 11, 12, 14, 17, 46, 48, 59]: SkipY[5] := [1, 3, 5, 6, 8, 10, 11, 12, 15, 16, 17, 18, 19, 28, 56, 77, 83]: SkipY[6] := [1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 21, 44, 58, 95, 96, 132]: SkipY[7] := [0, 1, 2, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 21, 22, 23, 24, 28, 30, 86, 88, 232, 251]: SkipY[8] := [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, 33, 34, 46, 155, 257, 390, 415]: SkipY[9] := [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 24, 25, 26, 27, 30, 36, 37, 44, 48, 62, 254, 388, 421, 676]: SkipY[10] := [0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 27, 28, 29, 30, 31, 32, 34, 39, 50, 53, 103, 391, 424, 690]: DiffY[0] := 0: DiffY[1] := -4: DiffY[2] := -10: DiffY[3] := -16: DiffY[4] := -20: DiffY[5] := -26: DiffY[6] := -32: DiffY[7] := -39: DiffY[8] := -46: DiffY[9] := -52: DiffY[10] := -56: PatternIndx[0] := [1, 1, 5]: PatternIndx[1] := [21, 28, 79]: PatternIndx[2] := [28, 58, 161]: PatternIndx[3] := [48, 73, 212]: PatternIndx[4] := [126, 208, 563]: PatternIndx[5] := [71, 123, 563]: PatternIndx[6] := [113, 232, 641]: PatternIndx[7] := [227, 343, 941]: PatternIndx[8] := [388, 648, 1743]: PatternIndx[9] := [645, 645, 1743]: PatternIndx[10] := [656, 656, 1770]: