#include <bits/stdc++.h>
using namespace std;
vector<int> table[475] = {
    {
        11,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174, 203, 258,
        265, 276, 307, 320, 329, 331, 362, 375, 384, 413, 417, 468,
    },
    {
        38,  45,  54,  56,  87,  100, 109, 111, 142, 164, 193, 248, 255,
        266, 297, 310, 319, 321, 352, 365, 374, 376, 403, 407, 458,
    },
    {
        15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 344, 373, 377, 428, 435, 446,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        268, 272, 323, 341, 378, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        16,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179, 208, 263,
        270, 281, 312, 325, 334, 336, 367, 380, 389, 418, 422, 473,
    },
    {
        43,  50,  59,  61,  92,  105, 114, 116, 147, 169, 198, 253, 260,
        271, 302, 315, 324, 326, 357, 370, 379, 381, 408, 412, 463,
    },
    {
        20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 349, 378, 382, 433, 440, 451,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        273, 277, 328, 346, 383, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221, 252,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        3,   21,  65,  74,  76,  107, 120, 129, 131, 158, 162, 184, 213,
        268, 275, 286, 317, 330, 339, 341, 372, 385, 394, 423, 427,
    },
    {
        48,  55,  64,  66,  97,  110, 119, 121, 152, 174, 203, 258, 265,
        276, 307, 320, 329, 331, 362, 375, 384, 386, 413, 417, 468,
    },
    {
        25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 354, 383, 387, 438, 445, 456,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        278, 282, 333, 351, 388, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226, 257,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        8,   26,  70,  79,  81,  112, 125, 134, 136, 163, 167, 189, 218,
        273, 280, 291, 322, 335, 344, 346, 377, 390, 399, 428, 432,
    },
    {
        53,  60,  69,  71,  102, 115, 124, 126, 157, 179, 208, 263, 270,
        281, 312, 325, 334, 336, 367, 380, 389, 391, 418, 422, 473,
    },
    {
        30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 359, 388, 392, 443, 450, 461,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        283, 287, 338, 356, 393, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220, 231,
        262, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        13,  31,  75,  84,  86,  117, 130, 139, 141, 168, 172, 194, 223,
        278, 285, 296, 327, 340, 349, 351, 382, 395, 404, 433, 437,
    },
    {
        3,   58,  65,  74,  76,  107, 120, 129, 131, 162, 184, 213, 268,
        275, 286, 317, 330, 339, 341, 372, 385, 394, 396, 423, 427,
    },
    {
        35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 364, 393, 397, 448, 455, 466,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        288, 292, 343, 361, 398, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225, 236,
        267, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        18,  36,  80,  89,  91,  122, 135, 144, 146, 173, 177, 199, 228,
        283, 290, 301, 332, 345, 354, 356, 387, 400, 409, 438, 442,
    },
    {
        8,   63,  70,  79,  81,  112, 125, 134, 136, 167, 189, 218, 273,
        280, 291, 322, 335, 344, 346, 377, 390, 399, 401, 428, 432,
    },
    {
        40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 369, 398, 402, 453, 460, 471,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 293, 297, 348, 366, 403, 410, 419, 421, 452, 465, 474,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230, 241,
        272, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        23,  41,  85,  94,  96,  127, 140, 149, 151, 178, 182, 204, 233,
        288, 295, 306, 337, 350, 359, 361, 392, 405, 414, 443, 447,
    },
    {
        13,  68,  75,  84,  86,  117, 130, 139, 141, 172, 194, 223, 278,
        285, 296, 327, 340, 349, 351, 382, 395, 404, 406, 433, 437,
    },
    {
        1,   45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 374, 403, 407, 458, 465,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 298, 302, 353, 371, 408, 415, 424, 426, 457, 470,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235, 246,
        277, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        28,  46,  90,  99,  101, 132, 145, 154, 156, 183, 187, 209, 238,
        293, 300, 311, 342, 355, 364, 366, 397, 410, 419, 448, 452,
    },
    {
        18,  73,  80,  89,  91,  122, 135, 144, 146, 177, 199, 228, 283,
        290, 301, 332, 345, 354, 356, 387, 400, 409, 411, 438, 442,
    },
    {
        6,   50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 379, 408, 412, 463, 470,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 303, 307, 358, 376, 413, 420, 429, 431, 462,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240, 251,
        282, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        33,  51,  95,  104, 106, 137, 150, 159, 161, 188, 192, 214, 243,
        298, 305, 316, 347, 360, 369, 371, 402, 415, 424, 453, 457,
    },
    {
        23,  78,  85,  94,  96,  127, 140, 149, 151, 182, 204, 233, 288,
        295, 306, 337, 350, 359, 361, 392, 405, 414, 416, 443, 447,
    },
    {
        0,   11,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174, 203,
        258, 265, 276, 307, 320, 329, 331, 362, 384, 413, 417, 468,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 308, 312, 363, 381, 418, 425, 434, 436, 467,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245, 256,
        287, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        38,  56,  100, 109, 111, 142, 155, 164, 166, 193, 197, 219, 248,
        303, 310, 321, 352, 365, 374, 376, 407, 420, 429, 458, 462,
    },
    {
        28,  83,  90,  99,  101, 132, 145, 154, 156, 187, 209, 238, 293,
        300, 311, 342, 355, 364, 366, 397, 410, 419, 421, 448, 452,
    },
    {
        5,   16,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179, 208,
        263, 270, 281, 312, 325, 334, 336, 367, 389, 418, 422, 473,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 313, 317, 368, 386, 423, 430, 439, 441, 472,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250, 261,
        292, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        43,  61,  105, 114, 116, 147, 160, 169, 171, 198, 202, 224, 253,
        308, 315, 326, 357, 370, 379, 381, 412, 425, 434, 463, 467,
    },
    {
        33,  88,  95,  104, 106, 137, 150, 159, 161, 192, 214, 243, 298,
        305, 316, 347, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        3,   10,  21,  65,  74,  76,  107, 120, 129, 131, 158, 162, 184,
        213, 268, 275, 286, 317, 330, 339, 341, 372, 394, 423, 427,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 318, 322, 373, 391, 428, 435, 444, 446,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 164, 193, 248, 255, 266,
        297, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        48,  66,  110, 119, 121, 152, 165, 174, 176, 203, 207, 229, 258,
        313, 320, 331, 362, 375, 384, 386, 417, 430, 439, 468, 472,
    },
    {
        38,  93,  100, 109, 111, 142, 155, 164, 166, 197, 219, 248, 303,
        310, 321, 352, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        8,   15,  26,  70,  79,  81,  112, 125, 134, 136, 163, 167, 189,
        218, 273, 280, 291, 322, 335, 344, 346, 377, 399, 428, 432,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 323, 327, 378, 396, 433, 440, 449, 451,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 169, 198, 253, 260, 271,
        302, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        2,   53,  71,  115, 124, 126, 157, 170, 179, 181, 208, 212, 234,
        263, 318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 473,
    },
    {
        43,  98,  105, 114, 116, 147, 160, 169, 171, 202, 224, 253, 308,
        315, 326, 357, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        13,  20,  31,  75,  84,  86,  117, 130, 139, 141, 168, 172, 194,
        223, 278, 285, 296, 327, 340, 349, 351, 382, 404, 433, 437,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 328, 332, 383, 401, 438, 445, 454, 456,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 174, 203, 258, 265, 276,
        307, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        3,   7,   58,  76,  120, 129, 131, 162, 175, 184, 186, 213, 217,
        239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449,
    },
    {
        48,  103, 110, 119, 121, 152, 165, 174, 176, 207, 229, 258, 313,
        320, 331, 362, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        18,  25,  36,  80,  89,  91,  122, 135, 144, 146, 173, 177, 199,
        228, 283, 290, 301, 332, 345, 354, 356, 387, 409, 438, 442,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 333, 337, 388, 406, 443, 450, 459, 461,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 179, 208, 263, 270, 281,
        312, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        8,   12,  63,  81,  125, 134, 136, 167, 180, 189, 191, 218, 222,
        244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454,
    },
    {
        2,   53,  108, 115, 124, 126, 157, 170, 179, 181, 212, 234, 263,
        318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        23,  30,  41,  85,  94,  96,  127, 140, 149, 151, 178, 182, 204,
        233, 288, 295, 306, 337, 350, 359, 361, 392, 414, 443, 447,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 338, 342, 393, 411, 448, 455, 464, 466,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 184, 213, 268, 275,
        286, 317, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        13,  17,  68,  86,  130, 139, 141, 172, 185, 194, 196, 223, 227,
        249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459,
    },
    {
        3,   7,   58,  113, 120, 129, 131, 162, 175, 184, 186, 217, 239,
        268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        28,  35,  46,  90,  99,  101, 132, 145, 154, 156, 183, 187, 209,
        238, 293, 300, 311, 342, 355, 364, 366, 397, 419, 448, 452,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 343, 347, 398, 416, 453, 460, 469, 471,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 189, 218, 273, 280,
        291, 322, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        18,  22,  73,  91,  135, 144, 146, 177, 190, 199, 201, 228, 232,
        254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464,
    },
    {
        8,   12,  63,  118, 125, 134, 136, 167, 180, 189, 191, 222, 244,
        273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        33,  40,  51,  95,  104, 106, 137, 150, 159, 161, 188, 192, 214,
        243, 298, 305, 316, 347, 360, 369, 371, 402, 424, 453, 457,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 348, 352, 403, 421, 458, 465, 474,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 194, 223, 278, 285,
        296, 327, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        23,  27,  78,  96,  140, 149, 151, 182, 195, 204, 206, 233, 237,
        259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469,
    },
    {
        13,  17,  68,  123, 130, 139, 141, 172, 185, 194, 196, 227, 249,
        278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        38,  45,  56,  100, 109, 111, 142, 155, 164, 166, 193, 197, 219,
        248, 303, 310, 321, 352, 365, 374, 376, 407, 429, 458, 462,
    },
    {
        4,   6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247,
        260, 269, 271, 302, 315, 324, 353, 357, 408, 426, 463, 470,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 199, 228, 283, 290,
        301, 332, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        28,  32,  83,  101, 145, 154, 156, 187, 200, 209, 211, 238, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        18,  22,  73,  128, 135, 144, 146, 177, 190, 199, 201, 232, 254,
        283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        43,  50,  61,  105, 114, 116, 147, 160, 169, 171, 198, 202, 224,
        253, 308, 315, 326, 357, 370, 379, 381, 412, 434, 463, 467,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221,
        252, 265, 274, 276, 307, 320, 329, 358, 362, 413, 431, 468,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 204, 233, 288, 295,
        306, 337, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        4,   33,  37,  88,  106, 150, 159, 161, 192, 205, 214, 216, 243,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        23,  27,  78,  133, 140, 149, 151, 182, 195, 204, 206, 237, 259,
        288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        48,  55,  66,  110, 119, 121, 152, 165, 174, 176, 203, 207, 229,
        258, 313, 320, 331, 362, 375, 384, 386, 417, 439, 468, 472,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226,
        257, 270, 279, 281, 312, 325, 334, 363, 367, 418, 436, 473,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 209, 238, 293, 300,
        311, 342, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        0,   9,   38,  42,  93,  111, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        1,   28,  32,  83,  138, 145, 154, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        2,   53,  60,  71,  115, 124, 126, 157, 170, 179, 181, 208, 212,
        234, 263, 318, 325, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        3,   10,  19,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 368, 372, 423, 441,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 214, 243, 298,
        305, 316, 347, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        5,   14,  43,  47,  98,  116, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        4,   6,   33,  37,  88,  143, 150, 159, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        3,   7,   58,  65,  76,  120, 129, 131, 162, 175, 184, 186, 213,
        217, 239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        8,   15,  24,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 373, 377, 428, 446,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 219, 248, 303,
        310, 321, 352, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        10,  19,  48,  52,  103, 121, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        0,   9,   11,  38,  42,  93,  148, 155, 164, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        8,   12,  63,  70,  81,  125, 134, 136, 167, 180, 189, 191, 218,
        222, 244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        13,  20,  29,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 378, 382, 433, 451,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 224, 253, 308,
        315, 326, 357, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        2,   15,  24,  53,  57,  108, 126, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        5,   14,  16,  43,  47,  98,  153, 160, 169, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        13,  17,  68,  75,  86,  130, 139, 141, 172, 185, 194, 196, 223,
        227, 249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        18,  25,  34,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 383, 387, 438, 456,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 229, 258, 313,
        320, 331, 362, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        7,   20,  29,  58,  62,  113, 131, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        10,  19,  21,  48,  52,  103, 158, 165, 174, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        18,  22,  73,  80,  91,  135, 144, 146, 177, 190, 199, 201, 228,
        232, 254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        23,  30,  39,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 388, 392, 443, 461,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 234, 263,
        318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        12,  25,  34,  63,  67,  118, 136, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        2,   15,  24,  26,  53,  57,  108, 163, 170, 179, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        23,  27,  78,  85,  96,  140, 149, 151, 182, 195, 204, 206, 233,
        237, 259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        28,  35,  44,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 393, 397, 448, 466,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 239,
        268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  68,  72,  123, 141, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        7,   20,  29,  31,  58,  62,  113, 168, 175, 184, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        28,  32,  83,  90,  101, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        33,  40,  49,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 398, 402, 453, 471,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 244,
        273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  73,  77,  128, 146, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        12,  25,  34,  36,  63,  67,  118, 173, 180, 189, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        4,   33,  37,  88,  95,  106, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457,
    },
    {
        1,   38,  45,  54,  56,  87,  100, 109, 111, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 365, 374, 403, 407, 458,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 249,
        278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  78,  82,  133, 151, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        17,  30,  39,  41,  68,  72,  123, 178, 185, 194, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        9,   38,  42,  93,  100, 111, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        6,   43,  50,  59,  61,  92,  105, 114, 116, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 370, 379, 408, 412, 463,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 254,
        283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  83,  87,  138, 156, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        22,  35,  44,  46,  73,  77,  128, 183, 190, 199, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        14,  43,  47,  98,  105, 116, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        11,  48,  55,  64,  66,  97,  110, 119, 121, 152, 174, 203, 258,
        265, 276, 307, 320, 329, 331, 362, 375, 384, 413, 417, 468,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 259,
        288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        4,   6,   37,  50,  59,  88,  92,  143, 161, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        27,  40,  49,  51,  78,  82,  133, 188, 195, 204, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        19,  48,  52,  103, 110, 121, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        16,  53,  60,  69,  71,  102, 115, 124, 126, 157, 179, 208, 263,
        270, 281, 312, 325, 334, 336, 367, 380, 389, 418, 422, 473,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        0,   9,   11,  42,  55,  64,  93,  97,  148, 166, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  138, 193, 200, 209, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        2,   24,  53,  57,  108, 115, 126, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        3,   21,  58,  65,  74,  76,  107, 120, 129, 131, 162, 184, 213,
        268, 275, 286, 317, 330, 339, 341, 372, 385, 394, 423, 427,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        5,   14,  16,  47,  60,  69,  98,  102, 153, 171, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  143, 198, 205, 214, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        7,   29,  58,  62,  113, 120, 131, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        8,   26,  63,  70,  79,  81,  112, 125, 134, 136, 167, 189, 218,
        273, 280, 291, 322, 335, 344, 346, 377, 390, 399, 428, 432,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        10,  19,  21,  52,  65,  74,  103, 107, 158, 176, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  148, 203, 210, 219,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        12,  34,  63,  67,  118, 125, 136, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        13,  31,  68,  75,  84,  86,  117, 130, 139, 141, 172, 194, 223,
        278, 285, 296, 327, 340, 349, 351, 382, 395, 404, 433, 437,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  108, 112, 163, 181, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 153, 208, 215, 224,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        17,  39,  68,  72,  123, 130, 141, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        18,  36,  73,  80,  89,  91,  122, 135, 144, 146, 177, 199, 228,
        283, 290, 301, 332, 345, 354, 356, 387, 400, 409, 438, 442,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  113, 117, 168, 186, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 158, 213, 220, 229,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        22,  44,  73,  77,  128, 135, 146, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        23,  41,  78,  85,  94,  96,  127, 140, 149, 151, 182, 204, 233,
        288, 295, 306, 337, 350, 359, 361, 392, 405, 414, 443, 447,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  118, 122, 173, 191, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  81,  108, 112, 163, 218, 225,
        234, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        27,  49,  78,  82,  133, 140, 151, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        28,  46,  83,  90,  99,  101, 132, 145, 154, 156, 187, 209, 238,
        293, 300, 311, 342, 355, 364, 366, 397, 410, 419, 448, 452,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  123, 127, 178, 196, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  86,  113, 117, 168, 223, 230,
        239, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        1,   32,  54,  83,  87,  138, 145, 156, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        33,  51,  88,  95,  104, 106, 137, 150, 159, 161, 192, 214, 243,
        298, 305, 316, 347, 360, 369, 371, 402, 415, 424, 453, 457,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  128, 132, 183, 201, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  91,  118, 122, 173, 228, 235,
        244, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        4,   6,   37,  59,  88,  92,  143, 150, 161, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        38,  56,  93,  100, 109, 111, 142, 155, 164, 166, 197, 219, 248,
        303, 310, 321, 352, 365, 374, 376, 407, 420, 429, 458, 462,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 133, 137, 188, 206, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  96,  123, 127, 178, 233, 240,
        249, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        0,   9,   11,  42,  64,  93,  97,  148, 155, 166, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        43,  61,  98,  105, 114, 116, 147, 160, 169, 171, 202, 224, 253,
        308, 315, 326, 357, 370, 379, 381, 412, 425, 434, 463, 467,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 138, 142, 193, 211, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  101, 128, 132, 183, 238, 245,
        254, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        5,   14,  16,  47,  69,  98,  102, 153, 160, 171, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        48,  66,  103, 110, 119, 121, 152, 165, 174, 176, 207, 229, 258,
        313, 320, 331, 362, 375, 384, 386, 417, 430, 439, 468, 472,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 143, 147, 198, 216, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 106, 133, 137, 188, 243, 250,
        259, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        10,  19,  21,  52,  74,  103, 107, 158, 165, 176, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        2,   53,  71,  108, 115, 124, 126, 157, 170, 179, 181, 212, 234,
        263, 318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 473,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 148, 152, 203, 221,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 111, 138, 142, 193, 248,
        255, 264, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 112, 163, 170, 181, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        3,   7,   58,  76,  113, 120, 129, 131, 162, 175, 184, 186, 217,
        239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 153, 157, 208, 226,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 116, 143, 147, 198, 253,
        260, 269, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 117, 168, 175, 186, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        8,   12,  63,  81,  118, 125, 134, 136, 167, 180, 189, 191, 222,
        244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 158, 162, 213,
        231, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 121, 148, 152, 203,
        258, 265, 274, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 122, 173, 180, 191, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        13,  17,  68,  86,  123, 130, 139, 141, 172, 185, 194, 196, 227,
        249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 163, 167, 218,
        236, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 126, 153, 157, 208,
        263, 270, 279, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 127, 178, 185, 196, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        18,  22,  73,  91,  128, 135, 144, 146, 177, 190, 199, 201, 232,
        254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 168, 172, 223,
        241, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 131, 158, 162,
        213, 268, 275, 284, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 132, 183, 190, 201, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        23,  27,  78,  96,  133, 140, 149, 151, 182, 195, 204, 206, 237,
        259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218,
        225, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 173, 177, 228,
        246, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 136, 163, 167,
        218, 273, 280, 289, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 137, 188, 195, 206, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        28,  32,  83,  101, 138, 145, 154, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223,
        230, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 178, 182, 233,
        251, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 141, 168, 172,
        223, 278, 285, 294, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 142, 193, 200, 211, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    },
    {
        4,   33,  37,  88,  106, 143, 150, 159, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228,
        235, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 183, 187, 238,
        256, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 146, 173, 177,
        228, 283, 290, 299, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        6,   37,  50,  59,  61,  92,  114, 143, 147, 198, 205, 216, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        0,   9,   38,  42,  93,  111, 148, 155, 164, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233,
        240, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 188, 192, 243,
        261, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 151, 178, 182,
        233, 288, 295, 304, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  119, 148, 152, 203, 210, 221,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        5,   14,  43,  47,  98,  116, 153, 160, 169, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238,
        245, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 193, 197, 248,
        266, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 156, 183, 187,
        238, 293, 300, 309, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 124, 153, 157, 208, 215, 226,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        10,  19,  48,  52,  103, 121, 158, 165, 174, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243,
        250, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 198, 202, 253,
        271, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 161, 188, 192,
        243, 298, 305, 314, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 129, 158, 162, 213, 220,
        231, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        2,   15,  24,  53,  57,  108, 126, 163, 170, 179, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193,
        248, 255, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 203, 207, 258,
        276, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 166, 193, 197,
        248, 303, 310, 319, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 134, 163, 167, 218, 225,
        236, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        7,   20,  29,  58,  62,  113, 131, 168, 175, 184, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198,
        253, 260, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 208, 212, 263,
        281, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 171, 198, 202,
        253, 308, 315, 324, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 139, 168, 172, 223, 230,
        241, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        12,  25,  34,  63,  67,  118, 136, 173, 180, 189, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174,
        203, 258, 265, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 213, 217,
        268, 286, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 176, 203, 207,
        258, 313, 320, 329, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 144, 173, 177, 228, 235,
        246, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        17,  30,  39,  68,  72,  123, 141, 178, 185, 194, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179,
        208, 263, 270, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 218, 222,
        273, 291, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 181, 208, 212,
        263, 318, 325, 334, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 149, 178, 182, 233, 240,
        251, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        22,  35,  44,  73,  77,  128, 146, 183, 190, 199, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 131, 158, 162,
        184, 213, 268, 275, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 223, 227,
        278, 296, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 186, 213,
        217, 268, 323, 330, 339, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 154, 183, 187, 238, 245,
        256, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        27,  40,  49,  78,  82,  133, 151, 188, 195, 204, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 136, 163, 167,
        189, 218, 273, 280, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 228, 232,
        283, 301, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 191, 218,
        222, 273, 328, 335, 344, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 159, 188, 192, 243, 250,
        261, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        1,   32,  45,  54,  83,  87,  138, 156, 193, 200, 209, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 141, 168, 172,
        194, 223, 278, 285, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 233, 237,
        288, 306, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 196, 223,
        227, 278, 333, 340, 349, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 164, 193, 197, 248, 255,
        266, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        4,   6,   37,  50,  59,  88,  92,  143, 161, 198, 205, 214, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 146, 173, 177,
        199, 228, 283, 290, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 238, 242,
        293, 311, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 201, 228,
        232, 283, 338, 345, 354, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 169, 198, 202, 253, 260,
        271, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        0,   9,   11,  42,  55,  64,  93,  97,  148, 166, 203, 210, 219,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 151, 178, 182,
        204, 233, 288, 295, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 243,
        247, 298, 316, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 206, 233,
        237, 288, 343, 350, 359, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 174, 203, 207, 258, 265,
        276, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        5,   14,  16,  47,  60,  69,  98,  102, 153, 171, 208, 215, 224,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 156, 183, 187,
        209, 238, 293, 300, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 248,
        252, 303, 321, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 293, 348, 355, 364, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 179, 208, 212, 263, 270,
        281, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        10,  19,  21,  52,  65,  74,  103, 107, 158, 176, 213, 220, 229,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 161, 188, 192,
        214, 243, 298, 305, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 253,
        257, 308, 326, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 298, 353, 360, 369, 371, 402, 415, 424, 426, 457,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 184, 213, 217, 268,
        275, 286, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  108, 112, 163, 181, 218, 225,
        234, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 166, 193, 197,
        219, 248, 303, 310, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 258,
        262, 313, 331, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 303, 358, 365, 374, 376, 407, 420, 429, 431, 462,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 189, 218, 222, 273,
        280, 291, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  113, 117, 168, 186, 223, 230,
        239, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 171, 198, 202,
        224, 253, 308, 315, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        263, 267, 318, 336, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 308, 363, 370, 379, 381, 412, 425, 434, 436, 467,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 194, 223, 227, 278,
        285, 296, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  118, 122, 173, 191, 228, 235,
        244, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 176, 203, 207,
        229, 258, 313, 320, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230,
        239, 268, 272, 323, 341, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 313, 368, 375, 384, 386, 417, 430, 439, 441, 472,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 199, 228, 232, 283,
        290, 301, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  123, 127, 178, 196, 233, 240,
        249, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 181, 208, 212,
        234, 263, 318, 325, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235,
        244, 273, 277, 328, 346, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 318, 373, 380, 389, 391, 422, 435, 444, 446,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 204, 233, 237, 288,
        295, 306, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  128, 132, 183, 201, 238, 245,
        254, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 186, 213,
        217, 239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240,
        249, 278, 282, 333, 351, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 323, 378, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 209, 238, 242, 293,
        300, 311, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 133, 137, 188, 206, 243, 250,
        259, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 191, 218,
        222, 244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245,
        254, 283, 287, 338, 356, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 328, 383, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 214, 243, 247,
        298, 305, 316, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 138, 142, 193, 211, 248,
        255, 264, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 196, 223,
        227, 249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250,
        259, 288, 292, 343, 361, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 333, 388, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 219, 248, 252,
        303, 310, 321, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 143, 147, 198, 216, 253,
        260, 269, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 201, 228,
        232, 254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        255, 264, 293, 297, 348, 366, 410, 419, 421, 452, 465, 474,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 338, 393, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 224, 253, 257,
        308, 315, 326, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 148, 152, 203, 221,
        258, 265, 274, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 206, 233,
        237, 259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 260, 269, 298, 302, 353, 371, 415, 424, 426, 457, 470,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 343, 398, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 229, 258, 262,
        313, 320, 331, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 153, 157, 208, 226,
        263, 270, 279, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 265, 274, 303, 307, 358, 376, 420, 429, 431, 462,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 348, 403, 410, 419, 421, 452, 465, 474,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 234, 263,
        267, 318, 325, 336, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 158, 162, 213,
        231, 268, 275, 284, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 270, 279, 308, 312, 363, 381, 425, 434, 436, 467,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 353, 408, 415, 424, 426, 457, 470,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 239,
        268, 272, 323, 330, 341, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 163, 167, 218,
        236, 273, 280, 289, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 275, 284, 313, 317, 368, 386, 430, 439, 441, 472,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 358, 413, 420, 429, 431, 462,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 244,
        273, 277, 328, 335, 346, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 168, 172, 223,
        241, 278, 285, 294, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 280, 289, 318, 322, 373, 391, 435, 444, 446,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 363, 418, 425, 434, 436, 467,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 249,
        278, 282, 333, 340, 351, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 173, 177, 228,
        246, 283, 290, 299, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 285, 294, 323, 327, 378, 396, 440, 449, 451,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 368, 423, 430, 439, 441, 472,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 254,
        283, 287, 338, 345, 356, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 178, 182, 233,
        251, 288, 295, 304, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 290, 299, 328, 332, 383, 401, 445, 454, 456,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 373, 428, 435, 444, 446,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 259,
        288, 292, 343, 350, 361, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 183, 187, 238,
        256, 293, 300, 309, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 295, 304, 333, 337, 388, 406, 450, 459, 461,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 378, 433, 440, 449, 451,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        264, 293, 297, 348, 355, 366, 410, 419, 421, 452, 465, 474,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 188, 192, 243,
        261, 298, 305, 314, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 300, 309, 338, 342, 393, 411, 455, 464, 466,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 383, 438, 445, 454, 456,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 269, 298, 302, 353, 360, 371, 415, 424, 426, 457, 470,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 193, 197, 248,
        266, 303, 310, 319, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 305, 314, 343, 347, 398, 416, 460, 469, 471,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 388, 443, 450, 459, 461,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 274, 303, 307, 358, 365, 376, 420, 429, 431, 462,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 198, 202, 253,
        271, 308, 315, 324, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 310, 319, 348, 352, 403, 421, 465, 474,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 393, 448, 455, 464, 466,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 279, 308, 312, 363, 370, 381, 425, 434, 436, 467,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 203, 207, 258,
        276, 313, 320, 329, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 315, 324, 353, 357, 408, 426, 470,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 398, 453, 460, 469, 471,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 284, 313, 317, 368, 375, 386, 430, 439, 441, 472,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 208, 212, 263,
        281, 318, 325, 334, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 320, 329, 358, 362, 413, 431,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 403, 458, 465, 474,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 289, 318, 322, 373, 380, 391, 435, 444, 446,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 213, 217,
        268, 286, 323, 330, 339, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 325, 334, 363, 367, 418, 436,
    },
    {
        4,   6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247,
        260, 269, 271, 302, 315, 324, 326, 353, 357, 408, 463, 470,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 294, 323, 327, 378, 385, 396, 440, 449, 451,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 218, 222,
        273, 291, 328, 335, 344, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 368, 372, 423, 441,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221,
        252, 265, 274, 276, 307, 320, 329, 331, 358, 362, 413, 468,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 299, 328, 332, 383, 390, 401, 445, 454, 456,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 223, 227,
        278, 296, 333, 340, 349, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 373, 377, 428, 446,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226,
        257, 270, 279, 281, 312, 325, 334, 336, 363, 367, 418, 473,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 304, 333, 337, 388, 395, 406, 450, 459, 461,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 228, 232,
        283, 301, 338, 345, 354, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 378, 382, 433, 451,
    },
    {
        3,   10,  19,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 341, 368, 372, 423,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 309, 338, 342, 393, 400, 411, 455, 464, 466,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 233, 237,
        288, 306, 343, 350, 359, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 383, 387, 438, 456,
    },
    {
        8,   15,  24,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 346, 373, 377, 428,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 314, 343, 347, 398, 405, 416, 460, 469, 471,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 238, 242,
        293, 311, 348, 355, 364, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 388, 392, 443, 461,
    },
    {
        13,  20,  29,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 351, 378, 382, 433,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 319, 348, 352, 403, 410, 421, 465, 474,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 243,
        247, 298, 316, 353, 360, 369, 371, 402, 415, 424, 426, 457,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 393, 397, 448, 466,
    },
    {
        18,  25,  34,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 356, 383, 387, 438,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 324, 353, 357, 408, 415, 426, 470,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 248,
        252, 303, 321, 358, 365, 374, 376, 407, 420, 429, 431, 462,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 398, 402, 453, 471,
    },
    {
        23,  30,  39,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 361, 388, 392, 443,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 329, 358, 362, 413, 420, 431,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 253,
        257, 308, 326, 363, 370, 379, 381, 412, 425, 434, 436, 467,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        1,   45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 365, 374, 403, 407, 458,
    },
    {
        28,  35,  44,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 366, 393, 397, 448,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 334, 363, 367, 418, 425, 436,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 258,
        262, 313, 331, 368, 375, 384, 386, 417, 430, 439, 441, 472,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        6,   50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 370, 379, 408, 412, 463,
    },
    {
        33,  40,  49,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 371, 398, 402, 453,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 339, 368, 372, 423, 430, 441,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        263, 267, 318, 336, 373, 380, 389, 391, 422, 435, 444, 446,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    }};
