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