結果

問題 No.3 ビットすごろく
ユーザー 西尾西尾
提出日時 2018-03-20 11:57:52
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 47,777 bytes
コンパイル時間 1,479 ms
コンパイル使用メモリ 167,308 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-01 08:57:36
合計ジャッジ時間 2,438 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 2 ms
6,940 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 2 ms
6,944 KB
testcase_17 AC 2 ms
6,940 KB
testcase_18 AC 2 ms
6,944 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,944 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 2 ms
6,940 KB
testcase_23 AC 2 ms
6,944 KB
testcase_24 AC 2 ms
6,944 KB
testcase_25 AC 2 ms
6,940 KB
testcase_26 AC 2 ms
6,944 KB
testcase_27 AC 2 ms
6,944 KB
testcase_28 AC 2 ms
6,944 KB
testcase_29 AC 2 ms
6,940 KB
testcase_30 AC 2 ms
6,940 KB
testcase_31 AC 2 ms
6,940 KB
testcase_32 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;

int Tbl[] =
{
	0, 1, 2, 3, -1, 4, -1, 5, -1, -1, 6, 9, 7, -1, 8, -1, -1, 9, -1, 10, -1, -1, 11, -1, -1, 12, -1, -1, 13, -1, -1, 14, -1, 17, -1, 18, 15, -1, 16, -1, -1, 17, -1, -1, 18, -1, -1, 19, -1, 22, 24, -1, 20, 24, -1, 21, -1, 24, -1, -1, 22, 25, 27, -1, 23, 24, 26, 25, 27, 25, 26, -1, 26, 27, 27, 29, 28, 28, -1, 29, -1, 29, 31, -1, 30, 32, -1, 31, -1, 33, -1, -1, 32, 34, 37, -1, 33, -1, 34, 35, -1, 35, -1, 36, -1, 36, -1, -1, 37, 37, 42, -1, 38, -1, 38, 39, -1, -1, 39, -1, 40, -1, 42, 40, 41, 43, -1, 43, -1, 41, -1, 42, -1, -1, 43, -1, -1, 44, -1, -1, 45, -1, -1, 46, -1, 49, 51, -1, 47, 51, -1, 48, -1, 51, -1, -1, 49, 52, 54, -1, 50, -1, 51, 52, -1, 52, -1, 53, -1, 53, -1, -1, 54, 54, 59, -1, 55, -1, 55, 56, -1, -1, 56, -1, 57, -1, 59, 57, 58, 60, -1, 60, -1, 58, -1, 61, 59, -1, 61, 60, -1, 63, 62, -1, 61, 64, 63, -1, 62, -1, 64, 63, -1, -1, 65, -1, 64, -1, 68, 66, 65, 67, -1, 69, -1, 66, -1, 68, 70, 67, 70, -1, 69, -1, 68, 71, 70, 72, -1, 69, -1, 71, -1, 73, -1, -1, 70, -1, -1, 73, -1, -1, 71, -1, -1, 74, -1, -1, 72, 75, 73, 77, 74, 75, 78, 75, 79, 76, 76, 80, -1, 77, -1, 80, 82, -1, 78, 82, -1, 79, -1, 82, -1, -1, 80, 83, 85, -1, 81, -1, 82, 83, -1, 83, -1, 84, -1, 84, -1, -1, 85, 85, 90, -1, 86, -1, 86, 87, -1, -1, 87, -1, 88, -1, 90, 88, 89, 91, -1, 91, -1, 89, -1, 92, 90, -1, 92, 91, -1, 94, 93, -1, 92, 95, 94, -1, 93, -1, 95, 94, -1, -1, 96, -1, 95, -1, 99, 97, 96, 98, -1, 100, -1, 97, -1, 99, 101, 98, 101, -1, 100, -1, 99, 102, 101, 103, -1, 100, -1, 102, -1, 104, -1, -1, 101, -1, -1, 104, -1, -1, 102, -1, -1, 105, -1, -1, 103, -1, -1, 104, -1, 105, -1, 105, -1, -1, 106, 106, 111, -1, 107, -1, 107, 108, -1, -1, 108, -1, 109, -1, 111, 109, 110, 112, -1, 112, -1, 110, -1, 112, 114, 111, 113, -1, 113, -1, 112, 114, 114, 116, -1, 113, -1, 115, -1, 117, -1, -1, 114, -1, -1, 117, -1, -1, 115, -1, -1, 118, -1, -1, 116, -1, -1, 118, 117, 119, 121, -1, 119, 118, 122, 120, -1, 120, -1, 119, -1, 121, -1, -1, 120, -1, -1, 122, -1, -1, 121, -1, -1, 123, -1, -1, 122, -1, 124, 126, -1, 123, -1, 125, -1, 127, -1, -1, 124, 126, -1, -1, 128, -1, -1, 125, -1, 127, 129, -1, -1, -1, 126, -1, 130, 128, -1, -1, -1, 127, -1, 131, 128, -1, 129, 129, 130, 132, 130, 131, -1, 131, -1, 132, 134, -1, 132, 135, -1, 133, -1, 136, -1, -1, 134, 137, 139, -1, 135, -1, 136, 137, -1, 137, -1, 138, -1, 138, -1, -1, 139, 139, 144, -1, 140, -1, 140, 141, -1, -1, 141, -1, 142, -1, 144, 142, 143, 145, -1, 145, -1, 143, -1, 146, 144, -1, 146, 145, -1, 148, 147, -1, 146, 149, 148, -1, 147, -1, 149, 148, -1, -1, 150, -1, 149, -1, 153, 151, 150, 152, -1, 154, -1, 151, -1, 153, 155, 152, 155, -1, 154, -1, 153, 156, 155, 157, -1, 154, -1, 156, -1, 158, -1, -1, 155, -1, -1, 158, -1, -1, 156, -1, -1, 159, -1, -1, 157, -1, -1, 158, -1, 159, -1, 159, -1, -1, 160, 160, 165, -1, 161, -1, 161, 162, -1, -1, 162, -1, 163, -1, 165, 163, 164, 166, -1, 166, -1, 164, -1, 166, 168, 165, 167, -1, 167, -1, 166, 168, 168, 170, -1, 167, -1, 169, -1, 171, -1, -1, 168, -1, -1, 171, -1, -1, 169, -1, -1, 172, -1, -1, 170, -1, -1, 172, 171, 173, 175, -1, 173, 172, 176, 174, -1, 174, -1, 173, -1, 175, -1, -1, 174, -1, -1, 176, -1, -1, 175, -1, -1, 177, -1, -1, 176, -1, 178, 180, -1, 177, -1, 179, -1, 181, -1, -1, 178, 180, -1, -1, 182, -1, -1, 179, -1, 181, 183, -1, -1, -1, 180, -1, 184, 182, -1, -1, -1, 181, -1, 185, 185, 182, 183, 185, 186, 184, 183, 186, 187, -1, 184, -1, 186, 185, -1, -1, 187, -1, 186, -1, 190, 188, 187, 189, -1, 191, -1, 188, -1, 190, 192, 189, 192, -1, 191, -1, 190, 193, 192, 194, -1, 191, -1, 193, -1, 195, -1, -1, 192, -1, -1, 195, -1, -1, 193, -1, -1, 196, -1, -1, 194, -1, -1, 196, 195, 197, 199, -1, 197, 196, 200, 198, -1, 198, -1, 197, -1, 199, -1, -1, 198, -1, -1, 200, -1, -1, 199, -1, -1, 201, -1, -1, 200, -1, 202, 204, -1, 201, -1, 203, -1, 205, -1, -1, 202, 204, -1, -1, 206, -1, -1, 203, -1, 205, 207, -1, -1, -1, 204, -1, 208, 206, -1, -1, -1, 205, -1, 209, 207, -1, 206, -1, 210, 208, 207, 209, -1, 211, -1, 208, -1, 210, -1, -1, 209, -1, -1, 211, -1, -1, 210, -1, -1, 212, -1, -1, 211, -1, 213, 215, -1, 212, -1, 214, -1, 216, -1, -1, 213, 215, -1, -1, 217, -1, -1, 214, -1, 216, 218, -1, -1, -1, 215, -1, 219, 217, -1, -1, -1, 216, -1, 218, 220, -1, 218, 217, -1, 219, 221, 219, -1, 218, -1, -1, 220, -1, 220, 221, -1, 219, 221, -1, 221, -1, 222, -1, 222, 220, -1, 222, -1, 223, -1, 223, 223, 223, 221, -1, 224, -1, 224, 224, 222, 224, -1, 225, -1, 225, -1, 225, 223, -1, 225, -1, -1, 226, -1, 226, 224, 226, -1, 229, -1, 230, 227, -1, 227, 225, -1, 227, -1, 226, 228, -1, -1, 227, -1, 230, 232, -1, 228, 232, -1, 229, -1, 232, -1, -1, 230, 233, 235, -1, 231, -1, 232, 233, -1, 233, -1, 234, -1, 234, -1, -1, 235, 235, 240, -1, 236, -1, 236, 237, -1, -1, 237, -1, 238, -1, 240, 238, 239, 241, -1, 241, -1, 239, -1, 242, 240, -1, 242, 241, -1, 244, 243, -1, 242, 245, 244, -1, 243, -1, 245, 244, -1, -1, 246, -1, 245, -1, 249, 247, 246, 248, -1, 250, -1, 247, -1, 249, 251, 248, 251, -1, 250, -1, 249, 252, 251, 253, -1, 250, -1, 252, -1, 254, -1, -1, 251, -1, -1, 254, -1, -1, 252, -1, -1, 255, -1, -1, 253, -1, -1, 254, -1, 255, -1, 255, -1, -1, 256, 256, 261, -1, 257, -1, 257, 258, -1, -1, 258, -1, 259, -1, 261, 259, 260, 262, -1, 262, -1, 260, -1, 262, 264, 261, 263, -1, 263, -1, 262, 264, 264, 266, -1, 263, -1, 265, -1, 267, -1, -1, 264, -1, -1, 267, -1, -1, 265, -1, -1, 268, -1, -1, 266, -1, -1, 268, 267, 269, 271, -1, 269, 268, 272, 270, -1, 270, -1, 269, -1, 271, -1, -1, 270, -1, -1, 272, -1, -1, 271, -1, -1, 273, -1, -1, 272, -1, 274, 276, -1, 273, -1, 275, -1, 277, -1, -1, 274, 276, -1, -1, 278, -1, -1, 275, -1, 277, 279, -1, -1, -1, 276, -1, 280, 278, -1, -1, -1, 277, -1, 281, 281, 278, 279, 281, 282, 280, 279, 282, 283, -1, 280, -1, 282, 281, -1, -1, 283, -1, 282, -1, 286, 284, 283, 285, -1, 287, -1, 284, -1, 286, 288, 285, 288, -1, 287, -1, 286, 289, 288, 290, -1, 287, -1, 289, -1, 291, -1, -1, 288, -1, -1, 291, -1, -1, 289, -1, -1, 292, -1, -1, 290, -1, -1, 292, 291, 293, 295, -1, 293, 292, 296, 294, -1, 294, -1, 293, -1, 295, -1, -1, 294, -1, -1, 296, -1, -1, 295, -1, -1, 297, -1, -1, 296, -1, 298, 300, -1, 297, -1, 299, -1, 301, -1, -1, 298, 300, -1, -1, 302, -1, -1, 299, -1, 301, 303, -1, -1, -1, 300, -1, 304, 302, -1, -1, -1, 301, -1, 305, 303, -1, 302, -1, 306, 304, 303, 305, -1, 307, -1, 304, -1, 306, -1, -1, 305, -1, -1, 307, -1, -1, 306, -1, -1, 308, -1, -1, 307, -1, 309, 311, -1, 308, -1, 310, -1, 312, -1, -1, 309, 311, -1, -1, 313, -1, -1, 310, -1, 312, 314, -1, -1, -1, 311, -1, 315, 313, -1, -1, -1, 312, -1, 314, 316, -1, 314, 313, -1, 315, 317, 315, -1, 314, -1, -1, 316, -1, 316, 317, -1, 315, 317, -1, 317, -1, 318, -1, 318, 316, -1, 318, -1, 319, -1, 319, 319, 319, 317, -1, 320, -1, 320, 320, 318, 320, -1, 321, -1, 321, -1, 321, 319, -1, 321, -1, -1, 322, -1, 322, 320, 322, -1, 325, -1, -1, 323, -1, 323, 321, -1, 323, 324, -1, 322, 324, 325, -1, 323, -1, 325, 324, -1, -1, 326, -1, 325, -1, 329, 327, 326, 328, -1, 330, -1, 327, -1, 329, 331, 328, 331, -1, 330, -1, 329, 332, 331, 333, -1, 330, -1, 332, -1, 334, -1, -1, 331, -1, -1, 334, -1, -1, 332, -1, -1, 335, -1, -1, 333, -1, -1, 335, 334, 336, 338, -1, 336, 335, 339, 337, -1, 337, -1, 336, -1, 338, -1, -1, 337, -1, -1, 339, -1, -1, 338, -1, -1, 340, -1, -1, 339, -1, 341, 343, -1, 340, -1, 342, -1, 344, -1, -1, 341, 343, -1, -1, 345, -1, -1, 342, -1, 344, 346, -1, -1, -1, 343, -1, 347, 345, -1, -1, -1, 344, -1, 348, 346, -1, 345, -1, 349, 347, 346, 348, -1, 350, -1, 347, -1, 349, -1, -1, 348, -1, -1, 350, -1, -1, 349, -1, -1, 351, -1, -1, 350, -1, 352, 354, -1, 351, -1, 353, -1, 355, -1, -1, 352, 354, -1, -1, 356, -1, -1, 353, -1, 355, 357, -1, -1, -1, 354, -1, 358, 356, -1, -1, -1, 355, -1, 357, 359, -1, 357, 356, -1, 358, 360, 358, -1, 357, -1, -1, 359, -1, 359, 360, -1, 358, 360, -1, 360, -1, 361, -1, 361, 359, -1, 361, -1, 362, -1, 362, 362, 362, 360, -1, 363, -1, 363, 363, 361, 363, -1, 364, -1, 364, -1, 364, 362, -1, 364, -1, -1, 365, -1, 365, 363, 365, -1, 368, -1, -1, 366, 369, 366, 364, 367, 366, 367, 367, 368, 365, 367, 368, -1, 368, -1, 366, 368, -1, 369, -1, -1, 367, -1, -1, 370, -1, -1, 368, -1, -1, 371, -1, 373, 371, -1, 369, -1, 372, -1, 372, -1, -1, 370, 373, -1, -1, 373, -1, -1, 371, -1, 374, 374, -1, -1, -1, 372, -1, 375, 375, -1, -1, -1, 373, -1, 375, 376, -1, 376, 374, -1, 376, 377, 377, -1, 375, -1, -1, 377, -1, 378, 378, -1, 376, 378, -1, 379, -1, 379, -1, 379, 377, -1, 380, -1, 380, -1, 380, 380, 381, 378, -1, 381, -1, 381, 381, 379, 382, -1, 382, -1, 382, -1, 382, 380, -1, 383, -1, -1, 383, -1, 383, 381, 384, -1, 386, -1, -1, 384, -1, 384, 382, -1, 385, -1, -1, 385, -1, 383, 386, -1, -1, 386, -1, -1, 384, -1, 387, 387, -1, -1, -1, 385, -1, 388, 388, -1, -1, -1, 386, -1, 391, 389, -1, 389, -1, 387, -1, 392, 390, 390, -1, -1, 388, -1, 393, -1, 391, 391, -1, 389, -1, -1, 394, -1, 392, 392, 390, -1, 397, -1, -1, 395, -1, 393, 393, -1, 391, 395, -1, -1, 394, 394, 394, 392, 394, -1, 397, -1, 395, 393, -1, 395, -1, -1, 398, -1, 396, 394, 396, -1, 401, 403, -1, 399, -1, 397, 395, 402, 397, -1, 400, -1, -1, 398, 400, 396, 398, -1, -1, 401, -1, 401, 397, -1, 399, -1, -1, 402, -1, -1, 400, -1, 398, 400, 399, 401, 402, 400, -1, 403, 401, 400, 402, 402, 401, -1, 403, -1, 402, 404, -1, 403, 405, -1, 404, -1, 406, -1, -1, 405, 407, 410, -1, 406, -1, 407, 408, -1, 408, -1, 409, -1, 409, -1, -1, 410, 410, 415, -1, 411, -1, 411, 412, -1, -1, 412, -1, 413, -1, 415, 413, 414, 416, -1, 416, -1, 414, -1, 417, 415, -1, 417, 416, -1, 419, 418, -1, 417, 420, 419, -1, 418, -1, 420, 419, -1, -1, 421, -1, 420, -1, 424, 422, 421, 423, -1, 425, -1, 422, -1, 424, 426, 423, 426, -1, 425, -1, 424, 427, 426, 428, -1, 425, -1, 427, -1, 429, -1, -1, 426, -1, -1, 429, -1, -1, 427, -1, -1, 430, -1, -1, 428, -1, -1, 429, -1, 430, -1, 430, -1, -1, 431, 431, 436, -1, 432, -1, 432, 433, -1, -1, 433, -1, 434, -1, 436, 434, 435, 437, -1, 437, -1, 435, -1, 437, 439, 436, 438, -1, 438, -1, 437, 439, 439, 441, -1, 438, -1, 440, -1, 442, -1, -1, 439, -1, -1, 442, -1, -1, 440, -1, -1, 443, -1, -1, 441, -1, -1, 443, 442, 444, 446, -1, 444, 443, 447, 445, -1, 445, -1, 444, -1, 446, -1, -1, 445, -1, -1, 447, -1, -1, 446, -1, -1, 448, -1, -1, 447, -1, 449, 451, -1, 448, -1, 450, -1, 452, -1, -1, 449, 451, -1, -1, 453, -1, -1, 450, -1, 452, 454, -1, -1, -1, 451, -1, 455, 453, -1, -1, -1, 452, -1, 456, 456, 453, 454, 456, 457, 455, 454, 457, 458, -1, 455, -1, 457, 456, -1, -1, 458, -1, 457, -1, 461, 459, 458, 460, -1, 462, -1, 459, -1, 461, 463, 460, 463, -1, 462, -1, 461, 464, 463, 465, -1, 462, -1, 464, -1, 466, -1, -1, 463, -1, -1, 466, -1, -1, 464, -1, -1, 467, -1, -1, 465, -1, -1, 467, 466, 468, 470, -1, 468, 467, 471, 469, -1, 469, -1, 468, -1, 470, -1, -1, 469, -1, -1, 471, -1, -1, 470, -1, -1, 472, -1, -1, 471, -1, 473, 475, -1, 472, -1, 474, -1, 476, -1, -1, 473, 475, -1, -1, 477, -1, -1, 474, -1, 476, 478, -1, -1, -1, 475, -1, 479, 477, -1, -1, -1, 476, -1, 480, 478, -1, 477, -1, 481, 479, 478, 480, -1, 482, -1, 479, -1, 481, -1, -1, 480, -1, -1, 482, -1, -1, 481, -1, -1, 483, -1, -1, 482, -1, 484, 486, -1, 483, -1, 485, -1, 487, -1, -1, 484, 486, -1, -1, 488, -1, -1, 485, -1, 487, 489, -1, -1, -1, 486, -1, 490, 488, -1, -1, -1, 487, -1, 489, 491, -1, 489, 488, -1, 490, 492, 490, -1, 489, -1, -1, 491, -1, 491, 492, -1, 490, 492, -1, 492, -1, 493, -1, 493, 491, -1, 493, -1, 494, -1, 494, 494, 494, 492, -1, 495, -1, 495, 495, 493, 495, -1, 496, -1, 496, -1, 496, 494, -1, 496, -1, -1, 497, -1, 497, 495, 497, -1, 500, -1, -1, 498, -1, 498, 496, -1, 498, 499, -1, 497, 499, 500, -1, 498, -1, 500, 499, -1, -1, 501, -1, 500, -1, 504, 502, 501, 503, -1, 505, -1, 502, -1, 504, 506, 503, 506, -1, 505, -1, 504, 507, 506, 508, -1, 505, -1, 507, -1, 509, -1, -1, 506, -1, -1, 509, -1, -1, 507, -1, -1, 510, -1, -1, 508, -1, -1, 510, 509, 511, 513, -1, 511, 510, 514, 512, -1, 512, -1, 511, -1, 513, -1, -1, 512, -1, -1, 514, -1, -1, 513, -1, -1, 515, -1, -1, 514, -1, 516, 518, -1, 515, -1, 517, -1, 519, -1, -1, 516, 518, -1, -1, 520, -1, -1, 517, -1, 519, 521, -1, -1, -1, 518, -1, 522, 520, -1, -1, -1, 519, -1, 523, 521, -1, 520, -1, 524, 522, 521, 523, -1, 525, -1, 522, -1, 524, -1, -1, 523, -1, -1, 525, -1, -1, 524, -1, -1, 526, -1, -1, 525, -1, 527, 529, -1, 526, -1, 528, -1, 530, -1, -1, 527, 529, -1, -1, 531, -1, -1, 528, -1, 530, 532, -1, -1, -1, 529, -1, 533, 531, -1, -1, -1, 530, -1, 532, 534, -1, 532, 531, -1, 533, 535, 533, -1, 532, -1, -1, 534, -1, 534, 535, -1, 533, 535, -1, 535, -1, 536, -1, 536, 534, -1, 536, -1, 537, -1, 537, 537, 537, 535, -1, 538, -1, 538, 538, 536, 538, -1, 539, -1, 539, -1, 539, 537, -1, 539, -1, -1, 540, -1, 540, 538, 540, -1, 543, -1, -1, 541, 544, 541, 539, 542, 541, 542, 542, 543, 540, 542, 543, -1, 543, -1, 541, 543, -1, 544, -1, -1, 542, -1, -1, 545, -1, -1, 543, -1, -1, 546, -1, 548, 546, -1, 544, -1, 547, -1, 547, -1, -1, 545, 548, -1, -1, 548, -1, -1, 546, -1, 549, 549, -1, -1, -1, 547, -1, 550, 550, -1, -1, -1, 548, -1, 550, 551, -1, 551, 549, -1, 551, 552, 552, -1, 550, -1, -1, 552, -1, 553, 553, -1, 551, 553, -1, 554, -1, 554, -1, 554, 552, -1, 555, -1, 555, -1, 555, 555, 556, 553, -1, 556, -1, 556, 556, 554, 557, -1, 557, -1, 557, -1, 557, 555, -1, 558, -1, -1, 558, -1, 558, 556, 559, -1, 561, -1, -1, 559, -1, 559, 557, -1, 560, -1, -1, 560, -1, 558, 561, -1, -1, 561, -1, -1, 559, -1, 562, 562, -1, -1, -1, 560, -1, 563, 563, -1, -1, -1, 561, -1, 566, 564, -1, 564, -1, 562, -1, 567, 565, 565, -1, -1, 563, -1, 568, -1, 566, 566, -1, 564, -1, -1, 569, -1, 567, 567, 565, -1, 572, -1, -1, 570, -1, 568, 568, -1, 566, 570, -1, -1, 569, 569, 569, 567, 569, -1, 572, -1, 570, 568, -1, 570, -1, -1, 573, -1, 571, 569, 571, -1, 576, 578, -1, 574, -1, 572, 570, 577, 572, -1, 575, -1, -1, 573, 575, 571, 573, -1, -1, 576, -1, 576, 572, -1, 574, -1, -1, 577, -1, -1, 575, -1, 573, 575, 581, 574, 576, -1, 575, 575, 577, 576, 576, 576, 578, 577, -1, 577, -1, 579, 578, -1, -1, 580, -1, 579, -1, 583, 581, 580, 582, -1, 584, -1, 581, -1, 583, 585, 582, 585, -1, 584, -1, 583, 586, 585, 587, -1, 584, -1, 586, -1, 588, -1, -1, 585, -1, -1, 588, -1, -1, 586, -1, -1, 589, -1, -1, 587, -1, -1, 589, 588, 590, 592, -1, 590, 589, 593, 591, -1, 591, -1, 590, -1, 592, -1, -1, 591, -1, -1, 593, -1, -1, 592, -1, -1, 594, -1, -1, 593, -1, 595, 597, -1, 594, -1, 596, -1, 598, -1, -1, 595, 597, -1, -1, 599, -1, -1, 596, -1, 598, 600, -1, -1, -1, 597, -1, 601, 599, -1, -1, -1, 598, -1, 602, 600, -1, 599, -1, 603, 601, 600, 602, -1, 604, -1, 601, -1, 603, -1, -1, 602, -1, -1, 604, -1, -1, 603, -1, -1, 605, -1, -1, 604, -1, 606, 608, -1, 605, -1, 607, -1, 609, -1, -1, 606, 608, -1, -1, 610, -1, -1, 607, -1, 609, 611, -1, -1, -1, 608, -1, 612, 610, -1, -1, -1, 609, -1, 611, 613, -1, 611, 610, -1, 612, 614, 612, -1, 611, -1, -1, 613, -1, 613, 614, -1, 612, 614, -1, 614, -1, 615, -1, 615, 613, -1, 615, -1, 616, -1, 616, 616, 616, 614, -1, 617, -1, 617, 617, 615, 617, -1, 618, -1, 618, -1, 618, 616, -1, 618, -1, -1, 619, -1, 619, 617, 619, -1, 622, -1, -1, 620, 623, 620, 618, 621, 620, 621, 621, 622, 619, 621, 622, -1, 622, -1, 620, 622, -1, 623, -1, -1, 621, -1, -1, 624, -1, -1, 622, -1, -1, 625, -1, 627, 625, -1, 623, -1, 626, -1, 626, -1, -1, 624, 627, -1, -1, 627, -1, -1, 625, -1, 628, 628, -1, -1, -1, 626, -1, 629, 629, -1, -1, -1, 627, -1, 629, 630, -1, 630, 628, -1, 630, 631, 631, -1, 629, -1, -1, 631, -1, 632, 632, -1, 630, 632, -1, 633, -1, 633, -1, 633, 631, -1, 634, -1, 634, -1, 634, 634, 635, 632, -1, 635, -1, 635, 635, 633, 636, -1, 636, -1, 636, -1, 636, 634, -1, 637, -1, -1, 637, -1, 637, 635, 638, -1, 640, -1, -1, 638, -1, 638, 636, -1, 639, -1, -1, 639, -1, 637, 640, -1, -1, 640, -1, -1, 638, -1, 641, 641, -1, -1, -1, 639, -1, 642, 642, -1, -1, -1, 640, -1, 645, 643, -1, 643, -1, 641, -1, 646, 644, 644, -1, -1, 642, -1, 647, -1, 645, 645, -1, 643, -1, -1, 648, -1, 646, 646, 644, -1, 651, -1, -1, 649, -1, 647, 647, -1, 645, 649, -1, -1, 648, 648, 648, 646, 648, -1, 651, -1, 649, 647, -1, 649, -1, -1, 652, -1, 650, 648, 650, -1, 655, 657, -1, 653, -1, 651, 649, 656, 651, -1, 654, -1, -1, 652, 654, 650, 652, -1, -1, 655, -1, 655, 651, -1, 653, -1, -1, 656, -1, -1, 654, -1, 652, 654, 658, -1, 653, 655, 654, 656, -1, 654, 656, 657, 655, -1, 655, -1, 657, -1, 656, -1, -1, 656, -1, -1, 657, -1, -1, 657, -1, -1, 658, -1, -1, 658, -1, 660, 661, -1, 659, -1, 661, -1, 662, -1, -1, 660, 662, -1, -1, 663, -1, -1, 661, -1, 663, 664, -1, -1, -1, 662, -1, 665, 664, -1, -1, -1, 663, -1, 665, 666, -1, 665, 664, -1, 666, 667, 666, -1, 665, -1, -1, 667, -1, 667, 668, -1, 666, 668, -1, 668, -1, 669, -1, 669, 667, -1, 669, -1, 670, -1, 670, 670, 670, 668, -1, 671, -1, 671, 671, 669, 671, -1, 672, -1, 672, -1, 672, 670, -1, 672, -1, -1, 673, -1, 673, 671, 673, -1, 676, -1, -1, 674, -1, 674, 672, -1, 674, -1, -1, 675, -1, 673, 675, -1, -1, 676, -1, -1, 674, -1, 676, 677, -1, -1, -1, 675, -1, 678, 677, -1, -1, -1, 676, -1, 680, 679, -1, 678, -1, 677, -1, 681, 680, 679, -1, -1, 678, -1, 682, -1, 681, 680, -1, 679, -1, -1, 683, -1, 682, 681, 680, -1, 686, -1, -1, 684, -1, 683, 682, -1, 681, 685, -1, -1, 684, 684, 683, 682, 684, -1, 687, -1, 685, 683, -1, 684, -1, -1, 688, -1, 686, 684, 685, -1, 691, 693, -1, 689, -1, 687, 685, 692, 686, -1, 690, -1, -1, 688, 689, 686, 687, -1, -1, 691, -1, 691, 687, -1, 688, -1, -1, 692, -1, -1, 690, -1, 688, 689, 694, -1, 690, 689, 690, -1, 692, 691, 691, 690, -1, 691, 693, 692, -1, 691, -1, -1, 692, -1, 694, 692, -1, -1, -1, 693, -1, 693, 695, -1, -1, -1, 694, -1, 696, 694, -1, 696, -1, 695, -1, 697, 695, 697, -1, -1, 696, -1, 698, -1, 696, 698, -1, 697, -1, -1, 699, -1, 697, 699, 698, -1, 702, -1, -1, 700, -1, 698, 700, -1, 699, 701, -1, -1, 699, 702, 701, 700, 702, -1, 702, -1, 700, 701, -1, 702, -1, -1, 703, -1, 701, 702, 703, -1, 706, 708, -1, 704, -1, 702, 703, 707, 704, -1, 705, -1, -1, 703, 707, 704, 705, -1, -1, 706, -1, 706, 704, -1, 706, -1, -1, 707, -1, -1, 707, -1, 705, 707, 712, -1, 707, -1, 706, 708, -1, 708, -1, 708, -1, 709, 707, -1, 709, -1, 709, -1, 710, 710, -1, 708, -1, -1, 710, -1, 711, 711, 709, -1, 713, 715, -1, 711, -1, 712, 712, 714, 710, -1, 712, -1, -1, 713, 713, 713, 711, -1, -1, 713, -1, 716, 714, -1, 712, -1, -1, 714, -1, -1, 717, -1, 715, 713, 717, -1, 715, -1, 717, 716, 714, 718, 718, -1, 716, -1, 717, 718, 715, 719, -1, 719, -1, 717, 719, -1, 716, 720, -1, 720, -1, -1, 718, -1, 719, 717, 719, -1, 721, -1, -1, -1, 720, 718, -1, 720, -1, 722, -1, -1, 723, 721, 719, -1, 721, -1, -1, 723, -1, 724, 722, -1, 720, -1, 722, -1, 724, -1, 725, 725, -1, 723, -1, 721, 723, 722, 723, 724, 723, -1, 724, -1, 724, 726, -1, 725, 727, -1, 726, -1, 728, -1, -1, 727, 729, 732, -1, 728, -1, 729, 730, -1, 730, -1, 731, -1, 731, -1, -1, 732, 732, 737, -1, 733, -1, 733, 734, -1, -1, 734, -1, 735, -1, 737, 735, 736, 738, -1, 738, -1, 736, -1, 739, 737, -1, 739, 738, -1, 741, 740, -1, 739, 742, 741, -1, 740, -1, 742, 741, -1, -1, 743, -1, 742, -1, 746, 744, 743, 745, -1, 747, -1, 744, -1, 746, 748, 745, 748, -1, 747, -1, 746, 749, 748, 750, -1, 747, -1, 749, -1, 751, -1, -1, 748, -1, -1, 751, -1, -1, 749, -1, -1, 752, -1, -1, 750, -1, -1, 751, -1, 752, -1, 752, -1, -1, 753, 753, 758, -1, 754, -1, 754, 755, -1, -1, 755, -1, 756, -1, 758, 756, 757, 759, -1, 759, -1, 757, -1, 759, 761, 758, 760, -1, 760, -1, 759, 761, 761, 763, -1, 760, -1, 762, -1, 764, -1, -1, 761, -1, -1, 764, -1, -1, 762, -1, -1, 765, -1, -1, 763, -1, -1, 765, 764, 766, 768, -1, 766, 765, 769, 767, -1, 767, -1, 766, -1, 768, -1, -1, 767, -1, -1, 769, -1, -1, 768, -1, -1, 770, -1, -1, 769, -1, 771, 773, -1, 770, -1, 772, -1, 774, -1, -1, 771, 773, -1, -1, 775, -1, -1, 772, -1, 774, 776, -1, -1, -1, 773, -1, 777, 775, -1, -1, -1, 774, -1, 778, 778, 775, 776, 778, 779, 777, 776, 779, 780, -1, 777, -1, 779, 778, -1, -1, 780, -1, 779, -1, 783, 781, 780, 782, -1, 784, -1, 781, -1, 783, 785, 782, 785, -1, 784, -1, 783, 786, 785, 787, -1, 784, -1, 786, -1, 788, -1, -1, 785, -1, -1, 788, -1, -1, 786, -1, -1, 789, -1, -1, 787, -1, -1, 789, 788, 790, 792, -1, 790, 789, 793, 791, -1, 791, -1, 790, -1, 792, -1, -1, 791, -1, -1, 793, -1, -1, 792, -1, -1, 794, -1, -1, 793, -1, 795, 797, -1, 794, -1, 796, -1, 798, -1, -1, 795, 797, -1, -1, 799, -1, -1, 796, -1, 798, 800, -1, -1, -1, 797, -1, 801, 799, -1, -1, -1, 798, -1, 802, 800, -1, 799, -1, 803, 801, 800, 802, -1, 804, -1, 801, -1, 803, -1, -1, 802, -1, -1, 804, -1, -1, 803, -1, -1, 805, -1, -1, 804, -1, 806, 808, -1, 805, -1, 807, -1, 809, -1, -1, 806, 808, -1, -1, 810, -1, -1, 807, -1, 809, 811, -1, -1, -1, 808, -1, 812, 810, -1, -1, -1, 809, -1, 811, 813, -1, 811, 810, -1, 812, 814, 812, -1, 811, -1, -1, 813, -1, 813, 814, -1, 812, 814, -1, 814, -1, 815, -1, 815, 813, -1, 815, -1, 816, -1, 816, 816, 816, 814, -1, 817, -1, 817, 817, 815, 817, -1, 818, -1, 818, -1, 818, 816, -1, 818, -1, -1, 819, -1, 819, 817, 819, -1, 822, -1, -1, 820, -1, 820, 818, -1, 820, 821, -1, 819, 821, 822, -1, 820, -1, 822, 821, -1, -1, 823, -1, 822, -1, 826, 824, 823, 825, -1, 827, -1, 824, -1, 826, 828, 825, 828, -1, 827, -1, 826, 829, 828, 830, -1, 827, -1, 829, -1, 831, -1, -1, 828, -1, -1, 831, -1, -1, 829, -1, -1, 832, -1, -1, 830, -1, -1, 832, 831, 833, 835, -1, 833, 832, 836, 834, -1, 834, -1, 833, -1, 835, -1, -1, 834, -1, -1, 836, -1, -1, 835, -1, -1, 837, -1, -1, 836, -1, 838, 840, -1, 837, -1, 839, -1, 841, -1, -1, 838, 840, -1, -1, 842, -1, -1, 839, -1, 841, 843, -1, -1, -1, 840, -1, 844, 842, -1, -1, -1, 841, -1, 845, 843, -1, 842, -1, 846, 844, 843, 845, -1, 847, -1, 844, -1, 846, -1, -1, 845, -1, -1, 847, -1, -1, 846, -1, -1, 848, -1, -1, 847, -1, 849, 851, -1, 848, -1, 850, -1, 852, -1, -1, 849, 851, -1, -1, 853, -1, -1, 850, -1, 852, 854, -1, -1, -1, 851, -1, 855, 853, -1, -1, -1, 852, -1, 854, 856, -1, 854, 853, -1, 855, 857, 855, -1, 854, -1, -1, 856, -1, 856, 857, -1, 855, 857, -1, 857, -1, 858, -1, 858, 856, -1, 858, -1, 859, -1, 859, 859, 859, 857, -1, 860, -1, 860, 860, 858, 860, -1, 861, -1, 861, -1, 861, 859, -1, 861, -1, -1, 862, -1, 862, 860, 862, -1, 865, -1, -1, 863, 866, 863, 861, 864, 863, 864, 864, 865, 862, 864, 865, -1, 865, -1, 863, 865, -1, 866, -1, -1, 864, -1, -1, 867, -1, -1, 865, -1, -1, 868, -1, 870, 868, -1, 866, -1, 869, -1, 869, -1, -1, 867, 870, -1, -1, 870, -1, -1, 868, -1, 871, 871, -1, -1, -1, 869, -1, 872, 872, -1, -1, -1, 870, -1, 872, 873, -1, 873, 871, -1, 873, 874, 874, -1, 872, -1, -1, 874, -1, 875, 875, -1, 873, 875, -1, 876, -1, 876, -1, 876, 874, -1, 877, -1, 877, -1, 877, 877, 878, 875, -1, 878, -1, 878, 878, 876, 879, -1, 879, -1, 879, -1, 879, 877, -1, 880, -1, -1, 880, -1, 880, 878, 881, -1, 883, -1, -1, 881, -1, 881, 879, -1, 882, -1, -1, 882, -1, 880, 883, -1, -1, 883, -1, -1, 881, -1, 884, 884, -1, -1, -1, 882, -1, 885, 885, -1, -1, -1, 883, -1, 888, 886, -1, 886, -1, 884, -1, 889, 887, 887, -1, -1, 885, -1, 890, -1, 888, 888, -1, 886, -1, -1, 891, -1, 889, 889, 887, -1, 894, -1, -1, 892, -1, 890, 890, -1, 888, 892, -1, -1, 891, 891, 891, 889, 891, -1, 894, -1, 892, 890, -1, 892, -1, -1, 895, -1, 893, 891, 893, -1, 898, 900, -1, 896, -1, 894, 892, 899, 894, -1, 897, -1, -1, 895, 897, 893, 895, -1, -1, 898, -1, 898, 894, -1, 896, -1, -1, 899, -1, -1, 897, -1, 895, 897, 903, 896, 898, -1, 897, 897, 899, 898, 898, 898, 900, 899, -1, 899, -1, 901, 900, -1, -1, 902, -1, 901, -1, 905, 903, 902, 904, -1, 906, -1, 903, -1, 905, 907, 904, 907, -1, 906, -1, 905, 908, 907, 909, -1, 906, -1, 908, -1, 910, -1, -1, 907, -1, -1, 910, -1, -1, 908, -1, -1, 911, -1, -1, 909, -1, -1, 911, 910, 912, 914, -1, 912, 911, 915, 913, -1, 913, -1, 912, -1, 914, -1, -1, 913, -1, -1, 915, -1, -1, 914, -1, -1, 916, -1, -1, 915, -1, 917, 919, -1, 916, -1, 918, -1, 920, -1, -1, 917, 919, -1, -1, 921, -1, -1, 918, -1, 920, 922, -1, -1, -1, 919, -1, 923, 921, -1, -1, -1, 920, -1, 924, 922, -1, 921, -1, 925, 923, 922, 924, -1, 926, -1, 923, -1, 925, -1, -1, 924, -1, -1, 926, -1, -1, 925, -1, -1, 927, -1, -1, 926, -1, 928, 930, -1, 927, -1, 929, -1, 931, -1, -1, 928, 930, -1, -1, 932, -1, -1, 929, -1, 931, 933, -1, -1, -1, 930, -1, 934, 932, -1, -1, -1, 931, -1, 933, 935, -1, 933, 932, -1, 934, 936, 934, -1, 933, -1, -1, 935, -1, 935, 936, -1, 934, 936, -1, 936, -1, 937, -1, 937, 935, -1, 937, -1, 938, -1, 938, 938, 938, 936, -1, 939, -1, 939, 939, 937, 939, -1, 940, -1, 940, -1, 940, 938, -1, 940, -1, -1, 941, -1, 941, 939, 941, -1, 944, -1, -1, 942, 945, 942, 940, 943, 942, 943, 943, 944, 941, 943, 944, -1, 944, -1, 942, 944, -1, 945, -1, -1, 943, -1, -1, 946, -1, -1, 944, -1, -1, 947, -1, 949, 947, -1, 945, -1, 948, -1, 948, -1, -1, 946, 949, -1, -1, 949, -1, -1, 947, -1, 950, 950, -1, -1, -1, 948, -1, 951, 951, -1, -1, -1, 949, -1, 951, 952, -1, 952, 950, -1, 952, 953, 953, -1, 951, -1, -1, 953, -1, 954, 954, -1, 952, 954, -1, 955, -1, 955, -1, 955, 953, -1, 956, -1, 956, -1, 956, 956, 957, 954, -1, 957, -1, 957, 957, 955, 958, -1, 958, -1, 958, -1, 958, 956, -1, 959, -1, -1, 959, -1, 959, 957, 960, -1, 962, -1, -1, 960, -1, 960, 958, -1, 961, -1, -1, 961, -1, 959, 962, -1, -1, 962, -1, -1, 960, -1, 963, 963, -1, -1, -1, 961, -1, 964, 964, -1, -1, -1, 962, -1, 967, 965, -1, 965, -1, 963, -1, 968, 966, 966, -1, -1, 964, -1, 969, -1, 967, 967, -1, 965, -1, -1, 970, -1, 968, 968, 966, -1, 973, -1, -1, 971, -1, 969, 969, -1, 967, 971, -1, -1, 970, 970, 970, 968, 970, -1, 973, -1, 971, 969, -1, 971, -1, -1, 974, -1, 972, 970, 972, -1, 977, 979, -1, 975, -1, 973, 971, 978, 973, -1, 976, -1, -1, 974, 976, 972, 974, -1, -1, 977, -1, 977, 973, -1, 975, -1, -1, 978, -1, -1, 976, -1, 974, 976, 980, -1, 975, 977, 976, 978, -1, 976, 978, 979, 977, -1, 977, -1, 979, -1, 978, -1, -1, 978, -1, -1, 979, -1, -1, 979, -1, -1, 980, -1, -1, 980, -1, 982, 983, -1, 981, -1, 983, -1, 984, -1, -1, 982, 984, -1, -1, 985, -1, -1, 983, -1, 985, 986, -1, -1, -1, 984, -1, 987, 986, -1, -1, -1, 985, -1, 987, 988, -1, 987, 986, -1, 988, 989, 988, -1, 987, -1, -1, 989, -1, 989, 990, -1, 988, 990, -1, 990, -1, 991, -1, 991, 989, -1, 991, -1, 992, -1, 992, 992, 992, 990, -1, 993, -1, 993, 993, 991, 993, -1, 994, -1, 994, -1, 994, 992, -1, 994, -1, -1, 995, -1, 995, 993, 995, -1, 998, -1, -1, 996, -1, 996, 994, -1, 996, -1, -1, 997, -1, 995, 997, -1, -1, 998, -1, -1, 996, -1, 998, 999, -1, -1, -1, 997, -1, 1000, 999, -1, -1, -1, 998, -1, 1002, 1001, -1, 1000, -1, 999, -1, 1003, 1002, 1001, -1, -1, 1000, -1, 1004, -1, 1003, 1002, -1, 1001, -1, -1, 1005, -1, 1004, 1003, 1002, -1, 1008, -1, -1, 1006, -1, 1005, 1004, -1, 1003, 1007, -1, -1, 1006, 1006, 1005, 1004, 1006, -1, 1009, -1, 1007, 1005, -1, 1006, -1, -1, 1010, -1, 1008, 1006, 1007, -1, 1013, 1015, -1, 1011, -1, 1009, 1007, 1014, 1008, -1, 1012, -1, -1, 1010, 1011, 1008, 1009, -1, -1, 1013, -1, 1013, 1009, -1, 1010, -1, -1, 1014, -1, -1, 1012, -1, 1010, 1011, 1016, -1, 1012, 1011, 1012, -1, 1014, 1013, 1013, 1012, -1, 1013, 1015, 1014, -1, 1013, -1, -1, 1014, -1, 1016, 1014, -1, -1, -1, 1015, -1, 1015, 1017, -1, -1, -1, 1016, -1, 1018, 1016, -1, 1018, -1, 1017, -1, 1019, 1017, 1019, -1, -1, 1018, -1, 1020, -1, 1018, 1020, -1, 1019, -1, -1, 1021, -1, 1019, 1021, 1020, -1, 1024, -1, -1, 1022, -1, 1020, 1022, -1, 1021, 1023, -1, -1, 1021, 1024, 1023, 1022, 1024, -1, 1024, -1, 1022, 1023, -1, 1024, -1, -1, 1025, -1, 1023, 1024, 1025, -1, 1028, 1030, -1, 1026, -1, 1024, 1025, 1029, 1026, -1, 1027, -1, -1, 1025, 1029, 1026, 1027, -1, -1, 1028, -1, 1028, 1026, -1, 1028, -1, -1, 1029, -1, -1, 1029, -1, 1027, 1029, 1034, -1, 1029, -1, 1028, 1030, -1, 1030, -1, 1030, -1, 1031, 1029, -1, 1031, -1, 1031, -1, 1032, 1032, -1, 1030, -1, -1, 1032, -1, 1033, 1033, 1031, -1, 1035, 1037, -1, 1033, -1, 1034, 1034, 1036, 1032, -1, 1034, -1, -1, 1035, 1035, 1035, 1033, -1, -1, 1035, -1, 1038, 1036, -1, 1034, -1, -1, 1036, -1, -1, 1039, -1, 1037, 1035, 1039, -1, 1037, -1, 1039, 1038, 1036, 1040, 1040, -1, 1038, -1, 1039, 1040, 1037, 1041, -1, 1041, -1, 1039, 1041, -1, 1038, 1042, -1, 1042, -1, -1, 1040, -1, 1041, 1039, 1041, -1, 1043, -1, -1, -1, 1042, 1040, -1, 1042, -1, 1044, -1, -1, 1045, 1043, 1041, -1, 1043, -1, -1, 1045, -1, 1046, 1044, -1, 1042, -1, 1044, -1, 1046, -1, -1, 1047, -1, 1045, 1048, 1043, 1045, 1046, 1044, 1048, 1046, 1047, -1, 1045, -1, 1047, 1046, -1, -1, 1048, -1, 1047, -1, 1051, 1049, 1048, 1050, -1, 1052, -1, 1049, -1, 1051, 1053, 1050, 1053, -1, 1052, -1, 1051, 1054, 1053, 1055, -1, 1052, -1, 1054, -1, 1056, -1, -1, 1053, -1, -1, 1056, -1, -1, 1054, -1, -1, 1057, -1, -1, 1055, -1, -1, 1057, 1056, 1058, 1060, -1, 1058, 1057, 1061, 1059, -1, 1059, -1, 1058, -1, 1060, -1, -1, 1059, -1, -1, 1061, -1, -1, 1060, -1, -1, 1062, -1, -1, 1061, -1, 1063, 1065, -1, 1062, -1, 1064, -1, 1066, -1, -1, 1063, 1065, -1, -1, 1067, -1, -1, 1064, -1, 1066, 1068, -1, -1, -1, 1065, -1, 1069, 1067, -1, -1, -1, 1066, -1, 1070, 1068, -1, 1067, -1, 1071, 1069, 1068, 1070, -1, 1072, -1, 1069, -1, 1071, -1, -1, 1070, -1, -1, 1072, -1, -1, 1071, -1, -1, 1073, -1, -1, 1072, -1, 1074, 1076, -1, 1073, -1, 1075, -1, 1077, -1, -1, 1074, 1076, -1, -1, 1078, -1, -1, 1075, -1, 1077, 1079, -1, -1, -1, 1076, -1, 1080, 1078, -1, -1, -1, 1077, -1, 1079, 1081, -1, 1079, 1078, -1, 1080, 1082, 1080, -1, 1079, -1, -1, 1081, -1, 1081, 1082, -1, 1080, 1082, -1, 1082, -1, 1083, -1, 1083, 1081, -1, 1083, -1, 1084, -1, 1084, 1084, 1084, 1082, -1, 1085, -1, 1085, 1085, 1083, 1085, -1, 1086, -1, 1086, -1, 1086, 1084, -1, 1086, -1, -1, 1087, -1, 1087, 1085, 1087, -1, 1090, -1, -1, 1088, 1091, 1088, 1086, 1089, 1088, 1089, 1089, 1090, 1087, 1089, 1090, -1, 1090, -1, 1088, 1090, -1, 1091, -1, -1, 1089, -1, -1, 1092, -1, -1, 1090, -1, -1, 1093, -1, 1095, 1093, -1, 1091, -1, 1094, -1, 1094, -1, -1, 1092, 1095, -1, -1, 1095, -1, -1, 1093, -1, 1096, 1096, -1, -1, -1, 1094, -1, 1097, 1097, -1, -1, -1, 1095, -1, 1097, 1098, -1, 1098, 1096, -1, 1098, 1099, 1099, -1, 1097, -1, -1, 1099, -1, 1100, 1100, -1, 1098, 1100, -1, 1101, -1, 1101, -1, 1101, 1099, -1, 1102, -1, 1102, -1, 1102, 1102, 1103, 1100, -1, 1103, -1, 1103, 1103, 1101, 1104, -1, 1104, -1, 1104, -1, 1104, 1102, -1, 1105, -1, -1, 1105, -1, 1105, 1103, 1106, -1, 1108, -1, -1, 1106, -1, 1106, 1104, -1, 1107, -1, -1, 1107, -1, 1105, 1108, -1, -1, 1108, -1, -1, 1106, -1, 1109, 1109, -1, -1, -1, 1107, -1, 1110, 1110, -1, -1, -1, 1108, -1, 1113, 1111, -1, 1111, -1, 1109, -1, 1114, 1112, 1112, -1, -1, 1110, -1, 1115, -1, 1113, 1113, -1, 1111, -1, -1, 1116, -1, 1114, 1114, 1112, -1, 1119, -1, -1, 1117, -1, 1115, 1115, -1, 1113, 1117, -1, -1, 1116, 1116, 1116, 1114, 1116, -1, 1119, -1, 1117, 1115, -1, 1117, -1, -1, 1120, -1, 1118, 1116, 1118, -1, 1123, 1125, -1, 1121, -1, 1119, 1117, 1124, 1119, -1, 1122, -1, -1, 1120, 1122, 1118, 1120, -1, -1, 1123, -1, 1123, 1119, -1, 1121, -1, -1, 1124, -1, -1, 1122, -1, 1120, 1122, 1126, -1, 1121, 1123, 1122, 1124, -1, 1122, 1124, 1125, 1123, -1, 1123, -1, 1125, -1, 1124, -1, -1, 1124, -1, -1, 1125, -1, -1, 1125, -1, -1, 1126, -1, -1, 1126, -1, 1128, 1129, -1, 1127, -1, 1129, -1, 1130, -1, -1, 1128, 1130, -1, -1, 1131, -1, -1, 1129, -1, 1131, 1132, -1, -1, -1, 1130, -1, 1133, 1132, -1, -1, -1, 1131, -1, 1133, 1134, -1, 1133, 1132, -1, 1134, 1135, 1134, -1, 1133, -1, -1, 1135, -1, 1135, 1136, -1, 1134, 1136, -1, 1136, -1, 1137, -1, 1137, 1135, -1, 1137, -1, 1138, -1, 1138, 1138, 1138, 1136, -1, 1139, -1, 1139, 1139, 1137, 1139, -1, 1140, -1, 1140, -1, 1140, 1138, -1, 1140, -1, -1, 1141, -1, 1141, 1139, 1141, -1, 1144, -1, -1, 1142, -1, 1142, 1140, -1, 1142, -1, -1, 1143, -1, 1141, 1143, -1, -1, 1144, -1, -1, 1142, -1, 1144, 1145, -1, -1, -1, 1143, -1, 1146, 1145, -1, -1, -1, 1144, -1, 1148, 1147, -1, 1146, -1, 1145, -1, 1149, 1148, 1147, -1, -1, 1146, -1, 1150, -1, 1149, 1148, -1, 1147, -1, -1, 1151, -1, 1150, 1149, 1148, -1, 1154, -1, -1, 1152, -1, 1151, 1150, -1, 1149, 1153, -1, -1, 1152, 1152, 1151, 1150, 1152, -1, 1155, -1, 1153, 1151, -1, 1152, -1, -1, 1156, -1, 1154, 1152, 1153, -1, 1159, 1161, -1, 1157, -1, 1155, 1153, 1160, 1154, -1, 1158, -1, -1, 1156, 1157, 1154, 1155, -1, -1, 1159, -1, 1159, 1155, -1, 1156, -1, -1, 1160, -1, -1, 1158, -1, 1156, 1157, 1162, -1, 1158, 1157, 1158, -1, 1160, 1159, 1159, 1158, -1, 1159, 1161, 1160, -1, 1159, -1, -1, 1160, -1, 1162, 1160, -1, -1, -1, 1161, -1, 1161, 1163, -1, -1, -1, 1162, -1, 1164, 1162, -1, 1164, -1, 1163, -1, 1165, 1163, 1165, -1, -1, 1164, -1, 1166, -1, 1164, 1166, -1, 1165, -1, -1, 1167, -1, 1165, 1167, 1166, -1, 1170, -1, -1, 1168, -1, 1166, 1168, -1, 1167, 1169, -1, -1, 1167, 1170, 1169, 1168, 1170, -1, 1170, -1, 1168, 1169, -1, 1170, -1, -1, 1171, -1, 1169, 1170, 1171, -1, 1174, 1176, -1, 1172, -1, 1170, 1171, 1175, 1172, -1, 1173, -1, -1, 1171, 1175, 1172, 1173, -1, -1, 1174, -1, 1174, 1172, -1, 1174, -1, -1, 1175, -1, -1, 1175, -1, 1173, 1175, 1180, -1, 1175, -1, 1174, 1176, -1, 1176, -1, 1176, -1, 1177, 1175, -1, 1177, -1, 1177, -1, 1178, 1178, -1, 1176, -1, -1, 1178, -1, 1179, 1179, 1177, -1, 1181, 1183, -1, 1179, -1, 1180, 1180, 1182, 1178, -1, 1180, -1, -1, 1181, 1181, 1181, 1179, -1, -1, 1181, -1, 1184, 1182, -1, 1180, -1, -1, 1182, -1, -1, 1185, -1, 1183, 1181, 1185, -1, 1183, -1, 1185, 1184, 1182, 1186, 1186, -1, 1184, -1, 1185, 1186, 1183, 1187, -1, 1187, -1, 1185, 1187, -1, 1184, 1188, -1, 1188, -1, -1, 1186, -1, 1187, 1185, 1187, -1, 1189, -1, -1, -1, 1188, 1186, -1, 1188, -1, 1190, -1, -1, 1191, 1189, 1187, -1, 1189, -1, -1, 1191, -1, 1192, 1190, -1, 1188, -1, 1190, -1, 1192, -1, -1, 1193, 1193, 1191, -1, 1189, 1194, 1194, 1191, 1190, 1192, 1195, 1194, -1, 1191, -1, 1193, 1196, -1, 1192, -1, -1, 1194, -1, -1, 1193, -1, -1, 1195, -1, -1, 1194, -1, 1196, 1198, -1, 1195, -1, 1197, -1, 1199, -1, -1, 1196, 1198, -1, -1, 1200, -1, -1, 1197, -1, 1199, 1201, -1, -1, -1, 1198, -1, 1202, 1200, -1, -1, -1, 1199, -1, 1201, 1203, -1, 1201, 1200, -1, 1202, 1204, 1202, -1, 1201, -1, -1, 1203, -1, 1203, 1204, -1, 1202, 1204, -1, 1204, -1, 1205, -1, 1205, 1203, -1, 1205, -1, 1206, -1, 1206, 1206, 1206, 1204, -1, 1207, -1, 1207, 1207, 1205, 1207, -1, 1208, -1, 1208, -1, 1208, 1206, -1, 1208, -1, -1, 1209, -1, 1209, 1207, 1209, -1, 1212, -1, -1, 1210, -1, 1210, 1208, -1, 1210, -1, -1, 1211, -1, 1209, 1211, -1, -1, 1212, -1, -1, 1210, -1, 1212, 1213, -1, -1, -1, 1211, -1, 1214, 1213, -1, -1, -1, 1212, -1, 1216, 1215, -1, 1214, -1, 1213, -1, 1217, 1216, 1215, -1, -1, 1214, -1, 1218, -1, 1217, 1216, -1, 1215, -1, -1, 1219, -1, 1218, 1217, 1216, -1, 1222, -1, -1, 1220, -1, 1219, 1218, -1, 1217, 1221, -1, -1, 1220, 1220, 1219, 1218, 1220, -1, 1223, -1, 1221, 1219, -1, 1220, -1, -1, 1224, -1, 1222, 1220, 1221, -1, 1227, 1229, -1, 1225, -1, 1223, 1221, 1228, 1222, -1, 1226, -1, -1, 1224, 1225, 1222, 1223, -1, -1, 1227, -1, 1227, 1223, -1, 1224, -1, -1, 1228, -1, -1, 1226, -1, 1224, 1225, 1230, -1, 1226, 1225, 1226, -1, 1228, 1227, 1227, 1226, -1, 1227, 1229, 1228, -1, 1227, -1, -1, 1228, -1, 1230, 1228, -1, -1, -1, 1229, -1, 1229, 1231, -1, -1, -1, 1230, -1, 1232, 1230, -1, 1232, -1, 1231, -1, 1233, 1231, 1233, -1, -1, 1232, -1, 1234, -1, 1232, 1234, -1, 1233, -1, -1, 1235, -1, 1233, 1235, 1234, -1, 1238, -1, -1, 1236, -1, 1234, 1236, -1, 1235, 1237, -1, -1, 1235, 1238, 1237, 1236, 1238, -1, 1238, -1, 1236, 1237, -1, 1238, -1, -1, 1239, -1, 1237, 1238, 1239, -1, 1242, 1244, -1, 1240, -1, 1238, 1239, 1243, 1240, -1, 1241, -1, -1, 1239, 1243, 1240, 1241, -1, -1, 1242, -1, 1242, 1240, -1, 1242, -1, -1, 1243, -1, -1, 1243, -1, 1241, 1243, 1248, -1, 1243, -1, 1242, 1244, -1, 1244, -1, 1244, -1, 1245, 1243, -1, 1245, -1, 1245, -1, 1246, 1246, -1, 1244, -1, -1, 1246, -1, 1247, 1247, 1245, -1, 1249, 1251, -1, 1247, -1, 1248, 1248, 1250, 1246, -1, 1248, -1, -1, 1249, 1249, 1249, 1247, -1, -1, 1249, -1, 1252, 1250, -1, 1248, -1, -1, 1250, -1, -1, 1253, -1, 1251, 1249, 1253, -1, 1251, -1, 1253, 1252, 1250, 1254, 1254, -1, 1252, -1, 1253, 1254, 1251, 1255, -1, 1255, -1, 1253, 1255, -1, 1252, 1256, -1, 1256, -1, -1, 1254, -1, 1255, 1253, 1255, -1, 1257, -1, -1, -1, 1256, 1254, -1, 1256, -1, 1258, -1, -1, 1259, 1257, 1255, -1, 1257, -1, -1, 1259, -1, 1260, 1258, -1, 1256, -1, 1258, -1, 1260, -1, -1, 1261, -1, 1259, -1, 1257, 1259, -1, 1259, 1260, 1258, -1, 1260, -1, -1, 1260, -1, 1259, 1261, -1, 1261, 1261, -1, 1260, -1, 1262, -1, 1262, 1262, -1, 1261, -1, 1263, -1, 1265, 1263, 1262, 1263, -1, 1264, -1, 1266, 1264, 1264, 1263, -1, 1265, -1, 1267, -1, 1265, 1265, -1, 1264, -1, -1, 1268, -1, 1266, 1266, 1265, -1, 1271, -1, -1, 1269, -1, 1267, 1267, -1, 1266, 1270, -1, -1, 1268, 1269, 1268, 1267, 1269, -1, 1271, -1, 1269, 1268, -1, 1269, -1, -1, 1272, -1, 1270, 1269, 1270, -1, 1275, 1277, -1, 1273, -1, 1271, 1270, 1276, 1271, -1, 1274, -1, -1, 1272, 1274, 1271, 1272, -1, -1, 1275, -1, 1275, 1272, -1, 1273, -1, -1, 1276, -1, -1, 1275, -1, 1273, 1274, 1280, -1, 1275, -1, 1274, 1275, -1, 1276, -1, 1276, -1, 1276, 1275, -1, 1277, -1, 1277, -1, 1278, 1277, -1, 1276, -1, -1, 1278, -1, 1279, 1278, 1277, -1, 1281, 1283, -1, 1279, -1, 1280, 1279, 1282, 1278, -1, 1280, -1, -1, 1281, 1281, 1280, 1279, -1, -1, 1281, -1, 1284, 1281, -1, 1280, -1, -1, 1282, -1, -1, 1284, -1, 1282, 1281, 1284, -1, 1283, -1, 1285, 1283, 1282, 1285, 1285, -1, 1284, -1, 1284, 1286, 1283, 1286, -1, 1286, -1, 1285, 1287, -1, 1284, 1287, -1, 1287, -1, -1, 1286, -1, 1287, 1285, 1287, -1, 1288, -1, -1, -1, 1288, 1286, -1, 1288, -1, 1289, -1, -1, 1291, 1289, 1287, -1, 1289, -1, -1, 1290, -1, 1292, 1290, -1, 1288, -1, 1290, -1, 1291, -1, -1, 1293, -1, 1291, 1292, 1289, 1295, 1294, 1291, -1, 1292, 1290, 1293, 1296, 1294, -1, 1292, -1, 1293, 1291, -1, 1294, -1, -1, 1293, -1, 1294, 1292, 1295, -1, 1296, 1298, -1, 1294, -1, 1295, 1293, 1297, 1296, -1, 1295, -1, -1, 1296, 1298, 1294, 1296, -1, -1, 1296, -1, 1299, 1295, -1, 1297, -1, -1, 1297, -1, -1, 1298, -1, 1296, 1298, 1298, -1, 1298, -1, 1300, 1297, 1299, 1299, 1299, -1, 1299, -1, 1298, 1301, 1300, 1300, -1, 1300, -1, 1300, 1302, -1, 1299, 1301, -1, 1301, -1, -1, 1301, -1, 1302, 1300, 1302, -1, 1302, -1, -1, -1, 1303, 1301, -1, 1303, -1, 1303, -1, -1, 1306, 1304, 1302, -1, 1304, -1, -1, 1304, -1, 1306, 1305, -1, 1303, -1, 1305, -1, 1305, -1, -1, 1307, -1, 1306, -1, 1304, 1308, -1, 1306, -1, -1, 1307, 1305, -1, 1309, -1, -1, 1307, -1, 1308, 1308, -1, 1306, -1, -1, 1308, -1, -1, 1309, -1, 1309, 1307, 1309, -1, 1309, -1, -1, -1, 1310, 1308, -1, 1310, -1, 1310, -1, -1, 1313, 1311, 1309, -1, 1311, -1, -1, 1311, -1, 1313, 1312, -1, 1310, -1, 1312, -1, 1312, -1, 1314, 1314, -1, 1313, -1, 1311, 1313, -1, 1313, 1315, -1, -1, 1314, 1312, 1314, 1314, -1, -1, 1314, -1, -1, 1313, -1, 1315, 1315, -1, -1, -1, 1315, -1, 1314, -1, -1, 1316, -1, 1316, -1, 1318, -1, 1315, 1316, -1, 1317, -1, -1, 1317, 1318, 1319, -1, 1316, -1, 1317, -1, 1318, 1318, -1, 1319, 1320, -1, 1317, -1, -1, 1318, 1319, 1319, 1319, -1, 1320, 1320, -1, 1321, 1318, 1320, 1320, 1319, -1, 1321, -1, 1320, 1322, -1, 1321, 1323, -1, 1322, -1, 1324, -1, -1, 1323, 1325, 1328, -1, 1324, -1, 1325, 1326, -1, 1326, -1, 1327, -1, 1327, -1, -1, 1328, 1328, 1333, -1, 1329, -1, 1329, 1330, -1, -1, 1330, -1, 1331, -1, 1333, 1331, 1332, 1334, -1, 1334, -1, 1332, -1, 1335, 1333, -1, 1335, 1334, -1, 1337, 1336, -1, 1335, 1338, 1337, -1, 1336, -1, 1338, 1337, -1, -1, 1339, -1, 1338, -1, 1342, 1340, 1339, 1341, -1, 1343, -1, 1340, -1, 1342, 1344, 1341, 1344, -1, 1343, -1, 1342, 1345, 1344, 1346, -1, 1343, -1, 1345, -1, 1347, -1, -1, 1344, -1, -1, 1347, -1, -1, 1345, -1, -1, 1348, -1, -1, 1346, -1, -1, 1347, -1, 1348, -1, 1348, -1, -1, 1349, 1349, 1354, -1, 1350, -1, 1350, 1351, -1, -1, 1351, -1, 1352, -1, 1354, 1352, 1353, 1355, -1, 1355, -1, 1353, -1, 1355, 1357, 1354, 1356, -1, 1356, -1, 1355, 1357, 1357, 1359, -1, 1356, -1, 1358, -1, 1360, -1, -1, 1357, -1, -1, 1360, -1, -1, 1358, -1, -1, 1361, -1, -1, 1359, -1, -1, 1361, 1360, 1362, 1364, -1, 1362, 1361, 1365, 1363, -1, 1363, -1, 1362, -1, 1364, -1, -1, 1363, -1, -1, 1365, -1, -1, 1364, -1, -1, 1366, -1, -1, 1365, -1, 1367, 1369, -1, 1366, -1, 1368, -1, 1370, -1, -1, 1367, 1369, -1, -1, 1371, -1, -1, 1368, -1, 1370, 1372, -1, -1, -1, 1369, -1, 1373, 1371, -1, -1, -1, 1370, -1, 1374, 1374, 1371, 1372, 1374, 1375, 1373, 1372, 1375, 1376, -1, 1373, -1, 1375, 1374, -1, -1, 1376, -1, 1375, -1, 1379, 1377, 1376, 1378, -1, 1380, -1, 1377, -1, 1379, 1381, 1378, 1381, -1, 1380, -1, 1379, 1382, 1381, 1383, -1, 1380, -1, 1382, -1, 1384, -1, -1, 1381, -1, -1, 1384, -1, -1, 1382, -1, -1, 1385, -1, -1, 1383, -1, -1, 1385, 1384, 1386, 1388, -1, 1386, 1385, 1389, 1387, -1, 1387, -1, 1386, -1, 1388, -1, -1, 1387, -1, -1, 1389, -1, -1, 1388, -1, -1, 1390, -1, -1, 1389, -1, 1391, 1393, -1, 1390, -1, 1392, -1, 1394, -1, -1, 1391, 1393, -1, -1, 1395, -1, -1, 1392, -1, 1394, 1396, -1, -1, -1, 1393, -1, 1397, 1395, -1, -1, -1, 1394, -1, 1398, 1396, -1, 1395, -1, 1399, 1397, 1396, 1398, -1, 1400, -1, 1397, -1, 1399, -1, -1, 1398, -1, -1, 1400, -1, -1, 1399, -1, -1, 1401, -1, -1, 1400, -1, 1402, 1404, -1, 1401, -1, 1403, -1, 1405, -1, -1, 1402, 1404, -1, -1, 1406, -1, -1, 1403, -1, 1405, 1407, -1, -1, -1, 1404, -1, 1408, 1406, -1, -1, -1, 1405, -1, 1407, 1409, -1, 1407, 1406, -1, 1408, 1410, 1408, -1, 1407, -1, -1, 1409, -1, 1409, 1410, -1, 1408, 1410, -1, 1410, -1, 1411, -1, 1411, 1409, -1, 1411, -1, 1412, -1, 1412, 1412, 1412, 1410, -1, 1413, -1, 1413, 1413, 1411, 1413, -1, 1414, -1, 1414, -1, 1414, 1412, -1, 1414, -1, -1, 1415, -1, 1415, 1413, 1415, -1, 1418, -1, -1, 1416, -1, 1416, 1414, -1, 1416, 1417, -1, 1415, 1417, 1418, -1, 1416, -1, 1418, 1417, -1, -1, 1419, -1, 1418, -1, 1422, 1420, 1419, 1421, -1, 1423, -1, 1420, -1, 1422, 1424, 1421, 1424, -1, 1423, -1, 1422, 1425, 1424, 1426, -1, 1423, -1, 1425, -1, 1427, -1, -1, 1424, -1, -1, 1427, -1, -1, 1425, -1, -1, 1428, -1, -1, 1426, -1, -1, 1428, 1427, 1429, 1431, -1, 1429, 1428, 1432, 1430, -1, 1430, -1, 1429, -1, 1431, -1, -1, 1430, -1, -1, 1432, -1, -1, 1431, -1, -1, 1433, -1, -1, 1432, -1, 1434, 1436, -1, 1433, -1, 1435, -1, 1437, -1, -1, 1434, 1436, -1, -1, 1438, -1, -1, 1435, -1, 1437, 1439, -1, -1, -1, 1436, -1, 1440, 1438, -1, -1, -1, 1437, -1, 1441, 1439, -1, 1438, -1, 1442, 1440, 1439, 1441, -1, 1443, -1, 1440, -1, 1442, -1, -1, 1441, -1, -1, 1443, -1, -1, 1442, -1, -1, 1444, -1, -1, 1443, -1, 1445, 1447, -1, 1444, -1, 1446, -1, 1448, -1, -1, 1445, 1447, -1, -1, 1449, -1, -1, 1446, -1, 1448, 1450, -1, -1, -1, 1447, -1, 1451, 1449, -1, -1, -1, 1448, -1, 1450, 1452, -1, 1450, 1449, -1, 1451, 1453, 1451, -1, 1450, -1, -1, 1452, -1, 1452, 1453, -1, 1451, 1453, -1, 1453, -1, 1454, -1, 1454, 1452, -1, 1454, -1, 1455, -1, 1455, 1455, 1455, 1453, -1, 1456, -1, 1456, 1456, 1454, 1456, -1, 1457, -1, 1457, -1, 1457, 1455, -1, 1457, -1, -1, 1458, -1, 1458, 1456, 1458, -1, 1461, -1, -1, 1459, 1462, 1459, 1457, 1460, 1459, 1460, 1460, 1461, 1458, 1460, 1461, -1, 1461, -1, 1459, 1461, -1, 1462, -1, -1, 1460, -1, -1, 1463, -1, -1, 1461, -1, -1, 1464, -1, 1466, 1464, -1, 1462, -1, 1465, -1, 1465, -1, -1, 1463, 1466, -1, -1, 1466, -1, -1, 1464, -1, 1467, 1467, -1, -1, -1, 1465, -1, 1468, 1468, -1, -1, -1, 1466, -1, 1468, 1469, -1, 1469, 1467, -1, 1469, 1470, 1470, -1, 1468, -1, -1, 1470, -1, 1471, 1471, -1, 1469, 1471, -1, 1472, -1, 1472, -1, 1472, 1470, -1, 1473, -1, 1473, -1, 1473, 1473, 1474, 1471, -1, 1474, -1, 1474, 1474, 1472, 1475, -1, 1475, -1, 1475, -1, 1475, 1473, -1, 1476, -1, -1, 1476, -1, 1476, 1474, 1477, -1, 1479, -1, -1, 1477, -1, 1477, 1475, -1, 1478, -1, -1, 1478, -1, 1476, 1479, -1, -1, 1479, -1, -1, 1477, -1, 1480, 1480, -1, -1, -1, 1478, -1, 1481, 1481, -1, -1, -1, 1479, -1, 1484, 1482, -1, 1482, -1, 1480, -1, 1485, 1483, 1483, -1, -1, 1481, -1, 1486, -1, 1484, 1484, -1, 1482, -1, -1, 1487, -1, 1485, 1485, 1483, -1, 1490, -1, -1, 1488, -1, 1486, 1486, -1, 1484, 1488, -1, -1, 1487, 1487, 1487, 1485, 1487, -1, 1490, -1, 1488, 1486, -1, 1488, -1, -1, 1491, -1, 1489, 1487, 1489, -1, 1494, 1496, -1, 1492, -1, 1490, 1488, 1495, 1490, -1, 1493, -1, -1, 1491, 1493, 1489, 1491, -1, -1, 1494, -1, 1494, 1490, -1, 1492, -1, -1, 1495, -1, -1, 1493, -1, 1491, 1493, 1499, 1492, 1494, -1, 1493, 1493, 1495, 1494, 1494, 1494, 1496, 1495, -1, 1495, -1, 1497, 1496, -1, -1, 1498, -1, 1497, -1, 1501, 1499, 1498, 1500, -1, 1502, -1, 1499, -1, 1501, 1503, 1500, 1503, -1, 1502, -1, 1501, 1504, 1503, 1505, -1, 1502, -1, 1504, -1, 1506, -1, -1, 1503, -1, -1, 1506, -1, -1, 1504, -1, -1, 1507, -1, -1, 1505, -1, -1, 1507, 1506, 1508, 1510, -1, 1508, 1507, 1511, 1509, -1, 1509, -1, 1508, -1, 1510, -1, -1, 1509, -1, -1, 1511, -1, -1, 1510, -1, -1, 1512, -1, -1, 1511, -1, 1513, 1515, -1, 1512, -1, 1514, -1, 1516, -1, -1, 1513, 1515, -1, -1, 1517, -1, -1, 1514, -1, 1516, 1518, -1, -1, -1, 1515, -1, 1519, 1517, -1, -1, -1, 1516, -1, 1520, 1518, -1, 1517, -1, 1521, 1519, 1518, 1520, -1, 1522, -1, 1519, -1, 1521, -1, -1, 1520, -1, -1, 1522, -1, -1, 1521, -1, -1, 1523, -1, -1, 1522, -1, 1524, 1526, -1, 1523, -1, 1525, -1, 1527, -1, -1, 1524, 1526, -1, -1, 1528, -1, -1, 1525, -1, 1527, 1529, -1, -1, -1, 1526, -1, 1530, 1528, -1, -1, -1, 1527, -1, 1529, 1531, -1, 1529, 1528, -1, 1530, 1532, 1530, -1, 1529, -1, -1, 1531, -1, 1531, 1532, -1, 1530, 1532, -1, 1532, -1, 1533, -1, 1533, 1531, -1, 1533, -1, 1534, -1, 1534, 1534, 1534, 1532, -1, 1535, -1, 1535, 1535, 1533, 1535, -1, 1536, -1, 1536, -1, 1536, 1534, -1, 1536, -1, -1, 1537, -1, 1537, 1535, 1537, -1, 1540, -1, -1, 1538, 1541, 1538, 1536, 1539, 1538, 1539, 1539, 1540, 1537, 1539, 1540, -1, 1540, -1, 1538, 1540, -1, 1541, -1, -1, 1539, -1, -1, 1542, -1, -1, 1540, -1, -1, 1543, -1, 1545, 1543, -1, 1541, -1, 1544, -1, 1544, -1, -1, 1542, 1545, -1, -1, 1545, -1, -1, 1543, -1, 1546, 1546, -1, -1, -1, 1544, -1, 1547, 1547, -1, -1, -1, 1545, -1, 1547, 1548, -1, 1548, 1546, -1, 1548, 1549, 1549, -1, 1547, -1, -1, 1549, -1, 1550, 1550, -1, 1548, 1550, -1, 1551, -1, 1551, -1, 1551, 1549, -1, 1552, -1, 1552, -1, 1552, 1552, 1553, 1550, -1, 1553, -1, 1553, 1553, 1551, 1554, -1, 1554, -1, 1554, -1, 1554, 1552, -1, 1555, -1, -1, 1555, -1, 1555, 1553, 1556, -1, 1558, -1, -1, 1556, -1, 1556, 1554, -1, 1557, -1, -1, 1557, -1, 1555, 1558, -1, -1, 1558, -1, -1, 1556, -1, 1559, 1559, -1, -1, -1, 1557, -1, 1560, 1560, -1, -1, -1, 1558, -1, 1563, 1561, -1, 1561, -1, 1559, -1, 1564, 1562, 1562, -1, -1, 1560, -1, 1565, -1, 1563, 1563, -1, 1561, -1, -1, 1566, -1, 1564, 1564, 1562, -1, 1569, -1, -1, 1567, -1, 1565, 1565, -1, 1563, 1567, -1, -1, 1566, 1566, 1566, 1564, 1566, -1, 1569, -1, 1567, 1565, -1, 1567, -1, -1, 1570, -1, 1568, 1566, 1568, -1, 1573, 1575, -1, 1571, -1, 1569, 1567, 1574, 1569, -1, 1572, -1, -1, 1570, 1572, 1568, 1570, -1, -1, 1573, -1, 1573, 1569, -1, 1571, -1, -1, 1574, -1, -1, 1572, -1, 1570, 1572, 1576, -1, 1571, 1573, 1572, 1574, -1, 1572, 1574, 1575, 1573, -1, 1573, -1, 1575, -1, 1574, -1, -1, 1574, -1, -1, 1575, -1, -1, 1575, -1, -1, 1576, -1, -1, 1576, -1, 1578, 1579, -1, 1577, -1, 1579, -1, 1580, -1, -1, 1578, 1580, -1, -1, 1581, -1, -1, 1579, -1, 1581, 1582, -1, -1, -1, 1580, -1, 1583, 1582, -1, -1, -1, 1581, -1, 1583, 1584, -1, 1583, 1582, -1, 1584, 1585, 1584, -1, 1583, -1, -1, 1585, -1, 1585, 1586, -1, 1584, 1586, -1, 1586, -1, 1587, -1, 1587, 1585, -1, 1587, -1, 1588, -1, 1588, 1588, 1588, 1586, -1, 1589, -1, 1589, 1589, 1587, 1589, -1, 1590, -1, 1590, -1, 1590, 1588, -1, 1590, -1, -1, 1591, -1, 1591, 1589, 1591, -1, 1594, -1, -1, 1592, -1, 1592, 1590, -1, 1592, -1, -1, 1593, -1, 1591, 1593, -1, -1, 1594, -1, -1, 1592, -1, 1594, 1595, -1, -1, -1, 1593, -1, 1596, 1595, -1, -1, -1, 1594, -1, 1598, 1597, -1, 1596, -1, 1595, -1, 1599, 1598, 1597, -1, -1, 1596, -1, 1600, -1, 1599, 1598, -1, 1597, -1, -1, 1601, -1, 1600, 1599, 1598, -1, 1604, -1, -1, 1602, -1, 1601, 1600, -1, 1599, 1603, -1, -1, 1602, 1602, 1601, 1600, 1602, -1, 1605, -1, 1603, 1601, -1, 1602, -1, -1, 1606, -1, 1604, 1602, 1603, -1, 1609, 1611, -1, 1607, -1, 1605, 1603, 1610, 1604, -1, 1608, -1, -1, 1606, 1607, 1604, 1605, -1, -1, 1609, -1, 1609, 1605, -1, 1606, -1, -1, 1610, -1, -1, 1608, -1, 1606, 1607, 1612, -1, 1608, 1607, 1608, -1, 1610, 1609, 1609, 1608, -1, 1609, 1611, 1610 
};

int main()
{
int N;

	cin >> N;
	cout << Tbl[ N ] << endl;

	return 0;
}
0