int fn(int a) {
  if (a % 100 == 0)
    return a / 100 > 0 ? a / 100 : 0;
  else
    return (a + 50) / 100 > 0 ? (a + 50) / 100 : 0;
}
int main() {
  int a, b, c;
  cin >> a >> b >> c;
  int k = (b / 50) % 475;
  auto x = upper_bound(table[a - 26].begin(), table[a - 26].end(), k);
  if (*(x - 1) == k) {
    cout << 0 << '\n';
    return 0;
  }
  int num;
  if (b - ((k - *(x - 1)) * 50) < c) {
    cout << fn((*x - k) * 50) << '\n';
  } else
    cout << min(fn((*(x - 1) - k) * 50), fn((*x - k) * 50)) << '\n';
}

### Prompt

Please formulate a CPP solution to the following problem:

Not so long ago the Codecraft-17 contest was held on Codeforces. The top 25 participants, and additionally random 25 participants out of those who got into top 500, will receive a Codeforces T-shirt.

Unfortunately, you didn't manage to get into top 25, but you got into top 500, taking place p.

Now the elimination round of 8VC Venture Cup 2017 is being held. It has been announced that the Codecraft-17 T-shirt winners will be chosen as follows. Let s be the number of points of the winner of the elimination round of 8VC Venture Cup 2017. Then the following pseudocode will be executed: 
    
    
      
    i := (s div 50) mod 475  
    repeat 25 times:  
        i := (i * 96 + 42) mod 475  
        print (26 + i)  
    

