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