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