Here "div" is the integer division operator, "mod" is the modulo (the remainder of division) operator.

As the result of pseudocode execution, 25 integers between 26 and 500, inclusive, will be printed. These will be the numbers of places of the participants who get the Codecraft-17 T-shirts. It is guaranteed that the 25 printed integers will be pairwise distinct for any value of s.

You're in the lead of the elimination round of 8VC Venture Cup 2017, having x points. You believe that having at least y points in the current round will be enough for victory.

To change your final score, you can make any number of successful and unsuccessful hacks. A successful hack brings you 100 points, an unsuccessful one takes 50 points from you. It's difficult to do successful hacks, though.

You want to win the current round and, at the same time, ensure getting a Codecraft-17 T-shirt. What is the smallest number of successful hacks you have to do to achieve that?

Input

The only line contains three integers p, x and y (26 ≤ p ≤ 500; 1 ≤ y ≤ x ≤ 20000) — your place in Codecraft-17, your current score in the elimination round of 8VC Venture Cup 2017, and the smallest number of points you consider sufficient for winning the current round.

Output

Output a single integer — the smallest number of successful hacks you have to do in order to both win the elimination round of 8VC Venture Cup 2017 and ensure getting a Codecraft-17 T-shirt.

It's guaranteed that your goal is achievable for any valid input data.

