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