Examples

Input

239 10880 9889


Output

0


Input

26 7258 6123


Output

2


Input

493 8000 8000


Output

24


Input

101 6800 6500


Output

0


Input

329 19913 19900


Output

8

Note

In the first example, there is no need to do any hacks since 10880 points already bring the T-shirt to the 239-th place of Codecraft-17 (that is, you). In this case, according to the pseudocode, the T-shirts will be given to the participants at the following places: 
    
    
      
    475 422 84 411 453 210 157 294 146 188 420 367 29 356 398 155 102 239 91 133 365 312 449 301 343  
    

In the second example, you have to do two successful and one unsuccessful hack to make your score equal to 7408.

In the third example, you need to do as many as 24 successful hacks to make your score equal to 10400.

In the fourth example, it's sufficient to do 6 unsuccessful hacks (and no successful ones) to make your score equal to 6500, which is just enough for winning the current round and also getting the T-shirt.

### Response

```cpp
#include <bits/stdc++.h>
using namespace std;
vector<int> table[475] = {
    {
        11,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174, 203, 258,
        265, 276, 307, 320, 329, 331, 362, 375, 384, 413, 417, 468,
    },
    {
        38,  45,  54,  56,  87,  100, 109, 111, 142, 164, 193, 248, 255,
        266, 297, 310, 319, 321, 352, 365, 374, 376, 403, 407, 458,
    },
    {
        15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 344, 373, 377, 428, 435, 446,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        268, 272, 323, 341, 378, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        16,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179, 208, 263,
        270, 281, 312, 325, 334, 336, 367, 380, 389, 418, 422, 473,
    },
    {
        43,  50,  59,  61,  92,  105, 114, 116, 147, 169, 198, 253, 260,
        271, 302, 315, 324, 326, 357, 370, 379, 381, 408, 412, 463,
    },
    {
        20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 349, 378, 382, 433, 440, 451,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        273, 277, 328, 346, 383, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221, 252,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        3,   21,  65,  74,  76,  107, 120, 129, 131, 158, 162, 184, 213,
        268, 275, 286, 317, 330, 339, 341, 372, 385, 394, 423, 427,
    },
    {
        48,  55,  64,  66,  97,  110, 119, 121, 152, 174, 203, 258, 265,
        276, 307, 320, 329, 331, 362, 375, 384, 386, 413, 417, 468,
    },
    {
        25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 354, 383, 387, 438, 445, 456,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        278, 282, 333, 351, 388, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226, 257,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        8,   26,  70,  79,  81,  112, 125, 134, 136, 163, 167, 189, 218,
        273, 280, 291, 322, 335, 344, 346, 377, 390, 399, 428, 432,
    },
    {
        53,  60,  69,  71,  102, 115, 124, 126, 157, 179, 208, 263, 270,
        281, 312, 325, 334, 336, 367, 380, 389, 391, 418, 422, 473,
    },
    {
        30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 359, 388, 392, 443, 450, 461,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        283, 287, 338, 356, 393, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220, 231,
        262, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        13,  31,  75,  84,  86,  117, 130, 139, 141, 168, 172, 194, 223,
        278, 285, 296, 327, 340, 349, 351, 382, 395, 404, 433, 437,
    },
    {
        3,   58,  65,  74,  76,  107, 120, 129, 131, 162, 184, 213, 268,
        275, 286, 317, 330, 339, 341, 372, 385, 394, 396, 423, 427,
    },
    {
        35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 364, 393, 397, 448, 455, 466,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        288, 292, 343, 361, 398, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225, 236,
        267, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        18,  36,  80,  89,  91,  122, 135, 144, 146, 173, 177, 199, 228,
        283, 290, 301, 332, 345, 354, 356, 387, 400, 409, 438, 442,
    },
    {
        8,   63,  70,  79,  81,  112, 125, 134, 136, 167, 189, 218, 273,
        280, 291, 322, 335, 344, 346, 377, 390, 399, 401, 428, 432,
    },
    {
        40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 369, 398, 402, 453, 460, 471,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 293, 297, 348, 366, 403, 410, 419, 421, 452, 465, 474,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230, 241,
        272, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        23,  41,  85,  94,  96,  127, 140, 149, 151, 178, 182, 204, 233,
        288, 295, 306, 337, 350, 359, 361, 392, 405, 414, 443, 447,
    },
    {
        13,  68,  75,  84,  86,  117, 130, 139, 141, 172, 194, 223, 278,
        285, 296, 327, 340, 349, 351, 382, 395, 404, 406, 433, 437,
    },
    {
        1,   45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 374, 403, 407, 458, 465,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 298, 302, 353, 371, 408, 415, 424, 426, 457, 470,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235, 246,
        277, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        28,  46,  90,  99,  101, 132, 145, 154, 156, 183, 187, 209, 238,
        293, 300, 311, 342, 355, 364, 366, 397, 410, 419, 448, 452,
    },
    {
        18,  73,  80,  89,  91,  122, 135, 144, 146, 177, 199, 228, 283,
        290, 301, 332, 345, 354, 356, 387, 400, 409, 411, 438, 442,
    },
    {
        6,   50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 379, 408, 412, 463, 470,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 303, 307, 358, 376, 413, 420, 429, 431, 462,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240, 251,
        282, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        33,  51,  95,  104, 106, 137, 150, 159, 161, 188, 192, 214, 243,
        298, 305, 316, 347, 360, 369, 371, 402, 415, 424, 453, 457,
    },
    {
        23,  78,  85,  94,  96,  127, 140, 149, 151, 182, 204, 233, 288,
        295, 306, 337, 350, 359, 361, 392, 405, 414, 416, 443, 447,
    },
    {
        0,   11,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174, 203,
        258, 265, 276, 307, 320, 329, 331, 362, 384, 413, 417, 468,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 308, 312, 363, 381, 418, 425, 434, 436, 467,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245, 256,
        287, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        38,  56,  100, 109, 111, 142, 155, 164, 166, 193, 197, 219, 248,
        303, 310, 321, 352, 365, 374, 376, 407, 420, 429, 458, 462,
    },
    {
        28,  83,  90,  99,  101, 132, 145, 154, 156, 187, 209, 238, 293,
        300, 311, 342, 355, 364, 366, 397, 410, 419, 421, 448, 452,
    },
    {
        5,   16,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179, 208,
        263, 270, 281, 312, 325, 334, 336, 367, 389, 418, 422, 473,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 313, 317, 368, 386, 423, 430, 439, 441, 472,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250, 261,
        292, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        43,  61,  105, 114, 116, 147, 160, 169, 171, 198, 202, 224, 253,
        308, 315, 326, 357, 370, 379, 381, 412, 425, 434, 463, 467,
    },
    {
        33,  88,  95,  104, 106, 137, 150, 159, 161, 192, 214, 243, 298,
        305, 316, 347, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        3,   10,  21,  65,  74,  76,  107, 120, 129, 131, 158, 162, 184,
        213, 268, 275, 286, 317, 330, 339, 341, 372, 394, 423, 427,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 318, 322, 373, 391, 428, 435, 444, 446,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 164, 193, 248, 255, 266,
        297, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        48,  66,  110, 119, 121, 152, 165, 174, 176, 203, 207, 229, 258,
        313, 320, 331, 362, 375, 384, 386, 417, 430, 439, 468, 472,
    },
    {
        38,  93,  100, 109, 111, 142, 155, 164, 166, 197, 219, 248, 303,
        310, 321, 352, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        8,   15,  26,  70,  79,  81,  112, 125, 134, 136, 163, 167, 189,
        218, 273, 280, 291, 322, 335, 344, 346, 377, 399, 428, 432,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 323, 327, 378, 396, 433, 440, 449, 451,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 169, 198, 253, 260, 271,
        302, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        2,   53,  71,  115, 124, 126, 157, 170, 179, 181, 208, 212, 234,
        263, 318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 473,
    },
    {
        43,  98,  105, 114, 116, 147, 160, 169, 171, 202, 224, 253, 308,
        315, 326, 357, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        13,  20,  31,  75,  84,  86,  117, 130, 139, 141, 168, 172, 194,
        223, 278, 285, 296, 327, 340, 349, 351, 382, 404, 433, 437,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 328, 332, 383, 401, 438, 445, 454, 456,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 174, 203, 258, 265, 276,
        307, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        3,   7,   58,  76,  120, 129, 131, 162, 175, 184, 186, 213, 217,
        239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449,
    },
    {
        48,  103, 110, 119, 121, 152, 165, 174, 176, 207, 229, 258, 313,
        320, 331, 362, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        18,  25,  36,  80,  89,  91,  122, 135, 144, 146, 173, 177, 199,
        228, 283, 290, 301, 332, 345, 354, 356, 387, 409, 438, 442,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 333, 337, 388, 406, 443, 450, 459, 461,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 179, 208, 263, 270, 281,
        312, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        8,   12,  63,  81,  125, 134, 136, 167, 180, 189, 191, 218, 222,
        244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454,
    },
    {
        2,   53,  108, 115, 124, 126, 157, 170, 179, 181, 212, 234, 263,
        318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        23,  30,  41,  85,  94,  96,  127, 140, 149, 151, 178, 182, 204,
        233, 288, 295, 306, 337, 350, 359, 361, 392, 414, 443, 447,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 338, 342, 393, 411, 448, 455, 464, 466,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 184, 213, 268, 275,
        286, 317, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        13,  17,  68,  86,  130, 139, 141, 172, 185, 194, 196, 223, 227,
        249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459,
    },
    {
        3,   7,   58,  113, 120, 129, 131, 162, 175, 184, 186, 217, 239,
        268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        28,  35,  46,  90,  99,  101, 132, 145, 154, 156, 183, 187, 209,
        238, 293, 300, 311, 342, 355, 364, 366, 397, 419, 448, 452,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 343, 347, 398, 416, 453, 460, 469, 471,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 189, 218, 273, 280,
        291, 322, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        18,  22,  73,  91,  135, 144, 146, 177, 190, 199, 201, 228, 232,
        254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464,
    },
    {
        8,   12,  63,  118, 125, 134, 136, 167, 180, 189, 191, 222, 244,
        273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        33,  40,  51,  95,  104, 106, 137, 150, 159, 161, 188, 192, 214,
        243, 298, 305, 316, 347, 360, 369, 371, 402, 424, 453, 457,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 348, 352, 403, 421, 458, 465, 474,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 194, 223, 278, 285,
        296, 327, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        23,  27,  78,  96,  140, 149, 151, 182, 195, 204, 206, 233, 237,
        259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469,
    },
    {
        13,  17,  68,  123, 130, 139, 141, 172, 185, 194, 196, 227, 249,
        278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        38,  45,  56,  100, 109, 111, 142, 155, 164, 166, 193, 197, 219,
        248, 303, 310, 321, 352, 365, 374, 376, 407, 429, 458, 462,
    },
    {
        4,   6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247,
        260, 269, 271, 302, 315, 324, 353, 357, 408, 426, 463, 470,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 199, 228, 283, 290,
        301, 332, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        28,  32,  83,  101, 145, 154, 156, 187, 200, 209, 211, 238, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        18,  22,  73,  128, 135, 144, 146, 177, 190, 199, 201, 232, 254,
        283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        43,  50,  61,  105, 114, 116, 147, 160, 169, 171, 198, 202, 224,
        253, 308, 315, 326, 357, 370, 379, 381, 412, 434, 463, 467,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221,
        252, 265, 274, 276, 307, 320, 329, 358, 362, 413, 431, 468,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 204, 233, 288, 295,
        306, 337, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        4,   33,  37,  88,  106, 150, 159, 161, 192, 205, 214, 216, 243,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        23,  27,  78,  133, 140, 149, 151, 182, 195, 204, 206, 237, 259,
        288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        48,  55,  66,  110, 119, 121, 152, 165, 174, 176, 203, 207, 229,
        258, 313, 320, 331, 362, 375, 384, 386, 417, 439, 468, 472,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226,
        257, 270, 279, 281, 312, 325, 334, 363, 367, 418, 436, 473,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 209, 238, 293, 300,
        311, 342, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        0,   9,   38,  42,  93,  111, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        1,   28,  32,  83,  138, 145, 154, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        2,   53,  60,  71,  115, 124, 126, 157, 170, 179, 181, 208, 212,
        234, 263, 318, 325, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        3,   10,  19,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 368, 372, 423, 441,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 214, 243, 298,
        305, 316, 347, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        5,   14,  43,  47,  98,  116, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        4,   6,   33,  37,  88,  143, 150, 159, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        3,   7,   58,  65,  76,  120, 129, 131, 162, 175, 184, 186, 213,
        217, 239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        8,   15,  24,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 373, 377, 428, 446,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 219, 248, 303,
        310, 321, 352, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        10,  19,  48,  52,  103, 121, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        0,   9,   11,  38,  42,  93,  148, 155, 164, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        8,   12,  63,  70,  81,  125, 134, 136, 167, 180, 189, 191, 218,
        222, 244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        13,  20,  29,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 378, 382, 433, 451,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 224, 253, 308,
        315, 326, 357, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        2,   15,  24,  53,  57,  108, 126, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        5,   14,  16,  43,  47,  98,  153, 160, 169, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        13,  17,  68,  75,  86,  130, 139, 141, 172, 185, 194, 196, 223,
        227, 249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        18,  25,  34,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 383, 387, 438, 456,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 229, 258, 313,
        320, 331, 362, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        7,   20,  29,  58,  62,  113, 131, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        10,  19,  21,  48,  52,  103, 158, 165, 174, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        18,  22,  73,  80,  91,  135, 144, 146, 177, 190, 199, 201, 228,
        232, 254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        23,  30,  39,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 388, 392, 443, 461,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 234, 263,
        318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        12,  25,  34,  63,  67,  118, 136, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        2,   15,  24,  26,  53,  57,  108, 163, 170, 179, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        23,  27,  78,  85,  96,  140, 149, 151, 182, 195, 204, 206, 233,
        237, 259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        28,  35,  44,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 393, 397, 448, 466,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 239,
        268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  68,  72,  123, 141, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        7,   20,  29,  31,  58,  62,  113, 168, 175, 184, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        28,  32,  83,  90,  101, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        33,  40,  49,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 398, 402, 453, 471,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 244,
        273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  73,  77,  128, 146, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        12,  25,  34,  36,  63,  67,  118, 173, 180, 189, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        4,   33,  37,  88,  95,  106, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457,
    },
    {
        1,   38,  45,  54,  56,  87,  100, 109, 111, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 365, 374, 403, 407, 458,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 249,
        278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  78,  82,  133, 151, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        17,  30,  39,  41,  68,  72,  123, 178, 185, 194, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        9,   38,  42,  93,  100, 111, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        6,   43,  50,  59,  61,  92,  105, 114, 116, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 370, 379, 408, 412, 463,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 254,
        283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  83,  87,  138, 156, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        22,  35,  44,  46,  73,  77,  128, 183, 190, 199, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        14,  43,  47,  98,  105, 116, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        11,  48,  55,  64,  66,  97,  110, 119, 121, 152, 174, 203, 258,
        265, 276, 307, 320, 329, 331, 362, 375, 384, 413, 417, 468,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 259,
        288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        4,   6,   37,  50,  59,  88,  92,  143, 161, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        27,  40,  49,  51,  78,  82,  133, 188, 195, 204, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        19,  48,  52,  103, 110, 121, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        16,  53,  60,  69,  71,  102, 115, 124, 126, 157, 179, 208, 263,
        270, 281, 312, 325, 334, 336, 367, 380, 389, 418, 422, 473,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        0,   9,   11,  42,  55,  64,  93,  97,  148, 166, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  138, 193, 200, 209, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        2,   24,  53,  57,  108, 115, 126, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        3,   21,  58,  65,  74,  76,  107, 120, 129, 131, 162, 184, 213,
        268, 275, 286, 317, 330, 339, 341, 372, 385, 394, 423, 427,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        5,   14,  16,  47,  60,  69,  98,  102, 153, 171, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  143, 198, 205, 214, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        7,   29,  58,  62,  113, 120, 131, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        8,   26,  63,  70,  79,  81,  112, 125, 134, 136, 167, 189, 218,
        273, 280, 291, 322, 335, 344, 346, 377, 390, 399, 428, 432,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        10,  19,  21,  52,  65,  74,  103, 107, 158, 176, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  148, 203, 210, 219,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        12,  34,  63,  67,  118, 125, 136, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        13,  31,  68,  75,  84,  86,  117, 130, 139, 141, 172, 194, 223,
        278, 285, 296, 327, 340, 349, 351, 382, 395, 404, 433, 437,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  108, 112, 163, 181, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 153, 208, 215, 224,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        17,  39,  68,  72,  123, 130, 141, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        18,  36,  73,  80,  89,  91,  122, 135, 144, 146, 177, 199, 228,
        283, 290, 301, 332, 345, 354, 356, 387, 400, 409, 438, 442,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  113, 117, 168, 186, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 158, 213, 220, 229,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        22,  44,  73,  77,  128, 135, 146, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        23,  41,  78,  85,  94,  96,  127, 140, 149, 151, 182, 204, 233,
        288, 295, 306, 337, 350, 359, 361, 392, 405, 414, 443, 447,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  118, 122, 173, 191, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  81,  108, 112, 163, 218, 225,
        234, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        27,  49,  78,  82,  133, 140, 151, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        28,  46,  83,  90,  99,  101, 132, 145, 154, 156, 187, 209, 238,
        293, 300, 311, 342, 355, 364, 366, 397, 410, 419, 448, 452,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  123, 127, 178, 196, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  86,  113, 117, 168, 223, 230,
        239, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        1,   32,  54,  83,  87,  138, 145, 156, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        33,  51,  88,  95,  104, 106, 137, 150, 159, 161, 192, 214, 243,
        298, 305, 316, 347, 360, 369, 371, 402, 415, 424, 453, 457,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  128, 132, 183, 201, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  91,  118, 122, 173, 228, 235,
        244, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        4,   6,   37,  59,  88,  92,  143, 150, 161, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        38,  56,  93,  100, 109, 111, 142, 155, 164, 166, 197, 219, 248,
        303, 310, 321, 352, 365, 374, 376, 407, 420, 429, 458, 462,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 133, 137, 188, 206, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  96,  123, 127, 178, 233, 240,
        249, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        0,   9,   11,  42,  64,  93,  97,  148, 155, 166, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        43,  61,  98,  105, 114, 116, 147, 160, 169, 171, 202, 224, 253,
        308, 315, 326, 357, 370, 379, 381, 412, 425, 434, 463, 467,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 138, 142, 193, 211, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  101, 128, 132, 183, 238, 245,
        254, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        5,   14,  16,  47,  69,  98,  102, 153, 160, 171, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        48,  66,  103, 110, 119, 121, 152, 165, 174, 176, 207, 229, 258,
        313, 320, 331, 362, 375, 384, 386, 417, 430, 439, 468, 472,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 143, 147, 198, 216, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 106, 133, 137, 188, 243, 250,
        259, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        10,  19,  21,  52,  74,  103, 107, 158, 165, 176, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        2,   53,  71,  108, 115, 124, 126, 157, 170, 179, 181, 212, 234,
        263, 318, 325, 336, 367, 380, 389, 391, 422, 435, 444, 473,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 148, 152, 203, 221,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 111, 138, 142, 193, 248,
        255, 264, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 112, 163, 170, 181, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        3,   7,   58,  76,  113, 120, 129, 131, 162, 175, 184, 186, 217,
        239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 440, 449,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 153, 157, 208, 226,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 116, 143, 147, 198, 253,
        260, 269, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 117, 168, 175, 186, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        8,   12,  63,  81,  118, 125, 134, 136, 167, 180, 189, 191, 222,
        244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 445, 454,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 158, 162, 213,
        231, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 121, 148, 152, 203,
        258, 265, 274, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 122, 173, 180, 191, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        13,  17,  68,  86,  123, 130, 139, 141, 172, 185, 194, 196, 227,
        249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 450, 459,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 163, 167, 218,
        236, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 126, 153, 157, 208,
        263, 270, 279, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 127, 178, 185, 196, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        18,  22,  73,  91,  128, 135, 144, 146, 177, 190, 199, 201, 232,
        254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 455, 464,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 168, 172, 223,
        241, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 131, 158, 162,
        213, 268, 275, 284, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 132, 183, 190, 201, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        23,  27,  78,  96,  133, 140, 149, 151, 182, 195, 204, 206, 237,
        259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 460, 469,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218,
        225, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 173, 177, 228,
        246, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 136, 163, 167,
        218, 273, 280, 289, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 137, 188, 195, 206, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        28,  32,  83,  101, 138, 145, 154, 156, 187, 200, 209, 211, 242,
        264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 465, 474,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223,
        230, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 178, 182, 233,
        251, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 141, 168, 172,
        223, 278, 285, 294, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 142, 193, 200, 211, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    },
    {
        4,   33,  37,  88,  106, 143, 150, 159, 161, 192, 205, 214, 216,
        247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457, 470,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228,
        235, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 183, 187, 238,
        256, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 146, 173, 177,
        228, 283, 290, 299, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        6,   37,  50,  59,  61,  92,  114, 143, 147, 198, 205, 216, 260,
        269, 271, 302, 315, 324, 326, 353, 357, 379, 408, 463, 470,
    },
    {
        0,   9,   38,  42,  93,  111, 148, 155, 164, 166, 197, 210, 219,
        221, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233,
        240, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 188, 192, 243,
        261, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 151, 178, 182,
        233, 288, 295, 304, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  119, 148, 152, 203, 210, 221,
        265, 274, 276, 307, 320, 329, 331, 358, 362, 384, 413, 468,
    },
    {
        5,   14,  43,  47,  98,  116, 153, 160, 169, 171, 202, 215, 224,
        226, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238,
        245, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 193, 197, 248,
        266, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 156, 183, 187,
        238, 293, 300, 309, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 124, 153, 157, 208, 215, 226,
        270, 279, 281, 312, 325, 334, 336, 363, 367, 389, 418, 473,
    },
    {
        10,  19,  48,  52,  103, 121, 158, 165, 174, 176, 207, 220, 229,
        231, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243,
        250, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 198, 202, 253,
        271, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 161, 188, 192,
        243, 298, 305, 314, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 129, 158, 162, 213, 220,
        231, 275, 284, 286, 317, 330, 339, 341, 368, 372, 394, 423,
    },
    {
        2,   15,  24,  53,  57,  108, 126, 163, 170, 179, 181, 212, 225,
        234, 236, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193,
        248, 255, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 203, 207, 258,
        276, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 166, 193, 197,
        248, 303, 310, 319, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 134, 163, 167, 218, 225,
        236, 280, 289, 291, 322, 335, 344, 346, 373, 377, 399, 428,
    },
    {
        7,   20,  29,  58,  62,  113, 131, 168, 175, 184, 186, 217, 230,
        239, 241, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198,
        253, 260, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 208, 212, 263,
        281, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 171, 198, 202,
        253, 308, 315, 324, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 139, 168, 172, 223, 230,
        241, 285, 294, 296, 327, 340, 349, 351, 378, 382, 404, 433,
    },
    {
        12,  25,  34,  63,  67,  118, 136, 173, 180, 189, 191, 222, 235,
        244, 246, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 121, 148, 152, 174,
        203, 258, 265, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 213, 217,
        268, 286, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 176, 203, 207,
        258, 313, 320, 329, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 144, 173, 177, 228, 235,
        246, 290, 299, 301, 332, 345, 354, 356, 383, 387, 409, 438,
    },
    {
        17,  30,  39,  68,  72,  123, 141, 178, 185, 194, 196, 227, 240,
        249, 251, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 126, 153, 157, 179,
        208, 263, 270, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 218, 222,
        273, 291, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 181, 208, 212,
        263, 318, 325, 334, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 149, 178, 182, 233, 240,
        251, 295, 304, 306, 337, 350, 359, 361, 388, 392, 414, 443,
    },
    {
        22,  35,  44,  73,  77,  128, 146, 183, 190, 199, 201, 232, 245,
        254, 256, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 131, 158, 162,
        184, 213, 268, 275, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 223, 227,
        278, 296, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 186, 213,
        217, 268, 323, 330, 339, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 154, 183, 187, 238, 245,
        256, 300, 309, 311, 342, 355, 364, 366, 393, 397, 419, 448,
    },
    {
        27,  40,  49,  78,  82,  133, 151, 188, 195, 204, 206, 237, 250,
        259, 261, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 136, 163, 167,
        189, 218, 273, 280, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 228, 232,
        283, 301, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 191, 218,
        222, 273, 328, 335, 344, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 159, 188, 192, 243, 250,
        261, 305, 314, 316, 347, 360, 369, 371, 398, 402, 424, 453,
    },
    {
        1,   32,  45,  54,  83,  87,  138, 156, 193, 200, 209, 211, 242,
        255, 264, 266, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 141, 168, 172,
        194, 223, 278, 285, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 233, 237,
        288, 306, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 196, 223,
        227, 278, 333, 340, 349, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 164, 193, 197, 248, 255,
        266, 310, 319, 321, 352, 365, 374, 376, 403, 407, 429, 458,
    },
    {
        4,   6,   37,  50,  59,  88,  92,  143, 161, 198, 205, 214, 216,
        247, 260, 269, 271, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 146, 173, 177,
        199, 228, 283, 290, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 238, 242,
        293, 311, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 201, 228,
        232, 283, 338, 345, 354, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 169, 198, 202, 253, 260,
        271, 315, 324, 326, 357, 370, 379, 381, 408, 412, 434, 463,
    },
    {
        0,   9,   11,  42,  55,  64,  93,  97,  148, 166, 203, 210, 219,
        221, 252, 265, 274, 276, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 151, 178, 182,
        204, 233, 288, 295, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 243,
        247, 298, 316, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 206, 233,
        237, 288, 343, 350, 359, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 174, 203, 207, 258, 265,
        276, 320, 329, 331, 362, 375, 384, 386, 413, 417, 439, 468,
    },
    {
        5,   14,  16,  47,  60,  69,  98,  102, 153, 171, 208, 215, 224,
        226, 257, 270, 279, 281, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 156, 183, 187,
        209, 238, 293, 300, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 248,
        252, 303, 321, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 293, 348, 355, 364, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 179, 208, 212, 263, 270,
        281, 325, 334, 336, 367, 380, 389, 391, 418, 422, 444, 473,
    },
    {
        10,  19,  21,  52,  65,  74,  103, 107, 158, 176, 213, 220, 229,
        231, 262, 275, 284, 286, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 161, 188, 192,
        214, 243, 298, 305, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 253,
        257, 308, 326, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 298, 353, 360, 369, 371, 402, 415, 424, 426, 457,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 184, 213, 217, 268,
        275, 286, 330, 339, 341, 372, 385, 394, 396, 423, 427, 449,
    },
    {
        2,   15,  24,  26,  57,  70,  79,  108, 112, 163, 181, 218, 225,
        234, 236, 267, 280, 289, 291, 322, 344, 373, 428, 435, 446,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 166, 193, 197,
        219, 248, 303, 310, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 258,
        262, 313, 331, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 303, 358, 365, 374, 376, 407, 420, 429, 431, 462,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 189, 218, 222, 273,
        280, 291, 335, 344, 346, 377, 390, 399, 401, 428, 432, 454,
    },
    {
        7,   20,  29,  31,  62,  75,  84,  113, 117, 168, 186, 223, 230,
        239, 241, 272, 285, 294, 296, 327, 349, 378, 433, 440, 451,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 171, 198, 202,
        224, 253, 308, 315, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        263, 267, 318, 336, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 308, 363, 370, 379, 381, 412, 425, 434, 436, 467,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 194, 223, 227, 278,
        285, 296, 340, 349, 351, 382, 395, 404, 406, 433, 437, 459,
    },
    {
        12,  25,  34,  36,  67,  80,  89,  118, 122, 173, 191, 228, 235,
        244, 246, 277, 290, 299, 301, 332, 354, 383, 438, 445, 456,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 176, 203, 207,
        229, 258, 313, 320, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230,
        239, 268, 272, 323, 341, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 313, 368, 375, 384, 386, 417, 430, 439, 441, 472,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 199, 228, 232, 283,
        290, 301, 345, 354, 356, 387, 400, 409, 411, 438, 442, 464,
    },
    {
        17,  30,  39,  41,  72,  85,  94,  123, 127, 178, 196, 233, 240,
        249, 251, 282, 295, 304, 306, 337, 359, 388, 443, 450, 461,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 181, 208, 212,
        234, 263, 318, 325, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235,
        244, 273, 277, 328, 346, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 318, 373, 380, 389, 391, 422, 435, 444, 446,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 204, 233, 237, 288,
        295, 306, 350, 359, 361, 392, 405, 414, 416, 443, 447, 469,
    },
    {
        22,  35,  44,  46,  77,  90,  99,  128, 132, 183, 201, 238, 245,
        254, 256, 287, 300, 309, 311, 342, 364, 393, 448, 455, 466,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 186, 213,
        217, 239, 268, 323, 330, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240,
        249, 278, 282, 333, 351, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 323, 378, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 209, 238, 242, 293,
        300, 311, 355, 364, 366, 397, 410, 419, 421, 448, 452, 474,
    },
    {
        27,  40,  49,  51,  82,  95,  104, 133, 137, 188, 206, 243, 250,
        259, 261, 292, 305, 314, 316, 347, 369, 398, 453, 460, 471,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 191, 218,
        222, 244, 273, 328, 335, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245,
        254, 283, 287, 338, 356, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 328, 383, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 214, 243, 247,
        298, 305, 316, 360, 369, 371, 402, 415, 424, 426, 453, 457,
    },
    {
        1,   32,  45,  54,  56,  87,  100, 109, 138, 142, 193, 211, 248,
        255, 264, 266, 297, 310, 319, 321, 352, 374, 403, 458, 465,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 196, 223,
        227, 249, 278, 333, 340, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250,
        259, 288, 292, 343, 361, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 333, 388, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 219, 248, 252,
        303, 310, 321, 365, 374, 376, 407, 420, 429, 431, 458, 462,
    },
    {
        6,   37,  50,  59,  61,  92,  105, 114, 143, 147, 198, 216, 253,
        260, 269, 271, 302, 315, 324, 326, 357, 379, 408, 463, 470,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 201, 228,
        232, 254, 283, 338, 345, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        255, 264, 293, 297, 348, 366, 410, 419, 421, 452, 465, 474,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 338, 393, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 224, 253, 257,
        308, 315, 326, 370, 379, 381, 412, 425, 434, 436, 463, 467,
    },
    {
        0,   11,  42,  55,  64,  66,  97,  110, 119, 148, 152, 203, 221,
        258, 265, 274, 276, 307, 320, 329, 331, 362, 384, 413, 468,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 206, 233,
        237, 259, 288, 343, 350, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 260, 269, 298, 302, 353, 371, 415, 424, 426, 457, 470,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 343, 398, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 229, 258, 262,
        313, 320, 331, 375, 384, 386, 417, 430, 439, 441, 468, 472,
    },
    {
        5,   16,  47,  60,  69,  71,  102, 115, 124, 153, 157, 208, 226,
        263, 270, 279, 281, 312, 325, 334, 336, 367, 389, 418, 473,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 211, 238,
        242, 264, 293, 348, 355, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 265, 274, 303, 307, 358, 376, 420, 429, 431, 462,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 348, 403, 410, 419, 421, 452, 465, 474,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 234, 263,
        267, 318, 325, 336, 380, 389, 391, 422, 435, 444, 446, 473,
    },
    {
        3,   10,  21,  52,  65,  74,  76,  107, 120, 129, 158, 162, 213,
        231, 268, 275, 284, 286, 317, 330, 339, 341, 372, 394, 423,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 216,
        243, 247, 269, 298, 353, 360, 371, 402, 415, 424, 426, 457,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 270, 279, 308, 312, 363, 381, 425, 434, 436, 467,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 353, 408, 415, 424, 426, 457, 470,
    },
    {
        3,   7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 239,
        268, 272, 323, 330, 341, 385, 394, 396, 427, 440, 449, 451,
    },
    {
        8,   15,  26,  57,  70,  79,  81,  112, 125, 134, 163, 167, 218,
        236, 273, 280, 289, 291, 322, 335, 344, 346, 377, 399, 428,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 221,
        248, 252, 274, 303, 358, 365, 376, 407, 420, 429, 431, 462,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 275, 284, 313, 317, 368, 386, 430, 439, 441, 472,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 358, 413, 420, 429, 431, 462,
    },
    {
        8,   12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 244,
        273, 277, 328, 335, 346, 390, 399, 401, 432, 445, 454, 456,
    },
    {
        13,  20,  31,  62,  75,  84,  86,  117, 130, 139, 168, 172, 223,
        241, 278, 285, 294, 296, 327, 340, 349, 351, 382, 404, 433,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 226,
        253, 257, 279, 308, 363, 370, 381, 412, 425, 434, 436, 467,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 280, 289, 318, 322, 373, 391, 435, 444, 446,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 363, 418, 425, 434, 436, 467,
    },
    {
        13,  17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 249,
        278, 282, 333, 340, 351, 395, 404, 406, 437, 450, 459, 461,
    },
    {
        18,  25,  36,  67,  80,  89,  91,  122, 135, 144, 173, 177, 228,
        246, 283, 290, 299, 301, 332, 345, 354, 356, 387, 409, 438,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 231,
        258, 262, 284, 313, 368, 375, 386, 417, 430, 439, 441, 472,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 285, 294, 323, 327, 378, 396, 440, 449, 451,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 368, 423, 430, 439, 441, 472,
    },
    {
        18,  22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 254,
        283, 287, 338, 345, 356, 400, 409, 411, 442, 455, 464, 466,
    },
    {
        23,  30,  41,  72,  85,  94,  96,  127, 140, 149, 178, 182, 233,
        251, 288, 295, 304, 306, 337, 350, 359, 361, 392, 414, 443,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        236, 263, 267, 289, 318, 373, 380, 391, 422, 435, 444, 446,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 290, 299, 328, 332, 383, 401, 445, 454, 456,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 373, 428, 435, 444, 446,
    },
    {
        23,  27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 259,
        288, 292, 343, 350, 361, 405, 414, 416, 447, 460, 469, 471,
    },
    {
        28,  35,  46,  77,  90,  99,  101, 132, 145, 154, 183, 187, 238,
        256, 293, 300, 309, 311, 342, 355, 364, 366, 397, 419, 448,
    },
    {
        7,   29,  58,  113, 120, 131, 162, 175, 184, 186, 217, 230, 239,
        241, 268, 272, 294, 323, 378, 385, 396, 427, 440, 449, 451,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 295, 304, 333, 337, 388, 406, 450, 459, 461,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 378, 433, 440, 449, 451,
    },
    {
        1,   28,  32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242,
        264, 293, 297, 348, 355, 366, 410, 419, 421, 452, 465, 474,
    },
    {
        33,  40,  51,  82,  95,  104, 106, 137, 150, 159, 188, 192, 243,
        261, 298, 305, 314, 316, 347, 360, 369, 371, 402, 424, 453,
    },
    {
        12,  34,  63,  118, 125, 136, 167, 180, 189, 191, 222, 235, 244,
        246, 273, 277, 299, 328, 383, 390, 401, 432, 445, 454, 456,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 300, 309, 338, 342, 393, 411, 455, 464, 466,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 383, 438, 445, 454, 456,
    },
    {
        4,   6,   33,  37,  59,  88,  143, 150, 161, 192, 205, 214, 216,
        247, 269, 298, 302, 353, 360, 371, 415, 424, 426, 457, 470,
    },
    {
        38,  45,  56,  87,  100, 109, 111, 142, 155, 164, 193, 197, 248,
        266, 303, 310, 319, 321, 352, 365, 374, 376, 407, 429, 458,
    },
    {
        17,  39,  68,  123, 130, 141, 172, 185, 194, 196, 227, 240, 249,
        251, 278, 282, 304, 333, 388, 395, 406, 437, 450, 459, 461,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 305, 314, 343, 347, 398, 416, 460, 469, 471,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 388, 443, 450, 459, 461,
    },
    {
        0,   9,   11,  38,  42,  64,  93,  148, 155, 166, 197, 210, 219,
        221, 252, 274, 303, 307, 358, 365, 376, 420, 429, 431, 462,
    },
    {
        43,  50,  61,  92,  105, 114, 116, 147, 160, 169, 198, 202, 253,
        271, 308, 315, 324, 326, 357, 370, 379, 381, 412, 434, 463,
    },
    {
        22,  44,  73,  128, 135, 146, 177, 190, 199, 201, 232, 245, 254,
        256, 283, 287, 309, 338, 393, 400, 411, 442, 455, 464, 466,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 310, 319, 348, 352, 403, 421, 465, 474,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 393, 448, 455, 464, 466,
    },
    {
        5,   14,  16,  43,  47,  69,  98,  153, 160, 171, 202, 215, 224,
        226, 257, 279, 308, 312, 363, 370, 381, 425, 434, 436, 467,
    },
    {
        48,  55,  66,  97,  110, 119, 121, 152, 165, 174, 203, 207, 258,
        276, 313, 320, 329, 331, 362, 375, 384, 386, 417, 439, 468,
    },
    {
        27,  49,  78,  133, 140, 151, 182, 195, 204, 206, 237, 250, 259,
        261, 288, 292, 314, 343, 398, 405, 416, 447, 460, 469, 471,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 315, 324, 353, 357, 408, 426, 470,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 398, 453, 460, 469, 471,
    },
    {
        10,  19,  21,  48,  52,  74,  103, 158, 165, 176, 207, 220, 229,
        231, 262, 284, 313, 317, 368, 375, 386, 430, 439, 441, 472,
    },
    {
        53,  60,  71,  102, 115, 124, 126, 157, 170, 179, 208, 212, 263,
        281, 318, 325, 334, 336, 367, 380, 389, 391, 422, 444, 473,
    },
    {
        1,   32,  54,  83,  138, 145, 156, 187, 200, 209, 211, 242, 255,
        264, 266, 293, 297, 319, 348, 403, 410, 421, 452, 465, 474,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 320, 329, 358, 362, 413, 431,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 403, 458, 465, 474,
    },
    {
        2,   15,  24,  26,  53,  57,  79,  108, 163, 170, 181, 212, 225,
        234, 236, 267, 289, 318, 322, 373, 380, 391, 435, 444, 446,
    },
    {
        3,   58,  65,  76,  107, 120, 129, 131, 162, 175, 184, 213, 217,
        268, 286, 323, 330, 339, 341, 372, 385, 394, 396, 427, 449,
    },
    {
        4,   6,   37,  59,  88,  143, 150, 161, 192, 205, 214, 216, 247,
        260, 269, 271, 298, 302, 324, 353, 408, 415, 426, 457, 470,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 325, 334, 363, 367, 418, 436,
    },
    {
        4,   6,   37,  50,  59,  61,  92,  114, 143, 198, 205, 216, 247,
        260, 269, 271, 302, 315, 324, 326, 353, 357, 408, 463, 470,
    },
    {
        7,   20,  29,  31,  58,  62,  84,  113, 168, 175, 186, 217, 230,
        239, 241, 272, 294, 323, 327, 378, 385, 396, 440, 449, 451,
    },
    {
        8,   63,  70,  81,  112, 125, 134, 136, 167, 180, 189, 218, 222,
        273, 291, 328, 335, 344, 346, 377, 390, 399, 401, 432, 454,
    },
    {
        0,   9,   11,  42,  64,  93,  148, 155, 166, 197, 210, 219, 221,
        252, 265, 274, 276, 303, 307, 329, 358, 413, 420, 431, 462,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 368, 372, 423, 441,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  97,  119, 148, 203, 210, 221,
        252, 265, 274, 276, 307, 320, 329, 331, 358, 362, 413, 468,
    },
    {
        12,  25,  34,  36,  63,  67,  89,  118, 173, 180, 191, 222, 235,
        244, 246, 277, 299, 328, 332, 383, 390, 401, 445, 454, 456,
    },
    {
        13,  68,  75,  86,  117, 130, 139, 141, 172, 185, 194, 223, 227,
        278, 296, 333, 340, 349, 351, 382, 395, 404, 406, 437, 459,
    },
    {
        5,   14,  16,  47,  69,  98,  153, 160, 171, 202, 215, 224, 226,
        257, 270, 279, 281, 308, 312, 334, 363, 418, 425, 436, 467,
    },
    {
        15,  24,  26,  57,  70,  79,  81,  108, 112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 373, 377, 428, 446,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  102, 124, 153, 208, 215, 226,
        257, 270, 279, 281, 312, 325, 334, 336, 363, 367, 418, 473,
    },
    {
        17,  30,  39,  41,  68,  72,  94,  123, 178, 185, 196, 227, 240,
        249, 251, 282, 304, 333, 337, 388, 395, 406, 450, 459, 461,
    },
    {
        18,  73,  80,  91,  122, 135, 144, 146, 177, 190, 199, 228, 232,
        283, 301, 338, 345, 354, 356, 387, 400, 409, 411, 442, 464,
    },
    {
        10,  19,  21,  52,  74,  103, 158, 165, 176, 207, 220, 229, 231,
        262, 275, 284, 286, 313, 317, 339, 368, 423, 430, 441, 472,
    },
    {
        20,  29,  31,  62,  75,  84,  86,  113, 117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 378, 382, 433, 451,
    },
    {
        3,   10,  19,  21,  52,  65,  74,  76,  107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 330, 339, 341, 368, 372, 423,
    },
    {
        22,  35,  44,  46,  73,  77,  99,  128, 183, 190, 201, 232, 245,
        254, 256, 287, 309, 338, 342, 393, 400, 411, 455, 464, 466,
    },
    {
        23,  78,  85,  96,  127, 140, 149, 151, 182, 195, 204, 233, 237,
        288, 306, 343, 350, 359, 361, 392, 405, 414, 416, 447, 469,
    },
    {
        2,   15,  24,  26,  57,  79,  108, 163, 170, 181, 212, 225, 234,
        236, 267, 280, 289, 291, 318, 322, 344, 373, 428, 435, 446,
    },
    {
        25,  34,  36,  67,  80,  89,  91,  118, 122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 383, 387, 438, 456,
    },
    {
        8,   15,  24,  26,  57,  70,  79,  81,  112, 134, 163, 218, 225,
        236, 267, 280, 289, 291, 322, 335, 344, 346, 373, 377, 428,
    },
    {
        27,  40,  49,  51,  78,  82,  104, 133, 188, 195, 206, 237, 250,
        259, 261, 292, 314, 343, 347, 398, 405, 416, 460, 469, 471,
    },
    {
        28,  83,  90,  101, 132, 145, 154, 156, 187, 200, 209, 238, 242,
        293, 311, 348, 355, 364, 366, 397, 410, 419, 421, 452, 474,
    },
    {
        7,   20,  29,  31,  62,  84,  113, 168, 175, 186, 217, 230, 239,
        241, 272, 285, 294, 296, 323, 327, 349, 378, 433, 440, 451,
    },
    {
        30,  39,  41,  72,  85,  94,  96,  123, 127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 388, 392, 443, 461,
    },
    {
        13,  20,  29,  31,  62,  75,  84,  86,  117, 139, 168, 223, 230,
        241, 272, 285, 294, 296, 327, 340, 349, 351, 378, 382, 433,
    },
    {
        1,   32,  45,  54,  56,  83,  87,  109, 138, 193, 200, 211, 242,
        255, 264, 266, 297, 319, 348, 352, 403, 410, 421, 465, 474,
    },
    {
        4,   33,  88,  95,  106, 137, 150, 159, 161, 192, 205, 214, 243,
        247, 298, 316, 353, 360, 369, 371, 402, 415, 424, 426, 457,
    },
    {
        12,  25,  34,  36,  67,  89,  118, 173, 180, 191, 222, 235, 244,
        246, 277, 290, 299, 301, 328, 332, 354, 383, 438, 445, 456,
    },
    {
        35,  44,  46,  77,  90,  99,  101, 128, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 393, 397, 448, 466,
    },
    {
        18,  25,  34,  36,  67,  80,  89,  91,  122, 144, 173, 228, 235,
        246, 277, 290, 299, 301, 332, 345, 354, 356, 383, 387, 438,
    },
    {
        4,   6,   37,  50,  59,  61,  88,  92,  114, 143, 198, 205, 216,
        247, 260, 269, 271, 302, 324, 353, 357, 408, 415, 426, 470,
    },
    {
        9,   38,  93,  100, 111, 142, 155, 164, 166, 197, 210, 219, 248,
        252, 303, 321, 358, 365, 374, 376, 407, 420, 429, 431, 462,
    },
    {
        17,  30,  39,  41,  72,  94,  123, 178, 185, 196, 227, 240, 249,
        251, 282, 295, 304, 306, 333, 337, 359, 388, 443, 450, 461,
    },
    {
        40,  49,  51,  82,  95,  104, 106, 133, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 398, 402, 453, 471,
    },
    {
        23,  30,  39,  41,  72,  85,  94,  96,  127, 149, 178, 233, 240,
        251, 282, 295, 304, 306, 337, 350, 359, 361, 388, 392, 443,
    },
    {
        0,   9,   11,  42,  55,  64,  66,  93,  97,  119, 148, 203, 210,
        221, 252, 265, 274, 276, 307, 329, 358, 362, 413, 420, 431,
    },
    {
        14,  43,  98,  105, 116, 147, 160, 169, 171, 202, 215, 224, 253,
        257, 308, 326, 363, 370, 379, 381, 412, 425, 434, 436, 467,
    },
    {
        22,  35,  44,  46,  77,  99,  128, 183, 190, 201, 232, 245, 254,
        256, 287, 300, 309, 311, 338, 342, 364, 393, 448, 455, 466,
    },
    {
        1,   45,  54,  56,  87,  100, 109, 111, 138, 142, 164, 193, 248,
        255, 266, 297, 310, 319, 321, 352, 365, 374, 403, 407, 458,
    },
    {
        28,  35,  44,  46,  77,  90,  99,  101, 132, 154, 183, 238, 245,
        256, 287, 300, 309, 311, 342, 355, 364, 366, 393, 397, 448,
    },
    {
        5,   14,  16,  47,  60,  69,  71,  98,  102, 124, 153, 208, 215,
        226, 257, 270, 279, 281, 312, 334, 363, 367, 418, 425, 436,
    },
    {
        19,  48,  103, 110, 121, 152, 165, 174, 176, 207, 220, 229, 258,
        262, 313, 331, 368, 375, 384, 386, 417, 430, 439, 441, 472,
    },
    {
        27,  40,  49,  51,  82,  104, 133, 188, 195, 206, 237, 250, 259,
        261, 292, 305, 314, 316, 343, 347, 369, 398, 453, 460, 471,
    },
    {
        6,   50,  59,  61,  92,  105, 114, 116, 143, 147, 169, 198, 253,
        260, 271, 302, 315, 324, 326, 357, 370, 379, 408, 412, 463,
    },
    {
        33,  40,  49,  51,  82,  95,  104, 106, 137, 159, 188, 243, 250,
        261, 292, 305, 314, 316, 347, 360, 369, 371, 398, 402, 453,
    },
    {
        10,  19,  21,  52,  65,  74,  76,  103, 107, 129, 158, 213, 220,
        231, 262, 275, 284, 286, 317, 339, 368, 372, 423, 430, 441,
    },
    {
        2,   24,  53,  108, 115, 126, 157, 170, 179, 181, 212, 225, 234,
        263, 267, 318, 336, 373, 380, 389, 391, 422, 435, 444, 446,
    },
    {
        1,   32,  45,  54,  56,  87,  109, 138, 193, 200, 211, 242, 255,
        264, 266, 297, 310, 319, 321, 348, 352, 374, 403, 458, 465,
    }};
int fn(int a) {
  if (a % 100 == 0)
    return a / 100 > 0 ? a / 100 : 0;
  else
    return (a + 50) / 100 > 0 ? (a + 50) / 100 : 0;
}
int main() {
  int a, b, c;
  cin >> a >> b >> c;
  int k = (b / 50) % 475;
  auto x = upper_bound(table[a - 26].begin(), table[a - 26].end(), k);
  if (*(x - 1) == k) {
    cout << 0 << '\n';
    return 0;
  }
  int num;
  if (b - ((k - *(x - 1)) * 50) < c) {
    cout << fn((*x - k) * 50) << '\n';
  } else
    cout << min(fn((*(x - 1) - k) * 50), fn((*x - k) * 50)) << '\n';
}

```